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-2666229-1276601968.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.00
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 | 18 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 c 0.1s| 1 | 0 | 23 | - | 321k| 0 | 7 | 30 | 66 | 30 | 8 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 c 0.1s| 1 | 0 | 24 | - | 339k| 0 | 8 | 30 | 66 | 30 | 10 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 c 0.1s| 1 | 0 | 30 | - | 352k| 0 | 10 | 30 | 66 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 35 | - | 369k| 0 | 11 | 30 | 66 | 30 | 16 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 42 | - | 381k| 0 | 12 | 30 | 66 | 30 | 18 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 49 | - | 390k| 0 | 12 | 30 | 66 | 30 | 20 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 2 | 49 | - | 391k| 0 | 12 | 30 | 66 | 30 | 20 | 16 | 0 | 9 | 0.000000e+00 | -- | Inf
4.49/4.50 c 3.8s| 10000 | 2361 | 17582 | 1.8 |2653k| 24 | - | 30 |2447 | 0 | 0 | 16 |2491 | 348 | 0.000000e+00 | -- | Inf
9.90/9.97 c 8.6s| 20000 | 3605 | 34648 | 1.7 |3739k| 24 | - | 30 |2760 | 30 | 12 | 16 |5067 | 485 | 0.000000e+00 | -- | Inf
14.79/14.89 c 12.8s| 30000 | 4974 | 51793 | 1.7 |4669k| 24 | 4 | 30 |2671 | 30 | 12 | 16 |7676 | 596 | 0.000000e+00 | -- | Inf
20.18/20.25 c 17.5s| 40000 | 5764 | 68652 | 1.7 |5321k| 25 | - | 30 |2588 | 0 | 0 | 16 | 10k| 691 | 0.000000e+00 | -- | Inf
25.48/25.58 c 22.1s| 50000 | 6444 | 85319 | 1.7 |6075k| 25 | 4 | 30 |3094 | 30 | 12 | 16 | 12k| 776 | 0.000000e+00 | -- | Inf
31.28/31.31 c 27.2s| 60000 | 6643 |101953 | 1.7 |6352k| 25 | - | 30 |2810 | 30 | 12 | 16 | 15k| 854 | 0.000000e+00 | -- | Inf
36.58/36.69 c 31.9s| 70000 | 6701 |119041 | 1.7 |6483k| 25 | 4 | 30 |2513 | 30 | 12 | 16 | 17k| 919 | 0.000000e+00 | -- | Inf
42.08/42.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.08/42.12 c 36.7s| 80000 | 6739 |137062 | 1.7 |6604k| 25 | 4 | 30 |2162 | 30 | 12 | 16 | 20k| 996 | 0.000000e+00 | -- | Inf
47.29/47.32 c 41.2s| 90000 | 6655 |154824 | 1.7 |6773k| 25 | 4 | 30 |2393 | 30 | 12 | 16 | 22k|1051 | 0.000000e+00 | -- | Inf
52.37/52.43 c 45.7s|100000 | 6626 |171843 | 1.7 |6956k| 25 | 4 | 30 |2595 | 30 | 12 | 16 | 24k|1099 | 0.000000e+00 | -- | Inf
57.68/57.73 c 50.4s|110000 | 6614 |189016 | 1.7 |7047k| 25 | - | 30 |2527 | 0 | 0 | 16 | 26k|1145 | 0.000000e+00 | -- | Inf
63.17/63.21 c 55.2s|120000 | 6289 |207260 | 1.7 |6910k| 25 | - | 30 |2324 | 30 | 12 | 16 | 28k|1198 | 0.000000e+00 | -- | Inf
68.88/68.96 c 60.3s|130000 | 6011 |226362 | 1.7 |6903k| 25 | - | 30 |2556 | 30 | 12 | 16 | 30k|1249 | 0.000000e+00 | -- | Inf
74.37/74.45 c 65.1s|140000 | 5500 |244482 | 1.7 |6612k| 25 | - | 30 |2462 | 30 | 12 | 16 | 33k|1303 | 0.000000e+00 | -- | Inf
79.77/79.80 c 69.8s|150000 | 5124 |262049 | 1.7 |6395k| 25 | - | 30 |2335 | 30 | 12 | 16 | 35k|1348 | 0.000000e+00 | -- | Inf
85.17/85.26 c 74.6s|160000 | 4810 |279127 | 1.7 |6374k| 25 | 4 | 30 |2777 | 30 | 12 | 16 | 37k|1398 | 0.000000e+00 | -- | Inf
90.97/91.01 c 79.7s|170000 | 4396 |295873 | 1.7 |6124k| 25 | 4 | 30 |2710 | 30 | 12 | 16 | 40k|1439 | 0.000000e+00 | -- | Inf
96.57/96.60 c 84.6s|180000 | 4503 |312685 | 1.7 |6309k| 25 | 4 | 30 |3225 | 30 | 12 | 16 | 42k|1476 | 0.000000e+00 | -- | Inf
102.27/102.39 c 89.7s|190000 | 4493 |329578 | 1.7 |6620k| 25 | - | 30 |3853 | 0 | 0 | 16 | 44k|1519 | 0.000000e+00 | -- | Inf
108.57/108.65 c 95.3s|200000 | 4148 |346355 | 1.7 |6117k| 25 | 4 | 30 |2887 | 30 | 12 | 16 | 46k|1558 | 0.000000e+00 | -- | Inf
114.37/114.44 c 100s|210000 | 4917 |364792 | 1.7 |6958k| 25 | - | 30 |3693 | 30 | 12 | 16 | 49k|1601 | 0.000000e+00 | -- | Inf
120.76/120.89 c 106s|220000 | 4797 |382990 | 1.7 |7245k| 25 | - | 30 |4500 | 0 | 0 | 16 | 52k|1638 | 0.000000e+00 | -- | Inf
127.76/127.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.76/127.89 c 112s|230000 | 4382 |400610 | 1.7 |6952k| 25 | 4 | 30 |4288 | 30 | 12 | 16 | 54k|1677 | 0.000000e+00 | -- | Inf
134.96/135.02 c 119s|240000 | 3810 |418507 | 1.7 |6379k| 25 | - | 30 |3667 | 30 | 12 | 16 | 57k|1711 | 0.000000e+00 | -- | Inf
141.05/141.13 c 124s|250000 | 3547 |434843 | 1.7 |6178k| 25 | - | 30 |3578 | 0 | 0 | 16 | 60k|1745 | 0.000000e+00 | -- | Inf
147.16/147.24 c 130s|260000 | 3311 |451542 | 1.7 |5793k| 25 | 4 | 30 |3082 | 30 | 12 | 16 | 62k|1777 | 0.000000e+00 | -- | Inf
152.46/152.50 c 134s|270000 | 4304 |468214 | 1.7 |6714k| 25 | 4 | 30 |4028 | 30 | 12 | 16 | 64k|1803 | 0.000000e+00 | -- | Inf
158.66/158.76 c 140s|280000 | 4252 |484775 | 1.7 |6899k| 25 | 4 | 30 |4146 | 30 | 12 | 16 | 67k|1840 | 0.000000e+00 | -- | Inf
165.25/165.39 c 146s|290000 | 3733 |501205 | 1.7 |6831k| 25 | - | 30 |4839 | 0 | 0 | 16 | 69k|1868 | 0.000000e+00 | -- | Inf
171.96/172.04 c 152s|300000 | 3840 |516779 | 1.7 |7094k| 25 | 4 | 30 |5311 | 30 | 12 | 16 | 71k|1895 | 0.000000e+00 | -- | Inf
179.54/179.68 c 159s|310000 | 3512 |532908 | 1.7 |6864k| 25 | 4 | 30 |4860 | 30 | 12 | 16 | 74k|1920 | 0.000000e+00 | -- | Inf
186.45/186.59 c 165s|320000 | 3438 |549237 | 1.7 |6452k| 25 | - | 30 |4002 | 0 | 0 | 16 | 76k|1951 | 0.000000e+00 | -- | Inf
192.46/192.56 c 171s|330000 | 4000 |566018 | 1.7 |7129k| 25 | - | 30 |4702 | 0 | 0 | 16 | 79k|1977 | 0.000000e+00 | -- | Inf
199.55/199.61 c 177s|340000 | 4061 |582262 | 1.7 |7499k| 25 | 4 | 30 |5191 | 30 | 12 | 16 | 81k|2007 | 0.000000e+00 | -- | Inf
207.55/207.63 c 184s|350000 | 3059 |598116 | 1.7 |6538k| 25 | - | 30 |4536 | 30 | 12 | 16 | 84k|2040 | 0.000000e+00 | -- | Inf
214.35/214.48 c 190s|360000 | 2830 |615293 | 1.7 |6319k| 25 | - | 30 |4489 | 0 | 0 | 16 | 86k|2068 | 0.000000e+00 | -- | Inf
220.54/220.65 c 196s|370000 | 3235 |631739 | 1.7 |6783k| 25 | 4 | 30 |4902 | 30 | 12 | 16 | 89k|2099 | 0.000000e+00 | -- | Inf
228.24/228.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.24/228.34 c 203s|380000 | 2395 |648094 | 1.7 |5764k| 25 | 4 | 30 |4034 | 30 | 12 | 16 | 91k|2130 | 0.000000e+00 | -- | Inf
234.93/235.01 c 209s|390000 | 2016 |664966 | 1.7 |5215k| 25 | - | 30 |3655 | 30 | 12 | 16 | 94k|2157 | 0.000000e+00 | -- | Inf
241.53/241.63 c 215s|400000 | 1840 |683050 | 1.7 |5377k| 25 | 4 | 30 |4713 | 30 | 12 | 16 | 97k|2191 | 0.000000e+00 | -- | Inf
248.34/248.44 c 221s|410000 | 1496 |699597 | 1.7 |4902k| 25 | 4 | 30 |4374 | 30 | 12 | 16 | 99k|2212 | 0.000000e+00 | -- | Inf
255.03/255.17 c 227s|420000 | 1628 |716983 | 1.7 |4942k| 25 | 4 | 30 |4649 | 30 | 12 | 16 | 102k|2235 | 0.000000e+00 | -- | Inf
262.03/262.19 c 233s|430000 | 1399 |734042 | 1.7 |4485k| 25 | - | 30 |4097 | 30 | 12 | 16 | 104k|2265 | 0.000000e+00 | -- | Inf
268.43/268.50 c 239s|440000 | 1298 |750546 | 1.7 |4650k| 25 | - | 30 |4630 | 0 | 0 | 16 | 106k|2291 | 0.000000e+00 | -- | Inf
275.32/275.44 c 245s|450000 | 930 |766817 | 1.7 |3934k| 25 | 4 | 30 |4131 | 30 | 12 | 16 | 108k|2315 | 0.000000e+00 | -- | Inf
281.73/281.85 c 251s|460000 | 658 |782881 | 1.7 |3861k| 25 | 4 | 30 |4660 | 30 | 12 | 16 | 110k|2338 | 0.000000e+00 | -- | Inf
288.62/288.70 c 257s|470000 | 213 |799439 | 1.7 |2992k| 25 | - | 30 |4116 | 30 | 12 | 16 | 113k|2363 | 0.000000e+00 | -- | Inf
292.32/292.42 c
292.32/292.42 c SCIP Status : problem is solved [infeasible]
292.32/292.42 c Solving Time (sec) : 260.64
292.32/292.42 c Solving Nodes : 476042
292.32/292.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
292.32/292.42 c Dual Bound : +1.00000000000000e+20
292.32/292.42 c Gap : 0.00 %
292.32/292.42 s UNSATISFIABLE
292.32/292.42 c SCIP Status : problem is solved [infeasible]
292.32/292.42 c Solving Time : 260.64
292.32/292.42 c Original Problem :
292.32/292.42 c Problem name : HOME/instance-2666229-1276601968.opb
292.32/292.42 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
292.32/292.42 c Constraints : 9 initial, 9 maximal
292.32/292.42 c Presolved Problem :
292.32/292.42 c Problem name : t_HOME/instance-2666229-1276601968.opb
292.32/292.42 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
292.32/292.42 c Constraints : 4 initial, 5857 maximal
292.32/292.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
292.32/292.42 c trivial : 0.00 0 0 0 0 0 0 0 0
292.32/292.42 c dualfix : 0.00 1 0 0 0 0 0 0 0
292.32/292.42 c boundshift : 0.00 0 0 0 0 0 0 0 0
292.32/292.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0
292.32/292.42 c implics : 0.00 0 0 0 0 0 0 0 0
292.32/292.42 c probing : 0.00 0 0 0 0 0 0 0 0
292.32/292.42 c linear : 0.00 0 0 0 0 0 5 0 0
292.32/292.42 c logicor : 0.00 0 0 0 0 0 0 0 0
292.32/292.42 c root node : - 1 - - 1 - - - -
292.32/292.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
292.32/292.42 c integral : 0 0 0 255977 0 141 882 0 0 510146
292.32/292.42 c linear : 4+ 7 895073 0 0 173776 1122496 0 0 0
292.32/292.42 c logicor : 0+ 0 443664 0 0 3012 113310 0 0 0
292.32/292.42 c countsols : 0 0 0 0 0 0 0 0 0 0
292.32/292.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
292.32/292.42 c integral : 3.59 0.00 0.00 3.59 0.00
292.32/292.42 c linear : 37.13 0.00 37.13 0.00 0.00
292.32/292.42 c logicor : 54.96 0.00 54.96 0.00 0.00
292.32/292.42 c countsols : 0.00 0.00 0.00 0.00 0.00
292.32/292.42 c Propagators : Time Calls Cutoffs DomReds
292.32/292.42 c vbounds : 0.57 2 0 0
292.32/292.42 c rootredcost : 0.56 0 0 0
292.32/292.42 c pseudoobj : 0.42 0 0 0
292.32/292.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
292.32/292.42 c propagation : 5.99 176788 49899 137331 19.5 5 15.4 -
292.32/292.42 c infeasible LP : 2.64 77408 49197 69830 12.6 382 16.9 0
292.32/292.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
292.32/292.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
292.32/292.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
292.32/292.42 c applied globally : - - - 114463 14.6 - - -
292.32/292.42 c applied locally : - - - 0 0.0 - - -
292.32/292.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
292.32/292.42 c cut pool : 0.00 5 - - 33 - (maximal pool size: 84)
292.32/292.42 c redcost : 0.41 255982 0 0 0 0
292.32/292.42 c impliedbounds : 0.00 6 0 0 0 0
292.32/292.42 c intobj : 0.00 0 0 0 0 0
292.32/292.42 c cgmip : 0.00 0 0 0 0 0
292.32/292.42 c gomory : 0.00 6 0 0 2 0
292.32/292.42 c strongcg : 0.01 6 0 0 38 0
292.32/292.42 c cmir : 0.00 6 0 0 23 0
292.32/292.42 c flowcover : 0.01 6 0 0 40 0
292.32/292.42 c clique : 0.00 1 0 0 0 0
292.32/292.42 c zerohalf : 0.00 0 0 0 0 0
292.32/292.42 c mcf : 0.00 1 0 0 0 0
292.32/292.42 c rapidlearning : 0.05 1 0 0 0 62
292.32/292.42 c Pricers : Time Calls Vars
292.32/292.42 c problem variables: 0.00 0 0
292.32/292.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
292.32/292.42 c relpscost : 3.20 255977 141 882 0 0 510146
292.32/292.42 c pscost : 0.00 0 0 0 0 0 0
292.32/292.42 c inference : 0.00 0 0 0 0 0 0
292.32/292.42 c mostinf : 0.00 0 0 0 0 0 0
292.32/292.42 c leastinf : 0.00 0 0 0 0 0 0
292.32/292.42 c fullstrong : 0.00 0 0 0 0 0 0
292.32/292.42 c allfullstrong : 0.00 0 0 0 0 0 0
292.32/292.42 c random : 0.00 0 0 0 0 0 0
292.32/292.42 c Primal Heuristics : Time Calls Found
292.32/292.42 c LP solutions : 0.00 - 0
292.32/292.42 c pseudo solutions : 0.00 - 0
292.32/292.42 c oneopt : 0.50 0 0
292.32/292.42 c crossover : 0.21 0 0
292.32/292.42 c guideddiving : 0.02 0 0
292.32/292.42 c veclendiving : 0.03 28 0
292.32/292.42 c linesearchdiving : 0.08 28 0
292.32/292.42 c pscostdiving : 0.04 28 0
292.32/292.42 c coefdiving : 0.11 28 0
292.32/292.42 c fracdiving : 0.04 28 0
292.32/292.42 c feaspump : 0.05 15 0
292.32/292.42 c objpscostdiving : 0.04 15 0
292.32/292.42 c trivial : 0.00 2 0
292.32/292.42 c simplerounding : 0.11 0 0
292.32/292.42 c zirounding : 0.24 1000 0
292.32/292.42 c rounding : 0.29 7150 0
292.32/292.42 c shifting : 1.07 2640 0
292.32/292.42 c intshifting : 0.03 0 0
292.32/292.42 c twoopt : 0.00 0 0
292.32/292.42 c fixandinfer : 0.00 0 0
292.32/292.42 c intdiving : 0.00 0 0
292.32/292.42 c actconsdiving : 0.00 0 0
292.32/292.42 c rootsoldiving : 0.04 15 0
292.32/292.42 c octane : 0.00 0 0
292.32/292.42 c rens : 0.02 1 0
292.32/292.42 c rins : 0.00 0 0
292.32/292.42 c localbranching : 0.00 0 0
292.32/292.42 c mutation : 0.00 0 0
292.32/292.42 c dins : 0.00 0 0
292.32/292.42 c undercover : 0.00 0 0
292.32/292.42 c nlp : 0.21 0 0
292.32/292.42 c trysol : 0.34 0 0
292.32/292.42 c LP : Time Calls Iterations Iter/call Iter/sec
292.32/292.42 c primal LP : 0.00 0 0 0.00 -
292.32/292.42 c dual LP : 51.59 325980 808521 2.48 15672.05
292.32/292.42 c lex dual LP : 0.00 0 0 0.00 -
292.32/292.42 c barrier LP : 0.00 0 0 0.00 -
292.32/292.42 c diving/probing LP: 0.03 185 307 1.66 10233.33
292.32/292.42 c strong branching : 0.62 2375 9423 3.97 15198.39
292.32/292.42 c (at root node) : - 9 260 28.89 -
292.32/292.42 c conflict analysis: 0.00 0 0 0.00 -
292.32/292.42 c B&B Tree :
292.32/292.42 c number of runs : 1
292.32/292.42 c nodes : 476042
292.32/292.42 c nodes (total) : 476042
292.32/292.42 c nodes left : 0
292.32/292.42 c max depth : 25
292.32/292.42 c max depth (total): 25
292.32/292.42 c backtracks : 134232 (28.2%)
292.32/292.42 c delayed cutoffs : 34105
292.32/292.42 c repropagations : 154359 (287547 domain reductions, 33036 cutoffs)
292.32/292.42 c avg switch length: 5.06
292.32/292.42 c switching time : 67.19
292.32/292.42 c Solution :
292.32/292.42 c Solutions found : 0 (0 improvements)
292.32/292.42 c Primal Bound : infeasible
292.32/292.42 c Dual Bound : -
292.32/292.42 c Gap : 0.00 %
292.32/292.42 c Root Dual Bound : +0.00000000000000e+00
292.32/292.42 c Root Iterations : 49
292.32/292.43 c Time complete: 292.37.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666229-1276601968/watcher-2666229-1276601968 -o /tmp/evaluation-result-2666229-1276601968/solver-2666229-1276601968 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666229-1276601968.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/106 2444
/proc/meminfo: memFree=1819736/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=9288 CPUtime=0
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 1034 0 0 0 0 0 0 0 20 0 1 0 33852195 9510912 955 1992294400 4194304 9819077 140737449695184 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2444/statm: 2322 962 371 1374 0 943 0
[startup+0.054734 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2444
/proc/meminfo: memFree=1819736/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=21372 CPUtime=0.04
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 4947 0 0 0 3 1 0 0 20 0 1 0 33852195 21884928 3733 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 5343 3733 676 1374 0 3964 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21372
[startup+0.100736 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2444
/proc/meminfo: memFree=1819736/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=15124 CPUtime=0.09
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 5052 0 0 0 7 2 0 0 20 0 1 0 33852195 15486976 2533 1992294400 4194304 9819077 140737449695184 18446744073709551615 6049072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 3781 2533 687 1374 0 2402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15124
[startup+0.300752 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2444
/proc/meminfo: memFree=1819736/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=14976 CPUtime=0.29
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 11520 0 0 0 21 8 0 0 20 0 1 0 33852195 15335424 2619 1992294400 4194304 9819077 140737449695184 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 3784 2620 723 1374 0 2405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14976
[startup+0.700784 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2444
/proc/meminfo: memFree=1819736/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=15560 CPUtime=0.69
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 15225 0 0 0 55 14 0 0 21 0 1 0 33852195 15933440 2622 1992294400 4194304 9819077 140737449695184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 3890 2622 723 1374 0 2511 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15560
[startup+1.50085 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1811420/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=16404 CPUtime=1.49
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 23918 0 0 0 121 28 0 0 23 0 1 0 33852195 16797696 2774 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 4101 2774 723 1374 0 2722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16404
[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1810924/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=17964 CPUtime=3.09
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 41239 0 0 0 256 53 0 0 25 0 1 0 33852195 18395136 3165 1992294400 4194304 9819077 140737449695184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 4371 3161 723 1374 0 2992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17964
[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1808444/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=19080 CPUtime=6.29
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 69596 0 0 0 534 95 0 0 25 0 1 0 33852195 19537920 3446 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 4770 3446 723 1374 0 3391 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19080
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1806708/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=20748 CPUtime=12.69
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 124383 0 0 0 1091 178 0 0 25 0 1 0 33852195 21245952 3872 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 5187 3872 723 1374 0 3808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20748
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1804104/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=23332 CPUtime=25.48
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 234007 0 0 0 2207 341 0 0 25 0 1 0 33852195 23891968 4533 1992294400 4194304 9819077 140737449695184 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 5873 4534 723 1374 0 4494 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23332
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1803112/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=24284 CPUtime=51.08
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 435686 0 0 0 4452 656 0 0 25 0 1 0 33852195 24866816 4774 1992294400 4194304 9819077 140737449695184 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6111 4775 723 1374 0 4732 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24284
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2447
/proc/meminfo: memFree=1802368/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=24956 CPUtime=102.27
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 826598 0 0 0 8964 1263 0 0 25 0 1 0 33852195 25554944 4912 1992294400 4194304 9819077 140737449695184 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6239 4912 723 1374 0 4860 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24956
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2449
/proc/meminfo: memFree=1801624/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=25668 CPUtime=162.25
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 1231032 0 0 0 14320 1905 0 0 25 0 1 0 33852195 26284032 5069 1992294400 4194304 9819077 140737449695184 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6417 5069 723 1374 0 5038 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25668
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2451
/proc/meminfo: memFree=1801004/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=222.24
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 1588770 0 0 0 19748 2476 0 0 25 0 1 0 33852195 26927104 5203 1992294400 4194304 9819077 140737449695184 18446744073709551615 4409116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5203 723 1374 0 5195 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 26296
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2451
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=282.22
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 1956530 0 0 0 25157 3065 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26296
Solver just ended. Dumping a history of the last processes samples
[startup+287.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2453
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=287.83
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 1989626 0 0 0 25664 3119 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 287.83
Current children cumulated vsize (KiB) 26296
[startup+289.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2453
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=289.42
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 2000001 0 0 0 25805 3137 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 289.42
Current children cumulated vsize (KiB) 26296
[startup+291.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2453
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=291.02
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 2010967 0 0 0 25946 3156 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 4209181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 291.02
Current children cumulated vsize (KiB) 26296
[startup+291.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2453
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=291.83
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 2015773 0 0 0 26019 3164 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 291.83
Current children cumulated vsize (KiB) 26296
[startup+292.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2453
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=292.22
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 2017878 0 0 0 26053 3169 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 292.22
Current children cumulated vsize (KiB) 26296
[startup+292.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2453
/proc/meminfo: memFree=1800880/2059040 swapFree=4136680/4192956
[pid=2444] ppid=2442 vsize=26296 CPUtime=292.32
/proc/2444/stat : 2444 (pbscip.linux.x8) R 2442 2444 2326 0 -1 4202496 2018568 0 0 0 26062 3170 0 0 25 0 1 0 33852195 26927104 5215 1992294400 4194304 9819077 140737449695184 18446744073709551615 5950399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2444/statm: 6574 5215 723 1374 0 5195 0
Current children cumulated CPU time (s) 292.32
Current children cumulated vsize (KiB) 26296
Child status: 0
Real time (s): 292.44
CPU time (s): 292.371
CPU user time (s): 260.66
CPU system time (s): 31.7102
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 27028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.66
system time used= 31.7102
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2018663
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= 908
runsolver used 0.540917 second user time and 1.34279 second system time
The end