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.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo |
| MD5SUM | f2c87e7318987ff21f5979e3cf339f19 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 246.202 |
| 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 | 1783 |
| 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 | 90636 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90635 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 687 |
| 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-2694167-1277908871.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.04/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.04/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3639 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.75 c 2.5s| 10000 | 9554 | 0 | 0.0 | 17M|1862 | - |3639 |4811 | 0 | 0 | 0 | 911 | 0 | 0.000000e+00 | -- | Inf
3.39/3.46 o 821
3.39/3.46 c * 3.1s| 13146 | 5737 | 0 | 0.0 | 16M|1862 | - |3639 |4785 | 0 | 0 | 0 | 911 | 0 | 0.000000e+00 | 8.210000e+02 | Inf
3.49/3.52 o 812
3.49/3.52 c * 3.2s| 13330 | 5909 | 0 | 0.0 | 16M|1862 | - |3639 |4789 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | 8.120000e+02 | Inf
3.59/3.61 o 336
3.59/3.61 c * 3.2s| 13730 | 6227 | 0 | 0.0 | 16M|1862 | - |3639 |4765 | 0 | 0 | 0 | 927 | 0 | 0.000000e+00 | 3.360000e+02 | Inf
3.59/3.63 o 201
3.59/3.63 c * 3.3s| 13863 | 5872 | 0 | 0.0 | 16M|1862 | - |3639 |4775 | 0 | 0 | 0 | 937 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
5.29/5.35 c 4.8s| 20000 | 11036 | 0 | 0.0 | 22M|1862 | - |3639 |5717 | 0 | 0 | 0 |4315 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
8.99/9.01 c 8.1s| 30000 | 18328 | 0 | 0.0 | 32M|1862 | - |3639 |6853 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
12.29/12.32 o 169
12.29/12.32 c *11.2s| 36160 | 20907 | 0 | 0.0 | 39M|1862 | - |3639 |8132 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
12.29/12.32 o 134
12.29/12.32 c *11.2s| 36161 | 20758 | 0 | 0.0 | 39M|1862 | - |3639 |8132 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
12.29/12.37 o 101
12.29/12.37 c *11.3s| 36259 | 20832 | 0 | 0.0 | 39M|1862 | - |3639 |8020 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
12.39/12.41 o 100
12.39/12.41 c *11.3s| 36358 | 20904 | 0 | 0.0 | 39M|1862 | - |3639 |7911 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
14.49/14.53 c 13.3s| 40000 | 24243 | 0 | 0.0 | 47M|1862 | - |3639 |6206 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
15.09/15.15 o 89
15.09/15.15 c *13.8s| 41221 | 24759 | 0 | 0.0 | 49M|1862 | - |3639 |5994 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
15.19/15.28 o 84
15.19/15.28 c *14.0s| 41474 | 24467 | 0 | 0.0 | 46M|1862 | - |3639 |5917 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
15.19/15.28 o 71
15.19/15.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.19/15.28 c *14.0s| 41475 | 24020 | 0 | 0.0 | 45M|1862 | - |3639 |5917 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
15.79/15.82 o 61
15.79/15.82 c *14.5s| 42379 | 24384 | 0 | 0.0 | 45M|1862 | - |3639 |5142 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
19.39/19.43 o 48
19.39/19.43 c *17.8s| 49748 | 30171 | 0 | 0.0 | 55M|1862 | - |3639 |5431 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
19.49/19.55 c 17.9s| 50000 | 30383 | 0 | 0.0 | 55M|1862 | - |3639 |5436 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
23.59/23.64 c 21.6s| 60000 | 38827 | 0 | 0.0 | 71M|1862 | - |3639 |6436 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
23.89/23.98 o 46
23.89/23.98 c *21.9s| 60939 | 39484 | 0 | 0.0 | 72M|1862 | - |3639 |6679 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
23.89/23.98 o 39
23.89/23.98 c *21.9s| 60940 | 38412 | 0 | 0.0 | 65M|1862 | - |3639 |6679 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
24.49/24.50 o 25
24.49/24.50 c *22.4s| 62483 | 36936 | 0 | 0.0 | 56M|1862 | - |3639 |6613 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
24.49/24.50 o 12
24.49/24.50 c *22.4s| 62487 | 35759 | 0 | 0.0 | 55M|1862 | - |3639 |6623 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
26.89/26.95 c 24.6s| 70000 | 41950 | 0 | 0.0 | 62M|1862 | - |3639 |5938 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
30.30/30.32 c 27.7s| 80000 | 49947 | 0 | 0.0 | 70M|1862 | - |3639 |6445 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
33.99/34.06 c 31.2s| 90000 | 57553 | 0 | 0.0 | 78M|1862 | - |3639 |6854 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
37.79/37.81 c 34.6s|100000 | 65077 | 0 | 0.0 | 86M|1862 | - |3639 |7235 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
41.99/42.06 c 38.5s|110000 | 72074 | 0 | 0.0 | 95M|1862 | - |3639 |7783 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
46.69/46.79 c 42.9s|120000 | 78608 | 0 | 0.0 | 103M|1862 | - |3639 |8215 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
51.80/51.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.80/51.86 c 47.7s|130000 | 84700 | 0 | 0.0 | 113M|1862 | - |3639 |8785 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
56.79/56.87 c 52.3s|140000 | 90892 | 0 | 0.0 | 122M|1862 | - |3639 |8940 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
62.20/62.24 c 57.4s|150000 | 96687 | 0 | 0.0 | 131M|1862 | - |3639 |9539 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
67.99/68.03 c 62.8s|160000 |102045 | 0 | 0.0 | 140M|1862 | - |3639 |9977 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
74.39/74.46 c 68.9s|170000 |106709 | 0 | 0.0 | 150M|1862 | - |3639 | 11k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
81.69/81.79 c 75.9s|180000 |110382 | 0 | 0.0 | 159M|1862 | - |3639 | 11k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
87.20/87.24 c 81.0s|190000 |115197 | 0 | 0.0 | 162M|1862 | - |3639 |5885 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
92.09/92.18 c 85.5s|200000 |122369 | 0 | 0.0 | 173M|1862 | - |3639 |7795 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
97.69/97.73 c 90.7s|210000 |128830 | 0 | 0.0 | 181M|1862 | - |3639 |6640 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
102.70/102.77 c 95.4s|220000 |136027 | 0 | 0.0 | 191M|1862 | - |3639 |7374 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
109.79/109.82 c 102s|230000 |141122 | 0 | 0.0 | 201M|1862 | - |3639 | 10k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
114.59/114.61 c 106s|240000 |148775 | 0 | 0.0 | 213M|1862 | - |3639 |8056 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
120.59/120.60 c 112s|250000 |155503 | 0 | 0.0 | 226M|1862 | - |3639 |8203 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
125.59/125.65 c 117s|260000 |162532 | 0 | 0.0 | 238M|1862 | - |3639 |9696 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
131.10/131.18 c 122s|270000 |169557 | 0 | 0.0 | 263M|1862 | - |3639 |9122 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
136.49/136.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.49/136.58 c 127s|280000 |176576 | 0 | 0.0 | 279M|1862 | - |3639 | 10k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
142.39/142.48 c 133s|290000 |183875 | 0 | 0.0 | 310M|1862 | - |3639 | 10k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
143.69/143.74 o 10
143.69/143.74 c * 134s|292135 |184672 | 0 | 0.0 | 311M|1862 | - |3639 | 10k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
149.50/149.54 o 7
149.50/149.54 c * 139s|299820 |188777 | 0 | 0.0 | 333M|1862 | - |3639 | 12k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
149.60/149.69 c 139s|300000 |188880 | 0 | 0.0 | 334M|1862 | - |3639 | 12k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
156.20/156.22 c 145s|310000 |195587 | 0 | 0.0 | 362M|1862 | - |3639 | 11k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
162.20/162.25 c 151s|320000 |201917 | 0 | 0.0 | 376M|1862 | - |3639 | 12k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.89/166.93 c 155s|330000 |209494 | 0 | 0.0 | 392M|1862 | - |3639 | 10k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.50/171.57 c 160s|340000 |216241 | 0 | 0.0 | 401M|1862 | - |3639 |9925 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
176.49/176.50 c 164s|350000 |222542 | 0 | 0.0 | 409M|1862 | - |3639 |9751 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
181.40/181.44 c 169s|360000 |228808 | 0 | 0.0 | 418M|1862 | - |3639 | 11k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
185.70/185.80 c 173s|370000 |235789 | 0 | 0.0 | 426M|1862 | - |3639 | 11k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.20/190.22 c 177s|380000 |242765 | 0 | 0.0 | 434M|1862 | - |3639 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
194.49/194.54 c 181s|390000 |249898 | 0 | 0.0 | 442M|1862 | - |3639 | 10k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
198.89/198.90 c 185s|400000 |256823 | 0 | 0.0 | 450M|1862 | - |3639 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
203.00/203.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.00/203.04 c 189s|410000 |263925 | 0 | 0.0 | 457M|1862 | - |3639 | 11k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
206.80/206.89 c 192s|420000 |271442 | 0 | 0.0 | 463M|1862 | - |3639 |4738 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
210.11/210.15 c 195s|430000 |279520 | 0 | 0.0 | 471M|1862 | - |3639 |4828 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
213.49/213.58 c 198s|440000 |287183 | 0 | 0.0 | 479M|1862 | - |3639 |5337 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
217.89/217.98 c 202s|450000 |293712 | 0 | 0.0 | 487M|1862 | - |3639 |5892 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.49/222.55 c 207s|460000 |300018 | 0 | 0.0 | 496M|1862 | - |3639 |6359 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.00/227.02 c 211s|470000 |306442 | 0 | 0.0 | 505M|1862 | - |3639 |6793 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
231.80/231.83 c 215s|480000 |312549 | 0 | 0.0 | 513M|1862 | - |3639 |6915 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.00/237.02 c 220s|490000 |318190 | 0 | 0.0 | 522M|1862 | - |3639 |7368 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.29/242.36 c 225s|500000 |323710 | 0 | 0.0 | 531M|1862 | - |3639 |7655 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.69/247.71 c 230s|510000 |329235 | 0 | 0.0 | 539M|1862 | - |3639 |7861 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.50/252.52 c 235s|520000 |335378 | 0 | 0.0 | 547M|1862 | - |3639 |7751 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
257.50/257.52 c 239s|530000 |341174 | 0 | 0.0 | 556M|1862 | - |3639 |8812 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
263.30/263.35 c 245s|540000 |346208 | 0 | 0.0 | 564M|1862 | - |3639 |9202 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
269.40/269.45 c 250s|550000 |350945 | 0 | 0.0 | 573M|1862 | - |3639 |8931 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.60/275.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.60/275.61 c 256s|560000 |355631 | 0 | 0.0 | 581M|1862 | - |3639 |8721 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
281.60/281.63 c 262s|570000 |360506 | 0 | 0.0 | 589M|1862 | - |3639 |9044 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
287.80/287.87 c 268s|580000 |365088 | 0 | 0.0 | 597M|1862 | - |3639 | 10k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
294.50/294.59 c 274s|590000 |369160 | 0 | 0.0 | 605M|1862 | - |3639 |9975 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
301.40/301.47 c 281s|600000 |373017 | 0 | 0.0 | 612M|1862 | - |3639 | 10k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
308.40/308.46 c 287s|610000 |376928 | 0 | 0.0 | 620M|1862 | - |3639 |9990 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
315.30/315.35 c 294s|620000 |380843 | 0 | 0.0 | 628M|1862 | - |3639 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
322.89/322.91 c 301s|630000 |384221 | 0 | 0.0 | 636M|1862 | - |3639 | 11k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
330.90/330.98 c 309s|640000 |386978 | 0 | 0.0 | 643M|1862 | - |3639 | 11k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
339.70/339.77 c 317s|650000 |388957 | 0 | 0.0 | 650M|1862 | - |3639 | 12k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
349.71/349.72 c 327s|660000 |389460 | 0 | 0.0 | 657M|1862 | - |3639 | 12k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
360.80/360.87 c 337s|670000 |388474 | 0 | 0.0 | 663M|1862 | - |3639 | 13k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
373.20/373.27 c 349s|680000 |385537 | 0 | 0.0 | 668M|1862 | - |3639 | 15k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
386.70/386.78 c 362s|690000 |380012 | 0 | 0.0 | 668M|1862 | - |3639 | 16k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.10/401.15 c 376s|700000 |369711 | 0 | 0.0 | 649M|1862 | - |3639 | 12k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
404.90/404.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.90/404.91 c 379s|710000 |377724 | 0 | 0.0 | 654M|1862 | - |3639 |4917 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
408.50/408.59 c 383s|720000 |385514 | 0 | 0.0 | 662M|1862 | - |3639 |5179 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
412.30/412.32 c 386s|730000 |393173 | 0 | 0.0 | 670M|1862 | - |3639 |5592 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.20/416.26 c 390s|740000 |400630 | 0 | 0.0 | 678M|1862 | - |3639 |5902 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
420.40/420.40 c 394s|750000 |407831 | 0 | 0.0 | 686M|1862 | - |3639 |6309 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.70/424.76 c 398s|760000 |414796 | 0 | 0.0 | 695M|1862 | - |3639 |6834 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.30/430.33 c 403s|770000 |420611 | 0 | 0.0 | 705M|1862 | - |3639 |7811 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
436.10/436.15 c 408s|780000 |426127 | 0 | 0.0 | 715M|1862 | - |3639 |8519 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
442.61/442.61 c 414s|790000 |431079 | 0 | 0.0 | 726M|1862 | - |3639 |9553 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
450.61/450.62 c 422s|800000 |434516 | 0 | 0.0 | 735M|1862 | - |3639 | 11k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
457.40/457.41 c 428s|810000 |439544 | 0 | 0.0 | 741M|1862 | - |3639 |6535 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
461.11/461.14 c 431s|820000 |447184 | 0 | 0.0 | 749M|1862 | - |3639 |5663 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
465.31/465.35 c 435s|830000 |454239 | 0 | 0.0 | 757M|1862 | - |3639 |6524 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
469.90/469.94 c 439s|840000 |460893 | 0 | 0.0 | 765M|1862 | - |3639 |7307 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
475.00/475.04 c 444s|850000 |467021 | 0 | 0.0 | 773M|1862 | - |3639 |7602 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.71/480.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.71/480.74 c 449s|860000 |472497 | 0 | 0.0 | 783M|1862 | - |3639 |7463 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
486.41/486.43 c 455s|870000 |477938 | 0 | 0.0 | 791M|1862 | - |3639 |7233 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
492.10/492.12 c 460s|880000 |483393 | 0 | 0.0 | 800M|1862 | - |3639 |7230 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
497.50/497.54 c 465s|890000 |489063 | 0 | 0.0 | 808M|1862 | - |3639 |7518 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
503.01/503.08 c 470s|900000 |494565 | 0 | 0.0 | 817M|1862 | - |3639 |7654 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.90/508.92 c 476s|910000 |499822 | 0 | 0.0 | 825M|1862 | - |3639 |7863 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
509.70/509.72 o 4
509.70/509.72 c * 476s|911359 |493076 | 0 | 0.0 | 806M|1862 | - |3639 |8091 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
515.81/515.88 c 482s|920000 |497193 | 0 | 0.0 | 816M|1862 | - |3639 |8577 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
523.21/523.20 c 489s|930000 |501350 | 0 | 0.0 | 825M|1862 | - |3639 |9715 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
531.70/531.71 c 497s|940000 |504475 | 0 | 0.0 | 834M|1862 | - |3639 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
540.11/540.12 c 505s|950000 |507856 | 0 | 0.0 | 838M|1862 | - |3639 |6844 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.21/544.27 c 509s|960000 |515026 | 0 | 0.0 | 846M|1862 | - |3639 |6072 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
548.71/548.72 c 513s|970000 |521701 | 0 | 0.0 | 855M|1862 | - |3639 |6940 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
553.70/553.70 c 517s|980000 |527831 | 0 | 0.0 | 865M|1862 | - |3639 |7882 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
559.30/559.30 c 523s|990000 |533347 | 0 | 0.0 | 873M|1862 | - |3639 |8895 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
566.01/566.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.01/566.00 c 529s| 1000k|537885 | 0 | 0.0 | 882M|1862 | - |3639 | 10k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
573.20/573.21 c 536s| 1010k|541960 | 0 | 0.0 | 890M|1862 | - |3639 | 11k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
581.30/581.35 c 543s| 1020k|545293 | 0 | 0.0 | 897M|1862 | - |3639 | 10k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
587.21/587.29 c 549s| 1030k|550601 | 0 | 0.0 | 902M|1862 | - |3639 |7336 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
591.71/591.77 c 553s| 1040k|557381 | 0 | 0.0 | 909M|1862 | - |3639 |6878 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
596.21/596.24 c 557s| 1050k|564132 | 0 | 0.0 | 917M|1862 | - |3639 |7487 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
601.20/601.28 c 562s| 1060k|570328 | 0 | 0.0 | 925M|1862 | - |3639 |8074 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
606.80/606.88 c 567s| 1070k|575877 | 0 | 0.0 | 933M|1862 | - |3639 |9051 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
613.11/613.11 c 573s| 1080k|580817 | 0 | 0.0 | 942M|1862 | - |3639 | 10k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
620.70/620.73 c 580s| 1090k|584374 | 0 | 0.0 | 950M|1862 | - |3639 | 12k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.01/631.00 c 590s| 1100k|585892 | 0 | 0.0 | 957M|1862 | - |3639 | 14k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
635.11/635.11 c 594s| 1110k|593502 | 0 | 0.0 | 962M|1862 | - |3639 |7368 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
638.80/638.87 c 597s| 1120k|601091 | 0 | 0.0 | 969M|1862 | - |3639 |7280 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
642.91/642.91 c 601s| 1130k|608270 | 0 | 0.0 | 977M|1862 | - |3639 |7941 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
647.81/647.86 c 605s| 1140k|614469 | 0 | 0.0 | 985M|1862 | - |3639 |8689 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
653.70/653.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.70/653.71 c 611s| 1150k|619682 | 0 | 0.0 | 994M|1862 | - |3639 |9678 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
660.31/660.36 c 617s| 1160k|624107 | 0 | 0.0 |1003M|1862 | - |3639 |9987 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
667.41/667.43 c 624s| 1170k|628114 | 0 | 0.0 |1011M|1862 | - |3639 |9841 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.81/673.88 c 630s| 1180k|632761 | 0 | 0.0 |1018M|1862 | - |3639 |8567 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
679.71/679.74 c 635s| 1190k|637981 | 0 | 0.0 |1025M|1862 | - |3639 |8203 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
684.71/684.76 c 640s| 1200k|644143 | 0 | 0.0 |1032M|1862 | - |3639 |7704 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.51/689.53 c 644s| 1210k|650613 | 0 | 0.0 |1040M|1862 | - |3639 |7727 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
694.41/694.47 c 649s| 1220k|656828 | 0 | 0.0 |1049M|1862 | - |3639 |7803 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.71/699.76 c 654s| 1230k|662607 | 0 | 0.0 |1057M|1862 | - |3639 |8161 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
705.50/705.56 c 659s| 1240k|667928 | 0 | 0.0 |1066M|1862 | - |3639 |8304 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
711.80/711.80 c 665s| 1250k|672788 | 0 | 0.0 |1075M|1862 | - |3639 |8921 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
718.11/718.18 c 671s| 1260k|677630 | 0 | 0.0 |1083M|1862 | - |3639 |9357 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
724.91/724.93 c 677s| 1270k|682097 | 0 | 0.0 |1092M|1862 | - |3639 | 10k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.11/732.10 c 684s| 1280k|686273 | 0 | 0.0 |1100M|1862 | - |3639 | 10k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
740.51/740.55 c 692s| 1290k|689406 | 0 | 0.0 |1108M|1862 | - |3639 | 12k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
750.51/750.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.51/750.50 c 701s| 1300k|691412 | 0 | 0.0 |1112M|1862 | - |3639 | 15k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
755.31/755.30 c 706s| 1310k|698606 | 0 | 0.0 |1116M|1862 | - |3639 |6727 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
756.31/756.38 o 3
756.31/756.38 c * 707s| 1312k|694186 | 0 | 0.0 |1103M|1862 | - |3639 |6702 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
759.51/759.57 c 710s| 1320k|699315 | 0 | 0.0 |1109M|1862 | - |3639 |7136 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
764.21/764.28 c 714s| 1330k|705850 | 0 | 0.0 |1118M|1862 | - |3639 |7948 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
769.31/769.38 c 719s| 1340k|711712 | 0 | 0.0 |1127M|1862 | - |3639 |8276 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
775.11/775.15 c 724s| 1350k|716790 | 0 | 0.0 |1135M|1862 | - |3639 |8648 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
781.81/781.80 c 730s| 1360k|720889 | 0 | 0.0 |1144M|1862 | - |3639 |9228 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
788.62/788.67 c 737s| 1370k|724686 | 0 | 0.0 |1152M|1862 | - |3639 |9838 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
796.91/796.96 c 744s| 1380k|727142 | 0 | 0.0 |1157M|1862 | - |3639 |8855 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
800.61/800.69 c 748s| 1390k|734897 | 0 | 0.0 |1165M|1862 | - |3639 |7175 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
804.61/804.61 c 751s| 1400k|742228 | 0 | 0.0 |1173M|1862 | - |3639 |7619 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.21/809.27 c 756s| 1410k|748722 | 0 | 0.0 |1182M|1862 | - |3639 |8254 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
814.31/814.30 c 760s| 1420k|754761 | 0 | 0.0 |1191M|1862 | - |3639 |9009 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
820.01/820.05 c 766s| 1430k|760097 | 0 | 0.0 |1199M|1862 | - |3639 |9697 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
826.41/826.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.41/826.41 c 772s| 1440k|764780 | 0 | 0.0 |1208M|1862 | - |3639 | 10k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
833.82/833.89 c 779s| 1450k|768358 | 0 | 0.0 |1216M|1862 | - |3639 | 11k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
842.71/842.75 c 787s| 1460k|770942 | 0 | 0.0 |1221M|1862 | - |3639 | 10k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
846.61/846.65 c 791s| 1470k|778484 | 0 | 0.0 |1229M|1862 | - |3639 |8006 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
850.91/850.90 c 795s| 1480k|785466 | 0 | 0.0 |1237M|1862 | - |3639 |8676 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
855.41/855.45 c 799s| 1490k|792032 | 0 | 0.0 |1245M|1862 | - |3639 |9413 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
860.42/860.48 c 803s| 1500k|798179 | 0 | 0.0 |1253M|1862 | - |3639 | 10k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
867.01/867.05 c 810s| 1510k|802788 | 0 | 0.0 |1262M|1862 | - |3639 | 11k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
874.91/874.92 c 817s| 1520k|806319 | 0 | 0.0 |1270M|1862 | - |3639 | 13k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
881.92/881.91 c 824s| 1530k|810988 | 0 | 0.0 |1274M|1862 | - |3639 |8471 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
885.81/885.81 c 827s| 1540k|818460 | 0 | 0.0 |1282M|1862 | - |3639 |7819 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.92/889.99 c 831s| 1550k|825446 | 0 | 0.0 |1290M|1862 | - |3639 |8546 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
894.71/894.78 c 835s| 1560k|831823 | 0 | 0.0 |1298M|1862 | - |3639 |9267 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
900.32/900.31 c 841s| 1570k|837401 | 0 | 0.0 |1307M|1862 | - |3639 |9904 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
906.81/906.87 c 847s| 1580k|841867 | 0 | 0.0 |1315M|1862 | - |3639 | 11k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
916.71/916.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.71/916.71 c 856s| 1590k|843165 | 0 | 0.0 |1321M|1862 | - |3639 | 13k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
921.32/921.37 c 860s| 1600k|850115 | 0 | 0.0 |1327M|1862 | - |3639 |8247 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
925.62/925.67 c 864s| 1610k|857191 | 0 | 0.0 |1336M|1862 | - |3639 |8771 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.82/930.84 c 869s| 1620k|863316 | 0 | 0.0 |1345M|1862 | - |3639 |9898 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
936.61/936.61 c 875s| 1630k|868849 | 0 | 0.0 |1354M|1862 | - |3639 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
943.42/943.45 c 881s| 1640k|873311 | 0 | 0.0 |1362M|1862 | - |3639 | 12k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
953.22/953.27 c 890s| 1650k|875122 | 0 | 0.0 |1369M|1862 | - |3639 | 15k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
957.81/957.83 c 894s| 1660k|882403 | 0 | 0.0 |1374M|1862 | - |3639 |9109 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
961.91/961.93 c 898s| 1670k|889675 | 0 | 0.0 |1382M|1862 | - |3639 |9395 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
966.52/966.54 c 902s| 1680k|896372 | 0 | 0.0 |1390M|1862 | - |3639 | 10k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
971.61/971.68 c 907s| 1690k|902504 | 0 | 0.0 |1398M|1862 | - |3639 | 11k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
978.62/978.68 c 914s| 1700k|906926 | 0 | 0.0 |1407M|1862 | - |3639 | 14k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
986.12/986.16 c 921s| 1710k|911543 | 0 | 0.0 |1412M|1862 | - |3639 | 10k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
990.21/990.25 c 925s| 1720k|918960 | 0 | 0.0 |1420M|1862 | - |3639 |9706 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
994.81/994.85 c 929s| 1730k|925676 | 0 | 0.0 |1428M|1862 | - |3639 | 10k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
999.93/999.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.93/999.97 c 934s| 1740k|931910 | 0 | 0.0 |1436M|1862 | - |3639 | 12k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1006.82/1006.88 c 940s| 1750k|936468 | 0 | 0.0 |1445M|1862 | - |3639 | 14k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.81/1014.80 c 948s| 1760k|940677 | 0 | 0.0 |1451M|1862 | - |3639 | 11k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1018.92/1018.92 c 951s| 1770k|948258 | 0 | 0.0 |1458M|1862 | - |3639 |9268 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1023.22/1023.22 c 955s| 1780k|955389 | 0 | 0.0 |1466M|1862 | - |3639 |9739 | 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1028.81/1028.82 c 961s| 1790k|961162 | 0 | 0.0 |1475M|1862 | - |3639 | 10k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1035.32/1035.31 c 967s| 1800k|966039 | 0 | 0.0 |1484M|1862 | - |3639 | 12k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1043.22/1043.21 c 974s| 1810k|969673 | 0 | 0.0 |1493M|1862 | - |3639 | 13k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1051.82/1051.89 c 982s| 1820k|972965 | 0 | 0.0 |1498M|1862 | - |3639 | 11k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1055.92/1055.92 c 986s| 1830k|980515 | 0 | 0.0 |1505M|1862 | - |3639 |8888 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1060.22/1060.20 c 990s| 1840k|987613 | 0 | 0.0 |1512M|1862 | - |3639 |9429 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1065.52/1065.53 c 995s| 1850k|993658 | 0 | 0.0 |1521M|1862 | - |3639 | 10k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1072.22/1072.23 c 1001s| 1860k|998449 | 0 | 0.0 |1529M|1862 | - |3639 | 12k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.62/1080.62 c 1009s| 1870k| 1001k| 0 | 0.0 |1537M|1862 | - |3639 | 14k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1086.61/1086.67 c 1015s| 1880k| 1007k| 0 | 0.0 |1542M|1862 | - |3639 |7491 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1091.52/1091.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.52/1091.54 c 1020s| 1890k| 1013k| 0 | 0.0 |1549M|1862 | - |3639 |5578 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1095.82/1095.81 c 1023s| 1900k| 1020k| 0 | 0.0 |1557M|1862 | - |3639 |5686 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1100.02/1100.05 c 1027s| 1910k| 1027k| 0 | 0.0 |1565M|1862 | - |3639 |5770 | 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1103.62/1103.61 c 1031s| 1920k| 1035k| 0 | 0.0 |1573M|1862 | - |3639 |5190 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1107.63/1107.61 c 1034s| 1930k| 1042k| 0 | 0.0 |1581M|1862 | - |3639 |5613 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1113.02/1113.00 c 1039s| 1940k| 1047k| 0 | 0.0 |1590M|1862 | - |3639 |6158 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1116.62/1116.60 c 1042s| 1950k| 1055k| 0 | 0.0 |1598M|1862 | - |3639 |5275 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1121.71/1121.78 c 1047s| 1960k| 1061k| 0 | 0.0 |1607M|1862 | - |3639 |7083 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1125.11/1125.15 c 1050s| 1970k| 1069k| 0 | 0.0 |1614M|1862 | - |3639 |4754 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1128.72/1128.73 c 1054s| 1980k| 1076k| 0 | 0.0 |1622M|1862 | - |3639 |5120 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1132.92/1132.94 c 1058s| 1990k| 1083k| 0 | 0.0 |1630M|1862 | - |3639 |5806 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1138.43/1138.41 c 1063s| 2000k| 1089k| 0 | 0.0 |1639M|1862 | - |3639 |7945 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1142.62/1142.62 c 1067s| 2010k| 1096k| 0 | 0.0 |1646M|1862 | - |3639 |5862 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1146.42/1146.42 c 1070s| 2020k| 1103k| 0 | 0.0 |1654M|1862 | - |3639 |4882 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1150.12/1150.18 c 1073s| 2030k| 1110k| 0 | 0.0 |1662M|1862 | - |3639 |5773 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1154.12/1154.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.12/1154.13 c 1077s| 2040k| 1118k| 0 | 0.0 |1669M|1862 | - |3639 |5528 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1157.92/1157.98 c 1080s| 2050k| 1125k| 0 | 0.0 |1677M|1862 | - |3639 |4978 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1161.53/1161.52 c 1084s| 2060k| 1133k| 0 | 0.0 |1685M|1862 | - |3639 |5964 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1165.52/1165.51 c 1087s| 2070k| 1140k| 0 | 0.0 |1692M|1862 | - |3639 |5305 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1169.42/1169.45 c 1091s| 2080k| 1147k| 0 | 0.0 |1700M|1862 | - |3639 |5022 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1173.32/1173.33 c 1095s| 2090k| 1154k| 0 | 0.0 |1707M|1862 | - |3639 |5329 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1177.32/1177.39 c 1098s| 2100k| 1161k| 0 | 0.0 |1715M|1862 | - |3639 |5801 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1181.92/1181.93 c 1102s| 2110k| 1167k| 0 | 0.0 |1722M|1862 | - |3639 |6239 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1189.92/1189.99 c 1110s| 2120k| 1170k| 0 | 0.0 |1730M|1862 | - |3639 |8242 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1198.82/1198.87 c 1119s| 2130k| 1173k| 0 | 0.0 |1738M|1862 | - |3639 | 10k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1208.52/1208.55 c 1128s| 2140k| 1175k| 0 | 0.0 |1746M|1862 | - |3639 | 11k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1219.02/1219.05 c 1138s| 2150k| 1176k| 0 | 0.0 |1752M|1862 | - |3639 | 11k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1230.03/1230.09 c 1149s| 2160k| 1178k| 0 | 0.0 |1758M|1862 | - |3639 | 11k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1241.22/1241.27 c 1159s| 2170k| 1179k| 0 | 0.0 |1764M|1862 | - |3639 | 11k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1252.53/1252.57 c 1170s| 2180k| 1180k| 0 | 0.0 |1772M|1862 | - |3639 | 13k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1265.72/1265.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.72/1265.77 c 1183s| 2190k| 1181k| 0 | 0.0 |1777M|1862 | - |3639 | 13k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1278.62/1278.70 c 1195s| 2200k| 1181k| 0 | 0.0 |1783M|1862 | - |3639 | 11k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1291.33/1291.37 c 1208s| 2210k| 1181k| 0 | 0.0 |1789M|1862 | - |3639 | 14k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.43/1304.49 c 1220s| 2220k| 1181k| 0 | 0.0 |1793M|1862 | - |3639 | 13k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1318.13/1318.12 c 1234s| 2230k| 1182k| 0 | 0.0 |1800M|1862 | - |3639 | 14k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1332.62/1332.63 c 1248s| 2240k| 1181k| 0 | 0.0 |1804M|1862 | - |3639 | 14k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1346.44/1346.42 c 1261s| 2250k| 1181k| 0 | 0.0 |1810M|1862 | - |3639 | 15k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1361.33/1361.31 c 1275s| 2260k| 1181k| 0 | 0.0 |1813M|1862 | - |3639 | 15k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1376.63/1376.69 c 1290s| 2270k| 1180k| 0 | 0.0 |1820M|1862 | - |3639 | 15k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1392.32/1392.37 c 1306s| 2280k| 1179k| 0 | 0.0 |1822M|1862 | - |3639 | 15k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1408.22/1408.23 c 1321s| 2290k| 1179k| 0 | 0.0 |1828M|1862 | - |3639 | 14k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1424.32/1424.30 c 1337s| 2300k| 1178k| 0 | 0.0 |1830M|1862 | - |3639 | 16k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1440.53/1440.59 c 1352s| 2310k| 1177k| 0 | 0.0 |1835M|1862 | - |3639 | 15k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1458.22/1458.23 c 1370s| 2320k| 1175k| 0 | 0.0 |1838M|1862 | - |3639 | 17k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1475.04/1475.05 c 1386s| 2330k| 1174k| 0 | 0.0 |1839M|1862 | - |3639 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1493.13/1493.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.13/1493.17 c 1404s| 2340k| 1172k| 0 | 0.0 |1843M|1862 | - |3639 | 17k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1511.73/1511.75 c 1422s| 2350k| 1170k| 0 | 0.0 |1843M|1862 | - |3639 | 17k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1530.14/1530.19 c 1440s| 2360k| 1168k| 0 | 0.0 |1846M|1862 | - |3639 | 17k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1549.53/1549.54 c 1459s| 2370k| 1166k| 0 | 0.0 |1847M|1862 | - |3639 | 18k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1570.03/1570.08 c 1479s| 2380k| 1163k| 0 | 0.0 |1845M|1862 | - |3639 | 19k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1590.54/1590.53 c 1499s| 2390k| 1160k| 0 | 0.0 |1844M|1862 | - |3639 | 20k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1612.03/1612.04 c 1520s| 2400k| 1157k| 0 | 0.0 |1842M|1862 | - |3639 | 21k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1633.73/1633.73 c 1541s| 2410k| 1154k| 0 | 0.0 |1840M|1862 | - |3639 | 22k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1656.64/1656.64 c 1563s| 2420k| 1150k| 0 | 0.0 |1836M|1862 | - |3639 | 23k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1680.23/1680.20 c 1586s| 2430k| 1146k| 0 | 0.0 |1828M|1862 | - |3639 | 25k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1704.63/1704.68 c 1610s| 2440k| 1140k| 0 | 0.0 |1815M|1862 | - |3639 | 28k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1719.53/1719.58 c 1624s| 2450k| 1141k| 0 | 0.0 |1800M|1862 | - |3639 |8031 | 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1724.74/1724.76 c 1629s| 2460k| 1147k| 0 | 0.0 |1809M|1862 | - |3639 |6734 | 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1730.24/1730.29 c 1634s| 2470k| 1154k| 0 | 0.0 |1818M|1862 | - |3639 |6834 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1736.03/1736.00 c 1640s| 2480k| 1160k| 0 | 0.0 |1826M|1862 | - |3639 |7463 | 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1742.24/1742.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.24/1742.26 c 1646s| 2490k| 1165k| 0 | 0.0 |1835M|1862 | - |3639 |7472 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1748.64/1748.65 c 1652s| 2500k| 1171k| 0 | 0.0 |1844M|1862 | - |3639 |8115 | 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1755.14/1755.19 c 1658s| 2510k| 1176k| 0 | 0.0 |1852M|1862 | - |3639 |8341 | 0 | 0 | 0 |1963k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1761.73/1761.75 c 1664s| 2520k| 1181k| 0 | 0.0 |1861M|1862 | - |3639 |8638 | 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1768.54/1768.57 c 1670s| 2530k| 1186k| 0 | 0.0 |1870M|1862 | - |3639 |8989 | 0 | 0 | 0 |1978k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1775.54/1775.54 c 1677s| 2540k| 1191k| 0 | 0.0 |1878M|1862 | - |3639 |8714 | 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1782.33/1782.30 c 1683s| 2550k| 1196k| 0 | 0.0 |1887M|1862 | - |3639 |8734 | 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1789.33/1789.38 c 1690s| 2560k| 1201k| 0 | 0.0 |1895M|1862 | - |3639 |9086 | 0 | 0 | 0 |2000k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.84/1796.84 c 1697s| 2570k| 1205k| 0 | 0.0 |1903M|1862 | - |3639 |9737 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1699.81
1800.04/1800.00 c Solving Nodes : 2574633
1800.04/1800.00 c Primal Bound : +3.00000000000000e+00 (21 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.03 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.03 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.04/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.04/1800.03 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.04/1800.03 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.04/1800.03 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.04/1800.03 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.04/1800.03 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.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1699.81
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2694167-1277908871.wbo
1800.04/1800.03 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.04/1800.03 c Constraints : 4491 initial, 4491 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2694167-1277908871.wbo
1800.04/1800.03 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.04/1800.03 c Constraints : 4298 initial, 30666 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.06 0 0 0 1807 0 114 97 0
1800.04/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1644 - - 3288 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 1704 0 5200743 0 1519719 82 2026223 0 0 0
1800.04/1800.03 c setppc : 11 0 8287658 0 2083430 23436 6195250 0 0 0
1800.04/1800.03 c linear : 1704 0 8272701 0 2090796 503765 41934220 0 0 0
1800.04/1800.03 c logicor : 879+ 0 5265420 0 2090810 244051 9325341 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 53303 0 0 0 10 0 0 0
1800.04/1800.03 c countsols : 0 0 0 0 2090807 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c indicator : 8.25 0.00 3.24 0.00 5.01
1800.04/1800.03 c setppc : 25.11 0.00 22.88 0.00 2.23
1800.04/1800.03 c linear : 323.11 0.00 322.52 0.00 0.59
1800.04/1800.03 c logicor : 409.42 0.00 346.95 0.00 62.47
1800.04/1800.03 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.00 2 0 0
1800.04/1800.03 c rootredcost : 0.00 0 0 0
1800.04/1800.03 c pseudoobj : 267.56 8297467 1247 1999836
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 32.39 772499 772493 3555457 18.1 82533 10.5 -
1800.04/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.01 54 54 239 19.5 96 11.2 -
1800.04/1800.03 c applied globally : - - - 2012481 16.4 - - -
1800.04/1800.03 c applied locally : - - - 5 243.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.03 c redcost : 0.00 0 0 0 0 0
1800.04/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.00 0 0 0 0 0
1800.04/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.03 c cmir : 0.00 0 0 0 0 0
1800.04/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.03 c clique : 0.00 0 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 0 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 31.91 2090786 0 0 0 0 4181572
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.00 - 0
1800.04/1800.03 c pseudo solutions : 0.09 - 21
1800.04/1800.03 c oneopt : 0.02 0 0
1800.04/1800.03 c trivial : 0.00 2 0
1800.04/1800.03 c simplerounding : 0.00 0 0
1800.04/1800.03 c zirounding : 0.00 0 0
1800.04/1800.03 c rounding : 0.00 0 0
1800.04/1800.03 c shifting : 0.00 0 0
1800.04/1800.03 c intshifting : 0.00 0 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c feaspump : 0.00 0 0
1800.04/1800.03 c coefdiving : 0.00 0 0
1800.04/1800.03 c pscostdiving : 0.00 0 0
1800.04/1800.03 c fracdiving : 0.00 0 0
1800.04/1800.03 c veclendiving : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c objpscostdiving : 0.00 0 0
1800.04/1800.03 c rootsoldiving : 0.00 0 0
1800.04/1800.03 c linesearchdiving : 0.00 0 0
1800.04/1800.03 c guideddiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.00 0 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c crossover : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.00 0 0
1800.04/1800.03 c trysol : 0.00 1 0
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.03 c (at root node) : - 0 0 0.00 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 2574633
1800.04/1800.03 c nodes (total) : 2574633
1800.04/1800.03 c nodes left : 1207820
1800.04/1800.03 c max depth : 1862
1800.04/1800.03 c max depth (total): 1862
1800.04/1800.03 c backtracks : 453409 (17.6%)
1800.04/1800.03 c delayed cutoffs : 367988
1800.04/1800.03 c repropagations : 1696614 (17913650 domain reductions, 288809 cutoffs)
1800.04/1800.03 c avg switch length: 28.03
1800.04/1800.03 c switching time : 519.77
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 21 (21 improvements)
1800.04/1800.03 c First Solution : +8.21000000000000e+02 (in run 1, after 13146 nodes, 3.12 seconds, depth 1518, found by <relaxation>)
1800.04/1800.03 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1312741 nodes, 706.55 seconds, depth 760, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694167-1277908871/watcher-2694167-1277908871 -o /tmp/evaluation-result-2694167-1277908871/solver-2694167-1277908871 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694167-1277908871.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.98 1.99 4/178 11970 /proc/meminfo: memFree=31336508/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=8448 CPUtime=0 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 1589 0 0 0 0 0 0 0 23 0 1 0 132184388 8650752 1511 4089446400 4194304 7136930 140735830828352 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11970/statm: 2112 1511 275 719 0 1391 0 [startup+0.0555619 s] /proc/loadavg: 1.93 1.98 1.99 4/178 11970 /proc/meminfo: memFree=31336508/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=27824 CPUtime=0.04 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 6558 0 0 0 4 0 0 0 25 0 1 0 132184388 28491776 6126 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 6956 6126 342 719 0 6235 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27824 [startup+0.100553 s] /proc/loadavg: 1.93 1.98 1.99 4/178 11970 /proc/meminfo: memFree=31336508/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=27824 CPUtime=0.09 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 7608 0 0 0 8 1 0 0 25 0 1 0 132184388 28491776 6148 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 6956 6148 354 719 0 6235 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27824 [startup+0.30052 s] /proc/loadavg: 1.93 1.98 1.99 4/178 11970 /proc/meminfo: memFree=31336508/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=29576 CPUtime=0.29 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 10163 0 0 0 27 2 0 0 25 0 1 0 132184388 30285824 6647 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 7394 6647 391 719 0 6673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29576 [startup+0.700442 s] /proc/loadavg: 1.93 1.98 1.99 4/178 11970 /proc/meminfo: memFree=31336508/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=31600 CPUtime=0.69 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 10687 0 0 0 61 8 0 0 25 0 1 0 132184388 32358400 7171 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 7900 7171 395 719 0 7179 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31600 [startup+1.50032 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11971 /proc/meminfo: memFree=31307916/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=34296 CPUtime=1.49 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 11347 0 0 0 134 15 0 0 25 0 1 0 132184388 35119104 7831 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 8574 7831 395 719 0 7853 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34296 [startup+3.101 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11971 /proc/meminfo: memFree=31303452/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=36592 CPUtime=3.09 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 11945 0 0 0 280 29 0 0 25 0 1 0 132184388 37470208 8429 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 9148 8429 395 719 0 8427 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36592 [startup+6.30045 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11971 /proc/meminfo: memFree=31290120/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=47720 CPUtime=6.29 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 14735 0 0 0 568 61 0 0 25 0 1 0 132184388 48865280 11219 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 11930 11219 396 719 0 11209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47720 [startup+12.7003 s] /proc/loadavg: 1.94 1.98 1.99 3/179 11971 /proc/meminfo: memFree=31261500/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=68392 CPUtime=12.69 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 19833 0 0 0 1160 109 0 0 25 0 1 0 132184388 70033408 16317 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 17098 16317 396 719 0 16377 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68392 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 1.99 4/179 11971 /proc/meminfo: memFree=31189900/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=122920 CPUtime=25.49 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 32617 0 0 0 2335 214 0 0 25 0 1 0 132184388 125870080 29101 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 30730 29101 398 719 0 30009 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 122920 [startup+51.1005 s] /proc/loadavg: 1.97 1.98 1.99 3/179 11973 /proc/meminfo: memFree=31114524/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=183996 CPUtime=51.09 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 47506 0 0 0 4695 414 0 0 25 0 1 0 132184388 188411904 43990 4089446400 4194304 7136930 140735830828352 18446744073709551615 4224136 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 45999 43990 398 719 0 45278 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 183996 [startup+102.307 s] /proc/loadavg: 2.05 2.00 2.00 3/179 11974 /proc/meminfo: memFree=31020344/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=268524 CPUtime=102.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 68517 0 0 0 9497 733 0 0 25 0 1 0 132184388 274968576 65001 4089446400 4194304 7136930 140735830828352 18446744073709551615 5950928 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 67131 65001 398 719 0 66410 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 268524 [startup+162.301 s] /proc/loadavg: 2.02 2.00 2.00 3/179 11975 /proc/meminfo: memFree=30826836/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=491212 CPUtime=162.29 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 116190 0 0 0 15115 1114 0 0 25 0 1 0 132184388 503001088 112674 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 122803 112674 398 719 0 122082 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 491212 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11977 /proc/meminfo: memFree=30697820/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=616728 CPUtime=222.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 147067 0 0 0 20639 1591 0 0 25 0 1 0 132184388 631529472 143551 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 154182 143551 398 719 0 153461 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 616728 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11979 /proc/meminfo: memFree=30594212/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=718064 CPUtime=282.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 172417 0 0 0 26257 1973 0 0 25 0 1 0 132184388 735297536 168901 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 179516 168901 398 719 0 178795 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 718064 [startup+342.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 11980 /proc/meminfo: memFree=30524828/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=784516 CPUtime=342.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 189145 0 0 0 31950 2280 0 0 25 0 1 0 132184388 803344384 185629 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 196129 185629 398 719 0 195408 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 784516 [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 11981 /proc/meminfo: memFree=30500092/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=808140 CPUtime=402.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 194926 0 0 0 37709 2521 0 0 25 0 1 0 132184388 827535360 191405 4089446400 4194304 7136930 140735830828352 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 202035 191405 398 719 0 201314 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 808140 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11983 /proc/meminfo: memFree=30412724/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=894472 CPUtime=462.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 216192 0 0 0 43246 2984 0 0 25 0 1 0 132184388 915939328 212671 4089446400 4194304 7136930 140735830828352 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 223618 212671 398 719 0 222897 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 894472 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11985 /proc/meminfo: memFree=30325496/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=986288 CPUtime=522.3 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 237062 0 0 0 48814 3416 0 0 25 0 1 0 132184388 1009958912 233541 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 246572 233541 398 719 0 245851 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 986288 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11987 /proc/meminfo: memFree=30245588/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1063312 CPUtime=582.31 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 256449 0 0 0 54427 3804 0 0 25 0 1 0 132184388 1088831488 252928 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 265828 252928 398 719 0 265107 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1063312 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11988 /proc/meminfo: memFree=30172380/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1134728 CPUtime=642.31 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 274347 0 0 0 60016 4215 0 0 25 0 1 0 132184388 1161961472 270826 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 283682 270826 398 719 0 282961 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1134728 [startup+702.3 s] ################ # More data... # ################ /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 398748 0 0 0 93591 6641 0 0 25 0 1 0 132184388 1673416704 395227 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 408549 395227 398 719 0 407828 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1634196 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11999 /proc/meminfo: memFree=29588416/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1723836 CPUtime=1062.32 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 417312 0 0 0 99207 7025 0 0 25 0 1 0 132184388 1765208064 413791 4089446400 4194304 7136930 140735830828352 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 430959 413791 398 719 0 430238 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1723836 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12001 /proc/meminfo: memFree=29496232/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1813972 CPUtime=1122.31 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 440124 0 0 0 104777 7454 0 0 25 0 1 0 132184388 1857507328 436603 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 453493 436603 398 719 0 452772 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1813972 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12003 /proc/meminfo: memFree=29374268/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1930788 CPUtime=1182.32 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 469545 0 0 0 110284 7948 0 0 25 0 1 0 132184388 1977126912 466024 4089446400 4194304 7136930 140735830828352 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 482697 466024 398 719 0 481976 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1930788 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12013 /proc/meminfo: memFree=29327200/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1973304 CPUtime=1242.32 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 480340 0 0 0 116035 8197 0 0 25 0 1 0 132184388 2020663296 476819 4089446400 4194304 7136930 140735830828352 18446744073709551615 5957382 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 493326 476819 398 719 0 492605 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1973304 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12015 /proc/meminfo: memFree=29306052/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=1992108 CPUtime=1302.33 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 485145 0 0 0 121829 8404 0 0 25 0 1 0 132184388 2039918592 481624 4089446400 4194304 7136930 140735830828352 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 498027 481624 398 719 0 497306 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1992108 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12016 /proc/meminfo: memFree=29276120/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2020468 CPUtime=1362.32 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 492322 0 0 0 127640 8592 0 0 25 0 1 0 132184388 2068959232 488801 4089446400 4194304 7136930 140735830828352 18446744073709551615 5001186 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 505117 488801 398 719 0 504396 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2020468 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12018 /proc/meminfo: memFree=29261704/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2034716 CPUtime=1422.33 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 495915 0 0 0 133468 8765 0 0 25 0 1 0 132184388 2083549184 492394 4089446400 4194304 7136930 140735830828352 18446744073709551615 4210473 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 508679 492394 398 719 0 507958 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2034716 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12020 /proc/meminfo: memFree=29249856/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2047456 CPUtime=1482.33 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 498914 0 0 0 139305 8928 0 0 25 0 1 0 132184388 2096594944 495393 4089446400 4194304 7136930 140735830828352 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 511864 495393 398 719 0 511143 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2047456 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12021 /proc/meminfo: memFree=29246700/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2050468 CPUtime=1542.33 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 499711 0 0 0 145152 9081 0 0 25 0 1 0 132184388 2099679232 496190 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 512617 496190 398 719 0 511896 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2050468 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12022 /proc/meminfo: memFree=29242428/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2054732 CPUtime=1602.34 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 500735 0 0 0 151009 9225 0 0 25 0 1 0 132184388 2104045568 497214 4089446400 4194304 7136930 140735830828352 18446744073709551615 4999890 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 513683 497214 398 719 0 512962 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2054732 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12024 /proc/meminfo: memFree=29241144/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2056468 CPUtime=1662.34 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 501136 0 0 0 156869 9365 0 0 25 0 1 0 132184388 2105823232 497615 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 514117 497615 398 719 0 513396 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2056468 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12026 /proc/meminfo: memFree=29238828/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2058612 CPUtime=1722.33 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 501550 0 0 0 162693 9540 0 0 25 0 1 0 132184388 2108018688 498029 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 514653 498029 398 719 0 513932 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2058612 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12028 /proc/meminfo: memFree=29193880/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2099544 CPUtime=1782.33 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 511834 0 0 0 168318 9915 0 0 25 0 1 0 132184388 2149933056 508313 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 524886 508313 398 719 0 524165 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2099544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12056 /proc/meminfo: memFree=29285924/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2121856 CPUtime=1800.04 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 517433 0 0 0 169983 10021 0 0 25 0 1 0 132184388 2172780544 513912 4089446400 4194304 7136930 140735830828352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11970/statm: 530464 513912 398 719 0 529743 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2121856 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11970 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 12057 /proc/meminfo: memFree=29283684/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2121856 CPUtime=1801.43 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 517438 0 0 0 170122 10021 0 0 19 0 1 0 132184388 2172780544 513917 4089446400 4194304 7136930 140735830828352 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11970/statm: 530464 513917 403 719 0 529743 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2121856 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 12057 /proc/meminfo: memFree=29280212/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2121856 CPUtime=1801.84 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 517438 0 0 0 170163 10021 0 0 20 0 1 0 132184388 2172780544 513917 4089446400 4194304 7136930 140735830828352 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11970/statm: 530464 513917 403 719 0 529743 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2121856 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 12057 /proc/meminfo: memFree=29280212/32951124 swapFree=67111528/67111528 [pid=11970] ppid=11968 vsize=2121856 CPUtime=1802.03 /proc/11970/stat : 11970 (pbscip.linux.x8) R 11968 11970 11294 0 -1 4202496 517438 0 0 0 170182 10021 0 0 21 0 1 0 132184388 2172780544 513917 4089446400 4194304 7136930 140735830828352 18446744073709551615 4212431 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11970/statm: 530464 513917 403 719 0 529743 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2121856 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.12 CPU user time (s): 1701.84 CPU system time (s): 100.284 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2121856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1701.84 system time used= 100.284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517438 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1247 runsolver used 3.06153 second user time and 6.79297 second system time The end
Begin job on node108 at 2010-06-30 16:41:12 IDJOB=2694167 IDBENCH=78962 IDSOLVER=1206 FILE ID=node108/2694167-1277908871 PBS_JOBID= 11197240 Free space on /tmp= 74204 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.1900550720--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694167-1277908871/watcher-2694167-1277908871 -o /tmp/evaluation-result-2694167-1277908871/solver-2694167-1277908871 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694167-1277908871.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f2c87e7318987ff21f5979e3cf339f19 RANDOM SEED=499441197 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 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.855 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.79 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31336408 kB Buffers: 192384 kB Cached: 1174696 kB SwapCached: 0 kB Active: 627964 kB Inactive: 843392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31336408 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9676 kB Writeback: 0 kB AnonPages: 104020 kB Mapped: 17452 kB Slab: 78980 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 248516 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 node108 at 2010-06-30 17:11:14