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-2666227-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.02 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 | 22 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 28 | - | 315k| 0 | 7 | 30 | 67 | 30 | 7 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 34 | - | 335k| 0 | 8 | 30 | 67 | 30 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 41 | - | 352k| 0 | 10 | 30 | 67 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 44 | - | 369k| 0 | 12 | 30 | 67 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 48 | - | 384k| 0 | 14 | 30 | 67 | 30 | 20 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 55 | - | 396k| 0 | 13 | 30 | 67 | 30 | 24 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 2 | 55 | - | 397k| 0 | 13 | 30 | 67 | 30 | 24 | 20 | 0 | 9 | 0.000000e+00 | -- | Inf
4.29/4.37 c 3.6s| 10000 | 2080 | 16354 | 1.6 |2358k| 24 | - | 30 |2028 | 0 | 0 | 20 |2080 | 352 | 0.000000e+00 | -- | Inf
9.39/9.43 c 8.1s| 20000 | 3145 | 32108 | 1.6 |3255k| 24 | 4 | 30 |2308 | 30 | 13 | 20 |4135 | 503 | 0.000000e+00 | -- | Inf
14.20/14.22 c 12.2s| 30000 | 3767 | 47287 | 1.6 |3752k| 24 | - | 30 |2048 | 0 | 0 | 20 |6126 | 608 | 0.000000e+00 | -- | Inf
18.89/18.94 c 16.4s| 40000 | 4501 | 62834 | 1.6 |4425k| 24 | 4 | 30 |2366 | 30 | 13 | 20 |8099 | 695 | 0.000000e+00 | -- | Inf
23.68/23.71 c 20.5s| 50000 | 5199 | 78168 | 1.6 |5110k| 24 | 4 | 30 |2837 | 30 | 13 | 20 | 10k| 769 | 0.000000e+00 | -- | Inf
28.98/29.04 c 25.2s| 60000 | 5473 | 93131 | 1.6 |5450k| 24 | 4 | 30 |2768 | 30 | 13 | 20 | 12k| 844 | 0.000000e+00 | -- | Inf
34.28/34.30 c 29.8s| 70000 | 5806 |108341 | 1.5 |5872k| 24 | - | 30 |2997 | 0 | 0 | 20 | 14k| 910 | 0.000000e+00 | -- | Inf
39.48/39.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.48/39.51 c 34.4s| 80000 | 6028 |123018 | 1.5 |6124k| 24 | 4 | 30 |2846 | 30 | 13 | 20 | 15k| 969 | 0.000000e+00 | -- | Inf
44.38/44.47 c 38.8s| 90000 | 7081 |138323 | 1.5 |6968k| 24 | 4 | 30 |3475 | 30 | 13 | 20 | 17k|1029 | 0.000000e+00 | -- | Inf
50.28/50.35 c 43.9s|100000 | 7068 |153316 | 1.5 |7217k| 24 | - | 30 |3506 | 0 | 0 | 20 | 19k|1084 | 0.000000e+00 | -- | Inf
56.08/56.13 c 49.1s|110000 | 7185 |167761 | 1.5 |7363k| 24 | 4 | 30 |3205 | 30 | 13 | 20 | 21k|1138 | 0.000000e+00 | -- | Inf
61.87/61.99 c 54.3s|120000 | 7001 |182179 | 1.5 |7395k| 24 | 4 | 30 |3171 | 30 | 13 | 20 | 23k|1186 | 0.000000e+00 | -- | Inf
67.67/67.73 c 59.4s|130000 | 6818 |197094 | 1.5 |7410k| 24 | - | 30 |3086 | 0 | 0 | 20 | 24k|1230 | 0.000000e+00 | -- | Inf
73.27/73.38 c 64.5s|140000 | 6598 |211706 | 1.5 |7333k| 24 | 4 | 30 |2922 | 30 | 13 | 20 | 26k|1271 | 0.000000e+00 | -- | Inf
78.66/78.72 c 69.2s|150000 | 6555 |226013 | 1.5 |7680k| 24 | - | 30 |3750 | 0 | 0 | 20 | 28k|1321 | 0.000000e+00 | -- | Inf
84.86/84.92 c 74.7s|160000 | 6309 |241047 | 1.5 |7609k| 24 | - | 30 |3727 | 0 | 0 | 20 | 30k|1364 | 0.000000e+00 | -- | Inf
90.86/90.90 c 80.1s|170000 | 6583 |256241 | 1.5 |7952k| 24 | - | 30 |4050 | 0 | 0 | 20 | 32k|1470 | 0.000000e+00 | -- | Inf
96.56/96.67 c 85.2s|180000 | 6801 |270928 | 1.5 |8496k| 24 | 4 | 30 |4882 | 30 | 13 | 20 | 34k|1540 | 0.000000e+00 | -- | Inf
103.16/103.29 c 91.2s|190000 | 6637 |285684 | 1.5 |8385k| 24 | - | 30 |4374 | 30 | 13 | 20 | 36k|1542 | 0.000000e+00 | -- | Inf
109.66/109.76 c 97.0s|200000 | 6732 |301405 | 1.5 |8857k| 24 | - | 30 |5312 | 0 | 0 | 20 | 38k|1579 | 0.000000e+00 | -- | Inf
116.96/117.04 c 104s|210000 | 6387 |316362 | 1.5 |8527k| 25 | - | 30 |4687 | 30 | 13 | 20 | 40k|1609 | 0.000000e+00 | -- | Inf
123.55/123.65 c 110s|220000 | 6365 |331672 | 1.5 |8529k| 25 | 4 | 30 |4470 | 30 | 13 | 20 | 42k|1645 | 0.000000e+00 | -- | Inf
130.35/130.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.35/130.49 c 116s|230000 | 6061 |346999 | 1.5 |8234k| 25 | 4 | 30 |3936 | 30 | 13 | 20 | 44k|1684 | 0.000000e+00 | -- | Inf
137.15/137.21 c 122s|240000 | 5753 |362750 | 1.5 |8066k| 25 | 4 | 30 |3972 | 30 | 13 | 20 | 46k|1731 | 0.000000e+00 | -- | Inf
143.96/144.03 c 128s|250000 | 5523 |378362 | 1.5 |7995k| 25 | 4 | 30 |4081 | 30 | 13 | 20 | 48k|1768 | 0.000000e+00 | -- | Inf
149.95/150.02 c 133s|260000 | 6389 |393925 | 1.5 |8811k| 25 | 4 | 30 |4777 | 30 | 13 | 20 | 50k|1804 | 0.000000e+00 | -- | Inf
156.24/156.39 c 139s|270000 | 7186 |409720 | 1.5 |9514k| 25 | 4 | 30 |5288 | 30 | 13 | 20 | 52k|1839 | 0.000000e+00 | -- | Inf
163.24/163.36 c 145s|280000 | 7300 |425141 | 1.5 |9805k| 25 | 4 | 30 |5363 | 30 | 13 | 20 | 54k|1870 | 0.000000e+00 | -- | Inf
170.74/170.87 c 152s|290000 | 6809 |440261 | 1.5 |9543k| 25 | 4 | 30 |5059 | 30 | 13 | 20 | 56k|1903 | 0.000000e+00 | -- | Inf
178.14/178.25 c 159s|300000 | 6460 |456025 | 1.5 |9541k| 25 | 4 | 30 |5656 | 30 | 13 | 20 | 58k|1939 | 0.000000e+00 | -- | Inf
185.63/185.70 c 166s|310000 | 6162 |471368 | 1.5 |9304k| 25 | - | 30 |5340 | 0 | 0 | 20 | 60k|1977 | 0.000000e+00 | -- | Inf
192.73/192.83 c 172s|320000 | 5932 |486723 | 1.5 |8986k| 25 | 4 | 30 |4523 | 30 | 13 | 20 | 62k|2008 | 0.000000e+00 | -- | Inf
199.72/199.85 c 179s|330000 | 5470 |501693 | 1.5 |8539k| 25 | 4 | 30 |4195 | 30 | 13 | 20 | 64k|2044 | 0.000000e+00 | -- | Inf
206.92/207.09 c 185s|340000 | 4797 |516934 | 1.5 |8023k| 25 | - | 30 |4151 | 0 | 0 | 20 | 66k|2076 | 0.000000e+00 | -- | Inf
213.33/213.47 c 191s|350000 | 5072 |532274 | 1.5 |8259k| 25 | 4 | 30 |4687 | 30 | 13 | 20 | 68k|2106 | 0.000000e+00 | -- | Inf
219.52/219.66 c 196s|360000 | 5845 |547257 | 1.5 |9064k| 25 | 4 | 30 |5520 | 30 | 13 | 20 | 70k|2132 | 0.000000e+00 | -- | Inf
226.72/226.87 c 203s|370000 | 5932 |561874 | 1.5 |9308k| 25 | - | 30 |5674 | 30 | 13 | 20 | 72k|2164 | 0.000000e+00 | -- | Inf
233.92/234.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.92/234.10 c 210s|380000 | 5657 |576329 | 1.5 |9231k| 25 | 4 | 30 |5625 | 30 | 13 | 20 | 74k|2197 | 0.000000e+00 | -- | Inf
241.21/241.37 c 216s|390000 | 5314 |590722 | 1.5 |9169k| 25 | 4 | 30 |5947 | 30 | 13 | 20 | 76k|2229 | 0.000000e+00 | -- | Inf
248.92/249.01 c 223s|400000 | 5531 |606591 | 1.5 |9617k| 25 | 4 | 30 |6889 | 30 | 13 | 20 | 78k|2254 | 0.000000e+00 | -- | Inf
258.71/258.82 c 232s|410000 | 4809 |622666 | 1.5 |9011k| 25 | - | 30 |6274 | 30 | 13 | 20 | 80k|2292 | 0.000000e+00 | -- | Inf
266.11/266.27 c 239s|420000 | 4708 |637177 | 1.5 |9009k| 25 | 4 | 30 |6476 | 30 | 13 | 20 | 82k|2319 | 0.000000e+00 | -- | Inf
274.21/274.38 c 247s|430000 | 4441 |651930 | 1.5 |8550k| 25 | 4 | 30 |5959 | 30 | 13 | 20 | 84k|2348 | 0.000000e+00 | -- | Inf
282.01/282.19 c 254s|440000 | 4004 |666198 | 1.5 |8164k| 25 | 4 | 30 |5809 | 30 | 13 | 20 | 86k|2372 | 0.000000e+00 | -- | Inf
290.10/290.24 c 261s|450000 | 3459 |680953 | 1.5 |7543k| 25 | - | 30 |5415 | 0 | 0 | 20 | 88k|2407 | 0.000000e+00 | -- | Inf
297.80/297.92 c 268s|460000 | 2846 |695095 | 1.5 |6634k| 25 | - | 30 |4543 | 0 | 0 | 20 | 89k|2436 | 0.000000e+00 | -- | Inf
304.80/304.93 c 275s|470000 | 2262 |709700 | 1.5 |6018k| 25 | - | 30 |4477 | 30 | 13 | 20 | 91k|2462 | 0.000000e+00 | -- | Inf
311.70/311.82 c 281s|480000 | 1737 |724545 | 1.5 |5343k| 25 | - | 30 |4276 | 0 | 0 | 20 | 93k|2490 | 0.000000e+00 | -- | Inf
318.89/319.07 c 288s|490000 | 1017 |739531 | 1.5 |4270k| 25 | - | 30 |3796 | 0 | 0 | 20 | 95k|2515 | 0.000000e+00 | -- | Inf
325.59/325.72 c 294s|500000 | 517 |754088 | 1.5 |3465k| 25 | 4 | 30 |3958 | 30 | 13 | 20 | 97k|2540 | 0.000000e+00 | -- | Inf
331.59/331.72 c 299s|510000 | 420 |768652 | 1.5 |3815k| 25 | - | 30 |5166 | 0 | 0 | 20 | 99k|2568 | 0.000000e+00 | -- | Inf
338.58/338.80 c 305s|520000 | 149 |783744 | 1.5 |3253k| 25 | - | 30 |5053 | 30 | 13 | 20 | 101k|2596 | 0.000000e+00 | -- | Inf
344.68/344.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.68/344.89 c 311s|530000 | 647 |797971 | 1.5 |3768k| 25 | 4 | 30 |5763 | 30 | 13 | 20 | 102k|2619 | 0.000000e+00 | -- | Inf
352.08/352.29 c 318s|540000 | 192 |812551 | 1.5 |3624k| 25 | 4 | 30 |6071 | 30 | 13 | 20 | 104k|2642 | 0.000000e+00 | -- | Inf
358.88/359.10 c 324s|550000 | 927 |827401 | 1.5 |4400k| 25 | 4 | 30 |6799 | 30 | 13 | 20 | 106k|2663 | 0.000000e+00 | -- | Inf
366.67/366.88 c 331s|560000 | 787 |841896 | 1.5 |4584k| 25 | 4 | 30 |7263 | 30 | 13 | 20 | 108k|2681 | 0.000000e+00 | -- | Inf
375.67/375.86 c 339s|570000 | 55 |856614 | 1.5 |3762k| 25 | - | 30 |6831 | 0 | 0 | 20 | 110k|2704 | 0.000000e+00 | -- | Inf
382.97/383.16 c 346s|580000 | 238 |871028 | 1.5 |4058k| 25 | 4 | 30 |7114 | 30 | 13 | 20 | 112k|2732 | 0.000000e+00 | -- | Inf
391.17/391.36 c 353s|590000 | 30 |886370 | 1.5 |3954k| 25 | 4 | 30 |7424 | 30 | 13 | 20 | 114k|2750 | 0.000000e+00 | -- | Inf
391.48/391.63 c
391.48/391.63 c SCIP Status : problem is solved [infeasible]
391.48/391.63 c Solving Time (sec) : 353.57
391.48/391.63 c Solving Nodes : 590270
391.48/391.63 c Primal Bound : +1.00000000000000e+20 (0 solutions)
391.48/391.63 c Dual Bound : +1.00000000000000e+20
391.48/391.63 c Gap : 0.00 %
391.48/391.63 s UNSATISFIABLE
391.48/391.63 c SCIP Status : problem is solved [infeasible]
391.48/391.63 c Solving Time : 353.57
391.48/391.63 c Original Problem :
391.48/391.63 c Problem name : HOME/instance-2666227-1276600503.opb
391.48/391.63 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
391.48/391.63 c Constraints : 9 initial, 9 maximal
391.48/391.63 c Presolved Problem :
391.48/391.63 c Problem name : t_HOME/instance-2666227-1276600503.opb
391.48/391.63 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
391.48/391.63 c Constraints : 4 initial, 7574 maximal
391.48/391.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
391.48/391.63 c trivial : 0.00 0 0 0 0 0 0 0 0
391.48/391.63 c dualfix : 0.00 1 0 0 0 0 0 0 0
391.48/391.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
391.48/391.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
391.48/391.63 c implics : 0.00 0 0 0 0 0 0 0 0
391.48/391.63 c probing : 0.00 0 0 0 0 0 0 0 0
391.48/391.63 c linear : 0.00 0 0 0 0 0 5 0 0
391.48/391.63 c logicor : 0.00 0 0 0 0 0 0 0 0
391.48/391.63 c root node : - 1 - - 1 - - - -
391.48/391.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
391.48/391.63 c integral : 0 0 0 316857 0 202 1046 0 0 631458
391.48/391.63 c linear : 4+ 7 1056798 0 0 240027 1663055 0 0 0
391.48/391.63 c logicor : 0+ 0 521887 0 0 3339 130756 0 0 0
391.48/391.63 c countsols : 0 0 0 0 0 0 0 0 0 0
391.48/391.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
391.48/391.63 c integral : 4.00 0.00 0.00 4.00 0.00
391.48/391.63 c linear : 49.14 0.00 49.14 0.00 0.00
391.48/391.63 c logicor : 86.36 0.00 86.36 0.00 0.00
391.48/391.63 c countsols : 0.00 0.00 0.00 0.00 0.00
391.48/391.63 c Propagators : Time Calls Cutoffs DomReds
391.48/391.63 c vbounds : 0.48 2 0 0
391.48/391.63 c rootredcost : 0.45 0 0 0
391.48/391.63 c pseudoobj : 0.36 0 0 0
391.48/391.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
391.48/391.63 c propagation : 8.70 243366 61814 165939 19.5 7 16.4 -
391.48/391.63 c infeasible LP : 2.29 71235 43406 55620 11.7 177 17.6 0
391.48/391.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
391.48/391.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
391.48/391.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
391.48/391.63 c applied globally : - - - 114934 15.1 - - -
391.48/391.63 c applied locally : - - - 0 0.0 - - -
391.48/391.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
391.48/391.63 c cut pool : 0.00 5 - - 50 - (maximal pool size: 95)
391.48/391.63 c redcost : 0.41 316861 0 0 0 0
391.48/391.63 c impliedbounds : 0.00 6 0 0 0 0
391.48/391.63 c intobj : 0.00 0 0 0 0 0
391.48/391.63 c cgmip : 0.00 0 0 0 0 0
391.48/391.63 c gomory : 0.00 6 0 0 0 0
391.48/391.63 c strongcg : 0.00 6 0 0 31 0
391.48/391.63 c cmir : 0.02 6 0 0 37 0
391.48/391.63 c flowcover : 0.00 6 0 0 55 0
391.48/391.63 c clique : 0.00 1 0 0 0 0
391.48/391.63 c zerohalf : 0.00 0 0 0 0 0
391.48/391.63 c mcf : 0.00 1 0 0 0 0
391.48/391.63 c rapidlearning : 0.04 1 0 0 0 63
391.48/391.63 c Pricers : Time Calls Vars
391.48/391.63 c problem variables: 0.00 0 0
391.48/391.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
391.48/391.63 c relpscost : 3.53 316857 202 1046 0 0 631458
391.48/391.63 c pscost : 0.00 0 0 0 0 0 0
391.48/391.63 c inference : 0.00 0 0 0 0 0 0
391.48/391.63 c mostinf : 0.00 0 0 0 0 0 0
391.48/391.63 c leastinf : 0.00 0 0 0 0 0 0
391.48/391.63 c fullstrong : 0.00 0 0 0 0 0 0
391.48/391.63 c allfullstrong : 0.00 0 0 0 0 0 0
391.48/391.64 c random : 0.00 0 0 0 0 0 0
391.48/391.64 c Primal Heuristics : Time Calls Found
391.48/391.64 c LP solutions : 0.00 - 0
391.48/391.64 c pseudo solutions : 0.00 - 0
391.48/391.64 c oneopt : 0.64 0 0
391.48/391.64 c crossover : 0.35 0 0
391.48/391.64 c guideddiving : 0.05 0 0
391.48/391.64 c fracdiving : 0.09 41 0
391.48/391.64 c veclendiving : 0.05 41 0
391.48/391.64 c coefdiving : 0.06 42 0
391.48/391.64 c pscostdiving : 0.10 42 0
391.48/391.64 c linesearchdiving : 0.07 42 0
391.48/391.64 c objpscostdiving : 0.04 23 0
391.48/391.64 c feaspump : 0.05 24 0
391.48/391.64 c trivial : 0.00 2 0
391.48/391.64 c simplerounding : 0.20 0 0
391.48/391.64 c zirounding : 0.27 1000 0
391.48/391.64 c rounding : 0.43 7969 0
391.48/391.64 c shifting : 1.25 3109 0
391.48/391.64 c intshifting : 0.05 0 0
391.48/391.64 c twoopt : 0.00 0 0
391.48/391.64 c fixandinfer : 0.00 0 0
391.48/391.64 c intdiving : 0.00 0 0
391.48/391.64 c actconsdiving : 0.00 0 0
391.48/391.64 c rootsoldiving : 0.03 20 0
391.48/391.64 c octane : 0.00 0 0
391.48/391.64 c rens : 0.02 1 0
391.48/391.64 c rins : 0.00 0 0
391.48/391.64 c localbranching : 0.00 0 0
391.48/391.64 c mutation : 0.00 0 0
391.48/391.64 c dins : 0.00 0 0
391.48/391.64 c undercover : 0.00 0 0
391.48/391.64 c nlp : 0.31 0 0
391.48/391.64 c trysol : 0.34 0 0
391.48/391.64 c LP : Time Calls Iterations Iter/call Iter/sec
391.48/391.64 c primal LP : 0.00 0 0 0.00 -
391.48/391.64 c dual LP : 60.24 383671 886488 2.31 14715.94
391.48/391.64 c lex dual LP : 0.00 0 0 0.00 -
391.48/391.64 c barrier LP : 0.00 0 0 0.00 -
391.48/391.64 c diving/probing LP: 0.04 202 402 1.99 10050.00
391.48/391.64 c strong branching : 0.58 2750 10522 3.83 18141.38
391.48/391.64 c (at root node) : - 9 204 22.67 -
391.48/391.64 c conflict analysis: 0.00 0 0 0.00 -
391.48/391.64 c B&B Tree :
391.48/391.64 c number of runs : 1
391.48/391.64 c nodes : 590270
391.48/391.64 c nodes (total) : 590270
391.48/391.64 c nodes left : 0
391.48/391.64 c max depth : 25
391.48/391.64 c max depth (total): 25
391.48/391.64 c backtracks : 166797 (28.3%)
391.48/391.64 c delayed cutoffs : 41189
391.48/391.64 c repropagations : 172246 (356428 domain reductions, 39772 cutoffs)
391.48/391.64 c avg switch length: 5.00
391.48/391.64 c switching time : 94.40
391.48/391.64 c Solution :
391.48/391.64 c Solutions found : 0 (0 improvements)
391.48/391.64 c Primal Bound : infeasible
391.48/391.64 c Dual Bound : -
391.48/391.64 c Gap : 0.00 %
391.48/391.64 c Root Dual Bound : +0.00000000000000e+00
391.48/391.64 c Root Iterations : 55
391.48/391.66 c Time complete: 391.52.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666227-1276600503/watcher-2666227-1276600503 -o /tmp/evaluation-result-2666227-1276600503/solver-2666227-1276600503 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666227-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.97 0.98 1.05 3/107 2438
/proc/meminfo: memFree=1793996/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=8256 CPUtime=0
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 841 0 0 0 0 0 0 0 19 0 1 0 33706040 8454144 762 1992294400 4194304 9819077 140733416024224 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2438/statm: 2064 773 359 1374 0 685 0
[startup+0.0373279 s]
/proc/loadavg: 0.97 0.98 1.05 3/107 2438
/proc/meminfo: memFree=1793996/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=21364 CPUtime=0.03
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 4660 0 0 0 1 2 0 0 19 0 1 0 33706040 21876736 3704 1992294400 4194304 9819077 140733416024224 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 5341 3704 668 1374 0 3962 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21364
[startup+0.100314 s]
/proc/loadavg: 0.97 0.98 1.05 3/107 2438
/proc/meminfo: memFree=1793996/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=15156 CPUtime=0.09
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 5049 0 0 0 6 3 0 0 19 0 1 0 33706040 15519744 2528 1992294400 4194304 9819077 140733416024224 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 3789 2528 687 1374 0 2410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15156
[startup+0.300332 s]
/proc/loadavg: 0.97 0.98 1.05 3/107 2438
/proc/meminfo: memFree=1793996/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=14788 CPUtime=0.29
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 12412 0 0 0 20 9 0 0 20 0 1 0 33706040 15142912 2612 1992294400 4194304 9819077 140733416024224 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 3816 2614 723 1374 0 2437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14788
[startup+0.700367 s]
/proc/loadavg: 0.97 0.98 1.05 3/107 2438
/proc/meminfo: memFree=1793996/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=15584 CPUtime=0.69
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 16164 0 0 0 54 15 0 0 20 0 1 0 33706040 15958016 2617 1992294400 4194304 9819077 140733416024224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 3657 2612 724 1374 0 2278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15584
[startup+1.50044 s]
/proc/loadavg: 0.97 0.98 1.05 2/108 2439
/proc/meminfo: memFree=1785680/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=16240 CPUtime=1.49
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 25000 0 0 0 120 29 0 0 22 0 1 0 33706040 16629760 2739 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 4060 2739 724 1374 0 2681 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16240
[startup+3.10058 s]
/proc/loadavg: 0.97 0.98 1.05 2/108 2439
/proc/meminfo: memFree=1784812/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=17680 CPUtime=3.09
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 41564 0 0 0 256 53 0 0 25 0 1 0 33706040 18104320 3104 1992294400 4194304 9819077 140733416024224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 4260 3099 724 1374 0 2881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17680
[startup+6.30087 s]
/proc/loadavg: 0.97 0.98 1.05 2/108 2439
/proc/meminfo: memFree=1782952/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=18844 CPUtime=6.29
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 70248 0 0 0 533 96 0 0 25 0 1 0 33706040 19296256 3379 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 4711 3379 724 1374 0 3332 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18844
[startup+12.7014 s]
/proc/loadavg: 0.97 0.98 1.05 2/108 2439
/proc/meminfo: memFree=1781216/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=20376 CPUtime=12.69
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 124348 0 0 0 1093 176 0 0 25 0 1 0 33706040 20865024 3756 1992294400 4194304 9819077 140733416024224 18446744073709551615 5000581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 5094 3756 724 1374 0 3715 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20376
[startup+25.5016 s]
/proc/loadavg: 0.98 0.98 1.05 2/108 2441
/proc/meminfo: memFree=1779604/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=22416 CPUtime=25.49
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 231541 0 0 0 2205 344 0 0 25 0 1 0 33706040 22953984 4281 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 5604 4281 724 1374 0 4225 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22416
[startup+51.1019 s]
/proc/loadavg: 0.98 0.98 1.05 2/108 2441
/proc/meminfo: memFree=1777124/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=24508 CPUtime=51.08
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 421973 0 0 0 4461 647 0 0 25 0 1 0 33706040 25096192 4810 1992294400 4194304 9819077 140733416024224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 6127 4810 724 1374 0 4748 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24508
[startup+102.308 s]
/proc/loadavg: 0.99 0.98 1.04 2/108 2443
/proc/meminfo: memFree=1775760/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=25828 CPUtime=102.27
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 760671 0 0 0 9035 1192 0 0 25 0 1 0 33706040 26447872 5118 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 6457 5118 724 1374 0 5078 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25828
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.04 2/108 2443
/proc/meminfo: memFree=1773652/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=27012 CPUtime=162.25
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 1119306 0 0 0 14440 1785 0 0 25 0 1 0 33706040 27660288 5569 1992294400 4194304 9819077 140733416024224 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 6913 5574 724 1374 0 5534 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27012
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/108 2445
/proc/meminfo: memFree=1772412/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=28948 CPUtime=222.22
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 1455157 0 0 0 19889 2333 0 0 25 0 1 0 33706040 29642752 5870 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7237 5870 724 1374 0 5858 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 28948
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/108 2447
/proc/meminfo: memFree=1771916/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29712 CPUtime=282.21
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 1751101 0 0 0 25388 2833 0 0 25 0 1 0 33706040 30425088 6016 1992294400 4194304 9819077 140733416024224 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7428 6016 724 1374 0 6049 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29712
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/108 2449
/proc/meminfo: memFree=1771792/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29712 CPUtime=342.18
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2075864 0 0 0 30842 3376 0 0 25 0 1 0 33706040 30425088 6021 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7428 6021 724 1374 0 6049 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 29712
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/108 2449
/proc/meminfo: memFree=1771668/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29712 CPUtime=358.17
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2163563 0 0 0 32299 3518 0 0 25 0 1 0 33706040 30425088 6024 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7428 6024 724 1374 0 6049 0
Current children cumulated CPU time (s) 358.17
Current children cumulated vsize (KiB) 29712
[startup+371.101 s]
/proc/loadavg: 0.99 0.98 1.02 2/108 2449
/proc/meminfo: memFree=1771668/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29712 CPUtime=370.97
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2223499 0 0 0 33477 3620 0 0 25 0 1 0 33706040 30425088 6024 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7428 6024 724 1374 0 6049 0
Current children cumulated CPU time (s) 370.97
Current children cumulated vsize (KiB) 29712
[startup+383.909 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2449
/proc/meminfo: memFree=1771668/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29712 CPUtime=383.78
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2285295 0 0 0 34647 3731 0 0 25 0 1 0 33706040 30425088 6029 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7428 6029 724 1374 0 6049 0
Current children cumulated CPU time (s) 383.78
Current children cumulated vsize (KiB) 29712
[startup+387.101 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2449
/proc/meminfo: memFree=1771668/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29772 CPUtime=386.98
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2301316 0 0 0 34939 3759 0 0 25 0 1 0 33706040 30486528 6045 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7443 6045 724 1374 0 6064 0
Current children cumulated CPU time (s) 386.98
Current children cumulated vsize (KiB) 29772
[startup+388.701 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2449
/proc/meminfo: memFree=1771668/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29772 CPUtime=388.57
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2307987 0 0 0 35085 3772 0 0 25 0 1 0 33706040 30486528 6045 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7443 6045 724 1374 0 6064 0
Current children cumulated CPU time (s) 388.57
Current children cumulated vsize (KiB) 29772
[startup+390.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2449
/proc/meminfo: memFree=1771544/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29828 CPUtime=390.17
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2315635 0 0 0 35233 3784 0 0 25 0 1 0 33706040 30543872 6058 1992294400 4194304 9819077 140733416024224 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7457 6058 724 1374 0 6078 0
Current children cumulated CPU time (s) 390.17
Current children cumulated vsize (KiB) 29828
[startup+391.101 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2449
/proc/meminfo: memFree=1771544/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29828 CPUtime=390.97
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2319355 0 0 0 35307 3790 0 0 25 0 1 0 33706040 30543872 6068 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7457 6068 724 1374 0 6078 0
Current children cumulated CPU time (s) 390.97
Current children cumulated vsize (KiB) 29828
[startup+391.501 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2451
/proc/meminfo: memFree=1771544/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29828 CPUtime=391.38
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2321310 0 0 0 35346 3792 0 0 25 0 1 0 33706040 30543872 6068 1992294400 4194304 9819077 140733416024224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7457 6068 724 1374 0 6078 0
Current children cumulated CPU time (s) 391.38
Current children cumulated vsize (KiB) 29828
[startup+391.608 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2451
/proc/meminfo: memFree=1771544/2059040 swapFree=4140108/4192956
[pid=2438] ppid=2436 vsize=29828 CPUtime=391.48
/proc/2438/stat : 2438 (pbscip.linux.x8) R 2436 2438 2371 0 -1 4202496 2321715 0 0 0 35355 3793 0 0 25 0 1 0 33706040 30543872 6068 1992294400 4194304 9819077 140733416024224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2438/statm: 7457 6068 724 1374 0 6078 0
Current children cumulated CPU time (s) 391.48
Current children cumulated vsize (KiB) 29828
Child status: 0
Real time (s): 391.661
CPU time (s): 391.537
CPU user time (s): 353.598
CPU system time (s): 37.9392
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 30348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.598
system time used= 37.9392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2321860
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= 1
involuntary context switches= 1302
runsolver used 0.594909 second user time and 1.91371 second system time
The end