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

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: 5.77 6.59 6.58 3/177 6942
/proc/meminfo: memFree=24110520/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0

[startup+0.0244681 s]
/proc/loadavg: 5.77 6.59 6.58 3/177 6942
/proc/meminfo: memFree=24110520/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100269 s]
/proc/loadavg: 5.77 6.59 6.58 3/177 6942
/proc/meminfo: memFree=24110520/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30026 s]
/proc/loadavg: 5.77 6.59 6.58 3/177 6942
/proc/meminfo: memFree=24110520/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700251 s]
/proc/loadavg: 5.77 6.59 6.58 3/177 6942
/proc/meminfo: memFree=24110520/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 5.77 6.59 6.58 3/179 6944
/proc/meminfo: memFree=24100244/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=25140 CPUtime=1.49 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 5753 0 0 0 148 1 0 0 20 0 1 0 390996056 25743360 3390 33554432000 134512640 146736320 4290984672 4290978896 136403109 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6943/statm: 6285 3390 902 2985 0 3219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34288

[startup+3.10015 s]
/proc/loadavg: 5.46 6.52 6.56 10/186 6951
/proc/meminfo: memFree=24089276/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=122808 CPUtime=4.09 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 16868 0 0 0 391 18 0 0 20 0 8 0 390996056 125755392 7717 33554432000 134512640 146736320 4290984672 4290977936 136403116 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/6943/statm: 30702 7717 955 2985 0 27636 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 131956

[startup+6.30042 s]
/proc/loadavg: 5.46 6.52 6.56 3/186 6965
/proc/meminfo: memFree=24081340/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=123280 CPUtime=7.28 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 17100 0 0 0 710 18 0 0 20 0 8 0 390996056 126238720 7828 33554432000 134512640 146736320 4290984672 4290977344 136019061 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6943/statm: 30820 7828 957 2985 0 27754 0
[pid=6943/tid=6959] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6959/stat : 6959 (pb_cplex) S 6942 6942 6062 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4127739536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6960] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6960/stat : 6960 (pb_cplex) S 6942 6942 6062 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4138225296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6961] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6961/stat : 6961 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4148711056 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6962] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6962/stat : 6962 (pb_cplex) S 6942 6942 6062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4117253776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6963] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6963/stat : 6963 (pb_cplex) S 6942 6942 6062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4106768016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6964] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6964/stat : 6964 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4096282256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6965] ppid=6942 vsize=123280 CPUtime=0 cores=0,2,4,6
/proc/6943/task/6965/stat : 6965 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390996306 126238720 7828 33554432000 134512640 146736320 4290984672 4085796496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 132428

[startup+12.7004 s]
/proc/loadavg: 5.17 6.42 6.53 5/186 6965
/proc/meminfo: memFree=24050116/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=160188 CPUtime=22.51 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 32249 0 0 0 2226 25 0 0 20 0 8 0 390996056 164032512 15776 33554432000 134512640 146736320 4290984672 4290977936 136403109 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6943/statm: 40047 15776 965 2985 0 36981 0
[pid=6943/tid=6959] ppid=6942 vsize=160188 CPUtime=0.5 cores=0,2,4,6
/proc/6943/task/6959/stat : 6959 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1571 0 0 0 50 0 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4127739536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6960] ppid=6942 vsize=160188 CPUtime=2.41 cores=0,2,4,6
/proc/6943/task/6960/stat : 6960 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1589 0 0 0 240 1 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4138225296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6961] ppid=6942 vsize=160188 CPUtime=0.67 cores=0,2,4,6
/proc/6943/task/6961/stat : 6961 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1114 0 0 0 67 0 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4148711056 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6962] ppid=6942 vsize=160188 CPUtime=2.89 cores=0,2,4,6
/proc/6943/task/6962/stat : 6962 (pb_cplex) R 6942 6942 6062 0 -1 4202560 2490 0 0 0 288 1 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4117250504 136000488 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6963] ppid=6942 vsize=160188 CPUtime=0.63 cores=0,2,4,6
/proc/6943/task/6963/stat : 6963 (pb_cplex) S 6942 6942 6062 0 -1 4202560 1475 0 0 0 63 0 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4106768016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6964] ppid=6942 vsize=160188 CPUtime=1.95 cores=0,2,4,6
/proc/6943/task/6964/stat : 6964 (pb_cplex) S 6942 6942 6062 0 -1 4202560 5267 0 0 0 194 1 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4096282256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6965] ppid=6942 vsize=160188 CPUtime=0.07 cores=0,2,4,6
/proc/6943/task/6965/stat : 6965 (pb_cplex) S 6942 6942 6062 0 -1 4202560 850 0 0 0 7 0 0 0 20 0 8 0 390996306 164032512 15776 33554432000 134512640 146736320 4290984672 4085796496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.51
Current children cumulated vsize (KiB) 169336

