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-2664012-1276600895.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 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, 6 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, 6 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 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 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.01
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 | - | 211k| 0 | - | 40 | 5 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.20 c 1.1s| 10000 | 6049 | 0 | 0.0 |2466k| 26 | - | 40 | 304 | 0 | 0 | 0 | 382 | 0 | 0.000000e+00 | -- | Inf
2.39/2.49 c 2.2s| 20000 | 11660 | 0 | 0.0 |4584k| 26 | - | 40 | 603 | 0 | 0 | 0 | 820 | 0 | 0.000000e+00 | -- | Inf
3.79/3.83 c 3.4s| 30000 | 17983 | 0 | 0.0 |6772k| 27 | - | 40 | 810 | 0 | 0 | 0 |1195 | 0 | 0.000000e+00 | -- | Inf
5.29/5.32 c 4.7s| 40000 | 23418 | 0 | 0.0 |8838k| 27 | - | 40 | 948 | 0 | 0 | 0 |1645 | 0 | 0.000000e+00 | -- | Inf
6.89/6.97 c 6.2s| 50000 | 27979 | 0 | 0.0 | 10M| 27 | - | 40 |1110 | 0 | 0 | 0 |2181 | 0 | 0.000000e+00 | -- | Inf
8.79/8.87 c 8.0s| 60000 | 31348 | 0 | 0.0 | 12M| 27 | - | 40 |1359 | 0 | 0 | 0 |2929 | 0 | 0.000000e+00 | -- | Inf
10.69/10.79 c 9.7s| 70000 | 34694 | 0 | 0.0 | 14M| 27 | - | 40 |1515 | 0 | 0 | 0 |3677 | 0 | 0.000000e+00 | -- | Inf
12.19/12.27 c 11.1s| 80000 | 41556 | 0 | 0.0 | 16M| 27 | - | 40 |1464 | 0 | 0 | 0 |4034 | 0 | 0.000000e+00 | -- | Inf
13.69/13.77 c 12.4s| 90000 | 47907 | 0 | 0.0 | 18M| 27 | - | 40 |1363 | 0 | 0 | 0 |4424 | 0 | 0.000000e+00 | -- | Inf
15.19/15.29 c 13.8s|100000 | 53967 | 0 | 0.0 | 20M| 27 | - | 40 |1271 | 0 | 0 | 0 |4846 | 0 | 0.000000e+00 | -- | Inf
16.79/16.82 c 15.2s|110000 | 59729 | 0 | 0.0 | 22M| 27 | - | 40 |1101 | 0 | 0 | 0 |5274 | 0 | 0.000000e+00 | -- | Inf
18.29/18.32 c 16.6s|120000 | 65293 | 0 | 0.0 | 24M| 27 | - | 40 |1084 | 0 | 0 | 0 |5715 | 0 | 0.000000e+00 | -- | Inf
19.79/19.85 c 18.0s|130000 | 70554 | 0 | 0.0 | 26M| 27 | - | 40 | 956 | 0 | 0 | 0 |6188 | 0 | 0.000000e+00 | -- | Inf
21.29/21.36 c 19.3s|140000 | 75606 | 0 | 0.0 | 28M| 27 | - | 40 | 871 | 0 | 0 | 0 |6687 | 0 | 0.000000e+00 | -- | Inf
22.88/22.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.88/22.92 c 20.8s|150000 | 80241 | 0 | 0.0 | 30M| 27 | - | 40 | 834 | 0 | 0 | 0 |7227 | 0 | 0.000000e+00 | -- | Inf
24.38/24.46 c 22.2s|160000 | 84853 | 0 | 0.0 | 31M| 27 | - | 40 | 705 | 0 | 0 | 0 |7762 | 0 | 0.000000e+00 | -- | Inf
25.99/26.03 c 23.6s|170000 | 88966 | 0 | 0.0 | 33M| 27 | - | 40 | 810 | 0 | 0 | 0 |8384 | 0 | 0.000000e+00 | -- | Inf
27.59/27.62 c 25.0s|180000 | 92870 | 0 | 0.0 | 35M| 27 | - | 40 | 709 | 0 | 0 | 0 |8969 | 0 | 0.000000e+00 | -- | Inf
29.09/29.19 c 26.5s|190000 | 96776 | 0 | 0.0 | 37M| 27 | - | 40 | 714 | 0 | 0 | 0 |9674 | 0 | 0.000000e+00 | -- | Inf
30.88/30.91 c 28.1s|200000 |100077 | 0 | 0.0 | 38M| 27 | - | 40 | 895 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
32.58/32.63 c 29.6s|210000 |103578 | 0 | 0.0 | 40M| 27 | - | 40 | 903 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
34.29/34.34 c 31.2s|220000 |106969 | 0 | 0.0 | 42M| 27 | - | 40 | 913 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
36.19/36.23 c 32.9s|230000 |109637 | 0 | 0.0 | 43M| 27 | - | 40 |1027 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
38.08/38.10 c 34.7s|240000 |112299 | 0 | 0.0 | 45M| 28 | - | 40 |1051 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
39.98/40.04 c 36.5s|250000 |114608 | 0 | 0.0 | 46M| 28 | - | 40 |1143 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
41.98/42.06 c 38.3s|260000 |116448 | 0 | 0.0 | 48M| 28 | - | 40 |1169 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
44.08/44.15 c 40.2s|270000 |117831 | 0 | 0.0 | 49M| 28 | - | 40 |1472 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
45.98/46.01 c 42.0s|280000 |122117 | 0 | 0.0 | 51M| 29 | - | 40 |1366 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
47.28/47.38 c 43.2s|290000 |128954 | 0 | 0.0 | 53M| 29 | - | 40 |1186 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
48.78/48.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.78/48.83 c 44.5s|300000 |135554 | 0 | 0.0 | 55M| 29 | - | 40 |1220 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
50.28/50.34 c 45.9s|310000 |141905 | 0 | 0.0 | 57M| 29 | - | 40 |1411 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
51.78/51.87 c 47.3s|320000 |148159 | 0 | 0.0 | 59M| 29 | - | 40 |1309 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
53.37/53.46 c 48.7s|330000 |154260 | 0 | 0.0 | 61M| 29 | - | 40 |1426 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
54.88/54.99 c 50.1s|340000 |160366 | 0 | 0.0 | 63M| 29 | - | 40 |1237 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
56.47/56.59 c 51.6s|350000 |166167 | 0 | 0.0 | 65M| 29 | - | 40 |1528 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
58.18/58.26 c 53.1s|360000 |171888 | 0 | 0.0 | 67M| 29 | - | 40 |1534 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
59.77/59.84 c 54.6s|370000 |177676 | 0 | 0.0 | 69M| 29 | - | 40 |1404 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
61.37/61.44 c 56.0s|380000 |183352 | 0 | 0.0 | 71M| 29 | - | 40 |1214 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
63.07/63.13 c 57.6s|390000 |188784 | 0 | 0.0 | 73M| 29 | - | 40 |1544 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
64.77/64.83 c 59.1s|400000 |194206 | 0 | 0.0 | 75M| 29 | - | 40 |1478 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
66.47/66.53 c 60.7s|410000 |199517 | 0 | 0.0 | 77M| 29 | - | 40 |1484 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
68.08/68.15 c 62.2s|420000 |204879 | 0 | 0.0 | 79M| 29 | - | 40 |1249 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
69.77/69.80 c 63.7s|430000 |209928 | 0 | 0.0 | 81M| 29 | - | 40 |1079 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
71.37/71.40 c 65.2s|440000 |214770 | 0 | 0.0 | 82M| 29 | - | 40 | 916 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
72.86/72.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.86/72.98 c 66.6s|450000 |219615 | 0 | 0.0 | 84M| 29 | - | 40 |1083 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
74.57/74.69 c 68.2s|460000 |224500 | 0 | 0.0 | 86M| 29 | - | 40 |1359 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
76.36/76.43 c 69.8s|470000 |229408 | 0 | 0.0 | 88M| 29 | - | 40 |1488 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
78.07/78.19 c 71.4s|480000 |234370 | 0 | 0.0 | 90M| 29 | - | 40 |1372 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
79.86/79.99 c 73.1s|490000 |239004 | 0 | 0.0 | 92M| 29 | - | 40 |1488 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
81.77/81.88 c 74.8s|500000 |243328 | 0 | 0.0 | 93M| 29 | - | 40 |1269 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
83.66/83.73 c 76.5s|510000 |247607 | 0 | 0.0 | 95M| 29 | - | 40 |1366 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
85.46/85.52 c 78.2s|520000 |252041 | 0 | 0.0 | 97M| 29 | - | 40 |1129 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
87.16/87.21 c 79.7s|530000 |256574 | 0 | 0.0 | 99M| 29 | - | 40 |1064 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
88.86/88.94 c 81.3s|540000 |261156 | 0 | 0.0 | 101M| 29 | - | 40 |1320 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
90.66/90.77 c 83.0s|550000 |265627 | 0 | 0.0 | 102M| 29 | - | 40 |1515 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
92.56/92.65 c 84.7s|560000 |270186 | 0 | 0.0 | 104M| 29 | - | 40 |1560 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
94.56/94.67 c 86.6s|570000 |274269 | 0 | 0.0 | 106M| 29 | - | 40 |1731 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
96.67/96.78 c 88.5s|580000 |278148 | 0 | 0.0 | 108M| 29 | - | 40 |1790 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
98.87/98.99 c 90.6s|590000 |282039 | 0 | 0.0 | 110M| 29 | - | 40 |1856 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
100.96/101.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.96/101.08 c 92.5s|600000 |285957 | 0 | 0.0 | 111M| 29 | - | 40 |1551 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
102.96/103.09 c 94.4s|610000 |289835 | 0 | 0.0 | 113M| 29 | - | 40 |1602 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
104.96/105.08 c 96.2s|620000 |293749 | 0 | 0.0 | 115M| 29 | - | 40 |1368 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
106.85/106.94 c 98.0s|630000 |297682 | 0 | 0.0 | 116M| 29 | - | 40 |1097 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
108.66/108.73 c 99.6s|640000 |301594 | 0 | 0.0 | 118M| 29 | - | 40 |1179 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
110.56/110.62 c 101s|650000 |305435 | 0 | 0.0 | 120M| 29 | - | 40 |1449 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
112.45/112.56 c 103s|660000 |309228 | 0 | 0.0 | 122M| 29 | - | 40 |1488 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
114.66/114.75 c 105s|670000 |312380 | 0 | 0.0 | 123M| 29 | - | 40 |1637 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
116.96/117.06 c 107s|680000 |315451 | 0 | 0.0 | 125M| 29 | - | 40 |1942 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
119.35/119.41 c 110s|690000 |318596 | 0 | 0.0 | 126M| 29 | - | 40 |1763 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
121.66/121.71 c 112s|700000 |321788 | 0 | 0.0 | 128M| 29 | - | 40 |1995 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
123.95/124.05 c 114s|710000 |324969 | 0 | 0.0 | 130M| 29 | - | 40 |1784 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
126.15/126.27 c 116s|720000 |328152 | 0 | 0.0 | 131M| 29 | - | 40 |1383 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
128.25/128.39 c 118s|730000 |331330 | 0 | 0.0 | 133M| 29 | - | 40 |1471 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
130.35/130.45 c 120s|740000 |334512 | 0 | 0.0 | 134M| 29 | - | 40 |1291 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
132.35/132.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.35/132.42 c 122s|750000 |337788 | 0 | 0.0 | 136M| 29 | - | 40 |1126 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
134.35/134.42 c 124s|760000 |340901 | 0 | 0.0 | 138M| 29 | - | 40 |1418 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
136.45/136.58 c 126s|770000 |343733 | 0 | 0.0 | 139M| 29 | - | 40 |1694 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
138.95/139.04 c 128s|780000 |345857 | 0 | 0.0 | 141M| 29 | - | 40 |2025 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
141.55/141.63 c 130s|790000 |348147 | 0 | 0.0 | 142M| 29 | - | 40 |2109 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
144.25/144.35 c 133s|800000 |350426 | 0 | 0.0 | 144M| 29 | - | 40 |2291 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
146.95/147.00 c 135s|810000 |352703 | 0 | 0.0 | 145M| 29 | - | 40 |2084 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
149.56/149.65 c 138s|820000 |354978 | 0 | 0.0 | 147M| 29 | - | 40 |2116 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
152.05/152.13 c 140s|830000 |357333 | 0 | 0.0 | 148M| 29 | - | 40 |1604 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
154.35/154.46 c 142s|840000 |359872 | 0 | 0.0 | 150M| 29 | - | 40 |1737 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
156.75/156.81 c 145s|850000 |362503 | 0 | 0.0 | 151M| 29 | - | 40 |1679 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
159.04/159.11 c 147s|860000 |365120 | 0 | 0.0 | 153M| 29 | - | 40 |1737 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
161.65/161.75 c 149s|870000 |366881 | 0 | 0.0 | 154M| 29 | - | 40 |2050 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
164.55/164.67 c 152s|880000 |368202 | 0 | 0.0 | 155M| 29 | - | 40 |2307 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
167.53/167.60 c 155s|890000 |369703 | 0 | 0.0 | 156M| 29 | - | 40 |2414 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
170.45/170.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.45/170.51 c 158s|900000 |371334 | 0 | 0.0 | 158M| 29 | - | 40 |2420 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
173.14/173.24 c 160s|910000 |373328 | 0 | 0.0 | 159M| 29 | - | 40 |2290 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
176.23/176.30 c 163s|920000 |373960 | 0 | 0.0 | 160M| 32 | - | 40 |2823 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
179.94/180.04 c 167s|930000 |374112 | 0 | 0.0 | 161M| 32 | - | 40 |3359 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
185.13/185.24 c 172s|940000 |373157 | 0 | 0.0 | 162M| 32 | - | 40 |4492 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
187.93/188.03 c 174s|950000 |378651 | 0 | 0.0 | 163M| 32 | - | 40 |2748 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
189.83/189.93 c 176s|960000 |384881 | 0 | 0.0 | 165M| 32 | - | 40 |2766 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
191.83/191.93 c 178s|970000 |391068 | 0 | 0.0 | 167M| 32 | - | 40 |2722 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
193.83/193.93 c 180s|980000 |397068 | 0 | 0.0 | 169M| 32 | - | 40 |2678 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
195.93/196.02 c 182s|990000 |403083 | 0 | 0.0 | 171M| 32 | - | 40 |2829 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
198.03/198.16 c 184s| 1000k|408877 | 0 | 0.0 | 173M| 32 | - | 40 |2785 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
200.32/200.43 c 186s| 1010k|414558 | 0 | 0.0 | 175M| 32 | - | 40 |2771 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
202.43/202.57 c 188s| 1020k|420208 | 0 | 0.0 | 177M| 32 | - | 40 |2374 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
204.63/204.71 c 190s| 1030k|425921 | 0 | 0.0 | 178M| 32 | - | 40 |2714 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
206.83/206.98 c 192s| 1040k|431514 | 0 | 0.0 | 180M| 32 | - | 40 |2849 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
209.22/209.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.22/209.32 c 194s| 1050k|436981 | 0 | 0.0 | 182M| 32 | - | 40 |2785 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
211.52/211.62 c 196s| 1060k|442416 | 0 | 0.0 | 184M| 32 | - | 40 |2576 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
213.83/213.91 c 199s| 1070k|447836 | 0 | 0.0 | 186M| 32 | - | 40 |2661 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
216.02/216.18 c 201s| 1080k|453350 | 0 | 0.0 | 188M| 32 | - | 40 |2514 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
218.22/218.31 c 203s| 1090k|458802 | 0 | 0.0 | 190M| 32 | - | 40 |2467 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
220.43/220.58 c 205s| 1100k|464186 | 0 | 0.0 | 191M| 32 | - | 40 |2708 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
222.92/223.09 c 207s| 1110k|469214 | 0 | 0.0 | 193M| 32 | - | 40 |2832 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
225.52/225.65 c 210s| 1120k|474356 | 0 | 0.0 | 195M| 32 | - | 40 |2875 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
228.12/228.24 c 212s| 1130k|479547 | 0 | 0.0 | 197M| 32 | - | 40 |3010 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
230.72/230.81 c 214s| 1140k|484679 | 0 | 0.0 | 199M| 32 | - | 40 |2977 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
233.12/233.28 c 217s| 1150k|489864 | 0 | 0.0 | 201M| 32 | - | 40 |3009 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
235.72/235.82 c 219s| 1160k|494978 | 0 | 0.0 | 203M| 32 | - | 40 |3032 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
238.22/238.35 c 222s| 1170k|500041 | 0 | 0.0 | 204M| 32 | - | 40 |2688 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
240.62/240.76 c 224s| 1180k|505093 | 0 | 0.0 | 206M| 32 | - | 40 |2510 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
243.03/243.20 c 226s| 1190k|510075 | 0 | 0.0 | 208M| 32 | - | 40 |2792 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
245.61/245.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.61/245.79 c 229s| 1200k|514880 | 0 | 0.0 | 210M| 32 | - | 40 |3035 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
248.53/248.69 c 231s| 1210k|519527 | 0 | 0.0 | 211M| 32 | - | 40 |3226 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
251.42/251.54 c 234s| 1220k|524191 | 0 | 0.0 | 213M| 32 | - | 40 |3331 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
254.31/254.44 c 237s| 1230k|528829 | 0 | 0.0 | 215M| 32 | - | 40 |3385 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
257.23/257.33 c 240s| 1240k|533562 | 0 | 0.0 | 217M| 32 | - | 40 |3401 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
260.21/260.35 c 242s| 1250k|538228 | 0 | 0.0 | 218M| 32 | - | 40 |3413 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
263.11/263.23 c 245s| 1260k|542927 | 0 | 0.0 | 220M| 32 | - | 40 |3140 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
265.92/266.04 c 248s| 1270k|547628 | 0 | 0.0 | 222M| 32 | - | 40 |3074 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
268.71/268.87 c 250s| 1280k|552296 | 0 | 0.0 | 224M| 32 | - | 40 |3344 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
271.62/271.76 c 253s| 1290k|557049 | 0 | 0.0 | 225M| 32 | - | 40 |3386 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
274.41/274.60 c 256s| 1300k|561730 | 0 | 0.0 | 227M| 32 | - | 40 |3175 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
277.31/277.41 c 259s| 1310k|566424 | 0 | 0.0 | 229M| 32 | - | 40 |2763 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
279.91/280.01 c 261s| 1320k|570967 | 0 | 0.0 | 230M| 32 | - | 40 |2748 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
282.62/282.75 c 264s| 1330k|575517 | 0 | 0.0 | 232M| 32 | - | 40 |3010 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
285.61/285.78 c 266s| 1340k|579607 | 0 | 0.0 | 234M| 32 | - | 40 |3282 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
288.80/288.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.80/288.95 c 269s| 1350k|583706 | 0 | 0.0 | 236M| 32 | - | 40 |3374 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
292.00/292.19 c 273s| 1360k|587786 | 0 | 0.0 | 237M| 32 | - | 40 |3578 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
295.30/295.49 c 276s| 1370k|592008 | 0 | 0.0 | 239M| 32 | - | 40 |3515 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
298.60/298.79 c 279s| 1380k|596135 | 0 | 0.0 | 241M| 32 | - | 40 |3755 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
301.90/302.06 c 282s| 1390k|600304 | 0 | 0.0 | 242M| 32 | - | 40 |3602 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
305.00/305.20 c 285s| 1400k|604450 | 0 | 0.0 | 244M| 32 | - | 40 |3677 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
308.49/308.61 c 288s| 1410k|608594 | 0 | 0.0 | 246M| 32 | - | 40 |3939 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
311.90/312.08 c 292s| 1420k|612768 | 0 | 0.0 | 247M| 32 | - | 40 |4039 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
315.29/315.44 c 295s| 1430k|616905 | 0 | 0.0 | 249M| 32 | - | 40 |3907 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
318.60/318.75 c 298s| 1440k|621177 | 0 | 0.0 | 250M| 32 | - | 40 |3460 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
321.60/321.70 c 301s| 1450k|625460 | 0 | 0.0 | 252M| 32 | - | 40 |3373 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
324.59/324.71 c 304s| 1460k|629798 | 0 | 0.0 | 254M| 32 | - | 40 |2779 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
327.09/327.27 c 306s| 1470k|634105 | 0 | 0.0 | 255M| 32 | - | 40 |2468 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
329.59/329.76 c 308s| 1480k|638404 | 0 | 0.0 | 257M| 32 | - | 40 |2609 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
332.19/332.35 c 311s| 1490k|642680 | 0 | 0.0 | 258M| 32 | - | 40 |2695 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
334.79/334.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.79/334.92 c 313s| 1500k|646996 | 0 | 0.0 | 260M| 32 | - | 40 |2755 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
337.29/337.49 c 316s| 1510k|651326 | 0 | 0.0 | 262M| 32 | - | 40 |2554 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
340.08/340.26 c 318s| 1520k|655363 | 0 | 0.0 | 264M| 32 | - | 40 |2879 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
343.18/343.32 c 321s| 1530k|659133 | 0 | 0.0 | 265M| 32 | - | 40 |2995 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
346.40/346.51 c 324s| 1540k|662672 | 0 | 0.0 | 267M| 32 | - | 40 |3116 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
349.49/349.62 c 327s| 1550k|666236 | 0 | 0.0 | 268M| 32 | - | 40 |3043 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
352.89/353.04 c 330s| 1560k|669609 | 0 | 0.0 | 270M| 32 | - | 40 |3321 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
356.49/356.69 c 334s| 1570k|673055 | 0 | 0.0 | 271M| 32 | - | 40 |3707 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
360.18/360.32 c 337s| 1580k|676592 | 0 | 0.0 | 273M| 32 | - | 40 |3837 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
364.08/364.22 c 341s| 1590k|680065 | 0 | 0.0 | 275M| 32 | - | 40 |4089 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
367.98/368.11 c 345s| 1600k|683604 | 0 | 0.0 | 276M| 32 | - | 40 |3884 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
371.59/371.72 c 348s| 1610k|687146 | 0 | 0.0 | 278M| 32 | - | 40 |4077 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
375.68/375.86 c 352s| 1620k|690651 | 0 | 0.0 | 279M| 32 | - | 40 |4437 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
379.77/379.92 c 356s| 1630k|694246 | 0 | 0.0 | 281M| 32 | - | 40 |4345 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
383.68/383.80 c 360s| 1640k|697804 | 0 | 0.0 | 283M| 32 | - | 40 |4316 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
387.47/387.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.47/387.61 c 364s| 1650k|701421 | 0 | 0.0 | 284M| 32 | - | 40 |4019 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
391.28/391.43 c 367s| 1660k|705048 | 0 | 0.0 | 285M| 32 | - | 40 |3863 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
394.78/394.99 c 371s| 1670k|708711 | 0 | 0.0 | 287M| 32 | - | 40 |3328 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
398.18/398.38 c 374s| 1680k|712246 | 0 | 0.0 | 288M| 32 | - | 40 |3491 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
401.67/401.85 c 377s| 1690k|715732 | 0 | 0.0 | 290M| 32 | - | 40 |3649 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
405.07/405.24 c 381s| 1700k|719384 | 0 | 0.0 | 292M| 32 | - | 40 |3556 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
408.26/408.46 c 384s| 1710k|723038 | 0 | 0.0 | 293M| 32 | - | 40 |3208 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
411.56/411.70 c 387s| 1720k|726601 | 0 | 0.0 | 294M| 32 | - | 40 |2821 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
414.66/414.81 c 390s| 1730k|730222 | 0 | 0.0 | 296M| 32 | - | 40 |2574 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
417.67/417.82 c 393s| 1740k|733877 | 0 | 0.0 | 297M| 32 | - | 40 |2675 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
420.76/420.92 c 396s| 1750k|737686 | 0 | 0.0 | 299M| 32 | - | 40 |2420 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
423.56/423.72 c 398s| 1760k|741463 | 0 | 0.0 | 301M| 32 | - | 40 |2081 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
426.16/426.36 c 401s| 1770k|745219 | 0 | 0.0 | 302M| 32 | - | 40 |2054 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
428.96/429.11 c 403s| 1780k|748804 | 0 | 0.0 | 304M| 32 | - | 40 |2386 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
431.86/432.04 c 406s| 1790k|751987 | 0 | 0.0 | 305M| 32 | - | 40 |2602 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
434.96/435.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.96/435.15 c 409s| 1800k|754991 | 0 | 0.0 | 307M| 32 | - | 40 |2743 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
438.15/438.33 c 412s| 1810k|757920 | 0 | 0.0 | 308M| 32 | - | 40 |2925 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
441.65/441.81 c 415s| 1820k|760922 | 0 | 0.0 | 310M| 32 | - | 40 |3011 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
445.06/445.22 c 419s| 1830k|763908 | 0 | 0.0 | 311M| 32 | - | 40 |3134 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
448.66/448.86 c 422s| 1840k|767001 | 0 | 0.0 | 313M| 32 | - | 40 |3326 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
452.25/452.49 c 426s| 1850k|770029 | 0 | 0.0 | 314M| 32 | - | 40 |3088 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
455.65/455.87 c 429s| 1860k|773161 | 0 | 0.0 | 316M| 32 | - | 40 |2846 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
458.95/459.18 c 432s| 1870k|776143 | 0 | 0.0 | 317M| 32 | - | 40 |2802 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
462.15/462.36 c 435s| 1880k|779295 | 0 | 0.0 | 319M| 32 | - | 40 |2591 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
465.24/465.48 c 438s| 1890k|782464 | 0 | 0.0 | 320M| 32 | - | 40 |2434 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
468.05/468.28 c 441s| 1900k|785586 | 0 | 0.0 | 321M| 32 | - | 40 |2112 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
470.85/471.06 c 443s| 1910k|788610 | 0 | 0.0 | 323M| 32 | - | 40 |2356 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
473.85/474.07 c 446s| 1920k|791514 | 0 | 0.0 | 324M| 32 | - | 40 |2663 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
476.94/477.18 c 449s| 1930k|794530 | 0 | 0.0 | 326M| 32 | - | 40 |2707 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
480.25/480.42 c 452s| 1940k|797437 | 0 | 0.0 | 327M| 32 | - | 40 |3087 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
483.94/484.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.94/484.15 c 456s| 1950k|800259 | 0 | 0.0 | 329M| 32 | - | 40 |3486 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
487.55/487.77 c 459s| 1960k|803270 | 0 | 0.0 | 330M| 32 | - | 40 |3585 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
491.24/491.46 c 463s| 1970k|806405 | 0 | 0.0 | 332M| 32 | - | 40 |3742 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
495.44/495.64 c 467s| 1980k|809302 | 0 | 0.0 | 334M| 32 | - | 40 |4122 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
499.44/499.65 c 471s| 1990k|812414 | 0 | 0.0 | 335M| 32 | - | 40 |4135 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
503.43/503.70 c 475s| 2000k|815553 | 0 | 0.0 | 336M| 32 | - | 40 |4011 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
507.43/507.66 c 478s| 2010k|818670 | 0 | 0.0 | 338M| 32 | - | 40 |4155 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
511.54/511.79 c 482s| 2020k|821848 | 0 | 0.0 | 339M| 32 | - | 40 |4034 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
515.64/515.80 c 486s| 2030k|825024 | 0 | 0.0 | 341M| 32 | - | 40 |4122 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
519.84/520.07 c 490s| 2040k|828073 | 0 | 0.0 | 343M| 32 | - | 40 |4360 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
524.03/524.26 c 494s| 2050k|831179 | 0 | 0.0 | 344M| 32 | - | 40 |4380 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
528.13/528.36 c 498s| 2060k|834345 | 0 | 0.0 | 346M| 32 | - | 40 |4202 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
532.53/532.71 c 503s| 2070k|837460 | 0 | 0.0 | 347M| 32 | - | 40 |4162 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
536.83/537.07 c 507s| 2080k|840462 | 0 | 0.0 | 348M| 32 | - | 40 |3900 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
540.93/541.18 c 511s| 2090k|843341 | 0 | 0.0 | 350M| 32 | - | 40 |3891 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
544.93/545.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.93/545.12 c 515s| 2100k|846358 | 0 | 0.0 | 351M| 32 | - | 40 |3545 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
548.74/548.92 c 518s| 2110k|849422 | 0 | 0.0 | 352M| 32 | - | 40 |3213 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
552.42/552.62 c 522s| 2120k|852385 | 0 | 0.0 | 354M| 32 | - | 40 |3284 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
556.22/556.44 c 525s| 2130k|855193 | 0 | 0.0 | 355M| 32 | - | 40 |3544 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
560.42/560.68 c 529s| 2140k|857307 | 0 | 0.0 | 357M| 32 | - | 40 |4028 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
564.93/565.15 c 534s| 2150k|859536 | 0 | 0.0 | 358M| 32 | - | 40 |4008 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
569.53/569.70 c 538s| 2160k|861725 | 0 | 0.0 | 360M| 32 | - | 40 |4159 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
574.12/574.30 c 543s| 2170k|863989 | 0 | 0.0 | 361M| 32 | - | 40 |4318 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
578.91/579.10 c 547s| 2180k|866241 | 0 | 0.0 | 362M| 32 | - | 40 |4253 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
583.42/583.61 c 552s| 2190k|868551 | 0 | 0.0 | 363M| 32 | - | 40 |4062 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
587.92/588.15 c 556s| 2200k|870766 | 0 | 0.0 | 365M| 32 | - | 40 |4245 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
592.51/592.77 c 560s| 2210k|872985 | 0 | 0.0 | 366M| 32 | - | 40 |3954 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
596.82/597.07 c 565s| 2220k|875297 | 0 | 0.0 | 367M| 32 | - | 40 |3661 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
600.71/600.98 c 568s| 2230k|877675 | 0 | 0.0 | 368M| 32 | - | 40 |3123 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
604.61/604.88 c 572s| 2240k|879856 | 0 | 0.0 | 370M| 32 | - | 40 |3543 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
608.71/608.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.71/608.98 c 576s| 2250k|882023 | 0 | 0.0 | 371M| 32 | - | 40 |3534 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
612.81/613.06 c 580s| 2260k|884225 | 0 | 0.0 | 372M| 32 | - | 40 |3663 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
616.82/617.06 c 584s| 2270k|886560 | 0 | 0.0 | 374M| 32 | - | 40 |3406 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
620.80/621.05 c 588s| 2280k|888867 | 0 | 0.0 | 375M| 32 | - | 40 |3787 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
624.80/625.07 c 592s| 2290k|891293 | 0 | 0.0 | 377M| 32 | - | 40 |3635 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
628.71/628.96 c 595s| 2300k|893730 | 0 | 0.0 | 378M| 32 | - | 40 |3422 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
632.70/632.91 c 599s| 2310k|896173 | 0 | 0.0 | 379M| 32 | - | 40 |3555 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
636.50/636.79 c 603s| 2320k|898690 | 0 | 0.0 | 381M| 32 | - | 40 |3327 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
640.10/640.40 c 606s| 2330k|901258 | 0 | 0.0 | 382M| 32 | - | 40 |2720 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
643.50/643.74 c 609s| 2340k|903704 | 0 | 0.0 | 383M| 32 | - | 40 |2853 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
646.89/647.15 c 613s| 2350k|906264 | 0 | 0.0 | 384M| 32 | - | 40 |2575 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
650.09/650.36 c 616s| 2360k|908857 | 0 | 0.0 | 386M| 32 | - | 40 |2397 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
653.21/653.41 c 619s| 2370k|911474 | 0 | 0.0 | 387M| 32 | - | 40 |2275 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
656.20/656.47 c 622s| 2380k|913893 | 0 | 0.0 | 389M| 32 | - | 40 |2617 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
659.50/659.76 c 625s| 2390k|916270 | 0 | 0.0 | 390M| 32 | - | 40 |2889 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
663.20/663.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.20/663.41 c 628s| 2400k|918498 | 0 | 0.0 | 392M| 32 | - | 40 |3298 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
667.20/667.42 c 632s| 2410k|920741 | 0 | 0.0 | 393M| 32 | - | 40 |3568 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
671.49/671.70 c 636s| 2420k|922990 | 0 | 0.0 | 394M| 32 | - | 40 |3727 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
675.69/675.94 c 640s| 2430k|925225 | 0 | 0.0 | 396M| 32 | - | 40 |3736 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
679.89/680.16 c 644s| 2440k|927564 | 0 | 0.0 | 397M| 32 | - | 40 |3962 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
684.29/684.51 c 649s| 2450k|929971 | 0 | 0.0 | 399M| 32 | - | 40 |4066 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
688.79/689.09 c 653s| 2460k|932287 | 0 | 0.0 | 400M| 32 | - | 40 |4427 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
693.49/693.79 c 658s| 2470k|934599 | 0 | 0.0 | 401M| 32 | - | 40 |4669 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
698.38/698.62 c 662s| 2480k|936948 | 0 | 0.0 | 403M| 32 | - | 40 |4631 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
703.29/703.59 c 667s| 2490k|939248 | 0 | 0.0 | 404M| 32 | - | 40 |4676 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
708.38/708.62 c 672s| 2500k|941454 | 0 | 0.0 | 405M| 32 | - | 40 |4464 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
713.28/713.53 c 677s| 2510k|943668 | 0 | 0.0 | 407M| 32 | - | 40 |4441 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
717.88/718.11 c 681s| 2520k|946014 | 0 | 0.0 | 408M| 32 | - | 40 |3913 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
722.39/722.67 c 686s| 2530k|948220 | 0 | 0.0 | 409M| 32 | - | 40 |4169 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
727.28/727.56 c 690s| 2540k|950017 | 0 | 0.0 | 411M| 32 | - | 40 |4608 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
732.68/732.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.68/732.97 c 696s| 2550k|951382 | 0 | 0.0 | 412M| 32 | - | 40 |4908 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
738.38/738.63 c 701s| 2560k|952909 | 0 | 0.0 | 413M| 32 | - | 40 |4981 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
744.07/744.36 c 707s| 2570k|954340 | 0 | 0.0 | 414M| 32 | - | 40 |5066 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
749.67/749.98 c 712s| 2580k|955834 | 0 | 0.0 | 415M| 32 | - | 40 |4999 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
755.47/755.73 c 718s| 2590k|957339 | 0 | 0.0 | 416M| 32 | - | 40 |4941 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
760.97/761.26 c 723s| 2600k|958873 | 0 | 0.0 | 418M| 32 | - | 40 |4717 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
766.47/766.72 c 728s| 2610k|960252 | 0 | 0.0 | 419M| 32 | - | 40 |4943 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
772.16/772.41 c 734s| 2620k|961626 | 0 | 0.0 | 420M| 32 | - | 40 |5161 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
777.86/778.14 c 740s| 2630k|963089 | 0 | 0.0 | 421M| 32 | - | 40 |5019 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
783.76/784.02 c 745s| 2640k|964588 | 0 | 0.0 | 422M| 32 | - | 40 |5069 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
789.36/789.67 c 751s| 2650k|966093 | 0 | 0.0 | 423M| 32 | - | 40 |4950 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
794.97/795.28 c 756s| 2660k|967705 | 0 | 0.0 | 424M| 32 | - | 40 |4757 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
800.25/800.59 c 761s| 2670k|969416 | 0 | 0.0 | 426M| 32 | - | 40 |4440 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
805.25/805.56 c 766s| 2680k|971068 | 0 | 0.0 | 427M| 32 | - | 40 |4195 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
809.95/810.24 c 771s| 2690k|972707 | 0 | 0.0 | 428M| 32 | - | 40 |3722 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
814.15/814.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.15/814.47 c 775s| 2700k|974462 | 0 | 0.0 | 429M| 32 | - | 40 |3515 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
818.65/818.92 c 779s| 2710k|975934 | 0 | 0.0 | 430M| 32 | - | 40 |3907 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
823.25/823.53 c 784s| 2720k|977701 | 0 | 0.0 | 431M| 32 | - | 40 |4161 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
828.06/828.33 c 788s| 2730k|979450 | 0 | 0.0 | 433M| 32 | - | 40 |4203 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
832.65/832.96 c 793s| 2740k|981296 | 0 | 0.0 | 434M| 32 | - | 40 |4507 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
837.65/837.91 c 797s| 2750k|983118 | 0 | 0.0 | 435M| 32 | - | 40 |4405 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
842.36/842.63 c 802s| 2760k|984955 | 0 | 0.0 | 437M| 32 | - | 40 |4603 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
847.15/847.44 c 807s| 2770k|986881 | 0 | 0.0 | 438M| 32 | - | 40 |4169 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
851.54/851.88 c 811s| 2780k|988763 | 0 | 0.0 | 439M| 32 | - | 40 |3884 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
855.95/856.22 c 815s| 2790k|990660 | 0 | 0.0 | 440M| 32 | - | 40 |3665 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
860.04/860.37 c 819s| 2800k|992588 | 0 | 0.0 | 441M| 32 | - | 40 |3585 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
863.94/864.27 c 823s| 2810k|994556 | 0 | 0.0 | 443M| 32 | - | 40 |3357 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
868.14/868.49 c 827s| 2820k|996266 | 0 | 0.0 | 444M| 32 | - | 40 |3658 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
872.93/873.23 c 832s| 2830k|997569 | 0 | 0.0 | 445M| 32 | - | 40 |3850 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
877.83/878.16 c 836s| 2840k|998970 | 0 | 0.0 | 446M| 32 | - | 40 |3960 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
882.63/882.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.63/882.97 c 841s| 2850k| 1000k| 0 | 0.0 | 447M| 32 | - | 40 |4013 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
887.53/887.81 c 846s| 2860k| 1001k| 0 | 0.0 | 449M| 32 | - | 40 |4173 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
892.43/892.75 c 850s| 2870k| 1003k| 0 | 0.0 | 450M| 32 | - | 40 |4487 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
897.63/897.97 c 856s| 2880k| 1004k| 0 | 0.0 | 451M| 32 | - | 40 |4588 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
902.84/903.18 c 861s| 2890k| 1006k| 0 | 0.0 | 452M| 32 | - | 40 |4666 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
908.03/908.34 c 866s| 2900k| 1008k| 0 | 0.0 | 454M| 32 | - | 40 |4553 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
913.62/913.90 c 871s| 2910k| 1009k| 0 | 0.0 | 455M| 32 | - | 40 |5078 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
919.92/920.30 c 877s| 2920k| 1009k| 0 | 0.0 | 456M| 32 | - | 40 |5616 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
926.32/926.69 c 884s| 2930k| 1010k| 0 | 0.0 | 457M| 32 | - | 40 |5784 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
933.32/933.63 c 890s| 2940k| 1011k| 0 | 0.0 | 458M| 32 | - | 40 |6349 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
940.31/940.68 c 897s| 2950k| 1012k| 0 | 0.0 | 459M| 32 | - | 40 |6379 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
947.61/947.97 c 904s| 2960k| 1012k| 0 | 0.0 | 460M| 32 | - | 40 |6349 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
954.81/955.15 c 911s| 2970k| 1013k| 0 | 0.0 | 461M| 32 | - | 40 |6661 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
962.01/962.38 c 918s| 2980k| 1014k| 0 | 0.0 | 462M| 32 | - | 40 |6609 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
969.11/969.45 c 925s| 2990k| 1015k| 0 | 0.0 | 463M| 32 | - | 40 |6055 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
975.41/975.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.41/975.75 c 932s| 3000k| 1017k| 0 | 0.0 | 464M| 32 | - | 40 |5426 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
981.40/981.77 c 937s| 3010k| 1018k| 0 | 0.0 | 465M| 32 | - | 40 |5504 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
987.30/987.61 c 943s| 3020k| 1019k| 0 | 0.0 | 466M| 32 | - | 40 |5311 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
992.70/993.09 c 948s| 3030k| 1021k| 0 | 0.0 | 467M| 32 | - | 40 |5203 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
998.51/998.86 c 954s| 3040k| 1022k| 0 | 0.0 | 468M| 32 | - | 40 |5093 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1005.30/1005.60 c 961s| 3050k| 1022k| 0 | 0.0 | 469M| 32 | - | 40 |5283 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1012.20/1012.53 c 967s| 3060k| 1023k| 0 | 0.0 | 470M| 32 | - | 40 |5458 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1018.80/1019.17 c 974s| 3070k| 1023k| 0 | 0.0 | 471M| 32 | - | 40 |5595 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1025.49/1025.84 c 980s| 3080k| 1024k| 0 | 0.0 | 472M| 32 | - | 40 |5622 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1033.09/1033.49 c 988s| 3090k| 1024k| 0 | 0.0 | 473M| 33 | - | 40 |6135 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1042.99/1043.31 c 998s| 3100k| 1023k| 0 | 0.0 | 473M| 33 | - | 40 |6993 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1051.79/1052.15 c 1006s| 3110k| 1023k| 0 | 0.0 | 474M| 33 | - | 40 |7322 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1062.20/1062.55 c 1016s| 3120k| 1023k| 0 | 0.0 | 474M| 33 | - | 40 |8035 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1073.38/1073.75 c 1027s| 3130k| 1022k| 0 | 0.0 | 475M| 33 | - | 40 |8699 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1086.28/1086.69 c 1040s| 3140k| 1022k| 0 | 0.0 | 476M| 33 | - | 40 |9542 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1105.37/1105.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.37/1105.74 c 1059s| 3150k| 1019k| 0 | 0.0 | 476M| 33 | - | 40 | 10k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1117.47/1117.81 c 1071s| 3160k| 1021k| 0 | 0.0 | 477M| 33 | - | 40 |7388 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1120.87/1121.24 c 1074s| 3170k| 1028k| 0 | 0.0 | 478M| 33 | - | 40 |6182 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1124.26/1124.64 c 1077s| 3180k| 1034k| 0 | 0.0 | 480M| 33 | - | 40 |5967 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1127.76/1128.19 c 1081s| 3190k| 1040k| 0 | 0.0 | 482M| 33 | - | 40 |6178 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1131.47/1131.88 c 1084s| 3200k| 1046k| 0 | 0.0 | 484M| 33 | - | 40 |6278 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1135.17/1135.52 c 1088s| 3210k| 1052k| 0 | 0.0 | 486M| 33 | - | 40 |6147 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1138.97/1139.36 c 1092s| 3220k| 1058k| 0 | 0.0 | 488M| 33 | - | 40 |6378 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1143.07/1143.46 c 1096s| 3230k| 1064k| 0 | 0.0 | 490M| 33 | - | 40 |6373 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1146.86/1147.30 c 1099s| 3240k| 1070k| 0 | 0.0 | 491M| 33 | - | 40 |6094 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1150.96/1151.30 c 1103s| 3250k| 1076k| 0 | 0.0 | 493M| 33 | - | 40 |6160 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1154.86/1155.21 c 1107s| 3260k| 1082k| 0 | 0.0 | 495M| 33 | - | 40 |6097 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1159.06/1159.40 c 1111s| 3270k| 1087k| 0 | 0.0 | 497M| 33 | - | 40 |6311 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1163.16/1163.59 c 1115s| 3280k| 1093k| 0 | 0.0 | 499M| 33 | - | 40 |6289 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1167.35/1167.75 c 1119s| 3290k| 1099k| 0 | 0.0 | 501M| 33 | - | 40 |6081 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1171.56/1171.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.56/1171.93 c 1123s| 3300k| 1104k| 0 | 0.0 | 502M| 33 | - | 40 |6230 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1175.76/1176.12 c 1127s| 3310k| 1110k| 0 | 0.0 | 504M| 33 | - | 40 |5990 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1179.96/1180.35 c 1131s| 3320k| 1116k| 0 | 0.0 | 506M| 33 | - | 40 |5874 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1183.95/1184.39 c 1135s| 3330k| 1121k| 0 | 0.0 | 508M| 33 | - | 40 |5632 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1188.04/1188.49 c 1139s| 3340k| 1127k| 0 | 0.0 | 510M| 33 | - | 40 |5901 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1192.45/1192.88 c 1143s| 3350k| 1132k| 0 | 0.0 | 512M| 33 | - | 40 |6123 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1197.05/1197.44 c 1148s| 3360k| 1137k| 0 | 0.0 | 513M| 33 | - | 40 |6222 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1201.45/1201.80 c 1152s| 3370k| 1142k| 0 | 0.0 | 515M| 33 | - | 40 |6063 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1205.94/1206.34 c 1156s| 3380k| 1148k| 0 | 0.0 | 517M| 33 | - | 40 |6309 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1210.44/1210.90 c 1161s| 3390k| 1153k| 0 | 0.0 | 519M| 33 | - | 40 |6222 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1215.04/1215.49 c 1165s| 3400k| 1158k| 0 | 0.0 | 521M| 33 | - | 40 |6160 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1219.64/1220.00 c 1170s| 3410k| 1164k| 0 | 0.0 | 522M| 33 | - | 40 |5916 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1224.14/1224.54 c 1174s| 3420k| 1169k| 0 | 0.0 | 524M| 33 | - | 40 |6195 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1228.84/1229.24 c 1178s| 3430k| 1174k| 0 | 0.0 | 526M| 33 | - | 40 |5990 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1233.34/1233.76 c 1183s| 3440k| 1180k| 0 | 0.0 | 528M| 33 | - | 40 |5806 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1237.54/1237.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.54/1237.95 c 1187s| 3450k| 1185k| 0 | 0.0 | 529M| 33 | - | 40 |5607 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1241.93/1242.38 c 1191s| 3460k| 1190k| 0 | 0.0 | 531M| 33 | - | 40 |5531 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1246.14/1246.54 c 1195s| 3470k| 1196k| 0 | 0.0 | 533M| 33 | - | 40 |5064 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1250.13/1250.50 c 1199s| 3480k| 1201k| 0 | 0.0 | 535M| 33 | - | 40 |5335 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1254.33/1254.70 c 1203s| 3490k| 1206k| 0 | 0.0 | 537M| 33 | - | 40 |5647 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1258.93/1259.37 c 1208s| 3500k| 1211k| 0 | 0.0 | 538M| 33 | - | 40 |5824 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1263.54/1263.96 c 1212s| 3510k| 1216k| 0 | 0.0 | 540M| 33 | - | 40 |5793 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1268.23/1268.69 c 1217s| 3520k| 1221k| 0 | 0.0 | 542M| 33 | - | 40 |6004 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1273.03/1273.45 c 1221s| 3530k| 1225k| 0 | 0.0 | 544M| 33 | - | 40 |5949 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1277.83/1278.24 c 1226s| 3540k| 1230k| 0 | 0.0 | 546M| 33 | - | 40 |6004 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1282.52/1283.00 c 1230s| 3550k| 1235k| 0 | 0.0 | 547M| 33 | - | 40 |5873 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1287.22/1287.63 c 1235s| 3560k| 1240k| 0 | 0.0 | 549M| 33 | - | 40 |6160 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1292.02/1292.43 c 1240s| 3570k| 1245k| 0 | 0.0 | 551M| 33 | - | 40 |6140 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1297.01/1297.40 c 1244s| 3580k| 1251k| 0 | 0.0 | 553M| 33 | - | 40 |5924 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1301.81/1302.22 c 1249s| 3590k| 1256k| 0 | 0.0 | 554M| 33 | - | 40 |6063 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1306.62/1307.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.62/1307.07 c 1254s| 3600k| 1260k| 0 | 0.0 | 556M| 33 | - | 40 |5850 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1311.21/1311.68 c 1258s| 3610k| 1265k| 0 | 0.0 | 558M| 33 | - | 40 |5724 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1316.01/1316.48 c 1263s| 3620k| 1271k| 0 | 0.0 | 559M| 33 | - | 40 |5957 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1320.91/1321.32 c 1268s| 3630k| 1276k| 0 | 0.0 | 561M| 33 | - | 40 |5849 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1325.51/1325.90 c 1272s| 3640k| 1281k| 0 | 0.0 | 563M| 33 | - | 40 |5744 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1330.01/1330.45 c 1276s| 3650k| 1286k| 0 | 0.0 | 565M| 33 | - | 40 |5925 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1334.70/1335.10 c 1281s| 3660k| 1291k| 0 | 0.0 | 566M| 33 | - | 40 |5875 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1339.10/1339.53 c 1285s| 3670k| 1296k| 0 | 0.0 | 568M| 33 | - | 40 |5862 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1343.61/1344.07 c 1290s| 3680k| 1301k| 0 | 0.0 | 570M| 33 | - | 40 |5875 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1348.00/1348.45 c 1294s| 3690k| 1306k| 0 | 0.0 | 572M| 33 | - | 40 |5380 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1352.20/1352.62 c 1298s| 3700k| 1311k| 0 | 0.0 | 573M| 33 | - | 40 |4965 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1356.50/1356.91 c 1302s| 3710k| 1316k| 0 | 0.0 | 575M| 33 | - | 40 |5221 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1361.09/1361.54 c 1307s| 3720k| 1321k| 0 | 0.0 | 577M| 33 | - | 40 |5291 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1365.59/1366.03 c 1311s| 3730k| 1326k| 0 | 0.0 | 578M| 33 | - | 40 |5138 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1370.11/1370.56 c 1315s| 3740k| 1331k| 0 | 0.0 | 580M| 33 | - | 40 |5238 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1374.70/1375.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.70/1375.10 c 1320s| 3750k| 1335k| 0 | 0.0 | 582M| 33 | - | 40 |4994 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1379.00/1379.45 c 1324s| 3760k| 1340k| 0 | 0.0 | 583M| 33 | - | 40 |4554 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1383.19/1383.68 c 1328s| 3770k| 1345k| 0 | 0.0 | 585M| 33 | - | 40 |4586 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1387.19/1387.69 c 1332s| 3780k| 1350k| 0 | 0.0 | 587M| 33 | - | 40 |4658 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1391.39/1391.80 c 1336s| 3790k| 1354k| 0 | 0.0 | 588M| 33 | - | 40 |4353 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1395.39/1395.83 c 1340s| 3800k| 1359k| 0 | 0.0 | 590M| 33 | - | 40 |4329 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1399.08/1399.56 c 1343s| 3810k| 1364k| 0 | 0.0 | 592M| 33 | - | 40 |3595 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1402.68/1403.17 c 1347s| 3820k| 1368k| 0 | 0.0 | 593M| 33 | - | 40 |3793 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1406.38/1406.83 c 1350s| 3830k| 1373k| 0 | 0.0 | 595M| 33 | - | 40 |3881 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1410.18/1410.66 c 1354s| 3840k| 1377k| 0 | 0.0 | 597M| 33 | - | 40 |4063 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1413.88/1414.38 c 1358s| 3850k| 1382k| 0 | 0.0 | 598M| 33 | - | 40 |4146 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1417.78/1418.29 c 1361s| 3860k| 1386k| 0 | 0.0 | 600M| 33 | - | 40 |4435 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1421.89/1422.37 c 1365s| 3870k| 1391k| 0 | 0.0 | 602M| 33 | - | 40 |4587 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1425.97/1426.45 c 1369s| 3880k| 1395k| 0 | 0.0 | 604M| 33 | - | 40 |4546 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1430.27/1430.73 c 1373s| 3890k| 1400k| 0 | 0.0 | 605M| 33 | - | 40 |4810 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1434.57/1435.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.57/1435.09 c 1377s| 3900k| 1404k| 0 | 0.0 | 607M| 33 | - | 40 |4881 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1439.07/1439.54 c 1382s| 3910k| 1409k| 0 | 0.0 | 609M| 33 | - | 40 |4792 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1443.47/1443.93 c 1386s| 3920k| 1414k| 0 | 0.0 | 610M| 33 | - | 40 |4984 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1447.87/1448.36 c 1390s| 3930k| 1418k| 0 | 0.0 | 612M| 33 | - | 40 |4922 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1452.36/1452.80 c 1395s| 3940k| 1423k| 0 | 0.0 | 614M| 33 | - | 40 |5040 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1456.97/1457.41 c 1399s| 3950k| 1427k| 0 | 0.0 | 615M| 33 | - | 40 |5353 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1461.76/1462.25 c 1404s| 3960k| 1432k| 0 | 0.0 | 617M| 33 | - | 40 |5272 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1466.46/1466.93 c 1408s| 3970k| 1437k| 0 | 0.0 | 619M| 33 | - | 40 |5329 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1471.17/1471.66 c 1413s| 3980k| 1441k| 0 | 0.0 | 621M| 33 | - | 40 |5447 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1475.86/1476.33 c 1417s| 3990k| 1446k| 0 | 0.0 | 622M| 33 | - | 40 |5337 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1480.56/1481.02 c 1422s| 4000k| 1451k| 0 | 0.0 | 624M| 33 | - | 40 |5466 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1485.26/1485.71 c 1426s| 4010k| 1455k| 0 | 0.0 | 626M| 33 | - | 40 |5245 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1489.86/1490.34 c 1431s| 4020k| 1460k| 0 | 0.0 | 627M| 33 | - | 40 |5127 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1494.46/1494.92 c 1435s| 4030k| 1464k| 0 | 0.0 | 629M| 33 | - | 40 |5368 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1499.25/1499.74 c 1440s| 4040k| 1469k| 0 | 0.0 | 631M| 33 | - | 40 |5588 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1504.05/1504.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.05/1504.50 c 1445s| 4050k| 1474k| 0 | 0.0 | 632M| 33 | - | 40 |5514 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1508.95/1509.42 c 1449s| 4060k| 1478k| 0 | 0.0 | 634M| 33 | - | 40 |5645 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1514.05/1514.51 c 1454s| 4070k| 1482k| 0 | 0.0 | 636M| 33 | - | 40 |5833 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1519.55/1520.03 c 1460s| 4080k| 1486k| 0 | 0.0 | 637M| 33 | - | 40 |5968 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1524.85/1525.31 c 1465s| 4090k| 1491k| 0 | 0.0 | 639M| 33 | - | 40 |5748 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1530.15/1530.62 c 1470s| 4100k| 1495k| 0 | 0.0 | 641M| 33 | - | 40 |5411 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1535.24/1535.78 c 1475s| 4110k| 1499k| 0 | 0.0 | 642M| 33 | - | 40 |5570 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1540.25/1540.73 c 1480s| 4120k| 1503k| 0 | 0.0 | 644M| 33 | - | 40 |5695 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1545.34/1545.84 c 1485s| 4130k| 1507k| 0 | 0.0 | 645M| 33 | - | 40 |5423 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1550.44/1550.96 c 1490s| 4140k| 1511k| 0 | 0.0 | 647M| 33 | - | 40 |4615 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1554.95/1555.47 c 1494s| 4150k| 1516k| 0 | 0.0 | 648M| 33 | - | 40 |4449 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1559.74/1560.24 c 1499s| 4160k| 1520k| 0 | 0.0 | 650M| 33 | - | 40 |4798 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1564.64/1565.10 c 1504s| 4170k| 1524k| 0 | 0.0 | 652M| 33 | - | 40 |4890 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1569.43/1569.90 c 1508s| 4180k| 1528k| 0 | 0.0 | 653M| 33 | - | 40 |4941 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1574.13/1574.69 c 1513s| 4190k| 1532k| 0 | 0.0 | 655M| 33 | - | 40 |4985 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1578.83/1579.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.83/1579.33 c 1517s| 4200k| 1536k| 0 | 0.0 | 656M| 33 | - | 40 |4968 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1583.54/1584.06 c 1522s| 4210k| 1540k| 0 | 0.0 | 658M| 33 | - | 40 |5018 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1588.12/1588.66 c 1526s| 4220k| 1544k| 0 | 0.0 | 660M| 33 | - | 40 |4712 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1592.82/1593.37 c 1531s| 4230k| 1548k| 0 | 0.0 | 661M| 33 | - | 40 |4695 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1597.43/1597.96 c 1535s| 4240k| 1553k| 0 | 0.0 | 663M| 33 | - | 40 |4944 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1602.14/1602.66 c 1540s| 4250k| 1557k| 0 | 0.0 | 664M| 33 | - | 40 |4738 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1606.82/1607.34 c 1544s| 4260k| 1561k| 0 | 0.0 | 666M| 33 | - | 40 |4746 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1611.13/1611.69 c 1549s| 4270k| 1565k| 0 | 0.0 | 668M| 33 | - | 40 |4248 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1615.43/1615.91 c 1553s| 4280k| 1570k| 0 | 0.0 | 669M| 33 | - | 40 |3960 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1619.12/1619.69 c 1556s| 4290k| 1574k| 0 | 0.0 | 671M| 33 | - | 40 |3338 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1622.81/1623.35 c 1560s| 4300k| 1579k| 0 | 0.0 | 672M| 33 | - | 40 |3399 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1626.43/1626.98 c 1563s| 4310k| 1583k| 0 | 0.0 | 674M| 33 | - | 40 |3563 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1630.11/1630.64 c 1567s| 4320k| 1587k| 0 | 0.0 | 676M| 33 | - | 40 |3631 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1633.92/1634.47 c 1570s| 4330k| 1591k| 0 | 0.0 | 677M| 33 | - | 40 |3219 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1637.51/1638.01 c 1574s| 4340k| 1596k| 0 | 0.0 | 679M| 33 | - | 40 |3405 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1641.41/1641.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.41/1641.90 c 1578s| 4350k| 1600k| 0 | 0.0 | 681M| 33 | - | 40 |3775 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1645.41/1645.90 c 1581s| 4360k| 1603k| 0 | 0.0 | 682M| 33 | - | 40 |4008 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1649.41/1649.90 c 1585s| 4370k| 1607k| 0 | 0.0 | 684M| 33 | - | 40 |4064 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1653.61/1654.18 c 1589s| 4380k| 1611k| 0 | 0.0 | 685M| 33 | - | 40 |4334 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1657.91/1658.49 c 1594s| 4390k| 1615k| 0 | 0.0 | 687M| 33 | - | 40 |4606 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1662.51/1663.05 c 1598s| 4400k| 1619k| 0 | 0.0 | 689M| 33 | - | 40 |4599 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1667.20/1667.78 c 1603s| 4410k| 1623k| 0 | 0.0 | 690M| 33 | - | 40 |4966 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1672.00/1672.58 c 1607s| 4420k| 1627k| 0 | 0.0 | 692M| 33 | - | 40 |5028 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1676.91/1677.42 c 1612s| 4430k| 1631k| 0 | 0.0 | 693M| 33 | - | 40 |5097 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1681.70/1682.27 c 1617s| 4440k| 1635k| 0 | 0.0 | 695M| 33 | - | 40 |5178 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1686.60/1687.17 c 1621s| 4450k| 1639k| 0 | 0.0 | 697M| 33 | - | 40 |5281 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1691.90/1692.47 c 1627s| 4460k| 1643k| 0 | 0.0 | 698M| 33 | - | 40 |5632 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1697.39/1697.91 c 1632s| 4470k| 1647k| 0 | 0.0 | 700M| 33 | - | 40 |5740 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1702.79/1703.37 c 1637s| 4480k| 1651k| 0 | 0.0 | 702M| 33 | - | 40 |5924 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1708.29/1708.88 c 1642s| 4490k| 1655k| 0 | 0.0 | 703M| 33 | - | 40 |6116 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1713.99/1714.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.99/1714.54 c 1648s| 4500k| 1659k| 0 | 0.0 | 705M| 33 | - | 40 |6145 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1719.49/1720.05 c 1653s| 4510k| 1664k| 0 | 0.0 | 707M| 33 | - | 40 |6272 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1725.08/1725.63 c 1659s| 4520k| 1668k| 0 | 0.0 | 708M| 33 | - | 40 |6138 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1730.89/1731.43 c 1664s| 4530k| 1672k| 0 | 0.0 | 710M| 33 | - | 40 |6229 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1736.68/1737.22 c 1670s| 4540k| 1676k| 0 | 0.0 | 712M| 33 | - | 40 |6484 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1742.58/1743.16 c 1676s| 4550k| 1680k| 0 | 0.0 | 713M| 33 | - | 40 |6664 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1748.78/1749.30 c 1682s| 4560k| 1684k| 0 | 0.0 | 715M| 33 | - | 40 |6819 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1755.58/1756.16 c 1689s| 4570k| 1687k| 0 | 0.0 | 716M| 33 | - | 40 |7038 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1762.57/1763.15 c 1695s| 4580k| 1691k| 0 | 0.0 | 718M| 33 | - | 40 |7215 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1769.67/1770.20 c 1702s| 4590k| 1694k| 0 | 0.0 | 719M| 33 | - | 40 |6923 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1776.36/1777.00 c 1709s| 4600k| 1698k| 0 | 0.0 | 721M| 33 | - | 40 |6956 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1783.17/1783.73 c 1716s| 4610k| 1701k| 0 | 0.0 | 723M| 33 | - | 40 |7266 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1790.06/1790.61 c 1722s| 4620k| 1705k| 0 | 0.0 | 724M| 33 | - | 40 |7099 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1796.96/1797.53 c 1729s| 4630k| 1708k| 0 | 0.0 | 726M| 33 | - | 40 |7013 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1732.03
1800.07/1800.61 c Solving Nodes : 4634595
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1732.03
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664012-1276600895.opb
1800.07/1800.61 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 11 initial, 11 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664012-1276600895.opb
1800.07/1800.61 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 5 initial, 10957 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.01 0 0 0 0 0 6 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 5 0 6150677 0 3201702 1491041 14371037 0 0 0
1800.07/1800.61 c logicor : 0+ 0 2073323 0 0 9 239241 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 3201702 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c linear : 329.44 0.00 326.48 0.00 2.96
1800.07/1800.61 c logicor : 654.03 0.00 654.03 0.00 0.00
1800.07/1800.61 c countsols : 1.46 0.00 0.00 0.00 1.46
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 2.94 2 0 0
1800.07/1800.61 c rootredcost : 3.01 0 0 0
1800.07/1800.61 c pseudoobj : 2.81 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 102.43 1491050 379745 803930 28.1 0 0.0 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 335935 25.1 - - -
1800.07/1800.61 c applied locally : - - - 56967 32.4 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 22.60 3201702 0 0 0 0 6403404
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 2.37 0 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 2.56 0 0
1800.07/1800.61 c trysol : 2.01 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 4634595
1800.07/1800.61 c nodes (total) : 4634595
1800.07/1800.61 c nodes left : 1710572
1800.07/1800.61 c max depth : 33
1800.07/1800.61 c max depth (total): 33
1800.07/1800.61 c backtracks : 526172 (11.4%)
1800.07/1800.61 c delayed cutoffs : 58238
1800.07/1800.61 c repropagations : 348326 (526637 domain reductions, 58157 cutoffs)
1800.07/1800.61 c avg switch length: 6.17
1800.07/1800.61 c switching time : 474.12
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 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-2664012-1276600895/watcher-2664012-1276600895 -o /tmp/evaluation-result-2664012-1276600895/solver-2664012-1276600895 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664012-1276600895.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 1.01 2/107 2477
/proc/meminfo: memFree=1796344/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=6584 CPUtime=0
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 999 0 0 0 0 0 0 0 17 0 1 0 33745250 6742016 921 1992294400 4194304 7136930 140736921143984 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2477/statm: 1646 931 254 719 0 925 0
[startup+0.037495 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 2477
/proc/meminfo: memFree=1796344/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=10828 CPUtime=0.03
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 2928 0 0 0 2 1 0 0 17 0 1 0 33745250 11087872 1983 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 2707 1983 387 719 0 1986 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10828
[startup+0.101457 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 2477
/proc/meminfo: memFree=1796344/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=11136 CPUtime=0.09
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 2987 0 0 0 7 2 0 0 17 0 1 0 33745250 11403264 2042 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 2784 2042 387 719 0 2063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11136
[startup+0.301474 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 2477
/proc/meminfo: memFree=1796344/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=11600 CPUtime=0.3
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 3112 0 0 0 25 5 0 0 17 0 1 0 33745250 11878400 2167 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 2900 2167 387 719 0 2179 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 11600
[startup+0.701511 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 2477
/proc/meminfo: memFree=1796344/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=13036 CPUtime=0.7
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 3501 0 0 0 60 10 0 0 17 0 1 0 33745250 13348864 2556 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 3259 2556 387 719 0 2538 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13036
[startup+1.50058 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2478
/proc/meminfo: memFree=1786912/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=14116 CPUtime=1.49
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 3779 0 0 0 132 17 0 0 18 0 1 0 33745250 14454784 2834 1992294400 4194304 7136930 140736921143984 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 3529 2834 387 719 0 2808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14116
[startup+3.10073 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2478
/proc/meminfo: memFree=1784804/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=17884 CPUtime=3.09
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 4730 0 0 0 275 34 0 0 21 0 1 0 33745250 18313216 3785 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 4471 3785 387 719 0 3750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17884
[startup+6.30101 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2478
/proc/meminfo: memFree=1779224/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=22668 CPUtime=6.29
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 5966 0 0 0 562 67 0 0 25 0 1 0 33745250 23212032 5021 1992294400 4194304 7136930 140736921143984 18446744073709551615 4220995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 5667 5021 387 719 0 4946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22668
[startup+12.7006 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2478
/proc/meminfo: memFree=1770668/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=30920 CPUtime=12.69
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 8090 0 0 0 1145 124 0 0 25 0 1 0 33745250 31662080 7145 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 7730 7145 387 719 0 7009 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30920
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2478
/proc/meminfo: memFree=1750828/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=50412 CPUtime=25.49
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 12613 0 0 0 2310 239 0 0 25 0 1 0 33745250 51621888 11668 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 12603 11668 387 719 0 11882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50412
[startup+51.101 s]
/proc/loadavg: 0.99 0.98 1.01 2/108 2478
/proc/meminfo: memFree=1723920/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=77168 CPUtime=51.08
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 19531 0 0 0 4658 450 0 0 25 0 1 0 33745250 79020032 18586 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 19292 18586 387 719 0 18571 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77168
[startup+102.309 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2480
/proc/meminfo: memFree=1665764/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=135820 CPUtime=102.26
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 33732 0 0 0 9367 859 0 0 25 0 1 0 33745250 139079680 32787 1992294400 4194304 7136930 140736921143984 18446744073709551615 5952185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 33955 32787 387 719 0 33234 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135820
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2482
/proc/meminfo: memFree=1623852/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=176188 CPUtime=162.25
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 44125 0 0 0 14980 1245 0 0 25 0 1 0 33745250 180416512 43180 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 44047 43180 387 719 0 43326 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 176188
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2482
/proc/meminfo: memFree=1580328/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=226516 CPUtime=222.22
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 54991 0 0 0 20640 1582 0 0 25 0 1 0 33745250 231952384 54046 1992294400 4194304 7136930 140736921143984 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 56629 54046 387 719 0 55908 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 226516
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2484
/proc/meminfo: memFree=1539532/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=265948 CPUtime=282.2
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 65268 0 0 0 26316 1904 0 0 25 0 1 0 33745250 272330752 64323 1992294400 4194304 7136930 140736921143984 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 66487 64323 387 719 0 65766 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 265948
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2486
/proc/meminfo: memFree=1504936/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=298696 CPUtime=342.19
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 73773 0 0 0 32025 2194 0 0 25 0 1 0 33745250 305864704 72828 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 74674 72828 387 719 0 73953 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 298696
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2488
/proc/meminfo: memFree=1479764/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=322984 CPUtime=402.17
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 80097 0 0 0 37784 2433 0 0 25 0 1 0 33745250 330735616 79152 1992294400 4194304 7136930 140736921143984 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 80746 79152 387 719 0 80025 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 322984
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2490
/proc/meminfo: memFree=1452112/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=349728 CPUtime=462.15
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 87019 0 0 0 43507 2708 0 0 25 0 1 0 33745250 358121472 86074 1992294400 4194304 7136930 140736921143984 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 87432 86074 387 719 0 86711 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 349728
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2490
/proc/meminfo: memFree=1425700/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=374788 CPUtime=522.14
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 93474 0 0 0 49250 2964 0 0 25 0 1 0 33745250 383782912 92529 1992294400 4194304 7136930 140736921143984 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 93697 92529 387 719 0 92976 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 374788
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2492
/proc/meminfo: memFree=1405984/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=393732 CPUtime=582.11
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 98371 0 0 0 55035 3176 0 0 25 0 1 0 33745250 403181568 97426 1992294400 4194304 7136930 140736921143984 18446744073709551615 4998363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 98433 97426 387 719 0 97712 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 393732
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2494
/proc/meminfo: memFree=1386020/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=412920 CPUtime=642.11
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 103314 0 0 0 60807 3404 0 0 25 0 1 0 33745250 422830080 102369 1992294400 4194304 7136930 140736921143984 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 103230 102369 387 719 0 102509 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 412920
[startup+702.301 s]
################
# More data... #
################
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 125412 0 0 0 95739 4461 0 0 25 0 1 0 33745250 528572416 124467 1992294400 4194304 7136930 140736921143984 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 129046 124467 387 719 0 128325 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 516184
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2509
/proc/meminfo: memFree=1288928/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=523824 CPUtime=1061.98
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 127281 0 0 0 101618 4580 0 0 25 0 1 0 33745250 536395776 126336 1992294400 4194304 7136930 140736921143984 18446744073709551615 4221532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 130956 126336 387 719 0 130235 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 523824
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2509
/proc/meminfo: memFree=1282728/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=530736 CPUtime=1121.97
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 128883 0 0 0 107523 4674 0 0 25 0 1 0 33745250 543473664 127938 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 132684 127938 387 719 0 131963 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 530736
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2511
/proc/meminfo: memFree=1254952/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=557528 CPUtime=1181.95
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 135925 0 0 0 113308 4887 0 0 25 0 1 0 33745250 570908672 134980 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 139382 134980 387 719 0 138661 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 557528
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 2513
/proc/meminfo: memFree=1229532/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=581456 CPUtime=1241.93
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 142193 0 0 0 119110 5083 0 0 25 0 1 0 33745250 595410944 141248 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 145364 141248 387 719 0 144643 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 581456
[startup+1302.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 2515
/proc/meminfo: memFree=1205848/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=603460 CPUtime=1301.92
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 147957 0 0 0 124921 5271 0 0 25 0 1 0 33745250 617943040 147012 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 150865 147012 387 719 0 150144 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 603460
[startup+1362.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/108 2517
/proc/meminfo: memFree=1180552/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=627844 CPUtime=1361.9
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 154263 0 0 0 130727 5463 0 0 25 0 1 0 33745250 642912256 153318 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 156961 153318 387 719 0 156240 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 627844
[startup+1422.31 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 2517
/proc/meminfo: memFree=1156992/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=650356 CPUtime=1421.89
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 160165 0 0 0 136512 5677 0 0 25 0 1 0 33745250 665964544 159220 1992294400 4194304 7136930 140736921143984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 162589 159220 387 719 0 161868 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 650356
[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/108 2519
/proc/meminfo: memFree=1133804/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=672928 CPUtime=1481.86
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 166056 0 0 0 142320 5866 0 0 25 0 1 0 33745250 689078272 165111 1992294400 4194304 7136930 140736921143984 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 168232 165111 387 719 0 167511 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 672928
[startup+1542.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/108 2521
/proc/meminfo: memFree=1115080/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=690260 CPUtime=1541.84
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 170600 0 0 0 148144 6040 0 0 25 0 1 0 33745250 706826240 169655 1992294400 4194304 7136930 140736921143984 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 172565 169655 387 719 0 171844 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 690260
[startup+1602.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/108 2523
/proc/meminfo: memFree=1091024/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=713184 CPUtime=1601.82
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 176540 0 0 0 153949 6233 0 0 25 0 1 0 33745250 730300416 175595 1992294400 4194304 7136930 140736921143984 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 178296 175595 387 719 0 177575 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 713184
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 2525
/proc/meminfo: memFree=1067340/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=735876 CPUtime=1661.8
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 182431 0 0 0 159730 6450 0 0 25 0 1 0 33745250 753537024 181486 1992294400 4194304 7136930 140736921143984 18446744073709551615 4977182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 183969 181486 387 719 0 183248 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 735876
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 2525
/proc/meminfo: memFree=1046012/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=756352 CPUtime=1721.79
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 187743 0 0 0 165557 6622 0 0 25 0 1 0 33745250 774504448 186798 1992294400 4194304 7136930 140736921143984 18446744073709551615 4208876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 189088 186798 387 719 0 188367 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 756352
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 2527
/proc/meminfo: memFree=1031628/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=769984 CPUtime=1781.76
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 191230 0 0 0 171413 6763 0 0 25 0 1 0 33745250 788463616 190285 1992294400 4194304 7136930 140736921143984 18446744073709551615 5917610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 192496 190285 387 719 0 191775 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 769984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 2529
/proc/meminfo: memFree=1028404/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=773092 CPUtime=1800.07
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 192044 0 0 0 173203 6804 0 0 25 0 1 0 33745250 791646208 191099 1992294400 4194304 7136930 140736921143984 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2477/statm: 193273 191099 387 719 0 192552 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 773092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2477
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 2529
/proc/meminfo: memFree=1028404/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=773092 CPUtime=1800.86
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 192050 0 0 0 173282 6804 0 0 25 0 1 0 33745250 791646208 191105 1992294400 4194304 7136930 140736921143984 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2477/statm: 193273 191105 393 719 0 192552 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 773092
[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/109 2530
/proc/meminfo: memFree=1028396/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=773092 CPUtime=1801.66
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 192050 0 0 0 173362 6804 0 0 25 0 1 0 33745250 791646208 191105 1992294400 4194304 7136930 140736921143984 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2477/statm: 193273 191105 393 719 0 192552 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 773092
[startup+1802.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/109 2530
/proc/meminfo: memFree=1028396/2059040 swapFree=4140108/4192956
[pid=2477] ppid=2475 vsize=773092 CPUtime=1802.06
/proc/2477/stat : 2477 (pbscip.linux.x8) R 2475 2477 2371 0 -1 4202496 192050 0 0 0 173402 6804 0 0 25 0 1 0 33745250 791646208 191105 1992294400 4194304 7136930 140736921143984 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2477/statm: 193273 191105 393 719 0 192552 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 773092
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.16
CPU user time (s): 1734.04
CPU system time (s): 68.1206
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 773092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.04
system time used= 68.1206
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192050
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= 3978
runsolver used 3.00754 second user time and 8.51571 second system time
The end