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-3737502-1339248670/watcher-3737502-1339248670 -o /tmp/evaluation-result-3737502-1339248670/solver-3737502-1339248670 -C 1800 -W 1900 -M 15500 run HOME/instance-3737502-1339248670.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: 6.63 5.00 5.10 3/182 760
/proc/meminfo: memFree=29437340/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0

[startup+0.0485541 s]
/proc/loadavg: 6.63 5.00 5.10 3/182 760
/proc/meminfo: memFree=29437340/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100282 s]
/proc/loadavg: 6.63 5.00 5.10 3/182 760
/proc/meminfo: memFree=29437340/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300235 s]
/proc/loadavg: 6.63 5.00 5.10 3/182 760
/proc/meminfo: memFree=29437340/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700236 s]
/proc/loadavg: 6.63 5.00 5.10 3/182 760
/proc/meminfo: memFree=29437340/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/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: 6.63 5.00 5.10 3/184 762
/proc/meminfo: memFree=29428652/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=25272 CPUtime=1.49 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 5469 0 0 0 147 2 0 0 20 0 1 0 390995423 25878528 3457 33554432000 134512640 146736320 4288923072 4288915828 138462928 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/761/statm: 6318 3457 902 2985 0 3252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34420

[startup+3.10031 s]
/proc/loadavg: 6.63 5.00 5.10 3/184 762
/proc/meminfo: memFree=29427048/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=123748 CPUtime=4.08 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 18695 0 0 0 382 26 0 0 20 0 8 0 390995423 126717952 7814 33554432000 134512640 146736320 4288923072 4288915752 139044581 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/761/statm: 30937 7814 960 2985 0 27871 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 132896

[startup+6.30043 s]
/proc/loadavg: 6.58 5.02 5.10 3/191 790
/proc/meminfo: memFree=29408996/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=123748 CPUtime=7.28 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 19524 0 0 0 701 27 0 0 20 0 8 0 390995423 126717952 7901 33554432000 134512640 146736320 4288923072 4288914712 144798020 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/761/statm: 30937 7901 962 2985 0 27871 0
[pid=761/tid=784] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/784/stat : 784 (pb_cplex) S 760 760 32287 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4085415568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=761/tid=785] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/785/stat : 785 (pb_cplex) S 760 760 32287 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4095901328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=761/tid=786] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/786/stat : 786 (pb_cplex) S 760 760 32287 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4106387088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=761/tid=787] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/787/stat : 787 (pb_cplex) S 760 760 32287 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4116872848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=761/tid=788] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/788/stat : 788 (pb_cplex) S 760 760 32287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4128239248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=761/tid=789] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/789/stat : 789 (pb_cplex) S 760 760 32287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=761/tid=790] ppid=760 vsize=123748 CPUtime=0 cores=0,2,4,6
/proc/761/task/790/stat : 790 (pb_cplex) S 760 760 32287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995718 126717952 7901 33554432000 134512640 146736320 4288923072 4056936080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 132896

[startup+12.7004 s]
/proc/loadavg: 6.21 4.97 5.09 3/191 790
/proc/meminfo: memFree=29381472/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=150680 CPUtime=22.85 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 34036 0 0 0 2254 31 0 0 20 0 8 0 390995423 154296320 14308 33554432000 134512640 146736320 4288923072 4288916168 136001978 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/761/statm: 37670 14308 969 2985 0 34604 0
[pid=761/tid=784] ppid=760 vsize=150680 CPUtime=0.85 cores=0,2,4,6
/proc/761/task/784/stat : 784 (pb_cplex) R 760 760 32287 0 -1 4202560 902 0 0 0 85 0 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4085412840 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=785] ppid=760 vsize=150680 CPUtime=0.75 cores=0,2,4,6
/proc/761/task/785/stat : 785 (pb_cplex) R 760 760 32287 0 -1 4202560 570 0 0 0 75 0 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4095897672 136475059 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=786] ppid=760 vsize=150680 CPUtime=0.61 cores=0,2,4,6
/proc/761/task/786/stat : 786 (pb_cplex) R 760 760 32287 0 -1 4202560 905 0 0 0 61 0 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4106383952 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=787] ppid=760 vsize=150680 CPUtime=2.61 cores=0,2,4,6
/proc/761/task/787/stat : 787 (pb_cplex) R 760 760 32287 0 -1 4202560 2907 0 0 0 261 0 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4116870120 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=788] ppid=760 vsize=150680 CPUtime=0.16 cores=0,2,4,6
/proc/761/task/788/stat : 788 (pb_cplex) R 760 760 32287 0 -1 4202560 914 0 0 0 16 0 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4128234888 136002053 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=789] ppid=760 vsize=150680 CPUtime=1.82 cores=0,2,4,6
/proc/761/task/789/stat : 789 (pb_cplex) R 760 760 32287 0 -1 4202560 1712 0 0 0 182 0 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4067417240 136008665 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=790] ppid=760 vsize=150680 CPUtime=2.83 cores=0,2,4,6
/proc/761/task/790/stat : 790 (pb_cplex) R 760 760 32287 0 -1 4202560 5381 0 0 0 282 1 0 0 20 0 8 0 390995718 154296320 14308 33554432000 134512640 146736320 4288923072 4056934976 136855137 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.85
Current children cumulated vsize (KiB) 159828

