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-2663916-1276629925.opb>
0.00/0.01 c original problem has 105 variables (105 bin, 0 int, 0 impl, 0 cont) and 112 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, 112 upgd conss, 196 impls, 14 clqs
0.00/0.03 c (0.0s) probing: 101/105 (96.2%) - 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 196 implications, 14 cliques
0.00/0.03 c presolved problem has 105 variables (105 bin, 0 int, 0 impl, 0 cont) and 112 constraints
0.00/0.03 c 14 constraints of type <setppc>
0.00/0.03 c 98 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 | - | 490k| 0 | - | 105 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 o 6979
0.00/0.03 c * 0.0s| 12 | 11 | 0 | 0.0 | 499k| 11 | - | 105 | 112 | 0 | 0 | 0 | 0 | 0 | 1.230000e+02 | 6.979000e+03 |5573.98%
0.00/0.03 o 6480
0.00/0.03 c * 0.0s| 21 | 18 | 0 | 0.0 | 507k| 11 | - | 105 | 112 | 0 | 0 | 0 | 0 | 0 | 4.520000e+02 | 6.480000e+03 |1333.63%
0.00/0.03 o 6298
0.00/0.03 c * 0.0s| 42 | 33 | 0 | 0.0 | 527k| 11 | - | 105 | 116 | 0 | 0 | 0 | 4 | 0 | 9.420000e+02 | 6.298000e+03 | 568.58%
0.00/0.06 o 6271
0.00/0.06 c * 0.0s| 373 | 360 | 0 | 0.0 | 642k| 38 | - | 105 | 116 | 0 | 0 | 0 | 5 | 0 | 1.704000e+03 | 6.271000e+03 | 268.02%
0.09/0.15 o 6190
0.09/0.15 c * 0.1s| 1288 | 1231 | 0 | 0.0 |1079k| 38 | - | 105 | 173 | 0 | 0 | 0 | 62 | 0 | 2.205000e+03 | 6.190000e+03 | 180.73%
0.89/0.91 c 0.7s| 10000 | 9711 | 0 | 0.0 |4193k| 41 | - | 105 | 320 | 0 | 0 | 0 | 372 | 0 | 3.152000e+03 | 6.190000e+03 | 96.38%
1.69/1.76 c 1.4s| 20000 | 19501 | 0 | 0.0 |7495k| 41 | - | 105 | 425 | 0 | 0 | 0 | 678 | 0 | 3.439000e+03 | 6.190000e+03 | 79.99%
1.69/1.77 o 5768
1.69/1.77 c * 1.4s| 20076 | 19312 | 0 | 0.0 |7465k| 41 | - | 105 | 425 | 0 | 0 | 0 | 678 | 0 | 3.441000e+03 | 5.768000e+03 | 67.63%
1.79/1.84 o 5701
1.79/1.84 c * 1.5s| 20792 | 19862 | 0 | 0.0 |7723k| 41 | - | 105 | 568 | 0 | 0 | 0 | 837 | 0 | 3.460000e+03 | 5.701000e+03 | 64.77%
1.99/2.00 o 5669
1.99/2.00 c * 1.6s| 22201 | 20907 | 0 | 0.0 |8295k| 41 | - | 105 |1042 | 0 | 0 | 0 |1366 | 0 | 3.485000e+03 | 5.669000e+03 | 62.67%
1.99/2.02 o 5617
1.99/2.02 c * 1.7s| 22344 | 20937 | 0 | 0.0 |8334k| 41 | - | 105 |1072 | 0 | 0 | 0 |1410 | 0 | 3.488000e+03 | 5.617000e+03 | 61.04%
2.59/2.62 o 5507
2.59/2.62 c * 2.2s| 26322 | 23524 | 0 | 0.0 |9832k| 41 | - | 105 |2275 | 0 | 0 | 0 |3445 | 0 | 3.552000e+03 | 5.507000e+03 | 55.04%
2.79/2.84 o 5489
2.79/2.84 c * 2.4s| 27419 | 24173 | 0 | 0.0 | 10M| 41 | - | 105 |2625 | 0 | 0 | 0 |4165 | 0 | 3.570000e+03 | 5.489000e+03 | 53.75%
2.79/2.84 o 5477
2.79/2.84 c * 2.4s| 27420 | 24124 | 0 | 0.0 | 10M| 41 | - | 105 |2625 | 0 | 0 | 0 |4165 | 0 | 3.570000e+03 | 5.477000e+03 | 53.42%
3.30/3.34 o 5431
3.30/3.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.34 c * 2.9s| 29751 | 25507 | 0 | 0.0 | 10M| 42 | - | 105 |3098 | 0 | 0 | 0 |5585 | 0 | 3.612000e+03 | 5.431000e+03 | 50.36%
3.39/3.40 c 2.9s| 30000 | 25647 | 0 | 0.0 | 11M| 42 | - | 105 |3228 | 0 | 0 | 0 |5791 | 0 | 3.617000e+03 | 5.431000e+03 | 50.15%
6.49/6.53 c 5.9s| 40000 | 31573 | 0 | 0.0 | 14M| 42 | - | 105 |5302 | 0 | 0 | 0 | 13k| 0 | 3.764000e+03 | 5.431000e+03 | 44.29%
6.99/7.03 o 5421
6.99/7.03 c * 6.3s| 41304 | 32301 | 0 | 0.0 | 14M| 42 | - | 105 |5436 | 0 | 0 | 0 | 14k| 0 | 3.779000e+03 | 5.421000e+03 | 43.45%
8.79/8.89 o 5400
8.79/8.89 c * 8.1s| 45496 | 34324 | 0 | 0.0 | 15M| 44 | - | 105 |6254 | 0 | 0 | 0 | 17k| 0 | 3.829000e+03 | 5.400000e+03 | 41.03%
8.99/9.07 o 5345
8.99/9.07 c * 8.3s| 45895 | 34170 | 0 | 0.0 | 15M| 44 | - | 105 |6364 | 0 | 0 | 0 | 18k| 0 | 3.833000e+03 | 5.345000e+03 | 39.45%
10.19/10.25 o 5314
10.19/10.25 c * 9.4s| 48107 | 34971 | 0 | 0.0 | 16M| 44 | - | 105 |6798 | 0 | 0 | 0 | 20k| 0 | 3.853000e+03 | 5.314000e+03 | 37.92%
11.29/11.40 c 10.5s| 50000 | 35819 | 0 | 0.0 | 16M| 44 | - | 105 |6803 | 0 | 0 | 0 | 22k| 0 | 3.870000e+03 | 5.314000e+03 | 37.31%
18.79/18.84 c 17.8s| 60000 | 39651 | 0 | 0.0 | 19M| 45 | - | 105 |8756 | 0 | 0 | 0 | 33k| 0 | 3.946000e+03 | 5.314000e+03 | 34.67%
18.98/19.04 o 5306
18.98/19.04 c *18.0s| 60213 | 39630 | 0 | 0.0 | 19M| 45 | - | 105 |8880 | 0 | 0 | 0 | 33k| 0 | 3.948000e+03 | 5.306000e+03 | 34.40%
27.98/28.05 c 26.8s| 70000 | 43171 | 0 | 0.0 | 22M| 45 | - | 105 |9796 | 0 | 0 | 0 | 44k| 0 | 4.019000e+03 | 5.306000e+03 | 32.02%
33.08/33.16 o 5242
33.08/33.16 c *31.8s| 74698 | 43925 | 0 | 0.0 | 23M| 45 | - | 105 | 10k| 0 | 0 | 0 | 50k| 0 | 4.048000e+03 | 5.242000e+03 | 29.50%
39.28/39.39 c 37.9s| 80000 | 45255 | 0 | 0.0 | 24M| 45 | - | 105 | 11k| 0 | 0 | 0 | 57k| 0 | 4.079000e+03 | 5.242000e+03 | 28.51%
51.08/51.14 o 5182
51.08/51.14 c *49.4s| 88622 | 45928 | 0 | 0.0 | 26M| 45 | - | 105 | 12k| 0 | 0 | 0 | 69k| 0 | 4.137000e+03 | 5.182000e+03 | 25.26%
53.37/53.42 c 51.7s| 90000 | 46086 | 0 | 0.0 | 26M| 45 | - | 105 | 12k| 0 | 0 | 0 | 72k| 0 | 4.147000e+03 | 5.182000e+03 | 24.96%
71.07/71.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.07/71.16 c 69.2s|100000 | 47038 | 0 | 0.0 | 28M| 45 | - | 105 | 13k| 0 | 0 | 0 | 87k| 0 | 4.202000e+03 | 5.182000e+03 | 23.32%
90.07/90.17 c 87.9s|110000 | 47934 | 0 | 0.0 | 30M| 45 | - | 105 | 13k| 0 | 0 | 0 | 103k| 0 | 4.252000e+03 | 5.182000e+03 | 21.87%
110.76/110.84 c 108s|120000 | 48478 | 0 | 0.0 | 32M| 45 | - | 105 | 14k| 0 | 0 | 0 | 119k| 0 | 4.301000e+03 | 5.182000e+03 | 20.48%
134.25/134.33 c 132s|130000 | 48818 | 0 | 0.0 | 33M| 45 | - | 105 | 14k| 0 | 0 | 0 | 136k| 0 | 4.345000e+03 | 5.182000e+03 | 19.26%
158.74/158.87 c 156s|140000 | 48634 | 0 | 0.0 | 35M| 45 | - | 105 | 13k| 0 | 0 | 0 | 153k| 0 | 4.400000e+03 | 5.182000e+03 | 17.77%
184.43/184.53 c 181s|150000 | 48120 | 0 | 0.0 | 36M| 45 | - | 105 | 13k| 0 | 0 | 0 | 170k| 0 | 4.447000e+03 | 5.182000e+03 | 16.53%
212.83/212.94 c 209s|160000 | 46982 | 0 | 0.0 | 38M| 45 | - | 105 | 14k| 0 | 0 | 0 | 188k| 0 | 4.501000e+03 | 5.182000e+03 | 15.13%
243.82/243.95 c 240s|170000 | 45523 | 0 | 0.0 | 39M| 45 | - | 105 | 14k| 0 | 0 | 0 | 206k| 0 | 4.557000e+03 | 5.182000e+03 | 13.72%
290.10/290.25 c 286s|180000 | 39819 | 0 | 0.0 | 39M| 45 | - | 105 | 14k| 0 | 0 | 0 | 233k| 0 | 4.643000e+03 | 5.182000e+03 | 11.61%
332.69/332.86 o 5148
332.69/332.86 c * 328s|186099 | 31575 | 0 | 0.0 | 35M| 45 | - | 105 | 13k| 0 | 0 | 0 | 253k| 0 | 4.723000e+03 | 5.148000e+03 | 9.00%
357.58/357.75 c 353s|190000 | 26389 | 0 | 0.0 | 33M| 45 | - | 105 | 11k| 0 | 0 | 0 | 263k| 0 | 4.781000e+03 | 5.148000e+03 | 7.68%
415.77/415.91 c 411s|200000 | 11911 | 0 | 0.0 | 23M| 45 | - | 105 | 10k| 0 | 0 | 0 | 289k| 0 | 4.944000e+03 | 5.148000e+03 | 4.13%
454.06/454.25 c
454.06/454.25 c SCIP Status : problem is solved [optimal solution found]
454.06/454.25 c Solving Time (sec) : 449.00
454.06/454.25 c Solving Nodes : 205853
454.06/454.25 c Primal Bound : +5.14800000000000e+03 (21 solutions)
454.06/454.25 c Dual Bound : +5.14800000000000e+03
454.06/454.25 c Gap : 0.00 %
454.06/454.25 s OPTIMUM FOUND
454.06/454.25 v -x105 x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
454.06/454.25 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
454.06/454.25 v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
454.06/454.25 v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2
454.06/454.25 v x1
454.06/454.25 c SCIP Status : problem is solved [optimal solution found]
454.06/454.25 c Solving Time : 449.00
454.06/454.25 c Original Problem :
454.06/454.25 c Problem name : HOME/instance-2663916-1276629925.opb
454.06/454.25 c Variables : 105 (105 binary, 0 integer, 0 implicit integer, 0 continuous)
454.06/454.25 c Constraints : 112 initial, 112 maximal
454.06/454.25 c Presolved Problem :
454.06/454.25 c Problem name : t_HOME/instance-2663916-1276629925.opb
454.06/454.25 c Variables : 105 (105 binary, 0 integer, 0 implicit integer, 0 continuous)
454.06/454.25 c Constraints : 112 initial, 14889 maximal
454.06/454.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
454.06/454.25 c trivial : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c dualfix : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c implics : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c probing : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c setppc : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c logicor : 0.00 0 0 0 0 0 0 0 0
454.06/454.25 c root node : - 2 - - 2 - - - -
454.06/454.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
454.06/454.25 c integral : 0 0 0 0 0 0 0 0 0 0
454.06/454.25 c setppc : 14 0 572638 0 130925 91308 369798 0 0 0
454.06/454.25 c logicor : 98+ 0 283993 0 3376 372 79438 0 0 0
454.06/454.25 c countsols : 0 0 0 0 130946 0 0 0 0 0
454.06/454.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
454.06/454.25 c integral : 0.00 0.00 0.00 0.00 0.00
454.06/454.25 c setppc : 10.76 0.00 10.29 0.00 0.47
454.06/454.25 c logicor : 231.76 0.00 231.76 0.00 0.00
454.06/454.25 c countsols : 0.08 0.00 0.00 0.00 0.08
454.06/454.25 c Propagators : Time Calls Cutoffs DomReds
454.06/454.25 c vbounds : 0.32 2 0 0
454.06/454.25 c rootredcost : 0.28 0 0 0
454.06/454.25 c pseudoobj : 11.45 597850 25389 1474258
454.06/454.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
454.06/454.25 c propagation : 5.85 117069 116785 493335 20.0 246 20.8 -
454.06/454.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
454.06/454.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
454.06/454.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
454.06/454.25 c pseudo solution : 0.00 12 12 55 15.6 0 0.0 -
454.06/454.25 c applied globally : - - - 308166 18.5 - - -
454.06/454.25 c applied locally : - - - 60 34.2 - - -
454.06/454.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
454.06/454.25 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
454.06/454.25 c redcost : 0.00 0 0 0 0 0
454.06/454.25 c impliedbounds : 0.00 0 0 0 0 0
454.06/454.25 c intobj : 0.00 0 0 0 0 0
454.06/454.25 c cgmip : 0.00 0 0 0 0 0
454.06/454.25 c gomory : 0.00 0 0 0 0 0
454.06/454.25 c strongcg : 0.00 0 0 0 0 0
454.06/454.25 c cmir : 0.00 0 0 0 0 0
454.06/454.25 c flowcover : 0.00 0 0 0 0 0
454.06/454.25 c clique : 0.00 0 0 0 0 0
454.06/454.25 c zerohalf : 0.00 0 0 0 0 0
454.06/454.25 c mcf : 0.00 0 0 0 0 0
454.06/454.25 c rapidlearning : 0.00 0 0 0 0 0
454.06/454.25 c Pricers : Time Calls Vars
454.06/454.25 c problem variables: 0.00 0 0
454.06/454.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
454.06/454.25 c relpscost : 0.00 0 0 0 0 0 0
454.06/454.25 c pscost : 0.00 0 0 0 0 0 0
454.06/454.25 c inference : 1.31 130925 0 0 0 0 261850
454.06/454.25 c mostinf : 0.00 0 0 0 0 0 0
454.06/454.25 c leastinf : 0.00 0 0 0 0 0 0
454.06/454.25 c fullstrong : 0.00 0 0 0 0 0 0
454.06/454.25 c allfullstrong : 0.00 0 0 0 0 0 0
454.06/454.25 c random : 0.00 0 0 0 0 0 0
454.06/454.25 c Primal Heuristics : Time Calls Found
454.06/454.25 c LP solutions : 0.00 - 0
454.06/454.25 c pseudo solutions : 0.04 - 21
454.06/454.25 c oneopt : 0.26 0 0
454.06/454.25 c trivial : 0.00 2 0
454.06/454.25 c simplerounding : 0.00 0 0
454.06/454.25 c zirounding : 0.00 0 0
454.06/454.25 c rounding : 0.00 0 0
454.06/454.25 c shifting : 0.00 0 0
454.06/454.25 c intshifting : 0.00 0 0
454.06/454.25 c twoopt : 0.00 0 0
454.06/454.25 c fixandinfer : 0.00 0 0
454.06/454.25 c feaspump : 0.00 0 0
454.06/454.25 c coefdiving : 0.00 0 0
454.06/454.25 c pscostdiving : 0.00 0 0
454.06/454.25 c fracdiving : 0.00 0 0
454.06/454.25 c veclendiving : 0.00 0 0
454.06/454.25 c intdiving : 0.00 0 0
454.06/454.25 c actconsdiving : 0.00 0 0
454.06/454.25 c objpscostdiving : 0.00 0 0
454.06/454.25 c rootsoldiving : 0.00 0 0
454.06/454.25 c linesearchdiving : 0.00 0 0
454.06/454.25 c guideddiving : 0.00 0 0
454.06/454.25 c octane : 0.00 0 0
454.06/454.25 c rens : 0.00 0 0
454.06/454.25 c rins : 0.00 0 0
454.06/454.25 c localbranching : 0.00 0 0
454.06/454.25 c mutation : 0.00 0 0
454.06/454.25 c crossover : 0.00 0 0
454.06/454.25 c dins : 0.00 0 0
454.06/454.25 c undercover : 0.00 0 0
454.06/454.25 c nlp : 0.06 0 0
454.06/454.25 c trysol : 0.15 0 0
454.06/454.25 c LP : Time Calls Iterations Iter/call Iter/sec
454.06/454.25 c primal LP : 0.00 0 0 0.00 -
454.06/454.25 c dual LP : 0.00 0 0 0.00 -
454.06/454.25 c lex dual LP : 0.00 0 0 0.00 -
454.06/454.25 c barrier LP : 0.00 0 0 0.00 -
454.06/454.25 c diving/probing LP: 0.00 0 0 0.00 -
454.06/454.25 c strong branching : 0.00 0 0 0.00 -
454.06/454.25 c (at root node) : - 0 0 0.00 -
454.06/454.25 c conflict analysis: 0.00 0 0 0.00 -
454.06/454.25 c B&B Tree :
454.06/454.25 c number of runs : 1
454.06/454.25 c nodes : 205853
454.06/454.25 c nodes (total) : 205853
454.06/454.25 c nodes left : 0
454.06/454.25 c max depth : 45
454.06/454.25 c max depth (total): 45
454.06/454.25 c backtracks : 78760 (38.3%)
454.06/454.25 c delayed cutoffs : 51440
454.06/454.25 c repropagations : 134396 (667494 domain reductions, 42174 cutoffs)
454.06/454.25 c avg switch length: 15.73
454.06/454.25 c switching time : 127.81
454.06/454.25 c Solution :
454.06/454.25 c Solutions found : 21 (21 improvements)
454.06/454.25 c First Solution : +6.97900000000000e+03 (in run 1, after 12 nodes, 0.01 seconds, depth 11, found by <relaxation>)
454.06/454.25 c Primal Bound : +5.14800000000000e+03 (in run 1, after 186099 nodes, 328.38 seconds, depth 30, found by <relaxation>)
454.06/454.25 c Dual Bound : +5.14800000000000e+03
454.06/454.25 c Gap : 0.00 %
454.06/454.25 c Root Dual Bound : +0.00000000000000e+00
454.06/454.25 c Root Iterations : 0
454.06/454.28 c Time complete: 454.13.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663916-1276629925/watcher-2663916-1276629925 -o /tmp/evaluation-result-2663916-1276629925/solver-2663916-1276629925 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663916-1276629925.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.11 1.41 1.66 3/105 11244
/proc/meminfo: memFree=1831540/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=6584 CPUtime=0
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 1076 0 0 0 0 0 0 0 25 0 1 0 4286055 6742016 998 1992294400 4194304 7136930 140735992804368 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11244/statm: 1646 1008 254 719 0 925 0
[startup+0.0853379 s]
/proc/loadavg: 1.11 1.41 1.66 3/105 11244
/proc/meminfo: memFree=1831540/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=11588 CPUtime=0.07
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 3889 0 0 0 5 2 0 0 25 0 1 0 4286055 11866112 2173 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 2897 2173 387 719 0 2176 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11588
[startup+0.101339 s]
/proc/loadavg: 1.11 1.41 1.66 3/105 11244
/proc/meminfo: memFree=1831540/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=11588 CPUtime=0.09
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 3900 0 0 0 6 3 0 0 25 0 1 0 4286055 11866112 2184 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 2897 2184 387 719 0 2176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11588
[startup+0.301362 s]
/proc/loadavg: 1.11 1.41 1.66 3/105 11244
/proc/meminfo: memFree=1831540/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=12976 CPUtime=0.29
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 4258 0 0 0 23 6 0 0 25 0 1 0 4286055 13287424 2542 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 3244 2542 387 719 0 2523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12976
[startup+0.701406 s]
/proc/loadavg: 1.11 1.41 1.66 3/105 11244
/proc/meminfo: memFree=1831540/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=14816 CPUtime=0.69
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 4706 0 0 0 55 14 0 0 25 0 1 0 4286055 15171584 2990 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 3704 2990 387 719 0 2983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14816
[startup+1.5015 s]
/proc/loadavg: 1.11 1.41 1.66 2/106 11245
/proc/meminfo: memFree=1819752/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=18724 CPUtime=1.49
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 5717 0 0 0 120 29 0 0 25 0 1 0 4286055 19173376 4001 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 4681 4001 387 719 0 3960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18724
[startup+3.10168 s]
/proc/loadavg: 1.11 1.41 1.66 2/106 11245
/proc/meminfo: memFree=1813428/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=23632 CPUtime=3.09
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 6997 0 0 0 264 45 0 0 25 0 1 0 4286055 24199168 5281 1992294400 4194304 7136930 140735992804368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 5908 5281 387 719 0 5187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23632
[startup+6.30104 s]
/proc/loadavg: 1.10 1.40 1.65 2/106 11245
/proc/meminfo: memFree=1808468/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=28360 CPUtime=6.29
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 8175 0 0 0 565 64 0 0 25 0 1 0 4286055 29040640 6459 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 7090 6459 387 719 0 6369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28360
[startup+12.7018 s]
/proc/loadavg: 1.09 1.39 1.65 2/106 11245
/proc/meminfo: memFree=1804004/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=31280 CPUtime=12.69
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 8907 0 0 0 1180 89 0 0 25 0 1 0 4286055 32030720 7191 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 7820 7191 387 719 0 7099 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31280
[startup+25.5012 s]
/proc/loadavg: 1.07 1.37 1.64 2/106 11245
/proc/meminfo: memFree=1798920/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=37164 CPUtime=25.48
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 10400 0 0 0 2427 121 0 0 25 0 1 0 4286055 38055936 8684 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 9291 8684 387 719 0 8570 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37164
[startup+51.1011 s]
/proc/loadavg: 1.05 1.34 1.62 2/106 11247
/proc/meminfo: memFree=1792100/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=43036 CPUtime=51.08
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 11849 0 0 0 4939 169 0 0 25 0 1 0 4286055 44068864 10133 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 10759 10133 387 719 0 10038 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43036
[startup+102.308 s]
/proc/loadavg: 1.02 1.29 1.59 2/106 11247
/proc/meminfo: memFree=1786644/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=48428 CPUtime=102.27
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 13160 0 0 0 9991 236 0 0 25 0 1 0 4286055 49590272 11444 1992294400 4194304 7136930 140735992804368 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 12107 11444 387 719 0 11386 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48428
[startup+162.301 s]
/proc/loadavg: 1.00 1.23 1.55 2/106 11249
/proc/meminfo: memFree=1781560/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=53392 CPUtime=162.24
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 14391 0 0 0 15916 308 0 0 25 0 1 0 4286055 54673408 12675 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 13348 12675 387 719 0 12627 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 53392
[startup+222.3 s]
/proc/loadavg: 1.00 1.19 1.51 2/106 11251
/proc/meminfo: memFree=1777344/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=57844 CPUtime=222.22
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 15449 0 0 0 21856 366 0 0 25 0 1 0 4286055 59232256 13733 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 14461 13733 387 719 0 13740 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 57844
[startup+282.301 s]
/proc/loadavg: 1.00 1.15 1.47 2/106 11253
/proc/meminfo: memFree=1774740/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=60388 CPUtime=282.2
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16091 0 0 0 27807 413 0 0 25 0 1 0 4286055 61837312 14375 1992294400 4194304 7136930 140735992804368 18446744073709551615 5000135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15097 14375 387 719 0 14376 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 60388
[startup+342.301 s]
/proc/loadavg: 1.00 1.12 1.44 2/106 11253
/proc/meminfo: memFree=1774368/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=60700 CPUtime=342.18
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16190 0 0 0 33776 442 0 0 25 0 1 0 4286055 62156800 14474 1992294400 4194304 7136930 140735992804368 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15175 14474 387 719 0 14454 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 60700
[startup+402.301 s]
/proc/loadavg: 1.00 1.10 1.41 2/106 11255
/proc/meminfo: memFree=1774120/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61036 CPUtime=402.16
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16262 0 0 0 39740 476 0 0 25 0 1 0 4286055 62500864 14546 1992294400 4194304 7136930 140735992804368 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15259 14546 388 719 0 14538 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 61036
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 1.00 1.09 1.41 2/106 11255
/proc/meminfo: memFree=1774120/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61036 CPUtime=409.37
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16264 0 0 0 40456 481 0 0 25 0 1 0 4286055 62500864 14548 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15259 14548 388 719 0 14538 0
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (KiB) 61036
[startup+435.101 s]
/proc/loadavg: 1.00 1.08 1.40 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61036 CPUtime=434.96
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16274 0 0 0 42999 497 0 0 25 0 1 0 4286055 62500864 14558 1992294400 4194304 7136930 140735992804368 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15259 14558 388 719 0 14538 0
Current children cumulated CPU time (s) 434.96
Current children cumulated vsize (KiB) 61036
[startup+447.901 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=447.75
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44269 506 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 447.75
Current children cumulated vsize (KiB) 61168
[startup+451.1 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=450.95
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44587 508 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 450.95
Current children cumulated vsize (KiB) 61168
[startup+452.701 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=452.55
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44746 509 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 452.55
Current children cumulated vsize (KiB) 61168
[startup+453.501 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=453.35
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44825 510 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 453.35
Current children cumulated vsize (KiB) 61168
[startup+453.901 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=453.75
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44865 510 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 453.75
Current children cumulated vsize (KiB) 61168
[startup+454.101 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=453.95
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44885 510 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 453.95
Current children cumulated vsize (KiB) 61168
[startup+454.201 s]
/proc/loadavg: 1.00 1.08 1.39 2/106 11260
/proc/meminfo: memFree=1773376/2059040 swapFree=4192956/4192956
[pid=11244] ppid=11242 vsize=61168 CPUtime=454.06
/proc/11244/stat : 11244 (pbscip.linux.x8) R 11242 11244 10844 0 -1 4202496 16278 0 0 0 44896 510 0 0 25 0 1 0 4286055 62636032 14562 1992294400 4194304 7136930 140735992804368 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11244/statm: 15292 14562 388 719 0 14571 0
Current children cumulated CPU time (s) 454.06
Current children cumulated vsize (KiB) 61168
Child status: 0
Real time (s): 454.286
CPU time (s): 454.144
CPU user time (s): 449.029
CPU system time (s): 5.11522
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 61168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 449.029
system time used= 5.11522
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16290
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= 5833
runsolver used 0.756884 second user time and 2.15467 second system time
The end