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.13 | 1802.09 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo |
| MD5SUM | b6831e02f19f517e205ea45f0a3f162b |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 159.195 |
| 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 | 1839 |
| 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 | 91769 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91768 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 745 |
| 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-2694031-1277901066.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.05/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.05/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.13 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.19 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (6 rounds):
0.09/0.19 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.19 c 1965 implications, 9 cliques
0.09/0.19 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.19 c 1770 constraints of type <indicator>
0.09/0.19 c 9 constraints of type <setppc>
0.09/0.19 c 1770 constraints of type <linear>
0.09/0.19 c 824 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.09/0.19 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.19 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3771 |4373 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 o 335
2.39/2.46 c * 2.4s| 8433 | 5386 | 0 | 0.0 | 16M|1926 | - |3771 |4690 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | 3.350000e+02 | Inf
2.79/2.87 c 2.8s| 10000 | 6941 | 0 | 0.0 | 17M|1926 | - |3771 |4672 | 0 | 0 | 0 | 366 | 0 | 0.000000e+00 | 3.350000e+02 | Inf
6.09/6.13 o 300
6.09/6.13 c * 5.9s| 19767 | 13212 | 0 | 0.0 | 27M|1926 | - |3771 |8541 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
6.09/6.13 o 291
6.09/6.13 c * 5.9s| 19768 | 12849 | 0 | 0.0 | 27M|1926 | - |3771 |8541 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.910000e+02 | Inf
6.19/6.20 o 254
6.19/6.20 c * 6.0s| 19920 | 12183 | 0 | 0.0 | 26M|1926 | - |3771 |8479 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
6.19/6.24 c 6.0s| 20000 | 12261 | 0 | 0.0 | 26M|1926 | - |3771 |8404 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
7.49/7.55 o 242
7.49/7.55 c * 7.3s| 22885 | 14881 | 0 | 0.0 | 28M|1926 | - |3771 |7346 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
7.70/7.71 o 182
7.70/7.71 c * 7.5s| 23225 | 14353 | 0 | 0.0 | 27M|1926 | - |3771 |7124 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
7.70/7.71 o 176
7.70/7.71 c * 7.5s| 23226 | 14315 | 0 | 0.0 | 27M|1926 | - |3771 |7124 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
7.79/7.80 o 160
7.79/7.80 c * 7.6s| 23407 | 14137 | 0 | 0.0 | 27M|1926 | - |3771 |6970 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
7.79/7.81 o 154
7.79/7.81 c * 7.6s| 23408 | 14006 | 0 | 0.0 | 27M|1926 | - |3771 |6970 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
7.79/7.85 o 135
7.79/7.85 c * 7.6s| 23506 | 13935 | 0 | 0.0 | 27M|1926 | - |3771 |6921 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
7.79/7.86 o 109
7.79/7.86 c * 7.6s| 23508 | 13488 | 0 | 0.0 | 27M|1926 | - |3771 |6921 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
8.18/8.21 o 107
8.18/8.21 c * 8.0s| 24196 | 14127 | 0 | 0.0 | 28M|1926 | - |3771 |6537 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
9.09/9.16 o 100
9.09/9.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.16 c * 8.9s| 26045 | 15700 | 0 | 0.0 | 31M|1926 | - |3771 |6324 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
9.09/9.16 o 98
9.09/9.16 c * 8.9s| 26046 | 15652 | 0 | 0.0 | 32M|1926 | - |3771 |6324 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
11.09/11.11 c 10.8s| 30000 | 19255 | 0 | 0.0 | 40M|1926 | - |3771 |6634 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
13.69/13.74 o 82
13.69/13.74 c *13.4s| 35995 | 23635 | 0 | 0.0 | 49M|1926 | - |3771 |6861 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
13.69/13.74 o 78
13.69/13.74 c *13.4s| 35996 | 22951 | 0 | 0.0 | 47M|1926 | - |3771 |6861 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
13.89/14.00 o 69
13.89/14.00 c *13.7s| 36550 | 22512 | 0 | 0.0 | 44M|1926 | - |3771 |6901 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
14.19/14.29 o 46
14.19/14.29 c *13.9s| 37051 | 20043 | 0 | 0.0 | 35M|1926 | - |3771 |6463 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
15.30/15.40 c 15.0s| 40000 | 22631 | 0 | 0.0 | 39M|1926 | - |3771 |6660 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
18.49/18.55 c 18.1s| 50000 | 31344 | 0 | 0.0 | 48M|1926 | - |3771 |7253 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
22.29/22.32 c 21.7s| 60000 | 39037 | 0 | 0.0 | 57M|1926 | - |3771 |8140 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
26.49/26.57 c 25.9s| 70000 | 46272 | 0 | 0.0 | 66M|1926 | - |3771 |9824 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
31.29/31.35 c 30.6s| 80000 | 53016 | 0 | 0.0 | 74M|1926 | - |3771 | 11k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
36.89/36.95 c 36.1s| 90000 | 59116 | 0 | 0.0 | 83M|1926 | - |3771 | 13k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
44.29/44.32 c 43.3s|100000 | 64015 | 0 | 0.0 | 93M|1926 | - |3771 | 17k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
52.39/52.41 c 51.3s|110000 | 69328 | 0 | 0.0 | 99M|1926 | - |3771 |6487 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
56.99/57.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.99/57.04 c 55.8s|120000 | 77876 | 0 | 0.0 | 114M|1926 | - |3771 |7567 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
62.60/62.66 c 61.3s|130000 | 85754 | 0 | 0.0 | 129M|1926 | - |3771 |7507 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
64.49/64.54 o 42
64.49/64.54 c *63.2s|133735 | 87881 | 0 | 0.0 | 129M|1926 | - |3771 |7740 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
67.89/67.94 c 66.5s|140000 | 93091 | 0 | 0.0 | 136M|1926 | - |3771 |6482 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
72.50/72.58 c 71.0s|150000 |101446 | 0 | 0.0 | 148M|1926 | - |3771 |6214 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
77.39/77.43 c 75.8s|160000 |109466 | 0 | 0.0 | 161M|1926 | - |3771 |6953 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
78.49/78.50 o 24
78.49/78.50 c *76.8s|161985 |106171 | 0 | 0.0 | 139M|1926 | - |3771 |7148 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
82.69/82.73 c 81.0s|170000 |112084 | 0 | 0.0 | 149M|1926 | - |3771 |6216 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
87.29/87.39 c 85.5s|180000 |119745 | 0 | 0.0 | 161M|1926 | - |3771 |8246 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
91.90/91.93 c 89.9s|190000 |127435 | 0 | 0.0 | 171M|1926 | - |3771 |7350 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
96.89/96.97 c 94.9s|200000 |134565 | 0 | 0.0 | 183M|1926 | - |3771 |7634 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
101.09/101.13 c 98.9s|210000 |142618 | 0 | 0.0 | 192M|1926 | - |3771 |8495 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
105.39/105.47 c 103s|220000 |150341 | 0 | 0.0 | 202M|1926 | - |3771 |7590 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
108.09/108.16 o 21
108.09/108.16 c * 106s|226741 |152295 | 0 | 0.0 | 198M|1926 | - |3771 |8593 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
109.90/109.96 c 108s|230000 |154386 | 0 | 0.0 | 202M|1926 | - |3771 |9586 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
113.79/113.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.79/113.86 c 111s|240000 |162779 | 0 | 0.0 | 211M|1926 | - |3771 |9038 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
118.29/118.36 c 116s|250000 |170323 | 0 | 0.0 | 220M|1926 | - |3771 |8978 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
118.80/118.89 o 19
118.80/118.89 c * 116s|251327 |170278 | 0 | 0.0 | 217M|1926 | - |3771 |9150 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
122.89/122.94 c 120s|260000 |176806 | 0 | 0.0 | 225M|1926 | - |3771 |9481 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
127.09/127.13 c 124s|270000 |184688 | 0 | 0.0 | 235M|1926 | - |3771 | 11k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
131.49/131.54 c 129s|280000 |192428 | 0 | 0.0 | 243M|1926 | - |3771 | 11k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
136.19/136.27 c 133s|290000 |199903 | 0 | 0.0 | 252M|1926 | - |3771 | 11k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
141.29/141.38 c 138s|300000 |206741 | 0 | 0.0 | 260M|1926 | - |3771 | 11k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
145.99/146.07 c 143s|310000 |214285 | 0 | 0.0 | 270M|1926 | - |3771 | 11k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
150.90/150.93 c 148s|320000 |221527 | 0 | 0.0 | 279M|1926 | - |3771 | 12k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
155.59/155.69 c 152s|330000 |228612 | 0 | 0.0 | 287M|1926 | - |3771 | 11k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
160.50/160.51 c 157s|340000 |235760 | 0 | 0.0 | 295M|1926 | - |3771 | 11k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
165.39/165.42 c 162s|350000 |242934 | 0 | 0.0 | 303M|1926 | - |3771 |5852 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
168.79/168.83 c 165s|360000 |251386 | 0 | 0.0 | 311M|1926 | - |3771 |5952 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
172.19/172.27 c 168s|370000 |259630 | 0 | 0.0 | 320M|1926 | - |3771 |6192 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
177.10/177.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.10/177.17 c 173s|380000 |265915 | 0 | 0.0 | 328M|1926 | - |3771 |8472 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
182.39/182.49 c 178s|390000 |272126 | 0 | 0.0 | 337M|1926 | - |3771 |9911 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
188.00/188.05 c 184s|400000 |278206 | 0 | 0.0 | 345M|1926 | - |3771 | 12k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
193.89/193.99 c 190s|410000 |284194 | 0 | 0.0 | 353M|1926 | - |3771 | 12k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
200.19/200.24 c 196s|420000 |290039 | 0 | 0.0 | 362M|1926 | - |3771 | 14k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
206.99/207.08 c 203s|430000 |295664 | 0 | 0.0 | 370M|1926 | - |3771 | 15k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
214.69/214.74 c 210s|440000 |300871 | 0 | 0.0 | 378M|1926 | - |3771 | 17k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
222.49/222.59 c 218s|450000 |306140 | 0 | 0.0 | 386M|1926 | - |3771 | 19k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
231.49/231.54 c 227s|460000 |311035 | 0 | 0.0 | 394M|1926 | - |3771 | 20k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
241.29/241.31 c 236s|470000 |315619 | 0 | 0.0 | 401M|1926 | - |3771 | 21k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
252.19/252.22 c 247s|480000 |319735 | 0 | 0.0 | 409M|1926 | - |3771 | 22k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
264.00/264.01 c 259s|490000 |323609 | 0 | 0.0 | 417M|1926 | - |3771 | 25k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
276.49/276.55 c 271s|500000 |327356 | 0 | 0.0 | 424M|1926 | - |3771 | 26k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
290.49/290.50 c 285s|510000 |330505 | 0 | 0.0 | 431M|1926 | - |3771 | 28k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
305.40/305.46 c 300s|520000 |333471 | 0 | 0.0 | 438M|1926 | - |3771 | 30k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
322.49/322.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.49/322.55 c 317s|530000 |335848 | 0 | 0.0 | 445M|1926 | - |3771 | 34k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
342.50/342.50 c 337s|540000 |337352 | 0 | 0.0 | 451M|1926 | - |3771 | 38k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
366.30/366.34 c 360s|550000 |337781 | 0 | 0.0 | 448M|1926 | - |3771 | 18k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
371.70/371.79 c 366s|560000 |345868 | 0 | 0.0 | 454M|1926 | - |3771 |7431 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
376.70/376.74 c 370s|570000 |353825 | 0 | 0.0 | 464M|1926 | - |3771 |7874 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
381.99/382.05 c 376s|580000 |361573 | 0 | 0.0 | 474M|1926 | - |3771 |8574 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
387.60/387.62 c 381s|590000 |369159 | 0 | 0.0 | 485M|1926 | - |3771 |9623 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
393.40/393.49 c 387s|600000 |376643 | 0 | 0.0 | 495M|1926 | - |3771 | 10k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
399.60/399.61 c 393s|610000 |383905 | 0 | 0.0 | 505M|1926 | - |3771 | 11k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
406.20/406.22 c 399s|620000 |390894 | 0 | 0.0 | 516M|1926 | - |3771 | 12k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
413.50/413.52 c 407s|630000 |397549 | 0 | 0.0 | 527M|1926 | - |3771 | 13k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
421.30/421.37 c 414s|640000 |403836 | 0 | 0.0 | 539M|1926 | - |3771 | 14k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
430.19/430.28 c 423s|650000 |409503 | 0 | 0.0 | 550M|1926 | - |3771 | 16k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
440.70/440.79 c 433s|660000 |414414 | 0 | 0.0 | 562M|1926 | - |3771 | 19k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
453.99/454.01 c 447s|670000 |417967 | 0 | 0.0 | 573M|1926 | - |3771 | 17k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
460.40/460.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.40/460.44 c 453s|680000 |425354 | 0 | 0.0 | 582M|1926 | - |3771 | 10k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
465.90/465.99 c 458s|690000 |433040 | 0 | 0.0 | 594M|1926 | - |3771 |9746 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
471.60/471.62 c 464s|700000 |440604 | 0 | 0.0 | 605M|1926 | - |3771 | 10k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
477.50/477.58 c 470s|710000 |447964 | 0 | 0.0 | 617M|1926 | - |3771 | 10k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
483.70/483.75 c 476s|720000 |455160 | 0 | 0.0 | 629M|1926 | - |3771 | 11k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
490.30/490.32 c 482s|730000 |462206 | 0 | 0.0 | 641M|1926 | - |3771 | 12k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
497.11/497.17 c 489s|740000 |469111 | 0 | 0.0 | 655M|1926 | - |3771 | 13k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
504.30/504.38 c 496s|750000 |476012 | 0 | 0.0 | 675M|1926 | - |3771 | 13k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
511.70/511.72 c 503s|760000 |482662 | 0 | 0.0 | 694M|1926 | - |3771 | 13k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
519.00/519.07 c 510s|770000 |489542 | 0 | 0.0 | 719M|1926 | - |3771 | 12k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
526.20/526.26 c 517s|780000 |496465 | 0 | 0.0 | 745M|1926 | - |3771 | 12k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
533.60/533.63 c 525s|790000 |503229 | 0 | 0.0 | 772M|1926 | - |3771 | 12k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
540.90/540.91 c 532s|800000 |510067 | 0 | 0.0 | 800M|1926 | - |3771 | 12k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
548.00/548.04 c 539s|810000 |516936 | 0 | 0.0 | 826M|1926 | - |3771 | 12k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
554.80/554.81 c 545s|820000 |524090 | 0 | 0.0 | 852M|1926 | - |3771 | 12k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
561.70/561.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.70/561.70 c 552s|830000 |531127 | 0 | 0.0 | 878M|1926 | - |3771 | 13k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
568.80/568.82 c 559s|840000 |538097 | 0 | 0.0 | 904M|1926 | - |3771 | 13k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
575.71/575.76 c 566s|850000 |545119 | 0 | 0.0 | 930M|1926 | - |3771 | 13k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
583.10/583.18 c 573s|860000 |551949 | 0 | 0.0 | 958M|1926 | - |3771 | 14k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
591.00/591.00 c 581s|870000 |558554 | 0 | 0.0 | 987M|1926 | - |3771 | 15k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
599.30/599.35 c 589s|880000 |564894 | 0 | 0.0 |1014M|1926 | - |3771 | 16k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
608.20/608.29 c 598s|890000 |571016 | 0 | 0.0 |1043M|1926 | - |3771 | 18k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
618.50/618.53 c 608s|900000 |576574 | 0 | 0.0 |1074M|1926 | - |3771 | 20k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
629.50/629.58 c 619s|910000 |581657 | 0 | 0.0 |1097M|1926 | - |3771 | 21k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
643.00/643.07 c 632s|920000 |585526 | 0 | 0.0 |1117M|1926 | - |3771 | 24k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
653.60/653.68 c 643s|930000 |591383 | 0 | 0.0 |1128M|1926 | - |3771 | 17k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
659.71/659.70 c 649s|940000 |599213 | 0 | 0.0 |1142M|1926 | - |3771 | 15k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
665.70/665.79 c 655s|950000 |606873 | 0 | 0.0 |1156M|1926 | - |3771 | 16k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
672.30/672.32 c 661s|960000 |614152 | 0 | 0.0 |1171M|1926 | - |3771 | 17k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
679.11/679.19 c 668s|970000 |621291 | 0 | 0.0 |1185M|1926 | - |3771 | 18k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
686.60/686.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.60/686.68 c 675s|980000 |628113 | 0 | 0.0 |1201M|1926 | - |3771 | 19k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
694.80/694.82 c 683s|990000 |634567 | 0 | 0.0 |1216M|1926 | - |3771 | 20k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
703.60/703.67 c 692s| 1000k|640561 | 0 | 0.0 |1232M|1926 | - |3771 | 22k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
714.20/714.30 c 702s| 1010k|645644 | 0 | 0.0 |1248M|1926 | - |3771 | 24k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
725.11/725.12 o 11
725.11/725.12 c * 713s| 1017k|606519 | 0 | 0.0 |1093M|1926 | - |3771 | 26k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
728.01/728.07 c 716s| 1020k|607118 | 0 | 0.0 |1095M|1926 | - |3771 | 24k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
734.31/734.31 c 722s| 1030k|615158 | 0 | 0.0 |1109M|1926 | - |3771 | 18k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
740.31/740.33 c 728s| 1040k|622928 | 0 | 0.0 |1125M|1926 | - |3771 | 19k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
747.01/747.05 c 734s| 1050k|630305 | 0 | 0.0 |1141M|1926 | - |3771 | 19k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
754.11/754.15 c 741s| 1060k|637410 | 0 | 0.0 |1158M|1926 | - |3771 | 20k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
762.01/762.08 c 749s| 1070k|644094 | 0 | 0.0 |1175M|1926 | - |3771 | 21k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
770.61/770.66 c 758s| 1080k|650367 | 0 | 0.0 |1190M|1926 | - |3771 | 23k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
780.11/780.15 c 767s| 1090k|656083 | 0 | 0.0 |1204M|1926 | - |3771 | 23k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
782.71/782.70 o 6
782.71/782.70 c * 770s| 1092k|650046 | 0 | 0.0 |1182M|1926 | - |3771 | 23k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
791.40/791.48 c 778s| 1100k|653371 | 0 | 0.0 |1192M|1926 | - |3771 | 25k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
805.71/805.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.71/805.70 c 792s| 1110k|656410 | 0 | 0.0 |1202M|1926 | - |3771 | 22k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
812.00/812.04 c 798s| 1120k|664341 | 0 | 0.0 |1219M|1926 | - |3771 | 20k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
818.61/818.67 c 805s| 1130k|671981 | 0 | 0.0 |1236M|1926 | - |3771 | 20k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
826.31/826.33 c 812s| 1140k|679378 | 0 | 0.0 |1255M|1926 | - |3771 | 21k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
834.30/834.35 c 820s| 1150k|686438 | 0 | 0.0 |1275M|1926 | - |3771 | 22k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
843.11/843.14 c 828s| 1160k|693025 | 0 | 0.0 |1289M|1926 | - |3771 | 20k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
851.42/851.43 c 836s| 1170k|699376 | 0 | 0.0 |1298M|1926 | - |3771 | 23k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
862.71/862.72 c 847s| 1180k|704471 | 0 | 0.0 |1308M|1926 | - |3771 | 27k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
877.60/877.65 c 862s| 1190k|707859 | 0 | 0.0 |1316M|1926 | - |3771 | 32k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
887.71/887.71 c 871s| 1200k|715007 | 0 | 0.0 |1328M|1926 | - |3771 | 21k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
895.50/895.57 c 879s| 1210k|722821 | 0 | 0.0 |1346M|1926 | - |3771 | 21k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
903.81/903.81 c 887s| 1220k|730324 | 0 | 0.0 |1363M|1926 | - |3771 | 22k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
912.31/912.35 c 895s| 1230k|737505 | 0 | 0.0 |1375M|1926 | - |3771 | 18k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
919.01/919.03 c 901s| 1240k|744367 | 0 | 0.0 |1384M|1926 | - |3771 | 19k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
926.11/926.15 c 908s| 1250k|751017 | 0 | 0.0 |1392M|1926 | - |3771 | 19k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
933.31/933.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.31/933.32 c 915s| 1260k|757467 | 0 | 0.0 |1400M|1926 | - |3771 | 20k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
941.41/941.42 c 922s| 1270k|763340 | 0 | 0.0 |1409M|1926 | - |3771 | 20k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
950.61/950.65 c 931s| 1280k|768314 | 0 | 0.0 |1416M|1926 | - |3771 | 21k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
961.91/961.90 c 942s| 1290k|771753 | 0 | 0.0 |1423M|1926 | - |3771 | 22k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
969.41/969.47 c 949s| 1300k|778511 | 0 | 0.0 |1429M|1926 | - |3771 | 17k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
975.21/975.22 c 955s| 1310k|786357 | 0 | 0.0 |1437M|1926 | - |3771 | 17k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
981.12/981.14 c 960s| 1320k|793965 | 0 | 0.0 |1446M|1926 | - |3771 | 18k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
987.11/987.13 c 966s| 1330k|801404 | 0 | 0.0 |1454M|1926 | - |3771 | 18k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
993.41/993.48 c 972s| 1340k|808531 | 0 | 0.0 |1462M|1926 | - |3771 | 19k| 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1000.21/1000.21 c 978s| 1350k|815329 | 0 | 0.0 |1471M|1926 | - |3771 | 20k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1007.41/1007.49 c 985s| 1360k|821736 | 0 | 0.0 |1479M|1926 | - |3771 | 20k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1015.41/1015.45 c 993s| 1370k|827542 | 0 | 0.0 |1488M|1926 | - |3771 | 21k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1025.41/1025.41 c 1002s| 1380k|832018 | 0 | 0.0 |1495M|1926 | - |3771 | 22k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1035.01/1035.03 c 1011s| 1390k|837133 | 0 | 0.0 |1500M|1926 | - |3771 | 18k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1040.32/1040.37 c 1016s| 1400k|844964 | 0 | 0.0 |1508M|1926 | - |3771 | 18k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1045.81/1045.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.81/1045.88 c 1022s| 1410k|852616 | 0 | 0.0 |1517M|1926 | - |3771 | 19k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1051.71/1051.73 c 1027s| 1420k|860003 | 0 | 0.0 |1525M|1926 | - |3771 | 20k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1058.11/1058.17 c 1033s| 1430k|867054 | 0 | 0.0 |1533M|1926 | - |3771 | 20k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1065.02/1065.09 c 1040s| 1440k|873658 | 0 | 0.0 |1541M|1926 | - |3771 | 21k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1072.81/1072.85 c 1047s| 1450k|879769 | 0 | 0.0 |1549M|1926 | - |3771 | 22k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1082.71/1082.70 c 1057s| 1460k|884685 | 0 | 0.0 |1557M|1926 | - |3771 | 24k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1096.01/1096.00 c 1070s| 1470k|887989 | 0 | 0.0 |1562M|1926 | - |3771 | 21k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1102.12/1102.20 c 1075s| 1480k|895636 | 0 | 0.0 |1570M|1926 | - |3771 | 18k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1108.61/1108.61 c 1081s| 1490k|902941 | 0 | 0.0 |1578M|1926 | - |3771 | 19k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1115.12/1115.19 c 1088s| 1500k|910022 | 0 | 0.0 |1587M|1926 | - |3771 | 20k| 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1122.51/1122.57 c 1095s| 1510k|916660 | 0 | 0.0 |1595M|1926 | - |3771 | 21k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1130.82/1130.82 c 1103s| 1520k|922785 | 0 | 0.0 |1603M|1926 | - |3771 | 22k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1140.02/1140.06 c 1111s| 1530k|928333 | 0 | 0.0 |1612M|1926 | - |3771 | 23k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1151.01/1151.00 c 1122s| 1540k|932867 | 0 | 0.0 |1620M|1926 | - |3771 | 25k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1162.81/1162.86 c 1134s| 1550k|937461 | 0 | 0.0 |1624M|1926 | - |3771 | 18k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1169.02/1169.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.02/1169.01 c 1139s| 1560k|945064 | 0 | 0.0 |1633M|1926 | - |3771 | 19k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1175.71/1175.75 c 1146s| 1570k|952270 | 0 | 0.0 |1641M|1926 | - |3771 | 20k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1183.41/1183.49 c 1153s| 1580k|958940 | 0 | 0.0 |1649M|1926 | - |3771 | 21k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1192.32/1192.39 c 1162s| 1590k|964941 | 0 | 0.0 |1658M|1926 | - |3771 | 22k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1202.32/1202.37 c 1171s| 1600k|970387 | 0 | 0.0 |1666M|1926 | - |3771 | 22k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1212.12/1212.17 c 1181s| 1610k|975706 | 0 | 0.0 |1673M|1926 | - |3771 | 21k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1220.82/1220.81 c 1189s| 1620k|981626 | 0 | 0.0 |1681M|1926 | - |3771 | 20k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1228.72/1228.72 c 1197s| 1630k|988118 | 0 | 0.0 |1688M|1926 | - |3771 | 20k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1236.21/1236.24 c 1204s| 1640k|994773 | 0 | 0.0 |1696M|1926 | - |3771 | 21k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1244.22/1244.21 c 1211s| 1650k| 1001k| 0 | 0.0 |1705M|1926 | - |3771 | 21k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1252.93/1252.94 c 1220s| 1660k| 1007k| 0 | 0.0 |1713M|1926 | - |3771 | 23k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1263.82/1263.86 c 1230s| 1670k| 1011k| 0 | 0.0 |1721M|1926 | - |3771 | 25k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1276.62/1276.60 c 1243s| 1680k| 1016k| 0 | 0.0 |1725M|1926 | - |3771 | 19k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1283.32/1283.30 c 1249s| 1690k| 1023k| 0 | 0.0 |1734M|1926 | - |3771 | 19k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1290.32/1290.31 c 1256s| 1700k| 1030k| 0 | 0.0 |1743M|1926 | - |3771 | 20k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1298.12/1298.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.12/1298.17 c 1263s| 1710k| 1037k| 0 | 0.0 |1752M|1926 | - |3771 | 21k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1307.32/1307.34 c 1272s| 1720k| 1043k| 0 | 0.0 |1761M|1926 | - |3771 | 22k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1318.62/1318.66 c 1283s| 1730k| 1047k| 0 | 0.0 |1769M|1926 | - |3771 | 22k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1329.93/1329.99 c 1294s| 1740k| 1052k| 0 | 0.0 |1776M|1926 | - |3771 | 20k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1338.73/1338.75 c 1302s| 1750k| 1059k| 0 | 0.0 |1784M|1926 | - |3771 | 19k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1347.02/1347.01 c 1310s| 1760k| 1066k| 0 | 0.0 |1792M|1926 | - |3771 | 20k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1356.12/1356.18 c 1319s| 1770k| 1072k| 0 | 0.0 |1801M|1926 | - |3771 | 21k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1367.12/1367.13 c 1329s| 1780k| 1077k| 0 | 0.0 |1809M|1926 | - |3771 | 22k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1381.12/1381.17 c 1343s| 1790k| 1081k| 0 | 0.0 |1816M|1926 | - |3771 | 25k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1391.62/1391.61 c 1353s| 1800k| 1087k| 0 | 0.0 |1821M|1926 | - |3771 | 19k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1398.73/1398.72 c 1360s| 1810k| 1094k| 0 | 0.0 |1829M|1926 | - |3771 | 20k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1406.72/1406.75 c 1368s| 1820k| 1101k| 0 | 0.0 |1837M|1926 | - |3771 | 20k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1415.42/1415.41 c 1376s| 1830k| 1107k| 0 | 0.0 |1844M|1926 | - |3771 | 21k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1424.92/1424.90 c 1385s| 1840k| 1113k| 0 | 0.0 |1852M|1926 | - |3771 | 21k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1439.12/1439.19 c 1399s| 1850k| 1116k| 0 | 0.0 |1859M|1926 | - |3771 | 25k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1448.63/1448.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.63/1448.64 c 1408s| 1860k| 1123k| 0 | 0.0 |1865M|1926 | - |3771 | 19k| 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1456.43/1456.44 c 1415s| 1870k| 1130k| 0 | 0.0 |1873M|1926 | - |3771 | 20k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1465.72/1465.76 c 1424s| 1880k| 1136k| 0 | 0.0 |1881M|1926 | - |3771 | 21k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1477.32/1477.37 c 1436s| 1890k| 1141k| 0 | 0.0 |1890M|1926 | - |3771 | 23k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1492.42/1492.44 c 1450s| 1900k| 1144k| 0 | 0.0 |1897M|1926 | - |3771 | 26k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1500.12/1500.15 c 1458s| 1910k| 1150k| 0 | 0.0 |1897M|1926 | - |3771 |4123 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1504.32/1504.30 c 1461s| 1920k| 1158k| 0 | 0.0 |1905M|1926 | - |3771 |4962 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1510.53/1510.58 c 1467s| 1930k| 1163k| 0 | 0.0 |1913M|1926 | - |3771 |7371 | 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1514.92/1514.96 c 1471s| 1940k| 1171k| 0 | 0.0 |1920M|1926 | - |3771 |4539 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1519.92/1519.92 c 1476s| 1950k| 1178k| 0 | 0.0 |1928M|1926 | - |3771 |4997 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1523.33/1523.33 c 1479s| 1960k| 1186k| 0 | 0.0 |1936M|1926 | - |3771 |4579 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1527.42/1527.40 c 1483s| 1970k| 1193k| 0 | 0.0 |1944M|1926 | - |3771 |5169 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1532.33/1532.33 c 1487s| 1980k| 1200k| 0 | 0.0 |1952M|1926 | - |3771 |5895 | 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1535.92/1535.96 c 1490s| 1990k| 1208k| 0 | 0.0 |1961M|1926 | - |3771 |5287 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1540.43/1540.43 c 1495s| 2000k| 1215k| 0 | 0.0 |1968M|1926 | - |3771 |4456 | 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1544.43/1544.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.43/1544.49 c 1498s| 2010k| 1222k| 0 | 0.0 |1977M|1926 | - |3771 |6651 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1548.62/1548.60 c 1502s| 2020k| 1229k| 0 | 0.0 |1984M|1926 | - |3771 |5259 | 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1552.93/1552.91 c 1506s| 2030k| 1236k| 0 | 0.0 |1992M|1926 | - |3771 |4698 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1557.43/1557.40 c 1510s| 2040k| 1243k| 0 | 0.0 |1999M|1926 | - |3771 |5224 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1561.02/1561.09 c 1513s| 2050k| 1251k| 0 | 0.0 |2007M|1926 | - |3771 |5085 | 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1565.33/1565.32 c 1517s| 2060k| 1259k| 0 | 0.0 |2015M|1926 | - |3771 |5953 | 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1569.82/1569.85 c 1522s| 2070k| 1266k| 0 | 0.0 |2022M|1926 | - |3771 |4719 | 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1573.62/1573.68 c 1525s| 2080k| 1273k| 0 | 0.0 |2030M|1926 | - |3771 |5024 | 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1577.72/1577.71 c 1529s| 2090k| 1281k| 0 | 0.0 |2038M|1926 | - |3771 |5335 | 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1581.83/1581.89 c 1533s| 2100k| 1288k| 0 | 0.0 |2046M|1926 | - |3771 |5347 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1586.63/1586.60 c 1537s| 2110k| 1295k| 0 | 0.0 |2054M|1926 | - |3771 |5975 | 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1591.13/1591.12 c 1541s| 2120k| 1302k| 0 | 0.0 |2061M|1926 | - |3771 |4853 | 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1595.53/1595.55 c 1545s| 2130k| 1309k| 0 | 0.0 |2068M|1926 | - |3771 |5168 | 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1599.83/1599.87 c 1549s| 2140k| 1316k| 0 | 0.0 |2075M|1926 | - |3771 |5179 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1604.43/1604.48 c 1553s| 2150k| 1323k| 0 | 0.0 |2083M|1926 | - |3771 |4731 | 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1609.53/1609.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.53/1609.53 c 1558s| 2160k| 1329k| 0 | 0.0 |2089M|1926 | - |3771 |6581 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1615.23/1615.27 c 1563s| 2170k| 1334k| 0 | 0.0 |2096M|1926 | - |3771 |6597 | 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1618.63/1618.62 c 1567s| 2180k| 1342k| 0 | 0.0 |2102M|1926 | - |3771 |3960 | 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1623.32/1623.36 c 1571s| 2190k| 1349k| 0 | 0.0 |2109M|1926 | - |3771 |6611 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1630.83/1630.86 c 1578s| 2200k| 1353k| 0 | 0.0 |2117M|1926 | - |3771 | 10k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1641.03/1641.05 c 1588s| 2210k| 1356k| 0 | 0.0 |2123M|1926 | - |3771 | 11k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1651.43/1651.46 c 1598s| 2220k| 1359k| 0 | 0.0 |2129M|1926 | - |3771 | 13k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1662.53/1662.59 c 1609s| 2230k| 1362k| 0 | 0.0 |2136M|1926 | - |3771 | 15k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1674.93/1674.93 c 1621s| 2240k| 1365k| 0 | 0.0 |2142M|1926 | - |3771 | 16k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1687.63/1687.64 c 1633s| 2250k| 1368k| 0 | 0.0 |2148M|1926 | - |3771 | 16k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1701.52/1701.50 c 1646s| 2260k| 1371k| 0 | 0.0 |2155M|1926 | - |3771 | 19k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1716.53/1716.58 c 1661s| 2270k| 1373k| 0 | 0.0 |2160M|1926 | - |3771 | 20k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1731.34/1731.30 c 1675s| 2280k| 1376k| 0 | 0.0 |2167M|1926 | - |3771 | 21k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1748.43/1748.42 c 1692s| 2290k| 1378k| 0 | 0.0 |2173M|1926 | - |3771 | 23k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1766.13/1766.14 c 1709s| 2300k| 1380k| 0 | 0.0 |2178M|1926 | - |3771 | 23k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1783.23/1783.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.23/1783.23 c 1726s| 2310k| 1383k| 0 | 0.0 |2185M|1926 | - |3771 | 26k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1742.48
1800.03/1800.00 c Solving Nodes : 2318488
1800.03/1800.00 c Primal Bound : +6.00000000000000e+00 (24 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 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.05 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.05 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.05 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.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.05 v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.03/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.03/1800.05 v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.03/1800.05 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
1800.03/1800.05 v x2 -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1742.48
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2694031-1277901066.wbo
1800.03/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.03/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2694031-1277901066.wbo
1800.03/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.03/1800.05 c Constraints : 4373 initial, 43988 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.05 0 0 0 1861 0 105 91 0
1800.03/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1684 - - 3368 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 1770 0 5442585 0 1657004 146 7710717 0 0 0
1800.03/1800.05 c setppc : 9 0 6975350 0 1999522 25610 2999072 0 0 0
1800.03/1800.05 c linear : 1770 0 6954686 0 2001684 326716 30927717 0 0 0
1800.03/1800.05 c logicor : 824+ 0 4087280 0 2001693 156977 5871511 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 398551 0 0 38 1259 0 0 0
1800.03/1800.05 c countsols : 0 0 0 0 2001692 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c indicator : 32.91 0.00 16.87 0.00 16.04
1800.03/1800.05 c setppc : 20.24 0.00 17.55 0.00 2.69
1800.03/1800.05 c linear : 272.61 0.00 270.96 0.00 1.65
1800.03/1800.05 c logicor : 458.30 0.00 405.66 0.00 52.64
1800.03/1800.05 c bounddisjunction : 2.09 0.00 2.09 0.00 0.00
1800.03/1800.05 c countsols : 0.16 0.00 0.00 0.00 0.16
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.90 2 0 0
1800.03/1800.05 c rootredcost : 0.80 0 0 0
1800.03/1800.05 c pseudoobj : 262.77 6983049 2664 7668722
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 34.01 512005 511968 2671978 21.8 264823 9.8 -
1800.03/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.01 82 82 259 15.2 131 9.3 -
1800.03/1800.05 c applied globally : - - - 1864020 18.0 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.05 c redcost : 0.00 0 0 0 0 0
1800.03/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.00 0 0 0 0 0
1800.03/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.05 c cmir : 0.00 0 0 0 0 0
1800.03/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.05 c clique : 0.00 0 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 0 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 45.47 2001668 0 0 0 0 4003336
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.00 - 0
1800.03/1800.05 c pseudo solutions : 0.20 - 24
1800.03/1800.05 c oneopt : 0.52 0 0
1800.03/1800.05 c trivial : 0.02 2 0
1800.03/1800.05 c simplerounding : 0.00 0 0
1800.03/1800.05 c zirounding : 0.00 0 0
1800.03/1800.05 c rounding : 0.00 0 0
1800.03/1800.05 c shifting : 0.00 0 0
1800.03/1800.05 c intshifting : 0.00 0 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c feaspump : 0.00 0 0
1800.03/1800.05 c coefdiving : 0.00 0 0
1800.03/1800.05 c pscostdiving : 0.00 0 0
1800.03/1800.05 c fracdiving : 0.00 0 0
1800.03/1800.05 c veclendiving : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c objpscostdiving : 0.00 0 0
1800.03/1800.05 c rootsoldiving : 0.00 0 0
1800.03/1800.05 c linesearchdiving : 0.00 0 0
1800.03/1800.05 c guideddiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.00 0 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c crossover : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.18 0 0
1800.03/1800.05 c trysol : 0.27 1 0
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.05 c (at root node) : - 0 0 0.00 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 2318488
1800.03/1800.05 c nodes (total) : 2318488
1800.03/1800.05 c nodes left : 1383835
1800.03/1800.05 c max depth : 1926
1800.03/1800.05 c max depth (total): 1926
1800.03/1800.05 c backtracks : 286853 (12.4%)
1800.03/1800.05 c delayed cutoffs : 227699
1800.03/1800.05 c repropagations : 1270679 (14368928 domain reductions, 195437 cutoffs)
1800.03/1800.05 c avg switch length: 25.33
1800.03/1800.05 c switching time : 518.80
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 24 (24 improvements)
1800.03/1800.05 c First Solution : +3.35000000000000e+02 (in run 1, after 8433 nodes, 2.37 seconds, depth 1326, found by <relaxation>)
1800.03/1800.05 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1092584 nodes, 769.52 seconds, depth 481, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 0
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694031-1277901066/watcher-2694031-1277901066 -o /tmp/evaluation-result-2694031-1277901066/solver-2694031-1277901066 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694031-1277901066.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.00 2.00 2.00 4/178 15458 /proc/meminfo: memFree=29621440/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=8260 CPUtime=0 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 1541 0 0 0 0 0 0 0 25 0 1 0 131401106 8458240 1464 4089446400 4194304 7136930 140736495366448 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15458/statm: 2065 1465 275 719 0 1344 0 [startup+0.0575789 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15458 /proc/meminfo: memFree=29621440/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=28296 CPUtime=0.05 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 6679 0 0 0 5 0 0 0 25 0 1 0 131401106 28975104 6248 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15458/statm: 7074 6248 342 719 0 6353 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 28296 [startup+0.10057 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15458 /proc/meminfo: memFree=29621440/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=28296 CPUtime=0.09 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 7214 0 0 0 9 0 0 0 25 0 1 0 131401106 28975104 6269 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354272 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15458/statm: 7074 6269 354 719 0 6353 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28296 [startup+0.300534 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15458 /proc/meminfo: memFree=29621440/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=30320 CPUtime=0.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 10353 0 0 0 28 1 0 0 25 0 1 0 131401106 31047680 6838 4089446400 4194304 7136930 140736495366448 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15458/statm: 7580 6838 391 719 0 6859 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30320 [startup+0.700464 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15458 /proc/meminfo: memFree=29621440/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=32108 CPUtime=0.69 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 10791 0 0 0 67 2 0 0 25 0 1 0 131401106 32878592 7276 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15458/statm: 8027 7276 395 719 0 7306 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32108 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15459 /proc/meminfo: memFree=29592416/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=33404 CPUtime=1.49 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 11151 0 0 0 145 4 0 0 25 0 1 0 131401106 34205696 7636 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 8351 7636 395 719 0 7630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33404 [startup+3.10105 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15459 /proc/meminfo: memFree=29589812/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=36020 CPUtime=3.09 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 11814 0 0 0 301 8 0 0 25 0 1 0 131401106 36884480 8299 4089446400 4194304 7136930 140736495366448 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 9005 8299 395 719 0 8284 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36020 [startup+6.30048 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15459 /proc/meminfo: memFree=29573788/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=51360 CPUtime=6.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 15585 0 0 0 613 16 0 0 25 0 1 0 131401106 52592640 12070 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 12840 12070 395 719 0 12119 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51360 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15459 /proc/meminfo: memFree=29539060/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=79448 CPUtime=12.69 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 22253 0 0 0 1241 28 0 0 25 0 1 0 131401106 81354752 18738 4089446400 4194304 7136930 140736495366448 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 19862 18738 398 719 0 19141 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79448 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15459 /proc/meminfo: memFree=29482796/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=121576 CPUtime=25.49 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 32401 0 0 0 2488 61 0 0 25 0 1 0 131401106 124493824 28886 4089446400 4194304 7136930 140736495366448 18446744073709551615 4947549 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 30394 28886 398 719 0 29673 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 121576 [startup+51.1006 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15463 /proc/meminfo: memFree=29414436/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=164220 CPUtime=51.09 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 42586 0 0 0 5005 104 0 0 25 0 1 0 131401106 168161280 39049 4089446400 4194304 7136930 140736495366448 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 41055 39049 398 719 0 40334 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 164220 [startup+102.307 s] /proc/loadavg: 2.03 2.01 2.00 3/179 15464 /proc/meminfo: memFree=29216568/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=310208 CPUtime=102.3 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 76547 0 0 0 10010 220 0 0 25 0 1 0 131401106 317652992 73010 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15458/statm: 77552 73010 398 719 0 76831 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 310208 [startup+162.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15466 /proc/meminfo: memFree=29035224/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=432708 CPUtime=162.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 105885 0 0 0 15868 361 0 0 25 0 1 0 131401106 443092992 102348 4089446400 4194304 7136930 140736495366448 18446744073709551615 5918666 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 108177 102348 398 719 0 107456 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 432708 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15468 /proc/meminfo: memFree=28887872/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=527128 CPUtime=222.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 129513 0 0 0 21755 474 0 0 25 0 1 0 131401106 539779072 125976 4089446400 4194304 7136930 140736495366448 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 131782 125976 398 719 0 131061 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 527128 [startup+282.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15469 /proc/meminfo: memFree=28784636/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=572656 CPUtime=282.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 140919 0 0 0 27693 536 0 0 25 0 1 0 131401106 586399744 137382 4089446400 4194304 7136930 140736495366448 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 143164 137382 398 719 0 142443 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 572656 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15470 /proc/meminfo: memFree=28688232/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=605544 CPUtime=342.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 149082 0 0 0 33645 584 0 0 25 0 1 0 131401106 620077056 145545 4089446400 4194304 7136930 140736495366448 18446744073709551615 4209688 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 151386 145545 398 719 0 150665 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 605544 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15472 /proc/meminfo: memFree=28576800/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=661320 CPUtime=402.29 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 162422 0 0 0 39556 673 0 0 25 0 1 0 131401106 677191680 158885 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 165330 158885 398 719 0 164609 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 661320 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15474 /proc/meminfo: memFree=28434404/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=754864 CPUtime=462.3 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 183433 0 0 0 45468 762 0 0 25 0 1 0 131401106 772980736 179896 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 188716 179896 398 719 0 187995 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 754864 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15476 /proc/meminfo: memFree=28233108/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=932256 CPUtime=522.3 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 221071 0 0 0 51356 874 0 0 25 0 1 0 131401106 954630144 217534 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 233064 217534 398 719 0 232343 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 932256 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15477 /proc/meminfo: memFree=27952460/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=1163660 CPUtime=582.3 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 274997 0 0 0 57245 985 0 0 25 0 1 0 131401106 1191587840 271460 4089446400 4194304 7136930 140736495366448 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 290915 271460 398 719 0 290194 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1163660 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15478 /proc/meminfo: memFree=27725992/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=1344088 CPUtime=642.3 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 316746 0 0 0 63148 1082 0 0 25 0 1 0 131401106 1376346112 313209 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15458/statm: 336022 313209 398 719 0 335301 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1344088 [startup+702.301 s] ################ # More data... # ################ /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 432612 0 0 0 98015 2216 0 0 25 0 1 0 131401106 1887350784 429075 4089446400 4194304 7136930 140736495366448 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 460779 429075 398 719 0 460058 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1843116 [startup+1062.3 s] /proc/loadavg: 2.98 2.60 2.25 3/200 15551 /proc/meminfo: memFree=29256148/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=1911968 CPUtime=1062.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 450065 0 0 0 103719 2513 0 0 25 0 1 0 131401106 1957855232 446528 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 477992 446528 398 719 0 477271 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1911968 [startup+1122.3 s] /proc/loadavg: 2.93 2.66 2.29 4/200 15553 /proc/meminfo: memFree=29193848/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=1965940 CPUtime=1122.31 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 463712 0 0 0 109451 2780 0 0 25 0 1 0 131401106 2013122560 460175 4089446400 4194304 7136930 140736495366448 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 491485 460175 398 719 0 490764 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1965940 [startup+1182.3 s] /proc/loadavg: 3.22 2.78 2.35 4/200 15554 /proc/meminfo: memFree=29132144/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2020704 CPUtime=1182.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 477636 0 0 0 115209 3023 0 0 25 0 1 0 131401106 2069200896 474099 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 505176 474099 398 719 0 504455 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2020704 [startup+1242.3 s] /proc/loadavg: 3.08 2.82 2.39 4/200 15555 /proc/meminfo: memFree=29073788/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2089268 CPUtime=1242.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 490935 0 0 0 120962 3270 0 0 25 0 1 0 131401106 2139410432 487398 4089446400 4194304 7136930 140736495366448 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 522317 487398 398 719 0 521596 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2089268 [startup+1302.3 s] /proc/loadavg: 2.99 2.84 2.42 3/200 15557 /proc/meminfo: memFree=29009864/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2148840 CPUtime=1302.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 505691 0 0 0 126710 3522 0 0 25 0 1 0 131401106 2200412160 502154 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 537210 502154 398 719 0 536489 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2148840 [startup+1362.3 s] /proc/loadavg: 2.99 2.86 2.45 3/200 15559 /proc/meminfo: memFree=28964912/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2191248 CPUtime=1362.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 516282 0 0 0 132485 3747 0 0 25 0 1 0 131401106 2243837952 512745 4089446400 4194304 7136930 140736495366448 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 547812 512745 398 719 0 547091 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2191248 [startup+1422.31 s] /proc/loadavg: 3.47 2.99 2.52 4/200 15561 /proc/meminfo: memFree=28916476/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2235596 CPUtime=1422.33 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 527554 0 0 0 138256 3977 0 0 25 0 1 0 131401106 2289250304 524017 4089446400 4194304 7136930 140736495366448 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 558899 524017 398 719 0 558178 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2235596 [startup+1482.3 s] /proc/loadavg: 3.10 2.96 2.53 3/200 15562 /proc/meminfo: memFree=28869272/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2278004 CPUtime=1482.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 538321 0 0 0 144040 4192 0 0 25 0 1 0 131401106 2332676096 534784 4089446400 4194304 7136930 140736495366448 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 569501 534784 398 719 0 568780 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2278004 [startup+1542.3 s] /proc/loadavg: 3.34 3.03 2.58 4/200 15563 /proc/meminfo: memFree=28779188/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2363804 CPUtime=1542.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 560069 0 0 0 149629 4603 0 0 25 0 1 0 131401106 2420535296 556532 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 590951 556532 398 719 0 590230 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2363804 [startup+1602.3 s] /proc/loadavg: 3.10 3.01 2.60 4/200 15565 /proc/meminfo: memFree=28672528/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2467616 CPUtime=1602.32 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 586431 0 0 0 155142 5090 0 0 25 0 1 0 131401106 2526838784 582894 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 616904 582894 398 719 0 616183 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2467616 [startup+1662.3 s] /proc/loadavg: 2.89 2.96 2.61 4/200 15567 /proc/meminfo: memFree=28613560/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2520332 CPUtime=1662.33 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 599893 0 0 0 160831 5402 0 0 25 0 1 0 131401106 2580819968 596356 4089446400 4194304 7136930 140736495366448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 630083 596356 398 719 0 629362 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2520332 [startup+1722.3 s] /proc/loadavg: 2.96 2.96 2.63 3/200 15569 /proc/meminfo: memFree=28584736/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2546448 CPUtime=1722.33 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 606331 0 0 0 166655 5578 0 0 25 0 1 0 131401106 2607562752 602794 4089446400 4194304 7136930 140736495366448 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 636612 602794 398 719 0 635891 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2546448 [startup+1782.3 s] /proc/loadavg: 2.76 2.91 2.63 4/200 15570 /proc/meminfo: memFree=28558348/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2568920 CPUtime=1782.33 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 611956 0 0 0 172519 5714 0 0 25 0 1 0 131401106 2630574080 608419 4089446400 4194304 7136930 140736495366448 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 642230 608419 398 719 0 641509 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2568920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.59 2.86 2.62 3/179 15610 /proc/meminfo: memFree=28787672/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2571228 CPUtime=1800.03 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 612550 0 0 0 174250 5753 0 0 25 0 1 0 131401106 2632937472 609013 4089446400 4194304 7136930 140736495366448 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15458/statm: 642807 609013 398 719 0 642086 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2571228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15458 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.59 2.86 2.62 3/180 15611 /proc/meminfo: memFree=28787044/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2571228 CPUtime=1801.43 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 612565 0 0 0 174390 5753 0 0 19 0 1 0 131401106 2632937472 609028 4089446400 4194304 7136930 140736495366448 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15458/statm: 642807 609028 403 719 0 642086 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2571228 [startup+1801.81 s] /proc/loadavg: 2.59 2.86 2.62 3/180 15611 /proc/meminfo: memFree=28785060/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2571228 CPUtime=1801.83 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 612565 0 0 0 174430 5753 0 0 20 0 1 0 131401106 2632937472 609028 4089446400 4194304 7136930 140736495366448 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15458/statm: 642807 609028 403 719 0 642086 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2571228 [startup+1802 s] /proc/loadavg: 2.59 2.86 2.62 3/180 15611 /proc/meminfo: memFree=28785060/32951124 swapFree=67111528/67111528 [pid=15458] ppid=15456 vsize=2571228 CPUtime=1802.03 /proc/15458/stat : 15458 (pbscip.linux.x8) R 15456 15458 14210 0 -1 4202496 612565 0 0 0 174450 5753 0 0 21 0 1 0 131401106 2632937472 609028 4089446400 4194304 7136930 140736495366448 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15458/statm: 642807 609028 403 719 0 642086 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2571228 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1744.51 CPU system time (s): 57.6222 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2571228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.51 system time used= 57.6222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 612565 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= 8369 runsolver used 2.56861 second user time and 5.85711 second system time The end
Begin job on node140 at 2010-06-30 14:31:06 IDJOB=2694031 IDBENCH=78887 IDSOLVER=1206 FILE ID=node140/2694031-1277901066 PBS_JOBID= 11197170 Free space on /tmp= 74200 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.1900551347--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694031-1277901066/watcher-2694031-1277901066 -o /tmp/evaluation-result-2694031-1277901066/solver-2694031-1277901066 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694031-1277901066.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b RANDOM SEED=1658636445 node140.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.790 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.58 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.790 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.07 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 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.83 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.790 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.790 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29621968 kB Buffers: 184584 kB Cached: 1278264 kB SwapCached: 0 kB Active: 2467352 kB Inactive: 716180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29621968 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 1720292 kB Mapped: 15084 kB Slab: 79636 kB PageTables: 8036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1863544 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= 74192 MiB End job on node140 at 2010-06-30 15:01:08