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-3694536-1338185517/watcher-3694536-1338185517 -o /tmp/evaluation-result-3694536-1338185517/solver-3694536-1338185517 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694536-1338185517.opb 383602812 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.00 2.00 2.00 3/179 19602
/proc/meminfo: memFree=30647744/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[startup+0.0203361 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19602
/proc/meminfo: memFree=30647744/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19602
/proc/meminfo: memFree=30647744/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19602
/proc/meminfo: memFree=30647744/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700314 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19602
/proc/meminfo: memFree=30647744/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19606
/proc/meminfo: memFree=30490124/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=64768 CPUtime=0.82 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 11161 0 0 0 75 7 0 0 20 0 1 0 284676223 66322432 15031 33554432000 4194304 5873084 140736211446384 140736211442808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19603/statm: 16192 15031 169 410 0 15774 0
[pid=19605] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19605/stat : 19605 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284676306 9367552 265 33554432000 4194304 5064252 140734894363456 140734894362368 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19605/statm: 2287 265 226 213 0 72 0
[pid=19606] ppid=19605 vsize=179120 CPUtime=0.65 cores=1,3,5,7
/proc/19606/stat : 19606 (glucose_static) R 19605 19602 17405 0 -1 4202496 33356 0 0 0 58 7 0 0 20 0 1 0 284676307 183418880 41750 33554432000 4194304 4896791 140733547170176 140733547167480 4223846 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 44780 41750 76 172 0 44606 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 262184
[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19606
/proc/meminfo: memFree=30388400/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=64768 CPUtime=0.82 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 11161 0 0 0 75 7 0 0 20 0 1 0 284676223 66322432 15031 33554432000 4194304 5873084 140736211446384 140736211442808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19603/statm: 16192 15031 169 410 0 15774 0
[pid=19605] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19605/stat : 19605 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284676306 9367552 265 33554432000 4194304 5064252 140734894363456 140734894362368 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19605/statm: 2287 265 226 213 0 72 0
[pid=19606] ppid=19605 vsize=180572 CPUtime=2.25 cores=1,3,5,7
/proc/19606/stat : 19606 (glucose_static) R 19605 19602 17405 0 -1 4202496 33742 0 0 0 218 7 0 0 20 0 1 0 284676307 184905728 42136 33554432000 4194304 4896791 140733547170176 140733547167384 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 45143 42136 77 172 0 44969 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 263636
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19648
/proc/meminfo: memFree=30916680/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=80148 CPUtime=6.27 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) R 19602 19602 17405 0 -1 4202496 13002 34899 0 0 105 115 398 9 20 0 1 0 284676223 82071552 18118 33554432000 4194304 5873084 140736211446384 140736211441816 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19603/statm: 20037 18118 177 410 0 19619 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 89296
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 19652
/proc/meminfo: memFree=29924176/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=382300 CPUtime=11.66 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 22631 35413 0 0 443 310 398 15 20 0 1 0 284676223 391475200 83320 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 67 0 0
/proc/19603/statm: 95575 83320 184 410 0 95157 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 391448
[startup+25.5005 s]
/proc/loadavg: 2.29 2.06 2.02 3/183 19657
/proc/meminfo: memFree=29270468/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=382300 CPUtime=11.66 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 22631 35413 0 0 443 310 398 15 20 0 1 0 284676223 391475200 83320 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 67 0 0
/proc/19603/statm: 95575 83320 184 410 0 95157 0
[pid=19653] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19653/stat : 19653 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284677459 9367552 267 33554432000 4194304 5064252 140735933543760 140735933542672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19653/statm: 2287 267 226 213 0 72 0
[pid=19654] ppid=19653 vsize=802116 CPUtime=13.12 cores=1,3,5,7
/proc/19654/stat : 19654 (glucose_static) R 19653 19602 17405 0 -1 4202496 103117 0 0 0 1275 37 0 0 20 0 1 0 284677460 821366784 160172 33554432000 4194304 4896791 140736028976400 140736028973672 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19654/statm: 200529 160172 78 172 0 200355 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 1202712
[startup+51.1005 s]
/proc/loadavg: 2.19 2.06 2.02 3/183 19663
/proc/meminfo: memFree=29375600/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=382300 CPUtime=11.66 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 22631 35413 0 0 443 310 398 15 20 0 1 0 284676223 391475200 83320 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 67 0 0
/proc/19603/statm: 95575 83320 184 410 0 95157 0
[pid=19653] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19653/stat : 19653 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284677459 9367552 267 33554432000 4194304 5064252 140735933543760 140735933542672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19653/statm: 2287 267 226 213 0 72 0
[pid=19654] ppid=19653 vsize=801292 CPUtime=38.72 cores=1,3,5,7
/proc/19654/stat : 19654 (glucose_static) R 19653 19602 17405 0 -1 4202496 103293 0 0 0 3835 37 0 0 20 0 1 0 284677460 820523008 160580 33554432000 4194304 4896791 140736028976400 140736028973624 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19654/statm: 200323 160580 78 172 0 200149 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 1201888
[startup+102.307 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 19663
/proc/meminfo: memFree=29361512/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=382300 CPUtime=11.66 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 22631 35413 0 0 443 310 398 15 20 0 1 0 284676223 391475200 83320 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 67 0 0
/proc/19603/statm: 95575 83320 184 410 0 95157 0
[pid=19653] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19653/stat : 19653 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284677459 9367552 267 33554432000 4194304 5064252 140735933543760 140735933542672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19653/statm: 2287 267 226 213 0 72 0
[pid=19654] ppid=19653 vsize=802540 CPUtime=89.92 cores=1,3,5,7
/proc/19654/stat : 19654 (glucose_static) R 19653 19602 17405 0 -1 4202496 105347 0 0 0 8954 38 0 0 20 0 1 0 284677460 821800960 163971 33554432000 4194304 4896791 140736028976400 140736028973608 4230803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19654/statm: 200635 163971 78 172 0 200461 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 1203136
[startup+162.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/183 19666
/proc/meminfo: memFree=29436372/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=121.44 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 39132 142696 0 0 743 350 10981 70 20 0 1 0 284676223 411504640 82066 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 67 0 0
/proc/19603/statm: 100465 82066 184 410 0 100047 0
[pid=19665] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19665/stat : 19665 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284688441 9367552 266 33554432000 4194304 5064252 140734633479440 140734633478352 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19665/statm: 2287 266 226 213 0 72 0
[pid=19666] ppid=19665 vsize=633432 CPUtime=40.1 cores=1,3,5,7
/proc/19666/stat : 19666 (glucose_static) R 19665 19602 17405 0 -1 4202496 98112 0 0 0 3975 35 0 0 20 0 1 0 284688441 648634368 147518 33554432000 4194304 4896791 140734221500320 140734221497688 4206896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19666/statm: 158358 147518 78 172 0 158184 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 1053588
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 19669
/proc/meminfo: memFree=29437000/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/19666/statm: 272296 219508 78 172 0 272122 0
Current children cumulated CPU time (s) 1361.29
Current children cumulated vsize (KiB) 1509340
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19694
/proc/meminfo: memFree=29560288/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=617000 CPUtime=21.84 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 93558 0 0 0 2152 32 0 0 20 0 1 0 284816268 631808000 138091 33554432000 4194304 4896791 140733842965888 140733842963080 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 154250 138091 78 172 0 154076 0
Current children cumulated CPU time (s) 1421.3
Current children cumulated vsize (KiB) 1037156
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 19694
/proc/meminfo: memFree=29559500/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=618268 CPUtime=81.83 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 93840 0 0 0 8151 32 0 0 20 0 1 0 284816268 633106432 139367 33554432000 4194304 4896791 140733842965888 140733842963096 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 154567 139367 78 172 0 154393 0
Current children cumulated CPU time (s) 1481.29
Current children cumulated vsize (KiB) 1038424
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 19695
/proc/meminfo: memFree=29545084/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=619484 CPUtime=141.82 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 95581 0 0 0 14149 33 0 0 20 0 1 0 284816268 634351616 140699 33554432000 4194304 4896791 140733842965888 140733842963096 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 154871 140699 78 172 0 154697 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 1039640
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 19695
/proc/meminfo: memFree=29519680/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=619824 CPUtime=201.79 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 97117 0 0 0 20146 33 0 0 20 0 1 0 284816268 634699776 141829 33554432000 4194304 4896791 140733842965888 140733842963096 4225008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 154956 141829 78 172 0 154782 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 1039980
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19695
/proc/meminfo: memFree=29543512/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=620252 CPUtime=261.76 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 101384 0 0 0 26143 33 0 0 20 0 1 0 284816268 635138048 142437 33554432000 4194304 4896791 140733842965888 140733842963416 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 155063 142437 78 172 0 154889 0
Current children cumulated CPU time (s) 1661.22
Current children cumulated vsize (KiB) 1040408
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19698
/proc/meminfo: memFree=29420652/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=704588 CPUtime=321.74 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 103034 0 0 0 32140 34 0 0 20 0 1 0 284816268 721498112 144847 33554432000 4194304 4896791 140733842965888 140733842963032 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 176147 144847 78 172 0 175973 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 1124744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19698
/proc/meminfo: memFree=29487312/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=705604 CPUtime=381.73 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 106110 0 0 0 38138 35 0 0 20 0 1 0 284816268 722538496 145615 33554432000 4194304 4896791 140733842965888 140733842963416 4203936 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 176401 145615 78 172 0 176227 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 1125760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19698
/proc/meminfo: memFree=29475024/32873844 swapFree=6080/6080
[pid=19602] ppid=19600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (runPb2satCp2.sh) S 19600 19602 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284676223 9367552 274 33554432000 4194304 5064252 140734678671488 140734678670400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19602/statm: 2287 274 233 213 0 72 0
[pid=19603] ppid=19602 vsize=401860 CPUtime=1399.46 cores=1,3,5,7
/proc/19603/stat : 19603 (pb2sat) S 19602 19602 17405 0 -1 4202496 55090 279280 0 0 1018 389 138224 315 20 0 1 0 284676223 411504640 77970 33554432000 4194304 5873084 140736211446384 140736211440200 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 67 0 0
/proc/19603/statm: 100465 77970 184 410 0 100047 0
[pid=19693] ppid=19603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19693/stat : 19693 (satsolver.sh) S 19603 19602 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284816268 9367552 267 33554432000 4194304 5064252 140736884846000 140736884844912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19693/statm: 2287 267 226 213 0 72 0
[pid=19694] ppid=19693 vsize=705872 CPUtime=400.64 cores=1,3,5,7
/proc/19694/stat : 19694 (glucose_static) R 19693 19602 17405 0 -1 4202496 106169 0 0 0 40029 35 0 0 20 0 1 0 284816268 722812928 145674 33554432000 4194304 4896791 140733842965888 140733842963096 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 176468 145674 78 172 0 176294 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1126028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19602 and gives
# childrusage.ru_utime.tv_sec=1392
# childrusage.ru_utime.tv_usec=434317
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=56927
# CPU time returned by wait4() is 1399.49
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.22
CPU time (s): 1800.1
CPU user time (s): 1792.71
CPU system time (s): 7.39
CPU usage (%): 99.9378
Max. virtual memory (cumulated for all children) (KiB): 1834472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1392.43
system time used= 7.05693
maximum resident set size= 1219048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1518312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 1563
runsolver used 4.43133 second user time and 12.0322 second system time
The end