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-3729998-1339246840/watcher-3729998-1339246840 -o /tmp/evaluation-result-3729998-1339246840/solver-3729998-1339246840 -C 1800 -W 1900 -M 15500 run HOME/instance-3729998-1339246840.opb 

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.00 0.00 0.00 3/178 29639
/proc/meminfo: memFree=29411416/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0

[startup+0.092352 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 29639
/proc/meminfo: memFree=29411416/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100304 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 29639
/proc/meminfo: memFree=29411416/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300271 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 29639
/proc/meminfo: memFree=29411416/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700276 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 29639
/proc/meminfo: memFree=29411416/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 29641
/proc/meminfo: memFree=29288808/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=86088 CPUtime=1.49 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 19158 0 0 0 145 4 0 0 20 0 1 0 390808471 88154112 18628 33554432000 134512640 146736320 4293172016 4293169904 141028095 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 21522 18628 3015 2985 0 15664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95236

[startup+3.10037 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 29641
/proc/meminfo: memFree=29164964/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=185844 CPUtime=3.09 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 48660 0 0 0 297 12 0 0 20 0 1 0 390808471 190304256 41720 33554432000 134512640 146736320 4293172016 4293170216 138736280 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 46461 41720 570 2985 0 43395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194992

[startup+6.30037 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 29641
/proc/meminfo: memFree=29098040/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=498764 CPUtime=6.28 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 112726 0 0 0 604 24 0 0 20 0 1 0 390808471 510734336 60350 33554432000 134512640 146736320 4293172016 4293167504 135437800 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 124691 60353 651 2985 0 121625 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 507912

[startup+12.7004 s]
/proc/loadavg: 0.44 0.10 0.03 3/180 29641
/proc/meminfo: memFree=28760720/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=867732 CPUtime=12.69 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 235218 0 0 0 1212 57 0 0 20 0 1 0 390808471 888557568 128246 33554432000 134512640 146736320 4293172016 4293166280 136461485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 216933 128246 833 2985 0 213867 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876880

[startup+25.5004 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 29664
/proc/meminfo: memFree=28804032/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=878924 CPUtime=25.49 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 355091 0 0 0 2457 92 0 0 20 0 1 0 390808471 900018176 128541 33554432000 134512640 146736320 4293172016 4293166092 136017519 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 219731 128541 833 2985 0 216665 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 888072

[startup+51.1004 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 29664
/proc/meminfo: memFree=28938872/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=662852 CPUtime=51.08 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 681148 0 0 0 4912 196 0 0 20 0 1 0 390808471 678760448 91408 33554432000 134512640 146736320 4293172016 4293166484 135982869 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 165713 91408 839 2985 0 162647 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 672000

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

[startup+76.7004 s]
/proc/loadavg: 1.43 0.44 0.15 3/180 29664
/proc/meminfo: memFree=28954444/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=606916 CPUtime=76.67 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) R 29639 29639 29579 0 -1 4202496 941229 0 0 0 7395 272 0 0 20 0 1 0 390808471 621481984 78247 33554432000 134512640 146736320 4293172016 4293166976 135661831 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 151729 78247 848 2985 0 148663 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 616064

[startup+89.5007 s]
/proc/loadavg: 2.55 0.73 0.25 9/186 29671
/proc/meminfo: memFree=27312948/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=2651864 CPUtime=121.04 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) S 29639 29639 29579 0 -1 4202496 1233758 0 0 0 11660 444 0 0 20 0 8 0 390808471 2715508736 496887 33554432000 134512640 146736320 4293172016 4293168400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29640/statm: 662966 496887 887 2985 0 659900 0
[pid=29640/tid=29665] ppid=29639 vsize=2651864 CPUtime=5.36 cores=1,3,5,7
/proc/29640/task/29665/stat : 29665 (pb_cplex) R 29639 29639 29579 0 -1 4202560 20488 0 0 0 518 18 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2899467016 135526330 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29640/tid=29666] ppid=29639 vsize=2651864 CPUtime=5.41 cores=1,3,5,7
/proc/29640/task/29666/stat : 29666 (pb_cplex) R 29639 29639 29579 0 -1 4202560 23632 0 0 0 523 18 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2888981772 136017471 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29667] ppid=29639 vsize=2651864 CPUtime=5.53 cores=1,3,5,7
/proc/29640/task/29667/stat : 29667 (pb_cplex) R 29639 29639 29579 0 -1 4202560 20869 0 0 0 539 14 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2878496012 136017787 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29640/tid=29668] ppid=29639 vsize=2651864 CPUtime=5.98 cores=1,3,5,7
/proc/29640/task/29668/stat : 29668 (pb_cplex) R 29639 29639 29579 0 -1 4202560 23416 0 0 0 577 21 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2868011008 136413874 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29669] ppid=29639 vsize=2651864 CPUtime=5.49 cores=1,3,5,7
/proc/29640/task/29669/stat : 29669 (pb_cplex) R 29639 29639 29579 0 -1 4202560 27677 0 0 0 526 23 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2857525160 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29670] ppid=29639 vsize=2651864 CPUtime=5.38 cores=1,3,5,7
/proc/29640/task/29670/stat : 29670 (pb_cplex) R 29639 29639 29579 0 -1 4202560 17106 0 0 0 523 15 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2847039648 136005867 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29671] ppid=29639 vsize=2651864 CPUtime=5.46 cores=1,3,5,7
/proc/29640/task/29671/stat : 29671 (pb_cplex) R 29639 29639 29579 0 -1 4202560 28121 0 0 0 527 19 0 0 20 0 8 0 390816244 2715508736 496887 33554432000 134512640 146736320 4293172016 2836552972 136017485 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 121.04
Current children cumulated vsize (KiB) 2661012

