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-3737403-1339248650/watcher-3737403-1339248650 -o /tmp/evaluation-result-3737403-1339248650/solver-3737403-1339248650 -C 1800 -W 1900 -M 15500 run HOME/instance-3737403-1339248650.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: 9.16 8.66 7.38 10/185 2085
/proc/meminfo: memFree=31162080/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0

[startup+0.072481 s]
/proc/loadavg: 9.16 8.66 7.38 10/185 2085
/proc/meminfo: memFree=31162080/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100293 s]
/proc/loadavg: 9.16 8.66 7.38 10/185 2085
/proc/meminfo: memFree=31162080/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300195 s]
/proc/loadavg: 9.16 8.66 7.38 10/185 2085
/proc/meminfo: memFree=31162080/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700181 s]
/proc/loadavg: 9.16 8.66 7.38 10/185 2085
/proc/meminfo: memFree=31162080/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 9.16 8.66 7.38 10/187 2087
/proc/meminfo: memFree=31153268/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=24880 CPUtime=1.48 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 5381 0 0 0 147 1 0 0 20 0 1 0 390989905 25477120 3310 33554432000 134512640 146736320 4286834624 4286828224 136019021 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 6220 3310 904 2985 0 3154 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34028

[startup+3.10022 s]
/proc/loadavg: 9.16 8.66 7.38 11/194 2101
/proc/meminfo: memFree=31133620/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=119136 CPUtime=4.05 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 17418 0 0 0 388 17 0 0 20 0 8 0 390989905 121995264 7231 33554432000 134512640 146736320 4286834624 4286827156 136017496 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 29784 7231 962 2985 0 26718 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 128284

[startup+6.30038 s]
/proc/loadavg: 9.15 8.66 7.39 10/194 2108
/proc/meminfo: memFree=31132364/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=119544 CPUtime=7.25 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 17474 0 0 0 708 17 0 0 20 0 8 0 390989905 122413056 7287 33554432000 134512640 146736320 4286834624 4286827888 136385268 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 29886 7287 962 2985 0 26820 0
[pid=2086/tid=2102] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2102/stat : 2102 (pb_cplex) S 2085 2085 1177 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2103] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2103/stat : 2103 (pb_cplex) S 2085 2085 1177 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4130336400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2104] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2104/stat : 2104 (pb_cplex) S 2085 2085 1177 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4140822160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2105] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2105/stat : 2105 (pb_cplex) S 2085 2085 1177 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4116930192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2106] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2106/stat : 2106 (pb_cplex) S 2085 2085 1177 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4106444432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2107] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2107/stat : 2107 (pb_cplex) S 2085 2085 1177 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4095958672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2108] ppid=2085 vsize=119544 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2108/stat : 2108 (pb_cplex) S 2085 2085 1177 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390990117 122413056 7287 33554432000 134512640 146736320 4286834624 4085472912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 128692

[startup+12.7004 s]
/proc/loadavg: 9.13 8.67 7.39 11/193 2108
/proc/meminfo: memFree=31104496/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=149872 CPUtime=21.68 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) S 2085 2085 1177 0 -1 4202496 26389 0 0 0 2146 22 0 0 20 0 8 0 390989905 153468928 13641 33554432000 134512640 146736320 4286834624 4286830992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2086/statm: 37468 13641 971 2985 0 34402 0
[pid=2086/tid=2102] ppid=2085 vsize=149872 CPUtime=0.39 cores=1,3,5,7
/proc/2086/task/2102/stat : 2102 (pb_cplex) S 2085 2085 1177 0 -1 4202560 820 0 0 0 39 0 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2103] ppid=2085 vsize=149872 CPUtime=3.83 cores=1,3,5,7
/proc/2086/task/2103/stat : 2103 (pb_cplex) R 2085 2085 1177 0 -1 4202560 1660 0 0 0 382 1 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4130333672 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2104] ppid=2085 vsize=149872 CPUtime=0.27 cores=1,3,5,7
/proc/2086/task/2104/stat : 2104 (pb_cplex) S 2085 2085 1177 0 -1 4202560 742 0 0 0 27 0 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4140822160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2105] ppid=2085 vsize=149872 CPUtime=1.92 cores=1,3,5,7
/proc/2086/task/2105/stat : 2105 (pb_cplex) S 2085 2085 1177 0 -1 4202560 2001 0 0 0 192 0 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4116930192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2106] ppid=2085 vsize=149872 CPUtime=0.49 cores=1,3,5,7
/proc/2086/task/2106/stat : 2106 (pb_cplex) S 2085 2085 1177 0 -1 4202560 858 0 0 0 49 0 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4106444432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2107] ppid=2085 vsize=149872 CPUtime=1.83 cores=1,3,5,7
/proc/2086/task/2107/stat : 2107 (pb_cplex) S 2085 2085 1177 0 -1 4202560 1770 0 0 0 183 0 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4095958672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2108] ppid=2085 vsize=149872 CPUtime=0 cores=1,3,5,7
/proc/2086/task/2108/stat : 2108 (pb_cplex) S 2085 2085 1177 0 -1 4202560 650 0 0 0 0 0 0 0 20 0 8 0 390990117 153468928 13641 33554432000 134512640 146736320 4286834624 4085472912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 21.68
Current children cumulated vsize (KiB) 159020

