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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695706-1278022166/watcher-2695706-1278022166 -o /tmp/evaluation-result-2695706-1278022166/solver-2695706-1278022166 -C 1800 -W 2000 -M 1800 run HOME/instance-2695706-1278022166.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.14 1.20 1.25 3/106 30033
/proc/meminfo: memFree=1299468/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0

[startup+0.0234411 s]
/proc/loadavg: 1.14 1.20 1.25 3/106 30033
/proc/meminfo: memFree=1299468/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10145 s]
/proc/loadavg: 1.14 1.20 1.25 3/106 30033
/proc/meminfo: memFree=1299468/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301471 s]
/proc/loadavg: 1.14 1.20 1.25 3/106 30033
/proc/meminfo: memFree=1299468/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70153 s]
/proc/loadavg: 1.14 1.20 1.25 3/106 30033
/proc/meminfo: memFree=1299468/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50063 s]
/proc/loadavg: 1.14 1.20 1.25 2/108 30035
/proc/meminfo: memFree=1267956/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=107288 CPUtime=1.49
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 19727 0 0 0 140 9 0 0 18 0 1 0 177820570 109862912 10737 1992294400 134512640 146736320 4291707056 18446744073709551615 137298804 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 26822 10737 821 2985 0 23364 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115988

[startup+3.10076 s]
/proc/loadavg: 1.14 1.20 1.25 2/108 30035
/proc/meminfo: memFree=1248488/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=119644 CPUtime=3.08
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 25414 0 0 0 298 10 0 0 21 0 1 0 177820570 122515456 13395 1992294400 134512640 146736320 4291707056 18446744073709551615 135658717 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 29911 13395 894 2985 0 26453 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 128344

[startup+6.30108 s]
/proc/loadavg: 1.13 1.20 1.24 2/108 30035
/proc/meminfo: memFree=1247868/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=120156 CPUtime=6.28
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 25535 0 0 0 618 10 0 0 25 0 1 0 177820570 123039744 13509 1992294400 134512640 146736320 4291707056 18446744073709551615 136016695 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 30039 13509 893 2985 0 26581 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 128856

[startup+12.7007 s]
/proc/loadavg: 1.12 1.19 1.24 2/108 30035
/proc/meminfo: memFree=1247992/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=120156 CPUtime=12.68
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 25535 0 0 0 1258 10 0 0 25 0 1 0 177820570 123039744 13509 1992294400 134512640 146736320 4291707056 18446744073709551615 136001627 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 30039 13509 893 2985 0 26581 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 128856

[startup+25.5011 s]
/proc/loadavg: 1.16 1.20 1.24 2/108 30035
/proc/meminfo: memFree=1247992/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=120156 CPUtime=25.48
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 25535 0 0 0 2537 11 0 0 25 0 1 0 177820570 123039744 13509 1992294400 134512640 146736320 4291707056 18446744073709551615 138668053 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 30039 13509 893 2985 0 26581 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128856

[startup+51.1017 s]
/proc/loadavg: 1.11 1.18 1.24 2/108 30037
/proc/meminfo: memFree=1247992/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=120156 CPUtime=51.07
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 25536 0 0 0 5096 11 0 0 25 0 1 0 177820570 123039744 13510 1992294400 134512640 146736320 4291707056 18446744073709551615 135523309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 30039 13510 893 2985 0 26581 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 128856

[startup+102.309 s]
/proc/loadavg: 1.09 1.17 1.23 2/108 30039
/proc/meminfo: memFree=1247992/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=120156 CPUtime=102.26
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 25536 0 0 0 10214 12 0 0 25 0 1 0 177820570 123039744 13510 1992294400 134512640 146736320 4291707056 18446744073709551615 135997748 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 30039 13510 893 2985 0 26581 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128856

[startup+162.301 s]
/proc/loadavg: 1.17 1.18 1.22 2/108 30039
/proc/meminfo: memFree=1242536/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=127876 CPUtime=162.24
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 26955 0 0 0 16211 13 0 0 25 0 1 0 177820570 130945024 14929 1992294400 134512640 146736320 4291707056 18446744073709551615 138768267 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 31969 14929 901 2985 0 28511 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 136576

[startup+222.301 s]
/proc/loadavg: 1.09 1.16 1.21 2/108 30041
/proc/meminfo: memFree=1242536/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=127876 CPUtime=222.23
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 26955 0 0 0 22210 13 0 0 25 0 1 0 177820570 130945024 14929 1992294400 134512640 146736320 4291707056 18446744073709551615 136402275 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 31969 14929 901 2985 0 28511 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 136576

