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-2663733-1276651258.opb>
0.00/0.02 c original problem has 1360 variables (1360 bin, 0 int, 0 impl, 0 cont) and 1360 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.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 36636 impls, 0 clqs
0.39/0.41 c (0.2s) probing: 101/1360 (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 36636 implications, 0 cliques
0.39/0.41 c presolved problem has 1360 variables (1360 bin, 0 int, 0 impl, 0 cont) and 1360 constraints
0.39/0.41 c 1260 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.21
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 | - |4598k| 0 | - |1360 |1360 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.89/4.95 c 4.5s| 10000 | 9995 | 0 | 0.0 | 15M| 81 | - |1360 |1365 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
8.99/9.06 c 8.4s| 20000 | 19993 | 0 | 0.0 | 25M| 82 | - |1360 |1363 | 0 | 0 | 0 | 7 | 0 | 1.000000e+00 | -- | Inf
13.20/13.25 c 12.4s| 30000 | 29993 | 0 | 0.0 | 36M| 85 | - |1360 |1362 | 0 | 0 | 0 | 7 | 0 | 1.000000e+00 | -- | Inf
17.78/17.89 c 16.8s| 40000 | 39993 | 0 | 0.0 | 45M| 85 | - |1360 |1361 | 0 | 0 | 0 | 7 | 0 | 1.000000e+00 | -- | Inf
22.28/22.32 c 21.0s| 50000 | 49993 | 0 | 0.0 | 56M| 85 | - |1360 |1360 | 0 | 0 | 0 | 7 | 0 | 1.000000e+00 | -- | Inf
26.58/26.63 c 25.1s| 60000 | 59991 | 0 | 0.0 | 66M| 85 | - |1360 |1361 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
30.69/30.77 c 29.1s| 70000 | 69987 | 0 | 0.0 | 75M| 90 | - |1360 |1361 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
34.68/34.70 c 32.8s| 80000 | 79987 | 0 | 0.0 | 85M| 90 | - |1360 |1361 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
38.58/38.66 c 36.5s| 90000 | 89987 | 0 | 0.0 | 95M| 90 | - |1360 |1361 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
42.48/42.57 c 40.1s|100000 | 99987 | 0 | 0.0 | 106M| 90 | - |1360 |1360 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
46.38/46.46 c 43.8s|110000 |109987 | 0 | 0.0 | 116M| 90 | - |1360 |1360 | 0 | 0 | 0 | 10 | 0 | 2.000000e+00 | -- | Inf
50.28/50.35 c 47.5s|120000 |119985 | 0 | 0.0 | 126M| 90 | - |1360 |1362 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
54.07/54.11 c 51.0s|130000 |129983 | 0 | 0.0 | 136M| 90 | - |1360 |1362 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
57.78/57.83 c 54.5s|140000 |139983 | 0 | 0.0 | 146M| 91 | - |1360 |1361 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
61.48/61.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.48/61.60 c 58.0s|150000 |149981 | 0 | 0.0 | 156M| 91 | - |1360 |1362 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
65.27/65.36 c 61.6s|160000 |159979 | 0 | 0.0 | 166M| 91 | - |1360 |1363 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
69.18/69.20 c 65.2s|170000 |169979 | 0 | 0.0 | 177M| 91 | - |1360 |1363 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
72.77/72.88 c 68.6s|180000 |179979 | 0 | 0.0 | 187M| 91 | - |1360 |1363 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
76.47/76.57 c 72.1s|190000 |189979 | 0 | 0.0 | 197M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
80.18/80.24 c 75.5s|200000 |199979 | 0 | 0.0 | 208M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
83.87/83.91 c 79.0s|210000 |209979 | 0 | 0.0 | 218M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
87.46/87.57 c 82.4s|220000 |219979 | 0 | 0.0 | 229M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
91.18/91.25 c 85.8s|230000 |229979 | 0 | 0.0 | 239M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
94.77/94.90 c 89.2s|240000 |239979 | 0 | 0.0 | 249M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
98.47/98.53 c 92.7s|250000 |249979 | 0 | 0.0 | 260M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
102.06/102.16 c 96.0s|260000 |259979 | 0 | 0.0 | 270M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
105.76/105.81 c 99.5s|270000 |269979 | 0 | 0.0 | 280M| 91 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
109.36/109.41 c 103s|280000 |279979 | 0 | 0.0 | 291M| 93 | - |1360 |1362 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
112.96/113.03 c 106s|290000 |289975 | 0 | 0.0 | 301M| 93 | - |1360 |1364 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
116.66/116.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.66/116.70 c 110s|300000 |299975 | 0 | 0.0 | 311M| 93 | - |1360 |1363 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
120.26/120.32 c 113s|310000 |309975 | 0 | 0.0 | 322M| 93 | - |1360 |1363 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
123.86/123.96 c 117s|320000 |319975 | 0 | 0.0 | 332M| 93 | - |1360 |1363 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | -- | Inf
127.96/128.10 c 120s|330000 |329971 | 0 | 0.0 | 343M| 93 | - |1360 |1362 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
132.06/132.14 c 124s|340000 |339971 | 0 | 0.0 | 353M| 93 | - |1360 |1362 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
136.06/136.17 c 128s|350000 |349971 | 0 | 0.0 | 363M| 93 | - |1360 |1360 | 0 | 0 | 0 | 21 | 0 | 2.000000e+00 | -- | Inf
140.15/140.21 c 132s|360000 |359969 | 0 | 0.0 | 374M| 93 | - |1360 |1361 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
143.96/144.00 c 135s|370000 |369969 | 0 | 0.0 | 384M| 95 | - |1360 |1361 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
147.75/147.88 c 139s|380000 |379969 | 0 | 0.0 | 394M| 95 | - |1360 |1361 | 0 | 0 | 0 | 22 | 0 | 2.000000e+00 | -- | Inf
152.25/152.30 c 143s|390000 |389967 | 0 | 0.0 | 404M| 95 | - |1360 |1361 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
156.85/156.97 c 148s|400000 |399967 | 0 | 0.0 | 414M| 95 | - |1360 |1361 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
161.56/161.64 c 152s|410000 |409967 | 0 | 0.0 | 425M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
166.15/166.22 c 157s|420000 |419967 | 0 | 0.0 | 434M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
170.74/170.85 c 161s|430000 |429967 | 0 | 0.0 | 444M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
175.35/175.47 c 165s|440000 |439967 | 0 | 0.0 | 455M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
179.75/179.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.75/179.90 c 170s|450000 |449967 | 0 | 0.0 | 465M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
184.25/184.34 c 174s|460000 |459967 | 0 | 0.0 | 474M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
188.64/188.77 c 178s|470000 |469967 | 0 | 0.0 | 485M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
193.14/193.21 c 182s|480000 |479967 | 0 | 0.0 | 495M| 95 | - |1360 |1360 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | -- | Inf
197.54/197.65 c 187s|490000 |489965 | 0 | 0.0 | 505M| 95 | - |1360 |1362 | 0 | 0 | 0 | 25 | 0 | 2.000000e+00 | -- | Inf
201.93/202.05 c 191s|500000 |499963 | 0 | 0.0 | 515M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
206.34/206.49 c 195s|510000 |509963 | 0 | 0.0 | 525M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
210.84/210.94 c 199s|520000 |519963 | 0 | 0.0 | 535M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
215.14/215.28 c 203s|530000 |529963 | 0 | 0.0 | 544M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
219.64/219.74 c 208s|540000 |539963 | 0 | 0.0 | 554M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
224.13/224.26 c 212s|550000 |549963 | 0 | 0.0 | 564M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
228.64/228.76 c 216s|560000 |559963 | 0 | 0.0 | 574M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
233.03/233.18 c 220s|570000 |569963 | 0 | 0.0 | 584M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
237.54/237.66 c 225s|580000 |579963 | 0 | 0.0 | 594M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
241.93/242.09 c 229s|590000 |589963 | 0 | 0.0 | 604M| 95 | - |1360 |1360 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | -- | Inf
246.43/246.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.43/246.59 c 233s|600000 |599961 | 0 | 0.0 | 614M| 95 | - |1360 |1361 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
250.93/251.03 c 237s|610000 |609961 | 0 | 0.0 | 625M| 95 | - |1360 |1360 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
255.32/255.41 c 242s|620000 |619961 | 0 | 0.0 | 635M| 95 | - |1360 |1360 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
259.72/259.86 c 246s|630000 |629961 | 0 | 0.0 | 645M| 95 | - |1360 |1360 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
264.02/264.15 c 250s|640000 |639961 | 0 | 0.0 | 655M| 95 | - |1360 |1360 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
268.52/268.61 c 254s|650000 |649961 | 0 | 0.0 | 665M| 95 | - |1360 |1360 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
272.91/273.06 c 258s|660000 |659961 | 0 | 0.0 | 675M| 95 | - |1360 |1360 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | -- | Inf
277.31/277.43 c 262s|670000 |669959 | 0 | 0.0 | 685M| 95 | - |1360 |1361 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
281.53/281.66 c 267s|680000 |679959 | 0 | 0.0 | 696M| 95 | - |1360 |1360 | 0 | 0 | 0 | 30 | 0 | 2.000000e+00 | -- | Inf
285.82/285.98 c 271s|690000 |689955 | 0 | 0.0 | 706M| 95 | - |1360 |1363 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
290.22/290.30 c 275s|700000 |699955 | 0 | 0.0 | 716M| 95 | - |1360 |1361 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
294.41/294.57 c 279s|710000 |709955 | 0 | 0.0 | 726M| 95 | - |1360 |1361 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
298.81/298.99 c 283s|720000 |719955 | 0 | 0.0 | 737M| 95 | - |1360 |1361 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
303.21/303.39 c 287s|730000 |729953 | 0 | 0.0 | 747M| 95 | - |1360 |1361 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
307.71/307.86 c 291s|740000 |739953 | 0 | 0.0 | 757M| 95 | - |1360 |1361 | 0 | 0 | 0 | 33 | 0 | 2.000000e+00 | -- | Inf
312.11/312.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.11/312.24 c 296s|750000 |749951 | 0 | 0.0 | 768M| 95 | - |1360 |1362 | 0 | 0 | 0 | 34 | 0 | 2.000000e+00 | -- | Inf
316.50/316.64 c 300s|760000 |759947 | 0 | 0.0 | 778M| 95 | - |1360 |1363 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
320.81/320.96 c 304s|770000 |769945 | 0 | 0.0 | 788M| 95 | - |1360 |1362 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
325.11/325.27 c 308s|780000 |779943 | 0 | 0.0 | 799M| 95 | - |1360 |1362 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
329.40/329.53 c 312s|790000 |789943 | 0 | 0.0 | 809M| 95 | - |1360 |1361 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
333.81/333.91 c 316s|800000 |799943 | 0 | 0.0 | 819M| 95 | - |1360 |1361 | 0 | 0 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
338.00/338.12 c 320s|810000 |809939 | 0 | 0.0 | 830M| 95 | - |1360 |1361 | 0 | 0 | 0 | 40 | 0 | 2.000000e+00 | -- | Inf
342.20/342.39 c 324s|820000 |819937 | 0 | 0.0 | 840M| 95 | - |1360 |1363 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
346.41/346.59 c 328s|830000 |829937 | 0 | 0.0 | 850M| 95 | - |1360 |1361 | 0 | 0 | 0 | 42 | 0 | 2.000000e+00 | -- | Inf
350.71/350.89 c 332s|840000 |839933 | 0 | 0.0 | 860M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
355.20/355.32 c 336s|850000 |849933 | 0 | 0.0 | 871M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
359.39/359.53 c 340s|860000 |859933 | 0 | 0.0 | 881M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 2.000000e+00 | -- | Inf
363.49/363.60 c 344s|870000 |869931 | 0 | 0.0 | 892M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 3.000000e+00 | -- | Inf
367.50/367.62 c 348s|880000 |879929 | 0 | 0.0 | 902M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 3.000000e+00 | -- | Inf
371.50/371.65 c 352s|890000 |889929 | 0 | 0.0 | 913M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 3.000000e+00 | -- | Inf
375.49/375.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.49/375.67 c 356s|900000 |899929 | 0 | 0.0 | 923M| 95 | - |1360 |1362 | 0 | 0 | 0 | 43 | 0 | 3.000000e+00 | -- | Inf
379.49/379.65 c 360s|910000 |909927 | 0 | 0.0 | 934M| 95 | - |1360 |1362 | 0 | 0 | 0 | 44 | 0 | 3.000000e+00 | -- | Inf
383.39/383.57 c 363s|920000 |919925 | 0 | 0.0 | 944M| 95 | - |1360 |1363 | 0 | 0 | 0 | 45 | 0 | 3.000000e+00 | -- | Inf
387.38/387.58 c 367s|930000 |929925 | 0 | 0.0 | 955M| 95 | - |1360 |1363 | 0 | 0 | 0 | 45 | 0 | 3.000000e+00 | -- | Inf
391.39/391.57 c 371s|940000 |939923 | 0 | 0.0 | 966M| 95 | - |1360 |1364 | 0 | 0 | 0 | 46 | 0 | 3.000000e+00 | -- | Inf
395.38/395.53 c 375s|950000 |949917 | 0 | 0.0 | 976M| 95 | - |1360 |1366 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
399.28/399.48 c 378s|960000 |959917 | 0 | 0.0 | 986M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
403.29/403.42 c 382s|970000 |969917 | 0 | 0.0 | 996M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
407.18/407.31 c 386s|980000 |979917 | 0 | 0.0 |1006M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
411.08/411.26 c 389s|990000 |989917 | 0 | 0.0 |1016M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
414.98/415.14 c 393s| 1000k|999917 | 0 | 0.0 |1027M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
418.88/419.04 c 397s| 1010k| 1009k| 0 | 0.0 |1037M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
422.78/422.98 c 400s| 1020k| 1019k| 0 | 0.0 |1047M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
426.69/426.88 c 404s| 1030k| 1029k| 0 | 0.0 |1057M| 95 | - |1360 |1364 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
430.58/430.77 c 408s| 1040k| 1039k| 0 | 0.0 |1067M| 95 | - |1360 |1363 | 0 | 0 | 0 | 49 | 0 | 3.000000e+00 | -- | Inf
434.48/434.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.48/434.67 c 412s| 1050k| 1049k| 0 | 0.0 |1078M| 95 | - |1360 |1364 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
438.48/438.62 c 415s| 1060k| 1059k| 0 | 0.0 |1088M| 95 | - |1360 |1364 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
442.37/442.56 c 419s| 1070k| 1069k| 0 | 0.0 |1098M| 95 | - |1360 |1364 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
446.27/446.44 c 423s| 1080k| 1079k| 0 | 0.0 |1108M| 95 | - |1360 |1364 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
450.17/450.38 c 426s| 1090k| 1089k| 0 | 0.0 |1119M| 95 | - |1360 |1364 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
454.08/454.29 c 430s| 1100k| 1099k| 0 | 0.0 |1129M| 95 | - |1360 |1364 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
457.97/458.16 c 434s| 1110k| 1109k| 0 | 0.0 |1139M| 95 | - |1360 |1363 | 0 | 0 | 0 | 50 | 0 | 3.000000e+00 | -- | Inf
461.88/462.06 c 437s| 1120k| 1119k| 0 | 0.0 |1150M| 95 | - |1360 |1365 | 0 | 0 | 0 | 53 | 0 | 3.000000e+00 | -- | Inf
465.77/465.95 c 441s| 1130k| 1129k| 0 | 0.0 |1160M| 95 | - |1360 |1366 | 0 | 0 | 0 | 56 | 0 | 3.000000e+00 | -- | Inf
469.66/469.87 c 445s| 1140k| 1139k| 0 | 0.0 |1171M| 95 | - |1360 |1366 | 0 | 0 | 0 | 56 | 0 | 3.000000e+00 | -- | Inf
473.57/473.79 c 448s| 1150k| 1149k| 0 | 0.0 |1181M| 95 | - |1360 |1366 | 0 | 0 | 0 | 56 | 0 | 3.000000e+00 | -- | Inf
477.57/477.73 c 452s| 1160k| 1159k| 0 | 0.0 |1191M| 95 | - |1360 |1367 | 0 | 0 | 0 | 58 | 0 | 3.000000e+00 | -- | Inf
481.47/481.61 c 456s| 1170k| 1169k| 0 | 0.0 |1202M| 95 | - |1360 |1365 | 0 | 0 | 0 | 58 | 0 | 3.000000e+00 | -- | Inf
485.27/485.44 c 460s| 1180k| 1179k| 0 | 0.0 |1212M| 95 | - |1360 |1365 | 0 | 0 | 0 | 59 | 0 | 3.000000e+00 | -- | Inf
489.07/489.26 c 463s| 1190k| 1189k| 0 | 0.0 |1222M| 95 | - |1360 |1365 | 0 | 0 | 0 | 59 | 0 | 3.000000e+00 | -- | Inf
492.86/493.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.86/493.08 c 467s| 1200k| 1199k| 0 | 0.0 |1232M| 95 | - |1360 |1366 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
496.76/496.90 c 470s| 1210k| 1209k| 0 | 0.0 |1242M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
500.56/500.71 c 474s| 1220k| 1219k| 0 | 0.0 |1253M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
504.36/504.53 c 477s| 1230k| 1229k| 0 | 0.0 |1263M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
508.16/508.39 c 481s| 1240k| 1239k| 0 | 0.0 |1273M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
512.05/512.26 c 485s| 1250k| 1249k| 0 | 0.0 |1283M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
515.85/516.08 c 488s| 1260k| 1259k| 0 | 0.0 |1293M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
519.75/519.93 c 492s| 1270k| 1269k| 0 | 0.0 |1304M| 95 | - |1360 |1365 | 0 | 0 | 0 | 60 | 0 | 3.000000e+00 | -- | Inf
523.55/523.73 c 496s| 1280k| 1279k| 0 | 0.0 |1314M| 95 | - |1360 |1365 | 0 | 0 | 0 | 61 | 0 | 3.000000e+00 | -- | Inf
527.35/527.56 c 499s| 1290k| 1289k| 0 | 0.0 |1324M| 95 | - |1360 |1365 | 0 | 0 | 0 | 61 | 0 | 3.000000e+00 | -- | Inf
531.16/531.37 c 503s| 1300k| 1299k| 0 | 0.0 |1335M| 95 | - |1360 |1365 | 0 | 0 | 0 | 61 | 0 | 3.000000e+00 | -- | Inf
535.05/535.25 c 506s| 1310k| 1309k| 0 | 0.0 |1345M| 95 | - |1360 |1365 | 0 | 0 | 0 | 61 | 0 | 3.000000e+00 | -- | Inf
538.95/539.19 c 510s| 1320k| 1319k| 0 | 0.0 |1355M| 95 | - |1360 |1365 | 0 | 0 | 0 | 61 | 0 | 3.000000e+00 | -- | Inf
540.35/540.52 c (node 1323477) switching to memory saving mode (mem: 1296.0M/1620.0M)
540.65/540.88 o 23
540.65/540.88 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 101 | - |1360 |1365 | 0 | 0 | 0 | 61 | 0 | 3.000000e+00 | 2.300000e+01 | 666.67%
540.75/540.94 o 22
540.75/540.94 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 101 | - |1360 |1395 | 0 | 0 | 0 | 91 | 0 | 3.000000e+00 | 2.200000e+01 | 633.33%
540.75/540.99 o 20
540.75/540.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.75/540.99 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 107 | - |1360 |1425 | 0 | 0 | 0 | 121 | 0 | 3.000000e+00 | 2.000000e+01 | 566.67%
540.85/541.05 o 19
540.85/541.05 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 107 | - |1360 |1445 | 0 | 0 | 0 | 141 | 0 | 3.000000e+00 | 1.900000e+01 | 533.33%
540.95/541.10 o 18
540.95/541.10 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 107 | - |1360 |1465 | 0 | 0 | 0 | 161 | 0 | 3.000000e+00 | 1.800000e+01 | 500.00%
540.95/541.19 o 17
540.95/541.19 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 107 | - |1360 |1671 | 0 | 0 | 0 | 374 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
541.06/541.29 o 16
541.06/541.29 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 109 | - |1360 |1740 | 0 | 0 | 0 | 461 | 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
541.25/541.43 o 15
541.25/541.43 c * 512s| 1323k| 1323k| 0 | 0.0 |1359M| 109 | - |1360 |1839 | 0 | 0 | 0 | 594 | 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
551.44/551.68 c 522s| 1330k| 1323k| 0 | 0.0 |1365M| 110 | - |1360 |8078 | 0 | 0 | 0 | 11k| 0 | 3.000000e+00 | 1.500000e+01 | 400.00%
555.75/555.98 o 14
555.75/555.98 c * 526s| 1331k| 1323k| 0 | 0.0 |1366M| 113 | - |1360 |9890 | 0 | 0 | 0 | 14k| 0 | 3.000000e+00 | 1.400000e+01 | 366.67%
556.05/556.27 o 13
556.05/556.27 c * 527s| 1332k| 1323k| 0 | 0.0 |1366M| 113 | - |1360 | 10k| 0 | 0 | 0 | 15k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
576.94/577.10 c 547s| 1340k| 1322k| 0 | 0.0 |1372M| 113 | - |1360 | 15k| 0 | 0 | 0 | 32k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
612.54/612.75 c 583s| 1350k| 1322k| 0 | 0.0 |1378M| 113 | - |1360 | 23k| 0 | 0 | 0 | 53k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
657.63/657.81 c 627s| 1360k| 1322k| 0 | 0.0 |1384M| 113 | - |1360 | 29k| 0 | 0 | 0 | 76k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
705.01/705.26 c 674s| 1370k| 1322k| 0 | 0.0 |1387M| 113 | - |1360 | 33k| 0 | 0 | 0 | 99k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
761.19/761.47 c 730s| 1380k| 1321k| 0 | 0.0 |1392M| 113 | - |1360 | 39k| 0 | 0 | 0 | 122k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
821.88/822.17 c 790s| 1390k| 1321k| 0 | 0.0 |1394M| 113 | - |1360 | 42k| 0 | 0 | 0 | 140k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
882.55/882.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.55/882.86 c 851s| 1400k| 1321k| 0 | 0.0 |1394M| 113 | - |1360 | 41k| 0 | 0 | 0 | 159k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
951.15/951.50 c 919s| 1410k| 1321k| 0 | 0.0 |1398M| 113 | - |1360 | 46k| 0 | 0 | 0 | 187k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1025.02/1025.30 c 992s| 1420k| 1321k| 0 | 0.0 |1401M| 113 | - |1360 | 50k| 0 | 0 | 0 | 208k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1098.40/1098.74 c 1065s| 1430k| 1320k| 0 | 0.0 |1405M| 113 | - |1360 | 54k| 0 | 0 | 0 | 225k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1180.28/1180.61 c 1147s| 1440k| 1320k| 0 | 0.0 |1407M| 113 | - |1360 | 58k| 0 | 0 | 0 | 243k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1258.66/1259.06 c 1225s| 1450k| 1320k| 0 | 0.0 |1406M| 113 | - |1360 | 56k| 0 | 0 | 0 | 263k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1344.54/1344.94 c 1310s| 1460k| 1320k| 0 | 0.0 |1409M| 113 | - |1360 | 60k| 0 | 0 | 0 | 283k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1430.62/1431.04 c 1396s| 1470k| 1320k| 0 | 0.0 |1412M| 113 | - |1360 | 63k| 0 | 0 | 0 | 310k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1524.79/1525.23 c 1490s| 1480k| 1319k| 0 | 0.0 |1416M| 113 | - |1360 | 68k| 0 | 0 | 0 | 339k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1617.97/1618.48 c 1582s| 1490k| 1319k| 0 | 0.0 |1420M| 113 | - |1360 | 73k| 0 | 0 | 0 | 355k| 0 | 3.000000e+00 | 1.300000e+01 | 333.33%
1726.24/1726.76 c 1690s| 1500k| 1319k| 0 | 0.0 |1423M| 113 | - |1360 | 77k| 0 | 0 | 0 | 371k| 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.53 c
1800.02/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.53 c Solving Time (sec) : 1763.69
1800.02/1800.53 c Solving Nodes : 1507300
1800.02/1800.53 c Primal Bound : +1.30000000000000e+01 (10 solutions)
1800.02/1800.53 c Dual Bound : +3.00000000000000e+00
1800.02/1800.53 c Gap : 333.33 %
1800.02/1800.53 s SATISFIABLE
1800.02/1800.53 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.53 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.53 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.53 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.53 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.53 c Solving Time : 1763.69
1800.02/1800.53 c Original Problem :
1800.02/1800.53 c Problem name : HOME/instance-2663733-1276651258.opb
1800.02/1800.53 c Variables : 1360 (1360 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.53 c Constraints : 1360 initial, 1360 maximal
1800.02/1800.53 c Presolved Problem :
1800.02/1800.53 c Problem name : t_HOME/instance-2663733-1276651258.opb
1800.02/1800.53 c Variables : 1360 (1360 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.53 c Constraints : 1360 initial, 78516 maximal
1800.02/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.53 c and : 0.18 0 0 0 0 0 0 0 0
1800.02/1800.53 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c root node : - 0 - - 0 - - - -
1800.02/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.53 c and : 1260 0 4374119 0 1456869 13198 36148097 0 0 0
1800.02/1800.53 c logicor : 100+ 0 1455935 0 1456876 75480 461859 0 0 0
1800.02/1800.53 c countsols : 0 0 0 0 1456879 0 0 0 0 0
1800.02/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.53 c and : 214.85 0.00 206.98 0.00 7.87
1800.02/1800.53 c logicor : 639.76 0.00 588.36 0.00 51.40
1800.02/1800.53 c countsols : 0.59 0.00 0.00 0.00 0.59
1800.02/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.53 c vbounds : 1.97 2 0 0
1800.02/1800.53 c rootredcost : 2.28 0 0 0
1800.02/1800.53 c pseudoobj : 129.97 4393692 19761 1419198
1800.02/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.53 c propagation : 129.61 108439 108432 3787802 113.6 636 61.9 -
1800.02/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.53 c applied globally : - - - 384534 70.7 - - -
1800.02/1800.53 c applied locally : - - - 0 0.0 - - -
1800.02/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.53 c redcost : 0.00 0 0 0 0 0
1800.02/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.53 c intobj : 0.00 0 0 0 0 0
1800.02/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.53 c gomory : 0.00 0 0 0 0 0
1800.02/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.53 c cmir : 0.00 0 0 0 0 0
1800.02/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.53 c clique : 0.00 0 0 0 0 0
1800.02/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.53 c mcf : 0.00 0 0 0 0 0
1800.02/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.53 c Pricers : Time Calls Vars
1800.02/1800.53 c problem variables: 0.00 0 0
1800.02/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.53 c inference : 208.99 1456869 0 0 0 0 2913738
1800.02/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.53 c random : 0.00 0 0 0 0 0 0
1800.02/1800.53 c Primal Heuristics : Time Calls Found
1800.02/1800.53 c LP solutions : 0.00 - 0
1800.02/1800.53 c pseudo solutions : 0.50 - 10
1800.02/1800.53 c oneopt : 0.94 0 0
1800.02/1800.53 c trivial : 0.01 2 0
1800.02/1800.53 c simplerounding : 0.00 0 0
1800.02/1800.53 c zirounding : 0.00 0 0
1800.02/1800.53 c rounding : 0.00 0 0
1800.02/1800.53 c shifting : 0.00 0 0
1800.02/1800.53 c intshifting : 0.00 0 0
1800.02/1800.53 c twoopt : 0.00 0 0
1800.02/1800.53 c fixandinfer : 0.00 0 0
1800.02/1800.53 c feaspump : 0.00 0 0
1800.02/1800.53 c coefdiving : 0.00 0 0
1800.02/1800.53 c pscostdiving : 0.00 0 0
1800.02/1800.53 c fracdiving : 0.00 0 0
1800.02/1800.53 c veclendiving : 0.00 0 0
1800.02/1800.53 c intdiving : 0.00 0 0
1800.02/1800.53 c actconsdiving : 0.00 0 0
1800.02/1800.53 c objpscostdiving : 0.00 0 0
1800.02/1800.53 c rootsoldiving : 0.00 0 0
1800.02/1800.53 c linesearchdiving : 0.00 0 0
1800.02/1800.53 c guideddiving : 0.00 0 0
1800.02/1800.53 c octane : 0.00 0 0
1800.02/1800.53 c rens : 0.00 0 0
1800.02/1800.53 c rins : 0.00 0 0
1800.02/1800.53 c localbranching : 0.00 0 0
1800.02/1800.53 c mutation : 0.00 0 0
1800.02/1800.53 c crossover : 0.00 0 0
1800.02/1800.53 c dins : 0.00 0 0
1800.02/1800.53 c undercover : 0.00 0 0
1800.02/1800.53 c nlp : 0.81 0 0
1800.02/1800.53 c trysol : 0.60 0 0
1800.02/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.53 c (at root node) : - 0 0 0.00 -
1800.02/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.53 c B&B Tree :
1800.02/1800.53 c number of runs : 1
1800.02/1800.53 c nodes : 1507300
1800.02/1800.53 c nodes (total) : 1507300
1800.02/1800.53 c nodes left : 1319654
1800.02/1800.53 c max depth : 113
1800.02/1800.53 c max depth (total): 113
1800.02/1800.53 c backtracks : 121192 (8.0%)
1800.02/1800.53 c delayed cutoffs : 86638
1800.02/1800.53 c repropagations : 162417 (11305782 domain reductions, 58018 cutoffs)
1800.02/1800.53 c avg switch length: 4.72
1800.02/1800.53 c switching time : 359.97
1800.02/1800.53 c Solution :
1800.02/1800.53 c Solutions found : 10 (10 improvements)
1800.02/1800.53 c First Solution : +2.30000000000000e+01 (in run 1, after 1323508 nodes, 511.65 seconds, depth 101, found by <relaxation>)
1800.02/1800.53 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1332063 nodes, 526.71 seconds, depth 101, found by <relaxation>)
1800.02/1800.53 c Dual Bound : +3.00000000000000e+00
1800.02/1800.53 c Gap : 333.33 %
1800.02/1800.53 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.53 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-2663733-1276651258/watcher-2663733-1276651258 -o /tmp/evaluation-result-2663733-1276651258/solver-2663733-1276651258 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663733-1276651258.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: 0.92 0.98 0.99 3/105 14497
/proc/meminfo: memFree=1779696/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=6584 CPUtime=0
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 1086 0 0 0 0 0 0 0 25 0 1 0 6419485 6742016 1009 1992294400 4194304 7136930 140736696689280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14497/statm: 1646 1019 254 719 0 925 0
[startup+0.0579981 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 14497
/proc/meminfo: memFree=1779696/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=17396 CPUtime=0.05
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 3964 0 0 0 4 1 0 0 25 0 1 0 6419485 17813504 3533 1992294400 4194304 7136930 140736696689280 18446744073709551615 4361616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 4349 3533 328 719 0 3628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17396
[startup+0.102003 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 14497
/proc/meminfo: memFree=1779696/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=16368 CPUtime=0.09
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 3964 0 0 0 6 3 0 0 25 0 1 0 6419485 16760832 3276 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 4092 3276 328 719 0 3371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16368
[startup+0.301024 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 14497
/proc/meminfo: memFree=1779696/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=16368 CPUtime=0.29
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 4762 0 0 0 15 14 0 0 25 0 1 0 6419485 16760832 3303 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 4092 3303 348 719 0 3371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16368
[startup+0.701067 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 14497
/proc/meminfo: memFree=1779696/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=18548 CPUtime=0.69
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 5351 0 0 0 50 19 0 0 25 0 1 0 6419485 18993152 3892 1992294400 4194304 7136930 140736696689280 18446744073709551615 4740331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 4637 3892 381 719 0 3916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18548
[startup+1.50016 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 14498
/proc/meminfo: memFree=1764808/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=21268 CPUtime=1.49
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 6043 0 0 0 125 24 0 0 25 0 1 0 6419485 21778432 4584 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 5317 4584 386 719 0 4596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21268
[startup+3.10033 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 14498
/proc/meminfo: memFree=1760344/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=26844 CPUtime=3.09
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 7441 0 0 0 277 32 0 0 25 0 1 0 6419485 27488256 5982 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 6711 5982 386 719 0 5990 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26844
[startup+6.30069 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 14498
/proc/meminfo: memFree=1750672/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=37552 CPUtime=6.29
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 10166 0 0 0 580 49 0 0 25 0 1 0 6419485 38453248 8707 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 9388 8707 387 719 0 8667 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37552
[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 14498
/proc/meminfo: memFree=1729964/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=53928 CPUtime=12.69
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 14318 0 0 0 1184 85 0 0 25 0 1 0 6419485 55222272 12859 1992294400 4194304 7136930 140736696689280 18446744073709551615 4407988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 13482 12859 387 719 0 12761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53928
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 14498
/proc/meminfo: memFree=1696980/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=86112 CPUtime=25.49
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 22446 0 0 0 2406 143 0 0 25 0 1 0 6419485 88178688 20987 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 21528 20987 387 719 0 20807 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86112
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 14500
/proc/meminfo: memFree=1631136/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=153856 CPUtime=51.08
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 39129 0 0 0 4819 289 0 0 25 0 1 0 6419485 157548544 37670 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 38464 37670 387 719 0 37743 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153856
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 14500
/proc/meminfo: memFree=1488536/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=297620 CPUtime=102.28
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 74575 0 0 0 9619 609 0 0 25 0 1 0 6419485 304762880 73116 1992294400 4194304 7136930 140736696689280 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 74405 73116 387 719 0 73684 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 297620
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14502
/proc/meminfo: memFree=1324856/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=458916 CPUtime=162.25
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 115503 0 0 0 15291 934 0 0 25 0 1 0 6419485 469929984 114044 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 114729 114044 387 719 0 114008 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 458916
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14504
/proc/meminfo: memFree=1187960/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=600272 CPUtime=222.24
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 149275 0 0 0 21008 1216 0 0 25 0 1 0 6419485 614678528 147816 1992294400 4194304 7136930 140736696689280 18446744073709551615 4780239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 150068 147816 387 719 0 149347 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 600272
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14506
/proc/meminfo: memFree=1049948/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=736648 CPUtime=282.21
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 183921 0 0 0 26713 1508 0 0 25 0 1 0 6419485 754327552 182462 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 184162 182462 387 719 0 183441 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 736648
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14508
/proc/meminfo: memFree=909580/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=873672 CPUtime=342.2
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 218705 0 0 0 32410 1810 0 0 25 0 1 0 6419485 894640128 217246 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 218418 217246 387 719 0 217697 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 873672
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14508
/proc/meminfo: memFree=756564/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1026696 CPUtime=402.19
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 257505 0 0 0 38092 2127 0 0 25 0 1 0 6419485 1051336704 256046 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 256674 256046 387 719 0 255953 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1026696
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14510
/proc/meminfo: memFree=600076/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1195348 CPUtime=462.17
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 296189 0 0 0 43764 2453 0 0 25 0 1 0 6419485 1224036352 294730 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 298837 294730 387 719 0 298116 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1195348
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14512
/proc/meminfo: memFree=439372/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1354628 CPUtime=522.15
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 336615 0 0 0 49421 2794 0 0 25 0 1 0 6419485 1387139072 335156 1992294400 4194304 7136930 140736696689280 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 338657 335156 387 719 0 337936 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1354628
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14514
/proc/meminfo: memFree=361624/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1430036 CPUtime=582.14
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 360615 0 0 0 55244 2970 0 0 25 0 1 0 6419485 1464356864 353985 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 357509 353985 387 719 0 356788 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1430036
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14516
/proc/meminfo: memFree=345380/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1446156 CPUtime=642.13
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 364561 0 0 0 61181 3032 0 0 25 0 1 0 6419485 1480863744 357931 1992294400 4194304 7136930 140736696689280 18446744073709551615 4771849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 361539 357931 387 719 0 360818 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1446156
[startup+702.302 s]
################
# More data... #
################
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 370229 0 0 0 96935 3267 0 0 25 0 1 0 6419485 1505882112 363599 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 367647 363599 387 719 0 366926 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1470588
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14529
/proc/meminfo: memFree=318348/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1474312 CPUtime=1062.02
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 371221 0 0 0 102901 3301 0 0 25 0 1 0 6419485 1509695488 364591 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 368578 364591 387 719 0 367857 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1474312
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14531
/proc/meminfo: memFree=314380/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1478308 CPUtime=1122
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 372228 0 0 0 108866 3334 0 0 25 0 1 0 6419485 1513787392 365598 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 369577 365598 387 719 0 368856 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1478308
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14533
/proc/meminfo: memFree=311280/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1481280 CPUtime=1181.98
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 372980 0 0 0 114834 3364 0 0 25 0 1 0 6419485 1516830720 366350 1992294400 4194304 7136930 140736696689280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 370320 366350 387 719 0 369599 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1481280
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14535
/proc/meminfo: memFree=310412/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1482164 CPUtime=1241.97
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 373132 0 0 0 120800 3397 0 0 25 0 1 0 6419485 1517735936 366502 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 370541 366502 387 719 0 369820 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1482164
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14535
/proc/meminfo: memFree=309172/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1483888 CPUtime=1301.96
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 373423 0 0 0 126771 3425 0 0 25 0 1 0 6419485 1519501312 366793 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 370972 366793 387 719 0 370251 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1483888
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14537
/proc/meminfo: memFree=308800/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1484288 CPUtime=1361.93
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 373513 0 0 0 132742 3451 0 0 25 0 1 0 6419485 1519910912 366883 1992294400 4194304 7136930 140736696689280 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 371072 366883 387 719 0 370351 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1484288
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14539
/proc/meminfo: memFree=303964/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1490012 CPUtime=1421.93
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 374829 0 0 0 138714 3479 0 0 25 0 1 0 6419485 1525772288 368199 1992294400 4194304 7136930 140736696689280 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 372503 368199 387 719 0 371782 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1490012
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14541
/proc/meminfo: memFree=301112/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1492264 CPUtime=1481.9
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 375401 0 0 0 144684 3506 0 0 25 0 1 0 6419485 1528078336 368771 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 373066 368771 387 719 0 372345 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1492264
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14543
/proc/meminfo: memFree=294540/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1498712 CPUtime=1541.89
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 377042 0 0 0 150657 3532 0 0 25 0 1 0 6419485 1534681088 370412 1992294400 4194304 7136930 140736696689280 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 374678 370412 387 719 0 373957 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1498712
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14543
/proc/meminfo: memFree=293176/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1500628 CPUtime=1601.87
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 377409 0 0 0 156631 3556 0 0 25 0 1 0 6419485 1536643072 370779 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 375157 370779 387 719 0 374436 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1500628
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14545
/proc/meminfo: memFree=290696/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1503052 CPUtime=1661.86
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 378026 0 0 0 162607 3579 0 0 25 0 1 0 6419485 1539125248 371396 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 375763 371396 387 719 0 375042 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1503052
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14547
/proc/meminfo: memFree=288836/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1504804 CPUtime=1721.84
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 378478 0 0 0 168582 3602 0 0 25 0 1 0 6419485 1540919296 371848 1992294400 4194304 7136930 140736696689280 18446744073709551615 4221000 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 376201 371848 387 719 0 375480 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1504804
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14549
/proc/meminfo: memFree=287596/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1506088 CPUtime=1781.82
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 378720 0 0 0 174554 3628 0 0 25 0 1 0 6419485 1542234112 372090 1992294400 4194304 7136930 140736696689280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 376522 372090 387 719 0 375801 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1506088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14549
/proc/meminfo: memFree=287596/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1506232 CPUtime=1800.02
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 378735 0 0 0 176368 3634 0 0 25 0 1 0 6419485 1542381568 372105 1992294400 4194304 7136930 140736696689280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14497/statm: 376558 372105 387 719 0 375837 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1506232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14497
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 14550
/proc/meminfo: memFree=287216/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1506600 CPUtime=1800.91
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 378813 0 0 0 176457 3634 0 0 19 0 1 0 6419485 1542758400 372183 1992294400 4194304 7136930 140736696689280 18446744073709551615 6166242 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14497/statm: 376650 372183 393 719 0 375929 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1506600
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14550
/proc/meminfo: memFree=287092/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=1506600 CPUtime=1801.71
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4202496 378813 0 0 0 176537 3634 0 0 20 0 1 0 6419485 1542758400 372183 1992294400 4194304 7136930 140736696689280 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14497/statm: 376650 372183 393 719 0 375929 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1506600
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14550
/proc/meminfo: memFree=287092/2059040 swapFree=4192956/4192956
[pid=14497] ppid=14495 vsize=0 CPUtime=1802.11
/proc/14497/stat : 14497 (pbscip.linux.x8) R 14495 14497 13474 0 -1 4203524 378813 0 0 0 176568 3643 0 0 21 0 1 0 6419485 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14497/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.17
CPU user time (s): 1765.69
CPU system time (s): 36.4775
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1506600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.69
system time used= 36.4775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378813
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= 17114
runsolver used 2.84357 second user time and 8.65868 second system time
The end