[startup+25.5003 s]
/proc/loadavg: 5.20 6.39 6.51 3/179 6965
/proc/meminfo: memFree=24068844/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=96192 CPUtime=44.67 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 34449 0 0 0 4431 36 0 0 20 0 1 0 390996056 98500608 10349 33554432000 134512640 146736320 4290984672 4290978892 136388886 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6943/statm: 24048 10349 970 2985 0 20982 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 105340

[startup+51.1004 s]
/proc/loadavg: 5.04 6.24 6.46 9/186 6993
/proc/meminfo: memFree=23959280/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=254480 CPUtime=97.74 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 120855 0 0 0 9698 76 0 0 20 0 8 0 390996056 260587520 38781 33554432000 134512640 146736320 4290984672 4290978392 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6943/statm: 63620 38781 982 2985 0 60554 0
[pid=6943/tid=6987] ppid=6942 vsize=254480 CPUtime=3.79 cores=0,2,4,6
/proc/6943/task/6987/stat : 6987 (pb_cplex) R 6942 6942 6062 0 -1 4202560 2101 0 0 0 379 0 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4067417616 136403117 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6988] ppid=6942 vsize=254480 CPUtime=4.04 cores=0,2,4,6
/proc/6943/task/6988/stat : 6988 (pb_cplex) R 6942 6942 6062 0 -1 4202560 1759 0 0 0 403 1 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4137842192 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6989] ppid=6942 vsize=254480 CPUtime=3.86 cores=0,2,4,6
/proc/6943/task/6989/stat : 6989 (pb_cplex) R 6942 6942 6062 0 -1 4202560 1593 0 0 0 386 0 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4148325896 136002905 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6990] ppid=6942 vsize=254480 CPUtime=3.7 cores=0,2,4,6
/proc/6943/task/6990/stat : 6990 (pb_cplex) R 6942 6942 6062 0 -1 4202560 3682 0 0 0 369 1 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4117244944 136008061 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6991] ppid=6942 vsize=254480 CPUtime=3.38 cores=0,2,4,6
/proc/6943/task/6991/stat : 6991 (pb_cplex) R 6942 6942 6062 0 -1 4202560 2819 0 0 0 337 1 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4023373636 135523443 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6992] ppid=6942 vsize=254480 CPUtime=2.28 cores=0,2,4,6
/proc/6943/task/6992/stat : 6992 (pb_cplex) S 6942 6942 6062 0 -1 4202560 4469 0 0 0 227 1 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4012895888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6993] ppid=6942 vsize=254480 CPUtime=3.73 cores=0,2,4,6
/proc/6943/task/6993/stat : 6993 (pb_cplex) R 6942 6942 6062 0 -1 4202560 3365 0 0 0 373 0 0 0 20 0 8 0 390999471 260587520 38781 33554432000 134512640 146736320 4290984672 4002402176 136018919 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 97.74
Current children cumulated vsize (KiB) 263628

