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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695695-1278021992/watcher-2695695-1278021992 -o /tmp/evaluation-result-2695695-1278021992/solver-2695695-1278021992 -C 1800 -W 2000 -M 1800 run HOME/instance-2695695-1278021992.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.70 1.68 1.78 3/106 24662
/proc/meminfo: memFree=1765540/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0

[startup+0.100246 s]
/proc/loadavg: 1.70 1.68 1.78 3/106 24662
/proc/meminfo: memFree=1765540/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201265 s]
/proc/loadavg: 1.70 1.68 1.78 3/106 24662
/proc/meminfo: memFree=1765540/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301284 s]
/proc/loadavg: 1.70 1.68 1.78 3/106 24662
/proc/meminfo: memFree=1765540/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701377 s]
/proc/loadavg: 1.70 1.68 1.78 3/106 24662
/proc/meminfo: memFree=1765540/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50151 s]
/proc/loadavg: 1.70 1.68 1.78 2/108 24664
/proc/meminfo: memFree=1733904/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=113220 CPUtime=1.48
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 20959 0 0 0 141 7 0 0 19 0 1 0 175855526 115937280 12298 1992294400 134512640 146736320 4287891328 18446744073709551615 135812006 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 28305 12298 830 2985 0 24847 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121920

[startup+3.10081 s]
/proc/loadavg: 1.64 1.67 1.77 2/108 24664
/proc/meminfo: memFree=1714560/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=117788 CPUtime=3.08
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 24373 0 0 0 300 8 0 0 21 0 1 0 175855526 120614912 13456 1992294400 134512640 146736320 4287891328 18446744073709551615 136015583 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 29447 13456 893 2985 0 25989 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 126488

[startup+6.3014 s]
/proc/loadavg: 1.64 1.67 1.77 2/108 24664
/proc/meminfo: memFree=1713568/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=118256 CPUtime=6.28
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 24507 0 0 0 620 8 0 0 25 0 1 0 175855526 121094144 13582 1992294400 134512640 146736320 4287891328 18446744073709551615 135997721 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 29564 13582 893 2985 0 26106 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 126956

[startup+12.7016 s]
/proc/loadavg: 1.54 1.65 1.77 2/108 24664
/proc/meminfo: memFree=1713816/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=118256 CPUtime=12.68
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 24507 0 0 0 1260 8 0 0 25 0 1 0 175855526 121094144 13582 1992294400 134512640 146736320 4287891328 18446744073709551615 136461520 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 29564 13582 893 2985 0 26106 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126956

[startup+25.501 s]
/proc/loadavg: 1.46 1.63 1.76 2/108 24664
/proc/meminfo: memFree=1713816/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=118256 CPUtime=25.47
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 24507 0 0 0 2539 8 0 0 25 0 1 0 175855526 121094144 13582 1992294400 134512640 146736320 4287891328 18446744073709551615 135453306 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 29564 13582 893 2985 0 26106 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 126956

[startup+51.1008 s]
/proc/loadavg: 1.30 1.58 1.74 2/108 24664
/proc/meminfo: memFree=1713816/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=118256 CPUtime=51.07
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 24507 0 0 0 5098 9 0 0 25 0 1 0 175855526 121094144 13582 1992294400 134512640 146736320 4287891328 18446744073709551615 135997709 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 29564 13582 893 2985 0 26106 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126956

[startup+102.301 s]
/proc/loadavg: 1.12 1.48 1.69 2/108 24666
/proc/meminfo: memFree=1713816/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=118256 CPUtime=102.26
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 24507 0 0 0 10216 10 0 0 25 0 1 0 175855526 121094144 13582 1992294400 134512640 146736320 4287891328 18446744073709551615 135997721 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 29564 13582 893 2985 0 26106 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 126956

[startup+162.302 s]
/proc/loadavg: 1.04 1.39 1.64 2/108 24668
/proc/meminfo: memFree=1708732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=125568 CPUtime=162.23
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 25837 0 0 0 16213 10 0 0 25 0 1 0 175855526 128581632 14912 1992294400 134512640 146736320 4287891328 18446744073709551615 138767247 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 31392 14912 901 2985 0 27934 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 134268

[startup+222.309 s]
/proc/loadavg: 1.01 1.31 1.60 2/108 24670
/proc/meminfo: memFree=1708732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=125568 CPUtime=222.22
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 25837 0 0 0 22212 10 0 0 25 0 1 0 175855526 128581632 14912 1992294400 134512640 146736320 4287891328 18446744073709551615 135526555 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 31392 14912 901 2985 0 27934 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 134268