[startup+95.9007 s]
/proc/loadavg: 2.82 0.82 0.28 4/186 29671
/proc/meminfo: memFree=27347180/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=2628576 CPUtime=142.52 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) S 29639 29639 29579 0 -1 4202496 1278106 0 0 0 13761 491 0 0 20 0 8 0 390808471 2691661824 488826 33554432000 134512640 146736320 4293172016 4293168400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29640/statm: 657144 488826 887 2985 0 654078 0
[pid=29640/tid=29665] ppid=29639 vsize=2628576 CPUtime=10.47 cores=1,3,5,7
/proc/29640/task/29665/stat : 29665 (pb_cplex) R 29639 29639 29579 0 -1 4202560 35740 0 0 0 1015 32 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2899470208 137084957 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29666] ppid=29639 vsize=2628576 CPUtime=9.75 cores=1,3,5,7
/proc/29640/task/29666/stat : 29666 (pb_cplex) S 29639 29639 29579 0 -1 4202560 30298 0 0 0 948 27 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2888986256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29667] ppid=29639 vsize=2628576 CPUtime=6.51 cores=1,3,5,7
/proc/29640/task/29667/stat : 29667 (pb_cplex) S 29639 29639 29579 0 -1 4202560 23276 0 0 0 633 18 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2878500496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29668] ppid=29639 vsize=2628576 CPUtime=8.18 cores=1,3,5,7
/proc/29640/task/29668/stat : 29668 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31502 0 0 0 792 26 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2868014736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29669] ppid=29639 vsize=2628576 CPUtime=6.6 cores=1,3,5,7
/proc/29640/task/29669/stat : 29669 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31996 0 0 0 633 27 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2857528976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29670] ppid=29639 vsize=2628576 CPUtime=7.51 cores=1,3,5,7
/proc/29640/task/29670/stat : 29670 (pb_cplex) S 29639 29639 29579 0 -1 4202560 19479 0 0 0 732 19 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2847043216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29671] ppid=29639 vsize=2628576 CPUtime=10.98 cores=1,3,5,7
/proc/29640/task/29671/stat : 29671 (pb_cplex) R 29639 29639 29579 0 -1 4202560 33366 0 0 0 1074 24 0 0 20 0 8 0 390816244 2691661824 488826 33554432000 134512640 146736320 4293172016 2836552532 136017787 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 142.52
Current children cumulated vsize (KiB) 2637724

