0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451087-1307085415.opb>
0.09/0.12 c original problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 16011 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.15 c presolving:
0.19/0.25 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15246 upgd conss, 102330 impls, 0 clqs
0.19/0.27 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16011 upgd conss, 102330 impls, 0 clqs
0.29/0.34 c (0.3s) probing: 101/2490 (4.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (3 rounds):
0.29/0.35 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 102330 implications, 0 cliques
0.29/0.35 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 16011 constraints
0.29/0.35 c 13725 constraints of type <setppc>
0.29/0.35 c 2286 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.20
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 2.0.1.5
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1800
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 13950
0.29/0.35 c
0.29/0.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.35 c # [type: int, range: [1,2], default: 1]
0.29/0.35 c timing/clocktype = 2
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/indicator/addCouplingCons = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c separating/rapidlearning/freq = 0
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
1.29/1.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.36 c 1.4s| 1 | 0 | 5050 | - | 30M| 0 |1827 |2490 | 16k|2490 | 16k| 0 | 99 | 0 | 5.788125e+02 | -- | Inf
5.19/5.21 c 5.2s| 1 | 0 | 15718 | - | 30M| 0 |1794 |2490 | 16k|2490 | 16k| 15 | 99 | 0 | 5.915412e+02 | -- | Inf
5.99/6.05 c 6.0s| 1 | 0 | 17071 | - | 31M| 0 |1744 |2490 | 16k|2490 | 16k| 35 | 99 | 0 | 5.985541e+02 | -- | Inf
6.89/6.90 c 6.9s| 1 | 0 | 18319 | - | 31M| 0 |1753 |2490 | 16k|2490 | 16k| 55 | 99 | 0 | 6.020501e+02 | -- | Inf
7.70/7.77 c 7.8s| 1 | 0 | 19421 | - | 32M| 0 |1751 |2490 | 16k|2490 | 16k| 73 | 99 | 0 | 6.041868e+02 | -- | Inf
8.80/8.83 c 8.8s| 1 | 0 | 20255 | - | 32M| 0 |1762 |2490 | 16k|2490 | 16k| 86 | 99 | 0 | 6.052308e+02 | -- | Inf
10.49/10.57 c 10.6s| 1 | 0 | 21075 | - | 32M| 0 |1746 |2490 | 16k|2490 | 16k| 99 | 99 | 0 | 6.059364e+02 | -- | Inf
12.00/12.10 c 12.1s| 1 | 0 | 21738 | - | 32M| 0 |1757 |2490 | 16k|2490 | 16k| 111 | 99 | 0 | 6.063418e+02 | -- | Inf
13.39/13.40 c 13.4s| 1 | 0 | 22340 | - | 33M| 0 |1766 |2490 | 16k|2490 | 16k| 122 | 99 | 0 | 6.066132e+02 | -- | Inf
15.29/15.30 c 15.3s| 1 | 0 | 22828 | - | 33M| 0 |1764 |2490 | 16k|2490 | 16k| 131 | 99 | 0 | 6.068142e+02 | -- | Inf
17.19/17.23 c 17.2s| 1 | 0 | 23581 | - | 33M| 0 |1749 |2490 | 16k|2490 | 16k| 140 | 99 | 0 | 6.069877e+02 | -- | Inf
19.09/19.18 c 19.2s| 1 | 0 | 23849 | - | 33M| 0 |1744 |2490 | 16k|2490 | 16k| 147 | 99 | 0 | 6.070448e+02 | -- | Inf
21.09/21.18 c 21.2s| 1 | 0 | 24176 | - | 33M| 0 |1750 |2490 | 16k|2490 | 16k| 152 | 99 | 0 | 6.071058e+02 | -- | Inf
22.99/23.09 c 23.1s| 1 | 0 | 24323 | - | 33M| 0 |1748 |2490 | 16k|2490 | 16k| 154 | 99 | 0 | 6.071531e+02 | -- | Inf
31.09/31.14 c 31.1s| 1 | 2 | 24323 | - | 33M| 0 |1748 |2490 | 16k|2490 | 16k| 154 | 99 | 25 | 6.071531e+02 | -- | Inf
130.69/130.79 o 1152
130.69/130.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.69/130.79 c v 131s| 351 | 203 |109077 | 242.2 | 37M| 93 | - |2490 | 16k|2490 | 16k| 154 | 700 | 667 | 6.082051e+02 | 1.152000e+03 | 89.41%
130.79/130.81 o 1134
130.79/130.81 c b 131s| 352 | 202 |109077 | 241.5 | 36M| 93 | - |2490 | 16k|2490 | 16k| 154 | 700 | 667 | 6.082051e+02 | 1.134000e+03 | 86.45%
150.00/150.07 o 1127
150.00/150.07 c l 150s| 430 | 253 |153023 | 300.0 | 37M| 93 | - |2490 | 16k|2490 | 16k| 154 | 932 | 758 | 6.088191e+02 | 1.127000e+03 | 85.11%
150.00/150.09 o 1124
150.00/150.09 c b 150s| 430 | 253 |153023 | 300.0 | 37M| 93 |1534 |2490 | 16k|2490 | 16k| 154 | 932 | 758 | 6.088191e+02 | 1.124000e+03 | 84.62%
198.40/198.41 o 1118
198.40/198.41 c g 198s| 510 | 331 |234562 | 413.0 | 39M| 93 | - |2490 | 16k|2490 | 16k| 154 | 993 | 854 | 6.097874e+02 | 1.118000e+03 | 83.34%
198.40/198.44 o 1109
198.40/198.44 c b 198s| 511 | 332 |234564 | 412.2 | 37M| 93 |1749 |2490 | 16k|2490 | 16k| 154 | 993 | 854 | 6.097874e+02 | 1.109000e+03 | 81.87%
572.40/572.45 o 1102
572.40/572.45 c C 572s| 3516 | 1184 |891955 | 246.8 | 45M| 129 | - |2490 | 16k|2490 | 16k| 154 |2555 |2089 | 6.198621e+02 | 1.102000e+03 | 77.78%
572.40/572.49 o 1101
572.40/572.49 c b 572s| 3517 | 1184 |891974 | 246.8 | 45M| 129 | 186 |2490 | 16k|2490 | 16k| 154 |2555 |2089 | 6.198621e+02 | 1.101000e+03 | 77.62%
1177.72/1177.73 c 1178s| 10000 | 2884 | 1999k| 197.5 | 63M| 152 | - |2490 | 16k|2490 | 16k| 154 |5738 |4971 | 6.242049e+02 | 1.101000e+03 | 76.38%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 18204
1800.03/1800.01 c Primal Bound : +1.10100000000000e+03 (10 solutions)
1800.03/1800.01 c Dual Bound : +6.26686130075838e+02
1800.03/1800.01 c Gap : 75.69 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451087-1307085415/watcher-3451087-1307085415 -o /tmp/evaluation-result-3451087-1307085415/solver-3451087-1307085415 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451087-1307085415.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.21 2.75 2/434 26566
/proc/meminfo: memFree=12404240/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=15508 CPUtime=0 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 2867 0 0 0 0 0 0 0 21 0 1 0 820141204 15880192 2820 33554432000 4194304 9163163 140733557661056 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26566/statm: 3877 2820 395 1214 0 2659 0
[startup+0.102745 s]
/proc/loadavg: 2.16 2.21 2.75 2/434 26566
/proc/meminfo: memFree=12404240/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=21996 CPUtime=0.09 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 4496 0 0 0 9 0 0 0 22 0 1 0 820141204 22523904 4449 33554432000 4194304 9163163 140733557661056 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26566/statm: 5499 4449 395 1214 0 4281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21996
[startup+0.200731 s]
/proc/loadavg: 2.16 2.21 2.75 2/434 26566
/proc/meminfo: memFree=12404240/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=47576 CPUtime=0.19 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 10639 0 0 0 18 1 0 0 22 0 1 0 820141204 48717824 10582 33554432000 4194304 9163163 140733557661056 18446744073709551615 5128306 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 11894 10582 499 1214 0 10676 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47576
[startup+0.300715 s]
/proc/loadavg: 2.16 2.21 2.75 2/434 26566
/proc/meminfo: memFree=12404240/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=52700 CPUtime=0.29 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 12427 0 0 0 28 1 0 0 22 0 1 0 820141204 53964800 11885 33554432000 4194304 9163163 140733557661056 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 13175 11885 531 1214 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52700
[startup+0.700642 s]
/proc/loadavg: 2.16 2.21 2.75 2/434 26566
/proc/meminfo: memFree=12404240/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=88660 CPUtime=0.69 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 22061 0 0 0 67 2 0 0 25 0 1 0 820141204 90787840 20383 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 22165 20383 700 1214 0 20947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88660
[startup+1.5005 s]
/proc/loadavg: 2.15 2.21 2.74 3/435 26567
/proc/meminfo: memFree=12320588/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=90348 CPUtime=1.49 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 23485 0 0 0 146 3 0 0 25 0 1 0 820141204 92516352 21114 33554432000 4194304 9163163 140733557661056 18446744073709551615 7390573 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 22587 21114 672 1214 0 21369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90348
[startup+3.10023 s]
/proc/loadavg: 2.15 2.21 2.74 3/435 26567
/proc/meminfo: memFree=12320464/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=90348 CPUtime=3.09 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 23499 0 0 0 304 5 0 0 25 0 1 0 820141204 92516352 21114 33554432000 4194304 9163163 140733557661056 18446744073709551615 7394745 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 22587 21114 658 1214 0 21369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90348
[startup+6.30067 s]
/proc/loadavg: 2.30 2.24 2.75 3/435 26567
/proc/meminfo: memFree=12319472/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=92884 CPUtime=6.29 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 24193 0 0 0 621 8 0 0 25 0 1 0 820141204 95113216 21799 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 23221 21799 689 1214 0 22003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92884
[startup+12.7006 s]
/proc/loadavg: 2.51 2.28 2.76 3/435 26567
/proc/meminfo: memFree=12301716/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=112688 CPUtime=12.69 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 28815 0 0 0 1256 13 0 0 25 0 1 0 820141204 115392512 26419 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 28172 26419 1178 1214 0 26954 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112688
[startup+25.5003 s]
/proc/loadavg: 2.40 2.27 2.75 3/435 26568
/proc/meminfo: memFree=12305444/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=108928 CPUtime=25.49 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 37351 0 0 0 2521 28 0 0 25 0 1 0 820141204 111542272 25554 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 27232 25554 720 1214 0 26014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108928
[startup+51.1009 s]
/proc/loadavg: 2.45 2.29 2.74 3/435 26568
/proc/meminfo: memFree=12300528/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=109912 CPUtime=51.09 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 95839 0 0 0 5054 55 0 0 25 0 1 0 820141204 112549888 26320 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 27478 26320 1134 1214 0 26260 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 109912
[startup+102.301 s]
/proc/loadavg: 2.26 2.26 2.71 3/435 26570
/proc/meminfo: memFree=12299416/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=108656 CPUtime=102.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 197667 0 0 0 10125 106 0 0 25 0 1 0 820141204 111263744 26008 33554432000 4194304 9163163 140733557661056 18446744073709551615 7447560 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 27164 26008 713 1214 0 25946 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 108656
[startup+162.301 s]
/proc/loadavg: 2.10 2.21 2.66 3/435 26571
/proc/meminfo: memFree=12296408/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=114168 CPUtime=162.3 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 242545 0 0 0 16071 159 0 0 25 0 1 0 820141204 116908032 26959 33554432000 4194304 9163163 140733557661056 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 28542 26959 794 1214 0 27324 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 114168
[startup+222.316 s]
/proc/loadavg: 2.03 2.17 2.62 3/435 26573
/proc/meminfo: memFree=12291432/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=115700 CPUtime=222.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 251400 0 0 0 22036 196 0 0 25 0 1 0 820141204 118476800 26826 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 28925 26826 787 1214 0 27707 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 115700
[startup+282.301 s]
/proc/loadavg: 2.01 2.14 2.57 3/435 26574
/proc/meminfo: memFree=12291664/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=116224 CPUtime=282.3 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 270694 0 0 0 27984 246 0 0 25 0 1 0 820141204 119013376 27494 33554432000 4194304 9163163 140733557661056 18446744073709551615 7300275 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 29056 27494 726 1214 0 27838 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 116224
[startup+342.301 s]
/proc/loadavg: 2.00 2.11 2.54 3/435 26576
/proc/meminfo: memFree=12289300/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=114588 CPUtime=342.3 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 291374 0 0 0 33930 300 0 0 25 0 1 0 820141204 117338112 27200 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 28647 27200 743 1214 0 27429 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 114588
[startup+402.301 s]
/proc/loadavg: 2.00 2.09 2.50 3/435 26578
/proc/meminfo: memFree=12287672/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=117280 CPUtime=402.3 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 343081 0 0 0 39885 345 0 0 25 0 1 0 820141204 120094720 27403 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 29320 27403 726 1214 0 28102 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 117280
[startup+462.301 s]
/proc/loadavg: 2.00 2.07 2.46 3/435 26579
/proc/meminfo: memFree=12284200/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=118300 CPUtime=462.3 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 370226 0 0 0 45842 388 0 0 25 0 1 0 820141204 121139200 28096 33554432000 4194304 9163163 140733557661056 18446744073709551615 7216645 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 29575 28096 726 1214 0 28357 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 118300
[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.43 3/435 26581
/proc/meminfo: memFree=12284696/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=122656 CPUtime=522.3 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 382709 0 0 0 51803 427 0 0 25 0 1 0 820141204 125599744 29059 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 30664 29059 1093 1214 0 29446 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 122656
[startup+582.301 s]
/proc/loadavg: 2.09 2.07 2.41 3/435 26582
/proc/meminfo: memFree=12281596/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=120392 CPUtime=582.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 431443 0 0 0 57761 470 0 0 25 0 1 0 820141204 123281408 28491 33554432000 4194304 9163163 140733557661056 18446744073709551615 7376048 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 30098 28491 726 1214 0 28880 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 120392
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.00 2.03 2.30 3/435 26590
/proc/meminfo: memFree=12263204/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=133000 CPUtime=882.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 575534 0 0 0 87514 718 0 0 25 0 1 0 820141204 136192000 31706 33554432000 4194304 9163163 140733557661056 18446744073709551615 5696511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 33250 31706 726 1214 0 32032 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 133000
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.27 3/435 26592
/proc/meminfo: memFree=12260344/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=134120 CPUtime=942.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 612763 0 0 0 93462 769 0 0 25 0 1 0 820141204 137338880 31887 33554432000 4194304 9163163 140733557661056 18446744073709551615 7085102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 33530 31887 726 1214 0 32312 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 134120
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.26 3/435 26594
/proc/meminfo: memFree=12251904/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=137392 CPUtime=1002.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 621450 0 0 0 99419 812 0 0 25 0 1 0 820141204 140689408 33225 33554432000 4194304 9163163 140733557661056 18446744073709551615 7390903 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 34348 33225 925 1214 0 33130 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 137392
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.24 3/435 26595
/proc/meminfo: memFree=12251284/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=140676 CPUtime=1062.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 642496 0 0 0 105372 859 0 0 25 0 1 0 820141204 144052224 33923 33554432000 4194304 9163163 140733557661056 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 35169 33923 892 1214 0 33951 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 140676
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.22 3/435 26597
/proc/meminfo: memFree=12250160/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=139212 CPUtime=1122.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 713764 0 0 0 111321 911 0 0 25 0 1 0 820141204 142553088 33634 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 34803 33634 726 1214 0 33585 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 139212
[startup+1182.3 s]
/proc/loadavg: 2.11 2.04 2.22 2/433 26599
/proc/meminfo: memFree=12384088/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=144460 CPUtime=1182.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 746810 0 0 0 117270 961 0 0 25 0 1 0 820141204 147927040 34305 33554432000 4194304 9163163 140733557661056 18446744073709551615 7375964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 36115 34305 726 1214 0 34897 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 144460
[startup+1242.3 s]
/proc/loadavg: 2.22 2.09 2.22 3/435 26628
/proc/meminfo: memFree=12292920/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=143468 CPUtime=1242.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 751843 0 0 0 123209 1022 0 0 25 0 1 0 820141204 146911232 34482 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 35867 34482 726 1214 0 34649 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 143468
[startup+1302.3 s]
/proc/loadavg: 2.12 2.09 2.21 3/435 26630
/proc/meminfo: memFree=12291924/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=144808 CPUtime=1302.31 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 773670 0 0 0 129149 1082 0 0 25 0 1 0 820141204 148283392 34668 33554432000 4194304 9163163 140733557661056 18446744073709551615 6687959 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 36202 34668 1033 1214 0 34984 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 144808
[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.19 3/435 26631
/proc/meminfo: memFree=12285092/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=146660 CPUtime=1362.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 793644 0 0 0 135085 1147 0 0 25 0 1 0 820141204 150179840 35020 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 36665 35020 726 1214 0 35447 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 146660
[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.18 3/435 26633
/proc/meminfo: memFree=12280492/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=152948 CPUtime=1422.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 826837 0 0 0 141025 1207 0 0 25 0 1 0 820141204 156618752 36335 33554432000 4194304 9163163 140733557661056 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 38237 36335 729 1214 0 37019 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 152948
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.17 3/435 26634
/proc/meminfo: memFree=12282460/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=156876 CPUtime=1482.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 845815 0 0 0 146965 1267 0 0 25 0 1 0 820141204 160641024 37617 33554432000 4194304 9163163 140733557661056 18446744073709551615 7224027 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 39219 37617 1115 1214 0 38001 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 156876
[startup+1542.32 s]
/proc/loadavg: 2.00 2.04 2.16 3/435 26636
/proc/meminfo: memFree=12272276/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=157660 CPUtime=1542.34 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 860639 0 0 0 152906 1328 0 0 25 0 1 0 820141204 161443840 37259 33554432000 4194304 9163163 140733557661056 18446744073709551615 7082862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 39415 37259 726 1214 0 38197 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 157660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.14 3/435 26638
/proc/meminfo: memFree=12265564/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=160928 CPUtime=1602.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 865777 0 0 0 158838 1394 0 0 25 0 1 0 820141204 164790272 38987 33554432000 4194304 9163163 140733557661056 18446744073709551615 7082867 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 40232 38987 834 1214 0 39014 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 160928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/435 26639
/proc/meminfo: memFree=12231464/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=194720 CPUtime=1662.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 874334 0 0 0 164782 1450 0 0 25 0 1 0 820141204 199393280 47407 33554432000 4194304 9163163 140733557661056 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 48680 47407 726 1214 0 47462 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 194720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/435 26641
/proc/meminfo: memFree=12231452/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=194720 CPUtime=1722.32 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 874334 0 0 0 170723 1509 0 0 25 0 1 0 820141204 199393280 47407 33554432000 4194304 9163163 140733557661056 18446744073709551615 7394662 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 48680 47407 726 1214 0 47462 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 194720
[startup+1782.3 s]
/proc/loadavg: 2.20 2.06 2.13 3/435 26642
/proc/meminfo: memFree=12227728/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=194720 CPUtime=1782.33 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 874335 0 0 0 176668 1565 0 0 25 0 1 0 820141204 199393280 47408 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 48680 47408 726 1214 0 47462 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 194720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.05 2.12 3/435 26643
/proc/meminfo: memFree=12228348/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=194720 CPUtime=1800.04 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 874335 0 0 0 178422 1582 0 0 25 0 1 0 820141204 199393280 47408 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 48680 47408 726 1214 0 47462 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 194720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.14 2.05 2.12 3/435 26643
/proc/meminfo: memFree=12228348/32951132 swapFree=67093840/67111528
[pid=26566] ppid=26564 vsize=194720 CPUtime=1800.04 cores=1,3,5,7
/proc/26566/stat : 26566 (scip-2.0.1.4b.l) R 26564 26566 22627 0 -1 4202496 874335 0 0 0 178422 1582 0 0 25 0 1 0 820141204 199393280 47408 33554432000 4194304 9163163 140733557661056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26566/statm: 48680 47408 726 1214 0 47462 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 194720
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1784.23
CPU system time (s): 15.8346
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 194720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.23
system time used= 15.8346
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 874336
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= 5
involuntary context switches= 21713
runsolver used 7.72283 second user time and 18.3442 second system time
The end