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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695711-1278022234/watcher-2695711-1278022234 -o /tmp/evaluation-result-2695711-1278022234/solver-2695711-1278022234 -C 1800 -W 2000 -M 1800 run HOME/instance-2695711-1278022234.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.75 1.70 1.59 3/106 29665
/proc/meminfo: memFree=1669372/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0

[startup+0.0146921 s]
/proc/loadavg: 1.75 1.70 1.59 3/106 29665
/proc/meminfo: memFree=1669372/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100701 s]
/proc/loadavg: 1.75 1.70 1.59 3/106 29665
/proc/meminfo: memFree=1669372/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300718 s]
/proc/loadavg: 1.75 1.70 1.59 3/106 29665
/proc/meminfo: memFree=1669372/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700768 s]
/proc/loadavg: 1.75 1.70 1.59 3/106 29665
/proc/meminfo: memFree=1669372/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50082 s]
/proc/loadavg: 1.75 1.70 1.59 2/108 29667
/proc/meminfo: memFree=1637736/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=112948 CPUtime=1.49
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 20002 0 0 0 142 7 0 0 19 0 1 0 143515022 115658752 12124 1992294400 134512640 146736320 4286767680 18446744073709551615 135811991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 28237 12124 830 2985 0 24779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121648

[startup+3.10096 s]
/proc/loadavg: 1.75 1.70 1.59 2/108 29667
/proc/meminfo: memFree=1618888/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=117816 CPUtime=3.08
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 23351 0 0 0 300 8 0 0 21 0 1 0 143515022 120643584 13350 1992294400 134512640 146736320 4286767680 18446744073709551615 136461482 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 29454 13350 893 2985 0 25996 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 126516

[startup+6.30124 s]
/proc/loadavg: 1.69 1.69 1.59 2/108 29667
/proc/meminfo: memFree=1618392/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=117816 CPUtime=6.28
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 23360 0 0 0 620 8 0 0 25 0 1 0 143515022 120643584 13356 1992294400 134512640 146736320 4286767680 18446744073709551615 135459449 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 29454 13356 893 2985 0 25996 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 126516

[startup+12.7008 s]
/proc/loadavg: 1.63 1.68 1.59 2/108 29667
/proc/meminfo: memFree=1618516/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=117816 CPUtime=12.68
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 23360 0 0 0 1260 8 0 0 25 0 1 0 143515022 120643584 13356 1992294400 134512640 146736320 4286767680 18446744073709551615 136001656 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 29454 13356 893 2985 0 25996 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126516

[startup+25.5009 s]
/proc/loadavg: 1.49 1.65 1.58 2/108 29669
/proc/meminfo: memFree=1618516/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=117816 CPUtime=25.48
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 23361 0 0 0 2539 9 0 0 25 0 1 0 143515022 120643584 13357 1992294400 134512640 146736320 4286767680 18446744073709551615 136015523 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 29454 13357 893 2985 0 25996 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126516

[startup+51.1012 s]
/proc/loadavg: 1.32 1.59 1.56 2/108 29669
/proc/meminfo: memFree=1618516/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=117816 CPUtime=51.07
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 23361 0 0 0 5098 9 0 0 25 0 1 0 143515022 120643584 13357 1992294400 134512640 146736320 4286767680 18446744073709551615 136016691 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 29454 13357 893 2985 0 25996 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126516

[startup+102.309 s]
/proc/loadavg: 1.21 1.52 1.53 2/108 29671
/proc/meminfo: memFree=1618516/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=117816 CPUtime=102.27
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 23361 0 0 0 10217 10 0 0 25 0 1 0 143515022 120643584 13357 1992294400 134512640 146736320 4286767680 18446744073709551615 136388279 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 29454 13357 893 2985 0 25996 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 126516

[startup+162.301 s]
/proc/loadavg: 1.14 1.44 1.50 2/108 29671
/proc/meminfo: memFree=1613308/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=125104 CPUtime=162.25
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 24686 0 0 0 16214 11 0 0 25 0 1 0 143515022 128106496 14682 1992294400 134512640 146736320 4286767680 18446744073709551615 138768267 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 31276 14682 901 2985 0 27818 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 133804

[startup+222.301 s]
/proc/loadavg: 1.11 1.37 1.47 2/108 29673
/proc/meminfo: memFree=1613308/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=125104 CPUtime=222.23
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 24686 0 0 0 22212 11 0 0 25 0 1 0 143515022 128106496 14682 1992294400 134512640 146736320 4286767680 18446744073709551615 135851921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 31276 14682 901 2985 0 27818 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 133804