[startup+97.5006 s]
/proc/loadavg: 2.82 0.82 0.28 3/186 29671
/proc/meminfo: memFree=27347180/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=2619588 CPUtime=144.34 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) S 29639 29639 29579 0 -1 4202496 1282403 0 0 0 13940 494 0 0 20 0 8 0 390808471 2682458112 487655 33554432000 134512640 146736320 4293172016 4293168400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29640/statm: 654897 487655 887 2985 0 651831 0
[pid=29640/tid=29665] ppid=29639 vsize=2619588 CPUtime=10.68 cores=1,3,5,7
/proc/29640/task/29665/stat : 29665 (pb_cplex) S 29639 29639 29579 0 -1 4202560 35740 0 0 0 1036 32 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2899472016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29666] ppid=29639 vsize=2619588 CPUtime=9.75 cores=1,3,5,7
/proc/29640/task/29666/stat : 29666 (pb_cplex) S 29639 29639 29579 0 -1 4202560 30298 0 0 0 948 27 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2888986256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29667] ppid=29639 vsize=2619588 CPUtime=6.51 cores=1,3,5,7
/proc/29640/task/29667/stat : 29667 (pb_cplex) S 29639 29639 29579 0 -1 4202560 23276 0 0 0 633 18 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2878500496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29668] ppid=29639 vsize=2619588 CPUtime=8.18 cores=1,3,5,7
/proc/29640/task/29668/stat : 29668 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31502 0 0 0 792 26 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2868014736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29669] ppid=29639 vsize=2619588 CPUtime=6.6 cores=1,3,5,7
/proc/29640/task/29669/stat : 29669 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31996 0 0 0 633 27 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2857528976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29670] ppid=29639 vsize=2619588 CPUtime=7.51 cores=1,3,5,7
/proc/29640/task/29670/stat : 29670 (pb_cplex) S 29639 29639 29579 0 -1 4202560 19479 0 0 0 732 19 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2847043216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29671] ppid=29639 vsize=2619588 CPUtime=12.58 cores=1,3,5,7
/proc/29640/task/29671/stat : 29671 (pb_cplex) R 29639 29639 29579 0 -1 4202560 37663 0 0 0 1231 27 0 0 20 0 8 0 390816244 2682458112 487655 33554432000 134512640 146736320 4293172016 2836552844 135846764 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 144.34
Current children cumulated vsize (KiB) 2628736

[startup+98.3005 s]
/proc/loadavg: 2.76 0.84 0.29 3/186 29671
/proc/meminfo: memFree=27347800/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=2619588 CPUtime=145.14 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) S 29639 29639 29579 0 -1 4202496 1284367 0 0 0 14019 495 0 0 20 0 8 0 390808471 2682458112 487712 33554432000 134512640 146736320 4293172016 4293168400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29640/statm: 654897 487712 887 2985 0 651831 0
[pid=29640/tid=29665] ppid=29639 vsize=2619588 CPUtime=10.68 cores=1,3,5,7
/proc/29640/task/29665/stat : 29665 (pb_cplex) S 29639 29639 29579 0 -1 4202560 35740 0 0 0 1036 32 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2899472016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29666] ppid=29639 vsize=2619588 CPUtime=9.75 cores=1,3,5,7
/proc/29640/task/29666/stat : 29666 (pb_cplex) S 29639 29639 29579 0 -1 4202560 30298 0 0 0 948 27 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2888986256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29667] ppid=29639 vsize=2619588 CPUtime=6.51 cores=1,3,5,7
/proc/29640/task/29667/stat : 29667 (pb_cplex) S 29639 29639 29579 0 -1 4202560 23276 0 0 0 633 18 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2878500496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29668] ppid=29639 vsize=2619588 CPUtime=8.18 cores=1,3,5,7
/proc/29640/task/29668/stat : 29668 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31502 0 0 0 792 26 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2868014736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29669] ppid=29639 vsize=2619588 CPUtime=6.6 cores=1,3,5,7
/proc/29640/task/29669/stat : 29669 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31996 0 0 0 633 27 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2857528976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29670] ppid=29639 vsize=2619588 CPUtime=7.51 cores=1,3,5,7
/proc/29640/task/29670/stat : 29670 (pb_cplex) S 29639 29639 29579 0 -1 4202560 19479 0 0 0 732 19 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2847043216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29671] ppid=29639 vsize=2619588 CPUtime=13.38 cores=1,3,5,7
/proc/29640/task/29671/stat : 29671 (pb_cplex) R 29639 29639 29579 0 -1 4202560 39627 0 0 0 1310 28 0 0 20 0 8 0 390816244 2682458112 487712 33554432000 134512640 146736320 4293172016 2836553640 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 145.14
Current children cumulated vsize (KiB) 2628736

