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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695708-1278022192/watcher-2695708-1278022192 -o /tmp/evaluation-result-2695708-1278022192/solver-2695708-1278022192 -C 1800 -W 2000 -M 1800 run HOME/instance-2695708-1278022192.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.85 1.78 1.74 3/106 23831
/proc/meminfo: memFree=1577628/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0

[startup+0.0342931 s]
/proc/loadavg: 1.85 1.78 1.74 3/106 23831
/proc/meminfo: memFree=1577628/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101298 s]
/proc/loadavg: 1.85 1.78 1.74 3/106 23831
/proc/meminfo: memFree=1577628/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301322 s]
/proc/loadavg: 1.85 1.78 1.74 3/106 23831
/proc/meminfo: memFree=1577628/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701373 s]
/proc/loadavg: 1.85 1.78 1.74 3/106 23831
/proc/meminfo: memFree=1577628/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50043 s]
/proc/loadavg: 1.85 1.78 1.74 2/108 23833
/proc/meminfo: memFree=1552192/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=62128 CPUtime=1.48
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 9651 0 0 0 144 4 0 0 19 0 1 0 175875569 63619072 7150 1992294400 134512640 146736320 4287307344 18446744073709551615 138666647 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 15532 7150 893 2985 0 12074 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 70828

[startup+3.10059 s]
/proc/loadavg: 1.85 1.78 1.74 2/108 23833
/proc/meminfo: memFree=1551820/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=62536 CPUtime=3.08
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 9765 0 0 0 304 4 0 0 23 0 1 0 175875569 64036864 7256 1992294400 134512640 146736320 4287307344 18446744073709551615 136015579 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 15634 7256 893 2985 0 12176 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71236

[startup+6.30089 s]
/proc/loadavg: 1.78 1.77 1.73 2/108 23833
/proc/meminfo: memFree=1551200/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=62536 CPUtime=6.28
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 9771 0 0 0 624 4 0 0 25 0 1 0 175875569 64036864 7262 1992294400 134512640 146736320 4287307344 18446744073709551615 135525146 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 15634 7262 893 2985 0 12176 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 71236

[startup+12.7015 s]
/proc/loadavg: 1.72 1.75 1.73 2/108 23833
/proc/meminfo: memFree=1551200/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=62536 CPUtime=12.68
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 9771 0 0 0 1264 4 0 0 25 0 1 0 175875569 64036864 7262 1992294400 134512640 146736320 4287307344 18446744073709551615 135658702 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 15634 7262 893 2985 0 12176 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71236

[startup+25.5017 s]
/proc/loadavg: 1.56 1.72 1.72 3/108 23833
/proc/meminfo: memFree=1548968/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=65752 CPUtime=25.48
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 10357 0 0 0 2543 5 0 0 25 0 1 0 175875569 67330048 7848 1992294400 134512640 146736320 4287307344 18446744073709551615 139028303 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 16438 7848 901 2985 0 12980 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74452

[startup+51.1012 s]
/proc/loadavg: 1.37 1.66 1.70 2/108 23833
/proc/meminfo: memFree=1548844/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=65752 CPUtime=51.06
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 10360 0 0 0 5101 5 0 0 25 0 1 0 175875569 67330048 7851 1992294400 134512640 146736320 4287307344 18446744073709551615 136384895 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 16438 7851 901 2985 0 12980 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74452

[startup+102.309 s]
/proc/loadavg: 1.14 1.55 1.66 2/108 23835
/proc/meminfo: memFree=1538676/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82048 CPUtime=102.25
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 22946 0 0 0 10215 10 0 0 25 0 1 0 175875569 84017152 10311 1992294400 134512640 146736320 4287307344 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20512 10311 970 2985 0 17054 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 90748

[startup+162.302 s]
/proc/loadavg: 1.06 1.45 1.62 2/108 23837
/proc/meminfo: memFree=1538676/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82048 CPUtime=162.24
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 35955 0 0 0 16208 16 0 0 25 0 1 0 175875569 84017152 10311 1992294400 134512640 146736320 4287307344 18446744073709551615 136400632 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20512 10311 970 2985 0 17054 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 90748

[startup+222.302 s]
/proc/loadavg: 1.02 1.37 1.57 2/108 23839
/proc/meminfo: memFree=1538676/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82048 CPUtime=222.22
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 49220 0 0 0 22200 22 0 0 25 0 1 0 175875569 84017152 10311 1992294400 134512640 146736320 4287307344 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20512 10311 970 2985 0 17054 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 90748

[startup+282.301 s]
/proc/loadavg: 1.00 1.30 1.53 2/108 23839
/proc/meminfo: memFree=1535824/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82060 CPUtime=282.2
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 74514 0 0 0 28189 31 0 0 25 0 1 0 175875569 84029440 11048 1992294400 134512640 146736320 4287307344 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20515 11048 1016 2985 0 17057 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 90760

