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-2664798-1276601772.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 178k| 0 | - | 30 | 4 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.05 c 0.9s| 10000 | 4956 | 0 | 0.0 |2109k| 19 | - | 30 | 258 | 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | -- | Inf
2.10/2.19 c 1.9s| 20000 | 9800 | 0 | 0.0 |3937k| 22 | - | 30 | 652 | 0 | 0 | 0 | 689 | 0 | 0.000000e+00 | -- | Inf
3.59/3.69 c 3.3s| 30000 | 12929 | 0 | 0.0 |5392k| 22 | - | 30 | 854 | 0 | 0 | 0 |1068 | 0 | 0.000000e+00 | -- | Inf
5.19/5.29 c 4.7s| 40000 | 15433 | 0 | 0.0 |6685k| 23 | - | 30 |1167 | 0 | 0 | 0 |1561 | 0 | 0.000000e+00 | -- | Inf
6.69/6.73 c 6.0s| 50000 | 20369 | 0 | 0.0 |8369k| 23 | - | 30 |1240 | 0 | 0 | 0 |1852 | 0 | 0.000000e+00 | -- | Inf
8.28/8.38 c 7.5s| 60000 | 24419 | 0 | 0.0 |9885k| 23 | - | 30 |1202 | 0 | 0 | 0 |2216 | 0 | 0.000000e+00 | -- | Inf
9.99/10.06 c 9.1s| 70000 | 27837 | 0 | 0.0 | 11M| 23 | - | 30 |1228 | 0 | 0 | 0 |2622 | 0 | 0.000000e+00 | -- | Inf
11.69/11.77 c 10.6s| 80000 | 30669 | 0 | 0.0 | 12M| 23 | - | 30 |1296 | 0 | 0 | 0 |3086 | 0 | 0.000000e+00 | -- | Inf
13.59/13.62 c 12.3s| 90000 | 33006 | 0 | 0.0 | 13M| 23 | - | 30 |1371 | 0 | 0 | 0 |3563 | 0 | 0.000000e+00 | -- | Inf
15.59/15.69 c 14.2s|100000 | 34298 | 0 | 0.0 | 14M| 23 | - | 30 |1697 | 0 | 0 | 0 |4199 | 0 | 0.000000e+00 | -- | Inf
17.39/17.43 c 15.8s|110000 | 38077 | 0 | 0.0 | 16M| 24 | - | 30 |1575 | 0 | 0 | 0 |4608 | 0 | 0.000000e+00 | -- | Inf
18.78/18.84 c 17.1s|120000 | 43287 | 0 | 0.0 | 17M| 24 | - | 30 |1437 | 0 | 0 | 0 |4940 | 0 | 0.000000e+00 | -- | Inf
20.38/20.40 c 18.5s|130000 | 47747 | 0 | 0.0 | 19M| 24 | - | 30 |1308 | 0 | 0 | 0 |5341 | 0 | 0.000000e+00 | -- | Inf
21.89/21.96 c 19.9s|140000 | 51814 | 0 | 0.0 | 20M| 24 | - | 30 |1444 | 0 | 0 | 0 |5854 | 0 | 0.000000e+00 | -- | Inf
23.59/23.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.59/23.61 c 21.4s|150000 | 55429 | 0 | 0.0 | 22M| 24 | - | 30 |1305 | 0 | 0 | 0 |6254 | 0 | 0.000000e+00 | -- | Inf
25.08/25.16 c 22.9s|160000 | 58943 | 0 | 0.0 | 23M| 24 | - | 30 |1214 | 0 | 0 | 0 |6696 | 0 | 0.000000e+00 | -- | Inf
26.78/26.88 c 24.4s|170000 | 61563 | 0 | 0.0 | 24M| 24 | - | 30 |1239 | 0 | 0 | 0 |7128 | 0 | 0.000000e+00 | -- | Inf
28.49/28.54 c 25.9s|180000 | 64305 | 0 | 0.0 | 25M| 24 | - | 30 |1173 | 0 | 0 | 0 |7531 | 0 | 0.000000e+00 | -- | Inf
30.08/30.17 c 27.4s|190000 | 67168 | 0 | 0.0 | 27M| 24 | - | 30 |1204 | 0 | 0 | 0 |8001 | 0 | 0.000000e+00 | -- | Inf
31.88/31.98 c 29.1s|200000 | 69052 | 0 | 0.0 | 28M| 24 | - | 30 |1337 | 0 | 0 | 0 |8513 | 0 | 0.000000e+00 | -- | Inf
33.87/33.90 c 30.9s|210000 | 70845 | 0 | 0.0 | 29M| 24 | - | 30 |1447 | 0 | 0 | 0 |8957 | 0 | 0.000000e+00 | -- | Inf
35.78/35.87 c 32.8s|220000 | 72676 | 0 | 0.0 | 30M| 24 | - | 30 |1652 | 0 | 0 | 0 |9472 | 0 | 0.000000e+00 | -- | Inf
37.97/38.09 c 34.8s|230000 | 73901 | 0 | 0.0 | 31M| 24 | - | 30 |1967 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
40.69/40.72 c 37.3s|240000 | 74539 | 0 | 0.0 | 31M| 24 | - | 30 |2352 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
42.97/43.06 c 39.5s|250000 | 77135 | 0 | 0.0 | 32M| 24 | - | 30 |1129 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
44.17/44.24 c 40.6s|260000 | 82242 | 0 | 0.0 | 34M| 24 | - | 30 | 925 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
45.37/45.47 c 41.7s|270000 | 87017 | 0 | 0.0 | 35M| 24 | - | 30 | 950 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
46.78/46.82 c 42.9s|280000 | 91256 | 0 | 0.0 | 37M| 24 | - | 30 |1109 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
48.28/48.30 c 44.2s|290000 | 95277 | 0 | 0.0 | 38M| 24 | - | 30 |1278 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
49.78/49.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.78/49.81 c 45.6s|300000 | 99404 | 0 | 0.0 | 39M| 24 | - | 30 |1317 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
51.27/51.39 c 47.0s|310000 |102817 | 0 | 0.0 | 41M| 24 | - | 30 |1420 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
53.08/53.14 c 48.6s|320000 |106001 | 0 | 0.0 | 42M| 24 | - | 30 |1475 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
54.77/54.88 c 50.2s|330000 |109202 | 0 | 0.0 | 43M| 24 | - | 30 |1627 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
56.58/56.64 c 51.8s|340000 |112466 | 0 | 0.0 | 45M| 24 | - | 30 |1513 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
58.17/58.27 c 53.3s|350000 |115881 | 0 | 0.0 | 46M| 24 | - | 30 |1511 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
60.07/60.18 c 55.1s|360000 |118244 | 0 | 0.0 | 47M| 24 | - | 30 |1656 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
62.17/62.22 c 57.0s|370000 |120533 | 0 | 0.0 | 48M| 24 | - | 30 |1829 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
64.27/64.39 c 59.0s|380000 |122796 | 0 | 0.0 | 49M| 24 | - | 30 |1964 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
66.47/66.58 c 61.1s|390000 |125135 | 0 | 0.0 | 50M| 24 | - | 30 |1775 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
68.57/68.64 c 63.0s|400000 |127584 | 0 | 0.0 | 51M| 24 | - | 30 |1902 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
70.77/70.80 c 65.0s|410000 |129968 | 0 | 0.0 | 52M| 24 | - | 30 |1988 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
73.06/73.11 c 67.2s|420000 |132019 | 0 | 0.0 | 53M| 24 | - | 30 |2070 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
75.46/75.57 c 69.5s|430000 |133764 | 0 | 0.0 | 54M| 24 | - | 30 |2213 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
78.08/78.17 c 72.0s|440000 |135418 | 0 | 0.0 | 55M| 24 | - | 30 |2406 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
80.96/81.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.96/81.07 c 74.7s|450000 |136575 | 0 | 0.0 | 56M| 24 | - | 30 |2548 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
84.06/84.18 c 77.7s|460000 |137637 | 0 | 0.0 | 57M| 24 | - | 30 |2580 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
87.16/87.22 c 80.5s|470000 |138808 | 0 | 0.0 | 58M| 24 | - | 30 |2532 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
90.17/90.27 c 83.5s|480000 |140142 | 0 | 0.0 | 58M| 24 | - | 30 |2670 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
93.56/93.64 c 86.7s|490000 |140546 | 0 | 0.0 | 59M| 24 | - | 30 |2918 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
98.06/98.10 c 91.0s|500000 |139832 | 0 | 0.0 | 59M| 24 | - | 30 |3335 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
102.85/102.93 c 95.7s|510000 |139494 | 0 | 0.0 | 59M| 24 | - | 30 |3742 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
110.26/110.36 c 103s|520000 |137421 | 0 | 0.0 | 59M| 24 | - | 30 |5021 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
114.15/114.20 c 107s|530000 |140730 | 0 | 0.0 | 60M| 24 | - | 30 |1951 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
115.65/115.75 c 108s|540000 |145587 | 0 | 0.0 | 61M| 24 | - | 30 |1487 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
117.15/117.29 c 109s|550000 |149882 | 0 | 0.0 | 62M| 24 | - | 30 |1387 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
118.65/118.79 c 111s|560000 |154338 | 0 | 0.0 | 64M| 24 | - | 30 |1489 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
120.35/120.48 c 112s|570000 |158514 | 0 | 0.0 | 65M| 24 | - | 30 |1486 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
122.06/122.18 c 114s|580000 |162128 | 0 | 0.0 | 66M| 24 | - | 30 |1502 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
123.85/123.94 c 116s|590000 |165845 | 0 | 0.0 | 68M| 24 | - | 30 |1632 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
125.64/125.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.64/125.75 c 117s|600000 |169649 | 0 | 0.0 | 69M| 24 | - | 30 |1748 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
127.65/127.75 c 119s|610000 |173421 | 0 | 0.0 | 70M| 24 | - | 30 |1826 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
129.65/129.73 c 121s|620000 |176720 | 0 | 0.0 | 71M| 24 | - | 30 |1734 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
131.64/131.77 c 123s|630000 |179408 | 0 | 0.0 | 72M| 24 | - | 30 |1717 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
133.74/133.88 c 125s|640000 |182208 | 0 | 0.0 | 74M| 24 | - | 30 |1811 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
135.94/136.07 c 127s|650000 |185101 | 0 | 0.0 | 75M| 24 | - | 30 |2073 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
138.34/138.43 c 129s|660000 |188015 | 0 | 0.0 | 76M| 24 | - | 30 |2157 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
140.65/140.74 c 131s|670000 |190829 | 0 | 0.0 | 77M| 24 | - | 30 |2112 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
143.03/143.18 c 134s|680000 |193728 | 0 | 0.0 | 78M| 24 | - | 30 |2264 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
145.64/145.73 c 136s|690000 |196660 | 0 | 0.0 | 79M| 24 | - | 30 |2321 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
148.03/148.15 c 138s|700000 |199717 | 0 | 0.0 | 80M| 24 | - | 30 |2313 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
150.83/150.92 c 141s|710000 |201721 | 0 | 0.0 | 81M| 25 | - | 30 |2122 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
153.53/153.63 c 143s|720000 |203372 | 0 | 0.0 | 82M| 25 | - | 30 |2143 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
156.44/156.51 c 146s|730000 |205213 | 0 | 0.0 | 83M| 25 | - | 30 |2380 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
159.44/159.56 c 149s|740000 |207076 | 0 | 0.0 | 84M| 25 | - | 30 |2521 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
162.53/162.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.53/162.61 c 152s|750000 |208931 | 0 | 0.0 | 85M| 25 | - | 30 |2602 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
165.83/165.91 c 155s|760000 |210733 | 0 | 0.0 | 86M| 25 | - | 30 |2803 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
169.03/169.14 c 158s|770000 |212736 | 0 | 0.0 | 86M| 25 | - | 30 |2746 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
172.23/172.36 c 161s|780000 |214774 | 0 | 0.0 | 87M| 25 | - | 30 |2629 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
175.33/175.49 c 164s|790000 |216823 | 0 | 0.0 | 88M| 25 | - | 30 |2854 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
178.72/178.82 c 167s|800000 |218698 | 0 | 0.0 | 89M| 25 | - | 30 |2889 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
182.02/182.17 c 171s|810000 |220722 | 0 | 0.0 | 90M| 25 | - | 30 |2969 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
185.53/185.61 c 174s|820000 |222741 | 0 | 0.0 | 91M| 25 | - | 30 |2964 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
189.13/189.26 c 177s|830000 |224449 | 0 | 0.0 | 92M| 25 | - | 30 |3092 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
193.22/193.37 c 181s|840000 |225713 | 0 | 0.0 | 93M| 25 | - | 30 |3382 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
197.72/197.81 c 186s|850000 |226780 | 0 | 0.0 | 93M| 25 | - | 30 |3519 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
202.41/202.57 c 190s|860000 |227784 | 0 | 0.0 | 94M| 25 | - | 30 |3607 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
207.61/207.77 c 195s|870000 |228127 | 0 | 0.0 | 95M| 25 | - | 30 |3442 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
212.72/212.80 c 200s|880000 |228467 | 0 | 0.0 | 95M| 25 | - | 30 |3486 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
217.81/217.97 c 205s|890000 |228903 | 0 | 0.0 | 95M| 25 | - | 30 |3555 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
223.22/223.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.22/223.32 c 210s|900000 |229357 | 0 | 0.0 | 96M| 25 | - | 30 |3848 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
228.41/228.59 c 216s|910000 |230009 | 0 | 0.0 | 96M| 25 | - | 30 |3848 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
233.91/234.00 c 221s|920000 |230616 | 0 | 0.0 | 97M| 25 | - | 30 |3994 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
239.41/239.51 c 226s|930000 |231314 | 0 | 0.0 | 98M| 25 | - | 30 |4071 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
245.80/245.96 c 232s|940000 |230803 | 0 | 0.0 | 98M| 25 | - | 30 |4429 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
253.80/253.90 c 240s|950000 |229473 | 0 | 0.0 | 98M| 25 | - | 30 |4906 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
263.50/263.62 c 250s|960000 |227686 | 0 | 0.0 | 97M| 25 | - | 30 |5418 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
273.59/273.74 c 260s|970000 |226121 | 0 | 0.0 | 97M| 25 | - | 30 |5828 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
285.08/285.20 c 271s|980000 |224153 | 0 | 0.0 | 97M| 25 | - | 30 |6474 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
300.68/300.86 c 287s|990000 |221114 | 0 | 0.0 | 96M| 25 | - | 30 |7520 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
315.98/316.11 c 302s| 1000k|219152 | 0 | 0.0 | 95M| 25 | - | 30 |4956 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
319.08/319.27 c 305s| 1010k|223031 | 0 | 0.0 | 95M| 25 | - | 30 |2780 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
321.57/321.72 c 307s| 1020k|227030 | 0 | 0.0 | 97M| 25 | - | 30 |2509 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
324.08/324.27 c 309s| 1030k|230448 | 0 | 0.0 | 98M| 25 | - | 30 |2359 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
326.58/326.77 c 312s| 1040k|233860 | 0 | 0.0 | 99M| 25 | - | 30 |2264 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
328.87/329.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.87/329.09 c 314s| 1050k|237624 | 0 | 0.0 | 100M| 25 | - | 30 |2330 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
331.57/331.77 c 317s| 1060k|240486 | 0 | 0.0 | 101M| 25 | - | 30 |2336 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
334.37/334.58 c 319s| 1070k|243128 | 0 | 0.0 | 102M| 25 | - | 30 |2284 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
337.06/337.26 c 322s| 1080k|245986 | 0 | 0.0 | 103M| 25 | - | 30 |2389 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
339.87/340.07 c 324s| 1090k|248725 | 0 | 0.0 | 104M| 25 | - | 30 |2361 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
342.67/342.85 c 327s| 1100k|251605 | 0 | 0.0 | 105M| 25 | - | 30 |2448 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
345.57/345.74 c 330s| 1110k|254392 | 0 | 0.0 | 106M| 25 | - | 30 |2564 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
348.57/348.77 c 333s| 1120k|257322 | 0 | 0.0 | 107M| 25 | - | 30 |2743 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
351.77/351.98 c 336s| 1130k|259508 | 0 | 0.0 | 108M| 25 | - | 30 |2603 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
355.17/355.32 c 339s| 1140k|261300 | 0 | 0.0 | 109M| 25 | - | 30 |2596 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
358.47/358.60 c 342s| 1150k|263176 | 0 | 0.0 | 110M| 25 | - | 30 |2703 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
361.86/362.07 c 345s| 1160k|265070 | 0 | 0.0 | 111M| 25 | - | 30 |2712 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
365.45/365.66 c 349s| 1170k|266924 | 0 | 0.0 | 111M| 25 | - | 30 |2793 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
369.25/369.41 c 352s| 1180k|268811 | 0 | 0.0 | 112M| 25 | - | 30 |2898 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
372.85/373.02 c 356s| 1190k|270614 | 0 | 0.0 | 113M| 25 | - | 30 |2730 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
376.35/376.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.35/376.58 c 359s| 1200k|272529 | 0 | 0.0 | 114M| 25 | - | 30 |2845 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
380.36/380.52 c 363s| 1210k|274485 | 0 | 0.0 | 115M| 25 | - | 30 |3027 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
384.15/384.39 c 367s| 1220k|276367 | 0 | 0.0 | 116M| 25 | - | 30 |3033 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
388.35/388.54 c 371s| 1230k|278273 | 0 | 0.0 | 117M| 25 | - | 30 |3255 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
392.46/392.66 c 375s| 1240k|280263 | 0 | 0.0 | 117M| 25 | - | 30 |3422 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
396.75/396.93 c 379s| 1250k|282150 | 0 | 0.0 | 118M| 25 | - | 30 |3418 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
401.45/401.64 c 384s| 1260k|282704 | 0 | 0.0 | 119M| 25 | - | 30 |3139 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
406.24/406.40 c 388s| 1270k|283328 | 0 | 0.0 | 119M| 25 | - | 30 |3144 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
411.15/411.34 c 393s| 1280k|283886 | 0 | 0.0 | 120M| 25 | - | 30 |3288 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
416.14/416.34 c 398s| 1290k|284603 | 0 | 0.0 | 120M| 25 | - | 30 |3469 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
421.24/421.43 c 403s| 1300k|285259 | 0 | 0.0 | 121M| 25 | - | 30 |3308 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
426.33/426.50 c 408s| 1310k|285989 | 0 | 0.0 | 121M| 25 | - | 30 |3466 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
431.64/431.84 c 413s| 1320k|286717 | 0 | 0.0 | 122M| 25 | - | 30 |3555 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
437.23/437.46 c 418s| 1330k|287525 | 0 | 0.0 | 122M| 25 | - | 30 |3765 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
442.93/443.12 c 424s| 1340k|288388 | 0 | 0.0 | 123M| 25 | - | 30 |3822 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
448.23/448.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.23/448.43 c 429s| 1350k|289149 | 0 | 0.0 | 123M| 25 | - | 30 |3499 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
453.62/453.88 c 434s| 1360k|290032 | 0 | 0.0 | 124M| 25 | - | 30 |3603 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
459.23/459.43 c 440s| 1370k|290912 | 0 | 0.0 | 125M| 25 | - | 30 |3831 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
464.93/465.13 c 445s| 1380k|291913 | 0 | 0.0 | 125M| 25 | - | 30 |3969 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
470.72/470.95 c 451s| 1390k|292833 | 0 | 0.0 | 126M| 25 | - | 30 |4020 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
476.71/476.99 c 457s| 1400k|293691 | 0 | 0.0 | 126M| 25 | - | 30 |4127 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
483.01/483.29 c 463s| 1410k|294667 | 0 | 0.0 | 127M| 25 | - | 30 |4241 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
489.71/489.91 c 469s| 1420k|295407 | 0 | 0.0 | 128M| 25 | - | 30 |4289 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
497.71/497.97 c 477s| 1430k|295113 | 0 | 0.0 | 128M| 25 | - | 30 |4742 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
507.11/507.39 c 487s| 1440k|294272 | 0 | 0.0 | 128M| 25 | - | 30 |4878 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
516.30/516.57 c 496s| 1450k|293240 | 0 | 0.0 | 128M| 25 | - | 30 |4726 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
525.40/525.61 c 504s| 1460k|292291 | 0 | 0.0 | 128M| 25 | - | 30 |4929 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
535.09/535.35 c 514s| 1470k|291448 | 0 | 0.0 | 128M| 25 | - | 30 |4924 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
544.79/545.06 c 524s| 1480k|290613 | 0 | 0.0 | 128M| 25 | - | 30 |5183 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
555.19/555.49 c 534s| 1490k|289716 | 0 | 0.0 | 128M| 25 | - | 30 |5170 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
565.19/565.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.19/565.43 c 544s| 1500k|288894 | 0 | 0.0 | 128M| 25 | - | 30 |5251 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
575.28/575.54 c 554s| 1510k|288173 | 0 | 0.0 | 128M| 25 | - | 30 |5562 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
586.09/586.37 c 564s| 1520k|287325 | 0 | 0.0 | 128M| 25 | - | 30 |5758 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
596.27/596.55 c 574s| 1530k|286884 | 0 | 0.0 | 128M| 25 | - | 30 |5643 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
607.07/607.39 c 585s| 1540k|286272 | 0 | 0.0 | 128M| 25 | - | 30 |5852 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
619.26/619.51 c 597s| 1550k|285167 | 0 | 0.0 | 128M| 25 | - | 30 |6172 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
631.66/631.93 c 609s| 1560k|284263 | 0 | 0.0 | 129M| 25 | - | 30 |6597 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
646.75/647.05 c 624s| 1570k|282028 | 0 | 0.0 | 128M| 25 | - | 30 |7091 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
664.84/665.13 c 642s| 1580k|279063 | 0 | 0.0 | 127M| 25 | - | 30 |7585 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
684.55/684.88 c 662s| 1590k|275911 | 0 | 0.0 | 126M| 25 | - | 30 |8138 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
705.74/706.06 c 683s| 1600k|272824 | 0 | 0.0 | 125M| 25 | - | 30 |8739 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
727.22/727.55 c 704s| 1610k|269977 | 0 | 0.0 | 124M| 25 | - | 30 |9117 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
750.72/751.10 c 727s| 1620k|266998 | 0 | 0.0 | 123M| 25 | - | 30 |9653 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
777.80/778.15 c 754s| 1630k|263045 | 0 | 0.0 | 122M| 25 | - | 30 | 10k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
809.59/809.94 c 786s| 1640k|258293 | 0 | 0.0 | 120M| 25 | - | 30 | 11k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
839.18/839.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.18/839.52 c 815s| 1650k|253648 | 0 | 0.0 | 119M| 26 | - | 30 | 10k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
849.78/850.17 c 826s| 1660k|254985 | 0 | 0.0 | 118M| 26 | - | 30 |6936 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
858.48/858.86 c 834s| 1670k|255758 | 0 | 0.0 | 118M| 26 | - | 30 |6019 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
865.97/866.39 c 842s| 1680k|256610 | 0 | 0.0 | 119M| 26 | - | 30 |4840 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
872.78/873.15 c 848s| 1690k|257556 | 0 | 0.0 | 119M| 26 | - | 30 |4648 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
880.07/880.44 c 856s| 1700k|257540 | 0 | 0.0 | 119M| 26 | - | 30 |4577 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
886.67/887.01 c 862s| 1710k|258059 | 0 | 0.0 | 120M| 26 | - | 30 |4400 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
893.67/894.09 c 869s| 1720k|258228 | 0 | 0.0 | 120M| 26 | - | 30 |4279 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
900.96/901.34 c 876s| 1730k|258348 | 0 | 0.0 | 121M| 26 | - | 30 |4234 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
908.06/908.41 c 883s| 1740k|258551 | 0 | 0.0 | 121M| 26 | - | 30 |4335 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
915.96/916.37 c 891s| 1750k|258155 | 0 | 0.0 | 122M| 26 | - | 30 |4370 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
924.56/924.93 c 899s| 1760k|257426 | 0 | 0.0 | 122M| 26 | - | 30 |4615 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
934.05/934.49 c 909s| 1770k|256557 | 0 | 0.0 | 122M| 26 | - | 30 |4797 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
944.15/944.56 c 918s| 1780k|255533 | 0 | 0.0 | 122M| 26 | - | 30 |4927 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
955.14/955.54 c 929s| 1790k|254145 | 0 | 0.0 | 122M| 26 | - | 30 |4891 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
966.64/967.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.64/967.06 c 941s| 1800k|252828 | 0 | 0.0 | 122M| 26 | - | 30 |5071 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
974.73/975.12 c 949s| 1810k|252491 | 0 | 0.0 | 122M| 26 | - | 30 |4953 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
983.04/983.48 c 957s| 1820k|252111 | 0 | 0.0 | 123M| 26 | - | 30 |4795 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
991.53/991.99 c 965s| 1830k|251653 | 0 | 0.0 | 123M| 26 | - | 30 |4695 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1000.13/1000.57 c 973s| 1840k|251275 | 0 | 0.0 | 123M| 26 | - | 30 |4786 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1009.62/1010.04 c 983s| 1850k|250181 | 0 | 0.0 | 123M| 26 | - | 30 |4720 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1021.01/1021.48 c 994s| 1860k|248315 | 0 | 0.0 | 123M| 26 | - | 30 |4901 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1032.52/1032.99 c 1005s| 1870k|246454 | 0 | 0.0 | 123M| 26 | - | 30 |5043 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1044.62/1045.08 c 1017s| 1880k|244581 | 0 | 0.0 | 123M| 26 | - | 30 |5364 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1057.31/1057.70 c 1030s| 1890k|242610 | 0 | 0.0 | 122M| 26 | - | 30 |5362 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1070.41/1070.85 c 1043s| 1900k|240520 | 0 | 0.0 | 122M| 26 | - | 30 |5423 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1083.60/1084.06 c 1056s| 1910k|238608 | 0 | 0.0 | 122M| 26 | - | 30 |5823 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1097.49/1097.94 c 1070s| 1920k|236621 | 0 | 0.0 | 121M| 26 | - | 30 |5677 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1111.38/1111.82 c 1083s| 1930k|234679 | 0 | 0.0 | 121M| 26 | - | 30 |5934 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1125.89/1126.33 c 1098s| 1940k|232870 | 0 | 0.0 | 121M| 26 | - | 30 |6028 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1140.67/1141.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.67/1141.13 c 1112s| 1950k|230738 | 0 | 0.0 | 121M| 26 | - | 30 |6195 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1156.47/1156.92 c 1128s| 1960k|228494 | 0 | 0.0 | 120M| 26 | - | 30 |6315 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1171.36/1171.87 c 1143s| 1970k|226625 | 0 | 0.0 | 120M| 26 | - | 30 |6234 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1185.27/1185.75 c 1156s| 1980k|224855 | 0 | 0.0 | 120M| 26 | - | 30 |6147 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1199.25/1199.78 c 1170s| 1990k|223117 | 0 | 0.0 | 120M| 26 | - | 30 |6211 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1217.44/1217.97 c 1188s| 2000k|219542 | 0 | 0.0 | 119M| 26 | - | 30 |6600 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1236.44/1236.97 c 1207s| 2010k|215655 | 0 | 0.0 | 118M| 26 | - | 30 |6991 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1256.94/1257.45 c 1227s| 2020k|211901 | 0 | 0.0 | 116M| 26 | - | 30 |7513 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1278.63/1279.16 c 1249s| 2030k|208335 | 0 | 0.0 | 115M| 26 | - | 30 |8130 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1301.92/1302.49 c 1272s| 2040k|204667 | 0 | 0.0 | 114M| 26 | - | 30 |8490 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1327.12/1327.66 c 1297s| 2050k|200946 | 0 | 0.0 | 113M| 26 | - | 30 |9026 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1354.00/1354.59 c 1324s| 2060k|197181 | 0 | 0.0 | 112M| 26 | - | 30 |9578 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1381.09/1381.65 c 1351s| 2070k|193457 | 0 | 0.0 | 111M| 26 | - | 30 |9779 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1409.78/1410.35 c 1379s| 2080k|189690 | 0 | 0.0 | 110M| 26 | - | 30 | 10k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1439.96/1440.55 c 1409s| 2090k|185842 | 0 | 0.0 | 109M| 26 | - | 30 | 10k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1470.76/1471.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.76/1471.31 c 1440s| 2100k|181821 | 0 | 0.0 | 108M| 26 | - | 30 | 11k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1504.32/1504.94 c 1473s| 2110k|177856 | 0 | 0.0 | 107M| 26 | - | 30 | 11k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1543.00/1543.65 c 1512s| 2120k|172479 | 0 | 0.0 | 105M| 26 | - | 30 | 12k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1587.19/1587.84 c 1556s| 2130k|166529 | 0 | 0.0 | 102M| 26 | - | 30 | 13k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1634.37/1635.00 c 1603s| 2140k|160761 | 0 | 0.0 | 99M| 26 | - | 30 | 14k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1685.66/1686.31 c 1654s| 2150k|154944 | 0 | 0.0 | 97M| 26 | - | 30 | 15k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1738.23/1738.91 c 1706s| 2160k|149108 | 0 | 0.0 | 94M| 26 | - | 30 | 16k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1795.52/1796.27 c 1763s| 2170k|142780 | 0 | 0.0 | 91M| 26 | - | 30 | 16k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1767.90
1800.02/1800.71 c Solving Nodes : 2170676
1800.02/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.71 c Dual Bound : +0.00000000000000e+00
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1767.90
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-2664798-1276601772.opb
1800.02/1800.71 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 9 initial, 9 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-2664798-1276601772.opb
1800.02/1800.71 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 4 initial, 17070 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c linear : 0.00 0 0 0 0 0 5 0 0
1800.02/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c root node : - 0 - - 0 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c linear : 4 0 2903888 0 1176403 1033888 6707153 0 0 0
1800.02/1800.71 c logicor : 0+ 0 1034020 0 0 36 67911 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 1176403 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c linear : 125.65 0.00 124.43 0.00 1.22
1800.02/1800.71 c logicor : 863.84 0.00 863.84 0.00 0.00
1800.02/1800.71 c countsols : 0.43 0.00 0.00 0.00 0.43
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c vbounds : 1.47 2 0 0
1800.02/1800.71 c rootredcost : 1.61 0 0 0
1800.02/1800.71 c pseudoobj : 1.42 0 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 36.75 1033924 133196 233032 21.2 0 0.0 -
1800.02/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 136945 20.6 - - -
1800.02/1800.71 c applied locally : - - - 0 0.0 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.71 c redcost : 0.00 0 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 0.00 0 0 0 0 0
1800.02/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.71 c cmir : 0.00 0 0 0 0 0
1800.02/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.71 c clique : 0.00 0 0 0 0 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.00 0 0 0 0 0
1800.02/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 9.00 1176403 0 0 0 0 2352806
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c oneopt : 1.26 0 0
1800.02/1800.71 c trivial : 0.00 2 0
1800.02/1800.71 c simplerounding : 0.00 0 0
1800.02/1800.71 c zirounding : 0.00 0 0
1800.02/1800.71 c rounding : 0.00 0 0
1800.02/1800.71 c shifting : 0.00 0 0
1800.02/1800.71 c intshifting : 0.00 0 0
1800.02/1800.71 c twoopt : 0.00 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c feaspump : 0.00 0 0
1800.02/1800.71 c coefdiving : 0.00 0 0
1800.02/1800.71 c pscostdiving : 0.00 0 0
1800.02/1800.71 c fracdiving : 0.00 0 0
1800.02/1800.71 c veclendiving : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c objpscostdiving : 0.00 0 0
1800.02/1800.71 c rootsoldiving : 0.00 0 0
1800.02/1800.71 c linesearchdiving : 0.00 0 0
1800.02/1800.71 c guideddiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.00 0 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c crossover : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c undercover : 0.00 0 0
1800.02/1800.71 c nlp : 1.18 0 0
1800.02/1800.71 c trysol : 0.92 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.71 c (at root node) : - 0 0 0.00 -
1800.02/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.72 c B&B Tree :
1800.02/1800.72 c number of runs : 1
1800.02/1800.72 c nodes : 2170676
1800.02/1800.72 c nodes (total) : 2170676
1800.02/1800.72 c nodes left : 142237
1800.02/1800.72 c max depth : 26
1800.02/1800.72 c max depth (total): 26
1800.02/1800.72 c backtracks : 550623 (25.4%)
1800.02/1800.72 c delayed cutoffs : 39894
1800.02/1800.72 c repropagations : 107976 (276779 domain reductions, 39651 cutoffs)
1800.02/1800.72 c avg switch length: 10.67
1800.02/1800.72 c switching time : 530.55
1800.02/1800.72 c Solution :
1800.02/1800.72 c Solutions found : 0 (0 improvements)
1800.02/1800.72 c Primal Bound : -
1800.02/1800.72 c Dual Bound : +0.00000000000000e+00
1800.02/1800.72 c Gap : infinite
1800.02/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.72 c Root Iterations : 0
1800.71/1801.43 c Time complete: 1800.75.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664798-1276601772/watcher-2664798-1276601772 -o /tmp/evaluation-result-2664798-1276601772/solver-2664798-1276601772 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664798-1276601772.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.99 0.98 0.99 3/106 4321
/proc/meminfo: memFree=1838984/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=6584 CPUtime=0
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 35778822 6742016 945 1992294400 4194304 7136930 140735054638912 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4321/statm: 1646 954 254 719 0 925 0
[startup+0.084773 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 4321
/proc/meminfo: memFree=1838984/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=11048 CPUtime=0.07
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 2963 0 0 0 6 1 0 0 20 0 1 0 35778822 11313152 2019 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 2762 2019 387 719 0 2041 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11048
[startup+0.101777 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 4321
/proc/meminfo: memFree=1838984/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=11048 CPUtime=0.09
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 2967 0 0 0 7 2 0 0 20 0 1 0 35778822 11313152 2023 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 2762 2023 387 719 0 2041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11048
[startup+0.30182 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 4321
/proc/meminfo: memFree=1838984/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=11628 CPUtime=0.29
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 3113 0 0 0 25 4 0 0 20 0 1 0 35778822 11907072 2169 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 2907 2169 387 719 0 2186 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11628
[startup+0.701904 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 4321
/proc/meminfo: memFree=1838984/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=13072 CPUtime=0.69
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 3482 0 0 0 60 9 0 0 20 0 1 0 35778822 13385728 2538 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 3268 2538 387 719 0 2547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13072
[startup+1.50107 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4322
/proc/meminfo: memFree=1830048/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=14508 CPUtime=1.49
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 3874 0 0 0 130 19 0 0 23 0 1 0 35778822 14856192 2930 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 3627 2930 387 719 0 2906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14508
[startup+3.10142 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4322
/proc/meminfo: memFree=1827692/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=16732 CPUtime=3.09
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 4433 0 0 0 273 36 0 0 25 0 1 0 35778822 17133568 3489 1992294400 4194304 7136930 140735054638912 18446744073709551615 5950399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 4183 3489 387 719 0 3462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16732
[startup+6.3011 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4322
/proc/meminfo: memFree=1823352/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=20488 CPUtime=6.29
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 5407 0 0 0 565 64 0 0 25 0 1 0 35778822 20979712 4463 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 5122 4463 387 719 0 4401 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20488
[startup+12.7005 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4324
/proc/meminfo: memFree=1816408/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=26260 CPUtime=12.69
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 6901 0 0 0 1149 120 0 0 25 0 1 0 35778822 26890240 5957 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 6565 5957 387 719 0 5844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26260
[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4324
/proc/meminfo: memFree=1805000/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=37032 CPUtime=25.48
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 9673 0 0 0 2316 232 0 0 25 0 1 0 35778822 37920768 8729 1992294400 4194304 7136930 140735054638912 18446744073709551615 4238086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 9258 8729 387 719 0 8537 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37032
[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 4324
/proc/meminfo: memFree=1785780/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=57720 CPUtime=51.07
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 14511 0 0 0 4676 431 0 0 25 0 1 0 35778822 59105280 13567 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 14430 13567 387 719 0 13709 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57720
[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4326
/proc/meminfo: memFree=1764700/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=77676 CPUtime=102.26
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 19633 0 0 0 9507 719 0 0 25 0 1 0 35778822 79540224 18689 1992294400 4194304 7136930 140735054638912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 19419 18689 387 719 0 18698 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 77676
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4328
/proc/meminfo: memFree=1738412/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=107308 CPUtime=162.23
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 26177 0 0 0 15167 1056 0 0 25 0 1 0 35778822 109883392 25233 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 26827 25233 387 719 0 26106 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107308
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4328
/proc/meminfo: memFree=1727252/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=118620 CPUtime=222.21
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 29104 0 0 0 20942 1279 0 0 25 0 1 0 35778822 121466880 28160 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 29655 28160 387 719 0 28934 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 118620
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4330
/proc/meminfo: memFree=1724524/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=120740 CPUtime=282.19
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 29610 0 0 0 26824 1395 0 0 25 0 1 0 35778822 123637760 28666 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 30185 28666 387 719 0 29464 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 120740
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4332
/proc/meminfo: memFree=1714480/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=130704 CPUtime=342.17
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 32114 0 0 0 32652 1565 0 0 25 0 1 0 35778822 133840896 31170 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 32676 31170 387 719 0 31955 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 130704
[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4334
/proc/meminfo: memFree=1701708/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=142880 CPUtime=402.14
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 35282 0 0 0 38418 1796 0 0 25 0 1 0 35778822 146309120 34338 1992294400 4194304 7136930 140735054638912 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 35720 34338 387 719 0 34999 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 142880
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4336
/proc/meminfo: memFree=1695756/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=148444 CPUtime=462.12
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 36706 0 0 0 44247 1965 0 0 25 0 1 0 35778822 152006656 35762 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 37111 35762 387 719 0 36390 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 148444
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4336
/proc/meminfo: memFree=1692532/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=151692 CPUtime=522.1
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 37502 0 0 0 50124 2086 0 0 25 0 1 0 35778822 155332608 36558 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 37923 36558 387 719 0 37202 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 151692
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4338
/proc/meminfo: memFree=1692408/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=151692 CPUtime=582.08
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 37502 0 0 0 56031 2177 0 0 25 0 1 0 35778822 155332608 36558 1992294400 4194304 7136930 140735054638912 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 37923 36558 387 719 0 37202 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 151692
[startup+642.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4340
/proc/meminfo: memFree=1691788/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=152200 CPUtime=642.06
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 37631 0 0 0 61951 2255 0 0 25 0 1 0 35778822 155852800 36687 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38050 36687 387 719 0 37329 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 152200
[startup+702.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4348
/proc/meminfo: memFree=1688316/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=941.95
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 91624 2571 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 155948
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4350
/proc/meminfo: memFree=1688192/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1001.92
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 97518 2674 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 155948
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4352
/proc/meminfo: memFree=1688068/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1061.91
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 103441 2750 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 155948
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4352
/proc/meminfo: memFree=1687944/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1121.88
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 109369 2819 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 155948
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4354
/proc/meminfo: memFree=1687820/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1181.86
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 115301 2885 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 155948
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4356
/proc/meminfo: memFree=1687696/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1241.84
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 121245 2939 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 5950366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 155948
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4358
/proc/meminfo: memFree=1687448/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1301.82
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 127201 2981 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 155948
[startup+1362.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 4360
/proc/meminfo: memFree=1687448/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1361.8
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 133158 3022 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 155948
[startup+1422.31 s]
/proc/loadavg: 1.24 1.07 1.02 2/107 4360
/proc/meminfo: memFree=1687448/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=155948 CPUtime=1421.78
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38447 0 0 0 139123 3055 0 0 25 0 1 0 35778822 159690752 37503 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 38987 37503 387 719 0 38266 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 155948
[startup+1482.3 s]
/proc/loadavg: 1.14 1.07 1.02 2/107 4362
/proc/meminfo: memFree=1687324/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=156520 CPUtime=1481.75
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38487 0 0 0 145088 3087 0 0 25 0 1 0 35778822 160276480 37543 1992294400 4194304 7136930 140735054638912 18446744073709551615 4222964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 39130 37543 387 719 0 38409 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 156520
[startup+1542.3 s]
/proc/loadavg: 1.10 1.07 1.02 2/107 4373
/proc/meminfo: memFree=1686580/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=156748 CPUtime=1541.71
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38569 0 0 0 151055 3116 0 0 25 0 1 0 35778822 160509952 37625 1992294400 4194304 7136930 140735054638912 18446744073709551615 4219803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 39187 37625 387 719 0 38466 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 156748
[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 1.02 3/107 4375
/proc/meminfo: memFree=1686456/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=157220 CPUtime=1601.69
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38694 0 0 0 157026 3143 0 0 25 0 1 0 35778822 160993280 37750 1992294400 4194304 7136930 140735054638912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 39305 37750 387 719 0 38584 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 157220
[startup+1662.3 s]
/proc/loadavg: 1.07 1.07 1.02 2/107 4377
/proc/meminfo: memFree=1686456/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=157360 CPUtime=1661.66
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 38719 0 0 0 162999 3167 0 0 25 0 1 0 35778822 161136640 37775 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 39340 37775 387 719 0 38619 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 157360
[startup+1722.3 s]
/proc/loadavg: 1.07 1.07 1.02 2/107 4377
/proc/meminfo: memFree=1684844/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=159344 CPUtime=1721.64
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 39131 0 0 0 168977 3187 0 0 25 0 1 0 35778822 163168256 38187 1992294400 4194304 7136930 140735054638912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 39836 38187 387 719 0 39115 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 159344
[startup+1782.3 s]
/proc/loadavg: 1.06 1.06 1.02 2/107 4379
/proc/meminfo: memFree=1682984/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=161420 CPUtime=1781.62
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 39492 0 0 0 174954 3208 0 0 25 0 1 0 35778822 165294080 38548 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 40355 38548 387 719 0 39634 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 161420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.11 1.08 1.02 2/107 4379
/proc/meminfo: memFree=1682860/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=161420 CPUtime=1800.02
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 39536 0 0 0 176789 3213 0 0 25 0 1 0 35778822 165294080 38592 1992294400 4194304 7136930 140735054638912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4321/statm: 40355 38592 387 719 0 39634 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 161420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.11 1.08 1.02 2/107 4379
/proc/meminfo: memFree=1682860/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=161420 CPUtime=1800.31
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 39542 0 0 0 176818 3213 0 0 25 0 1 0 35778822 165294080 38598 1992294400 4194304 7136930 140735054638912 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4321/statm: 40355 38598 393 719 0 39634 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 161420
[startup+1801.4 s]
/proc/loadavg: 1.11 1.08 1.02 2/107 4379
/proc/meminfo: memFree=1682860/2059040 swapFree=4140252/4192956
[pid=4321] ppid=4319 vsize=109308 CPUtime=1800.71
/proc/4321/stat : 4321 (pbscip.linux.x8) R 4319 4321 3889 0 -1 4202496 39542 0 0 0 176857 3214 0 0 25 0 1 0 35778822 111931392 25570 1992294400 4194304 7136930 140735054638912 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4321/statm: 27327 25570 393 719 0 26606 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 109308
Child status: 0
Real time (s): 1801.44
CPU time (s): 1800.75
CPU user time (s): 1768.59
CPU system time (s): 32.1621
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 161420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.59
system time used= 32.1621
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39549
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= 6800
runsolver used 3.02854 second user time and 8.46671 second system time
The end