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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695701-1278022071/watcher-2695701-1278022071 -o /tmp/evaluation-result-2695701-1278022071/solver-2695701-1278022071 -C 1800 -W 2000 -M 1800 run HOME/instance-2695701-1278022071.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.26 1.22 1.18 3/106 31467
/proc/meminfo: memFree=1311776/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0

[startup+0.050582 s]
/proc/loadavg: 1.26 1.22 1.18 3/106 31467
/proc/meminfo: memFree=1311776/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101587 s]
/proc/loadavg: 1.26 1.22 1.18 3/106 31467
/proc/meminfo: memFree=1311776/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301609 s]
/proc/loadavg: 1.26 1.22 1.18 3/106 31467
/proc/meminfo: memFree=1311776/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701669 s]
/proc/loadavg: 1.26 1.22 1.18 3/106 31467
/proc/meminfo: memFree=1311776/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50174 s]
/proc/loadavg: 1.24 1.21 1.18 2/108 31469
/proc/meminfo: memFree=1279396/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=108020 CPUtime=1.49
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 20930 0 0 0 142 7 0 0 18 0 1 0 143502093 110612480 10957 1992294400 134512640 146736320 4288381136 18446744073709551615 137298901 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 27005 10957 821 2985 0 23547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116720

[startup+3.10191 s]
/proc/loadavg: 1.24 1.21 1.18 2/108 31469
/proc/meminfo: memFree=1259680/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=120824 CPUtime=3.08
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 26510 0 0 0 299 9 0 0 21 0 1 0 143502093 123723776 13666 1992294400 134512640 146736320 4288381136 18446744073709551615 136015619 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 30206 13666 893 2985 0 26748 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 129524

[startup+6.30126 s]
/proc/loadavg: 1.24 1.21 1.18 2/108 31469
/proc/meminfo: memFree=1259184/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=121028 CPUtime=6.28
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 26610 0 0 0 619 9 0 0 25 0 1 0 143502093 123932672 13766 1992294400 134512640 146736320 4288381136 18446744073709551615 136015700 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 30257 13766 893 2985 0 26799 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 129728

[startup+12.701 s]
/proc/loadavg: 1.20 1.20 1.18 2/108 31469
/proc/meminfo: memFree=1259184/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=121028 CPUtime=12.68
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 26610 0 0 0 1259 9 0 0 25 0 1 0 143502093 123932672 13766 1992294400 134512640 146736320 4288381136 18446744073709551615 136015579 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 30257 13766 893 2985 0 26799 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 129728

[startup+25.5014 s]
/proc/loadavg: 1.17 1.20 1.18 2/108 31469
/proc/meminfo: memFree=1259184/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=121028 CPUtime=25.48
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 26610 0 0 0 2539 9 0 0 25 0 1 0 143502093 123932672 13766 1992294400 134512640 146736320 4288381136 18446744073709551615 136461575 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 30257 13766 893 2985 0 26799 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 129728

[startup+51.1011 s]
/proc/loadavg: 1.11 1.18 1.17 2/108 31471
/proc/meminfo: memFree=1259184/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=121028 CPUtime=51.07
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 26610 0 0 0 5097 10 0 0 25 0 1 0 143502093 123932672 13766 1992294400 134512640 146736320 4288381136 18446744073709551615 136461557 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 30257 13766 893 2985 0 26799 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 129728

[startup+102.309 s]
/proc/loadavg: 1.04 1.15 1.16 2/108 31471
/proc/meminfo: memFree=1259184/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=121028 CPUtime=102.27
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 26610 0 0 0 10216 11 0 0 25 0 1 0 143502093 123932672 13766 1992294400 134512640 146736320 4288381136 18446744073709551615 135997742 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 30257 13766 893 2985 0 26799 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 129728

[startup+162.301 s]
/proc/loadavg: 1.01 1.12 1.15 2/108 31473
/proc/meminfo: memFree=1253852/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=128832 CPUtime=162.24
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 28030 0 0 0 16212 12 0 0 25 0 1 0 143502093 131923968 15186 1992294400 134512640 146736320 4288381136 18446744073709551615 138768493 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 32208 15186 901 2985 0 28750 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 137532