[startup+98.7005 s]
/proc/loadavg: 2.76 0.84 0.29 3/186 29671
/proc/meminfo: memFree=27347800/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=2620708 CPUtime=145.53 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) S 29639 29639 29579 0 -1 4202496 1286032 0 0 0 14057 496 0 0 20 0 8 0 390808471 2683604992 486296 33554432000 134512640 146736320 4293172016 4293168400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29640/statm: 655177 486296 887 2985 0 652111 0
[pid=29640/tid=29665] ppid=29639 vsize=2620708 CPUtime=10.68 cores=1,3,5,7
/proc/29640/task/29665/stat : 29665 (pb_cplex) S 29639 29639 29579 0 -1 4202560 35740 0 0 0 1036 32 0 0 20 0 8 0 390816244 2683604992 486296 33554432000 134512640 146736320 4293172016 2899472016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29666] ppid=29639 vsize=2620708 CPUtime=9.75 cores=1,3,5,7
/proc/29640/task/29666/stat : 29666 (pb_cplex) S 29639 29639 29579 0 -1 4202560 30298 0 0 0 948 27 0 0 20 0 8 0 390816244 2683604992 486296 33554432000 134512640 146736320 4293172016 2888986256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29667] ppid=29639 vsize=2620708 CPUtime=6.51 cores=1,3,5,7
/proc/29640/task/29667/stat : 29667 (pb_cplex) S 29639 29639 29579 0 -1 4202560 23276 0 0 0 633 18 0 0 20 0 8 0 390816244 2683604992 486296 33554432000 134512640 146736320 4293172016 2878500496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29668] ppid=29639 vsize=2620708 CPUtime=8.18 cores=1,3,5,7
/proc/29640/task/29668/stat : 29668 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31502 0 0 0 792 26 0 0 20 0 8 0 390816244 2683604992 486297 33554432000 134512640 146736320 4293172016 2868014736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29669] ppid=29639 vsize=2620708 CPUtime=6.6 cores=1,3,5,7
/proc/29640/task/29669/stat : 29669 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31996 0 0 0 633 27 0 0 20 0 8 0 390816244 2683604992 486298 33554432000 134512640 146736320 4293172016 2857528976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29670] ppid=29639 vsize=2620708 CPUtime=7.51 cores=1,3,5,7
/proc/29640/task/29670/stat : 29670 (pb_cplex) S 29639 29639 29579 0 -1 4202560 19479 0 0 0 732 19 0 0 20 0 8 0 390816244 2683604992 486299 33554432000 134512640 146736320 4293172016 2847043216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29671] ppid=29639 vsize=2620708 CPUtime=13.78 cores=1,3,5,7
/proc/29640/task/29671/stat : 29671 (pb_cplex) R 29639 29639 29579 0 -1 4202560 41295 0 0 0 1348 30 0 0 20 0 8 0 390816244 2683604992 486299 33554432000 134512640 146736320 4293172016 2836552436 138462806 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 145.53
Current children cumulated vsize (KiB) 2629856

