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-3746254-1339098186/watcher-3746254-1339098186 -o /tmp/evaluation-result-3746254-1339098186/solver-3746254-1339098186 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746254-1339098186.opb 1295137325 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: 0.15 0.03 0.01 1/171 10957
/proc/meminfo: memFree=27152144/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0

[startup+0.0496869 s]
/proc/loadavg: 0.15 0.03 0.01 1/171 10957
/proc/meminfo: memFree=27152144/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100307 s]
/proc/loadavg: 0.15 0.03 0.01 1/171 10957
/proc/meminfo: memFree=27152144/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300258 s]
/proc/loadavg: 0.15 0.03 0.01 1/171 10957
/proc/meminfo: memFree=27152144/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700267 s]
/proc/loadavg: 0.15 0.03 0.01 1/171 10957
/proc/meminfo: memFree=27152144/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 0.15 0.03 0.01 3/175 10963
/proc/meminfo: memFree=26956920/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=184456 CPUtime=1.48 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) R 10957 10957 10841 0 -1 4202496 27933 0 0 0 140 8 0 0 20 0 1 0 375943186 188882944 44023 33554432000 4194304 6004724 140735973513328 140735973507608 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 46114 44023 154 442 0 45668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 193604

[startup+3.10027 s]
/proc/loadavg: 0.15 0.03 0.01 3/175 10963
/proc/meminfo: memFree=26815532/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=3.01 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29513 0 0 0 273 28 0 0 20 0 1 0 375943186 289587200 68122 33554432000 4194304 6004724 140735973513328 140735973507792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68122 163 442 0 70254 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 291948

[startup+6.30034 s]
/proc/loadavg: 0.30 0.06 0.02 3/181 10976
/proc/meminfo: memFree=25902608/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=3.01 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29513 0 0 0 273 28 0 0 20 0 1 0 375943186 289587200 68122 33554432000 4194304 6004724 140735973513328 140735973507792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68122 163 442 0 70254 0
[pid=10975] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10975/stat : 10975 (cp2_pre.sh) S 10958 10957 10841 0 -1 4202496 605 0 0 0 0 0 0 0 20 0 1 0 375943490 9367552 276 33554432000 4194304 5064252 140737004859856 140737004858560 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10975/statm: 2287 276 234 213 0 72 0
[pid=10976] ppid=10975 vsize=540348 CPUtime=3.24 cores=0,2,4,6
/proc/10976/stat : 10976 (coprocessor) R 10975 10957 10841 0 -1 4202496 58093 0 0 0 309 15 0 0 20 0 1 0 375943490 553316352 122117 33554432000 4194304 6586260 140736864368208 140736864364472 4500669 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/10976/statm: 135087 122117 167 584 0 134499 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 841444

[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 3/181 10976
/proc/meminfo: memFree=24975112/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 291948

[startup+25.5004 s]
/proc/loadavg: 0.78 0.19 0.06 3/180 10978
/proc/meminfo: memFree=24465604/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
[pid=10978] ppid=10958 vsize=246136 CPUtime=12.9 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) R 10958 10957 10841 0 -1 4202496 44181 0 0 0 1282 8 0 0 20 0 1 0 375944445 252043264 57599 33554432000 4194304 5654031 140733604483152 140733604470968 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 61534 57599 140 357 0 61174 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 538084

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

[startup+26.3004 s]
/proc/loadavg: 0.78 0.19 0.06 3/180 10978
/proc/meminfo: memFree=23540036/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
[pid=10978] ppid=10958 vsize=249104 CPUtime=13.7 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) R 10958 10957 10841 0 -1 4202496 44334 0 0 0 1362 8 0 0 20 0 1 0 375944445 255082496 58263 33554432000 4194304 5654031 140733604483152 140733604480920 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62276 58263 140 357 0 61916 0
Current children cumulated CPU time (s) 26.02
Current children cumulated vsize (KiB) 541052

[startup+32.7067 s]
/proc/loadavg: 0.88 0.22 0.07 3/180 10978
/proc/meminfo: memFree=23915004/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
[pid=10978] ppid=10958 vsize=249104 CPUtime=20.1 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) R 10958 10957 10841 0 -1 4202496 44602 0 0 0 2002 8 0 0 20 0 1 0 375944445 255082496 58531 33554432000 4194304 5654031 140733604483152 140733604470968 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62276 58531 140 357 0 61916 0
Current children cumulated CPU time (s) 32.42
Current children cumulated vsize (KiB) 541052

