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.13 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo |
| MD5SUM | cf389047fd441928b15b38cce26251ed |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 273.451 |
| 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 | 2707 |
| 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 | 135280 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135279 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 685 |
| 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-2693641-1277928124.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 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.09/0.12 o 135279
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.352790e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
3.20/3.28 c 3.0s| 10000 | 9628 | 0 | 0.0 | 24M|2816 | - |5645 |6770 | 0 | 0 | 0 |1356 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
5.89/5.92 c 5.5s| 20000 | 19628 | 0 | 0.0 | 28M|2816 | - |5645 |6770 | 0 | 0 | 0 |1356 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
7.29/7.38 o 498
7.29/7.38 c * 6.9s| 27268 | 13911 | 0 | 0.0 | 27M|2816 | - |5645 |6770 | 0 | 0 | 0 |1356 | 0 | 0.000000e+00 | 4.980000e+02 | Inf
7.79/7.86 o 227
7.79/7.86 c * 7.3s| 29720 | 8496 | 0 | 0.0 | 24M|2816 | - |5645 |6800 | 0 | 0 | 0 |1387 | 0 | 0.000000e+00 | 2.270000e+02 | Inf
7.89/7.93 c 7.4s| 30000 | 8757 | 0 | 0.0 | 25M|2816 | - |5645 |6895 | 0 | 0 | 0 |1490 | 0 | 0.000000e+00 | 2.270000e+02 | Inf
11.39/11.44 c 10.7s| 40000 | 16946 | 0 | 0.0 | 37M|2816 | - |5645 |8141 | 0 | 0 | 0 |9841 | 0 | 0.000000e+00 | 2.270000e+02 | Inf
17.09/17.13 c 16.1s| 50000 | 22866 | 0 | 0.0 | 50M|2816 | - |5645 | 10k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
18.19/18.26 o 214
18.19/18.26 c *17.2s| 51928 | 24589 | 0 | 0.0 | 52M|2816 | - |5645 |9591 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
19.10/19.15 o 205
19.10/19.15 c *18.0s| 53385 | 25863 | 0 | 0.0 | 53M|2816 | - |5645 |8947 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
19.39/19.42 o 198
19.39/19.42 c *18.3s| 53813 | 26144 | 0 | 0.0 | 53M|2816 | - |5645 |8869 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
19.39/19.47 o 180
19.39/19.47 c *18.3s| 53996 | 25807 | 0 | 0.0 | 53M|2816 | - |5645 |8871 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
19.99/20.04 o 161
19.99/20.04 c *18.9s| 54886 | 26288 | 0 | 0.0 | 54M|2816 | - |5645 |8766 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
20.89/20.99 o 149
20.89/20.99 c *19.8s| 56245 | 27046 | 0 | 0.0 | 55M|2816 | - |5645 |8756 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
20.99/21.04 o 145
20.99/21.04 c *19.9s| 56327 | 27018 | 0 | 0.0 | 55M|2816 | - |5645 |8751 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
20.99/21.05 o 128
20.99/21.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.05 c *19.9s| 56328 | 26452 | 0 | 0.0 | 54M|2816 | - |5645 |8751 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
22.99/23.10 o 125
22.99/23.10 c *21.9s| 58773 | 28547 | 0 | 0.0 | 60M|2816 | - |5645 |8398 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
23.10/23.10 o 115
23.10/23.10 c *21.9s| 58774 | 28248 | 0 | 0.0 | 59M|2816 | - |5645 |8398 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
23.89/23.90 c 22.6s| 60000 | 29398 | 0 | 0.0 | 60M|2816 | - |5645 |8123 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
25.79/25.86 o 101
25.79/25.86 c *24.5s| 62414 | 31109 | 0 | 0.0 | 64M|2816 | - |5645 |8634 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
28.79/28.87 o 97
28.79/28.87 c *27.4s| 66685 | 34327 | 0 | 0.0 | 72M|2816 | - |5645 |8653 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
30.70/30.74 o 92
30.70/30.74 c *29.2s| 68937 | 35944 | 0 | 0.0 | 75M|2816 | - |5645 |8449 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
31.39/31.49 c 29.9s| 70000 | 36873 | 0 | 0.0 | 77M|2816 | - |5645 |8366 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
33.89/34.00 o 89
33.89/34.00 c *32.3s| 72834 | 39117 | 0 | 0.0 | 81M|2816 | - |5645 |8285 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
35.39/35.42 o 88
35.39/35.42 c *33.6s| 75380 | 41031 | 0 | 0.0 | 82M|2816 | - |5645 |8004 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
36.49/36.58 o 62
36.49/36.58 c *34.8s| 76727 | 39800 | 0 | 0.0 | 78M|2816 | - |5645 |8925 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
36.49/36.59 o 55
36.49/36.59 c *34.8s| 76728 | 39384 | 0 | 0.0 | 76M|2816 | - |5645 |8925 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
38.19/38.24 o 52
38.19/38.24 c *36.3s| 79936 | 41889 | 0 | 0.0 | 79M|2816 | - |5645 |8588 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
38.29/38.39 c 36.5s| 80000 | 41940 | 0 | 0.0 | 79M|2816 | - |5645 |7510 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
40.19/40.23 o 46
40.19/40.23 c *38.2s| 82851 | 43628 | 0 | 0.0 | 80M|2816 | - |5645 |7580 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
40.40/40.40 o 40
40.40/40.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.40/40.40 c *38.4s| 83121 | 43222 | 0 | 0.0 | 77M|2816 | - |5645 |7719 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
40.89/40.95 o 34
40.89/40.95 c *38.9s| 84197 | 42885 | 0 | 0.0 | 76M|2816 | - |5645 |8065 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
41.89/41.94 o 19
41.89/41.94 c *39.8s| 86356 | 43503 | 0 | 0.0 | 77M|2816 | - |5645 |8149 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
43.39/43.45 c 41.3s| 90000 | 46549 | 0 | 0.0 | 81M|2816 | - |5645 |8273 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
45.99/46.03 o 13
45.99/46.03 c *43.7s| 95255 | 50062 | 0 | 0.0 | 87M|2816 | - |5645 |8633 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
45.99/46.03 o 6
45.99/46.03 c *43.7s| 95256 | 49335 | 0 | 0.0 | 86M|2816 | - |5645 |8633 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
47.99/48.06 c 45.6s|100000 | 53177 | 0 | 0.0 | 92M|2816 | - |5645 |8638 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
52.10/52.16 c 49.4s|110000 | 61291 | 0 | 0.0 | 104M|2816 | - |5645 |7387 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
56.39/56.49 c 53.5s|120000 | 69056 | 0 | 0.0 | 115M|2816 | - |5645 |8042 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
61.19/61.22 c 58.0s|130000 | 76459 | 0 | 0.0 | 126M|2816 | - |5645 |8597 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
66.09/66.10 c 62.6s|140000 | 83732 | 0 | 0.0 | 136M|2816 | - |5645 |9146 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
71.20/71.20 c 67.4s|150000 | 90783 | 0 | 0.0 | 147M|2816 | - |5645 |9644 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
76.49/76.50 c 72.5s|160000 | 97620 | 0 | 0.0 | 158M|2816 | - |5645 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
82.29/82.33 c 78.0s|170000 |104065 | 0 | 0.0 | 169M|2816 | - |5645 | 10k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
88.49/88.52 c 84.0s|180000 |110212 | 0 | 0.0 | 179M|2816 | - |5645 | 11k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
95.20/95.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.20/95.28 c 90.5s|190000 |115926 | 0 | 0.0 | 190M|2816 | - |5645 | 12k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
102.90/102.97 c 97.9s|200000 |120974 | 0 | 0.0 | 201M|2816 | - |5645 | 14k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
112.70/112.72 c 107s|210000 |124525 | 0 | 0.0 | 210M|2816 | - |5645 | 15k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
125.59/125.68 c 120s|220000 |125896 | 0 | 0.0 | 217M|2816 | - |5645 | 15k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
130.10/130.10 c 124s|230000 |134592 | 0 | 0.0 | 223M|2816 | - |5645 |6989 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
135.10/135.14 c 129s|240000 |142789 | 0 | 0.0 | 232M|2816 | - |5645 |7891 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
142.69/142.77 c 136s|250000 |149660 | 0 | 0.0 | 244M|2816 | - |5645 | 10k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
143.60/143.62 o 4
143.60/143.62 c * 137s|250768 |149480 | 0 | 0.0 | 244M|2816 | - |5645 | 10k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.70/150.72 c 144s|260000 |155048 | 0 | 0.0 | 253M|2816 | - |5645 |8877 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
157.80/157.89 c 151s|270000 |160516 | 0 | 0.0 | 264M|2816 | - |5645 |9702 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
161.80/161.86 o 3
161.80/161.86 c * 154s|277909 |166563 | 0 | 0.0 | 273M|2816 | - |5645 | 10k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
163.50/163.56 c 156s|280000 |167860 | 0 | 0.0 | 276M|2816 | - |5645 | 11k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
165.19/165.26 o 2
165.19/165.26 c * 158s|281785 |167124 | 0 | 0.0 | 275M|2816 | - |5645 | 11k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
169.99/170.05 c 162s|290000 |172846 | 0 | 0.0 | 285M|2816 | - |5645 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
177.20/177.23 c 169s|300000 |178866 | 0 | 0.0 | 298M|2816 | - |5645 | 10k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
184.29/184.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.29/184.35 c 176s|310000 |185161 | 0 | 0.0 | 313M|2816 | - |5645 | 12k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
190.39/190.48 c 182s|320000 |192046 | 0 | 0.0 | 324M|2816 | - |5645 | 13k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
196.90/196.94 c 188s|330000 |198936 | 0 | 0.0 | 338M|2816 | - |5645 | 11k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
203.00/203.00 c 194s|340000 |206658 | 0 | 0.0 | 353M|2816 | - |5645 | 13k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
213.70/213.72 c 204s|350000 |210959 | 0 | 0.0 | 362M|2816 | - |5645 | 13k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
219.40/219.40 c 210s|360000 |218432 | 0 | 0.0 | 373M|2816 | - |5645 | 15k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
225.90/225.95 c 216s|370000 |225401 | 0 | 0.0 | 383M|2816 | - |5645 | 13k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
233.80/233.86 c 223s|380000 |231723 | 0 | 0.0 | 405M|2816 | - |5645 | 15k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
240.90/240.94 c 230s|390000 |239390 | 0 | 0.0 | 441M|2816 | - |5645 | 12k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
247.90/247.92 c 237s|400000 |244627 | 0 | 0.0 | 450M|2816 | - |5645 | 13k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
252.40/252.45 c 241s|410000 |252281 | 0 | 0.0 | 460M|2816 | - |5645 | 12k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
257.70/257.79 c 246s|420000 |259061 | 0 | 0.0 | 469M|2816 | - |5645 | 11k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
263.30/263.32 c 251s|430000 |265765 | 0 | 0.0 | 478M|2816 | - |5645 | 11k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
268.70/268.75 c 256s|440000 |272644 | 0 | 0.0 | 487M|2816 | - |5645 | 11k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
272.81/272.81 c 260s|450000 |280793 | 0 | 0.0 | 497M|2816 | - |5645 | 11k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
277.80/277.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.80/277.83 c 265s|460000 |287973 | 0 | 0.0 | 506M|2816 | - |5645 | 12k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
284.49/284.57 c 271s|470000 |293833 | 0 | 0.0 | 517M|2816 | - |5645 | 13k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
290.10/290.15 c 277s|480000 |300702 | 0 | 0.0 | 527M|2816 | - |5645 | 12k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
295.60/295.67 c 282s|490000 |307569 | 0 | 0.0 | 537M|2816 | - |5645 | 12k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
300.70/300.72 c 287s|500000 |314762 | 0 | 0.0 | 547M|2816 | - |5645 | 12k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
305.50/305.50 c 291s|510000 |322156 | 0 | 0.0 | 556M|2816 | - |5645 | 12k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
310.29/310.35 c 296s|520000 |329458 | 0 | 0.0 | 565M|2816 | - |5645 | 11k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
314.00/314.07 c 299s|530000 |337722 | 0 | 0.0 | 574M|2816 | - |5645 | 11k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
319.00/319.08 c 304s|540000 |344891 | 0 | 0.0 | 584M|2816 | - |5645 | 12k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
324.90/324.90 c 309s|550000 |351481 | 0 | 0.0 | 593M|2816 | - |5645 | 12k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
328.70/328.75 c 313s|560000 |359661 | 0 | 0.0 | 602M|2816 | - |5645 | 11k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
333.49/333.52 c 318s|570000 |366979 | 0 | 0.0 | 612M|2816 | - |5645 | 12k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
339.29/339.36 c 323s|580000 |373456 | 0 | 0.0 | 621M|2816 | - |5645 | 12k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
343.89/343.99 c 327s|590000 |380784 | 0 | 0.0 | 630M|2816 | - |5645 | 12k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
348.71/348.74 c 332s|600000 |388116 | 0 | 0.0 | 639M|2816 | - |5645 | 12k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
354.40/354.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.40/354.42 c 337s|610000 |394674 | 0 | 0.0 | 650M|2816 | - |5645 | 12k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
360.89/360.91 c 343s|620000 |400974 | 0 | 0.0 | 660M|2816 | - |5645 | 13k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
367.80/367.83 c 350s|630000 |407002 | 0 | 0.0 | 671M|2816 | - |5645 | 13k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
374.70/374.79 c 357s|640000 |413048 | 0 | 0.0 | 681M|2816 | - |5645 | 13k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
382.10/382.16 c 364s|650000 |418670 | 0 | 0.0 | 691M|2816 | - |5645 | 13k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
389.90/389.93 c 371s|660000 |424000 | 0 | 0.0 | 702M|2816 | - |5645 | 14k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
398.21/398.26 c 379s|670000 |429071 | 0 | 0.0 | 712M|2816 | - |5645 | 14k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
406.80/406.85 c 388s|680000 |433828 | 0 | 0.0 | 722M|2816 | - |5645 | 14k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
415.30/415.37 c 396s|690000 |438695 | 0 | 0.0 | 732M|2816 | - |5645 | 14k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
424.10/424.18 c 404s|700000 |443360 | 0 | 0.0 | 742M|2816 | - |5645 | 15k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
433.10/433.16 c 413s|710000 |447915 | 0 | 0.0 | 752M|2816 | - |5645 | 16k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
442.00/442.07 c 422s|720000 |452509 | 0 | 0.0 | 762M|2816 | - |5645 | 16k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
451.51/451.59 c 431s|730000 |456713 | 0 | 0.0 | 772M|2816 | - |5645 | 16k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
460.81/460.88 c 440s|740000 |461067 | 0 | 0.0 | 782M|2816 | - |5645 | 16k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
470.11/470.13 c 449s|750000 |465458 | 0 | 0.0 | 792M|2816 | - |5645 | 17k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
480.01/480.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.01/480.09 c 458s|760000 |469368 | 0 | 0.0 | 802M|2816 | - |5645 | 17k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.40/490.44 c 468s|770000 |473091 | 0 | 0.0 | 811M|2816 | - |5645 | 17k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
500.81/500.81 c 478s|780000 |476788 | 0 | 0.0 | 821M|2816 | - |5645 | 17k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
510.60/510.68 c 488s|790000 |480785 | 0 | 0.0 | 831M|2816 | - |5645 | 18k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.90/521.94 c 499s|800000 |483927 | 0 | 0.0 | 840M|2816 | - |5645 | 18k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
533.51/533.50 c 510s|810000 |486967 | 0 | 0.0 | 849M|2816 | - |5645 | 19k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
545.31/545.34 c 522s|820000 |489825 | 0 | 0.0 | 857M|2816 | - |5645 | 18k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
557.40/557.43 c 533s|830000 |492551 | 0 | 0.0 | 865M|2816 | - |5645 | 19k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
569.31/569.35 c 545s|840000 |495395 | 0 | 0.0 | 874M|2816 | - |5645 | 19k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
582.10/582.13 c 557s|850000 |497587 | 0 | 0.0 | 882M|2816 | - |5645 | 20k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
595.61/595.63 c 570s|860000 |499566 | 0 | 0.0 | 890M|2816 | - |5645 | 20k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
609.50/609.60 c 584s|870000 |501279 | 0 | 0.0 | 898M|2816 | - |5645 | 21k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
624.20/624.22 c 598s|880000 |502689 | 0 | 0.0 | 905M|2816 | - |5645 | 21k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.81/639.89 c 614s|890000 |503643 | 0 | 0.0 | 911M|2816 | - |5645 | 22k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
656.80/656.85 c 630s|900000 |504069 | 0 | 0.0 | 917M|2816 | - |5645 | 23k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
675.61/675.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.61/675.66 c 649s|910000 |503831 | 0 | 0.0 | 923M|2816 | - |5645 | 24k| 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
696.90/696.90 c 670s|920000 |502440 | 0 | 0.0 | 926M|2816 | - |5645 | 27k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
711.51/711.57 c 684s|930000 |505324 | 0 | 0.0 | 921M|2816 | - |5645 |8499 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
715.21/715.24 c 687s|940000 |513493 | 0 | 0.0 | 929M|2816 | - |5645 |4790 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.71/718.73 c 691s|950000 |521604 | 0 | 0.0 | 939M|2816 | - |5645 |4666 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
722.21/722.29 c 694s|960000 |529583 | 0 | 0.0 | 948M|2816 | - |5645 |4935 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.92/725.93 c 697s|970000 |537477 | 0 | 0.0 | 958M|2816 | - |5645 |5084 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.51/729.54 c 701s|980000 |545378 | 0 | 0.0 | 967M|2816 | - |5645 |5144 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.41/733.46 c 704s|990000 |553016 | 0 | 0.0 | 976M|2816 | - |5645 |5489 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.41/737.43 c 708s| 1000k|560616 | 0 | 0.0 | 986M|2816 | - |5645 |5774 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.61/741.64 c 712s| 1010k|568001 | 0 | 0.0 | 995M|2816 | - |5645 |5952 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.11/746.19 c 716s| 1020k|575036 | 0 | 0.0 |1005M|2816 | - |5645 |6210 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.61/750.61 c 721s| 1030k|582213 | 0 | 0.0 |1014M|2816 | - |5645 |6532 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.72/755.76 c 725s| 1040k|588803 | 0 | 0.0 |1024M|2816 | - |5645 |6941 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.51/761.52 c 731s| 1050k|594952 | 0 | 0.0 |1035M|2816 | - |5645 |7517 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
767.41/767.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.41/767.43 c 736s| 1060k|600974 | 0 | 0.0 |1046M|2816 | - |5645 |8040 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
773.41/773.49 c 742s| 1070k|606864 | 0 | 0.0 |1056M|2816 | - |5645 |7997 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.31/780.35 c 749s| 1080k|612118 | 0 | 0.0 |1067M|2816 | - |5645 |8934 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
787.41/787.41 c 755s| 1090k|617517 | 0 | 0.0 |1077M|2816 | - |5645 |8885 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.91/794.99 c 763s| 1100k|622179 | 0 | 0.0 |1088M|2816 | - |5645 |9698 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
802.81/802.90 c 770s| 1110k|626582 | 0 | 0.0 |1098M|2816 | - |5645 | 10k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.11/811.11 c 778s| 1120k|630823 | 0 | 0.0 |1107M|2816 | - |5645 | 10k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.41/820.50 c 787s| 1130k|634195 | 0 | 0.0 |1115M|2816 | - |5645 | 10k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.72/831.71 c 798s| 1140k|636270 | 0 | 0.0 |1123M|2816 | - |5645 | 12k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.92/839.98 c 806s| 1150k|640948 | 0 | 0.0 |1127M|2816 | - |5645 |6337 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
843.92/843.90 c 810s| 1160k|648886 | 0 | 0.0 |1136M|2816 | - |5645 |5702 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
848.51/848.57 c 814s| 1170k|656113 | 0 | 0.0 |1147M|2816 | - |5645 |6521 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.81/853.87 c 819s| 1180k|662719 | 0 | 0.0 |1157M|2816 | - |5645 |7475 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
859.62/859.69 c 825s| 1190k|668904 | 0 | 0.0 |1166M|2816 | - |5645 |8242 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
866.12/866.18 c 831s| 1200k|674545 | 0 | 0.0 |1176M|2816 | - |5645 |9189 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
874.22/874.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.22/874.24 c 838s| 1210k|679102 | 0 | 0.0 |1185M|2816 | - |5645 | 10k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.12/885.17 c 849s| 1220k|681598 | 0 | 0.0 |1193M|2816 | - |5645 | 12k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.22/893.23 c 857s| 1230k|686726 | 0 | 0.0 |1198M|2816 | - |5645 |6437 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
897.63/897.70 c 861s| 1240k|694211 | 0 | 0.0 |1208M|2816 | - |5645 |6422 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
902.91/902.92 c 866s| 1250k|701000 | 0 | 0.0 |1218M|2816 | - |5645 |6998 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
908.72/908.76 c 871s| 1260k|707288 | 0 | 0.0 |1229M|2816 | - |5645 |7795 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.12/915.19 c 877s| 1270k|713092 | 0 | 0.0 |1239M|2816 | - |5645 |8852 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.71/922.71 c 885s| 1280k|718087 | 0 | 0.0 |1249M|2816 | - |5645 | 10k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
931.62/931.62 c 893s| 1290k|722169 | 0 | 0.0 |1258M|2816 | - |5645 | 12k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.51/944.52 c 906s| 1300k|723612 | 0 | 0.0 |1265M|2816 | - |5645 | 15k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.42/949.44 c 910s| 1310k|731102 | 0 | 0.0 |1271M|2816 | - |5645 |6036 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
953.51/953.54 c 914s| 1320k|738826 | 0 | 0.0 |1280M|2816 | - |5645 |6213 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.81/957.87 c 918s| 1330k|746290 | 0 | 0.0 |1290M|2816 | - |5645 |6500 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
962.61/962.65 c 923s| 1340k|753363 | 0 | 0.0 |1299M|2816 | - |5645 |6961 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
968.41/968.46 c 928s| 1350k|759584 | 0 | 0.0 |1309M|2816 | - |5645 |8063 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
975.32/975.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.32/975.32 c 935s| 1360k|764999 | 0 | 0.0 |1319M|2816 | - |5645 |9553 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.92/983.94 c 943s| 1370k|769262 | 0 | 0.0 |1328M|2816 | - |5645 | 11k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
996.52/996.60 c 956s| 1380k|770963 | 0 | 0.0 |1335M|2816 | - |5645 | 13k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1001.31/1001.31 c 960s| 1390k|778682 | 0 | 0.0 |1342M|2816 | - |5645 |6559 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.92/1005.99 c 964s| 1400k|785965 | 0 | 0.0 |1352M|2816 | - |5645 |6976 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.02/1011.07 c 969s| 1410k|792850 | 0 | 0.0 |1363M|2816 | - |5645 |7481 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.92/1016.91 c 975s| 1420k|799098 | 0 | 0.0 |1373M|2816 | - |5645 |8591 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.72/1023.78 c 981s| 1430k|804699 | 0 | 0.0 |1383M|2816 | - |5645 |9814 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1032.22/1032.20 c 989s| 1440k|809191 | 0 | 0.0 |1393M|2816 | - |5645 | 12k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1043.72/1043.77 c 1000s| 1450k|811757 | 0 | 0.0 |1401M|2816 | - |5645 | 15k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.32/1051.33 c 1008s| 1460k|817706 | 0 | 0.0 |1406M|2816 | - |5645 |7144 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1055.92/1055.99 c 1012s| 1470k|825061 | 0 | 0.0 |1415M|2816 | - |5645 |7377 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.22/1061.24 c 1017s| 1480k|831883 | 0 | 0.0 |1425M|2816 | - |5645 |8237 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1067.12/1067.10 c 1023s| 1490k|838263 | 0 | 0.0 |1434M|2816 | - |5645 |9364 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.63/1073.63 c 1029s| 1500k|844193 | 0 | 0.0 |1444M|2816 | - |5645 | 10k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.12/1082.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.12/1082.16 c 1037s| 1510k|848814 | 0 | 0.0 |1453M|2816 | - |5645 | 12k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.62/1094.64 c 1049s| 1520k|850963 | 0 | 0.0 |1461M|2816 | - |5645 | 17k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.72/1100.77 c 1055s| 1530k|857897 | 0 | 0.0 |1467M|2816 | - |5645 |6757 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1104.92/1104.98 c 1059s| 1540k|865575 | 0 | 0.0 |1476M|2816 | - |5645 |6320 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1109.12/1109.15 c 1063s| 1550k|873240 | 0 | 0.0 |1485M|2816 | - |5645 |6328 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.41/1113.47 c 1067s| 1560k|880737 | 0 | 0.0 |1494M|2816 | - |5645 |6530 | 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1117.92/1117.94 c 1071s| 1570k|888103 | 0 | 0.0 |1503M|2816 | - |5645 |6571 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1122.82/1122.89 c 1076s| 1580k|895064 | 0 | 0.0 |1513M|2816 | - |5645 |7094 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.92/1128.94 c 1082s| 1590k|901240 | 0 | 0.0 |1523M|2816 | - |5645 |7839 | 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.12/1135.11 c 1088s| 1600k|907301 | 0 | 0.0 |1534M|2816 | - |5645 |8437 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1141.73/1141.73 c 1094s| 1610k|913107 | 0 | 0.0 |1544M|2816 | - |5645 |8868 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1148.72/1148.78 c 1101s| 1620k|918613 | 0 | 0.0 |1554M|2816 | - |5645 |9506 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.32/1156.35 c 1108s| 1630k|923772 | 0 | 0.0 |1564M|2816 | - |5645 | 10k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.22/1164.24 c 1115s| 1640k|928685 | 0 | 0.0 |1574M|2816 | - |5645 | 10k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1173.42/1173.44 c 1124s| 1650k|932797 | 0 | 0.0 |1583M|2816 | - |5645 | 11k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1184.53/1184.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.53/1184.54 c 1135s| 1660k|935871 | 0 | 0.0 |1591M|2816 | - |5645 | 13k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1198.93/1198.96 c 1149s| 1670k|937179 | 0 | 0.0 |1598M|2816 | - |5645 | 16k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1206.93/1206.90 c 1157s| 1680k|943036 | 0 | 0.0 |1602M|2816 | - |5645 |7448 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.33/1211.37 c 1161s| 1690k|950514 | 0 | 0.0 |1611M|2816 | - |5645 |7170 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1216.12/1216.16 c 1165s| 1700k|957649 | 0 | 0.0 |1620M|2816 | - |5645 |7697 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.93/1221.94 c 1171s| 1710k|964095 | 0 | 0.0 |1630M|2816 | - |5645 |8528 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1228.63/1228.62 c 1177s| 1720k|969846 | 0 | 0.0 |1640M|2816 | - |5645 |9390 | 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.62/1236.61 c 1185s| 1730k|974686 | 0 | 0.0 |1650M|2816 | - |5645 | 10k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.53/1245.57 c 1194s| 1740k|978758 | 0 | 0.0 |1660M|2816 | - |5645 | 12k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1258.33/1258.35 c 1206s| 1750k|980325 | 0 | 0.0 |1667M|2816 | - |5645 | 15k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1263.23/1263.21 c 1211s| 1760k|988124 | 0 | 0.0 |1674M|2816 | - |5645 |7243 | 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.23/1268.28 c 1215s| 1770k|995234 | 0 | 0.0 |1683M|2816 | - |5645 |7552 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.72/1273.73 c 1220s| 1780k| 1001k| 0 | 0.0 |1693M|2816 | - |5645 |8155 | 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1279.62/1279.65 c 1226s| 1790k| 1008k| 0 | 0.0 |1703M|2816 | - |5645 |8708 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1286.42/1286.44 c 1232s| 1800k| 1013k| 0 | 0.0 |1713M|2816 | - |5645 |9589 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1294.23/1294.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.23/1294.21 c 1240s| 1810k| 1018k| 0 | 0.0 |1724M|2816 | - |5645 | 10k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1304.02/1304.05 c 1249s| 1820k| 1022k| 0 | 0.0 |1733M|2816 | - |5645 | 12k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1317.02/1317.08 c 1262s| 1830k| 1023k| 0 | 0.0 |1740M|2816 | - |5645 | 14k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.92/1321.95 c 1267s| 1840k| 1031k| 0 | 0.0 |1747M|2816 | - |5645 |8287 | 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.43/1326.49 c 1271s| 1850k| 1038k| 0 | 0.0 |1756M|2816 | - |5645 |8065 | 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.23/1331.26 c 1275s| 1860k| 1046k| 0 | 0.0 |1765M|2816 | - |5645 |8188 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1336.33/1336.30 c 1280s| 1870k| 1053k| 0 | 0.0 |1774M|2816 | - |5645 |8175 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.82/1341.85 c 1285s| 1880k| 1059k| 0 | 0.0 |1783M|2816 | - |5645 |8232 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.83/1348.85 c 1292s| 1890k| 1065k| 0 | 0.0 |1793M|2816 | - |5645 |9269 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.13/1356.16 c 1299s| 1900k| 1071k| 0 | 0.0 |1803M|2816 | - |5645 | 10k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1364.12/1364.16 c 1307s| 1910k| 1076k| 0 | 0.0 |1812M|2816 | - |5645 | 11k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.43/1372.47 c 1315s| 1920k| 1081k| 0 | 0.0 |1822M|2816 | - |5645 | 12k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1381.53/1381.57 c 1324s| 1930k| 1085k| 0 | 0.0 |1831M|2816 | - |5645 | 13k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1391.73/1391.75 c 1334s| 1940k| 1090k| 0 | 0.0 |1841M|2816 | - |5645 | 15k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.33/1403.36 c 1345s| 1950k| 1093k| 0 | 0.0 |1850M|2816 | - |5645 | 17k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1418.13/1418.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.13/1418.19 c 1359s| 1960k| 1095k| 0 | 0.0 |1857M|2816 | - |5645 | 21k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.33/1425.33 c 1366s| 1970k| 1103k| 0 | 0.0 |1864M|2816 | - |5645 | 14k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1431.83/1431.84 c 1373s| 1980k| 1109k| 0 | 0.0 |1873M|2816 | - |5645 | 12k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1438.73/1438.78 c 1379s| 1990k| 1116k| 0 | 0.0 |1883M|2816 | - |5645 | 12k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1446.33/1446.35 c 1387s| 2000k| 1122k| 0 | 0.0 |1894M|2816 | - |5645 | 14k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1455.63/1455.61 c 1396s| 2010k| 1126k| 0 | 0.0 |1904M|2816 | - |5645 | 15k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.13/1466.18 c 1406s| 2020k| 1130k| 0 | 0.0 |1914M|2816 | - |5645 | 17k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1481.03/1481.01 c 1420s| 2030k| 1132k| 0 | 0.0 |1922M|2816 | - |5645 | 19k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.03/1487.10 c 1426s| 2040k| 1140k| 0 | 0.0 |1929M|2816 | - |5645 | 13k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1493.33/1493.37 c 1432s| 2050k| 1147k| 0 | 0.0 |1938M|2816 | - |5645 | 11k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.44/1500.44 c 1439s| 2060k| 1153k| 0 | 0.0 |1949M|2816 | - |5645 | 12k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1508.53/1508.50 c 1447s| 2070k| 1159k| 0 | 0.0 |1959M|2816 | - |5645 | 13k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.13/1518.11 c 1456s| 2080k| 1163k| 0 | 0.0 |1969M|2816 | - |5645 | 15k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.13/1531.12 c 1468s| 2090k| 1166k| 0 | 0.0 |1978M|2816 | - |5645 | 18k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1540.43/1540.41 c 1477s| 2100k| 1172k| 0 | 0.0 |1984M|2816 | - |5645 | 14k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1546.64/1546.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.64/1546.62 c 1483s| 2110k| 1179k| 0 | 0.0 |1993M|2816 | - |5645 | 12k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1553.43/1553.42 c 1490s| 2120k| 1185k| 0 | 0.0 |2003M|2816 | - |5645 | 13k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.94/1561.92 c 1498s| 2130k| 1191k| 0 | 0.0 |2013M|2816 | - |5645 | 14k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1571.63/1571.60 c 1507s| 2140k| 1195k| 0 | 0.0 |2024M|2816 | - |5645 | 16k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1584.13/1584.18 c 1520s| 2150k| 1198k| 0 | 0.0 |2032M|2816 | - |5645 | 18k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.34/1593.34 c 1528s| 2160k| 1204k| 0 | 0.0 |2039M|2816 | - |5645 | 14k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.43/1599.42 c 1534s| 2170k| 1211k| 0 | 0.0 |2048M|2816 | - |5645 | 12k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.23/1605.26 c 1540s| 2180k| 1219k| 0 | 0.0 |2057M|2816 | - |5645 | 11k| 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1611.33/1611.31 c 1545s| 2190k| 1226k| 0 | 0.0 |2067M|2816 | - |5645 | 12k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.94/1617.93 c 1552s| 2200k| 1233k| 0 | 0.0 |2077M|2816 | - |5645 | 12k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.53/1624.55 c 1558s| 2210k| 1239k| 0 | 0.0 |2087M|2816 | - |5645 | 12k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1632.14/1632.11 c 1565s| 2220k| 1245k| 0 | 0.0 |2096M|2816 | - |5645 | 13k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.53/1639.56 c 1572s| 2230k| 1252k| 0 | 0.0 |2106M|2816 | - |5645 | 13k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.43/1647.48 c 1580s| 2240k| 1257k| 0 | 0.0 |2116M|2816 | - |5645 | 14k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1655.63/1655.62 c 1588s| 2250k| 1263k| 0 | 0.0 |2126M|2816 | - |5645 | 14k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.44/1664.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.44/1664.41 c 1596s| 2260k| 1269k| 0 | 0.0 |2137M|2816 | - |5645 | 14k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.73/1673.72 c 1605s| 2270k| 1274k| 0 | 0.0 |2147M|2816 | - |5645 | 15k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.33/1683.37 c 1615s| 2280k| 1279k| 0 | 0.0 |2156M|2816 | - |5645 | 15k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1693.24/1693.21 c 1624s| 2290k| 1284k| 0 | 0.0 |2166M|2816 | - |5645 | 16k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.24/1703.27 c 1634s| 2300k| 1288k| 0 | 0.0 |2175M|2816 | - |5645 | 16k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1713.74/1713.72 c 1644s| 2310k| 1293k| 0 | 0.0 |2184M|2816 | - |5645 | 17k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1724.54/1724.54 c 1655s| 2320k| 1297k| 0 | 0.0 |2193M|2816 | - |5645 | 17k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1735.14/1735.15 c 1665s| 2330k| 1302k| 0 | 0.0 |2201M|2816 | - |5645 | 17k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.54/1745.57 c 1675s| 2340k| 1307k| 0 | 0.0 |2209M|2816 | - |5645 | 17k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.83/1754.82 c 1684s| 2350k| 1312k| 0 | 0.0 |2218M|2816 | - |5645 | 16k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.84/1763.81 c 1693s| 2360k| 1318k| 0 | 0.0 |2227M|2816 | - |5645 | 17k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.64/1774.66 c 1703s| 2370k| 1322k| 0 | 0.0 |2238M|2816 | - |5645 | 19k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1785.14/1785.15 c 1713s| 2380k| 1327k| 0 | 0.0 |2246M|2816 | - |5645 | 20k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1791.94/1791.94 c 1720s| 2390k| 1334k| 0 | 0.0 |2255M|2816 | - |5645 | 17k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.33/1798.39 c 1726s| 2400k| 1341k| 0 | 0.0 |2264M|2816 | - |5645 | 16k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 2.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) : 1727.58
1800.05/1800.00 c Solving Nodes : 2402382
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (32 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 -x146
1800.05/1800.05 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.05/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.05/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.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 -x54
1800.05/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.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 : 1727.58
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693641-1277928124.wbo
1800.05/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.05 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693641-1277928124.wbo
1800.05/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.05 c Constraints : 5414 initial, 28555 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 0 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.03 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.05/1800.05 c logicor : 0.00 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 : - 2674 - - 5348 - - - -
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 : 2707 0 5533830 0 1624327 69 1842077 0 0 0
1800.05/1800.05 c linear : 2707 0 7413768 0 2025431 537222 45095270 0 0 0
1800.05/1800.05 c logicor : 0+ 0 3574620 0 0 78965 2009288 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 379 0 0 0 3 0 0 0
1800.05/1800.05 c countsols : 0 0 0 0 2025449 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 : 9.92 0.00 3.86 0.00 6.06
1800.05/1800.05 c linear : 438.98 0.00 438.01 0.00 0.97
1800.05/1800.05 c logicor : 284.24 0.00 284.24 0.00 0.00
1800.05/1800.05 c bounddisjunction : 0.00 0.00 0.00 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 : 361.94 7415212 1420 1812194
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 32.09 617607 617557 2837984 19.4 323915 11.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.02 116 116 418 27.9 377 9.7 -
1800.05/1800.05 c applied globally : - - - 1931126 17.2 - - -
1800.05/1800.05 c applied locally : - - - 1 328.0 - - -
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 : 34.37 2025420 0 0 0 0 4050840
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.06 - 29
1800.05/1800.05 c oneopt : 0.08 0 0
1800.05/1800.05 c trivial : 0.08 2 2
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 1
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 : 2402382
1800.05/1800.05 c nodes (total) : 2402382
1800.05/1800.05 c nodes left : 1343338
1800.05/1800.05 c max depth : 2816
1800.05/1800.05 c max depth (total): 2816
1800.05/1800.05 c backtracks : 335659 (14.0%)
1800.05/1800.05 c delayed cutoffs : 269465
1800.05/1800.05 c repropagations : 1283364 (15093332 domain reductions, 240859 cutoffs)
1800.05/1800.05 c avg switch length: 40.92
1800.05/1800.05 c switching time : 500.30
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 32 (30 improvements)
1800.05/1800.05 c First Solution : +1.35279000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 281785 nodes, 157.65 seconds, depth 436, 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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693641-1277928124/watcher-2693641-1277928124 -o /tmp/evaluation-result-2693641-1277928124/solver-2693641-1277928124 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693641-1277928124.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 1.99 4/200 16869 /proc/meminfo: memFree=31309832/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=8596 CPUtime=0 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 1635 0 0 0 0 0 0 0 22 0 1 0 134108538 8802304 1558 4089446400 4194304 7136930 140733707685376 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16869/statm: 2149 1559 275 719 0 1428 0 [startup+0.0422609 s] /proc/loadavg: 1.95 2.00 1.99 4/200 16869 /proc/meminfo: memFree=31309832/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=23752 CPUtime=0.03 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 5819 0 0 0 3 0 0 0 22 0 1 0 134108538 24322048 5388 4089446400 4194304 7136930 140733707685376 18446744073709551615 4409134 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 5971 5397 289 719 0 5250 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 23752 [startup+0.100262 s] /proc/loadavg: 1.95 2.00 1.99 4/200 16869 /proc/meminfo: memFree=31309832/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=33672 CPUtime=0.09 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 7966 0 0 0 9 0 0 0 22 0 1 0 134108538 34480128 7535 4089446400 4194304 7136930 140733707685376 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 8418 7535 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300214 s] /proc/loadavg: 1.95 2.00 1.99 4/200 16869 /proc/meminfo: memFree=31309832/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=36492 CPUtime=0.29 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 9240 0 0 0 27 2 0 0 22 0 1 0 134108538 37367808 8295 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 9123 8295 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700143 s] /proc/loadavg: 1.95 2.00 1.99 4/200 16869 /proc/meminfo: memFree=31309832/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=37632 CPUtime=0.69 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 9515 0 0 0 63 6 0 0 23 0 1 0 134108538 38535168 8570 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 9408 8570 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50104 s] /proc/loadavg: 1.96 2.00 1.99 3/201 16870 /proc/meminfo: memFree=31276000/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=43056 CPUtime=1.49 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 10880 0 0 0 138 11 0 0 25 0 1 0 134108538 44089344 9935 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 10764 9935 390 719 0 10043 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43056 [startup+3.10076 s] /proc/loadavg: 1.96 2.00 1.99 3/201 16870 /proc/meminfo: memFree=31272032/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=44972 CPUtime=3.09 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 11372 0 0 0 290 19 0 0 25 0 1 0 134108538 46051328 10427 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 11243 10427 390 719 0 10522 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44972 [startup+6.30115 s] /proc/loadavg: 1.96 2.00 1.99 3/201 16870 /proc/meminfo: memFree=31267524/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=49800 CPUtime=6.29 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 12617 0 0 0 592 37 0 0 25 0 1 0 134108538 50995200 11672 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 12450 11672 390 719 0 11729 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49800 [startup+12.701 s] /proc/loadavg: 1.96 2.00 1.99 3/201 16870 /proc/meminfo: memFree=31249156/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=69564 CPUtime=12.69 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 17519 0 0 0 1189 80 0 0 25 0 1 0 134108538 71233536 16574 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 17391 16574 390 719 0 16670 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69564 [startup+25.5007 s] /proc/loadavg: 1.97 2.00 1.99 3/201 16871 /proc/meminfo: memFree=31209668/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=108844 CPUtime=25.5 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 26981 0 0 0 2421 129 0 0 25 0 1 0 134108538 111456256 26036 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 27211 26036 393 719 0 26490 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 108844 [startup+51.101 s] /proc/loadavg: 1.98 2.00 1.99 3/201 16871 /proc/meminfo: memFree=31125656/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=196756 CPUtime=51.09 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 47890 0 0 0 4846 263 0 0 25 0 1 0 134108538 201478144 46945 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 49189 46945 393 719 0 48468 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 196756 [startup+102.307 s] /proc/loadavg: 1.99 2.00 1.99 3/201 16873 /proc/meminfo: memFree=31016240/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=304592 CPUtime=102.3 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 74429 0 0 0 9728 502 0 0 25 0 1 0 134108538 311902208 73484 4089446400 4194304 7136930 140733707685376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 76148 73484 393 719 0 75427 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 304592 [startup+162.301 s] /proc/loadavg: 1.99 2.00 1.99 3/201 16874 /proc/meminfo: memFree=30933224/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=386200 CPUtime=162.29 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 94854 0 0 0 15484 745 0 0 25 0 1 0 134108538 395468800 93909 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 96550 93909 393 719 0 95829 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 386200 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.99 3/201 16875 /proc/meminfo: memFree=30827136/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=500712 CPUtime=222.29 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 121337 0 0 0 21237 992 0 0 25 0 1 0 134108538 512729088 120392 4089446400 4194304 7136930 140733707685376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 125178 120392 393 719 0 124457 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 500712 [startup+282.301 s] /proc/loadavg: 1.99 2.00 1.99 3/201 16877 /proc/meminfo: memFree=30688560/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=643764 CPUtime=282.29 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 155586 0 0 0 26925 1304 0 0 25 0 1 0 134108538 659214336 154641 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 160941 154641 393 719 0 160220 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 643764 [startup+342.301 s] /proc/loadavg: 1.99 2.00 1.99 3/201 16879 /proc/meminfo: memFree=30574648/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=755392 CPUtime=342.3 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 183880 0 0 0 32579 1651 0 0 25 0 1 0 134108538 773521408 182935 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 188848 182935 393 719 0 188127 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 755392 [startup+402.301 s] /proc/loadavg: 2.03 2.01 2.00 3/201 16881 /proc/meminfo: memFree=30482576/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=847020 CPUtime=402.3 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 206958 0 0 0 38321 1909 0 0 25 0 1 0 134108538 867348480 206013 4089446400 4194304 7136930 140733707685376 18446744073709551615 4979714 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 211755 206013 393 719 0 211034 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 847020 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.00 3/201 16882 /proc/meminfo: memFree=30409352/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=927684 CPUtime=462.3 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 225113 0 0 0 44110 2120 0 0 25 0 1 0 134108538 949948416 224168 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 231921 224168 393 719 0 231200 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 927684 [startup+522.301 s] /proc/loadavg: 2.06 2.02 2.00 3/201 16883 /proc/meminfo: memFree=30347528/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=988532 CPUtime=522.31 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 240409 0 0 0 49919 2312 0 0 25 0 1 0 134108538 1012256768 239464 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 247133 239464 393 719 0 246412 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 988532 [startup+582.3 s] /proc/loadavg: 2.10 2.03 2.01 3/201 16885 /proc/meminfo: memFree=30304064/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1031820 CPUtime=582.31 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 251189 0 0 0 55750 2481 0 0 25 0 1 0 134108538 1056583680 250244 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 257955 250244 393 719 0 257234 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1031820 [startup+642.3 s] /proc/loadavg: 2.04 2.02 2.00 3/201 16887 /proc/meminfo: memFree=30274236/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1061192 CPUtime=642.31 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 258488 0 0 0 61616 2615 0 0 25 0 1 0 134108538 1086660608 257543 4089446400 4194304 7136930 140733707685376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 265298 257543 393 719 0 264577 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1061192 [startup+702.3 s] ################ # More data... # ################ /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 369243 0 0 0 96094 4138 0 0 25 0 1 0 134108538 1536847872 368298 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 375207 368298 393 719 0 374486 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1500828 [startup+1062.3 s] /proc/loadavg: 2.90 2.56 2.23 3/204 16979 /proc/meminfo: memFree=29611192/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1586404 CPUtime=1062.32 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 390795 0 0 0 101813 4419 0 0 25 0 1 0 134108538 1624477696 389850 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 396601 389850 393 719 0 395880 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1586404 [startup+1122.3 s] /proc/loadavg: 3.17 2.70 2.29 4/204 16980 /proc/meminfo: memFree=29520992/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1668688 CPUtime=1122.32 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 411526 0 0 0 107536 4696 0 0 25 0 1 0 134108538 1708736512 410581 4089446400 4194304 7136930 140733707685376 18446744073709551615 4925925 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 417172 410581 393 719 0 416451 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1668688 [startup+1182.3 s] /proc/loadavg: 3.00 2.74 2.33 3/204 16982 /proc/meminfo: memFree=29432012/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1744524 CPUtime=1182.32 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 430452 0 0 0 113283 4949 0 0 25 0 1 0 134108538 1786392576 429507 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 436131 429507 393 719 0 435410 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1744524 [startup+1242.3 s] /proc/loadavg: 3.21 2.83 2.39 3/204 16984 /proc/meminfo: memFree=29355640/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1805552 CPUtime=1242.32 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 445934 0 0 0 119045 5187 0 0 25 0 1 0 134108538 1848885248 444989 4089446400 4194304 7136930 140733707685376 18446744073709551615 6349846 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 451388 444989 393 719 0 450667 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1805552 [startup+1302.3 s] /proc/loadavg: 3.11 2.87 2.43 4/204 16986 /proc/meminfo: memFree=29268296/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1897932 CPUtime=1302.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 465100 0 0 0 124779 5454 0 0 25 0 1 0 134108538 1943482368 464155 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 474483 464155 393 719 0 473762 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1897932 [startup+1362.3 s] /proc/loadavg: 2.95 2.88 2.46 3/204 16987 /proc/meminfo: memFree=29178044/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=1981492 CPUtime=1362.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 485949 0 0 0 130518 5715 0 0 25 0 1 0 134108538 2029047808 485004 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 495373 485004 393 719 0 494652 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1981492 [startup+1422.31 s] /proc/loadavg: 2.81 2.85 2.47 4/204 16988 /proc/meminfo: memFree=29121072/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2030796 CPUtime=1422.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 498272 0 0 0 136343 5890 0 0 25 0 1 0 134108538 2079535104 497327 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 507699 497327 393 719 0 506978 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2030796 [startup+1482.3 s] /proc/loadavg: 2.84 2.85 2.49 4/204 16990 /proc/meminfo: memFree=29053684/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2091484 CPUtime=1482.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 513513 0 0 0 142152 6081 0 0 25 0 1 0 134108538 2141679616 512568 4089446400 4194304 7136930 140733707685376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 522871 512568 393 719 0 522150 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2091484 [startup+1542.3 s] /proc/loadavg: 2.76 2.83 2.50 4/204 16992 /proc/meminfo: memFree=28975732/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2160280 CPUtime=1542.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 530868 0 0 0 147929 6304 0 0 25 0 1 0 134108538 2212126720 529923 4089446400 4194304 7136930 140733707685376 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 540070 529923 393 719 0 539349 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2160280 [startup+1602.3 s] /proc/loadavg: 2.79 2.83 2.52 3/204 16994 /proc/meminfo: memFree=28905376/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2225248 CPUtime=1602.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 547271 0 0 0 153695 6538 0 0 25 0 1 0 134108538 2278653952 546326 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 556312 546326 393 719 0 555591 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2225248 [startup+1662.3 s] /proc/loadavg: 2.89 2.85 2.55 4/204 16995 /proc/meminfo: memFree=28819516/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2301800 CPUtime=1662.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 566568 0 0 0 159440 6793 0 0 25 0 1 0 134108538 2357043200 565623 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 575450 565623 393 719 0 574729 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2301800 [startup+1722.3 s] /proc/loadavg: 2.86 2.84 2.56 3/204 16996 /proc/meminfo: memFree=28758944/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2357196 CPUtime=1722.33 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 580514 0 0 0 165243 6990 0 0 25 0 1 0 134108538 2413768704 579569 4089446400 4194304 7136930 140733707685376 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 589299 579569 393 719 0 588578 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2357196 [startup+1782.3 s] /proc/loadavg: 2.40 2.72 2.53 3/183 17031 /proc/meminfo: memFree=28955708/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2411532 CPUtime=1782.34 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 594211 0 0 0 171059 7175 0 0 25 0 1 0 134108538 2469408768 593266 4089446400 4194304 7136930 140733707685376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 602883 593266 393 719 0 602162 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2411532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.31 2.68 2.52 3/183 17032 /proc/meminfo: memFree=28869684/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2436692 CPUtime=1800.05 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 600600 0 0 0 172761 7244 0 0 25 0 1 0 134108538 2495172608 599655 4089446400 4194304 7136930 140733707685376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16869/statm: 609173 599655 393 719 0 608452 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2436692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16869 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.29 2.67 2.52 3/184 17033 /proc/meminfo: memFree=28867816/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2436932 CPUtime=1801.44 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 600622 0 0 0 172900 7244 0 0 25 0 1 0 134108538 2495418368 599677 4089446400 4194304 7136930 140733707685376 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16869/statm: 609233 599677 399 719 0 608512 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2436932 [startup+1801.81 s] /proc/loadavg: 2.29 2.67 2.52 3/184 17033 /proc/meminfo: memFree=28867148/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2436932 CPUtime=1801.85 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 600622 0 0 0 172941 7244 0 0 25 0 1 0 134108538 2495418368 599677 4089446400 4194304 7136930 140733707685376 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16869/statm: 609233 599677 399 719 0 608512 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2436932 [startup+1802 s] /proc/loadavg: 2.29 2.67 2.52 3/184 17033 /proc/meminfo: memFree=28867148/32951124 swapFree=67111528/67111528 [pid=16869] ppid=16867 vsize=2436932 CPUtime=1802.04 /proc/16869/stat : 16869 (pbscip.linux.x8) R 16867 16869 16712 0 -1 4202496 600622 0 0 0 172960 7244 0 0 25 0 1 0 134108538 2495418368 599677 4089446400 4194304 7136930 140733707685376 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16869/statm: 609233 599677 399 719 0 608512 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2436932 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1729.61 CPU system time (s): 72.519 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2436932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1729.61 system time used= 72.519 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 600622 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= 4819 runsolver used 3.3085 second user time and 6.35803 second system time The end
Begin job on node134 at 2010-06-30 22:02:04 IDJOB=2693641 IDBENCH=79285 IDSOLVER=1206 FILE ID=node134/2693641-1277928124 PBS_JOBID= 11197373 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534--soft-0-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-2693641-1277928124/watcher-2693641-1277928124 -o /tmp/evaluation-result-2693641-1277928124/solver-2693641-1277928124 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693641-1277928124.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cf389047fd441928b15b38cce26251ed RANDOM SEED=1076363694 node134.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.818 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.63 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.818 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.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31309608 kB Buffers: 215796 kB Cached: 1095360 kB SwapCached: 0 kB Active: 783044 kB Inactive: 713576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31309608 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3744 kB Writeback: 0 kB AnonPages: 186468 kB Mapped: 20336 kB Slab: 80712 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656916 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node134 at 2010-06-30 22:32:06