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-3751042-1339112180/watcher-3751042-1339112180 -o /tmp/evaluation-result-3751042-1339112180/solver-3751042-1339112180 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751042-1339112180.opb 156429940 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: 1.47 1.13 1.28 3/177 13468
/proc/meminfo: memFree=28075836/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (runsolver) D 13466 13468 11851 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 377344797 12095488 51 33554432000 4194304 5436572 140736616931888 140736616928184 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/13468/statm: 2953 51 31 304 0 2645 0

[startup+0.00906511 s]
/proc/loadavg: 1.47 1.13 1.28 3/177 13468
/proc/meminfo: memFree=28075836/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.1003 s]
/proc/loadavg: 1.47 1.13 1.28 3/177 13468
/proc/meminfo: memFree=28075836/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30032 s]
/proc/loadavg: 1.47 1.13 1.28 3/177 13468
/proc/meminfo: memFree=28075836/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700319 s]
/proc/loadavg: 1.47 1.13 1.28 3/177 13468
/proc/meminfo: memFree=28075836/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 1.47 1.13 1.28 3/179 13470
/proc/meminfo: memFree=27867304/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=184456 CPUtime=1.48 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) R 13468 13468 11851 0 -1 4202496 27652 0 0 0 141 7 0 0 20 0 1 0 377344798 188882944 43882 33554432000 4194304 6004724 140736518539680 140736518535320 4536228 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13470/statm: 46114 43882 154 442 0 45668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 193604

[startup+3.1003 s]
/proc/loadavg: 1.68 1.17 1.30 3/179 13470
/proc/meminfo: memFree=27681684/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=403060 CPUtime=3.07 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) R 13468 13468 11851 0 -1 4202496 29225 0 0 0 283 24 0 0 20 0 1 0 377344798 412733440 98040 33554432000 4194304 6004724 140736518539680 140736518535552 5193835 0 0 4096 0 0 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 100765 98040 157 442 0 100319 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 412208

[startup+6.30042 s]
/proc/loadavg: 1.68 1.17 1.30 3/181 13472
/proc/meminfo: memFree=26828492/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=3.14 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29232 0 0 0 283 31 0 0 20 0 1 0 377344798 289587200 67981 33554432000 4194304 6004724 140736518539680 140736518534144 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67981 163 442 0 70254 0
[pid=13471] ppid=13470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13471/stat : 13471 (cp2_pre.sh) S 13470 13468 11851 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377345114 9367552 277 33554432000 4194304 5064252 140735048611424 140735048610128 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13471/statm: 2287 277 234 213 0 72 0
[pid=13472] ppid=13471 vsize=540348 CPUtime=3.12 cores=0,2,4,6
/proc/13472/stat : 13472 (coprocessor) R 13471 13468 11851 0 -1 4202496 57411 0 0 0 296 16 0 0 20 0 1 0 377345114 553316352 121945 33554432000 4194304 6586260 140737200881024 140737200877288 4500576 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13472/statm: 135087 121945 167 584 0 134499 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 841444

[startup+12.7003 s]
/proc/loadavg: 1.73 1.20 1.30 3/181 13472
/proc/meminfo: memFree=26071208/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 291948

[startup+25.5004 s]
/proc/loadavg: 1.84 1.24 1.32 3/180 13474
/proc/meminfo: memFree=25588336/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
[pid=13474] ppid=13470 vsize=246136 CPUtime=13.1 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) R 13470 13468 11851 0 -1 4202496 44178 0 0 0 1304 6 0 0 20 0 1 0 377346036 252043264 57039 33554432000 4194304 5654031 140734267579552 140734267567368 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 61534 57039 140 357 0 61174 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 538084

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

[startup+25.6005 s]
/proc/loadavg: 1.84 1.24 1.32 3/180 13474
/proc/meminfo: memFree=25588336/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
[pid=13474] ppid=13470 vsize=249104 CPUtime=13.2 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) R 13470 13468 11851 0 -1 4202496 44331 0 0 0 1314 6 0 0 20 0 1 0 377346036 255082496 57192 33554432000 4194304 5654031 140734267579552 140734267567368 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62276 57192 140 357 0 61916 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 541052

[startup+32.0067 s]
/proc/loadavg: 1.87 1.27 1.32 3/180 13474
/proc/meminfo: memFree=25065028/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
[pid=13474] ppid=13470 vsize=249104 CPUtime=19.6 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) R 13470 13468 11851 0 -1 4202496 44598 0 0 0 1954 6 0 0 20 0 1 0 377346036 255082496 57459 33554432000 4194304 5654031 140734267579552 140734267567368 4232710 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62276 57459 140 357 0 61916 0
Current children cumulated CPU time (s) 31.95
Current children cumulated vsize (KiB) 541052

