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-3731444-1339246865/watcher-3731444-1339246865 -o /tmp/evaluation-result-3731444-1339246865/solver-3731444-1339246865 -C 1800 -W 1900 -M 15500 run HOME/instance-3731444-1339246865.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.15 0.03 0.01 3/180 11287
/proc/meminfo: memFree=30525272/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[startup+0.103555 s]
/proc/loadavg: 0.15 0.03 0.01 3/180 11287
/proc/meminfo: memFree=30525272/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200251 s]
/proc/loadavg: 0.15 0.03 0.01 3/180 11287
/proc/meminfo: memFree=30525272/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 0.15 0.03 0.01 3/180 11287
/proc/meminfo: memFree=30525272/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700206 s]
/proc/loadavg: 0.15 0.03 0.01 3/180 11287
/proc/meminfo: memFree=30525272/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 0.15 0.03 0.01 3/182 11289
/proc/meminfo: memFree=30521320/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=16928 CPUtime=1.49 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 5349 0 0 0 149 0 0 0 20 0 1 0 34653631 17334272 1905 33554432000 134512640 146736320 4287975168 4287969080 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/11288/statm: 4232 1905 889 2985 0 1166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26076
[startup+3.10042 s]
/proc/loadavg: 0.15 0.03 0.01 10/189 11304
/proc/meminfo: memFree=30506648/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=114724 CPUtime=5.5 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 11359 0 0 0 546 4 0 0 20 0 8 0 34653631 117477376 7141 33554432000 134512640 146736320 4287975168 4287968028 136389135 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11288/statm: 28681 7141 934 2985 0 25615 0
[pid=11288/tid=11298] ppid=11287 vsize=114724 CPUtime=0.36 cores=1,3,5,7
/proc/11288/task/11298/stat : 11298 (pb_cplex) R 11287 11287 10925 0 -1 4202560 171 0 0 0 36 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4088187952 136384892 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11299] ppid=11287 vsize=114724 CPUtime=0.52 cores=1,3,5,7
/proc/11288/task/11299/stat : 11299 (pb_cplex) R 11287 11287 10925 0 -1 4202560 464 0 0 0 52 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4098674896 136008042 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11300] ppid=11287 vsize=114724 CPUtime=0.42 cores=1,3,5,7
/proc/11288/task/11300/stat : 11300 (pb_cplex) R 11287 11287 10925 0 -1 4202560 337 0 0 0 42 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4109158864 135460337 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11301] ppid=11287 vsize=114724 CPUtime=0.41 cores=1,3,5,7
/proc/11288/task/11301/stat : 11301 (pb_cplex) R 11287 11287 10925 0 -1 4202560 222 0 0 0 41 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4119646276 136385177 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11302] ppid=11287 vsize=114724 CPUtime=0.42 cores=1,3,5,7
/proc/11288/task/11302/stat : 11302 (pb_cplex) R 11287 11287 10925 0 -1 4202560 372 0 0 0 42 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4140817320 138412937 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11303] ppid=11287 vsize=114724 CPUtime=0.41 cores=1,3,5,7
/proc/11288/task/11303/stat : 11303 (pb_cplex) R 11287 11287 10925 0 -1 4202560 214 0 0 0 41 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4130333128 136000767 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11304] ppid=11287 vsize=114724 CPUtime=0.3 cores=1,3,5,7
/proc/11288/task/11304/stat : 11304 (pb_cplex) R 11287 11287 10925 0 -1 4202560 487 0 0 0 30 0 0 0 20 0 8 0 34653833 117477376 7141 33554432000 134512640 146736320 4287975168 4075804820 135455298 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 123872
[startup+6.30035 s]
/proc/loadavg: 0.86 0.18 0.06 10/189 11304
/proc/meminfo: memFree=30500216/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=115748 CPUtime=16.02 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 11454 0 0 0 1594 8 0 0 20 0 8 0 34653631 118525952 7234 33554432000 134512640 146736320 4287975168 4287968224 136388288 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11288/statm: 28937 7234 934 2985 0 25871 0
[pid=11288/tid=11298] ppid=11287 vsize=115748 CPUtime=1.55 cores=1,3,5,7
/proc/11288/task/11298/stat : 11298 (pb_cplex) R 11287 11287 10925 0 -1 4202560 171 0 0 0 155 0 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4088189148 136009309 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11299] ppid=11287 vsize=115748 CPUtime=1.53 cores=1,3,5,7
/proc/11288/task/11299/stat : 11299 (pb_cplex) R 11287 11287 10925 0 -1 4202560 466 0 0 0 153 0 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4098674688 136018974 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11300] ppid=11287 vsize=115748 CPUtime=2.43 cores=1,3,5,7
/proc/11288/task/11300/stat : 11300 (pb_cplex) R 11287 11287 10925 0 -1 4202560 338 0 0 0 243 0 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4109161448 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11301] ppid=11287 vsize=115748 CPUtime=2.14 cores=1,3,5,7
/proc/11288/task/11301/stat : 11301 (pb_cplex) R 11287 11287 10925 0 -1 4202560 308 0 0 0 213 1 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4119646664 136001712 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11302] ppid=11287 vsize=115748 CPUtime=1.48 cores=1,3,5,7
/proc/11288/task/11302/stat : 11302 (pb_cplex) R 11287 11287 10925 0 -1 4202560 374 0 0 0 148 0 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4140818372 135523315 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11303] ppid=11287 vsize=115748 CPUtime=1.45 cores=1,3,5,7
/proc/11288/task/11303/stat : 11303 (pb_cplex) R 11287 11287 10925 0 -1 4202560 216 0 0 0 145 0 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4130333672 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11304] ppid=11287 vsize=115748 CPUtime=1.56 cores=1,3,5,7
/proc/11288/task/11304/stat : 11304 (pb_cplex) R 11287 11287 10925 0 -1 4202560 487 0 0 0 156 0 0 0 20 0 8 0 34653833 118525952 7234 33554432000 134512640 146736320 4287975168 4075806776 136475800 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 16.02
Current children cumulated vsize (KiB) 124896
[startup+12.7005 s]
/proc/loadavg: 0.95 0.21 0.07 3/189 11325
/proc/meminfo: memFree=30460916/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=147864 CPUtime=26.28 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 22335 0 0 0 2607 21 0 0 20 0 8 0 34653631 151412736 14984 33554432000 134512640 146736320 4287975168 4287968252 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11288/statm: 36966 14984 972 2985 0 33900 0
[pid=11288/tid=11319] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) S 11287 11287 10925 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4075810448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) S 11287 11287 10925 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4130336400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) S 11287 11287 10925 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4140822160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) S 11287 11287 10925 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4119649936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4047269520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4036783760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=147864 CPUtime=0 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 34654658 151412736 14984 33554432000 134512640 146736320 4287975168 4026298000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 26.28
Current children cumulated vsize (KiB) 157012
[startup+25.5005 s]
/proc/loadavg: 2.26 0.53 0.17 5/189 11325
/proc/meminfo: memFree=30445476/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=160152 CPUtime=68.98 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) S 11287 11287 10925 0 -1 4202496 28630 0 0 0 6865 33 0 0 20 0 8 0 34653631 163995648 18079 33554432000 134512640 146736320 4287975168 4287971536 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11288/statm: 40038 18079 972 2985 0 36972 0
[pid=11288/tid=11319] ppid=11287 vsize=160152 CPUtime=5.56 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1175 0 0 0 556 0 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4075810448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=160152 CPUtime=4.74 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1033 0 0 0 472 2 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4130336400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=160152 CPUtime=5.3 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1023 0 0 0 529 1 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4140822160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=160152 CPUtime=5.11 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 132 0 0 0 510 1 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4119646420 135846304 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=160152 CPUtime=4.93 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) S 11287 11287 10925 0 -1 4202560 80 0 0 0 492 1 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4047269520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=160152 CPUtime=4.97 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) S 11287 11287 10925 0 -1 4202560 894 0 0 0 496 1 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4036783760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=160152 CPUtime=5.1 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) S 11287 11287 10925 0 -1 4202560 1381 0 0 0 509 1 0 0 20 0 8 0 34654658 163995648 18079 33554432000 134512640 146736320 4287975168 4026298000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 68.98
Current children cumulated vsize (KiB) 169300
[startup+51.1005 s]
/proc/loadavg: 4.16 1.10 0.37 10/189 11325
/proc/meminfo: memFree=30426432/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=174488 CPUtime=156.73 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) S 11287 11287 10925 0 -1 4202496 39255 0 0 0 15609 64 0 0 20 0 8 0 34653631 178675712 21265 33554432000 134512640 146736320 4287975168 4287971536 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11288/statm: 43622 21265 973 2985 0 40556 0
[pid=11288/tid=11319] ppid=11287 vsize=174488 CPUtime=16.71 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) R 11287 11287 10925 0 -1 4202560 2361 0 0 0 1666 5 0 0 20 0 8 0 34654658 178675712 21265 33554432000 134512640 146736320 4287975168 4075806928 136008069 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=174488 CPUtime=15.79 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 2786 0 0 0 1573 6 0 0 20 0 8 0 34654658 178675712 21265 33554432000 134512640 146736320 4287975168 4130332488 135525920 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=174488 CPUtime=16.52 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) R 11287 11287 10925 0 -1 4202560 4143 0 0 0 1646 6 0 0 20 0 8 0 34654658 178675712 21265 33554432000 134512640 146736320 4287975168 4140818888 136000406 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=174488 CPUtime=15.73 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 783 0 0 0 1569 4 0 0 20 0 8 0 34654658 178675712 21265 33554432000 134512640 146736320 4287975168 4119647208 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=174488 CPUtime=15.79 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) S 11287 11287 10925 0 -1 4202560 415 0 0 0 1575 4 0 0 20 0 8 0 34654658 178675712 21265 33554432000 134512640 146736320 4287975168 4047269520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=174488 CPUtime=16.65 cores=1,3,5,7
################
# More data... #
################
/proc/11288/statm: 46513 25594 983 2985 0 43447 0
[pid=11288/tid=11319] ppid=11287 vsize=186052 CPUtime=98.18 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7983 0 0 0 9791 27 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4075806768 136384852 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=186052 CPUtime=90.81 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 4671 0 0 0 9053 28 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4130332740 136385179 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=186052 CPUtime=94.74 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) R 11287 11287 10925 0 -1 4202560 6503 0 0 0 9445 29 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4140818640 136008339 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=186052 CPUtime=90.47 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 4205 0 0 0 9020 27 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4119647208 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=186052 CPUtime=91.44 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) R 11287 11287 10925 0 -1 4202560 6258 0 0 0 9121 23 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4047266792 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=186052 CPUtime=90.66 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7788 0 0 0 9040 26 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4036779720 136002916 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=186052 CPUtime=86.6 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) R 11287 11287 10925 0 -1 4202560 11333 0 0 0 8634 26 0 0 20 0 8 0 34654658 190517248 25594 33554432000 134512640 146736320 4287975168 4026294384 136384895 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 767.98
Current children cumulated vsize (KiB) 195200
[startup+282.301 s]
/proc/loadavg: 13.34 7.43 3.06 11/195 11332
/proc/meminfo: memFree=30072376/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=196988 CPUtime=981.08 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 88439 0 0 0 97811 297 0 0 20 0 8 0 34653631 201715712 27599 33554432000 134512640 146736320 4287975168 4287967880 139042977 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11288/statm: 49247 27599 983 2985 0 46181 0
[pid=11288/tid=11319] ppid=11287 vsize=196988 CPUtime=124.46 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) R 11287 11287 10925 0 -1 4202560 9319 0 0 0 12411 35 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4075807804 138442496 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=196988 CPUtime=117.37 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 5563 0 0 0 11701 36 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4130332864 136469635 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=196988 CPUtime=121.52 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) R 11287 11287 10925 0 -1 4202560 6526 0 0 0 12116 36 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4140819432 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=196988 CPUtime=117.08 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 4803 0 0 0 11673 35 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4119645384 135468239 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=196988 CPUtime=118 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7836 0 0 0 11769 31 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4047266208 136388291 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=196988 CPUtime=117.44 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) R 11287 11287 10925 0 -1 4202560 8868 0 0 0 11709 35 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4036779220 135455470 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=196988 CPUtime=112.7 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) R 11287 11287 10925 0 -1 4202560 13153 0 0 0 11237 33 0 0 20 0 8 0 34654658 201715712 27599 33554432000 134512640 146736320 4287975168 4026293400 136008656 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 981.08
Current children cumulated vsize (KiB) 206136
[startup+342.301 s]
/proc/loadavg: 13.60 8.61 3.74 13/195 11333
/proc/meminfo: memFree=30061528/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=197464 CPUtime=1196.48 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) S 11287 11287 10925 0 -1 4202496 94230 0 0 0 119296 352 0 0 20 0 8 0 34653631 202203136 27973 33554432000 134512640 146736320 4287975168 4287971536 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11288/statm: 49366 27973 983 2985 0 46300 0
[pid=11288/tid=11319] ppid=11287 vsize=197464 CPUtime=151.91 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) S 11287 11287 10925 0 -1 4202560 9336 0 0 0 15149 42 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4075810448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=197464 CPUtime=143.85 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 6564 0 0 0 14341 44 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4130332584 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=197464 CPUtime=148.33 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) S 11287 11287 10925 0 -1 4202560 7904 0 0 0 14788 45 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4140822160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=197464 CPUtime=143.8 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) S 11287 11287 10925 0 -1 4202560 5437 0 0 0 14337 43 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4119649936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=197464 CPUtime=144.76 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) S 11287 11287 10925 0 -1 4202560 8365 0 0 0 14437 39 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4047269520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=197464 CPUtime=144.04 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) S 11287 11287 10925 0 -1 4202560 9722 0 0 0 14362 42 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4036783760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=197464 CPUtime=139.44 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) R 11287 11287 10925 0 -1 4202560 13865 0 0 0 13903 41 0 0 20 0 8 0 34654658 202203136 27973 33554432000 134512640 146736320 4287975168 4026295272 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1196.48
Current children cumulated vsize (KiB) 206612
[startup+402.3 s]
/proc/loadavg: 11.49 9.08 4.21 5/188 11333
/proc/meminfo: memFree=30318268/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=210136 CPUtime=1407.91 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 102340 0 0 0 140384 407 0 0 20 0 8 0 34653631 215179264 30674 33554432000 134512640 146736320 4287975168 4287968200 136388081 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11288/statm: 52534 30674 983 2985 0 49468 0
[pid=11288/tid=11319] ppid=11287 vsize=210136 CPUtime=178.44 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) R 11287 11287 10925 0 -1 4202560 9630 0 0 0 17794 50 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4075806928 136007990 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=210136 CPUtime=170.08 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7544 0 0 0 16959 49 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4130332880 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=210136 CPUtime=174.12 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) R 11287 11287 10925 0 -1 4202560 9654 0 0 0 17361 51 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4140819432 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=210136 CPUtime=171 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 5814 0 0 0 17052 48 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4119646248 139044585 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=210136 CPUtime=170.48 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) R 11287 11287 10925 0 -1 4202560 8951 0 0 0 17002 46 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4047265860 136385170 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=210136 CPUtime=170.66 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) R 11287 11287 10925 0 -1 4202560 10751 0 0 0 17017 49 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4036780288 136487009 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=210136 CPUtime=165.94 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) R 11287 11287 10925 0 -1 4202560 16219 0 0 0 16545 49 0 0 20 0 8 0 34654658 215179264 30674 33554432000 134512640 146736320 4287975168 4026293436 135526845 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1407.91
Current children cumulated vsize (KiB) 219284
[startup+462.3 s]
/proc/loadavg: 8.90 8.77 4.41 7/188 11333
/proc/meminfo: memFree=30310456/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=219720 CPUtime=1627.94 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) R 11287 11287 10925 0 -1 4202496 107140 0 0 0 162337 457 0 0 20 0 8 0 34653631 224993280 32824 33554432000 134512640 146736320 4287975168 4287968808 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11288/statm: 54930 32824 983 2985 0 51864 0
[pid=11288/tid=11319] ppid=11287 vsize=219720 CPUtime=205.56 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) R 11287 11287 10925 0 -1 4202560 9965 0 0 0 20499 57 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4075806660 135523433 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=219720 CPUtime=197.29 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7695 0 0 0 19673 56 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4130332712 139044585 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=219720 CPUtime=201.15 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) R 11287 11287 10925 0 -1 4202560 10234 0 0 0 20057 58 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4140817600 135468677 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=219720 CPUtime=198.78 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 6899 0 0 0 19822 56 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4119647208 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=219720 CPUtime=198.28 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) R 11287 11287 10925 0 -1 4202560 9913 0 0 0 19775 53 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4047266792 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=219720 CPUtime=198.59 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) R 11287 11287 10925 0 -1 4202560 11353 0 0 0 19803 56 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4036780624 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=219720 CPUtime=193.55 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) R 11287 11287 10925 0 -1 4202560 16770 0 0 0 19299 56 0 0 20 0 8 0 34654658 224993280 32824 33554432000 134512640 146736320 4287975168 4026294340 136385174 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1627.94
Current children cumulated vsize (KiB) 228868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+509.1 s]
/proc/loadavg: 8.16 8.60 4.58 4/188 11333
/proc/meminfo: memFree=30309836/32873844 swapFree=7124/7124
[pid=11287] ppid=11285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (run) S 11285 11287 10925 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 34653630 9367552 269 33554432000 4194304 5064252 140735722527504 140735722526416 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11287/statm: 2287 269 229 213 0 72 0
[pid=11288] ppid=11287 vsize=219972 CPUtime=1800.25 cores=1,3,5,7
/proc/11288/stat : 11288 (pb_cplex) S 11287 11287 10925 0 -1 4202496 108877 0 0 0 179528 497 0 0 20 0 8 0 34653631 225251328 33054 33554432000 134512640 146736320 4287975168 4287971536 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11288/statm: 54993 33054 983 2985 0 51927 0
[pid=11288/tid=11319] ppid=11287 vsize=219972 CPUtime=227.15 cores=1,3,5,7
/proc/11288/task/11319/stat : 11319 (pb_cplex) S 11287 11287 10925 0 -1 4202560 10076 0 0 0 22653 62 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4075810448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11320] ppid=11287 vsize=219972 CPUtime=218.73 cores=1,3,5,7
/proc/11288/task/11320/stat : 11320 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7807 0 0 0 21812 61 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4130333672 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11288/tid=11321] ppid=11287 vsize=219972 CPUtime=222.36 cores=1,3,5,7
/proc/11288/task/11321/stat : 11321 (pb_cplex) S 11287 11287 10925 0 -1 4202560 10322 0 0 0 22174 62 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4140822160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11322] ppid=11287 vsize=219972 CPUtime=220.16 cores=1,3,5,7
/proc/11288/task/11322/stat : 11322 (pb_cplex) R 11287 11287 10925 0 -1 4202560 7155 0 0 0 21956 60 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4119646276 136385174 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11288/tid=11323] ppid=11287 vsize=219972 CPUtime=219.97 cores=1,3,5,7
/proc/11288/task/11323/stat : 11323 (pb_cplex) S 11287 11287 10925 0 -1 4202560 9959 0 0 0 21936 61 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4047269520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11324] ppid=11287 vsize=219972 CPUtime=220.36 cores=1,3,5,7
/proc/11288/task/11324/stat : 11324 (pb_cplex) S 11287 11287 10925 0 -1 4202560 12044 0 0 0 21975 61 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4036783760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11288/tid=11325] ppid=11287 vsize=219972 CPUtime=214.98 cores=1,3,5,7
/proc/11288/task/11325/stat : 11325 (pb_cplex) S 11287 11287 10925 0 -1 4202560 16913 0 0 0 21436 62 0 0 20 0 8 0 34654658 225251328 33054 33554432000 134512640 146736320 4287975168 4026298000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 229120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11287 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.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 509.117
CPU time (s): 1800.25
CPU user time (s): 1795.28
CPU system time (s): 4.97
CPU usage (%): 353.603
Max. virtual memory (cumulated for all children) (KiB): 230036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353
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= 2
involuntary context switches= 1
runsolver used 1.66975 second user time and 3.53646 second system time
The end