[startup+25.5003 s]
/proc/loadavg: 9.58 8.80 7.46 10/186 2108
/proc/meminfo: memFree=31113496/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=99904 CPUtime=41.89 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 31044 0 0 0 4159 30 0 0 20 0 1 0 390989905 102301696 11454 33554432000 134512640 146736320 4286834624 4286828816 136008455 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 24976 11454 981 2985 0 21910 0
Current children cumulated CPU time (s) 41.89
Current children cumulated vsize (KiB) 109052

[startup+51.1005 s]
/proc/loadavg: 10.46 9.04 7.57 17/193 2136
/proc/meminfo: memFree=31006768/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=242664 CPUtime=99.95 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 112319 0 0 0 9920 75 0 0 20 0 8 0 390989905 248487936 36387 33554432000 134512640 146736320 4286834624 4286827904 139046528 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 60666 36394 982 2985 0 57600 0
[pid=2086/tid=2130] ppid=2085 vsize=242664 CPUtime=4.68 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) R 2085 2085 1177 0 -1 4202560 3218 0 0 0 468 0 0 0 20 0 8 0 390993083 248487936 36399 33554432000 134512640 146736320 4286834624 4130684672 135231485 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=242664 CPUtime=4.39 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 2061 0 0 0 438 1 0 0 20 0 8 0 390993083 248487936 36407 33554432000 134512640 146736320 4286834624 4141170600 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=242664 CPUtime=4.66 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 2998 0 0 0 465 1 0 0 20 0 8 0 390993083 248487936 36416 33554432000 134512640 146736320 4286834624 4151652432 136008364 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=242664 CPUtime=4.54 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 2015 0 0 0 454 0 0 0 20 0 8 0 390993083 248487936 36426 33554432000 134512640 146736320 4286834624 4116921360 136008230 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=242664 CPUtime=4.35 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 3429 0 0 0 434 1 0 0 20 0 8 0 390993083 248487936 36434 33554432000 134512640 146736320 4286834624 4042248136 139043568 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=242664 CPUtime=4.41 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 714 0 0 0 441 0 0 0 20 0 8 0 390993083 248487936 36442 33554432000 134512640 146736320 4286834624 4031766908 139023078 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=242664 CPUtime=4.49 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 5448 0 0 0 447 2 0 0 20 0 8 0 390993083 248487936 36450 33554432000 134512640 146736320 4286834624 4021279736 136475798 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (KiB) 251812

