0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665452-1276618269.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 23 | - | 234k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.10 c 0.1s| 1 | 0 | 30 | - | 412k| 0 | 8 | 40 | 79 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.11 c 0.1s| 1 | 0 | 35 | - | 445k| 0 | 11 | 40 | 79 | 40 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.12 c 0.1s| 1 | 0 | 42 | - | 465k| 0 | 11 | 40 | 79 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.12 c 0.1s| 1 | 0 | 48 | - | 481k| 0 | 13 | 40 | 79 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.13 c 0.1s| 1 | 0 | 53 | - | 497k| 0 | 14 | 40 | 79 | 40 | 22 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.14 c 0.1s| 1 | 0 | 56 | - | 511k| 0 | 15 | 40 | 79 | 40 | 24 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.19 c 0.1s| 1 | 2 | 56 | - | 511k| 0 | 15 | 40 | 79 | 40 | 24 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
5.29/5.39 c 4.6s| 10000 | 2955 | 23591 | 2.4 |3487k| 34 | 5 | 40 |2821 | 40 | 16 | 19 |3592 | 475 | 0.000000e+00 | -- | Inf
10.79/10.89 c 9.4s| 20000 | 5573 | 47530 | 2.4 |5132k| 35 | - | 40 |2669 | 40 | 16 | 19 |7445 | 675 | 0.000000e+00 | -- | Inf
16.29/16.35 c 14.2s| 30000 | 8039 | 71757 | 2.4 |6916k| 35 | 5 | 40 |3262 | 40 | 16 | 19 | 11k| 816 | 0.000000e+00 | -- | Inf
22.19/22.25 c 19.3s| 40000 | 10077 | 98522 | 2.5 |8439k| 35 | - | 40 |3303 | 40 | 16 | 19 | 15k| 926 | 0.000000e+00 | -- | Inf
28.18/28.22 c 24.5s| 50000 | 11998 |127059 | 2.5 |9755k| 35 | 5 | 40 |3031 | 40 | 16 | 19 | 19k|1015 | 0.000000e+00 | -- | Inf
33.99/34.01 c 29.6s| 60000 | 13937 |154298 | 2.6 | 11M| 35 | - | 40 |3264 | 40 | 16 | 19 | 23k|1099 | 0.000000e+00 | -- | Inf
39.59/39.65 c 34.5s| 70000 | 16130 |182462 | 2.6 | 12M| 35 | 5 | 40 |4255 | 40 | 16 | 19 | 26k|1177 | 0.000000e+00 | -- | Inf
45.98/46.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.98/46.01 c 40.1s| 80000 | 18100 |207607 | 2.6 | 14M| 35 | 5 | 40 |3681 | 40 | 16 | 19 | 30k|1253 | 0.000000e+00 | -- | Inf
51.98/52.07 c 45.5s| 90000 | 20159 |232882 | 2.6 | 15M| 35 | - | 40 |4439 | 40 | 16 | 19 | 34k|1331 | 0.000000e+00 | -- | Inf
58.47/58.58 c 51.2s|100000 | 22045 |257779 | 2.6 | 17M| 35 | - | 40 |4262 | 40 | 16 | 19 | 38k|1404 | 0.000000e+00 | -- | Inf
64.98/65.02 c 57.0s|110000 | 23921 |283173 | 2.6 | 18M| 35 | - | 40 |4452 | 40 | 16 | 19 | 42k|1468 | 0.000000e+00 | -- | Inf
71.38/71.50 c 62.7s|120000 | 25759 |308052 | 2.6 | 19M| 35 | - | 40 |4037 | 40 | 16 | 19 | 46k|1528 | 0.000000e+00 | -- | Inf
77.67/77.76 c 68.2s|130000 | 27665 |333331 | 2.6 | 21M| 35 | - | 40 |4483 | 40 | 16 | 19 | 50k|1589 | 0.000000e+00 | -- | Inf
83.97/84.06 c 73.7s|140000 | 29591 |358577 | 2.6 | 22M| 35 | 5 | 40 |5162 | 40 | 16 | 19 | 54k|1641 | 0.000000e+00 | -- | Inf
91.07/91.18 c 80.1s|150000 | 31349 |383384 | 2.6 | 24M| 35 | 5 | 40 |4731 | 40 | 16 | 19 | 58k|1693 | 0.000000e+00 | -- | Inf
98.07/98.12 c 86.3s|160000 | 33062 |408183 | 2.6 | 25M| 35 | - | 40 |4170 | 0 | 0 | 19 | 62k|1742 | 0.000000e+00 | -- | Inf
104.16/104.26 c 91.6s|170000 | 35076 |432840 | 2.5 | 26M| 35 | 5 | 40 |4587 | 40 | 16 | 19 | 66k|1790 | 0.000000e+00 | -- | Inf
110.46/110.58 c 97.3s|180000 | 37382 |456445 | 2.5 | 28M| 35 | 5 | 40 |5096 | 40 | 16 | 19 | 69k|1845 | 0.000000e+00 | -- | Inf
117.16/117.30 c 103s|190000 | 39418 |481649 | 2.5 | 29M| 35 | 5 | 40 |4980 | 40 | 16 | 19 | 73k|1896 | 0.000000e+00 | -- | Inf
124.15/124.24 c 109s|200000 | 41104 |507208 | 2.5 | 31M| 35 | 5 | 40 |5127 | 40 | 16 | 19 | 77k|1945 | 0.000000e+00 | -- | Inf
130.87/130.97 c 115s|210000 | 43021 |532273 | 2.5 | 32M| 35 | 5 | 40 |5086 | 40 | 16 | 19 | 81k|2001 | 0.000000e+00 | -- | Inf
137.96/138.02 c 122s|220000 | 44720 |557465 | 2.5 | 33M| 35 | - | 40 |4818 | 40 | 16 | 19 | 85k|2048 | 0.000000e+00 | -- | Inf
144.76/144.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.76/144.86 c 128s|230000 | 46681 |584028 | 2.5 | 35M| 35 | 5 | 40 |5008 | 40 | 16 | 19 | 88k|2089 | 0.000000e+00 | -- | Inf
152.25/152.37 c 134s|240000 | 48240 |611427 | 2.5 | 36M| 35 | 5 | 40 |4366 | 40 | 16 | 19 | 92k|2124 | 0.000000e+00 | -- | Inf
159.56/159.61 c 141s|250000 | 49793 |638980 | 2.6 | 37M| 35 | - | 40 |4135 | 40 | 16 | 19 | 95k|2167 | 0.000000e+00 | -- | Inf
166.45/166.57 c 147s|260000 | 51381 |665277 | 2.6 | 38M| 35 | 5 | 40 |4466 | 40 | 16 | 19 | 99k|2205 | 0.000000e+00 | -- | Inf
173.54/173.60 c 153s|270000 | 53074 |692058 | 2.6 | 39M| 35 | - | 40 |4440 | 40 | 16 | 19 | 102k|2247 | 0.000000e+00 | -- | Inf
180.25/180.30 c 159s|280000 | 54713 |718192 | 2.6 | 40M| 35 | 5 | 40 |4276 | 40 | 16 | 19 | 106k|2285 | 0.000000e+00 | -- | Inf
187.05/187.13 c 165s|290000 | 56318 |744488 | 2.6 | 41M| 35 | - | 40 |4255 | 40 | 16 | 19 | 109k|2320 | 0.000000e+00 | -- | Inf
194.34/194.46 c 172s|300000 | 57614 |770173 | 2.6 | 42M| 35 | - | 40 |4108 | 0 | 0 | 19 | 113k|2353 | 0.000000e+00 | -- | Inf
201.43/201.55 c 178s|310000 | 59008 |795473 | 2.6 | 44M| 35 | 5 | 40 |4349 | 40 | 16 | 19 | 117k|2392 | 0.000000e+00 | -- | Inf
208.64/208.72 c 185s|320000 | 60340 |820641 | 2.6 | 45M| 35 | - | 40 |4533 | 0 | 0 | 19 | 121k|2427 | 0.000000e+00 | -- | Inf
215.34/215.41 c 190s|330000 | 61941 |845837 | 2.6 | 46M| 35 | 5 | 40 |5498 | 40 | 16 | 19 | 124k|2469 | 0.000000e+00 | -- | Inf
223.24/223.38 c 198s|340000 | 63187 |871136 | 2.6 | 47M| 35 | 5 | 40 |4943 | 40 | 16 | 19 | 128k|2505 | 0.000000e+00 | -- | Inf
230.83/230.99 c 205s|350000 | 64575 |896142 | 2.6 | 48M| 35 | 5 | 40 |4501 | 40 | 16 | 19 | 132k|2541 | 0.000000e+00 | -- | Inf
238.53/238.62 c 211s|360000 | 65641 |921211 | 2.6 | 49M| 35 | 5 | 40 |4533 | 40 | 16 | 19 | 136k|2583 | 0.000000e+00 | -- | Inf
245.62/245.78 c 218s|370000 | 67185 |946595 | 2.6 | 50M| 35 | 5 | 40 |4828 | 40 | 16 | 19 | 139k|2616 | 0.000000e+00 | -- | Inf
253.12/253.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.12/253.22 c 224s|380000 | 68495 |971677 | 2.6 | 52M| 35 | - | 40 |5222 | 40 | 16 | 19 | 143k|2646 | 0.000000e+00 | -- | Inf
260.52/260.70 c 231s|390000 | 70013 |995916 | 2.6 | 53M| 35 | - | 40 |5478 | 40 | 16 | 19 | 147k|2673 | 0.000000e+00 | -- | Inf
268.02/268.17 c 238s|400000 | 71534 | 1020k| 2.6 | 54M| 35 | 5 | 40 |5262 | 40 | 16 | 19 | 150k|2713 | 0.000000e+00 | -- | Inf
275.62/275.72 c 245s|410000 | 72816 | 1045k| 2.6 | 55M| 35 | 5 | 40 |4991 | 40 | 16 | 19 | 154k|2748 | 0.000000e+00 | -- | Inf
283.11/283.23 c 251s|420000 | 74115 | 1071k| 2.6 | 56M| 35 | 5 | 40 |5208 | 40 | 16 | 19 | 158k|2786 | 0.000000e+00 | -- | Inf
291.11/291.27 c 259s|430000 | 75169 | 1096k| 2.5 | 57M| 35 | 5 | 40 |5199 | 40 | 16 | 19 | 162k|2815 | 0.000000e+00 | -- | Inf
299.12/299.21 c 266s|440000 | 76514 | 1121k| 2.5 | 58M| 35 | 5 | 40 |5188 | 40 | 16 | 19 | 166k|2851 | 0.000000e+00 | -- | Inf
306.61/306.72 c 273s|450000 | 77897 | 1144k| 2.5 | 59M| 35 | 5 | 40 |5132 | 40 | 16 | 19 | 169k|2879 | 0.000000e+00 | -- | Inf
314.62/314.72 c 280s|460000 | 78890 | 1168k| 2.5 | 60M| 35 | - | 40 |5108 | 40 | 16 | 19 | 173k|2911 | 0.000000e+00 | -- | Inf
322.41/322.54 c 287s|470000 | 80057 | 1193k| 2.5 | 61M| 35 | 5 | 40 |5356 | 40 | 16 | 19 | 177k|2936 | 0.000000e+00 | -- | Inf
330.61/330.79 c 294s|480000 | 81153 | 1218k| 2.5 | 62M| 35 | 5 | 40 |5223 | 40 | 16 | 19 | 180k|2967 | 0.000000e+00 | -- | Inf
338.60/338.78 c 302s|490000 | 82302 | 1244k| 2.5 | 63M| 35 | - | 40 |5415 | 40 | 16 | 19 | 184k|2995 | 0.000000e+00 | -- | Inf
346.81/346.95 c 309s|500000 | 83408 | 1269k| 2.5 | 64M| 35 | - | 40 |5794 | 40 | 16 | 19 | 188k|3029 | 0.000000e+00 | -- | Inf
355.10/355.22 c 316s|510000 | 84488 | 1293k| 2.5 | 65M| 35 | 5 | 40 |5014 | 40 | 16 | 19 | 192k|3057 | 0.000000e+00 | -- | Inf
362.50/362.64 c 323s|520000 | 85749 | 1317k| 2.5 | 66M| 35 | 5 | 40 |5670 | 40 | 16 | 19 | 196k|3084 | 0.000000e+00 | -- | Inf
364.11/364.20 o 0
364.11/364.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.11/364.20 c * 325s|521834 | 0 | 1322k| 2.5 |3614k| 35 | - | 40 |5931 | 40 | 16 | 19 | 196k|3092 | 0.000000e+00 | 0.000000e+00 | 0.00%
364.11/364.21 c
364.11/364.21 c SCIP Status : problem is solved [optimal solution found]
364.11/364.21 c Solving Time (sec) : 324.55
364.11/364.21 c Solving Nodes : 521834
364.11/364.21 c Primal Bound : +0.00000000000000e+00 (1 solutions)
364.11/364.21 c Dual Bound : +0.00000000000000e+00
364.11/364.21 c Gap : 0.00 %
364.11/364.21 s OPTIMUM FOUND
364.11/364.21 v x41 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 -x14 x13
364.11/364.21 v x12 x11 -x10 x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
364.11/364.21 c SCIP Status : problem is solved [optimal solution found]
364.11/364.21 c Solving Time : 324.55
364.11/364.21 c Original Problem :
364.11/364.21 c Problem name : HOME/instance-2665452-1276618269.opb
364.11/364.21 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
364.11/364.21 c Constraints : 11 initial, 11 maximal
364.11/364.21 c Presolved Problem :
364.11/364.21 c Problem name : t_HOME/instance-2665452-1276618269.opb
364.11/364.21 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
364.11/364.21 c Constraints : 5 initial, 6029 maximal
364.11/364.21 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
364.11/364.21 c trivial : 0.00 0 0 0 0 0 0 0 0
364.11/364.21 c dualfix : 0.00 1 0 0 0 0 0 0 0
364.11/364.21 c boundshift : 0.00 0 0 0 0 0 0 0 0
364.11/364.21 c inttobinary : 0.00 0 0 0 0 0 0 0 0
364.11/364.21 c implics : 0.00 0 0 0 0 0 0 0 0
364.11/364.21 c probing : 0.01 0 0 0 0 0 0 0 0
364.11/364.21 c linear : 0.00 0 0 0 0 0 6 0 0
364.11/364.21 c logicor : 0.00 0 0 0 0 0 0 0 0
364.11/364.21 c root node : - 0 - - 0 - - - -
364.11/364.21 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
364.11/364.21 c integral : 0 0 0 313041 0 258 1099 0 0 623580
364.11/364.21 c linear : 5+ 7 1083077 1 0 60382 576587 0 0 0
364.11/364.21 c logicor : 0+ 0 528746 0 0 594 162121 0 0 0
364.11/364.21 c countsols : 0 0 0 1 0 0 0 0 0 0
364.11/364.21 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
364.11/364.21 c integral : 4.47 0.00 0.00 4.47 0.00
364.11/364.21 c linear : 35.63 0.00 35.63 0.00 0.00
364.11/364.21 c logicor : 73.63 0.00 73.63 0.00 0.00
364.11/364.21 c countsols : 0.00 0.00 0.00 0.00 0.00
364.11/364.21 c Propagators : Time Calls Cutoffs DomReds
364.11/364.21 c vbounds : 0.58 2 0 0
364.11/364.21 c rootredcost : 0.49 0 0 0
364.11/364.21 c pseudoobj : 0.43 0 0 0
364.11/364.21 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
364.11/364.21 c propagation : 3.49 60976 44167 146244 28.6 3 25.3 -
364.11/364.21 c infeasible LP : 6.19 164214 105829 166525 17.4 383 19.4 0
364.11/364.21 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
364.11/364.21 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
364.11/364.21 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
364.11/364.21 c applied globally : - - - 194874 18.8 - - -
364.11/364.21 c applied locally : - - - 1980 31.4 - - -
364.11/364.21 c Separators : Time Calls Cutoffs DomReds Cuts Conss
364.11/364.21 c cut pool : 0.00 5 - - 24 - (maximal pool size: 97)
364.11/364.21 c redcost : 0.64 313046 0 0 0 0
364.11/364.21 c impliedbounds : 0.00 6 0 0 0 0
364.11/364.21 c intobj : 0.00 0 0 0 0 0
364.11/364.21 c cgmip : 0.00 0 0 0 0 0
364.11/364.21 c gomory : 0.00 6 0 0 0 0
364.11/364.21 c strongcg : 0.00 6 0 0 31 0
364.11/364.21 c cmir : 0.01 6 0 0 38 0
364.11/364.21 c flowcover : 0.03 6 0 0 47 0
364.11/364.21 c clique : 0.00 1 0 0 0 0
364.11/364.21 c zerohalf : 0.00 0 0 0 0 0
364.11/364.21 c mcf : 0.00 1 0 0 0 0
364.11/364.21 c rapidlearning : 0.07 1 0 0 0 74
364.11/364.21 c Pricers : Time Calls Vars
364.11/364.21 c problem variables: 0.00 0 0
364.11/364.21 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
364.11/364.21 c relpscost : 3.91 313040 258 1099 0 0 623580
364.11/364.21 c pscost : 0.00 0 0 0 0 0 0
364.11/364.21 c inference : 0.00 0 0 0 0 0 0
364.11/364.21 c mostinf : 0.00 0 0 0 0 0 0
364.11/364.21 c leastinf : 0.00 0 0 0 0 0 0
364.11/364.21 c fullstrong : 0.00 0 0 0 0 0 0
364.11/364.21 c allfullstrong : 0.00 0 0 0 0 0 0
364.11/364.21 c random : 0.00 0 0 0 0 0 0
364.11/364.21 c Primal Heuristics : Time Calls Found
364.11/364.21 c LP solutions : 0.40 - 1
364.11/364.21 c pseudo solutions : 0.00 - 0
364.11/364.21 c oneopt : 0.39 0 0
364.11/364.21 c crossover : 0.34 0 0
364.11/364.21 c guideddiving : 0.06 0 0
364.11/364.21 c intshifting : 0.03 0 0
364.11/364.21 c veclendiving : 0.03 33 0
364.11/364.21 c fracdiving : 0.05 33 0
364.11/364.21 c coefdiving : 0.04 33 0
364.11/364.21 c pscostdiving : 0.05 33 0
364.11/364.21 c rootsoldiving : 0.04 17 0
364.11/364.21 c feaspump : 0.06 17 0
364.11/364.21 c linesearchdiving : 0.10 34 0
364.11/364.21 c objpscostdiving : 0.02 18 0
364.11/364.21 c trivial : 0.00 2 0
364.11/364.21 c simplerounding : 0.13 0 0
364.11/364.21 c zirounding : 0.30 1000 0
364.11/364.21 c rounding : 0.50 7895 0
364.11/364.21 c shifting : 1.12 2363 0
364.11/364.21 c twoopt : 0.00 0 0
364.11/364.21 c fixandinfer : 0.00 0 0
364.11/364.21 c intdiving : 0.00 0 0
364.11/364.21 c actconsdiving : 0.00 0 0
364.11/364.21 c octane : 0.00 0 0
364.11/364.21 c rens : 0.02 1 0
364.11/364.21 c rins : 0.00 0 0
364.11/364.21 c localbranching : 0.00 0 0
364.11/364.21 c mutation : 0.00 0 0
364.11/364.21 c dins : 0.00 0 0
364.11/364.21 c undercover : 0.00 0 0
364.11/364.21 c nlp : 0.14 0 0
364.11/364.21 c trysol : 0.35 0 0
364.11/364.21 c LP : Time Calls Iterations Iter/call Iter/sec
364.11/364.21 c primal LP : 0.00 0 0 0.00 -
364.11/364.21 c dual LP : 82.34 462025 1321659 2.86 16051.24
364.11/364.21 c lex dual LP : 0.00 0 0 0.00 -
364.11/364.21 c barrier LP : 0.00 0 0 0.00 -
364.11/364.21 c diving/probing LP: 0.08 403 724 1.80 9050.00
364.11/364.21 c strong branching : 0.86 3092 12572 4.07 14618.60
364.11/364.21 c (at root node) : - 9 331 36.78 -
364.11/364.21 c conflict analysis: 0.00 0 0 0.00 -
364.11/364.21 c B&B Tree :
364.11/364.21 c number of runs : 1
364.11/364.21 c nodes : 521834
364.11/364.21 c nodes (total) : 521834
364.11/364.21 c nodes left : 0
364.11/364.21 c max depth : 35
364.11/364.21 c max depth (total): 35
364.11/364.21 c backtracks : 93434 (17.9%)
364.11/364.21 c delayed cutoffs : 15640
364.11/364.21 c repropagations : 355220 (241220 domain reductions, 14999 cutoffs)
364.11/364.21 c avg switch length: 5.65
364.11/364.21 c switching time : 74.03
364.11/364.21 c Solution :
364.11/364.21 c Solutions found : 1 (1 improvements)
364.11/364.21 c First Solution : +0.00000000000000e+00 (in run 1, after 521834 nodes, 324.15 seconds, depth 30, found by <relaxation>)
364.11/364.21 c Primal Bound : +0.00000000000000e+00 (in run 1, after 521834 nodes, 324.15 seconds, depth 30, found by <relaxation>)
364.11/364.21 c Dual Bound : +0.00000000000000e+00
364.11/364.21 c Gap : 0.00 %
364.11/364.21 c Root Dual Bound : +0.00000000000000e+00
364.11/364.21 c Root Iterations : 56
364.11/364.23 c Time complete: 364.13.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665452-1276618269/watcher-2665452-1276618269 -o /tmp/evaluation-result-2665452-1276618269/solver-2665452-1276618269 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665452-1276618269.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: 1.00 1.00 1.00 3/105 12222
/proc/meminfo: memFree=1403444/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=9288 CPUtime=0
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 1139 0 0 0 0 0 0 0 25 0 1 0 3120394 9510912 1060 1992294400 4194304 9819077 140735503845984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12222/statm: 2322 1070 371 1374 0 943 0
[startup+0.108253 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12222
/proc/meminfo: memFree=1403444/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=16864 CPUtime=0.1
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 5095 0 0 0 8 2 0 0 25 0 1 0 3120394 17268736 2851 1992294400 4194304 9819077 140735503845984 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 4216 2594 682 1374 0 2837 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16864
[startup+0.200262 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12222
/proc/meminfo: memFree=1403444/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=15384 CPUtime=0.19
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 8883 0 0 0 16 3 0 0 25 0 1 0 3120394 15753216 2663 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 3846 2663 721 1374 0 2467 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15384
[startup+0.300272 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12222
/proc/meminfo: memFree=1403444/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=16504 CPUtime=0.29
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 11904 0 0 0 24 5 0 0 25 0 1 0 3120394 16900096 2670 1992294400 4194304 9819077 140735503845984 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 4046 2668 723 1374 0 2667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16504
[startup+0.700315 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12222
/proc/meminfo: memFree=1403444/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=15704 CPUtime=0.69
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 17198 0 0 0 58 11 0 0 25 0 1 0 3120394 16080896 2673 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 3926 2673 724 1374 0 2547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15704
[startup+1.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12223
/proc/meminfo: memFree=1394880/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=16568 CPUtime=1.49
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 25765 0 0 0 125 24 0 0 25 0 1 0 3120394 16965632 2834 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 4142 2834 724 1374 0 2763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16568
[startup+3.10057 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12223
/proc/meminfo: memFree=1393516/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=18568 CPUtime=3.09
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 42597 0 0 0 263 46 0 0 25 0 1 0 3120394 19013632 3316 1992294400 4194304 9819077 140735503845984 18446744073709551615 4924689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 4642 3316 724 1374 0 3263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18568
[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12223
/proc/meminfo: memFree=1391160/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=20844 CPUtime=6.29
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 74310 0 0 0 544 85 0 0 25 0 1 0 3120394 21344256 3875 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 4971 3870 724 1374 0 3592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20844
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12223
/proc/meminfo: memFree=1388308/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=23340 CPUtime=12.69
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 139711 0 0 0 1100 169 0 0 25 0 1 0 3120394 23900160 4500 1992294400 4194304 9819077 140735503845984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 5835 4500 724 1374 0 4456 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23340
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12225
/proc/meminfo: memFree=1384712/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=26172 CPUtime=25.49
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 261983 0 0 0 2217 332 0 0 25 0 1 0 3120394 26800128 5252 1992294400 4194304 9819077 140735503845984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 6583 5253 724 1374 0 5204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26172
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12225
/proc/meminfo: memFree=1377272/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=33176 CPUtime=51.08
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 499055 0 0 0 4464 644 0 0 25 0 1 0 3120394 33972224 7106 1992294400 4194304 9819077 140735503845984 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 8414 7108 724 1374 0 7035 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33176
[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12227
/proc/meminfo: memFree=1364872/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=45724 CPUtime=102.27
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 933016 0 0 0 8994 1233 0 0 25 0 1 0 3120394 46821376 10180 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 11431 10180 724 1374 0 10052 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45724
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12227
/proc/meminfo: memFree=1352472/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=57700 CPUtime=162.25
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 1413373 0 0 0 14328 1897 0 0 25 0 1 0 3120394 59084800 13227 1992294400 4194304 9819077 140735503845984 18446744073709551615 5950894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 14425 13227 724 1374 0 13046 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57700
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12229
/proc/meminfo: memFree=1342056/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=67892 CPUtime=222.25
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 1882125 0 0 0 19671 2554 0 0 25 0 1 0 3120394 69521408 15812 1992294400 4194304 9819077 140735503845984 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 16973 15812 724 1374 0 15594 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 67892
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12231
/proc/meminfo: memFree=1332756/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=79128 CPUtime=282.22
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2330559 0 0 0 25065 3157 0 0 25 0 1 0 3120394 81027072 18108 1992294400 4194304 9819077 140735503845984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 19782 18108 724 1374 0 18403 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79128
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1325316/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=86332 CPUtime=342.2
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2751806 0 0 0 30479 3741 0 0 25 0 1 0 3120394 88403968 19936 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 21583 19936 724 1374 0 20204 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 86332
Solver just ended. Dumping a history of the last processes samples
[startup+345.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1324820/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=86848 CPUtime=345.5
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2774706 0 0 0 30776 3774 0 0 25 0 1 0 3120394 88932352 20069 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 21672 20067 724 1374 0 20293 0
Current children cumulated CPU time (s) 345.5
Current children cumulated vsize (KiB) 86848
[startup+352.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1324448/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=87256 CPUtime=351.91
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2822536 0 0 0 31352 3839 0 0 25 0 1 0 3120394 89350144 20169 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 21814 20169 724 1374 0 20435 0
Current children cumulated CPU time (s) 351.91
Current children cumulated vsize (KiB) 87256
[startup+358.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1323580/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=88100 CPUtime=358.3
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2864812 0 0 0 31933 3897 0 0 25 0 1 0 3120394 90214400 20381 1992294400 4194304 9819077 140735503845984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 22025 20381 724 1374 0 20646 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 88100
[startup+361.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1323208/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=88488 CPUtime=361.49
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2889549 0 0 0 32217 3932 0 0 25 0 1 0 3120394 90611712 20483 1992294400 4194304 9819077 140735503845984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 22122 20483 724 1374 0 20743 0
Current children cumulated CPU time (s) 361.49
Current children cumulated vsize (KiB) 88488
[startup+363.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1323208/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=88488 CPUtime=363.1
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2902115 0 0 0 32362 3948 0 0 25 0 1 0 3120394 90611712 20484 1992294400 4194304 9819077 140735503845984 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 22122 20484 724 1374 0 20743 0
Current children cumulated CPU time (s) 363.1
Current children cumulated vsize (KiB) 88488
[startup+364.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1323208/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=88620 CPUtime=363.9
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2907280 0 0 0 32434 3956 0 0 25 0 1 0 3120394 90746880 20520 1992294400 4194304 9819077 140735503845984 18446744073709551615 4670052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 22155 20520 724 1374 0 20776 0
Current children cumulated CPU time (s) 363.9
Current children cumulated vsize (KiB) 88620
[startup+364.208 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12233
/proc/meminfo: memFree=1323084/2059040 swapFree=4192956/4192956
[pid=12222] ppid=12220 vsize=84360 CPUtime=364.11
/proc/12222/stat : 12222 (pbscip.linux.x8) R 12220 12222 12112 0 -1 4202496 2907280 0 0 0 32455 3956 0 0 25 0 1 0 3120394 86384640 19374 1992294400 4194304 9819077 140735503845984 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12222/statm: 21009 19293 724 1374 0 19630 0
Current children cumulated CPU time (s) 364.11
Current children cumulated vsize (KiB) 84360
Child status: 0
Real time (s): 364.237
CPU time (s): 364.143
CPU user time (s): 324.568
CPU system time (s): 39.575
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 88620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.568
system time used= 39.575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2907285
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= 2
involuntary context switches= 734
runsolver used 0.639902 second user time and 1.69374 second system time
The end