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-3750939-1339131388/watcher-3750939-1339131388 -o /tmp/evaluation-result-3750939-1339131388/solver-3750939-1339131388 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750939-1339131388.opb 1419322835 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: 2.05 2.04 2.00 3/177 27693
/proc/meminfo: memFree=30944716/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0

[startup+0.075447 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 27693
/proc/meminfo: memFree=30944716/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100227 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 27693
/proc/meminfo: memFree=30944716/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300223 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 27693
/proc/meminfo: memFree=30944716/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700225 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 27693
/proc/meminfo: memFree=30944716/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 27714
/proc/meminfo: memFree=30940584/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=0.08 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1524 8690 0 0 0 1 5 2 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27713] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27713/stat : 27713 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379264288 9367552 267 33554432000 4194304 5064252 140735120149184 140735120148096 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27713/statm: 2287 267 226 213 0 72 0
[pid=27714] ppid=27713 vsize=8012 CPUtime=1.39 cores=0,2,4,6
/proc/27714/stat : 27714 (glucose) R 27713 27693 22761 0 -1 4202496 2071 0 0 0 139 0 0 0 20 0 1 0 379264288 8204288 1419 33554432000 4194304 5208918 140733977978848 140733977976792 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27714/statm: 2003 1419 102 248 0 1752 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28920

[startup+3.10037 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 27714
/proc/meminfo: memFree=30936552/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=0.08 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1524 8690 0 0 0 1 5 2 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27713] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27713/stat : 27713 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379264288 9367552 267 33554432000 4194304 5064252 140735120149184 140735120148096 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27713/statm: 2287 267 226 213 0 72 0
[pid=27714] ppid=27713 vsize=11496 CPUtime=2.99 cores=0,2,4,6
/proc/27714/stat : 27714 (glucose) R 27713 27693 22761 0 -1 4202496 2668 0 0 0 299 0 0 0 20 0 1 0 379264288 11771904 2014 33554432000 4194304 5208918 140733977978848 140733977976792 4228947 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27714/statm: 2874 2014 102 248 0 2623 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32404

[startup+6.30037 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 27714
/proc/meminfo: memFree=30930536/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=0.08 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1524 8690 0 0 0 1 5 2 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27713] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27713/stat : 27713 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379264288 9367552 267 33554432000 4194304 5064252 140735120149184 140735120148096 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27713/statm: 2287 267 226 213 0 72 0
[pid=27714] ppid=27713 vsize=11496 CPUtime=6.19 cores=0,2,4,6
/proc/27714/stat : 27714 (glucose) R 27713 27693 22761 0 -1 4202496 2945 0 0 0 619 0 0 0 20 0 1 0 379264288 11771904 2282 33554432000 4194304 5208918 140733977978848 140733977976792 4229688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27714/statm: 2874 2282 102 248 0 2623 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32404

[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 27714
/proc/meminfo: memFree=30918692/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=0.08 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1524 8690 0 0 0 1 5 2 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27713] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27713/stat : 27713 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379264288 9367552 267 33554432000 4194304 5064252 140735120149184 140735120148096 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27713/statm: 2287 267 226 213 0 72 0
[pid=27714] ppid=27713 vsize=18568 CPUtime=12.58 cores=0,2,4,6
/proc/27714/stat : 27714 (glucose) R 27713 27693 22761 0 -1 4202496 3441 0 0 0 1258 0 0 0 20 0 1 0 379264288 19013632 4193 33554432000 4194304 5208918 140733977978848 140733977975224 4212912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27714/statm: 4642 4193 102 248 0 4391 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39476

[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 27714
/proc/meminfo: memFree=30907360/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=0.08 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1524 8690 0 0 0 1 5 2 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27713] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27713/stat : 27713 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379264288 9367552 267 33554432000 4194304 5064252 140735120149184 140735120148096 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27713/statm: 2287 267 226 213 0 72 0
[pid=27714] ppid=27713 vsize=22152 CPUtime=25.39 cores=0,2,4,6
/proc/27714/stat : 27714 (glucose) R 27713 27693 22761 0 -1 4202496 4632 0 0 0 2538 1 0 0 20 0 1 0 379264288 22683648 5078 33554432000 4194304 5208918 140733977978848 140733977976792 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27714/statm: 5538 5078 102 248 0 5287 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43060

[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 27735
/proc/meminfo: memFree=30942004/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=38.52 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1845 27934 0 0 1 1 3843 7 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27734] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27734/stat : 27734 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379268131 9367552 266 33554432000 4194304 5064252 140733845560192 140733845559104 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27734/statm: 2287 266 226 213 0 72 0
[pid=27735] ppid=27734 vsize=13764 CPUtime=12.55 cores=0,2,4,6
/proc/27735/stat : 27735 (glucose) R 27734 27693 22761 0 -1 4202496 3745 0 0 0 1255 0 0 0 20 0 1 0 379268132 14094336 2958 33554432000 4194304 5208918 140734207413888 140734207411976 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27735/statm: 3441 2958 102 248 0 3190 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34672

