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.11 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo |
| MD5SUM | 992c28e15fa8da7f001d610f6b39cc4c |
| 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 | 293.92 |
| 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 | 927 |
| 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 | 45360 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45359 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 721 |
| 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-2694117-1277906307.wbo>
0.00/0.02 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 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.03 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.03/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.03/0.08 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.03/0.09 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.11 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.15 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.09/0.15 c 1141 implications, 14 cliques
0.09/0.15 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints
0.09/0.15 c 871 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 14 constraints of type <setppc>
0.09/0.15 c 871 constraints of type <linear>
0.09/0.15 c 1708 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 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 | - |7624k| 0 | - |1973 |3465 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.74 c 2.4s| 10000 | 8381 | 0 | 0.0 | 14M|1058 | - |1973 |4857 | 0 | 0 | 0 |4018 | 0 | 0.000000e+00 | -- | Inf
6.29/6.38 c 5.7s| 20000 | 15009 | 0 | 0.0 | 22M|1058 | - |1973 |6387 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
8.19/8.28 o 518
8.19/8.28 c * 7.4s| 25665 | 16684 | 0 | 0.0 | 24M|1058 | - |1973 |6629 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
8.39/8.45 o 459
8.39/8.45 c * 7.5s| 26267 | 16838 | 0 | 0.0 | 24M|1058 | - |1973 |6199 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.590000e+02 | Inf
8.49/8.51 o 452
8.49/8.51 c * 7.6s| 26474 | 17021 | 0 | 0.0 | 24M|1058 | - |1973 |6061 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.520000e+02 | Inf
8.49/8.51 o 324
8.49/8.51 c * 7.6s| 26475 | 16989 | 0 | 0.0 | 24M|1058 | - |1973 |6061 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.240000e+02 | Inf
8.70/8.75 o 284
8.70/8.75 c * 7.8s| 27332 | 17725 | 0 | 0.0 | 25M|1058 | - |1973 |5847 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
8.70/8.75 o 271
8.70/8.75 c * 7.8s| 27333 | 17704 | 0 | 0.0 | 25M|1058 | - |1973 |5847 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.710000e+02 | Inf
8.70/8.79 o 261
8.70/8.79 c * 7.8s| 27468 | 17806 | 0 | 0.0 | 25M|1058 | - |1973 |5830 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
8.70/8.79 o 237
8.70/8.79 c * 7.8s| 27469 | 17768 | 0 | 0.0 | 25M|1058 | - |1973 |5830 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
8.99/9.02 o 70
8.99/9.02 c * 8.0s| 28210 | 16992 | 0 | 0.0 | 25M|1058 | - |1973 |5943 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
9.49/9.58 c 8.5s| 30000 | 18549 | 0 | 0.0 | 27M|1058 | - |1973 |5231 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
9.99/10.08 o 53
9.99/10.08 c * 9.0s| 31690 | 19703 | 0 | 0.0 | 28M|1058 | - |1973 |5405 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
12.39/12.49 c 11.1s| 40000 | 26259 | 0 | 0.0 | 34M|1058 | - |1973 |5987 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
15.79/15.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.79/15.81 c 14.1s| 50000 | 33595 | 0 | 0.0 | 41M|1058 | - |1973 |7047 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
19.49/19.54 c 17.4s| 60000 | 40435 | 0 | 0.0 | 48M|1058 | - |1973 |7952 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
23.69/23.76 c 21.3s| 70000 | 46635 | 0 | 0.0 | 56M|1058 | - |1973 |8790 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
28.69/28.71 c 25.9s| 80000 | 51940 | 0 | 0.0 | 65M|1058 | - |1973 |9199 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
33.99/34.10 c 30.9s| 90000 | 56677 | 0 | 0.0 | 73M|1058 | - |1973 | 10k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
40.09/40.10 c 36.5s|100000 | 60807 | 0 | 0.0 | 81M|1058 | - |1973 |9219 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
46.79/46.80 c 42.7s|110000 | 64002 | 0 | 0.0 | 89M|1058 | - |1973 | 12k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
55.29/55.34 c 50.8s|120000 | 65806 | 0 | 0.0 | 97M|1058 | - |1973 | 15k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
58.99/59.09 c 54.2s|130000 | 74482 | 0 | 0.0 | 104M|1058 | - |1973 |4872 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
63.19/63.21 c 57.9s|140000 | 81814 | 0 | 0.0 | 114M|1058 | - |1973 |5891 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
64.29/64.35 o 43
64.29/64.35 c *58.9s|142089 | 82472 | 0 | 0.0 | 115M|1058 | - |1973 |6287 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
65.29/65.35 o 42
65.29/65.35 c *59.8s|143610 | 82873 | 0 | 0.0 | 116M|1058 | - |1973 |6968 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
67.69/67.72 c 61.9s|150000 | 87641 | 0 | 0.0 | 120M|1058 | - |1973 |4697 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
71.20/71.25 c 65.1s|160000 | 95344 | 0 | 0.0 | 127M|1058 | - |1973 |5318 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
73.29/73.38 o 28
73.29/73.38 c *67.0s|164231 | 96660 | 0 | 0.0 | 127M|1058 | - |1973 |6318 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
75.09/75.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.09/75.19 c 68.6s|170000 |101331 | 0 | 0.0 | 130M|1058 | - |1973 |4950 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
79.19/79.27 c 72.3s|180000 |107788 | 0 | 0.0 | 137M|1058 | - |1973 |4749 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
82.59/82.65 c 75.3s|190000 |115438 | 0 | 0.0 | 144M|1058 | - |1973 |4800 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
86.99/87.09 c 79.3s|200000 |121193 | 0 | 0.0 | 151M|1058 | - |1973 |5839 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
91.99/92.09 c 83.9s|210000 |126290 | 0 | 0.0 | 158M|1058 | - |1973 |6758 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
97.29/97.35 c 88.8s|220000 |131086 | 0 | 0.0 | 165M|1058 | - |1973 |6973 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
102.69/102.79 c 93.8s|230000 |135688 | 0 | 0.0 | 172M|1058 | - |1973 |6403 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
108.19/108.29 c 98.8s|240000 |140079 | 0 | 0.0 | 180M|1058 | - |1973 |7177 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
114.00/114.05 c 104s|250000 |144248 | 0 | 0.0 | 187M|1058 | - |1973 |7452 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
120.29/120.35 c 110s|260000 |147653 | 0 | 0.0 | 194M|1058 | - |1973 |8212 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
126.99/127.09 c 116s|270000 |150635 | 0 | 0.0 | 201M|1058 | - |1973 |7008 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
133.90/133.99 c 123s|280000 |153200 | 0 | 0.0 | 208M|1058 | - |1973 |7645 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
140.70/140.80 c 129s|290000 |155929 | 0 | 0.0 | 214M|1058 | - |1973 |8169 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
148.00/148.01 c 136s|300000 |158188 | 0 | 0.0 | 220M|1058 | - |1973 |8658 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
155.19/155.24 c 143s|310000 |160526 | 0 | 0.0 | 226M|1058 | - |1973 |8179 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
162.89/162.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.89/162.95 c 150s|320000 |162029 | 0 | 0.0 | 232M|1058 | - |1973 |9006 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
170.50/170.56 c 157s|330000 |164161 | 0 | 0.0 | 237M|1058 | - |1973 |8984 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
178.59/178.63 c 165s|340000 |165406 | 0 | 0.0 | 243M|1058 | - |1973 | 10k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
186.80/186.80 c 172s|350000 |166732 | 0 | 0.0 | 247M|1058 | - |1973 | 10k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
195.29/195.38 c 180s|360000 |167560 | 0 | 0.0 | 251M|1058 | - |1973 | 10k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
204.20/204.22 c 189s|370000 |168327 | 0 | 0.0 | 255M|1058 | - |1973 | 11k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
214.20/214.28 c 198s|380000 |168226 | 0 | 0.0 | 260M|1058 | - |1973 | 13k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
227.70/227.74 c 211s|390000 |165673 | 0 | 0.0 | 260M|1058 | - |1973 | 16k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
231.80/231.83 c 215s|400000 |173418 | 0 | 0.0 | 261M|1058 | - |1973 |5510 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
235.20/235.28 c 218s|410000 |181439 | 0 | 0.0 | 268M|1058 | - |1973 |5633 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
238.71/238.76 c 221s|420000 |189312 | 0 | 0.0 | 275M|1058 | - |1973 |5794 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
240.50/240.50 o 20
240.50/240.50 c * 223s|424899 |192552 | 0 | 0.0 | 275M|1058 | - |1973 |5972 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
242.40/242.42 c 224s|430000 |196426 | 0 | 0.0 | 281M|1058 | - |1973 |6098 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
246.19/246.24 c 228s|440000 |203847 | 0 | 0.0 | 288M|1058 | - |1973 |6355 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
250.19/250.22 c 231s|450000 |210956 | 0 | 0.0 | 296M|1058 | - |1973 |6698 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
255.10/255.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.10/255.16 c 236s|460000 |216919 | 0 | 0.0 | 305M|1058 | - |1973 |7784 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
260.71/260.74 c 241s|470000 |222194 | 0 | 0.0 | 313M|1058 | - |1973 |8623 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
267.00/267.08 c 247s|480000 |226602 | 0 | 0.0 | 323M|1058 | - |1973 |9910 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
275.20/275.26 c 254s|490000 |229198 | 0 | 0.0 | 331M|1058 | - |1973 | 11k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
285.50/285.58 c 264s|500000 |229972 | 0 | 0.0 | 340M|1058 | - |1973 | 14k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
293.60/293.63 c 272s|510000 |233537 | 0 | 0.0 | 344M|1058 | - |1973 |8736 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
297.40/297.42 c 275s|520000 |241156 | 0 | 0.0 | 350M|1058 | - |1973 |7833 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
301.20/301.28 c 278s|530000 |248503 | 0 | 0.0 | 357M|1058 | - |1973 |8635 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
305.50/305.52 c 282s|540000 |255343 | 0 | 0.0 | 364M|1058 | - |1973 |9280 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
310.30/310.31 c 286s|550000 |261504 | 0 | 0.0 | 371M|1058 | - |1973 | 10k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
315.71/315.76 c 291s|560000 |267030 | 0 | 0.0 | 379M|1058 | - |1973 | 11k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
321.80/321.82 c 297s|570000 |271896 | 0 | 0.0 | 386M|1058 | - |1973 | 12k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
328.50/328.55 c 303s|580000 |276144 | 0 | 0.0 | 394M|1058 | - |1973 | 13k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
336.90/336.99 c 311s|590000 |278647 | 0 | 0.0 | 401M|1058 | - |1973 | 14k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
346.01/346.08 c 320s|600000 |280728 | 0 | 0.0 | 406M|1058 | - |1973 | 15k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
350.10/350.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.10/350.17 c 323s|610000 |288459 | 0 | 0.0 | 412M|1058 | - |1973 | 11k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
354.70/354.80 c 328s|620000 |295213 | 0 | 0.0 | 421M|1058 | - |1973 | 12k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
360.50/360.58 c 333s|630000 |300844 | 0 | 0.0 | 431M|1058 | - |1973 | 14k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
367.90/367.97 c 340s|640000 |305055 | 0 | 0.0 | 440M|1058 | - |1973 | 16k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
377.90/377.96 c 349s|650000 |307189 | 0 | 0.0 | 449M|1058 | - |1973 | 19k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
384.31/384.39 c 355s|660000 |313418 | 0 | 0.0 | 453M|1058 | - |1973 |7841 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
388.40/388.46 c 359s|670000 |321025 | 0 | 0.0 | 464M|1058 | - |1973 |6688 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
393.60/393.63 c 364s|680000 |327151 | 0 | 0.0 | 477M|1058 | - |1973 |8818 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
398.61/398.63 c 368s|690000 |333698 | 0 | 0.0 | 487M|1058 | - |1973 |7254 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
399.61/399.61 o 17
399.61/399.61 c * 369s|692703 |333896 | 0 | 0.0 | 480M|1058 | - |1973 |7220 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
402.80/402.85 c 372s|700000 |339024 | 0 | 0.0 | 489M|1058 | - |1973 |7928 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
403.50/403.55 o 16
403.50/403.55 c * 373s|701340 |339638 | 0 | 0.0 | 490M|1058 | - |1973 |8259 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
408.40/408.42 c 377s|710000 |344535 | 0 | 0.0 | 501M|1058 | - |1973 |9279 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
412.80/412.86 c 381s|720000 |351197 | 0 | 0.0 | 509M|1058 | - |1973 |6855 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
416.50/416.59 c 384s|730000 |358356 | 0 | 0.0 | 516M|1058 | - |1973 |6937 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
420.70/420.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.70/420.78 c 388s|740000 |364738 | 0 | 0.0 | 522M|1058 | - |1973 |6859 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
424.50/424.55 c 392s|750000 |371734 | 0 | 0.0 | 528M|1058 | - |1973 |7051 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
428.30/428.32 c 395s|760000 |378791 | 0 | 0.0 | 533M|1058 | - |1973 |4103 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
432.30/432.31 c 398s|770000 |385145 | 0 | 0.0 | 540M|1058 | - |1973 |5500 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
439.80/439.87 c 406s|780000 |386662 | 0 | 0.0 | 547M|1058 | - |1973 |7966 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
448.30/448.37 c 414s|790000 |387497 | 0 | 0.0 | 553M|1058 | - |1973 |8998 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
457.11/457.19 c 422s|800000 |387956 | 0 | 0.0 | 557M|1058 | - |1973 |8315 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
466.41/466.43 c 431s|810000 |388156 | 0 | 0.0 | 563M|1058 | - |1973 |8811 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
476.11/476.11 c 440s|820000 |387508 | 0 | 0.0 | 566M|1058 | - |1973 |8070 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
485.61/485.64 c 449s|830000 |387128 | 0 | 0.0 | 570M|1058 | - |1973 |8759 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
495.51/495.50 c 458s|840000 |386381 | 0 | 0.0 | 573M|1058 | - |1973 |9320 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
505.80/505.81 c 468s|850000 |385330 | 0 | 0.0 | 575M|1058 | - |1973 |9727 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
516.31/516.31 c 478s|860000 |384092 | 0 | 0.0 | 577M|1058 | - |1973 |9997 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
526.60/526.64 c 488s|870000 |383184 | 0 | 0.0 | 579M|1058 | - |1973 |9538 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
537.11/537.14 c 498s|880000 |382120 | 0 | 0.0 | 580M|1058 | - |1973 |8493 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
548.20/548.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.20/548.28 c 508s|890000 |379976 | 0 | 0.0 | 578M|1058 | - |1973 |9526 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
559.40/559.42 c 519s|900000 |378170 | 0 | 0.0 | 578M|1058 | - |1973 | 11k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
571.41/571.43 c 530s|910000 |375831 | 0 | 0.0 | 577M|1058 | - |1973 | 10k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
583.40/583.45 c 542s|920000 |373770 | 0 | 0.0 | 576M|1058 | - |1973 | 12k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
596.91/596.96 c 555s|930000 |370788 | 0 | 0.0 | 573M|1058 | - |1973 | 12k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
610.81/610.84 c 568s|940000 |367398 | 0 | 0.0 | 569M|1058 | - |1973 | 13k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
625.31/625.35 c 582s|950000 |363700 | 0 | 0.0 | 564M|1058 | - |1973 | 13k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
641.41/641.48 c 597s|960000 |359021 | 0 | 0.0 | 557M|1058 | - |1973 | 15k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
654.42/654.48 c 610s|970000 |357613 | 0 | 0.0 | 546M|1058 | - |1973 |7407 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
658.71/658.74 c 614s|980000 |364493 | 0 | 0.0 | 553M|1058 | - |1973 |5965 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
662.81/662.85 c 617s|990000 |371374 | 0 | 0.0 | 559M|1058 | - |1973 |5867 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
666.91/666.96 c 621s| 1000k|378231 | 0 | 0.0 | 566M|1058 | - |1973 |5698 | 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
671.11/671.15 c 625s| 1010k|384930 | 0 | 0.0 | 572M|1058 | - |1973 |6150 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
676.21/676.20 c 630s| 1020k|390542 | 0 | 0.0 | 579M|1058 | - |1973 |7362 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
681.41/681.48 c 634s| 1030k|396007 | 0 | 0.0 | 586M|1058 | - |1973 |7670 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
686.81/686.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.81/686.89 c 639s| 1040k|401318 | 0 | 0.0 | 594M|1058 | - |1973 |7938 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
692.31/692.36 c 644s| 1050k|406540 | 0 | 0.0 | 600M|1058 | - |1973 |8171 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
698.02/698.06 c 649s| 1060k|411446 | 0 | 0.0 | 607M|1058 | - |1973 |8283 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
703.92/703.96 c 655s| 1070k|416182 | 0 | 0.0 | 614M|1058 | - |1973 |8683 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
709.81/709.89 c 660s| 1080k|420776 | 0 | 0.0 | 621M|1058 | - |1973 |8417 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
715.71/715.71 c 666s| 1090k|425564 | 0 | 0.0 | 627M|1058 | - |1973 |8194 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
721.92/721.93 c 671s| 1100k|429810 | 0 | 0.0 | 634M|1058 | - |1973 |8513 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
728.41/728.45 c 677s| 1110k|433747 | 0 | 0.0 | 640M|1058 | - |1973 |9052 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
734.31/734.33 c 683s| 1120k|438422 | 0 | 0.0 | 647M|1058 | - |1973 |8616 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
740.71/740.71 c 689s| 1130k|442468 | 0 | 0.0 | 653M|1058 | - |1973 |9076 | 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
747.31/747.37 c 695s| 1140k|446143 | 0 | 0.0 | 660M|1058 | - |1973 |9102 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
753.72/753.70 c 701s| 1150k|450302 | 0 | 0.0 | 666M|1058 | - |1973 |9011 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
760.72/760.70 c 707s| 1160k|453719 | 0 | 0.0 | 673M|1058 | - |1973 |9502 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
767.32/767.35 c 714s| 1170k|457493 | 0 | 0.0 | 679M|1058 | - |1973 |8930 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
774.51/774.53 c 720s| 1180k|460726 | 0 | 0.0 | 685M|1058 | - |1973 |9156 | 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
781.81/781.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.81/781.85 c 727s| 1190k|463602 | 0 | 0.0 | 691M|1058 | - |1973 |9693 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
789.01/789.03 c 734s| 1200k|466822 | 0 | 0.0 | 697M|1058 | - |1973 |9465 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
796.81/796.88 c 741s| 1210k|469325 | 0 | 0.0 | 702M|1058 | - |1973 | 10k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
804.21/804.26 c 748s| 1220k|472412 | 0 | 0.0 | 709M|1058 | - |1973 |9668 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
812.72/812.75 c 756s| 1230k|474179 | 0 | 0.0 | 713M|1058 | - |1973 |9875 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
821.52/821.54 c 764s| 1240k|475776 | 0 | 0.0 | 718M|1058 | - |1973 | 10k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
830.81/830.86 c 773s| 1250k|476915 | 0 | 0.0 | 723M|1058 | - |1973 | 10k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
840.61/840.60 c 782s| 1260k|477683 | 0 | 0.0 | 727M|1058 | - |1973 | 11k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
850.91/850.94 c 792s| 1270k|477997 | 0 | 0.0 | 732M|1058 | - |1973 | 11k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
862.43/862.46 c 803s| 1280k|477286 | 0 | 0.0 | 735M|1058 | - |1973 | 12k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
874.82/874.86 c 814s| 1290k|476076 | 0 | 0.0 | 737M|1058 | - |1973 | 14k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
880.42/880.45 o 9
880.42/880.45 c * 820s| 1294k|468616 | 0 | 0.0 | 711M|1058 | - |1973 | 15k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
889.62/889.67 c 829s| 1300k|465998 | 0 | 0.0 | 707M|1058 | - |1973 | 11k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
895.01/895.01 c 833s| 1310k|472298 | 0 | 0.0 | 713M|1058 | - |1973 |8647 | 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
900.41/900.48 c 838s| 1320k|477987 | 0 | 0.0 | 719M|1058 | - |1973 |8442 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
906.01/906.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.01/906.05 c 844s| 1330k|483420 | 0 | 0.0 | 726M|1058 | - |1973 |8943 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
911.72/911.70 c 849s| 1340k|488718 | 0 | 0.0 | 733M|1058 | - |1973 |9666 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
917.72/917.70 c 854s| 1350k|493670 | 0 | 0.0 | 739M|1058 | - |1973 | 10k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
924.02/924.08 c 860s| 1360k|498301 | 0 | 0.0 | 746M|1058 | - |1973 | 10k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
930.62/930.62 c 866s| 1370k|502730 | 0 | 0.0 | 752M|1058 | - |1973 | 10k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
937.42/937.41 c 873s| 1380k|506947 | 0 | 0.0 | 758M|1058 | - |1973 | 11k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
944.62/944.63 c 879s| 1390k|510789 | 0 | 0.0 | 764M|1058 | - |1973 | 11k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
951.82/951.87 c 886s| 1400k|514699 | 0 | 0.0 | 770M|1058 | - |1973 | 11k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
959.23/959.22 c 893s| 1410k|518527 | 0 | 0.0 | 776M|1058 | - |1973 | 12k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
967.22/967.28 c 900s| 1420k|521674 | 0 | 0.0 | 782M|1058 | - |1973 | 12k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
975.72/975.73 c 908s| 1430k|524515 | 0 | 0.0 | 787M|1058 | - |1973 | 13k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
984.42/984.47 c 917s| 1440k|527067 | 0 | 0.0 | 792M|1058 | - |1973 | 13k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
993.82/993.85 c 925s| 1450k|529052 | 0 | 0.0 | 798M|1058 | - |1973 | 14k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1003.83/1003.87 c 935s| 1460k|530612 | 0 | 0.0 | 803M|1058 | - |1973 | 14k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1014.32/1014.30 c 945s| 1470k|531896 | 0 | 0.0 | 807M|1058 | - |1973 | 15k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1025.52/1025.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.52/1025.55 c 955s| 1480k|532697 | 0 | 0.0 | 812M|1058 | - |1973 | 15k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1037.42/1037.45 c 967s| 1490k|532927 | 0 | 0.0 | 815M|1058 | - |1973 | 15k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1050.03/1050.07 c 979s| 1500k|532792 | 0 | 0.0 | 818M|1058 | - |1973 | 16k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1063.63/1063.67 c 992s| 1510k|531782 | 0 | 0.0 | 821M|1058 | - |1973 | 16k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1079.33/1079.38 c 1007s| 1520k|529253 | 0 | 0.0 | 822M|1058 | - |1973 | 18k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1093.52/1093.51 c 1021s| 1530k|527277 | 0 | 0.0 | 816M|1058 | - |1973 | 12k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1098.83/1098.89 c 1026s| 1540k|533254 | 0 | 0.0 | 822M|1058 | - |1973 | 10k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1104.72/1104.75 c 1031s| 1550k|538474 | 0 | 0.0 | 828M|1058 | - |1973 | 10k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1110.93/1110.91 c 1037s| 1560k|543354 | 0 | 0.0 | 834M|1058 | - |1973 | 11k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1117.43/1117.49 c 1043s| 1570k|547841 | 0 | 0.0 | 840M|1058 | - |1973 | 11k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1124.13/1124.12 c 1049s| 1580k|552288 | 0 | 0.0 | 846M|1058 | - |1973 | 12k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1131.33/1131.31 c 1056s| 1590k|556210 | 0 | 0.0 | 852M|1058 | - |1973 | 12k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1139.12/1139.10 c 1063s| 1600k|559722 | 0 | 0.0 | 858M|1058 | - |1973 | 13k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1147.92/1147.91 c 1071s| 1610k|562184 | 0 | 0.0 | 863M|1058 | - |1973 | 14k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1157.43/1157.43 c 1080s| 1620k|564087 | 0 | 0.0 | 868M|1058 | - |1973 | 15k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1168.24/1168.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.24/1168.24 c 1091s| 1630k|565089 | 0 | 0.0 | 872M|1058 | - |1973 | 16k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1179.93/1179.98 c 1102s| 1640k|565480 | 0 | 0.0 | 876M|1058 | - |1973 | 17k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1192.63/1192.65 c 1114s| 1650k|565546 | 0 | 0.0 | 879M|1058 | - |1973 | 19k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1208.03/1208.05 c 1129s| 1660k|564240 | 0 | 0.0 | 878M|1058 | - |1973 | 21k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1221.43/1221.41 c 1141s| 1670k|565116 | 0 | 0.0 | 873M|1058 | - |1973 |5537 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1224.93/1224.90 c 1144s| 1680k|572585 | 0 | 0.0 | 879M|1058 | - |1973 |5362 | 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1228.53/1228.54 c 1148s| 1690k|579866 | 0 | 0.0 | 885M|1058 | - |1973 |6002 | 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1232.23/1232.29 c 1151s| 1700k|586949 | 0 | 0.0 | 891M|1058 | - |1973 |6370 | 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1236.13/1236.17 c 1155s| 1710k|593876 | 0 | 0.0 | 897M|1058 | - |1973 |6172 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1240.23/1240.24 c 1158s| 1720k|600508 | 0 | 0.0 | 903M|1058 | - |1973 |5777 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1244.43/1244.47 c 1162s| 1730k|606831 | 0 | 0.0 | 909M|1058 | - |1973 |5657 | 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1248.93/1248.99 c 1166s| 1740k|612749 | 0 | 0.0 | 916M|1058 | - |1973 |5919 | 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1254.03/1254.09 c 1171s| 1750k|617886 | 0 | 0.0 | 922M|1058 | - |1973 |6204 | 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1259.54/1259.55 c 1176s| 1760k|622630 | 0 | 0.0 | 928M|1058 | - |1973 |6711 | 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1265.34/1265.35 c 1181s| 1770k|626996 | 0 | 0.0 | 934M|1058 | - |1973 |6933 | 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1271.43/1271.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.43/1271.45 c 1187s| 1780k|631082 | 0 | 0.0 | 940M|1058 | - |1973 |7697 | 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1277.83/1277.81 c 1193s| 1790k|634908 | 0 | 0.0 | 945M|1058 | - |1973 |8182 | 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1284.73/1284.76 c 1199s| 1800k|638137 | 0 | 0.0 | 951M|1058 | - |1973 |9505 | 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1292.63/1292.66 c 1206s| 1810k|640540 | 0 | 0.0 | 957M|1058 | - |1973 | 11k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1301.94/1301.94 c 1215s| 1820k|642059 | 0 | 0.0 | 958M|1058 | - |1973 |7959 | 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1305.33/1305.30 c 1218s| 1830k|649697 | 0 | 0.0 | 963M|1058 | - |1973 |5444 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1308.73/1308.72 c 1221s| 1840k|657019 | 0 | 0.0 | 969M|1058 | - |1973 |5833 | 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1312.24/1312.26 c 1224s| 1850k|664244 | 0 | 0.0 | 975M|1058 | - |1973 |6030 | 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1316.64/1316.69 c 1228s| 1860k|670228 | 0 | 0.0 | 981M|1058 | - |1973 |6366 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1321.63/1321.60 c 1233s| 1870k|675622 | 0 | 0.0 | 987M|1058 | - |1973 |6537 | 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1326.73/1326.73 c 1237s| 1880k|680685 | 0 | 0.0 | 993M|1058 | - |1973 |6760 | 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1332.04/1332.07 c 1242s| 1890k|685557 | 0 | 0.0 | 999M|1058 | - |1973 |7005 | 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1337.64/1337.65 c 1248s| 1900k|690130 | 0 | 0.0 |1005M|1058 | - |1973 |7382 | 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1343.53/1343.54 c 1253s| 1910k|694456 | 0 | 0.0 |1010M|1058 | - |1973 |8006 | 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1349.74/1349.77 c 1259s| 1920k|698480 | 0 | 0.0 |1016M|1058 | - |1973 |8633 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1356.64/1356.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.64/1356.63 c 1265s| 1930k|701761 | 0 | 0.0 |1023M|1058 | - |1973 | 10k| 0 | 0 | 0 |1947k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1364.94/1364.92 c 1273s| 1940k|703866 | 0 | 0.0 |1027M|1058 | - |1973 | 12k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1368.53/1368.53 c 1276s| 1950k|711555 | 0 | 0.0 |1032M|1058 | - |1973 |6505 | 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1372.03/1372.01 c 1279s| 1960k|719034 | 0 | 0.0 |1038M|1058 | - |1973 |6682 | 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1376.44/1376.40 c 1283s| 1970k|725241 | 0 | 0.0 |1046M|1058 | - |1973 |7751 | 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1381.83/1381.88 c 1288s| 1980k|730225 | 0 | 0.0 |1053M|1058 | - |1973 |9404 | 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1389.24/1389.24 c 1295s| 1990k|733309 | 0 | 0.0 |1061M|1058 | - |1973 | 12k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1396.94/1396.98 c 1302s| 2000k|737131 | 0 | 0.0 |1067M|1058 | - |1973 | 12k| 0 | 0 | 0 |1998k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1401.13/1401.19 c 1306s| 2010k|744500 | 0 | 0.0 |1074M|1058 | - |1973 | 10k| 0 | 0 | 0 |2002k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1405.54/1405.52 c 1310s| 2020k|751425 | 0 | 0.0 |1081M|1058 | - |1973 | 10k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1410.33/1410.36 c 1314s| 2030k|757761 | 0 | 0.0 |1089M|1058 | - |1973 | 11k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1416.44/1416.44 c 1320s| 2040k|762847 | 0 | 0.0 |1098M|1058 | - |1973 | 12k| 0 | 0 | 0 |2019k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1423.23/1423.22 c 1326s| 2050k|767435 | 0 | 0.0 |1106M|1058 | - |1973 | 13k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1429.95/1429.95 c 1333s| 2060k|772432 | 0 | 0.0 |1114M|1058 | - |1973 | 14k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1436.93/1436.95 c 1339s| 2070k|777247 | 0 | 0.0 |1123M|1058 | - |1973 | 15k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1444.94/1444.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.94/1444.96 c 1347s| 2080k|781232 | 0 | 0.0 |1133M|1058 | - |1973 | 17k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1454.63/1454.64 c 1356s| 2090k|783954 | 0 | 0.0 |1140M|1058 | - |1973 | 20k| 0 | 0 | 0 |2063k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1460.34/1460.38 c 1361s| 2100k|790937 | 0 | 0.0 |1146M|1058 | - |1973 | 13k| 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1465.84/1465.87 c 1366s| 2110k|797077 | 0 | 0.0 |1154M|1058 | - |1973 | 12k| 0 | 0 | 0 |2073k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1472.14/1472.14 c 1372s| 2120k|802380 | 0 | 0.0 |1163M|1058 | - |1973 | 14k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1479.93/1479.97 c 1379s| 2130k|806304 | 0 | 0.0 |1172M|1058 | - |1973 | 17k| 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1489.44/1489.41 c 1388s| 2140k|809644 | 0 | 0.0 |1178M|1058 | - |1973 | 18k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1494.94/1494.95 c 1393s| 2150k|816456 | 0 | 0.0 |1184M|1058 | - |1973 | 14k| 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1500.84/1500.82 c 1399s| 2160k|822439 | 0 | 0.0 |1192M|1058 | - |1973 | 14k| 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1507.54/1507.58 c 1405s| 2170k|827458 | 0 | 0.0 |1199M|1058 | - |1973 | 16k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1516.95/1516.91 c 1414s| 2180k|830290 | 0 | 0.0 |1207M|1058 | - |1973 | 20k| 0 | 0 | 0 |2130k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1523.74/1523.77 c 1420s| 2190k|836177 | 0 | 0.0 |1211M|1058 | - |1973 |8672 | 0 | 0 | 0 |2137k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1528.34/1528.36 c 1425s| 2200k|842907 | 0 | 0.0 |1222M|1058 | - |1973 |8551 | 0 | 0 | 0 |2142k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1533.54/1533.54 c 1429s| 2210k|849055 | 0 | 0.0 |1232M|1058 | - |1973 |7670 | 0 | 0 | 0 |2148k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1537.94/1537.95 c 1433s| 2220k|855859 | 0 | 0.0 |1242M|1058 | - |1973 |7202 | 0 | 0 | 0 |2152k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1542.24/1542.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.24/1542.24 c 1437s| 2230k|862725 | 0 | 0.0 |1251M|1058 | - |1973 |7478 | 0 | 0 | 0 |2157k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1546.34/1546.39 c 1441s| 2240k|869702 | 0 | 0.0 |1260M|1058 | - |1973 |7010 | 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1550.84/1550.88 c 1445s| 2250k|876228 | 0 | 0.0 |1269M|1058 | - |1973 |8184 | 0 | 0 | 0 |2166k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1554.84/1554.83 c 1448s| 2260k|883604 | 0 | 0.0 |1276M|1058 | - |1973 |7103 | 0 | 0 | 0 |2171k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1559.54/1559.59 c 1453s| 2270k|889653 | 0 | 0.0 |1286M|1058 | - |1973 |9445 | 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1563.84/1563.84 c 1457s| 2280k|896496 | 0 | 0.0 |1293M|1058 | - |1973 |8725 | 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1567.94/1567.92 c 1460s| 2290k|903441 | 0 | 0.0 |1300M|1058 | - |1973 |7262 | 0 | 0 | 0 |2186k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1573.05/1573.02 c 1465s| 2300k|908095 | 0 | 0.0 |1304M|1058 | - |1973 |9189 | 0 | 0 | 0 |2194k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1588.35/1588.38 c 1480s| 2310k|903215 | 0 | 0.0 |1299M|1058 | - |1973 | 18k| 0 | 0 | 0 |2215k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1610.54/1610.56 c 1501s| 2320k|897076 | 0 | 0.0 |1289M|1058 | - |1973 | 23k| 0 | 0 | 0 |2238k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1637.54/1637.59 c 1528s| 2330k|889548 | 0 | 0.0 |1268M|1058 | - |1973 | 24k| 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1665.35/1665.38 c 1555s| 2340k|882133 | 0 | 0.0 |1246M|1058 | - |1973 | 29k| 0 | 0 | 0 |2292k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1693.74/1693.79 c 1583s| 2350k|877572 | 0 | 0.0 |1230M|1058 | - |1973 | 29k| 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1705.35/1705.38 c 1594s| 2360k|882350 | 0 | 0.0 |1237M|1058 | - |1973 | 17k| 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1715.74/1715.73 c 1604s| 2370k|886156 | 0 | 0.0 |1246M|1058 | - |1973 | 13k| 0 | 0 | 0 |2336k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1725.55/1725.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.55/1725.55 c 1613s| 2380k|889692 | 0 | 0.0 |1257M|1058 | - |1973 | 11k| 0 | 0 | 0 |2345k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1735.15/1735.18 c 1622s| 2390k|893090 | 0 | 0.0 |1268M|1058 | - |1973 | 11k| 0 | 0 | 0 |2355k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1745.05/1745.07 c 1631s| 2400k|896160 | 0 | 0.0 |1279M|1058 | - |1973 | 11k| 0 | 0 | 0 |2365k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1753.84/1753.86 c 1639s| 2410k|899115 | 0 | 0.0 |1284M|1058 | - |1973 |5785 | 0 | 0 | 0 |2375k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1761.06/1761.03 c 1646s| 2420k|902425 | 0 | 0.0 |1291M|1058 | - |1973 |6100 | 0 | 0 | 0 |2385k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1768.64/1768.60 c 1653s| 2430k|905098 | 0 | 0.0 |1296M|1058 | - |1973 |7631 | 0 | 0 | 0 |2395k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1777.25/1777.28 c 1661s| 2440k|906896 | 0 | 0.0 |1300M|1058 | - |1973 |6756 | 0 | 0 | 0 |2406k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1784.85/1784.87 c 1668s| 2450k|909713 | 0 | 0.0 |1307M|1058 | - |1973 |8122 | 0 | 0 | 0 |2416k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1793.95/1793.90 c 1677s| 2460k|911124 | 0 | 0.0 |1311M|1058 | - |1973 |7732 | 0 | 0 | 0 |2428k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1682.40
1800.06/1800.00 c Solving Nodes : 2467707
1800.06/1800.00 c Primal Bound : +9.00000000000000e+00 (17 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.01 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.06/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.06/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.06/1800.01 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.06/1800.01 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.06/1800.01 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.06/1800.01 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.06/1800.01 v -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1682.40
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2694117-1277906307.wbo
1800.06/1800.01 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous)
1800.06/1800.01 c Constraints : 3635 initial, 3635 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2694117-1277906307.wbo
1800.06/1800.01 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous)
1800.06/1800.01 c Constraints : 3465 initial, 39003 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 56 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 56 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 56 0 0
1800.06/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.05 0 0 0 929 0 114 56 0
1800.06/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 794 - - 1588 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 871 0 6127168 0 1507502 451 2611012 0 0 0
1800.06/1800.01 c knapsack : 1 0 8693001 0 1895580 236492 28433159 0 0 0
1800.06/1800.01 c setppc : 14 0 8505432 0 1892467 162384 5380268 0 0 0
1800.06/1800.01 c linear : 871 0 8347163 0 1895659 202730 12344746 0 0 0
1800.06/1800.01 c logicor : 1708+ 0 6187992 0 1895671 284621 17333978 0 0 0
1800.06/1800.01 c bounddisjunction : 0+ 0 82520 0 0 0 392 0 0 0
1800.06/1800.01 c countsols : 0 0 0 0 1895660 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c indicator : 10.24 0.00 4.86 0.00 5.38
1800.06/1800.01 c knapsack : 97.62 0.00 95.15 0.00 2.47
1800.06/1800.01 c setppc : 24.95 0.00 22.20 0.00 2.75
1800.06/1800.01 c linear : 149.68 0.00 149.36 0.00 0.32
1800.06/1800.01 c logicor : 543.08 0.00 445.89 0.00 97.19
1800.06/1800.01 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.06/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 0.00 2 0 0
1800.06/1800.01 c rootredcost : 0.00 0 0 0
1800.06/1800.01 c pseudoobj : 155.72 8750093 3733 2560002
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 25.72 889960 889928 3940651 17.8 77043 10.0 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.00 73 73 329 14.6 36 7.3 -
1800.06/1800.01 c applied globally : - - - 2436018 16.3 - - -
1800.06/1800.01 c applied locally : - - - 43 127.7 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.01 c redcost : 0.00 0 0 0 0 0
1800.06/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.01 c cmir : 0.00 0 0 0 0 0
1800.06/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.01 c clique : 0.00 0 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 29.34 1895643 0 0 0 0 3791286
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.07 - 17
1800.06/1800.01 c oneopt : 0.03 0 0
1800.06/1800.01 c trivial : 0.00 2 0
1800.06/1800.01 c simplerounding : 0.00 0 0
1800.06/1800.01 c zirounding : 0.00 0 0
1800.06/1800.01 c rounding : 0.00 0 0
1800.06/1800.01 c shifting : 0.00 0 0
1800.06/1800.01 c intshifting : 0.00 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c coefdiving : 0.00 0 0
1800.06/1800.01 c pscostdiving : 0.00 0 0
1800.06/1800.01 c fracdiving : 0.00 0 0
1800.06/1800.01 c veclendiving : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c objpscostdiving : 0.00 0 0
1800.06/1800.01 c rootsoldiving : 0.00 0 0
1800.06/1800.01 c linesearchdiving : 0.00 0 0
1800.06/1800.01 c guideddiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.00 0 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c crossover : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.02 c nlp : 0.00 0 0
1800.06/1800.02 c trysol : 0.00 1 0
1800.06/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.02 c (at root node) : - 0 0 0.00 -
1800.06/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.02 c B&B Tree :
1800.06/1800.02 c number of runs : 1
1800.06/1800.02 c nodes : 2467707
1800.06/1800.02 c nodes (total) : 2467707
1800.06/1800.02 c nodes left : 913226
1800.06/1800.02 c max depth : 1058
1800.06/1800.02 c max depth (total): 1058
1800.06/1800.02 c backtracks : 551905 (22.4%)
1800.06/1800.02 c delayed cutoffs : 394849
1800.06/1800.02 c repropagations : 1979694 (20228873 domain reductions, 318437 cutoffs)
1800.06/1800.02 c avg switch length: 27.01
1800.06/1800.02 c switching time : 525.74
1800.06/1800.02 c Solution :
1800.06/1800.02 c Solutions found : 17 (17 improvements)
1800.06/1800.02 c First Solution : +5.18000000000000e+02 (in run 1, after 25665 nodes, 7.39 seconds, depth 338, found by <relaxation>)
1800.06/1800.02 c Primal Bound : +9.00000000000000e+00 (in run 1, after 1294023 nodes, 819.75 seconds, depth 256, found by <relaxation>)
1800.06/1800.02 c Dual Bound : +0.00000000000000e+00
1800.06/1800.02 c Gap : infinite
1800.06/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.02 c Root Iterations : 0
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694117-1277906307/watcher-2694117-1277906307 -o /tmp/evaluation-result-2694117-1277906307/solver-2694117-1277906307 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694117-1277906307.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.03 2.07 4/178 14552 /proc/meminfo: memFree=31033476/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=8304 CPUtime=0 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 1552 0 0 0 0 0 0 0 21 0 1 0 131924969 8503296 1474 4089446400 4194304 7136930 140735008122480 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14552/statm: 2076 1474 275 719 0 1355 0 [startup+0.042301 s] /proc/loadavg: 1.98 2.03 2.07 4/178 14552 /proc/meminfo: memFree=31033476/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=21192 CPUtime=0.03 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 4937 0 0 0 3 0 0 0 18 0 1 0 131924969 21700608 4505 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14552/statm: 5298 4505 342 719 0 4577 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21192 [startup+0.101289 s] /proc/loadavg: 1.98 2.03 2.07 4/178 14552 /proc/meminfo: memFree=31033476/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=23244 CPUtime=0.09 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 7778 0 0 0 7 2 0 0 18 0 1 0 131924969 23801856 5033 4089446400 4194304 7136930 140735008122480 18446744073709551615 4914680 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14552/statm: 5811 5033 368 719 0 5090 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23244 [startup+0.300256 s] /proc/loadavg: 1.98 2.03 2.07 4/178 14552 /proc/meminfo: memFree=31033476/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=24216 CPUtime=0.29 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 9623 0 0 0 25 4 0 0 18 0 1 0 131924969 24797184 5336 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14552/statm: 6054 5336 399 719 0 5333 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24216 [startup+0.700179 s] /proc/loadavg: 1.98 2.03 2.07 4/178 14552 /proc/meminfo: memFree=31033476/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=26404 CPUtime=0.69 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 10182 0 0 0 60 9 0 0 18 0 1 0 131924969 27037696 5895 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14552/statm: 6601 5895 404 719 0 5880 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26404 [startup+1.50103 s] /proc/loadavg: 1.98 2.03 2.07 3/179 14553 /proc/meminfo: memFree=31011024/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=28180 CPUtime=1.49 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 10610 0 0 0 131 18 0 0 19 0 1 0 131924969 28856320 6323 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14552/statm: 7045 6323 404 719 0 6324 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28180 [startup+3.10071 s] /proc/loadavg: 1.98 2.03 2.07 3/179 14553 /proc/meminfo: memFree=31006932/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=33924 CPUtime=3.09 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 12076 0 0 0 274 35 0 0 25 0 1 0 131924969 34738176 7789 4089446400 4194304 7136930 140735008122480 18446744073709551615 4676271 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14552/statm: 8481 7789 404 719 0 7760 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33924 [startup+6.3011 s] /proc/loadavg: 1.98 2.03 2.07 3/179 14553 /proc/meminfo: memFree=30996824/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=43388 CPUtime=6.29 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 14433 0 0 0 564 65 0 0 25 0 1 0 131924969 44429312 10146 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 10847 10146 404 719 0 10126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43388 [startup+12.7009 s] /proc/loadavg: 1.98 2.02 2.07 3/179 14553 /proc/meminfo: memFree=30980964/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=59476 CPUtime=12.69 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 18445 0 0 0 1133 136 0 0 25 0 1 0 131924969 60903424 14158 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 14869 14158 405 719 0 14148 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59476 [startup+25.5004 s] /proc/loadavg: 1.99 2.02 2.07 3/179 14553 /proc/meminfo: memFree=30949716/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=88312 CPUtime=25.49 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 25696 0 0 0 2294 255 0 0 25 0 1 0 131924969 90431488 21409 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 22078 21409 405 719 0 21357 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88312 [startup+51.1005 s] /proc/loadavg: 1.99 2.02 2.06 3/179 14554 /proc/meminfo: memFree=30870772/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=135032 CPUtime=51.09 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 36830 0 0 0 4679 430 0 0 25 0 1 0 131924969 138272768 32543 4089446400 4194304 7136930 140735008122480 18446744073709551615 4210459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 33758 32543 405 719 0 33037 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135032 [startup+102.307 s] /proc/loadavg: 1.99 2.02 2.06 3/179 14555 /proc/meminfo: memFree=30657332/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=237032 CPUtime=102.29 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 61563 0 0 0 9337 892 0 0 25 0 1 0 131924969 242720768 57276 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 59258 57276 407 719 0 58537 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 237032 [startup+162.301 s] /proc/loadavg: 1.99 2.01 2.05 3/179 14566 /proc/meminfo: memFree=30450712/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=311516 CPUtime=162.29 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 80194 0 0 0 14931 1298 0 0 25 0 1 0 131924969 318992384 75907 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 77879 75907 407 719 0 77158 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 311516 [startup+222.301 s] /proc/loadavg: 1.99 2.00 2.05 3/197 14612 /proc/meminfo: memFree=30744184/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=343604 CPUtime=222.3 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 88143 0 0 0 20594 1636 0 0 25 0 1 0 131924969 351850496 83856 4089446400 4194304 7136930 140735008122480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 85901 83856 407 719 0 85180 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 343604 [startup+282.301 s] /proc/loadavg: 1.99 2.00 2.04 3/197 14614 /proc/meminfo: memFree=30643880/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=428324 CPUtime=282.3 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 108015 0 0 0 26090 2140 0 0 25 0 1 0 131924969 438603776 103728 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 107081 103728 407 719 0 106360 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 428324 [startup+342.301 s] /proc/loadavg: 1.99 2.00 2.03 3/197 14616 /proc/meminfo: memFree=30560992/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=500696 CPUtime=342.3 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 126061 0 0 0 31620 2610 0 0 25 0 1 0 131924969 512712704 121774 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 125174 121774 407 719 0 124453 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 500696 [startup+402.301 s] /proc/loadavg: 1.99 2.00 2.03 3/197 14617 /proc/meminfo: memFree=30452076/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=600988 CPUtime=402.3 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 150263 0 0 0 37150 3080 0 0 25 0 1 0 131924969 615411712 145976 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 150247 145976 407 719 0 149526 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 600988 [startup+462.301 s] /proc/loadavg: 1.99 2.00 2.02 3/197 14619 /proc/meminfo: memFree=30361268/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=679076 CPUtime=462.3 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 169440 0 0 0 42673 3557 0 0 25 0 1 0 131924969 695373824 165153 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 169769 165153 407 719 0 169048 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 679076 [startup+522.301 s] /proc/loadavg: 1.99 2.00 2.02 4/197 14620 /proc/meminfo: memFree=30334440/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=699316 CPUtime=522.31 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 174465 0 0 0 48369 3862 0 0 25 0 1 0 131924969 716099584 170178 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 174829 170178 407 719 0 174108 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 699316 [startup+582.3 s] /proc/loadavg: 1.99 2.00 2.01 3/197 14622 /proc/meminfo: memFree=30321136/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=703480 CPUtime=582.3 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 175540 0 0 0 54074 4156 0 0 25 0 1 0 131924969 720363520 171253 4089446400 4194304 7136930 140735008122480 18446744073709551615 4227235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 175870 171253 407 719 0 175149 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 703480 [startup+642.301 s] /proc/loadavg: 1.99 2.00 2.01 3/197 14624 /proc/meminfo: memFree=30311676/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=705228 CPUtime=642.31 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 175844 0 0 0 59824 4407 0 0 25 0 1 0 131924969 722153472 171557 4089446400 4194304 7136930 140735008122480 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 176307 171557 407 719 0 175586 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 705228 [startup+702.3 s] ################ # More data... # ################ /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 235074 0 0 0 93346 6887 0 0 25 0 1 0 131924969 972623872 230787 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 237457 230787 407 719 0 236736 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 949828 [startup+1062.3 s] /proc/loadavg: 2.09 2.12 2.06 3/197 14635 /proc/meminfo: memFree=30011380/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=965608 CPUtime=1062.33 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 238966 0 0 0 99074 7159 0 0 25 0 1 0 131924969 988782592 234679 4089446400 4194304 7136930 140735008122480 18446744073709551615 5956153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 241402 234679 407 719 0 240681 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 965608 [startup+1122.3 s] /proc/loadavg: 2.03 2.09 2.05 3/197 14636 /proc/meminfo: memFree=29984052/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=991640 CPUtime=1122.33 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 245448 0 0 0 104741 7492 0 0 25 0 1 0 131924969 1015439360 241161 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 247910 241161 407 719 0 247189 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 991640 [startup+1182.3 s] /proc/loadavg: 2.05 2.09 2.05 4/197 14638 /proc/meminfo: memFree=29956596/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1019200 CPUtime=1182.33 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 252469 0 0 0 110398 7835 0 0 25 0 1 0 131924969 1043660800 248182 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 254800 248182 407 719 0 254079 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1019200 [startup+1242.3 s] /proc/loadavg: 2.02 2.07 2.04 3/197 14640 /proc/meminfo: memFree=29920212/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1054204 CPUtime=1242.33 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 261349 0 0 0 116013 8220 0 0 25 0 1 0 131924969 1079504896 257062 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 263551 257062 407 719 0 262830 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1054204 [startup+1302.3 s] /proc/loadavg: 2.35 2.15 2.07 3/197 14641 /proc/meminfo: memFree=29870312/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1103376 CPUtime=1302.34 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 273633 0 0 0 121541 8693 0 0 25 0 1 0 131924969 1129857024 269346 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 275844 269346 407 719 0 275123 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1103376 [startup+1362.3 s] /proc/loadavg: 2.13 2.12 2.07 3/197 14643 /proc/meminfo: memFree=29807768/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1165796 CPUtime=1362.33 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 289412 0 0 0 127041 9192 0 0 25 0 1 0 131924969 1193775104 285125 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 291449 285125 407 719 0 290728 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1165796 [startup+1422.31 s] /proc/loadavg: 2.04 2.09 2.06 3/197 14644 /proc/meminfo: memFree=29722288/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1246664 CPUtime=1422.34 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 309920 0 0 0 132545 9689 0 0 25 0 1 0 131924969 1276583936 305633 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 311666 305633 407 719 0 310945 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1246664 [startup+1482.3 s] /proc/loadavg: 2.01 2.07 2.05 3/197 14646 /proc/meminfo: memFree=29649536/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1316124 CPUtime=1482.33 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 327491 0 0 0 138151 10082 0 0 25 0 1 0 131924969 1347710976 323204 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 329031 323204 407 719 0 328310 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1316124 [startup+1542.3 s] /proc/loadavg: 2.00 2.06 2.05 3/197 14648 /proc/meminfo: memFree=29564392/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1399380 CPUtime=1542.34 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 347573 0 0 0 143716 10518 0 0 25 0 1 0 131924969 1432965120 343286 4089446400 4194304 7136930 140735008122480 18446744073709551615 5001205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 349845 343286 407 719 0 349124 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1399380 [startup+1602.3 s] /proc/loadavg: 2.13 2.09 2.06 3/197 14649 /proc/meminfo: memFree=29503828/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1454304 CPUtime=1602.34 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 361412 0 0 0 149333 10901 0 0 25 0 1 0 131924969 1489207296 357125 4089446400 4194304 7136930 140735008122480 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 363576 357125 407 719 0 362855 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1454304 [startup+1662.3 s] /proc/loadavg: 2.11 2.09 2.06 3/197 14651 /proc/meminfo: memFree=29498824/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1454760 CPUtime=1662.35 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 361525 0 0 0 155192 11043 0 0 25 0 1 0 131924969 1489674240 357238 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 363690 357238 407 719 0 362969 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1454760 [startup+1722.3 s] /proc/loadavg: 2.04 2.07 2.05 3/197 14652 /proc/meminfo: memFree=29489372/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1458580 CPUtime=1722.35 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 362636 0 0 0 160975 11260 0 0 25 0 1 0 131924969 1493585920 358349 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 364645 358349 407 719 0 363924 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1458580 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.05 3/197 14654 /proc/meminfo: memFree=29461308/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1482996 CPUtime=1782.35 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 368440 0 0 0 166586 11649 0 0 25 0 1 0 131924969 1518587904 364153 4089446400 4194304 7136930 140735008122480 18446744073709551615 5955617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 370749 364153 407 719 0 370028 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1482996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.05 2.04 3/197 14655 /proc/meminfo: memFree=29457824/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1484792 CPUtime=1800.06 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 368933 0 0 0 168242 11764 0 0 25 0 1 0 131924969 1520427008 364646 4089446400 4194304 7136930 140735008122480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14552/statm: 371198 364646 407 719 0 370477 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1484792 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14552 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.05 2.04 3/198 14656 /proc/meminfo: memFree=29457568/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1483240 CPUtime=1801.45 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 368938 0 0 0 168381 11764 0 0 25 0 1 0 131924969 1518837760 364263 4089446400 4194304 7136930 140735008122480 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14552/statm: 370810 364263 412 719 0 370089 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1483240 [startup+1801.81 s] /proc/loadavg: 2.01 2.05 2.04 3/198 14656 /proc/meminfo: memFree=29460668/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1480140 CPUtime=1801.85 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 368938 0 0 0 168421 11764 0 0 25 0 1 0 131924969 1515663360 363488 4089446400 4194304 7136930 140735008122480 18446744073709551615 6165624 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14552/statm: 370035 363488 412 719 0 369314 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1480140 [startup+1802 s] /proc/loadavg: 2.01 2.05 2.04 3/198 14656 /proc/meminfo: memFree=29460668/32950928 swapFree=67111528/67111528 [pid=14552] ppid=14550 vsize=1451952 CPUtime=1802.05 /proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13958 0 -1 4202496 368938 0 0 0 168441 11764 0 0 25 0 1 0 131924969 1486798848 356443 4089446400 4194304 7136930 140735008122480 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14552/statm: 362988 356443 412 719 0 362267 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1451952 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.11 CPU user time (s): 1684.42 CPU system time (s): 117.688 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1484792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1684.42 system time used= 117.688 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 368938 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= 23304 runsolver used 2.75258 second user time and 6.06908 second system time The end
Begin job on node148 at 2010-06-30 15:58:27 IDJOB=2694117 IDBENCH=78937 IDSOLVER=1206 FILE ID=node148/2694117-1277906307 PBS_JOBID= 11197219 Free space on /tmp= 74172 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.1900547389--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-2694117-1277906307/watcher-2694117-1277906307 -o /tmp/evaluation-result-2694117-1277906307/solver-2694117-1277906307 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694117-1277906307.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 992c28e15fa8da7f001d610f6b39cc4c RANDOM SEED=1956872052 node148.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.836 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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 : 5415.14 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.836 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.836 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.78 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.836 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.79 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.836 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.836 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31033632 kB Buffers: 189552 kB Cached: 1271244 kB SwapCached: 0 kB Active: 785232 kB Inactive: 986776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31033632 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 311796 kB Mapped: 15080 kB Slab: 80408 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 454988 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= 74172 MiB End job on node148 at 2010-06-30 16:28:29