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-2663774-1276656373.opb>
0.00/0.02 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 1344 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.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, 35632 impls, 0 clqs
0.39/0.43 c (0.2s) probing: 101/1344 (7.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (2 rounds):
0.39/0.43 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.43 c 35632 implications, 0 cliques
0.39/0.43 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 1344 constraints
0.39/0.43 c 1244 constraints of type <and>
0.39/0.43 c 100 constraints of type <logicor>
0.39/0.43 c transformed objective value is always integral (scale: 1)
0.39/0.43 c Presolving Time: 0.23
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 1.2.1.2
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1799.98
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 1620
0.39/0.43 c
0.39/0.43 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.43 c lp/solvefreq = -1
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c heuristics/undercover/freq = 0
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 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 | - |4528k| 0 | - |1344 |1344 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.99/5.08 c 4.6s| 10000 | 9989 | 0 | 0.0 | 15M| 89 | - |1344 |1349 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
9.29/9.33 c 8.7s| 20000 | 19987 | 0 | 0.0 | 26M| 90 | - |1344 |1351 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
13.59/13.67 c 12.8s| 30000 | 29987 | 0 | 0.0 | 36M| 92 | - |1344 |1351 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
18.18/18.28 c 17.1s| 40000 | 39987 | 0 | 0.0 | 46M| 92 | - |1344 |1351 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
22.78/22.80 c 21.4s| 50000 | 49987 | 0 | 0.0 | 56M| 92 | - |1344 |1350 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
26.98/27.08 c 25.4s| 60000 | 59987 | 0 | 0.0 | 66M| 96 | - |1344 |1350 | 0 | 0 | 0 | 8 | 0 | 2.000000e+00 | -- | Inf
31.18/31.27 c 29.4s| 70000 | 69985 | 0 | 0.0 | 76M| 96 | - |1344 |1350 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
35.38/35.42 c 33.3s| 80000 | 79983 | 0 | 0.0 | 86M| 96 | - |1344 |1350 | 0 | 0 | 0 | 11 | 0 | 2.000000e+00 | -- | Inf
39.48/39.58 c 37.3s| 90000 | 89981 | 0 | 0.0 | 96M| 96 | - |1344 |1350 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
43.67/43.72 c 41.1s|100000 | 99977 | 0 | 0.0 | 105M| 96 | - |1344 |1352 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
47.77/47.89 c 45.1s|110000 |109975 | 0 | 0.0 | 115M| 96 | - |1344 |1351 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
51.87/51.99 c 48.9s|120000 |119969 | 0 | 0.0 | 125M| 96 | - |1344 |1355 | 0 | 0 | 0 | 19 | 0 | 2.000000e+00 | -- | Inf
55.97/56.06 c 52.8s|130000 |129967 | 0 | 0.0 | 135M| 97 | - |1344 |1355 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
60.07/60.11 c 56.6s|140000 |139961 | 0 | 0.0 | 145M| 97 | - |1344 |1355 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
64.07/64.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.07/64.16 c 60.4s|150000 |149961 | 0 | 0.0 | 155M| 99 | - |1344 |1354 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
68.07/68.19 c 64.1s|160000 |159959 | 0 | 0.0 | 165M| 99 | - |1344 |1353 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
72.06/72.18 c 67.9s|170000 |169959 | 0 | 0.0 | 176M| 99 | - |1344 |1353 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
76.07/76.17 c 71.6s|180000 |179959 | 0 | 0.0 | 186M| 99 | - |1344 |1352 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
79.97/80.09 c 75.3s|190000 |189959 | 0 | 0.0 | 196M| 99 | - |1344 |1352 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
83.96/84.03 c 79.0s|200000 |199957 | 0 | 0.0 | 206M| 99 | - |1344 |1353 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
87.96/88.05 c 82.8s|210000 |209957 | 0 | 0.0 | 216M| 99 | - |1344 |1352 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
91.95/92.09 c 86.6s|220000 |219957 | 0 | 0.0 | 227M| 99 | - |1344 |1352 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
95.95/96.07 c 90.3s|230000 |229955 | 0 | 0.0 | 237M| 99 | - |1344 |1352 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
99.96/100.05 c 94.0s|240000 |239955 | 0 | 0.0 | 247M| 99 | - |1344 |1352 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
104.06/104.12 c 97.8s|250000 |249955 | 0 | 0.0 | 257M| 99 | - |1344 |1352 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
108.05/108.19 c 102s|260000 |259953 | 0 | 0.0 | 268M| 99 | - |1344 |1353 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
112.45/112.54 c 106s|270000 |269953 | 0 | 0.0 | 278M| 99 | - |1344 |1351 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
117.14/117.21 c 110s|280000 |279953 | 0 | 0.0 | 287M| 103 | - |1344 |1349 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
121.55/121.62 c 114s|290000 |289953 | 0 | 0.0 | 297M| 103 | - |1344 |1348 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
125.84/125.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.84/125.98 c 118s|300000 |299951 | 0 | 0.0 | 307M| 103 | - |1344 |1349 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
130.14/130.21 c 122s|310000 |309951 | 0 | 0.0 | 317M| 103 | - |1344 |1349 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
134.54/134.63 c 127s|320000 |319951 | 0 | 0.0 | 327M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
139.44/139.53 c 131s|330000 |329951 | 0 | 0.0 | 337M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
144.23/144.34 c 136s|340000 |339951 | 0 | 0.0 | 346M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
149.03/149.18 c 141s|350000 |349951 | 0 | 0.0 | 356M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
153.84/153.92 c 145s|360000 |359951 | 0 | 0.0 | 366M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
158.53/158.66 c 150s|370000 |369951 | 0 | 0.0 | 375M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
163.33/163.40 c 154s|380000 |379951 | 0 | 0.0 | 385M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
168.03/168.11 c 159s|390000 |389951 | 0 | 0.0 | 395M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
172.73/172.82 c 163s|400000 |399951 | 0 | 0.0 | 405M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
177.32/177.46 c 167s|410000 |409951 | 0 | 0.0 | 415M| 103 | - |1344 |1348 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
182.02/182.11 c 172s|420000 |419949 | 0 | 0.0 | 424M| 103 | - |1344 |1349 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
186.62/186.77 c 176s|430000 |429949 | 0 | 0.0 | 434M| 103 | - |1344 |1348 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
191.33/191.42 c 181s|440000 |439949 | 0 | 0.0 | 443M| 103 | - |1344 |1348 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
196.02/196.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.02/196.12 c 185s|450000 |449947 | 0 | 0.0 | 453M| 103 | - |1344 |1350 | 0 | 0 | 0 | 39 | 0 | 2.000000e+00 | -- | Inf
200.61/200.78 c 190s|460000 |459937 | 0 | 0.0 | 463M| 103 | - |1344 |1351 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
205.32/205.43 c 194s|470000 |469929 | 0 | 0.0 | 472M| 103 | - |1344 |1353 | 0 | 0 | 0 | 45 | 0 | 2.000000e+00 | -- | Inf
209.92/210.09 c 198s|480000 |479923 | 0 | 0.0 | 482M| 103 | - |1344 |1353 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
214.51/214.62 c 203s|490000 |489923 | 0 | 0.0 | 492M| 103 | - |1344 |1352 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
219.01/219.19 c 207s|500000 |499922 | 0 | 0.0 | 503M| 103 | - |1344 |1352 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
223.71/223.84 c 211s|510000 |509914 | 0 | 0.0 | 513M| 103 | - |1344 |1355 | 0 | 0 | 0 | 50 | 0 | 2.000000e+00 | -- | Inf
228.40/228.51 c 216s|520000 |519914 | 0 | 0.0 | 523M| 103 | - |1344 |1353 | 0 | 0 | 0 | 50 | 0 | 2.000000e+00 | -- | Inf
233.02/233.17 c 220s|530000 |529908 | 0 | 0.0 | 533M| 103 | - |1344 |1355 | 0 | 0 | 0 | 54 | 0 | 2.000000e+00 | -- | Inf
237.60/237.78 c 225s|540000 |539906 | 0 | 0.0 | 544M| 103 | - |1344 |1352 | 0 | 0 | 0 | 55 | 0 | 2.000000e+00 | -- | Inf
242.21/242.40 c 229s|550000 |549904 | 0 | 0.0 | 554M| 103 | - |1344 |1351 | 0 | 0 | 0 | 56 | 0 | 2.000000e+00 | -- | Inf
246.80/246.96 c 233s|560000 |559902 | 0 | 0.0 | 564M| 103 | - |1344 |1352 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
251.40/251.52 c 238s|570000 |569901 | 0 | 0.0 | 574M| 103 | - |1344 |1352 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
255.80/255.98 c 242s|580000 |579901 | 0 | 0.0 | 584M| 103 | - |1344 |1351 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
260.30/260.48 c 246s|590000 |589900 | 0 | 0.0 | 594M| 103 | - |1344 |1350 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
264.79/264.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.79/264.97 c 250s|600000 |599900 | 0 | 0.0 | 603M| 103 | - |1344 |1349 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
269.40/269.56 c 255s|610000 |609900 | 0 | 0.0 | 613M| 103 | - |1344 |1349 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
274.09/274.20 c 259s|620000 |619900 | 0 | 0.0 | 623M| 103 | - |1344 |1349 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
278.59/278.73 c 264s|630000 |629900 | 0 | 0.0 | 634M| 103 | - |1344 |1349 | 0 | 0 | 0 | 57 | 0 | 2.000000e+00 | -- | Inf
283.18/283.33 c 268s|640000 |639896 | 0 | 0.0 | 644M| 103 | - |1344 |1351 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
287.79/287.92 c 272s|650000 |649896 | 0 | 0.0 | 654M| 103 | - |1344 |1350 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
292.38/292.57 c 277s|660000 |659896 | 0 | 0.0 | 663M| 103 | - |1344 |1349 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
296.98/297.18 c 281s|670000 |669896 | 0 | 0.0 | 673M| 103 | - |1344 |1349 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
301.57/301.77 c 285s|680000 |679896 | 0 | 0.0 | 683M| 103 | - |1344 |1349 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
306.28/306.42 c 290s|690000 |689896 | 0 | 0.0 | 693M| 103 | - |1344 |1349 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
310.98/311.10 c 294s|700000 |699896 | 0 | 0.0 | 703M| 103 | - |1344 |1349 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
315.58/315.71 c 299s|710000 |709896 | 0 | 0.0 | 713M| 103 | - |1344 |1349 | 0 | 0 | 0 | 59 | 0 | 2.000000e+00 | -- | Inf
320.17/320.33 c 303s|720000 |719894 | 0 | 0.0 | 723M| 103 | - |1344 |1349 | 0 | 0 | 0 | 60 | 0 | 2.000000e+00 | -- | Inf
324.77/324.90 c 307s|730000 |729892 | 0 | 0.0 | 733M| 103 | - |1344 |1351 | 0 | 0 | 0 | 62 | 0 | 2.000000e+00 | -- | Inf
329.27/329.46 c 312s|740000 |739892 | 0 | 0.0 | 742M| 103 | - |1344 |1349 | 0 | 0 | 0 | 62 | 0 | 2.000000e+00 | -- | Inf
333.86/334.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.86/334.07 c 316s|750000 |749892 | 0 | 0.0 | 752M| 103 | - |1344 |1349 | 0 | 0 | 0 | 62 | 0 | 2.000000e+00 | -- | Inf
338.47/338.65 c 320s|760000 |759892 | 0 | 0.0 | 761M| 103 | - |1344 |1349 | 0 | 0 | 0 | 62 | 0 | 2.000000e+00 | -- | Inf
343.07/343.23 c 325s|770000 |769890 | 0 | 0.0 | 771M| 103 | - |1344 |1350 | 0 | 0 | 0 | 63 | 0 | 2.000000e+00 | -- | Inf
347.76/347.94 c 329s|780000 |779888 | 0 | 0.0 | 781M| 103 | - |1344 |1351 | 0 | 0 | 0 | 64 | 0 | 2.000000e+00 | -- | Inf
352.46/352.65 c 334s|790000 |789888 | 0 | 0.0 | 791M| 103 | - |1344 |1351 | 0 | 0 | 0 | 64 | 0 | 2.000000e+00 | -- | Inf
357.16/357.32 c 338s|800000 |799882 | 0 | 0.0 | 802M| 103 | - |1344 |1352 | 0 | 0 | 0 | 65 | 0 | 2.000000e+00 | -- | Inf
361.96/362.10 c 343s|810000 |809882 | 0 | 0.0 | 812M| 103 | - |1344 |1350 | 0 | 0 | 0 | 65 | 0 | 2.000000e+00 | -- | Inf
366.65/366.80 c 347s|820000 |819882 | 0 | 0.0 | 822M| 103 | - |1344 |1350 | 0 | 0 | 0 | 65 | 0 | 2.000000e+00 | -- | Inf
371.35/371.52 c 351s|830000 |829868 | 0 | 0.0 | 833M| 103 | - |1344 |1352 | 0 | 0 | 0 | 69 | 0 | 2.000000e+00 | -- | Inf
376.14/376.32 c 356s|840000 |839866 | 0 | 0.0 | 843M| 103 | - |1344 |1354 | 0 | 0 | 0 | 71 | 0 | 2.000000e+00 | -- | Inf
380.75/380.98 c 360s|850000 |849866 | 0 | 0.0 | 853M| 103 | - |1344 |1354 | 0 | 0 | 0 | 71 | 0 | 2.000000e+00 | -- | Inf
385.45/385.60 c 365s|860000 |859860 | 0 | 0.0 | 864M| 103 | - |1344 |1356 | 0 | 0 | 0 | 73 | 0 | 2.000000e+00 | -- | Inf
390.05/390.29 c 369s|870000 |869860 | 0 | 0.0 | 874M| 103 | - |1344 |1355 | 0 | 0 | 0 | 73 | 0 | 2.000000e+00 | -- | Inf
394.75/394.97 c 374s|880000 |879858 | 0 | 0.0 | 884M| 103 | - |1344 |1355 | 0 | 0 | 0 | 73 | 0 | 2.000000e+00 | -- | Inf
399.44/399.61 c 378s|890000 |889844 | 0 | 0.0 | 895M| 103 | - |1344 |1356 | 0 | 0 | 0 | 75 | 0 | 2.000000e+00 | -- | Inf
403.94/404.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.94/404.17 c 382s|900000 |899842 | 0 | 0.0 | 905M| 103 | - |1344 |1359 | 0 | 0 | 0 | 78 | 0 | 2.000000e+00 | -- | Inf
408.64/408.85 c 387s|910000 |909842 | 0 | 0.0 | 915M| 103 | - |1344 |1357 | 0 | 0 | 0 | 78 | 0 | 2.000000e+00 | -- | Inf
413.24/413.49 c 391s|920000 |919836 | 0 | 0.0 | 925M| 103 | - |1344 |1358 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
417.84/418.02 c 396s|930000 |929836 | 0 | 0.0 | 935M| 103 | - |1344 |1357 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
422.34/422.59 c 400s|940000 |939836 | 0 | 0.0 | 946M| 103 | - |1344 |1356 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
426.93/427.19 c 404s|950000 |949836 | 0 | 0.0 | 956M| 103 | - |1344 |1356 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
431.63/431.80 c 409s|960000 |959831 | 0 | 0.0 | 966M| 103 | - |1344 |1356 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
436.23/436.40 c 413s|970000 |969831 | 0 | 0.0 | 976M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
440.83/441.01 c 417s|980000 |979831 | 0 | 0.0 | 987M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
445.33/445.53 c 422s|990000 |989829 | 0 | 0.0 | 997M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
449.83/450.00 c 426s| 1000k|999827 | 0 | 0.0 |1007M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
454.13/454.35 c 430s| 1010k| 1009k| 0 | 0.0 |1018M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
458.62/458.81 c 434s| 1020k| 1019k| 0 | 0.0 |1028M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
463.12/463.30 c 438s| 1030k| 1029k| 0 | 0.0 |1038M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
467.52/467.71 c 443s| 1040k| 1039k| 0 | 0.0 |1049M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 2.000000e+00 | -- | Inf
471.52/471.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.52/471.78 c 446s| 1050k| 1049k| 0 | 0.0 |1059M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 3.000000e+00 | -- | Inf
475.71/475.93 c 450s| 1060k| 1059k| 0 | 0.0 |1070M| 103 | - |1344 |1355 | 0 | 0 | 0 | 80 | 0 | 3.000000e+00 | -- | Inf
479.91/480.18 c 454s| 1070k| 1069k| 0 | 0.0 |1080M| 103 | - |1344 |1356 | 0 | 0 | 0 | 81 | 0 | 3.000000e+00 | -- | Inf
484.11/484.38 c 458s| 1080k| 1079k| 0 | 0.0 |1090M| 103 | - |1344 |1356 | 0 | 0 | 0 | 82 | 0 | 3.000000e+00 | -- | Inf
488.31/488.56 c 462s| 1090k| 1089k| 0 | 0.0 |1101M| 103 | - |1344 |1357 | 0 | 0 | 0 | 84 | 0 | 3.000000e+00 | -- | Inf
492.51/492.73 c 466s| 1100k| 1099k| 0 | 0.0 |1111M| 103 | - |1344 |1355 | 0 | 0 | 0 | 84 | 0 | 3.000000e+00 | -- | Inf
496.61/496.89 c 470s| 1110k| 1109k| 0 | 0.0 |1122M| 103 | - |1344 |1355 | 0 | 0 | 0 | 87 | 0 | 3.000000e+00 | -- | Inf
500.71/500.99 c 474s| 1120k| 1119k| 0 | 0.0 |1132M| 103 | - |1344 |1354 | 0 | 0 | 0 | 87 | 0 | 3.000000e+00 | -- | Inf
504.71/504.98 c 478s| 1130k| 1129k| 0 | 0.0 |1142M| 103 | - |1344 |1354 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
508.70/508.97 c 481s| 1140k| 1139k| 0 | 0.0 |1152M| 103 | - |1344 |1354 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
512.80/513.05 c 485s| 1150k| 1149k| 0 | 0.0 |1162M| 103 | - |1344 |1354 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
517.00/517.20 c 489s| 1160k| 1159k| 0 | 0.0 |1172M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
520.99/521.28 c 493s| 1170k| 1169k| 0 | 0.0 |1182M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
525.00/525.29 c 497s| 1180k| 1179k| 0 | 0.0 |1192M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
529.09/529.34 c 501s| 1190k| 1189k| 0 | 0.0 |1202M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
533.09/533.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.09/533.37 c 504s| 1200k| 1199k| 0 | 0.0 |1212M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
537.19/537.47 c 508s| 1210k| 1209k| 0 | 0.0 |1223M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
541.39/541.60 c 512s| 1220k| 1219k| 0 | 0.0 |1233M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
545.40/545.62 c 516s| 1230k| 1229k| 0 | 0.0 |1243M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
549.38/549.65 c 520s| 1240k| 1239k| 0 | 0.0 |1253M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
553.39/553.62 c 523s| 1250k| 1249k| 0 | 0.0 |1263M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
557.38/557.61 c 527s| 1260k| 1259k| 0 | 0.0 |1273M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
561.38/561.66 c 531s| 1270k| 1269k| 0 | 0.0 |1283M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
565.37/565.67 c 535s| 1280k| 1279k| 0 | 0.0 |1293M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
569.38/569.61 c 538s| 1290k| 1289k| 0 | 0.0 |1304M| 103 | - |1344 |1353 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
573.38/573.62 c 542s| 1300k| 1299k| 0 | 0.0 |1314M| 103 | - |1344 |1352 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
577.28/577.57 c 546s| 1310k| 1309k| 0 | 0.0 |1324M| 103 | - |1344 |1352 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
581.37/581.63 c 550s| 1320k| 1319k| 0 | 0.0 |1334M| 103 | - |1344 |1352 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
585.47/585.71 c 554s| 1330k| 1329k| 0 | 0.0 |1344M| 103 | - |1344 |1352 | 0 | 0 | 0 | 89 | 0 | 3.000000e+00 | -- | Inf
589.37/589.68 c 557s| 1340k| 1339k| 0 | 0.0 |1354M| 103 | - |1344 |1352 | 0 | 0 | 0 | 91 | 0 | 3.000000e+00 | -- | Inf
590.97/591.23 c (node 1343958) switching to memory saving mode (mem: 1296.0M/1620.0M)
591.36/591.62 o 24
591.36/591.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.36/591.62 c * 559s| 1344k| 1343k| 0 | 0.0 |1359M| 112 | - |1344 |1352 | 0 | 0 | 0 | 91 | 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
591.36/591.67 o 23
591.36/591.67 c * 559s| 1344k| 1343k| 0 | 0.0 |1359M| 112 | - |1344 |1352 | 0 | 0 | 0 | 91 | 0 | 3.000000e+00 | 2.300000e+01 | 666.67%
591.48/591.73 o 18
591.48/591.73 c * 559s| 1344k| 1343k| 0 | 0.0 |1359M| 126 | - |1344 |1363 | 0 | 0 | 0 | 102 | 0 | 3.000000e+00 | 1.800000e+01 | 500.00%
591.48/591.79 o 17
591.48/591.79 c * 559s| 1344k| 1343k| 0 | 0.0 |1359M| 126 | - |1344 |1393 | 0 | 0 | 0 | 132 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
591.58/591.84 o 16
591.58/591.84 c * 559s| 1344k| 1343k| 0 | 0.0 |1359M| 129 | - |1344 |1400 | 0 | 0 | 0 | 139 | 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
591.96/592.22 o 15
591.96/592.22 c * 560s| 1344k| 1343k| 0 | 0.0 |1359M| 129 | - |1344 |1935 | 0 | 0 | 0 | 884 | 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
600.77/601.01 c 568s| 1350k| 1343k| 0 | 0.0 |1363M| 129 | - |1344 |5575 | 0 | 0 | 0 | 10k| 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
603.47/603.74 o 14
603.47/603.74 c * 571s| 1351k| 1343k| 0 | 0.0 |1363M| 129 | - |1344 |5902 | 0 | 0 | 0 | 12k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
623.15/623.40 c 590s| 1360k| 1343k| 0 | 0.0 |1371M| 129 | - |1344 | 14k| 0 | 0 | 0 | 30k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
654.54/654.82 c 621s| 1370k| 1343k| 0 | 0.0 |1376M| 129 | - |1344 | 19k| 0 | 0 | 0 | 49k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
692.73/693.09 c 659s| 1380k| 1343k| 0 | 0.0 |1382M| 129 | - |1344 | 27k| 0 | 0 | 0 | 71k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
736.21/736.52 c 702s| 1390k| 1343k| 0 | 0.0 |1387M| 129 | - |1344 | 32k| 0 | 0 | 0 | 90k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
785.79/786.14 c 751s| 1400k| 1342k| 0 | 0.0 |1389M| 129 | - |1344 | 34k| 0 | 0 | 0 | 109k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
841.08/841.48 c 806s| 1410k| 1342k| 0 | 0.0 |1394M| 129 | - |1344 | 40k| 0 | 0 | 0 | 133k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
870.46/870.84 o 13
870.46/870.84 c * 835s| 1415k| 1342k| 0 | 0.0 |1395M| 129 | - |1344 | 41k| 0 | 0 | 0 | 141k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
899.34/899.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.34/899.71 c 864s| 1420k| 1342k| 0 | 0.0 |1391M| 129 | - |1344 | 36k| 0 | 0 | 0 | 150k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
957.73/958.14 c 922s| 1430k| 1342k| 0 | 0.0 |1393M| 129 | - |1344 | 38k| 0 | 0 | 0 | 175k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1021.99/1022.42 c 986s| 1440k| 1341k| 0 | 0.0 |1397M| 129 | - |1344 | 44k| 0 | 0 | 0 | 200k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1084.17/1084.63 c 1048s| 1450k| 1341k| 0 | 0.0 |1396M| 129 | - |1344 | 43k| 0 | 0 | 0 | 219k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1149.84/1150.38 c 1113s| 1460k| 1341k| 0 | 0.0 |1399M| 129 | - |1344 | 46k| 0 | 0 | 0 | 241k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1221.31/1221.86 c 1184s| 1470k| 1341k| 0 | 0.0 |1403M| 129 | - |1344 | 51k| 0 | 0 | 0 | 269k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1299.69/1300.25 c 1262s| 1480k| 1340k| 0 | 0.0 |1406M| 129 | - |1344 | 55k| 0 | 0 | 0 | 297k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1374.96/1375.59 c 1337s| 1490k| 1340k| 0 | 0.0 |1408M| 129 | - |1344 | 57k| 0 | 0 | 0 | 313k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1453.12/1453.70 c 1414s| 1500k| 1340k| 0 | 0.0 |1409M| 129 | - |1344 | 59k| 0 | 0 | 0 | 332k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1533.70/1534.35 c 1495s| 1510k| 1340k| 0 | 0.0 |1408M| 129 | - |1344 | 58k| 0 | 0 | 0 | 352k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1608.96/1609.63 c 1569s| 1520k| 1340k| 0 | 0.0 |1406M| 129 | - |1344 | 55k| 0 | 0 | 0 | 373k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1690.53/1691.21 c 1651s| 1530k| 1339k| 0 | 0.0 |1406M| 129 | - |1344 | 55k| 0 | 0 | 0 | 401k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1768.01/1768.78 c 1728s| 1540k| 1339k| 0 | 0.0 |1408M| 129 | - |1344 | 57k| 0 | 0 | 0 | 427k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71 c
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time (sec) : 1759.50
1800.01/1800.71 c Solving Nodes : 1543937
1800.01/1800.71 c Primal Bound : +1.30000000000000e+01 (8 solutions)
1800.01/1800.71 c Dual Bound : +3.00000000000000e+00
1800.01/1800.71 c Gap : 333.33 %
1800.01/1800.72 s SATISFIABLE
1800.01/1800.72 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
1800.01/1800.72 v x74 -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.01/1800.72 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.01/1800.72 v -x22 x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time : 1759.50
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2663774-1276656373.opb
1800.01/1800.72 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 1344 initial, 1344 maximal
1800.01/1800.72 c Presolved Problem :
1800.01/1800.72 c Problem name : t_HOME/instance-2663774-1276656373.opb
1800.01/1800.72 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 1344 initial, 62761 maximal
1800.01/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.72 c and : 0.18 0 0 0 0 0 0 0 0
1800.01/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c root node : - 0 - - 0 - - - -
1800.01/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.72 c and : 1244 0 4531133 0 1488878 13216 36655204 0 0 0
1800.01/1800.72 c logicor : 100+ 0 1628816 0 1488885 81017 513910 0 0 0
1800.01/1800.72 c countsols : 0 0 0 0 1488886 0 0 0 0 0
1800.01/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.72 c and : 227.62 0.00 220.09 0.00 7.53
1800.01/1800.72 c logicor : 614.08 0.00 557.79 0.00 56.29
1800.01/1800.72 c countsols : 0.61 0.00 0.00 0.00 0.61
1800.01/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.72 c vbounds : 2.37 2 0 0
1800.01/1800.72 c rootredcost : 2.23 0 0 0
1800.01/1800.72 c pseudoobj : 135.49 4555068 24121 1406591
1800.01/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.72 c propagation : 150.21 118354 118328 3932465 119.8 640 61.4 -
1800.01/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.72 c applied globally : - - - 439189 72.7 - - -
1800.01/1800.72 c applied locally : - - - 0 0.0 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.72 c redcost : 0.00 0 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.72 c intobj : 0.00 0 0 0 0 0
1800.01/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.72 c gomory : 0.00 0 0 0 0 0
1800.01/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.72 c cmir : 0.00 0 0 0 0 0
1800.01/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.72 c clique : 0.00 0 0 0 0 0
1800.01/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.72 c mcf : 0.00 0 0 0 0 0
1800.01/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.72 c Pricers : Time Calls Vars
1800.01/1800.72 c problem variables: 0.00 0 0
1800.01/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c inference : 214.74 1488878 0 0 0 0 2977756
1800.01/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c random : 0.00 0 0 0 0 0 0
1800.01/1800.72 c Primal Heuristics : Time Calls Found
1800.01/1800.72 c LP solutions : 0.00 - 0
1800.01/1800.72 c pseudo solutions : 0.40 - 8
1800.01/1800.72 c oneopt : 1.07 0 0
1800.01/1800.72 c trivial : 0.01 2 0
1800.01/1800.72 c simplerounding : 0.00 0 0
1800.01/1800.72 c zirounding : 0.00 0 0
1800.01/1800.72 c rounding : 0.00 0 0
1800.01/1800.72 c shifting : 0.00 0 0
1800.01/1800.72 c intshifting : 0.00 0 0
1800.01/1800.72 c twoopt : 0.00 0 0
1800.01/1800.72 c fixandinfer : 0.00 0 0
1800.01/1800.72 c feaspump : 0.00 0 0
1800.01/1800.72 c coefdiving : 0.00 0 0
1800.01/1800.72 c pscostdiving : 0.00 0 0
1800.01/1800.72 c fracdiving : 0.00 0 0
1800.01/1800.72 c veclendiving : 0.00 0 0
1800.01/1800.72 c intdiving : 0.00 0 0
1800.01/1800.72 c actconsdiving : 0.00 0 0
1800.01/1800.72 c objpscostdiving : 0.00 0 0
1800.01/1800.72 c rootsoldiving : 0.00 0 0
1800.01/1800.72 c linesearchdiving : 0.00 0 0
1800.01/1800.72 c guideddiving : 0.00 0 0
1800.01/1800.72 c octane : 0.00 0 0
1800.01/1800.72 c rens : 0.00 0 0
1800.01/1800.72 c rins : 0.00 0 0
1800.01/1800.72 c localbranching : 0.00 0 0
1800.01/1800.72 c mutation : 0.00 0 0
1800.01/1800.72 c crossover : 0.00 0 0
1800.01/1800.72 c dins : 0.00 0 0
1800.01/1800.72 c undercover : 0.00 0 0
1800.01/1800.72 c nlp : 0.93 0 0
1800.01/1800.72 c trysol : 0.78 0 0
1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.72 c (at root node) : - 0 0 0.00 -
1800.01/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.72 c B&B Tree :
1800.01/1800.72 c number of runs : 1
1800.01/1800.72 c nodes : 1543937
1800.01/1800.72 c nodes (total) : 1543937
1800.01/1800.72 c nodes left : 1339370
1800.01/1800.72 c max depth : 129
1800.01/1800.72 c max depth (total): 129
1800.01/1800.72 c backtracks : 136927 (8.9%)
1800.01/1800.72 c delayed cutoffs : 94129
1800.01/1800.72 c repropagations : 177615 (11683134 domain reductions, 63303 cutoffs)
1800.01/1800.72 c avg switch length: 5.31
1800.01/1800.72 c switching time : 367.74
1800.01/1800.72 c Solution :
1800.01/1800.72 c Solutions found : 8 (8 improvements)
1800.01/1800.72 c First Solution : +2.40000000000000e+01 (in run 1, after 1344002 nodes, 559.12 seconds, depth 112, found by <relaxation>)
1800.01/1800.72 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1415360 nodes, 835.30 seconds, depth 104, found by <relaxation>)
1800.01/1800.72 c Dual Bound : +3.00000000000000e+00
1800.01/1800.72 c Gap : 333.33 %
1800.01/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.72 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-2663774-1276656373/watcher-2663774-1276656373 -o /tmp/evaluation-result-2663774-1276656373/solver-2663774-1276656373 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663774-1276656373.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 9882
/proc/meminfo: memFree=1802824/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=6584 CPUtime=0
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 41240776 6742016 920 1992294400 4194304 7136930 140734290601216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9882/statm: 1646 929 254 719 0 925 0
[startup+0.068265 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9882
/proc/meminfo: memFree=1802824/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=16344 CPUtime=0.06
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 3960 0 0 0 4 2 0 0 20 0 1 0 41240776 16736256 3271 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 4086 3271 328 719 0 3365 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16344
[startup+0.10127 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9882
/proc/meminfo: memFree=1802824/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=16344 CPUtime=0.1
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 3960 0 0 0 6 4 0 0 20 0 1 0 41240776 16736256 3271 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 4086 3271 328 719 0 3365 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16344
[startup+0.301307 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9882
/proc/meminfo: memFree=1802824/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=16344 CPUtime=0.3
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 4757 0 0 0 16 14 0 0 20 0 1 0 41240776 16736256 3297 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 4086 3297 348 719 0 3365 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16344
[startup+0.701381 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9882
/proc/meminfo: memFree=1802824/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=18376 CPUtime=0.69
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 5321 0 0 0 49 20 0 0 20 0 1 0 41240776 18817024 3861 1992294400 4194304 7136930 140734290601216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 4594 3861 381 719 0 3873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18376
[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9883
/proc/meminfo: memFree=1787928/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=21460 CPUtime=1.49
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 6116 0 0 0 125 24 0 0 23 0 1 0 41240776 21975040 4656 1992294400 4194304 7136930 140734290601216 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 5365 4656 386 719 0 4644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21460
[startup+3.10182 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9883
/proc/meminfo: memFree=1783464/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=25948 CPUtime=3.09
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 7245 0 0 0 276 33 0 0 25 0 1 0 41240776 26570752 5785 1992294400 4194304 7136930 140734290601216 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 6487 5785 386 719 0 5766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25948
[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9883
/proc/meminfo: memFree=1773544/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=37772 CPUtime=6.29
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 10206 0 0 0 580 49 0 0 25 0 1 0 41240776 38678528 8746 1992294400 4194304 7136930 140734290601216 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 9443 8746 386 719 0 8722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37772
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9883
/proc/meminfo: memFree=1754580/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=54400 CPUtime=12.69
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 14428 0 0 0 1184 85 0 0 25 0 1 0 41240776 55705600 12968 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 13600 12968 387 719 0 12879 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54400
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9885
/proc/meminfo: memFree=1722712/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=83288 CPUtime=25.48
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 21744 0 0 0 2395 153 0 0 25 0 1 0 41240776 85286912 20284 1992294400 4194304 7136930 140734290601216 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 20822 20284 387 719 0 20101 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83288
[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9885
/proc/meminfo: memFree=1657116/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=149756 CPUtime=51.07
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 38080 0 0 0 4812 295 0 0 25 0 1 0 41240776 153350144 36620 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 37439 36620 387 719 0 36718 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149756
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9887
/proc/meminfo: memFree=1526048/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=282388 CPUtime=102.26
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 70736 0 0 0 9611 615 0 0 25 0 1 0 41240776 289165312 69276 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 70597 69276 387 719 0 69876 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 282388
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9887
/proc/meminfo: memFree=1392376/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=413756 CPUtime=162.23
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 104052 0 0 0 15301 922 0 0 25 0 1 0 41240776 423686144 102592 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 103439 102592 387 719 0 102718 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 413756
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9889
/proc/meminfo: memFree=1261804/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=550140 CPUtime=222.21
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 136606 0 0 0 21001 1220 0 0 25 0 1 0 41240776 563343360 135146 1992294400 4194304 7136930 140734290601216 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 137535 135146 387 719 0 136814 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 550140
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9891
/proc/meminfo: memFree=1132348/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=677880 CPUtime=282.18
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 169042 0 0 0 26691 1527 0 0 25 0 1 0 41240776 694149120 167582 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 169470 167582 387 719 0 168749 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 677880
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9893
/proc/meminfo: memFree=1004256/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=803232 CPUtime=342.16
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 200891 0 0 0 32377 1839 0 0 25 0 1 0 41240776 822509568 199431 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 200808 199431 387 719 0 200087 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 803232
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9895
/proc/meminfo: memFree=873684/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=932472 CPUtime=402.14
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 233697 0 0 0 38065 2149 0 0 25 0 1 0 41240776 954851328 232237 1992294400 4194304 7136930 140734290601216 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 233118 232237 387 719 0 232397 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 932472
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9895
/proc/meminfo: memFree=735052/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1086356 CPUtime=462.12
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 268584 0 0 0 43744 2468 0 0 25 0 1 0 41240776 1112428544 267124 1992294400 4194304 7136930 140734290601216 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 271589 267124 387 719 0 270868 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1086356
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9897
/proc/meminfo: memFree=585260/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1232772 CPUtime=522.09
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 305729 0 0 0 49391 2818 0 0 25 0 1 0 41240776 1262358528 304269 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 308193 304269 387 719 0 307472 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1232772
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9899
/proc/meminfo: memFree=435468/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1379324 CPUtime=582.07
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 342965 0 0 0 55042 3165 0 0 25 0 1 0 41240776 1412427776 341505 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 344831 341505 387 719 0 344110 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1379324
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9901
/proc/meminfo: memFree=379296/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1434664 CPUtime=642.05
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 361924 0 0 0 60896 3309 0 0 25 0 1 0 41240776 1469095936 355213 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 358666 355213 387 719 0 357945 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1434664
[startup+702.301 s]
################
# More data... #
################
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 370176 0 0 0 102545 3643 0 0 25 0 1 0 41240776 1504100352 363465 1992294400 4194304 7136930 140734290601216 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 367212 363465 387 719 0 366491 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1468848
[startup+1122.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 9922
/proc/meminfo: memFree=342592/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1472552 CPUtime=1121.85
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 370847 0 0 0 108502 3683 0 0 25 0 1 0 41240776 1507893248 364136 1992294400 4194304 7136930 140734290601216 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 368138 364136 387 719 0 367417 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1472552
[startup+1182.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 9924
/proc/meminfo: memFree=340608/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1474708 CPUtime=1181.82
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 371336 0 0 0 114464 3718 0 0 25 0 1 0 41240776 1510100992 364625 1992294400 4194304 7136930 140734290601216 18446744073709551615 4332856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 368677 364625 387 719 0 367956 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1474708
[startup+1242.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 9926
/proc/meminfo: memFree=335152/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1480812 CPUtime=1241.81
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 372723 0 0 0 120428 3753 0 0 25 0 1 0 41240776 1516351488 366012 1992294400 4194304 7136930 140734290601216 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 370203 366012 387 719 0 369482 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1480812
[startup+1302.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 9928
/proc/meminfo: memFree=329696/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1485820 CPUtime=1301.79
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 374021 0 0 0 126393 3786 0 0 25 0 1 0 41240776 1521479680 367310 1992294400 4194304 7136930 140734290601216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 371455 367310 387 719 0 370734 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1485820
[startup+1362.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 9928
/proc/meminfo: memFree=329448/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1486064 CPUtime=1361.76
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 374084 0 0 0 132355 3821 0 0 25 0 1 0 41240776 1521729536 367373 1992294400 4194304 7136930 140734290601216 18446744073709551615 6000505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 371516 367373 387 719 0 370795 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1486064
[startup+1422.31 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 9930
/proc/meminfo: memFree=327464/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1488548 CPUtime=1421.74
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 374578 0 0 0 138319 3855 0 0 25 0 1 0 41240776 1524273152 367867 1992294400 4194304 7136930 140734290601216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 372137 367867 387 719 0 371416 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1488548
[startup+1482.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 9932
/proc/meminfo: memFree=326968/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1489452 CPUtime=1481.72
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 374698 0 0 0 144282 3890 0 0 25 0 1 0 41240776 1525198848 367987 1992294400 4194304 7136930 140734290601216 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 372363 367987 387 719 0 371642 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1489452
[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 9934
/proc/meminfo: memFree=325976/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1491400 CPUtime=1541.69
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 374977 0 0 0 150248 3921 0 0 25 0 1 0 41240776 1527193600 368266 1992294400 4194304 7136930 140734290601216 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 372850 368266 387 719 0 372129 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1491400
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9936
/proc/meminfo: memFree=325852/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1491400 CPUtime=1601.66
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 374986 0 0 0 156215 3951 0 0 25 0 1 0 41240776 1527193600 368275 1992294400 4194304 7136930 140734290601216 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 372850 368275 387 719 0 372129 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1491400
[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 9939
/proc/meminfo: memFree=323496/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1493600 CPUtime=1661.64
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 375546 0 0 0 162184 3980 0 0 25 0 1 0 41240776 1529446400 368835 1992294400 4194304 7136930 140734290601216 18446744073709551615 4999948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 373400 368835 387 719 0 372679 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1493600
[startup+1722.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 9941
/proc/meminfo: memFree=322380/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1494700 CPUtime=1721.62
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 375829 0 0 0 168152 4010 0 0 25 0 1 0 41240776 1530572800 369118 1992294400 4194304 7136930 140734290601216 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 373675 369118 387 719 0 372954 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1494700
[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 9943
/proc/meminfo: memFree=321636/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1495180 CPUtime=1781.6
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 376019 0 0 0 174119 4041 0 0 25 0 1 0 41240776 1531064320 369308 1992294400 4194304 7136930 140734290601216 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 373795 369308 387 719 0 373074 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 1495180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 9943
/proc/meminfo: memFree=319404/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1497476 CPUtime=1800.01
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 376592 0 0 0 175951 4050 0 0 25 0 1 0 41240776 1533415424 369881 1992294400 4194304 7136930 140734290601216 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9882/statm: 374369 369881 387 719 0 373648 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1497476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9882
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 9943
/proc/meminfo: memFree=319404/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1497788 CPUtime=1800.69
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 376678 0 0 0 176019 4050 0 0 25 0 1 0 41240776 1533734912 369967 1992294400 4194304 7136930 140734290601216 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9882/statm: 374447 369967 393 719 0 373726 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 1497788
[startup+1802.2 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 9944
/proc/meminfo: memFree=319024/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1497788 CPUtime=1801.49
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 376678 0 0 0 176099 4050 0 0 25 0 1 0 41240776 1533734912 369967 1992294400 4194304 7136930 140734290601216 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9882/statm: 374447 369967 393 719 0 373726 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 1497788
[startup+1802.6 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 9944
/proc/meminfo: memFree=319024/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=1497788 CPUtime=1801.89
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4202496 376678 0 0 0 176139 4050 0 0 25 0 1 0 41240776 1533734912 369967 1992294400 4194304 7136930 140734290601216 18446744073709551615 4212599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9882/statm: 374447 369967 393 719 0 373726 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 1497788
[startup+1802.8 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 9944
/proc/meminfo: memFree=1168804/2059040 swapFree=4140132/4192956
[pid=9882] ppid=9880 vsize=0 CPUtime=1802.1
/proc/9882/stat : 9882 (pbscip.linux.x8) R 9880 9882 9042 0 -1 4203524 376678 0 0 0 176151 4059 0 0 25 0 1 0 41240776 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.86
CPU time (s): 1802.16
CPU user time (s): 1761.51
CPU system time (s): 40.6438
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 1497788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.51
system time used= 40.6438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4528
runsolver used 2.83757 second user time and 8.67068 second system time
The end