[startup+25.5003 s]
/proc/loadavg: 5.75 4.93 5.07 3/184 790
/proc/meminfo: memFree=29384328/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=105140 CPUtime=42.91 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 163951 0 0 0 4219 72 0 0 20 0 1 0 390995423 107663360 12157 33554432000 134512640 146736320 4288923072 4288916928 136400570 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/761/statm: 26285 12157 972 2985 0 23219 0
Current children cumulated CPU time (s) 42.91
Current children cumulated vsize (KiB) 114288

[startup+51.1004 s]
/proc/loadavg: 5.44 4.91 5.06 8/191 818
/proc/meminfo: memFree=29263768/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=263708 CPUtime=103.99 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) S 760 760 32287 0 -1 4202496 270153 0 0 0 10281 118 0 0 20 0 8 0 390995423 270036992 40734 33554432000 134512640 146736320 4288923072 4288919440 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/761/statm: 65927 40734 972 2985 0 62861 0
[pid=761/tid=812] ppid=760 vsize=263708 CPUtime=5.99 cores=0,2,4,6
/proc/761/task/812/stat : 812 (pb_cplex) R 760 760 32287 0 -1 4202560 4037 0 0 0 598 1 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4056931320 136475780 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=813] ppid=760 vsize=263708 CPUtime=5.42 cores=0,2,4,6
/proc/761/task/813/stat : 813 (pb_cplex) R 760 760 32287 0 -1 4202560 3902 0 0 0 541 1 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4091153236 136387690 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=814] ppid=760 vsize=263708 CPUtime=5.35 cores=0,2,4,6
/proc/761/task/814/stat : 814 (pb_cplex) S 760 760 32287 0 -1 4202560 2592 0 0 0 534 1 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4101643920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=761/tid=815] ppid=760 vsize=263708 CPUtime=5.54 cores=0,2,4,6
/proc/761/task/815/stat : 815 (pb_cplex) R 760 760 32287 0 -1 4202560 10575 0 0 0 552 2 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4116868240 136008065 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=816] ppid=760 vsize=263708 CPUtime=5.46 cores=0,2,4,6
/proc/761/task/816/stat : 816 (pb_cplex) R 760 760 32287 0 -1 4202560 3985 0 0 0 545 1 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4021276820 136004854 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=817] ppid=760 vsize=263708 CPUtime=3.01 cores=0,2,4,6
/proc/761/task/817/stat : 817 (pb_cplex) S 760 760 32287 0 -1 4202560 5254 0 0 0 300 1 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4010798736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=761/tid=818] ppid=760 vsize=263708 CPUtime=5.37 cores=0,2,4,6
/proc/761/task/818/stat : 818 (pb_cplex) R 760 760 32287 0 -1 4202560 5895 0 0 0 536 1 0 0 20 0 8 0 390998423 270036992 40734 33554432000 134512640 146736320 4288923072 4000308368 136008416 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 103.99
Current children cumulated vsize (KiB) 272856

