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 | OPTIMUM | 1425.37 | 1425.39 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo |
| MD5SUM | 359f8e8e206a8ecfac2e3b6d9e7369bc |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.230964 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 5180 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5179 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1247 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2694172-1277924309.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 o 5179
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.179000e+03
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
1.89/1.96 c 1.9s| 10000 | 6427 | 0 | 0.0 |8394k| 185 | - | 371 |5854 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.179000e+03 | Inf
1.89/1.99 o 820
1.89/1.99 c * 1.9s| 10621 | 7046 | 0 | 0.0 |8580k| 201 | - | 371 |5782 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
2.99/3.07 c 3.0s| 20000 | 15043 | 0 | 0.0 | 11M| 201 | - | 371 |5024 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
5.79/5.80 c 5.6s| 30000 | 20262 | 0 | 0.0 | 17M| 201 | - | 371 |8790 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
9.39/9.42 c 9.1s| 40000 | 24558 | 0 | 0.0 | 21M| 201 | - | 371 | 10k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
12.99/13.07 c 12.7s| 50000 | 28658 | 0 | 0.0 | 23M| 201 | - | 371 |8118 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
13.59/13.62 c 13.2s| 60000 | 38632 | 0 | 0.0 | 24M| 201 | - | 371 | 625 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
14.09/14.11 c 13.6s| 70000 | 48615 | 0 | 0.0 | 27M| 201 | - | 371 | 524 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
14.49/14.59 c 14.1s| 80000 | 58598 | 0 | 0.0 | 30M| 201 | - | 371 | 511 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
14.99/15.08 c 14.5s| 90000 | 68582 | 0 | 0.0 | 33M| 201 | - | 371 | 523 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
15.49/15.57 c 14.9s|100000 | 78544 | 0 | 0.0 | 36M| 201 | - | 371 | 558 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
15.99/16.06 c 15.4s|110000 | 88520 | 0 | 0.0 | 39M| 201 | - | 371 | 548 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
16.50/16.55 c 15.8s|120000 | 98498 | 0 | 0.0 | 42M| 201 | - | 371 | 575 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
16.99/17.04 c 16.2s|130000 |108451 | 0 | 0.0 | 45M| 201 | - | 371 | 657 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
17.49/17.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.49/17.53 c 16.7s|140000 |118410 | 0 | 0.0 | 48M| 201 | - | 371 | 692 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
17.99/18.02 c 17.1s|150000 |128379 | 0 | 0.0 | 51M| 201 | - | 371 | 731 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
18.49/18.51 c 17.6s|160000 |138346 | 0 | 0.0 | 54M| 203 | - | 371 | 782 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
18.89/18.99 c 18.0s|170000 |148332 | 0 | 0.0 | 58M| 203 | - | 371 | 775 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
19.38/19.48 c 18.4s|180000 |158312 | 0 | 0.0 | 61M| 203 | - | 371 | 777 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
20.49/20.59 c 19.5s|190000 |166343 | 0 | 0.0 | 65M| 203 | - | 371 |5082 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
25.79/25.83 c 24.6s|200000 |168278 | 0 | 0.0 | 71M| 203 | - | 371 | 12k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
33.79/33.86 c 32.5s|210000 |167034 | 0 | 0.0 | 74M| 203 | - | 371 | 14k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
43.39/43.45 c 42.0s|220000 |164515 | 0 | 0.0 | 76M| 203 | - | 371 | 15k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
53.69/53.70 c 52.1s|230000 |161704 | 0 | 0.0 | 76M| 203 | - | 371 | 19k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
54.49/54.50 c 52.9s|240000 |171669 | 0 | 0.0 | 74M| 203 | - | 371 |2573 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
55.00/55.01 c 53.3s|250000 |181642 | 0 | 0.0 | 76M| 203 | - | 371 | 509 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
55.29/55.36 o 268
55.29/55.36 c *53.6s|256923 |185620 | 0 | 0.0 | 77M| 206 | - | 371 | 373 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
55.49/55.52 c 53.8s|260000 |188689 | 0 | 0.0 | 78M| 206 | - | 371 | 347 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
56.00/56.03 c 54.2s|270000 |198660 | 0 | 0.0 | 81M| 206 | - | 371 | 313 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
56.48/56.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.48/56.54 c 54.7s|280000 |208623 | 0 | 0.0 | 84M| 206 | - | 371 | 342 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
57.10/57.19 c 55.3s|290000 |218188 | 0 | 0.0 | 88M| 206 | - | 371 | 694 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
57.79/57.86 c 55.9s|300000 |227816 | 0 | 0.0 | 91M| 206 | - | 371 | 515 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
58.09/58.18 o 191
58.09/58.18 c *56.2s|304135 |212355 | 0 | 0.0 | 86M| 206 | - | 371 | 579 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
58.59/58.65 c 56.6s|310000 |217778 | 0 | 0.0 | 88M| 206 | - | 371 | 831 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
58.68/58.74 o 190
58.68/58.74 c *56.7s|311210 |218673 | 0 | 0.0 | 88M| 206 | - | 371 | 792 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
58.68/58.76 o 166
58.68/58.76 c *56.7s|311211 |203289 | 0 | 0.0 | 83M| 206 | - | 371 | 792 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
59.08/59.16 o 164
59.08/59.16 c *57.1s|315832 |207141 | 0 | 0.0 | 85M| 206 | - | 371 | 892 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
59.49/59.54 c 57.4s|320000 |210914 | 0 | 0.0 | 87M| 206 | - | 371 |1033 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
59.79/59.87 o 154
59.79/59.87 c *57.7s|323851 |200253 | 0 | 0.0 | 84M| 206 | - | 371 |1010 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
60.39/60.42 c 58.2s|330000 |205842 | 0 | 0.0 | 86M| 206 | - | 371 |1124 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
61.29/61.36 c 59.1s|340000 |214901 | 0 | 0.0 | 90M| 206 | - | 371 |1281 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
62.19/62.22 o 148
62.19/62.22 c *59.9s|349320 |220022 | 0 | 0.0 | 93M| 206 | - | 371 |1401 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
62.19/62.29 c 60.0s|350000 |220622 | 0 | 0.0 | 93M| 206 | - | 371 |1439 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
62.79/62.82 o 147
62.79/62.82 c *60.5s|355825 |225779 | 0 | 0.0 | 96M| 206 | - | 371 |1537 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
63.18/63.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.18/63.24 c 60.9s|360000 |229484 | 0 | 0.0 | 98M| 206 | - | 371 |1824 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
64.28/64.30 c 61.9s|370000 |238347 | 0 | 0.0 | 102M| 206 | - | 371 |2264 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
65.29/65.38 c 62.9s|380000 |247179 | 0 | 0.0 | 107M| 206 | - | 371 |2371 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
65.79/65.85 o 142
65.79/65.85 c *63.3s|384287 |249400 | 0 | 0.0 | 109M| 206 | - | 371 |2448 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
66.29/66.39 o 134
66.29/66.39 c *63.8s|388996 |245533 | 0 | 0.0 | 108M| 206 | - | 371 |2617 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
66.49/66.51 c 63.9s|390000 |246396 | 0 | 0.0 | 108M| 206 | - | 371 |2605 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
66.88/66.97 o 126
66.88/66.97 c *64.4s|393927 |243324 | 0 | 0.0 | 108M| 206 | - | 371 |2822 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
67.59/67.67 o 118
67.59/67.67 c *65.0s|399408 |241451 | 0 | 0.0 | 109M| 206 | - | 371 |3047 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
67.69/67.76 c 65.1s|400000 |241918 | 0 | 0.0 | 109M| 206 | - | 371 |3099 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
68.98/69.07 c 66.4s|410000 |250187 | 0 | 0.0 | 115M| 206 | - | 371 |3696 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
70.39/70.45 c 67.7s|420000 |258403 | 0 | 0.0 | 121M| 206 | - | 371 |4136 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
71.78/71.83 c 69.0s|430000 |266578 | 0 | 0.0 | 127M| 206 | - | 371 |4456 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
72.68/72.75 o 113
72.68/72.75 c *69.8s|437352 |269071 | 0 | 0.0 | 130M| 206 | - | 371 |4423 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
72.78/72.81 o 107
72.78/72.81 c *69.9s|437749 |263154 | 0 | 0.0 | 127M| 206 | - | 371 |4435 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
73.08/73.12 c 70.2s|440000 |264940 | 0 | 0.0 | 128M| 206 | - | 371 |4572 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
73.98/74.08 o 106
73.98/74.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.98/74.08 c *71.1s|447185 |270081 | 0 | 0.0 | 132M| 206 | - | 371 |4791 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
74.49/74.51 c 71.5s|450000 |272219 | 0 | 0.0 | 134M| 206 | - | 371 |5066 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
74.89/74.94 o 92
74.89/74.94 c *71.9s|452899 |252839 | 0 | 0.0 | 125M| 206 | - | 371 |5094 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
74.89/74.99 o 80
74.89/74.99 c *72.0s|452941 |223232 | 0 | 0.0 | 109M| 206 | - | 371 |5097 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
75.68/75.77 o 73
75.68/75.77 c *72.7s|457179 |208360 | 0 | 0.0 | 101M| 206 | - | 371 |2034 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
76.18/76.21 c 73.1s|460000 |210377 | 0 | 0.0 | 103M| 206 | - | 371 |1784 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
76.38/76.43 o 59
76.38/76.43 c *73.3s|461183 |190743 | 0 | 0.0 | 93M| 206 | - | 371 |1690 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
76.59/76.64 o 50
76.59/76.64 c *73.5s|462293 |171027 | 0 | 0.0 | 86M| 206 | - | 371 |2104 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
78.18/78.20 c 75.0s|470000 |175026 | 0 | 0.0 | 90M| 206 | - | 371 |1971 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
80.49/80.54 c 77.2s|480000 |179515 | 0 | 0.0 | 97M| 206 | - | 371 |4064 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
83.29/83.30 c 79.9s|490000 |183517 | 0 | 0.0 | 104M| 206 | - | 371 |5069 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
86.48/86.57 c 83.1s|500000 |186268 | 0 | 0.0 | 110M| 206 | - | 371 |5718 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
90.29/90.39 c 86.8s|510000 |187688 | 0 | 0.0 | 117M| 206 | - | 371 |7083 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
93.78/93.87 c 90.2s|520000 |190128 | 0 | 0.0 | 121M| 206 | - | 371 |2040 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
95.08/95.19 c 91.4s|530000 |197551 | 0 | 0.0 | 126M| 206 | - | 371 |3246 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
98.89/98.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.89/98.92 c 95.1s|540000 |199306 | 0 | 0.0 | 132M| 206 | - | 371 |9300 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
108.19/108.23 c 104s|550000 |193110 | 0 | 0.0 | 125M| 206 | - | 371 | 11k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
111.59/111.64 c 108s|560000 |196770 | 0 | 0.0 | 123M| 206 | - | 371 |2110 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
113.58/113.67 c 110s|570000 |202203 | 0 | 0.0 | 128M| 206 | - | 371 |2900 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
115.89/115.97 c 112s|580000 |207159 | 0 | 0.0 | 133M| 206 | - | 371 |3144 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
118.29/118.31 c 114s|590000 |212034 | 0 | 0.0 | 138M| 206 | - | 371 |3586 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
120.58/120.67 c 116s|600000 |217023 | 0 | 0.0 | 143M| 206 | - | 371 |4117 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
123.09/123.17 c 119s|610000 |221760 | 0 | 0.0 | 147M| 206 | - | 371 |4189 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
125.69/125.70 c 121s|620000 |226490 | 0 | 0.0 | 152M| 206 | - | 371 |4445 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
128.19/128.28 c 124s|630000 |231138 | 0 | 0.0 | 156M| 206 | - | 371 |4905 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
130.98/131.03 c 126s|640000 |235486 | 0 | 0.0 | 161M| 206 | - | 371 |5048 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
133.88/133.90 c 129s|650000 |239601 | 0 | 0.0 | 165M| 206 | - | 371 |5251 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
136.69/136.74 c 132s|660000 |243781 | 0 | 0.0 | 169M| 206 | - | 371 |5534 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
139.70/139.71 c 135s|670000 |247749 | 0 | 0.0 | 173M| 206 | - | 371 |5955 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
142.69/142.71 c 138s|680000 |251671 | 0 | 0.0 | 178M| 206 | - | 371 |6148 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
145.58/145.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.58/145.61 c 140s|690000 |255877 | 0 | 0.0 | 182M| 206 | - | 371 |6598 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
148.69/148.75 c 143s|700000 |259726 | 0 | 0.0 | 187M| 206 | - | 371 |6784 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
151.99/152.04 c 147s|710000 |263397 | 0 | 0.0 | 191M| 206 | - | 371 |6984 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
155.48/155.57 c 150s|720000 |267331 | 0 | 0.0 | 196M| 206 | - | 371 |7173 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
159.39/159.42 c 154s|730000 |270847 | 0 | 0.0 | 201M| 206 | - | 371 |8001 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
163.49/163.51 c 158s|740000 |274101 | 0 | 0.0 | 205M| 206 | - | 371 |8270 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
167.79/167.80 c 162s|750000 |277274 | 0 | 0.0 | 209M| 206 | - | 371 |8139 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
171.88/171.98 c 166s|760000 |280582 | 0 | 0.0 | 213M| 206 | - | 371 |8678 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
175.69/175.74 c 170s|770000 |283926 | 0 | 0.0 | 218M| 206 | - | 371 |9259 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
179.68/179.77 c 174s|780000 |286835 | 0 | 0.0 | 223M| 206 | - | 371 |8940 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
183.78/183.84 c 178s|790000 |289651 | 0 | 0.0 | 228M| 206 | - | 371 |9234 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
187.88/187.94 c 182s|800000 |292459 | 0 | 0.0 | 233M| 206 | - | 371 |9651 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
192.18/192.20 c 186s|810000 |295039 | 0 | 0.0 | 237M| 206 | - | 371 | 10k| 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
196.79/196.87 c 190s|820000 |297302 | 0 | 0.0 | 242M| 206 | - | 371 |9846 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
201.98/202.02 c 195s|830000 |299380 | 0 | 0.0 | 246M| 206 | - | 371 |9974 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
207.18/207.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.18/207.24 c 201s|840000 |301401 | 0 | 0.0 | 251M| 206 | - | 371 | 10k| 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
213.18/213.24 c 206s|850000 |302440 | 0 | 0.0 | 256M| 206 | - | 371 | 10k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
218.98/219.08 c 212s|860000 |303723 | 0 | 0.0 | 260M| 206 | - | 371 | 11k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
224.98/225.06 c 218s|870000 |304899 | 0 | 0.0 | 265M| 206 | - | 371 | 12k| 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
231.68/231.75 c 225s|880000 |305325 | 0 | 0.0 | 270M| 206 | - | 371 | 13k| 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
237.28/237.37 c 230s|890000 |308085 | 0 | 0.0 | 273M| 206 | - | 371 |8739 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
239.18/239.22 c 232s|900000 |315861 | 0 | 0.0 | 277M| 206 | - | 371 |5035 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
240.98/241.06 c 234s|910000 |323208 | 0 | 0.0 | 281M| 206 | - | 371 |5427 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
242.98/243.04 c 235s|920000 |330266 | 0 | 0.0 | 286M| 206 | - | 371 |6274 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
245.18/245.28 c 238s|930000 |336992 | 0 | 0.0 | 291M| 206 | - | 371 |7126 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
247.67/247.79 c 240s|940000 |343327 | 0 | 0.0 | 296M| 206 | - | 371 |7793 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
250.57/250.62 c 243s|950000 |349132 | 0 | 0.0 | 301M| 206 | - | 371 |8436 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
253.78/253.83 c 246s|960000 |354310 | 0 | 0.0 | 306M| 206 | - | 371 |9507 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
257.68/257.73 c 250s|970000 |358397 | 0 | 0.0 | 312M| 206 | - | 371 | 11k| 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
261.78/261.88 c 254s|980000 |362474 | 0 | 0.0 | 318M| 206 | - | 371 | 11k| 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
266.28/266.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.28/266.30 c 258s|990000 |366647 | 0 | 0.0 | 322M| 206 | - | 371 |9186 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
270.17/270.26 c 262s| 1000k|370877 | 0 | 0.0 | 326M| 206 | - | 371 |8638 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
273.78/273.84 c 265s| 1010k|375245 | 0 | 0.0 | 330M| 206 | - | 371 |8775 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
277.67/277.75 c 269s| 1020k|378656 | 0 | 0.0 | 334M| 206 | - | 371 |8350 | 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
281.48/281.60 c 273s| 1030k|382104 | 0 | 0.0 | 339M| 206 | - | 371 |9042 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
285.77/285.85 c 277s| 1040k|385029 | 0 | 0.0 | 343M| 206 | - | 371 |9463 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
290.17/290.20 c 281s| 1050k|387836 | 0 | 0.0 | 347M| 206 | - | 371 |9850 | 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
294.08/294.17 c 285s| 1060k|391330 | 0 | 0.0 | 352M| 206 | - | 371 | 10k| 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
298.58/298.63 c 290s| 1070k|394211 | 0 | 0.0 | 356M| 206 | - | 371 | 10k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
303.68/303.74 c 295s| 1080k|397021 | 0 | 0.0 | 359M| 206 | - | 371 | 10k| 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
308.98/309.04 c 300s| 1090k|399646 | 0 | 0.0 | 363M| 206 | - | 371 | 10k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
313.98/314.05 c 305s| 1100k|402319 | 0 | 0.0 | 367M| 206 | - | 371 | 11k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
316.07/316.17 o 44
316.07/316.17 c * 307s| 1104k|385753 | 0 | 0.0 | 352M| 206 | - | 371 | 11k| 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
319.17/319.23 c 310s| 1110k|386698 | 0 | 0.0 | 352M| 206 | - | 371 |3054 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
323.57/323.60 c 314s| 1120k|388048 | 0 | 0.0 | 356M| 206 | - | 371 |3833 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
328.07/328.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.07/328.17 c 319s| 1130k|389033 | 0 | 0.0 | 359M| 206 | - | 371 |2286 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
332.18/332.28 c 322s| 1140k|390270 | 0 | 0.0 | 362M| 206 | - | 371 |2846 | 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
335.97/336.03 c 326s| 1150k|391249 | 0 | 0.0 | 366M| 206 | - | 371 |5571 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
340.37/340.43 c 330s| 1160k|392762 | 0 | 0.0 | 369M| 206 | - | 371 |5056 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
344.87/344.92 c 335s| 1170k|393956 | 0 | 0.0 | 373M| 206 | - | 371 |7880 | 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
349.47/349.50 c 339s| 1180k|395051 | 0 | 0.0 | 376M| 206 | - | 371 |7748 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
354.07/354.14 c 344s| 1190k|396184 | 0 | 0.0 | 379M| 206 | - | 371 |7909 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
358.87/358.94 c 349s| 1200k|397265 | 0 | 0.0 | 382M| 206 | - | 371 |7178 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
363.98/364.05 c 354s| 1210k|397691 | 0 | 0.0 | 385M| 206 | - | 371 |7759 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
369.17/369.28 c 359s| 1220k|397895 | 0 | 0.0 | 388M| 206 | - | 371 |9630 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
374.77/374.81 c 364s| 1230k|397995 | 0 | 0.0 | 391M| 206 | - | 371 |9953 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
380.77/380.88 c 370s| 1240k|397518 | 0 | 0.0 | 394M| 206 | - | 371 | 10k| 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
387.17/387.29 c 376s| 1250k|396798 | 0 | 0.0 | 396M| 206 | - | 371 | 11k| 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
393.97/394.03 c 383s| 1260k|395984 | 0 | 0.0 | 398M| 206 | - | 371 | 12k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
401.17/401.24 c 390s| 1270k|394873 | 0 | 0.0 | 401M| 206 | - | 371 | 12k| 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
408.87/408.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.87/408.93 c 398s| 1280k|393321 | 0 | 0.0 | 403M| 206 | - | 371 | 12k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
416.78/416.88 c 405s| 1290k|391629 | 0 | 0.0 | 405M| 206 | - | 371 | 14k| 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
425.58/425.62 c 414s| 1300k|389410 | 0 | 0.0 | 407M| 206 | - | 371 | 14k| 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
434.97/435.02 c 423s| 1310k|386780 | 0 | 0.0 | 409M| 206 | - | 371 | 15k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
445.18/445.23 c 433s| 1320k|383598 | 0 | 0.0 | 410M| 206 | - | 371 | 16k| 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
456.18/456.24 c 444s| 1330k|379837 | 0 | 0.0 | 411M| 206 | - | 371 | 17k| 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
459.07/459.12 c 447s| 1340k|385503 | 0 | 0.0 | 412M| 206 | - | 371 |2455 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
460.98/461.07 c 449s| 1350k|391333 | 0 | 0.0 | 417M| 206 | - | 371 |2215 | 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
463.07/463.13 c 451s| 1360k|396787 | 0 | 0.0 | 421M| 206 | - | 371 |2826 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
465.28/465.36 c 453s| 1370k|401968 | 0 | 0.0 | 426M| 206 | - | 371 |3576 | 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
467.68/467.77 c 455s| 1380k|406736 | 0 | 0.0 | 431M| 206 | - | 371 |4297 | 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
470.18/470.28 c 458s| 1390k|411493 | 0 | 0.0 | 435M| 206 | - | 371 |4573 | 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
472.88/472.91 c 460s| 1400k|415921 | 0 | 0.0 | 439M| 206 | - | 371 |4287 | 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
475.68/475.74 c 463s| 1410k|419829 | 0 | 0.0 | 444M| 206 | - | 371 |5197 | 0 | 0 | 0 |1034k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
478.48/478.57 c 466s| 1420k|423893 | 0 | 0.0 | 448M| 206 | - | 371 |6046 | 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
481.47/481.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.47/481.59 c 469s| 1430k|427666 | 0 | 0.0 | 452M| 206 | - | 371 |5672 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
484.67/484.77 c 472s| 1440k|430964 | 0 | 0.0 | 456M| 206 | - | 371 |6415 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
488.28/488.37 c 475s| 1450k|433619 | 0 | 0.0 | 460M| 206 | - | 371 |7164 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
491.77/491.87 c 479s| 1460k|436658 | 0 | 0.0 | 464M| 206 | - | 371 |7594 | 0 | 0 | 0 |1083k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
495.37/495.48 c 482s| 1470k|439546 | 0 | 0.0 | 468M| 206 | - | 371 |7709 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
499.08/499.17 c 486s| 1480k|442410 | 0 | 0.0 | 472M| 206 | - | 371 |8079 | 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
502.78/502.87 c 489s| 1490k|445352 | 0 | 0.0 | 476M| 206 | - | 371 |8378 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
506.58/506.61 c 493s| 1500k|448363 | 0 | 0.0 | 480M| 206 | - | 371 |7950 | 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
510.58/510.64 c 497s| 1510k|450687 | 0 | 0.0 | 484M| 206 | - | 371 |8780 | 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
514.87/514.99 c 501s| 1520k|452548 | 0 | 0.0 | 488M| 206 | - | 371 |9187 | 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
520.28/520.38 c 506s| 1530k|453847 | 0 | 0.0 | 492M| 206 | - | 371 |9858 | 0 | 0 | 0 |1157k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
526.17/526.27 c 512s| 1540k|454523 | 0 | 0.0 | 496M| 206 | - | 371 | 10k| 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
530.97/531.05 c 517s| 1550k|455893 | 0 | 0.0 | 498M| 206 | - | 371 |5082 | 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
536.37/536.46 c 522s| 1560k|454893 | 0 | 0.0 | 500M| 206 | - | 371 |5629 | 0 | 0 | 0 |1193k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
539.47/539.52 o 42
539.47/539.52 c * 525s| 1565k|453045 | 0 | 0.0 | 501M| 206 | - | 371 |7305 | 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
542.67/542.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.67/542.79 c 528s| 1570k|451596 | 0 | 0.0 | 501M| 206 | - | 371 |6611 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
549.67/549.71 c 535s| 1580k|448514 | 0 | 0.0 | 503M| 206 | - | 371 |8015 | 0 | 0 | 0 |1223k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
556.78/556.89 c 542s| 1590k|445231 | 0 | 0.0 | 503M| 206 | - | 371 |8443 | 0 | 0 | 0 |1238k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
564.18/564.29 c 549s| 1600k|441872 | 0 | 0.0 | 503M| 206 | - | 371 |8333 | 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
571.77/571.85 c 557s| 1610k|438642 | 0 | 0.0 | 504M| 206 | - | 371 |9452 | 0 | 0 | 0 |1267k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
579.87/579.90 c 565s| 1620k|435075 | 0 | 0.0 | 504M| 206 | - | 371 | 10k| 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
588.07/588.12 c 573s| 1630k|432045 | 0 | 0.0 | 505M| 206 | - | 371 | 11k| 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
596.78/596.82 c 582s| 1640k|428489 | 0 | 0.0 | 504M| 206 | - | 371 | 11k| 0 | 0 | 0 |1312k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
605.57/605.65 c 590s| 1650k|424811 | 0 | 0.0 | 503M| 206 | - | 371 | 11k| 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
613.27/613.30 o 40
613.27/613.30 c * 598s| 1658k|420833 | 0 | 0.0 | 502M| 206 | - | 371 | 11k| 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
613.37/613.47 o 29
613.37/613.47 c * 598s| 1658k|345735 | 0 | 0.0 | 416M| 206 | - | 371 | 11k| 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
615.57/615.65 c 600s| 1660k|344303 | 0 | 0.0 | 417M| 206 | - | 371 |8208 | 0 | 0 | 0 |1343k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
625.17/625.26 c 609s| 1670k|333389 | 0 | 0.0 | 412M| 206 | - | 371 |8333 | 0 | 0 | 0 |1371k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
637.88/637.98 c 622s| 1680k|319953 | 0 | 0.0 | 402M| 206 | - | 371 | 10k| 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
650.98/651.01 c 635s| 1690k|305587 | 0 | 0.0 | 388M| 206 | - | 371 |5553 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
656.08/656.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.08/656.19 c 640s| 1700k|304000 | 0 | 0.0 | 387M| 206 | - | 371 |3942 | 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
660.28/660.37 c 644s| 1710k|305029 | 0 | 0.0 | 390M| 206 | - | 371 |4851 | 0 | 0 | 0 |1460k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
664.67/664.78 c 648s| 1720k|305863 | 0 | 0.0 | 393M| 206 | - | 371 |5690 | 0 | 0 | 0 |1475k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
669.08/669.19 c 652s| 1730k|306350 | 0 | 0.0 | 396M| 206 | - | 371 |6149 | 0 | 0 | 0 |1492k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
674.07/674.12 c 657s| 1740k|306031 | 0 | 0.0 | 398M| 206 | - | 371 |5923 | 0 | 0 | 0 |1508k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
678.58/678.64 c 662s| 1750k|305714 | 0 | 0.0 | 400M| 206 | - | 371 |5594 | 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
684.28/684.37 c 667s| 1760k|304549 | 0 | 0.0 | 402M| 206 | - | 371 |9890 | 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
691.78/691.84 c 675s| 1770k|303300 | 0 | 0.0 | 404M| 206 | - | 371 | 10k| 0 | 0 | 0 |1560k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
698.48/698.59 c 681s| 1780k|301820 | 0 | 0.0 | 405M| 206 | - | 371 |9216 | 0 | 0 | 0 |1578k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
705.88/705.92 c 689s| 1790k|300108 | 0 | 0.0 | 407M| 206 | - | 371 | 10k| 0 | 0 | 0 |1597k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
714.78/714.81 c 697s| 1800k|296911 | 0 | 0.0 | 407M| 206 | - | 371 | 12k| 0 | 0 | 0 |1617k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
723.08/723.17 c 706s| 1810k|294844 | 0 | 0.0 | 408M| 206 | - | 371 | 10k| 0 | 0 | 0 |1636k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
731.77/731.86 c 714s| 1820k|290824 | 0 | 0.0 | 407M| 206 | - | 371 |8963 | 0 | 0 | 0 |1657k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
740.48/740.60 c 723s| 1830k|285240 | 0 | 0.0 | 405M| 206 | - | 371 |9409 | 0 | 0 | 0 |1679k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
749.38/749.46 c 731s| 1840k|279530 | 0 | 0.0 | 403M| 206 | - | 371 |9216 | 0 | 0 | 0 |1700k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
758.28/758.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.28/758.36 c 740s| 1850k|273191 | 0 | 0.0 | 401M| 206 | - | 371 | 10k| 0 | 0 | 0 |1722k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
769.67/769.79 c 752s| 1860k|265461 | 0 | 0.0 | 398M| 206 | - | 371 | 13k| 0 | 0 | 0 |1744k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
778.78/778.84 c 760s| 1870k|263025 | 0 | 0.0 | 393M| 206 | - | 371 |4610 | 0 | 0 | 0 |1759k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
780.98/781.04 c 763s| 1880k|268915 | 0 | 0.0 | 399M| 206 | - | 371 |5401 | 0 | 0 | 0 |1766k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
782.78/782.86 o 25
782.78/782.86 c * 764s| 1882k|198133 | 0 | 0.0 | 312M| 206 | - | 371 |8382 | 0 | 0 | 0 |1771k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
796.97/797.05 c 778s| 1890k|168463 | 0 | 0.0 | 271M| 206 | - | 371 |7356 | 0 | 0 | 0 |1812k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
806.87/806.93 c 788s| 1900k|159476 | 0 | 0.0 | 264M| 206 | - | 371 |4548 | 0 | 0 | 0 |1838k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
816.68/816.70 c 798s| 1910k|150688 | 0 | 0.0 | 261M| 206 | - | 371 |9828 | 0 | 0 | 0 |1866k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
828.88/828.96 c 810s| 1920k|140848 | 0 | 0.0 | 255M| 206 | - | 371 | 12k| 0 | 0 | 0 |1895k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
844.27/844.32 c 825s| 1930k|130350 | 0 | 0.0 | 247M| 206 | - | 371 | 15k| 0 | 0 | 0 |1925k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
860.38/860.48 c 841s| 1940k|118883 | 0 | 0.0 | 235M| 206 | - | 371 | 16k| 0 | 0 | 0 |1954k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
875.48/875.58 c 856s| 1950k|109244 | 0 | 0.0 | 218M| 206 | - | 371 |6255 | 0 | 0 | 0 |1979k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
877.37/877.46 c 858s| 1960k|116264 | 0 | 0.0 | 222M| 206 | - | 371 |4072 | 0 | 0 | 0 |1986k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
879.57/879.60 c 860s| 1970k|122493 | 0 | 0.0 | 226M| 206 | - | 371 |4648 | 0 | 0 | 0 |1993k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
882.08/882.11 c 862s| 1980k|127878 | 0 | 0.0 | 231M| 206 | - | 371 |5174 | 0 | 0 | 0 |2002k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
885.27/885.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.27/885.32 c 865s| 1990k|131845 | 0 | 0.0 | 236M| 206 | - | 371 |6030 | 0 | 0 | 0 |2012k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
889.18/889.21 c 869s| 2000k|134487 | 0 | 0.0 | 240M| 206 | - | 371 |6873 | 0 | 0 | 0 |2023k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
893.77/893.82 c 874s| 2010k|136440 | 0 | 0.0 | 241M| 206 | - | 371 |4577 | 0 | 0 | 0 |2035k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
897.27/897.38 o 24
897.27/897.38 c * 877s| 2013k|125379 | 0 | 0.0 | 217M| 206 | - | 371 |9310 | 0 | 0 | 0 |2046k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
898.58/898.67 o 9
898.58/898.67 c * 878s| 2013k| 54046 | 0 | 0.0 | 90M| 206 | - | 371 |8696 | 0 | 0 | 0 |2048k| 0 | 2.000000e+00 | 9.000000e+00 | 350.00%
903.27/903.30 c 883s| 2020k| 50953 | 0 | 0.0 | 75M| 206 | - | 371 |6537 | 0 | 0 | 0 |2060k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
908.67/908.73 c 888s| 2030k| 53063 | 0 | 0.0 | 80M| 206 | - | 371 |8952 | 0 | 0 | 0 |2076k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
915.37/915.44 c 895s| 2040k| 54156 | 0 | 0.0 | 84M| 206 | - | 371 | 10k| 0 | 0 | 0 |2093k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
922.87/922.96 c 902s| 2050k| 53969 | 0 | 0.0 | 88M| 206 | - | 371 | 13k| 0 | 0 | 0 |2111k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
930.37/930.41 c 910s| 2060k| 52260 | 0 | 0.0 | 89M| 206 | - | 371 |9617 | 0 | 0 | 0 |2133k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
938.56/938.62 c 918s| 2070k| 49263 | 0 | 0.0 | 89M| 206 | - | 371 | 11k| 0 | 0 | 0 |2156k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
949.17/949.22 c 928s| 2080k| 43793 | 0 | 0.0 | 87M| 206 | - | 371 | 14k| 0 | 0 | 0 |2181k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
953.58/953.69 c 932s| 2090k| 47715 | 0 | 0.0 | 86M| 206 | - | 371 |3971 | 0 | 0 | 0 |2192k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
955.87/955.97 c 935s| 2100k| 53553 | 0 | 0.0 | 91M| 206 | - | 371 |5205 | 0 | 0 | 0 |2201k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
964.97/965.06 c 943s| 2110k| 43006 | 0 | 0.0 | 62M| 206 | - | 371 | 12k| 0 | 0 | 0 |2230k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
977.87/977.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.87/977.90 c 956s| 2120k| 37863 | 0 | 0.0 | 60M| 206 | - | 371 | 15k| 0 | 0 | 0 |2262k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
993.86/994.00 c 972s| 2130k| 31738 | 0 | 0.0 | 56M| 206 | - | 371 | 21k| 0 | 0 | 0 |2292k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1011.46/1011.51 c 990s| 2140k| 24868 | 0 | 0.0 | 47M| 206 | - | 371 | 24k| 0 | 0 | 0 |2322k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1018.16/1018.20 c 996s| 2150k| 28845 | 0 | 0.0 | 43M| 206 | - | 371 |7845 | 0 | 0 | 0 |2333k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1021.77/1021.84 c 1000s| 2160k| 33743 | 0 | 0.0 | 47M| 206 | - | 371 |9877 | 0 | 0 | 0 |2343k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1026.37/1026.43 c 1004s| 2170k| 37556 | 0 | 0.0 | 51M| 206 | - | 371 | 11k| 0 | 0 | 0 |2354k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1032.36/1032.46 c 1010s| 2180k| 39264 | 0 | 0.0 | 54M| 206 | - | 371 | 13k| 0 | 0 | 0 |2370k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1038.07/1038.11 c 1016s| 2190k| 42411 | 0 | 0.0 | 57M| 206 | - | 371 | 13k| 0 | 0 | 0 |2383k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1043.16/1043.21 c 1021s| 2200k| 47055 | 0 | 0.0 | 61M| 206 | - | 371 | 15k| 0 | 0 | 0 |2393k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1049.86/1049.97 c 1027s| 2210k| 49717 | 0 | 0.0 | 66M| 206 | - | 371 | 18k| 0 | 0 | 0 |2408k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1064.86/1064.99 c 1042s| 2220k| 44780 | 0 | 0.0 | 54M| 206 | - | 371 | 30k| 0 | 0 | 0 |2434k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1074.07/1074.14 c 1051s| 2230k| 48351 | 0 | 0.0 | 51M| 206 | - | 371 | 13k| 0 | 0 | 0 |2447k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1081.57/1081.69 c 1059s| 2240k| 49271 | 0 | 0.0 | 54M| 206 | - | 371 | 14k| 0 | 0 | 0 |2465k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1090.57/1090.65 c 1068s| 2250k| 49199 | 0 | 0.0 | 58M| 206 | - | 371 | 17k| 0 | 0 | 0 |2483k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1100.77/1100.87 c 1078s| 2260k| 48524 | 0 | 0.0 | 61M| 206 | - | 371 | 21k| 0 | 0 | 0 |2501k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1112.87/1112.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.87/1112.97 c 1090s| 2270k| 47081 | 0 | 0.0 | 65M| 206 | - | 371 | 25k| 0 | 0 | 0 |2519k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1126.56/1126.60 c 1103s| 2280k| 45694 | 0 | 0.0 | 66M| 206 | - | 371 | 29k| 0 | 0 | 0 |2537k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1141.27/1141.35 c 1118s| 2290k| 45247 | 0 | 0.0 | 66M| 206 | - | 371 | 25k| 0 | 0 | 0 |2555k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1153.37/1153.48 c 1130s| 2300k| 46998 | 0 | 0.0 | 71M| 206 | - | 371 | 29k| 0 | 0 | 0 |2573k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1168.77/1168.82 c 1145s| 2310k| 47377 | 0 | 0.0 | 74M| 206 | - | 371 | 31k| 0 | 0 | 0 |2591k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1184.97/1185.05 c 1161s| 2320k| 47487 | 0 | 0.0 | 77M| 206 | - | 371 | 31k| 0 | 0 | 0 |2609k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1201.27/1201.31 c 1177s| 2330k| 46918 | 0 | 0.0 | 79M| 206 | - | 371 | 33k| 0 | 0 | 0 |2627k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1219.17/1219.26 c 1195s| 2340k| 46121 | 0 | 0.0 | 80M| 206 | - | 371 | 33k| 0 | 0 | 0 |2646k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1238.28/1238.31 c 1214s| 2350k| 43521 | 0 | 0.0 | 77M| 206 | - | 371 | 21k| 0 | 0 | 0 |2668k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1255.68/1255.70 c 1231s| 2360k| 38313 | 0 | 0.0 | 73M| 206 | - | 371 | 24k| 0 | 0 | 0 |2691k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1277.77/1277.80 c 1253s| 2370k| 31673 | 0 | 0.0 | 69M| 206 | - | 371 | 35k| 0 | 0 | 0 |2714k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1301.97/1302.00 c 1277s| 2380k| 28126 | 0 | 0.0 | 64M| 206 | - | 371 | 32k| 0 | 0 | 0 |2737k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1327.17/1327.23 c 1302s| 2390k| 24701 | 0 | 0.0 | 64M| 206 | - | 371 | 39k| 0 | 0 | 0 |2760k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1355.07/1355.12 c 1330s| 2400k| 20120 | 0 | 0.0 | 60M| 206 | - | 371 | 38k| 0 | 0 | 0 |2783k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1392.37/1392.42 c 1367s| 2410k| 10000 | 0 | 0.0 | 40M| 206 | - | 371 | 34k| 0 | 0 | 0 |2810k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1425.26/1425.31 c
1425.26/1425.31 c SCIP Status : problem is solved [optimal solution found]
1425.26/1425.31 c Solving Time (sec) : 1400.19
1425.26/1425.31 c Solving Nodes : 2418709
1425.26/1425.31 c Primal Bound : +9.00000000000000e+00 (31 solutions)
1425.26/1425.31 c Dual Bound : +9.00000000000000e+00
1425.26/1425.31 c Gap : 0.00 %
1425.26/1425.31 s OPTIMUM FOUND
1425.26/1425.31 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1425.26/1425.31 v -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127
1425.26/1425.31 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106
1425.26/1425.31 v -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82
1425.26/1425.31 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1425.26/1425.31 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1425.26/1425.31 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5
1425.26/1425.31 v -x4 -x3 -x2 -x1
1425.26/1425.31 c SCIP Status : problem is solved [optimal solution found]
1425.26/1425.31 c Solving Time : 1400.19
1425.26/1425.31 c Original Problem :
1425.26/1425.31 c Problem name : HOME/instance-2694172-1277924309.wbo
1425.26/1425.31 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1425.26/1425.31 c Constraints : 203 initial, 203 maximal
1425.26/1425.31 c Presolved Problem :
1425.26/1425.31 c Problem name : t_HOME/instance-2694172-1277924309.wbo
1425.26/1425.31 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1425.26/1425.31 c Constraints : 202 initial, 40048 maximal
1425.26/1425.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1425.26/1425.31 c trivial : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c dualfix : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c boundshift : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c implics : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c probing : 0.01 0 0 0 0 0 0 0 0
1425.26/1425.31 c indicator : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c linear : 0.00 0 0 0 101 0 1 0 0
1425.26/1425.31 c logicor : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c root node : - 58 - - 116 - - - -
1425.26/1425.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1425.26/1425.31 c integral : 0 0 0 0 0 0 0 0 0 0
1425.26/1425.31 c indicator : 101 0 7264621 0 1633325 23552 4071074 0 0 0
1425.26/1425.31 c linear : 101 0 7607409 0 1700052 900803 37151918 0 0 0
1425.26/1425.31 c logicor : 0+ 0 3484994 0 0 77277 1924953 0 0 0
1425.26/1425.31 c bounddisjunction : 0+ 0 216534 0 0 2 10796 0 0 0
1425.26/1425.31 c countsols : 0 0 0 0 1700080 0 0 0 0 0
1425.26/1425.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1425.26/1425.31 c integral : 0.00 0.00 0.00 0.00 0.00
1425.26/1425.31 c indicator : 8.05 0.00 5.69 0.00 2.36
1425.26/1425.31 c linear : 205.70 0.00 204.85 0.00 0.85
1425.26/1425.31 c logicor : 509.68 0.00 509.68 0.00 0.00
1425.26/1425.31 c bounddisjunction : 0.58 0.00 0.58 0.00 0.00
1425.26/1425.31 c countsols : 0.25 0.00 0.00 0.00 0.25
1425.26/1425.31 c Propagators : Time Calls Cutoffs DomReds
1425.26/1425.31 c vbounds : 1.65 2 0 0
1425.26/1425.31 c rootredcost : 1.80 0 0 0
1425.26/1425.31 c pseudoobj : 34.03 7663183 32378 3772287
1425.26/1425.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1425.26/1425.31 c propagation : 55.34 1010458 1010297 5718972 23.4 312714 14.0 -
1425.26/1425.31 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1425.26/1425.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1425.26/1425.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1425.26/1425.31 c pseudo solution : 0.00 176 176 568 15.8 70 13.5 -
1425.26/1425.31 c applied globally : - - - 2782153 16.9 - - -
1425.26/1425.31 c applied locally : - - - 53316 37.0 - - -
1425.26/1425.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1425.26/1425.31 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1425.26/1425.31 c redcost : 0.00 0 0 0 0 0
1425.26/1425.31 c impliedbounds : 0.00 0 0 0 0 0
1425.26/1425.31 c intobj : 0.00 0 0 0 0 0
1425.26/1425.31 c cgmip : 0.00 0 0 0 0 0
1425.26/1425.31 c gomory : 0.00 0 0 0 0 0
1425.26/1425.31 c strongcg : 0.00 0 0 0 0 0
1425.26/1425.31 c cmir : 0.00 0 0 0 0 0
1425.26/1425.31 c flowcover : 0.00 0 0 0 0 0
1425.26/1425.31 c clique : 0.00 0 0 0 0 0
1425.26/1425.31 c zerohalf : 0.00 0 0 0 0 0
1425.26/1425.31 c mcf : 0.00 0 0 0 0 0
1425.26/1425.31 c rapidlearning : 0.00 0 0 0 0 0
1425.26/1425.31 c Pricers : Time Calls Vars
1425.26/1425.31 c problem variables: 0.00 0 0
1425.26/1425.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1425.26/1425.31 c relpscost : 0.00 0 0 0 0 0 0
1425.26/1425.31 c pscost : 0.00 0 0 0 0 0 0
1425.26/1425.31 c inference : 13.92 1700052 0 0 0 0 3400104
1425.26/1425.31 c mostinf : 0.00 0 0 0 0 0 0
1425.26/1425.31 c leastinf : 0.00 0 0 0 0 0 0
1425.26/1425.31 c fullstrong : 0.00 0 0 0 0 0 0
1425.26/1425.31 c allfullstrong : 0.00 0 0 0 0 0 0
1425.26/1425.31 c random : 0.00 0 0 0 0 0 0
1425.26/1425.31 c Primal Heuristics : Time Calls Found
1425.26/1425.31 c LP solutions : 0.00 - 0
1425.26/1425.31 c pseudo solutions : 0.93 - 28
1425.26/1425.31 c oneopt : 0.83 0 0
1425.26/1425.31 c trivial : 0.00 2 2
1425.26/1425.31 c simplerounding : 0.00 0 0
1425.26/1425.31 c zirounding : 0.00 0 0
1425.26/1425.31 c rounding : 0.00 0 0
1425.26/1425.31 c shifting : 0.00 0 0
1425.26/1425.31 c intshifting : 0.00 0 0
1425.26/1425.31 c twoopt : 0.00 0 0
1425.26/1425.31 c fixandinfer : 0.00 0 0
1425.26/1425.31 c feaspump : 0.00 0 0
1425.26/1425.31 c coefdiving : 0.00 0 0
1425.26/1425.31 c pscostdiving : 0.00 0 0
1425.26/1425.31 c fracdiving : 0.00 0 0
1425.26/1425.31 c veclendiving : 0.00 0 0
1425.26/1425.31 c intdiving : 0.00 0 0
1425.26/1425.31 c actconsdiving : 0.00 0 0
1425.26/1425.31 c objpscostdiving : 0.00 0 0
1425.26/1425.31 c rootsoldiving : 0.00 0 0
1425.26/1425.31 c linesearchdiving : 0.00 0 0
1425.26/1425.31 c guideddiving : 0.00 0 0
1425.26/1425.31 c octane : 0.00 0 0
1425.26/1425.31 c rens : 0.00 0 0
1425.26/1425.31 c rins : 0.00 0 0
1425.26/1425.31 c localbranching : 0.00 0 0
1425.26/1425.31 c mutation : 0.00 0 0
1425.26/1425.31 c crossover : 0.00 0 0
1425.26/1425.31 c dins : 0.00 0 0
1425.26/1425.31 c undercover : 0.00 0 0
1425.26/1425.31 c nlp : 0.60 0 0
1425.26/1425.31 c trysol : 0.46 1 1
1425.26/1425.31 c LP : Time Calls Iterations Iter/call Iter/sec
1425.26/1425.31 c primal LP : 0.00 0 0 0.00 -
1425.26/1425.31 c dual LP : 0.00 0 0 0.00 -
1425.26/1425.31 c lex dual LP : 0.00 0 0 0.00 -
1425.26/1425.31 c barrier LP : 0.00 0 0 0.00 -
1425.26/1425.31 c diving/probing LP: 0.00 0 0 0.00 -
1425.26/1425.31 c strong branching : 0.00 0 0 0.00 -
1425.26/1425.31 c (at root node) : - 0 0 0.00 -
1425.26/1425.31 c conflict analysis: 0.00 0 0 0.00 -
1425.26/1425.31 c B&B Tree :
1425.26/1425.31 c number of runs : 1
1425.26/1425.31 c nodes : 2418709
1425.26/1425.31 c nodes (total) : 2418709
1425.26/1425.31 c nodes left : 0
1425.26/1425.31 c max depth : 206
1425.26/1425.31 c max depth (total): 206
1425.26/1425.31 c backtracks : 810434 (33.5%)
1425.26/1425.31 c delayed cutoffs : 540860
1425.26/1425.31 c repropagations : 3051512 (11864108 domain reductions, 315559 cutoffs)
1425.26/1425.31 c avg switch length: 22.74
1425.26/1425.31 c switching time : 445.79
1425.26/1425.31 c Solution :
1425.26/1425.31 c Solutions found : 31 (29 improvements)
1425.26/1425.31 c First Solution : +5.17900000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1425.26/1425.31 c Primal Bound : +9.00000000000000e+00 (in run 1, after 2013692 nodes, 878.03 seconds, depth 101, found by <relaxation>)
1425.26/1425.31 c Dual Bound : +9.00000000000000e+00
1425.26/1425.31 c Gap : 0.00 %
1425.26/1425.31 c Root Dual Bound : +0.00000000000000e+00
1425.26/1425.31 c Root Iterations : 0
1425.26/1425.39 c Time complete: 1425.35.
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694172-1277924309/watcher-2694172-1277924309 -o /tmp/evaluation-result-2694172-1277924309/solver-2694172-1277924309 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694172-1277924309.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.97 1.99 4/196 28074 /proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=8248 CPUtime=0 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 1542 0 0 0 0 0 0 0 25 0 1 0 168034046 8445952 1464 4089446400 4194304 7136930 140735971855648 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28074/statm: 2062 1464 275 719 0 1341 0 [startup+0.032831 s] /proc/loadavg: 1.91 1.97 1.99 4/196 28074 /proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=12420 CPUtime=0.02 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 3073 0 0 0 2 0 0 0 25 0 1 0 168034046 12718080 2385 4089446400 4194304 7136930 140735971855648 18446744073709551615 4977990 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 3105 2385 390 719 0 2384 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12420 [startup+0.100815 s] /proc/loadavg: 1.91 1.97 1.99 4/196 28074 /proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=13716 CPUtime=0.09 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 3392 0 0 0 9 0 0 0 25 0 1 0 168034046 14045184 2704 4089446400 4194304 7136930 140735971855648 18446744073709551615 4981628 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 3429 2704 390 719 0 2708 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13716 [startup+0.300778 s] /proc/loadavg: 1.91 1.97 1.99 4/196 28074 /proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=15928 CPUtime=0.29 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 3956 0 0 0 28 1 0 0 25 0 1 0 168034046 16310272 3268 4089446400 4194304 7136930 140735971855648 18446744073709551615 5000393 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 3982 3268 390 719 0 3261 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15928 [startup+0.700708 s] /proc/loadavg: 1.91 1.97 1.99 4/196 28074 /proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=18652 CPUtime=0.69 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 4629 0 0 0 66 3 0 0 25 0 1 0 168034046 19099648 3941 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 4663 3941 390 719 0 3942 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18652 [startup+1.50056 s] /proc/loadavg: 1.91 1.97 1.99 3/197 28075 /proc/meminfo: memFree=31176304/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=21532 CPUtime=1.49 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 5357 0 0 0 144 5 0 0 25 0 1 0 168034046 22048768 4669 4089446400 4194304 7136930 140735971855648 18446744073709551615 6166121 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 5383 4669 390 719 0 4662 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21532 [startup+3.10027 s] /proc/loadavg: 1.91 1.97 1.99 3/197 28075 /proc/meminfo: memFree=31171716/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=27160 CPUtime=3.09 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 6799 0 0 0 297 12 0 0 25 0 1 0 168034046 27811840 6111 4089446400 4194304 7136930 140735971855648 18446744073709551615 4661506 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 6790 6111 390 719 0 6069 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27160 [startup+6.30066 s] /proc/loadavg: 1.92 1.97 1.99 3/197 28075 /proc/meminfo: memFree=31162992/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=34252 CPUtime=6.29 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 8578 0 0 0 608 21 0 0 25 0 1 0 168034046 35074048 7890 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 8563 7890 390 719 0 7842 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34252 [startup+12.7005 s] /proc/loadavg: 1.93 1.97 1.99 3/197 28075 /proc/meminfo: memFree=31154436/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=42508 CPUtime=12.69 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 10658 0 0 0 1234 35 0 0 25 0 1 0 168034046 43528192 9970 4089446400 4194304 7136930 140735971855648 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 10627 9970 390 719 0 9906 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42508 [startup+25.5011 s] /proc/loadavg: 1.94 1.97 1.99 3/197 28075 /proc/meminfo: memFree=31099228/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=95156 CPUtime=25.49 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 23833 0 0 0 2427 122 0 0 25 0 1 0 168034046 97439744 23145 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 23789 23145 390 719 0 23068 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95156 [startup+51.1002 s] /proc/loadavg: 1.96 1.97 1.99 3/197 28076 /proc/meminfo: memFree=31089828/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=103148 CPUtime=51.09 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 25793 0 0 0 4955 154 0 0 25 0 1 0 168034046 105623552 25105 4089446400 4194304 7136930 140735971855648 18446744073709551615 4978941 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 25787 25105 390 719 0 25066 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 103148 [startup+102.307 s] /proc/loadavg: 2.02 1.99 1.99 3/197 28077 /proc/meminfo: memFree=30989832/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=203116 CPUtime=102.29 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 49816 0 0 0 9842 387 0 0 25 0 1 0 168034046 207990784 49101 4089446400 4194304 7136930 140735971855648 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 50779 49101 393 719 0 50058 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 203116 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 28088 /proc/meminfo: memFree=30912956/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=280700 CPUtime=162.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 69157 0 0 0 15665 563 0 0 25 0 1 0 168034046 287436800 68442 4089446400 4194304 7136930 140735971855648 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 70175 68442 393 719 0 69454 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 280700 [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 28090 /proc/meminfo: memFree=30848604/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=333392 CPUtime=222.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 82355 0 0 0 21528 700 0 0 25 0 1 0 168034046 341393408 81640 4089446400 4194304 7136930 140735971855648 18446744073709551615 4947541 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 83348 81640 393 719 0 82627 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 333392 [startup+282.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 28091 /proc/meminfo: memFree=30748848/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=425400 CPUtime=282.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 105579 0 0 0 27367 860 0 0 25 0 1 0 168034046 435609600 104864 4089446400 4194304 7136930 140735971855648 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 106350 104864 393 719 0 105629 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 425400 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 28093 /proc/meminfo: memFree=30714316/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=455640 CPUtime=342.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 113276 0 0 0 33224 1003 0 0 25 0 1 0 168034046 466575360 112561 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28074/statm: 113910 112561 393 719 0 113189 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 455640 [startup+402.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 28094 /proc/meminfo: memFree=30684632/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=478268 CPUtime=402.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 118929 0 0 0 39108 1119 0 0 25 0 1 0 168034046 489746432 118214 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28074/statm: 119567 118214 393 719 0 118846 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 478268 [startup+462.3 s] /proc/loadavg: 2.04 2.00 2.00 3/197 28096 /proc/meminfo: memFree=30655692/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=507880 CPUtime=462.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 126293 0 0 0 45001 1226 0 0 25 0 1 0 168034046 520069120 125578 4089446400 4194304 7136930 140735971855648 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28074/statm: 126970 125578 393 719 0 126249 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 507880 [startup+522.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 28097 /proc/meminfo: memFree=30576516/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=581628 CPUtime=522.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 144905 0 0 0 50829 1399 0 0 25 0 1 0 168034046 595587072 144190 4089446400 4194304 7136930 140735971855648 18446744073709551615 5957698 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 145407 144190 393 719 0 144686 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 581628 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28099 /proc/meminfo: memFree=30554648/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=593972 CPUtime=582.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148040 0 0 0 56718 1509 0 0 25 0 1 0 168034046 608227328 147325 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 148493 147325 393 719 0 147772 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 593972 [startup+642.301 s] /proc/loadavg: 2.05 2.01 2.00 3/197 28101 /proc/meminfo: memFree=30551016/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=597568 CPUtime=642.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148907 0 0 0 62624 1604 0 0 25 0 1 0 168034046 611909632 148192 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149392 148192 393 719 0 148671 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 597568 [startup+702.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 28102 /proc/meminfo: memFree=30550340/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=597568 CPUtime=702.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148916 0 0 0 68495 1733 0 0 25 0 1 0 168034046 611909632 148201 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149392 148201 393 719 0 148671 0 Current children cumulated CPU time (s) 702.28 Current children cumulated vsize (KiB) 597568 [startup+762.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28104 /proc/meminfo: memFree=30539508/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=597860 CPUtime=762.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148962 0 0 0 74411 1817 0 0 25 0 1 0 168034046 612208640 148247 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149465 148247 393 719 0 148744 0 Current children cumulated CPU time (s) 762.28 Current children cumulated vsize (KiB) 597860 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28106 /proc/meminfo: memFree=30533396/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=598180 CPUtime=822.28 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149016 0 0 0 80314 1914 0 0 25 0 1 0 168034046 612536320 148301 4089446400 4194304 7136930 140735971855648 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149545 148301 393 719 0 148824 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 598180 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28107 /proc/meminfo: memFree=30527644/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=598336 CPUtime=882.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149062 0 0 0 86229 1998 0 0 25 0 1 0 168034046 612696064 148347 4089446400 4194304 7136930 140735971855648 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149584 148347 393 719 0 148863 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 598336 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28112 /proc/meminfo: memFree=30508720/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=597312 CPUtime=942.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149074 0 0 0 92121 2106 0 0 25 0 1 0 168034046 611647488 148104 4089446400 4194304 7136930 140735971855648 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149328 148104 393 719 0 148607 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 597312 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28113 /proc/meminfo: memFree=30504532/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=598276 CPUtime=1002.26 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149236 0 0 0 98039 2187 0 0 25 0 1 0 168034046 612634624 148266 4089446400 4194304 7136930 140735971855648 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28074/statm: 149569 148266 393 719 0 148848 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 598276 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28115 /proc/meminfo: memFree=30498148/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=597908 CPUtime=1062.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149343 0 0 0 103956 2271 0 0 25 0 1 0 168034046 612257792 148113 4089446400 4194304 7136930 140735971855648 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28074/statm: 149477 148113 393 719 0 148756 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 597908 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 2.01 3/197 28117 /proc/meminfo: memFree=30493148/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=596176 CPUtime=1122.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149508 0 0 0 109890 2337 0 0 25 0 1 0 168034046 610484224 147763 4089446400 4194304 7136930 140735971855648 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28074/statm: 149044 147763 393 719 0 148323 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 596176 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 28118 /proc/meminfo: memFree=30491364/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=598464 CPUtime=1182.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149832 0 0 0 115848 2379 0 0 25 0 1 0 168034046 612827136 148087 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 149616 148087 393 719 0 148895 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 598464 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 28120 /proc/meminfo: memFree=30495784/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=593500 CPUtime=1242.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149951 0 0 0 121806 2421 0 0 25 0 1 0 168034046 607744000 146781 4089446400 4194304 7136930 140735971855648 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28074/statm: 148375 146781 393 719 0 147654 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 593500 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28121 /proc/meminfo: memFree=30485700/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=592832 CPUtime=1302.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150068 0 0 0 127768 2459 0 0 25 0 1 0 168034046 607059968 146639 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 148208 146639 393 719 0 147487 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 592832 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28123 /proc/meminfo: memFree=30478116/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=594080 CPUtime=1362.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150242 0 0 0 133740 2487 0 0 25 0 1 0 168034046 608337920 146813 4089446400 4194304 7136930 140735971855648 18446744073709551615 5901129 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 148520 146813 393 719 0 147799 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 594080 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28125 /proc/meminfo: memFree=30504000/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=562880 CPUtime=1422.27 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139720 2507 0 0 25 0 1 0 168034046 576389120 139043 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 140720 139043 393 719 0 139999 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 562880 Solver just ended. Dumping a history of the last processes samples [startup+1423.9 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28125 /proc/meminfo: memFree=30506852/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=560568 CPUtime=1423.86 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139878 2508 0 0 25 0 1 0 168034046 574021632 138465 4089446400 4194304 7136930 140735971855648 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 140142 138465 393 719 0 139421 0 Current children cumulated CPU time (s) 1423.86 Current children cumulated vsize (KiB) 560568 [startup+1424.7 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28125 /proc/meminfo: memFree=30511192/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=553576 CPUtime=1424.67 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139958 2509 0 0 25 0 1 0 168034046 566861824 136717 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 138394 136717 393 719 0 137673 0 Current children cumulated CPU time (s) 1424.67 Current children cumulated vsize (KiB) 553576 [startup+1425.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28125 /proc/meminfo: memFree=30511192/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=553060 CPUtime=1425.06 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139997 2509 0 0 25 0 1 0 168034046 566333440 136588 4089446400 4194304 7136930 140735971855648 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 138265 136588 393 719 0 137544 0 Current children cumulated CPU time (s) 1425.06 Current children cumulated vsize (KiB) 553060 [startup+1425.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28125 /proc/meminfo: memFree=30511192/32950928 swapFree=67111528/67111528 [pid=28074] ppid=28072 vsize=544028 CPUtime=1425.26 /proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 140017 2509 0 0 25 0 1 0 168034046 557084672 134330 4089446400 4194304 7136930 140735971855648 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28074/statm: 136007 134330 393 719 0 135286 0 Current children cumulated CPU time (s) 1425.26 Current children cumulated vsize (KiB) 544028 Child status: 0 Real time (s): 1425.39 CPU time (s): 1425.37 CPU user time (s): 1400.25 CPU system time (s): 25.1192 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 598908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1400.25 system time used= 25.1192 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150329 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= 18053 runsolver used 2.26865 second user time and 4.75528 second system time The end
Begin job on node114 at 2010-06-30 20:58:29 IDJOB=2694172 IDBENCH=79234 IDSOLVER=1206 FILE ID=node114/2694172-1277924309 PBS_JOBID= 11197285 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/wnqueen/normalized-t2001.13queen13.1110978334--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-2694172-1277924309/watcher-2694172-1277924309 -o /tmp/evaluation-result-2694172-1277924309/solver-2694172-1277924309 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694172-1277924309.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 359f8e8e206a8ecfac2e3b6d9e7369bc RANDOM SEED=1348256096 node114.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.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 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.67 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.819 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.82 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.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31193084 kB Buffers: 207960 kB Cached: 1126776 kB SwapCached: 0 kB Active: 699592 kB Inactive: 914344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31193084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 279684 kB Mapped: 20400 kB Slab: 79764 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1652872 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 node114 at 2010-06-30 21:22:15