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-3729777-1339246838/watcher-3729777-1339246838 -o /tmp/evaluation-result-3729777-1339246838/solver-3729777-1339246838 -C 1800 -W 1900 -M 15500 run HOME/instance-3729777-1339246838.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: 0.00 0.00 0.00 2/172 31266
/proc/meminfo: memFree=31843232/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[startup+0.015738 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31266
/proc/meminfo: memFree=31843232/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100212 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31266
/proc/meminfo: memFree=31843232/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300187 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31266
/proc/meminfo: memFree=31843232/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700221 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31266
/proc/meminfo: memFree=31843232/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 0.16 0.03 0.01 2/181 31275
/proc/meminfo: memFree=31807300/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=76348 CPUtime=2.67 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 13750 0 0 0 253 14 0 0 20 0 1 0 390809076 78180352 5286 33554432000 134512640 146736320 4293662896 4293656804 136385109 0 0 4096 16387 0 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 19087 5286 888 2985 0 16021 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 85496
[startup+3.10055 s]
/proc/loadavg: 0.16 0.03 0.01 2/181 31289
/proc/meminfo: memFree=31814328/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=119356 CPUtime=4.4 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 20476 0 0 0 416 24 0 0 20 0 8 0 390809076 122220544 7776 33554432000 134512640 146736320 4293662896 4293654280 135525911 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 29839 7776 896 2985 0 26773 0
[pid=31267/tid=31283] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) S 31266 31266 31228 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4130360976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) S 31266 31266 31228 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4140846736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) S 31266 31266 31228 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4151332496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) S 31266 31266 31228 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4117724816 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31287] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) S 31266 31266 31228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4096781968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) S 31266 31266 31228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4086296208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=119356 CPUtime=0 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) S 31266 31266 31228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390809279 122220544 7776 33554432000 134512640 146736320 4293662896 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 128504
[startup+6.3004 s]
/proc/loadavg: 0.16 0.03 0.01 3/187 31311
/proc/meminfo: memFree=31615664/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=126976 CPUtime=14.02 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) S 31266 31266 31228 0 -1 4202496 27367 0 0 0 1373 29 0 0 20 0 8 0 390809076 130023424 9779 33554432000 134512640 146736320 4293662896 4293659280 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 31744 9779 896 2985 0 28678 0
[pid=31267/tid=31283] ppid=31266 vsize=126976 CPUtime=0.98 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) S 31266 31266 31228 0 -1 4202560 1838 0 0 0 98 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4130360976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=126976 CPUtime=1.16 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 314 0 0 0 116 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4140844008 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=126976 CPUtime=1.25 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 60 0 0 0 125 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4151328920 136007677 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=126976 CPUtime=0.84 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 622 0 0 0 84 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4117721160 139042902 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31287] ppid=31266 vsize=126976 CPUtime=0.87 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 647 0 0 0 87 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4096778344 136384784 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=126976 CPUtime=1.97 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 220 0 0 0 197 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4086292632 136007073 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=126976 CPUtime=0.98 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 567 0 0 0 98 0 0 0 20 0 8 0 390809279 130023424 9779 33554432000 134512640 146736320 4293662896 4067418284 135454096 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 14.02
Current children cumulated vsize (KiB) 136124
[startup+12.7004 s]
/proc/loadavg: 1.59 0.34 0.11 10/187 31311
/proc/meminfo: memFree=31444044/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=128000 CPUtime=37.52 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) S 31266 31266 31228 0 -1 4202496 31103 0 0 0 3705 47 0 0 20 0 8 0 390809076 131072000 9936 33554432000 134512640 146736320 4293662896 4293659280 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 32000 9936 896 2985 0 28934 0
[pid=31267/tid=31283] ppid=31266 vsize=128000 CPUtime=3.84 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 3019 0 0 0 380 4 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4130357400 136007050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=128000 CPUtime=4.23 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 1659 0 0 0 419 4 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4140843216 136008160 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=128000 CPUtime=4.08 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 75 0 0 0 405 3 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4151329224 135999265 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=128000 CPUtime=3.88 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 641 0 0 0 386 2 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4117722088 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31287] ppid=31266 vsize=128000 CPUtime=3.86 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 1329 0 0 0 383 3 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4096778880 139039608 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=128000 CPUtime=4.71 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 255 0 0 0 469 2 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4086292936 136001890 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=128000 CPUtime=4.13 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 963 0 0 0 410 3 0 0 20 0 8 0 390809279 131072000 9936 33554432000 134512640 146736320 4293662896 4067418704 136403129 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 37.52
Current children cumulated vsize (KiB) 137148
[startup+25.5004 s]
/proc/loadavg: 2.20 0.51 0.17 8/187 31312
/proc/meminfo: memFree=31265168/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=129024 CPUtime=84.61 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) S 31266 31266 31228 0 -1 4202496 43398 0 0 0 8385 76 0 0 20 0 8 0 390809076 132120576 10412 33554432000 134512640 146736320 4293662896 4293659280 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 32256 10412 896 2985 0 29190 0
[pid=31267/tid=31283] ppid=31266 vsize=129024 CPUtime=9.76 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) S 31266 31266 31228 0 -1 4202560 5141 0 0 0 969 7 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4130360976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=129024 CPUtime=9.89 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) S 31266 31266 31228 0 -1 4202560 3393 0 0 0 982 7 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4140846736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=129024 CPUtime=9.76 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 77 0 0 0 970 6 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4151329212 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=129024 CPUtime=9.94 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) S 31266 31266 31228 0 -1 4202560 5288 0 0 0 987 7 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4117724816 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31287] ppid=31266 vsize=129024 CPUtime=9.88 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) S 31266 31266 31228 0 -1 4202560 2575 0 0 0 982 6 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4096781968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=129024 CPUtime=10.69 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) S 31266 31266 31228 0 -1 4202560 686 0 0 0 1063 6 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4086296208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=129024 CPUtime=10.05 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) S 31266 31266 31228 0 -1 4202560 1290 0 0 0 1000 5 0 0 20 0 8 0 390809279 132120576 10412 33554432000 134512640 146736320 4293662896 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 84.61
Current children cumulated vsize (KiB) 138172
[startup+51.1004 s]
/proc/loadavg: 3.14 0.89 0.30 3/187 31334
/proc/meminfo: memFree=31403888/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=132080 CPUtime=157.27 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 66374 0 0 0 15602 125 0 0 20 0 8 0 390809076 135249920 10727 33554432000 134512640 146736320 4293662896 4293654608 136403114 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 2 0 0
/proc/31267/statm: 33020 10727 903 2985 0 29954 0
[pid=31267/tid=31283] ppid=31266 vsize=132080 CPUtime=17.87 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) S 31266 31266 31228 0 -1 4202560 5408 0 0 0 1775 12 0 0 20 0 8 0 390809279 135249920 10727 33554432000 134512640 146736320 4293662896 4130360976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=132080 CPUtime=18.11 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) S 31266 31266 31228 0 -1 4202560 3797 0 0 0 1800 11 0 0 20 0 8 0 390809279 135249920 10727 33554432000 134512640 146736320 4293662896 4140846736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=132080 CPUtime=17.84 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) S 31266 31266 31228 0 -1 4202560 699 0 0 0 1773 11 0 0 20 0 8 0 390809279 135249920 10727 33554432000 134512640 146736320 4293662896 4151332496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=132080 CPUtime=17.69 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) S 31266 31266 31228 0 -1 4202560 9801 0 0 0 1754 15 0 0 20 0 8 0 390809279 135249920 10727 33554432000 134512640 146736320 4293662896 4117724816 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=132080 CPUtime=18.08 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) S 31266 31266 31228 0 -1 4202560 5146 0 0 0 1796 12 0 0 20 0 8 0 390809279 135249920 10727 33554432000 134512640 146736320 4293662896 4096781968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=132080 CPUtime=18.78 cores=0,2,4,6
################
# More data... #
################
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 237812 0 0 0 95619 743 0 0 20 0 8 0 390809076 139481088 11954 33554432000 134512640 146736320 4293662896 4293655612 135447033 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 2 0 0
/proc/31267/statm: 34053 11954 924 2985 0 30987 0
[pid=31267/tid=31283] ppid=31266 vsize=136212 CPUtime=118.75 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 65116 0 0 0 11774 101 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4130357524 136005351 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=136212 CPUtime=118.01 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 11713 0 0 0 11715 86 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4140843048 139044572 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=136212 CPUtime=117.94 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 11083 0 0 0 11707 87 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4151329768 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=136212 CPUtime=117.74 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 16611 0 0 0 11686 88 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4117721664 136001156 0 2 4096 16387 0 0 0 -1 6 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=136212 CPUtime=119.19 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 26707 0 0 0 11826 93 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4096778628 139028298 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=136212 CPUtime=118.88 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 23420 0 0 0 11791 97 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4086292552 136474435 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=136212 CPUtime=117.4 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 28589 0 0 0 11655 85 0 0 20 0 8 0 390809279 139481088 11954 33554432000 134512640 146736320 4293662896 4067418712 136402278 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 963.62
Current children cumulated vsize (KiB) 145360
[startup+342.3 s]
/proc/loadavg: 12.47 7.62 3.31 17/193 31462
/proc/meminfo: memFree=31019776/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=136212 CPUtime=1174.4 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 274132 0 0 0 116564 876 0 0 20 0 8 0 390809076 139481088 12000 33554432000 134512640 146736320 4293662896 4293655592 139041205 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 2 0 0
/proc/31267/statm: 34053 12000 924 2985 0 30987 0
[pid=31267/tid=31283] ppid=31266 vsize=136212 CPUtime=145.2 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 66690 0 0 0 14402 118 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4130357320 139042902 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=136212 CPUtime=144.01 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 13400 0 0 0 14296 105 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4140843080 139042904 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=136212 CPUtime=144.02 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 12020 0 0 0 14298 104 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4151328892 135526778 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=136212 CPUtime=144.35 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 18362 0 0 0 14330 105 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4117721296 136008160 0 2 4096 16387 0 0 0 -1 6 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=136212 CPUtime=145.52 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 27598 0 0 0 14442 110 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4096778832 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=136212 CPUtime=144.52 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 23421 0 0 0 14341 111 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4086293072 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=136212 CPUtime=144.1 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 55174 0 0 0 14300 110 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4067418184 139042897 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1174.4
Current children cumulated vsize (KiB) 145360
[startup+402.3 s]
/proc/loadavg: 12.45 8.55 3.90 11/193 31462
/proc/meminfo: memFree=30939556/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=136212 CPUtime=1386.09 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 314698 0 0 0 137592 1017 0 0 20 0 8 0 390809076 139481088 12000 33554432000 134512640 146736320 4293662896 4293654716 135526863 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 2 0 0
/proc/31267/statm: 34053 12000 924 2985 0 30987 0
[pid=31267/tid=31283] ppid=31266 vsize=136212 CPUtime=171.42 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 67582 0 0 0 17008 134 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4130356456 135467759 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=136212 CPUtime=170.29 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 14931 0 0 0 16908 121 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4140843008 135468707 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=136212 CPUtime=170.59 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 16794 0 0 0 16939 120 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4151329368 136402290 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=136212 CPUtime=170.82 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 18585 0 0 0 16961 121 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4117722088 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=136212 CPUtime=171.92 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 29558 0 0 0 17066 126 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4096778312 139042901 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=136212 CPUtime=171.26 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 23421 0 0 0 16998 128 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4086292632 136007021 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=136212 CPUtime=170.31 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 82805 0 0 0 16893 138 0 0 20 0 8 0 390809279 139481088 12000 33554432000 134512640 146736320 4293662896 4067418204 135854532 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1386.09
Current children cumulated vsize (KiB) 145360
[startup+462.3 s]
/proc/loadavg: 12.72 9.27 4.43 17/193 31462
/proc/meminfo: memFree=30871392/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=133140 CPUtime=1597.74 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) S 31266 31266 31228 0 -1 4202496 355608 0 0 0 158619 1155 0 0 20 0 8 0 390809076 136335360 11501 33554432000 134512640 146736320 4293662896 4293659280 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 2 0 0
/proc/31267/statm: 33285 11501 924 2985 0 30219 0
[pid=31267/tid=31283] ppid=31266 vsize=133140 CPUtime=197.74 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 85599 0 0 0 19617 157 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4130357704 135999684 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=133140 CPUtime=196.33 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) S 31266 31266 31228 0 -1 4202560 17903 0 0 0 19496 137 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4140846736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=133140 CPUtime=196.93 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) S 31266 31266 31228 0 -1 4202560 16794 0 0 0 19557 136 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4151332496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=133140 CPUtime=196.99 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 18585 0 0 0 19562 137 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4117722088 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=133140 CPUtime=198.87 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 39230 0 0 0 19743 144 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4096779240 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=133140 CPUtime=197.68 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 23468 0 0 0 19623 145 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4086292688 136008238 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=133140 CPUtime=196.55 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 90892 0 0 0 19500 155 0 0 20 0 8 0 390809279 136335360 11501 33554432000 134512640 146736320 4293662896 4067418152 139044542 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1597.74
Current children cumulated vsize (KiB) 142288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+519.9 s]
/proc/loadavg: 12.80 9.84 4.90 16/193 31462
/proc/meminfo: memFree=30798408/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=133140 CPUtime=1800.28 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 390967 0 0 0 178743 1285 0 0 20 0 8 0 390809076 136335360 11500 33554432000 134512640 146736320 4293662896 4293655760 136008223 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 33285 11500 924 2985 0 30219 0
[pid=31267/tid=31283] ppid=31266 vsize=133140 CPUtime=223.56 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 98947 0 0 0 22181 175 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4130358248 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=133140 CPUtime=221.39 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 19980 0 0 0 21986 153 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4140843124 135450680 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=133140 CPUtime=221.98 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 16814 0 0 0 22046 152 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4151328584 135526327 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=133140 CPUtime=222.45 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 27714 0 0 0 22088 157 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4117721128 139044585 0 2 4096 16387 0 0 0 -1 2 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=133140 CPUtime=223.92 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 46152 0 0 0 22228 164 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4096778832 136403103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=133140 CPUtime=222.25 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 25722 0 0 0 22063 162 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4086292812 136017519 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=133140 CPUtime=221.82 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 91559 0 0 0 22009 173 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4067418444 136017777 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 142288
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+519.9 s]
/proc/loadavg: 12.80 9.84 4.90 16/193 31462
/proc/meminfo: memFree=30798408/32873844 swapFree=7124/7124
[pid=31266] ppid=31264 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31266/stat : 31266 (run) S 31264 31266 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390809076 9367552 270 33554432000 4194304 5064252 140734081836016 140734081834928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31266/statm: 2287 270 229 213 0 72 0
[pid=31267] ppid=31266 vsize=133140 CPUtime=1800.28 cores=0,2,4,6
/proc/31267/stat : 31267 (pb_cplex) R 31266 31266 31228 0 -1 4202496 390967 0 0 0 178743 1285 0 0 20 0 8 0 390809076 136335360 11500 33554432000 134512640 146736320 4293662896 4293655760 136008223 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/31267/statm: 33285 11500 924 2985 0 30219 0
[pid=31267/tid=31283] ppid=31266 vsize=133140 CPUtime=223.56 cores=0,2,4,6
/proc/31267/task/31283/stat : 31283 (pb_cplex) R 31266 31266 31228 0 -1 4202560 98947 0 0 0 22181 175 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4130358248 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31267/tid=31284] ppid=31266 vsize=133140 CPUtime=221.39 cores=0,2,4,6
/proc/31267/task/31284/stat : 31284 (pb_cplex) R 31266 31266 31228 0 -1 4202560 19980 0 0 0 21986 153 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4140843124 135450680 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31285] ppid=31266 vsize=133140 CPUtime=221.98 cores=0,2,4,6
/proc/31267/task/31285/stat : 31285 (pb_cplex) R 31266 31266 31228 0 -1 4202560 16814 0 0 0 22046 152 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4151328584 135526327 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31267/tid=31286] ppid=31266 vsize=133140 CPUtime=222.45 cores=0,2,4,6
/proc/31267/task/31286/stat : 31286 (pb_cplex) R 31266 31266 31228 0 -1 4202560 27714 0 0 0 22088 157 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4117721128 139044585 0 2 4096 16387 0 0 0 -1 2 0 0 2 0 0
[pid=31267/tid=31287] ppid=31266 vsize=133140 CPUtime=223.92 cores=0,2,4,6
/proc/31267/task/31287/stat : 31287 (pb_cplex) R 31266 31266 31228 0 -1 4202560 46152 0 0 0 22228 164 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4096778832 136403103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31288] ppid=31266 vsize=133140 CPUtime=222.25 cores=0,2,4,6
/proc/31267/task/31288/stat : 31288 (pb_cplex) R 31266 31266 31228 0 -1 4202560 25722 0 0 0 22063 162 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4086292812 136017519 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31267/tid=31289] ppid=31266 vsize=133140 CPUtime=221.82 cores=0,2,4,6
/proc/31267/task/31289/stat : 31289 (pb_cplex) R 31266 31266 31228 0 -1 4202560 91559 0 0 0 22009 173 0 0 20 0 8 0 390809279 136335360 11500 33554432000 134512640 146736320 4293662896 4067418444 136017777 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 142288
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31266 and gives
# childrusage.ru_utime.tv_sec=1785
# childrusage.ru_utime.tv_usec=708531
# childrusage.ru_stime.tv_sec=13
# childrusage.ru_stime.tv_usec=113006
# CPU time returned by wait4() is 1798.82
# while last known CPU time is 1800.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 519.914
CPU time (s): 1800.28
CPU user time (s): 1787.43
CPU system time (s): 12.85
CPU usage (%): 346.265
Max. virtual memory (cumulated for all children) (KiB): 149456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.71
system time used= 13.113
maximum resident set size= 51564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391333
page faults= 0
swaps= 0
block input operations= 88
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186921
involuntary context switches= 104329
runsolver used 1.63075 second user time and 3.14452 second system time
The end