[startup+102.308 s]
/proc/loadavg: 9.38 9.06 7.66 17/194 2137
/proc/meminfo: memFree=31005856/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=241812 CPUtime=282.59 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 271831 0 0 0 28088 171 0 0 20 0 8 0 390989905 247615488 37185 33554432000 134512640 146736320 4286834624 4286827416 136007039 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 60453 37185 982 2985 0 57387 0
[pid=2086/tid=2130] ppid=2085 vsize=241812 CPUtime=24.05 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) R 2085 2085 1177 0 -1 4202560 30803 0 0 0 2394 11 0 0 20 0 8 0 390993083 247615488 37185 33554432000 134512640 146736320 4286834624 4130685088 136006013 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=241812 CPUtime=30.36 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 27165 0 0 0 3018 18 0 0 20 0 8 0 390993083 247615488 37185 33554432000 134512640 146736320 4286834624 4141170896 136008309 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=241812 CPUtime=29.88 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 18048 0 0 0 2978 10 0 0 20 0 8 0 390993083 247615488 37185 33554432000 134512640 146736320 4286834624 4151656656 136008335 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=241812 CPUtime=28.24 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 35218 0 0 0 2806 18 0 0 20 0 8 0 390993083 247615488 37185 33554432000 134512640 146736320 4286834624 4116926616 136007286 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=241812 CPUtime=25.41 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 14740 0 0 0 2531 10 0 0 20 0 8 0 390993083 247615488 37185 33554432000 134512640 146736320 4286834624 4042252328 139044578 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=241812 CPUtime=26.35 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 14879 0 0 0 2626 9 0 0 20 0 8 0 390993083 247615488 37185 33554432000 134512640 146736320 4286834624 4031767528 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=241812 CPUtime=24.1 cores=1,3,5,7

################
# More data... #
################

[pid=2086] ppid=2085 vsize=248768 CPUtime=619.77 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 538685 0 0 0 61646 331 0 0 20 0 8 0 390989905 254738432 39108 33554432000 134512640 146736320 4286834624 4286828264 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 62192 39108 982 2985 0 59126 0
[pid=2086/tid=2130] ppid=2085 vsize=248768 CPUtime=68.28 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) S 2085 2085 1177 0 -1 4202560 81419 0 0 0 6792 36 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4130688656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=248768 CPUtime=72.9 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 60247 0 0 0 7252 38 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4141169808 136008266 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=248768 CPUtime=71.21 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 53140 0 0 0 7087 34 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4151656840 139023034 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=248768 CPUtime=70.85 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 92591 0 0 0 7037 48 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4116926880 139023636 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=248768 CPUtime=66.68 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 34969 0 0 0 6643 25 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4042252180 136017766 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=248768 CPUtime=67.65 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) S 2085 2085 1177 0 -1 4202560 40950 0 0 0 6736 29 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4031770256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=248768 CPUtime=65.35 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 55193 0 0 0 6501 34 0 0 20 0 8 0 390993083 254738432 39108 33554432000 134512640 146736320 4286834624 4021280808 139044550 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 619.77
Current children cumulated vsize (KiB) 257916

[startup+201.501 s]
/proc/loadavg: 13.62 10.57 8.34 14/193 2137
/proc/meminfo: memFree=30997048/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=243364 CPUtime=630.9 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 543909 0 0 0 62753 337 0 0 20 0 8 0 390989905 249204736 38187 33554432000 134512640 146736320 4286834624 4286827332 136385175 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 60841 38187 982 2985 0 57775 0
[pid=2086/tid=2130] ppid=2085 vsize=243364 CPUtime=69.61 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) R 2085 2085 1177 0 -1 4202560 81960 0 0 0 6923 38 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4130685080 136007620 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=243364 CPUtime=74.54 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 62054 0 0 0 7415 39 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4141170756 136385167 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=243364 CPUtime=72.62 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 54870 0 0 0 7227 35 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4151657392 135933061 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=243364 CPUtime=72.09 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 92591 0 0 0 7161 48 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4116927364 135850322 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=243364 CPUtime=68.14 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 34969 0 0 0 6789 25 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4042252296 135468236 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=243364 CPUtime=68.89 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 41249 0 0 0 6860 29 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4031766524 135453262 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=243364 CPUtime=66.67 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 55617 0 0 0 6632 35 0 0 20 0 8 0 390993083 249204736 38187 33554432000 134512640 146736320 4286834624 4021280860 135854186 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 630.9
Current children cumulated vsize (KiB) 252512

