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-3695264-1338122673/watcher-3695264-1338122673 -o /tmp/evaluation-result-3695264-1338122673/solver-3695264-1338122673 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695264-1338122673.opb 135823705 HOME HOME
running on 4 cores: 0,2,4,6
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: 1.10 1.47 1.77 3/177 26279
/proc/meminfo: memFree=27420480/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[startup+0.0738941 s]
/proc/loadavg: 1.10 1.47 1.77 3/177 26279
/proc/meminfo: memFree=27420480/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 1.10 1.47 1.77 3/177 26279
/proc/meminfo: memFree=27420480/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 1.10 1.47 1.77 3/177 26279
/proc/meminfo: memFree=27420480/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.04107 s]
/proc/loadavg: 1.10 1.47 1.77 3/177 26279
/proc/meminfo: memFree=27420480/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 1.10 1.47 1.77 3/177 26279
/proc/meminfo: memFree=27420480/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.10031 s]
/proc/loadavg: 1.10 1.47 1.77 3/179 26281
/proc/meminfo: memFree=27141844/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=169072 CPUtime=3.09 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) R 26279 26279 26234 0 -1 4202496 34680 0 0 0 303 6 0 0 20 0 1 0 278394688 173129728 40039 33554432000 4194304 5873084 140734622619488 140734622617448 4929296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26280/statm: 42268 40039 153 410 0 41850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178220
[startup+6.30031 s]
/proc/loadavg: 1.17 1.48 1.77 3/179 26281
/proc/meminfo: memFree=26337208/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=626956 CPUtime=6.28 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) R 26279 26279 26234 0 -1 4202496 93524 0 0 0 607 21 0 0 20 0 1 0 278394688 642002944 141695 33554432000 4194304 5873084 140734622619488 140734622615672 4996171 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26280/statm: 156739 141697 153 410 0 156321 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 636104
[startup+12.7067 s]
/proc/loadavg: 1.24 1.49 1.77 3/183 26285
/proc/meminfo: memFree=23210240/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1152440 CPUtime=10.28 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 160679 0 0 0 933 95 0 0 20 0 1 0 278394688 1180098560 254114 33554432000 4194304 5873084 140734622619488 140734622615912 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/26280/statm: 288110 254114 160 410 0 287692 0
[pid=26284] ppid=26280 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/26284/stat : 26284 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 278395717 9367552 267 33554432000 4194304 5064252 140737142857664 140737142856576 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26284/statm: 2287 267 226 213 0 72 0
[pid=26285] ppid=26284 vsize=797232 CPUtime=2.38 cores=0,2,4,6
/proc/26285/stat : 26285 (glucose_static) R 26284 26279 26234 0 -1 4202496 84794 0 0 0 214 24 0 0 20 0 1 0 278395719 816365568 161528 33554432000 4194304 4896791 140737178787216 140737177736008 4401607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26285/statm: 199308 161528 58 172 0 199134 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1967968
[startup+25.5002 s]
/proc/loadavg: 1.63 1.56 1.79 3/179 26285
/proc/meminfo: memFree=24351008/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1212372 CPUtime=24.61 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) R 26279 26279 26234 0 -1 4202496 167076 160448 0 0 1196 446 747 72 20 0 1 0 278394688 1241468928 269106 33554432000 4194304 5873084 140734622619488 140734622614920 5127520 0 0 4096 0 0 0 0 17 0 0 0 85 0 0
/proc/26280/statm: 303093 269106 169 410 0 302675 0
Current children cumulated CPU time (s) 24.61
Current children cumulated vsize (KiB) 1221520
[startup+51.1002 s]
/proc/loadavg: 2.10 1.67 1.83 3/179 26286
/proc/meminfo: memFree=23848628/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1212372 CPUtime=49.9 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) R 26279 26279 26234 0 -1 4202496 167076 160448 0 0 1512 2659 747 72 20 0 1 0 278394688 1241468928 269106 33554432000 4194304 5873084 140734622619488 140734622614920 5127520 0 0 4096 0 0 0 0 17 0 0 0 115 0 0
/proc/26280/statm: 303093 269106 169 410 0 302675 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (KiB) 1221520
[startup+102.307 s]
/proc/loadavg: 2.23 1.78 1.85 3/183 26292
/proc/meminfo: memFree=20694804/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1741256 CPUtime=39.2 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 211580 0 0 0 3844 76 0 0 20 0 1 0 278400996 1783046144 355921 33554432000 4194304 4896791 140737108301216 140737108298536 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26292/statm: 435314 355921 77 172 0 435140 0
Current children cumulated CPU time (s) 100.9
Current children cumulated vsize (KiB) 3084168
[startup+162.3 s]
/proc/loadavg: 2.08 1.82 1.86 3/183 26292
/proc/meminfo: memFree=20692944/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1741388 CPUtime=99.18 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 211639 0 0 0 9842 76 0 0 20 0 1 0 278400996 1783181312 355980 33554432000 4194304 4896791 140737108301216 140737108298424 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 435347 355980 77 172 0 435173 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 3084300
[startup+222.3 s]
/proc/loadavg: 2.03 1.85 1.86 3/183 26292
/proc/meminfo: memFree=20686196/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1742776 CPUtime=159.17 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 211975 0 0 0 15841 76 0 0 20 0 1 0 278400996 1784602624 356316 33554432000 4194304 4896791 140737108301216 140737108298584 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 435694 356316 77 172 0 435520 0
Current children cumulated CPU time (s) 220.87
Current children cumulated vsize (KiB) 3085688
[startup+282.3 s]
/proc/loadavg: 2.01 1.87 1.87 3/183 26292
/proc/meminfo: memFree=20678632/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
################
# More data... #
################
/proc/26292/statm: 445867 375670 77 172 0 445693 0
Current children cumulated CPU time (s) 1360.7
Current children cumulated vsize (KiB) 3126380
[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 1.92 3/183 26325
/proc/meminfo: memFree=20502088/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1785544 CPUtime=1359 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 222849 0 0 0 135815 85 0 0 20 0 1 0 278400996 1828397056 378280 33554432000 4194304 4896791 140737108301216 140737108296952 4225550 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 446386 378280 77 172 0 446212 0
Current children cumulated CPU time (s) 1420.7
Current children cumulated vsize (KiB) 3128456
[startup+1482.3 s]
/proc/loadavg: 2.09 2.02 1.93 3/183 26325
/proc/meminfo: memFree=20492044/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1786392 CPUtime=1418.99 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 223065 0 0 0 141814 85 0 0 20 0 1 0 278400996 1829265408 379518 33554432000 4194304 4896791 140737108301216 140737108298424 4223886 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 446598 379518 77 172 0 446424 0
Current children cumulated CPU time (s) 1480.69
Current children cumulated vsize (KiB) 3129304
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/184 26328
/proc/meminfo: memFree=20523524/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1786524 CPUtime=1478.98 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 223113 0 0 0 147813 85 0 0 20 0 1 0 278400996 1829400576 380077 33554432000 4194304 4896791 140737108301216 140737108296232 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 446631 380077 77 172 0 446457 0
Current children cumulated CPU time (s) 1540.68
Current children cumulated vsize (KiB) 3129436
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/183 26329
/proc/meminfo: memFree=20515264/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1786524 CPUtime=1538.97 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 223114 0 0 0 153812 85 0 0 20 0 1 0 278400996 1829400576 380078 33554432000 4194304 4896791 140737108301216 140737108296232 4225008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 446631 380078 77 172 0 446457 0
Current children cumulated CPU time (s) 1600.67
Current children cumulated vsize (KiB) 3129436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 26329
/proc/meminfo: memFree=20509596/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1786524 CPUtime=1598.96 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 223114 0 0 0 159811 85 0 0 20 0 1 0 278400996 1829400576 380078 33554432000 4194304 4896791 140737108301216 140737108296232 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 446631 380078 77 172 0 446457 0
Current children cumulated CPU time (s) 1660.66
Current children cumulated vsize (KiB) 3129436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 26329
/proc/meminfo: memFree=20503668/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1787712 CPUtime=1658.94 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 223453 0 0 0 165809 85 0 0 20 0 1 0 278400996 1830617088 380928 33554432000 4194304 4896791 140737108301216 140737108298424 4203003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 446928 380928 77 172 0 446754 0
Current children cumulated CPU time (s) 1720.64
Current children cumulated vsize (KiB) 3130624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 26329
/proc/meminfo: memFree=20489620/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1789540 CPUtime=1718.94 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 223930 0 0 0 171808 86 0 0 20 0 1 0 278400996 1832488960 382427 33554432000 4194304 4896791 140737108301216 140737108296952 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 447385 382427 77 172 0 447211 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (KiB) 3132452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 1.93 2/178 26330
/proc/meminfo: memFree=23047528/32873648 swapFree=6336/6336
[pid=26279] ppid=26277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (runPb2satCp2.sh) S 26277 26279 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278394687 9367552 275 33554432000 4194304 5064252 140734151851600 140734151850512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26279/statm: 2287 275 233 213 0 72 0
[pid=26280] ppid=26279 vsize=1324616 CPUtime=61.7 cores=0,2,4,6
/proc/26280/stat : 26280 (pb2sat) S 26279 26279 26234 0 -1 4202496 171585 160962 0 0 1773 3511 747 139 20 0 1 0 278394688 1356406784 284055 33554432000 4194304 5873084 140734622619488 140734622613304 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 131 0 0
/proc/26280/statm: 331154 284055 177 410 0 330736 0
[pid=26291] ppid=26280 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26291/stat : 26291 (satsolver.sh) S 26280 26279 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278400994 9367552 266 33554432000 4194304 5064252 140733406298576 140733406297488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26291/statm: 2287 266 226 213 0 72 0
[pid=26292] ppid=26291 vsize=1790728 CPUtime=1738.34 cores=0,2,4,6
/proc/26292/stat : 26292 (glucose_static) R 26291 26279 26234 0 -1 4202496 224258 0 0 0 173748 86 0 0 20 0 1 0 278400996 1833705472 383771 33554432000 4194304 4896791 140737108301216 140737108298424 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26292/statm: 447682 383771 77 172 0 447508 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3133640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26279 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.73
CPU time (s): 1800.04
CPU user time (s): 1762.68
CPU system time (s): 37.36
CPU usage (%): 99.9064
Max. virtual memory (cumulated for all children) (KiB): 3484964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.18136 second user time and 10.6644 second system time
The end