[startup+102.307 s]
/proc/loadavg: 7.03 6.58 6.56 8/186 6993
/proc/meminfo: memFree=23944716/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=262004 CPUtime=285.53 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) S 6942 6942 6062 0 -1 4202496 278229 0 0 0 28417 136 0 0 20 0 8 0 390996056 268292096 41979 33554432000 134512640 146736320 4290984672 4290981072 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6943/statm: 65501 41979 982 2985 0 62435 0
[pid=6943/tid=6987] ppid=6942 vsize=262004 CPUtime=27.35 cores=0,2,4,6
/proc/6943/task/6987/stat : 6987 (pb_cplex) R 6942 6942 6062 0 -1 4202560 21875 0 0 0 2726 9 0 0 20 0 8 0 390999471 268292096 41979 33554432000 134512640 146736320 4290984672 4067419112 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6988] ppid=6942 vsize=262004 CPUtime=30.53 cores=0,2,4,6
/proc/6943/task/6988/stat : 6988 (pb_cplex) R 6942 6942 6062 0 -1 4202560 16742 0 0 0 3045 8 0 0 20 0 8 0 390999471 268292096 41979 33554432000 134512640 146736320 4290984672 4137844944 136007963 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6989] ppid=6942 vsize=262004 CPUtime=31.35 cores=0,2,4,6
/proc/6943/task/6989/stat : 6989 (pb_cplex) S 6942 6942 6062 0 -1 4202560 21505 0 0 0 3126 9 0 0 20 0 8 0 390999471 268292096 41979 33554432000 134512640 146736320 4290984672 4148334224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6990] ppid=6942 vsize=262004 CPUtime=25.72 cores=0,2,4,6
/proc/6943/task/6990/stat : 6990 (pb_cplex) R 6942 6942 6062 0 -1 4202560 18576 0 0 0 2565 7 0 0 20 0 8 0 390999471 268292096 41979 33554432000 134512640 146736320 4290984672 4117250096 136384857 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6991] ppid=6942 vsize=262004 CPUtime=27.93 cores=0,2,4,6
/proc/6943/task/6991/stat : 6991 (pb_cplex) R 6942 6942 6062 0 -1 4202560 27010 0 0 0 2783 10 0 0 20 0 8 0 390999471 268292096 41979 33554432000 134512640 146736320 4290984672 4023378128 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6992] ppid=6942 vsize=262004 CPUtime=19.62 cores=0,2,4,6
/proc/6943/task/6992/stat : 6992 (pb_cplex) S 6942 6942 6062 0 -1 4202560 24872 0 0 0 1955 7 0 0 20 0 8 0 390999471 268292096 41979 33554432000 134512640 146736320 4290984672 4012895888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6993] ppid=6942 vsize=262004 CPUtime=25.9 cores=0,2,4,6

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

/proc/6943/statm: 69016 45070 982 2985 0 65950 0
[pid=6943/tid=6994] ppid=6942 vsize=276064 CPUtime=6.63 cores=0,2,4,6
/proc/6943/task/6994/stat : 6994 (pb_cplex) S 6942 6942 6062 0 -1 4202560 5412 0 0 0 660 3 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 4002410128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6995] ppid=6942 vsize=276064 CPUtime=7.28 cores=0,2,4,6
/proc/6943/task/6995/stat : 6995 (pb_cplex) S 6942 6942 6062 0 -1 4202560 11851 0 0 0 722 6 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 4012895888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6996] ppid=6942 vsize=276064 CPUtime=7.89 cores=0,2,4,6
/proc/6943/task/6996/stat : 6996 (pb_cplex) S 6942 6942 6062 0 -1 4202560 881 0 0 0 787 2 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 4023381648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6997] ppid=6942 vsize=276064 CPUtime=7.19 cores=0,2,4,6
/proc/6943/task/6997/stat : 6997 (pb_cplex) S 6942 6942 6062 0 -1 4202560 8391 0 0 0 714 5 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 4117253776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6998] ppid=6942 vsize=276064 CPUtime=6.72 cores=0,2,4,6
/proc/6943/task/6998/stat : 6998 (pb_cplex) S 6942 6942 6062 0 -1 4202560 8657 0 0 0 669 3 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6999] ppid=6942 vsize=276064 CPUtime=6.8 cores=0,2,4,6
/proc/6943/task/6999/stat : 6999 (pb_cplex) S 6942 6942 6062 0 -1 4202560 7136 0 0 0 674 6 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 3897552528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=7000] ppid=6942 vsize=276064 CPUtime=7.24 cores=0,2,4,6
/proc/6943/task/7000/stat : 7000 (pb_cplex) R 6942 6942 6062 0 -1 4202560 4378 0 0 0 721 3 0 0 20 0 8 0 391014292 282689536 45070 33554432000 134512640 146736320 4290984672 3887062064 136384857 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 629.08
Current children cumulated vsize (KiB) 285212

