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-3729959-1339246839/watcher-3729959-1339246839 -o /tmp/evaluation-result-3729959-1339246839/solver-3729959-1339246839 -C 1800 -W 1900 -M 15500 run HOME/instance-3729959-1339246839.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: 0.08 0.02 0.01 3/178 477
/proc/meminfo: memFree=30692804/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[startup+0.105857 s]
/proc/loadavg: 0.08 0.02 0.01 3/178 477
/proc/meminfo: memFree=30692804/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200287 s]
/proc/loadavg: 0.08 0.02 0.01 3/178 477
/proc/meminfo: memFree=30692804/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300272 s]
/proc/loadavg: 0.08 0.02 0.01 3/178 477
/proc/meminfo: memFree=30692804/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 0.08 0.02 0.01 3/178 477
/proc/meminfo: memFree=30692804/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/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.08 0.02 0.01 3/180 479
/proc/meminfo: memFree=30622020/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=88436 CPUtime=1.49 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 16790 0 0 0 146 3 0 0 20 0 1 0 390809753 90558464 16262 33554432000 134512640 146736320 4290549104 4290547152 140628094 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 22109 16270 3018 2985 0 14122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97584
[startup+3.10033 s]
/proc/loadavg: 0.08 0.02 0.01 3/180 479
/proc/meminfo: memFree=30581792/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=246872 CPUtime=3.09 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 50709 0 0 0 299 10 0 0 20 0 1 0 390809753 252796928 56174 33554432000 134512640 146736320 4290549104 4290547704 136181122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 61718 56174 479 2985 0 58652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 256020
[startup+6.30036 s]
/proc/loadavg: 0.23 0.05 0.02 3/180 479
/proc/meminfo: memFree=30413576/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=759780 CPUtime=6.29 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 88940 0 0 0 609 20 0 0 20 0 1 0 390809753 778014720 89117 33554432000 134512640 146736320 4290549104 4290545600 136898651 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 189945 89117 613 2985 0 186879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 768928
[startup+12.7004 s]
/proc/loadavg: 0.37 0.08 0.03 3/180 479
/proc/meminfo: memFree=30268120/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=811692 CPUtime=12.69 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 138512 0 0 0 1237 32 0 0 20 0 1 0 390809753 831172608 98236 33554432000 134512640 146736320 4290549104 4290542700 144801230 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 202923 98236 710 2985 0 199857 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 820840
[startup+25.5004 s]
/proc/loadavg: 0.73 0.18 0.06 3/180 480
/proc/meminfo: memFree=30261868/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=813752 CPUtime=25.49 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 155407 0 0 0 2513 36 0 0 20 0 1 0 390809753 833282048 98703 33554432000 134512640 146736320 4290549104 4290542032 135460985 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203438 98703 710 2985 0 200372 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 822900
[startup+51.1004 s]
/proc/loadavg: 1.16 0.32 0.11 3/180 502
/proc/meminfo: memFree=30286760/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=816144 CPUtime=51.08 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 195479 0 0 0 5064 44 0 0 20 0 1 0 390809753 835731456 99328 33554432000 134512640 146736320 4290549104 4290542504 138412928 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 204036 99328 710 2985 0 200970 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 825292
[startup+102.3 s]
/proc/loadavg: 1.64 0.58 0.20 3/179 502
/proc/meminfo: memFree=30276616/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=102.27 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 268220 0 0 0 10167 60 0 0 20 0 1 0 390809753 833994752 98917 33554432000 134512640 146736320 4290549104 4290541964 135465665 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 98917 710 2985 0 200546 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 823596
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.31 3/179 502
/proc/meminfo: memFree=30276152/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=162.26 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 312306 0 0 0 16157 69 0 0 20 0 1 0 390809753 833994752 99044 33554432000 134512640 146736320 4290549104 4290543160 135997669 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 99044 710 2985 0 200546 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 823596
[startup+222.307 s]
/proc/loadavg: 1.95 1.04 0.42 3/186 509
/proc/meminfo: memFree=30179088/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=222.25 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 22155 70 0 0 20 0 1 0 390809753 833994752 101150 33554432000 134512640 146736320 4290549104 4290544104 136015584 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 101150 710 2985 0 200546 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 823596
[startup+282.3 s]
/proc/loadavg: 5.12 2.00 0.78 9/185 509
/proc/meminfo: memFree=30023424/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=282.24 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 28154 70 0 0 20 0 1 0 390809753 833994752 101275 33554432000 134512640 146736320 4290549104 4290544104 136015570 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 101275 710 2985 0 200546 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 823596
[startup+342.3 s]
/proc/loadavg: 7.14 3.10 1.23 10/186 510
/proc/meminfo: memFree=30019944/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=342.24 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 34153 71 0 0 20 0 1 0 390809753 833994752 101275 33554432000 134512640 146736320 4290549104 4290544104 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 101275 710 2985 0 200546 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 823596
[startup+402.3 s]
/proc/loadavg: 7.90 4.05 1.67 10/186 510
/proc/meminfo: memFree=30016160/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 1.85 2.25 2.40 3/186 690
/proc/meminfo: memFree=30309112/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1422.07 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 142132 75 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290543556 135523315 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 823596
[startup+1482.3 s]
/proc/loadavg: 1.89 2.16 2.36 3/186 690
/proc/meminfo: memFree=30308988/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1482.06 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 148131 75 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290541964 135465320 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 823596
[startup+1542.31 s]
/proc/loadavg: 1.81 2.09 2.32 5/186 691
/proc/meminfo: memFree=30308988/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1542.05 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 154130 75 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290544012 136016762 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 823596
[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.31 3/186 691
/proc/meminfo: memFree=30309112/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1602.04 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 160128 76 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290543948 136389766 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 823596
[startup+1662.3 s]
/proc/loadavg: 1.88 2.06 2.28 3/186 691
/proc/meminfo: memFree=30309112/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1662.03 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 166126 77 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290544072 136463750 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 823596
[startup+1722.3 s]
/proc/loadavg: 2.32 2.13 2.29 3/186 691
/proc/meminfo: memFree=30308988/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1722.02 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 172125 77 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290544728 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 823596
[startup+1782.3 s]
/proc/loadavg: 2.31 2.12 2.27 3/187 694
/proc/meminfo: memFree=30309104/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1782.01 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 178124 77 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290544064 136001700 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 823596
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.27 2.12 2.27 3/187 694
/proc/meminfo: memFree=30309352/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1791.72 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 179094 78 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290544104 136015567 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1791.72
Current children cumulated vsize (KiB) 823596
[startup+1795.2 s]
/proc/loadavg: 2.17 2.10 2.26 3/187 694
/proc/meminfo: memFree=30309352/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1794.92 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 179414 78 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290544104 136015584 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (KiB) 823596
[startup+1798.4 s]
/proc/loadavg: 2.17 2.10 2.26 3/187 694
/proc/meminfo: memFree=30309352/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=814448 CPUtime=1798.11 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 318234 0 0 0 179733 78 0 0 20 0 1 0 390809753 833994752 103647 33554432000 134512640 146736320 4290549104 4290542504 138412928 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 203612 103647 710 2985 0 200546 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 823596
[startup+1799.2 s]
/proc/loadavg: 2.17 2.10 2.26 4/187 694
/proc/meminfo: memFree=30309352/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=832800 CPUtime=1798.91 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 321245 0 0 0 179813 78 0 0 20 0 1 0 390809753 852787200 108241 33554432000 134512640 146736320 4290549104 4290544632 135839564 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 208200 108241 716 2985 0 205134 0
Current children cumulated CPU time (s) 1798.91
Current children cumulated vsize (KiB) 841948
[startup+1799.6 s]
/proc/loadavg: 2.15 2.10 2.26 3/187 694
/proc/meminfo: memFree=30133628/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=1141332 CPUtime=1799.31 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 329272 0 0 0 179849 82 0 0 20 0 1 0 390809753 1168723968 147639 33554432000 134512640 146736320 4290549104 4290544544 139028294 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 285333 147639 719 2985 0 282267 0
Current children cumulated CPU time (s) 1799.31
Current children cumulated vsize (KiB) 1150480
[startup+1800 s]
/proc/loadavg: 2.15 2.10 2.26 3/187 694
/proc/meminfo: memFree=30133628/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=1159600 CPUtime=1799.71 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 331425 0 0 0 179887 84 0 0 20 0 1 0 390809753 1187430400 163880 33554432000 134512640 146736320 4290549104 4290543868 135526859 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 289900 163880 726 2985 0 286834 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (KiB) 1168748
[startup+1800.1 s]
/proc/loadavg: 2.15 2.10 2.26 3/187 694
/proc/meminfo: memFree=30133628/32873844 swapFree=7632/7632
[pid=477] ppid=475 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (run) S 475 477 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390809753 9367552 270 33554432000 4194304 5064252 140733770222176 140733770221088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/477/statm: 2287 270 229 213 0 72 0
[pid=478] ppid=477 vsize=132368 CPUtime=1799.81 cores=1,3,5,7
/proc/478/stat : 478 (pb_cplex) R 477 477 415 0 -1 4202496 332316 0 0 0 179895 86 0 0 20 0 1 0 390809753 135544832 30750 33554432000 134512640 146736320 4290549104 4290548076 140804528 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/478/statm: 33092 30750 757 2985 0 30026 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 141516
Child status: 0
Real time (s): 1800.11
CPU time (s): 1799.83
CPU user time (s): 1798.96
CPU system time (s): 0.866868
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1168748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 0.866868
maximum resident set size= 668664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332681
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= 13
involuntary context switches= 1881
runsolver used 3.04654 second user time and 8.74167 second system time
The end