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-3700767-1338081443/watcher-3700767-1338081443 -o /tmp/evaluation-result-3700767-1338081443/solver-3700767-1338081443 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700767-1338081443.opb 1437094479 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.50 2.20 2.07 3/179 9692
/proc/meminfo: memFree=28806840/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0

[startup+0.0412951 s]
/proc/loadavg: 2.50 2.20 2.07 3/179 9692
/proc/meminfo: memFree=28806840/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100231 s]
/proc/loadavg: 2.50 2.20 2.07 3/179 9692
/proc/meminfo: memFree=28806840/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.3002 s]
/proc/loadavg: 2.50 2.20 2.07 3/179 9692
/proc/meminfo: memFree=28806840/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700289 s]
/proc/loadavg: 2.50 2.20 2.07 3/179 9692
/proc/meminfo: memFree=28806840/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.46 2.20 2.07 3/183 9706
/proc/meminfo: memFree=28702304/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=67516 CPUtime=0.83 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 14198 0 0 0 80 3 0 0 20 0 1 0 274269832 69136384 14558 33554432000 4194304 5208918 140735126036320 140735126034072 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 16879 14558 104 248 0 16628 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 126436

[startup+3.10036 s]
/proc/loadavg: 2.46 2.20 2.07 3/183 9706
/proc/meminfo: memFree=28701172/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=67780 CPUtime=2.43 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 14257 0 0 0 240 3 0 0 20 0 1 0 274269832 69406720 15128 33554432000 4194304 5208918 140735126036320 140735126034168 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 16945 15128 104 248 0 16694 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 126700

[startup+6.30031 s]
/proc/loadavg: 2.46 2.20 2.07 3/183 9706
/proc/meminfo: memFree=28696896/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=68864 CPUtime=5.63 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 14542 0 0 0 560 3 0 0 20 0 1 0 274269832 70516736 15413 33554432000 4194304 5208918 140735126036320 140735126034152 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 17216 15413 105 248 0 16965 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 127784

[startup+12.7003 s]
/proc/loadavg: 2.39 2.19 2.07 3/183 9706
/proc/meminfo: memFree=28694500/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=70544 CPUtime=12.03 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 14817 0 0 0 1200 3 0 0 20 0 1 0 274269832 72237056 16199 33554432000 4194304 5208918 140735126036320 140735126034152 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 17636 16199 105 248 0 17385 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 129464

[startup+25.5004 s]
/proc/loadavg: 2.33 2.19 2.07 3/183 9706
/proc/meminfo: memFree=28686404/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=72304 CPUtime=24.83 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 16028 0 0 0 2479 4 0 0 20 0 1 0 274269832 74039296 16724 33554432000 4194304 5208918 140735126036320 140735126032696 4211577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 18076 16724 105 248 0 17825 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 131224

[startup+51.1003 s]
/proc/loadavg: 2.21 2.17 2.07 3/182 9914
/proc/meminfo: memFree=28927480/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=121600 CPUtime=50.42 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 17023 0 0 0 5037 5 0 0 20 0 1 0 274269832 124518400 27410 33554432000 4194304 5208918 140735126036320 140735126032632 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 30400 27410 105 248 0 30149 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 180520

[startup+102.306 s]
/proc/loadavg: 2.08 2.14 2.06 3/181 9963
/proc/meminfo: memFree=29027768/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9705/stat : 9705 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274269832 9367552 267 33554432000 4194304 5064252 140735056515760 140735056514672 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9705/statm: 2287 267 226 213 0 72 0
[pid=9706] ppid=9705 vsize=121600 CPUtime=101.61 cores=0,2,4,6
/proc/9706/stat : 9706 (glucose) R 9705 9692 3117 0 -1 4202496 17032 0 0 0 10156 5 0 0 20 0 1 0 274269832 124518400 29389 33554432000 4194304 5208918 140735126036320 140735126032088 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 30400 29389 105 248 0 30149 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 180520

[startup+162.3 s]
/proc/loadavg: 2.08 2.13 2.06 3/182 9980
/proc/meminfo: memFree=29001328/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=40624 CPUtime=0.64 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 5696 9554 0 0 34 11 18 1 20 0 1 0 274269766 41598976 6635 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 10156 6635 181 440 0 9712 0
[pid=9705] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=279.21 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 34118 146791 0 0 213 28 27631 49 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10085] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10085/stat : 10085 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274297697 9367552 266 33554432000 4194304 5064252 140734517383968 140734517382880 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10085/statm: 2287 266 226 213 0 72 0
[pid=10086] ppid=10085 vsize=46852 CPUtime=2.98 cores=0,2,4,6
/proc/10086/stat : 10086 (glucose) R 10085 9692 3117 0 -1 4202496 10784 0 0 0 296 2 0 0 20 0 1 0 274297697 47976448 10527 33554432000 4194304 5208918 140737248142720 140737248140552 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10086/statm: 11713 10527 103 248 0 11462 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 104476

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

