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-3731477-1339246866/watcher-3731477-1339246866 -o /tmp/evaluation-result-3731477-1339246866/solver-3731477-1339246866 -C 1800 -W 1900 -M 15500 run HOME/instance-3731477-1339246866.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.60 0.14 0.05 3/178 26213
/proc/meminfo: memFree=29389400/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[startup+0.022833 s]
/proc/loadavg: 0.60 0.14 0.05 3/178 26213
/proc/meminfo: memFree=29389400/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 0.60 0.14 0.05 3/178 26213
/proc/meminfo: memFree=29389400/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 0.60 0.14 0.05 3/178 26213
/proc/meminfo: memFree=29389400/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 0.60 0.14 0.05 3/178 26213
/proc/meminfo: memFree=29389400/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 0.60 0.14 0.05 3/180 26215
/proc/meminfo: memFree=29292144/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=17016 CPUtime=1.49 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 5265 0 0 0 149 0 0 0 20 0 1 0 390811546 17424384 1938 33554432000 134512640 146736320 4294156976 4294152152 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26214/statm: 4254 1938 890 2985 0 1188 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26164
[startup+3.10042 s]
/proc/loadavg: 0.71 0.17 0.06 10/187 26222
/proc/meminfo: memFree=29274976/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=118760 CPUtime=5.97 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 11601 0 0 0 577 20 0 0 20 0 8 0 390811546 121610240 7597 33554432000 134512640 146736320 4294156976 4294149840 136008050 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26214/statm: 29690 7597 927 2985 0 26624 0
[pid=26214/tid=26216] ppid=26213 vsize=118760 CPUtime=0.46 cores=1,3,5,7
/proc/26214/task/26216/stat : 26216 (pb_cplex) R 26213 26213 26012 0 -1 4202560 565 0 0 0 46 0 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4147986888 136000794 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26217] ppid=26213 vsize=118760 CPUtime=0.46 cores=1,3,5,7
/proc/26214/task/26217/stat : 26217 (pb_cplex) R 26213 26213 26012 0 -1 4202560 699 0 0 0 46 0 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4137500880 136008086 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26218] ppid=26213 vsize=118760 CPUtime=0.69 cores=1,3,5,7
/proc/26214/task/26218/stat : 26218 (pb_cplex) R 26213 26213 26012 0 -1 4202560 577 0 0 0 60 9 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4127015368 136000767 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26219] ppid=26213 vsize=118760 CPUtime=0.42 cores=1,3,5,7
/proc/26214/task/26219/stat : 26219 (pb_cplex) R 26213 26213 26012 0 -1 4202560 583 0 0 0 40 2 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4116528968 135526013 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26220] ppid=26213 vsize=118760 CPUtime=0.71 cores=1,3,5,7
/proc/26214/task/26220/stat : 26220 (pb_cplex) R 26213 26213 26012 0 -1 4202560 576 0 0 0 71 0 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4106043600 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26221] ppid=26213 vsize=118760 CPUtime=0.36 cores=1,3,5,7
/proc/26214/task/26221/stat : 26221 (pb_cplex) R 26213 26213 26012 0 -1 4202560 550 0 0 0 32 4 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4095557700 136385183 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26222] ppid=26213 vsize=118760 CPUtime=0.39 cores=1,3,5,7
/proc/26214/task/26222/stat : 26222 (pb_cplex) R 26213 26213 26012 0 -1 4202560 445 0 0 0 37 2 0 0 20 0 8 0 390811724 121610240 7597 33554432000 134512640 146736320 4294156976 4085072080 136008044 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 127908
[startup+6.30045 s]
/proc/loadavg: 0.71 0.17 0.06 10/186 26222
/proc/meminfo: memFree=29174216/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=120016 CPUtime=17.95 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 11846 0 0 0 1732 63 0 0 20 0 8 0 390811546 122896384 7814 33554432000 134512640 146736320 4294156976 4294150088 136000794 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26214/statm: 30004 7814 927 2985 0 26938 0
[pid=26214/tid=26216] ppid=26213 vsize=120016 CPUtime=2.12 cores=1,3,5,7
/proc/26214/task/26216/stat : 26216 (pb_cplex) R 26213 26213 26012 0 -1 4202560 624 0 0 0 207 5 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4147986640 136008245 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26217] ppid=26213 vsize=120016 CPUtime=1.87 cores=1,3,5,7
/proc/26214/task/26217/stat : 26217 (pb_cplex) R 26213 26213 26012 0 -1 4202560 759 0 0 0 183 4 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4137500720 136384846 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26218] ppid=26213 vsize=120016 CPUtime=1.99 cores=1,3,5,7
/proc/26214/task/26218/stat : 26218 (pb_cplex) R 26213 26213 26012 0 -1 4202560 578 0 0 0 179 20 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4127014968 136475873 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26219] ppid=26213 vsize=120016 CPUtime=2.4 cores=1,3,5,7
/proc/26214/task/26219/stat : 26219 (pb_cplex) R 26213 26213 26012 0 -1 4202560 587 0 0 0 228 12 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4116530152 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26220] ppid=26213 vsize=120016 CPUtime=2.15 cores=1,3,5,7
/proc/26214/task/26220/stat : 26220 (pb_cplex) R 26213 26213 26012 0 -1 4202560 634 0 0 0 213 2 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4106042540 135454079 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26221] ppid=26213 vsize=120016 CPUtime=1.58 cores=1,3,5,7
/proc/26214/task/26221/stat : 26221 (pb_cplex) R 26213 26213 26012 0 -1 4202560 608 0 0 0 151 7 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4095557840 136008020 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26222] ppid=26213 vsize=120016 CPUtime=2.17 cores=1,3,5,7
/proc/26214/task/26222/stat : 26222 (pb_cplex) R 26213 26213 26012 0 -1 4202560 449 0 0 0 210 7 0 0 20 0 8 0 390811724 122896384 7814 33554432000 134512640 146736320 4294156976 4085072328 136001705 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.95
Current children cumulated vsize (KiB) 129164
[startup+12.7004 s]
/proc/loadavg: 1.06 0.27 0.09 3/186 26236
/proc/meminfo: memFree=29149216/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=149972 CPUtime=32.12 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 22824 0 0 0 3084 128 0 0 20 0 8 0 390811546 153571328 14404 33554432000 134512640 146736320 4294156976 4294147036 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26214/statm: 37493 14404 967 2985 0 34427 0
[pid=26214/tid=26230] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) S 26213 26213 26012 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4136554128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) S 26213 26213 26012 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4116532880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) S 26213 26213 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4051402384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) S 26213 26213 26012 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4040916624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=149972 CPUtime=0 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) S 26213 26213 26012 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390812643 153571328 14404 33554432000 134512640 146736320 4294156976 4030430864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 32.12
Current children cumulated vsize (KiB) 159120
[startup+25.5004 s]
/proc/loadavg: 1.76 0.44 0.15 7/182 26243
/proc/meminfo: memFree=29645364/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=161236 CPUtime=68.09 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) S 26213 26213 26012 0 -1 4202496 28562 0 0 0 6589 220 0 0 20 0 8 0 390811546 165105664 17332 33554432000 134512640 146736320 4294156976 4294153360 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26214/statm: 40309 17332 969 2985 0 37243 0
[pid=26214/tid=26230] ppid=26213 vsize=161236 CPUtime=3.9 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 737 0 0 0 371 19 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=161236 CPUtime=4.04 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) R 26213 26213 26012 0 -1 4202560 165 0 0 0 383 21 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4136550312 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=161236 CPUtime=4.01 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 923 0 0 0 388 13 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=161236 CPUtime=4.01 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) R 26213 26213 26012 0 -1 4202560 593 0 0 0 397 4 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4116528520 136000426 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=161236 CPUtime=4.46 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) R 26213 26213 26012 0 -1 4202560 496 0 0 0 439 7 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4051399112 136000758 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=161236 CPUtime=3.98 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) R 26213 26213 26012 0 -1 4202560 836 0 0 0 394 4 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4040912016 136008058 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=161236 CPUtime=3.64 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) S 26213 26213 26012 0 -1 4202560 962 0 0 0 342 22 0 0 20 0 8 0 390812643 165105664 17332 33554432000 134512640 146736320 4294156976 4030430864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 68.09
Current children cumulated vsize (KiB) 170384
[startup+51.1004 s]
/proc/loadavg: 4.63 1.21 0.41 5/193 26320
/proc/meminfo: memFree=29356976/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=175572 CPUtime=155.5 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 37786 0 0 0 15000 550 0 0 20 0 8 0 390811546 179785728 20420 33554432000 134512640 146736320 4294156976 4294149852 136389131 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26214/statm: 43893 20420 973 2985 0 40827 0
[pid=26214/tid=26230] ppid=26213 vsize=175572 CPUtime=14.34 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 3196 0 0 0 1356 78 0 0 20 0 8 0 390812643 179785728 20420 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=175572 CPUtime=14.9 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) R 26213 26213 26012 0 -1 4202560 179 0 0 0 1439 51 0 0 20 0 8 0 390812643 179785728 20420 33554432000 134512640 146736320 4294156976 4136550492 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=175572 CPUtime=14.51 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 1303 0 0 0 1388 63 0 0 20 0 8 0 390812643 179785728 20420 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=175572 CPUtime=14.41 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) R 26213 26213 26012 0 -1 4202560 3570 0 0 0 1396 45 0 0 20 0 8 0 390812643 179785728 20420 33554432000 134512640 146736320 4294156976 4116529220 136385183 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=175572 CPUtime=15.44 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) R 26213 26213 26012 0 -1 4202560 1715 0 0 0 1487 57 0 0 20 0 8 0 390812643 179785728 20420 33554432000 134512640 146736320 4294156976 4051399656 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=175572 CPUtime=14.88 cores=1,3,5,7
################
# More data... #
################
/proc/26214/statm: 51643 29921 985 2985 0 48577 0
[pid=26214/tid=26230] ppid=26213 vsize=206572 CPUtime=110.6 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 4973 0 0 0 10893 167 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=206572 CPUtime=114.75 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) R 26213 26213 26012 0 -1 4202560 3635 0 0 0 11342 133 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4136551448 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=206572 CPUtime=106.17 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 5911 0 0 0 10471 146 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=206572 CPUtime=126.41 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) S 26213 26213 26012 0 -1 4202560 11862 0 0 0 12502 139 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4116532880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=206572 CPUtime=111.67 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) S 26213 26213 26012 0 -1 4202560 6888 0 0 0 11029 138 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4051402384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=206572 CPUtime=128 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) S 26213 26213 26012 0 -1 4202560 6218 0 0 0 12684 116 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4040916624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=206572 CPUtime=112.6 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) S 26213 26213 26012 0 -1 4202560 5553 0 0 0 11106 154 0 0 20 0 8 0 390812643 211529728 29921 33554432000 134512640 146736320 4294156976 4030430864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 955.11
Current children cumulated vsize (KiB) 215720
[startup+342.3 s]
/proc/loadavg: 11.94 8.09 3.59 17/193 26379
/proc/meminfo: memFree=28865568/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=212904 CPUtime=1168.99 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 84179 0 0 0 115451 1448 0 0 20 0 8 0 390811546 218013696 31464 33554432000 134512640 146736320 4294156976 4294148780 135454007 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26214/statm: 53226 31464 985 2985 0 50160 0
[pid=26214/tid=26230] ppid=26213 vsize=212904 CPUtime=136.99 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) R 26213 26213 26012 0 -1 4202560 5210 0 0 0 13505 194 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4066369744 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=212904 CPUtime=141.48 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) R 26213 26213 26012 0 -1 4202560 4038 0 0 0 13982 166 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4136551448 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=212904 CPUtime=132.82 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) R 26213 26213 26012 0 -1 4202560 7368 0 0 0 13110 172 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4147036368 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=212904 CPUtime=153.45 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) R 26213 26213 26012 0 -1 4202560 12480 0 0 0 15165 180 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4116529368 136008665 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=212904 CPUtime=138.25 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) R 26213 26213 26012 0 -1 4202560 8003 0 0 0 13666 159 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4051398472 135525914 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=212904 CPUtime=154.56 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) R 26213 26213 26012 0 -1 4202560 6219 0 0 0 15302 154 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4040913352 136000532 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=212904 CPUtime=139.61 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) R 26213 26213 26012 0 -1 4202560 6877 0 0 0 13779 182 0 0 20 0 8 0 390812643 218013696 31464 33554432000 134512640 146736320 4294156976 4030425552 135461622 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1168.99
Current children cumulated vsize (KiB) 222052
[startup+402.3 s]
/proc/loadavg: 12.17 8.81 4.11 5/193 26379
/proc/meminfo: memFree=28786316/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=216584 CPUtime=1382.54 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) S 26213 26213 26012 0 -1 4202496 88306 0 0 0 136615 1639 0 0 20 0 8 0 390811546 221782016 32557 33554432000 134512640 146736320 4294156976 4294153360 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26214/statm: 54146 32557 985 2985 0 51080 0
[pid=26214/tid=26230] ppid=26213 vsize=216584 CPUtime=164.15 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) R 26213 26213 26012 0 -1 4202560 6022 0 0 0 16191 224 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4066370536 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=216584 CPUtime=168.09 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) R 26213 26213 26012 0 -1 4202560 5253 0 0 0 16622 187 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4136551400 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=216584 CPUtime=159.51 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) R 26213 26213 26012 0 -1 4202560 7453 0 0 0 15754 197 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4147036232 139042890 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=216584 CPUtime=180.38 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) R 26213 26213 26012 0 -1 4202560 12480 0 0 0 17835 203 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4116529360 136008053 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=216584 CPUtime=164.54 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) R 26213 26213 26012 0 -1 4202560 8490 0 0 0 16276 178 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4051398860 136388866 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=216584 CPUtime=181.68 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) R 26213 26213 26012 0 -1 4202560 6219 0 0 0 17992 176 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4040913104 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=216584 CPUtime=165.8 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) R 26213 26213 26012 0 -1 4202560 8127 0 0 0 16371 209 0 0 20 0 8 0 390812643 221782016 32557 33554432000 134512640 146736320 4294156976 4030427204 136385179 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1382.54
Current children cumulated vsize (KiB) 225732
[startup+462.3 s]
/proc/loadavg: 9.95 8.83 4.41 17/193 26379
/proc/meminfo: memFree=28717248/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=218400 CPUtime=1596.57 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) R 26213 26213 26012 0 -1 4202496 90689 0 0 0 157771 1886 0 0 20 0 8 0 390811546 223641600 32880 33554432000 134512640 146736320 4294156976 4294148796 135453309 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26214/statm: 54600 32880 985 2985 0 51534 0
[pid=26214/tid=26230] ppid=26213 vsize=218400 CPUtime=190.86 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 6023 0 0 0 18821 265 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=218400 CPUtime=195.05 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) S 26213 26213 26012 0 -1 4202560 5350 0 0 0 19291 214 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4136554128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=218400 CPUtime=185.6 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 7899 0 0 0 18334 226 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=218400 CPUtime=207.56 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) S 26213 26213 26012 0 -1 4202560 12480 0 0 0 20523 233 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4116532880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=218400 CPUtime=190.67 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) S 26213 26213 26012 0 -1 4202560 8928 0 0 0 18862 205 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4051402384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=218400 CPUtime=207.73 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) R 26213 26213 26012 0 -1 4202560 6285 0 0 0 20575 198 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4040913896 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=218400 CPUtime=192.74 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) R 26213 26213 26012 0 -1 4202560 8639 0 0 0 19036 238 0 0 20 0 8 0 390812643 223641600 32880 33554432000 134512640 146736320 4294156976 4030427356 136009736 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1596.57
Current children cumulated vsize (KiB) 227548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+518.5 s]
/proc/loadavg: 11.91 9.46 4.87 6/193 26379
/proc/meminfo: memFree=28653140/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=219440 CPUtime=1800.1 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) S 26213 26213 26012 0 -1 4202496 92066 0 0 0 177893 2117 0 0 20 0 8 0 390811546 224706560 33168 33554432000 134512640 146736320 4294156976 4294153360 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26214/statm: 54860 33168 985 2985 0 51794 0
[pid=26214/tid=26230] ppid=26213 vsize=219440 CPUtime=215.79 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 6023 0 0 0 21283 296 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=219440 CPUtime=220.81 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) S 26213 26213 26012 0 -1 4202560 5632 0 0 0 21837 244 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4136554128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=219440 CPUtime=211.08 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 7900 0 0 0 20853 255 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=219440 CPUtime=233.31 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) R 26213 26213 26012 0 -1 4202560 12495 0 0 0 23077 254 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4116530152 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=219440 CPUtime=216.18 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) S 26213 26213 26012 0 -1 4202560 8946 0 0 0 21384 234 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4051402384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=219440 CPUtime=232.94 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) R 26213 26213 26012 0 -1 4202560 7057 0 0 0 23064 230 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4040913104 136008212 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=219440 CPUtime=218.21 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) S 26213 26213 26012 0 -1 4202560 8696 0 0 0 21541 280 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4030430864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+518.5 s]
/proc/loadavg: 11.91 9.46 4.87 6/193 26379
/proc/meminfo: memFree=28653140/32873844 swapFree=7632/7632
[pid=26213] ppid=26211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26213/stat : 26213 (run) S 26211 26213 26012 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811546 9367552 270 33554432000 4194304 5064252 140735938077088 140735938076000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26213/statm: 2287 270 229 213 0 72 0
[pid=26214] ppid=26213 vsize=219440 CPUtime=1800.1 cores=1,3,5,7
/proc/26214/stat : 26214 (pb_cplex) S 26213 26213 26012 0 -1 4202496 92066 0 0 0 177893 2117 0 0 20 0 8 0 390811546 224706560 33168 33554432000 134512640 146736320 4294156976 4294153360 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26214/statm: 54860 33168 985 2985 0 51794 0
[pid=26214/tid=26230] ppid=26213 vsize=219440 CPUtime=215.79 cores=1,3,5,7
/proc/26214/task/26230/stat : 26230 (pb_cplex) S 26213 26213 26012 0 -1 4202560 6023 0 0 0 21283 296 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26231] ppid=26213 vsize=219440 CPUtime=220.81 cores=1,3,5,7
/proc/26214/task/26231/stat : 26231 (pb_cplex) S 26213 26213 26012 0 -1 4202560 5632 0 0 0 21837 244 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4136554128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26232] ppid=26213 vsize=219440 CPUtime=211.08 cores=1,3,5,7
/proc/26214/task/26232/stat : 26232 (pb_cplex) S 26213 26213 26012 0 -1 4202560 7900 0 0 0 20853 255 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4147039888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26214/tid=26233] ppid=26213 vsize=219440 CPUtime=233.31 cores=1,3,5,7
/proc/26214/task/26233/stat : 26233 (pb_cplex) R 26213 26213 26012 0 -1 4202560 12495 0 0 0 23077 254 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4116530152 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26214/tid=26234] ppid=26213 vsize=219440 CPUtime=216.18 cores=1,3,5,7
/proc/26214/task/26234/stat : 26234 (pb_cplex) S 26213 26213 26012 0 -1 4202560 8946 0 0 0 21384 234 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4051402384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26235] ppid=26213 vsize=219440 CPUtime=232.94 cores=1,3,5,7
/proc/26214/task/26235/stat : 26235 (pb_cplex) R 26213 26213 26012 0 -1 4202560 7057 0 0 0 23064 230 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4040913104 136008212 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26214/tid=26236] ppid=26213 vsize=219440 CPUtime=218.21 cores=1,3,5,7
/proc/26214/task/26236/stat : 26236 (pb_cplex) S 26213 26213 26012 0 -1 4202560 8696 0 0 0 21541 280 0 0 20 0 8 0 390812643 224706560 33168 33554432000 134512640 146736320 4294156976 4030430864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228588
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26213 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=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 518.517
CPU time (s): 1800.1
CPU user time (s): 1778.93
CPU system time (s): 21.17
CPU usage (%): 347.163
Max. virtual memory (cumulated for all children) (KiB): 230984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 1
runsolver used 1.65075 second user time and 3.38648 second system time
The end