[startup+204.701 s]
/proc/loadavg: 13.65 10.63 8.37 9/193 2137
/proc/meminfo: memFree=30994868/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=243364 CPUtime=642.13 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) S 2085 2085 1177 0 -1 4202496 550650 0 0 0 63869 344 0 0 20 0 8 0 390989905 249204736 38203 33554432000 134512640 146736320 4286834624 4286830992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2086/statm: 60841 38203 982 2985 0 57775 0
[pid=2086/tid=2130] ppid=2085 vsize=243364 CPUtime=70.92 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) R 2085 2085 1177 0 -1 4202560 82290 0 0 0 7054 38 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4130685136 136008443 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=243364 CPUtime=75.81 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 62115 0 0 0 7541 40 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4141171688 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=243364 CPUtime=74.03 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 55976 0 0 0 7368 35 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4151657040 136403103 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=243364 CPUtime=73.4 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) S 2085 2085 1177 0 -1 4202560 92591 0 0 0 7292 48 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4116930192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=243364 CPUtime=69.6 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 34969 0 0 0 6934 26 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4042252268 135454093 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=243364 CPUtime=70.32 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 41544 0 0 0 7002 30 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4031766528 135468707 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=243364 CPUtime=68.06 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 56477 0 0 0 6770 36 0 0 20 0 8 0 390993083 249204736 38203 33554432000 134512640 146736320 4286834624 4021280808 139044505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 252512

[startup+205.501 s]
/proc/loadavg: 13.65 10.63 8.37 9/193 2137
/proc/meminfo: memFree=30994868/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=245088 CPUtime=645.05 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) S 2085 2085 1177 0 -1 4202496 550975 0 0 0 64160 345 0 0 20 0 8 0 390989905 250970112 38528 33554432000 134512640 146736320 4286834624 4286830992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 61272 38528 982 2985 0 58206 0
[pid=2086/tid=2130] ppid=2085 vsize=245088 CPUtime=71.26 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) R 2085 2085 1177 0 -1 4202560 82290 0 0 0 7088 38 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4130685136 136008385 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=245088 CPUtime=76.16 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 62115 0 0 0 7576 40 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4141170780 135854446 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=245088 CPUtime=74.42 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 55976 0 0 0 7407 35 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4151659164 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=245088 CPUtime=73.74 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 92916 0 0 0 7325 49 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4116925584 136008438 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=245088 CPUtime=69.95 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 34969 0 0 0 6969 26 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4042253188 135851007 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=245088 CPUtime=70.73 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 41544 0 0 0 7043 30 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4031766956 136400469 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=245088 CPUtime=68.47 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 56477 0 0 0 6811 36 0 0 20 0 8 0 390993083 250970112 38528 33554432000 134512640 146736320 4286834624 4021280764 135526874 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 645.05
Current children cumulated vsize (KiB) 254236

[startup+205.901 s]
/proc/loadavg: 13.65 10.63 8.37 8/193 2137
/proc/meminfo: memFree=30994496/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=243364 CPUtime=646.24 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) S 2085 2085 1177 0 -1 4202496 551503 0 0 0 64278 346 0 0 20 0 8 0 390989905 249204736 38313 33554432000 134512640 146736320 4286834624 4286830992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 60841 38313 982 2985 0 57775 0
[pid=2086/tid=2130] ppid=2085 vsize=243364 CPUtime=71.41 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) S 2085 2085 1177 0 -1 4202560 82290 0 0 0 7103 38 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4130688656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=243364 CPUtime=76.29 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 62116 0 0 0 7589 40 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4141170668 135454131 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=243364 CPUtime=74.58 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 56480 0 0 0 7423 35 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4151658040 137386691 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=243364 CPUtime=73.96 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 92916 0 0 0 7347 49 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4116926460 135526881 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=243364 CPUtime=70.08 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 34969 0 0 0 6982 26 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4042253188 135850322 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=243364 CPUtime=70.85 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 41567 0 0 0 7055 30 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4031767492 139028313 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=243364 CPUtime=68.59 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 56477 0 0 0 6823 36 0 0 20 0 8 0 390993083 249204736 38313 33554432000 134512640 146736320 4286834624 4021280768 135468707 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 646.24
Current children cumulated vsize (KiB) 252512