[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 27742
/proc/meminfo: memFree=30942260/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=67.74 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 1944 35146 0 0 1 1 6763 9 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27741] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27741/stat : 27741 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379271054 9367552 266 33554432000 4194304 5064252 140733888238288 140733888237200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27741/statm: 2287 266 226 213 0 72 0
[pid=27742] ppid=27741 vsize=27040 CPUtime=34.53 cores=0,2,4,6
/proc/27742/stat : 27742 (glucose) R 27741 27693 22761 0 -1 4202496 4551 0 0 0 3452 1 0 0 20 0 1 0 379271054 27688960 5481 33554432000 4194304 5208918 140737002561264 140737002559208 4212457 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27742/statm: 6760 5481 102 248 0 6509 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47948

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 27750
/proc/meminfo: memFree=30985292/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=16608 CPUtime=13.93 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 3837 0 0 0 1393 0 0 0 20 0 1 0 379279114 17006592 3703 33554432000 4194304 5208918 140735769716112 140735769713976 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 4152 3703 102 248 0 3901 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 37516

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

[startup+179.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 27750
/proc/meminfo: memFree=30928880/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=30.72 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5639 0 0 0 3072 0 0 0 20 0 1 0 379279114 34299904 6230 33554432000 4194304 5208918 140735769716112 140735769712424 4211918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 6230 102 248 0 8123 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 54404

[startup+204.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 27750
/proc/meminfo: memFree=30899144/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=56.32 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 5631 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712424 4229326 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 204.63
Current children cumulated vsize (KiB) 54404

[startup+211.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 27750
/proc/meminfo: memFree=30895420/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=62.73 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 6272 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712424 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 211.04
Current children cumulated vsize (KiB) 54404

[startup+214.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27751
/proc/meminfo: memFree=30895356/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=65.92 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 6591 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712488 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 214.23
Current children cumulated vsize (KiB) 54404

[startup+215.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27753
/proc/meminfo: memFree=30892524/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=67.52 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 6751 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712488 4229347 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 215.83
Current children cumulated vsize (KiB) 54404

[startup+217.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27753
/proc/meminfo: memFree=30890476/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=69.12 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 6911 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712488 4229720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 217.43
Current children cumulated vsize (KiB) 54404

[startup+218.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27753
/proc/meminfo: memFree=30888428/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=69.92 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 6991 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712488 4229335 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 218.23
Current children cumulated vsize (KiB) 54404

[startup+218.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27753
/proc/meminfo: memFree=30888428/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=148.31 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) S 27693 27693 22761 0 -1 4202496 2069 43948 0 0 1 1 14818 11 20 0 1 0 379264278 2674688 298 33554432000 4194304 6004724 140734320275744 140734320268096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 298 172 442 0 207 0
[pid=27749] ppid=27694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27749/stat : 27749 (satsolver.sh) S 27694 27693 22761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379279113 9367552 266 33554432000 4194304 5064252 140734525529056 140734525527968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27749/statm: 2287 266 226 213 0 72 0
[pid=27750] ppid=27749 vsize=33496 CPUtime=70.12 cores=0,2,4,6
/proc/27750/stat : 27750 (glucose) R 27749 27693 22761 0 -1 4202496 5815 0 0 0 7011 1 0 0 20 0 1 0 379279114 34299904 7926 33554432000 4194304 5208918 140735769716112 140735769712488 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27750/statm: 8374 7926 102 248 0 8123 0
Current children cumulated CPU time (s) 218.43
Current children cumulated vsize (KiB) 54404

[startup+218.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27753
/proc/meminfo: memFree=30888428/32873852 swapFree=7632/7632
[pid=27693] ppid=27691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27693/stat : 27693 (npSolver-pbo.sh) S 27691 27693 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379264278 9367552 274 33554432000 4194304 5064252 140735793557040 140735793555952 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27693/statm: 2287 274 233 213 0 72 0
[pid=27694] ppid=27693 vsize=2612 CPUtime=218.53 cores=0,2,4,6
/proc/27694/stat : 27694 (npSolver-pbo) R 27693 27693 22761 0 -1 4202496 2112 52594 0 0 1 1 21838 13 20 0 1 0 379264278 2674688 299 33554432000 4194304 6004724 140734320275744 140734320268672 5190832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27694/statm: 653 299 173 442 0 207 0
Current children cumulated CPU time (s) 218.53
Current children cumulated vsize (KiB) 11760

Child status: 0
Real time (s): 218.601
CPU time (s): 218.557
CPU user time (s): 218.407
CPU system time (s): 0.149977
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 54556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.407
system time used= 0.149977
maximum resident set size= 31708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170
involuntary context switches= 316

runsolver used 0.962853 second user time and 2.22966 second system time

The end