[startup+201.5 s]
/proc/loadavg: 7.45 6.92 6.69 9/186 7000
/proc/meminfo: memFree=23932328/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=275180 CPUtime=639.59 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) S 6942 6942 6062 0 -1 4202496 631528 0 0 0 63652 307 0 0 20 0 8 0 390996056 281784320 45034 33554432000 134512640 146736320 4290984672 4290981072 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6943/statm: 68795 45034 982 2985 0 65729 0
[pid=6943/tid=6994] ppid=6942 vsize=275180 CPUtime=8.03 cores=0,2,4,6
/proc/6943/task/6994/stat : 6994 (pb_cplex) R 6942 6942 6062 0 -1 4202560 6950 0 0 0 798 5 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 4002406608 136008309 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6995] ppid=6942 vsize=275180 CPUtime=8.45 cores=0,2,4,6
/proc/6943/task/6995/stat : 6995 (pb_cplex) R 6942 6942 6062 0 -1 4202560 12517 0 0 0 839 6 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 4012893160 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6996] ppid=6942 vsize=275180 CPUtime=9.12 cores=0,2,4,6
/proc/6943/task/6996/stat : 6996 (pb_cplex) R 6942 6942 6062 0 -1 4202560 881 0 0 0 909 3 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 4023378920 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6997] ppid=6942 vsize=275180 CPUtime=8.36 cores=0,2,4,6
/proc/6943/task/6997/stat : 6997 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9267 0 0 0 831 5 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 4117249008 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6998] ppid=6942 vsize=275180 CPUtime=8.24 cores=0,2,4,6
/proc/6943/task/6998/stat : 6998 (pb_cplex) R 6942 6942 6062 0 -1 4202560 10723 0 0 0 820 4 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 4067418244 136400574 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6999] ppid=6942 vsize=275180 CPUtime=8.19 cores=0,2,4,6
/proc/6943/task/6999/stat : 6999 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9115 0 0 0 812 7 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 3897549008 136008454 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=7000] ppid=6942 vsize=275180 CPUtime=8.55 cores=0,2,4,6
/proc/6943/task/7000/stat : 7000 (pb_cplex) R 6942 6942 6062 0 -1 4202560 5161 0 0 0 852 3 0 0 20 0 8 0 391014292 281784320 45034 33554432000 134512640 146736320 4290984672 3887064040 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 639.59
Current children cumulated vsize (KiB) 284328

[startup+203.1 s]
/proc/loadavg: 7.01 6.84 6.66 9/186 7000
/proc/meminfo: memFree=23933196/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=271836 CPUtime=644.21 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 632393 0 0 0 64111 310 0 0 20 0 8 0 390996056 278360064 44499 33554432000 134512640 146736320 4290984672 4290976576 135471719 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6943/statm: 67959 44499 982 2985 0 64893 0
[pid=6943/tid=6994] ppid=6942 vsize=271836 CPUtime=8.68 cores=0,2,4,6
/proc/6943/task/6994/stat : 6994 (pb_cplex) R 6942 6942 6062 0 -1 4202560 7386 0 0 0 863 5 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4002406608 136008299 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6995] ppid=6942 vsize=271836 CPUtime=9 cores=0,2,4,6
/proc/6943/task/6995/stat : 6995 (pb_cplex) R 6942 6942 6062 0 -1 4202560 12517 0 0 0 893 7 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4012893060 135850301 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6996] ppid=6942 vsize=271836 CPUtime=10.17 cores=0,2,4,6
/proc/6943/task/6996/stat : 6996 (pb_cplex) R 6942 6942 6062 0 -1 4202560 881 0 0 0 1014 3 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4023378512 136403117 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6997] ppid=6942 vsize=271836 CPUtime=8.87 cores=0,2,4,6
/proc/6943/task/6997/stat : 6997 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9267 0 0 0 881 6 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4117251712 137412722 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6998] ppid=6942 vsize=271836 CPUtime=8.72 cores=0,2,4,6
/proc/6943/task/6998/stat : 6998 (pb_cplex) R 6942 6942 6062 0 -1 4202560 11152 0 0 0 868 4 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4067419112 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6999] ppid=6942 vsize=271836 CPUtime=8.67 cores=0,2,4,6
/proc/6943/task/6999/stat : 6999 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9115 0 0 0 859 8 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 3897550476 137381153 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=7000] ppid=6942 vsize=271836 CPUtime=8.97 cores=0,2,4,6
/proc/6943/task/7000/stat : 7000 (pb_cplex) R 6942 6942 6062 0 -1 4202560 5161 0 0 0 893 4 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 3887063132 135854527 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 644.21
Current children cumulated vsize (KiB) 280984

