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-3749889-1339129197/watcher-3749889-1339129197 -o /tmp/evaluation-result-3749889-1339129197/solver-3749889-1339129197 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749889-1339129197.opb 2087799293 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 16771
/proc/meminfo: memFree=20167424/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0

[startup+0.00693292 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16771
/proc/meminfo: memFree=20167424/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100221 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16771
/proc/meminfo: memFree=20167424/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/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 16771
/proc/meminfo: memFree=20167424/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700214 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16771
/proc/meminfo: memFree=20167424/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16792
/proc/meminfo: memFree=20143944/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=0.8 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 4777 11609 0 0 10 2 64 4 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16791] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16791/stat : 16791 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379044858 9367552 267 33554432000 4194304 5064252 140733833575936 140733833574848 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16791/statm: 2287 267 226 213 0 72 0
[pid=16792] ppid=16791 vsize=14968 CPUtime=0.66 cores=1,3,5,7
/proc/16792/stat : 16792 (glucose) R 16791 16771 12469 0 -1 4202496 2896 0 0 0 66 0 0 0 20 0 1 0 379044858 15327232 2995 33554432000 4194304 5208918 140735158291472 140735158289320 4231478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16792/statm: 3742 2995 105 248 0 3491 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44708

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16792
/proc/meminfo: memFree=20142516/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=0.8 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 4777 11609 0 0 10 2 64 4 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16791] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16791/stat : 16791 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379044858 9367552 267 33554432000 4194304 5064252 140733833575936 140733833574848 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16791/statm: 2287 267 226 213 0 72 0
[pid=16792] ppid=16791 vsize=18092 CPUtime=2.27 cores=1,3,5,7
/proc/16792/stat : 16792 (glucose) R 16791 16771 12469 0 -1 4202496 3829 0 0 0 226 1 0 0 20 0 1 0 379044858 18526208 4080 33554432000 4194304 5208918 140735158291472 140735158289416 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16792/statm: 4523 4080 105 248 0 4272 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 47832

[startup+6.30037 s]
/proc/loadavg: 2.08 2.02 2.01 3/184 16795
/proc/meminfo: memFree=20135316/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=0.8 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 4777 11609 0 0 10 2 64 4 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16791] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16791/stat : 16791 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379044858 9367552 267 33554432000 4194304 5064252 140733833575936 140733833574848 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16791/statm: 2287 267 226 213 0 72 0
[pid=16792] ppid=16791 vsize=25164 CPUtime=5.46 cores=1,3,5,7
/proc/16792/stat : 16792 (glucose) R 16791 16771 12469 0 -1 4202496 4399 0 0 0 545 1 0 0 20 0 1 0 379044858 25767936 5016 33554432000 4194304 5208918 140735158291472 140735158289416 4211038 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16792/statm: 6291 5016 105 248 0 6040 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 54904

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 16800
/proc/meminfo: memFree=20156208/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=12 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 6340 19653 0 0 15 3 1176 6 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 20592

[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 16809
/proc/meminfo: memFree=20142616/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=24 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 7930 29192 0 0 21 3 2367 9 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16808] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16808/stat : 16808 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379047183 9367552 267 33554432000 4194304 5064252 140733388554224 140733388553136 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16808/statm: 2287 267 226 213 0 72 0
[pid=16809] ppid=16808 vsize=15524 CPUtime=1.41 cores=1,3,5,7
/proc/16809/stat : 16809 (glucose) R 16808 16771 12469 0 -1 4202496 3760 0 0 0 141 0 0 0 20 0 1 0 379047183 15896576 3321 33554432000 4194304 5208918 140734336689248 140734336687208 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16809/statm: 3881 3321 105 248 0 3630 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 45264

