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.2 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo |
| MD5SUM | 96d1f19cba40c7363abd0128bfda9b7c |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 185.626 |
| 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 | 137973 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137972 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 649 |
| 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-2693587-1277925474.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 137972
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.379720e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.09/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379720e+05 | Inf
2.09/2.12 o 572
2.09/2.12 c * 2.0s| 6636 | 5020 | 0 | 0.0 | 23M|2816 | - |5645 |6953 | 0 | 0 | 0 |1539 | 0 | 0.000000e+00 | 5.720000e+02 | Inf
2.09/2.12 o 541
2.09/2.12 c * 2.0s| 6637 | 5017 | 0 | 0.0 | 23M|2816 | - |5645 |6953 | 0 | 0 | 0 |1539 | 0 | 0.000000e+00 | 5.410000e+02 | Inf
2.09/2.19 o 499
2.09/2.19 c * 2.0s| 6781 | 5154 | 0 | 0.0 | 23M|2816 | - |5645 |6953 | 0 | 0 | 0 |1539 | 0 | 0.000000e+00 | 4.990000e+02 | Inf
2.20/2.26 o 432
2.20/2.26 c * 2.1s| 6921 | 5279 | 0 | 0.0 | 23M|2816 | - |5645 |6963 | 0 | 0 | 0 |1549 | 0 | 0.000000e+00 | 4.320000e+02 | Inf
2.29/2.37 o 427
2.29/2.37 c * 2.2s| 7161 | 5508 | 0 | 0.0 | 23M|2816 | - |5645 |6983 | 0 | 0 | 0 |1569 | 0 | 0.000000e+00 | 4.270000e+02 | Inf
2.39/2.47 o 396
2.39/2.47 c * 2.3s| 7413 | 5724 | 0 | 0.0 | 24M|2816 | - |5645 |7013 | 0 | 0 | 0 |1599 | 0 | 0.000000e+00 | 3.960000e+02 | Inf
2.39/2.47 o 377
2.39/2.47 c * 2.3s| 7414 | 5723 | 0 | 0.0 | 24M|2816 | - |5645 |7013 | 0 | 0 | 0 |1599 | 0 | 0.000000e+00 | 3.770000e+02 | Inf
2.49/2.53 o 372
2.49/2.53 c * 2.4s| 7537 | 5822 | 0 | 0.0 | 24M|2816 | - |5645 |7033 | 0 | 0 | 0 |1619 | 0 | 0.000000e+00 | 3.720000e+02 | Inf
2.49/2.57 o 351
2.49/2.57 c * 2.4s| 7647 | 5927 | 0 | 0.0 | 24M|2816 | - |5645 |7032 | 0 | 0 | 0 |1619 | 0 | 0.000000e+00 | 3.510000e+02 | Inf
2.49/2.58 o 310
2.49/2.58 c * 2.4s| 7651 | 5895 | 0 | 0.0 | 24M|2816 | - |5645 |7040 | 0 | 0 | 0 |1627 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
2.59/2.63 o 297
2.59/2.63 c * 2.5s| 7750 | 5983 | 0 | 0.0 | 24M|2816 | - |5645 |7050 | 0 | 0 | 0 |1637 | 0 | 0.000000e+00 | 2.970000e+02 | Inf
2.69/2.72 o 284
2.69/2.72 c * 2.5s| 7948 | 6151 | 0 | 0.0 | 24M|2816 | - |5645 |7091 | 0 | 0 | 0 |1679 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
2.89/2.90 o 281
2.89/2.90 c * 2.7s| 8439 | 6608 | 0 | 0.0 | 25M|2816 | - |5645 |7165 | 0 | 0 | 0 |1762 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.89/2.94 o 265
2.89/2.94 c * 2.8s| 8555 | 6670 | 0 | 0.0 | 25M|2816 | - |5645 |7173 | 0 | 0 | 0 |1772 | 0 | 0.000000e+00 | 2.650000e+02 | Inf
2.89/2.94 o 216
2.89/2.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.94 c * 2.8s| 8556 | 6614 | 0 | 0.0 | 25M|2816 | - |5645 |7173 | 0 | 0 | 0 |1772 | 0 | 0.000000e+00 | 2.160000e+02 | Inf
2.99/3.05 o 207
2.99/3.05 c * 2.9s| 8857 | 6856 | 0 | 0.0 | 25M|2816 | - |5645 |7262 | 0 | 0 | 0 |1876 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
3.39/3.42 c 3.2s| 10000 | 7857 | 0 | 0.0 | 26M|2816 | - |5645 |7477 | 0 | 0 | 0 |2511 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
6.69/6.76 c 6.3s| 20000 | 16098 | 0 | 0.0 | 37M|2816 | - |5645 |7840 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
10.99/11.02 c 10.4s| 30000 | 23337 | 0 | 0.0 | 48M|2816 | - |5645 |8980 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
13.89/13.98 o 205
13.89/13.98 c *13.2s| 34701 | 26049 | 0 | 0.0 | 54M|2816 | - |5645 |9488 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
15.29/15.37 o 190
15.29/15.37 c *14.6s| 36999 | 28202 | 0 | 0.0 | 57M|2816 | - |5645 |8906 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
15.79/15.81 o 186
15.79/15.81 c *15.0s| 37624 | 28762 | 0 | 0.0 | 58M|2816 | - |5645 |8883 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
15.79/15.81 o 175
15.79/15.81 c *15.0s| 37625 | 28662 | 0 | 0.0 | 58M|2816 | - |5645 |8883 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
16.79/16.80 o 171
16.79/16.80 c *15.9s| 38915 | 29787 | 0 | 0.0 | 61M|2816 | - |5645 |8902 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
16.79/16.88 o 118
16.79/16.88 c *16.0s| 39065 | 29175 | 0 | 0.0 | 57M|2816 | - |5645 |8868 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
16.79/16.89 o 99
16.79/16.89 c *16.0s| 39066 | 28758 | 0 | 0.0 | 56M|2816 | - |5645 |8868 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
16.89/16.96 o 98
16.89/16.96 c *16.1s| 39150 | 28788 | 0 | 0.0 | 56M|2816 | - |5645 |8832 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
16.89/16.96 o 94
16.89/16.96 c *16.1s| 39151 | 28523 | 0 | 0.0 | 56M|2816 | - |5645 |8832 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
17.49/17.60 c 16.7s| 40000 | 29298 | 0 | 0.0 | 58M|2816 | - |5645 |8570 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
17.89/17.97 o 89
17.89/17.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.89/17.97 c *17.1s| 40472 | 29333 | 0 | 0.0 | 59M|2816 | - |5645 |8439 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
18.49/18.56 o 87
18.49/18.56 c *17.6s| 41289 | 29989 | 0 | 0.0 | 60M|2816 | - |5645 |7879 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
18.49/18.57 o 80
18.49/18.57 c *17.6s| 41333 | 29657 | 0 | 0.0 | 59M|2816 | - |5645 |7879 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
18.49/18.57 o 65
18.49/18.57 c *17.6s| 41334 | 28719 | 0 | 0.0 | 58M|2816 | - |5645 |7879 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
19.38/19.48 o 56
19.38/19.48 c *18.5s| 42611 | 29536 | 0 | 0.0 | 59M|2816 | - |5645 |7326 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
20.38/20.46 o 55
20.38/20.46 c *19.4s| 44309 | 31013 | 0 | 0.0 | 63M|2816 | - |5645 |7151 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
22.89/22.90 o 54
22.89/22.90 c *21.8s| 48343 | 34315 | 0 | 0.0 | 70M|2816 | - |5645 |7521 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
23.09/23.16 o 47
23.09/23.16 c *22.1s| 48846 | 34442 | 0 | 0.0 | 70M|2816 | - |5645 |7592 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
23.49/23.58 o 31
23.49/23.58 c *22.4s| 49580 | 33745 | 0 | 0.0 | 67M|2816 | - |5645 |7869 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
23.88/23.92 c 22.8s| 50000 | 34011 | 0 | 0.0 | 68M|2816 | - |5645 |8265 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
28.29/28.39 c 27.0s| 60000 | 42581 | 0 | 0.0 | 80M|2816 | - |5645 |8782 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
32.58/32.61 c 31.0s| 70000 | 51069 | 0 | 0.0 | 92M|2816 | - |5645 |9409 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
36.68/36.70 c 34.9s| 80000 | 59355 | 0 | 0.0 | 104M|2816 | - |5645 | 10k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
40.39/40.41 c 38.4s| 90000 | 67714 | 0 | 0.0 | 114M|2816 | - |5645 |8902 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
44.38/44.47 c 42.2s|100000 | 75523 | 0 | 0.0 | 125M|2816 | - |5645 |9802 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
48.68/48.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.68/48.75 c 46.2s|110000 | 83176 | 0 | 0.0 | 135M|2816 | - |5645 | 10k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
53.09/53.14 c 50.4s|120000 | 90695 | 0 | 0.0 | 145M|2816 | - |5645 | 11k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
57.98/58.05 c 55.0s|130000 | 97852 | 0 | 0.0 | 156M|2816 | - |5645 | 11k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
63.28/63.32 c 60.0s|140000 |104723 | 0 | 0.0 | 168M|2816 | - |5645 | 11k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
68.98/69.05 c 65.5s|150000 |111283 | 0 | 0.0 | 179M|2816 | - |5645 | 12k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
74.98/75.03 c 71.2s|160000 |117663 | 0 | 0.0 | 191M|2816 | - |5645 | 12k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
80.98/81.07 c 77.0s|170000 |123983 | 0 | 0.0 | 202M|2816 | - |5645 | 13k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
87.47/87.59 c 83.2s|180000 |130003 | 0 | 0.0 | 214M|2816 | - |5645 | 13k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
94.48/94.57 c 89.9s|190000 |135732 | 0 | 0.0 | 225M|2816 | - |5645 | 14k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
102.57/102.63 c 97.7s|200000 |140748 | 0 | 0.0 | 237M|2816 | - |5645 | 15k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
111.67/111.73 c 106s|210000 |145234 | 0 | 0.0 | 248M|2816 | - |5645 | 16k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
122.47/122.55 c 117s|220000 |148782 | 0 | 0.0 | 259M|2816 | - |5645 | 18k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
136.46/136.52 c 131s|230000 |150966 | 0 | 0.0 | 271M|2816 | - |5645 | 21k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
146.67/146.75 c 140s|240000 |156726 | 0 | 0.0 | 275M|2816 | - |5645 |8028 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
147.16/147.27 o 29
147.16/147.27 c * 141s|241079 |157524 | 0 | 0.0 | 276M|2816 | - |5645 |7922 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
149.96/150.02 o 20
149.96/150.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.96/150.02 c * 144s|245847 |160254 | 0 | 0.0 | 276M|2816 | - |5645 |8330 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
150.86/150.98 o 17
150.86/150.98 c * 144s|247162 |160626 | 0 | 0.0 | 276M|2816 | - |5645 |8490 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
153.16/153.25 c 147s|250000 |162665 | 0 | 0.0 | 281M|2816 | - |5645 |9240 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
159.06/159.18 o 13
159.06/159.18 c * 152s|255764 |165031 | 0 | 0.0 | 288M|2816 | - |5645 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
159.06/159.18 o 12
159.06/159.18 c * 152s|255765 |164858 | 0 | 0.0 | 287M|2816 | - |5645 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
161.76/161.86 c 155s|260000 |168390 | 0 | 0.0 | 294M|2816 | - |5645 |9771 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
168.85/168.93 o 11
168.85/168.93 c * 162s|267558 |173103 | 0 | 0.0 | 306M|2816 | - |5645 | 11k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
171.66/171.70 o 5
171.66/171.70 c * 164s|268919 |172448 | 0 | 0.0 | 305M|2816 | - |5645 | 13k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
173.06/173.18 c 166s|270000 |172633 | 0 | 0.0 | 310M|2816 | - |5645 | 12k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
181.05/181.12 c 173s|280000 |180844 | 0 | 0.0 | 380M|2816 | - |5645 | 12k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
186.16/186.29 c 178s|290000 |188503 | 0 | 0.0 | 395M|2816 | - |5645 |7583 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
191.36/191.48 c 183s|300000 |195048 | 0 | 0.0 | 406M|2816 | - |5645 |8851 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
196.96/197.08 c 188s|310000 |200531 | 0 | 0.0 | 414M|2816 | - |5645 |7469 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
201.96/202.00 c 193s|320000 |207402 | 0 | 0.0 | 425M|2816 | - |5645 |7441 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
207.06/207.12 c 198s|330000 |213701 | 0 | 0.0 | 435M|2816 | - |5645 |8734 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
211.07/211.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.07/211.17 c 202s|340000 |221219 | 0 | 0.0 | 444M|2816 | - |5645 |6965 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
215.25/215.39 c 206s|350000 |228812 | 0 | 0.0 | 454M|2816 | - |5645 |7969 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
221.86/221.95 c 212s|360000 |233821 | 0 | 0.0 | 465M|2816 | - |5645 | 10k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
225.36/225.45 c 215s|370000 |242198 | 0 | 0.0 | 473M|2816 | - |5645 |7185 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
229.87/229.92 c 219s|380000 |249598 | 0 | 0.0 | 484M|2816 | - |5645 |7996 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
235.46/235.59 c 225s|390000 |255555 | 0 | 0.0 | 494M|2816 | - |5645 |9015 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
239.06/239.18 c 228s|400000 |263785 | 0 | 0.0 | 503M|2816 | - |5645 |7022 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
243.16/243.25 c 232s|410000 |271582 | 0 | 0.0 | 513M|2816 | - |5645 |7382 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
248.06/248.10 c 236s|420000 |278452 | 0 | 0.0 | 524M|2816 | - |5645 |8399 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
253.97/254.03 c 242s|430000 |284073 | 0 | 0.0 | 533M|2816 | - |5645 |9360 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
258.06/258.12 c 246s|440000 |291714 | 0 | 0.0 | 543M|2816 | - |5645 |8543 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
262.66/262.75 c 250s|450000 |298844 | 0 | 0.0 | 553M|2816 | - |5645 |7277 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
266.86/266.99 c 254s|460000 |306347 | 0 | 0.0 | 563M|2816 | - |5645 |8204 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.66/269.73 o 4
269.66/269.73 c * 257s|465163 |309152 | 0 | 0.0 | 567M|2816 | - |5645 |9180 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
272.16/272.26 c 259s|470000 |312111 | 0 | 0.0 | 571M|2816 | - |5645 |8184 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
276.36/276.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.36/276.44 c 263s|480000 |319664 | 0 | 0.0 | 582M|2816 | - |5645 |8891 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
281.06/281.11 c 268s|490000 |326611 | 0 | 0.0 | 591M|2816 | - |5645 |7240 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
284.87/284.97 c 271s|500000 |334541 | 0 | 0.0 | 601M|2816 | - |5645 |7806 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
289.46/289.56 c 275s|510000 |341669 | 0 | 0.0 | 611M|2816 | - |5645 |8689 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
294.46/294.54 c 280s|520000 |348349 | 0 | 0.0 | 621M|2816 | - |5645 |8582 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
299.46/299.58 c 285s|530000 |355041 | 0 | 0.0 | 631M|2816 | - |5645 |9298 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
304.06/304.17 c 289s|540000 |362023 | 0 | 0.0 | 640M|2816 | - |5645 |8129 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
308.96/309.05 c 294s|550000 |368676 | 0 | 0.0 | 650M|2816 | - |5645 |8077 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
313.66/313.73 c 298s|560000 |375450 | 0 | 0.0 | 661M|2816 | - |5645 | 10k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
317.36/317.46 c 302s|570000 |383425 | 0 | 0.0 | 669M|2816 | - |5645 |8543 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
321.86/321.92 c 306s|580000 |390659 | 0 | 0.0 | 678M|2816 | - |5645 |7963 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
325.86/325.94 c 310s|590000 |398376 | 0 | 0.0 | 688M|2816 | - |5645 |8370 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
331.36/331.47 c 315s|600000 |404438 | 0 | 0.0 | 698M|2816 | - |5645 | 11k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
335.36/335.44 c 319s|610000 |412137 | 0 | 0.0 | 707M|2816 | - |5645 |9177 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
339.66/339.75 c 323s|620000 |419555 | 0 | 0.0 | 715M|2816 | - |5645 |7884 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
343.67/343.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.67/343.78 c 327s|630000 |427258 | 0 | 0.0 | 725M|2816 | - |5645 |8779 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
349.16/349.28 c 332s|640000 |433356 | 0 | 0.0 | 735M|2816 | - |5645 |9220 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
353.66/353.78 c 336s|650000 |440404 | 0 | 0.0 | 744M|2816 | - |5645 | 10k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
357.37/357.49 c 339s|660000 |448492 | 0 | 0.0 | 752M|2816 | - |5645 |8263 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
362.06/362.17 c 344s|670000 |455400 | 0 | 0.0 | 762M|2816 | - |5645 |9352 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
366.86/366.94 c 348s|680000 |462233 | 0 | 0.0 | 770M|2816 | - |5645 |5482 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
370.26/370.31 c 351s|690000 |470333 | 0 | 0.0 | 779M|2816 | - |5645 |5160 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
373.47/373.53 c 354s|700000 |478592 | 0 | 0.0 | 788M|2816 | - |5645 |5263 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
378.27/378.38 c 359s|710000 |485267 | 0 | 0.0 | 799M|2816 | - |5645 |6860 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
383.27/383.34 c 364s|720000 |491911 | 0 | 0.0 | 810M|2816 | - |5645 |7555 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
388.76/388.80 c 369s|730000 |498147 | 0 | 0.0 | 820M|2816 | - |5645 |7701 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
394.36/394.48 c 374s|740000 |504212 | 0 | 0.0 | 831M|2816 | - |5645 |8536 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
400.36/400.40 c 380s|750000 |510093 | 0 | 0.0 | 841M|2816 | - |5645 |9072 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
406.56/406.61 c 386s|760000 |515785 | 0 | 0.0 | 851M|2816 | - |5645 |9362 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
412.86/412.91 c 392s|770000 |521374 | 0 | 0.0 | 862M|2816 | - |5645 |9577 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
419.46/419.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.46/419.54 c 398s|780000 |526764 | 0 | 0.0 | 872M|2816 | - |5645 |9730 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
426.16/426.28 c 404s|790000 |532169 | 0 | 0.0 | 882M|2816 | - |5645 |9363 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
432.76/432.80 c 411s|800000 |537673 | 0 | 0.0 | 893M|2816 | - |5645 | 10k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
439.65/439.75 c 417s|810000 |542849 | 0 | 0.0 | 903M|2816 | - |5645 | 10k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
446.75/446.89 c 424s|820000 |547855 | 0 | 0.0 | 913M|2816 | - |5645 | 10k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
453.66/453.74 c 431s|830000 |553102 | 0 | 0.0 | 923M|2816 | - |5645 | 10k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
461.06/461.18 c 438s|840000 |557848 | 0 | 0.0 | 933M|2816 | - |5645 | 10k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
468.56/468.64 c 445s|850000 |562611 | 0 | 0.0 | 943M|2816 | - |5645 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
475.56/475.68 c 452s|860000 |567746 | 0 | 0.0 | 953M|2816 | - |5645 | 10k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
483.06/483.19 c 459s|870000 |572287 | 0 | 0.0 | 963M|2816 | - |5645 | 11k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
490.16/490.28 c 466s|880000 |577403 | 0 | 0.0 | 973M|2816 | - |5645 |9934 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
498.06/498.12 c 473s|890000 |581657 | 0 | 0.0 | 983M|2816 | - |5645 | 11k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
505.75/505.88 c 481s|900000 |586103 | 0 | 0.0 | 993M|2816 | - |5645 | 10k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
513.26/513.30 c 488s|910000 |590828 | 0 | 0.0 |1003M|2816 | - |5645 | 11k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
521.16/521.21 c 495s|920000 |595096 | 0 | 0.0 |1013M|2816 | - |5645 | 11k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
528.56/528.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.56/528.62 c 503s|930000 |599889 | 0 | 0.0 |1023M|2816 | - |5645 | 11k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
536.66/536.79 c 510s|940000 |603907 | 0 | 0.0 |1032M|2816 | - |5645 | 11k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.06/544.10 c 517s|950000 |608779 | 0 | 0.0 |1042M|2816 | - |5645 | 10k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
552.25/552.37 c 525s|960000 |612609 | 0 | 0.0 |1052M|2816 | - |5645 | 11k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
559.76/559.82 c 533s|970000 |617280 | 0 | 0.0 |1061M|2816 | - |5645 | 10k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
568.05/568.12 c 541s|980000 |621217 | 0 | 0.0 |1071M|2816 | - |5645 | 11k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
576.05/576.12 c 548s|990000 |625318 | 0 | 0.0 |1080M|2816 | - |5645 | 11k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
584.06/584.17 c 556s| 1000k|629605 | 0 | 0.0 |1090M|2816 | - |5645 | 11k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
592.85/592.90 c 564s| 1010k|633053 | 0 | 0.0 |1099M|2816 | - |5645 | 12k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
600.85/600.93 c 572s| 1020k|637259 | 0 | 0.0 |1108M|2816 | - |5645 | 11k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
609.94/610.04 c 581s| 1030k|640619 | 0 | 0.0 |1118M|2816 | - |5645 | 11k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
619.35/619.48 c 590s| 1040k|643557 | 0 | 0.0 |1126M|2816 | - |5645 | 12k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
628.55/628.66 c 599s| 1050k|646771 | 0 | 0.0 |1134M|2816 | - |5645 | 11k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
638.05/638.11 c 608s| 1060k|649776 | 0 | 0.0 |1143M|2816 | - |5645 | 10k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
648.14/648.27 c 618s| 1070k|651023 | 0 | 0.0 |1151M|2816 | - |5645 | 11k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
659.24/659.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.24/659.34 c 628s| 1080k|651667 | 0 | 0.0 |1158M|2816 | - |5645 | 12k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
671.53/671.61 c 640s| 1090k|650959 | 0 | 0.0 |1164M|2816 | - |5645 | 12k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
684.84/684.98 c 653s| 1100k|649369 | 0 | 0.0 |1168M|2816 | - |5645 | 13k| 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.63/699.75 c 668s| 1110k|646086 | 0 | 0.0 |1169M|2816 | - |5645 | 14k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
713.73/713.82 c 681s| 1120k|641933 | 0 | 0.0 |1154M|2816 | - |5645 |7140 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
717.33/717.42 c 685s| 1130k|650263 | 0 | 0.0 |1163M|2816 | - |5645 |5599 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
721.23/721.31 c 688s| 1140k|658193 | 0 | 0.0 |1173M|2816 | - |5645 |5725 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
725.73/725.85 c 692s| 1150k|665585 | 0 | 0.0 |1184M|2816 | - |5645 |6211 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
730.63/730.76 c 697s| 1160k|672642 | 0 | 0.0 |1195M|2816 | - |5645 |6776 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
735.92/736.08 c 702s| 1170k|679308 | 0 | 0.0 |1206M|2816 | - |5645 |7296 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
741.82/741.95 c 708s| 1180k|685518 | 0 | 0.0 |1217M|2816 | - |5645 |7967 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
748.23/748.37 c 714s| 1190k|691238 | 0 | 0.0 |1228M|2816 | - |5645 |8721 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
755.53/755.69 c 721s| 1200k|696243 | 0 | 0.0 |1239M|2816 | - |5645 |9654 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
764.12/764.22 c 729s| 1210k|700294 | 0 | 0.0 |1251M|2816 | - |5645 | 11k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
775.13/775.28 c 739s| 1220k|702411 | 0 | 0.0 |1262M|2816 | - |5645 | 13k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
783.83/783.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.83/783.92 c 748s| 1230k|706902 | 0 | 0.0 |1267M|2816 | - |5645 |9471 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
788.13/788.27 c 752s| 1240k|714692 | 0 | 0.0 |1276M|2816 | - |5645 |7488 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
792.63/792.71 c 756s| 1250k|722198 | 0 | 0.0 |1286M|2816 | - |5645 |7639 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
797.22/797.38 c 760s| 1260k|729459 | 0 | 0.0 |1295M|2816 | - |5645 |8337 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
802.33/802.47 c 765s| 1270k|736367 | 0 | 0.0 |1305M|2816 | - |5645 |9182 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
809.02/809.13 c 772s| 1280k|742076 | 0 | 0.0 |1316M|2816 | - |5645 | 10k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
817.03/817.13 c 779s| 1290k|746869 | 0 | 0.0 |1327M|2816 | - |5645 | 13k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
826.93/827.09 c 789s| 1300k|750546 | 0 | 0.0 |1338M|2816 | - |5645 | 16k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
840.33/840.47 c 802s| 1310k|752364 | 0 | 0.0 |1349M|2816 | - |5645 | 19k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
845.93/846.06 o 2
845.93/846.06 c * 807s| 1318k|729920 | 0 | 0.0 |1313M|2816 | - |5645 | 13k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.73/846.82 c 808s| 1320k|731020 | 0 | 0.0 |1314M|2816 | - |5645 | 12k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.13/852.21 c 813s| 1330k|738545 | 0 | 0.0 |1325M|2816 | - |5645 | 10k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
857.73/857.90 c 818s| 1340k|745720 | 0 | 0.0 |1337M|2816 | - |5645 | 10k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
863.63/863.72 c 824s| 1350k|752571 | 0 | 0.0 |1348M|2816 | - |5645 |9941 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
869.23/869.30 c 829s| 1360k|759400 | 0 | 0.0 |1358M|2816 | - |5645 |9968 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
874.83/874.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.83/874.96 c 835s| 1370k|766283 | 0 | 0.0 |1369M|2816 | - |5645 |9864 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.53/880.61 c 840s| 1380k|773058 | 0 | 0.0 |1379M|2816 | - |5645 | 10k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
886.53/886.67 c 846s| 1390k|779499 | 0 | 0.0 |1390M|2816 | - |5645 | 10k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.73/892.86 c 852s| 1400k|785926 | 0 | 0.0 |1401M|2816 | - |5645 | 11k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.53/899.66 c 858s| 1410k|791993 | 0 | 0.0 |1412M|2816 | - |5645 | 12k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.24/906.30 c 864s| 1420k|798269 | 0 | 0.0 |1423M|2816 | - |5645 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
913.03/913.11 c 871s| 1430k|804640 | 0 | 0.0 |1435M|2816 | - |5645 | 13k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.73/920.89 c 878s| 1440k|810388 | 0 | 0.0 |1447M|2816 | - |5645 | 14k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
928.93/929.01 c 886s| 1450k|816260 | 0 | 0.0 |1460M|2816 | - |5645 | 15k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.73/936.87 c 893s| 1460k|822269 | 0 | 0.0 |1473M|2816 | - |5645 | 16k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.73/945.90 c 902s| 1470k|827739 | 0 | 0.0 |1486M|2816 | - |5645 | 17k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
955.24/955.36 c 911s| 1480k|833113 | 0 | 0.0 |1501M|2816 | - |5645 | 19k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
966.04/966.10 c 922s| 1490k|837988 | 0 | 0.0 |1517M|2816 | - |5645 | 21k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.03/978.16 c 933s| 1500k|842408 | 0 | 0.0 |1533M|2816 | - |5645 | 24k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.53/992.61 c 947s| 1510k|845829 | 0 | 0.0 |1549M|2816 | - |5645 | 26k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1009.44/1009.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.44/1009.57 c 964s| 1520k|847966 | 0 | 0.0 |1562M|2816 | - |5645 | 29k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1024.43/1024.55 c 978s| 1530k|851766 | 0 | 0.0 |1571M|2816 | - |5645 | 27k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1031.93/1032.05 c 985s| 1540k|859480 | 0 | 0.0 |1582M|2816 | - |5645 | 21k| 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.53/1038.69 c 992s| 1550k|867001 | 0 | 0.0 |1594M|2816 | - |5645 | 19k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1045.43/1045.50 c 998s| 1560k|874133 | 0 | 0.0 |1608M|2816 | - |5645 | 19k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.64/1052.73 c 1005s| 1570k|880908 | 0 | 0.0 |1622M|2816 | - |5645 | 19k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.23/1061.35 c 1013s| 1580k|886848 | 0 | 0.0 |1637M|2816 | - |5645 | 21k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.14/1072.22 c 1023s| 1590k|891482 | 0 | 0.0 |1653M|2816 | - |5645 | 23k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1084.83/1084.96 c 1036s| 1600k|895175 | 0 | 0.0 |1668M|2816 | - |5645 | 24k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.93/1097.06 c 1047s| 1610k|899623 | 0 | 0.0 |1681M|2816 | - |5645 | 22k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1106.24/1106.35 c 1056s| 1620k|905553 | 0 | 0.0 |1693M|2816 | - |5645 | 20k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.14/1114.23 c 1064s| 1630k|912177 | 0 | 0.0 |1706M|2816 | - |5645 | 19k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.34/1121.48 c 1070s| 1640k|919057 | 0 | 0.0 |1719M|2816 | - |5645 | 19k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.93/1129.03 c 1078s| 1650k|925721 | 0 | 0.0 |1733M|2816 | - |5645 | 20k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.44/1138.52 c 1087s| 1660k|931238 | 0 | 0.0 |1748M|2816 | - |5645 | 22k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.63/1149.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.63/1149.76 c 1097s| 1670k|935684 | 0 | 0.0 |1764M|2816 | - |5645 | 25k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1163.94/1164.05 c 1111s| 1680k|938572 | 0 | 0.0 |1779M|2816 | - |5645 | 28k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.24/1174.33 c 1121s| 1690k|944459 | 0 | 0.0 |1788M|2816 | - |5645 | 23k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1180.44/1180.54 c 1127s| 1700k|952314 | 0 | 0.0 |1799M|2816 | - |5645 | 19k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.64/1186.73 c 1133s| 1710k|959912 | 0 | 0.0 |1811M|2816 | - |5645 | 18k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.64/1192.74 c 1138s| 1720k|967494 | 0 | 0.0 |1823M|2816 | - |5645 | 18k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1198.73/1198.89 c 1144s| 1730k|974995 | 0 | 0.0 |1836M|2816 | - |5645 | 19k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.44/1205.50 c 1150s| 1740k|982201 | 0 | 0.0 |1849M|2816 | - |5645 | 19k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.83/1211.96 c 1156s| 1750k|989471 | 0 | 0.0 |1861M|2816 | - |5645 | 19k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1219.85/1219.92 c 1164s| 1760k|995828 | 0 | 0.0 |1876M|2816 | - |5645 | 20k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.74/1227.88 c 1171s| 1770k| 1002k| 0 | 0.0 |1889M|2816 | - |5645 | 20k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.34/1236.49 c 1180s| 1780k| 1008k| 0 | 0.0 |1902M|2816 | - |5645 | 21k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.34/1245.48 c 1188s| 1790k| 1013k| 0 | 0.0 |1916M|2816 | - |5645 | 22k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1254.54/1254.66 c 1197s| 1800k| 1019k| 0 | 0.0 |1928M|2816 | - |5645 | 22k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.64/1264.70 c 1207s| 1810k| 1023k| 0 | 0.0 |1941M|2816 | - |5645 | 24k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1275.64/1275.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.64/1275.75 c 1217s| 1820k| 1028k| 0 | 0.0 |1953M|2816 | - |5645 | 25k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.54/1287.66 c 1229s| 1830k| 1032k| 0 | 0.0 |1961M|2816 | - |5645 | 15k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.94/1297.01 c 1238s| 1840k| 1036k| 0 | 0.0 |1970M|2816 | - |5645 | 17k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.74/1308.88 c 1249s| 1850k| 1038k| 0 | 0.0 |1977M|2816 | - |5645 | 19k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1317.14/1317.22 c 1257s| 1860k| 1043k| 0 | 0.0 |1983M|2816 | - |5645 | 14k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.94/1322.06 c 1262s| 1870k| 1051k| 0 | 0.0 |1994M|2816 | - |5645 | 14k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1327.24/1327.33 c 1267s| 1880k| 1058k| 0 | 0.0 |2004M|2816 | - |5645 | 15k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1332.74/1332.80 c 1272s| 1890k| 1065k| 0 | 0.0 |2013M|2816 | - |5645 | 14k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.14/1338.29 c 1277s| 1900k| 1072k| 0 | 0.0 |2024M|2816 | - |5645 | 15k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1344.05/1344.15 c 1282s| 1910k| 1078k| 0 | 0.0 |2034M|2816 | - |5645 | 15k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.14/1350.22 c 1288s| 1920k| 1085k| 0 | 0.0 |2044M|2816 | - |5645 | 16k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.74/1356.86 c 1294s| 1930k| 1091k| 0 | 0.0 |2054M|2816 | - |5645 | 16k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1363.24/1363.33 c 1301s| 1940k| 1097k| 0 | 0.0 |2064M|2816 | - |5645 | 16k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1370.14/1370.27 c 1307s| 1950k| 1102k| 0 | 0.0 |2074M|2816 | - |5645 | 16k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1377.15/1377.22 c 1314s| 1960k| 1108k| 0 | 0.0 |2083M|2816 | - |5645 | 16k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1384.44/1384.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.44/1384.59 c 1321s| 1970k| 1113k| 0 | 0.0 |2093M|2816 | - |5645 | 17k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.45/1392.58 c 1329s| 1980k| 1118k| 0 | 0.0 |2102M|2816 | - |5645 | 18k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.44/1400.50 c 1336s| 1990k| 1124k| 0 | 0.0 |2112M|2816 | - |5645 | 19k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.74/1408.87 c 1344s| 2000k| 1128k| 0 | 0.0 |2121M|2816 | - |5645 | 19k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1417.54/1417.68 c 1353s| 2010k| 1133k| 0 | 0.0 |2131M|2816 | - |5645 | 20k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1428.14/1428.23 c 1363s| 2020k| 1137k| 0 | 0.0 |2140M|2816 | - |5645 | 22k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.24/1439.34 c 1373s| 2030k| 1140k| 0 | 0.0 |2145M|2816 | - |5645 | 17k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.24/1444.37 c 1378s| 2040k| 1147k| 0 | 0.0 |2154M|2816 | - |5645 | 15k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1449.44/1449.54 c 1383s| 2050k| 1155k| 0 | 0.0 |2163M|2816 | - |5645 | 15k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.84/1454.91 c 1388s| 2060k| 1162k| 0 | 0.0 |2173M|2816 | - |5645 | 15k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.34/1460.43 c 1393s| 2070k| 1169k| 0 | 0.0 |2183M|2816 | - |5645 | 15k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.34/1466.40 c 1399s| 2080k| 1176k| 0 | 0.0 |2193M|2816 | - |5645 | 15k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.54/1472.60 c 1405s| 2090k| 1182k| 0 | 0.0 |2204M|2816 | - |5645 | 15k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.84/1478.92 c 1411s| 2100k| 1188k| 0 | 0.0 |2214M|2816 | - |5645 | 15k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1485.45/1485.52 c 1417s| 2110k| 1195k| 0 | 0.0 |2224M|2816 | - |5645 | 16k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1491.94/1492.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.94/1492.04 c 1423s| 2120k| 1201k| 0 | 0.0 |2234M|2816 | - |5645 | 16k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.74/1498.81 c 1430s| 2130k| 1207k| 0 | 0.0 |2244M|2816 | - |5645 | 16k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1505.54/1505.65 c 1436s| 2140k| 1213k| 0 | 0.0 |2254M|2816 | - |5645 | 16k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.75/1512.80 c 1443s| 2150k| 1218k| 0 | 0.0 |2264M|2816 | - |5645 | 16k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1519.84/1519.92 c 1450s| 2160k| 1224k| 0 | 0.0 |2274M|2816 | - |5645 | 17k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.95/1527.02 c 1456s| 2170k| 1230k| 0 | 0.0 |2284M|2816 | - |5645 | 16k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1534.45/1534.51 c 1464s| 2180k| 1235k| 0 | 0.0 |2293M|2816 | - |5645 | 17k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.15/1542.21 c 1471s| 2190k| 1241k| 0 | 0.0 |2303M|2816 | - |5645 | 17k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.25/1549.35 c 1478s| 2200k| 1246k| 0 | 0.0 |2312M|2816 | - |5645 | 17k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.04/1557.12 c 1485s| 2210k| 1252k| 0 | 0.0 |2322M|2816 | - |5645 | 17k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.04/1565.19 c 1493s| 2220k| 1257k| 0 | 0.0 |2332M|2816 | - |5645 | 18k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.44/1573.55 c 1501s| 2230k| 1262k| 0 | 0.0 |2341M|2816 | - |5645 | 18k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1582.05/1582.17 c 1509s| 2240k| 1266k| 0 | 0.0 |2350M|2816 | - |5645 | 19k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.14/1592.22 c 1519s| 2250k| 1270k| 0 | 0.0 |2359M|2816 | - |5645 | 21k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.64/1604.73 c 1531s| 2260k| 1272k| 0 | 0.0 |2364M|2816 | - |5645 | 20k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.54/1609.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.54/1609.66 c 1535s| 2270k| 1280k| 0 | 0.0 |2373M|2816 | - |5645 | 15k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.54/1614.65 c 1540s| 2280k| 1288k| 0 | 0.0 |2383M|2816 | - |5645 | 16k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1619.95/1620.09 c 1545s| 2290k| 1295k| 0 | 0.0 |2393M|2816 | - |5645 | 17k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1626.64/1626.71 c 1551s| 2300k| 1301k| 0 | 0.0 |2403M|2816 | - |5645 | 18k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.95/1634.08 c 1558s| 2310k| 1307k| 0 | 0.0 |2414M|2816 | - |5645 | 19k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1642.55/1642.64 c 1567s| 2320k| 1312k| 0 | 0.0 |2425M|2816 | - |5645 | 21k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1653.04/1653.16 c 1577s| 2330k| 1316k| 0 | 0.0 |2435M|2816 | - |5645 | 23k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1662.45/1662.55 c 1586s| 2340k| 1320k| 0 | 0.0 |2440M|2816 | - |5645 | 17k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1667.15/1667.28 c 1590s| 2350k| 1328k| 0 | 0.0 |2449M|2816 | - |5645 | 16k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1672.65/1672.79 c 1596s| 2360k| 1335k| 0 | 0.0 |2459M|2816 | - |5645 | 16k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1678.85/1678.95 c 1601s| 2370k| 1342k| 0 | 0.0 |2469M|2816 | - |5645 | 17k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.15/1685.27 c 1607s| 2380k| 1348k| 0 | 0.0 |2480M|2816 | - |5645 | 17k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1691.75/1691.81 c 1614s| 2390k| 1355k| 0 | 0.0 |2490M|2816 | - |5645 | 17k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1698.65/1698.76 c 1620s| 2400k| 1361k| 0 | 0.0 |2500M|2816 | - |5645 | 17k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.15/1706.27 c 1627s| 2410k| 1366k| 0 | 0.0 |2510M|2816 | - |5645 | 18k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1713.85/1713.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.85/1713.90 c 1635s| 2420k| 1372k| 0 | 0.0 |2520M|2816 | - |5645 | 18k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.94/1722.01 c 1642s| 2430k| 1377k| 0 | 0.0 |2530M|2816 | - |5645 | 19k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.05/1730.15 c 1650s| 2440k| 1382k| 0 | 0.0 |2540M|2816 | - |5645 | 20k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.35/1738.45 c 1658s| 2450k| 1388k| 0 | 0.0 |2549M|2816 | - |5645 | 21k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1747.55/1747.62 c 1667s| 2460k| 1392k| 0 | 0.0 |2559M|2816 | - |5645 | 23k| 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1757.94/1758.03 c 1677s| 2470k| 1396k| 0 | 0.0 |2568M|2816 | - |5645 | 25k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1769.55/1769.60 c 1688s| 2480k| 1400k| 0 | 0.0 |2573M|2816 | - |5645 | 19k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.75/1774.81 c 1693s| 2490k| 1408k| 0 | 0.0 |2582M|2816 | - |5645 | 17k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1780.25/1780.39 c 1698s| 2500k| 1415k| 0 | 0.0 |2592M|2816 | - |5645 | 17k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1786.65/1786.76 c 1704s| 2510k| 1421k| 0 | 0.0 |2603M|2816 | - |5645 | 18k| 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1793.75/1793.81 c 1711s| 2520k| 1428k| 0 | 0.0 |2614M|2816 | - |5645 | 20k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.10 c
1800.05/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.10 c Solving Time (sec) : 1717.08
1800.05/1800.10 c Solving Nodes : 2527935
1800.05/1800.10 c Primal Bound : +2.00000000000000e+00 (46 solutions)
1800.05/1800.10 c Dual Bound : +0.00000000000000e+00
1800.05/1800.10 c Gap : infinite
1800.05/1800.18 s SATISFIABLE
1800.05/1800.18 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.18 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.18 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.18 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.18 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.05/1800.18 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.05/1800.18 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.18 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54
1800.05/1800.18 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.18 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.18 v -x1
1800.05/1800.18 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.18 c Solving Time : 1717.08
1800.05/1800.18 c Original Problem :
1800.05/1800.18 c Problem name : HOME/instance-2693587-1277925474.wbo
1800.05/1800.18 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.18 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.18 c Presolved Problem :
1800.05/1800.18 c Problem name : t_HOME/instance-2693587-1277925474.wbo
1800.05/1800.18 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.18 c Constraints : 5414 initial, 32606 maximal
1800.05/1800.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.18 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.18 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.05/1800.18 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.18 c root node : - 2674 - - 5348 - - - -
1800.05/1800.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.18 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.18 c indicator : 2707 0 5990058 0 1616451 81 3548522 0 0 0
1800.05/1800.18 c linear : 2707 0 8215719 0 2145120 545808 44469879 0 0 0
1800.05/1800.18 c logicor : 0+ 0 3871413 0 0 82259 2668964 0 0 0
1800.05/1800.18 c bounddisjunction : 0+ 0 1076 0 0 0 6 0 0 0
1800.05/1800.18 c countsols : 0 0 0 0 2145147 0 0 0 0 0
1800.05/1800.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.18 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.18 c indicator : 11.45 0.00 5.71 0.00 5.74
1800.05/1800.18 c linear : 436.16 0.00 434.99 0.00 1.17
1800.05/1800.18 c logicor : 271.95 0.00 271.95 0.00 0.00
1800.05/1800.18 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.18 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.18 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.18 c vbounds : 0.00 2 0 0
1800.05/1800.18 c rootredcost : 0.00 0 0 0
1800.05/1800.18 c pseudoobj : 390.72 8217848 2016 3530922
1800.05/1800.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.18 c propagation : 41.32 630083 630057 3119454 22.6 174709 10.8 -
1800.05/1800.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.18 c pseudo solution : 0.07 148 148 600 29.6 570 9.4 -
1800.05/1800.18 c applied globally : - - - 1949795 20.5 - - -
1800.05/1800.18 c applied locally : - - - 2 316.5 - - -
1800.05/1800.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.18 c redcost : 0.00 0 0 0 0 0
1800.05/1800.18 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.18 c intobj : 0.00 0 0 0 0 0
1800.05/1800.18 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.18 c gomory : 0.00 0 0 0 0 0
1800.05/1800.18 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.18 c cmir : 0.00 0 0 0 0 0
1800.05/1800.18 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.18 c clique : 0.00 0 0 0 0 0
1800.05/1800.18 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.18 c mcf : 0.00 0 0 0 0 0
1800.05/1800.18 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.18 c Pricers : Time Calls Vars
1800.05/1800.18 c problem variables: 0.00 0 0
1800.05/1800.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.18 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.18 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.18 c inference : 34.13 2145104 0 0 0 0 4290208
1800.05/1800.18 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.18 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.18 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.18 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.18 c random : 0.00 0 0 0 0 0 0
1800.05/1800.18 c Primal Heuristics : Time Calls Found
1800.05/1800.18 c LP solutions : 0.00 - 0
1800.05/1800.18 c pseudo solutions : 0.14 - 43
1800.05/1800.18 c oneopt : 0.03 0 0
1800.05/1800.18 c trivial : 0.08 2 2
1800.05/1800.18 c simplerounding : 0.00 0 0
1800.05/1800.18 c zirounding : 0.00 0 0
1800.05/1800.18 c rounding : 0.00 0 0
1800.05/1800.18 c shifting : 0.00 0 0
1800.05/1800.18 c intshifting : 0.00 0 0
1800.05/1800.18 c twoopt : 0.00 0 0
1800.05/1800.18 c fixandinfer : 0.00 0 0
1800.05/1800.18 c feaspump : 0.00 0 0
1800.05/1800.18 c coefdiving : 0.00 0 0
1800.05/1800.18 c pscostdiving : 0.00 0 0
1800.05/1800.18 c fracdiving : 0.00 0 0
1800.05/1800.18 c veclendiving : 0.00 0 0
1800.05/1800.18 c intdiving : 0.00 0 0
1800.05/1800.18 c actconsdiving : 0.00 0 0
1800.05/1800.18 c objpscostdiving : 0.00 0 0
1800.05/1800.18 c rootsoldiving : 0.00 0 0
1800.05/1800.18 c linesearchdiving : 0.00 0 0
1800.05/1800.18 c guideddiving : 0.00 0 0
1800.05/1800.18 c octane : 0.00 0 0
1800.05/1800.18 c rens : 0.00 0 0
1800.05/1800.18 c rins : 0.00 0 0
1800.05/1800.18 c localbranching : 0.00 0 0
1800.05/1800.18 c mutation : 0.00 0 0
1800.05/1800.18 c crossover : 0.00 0 0
1800.05/1800.18 c dins : 0.00 0 0
1800.05/1800.18 c undercover : 0.00 0 0
1800.05/1800.18 c nlp : 0.00 0 0
1800.05/1800.18 c trysol : 0.00 1 1
1800.05/1800.18 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.18 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.18 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.18 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.18 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.18 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.18 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.18 c (at root node) : - 0 0 0.00 -
1800.05/1800.18 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.18 c B&B Tree :
1800.05/1800.18 c number of runs : 1
1800.05/1800.18 c nodes : 2527935
1800.05/1800.18 c nodes (total) : 2527935
1800.05/1800.18 c nodes left : 1432432
1800.05/1800.18 c max depth : 2816
1800.05/1800.18 c max depth (total): 2816
1800.05/1800.18 c backtracks : 330305 (13.1%)
1800.05/1800.18 c delayed cutoffs : 288694
1800.05/1800.18 c repropagations : 1248222 (15679384 domain reductions, 247524 cutoffs)
1800.05/1800.18 c avg switch length: 38.82
1800.05/1800.18 c switching time : 479.00
1800.05/1800.18 c Solution :
1800.05/1800.18 c Solutions found : 46 (44 improvements)
1800.05/1800.18 c First Solution : +1.37972000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.18 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1318600 nodes, 807.19 seconds, depth 522, found by <relaxation>)
1800.05/1800.18 c Dual Bound : +0.00000000000000e+00
1800.05/1800.18 c Gap : infinite
1800.05/1800.18 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.18 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-2693587-1277925474/watcher-2693587-1277925474 -o /tmp/evaluation-result-2693587-1277925474/solver-2693587-1277925474 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693587-1277925474.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.06 2.01 2.00 3/194 15086 /proc/meminfo: memFree=31272048/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=8260 CPUtime=0 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 1547 0 0 0 0 0 0 0 23 0 1 0 133844027 8458240 1469 4089446400 4194304 7136930 140733732692112 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15086/statm: 2065 1469 275 719 0 1344 0 [startup+0.083773 s] /proc/loadavg: 2.06 2.01 2.00 3/194 15086 /proc/meminfo: memFree=31272048/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=33676 CPUtime=0.08 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 7967 0 0 0 8 0 0 0 24 0 1 0 133844027 34484224 7535 4089446400 4194304 7136930 140733732692112 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33676 [startup+0.100764 s] /proc/loadavg: 2.06 2.01 2.00 3/194 15086 /proc/meminfo: memFree=31272048/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=33676 CPUtime=0.09 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 7967 0 0 0 9 0 0 0 24 0 1 0 133844027 34484224 7535 4089446400 4194304 7136930 140733732692112 18446744073709551615 6350423 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300732 s] /proc/loadavg: 2.06 2.01 2.00 3/194 15086 /proc/meminfo: memFree=31272048/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=36496 CPUtime=0.29 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 133844027 37371904 8295 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700671 s] /proc/loadavg: 2.06 2.01 2.00 3/194 15086 /proc/meminfo: memFree=31272048/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=37636 CPUtime=0.69 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 9516 0 0 0 66 3 0 0 25 0 1 0 133844027 38539264 8570 4089446400 4194304 7136930 140733732692112 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50054 s] /proc/loadavg: 2.06 2.01 2.00 3/195 15087 /proc/meminfo: memFree=31237616/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=42816 CPUtime=1.49 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 10818 0 0 0 141 8 0 0 25 0 1 0 133844027 43843584 9872 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 10704 9874 390 719 0 9983 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42816 [startup+3.10026 s] /proc/loadavg: 2.06 2.01 2.00 3/195 15087 /proc/meminfo: memFree=31233648/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=48056 CPUtime=3.09 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 11930 0 0 0 294 15 0 0 25 0 1 0 133844027 49209344 10984 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 12014 10984 391 719 0 11293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48056 [startup+6.3007 s] /proc/loadavg: 2.06 2.01 2.00 3/195 15087 /proc/meminfo: memFree=31219136/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=62396 CPUtime=6.29 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 15470 0 0 0 594 35 0 0 25 0 1 0 133844027 63893504 14524 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15086/statm: 15599 14524 391 719 0 14878 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62396 [startup+12.7006 s] /proc/loadavg: 2.05 2.01 2.00 3/195 15087 /proc/meminfo: memFree=31198060/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=83124 CPUtime=12.68 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 20595 0 0 0 1201 67 0 0 25 0 1 0 133844027 85118976 19649 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 20781 19649 391 719 0 20060 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 83124 [startup+25.5004 s] /proc/loadavg: 2.04 2.01 2.00 3/195 15088 /proc/meminfo: memFree=31153944/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=129528 CPUtime=25.49 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 31695 0 0 0 2429 120 0 0 25 0 1 0 133844027 132636672 30749 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 32382 30749 393 719 0 31661 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 129528 [startup+51.1009 s] /proc/loadavg: 2.11 2.03 2.01 3/195 15089 /proc/meminfo: memFree=31079764/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=206772 CPUtime=51.09 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 50328 0 0 0 4848 261 0 0 25 0 1 0 133844027 211734528 49382 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 51693 49382 393 719 0 50972 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 206772 [startup+102.306 s] /proc/loadavg: 2.04 2.02 2.00 3/195 15090 /proc/meminfo: memFree=30974696/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=309264 CPUtime=102.27 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 76030 0 0 0 9737 490 0 0 25 0 1 0 133844027 316686336 75084 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 77316 75084 393 719 0 76595 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 309264 [startup+162.301 s] /proc/loadavg: 2.01 2.01 2.00 3/195 15091 /proc/meminfo: memFree=30886704/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=393744 CPUtime=162.26 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 96543 0 0 0 15534 692 0 0 25 0 1 0 133844027 403193856 95570 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 98436 95570 393 719 0 97715 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 393744 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/195 15093 /proc/meminfo: memFree=30708088/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=583788 CPUtime=222.26 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 140803 0 0 0 21223 1003 0 0 25 0 1 0 133844027 597798912 139830 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 145947 139830 393 719 0 145226 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 583788 [startup+282.301 s] /proc/loadavg: 2.04 2.02 2.00 3/195 15095 /proc/meminfo: memFree=30577580/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=714652 CPUtime=282.26 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 173800 0 0 0 26867 1359 0 0 25 0 1 0 133844027 731803648 172827 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 178663 172827 393 719 0 177942 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 714652 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/195 15097 /proc/meminfo: memFree=30441860/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=846900 CPUtime=342.26 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 207107 0 0 0 32518 1708 0 0 25 0 1 0 133844027 867225600 206134 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 211725 206134 393 719 0 211004 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 846900 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/195 15098 /proc/meminfo: memFree=30316320/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=978476 CPUtime=402.26 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 238270 0 0 0 38164 2062 0 0 25 0 1 0 133844027 1001959424 237297 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 244619 237297 393 719 0 243898 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 978476 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15099 /proc/meminfo: memFree=30229340/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=1067072 CPUtime=462.26 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 260517 0 0 0 43898 2328 0 0 25 0 1 0 133844027 1092681728 259544 4089446400 4194304 7136930 140733732692112 18446744073709551615 4221262 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 266768 259544 393 719 0 266047 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 1067072 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15101 /proc/meminfo: memFree=30144340/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=1149196 CPUtime=522.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 281171 0 0 0 49655 2570 0 0 25 0 1 0 133844027 1176776704 280198 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 287299 280198 393 719 0 286578 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 1149196 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15103 /proc/meminfo: memFree=30070864/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=1222208 CPUtime=582.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 299533 0 0 0 55424 2801 0 0 25 0 1 0 133844027 1251540992 298560 4089446400 4194304 7136930 140733732692112 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 305552 298560 393 719 0 304831 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 1222208 [startup+642.3 s] /proc/loadavg: 2.17 2.07 2.02 3/195 15105 /proc/meminfo: memFree=30004960/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=1287120 CPUtime=642.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 315741 0 0 0 61201 3024 0 0 25 0 1 0 133844027 1318010880 314768 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 321780 314768 393 719 0 321059 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 1287120 [startup+702.301 s] ################ # More data... # ################ /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 449994 0 0 0 101388 4836 0 0 25 0 1 0 133844027 1876156416 449021 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 458046 449021 393 719 0 457325 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 1832184 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 15148 /proc/meminfo: memFree=29199128/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=1906204 CPUtime=1122.23 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 468425 0 0 0 107122 5101 0 0 25 0 1 0 133844027 1951952896 467452 4089446400 4194304 7136930 140733732692112 18446744073709551615 5001177 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 476551 467452 393 719 0 475830 0 Current children cumulated CPU time (s) 1122.23 Current children cumulated vsize (KiB) 1906204 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 15150 /proc/meminfo: memFree=29059696/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=1998904 CPUtime=1182.23 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 491592 0 0 0 112848 5375 0 0 25 0 1 0 133844027 2046877696 490619 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 499726 490619 393 719 0 499005 0 Current children cumulated CPU time (s) 1182.23 Current children cumulated vsize (KiB) 1998904 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15152 /proc/meminfo: memFree=28907000/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2115940 CPUtime=1242.24 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 516883 0 0 0 118528 5696 0 0 25 0 1 0 133844027 2166722560 515910 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 528985 515910 393 719 0 528264 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 2115940 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15153 /proc/meminfo: memFree=28787172/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2180868 CPUtime=1302.24 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 533185 0 0 0 124281 5943 0 0 25 0 1 0 133844027 2233208832 532212 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 545217 532212 393 719 0 544496 0 Current children cumulated CPU time (s) 1302.24 Current children cumulated vsize (KiB) 2180868 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15154 /proc/meminfo: memFree=28653816/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2268708 CPUtime=1362.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 555322 0 0 0 129970 6255 0 0 25 0 1 0 133844027 2323156992 554349 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 567177 554349 393 719 0 566456 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 2268708 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15156 /proc/meminfo: memFree=28553812/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2332280 CPUtime=1422.24 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 571345 0 0 0 135698 6526 0 0 25 0 1 0 133844027 2388254720 570372 4089446400 4194304 7136930 140733732692112 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 583070 570372 393 719 0 582349 0 Current children cumulated CPU time (s) 1422.24 Current children cumulated vsize (KiB) 2332280 [startup+1482.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 15158 /proc/meminfo: memFree=28410540/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2423528 CPUtime=1482.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 594372 0 0 0 141390 6835 0 0 25 0 1 0 133844027 2481692672 593399 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 605882 593399 393 719 0 605161 0 Current children cumulated CPU time (s) 1482.25 Current children cumulated vsize (KiB) 2423528 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15160 /proc/meminfo: memFree=28289592/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2508780 CPUtime=1542.24 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 615830 0 0 0 147098 7126 0 0 25 0 1 0 133844027 2568990720 614857 4089446400 4194304 7136930 140733732692112 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 627195 614857 393 719 0 626474 0 Current children cumulated CPU time (s) 1542.24 Current children cumulated vsize (KiB) 2508780 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 15161 /proc/meminfo: memFree=28203492/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2570672 CPUtime=1602.24 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 631402 0 0 0 152841 7383 0 0 25 0 1 0 133844027 2632368128 630429 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 642668 630429 393 719 0 641947 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 2570672 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15162 /proc/meminfo: memFree=28109184/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2642492 CPUtime=1662.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 649616 0 0 0 158567 7658 0 0 25 0 1 0 133844027 2705911808 648643 4089446400 4194304 7136930 140733732692112 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 660623 648643 393 719 0 659902 0 Current children cumulated CPU time (s) 1662.25 Current children cumulated vsize (KiB) 2642492 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15164 /proc/meminfo: memFree=28003980/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2730728 CPUtime=1722.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 671991 0 0 0 164271 7954 0 0 25 0 1 0 133844027 2796265472 671018 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 682682 671018 393 719 0 681961 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 2730728 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15166 /proc/meminfo: memFree=27919008/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2796216 CPUtime=1782.25 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 688454 0 0 0 170014 8211 0 0 25 0 1 0 133844027 2863325184 687481 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 699054 687481 393 719 0 698333 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 2796216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15166 /proc/meminfo: memFree=27893448/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2817268 CPUtime=1800.05 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 693768 0 0 0 171710 8295 0 0 25 0 1 0 133844027 2884882432 692795 4089446400 4194304 7136930 140733732692112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15086/statm: 704317 692795 393 719 0 703596 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2817268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15086 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15167 /proc/meminfo: memFree=27893068/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2817268 CPUtime=1801.35 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 693788 0 0 0 171840 8295 0 0 19 0 1 0 133844027 2884882432 692815 4089446400 4194304 7136930 140733732692112 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15086/statm: 704317 692815 399 719 0 703596 0 Current children cumulated CPU time (s) 1801.35 Current children cumulated vsize (KiB) 2817268 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15167 /proc/meminfo: memFree=27893068/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2817268 CPUtime=1801.76 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 693788 0 0 0 171881 8295 0 0 20 0 1 0 133844027 2884882432 692815 4089446400 4194304 7136930 140733732692112 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15086/statm: 704317 692815 399 719 0 703596 0 Current children cumulated CPU time (s) 1801.76 Current children cumulated vsize (KiB) 2817268 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15167 /proc/meminfo: memFree=27893068/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2817268 CPUtime=1801.95 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 693788 0 0 0 171900 8295 0 0 20 0 1 0 133844027 2884882432 692815 4089446400 4194304 7136930 140733732692112 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15086/statm: 704317 692815 399 719 0 703596 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 2817268 [startup+1802.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15167 /proc/meminfo: memFree=27893068/32951132 swapFree=67111528/67111528 [pid=15086] ppid=15084 vsize=2817268 CPUtime=1802.05 /proc/15086/stat : 15086 (pbscip.linux.x8) R 15084 15086 13334 0 -1 4202496 693788 0 0 0 171910 8295 0 0 20 0 1 0 133844027 2884882432 692815 4089446400 4194304 7136930 140733732692112 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15086/statm: 704317 692815 399 719 0 703596 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2817268 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.2 CPU time (s): 1802.16 CPU user time (s): 1719.11 CPU system time (s): 83.0444 CPU usage (%): 99.9977 Max. virtual memory (cumulated for all children) (KiB): 2817268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1719.11 system time used= 83.0444 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 693788 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1062 runsolver used 2.36864 second user time and 5.84911 second system time The end
Begin job on node131 at 2010-06-30 21:17:54 IDJOB=2693587 IDBENCH=79260 IDSOLVER=1206 FILE ID=node131/2693587-1277925474 PBS_JOBID= 11197294 Free space on /tmp= 74140 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.1900558739--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-2693587-1277925474/watcher-2693587-1277925474 -o /tmp/evaluation-result-2693587-1277925474/solver-2693587-1277925474 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693587-1277925474.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 96d1f19cba40c7363abd0128bfda9b7c RANDOM SEED=1679227375 node131.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.836 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.82 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.836 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.76 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.836 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.836 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.836 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: 32951132 kB MemFree: 31272824 kB Buffers: 209860 kB Cached: 1136932 kB SwapCached: 0 kB Active: 711780 kB Inactive: 821856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31272824 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 187168 kB Mapped: 20504 kB Slab: 80944 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1655124 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node131 at 2010-06-30 21:47:57