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.12 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo |
| MD5SUM | aabd2abc5a32dbb90eb5074319abd403 |
| 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 | 387.19 |
| 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 | 930 |
| 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 | 46532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46531 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 727 |
| 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-2694199-1277910539.wbo>
0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 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.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.04/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.04/0.08 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.04/0.09 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.12 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (8 rounds):
0.09/0.16 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.16 c 1142 implications, 14 cliques
0.09/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.16 c 849 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 849 constraints of type <linear>
0.09/0.16 c 1652 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7608k| 0 | - |1929 |3365 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 c 2.3s| 10000 | 8631 | 0 | 0.0 | 14M|1040 | - |1929 |4726 | 0 | 0 | 0 |2837 | 0 | 0.000000e+00 | -- | Inf
3.89/3.93 o 607
3.89/3.93 c * 3.7s| 14115 | 11037 | 0 | 0.0 | 17M|1040 | - |1929 |6368 | 0 | 0 | 0 |6651 | 0 | 0.000000e+00 | 6.070000e+02 | Inf
3.89/3.93 o 551
3.89/3.93 c * 3.7s| 14117 | 11037 | 0 | 0.0 | 17M|1040 | - |1929 |6368 | 0 | 0 | 0 |6651 | 0 | 0.000000e+00 | 5.510000e+02 | Inf
3.89/3.93 o 546
3.89/3.93 c * 3.7s| 14118 | 11036 | 0 | 0.0 | 17M|1040 | - |1929 |6368 | 0 | 0 | 0 |6651 | 0 | 0.000000e+00 | 5.460000e+02 | Inf
3.89/3.96 o 348
3.89/3.96 c * 3.8s| 14237 | 11144 | 0 | 0.0 | 17M|1040 | - |1929 |6339 | 0 | 0 | 0 |6661 | 0 | 0.000000e+00 | 3.480000e+02 | Inf
4.09/4.18 o 342
4.09/4.18 c * 4.0s| 15015 | 11878 | 0 | 0.0 | 18M|1040 | - |1929 |6083 | 0 | 0 | 0 |6816 | 0 | 0.000000e+00 | 3.420000e+02 | Inf
4.09/4.18 o 280
4.09/4.18 c * 4.0s| 15016 | 11865 | 0 | 0.0 | 18M|1040 | - |1929 |6083 | 0 | 0 | 0 |6816 | 0 | 0.000000e+00 | 2.800000e+02 | Inf
4.19/4.25 o 244
4.19/4.25 c * 4.0s| 15226 | 11896 | 0 | 0.0 | 18M|1040 | - |1929 |5974 | 0 | 0 | 0 |6866 | 0 | 0.000000e+00 | 2.440000e+02 | Inf
4.19/4.29 o 201
4.19/4.29 c * 4.1s| 15389 | 11658 | 0 | 0.0 | 18M|1040 | - |1929 |5869 | 0 | 0 | 0 |6885 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
4.19/4.29 o 152
4.19/4.29 c * 4.1s| 15390 | 11007 | 0 | 0.0 | 18M|1040 | - |1929 |5869 | 0 | 0 | 0 |6885 | 0 | 0.000000e+00 | 1.520000e+02 | Inf
4.59/4.66 o 135
4.59/4.66 c * 4.4s| 16602 | 12085 | 0 | 0.0 | 18M|1040 | - |1929 |5325 | 0 | 0 | 0 |7172 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
5.49/5.59 c 5.3s| 20000 | 15161 | 0 | 0.0 | 21M|1040 | - |1929 |4717 | 0 | 0 | 0 |8076 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
8.49/8.50 c 8.2s| 30000 | 22861 | 0 | 0.0 | 27M|1040 | - |1929 |5577 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
11.59/11.69 c 11.2s| 40000 | 30060 | 0 | 0.0 | 35M|1040 | - |1929 |6340 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
15.30/15.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.30/15.36 c 14.8s| 50000 | 36563 | 0 | 0.0 | 42M|1040 | - |1929 |7487 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
19.49/19.54 c 18.8s| 60000 | 42416 | 0 | 0.0 | 49M|1040 | - |1929 |8198 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
24.39/24.42 c 23.6s| 70000 | 47330 | 0 | 0.0 | 57M|1040 | - |1929 | 10k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
31.29/31.32 c 30.4s| 80000 | 49845 | 0 | 0.0 | 64M|1040 | - |1929 | 14k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
33.00/33.05 o 130
33.00/33.05 c *32.0s| 84366 | 53561 | 0 | 0.0 | 65M|1040 | - |1929 |8088 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
33.00/33.05 o 113
33.00/33.05 c *32.0s| 84367 | 53498 | 0 | 0.0 | 65M|1040 | - |1929 |8088 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
33.09/33.16 o 101
33.09/33.16 c *32.1s| 84675 | 53718 | 0 | 0.0 | 65M|1040 | - |1929 |7806 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
33.49/33.51 o 85
33.49/33.51 c *32.5s| 85667 | 54032 | 0 | 0.0 | 65M|1040 | - |1929 |6927 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
33.70/33.74 o 57
33.70/33.74 c *32.7s| 86297 | 53743 | 0 | 0.0 | 64M|1040 | - |1929 |6122 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
34.10/34.13 o 56
34.10/34.13 c *33.1s| 87448 | 54737 | 0 | 0.0 | 65M|1040 | - |1929 |5607 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
34.89/34.96 c 33.9s| 90000 | 56959 | 0 | 0.0 | 68M|1040 | - |1929 |5125 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
35.49/35.55 o 41
35.49/35.55 c *34.5s| 91877 | 58144 | 0 | 0.0 | 69M|1040 | - |1929 |5080 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
36.30/36.35 o 27
36.30/36.35 c *35.2s| 94350 | 59988 | 0 | 0.0 | 72M|1040 | - |1929 |5331 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
37.89/37.96 o 24
37.89/37.96 c *36.8s| 99117 | 63816 | 0 | 0.0 | 80M|1040 | - |1929 |5901 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
38.19/38.27 c 37.1s|100000 | 64530 | 0 | 0.0 | 82M|1040 | - |1929 |5974 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
41.09/41.11 o 11
41.09/41.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.09/41.11 c *39.8s|107481 | 69709 | 0 | 0.0 | 92M|1040 | - |1929 |6719 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
42.19/42.27 c 41.0s|110000 | 71350 | 0 | 0.0 | 97M|1040 | - |1929 |7141 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
46.39/46.46 c 45.0s|120000 | 78221 | 0 | 0.0 | 112M|1040 | - |1929 |5932 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
49.99/50.00 c 48.4s|130000 | 85570 | 0 | 0.0 | 128M|1040 | - |1929 |5022 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
52.80/52.80 c 51.1s|140000 | 93627 | 0 | 0.0 | 134M|1040 | - |1929 |5441 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
55.89/55.98 c 54.2s|150000 |101022 | 0 | 0.0 | 140M|1040 | - |1929 |4584 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
58.89/58.92 c 57.0s|160000 |108808 | 0 | 0.0 | 147M|1040 | - |1929 |5080 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
62.49/62.55 c 60.5s|170000 |115369 | 0 | 0.0 | 153M|1040 | - |1929 |4586 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
66.19/66.28 c 64.2s|180000 |121777 | 0 | 0.0 | 160M|1040 | - |1929 |4464 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
70.40/70.46 c 68.2s|190000 |127359 | 0 | 0.0 | 167M|1040 | - |1929 |5086 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
74.69/74.71 c 72.4s|200000 |132848 | 0 | 0.0 | 174M|1040 | - |1929 |5538 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
78.89/78.95 c 76.5s|210000 |138372 | 0 | 0.0 | 181M|1040 | - |1929 |6110 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
83.60/83.63 c 81.1s|220000 |143154 | 0 | 0.0 | 188M|1040 | - |1929 |6485 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
88.49/88.56 c 85.9s|230000 |147798 | 0 | 0.0 | 195M|1040 | - |1929 |6920 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
93.70/93.79 c 91.0s|240000 |151922 | 0 | 0.0 | 202M|1040 | - |1929 |7349 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
99.10/99.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.10/99.13 c 96.2s|250000 |156050 | 0 | 0.0 | 208M|1040 | - |1929 |8032 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
104.69/104.80 c 102s|260000 |159814 | 0 | 0.0 | 215M|1040 | - |1929 |8218 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
110.79/110.80 c 108s|270000 |163094 | 0 | 0.0 | 221M|1040 | - |1929 |8981 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
116.89/116.96 c 114s|280000 |166420 | 0 | 0.0 | 228M|1040 | - |1929 |9508 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
123.80/123.82 c 120s|290000 |168862 | 0 | 0.0 | 233M|1040 | - |1929 | 10k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
130.70/130.78 c 127s|300000 |171422 | 0 | 0.0 | 239M|1040 | - |1929 | 10k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
138.51/138.58 c 135s|310000 |173007 | 0 | 0.0 | 244M|1040 | - |1929 | 11k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
147.09/147.11 c 143s|320000 |173998 | 0 | 0.0 | 248M|1040 | - |1929 | 13k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
156.79/156.83 c 153s|330000 |173937 | 0 | 0.0 | 252M|1040 | - |1929 | 14k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
163.70/163.80 c 160s|340000 |177562 | 0 | 0.0 | 253M|1040 | - |1929 |4199 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
166.90/166.97 c 163s|350000 |185227 | 0 | 0.0 | 260M|1040 | - |1929 |4305 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
170.20/170.20 c 166s|360000 |192708 | 0 | 0.0 | 266M|1040 | - |1929 |4370 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
173.40/173.44 c 169s|370000 |200171 | 0 | 0.0 | 273M|1040 | - |1929 |4656 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
174.91/174.97 o 7
174.91/174.97 c * 170s|374597 |202827 | 0 | 0.0 | 275M|1040 | - |1929 |4741 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
176.80/176.88 c 172s|380000 |206766 | 0 | 0.0 | 280M|1040 | - |1929 |4912 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
180.30/180.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.30/180.34 c 176s|390000 |213993 | 0 | 0.0 | 287M|1040 | - |1929 |5064 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
183.80/183.82 c 179s|400000 |221132 | 0 | 0.0 | 295M|1040 | - |1929 |5217 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
187.30/187.32 c 182s|410000 |228172 | 0 | 0.0 | 301M|1040 | - |1929 |5463 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
191.00/191.03 c 186s|420000 |234929 | 0 | 0.0 | 309M|1040 | - |1929 |5584 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
194.90/194.93 c 190s|430000 |241330 | 0 | 0.0 | 316M|1040 | - |1929 |6154 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
198.80/198.86 c 193s|440000 |247745 | 0 | 0.0 | 323M|1040 | - |1929 |6590 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
203.00/203.09 c 198s|450000 |253714 | 0 | 0.0 | 330M|1040 | - |1929 |6605 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
207.30/207.39 c 202s|460000 |259594 | 0 | 0.0 | 338M|1040 | - |1929 |7213 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.00/212.02 c 206s|470000 |265006 | 0 | 0.0 | 345M|1040 | - |1929 |7676 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
217.00/217.04 c 211s|480000 |269999 | 0 | 0.0 | 352M|1040 | - |1929 |8054 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.20/222.27 c 216s|490000 |274692 | 0 | 0.0 | 359M|1040 | - |1929 |9003 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
228.00/228.07 c 222s|500000 |278807 | 0 | 0.0 | 365M|1040 | - |1929 |9715 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.10/234.19 c 228s|510000 |282614 | 0 | 0.0 | 372M|1040 | - |1929 | 10k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
239.30/239.39 o 5
239.30/239.39 c * 233s|517737 |282924 | 0 | 0.0 | 373M|1040 | - |1929 | 12k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
241.10/241.15 c 235s|520000 |283519 | 0 | 0.0 | 374M|1040 | - |1929 | 12k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
247.70/247.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.70/247.77 c 241s|530000 |287548 | 0 | 0.0 | 377M|1040 | - |1929 |5500 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
250.90/250.96 c 244s|540000 |295169 | 0 | 0.0 | 384M|1040 | - |1929 |5572 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
254.20/254.23 c 247s|550000 |302563 | 0 | 0.0 | 391M|1040 | - |1929 |5916 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
257.60/257.68 c 251s|560000 |309675 | 0 | 0.0 | 398M|1040 | - |1929 |6478 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
261.40/261.40 c 254s|570000 |316472 | 0 | 0.0 | 405M|1040 | - |1929 |6846 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
265.11/265.18 c 258s|580000 |323101 | 0 | 0.0 | 412M|1040 | - |1929 |7383 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.41/269.46 c 262s|590000 |329104 | 0 | 0.0 | 420M|1040 | - |1929 |8225 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
274.20/274.20 c 267s|600000 |334406 | 0 | 0.0 | 426M|1040 | - |1929 |7155 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
279.20/279.24 c 272s|610000 |338926 | 0 | 0.0 | 433M|1040 | - |1929 |8545 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
285.30/285.32 c 278s|620000 |342140 | 0 | 0.0 | 437M|1040 | - |1929 |6991 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
288.40/288.47 c 281s|630000 |349739 | 0 | 0.0 | 443M|1040 | - |1929 |5537 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
291.80/291.80 c 284s|640000 |357013 | 0 | 0.0 | 450M|1040 | - |1929 |5993 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
295.20/295.25 c 287s|650000 |364087 | 0 | 0.0 | 457M|1040 | - |1929 |6372 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
298.80/298.87 c 291s|660000 |370880 | 0 | 0.0 | 464M|1040 | - |1929 |6807 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
302.81/302.80 c 294s|670000 |377242 | 0 | 0.0 | 472M|1040 | - |1929 |7228 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
307.00/307.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.00/307.01 c 299s|680000 |383137 | 0 | 0.0 | 479M|1040 | - |1929 |7772 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
311.50/311.56 c 303s|690000 |388471 | 0 | 0.0 | 486M|1040 | - |1929 |8573 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
316.60/316.69 c 308s|700000 |393028 | 0 | 0.0 | 493M|1040 | - |1929 |9816 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
323.31/323.39 c 314s|710000 |395568 | 0 | 0.0 | 498M|1040 | - |1929 | 10k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
326.50/326.52 c 318s|720000 |403368 | 0 | 0.0 | 503M|1040 | - |1929 |5361 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
329.50/329.55 c 320s|730000 |410983 | 0 | 0.0 | 509M|1040 | - |1929 |5497 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
332.70/332.70 c 323s|740000 |418381 | 0 | 0.0 | 516M|1040 | - |1929 |5651 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
335.80/335.88 c 327s|750000 |425634 | 0 | 0.0 | 522M|1040 | - |1929 |5723 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
339.10/339.12 c 330s|760000 |432809 | 0 | 0.0 | 529M|1040 | - |1929 |5831 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
342.80/342.88 c 333s|770000 |439303 | 0 | 0.0 | 536M|1040 | - |1929 |6169 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
346.80/346.84 c 337s|780000 |445416 | 0 | 0.0 | 543M|1040 | - |1929 |6529 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
351.11/351.10 c 341s|790000 |451132 | 0 | 0.0 | 550M|1040 | - |1929 |6924 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
355.40/355.42 c 345s|800000 |456715 | 0 | 0.0 | 556M|1040 | - |1929 |7234 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
359.80/359.84 c 350s|810000 |462226 | 0 | 0.0 | 563M|1040 | - |1929 |7429 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.51/364.57 c 354s|820000 |467273 | 0 | 0.0 | 569M|1040 | - |1929 |7565 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
369.41/369.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.41/369.41 c 359s|830000 |472207 | 0 | 0.0 | 576M|1040 | - |1929 |7992 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
374.60/374.69 c 364s|840000 |476433 | 0 | 0.0 | 582M|1040 | - |1929 |8128 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
380.10/380.10 c 369s|850000 |480607 | 0 | 0.0 | 588M|1040 | - |1929 |8832 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
386.40/386.42 c 376s|860000 |483758 | 0 | 0.0 | 591M|1040 | - |1929 |4337 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
389.31/389.34 c 378s|870000 |491639 | 0 | 0.0 | 597M|1040 | - |1929 |3921 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
393.20/393.20 c 382s|880000 |497836 | 0 | 0.0 | 605M|1040 | - |1929 |5684 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
396.30/396.37 c 385s|890000 |505212 | 0 | 0.0 | 610M|1040 | - |1929 |4283 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
399.51/399.58 c 388s|900000 |512481 | 0 | 0.0 | 617M|1040 | - |1929 |4108 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
402.81/402.81 c 391s|910000 |519872 | 0 | 0.0 | 623M|1040 | - |1929 |3393 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
407.81/407.80 c 396s|920000 |523884 | 0 | 0.0 | 629M|1040 | - |1929 |6394 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
414.01/414.08 c 402s|930000 |526749 | 0 | 0.0 | 634M|1040 | - |1929 |7764 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
420.41/420.41 c 409s|940000 |530036 | 0 | 0.0 | 641M|1040 | - |1929 |8980 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
427.31/427.31 c 415s|950000 |532695 | 0 | 0.0 | 646M|1040 | - |1929 |9553 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
434.30/434.30 c 422s|960000 |535350 | 0 | 0.0 | 651M|1040 | - |1929 |9628 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
441.60/441.60 c 429s|970000 |537694 | 0 | 0.0 | 656M|1040 | - |1929 |9282 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
449.11/449.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.11/449.18 c 437s|980000 |539849 | 0 | 0.0 | 661M|1040 | - |1929 |9667 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
457.61/457.65 c 445s|990000 |541223 | 0 | 0.0 | 666M|1040 | - |1929 |9842 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
465.91/465.97 c 453s| 1000k|542824 | 0 | 0.0 | 671M|1040 | - |1929 | 10k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
474.71/474.76 c 462s| 1010k|544052 | 0 | 0.0 | 675M|1040 | - |1929 | 12k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
484.02/484.08 c 471s| 1020k|544978 | 0 | 0.0 | 679M|1040 | - |1929 | 13k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
493.82/493.84 c 481s| 1030k|545649 | 0 | 0.0 | 683M|1040 | - |1929 | 14k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
503.71/503.80 c 491s| 1040k|546279 | 0 | 0.0 | 686M|1040 | - |1929 | 14k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
514.10/514.16 c 501s| 1050k|546713 | 0 | 0.0 | 690M|1040 | - |1929 | 15k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
524.81/524.80 c 511s| 1060k|547122 | 0 | 0.0 | 693M|1040 | - |1929 | 15k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
535.91/535.95 c 522s| 1070k|547235 | 0 | 0.0 | 696M|1040 | - |1929 | 16k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
547.71/547.79 c 534s| 1080k|546938 | 0 | 0.0 | 699M|1040 | - |1929 | 15k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
560.81/560.85 c 547s| 1090k|545583 | 0 | 0.0 | 700M|1040 | - |1929 | 18k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
574.81/574.86 c 561s| 1100k|544231 | 0 | 0.0 | 701M|1040 | - |1929 | 19k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
590.51/590.56 c 576s| 1110k|542136 | 0 | 0.0 | 701M|1040 | - |1929 | 20k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
609.11/609.14 c 594s| 1120k|537928 | 0 | 0.0 | 697M|1040 | - |1929 | 21k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
620.21/620.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.21/620.21 c 605s| 1130k|539608 | 0 | 0.0 | 693M|1040 | - |1929 |6397 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
624.21/624.29 c 609s| 1140k|546174 | 0 | 0.0 | 699M|1040 | - |1929 |5536 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
628.71/628.76 c 614s| 1150k|552046 | 0 | 0.0 | 706M|1040 | - |1929 |6144 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
633.61/633.67 c 618s| 1160k|557432 | 0 | 0.0 | 713M|1040 | - |1929 |6356 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
638.51/638.51 c 623s| 1170k|562835 | 0 | 0.0 | 719M|1040 | - |1929 |6736 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
643.42/643.45 c 628s| 1180k|568150 | 0 | 0.0 | 726M|1040 | - |1929 |6272 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
648.51/648.56 c 633s| 1190k|573274 | 0 | 0.0 | 733M|1040 | - |1929 |6319 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
653.71/653.70 c 638s| 1200k|578313 | 0 | 0.0 | 739M|1040 | - |1929 |7253 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
658.92/658.93 c 643s| 1210k|583251 | 0 | 0.0 | 746M|1040 | - |1929 |7466 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
664.32/664.38 c 648s| 1220k|587973 | 0 | 0.0 | 752M|1040 | - |1929 |7411 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
669.62/669.66 c 654s| 1230k|592908 | 0 | 0.0 | 759M|1040 | - |1929 |6915 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
674.71/674.76 c 658s| 1240k|597979 | 0 | 0.0 | 766M|1040 | - |1929 |7875 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
680.12/680.13 c 664s| 1250k|602648 | 0 | 0.0 | 772M|1040 | - |1929 |7794 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
685.42/685.43 c 669s| 1260k|607692 | 0 | 0.0 | 779M|1040 | - |1929 |6974 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
690.82/690.83 c 674s| 1270k|612269 | 0 | 0.0 | 785M|1040 | - |1929 |8215 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
696.42/696.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.42/696.46 c 680s| 1280k|616878 | 0 | 0.0 | 792M|1040 | - |1929 |7351 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
702.01/702.01 c 685s| 1290k|621395 | 0 | 0.0 | 798M|1040 | - |1929 |8478 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
707.61/707.65 c 691s| 1300k|625952 | 0 | 0.0 | 805M|1040 | - |1929 |7793 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
713.32/713.38 c 696s| 1310k|630316 | 0 | 0.0 | 811M|1040 | - |1929 |8629 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
718.92/718.98 c 702s| 1320k|634924 | 0 | 0.0 | 818M|1040 | - |1929 |7658 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
724.93/724.93 c 707s| 1330k|639053 | 0 | 0.0 | 824M|1040 | - |1929 |8940 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
730.62/730.65 c 713s| 1340k|643730 | 0 | 0.0 | 831M|1040 | - |1929 |7702 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
736.72/736.71 c 719s| 1350k|647578 | 0 | 0.0 | 837M|1040 | - |1929 |9069 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
742.53/742.51 c 725s| 1360k|652086 | 0 | 0.0 | 843M|1040 | - |1929 |8781 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
748.81/748.81 c 731s| 1370k|655761 | 0 | 0.0 | 849M|1040 | - |1929 |9319 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
754.71/754.70 c 737s| 1380k|660197 | 0 | 0.0 | 856M|1040 | - |1929 |9687 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
761.12/761.15 c 743s| 1390k|663831 | 0 | 0.0 | 861M|1040 | - |1929 |9307 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
767.31/767.37 c 749s| 1400k|667898 | 0 | 0.0 | 868M|1040 | - |1929 | 10k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
773.71/773.77 c 755s| 1410k|671739 | 0 | 0.0 | 873M|1040 | - |1929 |9167 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
780.22/780.28 c 762s| 1420k|675498 | 0 | 0.0 | 880M|1040 | - |1929 | 10k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
786.53/786.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.53/786.58 c 768s| 1430k|679627 | 0 | 0.0 | 886M|1040 | - |1929 |9264 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
793.52/793.55 c 774s| 1440k|682852 | 0 | 0.0 | 892M|1040 | - |1929 | 10k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
799.81/799.80 c 781s| 1450k|687242 | 0 | 0.0 | 898M|1040 | - |1929 |9562 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
807.02/807.01 c 788s| 1460k|690131 | 0 | 0.0 | 903M|1040 | - |1929 | 10k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
813.22/813.25 c 794s| 1470k|694474 | 0 | 0.0 | 909M|1040 | - |1929 | 11k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
820.72/820.70 c 801s| 1480k|697346 | 0 | 0.0 | 914M|1040 | - |1929 | 11k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
827.12/827.19 c 807s| 1490k|701394 | 0 | 0.0 | 920M|1040 | - |1929 | 11k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
835.02/835.04 c 815s| 1500k|703899 | 0 | 0.0 | 925M|1040 | - |1929 | 11k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
841.82/841.83 c 822s| 1510k|707804 | 0 | 0.0 | 931M|1040 | - |1929 | 11k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
849.52/849.53 c 829s| 1520k|710448 | 0 | 0.0 | 936M|1040 | - |1929 | 11k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
856.72/856.73 c 836s| 1530k|713893 | 0 | 0.0 | 942M|1040 | - |1929 | 12k| 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
864.72/864.78 c 844s| 1540k|716310 | 0 | 0.0 | 947M|1040 | - |1929 | 11k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
872.22/872.24 c 852s| 1550k|719559 | 0 | 0.0 | 953M|1040 | - |1929 | 12k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
880.52/880.51 c 860s| 1560k|721925 | 0 | 0.0 | 957M|1040 | - |1929 | 12k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
888.43/888.46 c 867s| 1570k|724898 | 0 | 0.0 | 962M|1040 | - |1929 | 12k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
897.12/897.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.12/897.11 c 876s| 1580k|727082 | 0 | 0.0 | 968M|1040 | - |1929 | 14k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
906.12/906.10 c 885s| 1590k|729166 | 0 | 0.0 | 972M|1040 | - |1929 | 14k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
915.42/915.45 c 894s| 1600k|731185 | 0 | 0.0 | 976M|1040 | - |1929 | 14k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
924.22/924.28 c 903s| 1610k|733838 | 0 | 0.0 | 981M|1040 | - |1929 | 14k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
934.03/934.03 c 912s| 1620k|735624 | 0 | 0.0 | 986M|1040 | - |1929 | 16k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
944.32/944.33 c 922s| 1630k|737245 | 0 | 0.0 | 989M|1040 | - |1929 | 17k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
956.22/956.29 c 934s| 1640k|737748 | 0 | 0.0 | 992M|1040 | - |1929 | 18k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
968.33/968.37 c 946s| 1650k|738631 | 0 | 0.0 | 996M|1040 | - |1929 | 20k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
981.33/981.33 c 959s| 1660k|739137 | 0 | 0.0 | 999M|1040 | - |1929 | 21k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
995.43/995.45 c 973s| 1670k|739365 | 0 | 0.0 |1001M|1040 | - |1929 | 22k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1011.03/1011.05 c 988s| 1680k|738829 | 0 | 0.0 |1003M|1040 | - |1929 | 26k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1027.83/1027.80 c 1005s| 1690k|738600 | 0 | 0.0 |1000M|1040 | - |1929 | 14k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1032.42/1032.44 c 1009s| 1700k|745384 | 0 | 0.0 |1004M|1040 | - |1929 |8454 | 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1036.73/1036.71 c 1014s| 1710k|752045 | 0 | 0.0 |1011M|1040 | - |1929 |8106 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1040.82/1040.83 c 1018s| 1720k|758758 | 0 | 0.0 |1017M|1040 | - |1929 |8119 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1045.03/1045.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.03/1045.03 c 1022s| 1730k|765335 | 0 | 0.0 |1023M|1040 | - |1929 |7748 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1049.23/1049.29 c 1026s| 1740k|771746 | 0 | 0.0 |1029M|1040 | - |1929 |7931 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1053.63/1053.67 c 1030s| 1750k|777964 | 0 | 0.0 |1036M|1040 | - |1929 |8538 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1058.53/1058.53 c 1035s| 1760k|783768 | 0 | 0.0 |1043M|1040 | - |1929 |8894 | 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1063.74/1063.76 c 1040s| 1770k|789145 | 0 | 0.0 |1049M|1040 | - |1929 |9248 | 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1069.02/1069.07 c 1045s| 1780k|794428 | 0 | 0.0 |1056M|1040 | - |1929 |9919 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1074.64/1074.64 c 1050s| 1790k|799461 | 0 | 0.0 |1063M|1040 | - |1929 | 10k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1080.23/1080.24 c 1056s| 1800k|804518 | 0 | 0.0 |1070M|1040 | - |1929 | 10k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1085.83/1085.85 c 1061s| 1810k|809583 | 0 | 0.0 |1077M|1040 | - |1929 | 11k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1091.53/1091.59 c 1067s| 1820k|814591 | 0 | 0.0 |1083M|1040 | - |1929 | 10k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1097.63/1097.62 c 1073s| 1830k|819248 | 0 | 0.0 |1090M|1040 | - |1929 | 11k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1103.63/1103.68 c 1079s| 1840k|823765 | 0 | 0.0 |1096M|1040 | - |1929 | 12k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1109.84/1109.88 c 1085s| 1850k|828205 | 0 | 0.0 |1103M|1040 | - |1929 | 12k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1116.13/1116.11 c 1091s| 1860k|832738 | 0 | 0.0 |1109M|1040 | - |1929 | 12k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1122.73/1122.71 c 1097s| 1870k|836859 | 0 | 0.0 |1116M|1040 | - |1929 | 12k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1129.43/1129.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.43/1129.40 c 1104s| 1880k|840884 | 0 | 0.0 |1122M|1040 | - |1929 | 13k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1135.83/1135.88 c 1110s| 1890k|845344 | 0 | 0.0 |1128M|1040 | - |1929 | 13k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1143.13/1143.17 c 1117s| 1900k|848898 | 0 | 0.0 |1134M|1040 | - |1929 | 13k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1150.54/1150.59 c 1125s| 1910k|852465 | 0 | 0.0 |1140M|1040 | - |1929 | 14k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1158.03/1158.04 c 1132s| 1920k|855959 | 0 | 0.0 |1145M|1040 | - |1929 | 15k| 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1165.83/1165.81 c 1140s| 1930k|859358 | 0 | 0.0 |1151M|1040 | - |1929 | 16k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1174.13/1174.11 c 1148s| 1940k|862502 | 0 | 0.0 |1157M|1040 | - |1929 | 16k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1183.43/1183.48 c 1157s| 1950k|864786 | 0 | 0.0 |1161M|1040 | - |1929 | 17k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1193.63/1193.64 c 1167s| 1960k|866822 | 0 | 0.0 |1166M|1040 | - |1929 | 18k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1204.23/1204.20 c 1177s| 1970k|868879 | 0 | 0.0 |1171M|1040 | - |1929 | 20k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1216.54/1216.53 c 1190s| 1980k|870026 | 0 | 0.0 |1175M|1040 | - |1929 | 21k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1230.23/1230.25 c 1203s| 1990k|870815 | 0 | 0.0 |1179M|1040 | - |1929 | 24k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1248.23/1248.24 c 1221s| 2000k|869634 | 0 | 0.0 |1181M|1040 | - |1929 | 30k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1263.64/1263.65 c 1236s| 2010k|871567 | 0 | 0.0 |1182M|1040 | - |1929 | 22k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1270.14/1270.10 c 1243s| 2020k|878228 | 0 | 0.0 |1186M|1040 | - |1929 | 15k| 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1275.73/1275.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.73/1275.77 c 1248s| 2030k|884564 | 0 | 0.0 |1191M|1040 | - |1929 | 13k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1280.93/1280.92 c 1253s| 2040k|891080 | 0 | 0.0 |1198M|1040 | - |1929 | 13k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1286.63/1286.60 c 1259s| 2050k|897033 | 0 | 0.0 |1205M|1040 | - |1929 | 14k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1292.44/1292.46 c 1264s| 2060k|902834 | 0 | 0.0 |1211M|1040 | - |1929 | 14k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1298.74/1298.75 c 1271s| 2070k|908413 | 0 | 0.0 |1218M|1040 | - |1929 | 15k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1305.13/1305.19 c 1277s| 2080k|913870 | 0 | 0.0 |1225M|1040 | - |1929 | 16k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1312.13/1312.16 c 1284s| 2090k|919063 | 0 | 0.0 |1232M|1040 | - |1929 | 16k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1319.04/1319.06 c 1290s| 2100k|924202 | 0 | 0.0 |1239M|1040 | - |1929 | 17k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1326.13/1326.19 c 1297s| 2110k|929188 | 0 | 0.0 |1246M|1040 | - |1929 | 18k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1333.34/1333.38 c 1305s| 2120k|934210 | 0 | 0.0 |1254M|1040 | - |1929 | 18k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1341.04/1341.01 c 1312s| 2130k|938837 | 0 | 0.0 |1260M|1040 | - |1929 | 17k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1348.84/1348.86 c 1320s| 2140k|943160 | 0 | 0.0 |1267M|1040 | - |1929 | 18k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1357.04/1357.07 c 1328s| 2150k|947241 | 0 | 0.0 |1273M|1040 | - |1929 | 19k| 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1365.34/1365.32 c 1336s| 2160k|951455 | 0 | 0.0 |1280M|1040 | - |1929 | 20k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1373.84/1373.90 c 1344s| 2170k|955623 | 0 | 0.0 |1287M|1040 | - |1929 | 20k| 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1383.24/1383.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.24/1383.20 c 1354s| 2180k|959235 | 0 | 0.0 |1293M|1040 | - |1929 | 21k| 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1394.23/1394.21 c 1364s| 2190k|962508 | 0 | 0.0 |1299M|1040 | - |1929 | 21k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1405.53/1405.58 c 1376s| 2200k|965638 | 0 | 0.0 |1305M|1040 | - |1929 | 22k| 0 | 0 | 0 |2017k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1417.64/1417.67 c 1388s| 2210k|968409 | 0 | 0.0 |1311M|1040 | - |1929 | 23k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1430.24/1430.25 c 1400s| 2220k|970944 | 0 | 0.0 |1316M|1040 | - |1929 | 24k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1443.74/1443.73 c 1413s| 2230k|973168 | 0 | 0.0 |1321M|1040 | - |1929 | 24k| 0 | 0 | 0 |2055k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1457.63/1457.67 c 1427s| 2240k|975145 | 0 | 0.0 |1326M|1040 | - |1929 | 25k| 0 | 0 | 0 |2069k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1473.74/1473.75 c 1443s| 2250k|975983 | 0 | 0.0 |1329M|1040 | - |1929 | 26k| 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1490.33/1490.40 c 1459s| 2260k|976682 | 0 | 0.0 |1332M|1040 | - |1929 | 27k| 0 | 0 | 0 |2101k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1509.14/1509.18 c 1478s| 2270k|976471 | 0 | 0.0 |1335M|1040 | - |1929 | 28k| 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1530.43/1530.49 c 1499s| 2280k|974933 | 0 | 0.0 |1336M|1040 | - |1929 | 31k| 0 | 0 | 0 |2138k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1547.24/1547.26 c 1516s| 2290k|977258 | 0 | 0.0 |1337M|1040 | - |1929 | 26k| 0 | 0 | 0 |2151k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1555.64/1555.65 c 1524s| 2300k|983729 | 0 | 0.0 |1341M|1040 | - |1929 | 18k| 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1562.33/1562.38 c 1531s| 2310k|990088 | 0 | 0.0 |1346M|1040 | - |1929 | 15k| 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1569.04/1569.08 c 1537s| 2320k|995999 | 0 | 0.0 |1352M|1040 | - |1929 | 14k| 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1575.54/1575.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.54/1575.56 c 1543s| 2330k| 1001k| 0 | 0.0 |1358M|1040 | - |1929 | 13k| 0 | 0 | 0 |2175k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1582.13/1582.18 c 1550s| 2340k| 1007k| 0 | 0.0 |1365M|1040 | - |1929 | 13k| 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1588.94/1588.98 c 1557s| 2350k| 1012k| 0 | 0.0 |1371M|1040 | - |1929 | 13k| 0 | 0 | 0 |2188k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1595.94/1595.94 c 1563s| 2360k| 1018k| 0 | 0.0 |1377M|1040 | - |1929 | 13k| 0 | 0 | 0 |2196k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1603.04/1603.07 c 1570s| 2370k| 1023k| 0 | 0.0 |1383M|1040 | - |1929 | 13k| 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1610.35/1610.33 c 1578s| 2380k| 1028k| 0 | 0.0 |1390M|1040 | - |1929 | 14k| 0 | 0 | 0 |2211k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1618.14/1618.12 c 1585s| 2390k| 1032k| 0 | 0.0 |1396M|1040 | - |1929 | 14k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1625.64/1625.68 c 1593s| 2400k| 1037k| 0 | 0.0 |1402M|1040 | - |1929 | 14k| 0 | 0 | 0 |2227k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1633.45/1633.49 c 1600s| 2410k| 1042k| 0 | 0.0 |1409M|1040 | - |1929 | 14k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1641.74/1641.72 c 1608s| 2420k| 1046k| 0 | 0.0 |1415M|1040 | - |1929 | 15k| 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1649.64/1649.68 c 1616s| 2430k| 1051k| 0 | 0.0 |1421M|1040 | - |1929 | 14k| 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1657.95/1657.98 c 1624s| 2440k| 1055k| 0 | 0.0 |1427M|1040 | - |1929 | 14k| 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1666.54/1666.59 c 1633s| 2450k| 1059k| 0 | 0.0 |1433M|1040 | - |1929 | 14k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1674.54/1674.57 c 1641s| 2460k| 1063k| 0 | 0.0 |1439M|1040 | - |1929 | 14k| 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1682.84/1682.86 c 1649s| 2470k| 1067k| 0 | 0.0 |1445M|1040 | - |1929 | 14k| 0 | 0 | 0 |2291k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1690.55/1690.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.55/1690.51 c 1656s| 2480k| 1071k| 0 | 0.0 |1451M|1040 | - |1929 | 13k| 0 | 0 | 0 |2299k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1699.34/1699.36 c 1665s| 2490k| 1075k| 0 | 0.0 |1456M|1040 | - |1929 | 15k| 0 | 0 | 0 |2309k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1707.95/1707.90 c 1673s| 2500k| 1078k| 0 | 0.0 |1462M|1040 | - |1929 | 14k| 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1716.14/1716.18 c 1681s| 2510k| 1082k| 0 | 0.0 |1467M|1040 | - |1929 | 13k| 0 | 0 | 0 |2329k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1724.95/1724.99 c 1689s| 2520k| 1085k| 0 | 0.0 |1472M|1040 | - |1929 | 14k| 0 | 0 | 0 |2340k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1732.94/1732.92 c 1697s| 2530k| 1089k| 0 | 0.0 |1478M|1040 | - |1929 | 13k| 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1742.74/1742.77 c 1706s| 2540k| 1091k| 0 | 0.0 |1483M|1040 | - |1929 | 14k| 0 | 0 | 0 |2361k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1752.45/1752.45 c 1715s| 2550k| 1093k| 0 | 0.0 |1488M|1040 | - |1929 | 15k| 0 | 0 | 0 |2373k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1761.34/1761.33 c 1724s| 2560k| 1097k| 0 | 0.0 |1493M|1040 | - |1929 | 15k| 0 | 0 | 0 |2384k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1771.44/1771.40 c 1733s| 2570k| 1099k| 0 | 0.0 |1498M|1040 | - |1929 | 14k| 0 | 0 | 0 |2395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1781.75/1781.74 c 1743s| 2580k| 1101k| 0 | 0.0 |1502M|1040 | - |1929 | 15k| 0 | 0 | 0 |2408k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1791.85/1791.88 c 1753s| 2590k| 1103k| 0 | 0.0 |1506M|1040 | - |1929 | 15k| 0 | 0 | 0 |2420k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1760.50
1800.05/1800.00 c Solving Nodes : 2598673
1800.05/1800.00 c Primal Bound : +5.00000000000000e+00 (22 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.05/1800.01 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.05/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 -x54
1800.05/1800.01 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/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.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1760.50
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694199-1277910539.wbo
1800.05/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.05/1800.01 c Constraints : 3638 initial, 3638 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694199-1277910539.wbo
1800.05/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.05/1800.01 c Constraints : 3365 initial, 34593 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.07 0 0 0 954 0 192 139 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 822 - - 1644 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 849 0 6378571 0 1675792 53 529079 0 0 0
1800.05/1800.01 c knapsack : 1 0 8449498 0 2045980 216774 26120835 0 0 0
1800.05/1800.01 c setppc : 14 0 8252964 0 2045895 113659 6754083 0 0 0
1800.05/1800.01 c linear : 849 0 8139958 0 2046001 158219 11524607 0 0 0
1800.05/1800.01 c logicor : 1652+ 0 6194083 0 2046020 376142 17403466 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 7014 0 0 0 1 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 2046020 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 5.73 0.00 3.23 0.00 2.50
1800.05/1800.01 c knapsack : 97.59 0.00 93.45 0.00 4.14
1800.05/1800.01 c setppc : 33.89 0.00 29.65 0.00 4.24
1800.05/1800.01 c linear : 130.72 0.00 128.91 0.00 1.81
1800.05/1800.01 c logicor : 594.36 0.00 503.05 0.00 91.31
1800.05/1800.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.98 2 0 0
1800.05/1800.01 c rootredcost : 2.02 0 0 0
1800.05/1800.01 c pseudoobj : 139.10 8470657 326 521320
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 24.73 865120 864970 4228256 19.0 60055 12.4 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 19 19 99 24.7 13 8.6 -
1800.05/1800.01 c applied globally : - - - 2429951 16.7 - - -
1800.05/1800.01 c applied locally : - - - 1 122.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 26.22 2045998 0 0 0 0 4091996
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.02 - 22
1800.05/1800.01 c oneopt : 0.99 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.75 0 0
1800.05/1800.01 c trysol : 0.55 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2598673
1800.05/1800.01 c nodes (total) : 2598673
1800.05/1800.01 c nodes left : 1106357
1800.05/1800.01 c max depth : 1040
1800.05/1800.01 c max depth (total): 1040
1800.05/1800.01 c backtracks : 531456 (20.5%)
1800.05/1800.01 c delayed cutoffs : 380141
1800.05/1800.01 c repropagations : 1928291 (18024379 domain reductions, 312539 cutoffs)
1800.05/1800.01 c avg switch length: 23.13
1800.05/1800.01 c switching time : 536.72
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 22 (22 improvements)
1800.05/1800.01 c First Solution : +6.07000000000000e+02 (in run 1, after 14115 nodes, 3.73 seconds, depth 372, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +5.00000000000000e+00 (in run 1, after 517737 nodes, 232.93 seconds, depth 327, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694199-1277910539/watcher-2694199-1277910539 -o /tmp/evaluation-result-2694199-1277910539/solver-2694199-1277910539 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694199-1277910539.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/196 24854 /proc/meminfo: memFree=31313900/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=8300 CPUtime=0 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 166657432 8499200 1476 4089446400 4194304 7136930 140737365981680 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24854/statm: 2075 1476 275 719 0 1354 0 [startup+0.0494061 s] /proc/loadavg: 2.00 2.00 2.00 4/196 24854 /proc/meminfo: memFree=31313900/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=21300 CPUtime=0.04 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 5497 0 0 0 3 1 0 0 25 0 1 0 166657432 21811200 4552 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 5325 4552 348 719 0 4604 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 21300 [startup+0.100395 s] /proc/loadavg: 2.00 2.00 2.00 4/196 24854 /proc/meminfo: memFree=31313900/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=21300 CPUtime=0.09 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 6792 0 0 0 8 1 0 0 25 0 1 0 166657432 21811200 4562 4089446400 4194304 7136930 140737365981680 18446744073709551615 4973428 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 5582 4572 354 719 0 4861 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21300 [startup+0.300353 s] /proc/loadavg: 2.00 2.00 2.00 4/196 24854 /proc/meminfo: memFree=31313900/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=24296 CPUtime=0.29 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 10642 0 0 0 27 2 0 0 25 0 1 0 166657432 24879104 5328 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 6074 5328 399 719 0 5353 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24296 [startup+0.700277 s] /proc/loadavg: 2.00 2.00 2.00 4/196 24854 /proc/meminfo: memFree=31313900/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=26132 CPUtime=0.69 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 11111 0 0 0 65 4 0 0 25 0 1 0 166657432 26759168 5797 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 6533 5797 404 719 0 5812 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26132 [startup+1.50114 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24855 /proc/meminfo: memFree=31290704/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=28856 CPUtime=1.49 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 11812 0 0 0 142 7 0 0 25 0 1 0 166657432 29548544 6498 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 7214 6498 404 719 0 6493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28856 [startup+3.10077 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24855 /proc/meminfo: memFree=31287028/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=34428 CPUtime=3.09 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 13232 0 0 0 295 14 0 0 25 0 1 0 166657432 35254272 7918 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 8607 7918 404 719 0 7886 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34428 [startup+6.30025 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24855 /proc/meminfo: memFree=31275744/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=44176 CPUtime=6.29 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 15657 0 0 0 605 24 0 0 25 0 1 0 166657432 45236224 10343 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 11044 10343 405 719 0 10323 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44176 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24856 /proc/meminfo: memFree=31252476/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=63132 CPUtime=12.7 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 20419 0 0 0 1224 46 0 0 25 0 1 0 166657432 64647168 15105 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 15783 15105 405 719 0 15062 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 63132 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24856 /proc/meminfo: memFree=31220600/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=87500 CPUtime=25.49 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 26534 0 0 0 2467 82 0 0 25 0 1 0 166657432 89600000 21220 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 21875 21220 405 719 0 21154 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 87500 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24857 /proc/meminfo: memFree=31124712/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=185956 CPUtime=51.09 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 48266 0 0 0 4951 158 0 0 25 0 1 0 166657432 190418944 42952 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 46489 42952 407 719 0 45768 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 185956 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24858 /proc/meminfo: memFree=31021748/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=276076 CPUtime=102.3 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 70844 0 0 0 9933 297 0 0 25 0 1 0 166657432 282701824 65530 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 69019 65530 407 719 0 68298 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 276076 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24860 /proc/meminfo: memFree=30959200/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=327748 CPUtime=162.3 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 83707 0 0 0 15822 408 0 0 25 0 1 0 166657432 335613952 78393 4089446400 4194304 7136930 140737365981680 18446744073709551615 5004434 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 81937 78393 407 719 0 81216 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 327748 [startup+222.301 s] /proc/loadavg: 2.26 2.08 2.02 3/197 24861 /proc/meminfo: memFree=30821996/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=451288 CPUtime=222.3 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 113747 0 0 0 21627 603 0 0 25 0 1 0 166657432 462118912 108433 4089446400 4194304 7136930 140737365981680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 112822 108433 407 719 0 112101 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 451288 [startup+282.301 s] /proc/loadavg: 2.09 2.06 2.02 3/197 24866 /proc/meminfo: memFree=30725828/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=537760 CPUtime=282.3 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 135101 0 0 0 27461 769 0 0 25 0 1 0 166657432 550666240 129787 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 134440 129787 407 719 0 133719 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 537760 [startup+342.301 s] /proc/loadavg: 2.03 2.05 2.01 3/197 24868 /proc/meminfo: memFree=30618952/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=636560 CPUtime=342.3 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 160155 0 0 0 33274 956 0 0 25 0 1 0 166657432 651837440 154841 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 159140 154841 407 719 0 158419 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 636560 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.01 3/197 24869 /proc/meminfo: memFree=30522180/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=738436 CPUtime=402.31 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 183831 0 0 0 39095 1136 0 0 25 0 1 0 166657432 756158464 178517 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 184609 178517 407 719 0 183888 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 738436 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 24871 /proc/meminfo: memFree=30461496/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=787272 CPUtime=462.31 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 196065 0 0 0 44977 1254 0 0 25 0 1 0 166657432 806166528 190751 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 196818 190751 407 719 0 196097 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 787272 [startup+522.3 s] /proc/loadavg: 2.04 2.03 2.00 3/197 24872 /proc/meminfo: memFree=30434788/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=808692 CPUtime=522.31 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 201383 0 0 0 50876 1355 0 0 25 0 1 0 166657432 828100608 196069 4089446400 4194304 7136930 140737365981680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 202173 196069 407 719 0 201452 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 808692 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 24874 /proc/meminfo: memFree=30420744/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=817244 CPUtime=582.31 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 203464 0 0 0 56798 1433 0 0 25 0 1 0 166657432 836857856 198150 4089446400 4194304 7136930 140737365981680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 204311 198150 407 719 0 203590 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 817244 [startup+642.301 s] /proc/loadavg: 2.56 2.14 2.04 3/197 24876 /proc/meminfo: memFree=30393912/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=836936 CPUtime=642.32 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 208413 0 0 0 62686 1546 0 0 25 0 1 0 166657432 857022464 203099 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 209234 203099 407 719 0 208513 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 836936 [startup+702.301 s] ################ # More data... # ################ /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 279869 0 0 0 97967 2266 0 0 25 0 1 0 166657432 1148100608 274555 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 280298 274555 407 719 0 279577 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1121192 [startup+1062.3 s] /proc/loadavg: 2.05 2.04 2.00 3/197 24887 /proc/meminfo: memFree=30015952/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1168484 CPUtime=1062.33 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 291910 0 0 0 103842 2391 0 0 25 0 1 0 166657432 1196527616 286596 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 292121 286596 407 719 0 291400 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1168484 [startup+1122.3 s] /proc/loadavg: 2.02 2.03 2.00 3/197 24888 /proc/meminfo: memFree=29940124/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1241144 CPUtime=1122.33 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 310206 0 0 0 109705 2528 0 0 25 0 1 0 166657432 1270931456 304892 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 310286 304892 407 719 0 309565 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1241144 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 24890 /proc/meminfo: memFree=29900016/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1280668 CPUtime=1182.33 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 320231 0 0 0 115590 2643 0 0 25 0 1 0 166657432 1311404032 314917 4089446400 4194304 7136930 140737365981680 18446744073709551615 4220858 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 320167 314917 407 719 0 319446 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1280668 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 24892 /proc/meminfo: memFree=29877900/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1302080 CPUtime=1242.33 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 325512 0 0 0 121512 2721 0 0 25 0 1 0 166657432 1333329920 320198 4089446400 4194304 7136930 140737365981680 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 325520 320198 407 719 0 324799 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1302080 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24893 /proc/meminfo: memFree=29834684/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1343700 CPUtime=1302.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 336090 0 0 0 127405 2829 0 0 25 0 1 0 166657432 1375948800 330776 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 335925 330776 407 719 0 335204 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1343700 [startup+1362.3 s] /proc/loadavg: 2.04 2.02 2.00 3/197 24895 /proc/meminfo: memFree=29786264/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1391800 CPUtime=1362.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 348212 0 0 0 133300 2934 0 0 25 0 1 0 166657432 1425203200 342898 4089446400 4194304 7136930 140737365981680 18446744073709551615 4209998 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24854/statm: 347950 342898 407 719 0 347229 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1391800 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24896 /proc/meminfo: memFree=29744436/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1432032 CPUtime=1422.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 358349 0 0 0 139213 3021 0 0 25 0 1 0 166657432 1466400768 353035 4089446400 4194304 7136930 140737365981680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24854/statm: 358008 353035 407 719 0 357287 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1432032 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24898 /proc/meminfo: memFree=29722076/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1449564 CPUtime=1482.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 362653 0 0 0 145144 3090 0 0 25 0 1 0 166657432 1484353536 357339 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24854/statm: 362391 357339 407 719 0 361670 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1449564 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24900 /proc/meminfo: memFree=29708528/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1458416 CPUtime=1542.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 364869 0 0 0 151084 3150 0 0 25 0 1 0 166657432 1493417984 359555 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24854/statm: 364604 359555 407 719 0 363883 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1458416 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24901 /proc/meminfo: memFree=29660492/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1516840 CPUtime=1602.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 375604 0 0 0 156975 3259 0 0 25 0 1 0 166657432 1553244160 370290 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24854/statm: 379210 370290 407 719 0 378489 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1516840 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 10/197 24903 /proc/meminfo: memFree=29609616/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1562576 CPUtime=1662.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 387222 0 0 0 162866 3368 0 0 25 0 1 0 166657432 1600077824 381908 4089446400 4194304 7136930 140737365981680 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24854/statm: 390644 381908 407 719 0 389923 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1562576 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24934 /proc/meminfo: memFree=29883924/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1606488 CPUtime=1722.35 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 398210 0 0 0 168666 3569 0 0 25 0 1 0 166657432 1645043712 392896 4089446400 4194304 7136930 140737365981680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24854/statm: 401622 392896 407 719 0 400901 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1606488 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24936 /proc/meminfo: memFree=29811436/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1634212 CPUtime=1782.34 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 405134 0 0 0 174366 3868 0 0 25 0 1 0 166657432 1673433088 399820 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24854/statm: 408553 399820 407 719 0 407832 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1634212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24936 /proc/meminfo: memFree=29792828/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1645372 CPUtime=1800.05 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 407963 0 0 0 176052 3953 0 0 25 0 1 0 166657432 1684860928 402649 4089446400 4194304 7136930 140737365981680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24854/statm: 411343 402649 407 719 0 410622 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1645372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24854 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24937 /proc/meminfo: memFree=29792572/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1644348 CPUtime=1801.45 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 407972 0 0 0 176192 3953 0 0 25 0 1 0 166657432 1683812352 402402 4089446400 4194304 7136930 140737365981680 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24854/statm: 411087 402402 412 719 0 410366 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1644348 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24937 /proc/meminfo: memFree=29792940/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1644348 CPUtime=1801.85 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 407972 0 0 0 176232 3953 0 0 25 0 1 0 166657432 1683812352 402402 4089446400 4194304 7136930 140737365981680 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24854/statm: 411087 402402 412 719 0 410366 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1644348 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24937 /proc/meminfo: memFree=29792940/32950928 swapFree=67111528/67111528 [pid=24854] ppid=24852 vsize=1644348 CPUtime=1802.05 /proc/24854/stat : 24854 (pbscip.linux.x8) R 24852 24854 24710 0 -1 4202496 407972 0 0 0 176252 3953 0 0 25 0 1 0 166657432 1683812352 402402 4089446400 4194304 7136930 140737365981680 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24854/statm: 411087 402402 412 719 0 410366 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1644348 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.12 CPU user time (s): 1762.53 CPU system time (s): 39.588 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1645372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1762.53 system time used= 39.588 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 407972 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= 7499 runsolver used 2.67459 second user time and 5.85611 second system time The end
Begin job on node113 at 2010-06-30 17:08:59 IDJOB=2694199 IDBENCH=78978 IDSOLVER=1206 FILE ID=node113/2694199-1277910539 PBS_JOBID= 11197255 Free space on /tmp= 74212 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.1900552288--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-2694199-1277910539/watcher-2694199-1277910539 -o /tmp/evaluation-result-2694199-1277910539/solver-2694199-1277910539 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694199-1277910539.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403 RANDOM SEED=450354088 node113.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.812 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.62 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.812 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.83 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.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 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.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 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.812 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.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31314428 kB Buffers: 193956 kB Cached: 1032316 kB SwapCached: 0 kB Active: 806744 kB Inactive: 686244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31314428 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3720 kB Writeback: 0 kB AnonPages: 267716 kB Mapped: 20360 kB Slab: 78800 kB PageTables: 5464 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1651408 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 node113 at 2010-06-30 17:39:01