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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695707-1278022166/watcher-2695707-1278022166 -o /tmp/evaluation-result-2695707-1278022166/solver-2695707-1278022166 -C 1800 -W 2000 -M 1800 run HOME/instance-2695707-1278022166.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.54 1.81 1.78 3/106 29747
/proc/meminfo: memFree=1460628/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0

[startup+0.042851 s]
/proc/loadavg: 1.54 1.81 1.78 3/106 29747
/proc/meminfo: memFree=1460628/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100857 s]
/proc/loadavg: 1.54 1.81 1.78 3/106 29747
/proc/meminfo: memFree=1460628/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300878 s]
/proc/loadavg: 1.54 1.81 1.78 3/106 29747
/proc/meminfo: memFree=1460628/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700939 s]
/proc/loadavg: 1.54 1.81 1.78 3/106 29747
/proc/meminfo: memFree=1460628/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50101 s]
/proc/loadavg: 1.54 1.81 1.78 2/108 29749
/proc/meminfo: memFree=1429116/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=107276 CPUtime=1.48
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 19731 0 0 0 141 7 0 0 18 0 1 0 143508643 109850624 10737 1992294400 134512640 146736320 4289131424 18446744073709551615 137299229 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 26819 10737 821 2985 0 23361 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 115976

[startup+3.10118 s]
/proc/loadavg: 1.54 1.81 1.78 2/108 29749
/proc/meminfo: memFree=1409648/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=119840 CPUtime=3.09
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 25471 0 0 0 300 9 0 0 21 0 1 0 143508643 122716160 13445 1992294400 134512640 146736320 4289131424 18446744073709551615 136015085 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 29960 13445 893 2985 0 26502 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128540

[startup+6.30052 s]
/proc/loadavg: 1.50 1.80 1.78 2/108 29749
/proc/meminfo: memFree=1408904/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=120332 CPUtime=6.28
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 25581 0 0 0 619 9 0 0 25 0 1 0 143508643 123219968 13555 1992294400 134512640 146736320 4289131424 18446744073709551615 136384895 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 30083 13555 893 2985 0 26625 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 129032

[startup+12.7012 s]
/proc/loadavg: 1.46 1.79 1.77 2/108 29749
/proc/meminfo: memFree=1408904/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=120332 CPUtime=12.68
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 25581 0 0 0 1259 9 0 0 25 0 1 0 143508643 123219968 13555 1992294400 134512640 146736320 4289131424 18446744073709551615 135658766 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 30083 13555 893 2985 0 26625 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 129032

[startup+25.5006 s]
/proc/loadavg: 1.36 1.75 1.76 2/108 29749
/proc/meminfo: memFree=1409028/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=120332 CPUtime=25.48
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 25582 0 0 0 2539 9 0 0 25 0 1 0 143508643 123219968 13556 1992294400 134512640 146736320 4289131424 18446744073709551615 135997676 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 30083 13556 893 2985 0 26625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 129032

[startup+51.1013 s]
/proc/loadavg: 1.23 1.69 1.74 2/108 29751
/proc/meminfo: memFree=1409028/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=120332 CPUtime=51.08
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 25582 0 0 0 5098 10 0 0 25 0 1 0 143508643 123219968 13556 1992294400 134512640 146736320 4289131424 18446744073709551615 135658700 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 30083 13556 893 2985 0 26625 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 129032

[startup+102.309 s]
/proc/loadavg: 1.10 1.58 1.70 2/108 29751
/proc/meminfo: memFree=1409028/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=120332 CPUtime=102.27
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 25582 0 0 0 10216 11 0 0 25 0 1 0 143508643 123219968 13556 1992294400 134512640 146736320 4289131424 18446744073709551615 136461475 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 30083 13556 893 2985 0 26625 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 129032

[startup+162.301 s]
/proc/loadavg: 1.03 1.47 1.65 2/108 29753
/proc/meminfo: memFree=1403820/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=127768 CPUtime=162.24
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 26934 0 0 0 16212 12 0 0 25 0 1 0 143508643 130834432 14908 1992294400 134512640 146736320 4289131424 18446744073709551615 138768267 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 31942 14908 901 2985 0 28484 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 136468

[startup+222.301 s]
/proc/loadavg: 1.01 1.38 1.61 2/108 29755
/proc/meminfo: memFree=1403820/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=127768 CPUtime=222.23
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 26934 0 0 0 22211 12 0 0 25 0 1 0 143508643 130834432 14908 1992294400 134512640 146736320 4289131424 18446744073709551615 138768486 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 31942 14908 901 2985 0 28484 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 136468

