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.14 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo |
| MD5SUM | c0d431beb578ab67ce1970cb297cf650 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 514.642 |
| 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 | 137973 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137972 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693583-1277925237.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 137972
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.379720e+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.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.14
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379720e+05 | Inf
2.19/2.24 o 569
2.19/2.24 c * 2.2s| 6793 | 5836 | 0 | 0.0 | 23M|2816 | - |5645 |6730 | 0 | 0 | 0 |1316 | 0 | 0.000000e+00 | 5.690000e+02 | Inf
3.39/3.48 c 3.4s| 10000 | 9031 | 0 | 0.0 | 24M|2816 | - |5645 |6775 | 0 | 0 | 0 |1362 | 0 | 0.000000e+00 | 5.690000e+02 | Inf
4.29/4.35 o 465
4.29/4.35 c * 4.2s| 12915 | 11788 | 0 | 0.0 | 25M|2816 | - |5645 |6841 | 0 | 0 | 0 |1431 | 0 | 0.000000e+00 | 4.650000e+02 | Inf
4.29/4.35 o 365
4.29/4.35 c * 4.2s| 12916 | 10969 | 0 | 0.0 | 25M|2816 | - |5645 |6841 | 0 | 0 | 0 |1431 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
6.69/6.73 c 6.6s| 20000 | 17010 | 0 | 0.0 | 33M|2816 | - |5645 |8242 | 0 | 0 | 0 |6255 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
10.79/10.89 c 10.6s| 30000 | 24494 | 0 | 0.0 | 45M|2816 | - |5645 |9084 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
15.99/16.08 o 361
15.99/16.08 c *15.7s| 38273 | 29699 | 0 | 0.0 | 54M|2816 | - |5645 |8906 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.610000e+02 | Inf
16.09/16.19 o 353
16.09/16.19 c *15.8s| 38434 | 29282 | 0 | 0.0 | 54M|2816 | - |5645 |8858 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
16.09/16.19 o 343
16.09/16.19 c *15.8s| 38435 | 28799 | 0 | 0.0 | 53M|2816 | - |5645 |8857 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.430000e+02 | Inf
16.19/16.28 o 307
16.19/16.28 c *15.9s| 38572 | 27339 | 0 | 0.0 | 53M|2816 | - |5645 |8814 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.070000e+02 | Inf
16.19/16.28 o 290
16.19/16.28 c *15.9s| 38573 | 26600 | 0 | 0.0 | 52M|2816 | - |5645 |8814 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.900000e+02 | Inf
16.59/16.67 o 287
16.59/16.67 c *16.3s| 39196 | 27080 | 0 | 0.0 | 53M|2816 | - |5645 |8660 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.870000e+02 | Inf
16.59/16.67 o 282
16.59/16.67 c *16.3s| 39197 | 26922 | 0 | 0.0 | 53M|2816 | - |5645 |8660 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.820000e+02 | Inf
16.69/16.74 o 269
16.69/16.74 c *16.4s| 39286 | 26481 | 0 | 0.0 | 53M|2816 | - |5645 |8635 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.690000e+02 | Inf
16.89/16.90 o 258
16.89/16.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.89/16.90 c *16.6s| 39540 | 26580 | 0 | 0.0 | 52M|2816 | - |5645 |8588 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
16.89/16.92 o 251
16.89/16.92 c *16.6s| 39572 | 26506 | 0 | 0.0 | 52M|2816 | - |5645 |8588 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
16.89/16.92 o 236
16.89/16.92 c *16.6s| 39573 | 26349 | 0 | 0.0 | 52M|2816 | - |5645 |8588 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
17.09/17.18 c 16.8s| 40000 | 26765 | 0 | 0.0 | 53M|2816 | - |5645 |8546 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
17.49/17.60 o 218
17.49/17.60 c *17.2s| 40712 | 27260 | 0 | 0.0 | 53M|2816 | - |5645 |8467 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
18.20/18.20 o 202
18.20/18.20 c *17.8s| 41760 | 28097 | 0 | 0.0 | 54M|2816 | - |5645 |8252 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
18.20/18.20 o 195
18.20/18.20 c *17.8s| 41761 | 28022 | 0 | 0.0 | 54M|2816 | - |5645 |8252 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
18.20/18.27 o 192
18.20/18.27 c *17.9s| 41858 | 28032 | 0 | 0.0 | 54M|2816 | - |5645 |8220 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
18.29/18.31 o 149
18.29/18.31 c *17.9s| 41943 | 27421 | 0 | 0.0 | 53M|2816 | - |5645 |8219 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
18.29/18.31 o 142
18.29/18.31 c *17.9s| 41944 | 27191 | 0 | 0.0 | 53M|2816 | - |5645 |8219 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
19.99/20.01 o 135
19.99/20.01 c *19.6s| 44407 | 29239 | 0 | 0.0 | 56M|2816 | - |5645 |8280 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
20.69/20.73 o 122
20.69/20.73 c *20.3s| 45615 | 29995 | 0 | 0.0 | 58M|2816 | - |5645 |7950 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
20.69/20.73 o 110
20.69/20.73 c *20.3s| 45616 | 29789 | 0 | 0.0 | 58M|2816 | - |5645 |7950 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
22.79/22.82 o 88
22.79/22.82 c *22.4s| 48751 | 31551 | 0 | 0.0 | 61M|2816 | - |5645 |7511 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
23.69/23.78 c 23.3s| 50000 | 32625 | 0 | 0.0 | 64M|2816 | - |5645 |7943 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
25.89/25.98 o 83
25.89/25.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.89/25.98 c *25.5s| 52136 | 34019 | 0 | 0.0 | 71M|2816 | - |5645 |8797 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
29.09/29.14 o 76
29.09/29.14 c *28.6s| 55487 | 36414 | 0 | 0.0 | 74M|2816 | - |5645 |7543 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
29.79/29.82 o 70
29.79/29.82 c *29.3s| 56406 | 36550 | 0 | 0.0 | 75M|2816 | - |5645 |8223 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
31.99/32.00 c 31.4s| 60000 | 39723 | 0 | 0.0 | 79M|2816 | - |5645 |7675 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
33.89/33.99 o 65
33.89/33.99 c *33.4s| 62732 | 41495 | 0 | 0.0 | 82M|2816 | - |5645 |7383 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
36.59/36.66 o 62
36.59/36.66 c *36.0s| 66467 | 44475 | 0 | 0.0 | 86M|2816 | - |5645 |7663 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
37.79/37.82 o 57
37.79/37.82 c *37.2s| 68729 | 45820 | 0 | 0.0 | 87M|2816 | - |5645 |7825 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
38.50/38.55 c 37.9s| 70000 | 46882 | 0 | 0.0 | 88M|2816 | - |5645 |8072 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
38.69/38.73 o 53
38.69/38.73 c *38.0s| 70286 | 46835 | 0 | 0.0 | 87M|2816 | - |5645 |8176 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
41.29/41.39 o 49
41.29/41.39 c *40.7s| 74563 | 50071 | 0 | 0.0 | 92M|2816 | - |5645 |8076 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
41.29/41.40 o 43
41.29/41.40 c *40.7s| 74564 | 49639 | 0 | 0.0 | 91M|2816 | - |5645 |8076 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
41.59/41.63 o 42
41.59/41.63 c *40.9s| 75059 | 50042 | 0 | 0.0 | 91M|2816 | - |5645 |7923 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
44.19/44.24 c 43.5s| 80000 | 54196 | 0 | 0.0 | 96M|2816 | - |5645 |8069 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
48.99/49.09 c 48.2s| 90000 | 62619 | 0 | 0.0 | 107M|2816 | - |5645 |8229 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
53.59/53.60 c 52.6s|100000 | 70818 | 0 | 0.0 | 116M|2816 | - |5645 |6797 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
57.99/58.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.99/58.01 c 57.0s|110000 | 78655 | 0 | 0.0 | 126M|2816 | - |5645 |7702 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
62.99/63.04 c 61.9s|120000 | 86155 | 0 | 0.0 | 137M|2816 | - |5645 |8208 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
68.39/68.44 c 67.2s|130000 | 93222 | 0 | 0.0 | 149M|2816 | - |5645 |8563 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
73.89/73.90 c 72.6s|140000 |100163 | 0 | 0.0 | 160M|2816 | - |5645 |8828 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
79.50/79.55 c 78.2s|150000 |106878 | 0 | 0.0 | 171M|2816 | - |5645 |9369 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
86.39/86.42 c 84.9s|160000 |112734 | 0 | 0.0 | 183M|2816 | - |5645 | 10k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
93.69/93.79 c 92.2s|170000 |118113 | 0 | 0.0 | 195M|2816 | - |5645 | 10k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
101.59/101.61 c 99.9s|180000 |123223 | 0 | 0.0 | 206M|2816 | - |5645 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
110.10/110.15 c 108s|190000 |127684 | 0 | 0.0 | 217M|2816 | - |5645 | 12k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
119.60/119.67 c 118s|200000 |131767 | 0 | 0.0 | 227M|2816 | - |5645 | 13k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
132.30/132.33 c 130s|210000 |133670 | 0 | 0.0 | 233M|2816 | - |5645 | 10k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
138.60/138.62 c 137s|220000 |142725 | 0 | 0.0 | 248M|2816 | - |5645 |5208 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
146.00/146.05 c 144s|230000 |151277 | 0 | 0.0 | 268M|2816 | - |5645 |5476 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
153.80/153.89 c 152s|240000 |159010 | 0 | 0.0 | 290M|2816 | - |5645 |7339 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
159.59/159.67 o 41
159.59/159.67 c * 157s|248198 |165418 | 0 | 0.0 | 298M|2816 | - |5645 |6211 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
160.89/160.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.89/160.92 c 158s|250000 |166905 | 0 | 0.0 | 301M|2816 | - |5645 |6183 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
161.70/161.76 o 37
161.70/161.76 c * 159s|251376 |167251 | 0 | 0.0 | 297M|2816 | - |5645 |6336 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
167.99/168.09 c 166s|260000 |173822 | 0 | 0.0 | 311M|2816 | - |5645 |8756 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
175.00/175.00 c 172s|270000 |181010 | 0 | 0.0 | 323M|2816 | - |5645 |7160 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
179.69/179.70 o 30
179.69/179.70 c * 177s|278410 |185280 | 0 | 0.0 | 310M|2816 | - |5645 |7596 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
180.79/180.82 c 178s|280000 |186590 | 0 | 0.0 | 313M|2816 | - |5645 |7612 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
185.90/185.90 o 23
185.90/185.90 c * 183s|288385 |191548 | 0 | 0.0 | 312M|2816 | - |5645 |8435 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
187.09/187.19 c 184s|290000 |192765 | 0 | 0.0 | 315M|2816 | - |5645 |8539 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
194.60/194.65 c 192s|300000 |199878 | 0 | 0.0 | 329M|2816 | - |5645 |9241 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
203.69/203.76 c 201s|310000 |205652 | 0 | 0.0 | 344M|2816 | - |5645 | 11k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
212.20/212.28 c 209s|320000 |210771 | 0 | 0.0 | 353M|2816 | - |5645 |8218 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
218.49/218.53 c 215s|330000 |218188 | 0 | 0.0 | 366M|2816 | - |5645 |9205 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
224.40/224.46 o 14
224.40/224.46 c * 221s|339177 |221400 | 0 | 0.0 | 355M|2816 | - |5645 |9056 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
224.99/225.05 c 222s|340000 |221993 | 0 | 0.0 | 357M|2816 | - |5645 |9110 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
232.59/232.63 c 229s|350000 |227839 | 0 | 0.0 | 369M|2816 | - |5645 |8932 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
238.00/238.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.00/238.06 c 235s|360000 |236013 | 0 | 0.0 | 381M|2816 | - |5645 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
245.59/245.66 c 242s|370000 |242928 | 0 | 0.0 | 393M|2816 | - |5645 | 12k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
254.70/254.76 c 251s|380000 |248269 | 0 | 0.0 | 403M|2816 | - |5645 | 10k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
260.60/260.65 c 257s|390000 |256172 | 0 | 0.0 | 416M|2816 | - |5645 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
268.69/268.71 c 265s|400000 |262633 | 0 | 0.0 | 428M|2816 | - |5645 | 13k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
276.90/276.98 c 273s|410000 |268555 | 0 | 0.0 | 439M|2816 | - |5645 | 10k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
282.60/282.66 c 279s|420000 |276587 | 0 | 0.0 | 451M|2816 | - |5645 | 11k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
289.00/289.04 c 285s|430000 |284106 | 0 | 0.0 | 463M|2816 | - |5645 | 12k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
297.00/297.03 c 293s|440000 |290735 | 0 | 0.0 | 475M|2816 | - |5645 | 13k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
307.30/307.35 c 303s|450000 |295237 | 0 | 0.0 | 486M|2816 | - |5645 | 14k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
313.30/313.35 c 309s|460000 |303062 | 0 | 0.0 | 498M|2816 | - |5645 | 13k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
320.49/320.55 c 316s|470000 |309639 | 0 | 0.0 | 510M|2816 | - |5645 | 12k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
326.70/326.73 c 322s|480000 |317371 | 0 | 0.0 | 522M|2816 | - |5645 | 13k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
335.30/335.38 c 331s|490000 |323597 | 0 | 0.0 | 535M|2816 | - |5645 | 15k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
341.90/342.00 c 337s|500000 |330531 | 0 | 0.0 | 543M|2816 | - |5645 | 13k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
349.30/349.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.30/349.32 c 344s|510000 |336990 | 0 | 0.0 | 554M|2816 | - |5645 | 14k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
354.49/354.54 c 349s|520000 |345352 | 0 | 0.0 | 565M|2816 | - |5645 | 14k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
360.80/360.82 c 356s|530000 |353103 | 0 | 0.0 | 577M|2816 | - |5645 | 15k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
368.19/368.27 c 363s|540000 |360105 | 0 | 0.0 | 589M|2816 | - |5645 | 15k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
376.70/376.77 c 371s|550000 |366495 | 0 | 0.0 | 600M|2816 | - |5645 | 15k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
384.80/384.84 c 379s|560000 |373029 | 0 | 0.0 | 611M|2816 | - |5645 | 16k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
391.80/391.80 c 386s|570000 |380048 | 0 | 0.0 | 622M|2816 | - |5645 | 15k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
398.90/398.91 c 393s|580000 |386580 | 0 | 0.0 | 632M|2816 | - |5645 | 13k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
404.20/404.24 c 398s|590000 |394126 | 0 | 0.0 | 643M|2816 | - |5645 | 14k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
409.30/409.37 c 403s|600000 |401647 | 0 | 0.0 | 652M|2816 | - |5645 | 13k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
415.10/415.19 c 409s|610000 |408670 | 0 | 0.0 | 662M|2816 | - |5645 | 13k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
420.40/420.46 c 414s|620000 |416225 | 0 | 0.0 | 672M|2816 | - |5645 | 14k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
427.60/427.67 c 421s|630000 |422187 | 0 | 0.0 | 682M|2816 | - |5645 | 15k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
433.41/433.44 c 427s|640000 |429228 | 0 | 0.0 | 691M|2816 | - |5645 | 15k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
438.10/438.15 c 432s|650000 |437409 | 0 | 0.0 | 700M|2816 | - |5645 | 13k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
445.00/445.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.00/445.03 c 439s|660000 |443549 | 0 | 0.0 | 711M|2816 | - |5645 | 16k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
450.51/450.52 c 444s|670000 |450914 | 0 | 0.0 | 721M|2816 | - |5645 | 15k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
455.80/455.81 c 449s|680000 |458474 | 0 | 0.0 | 730M|2816 | - |5645 | 13k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
462.50/462.52 c 456s|690000 |464775 | 0 | 0.0 | 740M|2816 | - |5645 | 16k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
466.90/466.90 c 460s|700000 |472912 | 0 | 0.0 | 746M|2816 | - |5645 |6184 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
470.60/470.60 c 464s|710000 |481171 | 0 | 0.0 | 756M|2816 | - |5645 |6255 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
475.00/475.05 c 468s|720000 |488747 | 0 | 0.0 | 766M|2816 | - |5645 |6342 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
480.30/480.38 c 473s|730000 |495688 | 0 | 0.0 | 776M|2816 | - |5645 |7490 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
486.00/486.06 c 479s|740000 |502339 | 0 | 0.0 | 786M|2816 | - |5645 |7707 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
492.60/492.65 c 485s|750000 |508235 | 0 | 0.0 | 796M|2816 | - |5645 |8488 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
499.90/499.91 c 493s|760000 |513593 | 0 | 0.0 | 807M|2816 | - |5645 |8712 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
507.20/507.26 c 500s|770000 |518949 | 0 | 0.0 | 817M|2816 | - |5645 |9348 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
515.10/515.17 c 508s|780000 |524043 | 0 | 0.0 | 828M|2816 | - |5645 |9594 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
523.00/523.02 c 515s|790000 |529139 | 0 | 0.0 | 839M|2816 | - |5645 |9981 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
531.31/531.35 c 524s|800000 |533937 | 0 | 0.0 | 849M|2816 | - |5645 | 10k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
539.90/539.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.90/539.99 c 532s|810000 |538484 | 0 | 0.0 | 860M|2816 | - |5645 | 10k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
548.50/548.54 c 540s|820000 |542971 | 0 | 0.0 | 870M|2816 | - |5645 | 10k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
557.00/557.06 c 549s|830000 |547682 | 0 | 0.0 | 880M|2816 | - |5645 |9692 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
565.50/565.56 c 557s|840000 |552260 | 0 | 0.0 | 890M|2816 | - |5645 | 10k| 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
574.60/574.66 c 566s|850000 |556370 | 0 | 0.0 | 900M|2816 | - |5645 | 11k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
583.51/583.58 c 575s|860000 |560479 | 0 | 0.0 | 910M|2816 | - |5645 | 11k| 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
592.70/592.70 c 584s|870000 |564638 | 0 | 0.0 | 920M|2816 | - |5645 | 11k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
601.11/601.12 c 592s|880000 |569328 | 0 | 0.0 | 930M|2816 | - |5645 | 11k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
610.11/610.18 c 601s|890000 |573445 | 0 | 0.0 | 940M|2816 | - |5645 | 12k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
619.21/619.27 c 610s|900000 |577518 | 0 | 0.0 | 949M|2816 | - |5645 | 12k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
627.90/627.94 c 619s|910000 |581914 | 0 | 0.0 | 958M|2816 | - |5645 | 10k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
637.71/637.73 c 629s|920000 |585471 | 0 | 0.0 | 968M|2816 | - |5645 | 10k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
647.92/647.98 c 639s|930000 |588731 | 0 | 0.0 | 978M|2816 | - |5645 | 11k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
658.71/658.70 c 649s|940000 |591436 | 0 | 0.0 | 986M|2816 | - |5645 | 12k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
669.00/669.07 c 660s|950000 |594160 | 0 | 0.0 | 994M|2816 | - |5645 | 13k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
680.61/680.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.61/680.61 c 671s|960000 |596106 | 0 | 0.0 |1001M|2816 | - |5645 | 13k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
693.81/693.80 c 684s|970000 |596388 | 0 | 0.0 |1007M|2816 | - |5645 | 14k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
708.81/708.87 c 699s|980000 |595026 | 0 | 0.0 |1010M|2816 | - |5645 | 15k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
725.70/725.78 c 716s|990000 |591593 | 0 | 0.0 |1010M|2816 | - |5645 | 16k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
742.42/742.43 c 732s| 1000k|588241 | 0 | 0.0 | 997M|2816 | - |5645 |6276 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
747.31/747.32 c 737s| 1010k|596356 | 0 | 0.0 |1008M|2816 | - |5645 |5673 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
752.21/752.24 c 742s| 1020k|604328 | 0 | 0.0 |1020M|2816 | - |5645 |5943 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
757.31/757.31 c 747s| 1030k|612243 | 0 | 0.0 |1030M|2816 | - |5645 |6203 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
762.51/762.55 c 752s| 1040k|619955 | 0 | 0.0 |1042M|2816 | - |5645 |6643 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
767.71/767.72 c 757s| 1050k|627656 | 0 | 0.0 |1053M|2816 | - |5645 |7013 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
773.51/773.50 c 763s| 1060k|634903 | 0 | 0.0 |1064M|2816 | - |5645 |7405 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
779.92/779.93 c 769s| 1070k|641702 | 0 | 0.0 |1076M|2816 | - |5645 |7722 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
786.42/786.50 c 776s| 1080k|648284 | 0 | 0.0 |1089M|2816 | - |5645 |8313 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
793.71/793.79 c 783s| 1090k|654442 | 0 | 0.0 |1101M|2816 | - |5645 |8989 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
801.51/801.58 c 791s| 1100k|660215 | 0 | 0.0 |1114M|2816 | - |5645 |9937 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
810.81/810.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.81/810.83 c 800s| 1110k|665323 | 0 | 0.0 |1127M|2816 | - |5645 | 10k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
821.31/821.36 c 810s| 1120k|669406 | 0 | 0.0 |1141M|2816 | - |5645 | 12k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
836.21/836.25 c 824s| 1130k|670612 | 0 | 0.0 |1153M|2816 | - |5645 | 16k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
846.01/846.09 c 834s| 1140k|674106 | 0 | 0.0 |1158M|2816 | - |5645 |7942 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
851.51/851.57 c 839s| 1150k|681883 | 0 | 0.0 |1171M|2816 | - |5645 |8329 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
857.31/857.33 c 845s| 1160k|689503 | 0 | 0.0 |1186M|2816 | - |5645 |8740 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
863.31/863.35 c 850s| 1170k|696917 | 0 | 0.0 |1200M|2816 | - |5645 |9247 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
869.61/869.69 c 856s| 1180k|704110 | 0 | 0.0 |1214M|2816 | - |5645 |9842 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
876.22/876.27 c 863s| 1190k|711103 | 0 | 0.0 |1228M|2816 | - |5645 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
883.21/883.20 c 869s| 1200k|717693 | 0 | 0.0 |1241M|2816 | - |5645 | 11k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
890.72/890.76 c 876s| 1210k|723887 | 0 | 0.0 |1254M|2816 | - |5645 | 11k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
899.92/899.98 c 885s| 1220k|728889 | 0 | 0.0 |1266M|2816 | - |5645 | 13k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
910.92/910.98 c 896s| 1230k|732764 | 0 | 0.0 |1279M|2816 | - |5645 | 16k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
926.81/926.86 c 911s| 1240k|733335 | 0 | 0.0 |1290M|2816 | - |5645 | 20k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
934.21/934.21 c 919s| 1250k|739286 | 0 | 0.0 |1293M|2816 | - |5645 |9225 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
939.02/939.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.02/939.03 c 923s| 1260k|747271 | 0 | 0.0 |1304M|2816 | - |5645 |9168 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
944.12/944.13 c 928s| 1270k|754933 | 0 | 0.0 |1315M|2816 | - |5645 |9256 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
949.62/949.62 c 933s| 1280k|762388 | 0 | 0.0 |1325M|2816 | - |5645 |8966 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
955.21/955.24 c 939s| 1290k|769743 | 0 | 0.0 |1336M|2816 | - |5645 |8697 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
960.72/960.79 c 944s| 1300k|777062 | 0 | 0.0 |1347M|2816 | - |5645 |8848 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
966.21/966.26 c 949s| 1310k|784479 | 0 | 0.0 |1357M|2816 | - |5645 |8980 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
972.11/972.13 c 955s| 1320k|791534 | 0 | 0.0 |1369M|2816 | - |5645 |9429 | 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
978.21/978.26 c 960s| 1330k|798547 | 0 | 0.0 |1380M|2816 | - |5645 |9733 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
984.42/984.49 c 966s| 1340k|805592 | 0 | 0.0 |1392M|2816 | - |5645 |9672 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
990.92/990.92 c 973s| 1350k|812433 | 0 | 0.0 |1403M|2816 | - |5645 | 10k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
997.52/997.59 c 979s| 1360k|819048 | 0 | 0.0 |1414M|2816 | - |5645 | 10k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1004.72/1004.79 c 986s| 1370k|825378 | 0 | 0.0 |1426M|2816 | - |5645 | 11k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1011.81/1011.88 c 993s| 1380k|831844 | 0 | 0.0 |1437M|2816 | - |5645 | 11k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1019.22/1019.25 c 1000s| 1390k|838142 | 0 | 0.0 |1448M|2816 | - |5645 | 12k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1026.61/1026.65 c 1007s| 1400k|844481 | 0 | 0.0 |1459M|2816 | - |5645 | 12k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1034.22/1034.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.22/1034.20 c 1014s| 1410k|850772 | 0 | 0.0 |1469M|2816 | - |5645 | 12k| 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1042.32/1042.33 c 1022s| 1420k|856648 | 0 | 0.0 |1481M|2816 | - |5645 | 13k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1042.51/1042.55 o 11
1042.51/1042.55 c *1022s| 1420k|845238 | 0 | 0.0 |1410M|2816 | - |5645 | 13k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1052.91/1052.94 c 1032s| 1430k|850753 | 0 | 0.0 |1428M|2816 | - |5645 | 13k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1062.72/1062.77 c 1042s| 1440k|856505 | 0 | 0.0 |1441M|2816 | - |5645 | 14k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1072.72/1072.70 c 1051s| 1450k|861991 | 0 | 0.0 |1453M|2816 | - |5645 | 14k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1083.21/1083.20 c 1061s| 1460k|866971 | 0 | 0.0 |1465M|2816 | - |5645 | 16k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1094.12/1094.17 c 1072s| 1470k|871813 | 0 | 0.0 |1476M|2816 | - |5645 | 17k| 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1105.53/1105.58 c 1083s| 1480k|876504 | 0 | 0.0 |1486M|2816 | - |5645 | 18k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1118.52/1118.54 c 1096s| 1490k|880482 | 0 | 0.0 |1498M|2816 | - |5645 | 20k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1133.22/1133.29 c 1110s| 1500k|883656 | 0 | 0.0 |1508M|2816 | - |5645 | 23k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1154.32/1154.35 c 1131s| 1510k|884160 | 0 | 0.0 |1516M|2816 | - |5645 | 27k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1165.22/1165.29 c 1141s| 1520k|889434 | 0 | 0.0 |1517M|2816 | - |5645 | 12k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1171.02/1171.01 c 1147s| 1530k|897198 | 0 | 0.0 |1528M|2816 | - |5645 | 11k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1176.52/1176.54 c 1152s| 1540k|904846 | 0 | 0.0 |1538M|2816 | - |5645 | 12k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1182.22/1182.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.22/1182.21 c 1157s| 1550k|912365 | 0 | 0.0 |1549M|2816 | - |5645 | 12k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1188.42/1188.41 c 1163s| 1560k|919560 | 0 | 0.0 |1560M|2816 | - |5645 | 13k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1195.62/1195.60 c 1170s| 1570k|926090 | 0 | 0.0 |1571M|2816 | - |5645 | 15k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1204.32/1204.33 c 1179s| 1580k|931686 | 0 | 0.0 |1582M|2816 | - |5645 | 17k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1215.32/1215.38 c 1189s| 1590k|936005 | 0 | 0.0 |1593M|2816 | - |5645 | 19k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1228.02/1228.04 c 1202s| 1600k|939593 | 0 | 0.0 |1601M|2816 | - |5645 | 16k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1237.82/1237.83 c 1211s| 1610k|944473 | 0 | 0.0 |1609M|2816 | - |5645 | 13k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1244.32/1244.40 c 1217s| 1620k|951253 | 0 | 0.0 |1618M|2816 | - |5645 | 12k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1250.42/1250.46 c 1223s| 1630k|958389 | 0 | 0.0 |1628M|2816 | - |5645 | 12k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1256.82/1256.85 c 1229s| 1640k|965361 | 0 | 0.0 |1638M|2816 | - |5645 | 14k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1264.42/1264.41 c 1237s| 1650k|971616 | 0 | 0.0 |1649M|2816 | - |5645 | 15k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1273.12/1273.12 c 1245s| 1660k|977202 | 0 | 0.0 |1661M|2816 | - |5645 | 17k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1283.82/1283.81 c 1255s| 1670k|981855 | 0 | 0.0 |1672M|2816 | - |5645 | 19k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1297.03/1297.06 c 1268s| 1680k|985295 | 0 | 0.0 |1683M|2816 | - |5645 | 22k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1309.42/1309.46 c 1280s| 1690k|989685 | 0 | 0.0 |1687M|2816 | - |5645 | 13k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1314.62/1314.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.62/1314.61 c 1285s| 1700k|997726 | 0 | 0.0 |1696M|2816 | - |5645 | 11k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1319.92/1319.91 c 1290s| 1710k| 1005k| 0 | 0.0 |1707M|2816 | - |5645 | 12k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1325.12/1325.16 c 1295s| 1720k| 1013k| 0 | 0.0 |1716M|2816 | - |5645 | 11k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1330.73/1330.72 c 1300s| 1730k| 1020k| 0 | 0.0 |1727M|2816 | - |5645 | 12k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1336.53/1336.54 c 1306s| 1740k| 1028k| 0 | 0.0 |1737M|2816 | - |5645 | 12k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1339.62/1339.66 o 10
1339.62/1339.66 c *1309s| 1745k| 1025k| 0 | 0.0 |1719M|2816 | - |5645 | 13k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1343.03/1343.09 c 1312s| 1750k| 1028k| 0 | 0.0 |1724M|2816 | - |5645 | 13k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1350.42/1350.49 c 1319s| 1760k| 1035k| 0 | 0.0 |1736M|2816 | - |5645 | 14k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1358.23/1358.23 c 1327s| 1770k| 1041k| 0 | 0.0 |1747M|2816 | - |5645 | 15k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1366.63/1366.66 c 1335s| 1780k| 1047k| 0 | 0.0 |1758M|2816 | - |5645 | 15k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1375.43/1375.41 c 1343s| 1790k| 1054k| 0 | 0.0 |1769M|2816 | - |5645 | 16k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1385.12/1385.13 c 1353s| 1800k| 1059k| 0 | 0.0 |1780M|2816 | - |5645 | 17k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1395.32/1395.36 c 1363s| 1810k| 1064k| 0 | 0.0 |1790M|2816 | - |5645 | 18k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1407.03/1407.04 c 1374s| 1820k| 1069k| 0 | 0.0 |1800M|2816 | - |5645 | 20k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1419.73/1419.79 c 1386s| 1830k| 1073k| 0 | 0.0 |1810M|2816 | - |5645 | 21k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1434.63/1434.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.63/1434.66 c 1401s| 1840k| 1076k| 0 | 0.0 |1819M|2816 | - |5645 | 24k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1455.33/1455.31 c 1421s| 1850k| 1077k| 0 | 0.0 |1824M|2816 | - |5645 | 22k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1461.23/1461.28 c 1427s| 1860k| 1085k| 0 | 0.0 |1831M|2816 | - |5645 | 13k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1466.83/1466.81 c 1432s| 1870k| 1093k| 0 | 0.0 |1841M|2816 | - |5645 | 14k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1472.62/1472.66 c 1438s| 1880k| 1100k| 0 | 0.0 |1851M|2816 | - |5645 | 14k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1478.83/1478.88 c 1444s| 1890k| 1107k| 0 | 0.0 |1861M|2816 | - |5645 | 14k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1485.32/1485.34 c 1450s| 1900k| 1114k| 0 | 0.0 |1871M|2816 | - |5645 | 14k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1492.23/1492.21 c 1456s| 1910k| 1121k| 0 | 0.0 |1881M|2816 | - |5645 | 14k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1500.13/1500.20 c 1464s| 1920k| 1127k| 0 | 0.0 |1891M|2816 | - |5645 | 15k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1508.63/1508.66 c 1472s| 1930k| 1133k| 0 | 0.0 |1902M|2816 | - |5645 | 16k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1517.43/1517.44 c 1481s| 1940k| 1139k| 0 | 0.0 |1912M|2816 | - |5645 | 16k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1526.53/1526.54 c 1489s| 1950k| 1144k| 0 | 0.0 |1922M|2816 | - |5645 | 17k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1535.83/1535.84 c 1498s| 1960k| 1150k| 0 | 0.0 |1932M|2816 | - |5645 | 18k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1545.13/1545.10 c 1507s| 1970k| 1156k| 0 | 0.0 |1942M|2816 | - |5645 | 18k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1555.03/1555.04 c 1517s| 1980k| 1161k| 0 | 0.0 |1952M|2816 | - |5645 | 20k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1565.83/1565.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.83/1565.86 c 1528s| 1990k| 1166k| 0 | 0.0 |1962M|2816 | - |5645 | 22k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1578.63/1578.63 c 1540s| 2000k| 1170k| 0 | 0.0 |1971M|2816 | - |5645 | 24k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1596.23/1596.22 c 1557s| 2010k| 1172k| 0 | 0.0 |1978M|2816 | - |5645 | 25k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1603.63/1603.63 c 1564s| 2020k| 1179k| 0 | 0.0 |1983M|2816 | - |5645 | 14k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1609.53/1609.53 c 1570s| 2030k| 1186k| 0 | 0.0 |1993M|2816 | - |5645 | 12k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1615.13/1615.11 c 1575s| 2040k| 1194k| 0 | 0.0 |2003M|2816 | - |5645 | 12k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1620.83/1620.80 c 1581s| 2050k| 1201k| 0 | 0.0 |2013M|2816 | - |5645 | 12k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1626.63/1626.69 c 1586s| 2060k| 1209k| 0 | 0.0 |2023M|2816 | - |5645 | 12k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1633.03/1633.03 c 1592s| 2070k| 1215k| 0 | 0.0 |2034M|2816 | - |5645 | 12k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1639.33/1639.38 c 1598s| 2080k| 1222k| 0 | 0.0 |2044M|2816 | - |5645 | 13k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1646.13/1646.12 c 1605s| 2090k| 1229k| 0 | 0.0 |2055M|2816 | - |5645 | 13k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1652.83/1652.86 c 1611s| 2100k| 1236k| 0 | 0.0 |2065M|2816 | - |5645 | 13k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1660.13/1660.17 c 1618s| 2110k| 1242k| 0 | 0.0 |2076M|2816 | - |5645 | 13k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1667.33/1667.31 c 1625s| 2120k| 1248k| 0 | 0.0 |2086M|2816 | - |5645 | 13k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1674.93/1674.95 c 1633s| 2130k| 1254k| 0 | 0.0 |2096M|2816 | - |5645 | 14k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1682.34/1682.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.34/1682.35 c 1640s| 2140k| 1260k| 0 | 0.0 |2106M|2816 | - |5645 | 14k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1690.64/1690.63 c 1648s| 2150k| 1266k| 0 | 0.0 |2116M|2816 | - |5645 | 15k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1698.53/1698.53 c 1655s| 2160k| 1272k| 0 | 0.0 |2126M|2816 | - |5645 | 14k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1706.63/1706.65 c 1663s| 2170k| 1278k| 0 | 0.0 |2136M|2816 | - |5645 | 15k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1715.03/1715.02 c 1671s| 2180k| 1283k| 0 | 0.0 |2145M|2816 | - |5645 | 15k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1723.43/1723.43 c 1679s| 2190k| 1289k| 0 | 0.0 |2155M|2816 | - |5645 | 15k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1732.33/1732.37 c 1688s| 2200k| 1294k| 0 | 0.0 |2164M|2816 | - |5645 | 16k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1741.74/1741.79 c 1697s| 2210k| 1299k| 0 | 0.0 |2174M|2816 | - |5645 | 17k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1752.03/1752.04 c 1707s| 2220k| 1303k| 0 | 0.0 |2183M|2816 | - |5645 | 18k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1763.13/1763.17 c 1718s| 2230k| 1307k| 0 | 0.0 |2192M|2816 | - |5645 | 19k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1776.34/1776.31 c 1730s| 2240k| 1310k| 0 | 0.0 |2201M|2816 | - |5645 | 20k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1790.63/1790.60 c 1744s| 2250k| 1313k| 0 | 0.0 |2205M|2816 | - |5645 | 15k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1795.83/1795.80 c 1749s| 2260k| 1321k| 0 | 0.0 |2214M|2816 | - |5645 | 13k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1753.19
1800.04/1800.00 c Solving Nodes : 2267934
1800.04/1800.00 c Primal Bound : +1.00000000000000e+01 (44 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.08 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.08 v -x104 x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.08 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55
1800.04/1800.08 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.08 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2
1800.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1753.19
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693583-1277925237.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693583-1277925237.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 28796 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2494 - - 4988 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 5481027 0 1569685 341 4877669 0 0 0
1800.04/1800.08 c linear : 2707 0 7128657 0 1951268 428830 38888145 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3199879 0 0 85992 1710650 0 0 0
1800.04/1800.08 c bounddisjunction : 0+ 0 2766 0 0 0 131 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 1951296 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 50.43 0.00 22.23 0.00 28.20
1800.04/1800.08 c linear : 397.03 0.00 394.81 0.00 2.22
1800.04/1800.08 c logicor : 257.51 0.00 257.51 0.00 0.00
1800.04/1800.08 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.88 2 0 0
1800.04/1800.08 c rootredcost : 0.68 0 0 0
1800.04/1800.08 c pseudoobj : 393.29 7137166 8061 4806965
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 33.73 522883 522882 2550753 22.5 174908 9.9 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.07 292 292 994 22.9 576 9.1 -
1800.04/1800.08 c applied globally : - - - 1795522 19.8 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 65.72 1951255 0 0 0 0 3902510
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.17 - 41
1800.04/1800.08 c oneopt : 0.58 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.23 0 0
1800.04/1800.08 c trysol : 0.21 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2267934
1800.04/1800.08 c nodes (total) : 2267934
1800.04/1800.08 c nodes left : 1327569
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 288546 (12.7%)
1800.04/1800.08 c delayed cutoffs : 266129
1800.04/1800.08 c repropagations : 1247481 (15196794 domain reductions, 206878 cutoffs)
1800.04/1800.08 c avg switch length: 40.64
1800.04/1800.08 c switching time : 489.09
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 44 (42 improvements)
1800.04/1800.08 c First Solution : +1.37972000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +1.00000000000000e+01 (in run 1, after 1745325 nodes, 1308.93 seconds, depth 896, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693583-1277925237/watcher-2693583-1277925237 -o /tmp/evaluation-result-2693583-1277925237/solver-2693583-1277925237 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693583-1277925237.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.07 2.02 2.00 4/196 16512 /proc/meminfo: memFree=31035904/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=8600 CPUtime=0 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 1628 0 0 0 0 0 0 0 25 0 1 0 133820531 8806400 1550 4089446400 4194304 7136930 140733509229920 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16512/statm: 2150 1552 275 719 0 1429 0 [startup+0.091484 s] /proc/loadavg: 2.07 2.02 2.00 4/196 16512 /proc/meminfo: memFree=31035904/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=33676 CPUtime=0.08 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 7968 0 0 0 8 0 0 0 25 0 1 0 133820531 34484224 7536 4089446400 4194304 7136930 140733509229920 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 8419 7536 323 719 0 7698 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33676 [startup+0.100483 s] /proc/loadavg: 2.07 2.02 2.00 4/196 16512 /proc/meminfo: memFree=31035904/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=33676 CPUtime=0.09 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 7968 0 0 0 9 0 0 0 25 0 1 0 133820531 34484224 7536 4089446400 4194304 7136930 140733509229920 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 8419 7536 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300447 s] /proc/loadavg: 2.07 2.02 2.00 4/196 16512 /proc/meminfo: memFree=31035904/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=36496 CPUtime=0.29 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 9240 0 0 0 29 0 0 0 25 0 1 0 133820531 37371904 8294 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354272 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 9124 8294 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700376 s] /proc/loadavg: 2.07 2.02 2.00 4/196 16512 /proc/meminfo: memFree=31035904/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=37636 CPUtime=0.69 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 9516 0 0 0 68 1 0 0 25 0 1 0 133820531 38539264 8570 4089446400 4194304 7136930 140733509229920 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50024 s] /proc/loadavg: 2.07 2.02 2.00 3/197 16513 /proc/meminfo: memFree=31001300/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=42136 CPUtime=1.49 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 10660 0 0 0 146 3 0 0 25 0 1 0 133820531 43147264 9714 4089446400 4194304 7136930 140733509229920 18446744073709551615 4966043 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 10534 9714 390 719 0 9813 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42136 [startup+3.10095 s] /proc/loadavg: 2.06 2.02 2.00 3/197 16513 /proc/meminfo: memFree=30997084/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=44732 CPUtime=3.09 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 11325 0 0 0 303 6 0 0 25 0 1 0 133820531 45805568 10379 4089446400 4194304 7136930 140733509229920 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 11183 10379 390 719 0 10462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44732 [startup+6.30038 s] /proc/loadavg: 2.06 2.02 2.00 3/197 16513 /proc/meminfo: memFree=30986184/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=54512 CPUtime=6.29 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 13762 0 0 0 617 12 0 0 25 0 1 0 133820531 55820288 12816 4089446400 4194304 7136930 140733509229920 18446744073709551615 5506763 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 13628 12816 390 719 0 12907 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54512 [startup+12.7002 s] /proc/loadavg: 2.06 2.01 2.00 3/197 16513 /proc/meminfo: memFree=30960244/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=79716 CPUtime=12.69 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 19929 0 0 0 1244 25 0 0 25 0 1 0 133820531 81629184 18983 4089446400 4194304 7136930 140733509229920 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 19929 18983 390 719 0 19208 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79716 [startup+25.501 s] /proc/loadavg: 2.04 2.01 2.00 3/197 16514 /proc/meminfo: memFree=30919740/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=118088 CPUtime=25.49 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 29077 0 0 0 2506 43 0 0 25 0 1 0 133820531 120922112 28131 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 29522 28131 393 719 0 28801 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118088 [startup+51.1004 s] /proc/loadavg: 2.03 2.01 2.00 3/197 16514 /proc/meminfo: memFree=30858672/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=181612 CPUtime=51.09 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 44003 0 0 0 5023 86 0 0 25 0 1 0 133820531 185970688 43057 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 45403 43057 393 719 0 44682 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 181612 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/197 16516 /proc/meminfo: memFree=30747400/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=292184 CPUtime=102.29 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 71587 0 0 0 10064 165 0 0 25 0 1 0 133820531 299196416 70641 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 73046 70641 393 719 0 72325 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 292184 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16517 /proc/meminfo: memFree=30619636/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=414560 CPUtime=162.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 99592 0 0 0 15986 244 0 0 25 0 1 0 133820531 424509440 98646 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 103640 98646 393 719 0 102919 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 414560 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 16518 /proc/meminfo: memFree=30473264/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=536244 CPUtime=222.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 127599 0 0 0 21903 327 0 0 25 0 1 0 133820531 549113856 126653 4089446400 4194304 7136930 140733509229920 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 134061 126653 393 719 0 133340 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 536244 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 16520 /proc/meminfo: memFree=30353800/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=643108 CPUtime=282.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 153683 0 0 0 27822 408 0 0 25 0 1 0 133820531 658542592 152737 4089446400 4194304 7136930 140733509229920 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 160777 152737 393 719 0 160056 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 643108 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16522 /proc/meminfo: memFree=30264088/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=732540 CPUtime=342.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 175544 0 0 0 33738 492 0 0 25 0 1 0 133820531 750120960 174598 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 183135 174598 393 719 0 182414 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 732540 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16524 /proc/meminfo: memFree=30157532/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=830896 CPUtime=402.29 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 199974 0 0 0 39649 580 0 0 25 0 1 0 133820531 850837504 199028 4089446400 4194304 7136930 140733509229920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 207724 199028 393 719 0 207003 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 830896 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16525 /proc/meminfo: memFree=30033844/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=949928 CPUtime=462.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 227859 0 0 0 45555 675 0 0 25 0 1 0 133820531 972726272 226913 4089446400 4194304 7136930 140733509229920 18446744073709551615 4223894 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 237482 226913 393 719 0 236761 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 949928 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16526 /proc/meminfo: memFree=29920576/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1048076 CPUtime=522.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 252552 0 0 0 51462 768 0 0 25 0 1 0 133820531 1073229824 251606 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 262019 251606 393 719 0 261298 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1048076 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16528 /proc/meminfo: memFree=29852944/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1116228 CPUtime=582.3 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 269751 0 0 0 57388 842 0 0 25 0 1 0 133820531 1143017472 268805 4089446400 4194304 7136930 140733509229920 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 279057 268805 393 719 0 278336 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1116228 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16530 /proc/meminfo: memFree=29783956/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1177244 CPUtime=642.31 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 285038 0 0 0 63320 911 0 0 25 0 1 0 133820531 1205497856 284092 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16512/statm: 294311 284092 393 719 0 293590 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1177244 [startup+702.301 s] ################ # More data... # ################ /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 400771 0 0 0 98349 1882 0 0 25 0 1 0 133820531 1700073472 399825 4089446400 4194304 7136930 140733509229920 18446744073709551615 4983121 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 415057 399825 393 719 0 414336 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1660228 [startup+1062.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 16595 /proc/meminfo: memFree=29723540/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1739056 CPUtime=1062.31 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 419477 0 0 0 104116 2115 0 0 25 0 1 0 133820531 1780793344 418531 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 434764 418531 393 719 0 434043 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1739056 [startup+1122.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 16596 /proc/meminfo: memFree=29668704/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1793716 CPUtime=1122.32 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 433116 0 0 0 109934 2298 0 0 25 0 1 0 133820531 1836765184 432170 4089446400 4194304 7136930 140733509229920 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 448429 432170 393 719 0 447708 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1793716 [startup+1182.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 16598 /proc/meminfo: memFree=29622052/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1841872 CPUtime=1182.32 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 445065 0 0 0 115754 2478 0 0 25 0 1 0 133820531 1886076928 444119 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 460468 444119 393 719 0 459747 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1841872 [startup+1242.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 16600 /proc/meminfo: memFree=29562364/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1899608 CPUtime=1242.32 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 459546 0 0 0 121540 2692 0 0 25 0 1 0 133820531 1945198592 458600 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 474902 458600 393 719 0 474181 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1899608 [startup+1302.3 s] /proc/loadavg: 2.07 2.00 1.99 3/179 16602 /proc/meminfo: memFree=29485960/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=1993204 CPUtime=1302.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 478524 0 0 0 127329 2904 0 0 25 0 1 0 133820531 2041040896 477578 4089446400 4194304 7136930 140733509229920 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 498301 477578 393 719 0 497580 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1993204 [startup+1362.3 s] /proc/loadavg: 2.03 2.00 1.99 3/179 16603 /proc/meminfo: memFree=29406048/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2074372 CPUtime=1362.32 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 498437 0 0 0 133073 3159 0 0 25 0 1 0 133820531 2124156928 497491 4089446400 4194304 7136930 140733509229920 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 518593 497491 393 719 0 517872 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2074372 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 1.99 3/179 16604 /proc/meminfo: memFree=29348952/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2130428 CPUtime=1422.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 512645 0 0 0 138884 3349 0 0 25 0 1 0 133820531 2181558272 511699 4089446400 4194304 7136930 140733509229920 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 532607 511699 393 719 0 531886 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2130428 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16606 /proc/meminfo: memFree=29298320/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2180608 CPUtime=1482.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 525251 0 0 0 144689 3544 0 0 25 0 1 0 133820531 2232942592 524305 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 545152 524305 393 719 0 544431 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2180608 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16608 /proc/meminfo: memFree=29224624/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2253972 CPUtime=1542.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 543553 0 0 0 150471 3762 0 0 25 0 1 0 133820531 2308067328 542607 4089446400 4194304 7136930 140733509229920 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 563493 542607 393 719 0 562772 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2253972 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16610 /proc/meminfo: memFree=29180820/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2299120 CPUtime=1602.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 554811 0 0 0 156306 3927 0 0 25 0 1 0 133820531 2354298880 553865 4089446400 4194304 7136930 140733509229920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 574780 553865 393 719 0 574059 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2299120 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16611 /proc/meminfo: memFree=29087144/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2392724 CPUtime=1662.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 577867 0 0 0 162044 4189 0 0 25 0 1 0 133820531 2450149376 576921 4089446400 4194304 7136930 140733509229920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 598181 576921 393 719 0 597460 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2392724 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16612 /proc/meminfo: memFree=29013444/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2467904 CPUtime=1722.33 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 596698 0 0 0 167808 4425 0 0 25 0 1 0 133820531 2527133696 595752 4089446400 4194304 7136930 140733509229920 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 616976 595752 393 719 0 616255 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2467904 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16614 /proc/meminfo: memFree=28960832/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2519112 CPUtime=1782.34 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 609299 0 0 0 173621 4613 0 0 25 0 1 0 133820531 2579570688 608353 4089446400 4194304 7136930 140733509229920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 629778 608353 393 719 0 629057 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2519112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16615 /proc/meminfo: memFree=28940232/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2540292 CPUtime=1800.04 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 614457 0 0 0 175322 4682 0 0 25 0 1 0 133820531 2601259008 613511 4089446400 4194304 7136930 140733509229920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16512/statm: 635073 613511 393 719 0 634352 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2540292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16512 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 1.99 3/180 16616 /proc/meminfo: memFree=28939976/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2540772 CPUtime=1801.43 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 614490 0 0 0 175461 4682 0 0 19 0 1 0 133820531 2601750528 613544 4089446400 4194304 7136930 140733509229920 18446744073709551615 6165629 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16512/statm: 635193 613544 399 719 0 634472 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2540772 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 1.99 3/180 16616 /proc/meminfo: memFree=28939852/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2540772 CPUtime=1801.84 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 614490 0 0 0 175502 4682 0 0 20 0 1 0 133820531 2601750528 613544 4089446400 4194304 7136930 140733509229920 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16512/statm: 635193 613544 399 719 0 634472 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2540772 [startup+1802 s] /proc/loadavg: 2.00 2.00 1.99 3/180 16616 /proc/meminfo: memFree=28939852/32950928 swapFree=67111528/67111528 [pid=16512] ppid=16510 vsize=2540772 CPUtime=1802.03 /proc/16512/stat : 16512 (pbscip.linux.x8) R 16510 16512 14326 0 -1 4202496 614490 0 0 0 175521 4682 0 0 20 0 1 0 133820531 2601750528 613544 4089446400 4194304 7136930 140733509229920 18446744073709551615 4212551 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16512/statm: 635193 613544 399 719 0 634472 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2540772 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1755.23 CPU system time (s): 46.9139 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2540772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.23 system time used= 46.9139 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 614490 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= 1741 runsolver used 3.07953 second user time and 6.10507 second system time The end
Begin job on node123 at 2010-06-30 21:13:57 IDJOB=2693583 IDBENCH=79258 IDSOLVER=1206 FILE ID=node123/2693583-1277925237 PBS_JOBID= 11197326 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.1900557574--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-2693583-1277925237/watcher-2693583-1277925237 -o /tmp/evaluation-result-2693583-1277925237/solver-2693583-1277925237 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693583-1277925237.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650 RANDOM SEED=639773217 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.75 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.804 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.71 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.804 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.804 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: 32950928 kB MemFree: 31036432 kB Buffers: 210648 kB Cached: 1109800 kB SwapCached: 0 kB Active: 964960 kB Inactive: 806324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31036432 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3124 kB Writeback: 0 kB AnonPages: 451200 kB Mapped: 20416 kB Slab: 80056 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1659980 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node123 at 2010-06-30 21:44:00