0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2663779-1276657263.opb>
0.01/0.02 c original problem has 1348 variables (1348 bin, 0 int, 0 impl, 0 cont) and 1348 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/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.01/0.03 c presolving:
0.19/0.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 35732 impls, 0 clqs
0.39/0.44 c (0.2s) probing: 101/1348 (7.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (2 rounds):
0.39/0.44 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 35732 implications, 0 cliques
0.39/0.44 c presolved problem has 1348 variables (1348 bin, 0 int, 0 impl, 0 cont) and 1348 constraints
0.39/0.44 c 1248 constraints of type <and>
0.39/0.44 c 100 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.22
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 1.2.1.2
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1799.99
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 1620
0.39/0.44 c
0.39/0.44 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c lp/solvefreq = -1
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c heuristics/undercover/freq = 0
0.39/0.44 c
0.39/0.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/rapidlearning/freq = 0
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
0.39/0.44 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.44 c 0.2s| 1 | 2 | 0 | - |4540k| 0 | - |1348 |1348 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.89/4.92 c 4.5s| 10000 | 9995 | 0 | 0.0 | 15M| 81 | - |1348 |1352 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
8.99/9.02 c 8.3s| 20000 | 19995 | 0 | 0.0 | 25M| 86 | - |1348 |1350 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
12.88/12.97 c 12.1s| 30000 | 29991 | 0 | 0.0 | 36M| 86 | - |1348 |1354 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
17.59/17.65 c 16.5s| 40000 | 39991 | 0 | 0.0 | 46M| 86 | - |1348 |1350 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
21.99/22.08 c 20.7s| 50000 | 49991 | 0 | 0.0 | 56M| 86 | - |1348 |1349 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
26.39/26.47 c 24.8s| 60000 | 59991 | 0 | 0.0 | 65M| 86 | - |1348 |1349 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
30.69/30.80 c 28.9s| 70000 | 69991 | 0 | 0.0 | 75M| 86 | - |1348 |1349 | 0 | 0 | 0 | 8 | 0 | 2.000000e+00 | -- | Inf
34.98/35.03 c 32.9s| 80000 | 79991 | 0 | 0.0 | 85M| 86 | - |1348 |1349 | 0 | 0 | 0 | 8 | 0 | 2.000000e+00 | -- | Inf
39.18/39.21 c 36.9s| 90000 | 89991 | 0 | 0.0 | 95M| 86 | - |1348 |1349 | 0 | 0 | 0 | 8 | 0 | 2.000000e+00 | -- | Inf
43.27/43.30 c 40.7s|100000 | 99989 | 0 | 0.0 | 105M| 86 | - |1348 |1350 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
47.37/47.44 c 44.6s|110000 |109989 | 0 | 0.0 | 115M| 96 | - |1348 |1350 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
51.47/51.56 c 48.5s|120000 |119989 | 0 | 0.0 | 125M| 96 | - |1348 |1349 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
55.57/55.66 c 52.3s|130000 |129987 | 0 | 0.0 | 135M| 96 | - |1348 |1350 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
59.56/59.63 c 56.0s|140000 |139987 | 0 | 0.0 | 145M| 96 | - |1348 |1350 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
63.47/63.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.47/63.55 c 59.7s|150000 |149983 | 0 | 0.0 | 155M| 96 | - |1348 |1353 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
67.47/67.51 c 63.4s|160000 |159983 | 0 | 0.0 | 165M| 96 | - |1348 |1352 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
71.37/71.48 c 67.2s|170000 |169983 | 0 | 0.0 | 175M| 96 | - |1348 |1349 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
75.36/75.42 c 70.9s|180000 |179983 | 0 | 0.0 | 186M| 96 | - |1348 |1349 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
79.17/79.26 c 74.5s|190000 |189983 | 0 | 0.0 | 196M| 96 | - |1348 |1349 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
82.96/83.02 c 78.0s|200000 |199983 | 0 | 0.0 | 206M| 96 | - |1348 |1349 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
86.66/86.76 c 81.5s|210000 |209983 | 0 | 0.0 | 216M| 96 | - |1348 |1349 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
90.56/90.63 c 85.1s|220000 |219983 | 0 | 0.0 | 226M| 96 | - |1348 |1349 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
94.26/94.37 c 88.6s|230000 |229981 | 0 | 0.0 | 236M| 97 | - |1348 |1350 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
97.96/98.06 c 92.1s|240000 |239981 | 0 | 0.0 | 246M| 97 | - |1348 |1349 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
101.66/101.75 c 95.5s|250000 |249979 | 0 | 0.0 | 255M| 97 | - |1348 |1351 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
105.36/105.41 c 98.9s|260000 |259979 | 0 | 0.0 | 265M| 97 | - |1348 |1351 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
108.95/109.05 c 102s|270000 |269977 | 0 | 0.0 | 275M| 97 | - |1348 |1353 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
112.55/112.69 c 106s|280000 |279975 | 0 | 0.0 | 284M| 97 | - |1348 |1352 | 0 | 0 | 0 | 19 | 0 | 2.000000e+00 | -- | Inf
116.15/116.27 c 109s|290000 |289973 | 0 | 0.0 | 294M| 99 | - |1348 |1351 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
119.76/119.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.76/119.83 c 112s|300000 |299973 | 0 | 0.0 | 303M| 99 | - |1348 |1349 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
123.24/123.33 c 116s|310000 |309971 | 0 | 0.0 | 312M| 99 | - |1348 |1351 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
126.74/126.83 c 119s|320000 |319969 | 0 | 0.0 | 322M| 99 | - |1348 |1349 | 0 | 0 | 0 | 24 | 0 | 2.000000e+00 | -- | Inf
131.25/131.35 c 123s|330000 |329967 | 0 | 0.0 | 331M| 99 | - |1348 |1350 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
135.54/135.62 c 127s|340000 |339967 | 0 | 0.0 | 340M| 99 | - |1348 |1350 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
139.65/139.73 c 131s|350000 |349967 | 0 | 0.0 | 350M| 99 | - |1348 |1350 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
143.75/143.89 c 135s|360000 |359967 | 0 | 0.0 | 359M| 99 | - |1348 |1349 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
147.94/148.00 c 139s|370000 |369967 | 0 | 0.0 | 369M| 99 | - |1348 |1349 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
151.95/152.03 c 143s|380000 |379967 | 0 | 0.0 | 378M| 99 | - |1348 |1349 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
155.94/156.09 c 147s|390000 |389967 | 0 | 0.0 | 388M| 99 | - |1348 |1349 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
160.13/160.21 c 150s|400000 |399967 | 0 | 0.0 | 398M| 99 | - |1348 |1349 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
164.84/164.93 c 155s|410000 |409965 | 0 | 0.0 | 408M| 99 | - |1348 |1350 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
169.64/169.71 c 160s|420000 |419965 | 0 | 0.0 | 417M| 99 | - |1348 |1349 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
174.24/174.35 c 164s|430000 |429965 | 0 | 0.0 | 427M| 99 | - |1348 |1349 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
178.93/179.06 c 168s|440000 |439963 | 0 | 0.0 | 437M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
183.73/183.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.73/183.80 c 173s|450000 |449963 | 0 | 0.0 | 446M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
188.33/188.45 c 177s|460000 |459963 | 0 | 0.0 | 456M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
193.03/193.15 c 182s|470000 |469963 | 0 | 0.0 | 466M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
197.63/197.72 c 186s|480000 |479963 | 0 | 0.0 | 475M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
202.23/202.33 c 191s|490000 |489963 | 0 | 0.0 | 485M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
206.82/206.96 c 195s|500000 |499963 | 0 | 0.0 | 495M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
211.32/211.47 c 199s|510000 |509963 | 0 | 0.0 | 505M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
215.82/215.96 c 204s|520000 |519963 | 0 | 0.0 | 514M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
220.32/220.43 c 208s|530000 |529963 | 0 | 0.0 | 524M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
224.71/224.83 c 212s|540000 |539963 | 0 | 0.0 | 534M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
229.22/229.30 c 216s|550000 |549963 | 0 | 0.0 | 543M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
233.51/233.67 c 220s|560000 |559963 | 0 | 0.0 | 553M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
238.01/238.16 c 225s|570000 |569963 | 0 | 0.0 | 563M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
242.41/242.59 c 229s|580000 |579963 | 0 | 0.0 | 573M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
246.91/247.00 c 233s|590000 |589963 | 0 | 0.0 | 583M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
251.21/251.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.21/251.34 c 237s|600000 |599963 | 0 | 0.0 | 593M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
255.51/255.67 c 241s|610000 |609963 | 0 | 0.0 | 603M| 99 | - |1348 |1350 | 0 | 0 | 0 | 27 | 0 | 2.000000e+00 | -- | Inf
259.91/260.08 c 246s|620000 |619961 | 0 | 0.0 | 614M| 99 | - |1348 |1350 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
264.31/264.43 c 250s|630000 |629961 | 0 | 0.0 | 624M| 99 | - |1348 |1350 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
268.60/268.77 c 254s|640000 |639961 | 0 | 0.0 | 634M| 99 | - |1348 |1350 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
273.01/273.11 c 258s|650000 |649959 | 0 | 0.0 | 644M| 99 | - |1348 |1351 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
277.31/277.49 c 262s|660000 |659959 | 0 | 0.0 | 655M| 99 | - |1348 |1350 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
281.60/281.78 c 266s|670000 |669959 | 0 | 0.0 | 665M| 99 | - |1348 |1350 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
286.00/286.13 c 270s|680000 |679959 | 0 | 0.0 | 675M| 99 | - |1348 |1350 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
290.31/290.47 c 274s|690000 |689959 | 0 | 0.0 | 686M| 99 | - |1348 |1350 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
294.61/294.77 c 278s|700000 |699959 | 0 | 0.0 | 696M| 99 | - |1348 |1350 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
298.90/299.04 c 282s|710000 |709959 | 0 | 0.0 | 706M| 99 | - |1348 |1350 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
303.20/303.35 c 287s|720000 |719957 | 0 | 0.0 | 717M| 99 | - |1348 |1350 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
307.40/307.55 c 290s|730000 |729957 | 0 | 0.0 | 727M| 99 | - |1348 |1350 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
311.59/311.76 c 294s|740000 |739955 | 0 | 0.0 | 738M| 99 | - |1348 |1351 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
315.89/316.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.89/316.09 c 299s|750000 |749955 | 0 | 0.0 | 748M| 99 | - |1348 |1350 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
320.19/320.39 c 303s|760000 |759955 | 0 | 0.0 | 759M| 99 | - |1348 |1350 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
324.49/324.62 c 307s|770000 |769955 | 0 | 0.0 | 769M| 99 | - |1348 |1350 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
328.59/328.78 c 311s|780000 |779955 | 0 | 0.0 | 779M| 99 | - |1348 |1350 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
332.78/332.99 c 315s|790000 |789953 | 0 | 0.0 | 790M| 99 | - |1348 |1351 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
336.99/337.16 c 319s|800000 |799953 | 0 | 0.0 | 800M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
341.18/341.35 c 322s|810000 |809953 | 0 | 0.0 | 810M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
345.48/345.62 c 327s|820000 |819953 | 0 | 0.0 | 820M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
349.78/349.92 c 331s|830000 |829953 | 0 | 0.0 | 831M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
354.18/354.35 c 335s|840000 |839953 | 0 | 0.0 | 841M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
358.58/358.74 c 339s|850000 |849953 | 0 | 0.0 | 852M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
362.97/363.14 c 343s|860000 |859953 | 0 | 0.0 | 862M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
367.18/367.40 c 347s|870000 |869953 | 0 | 0.0 | 873M| 99 | - |1348 |1350 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
371.58/371.74 c 351s|880000 |879949 | 0 | 0.0 | 883M| 99 | - |1348 |1352 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
375.77/375.95 c 355s|890000 |889949 | 0 | 0.0 | 893M| 99 | - |1348 |1352 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
379.87/380.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.87/380.08 c 359s|900000 |899949 | 0 | 0.0 | 904M| 99 | - |1348 |1352 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
384.17/384.32 c 363s|910000 |909949 | 0 | 0.0 | 914M| 99 | - |1348 |1352 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
388.37/388.56 c 367s|920000 |919947 | 0 | 0.0 | 924M| 99 | - |1348 |1353 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
392.58/392.79 c 371s|930000 |929947 | 0 | 0.0 | 935M| 99 | - |1348 |1351 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
396.97/397.13 c 375s|940000 |939945 | 0 | 0.0 | 945M| 99 | - |1348 |1352 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
401.17/401.35 c 379s|950000 |949945 | 0 | 0.0 | 955M| 99 | - |1348 |1352 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
405.46/405.60 c 383s|960000 |959943 | 0 | 0.0 | 966M| 99 | - |1348 |1353 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
409.67/409.88 c 387s|970000 |969943 | 0 | 0.0 | 976M| 99 | - |1348 |1353 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
413.97/414.12 c 391s|980000 |979943 | 0 | 0.0 | 987M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
418.06/418.29 c 395s|990000 |989943 | 0 | 0.0 | 997M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
422.36/422.57 c 399s| 1000k|999943 | 0 | 0.0 |1008M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
426.57/426.75 c 403s| 1010k| 1009k| 0 | 0.0 |1018M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
430.76/430.91 c 407s| 1020k| 1019k| 0 | 0.0 |1029M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 2.000000e+00 | -- | Inf
434.56/434.78 c 411s| 1030k| 1029k| 0 | 0.0 |1039M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
438.46/438.67 c 414s| 1040k| 1039k| 0 | 0.0 |1049M| 99 | - |1348 |1352 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
442.45/442.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.45/442.62 c 418s| 1050k| 1049k| 0 | 0.0 |1060M| 99 | - |1348 |1351 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
446.36/446.58 c 422s| 1060k| 1059k| 0 | 0.0 |1070M| 99 | - |1348 |1351 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
450.35/450.51 c 425s| 1070k| 1069k| 0 | 0.0 |1081M| 99 | - |1348 |1351 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
454.25/454.44 c 429s| 1080k| 1079k| 0 | 0.0 |1091M| 99 | - |1348 |1351 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
458.15/458.38 c 433s| 1090k| 1089k| 0 | 0.0 |1102M| 99 | - |1348 |1351 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
462.15/462.33 c 437s| 1100k| 1099k| 0 | 0.0 |1112M| 99 | - |1348 |1354 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
466.15/466.31 c 440s| 1110k| 1109k| 0 | 0.0 |1123M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
470.15/470.32 c 444s| 1120k| 1119k| 0 | 0.0 |1133M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
474.04/474.25 c 448s| 1130k| 1129k| 0 | 0.0 |1143M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
477.94/478.18 c 452s| 1140k| 1139k| 0 | 0.0 |1154M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
481.84/482.05 c 455s| 1150k| 1149k| 0 | 0.0 |1164M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
485.74/485.96 c 459s| 1160k| 1159k| 0 | 0.0 |1174M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
489.64/489.87 c 463s| 1170k| 1169k| 0 | 0.0 |1185M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
493.64/493.84 c 466s| 1180k| 1179k| 0 | 0.0 |1195M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
497.64/497.80 c 470s| 1190k| 1189k| 0 | 0.0 |1205M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
501.54/501.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.54/501.72 c 474s| 1200k| 1199k| 0 | 0.0 |1215M| 99 | - |1348 |1352 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
505.34/505.56 c 477s| 1210k| 1209k| 0 | 0.0 |1226M| 99 | - |1348 |1351 | 0 | 0 | 0 | 42 | 0 | 3.000000e+00 | -- | Inf
509.23/509.42 c 481s| 1220k| 1219k| 0 | 0.0 |1236M| 99 | - |1348 |1353 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
513.14/513.31 c 485s| 1230k| 1229k| 0 | 0.0 |1246M| 99 | - |1348 |1352 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
517.03/517.29 c 488s| 1240k| 1239k| 0 | 0.0 |1256M| 99 | - |1348 |1352 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
521.03/521.24 c 492s| 1250k| 1249k| 0 | 0.0 |1266M| 99 | - |1348 |1351 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
524.92/525.14 c 496s| 1260k| 1259k| 0 | 0.0 |1277M| 99 | - |1348 |1351 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
528.83/529.01 c 499s| 1270k| 1269k| 0 | 0.0 |1287M| 99 | - |1348 |1351 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
532.72/532.92 c 503s| 1280k| 1279k| 0 | 0.0 |1297M| 99 | - |1348 |1351 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
536.64/536.85 c 507s| 1290k| 1289k| 0 | 0.0 |1307M| 99 | - |1348 |1352 | 0 | 0 | 0 | 45 | 0 | 3.000000e+00 | -- | Inf
540.62/540.82 c 510s| 1300k| 1299k| 0 | 0.0 |1318M| 99 | - |1348 |1353 | 0 | 0 | 0 | 47 | 0 | 3.000000e+00 | -- | Inf
544.62/544.80 c 514s| 1310k| 1309k| 0 | 0.0 |1327M| 99 | - |1348 |1352 | 0 | 0 | 0 | 47 | 0 | 3.000000e+00 | -- | Inf
548.63/548.84 c 518s| 1320k| 1319k| 0 | 0.0 |1338M| 99 | - |1348 |1353 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
552.52/552.78 c 522s| 1330k| 1329k| 0 | 0.0 |1348M| 99 | - |1348 |1352 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
556.53/556.74 c 525s| 1340k| 1339k| 0 | 0.0 |1358M| 99 | - |1348 |1352 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
556.53/556.77 c (node 1340069) switching to memory saving mode (mem: 1296.0M/1620.0M)
556.92/557.14 o 18
556.92/557.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.92/557.14 c * 526s| 1340k| 1340k| 0 | 0.0 |1359M| 99 | - |1348 |1352 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | 1.800000e+01 | 500.00%
557.02/557.24 o 17
557.02/557.24 c * 526s| 1340k| 1340k| 0 | 0.0 |1359M| 106 | - |1348 |1487 | 0 | 0 | 0 | 184 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
557.12/557.34 o 16
557.12/557.34 c * 526s| 1340k| 1340k| 0 | 0.0 |1359M| 108 | - |1348 |1620 | 0 | 0 | 0 | 319 | 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
559.11/559.33 o 15
559.11/559.33 c * 528s| 1341k| 1339k| 0 | 0.0 |1361M| 112 | - |1348 |3808 | 0 | 0 | 0 |3037 | 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
564.81/565.09 o 14
564.81/565.09 c * 534s| 1344k| 1339k| 0 | 0.0 |1366M| 112 | - |1348 |8923 | 0 | 0 | 0 | 10k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
577.51/577.75 c 546s| 1350k| 1339k| 0 | 0.0 |1370M| 113 | - |1348 | 13k| 0 | 0 | 0 | 23k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
609.61/609.81 c 578s| 1360k| 1339k| 0 | 0.0 |1375M| 113 | - |1348 | 19k| 0 | 0 | 0 | 46k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
612.70/612.93 o 13
612.70/612.93 c * 581s| 1360k| 1339k| 0 | 0.0 |1377M| 113 | - |1348 | 21k| 0 | 0 | 0 | 49k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
649.69/649.97 c 617s| 1370k| 1338k| 0 | 0.0 |1378M| 113 | - |1348 | 23k| 0 | 0 | 0 | 74k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
695.38/695.66 c 663s| 1380k| 1338k| 0 | 0.0 |1382M| 113 | - |1348 | 27k| 0 | 0 | 0 | 99k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
746.67/746.98 c 714s| 1390k| 1338k| 0 | 0.0 |1384M| 113 | - |1348 | 30k| 0 | 0 | 0 | 130k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
799.55/799.90 c 766s| 1400k| 1338k| 0 | 0.0 |1388M| 113 | - |1348 | 34k| 0 | 0 | 0 | 151k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
859.02/859.38 c 825s| 1410k| 1337k| 0 | 0.0 |1386M| 113 | - |1348 | 32k| 0 | 0 | 0 | 175k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
920.11/920.46 c 886s| 1420k| 1337k| 0 | 0.0 |1391M| 113 | - |1348 | 38k| 0 | 0 | 0 | 208k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
982.79/983.11 c 948s| 1430k| 1337k| 0 | 0.0 |1396M| 113 | - |1348 | 44k| 0 | 0 | 0 | 230k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1056.27/1056.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.27/1056.63 c 1021s| 1440k| 1337k| 0 | 0.0 |1396M| 113 | - |1348 | 44k| 0 | 0 | 0 | 252k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1133.05/1133.49 c 1097s| 1450k| 1336k| 0 | 0.0 |1399M| 113 | - |1348 | 48k| 0 | 0 | 0 | 276k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1204.13/1204.57 c 1168s| 1460k| 1336k| 0 | 0.0 |1395M| 113 | - |1348 | 42k| 0 | 0 | 0 | 302k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1273.32/1273.80 c 1237s| 1470k| 1336k| 0 | 0.0 |1396M| 113 | - |1348 | 44k| 0 | 0 | 0 | 331k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1343.49/1343.98 c 1307s| 1480k| 1335k| 0 | 0.0 |1401M| 113 | - |1348 | 50k| 0 | 0 | 0 | 357k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1421.46/1421.90 c 1384s| 1490k| 1335k| 0 | 0.0 |1403M| 113 | - |1348 | 53k| 0 | 0 | 0 | 376k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1511.03/1511.54 c 1473s| 1500k| 1335k| 0 | 0.0 |1410M| 113 | - |1348 | 61k| 0 | 0 | 0 | 398k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1607.11/1607.60 c 1569s| 1510k| 1335k| 0 | 0.0 |1406M| 119 | - |1348 | 57k| 0 | 0 | 0 | 416k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1691.39/1691.92 c 1653s| 1520k| 1335k| 0 | 0.0 |1400M| 119 | - |1348 | 49k| 0 | 0 | 0 | 436k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1776.46/1777.01 c 1738s| 1530k| 1335k| 0 | 0.0 |1407M| 119 | - |1348 | 58k| 0 | 0 | 0 | 461k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1761.06
1800.07/1800.62 c Solving Nodes : 1532379
1800.07/1800.62 c Primal Bound : +1.30000000000000e+01 (6 solutions)
1800.07/1800.62 c Dual Bound : +3.00000000000000e+00
1800.07/1800.62 c Gap : 333.33 %
1800.07/1800.63 s SATISFIABLE
1800.07/1800.63 v -x100 -x99 -x98 x97 -x96 x95 -x94 -x93 x92 x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74
1800.07/1800.63 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49
1800.07/1800.63 v -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23
1800.07/1800.63 v -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.63 c Solving Time : 1761.06
1800.07/1800.63 c Original Problem :
1800.07/1800.63 c Problem name : HOME/instance-2663779-1276657263.opb
1800.07/1800.63 c Variables : 1348 (1348 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 1348 initial, 1348 maximal
1800.07/1800.63 c Presolved Problem :
1800.07/1800.63 c Problem name : t_HOME/instance-2663779-1276657263.opb
1800.07/1800.63 c Variables : 1348 (1348 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 1348 initial, 63220 maximal
1800.07/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c probing : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.63 c and : 0.19 0 0 0 0 0 0 0 0
1800.07/1800.63 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.63 c root node : - 0 - - 0 - - - -
1800.07/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.63 c and : 1248 0 4428673 0 1477605 16250 36726628 0 0 0
1800.07/1800.63 c logicor : 100+ 0 1449648 0 1477610 76564 480426 0 0 0
1800.07/1800.63 c countsols : 0 0 0 0 1477611 0 0 0 0 0
1800.07/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.63 c and : 219.74 0.00 211.74 0.00 8.00
1800.07/1800.63 c logicor : 628.80 0.00 575.38 0.00 53.42
1800.07/1800.63 c countsols : 0.57 0.00 0.00 0.00 0.57
1800.07/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.63 c vbounds : 2.30 2 0 0
1800.07/1800.63 c rootredcost : 2.44 0 0 0
1800.07/1800.63 c pseudoobj : 129.74 4450076 21592 1477738
1800.07/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.63 c propagation : 140.52 114406 114406 3629702 118.5 581 58.5 -
1800.07/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.63 c applied globally : - - - 467259 73.5 - - -
1800.07/1800.63 c applied locally : - - - 0 0.0 - - -
1800.07/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.63 c redcost : 0.00 0 0 0 0 0
1800.07/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.63 c intobj : 0.00 0 0 0 0 0
1800.07/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.63 c gomory : 0.00 0 0 0 0 0
1800.07/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.63 c cmir : 0.00 0 0 0 0 0
1800.07/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.63 c clique : 0.00 0 0 0 0 0
1800.07/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.63 c mcf : 0.00 0 0 0 0 0
1800.07/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.63 c Pricers : Time Calls Vars
1800.07/1800.63 c problem variables: 0.00 0 0
1800.07/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c inference : 215.50 1477605 0 0 0 0 2955210
1800.07/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c random : 0.00 0 0 0 0 0 0
1800.07/1800.63 c Primal Heuristics : Time Calls Found
1800.07/1800.63 c LP solutions : 0.00 - 0
1800.07/1800.63 c pseudo solutions : 0.30 - 6
1800.07/1800.63 c oneopt : 0.91 0 0
1800.07/1800.63 c trivial : 0.00 2 0
1800.07/1800.63 c simplerounding : 0.00 0 0
1800.07/1800.63 c zirounding : 0.00 0 0
1800.07/1800.63 c rounding : 0.00 0 0
1800.07/1800.63 c shifting : 0.00 0 0
1800.07/1800.63 c intshifting : 0.00 0 0
1800.07/1800.63 c twoopt : 0.00 0 0
1800.07/1800.63 c fixandinfer : 0.00 0 0
1800.07/1800.63 c feaspump : 0.00 0 0
1800.07/1800.63 c coefdiving : 0.00 0 0
1800.07/1800.63 c pscostdiving : 0.00 0 0
1800.07/1800.63 c fracdiving : 0.00 0 0
1800.07/1800.63 c veclendiving : 0.00 0 0
1800.07/1800.63 c intdiving : 0.00 0 0
1800.07/1800.63 c actconsdiving : 0.00 0 0
1800.07/1800.63 c objpscostdiving : 0.00 0 0
1800.07/1800.63 c rootsoldiving : 0.00 0 0
1800.07/1800.63 c linesearchdiving : 0.00 0 0
1800.07/1800.63 c guideddiving : 0.00 0 0
1800.07/1800.63 c octane : 0.00 0 0
1800.07/1800.63 c rens : 0.00 0 0
1800.07/1800.63 c rins : 0.00 0 0
1800.07/1800.63 c localbranching : 0.00 0 0
1800.07/1800.63 c mutation : 0.00 0 0
1800.07/1800.63 c crossover : 0.00 0 0
1800.07/1800.63 c dins : 0.00 0 0
1800.07/1800.63 c undercover : 0.00 0 0
1800.07/1800.63 c nlp : 0.86 0 0
1800.07/1800.63 c trysol : 0.56 0 0
1800.07/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.63 c (at root node) : - 0 0 0.00 -
1800.07/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.63 c B&B Tree :
1800.07/1800.63 c number of runs : 1
1800.07/1800.63 c nodes : 1532379
1800.07/1800.63 c nodes (total) : 1532379
1800.07/1800.63 c nodes left : 1335372
1800.07/1800.63 c max depth : 119
1800.07/1800.63 c max depth (total): 119
1800.07/1800.63 c backtracks : 121826 (8.0%)
1800.07/1800.63 c delayed cutoffs : 87331
1800.07/1800.63 c repropagations : 171131 (11491769 domain reductions, 59638 cutoffs)
1800.07/1800.63 c avg switch length: 4.63
1800.07/1800.63 c switching time : 357.57
1800.07/1800.63 c Solution :
1800.07/1800.63 c Solutions found : 6 (6 improvements)
1800.07/1800.63 c First Solution : +1.80000000000000e+01 (in run 1, after 1340110 nodes, 525.77 seconds, depth 99, found by <relaxation>)
1800.07/1800.63 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1360923 nodes, 580.77 seconds, depth 104, found by <relaxation>)
1800.07/1800.63 c Dual Bound : +3.00000000000000e+00
1800.07/1800.63 c Gap : 333.33 %
1800.07/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.63 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-2663779-1276657263/watcher-2663779-1276657263 -o /tmp/evaluation-result-2663779-1276657263/solver-2663779-1276657263 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663779-1276657263.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13694
/proc/meminfo: memFree=1779200/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=8264 CPUtime=0
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 7014365 8462336 1463 1992294400 4194304 7136930 140734323822560 18446744073709551615 6344164 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13694/statm: 2066 1464 272 719 0 1345 0
[startup+0.023028 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13694
/proc/meminfo: memFree=1779200/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=9788 CPUtime=0.01
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 1930 0 0 0 1 0 0 0 20 0 1 0 7014365 10022912 1852 1992294400 4194304 7136930 140734323822560 18446744073709551615 4333616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13694/statm: 2447 1852 273 719 0 1726 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9788
[startup+0.102038 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13694
/proc/meminfo: memFree=1779200/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=16084 CPUtime=0.09
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 3927 0 0 0 6 3 0 0 20 0 1 0 7014365 16470016 3239 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 4021 3239 328 719 0 3300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16084
[startup+0.301065 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13694
/proc/meminfo: memFree=1779200/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=16220 CPUtime=0.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 4723 0 0 0 16 13 0 0 20 0 1 0 7014365 16609280 3264 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 4055 3264 348 719 0 3334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16220
[startup+0.701122 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13694
/proc/meminfo: memFree=1779200/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=18472 CPUtime=0.69
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 5331 0 0 0 49 20 0 0 20 0 1 0 7014365 18915328 3872 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 4618 3872 381 719 0 3897 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18472
[startup+1.50024 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13695
/proc/meminfo: memFree=1764188/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=21600 CPUtime=1.49
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 6127 0 0 0 124 25 0 0 23 0 1 0 7014365 22118400 4668 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 5400 4668 387 719 0 4679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21600
[startup+3.10046 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13695
/proc/meminfo: memFree=1759600/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=26644 CPUtime=3.09
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 7410 0 0 0 277 32 0 0 25 0 1 0 7014365 27283456 5951 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 6661 5951 387 719 0 5940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26644
[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13695
/proc/meminfo: memFree=1749432/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=37508 CPUtime=6.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 10158 0 0 0 579 50 0 0 25 0 1 0 7014365 38408192 8699 1992294400 4194304 7136930 140734323822560 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 9377 8699 387 719 0 8656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37508
[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13695
/proc/meminfo: memFree=1730708/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=53388 CPUtime=12.69
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 14167 0 0 0 1180 89 0 0 25 0 1 0 7014365 54669312 12708 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 13347 12708 387 719 0 12626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53388
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13695
/proc/meminfo: memFree=1696732/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=86416 CPUtime=25.48
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 22530 0 0 0 2394 154 0 0 25 0 1 0 7014365 88489984 21071 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 21604 21071 387 719 0 20883 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86416
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13695
/proc/meminfo: memFree=1636592/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=147800 CPUtime=51.07
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 37623 0 0 0 4804 303 0 0 25 0 1 0 7014365 151347200 36164 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 36950 36164 387 719 0 36229 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 147800
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13697
/proc/meminfo: memFree=1501308/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=283528 CPUtime=102.26
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 71043 0 0 0 9604 622 0 0 25 0 1 0 7014365 290332672 69584 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 70882 69584 387 719 0 70161 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 283528
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13699
/proc/meminfo: memFree=1349656/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=434752 CPUtime=162.24
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 109415 0 0 0 15246 978 0 0 25 0 1 0 7014365 445186048 107956 1992294400 4194304 7136930 140734323822560 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 108688 107956 387 719 0 107967 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 434752
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13701
/proc/meminfo: memFree=1222060/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=565980 CPUtime=222.22
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 140674 0 0 0 20964 1258 0 0 25 0 1 0 7014365 579563520 139215 1992294400 4194304 7136930 140734323822560 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 141495 139215 387 719 0 140774 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 565980
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 13701
/proc/meminfo: memFree=1084916/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=703336 CPUtime=282.2
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 175510 0 0 0 26658 1562 0 0 25 0 1 0 7014365 720216064 174051 1992294400 4194304 7136930 140734323822560 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 175834 174051 387 719 0 175113 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 703336
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13703
/proc/meminfo: memFree=932024/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=850992 CPUtime=342.18
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 212968 0 0 0 32338 1880 0 0 25 0 1 0 7014365 871415808 211509 1992294400 4194304 7136930 140734323822560 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 212748 211509 387 719 0 212027 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 850992
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13705
/proc/meminfo: memFree=791160/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=990636 CPUtime=402.17
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 248416 0 0 0 38019 2198 0 0 25 0 1 0 7014365 1014411264 246957 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 247659 246957 387 719 0 246938 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 990636
[startup+462.302 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 13707
/proc/meminfo: memFree=634796/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1159548 CPUtime=462.15
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 287114 0 0 0 43659 2556 0 0 25 0 1 0 7014365 1187377152 285655 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 289887 285655 387 719 0 289166 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1159548
[startup+522.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 13709
/proc/meminfo: memFree=478432/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1315856 CPUtime=522.13
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 326772 0 0 0 49304 2909 0 0 25 0 1 0 7014365 1347436544 325313 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 328964 325313 387 719 0 328243 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1315856
[startup+582.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 13709
/proc/meminfo: memFree=362740/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1427808 CPUtime=582.12
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 360219 0 0 0 55058 3154 0 0 25 0 1 0 7014365 1462075392 353524 1992294400 4194304 7136930 140734323822560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 356952 353524 387 719 0 356231 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1427808
[startup+642.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 13711
/proc/meminfo: memFree=348480/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1442604 CPUtime=642.11
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 363721 0 0 0 60988 3223 0 0 25 0 1 0 7014365 1477226496 357026 1992294400 4194304 7136930 140734323822560 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 360651 357026 387 719 0 359930 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1442604
[startup+702.302 s]
################
# More data... #
################
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 371163 0 0 0 102669 3528 0 0 25 0 1 0 7014365 1510662144 364468 1992294400 4194304 7136930 140734323822560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 368814 364468 387 719 0 368093 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1475256
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13725
/proc/meminfo: memFree=314132/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1479256 CPUtime=1121.95
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 372176 0 0 0 108634 3561 0 0 25 0 1 0 7014365 1514758144 365481 1992294400 4194304 7136930 140734323822560 18446744073709551615 4781675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 369814 365481 387 719 0 369093 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1479256
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13725
/proc/meminfo: memFree=313512/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1479832 CPUtime=1181.93
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 372312 0 0 0 114598 3595 0 0 25 0 1 0 7014365 1515347968 365617 1992294400 4194304 7136930 140734323822560 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 369958 365617 387 719 0 369237 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1479832
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13727
/proc/meminfo: memFree=313016/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1480304 CPUtime=1241.92
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 372413 0 0 0 120562 3630 0 0 25 0 1 0 7014365 1515831296 365718 1992294400 4194304 7136930 140734323822560 18446744073709551615 4210536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 370076 365718 387 719 0 369355 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1480304
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13729
/proc/meminfo: memFree=312768/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1480460 CPUtime=1301.91
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 372466 0 0 0 126526 3665 0 0 25 0 1 0 7014365 1515991040 365771 1992294400 4194304 7136930 140734323822560 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 370115 365771 387 719 0 369394 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1480460
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13731
/proc/meminfo: memFree=310536/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1482560 CPUtime=1361.88
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 373015 0 0 0 132489 3699 0 0 25 0 1 0 7014365 1518141440 366320 1992294400 4194304 7136930 140734323822560 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 370640 366320 387 719 0 369919 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1482560
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13733
/proc/meminfo: memFree=308056/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1484764 CPUtime=1421.87
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 373644 0 0 0 138457 3730 0 0 25 0 1 0 7014365 1520398336 366949 1992294400 4194304 7136930 140734323822560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 371191 366949 387 719 0 370470 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1484764
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13733
/proc/meminfo: memFree=300244/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1492172 CPUtime=1481.85
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 375566 0 0 0 144426 3759 0 0 25 0 1 0 7014365 1527984128 368871 1992294400 4194304 7136930 140734323822560 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 373043 368871 387 719 0 372322 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1492172
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13735
/proc/meminfo: memFree=299996/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1492304 CPUtime=1541.83
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 375625 0 0 0 150398 3785 0 0 25 0 1 0 7014365 1528119296 368930 1992294400 4194304 7136930 140734323822560 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 373076 368930 387 719 0 372355 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1492304
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13737
/proc/meminfo: memFree=298508/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1493756 CPUtime=1601.81
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376011 0 0 0 156371 3810 0 0 25 0 1 0 7014365 1529606144 369316 1992294400 4194304 7136930 140734323822560 18446744073709551615 6000505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 373439 369316 387 719 0 372718 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1493756
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13739
/proc/meminfo: memFree=296896/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1496740 CPUtime=1661.79
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376393 0 0 0 162343 3836 0 0 25 0 1 0 7014365 1532661760 369698 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 374185 369698 387 719 0 373464 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1496740
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13741
/proc/meminfo: memFree=296772/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1496740 CPUtime=1721.78
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376406 0 0 0 168311 3867 0 0 25 0 1 0 7014365 1532661760 369711 1992294400 4194304 7136930 140734323822560 18446744073709551615 4210118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 374185 369711 387 719 0 373464 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1496740
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13741
/proc/meminfo: memFree=296524/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1496740 CPUtime=1781.75
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376416 0 0 0 174282 3893 0 0 25 0 1 0 7014365 1532661760 369721 1992294400 4194304 7136930 140734323822560 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 374185 369721 387 719 0 373464 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1496740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13743
/proc/meminfo: memFree=296524/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1496740 CPUtime=1800.07
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376426 0 0 0 176106 3901 0 0 25 0 1 0 7014365 1532661760 369731 1992294400 4194304 7136930 140734323822560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13694/statm: 374185 369731 387 719 0 373464 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1496740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13694
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13743
/proc/meminfo: memFree=296524/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1497052 CPUtime=1800.85
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376508 0 0 0 176184 3901 0 0 25 0 1 0 7014365 1532981248 369813 1992294400 4194304 7136930 140734323822560 18446744073709551615 6165632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13694/statm: 374263 369813 393 719 0 373542 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1497052
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13744
/proc/meminfo: memFree=296144/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1496028 CPUtime=1801.65
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376508 0 0 0 176264 3901 0 0 25 0 1 0 7014365 1531932672 369557 1992294400 4194304 7136930 140734323822560 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13694/statm: 374007 369557 393 719 0 373286 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1496028
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13744
/proc/meminfo: memFree=296144/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=1496028 CPUtime=1802.05
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4202496 376508 0 0 0 176304 3901 0 0 25 0 1 0 7014365 1531932672 369557 1992294400 4194304 7136930 140734323822560 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13694/statm: 374007 369557 393 719 0 373286 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1496028
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13744
/proc/meminfo: memFree=296144/2059040 swapFree=4144492/4192956
[pid=13694] ppid=13692 vsize=0 CPUtime=1802.15
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 12157 0 -1 4203524 376508 0 0 0 176306 3909 0 0 25 0 1 0 7014365 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13694/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.21
CPU user time (s): 1763.07
CPU system time (s): 39.148
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1497052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.06
system time used= 39.148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376508
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= 2690
runsolver used 2.97255 second user time and 8.5407 second system time
The end