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.11 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo |
| MD5SUM | 2c7bc414eea5148dc6372ccd38f2fe74 |
| 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 | 61.0867 |
| 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 | 1863 |
| 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 | 94064 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94063 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| 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-2694093-1277904984.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 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, 2001 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (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 (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 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.12
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 | - |3825 |4418 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.79/2.81 c 2.7s| 10000 | 9407 | 0 | 0.0 | 19M|1945 | - |3825 |5256 | 0 | 0 | 0 |2099 | 0 | 0.000000e+00 | -- | Inf
5.89/5.90 c 5.7s| 20000 | 17506 | 0 | 0.0 | 28M|1945 | - |3825 |6700 | 0 | 0 | 0 |9508 | 0 | 0.000000e+00 | -- | Inf
10.29/10.37 c 10.1s| 30000 | 23863 | 0 | 0.0 | 39M|1945 | - |3825 |8780 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
14.09/14.14 c 13.7s| 40000 | 32345 | 0 | 0.0 | 44M|1945 | - |3825 |8962 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
17.09/17.19 c 16.7s| 50000 | 42345 | 0 | 0.0 | 48M|1945 | - |3825 |7977 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
19.99/20.04 c 19.5s| 60000 | 52337 | 0 | 0.0 | 51M|1945 | - |3825 |7507 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
22.99/23.07 c 22.4s| 70000 | 62332 | 0 | 0.0 | 55M|1945 | - |3825 |7045 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
25.89/25.97 c 25.3s| 80000 | 72330 | 0 | 0.0 | 58M|1945 | - |3825 |6576 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
28.79/28.82 c 28.1s| 90000 | 82327 | 0 | 0.0 | 62M|1945 | - |3825 |6335 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
31.69/31.72 c 30.9s|100000 | 92324 | 0 | 0.0 | 66M|1945 | - |3825 |6162 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
34.49/34.52 c 33.6s|110000 |102324 | 0 | 0.0 | 69M|1945 | - |3825 |5936 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
35.89/35.91 o 880
35.89/35.91 c *35.0s|114908 |102613 | 0 | 0.0 | 70M|1945 | - |3825 |5864 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.800000e+02 | Inf
35.89/35.91 o 793
35.89/35.91 c *35.0s|114909 | 95660 | 0 | 0.0 | 68M|1945 | - |3825 |5864 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.930000e+02 | Inf
35.89/35.98 o 792
35.89/35.98 c *35.0s|115072 | 95684 | 0 | 0.0 | 69M|1945 | - |3825 |5844 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.920000e+02 | Inf
36.19/36.24 o 752
36.19/36.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.19/36.24 c *35.3s|115812 | 89552 | 0 | 0.0 | 67M|1945 | - |3825 |5817 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.520000e+02 | Inf
36.69/36.74 o 533
36.69/36.74 c *35.8s|117153 | 53019 | 0 | 0.0 | 53M|1945 | - |3825 |5791 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 5.330000e+02 | Inf
36.69/36.74 o 472
36.69/36.74 c *35.8s|117154 | 46238 | 0 | 0.0 | 50M|1945 | - |3825 |5791 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.720000e+02 | Inf
36.79/36.80 o 462
36.79/36.80 c *35.9s|117297 | 45418 | 0 | 0.0 | 50M|1945 | - |3825 |5774 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.620000e+02 | Inf
36.79/36.81 o 459
36.79/36.81 c *35.9s|117298 | 45088 | 0 | 0.0 | 50M|1945 | - |3825 |5774 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.590000e+02 | Inf
36.79/36.86 o 458
36.79/36.86 c *35.9s|117434 | 45086 | 0 | 0.0 | 50M|1945 | - |3825 |5762 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.580000e+02 | Inf
36.79/36.87 o 451
36.79/36.87 c *35.9s|117435 | 44142 | 0 | 0.0 | 50M|1945 | - |3825 |5762 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.510000e+02 | Inf
36.89/36.93 o 385
36.89/36.93 c *36.0s|117599 | 38012 | 0 | 0.0 | 48M|1945 | - |3825 |5746 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.850000e+02 | Inf
36.89/37.00 o 339
36.89/37.00 c *36.0s|117745 | 35551 | 0 | 0.0 | 46M|1945 | - |3825 |5724 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.390000e+02 | Inf
37.19/37.21 o 294
37.19/37.21 c *36.2s|118264 | 34540 | 0 | 0.0 | 46M|1945 | - |3825 |5726 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
37.30/37.36 o 292
37.30/37.36 c *36.4s|118647 | 34878 | 0 | 0.0 | 46M|1945 | - |3825 |5687 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
37.30/37.36 o 283
37.30/37.36 c *36.4s|118648 | 34831 | 0 | 0.0 | 46M|1945 | - |3825 |5687 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.830000e+02 | Inf
37.89/37.92 c 37.0s|120000 | 36119 | 0 | 0.0 | 47M|1945 | - |3825 |5557 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.830000e+02 | Inf
37.89/37.96 o 224
37.89/37.96 c *37.0s|120108 | 35540 | 0 | 0.0 | 46M|1945 | - |3825 |5554 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
37.99/38.01 o 217
37.99/38.01 c *37.0s|120237 | 35609 | 0 | 0.0 | 46M|1945 | - |3825 |5518 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
38.09/38.17 o 209
38.09/38.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.09/38.17 c *37.2s|120616 | 35888 | 0 | 0.0 | 47M|1945 | - |3825 |5543 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.090000e+02 | Inf
38.19/38.28 o 175
38.19/38.28 c *37.3s|120980 | 35851 | 0 | 0.0 | 47M|1945 | - |3825 |5518 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
38.19/38.28 o 111
38.19/38.28 c *37.3s|120981 | 34764 | 0 | 0.0 | 46M|1945 | - |3825 |5518 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
38.29/38.32 o 68
38.29/38.32 c *37.3s|121112 | 33093 | 0 | 0.0 | 45M|1945 | - |3825 |5508 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
38.69/38.77 o 50
38.69/38.77 c *37.8s|122142 | 32317 | 0 | 0.0 | 46M|1945 | - |3825 |5125 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
41.49/41.58 c 40.5s|130000 | 38607 | 0 | 0.0 | 53M|1945 | - |3825 |5382 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
45.49/45.58 c 44.4s|140000 | 45877 | 0 | 0.0 | 62M|1945 | - |3825 |6312 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
49.89/49.95 c 48.7s|150000 | 52750 | 0 | 0.0 | 71M|1945 | - |3825 |6545 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
54.59/54.66 c 53.3s|160000 | 59239 | 0 | 0.0 | 80M|1945 | - |3825 |7206 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
59.59/59.66 c 58.2s|170000 | 65411 | 0 | 0.0 | 89M|1945 | - |3825 |7589 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
64.90/64.91 c 63.3s|180000 | 71378 | 0 | 0.0 | 99M|1945 | - |3825 |8234 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
70.20/70.22 c 68.6s|190000 | 77279 | 0 | 0.0 | 108M|1945 | - |3825 |8497 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
75.80/75.86 c 74.1s|200000 | 82825 | 0 | 0.0 | 117M|1945 | - |3825 |9493 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
81.79/81.81 c 79.9s|210000 | 88111 | 0 | 0.0 | 126M|1945 | - |3825 | 10k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
88.29/88.39 c 86.4s|220000 | 92797 | 0 | 0.0 | 135M|1945 | - |3825 | 11k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
95.60/95.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.60/95.63 c 93.5s|230000 | 96919 | 0 | 0.0 | 145M|1945 | - |3825 | 11k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
104.29/104.35 c 102s|240000 | 99941 | 0 | 0.0 | 154M|1945 | - |3825 | 13k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
106.29/106.37 o 49
106.29/106.37 c * 104s|241659 | 98589 | 0 | 0.0 | 152M|1945 | - |3825 | 13k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
106.60/106.69 o 48
106.60/106.69 c * 104s|242412 | 99257 | 0 | 0.0 | 152M|1945 | - |3825 | 10k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
107.49/107.57 o 38
107.49/107.57 c * 105s|244358 |100423 | 0 | 0.0 | 152M|1945 | - |3825 |7465 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
107.59/107.64 o 29
107.59/107.64 c * 105s|244496 |100259 | 0 | 0.0 | 152M|1945 | - |3825 |7306 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
108.90/108.97 o 27
108.90/108.97 c * 107s|247518 |102808 | 0 | 0.0 | 155M|1945 | - |3825 |5289 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
109.10/109.18 o 26
109.10/109.18 c * 107s|248001 |103071 | 0 | 0.0 | 155M|1945 | - |3825 |5242 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
109.10/109.19 o 24
109.10/109.19 c * 107s|248002 |102988 | 0 | 0.0 | 155M|1945 | - |3825 |5242 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
109.29/109.38 o 16
109.29/109.38 c * 107s|248439 |102939 | 0 | 0.0 | 155M|1945 | - |3825 |5227 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
110.00/110.02 c 108s|250000 |104251 | 0 | 0.0 | 157M|1945 | - |3825 |5408 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
115.29/115.37 c 113s|260000 |111615 | 0 | 0.0 | 168M|1945 | - |3825 |6379 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
121.79/121.80 c 119s|270000 |118358 | 0 | 0.0 | 179M|1945 | - |3825 |7555 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
130.29/130.33 c 128s|280000 |123709 | 0 | 0.0 | 191M|1945 | - |3825 |8954 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
136.69/136.72 c 134s|290000 |129723 | 0 | 0.0 | 200M|1945 | - |3825 |8178 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
144.40/144.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.40/144.44 c 141s|300000 |132974 | 0 | 0.0 | 210M|1945 | - |3825 |8786 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
149.10/149.19 c 146s|310000 |139837 | 0 | 0.0 | 220M|1945 | - |3825 | 10k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
154.30/154.31 c 151s|320000 |146714 | 0 | 0.0 | 231M|1945 | - |3825 |9461 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
159.19/159.27 c 156s|330000 |153265 | 0 | 0.0 | 239M|1945 | - |3825 |7471 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
163.69/163.73 c 160s|340000 |160285 | 0 | 0.0 | 246M|1945 | - |3825 |4588 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
166.99/167.04 c 164s|350000 |168451 | 0 | 0.0 | 255M|1945 | - |3825 |4422 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
170.60/170.66 c 167s|360000 |176088 | 0 | 0.0 | 263M|1945 | - |3825 |5039 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
175.09/175.13 c 171s|370000 |182677 | 0 | 0.0 | 272M|1945 | - |3825 |6163 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
179.50/179.55 c 176s|380000 |189216 | 0 | 0.0 | 281M|1945 | - |3825 |6493 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
184.39/184.41 c 180s|390000 |195389 | 0 | 0.0 | 289M|1945 | - |3825 |6734 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
188.99/189.00 c 185s|400000 |201809 | 0 | 0.0 | 298M|1945 | - |3825 |7206 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
193.50/193.53 c 189s|410000 |208293 | 0 | 0.0 | 306M|1945 | - |3825 |7378 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
198.09/198.15 c 194s|420000 |214621 | 0 | 0.0 | 314M|1945 | - |3825 |7629 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
203.00/203.06 c 199s|430000 |220715 | 0 | 0.0 | 322M|1945 | - |3825 |8124 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
208.40/208.41 c 204s|440000 |226399 | 0 | 0.0 | 330M|1945 | - |3825 |8285 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
213.80/213.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.80/213.85 c 209s|450000 |231955 | 0 | 0.0 | 337M|1945 | - |3825 |8505 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
219.50/219.50 c 215s|460000 |237550 | 0 | 0.0 | 344M|1945 | - |3825 |8809 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
225.40/225.41 c 220s|470000 |242883 | 0 | 0.0 | 351M|1945 | - |3825 |9278 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
231.80/231.89 c 226s|480000 |247690 | 0 | 0.0 | 359M|1945 | - |3825 |9868 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
237.79/237.81 c 232s|490000 |253144 | 0 | 0.0 | 365M|1945 | - |3825 |9289 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
244.20/244.23 c 238s|500000 |258012 | 0 | 0.0 | 373M|1945 | - |3825 |9995 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
251.00/251.04 c 245s|510000 |262494 | 0 | 0.0 | 381M|1945 | - |3825 | 10k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
258.60/258.65 c 252s|520000 |266463 | 0 | 0.0 | 388M|1945 | - |3825 | 10k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
266.20/266.22 c 259s|530000 |270394 | 0 | 0.0 | 395M|1945 | - |3825 | 10k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
274.00/274.08 c 267s|540000 |274018 | 0 | 0.0 | 402M|1945 | - |3825 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
282.20/282.26 c 275s|550000 |277252 | 0 | 0.0 | 409M|1945 | - |3825 | 11k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
291.10/291.17 c 283s|560000 |280002 | 0 | 0.0 | 416M|1945 | - |3825 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
300.59/300.69 c 292s|570000 |281993 | 0 | 0.0 | 423M|1945 | - |3825 | 12k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
310.40/310.47 c 302s|580000 |283774 | 0 | 0.0 | 430M|1945 | - |3825 | 13k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
321.20/321.28 c 312s|590000 |284570 | 0 | 0.0 | 435M|1945 | - |3825 | 14k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
333.70/333.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.70/333.78 c 324s|600000 |283712 | 0 | 0.0 | 440M|1945 | - |3825 | 15k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
347.40/347.44 c 337s|610000 |281335 | 0 | 0.0 | 443M|1945 | - |3825 | 16k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
363.20/363.26 c 353s|620000 |276422 | 0 | 0.0 | 443M|1945 | - |3825 | 19k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
377.00/377.07 c 366s|630000 |271280 | 0 | 0.0 | 425M|1945 | - |3825 |6518 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
380.90/380.92 c 370s|640000 |279441 | 0 | 0.0 | 433M|1945 | - |3825 |4526 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
384.60/384.69 c 373s|650000 |287448 | 0 | 0.0 | 441M|1945 | - |3825 |4781 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
388.60/388.62 c 377s|660000 |295237 | 0 | 0.0 | 449M|1945 | - |3825 |5147 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
392.61/392.62 c 380s|670000 |302977 | 0 | 0.0 | 457M|1945 | - |3825 |5432 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
396.79/396.83 c 384s|680000 |310530 | 0 | 0.0 | 466M|1945 | - |3825 |5730 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
401.50/401.51 c 389s|690000 |317527 | 0 | 0.0 | 476M|1945 | - |3825 |6386 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
407.00/407.07 c 394s|700000 |323804 | 0 | 0.0 | 486M|1945 | - |3825 |6790 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
413.30/413.30 c 400s|710000 |329492 | 0 | 0.0 | 497M|1945 | - |3825 |7559 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
420.21/420.28 c 406s|720000 |334681 | 0 | 0.0 | 509M|1945 | - |3825 |7637 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
427.50/427.55 c 413s|730000 |339483 | 0 | 0.0 | 519M|1945 | - |3825 |7534 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
434.20/434.22 c 419s|740000 |344709 | 0 | 0.0 | 529M|1945 | - |3825 |6545 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
440.30/440.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.30/440.31 c 425s|750000 |350392 | 0 | 0.0 | 538M|1945 | - |3825 |6012 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
445.70/445.76 c 430s|760000 |356632 | 0 | 0.0 | 547M|1945 | - |3825 |5900 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
448.20/448.27 o 10
448.20/448.27 c * 432s|764364 |355581 | 0 | 0.0 | 532M|1945 | - |3825 |5890 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
452.20/452.25 c 436s|770000 |358805 | 0 | 0.0 | 541M|1945 | - |3825 |6517 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
458.30/458.33 c 442s|780000 |364583 | 0 | 0.0 | 550M|1945 | - |3825 |5528 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
463.90/463.95 c 447s|790000 |370413 | 0 | 0.0 | 559M|1945 | - |3825 |6369 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
469.80/469.81 c 452s|800000 |376100 | 0 | 0.0 | 568M|1945 | - |3825 |7106 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
476.70/476.77 c 459s|810000 |380771 | 0 | 0.0 | 577M|1945 | - |3825 |8348 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
484.30/484.36 c 466s|820000 |385095 | 0 | 0.0 | 587M|1945 | - |3825 |9804 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
493.20/493.22 c 474s|830000 |388461 | 0 | 0.0 | 597M|1945 | - |3825 | 11k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
502.70/502.74 c 484s|840000 |391397 | 0 | 0.0 | 604M|1945 | - |3825 |7341 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
507.81/507.85 c 488s|850000 |397855 | 0 | 0.0 | 611M|1945 | - |3825 |5068 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
512.20/512.20 c 492s|860000 |405068 | 0 | 0.0 | 619M|1945 | - |3825 |5673 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
516.50/516.57 c 496s|870000 |412294 | 0 | 0.0 | 628M|1945 | - |3825 |6242 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
521.31/521.31 c 501s|880000 |419132 | 0 | 0.0 | 636M|1945 | - |3825 |7152 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
527.10/527.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.10/527.18 c 506s|890000 |424913 | 0 | 0.0 | 647M|1945 | - |3825 |8414 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
534.10/534.11 c 513s|900000 |429870 | 0 | 0.0 | 657M|1945 | - |3825 |9206 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
539.91/540.00 o 9
539.91/540.00 c * 518s|907340 |432599 | 0 | 0.0 | 664M|1945 | - |3825 | 10k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
542.21/542.30 c 520s|910000 |433692 | 0 | 0.0 | 667M|1945 | - |3825 | 10k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
551.90/551.92 c 530s|920000 |436739 | 0 | 0.0 | 677M|1945 | - |3825 | 12k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
559.60/559.66 c 537s|930000 |441476 | 0 | 0.0 | 682M|1945 | - |3825 |4966 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
563.21/563.24 c 540s|940000 |449429 | 0 | 0.0 | 690M|1945 | - |3825 |5451 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
567.40/567.48 c 544s|950000 |456608 | 0 | 0.0 | 699M|1945 | - |3825 |6129 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
572.60/572.60 c 549s|960000 |462978 | 0 | 0.0 | 709M|1945 | - |3825 |6928 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
578.41/578.41 c 554s|970000 |468667 | 0 | 0.0 | 719M|1945 | - |3825 |7711 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
584.70/584.78 c 560s|980000 |473803 | 0 | 0.0 | 729M|1945 | - |3825 |8205 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
592.61/592.63 c 568s|990000 |477544 | 0 | 0.0 | 738M|1945 | - |3825 |9168 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
594.81/594.81 o 8
594.81/594.81 c * 570s|992397 |476863 | 0 | 0.0 | 735M|1945 | - |3825 |9639 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
603.50/603.52 c 578s| 1000k|477609 | 0 | 0.0 | 742M|1945 | - |3825 | 12k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
607.50/607.56 c 582s| 1010k|485316 | 0 | 0.0 | 748M|1945 | - |3825 |5607 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
611.11/611.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.11/611.19 c 585s| 1020k|493005 | 0 | 0.0 | 756M|1945 | - |3825 |6223 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
615.10/615.10 c 589s| 1030k|500339 | 0 | 0.0 | 764M|1945 | - |3825 |6807 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
619.40/619.48 c 593s| 1040k|507235 | 0 | 0.0 | 772M|1945 | - |3825 |7505 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
625.61/625.63 c 599s| 1050k|512373 | 0 | 0.0 | 781M|1945 | - |3825 |8695 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
633.20/633.20 c 606s| 1060k|516146 | 0 | 0.0 | 790M|1945 | - |3825 |9596 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
643.01/643.07 c 615s| 1070k|517694 | 0 | 0.0 | 798M|1945 | - |3825 | 11k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
647.41/647.44 c 619s| 1080k|524944 | 0 | 0.0 | 803M|1945 | - |3825 |5917 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
651.11/651.17 c 623s| 1090k|532531 | 0 | 0.0 | 811M|1945 | - |3825 |6531 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
655.10/655.16 c 626s| 1100k|539780 | 0 | 0.0 | 819M|1945 | - |3825 |7049 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
659.61/659.66 c 631s| 1110k|546347 | 0 | 0.0 | 827M|1945 | - |3825 |7609 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
664.32/664.34 c 635s| 1120k|552593 | 0 | 0.0 | 834M|1945 | - |3825 |8337 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
670.41/670.44 c 641s| 1130k|557497 | 0 | 0.0 | 843M|1945 | - |3825 |9794 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
679.41/679.40 c 649s| 1140k|559733 | 0 | 0.0 | 850M|1945 | - |3825 | 12k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
684.40/684.48 c 654s| 1150k|566352 | 0 | 0.0 | 855M|1945 | - |3825 |5503 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
689.01/689.00 c 658s| 1160k|573209 | 0 | 0.0 | 863M|1945 | - |3825 |4757 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
693.50/693.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.50/693.58 c 662s| 1170k|579986 | 0 | 0.0 | 872M|1945 | - |3825 |4669 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
697.90/697.94 c 667s| 1180k|586835 | 0 | 0.0 | 880M|1945 | - |3825 |5134 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
702.31/702.32 c 671s| 1190k|593596 | 0 | 0.0 | 888M|1945 | - |3825 |6750 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
706.00/706.02 c 674s| 1200k|601342 | 0 | 0.0 | 896M|1945 | - |3825 |5567 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
710.10/710.14 c 678s| 1210k|608499 | 0 | 0.0 | 904M|1945 | - |3825 |4826 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
714.41/714.43 c 682s| 1220k|615427 | 0 | 0.0 | 912M|1945 | - |3825 |4808 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
718.70/718.77 c 686s| 1230k|622260 | 0 | 0.0 | 921M|1945 | - |3825 |6083 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
722.41/722.42 c 689s| 1240k|629930 | 0 | 0.0 | 929M|1945 | - |3825 |6108 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
726.11/726.14 c 692s| 1250k|637480 | 0 | 0.0 | 936M|1945 | - |3825 |5348 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
730.31/730.33 c 696s| 1260k|644413 | 0 | 0.0 | 944M|1945 | - |3825 |5316 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
734.40/734.47 c 700s| 1270k|651370 | 0 | 0.0 | 952M|1945 | - |3825 |5756 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
738.70/738.72 c 704s| 1280k|658283 | 0 | 0.0 | 960M|1945 | - |3825 |6029 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
742.01/742.02 c 707s| 1290k|666419 | 0 | 0.0 | 967M|1945 | - |3825 |5400 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
746.81/746.86 c 711s| 1300k|672634 | 0 | 0.0 | 976M|1945 | - |3825 |7839 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
751.11/751.10 c 715s| 1310k|679699 | 0 | 0.0 | 984M|1945 | - |3825 |6376 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
755.20/755.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.20/755.28 c 719s| 1320k|686731 | 0 | 0.0 | 992M|1945 | - |3825 |5792 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
759.51/759.59 c 723s| 1330k|693563 | 0 | 0.0 |1000M|1945 | - |3825 |5475 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
764.01/764.05 c 727s| 1340k|700247 | 0 | 0.0 |1008M|1945 | - |3825 |5349 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
768.51/768.58 c 732s| 1350k|706797 | 0 | 0.0 |1016M|1945 | - |3825 |4657 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
771.81/771.81 c 734s| 1360k|714956 | 0 | 0.0 |1024M|1945 | - |3825 |3949 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
778.61/778.66 c 741s| 1370k|718778 | 0 | 0.0 |1032M|1945 | - |3825 |6727 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
785.61/785.69 c 748s| 1380k|722921 | 0 | 0.0 |1040M|1945 | - |3825 |8251 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
792.71/792.78 c 754s| 1390k|727223 | 0 | 0.0 |1048M|1945 | - |3825 |8031 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
800.82/800.80 c 762s| 1400k|730791 | 0 | 0.0 |1056M|1945 | - |3825 |8308 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
808.71/808.74 c 769s| 1410k|734604 | 0 | 0.0 |1064M|1945 | - |3825 |9725 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
817.21/817.23 c 778s| 1420k|737969 | 0 | 0.0 |1072M|1945 | - |3825 | 11k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
826.61/826.69 c 787s| 1430k|740760 | 0 | 0.0 |1079M|1945 | - |3825 | 11k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
836.91/836.92 c 797s| 1440k|743159 | 0 | 0.0 |1086M|1945 | - |3825 | 11k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
846.71/846.78 c 806s| 1450k|746048 | 0 | 0.0 |1093M|1945 | - |3825 | 11k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
857.31/857.32 c 816s| 1460k|748266 | 0 | 0.0 |1100M|1945 | - |3825 | 13k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
869.21/869.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.21/869.20 c 828s| 1470k|749917 | 0 | 0.0 |1106M|1945 | - |3825 | 13k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
879.31/879.35 c 838s| 1480k|752782 | 0 | 0.0 |1115M|1945 | - |3825 | 14k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
891.81/891.82 c 850s| 1490k|754178 | 0 | 0.0 |1120M|1945 | - |3825 | 14k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
903.02/903.03 c 860s| 1500k|756736 | 0 | 0.0 |1128M|1945 | - |3825 | 14k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
916.21/916.27 c 873s| 1510k|757855 | 0 | 0.0 |1133M|1945 | - |3825 | 15k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
930.41/930.45 c 887s| 1520k|758639 | 0 | 0.0 |1139M|1945 | - |3825 | 15k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
944.61/944.61 c 901s| 1530k|759830 | 0 | 0.0 |1146M|1945 | - |3825 | 17k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
960.61/960.64 c 917s| 1540k|759823 | 0 | 0.0 |1151M|1945 | - |3825 | 17k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
974.92/974.93 c 930s| 1550k|761295 | 0 | 0.0 |1158M|1945 | - |3825 | 18k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
991.21/991.26 c 946s| 1560k|761526 | 0 | 0.0 |1162M|1945 | - |3825 | 18k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1007.01/1007.04 c 962s| 1570k|762544 | 0 | 0.0 |1170M|1945 | - |3825 | 19k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1025.02/1025.02 c 979s| 1580k|762088 | 0 | 0.0 |1172M|1945 | - |3825 | 20k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1042.21/1042.27 c 996s| 1590k|762314 | 0 | 0.0 |1180M|1945 | - |3825 | 20k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1061.62/1061.61 c 1015s| 1600k|761557 | 0 | 0.0 |1183M|1945 | - |3825 | 21k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1081.61/1081.68 c 1035s| 1610k|760511 | 0 | 0.0 |1186M|1945 | - |3825 | 22k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1100.61/1100.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.61/1100.67 c 1053s| 1620k|760381 | 0 | 0.0 |1192M|1945 | - |3825 | 21k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1121.02/1121.03 c 1073s| 1630k|759244 | 0 | 0.0 |1194M|1945 | - |3825 | 21k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1141.72/1141.78 c 1094s| 1640k|757540 | 0 | 0.0 |1195M|1945 | - |3825 | 20k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1162.22/1162.24 c 1114s| 1650k|755716 | 0 | 0.0 |1197M|1945 | - |3825 | 21k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1183.41/1183.46 c 1135s| 1660k|753621 | 0 | 0.0 |1199M|1945 | - |3825 | 21k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1205.02/1205.00 c 1156s| 1670k|751373 | 0 | 0.0 |1200M|1945 | - |3825 | 21k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1227.42/1227.49 c 1178s| 1680k|748201 | 0 | 0.0 |1199M|1945 | - |3825 | 22k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1250.73/1250.73 c 1201s| 1690k|744612 | 0 | 0.0 |1197M|1945 | - |3825 | 23k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1273.92/1273.91 c 1223s| 1700k|741208 | 0 | 0.0 |1195M|1945 | - |3825 | 23k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1298.72/1298.78 c 1248s| 1710k|736699 | 0 | 0.0 |1191M|1945 | - |3825 | 24k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1325.42/1325.42 c 1274s| 1720k|730739 | 0 | 0.0 |1182M|1945 | - |3825 | 26k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1354.52/1354.55 c 1302s| 1730k|721914 | 0 | 0.0 |1160M|1945 | - |3825 | 31k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1362.12/1362.17 c 1310s| 1740k|729058 | 0 | 0.0 |1160M|1945 | - |3825 |8184 | 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1367.23/1367.24 c 1314s| 1750k|736312 | 0 | 0.0 |1169M|1945 | - |3825 |6808 | 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1372.32/1372.33 c 1319s| 1760k|743439 | 0 | 0.0 |1178M|1945 | - |3825 |6708 | 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1377.32/1377.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.32/1377.39 c 1324s| 1770k|750551 | 0 | 0.0 |1187M|1945 | - |3825 |6839 | 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1382.52/1382.55 c 1328s| 1780k|757567 | 0 | 0.0 |1196M|1945 | - |3825 |6931 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1387.82/1387.89 c 1333s| 1790k|764455 | 0 | 0.0 |1204M|1945 | - |3825 |7020 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1393.02/1393.08 c 1338s| 1800k|771367 | 0 | 0.0 |1213M|1945 | - |3825 |7018 | 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1398.12/1398.16 c 1343s| 1810k|778377 | 0 | 0.0 |1222M|1945 | - |3825 |6890 | 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1403.92/1403.99 c 1348s| 1820k|784548 | 0 | 0.0 |1231M|1945 | - |3825 |7180 | 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1410.52/1410.58 c 1354s| 1830k|790446 | 0 | 0.0 |1239M|1945 | - |3825 |4478 | 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1416.32/1416.30 c 1360s| 1840k|796200 | 0 | 0.0 |1248M|1945 | - |3825 |5518 | 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1421.72/1421.76 c 1365s| 1850k|802181 | 0 | 0.0 |1256M|1945 | - |3825 |5024 | 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1427.52/1427.54 c 1370s| 1860k|807715 | 0 | 0.0 |1265M|1945 | - |3825 |5678 | 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1433.42/1433.42 c 1376s| 1870k|813187 | 0 | 0.0 |1273M|1945 | - |3825 |5775 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1439.02/1439.03 c 1381s| 1880k|818979 | 0 | 0.0 |1282M|1945 | - |3825 |5699 | 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1445.12/1445.15 c 1386s| 1890k|824176 | 0 | 0.0 |1291M|1945 | - |3825 |6124 | 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1450.83/1450.88 c 1392s| 1900k|829811 | 0 | 0.0 |1299M|1945 | - |3825 |5754 | 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1457.22/1457.21 c 1398s| 1910k|834812 | 0 | 0.0 |1307M|1945 | - |3825 |5322 | 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1463.53/1463.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.53/1463.57 c 1404s| 1920k|839878 | 0 | 0.0 |1316M|1945 | - |3825 |5417 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1469.93/1469.91 c 1410s| 1930k|844805 | 0 | 0.0 |1324M|1945 | - |3825 |6171 | 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1476.42/1476.48 c 1416s| 1940k|849604 | 0 | 0.0 |1333M|1945 | - |3825 |6054 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1483.02/1483.05 c 1422s| 1950k|854357 | 0 | 0.0 |1341M|1945 | - |3825 |6250 | 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1489.92/1489.90 c 1428s| 1960k|858880 | 0 | 0.0 |1350M|1945 | - |3825 |6285 | 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1496.62/1496.66 c 1435s| 1970k|863466 | 0 | 0.0 |1358M|1945 | - |3825 |6463 | 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1504.13/1504.12 c 1442s| 1980k|867468 | 0 | 0.0 |1367M|1945 | - |3825 |6546 | 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1511.02/1511.08 c 1448s| 1990k|871819 | 0 | 0.0 |1375M|1945 | - |3825 |6906 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1518.83/1518.82 c 1455s| 2000k|875520 | 0 | 0.0 |1384M|1945 | - |3825 |7147 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1526.12/1526.19 c 1462s| 2010k|879581 | 0 | 0.0 |1392M|1945 | - |3825 |6934 | 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1534.53/1534.56 c 1470s| 2020k|882783 | 0 | 0.0 |1401M|1945 | - |3825 |7326 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1542.43/1542.44 c 1478s| 2030k|886341 | 0 | 0.0 |1409M|1945 | - |3825 |7279 | 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1551.43/1551.48 c 1486s| 2040k|888858 | 0 | 0.0 |1417M|1945 | - |3825 |8298 | 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1559.93/1559.98 c 1494s| 2050k|892005 | 0 | 0.0 |1425M|1945 | - |3825 |8007 | 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1569.32/1569.39 c 1503s| 2060k|894284 | 0 | 0.0 |1432M|1945 | - |3825 |7646 | 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1579.23/1579.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.23/1579.24 c 1513s| 2070k|896138 | 0 | 0.0 |1440M|1945 | - |3825 |8241 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1588.72/1588.74 c 1522s| 2080k|898499 | 0 | 0.0 |1448M|1945 | - |3825 |8475 | 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1599.33/1599.30 c 1532s| 2090k|899678 | 0 | 0.0 |1455M|1945 | - |3825 |8570 | 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1610.33/1610.36 c 1542s| 2100k|900600 | 0 | 0.0 |1461M|1945 | - |3825 |8708 | 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1621.62/1621.61 c 1553s| 2110k|901405 | 0 | 0.0 |1467M|1945 | - |3825 |8886 | 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1632.62/1632.64 c 1564s| 2120k|902687 | 0 | 0.0 |1473M|1945 | - |3825 |8414 | 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1644.33/1644.32 c 1575s| 2130k|902916 | 0 | 0.0 |1476M|1945 | - |3825 |8640 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1654.12/1654.14 c 1584s| 2140k|905243 | 0 | 0.0 |1483M|1945 | - |3825 |7908 | 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1663.73/1663.74 c 1593s| 2150k|907501 | 0 | 0.0 |1488M|1945 | - |3825 |8062 | 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1665.93/1665.97 o 4
1665.93/1665.97 c *1595s| 2152k|891808 | 0 | 0.0 |1424M|1945 | - |3825 |8100 | 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1673.83/1673.85 c 1603s| 2160k|893658 | 0 | 0.0 |1436M|1945 | - |3825 |7785 | 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1683.43/1683.48 c 1612s| 2170k|896769 | 0 | 0.0 |1446M|1945 | - |3825 |8873 | 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1692.53/1692.51 c 1620s| 2180k|900609 | 0 | 0.0 |1454M|1945 | - |3825 |8460 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1701.93/1701.96 c 1629s| 2190k|903763 | 0 | 0.0 |1461M|1945 | - |3825 |9401 | 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1710.83/1710.86 c 1638s| 2200k|907604 | 0 | 0.0 |1469M|1945 | - |3825 |9604 | 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1719.93/1719.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.93/1719.94 c 1646s| 2210k|911264 | 0 | 0.0 |1476M|1945 | - |3825 | 10k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1728.63/1728.66 c 1655s| 2220k|915195 | 0 | 0.0 |1484M|1945 | - |3825 | 10k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1737.33/1737.37 c 1663s| 2230k|919184 | 0 | 0.0 |1490M|1945 | - |3825 |4471 | 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1744.73/1744.73 c 1670s| 2240k|923249 | 0 | 0.0 |1497M|1945 | - |3825 |6597 | 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1752.73/1752.70 c 1677s| 2250k|926615 | 0 | 0.0 |1504M|1945 | - |3825 |8045 | 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1761.43/1761.44 c 1685s| 2260k|929647 | 0 | 0.0 |1512M|1945 | - |3825 |9313 | 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1770.73/1770.72 c 1694s| 2270k|932389 | 0 | 0.0 |1519M|1945 | - |3825 |9038 | 0 | 0 | 0 |2017k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1780.73/1780.70 c 1704s| 2280k|934534 | 0 | 0.0 |1526M|1945 | - |3825 | 10k| 0 | 0 | 0 |2028k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1790.93/1790.94 c 1714s| 2290k|936744 | 0 | 0.0 |1533M|1945 | - |3825 | 10k| 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1722.15
1800.04/1800.01 c Solving Nodes : 2298581
1800.04/1800.01 c Primal Bound : +4.00000000000000e+00 (34 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 x191 -x190 -x189
1800.04/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.04/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.04/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.04/1800.05 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.04/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.04/1800.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 x54
1800.04/1800.05 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29
1800.04/1800.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.04/1800.05 v -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1722.15
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2694093-1277904984.wbo
1800.04/1800.05 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.04/1800.05 c Constraints : 4571 initial, 4571 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2694093-1277904984.wbo
1800.04/1800.05 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.04/1800.05 c Constraints : 4418 initial, 31993 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.07 0 0 0 1878 0 87 72 0
1800.04/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1763 - - 3526 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 1797 0 4588881 0 1252234 344 1915092 0 0 0
1800.04/1800.05 c setppc : 5 0 7466351 0 1804887 1444 2044204 0 0 0
1800.04/1800.05 c linear : 1797 0 7669927 0 1843978 490724 41443585 0 0 0
1800.04/1800.05 c logicor : 819+ 0 4742539 0 1843994 216541 7556954 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 131152 0 0 0 9 0 0 0
1800.04/1800.05 c countsols : 0 0 0 0 1843991 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c indicator : 21.00 0.00 7.69 0.00 13.31
1800.04/1800.05 c setppc : 9.17 0.00 8.14 0.00 1.03
1800.04/1800.05 c linear : 332.74 0.00 331.75 0.00 0.99
1800.04/1800.05 c logicor : 402.99 0.00 353.92 0.00 49.07
1800.04/1800.05 c bounddisjunction : 0.19 0.00 0.19 0.00 0.00
1800.04/1800.05 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.33 2 0 0
1800.04/1800.05 c rootredcost : 0.31 0 0 0
1800.04/1800.05 c pseudoobj : 268.84 7675904 4240 1776360
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 34.37 712949 712947 3404873 20.6 141670 10.1 -
1800.04/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.01 53 53 228 21.0 97 9.6 -
1800.04/1800.05 c applied globally : - - - 2050420 18.5 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.05 c redcost : 0.00 0 0 0 0 0
1800.04/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.00 0 0 0 0 0
1800.04/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.05 c cmir : 0.00 0 0 0 0 0
1800.04/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.05 c clique : 0.00 0 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 0 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 40.64 1843957 0 0 0 0 3687914
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.00 - 0
1800.04/1800.05 c pseudo solutions : 0.18 - 34
1800.04/1800.05 c oneopt : 0.17 0 0
1800.04/1800.05 c trivial : 0.02 2 0
1800.04/1800.05 c simplerounding : 0.00 0 0
1800.04/1800.05 c zirounding : 0.00 0 0
1800.04/1800.05 c rounding : 0.00 0 0
1800.04/1800.05 c shifting : 0.00 0 0
1800.04/1800.05 c intshifting : 0.00 0 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c feaspump : 0.00 0 0
1800.04/1800.05 c coefdiving : 0.00 0 0
1800.04/1800.05 c pscostdiving : 0.00 0 0
1800.04/1800.05 c fracdiving : 0.00 0 0
1800.04/1800.05 c veclendiving : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c objpscostdiving : 0.00 0 0
1800.04/1800.05 c rootsoldiving : 0.00 0 0
1800.04/1800.05 c linesearchdiving : 0.00 0 0
1800.04/1800.05 c guideddiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.00 0 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c crossover : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.10 0 0
1800.04/1800.05 c trysol : 0.19 1 0
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.05 c (at root node) : - 0 0 0.00 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 2298581
1800.04/1800.05 c nodes (total) : 2298581
1800.04/1800.05 c nodes left : 938486
1800.04/1800.05 c max depth : 1945
1800.04/1800.05 c max depth (total): 1945
1800.04/1800.05 c backtracks : 438596 (19.1%)
1800.04/1800.05 c delayed cutoffs : 345085
1800.04/1800.05 c repropagations : 1681425 (16450135 domain reductions, 258756 cutoffs)
1800.04/1800.05 c avg switch length: 35.66
1800.04/1800.05 c switching time : 533.49
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 34 (34 improvements)
1800.04/1800.05 c First Solution : +8.80000000000000e+02 (in run 1, after 114908 nodes, 34.96 seconds, depth 417, found by <relaxation>)
1800.04/1800.05 c Primal Bound : +4.00000000000000e+00 (in run 1, after 2152938 nodes, 1595.18 seconds, depth 222, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694093-1277904984/watcher-2694093-1277904984 -o /tmp/evaluation-result-2694093-1277904984/solver-2694093-1277904984 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694093-1277904984.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/178 15944 /proc/meminfo: memFree=31061220/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=8276 CPUtime=0 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 1549 0 0 0 0 0 0 0 25 0 1 0 131793892 8474624 1471 4089446400 4194304 7136930 140733974888048 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15944/statm: 2069 1471 275 719 0 1348 0 [startup+0.0923621 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15944 /proc/meminfo: memFree=31061220/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=28312 CPUtime=0.08 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 7215 0 0 0 8 0 0 0 25 0 1 0 131793892 28991488 6269 4089446400 4194304 7136930 140733974888048 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15944/statm: 7078 6269 354 719 0 6357 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 28312 [startup+0.10036 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15944 /proc/meminfo: memFree=31061220/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=28312 CPUtime=0.09 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 7472 0 0 0 9 0 0 0 25 0 1 0 131793892 28991488 6269 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15944/statm: 7078 6269 354 719 0 6357 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28312 [startup+0.300335 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15944 /proc/meminfo: memFree=31061220/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=30360 CPUtime=0.29 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 10866 0 0 0 27 2 0 0 25 0 1 0 131793892 31088640 6836 4089446400 4194304 7136930 140733974888048 18446744073709551615 4696940 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15944/statm: 7590 6836 391 719 0 6869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30360 [startup+0.700252 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15944 /proc/meminfo: memFree=31061220/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=32100 CPUtime=0.69 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 11322 0 0 0 66 3 0 0 25 0 1 0 131793892 32870400 7292 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15944/statm: 8025 7292 395 719 0 7304 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32100 [startup+1.50011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15945 /proc/meminfo: memFree=31032568/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=34988 CPUtime=1.49 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 12045 0 0 0 143 6 0 0 25 0 1 0 131793892 35827712 8015 4089446400 4194304 7136930 140733974888048 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 8747 8015 395 719 0 8026 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34988 [startup+3.10081 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15945 /proc/meminfo: memFree=31029592/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=40704 CPUtime=3.09 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 13503 0 0 0 299 10 0 0 25 0 1 0 131793892 41680896 9473 4089446400 4194304 7136930 140733974888048 18446744073709551615 5951022 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 10176 9473 395 719 0 9455 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40704 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15945 /proc/meminfo: memFree=31015432/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=52828 CPUtime=6.29 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 16523 0 0 0 609 20 0 0 25 0 1 0 131793892 54095872 12493 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 13207 12493 395 719 0 12486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52828 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15945 /proc/meminfo: memFree=30995248/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=71492 CPUtime=12.69 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 21224 0 0 0 1235 34 0 0 25 0 1 0 131793892 73207808 17194 4089446400 4194304 7136930 140733974888048 18446744073709551615 5507410 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 17873 17194 395 719 0 17152 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71492 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15945 /proc/meminfo: memFree=30978672/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=89124 CPUtime=25.49 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 25290 0 0 0 2481 68 0 0 25 0 1 0 131793892 91262976 21260 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 22281 21260 395 719 0 21560 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89124 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15946 /proc/meminfo: memFree=30938200/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=130680 CPUtime=51.09 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 35634 0 0 0 4982 127 0 0 25 0 1 0 131793892 133816320 31604 4089446400 4194304 7136930 140733974888048 18446744073709551615 4983099 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 32670 31604 398 719 0 31949 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 130680 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15947 /proc/meminfo: memFree=30858552/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=208496 CPUtime=102.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 55009 0 0 0 10007 223 0 0 25 0 1 0 131793892 213499904 50979 4089446400 4194304 7136930 140733974888048 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 52124 50979 398 719 0 51403 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 208496 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15949 /proc/meminfo: memFree=30760300/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=310000 CPUtime=162.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 79595 0 0 0 15892 338 0 0 25 0 1 0 131793892 317440000 75565 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15944/statm: 77500 75565 398 719 0 76779 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 310000 [startup+222.301 s] /proc/loadavg: 1.85 1.97 1.99 2/198 16010 /proc/meminfo: memFree=30511144/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=431568 CPUtime=222.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 109149 0 0 0 21725 505 0 0 25 0 1 0 131793892 441925632 105119 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 107892 105119 398 719 0 107171 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 431568 [startup+282.301 s] /proc/loadavg: 2.57 2.15 2.05 4/200 16017 /proc/meminfo: memFree=30377548/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=487808 CPUtime=282.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 123316 0 0 0 27460 770 0 0 25 0 1 0 131793892 499515392 119286 4089446400 4194304 7136930 140733974888048 18446744073709551615 4210021 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 121952 119286 398 719 0 121231 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 487808 [startup+342.301 s] /proc/loadavg: 3.17 2.38 2.13 4/200 16019 /proc/meminfo: memFree=30324780/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=528764 CPUtime=342.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 133400 0 0 0 33247 983 0 0 25 0 1 0 131793892 541454336 129370 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 132191 129370 398 719 0 131470 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 528764 [startup+402.301 s] /proc/loadavg: 2.96 2.46 2.18 4/200 16020 /proc/meminfo: memFree=30278464/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=567920 CPUtime=402.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 143013 0 0 0 38938 1292 0 0 25 0 1 0 131793892 581550080 138956 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 141980 138956 398 719 0 141259 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 567920 [startup+462.301 s] /proc/loadavg: 2.99 2.56 2.22 4/200 16022 /proc/meminfo: memFree=30170400/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=670888 CPUtime=462.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 167890 0 0 0 44542 1688 0 0 25 0 1 0 131793892 686989312 163833 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 167722 163833 398 719 0 167001 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 670888 [startup+522.301 s] /proc/loadavg: 3.15 2.70 2.29 4/200 16024 /proc/meminfo: memFree=30077948/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=757576 CPUtime=522.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 189433 0 0 0 50163 2067 0 0 25 0 1 0 131793892 775757824 185376 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 189394 185376 398 719 0 188673 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 757576 [startup+582.301 s] /proc/loadavg: 3.02 2.74 2.33 3/200 16025 /proc/meminfo: memFree=29982156/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=854512 CPUtime=582.3 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 211585 0 0 0 55809 2421 0 0 25 0 1 0 131793892 875020288 207528 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 213628 207528 398 719 0 212907 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 854512 [startup+642.301 s] /proc/loadavg: 2.96 2.77 2.36 4/200 16027 /proc/meminfo: memFree=29907536/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=923512 CPUtime=642.31 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 229024 0 0 0 61452 2779 0 0 25 0 1 0 131793892 945676288 224967 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 230878 224967 398 719 0 230157 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 923512 [startup+702.301 s] ################ # More data... # ################ /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 323373 0 0 0 95718 4513 0 0 25 0 1 0 131793892 1329647616 319316 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 324621 319316 398 719 0 323900 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1298484 [startup+1062.3 s] /proc/loadavg: 2.92 2.87 2.55 3/200 16038 /proc/meminfo: memFree=29489208/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1311848 CPUtime=1062.31 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 326729 0 0 0 101591 4640 0 0 25 0 1 0 131793892 1343332352 322672 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 327962 322672 398 719 0 327241 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1311848 [startup+1122.3 s] /proc/loadavg: 3.24 3.00 2.61 4/200 16040 /proc/meminfo: memFree=29474608/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1321924 CPUtime=1122.31 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 329296 0 0 0 107475 4756 0 0 25 0 1 0 131793892 1353650176 325239 4089446400 4194304 7136930 140733974888048 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 330481 325239 398 719 0 329760 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1321924 [startup+1182.3 s] /proc/loadavg: 3.00 2.97 2.62 4/200 16041 /proc/meminfo: memFree=29464740/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1328208 CPUtime=1182.31 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 330914 0 0 0 113357 4874 0 0 25 0 1 0 131793892 1360084992 326857 4089446400 4194304 7136930 140733974888048 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 332052 326857 398 719 0 331331 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1328208 [startup+1242.3 s] /proc/loadavg: 2.40 2.80 2.59 3/179 16073 /proc/meminfo: memFree=29707956/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1332540 CPUtime=1242.32 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 331933 0 0 0 119235 4997 0 0 25 0 1 0 131793892 1364520960 327876 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 333135 327876 398 719 0 332414 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1332540 [startup+1302.3 s] /proc/loadavg: 2.14 2.65 2.55 3/179 16074 /proc/meminfo: memFree=29698004/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1335612 CPUtime=1302.32 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 332720 0 0 0 125109 5123 0 0 25 0 1 0 131793892 1367666688 328663 4089446400 4194304 7136930 140733974888048 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 333903 328663 398 719 0 333182 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1335612 [startup+1362.3 s] /proc/loadavg: 2.05 2.53 2.51 3/179 16076 /proc/meminfo: memFree=29691764/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1336712 CPUtime=1362.31 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 333014 0 0 0 130965 5266 0 0 25 0 1 0 131793892 1368793088 328957 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 334178 328957 398 719 0 333457 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1336712 [startup+1422.31 s] /proc/loadavg: 2.02 2.43 2.48 3/179 16078 /proc/meminfo: memFree=29637880/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1389776 CPUtime=1422.33 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 346322 0 0 0 136532 5701 0 0 25 0 1 0 131793892 1423130624 342265 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 347444 342265 398 719 0 346723 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1389776 [startup+1482.3 s] /proc/loadavg: 2.00 2.35 2.44 3/179 16088 /proc/meminfo: memFree=29549920/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1471140 CPUtime=1482.32 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 366458 0 0 0 142125 6107 0 0 25 0 1 0 131793892 1506447360 362401 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 367785 362401 398 719 0 367064 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1471140 [startup+1542.3 s] /proc/loadavg: 2.00 2.28 2.41 3/179 16090 /proc/meminfo: memFree=29481516/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1541532 CPUtime=1542.32 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 383939 0 0 0 147762 6470 0 0 25 0 1 0 131793892 1578528768 379882 4089446400 4194304 7136930 140733974888048 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 385383 379882 398 719 0 384662 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1541532 [startup+1602.3 s] /proc/loadavg: 2.00 2.23 2.39 3/179 16091 /proc/meminfo: memFree=29428396/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1592364 CPUtime=1602.33 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 396373 0 0 0 153461 6772 0 0 25 0 1 0 131793892 1630580736 392316 4089446400 4194304 7136930 140733974888048 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15944/statm: 398091 392316 398 719 0 397370 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1592364 [startup+1662.3 s] /proc/loadavg: 2.06 2.20 2.36 3/179 16093 /proc/meminfo: memFree=29397980/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1622936 CPUtime=1662.32 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 403980 0 0 0 159181 7051 0 0 25 0 1 0 131793892 1661886464 399923 4089446400 4194304 7136930 140733974888048 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15944/statm: 405734 399923 398 719 0 405013 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1622936 [startup+1722.3 s] /proc/loadavg: 2.02 2.16 2.34 3/179 16095 /proc/meminfo: memFree=29379220/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1640524 CPUtime=1722.33 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 408454 0 0 0 164858 7375 0 0 25 0 1 0 131793892 1679896576 404397 4089446400 4194304 7136930 140733974888048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15944/statm: 410131 404397 398 719 0 409410 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1640524 [startup+1782.3 s] /proc/loadavg: 2.00 2.13 2.31 3/179 16096 /proc/meminfo: memFree=29330308/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1686344 CPUtime=1782.34 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 420032 0 0 0 170532 7702 0 0 25 0 1 0 131793892 1726816256 415975 4089446400 4194304 7136930 140733974888048 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15944/statm: 421586 415975 398 719 0 420865 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1686344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.12 2.31 3/179 16097 /proc/meminfo: memFree=29314668/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1701288 CPUtime=1800.04 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 423812 0 0 0 172216 7788 0 0 25 0 1 0 131793892 1742118912 419755 4089446400 4194304 7136930 140733974888048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15944/statm: 425322 419755 398 719 0 424601 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1701288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15944 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.12 2.31 3/180 16098 /proc/meminfo: memFree=29314660/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1700772 CPUtime=1801.44 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 423817 0 0 0 172356 7788 0 0 25 0 1 0 131793892 1741590528 419631 4089446400 4194304 7136930 140733974888048 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15944/statm: 425193 419631 403 719 0 424472 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1700772 [startup+1801.81 s] /proc/loadavg: 2.00 2.12 2.31 3/180 16098 /proc/meminfo: memFree=29315528/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1699740 CPUtime=1801.84 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 423817 0 0 0 172396 7788 0 0 25 0 1 0 131793892 1740533760 419373 4089446400 4194304 7136930 140733974888048 18446744073709551615 6165685 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15944/statm: 424935 419373 403 719 0 424214 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1699740 [startup+1802 s] /proc/loadavg: 2.00 2.12 2.31 3/180 16098 /proc/meminfo: memFree=29315528/32951124 swapFree=67111528/67111528 [pid=15944] ppid=15942 vsize=1697692 CPUtime=1802.04 /proc/15944/stat : 15944 (pbscip.linux.x8) R 15942 15944 15584 0 -1 4202496 423817 0 0 0 172416 7788 0 0 25 0 1 0 131793892 1738436608 418861 4089446400 4194304 7136930 140733974888048 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15944/statm: 424423 418861 403 719 0 423702 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1697692 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1724.17 CPU system time (s): 77.9371 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1701288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.17 system time used= 77.9372 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 423817 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= 1 involuntary context switches= 1707 runsolver used 2.45363 second user time and 5.79012 second system time The end
Begin job on node139 at 2010-06-30 15:36:24 IDJOB=2694093 IDBENCH=78925 IDSOLVER=1206 FILE ID=node139/2694093-1277904984 PBS_JOBID= 11197246 Free space on /tmp= 74124 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.1900554420--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-2694093-1277904984/watcher-2694093-1277904984 -o /tmp/evaluation-result-2694093-1277904984/solver-2694093-1277904984 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694093-1277904984.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2c7bc414eea5148dc6372ccd38f2fe74 RANDOM SEED=2015876916 node139.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.840 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.68 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.840 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.75 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.840 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.82 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.840 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.840 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.78 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.82 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.840 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: 32951124 kB MemFree: 31061872 kB Buffers: 193488 kB Cached: 1471780 kB SwapCached: 0 kB Active: 750016 kB Inactive: 993336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31061872 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 77980 kB Mapped: 15652 kB Slab: 82512 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 224880 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= 74116 MiB End job on node139 at 2010-06-30 16:06:26