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.09 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo |
| MD5SUM | 83dbd2cd2ef615ae6bc4c3ab9b5ef9b9 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 326.406 |
| 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 | 961 |
| 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 | 46411 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46410 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 625 |
| 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-2694039-1277901881.wbo>
0.00/0.02 c original problem has 2153 variables (1192 bin, 0 int, 0 impl, 961 cont) and 3669 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.05/0.07 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.05/0.09 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.10 c (round 4) 100 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.14 c (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 100 deleted vars, 157 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.14 c 1161 implications, 15 cliques
0.09/0.14 c presolved problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3512 constraints
0.09/0.14 c 911 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 15 constraints of type <setppc>
0.09/0.14 c 911 constraints of type <linear>
0.09/0.14 c 1674 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7818k| 0 | - |2053 |3512 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.09 o 512
1.00/1.09 c * 1.0s| 4159 | 3395 | 0 | 0.0 | 10M|1099 | - |2053 |4182 | 0 | 0 | 0 | 892 | 0 | 0.000000e+00 | 5.120000e+02 | Inf
2.39/2.49 c 2.4s| 10000 | 8543 | 0 | 0.0 | 14M|1099 | - |2053 |4479 | 0 | 0 | 0 |2701 | 0 | 0.000000e+00 | 5.120000e+02 | Inf
5.09/5.11 c 4.9s| 20000 | 16643 | 0 | 0.0 | 20M|1099 | - |2053 |5033 | 0 | 0 | 0 |7437 | 0 | 0.000000e+00 | 5.120000e+02 | Inf
7.79/7.86 o 478
7.79/7.86 c * 7.5s| 28291 | 21571 | 0 | 0.0 | 26M|1099 | - |2053 |6092 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.780000e+02 | Inf
7.79/7.87 o 448
7.79/7.87 c * 7.5s| 28293 | 21551 | 0 | 0.0 | 27M|1099 | - |2053 |6092 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.480000e+02 | Inf
7.89/7.91 o 415
7.89/7.91 c * 7.6s| 28430 | 21686 | 0 | 0.0 | 27M|1099 | - |2053 |6053 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
7.89/7.91 o 385
7.89/7.91 c * 7.6s| 28432 | 21673 | 0 | 0.0 | 27M|1099 | - |2053 |6053 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.850000e+02 | Inf
7.89/7.95 o 342
7.89/7.95 c * 7.6s| 28568 | 21771 | 0 | 0.0 | 27M|1099 | - |2053 |6021 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
7.89/7.98 o 233
7.89/7.98 c * 7.6s| 28651 | 21711 | 0 | 0.0 | 27M|1099 | - |2053 |5999 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
8.00/8.00 o 184
8.00/8.00 c * 7.7s| 28720 | 21722 | 0 | 0.0 | 27M|1099 | - |2053 |5979 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
8.29/8.36 o 134
8.29/8.36 c * 8.0s| 29793 | 22624 | 0 | 0.0 | 27M|1099 | - |2053 |5629 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
8.29/8.38 o 127
8.29/8.38 c * 8.1s| 29845 | 22663 | 0 | 0.0 | 27M|1099 | - |2053 |5609 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
8.39/8.43 c 8.1s| 30000 | 22808 | 0 | 0.0 | 27M|1099 | - |2053 |5553 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
8.39/8.44 o 111
8.39/8.44 c * 8.1s| 30001 | 22699 | 0 | 0.0 | 27M|1099 | - |2053 |5553 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
8.99/9.09 o 99
8.99/9.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.09 c * 8.7s| 31895 | 24348 | 0 | 0.0 | 29M|1099 | - |2053 |5109 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
9.39/9.41 o 97
9.39/9.41 c * 9.0s| 32835 | 25179 | 0 | 0.0 | 30M|1099 | - |2053 |4952 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
9.99/10.03 o 93
9.99/10.03 c * 9.7s| 34806 | 26911 | 0 | 0.0 | 32M|1099 | - |2053 |4821 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
9.99/10.04 o 82
9.99/10.04 c * 9.7s| 34807 | 26620 | 0 | 0.0 | 31M|1099 | - |2053 |4821 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
11.59/11.64 c 11.2s| 40000 | 30975 | 0 | 0.0 | 35M|1099 | - |2053 |4726 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
14.39/14.40 c 13.9s| 50000 | 39233 | 0 | 0.0 | 41M|1099 | - |2053 |5021 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
17.09/17.15 c 16.5s| 60000 | 47363 | 0 | 0.0 | 47M|1099 | - |2053 |5394 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
19.99/20.02 c 19.3s| 70000 | 55293 | 0 | 0.0 | 54M|1099 | - |2053 |5726 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
23.00/23.03 c 22.2s| 80000 | 62899 | 0 | 0.0 | 61M|1099 | - |2053 |6019 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
26.09/26.19 c 25.2s| 90000 | 70207 | 0 | 0.0 | 67M|1099 | - |2053 |6583 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
29.49/29.56 c 28.5s|100000 | 77156 | 0 | 0.0 | 74M|1099 | - |2053 |6698 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
33.29/33.30 c 32.1s|110000 | 83504 | 0 | 0.0 | 81M|1099 | - |2053 |6932 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
37.29/37.34 c 36.0s|120000 | 89165 | 0 | 0.0 | 89M|1099 | - |2053 |7362 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
41.70/41.71 c 40.3s|130000 | 94047 | 0 | 0.0 | 96M|1099 | - |2053 |8125 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
46.29/46.32 c 44.8s|140000 | 98316 | 0 | 0.0 | 104M|1099 | - |2053 |8379 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
51.49/51.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.49/51.60 c 49.9s|150000 |100982 | 0 | 0.0 | 110M|1099 | - |2053 |9459 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
58.39/58.45 c 56.6s|160000 |102629 | 0 | 0.0 | 113M|1099 | - |2053 |7188 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
58.59/58.68 o 72
58.59/58.68 c *56.8s|160619 |102280 | 0 | 0.0 | 112M|1099 | - |2053 |6247 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
59.49/59.55 o 65
59.49/59.55 c *57.7s|162987 |104281 | 0 | 0.0 | 113M|1099 | - |2053 |4986 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
60.50/60.53 o 51
60.50/60.53 c *58.6s|165670 |106222 | 0 | 0.0 | 115M|1099 | - |2053 |4817 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
60.50/60.53 o 46
60.50/60.53 c *58.6s|165671 |106164 | 0 | 0.0 | 115M|1099 | - |2053 |4817 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
61.29/61.34 o 44
61.29/61.34 c *59.4s|167940 |108045 | 0 | 0.0 | 117M|1099 | - |2053 |4939 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
61.79/61.83 o 41
61.79/61.83 c *59.9s|169255 |109056 | 0 | 0.0 | 119M|1099 | - |2053 |5211 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
62.09/62.14 c 60.2s|170000 |109646 | 0 | 0.0 | 119M|1099 | - |2053 |5313 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
62.79/62.82 o 40
62.79/62.82 c *60.8s|171715 |110944 | 0 | 0.0 | 121M|1099 | - |2053 |5559 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
64.20/64.23 o 29
64.20/64.23 c *62.2s|175023 |112521 | 0 | 0.0 | 122M|1099 | - |2053 |6226 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
64.59/64.65 o 28
64.59/64.65 c *62.6s|175818 |113027 | 0 | 0.0 | 124M|1099 | - |2053 |6493 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
65.60/65.66 o 22
65.60/65.66 c *63.6s|177634 |113775 | 0 | 0.0 | 125M|1099 | - |2053 |7416 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
66.79/66.82 c 64.7s|180000 |115235 | 0 | 0.0 | 126M|1099 | - |2053 |6238 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
67.80/67.86 o 20
67.80/67.86 c *65.7s|183469 |118155 | 0 | 0.0 | 128M|1099 | - |2053 |5373 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
69.99/70.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.99/70.00 c 67.8s|190000 |123354 | 0 | 0.0 | 132M|1099 | - |2053 |6283 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
71.19/71.24 o 7
71.19/71.24 c *69.0s|193097 |124507 | 0 | 0.0 | 132M|1099 | - |2053 |7360 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
73.60/73.64 c 71.3s|200000 |129780 | 0 | 0.0 | 137M|1099 | - |2053 |6025 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
77.29/77.37 c 74.9s|210000 |136790 | 0 | 0.0 | 144M|1099 | - |2053 |9377 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
80.39/80.40 c 77.8s|220000 |144986 | 0 | 0.0 | 150M|1099 | - |2053 |7184 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
84.29/84.30 c 81.6s|230000 |151947 | 0 | 0.0 | 157M|1099 | - |2053 |7402 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
87.69/87.73 c 84.9s|240000 |159681 | 0 | 0.0 | 166M|1099 | - |2053 |9247 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
91.79/91.86 c 89.0s|250000 |166669 | 0 | 0.0 | 177M|1099 | - |2053 |8626 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
95.30/95.33 c 92.3s|260000 |174203 | 0 | 0.0 | 190M|1099 | - |2053 |9915 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
99.00/99.07 c 95.9s|270000 |181438 | 0 | 0.0 | 201M|1099 | - |2053 |9748 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
103.10/103.10 c 99.8s|280000 |188435 | 0 | 0.0 | 215M|1099 | - |2053 |7413 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
106.49/106.53 c 103s|290000 |195447 | 0 | 0.0 | 222M|1099 | - |2053 |9489 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
109.19/109.26 c 106s|300000 |203987 | 0 | 0.0 | 226M|1099 | - |2053 |5345 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
112.49/112.52 c 109s|310000 |211442 | 0 | 0.0 | 233M|1099 | - |2053 |6360 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
115.99/116.03 c 112s|320000 |218548 | 0 | 0.0 | 240M|1099 | - |2053 |7123 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
119.60/119.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.60/119.63 c 116s|330000 |225636 | 0 | 0.0 | 247M|1099 | - |2053 |7105 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
123.29/123.35 c 119s|340000 |232507 | 0 | 0.0 | 254M|1099 | - |2053 |7532 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
127.19/127.27 c 123s|350000 |239164 | 0 | 0.0 | 261M|1099 | - |2053 |7988 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
131.20/131.30 c 127s|360000 |245688 | 0 | 0.0 | 268M|1099 | - |2053 |8135 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
135.39/135.40 c 131s|370000 |252179 | 0 | 0.0 | 275M|1099 | - |2053 |8271 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
139.40/139.41 c 135s|380000 |258755 | 0 | 0.0 | 282M|1099 | - |2053 |9131 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
143.59/143.63 c 139s|390000 |265125 | 0 | 0.0 | 289M|1099 | - |2053 |9585 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
148.00/148.02 c 143s|400000 |271379 | 0 | 0.0 | 295M|1099 | - |2053 |9361 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
152.30/152.30 c 147s|410000 |277765 | 0 | 0.0 | 302M|1099 | - |2053 | 10k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
156.80/156.81 c 152s|420000 |283848 | 0 | 0.0 | 309M|1099 | - |2053 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.49/161.52 c 156s|430000 |289825 | 0 | 0.0 | 316M|1099 | - |2053 |9425 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.10/166.12 c 161s|440000 |295928 | 0 | 0.0 | 323M|1099 | - |2053 | 10k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.00/171.02 c 166s|450000 |301688 | 0 | 0.0 | 329M|1099 | - |2053 |9989 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
175.59/175.66 c 170s|460000 |307827 | 0 | 0.0 | 336M|1099 | - |2053 | 11k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
180.70/180.75 c 175s|470000 |313436 | 0 | 0.0 | 343M|1099 | - |2053 | 10k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
185.50/185.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.50/185.58 c 180s|480000 |319340 | 0 | 0.0 | 350M|1099 | - |2053 | 11k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.80/190.82 c 185s|490000 |324937 | 0 | 0.0 | 356M|1099 | - |2053 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
195.89/195.97 c 190s|500000 |330519 | 0 | 0.0 | 363M|1099 | - |2053 | 12k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
201.20/201.20 c 195s|510000 |336130 | 0 | 0.0 | 370M|1099 | - |2053 | 11k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
206.60/206.62 c 200s|520000 |341507 | 0 | 0.0 | 377M|1099 | - |2053 | 12k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
211.80/211.87 c 206s|530000 |347072 | 0 | 0.0 | 384M|1099 | - |2053 | 12k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
217.59/217.62 c 211s|540000 |352143 | 0 | 0.0 | 391M|1099 | - |2053 | 12k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
223.09/223.20 c 217s|550000 |357478 | 0 | 0.0 | 397M|1099 | - |2053 | 12k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
229.19/229.28 c 223s|560000 |362319 | 0 | 0.0 | 404M|1099 | - |2053 | 13k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
235.10/235.13 c 228s|570000 |367439 | 0 | 0.0 | 411M|1099 | - |2053 | 13k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
241.29/241.39 c 235s|580000 |372127 | 0 | 0.0 | 417M|1099 | - |2053 | 13k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.51/247.53 c 241s|590000 |377026 | 0 | 0.0 | 424M|1099 | - |2053 | 13k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
254.11/254.19 c 247s|600000 |381436 | 0 | 0.0 | 431M|1099 | - |2053 | 13k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
260.60/260.67 c 254s|610000 |385972 | 0 | 0.0 | 437M|1099 | - |2053 | 13k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
267.70/267.70 c 260s|620000 |389984 | 0 | 0.0 | 444M|1099 | - |2053 | 14k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
274.40/274.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.40/274.46 c 267s|630000 |394265 | 0 | 0.0 | 451M|1099 | - |2053 | 14k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
281.90/281.93 c 274s|640000 |397878 | 0 | 0.0 | 457M|1099 | - |2053 | 14k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.80/288.84 c 281s|650000 |402153 | 0 | 0.0 | 463M|1099 | - |2053 | 13k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
296.70/296.76 c 289s|660000 |405289 | 0 | 0.0 | 470M|1099 | - |2053 | 15k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
304.20/304.25 c 296s|670000 |408894 | 0 | 0.0 | 476M|1099 | - |2053 | 14k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
311.70/311.70 c 304s|680000 |412514 | 0 | 0.0 | 482M|1099 | - |2053 | 14k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
319.70/319.73 c 311s|690000 |415574 | 0 | 0.0 | 488M|1099 | - |2053 | 15k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
327.80/327.82 c 319s|700000 |418458 | 0 | 0.0 | 494M|1099 | - |2053 | 15k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
335.80/335.83 c 327s|710000 |421373 | 0 | 0.0 | 499M|1099 | - |2053 | 15k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
344.00/344.00 c 335s|720000 |424066 | 0 | 0.0 | 505M|1099 | - |2053 | 15k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
352.40/352.43 c 344s|730000 |426692 | 0 | 0.0 | 511M|1099 | - |2053 | 14k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
361.50/361.57 c 353s|740000 |428383 | 0 | 0.0 | 516M|1099 | - |2053 | 15k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
370.40/370.44 c 361s|750000 |430370 | 0 | 0.0 | 521M|1099 | - |2053 | 15k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
379.70/379.72 c 370s|760000 |431758 | 0 | 0.0 | 526M|1099 | - |2053 | 16k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
390.30/390.32 c 381s|770000 |431918 | 0 | 0.0 | 530M|1099 | - |2053 | 17k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
403.30/403.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.30/403.31 c 394s|780000 |429759 | 0 | 0.0 | 530M|1099 | - |2053 | 20k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
406.91/406.96 c 397s|790000 |437797 | 0 | 0.0 | 532M|1099 | - |2053 |4715 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
410.10/410.13 c 400s|800000 |445592 | 0 | 0.0 | 538M|1099 | - |2053 |5101 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
413.30/413.39 c 403s|810000 |453200 | 0 | 0.0 | 544M|1099 | - |2053 |5787 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.70/416.79 c 407s|820000 |460598 | 0 | 0.0 | 551M|1099 | - |2053 |6094 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
420.30/420.37 c 410s|830000 |467794 | 0 | 0.0 | 558M|1099 | - |2053 |6712 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.11/424.14 c 414s|840000 |474710 | 0 | 0.0 | 564M|1099 | - |2053 |7372 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
428.20/428.26 c 418s|850000 |481197 | 0 | 0.0 | 571M|1099 | - |2053 |8065 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
432.60/432.69 c 422s|860000 |487324 | 0 | 0.0 | 577M|1099 | - |2053 |8695 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
437.71/437.74 c 427s|870000 |492763 | 0 | 0.0 | 584M|1099 | - |2053 |9214 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
443.60/443.65 c 433s|880000 |497143 | 0 | 0.0 | 591M|1099 | - |2053 | 10k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
451.01/451.08 c 440s|890000 |500148 | 0 | 0.0 | 597M|1099 | - |2053 | 12k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
458.81/458.88 c 448s|900000 |503135 | 0 | 0.0 | 600M|1099 | - |2053 |7317 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
462.10/462.12 c 451s|910000 |510933 | 0 | 0.0 | 606M|1099 | - |2053 |5771 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
465.31/465.39 c 454s|920000 |518533 | 0 | 0.0 | 613M|1099 | - |2053 |6201 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.80/468.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.80/468.81 c 457s|930000 |525838 | 0 | 0.0 | 619M|1099 | - |2053 |6585 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.60/472.66 c 461s|940000 |532664 | 0 | 0.0 | 626M|1099 | - |2053 |7261 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
476.70/476.76 c 465s|950000 |539125 | 0 | 0.0 | 633M|1099 | - |2053 |7735 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
481.20/481.29 c 469s|960000 |545012 | 0 | 0.0 | 640M|1099 | - |2053 |8427 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
486.11/486.19 c 474s|970000 |550374 | 0 | 0.0 | 647M|1099 | - |2053 |9139 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
491.71/491.74 c 480s|980000 |555057 | 0 | 0.0 | 655M|1099 | - |2053 | 10k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
498.40/498.49 c 486s|990000 |558568 | 0 | 0.0 | 661M|1099 | - |2053 | 11k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
506.31/506.35 c 494s| 1000k|561317 | 0 | 0.0 | 666M|1099 | - |2053 |8809 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
509.51/509.54 c 497s| 1010k|569194 | 0 | 0.0 | 671M|1099 | - |2053 |5760 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
512.61/512.68 c 500s| 1020k|576883 | 0 | 0.0 | 678M|1099 | - |2053 |5946 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
515.91/515.98 c 503s| 1030k|584287 | 0 | 0.0 | 684M|1099 | - |2053 |6479 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
519.60/519.66 c 507s| 1040k|591222 | 0 | 0.0 | 691M|1099 | - |2053 |7239 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
523.80/523.81 c 511s| 1050k|597637 | 0 | 0.0 | 698M|1099 | - |2053 |7932 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
528.30/528.32 c 515s| 1060k|603573 | 0 | 0.0 | 706M|1099 | - |2053 |8676 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
533.41/533.50 c 520s| 1070k|608656 | 0 | 0.0 | 713M|1099 | - |2053 |9953 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
539.40/539.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.40/539.46 c 526s| 1080k|612967 | 0 | 0.0 | 721M|1099 | - |2053 | 11k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
543.51/543.58 o 5
543.51/543.58 c * 530s| 1085k|614572 | 0 | 0.0 | 724M|1099 | - |2053 | 12k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
546.91/546.96 c 533s| 1090k|615603 | 0 | 0.0 | 727M|1099 | - |2053 | 12k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
554.80/554.90 c 541s| 1100k|618801 | 0 | 0.0 | 731M|1099 | - |2053 |8623 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
558.00/558.03 c 544s| 1110k|626729 | 0 | 0.0 | 737M|1099 | - |2053 |5844 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
561.10/561.17 c 547s| 1120k|634395 | 0 | 0.0 | 743M|1099 | - |2053 |6042 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
564.51/564.58 c 551s| 1130k|641692 | 0 | 0.0 | 750M|1099 | - |2053 |6568 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
568.00/568.07 c 554s| 1140k|648818 | 0 | 0.0 | 756M|1099 | - |2053 |6926 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
571.80/571.85 c 558s| 1150k|655598 | 0 | 0.0 | 763M|1099 | - |2053 |7184 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
576.01/576.05 c 562s| 1160k|661738 | 0 | 0.0 | 770M|1099 | - |2053 |7895 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
576.31/576.37 o 4
576.31/576.37 c * 562s| 1160k|661292 | 0 | 0.0 | 769M|1099 | - |2053 |7988 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
581.10/581.18 c 567s| 1170k|666121 | 0 | 0.0 | 776M|1099 | - |2053 |7125 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
586.41/586.46 c 572s| 1180k|670768 | 0 | 0.0 | 784M|1099 | - |2053 |8734 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
592.50/592.55 c 578s| 1190k|674563 | 0 | 0.0 | 791M|1099 | - |2053 | 10k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
600.81/600.85 c 586s| 1200k|676097 | 0 | 0.0 | 796M|1099 | - |2053 | 13k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
604.21/604.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.21/604.22 c 589s| 1210k|683953 | 0 | 0.0 | 801M|1099 | - |2053 |6264 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
607.41/607.44 c 592s| 1220k|691573 | 0 | 0.0 | 807M|1099 | - |2053 |6845 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
610.80/610.84 c 596s| 1230k|698939 | 0 | 0.0 | 814M|1099 | - |2053 |7497 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
614.31/614.30 c 599s| 1240k|706189 | 0 | 0.0 | 820M|1099 | - |2053 |8125 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
618.01/618.09 c 603s| 1250k|713078 | 0 | 0.0 | 827M|1099 | - |2053 |8619 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
622.01/622.05 c 606s| 1260k|719804 | 0 | 0.0 | 833M|1099 | - |2053 |9145 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
626.21/626.28 c 610s| 1270k|726194 | 0 | 0.0 | 839M|1099 | - |2053 |9759 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
630.90/630.92 c 615s| 1280k|732154 | 0 | 0.0 | 845M|1099 | - |2053 | 10k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
635.90/635.95 c 620s| 1290k|737687 | 0 | 0.0 | 852M|1099 | - |2053 | 11k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
642.61/642.64 c 626s| 1300k|741372 | 0 | 0.0 | 859M|1099 | - |2053 | 14k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
652.71/652.70 c 636s| 1310k|742456 | 0 | 0.0 | 865M|1099 | - |2053 | 19k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
656.31/656.30 c 640s| 1320k|750453 | 0 | 0.0 | 867M|1099 | - |2053 |6838 | 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
659.41/659.44 c 643s| 1330k|758263 | 0 | 0.0 | 873M|1099 | - |2053 |6893 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
662.71/662.70 c 646s| 1340k|765858 | 0 | 0.0 | 880M|1099 | - |2053 |7384 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
666.11/666.18 c 649s| 1350k|773138 | 0 | 0.0 | 886M|1099 | - |2053 |7952 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
669.71/669.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.71/669.73 c 653s| 1360k|780346 | 0 | 0.0 | 892M|1099 | - |2053 |8261 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.31/673.37 c 656s| 1370k|787411 | 0 | 0.0 | 899M|1099 | - |2053 |8752 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
677.21/677.21 c 660s| 1380k|794194 | 0 | 0.0 | 905M|1099 | - |2053 |9028 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
681.30/681.36 c 664s| 1390k|800647 | 0 | 0.0 | 911M|1099 | - |2053 |9624 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
685.71/685.74 c 668s| 1400k|806746 | 0 | 0.0 | 917M|1099 | - |2053 | 10k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
690.41/690.42 c 673s| 1410k|812476 | 0 | 0.0 | 923M|1099 | - |2053 | 11k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
696.11/696.13 c 678s| 1420k|817211 | 0 | 0.0 | 930M|1099 | - |2053 | 12k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
697.01/697.02 o 2
697.01/697.02 c * 679s| 1421k|802802 | 0 | 0.0 | 917M|1099 | - |2053 | 12k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
702.21/702.29 c 684s| 1430k|806803 | 0 | 0.0 | 922M|1099 | - |2053 | 11k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
707.71/707.76 c 690s| 1440k|811882 | 0 | 0.0 | 928M|1099 | - |2053 |9996 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
712.41/712.48 c 694s| 1450k|817731 | 0 | 0.0 | 933M|1099 | - |2053 |8698 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
716.51/716.56 c 698s| 1460k|824427 | 0 | 0.0 | 939M|1099 | - |2053 |8325 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.42/720.46 c 702s| 1470k|831339 | 0 | 0.0 | 946M|1099 | - |2053 |8768 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
724.31/724.33 c 706s| 1480k|838394 | 0 | 0.0 | 952M|1099 | - |2053 |9203 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
728.31/728.39 c 710s| 1490k|845163 | 0 | 0.0 | 959M|1099 | - |2053 |9943 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.61/732.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.61/732.66 c 714s| 1500k|851682 | 0 | 0.0 | 966M|1099 | - |2053 | 10k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.31/737.31 c 719s| 1510k|857723 | 0 | 0.0 | 972M|1099 | - |2053 | 11k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
743.11/743.18 c 724s| 1520k|862468 | 0 | 0.0 | 979M|1099 | - |2053 | 13k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.61/750.68 c 732s| 1530k|865751 | 0 | 0.0 | 986M|1099 | - |2053 | 16k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
758.01/758.05 c 739s| 1540k|870422 | 0 | 0.0 | 989M|1099 | - |2053 | 14k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.91/761.90 c 743s| 1550k|878292 | 0 | 0.0 | 995M|1099 | - |2053 | 11k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.62/765.62 c 746s| 1560k|885944 | 0 | 0.0 |1001M|1099 | - |2053 | 10k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.41/769.40 c 750s| 1570k|893398 | 0 | 0.0 |1008M|1099 | - |2053 | 11k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
773.41/773.46 c 754s| 1580k|900616 | 0 | 0.0 |1015M|1099 | - |2053 | 12k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
778.01/778.03 c 758s| 1590k|907380 | 0 | 0.0 |1022M|1099 | - |2053 | 13k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
783.21/783.20 c 763s| 1600k|913670 | 0 | 0.0 |1029M|1099 | - |2053 | 15k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
788.91/788.97 c 769s| 1610k|919584 | 0 | 0.0 |1036M|1099 | - |2053 | 16k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
795.81/795.82 c 776s| 1620k|924286 | 0 | 0.0 |1043M|1099 | - |2053 | 16k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.01/805.02 c 785s| 1630k|926795 | 0 | 0.0 |1049M|1099 | - |2053 | 18k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.61/811.60 c 791s| 1640k|932593 | 0 | 0.0 |1055M|1099 | - |2053 | 15k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
817.91/817.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.91/817.98 c 797s| 1650k|938264 | 0 | 0.0 |1062M|1099 | - |2053 | 16k| 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
824.51/824.55 c 804s| 1660k|943878 | 0 | 0.0 |1069M|1099 | - |2053 | 17k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.31/831.32 c 811s| 1670k|949455 | 0 | 0.0 |1075M|1099 | - |2053 | 17k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
838.31/838.32 c 817s| 1680k|954814 | 0 | 0.0 |1082M|1099 | - |2053 | 18k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
845.21/845.29 c 824s| 1690k|960390 | 0 | 0.0 |1089M|1099 | - |2053 | 19k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.91/852.91 c 832s| 1700k|965534 | 0 | 0.0 |1096M|1099 | - |2053 | 19k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.71/860.72 c 839s| 1710k|970845 | 0 | 0.0 |1103M|1099 | - |2053 | 20k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
869.91/869.94 c 849s| 1720k|975170 | 0 | 0.0 |1110M|1099 | - |2053 | 21k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
879.61/879.65 c 858s| 1730k|980094 | 0 | 0.0 |1118M|1099 | - |2053 | 23k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.02/892.04 c 870s| 1740k|983776 | 0 | 0.0 |1125M|1099 | - |2053 | 25k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.91/903.90 c 882s| 1750k|988327 | 0 | 0.0 |1132M|1099 | - |2053 | 26k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
917.01/917.09 c 895s| 1760k|992185 | 0 | 0.0 |1139M|1099 | - |2053 | 27k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.71/929.76 c 908s| 1770k|996516 | 0 | 0.0 |1146M|1099 | - |2053 | 27k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.61/942.67 c 920s| 1780k| 1000k| 0 | 0.0 |1153M|1099 | - |2053 | 27k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.11/957.16 c 935s| 1790k| 1004k| 0 | 0.0 |1159M|1099 | - |2053 | 28k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.00/970.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.00/970.07 c 948s| 1800k| 1008k| 0 | 0.0 |1165M|1099 | - |2053 | 27k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.21/983.22 c 961s| 1810k| 1012k| 0 | 0.0 |1172M|1099 | - |2053 | 27k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
998.61/998.69 c 976s| 1820k| 1016k| 0 | 0.0 |1179M|1099 | - |2053 | 28k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.51/1012.57 c 990s| 1830k| 1020k| 0 | 0.0 |1185M|1099 | - |2053 | 29k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.31/1026.34 c 1003s| 1840k| 1024k| 0 | 0.0 |1192M|1099 | - |2053 | 29k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.80/1041.89 c 1019s| 1850k| 1027k| 0 | 0.0 |1198M|1099 | - |2053 | 29k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1057.51/1057.56 c 1034s| 1860k| 1031k| 0 | 0.0 |1204M|1099 | - |2053 | 30k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.21/1072.25 c 1049s| 1870k| 1034k| 0 | 0.0 |1211M|1099 | - |2053 | 29k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.10/1087.18 c 1064s| 1880k| 1038k| 0 | 0.0 |1217M|1099 | - |2053 | 28k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1104.11/1104.17 c 1081s| 1890k| 1041k| 0 | 0.0 |1223M|1099 | - |2053 | 30k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.61/1119.69 c 1096s| 1900k| 1045k| 0 | 0.0 |1230M|1099 | - |2053 | 30k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.31/1135.39 c 1111s| 1910k| 1048k| 0 | 0.0 |1236M|1099 | - |2053 | 29k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.21/1151.24 c 1127s| 1920k| 1052k| 0 | 0.0 |1242M|1099 | - |2053 | 29k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1168.81/1168.88 c 1145s| 1930k| 1055k| 0 | 0.0 |1248M|1099 | - |2053 | 30k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.31/1186.37 c 1162s| 1940k| 1057k| 0 | 0.0 |1254M|1099 | - |2053 | 31k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.01/1203.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.01/1203.03 c 1179s| 1950k| 1061k| 0 | 0.0 |1260M|1099 | - |2053 | 30k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1219.51/1219.55 c 1195s| 1960k| 1064k| 0 | 0.0 |1266M|1099 | - |2053 | 29k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.11/1236.14 c 1211s| 1970k| 1068k| 0 | 0.0 |1273M|1099 | - |2053 | 30k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1256.21/1256.22 c 1231s| 1980k| 1069k| 0 | 0.0 |1278M|1099 | - |2053 | 32k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.72/1273.72 c 1249s| 1990k| 1073k| 0 | 0.0 |1284M|1099 | - |2053 | 31k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.52/1290.58 c 1265s| 2000k| 1076k| 0 | 0.0 |1290M|1099 | - |2053 | 30k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.22/1307.24 c 1282s| 2010k| 1079k| 0 | 0.0 |1296M|1099 | - |2053 | 29k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.52/1326.52 c 1301s| 2020k| 1081k| 0 | 0.0 |1302M|1099 | - |2053 | 31k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.51/1345.57 c 1320s| 2030k| 1084k| 0 | 0.0 |1307M|1099 | - |2053 | 31k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.71/1362.72 c 1337s| 2040k| 1087k| 0 | 0.0 |1313M|1099 | - |2053 | 30k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1379.62/1379.64 c 1354s| 2050k| 1090k| 0 | 0.0 |1319M|1099 | - |2053 | 29k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1396.61/1396.63 c 1371s| 2060k| 1093k| 0 | 0.0 |1326M|1099 | - |2053 | 30k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1417.72/1417.71 c 1392s| 2070k| 1094k| 0 | 0.0 |1331M|1099 | - |2053 | 32k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.52/1436.56 c 1410s| 2080k| 1097k| 0 | 0.0 |1336M|1099 | - |2053 | 31k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.61/1454.65 c 1428s| 2090k| 1099k| 0 | 0.0 |1342M|1099 | - |2053 | 30k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.01/1472.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.01/1472.06 c 1446s| 2100k| 1103k| 0 | 0.0 |1348M|1099 | - |2053 | 29k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.62/1489.64 c 1463s| 2110k| 1106k| 0 | 0.0 |1355M|1099 | - |2053 | 31k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.12/1512.15 c 1485s| 2120k| 1106k| 0 | 0.0 |1359M|1099 | - |2053 | 32k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.32/1531.36 c 1504s| 2130k| 1109k| 0 | 0.0 |1364M|1099 | - |2053 | 30k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.02/1550.02 c 1523s| 2140k| 1111k| 0 | 0.0 |1369M|1099 | - |2053 | 30k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1567.92/1567.92 c 1541s| 2150k| 1114k| 0 | 0.0 |1376M|1099 | - |2053 | 29k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1586.72/1586.71 c 1559s| 2160k| 1117k| 0 | 0.0 |1382M|1099 | - |2053 | 31k| 0 | 0 | 0 |1933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.52/1609.56 c 1582s| 2170k| 1117k| 0 | 0.0 |1385M|1099 | - |2053 | 32k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1629.92/1629.92 c 1602s| 2180k| 1119k| 0 | 0.0 |1390M|1099 | - |2053 | 31k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1648.72/1648.79 c 1621s| 2190k| 1122k| 0 | 0.0 |1396M|1099 | - |2053 | 30k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1667.12/1667.12 c 1639s| 2200k| 1124k| 0 | 0.0 |1403M|1099 | - |2053 | 31k| 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.53/1688.53 c 1660s| 2210k| 1126k| 0 | 0.0 |1406M|1099 | - |2053 | 32k| 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.12/1711.11 c 1683s| 2220k| 1127k| 0 | 0.0 |1411M|1099 | - |2053 | 32k| 0 | 0 | 0 |2026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.83/1730.89 c 1702s| 2230k| 1129k| 0 | 0.0 |1416M|1099 | - |2053 | 31k| 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.93/1749.93 c 1721s| 2240k| 1131k| 0 | 0.0 |1422M|1099 | - |2053 | 31k| 0 | 0 | 0 |2055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.52/1768.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.52/1768.57 c 1740s| 2250k| 1134k| 0 | 0.0 |1429M|1099 | - |2053 | 33k| 0 | 0 | 0 |2070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1794.63/1794.64 c 1766s| 2260k| 1133k| 0 | 0.0 |1430M|1099 | - |2053 | 33k| 0 | 0 | 0 |2089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1771.14
1800.03/1800.01 c Solving Nodes : 2262307
1800.03/1800.01 c Primal Bound : +2.00000000000000e+00 (30 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.02 s SATISFIABLE
1800.03/1800.02 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.02 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.02 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.02 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.02 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.03/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.02 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.02 v x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54
1800.03/1800.02 v x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29
1800.03/1800.02 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.02 v -x1
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Solving Time : 1771.14
1800.03/1800.02 c Original Problem :
1800.03/1800.02 c Problem name : HOME/instance-2694039-1277901881.wbo
1800.03/1800.02 c Variables : 2153 (1192 binary, 0 integer, 0 implicit integer, 961 continuous)
1800.03/1800.02 c Constraints : 3669 initial, 3669 maximal
1800.03/1800.02 c Presolved Problem :
1800.03/1800.02 c Problem name : t_HOME/instance-2694039-1277901881.wbo
1800.03/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.03/1800.02 c Constraints : 3512 initial, 33992 maximal
1800.03/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.02 c trivial : 0.00 50 0 0 0 0 0 0 0
1800.03/1800.02 c dualfix : 0.00 50 0 0 0 0 0 0 0
1800.03/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.02 c indicator : 0.00 0 0 0 0 0 50 0 0
1800.03/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c linear : 0.05 0 0 0 961 0 107 50 0
1800.03/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c root node : - 854 - - 1708 - - - -
1800.03/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c indicator : 911 0 2653146 0 829060 50 667634 0 0 0
1800.03/1800.02 c knapsack : 1 0 6761495 0 1858500 193548 18081937 0 0 0
1800.03/1800.02 c setppc : 15 0 6589336 0 1857894 97748 5488809 0 0 0
1800.03/1800.02 c linear : 911 0 6493006 0 1858489 149837 9212289 0 0 0
1800.03/1800.02 c logicor : 1674+ 0 5001949 0 1858509 228783 14436920 0 0 0
1800.03/1800.02 c bounddisjunction : 0+ 0 122302 0 0 170 1140 0 0 0
1800.03/1800.02 c countsols : 0 0 0 0 1858509 0 0 0 0 0
1800.03/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.02 c indicator : 4.46 0.00 2.19 0.00 2.27
1800.03/1800.02 c knapsack : 86.58 0.00 82.68 0.00 3.90
1800.03/1800.02 c setppc : 32.28 0.00 28.60 0.00 3.68
1800.03/1800.02 c linear : 117.72 0.00 116.39 0.00 1.33
1800.03/1800.02 c logicor : 655.68 0.00 574.03 0.00 81.65
1800.03/1800.02 c bounddisjunction : 0.13 0.00 0.13 0.00 0.00
1800.03/1800.02 c countsols : 0.34 0.00 0.00 0.00 0.34
1800.03/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.02 c vbounds : 1.47 2 0 0
1800.03/1800.02 c rootredcost : 1.71 0 0 0
1800.03/1800.02 c pseudoobj : 126.54 6784816 528 657160
1800.03/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.02 c propagation : 22.92 670614 670549 3275427 19.7 148086 10.6 -
1800.03/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c pseudo solution : 0.00 31 31 156 24.1 36 11.4 -
1800.03/1800.02 c applied globally : - - - 2093540 17.3 - - -
1800.03/1800.02 c applied locally : - - - 0 0.0 - - -
1800.03/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.02 c redcost : 0.00 0 0 0 0 0
1800.03/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.02 c intobj : 0.00 0 0 0 0 0
1800.03/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.02 c gomory : 0.00 0 0 0 0 0
1800.03/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.02 c cmir : 0.00 0 0 0 0 0
1800.03/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.02 c clique : 0.00 0 0 0 0 0
1800.03/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.02 c mcf : 0.00 0 0 0 0 0
1800.03/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.02 c Pricers : Time Calls Vars
1800.03/1800.02 c problem variables: 0.00 0 0
1800.03/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c inference : 26.12 1858479 0 0 0 0 3716958
1800.03/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c random : 0.00 0 0 0 0 0 0
1800.03/1800.02 c Primal Heuristics : Time Calls Found
1800.03/1800.02 c LP solutions : 0.00 - 0
1800.03/1800.02 c pseudo solutions : 0.10 - 30
1800.03/1800.02 c oneopt : 0.93 0 0
1800.03/1800.02 c trivial : 0.00 2 0
1800.03/1800.02 c simplerounding : 0.00 0 0
1800.03/1800.02 c zirounding : 0.00 0 0
1800.03/1800.02 c rounding : 0.00 0 0
1800.03/1800.02 c shifting : 0.00 0 0
1800.03/1800.02 c intshifting : 0.00 0 0
1800.03/1800.02 c twoopt : 0.00 0 0
1800.03/1800.02 c fixandinfer : 0.00 0 0
1800.03/1800.02 c feaspump : 0.00 0 0
1800.03/1800.02 c coefdiving : 0.00 0 0
1800.03/1800.02 c pscostdiving : 0.00 0 0
1800.03/1800.02 c fracdiving : 0.00 0 0
1800.03/1800.02 c veclendiving : 0.00 0 0
1800.03/1800.02 c intdiving : 0.00 0 0
1800.03/1800.02 c actconsdiving : 0.00 0 0
1800.03/1800.02 c objpscostdiving : 0.00 0 0
1800.03/1800.02 c rootsoldiving : 0.00 0 0
1800.03/1800.02 c linesearchdiving : 0.00 0 0
1800.03/1800.02 c guideddiving : 0.00 0 0
1800.03/1800.02 c octane : 0.00 0 0
1800.03/1800.02 c rens : 0.00 0 0
1800.03/1800.02 c rins : 0.00 0 0
1800.03/1800.02 c localbranching : 0.00 0 0
1800.03/1800.02 c mutation : 0.00 0 0
1800.03/1800.02 c crossover : 0.00 0 0
1800.03/1800.02 c dins : 0.00 0 0
1800.03/1800.02 c undercover : 0.00 0 0
1800.03/1800.02 c nlp : 0.60 0 0
1800.03/1800.02 c trysol : 0.58 1 0
1800.03/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.02 c (at root node) : - 0 0 0.00 -
1800.03/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.02 c B&B Tree :
1800.03/1800.02 c number of runs : 1
1800.03/1800.02 c nodes : 2262307
1800.03/1800.02 c nodes (total) : 2262307
1800.03/1800.02 c nodes left : 1134145
1800.03/1800.02 c max depth : 1099
1800.03/1800.02 c max depth (total): 1099
1800.03/1800.02 c backtracks : 368916 (16.3%)
1800.03/1800.02 c delayed cutoffs : 299277
1800.03/1800.02 c repropagations : 1164411 (14973326 domain reductions, 266897 cutoffs)
1800.03/1800.02 c avg switch length: 15.44
1800.03/1800.02 c switching time : 515.83
1800.03/1800.02 c Solution :
1800.03/1800.02 c Solutions found : 30 (30 improvements)
1800.03/1800.02 c First Solution : +5.12000000000000e+02 (in run 1, after 4159 nodes, 1.01 seconds, depth 486, found by <relaxation>)
1800.03/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1421408 nodes, 679.31 seconds, depth 723, found by <relaxation>)
1800.03/1800.02 c Dual Bound : +0.00000000000000e+00
1800.03/1800.02 c Gap : infinite
1800.03/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.02 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694039-1277901881/watcher-2694039-1277901881 -o /tmp/evaluation-result-2694039-1277901881/solver-2694039-1277901881 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694039-1277901881.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.46 2.36 4/178 12351 /proc/meminfo: memFree=31329996/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=8148 CPUtime=0 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 131485938 8343552 1466 4089446400 4194304 7136930 140734330430368 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12351/statm: 2037 1466 275 719 0 1316 0 [startup+0.0651689 s] /proc/loadavg: 2.07 2.46 2.36 4/178 12351 /proc/meminfo: memFree=31329996/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=21308 CPUtime=0.05 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 5499 0 0 0 5 0 0 0 25 0 1 0 131485938 21819392 4553 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 5327 4553 348 719 0 4606 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 21308 [startup+0.101192 s] /proc/loadavg: 2.07 2.46 2.36 4/178 12351 /proc/meminfo: memFree=31329996/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=22176 CPUtime=0.09 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 7520 0 0 0 8 1 0 0 25 0 1 0 131485938 22708224 4775 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 5544 4775 368 719 0 4823 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22176 [startup+0.301125 s] /proc/loadavg: 2.07 2.46 2.36 4/178 12351 /proc/meminfo: memFree=31329996/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=24308 CPUtime=0.29 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 9101 0 0 0 27 2 0 0 25 0 1 0 131485938 24891392 5328 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 6077 5328 399 719 0 5356 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24308 [startup+0.701043 s] /proc/loadavg: 2.07 2.46 2.36 4/178 12351 /proc/meminfo: memFree=31329996/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=26396 CPUtime=0.7 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 9646 0 0 0 66 4 0 0 25 0 1 0 131485938 27029504 5873 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 6599 5873 404 719 0 5878 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 26396 [startup+1.50089 s] /proc/loadavg: 2.07 2.46 2.36 3/179 12352 /proc/meminfo: memFree=31306676/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=27744 CPUtime=1.5 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 9993 0 0 0 142 8 0 0 25 0 1 0 131485938 28409856 6220 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 6936 6220 404 719 0 6215 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 27744 [startup+3.10063 s] /proc/loadavg: 2.07 2.46 2.36 3/179 12352 /proc/meminfo: memFree=31303204/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=33492 CPUtime=3.09 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 11456 0 0 0 296 13 0 0 25 0 1 0 131485938 34295808 7683 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 8373 7683 404 719 0 7652 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33492 [startup+6.30106 s] /proc/loadavg: 2.06 2.45 2.36 3/179 12352 /proc/meminfo: memFree=31291676/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=45124 CPUtime=6.29 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 14400 0 0 0 605 24 0 0 25 0 1 0 131485938 46206976 10627 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 11281 10627 404 719 0 10560 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45124 [startup+12.7009 s] /proc/loadavg: 2.06 2.44 2.35 3/179 12352 /proc/meminfo: memFree=31272060/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=63800 CPUtime=12.69 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 19058 0 0 0 1223 46 0 0 25 0 1 0 131485938 65331200 15285 4089446400 4194304 7136930 140734330430368 18446744073709551615 4979738 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 15950 15285 407 719 0 15229 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63800 [startup+25.5007 s] /proc/loadavg: 2.05 2.42 2.35 3/179 12353 /proc/meminfo: memFree=31234160/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=101456 CPUtime=25.49 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 28063 0 0 0 2460 89 0 0 25 0 1 0 131485938 103890944 24290 4089446400 4194304 7136930 140734330430368 18446744073709551615 4227301 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 25364 24290 407 719 0 24643 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 101456 [startup+51.1011 s] /proc/loadavg: 2.03 2.39 2.34 3/179 12354 /proc/meminfo: memFree=31182204/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=152808 CPUtime=51.09 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 40981 0 0 0 4942 167 0 0 25 0 1 0 131485938 156475392 37208 4089446400 4194304 7136930 140734330430368 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 38202 37208 407 719 0 37481 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 152808 [startup+102.306 s] /proc/loadavg: 2.08 2.34 2.32 3/179 12355 /proc/meminfo: memFree=31053820/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=287240 CPUtime=102.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 72773 0 0 0 9907 323 0 0 25 0 1 0 131485938 294133760 69000 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 71810 69000 407 719 0 71089 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 287240 [startup+162.3 s] /proc/loadavg: 2.03 2.28 2.30 3/179 12356 /proc/meminfo: memFree=30946628/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=396576 CPUtime=162.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 99426 0 0 0 15724 506 0 0 25 0 1 0 131485938 406093824 95653 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 99144 95653 407 719 0 98423 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 396576 [startup+222.301 s] /proc/loadavg: 2.01 2.22 2.28 3/179 12358 /proc/meminfo: memFree=30857160/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=483596 CPUtime=222.29 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 121422 0 0 0 21586 643 0 0 25 0 1 0 131485938 495202304 117649 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 120899 117649 407 719 0 120178 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 483596 [startup+282.301 s] /proc/loadavg: 2.08 2.20 2.26 3/179 12360 /proc/meminfo: memFree=30795484/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=544732 CPUtime=282.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 136646 0 0 0 27476 754 0 0 25 0 1 0 131485938 557805568 132873 4089446400 4194304 7136930 140734330430368 18446744073709551615 4923133 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 136183 132873 407 719 0 135462 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 544732 [startup+342.3 s] /proc/loadavg: 2.03 2.16 2.25 3/179 12362 /proc/meminfo: memFree=30743360/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=596000 CPUtime=342.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 149528 0 0 0 33370 860 0 0 25 0 1 0 131485938 610304000 145755 4089446400 4194304 7136930 140734330430368 18446744073709551615 4209075 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 149000 145755 407 719 0 148279 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 596000 [startup+402.301 s] /proc/loadavg: 2.01 2.13 2.23 3/179 12363 /proc/meminfo: memFree=30704376/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=631180 CPUtime=402.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 158325 0 0 0 39276 954 0 0 25 0 1 0 131485938 646328320 154552 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 157795 154552 407 719 0 157074 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 631180 [startup+462.3 s] /proc/loadavg: 2.00 2.10 2.21 3/179 12364 /proc/meminfo: memFree=30625976/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=717748 CPUtime=462.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 178086 0 0 0 45108 1122 0 0 25 0 1 0 131485938 734973952 174313 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 179437 174313 407 719 0 178716 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 717748 [startup+522.301 s] /proc/loadavg: 2.00 2.08 2.19 3/179 12366 /proc/meminfo: memFree=30539800/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=802804 CPUtime=522.3 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 199617 0 0 0 50935 1295 0 0 25 0 1 0 131485938 822071296 195844 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 200701 195844 407 719 0 199980 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 802804 [startup+582.301 s] /proc/loadavg: 2.00 2.06 2.18 3/179 12368 /proc/meminfo: memFree=30456948/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=884276 CPUtime=582.31 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 220315 0 0 0 56772 1459 0 0 25 0 1 0 131485938 905498624 216542 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 221069 216542 407 719 0 220348 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 884276 [startup+642.3 s] /proc/loadavg: 2.00 2.05 2.17 3/179 12370 /proc/meminfo: memFree=30371448/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=968112 CPUtime=642.31 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 241430 0 0 0 62609 1622 0 0 25 0 1 0 131485938 991346688 237657 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12351/statm: 242028 237657 407 719 0 241307 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 968112 [startup+702.301 s] ################ # More data... # ################ /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 324512 0 0 0 97958 2272 0 0 25 0 1 0 131485938 1345179648 320739 4089446400 4194304 7136930 140734330430368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 328413 320739 407 719 0 327692 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1313652 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.09 3/179 12417 /proc/meminfo: memFree=30452792/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1339748 CPUtime=1062.31 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 330959 0 0 0 103904 2327 0 0 25 0 1 0 131485938 1371901952 327186 4089446400 4194304 7136930 140734330430368 18446744073709551615 4431718 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 334937 327186 407 719 0 334216 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1339748 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12419 /proc/meminfo: memFree=30429196/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1362612 CPUtime=1122.31 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 336585 0 0 0 109853 2378 0 0 25 0 1 0 131485938 1395314688 332812 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 340653 332812 407 719 0 339932 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1362612 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12421 /proc/meminfo: memFree=30408700/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1381908 CPUtime=1182.31 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 341501 0 0 0 115801 2430 0 0 25 0 1 0 131485938 1415073792 337728 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 345477 337728 407 719 0 344756 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1381908 [startup+1242.3 s] /proc/loadavg: 2.05 2.01 2.08 3/179 12423 /proc/meminfo: memFree=30382620/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1405720 CPUtime=1242.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 347516 0 0 0 121752 2480 0 0 25 0 1 0 131485938 1439457280 343743 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 351430 343743 407 719 0 350709 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1405720 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.07 3/179 12424 /proc/meminfo: memFree=30361000/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1426584 CPUtime=1302.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 352708 0 0 0 127706 2526 0 0 25 0 1 0 131485938 1460822016 348935 4089446400 4194304 7136930 140734330430368 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 356646 348935 407 719 0 355925 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1426584 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 12425 /proc/meminfo: memFree=30339504/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1444560 CPUtime=1362.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 357209 0 0 0 133661 2571 0 0 25 0 1 0 131485938 1479229440 353436 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 361140 353436 407 719 0 360419 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1444560 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12427 /proc/meminfo: memFree=30321484/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1460988 CPUtime=1422.33 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 361297 0 0 0 139618 2615 0 0 25 0 1 0 131485938 1496051712 357524 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 365247 357524 407 719 0 364526 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1460988 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12429 /proc/meminfo: memFree=30298148/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1484208 CPUtime=1482.31 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 367146 0 0 0 145569 2662 0 0 25 0 1 0 131485938 1519828992 363373 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 371052 363373 407 719 0 370331 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1484208 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12431 /proc/meminfo: memFree=30286696/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1494944 CPUtime=1542.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 369880 0 0 0 151525 2707 0 0 25 0 1 0 131485938 1530822656 366107 4089446400 4194304 7136930 140734330430368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 373736 366107 407 719 0 373015 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1494944 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12432 /proc/meminfo: memFree=30268300/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1511936 CPUtime=1602.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 374125 0 0 0 157483 2749 0 0 25 0 1 0 131485938 1548222464 370352 4089446400 4194304 7136930 140734330430368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 377984 370352 407 719 0 377263 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1511936 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12433 /proc/meminfo: memFree=30251152/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1528744 CPUtime=1662.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 378392 0 0 0 163439 2793 0 0 25 0 1 0 131485938 1565433856 374619 4089446400 4194304 7136930 140734330430368 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 382186 374619 407 719 0 381465 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1528744 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12435 /proc/meminfo: memFree=30237352/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1542340 CPUtime=1722.32 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 381799 0 0 0 169398 2834 0 0 25 0 1 0 131485938 1579356160 378026 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 385585 378026 407 719 0 384864 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1542340 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.03 3/179 12437 /proc/meminfo: memFree=30220456/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1558128 CPUtime=1782.33 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 385739 0 0 0 175356 2877 0 0 25 0 1 0 131485938 1595523072 381966 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 389532 381966 407 719 0 388811 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1558128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.01 2.03 3/179 12437 /proc/meminfo: memFree=30219196/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1559656 CPUtime=1800.03 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 386064 0 0 0 177116 2887 0 0 25 0 1 0 131485938 1597087744 382291 4089446400 4194304 7136930 140734330430368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12351/statm: 389914 382291 407 719 0 389193 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1559656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12351 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.05 2.01 2.03 3/180 12438 /proc/meminfo: memFree=30219064/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1559752 CPUtime=1801.42 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 386089 0 0 0 177255 2887 0 0 19 0 1 0 131485938 1597186048 382316 4089446400 4194304 7136930 140734330430368 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12351/statm: 389938 382316 412 719 0 389217 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1559752 [startup+1801.81 s] /proc/loadavg: 2.05 2.01 2.03 3/180 12438 /proc/meminfo: memFree=30219064/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1559752 CPUtime=1801.83 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 386089 0 0 0 177296 2887 0 0 20 0 1 0 131485938 1597186048 382316 4089446400 4194304 7136930 140734330430368 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12351/statm: 389938 382316 412 719 0 389217 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1559752 [startup+1802 s] /proc/loadavg: 2.05 2.01 2.03 3/180 12438 /proc/meminfo: memFree=30219064/32951124 swapFree=67111528/67111528 [pid=12351] ppid=12349 vsize=1558728 CPUtime=1802.02 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 10617 0 -1 4202496 386089 0 0 0 177315 2887 0 0 21 0 1 0 131485938 1596137472 382060 4089446400 4194304 7136930 140734330430368 18446744073709551615 4212411 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12351/statm: 389682 382060 412 719 0 388961 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1558728 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.09 CPU user time (s): 1773.16 CPU system time (s): 28.9256 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1559752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.16 system time used= 28.9256 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 386089 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= 3895 runsolver used 2.66959 second user time and 5.55215 second system time The end
Begin job on node101 at 2010-06-30 14:44:41 IDJOB=2694039 IDBENCH=78895 IDSOLVER=1206 FILE ID=node101/2694039-1277901881 PBS_JOBID= 11197157 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288--soft-66-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-2694039-1277901881/watcher-2694039-1277901881 -o /tmp/evaluation-result-2694039-1277901881/solver-2694039-1277901881 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694039-1277901881.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83dbd2cd2ef615ae6bc4c3ab9b5ef9b9 RANDOM SEED=776389815 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: 31330524 kB Buffers: 188036 kB Cached: 739420 kB SwapCached: 0 kB Active: 963696 kB Inactive: 516516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31330524 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 552388 kB Mapped: 17112 kB Slab: 77364 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 701384 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= 74204 MiB End job on node101 at 2010-06-30 15:14:43