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-3714614-1338221264/watcher-3714614-1338221264 -o /tmp/evaluation-result-3714614-1338221264/solver-3714614-1338221264 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714614-1338221264.wbo 993524161 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.03 2.03 2.00 3/179 13514
/proc/meminfo: memFree=30413912/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0

[startup+0.075572 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13514
/proc/meminfo: memFree=30413912/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100217 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13514
/proc/meminfo: memFree=30413912/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300208 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13514
/proc/meminfo: memFree=30413912/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700227 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13514
/proc/meminfo: memFree=30413912/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13528
/proc/meminfo: memFree=30354892/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=26696 CPUtime=0.61 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 6218 8168 0 0 34 7 18 2 20 0 1 0 288253214 27336704 4672 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6674 4672 163 439 0 6231 0
[pid=13527] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13527/stat : 13527 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288253278 9367552 267 33554432000 4194304 5064252 140733621209488 140733621208400 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13527/statm: 2287 267 226 213 0 72 0
[pid=13528] ppid=13527 vsize=33628 CPUtime=0.85 cores=1,3,5,7
/proc/13528/stat : 13528 (glucose) R 13527 13514 29981 0 -1 4202496 7879 0 0 0 84 1 0 0 20 0 1 0 288253278 34435072 7401 33554432000 4194304 5208918 140736168900944 140733621208424 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13528/statm: 8407 7401 104 248 0 8156 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78620

[startup+3.10037 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13528
/proc/meminfo: memFree=30353876/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=26696 CPUtime=0.61 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 6218 8168 0 0 34 7 18 2 20 0 1 0 288253214 27336704 4672 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6674 4672 163 439 0 6231 0
[pid=13527] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13527/stat : 13527 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288253278 9367552 267 33554432000 4194304 5064252 140733621209488 140733621208400 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13527/statm: 2287 267 226 213 0 72 0
[pid=13528] ppid=13527 vsize=33628 CPUtime=2.45 cores=1,3,5,7
/proc/13528/stat : 13528 (glucose) R 13527 13514 29981 0 -1 4202496 7882 0 0 0 244 1 0 0 20 0 1 0 288253278 34435072 7404 33554432000 4194304 5208918 140736168900944 140736168898904 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13528/statm: 8407 7404 104 248 0 8156 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 78620

[startup+6.30034 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13528
/proc/meminfo: memFree=30342504/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=26696 CPUtime=0.61 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 6218 8168 0 0 34 7 18 2 20 0 1 0 288253214 27336704 4672 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6674 4672 163 439 0 6231 0
[pid=13527] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13527/stat : 13527 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288253278 9367552 267 33554432000 4194304 5064252 140733621209488 140733621208400 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13527/statm: 2287 267 226 213 0 72 0
[pid=13528] ppid=13527 vsize=33628 CPUtime=5.65 cores=1,3,5,7
/proc/13528/stat : 13528 (glucose) R 13527 13514 29981 0 -1 4202496 7913 0 0 0 564 1 0 0 20 0 1 0 288253278 34435072 7434 33554432000 4194304 5208918 140736168900944 140736168898904 4229476 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13528/statm: 8407 7434 104 248 0 8156 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 78620

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 13533
/proc/meminfo: memFree=30774704/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=26696 CPUtime=0.61 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 6218 8168 0 0 34 7 18 2 20 0 1 0 288253214 27336704 4672 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6674 4672 163 439 0 6231 0
[pid=13527] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13527/stat : 13527 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288253278 9367552 267 33554432000 4194304 5064252 140733621209488 140733621208400 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13527/statm: 2287 267 226 213 0 72 0
[pid=13528] ppid=13527 vsize=38976 CPUtime=12.05 cores=1,3,5,7
/proc/13528/stat : 13528 (glucose) R 13527 13514 29981 0 -1 4202496 8258 0 0 0 1204 1 0 0 20 0 1 0 288253278 39911424 7764 33554432000 4194304 5208918 140736168900944 140736168898792 4211599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13528/statm: 9744 7764 104 248 0 9493 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 83968

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 13547
/proc/meminfo: memFree=30842860/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=19.81 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 8702 20685 0 0 46 9 1917 9 20 0 1 0 288253214 25219072 5339 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5339 164 439 0 5714 0
[pid=13541] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13541/stat : 13541 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288255197 9367552 267 33554432000 4194304 5064252 140733476806192 140733476805104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13541/statm: 2287 267 226 213 0 72 0
[pid=13542] ppid=13541 vsize=30004 CPUtime=5.66 cores=1,3,5,7
/proc/13542/stat : 13542 (glucose) R 13541 13514 29981 0 -1 4202496 7781 0 0 0 564 2 0 0 20 0 1 0 288255197 30724096 6662 33554432000 4194304 5208918 140734988408496 140734988406328 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13542/statm: 7501 6662 104 248 0 7250 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 72928

[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13577
/proc/meminfo: memFree=30329968/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=46.62 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 13666 43783 0 0 69 11 4560 22 20 0 1 0 288253214 25219072 5341 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5341 164 439 0 5714 0
[pid=13576] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13576/stat : 13576 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288257881 9367552 266 33554432000 4194304 5064252 140735210733104 140735210732016 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13576/statm: 2287 266 226 213 0 72 0
[pid=13577] ppid=13576 vsize=28616 CPUtime=4.42 cores=1,3,5,7
/proc/13577/stat : 13577 (glucose) R 13576 13514 29981 0 -1 4202496 6320 0 0 0 441 1 0 0 20 0 1 0 288257881 29302784 6591 33554432000 4194304 5208918 140733954182944 140733954180776 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13577/statm: 7154 6591 104 248 0 6903 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71540

[startup+102.307 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 13640
/proc/meminfo: memFree=30348984/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=102.03 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 28558 105274 0 0 133 18 9997 55 20 0 1 0 288253214 25219072 5347 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5347 164 439 0 5714 0
[pid=13639] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13639/stat : 13639 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288263424 9367552 267 33554432000 4194304 5064252 140734001502224 140734001501136 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13639/statm: 2287 267 226 213 0 72 0
[pid=13640] ppid=13639 vsize=26600 CPUtime=0.2 cores=1,3,5,7
/proc/13640/stat : 13640 (glucose) R 13639 13514 29981 0 -1 4202496 6385 0 0 0 19 1 0 0 20 0 1 0 288263424 27238400 5718 33554432000 4194304 5208918 140735781288560 140734001501160 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13640/statm: 6650 5718 96 248 0 6399 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 69524

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

[startup+115.1 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 13654
/proc/meminfo: memFree=30344788/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=112.82 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 31039 115723 0 0 143 19 11060 60 20 0 1 0 288253214 25219072 5348 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5348 164 439 0 5714 0
[pid=13653] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13653/stat : 13653 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288264503 9367552 265 33554432000 4194304 5064252 140734805013296 140734805012208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13653/statm: 2287 265 226 213 0 72 0
[pid=13654] ppid=13653 vsize=26444 CPUtime=2.2 cores=1,3,5,7
/proc/13654/stat : 13654 (glucose) R 13653 13514 29981 0 -1 4202496 5829 0 0 0 219 1 0 0 20 0 1 0 288264503 27078656 5779 33554432000 4194304 5208918 140735775275136 140735775273096 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13654/statm: 6611 5779 104 248 0 6360 0
Current children cumulated CPU time (s) 115.02
Current children cumulated vsize (KiB) 69368

[startup+118.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 13654
/proc/meminfo: memFree=30343616/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=112.82 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 31039 115723 0 0 143 19 11060 60 20 0 1 0 288253214 25219072 5348 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5348 164 439 0 5714 0
[pid=13653] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13653/stat : 13653 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288264503 9367552 265 33554432000 4194304 5064252 140734805013296 140734805012208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13653/statm: 2287 265 226 213 0 72 0
[pid=13654] ppid=13653 vsize=26852 CPUtime=5.4 cores=1,3,5,7
/proc/13654/stat : 13654 (glucose) R 13653 13514 29981 0 -1 4202496 5911 0 0 0 539 1 0 0 20 0 1 0 288264503 27496448 5861 33554432000 4194304 5208918 140735775275136 140735775272808 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13654/statm: 6713 5861 104 248 0 6462 0
Current children cumulated CPU time (s) 118.22
Current children cumulated vsize (KiB) 69776

[startup+121.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13654
/proc/meminfo: memFree=30341072/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=112.82 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 31039 115723 0 0 143 19 11060 60 20 0 1 0 288253214 25219072 5348 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5348 164 439 0 5714 0
[pid=13653] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13653/stat : 13653 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288264503 9367552 265 33554432000 4194304 5064252 140734805013296 140734805012208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13653/statm: 2287 265 226 213 0 72 0
[pid=13654] ppid=13653 vsize=27636 CPUtime=8.6 cores=1,3,5,7
/proc/13654/stat : 13654 (glucose) R 13653 13514 29981 0 -1 4202496 6050 0 0 0 859 1 0 0 20 0 1 0 288264503 28299264 6000 33554432000 4194304 5208918 140735775275136 140735775272984 4205631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13654/statm: 6909 6000 105 248 0 6658 0
Current children cumulated CPU time (s) 121.42
Current children cumulated vsize (KiB) 70560

[startup+122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13654
/proc/meminfo: memFree=30340824/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=112.82 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 31039 115723 0 0 143 19 11060 60 20 0 1 0 288253214 25219072 5348 33554432000 4194304 5990268 140737419814592 140737419806016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5348 164 439 0 5714 0
[pid=13653] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13653/stat : 13653 (satsolver.sh) S 13515 13514 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288264503 9367552 265 33554432000 4194304 5064252 140734805013296 140734805012208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13653/statm: 2287 265 226 213 0 72 0
[pid=13654] ppid=13653 vsize=27956 CPUtime=9.4 cores=1,3,5,7
/proc/13654/stat : 13654 (glucose) R 13653 13514 29981 0 -1 4202496 6133 0 0 0 939 1 0 0 20 0 1 0 288264503 28626944 6083 33554432000 4194304 5208918 140735775275136 140735775272968 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13654/statm: 6989 6083 105 248 0 6738 0
Current children cumulated CPU time (s) 122.22
Current children cumulated vsize (KiB) 70880

[startup+123.1 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13664
/proc/meminfo: memFree=30341196/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=122.81 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 33529 136341 0 0 150 20 12043 68 20 0 1 0 288253214 25219072 5349 33554432000 4194304 5990268 140737419814592 140737419805504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5349 165 439 0 5714 0
[pid=13662] ppid=13515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13662/stat : 13662 (cp2_post.sh) S 13515 13514 29981 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 288265502 9367552 266 33554432000 4194304 5064252 140737475303824 140737475302112 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13662/statm: 2287 266 225 213 0 72 0
[pid=13664] ppid=13662 vsize=9224 CPUtime=0.21 cores=1,3,5,7
/proc/13664/stat : 13664 (coprocessor) R 13662 13514 29981 0 -1 4202496 2343 0 0 0 12 9 0 0 20 0 1 0 288265502 9445376 1671 33554432000 4194304 6586260 140733967441216 140737475302136 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/13664/statm: 2306 1671 148 584 0 1718 0
Current children cumulated CPU time (s) 123.02
Current children cumulated vsize (KiB) 52148

[startup+123.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13664
/proc/meminfo: memFree=30341196/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=123.33 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 36009 150494 0 0 156 21 12074 82 20 0 1 0 288253214 25219072 5349 33554432000 4194304 5990268 140737419814592 140737419805504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5349 165 439 0 5714 0
Current children cumulated CPU time (s) 123.33
Current children cumulated vsize (KiB) 33776

[startup+123.6 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13664
/proc/meminfo: memFree=30341196/32873648 swapFree=6852/6852
[pid=13514] ppid=13512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13514/stat : 13514 (npSolver-wbo-It) S 13512 13514 29981 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288253214 9367552 275 33554432000 4194304 5064252 140735294870544 140735294869456 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13514/statm: 2287 275 233 213 0 72 0
[pid=13515] ppid=13514 vsize=24628 CPUtime=123.33 cores=1,3,5,7
/proc/13515/stat : 13515 (npSolver-wbo) S 13514 13514 29981 0 -1 4202496 36009 150494 0 0 156 21 12074 82 20 0 1 0 288253214 25219072 5349 33554432000 4194304 5990268 140737419814592 140737419805504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13515/statm: 6157 5349 165 439 0 5714 0
Current children cumulated CPU time (s) 123.33
Current children cumulated vsize (KiB) 33776

Child status: 0
Real time (s): 123.677
CPU time (s): 123.631
CPU user time (s): 122.479
CPU system time (s): 1.15182
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 85068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.479
system time used= 1.15182
maximum resident set size= 39224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 235824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1462
involuntary context switches= 291

runsolver used 0.270958 second user time and 0.775882 second system time

The end