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-3746253-1339098186/watcher-3746253-1339098186 -o /tmp/evaluation-result-3746253-1339098186/solver-3746253-1339098186 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746253-1339098186.opb 292971896 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: 0.10 0.03 0.01 1/171 15327
/proc/meminfo: memFree=30355848/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (runsolver) D 15325 15327 15254 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 375947257 12095488 50 33554432000 4194304 5436572 140733404158528 140733404154824 4883175 0 0 4096 24578 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/15327/statm: 2953 50 31 304 0 2645 0

[startup+0.079349 s]
/proc/loadavg: 0.10 0.03 0.01 1/171 15327
/proc/meminfo: memFree=30355848/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100361 s]
/proc/loadavg: 0.10 0.03 0.01 1/171 15327
/proc/meminfo: memFree=30355848/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300299 s]
/proc/loadavg: 0.10 0.03 0.01 1/171 15327
/proc/meminfo: memFree=30355848/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700294 s]
/proc/loadavg: 0.10 0.03 0.01 1/171 15327
/proc/meminfo: memFree=30355848/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 0.10 0.03 0.01 2/173 15329
/proc/meminfo: memFree=30180580/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=184456 CPUtime=1.48 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) R 15327 15327 15254 0 -1 4202496 27610 0 0 0 141 7 0 0 20 0 1 0 375947258 188882944 43350 33554432000 4194304 6004724 140735962103120 140735962099928 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 46114 43350 154 442 0 45668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 193604

[startup+3.10037 s]
/proc/loadavg: 0.10 0.03 0.01 2/173 15329
/proc/meminfo: memFree=30140120/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=404892 CPUtime=3.08 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) R 15327 15327 15254 0 -1 4202496 29643 0 0 0 286 22 0 0 20 0 1 0 375947258 414609408 98990 33554432000 4194304 6004724 140735962103120 140735962097400 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 101223 98990 157 442 0 100777 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 414040

[startup+6.30044 s]
/proc/loadavg: 0.18 0.04 0.01 2/175 15331
/proc/meminfo: memFree=29542352/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=3.15 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29650 0 0 0 286 29 0 0 20 0 1 0 375947258 289583104 68472 33554432000 4194304 6004724 140735962103120 140735962097584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68472 163 442 0 70253 0
[pid=15330] ppid=15329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15330/stat : 15330 (cp2_pre.sh) S 15329 15327 15254 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 375947574 9367552 277 33554432000 4194304 5064252 140737259539008 140737259537712 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15330/statm: 2287 277 234 213 0 72 0
[pid=15331] ppid=15330 vsize=541976 CPUtime=3.12 cores=1,3,5,7
/proc/15331/stat : 15331 (coprocessor) R 15330 15327 15254 0 -1 4202496 58473 0 0 0 296 16 0 0 20 0 1 0 375947574 554983424 123008 33554432000 4194304 6586260 140734455547888 140734455544152 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/15331/statm: 135494 123009 163 584 0 134906 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 843068

[startup+12.7005 s]
/proc/loadavg: 0.32 0.08 0.02 2/175 15374
/proc/meminfo: memFree=29317464/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=3.15 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29650 0 0 0 286 29 0 0 20 0 1 0 375947258 289583104 68472 33554432000 4194304 6004724 140735962103120 140735962097584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68472 163 442 0 70253 0
[pid=15330] ppid=15329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15330/stat : 15330 (cp2_pre.sh) S 15329 15327 15254 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 375947574 9367552 277 33554432000 4194304 5064252 140737259539008 140737259537712 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15330/statm: 2287 277 234 213 0 72 0
[pid=15331] ppid=15330 vsize=632740 CPUtime=9.42 cores=1,3,5,7
/proc/15331/stat : 15331 (coprocessor) R 15330 15327 15254 0 -1 4202496 72159 0 0 0 906 36 0 0 20 0 1 0 375947574 647925760 153091 33554432000 4194304 6586260 140734455547888 140734455543640 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 10 0 0
/proc/15331/statm: 158185 153091 198 584 0 157597 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 933832

[startup+25.5004 s]
/proc/loadavg: 0.62 0.15 0.05 3/181 15395
/proc/meminfo: memFree=29728660/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.55 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29668 73060 0 0 286 29 995 45 20 0 1 0 375947258 289583104 68476 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68476 167 442 0 70253 0
[pid=15376] ppid=15329 vsize=239644 CPUtime=11.81 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) R 15329 15327 15254 0 -1 4202496 43083 0 0 0 1172 9 0 0 20 0 1 0 375948625 245395456 55970 33554432000 4194304 5654031 140733734367584 140733734365480 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15376/statm: 59911 55970 140 357 0 59551 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 531588

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

[startup+26.0005 s]
/proc/loadavg: 0.62 0.15 0.05 3/181 15395
/proc/meminfo: memFree=29707196/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.55 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29668 73060 0 0 286 29 995 45 20 0 1 0 375947258 289583104 68476 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68476 167 442 0 70253 0
[pid=15376] ppid=15329 vsize=239776 CPUtime=12.31 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) R 15329 15327 15254 0 -1 4202496 43099 0 0 0 1222 9 0 0 20 0 1 0 375948625 245530624 55986 33554432000 4194304 5654031 140733734367584 140733734365368 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15376/statm: 59944 55986 140 357 0 59584 0
Current children cumulated CPU time (s) 25.86
Current children cumulated vsize (KiB) 531720