[startup+203.9 s]
/proc/loadavg: 7.01 6.84 6.66 10/186 7000
/proc/meminfo: memFree=23934312/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=271836 CPUtime=646.96 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) S 6942 6942 6062 0 -1 4202496 632703 0 0 0 64384 312 0 0 20 0 8 0 390996056 278360064 44499 33554432000 134512640 146736320 4290984672 4290981072 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6943/statm: 67959 44499 982 2985 0 64893 0
[pid=6943/tid=6994] ppid=6942 vsize=271836 CPUtime=9.05 cores=0,2,4,6
/proc/6943/task/6994/stat : 6994 (pb_cplex) R 6942 6942 6062 0 -1 4202560 7386 0 0 0 899 6 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4002407384 139023058 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6995] ppid=6942 vsize=271836 CPUtime=9.39 cores=0,2,4,6
/proc/6943/task/6995/stat : 6995 (pb_cplex) R 6942 6942 6062 0 -1 4202560 12517 0 0 0 931 8 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4012892368 136008441 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6996] ppid=6942 vsize=271836 CPUtime=10.48 cores=0,2,4,6
/proc/6943/task/6996/stat : 6996 (pb_cplex) R 6942 6942 6062 0 -1 4202560 881 0 0 0 1045 3 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4023379596 137381377 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6997] ppid=6942 vsize=271836 CPUtime=9.17 cores=0,2,4,6
/proc/6943/task/6997/stat : 6997 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9267 0 0 0 911 6 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4117250028 135454096 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6998] ppid=6942 vsize=271836 CPUtime=9.05 cores=0,2,4,6
/proc/6943/task/6998/stat : 6998 (pb_cplex) R 6942 6942 6062 0 -1 4202560 11152 0 0 0 901 4 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 4067419112 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6999] ppid=6942 vsize=271836 CPUtime=8.99 cores=0,2,4,6
/proc/6943/task/6999/stat : 6999 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9115 0 0 0 891 8 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 3897549700 135850751 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=7000] ppid=6942 vsize=271836 CPUtime=9.32 cores=0,2,4,6
/proc/6943/task/7000/stat : 7000 (pb_cplex) R 6942 6942 6062 0 -1 4202560 5161 0 0 0 928 4 0 0 20 0 8 0 391014292 278360064 44499 33554432000 134512640 146736320 4290984672 3887063632 136403116 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 646.96
Current children cumulated vsize (KiB) 280984

[startup+204.1 s]
/proc/loadavg: 7.01 6.84 6.66 10/186 7000
/proc/meminfo: memFree=23934312/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=269788 CPUtime=647.65 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) R 6942 6942 6062 0 -1 4202496 632703 0 0 0 64452 313 0 0 20 0 8 0 390996056 276262912 43981 33554432000 134512640 146736320 4290984672 4290978344 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6943/statm: 67447 43981 982 2985 0 64381 0
[pid=6943/tid=6994] ppid=6942 vsize=269788 CPUtime=9.14 cores=0,2,4,6
/proc/6943/task/6994/stat : 6994 (pb_cplex) R 6942 6942 6062 0 -1 4202560 7386 0 0 0 908 6 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 4002408076 137381090 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6995] ppid=6942 vsize=269788 CPUtime=9.47 cores=0,2,4,6
/proc/6943/task/6995/stat : 6995 (pb_cplex) R 6942 6942 6062 0 -1 4202560 12517 0 0 0 939 8 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 4012892368 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=6996] ppid=6942 vsize=269788 CPUtime=10.57 cores=0,2,4,6
/proc/6943/task/6996/stat : 6996 (pb_cplex) R 6942 6942 6062 0 -1 4202560 881 0 0 0 1054 3 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 4023379596 137381802 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6997] ppid=6942 vsize=269788 CPUtime=9.26 cores=0,2,4,6
/proc/6943/task/6997/stat : 6997 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9267 0 0 0 920 6 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 4117250088 135467753 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6998] ppid=6942 vsize=269788 CPUtime=9.12 cores=0,2,4,6
/proc/6943/task/6998/stat : 6998 (pb_cplex) R 6942 6942 6062 0 -1 4202560 11152 0 0 0 908 4 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 4067419112 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6999] ppid=6942 vsize=269788 CPUtime=9.08 cores=0,2,4,6
/proc/6943/task/6999/stat : 6999 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9115 0 0 0 900 8 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 3897550360 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6943/tid=7000] ppid=6942 vsize=269788 CPUtime=9.41 cores=0,2,4,6
/proc/6943/task/7000/stat : 7000 (pb_cplex) R 6942 6942 6062 0 -1 4202560 5161 0 0 0 937 4 0 0 20 0 8 0 391014292 276262912 43981 33554432000 134512640 146736320 4290984672 3887063020 135454096 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 647.65
Current children cumulated vsize (KiB) 278936

