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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695704-1278022119/watcher-2695704-1278022119 -o /tmp/evaluation-result-2695704-1278022119/solver-2695704-1278022119 -C 1800 -W 2000 -M 1800 run HOME/instance-2695704-1278022119.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.83 1.86 1.67 3/106 25944
/proc/meminfo: memFree=1384700/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0

[startup+0.0971859 s]
/proc/loadavg: 1.83 1.86 1.67 3/106 25944
/proc/meminfo: memFree=1384700/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101186 s]
/proc/loadavg: 1.83 1.86 1.67 3/106 25944
/proc/meminfo: memFree=1384700/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301203 s]
/proc/loadavg: 1.83 1.86 1.67 3/106 25944
/proc/meminfo: memFree=1384700/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701254 s]
/proc/loadavg: 1.83 1.86 1.67 3/106 25944
/proc/meminfo: memFree=1384700/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50031 s]
/proc/loadavg: 1.83 1.86 1.67 2/108 25946
/proc/meminfo: memFree=1352940/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=112416 CPUtime=1.48
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 19896 0 0 0 142 6 0 0 18 0 1 0 143502720 115113984 12068 1992294400 134512640 146736320 4288043296 18446744073709551615 135811970 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 28104 12068 830 2985 0 24646 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121116

[startup+3.10045 s]
/proc/loadavg: 1.83 1.86 1.67 2/108 25946
/proc/meminfo: memFree=1334588/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=117252 CPUtime=3.08
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 23223 0 0 0 301 7 0 0 21 0 1 0 143502720 120066048 13286 1992294400 134512640 146736320 4288043296 18446744073709551615 136001716 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 29313 13286 893 2985 0 25855 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 125952

[startup+6.30172 s]
/proc/loadavg: 1.76 1.85 1.66 2/108 25946
/proc/meminfo: memFree=1334092/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=117252 CPUtime=6.28
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 23226 0 0 0 621 7 0 0 25 0 1 0 143502720 120066048 13289 1992294400 134512640 146736320 4288043296 18446744073709551615 136015607 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 29313 13289 893 2985 0 25855 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 125952

[startup+12.7013 s]
/proc/loadavg: 1.70 1.83 1.66 2/108 25948
/proc/meminfo: memFree=1334216/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=117252 CPUtime=12.69
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 23226 0 0 0 1261 8 0 0 25 0 1 0 143502720 120066048 13289 1992294400 134512640 146736320 4288043296 18446744073709551615 136461482 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 29313 13289 893 2985 0 25855 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125952

[startup+25.5014 s]
/proc/loadavg: 1.61 1.81 1.65 2/108 25948
/proc/meminfo: memFree=1334216/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=117252 CPUtime=25.48
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 23227 0 0 0 2540 8 0 0 25 0 1 0 143502720 120066048 13290 1992294400 134512640 146736320 4288043296 18446744073709551615 136461557 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 29313 13290 893 2985 0 25855 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125952

[startup+51.1016 s]
/proc/loadavg: 1.40 1.74 1.63 2/108 25948
/proc/meminfo: memFree=1334216/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=117252 CPUtime=51.07
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 23227 0 0 0 5099 8 0 0 25 0 1 0 143502720 120066048 13290 1992294400 134512640 146736320 4288043296 18446744073709551615 135997660 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 29313 13290 893 2985 0 25855 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 125952

[startup+102.309 s]
/proc/loadavg: 1.22 1.64 1.60 2/108 25950
/proc/meminfo: memFree=1334216/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=117252 CPUtime=102.27
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 23227 0 0 0 10217 10 0 0 25 0 1 0 143502720 120066048 13290 1992294400 134512640 146736320 4288043296 18446744073709551615 136384887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 29313 13290 893 2985 0 25855 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 125952

[startup+162.301 s]
/proc/loadavg: 1.20 1.55 1.57 2/108 25952
/proc/meminfo: memFree=1328884/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=124776 CPUtime=162.24
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 24609 0 0 0 16214 10 0 0 25 0 1 0 143502720 127770624 14672 1992294400 134512640 146736320 4288043296 18446744073709551615 138767244 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 31194 14672 901 2985 0 27736 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 133476

