0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2663911-1276629776.opb>
0.00/0.01 c original problem has 136 variables (136 bin, 0 int, 0 impl, 0 cont) and 144 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 144 upgd conss, 256 impls, 16 clqs
0.00/0.03 c (0.0s) probing: 101/136 (74.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 256 implications, 16 cliques
0.00/0.03 c presolved problem has 136 variables (136 bin, 0 int, 0 impl, 0 cont) and 144 constraints
0.00/0.03 c 16 constraints of type <setppc>
0.00/0.03 c 128 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 597k| 0 | - | 136 | 144 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.85 c 0.7s| 10000 | 10001 | 0 | 0.0 |3657k| 86 | - | 136 | 144 | 0 | 0 | 0 | 0 | 0 | 1.702000e+03 | -- | Inf
0.99/1.08 o 9446
0.99/1.08 c * 0.9s| 12855 | 12851 | 0 | 0.0 |4492k| 90 | - | 136 | 144 | 0 | 0 | 0 | 0 | 0 | 1.752000e+03 | 9.446000e+03 | 439.16%
0.99/1.09 o 8922
0.99/1.09 c * 0.9s| 12963 | 12949 | 0 | 0.0 |4526k| 90 | - | 136 | 144 | 0 | 0 | 0 | 0 | 0 | 1.755000e+03 | 8.922000e+03 | 408.38%
1.19/1.21 o 8817
1.19/1.21 c * 1.0s| 14572 | 14552 | 0 | 0.0 |4981k| 90 | - | 136 | 144 | 0 | 0 | 0 | 0 | 0 | 1.786000e+03 | 8.817000e+03 | 393.67%
1.19/1.21 o 8788
1.19/1.21 c * 1.0s| 14573 | 14550 | 0 | 0.0 |4983k| 90 | - | 136 | 144 | 0 | 0 | 0 | 0 | 0 | 1.786000e+03 | 8.788000e+03 | 392.05%
1.59/1.65 c 1.4s| 20000 | 19968 | 0 | 0.0 |6673k| 90 | - | 136 | 144 | 0 | 0 | 0 | 5 | 0 | 1.883000e+03 | 8.788000e+03 | 366.70%
2.39/2.46 c 2.0s| 30000 | 29968 | 0 | 0.0 |9857k| 90 | - | 136 | 144 | 0 | 0 | 0 | 5 | 0 | 2.029000e+03 | 8.788000e+03 | 333.12%
3.20/3.21 o 7015
3.20/3.21 c * 2.6s| 39239 | 38988 | 0 | 0.0 | 12M| 90 | - | 136 | 144 | 0 | 0 | 0 | 5 | 0 | 2.107000e+03 | 7.015000e+03 | 232.94%
3.20/3.28 c 2.7s| 40000 | 39735 | 0 | 0.0 | 12M| 90 | - | 136 | 152 | 0 | 0 | 0 | 16 | 0 | 2.114000e+03 | 7.015000e+03 | 231.84%
3.39/3.43 o 6933
3.39/3.43 c * 2.8s| 41482 | 41094 | 0 | 0.0 | 13M| 90 | - | 136 | 235 | 0 | 0 | 0 | 118 | 0 | 2.131000e+03 | 6.933000e+03 | 225.34%
3.39/3.43 o 6888
3.39/3.43 c * 2.8s| 41483 | 41076 | 0 | 0.0 | 13M| 90 | - | 136 | 235 | 0 | 0 | 0 | 118 | 0 | 2.131000e+03 | 6.888000e+03 | 223.23%
3.49/3.51 o 6882
3.49/3.51 c * 2.9s| 42200 | 41702 | 0 | 0.0 | 13M| 90 | - | 136 | 305 | 0 | 0 | 0 | 211 | 0 | 2.137000e+03 | 6.882000e+03 | 222.04%
3.49/3.51 o 6780
3.49/3.51 c * 2.9s| 42201 | 41659 | 0 | 0.0 | 13M| 90 | - | 136 | 305 | 0 | 0 | 0 | 211 | 0 | 2.137000e+03 | 6.780000e+03 | 217.27%
3.99/4.10 o 6706
3.99/4.10 c * 3.4s| 46830 | 45497 | 0 | 0.0 | 16M| 90 | - | 136 | 721 | 0 | 0 | 0 |1074 | 0 | 2.193000e+03 | 6.706000e+03 | 205.79%
4.09/4.14 o 6632
4.09/4.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.14 c * 3.4s| 47168 | 45706 | 0 | 0.0 | 16M| 90 | - | 136 | 743 | 0 | 0 | 0 |1141 | 0 | 2.196000e+03 | 6.632000e+03 | 202.00%
4.09/4.14 o 6536
4.09/4.14 c * 3.4s| 47170 | 45606 | 0 | 0.0 | 16M| 90 | - | 136 | 743 | 0 | 0 | 0 |1141 | 0 | 2.196000e+03 | 6.536000e+03 | 197.63%
4.09/4.15 o 6311
4.09/4.15 c * 3.5s| 47171 | 45310 | 0 | 0.0 | 16M| 90 | - | 136 | 743 | 0 | 0 | 0 |1141 | 0 | 2.196000e+03 | 6.311000e+03 | 187.39%
4.49/4.55 c 3.8s| 50000 | 47491 | 0 | 0.0 | 17M| 90 | - | 136 |1137 | 0 | 0 | 0 |1963 | 0 | 2.224000e+03 | 6.311000e+03 | 183.77%
4.69/4.72 o 6201
4.69/4.72 c * 3.9s| 51119 | 48135 | 0 | 0.0 | 18M| 90 | - | 136 |1289 | 0 | 0 | 0 |2306 | 0 | 2.237000e+03 | 6.201000e+03 | 177.20%
6.19/6.27 c 5.3s| 60000 | 54470 | 0 | 0.0 | 22M| 90 | - | 136 |2092 | 0 | 0 | 0 |5568 | 0 | 2.312000e+03 | 6.201000e+03 | 168.21%
6.29/6.34 o 6133
6.29/6.34 c * 5.4s| 60339 | 54536 | 0 | 0.0 | 22M| 90 | - | 136 |2094 | 0 | 0 | 0 |5676 | 0 | 2.315000e+03 | 6.133000e+03 | 164.92%
8.19/8.24 c 7.1s| 70000 | 61349 | 0 | 0.0 | 27M| 90 | - | 136 |2673 | 0 | 0 | 0 |9335 | 0 | 2.380000e+03 | 6.133000e+03 | 157.69%
10.29/10.36 c 9.0s| 80000 | 68561 | 0 | 0.0 | 31M| 90 | - | 136 |3103 | 0 | 0 | 0 | 13k| 0 | 2.443000e+03 | 6.133000e+03 | 151.04%
12.59/12.65 c 11.1s| 90000 | 75746 | 0 | 0.0 | 36M| 90 | - | 136 |3316 | 0 | 0 | 0 | 16k| 0 | 2.499000e+03 | 6.133000e+03 | 145.42%
14.89/14.99 c 13.2s|100000 | 82959 | 0 | 0.0 | 40M| 90 | - | 136 |3583 | 0 | 0 | 0 | 20k| 0 | 2.549000e+03 | 6.133000e+03 | 140.60%
17.38/17.48 c 15.5s|110000 | 90245 | 0 | 0.0 | 44M| 90 | - | 136 |3801 | 0 | 0 | 0 | 23k| 0 | 2.597000e+03 | 6.133000e+03 | 136.16%
20.08/20.12 c 18.0s|120000 | 97370 | 0 | 0.0 | 48M| 90 | - | 136 |4136 | 0 | 0 | 0 | 27k| 0 | 2.640000e+03 | 6.133000e+03 | 132.31%
22.69/22.78 c 20.5s|130000 |104706 | 0 | 0.0 | 53M| 90 | - | 136 |4168 | 0 | 0 | 0 | 30k| 0 | 2.682000e+03 | 6.133000e+03 | 128.67%
25.48/25.59 c 23.1s|140000 |111989 | 0 | 0.0 | 57M| 90 | - | 136 |4635 | 0 | 0 | 0 | 34k| 0 | 2.720000e+03 | 6.133000e+03 | 125.48%
28.49/28.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.49/28.56 c 25.9s|150000 |119345 | 0 | 0.0 | 61M| 90 | - | 136 |4897 | 0 | 0 | 0 | 37k| 0 | 2.758000e+03 | 6.133000e+03 | 122.37%
31.48/31.56 c 28.7s|160000 |126888 | 0 | 0.0 | 65M| 90 | - | 136 |5196 | 0 | 0 | 0 | 40k| 0 | 2.795000e+03 | 6.133000e+03 | 119.43%
34.68/34.77 c 31.7s|170000 |134311 | 0 | 0.0 | 69M| 90 | - | 136 |5727 | 0 | 0 | 0 | 44k| 0 | 2.830000e+03 | 6.133000e+03 | 116.71%
36.78/36.81 o 6089
36.78/36.81 c *33.6s|175975 |138333 | 0 | 0.0 | 71M| 90 | - | 136 |5825 | 0 | 0 | 0 | 46k| 0 | 2.851000e+03 | 6.089000e+03 | 113.57%
38.08/38.18 c 34.9s|180000 |141329 | 0 | 0.0 | 73M| 90 | - | 136 |5894 | 0 | 0 | 0 | 47k| 0 | 2.864000e+03 | 6.089000e+03 | 112.60%
41.68/41.70 c 38.2s|190000 |148663 | 0 | 0.0 | 77M| 90 | - | 136 |6581 | 0 | 0 | 0 | 51k| 0 | 2.898000e+03 | 6.089000e+03 | 110.11%
45.27/45.37 c 41.7s|200000 |156135 | 0 | 0.0 | 80M| 90 | - | 136 |6689 | 0 | 0 | 0 | 54k| 0 | 2.928000e+03 | 6.089000e+03 | 107.96%
49.07/49.19 c 45.3s|210000 |163638 | 0 | 0.0 | 84M| 90 | - | 136 |7157 | 0 | 0 | 0 | 58k| 0 | 2.957000e+03 | 6.089000e+03 | 105.92%
53.17/53.25 c 49.2s|220000 |170975 | 0 | 0.0 | 88M| 90 | - | 136 |7742 | 0 | 0 | 0 | 61k| 0 | 2.984000e+03 | 6.089000e+03 | 104.05%
57.37/57.43 c 53.2s|230000 |178536 | 0 | 0.0 | 91M| 90 | - | 136 |8194 | 0 | 0 | 0 | 65k| 0 | 3.008000e+03 | 6.089000e+03 | 102.43%
61.67/61.72 c 57.3s|240000 |186099 | 0 | 0.0 | 95M| 90 | - | 136 |8628 | 0 | 0 | 0 | 68k| 0 | 3.032000e+03 | 6.089000e+03 | 100.82%
66.18/66.21 c 61.6s|250000 |193738 | 0 | 0.0 | 99M| 90 | - | 136 |8950 | 0 | 0 | 0 | 72k| 0 | 3.053000e+03 | 6.089000e+03 | 99.44%
70.67/70.74 c 66.0s|260000 |201462 | 0 | 0.0 | 102M| 90 | - | 136 |9224 | 0 | 0 | 0 | 75k| 0 | 3.071000e+03 | 6.089000e+03 | 98.27%
75.57/75.62 c 70.7s|270000 |208892 | 0 | 0.0 | 106M| 90 | - | 136 |9863 | 0 | 0 | 0 | 79k| 0 | 3.092000e+03 | 6.089000e+03 | 96.93%
80.57/80.64 c 75.5s|280000 |216378 | 0 | 0.0 | 109M| 90 | - | 136 | 10k| 0 | 0 | 0 | 82k| 0 | 3.112000e+03 | 6.089000e+03 | 95.66%
85.87/85.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.87/85.95 c 80.7s|290000 |223902 | 0 | 0.0 | 113M| 90 | - | 136 | 10k| 0 | 0 | 0 | 86k| 0 | 3.130000e+03 | 6.089000e+03 | 94.54%
91.36/91.47 c 86.0s|300000 |231409 | 0 | 0.0 | 116M| 90 | - | 136 | 11k| 0 | 0 | 0 | 90k| 0 | 3.148000e+03 | 6.089000e+03 | 93.42%
97.07/97.16 c 91.5s|310000 |239057 | 0 | 0.0 | 120M| 90 | - | 136 | 12k| 0 | 0 | 0 | 93k| 0 | 3.164000e+03 | 6.089000e+03 | 92.45%
102.96/103.07 c 97.2s|320000 |246720 | 0 | 0.0 | 123M| 90 | - | 136 | 12k| 0 | 0 | 0 | 97k| 0 | 3.180000e+03 | 6.089000e+03 | 91.48%
109.16/109.23 c 103s|330000 |254381 | 0 | 0.0 | 126M| 90 | - | 136 | 13k| 0 | 0 | 0 | 101k| 0 | 3.195000e+03 | 6.089000e+03 | 90.58%
115.56/115.67 c 109s|340000 |261989 | 0 | 0.0 | 130M| 91 | - | 136 | 13k| 0 | 0 | 0 | 104k| 0 | 3.210000e+03 | 6.089000e+03 | 89.69%
122.35/122.44 c 116s|350000 |269557 | 0 | 0.0 | 133M| 91 | - | 136 | 14k| 0 | 0 | 0 | 108k| 0 | 3.225000e+03 | 6.089000e+03 | 88.81%
128.95/129.07 c 122s|360000 |277405 | 0 | 0.0 | 136M| 91 | - | 136 | 14k| 0 | 0 | 0 | 112k| 0 | 3.238000e+03 | 6.089000e+03 | 88.05%
135.95/136.05 c 129s|370000 |285036 | 0 | 0.0 | 140M| 91 | - | 136 | 15k| 0 | 0 | 0 | 115k| 0 | 3.252000e+03 | 6.089000e+03 | 87.24%
143.25/143.31 c 136s|380000 |292668 | 0 | 0.0 | 143M| 91 | - | 136 | 16k| 0 | 0 | 0 | 119k| 0 | 3.264000e+03 | 6.089000e+03 | 86.55%
150.85/150.98 c 144s|390000 |300379 | 0 | 0.0 | 146M| 91 | - | 136 | 16k| 0 | 0 | 0 | 123k| 0 | 3.276000e+03 | 6.089000e+03 | 85.87%
158.64/158.70 c 151s|400000 |308140 | 0 | 0.0 | 150M| 91 | - | 136 | 16k| 0 | 0 | 0 | 127k| 0 | 3.288000e+03 | 6.089000e+03 | 85.19%
166.54/166.63 c 159s|410000 |315808 | 0 | 0.0 | 153M| 91 | - | 136 | 17k| 0 | 0 | 0 | 130k| 0 | 3.299000e+03 | 6.089000e+03 | 84.57%
174.54/174.67 c 167s|420000 |323575 | 0 | 0.0 | 156M| 91 | - | 136 | 18k| 0 | 0 | 0 | 134k| 0 | 3.309000e+03 | 6.089000e+03 | 84.01%
183.13/183.27 c 175s|430000 |331282 | 0 | 0.0 | 159M| 91 | - | 136 | 18k| 0 | 0 | 0 | 138k| 0 | 3.320000e+03 | 6.089000e+03 | 83.40%
192.03/192.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.03/192.18 c 184s|440000 |338847 | 0 | 0.0 | 163M| 91 | - | 136 | 18k| 0 | 0 | 0 | 142k| 0 | 3.331000e+03 | 6.089000e+03 | 82.80%
200.83/200.97 c 193s|450000 |346468 | 0 | 0.0 | 166M| 91 | - | 136 | 19k| 0 | 0 | 0 | 146k| 0 | 3.341000e+03 | 6.089000e+03 | 82.25%
209.93/210.10 c 202s|460000 |354173 | 0 | 0.0 | 169M| 91 | - | 136 | 19k| 0 | 0 | 0 | 150k| 0 | 3.351000e+03 | 6.089000e+03 | 81.71%
219.22/219.31 c 211s|470000 |361870 | 0 | 0.0 | 172M| 91 | - | 136 | 20k| 0 | 0 | 0 | 154k| 0 | 3.361000e+03 | 6.089000e+03 | 81.17%
228.32/228.44 c 220s|480000 |369657 | 0 | 0.0 | 175M| 91 | - | 136 | 20k| 0 | 0 | 0 | 158k| 0 | 3.370000e+03 | 6.089000e+03 | 80.68%
237.81/237.93 c 229s|490000 |377354 | 0 | 0.0 | 178M| 91 | - | 136 | 21k| 0 | 0 | 0 | 161k| 0 | 3.379000e+03 | 6.089000e+03 | 80.20%
247.61/247.70 c 239s|500000 |385011 | 0 | 0.0 | 182M| 91 | - | 136 | 21k| 0 | 0 | 0 | 166k| 0 | 3.388000e+03 | 6.089000e+03 | 79.72%
257.41/257.53 c 248s|510000 |392776 | 0 | 0.0 | 185M| 91 | - | 136 | 22k| 0 | 0 | 0 | 169k| 0 | 3.395000e+03 | 6.089000e+03 | 79.35%
267.60/267.72 c 258s|520000 |400442 | 0 | 0.0 | 188M| 91 | - | 136 | 22k| 0 | 0 | 0 | 173k| 0 | 3.404000e+03 | 6.089000e+03 | 78.88%
278.01/278.14 c 269s|530000 |408130 | 0 | 0.0 | 191M| 91 | - | 136 | 22k| 0 | 0 | 0 | 177k| 0 | 3.412000e+03 | 6.089000e+03 | 78.46%
288.50/288.69 c 279s|540000 |415802 | 0 | 0.0 | 194M| 91 | - | 136 | 23k| 0 | 0 | 0 | 181k| 0 | 3.420000e+03 | 6.089000e+03 | 78.04%
299.29/299.47 c 289s|550000 |423491 | 0 | 0.0 | 197M| 91 | - | 136 | 23k| 0 | 0 | 0 | 185k| 0 | 3.427000e+03 | 6.089000e+03 | 77.68%
310.40/310.59 c 300s|560000 |431177 | 0 | 0.0 | 200M| 91 | - | 136 | 23k| 0 | 0 | 0 | 189k| 0 | 3.435000e+03 | 6.089000e+03 | 77.26%
321.39/321.51 c 311s|570000 |438787 | 0 | 0.0 | 203M| 91 | - | 136 | 24k| 0 | 0 | 0 | 193k| 0 | 3.442000e+03 | 6.089000e+03 | 76.90%
332.48/332.69 c 322s|580000 |446443 | 0 | 0.0 | 206M| 91 | - | 136 | 24k| 0 | 0 | 0 | 197k| 0 | 3.450000e+03 | 6.089000e+03 | 76.49%
343.78/343.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.78/343.99 c 333s|590000 |454166 | 0 | 0.0 | 209M| 91 | - | 136 | 24k| 0 | 0 | 0 | 201k| 0 | 3.456000e+03 | 6.089000e+03 | 76.19%
355.19/355.36 c 344s|600000 |461917 | 0 | 0.0 | 212M| 91 | - | 136 | 24k| 0 | 0 | 0 | 204k| 0 | 3.464000e+03 | 6.089000e+03 | 75.78%
367.18/367.32 c 356s|610000 |469560 | 0 | 0.0 | 215M| 91 | - | 136 | 25k| 0 | 0 | 0 | 208k| 0 | 3.472000e+03 | 6.089000e+03 | 75.37%
378.98/379.13 c 368s|620000 |477185 | 0 | 0.0 | 218M| 91 | - | 136 | 25k| 0 | 0 | 0 | 213k| 0 | 3.478000e+03 | 6.089000e+03 | 75.07%
390.97/391.18 c 380s|630000 |484905 | 0 | 0.0 | 221M| 91 | - | 136 | 25k| 0 | 0 | 0 | 216k| 0 | 3.485000e+03 | 6.089000e+03 | 74.72%
403.27/403.42 c 392s|640000 |492530 | 0 | 0.0 | 225M| 91 | - | 136 | 26k| 0 | 0 | 0 | 221k| 0 | 3.493000e+03 | 6.089000e+03 | 74.32%
415.57/415.79 c 404s|650000 |500171 | 0 | 0.0 | 228M| 91 | - | 136 | 26k| 0 | 0 | 0 | 225k| 0 | 3.500000e+03 | 6.089000e+03 | 73.97%
428.16/428.39 c 416s|660000 |507801 | 0 | 0.0 | 231M| 94 | - | 136 | 26k| 0 | 0 | 0 | 229k| 0 | 3.506000e+03 | 6.089000e+03 | 73.67%
441.06/441.29 c 429s|670000 |515443 | 0 | 0.0 | 234M| 94 | - | 136 | 26k| 0 | 0 | 0 | 233k| 0 | 3.512000e+03 | 6.089000e+03 | 73.38%
453.95/454.14 c 442s|680000 |523045 | 0 | 0.0 | 237M| 94 | - | 136 | 27k| 0 | 0 | 0 | 237k| 0 | 3.519000e+03 | 6.089000e+03 | 73.03%
467.04/467.27 c 455s|690000 |530647 | 0 | 0.0 | 240M| 94 | - | 136 | 27k| 0 | 0 | 0 | 241k| 0 | 3.525000e+03 | 6.089000e+03 | 72.74%
480.64/480.81 c 468s|700000 |538084 | 0 | 0.0 | 243M| 94 | - | 136 | 28k| 0 | 0 | 0 | 245k| 0 | 3.532000e+03 | 6.089000e+03 | 72.40%
494.24/494.46 c 482s|710000 |545606 | 0 | 0.0 | 246M| 94 | - | 136 | 28k| 0 | 0 | 0 | 250k| 0 | 3.538000e+03 | 6.089000e+03 | 72.10%
508.63/508.81 c 496s|720000 |553017 | 0 | 0.0 | 249M| 94 | - | 136 | 29k| 0 | 0 | 0 | 254k| 0 | 3.545000e+03 | 6.089000e+03 | 71.76%
522.83/523.08 c 510s|730000 |560425 | 0 | 0.0 | 252M| 94 | - | 136 | 29k| 0 | 0 | 0 | 259k| 0 | 3.552000e+03 | 6.089000e+03 | 71.42%
537.02/537.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.02/537.27 c 524s|740000 |568032 | 0 | 0.0 | 255M| 94 | - | 136 | 29k| 0 | 0 | 0 | 263k| 0 | 3.558000e+03 | 6.089000e+03 | 71.14%
552.03/552.23 c 539s|750000 |575463 | 0 | 0.0 | 258M| 94 | - | 136 | 30k| 0 | 0 | 0 | 267k| 0 | 3.564000e+03 | 6.089000e+03 | 70.85%
567.42/567.63 c 554s|760000 |582924 | 0 | 0.0 | 261M| 94 | - | 136 | 30k| 0 | 0 | 0 | 271k| 0 | 3.570000e+03 | 6.089000e+03 | 70.56%
583.01/583.25 c 569s|770000 |590282 | 0 | 0.0 | 264M| 94 | - | 136 | 31k| 0 | 0 | 0 | 276k| 0 | 3.576000e+03 | 6.089000e+03 | 70.27%
599.01/599.21 c 585s|780000 |597638 | 0 | 0.0 | 267M| 94 | - | 136 | 32k| 0 | 0 | 0 | 281k| 0 | 3.582000e+03 | 6.089000e+03 | 69.99%
615.10/615.35 c 601s|790000 |604985 | 0 | 0.0 | 270M| 94 | - | 136 | 32k| 0 | 0 | 0 | 285k| 0 | 3.588000e+03 | 6.089000e+03 | 69.70%
631.50/631.73 c 617s|800000 |612368 | 0 | 0.0 | 273M| 94 | - | 136 | 33k| 0 | 0 | 0 | 290k| 0 | 3.594000e+03 | 6.089000e+03 | 69.42%
647.99/648.23 c 633s|810000 |619809 | 0 | 0.0 | 276M| 94 | - | 136 | 33k| 0 | 0 | 0 | 294k| 0 | 3.599000e+03 | 6.089000e+03 | 69.19%
664.49/664.72 c 650s|820000 |627263 | 0 | 0.0 | 279M| 94 | - | 136 | 34k| 0 | 0 | 0 | 299k| 0 | 3.605000e+03 | 6.089000e+03 | 68.90%
681.47/681.73 c 667s|830000 |634565 | 0 | 0.0 | 282M| 94 | - | 136 | 34k| 0 | 0 | 0 | 303k| 0 | 3.611000e+03 | 6.089000e+03 | 68.62%
698.77/699.00 c 684s|840000 |641872 | 0 | 0.0 | 285M| 94 | - | 136 | 34k| 0 | 0 | 0 | 308k| 0 | 3.616000e+03 | 6.089000e+03 | 68.39%
716.17/716.49 c 701s|850000 |649234 | 0 | 0.0 | 288M| 94 | - | 136 | 35k| 0 | 0 | 0 | 312k| 0 | 3.621000e+03 | 6.089000e+03 | 68.16%
733.47/733.78 c 718s|860000 |656526 | 0 | 0.0 | 292M| 94 | - | 136 | 36k| 0 | 0 | 0 | 317k| 0 | 3.625000e+03 | 6.089000e+03 | 67.97%
750.96/751.21 c 735s|870000 |664031 | 0 | 0.0 | 295M| 94 | - | 136 | 36k| 0 | 0 | 0 | 321k| 0 | 3.630000e+03 | 6.089000e+03 | 67.74%
769.35/769.70 c 754s|880000 |671262 | 0 | 0.0 | 298M| 94 | - | 136 | 37k| 0 | 0 | 0 | 326k| 0 | 3.635000e+03 | 6.089000e+03 | 67.51%
788.14/788.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.14/788.45 c 772s|890000 |678551 | 0 | 0.0 | 301M| 94 | - | 136 | 37k| 0 | 0 | 0 | 331k| 0 | 3.640000e+03 | 6.089000e+03 | 67.28%
807.15/807.43 c 791s|900000 |685794 | 0 | 0.0 | 304M| 94 | - | 136 | 38k| 0 | 0 | 0 | 336k| 0 | 3.644000e+03 | 6.089000e+03 | 67.10%
825.85/826.13 c 809s|910000 |693185 | 0 | 0.0 | 307M| 94 | - | 136 | 38k| 0 | 0 | 0 | 340k| 0 | 3.649000e+03 | 6.089000e+03 | 66.87%
845.23/845.51 c 829s|920000 |700579 | 0 | 0.0 | 310M| 94 | - | 136 | 39k| 0 | 0 | 0 | 345k| 0 | 3.654000e+03 | 6.089000e+03 | 66.64%
864.82/865.13 c 848s|930000 |707911 | 0 | 0.0 | 313M| 94 | - | 136 | 40k| 0 | 0 | 0 | 349k| 0 | 3.658000e+03 | 6.089000e+03 | 66.46%
884.72/885.00 c 868s|940000 |715335 | 0 | 0.0 | 316M| 94 | - | 136 | 39k| 0 | 0 | 0 | 354k| 0 | 3.662000e+03 | 6.089000e+03 | 66.28%
904.92/905.21 c 888s|950000 |722709 | 0 | 0.0 | 319M| 94 | - | 136 | 40k| 0 | 0 | 0 | 358k| 0 | 3.666000e+03 | 6.089000e+03 | 66.09%
924.91/925.23 c 908s|960000 |730150 | 0 | 0.0 | 322M| 94 | - | 136 | 40k| 0 | 0 | 0 | 363k| 0 | 3.671000e+03 | 6.089000e+03 | 65.87%
945.50/945.81 c 928s|970000 |737517 | 0 | 0.0 | 325M| 94 | - | 136 | 41k| 0 | 0 | 0 | 367k| 0 | 3.675000e+03 | 6.089000e+03 | 65.69%
966.29/966.60 c 949s|980000 |744842 | 0 | 0.0 | 328M| 94 | - | 136 | 42k| 0 | 0 | 0 | 372k| 0 | 3.678000e+03 | 6.089000e+03 | 65.55%
986.89/987.28 c 969s|990000 |752297 | 0 | 0.0 | 331M| 94 | - | 136 | 42k| 0 | 0 | 0 | 376k| 0 | 3.682000e+03 | 6.089000e+03 | 65.37%
1007.88/1008.28 c 990s| 1000k|759647 | 0 | 0.0 | 334M| 94 | - | 136 | 42k| 0 | 0 | 0 | 381k| 0 | 3.686000e+03 | 6.089000e+03 | 65.19%
1028.97/1029.30 c 1011s| 1010k|767033 | 0 | 0.0 | 337M| 94 | - | 136 | 43k| 0 | 0 | 0 | 385k| 0 | 3.690000e+03 | 6.089000e+03 | 65.01%
1050.97/1051.33 c 1033s| 1020k|774418 | 0 | 0.0 | 340M| 94 | - | 136 | 43k| 0 | 0 | 0 | 389k| 0 | 3.694000e+03 | 6.089000e+03 | 64.83%
1072.56/1072.98 c 1054s| 1030k|781642 | 0 | 0.0 | 343M| 94 | - | 136 | 44k| 0 | 0 | 0 | 394k| 0 | 3.698000e+03 | 6.089000e+03 | 64.66%
1094.96/1095.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.96/1095.31 c 1076s| 1040k|788907 | 0 | 0.0 | 346M| 94 | - | 136 | 44k| 0 | 0 | 0 | 399k| 0 | 3.702000e+03 | 6.089000e+03 | 64.48%
1117.65/1118.10 c 1099s| 1050k|796320 | 0 | 0.0 | 349M| 94 | - | 136 | 45k| 0 | 0 | 0 | 403k| 0 | 3.706000e+03 | 6.089000e+03 | 64.30%
1140.74/1141.11 c 1122s| 1060k|803573 | 0 | 0.0 | 352M| 94 | - | 136 | 45k| 0 | 0 | 0 | 408k| 0 | 3.710000e+03 | 6.089000e+03 | 64.12%
1163.63/1164.09 c 1144s| 1070k|810934 | 0 | 0.0 | 355M| 94 | - | 136 | 45k| 0 | 0 | 0 | 413k| 0 | 3.713000e+03 | 6.089000e+03 | 63.99%
1186.63/1187.02 c 1167s| 1080k|818357 | 0 | 0.0 | 358M| 94 | - | 136 | 46k| 0 | 0 | 0 | 417k| 0 | 3.717000e+03 | 6.089000e+03 | 63.81%
1210.12/1210.58 c 1190s| 1090k|825626 | 0 | 0.0 | 361M| 94 | - | 136 | 46k| 0 | 0 | 0 | 422k| 0 | 3.720000e+03 | 6.089000e+03 | 63.68%
1233.82/1234.28 c 1214s| 1100k|832963 | 0 | 0.0 | 364M| 94 | - | 136 | 46k| 0 | 0 | 0 | 426k| 0 | 3.724000e+03 | 6.089000e+03 | 63.51%
1257.81/1258.22 c 1238s| 1110k|840296 | 0 | 0.0 | 367M| 94 | - | 136 | 47k| 0 | 0 | 0 | 431k| 0 | 3.728000e+03 | 6.089000e+03 | 63.33%
1281.50/1281.99 c 1261s| 1120k|847702 | 0 | 0.0 | 370M| 94 | - | 136 | 47k| 0 | 0 | 0 | 435k| 0 | 3.731000e+03 | 6.089000e+03 | 63.20%
1305.99/1306.41 c 1286s| 1130k|855108 | 0 | 0.0 | 372M| 94 | - | 136 | 47k| 0 | 0 | 0 | 439k| 0 | 3.735000e+03 | 6.089000e+03 | 63.03%
1330.79/1331.22 c 1310s| 1140k|862356 | 0 | 0.0 | 375M| 94 | - | 136 | 47k| 0 | 0 | 0 | 444k| 0 | 3.738000e+03 | 6.089000e+03 | 62.89%
1355.07/1355.56 c 1334s| 1150k|869828 | 0 | 0.0 | 378M| 94 | - | 136 | 47k| 0 | 0 | 0 | 448k| 0 | 3.742000e+03 | 6.089000e+03 | 62.72%
1379.98/1380.40 c 1359s| 1160k|877049 | 0 | 0.0 | 382M| 94 | - | 136 | 49k| 0 | 0 | 0 | 453k| 0 | 3.745000e+03 | 6.089000e+03 | 62.59%
1405.05/1405.50 c 1384s| 1170k|884448 | 0 | 0.0 | 384M| 94 | - | 136 | 49k| 0 | 0 | 0 | 457k| 0 | 3.749000e+03 | 6.089000e+03 | 62.42%
1430.65/1431.14 c 1409s| 1180k|891843 | 0 | 0.0 | 388M| 94 | - | 136 | 49k| 0 | 0 | 0 | 462k| 0 | 3.752000e+03 | 6.089000e+03 | 62.29%
1456.25/1456.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.25/1456.70 c 1435s| 1190k|899196 | 0 | 0.0 | 391M| 94 | - | 136 | 49k| 0 | 0 | 0 | 466k| 0 | 3.756000e+03 | 6.089000e+03 | 62.11%
1481.54/1482.04 c 1460s| 1200k|906631 | 0 | 0.0 | 393M| 94 | - | 136 | 50k| 0 | 0 | 0 | 471k| 0 | 3.759000e+03 | 6.089000e+03 | 61.98%
1507.42/1507.94 c 1486s| 1210k|913856 | 0 | 0.0 | 396M| 94 | - | 136 | 50k| 0 | 0 | 0 | 475k| 0 | 3.762000e+03 | 6.089000e+03 | 61.86%
1534.12/1534.69 c 1512s| 1220k|921070 | 0 | 0.0 | 399M| 94 | - | 136 | 51k| 0 | 0 | 0 | 480k| 0 | 3.766000e+03 | 6.089000e+03 | 61.68%
1560.91/1561.47 c 1539s| 1230k|928377 | 0 | 0.0 | 402M| 94 | - | 136 | 51k| 0 | 0 | 0 | 484k| 0 | 3.769000e+03 | 6.089000e+03 | 61.55%
1587.81/1588.34 c 1565s| 1240k|935695 | 0 | 0.0 | 405M| 94 | - | 136 | 51k| 0 | 0 | 0 | 489k| 0 | 3.773000e+03 | 6.089000e+03 | 61.38%
1614.79/1615.35 c 1592s| 1250k|942983 | 0 | 0.0 | 408M| 94 | - | 136 | 52k| 0 | 0 | 0 | 494k| 0 | 3.776000e+03 | 6.089000e+03 | 61.26%
1642.29/1642.89 c 1620s| 1260k|950160 | 0 | 0.0 | 411M| 94 | - | 136 | 52k| 0 | 0 | 0 | 498k| 0 | 3.779000e+03 | 6.089000e+03 | 61.13%
1669.29/1669.87 c 1646s| 1270k|957379 | 0 | 0.0 | 414M| 94 | - | 136 | 52k| 0 | 0 | 0 | 503k| 0 | 3.782000e+03 | 6.089000e+03 | 61.00%
1698.27/1698.84 c 1675s| 1280k|964447 | 0 | 0.0 | 417M| 94 | - | 136 | 53k| 0 | 0 | 0 | 508k| 0 | 3.786000e+03 | 6.089000e+03 | 60.83%
1726.66/1727.28 c 1703s| 1290k|971695 | 0 | 0.0 | 420M| 94 | - | 136 | 53k| 0 | 0 | 0 | 512k| 0 | 3.789000e+03 | 6.089000e+03 | 60.70%
1755.35/1755.90 c 1732s| 1300k|978789 | 0 | 0.0 | 423M| 94 | - | 136 | 54k| 0 | 0 | 0 | 517k| 0 | 3.791000e+03 | 6.089000e+03 | 60.62%
1784.54/1785.11 c 1761s| 1310k|985817 | 0 | 0.0 | 426M| 94 | - | 136 | 55k| 0 | 0 | 0 | 522k| 0 | 3.795000e+03 | 6.089000e+03 | 60.45%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.63 c
1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.63 c Solving Time (sec) : 1776.19
1800.05/1800.63 c Solving Nodes : 1315429
1800.05/1800.63 c Primal Bound : +6.08900000000000e+03 (16 solutions)
1800.05/1800.63 c Dual Bound : +3.79600000000000e+03
1800.05/1800.63 c Gap : 60.41 %
1800.05/1800.63 s SATISFIABLE
1800.05/1800.63 v -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115
1800.05/1800.63 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92
1800.05/1800.63 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67
1800.05/1800.63 v -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41
1800.05/1800.63 v -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.05/1800.63 v -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.63 c Solving Time : 1776.19
1800.05/1800.63 c Original Problem :
1800.05/1800.63 c Problem name : HOME/instance-2663911-1276629776.opb
1800.05/1800.63 c Variables : 136 (136 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 144 initial, 144 maximal
1800.05/1800.63 c Presolved Problem :
1800.05/1800.63 c Problem name : t_HOME/instance-2663911-1276629776.opb
1800.05/1800.63 c Variables : 136 (136 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 144 initial, 55379 maximal
1800.05/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c root node : - 0 - - 0 - - - -
1800.05/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.63 c setppc : 16 0 2488937 0 1196272 162784 1085612 0 0 0
1800.05/1800.63 c logicor : 128+ 0 962385 0 289442 591 1242844 0 0 0
1800.05/1800.63 c countsols : 0 0 0 0 1196288 0 0 0 0 0
1800.05/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c setppc : 53.08 0.00 41.92 0.00 11.16
1800.05/1800.63 c logicor : 876.27 0.00 875.48 0.00 0.79
1800.05/1800.63 c countsols : 0.47 0.00 0.00 0.00 0.47
1800.05/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.63 c vbounds : 1.16 2 0 0
1800.05/1800.63 c rootredcost : 1.19 0 0 0
1800.05/1800.63 c pseudoobj : 32.87 2528392 39634 2193009
1800.05/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.63 c propagation : 14.29 203009 203005 1159738 24.6 237 22.7 -
1800.05/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.63 c applied globally : - - - 511809 21.7 - - -
1800.05/1800.63 c applied locally : - - - 13059 37.6 - - -
1800.05/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.63 c redcost : 0.00 0 0 0 0 0
1800.05/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.63 c intobj : 0.00 0 0 0 0 0
1800.05/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.63 c gomory : 0.00 0 0 0 0 0
1800.05/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.63 c cmir : 0.00 0 0 0 0 0
1800.05/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.63 c clique : 0.00 0 0 0 0 0
1800.05/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.63 c mcf : 0.00 0 0 0 0 0
1800.05/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.63 c Pricers : Time Calls Vars
1800.05/1800.63 c problem variables: 0.00 0 0
1800.05/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c inference : 13.26 1196272 0 0 0 0 2392544
1800.05/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c random : 0.00 0 0 0 0 0 0
1800.05/1800.63 c Primal Heuristics : Time Calls Found
1800.05/1800.63 c LP solutions : 0.00 - 0
1800.05/1800.63 c pseudo solutions : 0.03 - 16
1800.05/1800.63 c oneopt : 0.93 0 0
1800.05/1800.63 c trivial : 0.00 2 0
1800.05/1800.63 c simplerounding : 0.00 0 0
1800.05/1800.63 c zirounding : 0.00 0 0
1800.05/1800.63 c rounding : 0.00 0 0
1800.05/1800.63 c shifting : 0.00 0 0
1800.05/1800.63 c intshifting : 0.00 0 0
1800.05/1800.63 c twoopt : 0.00 0 0
1800.05/1800.63 c fixandinfer : 0.00 0 0
1800.05/1800.63 c feaspump : 0.00 0 0
1800.05/1800.63 c coefdiving : 0.00 0 0
1800.05/1800.63 c pscostdiving : 0.00 0 0
1800.05/1800.63 c fracdiving : 0.00 0 0
1800.05/1800.63 c veclendiving : 0.00 0 0
1800.05/1800.63 c intdiving : 0.00 0 0
1800.05/1800.63 c actconsdiving : 0.00 0 0
1800.05/1800.63 c objpscostdiving : 0.00 0 0
1800.05/1800.63 c rootsoldiving : 0.00 0 0
1800.05/1800.63 c linesearchdiving : 0.00 0 0
1800.05/1800.63 c guideddiving : 0.00 0 0
1800.05/1800.63 c octane : 0.00 0 0
1800.05/1800.63 c rens : 0.00 0 0
1800.05/1800.63 c rins : 0.00 0 0
1800.05/1800.63 c localbranching : 0.00 0 0
1800.05/1800.63 c mutation : 0.00 0 0
1800.05/1800.63 c crossover : 0.00 0 0
1800.05/1800.63 c dins : 0.00 0 0
1800.05/1800.63 c undercover : 0.00 0 0
1800.05/1800.63 c nlp : 0.52 0 0
1800.05/1800.63 c trysol : 0.65 0 0
1800.05/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.63 c (at root node) : - 0 0 0.00 -
1800.05/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.63 c B&B Tree :
1800.05/1800.63 c number of runs : 1
1800.05/1800.63 c nodes : 1315429
1800.05/1800.63 c nodes (total) : 1315429
1800.05/1800.63 c nodes left : 989756
1800.05/1800.63 c max depth : 94
1800.05/1800.63 c max depth (total): 94
1800.05/1800.63 c backtracks : 124283 (9.4%)
1800.05/1800.63 c delayed cutoffs : 83933
1800.05/1800.63 c repropagations : 161095 (1206380 domain reductions, 83868 cutoffs)
1800.05/1800.63 c avg switch length: 7.15
1800.05/1800.63 c switching time : 494.35
1800.05/1800.63 c Solution :
1800.05/1800.63 c Solutions found : 16 (16 improvements)
1800.05/1800.63 c First Solution : +9.44600000000000e+03 (in run 1, after 12855 nodes, 0.90 seconds, depth 80, found by <relaxation>)
1800.05/1800.63 c Primal Bound : +6.08900000000000e+03 (in run 1, after 175975 nodes, 33.57 seconds, depth 48, found by <relaxation>)
1800.05/1800.63 c Dual Bound : +3.79600000000000e+03
1800.05/1800.63 c Gap : 60.41 %
1800.05/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.63 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663911-1276629776/watcher-2663911-1276629776 -o /tmp/evaluation-result-2663911-1276629776/solver-2663911-1276629776 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663911-1276629776.opb -t 1800 -m 1800
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: 0.85 0.97 0.99 3/105 12718
/proc/meminfo: memFree=1813140/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=6584 CPUtime=0
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 1081 0 0 0 0 0 0 0 25 0 1 0 4271307 6742016 1003 1992294400 4194304 7136930 140733617912992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12718/statm: 1646 1012 254 719 0 925 0
[startup+0.0768659 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 12718
/proc/meminfo: memFree=1813140/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=11896 CPUtime=0.07
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 3952 0 0 0 5 2 0 0 25 0 1 0 4271307 12181504 2236 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 2974 2236 383 719 0 2253 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11896
[startup+0.100868 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 12718
/proc/meminfo: memFree=1813140/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=12028 CPUtime=0.09
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 3978 0 0 0 7 2 0 0 25 0 1 0 4271307 12316672 2262 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 3007 2262 383 719 0 2286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028
[startup+0.300889 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 12718
/proc/meminfo: memFree=1813140/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=13000 CPUtime=0.29
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 4249 0 0 0 24 5 0 0 25 0 1 0 4271307 13312000 2533 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 3250 2533 383 719 0 2529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13000
[startup+0.700933 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 12718
/proc/meminfo: memFree=1813140/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=14952 CPUtime=0.69
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 4747 0 0 0 58 11 0 0 25 0 1 0 4271307 15310848 3031 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 3738 3031 383 719 0 3017 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14952
[startup+1.50102 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 12719
/proc/meminfo: memFree=1801600/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=17740 CPUtime=1.49
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 5509 0 0 0 126 23 0 0 25 0 1 0 4271307 18165760 3793 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 4435 3793 387 719 0 3714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17740
[startup+3.1012 s]
/proc/loadavg: 0.86 0.97 0.99 2/106 12719
/proc/meminfo: memFree=1795896/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=24276 CPUtime=3.09
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 7219 0 0 0 256 53 0 0 25 0 1 0 4271307 24858624 5503 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 6069 5503 387 719 0 5348 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24276
[startup+6.30155 s]
/proc/loadavg: 0.86 0.97 0.99 2/106 12719
/proc/meminfo: memFree=1781264/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=37160 CPUtime=6.29
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 10491 0 0 0 534 95 0 0 25 0 1 0 4271307 38051840 8775 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 9290 8775 387 719 0 8569 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37160
[startup+12.7013 s]
/proc/loadavg: 0.88 0.97 0.99 2/106 12719
/proc/meminfo: memFree=1762540/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=57596 CPUtime=12.68
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 15174 0 0 0 1114 154 0 0 25 0 1 0 4271307 58978304 13458 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 14399 13458 387 719 0 13678 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57596
[startup+25.5007 s]
/proc/loadavg: 0.90 0.97 0.99 2/106 12719
/proc/meminfo: memFree=1737988/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=79416 CPUtime=25.48
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 20738 0 0 0 2298 250 0 0 25 0 1 0 4271307 81321984 19022 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 19854 19022 387 719 0 19133 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79416
[startup+51.1005 s]
/proc/loadavg: 0.93 0.97 0.99 2/106 12719
/proc/meminfo: memFree=1708104/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=108696 CPUtime=51.08
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 28290 0 0 0 4714 394 0 0 25 0 1 0 4271307 111304704 26574 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 27174 26574 387 719 0 26453 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 108696
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/106 12721
/proc/meminfo: memFree=1668548/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=150660 CPUtime=102.27
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 37990 0 0 0 9646 581 0 0 25 0 1 0 4271307 154275840 36274 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 37665 36274 387 719 0 36944 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150660
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12723
/proc/meminfo: memFree=1638292/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=181300 CPUtime=162.24
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 45859 0 0 0 15491 733 0 0 25 0 1 0 4271307 185651200 44143 1992294400 4194304 7136930 140733617912992 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 45325 44143 387 719 0 44604 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 181300
[startup+222.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12725
/proc/meminfo: memFree=1612748/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=204812 CPUtime=222.22
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 51877 0 0 0 21371 851 0 0 25 0 1 0 4271307 209727488 50161 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 51203 50161 387 719 0 50482 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 204812
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12727
/proc/meminfo: memFree=1593032/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=223980 CPUtime=282.2
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 56785 0 0 0 27261 959 0 0 25 0 1 0 4271307 229355520 55069 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 55995 55069 387 719 0 55274 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 223980
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12727
/proc/meminfo: memFree=1575796/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=240424 CPUtime=342.18
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 61099 0 0 0 33158 1060 0 0 25 0 1 0 4271307 246194176 59383 1992294400 4194304 7136930 140733617912992 18446744073709551615 4210365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 60106 59383 387 719 0 59385 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 240424
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12729
/proc/meminfo: memFree=1557568/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=266292 CPUtime=402.16
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 65593 0 0 0 39067 1149 0 0 25 0 1 0 4271307 272683008 63877 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 66573 63877 387 719 0 65852 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 266292
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12731
/proc/meminfo: memFree=1543184/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=279884 CPUtime=462.14
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 69174 0 0 0 44982 1232 0 0 25 0 1 0 4271307 286601216 67458 1992294400 4194304 7136930 140733617912992 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 69971 67458 387 719 0 69250 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 279884
[startup+522.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12733
/proc/meminfo: memFree=1528552/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=294328 CPUtime=522.12
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 72825 0 0 0 50901 1311 0 0 25 0 1 0 4271307 301391872 71109 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 73582 71109 387 719 0 72861 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 294328
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12738
/proc/meminfo: memFree=1515412/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=306312 CPUtime=582.1
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 75944 0 0 0 56829 1381 0 0 25 0 1 0 4271307 313663488 74228 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 76578 74228 387 719 0 75857 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 306312
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12738
/proc/meminfo: memFree=1504872/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=316324 CPUtime=642.09
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 78597 0 0 0 62760 1449 0 0 25 0 1 0 4271307 323915776 76881 1992294400 4194304 7136930 140733617912992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 79081 76881 387 719 0 78360 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 316324
[startup+702.301 s]
################
# More data... #
################
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 93822 0 0 0 98401 1797 0 0 25 0 1 0 4271307 385699840 92106 1992294400 4194304 7136930 140733617912992 18446744073709551615 4221226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 94165 92106 387 719 0 93444 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 376660
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12750
/proc/meminfo: memFree=1434812/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=385056 CPUtime=1061.96
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 96009 0 0 0 104347 1849 0 0 25 0 1 0 4271307 394297344 94293 1992294400 4194304 7136930 140733617912992 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 96264 94293 387 719 0 95543 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 385056
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12752
/proc/meminfo: memFree=1425388/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=394412 CPUtime=1121.94
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 98364 0 0 0 110290 1904 0 0 25 0 1 0 4271307 403877888 96648 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 98603 96648 387 719 0 97882 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 394412
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12754
/proc/meminfo: memFree=1419064/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=399984 CPUtime=1181.93
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 99887 0 0 0 116243 1950 0 0 25 0 1 0 4271307 409583616 98171 1992294400 4194304 7136930 140733617912992 18446744073709551615 5004426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 99996 98171 387 719 0 99275 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 399984
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12754
/proc/meminfo: memFree=1411500/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=407032 CPUtime=1241.91
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 101736 0 0 0 122194 1997 0 0 25 0 1 0 4271307 416800768 100020 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 101758 100020 387 719 0 101037 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 407032
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12756
/proc/meminfo: memFree=1403936/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=414176 CPUtime=1301.9
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 103600 0 0 0 128146 2044 0 0 25 0 1 0 4271307 424116224 101884 1992294400 4194304 7136930 140733617912992 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 103544 101884 387 719 0 102823 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 414176
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12758
/proc/meminfo: memFree=1394264/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=423684 CPUtime=1361.87
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 106025 0 0 0 134099 2088 0 0 25 0 1 0 4271307 433852416 104309 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 105921 104309 387 719 0 105200 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 423684
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12760
/proc/meminfo: memFree=1387940/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=430120 CPUtime=1421.86
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 107593 0 0 0 140052 2134 0 0 25 0 1 0 4271307 440442880 105877 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 107530 105877 387 719 0 106809 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 430120
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12762
/proc/meminfo: memFree=1378144/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=439796 CPUtime=1481.83
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 110029 0 0 0 146007 2176 0 0 25 0 1 0 4271307 450351104 108313 1992294400 4194304 7136930 140733617912992 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 109949 108313 387 719 0 109228 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 439796
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12762
/proc/meminfo: memFree=1371324/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=446304 CPUtime=1541.82
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 111727 0 0 0 151965 2217 0 0 25 0 1 0 4271307 457015296 110011 1992294400 4194304 7136930 140733617912992 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 111576 110011 387 719 0 110855 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 446304
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12764
/proc/meminfo: memFree=1361776/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=455840 CPUtime=1601.8
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 114105 0 0 0 157924 2256 0 0 25 0 1 0 4271307 466780160 112389 1992294400 4194304 7136930 140733617912992 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 113960 112389 387 719 0 113239 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 455840
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12766
/proc/meminfo: memFree=1354460/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=462716 CPUtime=1661.78
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 115891 0 0 0 163881 2297 0 0 25 0 1 0 4271307 473821184 114175 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 115679 114175 387 719 0 114958 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 462716
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12768
/proc/meminfo: memFree=1347516/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=469092 CPUtime=1721.77
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 117595 0 0 0 169838 2339 0 0 25 0 1 0 4271307 480350208 115879 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 117273 115879 387 719 0 116552 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 469092
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12770
/proc/meminfo: memFree=1340696/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=492900 CPUtime=1781.74
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 119501 0 0 0 175798 2376 0 0 25 0 1 0 4271307 504729600 117785 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 123225 117785 387 719 0 122504 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 492900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12770
/proc/meminfo: memFree=1338092/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=494372 CPUtime=1800.05
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 119908 0 0 0 177617 2388 0 0 25 0 1 0 4271307 506236928 118192 1992294400 4194304 7136930 140733617912992 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12718/statm: 123593 118192 387 719 0 122872 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 494372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12718
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 12770
/proc/meminfo: memFree=1338092/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=494540 CPUtime=1800.84
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 119939 0 0 0 177696 2388 0 0 25 0 1 0 4271307 506408960 118223 1992294400 4194304 7136930 140733617912992 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12718/statm: 123635 118223 392 719 0 122914 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 494540
[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12771
/proc/meminfo: memFree=1337960/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=494540 CPUtime=1801.64
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 119939 0 0 0 177776 2388 0 0 25 0 1 0 4271307 506408960 118223 1992294400 4194304 7136930 140733617912992 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12718/statm: 123635 118223 392 719 0 122914 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 494540
[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12771
/proc/meminfo: memFree=1337960/2059040 swapFree=4192956/4192956
[pid=12718] ppid=12716 vsize=494540 CPUtime=1802.04
/proc/12718/stat : 12718 (pbscip.linux.x8) R 12716 12718 12653 0 -1 4202496 119939 0 0 0 177816 2388 0 0 25 0 1 0 4271307 506408960 118223 1992294400 4194304 7136930 140733617912992 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12718/statm: 123635 118223 392 719 0 122914 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 494540
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.11
CPU user time (s): 1778.18
CPU system time (s): 23.9324
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 494540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.18
system time used= 23.9324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119939
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= 1
involuntary context switches= 19168
runsolver used 2.86656 second user time and 8.62969 second system time
The end