runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695703-1278022108/watcher-2695703-1278022108 -o /tmp/evaluation-result-2695703-1278022108/solver-2695703-1278022108 -C 1800 -W 2000 -M 1800 run HOME/instance-2695703-1278022108.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 1.93 1.65 3/106 27615
/proc/meminfo: memFree=1573648/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0

[startup+0.0835781 s]
/proc/loadavg: 1.98 1.93 1.65 3/106 27615
/proc/meminfo: memFree=1573648/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10158 s]
/proc/loadavg: 1.98 1.93 1.65 3/106 27615
/proc/meminfo: memFree=1573648/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301602 s]
/proc/loadavg: 1.98 1.93 1.65 3/106 27615
/proc/meminfo: memFree=1573648/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701646 s]
/proc/loadavg: 1.98 1.93 1.65 3/106 27615
/proc/meminfo: memFree=1573648/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50173 s]
/proc/loadavg: 1.98 1.93 1.65 2/108 27617
/proc/meminfo: memFree=1541268/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=105448 CPUtime=1.48
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 19567 0 0 0 141 7 0 0 25 0 1 0 143503360 107978752 10814 1992294400 134512640 146736320 4294140880 18446744073709551615 137298804 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 26362 10814 821 2985 0 22904 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 114148

[startup+3.10091 s]
/proc/loadavg: 1.98 1.93 1.65 2/108 27617
/proc/meminfo: memFree=1522172/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=118012 CPUtime=3.08
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 24394 0 0 0 299 9 0 0 25 0 1 0 143503360 120844288 13513 1992294400 134512640 146736320 4294140880 18446744073709551615 135658727 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 29503 13513 893 2985 0 26045 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 126712

[startup+6.30126 s]
/proc/loadavg: 1.98 1.93 1.65 2/108 27617
/proc/meminfo: memFree=1522048/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=118012 CPUtime=6.28
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 24413 0 0 0 619 9 0 0 25 0 1 0 143503360 120844288 13532 1992294400 134512640 146736320 4294140880 18446744073709551615 136463750 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 29503 13532 893 2985 0 26045 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 126712

[startup+12.701 s]
/proc/loadavg: 1.83 1.90 1.65 2/108 27619
/proc/meminfo: memFree=1522048/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=118012 CPUtime=12.68
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 24413 0 0 0 1259 9 0 0 25 0 1 0 143503360 120844288 13532 1992294400 134512640 146736320 4294140880 18446744073709551615 135997637 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 29503 13532 893 2985 0 26045 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126712

[startup+25.5014 s]
/proc/loadavg: 1.70 1.87 1.64 2/108 27619
/proc/meminfo: memFree=1522172/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=118012 CPUtime=25.48
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 24414 0 0 0 2538 10 0 0 25 0 1 0 143503360 120844288 13533 1992294400 134512640 146736320 4294140880 18446744073709551615 135453292 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 29503 13533 893 2985 0 26045 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126712

[startup+51.1012 s]
/proc/loadavg: 1.46 1.80 1.62 2/108 27619
/proc/meminfo: memFree=1522172/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=118012 CPUtime=51.07
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 24414 0 0 0 5097 10 0 0 25 0 1 0 143503360 120844288 13533 1992294400 134512640 146736320 4294140880 18446744073709551615 136015624 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 29503 13533 893 2985 0 26045 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126712

[startup+102.309 s]
/proc/loadavg: 1.18 1.66 1.58 2/108 27621
/proc/meminfo: memFree=1522172/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=118012 CPUtime=102.27
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 24414 0 0 0 10216 11 0 0 25 0 1 0 143503360 120844288 13533 1992294400 134512640 146736320 4294140880 18446744073709551615 136461557 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 29503 13533 893 2985 0 26045 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 126712

[startup+162.301 s]
/proc/loadavg: 1.07 1.54 1.54 2/108 27623
/proc/meminfo: memFree=1516840/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=125656 CPUtime=162.24
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 25805 0 0 0 16213 11 0 0 25 0 1 0 143503360 128671744 14924 1992294400 134512640 146736320 4294140880 18446744073709551615 135851856 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 31414 14924 901 2985 0 27956 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 134356

[startup+222.301 s]
/proc/loadavg: 1.02 1.44 1.51 2/108 27623
/proc/meminfo: memFree=1492660/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=168152 CPUtime=222.23
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 38902 0 0 0 22207 16 0 0 25 0 1 0 143503360 172187648 20883 1992294400 134512640 146736320 4294140880 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 42038 20883 970 2985 0 38580 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 176852