[startup+102.306 s]
/proc/loadavg: 6.23 5.22 5.16 3/191 818
/proc/meminfo: memFree=29263504/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=247920 CPUtime=288.69 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 441251 0 0 0 28693 176 0 0 20 0 8 0 390995423 253870080 38255 33554432000 134512640 146736320 4288923072 4288916436 138443681 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/761/statm: 61980 38255 972 2985 0 58914 0
[pid=761/tid=812] ppid=760 vsize=247920 CPUtime=30.63 cores=0,2,4,6
/proc/761/task/812/stat : 812 (pb_cplex) R 760 760 32287 0 -1 4202560 14389 0 0 0 3057 6 0 0 20 0 8 0 390998423 253870080 38255 33554432000 134512640 146736320 4288923072 4056932392 139044555 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=813] ppid=760 vsize=247920 CPUtime=29.01 cores=0,2,4,6
/proc/761/task/813/stat : 813 (pb_cplex) R 760 760 32287 0 -1 4202560 23817 0 0 0 2892 9 0 0 20 0 8 0 390998423 253870080 38255 33554432000 134512640 146736320 4288923072 4091154472 135467777 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=814] ppid=760 vsize=247920 CPUtime=28.94 cores=0,2,4,6
/proc/761/task/814/stat : 814 (pb_cplex) R 760 760 32287 0 -1 4202560 25425 0 0 0 2886 8 0 0 20 0 8 0 390998423 253870080 38255 33554432000 134512640 146736320 4288923072 4101641924 135850322 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=815] ppid=760 vsize=247920 CPUtime=29.34 cores=0,2,4,6
/proc/761/task/815/stat : 815 (pb_cplex) R 760 760 32287 0 -1 4202560 33626 0 0 0 2925 9 0 0 20 0 8 0 390998423 253870080 38255 33554432000 134512640 146736320 4288923072 4116872876 144580332 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=816] ppid=760 vsize=247920 CPUtime=29.17 cores=0,2,4,6
/proc/761/task/816/stat : 816 (pb_cplex) R 760 760 32287 0 -1 4202560 29118 0 0 0 2907 10 0 0 20 0 8 0 390998423 253870080 38255 33554432000 134512640 146736320 4288923072 4021281768 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=817] ppid=760 vsize=247920 CPUtime=22.44 cores=0,2,4,6
/proc/761/task/817/stat : 817 (pb_cplex) R 760 760 32287 0 -1 4202560 31775 0 0 0 2235 9 0 0 20 0 8 0 390998423 253870080 38255 33554432000 134512640 146736320 4288923072 4010795216 136008450 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=818] ppid=760 vsize=247920 CPUtime=27.85 cores=0,2,4,6

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

/proc/761/task/819/stat : 819 (pb_cplex) R 760 760 32287 0 -1 4202560 1375 0 0 0 240 1 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 4000309316 136385172 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=820] ppid=760 vsize=274944 CPUtime=2.89 cores=0,2,4,6
/proc/761/task/820/stat : 820 (pb_cplex) R 760 760 32287 0 -1 4202560 4317 0 0 0 288 1 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 4010796008 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=821] ppid=760 vsize=274944 CPUtime=3.64 cores=0,2,4,6
/proc/761/task/821/stat : 821 (pb_cplex) R 760 760 32287 0 -1 4202560 2438 0 0 0 361 3 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 4021283416 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=822] ppid=760 vsize=274944 CPUtime=3.24 cores=0,2,4,6
/proc/761/task/822/stat : 822 (pb_cplex) R 760 760 32287 0 -1 4202560 5124 0 0 0 322 2 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 4116869212 135854543 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=823] ppid=760 vsize=274944 CPUtime=2.65 cores=0,2,4,6
/proc/761/task/823/stat : 823 (pb_cplex) R 760 760 32287 0 -1 4202560 637 0 0 0 265 0 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 4067419112 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=824] ppid=760 vsize=274944 CPUtime=3.08 cores=0,2,4,6
/proc/761/task/824/stat : 824 (pb_cplex) R 760 760 32287 0 -1 4202560 5186 0 0 0 306 2 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 4056932800 135999753 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=825] ppid=760 vsize=274944 CPUtime=2.84 cores=0,2,4,6
/proc/761/task/825/stat : 825 (pb_cplex) R 760 760 32287 0 -1 4202560 1303 0 0 0 284 0 0 0 20 0 8 0 391010964 281542656 44557 33554432000 134512640 146736320 4288923072 3894402964 136017748 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 503.09
Current children cumulated vsize (KiB) 284092

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

