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-3736435-1339248109/watcher-3736435-1339248109 -o /tmp/evaluation-result-3736435-1339248109/solver-3736435-1339248109 -C 1800 -W 1900 -M 15500 run HOME/instance-3736435-1339248109.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.73 6.06 4.75 5/182 17145
/proc/meminfo: memFree=28964892/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[startup+0.0341111 s]
/proc/loadavg: 4.73 6.06 4.75 5/182 17145
/proc/meminfo: memFree=28964892/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100166 s]
/proc/loadavg: 4.73 6.06 4.75 5/182 17145
/proc/meminfo: memFree=28964892/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 4.73 6.06 4.75 5/182 17145
/proc/meminfo: memFree=28964892/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700171 s]
/proc/loadavg: 4.73 6.06 4.75 5/182 17145
/proc/meminfo: memFree=28964892/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 4.73 6.06 4.75 6/191 17168
/proc/meminfo: memFree=28926992/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=140708 CPUtime=3.67 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 37322 0 0 0 352 15 0 0 20 0 8 0 390936425 144084992 13044 33554432000 134512640 146736320 4290634176 4290627816 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17146/statm: 35177 13044 964 2985 0 32111 0
[pid=17146/tid=17162] ppid=17145 vsize=140708 CPUtime=0.37 cores=0,2,4,6
/proc/17146/task/17162/stat : 17162 (pb_cplex) R 17145 17145 16516 0 -1 4202560 1975 0 0 0 37 0 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4130914904 136402267 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17163] ppid=17145 vsize=140708 CPUtime=0.34 cores=0,2,4,6
/proc/17146/task/17163/stat : 17163 (pb_cplex) R 17145 17145 16516 0 -1 4202560 1826 0 0 0 34 0 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4141401064 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17164] ppid=17145 vsize=140708 CPUtime=0.38 cores=0,2,4,6
/proc/17146/task/17164/stat : 17164 (pb_cplex) R 17145 17145 16516 0 -1 4202560 1993 0 0 0 38 0 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4151887108 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17165] ppid=17145 vsize=140708 CPUtime=0.36 cores=0,2,4,6
/proc/17146/task/17165/stat : 17165 (pb_cplex) R 17145 17145 16516 0 -1 4202560 3575 0 0 0 36 0 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4119776528 135459694 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17166] ppid=17145 vsize=140708 CPUtime=0.41 cores=0,2,4,6
/proc/17146/task/17166/stat : 17166 (pb_cplex) R 17145 17145 16516 0 -1 4202560 6102 0 0 0 39 2 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4100972824 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17167] ppid=17145 vsize=140708 CPUtime=0.37 cores=0,2,4,6
/proc/17146/task/17167/stat : 17167 (pb_cplex) R 17145 17145 16516 0 -1 4202560 5199 0 0 0 35 2 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4090490512 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17168] ppid=17145 vsize=140708 CPUtime=0.38 cores=0,2,4,6
/proc/17146/task/17168/stat : 17168 (pb_cplex) S 17145 17145 16516 0 -1 4202560 4525 0 0 0 36 2 0 0 20 0 8 0 390936462 144084992 13044 33554432000 134512640 146736320 4290634176 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 149856
[startup+3.1004 s]
/proc/loadavg: 4.73 6.06 4.75 11/191 17168
/proc/meminfo: memFree=28908516/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=170108 CPUtime=8.41 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 64032 0 0 0 819 22 0 0 20 0 8 0 390936425 174190592 19427 33554432000 134512640 146736320 4290634176 4290625932 136017491 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17146/statm: 42527 19427 968 2985 0 39461 0
[pid=17146/tid=17162] ppid=17145 vsize=170108 CPUtime=0.96 cores=0,2,4,6
/proc/17146/task/17162/stat : 17162 (pb_cplex) R 17145 17145 16516 0 -1 4202560 5080 0 0 0 96 0 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4130913328 136384861 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17163] ppid=17145 vsize=170108 CPUtime=0.96 cores=0,2,4,6
/proc/17146/task/17163/stat : 17163 (pb_cplex) R 17145 17145 16516 0 -1 4202560 4351 0 0 0 94 2 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4141398868 136387727 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17164] ppid=17145 vsize=170108 CPUtime=0.86 cores=0,2,4,6
/proc/17146/task/17164/stat : 17164 (pb_cplex) S 17145 17145 16516 0 -1 4202560 4525 0 0 0 86 0 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4151889552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17165] ppid=17145 vsize=170108 CPUtime=0.97 cores=0,2,4,6
/proc/17146/task/17165/stat : 17165 (pb_cplex) R 17145 17145 16516 0 -1 4202560 8038 0 0 0 95 2 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4119776232 139044552 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17166] ppid=17145 vsize=170108 CPUtime=1.07 cores=0,2,4,6
/proc/17146/task/17166/stat : 17166 (pb_cplex) R 17145 17145 16516 0 -1 4202560 8812 0 0 0 105 2 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4100972096 139046528 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17167] ppid=17145 vsize=170108 CPUtime=1.02 cores=0,2,4,6
/proc/17146/task/17167/stat : 17167 (pb_cplex) S 17145 17145 16516 0 -1 4202560 9616 0 0 0 99 3 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4090490512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17168] ppid=17145 vsize=170108 CPUtime=0.92 cores=0,2,4,6
/proc/17146/task/17168/stat : 17168 (pb_cplex) R 17145 17145 16516 0 -1 4202560 9190 0 0 0 90 2 0 0 20 0 8 0 390936462 174190592 19427 33554432000 134512640 146736320 4290634176 4069514380 136017760 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 179256
[startup+6.30641 s]
/proc/loadavg: 4.83 6.05 4.76 5/191 17168
/proc/meminfo: memFree=28887192/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=174384 CPUtime=18.57 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 96696 0 0 0 1825 32 0 0 20 0 8 0 390936425 178569216 21148 33554432000 134512640 146736320 4290634176 4290627716 135850322 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17146/statm: 43596 21148 968 2985 0 40530 0
[pid=17146/tid=17162] ppid=17145 vsize=174384 CPUtime=2.23 cores=0,2,4,6
/proc/17146/task/17162/stat : 17162 (pb_cplex) R 17145 17145 16516 0 -1 4202560 11137 0 0 0 220 3 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4130915304 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17163] ppid=17145 vsize=174384 CPUtime=2.37 cores=0,2,4,6
/proc/17146/task/17163/stat : 17163 (pb_cplex) R 17145 17145 16516 0 -1 4202560 12129 0 0 0 234 3 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4141399880 135525918 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17164] ppid=17145 vsize=174384 CPUtime=1.94 cores=0,2,4,6
/proc/17146/task/17164/stat : 17164 (pb_cplex) R 17145 17145 16516 0 -1 4202560 7401 0 0 0 192 2 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4151889580 144580332 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17165] ppid=17145 vsize=174384 CPUtime=2.18 cores=0,2,4,6
/proc/17146/task/17165/stat : 17165 (pb_cplex) R 17145 17145 16516 0 -1 4202560 12605 0 0 0 214 4 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4119778280 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17166] ppid=17145 vsize=174384 CPUtime=2.32 cores=0,2,4,6
/proc/17146/task/17166/stat : 17166 (pb_cplex) R 17145 17145 16516 0 -1 4202560 10250 0 0 0 229 3 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4100973544 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17167] ppid=17145 vsize=174384 CPUtime=2.2 cores=0,2,4,6
/proc/17146/task/17167/stat : 17167 (pb_cplex) R 17145 17145 16516 0 -1 4202560 12603 0 0 0 216 4 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4090487224 136015703 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17168] ppid=17145 vsize=174384 CPUtime=2.32 cores=0,2,4,6
/proc/17146/task/17168/stat : 17168 (pb_cplex) R 17145 17145 16516 0 -1 4202560 13681 0 0 0 229 3 0 0 20 0 8 0 390936462 178569216 21148 33554432000 134512640 146736320 4290634176 4069518992 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 18.57
Current children cumulated vsize (KiB) 183532
[startup+12.7004 s]
/proc/loadavg: 4.60 5.99 4.74 9/191 17168
/proc/meminfo: memFree=28859092/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=203348 CPUtime=38.29 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 145992 0 0 0 3781 48 0 0 20 0 8 0 390936425 208228352 27423 33554432000 134512640 146736320 4290634176 4290627716 135850295 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17146/statm: 50837 27423 968 2985 0 47771 0
[pid=17146/tid=17162] ppid=17145 vsize=203348 CPUtime=4.48 cores=0,2,4,6
/proc/17146/task/17162/stat : 17162 (pb_cplex) R 17145 17145 16516 0 -1 4202560 18874 0 0 0 443 5 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4130914212 136016571 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17163] ppid=17145 vsize=203348 CPUtime=4.92 cores=0,2,4,6
/proc/17146/task/17163/stat : 17163 (pb_cplex) R 17145 17145 16516 0 -1 4202560 15173 0 0 0 487 5 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4141400232 135983219 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17164] ppid=17145 vsize=203348 CPUtime=4.28 cores=0,2,4,6
/proc/17146/task/17164/stat : 17164 (pb_cplex) R 17145 17145 16516 0 -1 4202560 12664 0 0 0 424 4 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4151886416 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17165] ppid=17145 vsize=203348 CPUtime=4.64 cores=0,2,4,6
/proc/17146/task/17165/stat : 17165 (pb_cplex) R 17145 17145 16516 0 -1 4202560 20966 0 0 0 458 6 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4119777612 136017763 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17166] ppid=17145 vsize=203348 CPUtime=4.76 cores=0,2,4,6
/proc/17146/task/17166/stat : 17166 (pb_cplex) R 17145 17145 16516 0 -1 4202560 18721 0 0 0 470 6 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4100971528 136474418 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17167] ppid=17145 vsize=203348 CPUtime=4.9 cores=0,2,4,6
/proc/17146/task/17167/stat : 17167 (pb_cplex) R 17145 17145 16516 0 -1 4202560 16334 0 0 0 485 5 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4090487684 135851004 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17168] ppid=17145 vsize=203348 CPUtime=4.66 cores=0,2,4,6
/proc/17146/task/17168/stat : 17168 (pb_cplex) R 17145 17145 16516 0 -1 4202560 18950 0 0 0 462 4 0 0 20 0 8 0 390936462 208228352 27423 33554432000 134512640 146736320 4290634176 4069515432 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 212496
[startup+25.5004 s]
/proc/loadavg: 4.41 5.87 4.72 10/191 17168
/proc/meminfo: memFree=28831620/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=242860 CPUtime=78.61 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 291246 0 0 0 7769 92 0 0 20 0 8 0 390936425 248688640 35967 33554432000 134512640 146736320 4290634176 4290628008 136897294 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17146/statm: 60715 35967 996 2985 0 57649 0
[pid=17146/tid=17162] ppid=17145 vsize=242860 CPUtime=10.15 cores=0,2,4,6
/proc/17146/task/17162/stat : 17162 (pb_cplex) R 17145 17145 16516 0 -1 4202560 39801 0 0 0 1004 11 0 0 20 0 8 0 390936462 248688640 35967 33554432000 134512640 146736320 4290634176 4130914168 144715827 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17163] ppid=17145 vsize=242860 CPUtime=9.69 cores=0,2,4,6
/proc/17146/task/17163/stat : 17163 (pb_cplex) R 17145 17145 16516 0 -1 4202560 37542 0 0 0 959 10 0 0 20 0 8 0 390936462 248688640 35967 33554432000 134512640 146736320 4290634176 4141399924 144963134 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17164] ppid=17145 vsize=242860 CPUtime=9.33 cores=0,2,4,6
/proc/17146/task/17164/stat : 17164 (pb_cplex) R 17145 17145 16516 0 -1 4202560 28818 0 0 0 925 8 0 0 20 0 8 0 390936462 248688640 35968 33554432000 134512640 146736320 4290634176 4151884408 137176737 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17165] ppid=17145 vsize=242860 CPUtime=9.26 cores=0,2,4,6
/proc/17146/task/17165/stat : 17165 (pb_cplex) R 17145 17145 16516 0 -1 4202560 31768 0 0 0 916 10 0 0 20 0 8 0 390936462 248688640 35968 33554432000 134512640 146736320 4290634176 4119773968 135459805 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17166] ppid=17145 vsize=242860 CPUtime=9.76 cores=0,2,4,6
/proc/17146/task/17166/stat : 17166 (pb_cplex) R 17145 17145 16516 0 -1 4202560 34736 0 0 0 965 11 0 0 20 0 8 0 390936462 248688640 35968 33554432000 134512640 146736320 4290634176 4100970652 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17167] ppid=17145 vsize=242860 CPUtime=9.94 cores=0,2,4,6
/proc/17146/task/17167/stat : 17167 (pb_cplex) R 17145 17145 16516 0 -1 4202560 33728 0 0 0 983 11 0 0 20 0 8 0 390936462 248688640 35972 33554432000 134512640 146736320 4290634176 4090485800 136730185 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17168] ppid=17145 vsize=242860 CPUtime=9.61 cores=0,2,4,6
/proc/17146/task/17168/stat : 17168 (pb_cplex) R 17145 17145 16516 0 -1 4202560 40189 0 0 0 951 10 0 0 20 0 8 0 390936462 248688640 35974 33554432000 134512640 146736320 4290634176 4069512948 138462752 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 78.61
Current children cumulated vsize (KiB) 252008
[startup+51.1005 s]
/proc/loadavg: 4.02 5.69 4.69 11/191 17175
/proc/meminfo: memFree=28819528/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
################
# More data... #
################
/proc/17146/statm: 66144 42735 998 2985 0 63078 0
[pid=17146/tid=17169] ppid=17145 vsize=264576 CPUtime=126.98 cores=0,2,4,6
/proc/17146/task/17169/stat : 17169 (pb_cplex) S 17145 17145 16516 0 -1 4202560 110271 0 0 0 12635 63 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17170] ppid=17145 vsize=264576 CPUtime=123.78 cores=0,2,4,6
/proc/17146/task/17170/stat : 17170 (pb_cplex) R 17145 17145 16516 0 -1 4202560 104128 0 0 0 12316 62 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 4090490540 144580332 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17171] ppid=17145 vsize=264576 CPUtime=124.03 cores=0,2,4,6
/proc/17146/task/17171/stat : 17171 (pb_cplex) R 17145 17145 16516 0 -1 4202560 99940 0 0 0 12338 65 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 4100973248 135655987 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17172] ppid=17145 vsize=264576 CPUtime=122.26 cores=0,2,4,6
/proc/17146/task/17172/stat : 17172 (pb_cplex) R 17145 17145 16516 0 -1 4202560 95793 0 0 0 12166 60 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 4119777472 135468690 0 2 4096 16387 0 0 0 -1 0 0 0 1 0 0
[pid=17146/tid=17173] ppid=17145 vsize=264576 CPUtime=123.09 cores=0,2,4,6
/proc/17146/task/17173/stat : 17173 (pb_cplex) R 17145 17145 16516 0 -1 4202560 112422 0 0 0 12243 66 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 4148036584 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17174] ppid=17145 vsize=264576 CPUtime=121.68 cores=0,2,4,6
/proc/17146/task/17174/stat : 17174 (pb_cplex) R 17145 17145 16516 0 -1 4202560 114904 0 0 0 12106 62 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 4137549804 135454096 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17175] ppid=17145 vsize=264576 CPUtime=121.54 cores=0,2,4,6
/proc/17146/task/17175/stat : 17175 (pb_cplex) R 17145 17145 16516 0 -1 4202560 114445 0 0 0 12089 65 0 0 20 0 8 0 390941181 270925824 42735 33554432000 134512640 146736320 4290634176 3909084136 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1128.05
Current children cumulated vsize (KiB) 273724
[startup+402.305 s]
/proc/loadavg: 5.94 6.12 5.16 10/184 17236
/proc/meminfo: memFree=28505152/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=265276 CPUtime=1333.57 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 1540498 0 0 0 132568 789 0 0 20 0 8 0 390936425 271642624 42956 33554432000 134512640 146736320 4290634176 4290627816 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17146/statm: 66319 42956 998 2985 0 63253 0
[pid=17146/tid=17169] ppid=17145 vsize=265276 CPUtime=153.58 cores=0,2,4,6
/proc/17146/task/17169/stat : 17169 (pb_cplex) R 17145 17145 16516 0 -1 4202560 131141 0 0 0 15276 82 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 4069515264 135468690 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17170] ppid=17145 vsize=265276 CPUtime=149.18 cores=0,2,4,6
/proc/17146/task/17170/stat : 17170 (pb_cplex) R 17145 17145 16516 0 -1 4202560 120842 0 0 0 14838 80 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 4090487224 136015261 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17171] ppid=17145 vsize=265276 CPUtime=149.68 cores=0,2,4,6
/proc/17146/task/17171/stat : 17171 (pb_cplex) R 17145 17145 16516 0 -1 4202560 112380 0 0 0 14887 81 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 4100972544 135468575 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17172] ppid=17145 vsize=265276 CPUtime=147.3 cores=0,2,4,6
/proc/17146/task/17172/stat : 17172 (pb_cplex) R 17145 17145 16516 0 -1 4202560 109144 0 0 0 14654 76 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 4119779352 139023034 0 2 4096 16387 0 0 0 -1 4 0 0 1 0 0
[pid=17146/tid=17173] ppid=17145 vsize=265276 CPUtime=148.31 cores=0,2,4,6
/proc/17146/task/17173/stat : 17173 (pb_cplex) R 17145 17145 16516 0 -1 4202560 129953 0 0 0 14750 81 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 4148035584 135468673 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17174] ppid=17145 vsize=265276 CPUtime=146.75 cores=0,2,4,6
/proc/17146/task/17174/stat : 17174 (pb_cplex) R 17145 17145 16516 0 -1 4202560 133494 0 0 0 14597 78 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 4137550724 135850288 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17175] ppid=17145 vsize=265276 CPUtime=146.8 cores=0,2,4,6
/proc/17146/task/17175/stat : 17175 (pb_cplex) R 17145 17145 16516 0 -1 4202560 129091 0 0 0 14599 81 0 0 20 0 8 0 390941181 271642624 42956 33554432000 134512640 146736320 4290634176 3909083132 135526870 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1333.57
Current children cumulated vsize (KiB) 274424
[startup+462.3 s]
/proc/loadavg: 5.78 6.02 5.19 7/184 17236
/proc/meminfo: memFree=28476492/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=266992 CPUtime=1539.44 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) S 17145 17145 16516 0 -1 4202496 1700262 0 0 0 153014 930 0 0 20 0 8 0 390936425 273399808 43086 33554432000 134512640 146736320 4290634176 4290630544 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17146/statm: 66748 43086 998 2985 0 63682 0
[pid=17146/tid=17169] ppid=17145 vsize=266992 CPUtime=180.14 cores=0,2,4,6
/proc/17146/task/17169/stat : 17169 (pb_cplex) R 17145 17145 16516 0 -1 4202560 146282 0 0 0 17918 96 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 4069516264 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17170] ppid=17145 vsize=266992 CPUtime=174.43 cores=0,2,4,6
/proc/17146/task/17170/stat : 17170 (pb_cplex) R 17145 17145 16516 0 -1 4202560 142732 0 0 0 17347 96 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 4090487684 135850717 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17171] ppid=17145 vsize=266992 CPUtime=175.18 cores=0,2,4,6
/proc/17146/task/17171/stat : 17171 (pb_cplex) R 17145 17145 16516 0 -1 4202560 163029 0 0 0 17405 113 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 4100972524 135454063 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17172] ppid=17145 vsize=266992 CPUtime=172.58 cores=0,2,4,6
/proc/17146/task/17172/stat : 17172 (pb_cplex) R 17145 17145 16516 0 -1 4202560 119556 0 0 0 17167 91 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 4119778840 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 1 0 0
[pid=17146/tid=17173] ppid=17145 vsize=266992 CPUtime=173.98 cores=0,2,4,6
/proc/17146/task/17173/stat : 17173 (pb_cplex) S 17145 17145 16516 0 -1 4202560 144429 0 0 0 17301 97 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 4148039312 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17174] ppid=17145 vsize=266992 CPUtime=171.91 cores=0,2,4,6
/proc/17146/task/17174/stat : 17174 (pb_cplex) S 17145 17145 16516 0 -1 4202560 145358 0 0 0 17098 93 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 4137553552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17146/tid=17175] ppid=17145 vsize=266992 CPUtime=171.89 cores=0,2,4,6
/proc/17146/task/17175/stat : 17175 (pb_cplex) R 17145 17145 16516 0 -1 4202560 139396 0 0 0 17093 96 0 0 20 0 8 0 390941181 273399808 43086 33554432000 134512640 146736320 4290634176 3909083736 136402275 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1539.44
Current children cumulated vsize (KiB) 276140
[startup+522.3 s]
/proc/loadavg: 6.34 6.10 5.26 7/185 17239
/proc/meminfo: memFree=28495488/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=267140 CPUtime=1742.69 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) R 17145 17145 16516 0 -1 4202496 1929774 0 0 0 173181 1088 0 0 20 0 8 0 390936425 273551360 43172 33554432000 134512640 146736320 4290634176 4290629480 136671881 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17146/statm: 66785 43172 998 2985 0 63719 0
[pid=17146/tid=17169] ppid=17145 vsize=267140 CPUtime=206.01 cores=0,2,4,6
/proc/17146/task/17169/stat : 17169 (pb_cplex) R 17145 17145 16516 0 -1 4202560 161180 0 0 0 20489 112 0 0 20 0 8 0 390941181 273551360 43174 33554432000 134512640 146736320 4290634176 4069519020 144580332 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17170] ppid=17145 vsize=267140 CPUtime=199.36 cores=0,2,4,6
/proc/17146/task/17170/stat : 17170 (pb_cplex) R 17145 17145 16516 0 -1 4202560 161404 0 0 0 19822 114 0 0 20 0 8 0 390941181 273551360 43181 33554432000 134512640 146736320 4290634176 4090487784 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17171] ppid=17145 vsize=267140 CPUtime=200.25 cores=0,2,4,6
/proc/17146/task/17171/stat : 17171 (pb_cplex) R 17145 17145 16516 0 -1 4202560 215924 0 0 0 19880 145 0 0 20 0 8 0 390941181 273551360 43183 33554432000 134512640 146736320 4290634176 4100972532 138462749 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17172] ppid=17145 vsize=267140 CPUtime=197.97 cores=0,2,4,6
/proc/17146/task/17172/stat : 17172 (pb_cplex) R 17145 17145 16516 0 -1 4202560 157796 0 0 0 19681 116 0 0 20 0 8 0 390941181 273551360 43183 33554432000 134512640 146736320 4290634176 4119775996 135526829 0 2 4096 16387 0 0 0 -1 0 0 0 1 0 0
[pid=17146/tid=17173] ppid=17145 vsize=267140 CPUtime=199.27 cores=0,2,4,6
/proc/17146/task/17173/stat : 17173 (pb_cplex) R 17145 17145 16516 0 -1 4202560 186363 0 0 0 19805 122 0 0 20 0 8 0 390941181 273551360 43183 33554432000 134512640 146736320 4290634176 4148036484 135850737 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17174] ppid=17145 vsize=267140 CPUtime=196.93 cores=0,2,4,6
/proc/17146/task/17174/stat : 17174 (pb_cplex) R 17145 17145 16516 0 -1 4202560 169201 0 0 0 19583 110 0 0 20 0 8 0 390941181 273551360 43172 33554432000 134512640 146736320 4290634176 4137553552 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17175] ppid=17145 vsize=267140 CPUtime=196.36 cores=0,2,4,6
/proc/17146/task/17175/stat : 17175 (pb_cplex) S 17145 17145 16516 0 -1 4202560 167159 0 0 0 19521 115 0 0 20 0 8 0 390941181 273551360 43172 33554432000 134512640 146736320 4290634176 3909086864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1742.69
Current children cumulated vsize (KiB) 276288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+539.1 s]
/proc/loadavg: 6.43 6.13 5.29 7/185 17239
/proc/meminfo: memFree=28495244/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=267116 CPUtime=1800.07 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) S 17145 17145 16516 0 -1 4202496 1966211 0 0 0 178880 1127 0 0 20 0 8 0 390936425 273526784 43164 33554432000 134512640 146736320 4290634176 4290630544 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17146/statm: 66779 43164 998 2985 0 63713 0
[pid=17146/tid=17169] ppid=17145 vsize=267116 CPUtime=213.42 cores=0,2,4,6
/proc/17146/task/17169/stat : 17169 (pb_cplex) R 17145 17145 16516 0 -1 4202560 163144 0 0 0 21227 115 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4069516264 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17170] ppid=17145 vsize=267116 CPUtime=206.44 cores=0,2,4,6
/proc/17146/task/17170/stat : 17170 (pb_cplex) S 17145 17145 16516 0 -1 4202560 162806 0 0 0 20527 117 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4090490512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17171] ppid=17145 vsize=267116 CPUtime=207.48 cores=0,2,4,6
/proc/17146/task/17171/stat : 17171 (pb_cplex) R 17145 17145 16516 0 -1 4202560 224797 0 0 0 20597 151 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4100973404 139023039 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17172] ppid=17145 vsize=267116 CPUtime=205.05 cores=0,2,4,6
/proc/17146/task/17172/stat : 17172 (pb_cplex) S 17145 17145 16516 0 -1 4202560 158818 0 0 0 20382 123 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4119781008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=17146/tid=17173] ppid=17145 vsize=267116 CPUtime=206.26 cores=0,2,4,6
/proc/17146/task/17173/stat : 17173 (pb_cplex) R 17145 17145 16516 0 -1 4202560 192257 0 0 0 20500 126 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4148036484 135850322 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17174] ppid=17145 vsize=267116 CPUtime=204.06 cores=0,2,4,6
/proc/17146/task/17174/stat : 17174 (pb_cplex) S 17145 17145 16516 0 -1 4202560 170714 0 0 0 20290 116 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4137553552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17175] ppid=17145 vsize=267116 CPUtime=203.28 cores=0,2,4,6
/proc/17146/task/17175/stat : 17175 (pb_cplex) R 17145 17145 16516 0 -1 4202560 182879 0 0 0 20202 126 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 3909084136 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 276264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+539.1 s]
/proc/loadavg: 6.43 6.13 5.29 7/185 17239
/proc/meminfo: memFree=28495244/32873624 swapFree=7112/7112
[pid=17145] ppid=17143 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17145/stat : 17145 (run) S 17143 17145 16516 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390936425 9367552 270 33554432000 4194304 5064252 140734688904208 140734688903120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17145/statm: 2287 270 229 213 0 72 0
[pid=17146] ppid=17145 vsize=267116 CPUtime=1800.07 cores=0,2,4,6
/proc/17146/stat : 17146 (pb_cplex) S 17145 17145 16516 0 -1 4202496 1966211 0 0 0 178880 1127 0 0 20 0 8 0 390936425 273526784 43164 33554432000 134512640 146736320 4290634176 4290630544 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17146/statm: 66779 43164 998 2985 0 63713 0
[pid=17146/tid=17169] ppid=17145 vsize=267116 CPUtime=213.42 cores=0,2,4,6
/proc/17146/task/17169/stat : 17169 (pb_cplex) R 17145 17145 16516 0 -1 4202560 163144 0 0 0 21227 115 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4069516264 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17170] ppid=17145 vsize=267116 CPUtime=206.44 cores=0,2,4,6
/proc/17146/task/17170/stat : 17170 (pb_cplex) S 17145 17145 16516 0 -1 4202560 162806 0 0 0 20527 117 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4090490512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17171] ppid=17145 vsize=267116 CPUtime=207.48 cores=0,2,4,6
/proc/17146/task/17171/stat : 17171 (pb_cplex) R 17145 17145 16516 0 -1 4202560 224797 0 0 0 20597 151 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4100973404 139023039 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17146/tid=17172] ppid=17145 vsize=267116 CPUtime=205.05 cores=0,2,4,6
/proc/17146/task/17172/stat : 17172 (pb_cplex) S 17145 17145 16516 0 -1 4202560 158818 0 0 0 20382 123 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4119781008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=17146/tid=17173] ppid=17145 vsize=267116 CPUtime=206.26 cores=0,2,4,6
/proc/17146/task/17173/stat : 17173 (pb_cplex) R 17145 17145 16516 0 -1 4202560 192257 0 0 0 20500 126 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4148036484 135850322 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17146/tid=17174] ppid=17145 vsize=267116 CPUtime=204.06 cores=0,2,4,6
/proc/17146/task/17174/stat : 17174 (pb_cplex) S 17145 17145 16516 0 -1 4202560 170714 0 0 0 20290 116 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 4137553552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17146/tid=17175] ppid=17145 vsize=267116 CPUtime=203.28 cores=0,2,4,6
/proc/17146/task/17175/stat : 17175 (pb_cplex) R 17145 17145 16516 0 -1 4202560 182879 0 0 0 20202 126 0 0 20 0 8 0 390941181 273526784 43164 33554432000 134512640 146736320 4290634176 3909084136 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 276264
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17145 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 539.116
CPU time (s): 1800.07
CPU user time (s): 1788.8
CPU system time (s): 11.27
CPU usage (%): 333.893
Max. virtual memory (cumulated for all children) (KiB): 315404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
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 2.01169 second user time and 3.06453 second system time
The end