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-3736644-1339248241/watcher-3736644-1339248241 -o /tmp/evaluation-result-3736644-1339248241/solver-3736644-1339248241 -C 1800 -W 1900 -M 15500 run HOME/instance-3736644-1339248241.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.50 6.41 5.15 6/184 22708
/proc/meminfo: memFree=30500956/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[startup+0.0518489 s]
/proc/loadavg: 7.50 6.41 5.15 6/184 22708
/proc/meminfo: memFree=30500956/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100162 s]
/proc/loadavg: 7.50 6.41 5.15 6/184 22708
/proc/meminfo: memFree=30500956/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300203 s]
/proc/loadavg: 7.50 6.41 5.15 6/184 22708
/proc/meminfo: memFree=30500956/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700181 s]
/proc/loadavg: 7.50 6.41 5.15 6/184 22708
/proc/meminfo: memFree=30500956/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 7.50 6.41 5.15 16/193 22745
/proc/meminfo: memFree=30463468/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=128260 CPUtime=3.83 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 28007 0 0 0 367 16 0 0 20 0 8 0 390950204 131338240 12274 33554432000 134512640 146736320 4287339888 4287333544 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22709/statm: 32065 12274 971 2985 0 28999 0
[pid=22709/tid=22739] ppid=22708 vsize=128260 CPUtime=0.44 cores=1,3,5,7
/proc/22709/task/22739/stat : 22739 (pb_cplex) R 22708 22708 22071 0 -1 4202560 3324 0 0 0 42 2 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4131218968 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22740] ppid=22708 vsize=128260 CPUtime=0.38 cores=1,3,5,7
/proc/22709/task/22740/stat : 22740 (pb_cplex) R 22708 22708 22071 0 -1 4202560 1540 0 0 0 38 0 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4141703376 136008266 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22741] ppid=22708 vsize=128260 CPUtime=0.42 cores=1,3,5,7
/proc/22709/task/22741/stat : 22741 (pb_cplex) R 22708 22708 22071 0 -1 4202560 2804 0 0 0 42 0 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4152189928 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22742] ppid=22708 vsize=128260 CPUtime=0.49 cores=1,3,5,7
/proc/22709/task/22742/stat : 22742 (pb_cplex) R 22708 22708 22071 0 -1 4202560 1238 0 0 0 49 0 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4120497808 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22743] ppid=22708 vsize=128260 CPUtime=0.35 cores=1,3,5,7
/proc/22709/task/22743/stat : 22743 (pb_cplex) S 22708 22708 22071 0 -1 4202560 2399 0 0 0 35 0 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4104122000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22744] ppid=22708 vsize=128260 CPUtime=0.41 cores=1,3,5,7
/proc/22709/task/22744/stat : 22744 (pb_cplex) S 22708 22708 22071 0 -1 4202560 2386 0 0 0 41 0 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4093636240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22745] ppid=22708 vsize=128260 CPUtime=0.35 cores=1,3,5,7
/proc/22709/task/22745/stat : 22745 (pb_cplex) S 22708 22708 22071 0 -1 4202560 2760 0 0 0 35 0 0 0 20 0 8 0 390950233 131338240 12274 33554432000 134512640 146736320 4287339888 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 137408
[startup+3.10043 s]
/proc/loadavg: 7.50 6.41 5.15 5/193 22745
/proc/meminfo: memFree=30447472/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=143376 CPUtime=8.72 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 45885 0 0 0 846 26 0 0 20 0 8 0 390950204 146817024 15807 33554432000 134512640 146736320 4287339888 4287333544 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22709/statm: 35844 15807 971 2985 0 32778 0
[pid=22709/tid=22739] ppid=22708 vsize=143376 CPUtime=1.14 cores=1,3,5,7
/proc/22709/task/22739/stat : 22739 (pb_cplex) R 22708 22708 22071 0 -1 4202560 6441 0 0 0 110 4 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4131217024 135655979 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22740] ppid=22708 vsize=143376 CPUtime=0.98 cores=1,3,5,7
/proc/22709/task/22740/stat : 22740 (pb_cplex) R 22708 22708 22071 0 -1 4202560 3035 0 0 0 96 2 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4141702268 135446530 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22741] ppid=22708 vsize=143376 CPUtime=1.09 cores=1,3,5,7
/proc/22709/task/22741/stat : 22741 (pb_cplex) R 22708 22708 22071 0 -1 4202560 4496 0 0 0 106 3 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4152189368 136015687 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22742] ppid=22708 vsize=143376 CPUtime=1.06 cores=1,3,5,7
/proc/22709/task/22742/stat : 22742 (pb_cplex) R 22708 22708 22071 0 -1 4202560 3322 0 0 0 104 2 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4120494080 136019028 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22743] ppid=22708 vsize=143376 CPUtime=0.95 cores=1,3,5,7
/proc/22709/task/22743/stat : 22743 (pb_cplex) R 22708 22708 22071 0 -1 4202560 4692 0 0 0 93 2 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4104122000 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22744] ppid=22708 vsize=143376 CPUtime=1.03 cores=1,3,5,7
/proc/22709/task/22744/stat : 22744 (pb_cplex) S 22708 22708 22071 0 -1 4202560 4552 0 0 0 100 3 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4093636240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22745] ppid=22708 vsize=143376 CPUtime=0.89 cores=1,3,5,7
/proc/22709/task/22745/stat : 22745 (pb_cplex) S 22708 22708 22071 0 -1 4202560 5994 0 0 0 87 2 0 0 20 0 8 0 390950233 146817024 15807 33554432000 134512640 146736320 4287339888 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 152524
[startup+6.3004 s]
/proc/loadavg: 6.98 6.32 5.12 9/193 22745
/proc/meminfo: memFree=30417044/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=177704 CPUtime=17.71 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) S 22708 22708 22071 0 -1 4202496 91310 0 0 0 1727 44 0 0 20 0 8 0 390950204 181968896 23394 33554432000 134512640 146736320 4287339888 4287336272 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22709/statm: 44426 23394 971 2985 0 41360 0
[pid=22709/tid=22739] ppid=22708 vsize=177704 CPUtime=2.16 cores=1,3,5,7
/proc/22709/task/22739/stat : 22739 (pb_cplex) S 22708 22708 22071 0 -1 4202560 10569 0 0 0 210 6 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4131221136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22740] ppid=22708 vsize=177704 CPUtime=2.05 cores=1,3,5,7
/proc/22709/task/22740/stat : 22740 (pb_cplex) S 22708 22708 22071 0 -1 4202560 7173 0 0 0 201 4 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4141706896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22741] ppid=22708 vsize=177704 CPUtime=2.54 cores=1,3,5,7
/proc/22709/task/22741/stat : 22741 (pb_cplex) R 22708 22708 22071 0 -1 4202560 10345 0 0 0 249 5 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4152189136 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22742] ppid=22708 vsize=177704 CPUtime=2.03 cores=1,3,5,7
/proc/22709/task/22742/stat : 22742 (pb_cplex) S 22708 22708 22071 0 -1 4202560 9326 0 0 0 199 4 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4120497808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22743] ppid=22708 vsize=177704 CPUtime=2.07 cores=1,3,5,7
/proc/22709/task/22743/stat : 22743 (pb_cplex) S 22708 22708 22071 0 -1 4202560 8887 0 0 0 203 4 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4104122000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22744] ppid=22708 vsize=177704 CPUtime=2.19 cores=1,3,5,7
/proc/22709/task/22744/stat : 22744 (pb_cplex) S 22708 22708 22071 0 -1 4202560 9653 0 0 0 215 4 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4093636240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22745] ppid=22708 vsize=177704 CPUtime=1.97 cores=1,3,5,7
/proc/22709/task/22745/stat : 22745 (pb_cplex) S 22708 22708 22071 0 -1 4202560 14337 0 0 0 193 4 0 0 20 0 8 0 390950233 181968896 23394 33554432000 134512640 146736320 4287339888 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.71
Current children cumulated vsize (KiB) 186852
[startup+12.7004 s]
/proc/loadavg: 6.58 6.25 5.11 7/193 22745
/proc/meminfo: memFree=30392992/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=200368 CPUtime=32.14 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 135127 0 0 0 3153 61 0 0 20 0 8 0 390950204 205176832 28129 33554432000 134512640 146736320 4287339888 4287333544 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22709/statm: 50092 28129 993 2985 0 47026 0
[pid=22709/tid=22739] ppid=22708 vsize=200368 CPUtime=3.7 cores=1,3,5,7
/proc/22709/task/22739/stat : 22739 (pb_cplex) R 22708 22708 22071 0 -1 4202560 14901 0 0 0 363 7 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4131221164 144580332 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22740] ppid=22708 vsize=200368 CPUtime=3.62 cores=1,3,5,7
/proc/22709/task/22740/stat : 22740 (pb_cplex) R 22708 22708 22071 0 -1 4202560 11422 0 0 0 356 6 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4141702856 136002905 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22741] ppid=22708 vsize=200368 CPUtime=4.55 cores=1,3,5,7
/proc/22709/task/22741/stat : 22741 (pb_cplex) R 22708 22708 22071 0 -1 4202560 12075 0 0 0 448 7 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4152189368 136015579 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22742] ppid=22708 vsize=200368 CPUtime=3.48 cores=1,3,5,7
/proc/22709/task/22742/stat : 22742 (pb_cplex) R 22708 22708 22071 0 -1 4202560 18566 0 0 0 341 7 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4120497836 144580332 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22743] ppid=22708 vsize=200368 CPUtime=4.07 cores=1,3,5,7
/proc/22709/task/22743/stat : 22743 (pb_cplex) R 22708 22708 22071 0 -1 4202560 15614 0 0 0 401 6 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4104118268 135526785 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22744] ppid=22708 vsize=200368 CPUtime=3.5 cores=1,3,5,7
/proc/22709/task/22744/stat : 22744 (pb_cplex) R 22708 22708 22071 0 -1 4202560 17267 0 0 0 344 6 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4093632984 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22745] ppid=22708 vsize=200368 CPUtime=3.52 cores=1,3,5,7
/proc/22709/task/22745/stat : 22745 (pb_cplex) R 22708 22708 22071 0 -1 4202560 19669 0 0 0 345 7 0 0 20 0 8 0 390950233 205176832 28129 33554432000 134512640 146736320 4287339888 4070564840 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 32.14
Current children cumulated vsize (KiB) 209516
[startup+25.5004 s]
/proc/loadavg: 6.24 6.19 5.10 13/193 22759
/proc/meminfo: memFree=30416684/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=171576 CPUtime=66.41 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) S 22708 22708 22071 0 -1 4202496 270791 0 0 0 6498 143 0 0 20 0 8 0 390950204 175693824 21476 33554432000 134512640 146736320 4287339888 4287336272 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22709/statm: 42894 21476 1003 2985 0 39828 0
[pid=22709/tid=22753] ppid=22708 vsize=171576 CPUtime=2.34 cores=1,3,5,7
/proc/22709/task/22753/stat : 22753 (pb_cplex) S 22708 22708 22071 0 -1 4202560 4590 0 0 0 229 5 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22754] ppid=22708 vsize=171576 CPUtime=2.23 cores=1,3,5,7
/proc/22709/task/22754/stat : 22754 (pb_cplex) S 22708 22708 22071 0 -1 4202560 3583 0 0 0 219 4 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4137676432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22755] ppid=22708 vsize=171576 CPUtime=2.25 cores=1,3,5,7
/proc/22709/task/22755/stat : 22755 (pb_cplex) S 22708 22708 22071 0 -1 4202560 4888 0 0 0 221 4 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4148162192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22756] ppid=22708 vsize=171576 CPUtime=2.4 cores=1,3,5,7
/proc/22709/task/22756/stat : 22756 (pb_cplex) R 22708 22708 22071 0 -1 4202560 10282 0 0 0 235 5 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4120495040 136365679 0 2 4096 16387 0 0 0 -1 7 0 0 1 0 0
[pid=22709/tid=22757] ppid=22708 vsize=171576 CPUtime=2.32 cores=1,3,5,7
/proc/22709/task/22757/stat : 22757 (pb_cplex) R 22708 22708 22071 0 -1 4202560 9927 0 0 0 228 4 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4090593896 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22758] ppid=22708 vsize=171576 CPUtime=2.34 cores=1,3,5,7
/proc/22709/task/22758/stat : 22758 (pb_cplex) S 22708 22708 22071 0 -1 4202560 10279 0 0 0 229 5 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22759] ppid=22708 vsize=171576 CPUtime=2.41 cores=1,3,5,7
/proc/22709/task/22759/stat : 22759 (pb_cplex) R 22708 22708 22071 0 -1 4202560 9563 0 0 0 237 4 0 0 20 0 8 0 390952107 175693824 21476 33554432000 134512640 146736320 4287339888 4014991016 137117174 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 66.41
Current children cumulated vsize (KiB) 180724
[startup+51.1004 s]
/proc/loadavg: 7.65 6.53 5.24 12/193 22832
/proc/meminfo: memFree=30369108/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
################
# More data... #
################
/proc/22709/statm: 53057 30205 1023 2985 0 49991 0
[pid=22709/tid=22848] ppid=22708 vsize=212228 CPUtime=54.25 cores=1,3,5,7
/proc/22709/task/22848/stat : 22848 (pb_cplex) R 22708 22708 22071 0 -1 4202560 13287 0 0 0 5358 67 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 4014989056 135468707 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22849] ppid=22708 vsize=212228 CPUtime=54.02 cores=1,3,5,7
/proc/22709/task/22849/stat : 22849 (pb_cplex) R 22708 22708 22071 0 -1 4202560 16772 0 0 0 5334 68 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 4070563848 136388010 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22850] ppid=22708 vsize=212228 CPUtime=54.6 cores=1,3,5,7
/proc/22709/task/22850/stat : 22850 (pb_cplex) R 22708 22708 22071 0 -1 4202560 21272 0 0 0 5385 75 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 4090594280 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22851] ppid=22708 vsize=212228 CPUtime=54.87 cores=1,3,5,7
/proc/22709/task/22851/stat : 22851 (pb_cplex) R 22708 22708 22071 0 -1 4202560 19896 0 0 0 5416 71 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 4120496728 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22852] ppid=22708 vsize=212228 CPUtime=54.47 cores=1,3,5,7
/proc/22709/task/22852/stat : 22852 (pb_cplex) R 22708 22708 22071 0 -1 4202560 17362 0 0 0 5376 71 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 4035964560 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22853] ppid=22708 vsize=212228 CPUtime=54.24 cores=1,3,5,7
/proc/22709/task/22853/stat : 22853 (pb_cplex) S 22708 22708 22071 0 -1 4202560 12880 0 0 0 5354 70 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 3973050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22854] ppid=22708 vsize=212228 CPUtime=53.89 cores=1,3,5,7
/proc/22709/task/22854/stat : 22854 (pb_cplex) S 22708 22708 22071 0 -1 4202560 15856 0 0 0 5322 67 0 0 20 0 8 0 390976355 217321472 30205 33554432000 134512640 146736320 4287339888 3962564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1135.72
Current children cumulated vsize (KiB) 221376
[startup+462.3 s]
/proc/loadavg: 8.74 7.63 6.17 12/193 22865
/proc/meminfo: memFree=30325860/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=232856 CPUtime=1324.87 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 1115979 0 0 0 130648 1839 0 0 20 0 8 0 390950204 238444544 35230 33554432000 134512640 146736320 4287339888 4287333144 136402278 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22709/statm: 58214 35230 1023 2985 0 55148 0
[pid=22709/tid=22859] ppid=22708 vsize=232856 CPUtime=9.47 cores=1,3,5,7
/proc/22709/task/22859/stat : 22859 (pb_cplex) R 22708 22708 22071 0 -1 4202560 1364 0 0 0 934 13 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 3962562072 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22860] ppid=22708 vsize=232856 CPUtime=9.55 cores=1,3,5,7
/proc/22709/task/22860/stat : 22860 (pb_cplex) R 22708 22708 22071 0 -1 4202560 1932 0 0 0 944 11 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 3973047272 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22861] ppid=22708 vsize=232856 CPUtime=9.54 cores=1,3,5,7
/proc/22709/task/22861/stat : 22861 (pb_cplex) R 22708 22708 22071 0 -1 4202560 3901 0 0 0 940 14 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 4035960888 136015218 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22862] ppid=22708 vsize=232856 CPUtime=9.51 cores=1,3,5,7
/proc/22709/task/22862/stat : 22862 (pb_cplex) R 22708 22708 22071 0 -1 4202560 3138 0 0 0 937 14 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 4120495080 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22863] ppid=22708 vsize=232856 CPUtime=9.67 cores=1,3,5,7
/proc/22709/task/22863/stat : 22863 (pb_cplex) R 22708 22708 22071 0 -1 4202560 4226 0 0 0 955 12 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 4091536920 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22864] ppid=22708 vsize=232856 CPUtime=9.5 cores=1,3,5,7
/proc/22709/task/22864/stat : 22864 (pb_cplex) R 22708 22708 22071 0 -1 4202560 3361 0 0 0 938 12 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 4070564740 135850298 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22865] ppid=22708 vsize=232856 CPUtime=9.48 cores=1,3,5,7
/proc/22709/task/22865/stat : 22865 (pb_cplex) R 22708 22708 22071 0 -1 4202560 5164 0 0 0 935 13 0 0 20 0 8 0 390993963 238444544 35230 33554432000 134512640 146736320 4287339888 4014989752 136015579 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1324.87
Current children cumulated vsize (KiB) 242004
[startup+522.3 s]
/proc/loadavg: 8.71 7.84 6.33 14/193 22865
/proc/meminfo: memFree=30323868/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=235820 CPUtime=1514.34 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) S 22708 22708 22071 0 -1 4202496 1153020 0 0 0 149355 2079 0 0 20 0 8 0 390950204 241479680 35970 33554432000 134512640 146736320 4287339888 4287336272 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22709/statm: 58955 35970 1023 2985 0 55889 0
[pid=22709/tid=22859] ppid=22708 vsize=235820 CPUtime=32.58 cores=1,3,5,7
/proc/22709/task/22859/stat : 22859 (pb_cplex) S 22708 22708 22071 0 -1 4202560 7085 0 0 0 3214 44 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 3962564240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22860] ppid=22708 vsize=235820 CPUtime=32.75 cores=1,3,5,7
/proc/22709/task/22860/stat : 22860 (pb_cplex) S 22708 22708 22071 0 -1 4202560 5521 0 0 0 3237 38 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 3973050000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22861] ppid=22708 vsize=235820 CPUtime=32.9 cores=1,3,5,7
/proc/22709/task/22861/stat : 22861 (pb_cplex) S 22708 22708 22071 0 -1 4202560 6591 0 0 0 3245 45 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22862] ppid=22708 vsize=235820 CPUtime=32.75 cores=1,3,5,7
/proc/22709/task/22862/stat : 22862 (pb_cplex) S 22708 22708 22071 0 -1 4202560 5644 0 0 0 3230 45 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 4120497808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22863] ppid=22708 vsize=235820 CPUtime=32.99 cores=1,3,5,7
/proc/22709/task/22863/stat : 22863 (pb_cplex) R 22708 22708 22071 0 -1 4202560 7977 0 0 0 3257 42 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 4091536360 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22864] ppid=22708 vsize=235820 CPUtime=32.86 cores=1,3,5,7
/proc/22709/task/22864/stat : 22864 (pb_cplex) S 22708 22708 22071 0 -1 4202560 13410 0 0 0 3243 43 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22865] ppid=22708 vsize=235820 CPUtime=32.58 cores=1,3,5,7
/proc/22709/task/22865/stat : 22865 (pb_cplex) S 22708 22708 22071 0 -1 4202560 8810 0 0 0 3215 43 0 0 20 0 8 0 390993963 241479680 35970 33554432000 134512640 146736320 4287339888 4014993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1514.34
Current children cumulated vsize (KiB) 244968
[startup+582.306 s]
/proc/loadavg: 9.39 8.22 6.55 9/193 22872
/proc/meminfo: memFree=30307616/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=236096 CPUtime=1703.8 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 1205423 0 0 0 168066 2314 0 0 20 0 8 0 390950204 241762304 36125 33554432000 134512640 146736320 4287339888 4287334220 137381783 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22709/statm: 59024 36125 1023 2985 0 55958 0
[pid=22709/tid=22859] ppid=22708 vsize=236096 CPUtime=55.89 cores=1,3,5,7
/proc/22709/task/22859/stat : 22859 (pb_cplex) R 22708 22708 22071 0 -1 4202560 9970 0 0 0 5514 75 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 3962561512 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22860] ppid=22708 vsize=236096 CPUtime=55.86 cores=1,3,5,7
/proc/22709/task/22860/stat : 22860 (pb_cplex) R 22708 22708 22071 0 -1 4202560 13636 0 0 0 5519 67 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 3973047272 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22709/tid=22861] ppid=22708 vsize=236096 CPUtime=56.02 cores=1,3,5,7
/proc/22709/task/22861/stat : 22861 (pb_cplex) R 22708 22708 22071 0 -1 4202560 13154 0 0 0 5524 78 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 4035964588 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22862] ppid=22708 vsize=236096 CPUtime=55.99 cores=1,3,5,7
/proc/22709/task/22862/stat : 22862 (pb_cplex) R 22708 22708 22071 0 -1 4202560 12851 0 0 0 5523 76 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 4120495640 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22863] ppid=22708 vsize=236096 CPUtime=56.48 cores=1,3,5,7
/proc/22709/task/22863/stat : 22863 (pb_cplex) R 22708 22708 22071 0 -1 4202560 15408 0 0 0 5575 73 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 4091535572 135846422 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22864] ppid=22708 vsize=236096 CPUtime=55.96 cores=1,3,5,7
/proc/22709/task/22864/stat : 22864 (pb_cplex) R 22708 22708 22071 0 -1 4202560 17209 0 0 0 5528 68 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 4070567568 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22865] ppid=22708 vsize=236096 CPUtime=55.77 cores=1,3,5,7
/proc/22709/task/22865/stat : 22865 (pb_cplex) S 22708 22708 22071 0 -1 4202560 15813 0 0 0 5506 71 0 0 20 0 8 0 390993963 241762304 36125 33554432000 134512640 146736320 4287339888 4014993040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1703.8
Current children cumulated vsize (KiB) 245244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+612.707 s]
/proc/loadavg: 8.63 8.15 6.58 7/193 22872
/proc/meminfo: memFree=30306876/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=237588 CPUtime=1800.09 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 1219212 0 0 0 177586 2423 0 0 20 0 8 0 390950204 243290112 36393 33554432000 134512640 146736320 4287339888 4287336192 136674344 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22709/statm: 59397 36393 1023 2985 0 56331 0
[pid=22709/tid=22859] ppid=22708 vsize=237588 CPUtime=67.85 cores=1,3,5,7
/proc/22709/task/22859/stat : 22859 (pb_cplex) S 22708 22708 22071 0 -1 4202560 13414 0 0 0 6695 90 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 3962564068 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22860] ppid=22708 vsize=237588 CPUtime=67.6 cores=1,3,5,7
/proc/22709/task/22860/stat : 22860 (pb_cplex) S 22708 22708 22071 0 -1 4202560 14495 0 0 0 6678 82 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 3973049828 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22861] ppid=22708 vsize=237588 CPUtime=67.74 cores=1,3,5,7
/proc/22709/task/22861/stat : 22861 (pb_cplex) S 22708 22708 22071 0 -1 4202560 14322 0 0 0 6683 91 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4035964388 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22862] ppid=22708 vsize=237588 CPUtime=67.74 cores=1,3,5,7
/proc/22709/task/22862/stat : 22862 (pb_cplex) R 22708 22708 22071 0 -1 4202560 14503 0 0 0 6684 90 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4120497776 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22863] ppid=22708 vsize=237588 CPUtime=68.39 cores=1,3,5,7
/proc/22709/task/22863/stat : 22863 (pb_cplex) S 22708 22708 22071 0 -1 4202560 17264 0 0 0 6750 89 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4091539056 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22864] ppid=22708 vsize=237588 CPUtime=67.85 cores=1,3,5,7
/proc/22709/task/22864/stat : 22864 (pb_cplex) S 22708 22708 22071 0 -1 4202560 18038 0 0 0 6702 83 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4070567536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22865] ppid=22708 vsize=237588 CPUtime=67.5 cores=1,3,5,7
/proc/22709/task/22865/stat : 22865 (pb_cplex) S 22708 22708 22071 0 -1 4202560 18876 0 0 0 6664 86 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4014993008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 246736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+612.707 s]
/proc/loadavg: 8.63 8.15 6.58 7/193 22872
/proc/meminfo: memFree=30306876/32873648 swapFree=6860/6860
[pid=22708] ppid=22706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22708/stat : 22708 (run) S 22706 22708 22071 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390950204 9367552 269 33554432000 4194304 5064252 140735218429488 140735218428400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22708/statm: 2287 269 229 213 0 72 0
[pid=22709] ppid=22708 vsize=237588 CPUtime=1800.09 cores=1,3,5,7
/proc/22709/stat : 22709 (pb_cplex) R 22708 22708 22071 0 -1 4202496 1219212 0 0 0 177586 2423 0 0 20 0 8 0 390950204 243290112 36393 33554432000 134512640 146736320 4287339888 4287336192 136674344 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22709/statm: 59397 36393 1023 2985 0 56331 0
[pid=22709/tid=22859] ppid=22708 vsize=237588 CPUtime=67.85 cores=1,3,5,7
/proc/22709/task/22859/stat : 22859 (pb_cplex) S 22708 22708 22071 0 -1 4202560 13414 0 0 0 6695 90 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 3962564068 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22860] ppid=22708 vsize=237588 CPUtime=67.6 cores=1,3,5,7
/proc/22709/task/22860/stat : 22860 (pb_cplex) S 22708 22708 22071 0 -1 4202560 14495 0 0 0 6678 82 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 3973049828 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22861] ppid=22708 vsize=237588 CPUtime=67.74 cores=1,3,5,7
/proc/22709/task/22861/stat : 22861 (pb_cplex) S 22708 22708 22071 0 -1 4202560 14322 0 0 0 6683 91 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4035964388 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22709/tid=22862] ppid=22708 vsize=237588 CPUtime=67.74 cores=1,3,5,7
/proc/22709/task/22862/stat : 22862 (pb_cplex) R 22708 22708 22071 0 -1 4202560 14503 0 0 0 6684 90 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4120497776 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22863] ppid=22708 vsize=237588 CPUtime=68.39 cores=1,3,5,7
/proc/22709/task/22863/stat : 22863 (pb_cplex) S 22708 22708 22071 0 -1 4202560 17264 0 0 0 6750 89 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4091539056 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22709/tid=22864] ppid=22708 vsize=237588 CPUtime=67.85 cores=1,3,5,7
/proc/22709/task/22864/stat : 22864 (pb_cplex) S 22708 22708 22071 0 -1 4202560 18038 0 0 0 6702 83 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4070567536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22709/tid=22865] ppid=22708 vsize=237588 CPUtime=67.5 cores=1,3,5,7
/proc/22709/task/22865/stat : 22865 (pb_cplex) S 22708 22708 22071 0 -1 4202560 18876 0 0 0 6664 86 0 0 20 0 8 0 390993963 243290112 36393 33554432000 134512640 146736320 4287339888 4014993008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 246736
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22708 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 612.727
CPU time (s): 1800.09
CPU user time (s): 1775.86
CPU system time (s): 24.23
CPU usage (%): 293.784
Max. virtual memory (cumulated for all children) (KiB): 248472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2
runsolver used 1.61075 second user time and 4.21636 second system time
The end