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-2663680-1276649859.opb>
0.00/0.01 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 305 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.02 c presolving:
0.02/0.06 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 36 chg coeffs, 0 upgd conss, 1936 impls, 0 clqs
0.02/0.06 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 36 chg coeffs, 9 upgd conss, 1958 impls, 0 clqs
0.02/0.08 c (0.1s) probing: 194/424 (45.8%) - 0 fixings, 0 aggregations, 41 implications, 0 bound changes
0.02/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.08 c presolving (3 rounds):
0.02/0.08 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 36 changed coefficients
0.02/0.08 c 2040 implications, 0 cliques
0.02/0.08 c presolved problem has 424 variables (424 bin, 0 int, 0 impl, 0 cont) and 305 constraints
0.02/0.08 c 287 constraints of type <and>
0.02/0.08 c 8 constraints of type <linear>
0.02/0.08 c 10 constraints of type <logicor>
0.02/0.08 c transformed objective value is always integral (scale: 1)
0.02/0.08 c Presolving Time: 0.05
0.02/0.08 c - non default parameters ----------------------------------------------------------------------
0.02/0.08 c # SCIP version 1.2.1.2
0.02/0.08 c
0.02/0.08 c # frequency for displaying node information lines
0.02/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.08 c display/freq = 10000
0.02/0.08 c
0.02/0.08 c # maximal time in seconds to run
0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08 c limits/time = 1800
0.02/0.08 c
0.02/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08 c limits/memory = 1620
0.02/0.08 c
0.02/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.08 c lp/solvefreq = -1
0.02/0.08 c
0.02/0.08 c # should presolving try to simplify inequalities
0.02/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08 c constraints/linear/simplifyinequalities = TRUE
0.02/0.08 c
0.02/0.08 c # should presolving try to simplify knapsacks
0.02/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.08 c
0.02/0.08 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.08 c heuristics/undercover/freq = 0
0.02/0.08 c
0.02/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.08 c separating/rapidlearning/freq = 0
0.02/0.08 c
0.02/0.08 c -----------------------------------------------------------------------------------------------
0.02/0.08 c start solving
0.02/0.08 c
0.02/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.09 c 0.1s| 1 | 2 | 0 | - |1195k| 0 | - | 424 | 305 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.49/2.52 c 2.2s| 10000 | 6006 | 0 | 0.0 |5702k| 105 | - | 424 |1628 | 0 | 0 | 0 |4373 | 0 | 0.000000e+00 | -- | Inf
4.89/4.92 c 4.4s| 20000 | 13032 | 0 | 0.0 | 10M| 105 | - | 424 |2414 | 0 | 0 | 0 |8581 | 0 | 0.000000e+00 | -- | Inf
7.29/7.30 c 6.5s| 30000 | 20264 | 0 | 0.0 | 15M| 105 | - | 424 |4138 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
9.90/9.97 c 8.9s| 40000 | 27047 | 0 | 0.0 | 20M| 108 | - | 424 |4488 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
13.19/13.28 c 12.0s| 50000 | 33579 | 0 | 0.0 | 24M| 108 | - | 424 |1833 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
16.29/16.32 c 14.8s| 60000 | 40556 | 0 | 0.0 | 29M| 108 | - | 424 |2127 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
17.19/17.22 o 3
17.19/17.22 c *15.6s| 62747 | 42085 | 0 | 0.0 | 30M| 108 | - | 424 |2077 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
18.88/18.95 c 17.2s| 70000 | 45070 | 0 | 0.0 | 31M| 108 | - | 424 |1658 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
21.08/21.19 c 19.2s| 80000 | 52699 | 0 | 0.0 | 36M| 108 | - | 424 |2165 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
23.79/23.82 c 21.5s| 90000 | 59082 | 0 | 0.0 | 40M| 108 | - | 424 |3280 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
26.29/26.35 c 23.8s|100000 | 66350 | 0 | 0.0 | 44M| 108 | - | 424 |3520 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
28.49/28.50 c 25.7s|110000 | 74765 | 0 | 0.0 | 48M| 108 | - | 424 |3774 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
30.58/30.61 c 27.6s|120000 | 83376 | 0 | 0.0 | 53M| 108 | - | 424 |3918 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
32.99/33.03 c 29.7s|130000 | 91279 | 0 | 0.0 | 57M| 108 | - | 424 |4919 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
35.48/35.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.48/35.51 c 32.0s|140000 | 99675 | 0 | 0.0 | 62M| 108 | - | 424 |4924 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
37.68/37.74 c 34.0s|150000 |108131 | 0 | 0.0 | 66M| 108 | - | 424 |5089 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
40.69/40.71 c 36.7s|160000 |114266 | 0 | 0.0 | 70M| 108 | - | 424 |5303 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
43.68/43.70 c 39.4s|170000 |120226 | 0 | 0.0 | 74M| 108 | - | 424 |5765 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
47.68/47.70 c 43.1s|180000 |110036 | 0 | 0.0 | 70M| 108 | - | 424 |5825 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
50.68/50.80 c 46.0s|190000 |116491 | 0 | 0.0 | 75M| 110 | - | 424 |5970 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
53.27/53.36 c 48.3s|200000 |123361 | 0 | 0.0 | 79M| 110 | - | 424 |6053 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
55.98/56.08 c 50.8s|210000 |129662 | 0 | 0.0 | 84M| 110 | - | 424 |6701 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
60.17/60.29 c 54.7s|220000 |133162 | 0 | 0.0 | 87M| 110 | - | 424 |7269 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
64.47/64.50 c 58.7s|230000 |136806 | 0 | 0.0 | 88M| 110 | - | 424 |6807 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
68.97/69.09 c 63.0s|240000 |142303 | 0 | 0.0 | 90M| 110 | - | 424 |7077 | 0 | 0 | 0 | 96k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
73.96/74.05 c 67.7s|250000 |146750 | 0 | 0.0 | 94M| 110 | - | 424 |6870 | 0 | 0 | 0 | 101k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
77.16/77.25 c 70.6s|260000 |152622 | 0 | 0.0 | 98M| 110 | - | 424 |7070 | 0 | 0 | 0 | 105k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
80.36/80.43 c 73.5s|270000 |158558 | 0 | 0.0 | 102M| 110 | - | 424 |7628 | 0 | 0 | 0 | 110k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
83.37/83.42 c 76.3s|280000 |164845 | 0 | 0.0 | 107M| 110 | - | 424 |7948 | 0 | 0 | 0 | 115k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
86.27/86.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.27/86.34 c 78.9s|290000 |170850 | 0 | 0.0 | 111M| 110 | - | 424 |8260 | 0 | 0 | 0 | 119k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
89.16/89.24 c 81.6s|300000 |177118 | 0 | 0.0 | 114M| 110 | - | 424 |8551 | 0 | 0 | 0 | 124k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
92.06/92.17 c 84.3s|310000 |183443 | 0 | 0.0 | 118M| 110 | - | 424 |8904 | 0 | 0 | 0 | 129k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
94.96/95.09 c 87.0s|320000 |189926 | 0 | 0.0 | 123M| 110 | - | 424 |9211 | 0 | 0 | 0 | 133k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
97.96/98.03 c 89.6s|330000 |196402 | 0 | 0.0 | 127M| 110 | - | 424 |9746 | 0 | 0 | 0 | 139k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
100.96/101.05 c 92.4s|340000 |202923 | 0 | 0.0 | 131M| 110 | - | 424 | 10k| 0 | 0 | 0 | 143k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
103.96/104.03 c 95.2s|350000 |209353 | 0 | 0.0 | 135M| 110 | - | 424 | 10k| 0 | 0 | 0 | 148k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
106.95/107.04 c 97.9s|360000 |215788 | 0 | 0.0 | 139M| 110 | - | 424 | 11k| 0 | 0 | 0 | 154k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
109.86/109.95 c 101s|370000 |222520 | 0 | 0.0 | 144M| 110 | - | 424 | 12k| 0 | 0 | 0 | 159k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
112.86/112.91 c 103s|380000 |229150 | 0 | 0.0 | 148M| 110 | - | 424 | 13k| 0 | 0 | 0 | 164k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
115.86/115.92 c 106s|390000 |235642 | 0 | 0.0 | 153M| 110 | - | 424 | 14k| 0 | 0 | 0 | 170k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
118.85/118.92 c 109s|400000 |242199 | 0 | 0.0 | 157M| 110 | - | 424 | 15k| 0 | 0 | 0 | 175k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
122.16/122.20 c 112s|410000 |248176 | 0 | 0.0 | 162M| 110 | - | 424 | 15k| 0 | 0 | 0 | 180k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
125.45/125.56 c 115s|420000 |254120 | 0 | 0.0 | 166M| 110 | - | 424 | 15k| 0 | 0 | 0 | 186k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
128.65/128.79 c 118s|430000 |260218 | 0 | 0.0 | 171M| 110 | - | 424 | 16k| 0 | 0 | 0 | 191k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
132.35/132.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.35/132.45 c 121s|440000 |265648 | 0 | 0.0 | 175M| 110 | - | 424 | 17k| 0 | 0 | 0 | 197k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
135.85/135.94 c 124s|450000 |271338 | 0 | 0.0 | 180M| 110 | - | 424 | 17k| 0 | 0 | 0 | 203k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
138.94/139.08 c 127s|460000 |277666 | 0 | 0.0 | 184M| 110 | - | 424 | 18k| 0 | 0 | 0 | 207k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
142.65/142.73 c 131s|470000 |283120 | 0 | 0.0 | 189M| 110 | - | 424 | 18k| 0 | 0 | 0 | 213k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
146.35/146.42 c 134s|480000 |288591 | 0 | 0.0 | 193M| 110 | - | 424 | 18k| 0 | 0 | 0 | 218k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
150.14/150.22 c 138s|490000 |293803 | 0 | 0.0 | 197M| 110 | - | 424 | 19k| 0 | 0 | 0 | 224k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
153.54/153.64 c 141s|500000 |299819 | 0 | 0.0 | 202M| 110 | - | 424 | 19k| 0 | 0 | 0 | 230k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
157.25/157.38 c 144s|510000 |305242 | 0 | 0.0 | 206M| 110 | - | 424 | 20k| 0 | 0 | 0 | 235k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
161.24/161.33 c 148s|520000 |310104 | 0 | 0.0 | 210M| 110 | - | 424 | 19k| 0 | 0 | 0 | 241k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
165.34/165.41 c 152s|530000 |314557 | 0 | 0.0 | 214M| 110 | - | 424 | 21k| 0 | 0 | 0 | 247k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
169.43/169.52 c 156s|540000 |319050 | 0 | 0.0 | 219M| 110 | - | 424 | 21k| 0 | 0 | 0 | 254k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
174.03/174.12 c 160s|550000 |322115 | 0 | 0.0 | 222M| 110 | - | 424 | 21k| 0 | 0 | 0 | 260k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
177.14/177.28 o 2
177.14/177.28 c * 163s|555132 | 0 | 0 | 0.0 | 10M| 110 | - | 424 | 21k| 0 | 0 | 0 | 264k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
177.14/177.29 c
177.14/177.29 c SCIP Status : problem is solved [optimal solution found]
177.14/177.29 c Solving Time (sec) : 162.96
177.14/177.29 c Solving Nodes : 555132
177.14/177.29 c Primal Bound : +2.00000000000000e+00 (2 solutions)
177.14/177.29 c Dual Bound : +2.00000000000000e+00
177.14/177.29 c Gap : 0.00 %
177.14/177.29 s OPTIMUM FOUND
177.14/177.29 v -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x96 -x95 -x94 x93 x92 -x91 -x132 -x131 -x130 -x129 -x128
177.14/177.29 v x127 -x90 -x89 -x88 -x87 x86 -x85 -x126 x125 x124 -x123 -x122 -x121 -x84 x83 -x82 x81 x80 -x79 -x120 -x119 -x118 -x117 -x116
177.14/177.29 v -x115 x78 -x77 -x76 x75 x74 -x73 -x114 -x113 -x112 -x111 -x110 x109 -x72 -x71 -x70 -x69 x68 -x67 -x108 x107 -x106 -x105 -x104
177.14/177.29 v -x103 -x66 -x65 -x64 -x63 x62 -x61 -x102 -x101 -x100 -x99 -x98 -x97 x60 -x59 -x58 x57 x56 -x55 -x54 -x53 x52 -x51 x50 x49
177.14/177.29 v -x48 -x47 -x46 -x45 x44 x43 -x42 -x41 -x40 -x39 x38 x37 x36 -x35 x34 -x33 -x32 x31 -x30 x29 -x28 -x27 x26 x25 x24 -x23 -x22 -x21
177.14/177.29 v -x20 x19 -x18 x17 x16 -x15 x14 x13 -x12 x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 x2 -x1
177.14/177.29 c SCIP Status : problem is solved [optimal solution found]
177.14/177.29 c Solving Time : 162.96
177.14/177.29 c Original Problem :
177.14/177.29 c Problem name : HOME/instance-2663680-1276649859.opb
177.14/177.29 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
177.14/177.29 c Constraints : 305 initial, 305 maximal
177.14/177.29 c Presolved Problem :
177.14/177.29 c Problem name : t_HOME/instance-2663680-1276649859.opb
177.14/177.29 c Variables : 424 (424 binary, 0 integer, 0 implicit integer, 0 continuous)
177.14/177.29 c Constraints : 305 initial, 21896 maximal
177.14/177.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
177.14/177.29 c trivial : 0.00 0 0 0 0 0 0 0 0
177.14/177.29 c dualfix : 0.00 0 0 0 0 0 0 0 0
177.14/177.29 c boundshift : 0.00 0 0 0 0 0 0 0 0
177.14/177.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0
177.14/177.29 c implics : 0.00 0 0 0 0 0 0 0 0
177.14/177.29 c probing : 0.02 0 0 0 0 0 0 0 0
177.14/177.29 c and : 0.02 0 0 0 0 0 0 0 0
177.14/177.29 c linear : 0.00 1 7 0 0 0 0 0 36
177.14/177.29 c logicor : 0.00 0 0 0 0 0 0 0 0
177.14/177.29 c root node : - 82 - - 82 - - - -
177.14/177.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
177.14/177.29 c integral : 0 0 0 0 0 0 0 0 0 0
177.14/177.29 c and : 287 0 1366924 0 483032 12493 2041514 0 0 0
177.14/177.29 c linear : 8 0 1354428 0 483032 94177 830245 0 0 0
177.14/177.29 c logicor : 10+ 0 698479 0 483023 8648 242868 0 0 0
177.14/177.29 c countsols : 0 0 0 0 483034 0 0 0 0 0
177.14/177.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
177.14/177.29 c integral : 0.00 0.00 0.00 0.00 0.00
177.14/177.29 c and : 16.48 0.00 11.69 0.00 4.79
177.14/177.29 c linear : 30.06 0.00 29.71 0.00 0.35
177.14/177.29 c logicor : 27.71 0.00 26.93 0.00 0.78
177.14/177.29 c countsols : 0.18 0.00 0.00 0.00 0.18
177.14/177.29 c Propagators : Time Calls Cutoffs DomReds
177.14/177.29 c vbounds : 0.60 2 0 0
177.14/177.29 c rootredcost : 0.58 0 0 0
177.14/177.29 c pseudoobj : 1.47 1366520 0 34
177.14/177.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
177.14/177.29 c propagation : 12.08 115318 112353 848867 31.2 24247 14.9 -
177.14/177.29 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
177.14/177.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
177.14/177.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
177.14/177.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
177.14/177.29 c applied globally : - - - 264023 23.5 - - -
177.14/177.29 c applied locally : - - - 12 45.4 - - -
177.14/177.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
177.14/177.29 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
177.14/177.29 c redcost : 0.00 0 0 0 0 0
177.14/177.29 c impliedbounds : 0.00 0 0 0 0 0
177.14/177.29 c intobj : 0.00 0 0 0 0 0
177.14/177.29 c cgmip : 0.00 0 0 0 0 0
177.14/177.29 c gomory : 0.00 0 0 0 0 0
177.14/177.29 c strongcg : 0.00 0 0 0 0 0
177.14/177.29 c cmir : 0.00 0 0 0 0 0
177.14/177.29 c flowcover : 0.00 0 0 0 0 0
177.14/177.29 c clique : 0.00 0 0 0 0 0
177.14/177.29 c zerohalf : 0.00 0 0 0 0 0
177.14/177.29 c mcf : 0.00 0 0 0 0 0
177.14/177.29 c rapidlearning : 0.00 0 0 0 0 0
177.14/177.29 c Pricers : Time Calls Vars
177.14/177.29 c problem variables: 0.00 0 0
177.14/177.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
177.14/177.29 c relpscost : 0.00 0 0 0 0 0 0
177.14/177.29 c pscost : 0.00 0 0 0 0 0 0
177.14/177.29 c inference : 18.06 483032 0 0 0 0 966064
177.14/177.29 c mostinf : 0.00 0 0 0 0 0 0
177.14/177.29 c leastinf : 0.00 0 0 0 0 0 0
177.14/177.29 c fullstrong : 0.00 0 0 0 0 0 0
177.14/177.29 c allfullstrong : 0.00 0 0 0 0 0 0
177.14/177.29 c random : 0.00 0 0 0 0 0 0
177.14/177.29 c Primal Heuristics : Time Calls Found
177.14/177.29 c LP solutions : 0.00 - 0
177.14/177.29 c pseudo solutions : 0.98 - 2
177.14/177.29 c oneopt : 0.41 0 0
177.14/177.29 c trivial : 0.00 2 0
177.14/177.29 c simplerounding : 0.00 0 0
177.14/177.29 c zirounding : 0.00 0 0
177.14/177.29 c rounding : 0.00 0 0
177.14/177.29 c shifting : 0.00 0 0
177.14/177.29 c intshifting : 0.00 0 0
177.14/177.29 c twoopt : 0.00 0 0
177.14/177.29 c fixandinfer : 0.00 0 0
177.14/177.29 c feaspump : 0.00 0 0
177.14/177.29 c coefdiving : 0.00 0 0
177.14/177.29 c pscostdiving : 0.00 0 0
177.14/177.29 c fracdiving : 0.00 0 0
177.14/177.29 c veclendiving : 0.00 0 0
177.14/177.29 c intdiving : 0.00 0 0
177.14/177.29 c actconsdiving : 0.00 0 0
177.14/177.29 c objpscostdiving : 0.00 0 0
177.14/177.29 c rootsoldiving : 0.00 0 0
177.14/177.29 c linesearchdiving : 0.00 0 0
177.14/177.29 c guideddiving : 0.00 0 0
177.14/177.29 c octane : 0.00 0 0
177.14/177.29 c rens : 0.00 0 0
177.14/177.29 c rins : 0.00 0 0
177.14/177.29 c localbranching : 0.00 0 0
177.14/177.29 c mutation : 0.00 0 0
177.14/177.29 c crossover : 0.00 0 0
177.14/177.29 c dins : 0.00 0 0
177.14/177.29 c undercover : 0.00 0 0
177.14/177.29 c nlp : 0.27 0 0
177.14/177.29 c trysol : 0.31 0 0
177.14/177.29 c LP : Time Calls Iterations Iter/call Iter/sec
177.14/177.29 c primal LP : 0.00 0 0 0.00 -
177.14/177.29 c dual LP : 0.00 0 0 0.00 -
177.14/177.29 c lex dual LP : 0.00 0 0 0.00 -
177.14/177.29 c barrier LP : 0.00 0 0 0.00 -
177.14/177.29 c diving/probing LP: 0.00 0 0 0.00 -
177.14/177.29 c strong branching : 0.00 0 0 0.00 -
177.14/177.29 c (at root node) : - 0 0 0.00 -
177.14/177.29 c conflict analysis: 0.00 0 0 0.00 -
177.14/177.29 c B&B Tree :
177.14/177.29 c number of runs : 1
177.14/177.29 c nodes : 555132
177.14/177.29 c nodes (total) : 555132
177.14/177.29 c nodes left : 0
177.14/177.29 c max depth : 110
177.14/177.29 c max depth (total): 110
177.14/177.29 c backtracks : 59607 (10.7%)
177.14/177.29 c delayed cutoffs : 86265
177.14/177.29 c repropagations : 117147 (423513 domain reductions, 43220 cutoffs)
177.14/177.29 c avg switch length: 7.55
177.14/177.29 c switching time : 40.38
177.14/177.29 c Solution :
177.14/177.29 c Solutions found : 2 (2 improvements)
177.14/177.29 c First Solution : +3.00000000000000e+00 (in run 1, after 62747 nodes, 15.59 seconds, depth 66, found by <relaxation>)
177.14/177.29 c Primal Bound : +2.00000000000000e+00 (in run 1, after 555132 nodes, 161.97 seconds, depth 88, found by <relaxation>)
177.14/177.29 c Dual Bound : +2.00000000000000e+00
177.14/177.29 c Gap : 0.00 %
177.14/177.29 c Root Dual Bound : +0.00000000000000e+00
177.14/177.29 c Root Iterations : 0
177.23/177.35 c Time complete: 177.29.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663680-1276649859/watcher-2663680-1276649859 -o /tmp/evaluation-result-2663680-1276649859/solver-2663680-1276649859 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663680-1276649859.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.92 0.98 0.99 3/106 15148
/proc/meminfo: memFree=1802056/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=6584 CPUtime=0
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 6280379 6742016 922 1992294400 4194304 7136930 140734626450896 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15148/statm: 1646 932 254 719 0 925 0
[startup+0.0317079 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15148
/proc/meminfo: memFree=1802056/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=10840 CPUtime=0.02
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 2608 0 0 0 1 1 0 0 20 0 1 0 6280379 11100160 1920 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 2710 1920 328 719 0 1989 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10840
[startup+0.100713 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15148
/proc/meminfo: memFree=1802056/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=12132 CPUtime=0.09
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 3779 0 0 0 6 3 0 0 20 0 1 0 6280379 12423168 2320 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 3033 2320 389 719 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12132
[startup+0.300731 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15148
/proc/meminfo: memFree=1802056/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=13100 CPUtime=0.29
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 4001 0 0 0 24 5 0 0 20 0 1 0 6280379 13414400 2542 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 3275 2542 394 719 0 2554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13100
[startup+0.700764 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15148
/proc/meminfo: memFree=1802056/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=14140 CPUtime=0.69
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 4269 0 0 0 61 8 0 0 20 0 1 0 6280379 14479360 2810 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 3535 2810 394 719 0 2814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14140
[startup+1.50083 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 15149
/proc/meminfo: memFree=1791880/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=16172 CPUtime=1.49
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 4784 0 0 0 132 17 0 0 23 0 1 0 6280379 16560128 3325 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 4043 3325 394 719 0 3322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16172
[startup+3.10097 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 15149
/proc/meminfo: memFree=1788656/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=20568 CPUtime=3.09
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 5900 0 0 0 274 35 0 0 25 0 1 0 6280379 21061632 4441 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 5142 4441 394 719 0 4421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20568
[startup+6.30025 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15149
/proc/meminfo: memFree=1779604/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=29012 CPUtime=6.29
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 8056 0 0 0 561 68 0 0 25 0 1 0 6280379 29708288 6597 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 7253 6597 394 719 0 6532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29012
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15149
/proc/meminfo: memFree=1765716/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=40104 CPUtime=12.69
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 10844 0 0 0 1144 125 0 0 25 0 1 0 6280379 41066496 9385 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 10026 9385 394 719 0 9305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40104
[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 15149
/proc/meminfo: memFree=1744760/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=60860 CPUtime=25.49
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 16152 0 0 0 2302 247 0 0 25 0 1 0 6280379 62320640 14693 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 15215 14693 394 719 0 14494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60860
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 15151
/proc/meminfo: memFree=1705824/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=100596 CPUtime=51.07
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 25754 0 0 0 4625 482 0 0 25 0 1 0 6280379 103010304 24295 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 25149 24295 394 719 0 24428 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100596
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 15151
/proc/meminfo: memFree=1645064/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=164040 CPUtime=102.27
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 40847 0 0 0 9356 871 0 0 25 0 1 0 6280379 167976960 39388 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 41010 39388 394 719 0 40289 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 164040
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1564836/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=243852 CPUtime=162.24
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 61010 0 0 0 14889 1335 0 0 25 0 1 0 6280379 249704448 59551 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 60963 59551 394 719 0 60242 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 243852
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1558512/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=250144 CPUtime=166.25
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 62602 0 0 0 15262 1363 0 0 25 0 1 0 6280379 256147456 61143 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 62536 61143 394 719 0 61815 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 250144
[startup+172.709 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1550204/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=257540 CPUtime=172.64
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 64496 0 0 0 15861 1403 0 0 25 0 1 0 6280379 263720960 63037 1992294400 4194304 7136930 140734626450896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 64385 63037 394 719 0 63664 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 257540
[startup+175.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1548716/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=258908 CPUtime=175.84
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 64839 0 0 0 16160 1424 0 0 25 0 1 0 6280379 265121792 63380 1992294400 4194304 7136930 140734626450896 18446744073709551615 4660886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 64727 63380 394 719 0 64006 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 258908
[startup+176.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1548716/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=259040 CPUtime=176.64
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 64874 0 0 0 16238 1426 0 0 25 0 1 0 6280379 265256960 63415 1992294400 4194304 7136930 140734626450896 18446744073709551615 6121549 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 64760 63415 394 719 0 64039 0
Current children cumulated CPU time (s) 176.64
Current children cumulated vsize (KiB) 259040
[startup+177.108 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1548592/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=256460 CPUtime=177.05
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 64874 0 0 0 16279 1426 0 0 25 0 1 0 6280379 262615040 62770 1992294400 4194304 7136930 140734626450896 18446744073709551615 6165652 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15148/statm: 64115 62770 394 719 0 63394 0
Current children cumulated CPU time (s) 177.05
Current children cumulated vsize (KiB) 256460
[startup+177.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15153
/proc/meminfo: memFree=1548592/2059040 swapFree=4170748/4192956
[pid=15148] ppid=15146 vsize=188060 CPUtime=177.23
/proc/15148/stat : 15148 (pbscip.linux.x8) R 15146 15148 14619 0 -1 4202496 65021 0 0 0 16297 1426 0 0 25 0 1 0 6280379 192573440 45692 1992294400 4194304 7136930 140734626450896 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15148/statm: 47015 45692 400 719 0 46294 0
Current children cumulated CPU time (s) 177.23
Current children cumulated vsize (KiB) 188060
Child status: 0
Real time (s): 177.356
CPU time (s): 177.299
CPU user time (s): 163.006
CPU system time (s): 14.2928
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 259040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.006
system time used= 14.2928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65027
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= 4
involuntary context switches= 1963
runsolver used 0.316951 second user time and 0.822874 second system time
The end