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.1 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo |
| MD5SUM | 6f14288bb7c1e317bfd5e53473571ca7 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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.2679 |
| 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 | 1839 |
| 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 | 91769 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91768 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 719 |
| 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-2694055-1277902958.wbo>
0.01/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.01/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3771 |4373 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.51 o 1089
1.49/1.51 c * 1.4s| 5138 | 4691 | 0 | 0.0 | 16M|1926 | - |3771 |5139 | 0 | 0 | 0 |1223 | 0 | 0.000000e+00 | 1.089000e+03 | Inf
2.19/2.28 o 666
2.19/2.28 c * 2.1s| 7776 | 6821 | 0 | 0.0 | 17M|1926 | - |3771 |5046 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | 6.660000e+02 | Inf
2.29/2.32 o 365
2.29/2.32 c * 2.1s| 7958 | 6579 | 0 | 0.0 | 17M|1926 | - |3771 |5029 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
2.79/2.85 c 2.6s| 10000 | 8329 | 0 | 0.0 | 19M|1926 | - |3771 |5402 | 0 | 0 | 0 |2558 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
5.99/6.00 c 5.5s| 20000 | 16292 | 0 | 0.0 | 28M|1926 | - |3771 |6457 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
10.49/10.54 c 9.8s| 30000 | 22517 | 0 | 0.0 | 37M|1926 | - |3771 |7539 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
10.60/10.61 o 357
10.60/10.61 c * 9.9s| 30183 | 22670 | 0 | 0.0 | 37M|1926 | - |3771 |7519 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.570000e+02 | Inf
10.69/10.73 o 344
10.69/10.73 c *10.0s| 30467 | 22917 | 0 | 0.0 | 37M|1926 | - |3771 |7441 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.440000e+02 | Inf
10.69/10.73 o 244
10.69/10.73 c *10.0s| 30468 | 22086 | 0 | 0.0 | 37M|1926 | - |3771 |7441 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.440000e+02 | Inf
10.79/10.85 o 233
10.79/10.85 c *10.1s| 30833 | 22306 | 0 | 0.0 | 37M|1926 | - |3771 |7349 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
11.00/11.01 o 210
11.00/11.01 c *10.3s| 31212 | 22626 | 0 | 0.0 | 38M|1926 | - |3771 |7240 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
11.19/11.20 o 207
11.19/11.20 c *10.4s| 31605 | 22986 | 0 | 0.0 | 38M|1926 | - |3771 |7093 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
11.69/11.71 o 190
11.69/11.71 c *10.9s| 32726 | 23859 | 0 | 0.0 | 39M|1926 | - |3771 |6953 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
11.69/11.71 o 188
11.69/11.71 c *10.9s| 32727 | 23841 | 0 | 0.0 | 39M|1926 | - |3771 |6953 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
11.80/11.80 o 185
11.80/11.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.80/11.80 c *11.0s| 32929 | 24033 | 0 | 0.0 | 39M|1926 | - |3771 |6883 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
11.80/11.80 o 159
11.80/11.80 c *11.0s| 32930 | 23881 | 0 | 0.0 | 39M|1926 | - |3771 |6883 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
12.19/12.21 o 142
12.19/12.21 c *11.4s| 33810 | 24614 | 0 | 0.0 | 39M|1926 | - |3771 |6487 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
12.19/12.21 o 122
12.19/12.21 c *11.4s| 33811 | 24404 | 0 | 0.0 | 39M|1926 | - |3771 |6487 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
12.49/12.59 o 105
12.49/12.59 c *11.8s| 34629 | 24339 | 0 | 0.0 | 40M|1926 | - |3771 |6321 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
12.59/12.60 o 99
12.59/12.60 c *11.8s| 34630 | 24216 | 0 | 0.0 | 40M|1926 | - |3771 |6321 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
13.79/13.80 o 91
13.79/13.80 c *12.9s| 37156 | 26231 | 0 | 0.0 | 43M|1926 | - |3771 |6028 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
15.19/15.27 o 86
15.19/15.27 c *14.3s| 39471 | 28170 | 0 | 0.0 | 46M|1926 | - |3771 |5474 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
15.19/15.27 o 76
15.19/15.27 c *14.3s| 39472 | 27579 | 0 | 0.0 | 45M|1926 | - |3771 |5474 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
15.49/15.50 c 14.5s| 40000 | 28055 | 0 | 0.0 | 45M|1926 | - |3771 |5497 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
15.69/15.75 o 46
15.69/15.75 c *14.7s| 40589 | 25975 | 0 | 0.0 | 43M|1926 | - |3771 |5618 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
19.19/19.27 c 18.0s| 50000 | 34267 | 0 | 0.0 | 52M|1926 | - |3771 |5166 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
22.29/22.35 c 20.8s| 60000 | 42786 | 0 | 0.0 | 60M|1926 | - |3771 |5724 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
25.69/25.73 c 24.0s| 70000 | 50795 | 0 | 0.0 | 68M|1926 | - |3771 |5948 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
29.00/29.02 c 27.1s| 80000 | 58851 | 0 | 0.0 | 76M|1926 | - |3771 |5997 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
32.39/32.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.39/32.48 c 30.3s| 90000 | 66755 | 0 | 0.0 | 83M|1926 | - |3771 |6178 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
36.30/36.38 c 33.9s|100000 | 74139 | 0 | 0.0 | 91M|1926 | - |3771 |6788 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
40.49/40.51 c 37.8s|110000 | 81322 | 0 | 0.0 | 99M|1926 | - |3771 |6917 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
44.99/45.09 c 42.1s|120000 | 87867 | 0 | 0.0 | 107M|1926 | - |3771 |7337 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
50.29/50.35 c 47.1s|130000 | 93697 | 0 | 0.0 | 116M|1926 | - |3771 |7408 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
56.00/56.01 c 52.5s|140000 | 99008 | 0 | 0.0 | 125M|1926 | - |3771 |7923 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
61.89/61.98 c 58.1s|150000 |103965 | 0 | 0.0 | 135M|1926 | - |3771 |8400 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
68.40/68.45 c 64.3s|160000 |108427 | 0 | 0.0 | 144M|1926 | - |3771 |8487 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
75.29/75.37 c 71.0s|170000 |111405 | 0 | 0.0 | 151M|1926 | - |3771 |9470 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
81.10/81.10 c 76.4s|180000 |117043 | 0 | 0.0 | 156M|1926 | - |3771 |4734 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
85.59/85.69 c 80.7s|190000 |125345 | 0 | 0.0 | 167M|1926 | - |3771 |6004 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
90.59/90.65 o 35
90.59/90.65 c *85.4s|197925 |130745 | 0 | 0.0 | 178M|1926 | - |3771 |6207 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
91.80/91.81 c 86.5s|200000 |132350 | 0 | 0.0 | 181M|1926 | - |3771 |6234 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
94.39/94.48 o 16
94.39/94.48 c *89.0s|205051 |130851 | 0 | 0.0 | 168M|1926 | - |3771 |6470 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
97.30/97.37 c 91.8s|210000 |134372 | 0 | 0.0 | 174M|1926 | - |3771 |6579 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
100.90/100.98 o 10
100.90/100.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.90/100.98 c *95.2s|215808 |137786 | 0 | 0.0 | 178M|1926 | - |3771 |6909 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
104.19/104.27 c 98.3s|220000 |139626 | 0 | 0.0 | 183M|1926 | - |3771 |8043 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
109.09/109.17 c 103s|230000 |146189 | 0 | 0.0 | 190M|1926 | - |3771 |8671 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
114.29/114.37 c 108s|240000 |153001 | 0 | 0.0 | 199M|1926 | - |3771 |9010 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
119.39/119.40 c 113s|250000 |159957 | 0 | 0.0 | 209M|1926 | - |3771 |9666 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
121.99/122.00 o 7
121.99/122.00 c * 115s|255728 |164116 | 0 | 0.0 | 214M|1926 | - |3771 |8468 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
124.59/124.67 c 118s|260000 |166661 | 0 | 0.0 | 219M|1926 | - |3771 |9975 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
129.49/129.55 c 122s|270000 |173775 | 0 | 0.0 | 228M|1926 | - |3771 | 10k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
134.59/134.65 c 127s|280000 |180640 | 0 | 0.0 | 236M|1926 | - |3771 |9973 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
139.59/139.67 c 131s|290000 |187383 | 0 | 0.0 | 244M|1926 | - |3771 |8587 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
144.20/144.25 c 136s|300000 |194183 | 0 | 0.0 | 253M|1926 | - |3771 |8545 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
148.69/148.70 c 140s|310000 |201128 | 0 | 0.0 | 261M|1926 | - |3771 |8859 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
153.39/153.48 c 144s|320000 |207618 | 0 | 0.0 | 269M|1926 | - |3771 |9027 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
157.29/157.39 c 148s|330000 |215218 | 0 | 0.0 | 277M|1926 | - |3771 |9013 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.89/161.98 c 152s|340000 |221889 | 0 | 0.0 | 285M|1926 | - |3771 |9448 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.49/166.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.49/166.52 c 156s|350000 |228628 | 0 | 0.0 | 293M|1926 | - |3771 |9148 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
170.90/170.90 c 160s|360000 |235651 | 0 | 0.0 | 301M|1926 | - |3771 |8820 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
174.90/174.97 c 164s|370000 |242919 | 0 | 0.0 | 307M|1926 | - |3771 |4894 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
177.79/177.86 c 166s|380000 |251424 | 0 | 0.0 | 315M|1926 | - |3771 |5021 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
181.59/181.60 c 170s|390000 |258771 | 0 | 0.0 | 323M|1926 | - |3771 |6287 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
185.90/185.94 c 174s|400000 |265463 | 0 | 0.0 | 331M|1926 | - |3771 |7113 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.59/190.66 c 178s|410000 |271810 | 0 | 0.0 | 339M|1926 | - |3771 |7435 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
195.30/195.32 c 182s|420000 |278358 | 0 | 0.0 | 348M|1926 | - |3771 |7429 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
200.20/200.27 c 187s|430000 |284512 | 0 | 0.0 | 356M|1926 | - |3771 |7212 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
205.19/205.25 c 192s|440000 |290606 | 0 | 0.0 | 364M|1926 | - |3771 |7725 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
210.49/210.54 c 197s|450000 |296418 | 0 | 0.0 | 372M|1926 | - |3771 |7849 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
215.69/215.79 c 201s|460000 |302205 | 0 | 0.0 | 379M|1926 | - |3771 |7849 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
221.40/221.41 c 207s|470000 |307504 | 0 | 0.0 | 387M|1926 | - |3771 |7471 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.30/227.36 c 212s|480000 |312291 | 0 | 0.0 | 395M|1926 | - |3771 |7472 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
233.29/233.39 c 218s|490000 |316919 | 0 | 0.0 | 403M|1926 | - |3771 |7665 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
239.40/239.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.40/239.47 c 224s|500000 |321488 | 0 | 0.0 | 411M|1926 | - |3771 |7520 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
245.60/245.64 c 230s|510000 |325939 | 0 | 0.0 | 419M|1926 | - |3771 |8436 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.19/252.26 c 236s|520000 |330031 | 0 | 0.0 | 427M|1926 | - |3771 |8876 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.00/259.08 c 242s|530000 |333851 | 0 | 0.0 | 435M|1926 | - |3771 |8932 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
265.90/265.97 c 249s|540000 |337407 | 0 | 0.0 | 442M|1926 | - |3771 |8856 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
273.10/273.17 c 256s|550000 |340572 | 0 | 0.0 | 449M|1926 | - |3771 |8796 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
280.29/280.37 c 262s|560000 |343664 | 0 | 0.0 | 456M|1926 | - |3771 |8861 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.00/288.05 c 270s|570000 |346281 | 0 | 0.0 | 463M|1926 | - |3771 |9019 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
295.70/295.80 c 277s|580000 |348889 | 0 | 0.0 | 469M|1926 | - |3771 |9239 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
303.10/303.19 c 284s|590000 |351921 | 0 | 0.0 | 475M|1926 | - |3771 | 10k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
310.60/310.65 c 291s|600000 |354986 | 0 | 0.0 | 482M|1926 | - |3771 | 10k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
318.60/318.62 c 299s|610000 |357474 | 0 | 0.0 | 487M|1926 | - |3771 | 11k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
326.90/326.90 c 307s|620000 |359605 | 0 | 0.0 | 493M|1926 | - |3771 | 11k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
335.40/335.48 c 315s|630000 |361495 | 0 | 0.0 | 498M|1926 | - |3771 | 11k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
344.20/344.28 c 323s|640000 |363390 | 0 | 0.0 | 502M|1926 | - |3771 | 11k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
354.30/354.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.30/354.32 c 333s|650000 |363941 | 0 | 0.0 | 506M|1926 | - |3771 | 11k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
365.30/365.36 c 343s|660000 |363488 | 0 | 0.0 | 509M|1926 | - |3771 | 13k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
378.30/378.40 c 356s|670000 |361217 | 0 | 0.0 | 510M|1926 | - |3771 | 13k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.80/392.83 c 370s|680000 |358348 | 0 | 0.0 | 510M|1926 | - |3771 | 15k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.60/401.63 c 378s|690000 |361593 | 0 | 0.0 | 509M|1926 | - |3771 |5339 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
405.20/405.20 c 382s|700000 |369471 | 0 | 0.0 | 517M|1926 | - |3771 |4875 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
408.80/408.83 c 385s|710000 |377213 | 0 | 0.0 | 525M|1926 | - |3771 |5339 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
412.60/412.60 c 389s|720000 |384766 | 0 | 0.0 | 533M|1926 | - |3771 |5781 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.50/416.57 c 392s|730000 |392089 | 0 | 0.0 | 542M|1926 | - |3771 |6285 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
420.50/420.57 c 396s|740000 |399380 | 0 | 0.0 | 550M|1926 | - |3771 |6696 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.80/424.80 c 400s|750000 |406422 | 0 | 0.0 | 558M|1926 | - |3771 |6892 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
429.70/429.79 c 404s|760000 |412691 | 0 | 0.0 | 566M|1926 | - |3771 |7648 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.89/434.95 c 409s|770000 |418780 | 0 | 0.0 | 574M|1926 | - |3771 |8049 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
440.70/440.76 c 415s|780000 |424172 | 0 | 0.0 | 583M|1926 | - |3771 |8571 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
447.90/447.97 c 421s|790000 |428150 | 0 | 0.0 | 593M|1926 | - |3771 |9456 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
456.30/456.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.30/456.36 c 429s|800000 |430925 | 0 | 0.0 | 602M|1926 | - |3771 | 10k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
466.90/466.93 c 440s|810000 |431415 | 0 | 0.0 | 609M|1926 | - |3771 | 11k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.10/472.16 c 445s|820000 |437457 | 0 | 0.0 | 614M|1926 | - |3771 |5222 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
476.31/476.39 c 449s|830000 |444440 | 0 | 0.0 | 622M|1926 | - |3771 |5543 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.80/480.81 c 453s|840000 |451245 | 0 | 0.0 | 630M|1926 | - |3771 |6460 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
485.80/485.86 c 457s|850000 |457432 | 0 | 0.0 | 639M|1926 | - |3771 |7293 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
491.10/491.16 c 462s|860000 |463397 | 0 | 0.0 | 647M|1926 | - |3771 |7597 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
497.00/497.09 c 468s|870000 |468659 | 0 | 0.0 | 656M|1926 | - |3771 |7752 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.71/502.71 c 473s|880000 |474253 | 0 | 0.0 | 664M|1926 | - |3771 |7440 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.11/508.13 c 478s|890000 |480034 | 0 | 0.0 | 672M|1926 | - |3771 |7269 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
513.20/513.25 c 483s|900000 |486235 | 0 | 0.0 | 679M|1926 | - |3771 |7441 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
518.20/518.28 c 488s|910000 |492453 | 0 | 0.0 | 687M|1926 | - |3771 |7674 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
524.10/524.10 c 493s|920000 |497877 | 0 | 0.0 | 696M|1926 | - |3771 |8977 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
531.10/531.17 c 500s|930000 |502188 | 0 | 0.0 | 704M|1926 | - |3771 | 10k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.10/537.17 c 505s|940000 |507860 | 0 | 0.0 | 710M|1926 | - |3771 |6671 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
541.21/541.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.21/541.20 c 509s|950000 |515147 | 0 | 0.0 | 718M|1926 | - |3771 |6962 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
545.70/545.77 c 513s|960000 |521804 | 0 | 0.0 | 726M|1926 | - |3771 |8065 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
551.50/551.56 c 519s|970000 |527363 | 0 | 0.0 | 736M|1926 | - |3771 |9409 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
558.10/558.14 c 525s|980000 |532267 | 0 | 0.0 | 745M|1926 | - |3771 | 10k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.10/567.14 c 533s|990000 |534878 | 0 | 0.0 | 753M|1926 | - |3771 | 14k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
571.40/571.41 c 537s| 1000k|542476 | 0 | 0.0 | 759M|1926 | - |3771 |7027 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
575.50/575.58 c 541s| 1010k|549685 | 0 | 0.0 | 767M|1926 | - |3771 |7326 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
580.20/580.22 c 545s| 1020k|556343 | 0 | 0.0 | 775M|1926 | - |3771 |8251 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
585.71/585.71 c 550s| 1030k|562121 | 0 | 0.0 | 785M|1926 | - |3771 |9508 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
592.50/592.57 c 557s| 1040k|566619 | 0 | 0.0 | 794M|1926 | - |3771 | 11k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
600.51/600.59 c 564s| 1050k|570396 | 0 | 0.0 | 800M|1926 | - |3771 |9846 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
604.61/604.62 c 568s| 1060k|578031 | 0 | 0.0 | 808M|1926 | - |3771 |7371 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
609.10/609.18 c 572s| 1070k|584858 | 0 | 0.0 | 816M|1926 | - |3771 |8050 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
614.11/614.15 c 577s| 1080k|591241 | 0 | 0.0 | 825M|1926 | - |3771 |8861 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
620.21/620.25 c 582s| 1090k|596467 | 0 | 0.0 | 834M|1926 | - |3771 | 10k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
628.01/628.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.01/628.01 c 590s| 1100k|600110 | 0 | 0.0 | 843M|1926 | - |3771 | 12k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
635.31/635.36 c 597s| 1110k|604746 | 0 | 0.0 | 849M|1926 | - |3771 |8129 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
639.51/639.53 c 601s| 1120k|612114 | 0 | 0.0 | 857M|1926 | - |3771 |7570 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
644.01/644.09 c 605s| 1130k|618985 | 0 | 0.0 | 865M|1926 | - |3771 |8336 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
648.80/648.87 c 609s| 1140k|625574 | 0 | 0.0 | 873M|1926 | - |3771 |9096 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.70/654.73 c 615s| 1150k|631064 | 0 | 0.0 | 882M|1926 | - |3771 | 10k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
662.21/662.27 c 622s| 1160k|635035 | 0 | 0.0 | 891M|1926 | - |3771 | 12k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
668.81/668.88 c 628s| 1170k|640355 | 0 | 0.0 | 897M|1926 | - |3771 |7667 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
673.00/673.01 c 632s| 1180k|647691 | 0 | 0.0 | 905M|1926 | - |3771 |7698 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
677.51/677.59 c 636s| 1190k|654484 | 0 | 0.0 | 913M|1926 | - |3771 |8370 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
682.80/682.89 c 641s| 1200k|660446 | 0 | 0.0 | 922M|1926 | - |3771 |9167 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
689.21/689.26 c 647s| 1210k|665356 | 0 | 0.0 | 931M|1926 | - |3771 | 10k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
697.11/697.16 c 654s| 1220k|668748 | 0 | 0.0 | 940M|1926 | - |3771 | 12k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
704.31/704.32 c 661s| 1230k|673485 | 0 | 0.0 | 945M|1926 | - |3771 |9460 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
708.61/708.60 c 665s| 1240k|680727 | 0 | 0.0 | 953M|1926 | - |3771 |8221 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
713.31/713.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.31/713.39 c 670s| 1250k|687259 | 0 | 0.0 | 961M|1926 | - |3771 |8935 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
718.91/718.97 c 675s| 1260k|692963 | 0 | 0.0 | 971M|1926 | - |3771 | 10k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
725.51/725.57 c 681s| 1270k|697675 | 0 | 0.0 | 980M|1926 | - |3771 | 11k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
733.61/733.65 c 689s| 1280k|701130 | 0 | 0.0 | 989M|1926 | - |3771 | 13k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
741.42/741.47 c 696s| 1290k|705594 | 0 | 0.0 | 995M|1926 | - |3771 | 12k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
746.21/746.29 c 701s| 1300k|712769 | 0 | 0.0 |1003M|1926 | - |3771 | 10k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
751.61/751.61 c 706s| 1310k|719167 | 0 | 0.0 |1012M|1926 | - |3771 | 11k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.51/757.56 c 711s| 1320k|724959 | 0 | 0.0 |1020M|1926 | - |3771 | 11k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
764.30/764.38 c 718s| 1330k|729971 | 0 | 0.0 |1029M|1926 | - |3771 | 13k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
772.61/772.63 c 726s| 1340k|733854 | 0 | 0.0 |1038M|1926 | - |3771 | 14k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
780.61/780.65 c 733s| 1350k|738328 | 0 | 0.0 |1045M|1926 | - |3771 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
785.50/785.51 c 738s| 1360k|745566 | 0 | 0.0 |1052M|1926 | - |3771 | 10k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
790.60/790.68 c 743s| 1370k|752189 | 0 | 0.0 |1061M|1926 | - |3771 | 11k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
795.40/795.47 c 747s| 1380k|759059 | 0 | 0.0 |1069M|1926 | - |3771 | 11k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
800.31/800.37 c 752s| 1390k|765740 | 0 | 0.0 |1076M|1926 | - |3771 | 11k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
805.51/805.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.51/805.54 c 757s| 1400k|772187 | 0 | 0.0 |1084M|1926 | - |3771 | 12k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
812.51/812.50 c 763s| 1410k|777049 | 0 | 0.0 |1092M|1926 | - |3771 | 13k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
820.01/820.01 c 770s| 1420k|781829 | 0 | 0.0 |1098M|1926 | - |3771 | 12k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
825.91/825.95 c 776s| 1430k|787943 | 0 | 0.0 |1106M|1926 | - |3771 | 11k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
831.52/831.57 c 781s| 1440k|794126 | 0 | 0.0 |1114M|1926 | - |3771 | 11k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
837.71/837.79 c 787s| 1450k|799671 | 0 | 0.0 |1123M|1926 | - |3771 | 11k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
844.91/844.95 c 794s| 1460k|804500 | 0 | 0.0 |1132M|1926 | - |3771 | 13k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
853.31/853.37 c 802s| 1470k|808233 | 0 | 0.0 |1140M|1926 | - |3771 | 14k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
862.51/862.56 c 810s| 1480k|811732 | 0 | 0.0 |1146M|1926 | - |3771 | 12k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
866.81/866.88 c 814s| 1490k|819431 | 0 | 0.0 |1153M|1926 | - |3771 |9908 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
871.22/871.22 c 818s| 1500k|826773 | 0 | 0.0 |1161M|1926 | - |3771 | 10k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
876.11/876.12 c 823s| 1510k|833515 | 0 | 0.0 |1169M|1926 | - |3771 | 10k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
881.61/881.61 c 828s| 1520k|839673 | 0 | 0.0 |1177M|1926 | - |3771 | 11k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
887.62/887.65 c 834s| 1530k|845368 | 0 | 0.0 |1185M|1926 | - |3771 | 12k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
894.81/894.82 c 840s| 1540k|849929 | 0 | 0.0 |1194M|1926 | - |3771 | 13k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
902.51/902.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.51/902.57 c 848s| 1550k|854135 | 0 | 0.0 |1201M|1926 | - |3771 | 13k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
909.31/909.34 c 854s| 1560k|859536 | 0 | 0.0 |1208M|1926 | - |3771 | 11k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
914.51/914.58 c 859s| 1570k|866261 | 0 | 0.0 |1216M|1926 | - |3771 | 11k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
919.51/919.55 c 864s| 1580k|873127 | 0 | 0.0 |1223M|1926 | - |3771 | 11k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
925.02/925.09 c 869s| 1590k|879418 | 0 | 0.0 |1231M|1926 | - |3771 | 13k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
931.31/931.31 c 874s| 1600k|885228 | 0 | 0.0 |1239M|1926 | - |3771 | 14k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
939.32/939.39 c 882s| 1610k|889457 | 0 | 0.0 |1248M|1926 | - |3771 | 16k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
946.92/946.97 c 889s| 1620k|894701 | 0 | 0.0 |1253M|1926 | - |3771 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.52/951.57 c 893s| 1630k|902110 | 0 | 0.0 |1261M|1926 | - |3771 | 10k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
956.22/956.25 c 898s| 1640k|909123 | 0 | 0.0 |1268M|1926 | - |3771 | 10k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
961.42/961.49 c 903s| 1650k|915614 | 0 | 0.0 |1276M|1926 | - |3771 | 12k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
967.31/967.40 c 908s| 1660k|921579 | 0 | 0.0 |1284M|1926 | - |3771 | 13k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
974.62/974.62 c 915s| 1670k|926340 | 0 | 0.0 |1292M|1926 | - |3771 | 14k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
984.01/984.05 c 924s| 1680k|929367 | 0 | 0.0 |1298M|1926 | - |3771 | 15k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
989.01/989.03 c 929s| 1690k|936837 | 0 | 0.0 |1305M|1926 | - |3771 | 11k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
994.11/994.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.11/994.10 c 933s| 1700k|943731 | 0 | 0.0 |1313M|1926 | - |3771 | 11k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
999.82/999.80 c 939s| 1710k|949868 | 0 | 0.0 |1321M|1926 | - |3771 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1006.32/1006.38 c 945s| 1720k|955107 | 0 | 0.0 |1330M|1926 | - |3771 | 12k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1014.02/1014.07 c 952s| 1730k|959335 | 0 | 0.0 |1338M|1926 | - |3771 | 13k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1023.62/1023.62 c 961s| 1740k|961830 | 0 | 0.0 |1345M|1926 | - |3771 | 15k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1029.12/1029.17 c 966s| 1750k|968448 | 0 | 0.0 |1349M|1926 | - |3771 |6725 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1033.82/1033.85 c 971s| 1760k|975166 | 0 | 0.0 |1357M|1926 | - |3771 |6602 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1038.21/1038.20 c 975s| 1770k|982200 | 0 | 0.0 |1364M|1926 | - |3771 |6915 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1042.42/1042.45 c 978s| 1780k|989509 | 0 | 0.0 |1372M|1926 | - |3771 |6931 | 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1046.81/1046.87 c 983s| 1790k|996462 | 0 | 0.0 |1380M|1926 | - |3771 |7197 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1051.01/1051.09 c 986s| 1800k| 1003k| 0 | 0.0 |1387M|1926 | - |3771 |7653 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1055.41/1055.44 c 990s| 1810k| 1010k| 0 | 0.0 |1395M|1926 | - |3771 |7943 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1059.71/1059.75 c 994s| 1820k| 1017k| 0 | 0.0 |1403M|1926 | - |3771 |8097 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1063.81/1063.85 c 998s| 1830k| 1024k| 0 | 0.0 |1411M|1926 | - |3771 |7868 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1067.81/1067.82 c 1002s| 1840k| 1032k| 0 | 0.0 |1418M|1926 | - |3771 |6665 | 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1072.42/1072.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.42/1072.48 c 1006s| 1850k| 1038k| 0 | 0.0 |1426M|1926 | - |3771 |7955 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1076.51/1076.51 c 1010s| 1860k| 1046k| 0 | 0.0 |1433M|1926 | - |3771 |7110 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1080.51/1080.50 c 1013s| 1870k| 1053k| 0 | 0.0 |1441M|1926 | - |3771 |7175 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1085.12/1085.17 c 1018s| 1880k| 1060k| 0 | 0.0 |1449M|1926 | - |3771 |7573 | 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1090.31/1090.36 c 1022s| 1890k| 1066k| 0 | 0.0 |1457M|1926 | - |3771 |8465 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1095.31/1095.39 c 1027s| 1900k| 1073k| 0 | 0.0 |1464M|1926 | - |3771 |7079 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1099.92/1099.96 c 1031s| 1910k| 1079k| 0 | 0.0 |1471M|1926 | - |3771 |7603 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1104.42/1104.43 c 1035s| 1920k| 1086k| 0 | 0.0 |1479M|1926 | - |3771 |7506 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1109.01/1109.02 c 1040s| 1930k| 1093k| 0 | 0.0 |1486M|1926 | - |3771 |7994 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1113.61/1113.69 c 1044s| 1940k| 1100k| 0 | 0.0 |1493M|1926 | - |3771 |7057 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1116.71/1116.78 c 1047s| 1950k| 1108k| 0 | 0.0 |1500M|1926 | - |3771 |4493 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1122.21/1122.30 c 1052s| 1960k| 1114k| 0 | 0.0 |1508M|1926 | - |3771 |8604 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1129.01/1129.04 c 1058s| 1970k| 1118k| 0 | 0.0 |1516M|1926 | - |3771 | 11k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1136.91/1136.95 c 1066s| 1980k| 1122k| 0 | 0.0 |1523M|1926 | - |3771 | 13k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1146.22/1146.27 c 1075s| 1990k| 1126k| 0 | 0.0 |1530M|1926 | - |3771 | 13k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1155.72/1155.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.72/1155.78 c 1084s| 2000k| 1129k| 0 | 0.0 |1537M|1926 | - |3771 | 13k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1165.01/1165.09 c 1093s| 2010k| 1132k| 0 | 0.0 |1545M|1926 | - |3771 | 13k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1175.41/1175.47 c 1103s| 2020k| 1135k| 0 | 0.0 |1552M|1926 | - |3771 | 13k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1186.01/1186.09 c 1113s| 2030k| 1137k| 0 | 0.0 |1558M|1926 | - |3771 | 13k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1196.32/1196.35 c 1123s| 2040k| 1140k| 0 | 0.0 |1566M|1926 | - |3771 | 13k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.61/1207.69 c 1134s| 2050k| 1142k| 0 | 0.0 |1571M|1926 | - |3771 | 12k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1218.32/1218.36 c 1144s| 2060k| 1144k| 0 | 0.0 |1576M|1926 | - |3771 | 12k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1229.32/1229.32 c 1155s| 2070k| 1146k| 0 | 0.0 |1583M|1926 | - |3771 | 11k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1239.73/1239.73 c 1165s| 2080k| 1148k| 0 | 0.0 |1587M|1926 | - |3771 | 12k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1250.92/1250.93 c 1175s| 2090k| 1149k| 0 | 0.0 |1594M|1926 | - |3771 | 12k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1263.32/1263.38 c 1187s| 2100k| 1150k| 0 | 0.0 |1598M|1926 | - |3771 | 13k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1275.32/1275.37 c 1199s| 2110k| 1152k| 0 | 0.0 |1605M|1926 | - |3771 | 13k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1287.82/1287.89 c 1211s| 2120k| 1152k| 0 | 0.0 |1608M|1926 | - |3771 | 13k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1299.42/1299.48 c 1222s| 2130k| 1154k| 0 | 0.0 |1615M|1926 | - |3771 | 13k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1312.52/1312.59 c 1235s| 2140k| 1154k| 0 | 0.0 |1618M|1926 | - |3771 | 14k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1324.82/1324.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.82/1324.85 c 1247s| 2150k| 1155k| 0 | 0.0 |1624M|1926 | - |3771 | 14k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1338.82/1338.87 c 1260s| 2160k| 1155k| 0 | 0.0 |1625M|1926 | - |3771 | 14k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1351.02/1351.06 c 1272s| 2170k| 1156k| 0 | 0.0 |1632M|1926 | - |3771 | 14k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1365.13/1365.13 c 1286s| 2180k| 1156k| 0 | 0.0 |1634M|1926 | - |3771 | 15k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1378.02/1378.06 c 1298s| 2190k| 1158k| 0 | 0.0 |1640M|1926 | - |3771 | 15k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1392.72/1392.77 c 1313s| 2200k| 1157k| 0 | 0.0 |1642M|1926 | - |3771 | 16k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1405.72/1405.80 c 1325s| 2210k| 1158k| 0 | 0.0 |1648M|1926 | - |3771 | 16k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1421.22/1421.26 c 1340s| 2220k| 1157k| 0 | 0.0 |1649M|1926 | - |3771 | 16k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1435.22/1435.22 c 1354s| 2230k| 1158k| 0 | 0.0 |1652M|1926 | - |3771 | 16k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1450.13/1450.12 c 1369s| 2240k| 1158k| 0 | 0.0 |1656M|1926 | - |3771 | 16k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1465.42/1465.44 c 1383s| 2250k| 1157k| 0 | 0.0 |1657M|1926 | - |3771 | 18k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1480.12/1480.19 c 1398s| 2260k| 1158k| 0 | 0.0 |1662M|1926 | - |3771 | 18k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1497.02/1497.07 c 1414s| 2270k| 1157k| 0 | 0.0 |1664M|1926 | - |3771 | 19k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1513.71/1513.73 c 1431s| 2280k| 1156k| 0 | 0.0 |1665M|1926 | - |3771 | 19k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1529.03/1529.04 c 1446s| 2290k| 1157k| 0 | 0.0 |1669M|1926 | - |3771 | 19k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1546.21/1546.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.21/1546.20 c 1462s| 2300k| 1156k| 0 | 0.0 |1672M|1926 | - |3771 | 21k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1564.23/1564.26 c 1480s| 2310k| 1155k| 0 | 0.0 |1674M|1926 | - |3771 | 21k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1582.62/1582.66 c 1498s| 2320k| 1155k| 0 | 0.0 |1676M|1926 | - |3771 | 22k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1602.22/1602.20 c 1517s| 2330k| 1153k| 0 | 0.0 |1677M|1926 | - |3771 | 23k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1623.02/1623.01 c 1537s| 2340k| 1152k| 0 | 0.0 |1678M|1926 | - |3771 | 23k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1645.12/1645.14 c 1559s| 2350k| 1149k| 0 | 0.0 |1678M|1926 | - |3771 | 25k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.63/1668.61 c 1582s| 2360k| 1146k| 0 | 0.0 |1676M|1926 | - |3771 | 25k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1695.23/1695.28 c 1608s| 2370k| 1141k| 0 | 0.0 |1669M|1926 | - |3771 | 25k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1719.62/1719.67 c 1632s| 2380k| 1137k| 0 | 0.0 |1659M|1926 | - |3771 | 22k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1726.32/1726.38 c 1639s| 2390k| 1144k| 0 | 0.0 |1663M|1926 | - |3771 | 10k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1732.12/1732.11 c 1644s| 2400k| 1151k| 0 | 0.0 |1670M|1926 | - |3771 |8904 | 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1737.82/1737.83 c 1649s| 2410k| 1157k| 0 | 0.0 |1678M|1926 | - |3771 |8787 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1743.73/1743.75 c 1655s| 2420k| 1164k| 0 | 0.0 |1686M|1926 | - |3771 |9311 | 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1749.53/1749.51 c 1660s| 2430k| 1170k| 0 | 0.0 |1694M|1926 | - |3771 |9791 | 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1753.13/1753.18 o 3
1753.13/1753.18 c *1664s| 2435k| 1144k| 0 | 0.0 |1649M|1926 | - |3771 | 10k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1756.02/1756.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.02/1756.09 c 1666s| 2440k| 1147k| 0 | 0.0 |1655M|1926 | - |3771 | 10k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1763.52/1763.54 c 1673s| 2450k| 1153k| 0 | 0.0 |1669M|1926 | - |3771 | 10k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1771.32/1771.31 c 1681s| 2460k| 1158k| 0 | 0.0 |1683M|1926 | - |3771 | 11k| 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1779.33/1779.30 c 1688s| 2470k| 1164k| 0 | 0.0 |1696M|1926 | - |3771 | 11k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1787.43/1787.48 c 1696s| 2480k| 1170k| 0 | 0.0 |1710M|1926 | - |3771 | 11k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1795.63/1795.68 c 1703s| 2490k| 1175k| 0 | 0.0 |1723M|1926 | - |3771 | 12k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1707.44
1800.03/1800.00 c Solving Nodes : 2495550
1800.03/1800.00 c Primal Bound : +3.00000000000000e+00 (26 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.03/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.05 v -x104 -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.03/1800.05 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
1800.03/1800.05 v -x54 -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.03/1800.05 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.03/1800.05 v -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1707.44
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2694055-1277902958.wbo
1800.03/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.03/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2694055-1277902958.wbo
1800.03/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.03/1800.05 c Constraints : 4373 initial, 27163 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.05 0 0 0 1861 0 105 91 0
1800.03/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1671 - - 3342 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 1770 0 4493615 0 1348373 121 1260539 0 0 0
1800.03/1800.05 c setppc : 9 0 7778263 0 2034222 26900 4321647 0 0 0
1800.03/1800.05 c linear : 1770 0 7754970 0 2035393 471051 42007650 0 0 0
1800.03/1800.05 c logicor : 824+ 0 4793116 0 2035405 240904 8601129 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 740458 0 0 8 483 0 0 0
1800.03/1800.05 c countsols : 0 0 0 0 2035405 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c indicator : 11.44 0.00 4.36 0.00 7.08
1800.03/1800.05 c setppc : 19.49 0.00 17.23 0.00 2.26
1800.03/1800.05 c linear : 318.02 0.00 317.20 0.00 0.82
1800.03/1800.05 c logicor : 420.00 0.00 370.33 0.00 49.67
1800.03/1800.05 c bounddisjunction : 3.79 0.00 3.79 0.00 0.00
1800.03/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.00 2 0 0
1800.03/1800.05 c rootredcost : 0.02 0 0 0
1800.03/1800.05 c pseudoobj : 260.84 7783206 1322 1229798
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 30.30 740185 740055 3537082 18.7 96953 11.4 -
1800.03/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.00 64 64 162 12.1 117 8.5 -
1800.03/1800.05 c applied globally : - - - 1990513 16.5 - - -
1800.03/1800.05 c applied locally : - - - 1 273.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.05 c redcost : 0.00 0 0 0 0 0
1800.03/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.00 0 0 0 0 0
1800.03/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.05 c cmir : 0.00 0 0 0 0 0
1800.03/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.05 c clique : 0.00 0 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 0 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 33.94 2035379 0 0 0 0 4070758
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.00 - 0
1800.03/1800.05 c pseudo solutions : 0.11 - 26
1800.03/1800.05 c oneopt : 0.05 0 0
1800.03/1800.05 c trivial : 0.01 2 0
1800.03/1800.05 c simplerounding : 0.00 0 0
1800.03/1800.05 c zirounding : 0.00 0 0
1800.03/1800.05 c rounding : 0.00 0 0
1800.03/1800.05 c shifting : 0.00 0 0
1800.03/1800.05 c intshifting : 0.00 0 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c feaspump : 0.00 0 0
1800.03/1800.05 c coefdiving : 0.00 0 0
1800.03/1800.05 c pscostdiving : 0.00 0 0
1800.03/1800.05 c fracdiving : 0.00 0 0
1800.03/1800.05 c veclendiving : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c objpscostdiving : 0.00 0 0
1800.03/1800.05 c rootsoldiving : 0.00 0 0
1800.03/1800.05 c linesearchdiving : 0.00 0 0
1800.03/1800.05 c guideddiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.00 0 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c crossover : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.00 0 0
1800.03/1800.05 c trysol : 0.01 1 0
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.05 c (at root node) : - 0 0 0.00 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 2495550
1800.03/1800.05 c nodes (total) : 2495550
1800.03/1800.05 c nodes left : 1178630
1800.03/1800.05 c max depth : 1926
1800.03/1800.05 c max depth (total): 1926
1800.03/1800.05 c backtracks : 433837 (17.4%)
1800.03/1800.05 c delayed cutoffs : 352700
1800.03/1800.05 c repropagations : 1470889 (17751056 domain reductions, 280225 cutoffs)
1800.03/1800.05 c avg switch length: 26.45
1800.03/1800.05 c switching time : 520.13
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 26 (26 improvements)
1800.03/1800.05 c First Solution : +1.08900000000000e+03 (in run 1, after 5138 nodes, 1.38 seconds, depth 909, found by <relaxation>)
1800.03/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2435888 nodes, 1663.58 seconds, depth 57, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694055-1277902958/watcher-2694055-1277902958 -o /tmp/evaluation-result-2694055-1277902958/solver-2694055-1277902958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694055-1277902958.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.22 2.34 3/196 24095 /proc/meminfo: memFree=31144900/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=8268 CPUtime=0 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 1546 0 0 0 0 0 0 0 23 0 1 0 165899339 8466432 1469 4089446400 4194304 7136930 140734225307360 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24095/statm: 2067 1469 275 719 0 1346 0 [startup+0.016551 s] /proc/loadavg: 2.03 2.22 2.34 3/196 24095 /proc/meminfo: memFree=31144900/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=11348 CPUtime=0.01 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 2319 0 0 0 1 0 0 0 23 0 1 0 165899339 11620352 2242 4089446400 4194304 7136930 140734225307360 18446744073709551615 5648809 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24095/statm: 2837 2242 275 719 0 2116 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11348 [startup+0.100571 s] /proc/loadavg: 2.03 2.22 2.34 3/196 24095 /proc/meminfo: memFree=31144900/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=28304 CPUtime=0.09 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 7472 0 0 0 8 1 0 0 23 0 1 0 165899339 28983296 6270 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 7076 6270 354 719 0 6355 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28304 [startup+0.300526 s] /proc/loadavg: 2.03 2.22 2.34 3/196 24095 /proc/meminfo: memFree=31144900/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=30328 CPUtime=0.29 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 10354 0 0 0 27 2 0 0 23 0 1 0 165899339 31055872 6839 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 7582 6839 391 719 0 6861 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30328 [startup+0.700451 s] /proc/loadavg: 2.03 2.22 2.34 3/196 24095 /proc/meminfo: memFree=31144900/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=32116 CPUtime=0.69 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 10811 0 0 0 63 6 0 0 25 0 1 0 165899339 32886784 7296 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 8029 7296 395 719 0 7308 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32116 [startup+1.50031 s] /proc/loadavg: 2.03 2.22 2.34 3/197 24096 /proc/meminfo: memFree=31116000/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=34636 CPUtime=1.49 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 11453 0 0 0 138 11 0 0 25 0 1 0 165899339 35467264 7938 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 8659 7938 395 719 0 7938 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34636 [startup+3.10101 s] /proc/loadavg: 2.02 2.21 2.34 3/197 24096 /proc/meminfo: memFree=31112900/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=39708 CPUtime=3.09 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 12717 0 0 0 286 23 0 0 25 0 1 0 165899339 40660992 9202 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 9927 9202 395 719 0 9206 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39708 [startup+6.30042 s] /proc/loadavg: 2.02 2.21 2.34 3/197 24096 /proc/meminfo: memFree=31099188/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=51424 CPUtime=6.29 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 15679 0 0 0 585 44 0 0 25 0 1 0 165899339 52658176 12164 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 12856 12164 395 719 0 12135 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51424 [startup+12.7002 s] /proc/loadavg: 2.02 2.20 2.33 3/197 24096 /proc/meminfo: memFree=31078880/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=70088 CPUtime=12.69 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 20353 0 0 0 1190 79 0 0 25 0 1 0 165899339 71770112 16838 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 17522 16838 396 719 0 16801 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70088 [startup+25.5009 s] /proc/loadavg: 2.02 2.20 2.33 3/197 24097 /proc/meminfo: memFree=31038832/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=108484 CPUtime=25.5 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 29696 0 0 0 2377 173 0 0 25 0 1 0 165899339 111087616 26181 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 27121 26181 398 719 0 26400 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 108484 [startup+51.1011 s] /proc/loadavg: 2.01 2.18 2.32 3/197 24098 /proc/meminfo: memFree=30975364/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=166592 CPUtime=51.09 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 43836 0 0 0 4782 327 0 0 25 0 1 0 165899339 170590208 40321 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 41648 40321 398 719 0 40927 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 166592 [startup+102.307 s] /proc/loadavg: 2.05 2.16 2.30 3/197 24099 /proc/meminfo: memFree=30857884/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=269600 CPUtime=102.3 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 68381 0 0 0 9646 584 0 0 25 0 1 0 165899339 276070400 64866 4089446400 4194304 7136930 140734225307360 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24095/statm: 67400 64866 398 719 0 66679 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269600 [startup+162.3 s] /proc/loadavg: 2.02 2.13 2.28 3/197 24100 /proc/meminfo: memFree=30717568/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=388088 CPUtime=162.29 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 97105 0 0 0 15221 1008 0 0 25 0 1 0 165899339 397402112 93590 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 97022 93590 398 719 0 96301 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 388088 [startup+222.3 s] /proc/loadavg: 2.70 2.33 2.34 3/197 24102 /proc/meminfo: memFree=30580116/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=498088 CPUtime=222.29 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 124997 0 0 0 20757 1472 0 0 25 0 1 0 165899339 510042112 121482 4089446400 4194304 7136930 140734225307360 18446744073709551615 4978934 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 124522 121482 398 719 0 123801 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 498088 [startup+282.301 s] /proc/loadavg: 2.28 2.27 2.32 3/197 24104 /proc/meminfo: memFree=30480224/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=576972 CPUtime=282.29 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 144623 0 0 0 26429 1800 0 0 25 0 1 0 165899339 590819328 141108 4089446400 4194304 7136930 140734225307360 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 144243 141108 398 719 0 143522 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 576972 [startup+342.301 s] /proc/loadavg: 2.09 2.21 2.29 3/197 24106 /proc/meminfo: memFree=30425864/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=619692 CPUtime=342.3 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 155326 0 0 0 32139 2091 0 0 25 0 1 0 165899339 634564608 151811 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 154923 151811 398 719 0 154202 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 619692 [startup+402.301 s] /proc/loadavg: 2.04 2.18 2.27 8/197 24107 /proc/meminfo: memFree=30412540/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=633712 CPUtime=402.3 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 158814 0 0 0 37900 2330 0 0 25 0 1 0 165899339 648921088 155299 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 158428 155299 398 719 0 157707 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 633712 [startup+462.301 s] /proc/loadavg: 2.01 2.14 2.25 3/197 24108 /proc/meminfo: memFree=30317888/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=725032 CPUtime=462.3 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 181870 0 0 0 43516 2714 0 0 25 0 1 0 165899339 742432768 178355 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 181258 178355 398 719 0 180537 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 725032 [startup+522.3 s] /proc/loadavg: 2.35 2.23 2.27 3/197 24110 /proc/meminfo: memFree=30221356/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=829452 CPUtime=522.3 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 206002 0 0 0 49143 3087 0 0 25 0 1 0 165899339 849358848 202487 4089446400 4194304 7136930 140734225307360 18446744073709551615 4210373 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 207363 202487 398 719 0 206642 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 829452 [startup+582.3 s] /proc/loadavg: 2.12 2.19 2.26 3/197 24112 /proc/meminfo: memFree=30141444/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=910776 CPUtime=582.3 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 226409 0 0 0 54711 3519 0 0 25 0 1 0 165899339 932634624 222894 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 227694 222894 398 719 0 226973 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 910776 [startup+642.3 s] /proc/loadavg: 2.19 2.20 2.26 3/197 24114 /proc/meminfo: memFree=30047532/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1001132 CPUtime=642.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 249165 0 0 0 60327 3905 0 0 25 0 1 0 165899339 1025159168 245650 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 250283 245650 398 719 0 249562 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1001132 [startup+702.301 s] ################ # More data... # ################ /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 363431 0 0 0 94099 6132 0 0 25 0 1 0 165899339 1489629184 359916 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 363679 359916 398 719 0 362958 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1454716 [startup+1062.3 s] /proc/loadavg: 2.00 2.07 2.17 3/197 24127 /proc/meminfo: memFree=29459652/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1555352 CPUtime=1062.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 384720 0 0 0 99674 6558 0 0 25 0 1 0 165899339 1592680448 381205 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24095/statm: 388838 381205 398 719 0 388117 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1555352 [startup+1122.3 s] /proc/loadavg: 2.00 2.05 2.15 3/197 24129 /proc/meminfo: memFree=29347624/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1657788 CPUtime=1122.31 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 410578 0 0 0 105193 7038 0 0 25 0 1 0 165899339 1697574912 407063 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 414447 407063 398 719 0 413726 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1657788 [startup+1182.3 s] /proc/loadavg: 2.04 2.05 2.15 3/197 24131 /proc/meminfo: memFree=29293656/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1705584 CPUtime=1182.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 422579 0 0 0 110931 7301 0 0 25 0 1 0 165899339 1746518016 419064 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 426396 419064 398 719 0 425675 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1705584 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.14 3/197 24133 /proc/meminfo: memFree=29251568/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1743128 CPUtime=1242.31 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 432007 0 0 0 116706 7525 0 0 25 0 1 0 165899339 1784963072 428492 4089446400 4194304 7136930 140734225307360 18446744073709551615 4999718 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 435782 428492 398 719 0 435061 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1743128 [startup+1302.3 s] /proc/loadavg: 2.15 2.07 2.14 3/197 24182 /proc/meminfo: memFree=29558780/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1771656 CPUtime=1302.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 439124 0 0 0 122498 7734 0 0 25 0 1 0 165899339 1814175744 435609 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 442914 435609 398 719 0 442193 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1771656 [startup+1362.3 s] /proc/loadavg: 2.06 2.06 2.13 3/197 24183 /proc/meminfo: memFree=29513112/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1786228 CPUtime=1362.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 442820 0 0 0 128312 7920 0 0 25 0 1 0 165899339 1829097472 439305 4089446400 4194304 7136930 140734225307360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 446557 439305 398 719 0 445836 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1786228 [startup+1422.31 s] /proc/loadavg: 2.02 2.05 2.12 3/197 24185 /proc/meminfo: memFree=29462896/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1803640 CPUtime=1422.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 447142 0 0 0 134145 8087 0 0 25 0 1 0 165899339 1846927360 443627 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24095/statm: 450910 443627 398 719 0 450189 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1803640 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.11 3/197 24187 /proc/meminfo: memFree=29429988/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1814776 CPUtime=1482.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 449895 0 0 0 139992 8240 0 0 25 0 1 0 165899339 1858330624 446380 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24095/statm: 453694 446380 398 719 0 452973 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1814776 [startup+1542.3 s] /proc/loadavg: 2.29 2.14 2.14 3/197 24189 /proc/meminfo: memFree=29411000/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1822032 CPUtime=1542.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 451645 0 0 0 145854 8378 0 0 25 0 1 0 165899339 1865760768 448130 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 455508 448130 398 719 0 454787 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1822032 [startup+1602.3 s] /proc/loadavg: 2.11 2.11 2.12 3/197 24190 /proc/meminfo: memFree=29394828/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1829380 CPUtime=1602.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 453521 0 0 0 151716 8516 0 0 25 0 1 0 165899339 1873285120 450006 4089446400 4194304 7136930 140734225307360 18446744073709551615 4210097 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 457345 450006 398 719 0 456624 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1829380 [startup+1662.3 s] /proc/loadavg: 2.04 2.09 2.11 3/197 24191 /proc/meminfo: memFree=29358328/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1832864 CPUtime=1662.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 454405 0 0 0 157604 8628 0 0 25 0 1 0 165899339 1876852736 450890 4089446400 4194304 7136930 140734225307360 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 458216 450890 398 719 0 457495 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1832864 [startup+1722.3 s] /proc/loadavg: 2.45 2.18 2.14 3/197 24193 /proc/meminfo: memFree=29333864/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1834336 CPUtime=1722.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 454813 0 0 0 163478 8754 0 0 25 0 1 0 165899339 1878360064 451298 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 458584 451298 398 719 0 457863 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1834336 [startup+1782.3 s] /proc/loadavg: 2.15 2.14 2.13 3/197 24195 /proc/meminfo: memFree=29266588/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1882888 CPUtime=1782.32 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 466167 0 0 0 169088 9144 0 0 25 0 1 0 165899339 1928077312 462652 4089446400 4194304 7136930 140734225307360 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 470722 462652 398 719 0 470001 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1882888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.12 2.14 2.12 3/197 24195 /proc/meminfo: memFree=29239912/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1907880 CPUtime=1800.03 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 471814 0 0 0 170746 9257 0 0 25 0 1 0 165899339 1953669120 468299 4089446400 4194304 7136930 140734225307360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24095/statm: 476970 468299 398 719 0 476249 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1907880 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24095 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.12 2.14 2.12 3/198 24196 /proc/meminfo: memFree=29239160/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1907880 CPUtime=1801.43 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 471829 0 0 0 170886 9257 0 0 19 0 1 0 165899339 1953669120 468314 4089446400 4194304 7136930 140734225307360 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24095/statm: 476970 468314 403 719 0 476249 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1907880 [startup+1801.81 s] /proc/loadavg: 2.11 2.13 2.12 3/198 24196 /proc/meminfo: memFree=29239284/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1906856 CPUtime=1801.83 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 471829 0 0 0 170926 9257 0 0 20 0 1 0 165899339 1952620544 468076 4089446400 4194304 7136930 140734225307360 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24095/statm: 476714 468076 403 719 0 475993 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1906856 [startup+1802 s] /proc/loadavg: 2.11 2.13 2.12 3/198 24196 /proc/meminfo: memFree=29239284/32950928 swapFree=67111528/67111528 [pid=24095] ppid=24093 vsize=1906856 CPUtime=1802.03 /proc/24095/stat : 24095 (pbscip.linux.x8) R 24093 24095 23549 0 -1 4202496 471829 0 0 0 170946 9257 0 0 21 0 1 0 165899339 1952620544 468076 4089446400 4194304 7136930 140734225307360 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24095/statm: 476714 468076 403 719 0 475993 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1906856 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.1 CPU user time (s): 1709.47 CPU system time (s): 92.6339 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1907880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.47 system time used= 92.6339 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471829 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 6977 runsolver used 2.94055 second user time and 6.05808 second system time The end
Begin job on node113 at 2010-06-30 15:02:38 IDJOB=2694055 IDBENCH=78906 IDSOLVER=1206 FILE ID=node113/2694055-1277902958 PBS_JOBID= 11197215 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-33-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-2694055-1277902958/watcher-2694055-1277902958 -o /tmp/evaluation-result-2694055-1277902958/solver-2694055-1277902958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694055-1277902958.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f14288bb7c1e317bfd5e53473571ca7 RANDOM SEED=1376446611 node113.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.812 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.62 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.812 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.83 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.812 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.812 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.83 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.812 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.812 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.812 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.812 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31145552 kB Buffers: 184592 kB Cached: 1029096 kB SwapCached: 0 kB Active: 984736 kB Inactive: 677024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31145552 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 448676 kB Mapped: 20480 kB Slab: 78536 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1654504 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= 74208 MiB End job on node113 at 2010-06-30 15:32:41