[startup+99.1065 s]
/proc/loadavg: 2.76 0.84 0.29 3/186 29671
/proc/meminfo: memFree=27355488/32873844 swapFree=7628/7628
[pid=29639] ppid=29637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29639/stat : 29639 (run) S 29637 29639 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808471 9367552 270 33554432000 4194304 5064252 140737485482496 140737485481408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29639/statm: 2287 270 229 213 0 72 0
[pid=29640] ppid=29639 vsize=1219100 CPUtime=146.15 cores=1,3,5,7
/proc/29640/stat : 29640 (pb_cplex) S 29639 29639 29579 0 -1 4202496 1288767 0 0 0 14112 503 0 0 20 0 8 0 390808471 1248358400 204818 33554432000 134512640 146736320 4293172016 4293168400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29640/statm: 304775 204818 887 2985 0 301709 0
[pid=29640/tid=29665] ppid=29639 vsize=1219100 CPUtime=10.72 cores=1,3,5,7
/proc/29640/task/29665/stat : 29665 (pb_cplex) R 29639 29639 29579 0 -1 4202560 36095 0 0 0 1039 33 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2899471612 135617731 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29666] ppid=29639 vsize=1219100 CPUtime=9.79 cores=1,3,5,7
/proc/29640/task/29666/stat : 29666 (pb_cplex) R 29639 29639 29579 0 -1 4202560 30678 0 0 0 952 27 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2888985852 135617742 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29667] ppid=29639 vsize=1219100 CPUtime=6.55 cores=1,3,5,7
/proc/29640/task/29667/stat : 29667 (pb_cplex) S 29639 29639 29579 0 -1 4202560 23348 0 0 0 637 18 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2878500464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29640/tid=29668] ppid=29639 vsize=1219100 CPUtime=8.22 cores=1,3,5,7
/proc/29640/task/29668/stat : 29668 (pb_cplex) S 29639 29639 29579 0 -1 4202560 31883 0 0 0 795 27 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2868014704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29640/tid=29669] ppid=29639 vsize=1219100 CPUtime=6.64 cores=1,3,5,7
/proc/29640/task/29669/stat : 29669 (pb_cplex) R 29639 29639 29579 0 -1 4202560 32069 0 0 0 637 27 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2857528728 136165597 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29640/tid=29670] ppid=29639 vsize=1219100 CPUtime=7.56 cores=1,3,5,7
/proc/29640/task/29670/stat : 29670 (pb_cplex) R 29639 29639 29579 0 -1 4202560 19859 0 0 0 736 20 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2847042968 136165591 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29640/tid=29671] ppid=29639 vsize=1219100 CPUtime=14.1 cores=1,3,5,7
/proc/29640/task/29671/stat : 29671 (pb_cplex) R 29639 29639 29579 0 -1 4202560 42105 0 0 0 1378 32 0 0 20 0 8 0 390816244 1248358400 204818 33554432000 134512640 146736320 4293172016 2836557052 135617737 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 146.15
Current children cumulated vsize (KiB) 1228248

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29639 and gives
#  childrusage.ru_utime.tv_sec=140
#  childrusage.ru_utime.tv_usec=969569
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=109223
# CPU time returned by wait4() is 146.079
# while last known CPU time is 146.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 99.1945
CPU time (s): 146.15
CPU user time (s): 141.12
CPU system time (s): 5.03
CPU usage (%): 147.337
Max. virtual memory (cumulated for all children) (KiB): 2685820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.97
system time used= 5.10922
maximum resident set size= 2011640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1289151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3051
involuntary context switches= 3330

runsolver used 0.19197 second user time and 0.757884 second system time

The end