runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3694624-1338151270/watcher-3694624-1338151270 -o /tmp/evaluation-result-3694624-1338151270/solver-3694624-1338151270 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694624-1338151270.opb 1202579750 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12569
/proc/meminfo: memFree=30124432/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[startup+0.0954479 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12569
/proc/meminfo: memFree=30124432/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12569
/proc/meminfo: memFree=30124432/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12569
/proc/meminfo: memFree=30124432/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12569
/proc/meminfo: memFree=30124432/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12573
/proc/meminfo: memFree=30012460/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=36456 CPUtime=1.48 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) R 12569 12569 10279 0 -1 4202496 7346 16994 0 0 62 4 76 6 20 0 1 0 281253111 37330944 8057 33554432000 4194304 5873084 140737325950272 140737325946696 5127424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12570/statm: 9114 8057 173 410 0 8696 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 45604
[startup+3.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 12573
/proc/meminfo: memFree=30070636/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=36460 CPUtime=2.59 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 7353 16994 0 0 87 90 76 6 20 0 1 0 281253111 37335040 8061 33554432000 4194304 5873084 140737325950272 140737325945608 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 9115 8061 176 410 0 8697 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 45608
[startup+6.30034 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 12574
/proc/meminfo: memFree=29776812/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=519436 CPUtime=5.48 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) R 12569 12569 10279 0 -1 4202496 17529 17508 0 0 361 103 76 8 20 0 1 0 281253111 531902464 110647 33554432000 4194304 5873084 140737325950272 140737325944664 5129975 0 0 4096 0 0 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 129859 110647 182 410 0 129441 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 528584
[startup+12.7004 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 12576
/proc/meminfo: memFree=29161720/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=554408 CPUtime=6.14 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 81954 0 0 0 583 31 0 0 20 0 1 0 281253766 567713792 121448 33554432000 4194304 4896791 140735563482368 140735563479576 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 138602 121448 76 172 0 138428 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 902988
[startup+25.5004 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 12576
/proc/meminfo: memFree=29158512/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=563304 CPUtime=18.93 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 85618 0 0 0 1862 31 0 0 20 0 1 0 281253766 576823296 123944 33554432000 4194304 4896791 140735563482368 140735563479576 4224802 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 140826 123944 78 172 0 140652 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 911884
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 12576
/proc/meminfo: memFree=29154796/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=564780 CPUtime=44.53 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 87158 0 0 0 4421 32 0 0 20 0 1 0 281253766 578334720 124845 33554432000 4194304 4896791 140735563482368 140735563479880 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 141195 124845 78 172 0 141021 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 913360
[startup+102.307 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 12621
/proc/meminfo: memFree=29988240/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=566892 CPUtime=95.73 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 88106 0 0 0 9541 32 0 0 20 0 1 0 281253766 580497408 126304 33554432000 4194304 4896791 140735563482368 140735563479512 4223862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 141723 126304 78 172 0 141549 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915472
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 12621
/proc/meminfo: memFree=29970312/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=569724 CPUtime=155.71 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 91103 0 0 0 15538 33 0 0 20 0 1 0 281253766 583397376 128031 33554432000 4194304 4896791 140735563482368 140735563479624 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 142431 128031 78 172 0 142257 0
Current children cumulated CPU time (s) 161.44
Current children cumulated vsize (KiB) 918304
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 12622
/proc/meminfo: memFree=29972856/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 104458 0 0 0 141494 47 0 0 20 0 1 0 281253766 600276992 133961 33554432000 4194304 4896791 140735563482368 140735563479656 4224921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 146552 133961 78 172 0 146378 0
Current children cumulated CPU time (s) 1421.14
Current children cumulated vsize (KiB) 934788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 12658
/proc/meminfo: memFree=29890332/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=586600 CPUtime=1475.39 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 104559 0 0 0 147492 47 0 0 20 0 1 0 281253766 600678400 135084 33554432000 4194304 4896791 140735563482368 140735563479896 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 146650 135084 78 172 0 146476 0
Current children cumulated CPU time (s) 1481.12
Current children cumulated vsize (KiB) 935180
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12659
/proc/meminfo: memFree=29891072/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=668472 CPUtime=1535.38 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 106522 0 0 0 153489 49 0 0 20 0 1 0 281253766 684515328 136916 33554432000 4194304 4896791 140735563482368 140735563479592 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167118 136916 78 172 0 166944 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 1017052
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12659
/proc/meminfo: memFree=29874752/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=668992 CPUtime=1595.37 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 107830 0 0 0 159488 49 0 0 20 0 1 0 281253766 685047808 138100 33554432000 4194304 4896791 140735563482368 140735563479896 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167248 138100 78 172 0 167074 0
Current children cumulated CPU time (s) 1601.1
Current children cumulated vsize (KiB) 1017572
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 12662
/proc/meminfo: memFree=29900148/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=669376 CPUtime=1655.36 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 107906 0 0 0 165486 50 0 0 20 0 1 0 281253766 685441024 139198 33554432000 4194304 4896791 140735563482368 140735563479896 4223862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167344 139198 78 172 0 167170 0
Current children cumulated CPU time (s) 1661.09
Current children cumulated vsize (KiB) 1017956
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12663
/proc/meminfo: memFree=29890532/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=669640 CPUtime=1715.35 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 108012 0 0 0 171485 50 0 0 20 0 1 0 281253766 685711360 140326 33554432000 4194304 4896791 140735563482368 140735563479576 4225008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167410 140326 78 172 0 167236 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 1018220
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12666
/proc/meminfo: memFree=29886028/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=669992 CPUtime=1775.34 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 109263 0 0 0 177484 50 0 0 20 0 1 0 281253766 686071808 141450 33554432000 4194304 4896791 140735563482368 140735563479880 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167498 141450 78 172 0 167324 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 1018572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12666
/proc/meminfo: memFree=29881756/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=670120 CPUtime=1794.34 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 109276 0 0 0 179384 50 0 0 20 0 1 0 281253766 686202880 141974 33554432000 4194304 4896791 140735563482368 140735563478104 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167530 141974 78 172 0 167356 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1018700
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12666
/proc/meminfo: memFree=29881756/32873844 swapFree=7372/7372
[pid=12569] ppid=12567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (runPb2satCp2.sh) S 12567 12569 10279 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281253111 9367552 275 33554432000 4194304 5064252 140737147752112 140737147751024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12569/statm: 2287 275 233 213 0 72 0
[pid=12570] ppid=12569 vsize=330284 CPUtime=5.73 cores=1,3,5,7
/proc/12570/stat : 12570 (pb2sat) S 12569 12569 10279 0 -1 4202496 17530 17508 0 0 361 128 76 8 20 0 1 0 281253111 338210816 63360 33554432000 4194304 5873084 140737325950272 140737325944088 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/12570/statm: 82571 63360 182 410 0 82153 0
[pid=12575] ppid=12570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12575/stat : 12575 (satsolver.sh) S 12570 12569 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281253766 9367552 267 33554432000 4194304 5064252 140734096518752 140734096517664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12575/statm: 2287 267 226 213 0 72 0
[pid=12576] ppid=12575 vsize=670120 CPUtime=1794.34 cores=1,3,5,7
/proc/12576/stat : 12576 (glucose_static) R 12575 12569 10279 0 -1 4202496 109276 0 0 0 179384 50 0 0 20 0 1 0 281253766 686202880 141974 33554432000 4194304 4896791 140735563482368 140735563478104 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12576/statm: 167530 141974 78 172 0 167356 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1018700
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12569 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=382333
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=386789
# CPU time returned by wait4() is 5.76912
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.07
CPU user time (s): 1798.21
CPU system time (s): 1.86
CPU usage (%): 99.9307
Max. virtual memory (cumulated for all children) (KiB): 1144968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.38233
system time used= 1.38679
maximum resident set size= 442588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 459984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 19
runsolver used 6.557 second user time and 18.6872 second system time
The end