[startup+204.2 s]
/proc/loadavg: 7.01 6.84 6.66 10/186 7000
/proc/meminfo: memFree=23934312/32873844 swapFree=7628/7628
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (run) S 6940 6942 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390996056 9367552 270 33554432000 4194304 5064252 140733749893088 140733749892000 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 270 229 213 0 72 0
[pid=6943] ppid=6942 vsize=268764 CPUtime=648.01 cores=0,2,4,6
/proc/6943/stat : 6943 (pb_cplex) S 6942 6942 6062 0 -1 4202496 632703 0 0 0 64488 313 0 0 20 0 8 0 390996056 275214336 43919 33554432000 134512640 146736320 4290984672 4290981072 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6943/statm: 67191 43919 982 2985 0 64125 0
[pid=6943/tid=6994] ppid=6942 vsize=268764 CPUtime=9.2 cores=0,2,4,6
/proc/6943/task/6994/stat : 6994 (pb_cplex) S 6942 6942 6062 0 -1 4202560 7386 0 0 0 914 6 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 4002410128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6995] ppid=6942 vsize=268764 CPUtime=9.5 cores=0,2,4,6
/proc/6943/task/6995/stat : 6995 (pb_cplex) R 6942 6942 6062 0 -1 4202560 12517 0 0 0 942 8 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 4012892156 135453248 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=6996] ppid=6942 vsize=268764 CPUtime=10.61 cores=0,2,4,6
/proc/6943/task/6996/stat : 6996 (pb_cplex) S 6942 6942 6062 0 -1 4202560 881 0 0 0 1058 3 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 4023381648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6997] ppid=6942 vsize=268764 CPUtime=9.3 cores=0,2,4,6
/proc/6943/task/6997/stat : 6997 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9267 0 0 0 924 6 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 4117251724 137381871 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6943/tid=6998] ppid=6942 vsize=268764 CPUtime=9.16 cores=0,2,4,6
/proc/6943/task/6998/stat : 6998 (pb_cplex) R 6942 6942 6062 0 -1 4202560 11152 0 0 0 911 5 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 4067418036 135450994 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6943/tid=6999] ppid=6942 vsize=268764 CPUtime=9.12 cores=0,2,4,6
/proc/6943/task/6999/stat : 6999 (pb_cplex) R 6942 6942 6062 0 -1 4202560 9115 0 0 0 904 8 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 3897549800 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6943/tid=7000] ppid=6942 vsize=268764 CPUtime=9.45 cores=0,2,4,6
/proc/6943/task/7000/stat : 7000 (pb_cplex) R 6942 6942 6062 0 -1 4202560 5161 0 0 0 941 4 0 0 20 0 8 0 391014292 275214336 43919 33554432000 134512640 146736320 4290984672 3887062984 139028313 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 648.01
Current children cumulated vsize (KiB) 277912

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6942 and gives
#  childrusage.ru_utime.tv_sec=644
#  childrusage.ru_utime.tv_usec=792976
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=190514
# CPU time returned by wait4() is 647.984
# while last known CPU time is 648.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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.23999
#  lost CPU user time (s): 1.31
#  lost CPU system time (s): -0.0700002

Real time (s): 204.254
CPU time (s): 649.25
CPU user time (s): 646.19
CPU system time (s): 3.06
CPU usage (%): 317.864
Max. virtual memory (cumulated for all children) (KiB): 293644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 644.793
system time used= 3.19051
maximum resident set size= 187212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633090
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= 23415
involuntary context switches= 33582

runsolver used 0.490925 second user time and 1.34579 second system time

The end