[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 16823
/proc/meminfo: memFree=20142796/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=49.26 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 11083 47040 0 0 32 4 4874 16 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16822] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16822/stat : 16822 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379049709 9367552 266 33554432000 4194304 5064252 140736885173136 140736885172048 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16822/statm: 2287 266 226 213 0 72 0
[pid=16823] ppid=16822 vsize=18112 CPUtime=1.74 cores=1,3,5,7
/proc/16823/stat : 16823 (glucose) R 16822 16771 12469 0 -1 4202496 4610 0 0 0 173 1 0 0 20 0 1 0 379049709 18546688 3602 33554432000 4194304 5208918 140736716224912 140736716222664 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 4528 3602 105 248 0 4277 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 47852

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16844
/proc/meminfo: memFree=20126352/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=91.74 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 15799 75576 0 0 47 6 9094 27 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16843] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16843/stat : 16843 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379053958 9367552 267 33554432000 4194304 5064252 140733310767072 140733310765984 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16843/statm: 2287 267 226 213 0 72 0
[pid=16844] ppid=16843 vsize=29528 CPUtime=10.46 cores=1,3,5,7
/proc/16844/stat : 16844 (glucose) R 16843 16771 12469 0 -1 4202496 6133 0 0 0 1044 2 0 0 20 0 1 0 379053958 30236672 6246 33554432000 4194304 5208918 140736242520048 140736242517912 4211625 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16844/statm: 7382 6246 105 248 0 7131 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 59268

Solver just ended. Dumping a history of the last processes samples

[startup+127.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 16865
/proc/meminfo: memFree=20132756/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=124.76 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 20515 102635 0 0 63 8 12366 39 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16864] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16864/stat : 16864 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379057259 9367552 266 33554432000 4194304 5064252 140734667345264 140734667344176 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16864/statm: 2287 266 226 213 0 72 0
[pid=16865] ppid=16864 vsize=25112 CPUtime=3.04 cores=1,3,5,7
/proc/16865/stat : 16865 (glucose) R 16864 16771 12469 0 -1 4202496 4077 0 0 0 303 1 0 0 20 0 1 0 379057260 25714688 5545 33554432000 4194304 5208918 140733519654928 140733519652872 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16865/statm: 6278 5545 105 248 0 6027 0
Current children cumulated CPU time (s) 127.8
Current children cumulated vsize (KiB) 54852

[startup+140.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 16872
/proc/meminfo: memFree=20130088/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=134.7 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 22078 111252 0 0 68 8 13352 42 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16871] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16871/stat : 16871 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379058255 9367552 267 33554432000 4194304 5064252 140733981298000 140733981296912 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16871/statm: 2287 267 226 213 0 72 0
[pid=16872] ppid=16871 vsize=25160 CPUtime=5.89 cores=1,3,5,7
/proc/16872/stat : 16872 (glucose) R 16871 16771 12469 0 -1 4202496 4644 0 0 0 588 1 0 0 20 0 1 0 379058255 25763840 5004 33554432000 4194304 5208918 140737314247968 140737314245912 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16872/statm: 6290 5004 105 248 0 6039 0
Current children cumulated CPU time (s) 140.59
Current children cumulated vsize (KiB) 54900

[startup+147.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16872
/proc/meminfo: memFree=20124524/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=134.7 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 22078 111252 0 0 68 8 13352 42 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16871] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16871/stat : 16871 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379058255 9367552 267 33554432000 4194304 5064252 140733981298000 140733981296912 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16871/statm: 2287 267 226 213 0 72 0
[pid=16872] ppid=16871 vsize=29580 CPUtime=12.28 cores=1,3,5,7
/proc/16872/stat : 16872 (glucose) R 16871 16771 12469 0 -1 4202496 5456 0 0 0 1227 1 0 0 20 0 1 0 379058255 30289920 6259 33554432000 4194304 5208918 140737314247968 140737314244344 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16872/statm: 7395 6259 105 248 0 7144 0
Current children cumulated CPU time (s) 146.98
Current children cumulated vsize (KiB) 59320

[startup+153.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16879
/proc/meminfo: memFree=20129980/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=147.97 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 23641 119629 0 0 74 9 14670 44 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16878] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16878/stat : 16878 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379059581 9367552 266 33554432000 4194304 5064252 140735164223344 140735164222256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16878/statm: 2287 266 226 213 0 72 0
[pid=16879] ppid=16878 vsize=25164 CPUtime=5.42 cores=1,3,5,7
/proc/16879/stat : 16879 (glucose) R 16878 16771 12469 0 -1 4202496 4446 0 0 0 541 1 0 0 20 0 1 0 379059582 25767936 4865 33554432000 4194304 5208918 140736496414288 140736496412232 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16879/statm: 6291 4865 105 248 0 6040 0
Current children cumulated CPU time (s) 153.39
Current children cumulated vsize (KiB) 54904

