Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo |
| MD5SUM | 75cdbfdf3c0702d95dd33d3fc3f86ad3 |
| 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 | 256.623 |
| 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 | 904 |
| 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 | 44120 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44119 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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-2694193-1277910238.wbo>
0.00/0.02 c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 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, 1114 impls, 18 clqs
0.00/0.07 c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.06/0.09 c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.10 c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.11 c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.15 c 1114 implications, 18 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.15 c 832 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 18 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1615 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7460k| 0 | - |1895 |3298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.15 o 450
1.09/1.15 c * 1.0s| 4450 | 3790 | 0 | 0.0 | 10M|1017 | - |1895 |3862 | 0 | 0 | 0 | 819 | 0 | 0.000000e+00 | 4.500000e+02 | Inf
1.09/1.15 o 371
1.09/1.15 c * 1.0s| 4452 | 3618 | 0 | 0.0 | 10M|1017 | - |1895 |3862 | 0 | 0 | 0 | 819 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
1.09/1.15 o 333
1.09/1.15 c * 1.0s| 4455 | 3586 | 0 | 0.0 | 10M|1017 | - |1895 |3869 | 0 | 0 | 0 | 826 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
1.09/1.18 o 308
1.09/1.18 c * 1.0s| 4569 | 3669 | 0 | 0.0 | 10M|1017 | - |1895 |3873 | 0 | 0 | 0 | 833 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
2.49/2.50 c 2.2s| 10000 | 8278 | 0 | 0.0 | 13M|1017 | - |1895 |4401 | 0 | 0 | 0 |2683 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
5.28/5.40 c 4.8s| 20000 | 15796 | 0 | 0.0 | 21M|1017 | - |1895 |5185 | 0 | 0 | 0 |8131 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
7.98/8.00 o 304
7.98/8.00 c * 7.1s| 25897 | 18524 | 0 | 0.0 | 26M|1017 | - |1895 |6525 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
7.98/8.00 o 253
7.98/8.00 c * 7.1s| 25912 | 18472 | 0 | 0.0 | 26M|1017 | - |1895 |6536 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
7.98/8.08 o 245
7.98/8.08 c * 7.2s| 26175 | 18721 | 0 | 0.0 | 26M|1017 | - |1895 |6447 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
7.98/8.08 o 232
7.98/8.08 c * 7.2s| 26176 | 18716 | 0 | 0.0 | 26M|1017 | - |1895 |6447 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
8.59/8.65 o 206
8.59/8.65 c * 7.7s| 28140 | 20541 | 0 | 0.0 | 26M|1017 | - |1895 |5433 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
8.59/8.68 o 192
8.59/8.68 c * 7.7s| 28253 | 20630 | 0 | 0.0 | 26M|1017 | - |1895 |5397 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
8.70/8.78 o 181
8.70/8.78 c * 7.8s| 28609 | 20950 | 0 | 0.0 | 27M|1017 | - |1895 |5231 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
8.70/8.78 o 129
8.70/8.78 c * 7.8s| 28610 | 20893 | 0 | 0.0 | 27M|1017 | - |1895 |5231 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
9.19/9.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.21 c 8.2s| 30000 | 22142 | 0 | 0.0 | 28M|1017 | - |1895 |4991 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
9.39/9.40 o 104
9.39/9.40 c * 8.3s| 30610 | 22634 | 0 | 0.0 | 28M|1017 | - |1895 |4961 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
9.39/9.40 o 97
9.39/9.40 c * 8.3s| 30611 | 22490 | 0 | 0.0 | 28M|1017 | - |1895 |4961 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
9.48/9.54 o 83
9.48/9.54 c * 8.5s| 31050 | 22705 | 0 | 0.0 | 28M|1017 | - |1895 |4943 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
10.59/10.67 o 72
10.59/10.67 c * 9.5s| 34656 | 25718 | 0 | 0.0 | 31M|1017 | - |1895 |4543 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
12.10/12.19 c 10.8s| 40000 | 30089 | 0 | 0.0 | 35M|1017 | - |1895 |4292 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
15.29/15.31 c 13.6s| 50000 | 37507 | 0 | 0.0 | 41M|1017 | - |1895 |5162 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
18.69/18.73 c 16.7s| 60000 | 44443 | 0 | 0.0 | 49M|1017 | - |1895 |5620 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
22.39/22.46 c 20.1s| 70000 | 50895 | 0 | 0.0 | 56M|1017 | - |1895 |5968 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
26.29/26.32 c 23.6s| 80000 | 57147 | 0 | 0.0 | 64M|1017 | - |1895 |6319 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
30.39/30.47 c 27.4s| 90000 | 62937 | 0 | 0.0 | 71M|1017 | - |1895 |6987 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
34.68/34.77 c 31.3s|100000 | 68456 | 0 | 0.0 | 79M|1017 | - |1895 |7401 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
39.19/39.27 c 35.5s|110000 | 73627 | 0 | 0.0 | 86M|1017 | - |1895 |7340 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
43.99/44.08 c 39.9s|120000 | 78378 | 0 | 0.0 | 94M|1017 | - |1895 |8023 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
49.59/49.61 c 44.9s|130000 | 82070 | 0 | 0.0 | 101M|1017 | - |1895 |9031 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
56.59/56.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.59/56.61 c 51.5s|140000 | 84009 | 0 | 0.0 | 108M|1017 | - |1895 | 11k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
59.99/60.02 o 60
59.99/60.02 c *54.7s|144901 | 85110 | 0 | 0.0 | 109M|1017 | - |1895 |7555 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
59.99/60.02 o 56
59.99/60.02 c *54.7s|144902 | 85037 | 0 | 0.0 | 109M|1017 | - |1895 |7555 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
61.60/61.67 c 56.1s|150000 | 89481 | 0 | 0.0 | 112M|1017 | - |1895 |4355 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
64.90/64.91 c 59.1s|160000 | 97959 | 0 | 0.0 | 120M|1017 | - |1895 |4719 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
67.59/67.60 o 53
67.59/67.60 c *61.5s|168233 |104455 | 0 | 0.0 | 126M|1017 | - |1895 |4894 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
68.09/68.15 o 34
68.09/68.15 c *62.0s|169863 |105188 | 0 | 0.0 | 124M|1017 | - |1895 |4908 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
68.20/68.21 c 62.0s|170000 |105300 | 0 | 0.0 | 124M|1017 | - |1895 |4900 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
71.39/71.49 c 65.0s|180000 |113384 | 0 | 0.0 | 133M|1017 | - |1895 |5377 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
75.09/75.12 c 68.2s|190000 |120910 | 0 | 0.0 | 142M|1017 | - |1895 |6066 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
79.59/79.60 c 72.3s|200000 |127347 | 0 | 0.0 | 151M|1017 | - |1895 |7271 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
82.29/82.33 o 31
82.29/82.33 c *74.8s|205317 |129979 | 0 | 0.0 | 156M|1017 | - |1895 |8955 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
84.19/84.29 c 76.6s|210000 |133335 | 0 | 0.0 | 159M|1017 | - |1895 |6573 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
85.59/85.62 o 25
85.59/85.62 c *77.8s|214367 |136317 | 0 | 0.0 | 161M|1017 | - |1895 |6366 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
86.79/86.83 o 16
86.79/86.83 c *78.8s|218134 |138354 | 0 | 0.0 | 161M|1017 | - |1895 |6955 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
87.49/87.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.49/87.53 c 79.5s|220000 |139719 | 0 | 0.0 | 163M|1017 | - |1895 |7279 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
91.59/91.60 c 83.1s|230000 |146667 | 0 | 0.0 | 179M|1017 | - |1895 |7851 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
94.99/95.06 c 86.2s|240000 |154352 | 0 | 0.0 | 202M|1017 | - |1895 |9499 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
98.79/98.87 c 89.6s|250000 |161764 | 0 | 0.0 | 220M|1017 | - |1895 |9074 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
102.99/103.06 c 93.4s|260000 |168544 | 0 | 0.0 | 237M|1017 | - |1895 | 10k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
106.60/106.70 c 96.7s|270000 |175677 | 0 | 0.0 | 246M|1017 | - |1895 | 10k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
111.10/111.17 c 101s|280000 |181980 | 0 | 0.0 | 255M|1017 | - |1895 |9056 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
114.59/114.61 c 104s|290000 |189830 | 0 | 0.0 | 272M|1017 | - |1895 |5210 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
118.39/118.49 c 107s|300000 |196063 | 0 | 0.0 | 280M|1017 | - |1895 |7297 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
123.30/123.33 c 112s|310000 |201307 | 0 | 0.0 | 288M|1017 | - |1895 |9141 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
128.79/128.86 c 117s|320000 |205956 | 0 | 0.0 | 296M|1017 | - |1895 | 10k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
134.79/134.80 c 122s|330000 |210419 | 0 | 0.0 | 304M|1017 | - |1895 | 11k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
140.70/140.77 c 128s|340000 |215007 | 0 | 0.0 | 312M|1017 | - |1895 | 12k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
147.60/147.67 c 135s|350000 |218694 | 0 | 0.0 | 319M|1017 | - |1895 | 12k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
154.59/154.63 c 141s|360000 |222515 | 0 | 0.0 | 327M|1017 | - |1895 | 13k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
161.89/161.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.89/161.94 c 148s|370000 |226091 | 0 | 0.0 | 334M|1017 | - |1895 | 14k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
169.40/169.48 c 155s|380000 |229623 | 0 | 0.0 | 341M|1017 | - |1895 | 14k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
177.90/177.97 c 163s|390000 |232428 | 0 | 0.0 | 348M|1017 | - |1895 | 15k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
186.49/186.50 c 171s|400000 |235147 | 0 | 0.0 | 354M|1017 | - |1895 | 15k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
195.20/195.26 c 180s|410000 |237736 | 0 | 0.0 | 361M|1017 | - |1895 | 15k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
203.89/203.96 c 188s|420000 |240547 | 0 | 0.0 | 368M|1017 | - |1895 | 16k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
212.90/212.90 c 196s|430000 |243220 | 0 | 0.0 | 374M|1017 | - |1895 | 16k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
221.89/221.90 c 205s|440000 |245880 | 0 | 0.0 | 381M|1017 | - |1895 | 16k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
231.30/231.32 c 214s|450000 |248150 | 0 | 0.0 | 386M|1017 | - |1895 | 16k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
240.99/241.04 c 223s|460000 |250034 | 0 | 0.0 | 392M|1017 | - |1895 | 17k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
250.59/250.64 c 232s|470000 |252036 | 0 | 0.0 | 398M|1017 | - |1895 | 16k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
261.09/261.12 c 243s|480000 |253080 | 0 | 0.0 | 403M|1017 | - |1895 | 17k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
272.09/272.12 c 253s|490000 |253780 | 0 | 0.0 | 408M|1017 | - |1895 | 18k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
283.99/284.06 c 265s|500000 |253856 | 0 | 0.0 | 413M|1017 | - |1895 | 18k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
296.90/296.94 c 277s|510000 |253383 | 0 | 0.0 | 417M|1017 | - |1895 | 18k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
310.80/310.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.80/310.88 c 290s|520000 |252228 | 0 | 0.0 | 419M|1017 | - |1895 | 21k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
324.80/324.89 c 304s|530000 |252597 | 0 | 0.0 | 418M|1017 | - |1895 | 13k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
328.90/328.95 c 308s|540000 |260535 | 0 | 0.0 | 427M|1017 | - |1895 |7411 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
332.60/332.67 c 311s|550000 |268502 | 0 | 0.0 | 440M|1017 | - |1895 |7133 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
336.30/336.35 c 314s|560000 |276459 | 0 | 0.0 | 453M|1017 | - |1895 |7194 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
340.00/340.01 c 318s|570000 |284423 | 0 | 0.0 | 467M|1017 | - |1895 |7383 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
343.70/343.70 c 321s|580000 |292358 | 0 | 0.0 | 482M|1017 | - |1895 |7356 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
347.40/347.43 c 324s|590000 |300250 | 0 | 0.0 | 497M|1017 | - |1895 |7441 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
351.09/351.14 c 328s|600000 |308136 | 0 | 0.0 | 512M|1017 | - |1895 |7585 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
355.00/355.00 c 331s|610000 |315881 | 0 | 0.0 | 528M|1017 | - |1895 |7607 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
359.00/359.03 c 335s|620000 |323474 | 0 | 0.0 | 544M|1017 | - |1895 |8181 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
363.80/363.82 c 339s|630000 |330406 | 0 | 0.0 | 565M|1017 | - |1895 |8672 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
368.90/368.98 c 344s|640000 |337051 | 0 | 0.0 | 586M|1017 | - |1895 |9231 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
374.30/374.33 c 349s|650000 |343542 | 0 | 0.0 | 608M|1017 | - |1895 |9743 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
379.69/379.76 c 354s|660000 |350049 | 0 | 0.0 | 631M|1017 | - |1895 | 10k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
385.29/385.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.29/385.32 c 359s|670000 |356486 | 0 | 0.0 | 654M|1017 | - |1895 | 10k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
390.99/391.06 c 364s|680000 |362823 | 0 | 0.0 | 676M|1017 | - |1895 | 10k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
396.90/396.90 c 369s|690000 |369055 | 0 | 0.0 | 698M|1017 | - |1895 | 10k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
402.80/402.89 c 375s|700000 |375126 | 0 | 0.0 | 719M|1017 | - |1895 | 10k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
409.10/409.18 c 381s|710000 |381024 | 0 | 0.0 | 741M|1017 | - |1895 | 10k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
415.60/415.67 c 387s|720000 |386760 | 0 | 0.0 | 763M|1017 | - |1895 | 11k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
422.20/422.27 c 393s|730000 |392464 | 0 | 0.0 | 783M|1017 | - |1895 | 11k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
429.10/429.17 c 399s|740000 |397976 | 0 | 0.0 | 804M|1017 | - |1895 | 11k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
435.90/435.95 c 406s|750000 |403531 | 0 | 0.0 | 823M|1017 | - |1895 | 11k| 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
443.00/443.09 c 412s|760000 |408891 | 0 | 0.0 | 843M|1017 | - |1895 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
450.00/450.07 c 419s|770000 |414328 | 0 | 0.0 | 862M|1017 | - |1895 | 12k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
456.00/456.03 c 424s|780000 |419630 | 0 | 0.0 | 869M|1017 | - |1895 |4907 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
460.81/460.86 c 429s|790000 |424814 | 0 | 0.0 | 876M|1017 | - |1895 |5838 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
465.80/465.85 c 433s|800000 |429907 | 0 | 0.0 | 884M|1017 | - |1895 |6133 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
470.80/470.84 c 438s|810000 |434920 | 0 | 0.0 | 891M|1017 | - |1895 |6338 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
475.90/475.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.90/475.92 c 442s|820000 |439775 | 0 | 0.0 | 898M|1017 | - |1895 |6171 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
481.40/481.47 c 447s|830000 |443995 | 0 | 0.0 | 905M|1017 | - |1895 |7044 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
486.90/486.91 c 452s|840000 |448461 | 0 | 0.0 | 912M|1017 | - |1895 |7292 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
492.71/492.78 c 458s|850000 |452352 | 0 | 0.0 | 919M|1017 | - |1895 |7830 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
498.80/498.88 c 463s|860000 |456028 | 0 | 0.0 | 925M|1017 | - |1895 |7885 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
505.20/505.26 c 469s|870000 |459418 | 0 | 0.0 | 932M|1017 | - |1895 |8614 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
511.61/511.69 c 475s|880000 |462869 | 0 | 0.0 | 939M|1017 | - |1895 |9215 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
515.50/515.53 o 12
515.50/515.53 c * 479s|885746 |461518 | 0 | 0.0 | 931M|1017 | - |1895 |9963 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
515.50/515.57 o 7
515.50/515.57 c * 479s|885747 |443344 | 0 | 0.0 | 889M|1017 | - |1895 |9963 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
518.30/518.35 c 481s|890000 |444693 | 0 | 0.0 | 890M|1017 | - |1895 |5969 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
521.50/521.51 c 484s|900000 |452410 | 0 | 0.0 | 896M|1017 | - |1895 |5567 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
524.80/524.86 c 487s|910000 |459867 | 0 | 0.0 | 903M|1017 | - |1895 |6128 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
528.71/528.71 c 491s|920000 |466748 | 0 | 0.0 | 909M|1017 | - |1895 |6955 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
532.90/532.99 c 494s|930000 |473143 | 0 | 0.0 | 916M|1017 | - |1895 |7827 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.70/537.74 c 499s|940000 |478961 | 0 | 0.0 | 923M|1017 | - |1895 |8460 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
542.90/542.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.90/542.97 c 504s|950000 |484250 | 0 | 0.0 | 930M|1017 | - |1895 |9118 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
548.90/548.98 c 509s|960000 |488528 | 0 | 0.0 | 936M|1017 | - |1895 |9625 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
556.70/556.75 c 516s|970000 |490692 | 0 | 0.0 | 942M|1017 | - |1895 | 11k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
564.00/564.03 c 523s|980000 |493448 | 0 | 0.0 | 943M|1017 | - |1895 |6287 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.20/567.21 c 526s|990000 |501171 | 0 | 0.0 | 949M|1017 | - |1895 |5910 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
570.60/570.64 c 529s| 1000k|508434 | 0 | 0.0 | 956M|1017 | - |1895 |6479 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
574.40/574.43 c 532s| 1010k|515232 | 0 | 0.0 | 963M|1017 | - |1895 |7225 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
578.60/578.60 c 536s| 1020k|521587 | 0 | 0.0 | 969M|1017 | - |1895 |7862 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
583.10/583.18 c 540s| 1030k|527506 | 0 | 0.0 | 976M|1017 | - |1895 |8672 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.20/588.28 c 545s| 1040k|532736 | 0 | 0.0 | 983M|1017 | - |1895 |9670 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
594.51/594.55 c 551s| 1050k|536657 | 0 | 0.0 | 989M|1017 | - |1895 | 11k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
602.50/602.52 o 4
602.50/602.52 c * 558s| 1059k|534562 | 0 | 0.0 | 988M|1017 | - |1895 | 13k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
603.70/603.77 c 560s| 1060k|534148 | 0 | 0.0 | 988M|1017 | - |1895 | 14k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
608.41/608.47 c 564s| 1070k|540324 | 0 | 0.0 | 988M|1017 | - |1895 |6269 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
611.81/611.81 c 567s| 1080k|547822 | 0 | 0.0 | 994M|1017 | - |1895 |6287 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
615.30/615.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.30/615.37 c 570s| 1090k|555006 | 0 | 0.0 |1001M|1017 | - |1895 |6654 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
619.21/619.27 c 574s| 1100k|561720 | 0 | 0.0 |1007M|1017 | - |1895 |6973 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
623.31/623.39 c 577s| 1110k|568125 | 0 | 0.0 |1013M|1017 | - |1895 |7467 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
627.91/627.97 c 581s| 1120k|573950 | 0 | 0.0 |1019M|1017 | - |1895 |7984 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
633.91/633.94 c 587s| 1130k|577963 | 0 | 0.0 |1026M|1017 | - |1895 | 10k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
642.20/642.23 c 595s| 1140k|579632 | 0 | 0.0 |1029M|1017 | - |1895 | 12k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
645.71/645.74 c 598s| 1150k|587283 | 0 | 0.0 |1034M|1017 | - |1895 |6625 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
649.21/649.20 c 601s| 1160k|594612 | 0 | 0.0 |1040M|1017 | - |1895 |6701 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
652.80/652.84 c 604s| 1170k|601575 | 0 | 0.0 |1046M|1017 | - |1895 |7277 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
657.01/657.05 c 608s| 1180k|607791 | 0 | 0.0 |1052M|1017 | - |1895 |7689 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
662.21/662.20 c 613s| 1190k|612781 | 0 | 0.0 |1058M|1017 | - |1895 |8408 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
668.11/668.11 c 618s| 1200k|616717 | 0 | 0.0 |1065M|1017 | - |1895 |8972 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
674.70/674.75 c 624s| 1210k|619678 | 0 | 0.0 |1070M|1017 | - |1895 |8484 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
679.90/679.98 c 629s| 1220k|624547 | 0 | 0.0 |1075M|1017 | - |1895 |7092 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
683.81/683.84 c 633s| 1230k|631320 | 0 | 0.0 |1081M|1017 | - |1895 |7526 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
688.21/688.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.21/688.21 c 637s| 1240k|637429 | 0 | 0.0 |1088M|1017 | - |1895 |8699 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
693.20/693.28 c 641s| 1250k|642695 | 0 | 0.0 |1095M|1017 | - |1895 | 10k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
700.61/700.70 c 648s| 1260k|645370 | 0 | 0.0 |1101M|1017 | - |1895 | 14k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
703.81/703.89 c 651s| 1270k|653532 | 0 | 0.0 |1104M|1017 | - |1895 |4312 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
708.01/708.06 c 655s| 1280k|659870 | 0 | 0.0 |1111M|1017 | - |1895 |6708 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
711.91/711.92 c 658s| 1290k|666718 | 0 | 0.0 |1115M|1017 | - |1895 |4631 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
715.71/715.70 c 662s| 1300k|673355 | 0 | 0.0 |1121M|1017 | - |1895 |4158 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
719.50/719.51 c 665s| 1310k|679814 | 0 | 0.0 |1127M|1017 | - |1895 |4254 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
722.41/722.42 c 668s| 1320k|687858 | 0 | 0.0 |1133M|1017 | - |1895 |4392 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
725.92/725.93 c 671s| 1330k|694772 | 0 | 0.0 |1140M|1017 | - |1895 |5752 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
729.91/729.90 c 674s| 1340k|701160 | 0 | 0.0 |1145M|1017 | - |1895 |4684 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
733.61/733.69 c 678s| 1350k|707696 | 0 | 0.0 |1151M|1017 | - |1895 |4435 | 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
737.51/737.53 c 681s| 1360k|714292 | 0 | 0.0 |1158M|1017 | - |1895 |5764 | 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
744.51/744.52 c 688s| 1370k|716885 | 0 | 0.0 |1165M|1017 | - |1895 |8272 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
752.31/752.39 c 695s| 1380k|718934 | 0 | 0.0 |1172M|1017 | - |1895 | 10k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
761.70/761.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.70/761.72 c 704s| 1390k|720264 | 0 | 0.0 |1178M|1017 | - |1895 | 11k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
771.50/771.58 c 713s| 1400k|721223 | 0 | 0.0 |1182M|1017 | - |1895 | 12k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
780.91/780.98 c 722s| 1410k|722718 | 0 | 0.0 |1187M|1017 | - |1895 | 13k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
791.41/791.47 c 732s| 1420k|723475 | 0 | 0.0 |1191M|1017 | - |1895 | 14k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
802.51/802.54 c 743s| 1430k|724039 | 0 | 0.0 |1196M|1017 | - |1895 | 15k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
813.71/813.72 c 754s| 1440k|724599 | 0 | 0.0 |1199M|1017 | - |1895 | 15k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
825.21/825.26 c 765s| 1450k|725078 | 0 | 0.0 |1203M|1017 | - |1895 | 15k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
836.81/836.82 c 776s| 1460k|725406 | 0 | 0.0 |1207M|1017 | - |1895 | 16k| 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
848.91/848.90 c 787s| 1470k|725316 | 0 | 0.0 |1209M|1017 | - |1895 | 16k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
861.11/861.18 c 799s| 1480k|725257 | 0 | 0.0 |1212M|1017 | - |1895 | 17k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
874.11/874.19 c 812s| 1490k|724997 | 0 | 0.0 |1215M|1017 | - |1895 | 17k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
887.31/887.35 c 824s| 1500k|724609 | 0 | 0.0 |1217M|1017 | - |1895 | 18k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
901.21/901.20 c 838s| 1510k|723819 | 0 | 0.0 |1219M|1017 | - |1895 | 18k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
915.31/915.36 c 851s| 1520k|722996 | 0 | 0.0 |1220M|1017 | - |1895 | 15k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
929.61/929.68 c 865s| 1530k|721789 | 0 | 0.0 |1221M|1017 | - |1895 | 15k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
943.92/943.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.92/943.91 c 879s| 1540k|720199 | 0 | 0.0 |1221M|1017 | - |1895 | 16k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
958.71/958.78 c 893s| 1550k|718648 | 0 | 0.0 |1222M|1017 | - |1895 | 18k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
974.11/974.12 c 908s| 1560k|717164 | 0 | 0.0 |1224M|1017 | - |1895 | 19k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
991.12/991.15 c 925s| 1570k|714610 | 0 | 0.0 |1222M|1017 | - |1895 | 20k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1009.01/1009.06 c 942s| 1580k|711239 | 0 | 0.0 |1217M|1017 | - |1895 | 12k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1024.31/1024.36 c 957s| 1590k|703906 | 0 | 0.0 |1205M|1017 | - |1895 | 15k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1037.91/1037.92 c 970s| 1600k|699455 | 0 | 0.0 |1188M|1017 | - |1895 |9082 | 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1042.92/1042.96 c 974s| 1610k|705835 | 0 | 0.0 |1195M|1017 | - |1895 |8307 | 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1048.62/1048.66 c 979s| 1620k|711503 | 0 | 0.0 |1203M|1017 | - |1895 |8577 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1054.52/1054.59 c 985s| 1630k|716965 | 0 | 0.0 |1210M|1017 | - |1895 |8422 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1060.51/1060.50 c 990s| 1640k|722472 | 0 | 0.0 |1217M|1017 | - |1895 |8361 | 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1066.62/1066.61 c 996s| 1650k|727705 | 0 | 0.0 |1224M|1017 | - |1895 |8993 | 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1072.72/1072.73 c 1002s| 1660k|732914 | 0 | 0.0 |1231M|1017 | - |1895 |9193 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1078.62/1078.62 c 1007s| 1670k|738273 | 0 | 0.0 |1238M|1017 | - |1895 |9233 | 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1084.01/1084.08 c 1012s| 1680k|744138 | 0 | 0.0 |1245M|1017 | - |1895 |8327 | 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1090.02/1090.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.02/1090.06 c 1018s| 1690k|749264 | 0 | 0.0 |1252M|1017 | - |1895 |9174 | 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1095.32/1095.35 c 1023s| 1700k|755209 | 0 | 0.0 |1259M|1017 | - |1895 |7967 | 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1101.22/1101.29 c 1028s| 1710k|760327 | 0 | 0.0 |1266M|1017 | - |1895 |9323 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1106.63/1106.66 c 1033s| 1720k|766170 | 0 | 0.0 |1272M|1017 | - |1895 |8153 | 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1112.82/1112.83 c 1039s| 1730k|771111 | 0 | 0.0 |1279M|1017 | - |1895 |9339 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1118.12/1118.11 c 1044s| 1740k|776899 | 0 | 0.0 |1285M|1017 | - |1895 |8747 | 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1124.42/1124.48 c 1050s| 1750k|781612 | 0 | 0.0 |1293M|1017 | - |1895 |9656 | 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1129.82/1129.82 c 1055s| 1760k|787485 | 0 | 0.0 |1298M|1017 | - |1895 |8817 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1135.12/1135.15 c 1059s| 1770k|793204 | 0 | 0.0 |1305M|1017 | - |1895 |8101 | 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1141.72/1141.76 c 1066s| 1780k|797564 | 0 | 0.0 |1312M|1017 | - |1895 |9463 | 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1147.02/1147.00 c 1070s| 1790k|803332 | 0 | 0.0 |1318M|1017 | - |1895 |9096 | 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1152.52/1152.55 c 1076s| 1800k|808884 | 0 | 0.0 |1326M|1017 | - |1895 |8456 | 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1159.12/1159.18 c 1082s| 1810k|813195 | 0 | 0.0 |1331M|1017 | - |1895 |9458 | 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1164.52/1164.55 c 1087s| 1820k|818803 | 0 | 0.0 |1337M|1017 | - |1895 |9028 | 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1170.12/1170.18 c 1092s| 1830k|824247 | 0 | 0.0 |1345M|1017 | - |1895 |8379 | 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1177.22/1177.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.22/1177.21 c 1098s| 1840k|828108 | 0 | 0.0 |1351M|1017 | - |1895 |9837 | 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1182.62/1182.64 c 1104s| 1850k|833677 | 0 | 0.0 |1357M|1017 | - |1895 |9202 | 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1188.03/1188.06 c 1109s| 1860k|839195 | 0 | 0.0 |1363M|1017 | - |1895 |8613 | 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1195.82/1195.80 c 1116s| 1870k|842395 | 0 | 0.0 |1371M|1017 | - |1895 | 10k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1201.12/1201.13 c 1121s| 1880k|848027 | 0 | 0.0 |1376M|1017 | - |1895 |9417 | 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1206.62/1206.61 c 1126s| 1890k|853471 | 0 | 0.0 |1383M|1017 | - |1895 |9000 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1215.02/1215.09 c 1134s| 1900k|855927 | 0 | 0.0 |1390M|1017 | - |1895 | 10k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1220.93/1220.99 c 1139s| 1910k|861035 | 0 | 0.0 |1396M|1017 | - |1895 | 10k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.63/1227.63 c 1145s| 1920k|865454 | 0 | 0.0 |1403M|1017 | - |1895 | 10k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1236.72/1236.72 c 1154s| 1930k|867581 | 0 | 0.0 |1411M|1017 | - |1895 | 10k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1242.72/1242.77 c 1159s| 1940k|872567 | 0 | 0.0 |1416M|1017 | - |1895 |9981 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1249.12/1249.19 c 1165s| 1950k|877007 | 0 | 0.0 |1423M|1017 | - |1895 |9927 | 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1258.33/1258.35 c 1174s| 1960k|878914 | 0 | 0.0 |1431M|1017 | - |1895 | 10k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1265.03/1265.02 c 1180s| 1970k|883254 | 0 | 0.0 |1436M|1017 | - |1895 | 10k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1270.02/1270.08 o 3
1270.02/1270.08 c *1185s| 1976k|875285 | 0 | 0.0 |1431M|1017 | - |1895 | 10k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1272.83/1272.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.83/1272.86 c 1188s| 1980k|876053 | 0 | 0.0 |1433M|1017 | - |1895 | 10k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1282.32/1282.37 c 1197s| 1990k|878069 | 0 | 0.0 |1441M|1017 | - |1895 | 10k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1289.32/1289.31 c 1203s| 2000k|882343 | 0 | 0.0 |1447M|1017 | - |1895 | 10k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.22/1298.27 c 1211s| 2010k|884623 | 0 | 0.0 |1454M|1017 | - |1895 | 10k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1307.82/1307.83 c 1220s| 2020k|886505 | 0 | 0.0 |1460M|1017 | - |1895 |4393 | 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1314.72/1314.73 c 1226s| 2030k|889554 | 0 | 0.0 |1465M|1017 | - |1895 |4782 | 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1322.02/1322.05 c 1233s| 2040k|891849 | 0 | 0.0 |1470M|1017 | - |1895 |5274 | 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1329.32/1329.38 c 1240s| 2050k|893691 | 0 | 0.0 |1474M|1017 | - |1895 |7158 | 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1336.83/1336.88 c 1247s| 2060k|895623 | 0 | 0.0 |1479M|1017 | - |1895 |7750 | 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1344.42/1344.43 c 1254s| 2070k|897722 | 0 | 0.0 |1482M|1017 | - |1895 |6119 | 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1352.32/1352.32 c 1262s| 2080k|898900 | 0 | 0.0 |1487M|1017 | - |1895 |7714 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1359.72/1359.80 c 1269s| 2090k|901023 | 0 | 0.0 |1491M|1017 | - |1895 |8166 | 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1367.62/1367.67 c 1276s| 2100k|902444 | 0 | 0.0 |1494M|1017 | - |1895 |7529 | 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1375.42/1375.48 c 1283s| 2110k|903760 | 0 | 0.0 |1498M|1017 | - |1895 |8018 | 0 | 0 | 0 |2043k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1383.32/1383.33 c 1291s| 2120k|905632 | 0 | 0.0 |1501M|1017 | - |1895 |6245 | 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1391.83/1391.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.83/1391.89 c 1299s| 2130k|905896 | 0 | 0.0 |1505M|1017 | - |1895 |7925 | 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1399.72/1399.77 c 1306s| 2140k|907672 | 0 | 0.0 |1509M|1017 | - |1895 |8131 | 0 | 0 | 0 |2079k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1408.73/1408.71 c 1314s| 2150k|907627 | 0 | 0.0 |1511M|1017 | - |1895 |7708 | 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1416.83/1416.82 c 1322s| 2160k|909090 | 0 | 0.0 |1515M|1017 | - |1895 |8511 | 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1425.43/1425.44 c 1330s| 2170k|909586 | 0 | 0.0 |1517M|1017 | - |1895 |7816 | 0 | 0 | 0 |2116k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1433.62/1433.63 c 1338s| 2180k|910925 | 0 | 0.0 |1520M|1017 | - |1895 |8473 | 0 | 0 | 0 |2128k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1442.62/1442.66 c 1346s| 2190k|911062 | 0 | 0.0 |1521M|1017 | - |1895 |8019 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1451.13/1451.16 c 1354s| 2200k|912076 | 0 | 0.0 |1525M|1017 | - |1895 |8999 | 0 | 0 | 0 |2153k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1460.13/1460.10 c 1363s| 2210k|912362 | 0 | 0.0 |1525M|1017 | - |1895 |8158 | 0 | 0 | 0 |2167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1468.73/1468.71 c 1371s| 2220k|913292 | 0 | 0.0 |1528M|1017 | - |1895 |9067 | 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1478.03/1478.08 c 1379s| 2230k|913160 | 0 | 0.0 |1529M|1017 | - |1895 |8672 | 0 | 0 | 0 |2192k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1486.73/1486.71 c 1388s| 2240k|914216 | 0 | 0.0 |1532M|1017 | - |1895 |9129 | 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1495.83/1495.88 c 1396s| 2250k|914184 | 0 | 0.0 |1533M|1017 | - |1895 |9109 | 0 | 0 | 0 |2218k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1504.42/1504.46 c 1404s| 2260k|915529 | 0 | 0.0 |1536M|1017 | - |1895 |8426 | 0 | 0 | 0 |2230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1514.03/1514.03 c 1413s| 2270k|915000 | 0 | 0.0 |1537M|1017 | - |1895 |9433 | 0 | 0 | 0 |2244k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1523.53/1523.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.53/1523.58 c 1422s| 2280k|914835 | 0 | 0.0 |1538M|1017 | - |1895 |8891 | 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1532.73/1532.72 c 1431s| 2290k|915371 | 0 | 0.0 |1541M|1017 | - |1895 |9848 | 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1542.63/1542.66 c 1440s| 2300k|914663 | 0 | 0.0 |1542M|1017 | - |1895 |9738 | 0 | 0 | 0 |2284k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1552.93/1552.92 c 1450s| 2310k|913873 | 0 | 0.0 |1543M|1017 | - |1895 |9294 | 0 | 0 | 0 |2298k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1562.73/1562.79 c 1459s| 2320k|914000 | 0 | 0.0 |1547M|1017 | - |1895 |8602 | 0 | 0 | 0 |2312k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1573.13/1573.13 c 1469s| 2330k|912975 | 0 | 0.0 |1548M|1017 | - |1895 | 10k| 0 | 0 | 0 |2326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1583.83/1583.86 c 1479s| 2340k|911637 | 0 | 0.0 |1549M|1017 | - |1895 | 10k| 0 | 0 | 0 |2341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1594.94/1594.96 c 1490s| 2350k|910051 | 0 | 0.0 |1551M|1017 | - |1895 | 10k| 0 | 0 | 0 |2357k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1607.04/1607.06 c 1501s| 2360k|907711 | 0 | 0.0 |1551M|1017 | - |1895 | 10k| 0 | 0 | 0 |2373k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1619.63/1619.69 c 1513s| 2370k|904785 | 0 | 0.0 |1550M|1017 | - |1895 | 10k| 0 | 0 | 0 |2390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1625.04/1625.01 o 2
1625.04/1625.01 c *1518s| 2374k|835063 | 0 | 0.0 |1478M|1017 | - |1895 | 10k| 0 | 0 | 0 |2397k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.13/1633.19 c 1526s| 2380k|832877 | 0 | 0.0 |1479M|1017 | - |1895 | 11k| 0 | 0 | 0 |2408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1648.33/1648.37 c 1541s| 2390k|827650 | 0 | 0.0 |1476M|1017 | - |1895 | 12k| 0 | 0 | 0 |2428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1665.24/1665.28 c 1557s| 2400k|819493 | 0 | 0.0 |1468M|1017 | - |1895 | 13k| 0 | 0 | 0 |2452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.24/1673.26 c 1564s| 2410k|820702 | 0 | 0.0 |1465M|1017 | - |1895 |7126 | 0 | 0 | 0 |2462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1678.23/1678.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.23/1678.29 c 1569s| 2420k|826199 | 0 | 0.0 |1471M|1017 | - |1895 |6915 | 0 | 0 | 0 |2469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.23/1683.23 c 1573s| 2430k|831760 | 0 | 0.0 |1478M|1017 | - |1895 |7477 | 0 | 0 | 0 |2475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.44/1688.50 c 1578s| 2440k|836964 | 0 | 0.0 |1484M|1017 | - |1895 |7690 | 0 | 0 | 0 |2482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1693.73/1693.72 c 1583s| 2450k|842296 | 0 | 0.0 |1491M|1017 | - |1895 |8001 | 0 | 0 | 0 |2489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1698.83/1698.81 c 1588s| 2460k|847743 | 0 | 0.0 |1497M|1017 | - |1895 |8255 | 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.24/1704.20 c 1593s| 2470k|852828 | 0 | 0.0 |1503M|1017 | - |1895 |8530 | 0 | 0 | 0 |2502k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1709.73/1709.72 c 1598s| 2480k|857815 | 0 | 0.0 |1510M|1017 | - |1895 |8857 | 0 | 0 | 0 |2509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1715.13/1715.19 c 1603s| 2490k|862791 | 0 | 0.0 |1516M|1017 | - |1895 |9060 | 0 | 0 | 0 |2516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.03/1721.01 c 1608s| 2500k|867490 | 0 | 0.0 |1522M|1017 | - |1895 |9168 | 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1726.94/1726.94 c 1614s| 2510k|872220 | 0 | 0.0 |1528M|1017 | - |1895 |8992 | 0 | 0 | 0 |2532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1733.03/1733.09 c 1619s| 2520k|876595 | 0 | 0.0 |1535M|1017 | - |1895 | 10k| 0 | 0 | 0 |2540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1739.83/1739.80 c 1626s| 2530k|880473 | 0 | 0.0 |1540M|1017 | - |1895 | 10k| 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.93/1746.92 c 1632s| 2540k|883950 | 0 | 0.0 |1546M|1017 | - |1895 | 11k| 0 | 0 | 0 |2558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.64/1754.63 c 1639s| 2550k|886917 | 0 | 0.0 |1551M|1017 | - |1895 | 11k| 0 | 0 | 0 |2568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1762.83/1762.80 c 1647s| 2560k|889586 | 0 | 0.0 |1556M|1017 | - |1895 | 12k| 0 | 0 | 0 |2579k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1771.63/1771.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.63/1771.62 c 1655s| 2570k|891785 | 0 | 0.0 |1561M|1017 | - |1895 | 12k| 0 | 0 | 0 |2590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1780.84/1780.88 c 1664s| 2580k|893737 | 0 | 0.0 |1566M|1017 | - |1895 | 13k| 0 | 0 | 0 |2602k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1790.74/1790.77 c 1674s| 2590k|895363 | 0 | 0.0 |1570M|1017 | - |1895 | 14k| 0 | 0 | 0 |2614k| 0 | 0.000000e+00 | 2.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) : 1682.33
1800.04/1800.00 c Solving Nodes : 2598937
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (28 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1682.33
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694193-1277910238.wbo
1800.04/1800.01 c Variables : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.04/1800.01 c Constraints : 3612 initial, 3612 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694193-1277910238.wbo
1800.04/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.04/1800.01 c Constraints : 3298 initial, 26526 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.07 0 0 0 933 0 242 170 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 817 - - 1634 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 832 0 6336058 0 1560755 155 4768771 0 0 0
1800.04/1800.01 c knapsack : 1 0 8992745 0 2015463 243264 27367254 0 0 0
1800.04/1800.01 c setppc : 18 0 8786142 0 2015460 165483 9805262 0 0 0
1800.04/1800.01 c linear : 832 0 8621014 0 2015553 135630 9269982 0 0 0
1800.04/1800.01 c logicor : 1615+ 0 6558856 0 2015579 368995 17813901 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 12694 0 0 0 27 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 2015571 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 8.25 0.00 4.88 0.00 3.37
1800.04/1800.01 c knapsack : 97.40 0.00 94.98 0.00 2.42
1800.04/1800.01 c setppc : 37.06 0.00 33.25 0.00 3.81
1800.04/1800.01 c linear : 129.53 0.00 129.16 0.00 0.37
1800.04/1800.01 c logicor : 537.32 0.00 444.86 0.00 92.46
1800.04/1800.01 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.04 2 0 0
1800.04/1800.01 c rootredcost : 0.01 0 0 0
1800.04/1800.01 c pseudoobj : 147.29 9031719 1841 4717296
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 27.65 915213 915107 4247020 19.7 176414 10.7 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 36 36 176 26.0 21 9.0 -
1800.04/1800.01 c applied globally : - - - 2626481 17.9 - - -
1800.04/1800.01 c applied locally : - - - 26 118.8 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 28.85 2015543 0 0 0 0 4031086
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.28 - 28
1800.04/1800.01 c oneopt : 0.08 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2598937
1800.04/1800.01 c nodes (total) : 2598937
1800.04/1800.01 c nodes left : 896513
1800.04/1800.01 c max depth : 1017
1800.04/1800.01 c max depth (total): 1017
1800.04/1800.01 c backtracks : 566413 (21.8%)
1800.04/1800.01 c delayed cutoffs : 427768
1800.04/1800.01 c repropagations : 2095835 (20637142 domain reductions, 332038 cutoffs)
1800.04/1800.01 c avg switch length: 29.81
1800.04/1800.01 c switching time : 549.09
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 28 (28 improvements)
1800.04/1800.01 c First Solution : +4.50000000000000e+02 (in run 1, after 4450 nodes, 0.99 seconds, depth 308, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2374066 nodes, 1518.21 seconds, depth 233, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694193-1277910238/watcher-2694193-1277910238 -o /tmp/evaluation-result-2694193-1277910238/solver-2694193-1277910238 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694193-1277910238.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.08 3/178 12864 /proc/meminfo: memFree=31287272/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=8160 CPUtime=0 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 1544 0 0 0 0 0 0 0 21 0 1 0 132320549 8355840 1466 4089446400 4194304 7136930 140734599774048 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12864/statm: 2040 1466 275 719 0 1319 0 [startup+0.0784 s] /proc/loadavg: 2.00 2.00 2.08 3/178 12864 /proc/meminfo: memFree=31287272/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=21324 CPUtime=0.06 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 5498 0 0 0 6 0 0 0 21 0 1 0 132320549 21835776 4552 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12864/statm: 5331 4552 354 719 0 4610 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 21324 [startup+0.100395 s] /proc/loadavg: 2.00 2.00 2.08 3/178 12864 /proc/meminfo: memFree=31287272/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=22084 CPUtime=0.09 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 6722 0 0 0 8 1 0 0 21 0 1 0 132320549 22614016 4748 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12864/statm: 5521 4748 360 719 0 4800 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22084 [startup+0.300358 s] /proc/loadavg: 2.00 2.00 2.08 3/178 12864 /proc/meminfo: memFree=31287272/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=24068 CPUtime=0.28 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 9598 0 0 0 25 3 0 0 21 0 1 0 132320549 24645632 5311 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 6017 5311 399 719 0 5296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 24068 [startup+0.700346 s] /proc/loadavg: 2.00 2.00 2.08 3/178 12864 /proc/meminfo: memFree=31287272/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=26012 CPUtime=0.68 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 10094 0 0 0 60 8 0 0 22 0 1 0 132320549 26636288 5807 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 6503 5807 404 719 0 5782 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 26012 [startup+1.50015 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12865 /proc/meminfo: memFree=31263088/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=27936 CPUtime=1.48 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 10587 0 0 0 131 17 0 0 25 0 1 0 132320549 28606464 6300 4089446400 4194304 7136930 140734599774048 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 6984 6300 404 719 0 6263 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27936 [startup+3.10086 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12865 /proc/meminfo: memFree=31256516/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=33868 CPUtime=3.09 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 12061 0 0 0 271 38 0 0 25 0 1 0 132320549 34680832 7774 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 8467 7774 404 719 0 7746 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33868 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12865 /proc/meminfo: memFree=31237668/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=44492 CPUtime=6.29 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 14758 0 0 0 557 72 0 0 25 0 1 0 132320549 45559808 10471 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 11123 10471 404 719 0 10402 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44492 [startup+12.7001 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12865 /proc/meminfo: memFree=31203260/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=61076 CPUtime=12.68 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 18831 0 0 0 1132 136 0 0 25 0 1 0 132320549 62541824 14544 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 15269 14544 407 719 0 14548 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61076 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 2.07 3/179 12865 /proc/meminfo: memFree=31137584/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=92648 CPUtime=25.49 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 26778 0 0 0 2288 261 0 0 25 0 1 0 132320549 94871552 22491 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 23162 22491 407 719 0 22441 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92648 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.07 3/179 12866 /proc/meminfo: memFree=31027640/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=143852 CPUtime=51.09 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 39120 0 0 0 4635 474 0 0 25 0 1 0 132320549 147304448 34833 4089446400 4194304 7136930 140734599774048 18446744073709551615 4926365 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 35963 34833 407 719 0 35242 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 143852 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.07 3/179 12867 /proc/meminfo: memFree=30755164/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=315224 CPUtime=102.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 77818 0 0 0 9273 957 0 0 25 0 1 0 132320549 322789376 73531 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 78806 73531 407 719 0 78085 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 315224 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12869 /proc/meminfo: memFree=30576168/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=437540 CPUtime=162.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 106598 0 0 0 14834 1396 0 0 25 0 1 0 132320549 448040960 102311 4089446400 4194304 7136930 140734599774048 18446744073709551615 4210625 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 109385 102311 407 719 0 108664 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 437540 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12871 /proc/meminfo: memFree=30471212/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=486536 CPUtime=222.29 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 118890 0 0 0 20549 1680 0 0 25 0 1 0 132320549 498212864 114603 4089446400 4194304 7136930 140734599774048 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 121634 114603 407 719 0 120913 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 486536 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12899 /proc/meminfo: memFree=30944556/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=520004 CPUtime=282.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 127132 0 0 0 26287 1943 0 0 25 0 1 0 132320549 532484096 122845 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 130001 122845 407 719 0 129280 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 520004 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12900 /proc/meminfo: memFree=30875520/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=599404 CPUtime=342.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 144667 0 0 0 31962 2268 0 0 25 0 1 0 132320549 613789696 140359 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 149851 140359 407 719 0 149130 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 599404 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12902 /proc/meminfo: memFree=30623460/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=887052 CPUtime=402.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 208029 0 0 0 37445 2785 0 0 25 0 1 0 132320549 908341248 203721 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 221763 203721 407 719 0 221042 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 887052 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12904 /proc/meminfo: memFree=30447040/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1067872 CPUtime=462.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 251011 0 0 0 42992 3238 0 0 25 0 1 0 132320549 1093500928 246703 4089446400 4194304 7136930 140734599774048 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 266968 246703 407 719 0 266247 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1067872 [startup+522.3 s] /proc/loadavg: 2.03 2.01 2.03 3/179 12906 /proc/meminfo: memFree=30377504/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1146244 CPUtime=522.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 268397 0 0 0 48482 3748 0 0 25 0 1 0 132320549 1173753856 264089 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 286561 264089 407 719 0 285840 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1146244 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.03 3/179 12907 /proc/meminfo: memFree=30327188/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1196836 CPUtime=582.3 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 280952 0 0 0 53963 4267 0 0 25 0 1 0 132320549 1225560064 276644 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 299209 276644 407 719 0 298488 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1196836 [startup+642.301 s] /proc/loadavg: 2.04 2.02 2.03 3/179 12908 /proc/meminfo: memFree=30263340/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1261720 CPUtime=642.31 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 296855 0 0 0 59482 4749 0 0 25 0 1 0 132320549 1292001280 292547 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 315430 292547 407 719 0 314709 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1261720 [startup+702.301 s] ################ # More data... # ################ /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 347617 0 0 0 93538 6693 0 0 25 0 1 0 132320549 1498480640 343309 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 365840 343309 407 719 0 365119 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1463360 [startup+1062.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12947 /proc/meminfo: memFree=29777112/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1468092 CPUtime=1062.31 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 348486 0 0 0 99217 7014 0 0 25 0 1 0 132320549 1503326208 344178 4089446400 4194304 7136930 140734599774048 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 367023 344178 407 719 0 366302 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1468092 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12949 /proc/meminfo: memFree=29712912/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1529808 CPUtime=1122.32 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 363564 0 0 0 104767 7465 0 0 25 0 1 0 132320549 1566523392 359256 4089446400 4194304 7136930 140734599774048 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 382452 359256 407 719 0 381731 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1529808 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12950 /proc/meminfo: memFree=29641524/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1600292 CPUtime=1182.32 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 380549 0 0 0 110322 7910 0 0 25 0 1 0 132320549 1638699008 376241 4089446400 4194304 7136930 140734599774048 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 400073 376241 407 719 0 399352 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1600292 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12951 /proc/meminfo: memFree=29564656/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1679744 CPUtime=1242.32 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 398861 0 0 0 115905 8327 0 0 25 0 1 0 132320549 1720057856 394553 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 419936 394553 407 719 0 419215 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1679744 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12953 /proc/meminfo: memFree=29505692/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1745548 CPUtime=1302.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 413221 0 0 0 121526 8707 0 0 25 0 1 0 132320549 1787441152 408913 4089446400 4194304 7136930 140734599774048 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 436387 408913 407 719 0 435666 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1745548 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 12955 /proc/meminfo: memFree=29459324/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1793604 CPUtime=1362.32 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 424384 0 0 0 127090 9142 0 0 25 0 1 0 132320549 1836650496 420076 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 448401 420076 407 719 0 447680 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1793604 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12957 /proc/meminfo: memFree=29429824/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1819168 CPUtime=1422.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 430807 0 0 0 132699 9534 0 0 25 0 1 0 132320549 1862828032 426499 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 454792 426499 407 719 0 454071 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1819168 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12958 /proc/meminfo: memFree=29401756/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1845608 CPUtime=1482.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 437507 0 0 0 138340 9893 0 0 25 0 1 0 132320549 1889902592 433199 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 461402 433199 407 719 0 460681 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1845608 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12959 /proc/meminfo: memFree=29375748/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1866768 CPUtime=1542.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 442742 0 0 0 143989 10244 0 0 25 0 1 0 132320549 1911570432 438434 4089446400 4194304 7136930 140734599774048 18446744073709551615 4210462 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 466692 438434 407 719 0 465971 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1866768 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 12961 /proc/meminfo: memFree=29354476/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1883856 CPUtime=1602.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 446847 0 0 0 149674 10559 0 0 25 0 1 0 132320549 1929068544 442539 4089446400 4194304 7136930 140734599774048 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 470964 442539 407 719 0 470243 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1883856 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12966 /proc/meminfo: memFree=29348296/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1888820 CPUtime=1662.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 448101 0 0 0 155387 10846 0 0 25 0 1 0 132320549 1934151680 443793 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 472205 443793 407 719 0 471484 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1888820 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12968 /proc/meminfo: memFree=29341344/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1891192 CPUtime=1722.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 448708 0 0 0 160930 11303 0 0 25 0 1 0 132320549 1936580608 444400 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 472798 444400 407 719 0 472077 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1891192 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12969 /proc/meminfo: memFree=29315852/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1914692 CPUtime=1782.33 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 454584 0 0 0 166553 11680 0 0 25 0 1 0 132320549 1960644608 450276 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 478673 450276 407 719 0 477952 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1914692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12970 /proc/meminfo: memFree=29306152/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1923540 CPUtime=1800.04 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 456814 0 0 0 168234 11770 0 0 25 0 1 0 132320549 1969704960 452506 4089446400 4194304 7136930 140734599774048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12864/statm: 480885 452506 407 719 0 480164 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1923540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12864 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 12971 /proc/meminfo: memFree=29306020/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1923024 CPUtime=1801.44 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 456820 0 0 0 168374 11770 0 0 25 0 1 0 132320549 1969176576 452383 4089446400 4194304 7136930 140734599774048 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12864/statm: 480756 452383 412 719 0 480035 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1923024 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 12971 /proc/meminfo: memFree=29309120/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1917352 CPUtime=1801.84 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 456820 0 0 0 168414 11770 0 0 25 0 1 0 132320549 1963368448 450965 4089446400 4194304 7136930 140734599774048 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12864/statm: 479338 450965 412 719 0 478617 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1917352 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 12971 /proc/meminfo: memFree=29309120/32950904 swapFree=67111528/67111528 [pid=12864] ppid=12862 vsize=1913752 CPUtime=1802.04 /proc/12864/stat : 12864 (pbscip.linux.x8) R 12862 12864 11938 0 -1 4202496 456820 0 0 0 168434 11770 0 0 25 0 1 0 132320549 1959682048 450066 4089446400 4194304 7136930 140734599774048 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12864/statm: 478438 450066 412 719 0 477717 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1913752 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1684.35 CPU system time (s): 117.762 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1923540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1684.35 system time used= 117.762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456820 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= 3 involuntary context switches= 1368 runsolver used 2.43663 second user time and 5.78312 second system time The end
Begin job on node121 at 2010-06-30 17:03:58 IDJOB=2694193 IDBENCH=78975 IDSOLVER=1206 FILE ID=node121/2694193-1277910238 PBS_JOBID= 11197220 Free space on /tmp= 74208 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.1900556231--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-2694193-1277910238/watcher-2694193-1277910238 -o /tmp/evaluation-result-2694193-1277910238/solver-2694193-1277910238 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694193-1277910238.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75cdbfdf3c0702d95dd33d3fc3f86ad3 RANDOM SEED=1058253437 node121.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.876 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.75 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.23 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.876 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.876 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.876 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.75 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.876 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.82 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.876 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31287924 kB Buffers: 193896 kB Cached: 1101192 kB SwapCached: 0 kB Active: 728312 kB Inactive: 789592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31287924 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 222984 kB Mapped: 15140 kB Slab: 80592 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 366652 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 node121 at 2010-06-30 17:34:00