[startup+282.3 s]
/proc/loadavg: 1.10 1.31 1.45 2/108 29675
/proc/meminfo: memFree=1588632/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=163272 CPUtime=282.22
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 41307 0 0 0 28205 17 0 0 25 0 1 0 143515022 167190528 20742 1992294400 134512640 146736320 4286767680 18446744073709551615 136001949 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 40818 20742 970 2985 0 37360 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 171972

[startup+342.301 s]
/proc/loadavg: 1.16 1.29 1.43 2/108 29677
/proc/meminfo: memFree=1588508/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=163284 CPUtime=342.21
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 47150 0 0 0 34201 20 0 0 25 0 1 0 143515022 167202816 20759 1992294400 134512640 146736320 4286767680 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 40821 20759 970 2985 0 37363 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 171984

[startup+402.301 s]
/proc/loadavg: 1.13 1.26 1.41 2/108 29679
/proc/meminfo: memFree=1588508/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=163284 CPUtime=402.19
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 53229 0 0 0 40197 22 0 0 25 0 1 0 143515022 167202816 20761 1992294400 134512640 146736320 4286767680 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 40821 20761 970 2985 0 37363 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 171984

[startup+462.301 s]

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


[startup+1362.3 s]
/proc/loadavg: 1.03 1.02 1.13 2/108 29706
/proc/meminfo: memFree=1583176/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164180 CPUtime=1361.95
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 192168 0 0 0 136119 76 0 0 25 0 1 0 143515022 168120320 21925 1992294400 134512640 146736320 4286767680 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41045 21925 1013 2985 0 37587 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 172880

[startup+1422.31 s]
/proc/loadavg: 1.01 1.01 1.12 2/108 29708
/proc/meminfo: memFree=1583052/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164196 CPUtime=1421.95
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 199716 0 0 0 142116 79 0 0 25 0 1 0 143515022 168136704 21929 1992294400 134512640 146736320 4286767680 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41049 21929 1013 2985 0 37591 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 172896

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 29710
/proc/meminfo: memFree=1583052/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164228 CPUtime=1481.92
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 206792 0 0 0 148110 82 0 0 25 0 1 0 143515022 168169472 21937 1992294400 134512640 146736320 4286767680 18446744073709551615 139044564 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41057 21937 1013 2985 0 37599 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 172928

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 29712
/proc/meminfo: memFree=1583052/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164260 CPUtime=1541.91
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 214321 0 0 0 154106 85 0 0 25 0 1 0 143515022 168202240 21944 1992294400 134512640 146736320 4286767680 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41065 21944 1013 2985 0 37607 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 172960

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 29714
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164260 CPUtime=1601.9
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 221448 0 0 0 160102 88 0 0 25 0 1 0 143515022 168202240 21944 1992294400 134512640 146736320 4286767680 18446744073709551615 136017755 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41065 21944 1013 2985 0 37607 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 172960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 29714
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164280 CPUtime=1661.88
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 228506 0 0 0 166098 90 0 0 25 0 1 0 143515022 168222720 21949 1992294400 134512640 146736320 4286767680 18446744073709551615 135450718 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41070 21949 1013 2985 0 37612 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 172980

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29716
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1721.87
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 236075 0 0 0 172094 93 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 172984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1781.86
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 243121 0 0 0 178090 96 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 172984

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 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1791.46
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 244627 0 0 0 179049 97 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 172984

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1794.66
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 245128 0 0 0 179369 97 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 172984

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1797.85
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 245128 0 0 0 179688 97 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 172984

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1798.65
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 245128 0 0 0 179768 97 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 172984

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1799.45
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 246116 0 0 0 179848 97 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 172984

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 29718
/proc/meminfo: memFree=1582928/2059040 swapFree=4139740/4192956
[pid=29665] ppid=29663 vsize=8700 CPUtime=0
/proc/29665/stat : 29665 (run) S 29663 29665 28816 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 143515022 8908800 248 1992294400 4194304 4922060 140733492708160 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29665/statm: 2175 248 208 178 0 68 0
[pid=29666] ppid=29665 vsize=164284 CPUtime=1799.65
/proc/29666/stat : 29666 (pb_cplex) R 29665 29665 28816 0 -1 4202496 246116 0 0 0 179868 97 0 0 25 0 1 0 143515022 168226816 21950 1992294400 134512640 146736320 4286767680 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29666/statm: 41071 21950 1013 2985 0 37613 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 172984

Child status: 0
Real time (s): 1800.17
CPU time (s): 1799.73
CPU user time (s): 1798.74
CPU system time (s): 0.991849
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 241872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 0.991849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 4394

runsolver used 3.03654 second user time and 8.43472 second system time

The end