[startup+166.3 s]
/proc/loadavg: 6.79 5.58 5.29 3/191 825
/proc/meminfo: memFree=29237276/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=273660 CPUtime=516.63 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 672894 0 0 0 51374 289 0 0 20 0 8 0 390995423 280227840 44550 33554432000 134512640 146736320 4288923072 4288916712 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/761/statm: 68415 44550 978 2985 0 65349 0
[pid=761/tid=819] ppid=760 vsize=273660 CPUtime=4.12 cores=0,2,4,6
/proc/761/task/819/stat : 819 (pb_cplex) R 760 760 32287 0 -1 4202560 1774 0 0 0 410 2 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 4000309400 136007083 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=820] ppid=760 vsize=273660 CPUtime=4.4 cores=0,2,4,6
/proc/761/task/820/stat : 820 (pb_cplex) R 760 760 32287 0 -1 4202560 7570 0 0 0 438 2 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 4010795160 136007284 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=821] ppid=760 vsize=273660 CPUtime=5.16 cores=0,2,4,6
/proc/761/task/821/stat : 821 (pb_cplex) R 760 760 32287 0 -1 4202560 3068 0 0 0 511 5 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 4021280788 135455285 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=822] ppid=760 vsize=273660 CPUtime=4.76 cores=0,2,4,6
/proc/761/task/822/stat : 822 (pb_cplex) R 760 760 32287 0 -1 4202560 5744 0 0 0 474 2 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 4116870120 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=823] ppid=760 vsize=273660 CPUtime=4.15 cores=0,2,4,6
/proc/761/task/823/stat : 823 (pb_cplex) R 760 760 32287 0 -1 4202560 1457 0 0 0 414 1 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 4067418320 136008256 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=824] ppid=760 vsize=273660 CPUtime=4.45 cores=0,2,4,6
/proc/761/task/824/stat : 824 (pb_cplex) R 760 760 32287 0 -1 4202560 5771 0 0 0 443 2 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 4056932944 136403116 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=825] ppid=760 vsize=273660 CPUtime=5.23 cores=0,2,4,6
/proc/761/task/825/stat : 825 (pb_cplex) R 760 760 32287 0 -1 4202560 1766 0 0 0 522 1 0 0 20 0 8 0 391010964 280227840 44550 33554432000 134512640 146736320 4288923072 3894403280 136008234 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 516.63
Current children cumulated vsize (KiB) 282808

[startup+167.9 s]
/proc/loadavg: 6.79 5.58 5.29 3/191 825
/proc/meminfo: memFree=29236904/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=274136 CPUtime=521.52 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 676672 0 0 0 51858 294 0 0 20 0 8 0 390995423 280715264 44551 33554432000 134512640 146736320 4288923072 4288916712 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/761/statm: 68534 44551 978 2985 0 65468 0
[pid=761/tid=819] ppid=760 vsize=274136 CPUtime=5.15 cores=0,2,4,6
/proc/761/task/819/stat : 819 (pb_cplex) R 760 760 32287 0 -1 4202560 2416 0 0 0 512 3 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 4000311172 137412857 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=820] ppid=760 vsize=274136 CPUtime=4.99 cores=0,2,4,6
/proc/761/task/820/stat : 820 (pb_cplex) R 760 760 32287 0 -1 4202560 9487 0 0 0 496 3 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 4010795076 136385184 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=821] ppid=760 vsize=274136 CPUtime=5.65 cores=0,2,4,6
/proc/761/task/821/stat : 821 (pb_cplex) R 760 760 32287 0 -1 4202560 3068 0 0 0 560 5 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 4021281768 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=822] ppid=760 vsize=274136 CPUtime=5.27 cores=0,2,4,6
/proc/761/task/822/stat : 822 (pb_cplex) R 760 760 32287 0 -1 4202560 5744 0 0 0 524 3 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 4116871048 137374821 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=823] ppid=760 vsize=274136 CPUtime=4.6 cores=0,2,4,6
/proc/761/task/823/stat : 823 (pb_cplex) R 760 760 32287 0 -1 4202560 1662 0 0 0 459 1 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 4067419112 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=824] ppid=760 vsize=274136 CPUtime=4.97 cores=0,2,4,6
/proc/761/task/824/stat : 824 (pb_cplex) R 760 760 32287 0 -1 4202560 6126 0 0 0 495 2 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 4056932560 136008234 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=825] ppid=760 vsize=274136 CPUtime=5.79 cores=0,2,4,6
/proc/761/task/825/stat : 825 (pb_cplex) R 760 760 32287 0 -1 4202560 1766 0 0 0 577 2 0 0 20 0 8 0 391010964 280715264 44551 33554432000 134512640 146736320 4288923072 3894403972 135851010 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 521.52
Current children cumulated vsize (KiB) 283284

