0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663872-1276669398.opb>
0.00/0.02 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1545 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10152 impls, 200 clqs
0.39/0.42 c (0.2s) probing: 101/1444 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (2 rounds):
0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 10152 implications, 200 cliques
0.39/0.42 c presolved problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1545 constraints
0.39/0.42 c 200 constraints of type <setppc>
0.39/0.42 c 1244 constraints of type <and>
0.39/0.42 c 1 constraints of type <linear>
0.39/0.42 c 100 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.22
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.99
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c heuristics/undercover/freq = 0
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c t 0.2s| 1 | 2 | 0 | - |4328k| 0 | - |1444 |1545 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
4.49/4.54 o -7
4.49/4.54 c * 4.2s| 7070 | 6836 | 0 | 0.0 | 11M| 113 | - |1444 |1672 | 0 | 0 | 0 | 138 | 0 |-9.900000e+01 |-7.000000e+00 | 92.93%
4.49/4.54 o -8
4.49/4.54 c * 4.2s| 7074 | 6836 | 0 | 0.0 | 11M| 113 | - |1444 |1674 | 0 | 0 | 0 | 140 | 0 |-9.900000e+01 |-8.000000e+00 | 91.92%
4.79/4.84 o -10
4.79/4.84 c * 4.4s| 7650 | 7378 | 0 | 0.0 | 12M| 113 | - |1444 |1688 | 0 | 0 | 0 | 166 | 0 |-9.900000e+01 |-1.000000e+01 | 89.90%
4.99/5.02 o -11
4.99/5.02 c * 4.6s| 8004 | 7711 | 0 | 0.0 | 12M| 113 | - |1444 |1696 | 0 | 0 | 0 | 181 | 0 |-9.900000e+01 |-1.100000e+01 | 88.89%
5.09/5.16 o -12
5.09/5.16 c * 4.7s| 8261 | 7950 | 0 | 0.0 | 13M| 113 | - |1444 |1701 | 0 | 0 | 0 | 194 | 0 |-9.900000e+01 |-1.200000e+01 | 87.88%
5.89/5.99 o -14
5.89/5.99 c * 5.5s| 9655 | 9187 | 0 | 0.0 | 15M| 113 | - |1444 |1767 | 0 | 0 | 0 | 318 | 0 |-9.900000e+01 |-1.400000e+01 | 85.86%
6.19/6.22 c 5.8s| 10000 | 9479 | 0 | 0.0 | 15M| 113 | - |1444 |1795 | 0 | 0 | 0 | 362 | 0 |-9.900000e+01 |-1.400000e+01 | 85.86%
7.89/7.98 o -15
7.89/7.98 c * 7.4s| 12432 | 11186 | 0 | 0.0 | 19M| 113 | - |1444 |1982 | 0 | 0 | 0 | 942 | 0 |-9.900000e+01 |-1.500000e+01 | 84.85%
14.59/14.67 c 13.8s| 20000 | 14525 | 0 | 0.0 | 28M| 113 | - |1444 |2026 | 0 | 0 | 0 |3571 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
21.58/21.61 c 20.5s| 30000 | 23480 | 0 | 0.0 | 49M| 113 | - |1444 |2046 | 0 | 0 | 0 |4461 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
28.68/28.72 c 27.3s| 40000 | 32189 | 0 | 0.0 | 70M| 113 | - |1444 |2124 | 0 | 0 | 0 |5661 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
35.48/35.53 c 33.8s| 50000 | 40847 | 0 | 0.0 | 90M| 113 | - |1444 |2178 | 0 | 0 | 0 |6859 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
42.38/42.47 c 40.5s| 60000 | 49167 | 0 | 0.0 | 109M| 113 | - |1444 |2186 | 0 | 0 | 0 |8411 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
46.48/46.51 o -16
46.48/46.51 c *44.3s| 65929 | 54099 | 0 | 0.0 | 120M| 113 | - |1444 |2244 | 0 | 0 | 0 |9296 | 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
49.28/49.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.28/49.39 c 47.1s| 70000 | 57334 | 0 | 0.0 | 127M| 113 | - |1444 |2300 | 0 | 0 | 0 | 10k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
56.47/56.51 c 53.9s| 80000 | 64987 | 0 | 0.0 | 144M| 113 | - |1444 |2398 | 0 | 0 | 0 | 12k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
63.57/63.65 c 60.7s| 90000 | 72411 | 0 | 0.0 | 161M| 113 | - |1444 |2473 | 0 | 0 | 0 | 14k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
70.87/70.98 c 67.7s|100000 | 79610 | 0 | 0.0 | 176M| 113 | - |1444 |2500 | 0 | 0 | 0 | 17k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
78.47/78.54 c 74.9s|110000 | 86454 | 0 | 0.0 | 191M| 113 | - |1444 |2575 | 0 | 0 | 0 | 20k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
86.17/86.26 c 82.3s|120000 | 92841 | 0 | 0.0 | 204M| 113 | - |1444 |2698 | 0 | 0 | 0 | 23k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
94.27/94.35 c 90.1s|130000 | 98883 | 0 | 0.0 | 217M| 113 | - |1444 |2824 | 0 | 0 | 0 | 26k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
102.27/102.37 c 97.8s|140000 |105331 | 0 | 0.0 | 231M| 113 | - |1444 |2957 | 0 | 0 | 0 | 29k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
111.66/111.71 c 107s|150000 |110106 | 0 | 0.0 | 241M| 113 | - |1444 |3182 | 0 | 0 | 0 | 33k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
121.66/121.76 c 117s|160000 |113662 | 0 | 0.0 | 250M| 113 | - |1444 |2971 | 0 | 0 | 0 | 37k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
129.45/129.56 c 124s|170000 |121464 | 0 | 0.0 | 268M| 113 | - |1444 |2467 | 0 | 0 | 0 | 39k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
137.05/137.13 c 131s|180000 |130822 | 0 | 0.0 | 294M| 113 | - |1444 |2520 | 0 | 0 | 0 | 39k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
144.75/144.84 c 139s|190000 |140071 | 0 | 0.0 | 319M| 113 | - |1444 |2503 | 0 | 0 | 0 | 40k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
152.15/152.30 c 146s|200000 |149130 | 0 | 0.0 | 343M| 113 | - |1444 |2596 | 0 | 0 | 0 | 41k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
159.85/159.96 c 153s|210000 |158117 | 0 | 0.0 | 368M| 113 | - |1444 |2696 | 0 | 0 | 0 | 42k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
167.35/167.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.35/167.46 c 160s|220000 |167039 | 0 | 0.0 | 391M| 113 | - |1444 |2817 | 0 | 0 | 0 | 43k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
174.94/175.05 c 168s|230000 |175815 | 0 | 0.0 | 414M| 113 | - |1444 |2824 | 0 | 0 | 0 | 44k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
182.64/182.79 c 175s|240000 |184658 | 0 | 0.0 | 438M| 113 | - |1444 |2796 | 0 | 0 | 0 | 45k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
190.14/190.28 c 182s|250000 |193505 | 0 | 0.0 | 461M| 113 | - |1444 |2925 | 0 | 0 | 0 | 46k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
197.74/197.83 c 189s|260000 |202386 | 0 | 0.0 | 484M| 113 | - |1444 |2934 | 0 | 0 | 0 | 47k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
205.13/205.27 c 197s|270000 |211290 | 0 | 0.0 | 507M| 113 | - |1444 |2977 | 0 | 0 | 0 | 48k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
212.63/212.74 c 204s|280000 |220218 | 0 | 0.0 | 529M| 113 | - |1444 |2981 | 0 | 0 | 0 | 49k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
219.94/220.02 c 211s|290000 |229023 | 0 | 0.0 | 550M| 113 | - |1444 |2979 | 0 | 0 | 0 | 50k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
227.13/227.30 c 218s|300000 |237846 | 0 | 0.0 | 571M| 113 | - |1444 |3002 | 0 | 0 | 0 | 52k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
231.23/231.36 o -17
231.23/231.36 c * 222s|305409 |242557 | 0 | 0.0 | 583M| 113 | - |1444 |3069 | 0 | 0 | 0 | 52k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
234.63/234.71 c 225s|310000 |246598 | 0 | 0.0 | 593M| 113 | - |1444 |3026 | 0 | 0 | 0 | 53k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
241.72/241.89 c 232s|320000 |255424 | 0 | 0.0 | 614M| 113 | - |1444 |3065 | 0 | 0 | 0 | 54k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
249.02/249.13 c 239s|330000 |264143 | 0 | 0.0 | 635M| 113 | - |1444 |3068 | 0 | 0 | 0 | 55k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
256.03/256.18 c 245s|340000 |272775 | 0 | 0.0 | 655M| 113 | - |1444 |3122 | 0 | 0 | 0 | 56k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
263.32/263.46 c 252s|350000 |281356 | 0 | 0.0 | 675M| 113 | - |1444 |3067 | 0 | 0 | 0 | 58k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
270.62/270.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.62/270.79 c 259s|360000 |290053 | 0 | 0.0 | 696M| 113 | - |1444 |3183 | 0 | 0 | 0 | 59k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
277.91/278.07 c 266s|370000 |298679 | 0 | 0.0 | 716M| 113 | - |1444 |3148 | 0 | 0 | 0 | 60k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
285.41/285.53 c 273s|380000 |307196 | 0 | 0.0 | 737M| 113 | - |1444 |3173 | 0 | 0 | 0 | 62k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
292.61/292.76 c 280s|390000 |315711 | 0 | 0.0 | 756M| 113 | - |1444 |3335 | 0 | 0 | 0 | 63k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
300.01/300.11 c 287s|400000 |324304 | 0 | 0.0 | 776M| 113 | - |1444 |3181 | 0 | 0 | 0 | 65k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
307.41/307.53 c 294s|410000 |332627 | 0 | 0.0 | 795M| 113 | - |1444 |3223 | 0 | 0 | 0 | 66k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
314.80/314.96 c 301s|420000 |341043 | 0 | 0.0 | 814M| 113 | - |1444 |3155 | 0 | 0 | 0 | 68k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
322.21/322.31 c 308s|430000 |349339 | 0 | 0.0 | 832M| 113 | - |1444 |3296 | 0 | 0 | 0 | 70k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
329.20/329.38 c 315s|440000 |358097 | 0 | 0.0 | 851M| 113 | - |1444 |3270 | 0 | 0 | 0 | 71k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
336.30/336.49 c 322s|450000 |366492 | 0 | 0.0 | 869M| 113 | - |1444 |3365 | 0 | 0 | 0 | 72k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
343.59/343.76 c 329s|460000 |374923 | 0 | 0.0 | 887M| 113 | - |1444 |3287 | 0 | 0 | 0 | 74k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
350.80/350.95 c 336s|470000 |383106 | 0 | 0.0 | 904M| 113 | - |1444 |3602 | 0 | 0 | 0 | 76k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
357.80/357.99 c 343s|480000 |391730 | 0 | 0.0 | 922M| 113 | - |1444 |3459 | 0 | 0 | 0 | 77k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
365.00/365.16 c 350s|490000 |400174 | 0 | 0.0 | 940M| 113 | - |1444 |3285 | 0 | 0 | 0 | 78k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
372.29/372.48 c 357s|500000 |408387 | 0 | 0.0 | 958M| 113 | - |1444 |3394 | 0 | 0 | 0 | 80k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
379.79/379.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.79/379.97 c 364s|510000 |416406 | 0 | 0.0 | 975M| 113 | - |1444 |3429 | 0 | 0 | 0 | 82k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
387.19/387.38 c 371s|520000 |424285 | 0 | 0.0 | 991M| 113 | - |1444 |3498 | 0 | 0 | 0 | 84k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
394.58/394.74 c 378s|530000 |432078 | 0 | 0.0 |1007M| 113 | - |1444 |3919 | 0 | 0 | 0 | 86k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
402.18/402.30 c 385s|540000 |439809 | 0 | 0.0 |1024M| 113 | - |1444 |3941 | 0 | 0 | 0 | 88k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
409.39/409.58 c 392s|550000 |447627 | 0 | 0.0 |1039M| 113 | - |1444 |3938 | 0 | 0 | 0 | 90k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
417.28/417.41 c 400s|560000 |454962 | 0 | 0.0 |1055M| 113 | - |1444 |3902 | 0 | 0 | 0 | 92k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
425.38/425.54 c 407s|570000 |461977 | 0 | 0.0 |1070M| 113 | - |1444 |3958 | 0 | 0 | 0 | 95k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
433.18/433.37 c 415s|580000 |469062 | 0 | 0.0 |1084M| 113 | - |1444 |3855 | 0 | 0 | 0 | 97k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
441.37/441.53 c 423s|590000 |475652 | 0 | 0.0 |1098M| 113 | - |1444 |4242 | 0 | 0 | 0 | 100k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
449.57/449.74 c 431s|600000 |482363 | 0 | 0.0 |1112M| 113 | - |1444 |4266 | 0 | 0 | 0 | 103k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
457.67/457.83 c 438s|610000 |489371 | 0 | 0.0 |1126M| 113 | - |1444 |3768 | 0 | 0 | 0 | 106k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
465.47/465.61 c 446s|620000 |496794 | 0 | 0.0 |1141M| 113 | - |1444 |3947 | 0 | 0 | 0 | 109k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
473.57/473.71 c 454s|630000 |503841 | 0 | 0.0 |1156M| 113 | - |1444 |3812 | 0 | 0 | 0 | 111k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
481.96/482.16 c 462s|640000 |510488 | 0 | 0.0 |1170M| 113 | - |1444 |4113 | 0 | 0 | 0 | 114k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
490.06/490.27 c 470s|650000 |517520 | 0 | 0.0 |1184M| 113 | - |1444 |4243 | 0 | 0 | 0 | 117k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
498.56/498.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.56/498.74 c 478s|660000 |524372 | 0 | 0.0 |1198M| 113 | - |1444 |3881 | 0 | 0 | 0 | 120k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
506.75/506.96 c 486s|670000 |531096 | 0 | 0.0 |1212M| 113 | - |1444 |3986 | 0 | 0 | 0 | 122k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
514.66/514.83 c 493s|680000 |538430 | 0 | 0.0 |1226M| 113 | - |1444 |3993 | 0 | 0 | 0 | 125k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
522.95/523.13 c 501s|690000 |545233 | 0 | 0.0 |1239M| 113 | - |1444 |4360 | 0 | 0 | 0 | 127k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
531.95/532.10 c 510s|700000 |552043 | 0 | 0.0 |1252M| 113 | - |1444 |3674 | 0 | 0 | 0 | 130k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
539.45/539.68 c 517s|710000 |561264 | 0 | 0.0 |1272M| 113 | - |1444 |3584 | 0 | 0 | 0 | 130k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
547.44/547.64 c 525s|720000 |570153 | 0 | 0.0 |1292M| 113 | - |1444 |3687 | 0 | 0 | 0 | 131k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
555.14/555.36 c 532s|730000 |578666 | 0 | 0.0 |1310M| 113 | - |1444 |3880 | 0 | 0 | 0 | 133k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
563.14/563.38 c 540s|740000 |586758 | 0 | 0.0 |1328M| 113 | - |1444 |3813 | 0 | 0 | 0 | 135k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
571.24/571.41 c 548s|750000 |594458 | 0 | 0.0 |1344M| 113 | - |1444 |3906 | 0 | 0 | 0 | 137k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
579.04/579.29 c (node 759390) switching to memory saving mode (mem: 1296.0M/1620.0M)
579.93/580.13 c 556s|760000 |601159 | 0 | 0.0 |1359M| 157 | - |1444 |4331 | 0 | 0 | 0 | 140k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
588.14/588.30 c 564s|770000 |601133 | 0 | 0.0 |1360M| 157 | - |1444 |5512 | 0 | 0 | 0 | 142k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
597.43/597.63 c 573s|780000 |601135 | 0 | 0.0 |1361M| 157 | - |1444 |6227 | 0 | 0 | 0 | 146k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
604.43/604.69 c 579s|790000 |601135 | 0 | 0.0 |1361M| 157 | - |1444 |6559 | 0 | 0 | 0 | 147k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
611.53/611.76 c 586s|800000 |601134 | 0 | 0.0 |1361M| 157 | - |1444 |6676 | 0 | 0 | 0 | 148k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
618.42/618.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.42/618.70 c 593s|810000 |601134 | 0 | 0.0 |1361M| 157 | - |1444 |6775 | 0 | 0 | 0 | 150k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
626.02/626.20 c 600s|820000 |601107 | 0 | 0.0 |1361M| 157 | - |1444 |6050 | 0 | 0 | 0 | 151k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
632.62/632.87 c 607s|830000 |601106 | 0 | 0.0 |1361M| 157 | - |1444 |6436 | 0 | 0 | 0 | 152k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
639.22/639.41 c 613s|840000 |601108 | 0 | 0.0 |1362M| 157 | - |1444 |6888 | 0 | 0 | 0 | 153k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
648.12/648.31 c 622s|850000 |601106 | 0 | 0.0 |1362M| 157 | - |1444 |7252 | 0 | 0 | 0 | 157k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
658.02/658.28 c 631s|860000 |601106 | 0 | 0.0 |1364M| 157 | - |1444 |8958 | 0 | 0 | 0 | 163k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
669.21/669.48 c 642s|870000 |601108 | 0 | 0.0 |1363M| 157 | - |1444 |7910 | 0 | 0 | 0 | 168k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
680.62/680.84 c 652s|880000 |601107 | 0 | 0.0 |1365M| 157 | - |1444 |9934 | 0 | 0 | 0 | 173k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
692.40/692.62 c 664s|890000 |601108 | 0 | 0.0 |1363M| 157 | - |1444 |8474 | 0 | 0 | 0 | 179k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
704.91/705.18 c 676s|900000 |601107 | 0 | 0.0 |1365M| 157 | - |1444 | 10k| 0 | 0 | 0 | 184k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
717.60/717.81 c 688s|910000 |601108 | 0 | 0.0 |1364M| 157 | - |1444 |9318 | 0 | 0 | 0 | 190k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
730.00/730.25 c 700s|920000 |601107 | 0 | 0.0 |1367M| 157 | - |1444 | 11k| 0 | 0 | 0 | 195k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
743.30/743.59 c 712s|930000 |601107 | 0 | 0.0 |1365M| 157 | - |1444 | 10k| 0 | 0 | 0 | 200k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
756.99/757.27 c 726s|940000 |601107 | 0 | 0.0 |1365M| 157 | - |1444 |9778 | 0 | 0 | 0 | 206k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
771.28/771.55 c 739s|950000 |601108 | 0 | 0.0 |1367M| 157 | - |1444 | 11k| 0 | 0 | 0 | 211k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
785.38/785.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.38/785.62 c 753s|960000 |601107 | 0 | 0.0 |1367M| 157 | - |1444 | 11k| 0 | 0 | 0 | 216k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
800.49/800.71 c 767s|970000 |601107 | 0 | 0.0 |1367M| 157 | - |1444 | 11k| 0 | 0 | 0 | 222k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
815.67/815.96 c 782s|980000 |601108 | 0 | 0.0 |1367M| 157 | - |1444 | 11k| 0 | 0 | 0 | 227k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
831.57/831.80 c 798s|990000 |601105 | 0 | 0.0 |1370M| 157 | - |1444 | 13k| 0 | 0 | 0 | 233k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
848.36/848.65 c 814s| 1000k|601107 | 0 | 0.0 |1370M| 157 | - |1444 | 14k| 0 | 0 | 0 | 238k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
864.56/864.86 c 830s| 1010k|601107 | 0 | 0.0 |1371M| 157 | - |1444 | 15k| 0 | 0 | 0 | 244k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
882.25/882.56 c 847s| 1020k|601106 | 0 | 0.0 |1371M| 157 | - |1444 | 14k| 0 | 0 | 0 | 249k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
898.75/899.03 c 863s| 1030k|601108 | 0 | 0.0 |1371M| 157 | - |1444 | 14k| 0 | 0 | 0 | 255k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
916.24/916.51 c 880s| 1040k|601107 | 0 | 0.0 |1372M| 157 | - |1444 | 15k| 0 | 0 | 0 | 260k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
935.04/935.33 c 898s| 1050k|601106 | 0 | 0.0 |1373M| 157 | - |1444 | 16k| 0 | 0 | 0 | 266k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
953.84/954.19 c 916s| 1060k|601107 | 0 | 0.0 |1374M| 160 | - |1444 | 17k| 0 | 0 | 0 | 271k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
973.83/974.14 c 936s| 1070k|601107 | 0 | 0.0 |1376M| 160 | - |1444 | 18k| 0 | 0 | 0 | 277k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
986.83/987.10 c 948s| 1080k|601011 | 0 | 0.0 |1361M| 160 | - |1444 |5976 | 0 | 0 | 0 | 281k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
994.14/994.45 c 956s| 1090k|601012 | 0 | 0.0 |1362M| 160 | - |1444 |6461 | 0 | 0 | 0 | 282k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1004.93/1005.26 c 966s| 1100k|600956 | 0 | 0.0 |1362M| 160 | - |1444 |6964 | 0 | 0 | 0 | 287k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1016.92/1017.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.92/1017.28 c 977s| 1110k|600891 | 0 | 0.0 |1362M| 172 | - |1444 |7391 | 0 | 0 | 0 | 292k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1030.11/1030.44 c 990s| 1120k|600892 | 0 | 0.0 |1362M| 172 | - |1444 |7794 | 0 | 0 | 0 | 297k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1043.71/1044.02 c 1003s| 1130k|600890 | 0 | 0.0 |1363M| 172 | - |1444 |8735 | 0 | 0 | 0 | 303k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1057.31/1057.69 c 1016s| 1140k|600891 | 0 | 0.0 |1364M| 172 | - |1444 |9542 | 0 | 0 | 0 | 308k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1070.81/1071.15 c 1029s| 1150k|600878 | 0 | 0.0 |1363M| 172 | - |1444 |7874 | 0 | 0 | 0 | 313k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1082.80/1083.18 c 1040s| 1160k|600866 | 0 | 0.0 |1363M| 172 | - |1444 |8420 | 0 | 0 | 0 | 317k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1096.10/1096.47 c 1053s| 1170k|600866 | 0 | 0.0 |1364M| 172 | - |1444 |9454 | 0 | 0 | 0 | 322k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1111.49/1111.83 c 1068s| 1180k|600866 | 0 | 0.0 |1366M| 172 | - |1444 | 11k| 0 | 0 | 0 | 327k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1126.79/1127.15 c 1083s| 1190k|600867 | 0 | 0.0 |1366M| 172 | - |1444 | 11k| 0 | 0 | 0 | 333k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1142.39/1142.71 c 1098s| 1200k|600867 | 0 | 0.0 |1367M| 172 | - |1444 | 12k| 0 | 0 | 0 | 338k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1157.68/1158.05 c 1113s| 1210k|600866 | 0 | 0.0 |1368M| 172 | - |1444 | 13k| 0 | 0 | 0 | 343k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1175.18/1175.54 c 1129s| 1220k|600832 | 0 | 0.0 |1366M| 172 | - |1444 | 11k| 0 | 0 | 0 | 349k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1194.08/1194.40 c 1148s| 1230k|600833 | 0 | 0.0 |1367M| 172 | - |1444 | 12k| 0 | 0 | 0 | 355k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1212.37/1212.79 c 1165s| 1240k|600834 | 0 | 0.0 |1369M| 172 | - |1444 | 13k| 0 | 0 | 0 | 360k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1232.47/1232.88 c 1185s| 1250k|600830 | 0 | 0.0 |1367M| 172 | - |1444 | 12k| 0 | 0 | 0 | 366k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1254.56/1254.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.56/1254.98 c 1206s| 1260k|600834 | 0 | 0.0 |1368M| 172 | - |1444 | 12k| 0 | 0 | 0 | 372k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1274.56/1274.95 c 1226s| 1270k|600834 | 0 | 0.0 |1369M| 172 | - |1444 | 14k| 0 | 0 | 0 | 378k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1294.35/1294.76 c 1245s| 1280k|600834 | 0 | 0.0 |1369M| 172 | - |1444 | 13k| 0 | 0 | 0 | 383k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1314.84/1315.28 c 1265s| 1290k|600833 | 0 | 0.0 |1371M| 172 | - |1444 | 15k| 0 | 0 | 0 | 388k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1335.13/1335.58 c 1285s| 1300k|600834 | 0 | 0.0 |1369M| 172 | - |1444 | 14k| 0 | 0 | 0 | 394k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1357.43/1357.82 c 1306s| 1310k|600833 | 0 | 0.0 |1370M| 172 | - |1444 | 14k| 0 | 0 | 0 | 400k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1379.63/1380.05 c 1328s| 1320k|600834 | 0 | 0.0 |1371M| 172 | - |1444 | 15k| 0 | 0 | 0 | 405k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1400.02/1400.50 c 1348s| 1330k|600831 | 0 | 0.0 |1370M| 172 | - |1444 | 14k| 0 | 0 | 0 | 411k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1422.21/1422.60 c 1369s| 1340k|600832 | 0 | 0.0 |1370M| 172 | - |1444 | 14k| 0 | 0 | 0 | 416k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1443.51/1443.93 c 1390s| 1350k|600832 | 0 | 0.0 |1371M| 172 | - |1444 | 15k| 0 | 0 | 0 | 421k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1464.50/1464.99 c 1410s| 1360k|600832 | 0 | 0.0 |1369M| 172 | - |1444 | 14k| 0 | 0 | 0 | 427k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1489.59/1490.01 c 1435s| 1370k|600832 | 0 | 0.0 |1370M| 172 | - |1444 | 15k| 0 | 0 | 0 | 432k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1514.09/1514.57 c 1459s| 1380k|600833 | 0 | 0.0 |1372M| 172 | - |1444 | 16k| 0 | 0 | 0 | 438k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1538.68/1539.17 c 1483s| 1390k|600832 | 0 | 0.0 |1371M| 172 | - |1444 | 16k| 0 | 0 | 0 | 445k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1561.28/1561.70 c 1505s| 1400k|600831 | 0 | 0.0 |1371M| 172 | - |1444 | 16k| 0 | 0 | 0 | 450k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1583.27/1583.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.27/1583.79 c 1526s| 1410k|600818 | 0 | 0.0 |1368M| 172 | - |1444 | 12k| 0 | 0 | 0 | 456k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1602.37/1602.87 c 1545s| 1420k|600768 | 0 | 0.0 |1364M| 172 | - |1444 |8683 | 0 | 0 | 0 | 461k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1614.57/1615.09 c 1556s| 1430k|600746 | 0 | 0.0 |1362M| 172 | - |1444 |6967 | 0 | 0 | 0 | 463k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1622.96/1623.40 c 1565s| 1440k|600744 | 0 | 0.0 |1362M| 172 | - |1444 |6445 | 0 | 0 | 0 | 464k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1631.56/1632.07 c 1573s| 1450k|600741 | 0 | 0.0 |1362M| 172 | - |1444 |6891 | 0 | 0 | 0 | 466k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1644.26/1644.75 c 1585s| 1460k|600737 | 0 | 0.0 |1363M| 172 | - |1444 |7898 | 0 | 0 | 0 | 471k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1657.65/1658.17 c 1598s| 1470k|600739 | 0 | 0.0 |1363M| 172 | - |1444 |7965 | 0 | 0 | 0 | 477k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1671.15/1671.65 c 1611s| 1480k|600739 | 0 | 0.0 |1364M| 172 | - |1444 |8568 | 0 | 0 | 0 | 482k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1685.65/1686.16 c 1625s| 1490k|600738 | 0 | 0.0 |1364M| 172 | - |1444 |9044 | 0 | 0 | 0 | 488k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1700.04/1700.58 c 1638s| 1500k|600736 | 0 | 0.0 |1365M| 172 | - |1444 |9780 | 0 | 0 | 0 | 493k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1715.74/1716.28 c 1653s| 1510k|600738 | 0 | 0.0 |1366M| 172 | - |1444 | 10k| 0 | 0 | 0 | 498k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1731.83/1732.31 c 1669s| 1520k|600738 | 0 | 0.0 |1367M| 172 | - |1444 | 12k| 0 | 0 | 0 | 504k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1748.43/1748.99 c 1685s| 1530k|600739 | 0 | 0.0 |1367M| 172 | - |1444 | 12k| 0 | 0 | 0 | 509k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1765.13/1765.61 c 1701s| 1540k|600738 | 0 | 0.0 |1368M| 172 | - |1444 | 12k| 0 | 0 | 0 | 515k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1784.02/1784.50 c 1720s| 1550k|600738 | 0 | 0.0 |1369M| 172 | - |1444 | 14k| 0 | 0 | 0 | 520k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1735.38
1800.02/1800.50 c Solving Nodes : 1558486
1800.02/1800.50 c Primal Bound : -1.70000000000000e+01 (12 solutions)
1800.02/1800.50 c Dual Bound : -9.70000000000000e+01
1800.02/1800.50 c Gap : 82.47 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v -x166 -x164 x158 x163 x121 x171 -x113 x156 -x144 x135 -x152 -x161 -x122 -x130 -x157 -x146 -x181 -x129 -x111 -x192 -x167 -x154 -x185
1800.02/1800.51 v -x127 -x117 -x184 -x120 -x124 -x134 -x178 x168 -x136 -x172 -x110 -x187 x190 x200 -x105 -x151 -x131 -x109 -x106 -x183 -x153
1800.02/1800.51 v -x182 -x189 x149 -x195 -x104 -x198 -x193 -x188 -x128 -x119 -x112 x191 x179 -x162 -x107 -x137 -x115 x175 -x145 -x132 -x108
1800.02/1800.51 v -x199 -x138 -x148 -x174 x139 -x143 -x197 -x180 -x160 -x155 -x150 -x118 -x114 -x116 -x196 -x176 -x142 -x103 -x140 x194 -x125 -x101
1800.02/1800.51 v -x170 x133 -x123 -x159 -x165 -x102 -x177 -x173 -x126 -x141 -x169 x186 -x147 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1800.02/1800.51 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.02/1800.51 v -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41
1800.02/1800.51 v -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.02/1800.51 v -x14 -x13 x12 -x11 x10 x9 x8 -x7 -x6 x5 -x4 -x3 x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1735.38
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2663872-1276669398.opb
1800.02/1800.51 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1545 initial, 1545 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2663872-1276669398.opb
1800.02/1800.51 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1545 initial, 19829 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 0.16 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 200 0 6925818 0 1097200 6860 1476833 0 0 0
1800.02/1800.51 c and : 1244 0 6937057 0 1098129 70 20200420 0 0 0
1800.02/1800.51 c linear : 1 0 6934937 0 1098155 44869 14294175 0 0 0
1800.02/1800.51 c logicor : 100+ 0 1370525 0 1089929 35504 1368907 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 1098164 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c setppc : 63.28 0.00 15.06 0.00 48.22
1800.02/1800.51 c and : 91.53 0.00 81.62 0.00 9.91
1800.02/1800.51 c linear : 152.80 0.00 151.82 0.00 0.98
1800.02/1800.51 c logicor : 357.29 0.00 347.99 0.00 9.30
1800.02/1800.51 c countsols : 0.44 0.00 0.00 0.00 0.44
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 2.94 2 0 0
1800.02/1800.51 c rootredcost : 2.94 0 0 0
1800.02/1800.51 c pseudoobj : 505.79 7353269 408939 241586
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 476.47 496242 432844 5208944 119.9 221 96.2 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 525131 96.7 - - -
1800.02/1800.51 c applied locally : - - - 363 170.1 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 98.84 1098155 0 0 0 0 2196310
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.02 - 9
1800.02/1800.51 c oneopt : 1.26 0 0
1800.02/1800.51 c trivial : 0.00 2 3
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.66 0 0
1800.02/1800.51 c trysol : 0.93 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 1558486
1800.02/1800.51 c nodes (total) : 1558486
1800.02/1800.51 c nodes left : 600739
1800.02/1800.51 c max depth : 172
1800.02/1800.51 c max depth (total): 172
1800.02/1800.51 c backtracks : 61960 (4.0%)
1800.02/1800.51 c delayed cutoffs : 37086
1800.02/1800.51 c repropagations : 3575676 (2198510 domain reductions, 35920 cutoffs)
1800.02/1800.51 c avg switch length: 7.56
1800.02/1800.51 c switching time : 289.25
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 12 (10 improvements)
1800.02/1800.51 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : -1.70000000000000e+01 (in run 1, after 305409 nodes, 221.49 seconds, depth 57, found by <relaxation>)
1800.02/1800.51 c Dual Bound : -9.70000000000000e+01
1800.02/1800.51 c Gap : 82.47 %
1800.02/1800.51 c Root Dual Bound : -1.00000000000000e+02
1800.02/1800.51 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663872-1276669398/watcher-2663872-1276669398 -o /tmp/evaluation-result-2663872-1276669398/solver-2663872-1276669398 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663872-1276669398.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: 2.45 2.13 1.70 3/105 16015
/proc/meminfo: memFree=1751224/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=6584 CPUtime=0
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 1095 0 0 0 0 0 0 0 25 0 1 0 8233561 6742016 1018 1992294400 4194304 7136930 140736333201440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16015/statm: 1646 1027 254 719 0 925 0
[startup+0.015983 s]
/proc/loadavg: 2.45 2.13 1.70 3/105 16015
/proc/meminfo: memFree=1751224/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=8788 CPUtime=0
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 1684 0 0 0 0 0 0 0 25 0 1 0 8233561 8998912 1606 1992294400 4194304 7136930 140736333201440 18446744073709551615 6340400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16015/statm: 2197 1607 272 719 0 1476 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8788
[startup+0.100992 s]
/proc/loadavg: 2.45 2.13 1.70 3/105 16015
/proc/meminfo: memFree=1751224/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=14796 CPUtime=0.09
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 3588 0 0 0 5 4 0 0 25 0 1 0 8233561 15151104 2899 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 3699 2899 333 719 0 2978 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14796
[startup+0.301015 s]
/proc/loadavg: 2.45 2.13 1.70 3/105 16015
/proc/meminfo: memFree=1751224/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=15684 CPUtime=0.29
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 5151 0 0 0 15 14 0 0 25 0 1 0 8233561 16060416 3177 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 3921 3177 361 719 0 3200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15684
[startup+0.701058 s]
/proc/loadavg: 2.45 2.13 1.70 3/105 16015
/proc/meminfo: memFree=1751224/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=18056 CPUtime=0.69
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 6018 0 0 0 50 19 0 0 25 0 1 0 8233561 18489344 3787 1992294400 4194304 7136930 140736333201440 18446744073709551615 4227536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 4514 3787 393 719 0 3793 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18056
[startup+1.50115 s]
/proc/loadavg: 2.45 2.13 1.70 2/106 16016
/proc/meminfo: memFree=1736460/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=20088 CPUtime=1.49
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 6534 0 0 0 126 23 0 0 25 0 1 0 8233561 20570112 4303 1992294400 4194304 7136930 140736333201440 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 5022 4303 393 719 0 4301 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20088
[startup+3.10132 s]
/proc/loadavg: 2.45 2.13 1.70 2/106 16016
/proc/meminfo: memFree=1733980/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=23948 CPUtime=3.09
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 7490 0 0 0 279 30 0 0 25 0 1 0 8233561 24522752 5259 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 5987 5259 393 719 0 5266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23948
[startup+6.30168 s]
/proc/loadavg: 2.33 2.11 1.70 2/106 16016
/proc/meminfo: memFree=1725176/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=33632 CPUtime=6.29
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 9922 0 0 0 584 45 0 0 25 0 1 0 8233561 34439168 7691 1992294400 4194304 7136930 140736333201440 18446744073709551615 5954108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 8408 7691 393 719 0 7687 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33632
[startup+12.7014 s]
/proc/loadavg: 2.22 2.09 1.70 2/106 16016
/proc/meminfo: memFree=1708064/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=48652 CPUtime=12.69
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 13570 0 0 0 1197 72 0 0 25 0 1 0 8233561 49819648 11339 1992294400 4194304 7136930 140736333201440 18446744073709551615 4976324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 12163 11339 393 719 0 11442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48652
[startup+25.5008 s]
/proc/loadavg: 1.95 2.04 1.69 2/106 16016
/proc/meminfo: memFree=1664292/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=93864 CPUtime=25.48
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 24304 0 0 0 2425 123 0 0 25 0 1 0 8233561 96116736 22073 1992294400 4194304 7136930 140736333201440 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 23466 22073 393 719 0 22745 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93864
[startup+51.1006 s]
/proc/loadavg: 1.63 1.95 1.67 2/106 16018
/proc/meminfo: memFree=1576128/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=186176 CPUtime=51.07
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 46274 0 0 0 4871 236 0 0 25 0 1 0 8233561 190644224 44043 1992294400 4194304 7136930 140736333201440 18446744073709551615 5918768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 46544 44043 393 719 0 45823 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 186176
[startup+102.309 s]
/proc/loadavg: 1.27 1.81 1.63 2/106 16018
/proc/meminfo: memFree=1460560/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=306284 CPUtime=102.27
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 75044 0 0 0 9779 448 0 0 25 0 1 0 8233561 313634816 72813 1992294400 4194304 7136930 140736333201440 18446744073709551615 4434281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 76571 72813 393 719 0 75850 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 306284
[startup+162.301 s]
/proc/loadavg: 1.10 1.66 1.59 2/106 16020
/proc/meminfo: memFree=1296012/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=484944 CPUtime=162.24
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 116510 0 0 0 15539 685 0 0 25 0 1 0 8233561 496582656 114279 1992294400 4194304 7136930 140736333201440 18446744073709551615 4676271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 121236 114279 393 719 0 120515 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 484944
[startup+222.301 s]
/proc/loadavg: 1.03 1.53 1.55 2/106 16022
/proc/meminfo: memFree=1097116/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=702432 CPUtime=222.23
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 165980 0 0 0 21284 939 0 0 25 0 1 0 8233561 719290368 163749 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 175608 163749 393 719 0 174887 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 702432
[startup+282.301 s]
/proc/loadavg: 1.01 1.43 1.51 2/106 16024
/proc/meminfo: memFree=924508/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=877992 CPUtime=282.22
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 209288 0 0 0 27017 1205 0 0 25 0 1 0 8233561 899063808 207057 1992294400 4194304 7136930 140736333201440 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 219498 207057 393 719 0 218777 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 877992
[startup+342.301 s]
/proc/loadavg: 1.00 1.35 1.47 2/106 16026
/proc/meminfo: memFree=760456/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1047932 CPUtime=342.2
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 250091 0 0 0 32764 1456 0 0 25 0 1 0 8233561 1073082368 247860 1992294400 4194304 7136930 140736333201440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 261983 247860 393 719 0 261262 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1047932
[startup+402.3 s]
/proc/loadavg: 1.00 1.29 1.44 2/106 16026
/proc/meminfo: memFree=624428/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1178720 CPUtime=402.18
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 283828 0 0 0 38514 1704 0 0 25 0 1 0 8233561 1207009280 281597 1992294400 4194304 7136930 140736333201440 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 294680 281597 393 719 0 293959 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1178720
[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.41 2/106 16028
/proc/meminfo: memFree=511836/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1298504 CPUtime=462.17
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 311643 0 0 0 44278 1939 0 0 25 0 1 0 8233561 1329668096 309412 1992294400 4194304 7136930 140736333201440 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 324626 309412 393 719 0 323905 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1298504
[startup+522.301 s]
/proc/loadavg: 1.00 1.19 1.38 2/106 16032
/proc/meminfo: memFree=405940/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1404368 CPUtime=522.15
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 338009 0 0 0 50053 2162 0 0 25 0 1 0 8233561 1438072832 335778 1992294400 4194304 7136930 140736333201440 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 351092 335778 393 719 0 350371 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1404368
[startup+582.3 s]
/proc/loadavg: 1.00 1.15 1.36 2/106 16035
/proc/meminfo: memFree=289256/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1519192 CPUtime=582.14
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 369398 0 0 0 55818 2396 0 0 25 0 1 0 8233561 1555652608 364816 1992294400 4194304 7136930 140736333201440 18446744073709551615 5919054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 379798 364816 393 719 0 379077 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1519192
[startup+642.301 s]
/proc/loadavg: 1.00 1.12 1.33 2/106 16037
/proc/meminfo: memFree=279832/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1529192 CPUtime=642.13
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 371660 0 0 0 61585 2628 0 0 25 0 1 0 8233561 1565892608 367078 1992294400 4194304 7136930 140736333201440 18446744073709551615 4976544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 382298 367078 393 719 0 381577 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1529192
[startup+702.3 s]
################
# More data... #
################
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 378209 0 0 0 96302 3900 0 0 25 0 1 0 8233561 1592979456 373627 1992294400 4194304 7136930 140736333201440 18446744073709551615 5918768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 388911 373627 393 719 0 388190 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1555644
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.19 2/106 16047
/proc/meminfo: memFree=249824/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1559328 CPUtime=1062
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 379134 0 0 0 102030 4170 0 0 25 0 1 0 8233561 1596751872 374552 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 389832 374552 393 719 0 389111 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1559328
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/106 16049
/proc/meminfo: memFree=247220/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1561964 CPUtime=1121.99
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 379763 0 0 0 107795 4404 0 0 25 0 1 0 8233561 1599451136 375181 1992294400 4194304 7136930 140736333201440 18446744073709551615 4977176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 390491 375181 393 719 0 389770 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1561964
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/106 16051
/proc/meminfo: memFree=243252/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1566348 CPUtime=1181.98
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 380803 0 0 0 113602 4596 0 0 25 0 1 0 8233561 1603940352 376221 1992294400 4194304 7136930 140736333201440 18446744073709551615 4780277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 391587 376221 393 719 0 390866 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1566348
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 16053
/proc/meminfo: memFree=240524/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1568568 CPUtime=1241.96
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 381360 0 0 0 119420 4776 0 0 25 0 1 0 8233561 1606213632 376778 1992294400 4194304 7136930 140736333201440 18446744073709551615 4210707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 392142 376778 393 719 0 391421 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1568568
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 16053
/proc/meminfo: memFree=237548/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1571420 CPUtime=1301.95
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 382074 0 0 0 125233 4962 0 0 25 0 1 0 8233561 1609134080 377492 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 392855 377492 393 719 0 392134 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1571420
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 16055
/proc/meminfo: memFree=236556/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1572444 CPUtime=1361.93
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 382331 0 0 0 131052 5141 0 0 25 0 1 0 8233561 1610182656 377749 1992294400 4194304 7136930 140736333201440 18446744073709551615 5906002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 393111 377749 393 719 0 392390 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1572444
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 16057
/proc/meminfo: memFree=233456/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1575656 CPUtime=1421.92
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383132 0 0 0 136889 5303 0 0 25 0 1 0 8233561 1613471744 378550 1992294400 4194304 7136930 140736333201440 18446744073709551615 4221013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 393914 378550 393 719 0 393193 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1575656
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 16059
/proc/meminfo: memFree=233332/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1575656 CPUtime=1481.89
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383132 0 0 0 142738 5451 0 0 25 0 1 0 8233561 1613471744 378550 1992294400 4194304 7136930 140736333201440 18446744073709551615 4652822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 393914 378550 393 719 0 393193 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1575656
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 16061
/proc/meminfo: memFree=233332/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1575656 CPUtime=1541.89
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383132 0 0 0 148588 5601 0 0 25 0 1 0 8233561 1613471744 378550 1992294400 4194304 7136930 140736333201440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 393914 378550 393 719 0 393193 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1575656
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 16061
/proc/meminfo: memFree=231720/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1577232 CPUtime=1601.86
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383506 0 0 0 154422 5764 0 0 25 0 1 0 8233561 1615085568 378924 1992294400 4194304 7136930 140736333201440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 394308 378924 393 719 0 393587 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1577232
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 16063
/proc/meminfo: memFree=231844/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1576428 CPUtime=1661.85
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383510 0 0 0 160169 6016 0 0 25 0 1 0 8233561 1614262272 378727 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 394107 378727 393 719 0 393386 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1576428
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 16065
/proc/meminfo: memFree=231720/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1576428 CPUtime=1721.83
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383510 0 0 0 165928 6255 0 0 25 0 1 0 8233561 1614262272 378727 1992294400 4194304 7136930 140736333201440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 394107 378727 393 719 0 393386 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1576428
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16067
/proc/meminfo: memFree=231100/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1577452 CPUtime=1781.81
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383766 0 0 0 171762 6419 0 0 25 0 1 0 8233561 1615310848 378983 1992294400 4194304 7136930 140736333201440 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 394363 378983 393 719 0 393642 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1577452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16067
/proc/meminfo: memFree=231100/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1577452 CPUtime=1800.02
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383766 0 0 0 173539 6463 0 0 25 0 1 0 8233561 1615310848 378983 1992294400 4194304 7136930 140736333201440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16015/statm: 394363 378983 393 719 0 393642 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1577452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16015
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 16068
/proc/meminfo: memFree=231092/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1576228 CPUtime=1800.91
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383771 0 0 0 173628 6463 0 0 19 0 1 0 8233561 1614057472 378682 1992294400 4194304 7136930 140736333201440 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16015/statm: 394057 378682 398 719 0 393336 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1576228
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 16068
/proc/meminfo: memFree=231588/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=1575712 CPUtime=1801.71
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4202496 383771 0 0 0 173708 6463 0 0 20 0 1 0 8233561 1613529088 378553 1992294400 4194304 7136930 140736333201440 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16015/statm: 393928 378553 398 719 0 393207 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1575712
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 16068
/proc/meminfo: memFree=231588/2059040 swapFree=4192956/4192956
[pid=16015] ppid=16013 vsize=0 CPUtime=1802.11
/proc/16015/stat : 16015 (pbscip.linux.x8) R 16013 16015 15990 0 -1 4203524 383771 0 0 0 173739 6472 0 0 21 0 1 0 8233561 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16015/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.17
CPU user time (s): 1737.39
CPU system time (s): 64.7772
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1577452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.39
system time used= 64.7772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383771
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= 3
involuntary context switches= 23676
runsolver used 3.04554 second user time and 8.45072 second system time
The end