[startup+32.4072 s]
/proc/loadavg: 0.73 0.18 0.06 3/181 15395
/proc/meminfo: memFree=29707952/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.55 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29668 73060 0 0 286 29 995 45 20 0 1 0 375947258 289583104 68476 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68476 167 442 0 70253 0
[pid=15376] ppid=15329 vsize=246852 CPUtime=18.71 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) R 15329 15327 15254 0 -1 4202496 43984 0 0 0 1862 9 0 0 20 0 1 0 375948625 252776448 56871 33554432000 4194304 5654031 140733734367584 140733734355400 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 61713 56871 140 357 0 61353 0
Current children cumulated CPU time (s) 32.26
Current children cumulated vsize (KiB) 538796

[startup+35.6004 s]
/proc/loadavg: 0.84 0.21 0.07 3/181 15395
/proc/meminfo: memFree=29706836/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.55 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29668 73060 0 0 286 29 995 45 20 0 1 0 375947258 289583104 68476 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68476 167 442 0 70253 0
[pid=15376] ppid=15329 vsize=246852 CPUtime=21.91 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) R 15329 15327 15254 0 -1 4202496 44027 0 0 0 2182 9 0 0 20 0 1 0 375948625 252776448 56914 33554432000 4194304 5654031 140733734367584 140733734355400 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 61713 56914 140 357 0 61353 0
Current children cumulated CPU time (s) 35.46
Current children cumulated vsize (KiB) 538796

[startup+37.2004 s]
/proc/loadavg: 0.84 0.21 0.07 3/181 15395
/proc/meminfo: memFree=29706588/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.55 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29668 73060 0 0 286 29 995 45 20 0 1 0 375947258 289583104 68476 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68476 167 442 0 70253 0
[pid=15376] ppid=15329 vsize=246852 CPUtime=23.5 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) R 15329 15327 15254 0 -1 4202496 44027 0 0 0 2341 9 0 0 20 0 1 0 375948625 252776448 56914 33554432000 4194304 5654031 140733734367584 140733734355400 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 61713 56914 140 357 0 61353 0
Current children cumulated CPU time (s) 37.05
Current children cumulated vsize (KiB) 538796

[startup+38.8004 s]
/proc/loadavg: 0.84 0.21 0.07 3/181 15395
/proc/meminfo: memFree=29706340/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.55 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) S 15327 15327 15254 0 -1 4202496 29668 73060 0 0 286 29 995 45 20 0 1 0 375947258 289583104 68476 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68476 167 442 0 70253 0
[pid=15376] ppid=15329 vsize=246852 CPUtime=25.1 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) R 15329 15327 15254 0 -1 4202496 44092 0 0 0 2501 9 0 0 20 0 1 0 375948625 252776448 56979 33554432000 4194304 5654031 140733734367584 140733734355400 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 61713 56979 140 357 0 61353 0
Current children cumulated CPU time (s) 38.65
Current children cumulated vsize (KiB) 538796

[startup+39.2004 s]
/proc/loadavg: 0.84 0.21 0.07 3/181 15395
/proc/meminfo: memFree=29705224/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=13.67 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) R 15327 15327 15254 0 -1 4202496 35405 73060 0 0 297 30 995 45 20 0 1 0 375947258 289583104 68482 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68482 173 442 0 70253 0
[pid=15376] ppid=15329 vsize=246860 CPUtime=25.39 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) S 15329 15327 15254 0 -1 4202496 44428 0 0 0 2530 9 0 0 20 0 1 0 375948625 252784640 57315 33554432000 4194304 5654031 140733734367584 140733734365896 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15376/statm: 61715 57315 146 357 0 61355 0
Current children cumulated CPU time (s) 39.06
Current children cumulated vsize (KiB) 538804

[startup+39.6003 s]
/proc/loadavg: 0.84 0.21 0.07 3/181 15395
/proc/meminfo: memFree=29705224/32873844 swapFree=7116/7116
[pid=15327] ppid=15325 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15327/stat : 15327 (npSolver-pbo-It) S 15325 15327 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947257 9367552 274 33554432000 4194304 5064252 140736378874576 140736378873488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15327/statm: 2287 274 233 213 0 72 0
[pid=15329] ppid=15327 vsize=282796 CPUtime=14.06 cores=1,3,5,7
/proc/15329/stat : 15329 (npSolver-pbo) R 15327 15327 15254 0 -1 4202496 35405 73060 0 0 336 30 995 45 20 0 1 0 375947258 289583104 68482 33554432000 4194304 6004724 140735962103120 140735962089400 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15329/statm: 70699 68482 173 442 0 70253 0
[pid=15376] ppid=15329 vsize=246860 CPUtime=25.39 cores=1,3,5,7
/proc/15376/stat : 15376 (glucosInc) S 15329 15327 15254 0 -1 4202496 44428 0 0 0 2530 9 0 0 20 0 1 0 375948625 252784640 57315 33554432000 4194304 5654031 140733734367584 140733734365896 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15376/statm: 61715 57315 146 357 0 61355 0
Current children cumulated CPU time (s) 39.45
Current children cumulated vsize (KiB) 538804

Child status: 0
Real time (s): 39.6842
CPU time (s): 39.567
CPU user time (s): 38.6841
CPU system time (s): 0.882865
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 950000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.6841
system time used= 0.882865
maximum resident set size= 628524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 343952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1307
involuntary context switches= 1122

runsolver used 0.065989 second user time and 0.197969 second system time

The end