[startup+35.9004 s]
/proc/loadavg: 0.97 0.25 0.08 3/180 10978
/proc/meminfo: memFree=23654660/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
[pid=10978] ppid=10958 vsize=249104 CPUtime=23.3 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) R 10958 10957 10841 0 -1 4202496 44602 0 0 0 2322 8 0 0 20 0 1 0 375944445 255082496 58531 33554432000 4194304 5654031 140733604483152 140733604470968 4232601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62276 58531 140 357 0 61916 0
Current children cumulated CPU time (s) 35.62
Current children cumulated vsize (KiB) 541052

[startup+39.1004 s]
/proc/loadavg: 0.97 0.25 0.08 3/180 10978
/proc/meminfo: memFree=23479960/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
[pid=10978] ppid=10958 vsize=249104 CPUtime=26.49 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) R 10958 10957 10841 0 -1 4202496 44602 0 0 0 2641 8 0 0 20 0 1 0 375944445 255082496 58531 33554432000 4194304 5654031 140733604483152 140733604470968 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62276 58531 140 357 0 61916 0
Current children cumulated CPU time (s) 38.81
Current children cumulated vsize (KiB) 541052

[startup+39.9004 s]
/proc/loadavg: 0.97 0.25 0.08 3/180 10978
/proc/meminfo: memFree=23393820/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.32 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) S 10957 10957 10841 0 -1 4202496 29532 72282 0 0 273 28 889 42 20 0 1 0 375943186 289587200 68126 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68126 167 442 0 70254 0
[pid=10978] ppid=10958 vsize=249104 CPUtime=27.29 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) R 10958 10957 10841 0 -1 4202496 44688 0 0 0 2721 8 0 0 20 0 1 0 375944445 255082496 58617 33554432000 4194304 5654031 140733604483152 140733604470968 4209087 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62276 58617 140 357 0 61916 0
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (KiB) 541052

[startup+40.3003 s]
/proc/loadavg: 1.05 0.28 0.09 3/180 10978
/proc/meminfo: memFree=21696840/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.58 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) R 10957 10957 10841 0 -1 4202496 31339 72282 0 0 298 29 889 42 20 0 1 0 375943186 289587200 68132 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68132 173 442 0 70254 0
[pid=10978] ppid=10958 vsize=249112 CPUtime=27.46 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) S 10958 10957 10841 0 -1 4202496 44695 0 0 0 2738 8 0 0 20 0 1 0 375944445 255090688 58624 33554432000 4194304 5654031 140733604483152 140733604481464 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62278 58624 146 357 0 61918 0
Current children cumulated CPU time (s) 40.04
Current children cumulated vsize (KiB) 541060

[startup+40.5003 s]
/proc/loadavg: 1.05 0.28 0.09 3/180 10978
/proc/meminfo: memFree=21696840/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282800 CPUtime=12.77 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) R 10957 10957 10841 0 -1 4202496 31339 72282 0 0 317 29 889 42 20 0 1 0 375943186 289587200 68132 33554432000 4194304 6004724 140735973513328 140735973499608 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70700 68132 173 442 0 70254 0
[pid=10978] ppid=10958 vsize=249112 CPUtime=27.46 cores=0,2,4,6
/proc/10978/stat : 10978 (glucosInc) S 10958 10957 10841 0 -1 4202496 44695 0 0 0 2738 8 0 0 20 0 1 0 375944445 255090688 58624 33554432000 4194304 5654031 140733604483152 140733604481464 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 62278 58624 146 357 0 61918 0
Current children cumulated CPU time (s) 40.23
Current children cumulated vsize (KiB) 541060

[startup+40.6003 s]
/proc/loadavg: 1.05 0.28 0.09 3/180 10978
/proc/meminfo: memFree=21696840/32873844 swapFree=9160/9160
[pid=10957] ppid=10955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (npSolver-pbo-It) S 10955 10957 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943186 9367552 274 33554432000 4194304 5064252 140733388038880 140733388037792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 274 233 213 0 72 0
[pid=10958] ppid=10957 vsize=282804 CPUtime=40.36 cores=0,2,4,6
/proc/10958/stat : 10958 (npSolver-pbo) R 10957 10957 10841 0 -1 4202496 38779 116984 0 0 326 29 3628 53 20 0 1 0 375943186 289591296 68134 33554432000 4194304 6004724 140735973513328 140735973509408 4962859 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 70701 68134 174 442 0 70255 0
Current children cumulated CPU time (s) 40.36
Current children cumulated vsize (KiB) 291952

Child status: 0
Real time (s): 40.6285
CPU time (s): 40.4059
CPU user time (s): 39.568
CPU system time (s): 0.837872
CPU usage (%): 99.452
Max. virtual memory (cumulated for all children) (KiB): 939140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.568
system time used= 0.837872
maximum resident set size= 619300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 339984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1290
involuntary context switches= 218

runsolver used 0.070989 second user time and 0.174973 second system time

The end