[startup+307.1 s]
/proc/loadavg: 1.99 2.06 2.04 3/181 10107
/proc/meminfo: memFree=29062768/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=294.99 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 42558 189416 0 0 270 34 29135 60 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10106] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10106/stat : 10106 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274299279 9367552 266 33554432000 4194304 5064252 140735065484512 140735065483424 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10106/statm: 2287 266 226 213 0 72 0
[pid=10107] ppid=10106 vsize=54772 CPUtime=11.95 cores=0,2,4,6
/proc/10107/stat : 10107 (glucose) R 10106 9692 3117 0 -1 4202496 10273 0 0 0 1193 2 0 0 20 0 1 0 274299279 56086528 11656 33554432000 4194304 5208918 140736908132544 140736908130696 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10107/statm: 13693 11656 104 248 0 13442 0
Current children cumulated CPU time (s) 306.94
Current children cumulated vsize (KiB) 112396

[startup+319.9 s]
/proc/loadavg: 1.99 2.06 2.04 3/181 10114
/proc/meminfo: memFree=29064920/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=319.58 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 48183 218238 0 0 307 37 31547 67 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
Current children cumulated CPU time (s) 319.58
Current children cumulated vsize (KiB) 48476

[startup+326.3 s]
/proc/loadavg: 1.99 2.06 2.04 3/181 10128
/proc/meminfo: memFree=29094772/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=319.58 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 48183 218238 0 0 307 37 31547 67 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10127] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10127/stat : 10127 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274301740 9367552 266 33554432000 4194304 5064252 140734736860096 140734736859008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10127/statm: 2287 266 226 213 0 72 0
[pid=10128] ppid=10127 vsize=47184 CPUtime=6.55 cores=0,2,4,6
/proc/10128/stat : 10128 (glucose) R 10127 9692 3117 0 -1 4202496 9927 0 0 0 653 2 0 0 20 0 1 0 274301740 48316416 10789 33554432000 4194304 5208918 140733716355088 140733716352920 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10128/statm: 11796 10789 104 248 0 11545 0
Current children cumulated CPU time (s) 326.13
Current children cumulated vsize (KiB) 104808

[startup+329.5 s]
/proc/loadavg: 1.99 2.06 2.04 3/181 10135
/proc/meminfo: memFree=29094764/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=328.11 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 50997 231885 0 0 326 39 32375 71 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10134] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274302592 9367552 266 33554432000 4194304 5064252 140734955576208 140734955575120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10134/statm: 2287 266 226 213 0 72 0
[pid=10135] ppid=10134 vsize=45888 CPUtime=1.22 cores=0,2,4,6
/proc/10135/stat : 10135 (glucose) R 10134 9692 3117 0 -1 4202496 9649 0 0 0 121 1 0 0 20 0 1 0 274302592 46989312 10495 33554432000 4194304 5208918 140734787164208 140734787162040 4216336 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10135/statm: 11472 10495 104 248 0 11221 0
Current children cumulated CPU time (s) 329.33
Current children cumulated vsize (KiB) 103512

[startup+331.106 s]
/proc/loadavg: 1.99 2.05 2.04 3/181 10135
/proc/meminfo: memFree=29092400/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=328.11 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 50997 231885 0 0 326 39 32375 71 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10134] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274302592 9367552 266 33554432000 4194304 5064252 140734955576208 140734955575120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10134/statm: 2287 266 226 213 0 72 0
[pid=10135] ppid=10134 vsize=46656 CPUtime=2.83 cores=0,2,4,6
/proc/10135/stat : 10135 (glucose) R 10134 9692 3117 0 -1 4202496 9912 0 0 0 282 1 0 0 20 0 1 0 274302592 47775744 10758 33554432000 4194304 5208918 140734787164208 140734787162040 4211525 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10135/statm: 11664 10758 104 248 0 11413 0
Current children cumulated CPU time (s) 330.94
Current children cumulated vsize (KiB) 104280

