0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667657-1276600503.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 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, 5 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, 5 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 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 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 | 16 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.08 c 0.1s| 1 | 0 | 68 | - | 319k| 0 | 7 | 30 | 67 | 30 | 7 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 74 | - | 339k| 0 | 10 | 30 | 67 | 30 | 10 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 81 | - | 359k| 0 | 12 | 30 | 67 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 89 | - | 366k| 0 | 9 | 30 | 67 | 30 | 16 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 91 | - | 381k| 0 | 10 | 30 | 67 | 30 | 18 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 95 | - | 388k| 0 | 13 | 30 | 67 | 30 | 22 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 95 | - | 388k| 0 | 13 | 30 | 67 | 30 | 22 | 18 | 0 | 10 | 0.000000e+00 | -- | Inf
3.39/3.47 c 3.1s| 10000 | 2267 | 16287 | 1.6 |2650k| 23 | - | 30 |2584 | 0 | 0 | 18 |2620 | 446 | 0.000000e+00 | -- | Inf
7.88/7.96 c 7.3s| 20000 | 3365 | 31824 | 1.6 |3847k| 24 | 4 | 30 |3546 | 30 | 13 | 18 |5557 | 655 | 0.000000e+00 | -- | Inf
12.68/12.76 c 11.8s| 30000 | 4003 | 47671 | 1.6 |4476k| 24 | 4 | 30 |3413 | 30 | 13 | 18 |9140 | 842 | 0.000000e+00 | -- | Inf
17.39/17.46 c 16.2s| 40000 | 4487 | 62840 | 1.6 |5291k| 24 | 4 | 30 |4226 | 30 | 13 | 18 | 12k|1022 | 0.000000e+00 | -- | Inf
22.88/22.99 c 21.4s| 50000 | 4829 | 78244 | 1.6 |5950k| 24 | 4 | 30 |4862 | 30 | 13 | 18 | 15k|1197 | 0.000000e+00 | -- | Inf
28.88/28.97 c 27.0s| 60000 | 5095 | 94773 | 1.6 |6464k| 24 | 4 | 30 |5164 | 30 | 13 | 18 | 19k|1320 | 0.000000e+00 | -- | Inf
34.98/35.02 c 32.7s| 70000 | 5209 |110610 | 1.6 |6720k| 24 | 4 | 30 |4945 | 30 | 13 | 18 | 23k|1468 | 0.000000e+00 | -- | Inf
40.98/41.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.98/41.09 c 38.5s| 80000 | 5125 |125330 | 1.6 |6956k| 24 | - | 30 |5212 | 0 | 0 | 18 | 26k|1565 | 0.000000e+00 | -- | Inf
46.68/46.75 c 43.8s| 90000 | 5295 |139464 | 1.5 |7467k| 24 | - | 30 |5978 | 0 | 0 | 18 | 29k|1688 | 0.000000e+00 | -- | Inf
53.18/53.23 c 50.0s|100000 | 5248 |153737 | 1.5 |7485k| 24 | 4 | 30 |5583 | 30 | 13 | 18 | 32k|1797 | 0.000000e+00 | -- | Inf
59.77/59.89 c 56.3s|110000 | 5331 |168253 | 1.5 |7812k| 24 | - | 30 |5952 | 30 | 13 | 18 | 35k|1878 | 0.000000e+00 | -- | Inf
66.38/66.49 c 62.6s|120000 | 5193 |182293 | 1.5 |7708k| 25 | 4 | 30 |5463 | 30 | 13 | 18 | 38k|1934 | 0.000000e+00 | -- | Inf
72.87/72.98 c 68.8s|130000 | 4891 |197169 | 1.5 |7835k| 25 | 4 | 30 |6104 | 30 | 13 | 18 | 42k|2015 | 0.000000e+00 | -- | Inf
79.87/79.99 c 75.5s|140000 | 4629 |211612 | 1.5 |7764k| 25 | 4 | 30 |6063 | 30 | 13 | 18 | 45k|2119 | 0.000000e+00 | -- | Inf
87.06/87.14 c 82.3s|150000 | 4206 |226597 | 1.5 |7500k| 25 | - | 30 |6067 | 30 | 13 | 18 | 49k|2186 | 0.000000e+00 | -- | Inf
94.87/94.92 c 89.7s|160000 | 3584 |241032 | 1.5 |6932k| 25 | 4 | 30 |5421 | 30 | 13 | 18 | 52k|2276 | 0.000000e+00 | -- | Inf
101.07/101.15 c 95.6s|170000 | 3399 |255733 | 1.5 |7295k| 25 | 4 | 30 |6919 | 30 | 13 | 18 | 55k|2333 | 0.000000e+00 | -- | Inf
109.16/109.24 c 103s|180000 | 2915 |270328 | 1.5 |6701k| 25 | 4 | 30 |6170 | 30 | 13 | 18 | 59k|2406 | 0.000000e+00 | -- | Inf
116.16/116.21 c 110s|190000 | 2542 |285334 | 1.5 |6537k| 25 | - | 30 |6499 | 0 | 0 | 18 | 62k|2496 | 0.000000e+00 | -- | Inf
122.56/122.60 c 116s|200000 | 2480 |299051 | 1.5 |6780k| 25 | 4 | 30 |7438 | 30 | 13 | 18 | 65k|2571 | 0.000000e+00 | -- | Inf
129.96/130.05 c 123s|210000 | 2179 |312781 | 1.5 |6656k| 25 | - | 30 |7671 | 0 | 0 | 18 | 68k|2638 | 0.000000e+00 | -- | Inf
137.36/137.46 c 130s|220000 | 2193 |327527 | 1.5 |6360k| 25 | - | 30 |7166 | 30 | 13 | 18 | 71k|2705 | 0.000000e+00 | -- | Inf
144.25/144.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.25/144.37 c 137s|230000 | 2154 |341166 | 1.5 |6847k| 25 | - | 30 |8438 | 30 | 13 | 18 | 74k|2772 | 0.000000e+00 | -- | Inf
151.95/152.03 c 144s|240000 | 2178 |355394 | 1.5 |7112k| 25 | 4 | 30 |9207 | 30 | 13 | 18 | 77k|2826 | 0.000000e+00 | -- | Inf
159.46/159.52 c 151s|250000 | 2221 |368962 | 1.5 |7556k| 25 | - | 30 | 10k| 0 | 0 | 18 | 80k|2900 | 0.000000e+00 | -- | Inf
168.74/168.86 c 160s|260000 | 1783 |382788 | 1.5 |7193k| 25 | 4 | 30 |9849 | 30 | 13 | 18 | 83k|2963 | 0.000000e+00 | -- | Inf
178.34/178.44 c 170s|270000 | 1513 |397328 | 1.5 |6671k| 25 | - | 30 |8943 | 0 | 0 | 18 | 86k|3044 | 0.000000e+00 | -- | Inf
185.95/186.08 c 177s|280000 | 1864 |411476 | 1.5 |7215k| 25 | 4 | 30 |9895 | 30 | 13 | 18 | 89k|3101 | 0.000000e+00 | -- | Inf
195.24/195.39 c 186s|290000 | 1628 |424301 | 1.5 |7723k| 25 | - | 30 | 11k| 0 | 0 | 18 | 92k|3167 | 0.000000e+00 | -- | Inf
206.14/206.21 c 196s|300000 | 1419 |438500 | 1.5 |7334k| 25 | 4 | 30 | 10k| 30 | 13 | 18 | 95k|3210 | 0.000000e+00 | -- | Inf
216.33/216.49 c 206s|310000 | 915 |453248 | 1.5 |6090k| 25 | - | 30 |8390 | 30 | 13 | 18 | 98k|3254 | 0.000000e+00 | -- | Inf
224.24/224.34 c 214s|320000 | 999 |467439 | 1.5 |6175k| 25 | 4 | 30 |8745 | 30 | 13 | 18 | 102k|3343 | 0.000000e+00 | -- | Inf
232.43/232.51 c 222s|330000 | 868 |480665 | 1.5 |6117k| 25 | 4 | 30 |9146 | 30 | 13 | 18 | 105k|3395 | 0.000000e+00 | -- | Inf
240.62/240.71 c 230s|340000 | 805 |494848 | 1.5 |6581k| 25 | - | 30 | 10k| 30 | 13 | 18 | 107k|3462 | 0.000000e+00 | -- | Inf
249.83/249.93 c 239s|350000 | 765 |509225 | 1.5 |7036k| 25 | - | 30 | 12k| 0 | 0 | 18 | 111k|3495 | 0.000000e+00 | -- | Inf
260.22/260.38 c 249s|360000 | 623 |522663 | 1.5 |7074k| 25 | - | 30 | 12k| 30 | 13 | 18 | 113k|3543 | 0.000000e+00 | -- | Inf
271.32/271.44 c 259s|370000 | 402 |538032 | 1.5 |6136k| 25 | 4 | 30 | 10k| 30 | 13 | 18 | 117k|3626 | 0.000000e+00 | -- | Inf
279.72/279.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.72/279.86 c 268s|380000 | 413 |551855 | 1.5 |6487k| 25 | 4 | 30 | 11k| 30 | 13 | 18 | 120k|3697 | 0.000000e+00 | -- | Inf
290.22/290.32 c 278s|390000 | 185 |565569 | 1.4 |5951k| 25 | 4 | 30 | 10k| 30 | 13 | 18 | 123k|3751 | 0.000000e+00 | -- | Inf
299.71/299.87 c 287s|400000 | 122 |580595 | 1.5 |5985k| 25 | 4 | 30 | 11k| 30 | 13 | 18 | 126k|3817 | 0.000000e+00 | -- | Inf
309.11/309.20 c 296s|410000 | 527 |595864 | 1.5 |6188k| 25 | 4 | 30 | 10k| 30 | 13 | 18 | 129k|3878 | 0.000000e+00 | -- | Inf
318.41/318.59 c 305s|420000 | 518 |609905 | 1.5 |6435k| 25 | 4 | 30 | 11k| 30 | 13 | 18 | 131k|3913 | 0.000000e+00 | -- | Inf
328.71/328.84 c 315s|430000 | 96 |624407 | 1.5 |6384k| 25 | - | 30 | 12k| 0 | 0 | 18 | 134k|3974 | 0.000000e+00 | -- | Inf
338.90/339.05 c 325s|440000 | 152 |639028 | 1.5 |6653k| 25 | 4 | 30 | 13k| 30 | 13 | 18 | 137k|4000 | 0.000000e+00 | -- | Inf
348.80/348.91 c 334s|450000 | 731 |654424 | 1.5 |6865k| 25 | - | 30 | 12k| 30 | 13 | 18 | 140k|4066 | 0.000000e+00 | -- | Inf
359.39/359.50 c 345s|460000 | 293 |669089 | 1.5 |6670k| 25 | 4 | 30 | 12k| 30 | 13 | 18 | 143k|4143 | 0.000000e+00 | -- | Inf
369.69/369.82 c 355s|470000 | 97 |684824 | 1.5 |6638k| 25 | 4 | 30 | 13k| 30 | 13 | 18 | 146k|4214 | 0.000000e+00 | -- | Inf
382.49/382.67 c 367s|480000 | 140 |702043 | 1.5 |7518k| 25 | 4 | 30 | 15k| 30 | 13 | 18 | 153k|4268 | 0.000000e+00 | -- | Inf
398.58/398.78 c 383s|490000 | 542 |717842 | 1.5 |8288k| 25 | 4 | 30 | 16k| 30 | 13 | 18 | 159k|4315 | 0.000000e+00 | -- | Inf
416.28/416.46 c 400s|500000 | 263 |733323 | 1.5 |8767k| 25 | 4 | 30 | 18k| 30 | 13 | 18 | 167k|4363 | 0.000000e+00 | -- | Inf
430.67/430.83 c
430.67/430.83 c SCIP Status : problem is solved [infeasible]
430.67/430.83 c Solving Time (sec) : 414.09
430.67/430.83 c Solving Nodes : 508047
430.67/430.83 c Primal Bound : +1.00000000000000e+20 (0 solutions)
430.67/430.83 c Dual Bound : +1.00000000000000e+20
430.67/430.83 c Gap : 0.00 %
430.67/430.83 s UNSATISFIABLE
430.67/430.83 c SCIP Status : problem is solved [infeasible]
430.67/430.83 c Solving Time : 414.09
430.67/430.83 c Original Problem :
430.67/430.83 c Problem name : HOME/instance-2667657-1276600503.opb
430.67/430.83 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
430.67/430.83 c Constraints : 9 initial, 9 maximal
430.67/430.83 c Presolved Problem :
430.67/430.83 c Problem name : t_HOME/instance-2667657-1276600503.opb
430.67/430.83 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
430.67/430.83 c Constraints : 4 initial, 19636 maximal
430.67/430.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
430.67/430.83 c trivial : 0.00 0 0 0 0 0 0 0 0
430.67/430.83 c dualfix : 0.00 1 0 0 0 0 0 0 0
430.67/430.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
430.67/430.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
430.67/430.83 c implics : 0.00 0 0 0 0 0 0 0 0
430.67/430.83 c probing : 0.01 0 0 0 0 0 0 0 0
430.67/430.83 c linear : 0.00 0 0 0 0 0 5 0 0
430.67/430.83 c logicor : 0.00 0 0 0 0 0 0 0 0
430.67/430.83 c root node : - 1 - - 1 - - - -
430.67/430.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
430.67/430.83 c integral : 0 0 0 282364 0 595 2664 0 0 558440
430.67/430.83 c linear : 4+ 7 1063982 0 0 213145 1541350 0 0 0
430.67/430.83 c logicor : 0+ 0 521637 0 0 4275 165379 0 0 0
430.67/430.83 c countsols : 0 0 0 0 0 0 0 0 0 0
430.67/430.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
430.67/430.83 c integral : 4.09 0.00 0.00 4.09 0.00
430.67/430.83 c linear : 47.35 0.00 47.35 0.00 0.00
430.67/430.83 c logicor : 149.60 0.00 149.60 0.00 0.00
430.67/430.83 c countsols : 0.00 0.00 0.00 0.00 0.00
430.67/430.83 c Propagators : Time Calls Cutoffs DomReds
430.67/430.83 c vbounds : 0.43 2 0 0
430.67/430.83 c rootredcost : 0.46 0 0 0
430.67/430.83 c pseudoobj : 0.40 0 0 0
430.67/430.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
430.67/430.83 c propagation : 7.49 217420 85795 225320 19.1 19 15.7 -
430.67/430.83 c infeasible LP : 3.01 61380 61374 94290 12.5 680 16.8 0
430.67/430.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
430.67/430.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
430.67/430.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
430.67/430.83 c applied globally : - - - 172878 14.9 - - -
430.67/430.83 c applied locally : - - - 0 0.0 - - -
430.67/430.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
430.67/430.83 c cut pool : 0.00 5 - - 26 - (maximal pool size: 83)
430.67/430.83 c redcost : 0.47 282369 0 0 0 0
430.67/430.83 c impliedbounds : 0.00 6 0 0 0 0
430.67/430.83 c intobj : 0.00 0 0 0 0 0
430.67/430.83 c cgmip : 0.00 0 0 0 0 0
430.67/430.83 c gomory : 0.00 6 0 0 0 0
430.67/430.83 c strongcg : 0.00 6 0 0 26 0
430.67/430.83 c cmir : 0.00 6 0 0 30 0
430.67/430.83 c flowcover : 0.02 6 0 0 53 0
430.67/430.83 c clique : 0.00 1 0 0 0 0
430.67/430.83 c zerohalf : 0.00 0 0 0 0 0
430.67/430.83 c mcf : 0.00 1 0 0 0 0
430.67/430.83 c rapidlearning : 0.04 1 0 0 0 63
430.67/430.83 c Pricers : Time Calls Vars
430.67/430.83 c problem variables: 0.00 0 0
430.67/430.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
430.67/430.83 c relpscost : 3.68 282364 595 2664 0 0 558440
430.67/430.83 c pscost : 0.00 0 0 0 0 0 0
430.67/430.83 c inference : 0.00 0 0 0 0 0 0
430.67/430.83 c mostinf : 0.00 0 0 0 0 0 0
430.67/430.83 c leastinf : 0.00 0 0 0 0 0 0
430.67/430.83 c fullstrong : 0.00 0 0 0 0 0 0
430.67/430.83 c allfullstrong : 0.00 0 0 0 0 0 0
430.67/430.83 c random : 0.00 0 0 0 0 0 0
430.67/430.83 c Primal Heuristics : Time Calls Found
430.67/430.83 c LP solutions : 0.00 - 0
430.67/430.83 c pseudo solutions : 0.00 - 0
430.67/430.83 c oneopt : 0.45 0 0
430.67/430.83 c crossover : 0.32 0 0
430.67/430.83 c guideddiving : 0.04 0 0
430.67/430.83 c pscostdiving : 0.16 194 0
430.67/430.83 c fracdiving : 0.10 194 0
430.67/430.83 c linesearchdiving : 0.07 194 0
430.67/430.83 c veclendiving : 0.06 194 0
430.67/430.83 c coefdiving : 0.15 197 0
430.67/430.83 c feaspump : 0.18 190 0
430.67/430.83 c trivial : 0.00 2 0
430.67/430.83 c simplerounding : 0.23 0 0
430.67/430.83 c zirounding : 0.33 1000 0
430.67/430.83 c rounding : 0.24 7568 0
430.67/430.83 c shifting : 1.10 2782 0
430.67/430.83 c intshifting : 0.00 0 0
430.67/430.83 c twoopt : 0.00 0 0
430.67/430.83 c fixandinfer : 0.00 0 0
430.67/430.83 c intdiving : 0.00 0 0
430.67/430.83 c actconsdiving : 0.00 0 0
430.67/430.83 c objpscostdiving : 0.03 78 0
430.67/430.83 c rootsoldiving : 0.01 23 0
430.67/430.83 c octane : 0.00 0 0
430.67/430.83 c rens : 0.02 1 0
430.67/430.83 c rins : 0.00 0 0
430.67/430.83 c localbranching : 0.00 0 0
430.67/430.83 c mutation : 0.00 0 0
430.67/430.83 c dins : 0.00 0 0
430.67/430.83 c undercover : 0.00 0 0
430.67/430.83 c nlp : 0.25 0 0
430.67/430.83 c trysol : 0.38 0 0
430.67/430.83 c LP : Time Calls Iterations Iter/call Iter/sec
430.67/430.83 c primal LP : 0.00 0 0 0.00 -
430.67/430.83 c dual LP : 24.00 340643 744563 2.19 31023.46
430.67/430.83 c lex dual LP : 0.00 0 0 0.00 -
430.67/430.83 c barrier LP : 0.00 0 0 0.00 -
430.67/430.83 c diving/probing LP: 0.11 1398 1891 1.35 17190.91
430.67/430.83 c strong branching : 0.57 4421 11842 2.68 20775.44
430.67/430.83 c (at root node) : - 10 264 26.40 -
430.67/430.83 c conflict analysis: 0.00 0 0 0.00 -
430.67/430.83 c B&B Tree :
430.67/430.83 c number of runs : 1
430.67/430.83 c nodes : 508047
430.67/430.83 c nodes (total) : 508047
430.67/430.83 c nodes left : 0
430.67/430.83 c max depth : 25
430.67/430.83 c max depth (total): 25
430.67/430.83 c backtracks : 145208 (28.6%)
430.67/430.83 c delayed cutoffs : 50394
430.67/430.83 c repropagations : 214855 (463580 domain reductions, 48477 cutoffs)
430.67/430.83 c avg switch length: 4.76
430.67/430.83 c switching time : 118.94
430.67/430.83 c Solution :
430.67/430.83 c Solutions found : 0 (0 improvements)
430.67/430.83 c Primal Bound : infeasible
430.67/430.83 c Dual Bound : -
430.67/430.83 c Gap : 0.00 %
430.67/430.83 c Root Dual Bound : +0.00000000000000e+00
430.67/430.83 c Root Iterations : 95
430.67/430.87 c Time complete: 430.75.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667657-1276600503/watcher-2667657-1276600503 -o /tmp/evaluation-result-2667657-1276600503/solver-2667657-1276600503 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667657-1276600503.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.99 0.98 0.99 3/105 11015
/proc/meminfo: memFree=1429080/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=6692 CPUtime=0
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 960 0 0 0 0 0 0 0 25 0 1 0 1344064 6852608 879 1992294400 4194304 8223781 140733409178528 18446744073709551615 7253720 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11015/statm: 1673 888 338 984 0 686 0
[startup+0.048301 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 11015
/proc/meminfo: memFree=1429080/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=19436 CPUtime=0.03
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 4842 0 0 0 2 1 0 0 25 0 1 0 1344064 19902464 3615 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 4859 3615 568 984 0 3872 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19436
[startup+0.101307 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 11015
/proc/meminfo: memFree=1429080/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=13208 CPUtime=0.09
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 4936 0 0 0 7 2 0 0 25 0 1 0 1344064 13524992 2419 1992294400 4194304 8223781 140733409178528 18446744073709551615 7073991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 3302 2419 576 984 0 2315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13208
[startup+0.301328 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 11015
/proc/meminfo: memFree=1429080/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=13308 CPUtime=0.29
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 7843 0 0 0 24 5 0 0 25 0 1 0 1344064 13627392 2466 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 3327 2466 588 984 0 2340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13308
[startup+0.701371 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 11015
/proc/meminfo: memFree=1429080/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=13308 CPUtime=0.69
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 7844 0 0 0 62 7 0 0 25 0 1 0 1344064 13627392 2467 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 3327 2467 588 984 0 2340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13308
[startup+1.50046 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 11016
/proc/meminfo: memFree=1420764/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=14344 CPUtime=1.49
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 8097 0 0 0 133 16 0 0 25 0 1 0 1344064 14688256 2720 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 3586 2720 588 984 0 2599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14344
[startup+3.10063 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 11016
/proc/meminfo: memFree=1418904/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=16288 CPUtime=3.09
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 8559 0 0 0 279 30 0 0 25 0 1 0 1344064 16678912 3182 1992294400 4194304 8223781 140733409178528 18446744073709551615 6162052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 4072 3182 588 984 0 3085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16288
[startup+6.30098 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 11016
/proc/meminfo: memFree=1417168/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=17552 CPUtime=6.29
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 8888 0 0 0 577 52 0 0 25 0 1 0 1344064 17973248 3511 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 4388 3511 588 984 0 3401 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17552
[startup+12.7007 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 11016
/proc/meminfo: memFree=1415432/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=18940 CPUtime=12.68
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 9219 0 0 0 1171 97 0 0 25 0 1 0 1344064 19394560 3842 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 4735 3842 588 984 0 3748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18940
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 11016
/proc/meminfo: memFree=1412704/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=21780 CPUtime=25.49
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 9886 0 0 0 2371 178 0 0 25 0 1 0 1344064 22302720 4509 1992294400 4194304 8223781 140733409178528 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 5445 4509 588 984 0 4458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21780
[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 11016
/proc/meminfo: memFree=1411588/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=22824 CPUtime=51.08
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 10188 0 0 0 4798 310 0 0 25 0 1 0 1344064 23371776 4811 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 5706 4811 588 984 0 4719 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22824
[startup+102.308 s]
/proc/loadavg: 1.04 1.00 1.00 2/106 11018
/proc/meminfo: memFree=1409480/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=25012 CPUtime=102.28
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 10670 0 0 0 9674 554 0 0 25 0 1 0 1344064 25612288 5293 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 6253 5293 588 984 0 5266 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 25012
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 11020
/proc/meminfo: memFree=1408240/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=26348 CPUtime=162.25
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 10951 0 0 0 15410 815 0 0 25 0 1 0 1344064 26980352 5574 1992294400 4194304 8223781 140733409178528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 6587 5574 588 984 0 5600 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26348
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11020
/proc/meminfo: memFree=1407000/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=27760 CPUtime=222.23
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 11216 0 0 0 21199 1024 0 0 25 0 1 0 1344064 28426240 5839 1992294400 4194304 8223781 140733409178528 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 6940 5839 588 984 0 5953 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27760
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11022
/proc/meminfo: memFree=1406132/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=29548 CPUtime=282.22
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 11452 0 0 0 26991 1231 0 0 25 0 1 0 1344064 30257152 6075 1992294400 4194304 8223781 140733409178528 18446744073709551615 4999720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 7387 6075 588 984 0 6400 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29548
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11024
/proc/meminfo: memFree=1405760/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=29548 CPUtime=342.2
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 11515 0 0 0 32793 1427 0 0 25 0 1 0 1344064 30257152 6138 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 7387 6138 588 984 0 6400 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29548
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1403280/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=31904 CPUtime=402.19
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12134 0 0 0 38622 1597 0 0 25 0 1 0 1344064 32669696 6757 1992294400 4194304 8223781 140733409178528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 7976 6757 588 984 0 6989 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 31904
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1403156/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=409.38
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12198 0 0 0 39323 1615 0 0 25 0 1 0 1344064 32976896 6821 1992294400 4194304 8223781 140733409178528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6821 588 984 0 7064 0
Current children cumulated CPU time (s) 409.38
Current children cumulated vsize (KiB) 32204
[startup+422.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=422.18
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12200 0 0 0 40576 1642 0 0 25 0 1 0 1344064 32976896 6823 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6823 588 984 0 7064 0
Current children cumulated CPU time (s) 422.18
Current children cumulated vsize (KiB) 32204
[startup+425.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=425.38
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12200 0 0 0 40888 1650 0 0 25 0 1 0 1344064 32976896 6823 1992294400 4194304 8223781 140733409178528 18446744073709551615 4221212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6823 588 984 0 7064 0
Current children cumulated CPU time (s) 425.38
Current children cumulated vsize (KiB) 32204
[startup+428.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=428.58
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12200 0 0 0 41200 1658 0 0 25 0 1 0 1344064 32976896 6823 1992294400 4194304 8223781 140733409178528 18446744073709551615 4208920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6823 588 984 0 7064 0
Current children cumulated CPU time (s) 428.58
Current children cumulated vsize (KiB) 32204
[startup+429.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=429.37
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12200 0 0 0 41278 1659 0 0 25 0 1 0 1344064 32976896 6823 1992294400 4194304 8223781 140733409178528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6823 588 984 0 7064 0
Current children cumulated CPU time (s) 429.37
Current children cumulated vsize (KiB) 32204
[startup+430.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=430.18
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12202 0 0 0 41357 1661 0 0 25 0 1 0 1344064 32976896 6825 1992294400 4194304 8223781 140733409178528 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6825 588 984 0 7064 0
Current children cumulated CPU time (s) 430.18
Current children cumulated vsize (KiB) 32204
[startup+430.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=430.58
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12202 0 0 0 41396 1662 0 0 25 0 1 0 1344064 32976896 6825 1992294400 4194304 8223781 140733409178528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6825 588 984 0 7064 0
Current children cumulated CPU time (s) 430.58
Current children cumulated vsize (KiB) 32204
[startup+430.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11026
/proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956
[pid=11015] ppid=11013 vsize=32204 CPUtime=430.67
/proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 2309 0 -1 4202496 12202 0 0 0 41405 1662 0 0 25 0 1 0 1344064 32976896 6825 1992294400 4194304 8223781 140733409178528 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11015/statm: 8051 6825 588 984 0 7064 0
Current children cumulated CPU time (s) 430.67
Current children cumulated vsize (KiB) 32204
Child status: 0
Real time (s): 430.877
CPU time (s): 430.762
CPU user time (s): 414.132
CPU system time (s): 16.6295
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 32204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 414.132
system time used= 16.6295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12286
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= 681
runsolver used 0.749886 second user time and 2.00069 second system time
The end