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-2693665-1277929430.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.09/0.12 o 137945
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.379450e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.09/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379450e+05 | Inf
2.69/2.74 o 585
2.69/2.74 c * 2.5s| 8543 | 5509 | 0 | 0.0 | 23M|2816 | - |5645 |7019 | 0 | 0 | 0 |1605 | 0 | 0.000000e+00 | 5.850000e+02 | Inf
2.79/2.81 o 429
2.79/2.81 c * 2.6s| 8713 | 5553 | 0 | 0.0 | 23M|2816 | - |5645 |7032 | 0 | 0 | 0 |1618 | 0 | 0.000000e+00 | 4.290000e+02 | Inf
2.99/3.03 o 353
2.99/3.03 c * 2.8s| 9385 | 5994 | 0 | 0.0 | 23M|2816 | - |5645 |7042 | 0 | 0 | 0 |1628 | 0 | 0.000000e+00 | 3.530000e+02 | Inf
2.99/3.03 o 322
2.99/3.03 c * 2.8s| 9386 | 5831 | 0 | 0.0 | 24M|2816 | - |5645 |7042 | 0 | 0 | 0 |1628 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
2.99/3.08 o 299
2.99/3.08 c * 2.8s| 9508 | 5857 | 0 | 0.0 | 24M|2816 | - |5645 |7062 | 0 | 0 | 0 |1648 | 0 | 0.000000e+00 | 2.990000e+02 | Inf
3.09/3.20 o 269
3.09/3.20 c * 3.0s| 9839 | 6131 | 0 | 0.0 | 24M|2816 | - |5645 |7104 | 0 | 0 | 0 |1694 | 0 | 0.000000e+00 | 2.690000e+02 | Inf
3.19/3.25 c 3.0s| 10000 | 6287 | 0 | 0.0 | 24M|2816 | - |5645 |7108 | 0 | 0 | 0 |1704 | 0 | 0.000000e+00 | 2.690000e+02 | Inf
3.19/3.26 o 223
3.19/3.26 c * 3.0s| 10038 | 6217 | 0 | 0.0 | 24M|2816 | - |5645 |7108 | 0 | 0 | 0 |1704 | 0 | 0.000000e+00 | 2.230000e+02 | Inf
3.19/3.27 o 204
3.19/3.27 c * 3.0s| 10039 | 6176 | 0 | 0.0 | 24M|2816 | - |5645 |7108 | 0 | 0 | 0 |1704 | 0 | 0.000000e+00 | 2.040000e+02 | Inf
3.19/3.30 o 203
3.19/3.30 c * 3.0s| 10133 | 6258 | 0 | 0.0 | 24M|2816 | - |5645 |7106 | 0 | 0 | 0 |1704 | 0 | 0.000000e+00 | 2.030000e+02 | Inf
3.30/3.34 o 183
3.30/3.34 c * 3.1s| 10267 | 6339 | 0 | 0.0 | 24M|2816 | - |5645 |7140 | 0 | 0 | 0 |1744 | 0 | 0.000000e+00 | 1.830000e+02 | Inf
3.30/3.34 o 110
3.30/3.34 c * 3.1s| 10268 | 6194 | 0 | 0.0 | 24M|2816 | - |5645 |7140 | 0 | 0 | 0 |1744 | 0 | 0.000000e+00 | 1.100000e+02 | Inf
3.30/3.37 o 107
3.30/3.37 c * 3.1s| 10385 | 6306 | 0 | 0.0 | 25M|2816 | - |5645 |7150 | 0 | 0 | 0 |1763 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
6.19/6.24 c 5.8s| 20000 | 14604 | 0 | 0.0 | 35M|2816 | - |5645 |7946 | 0 | 0 | 0 |8476 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
9.69/9.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.69/9.74 c 9.0s| 30000 | 22479 | 0 | 0.0 | 46M|2816 | - |5645 |8765 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
15.40/15.43 o 95
15.40/15.43 c *14.4s| 39694 | 28346 | 0 | 0.0 | 59M|2816 | - |5645 |9774 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
15.59/15.64 c 14.6s| 40000 | 28634 | 0 | 0.0 | 59M|2816 | - |5645 |9664 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
19.59/19.61 o 93
19.59/19.61 c *18.4s| 44498 | 32540 | 0 | 0.0 | 76M|2816 | - |5645 |8698 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
19.59/19.61 o 83
19.59/19.61 c *18.4s| 44499 | 31979 | 0 | 0.0 | 73M|2816 | - |5645 |8698 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
19.59/19.66 o 80
19.59/19.66 c *18.5s| 44558 | 31855 | 0 | 0.0 | 72M|2816 | - |5645 |8704 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
19.59/19.67 o 72
19.59/19.67 c *18.5s| 44559 | 31333 | 0 | 0.0 | 70M|2816 | - |5645 |8704 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
20.99/21.05 o 71
20.99/21.05 c *19.8s| 46756 | 32846 | 0 | 0.0 | 68M|2816 | - |5645 |7827 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
20.99/21.06 o 65
20.99/21.06 c *19.8s| 46757 | 32569 | 0 | 0.0 | 67M|2816 | - |5645 |7827 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
22.59/22.61 o 50
22.59/22.61 c *21.3s| 49717 | 34514 | 0 | 0.0 | 68M|2816 | - |5645 |7469 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
22.59/22.61 o 44
22.59/22.61 c *21.3s| 49718 | 34278 | 0 | 0.0 | 68M|2816 | - |5645 |7469 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
22.70/22.76 c 21.4s| 50000 | 34518 | 0 | 0.0 | 68M|2816 | - |5645 |7574 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
24.10/24.13 o 39
24.10/24.13 c *22.7s| 52868 | 36727 | 0 | 0.0 | 71M|2816 | - |5645 |7930 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
24.10/24.19 o 26
24.10/24.19 c *22.7s| 52977 | 36072 | 0 | 0.0 | 69M|2816 | - |5645 |7949 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
25.69/25.78 o 20
25.69/25.78 c *24.2s| 55950 | 38163 | 0 | 0.0 | 72M|2816 | - |5645 |8552 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
27.00/27.00 o 18
27.00/27.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.00/27.00 c *25.4s| 58569 | 40186 | 0 | 0.0 | 75M|2816 | - |5645 |9334 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
27.50/27.54 c 25.9s| 60000 | 41409 | 0 | 0.0 | 76M|2816 | - |5645 |9042 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
27.99/28.09 o 14
27.99/28.09 c *26.4s| 61413 | 42392 | 0 | 0.0 | 78M|2816 | - |5645 |9215 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
30.80/30.89 o 7
30.80/30.89 c *29.0s| 69278 | 48760 | 0 | 0.0 | 89M|2816 | - |5645 |9368 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
31.10/31.15 c 29.2s| 70000 | 49343 | 0 | 0.0 | 90M|2816 | - |5645 |9674 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
34.49/34.56 c 32.4s| 80000 | 57795 | 0 | 0.0 | 101M|2816 | - |5645 |9713 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
37.99/38.00 c 35.6s| 90000 | 66215 | 0 | 0.0 | 112M|2816 | - |5645 |8604 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
41.80/41.81 c 39.1s|100000 | 74132 | 0 | 0.0 | 123M|2816 | - |5645 |9000 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
45.99/46.01 c 43.1s|110000 | 81625 | 0 | 0.0 | 134M|2816 | - |5645 |9699 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
50.40/50.40 c 47.2s|120000 | 88983 | 0 | 0.0 | 144M|2816 | - |5645 | 10k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
55.00/55.00 c 51.6s|130000 | 96168 | 0 | 0.0 | 155M|2816 | - |5645 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
59.59/59.69 c 56.0s|140000 |103223 | 0 | 0.0 | 165M|2816 | - |5645 | 10k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
64.59/64.65 c 60.7s|150000 |110041 | 0 | 0.0 | 176M|2816 | - |5645 | 11k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
69.49/69.57 c 65.3s|160000 |116954 | 0 | 0.0 | 186M|2816 | - |5645 | 11k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
74.59/74.68 c 70.2s|170000 |123723 | 0 | 0.0 | 197M|2816 | - |5645 | 12k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
79.99/80.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.99/80.07 c 75.3s|180000 |130276 | 0 | 0.0 | 207M|2816 | - |5645 | 13k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
85.70/85.71 c 80.7s|190000 |136720 | 0 | 0.0 | 218M|2816 | - |5645 | 13k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
92.10/92.15 c 86.9s|200000 |142310 | 0 | 0.0 | 228M|2816 | - |5645 | 14k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
99.79/99.81 c 94.2s|210000 |146631 | 0 | 0.0 | 240M|2816 | - |5645 | 15k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
109.00/109.03 c 103s|220000 |149385 | 0 | 0.0 | 251M|2816 | - |5645 | 17k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
120.70/120.76 c 115s|230000 |149529 | 0 | 0.0 | 253M|2816 | - |5645 | 14k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
124.20/124.25 o 5
124.20/124.25 c * 118s|238025 |156112 | 0 | 0.0 | 260M|2816 | - |5645 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
125.40/125.40 c 119s|240000 |157656 | 0 | 0.0 | 263M|2816 | - |5645 | 10k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
131.69/131.72 c 125s|250000 |165364 | 0 | 0.0 | 277M|2816 | - |5645 |9828 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
140.90/140.93 c 134s|260000 |172252 | 0 | 0.0 | 293M|2816 | - |5645 | 12k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
154.00/154.06 c 147s|270000 |178170 | 0 | 0.0 | 360M|2816 | - |5645 | 11k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
169.30/169.35 c 161s|280000 |183712 | 0 | 0.0 | 488M|2816 | - |5645 | 14k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
176.60/176.61 c 168s|290000 |192068 | 0 | 0.0 | 552M|2816 | - |5645 | 12k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
182.99/183.06 c 174s|300000 |199567 | 0 | 0.0 | 585M|2816 | - |5645 |8538 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
188.70/188.77 c 180s|310000 |205197 | 0 | 0.0 | 595M|2816 | - |5645 | 10k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
192.60/192.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.60/192.68 c 183s|320000 |213100 | 0 | 0.0 | 604M|2816 | - |5645 |8153 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
197.30/197.37 c 188s|330000 |220161 | 0 | 0.0 | 614M|2816 | - |5645 |8327 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
202.20/202.29 c 192s|340000 |226967 | 0 | 0.0 | 624M|2816 | - |5645 |8896 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
207.30/207.31 c 197s|350000 |233795 | 0 | 0.0 | 633M|2816 | - |5645 |7772 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
212.60/212.66 c 202s|360000 |240155 | 0 | 0.0 | 643M|2816 | - |5645 |9969 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
216.00/216.09 c 205s|370000 |248587 | 0 | 0.0 | 652M|2816 | - |5645 |7667 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
219.90/219.95 c 209s|380000 |256489 | 0 | 0.0 | 662M|2816 | - |5645 |8313 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
225.00/225.09 c 214s|390000 |263152 | 0 | 0.0 | 672M|2816 | - |5645 |9968 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
230.30/230.35 c 219s|400000 |269821 | 0 | 0.0 | 680M|2816 | - |5645 |8053 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
235.20/235.28 c 223s|410000 |276546 | 0 | 0.0 | 690M|2816 | - |5645 | 10k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
239.10/239.12 c 227s|420000 |284504 | 0 | 0.0 | 698M|2816 | - |5645 |8152 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
243.90/243.98 c 231s|430000 |291252 | 0 | 0.0 | 707M|2816 | - |5645 |8103 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
248.00/248.03 c 235s|440000 |298952 | 0 | 0.0 | 717M|2816 | - |5645 |9362 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
252.50/252.55 c 239s|450000 |306173 | 0 | 0.0 | 726M|2816 | - |5645 |8036 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
257.30/257.36 c 244s|460000 |313107 | 0 | 0.0 | 736M|2816 | - |5645 |8733 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
261.30/261.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.30/261.38 c 248s|470000 |320837 | 0 | 0.0 | 746M|2816 | - |5645 |9055 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
265.70/265.72 c 252s|480000 |328213 | 0 | 0.0 | 755M|2816 | - |5645 |7985 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
265.70/265.77 o 4
265.70/265.77 c * 252s|480118 |327571 | 0 | 0.0 | 753M|2816 | - |5645 |8008 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
270.51/270.56 c 256s|490000 |334263 | 0 | 0.0 | 763M|2816 | - |5645 |9118 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
273.90/273.92 c 259s|500000 |342714 | 0 | 0.0 | 772M|2816 | - |5645 |7718 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
278.10/278.13 c 263s|510000 |350270 | 0 | 0.0 | 782M|2816 | - |5645 |8669 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
284.00/284.10 c 269s|520000 |355971 | 0 | 0.0 | 792M|2816 | - |5645 | 10k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
287.70/287.78 c 272s|530000 |364082 | 0 | 0.0 | 800M|2816 | - |5645 |8497 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
292.50/292.54 c 277s|540000 |371002 | 0 | 0.0 | 809M|2816 | - |5645 |7914 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
296.19/296.29 c 280s|550000 |378988 | 0 | 0.0 | 819M|2816 | - |5645 |8128 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
300.70/300.76 c 284s|560000 |386183 | 0 | 0.0 | 828M|2816 | - |5645 |8608 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
305.10/305.18 c 288s|570000 |393428 | 0 | 0.0 | 837M|2816 | - |5645 |8439 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
309.40/309.45 c 292s|580000 |400880 | 0 | 0.0 | 846M|2816 | - |5645 |8425 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
313.90/313.97 c 297s|590000 |407971 | 0 | 0.0 | 856M|2816 | - |5645 |9205 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
318.60/318.60 c 301s|600000 |415099 | 0 | 0.0 | 864M|2816 | - |5645 |7660 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
322.10/322.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.10/322.13 c 304s|610000 |423257 | 0 | 0.0 | 873M|2816 | - |5645 |8048 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
326.40/326.46 c 308s|620000 |430557 | 0 | 0.0 | 883M|2816 | - |5645 |9483 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
332.10/332.10 c 314s|630000 |436659 | 0 | 0.0 | 891M|2816 | - |5645 |8175 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
336.40/336.42 c 318s|640000 |443962 | 0 | 0.0 | 901M|2816 | - |5645 |9755 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
340.70/340.79 c 322s|650000 |451318 | 0 | 0.0 | 910M|2816 | - |5645 |8064 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
345.00/345.06 c 326s|660000 |458702 | 0 | 0.0 | 919M|2816 | - |5645 |8361 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
350.00/350.02 c 330s|670000 |465282 | 0 | 0.0 | 928M|2816 | - |5645 |8692 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
353.40/353.45 c 334s|680000 |473658 | 0 | 0.0 | 937M|2816 | - |5645 |5916 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
356.70/356.74 c 337s|690000 |482026 | 0 | 0.0 | 946M|2816 | - |5645 |5779 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
360.30/360.34 c 340s|700000 |490019 | 0 | 0.0 | 956M|2816 | - |5645 |6593 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
365.21/365.28 c 345s|710000 |496837 | 0 | 0.0 | 966M|2816 | - |5645 |7714 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
370.50/370.59 c 350s|720000 |503364 | 0 | 0.0 | 977M|2816 | - |5645 |7890 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
375.70/375.77 c 355s|730000 |509965 | 0 | 0.0 | 988M|2816 | - |5645 |8196 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
381.50/381.58 c 360s|740000 |516019 | 0 | 0.0 | 998M|2816 | - |5645 |8180 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
387.40/387.40 c 366s|750000 |522039 | 0 | 0.0 |1009M|2816 | - |5645 |8295 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
393.20/393.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.20/393.25 c 371s|760000 |528067 | 0 | 0.0 |1019M|2816 | - |5645 |8460 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
399.60/399.67 c 377s|770000 |533675 | 0 | 0.0 |1030M|2816 | - |5645 |9103 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
405.91/405.99 c 383s|780000 |539323 | 0 | 0.0 |1040M|2816 | - |5645 |9586 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
412.51/412.55 c 390s|790000 |544757 | 0 | 0.0 |1050M|2816 | - |5645 |9584 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
419.00/419.05 c 396s|800000 |550261 | 0 | 0.0 |1060M|2816 | - |5645 |9005 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
425.71/425.75 c 402s|810000 |555590 | 0 | 0.0 |1070M|2816 | - |5645 |9853 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
432.90/432.96 c 409s|820000 |560437 | 0 | 0.0 |1081M|2816 | - |5645 |9927 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
440.11/440.14 c 416s|830000 |565309 | 0 | 0.0 |1091M|2816 | - |5645 |9372 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
447.60/447.66 c 423s|840000 |570023 | 0 | 0.0 |1101M|2816 | - |5645 | 10k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
455.30/455.31 c 431s|850000 |574412 | 0 | 0.0 |1111M|2816 | - |5645 | 10k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
462.50/462.52 c 438s|860000 |579511 | 0 | 0.0 |1121M|2816 | - |5645 |9365 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
470.40/470.48 c 445s|870000 |583642 | 0 | 0.0 |1131M|2816 | - |5645 | 10k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
478.51/478.55 c 453s|880000 |587784 | 0 | 0.0 |1140M|2816 | - |5645 | 10k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
486.21/486.23 c 460s|890000 |592422 | 0 | 0.0 |1151M|2816 | - |5645 | 10k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
494.30/494.31 c 468s|900000 |596389 | 0 | 0.0 |1160M|2816 | - |5645 | 11k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
501.61/501.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.61/501.65 c 475s|910000 |601214 | 0 | 0.0 |1170M|2816 | - |5645 | 10k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
510.11/510.17 c 483s|920000 |604916 | 0 | 0.0 |1180M|2816 | - |5645 | 11k| 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
517.30/517.38 c 490s|930000 |609895 | 0 | 0.0 |1189M|2816 | - |5645 | 10k| 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
526.10/526.16 c 499s|940000 |613381 | 0 | 0.0 |1198M|2816 | - |5645 | 11k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
534.40/534.46 c 507s|950000 |617279 | 0 | 0.0 |1208M|2816 | - |5645 | 11k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
542.61/542.61 c 515s|960000 |621468 | 0 | 0.0 |1218M|2816 | - |5645 | 11k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
550.81/550.81 c 523s|970000 |625379 | 0 | 0.0 |1227M|2816 | - |5645 | 11k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
558.71/558.78 c 530s|980000 |629587 | 0 | 0.0 |1237M|2816 | - |5645 | 11k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
567.31/567.37 c 539s|990000 |633102 | 0 | 0.0 |1246M|2816 | - |5645 | 11k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
575.21/575.30 c 546s| 1000k|637171 | 0 | 0.0 |1255M|2816 | - |5645 | 10k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
584.51/584.55 c 555s| 1010k|640244 | 0 | 0.0 |1265M|2816 | - |5645 | 11k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
593.21/593.26 c 564s| 1020k|643456 | 0 | 0.0 |1274M|2816 | - |5645 | 11k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
601.61/601.60 c 572s| 1030k|647128 | 0 | 0.0 |1283M|2816 | - |5645 | 11k| 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
610.71/610.72 c 580s| 1040k|649962 | 0 | 0.0 |1292M|2816 | - |5645 | 11k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
620.01/620.03 c 589s| 1050k|652701 | 0 | 0.0 |1301M|2816 | - |5645 | 12k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
629.30/629.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.30/629.31 c 598s| 1060k|655506 | 0 | 0.0 |1309M|2816 | - |5645 | 11k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
638.80/638.86 c 608s| 1070k|658078 | 0 | 0.0 |1319M|2816 | - |5645 | 11k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
648.71/648.70 c 617s| 1080k|660413 | 0 | 0.0 |1327M|2816 | - |5645 | 11k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
658.51/658.58 c 627s| 1090k|662768 | 0 | 0.0 |1334M|2816 | - |5645 | 11k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
669.21/669.26 c 637s| 1100k|664677 | 0 | 0.0 |1342M|2816 | - |5645 | 12k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
680.01/680.08 c 648s| 1110k|666495 | 0 | 0.0 |1350M|2816 | - |5645 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
691.81/691.86 c 659s| 1120k|667614 | 0 | 0.0 |1356M|2816 | - |5645 | 12k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
704.31/704.34 c 671s| 1130k|668368 | 0 | 0.0 |1362M|2816 | - |5645 | 13k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
717.61/717.61 c 684s| 1140k|668713 | 0 | 0.0 |1367M|2816 | - |5645 | 14k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.52/732.55 c 699s| 1150k|668006 | 0 | 0.0 |1371M|2816 | - |5645 | 15k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
743.31/743.32 o 2
743.31/743.32 c * 709s| 1156k|642713 | 0 | 0.0 |1339M|2816 | - |5645 | 12k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
744.71/744.78 c 710s| 1160k|645429 | 0 | 0.0 |1340M|2816 | - |5645 |7147 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.71/748.77 c 714s| 1170k|653540 | 0 | 0.0 |1351M|2816 | - |5645 |6221 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.61/752.67 c 718s| 1180k|661593 | 0 | 0.0 |1361M|2816 | - |5645 |6623 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.52/756.52 c 721s| 1190k|669582 | 0 | 0.0 |1371M|2816 | - |5645 |6734 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
760.51/760.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.51/760.57 c 725s| 1200k|677353 | 0 | 0.0 |1381M|2816 | - |5645 |6943 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
764.71/764.78 c 729s| 1210k|684999 | 0 | 0.0 |1391M|2816 | - |5645 |7509 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.41/769.49 c 733s| 1220k|692352 | 0 | 0.0 |1399M|2816 | - |5645 |5310 | 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
773.71/773.77 c 737s| 1230k|699539 | 0 | 0.0 |1409M|2816 | - |5645 |5715 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
778.31/778.32 c 742s| 1240k|706477 | 0 | 0.0 |1419M|2816 | - |5645 |6074 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
783.21/783.26 c 746s| 1250k|713034 | 0 | 0.0 |1429M|2816 | - |5645 |6219 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
788.91/788.92 c 752s| 1260k|718917 | 0 | 0.0 |1440M|2816 | - |5645 |6491 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.81/794.90 c 757s| 1270k|724542 | 0 | 0.0 |1451M|2816 | - |5645 |6614 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
801.31/801.38 c 763s| 1280k|729635 | 0 | 0.0 |1461M|2816 | - |5645 |6546 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
807.51/807.56 c 769s| 1290k|735067 | 0 | 0.0 |1471M|2816 | - |5645 |6337 | 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.32/813.38 c 775s| 1300k|740792 | 0 | 0.0 |1480M|2816 | - |5645 |5916 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
818.91/818.92 c 780s| 1310k|746877 | 0 | 0.0 |1490M|2816 | - |5645 |5687 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
824.31/824.30 c 785s| 1320k|753174 | 0 | 0.0 |1500M|2816 | - |5645 |6411 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.51/829.53 c 790s| 1330k|759631 | 0 | 0.0 |1509M|2816 | - |5645 |7093 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
834.71/834.78 c 795s| 1340k|766210 | 0 | 0.0 |1519M|2816 | - |5645 |7096 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.62/840.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.62/840.65 c 800s| 1350k|772317 | 0 | 0.0 |1529M|2816 | - |5645 |7860 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.82/846.81 c 806s| 1360k|778203 | 0 | 0.0 |1538M|2816 | - |5645 |8232 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.82/853.83 c 813s| 1370k|783419 | 0 | 0.0 |1548M|2816 | - |5645 |9136 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
861.71/861.78 c 821s| 1380k|787840 | 0 | 0.0 |1557M|2816 | - |5645 |9891 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
872.21/872.26 c 831s| 1390k|790129 | 0 | 0.0 |1565M|2816 | - |5645 | 11k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
878.82/878.89 c 837s| 1400k|796071 | 0 | 0.0 |1567M|2816 | - |5645 |5192 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.01/883.09 c 841s| 1410k|803742 | 0 | 0.0 |1577M|2816 | - |5645 |5524 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
887.31/887.36 c 845s| 1420k|811212 | 0 | 0.0 |1586M|2816 | - |5645 |5917 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.22/892.21 c 850s| 1430k|818278 | 0 | 0.0 |1596M|2816 | - |5645 |6497 | 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
897.21/897.28 c 855s| 1440k|825043 | 0 | 0.0 |1606M|2816 | - |5645 |6969 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.02/903.01 c 860s| 1450k|831296 | 0 | 0.0 |1617M|2816 | - |5645 |7578 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.02/909.03 c 866s| 1460k|837290 | 0 | 0.0 |1627M|2816 | - |5645 |7919 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.91/915.90 c 872s| 1470k|842530 | 0 | 0.0 |1637M|2816 | - |5645 |8311 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.62/923.67 c 880s| 1480k|847067 | 0 | 0.0 |1647M|2816 | - |5645 |9071 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
933.22/933.23 c 889s| 1490k|850143 | 0 | 0.0 |1652M|2816 | - |5645 | 10k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.02/942.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.02/942.00 c 897s| 1500k|854257 | 0 | 0.0 |1649M|2816 | - |5645 |5317 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.92/945.98 c 901s| 1510k|862086 | 0 | 0.0 |1659M|2816 | - |5645 |5637 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.11/950.19 c 905s| 1520k|869675 | 0 | 0.0 |1669M|2816 | - |5645 |6201 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
954.72/954.76 c 909s| 1530k|876912 | 0 | 0.0 |1679M|2816 | - |5645 |6570 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.52/959.57 c 914s| 1540k|883911 | 0 | 0.0 |1689M|2816 | - |5645 |6567 | 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.72/964.79 c 919s| 1550k|890521 | 0 | 0.0 |1699M|2816 | - |5645 |6490 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.31/970.33 c 924s| 1560k|896805 | 0 | 0.0 |1710M|2816 | - |5645 |6633 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.01/976.06 c 929s| 1570k|902933 | 0 | 0.0 |1720M|2816 | - |5645 |6789 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
981.62/981.69 c 935s| 1580k|909097 | 0 | 0.0 |1730M|2816 | - |5645 |6813 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.52/987.55 c 940s| 1590k|915025 | 0 | 0.0 |1740M|2816 | - |5645 |7171 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
993.52/993.57 c 946s| 1600k|920751 | 0 | 0.0 |1750M|2816 | - |5645 |7422 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.51/999.58 c 952s| 1610k|926463 | 0 | 0.0 |1759M|2816 | - |5645 |7757 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.71/1005.73 c 957s| 1620k|932170 | 0 | 0.0 |1769M|2816 | - |5645 |7988 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.72/1011.76 c 963s| 1630k|937897 | 0 | 0.0 |1778M|2816 | - |5645 |8205 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.72/1017.71 c 969s| 1640k|943819 | 0 | 0.0 |1787M|2816 | - |5645 |8496 | 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.81/1023.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.81/1023.86 c 975s| 1650k|949503 | 0 | 0.0 |1796M|2816 | - |5645 |8713 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.92/1029.99 c 980s| 1660k|955312 | 0 | 0.0 |1806M|2816 | - |5645 |9340 | 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1036.81/1036.82 c 987s| 1670k|960477 | 0 | 0.0 |1815M|2816 | - |5645 | 10k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.93/1044.92 c 995s| 1680k|964622 | 0 | 0.0 |1824M|2816 | - |5645 | 11k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1056.03/1056.05 c 1005s| 1690k|966501 | 0 | 0.0 |1832M|2816 | - |5645 | 13k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.72/1060.74 c 1010s| 1700k|973967 | 0 | 0.0 |1838M|2816 | - |5645 |5300 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1064.62/1064.65 c 1013s| 1710k|981741 | 0 | 0.0 |1848M|2816 | - |5645 |5892 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.72/1068.75 c 1017s| 1720k|989284 | 0 | 0.0 |1857M|2816 | - |5645 |6345 | 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.02/1073.06 c 1021s| 1730k|996613 | 0 | 0.0 |1867M|2816 | - |5645 |6736 | 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.62/1077.65 c 1025s| 1740k| 1003k| 0 | 0.0 |1876M|2816 | - |5645 |7227 | 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.72/1082.70 c 1030s| 1750k| 1010k| 0 | 0.0 |1886M|2816 | - |5645 |7867 | 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.32/1088.39 c 1036s| 1760k| 1016k| 0 | 0.0 |1896M|2816 | - |5645 |8928 | 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.52/1094.56 c 1041s| 1770k| 1022k| 0 | 0.0 |1906M|2816 | - |5645 |8930 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1101.42/1101.47 c 1048s| 1780k| 1026k| 0 | 0.0 |1915M|2816 | - |5645 |9322 | 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.52/1108.53 c 1055s| 1790k| 1031k| 0 | 0.0 |1923M|2816 | - |5645 |8195 | 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1115.12/1115.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.12/1115.16 c 1061s| 1800k| 1036k| 0 | 0.0 |1931M|2816 | - |5645 |7122 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.12/1121.12 c 1067s| 1810k| 1042k| 0 | 0.0 |1940M|2816 | - |5645 |6502 | 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1126.12/1126.13 c 1071s| 1820k| 1048k| 0 | 0.0 |1948M|2816 | - |5645 |6295 | 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.92/1130.97 c 1076s| 1830k| 1055k| 0 | 0.0 |1957M|2816 | - |5645 |6368 | 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.82/1135.85 c 1080s| 1840k| 1062k| 0 | 0.0 |1966M|2816 | - |5645 |6956 | 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.92/1140.95 c 1085s| 1850k| 1069k| 0 | 0.0 |1976M|2816 | - |5645 |7784 | 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1146.42/1146.43 c 1090s| 1860k| 1075k| 0 | 0.0 |1986M|2816 | - |5645 |8779 | 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1152.82/1152.86 c 1096s| 1870k| 1081k| 0 | 0.0 |1995M|2816 | - |5645 |9696 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1160.12/1160.14 c 1103s| 1880k| 1085k| 0 | 0.0 |2005M|2816 | - |5645 | 10k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1169.03/1169.07 c 1112s| 1890k| 1089k| 0 | 0.0 |2014M|2816 | - |5645 | 12k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.02/1178.03 c 1121s| 1900k| 1093k| 0 | 0.0 |2019M|2816 | - |5645 |7424 | 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1182.53/1182.55 c 1125s| 1910k| 1100k| 0 | 0.0 |2027M|2816 | - |5645 |5729 | 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.62/1186.67 c 1129s| 1920k| 1108k| 0 | 0.0 |2036M|2816 | - |5645 |6143 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1191.02/1191.07 c 1133s| 1930k| 1115k| 0 | 0.0 |2046M|2816 | - |5645 |6793 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1195.82/1195.80 c 1137s| 1940k| 1122k| 0 | 0.0 |2056M|2816 | - |5645 |7357 | 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.62/1200.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.62/1200.65 c 1142s| 1950k| 1129k| 0 | 0.0 |2066M|2816 | - |5645 |8163 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.92/1205.98 c 1147s| 1960k| 1135k| 0 | 0.0 |2075M|2816 | - |5645 |8809 | 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.92/1211.95 c 1152s| 1970k| 1141k| 0 | 0.0 |2085M|2816 | - |5645 |9845 | 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.52/1218.53 c 1159s| 1980k| 1147k| 0 | 0.0 |2096M|2816 | - |5645 | 10k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.42/1226.49 c 1166s| 1990k| 1151k| 0 | 0.0 |2105M|2816 | - |5645 | 11k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.52/1236.50 c 1176s| 2000k| 1153k| 0 | 0.0 |2113M|2816 | - |5645 | 13k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.72/1241.71 c 1181s| 2010k| 1160k| 0 | 0.0 |2119M|2816 | - |5645 |5459 | 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.72/1245.77 c 1185s| 2020k| 1168k| 0 | 0.0 |2129M|2816 | - |5645 |5805 | 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1250.02/1250.02 c 1189s| 2030k| 1176k| 0 | 0.0 |2139M|2816 | - |5645 |5695 | 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1254.42/1254.41 c 1193s| 2040k| 1183k| 0 | 0.0 |2149M|2816 | - |5645 |6037 | 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1258.92/1258.97 c 1197s| 2050k| 1190k| 0 | 0.0 |2159M|2816 | - |5645 |6247 | 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1263.72/1263.80 c 1202s| 2060k| 1197k| 0 | 0.0 |2169M|2816 | - |5645 |6589 | 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.72/1268.71 c 1206s| 2070k| 1204k| 0 | 0.0 |2179M|2816 | - |5645 |6792 | 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.73/1273.70 c 1211s| 2080k| 1211k| 0 | 0.0 |2190M|2816 | - |5645 |7147 | 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.93/1278.93 c 1216s| 2090k| 1217k| 0 | 0.0 |2199M|2816 | - |5645 |7542 | 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1284.32/1284.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.32/1284.36 c 1221s| 2100k| 1223k| 0 | 0.0 |2209M|2816 | - |5645 |7680 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1289.62/1289.65 c 1226s| 2110k| 1230k| 0 | 0.0 |2219M|2816 | - |5645 |7794 | 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.42/1295.44 c 1231s| 2120k| 1236k| 0 | 0.0 |2228M|2816 | - |5645 |8320 | 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.12/1301.16 c 1237s| 2130k| 1242k| 0 | 0.0 |2238M|2816 | - |5645 |8242 | 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.22/1307.29 c 1242s| 2140k| 1248k| 0 | 0.0 |2247M|2816 | - |5645 |8969 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.43/1313.46 c 1248s| 2150k| 1253k| 0 | 0.0 |2256M|2816 | - |5645 |8997 | 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1320.12/1320.17 c 1255s| 2160k| 1259k| 0 | 0.0 |2266M|2816 | - |5645 |9736 | 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1327.02/1327.04 c 1261s| 2170k| 1264k| 0 | 0.0 |2275M|2816 | - |5645 |9988 | 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.72/1333.78 c 1268s| 2180k| 1269k| 0 | 0.0 |2284M|2816 | - |5645 |9829 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.13/1341.18 c 1275s| 2190k| 1274k| 0 | 0.0 |2292M|2816 | - |5645 | 10k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.02/1349.06 c 1282s| 2200k| 1279k| 0 | 0.0 |2301M|2816 | - |5645 | 11k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.22/1357.29 c 1290s| 2210k| 1283k| 0 | 0.0 |2310M|2816 | - |5645 | 12k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.93/1367.95 c 1300s| 2220k| 1285k| 0 | 0.0 |2318M|2816 | - |5645 | 14k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.83/1374.82 c 1307s| 2230k| 1291k| 0 | 0.0 |2323M|2816 | - |5645 |5698 | 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.72/1378.76 c 1310s| 2240k| 1299k| 0 | 0.0 |2333M|2816 | - |5645 |6049 | 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.73/1382.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.73/1382.73 c 1314s| 2250k| 1306k| 0 | 0.0 |2343M|2816 | - |5645 |6535 | 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.13/1387.12 c 1318s| 2260k| 1314k| 0 | 0.0 |2352M|2816 | - |5645 |7176 | 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.02/1392.00 c 1323s| 2270k| 1321k| 0 | 0.0 |2362M|2816 | - |5645 |8097 | 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1397.22/1397.21 c 1328s| 2280k| 1327k| 0 | 0.0 |2372M|2816 | - |5645 |8769 | 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1402.83/1402.86 c 1333s| 2290k| 1333k| 0 | 0.0 |2382M|2816 | - |5645 |9527 | 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1409.03/1409.01 c 1339s| 2300k| 1339k| 0 | 0.0 |2391M|2816 | - |5645 | 10k| 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.92/1415.95 c 1346s| 2310k| 1344k| 0 | 0.0 |2400M|2816 | - |5645 | 10k| 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1423.53/1423.52 c 1353s| 2320k| 1349k| 0 | 0.0 |2410M|2816 | - |5645 | 12k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.83/1433.85 c 1363s| 2330k| 1351k| 0 | 0.0 |2418M|2816 | - |5645 | 13k| 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1440.33/1440.36 c 1369s| 2340k| 1357k| 0 | 0.0 |2423M|2816 | - |5645 |5843 | 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.43/1444.46 c 1373s| 2350k| 1365k| 0 | 0.0 |2433M|2816 | - |5645 |6221 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.83/1448.82 c 1377s| 2360k| 1372k| 0 | 0.0 |2443M|2816 | - |5645 |6753 | 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.53/1453.53 c 1381s| 2370k| 1379k| 0 | 0.0 |2453M|2816 | - |5645 |7279 | 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1458.72/1458.73 c 1386s| 2380k| 1386k| 0 | 0.0 |2464M|2816 | - |5645 |8017 | 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1464.32/1464.36 c 1391s| 2390k| 1392k| 0 | 0.0 |2474M|2816 | - |5645 |8683 | 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1470.63/1470.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.63/1470.68 c 1397s| 2400k| 1397k| 0 | 0.0 |2485M|2816 | - |5645 |9624 | 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.83/1477.81 c 1404s| 2410k| 1402k| 0 | 0.0 |2496M|2816 | - |5645 | 10k| 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1485.72/1485.78 c 1412s| 2420k| 1407k| 0 | 0.0 |2505M|2816 | - |5645 | 11k| 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.83/1495.83 c 1421s| 2430k| 1409k| 0 | 0.0 |2513M|2816 | - |5645 | 13k| 0 | 0 | 0 |2063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.53/1502.59 c 1428s| 2440k| 1415k| 0 | 0.0 |2519M|2816 | - |5645 |5821 | 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1506.43/1506.44 c 1431s| 2450k| 1423k| 0 | 0.0 |2529M|2816 | - |5645 |6318 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.52/1510.57 c 1435s| 2460k| 1430k| 0 | 0.0 |2538M|2816 | - |5645 |6871 | 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.83/1514.89 c 1439s| 2470k| 1437k| 0 | 0.0 |2548M|2816 | - |5645 |7428 | 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1519.53/1519.57 c 1444s| 2480k| 1444k| 0 | 0.0 |2558M|2816 | - |5645 |8039 | 0 | 0 | 0 |2091k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1524.63/1524.61 c 1448s| 2490k| 1451k| 0 | 0.0 |2567M|2816 | - |5645 |8650 | 0 | 0 | 0 |2097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1530.03/1530.06 c 1454s| 2500k| 1457k| 0 | 0.0 |2577M|2816 | - |5645 |9278 | 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1536.53/1536.59 c 1460s| 2510k| 1463k| 0 | 0.0 |2586M|2816 | - |5645 | 10k| 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1543.62/1543.67 c 1466s| 2520k| 1468k| 0 | 0.0 |2595M|2816 | - |5645 | 11k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.73/1551.78 c 1474s| 2530k| 1472k| 0 | 0.0 |2604M|2816 | - |5645 | 12k| 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.32/1561.36 c 1483s| 2540k| 1475k| 0 | 0.0 |2610M|2816 | - |5645 |8746 | 0 | 0 | 0 |2146k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.23/1565.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.23/1565.27 c 1487s| 2550k| 1483k| 0 | 0.0 |2619M|2816 | - |5645 |5847 | 0 | 0 | 0 |2150k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.33/1569.33 c 1491s| 2560k| 1491k| 0 | 0.0 |2629M|2816 | - |5645 |6371 | 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.62/1573.68 c 1495s| 2570k| 1498k| 0 | 0.0 |2639M|2816 | - |5645 |7076 | 0 | 0 | 0 |2159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1578.33/1578.38 c 1499s| 2580k| 1505k| 0 | 0.0 |2649M|2816 | - |5645 |7872 | 0 | 0 | 0 |2164k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.33/1583.32 c 1504s| 2590k| 1512k| 0 | 0.0 |2659M|2816 | - |5645 |8529 | 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.72/1588.73 c 1509s| 2600k| 1518k| 0 | 0.0 |2668M|2816 | - |5645 |8740 | 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1594.43/1594.49 c 1514s| 2610k| 1524k| 0 | 0.0 |2678M|2816 | - |5645 |9432 | 0 | 0 | 0 |2184k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1600.63/1600.65 c 1520s| 2620k| 1530k| 0 | 0.0 |2687M|2816 | - |5645 | 10k| 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1608.33/1608.34 c 1528s| 2630k| 1534k| 0 | 0.0 |2697M|2816 | - |5645 | 11k| 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.73/1617.75 c 1537s| 2640k| 1537k| 0 | 0.0 |2706M|2816 | - |5645 | 13k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.23/1624.25 c 1543s| 2650k| 1543k| 0 | 0.0 |2711M|2816 | - |5645 |5925 | 0 | 0 | 0 |2227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1628.23/1628.23 c 1547s| 2660k| 1551k| 0 | 0.0 |2721M|2816 | - |5645 |6283 | 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1632.53/1632.50 c 1551s| 2670k| 1558k| 0 | 0.0 |2731M|2816 | - |5645 |6993 | 0 | 0 | 0 |2235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1636.93/1636.98 c 1555s| 2680k| 1565k| 0 | 0.0 |2741M|2816 | - |5645 |7520 | 0 | 0 | 0 |2240k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.63/1641.60 c 1559s| 2690k| 1573k| 0 | 0.0 |2751M|2816 | - |5645 |8206 | 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.64/1646.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.64/1646.63 c 1564s| 2700k| 1579k| 0 | 0.0 |2760M|2816 | - |5645 |8804 | 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.24/1652.24 c 1569s| 2710k| 1585k| 0 | 0.0 |2770M|2816 | - |5645 |9914 | 0 | 0 | 0 |2259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.63/1658.62 c 1575s| 2720k| 1591k| 0 | 0.0 |2779M|2816 | - |5645 | 11k| 0 | 0 | 0 |2267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.34/1666.30 c 1583s| 2730k| 1595k| 0 | 0.0 |2788M|2816 | - |5645 | 12k| 0 | 0 | 0 |2277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.14/1676.14 c 1592s| 2740k| 1598k| 0 | 0.0 |2797M|2816 | - |5645 | 14k| 0 | 0 | 0 |2291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.03/1682.05 c 1598s| 2750k| 1605k| 0 | 0.0 |2802M|2816 | - |5645 |5976 | 0 | 0 | 0 |2298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1686.03/1686.01 c 1602s| 2760k| 1613k| 0 | 0.0 |2812M|2816 | - |5645 |6103 | 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1690.23/1690.25 c 1606s| 2770k| 1620k| 0 | 0.0 |2822M|2816 | - |5645 |6712 | 0 | 0 | 0 |2306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.93/1694.90 c 1610s| 2780k| 1627k| 0 | 0.0 |2832M|2816 | - |5645 |7517 | 0 | 0 | 0 |2311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1699.84/1699.83 c 1615s| 2790k| 1634k| 0 | 0.0 |2842M|2816 | - |5645 |7932 | 0 | 0 | 0 |2317k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1705.13/1705.16 c 1620s| 2800k| 1641k| 0 | 0.0 |2851M|2816 | - |5645 |8640 | 0 | 0 | 0 |2323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1710.54/1710.53 c 1625s| 2810k| 1647k| 0 | 0.0 |2861M|2816 | - |5645 |9096 | 0 | 0 | 0 |2329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1715.23/1715.23 c (node 2817910) switching to memory saving mode (mem: 2736.0M/3420.0M)
1719.94/1719.97 c 1634s| 2820k| 1649k| 0 | 0.0 |2862M|2816 | - |5645 |9184 | 0 | 0 | 0 |2343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.33/1740.32 c 1654s| 2830k| 1638k| 0 | 0.0 |2837M|2816 | - |5645 |9963 | 0 | 0 | 0 |2376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1760.04/1760.06 c 1673s| 2840k| 1628k| 0 | 0.0 |2814M|2816 | - |5645 | 11k| 0 | 0 | 0 |2406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1778.74/1778.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.74/1778.77 c 1691s| 2850k| 1619k| 0 | 0.0 |2796M|2816 | - |5645 | 11k| 0 | 0 | 0 |2434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1797.34/1797.38 c 1709s| 2860k| 1610k| 0 | 0.0 |2778M|2816 | - |5645 | 11k| 0 | 0 | 0 |2460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1711.63
1800.04/1800.00 c Solving Nodes : 2861728
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (33 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.08 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.08 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.04/1800.08 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.04/1800.08 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.08 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.08 v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.08 v x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1711.63
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693665-1277929430.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693665-1277929430.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 22431 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2679 - - 5358 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 6132213 0 1831489 33 3512692 0 0 0
1800.04/1800.08 c linear : 2707 0 8855323 0 2424863 628032 50389873 0 0 0
1800.04/1800.08 c logicor : 0+ 0 4381213 0 0 96151 2788673 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2424886 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 7.78 0.00 4.55 0.00 3.23
1800.04/1800.08 c linear : 463.72 0.00 462.65 0.00 1.07
1800.04/1800.08 c logicor : 215.03 0.00 215.03 0.00 0.00
1800.04/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.00 2 0 0
1800.04/1800.08 c rootredcost : 0.01 0 0 0
1800.04/1800.08 c pseudoobj : 414.90 8855784 501 3503864
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 37.36 724684 724680 3678225 22.2 391869 11.5 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.01 49 49 274 38.9 216 9.7 -
1800.04/1800.08 c applied globally : - - - 2464718 19.4 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 33.74 2424856 0 0 0 0 4849712
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.08 - 30
1800.04/1800.08 c oneopt : 0.06 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.01 0 0
1800.04/1800.08 c trysol : 0.01 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2861728
1800.04/1800.08 c nodes (total) : 2861728
1800.04/1800.08 c nodes left : 1609386
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 391463 (13.7%)
1800.04/1800.08 c delayed cutoffs : 344412
1800.04/1800.08 c repropagations : 1493350 (17095138 domain reductions, 287924 cutoffs)
1800.04/1800.08 c avg switch length: 34.57
1800.04/1800.08 c switching time : 486.71
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 33 (31 improvements)
1800.04/1800.08 c First Solution : +1.37945000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1156790 nodes, 709.01 seconds, depth 46, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 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-2693665-1277929430/watcher-2693665-1277929430 -o /tmp/evaluation-result-2693665-1277929430/solver-2693665-1277929430 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693665-1277929430.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 19447
/proc/meminfo: memFree=28748320/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=8408 CPUtime=0
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 134238468 8609792 1501 4089446400 4194304 7136930 140735033130752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19447/statm: 2102 1502 275 719 0 1381 0
[startup+0.0491091 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 19447
/proc/meminfo: memFree=28748320/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=27628 CPUtime=0.04
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 6756 0 0 0 3 1 0 0 25 0 1 0 134238468 28291072 6324 4089446400 4194304 7136930 140735033130752 18446744073709551615 4682027 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 6907 6324 289 719 0 6186 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27628
[startup+0.101199 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 19447
/proc/meminfo: memFree=28748320/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=33676 CPUtime=0.09
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 7967 0 0 0 8 1 0 0 25 0 1 0 134238468 34484224 7535 4089446400 4194304 7136930 140735033130752 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 8419 7535 323 719 0 7698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33676
[startup+0.301164 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 19447
/proc/meminfo: memFree=28748320/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=36496 CPUtime=0.29
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 9241 0 0 0 27 2 0 0 25 0 1 0 134238468 37371904 8295 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 9124 8295 383 719 0 8403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496
[startup+0.700997 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 19447
/proc/meminfo: memFree=28748320/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=37636 CPUtime=0.69
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 9516 0 0 0 64 5 0 0 25 0 1 0 134238468 38539264 8570 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 9409 8570 383 719 0 8688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37636
[startup+1.50086 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19448
/proc/meminfo: memFree=28711244/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=42996 CPUtime=1.49
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 10866 0 0 0 136 13 0 0 25 0 1 0 134238468 44027904 9920 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 10749 9920 390 719 0 10028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42996
[startup+3.10057 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19448
/proc/meminfo: memFree=28705416/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=46160 CPUtime=3.09
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 11702 0 0 0 287 22 0 0 25 0 1 0 134238468 47267840 10756 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 11540 10756 391 719 0 10819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46160
[startup+6.30096 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19448
/proc/meminfo: memFree=28682048/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=61064 CPUtime=6.29
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 15330 0 0 0 583 46 0 0 25 0 1 0 134238468 62529536 14384 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 15266 14384 391 719 0 14545 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61064
[startup+12.7008 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 19448
/proc/meminfo: memFree=28648672/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=82560 CPUtime=12.69
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 20593 0 0 0 1183 86 0 0 25 0 1 0 134238468 84541440 19647 4089446400 4194304 7136930 140735033130752 18446744073709551615 4209686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 20640 19647 391 719 0 19919 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82560
[startup+25.5005 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19448
/proc/meminfo: memFree=28586072/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=134736 CPUtime=25.5
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 33179 0 0 0 2401 149 0 0 25 0 1 0 134238468 137969664 32233 4089446400 4194304 7136930 140735033130752 18446744073709551615 4660886 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19447/statm: 33684 32233 391 719 0 32963 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 134736
[startup+51.1008 s]
/proc/loadavg: 2.01 2.00 2.00 5/179 19449
/proc/meminfo: memFree=28490432/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=215816 CPUtime=51.09
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 52732 0 0 0 4791 318 0 0 25 0 1 0 134238468 220995584 51786 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 53954 51786 391 719 0 53233 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 215816
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19450
/proc/meminfo: memFree=28344924/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=323136 CPUtime=102.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 79678 0 0 0 9666 564 0 0 25 0 1 0 134238468 330891264 78732 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 80784 78732 391 719 0 80063 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 323136
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19452
/proc/meminfo: memFree=28060148/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=565196 CPUtime=162.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 135686 0 0 0 15457 773 0 0 25 0 1 0 134238468 578760704 134713 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 141299 134713 391 719 0 140578 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 565196
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19454
/proc/meminfo: memFree=27738676/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=814660 CPUtime=222.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 192549 0 0 0 21105 1125 0 0 25 0 1 0 134238468 834211840 191576 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 203665 191576 391 719 0 202944 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 814660
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19455
/proc/meminfo: memFree=27546912/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=940336 CPUtime=282.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 224203 0 0 0 26714 1516 0 0 25 0 1 0 134238468 962904064 223230 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 235084 223230 391 719 0 234363 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 940336
[startup+342.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/197 19503
/proc/meminfo: memFree=29804864/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=1061948 CPUtime=342.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 255086 0 0 0 32326 1904 0 0 25 0 1 0 134238468 1087434752 254113 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 265487 254113 391 719 0 264766 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1061948
[startup+402.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/197 19504
/proc/meminfo: memFree=29637140/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=1196752 CPUtime=402.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 286903 0 0 0 37995 2235 0 0 25 0 1 0 134238468 1225474048 285930 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 299188 285930 391 719 0 298467 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1196752
[startup+462.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/197 19506
/proc/meminfo: memFree=29520148/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=1280988 CPUtime=462.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 308109 0 0 0 43743 2487 0 0 25 0 1 0 134238468 1311731712 307136 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 320247 307136 391 719 0 319526 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1280988
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 19511
/proc/meminfo: memFree=29422052/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=1359760 CPUtime=522.31
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 327904 0 0 0 49519 2712 0 0 25 0 1 0 134238468 1392394240 326931 4089446400 4194304 7136930 140735033130752 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 339940 326931 391 719 0 339219 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1359760
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 19512
/proc/meminfo: memFree=29302344/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=1434152 CPUtime=582.3
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 346367 0 0 0 55306 2924 0 0 25 0 1 0 134238468 1468571648 345394 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 358538 345394 391 719 0 357817 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1434152
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 19514
/proc/meminfo: memFree=29207792/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=1487448 CPUtime=642.31
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 359906 0 0 0 61094 3137 0 0 25 0 1 0 134238468 1523146752 358933 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 371862 358933 391 719 0 371141 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1487448
[startup+702.301 s]
################
# More data... #
################
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 512387 0 0 0 101117 5115 0 0 25 0 1 0 134238468 2155749376 511414 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 526306 511414 391 719 0 525585 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2105224
[startup+1122.3 s]
/proc/loadavg: 2.04 2.12 2.06 3/197 19527
/proc/meminfo: memFree=28272968/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2216016 CPUtime=1122.32
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 536254 0 0 0 106769 5463 0 0 25 0 1 0 134238468 2269200384 535281 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 554004 535281 391 719 0 553283 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2216016
[startup+1182.3 s]
/proc/loadavg: 2.01 2.09 2.05 3/197 19528
/proc/meminfo: memFree=28194800/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2293068 CPUtime=1182.32
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 555703 0 0 0 112463 5769 0 0 25 0 1 0 134238468 2348101632 554730 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 573267 554730 391 719 0 572546 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2293068
[startup+1242.3 s]
/proc/loadavg: 2.06 2.09 2.05 3/197 19530
/proc/meminfo: memFree=28093444/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2392968 CPUtime=1242.32
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 580820 0 0 0 118145 6087 0 0 25 0 1 0 134238468 2450399232 579847 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 598242 579847 391 719 0 597521 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2392968
[startup+1302.3 s]
/proc/loadavg: 2.02 2.07 2.05 3/197 19531
/proc/meminfo: memFree=27973376/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2511184 CPUtime=1302.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 610571 0 0 0 123772 6461 0 0 25 0 1 0 134238468 2571452416 609598 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 627796 609598 391 719 0 627075 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2511184
[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/197 19533
/proc/meminfo: memFree=27904864/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2578700 CPUtime=1362.32
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 627609 0 0 0 129479 6753 0 0 25 0 1 0 134238468 2640588800 626636 4089446400 4194304 7136930 140735033130752 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 644675 626636 391 719 0 643954 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2578700
[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.03 3/197 19535
/proc/meminfo: memFree=27795056/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2670052 CPUtime=1422.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 650623 0 0 0 135160 7073 0 0 25 0 1 0 134238468 2734133248 649650 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 667513 649650 391 719 0 666792 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2670052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/197 19536
/proc/meminfo: memFree=27664560/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2765916 CPUtime=1482.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 674855 0 0 0 140850 7383 0 0 25 0 1 0 134238468 2832297984 673882 4089446400 4194304 7136930 140735033130752 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19447/statm: 691479 673882 391 719 0 690758 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2765916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/197 19538
/proc/meminfo: memFree=27558124/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2859292 CPUtime=1542.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 698429 0 0 0 146517 7716 0 0 25 0 1 0 134238468 2927915008 697456 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19447/statm: 714823 697456 391 719 0 714102 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2859292
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/197 19539
/proc/meminfo: memFree=27458120/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=2950484 CPUtime=1602.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 721390 0 0 0 152179 8054 0 0 25 0 1 0 134238468 3021295616 720417 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19447/statm: 737621 720417 391 719 0 736900 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2950484
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.03 3/197 19541
/proc/meminfo: memFree=27332464/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3040560 CPUtime=1662.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 744082 0 0 0 157900 8333 0 0 25 0 1 0 134238468 3113533440 743109 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19447/statm: 760140 743109 391 719 0 759419 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3040560
[startup+1722.3 s]
/proc/loadavg: 2.29 2.14 2.06 3/197 19543
/proc/meminfo: memFree=27194296/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3125832 CPUtime=1722.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 772156 0 0 0 163620 8613 0 0 25 0 1 0 134238468 3200851968 764728 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19447/statm: 781458 764728 391 719 0 780737 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3125832
[startup+1782.3 s]
/proc/loadavg: 2.18 2.13 2.06 3/197 19544
/proc/meminfo: memFree=27171572/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3125992 CPUtime=1782.33
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 772165 0 0 0 169444 8789 0 0 25 0 1 0 134238468 3201015808 764737 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19447/statm: 781498 764737 391 719 0 780777 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3125992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.12 2.06 3/197 19545
/proc/meminfo: memFree=27164608/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3125992 CPUtime=1800.04
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 772166 0 0 0 171165 8839 0 0 25 0 1 0 134238468 3201015808 764738 4089446400 4194304 7136930 140735033130752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19447/statm: 781498 764738 391 719 0 780777 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3125992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19447
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.13 2.12 2.06 3/198 19546
/proc/meminfo: memFree=27164356/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3125636 CPUtime=1801.44
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 772199 0 0 0 171305 8839 0 0 19 0 1 0 134238468 3200651264 764563 4089446400 4194304 7136930 140735033130752 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19447/statm: 781409 764563 397 719 0 780688 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3125636
[startup+1801.81 s]
/proc/loadavg: 2.13 2.12 2.06 3/198 19546
/proc/meminfo: memFree=27166588/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3113132 CPUtime=1801.84
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 772199 0 0 0 171345 8839 0 0 20 0 1 0 134238468 3187847168 761438 4089446400 4194304 7136930 140735033130752 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19447/statm: 778283 761438 397 719 0 777562 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3113132
[startup+1802 s]
/proc/loadavg: 2.13 2.12 2.06 3/198 19546
/proc/meminfo: memFree=27166588/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=3104932 CPUtime=1802.03
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4202496 772199 0 0 0 171364 8839 0 0 21 0 1 0 134238468 3179450368 759389 4089446400 4194304 7136930 140735033130752 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19447/statm: 776233 759389 397 719 0 775512 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3104932
[startup+1802.1 s]
/proc/loadavg: 2.13 2.12 2.06 3/198 19546
/proc/meminfo: memFree=27166588/32951124 swapFree=67111528/67111528
[pid=19447] ppid=19445 vsize=0 CPUtime=1802.14
/proc/19447/stat : 19447 (pbscip.linux.x8) R 19445 19447 17178 0 -1 4203524 772199 0 0 0 171365 8849 0 0 21 0 1 0 134238468 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19447/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.15
CPU user time (s): 1713.66
CPU system time (s): 88.4935
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3157588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.66
system time used= 88.4935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 772199
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= 2728
runsolver used 2.99454 second user time and 6.08607 second system time
The end
Begin job on node139 at 2010-06-30 22:23:50
IDJOB=2693665
IDBENCH=79297
IDSOLVER=1206
FILE ID=node139/2693665-1277929430
PBS_JOBID= 11197347
Free space on /tmp= 74120 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693665-1277929430/watcher-2693665-1277929430 -o /tmp/evaluation-result-2693665-1277929430/solver-2693665-1277929430 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693665-1277929430.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fe10d6822f5aa7d11d2a88b2406ba570
RANDOM SEED=1940565795
node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28748848 kB
Buffers: 218564 kB
Cached: 1480908 kB
SwapCached: 0 kB
Active: 3031068 kB
Inactive: 1019520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28748848 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3164 kB
Writeback: 0 kB
AnonPages: 2350788 kB
Mapped: 16040 kB
Slab: 83996 kB
PageTables: 9644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2526768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74120 MiB
End job on node139 at 2010-06-30 22:53:52