[startup+332.7 s]
/proc/loadavg: 1.99 2.05 2.04 3/181 10135
/proc/meminfo: memFree=29090232/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=328.11 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 50997 231885 0 0 326 39 32375 71 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10134] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274302592 9367552 266 33554432000 4194304 5064252 140734955576208 140734955575120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10134/statm: 2287 266 226 213 0 72 0
[pid=10135] ppid=10134 vsize=47172 CPUtime=4.42 cores=0,2,4,6
/proc/10135/stat : 10135 (glucose) R 10134 9692 3117 0 -1 4202496 9974 0 0 0 441 1 0 0 20 0 1 0 274302592 48304128 10820 33554432000 4194304 5208918 140734787164208 140734787162040 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10135/statm: 11793 10820 104 248 0 11542 0
Current children cumulated CPU time (s) 332.53
Current children cumulated vsize (KiB) 104796

[startup+333.1 s]
/proc/loadavg: 1.99 2.05 2.04 3/181 10135
/proc/meminfo: memFree=29090232/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=328.11 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 50997 231885 0 0 326 39 32375 71 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10134] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274302592 9367552 266 33554432000 4194304 5064252 140734955576208 140734955575120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10134/statm: 2287 266 226 213 0 72 0
[pid=10135] ppid=10134 vsize=47172 CPUtime=4.82 cores=0,2,4,6
/proc/10135/stat : 10135 (glucose) R 10134 9692 3117 0 -1 4202496 9991 0 0 0 481 1 0 0 20 0 1 0 274302592 48304128 10837 33554432000 4194304 5208918 140734787164208 140734787162040 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10135/statm: 11793 10837 104 248 0 11542 0
Current children cumulated CPU time (s) 332.93
Current children cumulated vsize (KiB) 104796

[startup+333.306 s]
/proc/loadavg: 1.99 2.05 2.04 3/181 10135
/proc/meminfo: memFree=29090356/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=328.11 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 50997 231885 0 0 326 39 32375 71 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10134] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274302592 9367552 266 33554432000 4194304 5064252 140734955576208 140734955575120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10134/statm: 2287 266 226 213 0 72 0
[pid=10135] ppid=10134 vsize=47172 CPUtime=5.03 cores=0,2,4,6
/proc/10135/stat : 10135 (glucose) R 10134 9692 3117 0 -1 4202496 9991 0 0 0 502 1 0 0 20 0 1 0 274302592 48304128 10837 33554432000 4194304 5208918 140734787164208 140734787162040 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10135/statm: 11793 10837 104 248 0 11542 0
Current children cumulated CPU time (s) 333.14
Current children cumulated vsize (KiB) 104796

[startup+333.4 s]
/proc/loadavg: 1.99 2.05 2.04 3/181 10135
/proc/meminfo: memFree=29090356/32873624 swapFree=7104/7104
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (npSolver-pbo.sh) S 9690 9692 3117 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274269766 9367552 275 33554432000 4194304 5064252 140736497075216 140736497074128 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9692/statm: 2287 275 233 213 0 72 0
[pid=9693] ppid=9692 vsize=39328 CPUtime=328.11 cores=0,2,4,6
/proc/9693/stat : 9693 (npSolver-pbo) S 9692 9692 3117 0 -1 4202496 50997 231885 0 0 326 39 32375 71 20 0 1 0 274269766 40271872 9485 33554432000 4194304 5992684 140735898696480 140735898688800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 5 0 0
/proc/9693/statm: 9832 9485 182 440 0 9388 0
[pid=10134] ppid=9693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (satsolver.sh) S 9693 9692 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274302592 9367552 266 33554432000 4194304 5064252 140734955576208 140734955575120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10134/statm: 2287 266 226 213 0 72 0
[pid=10135] ppid=10134 vsize=42616 CPUtime=5.12 cores=0,2,4,6
/proc/10135/stat : 10135 (glucose) R 10134 9692 3117 0 -1 4202496 10244 0 0 0 511 1 0 0 20 0 1 0 274302592 43638784 9860 33554432000 4194304 5208918 140734787164208 140734787162040 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10135/statm: 10654 9860 104 248 0 10403 0
Current children cumulated CPU time (s) 333.23
Current children cumulated vsize (KiB) 100240

Child status: 0
Real time (s): 333.5
CPU time (s): 333.363
CPU user time (s): 332.223
CPU system time (s): 1.14083
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 229840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 332.222
system time used= 1.14083
maximum resident set size= 156652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 458832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 709
involuntary context switches= 560

runsolver used 0.741887 second user time and 1.88471 second system time

The end