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-3741548-1339250498/watcher-3741548-1339250498 -o /tmp/evaluation-result-3741548-1339250498/solver-3741548-1339250498 -C 1800 -W 1900 -M 15500 run HOME/instance-3741548-1339250498.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: 2.01 3.11 4.96 3/178 5802
/proc/meminfo: memFree=29706044/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[startup+0.0264139 s]
/proc/loadavg: 2.01 3.11 4.96 3/178 5802
/proc/meminfo: memFree=29706044/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.01 3.11 4.96 3/178 5802
/proc/meminfo: memFree=29706044/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.01 3.11 4.96 3/178 5802
/proc/meminfo: memFree=29706044/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.01 3.11 4.96 3/178 5802
/proc/meminfo: memFree=29706044/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 3.11 4.96 3/180 5804
/proc/meminfo: memFree=29698960/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=19460 CPUtime=1.48 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 4072 0 0 0 148 0 0 0 20 0 1 0 391174762 19927040 2579 33554432000 134512640 146736320 4290040224 4290034460 136016777 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5803/statm: 4865 2579 886 2985 0 1799 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28608
[startup+3.10027 s]
/proc/loadavg: 2.01 3.11 4.96 3/180 5804
/proc/meminfo: memFree=29698572/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=19624 CPUtime=3.09 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 4668 0 0 0 308 1 0 0 20 0 1 0 391174762 20094976 2646 33554432000 134512640 146736320 4290040224 4290034260 135855146 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5803/statm: 4906 2646 916 2985 0 1840 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28772
[startup+6.30043 s]
/proc/loadavg: 2.57 3.21 4.98 7/187 5811
/proc/meminfo: memFree=29681536/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=119780 CPUtime=11.05 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 10661 0 0 0 1087 18 0 0 20 0 8 0 391174762 122654720 8226 33554432000 134512640 146736320 4290040224 4290033172 136004233 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5803/statm: 29945 8226 948 2985 0 26879 0
[pid=5803/tid=5805] ppid=5802 vsize=119780 CPUtime=1.06 cores=1,3,5,7
/proc/5803/task/5805/stat : 5805 (pb_cplex) R 5802 5802 4561 0 -1 4202560 503 0 0 0 101 5 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4151365700 136385185 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5806] ppid=5802 vsize=119780 CPUtime=0.7 cores=1,3,5,7
/proc/5803/task/5806/stat : 5806 (pb_cplex) R 5802 5802 4561 0 -1 4202560 422 0 0 0 67 3 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4140878704 136001340 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5807] ppid=5802 vsize=119780 CPUtime=0.64 cores=1,3,5,7
/proc/5803/task/5807/stat : 5807 (pb_cplex) R 5802 5802 4561 0 -1 4202560 391 0 0 0 64 0 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4130393664 139047011 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5808] ppid=5802 vsize=119780 CPUtime=0.73 cores=1,3,5,7
/proc/5803/task/5808/stat : 5808 (pb_cplex) R 5802 5802 4561 0 -1 4202560 341 0 0 0 71 2 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4119907136 138463262 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5809] ppid=5802 vsize=119780 CPUtime=0.91 cores=1,3,5,7
/proc/5803/task/5809/stat : 5809 (pb_cplex) R 5802 5802 4561 0 -1 4202560 455 0 0 0 90 1 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4109422800 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5810] ppid=5802 vsize=119780 CPUtime=0.98 cores=1,3,5,7
/proc/5803/task/5810/stat : 5810 (pb_cplex) R 5802 5802 4561 0 -1 4202560 497 0 0 0 96 2 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4098936924 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5811] ppid=5802 vsize=119780 CPUtime=0.9 cores=1,3,5,7
/proc/5803/task/5811/stat : 5811 (pb_cplex) R 5802 5802 4561 0 -1 4202560 443 0 0 0 87 3 0 0 20 0 8 0 391175146 122654720 8226 33554432000 134512640 146736320 4290040224 4088450052 136385177 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 128928
[startup+12.7004 s]
/proc/loadavg: 3.08 3.30 5.00 8/186 5811
/proc/meminfo: memFree=29673872/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=119924 CPUtime=34.61 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 11546 0 0 0 3414 47 0 0 20 0 8 0 391174762 122802176 8808 33554432000 134512640 146736320 4290040224 4290032988 135855167 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5803/statm: 29981 8808 951 2985 0 26915 0
[pid=5803/tid=5805] ppid=5802 vsize=119924 CPUtime=3.85 cores=1,3,5,7
/proc/5803/task/5805/stat : 5805 (pb_cplex) R 5802 5802 4561 0 -1 4202560 638 0 0 0 378 7 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4151365724 135855179 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5806] ppid=5802 vsize=119924 CPUtime=3.48 cores=1,3,5,7
/proc/5803/task/5806/stat : 5806 (pb_cplex) R 5802 5802 4561 0 -1 4202560 464 0 0 0 344 4 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4140880464 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5807] ppid=5802 vsize=119924 CPUtime=3.51 cores=1,3,5,7
/proc/5803/task/5807/stat : 5807 (pb_cplex) R 5802 5802 4561 0 -1 4202560 438 0 0 0 347 4 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4130393928 135525914 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5808] ppid=5802 vsize=119924 CPUtime=3.94 cores=1,3,5,7
/proc/5803/task/5808/stat : 5808 (pb_cplex) R 5802 5802 4561 0 -1 4202560 482 0 0 0 390 4 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4119908420 136385177 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5809] ppid=5802 vsize=119924 CPUtime=4.32 cores=1,3,5,7
/proc/5803/task/5809/stat : 5809 (pb_cplex) R 5802 5802 4561 0 -1 4202560 762 0 0 0 423 9 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4109422752 136006492 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5810] ppid=5802 vsize=119924 CPUtime=3.79 cores=1,3,5,7
/proc/5803/task/5810/stat : 5810 (pb_cplex) R 5802 5802 4561 0 -1 4202560 587 0 0 0 373 6 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4098936924 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5811] ppid=5802 vsize=119924 CPUtime=3.94 cores=1,3,5,7
/proc/5803/task/5811/stat : 5811 (pb_cplex) R 5802 5802 4561 0 -1 4202560 541 0 0 0 389 5 0 0 20 0 8 0 391175146 122802176 8808 33554432000 134512640 146736320 4290040224 4088451164 135855179 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 34.61
Current children cumulated vsize (KiB) 129072
[startup+25.5068 s]
/proc/loadavg: 3.32 3.35 4.99 3/186 5826
/proc/meminfo: memFree=29596264/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=211200 CPUtime=64.7 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 21815 0 0 0 6372 98 0 0 20 0 8 0 391174762 216268800 28174 33554432000 134512640 146736320 4290040224 4290031880 136474420 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5803/statm: 52800 28174 984 2985 0 49734 0
[pid=5803/tid=5820] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 4139990672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) S 5802 5802 4561 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 4119912080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) S 5802 5802 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 3996438160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) S 5802 5802 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 3985952400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=211200 CPUtime=0 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) S 5802 5802 4561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391177163 216268800 28174 33554432000 134512640 146736320 4290040224 3975466640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 64.7
Current children cumulated vsize (KiB) 220348
[startup+51.1004 s]
/proc/loadavg: 4.91 3.71 5.06 10/186 5826
/proc/meminfo: memFree=29580320/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=225752 CPUtime=159.15 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 33244 0 0 0 15693 222 0 0 20 0 8 0 391174762 231170048 32032 33554432000 134512640 146736320 4290040224 4290033112 136008647 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5803/statm: 56438 32032 987 2985 0 53372 0
[pid=5803/tid=5820] ppid=5802 vsize=225752 CPUtime=11.83 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) R 5802 5802 4561 0 -1 4202560 1120 0 0 0 1161 22 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 4060078136 136475800 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=225752 CPUtime=11.21 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2002 0 0 0 1107 14 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 4070563932 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=225752 CPUtime=12.38 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) R 5802 5802 4561 0 -1 4202560 696 0 0 0 1221 17 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 4139987036 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=225752 CPUtime=11.57 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) R 5802 5802 4561 0 -1 4202560 1150 0 0 0 1152 5 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 4119907516 135453309 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=225752 CPUtime=11.45 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) R 5802 5802 4561 0 -1 4202560 1249 0 0 0 1126 19 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 3996434248 135525914 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=225752 CPUtime=11.7 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) R 5802 5802 4561 0 -1 4202560 1281 0 0 0 1153 17 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 3985947020 135465105 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=225752 CPUtime=12.25 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2578 0 0 0 1207 18 0 0 20 0 8 0 391177163 231170048 32032 33554432000 134512640 146736320 4290040224 3975462968 136475780 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 159.15
Current children cumulated vsize (KiB) 234900
[startup+102.3 s]
/proc/loadavg: 6.74 4.42 5.24 6/186 5826
/proc/meminfo: memFree=29572728/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=226740 CPUtime=354.22 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 48044 0 0 0 34918 504 0 0 20 0 8 0 391174762 232181760 33868 33554432000 134512640 146736320 4290040224 4290033008 136384861 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+326.501 s]
/proc/loadavg: 13.22 9.08 6.93 7/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=232616 CPUtime=1123.28 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 91919 0 0 0 111488 840 0 0 20 0 8 0 391174762 238198784 37000 33554432000 134512640 146736320 4290040224 4290033536 139046532 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5803/statm: 58154 37000 994 2985 0 55088 0
[pid=5803/tid=5820] ppid=5802 vsize=232616 CPUtime=127.75 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) R 5802 5802 4561 0 -1 4202560 31771 0 0 0 12685 90 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 4060078288 136008056 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=232616 CPUtime=129.49 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4883 0 0 0 12864 85 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 4070563840 136018919 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=232616 CPUtime=129.74 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2272 0 0 0 12875 99 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 4139987160 136008914 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=232616 CPUtime=128.98 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) R 5802 5802 4561 0 -1 4202560 5540 0 0 0 12827 71 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 4119908444 135855162 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=232616 CPUtime=127.95 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2642 0 0 0 12691 104 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 3996434488 136475869 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=232616 CPUtime=128.68 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4073 0 0 0 12786 82 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 3985948740 136385183 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=232616 CPUtime=128.84 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4775 0 0 0 12780 104 0 0 20 0 8 0 391177163 238198784 37000 33554432000 134512640 146736320 4290040224 3975463104 136471192 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1123.28
Current children cumulated vsize (KiB) 241764
[startup+329.7 s]
/proc/loadavg: 13.22 9.08 6.93 11/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=232616 CPUtime=1134.44 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 91919 0 0 0 112603 841 0 0 20 0 8 0 391174762 238198784 36990 33554432000 134512640 146736320 4290040224 4290032968 139042883 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5803/statm: 58154 36990 994 2985 0 55088 0
[pid=5803/tid=5820] ppid=5802 vsize=232616 CPUtime=129.2 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) R 5802 5802 4561 0 -1 4202560 31771 0 0 0 12830 90 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4060078136 136475800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=232616 CPUtime=130.78 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4883 0 0 0 12993 85 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4070564740 135850304 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=232616 CPUtime=131.05 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2272 0 0 0 13006 99 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4139987160 136009116 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=232616 CPUtime=130.44 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) R 5802 5802 4561 0 -1 4202560 5540 0 0 0 12973 71 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4119908408 136475868 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=232616 CPUtime=129.61 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2642 0 0 0 12856 105 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 3996434888 136000412 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=232616 CPUtime=130.08 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4073 0 0 0 12925 83 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 3985948764 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=232616 CPUtime=130.16 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4775 0 0 0 12912 104 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 3975463004 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1134.44
Current children cumulated vsize (KiB) 241764
[startup+331.308 s]
/proc/loadavg: 13.12 9.13 6.95 12/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=232616 CPUtime=1140.74 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) S 5802 5802 4561 0 -1 4202496 91919 0 0 0 113232 842 0 0 20 0 8 0 391174762 238198784 36990 33554432000 134512640 146736320 4290040224 4290036624 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5803/statm: 58154 36990 994 2985 0 55088 0
[pid=5803/tid=5820] ppid=5802 vsize=232616 CPUtime=130.01 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) S 5802 5802 4561 0 -1 4202560 31771 0 0 0 12911 90 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=232616 CPUtime=131.51 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4883 0 0 0 13066 85 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=232616 CPUtime=131.95 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2272 0 0 0 13095 100 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4139990672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=232616 CPUtime=131.24 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) S 5802 5802 4561 0 -1 4202560 5540 0 0 0 13053 71 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 4119912080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=232616 CPUtime=130.37 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2642 0 0 0 12932 105 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 3996438160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=232616 CPUtime=130.93 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4073 0 0 0 13010 83 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 3985952400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=232616 CPUtime=130.92 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4775 0 0 0 12987 105 0 0 20 0 8 0 391177163 238198784 36990 33554432000 134512640 146736320 4290040224 3975463120 136008385 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1140.74
Current children cumulated vsize (KiB) 241764
[startup+332.1 s]
/proc/loadavg: 13.12 9.13 6.95 12/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=232616 CPUtime=1143.68 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) R 5802 5802 4561 0 -1 4202496 91923 0 0 0 113526 842 0 0 20 0 8 0 391174762 238198784 36994 33554432000 134512640 146736320 4290040224 4290032964 136385184 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5803/statm: 58154 36994 998 2985 0 55088 0
[pid=5803/tid=5820] ppid=5802 vsize=232616 CPUtime=130.24 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) R 5802 5802 4561 0 -1 4202560 31771 0 0 0 12934 90 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4060078672 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=232616 CPUtime=131.88 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4883 0 0 0 13103 85 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4070564044 136388881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=232616 CPUtime=132.37 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2272 0 0 0 13137 100 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4139987152 136008053 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=232616 CPUtime=131.59 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) R 5802 5802 4561 0 -1 4202560 5540 0 0 0 13088 71 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4119908744 136388078 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=232616 CPUtime=130.82 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2642 0 0 0 12977 105 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3996435432 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=232616 CPUtime=131.09 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4077 0 0 0 13026 83 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3985952400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=232616 CPUtime=131.36 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4775 0 0 0 13031 105 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3975463004 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1143.68
Current children cumulated vsize (KiB) 241764
[startup+332.9 s]
/proc/loadavg: 13.12 9.13 6.95 12/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=232616 CPUtime=1146.86 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) S 5802 5802 4561 0 -1 4202496 91923 0 0 0 113843 843 0 0 20 0 8 0 391174762 238198784 36994 33554432000 134512640 146736320 4290040224 4290036624 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5803/statm: 58154 36994 998 2985 0 55088 0
[pid=5803/tid=5820] ppid=5802 vsize=232616 CPUtime=130.74 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) R 5802 5802 4561 0 -1 4202560 31771 0 0 0 12984 90 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4060078172 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=232616 CPUtime=132.32 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4883 0 0 0 13147 85 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=232616 CPUtime=132.87 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) R 5802 5802 4561 0 -1 4202560 2272 0 0 0 13186 101 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4139987152 136008163 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=232616 CPUtime=132.15 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) S 5802 5802 4561 0 -1 4202560 5540 0 0 0 13144 71 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4119912080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=232616 CPUtime=131.25 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2642 0 0 0 13020 105 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3996438160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=232616 CPUtime=131.09 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4077 0 0 0 13026 83 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3985952400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=232616 CPUtime=131.78 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) R 5802 5802 4561 0 -1 4202560 4775 0 0 0 13073 105 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3975463024 136384861 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1146.86
Current children cumulated vsize (KiB) 241764
[startup+333.1 s]
/proc/loadavg: 13.12 9.13 6.95 12/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5802] ppid=5800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5802/stat : 5802 (run) S 5800 5802 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391174762 9367552 270 33554432000 4194304 5064252 140733207808176 140733207807088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5802/statm: 2287 270 229 213 0 72 0
[pid=5803] ppid=5802 vsize=232616 CPUtime=1147.16 cores=1,3,5,7
/proc/5803/stat : 5803 (pb_cplex) S 5802 5802 4561 0 -1 4202496 91923 0 0 0 113873 843 0 0 20 0 8 0 391174762 238198784 36994 33554432000 134512640 146736320 4290040224 4290036624 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5803/statm: 58154 36994 998 2985 0 55088 0
[pid=5803/tid=5820] ppid=5802 vsize=232616 CPUtime=130.94 cores=1,3,5,7
/proc/5803/task/5820/stat : 5820 (pb_cplex) R 5802 5802 4561 0 -1 4202560 31771 0 0 0 13004 90 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4060078080 136019064 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5821] ppid=5802 vsize=232616 CPUtime=132.32 cores=1,3,5,7
/proc/5803/task/5821/stat : 5821 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4883 0 0 0 13147 85 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5822] ppid=5802 vsize=232616 CPUtime=132.89 cores=1,3,5,7
/proc/5803/task/5822/stat : 5822 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2272 0 0 0 13188 101 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4139990672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5823] ppid=5802 vsize=232616 CPUtime=132.15 cores=1,3,5,7
/proc/5803/task/5823/stat : 5823 (pb_cplex) S 5802 5802 4561 0 -1 4202560 5540 0 0 0 13144 71 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 4119912080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5803/tid=5824] ppid=5802 vsize=232616 CPUtime=131.25 cores=1,3,5,7
/proc/5803/task/5824/stat : 5824 (pb_cplex) S 5802 5802 4561 0 -1 4202560 2642 0 0 0 13020 105 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3996438160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5803/tid=5825] ppid=5802 vsize=232616 CPUtime=131.09 cores=1,3,5,7
/proc/5803/task/5825/stat : 5825 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4077 0 0 0 13026 83 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3985952400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5803/tid=5826] ppid=5802 vsize=232616 CPUtime=131.86 cores=1,3,5,7
/proc/5803/task/5826/stat : 5826 (pb_cplex) S 5802 5802 4561 0 -1 4202560 4775 0 0 0 13081 105 0 0 20 0 8 0 391177163 238198784 36994 33554432000 134512640 146736320 4290040224 3975466640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1147.16
Current children cumulated vsize (KiB) 241764
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5802 and gives
# childrusage.ru_utime.tv_sec=1137
# childrusage.ru_utime.tv_usec=573062
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=563698
# CPU time returned by wait4() is 1146.14
# while last known CPU time is 1147.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 333.173
CPU time (s): 1147.16
CPU user time (s): 1138.73
CPU system time (s): 8.43
CPU usage (%): 344.313
Max. virtual memory (cumulated for all children) (KiB): 248764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1137.57
system time used= 8.5637
maximum resident set size= 154284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92310
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= 22053
involuntary context switches= 65731
runsolver used 0.930858 second user time and 2.47562 second system time
The end