[startup+35.2003 s]
/proc/loadavg: 1.87 1.27 1.32 3/180 13474
/proc/meminfo: memFree=24800216/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
[pid=13474] ppid=13470 vsize=249104 CPUtime=22.8 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) R 13470 13468 11851 0 -1 4202496 44740 0 0 0 2274 6 0 0 20 0 1 0 377346036 255082496 58112 33554432000 4194304 5654031 140734267579552 140734267567368 4232916 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62276 58112 140 357 0 61916 0
Current children cumulated CPU time (s) 35.15
Current children cumulated vsize (KiB) 541052

[startup+38.4003 s]
/proc/loadavg: 1.88 1.28 1.33 3/180 13474
/proc/meminfo: memFree=24625764/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
[pid=13474] ppid=13470 vsize=249104 CPUtime=26 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) R 13470 13468 11851 0 -1 4202496 44740 0 0 0 2594 6 0 0 20 0 1 0 377346036 255082496 58112 33554432000 4194304 5654031 140734267579552 140734267567368 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62276 58112 140 357 0 61916 0
Current children cumulated CPU time (s) 38.35
Current children cumulated vsize (KiB) 541052

[startup+39.2003 s]
/proc/loadavg: 1.88 1.28 1.33 3/180 13474
/proc/meminfo: memFree=24539500/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.35 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) S 13468 13468 11851 0 -1 4202496 29251 72696 0 0 283 31 877 44 20 0 1 0 377344798 289587200 67985 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67985 167 442 0 70254 0
[pid=13474] ppid=13470 vsize=249104 CPUtime=26.79 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) R 13470 13468 11851 0 -1 4202496 44740 0 0 0 2673 6 0 0 20 0 1 0 377346036 255082496 58112 33554432000 4194304 5654031 140734267579552 140734267567368 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62276 58112 140 357 0 61916 0
Current children cumulated CPU time (s) 39.14
Current children cumulated vsize (KiB) 541052

[startup+40.0003 s]
/proc/loadavg: 1.88 1.28 1.33 4/180 13474
/proc/meminfo: memFree=24451064/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.62 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) R 13468 13468 11851 0 -1 4202496 34635 72696 0 0 309 32 877 44 20 0 1 0 377344798 289587200 67991 33554432000 4194304 6004724 140736518539680 140736518525960 4486813 0 0 4096 0 0 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67991 173 442 0 70254 0
[pid=13474] ppid=13470 vsize=249112 CPUtime=27.34 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) S 13470 13468 11851 0 -1 4202496 44833 0 0 0 2728 6 0 0 20 0 1 0 377346036 255090688 58205 33554432000 4194304 5654031 140734267579552 140734267577864 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62278 58205 146 357 0 61918 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (KiB) 541060

[startup+40.2003 s]
/proc/loadavg: 1.88 1.28 1.33 4/180 13474
/proc/meminfo: memFree=24451064/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282800 CPUtime=12.82 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) R 13468 13468 11851 0 -1 4202496 34635 72696 0 0 329 32 877 44 20 0 1 0 377344798 289587200 67991 33554432000 4194304 6004724 140736518539680 140736518525960 5190736 0 0 4096 0 0 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70700 67991 173 442 0 70254 0
[pid=13474] ppid=13470 vsize=249112 CPUtime=27.34 cores=0,2,4,6
/proc/13474/stat : 13474 (glucosInc) S 13470 13468 11851 0 -1 4202496 44833 0 0 0 2728 6 0 0 20 0 1 0 377346036 255090688 58205 33554432000 4194304 5654031 140734267579552 140734267577864 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 62278 58205 146 357 0 61918 0
Current children cumulated CPU time (s) 40.16
Current children cumulated vsize (KiB) 541060

[startup+40.3003 s]
/proc/loadavg: 1.88 1.28 1.33 4/180 13474
/proc/meminfo: memFree=24451064/32873648 swapFree=7372/7372
[pid=13468] ppid=13466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (npSolver-pbo-It) S 13466 13468 11851 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377344797 9367552 275 33554432000 4194304 5064252 140736676272832 140736676271744 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13468/statm: 2287 275 233 213 0 72 0
[pid=13470] ppid=13468 vsize=282804 CPUtime=40.27 cores=0,2,4,6
/proc/13470/stat : 13470 (npSolver-pbo) R 13468 13468 11851 0 -1 4202496 40926 117536 0 0 337 32 3605 53 20 0 1 0 377344798 289591296 67993 33554432000 4194304 6004724 140736518539680 140736518535760 4962859 0 0 4096 0 0 0 0 17 0 0 0 1 0 0
/proc/13470/statm: 70701 67993 174 442 0 70255 0
Current children cumulated CPU time (s) 40.27
Current children cumulated vsize (KiB) 291952

Child status: 0
Real time (s): 40.3341
CPU time (s): 40.3229
CPU user time (s): 39.456
CPU system time (s): 0.866868
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 939140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.456
system time used= 0.866868
maximum resident set size= 618904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163932
page faults= 0
swaps= 0
block input operations= 8
block output operations= 339984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1272
involuntary context switches= 57

runsolver used 0.05999 second user time and 0.188971 second system time

The end