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.12 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo |
| MD5SUM | 0424fd5691d718147f8291be7b6f72f2 |
| 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 | 7 |
| Best CPU time to get the best result obtained on this benchmark | 425.105 |
| 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 | 892 |
| 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 | 45060 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45059 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 711 |
| 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-2693575-1277911430.wbo>
0.00/0.02 c original problem has 2015 variables (1123 bin, 0 int, 0 impl, 892 cont) and 3600 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.00/0.07 c (round 2) 0 del vars, 107 del conss, 892 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.07/0.09 c (round 3) 48 del vars, 233 del conss, 913 chg bounds, 126 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.07/0.09 c (round 4) 117 del vars, 255 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.09/0.11 c (round 5) 139 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.12 c (round 6) 140 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.16 c (0.1s) probing: 101/1053 (9.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 140 deleted vars, 256 deleted constraints, 914 tightened bounds, 0 added holes, 127 changed sides, 0 changed coefficients
0.09/0.16 c 1100 implications, 13 cliques
0.09/0.16 c presolved problem has 1875 variables (1053 bin, 0 int, 0 impl, 822 cont) and 3344 constraints
0.09/0.16 c 822 constraints of type <indicator>
0.09/0.16 c 13 constraints of type <setppc>
0.09/0.16 c 822 constraints of type <linear>
0.09/0.16 c 1687 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7400k| 0 | - |1875 |3344 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.01 o 550
0.99/1.01 c * 0.9s| 3858 | 3369 | 0 | 0.0 |9858k|1008 | - |1875 |3887 | 0 | 0 | 0 | 834 | 0 | 0.000000e+00 | 5.500000e+02 | Inf
0.99/1.07 o 287
0.99/1.07 c * 1.0s| 4125 | 3627 | 0 | 0.0 |9997k|1008 | - |1875 |3883 | 0 | 0 | 0 | 838 | 0 | 0.000000e+00 | 2.870000e+02 | Inf
0.99/1.07 o 263
0.99/1.07 c * 1.0s| 4126 | 3624 | 0 | 0.0 | 10M|1008 | - |1875 |3883 | 0 | 0 | 0 | 838 | 0 | 0.000000e+00 | 2.630000e+02 | Inf
0.99/1.10 o 222
0.99/1.10 c * 1.0s| 4223 | 3717 | 0 | 0.0 | 10M|1008 | - |1875 |3880 | 0 | 0 | 0 | 844 | 0 | 0.000000e+00 | 2.220000e+02 | Inf
2.39/2.45 c 2.3s| 10000 | 8641 | 0 | 0.0 | 13M|1008 | - |1875 |4345 | 0 | 0 | 0 |2959 | 0 | 0.000000e+00 | 2.220000e+02 | Inf
4.99/5.05 c 4.9s| 20000 | 16610 | 0 | 0.0 | 20M|1008 | - |1875 |4960 | 0 | 0 | 0 |7997 | 0 | 0.000000e+00 | 2.220000e+02 | Inf
6.99/7.02 o 217
6.99/7.02 c * 6.8s| 26214 | 20127 | 0 | 0.0 | 24M|1008 | - |1875 |5681 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
7.39/7.40 o 209
7.39/7.40 c * 7.1s| 27405 | 21247 | 0 | 0.0 | 25M|1008 | - |1875 |5254 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.090000e+02 | Inf
7.59/7.66 o 163
7.59/7.66 c * 7.4s| 28259 | 22030 | 0 | 0.0 | 25M|1008 | - |1875 |4966 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
7.70/7.71 o 156
7.70/7.71 c * 7.5s| 28434 | 22174 | 0 | 0.0 | 26M|1008 | - |1875 |4892 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
7.70/7.72 o 146
7.70/7.72 c * 7.5s| 28439 | 22140 | 0 | 0.0 | 25M|1008 | - |1875 |4892 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
7.70/7.72 o 127
7.70/7.72 c * 7.5s| 28440 | 22056 | 0 | 0.0 | 25M|1008 | - |1875 |4892 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
7.79/7.81 o 107
7.79/7.81 c * 7.5s| 28726 | 22281 | 0 | 0.0 | 25M|1008 | - |1875 |4816 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
8.09/8.18 c 7.9s| 30000 | 23455 | 0 | 0.0 | 27M|1008 | - |1875 |4574 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
9.19/9.26 o 90
9.19/9.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.26 c * 8.9s| 33813 | 26523 | 0 | 0.0 | 30M|1008 | - |1875 |4931 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
11.00/11.02 c 10.6s| 40000 | 31460 | 0 | 0.0 | 34M|1008 | - |1875 |5330 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
13.79/13.90 c 13.4s| 50000 | 39178 | 0 | 0.0 | 40M|1008 | - |1875 |5654 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
16.89/16.91 c 16.3s| 60000 | 46675 | 0 | 0.0 | 47M|1008 | - |1875 |5740 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
20.09/20.12 c 19.4s| 70000 | 53858 | 0 | 0.0 | 54M|1008 | - |1875 |5636 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
23.29/23.30 c 22.6s| 80000 | 61011 | 0 | 0.0 | 60M|1008 | - |1875 |5737 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
26.49/26.54 c 25.7s| 90000 | 68099 | 0 | 0.0 | 67M|1008 | - |1875 |5977 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
29.79/29.86 c 28.9s|100000 | 74940 | 0 | 0.0 | 73M|1008 | - |1875 |5788 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
33.50/33.53 c 32.5s|110000 | 80913 | 0 | 0.0 | 80M|1008 | - |1875 |6550 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
37.49/37.53 c 36.4s|120000 | 86151 | 0 | 0.0 | 87M|1008 | - |1875 |7091 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
41.99/42.01 c 40.8s|130000 | 90307 | 0 | 0.0 | 94M|1008 | - |1875 |7390 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
46.99/47.03 c 45.7s|140000 | 93293 | 0 | 0.0 | 101M|1008 | - |1875 |8143 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
51.60/51.69 o 50
51.60/51.69 c *50.3s|147593 | 92387 | 0 | 0.0 | 102M|1008 | - |1875 | 10k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
52.39/52.44 c 51.0s|150000 | 94567 | 0 | 0.0 | 103M|1008 | - |1875 |6287 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
55.59/55.67 c 54.1s|160000 |102980 | 0 | 0.0 | 110M|1008 | - |1875 |4960 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
59.29/59.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.29/59.35 c 57.7s|170000 |110485 | 0 | 0.0 | 118M|1008 | - |1875 |4306 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
60.99/61.09 o 42
60.99/61.09 c *59.4s|175158 |114206 | 0 | 0.0 | 121M|1008 | - |1875 |4765 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
62.89/62.96 c 61.2s|180000 |117506 | 0 | 0.0 | 126M|1008 | - |1875 |6542 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
65.90/65.91 c 64.0s|190000 |125726 | 0 | 0.0 | 132M|1008 | - |1875 |5300 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
69.40/69.49 c 67.5s|200000 |132673 | 0 | 0.0 | 138M|1008 | - |1875 |4829 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
72.29/72.34 c 70.2s|210000 |141031 | 0 | 0.0 | 144M|1008 | - |1875 |4967 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
75.60/75.69 c 73.5s|220000 |148482 | 0 | 0.0 | 152M|1008 | - |1875 |6030 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
80.09/80.16 c 77.8s|230000 |153945 | 0 | 0.0 | 159M|1008 | - |1875 |7144 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
83.20/83.28 c 80.8s|240000 |161763 | 0 | 0.0 | 164M|1008 | - |1875 |5548 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
87.29/87.35 c 84.8s|250000 |167624 | 0 | 0.0 | 170M|1008 | - |1875 |5202 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
90.20/90.26 c 87.6s|260000 |175387 | 0 | 0.0 | 176M|1008 | - |1875 |6088 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
93.69/93.78 c 91.0s|270000 |182638 | 0 | 0.0 | 182M|1008 | - |1875 |4242 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
96.99/97.02 c 94.1s|280000 |190097 | 0 | 0.0 | 189M|1008 | - |1875 |4851 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
101.10/101.20 c 98.2s|290000 |195991 | 0 | 0.0 | 196M|1008 | - |1875 |5106 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
105.40/105.46 c 102s|300000 |201706 | 0 | 0.0 | 203M|1008 | - |1875 |5402 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
109.70/109.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.70/109.75 c 107s|310000 |207344 | 0 | 0.0 | 210M|1008 | - |1875 |5703 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
114.10/114.14 c 111s|320000 |212846 | 0 | 0.0 | 217M|1008 | - |1875 |5410 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
118.60/118.66 c 115s|330000 |218019 | 0 | 0.0 | 224M|1008 | - |1875 |5776 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
123.20/123.23 c 120s|340000 |223086 | 0 | 0.0 | 231M|1008 | - |1875 |6174 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
127.90/127.97 c 124s|350000 |227926 | 0 | 0.0 | 238M|1008 | - |1875 |6257 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
132.79/132.80 c 129s|360000 |232637 | 0 | 0.0 | 245M|1008 | - |1875 |6240 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
137.69/137.71 c 134s|370000 |237108 | 0 | 0.0 | 252M|1008 | - |1875 |6131 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
142.60/142.63 c 139s|380000 |241576 | 0 | 0.0 | 259M|1008 | - |1875 |6442 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
147.70/147.76 c 144s|390000 |245775 | 0 | 0.0 | 265M|1008 | - |1875 |6051 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
152.79/152.81 c 148s|400000 |250024 | 0 | 0.0 | 272M|1008 | - |1875 |5602 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
157.89/157.94 c 153s|410000 |254165 | 0 | 0.0 | 279M|1008 | - |1875 |5357 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
163.09/163.10 c 158s|420000 |258141 | 0 | 0.0 | 285M|1008 | - |1875 |5442 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
168.09/168.16 c 163s|430000 |262117 | 0 | 0.0 | 292M|1008 | - |1875 |5625 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
173.29/173.39 c 168s|440000 |265906 | 0 | 0.0 | 298M|1008 | - |1875 |5649 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
178.59/178.64 c 173s|450000 |269683 | 0 | 0.0 | 304M|1008 | - |1875 |6025 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
183.70/183.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.70/183.78 c 178s|460000 |273661 | 0 | 0.0 | 311M|1008 | - |1875 |5866 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
188.79/188.89 c 182s|470000 |277748 | 0 | 0.0 | 317M|1008 | - |1875 |5564 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
194.19/194.25 c 187s|480000 |281386 | 0 | 0.0 | 324M|1008 | - |1875 |5623 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
199.59/199.64 c 193s|490000 |284999 | 0 | 0.0 | 330M|1008 | - |1875 |5781 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
205.09/205.19 c 198s|500000 |288386 | 0 | 0.0 | 336M|1008 | - |1875 |5866 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
211.00/211.09 c 203s|510000 |291115 | 0 | 0.0 | 342M|1008 | - |1875 |6366 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
216.99/217.07 c 209s|520000 |293894 | 0 | 0.0 | 348M|1008 | - |1875 |7093 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
223.20/223.24 c 215s|530000 |296551 | 0 | 0.0 | 354M|1008 | - |1875 |7266 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
229.69/229.78 c 221s|540000 |298662 | 0 | 0.0 | 360M|1008 | - |1875 |8003 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
236.50/236.55 c 228s|550000 |300624 | 0 | 0.0 | 365M|1008 | - |1875 |8354 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
243.39/243.42 c 234s|560000 |302581 | 0 | 0.0 | 370M|1008 | - |1875 |9186 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
251.09/251.19 c 242s|570000 |303507 | 0 | 0.0 | 375M|1008 | - |1875 |9825 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
259.79/259.81 c 250s|580000 |303583 | 0 | 0.0 | 379M|1008 | - |1875 | 10k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
269.29/269.34 c 259s|590000 |303771 | 0 | 0.0 | 378M|1008 | - |1875 |5792 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
272.70/272.78 c 262s|600000 |312011 | 0 | 0.0 | 385M|1008 | - |1875 |4445 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
276.30/276.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.30/276.35 c 265s|610000 |319999 | 0 | 0.0 | 392M|1008 | - |1875 |4661 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
279.79/279.89 c 268s|620000 |327887 | 0 | 0.0 | 400M|1008 | - |1875 |5124 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
283.49/283.52 c 272s|630000 |335667 | 0 | 0.0 | 408M|1008 | - |1875 |5739 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
287.20/287.23 c 275s|640000 |343402 | 0 | 0.0 | 416M|1008 | - |1875 |5967 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
289.69/289.73 o 41
289.69/289.73 c * 277s|646691 |348448 | 0 | 0.0 | 421M|1008 | - |1875 |6409 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
290.99/291.07 c 278s|650000 |350907 | 0 | 0.0 | 424M|1008 | - |1875 |6391 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
294.81/294.90 c 282s|660000 |358483 | 0 | 0.0 | 432M|1008 | - |1875 |6909 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
298.89/298.96 c 286s|670000 |365679 | 0 | 0.0 | 441M|1008 | - |1875 |7193 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
303.10/303.10 c 289s|680000 |372718 | 0 | 0.0 | 449M|1008 | - |1875 |6248 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
307.30/307.37 c 293s|690000 |379433 | 0 | 0.0 | 457M|1008 | - |1875 |6908 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
311.90/311.93 c 297s|700000 |385857 | 0 | 0.0 | 466M|1008 | - |1875 |7694 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
316.81/316.82 c 302s|710000 |391760 | 0 | 0.0 | 475M|1008 | - |1875 |8494 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
322.30/322.34 c 307s|720000 |396857 | 0 | 0.0 | 483M|1008 | - |1875 |8732 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
325.00/325.00 o 39
325.00/325.00 c * 310s|723897 |398115 | 0 | 0.0 | 485M|1008 | - |1875 |9408 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
328.81/328.83 c 313s|730000 |400863 | 0 | 0.0 | 488M|1008 | - |1875 |6062 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
332.59/332.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.59/332.62 c 317s|740000 |408170 | 0 | 0.0 | 494M|1008 | - |1875 |5225 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
335.90/335.99 c 320s|750000 |416033 | 0 | 0.0 | 501M|1008 | - |1875 |5756 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
339.40/339.46 c 323s|760000 |423805 | 0 | 0.0 | 508M|1008 | - |1875 |6297 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
343.10/343.12 c 326s|770000 |431312 | 0 | 0.0 | 516M|1008 | - |1875 |6834 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
346.90/346.99 c 330s|780000 |438575 | 0 | 0.0 | 523M|1008 | - |1875 |6596 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
350.99/351.06 c 333s|790000 |445516 | 0 | 0.0 | 531M|1008 | - |1875 |8047 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
355.31/355.39 c 337s|800000 |452191 | 0 | 0.0 | 539M|1008 | - |1875 |8892 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
360.20/360.26 c 342s|810000 |458422 | 0 | 0.0 | 548M|1008 | - |1875 |9381 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
365.60/365.60 c 347s|820000 |464148 | 0 | 0.0 | 556M|1008 | - |1875 | 10k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
369.90/369.98 o 35
369.90/369.98 c * 351s|827457 |467045 | 0 | 0.0 | 556M|1008 | - |1875 | 10k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
371.90/371.95 c 353s|830000 |467960 | 0 | 0.0 | 559M|1008 | - |1875 | 11k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
377.70/377.71 c 358s|840000 |473272 | 0 | 0.0 | 563M|1008 | - |1875 |5836 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
378.50/378.58 o 34
378.50/378.58 c * 359s|842861 |475470 | 0 | 0.0 | 564M|1008 | - |1875 |5582 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
380.70/380.74 c 361s|850000 |481263 | 0 | 0.0 | 569M|1008 | - |1875 |5689 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
381.10/381.11 o 29
381.10/381.11 c * 361s|851197 |480203 | 0 | 0.0 | 560M|1008 | - |1875 |5821 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
383.90/383.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.90/383.93 c 364s|860000 |487167 | 0 | 0.0 | 567M|1008 | - |1875 |6344 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
387.30/387.33 c 367s|870000 |494765 | 0 | 0.0 | 574M|1008 | - |1875 |6830 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
390.80/390.84 c 370s|880000 |502190 | 0 | 0.0 | 581M|1008 | - |1875 |7429 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
394.60/394.65 c 373s|890000 |509183 | 0 | 0.0 | 588M|1008 | - |1875 |8080 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
398.60/398.63 c 377s|900000 |516037 | 0 | 0.0 | 594M|1008 | - |1875 |7850 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
402.71/402.76 c 381s|910000 |522649 | 0 | 0.0 | 601M|1008 | - |1875 |8689 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
407.50/407.52 c 385s|920000 |528517 | 0 | 0.0 | 608M|1008 | - |1875 |9962 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
412.60/412.62 c 390s|930000 |534011 | 0 | 0.0 | 616M|1008 | - |1875 | 10k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
418.30/418.33 c 395s|940000 |538716 | 0 | 0.0 | 622M|1008 | - |1875 | 11k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
425.91/425.99 c 402s|950000 |541773 | 0 | 0.0 | 626M|1008 | - |1875 |8086 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
429.00/429.02 c 405s|960000 |549951 | 0 | 0.0 | 631M|1008 | - |1875 |5962 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
432.00/432.00 c 408s|970000 |558082 | 0 | 0.0 | 637M|1008 | - |1875 |5842 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
434.90/434.96 c 411s|980000 |566161 | 0 | 0.0 | 644M|1008 | - |1875 |6125 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
438.01/438.08 c 413s|990000 |574121 | 0 | 0.0 | 650M|1008 | - |1875 |6165 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
441.11/441.13 c 416s| 1000k|582079 | 0 | 0.0 | 656M|1008 | - |1875 |6278 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
444.31/444.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.31/444.32 c 419s| 1010k|589826 | 0 | 0.0 | 663M|1008 | - |1875 |6451 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
447.61/447.63 c 422s| 1020k|597421 | 0 | 0.0 | 669M|1008 | - |1875 |6825 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
451.10/451.11 c 425s| 1030k|604794 | 0 | 0.0 | 676M|1008 | - |1875 |7265 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
454.80/454.89 c 429s| 1040k|611798 | 0 | 0.0 | 682M|1008 | - |1875 |7586 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
458.61/458.68 c 432s| 1050k|618796 | 0 | 0.0 | 689M|1008 | - |1875 |7951 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
462.50/462.58 c 436s| 1060k|625577 | 0 | 0.0 | 696M|1008 | - |1875 |8200 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
466.50/466.56 c 439s| 1070k|632356 | 0 | 0.0 | 703M|1008 | - |1875 |8439 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
471.10/471.15 c 443s| 1080k|638452 | 0 | 0.0 | 710M|1008 | - |1875 |8464 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
475.91/475.96 c 448s| 1090k|644305 | 0 | 0.0 | 716M|1008 | - |1875 |8840 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
480.71/480.76 c 452s| 1100k|650100 | 0 | 0.0 | 723M|1008 | - |1875 |9213 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
486.01/486.02 c 457s| 1110k|655393 | 0 | 0.0 | 730M|1008 | - |1875 |9866 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
491.61/491.64 c 462s| 1120k|660265 | 0 | 0.0 | 737M|1008 | - |1875 | 10k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
497.81/497.85 c 468s| 1130k|664561 | 0 | 0.0 | 743M|1008 | - |1875 | 11k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
504.60/504.65 c 475s| 1140k|668309 | 0 | 0.0 | 750M|1008 | - |1875 | 12k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
511.70/511.74 o 22
511.70/511.74 c * 481s| 1148k|663422 | 0 | 0.0 | 730M|1008 | - |1875 | 15k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
512.80/512.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.80/512.89 c 482s| 1150k|663550 | 0 | 0.0 | 731M|1008 | - |1875 | 15k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
513.61/513.69 o 15
513.61/513.69 c * 483s| 1150k|656865 | 0 | 0.0 | 709M|1008 | - |1875 | 15k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
521.41/521.44 c 491s| 1160k|660017 | 0 | 0.0 | 711M|1008 | - |1875 |7495 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
525.00/525.03 c 494s| 1170k|667496 | 0 | 0.0 | 717M|1008 | - |1875 |7373 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
528.91/528.94 c 497s| 1180k|674662 | 0 | 0.0 | 724M|1008 | - |1875 |7975 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
533.10/533.19 c 501s| 1190k|681312 | 0 | 0.0 | 731M|1008 | - |1875 |8523 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
537.71/537.80 c 505s| 1200k|687433 | 0 | 0.0 | 738M|1008 | - |1875 |8797 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
542.91/542.98 c 510s| 1210k|692863 | 0 | 0.0 | 745M|1008 | - |1875 |9307 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
548.60/548.68 c 516s| 1220k|697567 | 0 | 0.0 | 752M|1008 | - |1875 |9649 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
555.21/555.27 c 522s| 1230k|701185 | 0 | 0.0 | 759M|1008 | - |1875 | 10k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
563.01/563.09 c 529s| 1240k|703132 | 0 | 0.0 | 765M|1008 | - |1875 | 11k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
569.51/569.56 c 535s| 1250k|707117 | 0 | 0.0 | 767M|1008 | - |1875 |6250 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
572.61/572.66 c 538s| 1260k|714766 | 0 | 0.0 | 773M|1008 | - |1875 |6833 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
576.10/576.18 c 541s| 1270k|721843 | 0 | 0.0 | 779M|1008 | - |1875 |7375 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
580.20/580.21 c 545s| 1280k|728237 | 0 | 0.0 | 786M|1008 | - |1875 |8007 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
584.80/584.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.80/584.88 c 549s| 1290k|733927 | 0 | 0.0 | 793M|1008 | - |1875 |8664 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
590.11/590.10 c 554s| 1300k|738931 | 0 | 0.0 | 800M|1008 | - |1875 |9340 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
596.00/596.00 c 560s| 1310k|743059 | 0 | 0.0 | 807M|1008 | - |1875 |9848 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
603.41/603.45 c 567s| 1320k|745176 | 0 | 0.0 | 812M|1008 | - |1875 | 11k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
607.81/607.83 c 571s| 1330k|751666 | 0 | 0.0 | 815M|1008 | - |1875 |5161 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
612.11/612.18 c 575s| 1340k|757882 | 0 | 0.0 | 822M|1008 | - |1875 |5480 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
615.81/615.89 c 578s| 1350k|765003 | 0 | 0.0 | 829M|1008 | - |1875 |6387 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
619.51/619.58 c 581s| 1360k|772151 | 0 | 0.0 | 834M|1008 | - |1875 |5409 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
623.51/623.50 c 585s| 1370k|778779 | 0 | 0.0 | 840M|1008 | - |1875 |5594 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
627.21/627.29 c 588s| 1380k|785496 | 0 | 0.0 | 848M|1008 | - |1875 |8583 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
630.71/630.79 c 592s| 1390k|793027 | 0 | 0.0 | 854M|1008 | - |1875 |6675 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
634.62/634.62 c 595s| 1400k|799910 | 0 | 0.0 | 860M|1008 | - |1875 |7341 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
638.41/638.42 c 599s| 1410k|806778 | 0 | 0.0 | 865M|1008 | - |1875 |6412 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
642.20/642.23 c 602s| 1420k|813558 | 0 | 0.0 | 872M|1008 | - |1875 |6966 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
646.11/646.15 c 606s| 1430k|820094 | 0 | 0.0 | 879M|1008 | - |1875 |8844 | 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
649.61/649.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.61/649.65 c 609s| 1440k|827490 | 0 | 0.0 | 883M|1008 | - |1875 |5240 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
655.21/655.24 c 614s| 1450k|831553 | 0 | 0.0 | 890M|1008 | - |1875 |6708 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
662.01/662.10 c 621s| 1460k|834034 | 0 | 0.0 | 897M|1008 | - |1875 |7469 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
669.20/669.29 c 627s| 1470k|836412 | 0 | 0.0 | 903M|1008 | - |1875 |6134 | 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
676.81/676.84 c 634s| 1480k|837980 | 0 | 0.0 | 908M|1008 | - |1875 |7592 | 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
684.51/684.58 c 642s| 1490k|839644 | 0 | 0.0 | 913M|1008 | - |1875 |7999 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
692.41/692.49 c 649s| 1500k|841161 | 0 | 0.0 | 918M|1008 | - |1875 |7860 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
700.01/700.03 c 657s| 1510k|843654 | 0 | 0.0 | 924M|1008 | - |1875 |6402 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
708.11/708.14 c 664s| 1520k|845041 | 0 | 0.0 | 930M|1008 | - |1875 |9256 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
716.21/716.24 c 672s| 1530k|846465 | 0 | 0.0 | 934M|1008 | - |1875 |9080 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
724.21/724.28 c 680s| 1540k|847949 | 0 | 0.0 | 938M|1008 | - |1875 |7677 | 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
732.32/732.34 c 687s| 1550k|849752 | 0 | 0.0 | 944M|1008 | - |1875 |8261 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
740.92/740.97 c 696s| 1560k|850522 | 0 | 0.0 | 947M|1008 | - |1875 |9190 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
748.71/748.71 c 703s| 1570k|852421 | 0 | 0.0 | 952M|1008 | - |1875 |7530 | 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
757.31/757.32 c 711s| 1580k|853682 | 0 | 0.0 | 957M|1008 | - |1875 |8482 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
765.61/765.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.61/765.69 c 719s| 1590k|854596 | 0 | 0.0 | 961M|1008 | - |1875 |9269 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
773.51/773.51 c 727s| 1600k|856785 | 0 | 0.0 | 967M|1008 | - |1875 |7112 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
782.41/782.46 c 735s| 1610k|857126 | 0 | 0.0 | 970M|1008 | - |1875 |9024 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
789.92/789.97 c 742s| 1620k|859231 | 0 | 0.0 | 975M|1008 | - |1875 |7620 | 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
798.52/798.51 c 750s| 1630k|860054 | 0 | 0.0 | 979M|1008 | - |1875 |8807 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
806.71/806.74 c 758s| 1640k|861123 | 0 | 0.0 | 983M|1008 | - |1875 |8803 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
815.31/815.31 c 766s| 1650k|862443 | 0 | 0.0 | 988M|1008 | - |1875 |8487 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
824.42/824.40 c 775s| 1660k|862685 | 0 | 0.0 | 991M|1008 | - |1875 |9145 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
832.32/832.33 c 782s| 1670k|864652 | 0 | 0.0 | 997M|1008 | - |1875 |7433 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
841.72/841.77 c 792s| 1680k|864413 | 0 | 0.0 | 999M|1008 | - |1875 |8843 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
851.12/851.13 c 800s| 1690k|864298 | 0 | 0.0 |1002M|1008 | - |1875 |9200 | 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
860.22/860.26 c 809s| 1700k|864255 | 0 | 0.0 |1004M|1008 | - |1875 |8858 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
868.72/868.76 c 817s| 1710k|865074 | 0 | 0.0 |1007M|1008 | - |1875 |7446 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
877.91/877.95 c 826s| 1720k|865427 | 0 | 0.0 |1011M|1008 | - |1875 |6432 | 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
887.32/887.31 c 835s| 1730k|865005 | 0 | 0.0 |1015M|1008 | - |1875 |8690 | 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
896.43/896.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.43/896.48 c 844s| 1740k|864903 | 0 | 0.0 |1018M|1008 | - |1875 |9073 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
905.62/905.65 c 853s| 1750k|864936 | 0 | 0.0 |1021M|1008 | - |1875 |9433 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
914.92/914.90 c 862s| 1760k|865565 | 0 | 0.0 |1024M|1008 | - |1875 |8180 | 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
924.61/924.64 c 871s| 1770k|865699 | 0 | 0.0 |1028M|1008 | - |1875 |9003 | 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
934.52/934.50 c 880s| 1780k|865151 | 0 | 0.0 |1030M|1008 | - |1875 | 10k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
944.72/944.74 c 890s| 1790k|864688 | 0 | 0.0 |1032M|1008 | - |1875 | 11k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
955.12/955.17 c 900s| 1800k|864123 | 0 | 0.0 |1034M|1008 | - |1875 | 12k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
966.22/966.22 c 911s| 1810k|863352 | 0 | 0.0 |1036M|1008 | - |1875 | 13k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
977.93/977.93 c 922s| 1820k|862169 | 0 | 0.0 |1036M|1008 | - |1875 | 12k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
990.62/990.64 c 934s| 1830k|860149 | 0 | 0.0 |1036M|1008 | - |1875 | 13k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1003.32/1003.33 c 947s| 1840k|858840 | 0 | 0.0 |1036M|1008 | - |1875 | 14k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1017.03/1017.06 c 960s| 1850k|856685 | 0 | 0.0 |1035M|1008 | - |1875 | 15k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1032.93/1032.90 c 975s| 1860k|853768 | 0 | 0.0 |1033M|1008 | - |1875 | 17k| 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1051.92/1051.92 c 994s| 1870k|849343 | 0 | 0.0 |1031M|1008 | - |1875 | 20k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1065.63/1065.60 c 1007s| 1880k|850295 | 0 | 0.0 |1030M|1008 | - |1875 |8535 | 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1071.12/1071.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.12/1071.13 c 1012s| 1890k|856627 | 0 | 0.0 |1042M|1008 | - |1875 |7914 | 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1076.43/1076.46 c 1017s| 1900k|863041 | 0 | 0.0 |1053M|1008 | - |1875 |8118 | 0 | 0 | 0 |2022k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1081.23/1081.26 c 1022s| 1910k|869639 | 0 | 0.0 |1062M|1008 | - |1875 |8597 | 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1085.92/1085.99 c 1026s| 1920k|876149 | 0 | 0.0 |1068M|1008 | - |1875 |9378 | 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1090.93/1090.99 c 1031s| 1930k|882572 | 0 | 0.0 |1075M|1008 | - |1875 | 10k| 0 | 0 | 0 |2045k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1096.42/1096.44 c 1036s| 1940k|888660 | 0 | 0.0 |1081M|1008 | - |1875 | 10k| 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1102.73/1102.78 c 1042s| 1950k|894077 | 0 | 0.0 |1089M|1008 | - |1875 | 11k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1109.43/1109.44 c 1048s| 1960k|899371 | 0 | 0.0 |1097M|1008 | - |1875 | 12k| 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1116.33/1116.35 c 1054s| 1970k|904555 | 0 | 0.0 |1105M|1008 | - |1875 | 13k| 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1122.93/1122.97 c 1061s| 1980k|910013 | 0 | 0.0 |1112M|1008 | - |1875 | 14k| 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1130.32/1130.37 c 1068s| 1990k|915069 | 0 | 0.0 |1119M|1008 | - |1875 | 15k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1137.92/1137.96 c 1075s| 2000k|920159 | 0 | 0.0 |1126M|1008 | - |1875 | 15k| 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1145.52/1145.53 c 1082s| 2010k|925046 | 0 | 0.0 |1134M|1008 | - |1875 | 16k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1153.93/1153.94 c 1090s| 2020k|929448 | 0 | 0.0 |1141M|1008 | - |1875 | 16k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1161.93/1161.99 c 1098s| 2030k|934114 | 0 | 0.0 |1149M|1008 | - |1875 | 17k| 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1170.83/1170.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.83/1170.87 c 1106s| 2040k|938324 | 0 | 0.0 |1157M|1008 | - |1875 | 17k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1179.53/1179.51 c 1115s| 2050k|942592 | 0 | 0.0 |1164M|1008 | - |1875 | 17k| 0 | 0 | 0 |2165k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1188.42/1188.41 c 1123s| 2060k|946713 | 0 | 0.0 |1172M|1008 | - |1875 | 17k| 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1198.13/1198.18 c 1132s| 2070k|950310 | 0 | 0.0 |1179M|1008 | - |1875 | 18k| 0 | 0 | 0 |2189k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1207.12/1207.10 c 1141s| 2080k|954461 | 0 | 0.0 |1187M|1008 | - |1875 | 18k| 0 | 0 | 0 |2201k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1217.43/1217.41 c 1151s| 2090k|957754 | 0 | 0.0 |1194M|1008 | - |1875 | 18k| 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1226.22/1226.28 c 1159s| 2100k|961955 | 0 | 0.0 |1202M|1008 | - |1875 | 19k| 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1236.72/1236.77 c 1169s| 2110k|965116 | 0 | 0.0 |1209M|1008 | - |1875 | 18k| 0 | 0 | 0 |2238k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1247.03/1247.04 c 1179s| 2120k|968504 | 0 | 0.0 |1216M|1008 | - |1875 | 19k| 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1257.63/1257.61 c 1189s| 2130k|971725 | 0 | 0.0 |1223M|1008 | - |1875 | 20k| 0 | 0 | 0 |2264k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1269.53/1269.54 c 1201s| 2140k|974149 | 0 | 0.0 |1229M|1008 | - |1875 | 20k| 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1279.73/1279.71 c 1211s| 2150k|977841 | 0 | 0.0 |1237M|1008 | - |1875 | 20k| 0 | 0 | 0 |2290k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1292.34/1292.39 c 1223s| 2160k|979952 | 0 | 0.0 |1243M|1008 | - |1875 | 21k| 0 | 0 | 0 |2305k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1305.03/1305.08 c 1235s| 2170k|982127 | 0 | 0.0 |1249M|1008 | - |1875 | 22k| 0 | 0 | 0 |2321k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1316.93/1316.93 c 1247s| 2180k|984867 | 0 | 0.0 |1255M|1008 | - |1875 | 21k| 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1330.13/1330.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.13/1330.12 c 1260s| 2190k|986693 | 0 | 0.0 |1261M|1008 | - |1875 | 22k| 0 | 0 | 0 |2351k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1343.63/1343.69 c 1273s| 2200k|988281 | 0 | 0.0 |1267M|1008 | - |1875 | 23k| 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1357.54/1357.58 c 1286s| 2210k|989837 | 0 | 0.0 |1272M|1008 | - |1875 | 24k| 0 | 0 | 0 |2383k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1372.34/1372.39 c 1301s| 2220k|991216 | 0 | 0.0 |1277M|1008 | - |1875 | 24k| 0 | 0 | 0 |2400k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1388.04/1388.06 c 1316s| 2230k|992120 | 0 | 0.0 |1282M|1008 | - |1875 | 25k| 0 | 0 | 0 |2418k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1404.34/1404.39 c 1332s| 2240k|992746 | 0 | 0.0 |1286M|1008 | - |1875 | 26k| 0 | 0 | 0 |2436k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1423.93/1423.90 c 1351s| 2250k|991893 | 0 | 0.0 |1289M|1008 | - |1875 | 29k| 0 | 0 | 0 |2456k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1449.63/1449.65 c 1376s| 2260k|987687 | 0 | 0.0 |1290M|1008 | - |1875 | 32k| 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1470.24/1470.26 c 1396s| 2270k|987420 | 0 | 0.0 |1297M|1008 | - |1875 | 27k| 0 | 0 | 0 |2497k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1479.74/1479.73 c 1406s| 2280k|993460 | 0 | 0.0 |1315M|1008 | - |1875 | 21k| 0 | 0 | 0 |2503k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1486.23/1486.20 c 1412s| 2290k|999986 | 0 | 0.0 |1321M|1008 | - |1875 | 15k| 0 | 0 | 0 |2510k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1492.34/1492.38 c 1418s| 2300k| 1006k| 0 | 0.0 |1327M|1008 | - |1875 | 15k| 0 | 0 | 0 |2517k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1498.43/1498.42 c 1423s| 2310k| 1012k| 0 | 0.0 |1333M|1008 | - |1875 | 16k| 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1504.94/1504.93 c 1430s| 2320k| 1018k| 0 | 0.0 |1341M|1008 | - |1875 | 17k| 0 | 0 | 0 |2531k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1511.84/1511.81 c 1436s| 2330k| 1024k| 0 | 0.0 |1348M|1008 | - |1875 | 18k| 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1519.15/1519.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.15/1519.13 c 1443s| 2340k| 1030k| 0 | 0.0 |1355M|1008 | - |1875 | 19k| 0 | 0 | 0 |2547k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1526.64/1526.69 c 1450s| 2350k| 1036k| 0 | 0.0 |1361M|1008 | - |1875 | 20k| 0 | 0 | 0 |2555k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1534.45/1534.42 c 1458s| 2360k| 1041k| 0 | 0.0 |1369M|1008 | - |1875 | 20k| 0 | 0 | 0 |2564k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1541.84/1541.81 c 1465s| 2370k| 1047k| 0 | 0.0 |1376M|1008 | - |1875 | 20k| 0 | 0 | 0 |2572k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1550.34/1550.33 c 1473s| 2380k| 1052k| 0 | 0.0 |1383M|1008 | - |1875 | 21k| 0 | 0 | 0 |2582k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1558.84/1558.83 c 1481s| 2390k| 1057k| 0 | 0.0 |1390M|1008 | - |1875 | 22k| 0 | 0 | 0 |2591k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1565.94/1565.96 c 1488s| 2400k| 1064k| 0 | 0.0 |1397M|1008 | - |1875 | 22k| 0 | 0 | 0 |2599k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1573.94/1573.96 c 1496s| 2410k| 1069k| 0 | 0.0 |1403M|1008 | - |1875 | 22k| 0 | 0 | 0 |2607k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1581.75/1581.77 c 1503s| 2420k| 1075k| 0 | 0.0 |1410M|1008 | - |1875 | 23k| 0 | 0 | 0 |2615k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1589.64/1589.61 c 1511s| 2430k| 1081k| 0 | 0.0 |1416M|1008 | - |1875 | 22k| 0 | 0 | 0 |2623k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1598.14/1598.17 c 1519s| 2440k| 1086k| 0 | 0.0 |1422M|1008 | - |1875 | 23k| 0 | 0 | 0 |2632k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1606.24/1606.20 c 1527s| 2450k| 1092k| 0 | 0.0 |1429M|1008 | - |1875 | 23k| 0 | 0 | 0 |2640k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1615.24/1615.25 c 1536s| 2460k| 1097k| 0 | 0.0 |1435M|1008 | - |1875 | 24k| 0 | 0 | 0 |2649k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1623.84/1623.89 c 1544s| 2470k| 1103k| 0 | 0.0 |1442M|1008 | - |1875 | 24k| 0 | 0 | 0 |2658k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1634.04/1634.01 c 1554s| 2480k| 1107k| 0 | 0.0 |1449M|1008 | - |1875 | 25k| 0 | 0 | 0 |2668k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1642.75/1642.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.75/1642.77 c 1562s| 2490k| 1113k| 0 | 0.0 |1455M|1008 | - |1875 | 26k| 0 | 0 | 0 |2677k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1653.74/1653.73 c 1573s| 2500k| 1117k| 0 | 0.0 |1462M|1008 | - |1875 | 26k| 0 | 0 | 0 |2687k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1663.04/1663.01 c 1582s| 2510k| 1123k| 0 | 0.0 |1469M|1008 | - |1875 | 27k| 0 | 0 | 0 |2697k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1674.64/1674.69 c 1593s| 2520k| 1127k| 0 | 0.0 |1475M|1008 | - |1875 | 28k| 0 | 0 | 0 |2708k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1686.85/1686.87 c 1605s| 2530k| 1131k| 0 | 0.0 |1481M|1008 | - |1875 | 28k| 0 | 0 | 0 |2719k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1697.35/1697.38 c 1615s| 2540k| 1135k| 0 | 0.0 |1488M|1008 | - |1875 | 30k| 0 | 0 | 0 |2729k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1709.75/1709.72 c 1627s| 2550k| 1139k| 0 | 0.0 |1494M|1008 | - |1875 | 31k| 0 | 0 | 0 |2741k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1723.35/1723.35 c 1640s| 2560k| 1143k| 0 | 0.0 |1500M|1008 | - |1875 | 31k| 0 | 0 | 0 |2754k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1737.45/1737.40 c 1654s| 2570k| 1146k| 0 | 0.0 |1505M|1008 | - |1875 | 33k| 0 | 0 | 0 |2766k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1752.35/1752.32 c 1669s| 2580k| 1149k| 0 | 0.0 |1511M|1008 | - |1875 | 34k| 0 | 0 | 0 |2780k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1767.95/1767.94 c 1684s| 2590k| 1152k| 0 | 0.0 |1516M|1008 | - |1875 | 35k| 0 | 0 | 0 |2795k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1786.05/1786.02 c 1701s| 2600k| 1154k| 0 | 0.0 |1521M|1008 | - |1875 | 35k| 0 | 0 | 0 |2811k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1714.95
1800.06/1800.00 c Solving Nodes : 2607234
1800.06/1800.00 c Primal Bound : +1.50000000000000e+01 (21 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.01 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.01 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.06/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.06/1800.01 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.06/1800.01 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.06/1800.01 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.06/1800.01 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.06/1800.01 v -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1714.95
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2693575-1277911430.wbo
1800.06/1800.01 c Variables : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous)
1800.06/1800.01 c Constraints : 3600 initial, 3600 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2693575-1277911430.wbo
1800.06/1800.01 c Variables : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous)
1800.06/1800.01 c Constraints : 3344 initial, 37399 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.06/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.06 0 0 0 914 0 186 127 0
1800.06/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 465 - - 930 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 822 0 4682368 0 1412405 519 2471215 0 0 0
1800.06/1800.01 c setppc : 13 0 8019157 0 2084217 128115 5473591 0 0 0
1800.06/1800.01 c linear : 822 0 7894096 0 2084429 335181 37447841 0 0 0
1800.06/1800.01 c logicor : 1687+ 0 5741576 0 2084442 350631 16621832 0 0 0
1800.06/1800.01 c bounddisjunction : 0+ 0 85495 0 0 1 1176 0 0 0
1800.06/1800.01 c countsols : 0 0 0 0 2084438 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c indicator : 18.55 0.00 8.31 0.00 10.24
1800.06/1800.01 c setppc : 28.97 0.00 26.13 0.00 2.84
1800.06/1800.01 c linear : 192.86 0.00 191.98 0.00 0.88
1800.06/1800.01 c logicor : 577.49 0.00 481.39 0.00 96.10
1800.06/1800.01 c bounddisjunction : 0.10 0.00 0.10 0.00 0.00
1800.06/1800.01 c countsols : 0.07 0.00 0.00 0.00 0.07
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 0.34 2 0 0
1800.06/1800.01 c rootredcost : 0.23 0 0 0
1800.06/1800.01 c pseudoobj : 156.36 8026524 3904 2430653
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 41.27 817832 817787 4057095 22.5 258423 9.5 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.02 81 81 407 21.3 64 8.7 -
1800.06/1800.01 c applied globally : - - - 2824086 19.5 - - -
1800.06/1800.01 c applied locally : - - - 13 111.8 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.01 c redcost : 0.00 0 0 0 0 0
1800.06/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.01 c cmir : 0.00 0 0 0 0 0
1800.06/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.01 c clique : 0.00 0 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 40.34 2084417 0 0 0 0 4168834
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.08 - 21
1800.06/1800.01 c oneopt : 0.28 0 0
1800.06/1800.01 c trivial : 0.00 2 0
1800.06/1800.01 c simplerounding : 0.00 0 0
1800.06/1800.01 c zirounding : 0.00 0 0
1800.06/1800.01 c rounding : 0.00 0 0
1800.06/1800.01 c shifting : 0.00 0 0
1800.06/1800.01 c intshifting : 0.00 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c coefdiving : 0.00 0 0
1800.06/1800.01 c pscostdiving : 0.00 0 0
1800.06/1800.01 c fracdiving : 0.00 0 0
1800.06/1800.01 c veclendiving : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c objpscostdiving : 0.00 0 0
1800.06/1800.01 c rootsoldiving : 0.00 0 0
1800.06/1800.01 c linesearchdiving : 0.00 0 0
1800.06/1800.01 c guideddiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.00 0 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c crossover : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c nlp : 0.08 0 0
1800.06/1800.01 c trysol : 0.08 1 0
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.01 c (at root node) : - 0 0 0.00 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 2607234
1800.06/1800.01 c nodes (total) : 2607234
1800.06/1800.01 c nodes left : 1155370
1800.06/1800.01 c max depth : 1008
1800.06/1800.01 c max depth (total): 1008
1800.06/1800.01 c backtracks : 512159 (19.6%)
1800.06/1800.01 c delayed cutoffs : 386184
1800.06/1800.01 c repropagations : 1797757 (19135119 domain reductions, 295636 cutoffs)
1800.06/1800.01 c avg switch length: 24.16
1800.06/1800.01 c switching time : 547.31
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 21 (21 improvements)
1800.06/1800.01 c First Solution : +5.50000000000000e+02 (in run 1, after 3858 nodes, 0.94 seconds, depth 175, found by <relaxation>)
1800.06/1800.01 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1150738 nodes, 483.12 seconds, depth 537, found by <relaxation>)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Root Iterations : 0
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693575-1277911430/watcher-2693575-1277911430 -o /tmp/evaluation-result-2693575-1277911430/solver-2693575-1277911430 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693575-1277911430.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.00 2.00 2.00 4/196 3781 /proc/meminfo: memFree=31408548/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=8296 CPUtime=0 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 1556 0 0 0 0 0 0 0 25 0 1 0 132571323 8495104 1478 4089446400 4194304 7136930 140734899494336 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3781/statm: 2074 1478 275 719 0 1353 0 [startup+0.0846151 s] /proc/loadavg: 2.00 2.00 2.00 4/196 3781 /proc/meminfo: memFree=31408548/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=21032 CPUtime=0.07 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 5706 0 0 0 7 0 0 0 25 0 1 0 132571323 21536768 4503 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 5258 4503 354 719 0 4537 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 21032 [startup+0.10061 s] /proc/loadavg: 2.00 2.00 2.00 4/196 3781 /proc/meminfo: memFree=31408548/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=21032 CPUtime=0.09 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 6477 0 0 0 9 0 0 0 25 0 1 0 132571323 21536768 4503 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 5515 4509 354 719 0 4794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21032 [startup+0.300573 s] /proc/loadavg: 2.00 2.00 2.00 4/196 3781 /proc/meminfo: memFree=31408548/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=23888 CPUtime=0.29 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 9543 0 0 0 28 1 0 0 25 0 1 0 132571323 24461312 5256 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 5972 5256 391 719 0 5251 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23888 [startup+0.700527 s] /proc/loadavg: 2.00 2.00 2.00 4/196 3781 /proc/meminfo: memFree=31408548/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=25964 CPUtime=0.69 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 10070 0 0 0 66 3 0 0 25 0 1 0 132571323 26587136 5783 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 6491 5783 395 719 0 5770 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25964 [startup+1.50037 s] /proc/loadavg: 2.00 2.00 2.00 4/197 3782 /proc/meminfo: memFree=31385724/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=28172 CPUtime=1.49 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 10633 0 0 0 143 6 0 0 25 0 1 0 132571323 28848128 6346 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 7043 6346 395 719 0 6322 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28172 [startup+3.10108 s] /proc/loadavg: 2.00 2.00 2.00 4/197 3782 /proc/meminfo: memFree=31382004/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=33568 CPUtime=3.09 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 12000 0 0 0 297 12 0 0 25 0 1 0 132571323 34373632 7713 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 8392 7713 395 719 0 7671 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33568 [startup+6.30046 s] /proc/loadavg: 2.00 2.00 2.00 4/197 3782 /proc/meminfo: memFree=31372276/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=43332 CPUtime=6.29 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 14433 0 0 0 610 19 0 0 25 0 1 0 132571323 44371968 10146 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 10833 10146 395 719 0 10112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43332 [startup+12.7003 s] /proc/loadavg: 2.08 2.02 2.01 4/197 3782 /proc/meminfo: memFree=31350772/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=64168 CPUtime=12.69 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 19609 0 0 0 1227 42 0 0 25 0 1 0 132571323 65708032 15322 4089446400 4194304 7136930 140734899494336 18446744073709551615 4923023 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 16042 15322 398 719 0 15321 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64168 [startup+25.5008 s] /proc/loadavg: 2.06 2.02 2.00 3/197 3783 /proc/meminfo: memFree=31318812/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=96588 CPUtime=25.49 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 27299 0 0 0 2470 79 0 0 25 0 1 0 132571323 98906112 23012 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 24147 23012 398 719 0 23426 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 96588 [startup+51.1012 s] /proc/loadavg: 2.04 2.01 2.00 4/197 3783 /proc/meminfo: memFree=31267980/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=146708 CPUtime=51.1 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 39789 0 0 0 4971 139 0 0 25 0 1 0 132571323 150228992 35502 4089446400 4194304 7136930 140734899494336 18446744073709551615 4659997 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 36677 35502 398 719 0 35956 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 146708 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 4/197 3785 /proc/meminfo: memFree=31154208/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=264292 CPUtime=102.3 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 67990 0 0 0 9930 300 0 0 25 0 1 0 132571323 270635008 63703 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3781/statm: 66073 63703 398 719 0 65352 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 264292 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 3786 /proc/meminfo: memFree=31056060/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=362248 CPUtime=162.29 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 92592 0 0 0 15735 494 0 0 25 0 1 0 132571323 370941952 88305 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 90562 88305 398 719 0 89841 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 362248 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 3788 /proc/meminfo: memFree=30984192/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=433692 CPUtime=222.3 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 110535 0 0 0 21403 827 0 0 25 0 1 0 132571323 444100608 106248 4089446400 4194304 7136930 140734899494336 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 108423 106248 398 719 0 107702 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 433692 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 4/197 3790 /proc/meminfo: memFree=30924748/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=495108 CPUtime=282.3 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 125365 0 0 0 27055 1175 0 0 25 0 1 0 132571323 506990592 121078 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 123777 121078 398 719 0 123056 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 495108 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3791 /proc/meminfo: memFree=30800580/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=620048 CPUtime=342.3 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 154726 0 0 0 32534 1696 0 0 25 0 1 0 132571323 634929152 150439 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 155012 150439 398 719 0 154291 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 620048 [startup+402.301 s] /proc/loadavg: 2.08 2.02 2.01 3/197 3841 /proc/meminfo: memFree=30982784/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=733884 CPUtime=402.3 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 180251 0 0 0 38035 2195 0 0 25 0 1 0 132571323 751497216 175964 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 183471 175964 398 719 0 182750 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 733884 [startup+462.301 s] /proc/loadavg: 2.03 2.01 2.00 3/197 3842 /proc/meminfo: memFree=30880656/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=830996 CPUtime=462.3 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 204666 0 0 0 43538 2692 0 0 25 0 1 0 132571323 850939904 200379 4089446400 4194304 7136930 140734899494336 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 207749 200379 398 719 0 207028 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 830996 [startup+522.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 3844 /proc/meminfo: memFree=30819840/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=891452 CPUtime=522.31 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 219850 0 0 0 49131 3100 0 0 25 0 1 0 132571323 912846848 215563 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 222863 215563 398 719 0 222142 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 891452 [startup+582.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 3846 /proc/meminfo: memFree=30750192/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=958240 CPUtime=582.31 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 236732 0 0 0 54686 3545 0 0 25 0 1 0 132571323 981237760 232445 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 239560 232445 398 719 0 238839 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 958240 [startup+642.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 3847 /proc/meminfo: memFree=30668048/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1038780 CPUtime=642.32 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 257112 0 0 0 60213 4019 0 0 25 0 1 0 132571323 1063710720 252825 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 259695 252825 398 719 0 258974 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1038780 [startup+702.301 s] ################ # More data... # ################ /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 298782 0 0 0 94580 5653 0 0 25 0 1 0 132571323 1234223104 294495 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 301324 294495 398 719 0 300603 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1205296 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 3858 /proc/meminfo: memFree=30490884/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1211228 CPUtime=1062.33 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 300267 0 0 0 100394 5839 0 0 25 0 1 0 132571323 1240297472 295980 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 302807 295980 398 719 0 302086 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1211228 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 3860 /proc/meminfo: memFree=30426712/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1279584 CPUtime=1122.33 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 316340 0 0 0 106009 6224 0 0 25 0 1 0 132571323 1310294016 312053 4089446400 4194304 7136930 140734899494336 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 319896 312053 398 719 0 319175 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1279584 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3862 /proc/meminfo: memFree=30376016/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1330136 CPUtime=1182.33 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 328729 0 0 0 111728 6505 0 0 25 0 1 0 132571323 1362059264 324442 4089446400 4194304 7136930 140734899494336 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 332534 324442 398 719 0 331813 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1330136 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3863 /proc/meminfo: memFree=30325224/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1380332 CPUtime=1242.33 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 341275 0 0 0 117476 6757 0 0 25 0 1 0 132571323 1413459968 336988 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 345083 336988 398 719 0 344362 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1380332 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3865 /proc/meminfo: memFree=30288452/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1416604 CPUtime=1302.34 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 350338 0 0 0 123273 6961 0 0 25 0 1 0 132571323 1450602496 346051 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 354151 346051 398 719 0 353430 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1416604 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3866 /proc/meminfo: memFree=30269036/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1454272 CPUtime=1362.33 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 355703 0 0 0 129100 7133 0 0 25 0 1 0 132571323 1489174528 351416 4089446400 4194304 7136930 140734899494336 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 363568 351416 398 719 0 362847 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1454272 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3868 /proc/meminfo: memFree=30248364/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1473028 CPUtime=1422.34 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 360290 0 0 0 134955 7279 0 0 25 0 1 0 132571323 1508380672 356003 4089446400 4194304 7136930 140734899494336 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 368257 356003 398 719 0 367536 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1473028 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3870 /proc/meminfo: memFree=30213452/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1516856 CPUtime=1482.34 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 369471 0 0 0 140807 7427 0 0 25 0 1 0 132571323 1553260544 365184 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 379214 365184 398 719 0 378493 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1516856 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3871 /proc/meminfo: memFree=30159068/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1568512 CPUtime=1542.34 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 382463 0 0 0 146538 7696 0 0 25 0 1 0 132571323 1606156288 378176 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 392128 378176 398 719 0 391407 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1568512 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 3873 /proc/meminfo: memFree=30106288/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1622724 CPUtime=1602.34 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 396000 0 0 0 152303 7931 0 0 25 0 1 0 132571323 1661669376 391713 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 405681 391713 398 719 0 404960 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1622724 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 3874 /proc/meminfo: memFree=30063080/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1665016 CPUtime=1662.34 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 406339 0 0 0 158101 8133 0 0 25 0 1 0 132571323 1704976384 402052 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 416254 402052 398 719 0 415533 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1665016 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 3876 /proc/meminfo: memFree=30035088/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1692120 CPUtime=1722.35 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 413252 0 0 0 163936 8299 0 0 25 0 1 0 132571323 1732730880 408965 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 423030 408965 398 719 0 422309 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1692120 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 3906 /proc/meminfo: memFree=29923752/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1715268 CPUtime=1782.35 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 419038 0 0 0 169780 8455 0 0 25 0 1 0 132571323 1756434432 414751 4089446400 4194304 7136930 140734899494336 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 428817 414751 398 719 0 428096 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1715268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 3906 /proc/meminfo: memFree=29918208/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1718344 CPUtime=1800.06 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 419845 0 0 0 171497 8509 0 0 25 0 1 0 132571323 1759584256 415558 4089446400 4194304 7136930 140734899494336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/3781/statm: 429586 415558 398 719 0 428865 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1718344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -3781 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 3907 /proc/meminfo: memFree=29917332/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1718520 CPUtime=1801.45 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 419892 0 0 0 171636 8509 0 0 19 0 1 0 132571323 1759764480 415605 4089446400 4194304 7136930 140734899494336 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3781/statm: 429630 415605 403 719 0 428909 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1718520 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 3907 /proc/meminfo: memFree=29917208/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1718520 CPUtime=1801.86 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 419892 0 0 0 171677 8509 0 0 20 0 1 0 132571323 1759764480 415605 4089446400 4194304 7136930 140734899494336 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3781/statm: 429630 415605 403 719 0 428909 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 1718520 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 3907 /proc/meminfo: memFree=29917208/32951124 swapFree=67111528/67111528 [pid=3781] ppid=3779 vsize=1718520 CPUtime=1802.05 /proc/3781/stat : 3781 (pbscip.linux.x8) R 3779 3781 2256 0 -1 4202496 419892 0 0 0 171696 8509 0 0 21 0 1 0 132571323 1759764480 415605 4089446400 4194304 7136930 140734899494336 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3781/statm: 429630 415605 403 719 0 428909 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1718520 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.12 CPU user time (s): 1716.97 CPU system time (s): 85.1521 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1718520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.97 system time used= 85.1521 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 419892 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= 6 involuntary context switches= 1189 runsolver used 2.72558 second user time and 5.53716 second system time The end
Begin job on node111 at 2010-06-30 17:23:50 IDJOB=2693575 IDBENCH=78987 IDSOLVER=1206 FILE ID=node111/2693575-1277911430 PBS_JOBID= 11197187 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.1900568706--soft-66-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-2693575-1277911430/watcher-2693575-1277911430 -o /tmp/evaluation-result-2693575-1277911430/solver-2693575-1277911430 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693575-1277911430.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0424fd5691d718147f8291be7b6f72f2 RANDOM SEED=187076260 node111.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.850 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.70 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.850 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.85 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.850 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.850 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.82 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.850 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.74 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.850 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: 32951124 kB MemFree: 31409200 kB Buffers: 197864 kB Cached: 789952 kB SwapCached: 0 kB Active: 817060 kB Inactive: 584500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31409200 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 413484 kB Mapped: 20484 kB Slab: 76808 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1647340 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node111 at 2010-06-30 17:53:52