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-3729114-1339246835/watcher-3729114-1339246835 -o /tmp/evaluation-result-3729114-1339246835/solver-3729114-1339246835 -C 1800 -W 1900 -M 15500 run HOME/instance-3729114-1339246835.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: 0.00 0.00 0.00 2/174 29066
/proc/meminfo: memFree=30198632/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (runsolver) D 29062 29066 29010 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 390812181 12095488 56 33554432000 4194304 5436572 140733237105344 140733237101224 5057063 0 0 4096 24578 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/29066/statm: 2953 56 36 304 0 2645 0
[startup+0.0797631 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 29066
/proc/meminfo: memFree=30198632/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100149 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 29066
/proc/meminfo: memFree=30198632/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30012 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 29066
/proc/meminfo: memFree=30198632/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 29066
/proc/meminfo: memFree=30198632/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 29120
/proc/meminfo: memFree=30203280/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=125044 CPUtime=2.87 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 20456 0 0 0 276 11 0 0 20 0 8 0 390812182 128045056 10331 33554432000 134512640 146736320 4289923952 4289916680 139042864 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/29071/statm: 31261 10331 894 2985 0 28195 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 134192
[startup+3.10038 s]
/proc/loadavg: 0.00 0.00 0.00 2/181 29127
/proc/meminfo: memFree=30171020/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=145520 CPUtime=8.32 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 28255 0 0 0 816 16 0 0 20 0 8 0 390812182 149012480 14623 33554432000 134512640 146736320 4289923952 4289917608 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/29071/statm: 36380 14623 894 2985 0 33314 0
[pid=29071/tid=29121] ppid=29066 vsize=145520 CPUtime=0.81 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 1851 0 0 0 81 0 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4130865484 136017846 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=145520 CPUtime=0.72 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 1932 0 0 0 72 0 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4141351912 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=145520 CPUtime=0.83 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2170 0 0 0 83 0 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4151836712 136382037 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=145520 CPUtime=0.91 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2474 0 0 0 91 0 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4119917000 136002053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=145520 CPUtime=0.88 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2118 0 0 0 86 2 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4096778572 136017485 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=145520 CPUtime=0.83 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 1847 0 0 0 83 0 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4068467280 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=145520 CPUtime=0.81 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2322 0 0 0 80 1 0 0 20 0 8 0 390812283 149012480 14623 33554432000 134512640 146736320 4289923952 4057981260 136017757 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 154668
[startup+6.30039 s]
/proc/loadavg: 0.64 0.13 0.04 8/181 29127
/proc/meminfo: memFree=30154156/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=153164 CPUtime=19.42 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 33690 0 0 0 1919 23 0 0 20 0 8 0 390812182 156839936 16236 33554432000 134512640 146736320 4289923952 4289916112 136403114 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/29071/statm: 38291 16236 894 2985 0 35225 0
[pid=29071/tid=29121] ppid=29066 vsize=153164 CPUtime=2.39 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 1918 0 0 0 237 2 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4130864104 139044509 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=153164 CPUtime=2.03 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2420 0 0 0 201 2 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4141350472 135982686 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=153164 CPUtime=2.26 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2672 0 0 0 225 1 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4151837116 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=153164 CPUtime=2.29 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3270 0 0 0 227 2 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4119915528 139043579 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=153164 CPUtime=2.19 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3193 0 0 0 216 3 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4096777356 136017757 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=153164 CPUtime=2.2 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2115 0 0 0 218 2 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4068467200 136444431 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=153164 CPUtime=2.21 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3966 0 0 0 218 3 0 0 20 0 8 0 390812283 156839936 16236 33554432000 134512640 146736320 4289923952 4057980044 136017485 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 19.42
Current children cumulated vsize (KiB) 162312
[startup+12.7004 s]
/proc/loadavg: 0.75 0.16 0.05 7/181 29176
/proc/meminfo: memFree=30151320/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=152440 CPUtime=42.04 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 39515 0 0 0 4167 37 0 0 20 0 8 0 390812182 156098560 16385 33554432000 134512640 146736320 4289923952 4289916648 139041207 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 1 0 0
/proc/29071/statm: 38110 16385 894 2985 0 35044 0
[pid=29071/tid=29121] ppid=29066 vsize=152440 CPUtime=5.17 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2060 0 0 0 513 4 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4130866152 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=152440 CPUtime=4.77 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3452 0 0 0 474 3 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4141351004 135854509 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=152440 CPUtime=5.14 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3618 0 0 0 510 4 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4151837672 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=152440 CPUtime=5.16 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 4381 0 0 0 513 3 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4119915788 136017763 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=152440 CPUtime=4.97 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5133 0 0 0 492 5 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4096778832 136403103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=152440 CPUtime=4.95 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2610 0 0 0 492 3 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4068466504 135525918 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=152440 CPUtime=5.11 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3982 0 0 0 507 4 0 0 20 0 8 0 390812283 156098560 16385 33554432000 134512640 146736320 4289923952 4057981928 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 42.04
Current children cumulated vsize (KiB) 161588
[startup+25.5004 s]
/proc/loadavg: 1.52 0.35 0.12 10/187 29199
/proc/meminfo: memFree=29979212/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=152612 CPUtime=74.58 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 47207 0 0 0 7403 55 0 0 20 0 8 0 390812182 156274688 16425 33554432000 134512640 146736320 4289923952 4289917608 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/29071/statm: 38153 16425 900 2985 0 35087 0
[pid=29071/tid=29121] ppid=29066 vsize=152612 CPUtime=8.57 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2063 0 0 0 851 6 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4130866152 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=152612 CPUtime=8.12 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3455 0 0 0 806 6 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4141351912 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=152612 CPUtime=8.55 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3621 0 0 0 849 6 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4151837004 136017845 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=152612 CPUtime=8.51 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5096 0 0 0 845 6 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4119916660 135450575 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=152612 CPUtime=8.32 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5138 0 0 0 825 7 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4096779240 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=152612 CPUtime=8.43 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 2615 0 0 0 838 5 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4068466504 139028288 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=152612 CPUtime=8.82 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3987 0 0 0 875 7 0 0 20 0 8 0 390812283 156274688 16425 33554432000 134512640 146736320 4289923952 4057981828 135850626 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 74.58
Current children cumulated vsize (KiB) 161760
[startup+51.1004 s]
/proc/loadavg: 2.36 0.64 0.22 10/187 29221
/proc/meminfo: memFree=29863160/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=153828 CPUtime=165.45 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) S 29066 29066 29010 0 -1 4202496 51446 0 0 0 16432 113 0 0 20 0 8 0 390812182 157519872 16931 33554432000 134512640 146736320 4289923952 4289920336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/29071/statm: 38457 16931 921 2985 0 35391 0
[pid=29071/tid=29121] ppid=29066 vsize=153828 CPUtime=19.88 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3546 0 0 0 1974 14 0 0 20 0 8 0 390812283 157519872 16931 33554432000 134512640 146736320 4289923952 4130866152 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=153828 CPUtime=19.62 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 4311 0 0 0 1948 14 0 0 20 0 8 0 390812283 157519872 16931 33554432000 134512640 146736320 4289923952 4141350892 135454073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=153828 CPUtime=19.73 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 3646 0 0 0 1960 13 0 0 20 0 8 0 390812283 157519872 16931 33554432000 134512640 146736320 4289923952 4151836488 135525929 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=153828 CPUtime=19.72 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5101 0 0 0 1960 12 0 0 20 0 8 0 390812283 157519872 16931 33554432000 134512640 146736320 4289923952 4119917544 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=153828 CPUtime=19.56 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6069 0 0 0 1942 14 0 0 20 0 8 0 390812283 157519872 16931 33554432000 134512640 146736320 4289923952 4096779240 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=153828 CPUtime=20.12 cores=0,2,4,6
################
# More data... #
################
/proc/29071/statm: 38259 16686 921 2985 0 35193 0
[pid=29071/tid=29121] ppid=29066 vsize=153036 CPUtime=122.28 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 4032 0 0 0 12150 78 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4130865344 135468528 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=153036 CPUtime=122.63 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8417 0 0 0 12185 78 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4141351912 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=153036 CPUtime=122.3 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 4366 0 0 0 12151 79 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4151837672 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=153036 CPUtime=123.18 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6447 0 0 0 12244 74 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4119916856 136400574 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=153036 CPUtime=122.68 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 7380 0 0 0 12188 80 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4096780736 137014883 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=153036 CPUtime=123.75 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 4142 0 0 0 12304 71 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4068466800 136384846 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=153036 CPUtime=124.05 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 10461 0 0 0 12325 80 0 0 20 0 8 0 390812283 156708864 16686 33554432000 134512640 146736320 4289923952 4057981136 136008234 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 990.29
Current children cumulated vsize (KiB) 162184
[startup+342.3 s]
/proc/loadavg: 6.99 4.60 2.01 3/186 29222
/proc/meminfo: memFree=29821444/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=155084 CPUtime=1205.05 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 75439 0 0 0 119762 743 0 0 20 0 8 0 390812182 158806016 17233 33554432000 134512640 146736320 4289923952 4289916700 135854478 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 1 0 0
/proc/29071/statm: 38771 17233 921 2985 0 35705 0
[pid=29071/tid=29121] ppid=29066 vsize=155084 CPUtime=148.68 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 4565 0 0 0 14775 93 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4130866152 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=155084 CPUtime=149.6 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8419 0 0 0 14865 95 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4141350912 135468614 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=155084 CPUtime=148.7 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5880 0 0 0 14773 97 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4151837128 136000412 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=155084 CPUtime=150.33 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6449 0 0 0 14943 90 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4119917544 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=155084 CPUtime=149.73 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8309 0 0 0 14877 96 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4096778840 136402275 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=155084 CPUtime=150.79 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5771 0 0 0 14991 88 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4068466668 135454070 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=155084 CPUtime=151.05 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 10464 0 0 0 15008 97 0 0 20 0 8 0 390812283 158806016 17233 33554432000 134512640 146736320 4289923952 4057981928 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1205.05
Current children cumulated vsize (KiB) 164232
[startup+402.3 s]
/proc/loadavg: 6.88 4.99 2.30 7/186 29222
/proc/meminfo: memFree=29807368/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=155084 CPUtime=1419.1 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) S 29066 29066 29010 0 -1 4202496 79018 0 0 0 141031 879 0 0 20 0 8 0 390812182 158806016 17334 33554432000 134512640 146736320 4289923952 4289920336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/29071/statm: 38771 17334 921 2985 0 35705 0
[pid=29071/tid=29121] ppid=29066 vsize=155084 CPUtime=175.39 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5280 0 0 0 17428 111 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4130865608 135999604 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=155084 CPUtime=176.01 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8419 0 0 0 17492 109 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4141351244 136017763 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=155084 CPUtime=175.36 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6629 0 0 0 17421 115 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4151836764 135854189 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=155084 CPUtime=177.06 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6449 0 0 0 17599 107 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4119917544 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=155084 CPUtime=176.4 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8579 0 0 0 17527 113 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4096779240 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=155084 CPUtime=177.57 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 7604 0 0 0 17650 107 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4068467248 136388315 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=155084 CPUtime=178.26 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 10464 0 0 0 17714 112 0 0 20 0 8 0 390812283 158806016 17334 33554432000 134512640 146736320 4289923952 4057981928 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1419.1
Current children cumulated vsize (KiB) 164232
[startup+462.3 s]
/proc/loadavg: 6.66 5.29 2.57 10/186 29222
/proc/meminfo: memFree=29798340/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=155084 CPUtime=1633.97 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) S 29066 29066 29010 0 -1 4202496 81668 0 0 0 162399 998 0 0 20 0 8 0 390812182 158806016 17351 33554432000 134512640 146736320 4289923952 4289920336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/29071/statm: 38771 17351 921 2985 0 35705 0
[pid=29071/tid=29121] ppid=29066 vsize=155084 CPUtime=202.24 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 5596 0 0 0 20097 127 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4130865436 136389777 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=155084 CPUtime=202.36 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8432 0 0 0 20112 124 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4141351812 135850315 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=155084 CPUtime=202.31 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6842 0 0 0 20099 132 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4151836872 135468165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=155084 CPUtime=203.78 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6702 0 0 0 20254 124 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4119916876 136017495 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=155084 CPUtime=203.59 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 9121 0 0 0 20233 126 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4096778132 136017748 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=155084 CPUtime=204.43 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8780 0 0 0 20319 124 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4068467688 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=155084 CPUtime=205.16 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 10465 0 0 0 20388 128 0 0 20 0 8 0 390812283 158806016 17351 33554432000 134512640 146736320 4289923952 4057981928 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1633.97
Current children cumulated vsize (KiB) 164232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+508.7 s]
/proc/loadavg: 6.39 5.41 2.74 10/186 29222
/proc/meminfo: memFree=29781944/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=155084 CPUtime=1800.23 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 84491 0 0 0 178923 1100 0 0 20 0 8 0 390812182 158806016 17555 33554432000 134512640 146736320 4289923952 4289917044 136400586 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 1 0 0
/proc/29071/statm: 38771 17555 921 2985 0 35705 0
[pid=29071/tid=29121] ppid=29066 vsize=155084 CPUtime=222.85 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6134 0 0 0 22145 140 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4130865276 135526859 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=155084 CPUtime=222.78 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8435 0 0 0 22139 139 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4141351028 135450820 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=155084 CPUtime=223.16 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 7155 0 0 0 22172 144 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4151837004 136017784 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=155084 CPUtime=225.04 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 7445 0 0 0 22368 136 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4119916876 136017645 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=155084 CPUtime=224.15 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 9292 0 0 0 22275 140 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4096779240 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=155084 CPUtime=225.38 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 9735 0 0 0 22402 136 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4068465104 135459160 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=155084 CPUtime=226.01 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 10470 0 0 0 22460 141 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4057980968 136382061 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 164232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+508.7 s]
/proc/loadavg: 6.39 5.41 2.74 10/186 29222
/proc/meminfo: memFree=29781944/32873844 swapFree=7636/7636
[pid=29066] ppid=29062 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (run) S 29062 29066 29010 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812181 9367552 270 33554432000 4194304 5064252 140733743210784 140733743209696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 2287 270 229 213 0 72 0
[pid=29071] ppid=29066 vsize=155084 CPUtime=1800.23 cores=0,2,4,6
/proc/29071/stat : 29071 (pb_cplex) R 29066 29066 29010 0 -1 4202496 84491 0 0 0 178923 1100 0 0 20 0 8 0 390812182 158806016 17555 33554432000 134512640 146736320 4289923952 4289917044 136400586 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 1 0 0
/proc/29071/statm: 38771 17555 921 2985 0 35705 0
[pid=29071/tid=29121] ppid=29066 vsize=155084 CPUtime=222.85 cores=0,2,4,6
/proc/29071/task/29121/stat : 29121 (pb_cplex) R 29066 29066 29010 0 -1 4202560 6134 0 0 0 22145 140 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4130865276 135526859 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29122] ppid=29066 vsize=155084 CPUtime=222.78 cores=0,2,4,6
/proc/29071/task/29122/stat : 29122 (pb_cplex) R 29066 29066 29010 0 -1 4202560 8435 0 0 0 22139 139 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4141351028 135450820 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29123] ppid=29066 vsize=155084 CPUtime=223.16 cores=0,2,4,6
/proc/29071/task/29123/stat : 29123 (pb_cplex) R 29066 29066 29010 0 -1 4202560 7155 0 0 0 22172 144 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4151837004 136017784 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=29071/tid=29124] ppid=29066 vsize=155084 CPUtime=225.04 cores=0,2,4,6
/proc/29071/task/29124/stat : 29124 (pb_cplex) R 29066 29066 29010 0 -1 4202560 7445 0 0 0 22368 136 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4119916876 136017645 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29125] ppid=29066 vsize=155084 CPUtime=224.15 cores=0,2,4,6
/proc/29071/task/29125/stat : 29125 (pb_cplex) R 29066 29066 29010 0 -1 4202560 9292 0 0 0 22275 140 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4096779240 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29071/tid=29126] ppid=29066 vsize=155084 CPUtime=225.38 cores=0,2,4,6
/proc/29071/task/29126/stat : 29126 (pb_cplex) R 29066 29066 29010 0 -1 4202560 9735 0 0 0 22402 136 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4068465104 135459160 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29071/tid=29127] ppid=29066 vsize=155084 CPUtime=226.01 cores=0,2,4,6
/proc/29071/task/29127/stat : 29127 (pb_cplex) R 29066 29066 29010 0 -1 4202560 10470 0 0 0 22460 141 0 0 20 0 8 0 390812283 158806016 17555 33554432000 134512640 146736320 4289923952 4057980968 136382061 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 164232
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29066 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 508.716
CPU time (s): 1800.23
CPU user time (s): 1789.23
CPU system time (s): 11
CPU usage (%): 353.877
Max. virtual memory (cumulated for all children) (KiB): 167304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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= 3
involuntary context switches= 1
runsolver used 1.90071 second user time and 2.83657 second system time
The end