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-3729790-1339246838/watcher-3729790-1339246838 -o /tmp/evaluation-result-3729790-1339246838/solver-3729790-1339246838 -C 1800 -W 1900 -M 15500 run HOME/instance-3729790-1339246838.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.16 0.03 0.01 3/176 21801
/proc/meminfo: memFree=31523496/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[startup+0.0112061 s]
/proc/loadavg: 0.16 0.03 0.01 3/176 21801
/proc/meminfo: memFree=31523496/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100216 s]
/proc/loadavg: 0.16 0.03 0.01 3/176 21801
/proc/meminfo: memFree=31523496/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300184 s]
/proc/loadavg: 0.16 0.03 0.01 3/176 21801
/proc/meminfo: memFree=31523496/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700166 s]
/proc/loadavg: 0.16 0.03 0.01 3/176 21801
/proc/meminfo: memFree=31523496/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/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: 0.16 0.03 0.01 10/196 21821
/proc/meminfo: memFree=31458608/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=75984 CPUtime=2.85 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) R 21801 21801 21745 0 -1 4202496 13880 0 0 0 276 9 0 0 20 0 1 0 34651009 77807616 5330 33554432000 134512640 146736320 4288405120 4288401048 144757825 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21804/statm: 18996 5330 888 2985 0 15930 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 85132
[startup+3.10021 s]
/proc/loadavg: 0.16 0.03 0.01 8/182 21855
/proc/meminfo: memFree=31510876/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=127016 CPUtime=5.06 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) R 21801 21801 21745 0 -1 4202496 23586 0 0 0 488 18 0 0 20 0 8 0 34651009 130064384 10587 33554432000 134512640 146736320 4288405120 4288397264 136403109 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21804/statm: 31754 10587 896 2985 0 28688 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 136164
[startup+6.3004 s]
/proc/loadavg: 0.31 0.07 0.02 9/183 21862
/proc/meminfo: memFree=31499696/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=125408 CPUtime=16.43 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) R 21801 21801 21745 0 -1 4202496 30174 0 0 0 1613 30 0 0 20 0 8 0 34651009 128417792 10627 33554432000 134512640 146736320 4288405120 4288398760 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21804/statm: 31352 10627 896 2985 0 28286 0
[pid=21804/tid=21856] ppid=21801 vsize=125408 CPUtime=1.56 cores=0,2,4,6
/proc/21804/task/21856/stat : 21856 (pb_cplex) R 21801 21801 21745 0 -1 4202560 306 0 0 0 155 1 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4130803824 136384854 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21857] ppid=21801 vsize=125408 CPUtime=1.1 cores=0,2,4,6
/proc/21804/task/21857/stat : 21857 (pb_cplex) R 21801 21801 21745 0 -1 4202560 2220 0 0 0 110 0 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4141289624 136007041 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21858] ppid=21801 vsize=125408 CPUtime=0.88 cores=0,2,4,6
/proc/21804/task/21858/stat : 21858 (pb_cplex) R 21801 21801 21745 0 -1 4202560 143 0 0 0 86 2 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4151775384 136007627 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21859] ppid=21801 vsize=125408 CPUtime=1.81 cores=0,2,4,6
/proc/21804/task/21859/stat : 21859 (pb_cplex) R 21801 21801 21745 0 -1 4202560 218 0 0 0 180 1 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4118167676 136400481 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21860] ppid=21801 vsize=125408 CPUtime=1.77 cores=0,2,4,6
/proc/21804/task/21860/stat : 21860 (pb_cplex) R 21801 21801 21745 0 -1 4202560 316 0 0 0 174 3 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4097826888 139042864 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21861] ppid=21801 vsize=125408 CPUtime=1.38 cores=0,2,4,6
/proc/21804/task/21861/stat : 21861 (pb_cplex) R 21801 21801 21745 0 -1 4202560 423 0 0 0 136 2 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4087341332 136004868 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21862] ppid=21801 vsize=125408 CPUtime=1.16 cores=0,2,4,6
/proc/21804/task/21862/stat : 21862 (pb_cplex) R 21801 21801 21745 0 -1 4202560 645 0 0 0 114 2 0 0 20 0 8 0 34651223 128417792 10627 33554432000 134512640 146736320 4288405120 4065320268 135465175 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 16.43
Current children cumulated vsize (KiB) 134556
Solver just ended. Dumping a history of the last processes samples
[startup+6.40052 s]
/proc/loadavg: 0.31 0.07 0.02 9/183 21862
/proc/meminfo: memFree=31499696/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=125408 CPUtime=16.83 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) S 21801 21801 21745 0 -1 4202496 30262 0 0 0 1653 30 0 0 20 0 8 0 34651009 128417792 10685 33554432000 134512640 146736320 4288405120 4288401488 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21804/statm: 31352 10685 896 2985 0 28286 0
[pid=21804/tid=21856] ppid=21801 vsize=125408 CPUtime=1.61 cores=0,2,4,6
/proc/21804/task/21856/stat : 21856 (pb_cplex) R 21801 21801 21745 0 -1 4202560 306 0 0 0 159 2 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4130803912 136388550 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21804/tid=21857] ppid=21801 vsize=125408 CPUtime=1.16 cores=0,2,4,6
/proc/21804/task/21857/stat : 21857 (pb_cplex) R 21801 21801 21745 0 -1 4202560 2247 0 0 0 116 0 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4141289680 136008309 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21858] ppid=21801 vsize=125408 CPUtime=0.93 cores=0,2,4,6
/proc/21804/task/21858/stat : 21858 (pb_cplex) R 21801 21801 21745 0 -1 4202560 143 0 0 0 91 2 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4151775164 135446495 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21859] ppid=21801 vsize=125408 CPUtime=1.86 cores=0,2,4,6
/proc/21804/task/21859/stat : 21859 (pb_cplex) R 21801 21801 21745 0 -1 4202560 270 0 0 0 185 1 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4118165392 135460567 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21860] ppid=21801 vsize=125408 CPUtime=1.82 cores=0,2,4,6
/proc/21804/task/21860/stat : 21860 (pb_cplex) R 21801 21801 21745 0 -1 4202560 316 0 0 0 179 3 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4097827816 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21861] ppid=21801 vsize=125408 CPUtime=1.45 cores=0,2,4,6
/proc/21804/task/21861/stat : 21861 (pb_cplex) R 21801 21801 21745 0 -1 4202560 423 0 0 0 143 2 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4087341332 136004898 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21862] ppid=21801 vsize=125408 CPUtime=1.21 cores=0,2,4,6
/proc/21804/task/21862/stat : 21862 (pb_cplex) R 21801 21801 21745 0 -1 4202560 654 0 0 0 119 2 0 0 20 0 8 0 34651223 128417792 10685 33554432000 134512640 146736320 4288405120 4065321032 139042902 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 16.83
Current children cumulated vsize (KiB) 134556
[startup+7.20042 s]
/proc/loadavg: 0.31 0.07 0.02 8/183 21862
/proc/meminfo: memFree=31499696/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=125408 CPUtime=19.7 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) S 21801 21801 21745 0 -1 4202496 30454 0 0 0 1935 35 0 0 20 0 8 0 34651009 128417792 10688 33554432000 134512640 146736320 4288405120 4288401488 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21804/statm: 31352 10688 896 2985 0 28286 0
[pid=21804/tid=21856] ppid=21801 vsize=125408 CPUtime=1.98 cores=0,2,4,6
/proc/21804/task/21856/stat : 21856 (pb_cplex) S 21801 21801 21745 0 -1 4202560 306 0 0 0 196 2 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4130807440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21857] ppid=21801 vsize=125408 CPUtime=1.52 cores=0,2,4,6
/proc/21804/task/21857/stat : 21857 (pb_cplex) R 21801 21801 21745 0 -1 4202560 2358 0 0 0 150 2 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4141290472 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21858] ppid=21801 vsize=125408 CPUtime=1.27 cores=0,2,4,6
/proc/21804/task/21858/stat : 21858 (pb_cplex) S 21801 21801 21745 0 -1 4202560 143 0 0 0 125 2 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4151778960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21859] ppid=21801 vsize=125408 CPUtime=2.3 cores=0,2,4,6
/proc/21804/task/21859/stat : 21859 (pb_cplex) R 21801 21801 21745 0 -1 4202560 350 0 0 0 227 3 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4118167704 136007284 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21860] ppid=21801 vsize=125408 CPUtime=2.15 cores=0,2,4,6
/proc/21804/task/21860/stat : 21860 (pb_cplex) R 21801 21801 21745 0 -1 4202560 316 0 0 0 212 3 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4097827816 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21804/tid=21861] ppid=21801 vsize=125408 CPUtime=1.76 cores=0,2,4,6
/proc/21804/task/21861/stat : 21861 (pb_cplex) R 21801 21801 21745 0 -1 4202560 423 0 0 0 174 2 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4087341208 136007303 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21804/tid=21862] ppid=21801 vsize=125408 CPUtime=1.57 cores=0,2,4,6
/proc/21804/task/21862/stat : 21862 (pb_cplex) R 21801 21801 21745 0 -1 4202560 654 0 0 0 155 2 0 0 20 0 8 0 34651223 128417792 10688 33554432000 134512640 146736320 4288405120 4065321160 136388555 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (KiB) 134556
[startup+7.4004 s]
/proc/loadavg: 0.31 0.07 0.02 8/183 21862
/proc/meminfo: memFree=31499696/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=125408 CPUtime=20.43 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) S 21801 21801 21745 0 -1 4202496 30455 0 0 0 2007 36 0 0 20 0 8 0 34651009 128417792 10684 33554432000 134512640 146736320 4288405120 4288401488 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21804/statm: 31352 10684 896 2985 0 28286 0
[pid=21804/tid=21856] ppid=21801 vsize=125408 CPUtime=2.06 cores=0,2,4,6
/proc/21804/task/21856/stat : 21856 (pb_cplex) S 21801 21801 21745 0 -1 4202560 306 0 0 0 204 2 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4130807440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21857] ppid=21801 vsize=125408 CPUtime=1.62 cores=0,2,4,6
/proc/21804/task/21857/stat : 21857 (pb_cplex) S 21801 21801 21745 0 -1 4202560 2359 0 0 0 160 2 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4141293200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21858] ppid=21801 vsize=125408 CPUtime=1.36 cores=0,2,4,6
/proc/21804/task/21858/stat : 21858 (pb_cplex) S 21801 21801 21745 0 -1 4202560 143 0 0 0 134 2 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4151778960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21859] ppid=21801 vsize=125408 CPUtime=2.4 cores=0,2,4,6
/proc/21804/task/21859/stat : 21859 (pb_cplex) S 21801 21801 21745 0 -1 4202560 350 0 0 0 237 3 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4118171280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21860] ppid=21801 vsize=125408 CPUtime=2.24 cores=0,2,4,6
/proc/21804/task/21860/stat : 21860 (pb_cplex) R 21801 21801 21745 0 -1 4202560 316 0 0 0 221 3 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4097827816 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21804/tid=21861] ppid=21801 vsize=125408 CPUtime=1.86 cores=0,2,4,6
/proc/21804/task/21861/stat : 21861 (pb_cplex) R 21801 21801 21745 0 -1 4202560 423 0 0 0 184 2 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4087341648 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21862] ppid=21801 vsize=125408 CPUtime=1.67 cores=0,2,4,6
/proc/21804/task/21862/stat : 21862 (pb_cplex) S 21801 21801 21745 0 -1 4202560 654 0 0 0 165 2 0 0 20 0 8 0 34651223 128417792 10684 33554432000 134512640 146736320 4288405120 4065324688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 20.43
Current children cumulated vsize (KiB) 134556
[startup+7.5004 s]
/proc/loadavg: 0.31 0.07 0.02 8/183 21862
/proc/meminfo: memFree=31499696/32873844 swapFree=7132/7132
[pid=21801] ppid=21798 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (run) S 21798 21801 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34651008 9367552 270 33554432000 4194304 5064252 140733756643376 140733756642288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21801/statm: 2287 270 229 213 0 72 0
[pid=21804] ppid=21801 vsize=125408 CPUtime=20.81 cores=0,2,4,6
/proc/21804/stat : 21804 (pb_cplex) S 21801 21801 21745 0 -1 4202496 30467 0 0 0 2045 36 0 0 20 0 8 0 34651009 128417792 10689 33554432000 134512640 146736320 4288405120 4288401488 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21804/statm: 31352 10689 900 2985 0 28286 0
[pid=21804/tid=21856] ppid=21801 vsize=125408 CPUtime=2.12 cores=0,2,4,6
/proc/21804/task/21856/stat : 21856 (pb_cplex) R 21801 21801 21745 0 -1 4202560 307 0 0 0 210 2 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4130805620 135964351 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=21804/tid=21857] ppid=21801 vsize=125408 CPUtime=1.69 cores=0,2,4,6
/proc/21804/task/21857/stat : 21857 (pb_cplex) S 21801 21801 21745 0 -1 4202560 2359 0 0 0 167 2 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4141293200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21858] ppid=21801 vsize=125408 CPUtime=1.4 cores=0,2,4,6
/proc/21804/task/21858/stat : 21858 (pb_cplex) R 21801 21801 21745 0 -1 4202560 143 0 0 0 138 2 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4151775232 136019045 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21859] ppid=21801 vsize=125408 CPUtime=2.48 cores=0,2,4,6
/proc/21804/task/21859/stat : 21859 (pb_cplex) R 21801 21801 21745 0 -1 4202560 357 0 0 0 245 3 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4118167704 136007270 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21804/tid=21860] ppid=21801 vsize=125408 CPUtime=2.28 cores=0,2,4,6
/proc/21804/task/21860/stat : 21860 (pb_cplex) R 21801 21801 21745 0 -1 4202560 316 0 0 0 225 3 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4097826968 136007286 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21804/tid=21861] ppid=21801 vsize=125408 CPUtime=1.9 cores=0,2,4,6
/proc/21804/task/21861/stat : 21861 (pb_cplex) R 21801 21801 21745 0 -1 4202560 423 0 0 0 187 3 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4087341036 135454134 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=21804/tid=21862] ppid=21801 vsize=125408 CPUtime=1.7 cores=0,2,4,6
/proc/21804/task/21862/stat : 21862 (pb_cplex) R 21801 21801 21745 0 -1 4202560 654 0 0 0 168 2 0 0 20 0 8 0 34651223 128417792 10689 33554432000 134512640 146736320 4288405120 4065322008 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 134556
Child status: 0
Real time (s): 7.57105
CPU time (s): 21.0978
CPU user time (s): 20.6359
CPU system time (s): 0.461929
CPU usage (%): 278.664
Max. virtual memory (cumulated for all children) (KiB): 136416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.6359
system time used= 0.461929
maximum resident set size= 43204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30851
page faults= 0
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4650
involuntary context switches= 1496
runsolver used 0.012998 second user time and 0.055991 second system time
The end