[startup+282.301 s]
/proc/loadavg: 1.03 1.12 1.20 2/108 30046
/proc/meminfo: memFree=1217116/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=167544 CPUtime=282.21
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 44765 0 0 0 28201 20 0 0 25 0 1 0 177820570 171565056 21108 1992294400 134512640 146736320 4291707056 18446744073709551615 139044566 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 41886 21108 970 2985 0 38428 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 176244

[startup+342.301 s]
/proc/loadavg: 1.01 1.10 1.18 2/108 30048
/proc/meminfo: memFree=1217116/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=167544 CPUtime=342.19
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 50294 0 0 0 34197 22 0 0 25 0 1 0 177820570 171565056 21114 1992294400 134512640 146736320 4291707056 18446744073709551615 136384895 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 41886 21114 970 2985 0 38428 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 176244

[startup+402.302 s]
/proc/loadavg: 1.00 1.08 1.17 2/108 30050
/proc/meminfo: memFree=1217240/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=167548 CPUtime=402.18
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 56263 0 0 0 40193 25 0 0 25 0 1 0 177820570 171569152 21117 1992294400 134512640 146736320 4291707056 18446744073709551615 139043573 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 41887 21117 970 2985 0 38429 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 176248

[startup+462.302 s]

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


[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 30074
/proc/meminfo: memFree=1213520/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169204 CPUtime=1361.93
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 199214 0 0 0 136110 83 0 0 25 0 1 0 177820570 173264896 22070 1992294400 134512640 146736320 4291707056 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42301 22070 1015 2985 0 38843 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 177904

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 30076
/proc/meminfo: memFree=1213644/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169204 CPUtime=1421.92
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 206170 0 0 0 142106 86 0 0 25 0 1 0 177820570 173264896 22072 1992294400 134512640 146736320 4291707056 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42301 22072 1015 2985 0 38843 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 177904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 30078
/proc/meminfo: memFree=1213644/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169232 CPUtime=1481.9
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 212766 0 0 0 148102 88 0 0 25 0 1 0 177820570 173293568 22079 1992294400 134512640 146736320 4291707056 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42308 22079 1015 2985 0 38850 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 177932

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 30080
/proc/meminfo: memFree=1213644/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169256 CPUtime=1541.89
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 219851 0 0 0 154098 91 0 0 25 0 1 0 177820570 173318144 22085 1992294400 134512640 146736320 4291707056 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42314 22085 1015 2985 0 38856 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 177956

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 30082
/proc/meminfo: memFree=1213644/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169268 CPUtime=1601.87
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 226914 0 0 0 160094 93 0 0 25 0 1 0 177820570 173330432 22088 1992294400 134512640 146736320 4291707056 18446744073709551615 135468687 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42317 22088 1015 2985 0 38859 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 177968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 30082
/proc/meminfo: memFree=1213644/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1661.86
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 233522 0 0 0 166090 96 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 178012

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30084
/proc/meminfo: memFree=1213520/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1721.84
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 240231 0 0 0 172086 98 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136403109 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 178012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1781.82
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 247448 0 0 0 178081 101 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 178012

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1791.43
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 248486 0 0 0 179042 101 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017489 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 178012

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1794.63
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 248994 0 0 0 179361 102 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 178012

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1797.82
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 249497 0 0 0 179680 102 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 178012

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1798.62
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 249497 0 0 0 179760 102 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 178012

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1799.42
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 250011 0 0 0 179840 102 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 178012

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30086
/proc/meminfo: memFree=1213272/2059040 swapFree=4134900/4192956
[pid=30033] ppid=30031 vsize=8700 CPUtime=0
/proc/30033/stat : 30033 (run) S 30031 30033 29541 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 177820570 8908800 248 1992294400 4194304 4922060 140736622670608 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30033/statm: 2175 248 208 178 0 68 0
[pid=30034] ppid=30033 vsize=169312 CPUtime=1799.82
/proc/30034/stat : 30034 (pb_cplex) R 30033 30033 29541 0 -1 4202496 250011 0 0 0 179880 102 0 0 25 0 1 0 177820570 173375488 22097 1992294400 134512640 146736320 4291707056 18446744073709551615 139044554 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30034/statm: 42328 22097 1015 2985 0 38870 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 178012

Child status: 0
Real time (s): 1800.33
CPU time (s): 1799.87
CPU user time (s): 1798.83
CPU system time (s): 1.04184
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 245360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.04184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250603
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= 2610

runsolver used 2.99154 second user time and 8.47571 second system time

The end