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 | ? (exit code) | 201.338 | 201.343 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo |
| MD5SUM | 033c12179045731c4fd222e5d353b2b2 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.499923 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1231 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2694128-1277923650.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 o 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
1.49/1.56 c 1.4s| 10000 | 6763 | 0 | 0.0 |7760k| 173 | - | 371 |5144 | 0 | 0 | 0 |8606 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
2.99/3.09 c 2.9s| 20000 | 13887 | 0 | 0.0 | 12M| 209 | - | 371 |5945 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
6.39/6.40 c 6.0s| 30000 | 17122 | 0 | 0.0 | 18M| 209 | - | 371 | 10k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
8.98/9.03 o 702
8.98/9.03 c * 8.4s| 37589 | 19778 | 0 | 0.0 | 20M| 209 | - | 371 | 10k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
9.08/9.18 c 8.6s| 40000 | 22187 | 0 | 0.0 | 20M| 209 | - | 371 |5555 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
9.58/9.66 c 8.9s| 50000 | 32163 | 0 | 0.0 | 21M| 209 | - | 371 | 679 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
10.08/10.12 c 9.2s| 60000 | 42135 | 0 | 0.0 | 24M| 209 | - | 371 | 629 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
10.48/10.57 c 9.4s| 70000 | 52122 | 0 | 0.0 | 27M| 209 | - | 371 | 593 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
10.99/11.02 c 9.8s| 80000 | 62106 | 0 | 0.0 | 30M| 209 | - | 371 | 586 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
11.39/11.47 c 10.1s| 90000 | 72069 | 0 | 0.0 | 33M| 209 | - | 371 | 636 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
11.88/11.91 c 10.4s|100000 | 82037 | 0 | 0.0 | 36M| 209 | - | 371 | 683 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
12.28/12.36 c 10.6s|110000 | 92012 | 0 | 0.0 | 39M| 209 | - | 371 | 720 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
12.78/12.81 c 10.9s|120000 |101969 | 0 | 0.0 | 42M| 209 | - | 371 | 788 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
13.19/13.25 c 11.2s|130000 |111938 | 0 | 0.0 | 45M| 209 | - | 371 | 843 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
13.68/13.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.68/13.70 c 11.5s|140000 |121899 | 0 | 0.0 | 48M| 209 | - | 371 | 901 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
14.29/14.33 c 11.9s|150000 |131033 | 0 | 0.0 | 51M| 209 | - | 371 |2535 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
17.78/17.85 c 15.2s|160000 |133580 | 0 | 0.0 | 58M| 209 | - | 371 | 11k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
22.99/23.06 c 20.2s|170000 |134829 | 0 | 0.0 | 62M| 209 | - | 371 | 16k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
30.69/30.79 c 27.6s|180000 |134174 | 0 | 0.0 | 66M| 209 | - | 371 | 23k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
33.18/33.20 c 29.8s|190000 |142077 | 0 | 0.0 | 61M| 209 | - | 371 |2811 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
33.59/33.68 c 30.2s|200000 |152043 | 0 | 0.0 | 64M| 209 | - | 371 | 848 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
34.09/34.15 c 30.5s|210000 |162024 | 0 | 0.0 | 67M| 217 | - | 371 | 704 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
34.58/34.61 c 30.8s|220000 |172002 | 0 | 0.0 | 70M| 217 | - | 371 | 658 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
34.98/35.07 c 31.1s|230000 |181977 | 0 | 0.0 | 72M| 217 | - | 371 | 616 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
35.48/35.53 c 31.4s|240000 |191960 | 0 | 0.0 | 75M| 217 | - | 371 | 582 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
35.89/35.98 c 31.7s|250000 |201932 | 0 | 0.0 | 78M| 217 | - | 371 | 561 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
36.39/36.44 c 32.0s|260000 |211913 | 0 | 0.0 | 81M| 217 | - | 371 | 567 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
36.78/36.89 c 32.2s|270000 |221884 | 0 | 0.0 | 84M| 217 | - | 371 | 597 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
37.29/37.34 c 32.5s|280000 |231870 | 0 | 0.0 | 87M| 217 | - | 371 | 572 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
37.68/37.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.79 c 32.9s|290000 |241849 | 0 | 0.0 | 90M| 217 | - | 371 | 565 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
38.18/38.25 c 33.2s|300000 |251805 | 0 | 0.0 | 93M| 217 | - | 371 | 594 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
38.68/38.71 c 33.5s|310000 |261771 | 0 | 0.0 | 96M| 217 | - | 371 | 576 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
39.08/39.18 c 33.8s|320000 |271708 | 0 | 0.0 | 99M| 217 | - | 371 | 624 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
39.58/39.64 c 34.0s|330000 |281674 | 0 | 0.0 | 102M| 217 | - | 371 | 635 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
40.08/40.10 c 34.4s|340000 |291645 | 0 | 0.0 | 104M| 217 | - | 371 | 649 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
40.48/40.56 c 34.7s|350000 |301614 | 0 | 0.0 | 107M| 217 | - | 371 | 644 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
40.99/41.02 c 34.9s|360000 |311602 | 0 | 0.0 | 110M| 217 | - | 371 | 624 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
41.38/41.47 c 35.2s|370000 |321585 | 0 | 0.0 | 113M| 217 | - | 371 | 625 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
41.88/41.93 c 35.5s|380000 |331550 | 0 | 0.0 | 116M| 217 | - | 371 | 676 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
42.28/42.39 c 35.8s|390000 |341519 | 0 | 0.0 | 119M| 217 | - | 371 | 684 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
42.78/42.84 c 36.0s|400000 |351495 | 0 | 0.0 | 122M| 217 | - | 371 | 665 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
43.28/43.30 c 36.3s|410000 |361467 | 0 | 0.0 | 125M| 217 | - | 371 | 688 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
43.69/43.75 c 36.6s|420000 |371435 | 0 | 0.0 | 128M| 217 | - | 371 | 698 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
44.19/44.21 c 36.9s|430000 |381406 | 0 | 0.0 | 131M| 217 | - | 371 | 695 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
44.58/44.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.58/44.66 c 37.2s|440000 |391374 | 0 | 0.0 | 134M| 217 | - | 371 | 728 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
45.09/45.11 c 37.4s|450000 |401365 | 0 | 0.0 | 137M| 217 | - | 371 | 683 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
45.48/45.56 c 37.7s|460000 |411334 | 0 | 0.0 | 139M| 217 | - | 371 | 733 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
45.98/46.01 c 38.0s|470000 |421308 | 0 | 0.0 | 142M| 217 | - | 371 | 717 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
46.39/46.46 c 38.3s|480000 |431267 | 0 | 0.0 | 145M| 217 | - | 371 | 756 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
46.89/46.91 c 38.5s|490000 |441250 | 0 | 0.0 | 148M| 217 | - | 371 | 739 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
47.29/47.36 c 38.8s|500000 |451202 | 0 | 0.0 | 151M| 217 | - | 371 | 807 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
47.79/47.81 c 39.1s|510000 |461182 | 0 | 0.0 | 154M| 219 | - | 371 | 779 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
48.18/48.25 c 39.4s|520000 |471157 | 0 | 0.0 | 157M| 219 | - | 371 | 805 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
48.69/48.70 c 39.6s|530000 |481131 | 0 | 0.0 | 160M| 219 | - | 371 | 775 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
49.08/49.15 c 39.9s|540000 |491101 | 0 | 0.0 | 163M| 220 | - | 371 | 815 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
49.58/49.60 c 40.2s|550000 |501065 | 0 | 0.0 | 166M| 220 | - | 371 | 835 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
49.98/50.04 c 40.4s|560000 |511045 | 0 | 0.0 | 169M| 220 | - | 371 | 814 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
50.39/50.49 c 40.7s|570000 |521025 | 0 | 0.0 | 172M| 220 | - | 371 | 815 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
50.88/50.93 c 41.0s|580000 |531000 | 0 | 0.0 | 174M| 220 | - | 371 | 842 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
51.28/51.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.28/51.38 c 41.3s|590000 |540972 | 0 | 0.0 | 177M| 220 | - | 371 | 845 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
51.78/51.83 c 41.6s|600000 |550943 | 0 | 0.0 | 180M| 220 | - | 371 | 853 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
52.19/52.27 c 41.8s|610000 |560927 | 0 | 0.0 | 183M| 220 | - | 371 | 842 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
52.68/52.72 c 42.1s|620000 |570916 | 0 | 0.0 | 186M| 220 | - | 371 | 801 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
53.08/53.16 c 42.4s|630000 |580885 | 0 | 0.0 | 189M| 220 | - | 371 | 838 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
53.59/53.61 c 42.6s|640000 |590864 | 0 | 0.0 | 192M| 220 | - | 371 | 865 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
53.99/54.06 c 42.9s|650000 |600835 | 0 | 0.0 | 195M| 220 | - | 371 | 888 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
54.49/54.51 c 43.2s|660000 |610807 | 0 | 0.0 | 198M| 220 | - | 371 | 879 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
54.89/54.95 c 43.5s|670000 |620776 | 0 | 0.0 | 201M| 220 | - | 371 | 903 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
55.38/55.41 c 43.7s|680000 |630743 | 0 | 0.0 | 204M| 220 | - | 371 | 926 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
55.79/55.85 c 44.0s|690000 |640718 | 0 | 0.0 | 207M| 220 | - | 371 | 940 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
56.28/56.30 c 44.3s|700000 |650702 | 0 | 0.0 | 210M| 220 | - | 371 | 946 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
56.68/56.74 c 44.5s|710000 |660692 | 0 | 0.0 | 213M| 220 | - | 371 | 930 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
57.08/57.19 c 44.9s|720000 |670651 | 0 | 0.0 | 216M| 220 | - | 371 | 967 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
57.58/57.63 c 45.1s|730000 |680624 | 0 | 0.0 | 218M| 220 | - | 371 | 980 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
57.99/58.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.99/58.08 c 45.4s|740000 |690610 | 0 | 0.0 | 221M| 220 | - | 371 | 998 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
58.49/58.52 c 45.7s|750000 |700582 | 0 | 0.0 | 224M| 220 | - | 371 |1009 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
58.88/58.98 c 46.0s|760000 |710535 | 0 | 0.0 | 227M| 220 | - | 371 |1073 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
59.38/59.43 c 46.2s|770000 |720507 | 0 | 0.0 | 230M| 220 | - | 371 |1088 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
59.79/59.88 c 46.5s|780000 |730484 | 0 | 0.0 | 233M| 220 | - | 371 |1093 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
60.29/60.33 c 46.8s|790000 |740461 | 0 | 0.0 | 236M| 220 | - | 371 |1113 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
60.68/60.77 c 47.1s|800000 |750438 | 0 | 0.0 | 239M| 220 | - | 371 |1092 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
61.18/61.22 c 47.3s|810000 |760413 | 0 | 0.0 | 242M| 220 | - | 371 |1115 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
61.58/61.67 c 47.6s|820000 |770377 | 0 | 0.0 | 245M| 220 | - | 371 |1155 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
62.08/62.12 c 47.9s|830000 |780352 | 0 | 0.0 | 248M| 220 | - | 371 |1161 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
62.48/62.56 c 48.1s|840000 |790325 | 0 | 0.0 | 251M| 220 | - | 371 |1200 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
62.98/63.01 c 48.4s|850000 |800302 | 0 | 0.0 | 254M| 220 | - | 371 |1205 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
63.39/63.45 c 48.7s|860000 |810287 | 0 | 0.0 | 257M| 220 | - | 371 |1229 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
63.88/63.90 c 49.0s|870000 |820266 | 0 | 0.0 | 260M| 220 | - | 371 |1226 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
64.28/64.36 c 49.3s|880000 |830225 | 0 | 0.0 | 263M| 220 | - | 371 |1239 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
64.78/64.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.78/64.82 c 49.6s|890000 |840181 | 0 | 0.0 | 266M| 220 | - | 371 |1313 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
65.19/65.28 c 49.9s|900000 |850153 | 0 | 0.0 | 269M| 220 | - | 371 |1311 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
65.68/65.73 c 50.2s|910000 |860112 | 0 | 0.0 | 272M| 220 | - | 371 |1351 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
66.08/66.18 c 50.5s|920000 |870095 | 0 | 0.0 | 275M| 220 | - | 371 |1362 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
66.59/66.64 c 50.8s|930000 |880072 | 0 | 0.0 | 278M| 220 | - | 371 |1357 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
67.09/67.10 c 51.0s|940000 |890010 | 0 | 0.0 | 281M| 220 | - | 371 |1389 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
67.48/67.56 c 51.3s|950000 |899974 | 0 | 0.0 | 284M| 220 | - | 371 |1394 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
67.98/68.00 c 51.6s|960000 |909956 | 0 | 0.0 | 287M| 220 | - | 371 |1382 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
68.38/68.46 c 51.9s|970000 |919930 | 0 | 0.0 | 290M| 220 | - | 371 |1361 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
68.88/68.91 c 52.1s|980000 |929892 | 0 | 0.0 | 293M| 220 | - | 371 |1413 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
69.28/69.37 c 52.4s|990000 |939871 | 0 | 0.0 | 295M| 220 | - | 371 |1392 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
69.79/69.82 c 52.7s| 1000k|949849 | 0 | 0.0 | 298M| 220 | - | 371 |1389 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
70.18/70.28 c 53.0s| 1010k|959820 | 0 | 0.0 | 301M| 220 | - | 371 |1422 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
70.68/70.73 c 53.3s| 1020k|969796 | 0 | 0.0 | 304M| 220 | - | 371 |1462 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
71.08/71.19 c 53.6s| 1030k|979757 | 0 | 0.0 | 307M| 220 | - | 371 |1485 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
71.59/71.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.59/71.65 c 53.9s| 1040k|989722 | 0 | 0.0 | 310M| 220 | - | 371 |1506 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
72.08/72.11 c 54.2s| 1050k|999693 | 0 | 0.0 | 313M| 220 | - | 371 |1508 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
72.49/72.56 c 54.4s| 1060k| 1009k| 0 | 0.0 | 316M| 220 | - | 371 |1495 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
72.99/73.02 c 54.7s| 1070k| 1019k| 0 | 0.0 | 319M| 220 | - | 371 |1526 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
73.38/73.48 c 55.0s| 1080k| 1029k| 0 | 0.0 | 322M| 220 | - | 371 |1564 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
73.89/73.93 c 55.3s| 1090k| 1039k| 0 | 0.0 | 325M| 220 | - | 371 |1562 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
74.28/74.39 c 55.5s| 1100k| 1049k| 0 | 0.0 | 328M| 220 | - | 371 |1588 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
74.79/74.85 c 55.8s| 1110k| 1059k| 0 | 0.0 | 331M| 220 | - | 371 |1629 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
75.29/75.31 c 56.1s| 1120k| 1069k| 0 | 0.0 | 334M| 220 | - | 371 |1626 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
75.69/75.77 c 56.4s| 1130k| 1079k| 0 | 0.0 | 337M| 220 | - | 371 |1636 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
76.18/76.22 c 56.6s| 1140k| 1089k| 0 | 0.0 | 340M| 220 | - | 371 |1662 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
76.59/76.67 c 56.9s| 1150k| 1099k| 0 | 0.0 | 343M| 220 | - | 371 |1682 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
77.08/77.13 c 57.2s| 1160k| 1109k| 0 | 0.0 | 346M| 220 | - | 371 |1712 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
77.49/77.59 c 57.5s| 1170k| 1119k| 0 | 0.0 | 349M| 220 | - | 371 |1722 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
77.99/78.05 c 57.8s| 1180k| 1129k| 0 | 0.0 | 352M| 220 | - | 371 |1707 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
78.49/78.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.49/78.50 c 58.1s| 1190k| 1139k| 0 | 0.0 | 355M| 220 | - | 371 |1662 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
78.88/78.96 c 58.4s| 1200k| 1149k| 0 | 0.0 | 358M| 220 | - | 371 |1690 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
79.38/79.42 c 58.6s| 1210k| 1159k| 0 | 0.0 | 361M| 220 | - | 371 |1733 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
79.78/79.89 c 58.9s| 1220k| 1169k| 0 | 0.0 | 364M| 220 | - | 371 |1788 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
80.29/80.36 c 59.2s| 1230k| 1179k| 0 | 0.0 | 367M| 220 | - | 371 |1843 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
80.79/80.83 c 59.5s| 1240k| 1189k| 0 | 0.0 | 370M| 220 | - | 371 |1909 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
81.18/81.29 c 59.8s| 1250k| 1199k| 0 | 0.0 | 373M| 220 | - | 371 |1912 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
81.68/81.76 c 60.1s| 1260k| 1208k| 0 | 0.0 | 376M| 220 | - | 371 |1920 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
82.19/82.23 c 60.4s| 1270k| 1218k| 0 | 0.0 | 379M| 220 | - | 371 |1923 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
82.69/82.72 c 60.7s| 1280k| 1228k| 0 | 0.0 | 382M| 220 | - | 371 |1950 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
83.09/83.18 c 61.0s| 1290k| 1238k| 0 | 0.0 | 385M| 220 | - | 371 |1944 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
83.59/83.65 c 61.3s| 1300k| 1248k| 0 | 0.0 | 388M| 220 | - | 371 |1980 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
84.08/84.12 c 61.6s| 1310k| 1258k| 0 | 0.0 | 391M| 220 | - | 371 |2013 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
84.48/84.60 c 61.9s| 1320k| 1268k| 0 | 0.0 | 394M| 220 | - | 371 |2038 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
84.98/85.07 c 62.2s| 1330k| 1278k| 0 | 0.0 | 397M| 220 | - | 371 |2031 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
85.48/85.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.48/85.53 c 62.5s| 1340k| 1288k| 0 | 0.0 | 400M| 220 | - | 371 |2041 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
85.98/86.00 c 62.8s| 1350k| 1298k| 0 | 0.0 | 403M| 220 | - | 371 |2104 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
86.38/86.48 c 63.1s| 1360k| 1308k| 0 | 0.0 | 406M| 220 | - | 371 |2070 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
86.89/86.96 c 63.4s| 1370k| 1318k| 0 | 0.0 | 409M| 220 | - | 371 |2100 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
87.38/87.42 c 63.6s| 1380k| 1328k| 0 | 0.0 | 412M| 220 | - | 371 |2140 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
87.78/87.89 c 63.9s| 1390k| 1338k| 0 | 0.0 | 415M| 220 | - | 371 |2170 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
88.28/88.36 c 64.2s| 1400k| 1348k| 0 | 0.0 | 418M| 220 | - | 371 |2174 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
88.79/88.84 c 64.5s| 1410k| 1358k| 0 | 0.0 | 421M| 220 | - | 371 |2198 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
89.28/89.30 c 64.8s| 1420k| 1368k| 0 | 0.0 | 424M| 220 | - | 371 |2185 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
89.69/89.76 c 65.1s| 1430k| 1378k| 0 | 0.0 | 427M| 220 | - | 371 |2206 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
90.19/90.22 c 65.4s| 1440k| 1388k| 0 | 0.0 | 430M| 220 | - | 371 |2276 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
90.68/90.70 c 65.7s| 1450k| 1398k| 0 | 0.0 | 433M| 220 | - | 371 |2274 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
91.09/91.17 c 66.0s| 1460k| 1408k| 0 | 0.0 | 436M| 220 | - | 371 |2304 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
91.59/91.63 c 66.3s| 1470k| 1418k| 0 | 0.0 | 439M| 220 | - | 371 |2310 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
92.08/92.10 c 66.6s| 1480k| 1428k| 0 | 0.0 | 442M| 220 | - | 371 |2367 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
92.48/92.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.48/92.56 c 66.8s| 1490k| 1438k| 0 | 0.0 | 445M| 220 | - | 371 |2402 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
92.98/93.04 c 67.1s| 1500k| 1448k| 0 | 0.0 | 448M| 220 | - | 371 |2444 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
93.39/93.50 c 67.4s| 1510k| 1458k| 0 | 0.0 | 451M| 220 | - | 371 |2412 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
93.88/93.95 c 67.7s| 1520k| 1468k| 0 | 0.0 | 454M| 220 | - | 371 |2438 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
94.39/94.42 c 68.0s| 1530k| 1478k| 0 | 0.0 | 457M| 220 | - | 371 |2524 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
94.88/94.90 c 68.3s| 1540k| 1488k| 0 | 0.0 | 460M| 220 | - | 371 |2578 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
95.28/95.37 c 68.6s| 1550k| 1498k| 0 | 0.0 | 463M| 220 | - | 371 |2646 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
95.79/95.84 c 68.9s| 1560k| 1507k| 0 | 0.0 | 466M| 220 | - | 371 |2654 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
96.28/96.30 c 69.2s| 1570k| 1517k| 0 | 0.0 | 469M| 220 | - | 371 |2682 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
96.68/96.77 c 69.5s| 1580k| 1527k| 0 | 0.0 | 472M| 220 | - | 371 |2726 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
97.19/97.24 c 69.8s| 1590k| 1537k| 0 | 0.0 | 475M| 220 | - | 371 |2727 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
97.69/97.72 c 70.1s| 1600k| 1547k| 0 | 0.0 | 479M| 220 | - | 371 |2749 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
98.08/98.18 c 70.4s| 1610k| 1557k| 0 | 0.0 | 482M| 220 | - | 371 |2774 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
98.58/98.64 c 70.7s| 1620k| 1567k| 0 | 0.0 | 485M| 220 | - | 371 |2798 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
99.08/99.11 c 71.0s| 1630k| 1577k| 0 | 0.0 | 488M| 220 | - | 371 |2796 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
99.48/99.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.48/99.58 c 71.3s| 1640k| 1587k| 0 | 0.0 | 491M| 220 | - | 371 |2826 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
99.99/100.05 c 71.5s| 1650k| 1597k| 0 | 0.0 | 494M| 220 | - | 371 |2858 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
100.49/100.52 c 71.8s| 1660k| 1607k| 0 | 0.0 | 497M| 220 | - | 371 |2910 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
100.98/101.01 c 72.1s| 1670k| 1617k| 0 | 0.0 | 500M| 220 | - | 371 |2940 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
101.49/101.50 c 72.5s| 1680k| 1627k| 0 | 0.0 | 503M| 220 | - | 371 |2950 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
101.89/101.98 c 72.8s| 1690k| 1637k| 0 | 0.0 | 506M| 220 | - | 371 |3039 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
102.39/102.47 c 73.1s| 1700k| 1647k| 0 | 0.0 | 509M| 220 | - | 371 |3091 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
102.88/102.95 c 73.4s| 1710k| 1657k| 0 | 0.0 | 512M| 220 | - | 371 |3116 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
103.39/103.43 c 73.7s| 1720k| 1667k| 0 | 0.0 | 515M| 220 | - | 371 |3140 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
103.88/103.91 c 74.0s| 1730k| 1677k| 0 | 0.0 | 518M| 220 | - | 371 |3193 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
104.28/104.40 c 74.3s| 1740k| 1687k| 0 | 0.0 | 521M| 220 | - | 371 |3240 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
104.78/104.87 c 74.7s| 1750k| 1697k| 0 | 0.0 | 524M| 220 | - | 371 |3277 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
105.28/105.34 c 75.0s| 1760k| 1707k| 0 | 0.0 | 527M| 220 | - | 371 |3352 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
105.78/105.83 c 75.3s| 1770k| 1717k| 0 | 0.0 | 530M| 220 | - | 371 |3403 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
106.28/106.31 c 75.6s| 1780k| 1727k| 0 | 0.0 | 534M| 220 | - | 371 |3426 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
106.69/106.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.69/106.78 c 75.9s| 1790k| 1737k| 0 | 0.0 | 537M| 220 | - | 371 |3425 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
107.19/107.25 c 76.2s| 1800k| 1746k| 0 | 0.0 | 540M| 220 | - | 371 |3463 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
107.69/107.73 c 76.5s| 1810k| 1756k| 0 | 0.0 | 543M| 220 | - | 371 |3507 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
108.19/108.20 c 76.8s| 1820k| 1766k| 0 | 0.0 | 546M| 220 | - | 371 |3536 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
108.59/108.66 c 77.0s| 1830k| 1776k| 0 | 0.0 | 549M| 220 | - | 371 |3520 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
109.08/109.13 c 77.4s| 1840k| 1786k| 0 | 0.0 | 552M| 220 | - | 371 |3561 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
109.59/109.61 c 77.7s| 1850k| 1796k| 0 | 0.0 | 555M| 220 | - | 371 |3586 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
109.99/110.09 c 78.0s| 1860k| 1806k| 0 | 0.0 | 558M| 220 | - | 371 |3653 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
110.48/110.56 c 78.3s| 1870k| 1816k| 0 | 0.0 | 561M| 220 | - | 371 |3682 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
110.99/111.04 c 78.6s| 1880k| 1826k| 0 | 0.0 | 564M| 220 | - | 371 |3712 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
111.48/111.51 c 78.9s| 1890k| 1836k| 0 | 0.0 | 567M| 220 | - | 371 |3722 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
111.89/111.98 c 79.2s| 1900k| 1846k| 0 | 0.0 | 570M| 220 | - | 371 |3750 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
112.38/112.47 c 79.5s| 1910k| 1856k| 0 | 0.0 | 573M| 220 | - | 371 |3783 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
112.88/112.95 c 79.8s| 1920k| 1866k| 0 | 0.0 | 576M| 220 | - | 371 |3866 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
113.39/113.42 c 80.1s| 1930k| 1876k| 0 | 0.0 | 580M| 220 | - | 371 |3889 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
113.78/113.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.78/113.89 c 80.3s| 1940k| 1886k| 0 | 0.0 | 583M| 220 | - | 371 |3958 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
114.29/114.37 c 80.6s| 1950k| 1896k| 0 | 0.0 | 586M| 220 | - | 371 |3994 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
114.78/114.84 c 80.9s| 1960k| 1906k| 0 | 0.0 | 589M| 220 | - | 371 |4062 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
115.28/115.32 c 81.2s| 1970k| 1916k| 0 | 0.0 | 592M| 220 | - | 371 |4093 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
115.78/115.80 c 81.5s| 1980k| 1926k| 0 | 0.0 | 595M| 220 | - | 371 |4111 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
116.18/116.27 c 81.9s| 1990k| 1936k| 0 | 0.0 | 598M| 220 | - | 371 |4147 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
116.68/116.76 c 82.2s| 2000k| 1946k| 0 | 0.0 | 601M| 220 | - | 371 |4202 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
117.19/117.25 c 82.5s| 2010k| 1956k| 0 | 0.0 | 604M| 220 | - | 371 |4264 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
117.69/117.74 c 82.8s| 2020k| 1966k| 0 | 0.0 | 607M| 220 | - | 371 |4326 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
118.19/118.24 c 83.1s| 2030k| 1976k| 0 | 0.0 | 610M| 220 | - | 371 |4411 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
118.69/118.74 c 83.5s| 2040k| 1986k| 0 | 0.0 | 614M| 220 | - | 371 |4477 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
119.18/119.25 c 83.8s| 2050k| 1995k| 0 | 0.0 | 617M| 220 | - | 371 |4605 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
119.69/119.75 c 84.1s| 2060k| 2005k| 0 | 0.0 | 619M| 220 | - | 371 |1618 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
120.09/120.18 c 84.4s| 2070k| 2015k| 0 | 0.0 | 622M| 220 | - | 371 | 688 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
120.59/120.60 c 84.6s| 2080k| 2025k| 0 | 0.0 | 624M| 220 | - | 371 | 645 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
120.99/121.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.99/121.01 c 84.9s| 2090k| 2035k| 0 | 0.0 | 627M| 220 | - | 371 | 638 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
121.39/121.43 c 85.1s| 2100k| 2045k| 0 | 0.0 | 630M| 220 | - | 371 | 646 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
121.79/121.84 c 85.4s| 2110k| 2055k| 0 | 0.0 | 633M| 220 | - | 371 | 671 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
122.18/122.26 c 85.6s| 2120k| 2065k| 0 | 0.0 | 636M| 220 | - | 371 | 677 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
122.58/122.68 c 85.9s| 2130k| 2075k| 0 | 0.0 | 640M| 220 | - | 371 | 704 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
122.99/123.10 c 86.2s| 2140k| 2085k| 0 | 0.0 | 643M| 220 | - | 371 | 749 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
123.48/123.51 c 86.4s| 2150k| 2095k| 0 | 0.0 | 646M| 220 | - | 371 | 787 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
123.88/123.94 c 86.6s| 2160k| 2105k| 0 | 0.0 | 649M| 220 | - | 371 | 849 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
124.29/124.37 c 86.9s| 2170k| 2115k| 0 | 0.0 | 652M| 220 | - | 371 | 916 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
124.78/124.82 c 87.2s| 2180k| 2125k| 0 | 0.0 | 655M| 220 | - | 371 |1008 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
125.18/125.25 c 87.5s| 2190k| 2135k| 0 | 0.0 | 658M| 220 | - | 371 |1098 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
125.69/125.70 c 87.7s| 2200k| 2145k| 0 | 0.0 | 661M| 220 | - | 371 |1053 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
126.09/126.15 c 88.0s| 2210k| 2155k| 0 | 0.0 | 664M| 220 | - | 371 | 773 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
126.49/126.59 c 88.3s| 2220k| 2165k| 0 | 0.0 | 667M| 220 | - | 371 | 790 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
126.99/127.04 c 88.5s| 2230k| 2175k| 0 | 0.0 | 670M| 220 | - | 371 | 837 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
133.89/133.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.89/133.98 c 95.2s| 2240k| 2172k| 0 | 0.0 | 674M| 220 | - | 371 | 16k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
145.39/145.47 c 106s| 2250k| 2170k| 0 | 0.0 | 672M| 220 | - | 371 | 22k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
146.19/146.25 c 107s| 2260k| 2180k| 0 | 0.0 | 668M| 220 | - | 371 |2396 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
146.69/146.74 c 107s| 2270k| 2190k| 0 | 0.0 | 670M| 220 | - | 371 |1055 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
147.19/147.21 c 108s| 2280k| 2200k| 0 | 0.0 | 673M| 220 | - | 371 | 865 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
147.58/147.67 c 108s| 2290k| 2210k| 0 | 0.0 | 676M| 220 | - | 371 | 781 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
148.09/148.12 c 108s| 2300k| 2220k| 0 | 0.0 | 679M| 220 | - | 371 | 756 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
148.49/148.57 c 108s| 2310k| 2230k| 0 | 0.0 | 682M| 220 | - | 371 | 711 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
148.99/149.02 c 109s| 2320k| 2240k| 0 | 0.0 | 685M| 220 | - | 371 | 677 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
149.39/149.47 c 109s| 2330k| 2250k| 0 | 0.0 | 688M| 220 | - | 371 | 684 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
149.88/149.92 c 109s| 2340k| 2260k| 0 | 0.0 | 691M| 220 | - | 371 | 647 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
150.28/150.37 c 110s| 2350k| 2270k| 0 | 0.0 | 694M| 220 | - | 371 | 647 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
150.78/150.82 c 110s| 2360k| 2280k| 0 | 0.0 | 696M| 220 | - | 371 | 641 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
151.19/151.27 c 110s| 2370k| 2290k| 0 | 0.0 | 699M| 220 | - | 371 | 673 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
151.69/151.72 c 110s| 2380k| 2300k| 0 | 0.0 | 702M| 220 | - | 371 | 685 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
152.09/152.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.09/152.17 c 111s| 2390k| 2310k| 0 | 0.0 | 705M| 220 | - | 371 | 713 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
152.59/152.62 c 111s| 2400k| 2320k| 0 | 0.0 | 708M| 220 | - | 371 | 681 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
152.98/153.06 c 111s| 2410k| 2330k| 0 | 0.0 | 711M| 220 | - | 371 | 654 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
153.49/153.51 c 112s| 2420k| 2340k| 0 | 0.0 | 714M| 220 | - | 371 | 664 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
153.89/153.96 c 112s| 2430k| 2350k| 0 | 0.0 | 717M| 220 | - | 371 | 661 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
154.38/154.41 c 112s| 2440k| 2360k| 0 | 0.0 | 720M| 220 | - | 371 | 654 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
154.78/154.85 c 112s| 2450k| 2370k| 0 | 0.0 | 722M| 220 | - | 371 | 661 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
155.19/155.29 c 113s| 2460k| 2380k| 0 | 0.0 | 725M| 220 | - | 371 | 648 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
155.68/155.74 c 113s| 2470k| 2390k| 0 | 0.0 | 728M| 220 | - | 371 | 672 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
156.09/156.19 c 113s| 2480k| 2400k| 0 | 0.0 | 731M| 220 | - | 371 | 693 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
156.58/156.63 c 113s| 2490k| 2410k| 0 | 0.0 | 734M| 220 | - | 371 | 713 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
156.99/157.09 c 114s| 2500k| 2419k| 0 | 0.0 | 737M| 220 | - | 371 | 749 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
157.48/157.53 c 114s| 2510k| 2429k| 0 | 0.0 | 740M| 220 | - | 371 | 715 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
157.89/157.98 c 114s| 2520k| 2439k| 0 | 0.0 | 743M| 220 | - | 371 | 738 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
158.39/158.43 c 115s| 2530k| 2449k| 0 | 0.0 | 746M| 220 | - | 371 | 742 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
158.78/158.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.78/158.87 c 115s| 2540k| 2459k| 0 | 0.0 | 749M| 220 | - | 371 | 716 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
159.29/159.32 c 115s| 2550k| 2469k| 0 | 0.0 | 752M| 220 | - | 371 | 729 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
159.69/159.78 c 115s| 2560k| 2479k| 0 | 0.0 | 755M| 220 | - | 371 | 750 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
160.18/160.22 c 116s| 2570k| 2489k| 0 | 0.0 | 757M| 220 | - | 371 | 754 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
160.59/160.67 c 116s| 2580k| 2499k| 0 | 0.0 | 760M| 220 | - | 371 | 752 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
161.09/161.11 c 116s| 2590k| 2509k| 0 | 0.0 | 763M| 220 | - | 371 | 762 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
161.48/161.56 c 116s| 2600k| 2519k| 0 | 0.0 | 766M| 220 | - | 371 | 746 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
161.99/162.02 c 117s| 2610k| 2529k| 0 | 0.0 | 769M| 220 | - | 371 | 780 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
162.38/162.47 c 117s| 2620k| 2539k| 0 | 0.0 | 772M| 220 | - | 371 | 808 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
162.88/162.91 c 117s| 2630k| 2549k| 0 | 0.0 | 775M| 220 | - | 371 | 804 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
163.28/163.35 c 118s| 2640k| 2559k| 0 | 0.0 | 778M| 220 | - | 371 | 802 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
163.80/163.81 c 118s| 2650k| 2569k| 0 | 0.0 | 781M| 220 | - | 371 | 804 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
164.19/164.26 c 118s| 2660k| 2579k| 0 | 0.0 | 784M| 220 | - | 371 | 762 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
164.69/164.70 c 118s| 2670k| 2589k| 0 | 0.0 | 787M| 220 | - | 371 | 744 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
165.08/165.15 c 119s| 2680k| 2599k| 0 | 0.0 | 790M| 220 | - | 371 | 779 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
165.58/165.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.58/165.60 c 119s| 2690k| 2609k| 0 | 0.0 | 792M| 220 | - | 371 | 763 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
165.99/166.05 c 119s| 2700k| 2619k| 0 | 0.0 | 795M| 220 | - | 371 | 781 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
166.48/166.50 c 120s| 2710k| 2629k| 0 | 0.0 | 798M| 220 | - | 371 | 813 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
166.89/166.96 c 120s| 2720k| 2639k| 0 | 0.0 | 801M| 220 | - | 371 | 811 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
167.38/167.40 c 120s| 2730k| 2649k| 0 | 0.0 | 804M| 220 | - | 371 | 755 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
167.79/167.86 c 120s| 2740k| 2659k| 0 | 0.0 | 807M| 220 | - | 371 | 775 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
168.29/168.31 c 121s| 2750k| 2669k| 0 | 0.0 | 810M| 220 | - | 371 | 812 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
168.69/168.76 c 121s| 2760k| 2679k| 0 | 0.0 | 813M| 220 | - | 371 | 813 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
169.19/169.21 c 121s| 2770k| 2689k| 0 | 0.0 | 816M| 220 | - | 371 | 805 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
169.58/169.68 c 122s| 2780k| 2699k| 0 | 0.0 | 819M| 220 | - | 371 | 842 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
170.09/170.13 c 122s| 2790k| 2709k| 0 | 0.0 | 822M| 220 | - | 371 | 833 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
170.49/170.58 c 122s| 2800k| 2719k| 0 | 0.0 | 825M| 220 | - | 371 | 853 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
170.98/171.03 c 122s| 2810k| 2729k| 0 | 0.0 | 828M| 220 | - | 371 | 819 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
171.39/171.48 c 123s| 2820k| 2739k| 0 | 0.0 | 830M| 220 | - | 371 | 857 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
171.89/171.93 c 123s| 2830k| 2749k| 0 | 0.0 | 833M| 220 | - | 371 | 834 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
172.29/172.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.29/172.39 c 123s| 2840k| 2759k| 0 | 0.0 | 836M| 220 | - | 371 | 796 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
172.79/172.85 c 123s| 2850k| 2769k| 0 | 0.0 | 839M| 220 | - | 371 | 794 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
173.29/173.30 c 124s| 2860k| 2779k| 0 | 0.0 | 842M| 220 | - | 371 | 801 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
173.69/173.77 c 124s| 2870k| 2789k| 0 | 0.0 | 845M| 220 | - | 371 | 818 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
174.18/174.24 c 124s| 2880k| 2798k| 0 | 0.0 | 848M| 220 | - | 371 | 848 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
174.59/174.70 c 125s| 2890k| 2808k| 0 | 0.0 | 851M| 220 | - | 371 | 826 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
175.08/175.16 c 125s| 2900k| 2818k| 0 | 0.0 | 854M| 220 | - | 371 | 802 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
175.59/175.61 c 125s| 2910k| 2828k| 0 | 0.0 | 857M| 220 | - | 371 | 798 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
176.00/176.08 c 125s| 2920k| 2838k| 0 | 0.0 | 860M| 220 | - | 371 | 815 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
176.49/176.54 c 126s| 2930k| 2848k| 0 | 0.0 | 863M| 220 | - | 371 | 825 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
176.89/177.00 c 126s| 2940k| 2858k| 0 | 0.0 | 866M| 220 | - | 371 | 824 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
177.39/177.45 c 126s| 2950k| 2868k| 0 | 0.0 | 869M| 220 | - | 371 | 854 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
177.89/177.92 c 127s| 2960k| 2878k| 0 | 0.0 | 872M| 220 | - | 371 | 871 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
178.29/178.39 c 127s| 2970k| 2888k| 0 | 0.0 | 874M| 220 | - | 371 | 864 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
178.79/178.85 c 127s| 2980k| 2898k| 0 | 0.0 | 877M| 220 | - | 371 | 833 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
179.30/179.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.30/179.31 c 127s| 2990k| 2908k| 0 | 0.0 | 880M| 220 | - | 371 | 818 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
179.68/179.78 c 128s| 3000k| 2918k| 0 | 0.0 | 883M| 220 | - | 371 | 811 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
180.19/180.23 c 128s| 3010k| 2928k| 0 | 0.0 | 886M| 220 | - | 371 | 819 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
180.58/180.69 c 128s| 3020k| 2938k| 0 | 0.0 | 889M| 220 | - | 371 | 834 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
181.08/181.14 c 129s| 3030k| 2948k| 0 | 0.0 | 892M| 220 | - | 371 | 847 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
181.59/181.61 c 129s| 3040k| 2958k| 0 | 0.0 | 895M| 220 | - | 371 | 885 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
181.98/182.07 c 129s| 3050k| 2968k| 0 | 0.0 | 898M| 220 | - | 371 | 895 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
182.49/182.53 c 130s| 3060k| 2978k| 0 | 0.0 | 901M| 220 | - | 371 | 879 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
182.89/182.98 c 130s| 3070k| 2988k| 0 | 0.0 | 904M| 220 | - | 371 | 898 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
183.38/183.45 c 130s| 3080k| 2998k| 0 | 0.0 | 907M| 220 | - | 371 | 932 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
183.89/183.91 c 130s| 3090k| 3008k| 0 | 0.0 | 909M| 220 | - | 371 | 931 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
184.28/184.37 c 131s| 3100k| 3018k| 0 | 0.0 | 912M| 220 | - | 371 | 955 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
184.79/184.82 c 131s| 3110k| 3028k| 0 | 0.0 | 915M| 220 | - | 371 | 921 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
185.18/185.28 c 131s| 3120k| 3038k| 0 | 0.0 | 918M| 220 | - | 371 | 915 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
185.68/185.74 c 132s| 3130k| 3048k| 0 | 0.0 | 921M| 220 | - | 371 | 930 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
186.18/186.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.18/186.20 c 132s| 3140k| 3058k| 0 | 0.0 | 924M| 220 | - | 371 | 947 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
186.58/186.65 c 132s| 3150k| 3068k| 0 | 0.0 | 927M| 220 | - | 371 | 956 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
187.08/187.11 c 132s| 3160k| 3078k| 0 | 0.0 | 930M| 220 | - | 371 |1025 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
187.49/187.57 c 133s| 3170k| 3088k| 0 | 0.0 | 933M| 220 | - | 371 | 992 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
187.99/188.03 c 133s| 3180k| 3098k| 0 | 0.0 | 936M| 220 | - | 371 | 960 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
188.39/188.48 c 133s| 3190k| 3108k| 0 | 0.0 | 939M| 220 | - | 371 | 971 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
188.89/188.95 c 134s| 3200k| 3118k| 0 | 0.0 | 942M| 220 | - | 371 | 986 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
189.39/189.40 c 134s| 3210k| 3128k| 0 | 0.0 | 945M| 220 | - | 371 | 935 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
189.78/189.85 c 134s| 3220k| 3137k| 0 | 0.0 | 947M| 220 | - | 371 | 952 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
190.29/190.31 c 134s| 3230k| 3147k| 0 | 0.0 | 950M| 220 | - | 371 | 997 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
190.69/190.77 c 135s| 3240k| 3157k| 0 | 0.0 | 953M| 220 | - | 371 | 981 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
191.18/191.23 c 135s| 3250k| 3167k| 0 | 0.0 | 956M| 220 | - | 371 | 977 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
191.58/191.69 c 135s| 3260k| 3177k| 0 | 0.0 | 959M| 220 | - | 371 | 995 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
192.09/192.16 c 136s| 3270k| 3187k| 0 | 0.0 | 962M| 220 | - | 371 |1034 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
192.59/192.62 c 136s| 3280k| 3197k| 0 | 0.0 | 965M| 220 | - | 371 |1025 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
192.99/193.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.99/193.08 c 136s| 3290k| 3207k| 0 | 0.0 | 968M| 220 | - | 371 |1005 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
193.49/193.53 c 137s| 3300k| 3217k| 0 | 0.0 | 971M| 220 | - | 371 |1013 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
193.89/193.99 c 137s| 3310k| 3227k| 0 | 0.0 | 974M| 220 | - | 371 |1026 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
194.39/194.45 c 137s| 3320k| 3237k| 0 | 0.0 | 977M| 220 | - | 371 |1007 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
194.88/194.92 c 137s| 3330k| 3247k| 0 | 0.0 | 980M| 220 | - | 371 |1029 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
195.29/195.37 c 138s| 3340k| 3257k| 0 | 0.0 | 983M| 220 | - | 371 | 987 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
195.79/195.83 c 138s| 3350k| 3267k| 0 | 0.0 | 986M| 220 | - | 371 | 984 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
196.18/196.28 c 138s| 3360k| 3277k| 0 | 0.0 | 988M| 220 | - | 371 |1027 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
196.69/196.74 c 139s| 3370k| 3287k| 0 | 0.0 | 991M| 220 | - | 371 |1009 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
197.18/197.20 c 139s| 3380k| 3297k| 0 | 0.0 | 994M| 220 | - | 371 |1017 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
197.99/198.08 o 163
197.99/198.08 c * 140s| 3380k| 2878k| 0 | 0.0 | 858M| 220 | - | 371 |1023 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
198.69/198.77 o 147
198.69/198.77 c * 140s| 3382k| 2669k| 0 | 0.0 | 792M| 220 | - | 371 |1303 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
199.09/199.15 o 138
199.09/199.15 c * 141s| 3384k| 2570k| 0 | 0.0 | 761M| 220 | - | 371 |1531 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
199.19/199.25 o 137
199.19/199.25 c * 141s| 3384k| 2551k| 0 | 0.0 | 756M| 220 | - | 371 |1562 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
199.79/199.87 c 141s| 3390k| 2556k| 0 | 0.0 | 759M| 220 | - | 371 |2330 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
200.19/200.23 o 129
200.19/200.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.19/200.23 c * 142s| 3391k| 2460k| 0 | 0.0 | 730M| 220 | - | 371 |2429 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
201.09/201.12 o 126
201.09/201.12 c * 142s| 3397k| 2434k| 0 | 0.0 | 723M| 220 | - | 371 |2925 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
201.29/201.30 o 123
201.29/201.30 c * 143s| 3397k| 2374k| 0 | 0.0 | 705M| 220 | - | 371 |2924 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
201.29/201.30 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
201.29/201.30 c [src/scip/lp.c:5323] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/lp.c:5811] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/lp.c:11214] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/solve.c:807] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/solve.c:1863] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/solve.c:2577] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/solve.c:3189] ERROR: Error <-11> in function call
201.29/201.30 c [src/scip/scip.c:6167] ERROR: Error <-11> in function call
201.29/201.30 c [src/cmain.c:657] ERROR: Error <-11> in function call
201.29/201.30 c [src/cmain.c:832] ERROR: Error <-11> in function call
201.29/201.30 c [src/cmain.c:908] ERROR: Error <-11> in function call
201.29/201.30 c SCIP Error (-11): c a required plugin was not foundc
201.29/201.30 c Time complete: 201.29.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694128-1277923650/watcher-2694128-1277923650 -o /tmp/evaluation-result-2694128-1277923650/solver-2694128-1277923650 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694128-1277923650.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.20 2.03 2.00 2/197 14008 /proc/meminfo: memFree=31098252/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=8256 CPUtime=0 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 1541 0 0 0 0 0 0 0 25 0 1 0 133662642 8454144 1463 4089446400 4194304 7136930 140735173289344 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14008/statm: 2064 1464 275 719 0 1343 0 [startup+0.045725 s] /proc/loadavg: 2.20 2.03 2.00 2/197 14008 /proc/meminfo: memFree=31098252/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=13016 CPUtime=0.04 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 3210 0 0 0 3 1 0 0 25 0 1 0 133662642 13328384 2522 4089446400 4194304 7136930 140735173289344 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14008/statm: 3254 2522 390 719 0 2533 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13016 [startup+0.100757 s] /proc/loadavg: 2.20 2.03 2.00 2/197 14008 /proc/meminfo: memFree=31098252/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=13808 CPUtime=0.09 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 3423 0 0 0 7 2 0 0 25 0 1 0 133662642 14139392 2735 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14008/statm: 3452 2737 390 719 0 2731 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13808 [startup+0.300706 s] /proc/loadavg: 2.20 2.03 2.00 2/197 14008 /proc/meminfo: memFree=31098252/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=16508 CPUtime=0.29 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 4101 0 0 0 23 6 0 0 25 0 1 0 133662642 16904192 3413 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14008/statm: 4127 3413 390 719 0 3406 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16508 [startup+0.700651 s] /proc/loadavg: 2.20 2.03 2.00 2/197 14008 /proc/meminfo: memFree=31098252/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=19048 CPUtime=0.69 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 4728 0 0 0 59 10 0 0 25 0 1 0 133662642 19505152 4040 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14008/statm: 4762 4040 390 719 0 4041 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19048 [startup+1.50051 s] /proc/loadavg: 2.20 2.03 2.00 4/200 14011 /proc/meminfo: memFree=31053720/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=21600 CPUtime=1.49 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 5366 0 0 0 136 13 0 0 25 0 1 0 133662642 22118400 4678 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14008/statm: 5400 4678 390 719 0 4679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21600 [startup+3.10019 s] /proc/loadavg: 2.26 2.04 2.01 4/200 14011 /proc/meminfo: memFree=31046092/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=28272 CPUtime=3.08 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 7063 0 0 0 289 19 0 0 25 0 1 0 133662642 28950528 6375 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14008/statm: 7068 6375 390 719 0 6347 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28272 [startup+6.30063 s] /proc/loadavg: 2.26 2.04 2.01 3/199 14013 /proc/meminfo: memFree=31036056/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=34560 CPUtime=6.28 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 8659 0 0 0 589 39 0 0 25 0 1 0 133662642 35389440 7971 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 8640 7971 390 719 0 7919 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34560 [startup+12.7005 s] /proc/loadavg: 2.30 2.06 2.01 3/199 14017 /proc/meminfo: memFree=31006660/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=64572 CPUtime=12.68 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 15966 0 0 0 1085 183 0 0 25 0 1 0 133662642 66121728 15278 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 16143 15278 390 719 0 15422 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64572 [startup+25.5011 s] /proc/loadavg: 2.33 2.07 2.01 4/200 14021 /proc/meminfo: memFree=30972160/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=89484 CPUtime=25.49 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 22214 0 0 0 2252 297 0 0 25 0 1 0 133662642 91631616 21526 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 22371 21526 390 719 0 21650 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89484 [startup+51.1005 s] /proc/loadavg: 2.34 2.10 2.02 3/197 14070 /proc/meminfo: memFree=30896152/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=217168 CPUtime=51.09 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 52644 0 0 0 4112 997 0 0 25 0 1 0 133662642 222380032 51956 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 54292 51956 390 719 0 53571 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 217168 [startup+102.306 s] /proc/loadavg: 2.19 2.09 2.02 3/197 14071 /proc/meminfo: memFree=30487160/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=565052 CPUtime=102.29 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 139852 0 0 0 7297 2932 0 0 25 0 1 0 133662642 578613248 139164 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 141263 139164 390 719 0 140542 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 565052 [startup+162.3 s] /proc/loadavg: 2.14 2.09 2.02 3/197 14073 /proc/meminfo: memFree=30202140/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=864544 CPUtime=162.28 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 209965 0 0 0 11693 4535 0 0 25 0 1 0 133662642 885293056 209277 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 216136 209277 390 719 0 215415 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 864544 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 2.11 2.08 2.02 3/197 14073 /proc/meminfo: memFree=30081708/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=971344 CPUtime=179.09 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 238104 0 0 0 12734 5175 0 0 25 0 1 0 133662642 994656256 237416 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 242836 237416 390 719 0 242115 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 971344 [startup+191.901 s] /proc/loadavg: 2.08 2.08 2.02 3/197 14074 /proc/meminfo: memFree=29989936/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=1051484 CPUtime=191.89 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 259227 0 0 0 13549 5640 0 0 25 0 1 0 133662642 1076719616 258539 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 262871 258539 390 719 0 262150 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 1051484 [startup+198.301 s] /proc/loadavg: 2.08 2.08 2.02 3/197 14074 /proc/meminfo: memFree=29947748/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=1086444 CPUtime=198.29 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 268403 0 0 0 13991 5838 0 0 25 0 1 0 133662642 1112518656 267715 4089446400 4194304 7136930 140735173289344 18446744073709551615 6165762 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 271611 267715 391 719 0 270890 0 Current children cumulated CPU time (s) 198.29 Current children cumulated vsize (KiB) 1086444 [startup+199.901 s] /proc/loadavg: 2.08 2.08 2.02 3/197 14074 /proc/meminfo: memFree=29947376/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=1087564 CPUtime=199.88 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 268671 0 0 0 14134 5854 0 0 25 0 1 0 133662642 1113665536 267983 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 271891 267983 393 719 0 271170 0 Current children cumulated CPU time (s) 199.88 Current children cumulated vsize (KiB) 1087564 [startup+200.7 s] /proc/loadavg: 2.08 2.08 2.02 3/197 14074 /proc/meminfo: memFree=29946384/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=1088384 CPUtime=200.69 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 268858 0 0 0 14205 5864 0 0 25 0 1 0 133662642 1114505216 268170 4089446400 4194304 7136930 140735173289344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 272096 268170 393 719 0 271375 0 Current children cumulated CPU time (s) 200.69 Current children cumulated vsize (KiB) 1088384 [startup+201.1 s] /proc/loadavg: 2.08 2.08 2.02 3/197 14074 /proc/meminfo: memFree=29946384/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=1089084 CPUtime=201.09 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 269022 0 0 0 14239 5870 0 0 25 0 1 0 133662642 1115222016 268334 4089446400 4194304 7136930 140735173289344 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 272271 268334 393 719 0 271550 0 Current children cumulated CPU time (s) 201.09 Current children cumulated vsize (KiB) 1089084 [startup+201.306 s] /proc/loadavg: 2.08 2.08 2.02 3/197 14075 /proc/meminfo: memFree=29944896/32951124 swapFree=67111528/67111528 [pid=14008] ppid=14006 vsize=1089084 CPUtime=201.29 /proc/14008/stat : 14008 (pbscip.linux.x8) R 14006 14008 12286 0 -1 4202496 269022 0 0 0 14259 5870 0 0 25 0 1 0 133662642 1115222016 268334 4089446400 4194304 7136930 140735173289344 18446744073709551615 6124733 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14008/statm: 272271 268334 393 719 0 271550 0 Current children cumulated CPU time (s) 201.29 Current children cumulated vsize (KiB) 1089084 Child status: 255 Real time (s): 201.343 CPU time (s): 201.338 CPU user time (s): 142.597 CPU system time (s): 58.7411 CPU usage (%): 99.9978 Max. virtual memory (cumulated for all children) (KiB): 1089084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 142.597 system time used= 58.7411 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269071 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= 2422 runsolver used 0.317951 second user time and 0.610907 second system time The end
Begin job on node106 at 2010-06-30 20:47:30 IDJOB=2694128 IDBENCH=79212 IDSOLVER=1206 FILE ID=node106/2694128-1277923650 PBS_JOBID= 11197256 Free space on /tmp= 74212 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/wnqueen/normalized-t2001.13queen13.1111226062--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-2694128-1277923650/watcher-2694128-1277923650 -o /tmp/evaluation-result-2694128-1277923650/solver-2694128-1277923650 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694128-1277923650.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 033c12179045731c4fd222e5d353b2b2 RANDOM SEED=1273672810 node106.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.825 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.65 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.825 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.825 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.825 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.76 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.825 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.825 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.73 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.825 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.83 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.825 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31098788 kB Buffers: 207872 kB Cached: 1274004 kB SwapCached: 0 kB Active: 664800 kB Inactive: 1043660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31098788 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3620 kB Writeback: 0 kB AnonPages: 226836 kB Mapped: 20296 kB Slab: 79756 kB PageTables: 4624 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1650456 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node106 at 2010-06-30 20:50:51