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-3732544-1339247343/watcher-3732544-1339247343 -o /tmp/evaluation-result-3732544-1339247343/solver-3732544-1339247343 -C 1800 -W 1900 -M 15500 run HOME/instance-3732544-1339247343.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: 6.33 5.66 2.91 3/184 2926
/proc/meminfo: memFree=28674436/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[startup+0.066099 s]
/proc/loadavg: 6.33 5.66 2.91 3/184 2926
/proc/meminfo: memFree=28674436/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 6.33 5.66 2.91 3/184 2926
/proc/meminfo: memFree=28674436/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 6.33 5.66 2.91 3/184 2926
/proc/meminfo: memFree=28674436/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 6.33 5.66 2.91 3/184 2926
/proc/meminfo: memFree=28674436/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 6.33 5.66 2.91 3/186 2928
/proc/meminfo: memFree=28666584/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=22340 CPUtime=1.49 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 12928 0 0 0 147 2 0 0 20 0 1 0 390861053 22876160 2857 33554432000 134512640 146736320 4293216912 4293210772 136387662 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/2927/statm: 5585 2857 876 2985 0 2519 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31488
[startup+3.10028 s]
/proc/loadavg: 5.98 5.60 2.90 3/186 2928
/proc/meminfo: memFree=28665964/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=22812 CPUtime=3.08 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 17159 0 0 0 306 2 0 0 20 0 1 0 390861053 23359488 3047 33554432000 134512640 146736320 4293216912 4293211148 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/2927/statm: 5703 3047 903 2985 0 2637 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31960
[startup+6.3005 s]
/proc/loadavg: 5.98 5.60 2.90 10/193 2935
/proc/meminfo: memFree=28630236/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=141784 CPUtime=13.29 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) S 2926 2926 2525 0 -1 4202496 28943 0 0 0 1317 12 0 0 20 0 8 0 390861053 145186816 12737 33554432000 134512640 146736320 4293216912 4293213264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 35446 12737 939 2985 0 32380 0
[pid=2927/tid=2929] ppid=2926 vsize=141784 CPUtime=1.14 cores=0,2,4,6
/proc/2927/task/2929/stat : 2929 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1069 0 0 0 112 2 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4149280400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2930] ppid=2926 vsize=141784 CPUtime=1.11 cores=0,2,4,6
/proc/2927/task/2930/stat : 2930 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1137 0 0 0 111 0 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4138794640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2931] ppid=2926 vsize=141784 CPUtime=1.14 cores=0,2,4,6
/proc/2927/task/2931/stat : 2931 (pb_cplex) S 2926 2926 2525 0 -1 4202560 759 0 0 0 112 2 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4128308880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2932] ppid=2926 vsize=141784 CPUtime=1.25 cores=0,2,4,6
/proc/2927/task/2932/stat : 2932 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1063 0 0 0 124 1 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4117823120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2933] ppid=2926 vsize=141784 CPUtime=1.2 cores=0,2,4,6
/proc/2927/task/2933/stat : 2933 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1157 0 0 0 120 0 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4107337360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2934] ppid=2926 vsize=141784 CPUtime=1.25 cores=0,2,4,6
/proc/2927/task/2934/stat : 2934 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1145 0 0 0 123 2 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4096848464 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2935] ppid=2926 vsize=141784 CPUtime=1.15 cores=0,2,4,6
/proc/2927/task/2935/stat : 2935 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1463 0 0 0 115 0 0 0 20 0 8 0 390861412 145186816 12737 33554432000 134512640 146736320 4293216912 4086365840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 150932
[startup+12.7004 s]
/proc/loadavg: 6.45 5.72 2.97 10/193 2949
/proc/meminfo: memFree=28626740/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=133240 CPUtime=31.53 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 45576 0 0 0 3107 46 0 0 20 0 8 0 390861053 136437760 13295 33554432000 134512640 146736320 4293216912 4293210536 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2927/statm: 33310 13295 963 2985 0 30244 0
[pid=2927/tid=2943] ppid=2926 vsize=133240 CPUtime=1.41 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) R 2926 2926 2525 0 -1 4202560 170 0 0 0 139 2 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4130471848 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=133240 CPUtime=1.46 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) R 2926 2926 2525 0 -1 4202560 874 0 0 0 144 2 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4140958548 135982855 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=133240 CPUtime=1.11 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1136 0 0 0 111 0 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4151442440 139042914 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=133240 CPUtime=1.39 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) S 2926 2926 2525 0 -1 4202560 3279 0 0 0 137 2 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4117823120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=133240 CPUtime=1.36 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) R 2926 2926 2525 0 -1 4202560 2348 0 0 0 134 2 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4099924560 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=133240 CPUtime=1.35 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) R 2926 2926 2525 0 -1 4202560 171 0 0 0 133 2 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4089438484 136003957 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=133240 CPUtime=1.32 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) S 2926 2926 2525 0 -1 4202560 430 0 0 0 132 0 0 0 20 0 8 0 390861976 136437760 13295 33554432000 134512640 146736320 4293216912 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 31.53
Current children cumulated vsize (KiB) 142388
[startup+25.5004 s]
/proc/loadavg: 6.32 5.71 3.00 4/193 2949
/proc/meminfo: memFree=28616480/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=138360 CPUtime=78.96 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) S 2926 2926 2525 0 -1 4202496 59676 0 0 0 7811 85 0 0 20 0 8 0 390861053 141680640 14710 33554432000 134512640 146736320 4293216912 4293213264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 34590 14710 969 2985 0 31524 0
[pid=2927/tid=2943] ppid=2926 vsize=138360 CPUtime=7.45 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) R 2926 2926 2525 0 -1 4202560 2113 0 0 0 739 6 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4130472144 136008387 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=138360 CPUtime=7.46 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) R 2926 2926 2525 0 -1 4202560 918 0 0 0 739 7 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4140957904 136008443 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=138360 CPUtime=7.09 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3275 0 0 0 701 8 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4151443656 136388449 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=138360 CPUtime=7.2 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) R 2926 2926 2525 0 -1 4202560 6629 0 0 0 713 7 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4117820392 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=138360 CPUtime=7.34 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) R 2926 2926 2525 0 -1 4202560 4003 0 0 0 727 7 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4099923860 136017763 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=138360 CPUtime=7.36 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1117 0 0 0 730 6 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4089439208 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=138360 CPUtime=7.12 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) R 2926 2926 2525 0 -1 4202560 4451 0 0 0 705 7 0 0 20 0 8 0 390861976 141680640 14710 33554432000 134512640 146736320 4293216912 4070564048 136008416 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 78.96
Current children cumulated vsize (KiB) 147508
Solver just ended. Dumping a history of the last processes samples
[startup+31.9068 s]
/proc/loadavg: 6.65 5.80 3.05 10/193 2949
/proc/meminfo: memFree=28614000/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=142456 CPUtime=102.79 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 62628 0 0 0 10167 112 0 0 20 0 8 0 390861053 145874944 15612 33554432000 134512640 146736320 4293216912 4293210128 136403112 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 35614 15612 969 2985 0 32548 0
[pid=2927/tid=2943] ppid=2926 vsize=142456 CPUtime=10.55 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3162 0 0 0 1046 9 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4130472528 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=142456 CPUtime=10.34 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1157 0 0 0 1025 9 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4140957896 136388570 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=142456 CPUtime=10.06 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3288 0 0 0 995 11 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4151444456 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=142456 CPUtime=10.2 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) S 2926 2926 2525 0 -1 4202560 6778 0 0 0 1010 10 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4117823120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=142456 CPUtime=10.34 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) R 2926 2926 2525 0 -1 4202560 4129 0 0 0 1022 12 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4099924176 136008163 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=142456 CPUtime=10.36 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1397 0 0 0 1028 8 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4089438416 136008056 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=142456 CPUtime=10.13 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) R 2926 2926 2525 0 -1 4202560 5398 0 0 0 1002 11 0 0 20 0 8 0 390861976 145874944 15612 33554432000 134512640 146736320 4293216912 4070564048 136008438 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.79
Current children cumulated vsize (KiB) 151604
[startup+33.5004 s]
/proc/loadavg: 6.65 5.80 3.05 8/193 2949
/proc/meminfo: memFree=28609892/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=140408 CPUtime=108.63 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 62756 0 0 0 10743 120 0 0 20 0 8 0 390861053 143777792 15278 33554432000 134512640 146736320 4293216912 4293209576 139044509 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2927/statm: 35102 15278 969 2985 0 32036 0
[pid=2927/tid=2943] ppid=2926 vsize=140408 CPUtime=11.27 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3162 0 0 0 1117 10 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4130472528 136403117 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=140408 CPUtime=11.1 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1158 0 0 0 1099 11 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4140957736 139044591 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=140408 CPUtime=10.79 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3288 0 0 0 1067 12 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4151444456 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=140408 CPUtime=10.93 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) R 2926 2926 2525 0 -1 4202560 6778 0 0 0 1082 11 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4117819984 136403117 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=140408 CPUtime=11.03 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) R 2926 2926 2525 0 -1 4202560 4132 0 0 0 1090 13 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4099924968 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=140408 CPUtime=11.05 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1493 0 0 0 1096 9 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4089438664 136000488 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=140408 CPUtime=10.87 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) R 2926 2926 2525 0 -1 4202560 5426 0 0 0 1075 12 0 0 20 0 8 0 390861976 143777792 15278 33554432000 134512640 146736320 4293216912 4070563004 135526877 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 108.63
Current children cumulated vsize (KiB) 149556
[startup+35.1004 s]
/proc/loadavg: 6.65 5.80 3.05 6/193 2949
/proc/meminfo: memFree=28610388/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=140408 CPUtime=114.71 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) S 2926 2926 2525 0 -1 4202496 62757 0 0 0 11346 125 0 0 20 0 8 0 390861053 143777792 15084 33554432000 134512640 146736320 4293216912 4293213264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 35102 15084 969 2985 0 32036 0
[pid=2927/tid=2943] ppid=2926 vsize=140408 CPUtime=12.05 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3162 0 0 0 1194 11 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4130472144 136008172 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=140408 CPUtime=11.86 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1158 0 0 0 1175 11 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4140961424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=140408 CPUtime=11.56 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) S 2926 2926 2525 0 -1 4202560 3288 0 0 0 1143 13 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4151447184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=140408 CPUtime=11.67 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) R 2926 2926 2525 0 -1 4202560 6779 0 0 0 1155 12 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4117819600 136008385 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=140408 CPUtime=11.81 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) S 2926 2926 2525 0 -1 4202560 4132 0 0 0 1168 13 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4099927696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=140408 CPUtime=11.81 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1493 0 0 0 1171 10 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4089438416 136008167 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=140408 CPUtime=11.65 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) S 2926 2926 2525 0 -1 4202560 5426 0 0 0 1152 13 0 0 20 0 8 0 390861976 143777792 15084 33554432000 134512640 146736320 4293216912 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 114.71
Current children cumulated vsize (KiB) 149556
[startup+35.5004 s]
/proc/loadavg: 6.65 5.80 3.05 6/193 2949
/proc/meminfo: memFree=28610388/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=140408 CPUtime=116.09 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 62757 0 0 0 11483 126 0 0 20 0 8 0 390861053 143777792 15075 33554432000 134512640 146736320 4293216912 4293209744 136008392 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 35102 15075 969 2985 0 32036 0
[pid=2927/tid=2943] ppid=2926 vsize=140408 CPUtime=12.26 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3162 0 0 0 1215 11 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4130472936 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=140408 CPUtime=12 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1158 0 0 0 1189 11 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4140958696 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=140408 CPUtime=11.71 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) R 2926 2926 2525 0 -1 4202560 3288 0 0 0 1157 14 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4151443884 136400463 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=140408 CPUtime=11.83 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) R 2926 2926 2525 0 -1 4202560 6779 0 0 0 1171 12 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4117819600 136008230 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=140408 CPUtime=11.98 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) R 2926 2926 2525 0 -1 4202560 4132 0 0 0 1185 13 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4099924176 136008039 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=140408 CPUtime=12 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) R 2926 2926 2525 0 -1 4202560 1493 0 0 0 1190 10 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4089439208 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=140408 CPUtime=11.83 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) R 2926 2926 2525 0 -1 4202560 5426 0 0 0 1170 13 0 0 20 0 8 0 390861976 143777792 15075 33554432000 134512640 146736320 4293216912 4070564664 138419281 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 116.09
Current children cumulated vsize (KiB) 149556
[startup+35.9005 s]
/proc/loadavg: 6.65 5.80 3.05 6/193 2949
/proc/meminfo: memFree=28610388/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=139384 CPUtime=117.53 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) S 2926 2926 2525 0 -1 4202496 62757 0 0 0 11625 128 0 0 20 0 8 0 390861053 142729216 14936 33554432000 134512640 146736320 4293216912 4293213264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 34846 14936 969 2985 0 31780 0
[pid=2927/tid=2943] ppid=2926 vsize=139384 CPUtime=12.46 cores=0,2,4,6
/proc/2927/task/2943/stat : 2943 (pb_cplex) S 2926 2926 2525 0 -1 4202560 3162 0 0 0 1235 11 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4130475664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2927/tid=2944] ppid=2926 vsize=139384 CPUtime=12.17 cores=0,2,4,6
/proc/2927/task/2944/stat : 2944 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1158 0 0 0 1205 12 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4140961424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2945] ppid=2926 vsize=139384 CPUtime=11.9 cores=0,2,4,6
/proc/2927/task/2945/stat : 2945 (pb_cplex) S 2926 2926 2525 0 -1 4202560 3288 0 0 0 1176 14 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4151447184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2946] ppid=2926 vsize=139384 CPUtime=12.05 cores=0,2,4,6
/proc/2927/task/2946/stat : 2946 (pb_cplex) S 2926 2926 2525 0 -1 4202560 6779 0 0 0 1193 12 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4117823120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2927/tid=2947] ppid=2926 vsize=139384 CPUtime=12.19 cores=0,2,4,6
/proc/2927/task/2947/stat : 2947 (pb_cplex) S 2926 2926 2525 0 -1 4202560 4132 0 0 0 1206 13 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4099927696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2927/tid=2948] ppid=2926 vsize=139384 CPUtime=12.1 cores=0,2,4,6
/proc/2927/task/2948/stat : 2948 (pb_cplex) S 2926 2926 2525 0 -1 4202560 1493 0 0 0 1200 10 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4089441936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2927/tid=2949] ppid=2926 vsize=139384 CPUtime=12.05 cores=0,2,4,6
/proc/2927/task/2949/stat : 2949 (pb_cplex) R 2926 2926 2525 0 -1 4202560 5426 0 0 0 1192 13 0 0 20 0 8 0 390861976 142729216 14936 33554432000 134512640 146736320 4293216912 4070564840 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 117.53
Current children cumulated vsize (KiB) 148532
[startup+36.0005 s]
/proc/loadavg: 6.65 5.80 3.05 6/193 2949
/proc/meminfo: memFree=28610388/32873648 swapFree=7372/7372
[pid=2926] ppid=2924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2926/stat : 2926 (run) S 2924 2926 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390861053 9367552 270 33554432000 4194304 5064252 140736058989936 140736058988848 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2926/statm: 2287 270 229 213 0 72 0
[pid=2927] ppid=2926 vsize=89208 CPUtime=117.91 cores=0,2,4,6
/proc/2927/stat : 2927 (pb_cplex) R 2926 2926 2525 0 -1 4202496 62795 0 0 0 11653 138 0 0 20 0 1 0 390861053 91348992 10144 33554432000 134512640 146736320 4293216912 4293215800 136765692 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2927/statm: 22302 10144 977 2985 0 19236 0
Current children cumulated CPU time (s) 117.91
Current children cumulated vsize (KiB) 98356
Child status: 0
Real time (s): 36.0054
CPU time (s): 117.922
CPU user time (s): 116.534
CPU system time (s): 1.38779
CPU usage (%): 327.512
Max. virtual memory (cumulated for all children) (KiB): 153652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.534
system time used= 1.38779
maximum resident set size= 63920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63176
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= 11588
involuntary context switches= 7579
runsolver used 0.101984 second user time and 0.224965 second system time
The end