[startup+342.302 s]
/proc/loadavg: 1.06 1.26 1.50 2/108 23841
/proc/meminfo: memFree=1535824/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82076 CPUtime=342.19
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 87630 0 0 0 34183 36 0 0 25 0 1 0 175875569 84045824 11057 1992294400 134512640 146736320 4287307344 18446744073709551615 139044580 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20519 11057 1016 2985 0 17061 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 90776

[startup+402.302 s]
/proc/loadavg: 1.02 1.21 1.47 2/108 23843
/proc/meminfo: memFree=1535700/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82096 CPUtime=402.17
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 100901 0 0 0 40176 41 0 0 25 0 1 0 175875569 84066304 11063 1992294400 134512640 146736320 4287307344 18446744073709551615 136475784 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20524 11063 1016 2985 0 17066 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 90796

[startup+462.302 s]

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


[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.13 2/108 23871
/proc/meminfo: memFree=1520944/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=100428 CPUtime=1421.92
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 256530 0 0 0 142084 108 0 0 25 0 1 0 175875569 102838272 14856 1992294400 134512640 146736320 4287307344 18446744073709551615 137698805 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 25107 14856 1027 2985 0 21649 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 109128

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 23871
/proc/meminfo: memFree=1533468/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82588 CPUtime=1481.91
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 267824 0 0 0 148077 114 0 0 25 0 1 0 175875569 84570112 11593 1992294400 134512640 146736320 4287307344 18446744073709551615 135854189 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20647 11593 1027 2985 0 17189 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 91288

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 23873
/proc/meminfo: memFree=1533344/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82624 CPUtime=1541.89
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 280098 0 0 0 154070 119 0 0 25 0 1 0 175875569 84606976 11603 1992294400 134512640 146736320 4287307344 18446744073709551615 136017766 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20656 11603 1027 2985 0 17198 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 91324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 23875
/proc/meminfo: memFree=1533344/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82652 CPUtime=1601.87
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 293086 0 0 0 160063 124 0 0 25 0 1 0 175875569 84635648 11609 1992294400 134512640 146736320 4287307344 18446744073709551615 136017777 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20663 11609 1027 2985 0 17205 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 91352

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 23877
/proc/meminfo: memFree=1525408/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=95300 CPUtime=1661.86
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 311786 0 0 0 166055 131 0 0 25 0 1 0 175875569 97587200 13895 1992294400 134512640 146736320 4287307344 18446744073709551615 137698810 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 23825 13895 1027 2985 0 20367 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 104000

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.09 2/108 23882
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82240 CPUtime=1721.84
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 322872 0 0 0 172048 136 0 0 25 0 1 0 175875569 84213760 11516 1992294400 134512640 146736320 4287307344 18446744073709551615 139028333 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20560 11516 1027 2985 0 17102 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 90940

[startup+1782.3 s]
/proc/loadavg: 1.08 1.03 1.09 2/108 23882
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82276 CPUtime=1781.83
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 335199 0 0 0 178040 143 0 0 25 0 1 0 175875569 84250624 11528 1992294400 134512640 146736320 4287307344 18446744073709551615 136403109 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20569 11528 1027 2985 0 17111 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 90976

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

[startup+1791.91 s]
/proc/loadavg: 1.07 1.03 1.09 2/108 23882
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1791.44
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 337259 0 0 0 179000 144 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 139043560 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 90984

[startup+1795.1 s]
/proc/loadavg: 1.07 1.02 1.09 2/108 23884
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1794.63
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 337944 0 0 0 179319 144 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 90984

[startup+1796.7 s]
/proc/loadavg: 1.07 1.02 1.09 2/108 23884
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1796.22
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 338172 0 0 0 179478 144 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 90984

[startup+1798.3 s]
/proc/loadavg: 1.06 1.02 1.08 2/108 23884
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1797.82
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 338625 0 0 0 179638 144 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 90984

[startup+1798.7 s]
/proc/loadavg: 1.06 1.02 1.08 2/108 23884
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1798.22
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 338625 0 0 0 179678 144 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (KiB) 90984

[startup+1799.1 s]
/proc/loadavg: 1.06 1.02 1.08 2/108 23884
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1798.63
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 339081 0 0 0 179718 145 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 136403116 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 90984

[startup+1799.2 s]
/proc/loadavg: 1.06 1.02 1.08 2/108 23884
/proc/meminfo: memFree=1532972/2059040 swapFree=4139332/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 175875568 8908800 249 1992294400 4194304 4922060 140734658230768 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23831/statm: 2175 249 208 178 0 68 0
[pid=23832] ppid=23831 vsize=82284 CPUtime=1798.73
/proc/23832/stat : 23832 (pb_cplex) R 23831 23831 23192 0 -1 4202496 339081 0 0 0 179728 145 0 0 25 0 1 0 175875569 84258816 11530 1992294400 134512640 146736320 4287307344 18446744073709551615 139043577 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23832/statm: 20571 11530 1027 2985 0 17113 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 90984

Child status: 0
Real time (s): 1799.24
CPU time (s): 1798.78
CPU user time (s): 1797.32
CPU system time (s): 1.45678
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 111648

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

runsolver used 3.04854 second user time and 8.42172 second system time

The end