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.14 | 1802.1 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo |
| MD5SUM | d8302a34385139d2b71dca1f77dee50d |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 510.762 |
| 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 | 1802 |
| 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 | 91108 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91107 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 739 |
| 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-2693588-1277912156.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 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.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.06/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.06/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 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 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17 c 1950 implications, 9 cliques
0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17 c 1741 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1741 constraints of type <linear>
0.09/0.17 c 873 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.17 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.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3713 |4364 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.50 o 626
1.49/1.50 c * 1.4s| 5034 | 4534 | 0 | 0.0 | 16M|1912 | - |3713 |5130 | 0 | 0 | 0 |1281 | 0 | 0.000000e+00 | 6.260000e+02 | Inf
1.59/1.65 o 414
1.59/1.65 c * 1.5s| 5430 | 4623 | 0 | 0.0 | 16M|1912 | - |3713 |5120 | 0 | 0 | 0 |1292 | 0 | 0.000000e+00 | 4.140000e+02 | Inf
1.79/1.83 o 381
1.79/1.83 c * 1.7s| 5891 | 5043 | 0 | 0.0 | 16M|1912 | - |3713 |5143 | 0 | 0 | 0 |1356 | 0 | 0.000000e+00 | 3.810000e+02 | Inf
1.79/1.83 o 378
1.79/1.83 c * 1.7s| 5892 | 5041 | 0 | 0.0 | 17M|1912 | - |3713 |5143 | 0 | 0 | 0 |1356 | 0 | 0.000000e+00 | 3.780000e+02 | Inf
2.10/2.14 o 362
2.10/2.14 c * 2.0s| 6872 | 5973 | 0 | 0.0 | 17M|1912 | - |3713 |5197 | 0 | 0 | 0 |1514 | 0 | 0.000000e+00 | 3.620000e+02 | Inf
2.10/2.17 o 339
2.10/2.17 c * 2.0s| 6946 | 6035 | 0 | 0.0 | 17M|1912 | - |3713 |5194 | 0 | 0 | 0 |1528 | 0 | 0.000000e+00 | 3.390000e+02 | Inf
2.99/3.00 c 2.8s| 10000 | 8694 | 0 | 0.0 | 19M|1912 | - |3713 |5460 | 0 | 0 | 0 |3100 | 0 | 0.000000e+00 | 3.390000e+02 | Inf
6.19/6.21 c 5.7s| 20000 | 16652 | 0 | 0.0 | 29M|1912 | - |3713 |6626 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.390000e+02 | Inf
10.99/11.00 c 10.1s| 30000 | 22508 | 0 | 0.0 | 39M|1912 | - |3713 |8861 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.390000e+02 | Inf
11.29/11.39 o 325
11.29/11.39 c *10.5s| 30862 | 23289 | 0 | 0.0 | 40M|1912 | - |3713 |8609 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.250000e+02 | Inf
11.39/11.40 o 308
11.39/11.40 c *10.5s| 30866 | 23266 | 0 | 0.0 | 40M|1912 | - |3713 |8606 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.080000e+02 | Inf
11.49/11.52 o 286
11.49/11.52 c *10.6s| 31142 | 23503 | 0 | 0.0 | 40M|1912 | - |3713 |8477 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
12.00/12.10 o 221
12.00/12.10 c *11.1s| 32430 | 24567 | 0 | 0.0 | 40M|1912 | - |3713 |7974 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
12.09/12.14 o 216
12.09/12.14 c *11.2s| 32522 | 24652 | 0 | 0.0 | 40M|1912 | - |3713 |7945 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
12.69/12.74 o 211
12.69/12.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.74 c *11.7s| 33848 | 25838 | 0 | 0.0 | 41M|1912 | - |3713 |7321 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
12.89/12.92 o 192
12.89/12.92 c *11.9s| 34286 | 26132 | 0 | 0.0 | 41M|1912 | - |3713 |7270 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
12.89/12.92 o 181
12.89/12.92 c *11.9s| 34287 | 26074 | 0 | 0.0 | 41M|1912 | - |3713 |7270 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
12.99/13.00 o 173
12.99/13.00 c *12.0s| 34461 | 26207 | 0 | 0.0 | 42M|1912 | - |3713 |7232 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
13.20/13.25 o 169
13.20/13.25 c *12.2s| 35032 | 26734 | 0 | 0.0 | 42M|1912 | - |3713 |7188 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
14.30/14.39 o 156
14.30/14.39 c *13.3s| 37594 | 28835 | 0 | 0.0 | 45M|1912 | - |3713 |6968 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
14.39/14.40 o 145
14.39/14.40 c *13.3s| 37595 | 28702 | 0 | 0.0 | 44M|1912 | - |3713 |6968 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
14.39/14.49 o 129
14.39/14.49 c *13.4s| 37806 | 28747 | 0 | 0.0 | 44M|1912 | - |3713 |6884 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
14.39/14.49 o 127
14.39/14.49 c *13.4s| 37807 | 28653 | 0 | 0.0 | 44M|1912 | - |3713 |6884 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
14.49/14.53 o 112
14.49/14.53 c *13.4s| 37890 | 28471 | 0 | 0.0 | 44M|1912 | - |3713 |6854 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
14.49/14.53 o 110
14.49/14.53 c *13.4s| 37891 | 28445 | 0 | 0.0 | 44M|1912 | - |3713 |6854 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
14.69/14.70 o 109
14.69/14.70 c *13.6s| 38241 | 28769 | 0 | 0.0 | 44M|1912 | - |3713 |6760 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
14.69/14.70 o 79
14.69/14.70 c *13.6s| 38242 | 27617 | 0 | 0.0 | 43M|1912 | - |3713 |6760 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
14.79/14.80 o 74
14.79/14.80 c *13.7s| 38426 | 27590 | 0 | 0.0 | 44M|1912 | - |3713 |6713 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
14.79/14.88 o 63
14.79/14.88 c *13.8s| 38581 | 27008 | 0 | 0.0 | 44M|1912 | - |3713 |6690 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
14.79/14.88 o 61
14.79/14.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.79/14.88 c *13.8s| 38582 | 26904 | 0 | 0.0 | 44M|1912 | - |3713 |6690 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
14.89/14.90 o 51
14.89/14.90 c *13.8s| 38628 | 26462 | 0 | 0.0 | 43M|1912 | - |3713 |6673 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
15.39/15.47 c 14.3s| 40000 | 27717 | 0 | 0.0 | 45M|1912 | - |3713 |6050 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
16.29/16.34 o 42
16.29/16.34 c *15.1s| 41750 | 28776 | 0 | 0.0 | 46M|1912 | - |3713 |5020 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
19.49/19.53 c 18.0s| 50000 | 36017 | 0 | 0.0 | 56M|1912 | - |3713 |5393 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
22.99/23.04 c 21.2s| 60000 | 44544 | 0 | 0.0 | 65M|1912 | - |3713 |6397 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
26.49/26.59 c 24.4s| 70000 | 52834 | 0 | 0.0 | 72M|1912 | - |3713 |5819 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
30.49/30.56 c 28.1s| 80000 | 60344 | 0 | 0.0 | 81M|1912 | - |3713 |6409 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
35.00/35.06 c 32.3s| 90000 | 67241 | 0 | 0.0 | 90M|1912 | - |3713 |7011 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
40.09/40.14 c 37.0s|100000 | 73533 | 0 | 0.0 | 99M|1912 | - |3713 |7441 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
45.49/45.50 c 42.0s|110000 | 79512 | 0 | 0.0 | 108M|1912 | - |3713 |7926 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
51.29/51.37 c 47.5s|120000 | 84953 | 0 | 0.0 | 117M|1912 | - |3713 |8476 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
57.39/57.40 c 53.3s|130000 | 90164 | 0 | 0.0 | 126M|1912 | - |3713 |8977 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
63.59/63.63 c 59.2s|140000 | 95121 | 0 | 0.0 | 134M|1912 | - |3713 |9379 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
70.49/70.59 c 65.8s|150000 | 99284 | 0 | 0.0 | 143M|1912 | - |3713 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
77.59/77.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.59/77.64 c 72.5s|160000 |103409 | 0 | 0.0 | 151M|1912 | - |3713 | 11k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
85.39/85.49 c 79.9s|170000 |105149 | 0 | 0.0 | 155M|1912 | - |3713 |6352 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
88.29/88.31 o 29
88.29/88.31 c *82.5s|176669 |109377 | 0 | 0.0 | 157M|1912 | - |3713 |4597 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
89.60/89.64 c 83.8s|180000 |112304 | 0 | 0.0 | 162M|1912 | - |3713 |4880 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
93.70/93.75 c 87.5s|190000 |120969 | 0 | 0.0 | 173M|1912 | - |3713 |5480 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
98.29/98.38 c 91.8s|200000 |129206 | 0 | 0.0 | 185M|1912 | - |3713 |6435 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
105.60/105.68 c 98.7s|210000 |134949 | 0 | 0.0 | 201M|1912 | - |3713 |7102 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
109.79/109.83 c 102s|220000 |143421 | 0 | 0.0 | 212M|1912 | - |3713 |6611 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
114.89/114.98 c 107s|230000 |150979 | 0 | 0.0 | 224M|1912 | - |3713 |6735 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
118.89/118.99 c 111s|240000 |159545 | 0 | 0.0 | 236M|1912 | - |3713 |6766 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
123.30/123.34 c 115s|250000 |167781 | 0 | 0.0 | 247M|1912 | - |3713 |7306 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
128.39/128.45 c 120s|260000 |175443 | 0 | 0.0 | 262M|1912 | - |3713 |8029 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
134.39/134.42 c 125s|270000 |182327 | 0 | 0.0 | 280M|1912 | - |3713 |9640 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
138.50/138.58 c 129s|280000 |190702 | 0 | 0.0 | 289M|1912 | - |3713 |7797 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
141.59/141.67 o 19
141.59/141.67 c * 132s|287074 |186432 | 0 | 0.0 | 258M|1912 | - |3713 |8511 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
143.39/143.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.39/143.41 c 134s|290000 |188402 | 0 | 0.0 | 262M|1912 | - |3713 |9031 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
147.40/147.44 c 138s|300000 |196664 | 0 | 0.0 | 272M|1912 | - |3713 |9126 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
151.99/152.00 c 142s|310000 |204327 | 0 | 0.0 | 282M|1912 | - |3713 |8753 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
156.79/156.89 c 146s|320000 |211577 | 0 | 0.0 | 293M|1912 | - |3713 | 10k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
160.79/160.82 c 150s|330000 |219785 | 0 | 0.0 | 301M|1912 | - |3713 |9874 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
165.59/165.61 c 154s|340000 |227162 | 0 | 0.0 | 312M|1912 | - |3713 | 10k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
170.49/170.56 c 159s|350000 |234496 | 0 | 0.0 | 323M|1912 | - |3713 | 11k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
174.80/174.83 c 163s|360000 |242378 | 0 | 0.0 | 332M|1912 | - |3713 | 12k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
179.20/179.23 c 167s|370000 |250094 | 0 | 0.0 | 341M|1912 | - |3713 | 12k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
183.89/183.99 c 172s|380000 |257545 | 0 | 0.0 | 351M|1912 | - |3713 | 12k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
188.89/188.95 c 176s|390000 |264928 | 0 | 0.0 | 361M|1912 | - |3713 | 13k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
194.20/194.25 c 181s|400000 |272023 | 0 | 0.0 | 370M|1912 | - |3713 | 14k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
199.29/199.31 c 186s|410000 |279324 | 0 | 0.0 | 377M|1912 | - |3713 | 14k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
205.00/205.01 c 191s|420000 |286127 | 0 | 0.0 | 385M|1912 | - |3713 | 13k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
209.29/209.37 c 195s|430000 |294130 | 0 | 0.0 | 393M|1912 | - |3713 | 14k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
216.29/216.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.29/216.34 c 202s|440000 |299984 | 0 | 0.0 | 403M|1912 | - |3713 | 18k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
220.79/220.87 c 206s|450000 |308032 | 0 | 0.0 | 410M|1912 | - |3713 | 14k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
225.70/225.76 c 211s|460000 |315339 | 0 | 0.0 | 418M|1912 | - |3713 | 16k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
231.20/231.24 c 216s|470000 |322391 | 0 | 0.0 | 426M|1912 | - |3713 | 14k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
236.10/236.12 c 220s|480000 |329970 | 0 | 0.0 | 434M|1912 | - |3713 | 15k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
243.20/243.23 c 227s|490000 |335555 | 0 | 0.0 | 443M|1912 | - |3713 | 18k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
248.09/248.14 c 232s|500000 |343238 | 0 | 0.0 | 450M|1912 | - |3713 | 15k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
254.90/254.92 c 238s|510000 |349233 | 0 | 0.0 | 456M|1912 | - |3713 |9920 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
258.70/258.72 c 242s|520000 |357669 | 0 | 0.0 | 464M|1912 | - |3713 |6080 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
262.40/262.41 c 245s|530000 |365786 | 0 | 0.0 | 473M|1912 | - |3713 |6293 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
268.09/268.13 c 250s|540000 |371669 | 0 | 0.0 | 482M|1912 | - |3713 |8202 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
274.60/274.62 c 257s|550000 |376967 | 0 | 0.0 | 492M|1912 | - |3713 |9345 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
281.30/281.36 c 263s|560000 |382060 | 0 | 0.0 | 500M|1912 | - |3713 | 10k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
288.40/288.42 c 270s|570000 |386980 | 0 | 0.0 | 509M|1912 | - |3713 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
295.99/296.09 c 277s|580000 |391404 | 0 | 0.0 | 518M|1912 | - |3713 | 11k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
303.90/303.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.90/303.94 c 285s|590000 |395836 | 0 | 0.0 | 526M|1912 | - |3713 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
313.09/313.14 c 293s|600000 |399018 | 0 | 0.0 | 534M|1912 | - |3713 | 12k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
322.60/322.69 c 303s|610000 |402080 | 0 | 0.0 | 543M|1912 | - |3713 | 12k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
333.09/333.11 c 313s|620000 |404443 | 0 | 0.0 | 550M|1912 | - |3713 | 13k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
343.20/343.28 c 322s|630000 |407147 | 0 | 0.0 | 558M|1912 | - |3713 | 14k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
354.21/354.22 c 333s|640000 |409377 | 0 | 0.0 | 565M|1912 | - |3713 | 14k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
365.49/365.59 c 344s|650000 |411261 | 0 | 0.0 | 573M|1912 | - |3713 | 15k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
377.10/377.12 c 355s|660000 |413188 | 0 | 0.0 | 580M|1912 | - |3713 | 14k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
389.31/389.37 c 367s|670000 |414370 | 0 | 0.0 | 586M|1912 | - |3713 | 16k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
401.50/401.60 c 379s|680000 |415917 | 0 | 0.0 | 593M|1912 | - |3713 | 15k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
414.50/414.53 c 391s|690000 |416830 | 0 | 0.0 | 600M|1912 | - |3713 | 17k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
428.10/428.15 c 405s|700000 |417291 | 0 | 0.0 | 606M|1912 | - |3713 | 17k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
443.00/443.07 c 419s|710000 |416868 | 0 | 0.0 | 612M|1912 | - |3713 | 18k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
458.20/458.21 c 434s|720000 |415437 | 0 | 0.0 | 615M|1912 | - |3713 | 16k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
476.21/476.30 c 451s|730000 |406931 | 0 | 0.0 | 604M|1912 | - |3713 | 18k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
482.20/482.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.20/482.27 c 457s|740000 |415120 | 0 | 0.0 | 613M|1912 | - |3713 |7429 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
486.80/486.89 c 461s|750000 |423381 | 0 | 0.0 | 625M|1912 | - |3713 |6835 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
491.40/491.44 c 466s|760000 |431587 | 0 | 0.0 | 639M|1912 | - |3713 |7096 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
496.30/496.30 c 470s|770000 |439707 | 0 | 0.0 | 653M|1912 | - |3713 |7453 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
501.30/501.32 c 475s|780000 |447673 | 0 | 0.0 | 668M|1912 | - |3713 |7845 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
506.20/506.23 c 479s|790000 |455688 | 0 | 0.0 | 683M|1912 | - |3713 |7873 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
511.30/511.31 c 484s|800000 |463640 | 0 | 0.0 | 698M|1912 | - |3713 |8122 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
516.50/516.52 c 489s|810000 |471445 | 0 | 0.0 | 712M|1912 | - |3713 |8336 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
522.00/522.02 c 494s|820000 |479083 | 0 | 0.0 | 729M|1912 | - |3713 |8682 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
527.40/527.48 c 499s|830000 |486808 | 0 | 0.0 | 745M|1912 | - |3713 |8999 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
533.00/533.08 c 505s|840000 |494401 | 0 | 0.0 | 762M|1912 | - |3713 |9351 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
539.01/539.05 c 510s|850000 |501880 | 0 | 0.0 | 780M|1912 | - |3713 |9785 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
545.10/545.15 c 516s|860000 |509289 | 0 | 0.0 | 798M|1912 | - |3713 | 10k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
551.30/551.39 c 522s|870000 |516627 | 0 | 0.0 | 817M|1912 | - |3713 | 10k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
557.91/557.98 c 528s|880000 |523814 | 0 | 0.0 | 836M|1912 | - |3713 | 10k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
564.50/564.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.50/564.60 c 534s|890000 |530933 | 0 | 0.0 | 854M|1912 | - |3713 | 11k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
571.30/571.39 c 541s|900000 |538013 | 0 | 0.0 | 873M|1912 | - |3713 | 11k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
578.61/578.61 c 547s|910000 |544915 | 0 | 0.0 | 893M|1912 | - |3713 | 12k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
586.40/586.42 c 555s|920000 |551575 | 0 | 0.0 | 915M|1912 | - |3713 | 13k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
594.41/594.44 c 562s|930000 |558134 | 0 | 0.0 | 936M|1912 | - |3713 | 14k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
603.10/603.18 c 571s|940000 |564355 | 0 | 0.0 | 958M|1912 | - |3713 | 14k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
612.41/612.46 c 579s|950000 |570423 | 0 | 0.0 | 980M|1912 | - |3713 | 15k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
622.20/622.27 c 589s|960000 |576297 | 0 | 0.0 |1003M|1912 | - |3713 | 16k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
633.10/633.12 c 599s|970000 |581706 | 0 | 0.0 |1026M|1912 | - |3713 | 17k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
644.70/644.75 c 610s|980000 |586708 | 0 | 0.0 |1048M|1912 | - |3713 | 18k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
657.91/657.95 c 623s|990000 |591001 | 0 | 0.0 |1069M|1912 | - |3713 | 20k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
674.10/674.11 c 638s| 1000k|593968 | 0 | 0.0 |1089M|1912 | - |3713 | 21k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
693.70/693.73 c 658s| 1010k|595487 | 0 | 0.0 |1105M|1912 | - |3713 | 22k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
699.90/699.99 c 663s| 1020k|603706 | 0 | 0.0 |1119M|1912 | - |3713 | 14k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
705.41/705.40 c 668s| 1030k|611793 | 0 | 0.0 |1135M|1912 | - |3713 | 13k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
710.61/710.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.61/710.63 c 673s| 1040k|619862 | 0 | 0.0 |1152M|1912 | - |3713 | 13k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
716.60/716.65 c 679s| 1050k|627455 | 0 | 0.0 |1171M|1912 | - |3713 | 13k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
723.21/723.22 c 685s| 1060k|634740 | 0 | 0.0 |1193M|1912 | - |3713 | 15k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
730.50/730.52 c 692s| 1070k|641755 | 0 | 0.0 |1215M|1912 | - |3713 | 16k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
737.31/737.39 c 699s| 1080k|648395 | 0 | 0.0 |1226M|1912 | - |3713 | 11k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
743.51/743.53 c 704s| 1090k|654772 | 0 | 0.0 |1238M|1912 | - |3713 | 12k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
750.50/750.57 c 711s| 1100k|660620 | 0 | 0.0 |1250M|1912 | - |3713 | 13k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
758.30/758.39 c 718s| 1110k|665935 | 0 | 0.0 |1263M|1912 | - |3713 | 13k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
767.11/767.14 c 727s| 1120k|670631 | 0 | 0.0 |1276M|1912 | - |3713 | 15k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
777.71/777.79 c 737s| 1130k|673970 | 0 | 0.0 |1288M|1912 | - |3713 | 14k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
782.21/782.23 c 741s| 1140k|682150 | 0 | 0.0 |1297M|1912 | - |3713 | 11k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
786.81/786.80 c 745s| 1150k|690109 | 0 | 0.0 |1307M|1912 | - |3713 | 11k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
791.41/791.43 c 749s| 1160k|697866 | 0 | 0.0 |1317M|1912 | - |3713 | 11k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
796.41/796.43 c 754s| 1170k|705384 | 0 | 0.0 |1327M|1912 | - |3713 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
801.61/801.69 c 759s| 1180k|712693 | 0 | 0.0 |1339M|1912 | - |3713 | 12k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
806.41/806.49 o 17
806.41/806.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.41/806.49 c * 764s| 1188k|715535 | 0 | 0.0 |1329M|1912 | - |3713 | 12k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
807.32/807.32 c 764s| 1190k|716519 | 0 | 0.0 |1331M|1912 | - |3713 | 12k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
813.41/813.42 c 770s| 1200k|723519 | 0 | 0.0 |1344M|1912 | - |3713 | 12k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
819.21/819.29 c 775s| 1210k|730469 | 0 | 0.0 |1356M|1912 | - |3713 | 12k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
825.41/825.40 c 781s| 1220k|737117 | 0 | 0.0 |1368M|1912 | - |3713 | 12k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
831.41/831.45 c 787s| 1230k|743843 | 0 | 0.0 |1380M|1912 | - |3713 | 12k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
837.81/837.80 c 793s| 1240k|750208 | 0 | 0.0 |1392M|1912 | - |3713 | 13k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
844.01/844.03 c 799s| 1250k|756771 | 0 | 0.0 |1403M|1912 | - |3713 | 12k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
850.61/850.69 c 805s| 1260k|762849 | 0 | 0.0 |1415M|1912 | - |3713 | 13k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
857.11/857.16 c 811s| 1270k|769146 | 0 | 0.0 |1426M|1912 | - |3713 | 13k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
863.91/863.99 c 818s| 1280k|775125 | 0 | 0.0 |1437M|1912 | - |3713 | 13k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
870.61/870.67 c 824s| 1290k|781252 | 0 | 0.0 |1447M|1912 | - |3713 | 13k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
877.71/877.72 c 831s| 1300k|787028 | 0 | 0.0 |1458M|1912 | - |3713 | 13k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
884.91/884.92 c 837s| 1310k|792784 | 0 | 0.0 |1468M|1912 | - |3713 | 13k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
892.01/892.08 c 844s| 1320k|798567 | 0 | 0.0 |1479M|1912 | - |3713 | 14k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
899.41/899.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.41/899.43 c 851s| 1330k|804193 | 0 | 0.0 |1490M|1912 | - |3713 | 14k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
906.92/906.98 c 858s| 1340k|809718 | 0 | 0.0 |1502M|1912 | - |3713 | 14k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
914.12/914.16 c 865s| 1350k|815434 | 0 | 0.0 |1513M|1912 | - |3713 | 14k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
921.92/921.95 c 872s| 1360k|820734 | 0 | 0.0 |1524M|1912 | - |3713 | 15k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
931.41/931.43 c 881s| 1370k|824839 | 0 | 0.0 |1538M|1912 | - |3713 | 16k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
942.01/942.05 c 892s| 1380k|828339 | 0 | 0.0 |1549M|1912 | - |3713 | 15k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
946.31/946.31 c 896s| 1390k|836636 | 0 | 0.0 |1556M|1912 | - |3713 | 12k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
950.42/950.47 c 899s| 1400k|844752 | 0 | 0.0 |1565M|1912 | - |3713 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
954.72/954.71 c 903s| 1410k|852736 | 0 | 0.0 |1572M|1912 | - |3713 | 13k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
959.12/959.19 c 907s| 1420k|860486 | 0 | 0.0 |1581M|1912 | - |3713 | 13k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
964.01/964.03 c 912s| 1430k|867890 | 0 | 0.0 |1589M|1912 | - |3713 | 13k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
969.31/969.34 c 917s| 1440k|874954 | 0 | 0.0 |1599M|1912 | - |3713 | 14k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
975.31/975.32 c 923s| 1450k|881577 | 0 | 0.0 |1609M|1912 | - |3713 | 15k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
981.72/981.73 c 929s| 1460k|887842 | 0 | 0.0 |1620M|1912 | - |3713 | 15k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
988.72/988.70 c 935s| 1470k|893731 | 0 | 0.0 |1631M|1912 | - |3713 | 16k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
996.61/996.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.61/996.65 c 943s| 1480k|898972 | 0 | 0.0 |1643M|1912 | - |3713 | 17k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1005.92/1005.96 c 952s| 1490k|903227 | 0 | 0.0 |1655M|1912 | - |3713 | 18k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1017.31/1017.31 c 963s| 1500k|906013 | 0 | 0.0 |1665M|1912 | - |3713 | 17k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1021.72/1021.74 c 967s| 1510k|914109 | 0 | 0.0 |1672M|1912 | - |3713 | 14k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1026.01/1026.06 c 971s| 1520k|922100 | 0 | 0.0 |1681M|1912 | - |3713 | 14k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1030.81/1030.83 c 975s| 1530k|929738 | 0 | 0.0 |1689M|1912 | - |3713 | 15k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1035.81/1035.83 c 980s| 1540k|937168 | 0 | 0.0 |1698M|1912 | - |3713 | 16k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1041.22/1041.28 c 985s| 1550k|944263 | 0 | 0.0 |1707M|1912 | - |3713 | 16k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1047.22/1047.28 c 991s| 1560k|950993 | 0 | 0.0 |1717M|1912 | - |3713 | 17k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1053.82/1053.80 c 997s| 1570k|957285 | 0 | 0.0 |1727M|1912 | - |3713 | 18k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1060.52/1060.53 c 1003s| 1580k|963516 | 0 | 0.0 |1737M|1912 | - |3713 | 18k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1068.02/1068.10 c 1010s| 1590k|969164 | 0 | 0.0 |1747M|1912 | - |3713 | 20k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1077.22/1077.27 c 1019s| 1600k|973767 | 0 | 0.0 |1758M|1912 | - |3713 | 21k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1085.72/1085.70 c 1027s| 1610k|978985 | 0 | 0.0 |1766M|1912 | - |3713 | 17k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1091.01/1091.01 c 1032s| 1620k|986299 | 0 | 0.0 |1773M|1912 | - |3713 | 15k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1095.91/1095.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.91/1095.97 c 1037s| 1630k|993801 | 0 | 0.0 |1782M|1912 | - |3713 | 15k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1100.91/1100.93 c 1041s| 1640k| 1001k| 0 | 0.0 |1791M|1912 | - |3713 | 15k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1106.21/1106.20 c 1046s| 1650k| 1008k| 0 | 0.0 |1800M|1912 | - |3713 | 16k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1111.81/1111.81 c 1051s| 1660k| 1015k| 0 | 0.0 |1809M|1912 | - |3713 | 16k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1117.72/1117.75 c 1057s| 1670k| 1021k| 0 | 0.0 |1819M|1912 | - |3713 | 17k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1124.22/1124.23 c 1063s| 1680k| 1028k| 0 | 0.0 |1829M|1912 | - |3713 | 17k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1131.32/1131.33 c 1070s| 1690k| 1034k| 0 | 0.0 |1840M|1912 | - |3713 | 18k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1139.21/1139.25 c 1077s| 1700k| 1039k| 0 | 0.0 |1851M|1912 | - |3713 | 19k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1149.71/1149.72 c 1087s| 1710k| 1042k| 0 | 0.0 |1861M|1912 | - |3713 | 22k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1154.71/1154.77 c 1092s| 1720k| 1050k| 0 | 0.0 |1867M|1912 | - |3713 | 15k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1159.52/1159.57 c 1097s| 1730k| 1058k| 0 | 0.0 |1876M|1912 | - |3713 | 15k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1164.51/1164.58 c 1101s| 1740k| 1065k| 0 | 0.0 |1885M|1912 | - |3713 | 16k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1169.72/1169.73 c 1106s| 1750k| 1073k| 0 | 0.0 |1894M|1912 | - |3713 | 16k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1175.22/1175.21 c 1111s| 1760k| 1080k| 0 | 0.0 |1903M|1912 | - |3713 | 17k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1180.92/1180.93 c 1117s| 1770k| 1087k| 0 | 0.0 |1913M|1912 | - |3713 | 17k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1182.82/1182.82 o 13
1182.82/1182.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.82/1182.82 c *1118s| 1772k| 1058k| 0 | 0.0 |1781M|1912 | - |3713 | 17k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1187.72/1187.71 c 1123s| 1780k| 1062k| 0 | 0.0 |1787M|1912 | - |3713 | 18k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1195.42/1195.49 c 1130s| 1790k| 1068k| 0 | 0.0 |1797M|1912 | - |3713 | 19k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1205.72/1205.72 c 1140s| 1800k| 1072k| 0 | 0.0 |1807M|1912 | - |3713 | 21k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1217.52/1217.53 c 1152s| 1810k| 1076k| 0 | 0.0 |1815M|1912 | - |3713 | 18k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1222.42/1222.49 c 1156s| 1820k| 1084k| 0 | 0.0 |1823M|1912 | - |3713 | 17k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1227.63/1227.66 c 1161s| 1830k| 1092k| 0 | 0.0 |1831M|1912 | - |3713 | 17k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1232.92/1232.96 c 1166s| 1840k| 1099k| 0 | 0.0 |1839M|1912 | - |3713 | 18k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1238.42/1238.44 c 1171s| 1850k| 1107k| 0 | 0.0 |1847M|1912 | - |3713 | 19k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1244.22/1244.28 c 1177s| 1860k| 1114k| 0 | 0.0 |1856M|1912 | - |3713 | 19k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1250.63/1250.70 c 1183s| 1870k| 1120k| 0 | 0.0 |1865M|1912 | - |3713 | 20k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1258.22/1258.23 c 1190s| 1880k| 1126k| 0 | 0.0 |1874M|1912 | - |3713 | 21k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1268.12/1268.10 c 1199s| 1890k| 1131k| 0 | 0.0 |1883M|1912 | - |3713 | 23k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1279.12/1279.10 c 1210s| 1900k| 1135k| 0 | 0.0 |1890M|1912 | - |3713 | 20k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1284.12/1284.18 c 1215s| 1910k| 1143k| 0 | 0.0 |1897M|1912 | - |3713 | 19k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1289.32/1289.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.32/1289.31 c 1220s| 1920k| 1150k| 0 | 0.0 |1906M|1912 | - |3713 | 19k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1294.82/1294.87 c 1225s| 1930k| 1158k| 0 | 0.0 |1914M|1912 | - |3713 | 20k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1300.92/1300.91 c 1230s| 1940k| 1165k| 0 | 0.0 |1922M|1912 | - |3713 | 20k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1307.22/1307.28 c 1237s| 1950k| 1172k| 0 | 0.0 |1931M|1912 | - |3713 | 21k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1313.93/1313.91 c 1243s| 1960k| 1178k| 0 | 0.0 |1939M|1912 | - |3713 | 22k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1321.82/1321.82 c 1250s| 1970k| 1184k| 0 | 0.0 |1948M|1912 | - |3713 | 23k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1331.22/1331.29 c 1259s| 1980k| 1189k| 0 | 0.0 |1957M|1912 | - |3713 | 25k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1340.83/1340.85 c 1269s| 1990k| 1194k| 0 | 0.0 |1964M|1912 | - |3713 | 21k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1345.72/1345.77 c 1273s| 2000k| 1202k| 0 | 0.0 |1971M|1912 | - |3713 | 20k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1350.32/1350.33 c 1277s| 2010k| 1210k| 0 | 0.0 |1978M|1912 | - |3713 | 20k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1355.13/1355.15 c 1282s| 2020k| 1218k| 0 | 0.0 |1985M|1912 | - |3713 | 21k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1360.12/1360.19 c 1287s| 2030k| 1225k| 0 | 0.0 |1993M|1912 | - |3713 | 21k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1365.13/1365.11 c 1291s| 2040k| 1233k| 0 | 0.0 |2000M|1912 | - |3713 | 21k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1370.62/1370.65 c 1297s| 2050k| 1240k| 0 | 0.0 |2007M|1912 | - |3713 | 22k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1376.83/1376.83 c 1302s| 2060k| 1247k| 0 | 0.0 |2015M|1912 | - |3713 | 22k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1384.42/1384.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.42/1384.49 c 1310s| 2070k| 1253k| 0 | 0.0 |2023M|1912 | - |3713 | 23k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1393.02/1393.04 c 1318s| 2080k| 1258k| 0 | 0.0 |2032M|1912 | - |3713 | 24k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1403.02/1403.03 c 1327s| 2090k| 1262k| 0 | 0.0 |2040M|1912 | - |3713 | 25k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1415.23/1415.20 c 1339s| 2100k| 1265k| 0 | 0.0 |2047M|1912 | - |3713 | 24k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1421.03/1421.01 c 1345s| 2110k| 1273k| 0 | 0.0 |2055M|1912 | - |3713 | 21k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1427.02/1427.02 c 1350s| 2120k| 1280k| 0 | 0.0 |2063M|1912 | - |3713 | 22k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1433.93/1433.94 c 1357s| 2130k| 1287k| 0 | 0.0 |2071M|1912 | - |3713 | 23k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1441.62/1441.68 c 1364s| 2140k| 1293k| 0 | 0.0 |2079M|1912 | - |3713 | 25k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1453.13/1453.17 c 1375s| 2150k| 1297k| 0 | 0.0 |2089M|1912 | - |3713 | 26k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1465.43/1465.47 c 1387s| 2160k| 1300k| 0 | 0.0 |2095M|1912 | - |3713 | 24k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1474.12/1474.11 c 1395s| 2170k| 1306k| 0 | 0.0 |2101M|1912 | - |3713 | 22k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1481.63/1481.60 c 1403s| 2180k| 1312k| 0 | 0.0 |2109M|1912 | - |3713 | 22k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1489.13/1489.10 c 1410s| 2190k| 1319k| 0 | 0.0 |2117M|1912 | - |3713 | 23k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1497.43/1497.49 c 1418s| 2200k| 1324k| 0 | 0.0 |2125M|1912 | - |3713 | 25k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1507.93/1507.99 c 1428s| 2210k| 1329k| 0 | 0.0 |2133M|1912 | - |3713 | 26k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1521.62/1521.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.62/1521.65 c 1441s| 2220k| 1331k| 0 | 0.0 |2141M|1912 | - |3713 | 29k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1532.03/1532.02 c 1451s| 2230k| 1336k| 0 | 0.0 |2146M|1912 | - |3713 | 23k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1538.94/1538.92 c 1457s| 2240k| 1343k| 0 | 0.0 |2154M|1912 | - |3713 | 23k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1546.82/1546.87 c 1465s| 2250k| 1349k| 0 | 0.0 |2163M|1912 | - |3713 | 25k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1556.12/1556.19 c 1474s| 2260k| 1355k| 0 | 0.0 |2172M|1912 | - |3713 | 26k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1567.12/1567.14 c 1484s| 2270k| 1359k| 0 | 0.0 |2180M|1912 | - |3713 | 28k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1581.02/1581.04 c 1498s| 2280k| 1362k| 0 | 0.0 |2188M|1912 | - |3713 | 30k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1593.63/1593.62 c 1510s| 2290k| 1366k| 0 | 0.0 |2191M|1912 | - |3713 | 24k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1599.53/1599.50 c 1515s| 2300k| 1373k| 0 | 0.0 |2198M|1912 | - |3713 | 23k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1606.63/1606.63 c 1522s| 2310k| 1380k| 0 | 0.0 |2206M|1912 | - |3713 | 24k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1614.23/1614.26 c 1529s| 2320k| 1386k| 0 | 0.0 |2214M|1912 | - |3713 | 24k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1622.23/1622.23 c 1537s| 2330k| 1392k| 0 | 0.0 |2222M|1912 | - |3713 | 24k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1630.53/1630.58 c 1545s| 2340k| 1398k| 0 | 0.0 |2230M|1912 | - |3713 | 25k| 0 | 0 | 0 |1853k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1639.03/1639.09 c 1553s| 2350k| 1404k| 0 | 0.0 |2238M|1912 | - |3713 | 25k| 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1648.13/1648.17 c 1562s| 2360k| 1409k| 0 | 0.0 |2245M|1912 | - |3713 | 26k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1658.13/1658.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.13/1658.14 c 1571s| 2370k| 1414k| 0 | 0.0 |2253M|1912 | - |3713 | 26k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1668.23/1668.28 c 1581s| 2380k| 1419k| 0 | 0.0 |2261M|1912 | - |3713 | 27k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1678.64/1678.65 c 1591s| 2390k| 1424k| 0 | 0.0 |2268M|1912 | - |3713 | 27k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1688.83/1688.83 c 1601s| 2400k| 1428k| 0 | 0.0 |2275M|1912 | - |3713 | 28k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1700.63/1700.60 c 1612s| 2410k| 1432k| 0 | 0.0 |2282M|1912 | - |3713 | 29k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1716.33/1716.35 c 1627s| 2420k| 1434k| 0 | 0.0 |2288M|1912 | - |3713 | 33k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1723.13/1723.18 c 1634s| 2430k| 1442k| 0 | 0.0 |2294M|1912 | - |3713 | 25k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1730.03/1730.05 c 1640s| 2440k| 1449k| 0 | 0.0 |2302M|1912 | - |3713 | 25k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1737.23/1737.26 c 1647s| 2450k| 1456k| 0 | 0.0 |2309M|1912 | - |3713 | 26k| 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1744.43/1744.43 c 1654s| 2460k| 1463k| 0 | 0.0 |2317M|1912 | - |3713 | 27k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1752.34/1752.34 c 1661s| 2470k| 1469k| 0 | 0.0 |2324M|1912 | - |3713 | 28k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1761.04/1761.07 c 1670s| 2480k| 1475k| 0 | 0.0 |2332M|1912 | - |3713 | 28k| 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1770.63/1770.66 c 1679s| 2490k| 1480k| 0 | 0.0 |2340M|1912 | - |3713 | 29k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1781.73/1781.74 c 1689s| 2500k| 1485k| 0 | 0.0 |2347M|1912 | - |3713 | 30k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1793.43/1793.49 c 1701s| 2510k| 1489k| 0 | 0.0 |2354M|1912 | - |3713 | 30k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 1.300000e+01 | 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) : 1707.01
1800.04/1800.00 c Solving Nodes : 2515151
1800.04/1800.00 c Primal Bound : +1.30000000000000e+01 (33 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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
1800.04/1800.05 v -x29 -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
1800.04/1800.05 v x2 -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1707.01
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2693588-1277912156.wbo
1800.04/1800.05 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.04/1800.05 c Constraints : 4510 initial, 4510 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2693588-1277912156.wbo
1800.04/1800.05 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.04/1800.05 c Constraints : 4364 initial, 35172 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 61 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 61 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.05 0 0 0 1810 0 85 67 0
1800.04/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1430 - - 2860 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 1741 0 6570651 0 1887987 1048 9213360 0 0 0
1800.04/1800.05 c setppc : 9 0 7927248 0 2159167 26347 2598075 0 0 0
1800.04/1800.05 c linear : 1741 0 7910317 0 2160833 340242 35652754 0 0 0
1800.04/1800.05 c logicor : 873+ 0 4880734 0 2160844 194394 7979458 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 177739 0 0 0 2351 0 0 0
1800.04/1800.05 c countsols : 0 0 0 0 2160838 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c indicator : 41.96 0.00 21.31 0.00 20.65
1800.04/1800.05 c setppc : 15.36 0.00 12.98 0.00 2.38
1800.04/1800.05 c linear : 288.77 0.00 287.91 0.00 0.86
1800.04/1800.05 c logicor : 412.69 0.00 349.98 0.00 62.71
1800.04/1800.05 c bounddisjunction : 0.24 0.00 0.24 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.00 0 0 0
1800.04/1800.05 c pseudoobj : 300.47 7953307 15666 8621275
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 35.89 576649 576612 2685983 21.7 359140 10.7 -
1800.04/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.04 262 262 1059 16.0 320 9.7 -
1800.04/1800.05 c applied globally : - - - 2018057 18.1 - - -
1800.04/1800.05 c applied locally : - - - 8 235.2 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.05 c redcost : 0.00 0 0 0 0 0
1800.04/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.00 0 0 0 0 0
1800.04/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.05 c cmir : 0.00 0 0 0 0 0
1800.04/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.05 c clique : 0.00 0 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 0 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 59.60 2160805 0 0 0 0 4321610
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.00 - 0
1800.04/1800.05 c pseudo solutions : 0.17 - 33
1800.04/1800.05 c oneopt : 0.03 0 0
1800.04/1800.05 c trivial : 0.02 2 0
1800.04/1800.05 c simplerounding : 0.00 0 0
1800.04/1800.05 c zirounding : 0.00 0 0
1800.04/1800.05 c rounding : 0.00 0 0
1800.04/1800.05 c shifting : 0.00 0 0
1800.04/1800.05 c intshifting : 0.00 0 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c feaspump : 0.00 0 0
1800.04/1800.05 c coefdiving : 0.00 0 0
1800.04/1800.05 c pscostdiving : 0.00 0 0
1800.04/1800.05 c fracdiving : 0.00 0 0
1800.04/1800.05 c veclendiving : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c objpscostdiving : 0.00 0 0
1800.04/1800.05 c rootsoldiving : 0.00 0 0
1800.04/1800.05 c linesearchdiving : 0.00 0 0
1800.04/1800.05 c guideddiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.00 0 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c crossover : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.01 0 0
1800.04/1800.05 c trysol : 0.00 1 0
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.05 c (at root node) : - 0 0 0.00 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 2515151
1800.04/1800.05 c nodes (total) : 2515151
1800.04/1800.05 c nodes left : 1491085
1800.04/1800.05 c max depth : 1912
1800.04/1800.05 c max depth (total): 1912
1800.04/1800.05 c backtracks : 315418 (12.5%)
1800.04/1800.05 c delayed cutoffs : 264437
1800.04/1800.05 c repropagations : 1266288 (17623983 domain reductions, 223646 cutoffs)
1800.04/1800.05 c avg switch length: 26.55
1800.04/1800.05 c switching time : 472.34
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 33 (33 improvements)
1800.04/1800.05 c First Solution : +6.26000000000000e+02 (in run 1, after 5034 nodes, 1.35 seconds, depth 560, found by <relaxation>)
1800.04/1800.05 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1772848 nodes, 1118.35 seconds, depth 644, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 0
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693588-1277912156/watcher-2693588-1277912156 -o /tmp/evaluation-result-2693588-1277912156/solver-2693588-1277912156 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693588-1277912156.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.07 2.20 2.43 3/178 13417 /proc/meminfo: memFree=31686384/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=8600 CPUtime=0 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 1643 0 0 0 0 0 0 0 21 0 1 0 132512232 8806400 1566 4089446400 4194304 7136930 140735606541680 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13417/statm: 2150 1566 275 719 0 1429 0 [startup+0.0640891 s] /proc/loadavg: 2.07 2.20 2.43 3/178 13417 /proc/meminfo: memFree=31686384/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=27696 CPUtime=0.06 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 7074 0 0 0 5 1 0 0 21 0 1 0 132512232 28360704 6129 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13417/statm: 6924 6129 348 719 0 6203 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 27696 [startup+0.101081 s] /proc/loadavg: 2.07 2.20 2.43 3/178 13417 /proc/meminfo: memFree=31686384/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=28724 CPUtime=0.09 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 7853 0 0 0 8 1 0 0 21 0 1 0 132512232 29413376 6395 4089446400 4194304 7136930 140735606541680 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13417/statm: 7181 6401 354 719 0 6460 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28724 [startup+0.301047 s] /proc/loadavg: 2.07 2.20 2.43 3/178 13417 /proc/meminfo: memFree=31686384/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=29604 CPUtime=0.29 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 10160 0 0 0 26 3 0 0 21 0 1 0 132512232 30314496 6645 4089446400 4194304 7136930 140735606541680 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13417/statm: 7401 6645 391 719 0 6680 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29604 [startup+0.700976 s] /proc/loadavg: 2.07 2.20 2.43 3/178 13417 /proc/meminfo: memFree=31686384/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=31688 CPUtime=0.69 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 10690 0 0 0 64 5 0 0 22 0 1 0 132512232 32448512 7175 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13417/statm: 7922 7175 395 719 0 7201 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31688 [startup+1.50084 s] /proc/loadavg: 2.07 2.20 2.43 3/179 13418 /proc/meminfo: memFree=31657856/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=34140 CPUtime=1.49 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 11335 0 0 0 137 12 0 0 25 0 1 0 132512232 34959360 7820 4089446400 4194304 7136930 140735606541680 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 8535 7820 395 719 0 7814 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34140 [startup+3.10055 s] /proc/loadavg: 2.07 2.20 2.43 3/179 13418 /proc/meminfo: memFree=31653764/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=40696 CPUtime=3.09 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 12980 0 0 0 285 24 0 0 25 0 1 0 132512232 41672704 9465 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 10174 9465 396 719 0 9453 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40696 [startup+6.30099 s] /proc/loadavg: 2.06 2.20 2.43 3/179 13418 /proc/meminfo: memFree=31640912/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=53552 CPUtime=6.29 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 16176 0 0 0 575 54 0 0 25 0 1 0 132512232 54837248 12661 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 13388 12661 396 719 0 12667 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53552 [startup+12.7009 s] /proc/loadavg: 2.06 2.20 2.43 3/179 13418 /proc/meminfo: memFree=31621380/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=71576 CPUtime=12.69 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 20657 0 0 0 1171 98 0 0 25 0 1 0 132512232 73293824 17142 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 17894 17142 396 719 0 17173 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71576 [startup+25.5006 s] /proc/loadavg: 2.04 2.18 2.42 3/179 13418 /proc/meminfo: memFree=31580280/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=112576 CPUtime=25.49 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 30691 0 0 0 2345 204 0 0 25 0 1 0 132512232 115277824 27176 4089446400 4194304 7136930 140735606541680 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 28144 27176 398 719 0 27423 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 112576 [startup+51.1011 s] /proc/loadavg: 2.03 2.17 2.41 3/179 13419 /proc/meminfo: memFree=31528528/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=166112 CPUtime=51.09 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 43673 0 0 0 4731 378 0 0 25 0 1 0 132512232 170098688 40158 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 41528 40158 398 719 0 40807 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 166112 [startup+102.306 s] /proc/loadavg: 2.01 2.14 2.38 3/179 13420 /proc/meminfo: memFree=31430040/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=267752 CPUtime=102.29 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 67659 0 0 0 9552 677 0 0 25 0 1 0 132512232 274178048 64144 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 66938 64144 398 719 0 66217 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 267752 [startup+162.3 s] /proc/loadavg: 2.00 2.11 2.36 3/179 13422 /proc/meminfo: memFree=31280444/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=431284 CPUtime=162.29 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 104833 0 0 0 15135 1094 0 0 25 0 1 0 132512232 441634816 101318 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 107821 101318 398 719 0 107100 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 431284 [startup+222.301 s] /proc/loadavg: 2.00 2.09 2.33 3/179 13424 /proc/meminfo: memFree=31170640/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=542376 CPUtime=222.29 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 132332 0 0 0 20745 1484 0 0 25 0 1 0 132512232 555393024 128817 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 135594 128817 398 719 0 134873 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 542376 [startup+282.3 s] /proc/loadavg: 2.00 2.07 2.31 3/179 13425 /proc/meminfo: memFree=31071864/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=639848 CPUtime=282.3 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 156748 0 0 0 26391 1839 0 0 25 0 1 0 132512232 655204352 153233 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 159962 153233 398 719 0 159241 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 639848 [startup+342.301 s] /proc/loadavg: 2.00 2.05 2.29 3/179 13426 /proc/meminfo: memFree=31017124/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=697516 CPUtime=342.3 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 170832 0 0 0 32155 2075 0 0 25 0 1 0 132512232 714256384 167317 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 174379 167317 398 719 0 173658 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 697516 [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.27 3/179 13428 /proc/meminfo: memFree=30974064/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=739300 CPUtime=402.3 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 181194 0 0 0 37957 2273 0 0 25 0 1 0 132512232 757043200 177679 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 184825 177679 398 719 0 184104 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 739300 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.25 3/179 13430 /proc/meminfo: memFree=30949592/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=763276 CPUtime=462.3 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 187137 0 0 0 43786 2444 0 0 25 0 1 0 132512232 781594624 183622 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 190819 183622 398 719 0 190098 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 763276 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.23 3/179 13432 /proc/meminfo: memFree=30840424/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=897756 CPUtime=522.3 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 215350 0 0 0 49448 2782 0 0 25 0 1 0 132512232 919302144 211835 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 224439 211835 398 719 0 223718 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 897756 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.21 3/179 13433 /proc/meminfo: memFree=30665384/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=1079508 CPUtime=582.3 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 258161 0 0 0 55084 3146 0 0 25 0 1 0 132512232 1105416192 254646 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 269877 254646 398 719 0 269156 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1079508 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.19 3/179 13434 /proc/meminfo: memFree=30518276/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=1235652 CPUtime=642.31 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 294460 0 0 0 60784 3447 0 0 25 0 1 0 132512232 1265307648 290945 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 308913 290945 398 719 0 308192 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1235652 [startup+702.3 s] ################ # More data... # ################ /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 453825 0 0 0 94817 5414 0 0 25 0 1 0 132512232 1953026048 450310 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 476813 450310 398 719 0 476092 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1907252 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.11 3/179 13446 /proc/meminfo: memFree=29783220/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=1999928 CPUtime=1062.31 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 476392 0 0 0 100476 5755 0 0 25 0 1 0 132512232 2047926272 472877 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 499982 472877 398 719 0 499261 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1999928 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.10 3/179 13448 /proc/meminfo: memFree=29691652/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2114696 CPUtime=1122.32 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 499898 0 0 0 106131 6101 0 0 25 0 1 0 132512232 2165448704 496383 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 528674 496383 398 719 0 527953 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2114696 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 13449 /proc/meminfo: memFree=29597852/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2213672 CPUtime=1182.32 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 523413 0 0 0 111796 6436 0 0 25 0 1 0 132512232 2266800128 519898 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 553418 519898 398 719 0 552697 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2213672 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 13450 /proc/meminfo: memFree=29567288/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2239004 CPUtime=1242.32 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 529850 0 0 0 117490 6742 0 0 25 0 1 0 132512232 2292740096 526335 4089446400 4194304 7136930 140735606541680 18446744073709551615 4661065 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 559751 526335 398 719 0 559030 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2239004 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 13452 /proc/meminfo: memFree=29501392/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2303624 CPUtime=1302.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 546241 0 0 0 123184 7049 0 0 25 0 1 0 132512232 2358910976 542726 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 575906 542726 398 719 0 575185 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2303624 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 13454 /proc/meminfo: memFree=29436124/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2366328 CPUtime=1362.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 562330 0 0 0 128872 7361 0 0 25 0 1 0 132512232 2423119872 558815 4089446400 4194304 7136930 140735606541680 18446744073709551615 4408919 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 591582 558815 398 719 0 590861 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2366328 [startup+1422.31 s] /proc/loadavg: 1.90 1.97 2.05 3/179 13505 /proc/meminfo: memFree=29303752/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2426012 CPUtime=1422.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 577461 0 0 0 134582 7651 0 0 25 0 1 0 132512232 2484236288 573946 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 606503 573946 398 719 0 605782 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2426012 [startup+1482.3 s] /proc/loadavg: 1.96 1.97 2.05 3/179 13533 /proc/meminfo: memFree=29095088/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2487120 CPUtime=1482.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 592702 0 0 0 140324 7909 0 0 25 0 1 0 132512232 2546810880 589187 4089446400 4194304 7136930 140735606541680 18446744073709551615 4210071 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 621780 589187 398 719 0 621059 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2487120 [startup+1542.3 s] /proc/loadavg: 1.98 1.97 2.04 3/179 13543 /proc/meminfo: memFree=29017364/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2529940 CPUtime=1542.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 603632 0 0 0 146057 8176 0 0 25 0 1 0 132512232 2590658560 600117 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 632485 600117 398 719 0 631764 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2529940 [startup+1602.3 s] /proc/loadavg: 1.99 1.97 2.04 3/179 13545 /proc/meminfo: memFree=28967224/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2575320 CPUtime=1602.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 615048 0 0 0 151794 8439 0 0 25 0 1 0 132512232 2637127680 611533 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 643830 611533 398 719 0 643109 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2575320 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 2.03 3/179 13547 /proc/meminfo: memFree=28911500/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2625960 CPUtime=1662.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 627812 0 0 0 157514 8719 0 0 25 0 1 0 132512232 2688983040 624297 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 656490 624297 398 719 0 655769 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2625960 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 2.02 3/179 13549 /proc/meminfo: memFree=28872896/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2661976 CPUtime=1722.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 636995 0 0 0 163282 8951 0 0 25 0 1 0 132512232 2725863424 633480 4089446400 4194304 7136930 140735606541680 18446744073709551615 4677677 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 665494 633480 398 719 0 664773 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2661976 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 2.02 3/179 13550 /proc/meminfo: memFree=28816524/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2714100 CPUtime=1782.33 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 650205 0 0 0 168997 9236 0 0 25 0 1 0 132512232 2779238400 646690 4089446400 4194304 7136930 140735606541680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 678525 646690 398 719 0 677804 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2714100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.97 2.02 3/179 13551 /proc/meminfo: memFree=28805848/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2722776 CPUtime=1800.04 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 652413 0 0 0 170703 9301 0 0 25 0 1 0 132512232 2788122624 648898 4089446400 4194304 7136930 140735606541680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13417/statm: 680694 648898 398 719 0 679973 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2722776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13417 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.99 1.97 2.02 3/180 13552 /proc/meminfo: memFree=28805840/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2722776 CPUtime=1801.44 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 652429 0 0 0 170843 9301 0 0 25 0 1 0 132512232 2788122624 648914 4089446400 4194304 7136930 140735606541680 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13417/statm: 680694 648914 403 719 0 679973 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2722776 [startup+1801.81 s] /proc/loadavg: 1.99 1.97 2.02 3/180 13552 /proc/meminfo: memFree=28805840/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2720436 CPUtime=1801.84 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 652429 0 0 0 170883 9301 0 0 25 0 1 0 132512232 2785726464 648704 4089446400 4194304 7136930 140735606541680 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13417/statm: 680109 648704 403 719 0 679388 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2720436 [startup+1802 s] /proc/loadavg: 1.99 1.97 2.02 3/180 13552 /proc/meminfo: memFree=28805840/32950928 swapFree=67111528/67111528 [pid=13417] ppid=13415 vsize=2719988 CPUtime=1802.04 /proc/13417/stat : 13417 (pbscip.linux.x8) R 13415 13417 13319 0 -1 4202496 652429 0 0 0 170903 9301 0 0 25 0 1 0 132512232 2785267712 648592 4089446400 4194304 7136930 140735606541680 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13417/statm: 679997 648592 403 719 0 679276 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2719988 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.14 CPU user time (s): 1709.04 CPU system time (s): 93.0998 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2722776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.04 system time used= 93.0998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 652429 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= 1352 runsolver used 2.84357 second user time and 6.02408 second system time The end
Begin job on node125 at 2010-06-30 17:35:56 IDJOB=2693588 IDBENCH=78994 IDSOLVER=1206 FILE ID=node125/2693588-1277912156 PBS_JOBID= 11197278 Free space on /tmp= 74200 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.1900552735--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-2693588-1277912156/watcher-2693588-1277912156 -o /tmp/evaluation-result-2693588-1277912156/solver-2693588-1277912156 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693588-1277912156.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d8302a34385139d2b71dca1f77dee50d RANDOM SEED=770029339 node125.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.822 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.64 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.822 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 : 5226.07 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.822 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.822 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.77 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.822 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.75 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.822 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.74 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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31687160 kB Buffers: 196536 kB Cached: 798664 kB SwapCached: 0 kB Active: 564064 kB Inactive: 557184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31687160 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 126384 kB Mapped: 17668 kB Slab: 77944 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 274932 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= 74196 MiB End job on node125 at 2010-06-30 18:05:58