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.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo |
| MD5SUM | 81f3c07bf85fb8fa2211498324cd1b10 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 325.622 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 136843 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136842 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| 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-2693741-1277931339.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 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.09/0.12 o 136842
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.368420e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
1.99/2.05 o 553
1.99/2.05 c * 1.9s| 6694 | 6266 | 0 | 0.0 | 23M|2816 | - |5645 |6652 | 0 | 0 | 0 |1254 | 0 | 0.000000e+00 | 5.530000e+02 | Inf
2.09/2.19 o 519
2.09/2.19 c * 2.0s| 7006 | 6573 | 0 | 0.0 | 23M|2816 | - |5645 |6670 | 0 | 0 | 0 |1274 | 0 | 0.000000e+00 | 5.190000e+02 | Inf
2.09/2.20 o 441
2.09/2.20 c * 2.0s| 7007 | 6564 | 0 | 0.0 | 23M|2816 | - |5645 |6670 | 0 | 0 | 0 |1274 | 0 | 0.000000e+00 | 4.410000e+02 | Inf
2.20/2.26 o 438
2.20/2.26 c * 2.1s| 7152 | 6705 | 0 | 0.0 | 23M|2816 | - |5645 |6680 | 0 | 0 | 0 |1284 | 0 | 0.000000e+00 | 4.380000e+02 | Inf
2.20/2.27 o 360
2.20/2.27 c * 2.1s| 7153 | 5920 | 0 | 0.0 | 23M|2816 | - |5645 |6680 | 0 | 0 | 0 |1284 | 0 | 0.000000e+00 | 3.600000e+02 | Inf
2.38/2.45 o 356
2.38/2.45 c * 2.2s| 7552 | 6262 | 0 | 0.0 | 24M|2816 | - |5645 |6738 | 0 | 0 | 0 |1347 | 0 | 0.000000e+00 | 3.560000e+02 | Inf
2.38/2.45 o 354
2.38/2.45 c * 2.2s| 7553 | 6242 | 0 | 0.0 | 24M|2816 | - |5645 |6738 | 0 | 0 | 0 |1347 | 0 | 0.000000e+00 | 3.540000e+02 | Inf
2.69/2.75 o 331
2.69/2.75 c * 2.5s| 8413 | 6586 | 0 | 0.0 | 25M|2816 | - |5645 |6835 | 0 | 0 | 0 |1452 | 0 | 0.000000e+00 | 3.310000e+02 | Inf
2.79/2.81 o 326
2.79/2.81 c * 2.6s| 8540 | 6613 | 0 | 0.0 | 25M|2816 | - |5645 |6834 | 0 | 0 | 0 |1452 | 0 | 0.000000e+00 | 3.260000e+02 | Inf
2.79/2.85 o 305
2.79/2.85 c * 2.6s| 8667 | 6655 | 0 | 0.0 | 25M|2816 | - |5645 |6845 | 0 | 0 | 0 |1473 | 0 | 0.000000e+00 | 3.050000e+02 | Inf
2.79/2.85 o 281
2.79/2.85 c * 2.6s| 8668 | 6628 | 0 | 0.0 | 24M|2816 | - |5645 |6845 | 0 | 0 | 0 |1473 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.89/2.95 o 231
2.89/2.95 c * 2.7s| 9116 | 6780 | 0 | 0.0 | 25M|2816 | - |5645 |6876 | 0 | 0 | 0 |1513 | 0 | 0.000000e+00 | 2.310000e+02 | Inf
2.99/3.04 o 182
2.99/3.04 c * 2.8s| 9413 | 6933 | 0 | 0.0 | 25M|2816 | - |5645 |6939 | 0 | 0 | 0 |1600 | 0 | 0.000000e+00 | 1.820000e+02 | Inf
3.19/3.21 c 3.0s| 10000 | 7472 | 0 | 0.0 | 25M|2816 | - |5645 |7063 | 0 | 0 | 0 |1849 | 0 | 0.000000e+00 | 1.820000e+02 | Inf
6.69/6.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.78 c 6.3s| 20000 | 15587 | 0 | 0.0 | 37M|2816 | - |5645 |7787 | 0 | 0 | 0 |9921 | 0 | 0.000000e+00 | 1.820000e+02 | Inf
11.69/11.74 c 11.0s| 30000 | 22049 | 0 | 0.0 | 50M|2816 | - |5645 |9351 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
14.30/14.36 o 153
14.30/14.36 c *13.5s| 33648 | 24157 | 0 | 0.0 | 54M|2816 | - |5645 |8592 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
14.59/14.63 o 150
14.59/14.63 c *13.8s| 34079 | 24536 | 0 | 0.0 | 55M|2816 | - |5645 |8543 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
16.49/16.54 o 122
16.49/16.54 c *15.6s| 36685 | 26582 | 0 | 0.0 | 59M|2816 | - |5645 |8733 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
17.88/17.93 o 121
17.88/17.93 c *16.9s| 39018 | 28772 | 0 | 0.0 | 62M|2816 | - |5645 |7981 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
17.88/17.93 o 109
17.88/17.93 c *16.9s| 39019 | 28673 | 0 | 0.0 | 61M|2816 | - |5645 |7981 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
18.49/18.58 c 17.6s| 40000 | 29567 | 0 | 0.0 | 63M|2816 | - |5645 |7999 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
19.59/19.61 o 99
19.59/19.61 c *18.6s| 41339 | 30513 | 0 | 0.0 | 65M|2816 | - |5645 |8499 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
20.69/20.79 o 92
20.69/20.79 c *19.7s| 42728 | 31219 | 0 | 0.0 | 68M|2816 | - |5645 |8986 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
22.79/22.85 o 88
22.79/22.85 c *21.7s| 45157 | 33068 | 0 | 0.0 | 74M|2816 | - |5645 |9007 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
22.88/22.90 o 83
22.88/22.90 c *21.7s| 45233 | 32913 | 0 | 0.0 | 73M|2816 | - |5645 |8971 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
26.09/26.19 o 68
26.09/26.19 c *24.9s| 49648 | 35822 | 0 | 0.0 | 76M|2816 | - |5645 |7869 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
26.40/26.41 c 25.1s| 50000 | 36132 | 0 | 0.0 | 77M|2816 | - |5645 |7807 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
28.79/28.84 o 49
28.79/28.84 c *27.4s| 54524 | 38572 | 0 | 0.0 | 76M|2816 | - |5645 |8556 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
31.69/31.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.69/31.78 c 30.2s| 60000 | 43287 | 0 | 0.0 | 83M|2816 | - |5645 |8950 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
36.89/36.96 c 35.0s| 70000 | 51675 | 0 | 0.0 | 93M|2816 | - |5645 |8235 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
41.29/41.30 c 39.1s| 80000 | 60039 | 0 | 0.0 | 103M|2816 | - |5645 |8396 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
44.99/45.07 c 42.7s| 90000 | 68414 | 0 | 0.0 | 111M|2816 | - |5645 |7166 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
49.49/49.51 c 46.9s|100000 | 76020 | 0 | 0.0 | 122M|2816 | - |5645 |8024 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
54.59/54.68 c 51.8s|110000 | 83026 | 0 | 0.0 | 133M|2816 | - |5645 |8512 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
60.19/60.25 c 57.1s|120000 | 89710 | 0 | 0.0 | 145M|2816 | - |5645 |9007 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
66.18/66.22 c 62.8s|130000 | 96042 | 0 | 0.0 | 157M|2816 | - |5645 |9426 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
72.39/72.49 c 68.8s|140000 |102068 | 0 | 0.0 | 168M|2816 | - |5645 | 10k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
78.99/79.07 c 75.1s|150000 |107841 | 0 | 0.0 | 180M|2816 | - |5645 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
85.39/85.42 c 81.2s|160000 |113850 | 0 | 0.0 | 192M|2816 | - |5645 | 10k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
92.49/92.52 c 88.0s|170000 |119213 | 0 | 0.0 | 204M|2816 | - |5645 | 11k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
100.29/100.33 c 95.4s|180000 |123966 | 0 | 0.0 | 216M|2816 | - |5645 | 12k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
109.29/109.39 c 104s|190000 |127710 | 0 | 0.0 | 227M|2816 | - |5645 | 13k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
120.39/120.42 c 115s|200000 |129763 | 0 | 0.0 | 237M|2816 | - |5645 | 14k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
126.69/126.70 o 39
126.69/126.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.69/126.70 c * 121s|209148 |135704 | 0 | 0.0 | 238M|2816 | - |5645 |6504 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
127.19/127.20 c 121s|210000 |136433 | 0 | 0.0 | 239M|2816 | - |5645 |6556 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
129.59/129.63 o 35
129.59/129.63 c * 124s|214187 |139439 | 0 | 0.0 | 242M|2816 | - |5645 |6571 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
133.69/133.74 c 128s|220000 |143886 | 0 | 0.0 | 251M|2816 | - |5645 |7155 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
142.89/142.91 c 136s|230000 |149766 | 0 | 0.0 | 269M|2816 | - |5645 |7231 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
143.28/143.39 o 31
143.28/143.39 c * 137s|230918 |150289 | 0 | 0.0 | 268M|2816 | - |5645 |7338 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
144.88/144.99 o 20
144.88/144.99 c * 138s|234001 |151545 | 0 | 0.0 | 263M|2816 | - |5645 |7470 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
148.09/148.12 c 141s|240000 |156616 | 0 | 0.0 | 271M|2816 | - |5645 |8150 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
153.38/153.47 c 146s|250000 |164889 | 0 | 0.0 | 282M|2816 | - |5645 |9064 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
159.79/159.81 c 152s|260000 |172504 | 0 | 0.0 | 293M|2816 | - |5645 | 11k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
170.98/171.01 c 163s|270000 |176406 | 0 | 0.0 | 306M|2816 | - |5645 | 12k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
175.68/175.76 c 168s|280000 |184825 | 0 | 0.0 | 317M|2816 | - |5645 |9922 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
183.29/183.33 c 175s|290000 |190563 | 0 | 0.0 | 330M|2816 | - |5645 | 12k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
186.99/187.07 o 18
186.99/187.07 c * 178s|297889 |197102 | 0 | 0.0 | 337M|2816 | - |5645 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
188.28/188.33 c 179s|300000 |198775 | 0 | 0.0 | 340M|2816 | - |5645 | 10k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
193.59/193.62 o 17
193.59/193.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.59/193.62 c * 185s|307160 |203240 | 0 | 0.0 | 351M|2816 | - |5645 | 13k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
195.48/195.55 c 186s|310000 |205032 | 0 | 0.0 | 353M|2816 | - |5645 | 10k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
200.68/200.75 c 191s|320000 |212870 | 0 | 0.0 | 365M|2816 | - |5645 | 12k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
207.39/207.40 c 198s|330000 |219852 | 0 | 0.0 | 377M|2816 | - |5645 | 11k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
213.19/213.24 c 203s|340000 |227288 | 0 | 0.0 | 389M|2816 | - |5645 | 14k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
219.18/219.22 o 13
219.18/219.22 c * 209s|349156 |232153 | 0 | 0.0 | 388M|2816 | - |5645 | 11k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
219.69/219.77 c 209s|350000 |232773 | 0 | 0.0 | 390M|2816 | - |5645 | 11k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
226.88/226.98 c 216s|360000 |239181 | 0 | 0.0 | 402M|2816 | - |5645 | 12k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
232.18/232.23 c 221s|370000 |246863 | 0 | 0.0 | 414M|2816 | - |5645 | 13k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
238.98/239.07 c 228s|380000 |253685 | 0 | 0.0 | 426M|2816 | - |5645 | 12k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
244.28/244.38 c 233s|390000 |261722 | 0 | 0.0 | 439M|2816 | - |5645 | 12k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
250.69/250.72 c 239s|400000 |269245 | 0 | 0.0 | 451M|2816 | - |5645 | 13k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
254.88/254.96 o 10
254.88/254.96 c * 243s|406340 |272005 | 0 | 0.0 | 449M|2816 | - |5645 | 13k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
257.68/257.71 c 245s|410000 |274594 | 0 | 0.0 | 454M|2816 | - |5645 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
265.58/265.64 c 253s|420000 |281057 | 0 | 0.0 | 465M|2816 | - |5645 | 16k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
272.28/272.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.28/272.35 c 259s|430000 |287942 | 0 | 0.0 | 477M|2816 | - |5645 | 13k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
279.29/279.39 c 266s|440000 |294541 | 0 | 0.0 | 489M|2816 | - |5645 | 18k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
284.98/285.08 c 272s|450000 |302439 | 0 | 0.0 | 501M|2816 | - |5645 | 15k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
292.08/292.15 c 278s|460000 |309159 | 0 | 0.0 | 513M|2816 | - |5645 | 15k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
298.29/298.39 c 284s|470000 |316525 | 0 | 0.0 | 526M|2816 | - |5645 | 18k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
304.89/304.91 c 290s|480000 |323801 | 0 | 0.0 | 537M|2816 | - |5645 | 16k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
312.08/312.16 c 297s|490000 |330597 | 0 | 0.0 | 549M|2816 | - |5645 | 17k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
317.89/317.98 c 303s|500000 |338429 | 0 | 0.0 | 564M|2816 | - |5645 | 18k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
325.18/325.25 c 310s|510000 |345464 | 0 | 0.0 | 578M|2816 | - |5645 | 18k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
332.38/332.44 c 317s|520000 |352268 | 0 | 0.0 | 591M|2816 | - |5645 | 14k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
337.69/337.70 c 322s|530000 |359470 | 0 | 0.0 | 600M|2816 | - |5645 | 16k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
342.47/342.53 c 326s|540000 |367395 | 0 | 0.0 | 609M|2816 | - |5645 | 14k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
347.59/347.61 c 331s|550000 |374911 | 0 | 0.0 | 619M|2816 | - |5645 | 16k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
354.08/354.17 c 337s|560000 |381227 | 0 | 0.0 | 627M|2816 | - |5645 | 15k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
358.59/358.66 c 341s|570000 |389405 | 0 | 0.0 | 637M|2816 | - |5645 | 14k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
363.78/363.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.78/363.83 c 346s|580000 |396907 | 0 | 0.0 | 647M|2816 | - |5645 | 15k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
369.78/369.85 c 352s|590000 |403719 | 0 | 0.0 | 656M|2816 | - |5645 | 16k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
375.88/375.91 c 358s|600000 |410469 | 0 | 0.0 | 665M|2816 | - |5645 | 15k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
381.69/381.78 c 363s|610000 |417422 | 0 | 0.0 | 675M|2816 | - |5645 | 15k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
387.58/387.68 c 369s|620000 |424321 | 0 | 0.0 | 684M|2816 | - |5645 | 16k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
393.48/393.51 c 374s|630000 |431171 | 0 | 0.0 | 694M|2816 | - |5645 | 16k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
398.78/398.88 c 379s|640000 |438366 | 0 | 0.0 | 703M|2816 | - |5645 | 16k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
403.98/404.03 c 384s|650000 |445974 | 0 | 0.0 | 713M|2816 | - |5645 | 15k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
409.58/409.68 c 390s|660000 |452946 | 0 | 0.0 | 722M|2816 | - |5645 | 15k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
414.98/415.09 c 395s|670000 |460140 | 0 | 0.0 | 731M|2816 | - |5645 | 15k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
420.48/420.53 c 400s|680000 |467009 | 0 | 0.0 | 736M|2816 | - |5645 |5007 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
424.08/424.17 c 403s|690000 |475105 | 0 | 0.0 | 745M|2816 | - |5645 |4561 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
427.59/427.64 c 407s|700000 |483262 | 0 | 0.0 | 755M|2816 | - |5645 |4500 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
432.08/432.13 c 411s|710000 |490416 | 0 | 0.0 | 765M|2816 | - |5645 |5575 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
438.79/438.82 c 417s|720000 |495655 | 0 | 0.0 | 776M|2816 | - |5645 |7019 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
445.79/445.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.79/445.81 c 424s|730000 |500749 | 0 | 0.0 | 787M|2816 | - |5645 |7871 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
453.28/453.33 c 431s|740000 |505416 | 0 | 0.0 | 798M|2816 | - |5645 |8900 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
460.98/461.05 c 438s|750000 |509901 | 0 | 0.0 | 809M|2816 | - |5645 |8648 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
468.98/469.04 c 446s|760000 |514172 | 0 | 0.0 | 819M|2816 | - |5645 |9406 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
477.38/477.42 c 454s|770000 |518181 | 0 | 0.0 | 829M|2816 | - |5645 | 10k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
485.68/485.78 c 462s|780000 |522186 | 0 | 0.0 | 839M|2816 | - |5645 | 10k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
494.48/494.55 c 471s|790000 |525989 | 0 | 0.0 | 849M|2816 | - |5645 | 10k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
503.29/503.36 c 479s|800000 |529753 | 0 | 0.0 | 859M|2816 | - |5645 | 11k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
512.29/512.33 c 488s|810000 |533397 | 0 | 0.0 | 870M|2816 | - |5645 | 11k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
521.09/521.15 c 496s|820000 |537212 | 0 | 0.0 | 879M|2816 | - |5645 | 11k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
530.39/530.46 c 505s|830000 |540614 | 0 | 0.0 | 889M|2816 | - |5645 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
539.58/539.68 c 514s|840000 |544101 | 0 | 0.0 | 898M|2816 | - |5645 | 12k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
548.99/549.03 c 523s|850000 |547424 | 0 | 0.0 | 908M|2816 | - |5645 | 12k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
558.58/558.63 c 532s|860000 |550598 | 0 | 0.0 | 918M|2816 | - |5645 | 12k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
568.38/568.42 c 542s|870000 |553604 | 0 | 0.0 | 927M|2816 | - |5645 | 12k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
578.18/578.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.18/578.29 c 551s|880000 |556556 | 0 | 0.0 | 936M|2816 | - |5645 | 12k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
588.58/588.67 c 561s|890000 |559158 | 0 | 0.0 | 945M|2816 | - |5645 | 11k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
599.29/599.31 c 572s|900000 |561409 | 0 | 0.0 | 953M|2816 | - |5645 | 12k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
609.89/609.91 c 582s|910000 |563825 | 0 | 0.0 | 962M|2816 | - |5645 | 12k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
620.68/620.75 c 592s|920000 |564572 | 0 | 0.0 | 969M|2816 | - |5645 | 12k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
633.49/633.50 c 605s|930000 |562820 | 0 | 0.0 | 973M|2816 | - |5645 | 13k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
648.69/648.74 c 620s|940000 |556609 | 0 | 0.0 | 966M|2816 | - |5645 | 15k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
656.19/656.25 c 627s|950000 |559402 | 0 | 0.0 | 959M|2816 | - |5645 |5598 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
660.58/660.60 c 631s|960000 |567387 | 0 | 0.0 | 969M|2816 | - |5645 |5922 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
665.29/665.33 c 635s|970000 |574990 | 0 | 0.0 | 979M|2816 | - |5645 |6483 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
670.69/670.73 c 640s|980000 |582043 | 0 | 0.0 | 991M|2816 | - |5645 |7269 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
676.58/676.64 c 646s|990000 |588735 | 0 | 0.0 |1002M|2816 | - |5645 |8283 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
683.10/683.12 c 652s| 1000k|594991 | 0 | 0.0 |1014M|2816 | - |5645 |9344 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
690.29/690.32 c 659s| 1010k|600770 | 0 | 0.0 |1025M|2816 | - |5645 | 10k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
698.19/698.27 c 666s| 1020k|605914 | 0 | 0.0 |1037M|2816 | - |5645 | 11k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
707.49/707.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.49/707.56 c 675s| 1030k|610147 | 0 | 0.0 |1049M|2816 | - |5645 | 13k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
718.69/718.77 c 686s| 1040k|613107 | 0 | 0.0 |1061M|2816 | - |5645 | 14k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
734.69/734.79 c 702s| 1050k|611443 | 0 | 0.0 |1064M|2816 | - |5645 | 13k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
739.49/739.57 c 706s| 1060k|619393 | 0 | 0.0 |1072M|2816 | - |5645 |6362 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
744.19/744.22 c 710s| 1070k|627082 | 0 | 0.0 |1082M|2816 | - |5645 |6295 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
749.09/749.11 c 715s| 1080k|634618 | 0 | 0.0 |1092M|2816 | - |5645 |6570 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
754.09/754.10 c 720s| 1090k|642023 | 0 | 0.0 |1102M|2816 | - |5645 |6757 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
754.09/754.12 o 9
754.09/754.12 c * 720s| 1090k|641205 | 0 | 0.0 |1097M|2816 | - |5645 |6762 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
759.79/759.81 c 725s| 1100k|648461 | 0 | 0.0 |1108M|2816 | - |5645 |7296 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
765.59/765.61 c 730s| 1110k|655549 | 0 | 0.0 |1120M|2816 | - |5645 |7564 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
771.00/771.10 c 736s| 1120k|662774 | 0 | 0.0 |1130M|2816 | - |5645 |7998 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
776.59/776.61 c 741s| 1130k|669943 | 0 | 0.0 |1141M|2816 | - |5645 |8111 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
782.49/782.51 c 746s| 1140k|676730 | 0 | 0.0 |1151M|2816 | - |5645 |8484 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
788.29/788.38 c 752s| 1150k|683512 | 0 | 0.0 |1162M|2816 | - |5645 |8808 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
793.90/793.95 o 5
793.90/793.95 c * 757s| 1159k|685835 | 0 | 0.0 |1154M|2816 | - |5645 |8995 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
794.20/794.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.20/794.25 c 757s| 1160k|686123 | 0 | 0.0 |1154M|2816 | - |5645 |9000 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
801.59/801.63 c 764s| 1170k|692646 | 0 | 0.0 |1173M|2816 | - |5645 |9591 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
808.50/808.52 c 771s| 1180k|699048 | 0 | 0.0 |1186M|2816 | - |5645 |9999 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
815.49/815.55 c 777s| 1190k|705075 | 0 | 0.0 |1198M|2816 | - |5645 | 10k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
822.79/822.89 c 784s| 1200k|710767 | 0 | 0.0 |1209M|2816 | - |5645 | 10k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
830.20/830.24 c 791s| 1210k|716444 | 0 | 0.0 |1220M|2816 | - |5645 | 11k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
837.49/837.57 c 798s| 1220k|722131 | 0 | 0.0 |1230M|2816 | - |5645 | 12k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
845.79/845.82 c 806s| 1230k|727095 | 0 | 0.0 |1240M|2816 | - |5645 | 12k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
854.19/854.21 c 814s| 1240k|731953 | 0 | 0.0 |1250M|2816 | - |5645 | 13k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
862.70/862.79 c 822s| 1250k|736689 | 0 | 0.0 |1259M|2816 | - |5645 | 14k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
872.59/872.63 c 832s| 1260k|740764 | 0 | 0.0 |1268M|2816 | - |5645 | 14k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
883.30/883.30 c 842s| 1270k|744141 | 0 | 0.0 |1277M|2816 | - |5645 | 16k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
896.39/896.47 c 855s| 1280k|746062 | 0 | 0.0 |1284M|2816 | - |5645 | 17k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
913.10/913.10 c 871s| 1290k|745749 | 0 | 0.0 |1285M|2816 | - |5645 | 13k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
917.49/917.52 c 875s| 1300k|753708 | 0 | 0.0 |1293M|2816 | - |5645 |7831 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
922.50/922.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.50/922.53 c 880s| 1310k|760978 | 0 | 0.0 |1303M|2816 | - |5645 |8616 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
927.80/927.86 c 885s| 1320k|767905 | 0 | 0.0 |1313M|2816 | - |5645 |9495 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
933.60/933.64 c 890s| 1330k|774477 | 0 | 0.0 |1323M|2816 | - |5645 | 10k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
939.69/939.74 c 896s| 1340k|780819 | 0 | 0.0 |1333M|2816 | - |5645 | 11k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
946.89/946.90 c 903s| 1350k|786396 | 0 | 0.0 |1344M|2816 | - |5645 | 12k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
955.10/955.14 c 911s| 1360k|791278 | 0 | 0.0 |1354M|2816 | - |5645 | 14k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
964.70/964.77 c 920s| 1370k|795222 | 0 | 0.0 |1364M|2816 | - |5645 | 15k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
976.59/976.61 c 931s| 1380k|797720 | 0 | 0.0 |1373M|2816 | - |5645 | 17k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
989.59/989.69 c 944s| 1390k|799543 | 0 | 0.0 |1377M|2816 | - |5645 | 11k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
994.41/994.48 c 949s| 1400k|807251 | 0 | 0.0 |1386M|2816 | - |5645 |8960 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
999.40/999.49 c 953s| 1410k|814566 | 0 | 0.0 |1397M|2816 | - |5645 |9693 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1004.40/1004.47 c 958s| 1420k|821855 | 0 | 0.0 |1407M|2816 | - |5645 |9874 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1010.09/1010.13 c 963s| 1430k|828601 | 0 | 0.0 |1418M|2816 | - |5645 | 10k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1015.99/1016.03 c 969s| 1440k|835171 | 0 | 0.0 |1428M|2816 | - |5645 | 11k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1022.80/1022.88 c 975s| 1450k|841104 | 0 | 0.0 |1439M|2816 | - |5645 | 12k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1030.50/1030.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.50/1030.56 c 983s| 1460k|846447 | 0 | 0.0 |1449M|2816 | - |5645 | 14k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1039.89/1039.92 c 992s| 1470k|850667 | 0 | 0.0 |1460M|2816 | - |5645 | 16k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1052.30/1052.32 c 1004s| 1480k|852867 | 0 | 0.0 |1469M|2816 | - |5645 | 18k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1061.70/1061.79 c 1013s| 1490k|857303 | 0 | 0.0 |1473M|2816 | - |5645 | 10k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1066.20/1066.20 c 1017s| 1500k|864979 | 0 | 0.0 |1482M|2816 | - |5645 | 10k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1071.00/1071.01 c 1021s| 1510k|872359 | 0 | 0.0 |1491M|2816 | - |5645 | 10k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1076.30/1076.36 c 1026s| 1520k|879309 | 0 | 0.0 |1500M|2816 | - |5645 | 11k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1082.00/1082.08 c 1032s| 1530k|886098 | 0 | 0.0 |1509M|2816 | - |5645 | 13k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1088.50/1088.56 c 1038s| 1540k|892415 | 0 | 0.0 |1518M|2816 | - |5645 | 14k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1095.90/1095.99 c 1045s| 1550k|898146 | 0 | 0.0 |1528M|2816 | - |5645 | 15k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1104.31/1104.30 c 1053s| 1560k|903214 | 0 | 0.0 |1537M|2816 | - |5645 | 16k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1116.60/1116.64 c 1065s| 1570k|905560 | 0 | 0.0 |1546M|2816 | - |5645 | 18k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1123.01/1123.06 c 1071s| 1580k|912132 | 0 | 0.0 |1552M|2816 | - |5645 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1127.81/1127.85 c 1076s| 1590k|919737 | 0 | 0.0 |1561M|2816 | - |5645 | 11k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1132.70/1132.79 c 1080s| 1600k|927222 | 0 | 0.0 |1571M|2816 | - |5645 | 12k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1138.20/1138.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.20/1138.23 c 1085s| 1610k|934377 | 0 | 0.0 |1581M|2816 | - |5645 | 13k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1144.10/1144.19 c 1091s| 1620k|941097 | 0 | 0.0 |1591M|2816 | - |5645 | 14k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1150.70/1150.70 c 1097s| 1630k|947460 | 0 | 0.0 |1602M|2816 | - |5645 | 15k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1157.60/1157.61 c 1104s| 1640k|953560 | 0 | 0.0 |1612M|2816 | - |5645 | 16k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1165.71/1165.70 c 1112s| 1650k|958771 | 0 | 0.0 |1622M|2816 | - |5645 | 17k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1175.50/1175.50 c 1121s| 1660k|963069 | 0 | 0.0 |1632M|2816 | - |5645 | 20k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1189.01/1189.10 c 1134s| 1670k|964980 | 0 | 0.0 |1639M|2816 | - |5645 | 18k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1196.00/1196.01 c 1141s| 1680k|970977 | 0 | 0.0 |1645M|2816 | - |5645 | 11k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1201.01/1201.05 c 1145s| 1690k|978315 | 0 | 0.0 |1654M|2816 | - |5645 | 11k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1206.40/1206.44 c 1150s| 1700k|985415 | 0 | 0.0 |1665M|2816 | - |5645 | 12k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1212.51/1212.56 c 1156s| 1710k|991972 | 0 | 0.0 |1675M|2816 | - |5645 | 13k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1219.60/1219.65 c 1163s| 1720k|997862 | 0 | 0.0 |1686M|2816 | - |5645 | 15k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1227.61/1227.64 c 1171s| 1730k| 1003k| 0 | 0.0 |1697M|2816 | - |5645 | 17k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1236.80/1236.89 c 1180s| 1740k| 1007k| 0 | 0.0 |1708M|2816 | - |5645 | 19k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1249.50/1249.58 c 1192s| 1750k| 1010k| 0 | 0.0 |1717M|2816 | - |5645 | 21k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1258.00/1258.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.00/1258.02 c 1200s| 1760k| 1015k| 0 | 0.0 |1722M|2816 | - |5645 | 12k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1262.60/1262.69 c 1204s| 1770k| 1023k| 0 | 0.0 |1731M|2816 | - |5645 | 11k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1267.70/1267.78 c 1209s| 1780k| 1030k| 0 | 0.0 |1741M|2816 | - |5645 | 12k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1273.41/1273.46 c 1214s| 1790k| 1037k| 0 | 0.0 |1751M|2816 | - |5645 | 13k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1279.80/1279.89 c 1221s| 1800k| 1043k| 0 | 0.0 |1762M|2816 | - |5645 | 15k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1286.70/1286.72 c 1227s| 1810k| 1050k| 0 | 0.0 |1772M|2816 | - |5645 | 16k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1293.91/1293.91 c 1234s| 1820k| 1055k| 0 | 0.0 |1781M|2816 | - |5645 | 16k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1303.10/1303.14 c 1243s| 1830k| 1060k| 0 | 0.0 |1791M|2816 | - |5645 | 18k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1315.61/1315.64 c 1255s| 1840k| 1062k| 0 | 0.0 |1799M|2816 | - |5645 | 20k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1323.80/1323.84 c 1263s| 1850k| 1068k| 0 | 0.0 |1804M|2816 | - |5645 | 11k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1329.10/1329.18 c 1268s| 1860k| 1075k| 0 | 0.0 |1814M|2816 | - |5645 | 12k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1334.40/1334.44 c 1273s| 1870k| 1082k| 0 | 0.0 |1824M|2816 | - |5645 | 12k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1339.91/1339.92 c 1278s| 1880k| 1090k| 0 | 0.0 |1835M|2816 | - |5645 | 13k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1345.70/1345.75 c 1283s| 1890k| 1096k| 0 | 0.0 |1845M|2816 | - |5645 | 13k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1348.91/1348.92 o 4
1348.91/1348.92 c *1286s| 1895k| 1097k| 0 | 0.0 |1839M|2816 | - |5645 | 13k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1352.30/1352.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.30/1352.32 c 1290s| 1900k| 1100k| 0 | 0.0 |1845M|2816 | - |5645 | 13k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1359.10/1359.12 c 1296s| 1910k| 1106k| 0 | 0.0 |1855M|2816 | - |5645 | 13k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1365.90/1365.98 c 1303s| 1920k| 1113k| 0 | 0.0 |1865M|2816 | - |5645 | 13k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1372.71/1372.74 c 1309s| 1930k| 1119k| 0 | 0.0 |1875M|2816 | - |5645 | 13k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1379.60/1379.63 c 1316s| 1940k| 1125k| 0 | 0.0 |1885M|2816 | - |5645 | 13k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1386.80/1386.80 c 1322s| 1950k| 1131k| 0 | 0.0 |1894M|2816 | - |5645 | 13k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1393.91/1393.91 c 1329s| 1960k| 1137k| 0 | 0.0 |1904M|2816 | - |5645 | 14k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1400.91/1400.90 c 1336s| 1970k| 1143k| 0 | 0.0 |1913M|2816 | - |5645 | 14k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1407.80/1407.84 c 1342s| 1980k| 1149k| 0 | 0.0 |1923M|2816 | - |5645 | 14k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1414.71/1414.73 c 1349s| 1990k| 1156k| 0 | 0.0 |1932M|2816 | - |5645 | 14k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1421.80/1421.81 c 1356s| 2000k| 1162k| 0 | 0.0 |1941M|2816 | - |5645 | 14k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1428.60/1428.60 c 1362s| 2010k| 1168k| 0 | 0.0 |1950M|2816 | - |5645 | 14k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1435.41/1435.44 c 1369s| 2020k| 1174k| 0 | 0.0 |1959M|2816 | - |5645 | 14k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1442.30/1442.32 c 1375s| 2030k| 1180k| 0 | 0.0 |1968M|2816 | - |5645 | 15k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1449.30/1449.35 c 1382s| 2040k| 1186k| 0 | 0.0 |1977M|2816 | - |5645 | 15k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1457.01/1457.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.01/1457.02 c 1389s| 2050k| 1191k| 0 | 0.0 |1986M|2816 | - |5645 | 16k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1464.90/1464.99 c 1397s| 2060k| 1197k| 0 | 0.0 |1995M|2816 | - |5645 | 16k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1473.20/1473.22 c 1405s| 2070k| 1202k| 0 | 0.0 |2005M|2816 | - |5645 | 17k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1482.01/1482.01 c 1413s| 2080k| 1207k| 0 | 0.0 |2014M|2816 | - |5645 | 19k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1491.41/1491.43 c 1422s| 2090k| 1212k| 0 | 0.0 |2023M|2816 | - |5645 | 20k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1501.30/1501.37 c 1432s| 2100k| 1216k| 0 | 0.0 |2032M|2816 | - |5645 | 21k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1513.61/1513.64 c 1444s| 2110k| 1219k| 0 | 0.0 |2041M|2816 | - |5645 | 24k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1523.71/1523.70 c 1453s| 2120k| 1223k| 0 | 0.0 |2044M|2816 | - |5645 | 13k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1528.20/1528.28 c 1458s| 2130k| 1231k| 0 | 0.0 |2054M|2816 | - |5645 | 13k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1533.20/1533.26 c 1462s| 2140k| 1239k| 0 | 0.0 |2064M|2816 | - |5645 | 13k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1538.51/1538.58 c 1467s| 2150k| 1246k| 0 | 0.0 |2074M|2816 | - |5645 | 14k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1544.10/1544.16 c 1473s| 2160k| 1253k| 0 | 0.0 |2083M|2816 | - |5645 | 15k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1550.10/1550.18 c 1478s| 2170k| 1260k| 0 | 0.0 |2093M|2816 | - |5645 | 16k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1556.51/1556.58 c 1484s| 2180k| 1266k| 0 | 0.0 |2102M|2816 | - |5645 | 17k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1564.00/1564.09 c 1492s| 2190k| 1272k| 0 | 0.0 |2112M|2816 | - |5645 | 17k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1572.90/1573.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.90/1573.00 c 1500s| 2200k| 1277k| 0 | 0.0 |2122M|2816 | - |5645 | 19k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1583.71/1583.74 c 1510s| 2210k| 1280k| 0 | 0.0 |2131M|2816 | - |5645 | 21k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1597.90/1597.98 c 1524s| 2220k| 1282k| 0 | 0.0 |2138M|2816 | - |5645 | 24k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1603.10/1603.19 c 1529s| 2230k| 1290k| 0 | 0.0 |2144M|2816 | - |5645 | 14k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1608.01/1608.06 c 1534s| 2240k| 1297k| 0 | 0.0 |2154M|2816 | - |5645 | 14k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1613.10/1613.10 c 1538s| 2250k| 1305k| 0 | 0.0 |2164M|2816 | - |5645 | 14k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1618.91/1618.93 c 1544s| 2260k| 1312k| 0 | 0.0 |2174M|2816 | - |5645 | 15k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1625.10/1625.15 c 1550s| 2270k| 1319k| 0 | 0.0 |2184M|2816 | - |5645 | 16k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1631.51/1631.57 c 1556s| 2280k| 1325k| 0 | 0.0 |2195M|2816 | - |5645 | 17k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1638.91/1638.92 c 1563s| 2290k| 1331k| 0 | 0.0 |2205M|2816 | - |5645 | 18k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1646.81/1646.84 c 1571s| 2300k| 1336k| 0 | 0.0 |2214M|2816 | - |5645 | 20k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1657.01/1657.04 c 1580s| 2310k| 1341k| 0 | 0.0 |2224M|2816 | - |5645 | 23k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1671.71/1671.72 c 1595s| 2320k| 1343k| 0 | 0.0 |2229M|2816 | - |5645 | 21k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1677.41/1677.46 c 1600s| 2330k| 1350k| 0 | 0.0 |2238M|2816 | - |5645 | 14k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1683.01/1683.01 c 1605s| 2340k| 1358k| 0 | 0.0 |2247M|2816 | - |5645 | 15k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1688.91/1688.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.91/1688.92 c 1611s| 2350k| 1365k| 0 | 0.0 |2257M|2816 | - |5645 | 15k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1695.31/1695.36 c 1617s| 2360k| 1372k| 0 | 0.0 |2266M|2816 | - |5645 | 16k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1702.41/1702.41 c 1624s| 2370k| 1378k| 0 | 0.0 |2275M|2816 | - |5645 | 17k| 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1709.71/1709.74 c 1631s| 2380k| 1384k| 0 | 0.0 |2284M|2816 | - |5645 | 18k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1717.91/1717.93 c 1639s| 2390k| 1390k| 0 | 0.0 |2293M|2816 | - |5645 | 19k| 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1729.11/1729.20 c 1650s| 2400k| 1394k| 0 | 0.0 |2303M|2816 | - |5645 | 22k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1744.51/1744.57 c 1664s| 2410k| 1395k| 0 | 0.0 |2307M|2816 | - |5645 | 18k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1750.31/1750.35 c 1670s| 2420k| 1403k| 0 | 0.0 |2316M|2816 | - |5645 | 15k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1756.21/1756.21 c 1676s| 2430k| 1411k| 0 | 0.0 |2326M|2816 | - |5645 | 15k| 0 | 0 | 0 |1976k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1762.51/1762.55 c 1682s| 2440k| 1418k| 0 | 0.0 |2336M|2816 | - |5645 | 16k| 0 | 0 | 0 |1981k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1769.41/1769.44 c 1688s| 2450k| 1424k| 0 | 0.0 |2345M|2816 | - |5645 | 17k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1776.51/1776.55 c 1695s| 2460k| 1431k| 0 | 0.0 |2354M|2816 | - |5645 | 17k| 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1784.41/1784.48 c 1702s| 2470k| 1437k| 0 | 0.0 |2363M|2816 | - |5645 | 18k| 0 | 0 | 0 |1998k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1793.31/1793.33 c 1711s| 2480k| 1442k| 0 | 0.0 |2372M|2816 | - |5645 | 19k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1717.39
1800.02/1800.00 c Solving Nodes : 2485803
1800.02/1800.00 c Primal Bound : +4.00000000000000e+00 (38 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.07 s SATISFIABLE
1800.02/1800.07 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.07 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.07 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.07 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.07 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126
1800.02/1800.07 v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.07 v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.02/1800.07 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.02/1800.07 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.02/1800.07 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.02/1800.07 v x1
1800.02/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.07 c Solving Time : 1717.39
1800.02/1800.07 c Original Problem :
1800.02/1800.07 c Problem name : HOME/instance-2693741-1277931339.wbo
1800.02/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.07 c Presolved Problem :
1800.02/1800.07 c Problem name : t_HOME/instance-2693741-1277931339.wbo
1800.02/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.07 c Constraints : 5414 initial, 28456 maximal
1800.02/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.07 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.07 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.02/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c root node : - 2461 - - 4922 - - - -
1800.02/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.07 c indicator : 2707 0 6079601 0 1774113 258 2921949 0 0 0
1800.02/1800.07 c linear : 2707 0 7667884 0 2121442 527059 44580717 0 0 0
1800.02/1800.07 c logicor : 0+ 0 3587220 0 0 72508 2017493 0 0 0
1800.02/1800.07 c countsols : 0 0 0 0 2121468 0 0 0 0 0
1800.02/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.07 c indicator : 27.86 0.00 10.85 0.00 17.01
1800.02/1800.07 c linear : 426.89 0.00 425.76 0.00 1.13
1800.02/1800.07 c logicor : 252.41 0.00 252.41 0.00 0.00
1800.02/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.07 c vbounds : 0.00 2 0 0
1800.02/1800.07 c rootredcost : 0.00 0 0 0
1800.02/1800.07 c pseudoobj : 395.60 7671790 3589 2879397
1800.02/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.07 c propagation : 39.91 603156 603155 2987310 22.0 197443 10.4 -
1800.02/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c pseudo solution : 0.08 203 203 891 27.2 539 9.5 -
1800.02/1800.07 c applied globally : - - - 2013086 19.7 - - -
1800.02/1800.07 c applied locally : - - - 3 318.7 - - -
1800.02/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.07 c redcost : 0.00 0 0 0 0 0
1800.02/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.07 c intobj : 0.00 0 0 0 0 0
1800.02/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.07 c gomory : 0.00 0 0 0 0 0
1800.02/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.07 c cmir : 0.00 0 0 0 0 0
1800.02/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.07 c clique : 0.00 0 0 0 0 0
1800.02/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.07 c mcf : 0.00 0 0 0 0 0
1800.02/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.07 c Pricers : Time Calls Vars
1800.02/1800.07 c problem variables: 0.00 0 0
1800.02/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.07 c inference : 48.28 2121433 0 0 0 0 4242866
1800.02/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.07 c random : 0.00 0 0 0 0 0 0
1800.02/1800.07 c Primal Heuristics : Time Calls Found
1800.02/1800.07 c LP solutions : 0.00 - 0
1800.02/1800.07 c pseudo solutions : 0.08 - 35
1800.02/1800.07 c oneopt : 0.03 0 0
1800.02/1800.07 c trivial : 0.06 2 2
1800.02/1800.07 c simplerounding : 0.00 0 0
1800.02/1800.07 c zirounding : 0.00 0 0
1800.02/1800.07 c rounding : 0.00 0 0
1800.02/1800.07 c shifting : 0.00 0 0
1800.02/1800.07 c intshifting : 0.00 0 0
1800.02/1800.07 c twoopt : 0.00 0 0
1800.02/1800.07 c fixandinfer : 0.00 0 0
1800.02/1800.07 c feaspump : 0.00 0 0
1800.02/1800.07 c coefdiving : 0.00 0 0
1800.02/1800.07 c pscostdiving : 0.00 0 0
1800.02/1800.07 c fracdiving : 0.00 0 0
1800.02/1800.07 c veclendiving : 0.00 0 0
1800.02/1800.07 c intdiving : 0.00 0 0
1800.02/1800.07 c actconsdiving : 0.00 0 0
1800.02/1800.07 c objpscostdiving : 0.00 0 0
1800.02/1800.07 c rootsoldiving : 0.00 0 0
1800.02/1800.07 c linesearchdiving : 0.00 0 0
1800.02/1800.07 c guideddiving : 0.00 0 0
1800.02/1800.07 c octane : 0.00 0 0
1800.02/1800.07 c rens : 0.00 0 0
1800.02/1800.07 c rins : 0.00 0 0
1800.02/1800.07 c localbranching : 0.00 0 0
1800.02/1800.07 c mutation : 0.00 0 0
1800.02/1800.07 c crossover : 0.00 0 0
1800.02/1800.07 c dins : 0.00 0 0
1800.02/1800.07 c undercover : 0.00 0 0
1800.02/1800.07 c nlp : 0.00 0 0
1800.02/1800.07 c trysol : 0.01 1 1
1800.02/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.07 c (at root node) : - 0 0 0.00 -
1800.02/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.07 c B&B Tree :
1800.02/1800.07 c number of runs : 1
1800.02/1800.07 c nodes : 2485803
1800.02/1800.07 c nodes (total) : 2485803
1800.02/1800.07 c nodes left : 1444074
1800.02/1800.07 c max depth : 2816
1800.02/1800.07 c max depth (total): 2816
1800.02/1800.07 c backtracks : 324860 (13.1%)
1800.02/1800.07 c delayed cutoffs : 292130
1800.02/1800.07 c repropagations : 1302893 (16299699 domain reductions, 239282 cutoffs)
1800.02/1800.07 c avg switch length: 42.57
1800.02/1800.07 c switching time : 477.47
1800.02/1800.07 c Solution :
1800.02/1800.07 c Solutions found : 38 (36 improvements)
1800.02/1800.07 c First Solution : +1.36842000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.07 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1895082 nodes, 1286.34 seconds, depth 851, found by <relaxation>)
1800.02/1800.07 c Dual Bound : +0.00000000000000e+00
1800.02/1800.07 c Gap : infinite
1800.02/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.07 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693741-1277931339/watcher-2693741-1277931339 -o /tmp/evaluation-result-2693741-1277931339/solver-2693741-1277931339 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693741-1277931339.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.87 2.76 2.44 3/196 14579 /proc/meminfo: memFree=31337448/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=8260 CPUtime=0 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 134431274 8458240 1469 4089446400 4194304 7136930 140736121505200 18446744073709551615 6163943 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14579/statm: 2065 1469 275 719 0 1344 0 [startup+0.0944799 s] /proc/loadavg: 2.87 2.76 2.44 3/196 14579 /proc/meminfo: memFree=31337448/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=33676 CPUtime=0.08 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 7967 0 0 0 8 0 0 0 25 0 1 0 134431274 34484224 7535 4089446400 4194304 7136930 140736121505200 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14579/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33676 [startup+0.100485 s] /proc/loadavg: 2.87 2.76 2.44 3/196 14579 /proc/meminfo: memFree=31337448/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=33676 CPUtime=0.09 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134431274 34484224 7535 4089446400 4194304 7136930 140736121505200 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14579/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300439 s] /proc/loadavg: 2.87 2.76 2.44 3/196 14579 /proc/meminfo: memFree=31337448/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=36496 CPUtime=0.29 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 9241 0 0 0 27 2 0 0 25 0 1 0 134431274 37371904 8295 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14579/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700327 s] /proc/loadavg: 2.87 2.76 2.44 3/196 14579 /proc/meminfo: memFree=31337448/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=37636 CPUtime=0.69 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 9516 0 0 0 65 4 0 0 25 0 1 0 134431274 38539264 8570 4089446400 4194304 7136930 140736121505200 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14579/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50022 s] /proc/loadavg: 2.80 2.75 2.44 3/197 14580 /proc/meminfo: memFree=31302844/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=43076 CPUtime=1.49 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 10883 0 0 0 138 11 0 0 25 0 1 0 134431274 44109824 9937 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 10769 9937 390 719 0 10048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43076 [startup+3.10093 s] /proc/loadavg: 2.80 2.75 2.44 4/197 14580 /proc/meminfo: memFree=31298008/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=47640 CPUtime=3.09 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 12026 0 0 0 290 19 0 0 25 0 1 0 134431274 48783360 11080 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 11910 11080 391 719 0 11189 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47640 [startup+6.30034 s] /proc/loadavg: 2.80 2.75 2.44 3/197 14580 /proc/meminfo: memFree=31283920/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=61300 CPUtime=6.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 15410 0 0 0 589 39 0 0 25 0 1 0 134431274 62771200 14464 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 15325 14464 391 719 0 14604 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 61300 [startup+12.7002 s] /proc/loadavg: 2.68 2.72 2.44 3/197 14580 /proc/meminfo: memFree=31263052/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=82656 CPUtime=12.69 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 20665 0 0 0 1195 74 0 0 25 0 1 0 134431274 84639744 19719 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 20664 19719 391 719 0 19943 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82656 [startup+25.5008 s] /proc/loadavg: 2.57 2.70 2.43 3/197 14581 /proc/meminfo: memFree=31212148/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=134872 CPUtime=25.49 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 33269 0 0 0 2424 125 0 0 25 0 1 0 134431274 138108928 32323 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 33718 32323 391 719 0 32997 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134872 [startup+51.1011 s] /proc/loadavg: 2.44 2.66 2.43 3/197 14581 /proc/meminfo: memFree=31149664/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=200616 CPUtime=51.09 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 49017 0 0 0 4843 266 0 0 25 0 1 0 134431274 205430784 48071 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 50154 48071 391 719 0 49433 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 200616 [startup+102.307 s] /proc/loadavg: 2.17 2.54 2.40 3/197 14583 /proc/meminfo: memFree=31044940/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=302936 CPUtime=102.29 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 74574 0 0 0 9736 493 0 0 25 0 1 0 134431274 310206464 73628 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14579/statm: 75734 73628 391 719 0 75013 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 302936 [startup+162.301 s] /proc/loadavg: 2.06 2.44 2.37 3/179 14612 /proc/meminfo: memFree=30953456/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=420060 CPUtime=162.29 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 102663 0 0 0 15472 757 0 0 25 0 1 0 134431274 430141440 101717 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 105015 101717 391 719 0 104294 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 420060 [startup+222.301 s] /proc/loadavg: 2.02 2.36 2.34 3/179 14613 /proc/meminfo: memFree=30695104/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=539976 CPUtime=222.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 130743 0 0 0 21176 1052 0 0 25 0 1 0 134431274 552935424 129797 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 134994 129797 391 719 0 134273 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 539976 [startup+282.301 s] /proc/loadavg: 2.01 2.29 2.32 3/179 14615 /proc/meminfo: memFree=30488348/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=647784 CPUtime=282.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 157378 0 0 0 26900 1328 0 0 25 0 1 0 134431274 663330816 156432 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 161946 156432 391 719 0 161225 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 647784 [startup+342.301 s] /proc/loadavg: 2.00 2.24 2.30 3/179 14626 /proc/meminfo: memFree=30209076/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=759716 CPUtime=342.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 184293 0 0 0 32601 1627 0 0 25 0 1 0 134431274 777949184 183347 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 189929 183347 391 719 0 189208 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 759716 [startup+402.301 s] /proc/loadavg: 2.00 2.19 2.27 3/179 14628 /proc/meminfo: memFree=29967940/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=863204 CPUtime=402.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 210430 0 0 0 38275 1953 0 0 25 0 1 0 134431274 883920896 209484 4089446400 4194304 7136930 140736121505200 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 215801 209484 391 719 0 215080 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 863204 [startup+462.301 s] /proc/loadavg: 2.00 2.15 2.26 3/179 14629 /proc/meminfo: memFree=29728296/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=979268 CPUtime=462.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 237498 0 0 0 43969 2259 0 0 25 0 1 0 134431274 1002770432 236552 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 244817 236552 391 719 0 244096 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 979268 [startup+522.301 s] /proc/loadavg: 2.00 2.12 2.24 3/179 14630 /proc/meminfo: memFree=29534684/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1050392 CPUtime=522.28 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 255334 0 0 0 49737 2491 0 0 25 0 1 0 134431274 1075601408 254388 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 262598 254388 391 719 0 261877 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 1050392 [startup+582.301 s] /proc/loadavg: 2.00 2.10 2.22 3/179 14632 /proc/meminfo: memFree=29388432/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1108364 CPUtime=582.29 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 269913 0 0 0 55529 2700 0 0 25 0 1 0 134431274 1134964736 268967 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 277091 268967 391 719 0 276370 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1108364 [startup+642.301 s] /proc/loadavg: 2.00 2.08 2.20 3/179 14634 /proc/meminfo: memFree=29274556/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1142892 CPUtime=642.29 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 278583 0 0 0 61338 2891 0 0 25 0 1 0 134431274 1170321408 277637 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 285723 277637 391 719 0 285002 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 1142892 [startup+702.301 s] ################ # More data... # ################ /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 389954 0 0 0 95592 4637 0 0 25 0 1 0 134431274 1627062272 389008 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 397232 389008 391 719 0 396511 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 1588928 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.12 3/179 14645 /proc/meminfo: memFree=28287184/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1663940 CPUtime=1062.29 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 408650 0 0 0 101324 4905 0 0 25 0 1 0 134431274 1703874560 407704 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 415985 407704 391 719 0 415264 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 1663940 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.11 3/179 14646 /proc/meminfo: memFree=28133740/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1738448 CPUtime=1122.3 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 427554 0 0 0 107043 5187 0 0 25 0 1 0 134431274 1780170752 426608 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 434612 426608 391 719 0 433891 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1738448 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.10 3/179 14648 /proc/meminfo: memFree=27970988/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1817552 CPUtime=1182.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 447498 0 0 0 112755 5476 0 0 25 0 1 0 134431274 1861173248 446552 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 454388 446552 391 719 0 453667 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1817552 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.09 3/179 14650 /proc/meminfo: memFree=27834648/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1913528 CPUtime=1242.3 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 467347 0 0 0 118476 5754 0 0 25 0 1 0 134431274 1959452672 466401 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14579/statm: 478382 466401 391 719 0 477661 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1913528 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 14652 /proc/meminfo: memFree=27655524/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=1994212 CPUtime=1302.3 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 487648 0 0 0 124195 6035 0 0 25 0 1 0 134431274 2042073088 486702 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 498553 486702 391 719 0 497832 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 1994212 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.08 3/179 14653 /proc/meminfo: memFree=27526524/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2069480 CPUtime=1362.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 506601 0 0 0 129909 6322 0 0 25 0 1 0 134431274 2119147520 505655 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 517370 505655 391 719 0 516649 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2069480 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.08 3/179 14654 /proc/meminfo: memFree=27361196/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2140896 CPUtime=1422.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 524683 0 0 0 135615 6616 0 0 25 0 1 0 134431274 2192277504 523737 4089446400 4194304 7136930 140736121505200 18446744073709551615 5000286 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 535224 523737 391 719 0 534503 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 2140896 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 14656 /proc/meminfo: memFree=27202676/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2207596 CPUtime=1482.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 541631 0 0 0 141348 6883 0 0 25 0 1 0 134431274 2260578304 540685 4089446400 4194304 7136930 140736121505200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 551899 540685 391 719 0 551178 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2207596 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 14658 /proc/meminfo: memFree=27066712/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2275448 CPUtime=1542.3 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 558708 0 0 0 147089 7141 0 0 25 0 1 0 134431274 2330058752 557762 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 568862 557762 391 719 0 568141 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 2275448 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 14660 /proc/meminfo: memFree=26926028/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2337204 CPUtime=1602.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 574226 0 0 0 152832 7399 0 0 25 0 1 0 134431274 2393296896 573280 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 584301 573280 391 719 0 583580 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 2337204 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 14661 /proc/meminfo: memFree=26751868/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2420916 CPUtime=1662.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 595332 0 0 0 158559 7672 0 0 25 0 1 0 134431274 2479017984 594386 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 605229 594386 391 719 0 604508 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 2420916 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 2.05 3/179 14662 /proc/meminfo: memFree=26590244/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2491200 CPUtime=1722.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 613133 0 0 0 164289 7942 0 0 25 0 1 0 134431274 2550988800 612187 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 622800 612187 391 719 0 622079 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 2491200 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.05 3/179 14664 /proc/meminfo: memFree=26442244/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2553928 CPUtime=1782.31 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 628788 0 0 0 170044 8187 0 0 25 0 1 0 134431274 2615222272 627842 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 638482 627842 391 719 0 637761 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 2553928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.05 3/179 14665 /proc/meminfo: memFree=26407640/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2569352 CPUtime=1800.02 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 632718 0 0 0 171742 8260 0 0 25 0 1 0 134431274 2631016448 631772 4089446400 4194304 7136930 140736121505200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14579/statm: 642338 631772 391 719 0 641617 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2569352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14579 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.01 2.05 3/180 14666 /proc/meminfo: memFree=26406516/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2569352 CPUtime=1801.41 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 632734 0 0 0 171881 8260 0 0 25 0 1 0 134431274 2631016448 631788 4089446400 4194304 7136930 140736121505200 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14579/statm: 642338 631788 397 719 0 641617 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 2569352 [startup+1801.81 s] /proc/loadavg: 2.01 2.01 2.05 3/180 14666 /proc/meminfo: memFree=26406392/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2569352 CPUtime=1801.82 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 632734 0 0 0 171922 8260 0 0 25 0 1 0 134431274 2631016448 631788 4089446400 4194304 7136930 140736121505200 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14579/statm: 642338 631788 397 719 0 641617 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 2569352 [startup+1802 s] /proc/loadavg: 2.01 2.01 2.05 3/180 14666 /proc/meminfo: memFree=26406392/32951124 swapFree=67111528/67111528 [pid=14579] ppid=14577 vsize=2569352 CPUtime=1802.01 /proc/14579/stat : 14579 (pbscip.linux.x8) R 14577 14579 14450 0 -1 4202496 632734 0 0 0 171941 8260 0 0 25 0 1 0 134431274 2631016448 631788 4089446400 4194304 7136930 140736121505200 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14579/statm: 642338 631788 397 719 0 641617 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 2569352 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.11 CPU user time (s): 1719.42 CPU system time (s): 82.6884 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2569352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1719.42 system time used= 82.6884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 632734 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= 1 involuntary context switches= 1564 runsolver used 2.39264 second user time and 5.82911 second system time The end
Begin job on node109 at 2010-06-30 22:55:39 IDJOB=2693741 IDBENCH=79314 IDSOLVER=1206 FILE ID=node109/2693741-1277931339 PBS_JOBID= 11197445 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693741-1277931339/watcher-2693741-1277931339 -o /tmp/evaluation-result-2693741-1277931339/solver-2693741-1277931339 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693741-1277931339.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81f3c07bf85fb8fa2211498324cd1b10 RANDOM SEED=20876093 node109.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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.75 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.74 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.817 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31338100 kB Buffers: 214936 kB Cached: 1052956 kB SwapCached: 0 kB Active: 713452 kB Inactive: 753788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31338100 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3196 kB Writeback: 0 kB AnonPages: 199808 kB Mapped: 20348 kB Slab: 81340 kB PageTables: 5772 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659436 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node109 at 2010-06-30 23:25:42