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.1900547389--soft-33-100-0.wbo |
| MD5SUM | d310a80e65163d39f069d6307e99d88f |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 336.792 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1839 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 91769 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91768 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 721 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693573-1277911332.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 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, 1965 impls, 9 clqs
0.00/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3771 |4373 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.53 o 919
1.49/1.53 c * 1.4s| 5343 | 4777 | 0 | 0.0 | 16M|1926 | - |3771 |5118 | 0 | 0 | 0 |1194 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
1.59/1.61 o 878
1.59/1.61 c * 1.4s| 5549 | 4866 | 0 | 0.0 | 16M|1926 | - |3771 |5117 | 0 | 0 | 0 |1204 | 0 | 0.000000e+00 | 8.780000e+02 | Inf
1.59/1.62 o 872
1.59/1.62 c * 1.4s| 5550 | 4853 | 0 | 0.0 | 17M|1926 | - |3771 |5117 | 0 | 0 | 0 |1204 | 0 | 0.000000e+00 | 8.720000e+02 | Inf
1.59/1.69 o 743
1.59/1.69 c * 1.5s| 5741 | 5011 | 0 | 0.0 | 16M|1926 | - |3771 |5099 | 0 | 0 | 0 |1213 | 0 | 0.000000e+00 | 7.430000e+02 | Inf
1.69/1.77 o 650
1.69/1.77 c * 1.6s| 5976 | 5171 | 0 | 0.0 | 17M|1926 | - |3771 |5094 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | 6.500000e+02 | Inf
1.69/1.77 o 636
1.69/1.77 c * 1.6s| 5977 | 5168 | 0 | 0.0 | 17M|1926 | - |3771 |5094 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | 6.360000e+02 | Inf
1.79/1.89 o 632
1.79/1.89 c * 1.7s| 6334 | 5519 | 0 | 0.0 | 17M|1926 | - |3771 |5075 | 0 | 0 | 0 |1239 | 0 | 0.000000e+00 | 6.320000e+02 | Inf
1.99/2.01 o 436
1.99/2.01 c * 1.8s| 6729 | 5513 | 0 | 0.0 | 17M|1926 | - |3771 |5059 | 0 | 0 | 0 |1249 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
1.99/2.05 o 316
1.99/2.05 c * 1.9s| 6895 | 5497 | 0 | 0.0 | 17M|1926 | - |3771 |5051 | 0 | 0 | 0 |1266 | 0 | 0.000000e+00 | 3.160000e+02 | Inf
1.99/2.05 o 302
1.99/2.05 c * 1.9s| 6896 | 5468 | 0 | 0.0 | 17M|1926 | - |3771 |5051 | 0 | 0 | 0 |1266 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
2.10/2.16 o 297
2.10/2.16 c * 1.9s| 7268 | 5779 | 0 | 0.0 | 17M|1926 | - |3771 |5064 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | 2.970000e+02 | Inf
2.10/2.20 o 197
2.10/2.20 c * 2.0s| 7424 | 5741 | 0 | 0.0 | 17M|1926 | - |3771 |5057 | 0 | 0 | 0 |1344 | 0 | 0.000000e+00 | 1.970000e+02 | Inf
2.79/2.86 c 2.6s| 10000 | 7973 | 0 | 0.0 | 19M|1926 | - |3771 |5446 | 0 | 0 | 0 |2766 | 0 | 0.000000e+00 | 1.970000e+02 | Inf
5.99/6.04 c 5.5s| 20000 | 15898 | 0 | 0.0 | 29M|1926 | - |3771 |6653 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
10.59/10.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.59/10.62 c 9.7s| 30000 | 21881 | 0 | 0.0 | 39M|1926 | - |3771 |7950 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
12.89/12.93 o 116
12.89/12.93 c *11.9s| 34690 | 25148 | 0 | 0.0 | 41M|1926 | - |3771 |6891 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
12.89/12.99 o 96
12.89/12.99 c *12.0s| 34804 | 24938 | 0 | 0.0 | 41M|1926 | - |3771 |6802 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
14.79/14.84 o 77
14.79/14.84 c *13.7s| 38559 | 27581 | 0 | 0.0 | 46M|1926 | - |3771 |6054 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
14.79/14.84 o 72
14.79/14.84 c *13.7s| 38560 | 27264 | 0 | 0.0 | 45M|1926 | - |3771 |6054 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
14.89/14.99 o 51
14.89/14.99 c *13.8s| 38647 | 26199 | 0 | 0.0 | 44M|1926 | - |3771 |5982 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
14.99/15.00 o 46
14.99/15.00 c *13.8s| 38648 | 24911 | 0 | 0.0 | 43M|1926 | - |3771 |5982 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
15.19/15.20 o 28
15.19/15.20 c *14.0s| 39052 | 24651 | 0 | 0.0 | 43M|1926 | - |3771 |5886 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
15.49/15.57 c 14.4s| 40000 | 25478 | 0 | 0.0 | 44M|1926 | - |3771 |5933 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
15.99/16.09 o 27
15.99/16.09 c *14.8s| 41413 | 26685 | 0 | 0.0 | 46M|1926 | - |3771 |6131 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
19.10/19.19 c 17.7s| 50000 | 33937 | 0 | 0.0 | 56M|1926 | - |3771 |7084 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
22.59/22.66 c 20.9s| 60000 | 41941 | 0 | 0.0 | 65M|1926 | - |3771 |7196 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
26.49/26.51 c 24.4s| 70000 | 49429 | 0 | 0.0 | 74M|1926 | - |3771 |7731 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
30.70/30.77 c 28.4s| 80000 | 56486 | 0 | 0.0 | 83M|1926 | - |3771 |8307 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
35.30/35.34 c 32.7s| 90000 | 63238 | 0 | 0.0 | 92M|1926 | - |3771 |8799 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
40.30/40.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.30/40.34 c 37.4s|100000 | 69543 | 0 | 0.0 | 101M|1926 | - |3771 |9641 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
45.59/45.64 c 42.4s|110000 | 75555 | 0 | 0.0 | 110M|1926 | - |3771 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
51.39/51.43 c 47.8s|120000 | 81087 | 0 | 0.0 | 118M|1926 | - |3771 | 10k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
57.70/57.73 c 53.7s|130000 | 86212 | 0 | 0.0 | 126M|1926 | - |3771 | 11k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
64.19/64.21 c 59.8s|140000 | 91123 | 0 | 0.0 | 135M|1926 | - |3771 | 11k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
70.99/71.07 c 66.3s|150000 | 95703 | 0 | 0.0 | 143M|1926 | - |3771 | 11k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
78.70/78.76 c 73.6s|160000 | 99335 | 0 | 0.0 | 151M|1926 | - |3771 | 12k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
88.09/88.11 c 82.5s|170000 |101710 | 0 | 0.0 | 159M|1926 | - |3771 | 13k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
95.19/95.27 c 89.3s|180000 |107306 | 0 | 0.0 | 164M|1926 | - |3771 |6486 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
100.20/100.20 c 93.9s|190000 |115133 | 0 | 0.0 | 177M|1926 | - |3771 |8161 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
106.89/106.92 c 100s|200000 |121985 | 0 | 0.0 | 192M|1926 | - |3771 |7588 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
111.99/112.05 c 105s|210000 |129977 | 0 | 0.0 | 203M|1926 | - |3771 |7150 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
115.29/115.38 o 21
115.29/115.38 c * 108s|215289 |130424 | 0 | 0.0 | 191M|1926 | - |3771 |7656 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
115.29/115.38 o 19
115.29/115.38 c * 108s|215290 |130326 | 0 | 0.0 | 190M|1926 | - |3771 |7656 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
118.89/118.97 c 112s|220000 |133414 | 0 | 0.0 | 196M|1926 | - |3771 |8323 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
121.10/121.13 o 18
121.10/121.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.10/121.13 c * 114s|222546 |134838 | 0 | 0.0 | 198M|1926 | - |3771 |8997 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
121.50/121.54 o 16
121.50/121.54 c * 114s|222995 |134973 | 0 | 0.0 | 198M|1926 | - |3771 |9188 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
126.20/126.21 c 118s|230000 |139609 | 0 | 0.0 | 208M|1926 | - |3771 |9358 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
132.40/132.41 c 124s|240000 |146643 | 0 | 0.0 | 229M|1926 | - |3771 | 11k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
138.19/138.26 c 130s|250000 |153972 | 0 | 0.0 | 249M|1926 | - |3771 | 12k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
143.80/143.82 c 135s|260000 |161521 | 0 | 0.0 | 265M|1926 | - |3771 | 12k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
150.39/150.47 c 141s|270000 |168433 | 0 | 0.0 | 282M|1926 | - |3771 | 13k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
156.40/156.44 c 147s|280000 |175275 | 0 | 0.0 | 293M|1926 | - |3771 |9810 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
158.00/158.03 o 14
158.00/158.03 c * 148s|283579 |177609 | 0 | 0.0 | 294M|1926 | - |3771 | 10k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
161.60/161.61 c 152s|290000 |181589 | 0 | 0.0 | 299M|1926 | - |3771 |9856 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
166.00/166.03 c 156s|300000 |188970 | 0 | 0.0 | 308M|1926 | - |3771 | 10k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
170.60/170.65 c 160s|310000 |196250 | 0 | 0.0 | 316M|1926 | - |3771 | 10k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
175.00/175.00 c 164s|320000 |203768 | 0 | 0.0 | 324M|1926 | - |3771 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
179.80/179.88 c 168s|330000 |210544 | 0 | 0.0 | 332M|1926 | - |3771 | 10k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
184.59/184.68 c 173s|340000 |217446 | 0 | 0.0 | 340M|1926 | - |3771 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
189.49/189.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.49/189.56 c 177s|350000 |224310 | 0 | 0.0 | 348M|1926 | - |3771 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
194.29/194.37 c 182s|360000 |231236 | 0 | 0.0 | 356M|1926 | - |3771 |9961 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
199.30/199.37 c 187s|370000 |237915 | 0 | 0.0 | 364M|1926 | - |3771 |9985 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
204.20/204.27 c 191s|380000 |244699 | 0 | 0.0 | 372M|1926 | - |3771 |6042 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
207.50/207.59 c 194s|390000 |253025 | 0 | 0.0 | 379M|1926 | - |3771 |5458 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
211.50/211.58 c 198s|400000 |260338 | 0 | 0.0 | 388M|1926 | - |3771 |6441 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
217.40/217.44 c 203s|410000 |265629 | 0 | 0.0 | 397M|1926 | - |3771 |7759 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
223.70/223.77 c 209s|420000 |270689 | 0 | 0.0 | 405M|1926 | - |3771 |7897 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
230.09/230.12 c 215s|430000 |275686 | 0 | 0.0 | 414M|1926 | - |3771 |8797 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
236.69/236.72 c 222s|440000 |280389 | 0 | 0.0 | 422M|1926 | - |3771 |8718 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
243.20/243.26 c 228s|450000 |285122 | 0 | 0.0 | 430M|1926 | - |3771 |9405 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
250.00/250.05 c 234s|460000 |289660 | 0 | 0.0 | 438M|1926 | - |3771 |9302 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
257.40/257.43 c 241s|470000 |293570 | 0 | 0.0 | 446M|1926 | - |3771 |9250 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
264.40/264.49 c 248s|480000 |297787 | 0 | 0.0 | 455M|1926 | - |3771 |9872 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
271.71/271.76 c 255s|490000 |301875 | 0 | 0.0 | 463M|1926 | - |3771 | 10k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
279.20/279.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.20/279.30 c 262s|500000 |305724 | 0 | 0.0 | 470M|1926 | - |3771 | 10k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
286.90/286.98 c 269s|510000 |309415 | 0 | 0.0 | 478M|1926 | - |3771 | 10k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
294.90/294.99 c 277s|520000 |312760 | 0 | 0.0 | 486M|1926 | - |3771 | 10k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
303.00/303.08 c 285s|530000 |316052 | 0 | 0.0 | 493M|1926 | - |3771 | 11k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
311.70/311.79 c 293s|540000 |318748 | 0 | 0.0 | 500M|1926 | - |3771 | 11k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
320.71/320.76 c 301s|550000 |321208 | 0 | 0.0 | 507M|1926 | - |3771 | 11k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
329.91/329.94 c 310s|560000 |323498 | 0 | 0.0 | 514M|1926 | - |3771 | 11k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
339.30/339.32 c 319s|570000 |325684 | 0 | 0.0 | 521M|1926 | - |3771 | 10k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
348.91/348.90 c 328s|580000 |327507 | 0 | 0.0 | 527M|1926 | - |3771 | 10k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
359.01/359.06 c 338s|590000 |328887 | 0 | 0.0 | 533M|1926 | - |3771 | 11k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
369.10/369.13 c 348s|600000 |330367 | 0 | 0.0 | 540M|1926 | - |3771 | 12k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
379.51/379.53 c 358s|610000 |331606 | 0 | 0.0 | 546M|1926 | - |3771 | 11k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
390.41/390.50 c 368s|620000 |331971 | 0 | 0.0 | 551M|1926 | - |3771 | 12k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
401.60/401.64 c 379s|630000 |332361 | 0 | 0.0 | 557M|1926 | - |3771 | 11k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
413.20/413.23 c 390s|640000 |332121 | 0 | 0.0 | 562M|1926 | - |3771 | 13k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
425.21/425.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.21/425.26 c 402s|650000 |331688 | 0 | 0.0 | 567M|1926 | - |3771 | 12k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
437.91/437.93 c 414s|660000 |330694 | 0 | 0.0 | 570M|1926 | - |3771 | 13k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
451.20/451.24 c 427s|670000 |329066 | 0 | 0.0 | 571M|1926 | - |3771 | 12k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
458.41/458.40 c 434s|680000 |332316 | 0 | 0.0 | 568M|1926 | - |3771 |4808 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
462.21/462.27 c 437s|690000 |340104 | 0 | 0.0 | 577M|1926 | - |3771 |5328 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
466.60/466.61 c 441s|700000 |347385 | 0 | 0.0 | 585M|1926 | - |3771 |6143 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
471.41/471.46 c 446s|710000 |354143 | 0 | 0.0 | 594M|1926 | - |3771 |6912 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
477.20/477.21 c 451s|720000 |360073 | 0 | 0.0 | 604M|1926 | - |3771 |7682 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
480.31/480.35 o 11
480.31/480.35 c * 454s|724981 |362046 | 0 | 0.0 | 606M|1926 | - |3771 |8217 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
484.10/484.11 c 458s|730000 |364595 | 0 | 0.0 | 614M|1926 | - |3771 |8631 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
491.80/491.81 c 465s|740000 |368904 | 0 | 0.0 | 625M|1926 | - |3771 |9447 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
500.41/500.49 c 473s|750000 |372282 | 0 | 0.0 | 634M|1926 | - |3771 | 10k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
511.01/511.09 c 483s|760000 |374060 | 0 | 0.0 | 643M|1926 | - |3771 | 11k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
518.01/518.02 o 8
518.01/518.02 c * 490s|765026 |372431 | 0 | 0.0 | 640M|1926 | - |3771 | 12k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
522.51/522.55 c 494s|770000 |374343 | 0 | 0.0 | 641M|1926 | - |3771 |6339 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
527.51/527.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.51/527.51 c 499s|780000 |381039 | 0 | 0.0 | 649M|1926 | - |3771 |5767 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
532.42/532.48 c 503s|790000 |387547 | 0 | 0.0 | 657M|1926 | - |3771 |6735 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
538.10/538.13 c 509s|800000 |393342 | 0 | 0.0 | 666M|1926 | - |3771 |7667 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
544.42/544.43 c 515s|810000 |398586 | 0 | 0.0 | 675M|1926 | - |3771 |7837 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
550.81/550.83 c 521s|820000 |403713 | 0 | 0.0 | 684M|1926 | - |3771 |7505 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
557.81/557.82 c 527s|830000 |408265 | 0 | 0.0 | 693M|1926 | - |3771 |7349 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
564.70/564.75 c 534s|840000 |412875 | 0 | 0.0 | 701M|1926 | - |3771 |7193 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
571.80/571.82 c 540s|850000 |417350 | 0 | 0.0 | 709M|1926 | - |3771 |7459 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
578.80/578.83 c 547s|860000 |421861 | 0 | 0.0 | 717M|1926 | - |3771 |7601 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
585.61/585.67 c 553s|870000 |426567 | 0 | 0.0 | 724M|1926 | - |3771 |8097 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
593.10/593.13 c 560s|880000 |430792 | 0 | 0.0 | 733M|1926 | - |3771 |9281 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
602.01/602.08 c 569s|890000 |433782 | 0 | 0.0 | 741M|1926 | - |3771 | 11k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
612.01/612.04 c 578s|900000 |436412 | 0 | 0.0 | 745M|1926 | - |3771 |7538 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
616.21/616.20 c 582s|910000 |443892 | 0 | 0.0 | 753M|1926 | - |3771 |5997 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
621.01/621.02 c 587s|920000 |450622 | 0 | 0.0 | 762M|1926 | - |3771 |6844 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
626.31/626.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.31/626.31 c 592s|930000 |456817 | 0 | 0.0 | 771M|1926 | - |3771 |7666 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
632.01/632.04 c 597s|940000 |462549 | 0 | 0.0 | 779M|1926 | - |3771 |8391 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
638.91/639.00 c 604s|950000 |467095 | 0 | 0.0 | 788M|1926 | - |3771 |9619 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
647.71/647.75 c 612s|960000 |470105 | 0 | 0.0 | 796M|1926 | - |3771 | 10k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
657.31/657.39 c 621s|970000 |472598 | 0 | 0.0 | 800M|1926 | - |3771 |7407 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
661.12/661.18 c 624s|980000 |480429 | 0 | 0.0 | 808M|1926 | - |3771 |6065 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
665.31/665.30 c 628s|990000 |487862 | 0 | 0.0 | 816M|1926 | - |3771 |6747 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
669.71/669.76 c 632s| 1000k|494888 | 0 | 0.0 | 824M|1926 | - |3771 |7543 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
675.02/675.04 c 637s| 1010k|501104 | 0 | 0.0 | 832M|1926 | - |3771 |8424 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
682.22/682.21 c 644s| 1020k|505610 | 0 | 0.0 | 841M|1926 | - |3771 | 10k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
691.81/691.87 c 653s| 1030k|507941 | 0 | 0.0 | 848M|1926 | - |3771 | 13k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
698.21/698.26 c 660s| 1040k|513786 | 0 | 0.0 | 854M|1926 | - |3771 |6575 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
702.61/702.60 c 664s| 1050k|521025 | 0 | 0.0 | 862M|1926 | - |3771 |7398 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
707.11/707.17 c 668s| 1060k|527965 | 0 | 0.0 | 870M|1926 | - |3771 |8177 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
712.32/712.39 c 673s| 1070k|534352 | 0 | 0.0 | 878M|1926 | - |3771 |9003 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
719.01/719.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.01/719.02 c 679s| 1080k|539346 | 0 | 0.0 | 887M|1926 | - |3771 | 10k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
719.61/719.62 o 5
719.61/719.62 c * 679s| 1080k|535876 | 0 | 0.0 | 872M|1926 | - |3771 | 10k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
728.91/728.96 c 688s| 1090k|538561 | 0 | 0.0 | 881M|1926 | - |3771 | 12k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
737.41/737.49 c 696s| 1100k|542968 | 0 | 0.0 | 886M|1926 | - |3771 |8017 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
742.42/742.45 c 701s| 1110k|549983 | 0 | 0.0 | 897M|1926 | - |3771 |8040 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
748.12/748.19 c 706s| 1120k|556193 | 0 | 0.0 | 907M|1926 | - |3771 |9141 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
754.82/754.86 c 713s| 1130k|561646 | 0 | 0.0 | 918M|1926 | - |3771 | 10k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
763.32/763.33 c 721s| 1140k|565598 | 0 | 0.0 | 928M|1926 | - |3771 | 12k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
774.11/774.17 c 731s| 1150k|567862 | 0 | 0.0 | 936M|1926 | - |3771 | 14k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
779.71/779.74 c 736s| 1160k|575305 | 0 | 0.0 | 951M|1926 | - |3771 | 10k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
785.72/785.74 c 742s| 1170k|581959 | 0 | 0.0 | 968M|1926 | - |3771 | 10k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
792.62/792.69 c 749s| 1180k|587958 | 0 | 0.0 | 986M|1926 | - |3771 | 12k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
800.22/800.24 c 756s| 1190k|593014 | 0 | 0.0 | 998M|1926 | - |3771 | 14k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
809.82/809.88 c 765s| 1200k|596311 | 0 | 0.0 |1006M|1926 | - |3771 | 17k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
820.72/820.75 c 775s| 1210k|599517 | 0 | 0.0 |1012M|1926 | - |3771 | 15k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
826.62/826.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.62/826.61 c 781s| 1220k|606719 | 0 | 0.0 |1025M|1926 | - |3771 | 11k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
832.92/832.92 c 787s| 1230k|613227 | 0 | 0.0 |1040M|1926 | - |3771 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
840.21/840.30 c 794s| 1240k|618980 | 0 | 0.0 |1056M|1926 | - |3771 | 13k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
848.92/848.90 c 802s| 1250k|623833 | 0 | 0.0 |1072M|1926 | - |3771 | 15k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
849.62/849.67 o 3
849.62/849.67 c * 803s| 1250k|618731 | 0 | 0.0 |1061M|1926 | - |3771 | 15k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
859.02/859.09 c 812s| 1260k|621953 | 0 | 0.0 |1071M|1926 | - |3771 |9194 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
866.42/866.49 c 818s| 1270k|626013 | 0 | 0.0 |1076M|1926 | - |3771 |7284 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
870.91/870.97 c 823s| 1280k|633013 | 0 | 0.0 |1085M|1926 | - |3771 |7865 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
876.22/876.24 c 828s| 1290k|639150 | 0 | 0.0 |1093M|1926 | - |3771 |8617 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
882.32/882.38 c 833s| 1300k|644388 | 0 | 0.0 |1102M|1926 | - |3771 |9324 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.72/889.77 c 840s| 1310k|648237 | 0 | 0.0 |1110M|1926 | - |3771 | 10k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
899.12/899.19 c 849s| 1320k|650019 | 0 | 0.0 |1117M|1926 | - |3771 | 12k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
903.52/903.53 c 853s| 1330k|657434 | 0 | 0.0 |1124M|1926 | - |3771 |7591 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
908.32/908.38 c 858s| 1340k|664001 | 0 | 0.0 |1132M|1926 | - |3771 |8251 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
913.92/913.93 c 863s| 1350k|669776 | 0 | 0.0 |1141M|1926 | - |3771 |9045 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
920.12/920.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.12/920.18 c 869s| 1360k|674791 | 0 | 0.0 |1149M|1926 | - |3771 |9882 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
927.52/927.55 c 876s| 1370k|678703 | 0 | 0.0 |1157M|1926 | - |3771 |9688 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
934.42/934.40 c 882s| 1380k|682947 | 0 | 0.0 |1164M|1926 | - |3771 |8381 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
939.72/939.76 c 887s| 1390k|688699 | 0 | 0.0 |1170M|1926 | - |3771 |7948 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
944.83/944.84 c 892s| 1400k|694748 | 0 | 0.0 |1178M|1926 | - |3771 |8310 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
950.62/950.62 c 897s| 1410k|700149 | 0 | 0.0 |1187M|1926 | - |3771 |9031 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
957.22/957.26 c 903s| 1420k|704703 | 0 | 0.0 |1195M|1926 | - |3771 | 10k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.52/965.56 c 911s| 1430k|707697 | 0 | 0.0 |1203M|1926 | - |3771 | 11k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
972.62/972.64 c 918s| 1440k|712188 | 0 | 0.0 |1209M|1926 | - |3771 |7540 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
977.22/977.20 c 922s| 1450k|719057 | 0 | 0.0 |1217M|1926 | - |3771 |8154 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
982.72/982.77 c 927s| 1460k|724935 | 0 | 0.0 |1226M|1926 | - |3771 |9055 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
989.42/989.40 c 934s| 1470k|729725 | 0 | 0.0 |1235M|1926 | - |3771 |9993 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
996.82/996.85 c 941s| 1480k|733706 | 0 | 0.0 |1243M|1926 | - |3771 | 11k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.42/1004.49 c 948s| 1490k|737520 | 0 | 0.0 |1249M|1926 | - |3771 |9211 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1010.12/1010.16 c 953s| 1500k|743172 | 0 | 0.0 |1256M|1926 | - |3771 |8080 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1015.33/1015.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.33/1015.30 c 958s| 1510k|749424 | 0 | 0.0 |1264M|1926 | - |3771 |8317 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1021.02/1021.03 c 963s| 1520k|755012 | 0 | 0.0 |1273M|1926 | - |3771 |9052 | 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1027.62/1027.68 c 970s| 1530k|759651 | 0 | 0.0 |1282M|1926 | - |3771 | 10k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1035.42/1035.44 c 977s| 1540k|763289 | 0 | 0.0 |1290M|1926 | - |3771 | 11k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1044.12/1044.11 c 985s| 1550k|766362 | 0 | 0.0 |1295M|1926 | - |3771 |8940 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1048.33/1048.36 c 989s| 1560k|773700 | 0 | 0.0 |1302M|1926 | - |3771 |7916 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1053.12/1053.17 c 993s| 1570k|780267 | 0 | 0.0 |1310M|1926 | - |3771 |8561 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1059.42/1059.41 c 999s| 1580k|785449 | 0 | 0.0 |1319M|1926 | - |3771 |9769 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1066.72/1066.71 c 1006s| 1590k|789583 | 0 | 0.0 |1328M|1926 | - |3771 | 11k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1076.12/1076.17 c 1015s| 1600k|791501 | 0 | 0.0 |1334M|1926 | - |3771 | 13k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.83/1080.88 c 1020s| 1610k|798628 | 0 | 0.0 |1340M|1926 | - |3771 |7651 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1085.33/1085.39 c 1024s| 1620k|805561 | 0 | 0.0 |1348M|1926 | - |3771 |8197 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1091.02/1091.05 c 1029s| 1630k|811233 | 0 | 0.0 |1357M|1926 | - |3771 |9369 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1098.03/1098.10 c 1036s| 1640k|815551 | 0 | 0.0 |1365M|1926 | - |3771 | 10k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1106.63/1106.62 c 1044s| 1650k|818509 | 0 | 0.0 |1374M|1926 | - |3771 | 12k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1113.13/1113.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.13/1113.19 c 1050s| 1660k|823698 | 0 | 0.0 |1378M|1926 | - |3771 |6243 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1117.72/1117.70 c 1054s| 1670k|830420 | 0 | 0.0 |1386M|1926 | - |3771 |5350 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1122.03/1122.08 c 1058s| 1680k|837233 | 0 | 0.0 |1393M|1926 | - |3771 |5182 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1126.53/1126.52 c 1062s| 1690k|843927 | 0 | 0.0 |1401M|1926 | - |3771 |5522 | 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1130.83/1130.80 c 1066s| 1700k|850720 | 0 | 0.0 |1409M|1926 | - |3771 |5292 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1135.03/1135.07 c 1070s| 1710k|857498 | 0 | 0.0 |1417M|1926 | - |3771 |5379 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1139.42/1139.43 c 1074s| 1720k|864132 | 0 | 0.0 |1425M|1926 | - |3771 |5537 | 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1143.43/1143.44 c 1078s| 1730k|871116 | 0 | 0.0 |1433M|1926 | - |3771 |5069 | 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1147.43/1147.42 c 1081s| 1740k|878212 | 0 | 0.0 |1441M|1926 | - |3771 |4608 | 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1151.73/1151.76 c 1085s| 1750k|884839 | 0 | 0.0 |1449M|1926 | - |3771 |5391 | 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.62/1155.66 c 1089s| 1760k|892062 | 0 | 0.0 |1457M|1926 | - |3771 |4770 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1159.33/1159.35 c 1092s| 1770k|899485 | 0 | 0.0 |1464M|1926 | - |3771 |4668 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1163.12/1163.19 c 1096s| 1780k|906769 | 0 | 0.0 |1472M|1926 | - |3771 |4876 | 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1167.72/1167.70 c 1100s| 1790k|913176 | 0 | 0.0 |1480M|1926 | - |3771 |5429 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1171.33/1171.37 c 1103s| 1800k|920549 | 0 | 0.0 |1488M|1926 | - |3771 |5110 | 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1175.73/1175.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.73/1175.72 c 1107s| 1810k|927274 | 0 | 0.0 |1497M|1926 | - |3771 |4976 | 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1179.93/1179.98 c 1111s| 1820k|934079 | 0 | 0.0 |1505M|1926 | - |3771 |4945 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1187.13/1187.17 c 1118s| 1830k|937299 | 0 | 0.0 |1513M|1926 | - |3771 |8348 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1199.03/1199.05 c 1129s| 1840k|937332 | 0 | 0.0 |1516M|1926 | - |3771 | 10k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1210.23/1210.27 c 1140s| 1850k|938060 | 0 | 0.0 |1521M|1926 | - |3771 | 10k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1221.13/1221.14 c 1150s| 1860k|939162 | 0 | 0.0 |1526M|1926 | - |3771 |9747 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1233.13/1233.11 c 1162s| 1870k|939473 | 0 | 0.0 |1529M|1926 | - |3771 | 10k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1245.53/1245.52 c 1174s| 1880k|939576 | 0 | 0.0 |1534M|1926 | - |3771 | 11k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1257.93/1257.99 c 1186s| 1890k|940065 | 0 | 0.0 |1540M|1926 | - |3771 | 11k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1270.93/1270.93 c 1199s| 1900k|940308 | 0 | 0.0 |1545M|1926 | - |3771 | 12k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1284.43/1284.43 c 1212s| 1910k|939591 | 0 | 0.0 |1549M|1926 | - |3771 | 14k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.53/1298.51 c 1225s| 1920k|938710 | 0 | 0.0 |1552M|1926 | - |3771 | 14k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1312.83/1312.85 c 1239s| 1930k|937632 | 0 | 0.0 |1554M|1926 | - |3771 | 13k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1327.13/1327.11 c 1253s| 1940k|936460 | 0 | 0.0 |1556M|1926 | - |3771 | 13k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1341.43/1341.44 c 1267s| 1950k|935470 | 0 | 0.0 |1558M|1926 | - |3771 | 13k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.64/1356.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.64/1356.61 c 1282s| 1960k|934189 | 0 | 0.0 |1560M|1926 | - |3771 | 13k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1371.94/1371.94 c 1297s| 1970k|932704 | 0 | 0.0 |1561M|1926 | - |3771 | 12k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1387.53/1387.53 c 1312s| 1980k|930880 | 0 | 0.0 |1562M|1926 | - |3771 | 12k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1403.83/1403.84 c 1328s| 1990k|928510 | 0 | 0.0 |1561M|1926 | - |3771 | 12k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.14/1420.15 c 1343s| 2000k|926207 | 0 | 0.0 |1560M|1926 | - |3771 | 12k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1436.74/1436.75 c 1359s| 2010k|923430 | 0 | 0.0 |1558M|1926 | - |3771 | 13k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1453.93/1453.90 c 1376s| 2020k|920031 | 0 | 0.0 |1554M|1926 | - |3771 | 14k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1471.43/1471.42 c 1393s| 2030k|916611 | 0 | 0.0 |1551M|1926 | - |3771 | 14k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1488.84/1488.85 c 1410s| 2040k|912987 | 0 | 0.0 |1546M|1926 | - |3771 | 14k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1506.94/1506.95 c 1428s| 2050k|908714 | 0 | 0.0 |1539M|1926 | - |3771 | 14k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1524.14/1524.17 c 1444s| 2060k|904322 | 0 | 0.0 |1530M|1926 | - |3771 | 12k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1542.15/1542.13 c 1462s| 2070k|897712 | 0 | 0.0 |1513M|1926 | - |3771 | 14k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1554.73/1554.72 c 1474s| 2080k|896831 | 0 | 0.0 |1501M|1926 | - |3771 |6068 | 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1559.74/1559.78 c 1479s| 2090k|903272 | 0 | 0.0 |1510M|1926 | - |3771 |5921 | 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1565.44/1565.43 c 1484s| 2100k|909180 | 0 | 0.0 |1518M|1926 | - |3771 |6612 | 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1571.24/1571.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.24/1571.20 c 1490s| 2110k|914994 | 0 | 0.0 |1527M|1926 | - |3771 |7548 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1577.64/1577.63 c 1496s| 2120k|920277 | 0 | 0.0 |1535M|1926 | - |3771 |8151 | 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1584.74/1584.76 c 1503s| 2130k|925137 | 0 | 0.0 |1544M|1926 | - |3771 |9024 | 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1592.14/1592.14 c 1510s| 2140k|929835 | 0 | 0.0 |1552M|1926 | - |3771 |9155 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1600.25/1600.27 c 1517s| 2150k|933925 | 0 | 0.0 |1560M|1926 | - |3771 | 10k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1608.94/1608.90 c 1526s| 2160k|937777 | 0 | 0.0 |1567M|1926 | - |3771 | 10k| 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1617.63/1617.65 c 1534s| 2170k|941369 | 0 | 0.0 |1575M|1926 | - |3771 | 11k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1626.95/1626.98 c 1543s| 2180k|944546 | 0 | 0.0 |1582M|1926 | - |3771 | 12k| 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1636.64/1636.66 c 1552s| 2190k|947469 | 0 | 0.0 |1589M|1926 | - |3771 | 12k| 0 | 0 | 0 |2002k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1646.84/1646.84 c 1562s| 2200k|949961 | 0 | 0.0 |1597M|1926 | - |3771 | 13k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1657.93/1657.97 c 1573s| 2210k|951833 | 0 | 0.0 |1603M|1926 | - |3771 | 13k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1670.13/1670.15 c 1585s| 2220k|953038 | 0 | 0.0 |1610M|1926 | - |3771 | 13k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1683.43/1683.41 c 1597s| 2230k|953436 | 0 | 0.0 |1614M|1926 | - |3771 | 14k| 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1697.13/1697.14 c 1611s| 2240k|954009 | 0 | 0.0 |1620M|1926 | - |3771 | 14k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1711.84/1711.82 c 1625s| 2250k|953671 | 0 | 0.0 |1623M|1926 | - |3771 | 15k| 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1726.84/1726.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.84/1726.82 c 1640s| 2260k|953181 | 0 | 0.0 |1626M|1926 | - |3771 | 15k| 0 | 0 | 0 |2089k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1742.44/1742.45 c 1655s| 2270k|952181 | 0 | 0.0 |1627M|1926 | - |3771 | 15k| 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1759.54/1759.52 c 1671s| 2280k|950328 | 0 | 0.0 |1626M|1926 | - |3771 | 16k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1778.24/1778.25 c 1690s| 2290k|947477 | 0 | 0.0 |1618M|1926 | - |3771 |8516 | 0 | 0 | 0 |2135k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1784.34/1784.39 c 1695s| 2300k|952991 | 0 | 0.0 |1625M|1926 | - |3771 |6081 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1790.34/1790.31 c 1701s| 2310k|958556 | 0 | 0.0 |1633M|1926 | - |3771 |6388 | 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.34/1796.37 c 1707s| 2320k|963909 | 0 | 0.0 |1641M|1926 | - |3771 |7053 | 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1710.08
1800.05/1800.00 c Solving Nodes : 2325720
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (29 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.05 v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
1800.05/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2
1800.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1710.08
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693573-1277911332.wbo
1800.05/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.05/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693573-1277911332.wbo
1800.05/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.05/1800.05 c Constraints : 4373 initial, 19620 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.04 0 0 0 1861 0 105 91 0
1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1736 - - 3472 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 1770 0 5135418 0 1338914 88 2329539 0 0 0
1800.05/1800.05 c setppc : 9 0 8000242 0 1827200 35008 5020827 0 0 0
1800.05/1800.05 c linear : 1770 0 7967633 0 1827895 562940 44225298 0 0 0
1800.05/1800.05 c logicor : 824+ 0 4878777 0 1827912 184002 8753209 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 209922 0 0 0 1 0 0 0
1800.05/1800.05 c countsols : 0 0 0 0 1827910 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c indicator : 11.73 0.00 5.47 0.00 6.26
1800.05/1800.05 c setppc : 20.90 0.00 19.09 0.00 1.81
1800.05/1800.05 c linear : 342.58 0.00 341.62 0.00 0.96
1800.05/1800.05 c logicor : 387.52 0.00 338.47 0.00 49.05
1800.05/1800.05 c bounddisjunction : 0.10 0.00 0.10 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.00 2 0 0
1800.05/1800.05 c rootredcost : 0.00 0 0 0
1800.05/1800.05 c pseudoobj : 266.46 8003993 1332 2299882
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 35.27 783282 783278 3507141 17.4 167506 10.6 -
1800.05/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.01 45 45 186 18.7 130 10.4 -
1800.05/1800.05 c applied globally : - - - 2158034 15.7 - - -
1800.05/1800.05 c applied locally : - - - 12 217.2 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.05 c redcost : 0.00 0 0 0 0 0
1800.05/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.00 0 0 0 0 0
1800.05/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.05 c cmir : 0.00 0 0 0 0 0
1800.05/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.05 c clique : 0.00 0 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 0 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 31.36 1827881 0 0 0 0 3655762
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.00 - 0
1800.05/1800.05 c pseudo solutions : 0.09 - 29
1800.05/1800.05 c oneopt : 0.15 0 0
1800.05/1800.05 c trivial : 0.01 2 0
1800.05/1800.05 c simplerounding : 0.00 0 0
1800.05/1800.05 c zirounding : 0.00 0 0
1800.05/1800.05 c rounding : 0.00 0 0
1800.05/1800.05 c shifting : 0.00 0 0
1800.05/1800.05 c intshifting : 0.00 0 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c feaspump : 0.00 0 0
1800.05/1800.05 c coefdiving : 0.00 0 0
1800.05/1800.05 c pscostdiving : 0.00 0 0
1800.05/1800.05 c fracdiving : 0.00 0 0
1800.05/1800.05 c veclendiving : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c objpscostdiving : 0.00 0 0
1800.05/1800.05 c rootsoldiving : 0.00 0 0
1800.05/1800.05 c linesearchdiving : 0.00 0 0
1800.05/1800.05 c guideddiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.00 0 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c crossover : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.00 0 0
1800.05/1800.05 c trysol : 0.00 1 0
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.05 c (at root node) : - 0 0 0.00 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 2325720
1800.05/1800.05 c nodes (total) : 2325720
1800.05/1800.05 c nodes left : 966826
1800.05/1800.05 c max depth : 1926
1800.05/1800.05 c max depth (total): 1926
1800.05/1800.05 c backtracks : 476896 (20.5%)
1800.05/1800.05 c delayed cutoffs : 341389
1800.05/1800.05 c repropagations : 1754211 (18555575 domain reductions, 285605 cutoffs)
1800.05/1800.05 c avg switch length: 36.59
1800.05/1800.05 c switching time : 525.04
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 29 (29 improvements)
1800.05/1800.05 c First Solution : +9.19000000000000e+02 (in run 1, after 5343 nodes, 1.37 seconds, depth 842, found by <relaxation>)
1800.05/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1250840 nodes, 802.58 seconds, depth 822, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693573-1277911332/watcher-2693573-1277911332 -o /tmp/evaluation-result-2693573-1277911332/solver-2693573-1277911332 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693573-1277911332.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 2.00 2.01 4/178 24339 /proc/meminfo: memFree=31443776/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=8412 CPUtime=0 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 1580 0 0 0 0 0 0 0 23 0 1 0 164724970 8613888 1503 4089446400 4194304 7136930 140735556928240 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24339/statm: 2103 1510 275 719 0 1382 0 [startup+0.00677403 s] /proc/loadavg: 1.95 2.00 2.01 4/178 24339 /proc/meminfo: memFree=31443776/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=8604 CPUtime=0 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 1654 0 0 0 0 0 0 0 23 0 1 0 164724970 8810496 1577 4089446400 4194304 7136930 140735556928240 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24339/statm: 2151 1577 275 719 0 1430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8604 [startup+0.100873 s] /proc/loadavg: 1.95 2.00 2.01 4/178 24339 /proc/meminfo: memFree=31443776/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=28300 CPUtime=0.09 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 7472 0 0 0 8 1 0 0 23 0 1 0 164724970 28979200 6270 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 7075 6270 354 719 0 6354 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28300 [startup+0.300822 s] /proc/loadavg: 1.95 2.00 2.01 4/178 24339 /proc/meminfo: memFree=31443776/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=30324 CPUtime=0.29 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 10354 0 0 0 26 3 0 0 23 0 1 0 164724970 31051776 6839 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 7581 6839 391 719 0 6860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30324 [startup+0.70075 s] /proc/loadavg: 1.95 2.00 2.01 4/178 24339 /proc/meminfo: memFree=31443776/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=32112 CPUtime=0.69 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 10814 0 0 0 62 7 0 0 25 0 1 0 164724970 32882688 7299 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 8028 7299 395 719 0 7307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32112 [startup+1.5006 s] /proc/loadavg: 1.95 2.00 2.01 3/179 24340 /proc/meminfo: memFree=31415372/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=34916 CPUtime=1.49 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 11510 0 0 0 135 14 0 0 25 0 1 0 164724970 35753984 7995 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 8729 7995 395 719 0 8008 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34916 [startup+3.10031 s] /proc/loadavg: 1.95 2.00 2.01 3/179 24340 /proc/meminfo: memFree=31410288/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=41460 CPUtime=3.09 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 13135 0 0 0 281 28 0 0 25 0 1 0 164724970 42455040 9620 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 10365 9620 396 719 0 9644 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41460 [startup+6.30068 s] /proc/loadavg: 1.95 2.00 2.01 3/179 24340 /proc/meminfo: memFree=31397264/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=53852 CPUtime=6.29 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 16274 0 0 0 574 55 0 0 25 0 1 0 164724970 55144448 12759 4089446400 4194304 7136930 140735556928240 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 13463 12759 396 719 0 12742 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53852 [startup+12.7006 s] /proc/loadavg: 1.96 2.00 2.01 3/179 24340 /proc/meminfo: memFree=31378652/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=72292 CPUtime=12.69 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 20867 0 0 0 1173 96 0 0 25 0 1 0 164724970 74027008 17352 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 18073 17352 396 719 0 17352 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72292 [startup+25.5002 s] /proc/loadavg: 1.97 2.00 2.00 5/179 24341 /proc/meminfo: memFree=31336596/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=115264 CPUtime=25.49 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 31345 0 0 0 2352 197 0 0 25 0 1 0 164724970 118030336 27830 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 28816 27830 398 719 0 28095 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 115264 [startup+51.1005 s] /proc/loadavg: 1.98 2.00 2.00 3/179 24341 /proc/meminfo: memFree=31283860/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=169096 CPUtime=51.09 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 44380 0 0 0 4746 363 0 0 25 0 1 0 164724970 173154304 40865 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 42274 40865 398 719 0 41553 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 169096 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/179 24343 /proc/meminfo: memFree=31206696/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=247076 CPUtime=102.3 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 63140 0 0 0 9593 637 0 0 25 0 1 0 164724970 253005824 59625 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 61769 59625 398 719 0 61048 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 247076 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 24344 /proc/meminfo: memFree=31057824/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=413152 CPUtime=162.29 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 100647 0 0 0 15218 1011 0 0 25 0 1 0 164724970 423067648 97132 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 103288 97132 398 719 0 102567 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 413152 [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 24346 /proc/meminfo: memFree=30949396/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=523220 CPUtime=222.29 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 127416 0 0 0 20794 1435 0 0 25 0 1 0 164724970 535777280 123901 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 130805 123901 398 719 0 130084 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 523220 [startup+282.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24347 /proc/meminfo: memFree=30874076/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=598720 CPUtime=282.3 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 146398 0 0 0 26477 1753 0 0 25 0 1 0 164724970 613089280 142883 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 149680 142883 398 719 0 148959 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 598720 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24349 /proc/meminfo: memFree=30814500/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=656160 CPUtime=342.3 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 160650 0 0 0 32214 2016 0 0 25 0 1 0 164724970 671907840 157135 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 164040 157135 398 719 0 163319 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 656160 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24351 /proc/meminfo: memFree=30779112/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=690896 CPUtime=402.3 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 169233 0 0 0 37979 2251 0 0 25 0 1 0 164724970 707477504 165718 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 172724 165718 398 719 0 172003 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 690896 [startup+462.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24352 /proc/meminfo: memFree=30756000/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=715384 CPUtime=462.31 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 175274 0 0 0 43731 2500 0 0 25 0 1 0 164724970 732553216 171759 4089446400 4194304 7136930 140735556928240 18446744073709551615 4677497 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 178846 171759 398 719 0 178125 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 715384 [startup+522.3 s] /proc/loadavg: 2.14 2.04 2.01 3/197 24400 /proc/meminfo: memFree=30579636/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=786148 CPUtime=522.3 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 192834 0 0 0 49380 2850 0 0 25 0 1 0 164724970 805015552 189319 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 196537 189319 398 719 0 195816 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 786148 [startup+582.3 s] /proc/loadavg: 2.05 2.03 2.00 3/197 24401 /proc/meminfo: memFree=30477600/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=862576 CPUtime=582.31 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 212017 0 0 0 55023 3208 0 0 25 0 1 0 164724970 883277824 208502 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 215644 208502 398 719 0 214923 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 862576 [startup+642.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 24403 /proc/meminfo: memFree=30377340/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=954996 CPUtime=642.32 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 232800 0 0 0 60664 3568 0 0 25 0 1 0 164724970 977915904 229285 4089446400 4194304 7136930 140735556928240 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 238749 229285 398 719 0 238028 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 954996 [startup+702.3 s] ################ # More data... # ################ /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 350112 0 0 0 94586 5646 0 0 25 0 1 0 164724970 1464651776 346597 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 357581 346597 398 719 0 356860 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1430324 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24414 /proc/meminfo: memFree=29715780/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1507216 CPUtime=1062.32 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 369370 0 0 0 100202 6030 0 0 25 0 1 0 164724970 1543389184 365855 4089446400 4194304 7136930 140735556928240 18446744073709551615 5954042 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 376804 365855 398 719 0 376083 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1507216 [startup+1122.3 s] /proc/loadavg: 2.40 2.11 2.04 3/197 24416 /proc/meminfo: memFree=29646408/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1574780 CPUtime=1122.33 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 386498 0 0 0 105830 6403 0 0 25 0 1 0 164724970 1612574720 382983 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 393695 382983 398 719 0 392974 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1574780 [startup+1182.3 s] /proc/loadavg: 2.19 2.10 2.04 3/197 24417 /proc/meminfo: memFree=29532640/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1685460 CPUtime=1182.32 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 414621 0 0 0 111322 6910 0 0 25 0 1 0 164724970 1725911040 411106 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 421365 411106 398 719 0 420644 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1685460 [startup+1242.3 s] /proc/loadavg: 2.07 2.08 2.03 3/197 24419 /proc/meminfo: memFree=29507184/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1710324 CPUtime=1242.33 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 420803 0 0 0 117098 7135 0 0 25 0 1 0 164724970 1751371776 417288 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 427581 417288 398 719 0 426860 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1710324 [startup+1302.3 s] /proc/loadavg: 2.02 2.06 2.02 3/197 24421 /proc/meminfo: memFree=29487000/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1730276 CPUtime=1302.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 425804 0 0 0 122902 7332 0 0 25 0 1 0 164724970 1771802624 422289 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 432569 422289 398 719 0 431848 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1730276 [startup+1362.3 s] /proc/loadavg: 2.05 2.06 2.02 3/197 24422 /proc/meminfo: memFree=29474556/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1741752 CPUtime=1362.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 428633 0 0 0 128720 7514 0 0 25 0 1 0 164724970 1783554048 425118 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 435438 425118 398 719 0 434717 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1741752 [startup+1422.31 s] /proc/loadavg: 2.02 2.05 2.02 4/197 24424 /proc/meminfo: memFree=29453076/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1747424 CPUtime=1422.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 430068 0 0 0 134545 7689 0 0 25 0 1 0 164724970 1789362176 426553 4089446400 4194304 7136930 140735556928240 18446744073709551615 6166816 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 436856 426553 398 719 0 436135 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1747424 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.01 3/197 24425 /proc/meminfo: memFree=29431088/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1747424 CPUtime=1482.33 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 430070 0 0 0 140377 7856 0 0 25 0 1 0 164724970 1789362176 426555 4089446400 4194304 7136930 140735556928240 18446744073709551615 5955731 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 436856 426555 398 719 0 436135 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1747424 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.01 3/197 24427 /proc/meminfo: memFree=29398680/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1747424 CPUtime=1542.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 430075 0 0 0 146206 8028 0 0 25 0 1 0 164724970 1789362176 426560 4089446400 4194304 7136930 140735556928240 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 436856 426560 398 719 0 436135 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1747424 [startup+1602.3 s] /proc/loadavg: 2.16 2.09 2.03 3/197 24429 /proc/meminfo: memFree=29361808/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1754156 CPUtime=1602.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 431758 0 0 0 151931 8303 0 0 25 0 1 0 164724970 1796255744 428243 4089446400 4194304 7136930 140735556928240 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 438539 428243 398 719 0 437818 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1754156 [startup+1662.3 s] /proc/loadavg: 2.06 2.07 2.02 3/197 24433 /proc/meminfo: memFree=29303220/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1794184 CPUtime=1662.33 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 441830 0 0 0 157700 8533 0 0 25 0 1 0 164724970 1837244416 438315 4089446400 4194304 7136930 140735556928240 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 448546 438315 398 719 0 447825 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1794184 [startup+1722.3 s] /proc/loadavg: 2.09 2.07 2.02 3/197 24435 /proc/meminfo: memFree=29281856/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1809472 CPUtime=1722.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 445687 0 0 0 163517 8717 0 0 25 0 1 0 164724970 1852899328 442172 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 452368 442172 398 719 0 451647 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1809472 [startup+1782.3 s] /proc/loadavg: 2.03 2.05 2.01 3/197 24436 /proc/meminfo: memFree=29265816/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1812332 CPUtime=1782.34 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 446376 0 0 0 169340 8894 0 0 25 0 1 0 164724970 1855827968 442861 4089446400 4194304 7136930 140735556928240 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 453083 442861 398 719 0 452362 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1812332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.05 2.01 3/197 24437 /proc/meminfo: memFree=29240992/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1830504 CPUtime=1800.05 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 450970 0 0 0 171010 8995 0 0 25 0 1 0 164724970 1874436096 447455 4089446400 4194304 7136930 140735556928240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24339/statm: 457626 447455 398 719 0 456905 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1830504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24339 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.02 2.05 2.01 3/198 24438 /proc/meminfo: memFree=29240612/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1829480 CPUtime=1801.44 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 450985 0 0 0 171149 8995 0 0 25 0 1 0 164724970 1873387520 447215 4089446400 4194304 7136930 140735556928240 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24339/statm: 457370 447215 403 719 0 456649 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1829480 [startup+1801.81 s] /proc/loadavg: 2.02 2.05 2.01 3/198 24438 /proc/meminfo: memFree=29240736/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1829480 CPUtime=1801.85 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 450985 0 0 0 171190 8995 0 0 25 0 1 0 164724970 1873387520 447215 4089446400 4194304 7136930 140735556928240 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24339/statm: 457370 447215 403 719 0 456649 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1829480 [startup+1802 s] /proc/loadavg: 2.02 2.05 2.01 3/198 24438 /proc/meminfo: memFree=29240736/32950928 swapFree=67111528/67111528 [pid=24339] ppid=24337 vsize=1828964 CPUtime=1802.04 /proc/24339/stat : 24339 (pbscip.linux.x8) R 24337 24339 23243 0 -1 4202496 450985 0 0 0 171209 8995 0 0 25 0 1 0 164724970 1872859136 447086 4089446400 4194304 7136930 140735556928240 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24339/statm: 457241 447086 403 719 0 456520 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1828964 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.12 CPU user time (s): 1712.1 CPU system time (s): 90.0113 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1830504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1712.1 system time used= 90.0113 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 450985 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1648 runsolver used 3.10153 second user time and 5.99109 second system time The end
Begin job on node116 at 2010-06-30 17:22:12 IDJOB=2693573 IDBENCH=78986 IDSOLVER=1206 FILE ID=node116/2693573-1277911332 PBS_JOBID= 11197235 Free space on /tmp= 74204 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.1900547389--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-2693573-1277911332/watcher-2693573-1277911332 -o /tmp/evaluation-result-2693573-1277911332/solver-2693573-1277911332 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693573-1277911332.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d310a80e65163d39f069d6307e99d88f RANDOM SEED=2019577376 node116.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.838 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.67 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.838 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 : 5381.00 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.838 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.76 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.838 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.77 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.838 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.838 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: 31443684 kB Buffers: 194136 kB Cached: 1008752 kB SwapCached: 0 kB Active: 651008 kB Inactive: 714020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31443684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 162720 kB Mapped: 17660 kB Slab: 78040 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 310128 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node116 at 2010-06-30 17:52:14