Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo |
| MD5SUM | c1a8bf15a5939881d6e0f7761d224808 |
| 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 | 474.358 |
| 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 | 713 |
| 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-2693639-1277928027.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.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.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.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379720e+05 | Inf
3.09/3.11 c 3.0s| 10000 | 9606 | 0 | 0.0 | 24M|2816 | - |5645 |6813 | 0 | 0 | 0 |1399 | 0 | 0.000000e+00 | 1.379720e+05 | Inf
3.79/3.80 o 772
3.79/3.80 c * 3.7s| 12583 | 12187 | 0 | 0.0 | 25M|2816 | - |5645 |6813 | 0 | 0 | 0 |1399 | 0 | 0.000000e+00 | 7.720000e+02 | Inf
3.79/3.86 o 753
3.79/3.86 c * 3.8s| 12709 | 12309 | 0 | 0.0 | 26M|2816 | - |5645 |6823 | 0 | 0 | 0 |1409 | 0 | 0.000000e+00 | 7.530000e+02 | Inf
3.79/3.86 o 731
3.79/3.86 c * 3.8s| 12710 | 12308 | 0 | 0.0 | 25M|2816 | - |5645 |6823 | 0 | 0 | 0 |1409 | 0 | 0.000000e+00 | 7.310000e+02 | Inf
3.89/3.92 o 546
3.89/3.92 c * 3.8s| 12835 | 6058 | 0 | 0.0 | 24M|2816 | - |5645 |6835 | 0 | 0 | 0 |1421 | 0 | 0.000000e+00 | 5.460000e+02 | Inf
3.89/3.92 o 541
3.89/3.92 c * 3.8s| 12841 | 5798 | 0 | 0.0 | 24M|2816 | - |5645 |6845 | 0 | 0 | 0 |1431 | 0 | 0.000000e+00 | 5.410000e+02 | Inf
3.89/3.98 o 524
3.89/3.98 c * 3.9s| 12963 | 5708 | 0 | 0.0 | 24M|2816 | - |5645 |6865 | 0 | 0 | 0 |1451 | 0 | 0.000000e+00 | 5.240000e+02 | Inf
5.29/5.36 o 255
5.29/5.36 c * 5.2s| 17831 | 6942 | 0 | 0.0 | 24M|2816 | - |5645 |6939 | 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
5.29/5.36 o 225
5.29/5.36 c * 5.2s| 17832 | 6934 | 0 | 0.0 | 24M|2816 | - |5645 |6939 | 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
5.99/6.06 c 5.9s| 20000 | 8797 | 0 | 0.0 | 27M|2816 | - |5645 |7698 | 0 | 0 | 0 |2923 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
9.90/9.99 c 9.7s| 30000 | 16508 | 0 | 0.0 | 39M|2816 | - |5645 |8296 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.250000e+02 | Inf
15.69/15.77 o 223
15.69/15.77 c *15.4s| 39047 | 21946 | 0 | 0.0 | 51M|2816 | - |5645 |9323 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.230000e+02 | Inf
16.29/16.35 c 16.0s| 40000 | 22856 | 0 | 0.0 | 52M|2816 | - |5645 |9144 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.230000e+02 | Inf
16.89/16.91 o 215
16.89/16.91 c *16.6s| 40891 | 23664 | 0 | 0.0 | 53M|2816 | - |5645 |9114 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
17.79/17.84 o 210
17.79/17.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.79/17.84 c *17.5s| 42211 | 24816 | 0 | 0.0 | 57M|2816 | - |5645 |8954 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
17.79/17.85 o 200
17.79/17.85 c *17.5s| 42222 | 24653 | 0 | 0.0 | 56M|2816 | - |5645 |8954 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
17.79/17.85 o 195
17.79/17.85 c *17.5s| 42223 | 24597 | 0 | 0.0 | 55M|2816 | - |5645 |8954 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
17.89/17.93 o 182
17.89/17.93 c *17.6s| 42374 | 24593 | 0 | 0.0 | 54M|2816 | - |5645 |8927 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
17.99/18.07 o 179
17.99/18.07 c *17.7s| 42595 | 24762 | 0 | 0.0 | 54M|2816 | - |5645 |8842 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
17.99/18.07 o 178
17.99/18.07 c *17.7s| 42596 | 24735 | 0 | 0.0 | 54M|2816 | - |5645 |8842 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
18.09/18.19 o 171
18.09/18.19 c *17.8s| 42794 | 24856 | 0 | 0.0 | 54M|2816 | - |5645 |8762 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
18.09/18.19 o 147
18.09/18.19 c *17.8s| 42795 | 24570 | 0 | 0.0 | 53M|2816 | - |5645 |8762 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
18.69/18.72 o 146
18.69/18.72 c *18.3s| 43582 | 25283 | 0 | 0.0 | 54M|2816 | - |5645 |8510 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
19.59/19.63 o 129
19.59/19.63 c *19.2s| 44928 | 26193 | 0 | 0.0 | 55M|2816 | - |5645 |8410 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
19.80/19.80 o 126
19.80/19.80 c *19.4s| 45194 | 26390 | 0 | 0.0 | 56M|2816 | - |5645 |8301 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
22.29/22.32 o 116
22.29/22.32 c *21.9s| 49560 | 30244 | 0 | 0.0 | 61M|2816 | - |5645 |7586 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
22.29/22.33 o 99
22.29/22.33 c *21.9s| 49561 | 29589 | 0 | 0.0 | 60M|2816 | - |5645 |7586 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
22.59/22.60 c 22.2s| 50000 | 29992 | 0 | 0.0 | 61M|2816 | - |5645 |7618 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
27.29/27.39 o 94
27.29/27.39 c *26.9s| 55993 | 34719 | 0 | 0.0 | 70M|2816 | - |5645 |7519 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
29.59/29.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.59/29.66 c 29.1s| 60000 | 38217 | 0 | 0.0 | 75M|2816 | - |5645 |7709 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
29.80/29.85 o 88
29.80/29.85 c *29.3s| 60142 | 37799 | 0 | 0.0 | 74M|2816 | - |5645 |7635 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
31.39/31.42 o 82
31.39/31.42 c *30.8s| 61722 | 38632 | 0 | 0.0 | 76M|2816 | - |5645 |7741 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
33.79/33.80 o 61
33.79/33.80 c *33.2s| 64112 | 39048 | 0 | 0.0 | 73M|2816 | - |5645 |7162 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
33.79/33.80 o 49
33.79/33.80 c *33.2s| 64113 | 38329 | 0 | 0.0 | 72M|2816 | - |5645 |7162 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
35.99/36.05 o 48
35.99/36.05 c *35.4s| 67992 | 41505 | 0 | 0.0 | 76M|2816 | - |5645 |6589 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
37.29/37.32 c 36.6s| 70000 | 43220 | 0 | 0.0 | 78M|2816 | - |5645 |6440 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
37.79/37.88 o 24
37.79/37.88 c *37.2s| 71011 | 41851 | 0 | 0.0 | 74M|2816 | - |5645 |6871 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
41.99/42.08 c 41.3s| 80000 | 49127 | 0 | 0.0 | 85M|2816 | - |5645 |7775 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
46.49/46.57 c 45.7s| 90000 | 57142 | 0 | 0.0 | 97M|2816 | - |5645 |8641 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
50.59/50.64 c 49.7s|100000 | 65306 | 0 | 0.0 | 107M|2816 | - |5645 |8063 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
55.00/55.06 c 54.0s|110000 | 73014 | 0 | 0.0 | 117M|2816 | - |5645 |8767 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
59.69/59.74 c 58.6s|120000 | 80499 | 0 | 0.0 | 128M|2816 | - |5645 |9218 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
65.49/65.51 c 64.2s|130000 | 87157 | 0 | 0.0 | 139M|2816 | - |5645 |9843 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
71.69/71.76 c 70.4s|140000 | 93429 | 0 | 0.0 | 151M|2816 | - |5645 | 10k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
78.59/78.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.59/78.62 c 77.2s|150000 | 99228 | 0 | 0.0 | 162M|2816 | - |5645 | 11k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
86.40/86.42 c 84.9s|160000 |104288 | 0 | 0.0 | 174M|2816 | - |5645 | 12k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
94.99/95.04 c 93.4s|170000 |108741 | 0 | 0.0 | 186M|2816 | - |5645 | 12k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
105.09/105.19 c 103s|180000 |112050 | 0 | 0.0 | 197M|2816 | - |5645 | 13k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
117.09/117.19 c 115s|190000 |113998 | 0 | 0.0 | 204M|2816 | - |5645 | 11k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
122.19/122.26 c 120s|200000 |122622 | 0 | 0.0 | 215M|2816 | - |5645 |6813 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
128.59/128.69 o 19
128.59/128.69 c * 127s|208838 |128389 | 0 | 0.0 | 226M|2816 | - |5645 |8392 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
129.99/130.09 c 128s|210000 |128852 | 0 | 0.0 | 229M|2816 | - |5645 |9199 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
133.39/133.43 o 17
133.39/133.43 c * 131s|216376 |133343 | 0 | 0.0 | 233M|2816 | - |5645 |8475 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
135.79/135.83 c 134s|220000 |136004 | 0 | 0.0 | 238M|2816 | - |5645 |9515 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
135.79/135.86 o 16
135.79/135.86 c * 134s|220045 |135892 | 0 | 0.0 | 238M|2816 | - |5645 |9556 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
142.59/142.69 c 140s|230000 |142310 | 0 | 0.0 | 251M|2816 | - |5645 |8883 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
148.50/148.56 c 146s|240000 |150222 | 0 | 0.0 | 263M|2816 | - |5645 |9765 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
152.69/152.76 o 11
152.69/152.76 c * 150s|246307 |153375 | 0 | 0.0 | 263M|2816 | - |5645 | 10k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
152.69/152.77 o 5
152.69/152.77 c * 150s|246308 |151661 | 0 | 0.0 | 256M|2816 | - |5645 | 10k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
155.89/155.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.89/155.92 c 153s|250000 |154145 | 0 | 0.0 | 264M|2816 | - |5645 | 11k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
166.69/166.73 c 164s|260000 |157292 | 0 | 0.0 | 275M|2816 | - |5645 | 10k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
172.99/173.05 c 170s|270000 |164387 | 0 | 0.0 | 288M|2816 | - |5645 | 12k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
180.99/181.08 c 178s|280000 |169595 | 0 | 0.0 | 301M|2816 | - |5645 | 14k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
186.29/186.30 c 183s|290000 |177741 | 0 | 0.0 | 310M|2816 | - |5645 | 12k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
193.49/193.55 c 191s|300000 |184543 | 0 | 0.0 | 321M|2816 | - |5645 | 15k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
201.79/201.83 c 199s|310000 |189658 | 0 | 0.0 | 332M|2816 | - |5645 | 13k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
209.19/209.24 c 206s|320000 |196810 | 0 | 0.0 | 347M|2816 | - |5645 | 14k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
219.99/220.08 c 217s|330000 |201738 | 0 | 0.0 | 362M|2816 | - |5645 | 15k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
226.10/226.10 c 223s|340000 |209788 | 0 | 0.0 | 380M|2816 | - |5645 | 14k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
234.09/234.14 c 231s|350000 |217014 | 0 | 0.0 | 400M|2816 | - |5645 | 16k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
245.20/245.28 c 242s|360000 |222959 | 0 | 0.0 | 435M|2816 | - |5645 | 19k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
253.49/253.53 c 250s|370000 |228293 | 0 | 0.0 | 444M|2816 | - |5645 | 12k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
259.39/259.43 c 256s|380000 |234857 | 0 | 0.0 | 454M|2816 | - |5645 | 12k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
264.00/264.07 c 260s|390000 |242756 | 0 | 0.0 | 463M|2816 | - |5645 | 12k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
271.50/271.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.50/271.53 c 267s|400000 |247820 | 0 | 0.0 | 473M|2816 | - |5645 | 15k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
277.00/277.00 c 273s|410000 |254945 | 0 | 0.0 | 483M|2816 | - |5645 | 14k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
282.29/282.32 c 278s|420000 |262216 | 0 | 0.0 | 493M|2816 | - |5645 | 12k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
287.89/287.93 c 284s|430000 |269299 | 0 | 0.0 | 503M|2816 | - |5645 | 13k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
294.80/294.85 c 290s|440000 |275263 | 0 | 0.0 | 513M|2816 | - |5645 | 13k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
301.40/301.50 c 297s|450000 |281191 | 0 | 0.0 | 522M|2816 | - |5645 | 14k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
307.50/307.51 c 303s|460000 |287765 | 0 | 0.0 | 532M|2816 | - |5645 | 13k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
313.90/313.98 c 309s|470000 |294001 | 0 | 0.0 | 542M|2816 | - |5645 | 14k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
319.50/319.55 c 315s|480000 |301126 | 0 | 0.0 | 551M|2816 | - |5645 | 13k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
324.90/324.97 c 320s|490000 |308452 | 0 | 0.0 | 560M|2816 | - |5645 | 13k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
331.00/331.04 c 326s|500000 |315205 | 0 | 0.0 | 570M|2816 | - |5645 | 13k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
336.49/336.57 c 331s|510000 |322349 | 0 | 0.0 | 579M|2816 | - |5645 | 12k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
342.50/342.59 c 337s|520000 |329011 | 0 | 0.0 | 589M|2816 | - |5645 | 14k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
348.50/348.59 c 343s|530000 |335619 | 0 | 0.0 | 599M|2816 | - |5645 | 14k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
353.60/353.66 c 348s|540000 |343132 | 0 | 0.0 | 608M|2816 | - |5645 | 13k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
360.00/360.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.00/360.00 c 354s|550000 |349419 | 0 | 0.0 | 616M|2816 | - |5645 | 10k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
363.89/363.98 c 358s|560000 |357449 | 0 | 0.0 | 625M|2816 | - |5645 |7790 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
368.10/368.18 c 362s|570000 |365177 | 0 | 0.0 | 634M|2816 | - |5645 |7667 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
373.90/373.95 c 368s|580000 |371571 | 0 | 0.0 | 645M|2816 | - |5645 |9866 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
380.49/380.55 c 375s|590000 |377516 | 0 | 0.0 | 656M|2816 | - |5645 | 10k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
387.50/387.50 c 381s|600000 |383223 | 0 | 0.0 | 666M|2816 | - |5645 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
394.70/394.70 c 389s|610000 |388636 | 0 | 0.0 | 677M|2816 | - |5645 | 11k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
402.10/402.19 c 396s|620000 |393853 | 0 | 0.0 | 687M|2816 | - |5645 | 11k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
410.31/410.31 c 404s|630000 |398575 | 0 | 0.0 | 697M|2816 | - |5645 | 11k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
418.50/418.51 c 412s|640000 |403269 | 0 | 0.0 | 708M|2816 | - |5645 | 11k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
426.70/426.79 c 420s|650000 |407843 | 0 | 0.0 | 717M|2816 | - |5645 | 11k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
435.39/435.49 c 429s|660000 |412109 | 0 | 0.0 | 727M|2816 | - |5645 | 11k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
444.40/444.42 c 438s|670000 |416192 | 0 | 0.0 | 737M|2816 | - |5645 | 12k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
454.00/454.06 c 447s|680000 |419846 | 0 | 0.0 | 747M|2816 | - |5645 | 12k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
463.79/463.82 c 457s|690000 |423394 | 0 | 0.0 | 757M|2816 | - |5645 | 12k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
473.80/473.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.80/473.86 c 467s|700000 |426690 | 0 | 0.0 | 767M|2816 | - |5645 | 13k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
484.10/484.11 c 477s|710000 |429797 | 0 | 0.0 | 777M|2816 | - |5645 | 13k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
494.29/494.34 c 487s|720000 |432947 | 0 | 0.0 | 786M|2816 | - |5645 | 14k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
505.10/505.16 c 498s|730000 |435656 | 0 | 0.0 | 796M|2816 | - |5645 | 14k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
516.01/516.06 c 508s|740000 |438327 | 0 | 0.0 | 804M|2816 | - |5645 | 14k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
527.50/527.55 c 520s|750000 |440732 | 0 | 0.0 | 812M|2816 | - |5645 | 14k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
540.21/540.26 c 532s|760000 |442169 | 0 | 0.0 | 820M|2816 | - |5645 | 15k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
553.41/553.48 c 546s|770000 |443496 | 0 | 0.0 | 827M|2816 | - |5645 | 15k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
567.30/567.32 c 559s|780000 |444368 | 0 | 0.0 | 834M|2816 | - |5645 | 16k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
580.91/580.95 c 573s|790000 |445516 | 0 | 0.0 | 841M|2816 | - |5645 | 17k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
596.10/596.17 c 588s|800000 |445572 | 0 | 0.0 | 846M|2816 | - |5645 | 18k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
613.30/613.38 c 605s|810000 |444360 | 0 | 0.0 | 849M|2816 | - |5645 | 19k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
623.30/623.34 c 615s|820000 |448445 | 0 | 0.0 | 847M|2816 | - |5645 |5397 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
627.70/627.72 c 619s|830000 |456132 | 0 | 0.0 | 857M|2816 | - |5645 |5903 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
632.31/632.35 c 624s|840000 |463532 | 0 | 0.0 | 868M|2816 | - |5645 |6488 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
637.50/637.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.50/637.59 c 629s|850000 |470377 | 0 | 0.0 | 878M|2816 | - |5645 |7096 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
644.10/644.13 c 635s|860000 |476444 | 0 | 0.0 | 890M|2816 | - |5645 |7380 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
651.80/651.83 c 643s|870000 |481770 | 0 | 0.0 | 901M|2816 | - |5645 |8558 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
660.80/660.87 c 652s|880000 |486159 | 0 | 0.0 | 912M|2816 | - |5645 |9444 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
672.20/672.24 c 663s|890000 |488742 | 0 | 0.0 | 923M|2816 | - |5645 | 10k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
687.80/687.85 c 678s|900000 |487701 | 0 | 0.0 | 929M|2816 | - |5645 | 12k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
693.61/693.67 c 684s|910000 |495036 | 0 | 0.0 | 938M|2816 | - |5645 |6645 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
699.50/699.50 c 690s|920000 |501756 | 0 | 0.0 | 949M|2816 | - |5645 |7666 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
705.80/705.80 c 696s|930000 |507751 | 0 | 0.0 | 959M|2816 | - |5645 |9331 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
713.60/713.68 c 704s|940000 |512569 | 0 | 0.0 | 970M|2816 | - |5645 | 11k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
724.80/724.85 c 715s|950000 |515010 | 0 | 0.0 | 981M|2816 | - |5645 | 14k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
736.10/736.14 c 726s|960000 |517863 | 0 | 0.0 | 986M|2816 | - |5645 |9807 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
741.41/741.45 c 731s|970000 |524998 | 0 | 0.0 | 996M|2816 | - |5645 |8623 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
747.21/747.20 c 737s|980000 |531621 | 0 | 0.0 |1006M|2816 | - |5645 |8421 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
753.10/753.19 c 743s|990000 |538060 | 0 | 0.0 |1016M|2816 | - |5645 |8292 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
759.30/759.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.30/759.35 c 749s| 1000k|544212 | 0 | 0.0 |1025M|2816 | - |5645 |8615 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
765.80/765.88 c 755s| 1010k|550139 | 0 | 0.0 |1034M|2816 | - |5645 |8835 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
772.80/772.85 c 762s| 1020k|555757 | 0 | 0.0 |1043M|2816 | - |5645 |8996 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
779.80/779.90 c 769s| 1030k|561245 | 0 | 0.0 |1053M|2816 | - |5645 |9443 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
786.90/786.99 c 776s| 1040k|566773 | 0 | 0.0 |1061M|2816 | - |5645 |9666 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
794.00/794.08 c 783s| 1050k|572357 | 0 | 0.0 |1070M|2816 | - |5645 |9938 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
801.30/801.34 c 790s| 1060k|577933 | 0 | 0.0 |1079M|2816 | - |5645 | 10k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
808.91/808.96 c 798s| 1070k|583214 | 0 | 0.0 |1089M|2816 | - |5645 | 11k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
816.50/816.50 o 4
816.50/816.50 c * 805s| 1079k|587643 | 0 | 0.0 |1097M|2816 | - |5645 | 12k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
817.10/817.15 c 806s| 1080k|588035 | 0 | 0.0 |1098M|2816 | - |5645 | 12k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
826.30/826.31 c 815s| 1090k|592592 | 0 | 0.0 |1108M|2816 | - |5645 | 13k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
837.00/837.04 c 825s| 1100k|596178 | 0 | 0.0 |1118M|2816 | - |5645 | 15k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
849.70/849.76 c 838s| 1110k|598620 | 0 | 0.0 |1127M|2816 | - |5645 | 17k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
864.71/864.73 c 853s| 1120k|599693 | 0 | 0.0 |1131M|2816 | - |5645 | 16k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
870.40/870.40 c 858s| 1130k|606970 | 0 | 0.0 |1139M|2816 | - |5645 |7918 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
875.81/875.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.81/875.83 c 863s| 1140k|613910 | 0 | 0.0 |1150M|2816 | - |5645 |8425 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
882.10/882.12 c 870s| 1150k|620102 | 0 | 0.0 |1160M|2816 | - |5645 |9971 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
889.31/889.32 c 877s| 1160k|625525 | 0 | 0.0 |1170M|2816 | - |5645 | 11k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
898.10/898.13 c 885s| 1170k|629853 | 0 | 0.0 |1180M|2816 | - |5645 | 13k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
909.30/909.30 c 896s| 1180k|632693 | 0 | 0.0 |1188M|2816 | - |5645 | 14k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
916.01/916.04 c 903s| 1190k|638882 | 0 | 0.0 |1194M|2816 | - |5645 |9395 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
921.41/921.47 c 908s| 1200k|645748 | 0 | 0.0 |1204M|2816 | - |5645 |9606 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
927.60/927.63 c 914s| 1210k|652001 | 0 | 0.0 |1214M|2816 | - |5645 | 11k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
935.21/935.27 c 922s| 1220k|657161 | 0 | 0.0 |1224M|2816 | - |5645 | 13k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
946.90/947.00 c 934s| 1230k|659604 | 0 | 0.0 |1234M|2816 | - |5645 | 17k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
956.11/956.19 c 943s| 1240k|664682 | 0 | 0.0 |1239M|2816 | - |5645 |9646 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
960.61/960.68 c 947s| 1250k|672438 | 0 | 0.0 |1248M|2816 | - |5645 |7904 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
965.31/965.37 c 952s| 1260k|679955 | 0 | 0.0 |1257M|2816 | - |5645 |7814 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
970.21/970.21 c 956s| 1270k|687312 | 0 | 0.0 |1266M|2816 | - |5645 |8034 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
975.41/975.46 c 962s| 1280k|694292 | 0 | 0.0 |1276M|2816 | - |5645 |8460 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
982.01/982.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.01/982.03 c 968s| 1290k|700191 | 0 | 0.0 |1286M|2816 | - |5645 |9639 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
989.21/989.23 c 975s| 1300k|705665 | 0 | 0.0 |1296M|2816 | - |5645 | 10k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
996.80/996.81 c 983s| 1310k|710959 | 0 | 0.0 |1306M|2816 | - |5645 | 11k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1005.11/1005.18 c 991s| 1320k|715808 | 0 | 0.0 |1316M|2816 | - |5645 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1014.71/1014.78 c 1000s| 1330k|719769 | 0 | 0.0 |1326M|2816 | - |5645 | 14k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1025.41/1025.42 c 1011s| 1340k|723068 | 0 | 0.0 |1335M|2816 | - |5645 | 15k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1038.31/1038.36 c 1024s| 1350k|725169 | 0 | 0.0 |1343M|2816 | - |5645 | 18k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1048.51/1048.51 c 1034s| 1360k|729563 | 0 | 0.0 |1348M|2816 | - |5645 |9916 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1053.01/1053.09 c 1038s| 1370k|737253 | 0 | 0.0 |1356M|2816 | - |5645 |8822 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1058.51/1058.51 c 1043s| 1380k|744127 | 0 | 0.0 |1366M|2816 | - |5645 |9052 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1064.51/1064.51 c 1049s| 1390k|750531 | 0 | 0.0 |1376M|2816 | - |5645 |9181 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1071.01/1071.04 c 1056s| 1400k|756548 | 0 | 0.0 |1386M|2816 | - |5645 |9414 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1078.21/1078.22 c 1063s| 1410k|762053 | 0 | 0.0 |1396M|2816 | - |5645 |9947 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1085.60/1085.64 c 1070s| 1420k|767344 | 0 | 0.0 |1406M|2816 | - |5645 | 10k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1093.11/1093.17 c 1078s| 1430k|772656 | 0 | 0.0 |1416M|2816 | - |5645 | 10k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1101.40/1101.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.40/1101.43 c 1086s| 1440k|777347 | 0 | 0.0 |1425M|2816 | - |5645 | 11k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1110.02/1110.09 c 1094s| 1450k|781915 | 0 | 0.0 |1434M|2816 | - |5645 | 12k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1119.11/1119.13 c 1103s| 1460k|786282 | 0 | 0.0 |1443M|2816 | - |5645 | 12k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1128.21/1128.26 c 1112s| 1470k|790483 | 0 | 0.0 |1451M|2816 | - |5645 | 13k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1139.21/1139.25 c 1123s| 1480k|793490 | 0 | 0.0 |1459M|2816 | - |5645 | 15k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1149.01/1149.03 c 1133s| 1490k|797962 | 0 | 0.0 |1463M|2816 | - |5645 |9675 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1154.51/1154.51 c 1138s| 1500k|805081 | 0 | 0.0 |1473M|2816 | - |5645 |9299 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1160.21/1160.21 c 1144s| 1510k|811975 | 0 | 0.0 |1483M|2816 | - |5645 |9425 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1166.12/1166.13 c 1149s| 1520k|818602 | 0 | 0.0 |1493M|2816 | - |5645 |9736 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1172.31/1172.34 c 1156s| 1530k|825066 | 0 | 0.0 |1503M|2816 | - |5645 |9785 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1178.91/1178.95 c 1162s| 1540k|831183 | 0 | 0.0 |1513M|2816 | - |5645 |9992 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1185.91/1185.98 c 1169s| 1550k|836958 | 0 | 0.0 |1523M|2816 | - |5645 | 10k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1193.11/1193.11 c 1176s| 1560k|842643 | 0 | 0.0 |1533M|2816 | - |5645 | 10k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1200.52/1200.54 c 1183s| 1570k|848103 | 0 | 0.0 |1542M|2816 | - |5645 | 11k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1208.41/1208.45 c 1191s| 1580k|853276 | 0 | 0.0 |1552M|2816 | - |5645 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1216.41/1216.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.41/1216.47 c 1199s| 1590k|858426 | 0 | 0.0 |1561M|2816 | - |5645 | 11k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1224.71/1224.70 c 1207s| 1600k|863418 | 0 | 0.0 |1570M|2816 | - |5645 | 12k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1233.41/1233.49 c 1216s| 1610k|868138 | 0 | 0.0 |1579M|2816 | - |5645 | 12k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1242.42/1242.42 c 1225s| 1620k|872815 | 0 | 0.0 |1589M|2816 | - |5645 | 12k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1252.21/1252.27 c 1234s| 1630k|877003 | 0 | 0.0 |1598M|2816 | - |5645 | 13k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1262.11/1262.16 c 1244s| 1640k|881189 | 0 | 0.0 |1606M|2816 | - |5645 | 14k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1273.22/1273.26 c 1255s| 1650k|884703 | 0 | 0.0 |1614M|2816 | - |5645 | 15k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1286.31/1286.32 c 1268s| 1660k|887147 | 0 | 0.0 |1621M|2816 | - |5645 | 18k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1298.21/1298.21 c 1280s| 1670k|891225 | 0 | 0.0 |1626M|2816 | - |5645 | 15k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1304.72/1304.72 c 1286s| 1680k|898326 | 0 | 0.0 |1636M|2816 | - |5645 | 12k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1311.51/1311.55 c 1293s| 1690k|904963 | 0 | 0.0 |1646M|2816 | - |5645 | 12k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1319.12/1319.10 c 1300s| 1700k|910942 | 0 | 0.0 |1657M|2816 | - |5645 | 13k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1327.91/1327.97 c 1309s| 1710k|915944 | 0 | 0.0 |1668M|2816 | - |5645 | 15k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1339.11/1339.19 c 1320s| 1720k|919473 | 0 | 0.0 |1677M|2816 | - |5645 | 17k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1352.92/1352.96 c 1334s| 1730k|921612 | 0 | 0.0 |1685M|2816 | - |5645 | 17k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1359.21/1359.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.21/1359.26 c 1340s| 1740k|929117 | 0 | 0.0 |1694M|2816 | - |5645 | 13k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1365.51/1365.50 c 1346s| 1750k|936158 | 0 | 0.0 |1703M|2816 | - |5645 | 13k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1372.61/1372.60 c 1353s| 1760k|942484 | 0 | 0.0 |1714M|2816 | - |5645 | 13k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1380.32/1380.37 c 1361s| 1770k|948317 | 0 | 0.0 |1725M|2816 | - |5645 | 13k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1388.62/1388.61 c 1369s| 1780k|953737 | 0 | 0.0 |1735M|2816 | - |5645 | 13k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1397.02/1397.03 c 1377s| 1790k|958952 | 0 | 0.0 |1746M|2816 | - |5645 | 13k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1405.42/1405.47 c 1385s| 1800k|964126 | 0 | 0.0 |1755M|2816 | - |5645 | 13k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1413.81/1413.81 c 1394s| 1810k|969465 | 0 | 0.0 |1764M|2816 | - |5645 | 14k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1422.62/1422.67 c 1402s| 1820k|974472 | 0 | 0.0 |1773M|2816 | - |5645 | 14k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1431.81/1431.85 c 1411s| 1830k|979364 | 0 | 0.0 |1783M|2816 | - |5645 | 15k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1443.62/1443.69 c 1423s| 1840k|982439 | 0 | 0.0 |1792M|2816 | - |5645 | 18k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1452.41/1452.45 c 1432s| 1850k|988296 | 0 | 0.0 |1799M|2816 | - |5645 | 15k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1458.91/1458.90 c 1438s| 1860k|995333 | 0 | 0.0 |1809M|2816 | - |5645 | 14k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1465.81/1465.84 c 1445s| 1870k| 1001k| 0 | 0.0 |1819M|2816 | - |5645 | 14k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1474.02/1474.06 c 1453s| 1880k| 1007k| 0 | 0.0 |1829M|2816 | - |5645 | 15k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1484.92/1485.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.92/1485.00 c 1464s| 1890k| 1010k| 0 | 0.0 |1840M|2816 | - |5645 | 18k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1498.61/1498.61 c 1477s| 1900k| 1013k| 0 | 0.0 |1848M|2816 | - |5645 | 19k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1505.02/1505.09 c 1484s| 1910k| 1021k| 0 | 0.0 |1857M|2816 | - |5645 | 14k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1511.02/1511.04 c 1490s| 1920k| 1028k| 0 | 0.0 |1866M|2816 | - |5645 | 13k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1517.21/1517.22 c 1496s| 1930k| 1035k| 0 | 0.0 |1876M|2816 | - |5645 | 14k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1523.72/1523.76 c 1502s| 1940k| 1042k| 0 | 0.0 |1886M|2816 | - |5645 | 14k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1530.52/1530.59 c 1509s| 1950k| 1049k| 0 | 0.0 |1896M|2816 | - |5645 | 14k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1537.42/1537.45 c 1516s| 1960k| 1056k| 0 | 0.0 |1906M|2816 | - |5645 | 14k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1544.82/1544.88 c 1523s| 1970k| 1062k| 0 | 0.0 |1916M|2816 | - |5645 | 15k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1552.72/1552.79 c 1531s| 1980k| 1068k| 0 | 0.0 |1925M|2816 | - |5645 | 15k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1562.13/1562.17 c 1540s| 1990k| 1073k| 0 | 0.0 |1935M|2816 | - |5645 | 16k| 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1573.22/1573.20 c 1551s| 2000k| 1077k| 0 | 0.0 |1945M|2816 | - |5645 | 17k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1584.02/1584.09 c 1562s| 2010k| 1082k| 0 | 0.0 |1955M|2816 | - |5645 | 17k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1595.51/1595.50 c 1573s| 2020k| 1086k| 0 | 0.0 |1964M|2816 | - |5645 | 17k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1605.82/1605.80 c 1583s| 2030k| 1090k| 0 | 0.0 |1972M|2816 | - |5645 | 18k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1616.52/1616.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.52/1616.50 c 1594s| 2040k| 1095k| 0 | 0.0 |1981M|2816 | - |5645 | 18k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1626.52/1626.52 c 1604s| 2050k| 1100k| 0 | 0.0 |1991M|2816 | - |5645 | 18k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1637.11/1637.17 c 1614s| 2060k| 1105k| 0 | 0.0 |2001M|2816 | - |5645 | 18k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1647.62/1647.62 c 1625s| 2070k| 1110k| 0 | 0.0 |2010M|2816 | - |5645 | 18k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1657.62/1657.70 c 1635s| 2080k| 1115k| 0 | 0.0 |2020M|2816 | - |5645 | 18k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1669.02/1669.04 c 1646s| 2090k| 1120k| 0 | 0.0 |2031M|2816 | - |5645 | 20k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1684.82/1684.81 c 1661s| 2100k| 1122k| 0 | 0.0 |2040M|2816 | - |5645 | 22k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1693.32/1693.36 c 1670s| 2110k| 1128k| 0 | 0.0 |2047M|2816 | - |5645 | 16k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1700.12/1700.14 c 1677s| 2120k| 1135k| 0 | 0.0 |2057M|2816 | - |5645 | 15k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1707.72/1707.74 c 1684s| 2130k| 1141k| 0 | 0.0 |2067M|2816 | - |5645 | 15k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1718.12/1718.16 c 1694s| 2140k| 1146k| 0 | 0.0 |2079M|2816 | - |5645 | 17k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1733.63/1733.65 c 1710s| 2150k| 1147k| 0 | 0.0 |2087M|2816 | - |5645 | 22k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1740.73/1740.73 c 1717s| 2160k| 1154k| 0 | 0.0 |2095M|2816 | - |5645 | 16k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1747.62/1747.62 c 1723s| 2170k| 1161k| 0 | 0.0 |2105M|2816 | - |5645 | 16k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1755.52/1755.59 c 1731s| 2180k| 1167k| 0 | 0.0 |2114M|2816 | - |5645 | 16k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1765.82/1765.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.82/1765.83 c 1741s| 2190k| 1172k| 0 | 0.0 |2125M|2816 | - |5645 | 19k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1778.42/1778.41 c 1754s| 2200k| 1175k| 0 | 0.0 |2133M|2816 | - |5645 | 20k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1785.43/1785.43 c 1761s| 2210k| 1183k| 0 | 0.0 |2142M|2816 | - |5645 | 18k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1792.92/1792.91 c 1768s| 2220k| 1189k| 0 | 0.0 |2152M|2816 | - |5645 | 17k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1775.19
1800.03/1800.00 c Solving Nodes : 2228059
1800.03/1800.00 c Primal Bound : +4.00000000000000e+00 (39 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.06 s SATISFIABLE
1800.03/1800.06 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.06 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.06 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.06 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.06 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.06 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.06 v -x104 -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.03/1800.06 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.03/1800.06 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.03/1800.06 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.03/1800.06 v -x1
1800.03/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.06 c Solving Time : 1775.19
1800.03/1800.06 c Original Problem :
1800.03/1800.06 c Problem name : HOME/instance-2693639-1277928027.wbo
1800.03/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.06 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.06 c Presolved Problem :
1800.03/1800.06 c Problem name : t_HOME/instance-2693639-1277928027.wbo
1800.03/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.06 c Constraints : 5414 initial, 22986 maximal
1800.03/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.06 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.03/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c root node : - 2615 - - 5230 - - - -
1800.03/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.06 c indicator : 2707 0 5817423 0 1538957 127 2495069 0 0 0
1800.03/1800.06 c linear : 2707 0 7378173 0 1856547 534615 44911260 0 0 0
1800.03/1800.06 c logicor : 0+ 0 3404682 0 0 69688 2417805 0 0 0
1800.03/1800.06 c countsols : 0 0 0 0 1856572 0 0 0 0 0
1800.03/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.06 c indicator : 20.72 0.00 10.22 0.00 10.50
1800.03/1800.06 c linear : 447.67 0.00 445.91 0.00 1.76
1800.03/1800.06 c logicor : 286.58 0.00 286.58 0.00 0.00
1800.03/1800.06 c countsols : 0.25 0.00 0.00 0.00 0.25
1800.03/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.06 c vbounds : 1.62 2 0 0
1800.03/1800.06 c rootredcost : 1.51 0 0 0
1800.03/1800.06 c pseudoobj : 365.42 7380932 2591 2452831
1800.03/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.06 c propagation : 30.04 606894 606842 2709342 17.8 293558 11.6 -
1800.03/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.06 c pseudo solution : 0.05 141 141 437 20.0 377 9.0 -
1800.03/1800.06 c applied globally : - - - 1847402 16.0 - - -
1800.03/1800.06 c applied locally : - - - 4 316.2 - - -
1800.03/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.06 c redcost : 0.00 0 0 0 0 0
1800.03/1800.06 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.06 c intobj : 0.00 0 0 0 0 0
1800.03/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.06 c gomory : 0.00 0 0 0 0 0
1800.03/1800.06 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.06 c cmir : 0.00 0 0 0 0 0
1800.03/1800.06 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.06 c clique : 0.00 0 0 0 0 0
1800.03/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.06 c mcf : 0.00 0 0 0 0 0
1800.03/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.06 c Pricers : Time Calls Vars
1800.03/1800.06 c problem variables: 0.00 0 0
1800.03/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.06 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.06 c inference : 37.36 1856536 0 0 0 0 3713072
1800.03/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.06 c random : 0.00 0 0 0 0 0 0
1800.03/1800.06 c Primal Heuristics : Time Calls Found
1800.03/1800.06 c LP solutions : 0.00 - 0
1800.03/1800.06 c pseudo solutions : 0.05 - 36
1800.03/1800.06 c oneopt : 0.72 0 0
1800.03/1800.06 c trivial : 0.08 2 2
1800.03/1800.06 c simplerounding : 0.00 0 0
1800.03/1800.06 c zirounding : 0.00 0 0
1800.03/1800.06 c rounding : 0.00 0 0
1800.03/1800.06 c shifting : 0.00 0 0
1800.03/1800.06 c intshifting : 0.00 0 0
1800.03/1800.06 c twoopt : 0.00 0 0
1800.03/1800.06 c fixandinfer : 0.00 0 0
1800.03/1800.06 c feaspump : 0.00 0 0
1800.03/1800.06 c coefdiving : 0.00 0 0
1800.03/1800.06 c pscostdiving : 0.00 0 0
1800.03/1800.06 c fracdiving : 0.00 0 0
1800.03/1800.06 c veclendiving : 0.00 0 0
1800.03/1800.06 c intdiving : 0.00 0 0
1800.03/1800.06 c actconsdiving : 0.00 0 0
1800.03/1800.06 c objpscostdiving : 0.00 0 0
1800.03/1800.06 c rootsoldiving : 0.00 0 0
1800.03/1800.06 c linesearchdiving : 0.00 0 0
1800.03/1800.06 c guideddiving : 0.00 0 0
1800.03/1800.06 c octane : 0.00 0 0
1800.03/1800.06 c rens : 0.00 0 0
1800.03/1800.06 c rins : 0.00 0 0
1800.03/1800.06 c localbranching : 0.00 0 0
1800.03/1800.06 c mutation : 0.00 0 0
1800.03/1800.06 c crossover : 0.00 0 0
1800.03/1800.06 c dins : 0.00 0 0
1800.03/1800.06 c undercover : 0.00 0 0
1800.03/1800.06 c nlp : 0.52 0 0
1800.03/1800.06 c trysol : 0.46 1 1
1800.03/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.06 c (at root node) : - 0 0 0.00 -
1800.03/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.06 c B&B Tree :
1800.03/1800.06 c number of runs : 1
1800.03/1800.06 c nodes : 2228059
1800.03/1800.06 c nodes (total) : 2228059
1800.03/1800.06 c nodes left : 1194566
1800.03/1800.06 c max depth : 2816
1800.03/1800.06 c max depth (total): 2816
1800.03/1800.06 c backtracks : 331609 (14.9%)
1800.03/1800.06 c delayed cutoffs : 266901
1800.03/1800.06 c repropagations : 1292270 (15826639 domain reductions, 235675 cutoffs)
1800.03/1800.06 c avg switch length: 44.39
1800.03/1800.06 c switching time : 491.22
1800.03/1800.06 c Solution :
1800.03/1800.06 c Solutions found : 39 (37 improvements)
1800.03/1800.06 c First Solution : +1.37972000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.06 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1079238 nodes, 804.91 seconds, depth 528, found by <relaxation>)
1800.03/1800.06 c Dual Bound : +0.00000000000000e+00
1800.03/1800.06 c Gap : infinite
1800.03/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.06 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-2693639-1277928027/watcher-2693639-1277928027 -o /tmp/evaluation-result-2693639-1277928027/solver-2693639-1277928027 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693639-1277928027.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.05 2.01 4/176 16459 /proc/meminfo: memFree=30523776/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=8408 CPUtime=0 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 134099019 8609792 1501 4089446400 4194304 7136930 140733634380032 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16459/statm: 2102 1501 275 719 0 1381 0 [startup+0.102784 s] /proc/loadavg: 2.06 2.05 2.01 4/176 16459 /proc/meminfo: memFree=30523776/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=33676 CPUtime=0.09 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134099019 34484224 7535 4089446400 4194304 7136930 140733634380032 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.200764 s] /proc/loadavg: 2.06 2.05 2.01 4/176 16459 /proc/meminfo: memFree=30523776/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=36364 CPUtime=0.19 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 9180 0 0 0 18 1 0 0 25 0 1 0 134099019 37236736 8234 4089446400 4194304 7136930 140733634380032 18446744073709551615 4407911 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 9091 8234 383 719 0 8370 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36364 [startup+0.300748 s] /proc/loadavg: 2.06 2.05 2.01 4/176 16459 /proc/meminfo: memFree=30523776/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=36496 CPUtime=0.29 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 134099019 37371904 8295 4089446400 4194304 7136930 140733634380032 18446744073709551615 4407868 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700646 s] /proc/loadavg: 2.06 2.05 2.01 4/176 16459 /proc/meminfo: memFree=30523776/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=37636 CPUtime=0.69 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 9516 0 0 0 67 2 0 0 25 0 1 0 134099019 38539264 8570 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50057 s] /proc/loadavg: 2.06 2.05 2.01 3/177 16460 /proc/meminfo: memFree=30486444/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=43224 CPUtime=1.49 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 10911 0 0 0 145 4 0 0 25 0 1 0 134099019 44261376 9965 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 10806 9965 390 719 0 10085 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43224 [startup+3.10028 s] /proc/loadavg: 2.06 2.05 2.01 4/177 16460 /proc/meminfo: memFree=30480988/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=45184 CPUtime=3.09 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 11421 0 0 0 302 7 0 0 25 0 1 0 134099019 46268416 10475 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 11296 10475 390 719 0 10575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45184 [startup+6.30072 s] /proc/loadavg: 2.06 2.05 2.01 4/177 16460 /proc/meminfo: memFree=30465856/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=53192 CPUtime=6.29 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 13357 0 0 0 615 14 0 0 25 0 1 0 134099019 54468608 12411 4089446400 4194304 7136930 140733634380032 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 13298 12411 391 719 0 12577 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53192 [startup+12.7006 s] /proc/loadavg: 2.05 2.05 2.01 4/177 16460 /proc/meminfo: memFree=30431156/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=76908 CPUtime=12.69 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 19128 0 0 0 1243 26 0 0 25 0 1 0 134099019 78753792 18182 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 19227 18182 391 719 0 18506 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76908 [startup+25.5004 s] /proc/loadavg: 2.04 2.04 2.01 4/177 16462 /proc/meminfo: memFree=30379204/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=114600 CPUtime=25.49 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 28237 0 0 0 2503 46 0 0 25 0 1 0 134099019 117350400 27291 4089446400 4194304 7136930 140733634380032 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 28650 27291 391 719 0 27929 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 114600 [startup+51.101 s] /proc/loadavg: 2.03 2.04 2.00 4/177 16471 /proc/meminfo: memFree=30291100/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=179296 CPUtime=51.09 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 43460 0 0 0 5012 97 0 0 25 0 1 0 134099019 183599104 42514 4089446400 4194304 7136930 140733634380032 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 44824 42514 391 719 0 44103 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 179296 [startup+102.301 s] /proc/loadavg: 2.07 2.05 2.00 4/177 16473 /proc/meminfo: memFree=30144368/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=275360 CPUtime=102.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 67509 0 0 0 10059 171 0 0 25 0 1 0 134099019 281968640 66563 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 68840 66563 391 719 0 68119 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 275360 [startup+162.301 s] /proc/loadavg: 2.02 2.04 2.00 4/177 16473 /proc/meminfo: memFree=30066216/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=377416 CPUtime=162.29 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 91739 0 0 0 15977 252 0 0 25 0 1 0 134099019 386473984 90793 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 94354 90793 391 719 0 93633 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 377416 [startup+222.306 s] /proc/loadavg: 2.01 2.03 2.00 3/177 16475 /proc/meminfo: memFree=29988976/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=492212 CPUtime=222.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 118381 0 0 0 21898 332 0 0 25 0 1 0 134099019 504025088 117435 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 123053 117435 391 719 0 122332 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 492212 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 4/177 16477 /proc/meminfo: memFree=29871292/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=622832 CPUtime=282.29 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 148230 0 0 0 27805 424 0 0 25 0 1 0 134099019 637779968 147284 4089446400 4194304 7136930 140733634380032 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 155708 147284 391 719 0 154987 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 622832 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 4/177 16479 /proc/meminfo: memFree=29773272/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=719864 CPUtime=342.29 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 172798 0 0 0 33704 525 0 0 25 0 1 0 134099019 737140736 171852 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 179966 171852 391 719 0 179245 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 719864 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 4/177 16481 /proc/meminfo: memFree=29673656/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=830448 CPUtime=402.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 200535 0 0 0 39607 623 0 0 25 0 1 0 134099019 850378752 199589 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 207612 199589 391 719 0 206891 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 830448 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 4/177 16481 /proc/meminfo: memFree=29607464/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=894744 CPUtime=462.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 216841 0 0 0 45532 698 0 0 25 0 1 0 134099019 916217856 215895 4089446400 4194304 7136930 140733634380032 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 223686 215895 391 719 0 222965 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 894744 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 16483 /proc/meminfo: memFree=29568920/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=946080 CPUtime=522.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 229591 0 0 0 51469 761 0 0 25 0 1 0 134099019 968785920 228645 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 236520 228645 391 719 0 235799 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 946080 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 4/177 16485 /proc/meminfo: memFree=29530820/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=982496 CPUtime=582.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 238627 0 0 0 57411 819 0 0 25 0 1 0 134099019 1006075904 237681 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 245624 237681 391 719 0 244903 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 982496 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 4/177 16487 /proc/meminfo: memFree=29484404/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1035048 CPUtime=642.3 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 249820 0 0 0 63336 894 0 0 25 0 1 0 134099019 1059889152 248874 4089446400 4194304 7136930 140733634380032 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16459/statm: 258762 248874 391 719 0 258041 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1035048 [startup+702.301 s] ################ # More data... # ################ /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 375371 0 0 0 104718 1513 0 0 25 0 1 0 134099019 1571893248 374425 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 383763 374425 391 719 0 383042 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1535052 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16527 /proc/meminfo: memFree=29067780/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1608040 CPUtime=1122.31 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 393721 0 0 0 110626 1605 0 0 25 0 1 0 134099019 1646632960 392775 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 402010 392775 391 719 0 401289 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1608040 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16529 /proc/meminfo: memFree=28864988/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1683440 CPUtime=1182.31 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 412306 0 0 0 116535 1696 0 0 25 0 1 0 134099019 1723842560 411360 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 420860 411360 391 719 0 420139 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1683440 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16531 /proc/meminfo: memFree=28676080/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1761928 CPUtime=1242.31 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 431899 0 0 0 122445 1786 0 0 25 0 1 0 134099019 1804214272 430953 4089446400 4194304 7136930 140733634380032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 440482 430953 391 719 0 439761 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1761928 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16533 /proc/meminfo: memFree=28525612/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1821840 CPUtime=1302.31 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 446202 0 0 0 128367 1864 0 0 25 0 1 0 134099019 1865564160 445256 4089446400 4194304 7136930 140733634380032 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 455460 445256 391 719 0 454739 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1821840 [startup+1362.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16533 /proc/meminfo: memFree=28371184/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1893136 CPUtime=1362.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 463988 0 0 0 134288 1944 0 0 25 0 1 0 134099019 1938571264 463042 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 473284 463042 391 719 0 472563 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1893136 [startup+1422.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16535 /proc/meminfo: memFree=28244656/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=1963884 CPUtime=1422.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 481928 0 0 0 140208 2024 0 0 25 0 1 0 134099019 2011017216 480982 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 490971 480982 391 719 0 490250 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1963884 [startup+1482.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16537 /proc/meminfo: memFree=28150740/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2041728 CPUtime=1482.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 497379 0 0 0 146130 2102 0 0 25 0 1 0 134099019 2090729472 496433 4089446400 4194304 7136930 140733634380032 18446744073709551615 4983938 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 510432 496433 391 719 0 509711 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2041728 [startup+1542.31 s] /proc/loadavg: 2.04 2.01 2.00 3/177 16539 /proc/meminfo: memFree=27973012/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2114316 CPUtime=1542.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 515756 0 0 0 152048 2184 0 0 25 0 1 0 134099019 2165059584 514810 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 528579 514810 391 719 0 527858 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2114316 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 16541 /proc/meminfo: memFree=27827152/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2164656 CPUtime=1602.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 528494 0 0 0 157978 2254 0 0 25 0 1 0 134099019 2216607744 527548 4089446400 4194304 7136930 140733634380032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 541164 527548 391 719 0 540443 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2164656 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16541 /proc/meminfo: memFree=27701616/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2216480 CPUtime=1662.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 541696 0 0 0 163911 2321 0 0 25 0 1 0 134099019 2269675520 540750 4089446400 4194304 7136930 140733634380032 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 554120 540750 391 719 0 553399 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2216480 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16543 /proc/meminfo: memFree=27517060/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2282748 CPUtime=1722.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 558095 0 0 0 169844 2388 0 0 25 0 1 0 134099019 2337533952 557149 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 570687 557149 391 719 0 569966 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2282748 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16545 /proc/meminfo: memFree=27389776/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2334696 CPUtime=1782.32 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 571253 0 0 0 175775 2457 0 0 25 0 1 0 134099019 2390728704 570307 4089446400 4194304 7136930 140733634380032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 583674 570307 391 719 0 582953 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2334696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16545 /proc/meminfo: memFree=27357768/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2356532 CPUtime=1800.03 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 576869 0 0 0 177521 2482 0 0 25 0 1 0 134099019 2413088768 575923 4089446400 4194304 7136930 140733634380032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16459/statm: 589133 575923 391 719 0 588412 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2356532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16459 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16546 /proc/meminfo: memFree=27354784/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2356532 CPUtime=1800.73 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 576875 0 0 0 177591 2482 0 0 25 0 1 0 134099019 2413088768 575929 4089446400 4194304 7136930 140733634380032 18446744073709551615 4212062 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16459/statm: 589133 575929 397 719 0 588412 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 2356532 [startup+1801.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16546 /proc/meminfo: memFree=27354784/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2356532 CPUtime=1801.52 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 576875 0 0 0 177670 2482 0 0 25 0 1 0 134099019 2413088768 575929 4089446400 4194304 7136930 140733634380032 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16459/statm: 589133 575929 397 719 0 588412 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 2356532 [startup+1801.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16546 /proc/meminfo: memFree=27353420/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2352432 CPUtime=1801.93 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 576875 0 0 0 177711 2482 0 0 25 0 1 0 134099019 2408890368 574904 4089446400 4194304 7136930 140733634380032 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16459/statm: 588108 574904 397 719 0 587387 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 2352432 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16546 /proc/meminfo: memFree=27353420/32951132 swapFree=67111528/67111528 [pid=16459] ppid=16457 vsize=2348332 CPUtime=1802.02 /proc/16459/stat : 16459 (pbscip.linux.x8) R 16457 16459 16368 0 -1 4202496 576875 0 0 0 177720 2482 0 0 25 0 1 0 134099019 2404691968 573879 4089446400 4194304 7136930 140733634380032 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16459/statm: 587083 573879 397 719 0 586362 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2348332 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.11 CPU user time (s): 1777.22 CPU system time (s): 24.8982 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2356532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.22 system time used= 24.8982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 576875 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1116 runsolver used 2.43763 second user time and 5.78912 second system time The end
Begin job on node128 at 2010-06-30 22:00:27 IDJOB=2693639 IDBENCH=79284 IDSOLVER=1206 FILE ID=node128/2693639-1277928027 PBS_JOBID= 11197398 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.1900571761--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-2693639-1277928027/watcher-2693639-1277928027 -o /tmp/evaluation-result-2693639-1277928027/solver-2693639-1277928027 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693639-1277928027.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1a8bf15a5939881d6e0f7761d224808 RANDOM SEED=1095622296 node128.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.853 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.70 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.853 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.853 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.83 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.853 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.74 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.853 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.82 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.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 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.82 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.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30524428 kB Buffers: 212572 kB Cached: 1017632 kB SwapCached: 0 kB Active: 1475120 kB Inactive: 808052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30524428 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 1052696 kB Mapped: 17032 kB Slab: 78988 kB PageTables: 7164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1206324 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= 74204 MiB End job on node128 at 2010-06-30 22:30:29