[startup+222.301 s]
/proc/loadavg: 1.00 1.09 1.14 2/108 31475
/proc/meminfo: memFree=1253852/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=128832 CPUtime=222.23
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 28041 0 0 0 22211 12 0 0 25 0 1 0 143502093 131923968 15197 1992294400 134512640 146736320 4288381136 18446744073709551615 138768297 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 32208 15197 901 2985 0 28750 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 137532

[startup+282.301 s]
/proc/loadavg: 1.00 1.07 1.13 2/108 31477
/proc/meminfo: memFree=1229672/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=169716 CPUtime=282.22
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 44115 0 0 0 28203 19 0 0 25 0 1 0 143502093 173789184 21135 1992294400 134512640 146736320 4288381136 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42429 21135 975 2985 0 38971 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 178416

[startup+342.301 s]
/proc/loadavg: 1.00 1.06 1.11 2/108 31477
/proc/meminfo: memFree=1229672/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=169776 CPUtime=342.2
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 49372 0 0 0 34199 21 0 0 25 0 1 0 143502093 173850624 21150 1992294400 134512640 146736320 4288381136 18446744073709551615 139043566 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42444 21150 975 2985 0 38986 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 178476

[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.10 2/108 31479
/proc/meminfo: memFree=1229672/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=169776 CPUtime=402.18
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 55498 0 0 0 40195 23 0 0 25 0 1 0 143502093 173850624 21150 1992294400 134512640 146736320 4288381136 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42444 21150 975 2985 0 38986 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 178476

[startup+462.301 s]

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


[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31507
/proc/meminfo: memFree=1220372/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1421.92
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 209343 0 0 0 142110 82 0 0 25 0 1 0 143502093 176099328 23379 1992294400 134512640 146736320 4288381136 18446744073709551615 136388081 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23379 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 180672

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 31512
/proc/meminfo: memFree=1220124/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1481.9
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 216462 0 0 0 148105 85 0 0 25 0 1 0 143502093 176099328 23379 1992294400 134512640 146736320 4288381136 18446744073709551615 136017787 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23379 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 180672

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 31512
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1541.88
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 223756 0 0 0 154100 88 0 0 25 0 1 0 143502093 176099328 23379 1992294400 134512640 146736320 4288381136 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23379 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 180672

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31514
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1601.86
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 231098 0 0 0 160095 91 0 0 25 0 1 0 143502093 176099328 23379 1992294400 134512640 146736320 4288381136 18446744073709551615 136017665 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23379 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 180672

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31516
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1661.85
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 238398 0 0 0 166091 94 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017777 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 180672

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31518
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1721.84
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 245792 0 0 0 172087 97 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 180672

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1781.82
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 253193 0 0 0 178083 99 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017495 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 180672

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1791.43
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 254181 0 0 0 179043 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136403109 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 180672

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1794.63
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 254677 0 0 0 179363 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017491 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 180672

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1797.82
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 255160 0 0 0 179682 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 180672

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1798.62
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 255160 0 0 0 179762 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 180672

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1799.02
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 255637 0 0 0 179802 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 180672

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1799.41
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 255637 0 0 0 179841 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 180672

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31520
/proc/meminfo: memFree=1220248/2059040 swapFree=4139540/4192956
[pid=31467] ppid=31465 vsize=8700 CPUtime=0
/proc/31467/stat : 31467 (run) S 31465 31467 30778 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143502093 8908800 249 1992294400 4194304 4922060 140736920655504 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31467/statm: 2175 249 208 178 0 68 0
[pid=31468] ppid=31467 vsize=171972 CPUtime=1799.51
/proc/31468/stat : 31468 (pb_cplex) R 31467 31467 30778 0 -1 4202496 255637 0 0 0 179851 100 0 0 25 0 1 0 143502093 176099328 23380 1992294400 134512640 146736320 4288381136 18446744073709551615 136017491 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31468/statm: 42993 23380 1016 2985 0 39535 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 180672

Child status: 0
Real time (s): 1800.07
CPU time (s): 1799.6
CPU user time (s): 1798.58
CPU system time (s): 1.01884
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 256108

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

runsolver used 3.07653 second user time and 8.39072 second system time

The end