Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.13 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo |
| MD5SUM | 51cd1cd61e067c06067b10b7beeffad7 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 33.8359 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 135865 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135864 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2693617-1277926815.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 135864
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.358640e+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.13
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.97
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.18 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.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
3.39/3.41 c 3.3s| 10000 | 9607 | 0 | 0.0 | 24M|2816 | - |5645 |6588 | 0 | 0 | 0 |1174 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
3.79/3.87 o 554
3.79/3.87 c * 3.8s| 11275 | 10529 | 0 | 0.0 | 24M|2816 | - |5645 |6608 | 0 | 0 | 0 |1194 | 0 | 0.000000e+00 | 5.540000e+02 | Inf
4.00/4.04 o 512
4.00/4.04 c * 3.9s| 11594 | 10130 | 0 | 0.0 | 25M|2816 | - |5645 |6649 | 0 | 0 | 0 |1235 | 0 | 0.000000e+00 | 5.120000e+02 | Inf
4.19/4.27 o 335
4.19/4.27 c * 4.2s| 12147 | 6982 | 0 | 0.0 | 24M|2816 | - |5645 |6709 | 0 | 0 | 0 |1295 | 0 | 0.000000e+00 | 3.350000e+02 | Inf
4.19/4.27 o 317
4.19/4.27 c * 4.2s| 12148 | 6646 | 0 | 0.0 | 24M|2816 | - |5645 |6709 | 0 | 0 | 0 |1295 | 0 | 0.000000e+00 | 3.170000e+02 | Inf
4.30/4.32 o 286
4.30/4.32 c * 4.2s| 12281 | 6341 | 0 | 0.0 | 24M|2816 | - |5645 |6719 | 0 | 0 | 0 |1305 | 0 | 0.000000e+00 | 2.860000e+02 | Inf
4.30/4.33 o 268
4.30/4.33 c * 4.2s| 12282 | 6050 | 0 | 0.0 | 23M|2816 | - |5645 |6719 | 0 | 0 | 0 |1305 | 0 | 0.000000e+00 | 2.680000e+02 | Inf
4.30/4.37 o 252
4.30/4.37 c * 4.3s| 12392 | 6050 | 0 | 0.0 | 24M|2816 | - |5645 |6719 | 0 | 0 | 0 |1305 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
6.99/7.09 c 6.9s| 20000 | 12410 | 0 | 0.0 | 32M|2816 | - |5645 |7988 | 0 | 0 | 0 |6505 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
11.79/11.86 c 11.6s| 30000 | 19175 | 0 | 0.0 | 45M|2816 | - |5645 |9206 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.520000e+02 | Inf
13.79/13.89 o 243
13.79/13.89 c *13.6s| 32863 | 20825 | 0 | 0.0 | 47M|2816 | - |5645 |9480 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
13.79/13.89 o 241
13.79/13.89 c *13.6s| 32864 | 20822 | 0 | 0.0 | 48M|2816 | - |5645 |9480 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
13.89/13.97 o 239
13.89/13.97 c *13.7s| 32992 | 20945 | 0 | 0.0 | 48M|2816 | - |5645 |9426 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.390000e+02 | Inf
14.49/14.52 o 236
14.49/14.52 c *14.2s| 33939 | 21855 | 0 | 0.0 | 49M|2816 | - |5645 |9299 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
15.59/15.68 o 229
15.59/15.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.59/15.68 c *15.4s| 35875 | 23686 | 0 | 0.0 | 51M|2816 | - |5645 |9184 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.290000e+02 | Inf
15.99/16.07 o 214
15.99/16.07 c *15.8s| 36615 | 24303 | 0 | 0.0 | 51M|2816 | - |5645 |8924 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
17.29/17.31 o 190
17.29/17.31 c *17.0s| 38608 | 25729 | 0 | 0.0 | 52M|2816 | - |5645 |8637 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
18.39/18.42 c 18.1s| 40000 | 26928 | 0 | 0.0 | 55M|2816 | - |5645 |9140 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
18.79/18.81 o 187
18.79/18.81 c *18.5s| 40399 | 27215 | 0 | 0.0 | 57M|2816 | - |5645 |9401 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.870000e+02 | Inf
18.79/18.81 o 183
18.79/18.81 c *18.5s| 40400 | 27148 | 0 | 0.0 | 57M|2816 | - |5645 |9401 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
20.29/20.34 o 177
20.29/20.34 c *20.0s| 42963 | 29522 | 0 | 0.0 | 59M|2816 | - |5645 |8503 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
20.59/20.63 o 175
20.59/20.63 c *20.3s| 43485 | 29976 | 0 | 0.0 | 59M|2816 | - |5645 |8429 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
21.60/21.60 o 172
21.60/21.60 c *21.2s| 45018 | 31367 | 0 | 0.0 | 61M|2816 | - |5645 |8239 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
23.19/23.23 o 158
23.19/23.23 c *22.8s| 47594 | 33506 | 0 | 0.0 | 63M|2816 | - |5645 |8214 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
24.89/24.90 c 24.5s| 50000 | 35643 | 0 | 0.0 | 68M|2816 | - |5645 |8395 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
24.89/24.91 o 141
24.89/24.91 c *24.5s| 50011 | 35240 | 0 | 0.0 | 66M|2816 | - |5645 |8395 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
24.89/24.91 o 132
24.89/24.91 c *24.5s| 50012 | 34833 | 0 | 0.0 | 64M|2816 | - |5645 |8395 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
25.49/25.54 o 120
25.49/25.54 c *25.1s| 51054 | 35489 | 0 | 0.0 | 64M|2816 | - |5645 |8210 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
25.49/25.55 o 111
25.49/25.55 c *25.1s| 51063 | 35102 | 0 | 0.0 | 62M|2816 | - |5645 |8213 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
25.49/25.56 o 96
25.49/25.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.49/25.56 c *25.1s| 51064 | 34215 | 0 | 0.0 | 61M|2816 | - |5645 |8213 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
25.99/26.02 o 93
25.99/26.02 c *25.6s| 51755 | 34512 | 0 | 0.0 | 61M|2816 | - |5645 |8206 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
28.59/28.64 o 84
28.59/28.64 c *28.1s| 55365 | 36992 | 0 | 0.0 | 66M|2816 | - |5645 |8177 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
28.59/28.64 o 71
28.59/28.64 c *28.1s| 55366 | 35912 | 0 | 0.0 | 64M|2816 | - |5645 |8177 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
29.29/29.39 o 58
29.29/29.39 c *28.9s| 56719 | 35633 | 0 | 0.0 | 65M|2816 | - |5645 |8097 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
31.39/31.43 c 30.9s| 60000 | 38415 | 0 | 0.0 | 69M|2816 | - |5645 |7075 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
32.39/32.41 o 56
32.39/32.41 c *31.8s| 61764 | 39713 | 0 | 0.0 | 72M|2816 | - |5645 |7818 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
32.39/32.41 o 53
32.39/32.41 c *31.8s| 61765 | 39385 | 0 | 0.0 | 72M|2816 | - |5645 |7818 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
36.69/36.70 o 52
36.69/36.70 c *36.1s| 69407 | 45811 | 0 | 0.0 | 80M|2816 | - |5645 |7856 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
36.89/36.97 c 36.3s| 70000 | 46320 | 0 | 0.0 | 80M|2816 | - |5645 |7884 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
37.89/37.97 o 25
37.89/37.97 c *37.3s| 72232 | 45339 | 0 | 0.0 | 76M|2816 | - |5645 |8350 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
40.99/41.09 c 40.4s| 80000 | 51902 | 0 | 0.0 | 84M|2816 | - |5645 |8870 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
45.00/45.00 c 44.2s| 90000 | 60406 | 0 | 0.0 | 95M|2816 | - |5645 |7442 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
48.59/48.67 c 47.8s|100000 | 68655 | 0 | 0.0 | 105M|2816 | - |5645 |7500 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
52.39/52.48 c 51.5s|110000 | 76658 | 0 | 0.0 | 115M|2816 | - |5645 |7884 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
56.99/57.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.99/57.06 c 56.0s|120000 | 84075 | 0 | 0.0 | 126M|2816 | - |5645 |8163 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
63.19/63.27 c 62.2s|130000 | 90110 | 0 | 0.0 | 137M|2816 | - |5645 |8953 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
69.79/69.88 c 68.7s|140000 | 95700 | 0 | 0.0 | 149M|2816 | - |5645 |9739 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
76.99/77.01 c 75.7s|150000 |100915 | 0 | 0.0 | 161M|2816 | - |5645 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
84.99/85.03 c 83.6s|160000 |105431 | 0 | 0.0 | 174M|2816 | - |5645 | 10k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
93.89/93.92 c 92.4s|170000 |109116 | 0 | 0.0 | 186M|2816 | - |5645 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
105.69/105.71 c 104s|180000 |110249 | 0 | 0.0 | 194M|2816 | - |5645 | 14k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
110.89/110.94 c 109s|190000 |118841 | 0 | 0.0 | 203M|2816 | - |5645 |6875 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
119.00/119.05 c 117s|200000 |125476 | 0 | 0.0 | 220M|2816 | - |5645 |8007 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
124.99/125.06 c 123s|210000 |133105 | 0 | 0.0 | 231M|2816 | - |5645 |6707 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
128.09/128.13 o 15
128.09/128.13 c * 126s|213887 |134029 | 0 | 0.0 | 229M|2816 | - |5645 |8112 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
132.70/132.70 c 131s|220000 |137455 | 0 | 0.0 | 238M|2816 | - |5645 |7237 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
138.29/138.39 c 136s|230000 |145538 | 0 | 0.0 | 250M|2816 | - |5645 |8415 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
146.20/146.21 c 144s|240000 |152424 | 0 | 0.0 | 264M|2816 | - |5645 | 10k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
155.89/155.95 c 154s|250000 |157904 | 0 | 0.0 | 275M|2816 | - |5645 |8834 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
162.49/162.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.49/162.53 c 160s|260000 |163979 | 0 | 0.0 | 286M|2816 | - |5645 | 11k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
168.70/168.76 c 166s|270000 |170770 | 0 | 0.0 | 297M|2816 | - |5645 |9541 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
175.60/175.67 c 173s|280000 |177790 | 0 | 0.0 | 309M|2816 | - |5645 | 10k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
182.50/182.50 c 180s|290000 |184547 | 0 | 0.0 | 321M|2816 | - |5645 | 11k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
185.49/185.55 o 7
185.49/185.55 c * 183s|293059 |183582 | 0 | 0.0 | 313M|2816 | - |5645 | 13k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
189.49/189.55 c 187s|300000 |188554 | 0 | 0.0 | 320M|2816 | - |5645 | 10k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
196.90/196.91 c 194s|310000 |194831 | 0 | 0.0 | 332M|2816 | - |5645 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
203.80/203.84 c 201s|320000 |201287 | 0 | 0.0 | 347M|2816 | - |5645 | 13k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
208.79/208.84 c 206s|330000 |209498 | 0 | 0.0 | 358M|2816 | - |5645 | 11k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
215.79/215.82 c 213s|340000 |216596 | 0 | 0.0 | 370M|2816 | - |5645 | 13k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
225.10/225.16 c 222s|350000 |222010 | 0 | 0.0 | 381M|2816 | - |5645 | 12k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
232.50/232.54 c 229s|360000 |228330 | 0 | 0.0 | 393M|2816 | - |5645 | 14k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.10/234.13 o 5
234.10/234.13 c * 231s|363345 |230090 | 0 | 0.0 | 391M|2816 | - |5645 | 12k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
238.10/238.19 c 235s|370000 |235297 | 0 | 0.0 | 401M|2816 | - |5645 | 13k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
245.90/245.91 c 242s|380000 |241989 | 0 | 0.0 | 413M|2816 | - |5645 | 14k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
253.50/253.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.50/253.50 c 250s|390000 |248676 | 0 | 0.0 | 433M|2816 | - |5645 | 13k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
260.20/260.28 c 256s|400000 |254702 | 0 | 0.0 | 448M|2816 | - |5645 | 12k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
264.29/264.32 c 260s|410000 |262817 | 0 | 0.0 | 458M|2816 | - |5645 | 11k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.50/269.54 c 265s|420000 |269668 | 0 | 0.0 | 468M|2816 | - |5645 | 11k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
275.10/275.15 c 271s|430000 |276091 | 0 | 0.0 | 477M|2816 | - |5645 | 11k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
279.70/279.77 c 276s|440000 |283570 | 0 | 0.0 | 487M|2816 | - |5645 | 12k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
284.20/284.22 c 280s|450000 |291451 | 0 | 0.0 | 496M|2816 | - |5645 | 10k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
288.90/288.98 c 285s|460000 |299044 | 0 | 0.0 | 507M|2816 | - |5645 | 11k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
295.30/295.34 c 291s|470000 |305164 | 0 | 0.0 | 516M|2816 | - |5645 | 11k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
300.70/300.70 c 296s|480000 |312164 | 0 | 0.0 | 526M|2816 | - |5645 | 12k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
305.10/305.16 c 300s|490000 |320020 | 0 | 0.0 | 535M|2816 | - |5645 | 12k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
310.11/310.18 c 305s|500000 |327231 | 0 | 0.0 | 544M|2816 | - |5645 | 11k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
315.00/315.07 c 310s|510000 |334448 | 0 | 0.0 | 553M|2816 | - |5645 | 11k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
320.30/320.30 c 315s|520000 |341384 | 0 | 0.0 | 562M|2816 | - |5645 | 11k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
325.60/325.67 c 321s|530000 |348184 | 0 | 0.0 | 571M|2816 | - |5645 | 12k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
330.19/330.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.19/330.26 c 325s|540000 |355829 | 0 | 0.0 | 580M|2816 | - |5645 | 12k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
334.80/334.89 c 330s|550000 |363614 | 0 | 0.0 | 589M|2816 | - |5645 | 11k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
340.00/340.04 c 335s|560000 |370879 | 0 | 0.0 | 599M|2816 | - |5645 | 12k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
345.30/345.35 c 340s|570000 |377944 | 0 | 0.0 | 608M|2816 | - |5645 | 12k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
350.20/350.27 c 345s|580000 |385319 | 0 | 0.0 | 618M|2816 | - |5645 | 11k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
355.21/355.28 c 350s|590000 |392520 | 0 | 0.0 | 627M|2816 | - |5645 | 11k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
360.00/360.06 c 354s|600000 |400033 | 0 | 0.0 | 636M|2816 | - |5645 | 11k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.90/364.91 c 359s|610000 |407296 | 0 | 0.0 | 643M|2816 | - |5645 |5087 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
368.30/368.36 c 362s|620000 |415625 | 0 | 0.0 | 652M|2816 | - |5645 |4382 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
371.70/371.73 c 366s|630000 |423866 | 0 | 0.0 | 662M|2816 | - |5645 |4564 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
374.90/374.92 c 369s|640000 |432275 | 0 | 0.0 | 671M|2816 | - |5645 |4435 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
379.60/379.69 c 374s|650000 |439098 | 0 | 0.0 | 682M|2816 | - |5645 |6079 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
384.60/384.61 c 378s|660000 |445858 | 0 | 0.0 | 692M|2816 | - |5645 |6339 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
389.60/389.64 c 383s|670000 |452495 | 0 | 0.0 | 702M|2816 | - |5645 |6425 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
394.60/394.62 c 388s|680000 |459082 | 0 | 0.0 | 712M|2816 | - |5645 |6764 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
399.81/399.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.81/399.85 c 393s|690000 |465472 | 0 | 0.0 | 722M|2816 | - |5645 |6974 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
405.30/405.32 c 399s|700000 |471654 | 0 | 0.0 | 733M|2816 | - |5645 |7036 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
410.90/410.92 c 404s|710000 |477703 | 0 | 0.0 | 743M|2816 | - |5645 |7200 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
416.50/416.52 c 410s|720000 |483688 | 0 | 0.0 | 753M|2816 | - |5645 |7497 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
422.30/422.39 c 416s|730000 |489456 | 0 | 0.0 | 763M|2816 | - |5645 |7668 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
428.30/428.34 c 421s|740000 |495198 | 0 | 0.0 | 772M|2816 | - |5645 |7550 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
434.70/434.78 c 428s|750000 |500573 | 0 | 0.0 | 782M|2816 | - |5645 |7686 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
441.60/441.60 c 434s|760000 |505523 | 0 | 0.0 | 792M|2816 | - |5645 |8693 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
449.50/449.52 c 442s|770000 |509651 | 0 | 0.0 | 802M|2816 | - |5645 |9188 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
457.70/457.79 c 450s|780000 |513456 | 0 | 0.0 | 811M|2816 | - |5645 |9076 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
466.21/466.20 c 459s|790000 |517060 | 0 | 0.0 | 820M|2816 | - |5645 |9564 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
475.00/475.08 c 468s|800000 |520409 | 0 | 0.0 | 829M|2816 | - |5645 |9445 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
484.11/484.18 c 477s|810000 |523515 | 0 | 0.0 | 837M|2816 | - |5645 |9381 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
494.00/494.01 c 486s|820000 |526027 | 0 | 0.0 | 844M|2816 | - |5645 | 10k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
504.01/504.04 c 496s|830000 |528533 | 0 | 0.0 | 853M|2816 | - |5645 | 10k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
515.20/515.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.20/515.24 c 507s|840000 |530018 | 0 | 0.0 | 859M|2816 | - |5645 | 10k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
526.61/526.63 c 519s|850000 |530912 | 0 | 0.0 | 865M|2816 | - |5645 | 10k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
540.21/540.25 c 532s|860000 |528892 | 0 | 0.0 | 867M|2816 | - |5645 | 12k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
554.21/554.23 c 546s|870000 |525017 | 0 | 0.0 | 855M|2816 | - |5645 |5923 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
558.60/558.69 c 550s|880000 |532631 | 0 | 0.0 | 865M|2816 | - |5645 |5438 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
563.11/563.14 c 555s|890000 |540048 | 0 | 0.0 | 875M|2816 | - |5645 |5829 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
567.70/567.79 c 559s|900000 |547262 | 0 | 0.0 | 884M|2816 | - |5645 |6274 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
572.51/572.59 c 564s|910000 |554295 | 0 | 0.0 | 894M|2816 | - |5645 |6740 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
580.11/580.16 c 571s|920000 |559206 | 0 | 0.0 | 907M|2816 | - |5645 |7749 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
588.70/588.74 c 580s|930000 |563087 | 0 | 0.0 | 918M|2816 | - |5645 |9107 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
599.61/599.63 c 590s|940000 |565015 | 0 | 0.0 | 930M|2816 | - |5645 | 10k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
611.01/611.05 c 602s|950000 |566201 | 0 | 0.0 | 934M|2816 | - |5645 |6820 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
615.81/615.82 c 606s|960000 |573720 | 0 | 0.0 | 944M|2816 | - |5645 |6643 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
620.91/620.97 c 612s|970000 |580810 | 0 | 0.0 | 954M|2816 | - |5645 |7106 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
627.61/627.68 c 618s|980000 |586480 | 0 | 0.0 | 966M|2816 | - |5645 |8544 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
635.81/635.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.81/635.86 c 626s|990000 |591035 | 0 | 0.0 | 978M|2816 | - |5645 |9747 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
646.21/646.24 c 636s| 1000k|593859 | 0 | 0.0 | 989M|2816 | - |5645 | 11k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
657.31/657.34 c 647s| 1010k|595752 | 0 | 0.0 | 994M|2816 | - |5645 |7160 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
662.11/662.18 c 652s| 1020k|603235 | 0 | 0.0 |1004M|2816 | - |5645 |6173 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
667.11/667.19 c 657s| 1030k|610426 | 0 | 0.0 |1014M|2816 | - |5645 |6400 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
672.41/672.49 c 662s| 1040k|617388 | 0 | 0.0 |1025M|2816 | - |5645 |6926 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
678.40/678.40 c 668s| 1050k|623898 | 0 | 0.0 |1036M|2816 | - |5645 |7376 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
684.61/684.65 c 674s| 1060k|630060 | 0 | 0.0 |1047M|2816 | - |5645 |7792 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
691.41/691.40 c 681s| 1070k|635820 | 0 | 0.0 |1058M|2816 | - |5645 |8584 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
698.70/698.72 c 688s| 1080k|641128 | 0 | 0.0 |1069M|2816 | - |5645 |9376 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
706.70/706.74 c 696s| 1090k|645888 | 0 | 0.0 |1079M|2816 | - |5645 | 10k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
715.51/715.52 c 705s| 1100k|650132 | 0 | 0.0 |1090M|2816 | - |5645 | 11k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
725.41/725.47 c 714s| 1110k|653516 | 0 | 0.0 |1100M|2816 | - |5645 | 12k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
736.51/736.58 c 725s| 1120k|656040 | 0 | 0.0 |1109M|2816 | - |5645 | 13k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
750.31/750.32 c 739s| 1130k|656656 | 0 | 0.0 |1115M|2816 | - |5645 | 14k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
759.21/759.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.21/759.28 c 748s| 1140k|660736 | 0 | 0.0 |1119M|2816 | - |5645 |8264 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
764.60/764.61 c 753s| 1150k|667686 | 0 | 0.0 |1128M|2816 | - |5645 |8192 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
770.31/770.35 c 759s| 1160k|674381 | 0 | 0.0 |1139M|2816 | - |5645 |8946 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
777.11/777.14 c 765s| 1170k|680177 | 0 | 0.0 |1150M|2816 | - |5645 | 10k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
784.81/784.85 c 773s| 1180k|685290 | 0 | 0.0 |1161M|2816 | - |5645 | 11k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
794.81/794.84 c 783s| 1190k|688624 | 0 | 0.0 |1171M|2816 | - |5645 | 14k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
807.21/807.24 c 795s| 1200k|690169 | 0 | 0.0 |1175M|2816 | - |5645 |9820 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
812.01/812.08 c 800s| 1210k|697759 | 0 | 0.0 |1185M|2816 | - |5645 |7917 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
817.31/817.32 c 805s| 1220k|704794 | 0 | 0.0 |1196M|2816 | - |5645 |8214 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
822.91/822.91 c 810s| 1230k|711425 | 0 | 0.0 |1206M|2816 | - |5645 |8753 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
829.32/829.39 c 817s| 1240k|717378 | 0 | 0.0 |1217M|2816 | - |5645 |9473 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
836.91/836.95 c 824s| 1250k|722403 | 0 | 0.0 |1228M|2816 | - |5645 | 10k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
845.82/845.88 c 833s| 1260k|726474 | 0 | 0.0 |1237M|2816 | - |5645 | 11k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
847.02/847.02 o 2
847.02/847.02 c * 834s| 1261k|691201 | 0 | 0.0 |1187M|2816 | - |5645 | 11k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
856.61/856.69 c 844s| 1270k|694197 | 0 | 0.0 |1198M|2816 | - |5645 |9915 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.31/864.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.31/864.32 c 851s| 1280k|699051 | 0 | 0.0 |1206M|2816 | - |5645 |8392 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.41/870.49 c 857s| 1290k|705184 | 0 | 0.0 |1215M|2816 | - |5645 |8569 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
876.81/876.83 c 864s| 1300k|711257 | 0 | 0.0 |1225M|2816 | - |5645 |9369 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.81/883.87 c 871s| 1310k|716794 | 0 | 0.0 |1236M|2816 | - |5645 | 10k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
891.91/892.00 c 879s| 1320k|721416 | 0 | 0.0 |1246M|2816 | - |5645 | 11k| 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
902.21/902.21 c 889s| 1330k|724500 | 0 | 0.0 |1256M|2816 | - |5645 | 13k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.52/914.56 c 901s| 1340k|726021 | 0 | 0.0 |1260M|2816 | - |5645 |9983 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.11/919.16 c 905s| 1350k|733614 | 0 | 0.0 |1269M|2816 | - |5645 |8063 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
924.12/924.16 c 910s| 1360k|740695 | 0 | 0.0 |1279M|2816 | - |5645 |8833 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.61/929.66 c 916s| 1370k|747333 | 0 | 0.0 |1289M|2816 | - |5645 |9881 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.91/935.94 c 922s| 1380k|753392 | 0 | 0.0 |1300M|2816 | - |5645 | 10k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
943.21/943.26 c 929s| 1390k|758613 | 0 | 0.0 |1310M|2816 | - |5645 | 11k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
952.62/952.69 c 938s| 1400k|762287 | 0 | 0.0 |1319M|2816 | - |5645 | 13k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
962.91/962.99 c 949s| 1410k|765730 | 0 | 0.0 |1324M|2816 | - |5645 |9677 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.52/967.57 c 953s| 1420k|773365 | 0 | 0.0 |1333M|2816 | - |5645 |8703 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
972.51/972.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.51/972.60 c 958s| 1430k|780477 | 0 | 0.0 |1343M|2816 | - |5645 |9388 | 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.11/978.15 c 963s| 1440k|787176 | 0 | 0.0 |1354M|2816 | - |5645 | 10k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.31/984.31 c 969s| 1450k|793303 | 0 | 0.0 |1364M|2816 | - |5645 | 11k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
991.92/991.90 c 977s| 1460k|798328 | 0 | 0.0 |1373M|2816 | - |5645 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.62/1002.63 c 988s| 1470k|800980 | 0 | 0.0 |1380M|2816 | - |5645 | 15k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.22/1008.28 c 993s| 1480k|807924 | 0 | 0.0 |1387M|2816 | - |5645 |8695 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1013.02/1013.09 c 998s| 1490k|815295 | 0 | 0.0 |1397M|2816 | - |5645 |8723 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.11/1018.18 c 1003s| 1500k|822362 | 0 | 0.0 |1408M|2816 | - |5645 |8753 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.42/1023.45 c 1008s| 1510k|829221 | 0 | 0.0 |1418M|2816 | - |5645 |8877 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1028.71/1028.75 c 1013s| 1520k|835975 | 0 | 0.0 |1428M|2816 | - |5645 |9041 | 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1034.32/1034.39 c 1019s| 1530k|842410 | 0 | 0.0 |1438M|2816 | - |5645 |9322 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.41/1040.42 c 1025s| 1540k|848548 | 0 | 0.0 |1448M|2816 | - |5645 |9648 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.82/1046.80 c 1031s| 1550k|854457 | 0 | 0.0 |1458M|2816 | - |5645 | 10k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1053.62/1053.64 c 1038s| 1560k|860046 | 0 | 0.0 |1468M|2816 | - |5645 | 10k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.72/1060.72 c 1045s| 1570k|865462 | 0 | 0.0 |1477M|2816 | - |5645 | 10k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.12/1068.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.12/1068.18 c 1052s| 1580k|870573 | 0 | 0.0 |1486M|2816 | - |5645 | 11k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.11/1077.16 c 1061s| 1590k|874624 | 0 | 0.0 |1495M|2816 | - |5645 | 12k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.12/1088.10 c 1072s| 1600k|877253 | 0 | 0.0 |1503M|2816 | - |5645 | 13k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1097.22/1097.22 c 1081s| 1610k|881351 | 0 | 0.0 |1507M|2816 | - |5645 |9738 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1102.02/1102.06 c 1085s| 1620k|888738 | 0 | 0.0 |1517M|2816 | - |5645 |9773 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1107.73/1107.77 c 1091s| 1630k|895459 | 0 | 0.0 |1527M|2816 | - |5645 | 10k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.23/1114.27 c 1097s| 1640k|901599 | 0 | 0.0 |1537M|2816 | - |5645 | 12k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1122.42/1122.44 c 1105s| 1650k|906522 | 0 | 0.0 |1546M|2816 | - |5645 | 13k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1133.32/1133.30 c 1116s| 1660k|909438 | 0 | 0.0 |1555M|2816 | - |5645 | 15k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.22/1143.25 c 1126s| 1670k|913472 | 0 | 0.0 |1559M|2816 | - |5645 |8268 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.81/1147.80 c 1130s| 1680k|921052 | 0 | 0.0 |1569M|2816 | - |5645 |8574 | 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1153.02/1153.09 c 1136s| 1690k|928013 | 0 | 0.0 |1579M|2816 | - |5645 |9160 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1158.91/1158.99 c 1141s| 1700k|934429 | 0 | 0.0 |1589M|2816 | - |5645 |9153 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1165.32/1165.36 c 1148s| 1710k|940431 | 0 | 0.0 |1598M|2816 | - |5645 |9395 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.82/1172.87 c 1155s| 1720k|945549 | 0 | 0.0 |1608M|2816 | - |5645 |9451 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1180.22/1180.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.22/1180.30 c 1162s| 1730k|950674 | 0 | 0.0 |1616M|2816 | - |5645 |9648 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1187.92/1187.91 c 1170s| 1740k|955684 | 0 | 0.0 |1625M|2816 | - |5645 |9763 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1195.32/1195.37 c 1177s| 1750k|960916 | 0 | 0.0 |1634M|2816 | - |5645 |9805 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1202.82/1202.88 c 1185s| 1760k|965989 | 0 | 0.0 |1643M|2816 | - |5645 | 10k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.42/1210.44 c 1192s| 1770k|970923 | 0 | 0.0 |1651M|2816 | - |5645 | 11k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1219.72/1219.79 c 1201s| 1780k|974462 | 0 | 0.0 |1659M|2816 | - |5645 | 12k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1228.73/1228.79 c 1210s| 1790k|978419 | 0 | 0.0 |1665M|2816 | - |5645 |8601 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1233.52/1233.57 c 1215s| 1800k|985902 | 0 | 0.0 |1675M|2816 | - |5645 |8484 | 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1238.53/1238.55 c 1220s| 1810k|993110 | 0 | 0.0 |1685M|2816 | - |5645 |9011 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1243.92/1243.97 c 1225s| 1820k|999943 | 0 | 0.0 |1695M|2816 | - |5645 |9790 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1249.82/1249.89 c 1231s| 1830k| 1006k| 0 | 0.0 |1704M|2816 | - |5645 | 10k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1256.42/1256.43 c 1237s| 1840k| 1012k| 0 | 0.0 |1713M|2816 | - |5645 | 10k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.03/1264.09 c 1245s| 1850k| 1017k| 0 | 0.0 |1722M|2816 | - |5645 | 10k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.63/1273.65 c 1254s| 1860k| 1020k| 0 | 0.0 |1730M|2816 | - |5645 | 11k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1282.32/1282.38 c 1263s| 1870k| 1024k| 0 | 0.0 |1736M|2816 | - |5645 |8647 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1286.72/1286.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.72/1286.76 c 1267s| 1880k| 1031k| 0 | 0.0 |1745M|2816 | - |5645 |8974 | 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1291.62/1291.68 c 1272s| 1890k| 1039k| 0 | 0.0 |1755M|2816 | - |5645 |9506 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.93/1296.93 c 1277s| 1900k| 1045k| 0 | 0.0 |1764M|2816 | - |5645 |9933 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1302.32/1302.32 c 1283s| 1910k| 1052k| 0 | 0.0 |1773M|2816 | - |5645 | 10k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.12/1308.16 c 1288s| 1920k| 1058k| 0 | 0.0 |1782M|2816 | - |5645 | 10k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.73/1314.74 c 1295s| 1930k| 1064k| 0 | 0.0 |1791M|2816 | - |5645 | 11k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.42/1322.40 c 1302s| 1940k| 1069k| 0 | 0.0 |1799M|2816 | - |5645 | 13k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1332.42/1332.48 c 1312s| 1950k| 1072k| 0 | 0.0 |1806M|2816 | - |5645 | 13k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1340.42/1340.45 c 1320s| 1960k| 1077k| 0 | 0.0 |1813M|2816 | - |5645 |8964 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.42/1345.45 c 1325s| 1970k| 1085k| 0 | 0.0 |1822M|2816 | - |5645 |9440 | 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.83/1350.80 c 1330s| 1980k| 1092k| 0 | 0.0 |1832M|2816 | - |5645 | 10k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.63/1356.67 c 1336s| 1990k| 1098k| 0 | 0.0 |1842M|2816 | - |5645 | 11k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1363.32/1363.31 c 1343s| 2000k| 1104k| 0 | 0.0 |1852M|2816 | - |5645 | 12k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1370.92/1370.90 c 1350s| 2010k| 1109k| 0 | 0.0 |1861M|2816 | - |5645 | 13k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1380.53/1380.56 c 1360s| 2020k| 1113k| 0 | 0.0 |1869M|2816 | - |5645 | 14k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1390.72/1390.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.72/1390.76 c 1370s| 2030k| 1117k| 0 | 0.0 |1874M|2816 | - |5645 | 10k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.32/1395.36 c 1374s| 2040k| 1124k| 0 | 0.0 |1882M|2816 | - |5645 |9235 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.03/1400.08 c 1379s| 2050k| 1132k| 0 | 0.0 |1891M|2816 | - |5645 |9499 | 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1405.22/1405.26 c 1384s| 2060k| 1139k| 0 | 0.0 |1900M|2816 | - |5645 |9977 | 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1411.02/1411.02 c 1389s| 2070k| 1145k| 0 | 0.0 |1909M|2816 | - |5645 | 10k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1417.02/1417.09 c 1395s| 2080k| 1152k| 0 | 0.0 |1918M|2816 | - |5645 | 11k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1423.93/1423.94 c 1402s| 2090k| 1157k| 0 | 0.0 |1925M|2816 | - |5645 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1431.52/1431.56 c 1410s| 2100k| 1162k| 0 | 0.0 |1933M|2816 | - |5645 | 11k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1441.92/1441.90 c 1420s| 2110k| 1165k| 0 | 0.0 |1940M|2816 | - |5645 | 12k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1447.53/1447.56 c 1425s| 2120k| 1172k| 0 | 0.0 |1947M|2816 | - |5645 |8746 | 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.03/1452.01 c 1430s| 2130k| 1180k| 0 | 0.0 |1956M|2816 | - |5645 |8721 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1456.62/1456.65 c 1434s| 2140k| 1187k| 0 | 0.0 |1965M|2816 | - |5645 |8706 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1461.22/1461.29 c 1439s| 2150k| 1195k| 0 | 0.0 |1974M|2816 | - |5645 |8952 | 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.23/1466.21 c 1444s| 2160k| 1202k| 0 | 0.0 |1983M|2816 | - |5645 |9130 | 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.53/1471.53 c 1449s| 2170k| 1209k| 0 | 0.0 |1992M|2816 | - |5645 |9567 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.12/1477.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.12/1477.14 c 1454s| 2180k| 1216k| 0 | 0.0 |2001M|2816 | - |5645 |9931 | 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.02/1483.07 c 1460s| 2190k| 1222k| 0 | 0.0 |2010M|2816 | - |5645 |9930 | 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.33/1489.39 c 1467s| 2200k| 1229k| 0 | 0.0 |2019M|2816 | - |5645 | 10k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1496.13/1496.12 c 1473s| 2210k| 1235k| 0 | 0.0 |2028M|2816 | - |5645 | 11k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.02/1503.05 c 1480s| 2220k| 1240k| 0 | 0.0 |2037M|2816 | - |5645 | 11k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.63/1510.66 c 1487s| 2230k| 1246k| 0 | 0.0 |2045M|2816 | - |5645 | 11k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.53/1518.59 c 1495s| 2240k| 1251k| 0 | 0.0 |2053M|2816 | - |5645 | 12k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1527.43/1527.42 c 1504s| 2250k| 1255k| 0 | 0.0 |2060M|2816 | - |5645 | 13k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1537.03/1537.05 c 1514s| 2260k| 1259k| 0 | 0.0 |2066M|2816 | - |5645 | 14k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.03/1547.05 c 1523s| 2270k| 1263k| 0 | 0.0 |2070M|2816 | - |5645 |9969 | 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.62/1551.68 c 1528s| 2280k| 1270k| 0 | 0.0 |2079M|2816 | - |5645 |9475 | 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.54/1556.58 c 1533s| 2290k| 1278k| 0 | 0.0 |2088M|2816 | - |5645 |9985 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.82/1561.90 c 1538s| 2300k| 1285k| 0 | 0.0 |2096M|2816 | - |5645 | 10k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1567.54/1567.51 c 1544s| 2310k| 1292k| 0 | 0.0 |2105M|2816 | - |5645 | 10k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.73/1573.78 c 1550s| 2320k| 1298k| 0 | 0.0 |2113M|2816 | - |5645 | 11k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1580.53/1580.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.53/1580.58 c 1556s| 2330k| 1304k| 0 | 0.0 |2121M|2816 | - |5645 | 11k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.63/1588.63 c 1564s| 2340k| 1309k| 0 | 0.0 |2128M|2816 | - |5645 | 12k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.44/1599.43 c 1575s| 2350k| 1312k| 0 | 0.0 |2133M|2816 | - |5645 | 11k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1603.93/1603.90 c 1579s| 2360k| 1320k| 0 | 0.0 |2141M|2816 | - |5645 |9429 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1608.24/1608.26 c 1584s| 2370k| 1327k| 0 | 0.0 |2150M|2816 | - |5645 |9547 | 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1613.23/1613.21 c 1588s| 2380k| 1335k| 0 | 0.0 |2159M|2816 | - |5645 | 10k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.53/1618.59 c 1594s| 2390k| 1342k| 0 | 0.0 |2168M|2816 | - |5645 | 10k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.83/1624.83 c 1600s| 2400k| 1348k| 0 | 0.0 |2177M|2816 | - |5645 | 11k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1632.03/1632.01 c 1607s| 2410k| 1354k| 0 | 0.0 |2186M|2816 | - |5645 | 12k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.03/1641.02 c 1616s| 2420k| 1358k| 0 | 0.0 |2194M|2816 | - |5645 | 13k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.03/1652.02 c 1627s| 2430k| 1361k| 0 | 0.0 |2198M|2816 | - |5645 | 10k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1656.54/1656.57 c 1631s| 2440k| 1369k| 0 | 0.0 |2206M|2816 | - |5645 |9702 | 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1661.53/1661.59 c 1636s| 2450k| 1376k| 0 | 0.0 |2214M|2816 | - |5645 |9970 | 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.54/1666.57 c 1641s| 2460k| 1383k| 0 | 0.0 |2222M|2816 | - |5645 | 10k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1671.83/1671.88 c 1646s| 2470k| 1390k| 0 | 0.0 |2231M|2816 | - |5645 | 11k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.83/1677.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.83/1677.85 c 1652s| 2480k| 1397k| 0 | 0.0 |2239M|2816 | - |5645 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1684.63/1684.69 c 1659s| 2490k| 1402k| 0 | 0.0 |2247M|2816 | - |5645 | 12k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1693.73/1693.73 c 1668s| 2500k| 1406k| 0 | 0.0 |2254M|2816 | - |5645 | 13k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1702.23/1702.21 c 1676s| 2510k| 1411k| 0 | 0.0 |2259M|2816 | - |5645 |9390 | 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.73/1706.75 c 1681s| 2520k| 1419k| 0 | 0.0 |2269M|2816 | - |5645 |9477 | 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.73/1711.75 c 1685s| 2530k| 1426k| 0 | 0.0 |2278M|2816 | - |5645 | 10k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.43/1717.48 c 1691s| 2540k| 1433k| 0 | 0.0 |2288M|2816 | - |5645 | 11k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1724.54/1724.58 c 1698s| 2550k| 1439k| 0 | 0.0 |2297M|2816 | - |5645 | 12k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1732.73/1732.77 c 1706s| 2560k| 1444k| 0 | 0.0 |2306M|2816 | - |5645 | 13k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1744.64/1744.64 c 1718s| 2570k| 1446k| 0 | 0.0 |2313M|2816 | - |5645 | 15k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1750.33/1750.36 c 1724s| 2580k| 1453k| 0 | 0.0 |2321M|2816 | - |5645 |9667 | 0 | 0 | 0 |1853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1755.24/1755.20 c 1728s| 2590k| 1461k| 0 | 0.0 |2330M|2816 | - |5645 |9950 | 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1760.54/1760.57 c 1734s| 2600k| 1468k| 0 | 0.0 |2340M|2816 | - |5645 | 10k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1766.54/1766.59 c 1739s| 2610k| 1475k| 0 | 0.0 |2350M|2816 | - |5645 | 11k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1773.53/1773.53 c 1746s| 2620k| 1480k| 0 | 0.0 |2360M|2816 | - |5645 | 12k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1782.34/1782.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.34/1782.37 c 1755s| 2630k| 1485k| 0 | 0.0 |2370M|2816 | - |5645 | 13k| 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1794.63/1794.60 c 1767s| 2640k| 1487k| 0 | 0.0 |2375M|2816 | - |5645 | 12k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1799.23/1799.27 c 1772s| 2650k| 1495k| 0 | 0.0 |2383M|2816 | - |5645 |9672 | 0 | 0 | 0 |1897k| 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) : 1772.39
1800.04/1800.00 c Solving Nodes : 2651544
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (40 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.09 s SATISFIABLE
1800.04/1800.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 v -x1
1800.04/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.09 c Solving Time : 1772.39
1800.04/1800.09 c Original Problem :
1800.04/1800.09 c Problem name : HOME/instance-2693617-1277926815.wbo
1800.04/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.09 c Presolved Problem :
1800.04/1800.09 c Problem name : t_HOME/instance-2693617-1277926815.wbo
1800.04/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.09 c Constraints : 5414 initial, 17190 maximal
1800.04/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c root node : - 2675 - - 5350 - - - -
1800.04/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.09 c indicator : 2707 0 6698265 0 1932659 115 2029936 0 0 0
1800.04/1800.09 c linear : 2707 0 8108107 0 2254278 543559 50731599 0 0 0
1800.04/1800.09 c logicor : 0+ 0 3813493 0 0 102152 1958730 0 0 0
1800.04/1800.09 c countsols : 0 0 0 0 2254299 0 0 0 0 0
1800.04/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.09 c indicator : 21.12 0.00 8.93 0.00 12.19
1800.04/1800.09 c linear : 472.24 0.00 469.36 0.00 2.88
1800.04/1800.09 c logicor : 224.13 0.00 224.13 0.00 0.00
1800.04/1800.09 c countsols : 0.39 0.00 0.00 0.00 0.39
1800.04/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.09 c vbounds : 1.58 2 0 0
1800.04/1800.09 c rootredcost : 1.70 0 0 0
1800.04/1800.09 c pseudoobj : 398.99 8110577 2386 2003466
1800.04/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.09 c propagation : 35.35 648097 648096 3060090 21.1 178218 10.8 -
1800.04/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.09 c pseudo solution : 0.06 137 137 558 25.9 492 9.6 -
1800.04/1800.09 c applied globally : - - - 1898201 18.2 - - -
1800.04/1800.09 c applied locally : - - - 0 0.0 - - -
1800.04/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.09 c redcost : 0.00 0 0 0 0 0
1800.04/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.09 c intobj : 0.00 0 0 0 0 0
1800.04/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.09 c gomory : 0.00 0 0 0 0 0
1800.04/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.09 c cmir : 0.00 0 0 0 0 0
1800.04/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.09 c clique : 0.00 0 0 0 0 0
1800.04/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.09 c mcf : 0.00 0 0 0 0 0
1800.04/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.09 c Pricers : Time Calls Vars
1800.04/1800.09 c problem variables: 0.00 0 0
1800.04/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.09 c inference : 45.08 2254262 0 0 0 0 4508524
1800.04/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.09 c random : 0.00 0 0 0 0 0 0
1800.04/1800.09 c Primal Heuristics : Time Calls Found
1800.04/1800.09 c LP solutions : 0.00 - 0
1800.04/1800.09 c pseudo solutions : 0.18 - 37
1800.04/1800.09 c oneopt : 1.04 0 0
1800.04/1800.09 c trivial : 0.08 2 2
1800.04/1800.09 c simplerounding : 0.00 0 0
1800.04/1800.09 c zirounding : 0.00 0 0
1800.04/1800.09 c rounding : 0.00 0 0
1800.04/1800.09 c shifting : 0.00 0 0
1800.04/1800.09 c intshifting : 0.00 0 0
1800.04/1800.09 c twoopt : 0.00 0 0
1800.04/1800.09 c fixandinfer : 0.00 0 0
1800.04/1800.09 c feaspump : 0.00 0 0
1800.04/1800.09 c coefdiving : 0.00 0 0
1800.04/1800.09 c pscostdiving : 0.00 0 0
1800.04/1800.09 c fracdiving : 0.00 0 0
1800.04/1800.09 c veclendiving : 0.00 0 0
1800.04/1800.09 c intdiving : 0.00 0 0
1800.04/1800.09 c actconsdiving : 0.00 0 0
1800.04/1800.09 c objpscostdiving : 0.00 0 0
1800.04/1800.09 c rootsoldiving : 0.00 0 0
1800.04/1800.09 c linesearchdiving : 0.00 0 0
1800.04/1800.09 c guideddiving : 0.00 0 0
1800.04/1800.09 c octane : 0.00 0 0
1800.04/1800.09 c rens : 0.00 0 0
1800.04/1800.09 c rins : 0.00 0 0
1800.04/1800.09 c localbranching : 0.00 0 0
1800.04/1800.09 c mutation : 0.00 0 0
1800.04/1800.09 c crossover : 0.00 0 0
1800.04/1800.09 c dins : 0.00 0 0
1800.04/1800.09 c undercover : 0.00 0 0
1800.04/1800.09 c nlp : 0.52 0 0
1800.04/1800.09 c trysol : 0.58 1 1
1800.04/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.09 c (at root node) : - 0 0 0.00 -
1800.04/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.09 c B&B Tree :
1800.04/1800.09 c number of runs : 1
1800.04/1800.09 c nodes : 2651544
1800.04/1800.09 c nodes (total) : 2651544
1800.04/1800.09 c nodes left : 1496276
1800.04/1800.09 c max depth : 2816
1800.04/1800.09 c max depth (total): 2816
1800.04/1800.09 c backtracks : 357072 (13.5%)
1800.04/1800.09 c delayed cutoffs : 303492
1800.04/1800.09 c repropagations : 1537282 (17783519 domain reductions, 251104 cutoffs)
1800.04/1800.09 c avg switch length: 43.20
1800.04/1800.09 c switching time : 492.09
1800.04/1800.09 c Solution :
1800.04/1800.09 c Solutions found : 40 (38 improvements)
1800.04/1800.09 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.09 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1261064 nodes, 834.18 seconds, depth 365, found by <relaxation>)
1800.04/1800.09 c Dual Bound : +0.00000000000000e+00
1800.04/1800.09 c Gap : infinite
1800.04/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.09 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693617-1277926815/watcher-2693617-1277926815 -o /tmp/evaluation-result-2693617-1277926815/solver-2693617-1277926815 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693617-1277926815.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: 1.98 2.00 2.00 4/178 27791 /proc/meminfo: memFree=30878236/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=8404 CPUtime=0 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 166321027 8605696 1501 4089446400 4194304 7136930 140734291657376 18446744073709551615 6360954 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27791/statm: 2149 1517 275 719 0 1428 0 [startup+0.082692 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27791 /proc/meminfo: memFree=30878236/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=33672 CPUtime=0.07 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 7966 0 0 0 7 0 0 0 25 0 1 0 166321027 34480128 7534 4089446400 4194304 7136930 140734291657376 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 33672 [startup+0.100689 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27791 /proc/meminfo: memFree=30878236/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=33672 CPUtime=0.09 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 7966 0 0 0 9 0 0 0 25 0 1 0 166321027 34480128 7534 4089446400 4194304 7136930 140734291657376 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300657 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27791 /proc/meminfo: memFree=30878236/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=36492 CPUtime=0.29 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 9240 0 0 0 28 1 0 0 25 0 1 0 166321027 37367808 8294 4089446400 4194304 7136930 140734291657376 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 9123 8294 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700588 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27791 /proc/meminfo: memFree=30878236/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=37632 CPUtime=0.69 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 9515 0 0 0 67 2 0 0 25 0 1 0 166321027 38535168 8569 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50045 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27792 /proc/meminfo: memFree=30841524/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=42680 CPUtime=1.49 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 10800 0 0 0 145 4 0 0 25 0 1 0 166321027 43704320 9854 4089446400 4194304 7136930 140734291657376 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 10670 9854 390 719 0 9949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42680 [startup+3.10016 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27792 /proc/meminfo: memFree=30834952/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=44676 CPUtime=3.09 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 11295 0 0 0 303 6 0 0 25 0 1 0 166321027 45748224 10349 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 11169 10349 390 719 0 10448 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44676 [startup+6.3006 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27792 /proc/meminfo: memFree=30823320/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=53100 CPUtime=6.29 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 13395 0 0 0 617 12 0 0 25 0 1 0 166321027 54374400 12449 4089446400 4194304 7136930 140734291657376 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 13275 12449 391 719 0 12554 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53100 [startup+12.7005 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27792 /proc/meminfo: memFree=30777344/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=76352 CPUtime=12.7 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 19046 0 0 0 1245 25 0 0 25 0 1 0 166321027 78184448 18100 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 19088 18100 391 719 0 18367 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 76352 [startup+25.5002 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27793 /proc/meminfo: memFree=30714360/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=118272 CPUtime=25.49 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 29130 0 0 0 2508 41 0 0 25 0 1 0 166321027 121110528 28184 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 29568 28184 391 719 0 28847 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118272 [startup+51.1007 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27797 /proc/meminfo: memFree=30604308/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=192380 CPUtime=51.09 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 46687 0 0 0 5021 88 0 0 25 0 1 0 166321027 196997120 45741 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 48095 45741 391 719 0 47374 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 192380 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27798 /proc/meminfo: memFree=30437772/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=282888 CPUtime=102.3 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 69226 0 0 0 10073 157 0 0 25 0 1 0 166321027 289677312 68280 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 70722 68280 391 719 0 70001 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 282888 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27799 /proc/meminfo: memFree=30255212/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=402856 CPUtime=162.29 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 97983 0 0 0 15989 240 0 0 25 0 1 0 166321027 412524544 97037 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 100714 97037 391 719 0 99993 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 402856 [startup+222.301 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27801 /proc/meminfo: memFree=30118524/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=507208 CPUtime=222.29 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 122421 0 0 0 21901 328 0 0 25 0 1 0 166321027 519380992 121475 4089446400 4194304 7136930 140734291657376 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 126802 121475 391 719 0 126081 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 507208 [startup+282.301 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27803 /proc/meminfo: memFree=29962112/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=629860 CPUtime=282.3 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 152524 0 0 0 27805 425 0 0 25 0 1 0 166321027 644976640 151578 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 157465 151578 391 719 0 156744 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 629860 [startup+342.301 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27805 /proc/meminfo: memFree=29766264/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=742008 CPUtime=342.3 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 180880 0 0 0 33694 536 0 0 25 0 1 0 166321027 759816192 179934 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 185502 179934 391 719 0 184781 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 742008 [startup+402.301 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27806 /proc/meminfo: memFree=29557772/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=871196 CPUtime=402.3 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 211356 0 0 0 39580 650 0 0 25 0 1 0 166321027 892104704 210410 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 217799 210410 391 719 0 217078 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 871196 [startup+462.3 s] /proc/loadavg: 2.07 2.01 2.00 3/179 27807 /proc/meminfo: memFree=29372216/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=974172 CPUtime=462.3 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 236979 0 0 0 45496 734 0 0 25 0 1 0 166321027 997552128 236033 4089446400 4194304 7136930 140734291657376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 243543 236033 391 719 0 242822 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 974172 [startup+522.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 27809 /proc/meminfo: memFree=29243948/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1023248 CPUtime=522.3 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 249279 0 0 0 51430 800 0 0 25 0 1 0 166321027 1047805952 248333 4089446400 4194304 7136930 140734291657376 18446744073709551615 4978312 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 255812 248333 391 719 0 255091 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1023248 [startup+582.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 27811 /proc/meminfo: memFree=29126468/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1069400 CPUtime=582.31 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 260882 0 0 0 57343 888 0 0 25 0 1 0 166321027 1095065600 259936 4089446400 4194304 7136930 140734291657376 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 267350 259936 391 719 0 266629 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1069400 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27813 /proc/meminfo: memFree=28947620/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1145828 CPUtime=642.31 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 280153 0 0 0 63252 979 0 0 25 0 1 0 166321027 1173327872 279207 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 286457 279207 391 719 0 285736 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1145828 [startup+702.3 s] ################ # More data... # ################ /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 380966 0 0 0 98725 1506 0 0 25 0 1 0 166321027 1584599040 380020 4089446400 4194304 7136930 140734291657376 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 386865 380020 391 719 0 386144 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1547460 [startup+1062.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 27823 /proc/meminfo: memFree=27892872/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1639820 CPUtime=1062.31 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 404212 0 0 0 104618 1613 0 0 25 0 1 0 166321027 1679175680 403266 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 409955 403266 391 719 0 409234 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1639820 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27825 /proc/meminfo: memFree=27753080/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1709516 CPUtime=1122.32 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 421677 0 0 0 110532 1700 0 0 25 0 1 0 166321027 1750544384 420731 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 427379 420731 391 719 0 426658 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1709516 [startup+1182.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 27827 /proc/meminfo: memFree=27610040/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1778508 CPUtime=1182.32 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 439243 0 0 0 116440 1792 0 0 25 0 1 0 166321027 1821192192 438297 4089446400 4194304 7136930 140734291657376 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 444627 438297 391 719 0 443906 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1778508 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27829 /proc/meminfo: memFree=27511784/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1879580 CPUtime=1242.32 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 460315 0 0 0 122350 1882 0 0 25 0 1 0 166321027 1924689920 459369 4089446400 4194304 7136930 140734291657376 18446744073709551615 4393387 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 469895 459369 391 719 0 469174 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1879580 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 27839 /proc/meminfo: memFree=27401008/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=1952636 CPUtime=1302.32 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 478613 0 0 0 128253 1979 0 0 25 0 1 0 166321027 1999499264 477667 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 488159 477667 391 719 0 487438 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1952636 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27840 /proc/meminfo: memFree=27254644/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2030604 CPUtime=1362.32 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 498170 0 0 0 134154 2078 0 0 25 0 1 0 166321027 2079338496 497224 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 507651 497224 391 719 0 506930 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2030604 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27842 /proc/meminfo: memFree=27114472/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2100880 CPUtime=1422.33 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 515968 0 0 0 140061 2172 0 0 25 0 1 0 166321027 2151301120 515022 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 525220 515022 391 719 0 524499 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2100880 [startup+1482.3 s] /proc/loadavg: 1.93 1.98 1.99 3/179 27893 /proc/meminfo: memFree=29380808/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2187664 CPUtime=1482.33 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 537952 0 0 0 145959 2274 0 0 25 0 1 0 166321027 2240167936 537006 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 546916 537006 391 719 0 546195 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2187664 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 27895 /proc/meminfo: memFree=29247864/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2246952 CPUtime=1542.33 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 553019 0 0 0 151874 2359 0 0 25 0 1 0 166321027 2300878848 552073 4089446400 4194304 7136930 140734291657376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 561738 552073 391 719 0 561017 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2246952 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27896 /proc/meminfo: memFree=29112020/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2318628 CPUtime=1602.33 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 571094 0 0 0 157781 2452 0 0 25 0 1 0 166321027 2374275072 570148 4089446400 4194304 7136930 140734291657376 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 579657 570148 391 719 0 578936 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2318628 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27897 /proc/meminfo: memFree=28965896/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2393064 CPUtime=1662.33 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 589885 0 0 0 163684 2549 0 0 25 0 1 0 166321027 2450497536 588939 4089446400 4194304 7136930 140734291657376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 598266 588939 391 719 0 597545 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2393064 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 27899 /proc/meminfo: memFree=28813080/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2474032 CPUtime=1722.33 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 610350 0 0 0 169588 2645 0 0 25 0 1 0 166321027 2533408768 609404 4089446400 4194304 7136930 140734291657376 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 618508 609404 391 719 0 617787 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2474032 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27901 /proc/meminfo: memFree=28673280/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2548324 CPUtime=1782.34 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 629025 0 0 0 175497 2737 0 0 25 0 1 0 166321027 2609483776 628079 4089446400 4194304 7136930 140734291657376 18446744073709551615 5951006 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 637081 628079 391 719 0 636360 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2548324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27901 /proc/meminfo: memFree=28649196/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2563244 CPUtime=1800.04 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 632773 0 0 0 177242 2762 0 0 25 0 1 0 166321027 2624761856 631827 4089446400 4194304 7136930 140734291657376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27791/statm: 640811 631827 391 719 0 640090 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2563244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -27791 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.01 2.00 3/180 27902 /proc/meminfo: memFree=28648444/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2563244 CPUtime=1801.43 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 632795 0 0 0 177381 2762 0 0 25 0 1 0 166321027 2624761856 631849 4089446400 4194304 7136930 140734291657376 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27791/statm: 640811 631849 397 719 0 640090 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2563244 [startup+1801.81 s] /proc/loadavg: 2.01 2.01 2.00 3/180 27902 /proc/meminfo: memFree=28647576/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2563244 CPUtime=1801.84 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 632795 0 0 0 177422 2762 0 0 25 0 1 0 166321027 2624761856 631849 4089446400 4194304 7136930 140734291657376 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27791/statm: 640811 631849 397 719 0 640090 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2563244 [startup+1802 s] /proc/loadavg: 2.01 2.01 2.00 3/180 27902 /proc/meminfo: memFree=28647576/32951124 swapFree=67111528/67111528 [pid=27791] ppid=27789 vsize=2563244 CPUtime=1802.03 /proc/27791/stat : 27791 (pbscip.linux.x8) R 27789 27791 25351 0 -1 4202496 632795 0 0 0 177441 2762 0 0 25 0 1 0 166321027 2624761856 631849 4089446400 4194304 7136930 140734291657376 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27791/statm: 640811 631849 397 719 0 640090 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2563244 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1774.43 CPU system time (s): 27.7068 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2563244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.43 system time used= 27.7068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 632795 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= 1 involuntary context switches= 960 runsolver used 2.35964 second user time and 5.8811 second system time The end
Begin job on node119 at 2010-06-30 21:40:15 IDJOB=2693617 IDBENCH=79273 IDSOLVER=1206 FILE ID=node119/2693617-1277926815 PBS_JOBID= 11197321 Free space on /tmp= 74208 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.1900567135--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-2693617-1277926815/watcher-2693617-1277926815 -o /tmp/evaluation-result-2693617-1277926815/solver-2693617-1277926815 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693617-1277926815.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 51cd1cd61e067c06067b10b7beeffad7 RANDOM SEED=283132014 node119.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.802 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.60 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.802 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.802 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.75 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.802 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.802 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.73 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.802 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.802 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.75 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.802 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: 30878764 kB Buffers: 211640 kB Cached: 957692 kB SwapCached: 0 kB Active: 1277712 kB Inactive: 650940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30878764 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 759040 kB Mapped: 16256 kB Slab: 79796 kB PageTables: 6528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 918264 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= 74204 MiB End job on node119 at 2010-06-30 22:10:17