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-3741200-1339249913/watcher-3741200-1339249913 -o /tmp/evaluation-result-3741200-1339249913/solver-3741200-1339249913 -C 1800 -W 1900 -M 15500 run HOME/instance-3741200-1339249913.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: 7.60 6.80 6.26 3/177 24173
/proc/meminfo: memFree=30009548/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[startup+0.0892151 s]
/proc/loadavg: 7.60 6.80 6.26 3/177 24173
/proc/meminfo: memFree=30009548/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10024 s]
/proc/loadavg: 7.60 6.80 6.26 3/177 24173
/proc/meminfo: memFree=30009548/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 7.60 6.80 6.26 3/177 24173
/proc/meminfo: memFree=30009548/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700156 s]
/proc/loadavg: 7.60 6.80 6.26 3/177 24173
/proc/meminfo: memFree=30009548/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 7.60 6.80 6.26 10/186 24182
/proc/meminfo: memFree=29996936/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=68572 CPUtime=3.48 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 4673 0 0 0 340 8 0 0 20 0 1 0 391117224 70217728 3340 33554432000 134512640 146736320 4286657408 4286652508 135855193 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/24174/statm: 17143 3340 884 2985 0 14077 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 77720
[startup+3.10084 s]
/proc/loadavg: 7.60 6.80 6.26 3/179 24182
/proc/meminfo: memFree=29999348/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=121396 CPUtime=6.38 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) S 24173 24173 22465 0 -1 4202496 13567 0 0 0 621 17 0 0 20 0 8 0 391117224 124309504 8903 33554432000 134512640 146736320 4286657408 4286653776 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24174/statm: 30349 8903 892 2985 0 27283 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 130544
[startup+6.30039 s]
/proc/loadavg: 7.71 6.83 6.27 10/186 24196
/proc/meminfo: memFree=29975808/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=123444 CPUtime=17.96 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 16928 0 0 0 1771 25 0 0 20 0 8 0 391117224 126406656 9065 33554432000 134512640 146736320 4286657408 4286652388 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24174/statm: 30861 9065 892 2985 0 27795 0
[pid=24174/tid=24190] ppid=24173 vsize=123444 CPUtime=1.51 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 1411 0 0 0 150 1 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4130636792 136364133 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=123444 CPUtime=1.44 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 1009 0 0 0 143 1 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4141122536 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=123444 CPUtime=1.9 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 241 0 0 0 190 0 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4151608296 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=123444 CPUtime=1.76 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 36 0 0 0 176 0 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4119580712 139044542 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=123444 CPUtime=1.58 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 1307 0 0 0 157 1 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4090392208 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=123444 CPUtime=1.66 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) S 24173 24173 22465 0 -1 4202560 1529 0 0 0 164 2 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4071616144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=123444 CPUtime=1.51 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) S 24173 24173 22465 0 -1 4202560 292 0 0 0 151 0 0 0 20 0 8 0 391117450 126406656 9065 33554432000 134512640 146736320 4286657408 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.96
Current children cumulated vsize (KiB) 132592
[startup+12.7004 s]
/proc/loadavg: 7.58 6.82 6.27 7/186 24196
/proc/meminfo: memFree=29975252/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=124468 CPUtime=41.16 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) S 24173 24173 22465 0 -1 4202496 21665 0 0 0 4076 40 0 0 20 0 8 0 391117224 127455232 9324 33554432000 134512640 146736320 4286657408 4286653776 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24174/statm: 31117 9324 892 2985 0 28051 0
[pid=24174/tid=24190] ppid=24173 vsize=124468 CPUtime=4.38 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 2004 0 0 0 436 2 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4130635816 139044585 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=124468 CPUtime=4.38 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 1869 0 0 0 436 2 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4141122536 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=124468 CPUtime=4.84 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 355 0 0 0 481 3 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4151608296 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=124468 CPUtime=4.6 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 822 0 0 0 457 3 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4119580056 136008623 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=124468 CPUtime=4.4 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 2314 0 0 0 437 3 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4090388548 136385177 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=124468 CPUtime=4.51 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) R 24173 24173 22465 0 -1 4202560 2848 0 0 0 448 3 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4071612624 136007990 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=124468 CPUtime=4.39 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) R 24173 24173 22465 0 -1 4202560 348 0 0 0 437 2 0 0 20 0 8 0 391117450 127455232 9324 33554432000 134512640 146736320 4286657408 4061127656 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 41.16
Current children cumulated vsize (KiB) 133616
[startup+25.5009 s]
/proc/loadavg: 7.73 6.89 6.30 4/186 24196
/proc/meminfo: memFree=29973440/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=125492 CPUtime=87.94 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 25270 0 0 0 8728 66 0 0 20 0 8 0 391117224 128503808 9711 33554432000 134512640 146736320 4286657408 4286647996 136017964 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24174/statm: 31373 9711 895 2985 0 28307 0
[pid=24174/tid=24190] ppid=24173 vsize=125492 CPUtime=10.15 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) S 24173 24173 22465 0 -1 4202560 2253 0 0 0 1011 4 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4130639504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=125492 CPUtime=10.21 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) S 24173 24173 22465 0 -1 4202560 2570 0 0 0 1016 5 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4141125264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=125492 CPUtime=10.77 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) S 24173 24173 22465 0 -1 4202560 433 0 0 0 1071 6 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4151611024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=125492 CPUtime=10.37 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) S 24173 24173 22465 0 -1 4202560 1192 0 0 0 1032 5 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4119584400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=125492 CPUtime=10.19 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) S 24173 24173 22465 0 -1 4202560 3489 0 0 0 1012 7 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4090392208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=125492 CPUtime=10.23 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) S 24173 24173 22465 0 -1 4202560 3649 0 0 0 1017 6 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4071616144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=125492 CPUtime=10.26 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) S 24173 24173 22465 0 -1 4202560 471 0 0 0 1020 6 0 0 20 0 8 0 391117450 128503808 9711 33554432000 134512640 146736320 4286657408 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 87.94
Current children cumulated vsize (KiB) 134640
[startup+51.1004 s]
/proc/loadavg: 6.94 6.78 6.28 10/186 24196
/proc/meminfo: memFree=29967736/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=126768 CPUtime=173.04 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) S 24173 24173 22465 0 -1 4202496 31778 0 0 0 17186 118 0 0 20 0 8 0 391117224 129810432 10153 33554432000 134512640 146736320 4286657408 4286653776 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24174/statm: 31692 10153 901 2985 0 28626 0
[pid=24174/tid=24190] ppid=24173 vsize=126768 CPUtime=20.19 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 2731 0 0 0 2008 11 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4130635984 136008328 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=126768 CPUtime=20.43 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 3788 0 0 0 2032 11 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4141121608 139042890 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=126768 CPUtime=21.15 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 1128 0 0 0 2102 13 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4151607364 136385179 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=126768 CPUtime=20.63 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 1951 0 0 0 2052 11 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4119580888 136008994 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=126768 CPUtime=20.37 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 5280 0 0 0 2024 13 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4090389480 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=126768 CPUtime=20.3 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) R 24173 24173 22465 0 -1 4202560 4386 0 0 0 2017 13 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4071612232 135525929 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=126768 CPUtime=20.39 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) R 24173 24173 22465 0 -1 4202560 539 0 0 0 2028 11 0 0 20 0 8 0 391117450 129810432 10153 33554432000 134512640 146736320 4286657408 4061126724 136385179 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 173.04
Current children cumulated vsize (KiB) 135916
[startup+102.307 s]
/proc/loadavg: 6.67 6.71 6.28 10/186 24196
/proc/meminfo: memFree=29959836/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=127792 CPUtime=361.78 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 40191 0 0 0 35943 235 0 0 20 0 8 0 391117224 130859008 10462 33554432000 134512640 146736320 4286657408 4286650216 135467759 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
/proc/24174/statm: 32460 11440 922 2985 0 29394 0
[pid=24174/tid=24190] ppid=24173 vsize=129840 CPUtime=98.76 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 7928 0 0 0 9817 59 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4130636368 136403114 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=129840 CPUtime=98.35 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 5713 0 0 0 9772 63 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4141122536 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=129840 CPUtime=100.26 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 2129 0 0 0 9961 65 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4151608296 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=129840 CPUtime=98.91 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 4817 0 0 0 9834 57 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4119580744 139042897 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=129840 CPUtime=98.64 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 8238 0 0 0 9800 64 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4090388548 136385167 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=129840 CPUtime=97.95 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) R 24173 24173 22465 0 -1 4202560 6341 0 0 0 9733 62 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4071612624 136007977 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=129840 CPUtime=99.01 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) R 24173 24173 22465 0 -1 4202560 3524 0 0 0 9840 61 0 0 20 0 8 0 391117450 132956160 11440 33554432000 134512640 146736320 4286657408 4061127248 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 803.4
Current children cumulated vsize (KiB) 138988
[startup+282.3 s]
/proc/loadavg: 7.24 6.91 6.43 10/186 24197
/proc/meminfo: memFree=29956108/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=131888 CPUtime=1023.37 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) S 24173 24173 22465 0 -1 4202496 58278 0 0 0 101696 641 0 0 20 0 8 0 391117224 135053312 11796 33554432000 134512640 146736320 4286657408 4286653776 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24174/statm: 32972 11796 922 2985 0 29906 0
[pid=24174/tid=24190] ppid=24173 vsize=131888 CPUtime=126.26 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) S 24173 24173 22465 0 -1 4202560 8198 0 0 0 12551 75 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4130639504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=131888 CPUtime=125.71 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) S 24173 24173 22465 0 -1 4202560 6655 0 0 0 12491 80 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4141125264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=131888 CPUtime=127.95 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) S 24173 24173 22465 0 -1 4202560 2410 0 0 0 12713 82 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4151611024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=131888 CPUtime=126.21 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) S 24173 24173 22465 0 -1 4202560 5020 0 0 0 12549 72 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4119584400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=131888 CPUtime=125.95 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 9589 0 0 0 12513 82 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4090388536 136475822 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=131888 CPUtime=125.14 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) R 24173 24173 22465 0 -1 4202560 6822 0 0 0 12437 77 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4071612624 136008177 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=131888 CPUtime=126.26 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) S 24173 24173 22465 0 -1 4202560 4620 0 0 0 12547 79 0 0 20 0 8 0 391117450 135053312 11796 33554432000 134512640 146736320 4286657408 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1023.37
Current children cumulated vsize (KiB) 141036
[startup+342.3 s]
/proc/loadavg: 6.74 6.85 6.43 10/186 24197
/proc/meminfo: memFree=29963932/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=131888 CPUtime=1244.22 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 63500 0 0 0 123644 778 0 0 20 0 8 0 391117224 135053312 11803 33554432000 134512640 146736320 4286657408 4286651120 136222330 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24174/statm: 32972 11803 922 2985 0 29906 0
[pid=24174/tid=24190] ppid=24173 vsize=131888 CPUtime=153.76 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 9502 0 0 0 15284 92 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4130636776 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=131888 CPUtime=153.06 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 7915 0 0 0 15207 99 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4141122128 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=131888 CPUtime=155.47 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 3104 0 0 0 15446 101 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4151608296 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=131888 CPUtime=153.48 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 5202 0 0 0 15258 90 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4119580880 136008266 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=131888 CPUtime=153.44 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 9997 0 0 0 15243 101 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4090392208 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=131888 CPUtime=152.61 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) S 24173 24173 22465 0 -1 4202560 7261 0 0 0 15166 95 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4071616144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=131888 CPUtime=153.92 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) S 24173 24173 22465 0 -1 4202560 5410 0 0 0 15295 97 0 0 20 0 8 0 391117450 135053312 11803 33554432000 134512640 146736320 4286657408 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1244.22
Current children cumulated vsize (KiB) 141036
[startup+402.3 s]
/proc/loadavg: 7.34 6.98 6.50 10/186 24197
/proc/meminfo: memFree=29962572/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=132324 CPUtime=1464.7 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) S 24173 24173 22465 0 -1 4202496 69875 0 0 0 145550 920 0 0 20 0 8 0 391117224 135499776 12041 33554432000 134512640 146736320 4286657408 4286653776 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24174/statm: 33081 12041 922 2985 0 30015 0
[pid=24174/tid=24190] ppid=24173 vsize=132324 CPUtime=181.28 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) S 24173 24173 22465 0 -1 4202560 9607 0 0 0 18020 108 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4130639504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=132324 CPUtime=180.26 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 9014 0 0 0 17909 117 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4141121992 136000510 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=132324 CPUtime=182.9 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) S 24173 24173 22465 0 -1 4202560 3999 0 0 0 18171 119 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4151611024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=132324 CPUtime=180.75 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 5761 0 0 0 17965 110 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4119580880 136008044 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=132324 CPUtime=180.73 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) S 24173 24173 22465 0 -1 4202560 10794 0 0 0 17953 120 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4090392208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=132324 CPUtime=180 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) S 24173 24173 22465 0 -1 4202560 7841 0 0 0 17887 113 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4071616144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=132324 CPUtime=181.58 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) S 24173 24173 22465 0 -1 4202560 6361 0 0 0 18046 112 0 0 20 0 8 0 391117450 135499776 12041 33554432000 134512640 146736320 4286657408 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1464.7
Current children cumulated vsize (KiB) 141472
[startup+462.3 s]
/proc/loadavg: 6.83 6.88 6.50 3/186 24197
/proc/meminfo: memFree=29961384/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=134204 CPUtime=1685.58 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 76951 0 0 0 167500 1058 0 0 20 0 8 0 391117224 137424896 12389 33554432000 134512640 146736320 4286657408 4286650640 136403112 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24174/statm: 33551 12389 922 2985 0 30485 0
[pid=24174/tid=24190] ppid=24173 vsize=134204 CPUtime=208.62 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 10517 0 0 0 20737 125 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4130635984 136008226 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=134204 CPUtime=207.84 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 9792 0 0 0 20647 137 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4141122584 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=134204 CPUtime=210.47 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 5127 0 0 0 20910 137 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4151607476 138462922 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=134204 CPUtime=208.07 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 6673 0 0 0 20679 128 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4119580880 136008100 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=134204 CPUtime=208.35 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 11663 0 0 0 20696 139 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4090388936 136001961 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=134204 CPUtime=207.15 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) R 24173 24173 22465 0 -1 4202560 8260 0 0 0 20585 130 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4071613416 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=134204 CPUtime=209.21 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) R 24173 24173 22465 0 -1 4202560 7335 0 0 0 20790 131 0 0 20 0 8 0 391117450 137424896 12389 33554432000 134512640 146736320 4286657408 4061126724 136385184 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1685.58
Current children cumulated vsize (KiB) 143352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+493.4 s]
/proc/loadavg: 7.42 7.02 6.55 10/187 24200
/proc/meminfo: memFree=29950748/32873648 swapFree=7372/7372
[pid=24173] ppid=24171 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (run) S 24171 24173 22465 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391117224 9367552 269 33554432000 4194304 5064252 140736849022448 140736849021360 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24173/statm: 2287 269 229 213 0 72 0
[pid=24174] ppid=24173 vsize=134012 CPUtime=1800.33 cores=1,3,5,7
/proc/24174/stat : 24174 (pb_cplex) R 24173 24173 22465 0 -1 4202496 80821 0 0 0 178903 1130 0 0 20 0 8 0 391117224 137228288 12436 33554432000 134512640 146736320 4286657408 4286649940 136017752 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24174/statm: 33503 12436 922 2985 0 30437 0
[pid=24174/tid=24190] ppid=24173 vsize=134012 CPUtime=222.82 cores=1,3,5,7
/proc/24174/task/24190/stat : 24190 (pb_cplex) R 24173 24173 22465 0 -1 4202560 10888 0 0 0 22149 133 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4130636776 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24174/tid=24191] ppid=24173 vsize=134012 CPUtime=221.88 cores=1,3,5,7
/proc/24174/task/24191/stat : 24191 (pb_cplex) R 24173 24173 22465 0 -1 4202560 10362 0 0 0 22042 146 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4141121744 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24192] ppid=24173 vsize=134012 CPUtime=224.85 cores=1,3,5,7
/proc/24174/task/24192/stat : 24192 (pb_cplex) R 24173 24173 22465 0 -1 4202560 5345 0 0 0 22337 148 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4151607368 139042902 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24193] ppid=24173 vsize=134012 CPUtime=222.19 cores=1,3,5,7
/proc/24174/task/24193/stat : 24193 (pb_cplex) R 24173 24173 22465 0 -1 4202560 7185 0 0 0 22083 136 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4119580784 136384895 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24174/tid=24194] ppid=24173 vsize=134012 CPUtime=222.58 cores=1,3,5,7
/proc/24174/task/24194/stat : 24194 (pb_cplex) R 24173 24173 22465 0 -1 4202560 12245 0 0 0 22110 148 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4090389480 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24174/tid=24195] ppid=24173 vsize=134012 CPUtime=221.3 cores=1,3,5,7
/proc/24174/task/24195/stat : 24195 (pb_cplex) R 24173 24173 22465 0 -1 4202560 8597 0 0 0 21990 140 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4071613416 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24174/tid=24196] ppid=24173 vsize=134012 CPUtime=223.69 cores=1,3,5,7
/proc/24174/task/24196/stat : 24196 (pb_cplex) R 24173 24173 22465 0 -1 4202560 8041 0 0 0 22230 139 0 0 20 0 8 0 391117450 137228288 12436 33554432000 134512640 146736320 4286657408 4061126728 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 143160
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 24173 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 493.416
CPU time (s): 1800.33
CPU user time (s): 1789.03
CPU system time (s): 11.3
CPU usage (%): 364.87
Max. virtual memory (cumulated for all children) (KiB): 145400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 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= 2
involuntary context switches= 1
runsolver used 1.16982 second user time and 3.11653 second system time
The end