Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.12 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo |
| MD5SUM | b1c472aaf389140c1b2444bf3531b47d |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 89.6814 |
| 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 | 137245 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137244 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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-2693674-1277929767.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/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 137244
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.372440e+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.12
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.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
2.98/3.06 o 672
2.98/3.06 c * 2.8s| 9001 | 8598 | 0 | 0.0 | 24M|2816 | - |5645 |6693 | 0 | 0 | 0 |1280 | 0 | 0.000000e+00 | 6.720000e+02 | Inf
3.09/3.14 o 488
3.09/3.14 c * 2.9s| 9155 | 7714 | 0 | 0.0 | 24M|2816 | - |5645 |6703 | 0 | 0 | 0 |1290 | 0 | 0.000000e+00 | 4.880000e+02 | Inf
3.09/3.14 o 433
3.09/3.14 c * 2.9s| 9156 | 7492 | 0 | 0.0 | 24M|2816 | - |5645 |6703 | 0 | 0 | 0 |1290 | 0 | 0.000000e+00 | 4.330000e+02 | Inf
3.29/3.36 o 417
3.29/3.36 c * 3.1s| 9577 | 7852 | 0 | 0.0 | 24M|2816 | - |5645 |6753 | 0 | 0 | 0 |1340 | 0 | 0.000000e+00 | 4.170000e+02 | Inf
3.39/3.43 o 352
3.39/3.43 c * 3.2s| 9719 | 7245 | 0 | 0.0 | 24M|2816 | - |5645 |6763 | 0 | 0 | 0 |1350 | 0 | 0.000000e+00 | 3.520000e+02 | Inf
3.49/3.56 o 313
3.49/3.56 c * 3.3s| 9971 | 6965 | 0 | 0.0 | 24M|2816 | - |5645 |6792 | 0 | 0 | 0 |1379 | 0 | 0.000000e+00 | 3.130000e+02 | Inf
3.49/3.58 c 3.3s| 10000 | 6994 | 0 | 0.0 | 24M|2816 | - |5645 |6792 | 0 | 0 | 0 |1379 | 0 | 0.000000e+00 | 3.130000e+02 | Inf
3.69/3.77 o 302
3.69/3.77 c * 3.5s| 10547 | 7276 | 0 | 0.0 | 25M|2816 | - |5645 |6842 | 0 | 0 | 0 |1429 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
3.79/3.82 o 294
3.79/3.82 c * 3.6s| 10668 | 7199 | 0 | 0.0 | 25M|2816 | - |5645 |6842 | 0 | 0 | 0 |1429 | 0 | 0.000000e+00 | 2.940000e+02 | Inf
3.79/3.82 o 282
3.79/3.82 c * 3.6s| 10669 | 7073 | 0 | 0.0 | 25M|2816 | - |5645 |6842 | 0 | 0 | 0 |1429 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
3.79/3.87 o 266
3.79/3.87 c * 3.6s| 10781 | 6995 | 0 | 0.0 | 25M|2816 | - |5645 |6852 | 0 | 0 | 0 |1439 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
3.79/3.87 o 254
3.79/3.87 c * 3.6s| 10782 | 6832 | 0 | 0.0 | 25M|2816 | - |5645 |6852 | 0 | 0 | 0 |1439 | 0 | 0.000000e+00 | 2.540000e+02 | Inf
3.89/3.92 o 250
3.89/3.92 c * 3.7s| 10878 | 6878 | 0 | 0.0 | 25M|2816 | - |5645 |6862 | 0 | 0 | 0 |1449 | 0 | 0.000000e+00 | 2.500000e+02 | Inf
4.09/4.10 o 234
4.09/4.10 c * 3.8s| 11321 | 7095 | 0 | 0.0 | 25M|2816 | - |5645 |6933 | 0 | 0 | 0 |1525 | 0 | 0.000000e+00 | 2.340000e+02 | Inf
4.09/4.10 o 206
4.09/4.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.10 c * 3.8s| 11322 | 6824 | 0 | 0.0 | 25M|2816 | - |5645 |6933 | 0 | 0 | 0 |1525 | 0 | 0.000000e+00 | 2.060000e+02 | Inf
4.09/4.14 o 190
4.09/4.14 c * 3.9s| 11417 | 6897 | 0 | 0.0 | 25M|2816 | - |5645 |6940 | 0 | 0 | 0 |1532 | 0 | 0.000000e+00 | 1.900000e+02 | Inf
7.29/7.37 c 6.9s| 20000 | 13833 | 0 | 0.0 | 35M|2816 | - |5645 |7557 | 0 | 0 | 0 |8281 | 0 | 0.000000e+00 | 1.900000e+02 | Inf
12.69/12.78 c 12.1s| 30000 | 20058 | 0 | 0.0 | 48M|2816 | - |5645 |9857 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
14.09/14.10 o 181
14.09/14.10 c *13.4s| 31735 | 21206 | 0 | 0.0 | 50M|2816 | - |5645 |9599 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
15.59/15.64 o 174
15.59/15.64 c *14.9s| 34022 | 23284 | 0 | 0.0 | 52M|2816 | - |5645 |9114 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
16.29/16.36 o 163
16.29/16.36 c *15.6s| 35187 | 24358 | 0 | 0.0 | 53M|2816 | - |5645 |8606 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
16.29/16.36 o 153
16.29/16.36 c *15.6s| 35188 | 24314 | 0 | 0.0 | 53M|2816 | - |5645 |8606 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
16.59/16.63 o 141
16.59/16.63 c *15.8s| 35708 | 24451 | 0 | 0.0 | 53M|2816 | - |5645 |8525 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
17.60/17.69 o 124
17.60/17.69 c *16.9s| 37254 | 25775 | 0 | 0.0 | 54M|2816 | - |5645 |8306 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
17.69/17.70 o 112
17.69/17.70 c *16.9s| 37271 | 25630 | 0 | 0.0 | 54M|2816 | - |5645 |8304 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
19.70/19.77 c 18.9s| 40000 | 28093 | 0 | 0.0 | 57M|2816 | - |5645 |8408 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
22.59/22.62 o 110
22.59/22.62 c *21.6s| 43626 | 31279 | 0 | 0.0 | 63M|2816 | - |5645 |8408 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
23.48/23.55 o 99
23.48/23.55 c *22.6s| 44756 | 32021 | 0 | 0.0 | 64M|2816 | - |5645 |8454 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
24.69/24.75 o 89
24.69/24.75 c *23.7s| 46198 | 32750 | 0 | 0.0 | 66M|2816 | - |5645 |8585 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
26.19/26.24 o 83
26.19/26.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.19/26.24 c *25.1s| 48249 | 34215 | 0 | 0.0 | 70M|2816 | - |5645 |8520 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
27.50/27.59 c 26.4s| 50000 | 35820 | 0 | 0.0 | 72M|2816 | - |5645 |7402 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
33.29/33.37 o 74
33.29/33.37 c *32.0s| 57811 | 42194 | 0 | 0.0 | 83M|2816 | - |5645 |7706 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
33.29/33.37 o 73
33.29/33.37 c *32.0s| 57816 | 42125 | 0 | 0.0 | 83M|2816 | - |5645 |7706 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
34.59/34.62 c 33.2s| 60000 | 44092 | 0 | 0.0 | 86M|2816 | - |5645 |7753 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
36.49/36.57 o 64
36.49/36.57 c *35.1s| 62445 | 45498 | 0 | 0.0 | 88M|2816 | - |5645 |7777 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
40.09/40.11 o 57
40.09/40.11 c *38.5s| 68795 | 50234 | 0 | 0.0 | 93M|2816 | - |5645 |8725 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
40.69/40.71 c 39.0s| 70000 | 51275 | 0 | 0.0 | 94M|2816 | - |5645 |8482 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
40.79/40.80 o 51
40.79/40.80 c *39.1s| 70192 | 50956 | 0 | 0.0 | 92M|2816 | - |5645 |8541 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
40.79/40.89 o 45
40.79/40.89 c *39.2s| 70365 | 50482 | 0 | 0.0 | 91M|2816 | - |5645 |8557 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
45.58/45.64 c 43.7s| 80000 | 58725 | 0 | 0.0 | 100M|2816 | - |5645 |7880 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
49.58/49.68 c 47.5s| 90000 | 67115 | 0 | 0.0 | 109M|2816 | - |5645 |8286 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
54.09/54.10 c 51.7s|100000 | 75097 | 0 | 0.0 | 119M|2816 | - |5645 |6963 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
59.19/59.30 c 56.7s|110000 | 82178 | 0 | 0.0 | 130M|2816 | - |5645 |7626 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
65.39/65.48 c 62.6s|120000 | 88422 | 0 | 0.0 | 142M|2816 | - |5645 |8450 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
72.09/72.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.09/72.12 c 69.0s|130000 | 94219 | 0 | 0.0 | 154M|2816 | - |5645 |8826 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
78.79/78.89 c 75.5s|140000 | 99955 | 0 | 0.0 | 167M|2816 | - |5645 |9742 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
86.28/86.33 c 82.7s|150000 |105165 | 0 | 0.0 | 180M|2816 | - |5645 | 10k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
94.49/94.60 c 90.7s|160000 |109736 | 0 | 0.0 | 193M|2816 | - |5645 | 10k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
104.19/104.23 c 100s|170000 |113145 | 0 | 0.0 | 205M|2816 | - |5645 | 12k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
115.49/115.51 c 111s|180000 |115980 | 0 | 0.0 | 212M|2816 | - |5645 |9973 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
121.59/121.61 c 117s|190000 |124759 | 0 | 0.0 | 225M|2816 | - |5645 |6395 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
125.30/125.40 o 42
125.30/125.40 c * 120s|194390 |127963 | 0 | 0.0 | 232M|2816 | - |5645 |5971 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
131.09/131.14 c 126s|200000 |131933 | 0 | 0.0 | 246M|2816 | - |5645 |5811 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
139.99/140.06 c 135s|210000 |138882 | 0 | 0.0 | 266M|2816 | - |5645 |5985 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
140.59/140.61 o 31
140.59/140.61 c * 135s|210977 |137934 | 0 | 0.0 | 253M|2816 | - |5645 |5994 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
145.48/145.58 c 140s|220000 |145598 | 0 | 0.0 | 264M|2816 | - |5645 |6549 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
145.79/145.85 o 26
145.79/145.85 c * 140s|220413 |145307 | 0 | 0.0 | 259M|2816 | - |5645 |6597 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
151.09/151.12 o 24
151.09/151.12 c * 145s|228377 |151322 | 0 | 0.0 | 268M|2816 | - |5645 |7382 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
152.49/152.56 c 147s|230000 |152475 | 0 | 0.0 | 271M|2816 | - |5645 |7729 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
153.99/154.07 o 22
153.99/154.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.99/154.07 c * 148s|231635 |153284 | 0 | 0.0 | 272M|2816 | - |5645 |7802 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
162.89/162.99 c 157s|240000 |157903 | 0 | 0.0 | 287M|2816 | - |5645 |9070 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
169.79/169.83 c 163s|250000 |164087 | 0 | 0.0 | 298M|2816 | - |5645 |7624 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
176.00/176.05 c 169s|260000 |171251 | 0 | 0.0 | 309M|2816 | - |5645 |7915 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
182.69/182.74 c 176s|270000 |178029 | 0 | 0.0 | 321M|2816 | - |5645 |8167 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
189.79/189.86 c 182s|280000 |183630 | 0 | 0.0 | 331M|2816 | - |5645 |8496 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
194.98/195.00 c 187s|290000 |191853 | 0 | 0.0 | 342M|2816 | - |5645 |8592 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
202.08/202.16 c 194s|300000 |198005 | 0 | 0.0 | 352M|2816 | - |5645 |8235 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
206.98/207.03 c 199s|310000 |206400 | 0 | 0.0 | 363M|2816 | - |5645 |8395 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
212.38/212.40 c 204s|320000 |214437 | 0 | 0.0 | 373M|2816 | - |5645 |8850 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
218.18/218.25 c 209s|330000 |222225 | 0 | 0.0 | 383M|2816 | - |5645 |9020 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
224.88/224.92 c 216s|340000 |229444 | 0 | 0.0 | 395M|2816 | - |5645 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
230.19/230.25 o 21
230.19/230.25 c * 221s|346688 |232671 | 0 | 0.0 | 399M|2816 | - |5645 | 12k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
233.78/233.81 c 224s|350000 |234261 | 0 | 0.0 | 404M|2816 | - |5645 | 13k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
240.19/240.22 c 231s|360000 |241151 | 0 | 0.0 | 414M|2816 | - |5645 |9864 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
247.68/247.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.68/247.75 c 238s|370000 |247566 | 0 | 0.0 | 427M|2816 | - |5645 | 11k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
252.79/252.81 c 243s|380000 |255806 | 0 | 0.0 | 437M|2816 | - |5645 |9512 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
258.49/258.51 c 248s|390000 |263749 | 0 | 0.0 | 448M|2816 | - |5645 | 11k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
262.38/262.46 o 19
262.38/262.46 c * 252s|395831 |267204 | 0 | 0.0 | 448M|2816 | - |5645 | 12k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
266.38/266.47 c 256s|400000 |269778 | 0 | 0.0 | 454M|2816 | - |5645 | 13k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
273.48/273.52 c 262s|410000 |275905 | 0 | 0.0 | 462M|2816 | - |5645 |8615 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
279.78/279.89 c 269s|420000 |281862 | 0 | 0.0 | 473M|2816 | - |5645 | 11k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
283.98/284.02 c 272s|430000 |290333 | 0 | 0.0 | 481M|2816 | - |5645 |8779 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
290.18/290.20 c 278s|440000 |296562 | 0 | 0.0 | 491M|2816 | - |5645 | 10k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
294.38/294.45 c 282s|450000 |304958 | 0 | 0.0 | 500M|2816 | - |5645 |8882 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
298.69/298.72 o 14
298.69/298.72 c * 287s|457403 |308125 | 0 | 0.0 | 490M|2816 | - |5645 | 10k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
301.08/301.12 c 289s|460000 |309200 | 0 | 0.0 | 493M|2816 | - |5645 |9994 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
305.38/305.47 c 293s|470000 |317416 | 0 | 0.0 | 503M|2816 | - |5645 |9128 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
311.49/311.53 c 299s|480000 |323796 | 0 | 0.0 | 513M|2816 | - |5645 |8408 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
316.09/316.18 c 303s|490000 |331667 | 0 | 0.0 | 523M|2816 | - |5645 |9602 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
321.58/321.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.58/321.65 c 308s|500000 |338805 | 0 | 0.0 | 532M|2816 | - |5645 |8485 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
325.68/325.76 c 312s|510000 |347198 | 0 | 0.0 | 542M|2816 | - |5645 |9052 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
330.89/330.92 c 317s|520000 |354695 | 0 | 0.0 | 553M|2816 | - |5645 | 10k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
337.78/337.84 c 324s|530000 |360540 | 0 | 0.0 | 562M|2816 | - |5645 |9500 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
341.58/341.68 c 327s|540000 |369103 | 0 | 0.0 | 571M|2816 | - |5645 |9083 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
346.39/346.47 c 332s|550000 |377029 | 0 | 0.0 | 581M|2816 | - |5645 | 10k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
353.58/353.64 c 339s|560000 |382269 | 0 | 0.0 | 591M|2816 | - |5645 | 12k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
357.39/357.46 c 342s|570000 |390711 | 0 | 0.0 | 600M|2816 | - |5645 |9820 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
362.68/362.72 c 347s|580000 |397445 | 0 | 0.0 | 609M|2816 | - |5645 |9645 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
366.69/366.73 c 351s|590000 |405643 | 0 | 0.0 | 619M|2816 | - |5645 | 10k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
371.48/371.57 c 356s|600000 |413055 | 0 | 0.0 | 628M|2816 | - |5645 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
377.08/377.17 c 361s|610000 |419575 | 0 | 0.0 | 637M|2816 | - |5645 | 11k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
381.18/381.28 c 365s|620000 |427755 | 0 | 0.0 | 647M|2816 | - |5645 | 10k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
386.28/386.37 o 7
386.28/386.37 c * 370s|629623 |430771 | 0 | 0.0 | 631M|2816 | - |5645 |9788 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
386.49/386.55 c 370s|630000 |431076 | 0 | 0.0 | 632M|2816 | - |5645 |9843 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
391.98/392.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.98/392.01 c 375s|640000 |437958 | 0 | 0.0 | 643M|2816 | - |5645 | 10k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
397.28/397.35 c 380s|650000 |445028 | 0 | 0.0 | 653M|2816 | - |5645 | 11k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.68/401.78 c 384s|660000 |453049 | 0 | 0.0 | 663M|2816 | - |5645 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.79/407.83 c 390s|670000 |459534 | 0 | 0.0 | 673M|2816 | - |5645 | 11k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
413.18/413.28 c 395s|680000 |466489 | 0 | 0.0 | 684M|2816 | - |5645 | 12k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.59/418.61 c 400s|690000 |473475 | 0 | 0.0 | 695M|2816 | - |5645 | 12k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.08/424.14 c 405s|700000 |480444 | 0 | 0.0 | 705M|2816 | - |5645 | 11k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.28/430.34 c 411s|710000 |486713 | 0 | 0.0 | 714M|2816 | - |5645 |9250 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.59/434.66 c 415s|720000 |494546 | 0 | 0.0 | 723M|2816 | - |5645 |5561 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
438.49/438.54 c 419s|730000 |502698 | 0 | 0.0 | 733M|2816 | - |5645 |5605 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
442.39/442.42 c 423s|740000 |510819 | 0 | 0.0 | 744M|2816 | - |5645 |5617 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
449.29/449.36 c 429s|750000 |516264 | 0 | 0.0 | 756M|2816 | - |5645 |7562 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
457.49/457.59 c 437s|760000 |520746 | 0 | 0.0 | 767M|2816 | - |5645 |8540 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
465.98/466.09 c 445s|770000 |525041 | 0 | 0.0 | 778M|2816 | - |5645 |9584 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
475.48/475.59 c 454s|780000 |528768 | 0 | 0.0 | 789M|2816 | - |5645 |9812 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.88/484.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.88/484.96 c 464s|790000 |532701 | 0 | 0.0 | 799M|2816 | - |5645 | 10k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
494.99/495.03 c 473s|800000 |536072 | 0 | 0.0 | 809M|2816 | - |5645 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
505.09/505.13 c 483s|810000 |539446 | 0 | 0.0 | 820M|2816 | - |5645 | 11k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
514.89/514.93 c 493s|820000 |543191 | 0 | 0.0 | 830M|2816 | - |5645 | 10k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
525.38/525.47 c 503s|830000 |546042 | 0 | 0.0 | 839M|2816 | - |5645 | 11k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
535.29/535.32 c 512s|840000 |549569 | 0 | 0.0 | 849M|2816 | - |5645 | 12k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
546.29/546.36 c 523s|850000 |552352 | 0 | 0.0 | 858M|2816 | - |5645 | 11k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
556.99/557.03 c 533s|860000 |555268 | 0 | 0.0 | 867M|2816 | - |5645 | 12k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.99/568.01 c 544s|870000 |558023 | 0 | 0.0 | 875M|2816 | - |5645 | 12k| 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
579.79/579.80 c 556s|880000 |560222 | 0 | 0.0 | 884M|2816 | - |5645 | 12k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
592.39/592.47 c 568s|890000 |561718 | 0 | 0.0 | 891M|2816 | - |5645 | 13k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
605.39/605.46 c 581s|900000 |563186 | 0 | 0.0 | 898M|2816 | - |5645 | 13k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
619.69/619.80 c 595s|910000 |563642 | 0 | 0.0 | 904M|2816 | - |5645 | 14k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
633.19/633.21 c 608s|920000 |558831 | 0 | 0.0 | 890M|2816 | - |5645 |6420 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
637.79/637.89 c 612s|930000 |566744 | 0 | 0.0 | 900M|2816 | - |5645 |6198 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
643.29/643.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.29/643.40 c 617s|940000 |573978 | 0 | 0.0 | 911M|2816 | - |5645 |6972 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
649.89/649.95 c 624s|950000 |580521 | 0 | 0.0 | 922M|2816 | - |5645 |7906 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
657.39/657.40 c 631s|960000 |586385 | 0 | 0.0 | 934M|2816 | - |5645 |8819 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
665.99/666.04 c 639s|970000 |591533 | 0 | 0.0 | 947M|2816 | - |5645 |9917 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
676.39/676.47 c 649s|980000 |595548 | 0 | 0.0 | 959M|2816 | - |5645 | 11k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
690.39/690.42 c 663s|990000 |597167 | 0 | 0.0 | 971M|2816 | - |5645 | 13k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
707.19/707.28 c 679s| 1000k|594783 | 0 | 0.0 | 974M|2816 | - |5645 | 10k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
712.59/712.63 c 684s| 1010k|602617 | 0 | 0.0 | 984M|2816 | - |5645 |8256 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
718.09/718.18 c 689s| 1020k|610167 | 0 | 0.0 | 994M|2816 | - |5645 |8674 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
723.99/724.03 c 695s| 1030k|617553 | 0 | 0.0 |1004M|2816 | - |5645 |8970 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
730.19/730.26 c 701s| 1040k|624669 | 0 | 0.0 |1014M|2816 | - |5645 |9185 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
736.79/736.85 c 707s| 1050k|631530 | 0 | 0.0 |1025M|2816 | - |5645 |9711 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
743.99/744.03 c 714s| 1060k|637997 | 0 | 0.0 |1036M|2816 | - |5645 | 10k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
751.60/751.61 c 721s| 1070k|644280 | 0 | 0.0 |1047M|2816 | - |5645 | 10k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
759.89/760.00 c 729s| 1080k|650104 | 0 | 0.0 |1059M|2816 | - |5645 | 11k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
769.29/769.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.29/769.30 c 738s| 1090k|655366 | 0 | 0.0 |1070M|2816 | - |5645 | 12k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
779.00/779.06 c 748s| 1100k|660483 | 0 | 0.0 |1081M|2816 | - |5645 | 12k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
789.70/789.77 c 758s| 1110k|665075 | 0 | 0.0 |1093M|2816 | - |5645 | 13k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
802.49/802.55 c 770s| 1120k|668553 | 0 | 0.0 |1104M|2816 | - |5645 | 14k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
817.50/817.55 c 785s| 1130k|670773 | 0 | 0.0 |1115M|2816 | - |5645 | 15k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
833.70/833.71 o 6
833.70/833.71 c * 801s| 1138k|667215 | 0 | 0.0 |1107M|2816 | - |5645 | 17k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
837.10/837.12 c 804s| 1140k|666945 | 0 | 0.0 |1109M|2816 | - |5645 | 18k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
839.20/839.29 o 5
839.20/839.29 c * 806s| 1140k|665006 | 0 | 0.0 |1103M|2816 | - |5645 | 17k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
850.60/850.67 c 817s| 1150k|668033 | 0 | 0.0 |1106M|2816 | - |5645 | 10k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
856.90/856.93 c 823s| 1160k|675109 | 0 | 0.0 |1117M|2816 | - |5645 | 10k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
863.70/863.70 c 830s| 1170k|681803 | 0 | 0.0 |1128M|2816 | - |5645 | 11k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
871.79/871.85 c 837s| 1180k|687778 | 0 | 0.0 |1139M|2816 | - |5645 | 12k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
880.29/880.35 c 846s| 1190k|693485 | 0 | 0.0 |1151M|2816 | - |5645 | 13k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
890.09/890.11 c 855s| 1200k|698385 | 0 | 0.0 |1162M|2816 | - |5645 | 14k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
900.40/900.44 c 865s| 1210k|702909 | 0 | 0.0 |1172M|2816 | - |5645 | 12k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
910.80/910.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.80/910.83 c 875s| 1220k|707135 | 0 | 0.0 |1182M|2816 | - |5645 | 12k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
920.40/920.48 c 884s| 1230k|711766 | 0 | 0.0 |1191M|2816 | - |5645 | 12k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
929.50/929.57 c 893s| 1240k|716574 | 0 | 0.0 |1200M|2816 | - |5645 | 12k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
938.10/938.11 c 901s| 1250k|721844 | 0 | 0.0 |1209M|2816 | - |5645 | 13k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
946.40/946.43 c 909s| 1260k|727369 | 0 | 0.0 |1219M|2816 | - |5645 | 14k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
955.80/955.84 c 918s| 1270k|732409 | 0 | 0.0 |1230M|2816 | - |5645 | 16k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
966.50/966.59 c 929s| 1280k|736667 | 0 | 0.0 |1241M|2816 | - |5645 | 18k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
979.10/979.11 c 941s| 1290k|739949 | 0 | 0.0 |1252M|2816 | - |5645 | 20k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
996.09/996.16 c 957s| 1300k|739873 | 0 | 0.0 |1256M|2816 | - |5645 | 23k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1002.60/1002.62 c 963s| 1310k|747700 | 0 | 0.0 |1264M|2816 | - |5645 | 12k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1008.50/1008.52 c 969s| 1320k|755199 | 0 | 0.0 |1275M|2816 | - |5645 | 12k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1014.90/1014.93 c 975s| 1330k|762308 | 0 | 0.0 |1285M|2816 | - |5645 | 13k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1021.91/1021.99 c 982s| 1340k|768980 | 0 | 0.0 |1296M|2816 | - |5645 | 13k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1029.50/1029.54 c 989s| 1350k|775342 | 0 | 0.0 |1307M|2816 | - |5645 | 14k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1038.00/1038.03 c 997s| 1360k|781093 | 0 | 0.0 |1319M|2816 | - |5645 | 15k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1048.00/1048.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.00/1048.09 c 1007s| 1370k|785865 | 0 | 0.0 |1330M|2816 | - |5645 | 16k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1060.11/1060.17 c 1019s| 1380k|789383 | 0 | 0.0 |1340M|2816 | - |5645 | 17k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1076.81/1076.85 c 1035s| 1390k|789720 | 0 | 0.0 |1348M|2816 | - |5645 | 19k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1083.60/1083.61 c 1041s| 1400k|796747 | 0 | 0.0 |1355M|2816 | - |5645 | 12k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1089.20/1089.20 c 1046s| 1410k|804488 | 0 | 0.0 |1365M|2816 | - |5645 | 13k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1095.10/1095.10 c 1052s| 1420k|811906 | 0 | 0.0 |1376M|2816 | - |5645 | 13k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1101.60/1101.61 c 1058s| 1430k|818974 | 0 | 0.0 |1386M|2816 | - |5645 | 13k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1108.60/1108.66 c 1065s| 1440k|825681 | 0 | 0.0 |1397M|2816 | - |5645 | 13k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1116.00/1116.02 c 1072s| 1450k|832165 | 0 | 0.0 |1408M|2816 | - |5645 | 13k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1123.30/1123.34 c 1079s| 1460k|838604 | 0 | 0.0 |1418M|2816 | - |5645 | 13k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1131.01/1131.00 c 1086s| 1470k|844702 | 0 | 0.0 |1429M|2816 | - |5645 | 14k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1139.00/1139.01 c 1094s| 1480k|850584 | 0 | 0.0 |1439M|2816 | - |5645 | 14k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1147.21/1147.28 c 1102s| 1490k|856409 | 0 | 0.0 |1450M|2816 | - |5645 | 14k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1155.50/1155.55 c 1110s| 1500k|862163 | 0 | 0.0 |1460M|2816 | - |5645 | 14k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1163.71/1163.73 c 1118s| 1510k|868048 | 0 | 0.0 |1470M|2816 | - |5645 | 14k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1172.31/1172.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.31/1172.32 c 1126s| 1520k|873569 | 0 | 0.0 |1481M|2816 | - |5645 | 14k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1180.81/1180.80 c 1134s| 1530k|879251 | 0 | 0.0 |1491M|2816 | - |5645 | 14k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1189.40/1189.49 c 1142s| 1540k|884826 | 0 | 0.0 |1501M|2816 | - |5645 | 14k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1198.10/1198.16 c 1151s| 1550k|890477 | 0 | 0.0 |1511M|2816 | - |5645 | 14k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1206.71/1206.72 c 1159s| 1560k|896127 | 0 | 0.0 |1521M|2816 | - |5645 | 14k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1215.20/1215.28 c 1167s| 1570k|901879 | 0 | 0.0 |1531M|2816 | - |5645 | 14k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1223.50/1223.57 c 1175s| 1580k|907812 | 0 | 0.0 |1541M|2816 | - |5645 | 15k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1232.40/1232.49 c 1184s| 1590k|913460 | 0 | 0.0 |1551M|2816 | - |5645 | 15k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1241.51/1241.56 c 1193s| 1600k|919045 | 0 | 0.0 |1562M|2816 | - |5645 | 15k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1251.11/1251.15 c 1202s| 1610k|924340 | 0 | 0.0 |1572M|2816 | - |5645 | 15k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1261.00/1261.09 c 1211s| 1620k|929523 | 0 | 0.0 |1582M|2816 | - |5645 | 16k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1271.91/1271.92 c 1222s| 1630k|934220 | 0 | 0.0 |1592M|2816 | - |5645 | 16k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1284.11/1284.10 c 1234s| 1640k|938061 | 0 | 0.0 |1602M|2816 | - |5645 | 18k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1296.71/1296.79 c 1246s| 1650k|941714 | 0 | 0.0 |1612M|2816 | - |5645 | 18k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1311.22/1311.22 c 1260s| 1660k|944348 | 0 | 0.0 |1620M|2816 | - |5645 | 20k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1328.90/1328.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.90/1328.90 c 1277s| 1670k|945242 | 0 | 0.0 |1627M|2816 | - |5645 | 23k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1339.30/1339.33 c 1288s| 1680k|950913 | 0 | 0.0 |1633M|2816 | - |5645 | 15k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1345.41/1345.42 c 1294s| 1690k|958593 | 0 | 0.0 |1644M|2816 | - |5645 | 14k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1352.01/1352.05 c 1300s| 1700k|965793 | 0 | 0.0 |1655M|2816 | - |5645 | 15k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1359.21/1359.24 c 1307s| 1710k|972646 | 0 | 0.0 |1666M|2816 | - |5645 | 16k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1367.21/1367.22 c 1315s| 1720k|979021 | 0 | 0.0 |1677M|2816 | - |5645 | 17k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1376.31/1376.32 c 1324s| 1730k|984751 | 0 | 0.0 |1689M|2816 | - |5645 | 18k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1388.11/1388.16 c 1336s| 1740k|989078 | 0 | 0.0 |1700M|2816 | - |5645 | 19k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1401.81/1401.81 c 1349s| 1750k|992253 | 0 | 0.0 |1710M|2816 | - |5645 | 21k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1418.21/1418.20 c 1366s| 1760k|994399 | 0 | 0.0 |1717M|2816 | - |5645 | 17k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1425.21/1425.26 c 1372s| 1770k| 1002k| 0 | 0.0 |1732M|2816 | - |5645 | 14k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1431.61/1431.67 c 1379s| 1780k| 1009k| 0 | 0.0 |1744M|2816 | - |5645 | 12k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1437.11/1437.11 c 1384s| 1790k| 1017k| 0 | 0.0 |1753M|2816 | - |5645 | 12k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1442.71/1442.76 c 1390s| 1800k| 1024k| 0 | 0.0 |1763M|2816 | - |5645 | 13k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1448.62/1448.65 c 1395s| 1810k| 1032k| 0 | 0.0 |1774M|2816 | - |5645 | 13k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1455.01/1455.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.01/1455.04 c 1402s| 1820k| 1038k| 0 | 0.0 |1784M|2816 | - |5645 | 13k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1461.61/1461.62 c 1408s| 1830k| 1045k| 0 | 0.0 |1794M|2816 | - |5645 | 14k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1468.91/1468.96 c 1415s| 1840k| 1052k| 0 | 0.0 |1805M|2816 | - |5645 | 14k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1476.61/1476.62 c 1423s| 1850k| 1058k| 0 | 0.0 |1815M|2816 | - |5645 | 14k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1485.02/1485.05 c 1431s| 1860k| 1063k| 0 | 0.0 |1825M|2816 | - |5645 | 15k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1493.61/1493.62 c 1440s| 1870k| 1069k| 0 | 0.0 |1836M|2816 | - |5645 | 15k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1503.01/1503.04 c 1449s| 1880k| 1074k| 0 | 0.0 |1846M|2816 | - |5645 | 15k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1512.72/1512.78 c 1459s| 1890k| 1079k| 0 | 0.0 |1856M|2816 | - |5645 | 16k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1523.61/1523.67 c 1470s| 1900k| 1083k| 0 | 0.0 |1866M|2816 | - |5645 | 16k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1535.62/1535.62 c 1481s| 1910k| 1086k| 0 | 0.0 |1875M|2816 | - |5645 | 17k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1548.41/1548.46 c 1494s| 1920k| 1089k| 0 | 0.0 |1883M|2816 | - |5645 | 17k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1561.81/1561.85 c 1507s| 1930k| 1091k| 0 | 0.0 |1890M|2816 | - |5645 | 16k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1571.42/1571.41 c 1517s| 1940k| 1095k| 0 | 0.0 |1896M|2816 | - |5645 | 13k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1577.32/1577.33 c 1523s| 1950k| 1102k| 0 | 0.0 |1905M|2816 | - |5645 | 13k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1583.12/1583.10 c 1528s| 1960k| 1110k| 0 | 0.0 |1915M|2816 | - |5645 | 14k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1589.21/1589.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.21/1589.21 c 1534s| 1970k| 1117k| 0 | 0.0 |1925M|2816 | - |5645 | 14k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1596.12/1596.15 c 1541s| 1980k| 1123k| 0 | 0.0 |1936M|2816 | - |5645 | 15k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1603.41/1603.47 c 1548s| 1990k| 1129k| 0 | 0.0 |1946M|2816 | - |5645 | 15k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1612.71/1612.73 c 1557s| 2000k| 1134k| 0 | 0.0 |1957M|2816 | - |5645 | 17k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1624.01/1624.04 c 1569s| 2010k| 1138k| 0 | 0.0 |1966M|2816 | - |5645 | 17k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1638.51/1638.54 c 1583s| 2020k| 1139k| 0 | 0.0 |1974M|2816 | - |5645 | 18k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1647.01/1647.06 c 1591s| 2030k| 1145k| 0 | 0.0 |1979M|2816 | - |5645 | 13k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1652.02/1652.02 c 1596s| 2040k| 1153k| 0 | 0.0 |1989M|2816 | - |5645 | 13k| 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1657.11/1657.14 c 1601s| 2050k| 1160k| 0 | 0.0 |1998M|2816 | - |5645 | 13k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1662.91/1662.99 c 1607s| 2060k| 1167k| 0 | 0.0 |2008M|2816 | - |5645 | 14k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1669.42/1669.41 c 1613s| 2070k| 1174k| 0 | 0.0 |2019M|2816 | - |5645 | 15k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1676.11/1676.11 c 1620s| 2080k| 1181k| 0 | 0.0 |2028M|2816 | - |5645 | 15k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1683.41/1683.46 c 1627s| 2090k| 1187k| 0 | 0.0 |2039M|2816 | - |5645 | 15k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1691.91/1691.97 c 1636s| 2100k| 1192k| 0 | 0.0 |2049M|2816 | - |5645 | 16k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1701.52/1701.59 c 1645s| 2110k| 1197k| 0 | 0.0 |2059M|2816 | - |5645 | 16k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1712.73/1712.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.73/1712.74 c 1656s| 2120k| 1200k| 0 | 0.0 |2068M|2816 | - |5645 | 18k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1726.71/1726.76 c 1670s| 2130k| 1202k| 0 | 0.0 |2076M|2816 | - |5645 | 19k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1737.12/1737.13 c 1680s| 2140k| 1206k| 0 | 0.0 |2080M|2816 | - |5645 | 13k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1742.51/1742.55 c 1685s| 2150k| 1214k| 0 | 0.0 |2089M|2816 | - |5645 | 13k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1748.12/1748.14 c 1691s| 2160k| 1222k| 0 | 0.0 |2099M|2816 | - |5645 | 13k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1754.12/1754.18 c 1697s| 2170k| 1229k| 0 | 0.0 |2108M|2816 | - |5645 | 14k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1761.22/1761.28 c 1704s| 2180k| 1235k| 0 | 0.0 |2118M|2816 | - |5645 | 14k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1768.62/1768.62 c 1711s| 2190k| 1241k| 0 | 0.0 |2129M|2816 | - |5645 | 15k| 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1776.82/1776.88 c 1719s| 2200k| 1247k| 0 | 0.0 |2138M|2816 | - |5645 | 16k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1785.81/1785.86 c 1728s| 2210k| 1252k| 0 | 0.0 |2148M|2816 | - |5645 | 17k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1795.62/1795.69 c 1738s| 2220k| 1256k| 0 | 0.0 |2158M|2816 | - |5645 | 18k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1742.18
1800.03/1800.00 c Solving Nodes : 2223939
1800.03/1800.00 c Primal Bound : +5.00000000000000e+00 (46 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.09 s SATISFIABLE
1800.03/1800.09 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.09 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.09 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.03/1800.09 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.09 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126
1800.03/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.03/1800.09 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.03/1800.09 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.03/1800.09 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.03/1800.09 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.03/1800.09 v -x1
1800.03/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.09 c Solving Time : 1742.18
1800.03/1800.09 c Original Problem :
1800.03/1800.09 c Problem name : HOME/instance-2693674-1277929767.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.09 c Presolved Problem :
1800.03/1800.09 c Problem name : t_HOME/instance-2693674-1277929767.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5414 initial, 24670 maximal
1800.03/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.03/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c root node : - 2599 - - 5198 - - - -
1800.03/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.09 c indicator : 2707 0 5678969 0 1622434 309 3814906 0 0 0
1800.03/1800.09 c linear : 2707 0 6932588 0 1890445 470871 42560914 0 0 0
1800.03/1800.09 c logicor : 0+ 0 3276165 0 0 73613 1740283 0 0 0
1800.03/1800.09 c countsols : 0 0 0 0 1890469 0 0 0 0 0
1800.03/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.09 c indicator : 38.83 0.00 15.73 0.00 23.10
1800.03/1800.09 c linear : 422.50 0.00 420.93 0.00 1.57
1800.03/1800.09 c logicor : 254.67 0.00 254.67 0.00 0.00
1800.03/1800.09 c countsols : 0.09 0.00 0.00 0.00 0.09
1800.03/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.09 c vbounds : 0.40 2 0 0
1800.03/1800.09 c rootredcost : 0.47 0 0 0
1800.03/1800.09 c pseudoobj : 373.11 6939227 6253 3762724
1800.03/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.09 c propagation : 37.70 550737 550735 2635944 21.8 296328 10.9 -
1800.03/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c pseudo solution : 0.05 227 227 871 22.4 564 9.7 -
1800.03/1800.09 c applied globally : - - - 1931060 18.8 - - -
1800.03/1800.09 c applied locally : - - - 1 335.0 - - -
1800.03/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.09 c redcost : 0.00 0 0 0 0 0
1800.03/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.09 c intobj : 0.00 0 0 0 0 0
1800.03/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.09 c gomory : 0.00 0 0 0 0 0
1800.03/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.09 c cmir : 0.00 0 0 0 0 0
1800.03/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.09 c clique : 0.00 0 0 0 0 0
1800.03/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.09 c mcf : 0.00 0 0 0 0 0
1800.03/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.09 c Pricers : Time Calls Vars
1800.03/1800.09 c problem variables: 0.00 0 0
1800.03/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.09 c inference : 54.96 1890426 0 0 0 0 3780852
1800.03/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c random : 0.00 0 0 0 0 0 0
1800.03/1800.09 c Primal Heuristics : Time Calls Found
1800.03/1800.09 c LP solutions : 0.00 - 0
1800.03/1800.09 c pseudo solutions : 0.14 - 43
1800.03/1800.09 c oneopt : 0.25 0 0
1800.03/1800.09 c trivial : 0.07 2 2
1800.03/1800.09 c simplerounding : 0.00 0 0
1800.03/1800.09 c zirounding : 0.00 0 0
1800.03/1800.09 c rounding : 0.00 0 0
1800.03/1800.09 c shifting : 0.00 0 0
1800.03/1800.09 c intshifting : 0.00 0 0
1800.03/1800.09 c twoopt : 0.00 0 0
1800.03/1800.09 c fixandinfer : 0.00 0 0
1800.03/1800.09 c feaspump : 0.00 0 0
1800.03/1800.09 c coefdiving : 0.00 0 0
1800.03/1800.09 c pscostdiving : 0.00 0 0
1800.03/1800.09 c fracdiving : 0.00 0 0
1800.03/1800.09 c veclendiving : 0.00 0 0
1800.03/1800.09 c intdiving : 0.00 0 0
1800.03/1800.09 c actconsdiving : 0.00 0 0
1800.03/1800.09 c objpscostdiving : 0.00 0 0
1800.03/1800.09 c rootsoldiving : 0.00 0 0
1800.03/1800.09 c linesearchdiving : 0.00 0 0
1800.03/1800.09 c guideddiving : 0.00 0 0
1800.03/1800.09 c octane : 0.00 0 0
1800.03/1800.09 c rens : 0.00 0 0
1800.03/1800.09 c rins : 0.00 0 0
1800.03/1800.09 c localbranching : 0.00 0 0
1800.03/1800.09 c mutation : 0.00 0 0
1800.03/1800.09 c crossover : 0.00 0 0
1800.03/1800.09 c dins : 0.00 0 0
1800.03/1800.09 c undercover : 0.00 0 0
1800.03/1800.09 c nlp : 0.12 0 0
1800.03/1800.09 c trysol : 0.13 1 1
1800.03/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.09 c (at root node) : - 0 0 0.00 -
1800.03/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.09 c B&B Tree :
1800.03/1800.09 c number of runs : 1
1800.03/1800.09 c nodes : 2223939
1800.03/1800.09 c nodes (total) : 2223939
1800.03/1800.09 c nodes left : 1258183
1800.03/1800.09 c max depth : 2816
1800.03/1800.09 c max depth (total): 2816
1800.03/1800.09 c backtracks : 297181 (13.4%)
1800.03/1800.09 c delayed cutoffs : 273831
1800.03/1800.09 c repropagations : 1218882 (16197738 domain reductions, 217803 cutoffs)
1800.03/1800.09 c avg switch length: 50.77
1800.03/1800.09 c switching time : 506.67
1800.03/1800.09 c Solution :
1800.03/1800.09 c Solutions found : 46 (44 improvements)
1800.03/1800.09 c First Solution : +1.37244000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.09 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1140787 nodes, 806.15 seconds, depth 170, found by <relaxation>)
1800.03/1800.09 c Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Gap : infinite
1800.03/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693674-1277929767/watcher-2693674-1277929767 -o /tmp/evaluation-result-2693674-1277929767/solver-2693674-1277929767 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693674-1277929767.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: 3.59 3.55 2.97 4/199 16194 /proc/meminfo: memFree=31482596/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=8600 CPUtime=0 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 1652 0 0 0 0 0 0 0 25 0 1 0 134274584 8806400 1574 4089446400 4194304 7136930 140737395209392 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16194/statm: 2150 1574 275 719 0 1429 0 [startup+0.0238429 s] /proc/loadavg: 3.59 3.55 2.97 4/199 16194 /proc/meminfo: memFree=31482596/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=14144 CPUtime=0.02 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 3020 0 0 0 2 0 0 0 25 0 1 0 134274584 14483456 2942 4089446400 4194304 7136930 140737395209392 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16194/statm: 3536 2942 275 719 0 2815 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14144 [startup+0.100842 s] /proc/loadavg: 3.59 3.55 2.97 4/199 16194 /proc/meminfo: memFree=31482596/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=33676 CPUtime=0.09 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134274584 34484224 7535 4089446400 4194304 7136930 140737395209392 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300804 s] /proc/loadavg: 3.59 3.55 2.97 4/199 16194 /proc/meminfo: memFree=31482596/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=36496 CPUtime=0.29 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 9239 0 0 0 27 2 0 0 25 0 1 0 134274584 37371904 8293 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 9124 8293 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700734 s] /proc/loadavg: 3.59 3.55 2.97 4/199 16194 /proc/meminfo: memFree=31482596/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=37636 CPUtime=0.69 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 9516 0 0 0 65 4 0 0 25 0 1 0 134274584 38539264 8570 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50062 s] /proc/loadavg: 3.59 3.55 2.97 4/200 16195 /proc/meminfo: memFree=31447620/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=43136 CPUtime=1.49 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 10881 0 0 0 139 10 0 0 25 0 1 0 134274584 44171264 9935 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 10784 9935 390 719 0 10063 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43136 [startup+3.10027 s] /proc/loadavg: 3.55 3.54 2.97 4/200 16195 /proc/meminfo: memFree=31443032/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=45268 CPUtime=3.09 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 11433 0 0 0 290 19 0 0 25 0 1 0 134274584 46354432 10487 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 11317 10487 390 719 0 10596 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45268 [startup+6.30069 s] /proc/loadavg: 3.55 3.54 2.97 4/200 16195 /proc/meminfo: memFree=31432652/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=58296 CPUtime=6.29 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 14444 0 0 0 595 34 0 0 25 0 1 0 134274584 59695104 13498 4089446400 4194304 7136930 140737395209392 18446744073709551615 4978074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 14574 13498 391 719 0 13853 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58296 [startup+12.7006 s] /proc/loadavg: 3.38 3.51 2.96 4/200 16195 /proc/meminfo: memFree=31408472/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=79764 CPUtime=12.69 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 19707 0 0 0 1207 62 0 0 25 0 1 0 134274584 81678336 18761 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 19941 18761 391 719 0 19220 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79764 [startup+25.5003 s] /proc/loadavg: 3.40 3.51 2.97 3/200 16195 /proc/meminfo: memFree=31370732/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=118904 CPUtime=25.49 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 29216 0 0 0 2446 103 0 0 25 0 1 0 134274584 121757696 28270 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 29726 28270 391 719 0 29005 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118904 [startup+51.1008 s] /proc/loadavg: 3.20 3.45 2.96 4/200 16197 /proc/meminfo: memFree=31296704/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=197104 CPUtime=51.09 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 47781 0 0 0 4890 219 0 0 25 0 1 0 134274584 201834496 46835 4089446400 4194304 7136930 140737395209392 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 49276 46835 391 719 0 48555 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 197104 [startup+102.307 s] /proc/loadavg: 2.95 3.34 2.95 4/200 16198 /proc/meminfo: memFree=31192864/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=294868 CPUtime=102.3 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 72083 0 0 0 9823 407 0 0 25 0 1 0 134274584 301944832 71137 4089446400 4194304 7136930 140737395209392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 73717 71137 391 719 0 72996 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 294868 [startup+162.301 s] /proc/loadavg: 2.93 3.26 2.95 4/200 16202 /proc/meminfo: memFree=31063220/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=433584 CPUtime=162.29 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 103870 0 0 0 15596 633 0 0 25 0 1 0 134274584 443990016 102924 4089446400 4194304 7136930 140737395209392 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 108396 102924 391 719 0 107675 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 433584 [startup+222.3 s] /proc/loadavg: 2.91 3.19 2.94 3/200 16204 /proc/meminfo: memFree=30952048/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=548124 CPUtime=222.28 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 130748 0 0 0 21339 889 0 0 25 0 1 0 134274584 561278976 129802 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 137031 129802 391 719 0 136310 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 548124 [startup+282.301 s] /proc/loadavg: 2.79 3.11 2.93 3/200 16206 /proc/meminfo: memFree=30845468/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=653600 CPUtime=282.28 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 156578 0 0 0 27089 1139 0 0 25 0 1 0 134274584 669286400 155632 4089446400 4194304 7136930 140737395209392 18446744073709551615 4948257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 163400 155632 391 719 0 162679 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 653600 [startup+342.301 s] /proc/loadavg: 2.99 3.12 2.94 4/200 16207 /proc/meminfo: memFree=30731328/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=764624 CPUtime=342.28 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 184230 0 0 0 32795 1433 0 0 25 0 1 0 134274584 782974976 183284 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16194/statm: 191156 183284 391 719 0 190435 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 764624 [startup+402.301 s] /proc/loadavg: 2.84 3.04 2.91 4/200 16284 /proc/meminfo: memFree=30719688/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=875244 CPUtime=402.28 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 211994 0 0 0 38466 1762 0 0 25 0 1 0 134274584 896249856 211048 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 218811 211048 391 719 0 218090 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 875244 [startup+462.301 s] /proc/loadavg: 2.87 3.00 2.91 4/200 16285 /proc/meminfo: memFree=30589432/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=996076 CPUtime=462.28 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 240291 0 0 0 44170 2058 0 0 25 0 1 0 134274584 1019981824 239345 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 249019 239345 391 719 0 248298 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 996076 [startup+522.3 s] /proc/loadavg: 2.91 2.98 2.91 4/200 16287 /proc/meminfo: memFree=30511976/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1061184 CPUtime=522.29 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 256469 0 0 0 49974 2255 0 0 25 0 1 0 134274584 1086652416 255523 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 265296 255523 391 719 0 264575 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1061184 [startup+582.301 s] /proc/loadavg: 2.97 3.00 2.91 3/200 16289 /proc/meminfo: memFree=30450896/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1110184 CPUtime=582.29 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 268745 0 0 0 55809 2420 0 0 25 0 1 0 134274584 1136828416 267799 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 277546 267799 391 719 0 276825 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1110184 [startup+642.301 s] /proc/loadavg: 2.86 2.95 2.90 4/200 16290 /proc/meminfo: memFree=30408172/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1146860 CPUtime=642.3 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 277777 0 0 0 61641 2589 0 0 25 0 1 0 134274584 1174384640 276831 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 286715 276831 391 719 0 285994 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1146860 [startup+702.3 s] ################ # More data... # ################ /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 368130 0 0 0 96307 3923 0 0 25 0 1 0 134274584 1543618560 367184 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 376860 367184 391 719 0 376139 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1507440 [startup+1062.3 s] /proc/loadavg: 2.83 2.85 2.86 4/200 16301 /proc/meminfo: memFree=29930620/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1579916 CPUtime=1062.3 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 386427 0 0 0 102059 4171 0 0 25 0 1 0 134274584 1617833984 385481 4089446400 4194304 7136930 140737395209392 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 394979 385481 391 719 0 394258 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1579916 [startup+1122.3 s] /proc/loadavg: 2.79 2.83 2.85 4/200 16303 /proc/meminfo: memFree=29848956/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1654484 CPUtime=1122.31 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 405176 0 0 0 107811 4420 0 0 25 0 1 0 134274584 1694191616 404230 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 413621 404230 391 719 0 412900 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1654484 [startup+1182.3 s] /proc/loadavg: 2.76 2.81 2.84 4/200 16305 /proc/meminfo: memFree=29764444/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1730280 CPUtime=1182.3 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 424196 0 0 0 113564 4666 0 0 25 0 1 0 134274584 1771806720 423250 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 432570 423250 391 719 0 431849 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1730280 [startup+1242.3 s] /proc/loadavg: 3.02 2.87 2.86 4/200 16306 /proc/meminfo: memFree=29690116/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1801284 CPUtime=1242.31 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 441949 0 0 0 119331 4900 0 0 25 0 1 0 134274584 1844514816 441003 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 450321 441003 391 719 0 449600 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1801284 [startup+1302.3 s] /proc/loadavg: 2.75 2.82 2.84 4/200 16308 /proc/meminfo: memFree=29633764/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1853176 CPUtime=1302.32 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 454836 0 0 0 125130 5102 0 0 25 0 1 0 134274584 1897652224 453890 4089446400 4194304 7136930 140737395209392 18446744073709551615 4998120 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16194/statm: 463294 453890 391 719 0 462573 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1853176 [startup+1362.3 s] /proc/loadavg: 2.27 2.67 2.78 3/179 16339 /proc/meminfo: memFree=29889792/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1907536 CPUtime=1362.31 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 468548 0 0 0 131026 5205 0 0 25 0 1 0 134274584 1953316864 467602 4089446400 4194304 7136930 140737395209392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 476884 467602 391 719 0 476163 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1907536 [startup+1422.31 s] /proc/loadavg: 2.10 2.54 2.73 3/179 16341 /proc/meminfo: memFree=29832064/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=1981216 CPUtime=1422.31 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 482696 0 0 0 136961 5270 0 0 25 0 1 0 134274584 2028765184 481750 4089446400 4194304 7136930 140737395209392 18446744073709551615 4978976 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 495304 481750 391 719 0 494583 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1981216 [startup+1482.3 s] /proc/loadavg: 2.03 2.44 2.68 3/179 16343 /proc/meminfo: memFree=29740496/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2071012 CPUtime=1482.31 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 505372 0 0 0 142867 5364 0 0 25 0 1 0 134274584 2120716288 504426 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 517753 504426 391 719 0 517032 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2071012 [startup+1542.3 s] /proc/loadavg: 2.01 2.36 2.64 3/179 16344 /proc/meminfo: memFree=29685040/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2126820 CPUtime=1542.31 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 519418 0 0 0 148797 5434 0 0 25 0 1 0 134274584 2177863680 518472 4089446400 4194304 7136930 140737395209392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 531705 518472 391 719 0 530984 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 2126820 [startup+1602.3 s] /proc/loadavg: 2.00 2.29 2.60 3/179 16346 /proc/meminfo: memFree=29620624/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2190036 CPUtime=1602.32 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 535532 0 0 0 154713 5519 0 0 25 0 1 0 134274584 2242596864 534586 4089446400 4194304 7136930 140737395209392 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 547509 534586 391 719 0 546788 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2190036 [startup+1662.3 s] /proc/loadavg: 2.00 2.23 2.55 3/179 16347 /proc/meminfo: memFree=29556352/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2251580 CPUtime=1662.32 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 551124 0 0 0 160637 5595 0 0 25 0 1 0 134274584 2305617920 550178 4089446400 4194304 7136930 140737395209392 18446744073709551615 4925476 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 562895 550178 391 719 0 562174 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2251580 [startup+1722.3 s] /proc/loadavg: 2.00 2.19 2.52 3/179 16349 /proc/meminfo: memFree=29496032/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2312340 CPUtime=1722.32 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 566435 0 0 0 166552 5680 0 0 25 0 1 0 134274584 2367836160 565489 4089446400 4194304 7136930 140737395209392 18446744073709551615 4983030 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 578085 565489 391 719 0 577364 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2312340 [startup+1782.3 s] /proc/loadavg: 2.04 2.17 2.49 3/179 16351 /proc/meminfo: memFree=29425312/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2380728 CPUtime=1782.32 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 583712 0 0 0 172469 5763 0 0 25 0 1 0 134274584 2437865472 582766 4089446400 4194304 7136930 140737395209392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 595182 582766 391 719 0 594461 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2380728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.16 2.48 3/179 16351 /proc/meminfo: memFree=29407440/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2398312 CPUtime=1800.03 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 588187 0 0 0 174221 5782 0 0 25 0 1 0 134274584 2455871488 587241 4089446400 4194304 7136930 140737395209392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16194/statm: 599578 587241 391 719 0 598857 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2398312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16194 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.16 2.48 3/180 16352 /proc/meminfo: memFree=29407432/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2398312 CPUtime=1801.42 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 588208 0 0 0 174360 5782 0 0 19 0 1 0 134274584 2455871488 587262 4089446400 4194304 7136930 140737395209392 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16194/statm: 599578 587262 397 719 0 598857 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2398312 [startup+1801.81 s] /proc/loadavg: 2.03 2.16 2.48 3/180 16352 /proc/meminfo: memFree=29407432/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2398312 CPUtime=1801.83 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 588208 0 0 0 174401 5782 0 0 20 0 1 0 134274584 2455871488 587262 4089446400 4194304 7136930 140737395209392 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16194/statm: 599578 587262 397 719 0 598857 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2398312 [startup+1802 s] /proc/loadavg: 2.03 2.16 2.48 3/180 16352 /proc/meminfo: memFree=29407432/32951124 swapFree=67111528/67111528 [pid=16194] ppid=16192 vsize=2398312 CPUtime=1802.02 /proc/16194/stat : 16194 (pbscip.linux.x8) R 16192 16194 15507 0 -1 4202496 588208 0 0 0 174420 5782 0 0 20 0 1 0 134274584 2455871488 587262 4089446400 4194304 7136930 140737395209392 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16194/statm: 599578 587262 397 719 0 598857 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2398312 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1744.22 CPU system time (s): 57.9022 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2398312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.22 system time used= 57.9022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 588208 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= 1193 runsolver used 3.21451 second user time and 5.96709 second system time The end
Begin job on node101 at 2010-06-30 22:29:27 IDJOB=2693674 IDBENCH=79300 IDSOLVER=1206 FILE ID=node101/2693674-1277929767 PBS_JOBID= 11197351 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.1900546076--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-2693674-1277929767/watcher-2693674-1277929767 -o /tmp/evaluation-result-2693674-1277929767/solver-2693674-1277929767 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693674-1277929767.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b1c472aaf389140c1b2444bf3531b47d RANDOM SEED=401885550 node101.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.837 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.837 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 : 5226.15 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.837 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.837 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.837 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.74 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.837 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.837 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31483000 kB Buffers: 218244 kB Cached: 741348 kB SwapCached: 0 kB Active: 777268 kB Inactive: 548072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31483000 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 366048 kB Mapped: 20300 kB Slab: 79324 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657572 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 node101 at 2010-06-30 22:59:29