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.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo |
| MD5SUM | b0bcd9e760e7f0ffa9653d41066a148b |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 278.087 |
| 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 | 1785 |
| 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 | 88246 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 88245 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| 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-2694135-1277907208.wbo>
0.00/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 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, 1937 impls, 11 clqs
0.07/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.07/0.09 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.17 c 1937 implications, 11 cliques
0.09/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.17 c 1709 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1709 constraints of type <linear>
0.09/0.17 c 869 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 | - |3649 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.27 o 606
1.19/1.27 c * 1.1s| 4507 | 4118 | 0 | 0.0 | 15M|1899 | - |3649 |4717 | 0 | 0 | 0 | 671 | 0 | 0.000000e+00 | 6.060000e+02 | Inf
2.09/2.12 o 426
2.09/2.12 c * 2.0s| 7729 | 7027 | 0 | 0.0 | 16M|1899 | - |3649 |4651 | 0 | 0 | 0 | 718 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
2.59/2.66 c 2.5s| 10000 | 9045 | 0 | 0.0 | 18M|1899 | - |3649 |5144 | 0 | 0 | 0 |1648 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
5.19/5.21 o 397
5.19/5.21 c * 5.0s| 17475 | 13671 | 0 | 0.0 | 26M|1899 | - |3649 |7469 | 0 | 0 | 0 |7571 | 0 | 0.000000e+00 | 3.970000e+02 | Inf
5.50/5.59 o 388
5.50/5.59 c * 5.3s| 18428 | 14562 | 0 | 0.0 | 26M|1899 | - |3649 |7361 | 0 | 0 | 0 |7695 | 0 | 0.000000e+00 | 3.880000e+02 | Inf
5.59/5.69 o 384
5.59/5.69 c * 5.4s| 18642 | 14763 | 0 | 0.0 | 27M|1899 | - |3649 |7312 | 0 | 0 | 0 |7715 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
5.79/5.82 o 378
5.79/5.82 c * 5.6s| 18946 | 15035 | 0 | 0.0 | 27M|1899 | - |3649 |7213 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.780000e+02 | Inf
5.79/5.83 o 352
5.79/5.83 c * 5.6s| 18947 | 14875 | 0 | 0.0 | 27M|1899 | - |3649 |7213 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.520000e+02 | Inf
5.79/5.88 o 344
5.79/5.88 c * 5.6s| 19074 | 14907 | 0 | 0.0 | 27M|1899 | - |3649 |7175 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
5.79/5.89 o 318
5.79/5.89 c * 5.6s| 19075 | 14727 | 0 | 0.0 | 26M|1899 | - |3649 |7175 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.180000e+02 | Inf
5.99/6.06 o 307
5.99/6.06 c * 5.8s| 19458 | 14989 | 0 | 0.0 | 27M|1899 | - |3649 |7018 | 0 | 0 | 0 |7833 | 0 | 0.000000e+00 | 3.070000e+02 | Inf
5.99/6.07 o 306
5.99/6.07 c * 5.8s| 19459 | 14987 | 0 | 0.0 | 27M|1899 | - |3649 |7018 | 0 | 0 | 0 |7833 | 0 | 0.000000e+00 | 3.060000e+02 | Inf
6.09/6.12 o 301
6.09/6.12 c * 5.8s| 19572 | 15062 | 0 | 0.0 | 27M|1899 | - |3649 |6972 | 0 | 0 | 0 |7839 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
6.09/6.12 o 273
6.09/6.12 c * 5.8s| 19573 | 14741 | 0 | 0.0 | 27M|1899 | - |3649 |6972 | 0 | 0 | 0 |7839 | 0 | 0.000000e+00 | 2.730000e+02 | Inf
6.09/6.16 o 265
6.09/6.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.16 c * 5.9s| 19658 | 14671 | 0 | 0.0 | 27M|1899 | - |3649 |6948 | 0 | 0 | 0 |7849 | 0 | 0.000000e+00 | 2.650000e+02 | Inf
6.19/6.23 o 252
6.19/6.23 c * 6.0s| 19790 | 14598 | 0 | 0.0 | 27M|1899 | - |3649 |6880 | 0 | 0 | 0 |7881 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
6.19/6.28 o 244
6.19/6.28 c * 6.0s| 19911 | 14677 | 0 | 0.0 | 27M|1899 | - |3649 |6864 | 0 | 0 | 0 |7891 | 0 | 0.000000e+00 | 2.440000e+02 | Inf
6.19/6.29 o 207
6.19/6.29 c * 6.0s| 19912 | 14362 | 0 | 0.0 | 27M|1899 | - |3649 |6864 | 0 | 0 | 0 |7891 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
6.30/6.33 c 6.0s| 20000 | 14447 | 0 | 0.0 | 27M|1899 | - |3649 |6815 | 0 | 0 | 0 |7908 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
6.39/6.43 o 190
6.39/6.43 c * 6.2s| 20206 | 14446 | 0 | 0.0 | 27M|1899 | - |3649 |6812 | 0 | 0 | 0 |7936 | 0 | 0.000000e+00 | 1.900000e+02 | Inf
6.39/6.44 o 136
6.39/6.44 c * 6.2s| 20218 | 13309 | 0 | 0.0 | 26M|1899 | - |3649 |6812 | 0 | 0 | 0 |7936 | 0 | 0.000000e+00 | 1.360000e+02 | Inf
6.60/6.65 o 119
6.60/6.65 c * 6.4s| 20671 | 13602 | 0 | 0.0 | 27M|1899 | - |3649 |6756 | 0 | 0 | 0 |8056 | 0 | 0.000000e+00 | 1.190000e+02 | Inf
7.29/7.37 o 111
7.29/7.37 c * 7.0s| 22241 | 14951 | 0 | 0.0 | 29M|1899 | - |3649 |6206 | 0 | 0 | 0 |8542 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
7.50/7.52 o 108
7.50/7.52 c * 7.2s| 22565 | 15213 | 0 | 0.0 | 29M|1899 | - |3649 |6159 | 0 | 0 | 0 |8648 | 0 | 0.000000e+00 | 1.080000e+02 | Inf
7.50/7.59 o 94
7.50/7.59 c * 7.3s| 22712 | 15064 | 0 | 0.0 | 29M|1899 | - |3649 |6198 | 0 | 0 | 0 |8715 | 0 | 0.000000e+00 | 9.400000e+01 | Inf
7.99/8.07 o 58
7.99/8.07 c * 7.7s| 23834 | 14590 | 0 | 0.0 | 29M|1899 | - |3649 |5994 | 0 | 0 | 0 |8985 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
8.09/8.17 o 55
8.09/8.17 c * 7.8s| 24058 | 14731 | 0 | 0.0 | 29M|1899 | - |3649 |5956 | 0 | 0 | 0 |9054 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
8.19/8.26 o 35
8.19/8.26 c * 7.9s| 24270 | 13169 | 0 | 0.0 | 28M|1899 | - |3649 |5954 | 0 | 0 | 0 |9133 | 0 | 0.000000e+00 | 3.500000e+01 | Inf
8.39/8.46 o 30
8.39/8.46 c * 8.1s| 24768 | 13512 | 0 | 0.0 | 29M|1899 | - |3649 |5910 | 0 | 0 | 0 |9351 | 0 | 0.000000e+00 | 3.000000e+01 | Inf
8.39/8.46 o 10
8.39/8.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.46 c * 8.1s| 24769 | 12752 | 0 | 0.0 | 29M|1899 | - |3649 |5910 | 0 | 0 | 0 |9351 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
10.39/10.48 c 10.1s| 30000 | 17266 | 0 | 0.0 | 43M|1899 | - |3649 |6169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
11.69/11.74 o 8
11.69/11.74 c *11.3s| 33450 | 20145 | 0 | 0.0 | 50M|1899 | - |3649 |6569 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
11.69/11.74 o 5
11.69/11.74 c *11.3s| 33451 | 20062 | 0 | 0.0 | 50M|1899 | - |3649 |6569 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
13.99/14.02 c 13.5s| 40000 | 25449 | 0 | 0.0 | 62M|1899 | - |3649 |7736 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
17.40/17.41 c 16.8s| 50000 | 33373 | 0 | 0.0 | 73M|1899 | - |3649 |7785 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
20.99/21.09 c 20.3s| 60000 | 40830 | 0 | 0.0 | 82M|1899 | - |3649 |9251 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
24.90/24.98 c 24.1s| 70000 | 48061 | 0 | 0.0 | 91M|1899 | - |3649 | 10k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
29.49/29.51 c 28.5s| 80000 | 54714 | 0 | 0.0 | 100M|1899 | - |3649 | 11k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
34.49/34.58 c 33.5s| 90000 | 60970 | 0 | 0.0 | 110M|1899 | - |3649 | 13k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
41.09/41.15 c 39.9s|100000 | 66052 | 0 | 0.0 | 120M|1899 | - |3649 | 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
49.80/49.87 c 48.5s|110000 | 70356 | 0 | 0.0 | 144M|1899 | - |3649 |8385 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
56.79/56.81 c 55.3s|120000 | 76799 | 0 | 0.0 | 178M|1899 | - |3649 | 10k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
61.60/61.61 c 59.9s|130000 | 84359 | 0 | 0.0 | 193M|1899 | - |3649 | 11k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
67.59/67.63 c 65.7s|140000 | 91939 | 0 | 0.0 | 234M|1899 | - |3649 | 10k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
73.60/73.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.60/73.60 c 71.6s|150000 | 99332 | 0 | 0.0 | 251M|1899 | - |3649 | 10k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
79.69/79.76 c 77.6s|160000 |106797 | 0 | 0.0 | 266M|1899 | - |3649 | 12k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
87.39/87.41 c 85.0s|170000 |113405 | 0 | 0.0 | 280M|1899 | - |3649 | 12k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
92.20/92.26 c 89.8s|180000 |121669 | 0 | 0.0 | 294M|1899 | - |3649 | 13k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
95.49/95.59 o 3
95.49/95.59 c *93.0s|186147 |126202 | 0 | 0.0 | 300M|1899 | - |3649 | 14k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
97.70/97.80 c 95.2s|190000 |129241 | 0 | 0.0 | 304M|1899 | - |3649 | 14k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
104.19/104.20 c 101s|200000 |136721 | 0 | 0.0 | 317M|1899 | - |3649 | 16k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
111.20/111.25 c 108s|210000 |143900 | 0 | 0.0 | 330M|1899 | - |3649 | 18k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
119.90/119.94 c 117s|220000 |150335 | 0 | 0.0 | 343M|1899 | - |3649 | 20k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
126.99/127.04 c 124s|230000 |157411 | 0 | 0.0 | 355M|1899 | - |3649 | 17k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
133.19/133.23 c 130s|240000 |164600 | 0 | 0.0 | 367M|1899 | - |3649 | 18k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.70/139.72 c 136s|250000 |171798 | 0 | 0.0 | 379M|1899 | - |3649 | 19k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.00/146.06 c 142s|260000 |178793 | 0 | 0.0 | 389M|1899 | - |3649 | 21k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
152.39/152.46 c 149s|270000 |186153 | 0 | 0.0 | 400M|1899 | - |3649 | 20k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.30/159.37 c 155s|280000 |193230 | 0 | 0.0 | 410M|1899 | - |3649 | 20k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.29/166.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.29/166.33 c 162s|290000 |200334 | 0 | 0.0 | 423M|1899 | - |3649 | 20k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
172.20/172.28 c 168s|300000 |208031 | 0 | 0.0 | 434M|1899 | - |3649 | 22k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.89/180.95 c 177s|310000 |214331 | 0 | 0.0 | 443M|1899 | - |3649 | 21k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.39/186.42 c 182s|320000 |222352 | 0 | 0.0 | 454M|1899 | - |3649 | 22k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.20/195.24 c 191s|330000 |228272 | 0 | 0.0 | 463M|1899 | - |3649 | 25k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
201.39/201.46 c 197s|340000 |235852 | 0 | 0.0 | 474M|1899 | - |3649 | 24k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.10/208.19 c 203s|350000 |243005 | 0 | 0.0 | 483M|1899 | - |3649 | 23k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.30/215.36 c 210s|360000 |249756 | 0 | 0.0 | 492M|1899 | - |3649 | 22k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.69/221.77 c 217s|370000 |256710 | 0 | 0.0 | 497M|1899 | - |3649 | 11k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
225.69/225.78 c 221s|380000 |264755 | 0 | 0.0 | 507M|1899 | - |3649 |8900 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
231.00/231.08 c 226s|390000 |271070 | 0 | 0.0 | 517M|1899 | - |3649 | 12k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
237.10/237.13 c 232s|400000 |277183 | 0 | 0.0 | 526M|1899 | - |3649 | 13k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
243.29/243.40 c 238s|410000 |283245 | 0 | 0.0 | 535M|1899 | - |3649 | 14k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
249.70/249.73 c 244s|420000 |289360 | 0 | 0.0 | 544M|1899 | - |3649 | 15k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
256.59/256.69 c 251s|430000 |295077 | 0 | 0.0 | 553M|1899 | - |3649 | 16k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.70/263.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.70/263.79 c 258s|440000 |300750 | 0 | 0.0 | 561M|1899 | - |3649 | 16k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
271.00/271.04 c 265s|450000 |306363 | 0 | 0.0 | 570M|1899 | - |3649 | 17k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
278.90/278.96 c 273s|460000 |311645 | 0 | 0.0 | 579M|1899 | - |3649 | 17k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
287.69/287.75 c 281s|470000 |316362 | 0 | 0.0 | 588M|1899 | - |3649 | 19k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
296.80/296.90 c 290s|480000 |320997 | 0 | 0.0 | 597M|1899 | - |3649 | 19k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
306.80/306.83 c 300s|490000 |325247 | 0 | 0.0 | 606M|1899 | - |3649 | 20k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
317.00/317.01 c 310s|500000 |329511 | 0 | 0.0 | 615M|1899 | - |3649 | 22k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
327.80/327.89 c 321s|510000 |333554 | 0 | 0.0 | 625M|1899 | - |3649 | 23k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
339.39/339.43 c 332s|520000 |337314 | 0 | 0.0 | 634M|1899 | - |3649 | 24k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
352.20/352.25 c 345s|530000 |340403 | 0 | 0.0 | 642M|1899 | - |3649 | 25k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
365.30/365.37 c 358s|540000 |343626 | 0 | 0.0 | 651M|1899 | - |3649 | 26k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
379.00/379.05 c 371s|550000 |346559 | 0 | 0.0 | 660M|1899 | - |3649 | 27k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
393.20/393.29 c 386s|560000 |349343 | 0 | 0.0 | 669M|1899 | - |3649 | 30k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
409.10/409.11 c 401s|570000 |351562 | 0 | 0.0 | 678M|1899 | - |3649 | 31k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
427.09/427.18 c 419s|580000 |352892 | 0 | 0.0 | 685M|1899 | - |3649 | 34k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
449.49/449.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.49/449.51 c 441s|590000 |352519 | 0 | 0.0 | 688M|1899 | - |3649 | 34k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
456.80/456.89 c 448s|600000 |360111 | 0 | 0.0 | 689M|1899 | - |3649 | 13k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
463.89/463.93 c 455s|610000 |367034 | 0 | 0.0 | 699M|1899 | - |3649 | 13k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
472.10/472.19 c 463s|620000 |373261 | 0 | 0.0 | 711M|1899 | - |3649 | 15k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
481.90/481.96 c 473s|630000 |378771 | 0 | 0.0 | 723M|1899 | - |3649 | 18k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
493.40/493.49 c 484s|640000 |383607 | 0 | 0.0 | 735M|1899 | - |3649 | 21k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
502.30/502.40 o 2
502.30/502.40 c * 493s|646318 |373161 | 0 | 0.0 | 723M|1899 | - |3649 | 21k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
507.90/507.95 c 499s|650000 |374261 | 0 | 0.0 | 728M|1899 | - |3649 | 22k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
523.30/523.34 c 514s|660000 |377756 | 0 | 0.0 | 736M|1899 | - |3649 | 20k| 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
529.70/529.71 c 520s|670000 |385536 | 0 | 0.0 | 745M|1899 | - |3649 | 16k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
535.90/535.94 c 526s|680000 |393055 | 0 | 0.0 | 755M|1899 | - |3649 | 17k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
543.30/543.36 c 533s|690000 |399881 | 0 | 0.0 | 767M|1899 | - |3649 | 19k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
552.50/552.54 c 542s|700000 |405712 | 0 | 0.0 | 780M|1899 | - |3649 | 21k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.60/563.65 c 553s|710000 |410838 | 0 | 0.0 | 793M|1899 | - |3649 | 24k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
578.90/578.99 c 568s|720000 |414129 | 0 | 0.0 | 806M|1899 | - |3649 | 27k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.90/594.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.90/594.94 c 584s|730000 |417837 | 0 | 0.0 | 815M|1899 | - |3649 | 24k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
603.20/603.24 c 592s|740000 |424948 | 0 | 0.0 | 824M|1899 | - |3649 | 19k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
610.80/610.89 c 600s|750000 |431901 | 0 | 0.0 | 835M|1899 | - |3649 | 20k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
619.61/619.62 c 608s|760000 |438179 | 0 | 0.0 | 847M|1899 | - |3649 | 21k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.60/629.61 c 618s|770000 |443805 | 0 | 0.0 | 856M|1899 | - |3649 | 12k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
636.60/636.67 c 625s|780000 |448810 | 0 | 0.0 | 864M|1899 | - |3649 | 13k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.51/644.56 c 633s|790000 |453164 | 0 | 0.0 | 873M|1899 | - |3649 | 13k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
652.31/652.35 c 640s|800000 |457550 | 0 | 0.0 | 880M|1899 | - |3649 | 13k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
659.20/659.27 c 647s|810000 |462664 | 0 | 0.0 | 887M|1899 | - |3649 | 12k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
665.10/665.18 c 653s|820000 |468678 | 0 | 0.0 | 894M|1899 | - |3649 | 12k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.30/670.30 c 658s|830000 |475460 | 0 | 0.0 | 902M|1899 | - |3649 | 12k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
675.41/675.44 c 663s|840000 |482340 | 0 | 0.0 | 909M|1899 | - |3649 | 11k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.71/680.71 c 668s|850000 |489003 | 0 | 0.0 | 918M|1899 | - |3649 | 12k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.00/686.07 c 673s|860000 |495541 | 0 | 0.0 | 925M|1899 | - |3649 | 12k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
691.61/691.64 c 679s|870000 |501875 | 0 | 0.0 | 933M|1899 | - |3649 | 13k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
697.60/697.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.60/697.62 c 685s|880000 |507944 | 0 | 0.0 | 941M|1899 | - |3649 | 13k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
704.00/704.05 c 691s|890000 |513576 | 0 | 0.0 | 950M|1899 | - |3649 | 13k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.91/710.96 c 698s|900000 |518780 | 0 | 0.0 | 958M|1899 | - |3649 | 14k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.10/718.18 c 705s|910000 |523756 | 0 | 0.0 | 966M|1899 | - |3649 | 14k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.91/726.00 c 712s|920000 |528277 | 0 | 0.0 | 974M|1899 | - |3649 | 15k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
734.50/734.55 c 721s|930000 |532337 | 0 | 0.0 | 981M|1899 | - |3649 | 16k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
744.51/744.57 c 731s|940000 |535320 | 0 | 0.0 | 988M|1899 | - |3649 | 18k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.80/752.80 c 739s|950000 |540043 | 0 | 0.0 | 992M|1899 | - |3649 | 11k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
757.00/757.02 c 743s|960000 |547933 | 0 | 0.0 |1000M|1899 | - |3649 | 10k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.11/761.16 c 747s|970000 |555735 | 0 | 0.0 |1008M|1899 | - |3649 | 11k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.40/765.48 c 751s|980000 |563377 | 0 | 0.0 |1015M|1899 | - |3649 | 11k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.91/769.95 c 755s|990000 |570785 | 0 | 0.0 |1023M|1899 | - |3649 | 11k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
775.10/775.19 c 761s| 1000k|577571 | 0 | 0.0 |1032M|1899 | - |3649 | 12k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.70/780.71 c 766s| 1010k|584061 | 0 | 0.0 |1040M|1899 | - |3649 | 12k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.30/786.33 c 771s| 1020k|590615 | 0 | 0.0 |1048M|1899 | - |3649 | 12k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.10/792.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.10/792.18 c 777s| 1030k|596788 | 0 | 0.0 |1056M|1899 | - |3649 | 12k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.91/797.98 c 783s| 1040k|603098 | 0 | 0.0 |1064M|1899 | - |3649 | 12k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.90/803.94 c 789s| 1050k|609299 | 0 | 0.0 |1072M|1899 | - |3649 | 12k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.30/810.37 c 795s| 1060k|614958 | 0 | 0.0 |1080M|1899 | - |3649 | 13k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
816.61/816.62 c 801s| 1070k|620870 | 0 | 0.0 |1088M|1899 | - |3649 | 13k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.71/822.76 c 807s| 1080k|626877 | 0 | 0.0 |1095M|1899 | - |3649 | 13k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.11/829.12 c 813s| 1090k|632681 | 0 | 0.0 |1103M|1899 | - |3649 | 13k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.50/835.56 c 819s| 1100k|638448 | 0 | 0.0 |1111M|1899 | - |3649 | 13k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.20/842.29 c 826s| 1110k|644016 | 0 | 0.0 |1118M|1899 | - |3649 | 13k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.00/849.01 c 833s| 1120k|649559 | 0 | 0.0 |1126M|1899 | - |3649 | 13k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
856.40/856.46 c 840s| 1130k|654532 | 0 | 0.0 |1133M|1899 | - |3649 | 13k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
863.51/863.51 c 847s| 1140k|659853 | 0 | 0.0 |1140M|1899 | - |3649 | 13k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.41/870.49 c 854s| 1150k|665240 | 0 | 0.0 |1148M|1899 | - |3649 | 14k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.51/877.55 c 861s| 1160k|670598 | 0 | 0.0 |1155M|1899 | - |3649 | 14k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.61/884.66 c 868s| 1170k|675943 | 0 | 0.0 |1162M|1899 | - |3649 | 14k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.20/892.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.20/892.29 c 875s| 1180k|680909 | 0 | 0.0 |1170M|1899 | - |3649 | 15k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.40/899.48 c 882s| 1190k|686249 | 0 | 0.0 |1177M|1899 | - |3649 | 15k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.61/906.67 c 889s| 1200k|691605 | 0 | 0.0 |1184M|1899 | - |3649 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.70/914.73 c 897s| 1210k|696430 | 0 | 0.0 |1191M|1899 | - |3649 | 15k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.21/922.27 c 904s| 1220k|701564 | 0 | 0.0 |1199M|1899 | - |3649 | 16k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.81/930.82 c 913s| 1230k|706100 | 0 | 0.0 |1206M|1899 | - |3649 | 16k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
939.70/939.71 c 921s| 1240k|710364 | 0 | 0.0 |1214M|1899 | - |3649 | 17k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.01/949.02 c 931s| 1250k|714385 | 0 | 0.0 |1222M|1899 | - |3649 | 18k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.21/959.24 c 941s| 1260k|717767 | 0 | 0.0 |1229M|1899 | - |3649 | 18k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.60/970.66 c 952s| 1270k|720166 | 0 | 0.0 |1236M|1899 | - |3649 | 20k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
979.91/979.95 c 961s| 1280k|724386 | 0 | 0.0 |1240M|1899 | - |3649 | 12k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.60/984.64 c 966s| 1290k|731803 | 0 | 0.0 |1247M|1899 | - |3649 | 11k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.80/989.88 c 971s| 1300k|738588 | 0 | 0.0 |1256M|1899 | - |3649 | 12k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.71/995.73 c 976s| 1310k|744821 | 0 | 0.0 |1265M|1899 | - |3649 | 14k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.50/1002.53 c 983s| 1320k|750297 | 0 | 0.0 |1274M|1899 | - |3649 | 15k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1010.51/1010.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.51/1010.50 c 991s| 1330k|754710 | 0 | 0.0 |1283M|1899 | - |3649 | 17k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1021.31/1021.38 c 1002s| 1340k|756863 | 0 | 0.0 |1290M|1899 | - |3649 | 20k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.70/1026.75 c 1007s| 1350k|764034 | 0 | 0.0 |1296M|1899 | - |3649 | 11k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1031.51/1031.59 c 1011s| 1360k|771277 | 0 | 0.0 |1305M|1899 | - |3649 | 12k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1037.01/1037.02 c 1017s| 1370k|777968 | 0 | 0.0 |1313M|1899 | - |3649 | 13k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1043.21/1043.21 c 1023s| 1380k|784012 | 0 | 0.0 |1322M|1899 | - |3649 | 15k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1050.61/1050.69 c 1030s| 1390k|789046 | 0 | 0.0 |1330M|1899 | - |3649 | 17k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.10/1060.16 c 1039s| 1400k|792545 | 0 | 0.0 |1338M|1899 | - |3649 | 18k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.41/1069.42 c 1048s| 1410k|796497 | 0 | 0.0 |1343M|1899 | - |3649 | 12k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.61/1073.63 c 1053s| 1420k|804344 | 0 | 0.0 |1351M|1899 | - |3649 | 12k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1078.01/1078.08 c 1057s| 1430k|811875 | 0 | 0.0 |1359M|1899 | - |3649 | 12k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.61/1082.69 c 1061s| 1440k|819254 | 0 | 0.0 |1367M|1899 | - |3649 | 13k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.30/1087.35 c 1066s| 1450k|826438 | 0 | 0.0 |1374M|1899 | - |3649 | 14k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1093.42/1093.40 c 1072s| 1460k|832452 | 0 | 0.0 |1383M|1899 | - |3649 | 15k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1101.41/1101.42 c 1080s| 1470k|836747 | 0 | 0.0 |1391M|1899 | - |3649 | 17k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.31/1111.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.31/1111.36 c 1089s| 1480k|839632 | 0 | 0.0 |1399M|1899 | - |3649 | 18k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.91/1118.99 c 1097s| 1490k|844584 | 0 | 0.0 |1404M|1899 | - |3649 | 12k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1124.22/1124.28 c 1102s| 1500k|851362 | 0 | 0.0 |1412M|1899 | - |3649 | 12k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.51/1129.58 c 1107s| 1510k|858093 | 0 | 0.0 |1420M|1899 | - |3649 | 13k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.51/1135.56 c 1113s| 1520k|864217 | 0 | 0.0 |1429M|1899 | - |3649 | 14k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.11/1142.15 c 1119s| 1530k|869756 | 0 | 0.0 |1438M|1899 | - |3649 | 15k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.71/1149.75 c 1127s| 1540k|874451 | 0 | 0.0 |1446M|1899 | - |3649 | 14k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1157.31/1157.32 c 1134s| 1550k|878981 | 0 | 0.0 |1455M|1899 | - |3649 | 14k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.61/1164.67 c 1142s| 1560k|883712 | 0 | 0.0 |1462M|1899 | - |3649 | 13k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.21/1171.21 c 1148s| 1570k|889219 | 0 | 0.0 |1469M|1899 | - |3649 | 13k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.92/1176.91 c 1153s| 1580k|895438 | 0 | 0.0 |1476M|1899 | - |3649 | 13k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1182.71/1182.78 c 1159s| 1590k|901489 | 0 | 0.0 |1484M|1899 | - |3649 | 13k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.21/1189.25 c 1166s| 1600k|907101 | 0 | 0.0 |1493M|1899 | - |3649 | 14k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1196.51/1196.53 c 1173s| 1610k|912066 | 0 | 0.0 |1502M|1899 | - |3649 | 15k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.21/1205.27 c 1181s| 1620k|915950 | 0 | 0.0 |1510M|1899 | - |3649 | 16k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1215.21/1215.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.21/1215.29 c 1191s| 1630k|919117 | 0 | 0.0 |1515M|1899 | - |3649 | 13k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1219.51/1219.57 c 1195s| 1640k|927020 | 0 | 0.0 |1523M|1899 | - |3649 | 12k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1223.72/1223.74 c 1199s| 1650k|934922 | 0 | 0.0 |1530M|1899 | - |3649 | 12k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.91/1227.93 c 1203s| 1660k|942737 | 0 | 0.0 |1538M|1899 | - |3649 | 12k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.12/1232.19 c 1207s| 1670k|950434 | 0 | 0.0 |1545M|1899 | - |3649 | 12k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.72/1236.77 c 1212s| 1680k|957897 | 0 | 0.0 |1552M|1899 | - |3649 | 13k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.41/1241.40 c 1216s| 1690k|965300 | 0 | 0.0 |1560M|1899 | - |3649 | 13k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.41/1246.44 c 1221s| 1700k|972277 | 0 | 0.0 |1568M|1899 | - |3649 | 14k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1251.51/1251.54 c 1226s| 1710k|979285 | 0 | 0.0 |1575M|1899 | - |3649 | 14k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.91/1257.98 c 1233s| 1720k|985086 | 0 | 0.0 |1583M|1899 | - |3649 | 15k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1265.21/1265.25 c 1240s| 1730k|990225 | 0 | 0.0 |1592M|1899 | - |3649 | 16k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.01/1273.07 c 1247s| 1740k|995006 | 0 | 0.0 |1600M|1899 | - |3649 | 16k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1281.42/1281.41 c 1256s| 1750k|999418 | 0 | 0.0 |1607M|1899 | - |3649 | 17k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.62/1290.67 c 1265s| 1760k| 1003k| 0 | 0.0 |1615M|1899 | - |3649 | 18k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.71/1301.73 c 1275s| 1770k| 1005k| 0 | 0.0 |1621M|1899 | - |3649 | 19k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.41/1310.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.41/1310.44 c 1284s| 1780k| 1010k| 0 | 0.0 |1626M|1899 | - |3649 | 12k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.71/1314.77 c 1288s| 1790k| 1017k| 0 | 0.0 |1634M|1899 | - |3649 | 12k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.41/1319.43 c 1293s| 1800k| 1025k| 0 | 0.0 |1642M|1899 | - |3649 | 13k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1324.02/1324.04 c 1297s| 1810k| 1033k| 0 | 0.0 |1649M|1899 | - |3649 | 13k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1328.72/1328.76 c 1302s| 1820k| 1040k| 0 | 0.0 |1657M|1899 | - |3649 | 13k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.51/1333.54 c 1307s| 1830k| 1047k| 0 | 0.0 |1664M|1899 | - |3649 | 14k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.72/1338.71 c 1312s| 1840k| 1054k| 0 | 0.0 |1672M|1899 | - |3649 | 14k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.91/1343.91 c 1317s| 1850k| 1062k| 0 | 0.0 |1679M|1899 | - |3649 | 15k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.52/1350.55 c 1323s| 1860k| 1068k| 0 | 0.0 |1688M|1899 | - |3649 | 15k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.62/1357.64 c 1330s| 1870k| 1073k| 0 | 0.0 |1695M|1899 | - |3649 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.02/1365.09 c 1337s| 1880k| 1078k| 0 | 0.0 |1703M|1899 | - |3649 | 17k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.31/1373.30 c 1345s| 1890k| 1083k| 0 | 0.0 |1711M|1899 | - |3649 | 17k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.31/1382.37 c 1354s| 1900k| 1087k| 0 | 0.0 |1719M|1899 | - |3649 | 18k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.71/1392.71 c 1364s| 1910k| 1091k| 0 | 0.0 |1727M|1899 | - |3649 | 20k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1405.11/1405.19 c 1377s| 1920k| 1093k| 0 | 0.0 |1733M|1899 | - |3649 | 20k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.12/1410.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.12/1410.14 c 1382s| 1930k| 1100k| 0 | 0.0 |1738M|1899 | - |3649 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.92/1414.97 c 1386s| 1940k| 1108k| 0 | 0.0 |1745M|1899 | - |3649 | 13k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.91/1419.92 c 1391s| 1950k| 1115k| 0 | 0.0 |1753M|1899 | - |3649 | 14k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.01/1425.04 c 1396s| 1960k| 1122k| 0 | 0.0 |1761M|1899 | - |3649 | 14k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.41/1430.40 c 1401s| 1970k| 1129k| 0 | 0.0 |1769M|1899 | - |3649 | 15k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.31/1436.30 c 1407s| 1980k| 1136k| 0 | 0.0 |1776M|1899 | - |3649 | 16k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.32/1444.36 c 1415s| 1990k| 1140k| 0 | 0.0 |1785M|1899 | - |3649 | 17k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.92/1453.98 c 1424s| 2000k| 1144k| 0 | 0.0 |1793M|1899 | - |3649 | 19k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1463.32/1463.37 c 1434s| 2010k| 1148k| 0 | 0.0 |1797M|1899 | - |3649 | 13k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.81/1467.83 c 1438s| 2020k| 1155k| 0 | 0.0 |1805M|1899 | - |3649 | 13k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.42/1472.42 c 1442s| 2030k| 1163k| 0 | 0.0 |1812M|1899 | - |3649 | 13k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.22/1477.25 c 1447s| 2040k| 1170k| 0 | 0.0 |1820M|1899 | - |3649 | 14k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1482.83/1482.85 c 1453s| 2050k| 1177k| 0 | 0.0 |1828M|1899 | - |3649 | 15k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.92/1489.93 c 1460s| 2060k| 1182k| 0 | 0.0 |1837M|1899 | - |3649 | 16k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.32/1498.37 c 1468s| 2070k| 1186k| 0 | 0.0 |1845M|1899 | - |3649 | 18k| 0 | 0 | 0 |1848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1508.72/1508.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.72/1508.72 c 1478s| 2080k| 1189k| 0 | 0.0 |1853M|1899 | - |3649 | 19k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1516.52/1516.51 c 1486s| 2090k| 1195k| 0 | 0.0 |1858M|1899 | - |3649 | 12k| 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.42/1521.41 c 1490s| 2100k| 1202k| 0 | 0.0 |1867M|1899 | - |3649 | 13k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.92/1526.97 c 1496s| 2110k| 1208k| 0 | 0.0 |1875M|1899 | - |3649 | 14k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.02/1533.09 c 1502s| 2120k| 1214k| 0 | 0.0 |1884M|1899 | - |3649 | 14k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.82/1539.86 c 1508s| 2130k| 1220k| 0 | 0.0 |1892M|1899 | - |3649 | 15k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.41/1547.42 c 1516s| 2140k| 1225k| 0 | 0.0 |1901M|1899 | - |3649 | 17k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.22/1556.25 c 1524s| 2150k| 1229k| 0 | 0.0 |1909M|1899 | - |3649 | 18k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1568.02/1568.07 c 1536s| 2160k| 1230k| 0 | 0.0 |1914M|1899 | - |3649 | 17k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.82/1579.85 c 1548s| 2170k| 1233k| 0 | 0.0 |1921M|1899 | - |3649 | 16k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.42/1592.43 c 1560s| 2180k| 1236k| 0 | 0.0 |1928M|1899 | - |3649 | 17k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.22/1605.25 c 1573s| 2190k| 1238k| 0 | 0.0 |1936M|1899 | - |3649 | 18k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.62/1618.67 c 1586s| 2200k| 1240k| 0 | 0.0 |1944M|1899 | - |3649 | 18k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1631.92/1631.91 c 1599s| 2210k| 1243k| 0 | 0.0 |1951M|1899 | - |3649 | 20k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.41/1646.48 c 1613s| 2220k| 1244k| 0 | 0.0 |1957M|1899 | - |3649 | 19k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.92/1659.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.92/1659.99 c 1627s| 2230k| 1247k| 0 | 0.0 |1965M|1899 | - |3649 | 21k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.62/1674.60 c 1641s| 2240k| 1249k| 0 | 0.0 |1971M|1899 | - |3649 | 21k| 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.53/1688.55 c 1655s| 2250k| 1251k| 0 | 0.0 |1978M|1899 | - |3649 | 22k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.93/1703.99 c 1670s| 2260k| 1253k| 0 | 0.0 |1984M|1899 | - |3649 | 21k| 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1718.42/1718.43 c 1685s| 2270k| 1255k| 0 | 0.0 |1991M|1899 | - |3649 | 21k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1734.32/1734.36 c 1700s| 2280k| 1257k| 0 | 0.0 |1996M|1899 | - |3649 | 22k| 0 | 0 | 0 |2055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.92/1749.91 c 1716s| 2290k| 1259k| 0 | 0.0 |2003M|1899 | - |3649 | 21k| 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.02/1767.01 c 1733s| 2300k| 1259k| 0 | 0.0 |2008M|1899 | - |3649 | 24k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1784.42/1784.48 c 1750s| 2310k| 1260k| 0 | 0.0 |2012M|1899 | - |3649 | 23k| 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1765.13
1800.02/1800.00 c Solving Nodes : 2318908
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (32 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.03 s SATISFIABLE
1800.02/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.02/1800.03 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.02/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.03 v -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.03 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.02/1800.03 v -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.02/1800.03 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.02/1800.03 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.02/1800.03 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.02/1800.03 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.02/1800.03 v -x1
1800.02/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.03 c Solving Time : 1765.13
1800.02/1800.03 c Original Problem :
1800.02/1800.03 c Problem name : HOME/instance-2694135-1277907208.wbo
1800.02/1800.03 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.02/1800.03 c Constraints : 4493 initial, 4493 maximal
1800.02/1800.03 c Presolved Problem :
1800.02/1800.03 c Problem name : t_HOME/instance-2694135-1277907208.wbo
1800.02/1800.03 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.02/1800.03 c Constraints : 4298 initial, 41571 maximal
1800.02/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.03 c trivial : 0.00 76 0 0 0 0 0 0 0
1800.02/1800.03 c dualfix : 0.00 76 0 0 0 0 0 0 0
1800.02/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 0.01 0 0 0 0 0 76 0 0
1800.02/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c linear : 0.06 0 0 0 1809 0 119 96 0
1800.02/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c root node : - 1687 - - 3374 - - - -
1800.02/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 1709 0 5426827 0 1538825 13 2564056 0 0 0
1800.02/1800.03 c setppc : 11 0 7239419 0 1930219 33264 3466147 0 0 0
1800.02/1800.03 c linear : 1709 0 7218594 0 1932016 374384 36050025 0 0 0
1800.02/1800.03 c logicor : 869+ 0 4633538 0 1932026 222662 7828802 0 0 0
1800.02/1800.03 c bounddisjunction : 0+ 0 45731 0 0 0 5 0 0 0
1800.02/1800.03 c countsols : 0 0 0 0 1932026 0 0 0 0 0
1800.02/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.03 c indicator : 6.65 0.00 4.61 0.00 2.04
1800.02/1800.03 c setppc : 23.33 0.00 20.62 0.00 2.71
1800.02/1800.03 c linear : 298.28 0.00 296.77 0.00 1.51
1800.02/1800.03 c logicor : 491.63 0.00 438.21 0.00 53.42
1800.02/1800.03 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.02/1800.03 c countsols : 0.41 0.00 0.00 0.00 0.41
1800.02/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.03 c vbounds : 2.14 2 0 0
1800.02/1800.03 c rootredcost : 1.64 0 0 0
1800.02/1800.03 c pseudoobj : 225.48 7251968 243 2558724
1800.02/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.03 c propagation : 43.90 630553 630517 3125435 20.4 285246 10.5 -
1800.02/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c pseudo solution : 0.00 9 9 21 24.2 18 8.0 -
1800.02/1800.03 c applied globally : - - - 2106929 18.5 - - -
1800.02/1800.03 c applied locally : - - - 0 0.0 - - -
1800.02/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.03 c redcost : 0.00 0 0 0 0 0
1800.02/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.03 c intobj : 0.00 0 0 0 0 0
1800.02/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.03 c gomory : 0.00 0 0 0 0 0
1800.02/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.03 c cmir : 0.00 0 0 0 0 0
1800.02/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.03 c clique : 0.00 0 0 0 0 0
1800.02/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.03 c mcf : 0.00 0 0 0 0 0
1800.02/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.03 c Pricers : Time Calls Vars
1800.02/1800.03 c problem variables: 0.00 0 0
1800.02/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c inference : 26.43 1931994 0 0 0 0 3863988
1800.02/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c random : 0.00 0 0 0 0 0 0
1800.02/1800.03 c Primal Heuristics : Time Calls Found
1800.02/1800.03 c LP solutions : 0.00 - 0
1800.02/1800.03 c pseudo solutions : 0.03 - 32
1800.02/1800.03 c oneopt : 0.90 0 0
1800.02/1800.03 c trivial : 0.02 2 0
1800.02/1800.03 c simplerounding : 0.00 0 0
1800.02/1800.03 c zirounding : 0.00 0 0
1800.02/1800.03 c rounding : 0.00 0 0
1800.02/1800.03 c shifting : 0.00 0 0
1800.02/1800.03 c intshifting : 0.00 0 0
1800.02/1800.03 c twoopt : 0.00 0 0
1800.02/1800.03 c fixandinfer : 0.00 0 0
1800.02/1800.03 c feaspump : 0.00 0 0
1800.02/1800.03 c coefdiving : 0.00 0 0
1800.02/1800.03 c pscostdiving : 0.00 0 0
1800.02/1800.03 c fracdiving : 0.00 0 0
1800.02/1800.03 c veclendiving : 0.00 0 0
1800.02/1800.03 c intdiving : 0.00 0 0
1800.02/1800.03 c actconsdiving : 0.00 0 0
1800.02/1800.03 c objpscostdiving : 0.00 0 0
1800.02/1800.03 c rootsoldiving : 0.00 0 0
1800.02/1800.03 c linesearchdiving : 0.00 0 0
1800.02/1800.03 c guideddiving : 0.00 0 0
1800.02/1800.03 c octane : 0.00 0 0
1800.02/1800.03 c rens : 0.00 0 0
1800.02/1800.03 c rins : 0.00 0 0
1800.02/1800.03 c localbranching : 0.00 0 0
1800.02/1800.03 c mutation : 0.00 0 0
1800.02/1800.03 c crossover : 0.00 0 0
1800.02/1800.03 c dins : 0.00 0 0
1800.02/1800.03 c undercover : 0.00 0 0
1800.02/1800.03 c nlp : 0.77 0 0
1800.02/1800.03 c trysol : 0.65 1 0
1800.02/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.03 c (at root node) : - 0 0 0.00 -
1800.02/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.03 c B&B Tree :
1800.02/1800.03 c number of runs : 1
1800.02/1800.03 c nodes : 2318908
1800.02/1800.03 c nodes (total) : 2318908
1800.02/1800.03 c nodes left : 1261603
1800.02/1800.03 c max depth : 1899
1800.02/1800.03 c max depth (total): 1899
1800.02/1800.03 c backtracks : 335545 (14.5%)
1800.02/1800.03 c delayed cutoffs : 262142
1800.02/1800.03 c repropagations : 1213930 (14716862 domain reductions, 243693 cutoffs)
1800.02/1800.03 c avg switch length: 24.39
1800.02/1800.03 c switching time : 531.28
1800.02/1800.03 c Solution :
1800.02/1800.03 c Solutions found : 32 (32 improvements)
1800.02/1800.03 c First Solution : +6.06000000000000e+02 (in run 1, after 4507 nodes, 1.15 seconds, depth 509, found by <relaxation>)
1800.02/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 646318 nodes, 493.10 seconds, depth 91, found by <relaxation>)
1800.02/1800.03 c Dual Bound : +0.00000000000000e+00
1800.02/1800.03 c Gap : infinite
1800.02/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.03 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-2694135-1277907208/watcher-2694135-1277907208 -o /tmp/evaluation-result-2694135-1277907208/solver-2694135-1277907208 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694135-1277907208.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.79 2.81 2.52 4/178 12054 /proc/meminfo: memFree=31529368/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=8444 CPUtime=0 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 1590 0 0 0 0 0 0 0 25 0 1 0 132017163 8646656 1512 4089446400 4194304 7136930 140734588582896 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12054/statm: 2111 1512 275 719 0 1390 0 [startup+0.088234 s] /proc/loadavg: 2.79 2.81 2.52 4/178 12054 /proc/meminfo: memFree=31529368/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=27712 CPUtime=0.07 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 7085 0 0 0 7 0 0 0 25 0 1 0 132017163 28377088 6139 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 6928 6139 348 719 0 6207 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 27712 [startup+0.10123 s] /proc/loadavg: 2.79 2.81 2.52 4/178 12054 /proc/meminfo: memFree=31529368/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=28740 CPUtime=0.09 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 7871 0 0 0 8 1 0 0 25 0 1 0 132017163 29429760 6411 4089446400 4194304 7136930 140734588582896 18446744073709551615 4361606 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 7185 6411 354 719 0 6464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28740 [startup+0.300198 s] /proc/loadavg: 2.79 2.81 2.52 4/178 12054 /proc/meminfo: memFree=31529368/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=29524 CPUtime=0.29 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 10169 0 0 0 27 2 0 0 18 0 1 0 132017163 30232576 6653 4089446400 4194304 7136930 140734588582896 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 7381 6653 391 719 0 6660 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29524 [startup+0.700132 s] /proc/loadavg: 2.79 2.81 2.52 4/178 12054 /proc/meminfo: memFree=31529368/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=31612 CPUtime=0.69 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 10695 0 0 0 63 6 0 0 18 0 1 0 132017163 32370688 7179 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 7903 7179 395 719 0 7182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31612 [startup+1.50106 s] /proc/loadavg: 2.72 2.79 2.52 3/179 12055 /proc/meminfo: memFree=31501212/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=33668 CPUtime=1.49 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 11191 0 0 0 139 10 0 0 19 0 1 0 132017163 34476032 7675 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 8417 7675 395 719 0 7696 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33668 [startup+3.10078 s] /proc/loadavg: 2.72 2.79 2.52 3/179 12055 /proc/meminfo: memFree=31498980/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=38736 CPUtime=3.09 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 12499 0 0 0 294 15 0 0 24 0 1 0 132017163 39665664 8983 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 9684 8983 396 719 0 8963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38736 [startup+6.30019 s] /proc/loadavg: 2.72 2.79 2.52 3/179 12055 /proc/meminfo: memFree=31485532/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=53412 CPUtime=6.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 16004 0 0 0 605 25 0 0 25 0 1 0 132017163 54693888 12488 4089446400 4194304 7136930 140734588582896 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 13353 12488 396 719 0 12632 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 53412 [startup+12.7001 s] /proc/loadavg: 2.61 2.77 2.51 3/179 12055 /proc/meminfo: memFree=31449084/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=89924 CPUtime=12.69 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 24574 0 0 0 1225 44 0 0 25 0 1 0 132017163 92082176 21058 4089446400 4194304 7136930 140734588582896 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 22481 21058 398 719 0 21760 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89924 [startup+25.501 s] /proc/loadavg: 2.52 2.74 2.50 3/179 12055 /proc/meminfo: memFree=31405616/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=132304 CPUtime=25.5 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 34966 0 0 0 2465 85 0 0 25 0 1 0 132017163 135479296 31450 4089446400 4194304 7136930 140734588582896 18446744073709551615 4923705 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 33076 31450 398 719 0 32355 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 132304 [startup+51.1006 s] /proc/loadavg: 2.34 2.68 2.49 3/179 12057 /proc/meminfo: memFree=31335592/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=215588 CPUtime=51.09 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 53189 0 0 0 4969 140 0 0 25 0 1 0 132017163 220762112 49673 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 53897 49673 398 719 0 53176 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 215588 [startup+102.306 s] /proc/loadavg: 2.13 2.56 2.46 3/179 12057 /proc/meminfo: memFree=31163300/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=396940 CPUtime=102.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 95254 0 0 0 9959 271 0 0 25 0 1 0 132017163 406466560 91738 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 99235 91738 398 719 0 98514 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 396940 [startup+162.301 s] /proc/loadavg: 2.08 2.47 2.43 3/179 12059 /proc/meminfo: memFree=31058840/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=508316 CPUtime=162.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 121736 0 0 0 15837 393 0 0 25 0 1 0 132017163 520515584 118220 4089446400 4194304 7136930 140734588582896 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 127079 118220 398 719 0 126358 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 508316 [startup+222.301 s] /proc/loadavg: 2.03 2.38 2.40 3/179 12061 /proc/meminfo: memFree=30960836/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=613488 CPUtime=222.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 145973 0 0 0 21726 504 0 0 25 0 1 0 132017163 628211712 142457 4089446400 4194304 7136930 140734588582896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 153372 142457 398 719 0 152651 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 613488 [startup+282.301 s] /proc/loadavg: 2.01 2.31 2.37 3/179 12063 /proc/meminfo: memFree=30871880/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=700812 CPUtime=282.29 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 167446 0 0 0 27601 628 0 0 25 0 1 0 132017163 717631488 163930 4089446400 4194304 7136930 140734588582896 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 175203 163930 398 719 0 174482 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 700812 [startup+342.301 s] /proc/loadavg: 2.00 2.25 2.35 3/179 12065 /proc/meminfo: memFree=30815916/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=754596 CPUtime=342.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 180889 0 0 0 33516 714 0 0 25 0 1 0 132017163 772706304 177373 4089446400 4194304 7136930 140734588582896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 188649 177373 398 719 0 187928 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 754596 [startup+402.3 s] /proc/loadavg: 2.00 2.20 2.32 3/179 12065 /proc/meminfo: memFree=30770616/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=799620 CPUtime=402.29 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 192213 0 0 0 39442 787 0 0 25 0 1 0 132017163 818810880 188697 4089446400 4194304 7136930 140734588582896 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 199905 188697 398 719 0 199184 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 799620 [startup+462.3 s] /proc/loadavg: 2.00 2.16 2.30 3/179 12067 /proc/meminfo: memFree=30729292/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=841124 CPUtime=462.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 202682 0 0 0 45374 856 0 0 25 0 1 0 132017163 861310976 199166 4089446400 4194304 7136930 140734588582896 18446744073709551615 4660061 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 210281 199166 398 719 0 209560 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 841124 [startup+522.3 s] /proc/loadavg: 2.00 2.13 2.28 3/179 12069 /proc/meminfo: memFree=30688680/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=882560 CPUtime=522.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 212991 0 0 0 51281 949 0 0 25 0 1 0 132017163 903741440 209475 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 220640 209475 398 719 0 219919 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 882560 [startup+582.3 s] /proc/loadavg: 2.00 2.10 2.26 3/179 12071 /proc/meminfo: memFree=30618804/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=949724 CPUtime=582.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 229899 0 0 0 57170 1060 0 0 25 0 1 0 132017163 972517376 226383 4089446400 4194304 7136930 140734588582896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 237431 226383 398 719 0 236710 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 949724 [startup+642.301 s] /proc/loadavg: 1.93 2.07 2.24 3/179 12101 /proc/meminfo: memFree=30604300/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1030608 CPUtime=642.31 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 249175 0 0 0 63061 1170 0 0 25 0 1 0 132017163 1055342592 245659 4089446400 4194304 7136930 140734588582896 18446744073709551615 5953067 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 257652 245659 398 719 0 256931 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1030608 [startup+702.301 s] ################ # More data... # ################ /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 350929 0 0 0 98282 1949 0 0 25 0 1 0 132017163 1479499776 347413 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 361206 347413 398 719 0 360485 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1444824 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.14 3/179 12138 /proc/meminfo: memFree=29541028/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1513708 CPUtime=1062.3 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 368171 0 0 0 104149 2081 0 0 25 0 1 0 132017163 1550036992 364655 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 378427 364655 398 719 0 377706 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1513708 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.13 3/179 12143 /proc/meminfo: memFree=29372492/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1583416 CPUtime=1122.31 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 385727 0 0 0 110016 2215 0 0 25 0 1 0 132017163 1621417984 382211 4089446400 4194304 7136930 140734588582896 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 395854 382211 398 719 0 395133 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1583416 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.12 3/179 12145 /proc/meminfo: memFree=29254884/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1654372 CPUtime=1182.31 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 403624 0 0 0 115875 2356 0 0 25 0 1 0 132017163 1694076928 400108 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 413593 400108 398 719 0 412872 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1654372 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.10 3/179 12147 /proc/meminfo: memFree=29139144/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1731680 CPUtime=1242.31 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 423254 0 0 0 121728 2503 0 0 25 0 1 0 132017163 1773240320 419738 4089446400 4194304 7136930 140734588582896 18446744073709551615 4923914 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 432920 419738 398 719 0 432199 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1731680 [startup+1302.3 s] /proc/loadavg: 2.06 2.01 2.10 3/179 12147 /proc/meminfo: memFree=28989676/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1813552 CPUtime=1302.32 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 439655 0 0 0 127608 2624 0 0 25 0 1 0 132017163 1857077248 436139 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 453388 436139 398 719 0 452667 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1813552 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.09 3/179 12149 /proc/meminfo: memFree=28815164/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1896244 CPUtime=1362.31 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 460513 0 0 0 133461 2770 0 0 25 0 1 0 132017163 1941753856 456997 4089446400 4194304 7136930 140734588582896 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 474061 456997 398 719 0 473340 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1896244 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 2.09 3/179 12151 /proc/meminfo: memFree=28679844/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=1947004 CPUtime=1422.32 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 473443 0 0 0 139341 2891 0 0 25 0 1 0 132017163 1993732096 469927 4089446400 4194304 7136930 140734588582896 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 486751 469927 398 719 0 486030 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1947004 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.08 3/179 12153 /proc/meminfo: memFree=28516476/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2016496 CPUtime=1482.31 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 491016 0 0 0 145204 3027 0 0 25 0 1 0 132017163 2064891904 487500 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 504124 487500 398 719 0 503403 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2016496 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.08 3/179 12155 /proc/meminfo: memFree=28355720/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2083152 CPUtime=1542.32 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 507841 0 0 0 151073 3159 0 0 25 0 1 0 132017163 2133147648 504325 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 520788 504325 398 719 0 520067 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2083152 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 12155 /proc/meminfo: memFree=28227340/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2120788 CPUtime=1602.32 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 517330 0 0 0 156978 3254 0 0 25 0 1 0 132017163 2171686912 513814 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 530197 513814 398 719 0 529476 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2120788 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12157 /proc/meminfo: memFree=28104764/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2148200 CPUtime=1662.32 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 524181 0 0 0 162905 3327 0 0 25 0 1 0 132017163 2199756800 520665 4089446400 4194304 7136930 140734588582896 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 537050 520665 398 719 0 536329 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2148200 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12159 /proc/meminfo: memFree=28033404/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2171180 CPUtime=1722.32 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 529870 0 0 0 168835 3397 0 0 25 0 1 0 132017163 2223288320 526354 4089446400 4194304 7136930 140734588582896 18446744073709551615 4999772 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 542795 526354 398 719 0 542074 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2171180 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12161 /proc/meminfo: memFree=27920876/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2195876 CPUtime=1782.33 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 536121 0 0 0 174767 3466 0 0 25 0 1 0 132017163 2248577024 532605 4089446400 4194304 7136930 140734588582896 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 548969 532605 398 719 0 548248 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2195876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12161 /proc/meminfo: memFree=27895572/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2201656 CPUtime=1800.02 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 537540 0 0 0 176515 3487 0 0 25 0 1 0 132017163 2254495744 534024 4089446400 4194304 7136930 140734588582896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12054/statm: 550414 534024 398 719 0 549693 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2201656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12054 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.05 3/180 12162 /proc/meminfo: memFree=27895564/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2201656 CPUtime=1801.43 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 537545 0 0 0 176655 3488 0 0 25 0 1 0 132017163 2254495744 534029 4089446400 4194304 7136930 140734588582896 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12054/statm: 550414 534029 403 719 0 549693 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2201656 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.05 3/180 12162 /proc/meminfo: memFree=27893208/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2201656 CPUtime=1801.83 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 537545 0 0 0 176695 3488 0 0 25 0 1 0 132017163 2254495744 534029 4089446400 4194304 7136930 140734588582896 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12054/statm: 550414 534029 403 719 0 549693 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2201656 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.05 3/180 12162 /proc/meminfo: memFree=27893208/32950928 swapFree=67111528/67111528 [pid=12054] ppid=12052 vsize=2201656 CPUtime=1802.03 /proc/12054/stat : 12054 (pbscip.linux.x8) R 12052 12054 11304 0 -1 4202496 537545 0 0 0 176715 3488 0 0 25 0 1 0 132017163 2254495744 534029 4089446400 4194304 7136930 140734588582896 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12054/statm: 550414 534029 403 719 0 549693 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2201656 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.11 CPU user time (s): 1767.16 CPU system time (s): 34.9487 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2201656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.16 system time used= 34.9487 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 537545 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1026 runsolver used 2.88956 second user time and 5.98409 second system time The end
Begin job on node126 at 2010-06-30 16:13:28 IDJOB=2694135 IDBENCH=78946 IDSOLVER=1206 FILE ID=node126/2694135-1277907208 PBS_JOBID= 11197216 Free space on /tmp= 74184 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.1900576927--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-2694135-1277907208/watcher-2694135-1277907208 -o /tmp/evaluation-result-2694135-1277907208/solver-2694135-1277907208 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694135-1277907208.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b0bcd9e760e7f0ffa9653d41066a148b RANDOM SEED=1234471697 node126.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.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.83 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.835 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.835 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.83 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.835 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.72 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.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31530028 kB Buffers: 189380 kB Cached: 926868 kB SwapCached: 0 kB Active: 628760 kB Inactive: 650276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31530028 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 163068 kB Mapped: 17452 kB Slab: 77488 kB PageTables: 5276 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 308288 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= 74184 MiB End job on node126 at 2010-06-30 16:43:30