[startup+206.301 s]
/proc/loadavg: 13.65 10.63 8.37 8/193 2137
/proc/meminfo: memFree=30994496/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=243364 CPUtime=647.71 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 551511 0 0 0 64424 347 0 0 20 0 8 0 390989905 249204736 38321 33554432000 134512640 146736320 4286834624 4286828244 136414091 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 60841 38321 982 2985 0 57775 0
[pid=2086/tid=2130] ppid=2085 vsize=243364 CPUtime=71.56 cores=1,3,5,7
/proc/2086/task/2130/stat : 2130 (pb_cplex) R 2085 2085 1177 0 -1 4202560 82290 0 0 0 7118 38 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4130685828 135850315 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2131] ppid=2085 vsize=243364 CPUtime=76.47 cores=1,3,5,7
/proc/2086/task/2131/stat : 2131 (pb_cplex) R 2085 2085 1177 0 -1 4202560 62116 0 0 0 7607 40 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4141171688 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2086/tid=2132] ppid=2085 vsize=243364 CPUtime=74.75 cores=1,3,5,7
/proc/2086/task/2132/stat : 2132 (pb_cplex) R 2085 2085 1177 0 -1 4202560 56488 0 0 0 7439 36 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4151656572 136400477 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2133] ppid=2085 vsize=243364 CPUtime=74.16 cores=1,3,5,7
/proc/2086/task/2133/stat : 2133 (pb_cplex) R 2085 2085 1177 0 -1 4202560 92916 0 0 0 7367 49 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4116926444 135454090 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2086/tid=2134] ppid=2085 vsize=243364 CPUtime=70.28 cores=1,3,5,7
/proc/2086/task/2134/stat : 2134 (pb_cplex) R 2085 2085 1177 0 -1 4202560 34969 0 0 0 7001 27 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4042252212 135451448 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2135] ppid=2085 vsize=243364 CPUtime=71.04 cores=1,3,5,7
/proc/2086/task/2135/stat : 2135 (pb_cplex) R 2085 2085 1177 0 -1 4202560 41567 0 0 0 7074 30 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4031766688 136006363 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2086/tid=2136] ppid=2085 vsize=243364 CPUtime=68.79 cores=1,3,5,7
/proc/2086/task/2136/stat : 2136 (pb_cplex) R 2085 2085 1177 0 -1 4202560 56477 0 0 0 6843 36 0 0 20 0 8 0 390993083 249204736 38321 33554432000 134512640 146736320 4286834624 4021282444 137381090 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 647.71
Current children cumulated vsize (KiB) 252512

[startup+206.401 s]
/proc/loadavg: 13.65 10.63 8.37 8/193 2137
/proc/meminfo: memFree=30994496/32873844 swapFree=7120/7120
[pid=2085] ppid=2083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2085/stat : 2085 (run) S 2083 2085 1177 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390989904 9367552 270 33554432000 4194304 5064252 140735949521856 140735949520768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2085/statm: 2287 270 229 213 0 72 0
[pid=2086] ppid=2085 vsize=143704 CPUtime=646.66 cores=1,3,5,7
/proc/2086/stat : 2086 (pb_cplex) R 2085 2085 1177 0 -1 4202496 552106 0 0 0 64308 358 0 0 20 0 1 0 390989905 147152896 21414 33554432000 134512640 146736320 4286834624 4286832152 144797937 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/2086/statm: 35670 21381 982 2985 0 32604 0
Current children cumulated CPU time (s) 646.66
Current children cumulated vsize (KiB) 152852

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.04993
#  lost CPU user time (s): 1.15997
#  lost CPU system time (s): -0.11

Real time (s): 206.411
CPU time (s): 647.732
CPU user time (s): 644.247
CPU system time (s): 3.48445
CPU usage (%): 313.806
Max. virtual memory (cumulated for all children) (KiB): 275124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 643.087
system time used= 3.59445
maximum resident set size= 166536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552493
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= 21375
involuntary context switches= 34819

runsolver used 0.610907 second user time and 1.59776 second system time

The end