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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695697-1278022035/watcher-2695697-1278022035 -o /tmp/evaluation-result-2695697-1278022035/solver-2695697-1278022035 -C 1800 -W 2000 -M 1800 run HOME/instance-2695697-1278022035.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.30 1.66 1.50 3/106 29271
/proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0

[startup+0.05251 s]
/proc/loadavg: 1.30 1.66 1.50 3/106 29271
/proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101515 s]
/proc/loadavg: 1.30 1.66 1.50 3/106 29271
/proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301536 s]
/proc/loadavg: 1.30 1.66 1.50 3/106 29271
/proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701597 s]
/proc/loadavg: 1.30 1.66 1.50 3/106 29271
/proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50167 s]
/proc/loadavg: 1.30 1.66 1.50 2/108 29273
/proc/meminfo: memFree=1469676/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=113136 CPUtime=1.48
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 21038 0 0 0 141 7 0 0 19 0 1 0 143496371 115851264 12282 1992294400 134512640 146736320 4290838848 18446744073709551615 135811925 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 28284 12282 830 2985 0 24826 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121836

[startup+3.10084 s]
/proc/loadavg: 1.30 1.66 1.50 2/108 29273
/proc/meminfo: memFree=1450704/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=118008 CPUtime=3.08
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24377 0 0 0 299 9 0 0 21 0 1 0 143496371 120840192 13496 1992294400 134512640 146736320 4290838848 18446744073709551615 136461475 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 29502 13496 893 2985 0 26044 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 126708

[startup+6.30119 s]
/proc/loadavg: 1.28 1.65 1.50 2/108 29275
/proc/meminfo: memFree=1449960/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=118196 CPUtime=6.28
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24441 0 0 0 619 9 0 0 25 0 1 0 143496371 121032704 13560 1992294400 134512640 146736320 4290838848 18446744073709551615 138412928 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 29549 13560 893 2985 0 26091 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 126896

[startup+12.7009 s]
/proc/loadavg: 1.25 1.64 1.50 2/108 29275
/proc/meminfo: memFree=1449960/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=118196 CPUtime=12.68
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24441 0 0 0 1259 9 0 0 25 0 1 0 143496371 121032704 13560 1992294400 134512640 146736320 4290838848 18446744073709551615 136015684 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 29549 13560 893 2985 0 26091 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126896

[startup+25.5013 s]
/proc/loadavg: 1.20 1.60 1.49 2/108 29275
/proc/meminfo: memFree=1450084/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=118196 CPUtime=25.48
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24441 0 0 0 2539 9 0 0 25 0 1 0 143496371 121032704 13560 1992294400 134512640 146736320 4290838848 18446744073709551615 135997721 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 29549 13560 893 2985 0 26091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126896

[startup+51.1011 s]
/proc/loadavg: 1.13 1.56 1.47 2/108 29275
/proc/meminfo: memFree=1450084/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=118196 CPUtime=51.07
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24442 0 0 0 5097 10 0 0 25 0 1 0 143496371 121032704 13561 1992294400 134512640 146736320 4290838848 18446744073709551615 138666621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 29549 13561 893 2985 0 26091 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126896

[startup+102.309 s]
/proc/loadavg: 1.09 1.48 1.45 2/108 29277
/proc/meminfo: memFree=1450084/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=118196 CPUtime=102.27
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24442 0 0 0 10216 11 0 0 25 0 1 0 143496371 121032704 13561 1992294400 134512640 146736320 4290838848 18446744073709551615 136236999 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 29549 13561 893 2985 0 26091 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 126896

[startup+162.301 s]
/proc/loadavg: 1.07 1.40 1.42 2/108 29279
/proc/meminfo: memFree=1444876/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=125500 CPUtime=162.24
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 25768 0 0 0 16213 11 0 0 25 0 1 0 143496371 128512000 14887 1992294400 134512640 146736320 4290838848 18446744073709551615 138768453 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 31375 14887 901 2985 0 27917 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 134200

[startup+222.302 s]
/proc/loadavg: 1.14 1.36 1.41 2/108 29279
/proc/meminfo: memFree=1444876/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=125500 CPUtime=222.22
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 25768 0 0 0 22211 11 0 0 25 0 1 0 143496371 128512000 14887 1992294400 134512640 146736320 4290838848 18446744073709551615 138768211 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 31375 14887 901 2985 0 27917 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 134200