[startup+282.301 s]
/proc/loadavg: 1.00 1.26 1.56 2/108 24672
/proc/meminfo: memFree=1684304/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168340 CPUtime=282.19
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 43805 0 0 0 28203 16 0 0 25 0 1 0 175855526 172380160 20920 1992294400 134512640 146736320 4287891328 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42085 20920 970 2985 0 38627 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 177040

[startup+342.301 s]
/proc/loadavg: 1.00 1.21 1.52 2/108 24672
/proc/meminfo: memFree=1684188/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168340 CPUtime=342.17
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 49578 0 0 0 34199 18 0 0 25 0 1 0 175855526 172380160 20926 1992294400 134512640 146736320 4287891328 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42085 20926 970 2985 0 38627 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 177040

[startup+402.301 s]
/proc/loadavg: 1.00 1.17 1.49 2/108 24674
/proc/meminfo: memFree=1684064/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168352 CPUtime=402.15
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 55882 0 0 0 40195 20 0 0 25 0 1 0 175855526 172392448 20936 1992294400 134512640 146736320 4287891328 18446744073709551615 136017672 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42088 20936 970 2985 0 38630 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 177052

[startup+462.302 s]

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

Current children cumulated vsize (KiB) 176804

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/108 24702
/proc/meminfo: memFree=1678980/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168104 CPUtime=1421.81
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 208350 0 0 0 142102 79 0 0 25 0 1 0 175855526 172138496 22067 1992294400 134512640 146736320 4287891328 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42026 22067 1013 2985 0 38568 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 176804

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 24704
/proc/meminfo: memFree=1678980/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1481.78
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 215181 0 0 0 148096 82 0 0 25 0 1 0 175855526 172175360 22076 1992294400 134512640 146736320 4287891328 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22076 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 176840

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 24704
/proc/meminfo: memFree=1678980/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1541.77
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 222484 0 0 0 154092 85 0 0 25 0 1 0 175855526 172175360 22076 1992294400 134512640 146736320 4287891328 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22076 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 176840

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 24706
/proc/meminfo: memFree=1678980/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1601.74
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 229360 0 0 0 160087 87 0 0 25 0 1 0 175855526 172175360 22076 1992294400 134512640 146736320 4287891328 18446744073709551615 139023078 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22076 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 176840

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 24708
/proc/meminfo: memFree=1678980/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1661.73
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 236289 0 0 0 166083 90 0 0 25 0 1 0 175855526 172175360 22076 1992294400 134512640 146736320 4287891328 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22076 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 176840

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24710
/proc/meminfo: memFree=1678980/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1721.71
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 242682 0 0 0 172078 93 0 0 25 0 1 0 175855526 172175360 22076 1992294400 134512640 146736320 4287891328 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22076 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 176840

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1781.68
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 250139 0 0 0 178072 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 176840

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1791.38
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 251118 0 0 0 179042 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 176840

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1794.58
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 251624 0 0 0 179362 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 176840

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1797.77
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 251624 0 0 0 179681 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 136017777 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 176840

[startup+1799.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1798.57
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 252124 0 0 0 179761 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 176840

[startup+1799.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1798.98
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 252626 0 0 0 179802 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 136017527 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 176840

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=168140 CPUtime=1799.37
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202496 252626 0 0 0 179841 96 0 0 25 0 1 0 175855526 172175360 22078 1992294400 134512640 146736320 4287891328 18446744073709551615 136017755 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24663/statm: 42035 22078 1013 2985 0 38577 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 176840

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 24712
/proc/meminfo: memFree=1678732/2059040 swapFree=4139352/4192956
[pid=24662] ppid=24660 vsize=8700 CPUtime=0
/proc/24662/stat : 24662 (run) S 24660 24662 24051 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 175855526 8908800 248 1992294400 4194304 4922060 140736538058544 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24662/statm: 2175 248 208 178 0 68 0
[pid=24663] ppid=24662 vsize=0 CPUtime=1799.47
/proc/24663/stat : 24663 (pb_cplex) R 24662 24662 24051 0 -1 4202500 252840 0 0 0 179850 97 0 0 25 0 1 0 175855526 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24663/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 8700

Child status: 0
Real time (s): 1800.1
CPU time (s): 1799.49
CPU user time (s): 1798.51
CPU system time (s): 0.98085
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 247160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 0.98085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253210
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= 8
involuntary context switches= 4375

runsolver used 3.00254 second user time and 8.46571 second system time

The end