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.1900568186--soft-0-100-0.wbo |
| MD5SUM | 0bc882feda752f8542fa470cf04f3d53 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 307.459 |
| 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 | 137245 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137244 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 721 |
| 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-2693615-1277926691.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 137244
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.372440e+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.19 c
0.19/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.372440e+05 | Inf
2.98/3.04 o 526
2.98/3.04 c * 2.9s| 9240 | 8657 | 0 | 0.0 | 24M|2816 | - |5645 |6799 | 0 | 0 | 0 |1385 | 0 | 0.000000e+00 | 5.260000e+02 | Inf
3.29/3.36 c 3.2s| 10000 | 9401 | 0 | 0.0 | 24M|2816 | - |5645 |6869 | 0 | 0 | 0 |1455 | 0 | 0.000000e+00 | 5.260000e+02 | Inf
5.28/5.40 o 191
5.28/5.40 c * 5.2s| 16285 | 7745 | 0 | 0.0 | 24M|2816 | - |5645 |6997 | 0 | 0 | 0 |1591 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
6.59/6.64 c 6.5s| 20000 | 10901 | 0 | 0.0 | 29M|2816 | - |5645 |7740 | 0 | 0 | 0 |4015 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
10.88/10.94 c 10.7s| 30000 | 18238 | 0 | 0.0 | 41M|2816 | - |5645 |9021 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
14.18/14.25 o 177
14.18/14.25 c *13.9s| 34639 | 20296 | 0 | 0.0 | 46M|2816 | - |5645 |9550 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
15.08/15.15 o 165
15.08/15.15 c *14.8s| 36092 | 21624 | 0 | 0.0 | 48M|2816 | - |5645 |9229 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
17.49/17.60 o 151
17.49/17.60 c *17.2s| 39221 | 24259 | 0 | 0.0 | 55M|2816 | - |5645 |9255 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
17.67/17.72 o 144
17.67/17.72 c *17.3s| 39384 | 24369 | 0 | 0.0 | 55M|2816 | - |5645 |9188 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
17.67/17.72 o 126
17.67/17.72 c *17.3s| 39385 | 24192 | 0 | 0.0 | 52M|2816 | - |5645 |9188 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
18.08/18.13 c 17.7s| 40000 | 24771 | 0 | 0.0 | 53M|2816 | - |5645 |8914 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
18.28/18.32 o 109
18.28/18.32 c *17.9s| 40292 | 24853 | 0 | 0.0 | 52M|2816 | - |5645 |8847 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
25.38/25.41 c 24.9s| 50000 | 33530 | 0 | 0.0 | 66M|2816 | - |5645 |8540 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
32.38/32.43 c 31.8s| 60000 | 42292 | 0 | 0.0 | 89M|2816 | - |5645 | 10k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
32.58/32.63 o 108
32.58/32.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.58/32.63 c *32.0s| 60277 | 42524 | 0 | 0.0 | 90M|2816 | - |5645 | 10k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
32.68/32.71 o 91
32.68/32.71 c *32.1s| 60372 | 41760 | 0 | 0.0 | 83M|2816 | - |5645 | 10k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
34.57/34.69 o 86
34.57/34.69 c *34.0s| 62744 | 43287 | 0 | 0.0 | 88M|2816 | - |5645 | 10k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
34.57/34.69 o 83
34.57/34.69 c *34.0s| 62745 | 43131 | 0 | 0.0 | 86M|2816 | - |5645 | 10k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
36.38/36.41 o 77
36.38/36.41 c *35.7s| 64993 | 44813 | 0 | 0.0 | 89M|2816 | - |5645 |8640 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
36.48/36.59 o 76
36.48/36.59 c *35.9s| 65252 | 44804 | 0 | 0.0 | 89M|2816 | - |5645 |8532 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
36.48/36.59 o 70
36.48/36.59 c *35.9s| 65253 | 44436 | 0 | 0.0 | 87M|2816 | - |5645 |8532 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
39.98/40.07 o 65
39.98/40.07 c *39.3s| 69524 | 47670 | 0 | 0.0 | 94M|2816 | - |5645 |8282 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
40.48/40.59 c 39.9s| 70000 | 47934 | 0 | 0.0 | 96M|2816 | - |5645 |8659 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
41.47/41.58 o 64
41.47/41.58 c *40.8s| 71606 | 49196 | 0 | 0.0 | 99M|2816 | - |5645 |8628 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
43.78/43.87 o 62
43.78/43.87 c *43.1s| 74425 | 51416 | 0 | 0.0 | 102M|2816 | - |5645 |8243 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
44.98/45.01 o 57
44.98/45.01 c *44.2s| 75852 | 52111 | 0 | 0.0 | 101M|2816 | - |5645 |8208 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
47.38/47.45 c 46.6s| 80000 | 55560 | 0 | 0.0 | 106M|2816 | - |5645 |8397 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
47.58/47.61 o 55
47.58/47.61 c *46.8s| 80341 | 55494 | 0 | 0.0 | 104M|2816 | - |5645 |8277 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
50.18/50.24 o 48
50.18/50.24 c *49.3s| 84432 | 57577 | 0 | 0.0 | 99M|2816 | - |5645 |8316 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
51.48/51.60 o 45
51.48/51.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.48/51.60 c *50.7s| 86491 | 58949 | 0 | 0.0 | 101M|2816 | - |5645 |8512 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
53.28/53.35 c 52.4s| 90000 | 61947 | 0 | 0.0 | 104M|2816 | - |5645 |8049 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
55.88/56.00 o 41
55.88/56.00 c *55.0s| 96503 | 66571 | 0 | 0.0 | 108M|2816 | - |5645 |8138 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
55.88/56.00 o 35
55.88/56.00 c *55.0s| 96504 | 65451 | 0 | 0.0 | 101M|2816 | - |5645 |8138 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
57.48/57.51 c 56.5s|100000 | 68263 | 0 | 0.0 | 105M|2816 | - |5645 |8428 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
61.59/61.62 c 60.5s|110000 | 76412 | 0 | 0.0 | 115M|2816 | - |5645 |7274 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
66.38/66.44 c 65.2s|120000 | 83869 | 0 | 0.0 | 126M|2816 | - |5645 |8045 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
71.49/71.52 c 70.2s|130000 | 91033 | 0 | 0.0 | 137M|2816 | - |5645 |8480 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
76.68/76.79 c 75.3s|140000 | 97957 | 0 | 0.0 | 148M|2816 | - |5645 |8926 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
82.98/83.06 c 81.5s|150000 |104018 | 0 | 0.0 | 159M|2816 | - |5645 | 10k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
89.58/89.61 c 88.0s|160000 |110041 | 0 | 0.0 | 170M|2816 | - |5645 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
96.58/96.63 c 94.9s|170000 |115651 | 0 | 0.0 | 181M|2816 | - |5645 | 11k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
105.78/105.83 c 104s|180000 |119659 | 0 | 0.0 | 192M|2816 | - |5645 | 13k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
118.79/118.86 c 117s|190000 |120667 | 0 | 0.0 | 201M|2816 | - |5645 | 16k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
124.68/124.75 o 25
124.68/124.75 c * 123s|199874 |127830 | 0 | 0.0 | 205M|2816 | - |5645 |7317 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
124.78/124.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.78/124.85 c 123s|200000 |127933 | 0 | 0.0 | 205M|2816 | - |5645 |7313 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
133.69/133.70 c 131s|210000 |133827 | 0 | 0.0 | 223M|2816 | - |5645 |9570 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
138.68/138.80 c 136s|220000 |142340 | 0 | 0.0 | 232M|2816 | - |5645 |7297 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
145.19/145.27 c 143s|230000 |150159 | 0 | 0.0 | 245M|2816 | - |5645 |8654 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
153.68/153.72 c 151s|240000 |156824 | 0 | 0.0 | 262M|2816 | - |5645 | 10k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
158.99/159.06 o 22
158.99/159.06 c * 156s|246086 |159931 | 0 | 0.0 | 267M|2816 | - |5645 |8717 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
161.28/161.39 c 159s|250000 |162602 | 0 | 0.0 | 270M|2816 | - |5645 |7852 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
167.88/167.90 c 165s|260000 |169678 | 0 | 0.0 | 283M|2816 | - |5645 |8577 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
170.49/170.57 o 19
170.49/170.57 c * 168s|263877 |171370 | 0 | 0.0 | 282M|2816 | - |5645 |8917 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
174.98/175.03 c 172s|270000 |175456 | 0 | 0.0 | 291M|2816 | - |5645 |9770 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
175.08/175.11 o 16
175.08/175.11 c * 172s|270105 |174744 | 0 | 0.0 | 284M|2816 | - |5645 |9759 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
175.79/175.82 o 13
175.79/175.82 c * 173s|270949 |173994 | 0 | 0.0 | 279M|2816 | - |5645 |9973 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
175.79/175.83 o 11
175.79/175.83 c * 173s|270950 |173568 | 0 | 0.0 | 276M|2816 | - |5645 |9973 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
182.78/182.85 c 180s|280000 |178626 | 0 | 0.0 | 286M|2816 | - |5645 |8934 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
189.68/189.71 c 187s|290000 |185180 | 0 | 0.0 | 301M|2816 | - |5645 | 12k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
194.78/194.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.78/194.86 c 192s|300000 |192388 | 0 | 0.0 | 309M|2816 | - |5645 | 10k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
201.29/201.31 c 198s|310000 |199832 | 0 | 0.0 | 322M|2816 | - |5645 | 10k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
208.69/208.70 c 205s|320000 |206785 | 0 | 0.0 | 335M|2816 | - |5645 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
217.18/217.25 c 214s|330000 |212836 | 0 | 0.0 | 348M|2816 | - |5645 | 14k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
224.78/224.87 c 221s|340000 |217978 | 0 | 0.0 | 356M|2816 | - |5645 | 10k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
231.18/231.20 c 227s|350000 |225043 | 0 | 0.0 | 368M|2816 | - |5645 | 14k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
237.38/237.50 c 234s|360000 |232387 | 0 | 0.0 | 378M|2816 | - |5645 | 11k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
243.68/243.79 c 240s|370000 |240017 | 0 | 0.0 | 390M|2816 | - |5645 | 12k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
244.09/244.13 o 10
244.09/244.13 c * 240s|370525 |239712 | 0 | 0.0 | 386M|2816 | - |5645 | 12k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
252.49/252.56 c 249s|380000 |245730 | 0 | 0.0 | 399M|2816 | - |5645 | 14k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
259.28/259.39 c 255s|390000 |252167 | 0 | 0.0 | 409M|2816 | - |5645 | 13k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
266.09/266.13 c 262s|400000 |258793 | 0 | 0.0 | 419M|2816 | - |5645 | 12k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
273.39/273.45 c 269s|410000 |264865 | 0 | 0.0 | 431M|2816 | - |5645 | 15k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
278.99/279.07 c 275s|420000 |272659 | 0 | 0.0 | 441M|2816 | - |5645 | 15k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
285.69/285.77 c 281s|430000 |279346 | 0 | 0.0 | 451M|2816 | - |5645 | 14k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
293.09/293.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.09/293.14 c 288s|440000 |285763 | 0 | 0.0 | 461M|2816 | - |5645 | 15k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
299.09/299.10 c 294s|450000 |293173 | 0 | 0.0 | 473M|2816 | - |5645 | 17k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
305.39/305.42 c 301s|460000 |300577 | 0 | 0.0 | 484M|2816 | - |5645 | 15k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
311.89/311.97 c 307s|470000 |308124 | 0 | 0.0 | 497M|2816 | - |5645 | 17k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
321.38/321.43 c 316s|480000 |313515 | 0 | 0.0 | 507M|2816 | - |5645 | 16k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
326.89/326.93 c 322s|490000 |321701 | 0 | 0.0 | 518M|2816 | - |5645 | 17k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
335.29/335.34 c 330s|500000 |328172 | 0 | 0.0 | 530M|2816 | - |5645 | 21k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
343.09/343.13 c 338s|510000 |334636 | 0 | 0.0 | 540M|2816 | - |5645 | 18k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
350.89/350.92 c 345s|520000 |341194 | 0 | 0.0 | 554M|2816 | - |5645 | 19k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
356.99/357.07 c 351s|530000 |348697 | 0 | 0.0 | 565M|2816 | - |5645 | 17k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
363.49/363.55 c 358s|540000 |355254 | 0 | 0.0 | 575M|2816 | - |5645 | 17k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
369.09/369.18 c 363s|550000 |362286 | 0 | 0.0 | 584M|2816 | - |5645 | 16k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
375.29/375.32 c 369s|560000 |369005 | 0 | 0.0 | 594M|2816 | - |5645 | 18k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
380.39/380.45 c 374s|570000 |376695 | 0 | 0.0 | 604M|2816 | - |5645 | 17k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
386.29/386.31 c 380s|580000 |383761 | 0 | 0.0 | 613M|2816 | - |5645 | 17k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
392.29/392.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.29/392.38 c 386s|590000 |390651 | 0 | 0.0 | 622M|2816 | - |5645 | 16k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
398.10/398.15 c 392s|600000 |397953 | 0 | 0.0 | 632M|2816 | - |5645 | 17k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
404.99/405.02 c 399s|610000 |404370 | 0 | 0.0 | 641M|2816 | - |5645 | 17k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
411.19/411.27 c 405s|620000 |411337 | 0 | 0.0 | 650M|2816 | - |5645 | 17k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
417.49/417.59 c 411s|630000 |418288 | 0 | 0.0 | 660M|2816 | - |5645 | 17k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
423.89/423.90 c 417s|640000 |425122 | 0 | 0.0 | 670M|2816 | - |5645 | 17k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
430.49/430.58 c 424s|650000 |431627 | 0 | 0.0 | 680M|2816 | - |5645 | 18k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
435.39/435.44 c 429s|660000 |439070 | 0 | 0.0 | 685M|2816 | - |5645 |4892 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
438.90/438.97 c 432s|670000 |447347 | 0 | 0.0 | 694M|2816 | - |5645 |4586 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
442.49/442.53 c 436s|680000 |455426 | 0 | 0.0 | 703M|2816 | - |5645 |4654 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
446.70/446.78 c 440s|690000 |462857 | 0 | 0.0 | 714M|2816 | - |5645 |5307 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
452.99/453.10 c 446s|700000 |468485 | 0 | 0.0 | 725M|2816 | - |5645 |6204 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
459.99/460.01 c 453s|710000 |473655 | 0 | 0.0 | 735M|2816 | - |5645 |6692 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
467.19/467.22 c 460s|720000 |478459 | 0 | 0.0 | 746M|2816 | - |5645 |7631 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
475.00/475.09 c 468s|730000 |482799 | 0 | 0.0 | 757M|2816 | - |5645 |7341 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
482.99/483.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.99/483.08 c 475s|740000 |486988 | 0 | 0.0 | 767M|2816 | - |5645 |8242 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
491.39/491.41 c 484s|750000 |490893 | 0 | 0.0 | 777M|2816 | - |5645 |9233 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
500.29/500.34 c 492s|760000 |494460 | 0 | 0.0 | 787M|2816 | - |5645 | 10k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
509.29/509.36 c 501s|770000 |497969 | 0 | 0.0 | 798M|2816 | - |5645 | 10k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
518.89/518.99 c 511s|780000 |501149 | 0 | 0.0 | 807M|2816 | - |5645 | 10k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
528.50/528.54 c 520s|790000 |504387 | 0 | 0.0 | 816M|2816 | - |5645 | 10k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
538.49/538.50 c 530s|800000 |507446 | 0 | 0.0 | 826M|2816 | - |5645 | 10k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
548.29/548.30 c 540s|810000 |510682 | 0 | 0.0 | 834M|2816 | - |5645 | 11k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
558.70/558.77 c 550s|820000 |513535 | 0 | 0.0 | 843M|2816 | - |5645 | 11k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
570.19/570.20 c 562s|830000 |515572 | 0 | 0.0 | 851M|2816 | - |5645 | 12k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
581.39/581.42 c 573s|840000 |518027 | 0 | 0.0 | 860M|2816 | - |5645 | 13k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
592.49/592.51 c 584s|850000 |520622 | 0 | 0.0 | 869M|2816 | - |5645 | 14k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
603.80/603.80 c 595s|860000 |523168 | 0 | 0.0 | 877M|2816 | - |5645 | 13k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
616.39/616.40 c 607s|870000 |524492 | 0 | 0.0 | 886M|2816 | - |5645 | 14k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
629.90/629.93 c 621s|880000 |525724 | 0 | 0.0 | 894M|2816 | - |5645 | 15k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
644.80/644.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.80/644.82 c 635s|890000 |526198 | 0 | 0.0 | 901M|2816 | - |5645 | 17k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
661.20/661.24 c 652s|900000 |525915 | 0 | 0.0 | 907M|2816 | - |5645 | 18k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
680.19/680.20 c 671s|910000 |524258 | 0 | 0.0 | 910M|2816 | - |5645 | 19k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
690.30/690.33 c 681s|920000 |528840 | 0 | 0.0 | 910M|2816 | - |5645 |6777 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
695.00/695.01 c 685s|930000 |536590 | 0 | 0.0 | 920M|2816 | - |5645 |6428 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
699.80/699.83 c 690s|940000 |544066 | 0 | 0.0 | 930M|2816 | - |5645 |6742 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
705.00/705.02 c 695s|950000 |551194 | 0 | 0.0 | 941M|2816 | - |5645 |7200 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
710.61/710.68 c 700s|960000 |557981 | 0 | 0.0 | 951M|2816 | - |5645 |7805 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
718.20/718.22 c 708s|970000 |563399 | 0 | 0.0 | 963M|2816 | - |5645 |9096 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
727.80/727.85 c 717s|980000 |567408 | 0 | 0.0 | 976M|2816 | - |5645 | 10k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
740.31/740.39 c 730s|990000 |569328 | 0 | 0.0 | 989M|2816 | - |5645 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
751.40/751.42 c 741s| 1000k|571793 | 0 | 0.0 | 995M|2816 | - |5645 |6600 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
756.40/756.47 c 746s| 1010k|579385 | 0 | 0.0 |1006M|2816 | - |5645 |6113 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
761.70/761.74 c 751s| 1020k|586711 | 0 | 0.0 |1017M|2816 | - |5645 |6453 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
767.21/767.27 c 756s| 1030k|593829 | 0 | 0.0 |1028M|2816 | - |5645 |6736 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
773.21/773.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.21/773.24 c 762s| 1040k|600613 | 0 | 0.0 |1039M|2816 | - |5645 |7217 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
779.40/779.43 c 768s| 1050k|607198 | 0 | 0.0 |1051M|2816 | - |5645 |7573 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
785.91/785.99 c 775s| 1060k|613483 | 0 | 0.0 |1063M|2816 | - |5645 |8298 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
792.90/792.94 c 781s| 1070k|619459 | 0 | 0.0 |1074M|2816 | - |5645 |8852 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
800.41/800.48 c 789s| 1080k|625014 | 0 | 0.0 |1086M|2816 | - |5645 |9484 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
808.21/808.28 c 797s| 1090k|630368 | 0 | 0.0 |1097M|2816 | - |5645 |9833 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
816.81/816.89 c 805s| 1100k|635196 | 0 | 0.0 |1108M|2816 | - |5645 | 10k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
826.11/826.13 c 814s| 1110k|639598 | 0 | 0.0 |1120M|2816 | - |5645 | 12k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
836.41/836.42 c 824s| 1120k|643311 | 0 | 0.0 |1131M|2816 | - |5645 | 12k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
838.90/838.92 o 8
838.90/838.92 c * 827s| 1122k|640047 | 0 | 0.0 |1111M|2816 | - |5645 | 12k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
838.90/838.93 o 7
838.90/838.93 c * 827s| 1122k|638934 | 0 | 0.0 |1105M|2816 | - |5645 | 12k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
850.10/850.18 c 838s| 1130k|640673 | 0 | 0.0 |1116M|2816 | - |5645 |6470 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
862.21/862.21 c 850s| 1140k|641260 | 0 | 0.0 |1124M|2816 | - |5645 |8024 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
870.70/870.75 c 858s| 1150k|644841 | 0 | 0.0 |1129M|2816 | - |5645 |6173 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
876.10/876.12 c 863s| 1160k|651590 | 0 | 0.0 |1138M|2816 | - |5645 |6672 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
881.70/881.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.70/881.78 c 869s| 1170k|658261 | 0 | 0.0 |1149M|2816 | - |5645 |7395 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
887.81/887.82 c 875s| 1180k|664562 | 0 | 0.0 |1160M|2816 | - |5645 |7913 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
894.50/894.52 c 881s| 1190k|670367 | 0 | 0.0 |1170M|2816 | - |5645 |8155 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
901.80/901.83 c 889s| 1200k|675570 | 0 | 0.0 |1180M|2816 | - |5645 |8002 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
909.71/909.74 c 896s| 1210k|680019 | 0 | 0.0 |1190M|2816 | - |5645 |7547 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
917.90/917.90 c 904s| 1220k|684109 | 0 | 0.0 |1199M|2816 | - |5645 |7620 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
925.11/925.13 c 912s| 1230k|689093 | 0 | 0.0 |1208M|2816 | - |5645 |7198 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
931.21/931.22 c 918s| 1240k|694966 | 0 | 0.0 |1216M|2816 | - |5645 |7093 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
937.21/937.21 c 923s| 1250k|701089 | 0 | 0.0 |1225M|2816 | - |5645 |7327 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
943.90/943.90 c 930s| 1260k|706733 | 0 | 0.0 |1234M|2816 | - |5645 |7846 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.01/951.02 c 937s| 1270k|712056 | 0 | 0.0 |1244M|2816 | - |5645 |8708 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
958.80/958.85 c 945s| 1280k|716827 | 0 | 0.0 |1254M|2816 | - |5645 |9702 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
968.01/968.05 c 954s| 1290k|720484 | 0 | 0.0 |1262M|2816 | - |5645 | 10k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
978.41/978.46 o 6
978.41/978.46 c * 964s| 1298k|718894 | 0 | 0.0 |1256M|2816 | - |5645 | 11k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
980.12/980.15 c 966s| 1300k|719167 | 0 | 0.0 |1255M|2816 | - |5645 |9604 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
984.81/984.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.81/984.89 c 970s| 1310k|726850 | 0 | 0.0 |1264M|2816 | - |5645 |6088 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
989.92/989.92 c 975s| 1320k|734029 | 0 | 0.0 |1274M|2816 | - |5645 |6501 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
995.11/995.18 c 980s| 1330k|740958 | 0 | 0.0 |1284M|2816 | - |5645 |6973 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1000.91/1000.92 c 986s| 1340k|747428 | 0 | 0.0 |1295M|2816 | - |5645 |7629 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1007.31/1007.31 c 992s| 1350k|753378 | 0 | 0.0 |1305M|2816 | - |5645 |8127 | 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1014.41/1014.45 c 999s| 1360k|758623 | 0 | 0.0 |1315M|2816 | - |5645 |9115 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1023.02/1023.01 c 1008s| 1370k|762687 | 0 | 0.0 |1324M|2816 | - |5645 | 10k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1034.11/1034.11 c 1019s| 1380k|764841 | 0 | 0.0 |1332M|2816 | - |5645 | 11k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1040.81/1040.86 c 1025s| 1390k|770667 | 0 | 0.0 |1339M|2816 | - |5645 |6214 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1045.31/1045.34 c 1030s| 1400k|778268 | 0 | 0.0 |1348M|2816 | - |5645 |6723 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1050.01/1050.06 c 1034s| 1410k|785614 | 0 | 0.0 |1358M|2816 | - |5645 |7188 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1055.01/1055.09 c 1039s| 1420k|792722 | 0 | 0.0 |1367M|2816 | - |5645 |7432 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1060.32/1060.34 c 1045s| 1430k|799631 | 0 | 0.0 |1376M|2816 | - |5645 |7566 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1065.91/1065.97 c 1050s| 1440k|806164 | 0 | 0.0 |1386M|2816 | - |5645 |7154 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1072.51/1072.58 c 1057s| 1450k|811732 | 0 | 0.0 |1396M|2816 | - |5645 |7780 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1079.41/1079.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.41/1079.46 c 1063s| 1460k|817171 | 0 | 0.0 |1405M|2816 | - |5645 |7786 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1085.91/1085.99 c 1070s| 1470k|822853 | 0 | 0.0 |1414M|2816 | - |5645 |7772 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1092.32/1092.32 c 1076s| 1480k|828646 | 0 | 0.0 |1423M|2816 | - |5645 |7304 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1098.92/1098.90 c 1082s| 1490k|834308 | 0 | 0.0 |1432M|2816 | - |5645 |7279 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1105.21/1105.22 c 1089s| 1500k|840144 | 0 | 0.0 |1442M|2816 | - |5645 |7508 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1111.71/1111.72 c 1095s| 1510k|846154 | 0 | 0.0 |1451M|2816 | - |5645 |5426 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1117.82/1117.87 c 1101s| 1520k|852207 | 0 | 0.0 |1460M|2816 | - |5645 |6446 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1123.61/1123.61 c 1107s| 1530k|858349 | 0 | 0.0 |1469M|2816 | - |5645 |6832 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1129.11/1129.19 c 1112s| 1540k|864653 | 0 | 0.0 |1478M|2816 | - |5645 |7054 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1134.82/1134.80 c 1118s| 1550k|870982 | 0 | 0.0 |1487M|2816 | - |5645 |7060 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1140.92/1140.90 c 1124s| 1560k|876919 | 0 | 0.0 |1496M|2816 | - |5645 |7705 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1147.51/1147.53 c 1130s| 1570k|882409 | 0 | 0.0 |1505M|2816 | - |5645 |8068 | 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1154.82/1154.84 c 1137s| 1580k|887346 | 0 | 0.0 |1514M|2816 | - |5645 |8750 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1162.42/1162.43 c 1145s| 1590k|892015 | 0 | 0.0 |1523M|2816 | - |5645 |9208 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1171.11/1171.17 c 1154s| 1600k|895747 | 0 | 0.0 |1530M|2816 | - |5645 |9626 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1181.32/1181.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.32/1181.37 c 1164s| 1610k|897907 | 0 | 0.0 |1535M|2816 | - |5645 |7443 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1185.52/1185.54 c 1168s| 1620k|905848 | 0 | 0.0 |1544M|2816 | - |5645 |5551 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1189.81/1189.81 c 1172s| 1630k|913524 | 0 | 0.0 |1554M|2816 | - |5645 |5925 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1194.42/1194.42 c 1176s| 1640k|921009 | 0 | 0.0 |1564M|2816 | - |5645 |6384 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1199.31/1199.31 c 1181s| 1650k|928213 | 0 | 0.0 |1574M|2816 | - |5645 |6618 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1204.42/1204.47 c 1186s| 1660k|935220 | 0 | 0.0 |1585M|2816 | - |5645 |6765 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1209.52/1209.55 c 1191s| 1670k|942189 | 0 | 0.0 |1594M|2816 | - |5645 |7265 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1215.42/1215.41 c 1197s| 1680k|948367 | 0 | 0.0 |1603M|2816 | - |5645 |7990 | 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1221.31/1221.34 c 1203s| 1690k|954488 | 0 | 0.0 |1612M|2816 | - |5645 |8170 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1228.82/1228.82 c 1210s| 1700k|959218 | 0 | 0.0 |1621M|2816 | - |5645 |8873 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1237.72/1237.79 c 1219s| 1710k|962669 | 0 | 0.0 |1630M|2816 | - |5645 |9823 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1245.72/1245.76 c 1227s| 1720k|967147 | 0 | 0.0 |1637M|2816 | - |5645 |6062 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1250.51/1250.52 c 1231s| 1730k|974436 | 0 | 0.0 |1647M|2816 | - |5645 |6038 | 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1255.13/1255.18 c 1236s| 1740k|981850 | 0 | 0.0 |1657M|2816 | - |5645 |6374 | 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1259.81/1259.85 c 1241s| 1750k|989213 | 0 | 0.0 |1667M|2816 | - |5645 |6614 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1264.62/1264.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.62/1264.62 c 1245s| 1760k|996516 | 0 | 0.0 |1678M|2816 | - |5645 |6768 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1269.52/1269.52 c 1250s| 1770k| 1003k| 0 | 0.0 |1688M|2816 | - |5645 |7021 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1274.92/1274.96 c 1255s| 1780k| 1010k| 0 | 0.0 |1698M|2816 | - |5645 |7353 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1281.02/1281.05 c 1261s| 1790k| 1016k| 0 | 0.0 |1708M|2816 | - |5645 |7701 | 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1287.72/1287.74 c 1268s| 1800k| 1022k| 0 | 0.0 |1719M|2816 | - |5645 |8027 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1294.82/1294.81 c 1275s| 1810k| 1027k| 0 | 0.0 |1729M|2816 | - |5645 |8526 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1302.32/1302.34 c 1282s| 1820k| 1032k| 0 | 0.0 |1740M|2816 | - |5645 |8895 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1310.32/1310.36 c 1290s| 1830k| 1037k| 0 | 0.0 |1749M|2816 | - |5645 |9536 | 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1318.92/1318.97 c 1299s| 1840k| 1041k| 0 | 0.0 |1759M|2816 | - |5645 | 10k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1328.62/1328.62 c 1308s| 1850k| 1045k| 0 | 0.0 |1768M|2816 | - |5645 | 10k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1339.22/1339.28 c 1319s| 1860k| 1047k| 0 | 0.0 |1775M|2816 | - |5645 | 10k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1346.51/1346.55 c 1326s| 1870k| 1052k| 0 | 0.0 |1782M|2816 | - |5645 |7051 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1352.01/1352.07 c 1331s| 1880k| 1059k| 0 | 0.0 |1792M|2816 | - |5645 |7344 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1357.62/1357.69 c 1337s| 1890k| 1066k| 0 | 0.0 |1802M|2816 | - |5645 |8218 | 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1364.12/1364.11 c 1343s| 1900k| 1072k| 0 | 0.0 |1812M|2816 | - |5645 |9366 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1371.42/1371.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.42/1371.45 c 1350s| 1910k| 1077k| 0 | 0.0 |1822M|2816 | - |5645 | 10k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1380.12/1380.12 c 1359s| 1920k| 1081k| 0 | 0.0 |1832M|2816 | - |5645 | 12k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1392.32/1392.30 c 1371s| 1930k| 1083k| 0 | 0.0 |1840M|2816 | - |5645 | 14k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1398.22/1398.20 c 1377s| 1940k| 1090k| 0 | 0.0 |1846M|2816 | - |5645 |6614 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1403.02/1403.08 c 1382s| 1950k| 1097k| 0 | 0.0 |1857M|2816 | - |5645 |7113 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1408.32/1408.34 c 1387s| 1960k| 1104k| 0 | 0.0 |1868M|2816 | - |5645 |7713 | 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1414.22/1414.27 c 1393s| 1970k| 1111k| 0 | 0.0 |1878M|2816 | - |5645 |8518 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1420.23/1420.26 c 1398s| 1980k| 1117k| 0 | 0.0 |1887M|2816 | - |5645 |9035 | 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1428.03/1428.05 c 1406s| 1990k| 1122k| 0 | 0.0 |1897M|2816 | - |5645 | 10k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1438.02/1438.02 c 1416s| 2000k| 1125k| 0 | 0.0 |1907M|2816 | - |5645 | 12k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1448.12/1448.15 c 1426s| 2010k| 1128k| 0 | 0.0 |1912M|2816 | - |5645 |7670 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1452.62/1452.66 c 1430s| 2020k| 1136k| 0 | 0.0 |1921M|2816 | - |5645 |7469 | 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1457.32/1457.31 c 1435s| 2030k| 1143k| 0 | 0.0 |1931M|2816 | - |5645 |7961 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1462.12/1462.17 c 1440s| 2040k| 1151k| 0 | 0.0 |1940M|2816 | - |5645 |8330 | 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1467.33/1467.39 c 1445s| 2050k| 1158k| 0 | 0.0 |1949M|2816 | - |5645 |8957 | 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1474.33/1474.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.33/1474.37 c 1452s| 2060k| 1163k| 0 | 0.0 |1960M|2816 | - |5645 | 10k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1483.02/1483.08 c 1460s| 2070k| 1168k| 0 | 0.0 |1970M|2816 | - |5645 | 11k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1494.52/1494.53 c 1472s| 2080k| 1170k| 0 | 0.0 |1979M|2816 | - |5645 | 13k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1502.13/1502.14 c 1479s| 2090k| 1176k| 0 | 0.0 |1985M|2816 | - |5645 |7864 | 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1507.52/1507.53 c 1484s| 2100k| 1183k| 0 | 0.0 |1996M|2816 | - |5645 |8520 | 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1513.53/1513.52 c 1490s| 2110k| 1190k| 0 | 0.0 |2007M|2816 | - |5645 |9229 | 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1520.32/1520.37 c 1497s| 2120k| 1195k| 0 | 0.0 |2017M|2816 | - |5645 | 10k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1528.23/1528.29 c 1505s| 2130k| 1201k| 0 | 0.0 |2028M|2816 | - |5645 | 11k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1538.13/1538.10 c 1514s| 2140k| 1204k| 0 | 0.0 |2038M|2816 | - |5645 | 13k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1551.23/1551.25 c 1527s| 2150k| 1206k| 0 | 0.0 |2046M|2816 | - |5645 | 15k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1556.63/1556.66 c 1533s| 2160k| 1213k| 0 | 0.0 |2053M|2816 | - |5645 |8397 | 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1562.43/1562.49 c 1539s| 2170k| 1220k| 0 | 0.0 |2064M|2816 | - |5645 |9226 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1569.02/1569.02 c 1545s| 2180k| 1226k| 0 | 0.0 |2074M|2816 | - |5645 | 10k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1576.73/1576.71 c 1553s| 2190k| 1231k| 0 | 0.0 |2085M|2816 | - |5645 | 11k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1585.03/1585.02 c 1561s| 2200k| 1236k| 0 | 0.0 |2095M|2816 | - |5645 | 11k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1594.83/1594.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.83/1594.87 c 1570s| 2210k| 1239k| 0 | 0.0 |2105M|2816 | - |5645 | 13k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1607.03/1607.02 c 1582s| 2220k| 1241k| 0 | 0.0 |2111M|2816 | - |5645 | 12k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1611.93/1611.94 c 1587s| 2230k| 1249k| 0 | 0.0 |2119M|2816 | - |5645 |8267 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1616.63/1616.60 c 1592s| 2240k| 1256k| 0 | 0.0 |2129M|2816 | - |5645 |8383 | 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1621.23/1621.25 c 1596s| 2250k| 1264k| 0 | 0.0 |2138M|2816 | - |5645 |8729 | 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1626.13/1626.18 c 1601s| 2260k| 1271k| 0 | 0.0 |2147M|2816 | - |5645 |8882 | 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1631.24/1631.27 c 1606s| 2270k| 1278k| 0 | 0.0 |2156M|2816 | - |5645 |9260 | 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1636.53/1636.53 c 1611s| 2280k| 1285k| 0 | 0.0 |2166M|2816 | - |5645 |9159 | 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1641.93/1641.96 c 1617s| 2290k| 1292k| 0 | 0.0 |2175M|2816 | - |5645 |9727 | 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1647.84/1647.86 c 1623s| 2300k| 1299k| 0 | 0.0 |2184M|2816 | - |5645 | 10k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1653.83/1653.83 c 1628s| 2310k| 1305k| 0 | 0.0 |2194M|2816 | - |5645 | 10k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1661.23/1661.29 c 1636s| 2320k| 1311k| 0 | 0.0 |2203M|2816 | - |5645 | 11k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1670.03/1670.06 c 1644s| 2330k| 1315k| 0 | 0.0 |2212M|2816 | - |5645 | 11k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1680.93/1680.96 c 1655s| 2340k| 1318k| 0 | 0.0 |2221M|2816 | - |5645 | 13k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1694.83/1694.80 c 1669s| 2350k| 1319k| 0 | 0.0 |2228M|2816 | - |5645 | 14k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1704.53/1704.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.53/1704.56 c 1679s| 2360k| 1323k| 0 | 0.0 |2232M|2816 | - |5645 |9190 | 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1709.33/1709.32 c 1683s| 2370k| 1331k| 0 | 0.0 |2241M|2816 | - |5645 |8832 | 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1714.03/1714.06 c 1688s| 2380k| 1338k| 0 | 0.0 |2250M|2816 | - |5645 |8851 | 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1719.03/1719.08 c 1693s| 2390k| 1346k| 0 | 0.0 |2259M|2816 | - |5645 |9088 | 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1724.03/1724.00 c 1698s| 2400k| 1353k| 0 | 0.0 |2268M|2816 | - |5645 |9154 | 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1729.24/1729.22 c 1703s| 2410k| 1360k| 0 | 0.0 |2277M|2816 | - |5645 |9454 | 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1735.33/1735.30 c 1709s| 2420k| 1366k| 0 | 0.0 |2287M|2816 | - |5645 | 10k| 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1742.23/1742.26 c 1715s| 2430k| 1372k| 0 | 0.0 |2297M|2816 | - |5645 | 10k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1750.23/1750.20 c 1723s| 2440k| 1377k| 0 | 0.0 |2308M|2816 | - |5645 | 11k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1758.93/1758.95 c 1732s| 2450k| 1382k| 0 | 0.0 |2318M|2816 | - |5645 | 12k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1768.84/1768.85 c 1742s| 2460k| 1385k| 0 | 0.0 |2328M|2816 | - |5645 | 13k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1780.23/1780.27 c 1753s| 2470k| 1388k| 0 | 0.0 |2337M|2816 | - |5645 | 14k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1794.73/1794.73 c 1767s| 2480k| 1389k| 0 | 0.0 |2343M|2816 | - |5645 | 16k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 6.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.52
1800.04/1800.00 c Solving Nodes : 2486871
1800.04/1800.00 c Primal Bound : +6.00000000000000e+00 (37 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 : 1772.52
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693615-1277926691.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-2693615-1277926691.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, 23087 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.03 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 : - 2555 - - 5110 - - - -
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 6464100 0 1809193 429 3958214 0 0 0
1800.04/1800.08 c linear : 2707 0 7998333 0 2101276 538198 46339744 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3722933 0 0 84341 2444535 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2101306 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 : 41.03 0.00 18.67 0.00 22.36
1800.04/1800.08 c linear : 459.60 0.00 457.26 0.00 2.34
1800.04/1800.08 c logicor : 211.28 0.00 211.28 0.00 0.00
1800.04/1800.08 c countsols : 0.42 0.00 0.00 0.00 0.42
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 1.78 2 0 0
1800.04/1800.08 c rootredcost : 1.62 0 0 0
1800.04/1800.08 c pseudoobj : 409.79 8005996 7143 3874552
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 36.59 629682 629680 2917244 20.9 183527 10.8 -
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.04 223 223 813 20.2 556 9.7 -
1800.04/1800.08 c applied globally : - - - 1923965 18.5 - - -
1800.04/1800.08 c applied locally : - - - 1 330.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 : 55.76 2101272 0 0 0 0 4202544
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.16 - 34
1800.04/1800.08 c oneopt : 0.78 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.63 0 0
1800.04/1800.08 c trysol : 0.53 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 : 2486871
1800.04/1800.08 c nodes (total) : 2486871
1800.04/1800.08 c nodes left : 1393486
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 345367 (13.9%)
1800.04/1800.08 c delayed cutoffs : 292857
1800.04/1800.08 c repropagations : 1454475 (17408961 domain reductions, 244769 cutoffs)
1800.04/1800.08 c avg switch length: 48.84
1800.04/1800.08 c switching time : 479.66
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 37 (35 improvements)
1800.04/1800.08 c First Solution : +1.37244000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1298457 nodes, 964.06 seconds, depth 233, 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
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693615-1277926691/watcher-2693615-1277926691 -o /tmp/evaluation-result-2693615-1277926691/solver-2693615-1277926691 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693615-1277926691.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.93 2.01 2.03 4/196 27671 /proc/meminfo: memFree=30769048/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=8604 CPUtime=0 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 1629 0 0 0 0 0 0 0 24 0 1 0 168272890 8810496 1551 4089446400 4194304 7136930 140734131947168 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27671/statm: 2151 1558 275 719 0 1430 0 [startup+0.0456981 s] /proc/loadavg: 1.93 2.01 2.03 4/196 27671 /proc/meminfo: memFree=30769048/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=26084 CPUtime=0.03 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 6266 0 0 0 3 0 0 0 24 0 1 0 168272890 26710016 5835 4089446400 4194304 7136930 140734131947168 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 6521 5945 289 719 0 5800 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 26084 [startup+0.100695 s] /proc/loadavg: 1.93 2.01 2.03 4/196 27671 /proc/meminfo: memFree=30769048/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=33680 CPUtime=0.09 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 7967 0 0 0 9 0 0 0 24 0 1 0 168272890 34488320 7535 4089446400 4194304 7136930 140734131947168 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 8420 7535 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300659 s] /proc/loadavg: 1.93 2.01 2.03 4/196 27671 /proc/meminfo: memFree=30769048/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=36500 CPUtime=0.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 9239 0 0 0 28 1 0 0 25 0 1 0 168272890 37376000 8293 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 9125 8293 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700584 s] /proc/loadavg: 1.93 2.01 2.03 4/196 27671 /proc/meminfo: memFree=30769048/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=37640 CPUtime=0.69 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 9516 0 0 0 67 2 0 0 25 0 1 0 168272890 38543360 8570 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 9410 8570 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50043 s] /proc/loadavg: 1.93 2.01 2.03 3/197 27672 /proc/meminfo: memFree=30734320/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=42660 CPUtime=1.49 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 10776 0 0 0 145 4 0 0 25 0 1 0 168272890 43683840 9830 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 10665 9830 390 719 0 9944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42660 [startup+3.10114 s] /proc/loadavg: 1.93 2.01 2.03 3/197 27672 /proc/meminfo: memFree=30730600/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=45420 CPUtime=3.09 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 11480 0 0 0 302 7 0 0 25 0 1 0 168272890 46510080 10534 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 11355 10534 390 719 0 10634 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45420 [startup+6.30058 s] /proc/loadavg: 1.94 2.01 2.03 3/197 27673 /proc/meminfo: memFree=30724524/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=52136 CPUtime=6.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 13157 0 0 0 616 13 0 0 25 0 1 0 168272890 53387264 12211 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 13034 12211 390 719 0 12313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52136 [startup+12.7004 s] /proc/loadavg: 1.94 2.01 2.03 3/197 27673 /proc/meminfo: memFree=30702768/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=72800 CPUtime=12.67 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 18300 0 0 0 1241 26 0 0 25 0 1 0 168272890 74547200 17354 4089446400 4194304 7136930 140734131947168 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 18200 17354 390 719 0 17479 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 72800 [startup+25.501 s] /proc/loadavg: 1.95 2.01 2.03 3/197 27673 /proc/meminfo: memFree=30652580/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=117944 CPUtime=25.48 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 28960 0 0 0 2503 45 0 0 25 0 1 0 168272890 120774656 28014 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 29486 28014 391 719 0 28765 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 117944 [startup+51.1004 s] /proc/loadavg: 1.97 2.00 2.03 3/197 27674 /proc/meminfo: memFree=30562240/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=209640 CPUtime=51.08 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 50427 0 0 0 5020 88 0 0 25 0 1 0 168272890 214671360 49481 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 52410 49481 391 719 0 51689 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 209640 [startup+102.306 s] /proc/loadavg: 1.98 2.00 2.02 3/197 27675 /proc/meminfo: memFree=30451348/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=313464 CPUtime=102.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 76107 0 0 0 10054 175 0 0 25 0 1 0 168272890 320987136 75161 4089446400 4194304 7136930 140734131947168 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 78366 75161 391 719 0 77645 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 313464 [startup+162.301 s] /proc/loadavg: 1.99 2.00 2.02 3/197 27677 /proc/meminfo: memFree=30349380/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=418820 CPUtime=162.28 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 100862 0 0 0 15963 265 0 0 25 0 1 0 168272890 428871680 99916 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 104705 99916 391 719 0 103984 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 418820 [startup+222.301 s] /proc/loadavg: 1.99 2.00 2.01 3/197 27678 /proc/meminfo: memFree=30250368/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=524924 CPUtime=222.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 125508 0 0 0 21876 353 0 0 25 0 1 0 168272890 537522176 124562 4089446400 4194304 7136930 140734131947168 18446744073709551615 4926068 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 131231 124562 391 719 0 130510 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 524924 [startup+282.301 s] /proc/loadavg: 2.05 2.01 2.01 3/197 27680 /proc/meminfo: memFree=30146532/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=629904 CPUtime=282.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 151394 0 0 0 27786 443 0 0 25 0 1 0 168272890 645021696 150448 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 157476 150448 391 719 0 156755 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 629904 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 27682 /proc/meminfo: memFree=30052468/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=724620 CPUtime=342.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 174919 0 0 0 33698 531 0 0 25 0 1 0 168272890 742010880 173973 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 181155 173973 391 719 0 180434 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 724620 [startup+402.301 s] /proc/loadavg: 2.34 2.11 2.04 3/197 27683 /proc/meminfo: memFree=29949744/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=827552 CPUtime=402.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 200419 0 0 0 39598 631 0 0 25 0 1 0 168272890 847413248 199473 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 206888 199473 391 719 0 206167 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 827552 [startup+462.3 s] /proc/loadavg: 2.12 2.09 2.03 3/179 27715 /proc/meminfo: memFree=30530416/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=945188 CPUtime=462.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 228071 0 0 0 45499 730 0 0 25 0 1 0 168272890 967872512 227125 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 236297 227125 391 719 0 235576 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 945188 [startup+522.3 s] /proc/loadavg: 2.04 2.07 2.02 3/179 27716 /proc/meminfo: memFree=30375772/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1010720 CPUtime=522.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 244547 0 0 0 51424 805 0 0 25 0 1 0 168272890 1034977280 243601 4089446400 4194304 7136930 140734131947168 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 252680 243601 391 719 0 251959 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1010720 [startup+582.3 s] /proc/loadavg: 2.01 2.05 2.02 3/179 27718 /proc/meminfo: memFree=30265976/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1062564 CPUtime=582.29 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 257451 0 0 0 57358 871 0 0 25 0 1 0 168272890 1088065536 256505 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 265641 256505 391 719 0 264920 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1062564 [startup+642.3 s] /proc/loadavg: 2.00 2.04 2.01 3/179 27720 /proc/meminfo: memFree=30202328/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1106880 CPUtime=642.31 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 268476 0 0 0 63301 930 0 0 25 0 1 0 168272890 1133445120 267530 4089446400 4194304 7136930 140734131947168 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 276720 267530 391 719 0 275999 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1106880 [startup+702.3 s] ################ # More data... # ################ /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 374751 0 0 0 98747 1484 0 0 25 0 1 0 168272890 1572663296 373805 4089446400 4194304 7136930 140734131947168 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 383951 373805 391 719 0 383230 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1535804 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 27731 /proc/meminfo: memFree=29659616/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1629108 CPUtime=1062.31 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 398018 0 0 0 104647 1584 0 0 25 0 1 0 168272890 1668206592 397072 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 407277 397072 391 719 0 406556 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1629108 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 27732 /proc/meminfo: memFree=29577960/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1706684 CPUtime=1122.31 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 417842 0 0 0 110546 1685 0 0 25 0 1 0 168272890 1747644416 416896 4089446400 4194304 7136930 140734131947168 18446744073709551615 4926033 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 426671 416896 391 719 0 425950 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1706684 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27734 /proc/meminfo: memFree=29513920/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1770544 CPUtime=1182.31 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 433940 0 0 0 116451 1780 0 0 25 0 1 0 168272890 1813037056 432994 4089446400 4194304 7136930 140734131947168 18446744073709551615 4210067 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 442636 432994 391 719 0 441915 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1770544 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 27736 /proc/meminfo: memFree=29411584/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1872016 CPUtime=1242.32 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 459046 0 0 0 122344 1888 0 0 25 0 1 0 168272890 1916944384 458100 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 468004 458100 391 719 0 467283 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1872016 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 27737 /proc/meminfo: memFree=29304392/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=1987588 CPUtime=1302.32 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 484289 0 0 0 128236 1996 0 0 25 0 1 0 168272890 2035290112 483343 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 496897 483343 391 719 0 496176 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1987588 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 27739 /proc/meminfo: memFree=29234028/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2056576 CPUtime=1362.32 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 501644 0 0 0 134143 2089 0 0 25 0 1 0 168272890 2105933824 500698 4089446400 4194304 7136930 140734131947168 18446744073709551615 4978100 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 514144 500698 391 719 0 513423 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2056576 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/179 27749 /proc/meminfo: memFree=29151388/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2133472 CPUtime=1422.33 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 521014 0 0 0 140050 2183 0 0 25 0 1 0 168272890 2184675328 520068 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 533368 520068 391 719 0 532647 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2133472 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 27751 /proc/meminfo: memFree=29062808/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2217364 CPUtime=1482.32 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 542202 0 0 0 145953 2279 0 0 25 0 1 0 168272890 2270580736 541256 4089446400 4194304 7136930 140734131947168 18446744073709551615 5000109 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 554341 541256 391 719 0 553620 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2217364 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27753 /proc/meminfo: memFree=28983276/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2287584 CPUtime=1542.33 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 559839 0 0 0 151867 2366 0 0 25 0 1 0 168272890 2342486016 558893 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 571896 558893 391 719 0 571175 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2287584 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27754 /proc/meminfo: memFree=28907100/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2357376 CPUtime=1602.33 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 577553 0 0 0 157783 2450 0 0 25 0 1 0 168272890 2413953024 576607 4089446400 4194304 7136930 140734131947168 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 589344 576607 391 719 0 588623 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2357376 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27756 /proc/meminfo: memFree=28804748/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2453676 CPUtime=1662.33 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 601621 0 0 0 163677 2556 0 0 25 0 1 0 168272890 2512564224 600675 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 613419 600675 391 719 0 612698 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2453676 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27757 /proc/meminfo: memFree=28749900/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2507156 CPUtime=1722.33 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 615078 0 0 0 169590 2643 0 0 25 0 1 0 168272890 2567327744 614132 4089446400 4194304 7136930 140734131947168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 626789 614132 391 719 0 626068 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2507156 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27759 /proc/meminfo: memFree=28669508/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2584348 CPUtime=1782.34 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 634366 0 0 0 175505 2729 0 0 25 0 1 0 168272890 2646372352 633420 4089446400 4194304 7136930 140734131947168 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 646087 633420 391 719 0 645366 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2584348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.02 2.00 3/179 27759 /proc/meminfo: memFree=28658836/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2592812 CPUtime=1800.04 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 636527 0 0 0 177255 2749 0 0 25 0 1 0 168272890 2655039488 635581 4089446400 4194304 7136930 140734131947168 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27671/statm: 648203 635581 391 719 0 647482 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2592812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -27671 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.06 2.02 2.00 3/180 27760 /proc/meminfo: memFree=28658704/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2592812 CPUtime=1801.43 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 636546 0 0 0 177394 2749 0 0 25 0 1 0 168272890 2655039488 635600 4089446400 4194304 7136930 140734131947168 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27671/statm: 648203 635600 397 719 0 647482 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2592812 [startup+1801.81 s] /proc/loadavg: 2.06 2.02 2.00 3/180 27760 /proc/meminfo: memFree=28658824/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2592812 CPUtime=1801.84 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 636546 0 0 0 177435 2749 0 0 25 0 1 0 168272890 2655039488 635600 4089446400 4194304 7136930 140734131947168 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27671/statm: 648203 635600 397 719 0 647482 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2592812 [startup+1802 s] /proc/loadavg: 2.06 2.02 2.00 3/180 27760 /proc/meminfo: memFree=28658824/32951124 swapFree=67111528/67111528 [pid=27671] ppid=27669 vsize=2592812 CPUtime=1802.03 /proc/27671/stat : 27671 (pbscip.linux.x8) R 27669 27671 25842 0 -1 4202496 636546 0 0 0 177454 2749 0 0 25 0 1 0 168272890 2655039488 635600 4089446400 4194304 7136930 140734131947168 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27671/statm: 648203 635600 397 719 0 647482 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2592812 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1774.56 CPU system time (s): 27.5778 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2592812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.56 system time used= 27.5778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 636546 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= 2 involuntary context switches= 979 runsolver used 3.15352 second user time and 6.63499 second system time The end
Begin job on node110 at 2010-06-30 21:38:12 IDJOB=2693615 IDBENCH=79272 IDSOLVER=1206 FILE ID=node110/2693615-1277926691 PBS_JOBID= 11197322 Free space on /tmp= 74212 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.1900568186--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-2693615-1277926691/watcher-2693615-1277926691 -o /tmp/evaluation-result-2693615-1277926691/solver-2693615-1277926691 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693615-1277926691.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0bc882feda752f8542fa470cf04f3d53 RANDOM SEED=761525693 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.82 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.849 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.74 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.849 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.83 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.849 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.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30769576 kB Buffers: 210836 kB Cached: 995260 kB SwapCached: 0 kB Active: 1388092 kB Inactive: 648268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30769576 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 829940 kB Mapped: 20352 kB Slab: 79684 kB PageTables: 6308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1665536 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= 74200 MiB End job on node110 at 2010-06-30 22:08:14