[startup+282.301 s]
/proc/loadavg: 1.12 1.31 1.38 2/108 29281
/proc/meminfo: memFree=1418712/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=167360 CPUtime=282.21
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 41779 0 0 0 28204 17 0 0 25 0 1 0 143496371 171376640 21337 1992294400 134512640 146736320 4290838848 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41840 21337 975 2985 0 38382 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 176060

[startup+342.302 s]
/proc/loadavg: 1.11 1.26 1.36 2/108 29283
/proc/meminfo: memFree=1418712/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=167412 CPUtime=342.19
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 47528 0 0 0 34201 18 0 0 25 0 1 0 143496371 171429888 21350 1992294400 134512640 146736320 4290838848 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41853 21350 975 2985 0 38395 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 176112

[startup+402.301 s]
/proc/loadavg: 1.10 1.23 1.34 2/108 29285
/proc/meminfo: memFree=1418712/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=167412 CPUtime=402.18
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 53602 0 0 0 40197 21 0 0 25 0 1 0 143496371 171429888 21350 1992294400 134512640 146736320 4290838848 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41853 21350 975 2985 0 38395 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 176112

[startup+462.301 s]

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


[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/108 29311
/proc/meminfo: memFree=1415488/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166168 CPUtime=1361.93
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 200296 0 0 0 136115 78 0 0 25 0 1 0 143496371 170156032 22066 1992294400 134512640 146736320 4290838848 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41542 22066 1016 2985 0 38084 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 174868

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 29311
/proc/meminfo: memFree=1415488/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166168 CPUtime=1421.92
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 207782 0 0 0 142111 81 0 0 25 0 1 0 143496371 170156032 22066 1992294400 134512640 146736320 4290838848 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41542 22066 1016 2985 0 38084 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 174868

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 29313
/proc/meminfo: memFree=1415488/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166196 CPUtime=1481.9
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 214898 0 0 0 148106 84 0 0 25 0 1 0 143496371 170184704 22075 1992294400 134512640 146736320 4290838848 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41549 22075 1016 2985 0 38091 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 174896

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 29318
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166196 CPUtime=1541.88
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 221971 0 0 0 154101 87 0 0 25 0 1 0 143496371 170184704 22076 1992294400 134512640 146736320 4290838848 18446744073709551615 139043566 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41549 22076 1016 2985 0 38091 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 174896

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29320
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166228 CPUtime=1601.87
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 229079 0 0 0 160097 90 0 0 25 0 1 0 143496371 170217472 22084 1992294400 134512640 146736320 4290838848 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41557 22084 1016 2985 0 38099 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 174928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29322
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1661.85
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 236633 0 0 0 166092 93 0 0 25 0 1 0 143496371 170237952 22088 1992294400 134512640 146736320 4290838848 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22088 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 174948

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29322
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1721.84
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 243643 0 0 0 172088 96 0 0 25 0 1 0 143496371 170237952 22088 1992294400 134512640 146736320 4290838848 18446744073709551615 139044564 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22088 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 174948

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1781.82
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 250705 0 0 0 178083 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136389768 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22089 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 174948

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1791.42
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252213 0 0 0 179043 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22089 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 174948

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1794.62
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252213 0 0 0 179363 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22089 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 174948

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1797.81
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252716 0 0 0 179682 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22089 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 174948

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1798.61
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252716 0 0 0 179762 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22089 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 174948

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=166248 CPUtime=1799.42
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 253710 0 0 0 179842 100 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 41562 22089 1016 2985 0 38104 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 174948

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 29324
/proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956
[pid=29271] ppid=29269 vsize=8700 CPUtime=0
/proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29271/statm: 2175 248 208 178 0 68 0
[pid=29272] ppid=29271 vsize=123068 CPUtime=1799.61
/proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 253902 0 0 0 179861 100 0 0 25 0 1 0 143496371 126021632 15013 1992294400 134512640 146736320 4290838848 18446744073709551615 136765702 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29272/statm: 30767 15013 1026 2985 0 27309 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 131768

Child status: 0
Real time (s): 1800.11
CPU time (s): 1799.64
CPU user time (s): 1798.62
CPU system time (s): 1.01684
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 241596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.01684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254293
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= 6
involuntary context switches= 2521

runsolver used 2.84557 second user time and 8.62669 second system time

The end