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.16 | 1802.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo |
| MD5SUM | da8b4d3fc4733201ddcbc92154231f9d |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 287.393 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 136625 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136624 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 733 |
| 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-2693692-1277930481.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 136624
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366240e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
2.59/2.68 o 432
2.59/2.68 c * 2.6s| 8356 | 7430 | 0 | 0.0 | 24M|2816 | - |5645 |6776 | 0 | 0 | 0 |1364 | 0 | 0.000000e+00 | 4.320000e+02 | Inf
2.99/3.01 o 362
2.99/3.01 c * 2.9s| 9066 | 6628 | 0 | 0.0 | 24M|2816 | - |5645 |6873 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 3.620000e+02 | Inf
2.99/3.06 o 355
2.99/3.06 c * 3.0s| 9174 | 6639 | 0 | 0.0 | 24M|2816 | - |5645 |6871 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 3.550000e+02 | Inf
2.99/3.06 o 346
2.99/3.06 c * 3.0s| 9182 | 6511 | 0 | 0.0 | 24M|2816 | - |5645 |6871 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 3.460000e+02 | Inf
3.09/3.11 o 339
3.09/3.11 c * 3.0s| 9291 | 6530 | 0 | 0.0 | 24M|2816 | - |5645 |6881 | 0 | 0 | 0 |1473 | 0 | 0.000000e+00 | 3.390000e+02 | Inf
3.09/3.16 o 326
3.09/3.16 c * 3.1s| 9406 | 6488 | 0 | 0.0 | 24M|2816 | - |5645 |6890 | 0 | 0 | 0 |1482 | 0 | 0.000000e+00 | 3.260000e+02 | Inf
3.20/3.25 o 319
3.20/3.25 c * 3.2s| 9660 | 6618 | 0 | 0.0 | 24M|2816 | - |5645 |6919 | 0 | 0 | 0 |1512 | 0 | 0.000000e+00 | 3.190000e+02 | Inf
3.29/3.35 o 217
3.29/3.35 c * 3.3s| 9932 | 6534 | 0 | 0.0 | 24M|2816 | - |5645 |6957 | 0 | 0 | 0 |1557 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
3.29/3.37 c 3.3s| 10000 | 6600 | 0 | 0.0 | 24M|2816 | - |5645 |6966 | 0 | 0 | 0 |1567 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
3.29/3.39 o 191
3.29/3.39 c * 3.3s| 10033 | 6553 | 0 | 0.0 | 24M|2816 | - |5645 |6987 | 0 | 0 | 0 |1588 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
6.80/6.81 c 6.7s| 20000 | 14810 | 0 | 0.0 | 35M|2816 | - |5645 |7776 | 0 | 0 | 0 |8735 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
12.29/12.35 c 12.1s| 30000 | 21025 | 0 | 0.0 | 48M|2816 | - |5645 |8838 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
12.49/12.52 o 185
12.49/12.52 c *12.3s| 30267 | 21266 | 0 | 0.0 | 49M|2816 | - |5645 |8772 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
12.49/12.52 o 178
12.49/12.52 c *12.3s| 30268 | 21176 | 0 | 0.0 | 49M|2816 | - |5645 |8772 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
13.39/13.44 o 175
13.39/13.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.44 c *13.2s| 31747 | 22589 | 0 | 0.0 | 50M|2816 | - |5645 |8439 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
13.79/13.89 o 161
13.79/13.89 c *13.6s| 32449 | 23178 | 0 | 0.0 | 51M|2816 | - |5645 |8324 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
14.80/14.80 o 157
14.80/14.80 c *14.5s| 33810 | 24433 | 0 | 0.0 | 53M|2816 | - |5645 |8223 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
15.59/15.60 o 151
15.59/15.60 c *15.3s| 34954 | 25452 | 0 | 0.0 | 54M|2816 | - |5645 |8367 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
15.59/15.61 o 149
15.59/15.61 c *15.3s| 34955 | 25416 | 0 | 0.0 | 54M|2816 | - |5645 |8367 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
16.70/16.71 o 147
16.70/16.71 c *16.4s| 36309 | 26587 | 0 | 0.0 | 57M|2816 | - |5645 |8846 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
16.70/16.71 o 146
16.70/16.71 c *16.4s| 36310 | 26583 | 0 | 0.0 | 57M|2816 | - |5645 |8846 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
16.79/16.80 o 139
16.79/16.80 c *16.5s| 36406 | 26603 | 0 | 0.0 | 57M|2816 | - |5645 |8805 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
17.50/17.55 o 136
17.50/17.55 c *17.2s| 37421 | 27386 | 0 | 0.0 | 60M|2816 | - |5645 |9290 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
17.69/17.75 o 129
17.69/17.75 c *17.4s| 37671 | 27425 | 0 | 0.0 | 60M|2816 | - |5645 |9459 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
17.69/17.75 o 126
17.69/17.75 c *17.4s| 37672 | 27310 | 0 | 0.0 | 60M|2816 | - |5645 |9459 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
18.19/18.21 o 120
18.19/18.21 c *17.9s| 38044 | 27433 | 0 | 0.0 | 62M|2816 | - |5645 |9843 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
19.59/19.61 c 19.2s| 40000 | 29193 | 0 | 0.0 | 65M|2816 | - |5645 |9180 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
19.80/19.90 o 113
19.80/19.90 c *19.5s| 40415 | 29440 | 0 | 0.0 | 65M|2816 | - |5645 |9070 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
25.70/25.71 o 110
25.70/25.71 c *25.3s| 48641 | 36753 | 0 | 0.0 | 80M|2816 | - |5645 |8297 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
25.70/25.71 o 107
25.70/25.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.70/25.71 c *25.3s| 48642 | 36733 | 0 | 0.0 | 80M|2816 | - |5645 |8297 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
26.49/26.55 o 98
26.49/26.55 c *26.1s| 49953 | 37586 | 0 | 0.0 | 79M|2816 | - |5645 |8208 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
26.49/26.59 c 26.1s| 50000 | 37627 | 0 | 0.0 | 79M|2816 | - |5645 |8219 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
29.70/29.74 o 93
29.70/29.74 c *29.3s| 54095 | 40772 | 0 | 0.0 | 90M|2816 | - |5645 |9758 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
34.00/34.08 o 67
34.00/34.08 c *33.5s| 59484 | 43441 | 0 | 0.0 | 83M|2816 | - |5645 |8060 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
34.00/34.09 o 66
34.00/34.09 c *33.5s| 59485 | 43311 | 0 | 0.0 | 83M|2816 | - |5645 |8060 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
34.09/34.17 o 64
34.09/34.17 c *33.6s| 59629 | 43320 | 0 | 0.0 | 82M|2816 | - |5645 |8063 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
34.09/34.18 o 43
34.09/34.18 c *33.6s| 59649 | 41013 | 0 | 0.0 | 72M|2816 | - |5645 |8063 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
34.30/34.33 c 33.8s| 60000 | 41341 | 0 | 0.0 | 73M|2816 | - |5645 |7998 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
39.09/39.13 c 38.5s| 70000 | 49836 | 0 | 0.0 | 83M|2816 | - |5645 |6693 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
43.49/43.59 c 42.8s| 80000 | 58182 | 0 | 0.0 | 93M|2816 | - |5645 |6662 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
47.09/47.19 c 46.3s| 90000 | 66586 | 0 | 0.0 | 102M|2816 | - |5645 |5870 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
51.30/51.38 c 50.4s|100000 | 74298 | 0 | 0.0 | 113M|2816 | - |5645 |6644 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
56.00/56.04 c 55.0s|110000 | 81629 | 0 | 0.0 | 124M|2816 | - |5645 |6974 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
61.50/61.59 c 60.5s|120000 | 88247 | 0 | 0.0 | 135M|2816 | - |5645 |7443 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
67.49/67.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.49/67.51 c 66.3s|130000 | 94448 | 0 | 0.0 | 147M|2816 | - |5645 |7826 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
73.49/73.58 c 72.2s|140000 |100454 | 0 | 0.0 | 159M|2816 | - |5645 |8218 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
79.89/79.97 c 78.5s|150000 |106139 | 0 | 0.0 | 171M|2816 | - |5645 |8847 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
86.80/86.84 c 85.3s|160000 |111369 | 0 | 0.0 | 184M|2816 | - |5645 |9488 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
94.50/94.56 c 92.9s|170000 |115882 | 0 | 0.0 | 195M|2816 | - |5645 | 10k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
102.69/102.75 c 101s|180000 |120012 | 0 | 0.0 | 206M|2816 | - |5645 | 10k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
112.30/112.36 c 110s|190000 |123548 | 0 | 0.0 | 213M|2816 | - |5645 |7532 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
117.90/117.95 c 116s|200000 |132277 | 0 | 0.0 | 226M|2816 | - |5645 |5936 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
123.99/124.08 o 33
123.99/124.08 c * 122s|209272 |139147 | 0 | 0.0 | 233M|2816 | - |5645 |5495 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
124.50/124.56 c 122s|210000 |139765 | 0 | 0.0 | 234M|2816 | - |5645 |5496 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
129.00/129.01 o 11
129.00/129.01 c * 127s|217180 |142361 | 0 | 0.0 | 231M|2816 | - |5645 |6480 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
131.70/131.72 c 130s|220000 |144093 | 0 | 0.0 | 239M|2816 | - |5645 |7140 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
142.40/142.45 c 140s|230000 |147507 | 0 | 0.0 | 251M|2816 | - |5645 |6758 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
147.40/147.43 c 145s|240000 |155420 | 0 | 0.0 | 262M|2816 | - |5645 |7922 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
154.19/154.27 c 152s|250000 |162139 | 0 | 0.0 | 276M|2816 | - |5645 |7749 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
161.50/161.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.50/161.50 c 159s|260000 |168522 | 0 | 0.0 | 289M|2816 | - |5645 |8830 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
168.39/168.48 c 166s|270000 |174091 | 0 | 0.0 | 301M|2816 | - |5645 |7778 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
173.70/173.77 c 171s|280000 |182074 | 0 | 0.0 | 313M|2816 | - |5645 |8494 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
179.70/179.75 c 177s|290000 |189605 | 0 | 0.0 | 325M|2816 | - |5645 |9226 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
186.50/186.52 c 184s|300000 |196468 | 0 | 0.0 | 338M|2816 | - |5645 |9739 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
194.40/194.44 c 191s|310000 |201565 | 0 | 0.0 | 349M|2816 | - |5645 | 10k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
200.00/200.02 c 197s|320000 |207397 | 0 | 0.0 | 359M|2816 | - |5645 |9218 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
206.59/206.62 c 203s|330000 |213647 | 0 | 0.0 | 371M|2816 | - |5645 |9205 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
211.20/211.26 c 208s|340000 |221869 | 0 | 0.0 | 381M|2816 | - |5645 | 10k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
217.50/217.59 c 214s|350000 |229032 | 0 | 0.0 | 393M|2816 | - |5645 | 12k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
225.70/225.73 c 222s|360000 |234467 | 0 | 0.0 | 402M|2816 | - |5645 | 10k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
230.70/230.76 c 227s|370000 |242480 | 0 | 0.0 | 414M|2816 | - |5645 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
236.70/236.74 c 233s|380000 |249680 | 0 | 0.0 | 425M|2816 | - |5645 | 12k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
243.50/243.56 c 240s|390000 |255954 | 0 | 0.0 | 434M|2816 | - |5645 | 10k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
248.50/248.55 c 245s|400000 |263507 | 0 | 0.0 | 445M|2816 | - |5645 | 12k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
254.01/254.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.01/254.05 c 250s|410000 |270698 | 0 | 0.0 | 456M|2816 | - |5645 | 11k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
260.30/260.34 c 256s|420000 |277382 | 0 | 0.0 | 467M|2816 | - |5645 | 12k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
263.80/263.84 o 6
263.80/263.84 c * 260s|427090 |279703 | 0 | 0.0 | 459M|2816 | - |5645 | 13k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
265.70/265.73 c 261s|430000 |281760 | 0 | 0.0 | 464M|2816 | - |5645 | 14k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
271.70/271.72 c 267s|440000 |288965 | 0 | 0.0 | 475M|2816 | - |5645 | 13k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
278.10/278.12 c 274s|450000 |295771 | 0 | 0.0 | 487M|2816 | - |5645 | 13k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
283.40/283.42 c 279s|460000 |303651 | 0 | 0.0 | 498M|2816 | - |5645 | 14k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
290.50/290.54 c 286s|470000 |310427 | 0 | 0.0 | 510M|2816 | - |5645 | 14k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
297.90/297.99 c 293s|480000 |316674 | 0 | 0.0 | 521M|2816 | - |5645 | 16k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
303.70/303.71 c 299s|490000 |324074 | 0 | 0.0 | 532M|2816 | - |5645 | 15k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
310.50/310.53 c 306s|500000 |330774 | 0 | 0.0 | 544M|2816 | - |5645 | 15k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
317.40/317.48 c 312s|510000 |337451 | 0 | 0.0 | 556M|2816 | - |5645 | 15k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
323.50/323.54 c 318s|520000 |345068 | 0 | 0.0 | 568M|2816 | - |5645 | 16k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
331.80/331.86 c 327s|530000 |351031 | 0 | 0.0 | 578M|2816 | - |5645 | 16k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
338.40/338.49 c 333s|540000 |357994 | 0 | 0.0 | 588M|2816 | - |5645 | 16k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
345.31/345.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.31/345.34 c 340s|550000 |364830 | 0 | 0.0 | 598M|2816 | - |5645 | 17k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
351.50/351.51 c 346s|560000 |372081 | 0 | 0.0 | 608M|2816 | - |5645 | 16k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
359.30/359.30 c 354s|570000 |378014 | 0 | 0.0 | 619M|2816 | - |5645 | 19k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
364.80/364.89 c 359s|580000 |385703 | 0 | 0.0 | 628M|2816 | - |5645 | 16k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
371.80/371.82 c 366s|590000 |392302 | 0 | 0.0 | 638M|2816 | - |5645 | 16k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
378.91/378.97 c 373s|600000 |398667 | 0 | 0.0 | 648M|2816 | - |5645 | 16k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
385.30/385.32 c 379s|610000 |405533 | 0 | 0.0 | 656M|2816 | - |5645 |6917 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
390.00/390.01 c 384s|620000 |413479 | 0 | 0.0 | 668M|2816 | - |5645 |7424 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
394.30/394.32 c 388s|630000 |421483 | 0 | 0.0 | 680M|2816 | - |5645 |7977 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
399.50/399.51 c 393s|640000 |428640 | 0 | 0.0 | 691M|2816 | - |5645 |8167 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
406.70/406.72 c 400s|650000 |434051 | 0 | 0.0 | 702M|2816 | - |5645 |8891 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
414.31/414.34 c 408s|660000 |439124 | 0 | 0.0 | 714M|2816 | - |5645 |8974 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
422.20/422.25 c 416s|670000 |443901 | 0 | 0.0 | 724M|2816 | - |5645 | 10k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
430.80/430.89 c 424s|680000 |448205 | 0 | 0.0 | 735M|2816 | - |5645 | 10k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
440.01/440.06 c 433s|690000 |452119 | 0 | 0.0 | 746M|2816 | - |5645 | 10k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
449.41/449.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.41/449.46 c 443s|700000 |455772 | 0 | 0.0 | 756M|2816 | - |5645 | 10k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
459.10/459.17 c 452s|710000 |459268 | 0 | 0.0 | 767M|2816 | - |5645 | 11k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
469.21/469.29 c 462s|720000 |462457 | 0 | 0.0 | 777M|2816 | - |5645 | 12k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
479.80/479.83 c 473s|730000 |465373 | 0 | 0.0 | 787M|2816 | - |5645 | 12k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
490.40/490.45 c 483s|740000 |468264 | 0 | 0.0 | 796M|2816 | - |5645 | 12k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
500.90/500.90 c 493s|750000 |471291 | 0 | 0.0 | 806M|2816 | - |5645 | 12k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
511.41/511.49 c 504s|760000 |474244 | 0 | 0.0 | 815M|2816 | - |5645 | 11k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
522.81/522.83 c 515s|770000 |476446 | 0 | 0.0 | 823M|2816 | - |5645 | 13k| 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
533.71/533.77 c 526s|780000 |479020 | 0 | 0.0 | 832M|2816 | - |5645 | 13k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
544.52/544.57 c 537s|790000 |481839 | 0 | 0.0 | 840M|2816 | - |5645 | 12k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
556.21/556.20 c 548s|800000 |483848 | 0 | 0.0 | 847M|2816 | - |5645 | 14k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
568.62/568.67 c 561s|810000 |485463 | 0 | 0.0 | 854M|2816 | - |5645 | 14k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
581.91/581.98 c 574s|820000 |486480 | 0 | 0.0 | 860M|2816 | - |5645 | 15k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
596.41/596.42 c 588s|830000 |487090 | 0 | 0.0 | 866M|2816 | - |5645 | 16k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
612.61/612.66 c 604s|840000 |486656 | 0 | 0.0 | 871M|2816 | - |5645 | 17k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
632.71/632.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.71/632.77 c 624s|850000 |483685 | 0 | 0.0 | 871M|2816 | - |5645 | 17k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
640.12/640.10 c 631s|860000 |491273 | 0 | 0.0 | 887M|2816 | - |5645 |7281 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
646.61/646.70 c 638s|870000 |498968 | 0 | 0.0 | 904M|2816 | - |5645 |7300 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
653.11/653.19 c 644s|880000 |506639 | 0 | 0.0 | 920M|2816 | - |5645 |7690 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
660.02/660.03 c 651s|890000 |514220 | 0 | 0.0 | 940M|2816 | - |5645 |7934 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
666.61/666.64 c 657s|900000 |521788 | 0 | 0.0 | 958M|2816 | - |5645 |8583 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
673.41/673.49 c 664s|910000 |529189 | 0 | 0.0 | 971M|2816 | - |5645 |8621 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
680.31/680.30 c 671s|920000 |536612 | 0 | 0.0 | 985M|2816 | - |5645 |9023 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
689.31/689.39 c 680s|930000 |543094 | 0 | 0.0 |1006M|2816 | - |5645 | 10k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
699.01/699.02 c 689s|940000 |549249 | 0 | 0.0 |1021M|2816 | - |5645 | 10k| 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
710.02/710.05 c 700s|950000 |555096 | 0 | 0.0 |1050M|2816 | - |5645 | 12k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
721.71/721.74 c 712s|960000 |560640 | 0 | 0.0 |1075M|2816 | - |5645 | 12k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
735.21/735.28 c 725s|970000 |565820 | 0 | 0.0 |1121M|2816 | - |5645 | 13k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
750.51/750.54 c 740s|980000 |570227 | 0 | 0.0 |1159M|2816 | - |5645 | 13k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
767.31/767.30 c 757s|990000 |574217 | 0 | 0.0 |1202M|2816 | - |5645 | 14k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
786.32/786.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.32/786.30 c 776s| 1000k|577280 | 0 | 0.0 |1243M|2816 | - |5645 | 15k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
807.52/807.59 c 797s| 1010k|579471 | 0 | 0.0 |1281M|2816 | - |5645 | 16k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
832.91/832.95 c 822s| 1020k|580043 | 0 | 0.0 |1315M|2816 | - |5645 | 18k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
858.72/858.76 c 848s| 1030k|579696 | 0 | 0.0 |1332M|2816 | - |5645 | 16k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
866.83/866.87 c 856s| 1040k|587414 | 0 | 0.0 |1352M|2816 | - |5645 | 13k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
875.01/875.02 c 864s| 1050k|594842 | 0 | 0.0 |1373M|2816 | - |5645 | 14k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
883.92/883.94 c 872s| 1060k|601893 | 0 | 0.0 |1394M|2816 | - |5645 | 14k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
893.72/893.70 c 882s| 1070k|608567 | 0 | 0.0 |1416M|2816 | - |5645 | 15k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
904.32/904.31 c 892s| 1080k|614894 | 0 | 0.0 |1438M|2816 | - |5645 | 15k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
908.42/908.45 o 4
908.42/908.45 c * 897s| 1083k|613782 | 0 | 0.0 |1428M|2816 | - |5645 | 16k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
915.92/915.97 c 904s| 1090k|617237 | 0 | 0.0 |1445M|2816 | - |5645 | 16k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
929.22/929.25 c 917s| 1100k|622505 | 0 | 0.0 |1474M|2816 | - |5645 | 17k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
943.72/943.71 c 931s| 1110k|627079 | 0 | 0.0 |1502M|2816 | - |5645 | 18k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
958.82/958.84 c 946s| 1120k|631157 | 0 | 0.0 |1527M|2816 | - |5645 | 19k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
975.02/975.08 c 962s| 1130k|634823 | 0 | 0.0 |1551M|2816 | - |5645 | 18k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
989.92/989.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.92/989.97 c 977s| 1140k|639223 | 0 | 0.0 |1573M|2816 | - |5645 | 17k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1001.82/1001.82 c 989s| 1150k|645195 | 0 | 0.0 |1597M|2816 | - |5645 | 17k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1013.42/1013.41 c 1000s| 1160k|651568 | 0 | 0.0 |1624M|2816 | - |5645 | 18k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1025.62/1025.61 c 1012s| 1170k|657695 | 0 | 0.0 |1651M|2816 | - |5645 | 20k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1038.82/1038.85 c 1025s| 1180k|663388 | 0 | 0.0 |1678M|2816 | - |5645 | 22k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1054.83/1054.90 c 1041s| 1190k|667908 | 0 | 0.0 |1704M|2816 | - |5645 | 23k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1068.43/1068.48 c 1055s| 1200k|671179 | 0 | 0.0 |1715M|2816 | - |5645 | 11k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1079.22/1079.24 c 1065s| 1210k|672962 | 0 | 0.0 |1720M|2816 | - |5645 | 10k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1083.32/1083.40 c 1069s| 1220k|680980 | 0 | 0.0 |1729M|2816 | - |5645 |9123 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1088.12/1088.15 c 1074s| 1230k|688531 | 0 | 0.0 |1739M|2816 | - |5645 |9258 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1093.02/1093.07 c 1079s| 1240k|695925 | 0 | 0.0 |1748M|2816 | - |5645 |9494 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1098.22/1098.23 c 1084s| 1250k|703127 | 0 | 0.0 |1758M|2816 | - |5645 |9837 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1103.62/1103.63 c 1089s| 1260k|710126 | 0 | 0.0 |1768M|2816 | - |5645 |9828 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1109.32/1109.30 c 1095s| 1270k|716830 | 0 | 0.0 |1777M|2816 | - |5645 | 10k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1115.13/1115.18 c 1101s| 1280k|723403 | 0 | 0.0 |1787M|2816 | - |5645 | 10k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1121.42/1121.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.42/1121.43 c 1107s| 1290k|729652 | 0 | 0.0 |1797M|2816 | - |5645 | 10k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1127.33/1127.32 c 1112s| 1300k|736132 | 0 | 0.0 |1806M|2816 | - |5645 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1134.43/1134.49 c 1120s| 1310k|741596 | 0 | 0.0 |1816M|2816 | - |5645 | 11k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1141.63/1141.62 c 1127s| 1320k|746998 | 0 | 0.0 |1826M|2816 | - |5645 | 11k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1148.93/1148.98 c 1134s| 1330k|752277 | 0 | 0.0 |1836M|2816 | - |5645 | 11k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1156.42/1156.45 c 1141s| 1340k|757433 | 0 | 0.0 |1846M|2816 | - |5645 | 11k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1163.83/1163.84 c 1148s| 1350k|762550 | 0 | 0.0 |1855M|2816 | - |5645 | 11k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1171.22/1171.27 c 1156s| 1360k|767637 | 0 | 0.0 |1865M|2816 | - |5645 | 11k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1178.53/1178.55 c 1163s| 1370k|772818 | 0 | 0.0 |1873M|2816 | - |5645 | 11k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1185.92/1185.90 c 1170s| 1380k|777972 | 0 | 0.0 |1883M|2816 | - |5645 | 11k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1193.13/1193.13 c 1177s| 1390k|783195 | 0 | 0.0 |1892M|2816 | - |5645 | 11k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1200.73/1200.79 c 1185s| 1400k|788100 | 0 | 0.0 |1900M|2816 | - |5645 | 12k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1208.42/1208.48 c 1192s| 1410k|793035 | 0 | 0.0 |1909M|2816 | - |5645 | 12k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1216.33/1216.38 c 1200s| 1420k|797825 | 0 | 0.0 |1918M|2816 | - |5645 | 13k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1224.82/1224.87 c 1208s| 1430k|801992 | 0 | 0.0 |1927M|2816 | - |5645 | 13k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1236.53/1236.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.53/1236.53 c 1220s| 1440k|803209 | 0 | 0.0 |1931M|2816 | - |5645 | 13k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1240.53/1240.55 c 1224s| 1450k|811287 | 0 | 0.0 |1939M|2816 | - |5645 |9867 | 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1244.63/1244.65 c 1228s| 1460k|819066 | 0 | 0.0 |1948M|2816 | - |5645 | 10k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1249.13/1249.20 c 1232s| 1470k|826478 | 0 | 0.0 |1958M|2816 | - |5645 | 10k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1254.33/1254.35 c 1237s| 1480k|833408 | 0 | 0.0 |1968M|2816 | - |5645 | 11k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1260.93/1260.99 c 1244s| 1490k|839265 | 0 | 0.0 |1978M|2816 | - |5645 | 12k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1268.73/1268.76 c 1252s| 1500k|844223 | 0 | 0.0 |1989M|2816 | - |5645 | 13k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1278.73/1278.75 c 1261s| 1510k|847507 | 0 | 0.0 |1998M|2816 | - |5645 | 15k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1288.33/1288.40 c 1271s| 1520k|850860 | 0 | 0.0 |2003M|2816 | - |5645 | 10k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1293.13/1293.13 c 1276s| 1530k|858573 | 0 | 0.0 |2013M|2816 | - |5645 | 10k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1297.83/1297.84 c 1280s| 1540k|866151 | 0 | 0.0 |2023M|2816 | - |5645 | 10k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1302.83/1302.81 c 1285s| 1550k|873550 | 0 | 0.0 |2033M|2816 | - |5645 | 10k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1307.84/1307.90 c 1290s| 1560k|880778 | 0 | 0.0 |2042M|2816 | - |5645 | 11k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1313.13/1313.18 c 1295s| 1570k|887855 | 0 | 0.0 |2052M|2816 | - |5645 | 11k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1318.84/1318.84 c 1301s| 1580k|894649 | 0 | 0.0 |2062M|2816 | - |5645 | 11k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1325.23/1325.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.23/1325.23 c 1307s| 1590k|900833 | 0 | 0.0 |2072M|2816 | - |5645 | 12k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1332.04/1332.03 c 1314s| 1600k|906705 | 0 | 0.0 |2083M|2816 | - |5645 | 12k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1339.43/1339.40 c 1321s| 1610k|912214 | 0 | 0.0 |2094M|2816 | - |5645 | 13k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1347.43/1347.41 c 1329s| 1620k|917265 | 0 | 0.0 |2104M|2816 | - |5645 | 13k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1356.03/1356.03 c 1337s| 1630k|921822 | 0 | 0.0 |2114M|2816 | - |5645 | 14k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1365.33/1365.39 c 1347s| 1640k|925951 | 0 | 0.0 |2124M|2816 | - |5645 | 15k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1376.04/1376.04 c 1357s| 1650k|929169 | 0 | 0.0 |2133M|2816 | - |5645 | 17k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1389.93/1389.97 c 1371s| 1660k|930049 | 0 | 0.0 |2139M|2816 | - |5645 | 18k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1396.33/1396.35 c 1377s| 1670k|936454 | 0 | 0.0 |2146M|2816 | - |5645 | 10k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1401.23/1401.21 c 1382s| 1680k|943974 | 0 | 0.0 |2155M|2816 | - |5645 | 10k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1406.34/1406.37 c 1387s| 1690k|951222 | 0 | 0.0 |2165M|2816 | - |5645 | 10k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1411.83/1411.81 c 1392s| 1700k|958238 | 0 | 0.0 |2175M|2816 | - |5645 | 10k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1417.43/1417.47 c 1398s| 1710k|965085 | 0 | 0.0 |2185M|2816 | - |5645 | 10k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1423.23/1423.28 c 1404s| 1720k|971642 | 0 | 0.0 |2195M|2816 | - |5645 | 10k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1429.33/1429.33 c 1410s| 1730k|977996 | 0 | 0.0 |2205M|2816 | - |5645 | 11k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1435.43/1435.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.43/1435.45 c 1416s| 1740k|984283 | 0 | 0.0 |2214M|2816 | - |5645 | 11k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1441.93/1441.96 c 1422s| 1750k|990201 | 0 | 0.0 |2224M|2816 | - |5645 | 11k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1448.53/1448.55 c 1428s| 1760k|996155 | 0 | 0.0 |2234M|2816 | - |5645 | 11k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1455.13/1455.20 c 1435s| 1770k| 1002k| 0 | 0.0 |2243M|2816 | - |5645 | 12k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1462.33/1462.39 c 1442s| 1780k| 1007k| 0 | 0.0 |2253M|2816 | - |5645 | 12k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1469.64/1469.62 c 1449s| 1790k| 1012k| 0 | 0.0 |2262M|2816 | - |5645 | 12k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1477.63/1477.60 c 1457s| 1800k| 1017k| 0 | 0.0 |2272M|2816 | - |5645 | 13k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1486.23/1486.27 c 1466s| 1810k| 1021k| 0 | 0.0 |2280M|2816 | - |5645 | 14k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1497.83/1497.85 c 1477s| 1820k| 1023k| 0 | 0.0 |2287M|2816 | - |5645 | 16k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1502.84/1502.81 c 1482s| 1830k| 1030k| 0 | 0.0 |2294M|2816 | - |5645 | 10k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1507.64/1507.62 c 1487s| 1840k| 1038k| 0 | 0.0 |2304M|2816 | - |5645 | 10k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1512.73/1512.79 c 1492s| 1850k| 1045k| 0 | 0.0 |2313M|2816 | - |5645 | 11k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1518.44/1518.49 c 1497s| 1860k| 1052k| 0 | 0.0 |2323M|2816 | - |5645 | 12k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1524.84/1524.83 c 1504s| 1870k| 1058k| 0 | 0.0 |2333M|2816 | - |5645 | 13k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1531.64/1531.69 c 1510s| 1880k| 1064k| 0 | 0.0 |2343M|2816 | - |5645 | 14k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1539.74/1539.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.74/1539.70 c 1518s| 1890k| 1069k| 0 | 0.0 |2352M|2816 | - |5645 | 15k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1549.54/1549.51 c 1528s| 1900k| 1073k| 0 | 0.0 |2361M|2816 | - |5645 | 16k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1559.54/1559.58 c 1538s| 1910k| 1076k| 0 | 0.0 |2365M|2816 | - |5645 | 11k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1563.84/1563.89 c 1542s| 1920k| 1084k| 0 | 0.0 |2374M|2816 | - |5645 | 10k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1568.44/1568.47 c 1546s| 1930k| 1091k| 0 | 0.0 |2384M|2816 | - |5645 | 11k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1573.54/1573.55 c 1551s| 1940k| 1099k| 0 | 0.0 |2394M|2816 | - |5645 | 11k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1578.94/1578.95 c 1557s| 1950k| 1106k| 0 | 0.0 |2404M|2816 | - |5645 | 12k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1585.04/1585.06 c 1563s| 1960k| 1112k| 0 | 0.0 |2414M|2816 | - |5645 | 13k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1591.65/1591.60 c 1569s| 1970k| 1118k| 0 | 0.0 |2423M|2816 | - |5645 | 13k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1599.53/1599.50 c 1577s| 1980k| 1123k| 0 | 0.0 |2433M|2816 | - |5645 | 14k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1608.34/1608.32 c 1586s| 1990k| 1127k| 0 | 0.0 |2442M|2816 | - |5645 | 15k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1620.54/1620.57 c 1598s| 2000k| 1129k| 0 | 0.0 |2450M|2816 | - |5645 | 19k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1626.74/1626.70 c 1604s| 2010k| 1136k| 0 | 0.0 |2455M|2816 | - |5645 | 10k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1631.94/1631.96 c 1609s| 2020k| 1143k| 0 | 0.0 |2466M|2816 | - |5645 | 11k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1637.34/1637.38 c 1614s| 2030k| 1150k| 0 | 0.0 |2475M|2816 | - |5645 | 12k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1643.35/1643.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.35/1643.35 c 1620s| 2040k| 1157k| 0 | 0.0 |2485M|2816 | - |5645 | 13k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1650.94/1650.92 c 1628s| 2050k| 1163k| 0 | 0.0 |2496M|2816 | - |5645 | 14k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1659.74/1659.77 c 1636s| 2060k| 1167k| 0 | 0.0 |2506M|2816 | - |5645 | 16k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1670.84/1670.84 c 1647s| 2070k| 1171k| 0 | 0.0 |2514M|2816 | - |5645 | 18k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1680.34/1680.38 c 1657s| 2080k| 1175k| 0 | 0.0 |2519M|2816 | - |5645 | 13k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1685.14/1685.14 c 1661s| 2090k| 1183k| 0 | 0.0 |2528M|2816 | - |5645 | 11k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1690.04/1690.06 c 1666s| 2100k| 1190k| 0 | 0.0 |2537M|2816 | - |5645 | 12k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1695.34/1695.30 c 1671s| 2110k| 1198k| 0 | 0.0 |2547M|2816 | - |5645 | 12k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1701.44/1701.43 c 1677s| 2120k| 1204k| 0 | 0.0 |2557M|2816 | - |5645 | 13k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1708.64/1708.62 c 1685s| 2130k| 1210k| 0 | 0.0 |2567M|2816 | - |5645 | 15k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1717.05/1717.05 c 1693s| 2140k| 1215k| 0 | 0.0 |2576M|2816 | - |5645 | 16k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1728.05/1728.02 c 1704s| 2150k| 1218k| 0 | 0.0 |2584M|2816 | - |5645 | 17k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1735.65/1735.64 c 1711s| 2160k| 1224k| 0 | 0.0 |2589M|2816 | - |5645 | 11k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1740.54/1740.56 c 1716s| 2170k| 1232k| 0 | 0.0 |2599M|2816 | - |5645 | 11k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1746.04/1746.06 c 1721s| 2180k| 1239k| 0 | 0.0 |2609M|2816 | - |5645 | 11k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1751.84/1751.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.84/1751.88 c 1727s| 2190k| 1245k| 0 | 0.0 |2619M|2816 | - |5645 | 11k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1757.75/1757.76 c 1733s| 2200k| 1252k| 0 | 0.0 |2628M|2816 | - |5645 | 12k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1763.94/1763.96 c 1739s| 2210k| 1258k| 0 | 0.0 |2638M|2816 | - |5645 | 12k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1770.35/1770.35 c 1745s| 2220k| 1265k| 0 | 0.0 |2648M|2816 | - |5645 | 12k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1777.25/1777.24 c 1752s| 2230k| 1271k| 0 | 0.0 |2658M|2816 | - |5645 | 13k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1784.65/1784.60 c 1759s| 2240k| 1276k| 0 | 0.0 |2667M|2816 | - |5645 | 13k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1792.44/1792.40 c 1767s| 2250k| 1282k| 0 | 0.0 |2677M|2816 | - |5645 | 14k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1774.63
1800.05/1800.00 c Solving Nodes : 2259320
1800.05/1800.00 c Primal Bound : +4.00000000000000e+00 (39 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.07 s SATISFIABLE
1800.05/1800.07 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.05/1800.07 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.07 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.05/1800.07 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.05/1800.07 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126
1800.05/1800.07 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/1800.07 v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.07 v -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.07 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.07 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2
1800.05/1800.07 v -x1
1800.05/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.07 c Solving Time : 1774.63
1800.05/1800.07 c Original Problem :
1800.05/1800.07 c Problem name : HOME/instance-2693692-1277930481.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.07 c Presolved Problem :
1800.05/1800.07 c Problem name : t_HOME/instance-2693692-1277930481.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5414 initial, 23585 maximal
1800.05/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.05/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c root node : - 2621 - - 5242 - - - -
1800.05/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 2707 0 5975469 0 1610006 159 7947295 0 0 0
1800.05/1800.07 c linear : 2707 0 7411926 0 1913649 463191 42460575 0 0 0
1800.05/1800.07 c logicor : 0+ 0 3333197 0 0 96099 1646387 0 0 0
1800.05/1800.07 c countsols : 0 0 0 0 1913677 0 0 0 0 0
1800.05/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c indicator : 33.56 0.00 19.29 0.00 14.27
1800.05/1800.07 c linear : 421.78 0.00 419.45 0.00 2.33
1800.05/1800.07 c logicor : 236.74 0.00 236.74 0.00 0.00
1800.05/1800.07 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.05/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.07 c vbounds : 1.69 2 0 0
1800.05/1800.07 c rootredcost : 1.60 0 0 0
1800.05/1800.07 c pseudoobj : 405.73 7415431 3247 7913858
1800.05/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.07 c propagation : 42.28 562537 562529 2604870 23.2 306881 10.7 -
1800.05/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c pseudo solution : 0.05 145 145 505 21.9 416 9.4 -
1800.05/1800.07 c applied globally : - - - 1943671 20.4 - - -
1800.05/1800.07 c applied locally : - - - 0 0.0 - - -
1800.05/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.07 c redcost : 0.00 0 0 0 0 0
1800.05/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.07 c intobj : 0.00 0 0 0 0 0
1800.05/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.07 c gomory : 0.00 0 0 0 0 0
1800.05/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.07 c cmir : 0.00 0 0 0 0 0
1800.05/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.07 c clique : 0.00 0 0 0 0 0
1800.05/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.07 c mcf : 0.00 0 0 0 0 0
1800.05/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.07 c Pricers : Time Calls Vars
1800.05/1800.07 c problem variables: 0.00 0 0
1800.05/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c inference : 43.98 1913641 0 0 0 0 3827282
1800.05/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c random : 0.00 0 0 0 0 0 0
1800.05/1800.07 c Primal Heuristics : Time Calls Found
1800.05/1800.07 c LP solutions : 0.00 - 0
1800.05/1800.07 c pseudo solutions : 0.10 - 36
1800.05/1800.07 c oneopt : 0.87 0 0
1800.05/1800.07 c trivial : 0.08 2 2
1800.05/1800.07 c simplerounding : 0.00 0 0
1800.05/1800.07 c zirounding : 0.00 0 0
1800.05/1800.07 c rounding : 0.00 0 0
1800.05/1800.07 c shifting : 0.00 0 0
1800.05/1800.07 c intshifting : 0.00 0 0
1800.05/1800.07 c twoopt : 0.00 0 0
1800.05/1800.07 c fixandinfer : 0.00 0 0
1800.05/1800.07 c feaspump : 0.00 0 0
1800.05/1800.07 c coefdiving : 0.00 0 0
1800.05/1800.07 c pscostdiving : 0.00 0 0
1800.05/1800.07 c fracdiving : 0.00 0 0
1800.05/1800.07 c veclendiving : 0.00 0 0
1800.05/1800.07 c intdiving : 0.00 0 0
1800.05/1800.07 c actconsdiving : 0.00 0 0
1800.05/1800.07 c objpscostdiving : 0.00 0 0
1800.05/1800.07 c rootsoldiving : 0.00 0 0
1800.05/1800.07 c linesearchdiving : 0.00 0 0
1800.05/1800.07 c guideddiving : 0.00 0 0
1800.05/1800.07 c octane : 0.00 0 0
1800.05/1800.07 c rens : 0.00 0 0
1800.05/1800.07 c rins : 0.00 0 0
1800.05/1800.07 c localbranching : 0.00 0 0
1800.05/1800.07 c mutation : 0.00 0 0
1800.05/1800.07 c crossover : 0.00 0 0
1800.05/1800.07 c dins : 0.00 0 0
1800.05/1800.07 c undercover : 0.00 0 0
1800.05/1800.07 c nlp : 0.60 0 0
1800.05/1800.07 c trysol : 0.47 1 1
1800.05/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.07 c (at root node) : - 0 0 0.00 -
1800.05/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.07 c B&B Tree :
1800.05/1800.07 c number of runs : 1
1800.05/1800.07 c nodes : 2259320
1800.05/1800.07 c nodes (total) : 2259320
1800.05/1800.07 c nodes left : 1286989
1800.05/1800.07 c max depth : 2816
1800.05/1800.07 c max depth (total): 2816
1800.05/1800.07 c backtracks : 308226 (13.6%)
1800.05/1800.07 c delayed cutoffs : 260341
1800.05/1800.07 c repropagations : 1298067 (17481726 domain reductions, 217198 cutoffs)
1800.05/1800.07 c avg switch length: 43.82
1800.05/1800.07 c switching time : 518.25
1800.05/1800.07 c Solution :
1800.05/1800.07 c Solutions found : 39 (37 improvements)
1800.05/1800.07 c First Solution : +1.36624000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.07 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1083877 nodes, 896.51 seconds, depth 224, found by <relaxation>)
1800.05/1800.07 c Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Gap : infinite
1800.05/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693692-1277930481/watcher-2693692-1277930481 -o /tmp/evaluation-result-2693692-1277930481/solver-2693692-1277930481 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693692-1277930481.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.92 1.98 1.99 4/178 13582 /proc/meminfo: memFree=31813684/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=8604 CPUtime=0 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 1636 0 0 0 0 0 0 0 25 0 1 0 134345608 8810496 1558 4089446400 4194304 7136930 140737050924720 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13582/statm: 2151 1558 275 719 0 1430 0 [startup+0.00726699 s] /proc/loadavg: 1.92 1.98 1.99 4/178 13582 /proc/meminfo: memFree=31813684/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=9240 CPUtime=0 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 1791 0 0 0 0 0 0 0 25 0 1 0 134345608 9461760 1713 4089446400 4194304 7136930 140737050924720 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13582/statm: 2310 1736 275 719 0 1589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9240 [startup+0.10025 s] /proc/loadavg: 1.92 1.98 1.99 4/178 13582 /proc/meminfo: memFree=31813684/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=33680 CPUtime=0.09 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134345608 34488320 7535 4089446400 4194304 7136930 140737050924720 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 8420 7535 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300214 s] /proc/loadavg: 1.92 1.98 1.99 4/178 13582 /proc/meminfo: memFree=31813684/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=36500 CPUtime=0.29 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 9241 0 0 0 28 1 0 0 18 0 1 0 134345608 37376000 8295 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 9125 8295 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700139 s] /proc/loadavg: 1.92 1.98 1.99 4/178 13582 /proc/meminfo: memFree=31813684/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=37640 CPUtime=0.69 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 9516 0 0 0 68 1 0 0 18 0 1 0 134345608 38543360 8570 4089446400 4194304 7136930 140737050924720 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 9410 8570 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50099 s] /proc/loadavg: 1.92 1.98 1.99 3/179 13583 /proc/meminfo: memFree=31778584/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=42908 CPUtime=1.49 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 10851 0 0 0 146 3 0 0 19 0 1 0 134345608 43937792 9905 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 10727 9905 390 719 0 10006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42908 [startup+3.10071 s] /proc/loadavg: 1.92 1.98 1.99 3/179 13583 /proc/meminfo: memFree=31774616/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=46468 CPUtime=3.09 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 11742 0 0 0 303 6 0 0 24 0 1 0 134345608 47583232 10796 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 11617 10796 391 719 0 10896 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46468 [startup+6.30012 s] /proc/loadavg: 1.93 1.98 1.99 3/179 13583 /proc/meminfo: memFree=31762464/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=60488 CPUtime=6.29 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 15119 0 0 0 616 13 0 0 25 0 1 0 134345608 61939712 14173 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 15122 14173 391 719 0 14401 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60488 [startup+12.701 s] /proc/loadavg: 1.93 1.98 1.99 3/179 13583 /proc/meminfo: memFree=31740968/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=79656 CPUtime=12.69 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 19865 0 0 0 1245 24 0 0 25 0 1 0 134345608 81567744 18919 4089446400 4194304 7136930 140737050924720 18446744073709551615 4407919 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 19914 18919 391 719 0 19193 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79656 [startup+25.5006 s] /proc/loadavg: 1.95 1.98 1.99 3/179 13583 /proc/meminfo: memFree=31689028/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=132692 CPUtime=25.49 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 32642 0 0 0 2508 41 0 0 25 0 1 0 134345608 135876608 31696 4089446400 4194304 7136930 140737050924720 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 33173 31696 391 719 0 32452 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 132692 [startup+51.101 s] /proc/loadavg: 1.96 1.98 1.99 3/179 13584 /proc/meminfo: memFree=31617752/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=207672 CPUtime=51.09 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 50519 0 0 0 5018 91 0 0 25 0 1 0 134345608 212656128 49573 4089446400 4194304 7136930 140737050924720 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 51918 49573 391 719 0 51197 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 207672 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/179 13585 /proc/meminfo: memFree=31514912/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=309308 CPUtime=102.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 75795 0 0 0 10058 172 0 0 25 0 1 0 134345608 316731392 74849 4089446400 4194304 7136930 140737050924720 18446744073709551615 5507037 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 77327 74849 391 719 0 76606 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 309308 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13587 /proc/meminfo: memFree=31401656/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=429612 CPUtime=162.29 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 104061 0 0 0 15968 261 0 0 25 0 1 0 134345608 439922688 103115 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 107403 103115 391 719 0 106682 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 429612 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13589 /proc/meminfo: memFree=31287752/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=548832 CPUtime=222.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 132430 0 0 0 21875 355 0 0 25 0 1 0 134345608 562003968 131484 4089446400 4194304 7136930 140737050924720 18446744073709551615 4975626 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 137208 131484 391 719 0 136487 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 548832 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13590 /proc/meminfo: memFree=31173872/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=662652 CPUtime=282.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 160731 0 0 0 27780 450 0 0 25 0 1 0 134345608 678555648 159785 4089446400 4194304 7136930 140737050924720 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 165663 159785 391 719 0 164942 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 662652 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13592 /proc/meminfo: memFree=31075360/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=763032 CPUtime=342.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 185602 0 0 0 33696 534 0 0 25 0 1 0 134345608 781344768 184656 4089446400 4194304 7136930 140737050924720 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 190758 184656 391 719 0 190037 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 763032 [startup+402.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13593 /proc/meminfo: memFree=30976356/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=861932 CPUtime=402.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 210002 0 0 0 39606 624 0 0 25 0 1 0 134345608 882618368 209056 4089446400 4194304 7136930 140737050924720 18446744073709551615 6349885 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 215483 209056 391 719 0 214762 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 861932 [startup+462.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13595 /proc/meminfo: memFree=30899780/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=946252 CPUtime=462.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 229140 0 0 0 45529 701 0 0 25 0 1 0 134345608 968962048 228194 4089446400 4194304 7136930 140737050924720 18446744073709551615 4702677 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 236563 228194 391 719 0 235842 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 946252 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13597 /proc/meminfo: memFree=30845928/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=1000940 CPUtime=522.31 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 242801 0 0 0 51465 766 0 0 25 0 1 0 134345608 1024962560 241855 4089446400 4194304 7136930 140737050924720 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 250235 241855 391 719 0 249514 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1000940 [startup+582.3 s] /proc/loadavg: 2.05 2.00 2.00 3/179 13598 /proc/meminfo: memFree=30805088/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=1040864 CPUtime=582.3 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 252697 0 0 0 57403 827 0 0 25 0 1 0 134345608 1065844736 251751 4089446400 4194304 7136930 140737050924720 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 260216 251751 391 719 0 259495 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1040864 [startup+642.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 13600 /proc/meminfo: memFree=30763152/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=1086664 CPUtime=642.31 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 263151 0 0 0 63346 885 0 0 25 0 1 0 134345608 1112743936 262205 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 271666 262205 391 719 0 270945 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1086664 [startup+702.3 s] ################ # More data... # ################ /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 475582 0 0 0 104856 1376 0 0 25 0 1 0 134345608 2091085824 474636 4089446400 4194304 7136930 140737050924720 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 510519 474636 391 719 0 509798 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2042076 [startup+1122.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 13613 /proc/meminfo: memFree=29823680/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2131420 CPUtime=1122.33 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 497935 0 0 0 110754 1479 0 0 25 0 1 0 134345608 2182574080 496989 4089446400 4194304 7136930 140737050924720 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 532855 496989 391 719 0 532134 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 2131420 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 4/179 13623 /proc/meminfo: memFree=29738664/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2211072 CPUtime=1182.32 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 518143 0 0 0 116661 1571 0 0 25 0 1 0 134345608 2264137728 517197 4089446400 4194304 7136930 140737050924720 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 552768 517197 391 719 0 552047 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2211072 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13625 /proc/meminfo: memFree=29674444/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2276916 CPUtime=1242.33 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 534578 0 0 0 122566 1667 0 0 25 0 1 0 134345608 2331561984 533632 4089446400 4194304 7136930 140737050924720 18446744073709551615 4947417 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 569229 533632 391 719 0 568508 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2276916 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13626 /proc/meminfo: memFree=29584620/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2364172 CPUtime=1302.33 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 556636 0 0 0 128460 1773 0 0 25 0 1 0 134345608 2420912128 555690 4089446400 4194304 7136930 140737050924720 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 591043 555690 391 719 0 590322 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2364172 [startup+1362.3 s] /proc/loadavg: 2.12 2.03 2.01 3/197 13720 /proc/meminfo: memFree=29318228/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2455996 CPUtime=1362.34 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 579882 0 0 0 134361 1873 0 0 25 0 1 0 134345608 2514939904 578936 4089446400 4194304 7136930 140737050924720 18446744073709551615 4210300 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 613999 578936 391 719 0 613278 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2455996 [startup+1422.31 s] /proc/loadavg: 2.04 2.02 2.00 3/179 13923 /proc/meminfo: memFree=29357988/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2525496 CPUtime=1422.34 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 597360 0 0 0 140267 1967 0 0 25 0 1 0 134345608 2586107904 596414 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 631374 596414 391 719 0 630653 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2525496 [startup+1482.3 s] /proc/loadavg: 1.85 1.97 1.98 3/197 14086 /proc/meminfo: memFree=29170788/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2619932 CPUtime=1482.34 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 616769 0 0 0 146168 2066 0 0 25 0 1 0 134345608 2682810368 615823 4089446400 4194304 7136930 140737050924720 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 654983 615823 391 719 0 654262 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2619932 [startup+1542.3 s] /proc/loadavg: 1.94 1.97 1.98 3/179 14116 /proc/meminfo: memFree=29126428/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2690976 CPUtime=1542.34 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 634717 0 0 0 152072 2162 0 0 25 0 1 0 134345608 2755559424 633771 4089446400 4194304 7136930 140737050924720 18446744073709551615 4210033 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 672744 633771 391 719 0 672023 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2690976 [startup+1602.3 s] /proc/loadavg: 1.98 1.97 1.98 3/179 14117 /proc/meminfo: memFree=29018008/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2774120 CPUtime=1602.34 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 655861 0 0 0 157980 2254 0 0 25 0 1 0 134345608 2840698880 654915 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 693530 654915 391 719 0 692809 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2774120 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 1.98 3/179 14119 /proc/meminfo: memFree=28922100/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2845560 CPUtime=1662.34 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 674041 0 0 0 163895 2339 0 0 25 0 1 0 134345608 2913853440 673095 4089446400 4194304 7136930 140737050924720 18446744073709551615 5951022 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 711390 673095 391 719 0 710669 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2845560 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.98 3/179 14121 /proc/meminfo: memFree=28829180/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=2923652 CPUtime=1722.35 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 693316 0 0 0 169808 2427 0 0 25 0 1 0 134345608 2993819648 692370 4089446400 4194304 7136930 140737050924720 18446744073709551615 5000537 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 730913 692370 391 719 0 730192 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2923652 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 1.98 3/179 14122 /proc/meminfo: memFree=28721616/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=3010616 CPUtime=1782.35 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 715248 0 0 0 175718 2517 0 0 25 0 1 0 134345608 3082870784 714302 4089446400 4194304 7136930 140737050924720 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 752654 714302 391 719 0 751933 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 3010616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.97 1.98 3/179 14123 /proc/meminfo: memFree=28692952/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=3030032 CPUtime=1800.05 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 720122 0 0 0 177465 2540 0 0 25 0 1 0 134345608 3102752768 719176 4089446400 4194304 7136930 140737050924720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13582/statm: 757508 719176 391 719 0 756787 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 3030032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13582 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.99 1.97 1.98 3/180 14124 /proc/meminfo: memFree=28692076/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=3030032 CPUtime=1801.44 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 720128 0 0 0 177604 2540 0 0 19 0 1 0 134345608 3102752768 719182 4089446400 4194304 7136930 140737050924720 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13582/statm: 757508 719182 397 719 0 756787 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 3030032 [startup+1801.81 s] /proc/loadavg: 1.99 1.97 1.98 3/180 14124 /proc/meminfo: memFree=28691948/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=3030032 CPUtime=1801.85 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 720128 0 0 0 177645 2540 0 0 20 0 1 0 134345608 3102752768 719182 4089446400 4194304 7136930 140737050924720 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13582/statm: 757508 719182 397 719 0 756787 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 3030032 [startup+1802 s] /proc/loadavg: 1.99 1.97 1.98 3/180 14124 /proc/meminfo: memFree=28691948/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=3030032 CPUtime=1802.04 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4202496 720128 0 0 0 177664 2540 0 0 21 0 1 0 134345608 3102752768 719182 4089446400 4194304 7136930 140737050924720 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13582/statm: 757508 719182 397 719 0 756787 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 3030032 [startup+1802.1 s] /proc/loadavg: 1.99 1.97 1.98 3/180 14124 /proc/meminfo: memFree=28691948/32951124 swapFree=67111528/67111528 [pid=13582] ppid=13580 vsize=0 CPUtime=1802.14 /proc/13582/stat : 13582 (pbscip.linux.x8) R 13580 13582 13450 0 -1 4203524 720128 0 0 0 177665 2549 0 0 21 0 1 0 134345608 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 /proc/13582/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.16 CPU user time (s): 1776.66 CPU system time (s): 25.5001 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3030032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.66 system time used= 25.5001 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 720128 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= 944 runsolver used 2.58661 second user time and 5.88011 second system time The end
Begin job on node104 at 2010-06-30 22:41:21 IDJOB=2693692 IDBENCH=79306 IDSOLVER=1206 FILE ID=node104/2693692-1277930481 PBS_JOBID= 11197426 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693692-1277930481/watcher-2693692-1277930481 -o /tmp/evaluation-result-2693692-1277930481/solver-2693692-1277930481 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693692-1277930481.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= da8b4d3fc4733201ddcbc92154231f9d RANDOM SEED=1334822250 node104.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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.12 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.839 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.839 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.84 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.839 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.839 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31814336 kB Buffers: 208024 kB Cached: 702020 kB SwapCached: 0 kB Active: 441216 kB Inactive: 554784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31814336 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 85532 kB Mapped: 15420 kB Slab: 78452 kB PageTables: 4772 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 231672 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 node104 at 2010-06-30 23:11:23