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-3741449-1339250365/watcher-3741449-1339250365 -o /tmp/evaluation-result-3741449-1339250365/solver-3741449-1339250365 -C 1800 -W 1900 -M 15500 run HOME/instance-3741449-1339250365.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: 13.01 11.15 8.73 10/183 3986
/proc/meminfo: memFree=31124540/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[startup+0.0552009 s]
/proc/loadavg: 13.01 11.15 8.73 10/183 3986
/proc/meminfo: memFree=31124540/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10021 s]
/proc/loadavg: 13.01 11.15 8.73 10/183 3986
/proc/meminfo: memFree=31124540/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300202 s]
/proc/loadavg: 13.01 11.15 8.73 10/183 3986
/proc/meminfo: memFree=31124540/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700192 s]
/proc/loadavg: 13.01 11.15 8.73 10/183 3986
/proc/meminfo: memFree=31124540/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 13.01 11.15 8.73 3/185 3988
/proc/meminfo: memFree=31100128/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=40068 CPUtime=1.48 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 15760 0 0 0 147 1 0 0 20 0 1 0 391165065 41029632 5890 33554432000 134512640 146736320 4293044464 4293039104 139046542 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/3987/statm: 10017 5890 909 2985 0 6951 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49216
[startup+3.10027 s]
/proc/loadavg: 12.61 11.10 8.72 10/185 3988
/proc/meminfo: memFree=31102964/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=40660 CPUtime=3.08 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 16582 0 0 0 307 1 0 0 20 0 1 0 391165065 41635840 6062 33554432000 134512640 146736320 4293044464 4293038392 136015722 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/3987/statm: 10165 6062 910 2985 0 7099 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49808
[startup+6.30025 s]
/proc/loadavg: 12.61 11.10 8.72 10/192 3995
/proc/meminfo: memFree=31057408/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=149184 CPUtime=7.95 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 38064 0 0 0 784 11 0 0 20 0 8 0 391165065 152764416 12610 33554432000 134512640 146736320 4293044464 4293033872 136008050 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3987/statm: 37296 12610 965 2985 0 34230 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 158332
[startup+12.7004 s]
/proc/loadavg: 12.05 11.03 8.73 10/192 4009
/proc/meminfo: memFree=31060748/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=162140 CPUtime=26.06 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 53612 0 0 0 2582 24 0 0 20 0 8 0 391165065 166031360 16759 33554432000 134512640 146736320 4293044464 4293037192 139042885 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3987/statm: 40535 16759 968 2985 0 37469 0
[pid=3987/tid=4003] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4003/stat : 4003 (pb_cplex) S 3986 3986 2899 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4110401168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4004] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4004/stat : 4004 (pb_cplex) S 3986 3986 2899 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4120886928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4005] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4005/stat : 4005 (pb_cplex) S 3986 3986 2899 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4131372688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4006] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4006/stat : 4006 (pb_cplex) S 3986 3986 2899 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4099915408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4007] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4007/stat : 4007 (pb_cplex) S 3986 3986 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4084960912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4008] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4008/stat : 4008 (pb_cplex) S 3986 3986 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4074475152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4009] ppid=3986 vsize=162140 CPUtime=0 cores=1,3,5,7
/proc/3987/task/4009/stat : 4009 (pb_cplex) S 3986 3986 2899 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391166211 166031360 16759 33554432000 134512640 146736320 4293044464 4051693200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 26.06
Current children cumulated vsize (KiB) 171288
[startup+25.5005 s]
/proc/loadavg: 11.99 11.05 8.76 16/192 4009
/proc/meminfo: memFree=30958200/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=294644 CPUtime=73.74 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) S 3986 3986 2899 0 -1 4202496 109463 0 0 0 7333 41 0 0 20 0 8 0 391165065 301715456 41867 33554432000 134512640 146736320 4293044464 4293040848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3987/statm: 73661 41867 971 2985 0 70595 0
[pid=3987/tid=4003] ppid=3986 vsize=294644 CPUtime=6.53 cores=1,3,5,7
/proc/3987/task/4003/stat : 4003 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7074 0 0 0 651 2 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4110392384 136400730 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4004] ppid=3986 vsize=294644 CPUtime=6.38 cores=1,3,5,7
/proc/3987/task/4004/stat : 4004 (pb_cplex) R 3986 3986 2899 0 -1 4202560 5986 0 0 0 636 2 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4120878352 136008168 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4005] ppid=3986 vsize=294644 CPUtime=6.47 cores=1,3,5,7
/proc/3987/task/4005/stat : 4005 (pb_cplex) R 3986 3986 2899 0 -1 4202560 10583 0 0 0 644 3 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4131364944 136008106 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4006] ppid=3986 vsize=294644 CPUtime=6.27 cores=1,3,5,7
/proc/3987/task/4006/stat : 4006 (pb_cplex) R 3986 3986 2899 0 -1 4202560 9747 0 0 0 624 3 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4099907664 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4007] ppid=3986 vsize=294644 CPUtime=6.44 cores=1,3,5,7
/proc/3987/task/4007/stat : 4007 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7173 0 0 0 642 2 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4084953168 136008058 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4008] ppid=3986 vsize=294644 CPUtime=6.45 cores=1,3,5,7
/proc/3987/task/4008/stat : 4008 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7057 0 0 0 643 2 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4074467400 136388550 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4009] ppid=3986 vsize=294644 CPUtime=6.87 cores=1,3,5,7
/proc/3987/task/4009/stat : 4009 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7470 0 0 0 685 2 0 0 20 0 8 0 391166211 301715456 41867 33554432000 134512640 146736320 4293044464 4051685320 139042916 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 73.74
Current children cumulated vsize (KiB) 303792
[startup+51.1005 s]
/proc/loadavg: 11.94 11.11 8.84 17/193 4012
/proc/meminfo: memFree=30972328/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=260952 CPUtime=159.94 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 109651 0 0 0 15946 48 0 0 20 0 8 0 391165065 267214848 38125 33554432000 134512640 146736320 4293044464 4293037328 136008245 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3987/statm: 65238 38125 972 2985 0 62172 0
[pid=3987/tid=4003] ppid=3986 vsize=260952 CPUtime=24.45 cores=1,3,5,7
/proc/3987/task/4003/stat : 4003 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7084 0 0 0 2442 3 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4110396588 135454096 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4004] ppid=3986 vsize=260952 CPUtime=19.08 cores=1,3,5,7
/proc/3987/task/4004/stat : 4004 (pb_cplex) R 3986 3986 2899 0 -1 4202560 5986 0 0 0 1906 2 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4120883112 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4005] ppid=3986 vsize=260952 CPUtime=17.23 cores=1,3,5,7
/proc/3987/task/4005/stat : 4005 (pb_cplex) S 3986 3986 2899 0 -1 4202560 10589 0 0 0 1719 4 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4131372688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4006] ppid=3986 vsize=260952 CPUtime=15 cores=1,3,5,7
/proc/3987/task/4006/stat : 4006 (pb_cplex) R 3986 3986 2899 0 -1 4202560 9748 0 0 0 1496 4 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4099910800 136008299 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4007] ppid=3986 vsize=260952 CPUtime=18.04 cores=1,3,5,7
/proc/3987/task/4007/stat : 4007 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7177 0 0 0 1802 2 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4084957612 136400447 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4008] ppid=3986 vsize=260952 CPUtime=19.88 cores=1,3,5,7
/proc/3987/task/4008/stat : 4008 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7074 0 0 0 1985 3 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4074471868 136400588 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4009] ppid=3986 vsize=260952 CPUtime=14.26 cores=1,3,5,7
/proc/3987/task/4009/stat : 4009 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7620 0 0 0 1424 2 0 0 20 0 8 0 391166211 267214848 38125 33554432000 134512640 146736320 4293044464 4051690472 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (KiB) 270100
[startup+102.3 s]
/proc/loadavg: 11.51 11.12 8.97 9/194 4135
/proc/meminfo: memFree=30894796/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=323380 CPUtime=313.47 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) S 3986 3986 2899 0 -1 4202496 250560 0 0 0 31230 117 0 0 20 0 8 0 391165065 331141120 51454 33554432000 134512640 146736320 4293044464 4293040848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3987/statm: 80845 51454 976 2985 0 77779 0
[pid=3987/tid=4035] ppid=3986 vsize=323380 CPUtime=16.39 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) R 3986 3986 2899 0 -1 4202560 7371 0 0 0 1636 3 0 0 20 0 8 0 391171935 331141120 51454 33554432000 134512640 146736320 4293044464 4126724008 139044581 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=323380 CPUtime=14.02 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) S 3986 3986 2899 0 -1 4202560 12670 0 0 0 1398 4 0 0 20 0 8 0 391171935 331141120 51454 33554432000 134512640 146736320 4293044464 4137217680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=323380 CPUtime=13.59 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) S 3986 3986 2899 0 -1 4202560 7458 0 0 0 1357 2 0 0 20 0 8 0 391171935 331141120 51454 33554432000 134512640 146736320 4293044464 4147703440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=323380 CPUtime=11.26 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) S 3986 3986 2899 0 -1 4202560 101 0 0 0 1125 1 0 0 20 0 8 0 391171935 331141120 51454 33554432000 134512640 146736320 4293044464 4099915408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=323380 CPUtime=14.67 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) S 3986 3986 2899 0 -1 4202560 9902 0 0 0 1464 3 0 0 20 0 8 0 391171935 331141120 51454 33554432000 134512640 146736320 4293044464 4025147024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=323380 CPUtime=10.49 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) S 3986 3986 2899 0 -1 4202560 19860 0 0 0 1043 6 0 0 20 0 8 0 391171935 331141120 51454 33554432000 134512640 146736320 4293044464 4014661264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=323380 CPUtime=14.77 cores=1,3,5,7
################
# More data... #
################
/proc/3987/statm: 83568 57347 976 2985 0 80502 0
[pid=3987/tid=4035] ppid=3986 vsize=334272 CPUtime=93.28 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) S 3986 3986 2899 0 -1 4202560 46658 0 0 0 9305 23 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4126731920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=334272 CPUtime=91.3 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) S 3986 3986 2899 0 -1 4202560 68703 0 0 0 9100 30 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4137217680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=334272 CPUtime=93.49 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) R 3986 3986 2899 0 -1 4202560 19118 0 0 0 9333 16 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4147695528 139044581 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=334272 CPUtime=82.55 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) S 3986 3986 2899 0 -1 4202560 42467 0 0 0 8233 22 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4099915408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=334272 CPUtime=93.93 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) S 3986 3986 2899 0 -1 4202560 62424 0 0 0 9369 24 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4025147024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=334272 CPUtime=89.8 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) S 3986 3986 2899 0 -1 4202560 113719 0 0 0 8941 39 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4014661264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=334272 CPUtime=95.14 cores=1,3,5,7
/proc/3987/task/4041/stat : 4041 (pb_cplex) S 3986 3986 2899 0 -1 4202560 115195 0 0 0 9476 38 0 0 20 0 8 0 391171935 342294528 57347 33554432000 134512640 146736320 4293044464 4004175504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 937.99
Current children cumulated vsize (KiB) 343420
[startup+342.301 s]
/proc/loadavg: 11.48 11.35 9.56 17/193 4171
/proc/meminfo: memFree=30811128/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=370572 CPUtime=1143.9 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 703309 0 0 0 114051 339 0 0 20 0 8 0 391165065 379465728 63486 33554432000 134512640 146736320 4293044464 4293034336 139028328 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3987/statm: 92643 63486 986 2985 0 89577 0
[pid=3987/tid=4035] ppid=3986 vsize=370572 CPUtime=117.8 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) R 3986 3986 2899 0 -1 4202560 51382 0 0 0 11750 30 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4126726592 137470682 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=370572 CPUtime=115.9 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) R 3986 3986 2899 0 -1 4202560 75107 0 0 0 11555 35 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4137210184 136000313 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=370572 CPUtime=126.76 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) R 3986 3986 2899 0 -1 4202560 19836 0 0 0 12656 20 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4147695696 136008039 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=370572 CPUtime=106.73 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) R 3986 3986 2899 0 -1 4202560 54111 0 0 0 10645 28 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4099911896 135795028 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=370572 CPUtime=118.82 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) R 3986 3986 2899 0 -1 4202560 68261 0 0 0 11855 27 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4025138448 136008039 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=370572 CPUtime=114.36 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) R 3986 3986 2899 0 -1 4202560 127055 0 0 0 11387 49 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4014651920 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=370572 CPUtime=119.83 cores=1,3,5,7
/proc/3987/task/4041/stat : 4041 (pb_cplex) R 3986 3986 2899 0 -1 4202560 122246 0 0 0 11940 43 0 0 20 0 8 0 391171935 379465728 63486 33554432000 134512640 146736320 4293044464 4004169280 136018919 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1143.9
Current children cumulated vsize (KiB) 379720
[startup+402.3 s]
/proc/loadavg: 13.49 11.89 9.85 10/193 4171
/proc/meminfo: memFree=30739364/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=442280 CPUtime=1383.47 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 882359 0 0 0 137929 418 0 0 20 0 8 0 391165065 452894720 76719 33554432000 134512640 146736320 4293044464 4293032592 136008020 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3987/statm: 110570 76719 988 2985 0 107504 0
[pid=3987/tid=4035] ppid=3986 vsize=442280 CPUtime=147.62 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) R 3986 3986 2899 0 -1 4202560 72811 0 0 0 14720 42 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4126723008 139046468 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=442280 CPUtime=145.36 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) R 3986 3986 2899 0 -1 4202560 110210 0 0 0 14489 47 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4137208000 135468690 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=442280 CPUtime=156.75 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) R 3986 3986 2899 0 -1 4202560 39769 0 0 0 15645 30 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4147695300 139023058 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=442280 CPUtime=136.8 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) R 3986 3986 2899 0 -1 4202560 78858 0 0 0 13640 40 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4099909424 137176693 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=442280 CPUtime=148.8 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) R 3986 3986 2899 0 -1 4202560 86702 0 0 0 14840 40 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4025136400 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=442280 CPUtime=144.07 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) R 3986 3986 2899 0 -1 4202560 148074 0 0 0 14347 60 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4014650640 136008328 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=442280 CPUtime=150.16 cores=1,3,5,7
/proc/3987/task/4041/stat : 4041 (pb_cplex) R 3986 3986 2899 0 -1 4202560 152289 0 0 0 14961 55 0 0 20 0 8 0 391171935 452894720 76719 33554432000 134512640 146736320 4293044464 4004168892 136400493 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1383.47
Current children cumulated vsize (KiB) 451428
[startup+462.3 s]
/proc/loadavg: 10.48 11.41 9.82 10/193 4179
/proc/meminfo: memFree=30769492/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=364812 CPUtime=1538.06 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) S 3986 3986 2899 0 -1 4202496 918077 0 0 0 153355 451 0 0 20 0 8 0 391165065 373567488 64758 33554432000 134512640 146736320 4293044464 4293040848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3987/statm: 91203 64758 988 2985 0 88137 0
[pid=3987/tid=4035] ppid=3986 vsize=364812 CPUtime=162.8 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) S 3986 3986 2899 0 -1 4202560 76313 0 0 0 16234 46 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4126731920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=364812 CPUtime=165.35 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) S 3986 3986 2899 0 -1 4202560 121197 0 0 0 16482 53 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4137217680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=364812 CPUtime=162.57 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) S 3986 3986 2899 0 -1 4202560 43088 0 0 0 16224 33 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4147703440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=364812 CPUtime=172.4 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) S 3986 3986 2899 0 -1 4202560 87523 0 0 0 17194 46 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4099915408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=364812 CPUtime=201.55 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) R 3986 3986 2899 0 -1 4202560 87559 0 0 0 20111 44 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4025138672 136384895 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=364812 CPUtime=151.53 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) S 3986 3986 2899 0 -1 4202560 150620 0 0 0 15091 62 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4014661264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=364812 CPUtime=157.07 cores=1,3,5,7
/proc/3987/task/4041/stat : 4041 (pb_cplex) S 3986 3986 2899 0 -1 4202560 156469 0 0 0 15649 58 0 0 20 0 8 0 391171935 373567488 64758 33554432000 134512640 146736320 4293044464 4004175504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1538.06
Current children cumulated vsize (KiB) 373960
[startup+522.3 s]
/proc/loadavg: 10.01 11.15 9.83 17/193 4179
/proc/meminfo: memFree=30768624/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=354572 CPUtime=1748.45 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 972264 0 0 0 174358 487 0 0 20 0 8 0 391165065 363081728 62010 33554432000 134512640 146736320 4293044464 4293036284 135526874 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3987/statm: 88643 62010 988 2985 0 85577 0
[pid=3987/tid=4035] ppid=3986 vsize=354572 CPUtime=189.36 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) R 3986 3986 2899 0 -1 4202560 87433 0 0 0 18884 52 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4126729192 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=354572 CPUtime=191.77 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) R 3986 3986 2899 0 -1 4202560 126198 0 0 0 19120 57 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4137214228 136005139 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=354572 CPUtime=187.85 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) R 3986 3986 2899 0 -1 4202560 52848 0 0 0 18746 39 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4147699920 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=354572 CPUtime=197.8 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) R 3986 3986 2899 0 -1 4202560 99608 0 0 0 19729 51 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4099911620 135523443 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=354572 CPUtime=230.84 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) R 3986 3986 2899 0 -1 4202560 87601 0 0 0 23036 48 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4025143504 136008061 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=354572 CPUtime=177.35 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) R 3986 3986 2899 0 -1 4202560 157747 0 0 0 17668 67 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4014657664 139023063 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=354572 CPUtime=182.96 cores=1,3,5,7
/proc/3987/task/4041/stat : 4041 (pb_cplex) R 3986 3986 2899 0 -1 4202560 165521 0 0 0 18233 63 0 0 20 0 8 0 391171935 363081728 62010 33554432000 134512640 146736320 4293044464 4004171984 136008053 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1748.45
Current children cumulated vsize (KiB) 363720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+536.1 s]
/proc/loadavg: 10.49 11.20 9.86 12/193 4179
/proc/meminfo: memFree=30765024/32873844 swapFree=7116/7116
[pid=3986] ppid=3984 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3986/stat : 3986 (run) S 3984 3986 2899 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391165064 9367552 270 33554432000 4194304 5064252 140734386429840 140734386428752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3986/statm: 2287 270 229 213 0 72 0
[pid=3987] ppid=3986 vsize=354572 CPUtime=1800.31 cores=1,3,5,7
/proc/3987/stat : 3987 (pb_cplex) R 3986 3986 2899 0 -1 4202496 981005 0 0 0 179537 494 0 0 20 0 8 0 391165065 363081728 62011 33554432000 134512640 146736320 4293044464 4293037160 139044499 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3987/statm: 88643 62011 988 2985 0 85577 0
[pid=3987/tid=4035] ppid=3986 vsize=354572 CPUtime=196.02 cores=1,3,5,7
/proc/3987/task/4035/stat : 4035 (pb_cplex) R 3986 3986 2899 0 -1 4202560 87871 0 0 0 19549 53 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4126728400 136008234 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3987/tid=4036] ppid=3986 vsize=354572 CPUtime=198.21 cores=1,3,5,7
/proc/3987/task/4036/stat : 4036 (pb_cplex) R 3986 3986 2899 0 -1 4202560 126906 0 0 0 19762 59 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4137214952 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4037] ppid=3986 vsize=354572 CPUtime=194.1 cores=1,3,5,7
/proc/3987/task/4037/stat : 4037 (pb_cplex) R 3986 3986 2899 0 -1 4202560 54022 0 0 0 19371 39 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4147700712 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4038] ppid=3986 vsize=354572 CPUtime=203.86 cores=1,3,5,7
/proc/3987/task/4038/stat : 4038 (pb_cplex) R 3986 3986 2899 0 -1 4202560 101334 0 0 0 20333 53 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4099912272 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3987/tid=4039] ppid=3986 vsize=354572 CPUtime=236.97 cores=1,3,5,7
/proc/3987/task/4039/stat : 4039 (pb_cplex) R 3986 3986 2899 0 -1 4202560 87601 0 0 0 23648 49 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4025143504 136008168 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4040] ppid=3986 vsize=354572 CPUtime=184.2 cores=1,3,5,7
/proc/3987/task/4040/stat : 4040 (pb_cplex) R 3986 3986 2899 0 -1 4202560 158474 0 0 0 18352 68 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4014657744 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3987/tid=4041] ppid=3986 vsize=354572 CPUtime=189.46 cores=1,3,5,7
/proc/3987/task/4041/stat : 4041 (pb_cplex) R 3986 3986 2899 0 -1 4202560 166845 0 0 0 18882 64 0 0 20 0 8 0 391171935 363081728 62011 33554432000 134512640 146736320 4293044464 4004171984 136008039 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 363720
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 3986 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=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 536.117
CPU time (s): 1800.31
CPU user time (s): 1795.37
CPU system time (s): 4.94
CPU usage (%): 335.806
Max. virtual memory (cumulated for all children) (KiB): 461896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
runsolver used 1.39079 second user time and 3.97539 second system time
The end