[startup+168.7 s]
/proc/loadavg: 6.97 5.64 5.31 10/191 825
/proc/meminfo: memFree=29236284/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=273660 CPUtime=524.27 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) S 760 760 32287 0 -1 4202496 678099 0 0 0 52131 296 0 0 20 0 8 0 390995423 280227840 44563 33554432000 134512640 146736320 4288923072 4288919440 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/761/statm: 68415 44563 978 2985 0 65349 0
[pid=761/tid=819] ppid=760 vsize=273660 CPUtime=5.52 cores=0,2,4,6
/proc/761/task/819/stat : 819 (pb_cplex) R 760 760 32287 0 -1 4202560 2419 0 0 0 548 4 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 4000309288 135467739 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=820] ppid=760 vsize=273660 CPUtime=5.47 cores=0,2,4,6
/proc/761/task/820/stat : 820 (pb_cplex) S 760 760 32287 0 -1 4202560 10254 0 0 0 543 4 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 4010798736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=761/tid=821] ppid=760 vsize=273660 CPUtime=5.94 cores=0,2,4,6
/proc/761/task/821/stat : 821 (pb_cplex) S 760 760 32287 0 -1 4202560 3068 0 0 0 588 6 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 4021284496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=761/tid=822] ppid=760 vsize=273660 CPUtime=5.54 cores=0,2,4,6
/proc/761/task/822/stat : 822 (pb_cplex) S 760 760 32287 0 -1 4202560 5745 0 0 0 551 3 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 4116872848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=761/tid=823] ppid=760 vsize=273660 CPUtime=4.95 cores=0,2,4,6
/proc/761/task/823/stat : 823 (pb_cplex) S 760 760 32287 0 -1 4202560 1976 0 0 0 493 2 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=761/tid=824] ppid=760 vsize=273660 CPUtime=5.28 cores=0,2,4,6
/proc/761/task/824/stat : 824 (pb_cplex) R 760 760 32287 0 -1 4202560 6133 0 0 0 526 2 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 4056933352 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=825] ppid=760 vsize=273660 CPUtime=6.13 cores=0,2,4,6
/proc/761/task/825/stat : 825 (pb_cplex) S 760 760 32287 0 -1 4202560 1766 0 0 0 611 2 0 0 20 0 8 0 391010964 280227840 44563 33554432000 134512640 146736320 4288923072 3894406800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 524.27
Current children cumulated vsize (KiB) 282808

[startup+169.504 s]
/proc/loadavg: 6.97 5.64 5.31 10/191 825
/proc/meminfo: memFree=29239248/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=268540 CPUtime=527.01 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) R 760 760 32287 0 -1 4202496 678711 0 0 0 52404 297 0 0 20 0 8 0 390995423 274984960 43420 33554432000 134512640 146736320 4288923072 4288915920 136008441 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/761/statm: 67135 43420 978 2985 0 64069 0
[pid=761/tid=819] ppid=760 vsize=268540 CPUtime=5.88 cores=0,2,4,6
/proc/761/task/819/stat : 819 (pb_cplex) R 760 760 32287 0 -1 4202560 2419 0 0 0 584 4 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 4000310148 135850295 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=820] ppid=760 vsize=268540 CPUtime=5.79 cores=0,2,4,6
/proc/761/task/820/stat : 820 (pb_cplex) R 760 760 32287 0 -1 4202560 10254 0 0 0 575 4 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 4010794988 135454096 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=761/tid=821] ppid=760 vsize=268540 CPUtime=6.34 cores=0,2,4,6
/proc/761/task/821/stat : 821 (pb_cplex) R 760 760 32287 0 -1 4202560 3068 0 0 0 628 6 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 4021280824 136475859 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=822] ppid=760 vsize=268540 CPUtime=5.95 cores=0,2,4,6
/proc/761/task/822/stat : 822 (pb_cplex) R 760 760 32287 0 -1 4202560 6357 0 0 0 591 4 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 4116871028 137412871 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=823] ppid=760 vsize=268540 CPUtime=5.24 cores=0,2,4,6
/proc/761/task/823/stat : 823 (pb_cplex) R 760 760 32287 0 -1 4202560 1976 0 0 0 522 2 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 4067419112 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=824] ppid=760 vsize=268540 CPUtime=5.59 cores=0,2,4,6
/proc/761/task/824/stat : 824 (pb_cplex) R 760 760 32287 0 -1 4202560 6133 0 0 0 556 3 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 4056934820 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=825] ppid=760 vsize=268540 CPUtime=6.42 cores=0,2,4,6
/proc/761/task/825/stat : 825 (pb_cplex) R 760 760 32287 0 -1 4202560 1766 0 0 0 640 2 0 0 20 0 8 0 391010964 274984960 43420 33554432000 134512640 146736320 4288923072 3894403664 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 527.01
Current children cumulated vsize (KiB) 277688

