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-3750955-1339130715/watcher-3750955-1339130715 -o /tmp/evaluation-result-3750955-1339130715/solver-3750955-1339130715 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750955-1339130715.opb 426815424 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 25590
/proc/meminfo: memFree=30566760/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[startup+0.0211019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25590
/proc/meminfo: memFree=30566760/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25590
/proc/meminfo: memFree=30566760/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300256 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25590
/proc/meminfo: memFree=30566760/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25590
/proc/meminfo: memFree=30566760/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25604
/proc/meminfo: memFree=30552592/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=0.24 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3145 7883 0 0 5 5 10 4 20 0 1 0 379200008 5922816 1028 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1028 171 442 0 1000 0
[pid=25603] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25603/stat : 25603 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379200035 9367552 267 33554432000 4194304 5064252 140734223601728 140734223600640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25603/statm: 2287 267 226 213 0 72 0
[pid=25604] ppid=25603 vsize=10772 CPUtime=1.23 cores=1,3,5,7
/proc/25604/stat : 25604 (glucose) R 25603 25590 21098 0 -1 4202496 2936 0 0 0 123 0 0 0 20 0 1 0 379200035 11030528 2285 33554432000 4194304 5208918 140733603085408 140733603083432 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25604/statm: 2693 2285 104 248 0 2442 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34852
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25604
/proc/meminfo: memFree=30549864/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=0.24 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3145 7883 0 0 5 5 10 4 20 0 1 0 379200008 5922816 1028 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1028 171 442 0 1000 0
[pid=25603] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25603/stat : 25603 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379200035 9367552 267 33554432000 4194304 5064252 140734223601728 140734223600640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25603/statm: 2287 267 226 213 0 72 0
[pid=25604] ppid=25603 vsize=13652 CPUtime=2.82 cores=1,3,5,7
/proc/25604/stat : 25604 (glucose) R 25603 25590 21098 0 -1 4202496 4308 0 0 0 282 0 0 0 20 0 1 0 379200035 13979648 2963 33554432000 4194304 5208918 140733603085408 140733603083352 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25604/statm: 3413 2963 104 248 0 3162 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37732
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25604
/proc/meminfo: memFree=30538264/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=0.24 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3145 7883 0 0 5 5 10 4 20 0 1 0 379200008 5922816 1028 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1028 171 442 0 1000 0
[pid=25603] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25603/stat : 25603 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379200035 9367552 267 33554432000 4194304 5064252 140734223601728 140734223600640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25603/statm: 2287 267 226 213 0 72 0
[pid=25604] ppid=25603 vsize=22356 CPUtime=6.03 cores=1,3,5,7
/proc/25604/stat : 25604 (glucose) R 25603 25590 21098 0 -1 4202496 5090 0 0 0 602 1 0 0 20 0 1 0 379200035 22892544 4757 33554432000 4194304 5208918 140733603085408 140733603083352 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25604/statm: 5589 4757 104 248 0 5338 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 46436
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25604
/proc/meminfo: memFree=30534008/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=0.24 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3145 7883 0 0 5 5 10 4 20 0 1 0 379200008 5922816 1028 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1028 171 442 0 1000 0
[pid=25603] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25603/stat : 25603 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379200035 9367552 267 33554432000 4194304 5064252 140734223601728 140734223600640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25603/statm: 2287 267 226 213 0 72 0
[pid=25604] ppid=25603 vsize=20724 CPUtime=12.42 cores=1,3,5,7
/proc/25604/stat : 25604 (glucose) R 25603 25590 21098 0 -1 4202496 6088 0 0 0 1241 1 0 0 20 0 1 0 379200035 21221376 4488 33554432000 4194304 5208918 140733603085408 140733603081720 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25604/statm: 5181 4488 104 248 0 4930 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44804
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25604
/proc/meminfo: memFree=30512608/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=0.24 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3145 7883 0 0 5 5 10 4 20 0 1 0 379200008 5922816 1028 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1028 171 442 0 1000 0
[pid=25603] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25603/stat : 25603 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379200035 9367552 267 33554432000 4194304 5064252 140734223601728 140734223600640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25603/statm: 2287 267 226 213 0 72 0
[pid=25604] ppid=25603 vsize=37000 CPUtime=25.22 cores=1,3,5,7
/proc/25604/stat : 25604 (glucose) R 25603 25590 21098 0 -1 4202496 7452 0 0 0 2521 1 0 0 20 0 1 0 379200035 37888000 7402 33554432000 4194304 5208918 140733603085408 140733603083352 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25604/statm: 9250 7402 104 248 0 8999 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 61080
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25604
/proc/meminfo: memFree=30487288/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=0.24 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3145 7883 0 0 5 5 10 4 20 0 1 0 379200008 5922816 1028 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1028 171 442 0 1000 0
[pid=25603] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25603/stat : 25603 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379200035 9367552 267 33554432000 4194304 5064252 140734223601728 140734223600640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25603/statm: 2287 267 226 213 0 72 0
[pid=25604] ppid=25603 vsize=44180 CPUtime=50.82 cores=1,3,5,7
/proc/25604/stat : 25604 (glucose) R 25603 25590 21098 0 -1 4202496 7694 0 0 0 5080 2 0 0 20 0 1 0 379200035 45240320 9171 33554432000 4194304 5208918 140733603085408 140733603081784 4229473 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25604/statm: 11045 9171 104 248 0 10794 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 68260
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25611
/proc/meminfo: memFree=30547912/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=18224 CPUtime=3.22 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 4707 0 0 0 321 1 0 0 20 0 1 0 379209916 18661376 3995 33554432000 4194304 5208918 140734023429072 140734023427016 4205185 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 4556 3995 104 248 0 4305 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42304
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25611
/proc/meminfo: memFree=30483304/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25879
/proc/meminfo: memFree=30612368/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=132812 CPUtime=1263.01 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 24920 0 0 0 126254 47 0 0 20 0 1 0 379209916 135999488 28329 33554432000 4194304 5208918 140734023429072 140734023425448 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 33203 28329 104 248 0 32952 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 156892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25879
/proc/meminfo: memFree=30581416/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=83492 CPUtime=1323.01 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 25525 0 0 0 132252 49 0 0 20 0 1 0 379209916 85495808 20522 33554432000 4194304 5208918 140734023429072 140734023427160 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 20873 20522 104 248 0 20622 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 107572
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25880
/proc/meminfo: memFree=30538100/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=163632 CPUtime=1383 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 26270 0 0 0 138249 51 0 0 20 0 1 0 379209916 167559168 38636 33554432000 4194304 5208918 140734023429072 140734023425448 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 40908 38636 104 248 0 40657 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 187712
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25883
/proc/meminfo: memFree=30548224/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=163632 CPUtime=1442.99 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 27010 0 0 0 144246 53 0 0 20 0 1 0 379209916 167559168 36076 33554432000 4194304 5208918 140734023429072 140734023425384 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 40908 36076 104 248 0 40657 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 187712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25883
/proc/meminfo: memFree=30553772/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=163632 CPUtime=1502.96 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 27765 0 0 0 150241 55 0 0 20 0 1 0 379209916 167559168 34540 33554432000 4194304 5208918 140734023429072 140734023425384 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 40908 34540 104 248 0 40657 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 187712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25883
/proc/meminfo: memFree=30566384/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=132812 CPUtime=1562.95 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 28117 0 0 0 156239 56 0 0 20 0 1 0 379209916 135999488 31401 33554432000 4194304 5208918 140734023429072 140734023425384 4211540 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 33203 31401 104 248 0 32952 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 156892
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 25883
/proc/meminfo: memFree=30609656/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=83492 CPUtime=1622.93 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 28734 0 0 0 162235 58 0 0 20 0 1 0 379209916 85495808 20522 33554432000 4194304 5208918 140734023429072 140734023425384 4229888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 20873 20522 104 248 0 20622 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 107572
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 25884
/proc/meminfo: memFree=30533448/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=163632 CPUtime=1682.93 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 29480 0 0 0 168232 61 0 0 20 0 1 0 379209916 167559168 39660 33554432000 4194304 5208918 140734023429072 140734023425384 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 40908 39660 104 248 0 40657 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 187712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 25884
/proc/meminfo: memFree=30574456/32873844 swapFree=8656/8656
[pid=25590] ppid=25588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25590/stat : 25590 (npSolver-pbo.sh) S 25588 25590 21098 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379200008 9367552 274 33554432000 4194304 5064252 140735193154208 140735193153120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25590/statm: 2287 274 233 213 0 72 0
[pid=25591] ppid=25590 vsize=5784 CPUtime=99.05 cores=1,3,5,7
/proc/25591/stat : 25591 (npSolver-pbo) S 25590 25590 21098 0 -1 4202496 3592 19062 0 0 6 5 9886 8 20 0 1 0 379200008 5922816 1049 33554432000 4194304 6004724 140737361250992 140737361243344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 1446 1049 172 442 0 1000 0
[pid=25610] ppid=25591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25610/stat : 25610 (satsolver.sh) S 25591 25590 21098 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379209916 9367552 267 33554432000 4194304 5064252 140736026577392 140736026576304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25610/statm: 2287 267 226 213 0 72 0
[pid=25611] ppid=25610 vsize=83492 CPUtime=1701.03 cores=1,3,5,7
/proc/25611/stat : 25611 (glucose) R 25610 25590 21098 0 -1 4202496 30300 0 0 0 170041 62 0 0 20 0 1 0 379209916 85495808 20522 33554432000 4194304 5208918 140734023429072 140734023425448 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25611/statm: 20873 20522 104 248 0 20622 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 107572
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.34
CPU system time (s): 0.768883
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 237800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.768883
maximum resident set size= 170084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 1879
runsolver used 3.72943 second user time and 9.2246 second system time
The end