[startup+156.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16879
/proc/meminfo: memFree=20124708/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=147.97 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 23641 119629 0 0 74 9 14670 44 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16878] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16878/stat : 16878 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379059581 9367552 266 33554432000 4194304 5064252 140735164223344 140735164222256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16878/statm: 2287 266 226 213 0 72 0
[pid=16879] ppid=16878 vsize=29584 CPUtime=8.62 cores=1,3,5,7
/proc/16879/stat : 16879 (glucose) R 16878 16771 12469 0 -1 4202496 5268 0 0 0 861 1 0 0 20 0 1 0 379059582 30294016 6145 33554432000 4194304 5208918 140736496414288 140736496412232 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16879/statm: 7396 6145 105 248 0 7145 0
Current children cumulated CPU time (s) 156.59
Current children cumulated vsize (KiB) 59324

[startup+157.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16879
/proc/meminfo: memFree=20124088/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=147.97 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 23641 119629 0 0 74 9 14670 44 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16878] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16878/stat : 16878 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379059581 9367552 266 33554432000 4194304 5064252 140735164223344 140735164222256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16878/statm: 2287 266 226 213 0 72 0
[pid=16879] ppid=16878 vsize=29584 CPUtime=9.42 cores=1,3,5,7
/proc/16879/stat : 16879 (glucose) R 16878 16771 12469 0 -1 4202496 5274 0 0 0 941 1 0 0 20 0 1 0 379059582 30294016 6151 33554432000 4194304 5208918 140736496414288 140736496412152 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16879/statm: 7396 6151 105 248 0 7145 0
Current children cumulated CPU time (s) 157.39
Current children cumulated vsize (KiB) 59324

[startup+158.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16879
/proc/meminfo: memFree=20123964/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=147.97 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 23641 119629 0 0 74 9 14670 44 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16878] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16878/stat : 16878 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379059581 9367552 266 33554432000 4194304 5064252 140735164223344 140735164222256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16878/statm: 2287 266 226 213 0 72 0
[pid=16879] ppid=16878 vsize=29584 CPUtime=10.23 cores=1,3,5,7
/proc/16879/stat : 16879 (glucose) R 16878 16771 12469 0 -1 4202496 5274 0 0 0 1022 1 0 0 20 0 1 0 379059582 30294016 6151 33554432000 4194304 5208918 140736496414288 140736496412152 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16879/statm: 7396 6151 105 248 0 7145 0
Current children cumulated CPU time (s) 158.2
Current children cumulated vsize (KiB) 59324

[startup+158.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16879
/proc/meminfo: memFree=20123964/32873844 swapFree=7124/7124
[pid=16771] ppid=16769 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (npSolver-pbo.sh) S 16769 16771 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379044775 9367552 274 33554432000 4194304 5064252 140735284661792 140735284660704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16771/statm: 2287 274 233 213 0 72 0
[pid=16772] ppid=16771 vsize=11444 CPUtime=147.97 cores=1,3,5,7
/proc/16772/stat : 16772 (npSolver-pbo) S 16771 16771 12469 0 -1 4202496 23641 119629 0 0 74 9 14670 44 20 0 1 0 379044775 11718656 2396 33554432000 4194304 6004724 140736444861520 140736444853872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16772/statm: 2861 2396 176 442 0 2415 0
[pid=16878] ppid=16772 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16878/stat : 16878 (satsolver.sh) S 16772 16771 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379059581 9367552 266 33554432000 4194304 5064252 140735164223344 140735164222256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16878/statm: 2287 266 226 213 0 72 0
[pid=16879] ppid=16878 vsize=29584 CPUtime=10.42 cores=1,3,5,7
/proc/16879/stat : 16879 (glucose) R 16878 16771 12469 0 -1 4202496 5274 0 0 0 1041 1 0 0 20 0 1 0 379059582 30294016 6151 33554432000 4194304 5208918 140736496414288 140736496412152 4215337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16879/statm: 7396 6151 105 248 0 7145 0
Current children cumulated CPU time (s) 158.39
Current children cumulated vsize (KiB) 59324

Child status: 0
Real time (s): 158.536
CPU time (s): 158.458
CPU user time (s): 157.886
CPU system time (s): 0.571913
CPU usage (%): 99.9507
Max. virtual memory (cumulated for all children) (KiB): 71844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.886
system time used= 0.571913
maximum resident set size= 33652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 323

runsolver used 0.508922 second user time and 1.44678 second system time

The end