[startup+169.7 s]
/proc/loadavg: 6.97 5.64 5.31 10/191 825
/proc/meminfo: memFree=29239248/32873844 swapFree=7124/7124
[pid=760] ppid=758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/760/stat : 760 (run) S 758 760 32287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390995423 9367552 270 33554432000 4194304 5064252 140733786470224 140733786469136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/760/statm: 2287 270 229 213 0 72 0
[pid=761] ppid=760 vsize=251876 CPUtime=527.7 cores=0,2,4,6
/proc/761/stat : 761 (pb_cplex) S 760 760 32287 0 -1 4202496 678981 0 0 0 52472 298 0 0 20 0 8 0 390995423 257921024 39386 33554432000 134512640 146736320 4288923072 4288919440 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/761/statm: 62969 39386 978 2985 0 59903 0
[pid=761/tid=819] ppid=760 vsize=251876 CPUtime=5.96 cores=0,2,4,6
/proc/761/task/819/stat : 819 (pb_cplex) R 760 760 32287 0 -1 4202560 2419 0 0 0 592 4 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 4000311844 144797937 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=820] ppid=760 vsize=251876 CPUtime=5.9 cores=0,2,4,6
/proc/761/task/820/stat : 820 (pb_cplex) S 760 760 32287 0 -1 4202560 10524 0 0 0 586 4 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 4010798736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=761/tid=821] ppid=760 vsize=251876 CPUtime=6.41 cores=0,2,4,6
/proc/761/task/821/stat : 821 (pb_cplex) S 760 760 32287 0 -1 4202560 3068 0 0 0 635 6 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 4021284496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=761/tid=822] ppid=760 vsize=251876 CPUtime=6.03 cores=0,2,4,6
/proc/761/task/822/stat : 822 (pb_cplex) S 760 760 32287 0 -1 4202560 6357 0 0 0 599 4 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 4116872848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=761/tid=823] ppid=760 vsize=251876 CPUtime=5.33 cores=0,2,4,6
/proc/761/task/823/stat : 823 (pb_cplex) R 760 760 32287 0 -1 4202560 1976 0 0 0 531 2 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 4067418320 136008455 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=761/tid=824] ppid=760 vsize=251876 CPUtime=5.68 cores=0,2,4,6
/proc/761/task/824/stat : 824 (pb_cplex) R 760 760 32287 0 -1 4202560 6133 0 0 0 565 3 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 4056932276 135450734 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=825] ppid=760 vsize=251876 CPUtime=6.52 cores=0,2,4,6
/proc/761/task/825/stat : 825 (pb_cplex) R 760 760 32287 0 -1 4202560 1766 0 0 0 650 2 0 0 20 0 8 0 391010964 257921024 39386 33554432000 134512640 146736320 4288923072 3894402996 135450687 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 527.7
Current children cumulated vsize (KiB) 261024

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 760 and gives
#  childrusage.ru_utime.tv_sec=524
#  childrusage.ru_utime.tv_usec=637243
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=38538
# CPU time returned by wait4() is 527.676
# while last known CPU time is 527.7
#
# 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.00998
#  lost CPU user time (s): 1.06
#  lost CPU system time (s): -0.0500002

Real time (s): 169.725
CPU time (s): 528.71
CPU user time (s): 525.78
CPU system time (s): 2.93
CPU usage (%): 311.51
Max. virtual memory (cumulated for all children) (KiB): 289748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 524.637
system time used= 3.03854
maximum resident set size= 183288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679368
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= 22061
involuntary context switches= 26938

runsolver used 0.410937 second user time and 1.03584 second system time

The end