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-2663757-1276654653.opb>
0.00/0.02 c original problem has 1352 variables (1352 bin, 0 int, 0 impl, 0 cont) and 1352 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, 36088 impls, 0 clqs
0.39/0.43 c (0.2s) probing: 101/1352 (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 36088 implications, 0 cliques
0.39/0.43 c presolved problem has 1352 variables (1352 bin, 0 int, 0 impl, 0 cont) and 1352 constraints
0.39/0.43 c 1252 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.21
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.99
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.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 | - |4565k| 0 | - |1352 |1352 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.29/5.36 c 4.9s| 10000 | 9999 | 0 | 0.0 | 15M| 79 | - |1352 |1353 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
9.59/9.68 c 8.9s| 20000 | 19997 | 0 | 0.0 | 26M| 89 | - |1352 |1355 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
14.58/14.62 c 13.6s| 30000 | 29995 | 0 | 0.0 | 36M| 89 | - |1352 |1354 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
19.29/19.34 c 18.1s| 40000 | 39995 | 0 | 0.0 | 46M| 89 | - |1352 |1354 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
23.68/23.76 c 22.3s| 50000 | 49995 | 0 | 0.0 | 56M| 89 | - |1352 |1353 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
27.98/28.07 c 26.4s| 60000 | 59995 | 0 | 0.0 | 66M| 89 | - |1352 |1352 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
32.28/32.34 c 30.4s| 70000 | 69995 | 0 | 0.0 | 76M| 89 | - |1352 |1352 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
36.48/36.55 c 34.4s| 80000 | 79995 | 0 | 0.0 | 86M| 89 | - |1352 |1352 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
40.59/40.68 c 38.2s| 90000 | 89995 | 0 | 0.0 | 96M| 89 | - |1352 |1352 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
44.68/44.77 c 42.0s|100000 | 99993 | 0 | 0.0 | 107M| 89 | - |1352 |1353 | 0 | 0 | 0 | 5 | 0 | 2.000000e+00 | -- | Inf
48.78/48.84 c 45.9s|110000 |109993 | 0 | 0.0 | 117M| 89 | - |1352 |1352 | 0 | 0 | 0 | 5 | 0 | 2.000000e+00 | -- | Inf
52.87/52.92 c 49.7s|120000 |119993 | 0 | 0.0 | 127M| 89 | - |1352 |1352 | 0 | 0 | 0 | 5 | 0 | 2.000000e+00 | -- | Inf
56.87/56.99 c 53.5s|130000 |129991 | 0 | 0.0 | 137M| 89 | - |1352 |1354 | 0 | 0 | 0 | 7 | 0 | 2.000000e+00 | -- | Inf
60.97/61.03 c 57.3s|140000 |139991 | 0 | 0.0 | 148M| 89 | - |1352 |1354 | 0 | 0 | 0 | 7 | 0 | 2.000000e+00 | -- | Inf
64.88/64.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.88/64.99 c 61.0s|150000 |149991 | 0 | 0.0 | 158M| 89 | - |1352 |1354 | 0 | 0 | 0 | 7 | 0 | 2.000000e+00 | -- | Inf
68.87/68.92 c 64.7s|160000 |159989 | 0 | 0.0 | 168M| 89 | - |1352 |1356 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
72.87/72.92 c 68.5s|170000 |169989 | 0 | 0.0 | 178M| 89 | - |1352 |1356 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
76.87/76.98 c 72.3s|180000 |179989 | 0 | 0.0 | 189M| 89 | - |1352 |1355 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
80.87/80.99 c 76.0s|190000 |189987 | 0 | 0.0 | 199M| 89 | - |1352 |1356 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
84.87/84.91 c 79.7s|200000 |199983 | 0 | 0.0 | 210M| 89 | - |1352 |1358 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
88.67/88.73 c 83.3s|210000 |209983 | 0 | 0.0 | 220M| 92 | - |1352 |1358 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
92.56/92.62 c 86.9s|220000 |219983 | 0 | 0.0 | 230M| 92 | - |1352 |1356 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
96.46/96.58 c 90.7s|230000 |229981 | 0 | 0.0 | 241M| 92 | - |1352 |1354 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
100.46/100.51 c 94.3s|240000 |239981 | 0 | 0.0 | 251M| 92 | - |1352 |1354 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
105.07/105.15 c 98.7s|250000 |249979 | 0 | 0.0 | 260M| 92 | - |1352 |1353 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
109.36/109.48 c 103s|260000 |259979 | 0 | 0.0 | 270M| 92 | - |1352 |1353 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
113.56/113.65 c 107s|270000 |269979 | 0 | 0.0 | 280M| 92 | - |1352 |1353 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
117.76/117.82 c 111s|280000 |279975 | 0 | 0.0 | 290M| 92 | - |1352 |1357 | 0 | 0 | 0 | 19 | 0 | 2.000000e+00 | -- | Inf
121.96/122.03 c 115s|290000 |289975 | 0 | 0.0 | 300M| 92 | - |1352 |1357 | 0 | 0 | 0 | 19 | 0 | 2.000000e+00 | -- | Inf
126.36/126.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.36/126.40 c 119s|300000 |299969 | 0 | 0.0 | 311M| 92 | - |1352 |1360 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
131.45/131.50 c 124s|310000 |309969 | 0 | 0.0 | 321M| 92 | - |1352 |1353 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
136.45/136.50 c 128s|320000 |319969 | 0 | 0.0 | 331M| 92 | - |1352 |1353 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
141.25/141.36 c 133s|330000 |329969 | 0 | 0.0 | 341M| 92 | - |1352 |1353 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
146.16/146.24 c 138s|340000 |339969 | 0 | 0.0 | 352M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
150.95/151.05 c 142s|350000 |349969 | 0 | 0.0 | 362M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
155.75/155.83 c 147s|360000 |359969 | 0 | 0.0 | 372M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
160.45/160.57 c 151s|370000 |369969 | 0 | 0.0 | 383M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
165.14/165.26 c 156s|380000 |379969 | 0 | 0.0 | 393M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
169.85/169.94 c 160s|390000 |389969 | 0 | 0.0 | 403M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
174.54/174.66 c 165s|400000 |399969 | 0 | 0.0 | 414M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
179.25/179.35 c 169s|410000 |409969 | 0 | 0.0 | 423M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
184.04/184.18 c 174s|420000 |419969 | 0 | 0.0 | 434M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
188.84/188.98 c 178s|430000 |429969 | 0 | 0.0 | 444M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
193.74/193.86 c 183s|440000 |439969 | 0 | 0.0 | 454M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
198.64/198.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.64/198.75 c 188s|450000 |449969 | 0 | 0.0 | 465M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
203.53/203.63 c 192s|460000 |459969 | 0 | 0.0 | 475M| 92 | - |1352 |1352 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
208.53/208.62 c 197s|470000 |469967 | 0 | 0.0 | 486M| 92 | - |1352 |1354 | 0 | 0 | 0 | 24 | 0 | 2.000000e+00 | -- | Inf
213.43/213.58 c 202s|480000 |479967 | 0 | 0.0 | 497M| 92 | - |1352 |1353 | 0 | 0 | 0 | 24 | 0 | 2.000000e+00 | -- | Inf
218.33/218.46 c 206s|490000 |489965 | 0 | 0.0 | 508M| 92 | - |1352 |1354 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
223.24/223.39 c 211s|500000 |499965 | 0 | 0.0 | 519M| 92 | - |1352 |1352 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
228.12/228.29 c 216s|510000 |509965 | 0 | 0.0 | 529M| 92 | - |1352 |1352 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
233.03/233.19 c 220s|520000 |519965 | 0 | 0.0 | 540M| 92 | - |1352 |1352 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
238.02/238.13 c 225s|530000 |529965 | 0 | 0.0 | 551M| 92 | - |1352 |1352 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
242.93/243.08 c 230s|540000 |539963 | 0 | 0.0 | 562M| 92 | - |1352 |1353 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
247.82/247.94 c 234s|550000 |549963 | 0 | 0.0 | 572M| 92 | - |1352 |1352 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
252.62/252.74 c 239s|560000 |559963 | 0 | 0.0 | 583M| 92 | - |1352 |1352 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
257.42/257.59 c 244s|570000 |569963 | 0 | 0.0 | 593M| 92 | - |1352 |1352 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
262.22/262.37 c 248s|580000 |579963 | 0 | 0.0 | 604M| 92 | - |1352 |1352 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
267.02/267.11 c 253s|590000 |589961 | 0 | 0.0 | 615M| 92 | - |1352 |1354 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
271.71/271.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.71/271.85 c 257s|600000 |599959 | 0 | 0.0 | 626M| 92 | - |1352 |1355 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
276.52/276.63 c 262s|610000 |609959 | 0 | 0.0 | 637M| 92 | - |1352 |1355 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
281.31/281.43 c 266s|620000 |619959 | 0 | 0.0 | 647M| 92 | - |1352 |1354 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
286.11/286.23 c 271s|630000 |629959 | 0 | 0.0 | 658M| 92 | - |1352 |1353 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
290.91/291.09 c 275s|640000 |639959 | 0 | 0.0 | 669M| 92 | - |1352 |1353 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
295.82/295.91 c 280s|650000 |649959 | 0 | 0.0 | 679M| 92 | - |1352 |1353 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
300.51/300.69 c 285s|660000 |659959 | 0 | 0.0 | 690M| 92 | - |1352 |1353 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
305.40/305.51 c 289s|670000 |669957 | 0 | 0.0 | 701M| 92 | - |1352 |1354 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
310.21/310.38 c 294s|680000 |679957 | 0 | 0.0 | 711M| 92 | - |1352 |1354 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
314.90/315.08 c 298s|690000 |689957 | 0 | 0.0 | 722M| 92 | - |1352 |1354 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
319.80/319.92 c 303s|700000 |699957 | 0 | 0.0 | 732M| 92 | - |1352 |1354 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
324.60/324.71 c 307s|710000 |709955 | 0 | 0.0 | 743M| 92 | - |1352 |1354 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
329.30/329.44 c 312s|720000 |719955 | 0 | 0.0 | 754M| 92 | - |1352 |1354 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
334.10/334.20 c 316s|730000 |729955 | 0 | 0.0 | 765M| 92 | - |1352 |1354 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
338.79/338.98 c 321s|740000 |739955 | 0 | 0.0 | 776M| 92 | - |1352 |1354 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
343.50/343.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.50/343.67 c 325s|750000 |749955 | 0 | 0.0 | 786M| 92 | - |1352 |1354 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
348.30/348.46 c 330s|760000 |759955 | 0 | 0.0 | 797M| 93 | - |1352 |1354 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
353.09/353.28 c 334s|770000 |769955 | 0 | 0.0 | 808M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
357.89/358.03 c 339s|780000 |779955 | 0 | 0.0 | 818M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
362.69/362.82 c 344s|790000 |789955 | 0 | 0.0 | 829M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
367.39/367.59 c 348s|800000 |799955 | 0 | 0.0 | 840M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
372.19/372.35 c 353s|810000 |809955 | 0 | 0.0 | 851M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
376.89/377.01 c 357s|820000 |819955 | 0 | 0.0 | 861M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
381.59/381.78 c 362s|830000 |829955 | 0 | 0.0 | 872M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
386.28/386.49 c 366s|840000 |839955 | 0 | 0.0 | 882M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
391.08/391.20 c 370s|850000 |849955 | 0 | 0.0 | 893M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
395.79/395.97 c 375s|860000 |859955 | 0 | 0.0 | 904M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
400.58/400.75 c 380s|870000 |869955 | 0 | 0.0 | 915M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
405.28/405.47 c 384s|880000 |879955 | 0 | 0.0 | 925M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
409.87/410.05 c 388s|890000 |889955 | 0 | 0.0 | 936M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
414.37/414.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.37/414.55 c 393s|900000 |899955 | 0 | 0.0 | 947M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
418.88/419.06 c 397s|910000 |909955 | 0 | 0.0 | 957M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
423.38/423.51 c 401s|920000 |919955 | 0 | 0.0 | 968M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
427.78/427.95 c 405s|930000 |929955 | 0 | 0.0 | 978M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
432.27/432.49 c 410s|940000 |939955 | 0 | 0.0 | 989M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
436.77/437.00 c 414s|950000 |949955 | 0 | 0.0 |1000M| 93 | - |1352 |1353 | 0 | 0 | 0 | 31 | 0 | 3.000000e+00 | -- | Inf
441.36/441.54 c 418s|960000 |959951 | 0 | 0.0 |1010M| 93 | - |1352 |1354 | 0 | 0 | 0 | 34 | 0 | 3.000000e+00 | -- | Inf
445.87/446.03 c 422s|970000 |969951 | 0 | 0.0 |1021M| 93 | - |1352 |1354 | 0 | 0 | 0 | 34 | 0 | 3.000000e+00 | -- | Inf
450.37/450.60 c 427s|980000 |979951 | 0 | 0.0 |1031M| 93 | - |1352 |1354 | 0 | 0 | 0 | 34 | 0 | 3.000000e+00 | -- | Inf
455.06/455.21 c 431s|990000 |989951 | 0 | 0.0 |1042M| 93 | - |1352 |1354 | 0 | 0 | 0 | 34 | 0 | 3.000000e+00 | -- | Inf
459.68/459.82 c 435s| 1000k|999951 | 0 | 0.0 |1052M| 93 | - |1352 |1354 | 0 | 0 | 0 | 34 | 0 | 3.000000e+00 | -- | Inf
464.16/464.33 c 440s| 1010k| 1009k| 0 | 0.0 |1063M| 93 | - |1352 |1354 | 0 | 0 | 0 | 34 | 0 | 3.000000e+00 | -- | Inf
468.76/468.96 c 444s| 1020k| 1019k| 0 | 0.0 |1074M| 93 | - |1352 |1355 | 0 | 0 | 0 | 35 | 0 | 3.000000e+00 | -- | Inf
473.36/473.55 c 448s| 1030k| 1029k| 0 | 0.0 |1085M| 93 | - |1352 |1355 | 0 | 0 | 0 | 35 | 0 | 3.000000e+00 | -- | Inf
477.96/478.11 c 453s| 1040k| 1039k| 0 | 0.0 |1095M| 93 | - |1352 |1355 | 0 | 0 | 0 | 35 | 0 | 3.000000e+00 | -- | Inf
482.46/482.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.46/482.65 c 457s| 1050k| 1049k| 0 | 0.0 |1106M| 93 | - |1352 |1354 | 0 | 0 | 0 | 35 | 0 | 3.000000e+00 | -- | Inf
487.07/487.28 c 461s| 1060k| 1059k| 0 | 0.0 |1117M| 93 | - |1352 |1353 | 0 | 0 | 0 | 35 | 0 | 3.000000e+00 | -- | Inf
491.66/491.86 c 466s| 1070k| 1069k| 0 | 0.0 |1127M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
496.15/496.30 c 470s| 1080k| 1079k| 0 | 0.0 |1138M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
500.55/500.77 c 474s| 1090k| 1089k| 0 | 0.0 |1148M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
505.15/505.32 c 478s| 1100k| 1099k| 0 | 0.0 |1159M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
509.65/509.80 c 483s| 1110k| 1109k| 0 | 0.0 |1170M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
514.04/514.21 c 487s| 1120k| 1119k| 0 | 0.0 |1180M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
518.54/518.77 c 491s| 1130k| 1129k| 0 | 0.0 |1191M| 93 | - |1352 |1355 | 0 | 0 | 0 | 38 | 0 | 3.000000e+00 | -- | Inf
523.14/523.31 c 495s| 1140k| 1139k| 0 | 0.0 |1201M| 93 | - |1352 |1356 | 0 | 0 | 0 | 39 | 0 | 3.000000e+00 | -- | Inf
527.54/527.70 c 500s| 1150k| 1149k| 0 | 0.0 |1212M| 93 | - |1352 |1355 | 0 | 0 | 0 | 39 | 0 | 3.000000e+00 | -- | Inf
531.95/532.11 c 504s| 1160k| 1159k| 0 | 0.0 |1222M| 93 | - |1352 |1355 | 0 | 0 | 0 | 39 | 0 | 3.000000e+00 | -- | Inf
536.44/536.65 c 508s| 1170k| 1169k| 0 | 0.0 |1233M| 93 | - |1352 |1355 | 0 | 0 | 0 | 39 | 0 | 3.000000e+00 | -- | Inf
540.84/541.06 c 512s| 1180k| 1179k| 0 | 0.0 |1244M| 93 | - |1352 |1355 | 0 | 0 | 0 | 39 | 0 | 3.000000e+00 | -- | Inf
545.14/545.33 c 516s| 1190k| 1189k| 0 | 0.0 |1254M| 93 | - |1352 |1355 | 0 | 0 | 0 | 39 | 0 | 3.000000e+00 | -- | Inf
549.64/549.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.64/549.81 c 520s| 1200k| 1199k| 0 | 0.0 |1265M| 93 | - |1352 |1356 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
554.14/554.32 c 525s| 1210k| 1209k| 0 | 0.0 |1275M| 93 | - |1352 |1356 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
558.43/558.66 c 529s| 1220k| 1219k| 0 | 0.0 |1286M| 93 | - |1352 |1355 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
562.84/563.06 c 533s| 1230k| 1229k| 0 | 0.0 |1297M| 93 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
567.34/567.57 c 537s| 1240k| 1239k| 0 | 0.0 |1307M| 93 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
571.74/571.95 c 541s| 1250k| 1249k| 0 | 0.0 |1318M| 93 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
576.03/576.28 c 545s| 1260k| 1259k| 0 | 0.0 |1329M| 93 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
580.53/580.78 c 550s| 1270k| 1269k| 0 | 0.0 |1339M| 93 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
584.94/585.18 c 554s| 1280k| 1279k| 0 | 0.0 |1350M| 93 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | -- | Inf
588.43/588.64 c (node 1288015) switching to memory saving mode (mem: 1296.0M/1620.0M)
588.83/589.02 o 22
588.83/589.02 c * 557s| 1288k| 1287k| 0 | 0.0 |1359M| 95 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | 2.200000e+01 | 633.33%
588.83/589.07 o 17
588.83/589.07 c * 557s| 1288k| 1287k| 0 | 0.0 |1359M| 106 | - |1352 |1354 | 0 | 0 | 0 | 40 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
588.93/589.13 o 16
588.93/589.13 c * 558s| 1288k| 1287k| 0 | 0.0 |1359M| 106 | - |1352 |1374 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
589.13/589.30 o 15
589.13/589.30 c * 558s| 1288k| 1287k| 0 | 0.0 |1359M| 106 | - |1352 |1691 | 0 | 0 | 0 | 407 | 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
589.44/589.61 o 14
589.44/589.61 c * 558s| 1288k| 1287k| 0 | 0.0 |1359M| 107 | - |1352 |1848 | 0 | 0 | 0 | 869 | 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
591.72/591.91 c 560s| 1290k| 1287k| 0 | 0.0 |1362M| 107 | - |1352 |4719 | 0 | 0 | 0 |4725 | 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
615.12/615.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.12/615.39 c 583s| 1300k| 1287k| 0 | 0.0 |1372M| 109 | - |1352 | 16k| 0 | 0 | 0 | 24k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
651.70/651.95 c 619s| 1310k| 1287k| 0 | 0.0 |1381M| 109 | - |1352 | 26k| 0 | 0 | 0 | 45k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
699.00/699.24 c 666s| 1320k| 1287k| 0 | 0.0 |1385M| 109 | - |1352 | 31k| 0 | 0 | 0 | 63k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
755.07/755.38 c 722s| 1330k| 1287k| 0 | 0.0 |1392M| 109 | - |1352 | 38k| 0 | 0 | 0 | 85k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
822.25/822.51 c 789s| 1340k| 1286k| 0 | 0.0 |1397M| 109 | - |1352 | 44k| 0 | 0 | 0 | 104k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
860.34/860.67 o 13
860.34/860.67 c * 827s| 1345k| 1286k| 0 | 0.0 |1397M| 109 | - |1352 | 44k| 0 | 0 | 0 | 114k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
891.74/892.01 c 858s| 1350k| 1286k| 0 | 0.0 |1399M| 109 | - |1352 | 46k| 0 | 0 | 0 | 121k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
964.21/964.59 c 930s| 1360k| 1286k| 0 | 0.0 |1396M| 109 | - |1352 | 43k| 0 | 0 | 0 | 140k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1042.19/1042.52 c 1007s| 1370k| 1286k| 0 | 0.0 |1400M| 109 | - |1352 | 48k| 0 | 0 | 0 | 167k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1118.77/1119.14 c 1084s| 1380k| 1285k| 0 | 0.0 |1404M| 109 | - |1352 | 52k| 0 | 0 | 0 | 187k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1202.64/1203.09 c 1167s| 1390k| 1285k| 0 | 0.0 |1408M| 109 | - |1352 | 57k| 0 | 0 | 0 | 204k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1289.12/1289.56 c 1253s| 1400k| 1285k| 0 | 0.0 |1404M| 109 | - |1352 | 53k| 0 | 0 | 0 | 223k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1383.69/1384.18 c 1347s| 1410k| 1285k| 0 | 0.0 |1410M| 109 | - |1352 | 60k| 0 | 0 | 0 | 242k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1479.86/1480.36 c 1443s| 1420k| 1285k| 0 | 0.0 |1410M| 109 | - |1352 | 59k| 0 | 0 | 0 | 269k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1569.74/1570.24 c 1532s| 1430k| 1284k| 0 | 0.0 |1413M| 109 | - |1352 | 64k| 0 | 0 | 0 | 291k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1664.11/1664.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.11/1664.69 c 1626s| 1440k| 1284k| 0 | 0.0 |1416M| 109 | - |1352 | 68k| 0 | 0 | 0 | 307k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1761.29/1761.90 c 1723s| 1450k| 1284k| 0 | 0.0 |1414M| 109 | - |1352 | 64k| 0 | 0 | 0 | 324k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.62 c
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time (sec) : 1761.60
1800.09/1800.62 c Solving Nodes : 1453737
1800.09/1800.62 c Primal Bound : +1.30000000000000e+01 (6 solutions)
1800.09/1800.62 c Dual Bound : +3.00000000000000e+00
1800.09/1800.62 c Gap : 333.33 %
1800.09/1800.62 s SATISFIABLE
1800.09/1800.62 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.09/1800.62 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 -x48
1800.09/1800.62 v 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.09/1800.62 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time : 1761.60
1800.09/1800.62 c Original Problem :
1800.09/1800.62 c Problem name : HOME/instance-2663757-1276654653.opb
1800.09/1800.62 c Variables : 1352 (1352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 1352 initial, 1352 maximal
1800.09/1800.62 c Presolved Problem :
1800.09/1800.62 c Problem name : t_HOME/instance-2663757-1276654653.opb
1800.09/1800.62 c Variables : 1352 (1352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 1352 initial, 68291 maximal
1800.09/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c probing : 0.02 0 0 0 0 0 0 0 0
1800.09/1800.62 c and : 0.17 0 0 0 0 0 0 0 0
1800.09/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.62 c root node : - 0 - - 0 - - - -
1800.09/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.62 c and : 1252 0 4284973 0 1407172 11006 33538989 0 0 0
1800.09/1800.62 c logicor : 100+ 0 1478743 0 1407176 68047 437579 0 0 0
1800.09/1800.62 c countsols : 0 0 0 0 1407178 0 0 0 0 0
1800.09/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.62 c and : 209.25 0.00 200.89 0.00 8.36
1800.09/1800.62 c logicor : 632.09 0.00 577.58 0.00 54.51
1800.09/1800.62 c countsols : 0.55 0.00 0.00 0.00 0.55
1800.09/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.62 c vbounds : 2.07 2 0 0
1800.09/1800.62 c rootredcost : 2.25 0 0 0
1800.09/1800.62 c pseudoobj : 123.12 4303633 18849 1199371
1800.09/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.62 c propagation : 128.81 97902 97902 3391570 120.7 414 70.8 -
1800.09/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.62 c applied globally : - - - 331543 72.1 - - -
1800.09/1800.62 c applied locally : - - - 0 0.0 - - -
1800.09/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.62 c redcost : 0.00 0 0 0 0 0
1800.09/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.62 c intobj : 0.00 0 0 0 0 0
1800.09/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.62 c gomory : 0.00 0 0 0 0 0
1800.09/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.62 c cmir : 0.00 0 0 0 0 0
1800.09/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.62 c clique : 0.00 0 0 0 0 0
1800.09/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.62 c mcf : 0.00 0 0 0 0 0
1800.09/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.62 c Pricers : Time Calls Vars
1800.09/1800.62 c problem variables: 0.00 0 0
1800.09/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c inference : 217.64 1407172 0 0 0 0 2814344
1800.09/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c random : 0.00 0 0 0 0 0 0
1800.09/1800.62 c Primal Heuristics : Time Calls Found
1800.09/1800.62 c LP solutions : 0.00 - 0
1800.09/1800.62 c pseudo solutions : 0.30 - 6
1800.09/1800.62 c oneopt : 0.77 0 0
1800.09/1800.62 c trivial : 0.00 2 0
1800.09/1800.62 c simplerounding : 0.00 0 0
1800.09/1800.62 c zirounding : 0.00 0 0
1800.09/1800.62 c rounding : 0.00 0 0
1800.09/1800.62 c shifting : 0.00 0 0
1800.09/1800.62 c intshifting : 0.00 0 0
1800.09/1800.62 c twoopt : 0.00 0 0
1800.09/1800.62 c fixandinfer : 0.00 0 0
1800.09/1800.62 c feaspump : 0.00 0 0
1800.09/1800.62 c coefdiving : 0.00 0 0
1800.09/1800.62 c pscostdiving : 0.00 0 0
1800.09/1800.62 c fracdiving : 0.00 0 0
1800.09/1800.62 c veclendiving : 0.00 0 0
1800.09/1800.62 c intdiving : 0.00 0 0
1800.09/1800.62 c actconsdiving : 0.00 0 0
1800.09/1800.62 c objpscostdiving : 0.00 0 0
1800.09/1800.62 c rootsoldiving : 0.00 0 0
1800.09/1800.62 c linesearchdiving : 0.00 0 0
1800.09/1800.62 c guideddiving : 0.00 0 0
1800.09/1800.62 c octane : 0.00 0 0
1800.09/1800.62 c rens : 0.00 0 0
1800.09/1800.62 c rins : 0.00 0 0
1800.09/1800.62 c localbranching : 0.00 0 0
1800.09/1800.62 c mutation : 0.00 0 0
1800.09/1800.62 c crossover : 0.00 0 0
1800.09/1800.62 c dins : 0.00 0 0
1800.09/1800.62 c undercover : 0.00 0 0
1800.09/1800.62 c nlp : 0.66 0 0
1800.09/1800.62 c trysol : 0.69 0 0
1800.09/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.62 c (at root node) : - 0 0 0.00 -
1800.09/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.62 c B&B Tree :
1800.09/1800.62 c number of runs : 1
1800.09/1800.62 c nodes : 1453737
1800.09/1800.62 c nodes (total) : 1453737
1800.09/1800.62 c nodes left : 1284796
1800.09/1800.62 c max depth : 109
1800.09/1800.62 c max depth (total): 109
1800.09/1800.62 c backtracks : 130088 (8.9%)
1800.09/1800.62 c delayed cutoffs : 75368
1800.09/1800.62 c repropagations : 148649 (9468597 domain reductions, 51343 cutoffs)
1800.09/1800.62 c avg switch length: 5.71
1800.09/1800.62 c switching time : 368.36
1800.09/1800.62 c Solution :
1800.09/1800.62 c Solutions found : 6 (6 improvements)
1800.09/1800.62 c First Solution : +2.20000000000000e+01 (in run 1, after 1288045 nodes, 557.35 seconds, depth 95, found by <relaxation>)
1800.09/1800.62 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1345782 nodes, 826.55 seconds, depth 98, found by <relaxation>)
1800.09/1800.62 c Dual Bound : +3.00000000000000e+00
1800.09/1800.62 c Gap : 333.33 %
1800.09/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.62 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-2663757-1276654653/watcher-2663757-1276654653 -o /tmp/evaluation-result-2663757-1276654653/solver-2663757-1276654653 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663757-1276654653.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/107 7487
/proc/meminfo: memFree=1808108/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=7612 CPUtime=0
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 1227 0 0 0 0 0 0 0 25 0 1 0 39121081 7794688 1150 1992294400 4194304 7136930 140735690898032 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7487/statm: 1903 1158 254 719 0 1182 0
[startup+0.049875 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7487
/proc/meminfo: memFree=1808108/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=15364 CPUtime=0.04
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 3458 0 0 0 3 1 0 0 25 0 1 0 39121081 15732736 3026 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 3841 3026 328 719 0 3120 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15364
[startup+0.100915 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7487
/proc/meminfo: memFree=1808108/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=16216 CPUtime=0.09
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 3928 0 0 0 6 3 0 0 25 0 1 0 39121081 16605184 3239 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 4054 3239 328 719 0 3333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16216
[startup+0.300909 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7487
/proc/meminfo: memFree=1808108/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=16216 CPUtime=0.29
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 4727 0 0 0 15 14 0 0 25 0 1 0 39121081 16605184 3267 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 4054 3267 348 719 0 3333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16216
[startup+0.700944 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7487
/proc/meminfo: memFree=1808108/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=18352 CPUtime=0.69
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 5318 0 0 0 48 21 0 0 25 0 1 0 39121081 18792448 3858 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 4588 3858 381 719 0 3867 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18352
[startup+1.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7488
/proc/meminfo: memFree=1793096/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=21176 CPUtime=1.49
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 6035 0 0 0 125 24 0 0 25 0 1 0 39121081 21684224 4575 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 5294 4575 381 719 0 4573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21176
[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 7488
/proc/meminfo: memFree=1788880/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=26544 CPUtime=3.09
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 7373 0 0 0 276 33 0 0 25 0 1 0 39121081 27181056 5913 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 6636 5913 381 719 0 5915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26544
[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7488
/proc/meminfo: memFree=1779828/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=35404 CPUtime=6.29
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 9620 0 0 0 579 50 0 0 25 0 1 0 39121081 36253696 8160 1992294400 4194304 7136930 140735690898032 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 8851 8160 387 719 0 8130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35404
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7488
/proc/meminfo: memFree=1761104/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=52324 CPUtime=12.69
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 13904 0 0 0 1181 88 0 0 25 0 1 0 39121081 53579776 12444 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 13081 12444 387 719 0 12360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52324
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7490
/proc/meminfo: memFree=1729856/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=81368 CPUtime=25.49
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 21246 0 0 0 2397 152 0 0 25 0 1 0 39121081 83320832 19786 1992294400 4194304 7136930 140735690898032 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 20342 19786 387 719 0 19621 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81368
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 7490
/proc/meminfo: memFree=1665624/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=147456 CPUtime=51.08
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 37524 0 0 0 4800 308 0 0 25 0 1 0 39121081 150994944 36064 1992294400 4194304 7136930 140735690898032 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 36864 36064 387 719 0 36143 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 147456
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7492
/proc/meminfo: memFree=1526744/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=286912 CPUtime=102.27
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 71857 0 0 0 9605 622 0 0 25 0 1 0 39121081 293797888 70397 1992294400 4194304 7136930 140735690898032 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 71728 70397 387 719 0 71007 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 286912
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7492
/proc/meminfo: memFree=1395304/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=417068 CPUtime=162.24
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 104894 0 0 0 15301 923 0 0 25 0 1 0 39121081 427077632 103434 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 104267 103434 387 719 0 103546 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 417068
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7494
/proc/meminfo: memFree=1261632/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=555660 CPUtime=222.23
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 137959 0 0 0 21007 1216 0 0 25 0 1 0 39121081 568995840 136499 1992294400 4194304 7136930 140735690898032 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 138915 136499 387 719 0 138194 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 555660
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7496
/proc/meminfo: memFree=1129820/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=685400 CPUtime=282.21
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 170871 0 0 0 26710 1511 0 0 25 0 1 0 39121081 701849600 169411 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 171350 169411 387 719 0 170629 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 685400
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7498
/proc/meminfo: memFree=999000/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=815296 CPUtime=342.19
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 203816 0 0 0 32407 1812 0 0 25 0 1 0 39121081 834863104 202356 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 203824 202356 387 719 0 203103 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 815296
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7500
/proc/meminfo: memFree=859376/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=954032 CPUtime=402.18
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 238983 0 0 0 38103 2115 0 0 25 0 1 0 39121081 976928768 237523 1992294400 4194304 7136930 140735690898032 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 238508 237523 387 719 0 237787 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 954032
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7500
/proc/meminfo: memFree=717272/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1108560 CPUtime=462.16
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 274045 0 0 0 43771 2445 0 0 25 0 1 0 39121081 1135165440 272585 1992294400 4194304 7136930 140735690898032 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 277140 272585 387 719 0 276419 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1108560
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7502
/proc/meminfo: memFree=578516/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1244516 CPUtime=522.14
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 308554 0 0 0 49440 2774 0 0 25 0 1 0 39121081 1274384384 307094 1992294400 4194304 7136930 140735690898032 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 311129 307094 387 719 0 310408 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1244516
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7504
/proc/meminfo: memFree=431824/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1390264 CPUtime=582.13
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 345519 0 0 0 55107 3106 0 0 25 0 1 0 39121081 1423630336 344059 1992294400 4194304 7136930 140735690898032 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 347566 344059 387 719 0 346845 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1390264
[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7506
/proc/meminfo: memFree=383092/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1436740 CPUtime=642.11
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 362076 0 0 0 60989 3222 0 0 25 0 1 0 39121081 1471221760 355584 1992294400 4194304 7136930 140735690898032 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 359185 355584 387 719 0 358464 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1436740
[startup+702.301 s]
################
# More data... #
################
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 371444 0 0 0 102702 3496 0 0 25 0 1 0 39121081 1512161280 364952 1992294400 4194304 7136930 140735690898032 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 369180 364952 387 719 0 368459 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1476720
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7518
/proc/meminfo: memFree=340684/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1481452 CPUtime=1121.97
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 372586 0 0 0 108666 3531 0 0 25 0 1 0 39121081 1517006848 366094 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 370363 366094 387 719 0 369642 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1481452
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7520
/proc/meminfo: memFree=339444/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1482392 CPUtime=1181.95
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 372860 0 0 0 114633 3562 0 0 25 0 1 0 39121081 1517969408 366368 1992294400 4194304 7136930 140735690898032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 370598 366368 387 719 0 369877 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1482392
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7522
/proc/meminfo: memFree=336096/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1486032 CPUtime=1241.93
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 373650 0 0 0 120597 3596 0 0 25 0 1 0 39121081 1521696768 367158 1992294400 4194304 7136930 140735690898032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 371508 367158 387 719 0 370787 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1486032
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7527
/proc/meminfo: memFree=335724/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1486032 CPUtime=1301.92
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 373662 0 0 0 126566 3626 0 0 25 0 1 0 39121081 1521696768 367170 1992294400 4194304 7136930 140735690898032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 371508 367170 387 719 0 370787 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1486032
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7527
/proc/meminfo: memFree=332252/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1489556 CPUtime=1361.89
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 374541 0 0 0 132535 3654 0 0 25 0 1 0 39121081 1525305344 368049 1992294400 4194304 7136930 140735690898032 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 372389 368049 387 719 0 371668 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1489556
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7529
/proc/meminfo: memFree=330888/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1491436 CPUtime=1421.88
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 374883 0 0 0 138506 3682 0 0 25 0 1 0 39121081 1527230464 368391 1992294400 4194304 7136930 140735690898032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 372859 368391 387 719 0 372138 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1491436
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7531
/proc/meminfo: memFree=329276/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1493340 CPUtime=1481.86
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 375350 0 0 0 144478 3708 0 0 25 0 1 0 39121081 1529180160 368858 1992294400 4194304 7136930 140735690898032 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 373335 368858 387 719 0 372614 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1493340
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7533
/proc/meminfo: memFree=327540/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1494664 CPUtime=1541.85
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 375720 0 0 0 150449 3736 0 0 25 0 1 0 39121081 1530535936 369228 1992294400 4194304 7136930 140735690898032 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 373666 369228 387 719 0 372945 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1494664
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7535
/proc/meminfo: memFree=327044/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1495048 CPUtime=1601.83
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 375863 0 0 0 156414 3769 0 0 25 0 1 0 39121081 1530929152 369371 1992294400 4194304 7136930 140735690898032 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 373762 369371 387 719 0 373041 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1495048
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7535
/proc/meminfo: memFree=325680/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1496348 CPUtime=1661.82
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376208 0 0 0 162388 3794 0 0 25 0 1 0 39121081 1532260352 369716 1992294400 4194304 7136930 140735690898032 18446744073709551615 4431646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 374087 369716 387 719 0 373366 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1496348
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7537
/proc/meminfo: memFree=325308/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1496496 CPUtime=1721.8
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376287 0 0 0 168362 3818 0 0 25 0 1 0 39121081 1532411904 369795 1992294400 4194304 7136930 140735690898032 18446744073709551615 4225291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 374124 369795 387 719 0 373403 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1496496
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7539
/proc/meminfo: memFree=324564/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1497168 CPUtime=1781.78
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376391 0 0 0 174334 3844 0 0 25 0 1 0 39121081 1533100032 369899 1992294400 4194304 7136930 140735690898032 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 374292 369899 387 719 0 373571 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1497168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7539
/proc/meminfo: memFree=324192/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1497676 CPUtime=1800.09
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376494 0 0 0 176160 3849 0 0 25 0 1 0 39121081 1533620224 370002 1992294400 4194304 7136930 140735690898032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7487/statm: 374419 370002 387 719 0 373698 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1497676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7487
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7539
/proc/meminfo: memFree=324192/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1498308 CPUtime=1800.88
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376610 0 0 0 176239 3849 0 0 25 0 1 0 39121081 1534267392 370118 1992294400 4194304 7136930 140735690898032 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7487/statm: 374577 370118 393 719 0 373856 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 1498308
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 7540
/proc/meminfo: memFree=323812/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1498308 CPUtime=1801.68
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376610 0 0 0 176319 3849 0 0 25 0 1 0 39121081 1534267392 370118 1992294400 4194304 7136930 140735690898032 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7487/statm: 374577 370118 393 719 0 373856 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 1498308
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 7540
/proc/meminfo: memFree=323812/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=1498308 CPUtime=1802.08
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4202496 376610 0 0 0 176359 3849 0 0 25 0 1 0 39121081 1534267392 370118 1992294400 4194304 7136930 140735690898032 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7487/statm: 374577 370118 393 719 0 373856 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1498308
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 7540
/proc/meminfo: memFree=323812/2059040 swapFree=4140108/4192956
[pid=7487] ppid=7485 vsize=0 CPUtime=1802.17
/proc/7487/stat : 7487 (pbscip.linux.x8) R 7485 7487 5501 0 -1 4203524 376610 0 0 0 176360 3857 0 0 25 0 1 0 39121081 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.24
CPU user time (s): 1763.61
CPU system time (s): 38.6351
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1498308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.61
system time used= 38.6351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2707
runsolver used 2.88056 second user time and 8.63269 second system time
The end