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-2663732-1276651152.opb>
0.00/0.02 c original problem has 1358 variables (1358 bin, 0 int, 0 impl, 0 cont) and 1358 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.02/0.03 c presolving:
0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 36506 impls, 0 clqs
0.39/0.41 c (0.2s) probing: 101/1358 (7.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c presolving (2 rounds):
0.39/0.41 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 36506 implications, 0 cliques
0.39/0.41 c presolved problem has 1358 variables (1358 bin, 0 int, 0 impl, 0 cont) and 1358 constraints
0.39/0.41 c 1258 constraints of type <and>
0.39/0.41 c 100 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.20
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 1.2.1.2
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1799.99
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 1620
0.39/0.41 c
0.39/0.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c lp/solvefreq = -1
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c heuristics/undercover/freq = 0
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/rapidlearning/freq = 0
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
0.39/0.41 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.41 c 0.2s| 1 | 2 | 0 | - |4588k| 0 | - |1358 |1358 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.89/4.94 c 4.5s| 10000 | 9977 | 0 | 0.0 | 15M| 95 | - |1358 |1369 | 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | -- | Inf
8.89/8.94 c 8.3s| 20000 | 19977 | 0 | 0.0 | 26M| 101 | - |1358 |1368 | 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | -- | Inf
13.39/13.47 c 12.6s| 30000 | 29977 | 0 | 0.0 | 36M| 101 | - |1358 |1365 | 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | -- | Inf
18.38/18.48 c 17.4s| 40000 | 39977 | 0 | 0.0 | 46M| 101 | - |1358 |1364 | 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | -- | Inf
23.09/23.18 c 21.9s| 50000 | 49977 | 0 | 0.0 | 56M| 101 | - |1358 |1364 | 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | -- | Inf
27.28/27.33 c 25.8s| 60000 | 59975 | 0 | 0.0 | 66M| 101 | - |1358 |1366 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
31.19/31.28 c 29.6s| 70000 | 69975 | 0 | 0.0 | 76M| 101 | - |1358 |1365 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
35.09/35.20 c 33.2s| 80000 | 79975 | 0 | 0.0 | 86M| 101 | - |1358 |1365 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
39.09/39.10 c 36.9s| 90000 | 89975 | 0 | 0.0 | 97M| 101 | - |1358 |1365 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
42.89/42.96 c 40.5s|100000 | 99975 | 0 | 0.0 | 107M| 102 | - |1358 |1365 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
46.68/46.75 c 44.1s|110000 |109973 | 0 | 0.0 | 117M| 102 | - |1358 |1365 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
50.38/50.49 c 47.6s|120000 |119973 | 0 | 0.0 | 127M| 102 | - |1358 |1365 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
54.18/54.21 c 51.1s|130000 |129973 | 0 | 0.0 | 138M| 102 | - |1358 |1365 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
57.77/57.87 c 54.5s|140000 |139973 | 0 | 0.0 | 148M| 106 | - |1358 |1365 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
61.49/61.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.49/61.54 c 58.0s|150000 |149971 | 0 | 0.0 | 157M| 106 | - |1358 |1366 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
65.18/65.22 c 61.4s|160000 |159971 | 0 | 0.0 | 167M| 106 | - |1358 |1364 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
68.77/68.88 c 64.9s|170000 |169971 | 0 | 0.0 | 177M| 106 | - |1358 |1364 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
72.48/72.50 c 68.2s|180000 |179971 | 0 | 0.0 | 187M| 106 | - |1358 |1364 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
76.08/76.16 c 71.7s|190000 |189969 | 0 | 0.0 | 197M| 106 | - |1358 |1365 | 0 | 0 | 0 | 19 | 0 | 2.000000e+00 | -- | Inf
79.78/79.83 c 75.1s|200000 |199967 | 0 | 0.0 | 207M| 106 | - |1358 |1367 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
83.48/83.53 c 78.6s|210000 |209967 | 0 | 0.0 | 217M| 106 | - |1358 |1365 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
87.17/87.25 c 82.1s|220000 |219967 | 0 | 0.0 | 228M| 106 | - |1358 |1365 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
90.87/90.95 c 85.5s|230000 |229963 | 0 | 0.0 | 238M| 106 | - |1358 |1366 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
94.58/94.63 c 89.0s|240000 |239963 | 0 | 0.0 | 248M| 106 | - |1358 |1366 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
98.37/98.41 c 92.5s|250000 |249963 | 0 | 0.0 | 258M| 106 | - |1358 |1366 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
103.06/103.15 c 97.1s|260000 |259963 | 0 | 0.0 | 269M| 106 | - |1358 |1364 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
107.68/107.78 c 101s|270000 |269963 | 0 | 0.0 | 278M| 106 | - |1358 |1364 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
112.17/112.28 c 106s|280000 |279963 | 0 | 0.0 | 287M| 106 | - |1358 |1363 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
116.76/116.85 c 110s|290000 |289961 | 0 | 0.0 | 296M| 106 | - |1358 |1365 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
120.96/121.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.96/121.09 c 114s|300000 |299961 | 0 | 0.0 | 306M| 106 | - |1358 |1364 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
125.06/125.17 c 118s|310000 |309957 | 0 | 0.0 | 316M| 106 | - |1358 |1366 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
130.15/130.27 c 123s|320000 |319957 | 0 | 0.0 | 326M| 107 | - |1358 |1365 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
135.16/135.29 c 128s|330000 |329957 | 0 | 0.0 | 336M| 107 | - |1358 |1365 | 0 | 0 | 0 | 29 | 0 | 2.000000e+00 | -- | Inf
140.05/140.18 c 132s|340000 |339955 | 0 | 0.0 | 346M| 107 | - |1358 |1366 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
144.85/144.91 c 137s|350000 |349955 | 0 | 0.0 | 356M| 107 | - |1358 |1366 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
149.65/149.70 c 141s|360000 |359953 | 0 | 0.0 | 365M| 107 | - |1358 |1367 | 0 | 0 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
154.25/154.38 c 146s|370000 |369951 | 0 | 0.0 | 375M| 107 | - |1358 |1364 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
159.05/159.14 c 151s|380000 |379951 | 0 | 0.0 | 384M| 107 | - |1358 |1364 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
163.76/163.80 c 155s|390000 |389951 | 0 | 0.0 | 394M| 107 | - |1358 |1364 | 0 | 0 | 0 | 32 | 0 | 2.000000e+00 | -- | Inf
168.26/168.32 c 159s|400000 |399949 | 0 | 0.0 | 403M| 107 | - |1358 |1364 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
172.84/172.91 c 164s|410000 |409949 | 0 | 0.0 | 413M| 107 | - |1358 |1364 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
177.34/177.43 c 168s|420000 |419949 | 0 | 0.0 | 423M| 107 | - |1358 |1364 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
181.84/181.90 c 172s|430000 |429947 | 0 | 0.0 | 432M| 107 | - |1358 |1366 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
186.14/186.27 c 176s|440000 |439947 | 0 | 0.0 | 442M| 107 | - |1358 |1364 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
190.44/190.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.44/190.59 c 180s|450000 |449947 | 0 | 0.0 | 451M| 107 | - |1358 |1364 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
194.74/194.85 c 185s|460000 |459947 | 0 | 0.0 | 461M| 107 | - |1358 |1364 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
199.05/199.13 c 189s|470000 |469947 | 0 | 0.0 | 471M| 107 | - |1358 |1364 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
203.34/203.40 c 193s|480000 |479947 | 0 | 0.0 | 480M| 107 | - |1358 |1364 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
207.43/207.56 c 197s|490000 |489947 | 0 | 0.0 | 490M| 107 | - |1358 |1364 | 0 | 0 | 0 | 35 | 0 | 2.000000e+00 | -- | Inf
211.63/211.70 c 201s|500000 |499945 | 0 | 0.0 | 500M| 107 | - |1358 |1364 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
215.64/215.76 c 204s|510000 |509945 | 0 | 0.0 | 509M| 107 | - |1358 |1364 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
219.84/219.92 c 208s|520000 |519945 | 0 | 0.0 | 519M| 107 | - |1358 |1364 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
223.94/224.03 c 212s|530000 |529945 | 0 | 0.0 | 529M| 107 | - |1358 |1364 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
228.13/228.25 c 216s|540000 |539945 | 0 | 0.0 | 538M| 107 | - |1358 |1364 | 0 | 0 | 0 | 37 | 0 | 2.000000e+00 | -- | Inf
232.33/232.44 c 220s|550000 |549941 | 0 | 0.0 | 548M| 107 | - |1358 |1366 | 0 | 0 | 0 | 40 | 0 | 2.000000e+00 | -- | Inf
236.63/236.76 c 224s|560000 |559941 | 0 | 0.0 | 558M| 107 | - |1358 |1365 | 0 | 0 | 0 | 40 | 0 | 2.000000e+00 | -- | Inf
240.92/241.04 c 228s|570000 |569939 | 0 | 0.0 | 568M| 107 | - |1358 |1365 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
245.23/245.31 c 233s|580000 |579939 | 0 | 0.0 | 577M| 107 | - |1358 |1365 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
249.54/249.63 c 237s|590000 |589939 | 0 | 0.0 | 587M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
253.82/253.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.82/253.98 c 241s|600000 |599939 | 0 | 0.0 | 597M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
258.12/258.29 c 245s|610000 |609939 | 0 | 0.0 | 607M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
262.52/262.62 c 249s|620000 |619939 | 0 | 0.0 | 616M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
266.82/266.90 c 253s|630000 |629939 | 0 | 0.0 | 626M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
271.11/271.20 c 257s|640000 |639939 | 0 | 0.0 | 635M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
275.32/275.49 c 261s|650000 |649939 | 0 | 0.0 | 645M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
279.72/279.81 c 265s|660000 |659939 | 0 | 0.0 | 655M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
284.01/284.13 c 270s|670000 |669939 | 0 | 0.0 | 665M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
288.21/288.37 c 274s|680000 |679939 | 0 | 0.0 | 675M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
292.52/292.67 c 278s|690000 |689939 | 0 | 0.0 | 684M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
296.71/296.88 c 282s|700000 |699939 | 0 | 0.0 | 694M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
301.11/301.28 c 286s|710000 |709939 | 0 | 0.0 | 704M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
305.61/305.70 c 290s|720000 |719939 | 0 | 0.0 | 714M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
309.91/310.08 c 294s|730000 |729939 | 0 | 0.0 | 723M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
314.41/314.53 c 298s|740000 |739939 | 0 | 0.0 | 733M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
318.81/318.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.81/318.95 c 303s|750000 |749939 | 0 | 0.0 | 743M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
323.21/323.34 c 307s|760000 |759939 | 0 | 0.0 | 753M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
327.61/327.74 c 311s|770000 |769939 | 0 | 0.0 | 763M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
332.01/332.17 c 315s|780000 |779939 | 0 | 0.0 | 772M| 107 | - |1358 |1364 | 0 | 0 | 0 | 41 | 0 | 2.000000e+00 | -- | Inf
336.41/336.56 c 319s|790000 |789937 | 0 | 0.0 | 782M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
340.81/340.91 c 324s|800000 |799937 | 0 | 0.0 | 792M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
345.21/345.34 c 328s|810000 |809937 | 0 | 0.0 | 802M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
349.50/349.68 c 332s|820000 |819937 | 0 | 0.0 | 812M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
353.69/353.86 c 336s|830000 |829937 | 0 | 0.0 | 822M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
357.99/358.14 c 340s|840000 |839937 | 0 | 0.0 | 832M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
362.20/362.38 c 344s|850000 |849937 | 0 | 0.0 | 842M| 107 | - |1358 |1365 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
366.50/366.67 c 348s|860000 |859935 | 0 | 0.0 | 852M| 107 | - |1358 |1366 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
370.69/370.85 c 352s|870000 |869935 | 0 | 0.0 | 862M| 107 | - |1358 |1366 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
375.00/375.13 c 356s|880000 |879935 | 0 | 0.0 | 872M| 107 | - |1358 |1366 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
379.19/379.38 c 360s|890000 |889935 | 0 | 0.0 | 882M| 107 | - |1358 |1365 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
383.49/383.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.49/383.65 c 364s|900000 |899934 | 0 | 0.0 | 892M| 107 | - |1358 |1365 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
387.59/387.76 c 368s|910000 |909934 | 0 | 0.0 | 902M| 107 | - |1358 |1365 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
391.88/392.00 c 372s|920000 |919934 | 0 | 0.0 | 912M| 107 | - |1358 |1365 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
396.09/396.25 c 376s|930000 |929934 | 0 | 0.0 | 922M| 107 | - |1358 |1365 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
400.29/400.47 c 380s|940000 |939934 | 0 | 0.0 | 932M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
404.59/404.74 c 384s|950000 |949934 | 0 | 0.0 | 942M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
408.78/408.99 c 388s|960000 |959934 | 0 | 0.0 | 953M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
413.28/413.43 c 392s|970000 |969934 | 0 | 0.0 | 963M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
417.58/417.72 c 396s|980000 |979934 | 0 | 0.0 | 973M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
421.88/422.05 c 400s|990000 |989934 | 0 | 0.0 | 983M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
426.17/426.32 c 404s| 1000k|999934 | 0 | 0.0 | 993M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
430.58/430.72 c 409s| 1010k| 1009k| 0 | 0.0 |1003M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
434.88/435.07 c 413s| 1020k| 1019k| 0 | 0.0 |1013M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
439.17/439.34 c 417s| 1030k| 1029k| 0 | 0.0 |1023M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
443.37/443.56 c 421s| 1040k| 1039k| 0 | 0.0 |1034M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
447.67/447.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.67/447.81 c 425s| 1050k| 1049k| 0 | 0.0 |1044M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
451.87/452.07 c 429s| 1060k| 1059k| 0 | 0.0 |1054M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
456.28/456.40 c 433s| 1070k| 1069k| 0 | 0.0 |1064M| 107 | - |1358 |1364 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
460.47/460.64 c 437s| 1080k| 1079k| 0 | 0.0 |1074M| 107 | - |1358 |1365 | 0 | 0 | 0 | 45 | 0 | 2.000000e+00 | -- | Inf
464.67/464.84 c 441s| 1090k| 1089k| 0 | 0.0 |1084M| 107 | - |1358 |1366 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
468.76/468.98 c 445s| 1100k| 1099k| 0 | 0.0 |1094M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
473.06/473.25 c 449s| 1110k| 1109k| 0 | 0.0 |1104M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
477.37/477.50 c 453s| 1120k| 1119k| 0 | 0.0 |1115M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
481.47/481.63 c 457s| 1130k| 1129k| 0 | 0.0 |1125M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
485.56/485.76 c 461s| 1140k| 1139k| 0 | 0.0 |1135M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
489.76/489.94 c 465s| 1150k| 1149k| 0 | 0.0 |1145M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
493.96/494.19 c 469s| 1160k| 1159k| 0 | 0.0 |1155M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
498.26/498.40 c 473s| 1170k| 1169k| 0 | 0.0 |1165M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
502.36/502.58 c 477s| 1180k| 1179k| 0 | 0.0 |1175M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
506.56/506.73 c 481s| 1190k| 1189k| 0 | 0.0 |1185M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
510.76/510.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.76/510.97 c 485s| 1200k| 1199k| 0 | 0.0 |1195M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
514.95/515.17 c 489s| 1210k| 1209k| 0 | 0.0 |1205M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
519.15/519.36 c 493s| 1220k| 1219k| 0 | 0.0 |1215M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
523.35/523.57 c 497s| 1230k| 1229k| 0 | 0.0 |1225M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
527.64/527.81 c 501s| 1240k| 1239k| 0 | 0.0 |1236M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
531.95/532.11 c 505s| 1250k| 1249k| 0 | 0.0 |1246M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
536.15/536.35 c 509s| 1260k| 1259k| 0 | 0.0 |1256M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
540.44/540.65 c 513s| 1270k| 1269k| 0 | 0.0 |1266M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
544.74/544.91 c 517s| 1280k| 1279k| 0 | 0.0 |1276M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
548.95/549.18 c 521s| 1290k| 1289k| 0 | 0.0 |1286M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | -- | Inf
552.95/553.18 c 525s| 1300k| 1299k| 0 | 0.0 |1297M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 3.000000e+00 | -- | Inf
556.94/557.13 c 528s| 1310k| 1309k| 0 | 0.0 |1307M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 3.000000e+00 | -- | Inf
560.85/561.07 c 532s| 1320k| 1319k| 0 | 0.0 |1317M| 107 | - |1358 |1365 | 0 | 0 | 0 | 46 | 0 | 3.000000e+00 | -- | Inf
564.94/565.11 c 536s| 1330k| 1329k| 0 | 0.0 |1328M| 107 | - |1358 |1367 | 0 | 0 | 0 | 48 | 0 | 3.000000e+00 | -- | Inf
568.84/569.05 c 540s| 1340k| 1339k| 0 | 0.0 |1338M| 107 | - |1358 |1368 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
572.74/572.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.74/572.93 c 543s| 1350k| 1349k| 0 | 0.0 |1348M| 107 | - |1358 |1368 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
576.63/576.83 c 547s| 1360k| 1359k| 0 | 0.0 |1358M| 107 | - |1358 |1368 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
576.63/576.87 c (node 1360100) switching to memory saving mode (mem: 1296.0M/1620.0M)
577.03/577.26 o 21
577.03/577.26 c * 547s| 1360k| 1360k| 0 | 0.0 |1359M| 121 | - |1358 |1370 | 0 | 0 | 0 | 51 | 0 | 3.000000e+00 | 2.100000e+01 | 600.00%
577.14/577.32 o 20
577.14/577.32 c * 547s| 1360k| 1360k| 0 | 0.0 |1359M| 121 | - |1358 |1372 | 0 | 0 | 0 | 53 | 0 | 3.000000e+00 | 2.000000e+01 | 566.67%
577.14/577.37 o 17
577.14/577.37 c * 548s| 1360k| 1360k| 0 | 0.0 |1359M| 121 | - |1358 |1384 | 0 | 0 | 0 | 65 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
577.24/577.43 o 16
577.24/577.43 c * 548s| 1360k| 1360k| 0 | 0.0 |1359M| 121 | - |1358 |1384 | 0 | 0 | 0 | 65 | 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
577.43/577.61 o 15
577.43/577.61 c * 548s| 1360k| 1359k| 0 | 0.0 |1359M| 121 | - |1358 |1694 | 0 | 0 | 0 | 380 | 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
583.54/583.70 o 14
583.54/583.70 c * 554s| 1364k| 1359k| 0 | 0.0 |1364M| 124 | - |1358 |7066 | 0 | 0 | 0 |8234 | 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
596.23/596.48 c 566s| 1370k| 1359k| 0 | 0.0 |1369M| 124 | - |1358 | 13k| 0 | 0 | 0 | 21k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
625.32/625.50 c 595s| 1380k| 1359k| 0 | 0.0 |1375M| 124 | - |1358 | 19k| 0 | 0 | 0 | 42k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
654.32/654.56 o 13
654.32/654.56 c * 624s| 1388k| 1359k| 0 | 0.0 |1380M| 124 | - |1358 | 25k| 0 | 0 | 0 | 61k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
661.11/661.30 c 630s| 1390k| 1358k| 0 | 0.0 |1379M| 124 | - |1358 | 23k| 0 | 0 | 0 | 66k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
699.70/699.96 c 669s| 1400k| 1358k| 0 | 0.0 |1382M| 124 | - |1358 | 26k| 0 | 0 | 0 | 90k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
745.99/746.28 c 715s| 1410k| 1358k| 0 | 0.0 |1385M| 124 | - |1358 | 30k| 0 | 0 | 0 | 116k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
792.78/793.07 c 761s| 1420k| 1358k| 0 | 0.0 |1387M| 124 | - |1358 | 33k| 0 | 0 | 0 | 137k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
842.46/842.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.46/842.79 c 810s| 1430k| 1357k| 0 | 0.0 |1390M| 124 | - |1358 | 37k| 0 | 0 | 0 | 165k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
897.45/897.76 c 865s| 1440k| 1357k| 0 | 0.0 |1390M| 124 | - |1358 | 37k| 0 | 0 | 0 | 192k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
950.34/950.67 c 917s| 1450k| 1357k| 0 | 0.0 |1391M| 124 | - |1358 | 39k| 0 | 0 | 0 | 211k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1006.32/1006.67 c 973s| 1460k| 1357k| 0 | 0.0 |1394M| 124 | - |1358 | 41k| 0 | 0 | 0 | 232k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1065.31/1065.63 c 1032s| 1470k| 1356k| 0 | 0.0 |1397M| 124 | - |1358 | 46k| 0 | 0 | 0 | 254k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1127.49/1127.81 c 1093s| 1480k| 1356k| 0 | 0.0 |1394M| 124 | - |1358 | 42k| 0 | 0 | 0 | 282k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1188.47/1188.83 c 1154s| 1490k| 1356k| 0 | 0.0 |1396M| 124 | - |1358 | 44k| 0 | 0 | 0 | 310k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1250.95/1251.33 c 1216s| 1500k| 1355k| 0 | 0.0 |1395M| 124 | - |1358 | 43k| 0 | 0 | 0 | 338k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1313.24/1313.62 c 1278s| 1510k| 1355k| 0 | 0.0 |1397M| 126 | - |1358 | 46k| 0 | 0 | 0 | 355k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1375.42/1375.85 c 1340s| 1520k| 1355k| 0 | 0.0 |1400M| 126 | - |1358 | 49k| 0 | 0 | 0 | 373k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1442.61/1443.06 c 1406s| 1530k| 1355k| 0 | 0.0 |1402M| 126 | - |1358 | 52k| 0 | 0 | 0 | 392k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1511.09/1511.56 c 1475s| 1540k| 1355k| 0 | 0.0 |1400M| 126 | - |1358 | 49k| 0 | 0 | 0 | 413k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1582.96/1583.46 c 1546s| 1550k| 1355k| 0 | 0.0 |1403M| 126 | - |1358 | 54k| 0 | 0 | 0 | 435k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1657.15/1657.69 c 1620s| 1560k| 1355k| 0 | 0.0 |1405M| 126 | - |1358 | 57k| 0 | 0 | 0 | 458k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1728.92/1729.41 c 1691s| 1570k| 1354k| 0 | 0.0 |1402M| 126 | - |1358 | 52k| 0 | 0 | 0 | 479k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1798.51/1799.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.51/1799.05 c 1760s| 1580k| 1354k| 0 | 0.0 |1401M| 126 | - |1358 | 51k| 0 | 0 | 0 | 506k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1761.79
1800.02/1800.51 c Solving Nodes : 1580191
1800.02/1800.51 c Primal Bound : +1.30000000000000e+01 (7 solutions)
1800.02/1800.51 c Dual Bound : +3.00000000000000e+00
1800.02/1800.51 c Gap : 333.33 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 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.02/1800.51 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.02/1800.51 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.02/1800.51 v -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1761.79
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2663732-1276651152.opb
1800.02/1800.51 c Variables : 1358 (1358 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1358 initial, 1358 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2663732-1276651152.opb
1800.02/1800.51 c Variables : 1358 (1358 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1358 initial, 57848 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 0.18 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 1258 0 4597710 0 1519291 16303 39056361 0 0 0
1800.02/1800.51 c logicor : 100+ 0 1601322 0 1519297 86527 524215 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 1519298 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c and : 229.44 0.00 221.90 0.00 7.54
1800.02/1800.51 c logicor : 614.48 0.00 556.92 0.00 57.56
1800.02/1800.51 c countsols : 0.66 0.00 0.00 0.00 0.66
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 2.46 2 0 0
1800.02/1800.51 c rootredcost : 2.24 0 0 0
1800.02/1800.51 c pseudoobj : 136.84 4623888 26369 1622336
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 160.79 129199 129199 4629811 115.8 826 59.0 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 1 1 2 21.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 507464 73.5 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 211.12 1519291 0 0 0 0 3038582
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.37 - 7
1800.02/1800.51 c oneopt : 1.01 0 0
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.93 0 0
1800.02/1800.51 c trysol : 0.75 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 1580191
1800.02/1800.51 c nodes (total) : 1580191
1800.02/1800.51 c nodes left : 1354740
1800.02/1800.51 c max depth : 126
1800.02/1800.51 c max depth (total): 126
1800.02/1800.51 c backtracks : 152245 (9.6%)
1800.02/1800.51 c delayed cutoffs : 103265
1800.02/1800.51 c repropagations : 192365 (13003090 domain reductions, 68307 cutoffs)
1800.02/1800.51 c avg switch length: 5.66
1800.02/1800.51 c switching time : 376.95
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 7 (7 improvements)
1800.02/1800.51 c First Solution : +2.10000000000000e+01 (in run 1, after 1360140 nodes, 547.36 seconds, depth 121, found by <relaxation>)
1800.02/1800.51 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1388494 nodes, 623.62 seconds, depth 109, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +3.00000000000000e+00
1800.02/1800.51 c Gap : 333.33 %
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663732-1276651152/watcher-2663732-1276651152 -o /tmp/evaluation-result-2663732-1276651152/solver-2663732-1276651152 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663732-1276651152.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/105 13752
/proc/meminfo: memFree=1794832/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=6584 CPUtime=0
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 1050 0 0 0 0 0 0 0 25 0 1 0 6408800 6742016 972 1992294400 4194304 7136930 140737405131680 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13752/statm: 1646 982 254 719 0 925 0
[startup+0.0343609 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13752
/proc/meminfo: memFree=1794832/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=13992 CPUtime=0.02
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 3114 0 0 0 1 1 0 0 25 0 1 0 6408800 14327808 2683 1992294400 4194304 7136930 140737405131680 18446744073709551615 6164606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 3498 2686 314 719 0 2777 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13992
[startup+0.10137 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13752
/proc/meminfo: memFree=1794832/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=16360 CPUtime=0.09
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 3972 0 0 0 5 4 0 0 25 0 1 0 6408800 16752640 3283 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 4090 3283 328 719 0 3369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16360
[startup+0.301392 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13752
/proc/meminfo: memFree=1794832/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=16360 CPUtime=0.29
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 4771 0 0 0 15 14 0 0 25 0 1 0 6408800 16752640 3311 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 4090 3311 348 719 0 3369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16360
[startup+0.701438 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13752
/proc/meminfo: memFree=1794832/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=18456 CPUtime=0.69
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 5359 0 0 0 49 20 0 0 25 0 1 0 6408800 18898944 3899 1992294400 4194304 7136930 140737405131680 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 4614 3899 386 719 0 3893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18456
[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13753
/proc/meminfo: memFree=1779944/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=21180 CPUtime=1.49
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 6032 0 0 0 125 24 0 0 25 0 1 0 6408800 21688320 4572 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 5295 4572 386 719 0 4574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21180
[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13753
/proc/meminfo: memFree=1774488/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=27440 CPUtime=3.09
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 7607 0 0 0 278 31 0 0 25 0 1 0 6408800 28098560 6147 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 6860 6147 386 719 0 6139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27440
[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13753
/proc/meminfo: memFree=1763948/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=38268 CPUtime=6.29
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 10340 0 0 0 581 48 0 0 25 0 1 0 6408800 39186432 8880 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 9567 8880 386 719 0 8846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38268
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13753
/proc/meminfo: memFree=1745596/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=53264 CPUtime=12.69
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 14135 0 0 0 1188 81 0 0 25 0 1 0 6408800 54542336 12675 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 13316 12675 386 719 0 12595 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53264
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13753
/proc/meminfo: memFree=1717696/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=81012 CPUtime=25.49
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 21202 0 0 0 2408 141 0 0 25 0 1 0 6408800 82956288 19742 1992294400 4194304 7136930 140737405131680 18446744073709551615 5892374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 20253 19742 386 719 0 19532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81012
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13755
/proc/meminfo: memFree=1646272/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=154952 CPUtime=51.07
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 39421 0 0 0 4814 293 0 0 25 0 1 0 6408800 158670848 37961 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 38738 37961 387 719 0 38017 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 154952
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13755
/proc/meminfo: memFree=1503052/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=297144 CPUtime=102.27
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 74478 0 0 0 9625 602 0 0 25 0 1 0 6408800 304275456 73018 1992294400 4194304 7136930 140737405131680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 74286 73018 387 719 0 73565 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 297144
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13757
/proc/meminfo: memFree=1378556/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=419344 CPUtime=162.25
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 105525 0 0 0 15354 871 0 0 25 0 1 0 6408800 429408256 104065 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 104836 104065 387 719 0 104115 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 419344
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13759
/proc/meminfo: memFree=1244140/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=559556 CPUtime=222.23
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 139061 0 0 0 21063 1160 0 0 25 0 1 0 6408800 572985344 137601 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 139889 137601 387 719 0 139168 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 559556
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13761
/proc/meminfo: memFree=1106872/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=695448 CPUtime=282.21
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 173568 0 0 0 26779 1442 0 0 25 0 1 0 6408800 712138752 172108 1992294400 4194304 7136930 140737405131680 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 173862 172108 387 719 0 173141 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 695448
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13761
/proc/meminfo: memFree=973324/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=825316 CPUtime=342.2
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 206579 0 0 0 32485 1735 0 0 25 0 1 0 6408800 845123584 205119 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 206329 205119 387 719 0 205608 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 825316
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13763
/proc/meminfo: memFree=829980/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=966596 CPUtime=402.18
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 242429 0 0 0 38168 2050 0 0 25 0 1 0 6408800 989794304 240969 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 241649 240969 387 719 0 240928 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 966596
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13765
/proc/meminfo: memFree=684900/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1125984 CPUtime=462.16
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 278738 0 0 0 43854 2362 0 0 25 0 1 0 6408800 1153007616 277278 1992294400 4194304 7136930 140737405131680 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 281496 277278 387 719 0 280775 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1125984
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13767
/proc/meminfo: memFree=545400/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1266020 CPUtime=522.15
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 314300 0 0 0 49543 2672 0 0 25 0 1 0 6408800 1296404480 312840 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 316505 312840 387 719 0 315784 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1266020
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13769
/proc/meminfo: memFree=395484/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1409784 CPUtime=582.14
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 356030 0 0 0 55231 2983 0 0 25 0 1 0 6408800 1443618816 349255 1992294400 4194304 7136930 140737405131680 18446744073709551615 4452901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 352446 349255 388 719 0 351725 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1409784
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13769
/proc/meminfo: memFree=372420/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1433376 CPUtime=642.13
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 361721 0 0 0 61153 3060 0 0 25 0 1 0 6408800 1467777024 354946 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 358344 354946 388 719 0 357623 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1433376
[startup+702.301 s]
################
# More data... #
################
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 368378 0 0 0 96861 3341 0 0 25 0 1 0 6408800 1496985600 361603 1992294400 4194304 7136930 140737405131680 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 365475 361603 388 719 0 364754 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1461900
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13784
/proc/meminfo: memFree=340056/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1466916 CPUtime=1062.01
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 369649 0 0 0 102822 3379 0 0 25 0 1 0 6408800 1502121984 362874 1992294400 4194304 7136930 140737405131680 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 366729 362874 388 719 0 366008 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1466916
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13786
/proc/meminfo: memFree=338940/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1468240 CPUtime=1121.98
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 369930 0 0 0 108780 3418 0 0 25 0 1 0 6408800 1503477760 363155 1992294400 4194304 7136930 140737405131680 18446744073709551615 4238089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 367060 363155 388 719 0 366339 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1468240
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13788
/proc/meminfo: memFree=338072/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1469224 CPUtime=1181.97
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 370159 0 0 0 114742 3455 0 0 25 0 1 0 6408800 1504485376 363384 1992294400 4194304 7136930 140737405131680 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 367306 363384 388 719 0 366585 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1469224
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13788
/proc/meminfo: memFree=335716/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1471400 CPUtime=1241.96
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 370694 0 0 0 120700 3496 0 0 25 0 1 0 6408800 1506713600 363919 1992294400 4194304 7136930 140737405131680 18446744073709551615 5925485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 367850 363919 388 719 0 367129 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1471400
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13790
/proc/meminfo: memFree=333856/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1473200 CPUtime=1301.95
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 371137 0 0 0 126659 3536 0 0 25 0 1 0 6408800 1508556800 364362 1992294400 4194304 7136930 140737405131680 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 368300 364362 388 719 0 367579 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1473200
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13792
/proc/meminfo: memFree=332988/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1474300 CPUtime=1361.92
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 371344 0 0 0 132617 3575 0 0 25 0 1 0 6408800 1509683200 364569 1992294400 4194304 7136930 140737405131680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 368575 364569 388 719 0 367854 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1474300
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13794
/proc/meminfo: memFree=331376/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1475928 CPUtime=1421.92
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 371759 0 0 0 138581 3611 0 0 25 0 1 0 6408800 1511350272 364984 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 368982 364984 388 719 0 368261 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1475928
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13796
/proc/meminfo: memFree=328152/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1479728 CPUtime=1481.89
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 372536 0 0 0 144543 3646 0 0 25 0 1 0 6408800 1515241472 365761 1992294400 4194304 7136930 140737405131680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 369932 365761 388 719 0 369211 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1479728
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13796
/proc/meminfo: memFree=326292/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1482076 CPUtime=1541.87
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 372998 0 0 0 150506 3681 0 0 25 0 1 0 6408800 1517645824 366223 1992294400 4194304 7136930 140737405131680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 370519 366223 388 719 0 369798 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1482076
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13798
/proc/meminfo: memFree=325548/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1482800 CPUtime=1601.87
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373186 0 0 0 156475 3712 0 0 25 0 1 0 6408800 1518387200 366411 1992294400 4194304 7136930 140737405131680 18446744073709551615 4221389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 370700 366411 388 719 0 369979 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1482800
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13800
/proc/meminfo: memFree=323440/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1484768 CPUtime=1661.84
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373719 0 0 0 162439 3745 0 0 25 0 1 0 6408800 1520402432 366944 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 371192 366944 388 719 0 370471 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1484768
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13802
/proc/meminfo: memFree=322820/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1485436 CPUtime=1721.83
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373867 0 0 0 168405 3778 0 0 25 0 1 0 6408800 1521086464 367092 1992294400 4194304 7136930 140737405131680 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 371359 367092 388 719 0 370638 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1485436
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13804
/proc/meminfo: memFree=322448/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1485436 CPUtime=1781.81
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373884 0 0 0 174368 3813 0 0 25 0 1 0 6408800 1521086464 367109 1992294400 4194304 7136930 140737405131680 18446744073709551615 4220995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 371359 367109 388 719 0 370638 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1485436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13804
/proc/meminfo: memFree=322324/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1485732 CPUtime=1800.02
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373944 0 0 0 176179 3823 0 0 25 0 1 0 6408800 1521389568 367169 1992294400 4194304 7136930 140737405131680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13752/statm: 371433 367169 388 719 0 370712 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1485732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13752
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13805
/proc/meminfo: memFree=322068/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1485936 CPUtime=1800.91
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373998 0 0 0 176268 3823 0 0 25 0 1 0 6408800 1521598464 367223 1992294400 4194304 7136930 140737405131680 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13752/statm: 371484 367223 394 719 0 370763 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1485936
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13805
/proc/meminfo: memFree=322068/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=1485936 CPUtime=1801.71
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4202496 373998 0 0 0 176348 3823 0 0 25 0 1 0 6408800 1521598464 367223 1992294400 4194304 7136930 140737405131680 18446744073709551615 6166206 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13752/statm: 371484 367223 394 719 0 370763 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1485936
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13805
/proc/meminfo: memFree=322068/2059040 swapFree=4192956/4192956
[pid=13752] ppid=13750 vsize=0 CPUtime=1802.11
/proc/13752/stat : 13752 (pbscip.linux.x8) R 13750 13752 11928 0 -1 4203524 373998 0 0 0 176379 3832 0 0 25 0 1 0 6408800 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13752/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.15
CPU user time (s): 1763.79
CPU system time (s): 38.3602
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1485936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.79
system time used= 38.3602
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373998
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= 5952
runsolver used 2.93355 second user time and 8.5687 second system time
The end