[startup+222.301 s]
/proc/loadavg: 1.07 1.45 1.53 2/108 25952
/proc/meminfo: memFree=1328884/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=124776 CPUtime=222.24
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 24609 0 0 0 22213 11 0 0 25 0 1 0 143502720 127770624 14672 1992294400 134512640 146736320 4288043296 18446744073709551615 135851921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 31194 14672 901 2985 0 27736 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 133476

[startup+282.302 s]
/proc/loadavg: 1.02 1.36 1.50 2/108 25954
/proc/meminfo: memFree=1302348/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167056 CPUtime=282.22
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 41735 0 0 0 28205 17 0 0 25 0 1 0 143502720 171065344 21186 1992294400 134512640 146736320 4288043296 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41764 21186 970 2985 0 38306 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 175756

[startup+342.302 s]
/proc/loadavg: 1.01 1.29 1.46 2/108 25956
/proc/meminfo: memFree=1302356/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167056 CPUtime=342.2
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 47637 0 0 0 34201 19 0 0 25 0 1 0 143502720 171065344 21199 1992294400 134512640 146736320 4288043296 18446744073709551615 136017787 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41764 21199 970 2985 0 38306 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 175756

[startup+402.302 s]
/proc/loadavg: 1.00 1.24 1.43 2/108 25958
/proc/meminfo: memFree=1302356/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167056 CPUtime=402.19
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 54038 0 0 0 40198 21 0 0 25 0 1 0 143502720 171065344 21204 1992294400 134512640 146736320 4288043296 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41764 21204 970 2985 0 38306 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 175756

[startup+462.301 s]

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


[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 25984
/proc/meminfo: memFree=1299256/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167036 CPUtime=1421.96
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 212181 0 0 0 142111 85 0 0 25 0 1 0 143502720 171044864 21922 1992294400 134512640 146736320 4288043296 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41759 21922 1013 2985 0 38301 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 175736

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 25989
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167036 CPUtime=1481.92
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 219177 0 0 0 148105 87 0 0 25 0 1 0 143502720 171044864 21923 1992294400 134512640 146736320 4288043296 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41759 21923 1013 2985 0 38301 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 175736

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 25991
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167036 CPUtime=1541.92
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 226217 0 0 0 154101 91 0 0 25 0 1 0 143502720 171044864 21923 1992294400 134512640 146736320 4288043296 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41759 21923 1013 2985 0 38301 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 175736

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 25993
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167040 CPUtime=1601.9
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 233808 0 0 0 160096 94 0 0 25 0 1 0 143502720 171048960 21925 1992294400 134512640 146736320 4288043296 18446744073709551615 136002916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41760 21925 1013 2985 0 38302 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 175740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 25995
/proc/meminfo: memFree=1298884/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1661.89
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 240902 0 0 0 166091 98 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 175784

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25995
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1721.88
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 247942 0 0 0 172087 101 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 175784

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1781.86
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 255051 0 0 0 178083 103 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 175784

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1791.47
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 256078 0 0 0 179043 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 175784

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1794.67
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 256590 0 0 0 179363 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136017766 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 175784

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1797.86
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 256590 0 0 0 179682 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 175784

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1798.65
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 257106 0 0 0 179761 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 175784

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1799.06
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 257106 0 0 0 179802 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 135454073 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 175784

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1799.45
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 257621 0 0 0 179841 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 175784

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 25997
/proc/meminfo: memFree=1299008/2059040 swapFree=4139768/4192956
[pid=25944] ppid=25942 vsize=8700 CPUtime=0
/proc/25944/stat : 25944 (run) S 25942 25944 25311 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502720 8908800 249 1992294400 4194304 4922060 140733226936192 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25944/statm: 2175 249 208 178 0 68 0
[pid=25945] ppid=25944 vsize=167084 CPUtime=1799.55
/proc/25945/stat : 25945 (pb_cplex) R 25944 25944 25311 0 -1 4202496 257621 0 0 0 179851 104 0 0 25 0 1 0 143502720 171094016 21936 1992294400 134512640 146736320 4288043296 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25945/statm: 41771 21936 1013 2985 0 38313 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 175784

Child status: 0
Real time (s): 1800.07
CPU time (s): 1799.64
CPU user time (s): 1798.57
CPU system time (s): 1.06484
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 242244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.06484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258206
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= 10
involuntary context switches= 4652

runsolver used 2.93155 second user time and 8.5447 second system time

The end