[startup+282.302 s]
/proc/loadavg: 1.01 1.35 1.47 2/108 27625
/proc/meminfo: memFree=1492536/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=168236 CPUtime=282.21
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 45027 0 0 0 28203 18 0 0 25 0 1 0 143503360 172273664 20928 1992294400 134512640 146736320 4294140880 18446744073709551615 136017520 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 42059 20928 970 2985 0 38601 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 176936

[startup+342.301 s]
/proc/loadavg: 1.00 1.29 1.44 2/108 27627
/proc/meminfo: memFree=1492536/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=168236 CPUtime=342.2
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 50985 0 0 0 34199 21 0 0 25 0 1 0 143503360 172273664 20934 1992294400 134512640 146736320 4294140880 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 42059 20934 970 2985 0 38601 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 176936

[startup+402.302 s]
/proc/loadavg: 1.05 1.25 1.42 2/108 27629
/proc/meminfo: memFree=1492288/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=168248 CPUtime=402.18
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 57871 0 0 0 40195 23 0 0 25 0 1 0 143503360 172285952 20956 1992294400 134512640 146736320 4294140880 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 42062 20956 970 2985 0 38604 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 176948

[startup+462.301 s]

################
# More data... #
################


[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.11 3/109 27658
/proc/meminfo: memFree=1476160/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167808 CPUtime=1421.92
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 216586 0 0 0 142104 88 0 0 25 0 1 0 143503360 171835392 21938 1992294400 134512640 146736320 4294140880 18446744073709551615 136017662 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41952 21938 1015 2985 0 38494 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 176508

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 27660
/proc/meminfo: memFree=1487576/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167856 CPUtime=1481.9
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 223609 0 0 0 148099 91 0 0 25 0 1 0 143503360 171884544 21951 1992294400 134512640 146736320 4294140880 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41964 21951 1015 2985 0 38506 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 176556

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 27662
/proc/meminfo: memFree=1487576/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167868 CPUtime=1541.87
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 231188 0 0 0 154094 93 0 0 25 0 1 0 143503360 171896832 21954 1992294400 134512640 146736320 4294140880 18446744073709551615 136002010 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41967 21954 1015 2985 0 38509 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 176568

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 27664
/proc/meminfo: memFree=1487576/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167916 CPUtime=1601.87
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 238243 0 0 0 160091 96 0 0 25 0 1 0 143503360 171945984 21965 1992294400 134512640 146736320 4294140880 18446744073709551615 136017618 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41979 21965 1015 2985 0 38521 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 176616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 27666
/proc/meminfo: memFree=1487576/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167936 CPUtime=1661.85
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 245728 0 0 0 166086 99 0 0 25 0 1 0 143503360 171966464 21971 1992294400 134512640 146736320 4294140880 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41984 21971 1015 2985 0 38526 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 176636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27666
/proc/meminfo: memFree=1487576/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1721.83
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 252756 0 0 0 172082 101 0 0 25 0 1 0 143503360 171995136 21978 1992294400 134512640 146736320 4294140880 18446744073709551615 136017665 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21978 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 176664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1781.82
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 259752 0 0 0 178077 105 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 176664

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1791.42
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 260737 0 0 0 179037 105 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 176664

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1794.62
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 261229 0 0 0 179357 105 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 176664

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1796.21
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 261229 0 0 0 179516 105 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 139043573 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 176664

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1797.81
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 261728 0 0 0 179676 105 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 136017662 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 176664

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1798.61
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 261728 0 0 0 179756 105 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 135454096 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 176664

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=167964 CPUtime=1799.02
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 262224 0 0 0 179796 106 0 0 25 0 1 0 143503360 171995136 21980 1992294400 134512640 146736320 4294140880 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 41991 21980 1015 2985 0 38533 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 176664

[startup+1799.61 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27668
/proc/meminfo: memFree=1487700/2059040 swapFree=4139620/4192956
[pid=27615] ppid=27613 vsize=8700 CPUtime=0
/proc/27615/stat : 27615 (run) S 27613 27615 27075 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 143503360 8908800 248 1992294400 4194304 4922060 140734645537712 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27615/statm: 2175 248 208 178 0 68 0
[pid=27616] ppid=27615 vsize=122100 CPUtime=1799.12
/proc/27616/stat : 27616 (pb_cplex) R 27615 27615 27075 0 -1 4202496 262416 0 0 0 179806 106 0 0 25 0 1 0 143503360 125030400 14740 1992294400 134512640 146736320 4294140880 18446744073709551615 136765702 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27616/statm: 30525 14740 1025 2985 0 27067 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 130800

Child status: 0
Real time (s): 1799.63
CPU time (s): 1799.15
CPU user time (s): 1798.07
CPU system time (s): 1.07684
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 238688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 1.07684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262808
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= 9
involuntary context switches= 7337

runsolver used 3.03054 second user time and 8.44072 second system time

The end