[startup+282.301 s]
/proc/loadavg: 1.00 1.31 1.57 2/108 29757
/proc/meminfo: memFree=1377656/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=168460 CPUtime=282.21
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 41892 0 0 0 28204 17 0 0 25 0 1 0 143508643 172503040 21377 1992294400 134512640 146736320 4289131424 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42115 21377 975 2985 0 38657 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 177160

[startup+342.302 s]
/proc/loadavg: 1.00 1.25 1.53 2/108 29759
/proc/meminfo: memFree=1377532/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=168500 CPUtime=342.2
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 47557 0 0 0 34200 20 0 0 25 0 1 0 143508643 172544000 21396 1992294400 134512640 146736320 4289131424 18446744073709551615 136017489 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42125 21396 975 2985 0 38667 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 177200

[startup+402.301 s]
/proc/loadavg: 1.00 1.20 1.49 2/108 29759
/proc/meminfo: memFree=1377532/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=168500 CPUtime=402.18
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 53730 0 0 0 40196 22 0 0 25 0 1 0 143508643 172544000 21400 1992294400 134512640 146736320 4289131424 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42125 21400 975 2985 0 38667 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 177200

[startup+462.301 s]

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


[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.15 2/108 29790
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169156 CPUtime=1421.93
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 206733 0 0 0 142112 81 0 0 25 0 1 0 143508643 173215744 22316 1992294400 134512640 146736320 4289131424 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42289 22316 1015 2985 0 38831 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 177856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/108 29792
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169180 CPUtime=1481.9
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 213620 0 0 0 148107 83 0 0 25 0 1 0 143508643 173240320 22323 1992294400 134512640 146736320 4289131424 18446744073709551615 136017495 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42295 22323 1015 2985 0 38837 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 177880

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 29794
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169180 CPUtime=1541.88
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 220575 0 0 0 154102 86 0 0 25 0 1 0 143508643 173240320 22324 1992294400 134512640 146736320 4289131424 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42295 22324 1015 2985 0 38837 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 177880

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 29794
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169180 CPUtime=1601.87
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 227623 0 0 0 160098 89 0 0 25 0 1 0 143508643 173240320 22324 1992294400 134512640 146736320 4289131424 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42295 22324 1015 2985 0 38837 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 177880

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 29796
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169180 CPUtime=1661.86
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 234723 0 0 0 166094 92 0 0 25 0 1 0 143508643 173240320 22324 1992294400 134512640 146736320 4289131424 18446744073709551615 135526785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42295 22324 1015 2985 0 38837 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 177880

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 29798
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169180 CPUtime=1721.84
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 241318 0 0 0 172089 95 0 0 25 0 1 0 143508643 173240320 22324 1992294400 134512640 146736320 4289131424 18446744073709551615 136385268 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42295 22324 1015 2985 0 38837 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 177880

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1781.82
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 248487 0 0 0 178084 98 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 177940

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1791.43
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 249499 0 0 0 179045 98 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 177940

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1794.62
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 250007 0 0 0 179364 98 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 177940

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1797.81
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 250512 0 0 0 179683 98 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 139043591 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 177940

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1798.61
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 250512 0 0 0 179763 98 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 136017495 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 177940

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1799.03
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 251018 0 0 0 179804 99 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 177940

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1799.42
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 251018 0 0 0 179843 99 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 177940

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29800
/proc/meminfo: memFree=1373316/2059040 swapFree=4136140/4192956
[pid=29747] ppid=29745 vsize=8700 CPUtime=0
/proc/29747/stat : 29747 (run) S 29745 29747 28293 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143508643 8908800 249 1992294400 4194304 4922060 140737134999280 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29747/statm: 2175 249 208 178 0 68 0
[pid=29748] ppid=29747 vsize=169240 CPUtime=1799.52
/proc/29748/stat : 29748 (pb_cplex) R 29747 29747 28293 0 -1 4202496 251018 0 0 0 179853 99 0 0 25 0 1 0 143508643 173301760 22342 1992294400 134512640 146736320 4289131424 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29748/statm: 42310 22342 1015 2985 0 38852 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 177940

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

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

runsolver used 3.08053 second user time and 8.40272 second system time

The end