Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | MSAT | 1796.84 | 1797.15 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo |
| MD5SUM | 65e5bfc23cfeb9f0d41691b20b2e7f01 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 5.62214 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4622 |
| Total number of constraints | 12569 |
| Number of soft constraints | 12569 |
| Number of constraints which are clauses | 11753 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 816 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 636317 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 636316 |
| Biggest number in a constraint | 36 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 130 |
| Number of bits of the biggest sum of numbers | 8 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3717392-1338201413.wbo>
0.02/0.05 c original problem has 17191 variables (17191 bin, 0 int, 0 impl, 0 cont) and 12570 constraints
0.02/0.05 c problem read in 0.06
0.19/0.21 o 636316
0.19/0.22 c feasible solution found by trivial heuristic, objective value 6.363160e+05
0.19/0.22 c presolving:
0.19/0.26 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.28 c (round 2) 0 del vars, 1 del conss, 0 add conss, 12569 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.37 c (0.4s) probing: 51/17191 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.38 c presolving (3 rounds):
0.29/0.38 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 12569 tightened bounds, 0 added holes, 408 changed sides, 816 changed coefficients
0.29/0.38 c 12569 implications, 0 cliques
0.29/0.38 c presolved problem has 29760 variables (17191 bin, 0 int, 12569 impl, 0 cont) and 25138 constraints
0.29/0.38 c 12569 constraints of type <linear>
0.29/0.38 c 12569 constraints of type <indicator>
0.29/0.38 c transformed objective value is always integral (scale: 1)
0.29/0.38 c Presolving Time: 0.30
0.29/0.38 c - non default parameters ----------------------------------------------------------------------
0.29/0.38 c # SCIP version 2.1.1.4
0.29/0.38 c
0.29/0.38 c # maximal time in seconds to run
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/time = 1797
0.29/0.38 c
0.29/0.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/memory = 13950
0.29/0.38 c
0.29/0.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.38 c # [type: int, range: [1,2], default: 1]
0.29/0.38 c timing/clocktype = 2
0.29/0.38 c
0.29/0.38 c # belongs reading time to solving time?
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c timing/reading = TRUE
0.29/0.38 c
0.29/0.38 c # force restart if we have a max FS instance and gap is 1?
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c constraints/indicator/forcerestart = TRUE
0.29/0.38 c
0.29/0.38 c # priority of branching rule <inference>
0.29/0.38 c # [type: int, range: [-536870912,536870911], default: 1000]
0.29/0.38 c branching/inference/priority = 1000000
0.29/0.38 c
0.29/0.38 c # frequency offset for calling primal heuristic <coefdiving>
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1]
0.29/0.38 c heuristics/coefdiving/freqofs = 0
0.29/0.38 c
0.29/0.38 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38 c heuristics/shiftandpropagate/freq = -1
0.29/0.38 c
0.29/0.38 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38 c heuristics/undercover/freq = -1
0.29/0.38 c
0.29/0.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c separating/rapidlearning/freq = 0
0.29/0.38 c
0.29/0.38 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c heuristics/indrounding/freq = 1
0.29/0.38 c
0.29/0.38 c -----------------------------------------------------------------------------------------------
0.29/0.38 c start solving
0.39/0.42 c
0.39/0.46 o 29736
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c 6 0.5s| 1 | 0 | 0 | - | 75M| 0 | - | 29k| 25k| 0 | 0 | 0 | 0 | 0 | -- | 2.973600e+04 | Inf
7.78/7.87 o 5178
7.78/7.87 c 6 7.9s| 1 | 0 | 0 | - | 75M| 0 | - | 29k| 25k| 0 | 0 | 0 | 0 | 0 | -- | 5.178000e+03 | Inf
8.49/8.52 c 8.5s| 1 | 0 | 4337 | - | 98M| 0 |1659 | 29k| 25k| 29k| 25k| 0 | 0 | 0 | 0.000000e+00 | 5.178000e+03 | Inf
8.99/9.09 o 4426
8.99/9.09 c 6 9.1s| 1 | 0 | 4337 | - | 100M| 0 |1659 | 29k| 25k| 29k| 25k| 0 | 0 | 0 | 0.000000e+00 | 4.426000e+03 | Inf
10.59/10.62 c 10.6s| 1 | 0 | 4913 | - | 100M| 0 |1726 | 29k| 25k| 29k| 25k| 43 | 0 | 0 | 0.000000e+00 | 4.426000e+03 | Inf
10.69/10.76 o 4347
10.69/10.76 c 610.8s| 1 | 0 | 4913 | - | 101M| 0 |1726 | 29k| 25k| 29k| 25k| 43 | 0 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
12.69/12.75 c 12.8s| 1 | 0 | 6857 | - | 101M| 0 |1827 | 29k| 25k| 29k| 25k| 186 | 0 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
14.98/15.05 c 15.0s| 1 | 0 | 9431 | - | 101M| 0 |1899 | 29k| 25k| 29k| 25k| 331 | 0 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
18.29/18.35 c 18.3s| 1 | 0 | 13198 | - | 102M| 0 |2148 | 29k| 25k| 29k| 25k| 483 | 0 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
24.09/24.20 c 24.2s| 1 | 0 | 17279 | - | 102M| 0 |2129 | 29k| 25k| 29k| 25k| 648 | 0 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
27.58/27.60 c 27.6s| 1 | 0 | 21079 | - | 102M| 0 |2166 | 29k| 25k| 29k| 25k| 812 | 0 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
56.18/56.29 c 56.3s| 1 | 2 | 44697 | - | 109M| 0 |2166 | 29k| 25k| 29k| 25k| 812 | 30 | 0 | 0.000000e+00 | 4.347000e+03 | Inf
92.98/93.04 o 2005
92.98/93.04 c v93.0s| 42 | 43 | 85844 |1579.6 | 142M| 33 | - | 29k| 25k| 29k| 25k| 812 | 62 | 0 | 0.000000e+00 | 2.005000e+03 | Inf
94.07/94.13 o 1137
94.07/94.13 c 694.1s| 42 | 43 | 86081 |1585.4 | 140M| 33 | 760 | 29k| 25k| 29k| 25k| 812 | 62 | 0 | 0.000000e+00 | 1.137000e+03 | Inf
94.17/94.23 o 1117
94.17/94.23 c 694.2s| 43 | 42 | 86081 |1547.7 | 140M| 33 | - | 29k| 25k| 0 | 0 | 812 | 62 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
254.03/254.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.03/254.18 c 254s| 100 | 101 |258380 |2397.0 | 165M| 36 | 793 | 29k| 25k| 29k| 25k| 812 | 83 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
290.03/290.14 c 290s| 200 | 201 |294169 |1372.3 | 167M| 87 | 392 | 29k| 25k| 29k| 25k| 812 | 83 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
299.13/299.22 c 299s| 300 | 280 |300243 | 933.7 | 170M| 133 |2036 | 29k| 25k| 29k| 25k| 812 | 129 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
338.02/338.16 c 338s| 400 | 301 |349597 | 823.4 | 171M| 133 | - | 29k| 25k| 0 | 0 | 812 | 235 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
358.82/358.97 c 359s| 500 | 322 |364989 | 689.2 | 172M| 133 | - | 29k| 25k| 0 | 0 | 812 | 334 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
383.01/383.18 c 383s| 600 | 334 |383427 | 604.9 | 170M| 133 | 313 | 29k| 25k| 29k| 25k| 812 | 436 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
418.41/418.50 c 419s| 700 | 397 |427877 | 582.0 | 171M| 133 | 344 | 29k| 25k| 29k| 25k| 812 | 454 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
430.60/430.73 c 431s| 800 | 497 |446849 | 532.9 | 173M| 133 |1540 | 29k| 25k| 29k| 25k| 812 | 459 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
477.30/477.45 c 477s| 900 | 597 |513810 | 548.1 | 174M| 133 | 331 | 29k| 25k| 29k| 25k| 812 | 465 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
484.70/484.81 c 485s| 1000 | 697 |519687 | 499.1 | 176M| 133 | 336 | 29k| 25k| 29k| 25k| 812 | 469 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
493.19/493.37 c 493s| 1100 | 779 |526157 | 459.6 | 178M| 143 | 59 | 29k| 25k| 29k| 25k| 812 | 488 | 0 | 0.000000e+00 | 1.117000e+03 | Inf
494.69/494.87 o 1115
494.69/494.87 c s 495s| 1128 | 756 |526267 | 448.3 | 179M| 170 | - | 29k| 25k| 29k| 25k| 812 | 495 | 0 | 0.000000e+00 | 1.115000e+03 | Inf
495.09/495.26 o 309
495.09/495.26 c 6 495s| 1128 | 278 |526267 | 448.3 | 172M| 170 | - | 29k| 25k| 29k| 25k| 812 | 495 | 0 | 0.000000e+00 | 3.090000e+02 | Inf
495.29/495.40 o 301
495.29/495.40 c 6 495s| 1129 | 277 |526267 | 447.9 | 170M| 170 | - | 29k| 25k| 0 | 0 | 812 | 495 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
501.50/501.64 c 502s| 1200 | 336 |532454 | 426.5 | 172M| 170 |2120 | 29k| 25k| 29k| 25k| 812 | 509 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
547.89/548.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.89/548.02 c 548s| 1300 | 404 |603861 | 448.6 | 173M| 170 |1517 | 29k| 25k| 29k| 25k| 812 | 547 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
594.58/594.77 c 595s| 1400 | 482 |676781 | 468.7 | 174M| 170 |1827 | 29k| 25k| 29k| 25k| 812 | 613 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
622.88/623.05 c 623s| 1500 | 543 |708188 | 458.4 | 176M| 170 | 201 | 29k| 25k| 29k| 25k| 812 | 715 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
623.87/624.02 o 300
623.87/624.02 c s 624s| 1519 | 539 |708330 | 452.7 | 176M| 170 | - | 29k| 25k| 29k| 25k| 812 | 725 | 0 | 0.000000e+00 | 3.000000e+02 | Inf
624.07/624.20 o 62
624.07/624.20 c 6 624s| 1519 | 376 |708330 | 452.7 | 174M| 170 | - | 29k| 25k| 29k| 25k| 812 | 725 | 0 | 0.000000e+00 | 6.200000e+01 | Inf
624.17/624.35 o 52
624.17/624.35 c 6 624s| 1520 | 350 |708330 | 452.4 | 172M| 170 | - | 29k| 25k| 0 | 0 | 812 | 725 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
633.17/633.38 c 633s| 1600 | 408 |723179 | 439.1 | 171M| 170 | - | 29k| 19k| 0 | 0 | 812 | 762 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
643.37/643.52 c 644s| 1700 | 460 |731779 | 418.3 | 172M| 170 | 18 | 29k| 19k| 29k| 25k| 812 | 856 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
643.87/644.07 o 51
643.87/644.07 c * 644s| 1714 | 416 |731805 | 414.9 | 171M| 170 | - | 29k| 19k| 29k| 25k| 812 | 856 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
646.68/646.81 o 50
646.68/646.81 c * 647s| 1770 | 416 |732305 | 402.0 | 171M| 170 | - | 29k| 19k| 29k| 25k| 812 | 856 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
646.77/646.92 o 45
646.77/646.92 c 6 647s| 1770 | 398 |732305 | 402.0 | 172M| 170 | - | 29k| 19k| 29k| 25k| 812 | 856 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
657.87/658.00 c 658s| 1800 | 425 |752925 | 406.8 | 171M| 170 |1714 | 29k| 18k| 29k| 25k| 812 | 878 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
666.17/666.32 o 44
666.17/666.32 c * 666s| 1886 | 462 |758802 | 391.4 | 173M| 170 | - | 29k| 18k| 29k| 25k| 812 | 898 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
666.27/666.40 o 36
666.27/666.40 c 6 666s| 1886 | 425 |758802 | 391.4 | 173M| 170 | - | 29k| 18k| 29k| 25k| 812 | 898 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
667.17/667.33 c 667s| 1900 | 435 |759176 | 388.7 | 172M| 170 | 114 | 29k| 17k| 29k| 25k| 812 | 902 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
668.97/669.18 o 35
668.97/669.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.97/669.18 c * 669s| 1949 | 441 |759391 | 379.0 | 172M| 170 | - | 29k| 17k| 29k| 25k| 812 | 906 | 0 | 0.000000e+00 | 3.500000e+01 | Inf
670.66/670.80 o 34
670.66/670.80 c s 671s| 1986 | 439 |759535 | 372.0 | 173M| 170 | - | 29k| 17k| 29k| 25k| 812 | 906 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
671.36/671.53 c 672s| 2000 | 453 |759639 | 369.5 | 172M| 170 | 51 | 29k| 17k| 29k| 25k| 812 | 906 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
672.37/672.57 o 32
672.37/672.57 c * 673s| 2027 | 412 |759727 | 364.6 | 172M| 170 | - | 29k| 17k| 29k| 25k| 812 | 906 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
675.18/675.35 o 30
675.18/675.35 c * 675s| 2087 | 461 |760443 | 354.4 | 172M| 170 | - | 29k| 17k| 29k| 25k| 812 | 908 | 0 | 0.000000e+00 | 3.000000e+01 | Inf
675.28/675.42 o 28
675.28/675.42 c 6 675s| 2087 | 407 |760443 | 354.4 | 171M| 170 | - | 29k| 17k| 29k| 25k| 812 | 908 | 0 | 0.000000e+00 | 2.800000e+01 | Inf
675.97/676.13 c 676s| 2100 | 420 |760645 | 352.3 | 171M| 170 | 94 | 29k| 16k| 29k| 25k| 812 | 908 | 0 | 0.000000e+00 | 2.800000e+01 | Inf
677.66/677.88 o 27
677.66/677.88 c * 678s| 2144 | 423 |760901 | 345.2 | 171M| 170 | - | 29k| 16k| 29k| 25k| 812 | 910 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
679.37/679.50 o 26
679.37/679.50 c * 679s| 2182 | 389 |761058 | 339.3 | 171M| 170 | - | 29k| 16k| 29k| 25k| 812 | 910 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
680.26/680.47 c 680s| 2200 | 397 |761691 | 336.8 | 170M| 170 | - | 29k| 16k| 0 | 0 | 812 | 921 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
688.47/688.61 o 24
688.47/688.61 c s 689s| 2291 | 465 |771122 | 327.5 | 172M| 170 | - | 29k| 16k| 29k| 25k| 812 | 939 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
688.87/689.02 o 23
688.87/689.02 c s 689s| 2298 | 400 |771148 | 326.5 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 | 939 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
689.17/689.31 c 689s| 2300 | 402 |771359 | 326.4 | 171M| 170 | 630 | 29k| 15k| 29k| 25k| 812 | 939 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
691.46/691.68 o 22
691.46/691.68 c s 692s| 2355 | 440 |772580 | 319.2 | 172M| 170 | - | 29k| 15k| 29k| 25k| 812 | 941 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
692.16/692.30 o 21
692.16/692.30 c s 692s| 2368 | 434 |772657 | 317.5 | 172M| 170 | - | 29k| 15k| 29k| 25k| 812 | 941 | 0 | 0.000000e+00 | 2.100000e+01 | Inf
693.47/693.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.47/693.65 c 694s| 2400 | 438 |773277 | 313.5 | 172M| 170 | 127 | 29k| 15k| 29k| 25k| 812 | 956 | 0 | 0.000000e+00 | 2.100000e+01 | Inf
694.46/694.61 o 20
694.46/694.61 c s 695s| 2430 | 433 |773417 | 309.7 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 | 959 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
701.16/701.34 o 19
701.16/701.34 c s 701s| 2476 | 359 |783958 | 308.2 | 170M| 170 | - | 29k| 15k| 29k| 25k| 812 | 966 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
708.36/708.52 c 709s| 2500 | 383 |798732 | 311.2 | 169M| 170 |1941 | 29k| 15k| 29k| 25k| 812 | 986 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
731.16/731.37 o 18
731.16/731.37 c s 731s| 2597 | 440 |831336 | 312.1 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 |1109 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
731.56/731.71 c 732s| 2600 | 443 |831632 | 311.9 | 171M| 170 | 133 | 29k| 15k| 29k| 25k| 812 |1109 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
731.66/731.82 o 17
731.66/731.82 c s 732s| 2603 | 436 |831683 | 311.5 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 |1109 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
733.26/733.46 o 16
733.26/733.46 c s 733s| 2641 | 446 |832437 | 307.3 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 |1159 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
733.75/733.98 o 15
733.75/733.98 c s 734s| 2654 | 436 |832480 | 305.8 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 |1159 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
738.46/738.64 c 739s| 2700 | 437 |840469 | 303.6 | 170M| 170 | - | 29k| 15k| 0 | 0 | 812 |1195 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
747.05/747.22 o 14
747.05/747.22 c s 747s| 2792 | 466 |850708 | 297.3 | 171M| 170 | - | 29k| 15k| 29k| 25k| 812 |1243 | 0 | 0.000000e+00 | 1.400000e+01 | Inf
747.55/747.73 c 748s| 2800 | 472 |851005 | 296.5 | 171M| 170 | 200 | 29k| 14k| 29k| 25k| 812 |1251 | 0 | 0.000000e+00 | 1.400000e+01 | Inf
748.55/748.76 o 13
748.55/748.76 c s 749s| 2832 | 440 |851243 | 293.2 | 171M| 170 | - | 29k| 14k| 29k| 25k| 812 |1251 | 0 | 0.000000e+00 | 1.300000e+01 | Inf
751.35/751.53 c 752s| 2900 | 499 |852474 | 286.8 | 171M| 170 | 33 | 29k| 14k| 29k| 25k| 812 |1271 | 0 | 0.000000e+00 | 1.300000e+01 | Inf
751.45/751.69 o 12
751.45/751.69 c s 752s| 2905 | 453 |852489 | 286.3 | 171M| 170 | - | 29k| 14k| 29k| 25k| 812 |1271 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
751.55/751.74 o 8
751.55/751.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.55/751.74 c 6 752s| 2905 | 431 |852489 | 286.3 | 171M| 170 | - | 29k| 14k| 29k| 25k| 812 |1271 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
751.55/751.79 c Forcing restart, since 11313 binary variables among 12569 have been fixed.
751.65/751.86 c (run 1, node 2906) performing user restart
751.65/751.86 c
751.75/751.90 c (restart) converted 12804 cuts from the global cut pool into linear constraints
751.75/751.90 c
751.95/752.13 c presolving:
752.65/752.87 c (round 1) 23760 del vars, 12889 del conss, 0 add conss, 629 chg bounds, 10 chg sides, 86 chg coeffs, 0 upgd conss, 189119 impls, 5 clqs
752.76/752.90 c (round 2) 23830 del vars, 13527 del conss, 0 add conss, 646 chg bounds, 10 chg sides, 88 chg coeffs, 3 upgd conss, 202383 impls, 5 clqs
752.76/752.90 c (round 3) 23842 del vars, 13587 del conss, 0 add conss, 646 chg bounds, 10 chg sides, 88 chg coeffs, 3 upgd conss, 202387 impls, 5 clqs
752.76/752.99 c (round 4) 23842 del vars, 13602 del conss, 0 add conss, 646 chg bounds, 10 chg sides, 88 chg coeffs, 11890 upgd conss, 202387 impls, 5 clqs
752.86/753.03 c (round 5) 23842 del vars, 13603 del conss, 1 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.86/753.05 c (round 6) 23843 del vars, 13605 del conss, 1 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.86/753.08 c (round 7) 23845 del vars, 13611 del conss, 1 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.96/753.13 c (round 8) 23845 del vars, 22295 del conss, 2884 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.96/753.16 c (round 9) 23882 del vars, 22538 del conss, 3127 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202682 impls, 39 clqs
752.96/753.18 c (round 10) 23890 del vars, 22539 del conss, 3127 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11907 upgd conss, 202712 impls, 282 clqs
752.96/753.19 c (round 11) 23894 del vars, 22578 del conss, 3165 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11907 upgd conss, 202766 impls, 283 clqs
753.05/753.25 c (round 12) 23895 del vars, 22595 del conss, 3169 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11907 upgd conss, 202770 impls, 284 clqs
753.15/753.31 c presolving (13 rounds):
753.15/753.31 c 23895 deleted vars, 22595 deleted constraints, 3169 added constraints, 646 tightened bounds, 0 added holes, 13 changed sides, 97 changed coefficients
753.15/753.31 c 202770 implications, 284 cliques
753.15/753.31 c presolved problem has 5865 variables (5031 bin, 0 int, 834 impl, 0 cont) and 8184 constraints
753.15/753.31 c 834 constraints of type <varbound>
753.15/753.31 c 884 constraints of type <knapsack>
753.15/753.31 c 1344 constraints of type <setppc>
753.15/753.31 c 2554 constraints of type <and>
753.15/753.31 c 856 constraints of type <linear>
753.15/753.31 c 834 constraints of type <indicator>
753.15/753.31 c 643 constraints of type <logicor>
753.15/753.31 c 235 constraints of type <bounddisjunction>
753.15/753.31 c transformed objective value is always integral (scale: 1)
753.15/753.31 c Presolving Time: 1.65
753.15/753.32 c
753.26/753.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.26/753.50 c 753s| 1 | 0 |853726 | - | 160M| 0 | 770 |5865 |8184 |5865 | 10k| 0 |1271 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
763.65/763.87 c 764s| 1 | 0 |855503 | - | 162M| 0 |1064 |5865 |9830 |5865 | 10k| 685 |1271 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
766.35/766.50 c 767s| 1 | 2 |858268 | - | 162M| 0 |1064 |5865 |9848 |5865 | 10k| 685 |1289 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
771.35/771.58 o 6
771.35/771.58 c v 772s| 24 | 25 |872032 | 289.5 | 163M| 18 | - |5865 |9863 |5865 | 10k|2224 |1304 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
782.15/782.33 o 4
782.15/782.33 c v 782s| 79 | 58 |896116 | 292.3 | 163M| 29 | - |5865 |8881 |5865 | 10k|3353 |1459 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
783.85/784.05 c 784s| 100 | 77 |900450 | 291.7 | 163M| 31 | 659 |5865 |8311 |5865 | 10k|3572 |1494 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
789.85/790.05 o 2
789.85/790.05 c v 790s| 154 | 26 |913540 | 290.8 | 162M| 33 | - |5865 |8399 |5865 | 10k|4310 |1582 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
793.85/794.03 o 1
793.85/794.03 c Forcing restart, since the absolute gap is 1.000000.
793.85/794.03 c l 794s| 173 | 38 |925917 | 293.0 | 161M| 33 | - |5865 |7985 |5865 | 10k|4996 |1619 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
793.85/794.04 c (run 2, node 173) performing user restart
793.85/794.04 c
793.85/794.05 c (restart) converted 1016 cuts from the global cut pool into linear constraints
793.85/794.05 c
793.85/794.08 c presolving:
793.95/794.11 c (round 1) 1491 del vars, 1039 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 17 chg coeffs, 0 upgd conss, 219222 impls, 285 clqs
793.95/794.12 c (round 2) 1518 del vars, 1132 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 19 chg coeffs, 6 upgd conss, 220272 impls, 281 clqs
793.95/794.17 c (round 3) 1523 del vars, 1214 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 24 chg coeffs, 1239 upgd conss, 220272 impls, 281 clqs
793.95/794.20 c (round 4) 1551 del vars, 1408 del conss, 56 add conss, 20 chg bounds, 6 chg sides, 50 chg coeffs, 1239 upgd conss, 234975 impls, 279 clqs
794.05/794.21 c (round 5) 1577 del vars, 1435 del conss, 56 add conss, 20 chg bounds, 6 chg sides, 60 chg coeffs, 1244 upgd conss, 234975 impls, 331 clqs
794.05/794.25 c (round 6) 1586 del vars, 1474 del conss, 80 add conss, 20 chg bounds, 7 chg sides, 62 chg coeffs, 1249 upgd conss, 236923 impls, 331 clqs
794.05/794.27 c (round 7) 1589 del vars, 1489 del conss, 80 add conss, 20 chg bounds, 7 chg sides, 64 chg coeffs, 1249 upgd conss, 236939 impls, 335 clqs
794.05/794.28 c (round 8) 1590 del vars, 1493 del conss, 80 add conss, 20 chg bounds, 7 chg sides, 66 chg coeffs, 1249 upgd conss, 236939 impls, 335 clqs
794.15/794.34 c (round 9) 1599 del vars, 1510 del conss, 88 add conss, 20 chg bounds, 7 chg sides, 67 chg coeffs, 1249 upgd conss, 237853 impls, 335 clqs
794.24/794.41 c (round 10) 1604 del vars, 1523 del conss, 90 add conss, 20 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238393 impls, 335 clqs
794.24/794.47 c (round 11) 1605 del vars, 1529 del conss, 90 add conss, 20 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238459 impls, 336 clqs
794.34/794.53 c (round 12) 1605 del vars, 1535 del conss, 90 add conss, 20 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238459 impls, 336 clqs
794.34/794.59 c (round 13) 1605 del vars, 1535 del conss, 90 add conss, 147 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238459 impls, 336 clqs
794.45/794.66 c (round 14) 1868 del vars, 1824 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 70 chg coeffs, 1249 upgd conss, 240914 impls, 336 clqs
794.45/794.66 c (round 15) 1880 del vars, 1848 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 71 chg coeffs, 1251 upgd conss, 241086 impls, 336 clqs
794.45/794.69 c (round 16) 1885 del vars, 1851 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 74 chg coeffs, 1384 upgd conss, 241086 impls, 335 clqs
794.55/794.70 c (round 17) 1887 del vars, 1853 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1384 upgd conss, 241508 impls, 336 clqs
794.55/794.73 c (round 18) 1890 del vars, 1863 del conss, 96 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 242637 impls, 336 clqs
794.55/794.75 c (round 19) 1892 del vars, 1869 del conss, 99 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 242813 impls, 342 clqs
794.55/794.77 c (round 20) 1894 del vars, 1874 del conss, 100 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243835 impls, 342 clqs
794.65/794.82 c (round 21) 1896 del vars, 1878 del conss, 102 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243875 impls, 342 clqs
794.65/794.87 c (round 22) 1896 del vars, 1879 del conss, 102 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243875 impls, 342 clqs
794.74/794.93 c (round 23) 1896 del vars, 3863 del conss, 760 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243875 impls, 342 clqs
794.74/794.94 c (round 24) 1907 del vars, 3931 del conss, 828 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 244481 impls, 351 clqs
794.85/795.00 c (round 25) 1920 del vars, 3955 del conss, 839 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 245525 impls, 419 clqs
794.85/795.05 c (round 26) 1921 del vars, 3965 del conss, 844 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 245587 impls, 420 clqs
794.94/795.10 c (round 27) 1922 del vars, 3966 del conss, 844 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 245647 impls, 424 clqs
794.94/795.15 c presolving (28 rounds):
794.94/795.15 c 1922 deleted vars, 3966 deleted constraints, 844 added constraints, 282 tightened bounds, 0 added holes, 8 changed sides, 75 changed coefficients
794.94/795.15 c 245647 implications, 424 cliques
794.94/795.15 c presolved problem has 3943 variables (3943 bin, 0 int, 0 impl, 0 cont) and 5845 constraints
794.94/795.15 c 969 constraints of type <knapsack>
794.94/795.15 c 674 constraints of type <setppc>
794.94/795.15 c 2894 constraints of type <and>
794.94/795.15 c 622 constraints of type <logicor>
794.94/795.15 c 686 constraints of type <bounddisjunction>
794.94/795.15 c transformed objective value is always integral (scale: 1)
794.94/795.15 c Presolving Time: 2.73
794.94/795.16 c
795.05/795.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.05/795.25 c 795s| 1 | 0 |926800 | - | 158M| 0 | 574 |3943 |5845 |3943 |7486 | 0 |1619 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
795.65/795.84 c 796s| 1 | 0 |928642 | - | 158M| 0 | 952 |3943 |5845 |3943 |7980 | 494 |1619 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
796.65/796.89 c 797s| 1 | 2 |930736 | - | 158M| 0 | 952 |3943 |5849 |3943 |7980 | 494 |1623 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
802.75/803.00 c 803s| 100 | 13 |953743 | 291.7 | 159M| 23 | 584 |3943 |5947 |3943 |8545 |2974 |1721 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
812.85/813.04 c 813s| 200 | 66 |988172 | 293.3 | 160M| 55 | 372 |3943 |6128 |3943 |8929 |5559 |1902 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
816.95/817.18 c 817s| 300 | 66 | 1000k| 288.1 | 160M| 55 | - |3943 |6339 | 0 | 0 |6330 |2123 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
821.04/821.28 c 821s| 400 | 98 | 1008k| 282.4 | 161M| 56 | 251 |3943 |6396 |3943 |8982 |7014 |2198 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
823.44/823.63 c 824s| 500 | 81 | 1013k| 275.8 | 161M| 67 | 471 |3943 |6528 |3943 |8571 |7173 |2343 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
825.74/826.00 c 826s| 600 | 79 | 1018k| 269.5 | 161M| 67 | 564 |3943 |6624 |3943 |8951 |7375 |2461 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
828.74/828.97 c 829s| 700 | 93 | 1025k| 264.4 | 161M| 67 | 553 |3943 |6782 |3943 |9017 |7882 |2639 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
832.35/832.58 c 833s| 800 | 108 | 1035k| 260.1 | 161M| 67 | - |3943 |6877 | 0 | 0 |8584 |2782 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
836.14/836.39 c 836s| 900 | 77 | 1045k| 256.1 | 161M| 67 | 665 |3943 |6886 |3943 |8929 |9300 |2928 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
842.44/842.67 c 843s| 1000 | 88 | 1063k| 254.3 | 161M| 67 | 737 |3943 |6914 |3943 |8979 | 10k|3033 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
846.24/846.43 c 846s| 1100 | 82 | 1073k| 250.4 | 161M| 67 | - |3943 |6972 | 0 | 0 | 11k|3166 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
850.14/850.38 c 850s| 1200 | 82 | 1084k| 247.3 | 162M| 67 | 619 |3943 |6954 |3943 |8905 | 12k|3257 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
857.13/857.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.13/857.35 c 857s| 1300 | 112 | 1105k| 246.4 | 162M| 67 | - |3943 |6980 | 0 | 0 | 14k|3377 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
860.54/860.70 c 861s| 1400 | 103 | 1116k| 243.3 | 162M| 67 | 925 |3943 |7026 |3943 |8822 | 15k|3478 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
865.04/865.29 c 865s| 1500 | 81 | 1130k| 241.1 | 162M| 67 | 780 |3943 |7099 |3943 |8991 | 16k|3605 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
870.44/870.62 c 871s| 1600 | 84 | 1149k| 240.0 | 163M| 67 | 778 |3943 |7095 |3943 |8990 | 18k|3706 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
883.74/883.97 c 884s| 1700 | 73 | 1195k| 244.7 | 162M| 67 | 944 |3943 |7006 |3943 |8991 | 23k|3852 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
890.43/890.65 c 891s| 1800 | 107 | 1215k| 243.7 | 162M| 67 | - |3943 |7053 | 0 | 0 | 25k|3924 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
893.33/893.53 c 894s| 1900 | 105 | 1223k| 240.5 | 162M| 67 | 873 |3943 |7223 |3943 |9347 | 25k|4116 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
897.73/897.93 c 898s| 2000 | 135 | 1234k| 237.9 | 162M| 67 | 495 |3943 |7288 |3943 |9427 | 25k|4220 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
902.33/902.55 c 903s| 2100 | 139 | 1250k| 236.3 | 163M| 67 | 853 |3943 |7402 |3943 |9395 | 26k|4367 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
903.73/903.97 c 904s| 2200 | 152 | 1252k| 232.3 | 163M| 67 | 541 |3943 |7561 |3943 |9415 | 26k|4530 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
908.03/908.28 c 908s| 2300 | 169 | 1263k| 230.0 | 163M| 67 | 679 |3943 |7651 |3943 |9346 | 27k|4696 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
912.23/912.46 c 912s| 2400 | 186 | 1273k| 227.6 | 163M| 67 | 665 |3943 |7693 |3943 |9359 | 27k|4825 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
917.33/917.51 c 918s| 2500 | 220 | 1285k| 225.7 | 164M| 67 | 830 |3943 |7735 |3943 |9188 | 28k|4919 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
921.73/921.93 c 922s| 2600 | 237 | 1297k| 223.9 | 164M| 67 | 505 |3943 |7714 |3943 |9237 | 28k|4993 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
925.63/925.84 c 926s| 2700 | 219 | 1308k| 221.7 | 164M| 67 | - |3943 |7786 | 0 | 0 | 29k|5151 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
929.83/930.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.83/930.07 c 930s| 2800 | 229 | 1320k| 220.1 | 164M| 67 | 517 |3943 |7903 |3943 |9377 | 30k|5369 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
933.93/934.15 c 934s| 2900 | 237 | 1332k| 218.3 | 164M| 67 | - |3943 |7841 | 0 | 0 | 31k|5523 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
939.13/939.39 c 939s| 3000 | 255 | 1346k| 217.2 | 164M| 67 | 710 |3943 |7843 |3943 |9221 | 32k|5687 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
944.53/944.80 c 945s| 3100 | 281 | 1363k| 216.4 | 165M| 67 | 469 |3943 |7814 |3943 |9386 | 32k|5803 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
948.83/949.04 c 949s| 3200 | 282 | 1375k| 214.8 | 165M| 67 | - |3943 |7983 | 0 | 0 | 33k|6002 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
953.43/953.62 c 954s| 3300 | 260 | 1388k| 213.5 | 165M| 67 | 547 |3943 |7908 |3943 |9250 | 34k|6109 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
958.12/958.33 c 958s| 3400 | 252 | 1403k| 212.5 | 165M| 67 | 650 |3943 |7916 |3943 |9341 | 35k|6244 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
962.52/962.70 c 963s| 3500 | 220 | 1415k| 211.2 | 165M| 67 | 447 |3943 |7939 |3943 |9367 | 36k|6383 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
969.93/970.14 c 970s| 3600 | 184 | 1440k| 211.7 | 165M| 67 | 709 |3943 |7934 |3943 |9425 | 38k|6516 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
972.92/973.10 c 973s| 3700 | 187 | 1448k| 209.8 | 165M| 67 | 666 |3943 |8055 |3943 |9429 | 38k|6662 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
980.12/980.33 c 980s| 3800 | 211 | 1470k| 210.0 | 165M| 67 | 556 |3943 |8148 |3943 |9273 | 39k|6821 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
985.02/985.26 c 985s| 3900 | 222 | 1484k| 208.9 | 165M| 67 | 513 |3943 |8208 |3943 |8962 | 40k|6959 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
989.22/989.49 c 989s| 4000 | 204 | 1496k| 207.6 | 165M| 67 | 661 |3943 |8276 |3943 |8956 | 41k|7080 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
995.33/995.58 c 996s| 4100 | 206 | 1516k| 207.5 | 166M| 67 | 542 |3943 |8290 |3943 |9020 | 43k|7178 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
999.21/999.47 c 999s| 4200 | 205 | 1527k| 206.2 | 166M| 67 | 447 |3943 |8317 |3943 |8842 | 44k|7269 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1002.72/1002.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.72/1002.92 c 1003s| 4300 | 192 | 1537k| 204.7 | 165M| 67 | 606 |3943 |8354 |3943 |8961 | 45k|7354 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1008.91/1009.16 c 1009s| 4400 | 203 | 1556k| 204.6 | 166M| 67 | 840 |3943 |8329 |3943 |9068 | 46k|7438 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1014.21/1014.41 c 1014s| 4500 | 197 | 1574k| 204.2 | 166M| 67 | 965 |3943 |8320 |3943 |8423 | 48k|7514 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1020.81/1021.05 c 1021s| 4600 | 232 | 1593k| 204.0 | 166M| 67 | 360 |3943 |8314 |3943 |9068 | 50k|7644 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1024.51/1024.74 c 1025s| 4700 | 228 | 1603k| 202.7 | 166M| 67 | 586 |3943 |8420 |3943 |9002 | 50k|7787 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1029.32/1029.57 c 1030s| 4800 | 225 | 1614k| 201.5 | 167M| 67 | 683 |3943 |8561 |3943 |9080 | 51k|7959 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1034.41/1034.66 c 1035s| 4900 | 219 | 1631k| 201.1 | 167M| 67 | 465 |3943 |8573 |3943 |9074 | 53k|8107 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1038.71/1038.92 c 1039s| 5000 | 253 | 1643k| 200.1 | 167M| 67 | 818 |3943 |8671 |3943 |9124 | 53k|8219 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1043.41/1043.69 c 1044s| 5100 | 209 | 1658k| 199.5 | 167M| 67 | 548 |3943 |8694 |3943 |9022 | 54k|8366 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1047.51/1047.73 c 1048s| 5200 | 211 | 1670k| 198.6 | 167M| 67 | - |3943 |8765 | 0 | 0 | 55k|8499 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1053.11/1053.35 c 1053s| 5300 | 216 | 1685k| 197.9 | 167M| 67 | 738 |3943 |8917 |3943 |9122 | 56k|8738 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1057.81/1058.05 c 1058s| 5400 | 217 | 1699k| 197.3 | 167M| 67 | - |3943 |8977 | 0 | 0 | 57k|8875 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1063.30/1063.51 c 1064s| 5500 | 200 | 1715k| 196.9 | 167M| 67 | 735 |3943 |8985 |3943 |8583 | 58k|8987 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1066.61/1066.82 c 1067s| 5600 | 220 | 1724k| 195.7 | 167M| 67 | 536 |3943 |8991 |3943 |8767 | 59k|9085 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1071.90/1072.19 c 1072s| 5700 | 222 | 1739k| 195.1 | 167M| 67 | - |3943 |9078 | 0 | 0 | 61k|9282 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1074.91/1075.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.91/1075.18 c 1075s| 5800 | 219 | 1747k| 193.8 | 167M| 67 | 607 |3943 |9159 |3943 |8704 | 61k|9393 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1078.81/1079.05 c 1079s| 5900 | 218 | 1759k| 193.0 | 167M| 67 | 654 |3943 |9239 |3943 |8664 | 62k|9562 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1082.91/1083.14 c 1083s| 6000 | 219 | 1772k| 192.3 | 167M| 67 | - |3943 |9264 | 0 | 0 | 63k|9682 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1087.80/1088.06 c 1088s| 6100 | 210 | 1787k| 191.9 | 167M| 67 | 712 |3943 |9228 |3943 |8846 | 65k|9812 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1091.40/1091.68 c 1092s| 6200 | 206 | 1797k| 190.9 | 167M| 67 | - |3943 |9315 | 0 | 0 | 66k|9963 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1095.00/1095.24 c 1095s| 6300 | 197 | 1807k| 189.9 | 167M| 67 | - |3943 |9406 | 0 | 0 | 66k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1101.20/1101.40 c 1101s| 6400 | 188 | 1827k| 189.9 | 167M| 67 | 805 |3943 |9467 |3943 |9020 | 68k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1105.10/1105.33 c 1105s| 6500 | 225 | 1839k| 189.3 | 167M| 67 | 253 |3943 |9448 |3943 |8949 | 69k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1107.69/1107.93 c 1108s| 6600 | 186 | 1845k| 188.0 | 167M| 67 | 431 |3943 |9569 |3943 |8886 | 69k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1110.90/1111.10 c 1111s| 6700 | 213 | 1854k| 187.0 | 167M| 67 | 507 |3943 |9608 |3943 |8973 | 70k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1113.10/1113.38 c 1113s| 6800 | 231 | 1861k| 185.7 | 167M| 67 | 205 |3943 |9656 |3943 |8912 | 70k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1114.20/1114.49 c 1114s| 6900 | 213 | 1863k| 184.1 | 167M| 72 | 383 |3943 |9719 |3943 |8938 | 70k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1116.79/1117.06 c 1117s| 7000 | 205 | 1871k| 183.0 | 167M| 72 | - |3943 |9801 | 0 | 0 | 70k| 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1119.00/1119.22 c 1119s| 7100 | 205 | 1876k| 181.7 | 167M| 72 | 426 |3943 |9795 |3943 |8976 | 71k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1121.40/1121.60 c 1122s| 7200 | 199 | 1882k| 180.5 | 167M| 72 | 481 |3943 |9870 |3943 |8911 | 71k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1124.29/1124.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.29/1124.56 c 1125s| 7300 | 202 | 1890k| 179.6 | 167M| 72 | 420 |3943 |9954 |3943 |8969 | 72k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1126.10/1126.39 c 1126s| 7400 | 202 | 1894k| 178.2 | 167M| 72 | 696 |3943 |9989 |3943 |8930 | 72k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1128.99/1129.24 c 1129s| 7500 | 219 | 1901k| 177.2 | 167M| 72 | 605 |3943 | 10k|3943 |8942 | 72k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1131.29/1131.58 c 1132s| 7600 | 233 | 1906k| 176.1 | 168M| 72 | 553 |3943 | 10k|3943 |9014 | 73k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1134.38/1134.68 c 1135s| 7700 | 225 | 1915k| 175.2 | 168M| 72 | 544 |3943 | 10k|3943 |8938 | 73k| 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1137.88/1138.19 c 1138s| 7800 | 236 | 1924k| 174.5 | 168M| 72 | 499 |3943 | 10k|3943 |8934 | 74k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1140.99/1141.23 c 1141s| 7900 | 227 | 1933k| 173.7 | 168M| 72 | 549 |3943 | 10k|3943 |8967 | 74k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1144.49/1144.72 c 1145s| 8000 | 242 | 1943k| 173.0 | 168M| 72 | 617 |3943 | 10k|3943 |8910 | 75k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1147.59/1147.81 c 1148s| 8100 | 233 | 1950k| 172.1 | 168M| 72 | 597 |3943 | 10k|3943 |8885 | 76k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1151.68/1151.91 c 1152s| 8200 | 235 | 1962k| 171.7 | 168M| 72 | 619 |3943 | 10k|3943 |8929 | 77k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1156.18/1156.40 c 1156s| 8300 | 240 | 1975k| 171.3 | 169M| 72 | 500 |3943 | 10k|3943 |9009 | 78k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1159.19/1159.47 c 1159s| 8400 | 256 | 1986k| 170.7 | 169M| 72 | 475 |3943 | 10k|3943 |9020 | 78k| 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1162.58/1162.89 c 1163s| 8500 | 273 | 1995k| 170.0 | 169M| 72 | 612 |3943 | 10k|3943 |9092 | 79k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1164.58/1164.85 c 1165s| 8600 | 326 | 1998k| 168.8 | 169M| 72 | 336 |3943 | 10k|3943 |9093 | 79k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1167.08/1167.31 c 1167s| 8700 | 251 | 2005k| 168.0 | 169M| 72 | 647 |3943 | 10k|3943 |9095 | 79k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1171.18/1171.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.18/1171.47 c 1171s| 8800 | 178 | 2015k| 167.4 | 167M| 72 | - |3943 |9977 | 0 | 0 | 80k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1173.98/1174.27 c 1174s| 8900 | 174 | 2022k| 166.7 | 167M| 72 | - |3943 |9962 | 0 | 0 | 81k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1177.28/1177.50 c 1178s| 9000 | 175 | 2031k| 166.0 | 167M| 72 | 474 |3943 | 10k|3943 |8924 | 81k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1181.88/1182.18 c 1182s| 9100 | 172 | 2044k| 165.7 | 167M| 72 | 539 |3943 | 10k|3943 |8986 | 82k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1189.08/1189.39 c 1189s| 9200 | 173 | 2067k| 166.2 | 167M| 72 |1321 |3943 |9871 |3943 |8888 | 84k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1193.68/1193.92 c 1194s| 9300 | 204 | 2078k| 165.7 | 167M| 72 | 306 |3943 |9943 |3943 |9153 | 85k| 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1195.87/1196.19 c 1196s| 9400 | 201 | 2084k| 164.9 | 167M| 72 | 452 |3943 | 10k|3943 |9137 | 85k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1198.78/1199.08 c 1199s| 9500 | 208 | 2092k| 164.2 | 168M| 72 | 681 |3943 | 10k|3943 |9101 | 86k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1202.08/1202.37 c 1202s| 9600 | 212 | 2100k| 163.6 | 168M| 72 | - |3943 | 10k| 0 | 0 | 86k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1206.58/1206.81 c 1207s| 9700 | 237 | 2110k| 163.0 | 168M| 72 | 205 |3943 | 10k|3943 |9110 | 87k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1209.37/1209.69 c 1210s| 9800 | 220 | 2116k| 162.3 | 168M| 72 | - |3943 | 10k| 0 | 0 | 87k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1212.77/1213.03 c 1213s| 9900 | 233 | 2125k| 161.7 | 168M| 72 | 526 |3943 | 10k|3943 |9071 | 88k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1217.58/1217.83 c 1218s| 10000 | 261 | 2138k| 161.5 | 169M| 72 | 467 |3943 | 10k|3943 |9225 | 89k| 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1221.97/1222.29 c 1222s| 10100 | 239 | 2151k| 161.3 | 169M| 72 | 457 |3943 | 10k|3943 |9172 | 89k| 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1224.77/1225.04 c 1225s| 10200 | 240 | 2160k| 160.7 | 169M| 72 | - |3943 | 10k| 0 | 0 | 90k| 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1228.77/1229.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.77/1229.00 c 1229s| 10300 | 241 | 2170k| 160.3 | 169M| 72 | 676 |3943 | 10k|3943 |9145 | 90k| 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1233.57/1233.87 c 1234s| 10400 | 219 | 2182k| 160.0 | 168M| 72 |1329 |3943 | 10k|3943 |8907 | 91k| 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1238.07/1238.31 c 1238s| 10500 | 226 | 2195k| 159.7 | 169M| 72 | - |3943 | 10k| 0 | 0 | 92k| 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1243.17/1243.47 c 1243s| 10600 | 227 | 2208k| 159.5 | 169M| 72 | 634 |3943 | 10k|3943 |9313 | 93k| 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1246.77/1247.02 c 1247s| 10700 | 229 | 2217k| 159.0 | 169M| 72 | - |3943 | 10k| 0 | 0 | 93k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1252.26/1252.56 c 1253s| 10800 | 220 | 2235k| 159.1 | 169M| 72 | - |3943 | 10k| 0 | 0 | 94k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1257.17/1257.46 c 1257s| 10900 | 223 | 2250k| 159.1 | 169M| 72 | 542 |3943 | 10k|3943 |9339 | 95k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1261.48/1261.74 c 1262s| 11000 | 222 | 2262k| 158.8 | 169M| 72 |1275 |3943 | 10k|3943 |9174 | 96k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1266.37/1266.66 c 1267s| 11100 | 223 | 2279k| 158.9 | 169M| 72 | 780 |3943 | 10k|3943 |9257 | 97k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1270.27/1270.51 c 1271s| 11200 | 226 | 2289k| 158.4 | 169M| 72 | 892 |3943 | 10k|3943 |9172 | 97k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1276.27/1276.56 c 1277s| 11300 | 221 | 2307k| 158.6 | 169M| 72 | 565 |3943 | 10k|3943 |8770 | 98k| 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1281.37/1281.69 c 1282s| 11400 | 206 | 2322k| 158.6 | 169M| 72 | 466 |3943 | 10k|3943 |8792 | 100k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1287.87/1288.12 c 1288s| 11500 | 252 | 2340k| 158.7 | 170M| 72 | 697 |3943 | 10k|3943 |8696 | 101k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1292.67/1292.94 c 1293s| 11600 | 306 | 2352k| 158.4 | 170M| 72 | - |3943 | 10k| 0 | 0 | 102k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1296.06/1296.32 c 1296s| 11700 | 312 | 2362k| 158.0 | 170M| 72 | 565 |3943 | 10k|3943 |8812 | 102k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1299.76/1300.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.76/1300.05 c 1300s| 11800 | 330 | 2371k| 157.6 | 171M| 72 | 515 |3943 | 10k|3943 |8817 | 103k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1302.46/1302.71 c 1303s| 11900 | 334 | 2379k| 157.0 | 171M| 72 | 816 |3943 | 10k|3943 |8768 | 103k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1306.16/1306.49 c 1306s| 12000 | 331 | 2391k| 156.8 | 171M| 72 | - |3943 | 10k| 0 | 0 | 104k| 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1308.96/1309.26 c 1309s| 12100 | 325 | 2399k| 156.3 | 171M| 72 | 572 |3943 | 10k|3943 |9073 | 104k| 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1312.96/1313.21 c 1313s| 12200 | 344 | 2409k| 156.0 | 171M| 72 | 444 |3943 | 10k|3943 |8860 | 105k| 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1315.96/1316.29 c 1316s| 12300 | 341 | 2417k| 155.5 | 171M| 72 | 910 |3943 | 11k|3943 |8835 | 105k| 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1320.36/1320.69 c 1321s| 12400 | 346 | 2429k| 155.2 | 172M| 72 | 487 |3943 | 11k|3943 |8861 | 105k| 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1324.76/1325.08 c 1325s| 12500 | 351 | 2442k| 155.1 | 172M| 72 | 504 |3943 | 11k|3943 |8944 | 106k| 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1329.66/1329.92 c 1330s| 12600 | 252 | 2455k| 154.9 | 171M| 72 | 467 |3943 | 10k|3943 |9076 | 107k| 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1331.76/1332.04 c 1332s| 12700 | 249 | 2460k| 154.2 | 171M| 72 | 313 |3943 | 10k|3943 |9086 | 107k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1334.45/1334.79 c 1335s| 12800 | 255 | 2466k| 153.7 | 171M| 72 | 574 |3943 | 11k|3943 |9075 | 108k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1338.26/1338.52 c 1339s| 12900 | 263 | 2476k| 153.3 | 171M| 72 | 479 |3943 | 11k|3943 |9157 | 109k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1340.67/1340.91 c 1341s| 13000 | 256 | 2482k| 152.8 | 171M| 72 | 582 |3943 | 11k|3943 |9149 | 109k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1344.75/1345.05 c 1345s| 13100 | 282 | 2491k| 152.4 | 171M| 72 | 577 |3943 | 11k|3943 |9163 | 109k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1347.75/1348.01 c 1348s| 13200 | 273 | 2499k| 151.9 | 171M| 72 | - |3943 | 11k| 0 | 0 | 110k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1352.85/1353.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.85/1353.19 c 1353s| 13300 | 284 | 2515k| 152.0 | 172M| 72 | - |3943 | 11k| 0 | 0 | 111k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1355.96/1356.26 c 1356s| 13400 | 291 | 2524k| 151.6 | 172M| 72 |1103 |3943 | 11k|3943 |9105 | 112k| 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1359.55/1359.86 c 1360s| 13500 | 280 | 2534k| 151.2 | 172M| 72 |1031 |3943 | 11k|3943 |9140 | 112k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1364.55/1364.80 c 1365s| 13600 | 281 | 2548k| 151.2 | 172M| 72 | 586 |3943 | 11k|3943 |8970 | 113k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1366.25/1366.54 c 1367s| 13700 | 293 | 2552k| 150.5 | 172M| 72 | - |3943 | 11k| 0 | 0 | 113k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1368.15/1368.49 c 1368s| 13800 | 296 | 2557k| 149.9 | 172M| 72 | 398 |3943 | 11k|3943 |8995 | 113k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1370.55/1370.86 c 1371s| 13900 | 286 | 2563k| 149.4 | 172M| 72 | - |3943 | 11k| 0 | 0 | 113k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1373.95/1374.24 c 1374s| 14000 | 291 | 2573k| 149.1 | 172M| 72 | 332 |3943 | 11k|3943 |9128 | 114k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1379.35/1379.63 c 1380s| 14100 | 296 | 2589k| 149.2 | 172M| 72 | 556 |3943 | 12k|3943 |9212 | 115k| 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1384.04/1384.32 c 1384s| 14200 | 303 | 2602k| 149.1 | 173M| 72 | - |3943 | 12k| 0 | 0 | 116k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1387.75/1388.09 c 1388s| 14300 | 300 | 2613k| 148.8 | 173M| 72 | 612 |3943 | 12k|3943 |9059 | 116k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1392.05/1392.30 c 1392s| 14400 | 295 | 2625k| 148.7 | 173M| 72 | 606 |3943 | 12k|3943 |9079 | 117k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1397.35/1397.66 c 1398s| 14500 | 294 | 2642k| 148.8 | 173M| 72 | 377 |3943 | 12k|3943 |8921 | 118k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1399.95/1400.22 c 1400s| 14600 | 295 | 2649k| 148.4 | 173M| 72 | 378 |3943 | 12k|3943 |8987 | 118k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1403.26/1403.58 c 1404s| 14700 | 256 | 2659k| 148.1 | 172M| 72 | 359 |3943 | 12k|3943 |9030 | 119k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1411.05/1411.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.05/1411.36 c 1411s| 14800 | 260 | 2684k| 148.7 | 171M| 72 | 422 |3943 | 11k|3943 |9223 | 121k| 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1414.25/1414.57 c 1415s| 14900 | 259 | 2693k| 148.3 | 171M| 72 | 427 |3943 | 12k|3943 |9254 | 122k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1419.35/1419.69 c 1420s| 15000 | 265 | 2707k| 148.3 | 172M| 72 | 600 |3943 | 12k|3943 |9250 | 123k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1423.85/1424.13 c 1424s| 15100 | 265 | 2719k| 148.2 | 172M| 72 | 571 |3943 | 12k|3943 |8994 | 124k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1429.25/1429.58 c 1430s| 15200 | 275 | 2734k| 148.2 | 172M| 72 | 469 |3943 | 12k|3943 |9308 | 125k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1433.74/1434.00 c 1434s| 15300 | 275 | 2745k| 147.9 | 172M| 72 | - |3943 | 12k| 0 | 0 | 125k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1436.94/1437.24 c 1437s| 15400 | 283 | 2752k| 147.5 | 172M| 72 | 583 |3943 | 12k|3943 |9289 | 126k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1440.54/1440.83 c 1441s| 15500 | 281 | 2761k| 147.2 | 172M| 72 | 431 |3943 | 12k|3943 |9289 | 126k| 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1444.05/1444.37 c 1444s| 15600 | 282 | 2769k| 146.9 | 172M| 72 | 521 |3943 | 12k|3943 |9224 | 126k| 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1451.64/1451.95 c 1452s| 15700 | 278 | 2794k| 147.4 | 172M| 72 | - |3943 | 12k| 0 | 0 | 128k| 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1455.14/1455.48 c 1455s| 15800 | 307 | 2805k| 147.2 | 173M| 72 | 453 |3943 | 12k|3943 |9424 | 129k| 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1457.34/1457.69 c 1458s| 15900 | 308 | 2810k| 146.7 | 173M| 72 | 637 |3943 | 12k|3943 |9301 | 129k| 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1460.14/1460.45 c 1460s| 16000 | 315 | 2817k| 146.3 | 173M| 72 | - |3943 | 12k| 0 | 0 | 129k| 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1463.74/1464.02 c 1464s| 16100 | 313 | 2828k| 146.1 | 173M| 72 | - |3943 | 12k| 0 | 0 | 130k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1467.53/1467.80 c 1468s| 16200 | 316 | 2839k| 145.9 | 173M| 72 | 549 |3943 | 12k|3943 |9320 | 130k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1470.23/1470.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.23/1470.50 c 1470s| 16300 | 326 | 2846k| 145.5 | 173M| 72 | 519 |3943 | 12k|3943 |9289 | 130k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1474.03/1474.36 c 1474s| 16400 | 351 | 2857k| 145.3 | 174M| 72 | - |3943 | 13k| 0 | 0 | 131k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1478.14/1478.42 c 1478s| 16500 | 314 | 2869k| 145.2 | 174M| 72 | 752 |3943 | 13k|3943 |9315 | 131k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1483.03/1483.38 c 1483s| 16600 | 294 | 2882k| 145.1 | 173M| 72 | 824 |3943 | 13k|3943 |9347 | 132k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1488.83/1489.12 c 1489s| 16700 | 309 | 2898k| 145.2 | 173M| 72 | - |3943 | 13k| 0 | 0 | 133k| 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1492.83/1493.16 c 1493s| 16800 | 310 | 2909k| 145.0 | 174M| 72 | 637 |3943 | 13k|3943 |9330 | 134k| 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1496.03/1496.39 c 1496s| 16900 | 316 | 2918k| 144.7 | 174M| 72 | 464 |3943 | 13k|3943 |9281 | 134k| 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1500.53/1500.80 c 1501s| 17000 | 315 | 2931k| 144.7 | 174M| 72 | 510 |3943 | 13k|3943 |9329 | 135k| 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1505.33/1505.61 c 1506s| 17100 | 329 | 2943k| 144.6 | 174M| 72 | 501 |3943 | 13k|3943 |9309 | 136k| 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1510.93/1511.27 c 1511s| 17200 | 327 | 2960k| 144.7 | 174M| 72 | 506 |3943 | 13k|3943 |9322 | 137k| 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1515.54/1515.85 c 1516s| 17300 | 342 | 2973k| 144.6 | 174M| 72 | - |3943 | 13k| 0 | 0 | 138k| 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1519.83/1520.16 c 1520s| 17400 | 354 | 2985k| 144.5 | 175M| 72 | - |3943 | 13k| 0 | 0 | 139k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1523.93/1524.26 c 1524s| 17500 | 342 | 2997k| 144.4 | 175M| 72 | 787 |3943 | 13k|3943 |9179 | 139k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1529.03/1529.32 c 1529s| 17600 | 340 | 3012k| 144.4 | 175M| 72 | 655 |3943 | 13k|3943 |9214 | 140k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1535.12/1535.48 c 1535s| 17700 | 304 | 3034k| 144.8 | 174M| 72 | 423 |3943 | 12k|3943 |9124 | 142k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1537.22/1537.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.22/1537.51 c 1538s| 17800 | 321 | 3038k| 144.2 | 174M| 72 | 469 |3943 | 13k|3943 |9220 | 142k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1539.52/1539.87 c 1540s| 17900 | 325 | 3044k| 143.9 | 174M| 72 | - |3943 | 13k| 0 | 0 | 142k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1542.22/1542.55 c 1543s| 18000 | 309 | 3052k| 143.5 | 174M| 72 | 368 |3943 | 13k|3943 |9104 | 143k| 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1544.62/1544.93 c 1545s| 18100 | 306 | 3057k| 143.1 | 174M| 72 | 584 |3943 | 13k|3943 |9108 | 143k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1548.33/1548.63 c 1549s| 18200 | 326 | 3066k| 142.8 | 174M| 72 | 549 |3943 | 13k|3943 |9151 | 143k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1550.92/1551.29 c 1551s| 18300 | 331 | 3071k| 142.4 | 175M| 72 | 611 |3943 | 13k|3943 |9129 | 143k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1553.92/1554.30 c 1554s| 18400 | 325 | 3080k| 142.2 | 175M| 72 | 431 |3943 | 13k|3943 |9095 | 144k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1556.92/1557.28 c 1557s| 18500 | 319 | 3088k| 141.9 | 174M| 72 | 476 |3943 | 13k|3943 |9060 | 144k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1559.22/1559.51 c 1560s| 18600 | 319 | 3094k| 141.5 | 175M| 72 | 602 |3943 | 13k|3943 |9058 | 144k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1563.72/1564.01 c 1564s| 18700 | 295 | 3108k| 141.5 | 174M| 72 | 529 |3943 | 13k|3943 |9329 | 145k| 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1566.02/1566.35 c 1566s| 18800 | 292 | 3114k| 141.1 | 174M| 72 | - |3943 | 13k| 0 | 0 | 146k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1569.92/1570.22 c 1570s| 18900 | 290 | 3127k| 141.1 | 174M| 72 | 398 |3943 | 13k|3943 |9261 | 146k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1574.83/1575.15 c 1575s| 19000 | 270 | 3143k| 141.2 | 173M| 72 | 840 |3943 | 13k|3943 |9003 | 148k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1576.82/1577.13 c 1577s| 19100 | 286 | 3146k| 140.7 | 173M| 72 | 652 |3943 | 13k|3943 |8985 | 148k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1579.33/1579.68 c 1580s| 19200 | 297 | 3151k| 140.3 | 173M| 72 | 520 |3943 | 13k|3943 |9036 | 148k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1581.02/1581.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.02/1581.37 c 1581s| 19300 | 293 | 3155k| 139.8 | 173M| 72 | 528 |3943 | 13k|3943 |9027 | 148k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1583.02/1583.38 c 1583s| 19400 | 286 | 3159k| 139.3 | 173M| 72 | 527 |3943 | 13k|3943 |9040 | 149k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1586.51/1586.82 c 1587s| 19500 | 296 | 3166k| 139.1 | 173M| 72 | 546 |3943 | 13k|3943 |9036 | 149k| 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1589.92/1590.26 c 1590s| 19600 | 313 | 3173k| 138.8 | 173M| 72 | 719 |3943 | 14k|3943 |9035 | 149k| 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1592.52/1592.86 c 1593s| 19700 | 290 | 3180k| 138.4 | 173M| 72 | 791 |3943 | 14k|3943 |8962 | 150k| 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1595.21/1595.53 c 1596s| 19800 | 310 | 3185k| 138.1 | 174M| 72 | 609 |3943 | 14k|3943 |8989 | 150k| 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1598.31/1598.62 c 1599s| 19900 | 331 | 3192k| 137.8 | 174M| 72 | 475 |3943 | 14k|3943 |9043 | 151k| 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1601.12/1601.47 c 1601s| 20000 | 308 | 3199k| 137.5 | 174M| 72 | 463 |3943 | 14k|3943 |8995 | 151k| 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1604.91/1605.20 c 1605s| 20100 | 288 | 3209k| 137.3 | 174M| 72 | 541 |3943 | 14k|3943 |8971 | 152k| 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1608.51/1608.83 c 1609s| 20200 | 293 | 3217k| 137.1 | 174M| 72 | - |3943 | 14k| 0 | 0 | 152k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1612.12/1612.43 c 1612s| 20300 | 294 | 3227k| 136.9 | 174M| 72 | - |3943 | 14k| 0 | 0 | 153k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1617.51/1617.86 c 1618s| 20400 | 284 | 3241k| 136.9 | 174M| 72 | 623 |3943 | 14k|3943 |9184 | 154k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1620.31/1620.67 c 1621s| 20500 | 296 | 3247k| 136.6 | 174M| 72 | 494 |3943 | 14k|3943 |9225 | 155k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1624.11/1624.49 c 1624s| 20600 | 291 | 3257k| 136.4 | 174M| 72 | 600 |3943 | 14k|3943 |9201 | 155k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1629.01/1629.32 c 1629s| 20700 | 284 | 3271k| 136.5 | 174M| 72 | - |3943 | 14k| 0 | 0 | 157k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1633.81/1634.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.81/1634.17 c 1634s| 20800 | 285 | 3285k| 136.5 | 174M| 72 | 609 |3943 | 14k|3943 |9042 | 158k| 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1638.72/1639.08 c 1639s| 20900 | 337 | 3298k| 136.4 | 174M| 72 | 446 |3943 | 14k|3943 |9123 | 159k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1643.21/1643.51 c 1644s| 21000 | 313 | 3308k| 136.3 | 174M| 72 | - |3943 | 14k| 0 | 0 | 160k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1648.71/1649.02 c 1649s| 21100 | 304 | 3324k| 136.4 | 174M| 72 | 655 |3943 | 14k|3943 |8938 | 161k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1653.31/1653.60 c 1654s| 21200 | 296 | 3338k| 136.4 | 174M| 72 | 580 |3943 | 14k|3943 |9014 | 162k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1656.80/1657.16 c 1657s| 21300 | 326 | 3348k| 136.3 | 175M| 72 | - |3943 | 14k| 0 | 0 | 163k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1659.30/1659.60 c 1660s| 21400 | 338 | 3354k| 135.9 | 175M| 72 | 452 |3943 | 14k|3943 |9181 | 163k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1664.21/1664.52 c 1665s| 21500 | 329 | 3368k| 136.0 | 175M| 72 | 849 |3943 | 14k|3943 |9105 | 164k| 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1670.61/1670.90 c 1671s| 21600 | 323 | 3387k| 136.2 | 175M| 72 | - |3943 | 14k| 0 | 0 | 166k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1674.21/1674.53 c 1675s| 21700 | 350 | 3395k| 136.0 | 175M| 72 | 465 |3943 | 14k|3943 |9140 | 166k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1676.00/1676.34 c 1676s| 21800 | 340 | 3398k| 135.5 | 175M| 72 | 503 |3943 | 14k|3943 |9075 | 167k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1678.21/1678.59 c 1679s| 21900 | 341 | 3403k| 135.2 | 175M| 72 | - |3943 | 14k| 0 | 0 | 167k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1680.51/1680.84 c 1681s| 22000 | 344 | 3408k| 134.9 | 176M| 72 | - |3943 | 15k| 0 | 0 | 167k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1683.30/1683.67 c 1684s| 22100 | 349 | 3414k| 134.6 | 176M| 72 | 698 |3943 | 15k|3943 |8917 | 168k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1685.40/1685.70 c 1686s| 22200 | 353 | 3418k| 134.2 | 176M| 72 | 422 |3943 | 15k|3943 |8956 | 168k| 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1687.60/1687.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.60/1687.93 c 1688s| 22300 | 358 | 3424k| 133.9 | 176M| 72 | - |3943 | 15k| 0 | 0 | 168k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1691.51/1691.88 c 1692s| 22400 | 351 | 3432k| 133.7 | 176M| 72 | 828 |3943 | 15k|3943 |8901 | 169k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1693.61/1693.97 c 1694s| 22500 | 349 | 3437k| 133.3 | 176M| 72 | 711 |3943 | 15k|3943 |8930 | 169k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1697.00/1697.36 c 1697s| 22600 | 388 | 3446k| 133.2 | 176M| 72 | - |3943 | 15k|3943 |8906 | 170k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1698.80/1699.16 c 1699s| 22700 | 398 | 3449k| 132.8 | 176M| 72 | 649 |3943 | 15k|3943 |8908 | 170k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1701.19/1701.54 c 1702s| 22800 | 401 | 3453k| 132.4 | 176M| 72 | 551 |3943 | 15k|3943 |8941 | 170k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1703.20/1703.52 c 1704s| 22900 | 372 | 3457k| 132.1 | 176M| 72 | 759 |3943 | 15k|3943 |8902 | 171k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1704.90/1705.27 c 1705s| 23000 | 391 | 3460k| 131.7 | 176M| 72 | 670 |3943 | 15k|3943 |8915 | 171k| 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1707.10/1707.42 c 1707s| 23100 | 344 | 3465k| 131.4 | 176M| 72 | - |3943 | 15k| 0 | 0 | 171k| 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1709.50/1709.80 c 1710s| 23200 | 342 | 3471k| 131.1 | 176M| 72 | - |3943 | 15k| 0 | 0 | 172k| 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1712.70/1713.06 c 1713s| 23300 | 359 | 3479k| 130.9 | 176M| 72 | - |3943 | 15k| 0 | 0 | 172k| 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1715.30/1715.61 c 1716s| 23400 | 360 | 3485k| 130.6 | 176M| 72 | 560 |3943 | 15k|3943 |8916 | 173k| 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1718.30/1718.63 c 1719s| 23500 | 351 | 3493k| 130.4 | 176M| 72 | 418 |3943 | 15k|3943 |8922 | 174k| 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1720.70/1721.07 c 1721s| 23600 | 341 | 3498k| 130.1 | 176M| 72 | 577 |3943 | 15k|3943 |9150 | 174k| 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1723.09/1723.47 c 1723s| 23700 | 344 | 3503k| 129.8 | 176M| 72 | 236 |3943 | 15k|3943 |8919 | 174k| 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1726.39/1726.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.39/1726.73 c 1727s| 23800 | 330 | 3511k| 129.6 | 176M| 72 | 753 |3943 | 15k|3943 |8829 | 175k| 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1729.19/1729.58 c 1730s| 23900 | 335 | 3518k| 129.4 | 176M| 72 | 691 |3943 | 15k|3943 |8870 | 176k| 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1732.49/1732.80 c 1733s| 24000 | 345 | 3525k| 129.2 | 176M| 72 | 693 |3943 | 15k|3943 |8885 | 176k| 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1735.29/1735.67 c 1736s| 24100 | 359 | 3532k| 129.0 | 176M| 72 | 606 |3943 | 15k|3943 |8953 | 177k| 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1738.39/1738.72 c 1739s| 24200 | 353 | 3539k| 128.8 | 176M| 72 | 557 |3943 | 15k|3943 |8964 | 178k| 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1741.79/1742.10 c 1742s| 24300 | 353 | 3547k| 128.6 | 176M| 72 | 467 |3943 | 15k|3943 |8899 | 179k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1745.19/1745.53 c 1746s| 24400 | 357 | 3556k| 128.5 | 176M| 72 | 618 |3943 | 15k|3943 |8977 | 179k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1747.49/1747.90 c 1748s| 24500 | 356 | 3561k| 128.2 | 177M| 72 | 498 |3943 | 15k|3943 |8913 | 180k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1750.79/1751.15 c 1751s| 24600 | 341 | 3569k| 128.0 | 176M| 72 | 897 |3943 | 15k|3943 |8898 | 181k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1754.79/1755.12 c 1755s| 24700 | 336 | 3579k| 127.9 | 176M| 72 | - |3943 | 15k| 0 | 0 | 182k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1757.29/1757.62 c 1758s| 24800 | 344 | 3584k| 127.6 | 176M| 72 | 595 |3943 | 15k|3943 |9039 | 182k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1759.99/1760.31 c 1760s| 24900 | 359 | 3590k| 127.4 | 176M| 72 | 368 |3943 | 15k|3943 |9118 | 183k| 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1762.39/1762.70 c 1763s| 25000 | 342 | 3595k| 127.1 | 176M| 72 | 456 |3943 | 15k|3943 |9097 | 183k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1764.68/1765.05 c 1765s| 25100 | 339 | 3601k| 126.9 | 176M| 72 | 589 |3943 | 15k|3943 |9075 | 183k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1767.99/1768.34 c 1768s| 25200 | 326 | 3609k| 126.7 | 176M| 72 | 509 |3943 | 15k|3943 |8862 | 184k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1770.79/1771.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.79/1771.13 c 1771s| 25300 | 330 | 3616k| 126.5 | 176M| 72 | 487 |3943 | 15k|3943 |8889 | 184k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1773.09/1773.46 c 1773s| 25400 | 332 | 3621k| 126.2 | 176M| 72 | 520 |3943 | 15k|3943 |8851 | 185k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1775.69/1776.05 c 1776s| 25500 | 350 | 3627k| 126.0 | 177M| 72 | 334 |3943 | 15k|3943 |8991 | 185k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1778.18/1778.53 c 1779s| 25600 | 339 | 3633k| 125.8 | 177M| 72 | 470 |3943 | 15k|3943 |8914 | 185k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1781.39/1781.71 c 1782s| 25700 | 330 | 3640k| 125.6 | 177M| 72 | - |3943 | 15k| 0 | 0 | 186k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1784.78/1785.16 c 1785s| 25800 | 332 | 3648k| 125.4 | 177M| 72 | 582 |3943 | 15k|3943 |8942 | 187k| 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1787.38/1787.74 c 1788s| 25900 | 324 | 3654k| 125.2 | 176M| 72 | - |3943 | 15k| 0 | 0 | 187k| 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1789.59/1789.90 c 1790s| 26000 | 328 | 3660k| 124.9 | 176M| 72 | 422 |3943 | 15k|3943 |9094 | 187k| 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1792.49/1792.87 c 1793s| 26100 | 312 | 3667k| 124.8 | 176M| 72 | 670 |3943 | 15k|3943 |9080 | 188k| 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1796.18/1796.53 c 1797s| 26200 | 304 | 3677k| 124.7 | 176M| 72 | 522 |3943 | 15k|3943 |9188 | 189k| 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 26221 (total of 29300 nodes in 3 runs)
1796.68/1797.00 c Primal Bound : +1.00000000000000e+00 (466 solutions)
1796.68/1797.00 c Dual Bound : +0.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 v x4622 -x4621 x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604
1796.68/1797.01 v -x4603 x4602 -x4601 x4600 x4599 -x4598 -x4597 -x4596 x4595 -x4594 x4593 x4592 x4591 -x4590 x4589 x4588 x4587 -x4586 -x4585
1796.68/1797.01 v x4584 x4583 x4582 -x4581 x4580 x4579 x4578 x4577 x4576 x4575 x4574 x4573 x4572 -x4571 x4570 -x4569 x4568 x4567 -x4566 x4565
1796.68/1797.01 v x4564 -x4563 x4562 x4561 x4560 x4559 x4558 x4557 x4556 x4555 x4554 x4553 x4552 -x4551 x4550 x4549 x4548 -x4547 -x4546 -x4545
1796.68/1797.01 v x4544 x4543 x4542 -x4541 -x4540 -x4539 -x4538 x4537 -x4536 -x4535 x4534 x4533 -x4532 x4531 -x4530 -x4529 x4528 -x4527 x4526
1796.68/1797.01 v -x4525 x4524 -x4523 x4522 x4521 x4520 x4519 -x4518 x4517 -x4516 x4515 x4514 -x4513 x4512 -x4511 x4510 x4509 x4508 x4507 x4506
1796.68/1797.01 v -x4505 x4504 x4503 x4502 x4501 x4500 x4499 -x4498 x4497 x4496 x4495 x4494 x4493 x4492 -x4491 x4490 x4489 x4488 x4487 x4486 x4485
1796.68/1797.01 v x4484 x4483 -x4482 x4481 x4480 x4479 x4478 x4477 x4476 x4475 x4474 -x4473 -x4472 x4471 x4470 -x4469 x4468 x4467 -x4466 x4465
1796.68/1797.01 v x4464 x4463 x4462 -x4461 x4460 x4459 x4458 x4457 x4456 x4455 x4454 x4453 x4452 -x4451 x4450 x4449 x4448 x4447 x4446 -x4445
1796.68/1797.01 v -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427
1796.68/1797.01 v -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409
1796.68/1797.01 v -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391
1796.68/1797.01 v -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374
1796.68/1797.01 v -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 x4366 x4365 x4364 -x4363 -x4362 -x4361 -x4360 x4359 x4358 -x4357 -x4356 -x4355
1796.68/1797.01 v -x4354 -x4353 -x4352 -x4351 -x4350 x4349 x4348 -x4347 -x4346 x4345 x4344 x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336
1796.68/1797.01 v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319
1796.68/1797.01 v -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301
1796.68/1797.01 v -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283
1796.68/1797.01 v -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265
1796.68/1797.01 v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247
1796.68/1797.01 v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229
1796.68/1797.01 v -x4228 -x4227 -x4226 -x4225 -x4224 x4223 x4222 x4221 x4220 -x4219 -x4218 -x4217 -x4216 x4215 x4214 x4213 -x4212 -x4211 -x4210
1796.68/1797.01 v -x4209 -x4208 x4207 -x4206 -x4205 -x4204 x4203 x4202 x4201 x4200 -x4199 -x4198 -x4197 x4196 x4195 x4194 -x4193 -x4192 -x4191
1796.68/1797.01 v -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 x4183 -x4182 -x4181 x4180 -x4179 -x4178 -x4177 -x4176 -x4175 x4174 -x4173
1796.68/1797.01 v -x4172 -x4171 -x4170 x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155
1796.68/1797.01 v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137
1796.68/1797.01 v -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119
1796.68/1797.01 v -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101
1796.68/1797.01 v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083
1796.68/1797.01 v -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066
1796.68/1797.01 v -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048
1796.68/1797.01 v -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030
1796.68/1797.01 v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012
1796.68/1797.01 v -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994
1796.68/1797.01 v -x3993 x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976
1796.68/1797.01 v -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958
1796.68/1797.01 v -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940
1796.68/1797.01 v -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922
1796.68/1797.01 v -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904
1796.68/1797.01 v -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 x3889 -x3888 -x3887 -x3886
1796.68/1797.01 v -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869
1796.68/1797.01 v x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851
1796.68/1797.01 v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 x3838 -x3837 -x3836 -x3835 -x3834 -x3833
1796.68/1797.01 v -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815
1796.68/1797.01 v -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797
1796.68/1797.01 v -x3796 -x3795 -x3794 -x3793 x3792 x3791 x3790 x3789 x3788 x3787 x3786 x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778
1796.68/1797.01 v -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760
1796.68/1797.01 v -x3759 x3758 x3757 x3756 x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
1796.68/1797.01 v -x3740 -x3739 x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 x3729 x3728 -x3727 x3726 -x3725 -x3724 -x3723
1796.68/1797.01 v x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
1796.68/1797.01 v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 x3698 x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 x3687
1796.68/1797.01 v x3686 x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668
1796.68/1797.01 v -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 -x3660 -x3659 -x3658 x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650
1796.68/1797.01 v x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 x3642 x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 x3632
1796.68/1797.01 v x3631 x3630 x3629 x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613
1796.68/1797.01 v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 x3601 x3600 x3599 x3598 -x3597 -x3596 -x3595
1796.68/1797.01 v -x3594 x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
1796.68/1797.01 v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 x3566 -x3565 -x3564 -x3563 x3562 -x3561 -x3560 -x3559
1796.68/1797.01 v -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 -x3543 x3542 -x3541 -x3540
1796.68/1797.01 v -x3539 x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 x3530 x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 x3522
1796.68/1797.01 v -x3521 -x3520 -x3519 -x3518 -x3517 x3516 -x3515 -x3514 -x3513 x3512 x3511 x3510 x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503
1796.68/1797.01 v -x3502 x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485
1796.68/1797.01 v -x3484 -x3483 -x3482 x3481 -x3480 -x3479 x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467
1796.68/1797.01 v x3466 -x3465 -x3464 -x3463 x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 -x3455 x3454 -x3453 -x3452 -x3451 -x3450 x3449
1796.68/1797.01 v -x3448 -x3447 -x3446 -x3445 -x3444 x3443 x3442 x3441 x3440 x3439 x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430
1796.68/1797.01 v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412
1796.68/1797.01 v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394
1796.68/1797.01 v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376
1796.68/1797.01 v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358
1796.68/1797.01 v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340
1796.68/1797.01 v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 x3323 x3322
1796.68/1797.01 v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304
1796.68/1797.01 v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 x3290 x3289 -x3288 -x3287 -x3286
1796.68/1797.01 v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268
1796.68/1797.01 v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250
1796.68/1797.01 v -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232
1796.68/1797.01 v -x3231 x3230 x3229 x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214
1796.68/1797.01 v -x3213 -x3212 -x3211 -x3210 x3209 -x3208 -x3207 x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 x3196
1796.68/1797.01 v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 x3188 x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178
1796.68/1797.01 v -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 x3171 -x3170 -x3169 -x3168 -x3167 -x3166 x3165 -x3164 -x3163 -x3162 -x3161 -x3160
1796.68/1797.01 v -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 x3145 -x3144 -x3143 -x3142
1796.68/1797.01 v -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124
1796.68/1797.01 v -x3123 x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106
1796.68/1797.01 v -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 x3094 x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087
1796.68/1797.01 v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069
1796.68/1797.01 v -x3068 -x3067 -x3066 x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051
1796.68/1797.01 v -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034
1796.68/1797.01 v x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 x3019 -x3018 -x3017 -x3016 -x3015
1796.68/1797.01 v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997
1796.68/1797.01 v -x2996 -x2995 -x2994 -x2993 -x2992 x2991 x2990 -x2989 -x2988 -x2987 x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979
1796.68/1797.01 v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961
1796.68/1797.01 v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943
1796.68/1797.01 v x2942 -x2941 x2940 -x2939 -x2938 -x2937 -x2936 x2935 -x2934 x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 x2926 -x2925 -x2924
1796.68/1797.01 v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907
1796.68/1797.01 v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889
1796.68/1797.01 v -x2888 x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 x2871 -x2870
1796.68/1797.01 v -x2869 -x2868 -x2867 -x2866 -x2865 x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 x2855 x2854 x2853 -x2852
1796.68/1797.01 v -x2851 x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 x2834
1796.68/1797.01 v x2833 -x2832 -x2831 x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816
1796.68/1797.01 v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 x2798
1796.68/1797.01 v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780
1796.68/1797.01 v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 x2766 -x2765 -x2764 -x2763 -x2762
1796.68/1797.01 v -x2761 x2760 -x2759 -x2758 -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 x2743
1796.68/1797.01 v x2742 -x2741 x2740 -x2739 -x2738 -x2737 x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725
1796.68/1797.01 v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 x2711 -x2710 -x2709 -x2708 -x2707
1796.68/1797.01 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689
1796.68/1797.01 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671
1796.68/1797.01 v x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656 -x2655 x2654 -x2653 -x2652
1796.68/1797.01 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634
1796.68/1797.01 v -x2633 -x2632 -x2631 -x2630 x2629 x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 x2618 -x2617 -x2616
1796.68/1797.01 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 x2599 -x2598
1796.68/1797.01 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 x2586 x2585 x2584 x2583 x2582 x2581 x2580 -x2579
1796.68/1797.01 v x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 x2565 -x2564 -x2563 -x2562 -x2561
1796.68/1797.01 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543
1796.68/1797.01 v -x2542 -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
1796.68/1797.01 v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507
1796.68/1797.01 v -x2506 -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 x2491 -x2490 -x2489 -x2488
1796.68/1797.01 v -x2487 x2486 -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470
1796.68/1797.01 v -x2469 x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 x2453 x2452
1796.68/1797.01 v x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
1796.68/1797.01 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 x2427 -x2426 -x2425 -x2424 x2423 -x2422 x2421 x2420 -x2419 -x2418 -x2417 x2416 -x2415
1796.68/1797.01 v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397
1796.68/1797.01 v -x2396 -x2395 -x2394 -x2393 -x2392 x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
1796.68/1797.01 v -x2378 -x2377 -x2376 -x2375 -x2374 x2373 -x2372 x2371 -x2370 x2369 x2368 x2367 x2366 x2365 x2364 x2363 x2362 x2361 x2360 x2359
1796.68/1797.01 v -x2358 x2357 -x2356 x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341
1796.68/1797.01 v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323
1796.68/1797.01 v -x2322 -x2321 -x2320 -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305
1796.68/1797.01 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287
1796.68/1797.01 v -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269
1796.68/1797.01 v -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251
1796.68/1797.01 v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 x2237 -x2236 -x2235 -x2234 -x2233
1796.68/1797.01 v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215
1796.68/1797.01 v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197
1796.68/1797.01 v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179
1796.68/1797.01 v -x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161
1796.68/1797.01 v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 x2146 x2145 x2144 x2143
1796.68/1797.01 v x2142 x2141 x2140 -x2139 x2138 -x2137 x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
1796.68/1797.01 v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106
1796.68/1797.01 v -x2105 -x2104 -x2103 x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088
1796.68/1797.01 v -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2075 -x2074 -x2073 -x2072 -x2071 -x2070
1796.68/1797.01 v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 x2055 -x2054 -x2053 -x2052
1796.68/1797.01 v -x2051 x2050 x2049 x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 x2041 x2040 -x2039 -x2038 -x2037 x2036 -x2035 -x2034 -x2033
1796.68/1797.01 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015
1796.68/1797.01 v x2014 x2013 x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997
1796.68/1797.01 v x1996 x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978
1796.68/1797.01 v -x1977 -x1976 -x1975 -x1974 -x1973 x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 x1961 x1960
1796.68/1797.01 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 x1942 -x1941
1796.68/1797.01 v -x1940 -x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 x1931 x1930 -x1929 -x1928 -x1927 -x1926 -x1925 x1924 -x1923
1796.68/1797.01 v -x1922 -x1921 -x1920 -x1919 -x1918 x1917 x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 x1909 x1908 -x1907 -x1906 x1905 -x1904
1796.68/1797.01 v -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 x1894 x1893 x1892 x1891 x1890 x1889 -x1888 x1887 -x1886 x1885
1796.68/1797.01 v x1884 x1883 x1882 x1881 x1880 x1879 -x1878 x1877 -x1876 x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
1796.68/1797.01 v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848
1796.68/1797.01 v -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 x1835 -x1834 -x1833 -x1832 -x1831 -x1830
1796.68/1797.01 v -x1829 -x1828 -x1827 -x1826 x1825 -x1824 x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 x1811
1796.68/1797.01 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
1796.68/1797.01 v -x1792 -x1791 -x1790 x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 x1777 -x1776 x1775
1796.68/1797.01 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 x1762 x1761 x1760 -x1759 x1758 -x1757 -x1756
1796.68/1797.01 v x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 x1746 -x1745 x1744 -x1743 -x1742 x1741 -x1740 -x1739 -x1738 -x1737
1796.68/1797.01 v -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720
1796.68/1797.01 v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702
1796.68/1797.01 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
1796.68/1797.01 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666
1796.68/1797.01 v -x1665 x1664 x1663 -x1662 x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 x1648 -x1647
1796.68/1797.01 v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 x1640 -x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629
1796.68/1797.01 v x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610
1796.68/1797.01 v -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592
1796.68/1797.01 v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 x1575 x1574
1796.68/1797.01 v x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556
1796.68/1797.01 v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538
1796.68/1797.01 v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 -x1520
1796.68/1797.01 v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 x1509 x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501
1796.68/1797.01 v x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483
1796.68/1797.01 v -x1482 x1481 -x1480 -x1479 -x1478 x1477 x1476 x1475 -x1474 x1473 x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 x1465 -x1464
1796.68/1797.01 v -x1463 -x1462 -x1461 x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 x1449 x1448 x1447 -x1446
1796.68/1797.01 v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 x1438 x1437 x1436 -x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
1796.68/1797.01 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 x1419 x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409
1796.68/1797.01 v -x1408 -x1407 x1406 -x1405 -x1404 -x1403 x1402 -x1401 x1400 x1399 x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 x1390
1796.68/1797.01 v -x1389 -x1388 x1387 x1386 x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372
1796.68/1797.01 v -x1371 -x1370 x1369 x1368 -x1367 x1366 -x1365 x1364 -x1363 -x1362 x1361 x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353
1796.68/1797.01 v -x1352 -x1351 x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335
1796.68/1797.01 v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317
1796.68/1797.01 v -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299
1796.68/1797.01 v -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281
1796.68/1797.01 v -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262
1796.68/1797.01 v x1261 x1260 -x1259 -x1258 x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243
1796.68/1797.01 v -x1242 x1241 -x1240 -x1239 x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 -x1225
1796.68/1797.01 v -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207
1796.68/1797.01 v -x1206 x1205 x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 x1196 x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187
1796.68/1797.01 v x1186 -x1185 -x1184 x1183 x1182 x1181 -x1180 x1179 x1178 x1177 -x1176 x1175 x1174 x1173 -x1172 -x1171 -x1170 x1169 -x1168
1796.68/1797.01 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 x1153 -x1152 -x1151 -x1150
1796.68/1797.01 v x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 x1134 -x1133 -x1132 -x1131
1796.68/1797.01 v x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 -x1113 -x1112
1796.68/1797.01 v x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093
1796.68/1797.01 v -x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 x1077 -x1076 -x1075
1796.68/1797.01 v -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 x1057 -x1056
1796.68/1797.01 v -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 x1038
1796.68/1797.01 v -x1037 -x1036 -x1035 x1034 -x1033 -x1032 x1031 x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
1796.68/1797.01 v -x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001
1796.68/1797.01 v x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
1796.68/1797.01 v x980 x979 x978 -x977 x976 -x975 -x974 x973 -x972 x971 -x970 -x969 x968 -x967 x966 -x965 -x964 x963 -x962 x961 -x960 -x959 x958
1796.68/1797.01 v -x957 x956 -x955 -x954 x953 -x952 x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
1796.68/1797.01 v -x935 x934 x933 x932 -x931 -x930 -x929 -x928 x927 -x926 x925 -x924 -x923 -x922 x921 x920 x919 x918 x917 -x916 -x915 -x914
1796.68/1797.01 v -x913 x912 x911 x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
1796.68/1797.01 v -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 x883 -x882 x881 -x880 -x879 x878 -x877 x876 -x875 -x874 x873 -x872 x871 -x870
1796.68/1797.01 v -x869 x868 -x867 x866 -x865 -x864 x863 -x862 x861 -x860 -x859 x858 -x857 x856 x855 x854 -x853 -x852 -x851 -x850 -x849 -x848
1796.68/1797.01 v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827
1796.68/1797.01 v -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 x813 x812 -x811 -x810 x809 -x808 -x807 -x806
1796.68/1797.01 v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1796.68/1797.01 v -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1796.68/1797.01 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743
1796.68/1797.01 v -x742 x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
1796.68/1797.01 v -x720 x719 -x718 -x717 -x716 x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 x702 x701 x700 x699
1796.68/1797.01 v -x698 x697 -x696 -x695 -x694 x693 -x692 x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677
1796.68/1797.01 v x676 x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1796.68/1797.01 v -x655 x654 x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 x642 -x641 -x640 x639 x638 x637 x636 -x635 -x634 -x633
1796.68/1797.01 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 x613 -x612
1796.68/1797.01 v x611 -x610 -x609 -x608 x607 -x606 x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 -x592 x591 x590
1796.68/1797.01 v x589 -x588 -x587 x586 x585 x584 x583 -x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 x572 x571 x570 -x569 -x568 -x567 -x566
1796.68/1797.01 v -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
1796.68/1797.01 v -x544 x543 -x542 -x541 x540 x539 x538 -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523
1796.68/1797.01 v -x522 -x521 x520 x519 x518 -x517 x516 x515 x514 -x513 x512 x511 x510 -x509 x508 x507 x506 x505 x504 x503 -x502 -x501 -x500
1796.68/1797.01 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478
1796.68/1797.01 v -x477 -x476 -x475 -x474 x473 x472 x471 x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 x457 x456
1796.68/1797.01 v x455 x454 x453 x452 x451 x450 x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435 -x434
1796.68/1797.01 v x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 x425 -x424 -x423 x422 -x421 x420 -x419 -x418 x417 x416 x415 x414 -x413 x412 x411
1796.68/1797.01 v -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 x394 -x393 x392 -x391 -x390
1796.68/1797.01 v x389 -x388 x387 -x386 -x385 x384 -x383 x382 -x381 -x380 x379 -x378 x377 -x376 -x375 x374 -x373 x372 -x371 -x370 -x369 -x368 x367
1796.68/1797.01 v -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 x349 -x348 x347 -x346
1796.68/1797.01 v -x345 x344 -x343 x342 -x341 x340 -x339 -x338 -x337 -x336 x335 x334 x333 x332 -x331 -x330 -x329 -x328 x327 -x326 x325 x324 -x323
1796.68/1797.01 v -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 x309 -x308 -x307 x306 -x305 x304 -x303 -x302
1796.68/1797.01 v x301 -x300 x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 x291 -x290 x289 x288 x287 x286 -x285 -x284 -x283 -x282 -x281 x280 -x279
1796.68/1797.01 v -x278 x277 -x276 x275 -x274 -x273 x272 -x271 x270 x269 -x268 x267 x266 x265 x264 x263 -x262 -x261 -x260 -x259 x258 -x257
1796.68/1797.01 v -x256 -x255 x254 -x253 -x252 x251 -x250 x249 -x248 -x247 -x246 -x245 x244 -x243 x242 x241 -x240 x239 -x238 x237 -x236 -x235 -x234
1796.68/1797.01 v -x233 x232 -x231 x230 x229 x228 x227 -x226 -x225 x224 x223 x222 x221 x220 x219 x218 -x217 -x216 -x215 -x214 -x213 -x212
1796.68/1797.01 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190
1796.68/1797.01 v -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169
1796.68/1797.01 v -x168 -x167 x166 -x165 -x164 -x163 -x162 x161 x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1796.68/1797.01 v x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125
1796.68/1797.01 v -x124 x123 -x122 x121 -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 x108 x107 x106 x105 x104 x103 -x102
1796.68/1797.01 v x101 x100 x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77
1796.68/1797.01 v x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 x62 -x61 x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 x50
1796.68/1797.01 v x49 x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 x36 -x35 -x34 -x33 x32 x31 x30 -x29 -x28 x27 x26 x25 x24 -x23
1796.68/1797.01 v -x22 -x21 x20 -x19 -x18 x17 -x16 x15 -x14 x13 x12 -x11 -x10 x9 -x8 -x7 -x6 x5 x4 x3 -x2 -x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 2.73 (included in solving)
1796.68/1797.01 c reading : 0.06 (included in solving)
1796.68/1797.01 c copying : 0.58 (11 #copies) (minimal 0.02, maximal 0.10, average 0.05)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3717392-1338201413.wbo
1796.68/1797.01 c Variables : 17191 (17191 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 12570 initial, 12570 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3717392-1338201413.wbo
1796.68/1797.01 c Variables : 3943 (3943 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 5845 initial, 15938 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.07 0.00 24508 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.02 0.00 26 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.04 0.00 0 0 0 0 0 10668 3541 0 0
1796.68/1797.01 c implics : 0.04 0.00 0 299 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.02 0 0 0 127 0 0 0 0 0
1796.68/1797.01 c probing : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c varbound : 0.01 0.00 0 0 0 127 0 256 0 0 0
1796.68/1797.01 c knapsack : 0.04 0.00 0 0 0 0 0 4 1 9 44
1796.68/1797.01 c setppc : 0.13 0.00 0 8 0 0 0 186 0 1 0
1796.68/1797.01 c and : 0.78 0.00 20 149 0 0 0 537 471 0 30
1796.68/1797.01 c linear : 0.89 0.03 770 16 0 13242 0 13594 0 419 914
1796.68/1797.01 c indicator : 0.00 0.01 21 0 0 0 0 713 0 0 0
1796.68/1797.01 c logicor : 0.27 0.01 0 0 0 1 0 518 0 0 0
1796.68/1797.01 c bounddisjunction : 0.02 0.00 0 0 0 0 0 86 0 0 0
1796.68/1797.01 c root node : - - 24328 - - 24328 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 23055 0 23004 0 0 0 0 0 46094
1796.68/1797.01 c knapsack : 969 969 3 319472 0 1 20534 147390 3355 270557 600 0 0
1796.68/1797.01 c setppc : 674 674 3 316117 0 1 17 325155 1377 315172 4 0 0
1796.68/1797.01 c and : 2894 2894 46716 314740 0 1 12 1997395 5659 1848340 195414 0 0
1796.68/1797.01 c logicor : 622+ 11094 3 166296 0 0 4 229407 2737 130035 8 0 0
1796.68/1797.01 c bounddisjunction : 686 686 0 29294 0 0 0 442 16 1562 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 8 1 1094 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 7.98 0.00 0.00 0.00 2.11 0.00 5.87 0.00
1796.68/1797.01 c knapsack : 8.15 0.00 0.01 7.94 0.00 0.00 0.08 0.13
1796.68/1797.01 c setppc : 3.54 0.00 0.00 3.33 0.00 0.00 0.00 0.21
1796.68/1797.01 c and : 29.83 0.00 18.31 10.38 0.00 0.00 0.01 1.14
1796.68/1797.01 c logicor : 4.56 0.01 0.00 4.20 0.00 0.00 0.00 0.35
1796.68/1797.01 c bounddisjunction : 0.27 0.00 0.00 0.27 0.00 0.00 0.00 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 29 0 0 12420
1796.68/1797.01 c pseudoobj : 38353 2911 24 259150
1796.68/1797.01 c vbounds : 1501 5175 3 747642
1796.68/1797.01 c redcost : 51214 0 0 280391
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.19 0.00 0.00 0.19 0.00
1796.68/1797.01 c pseudoobj : 4.56 0.02 0.00 1.80 2.74
1796.68/1797.01 c vbounds : 6.02 0.02 0.00 6.00 0.00
1796.68/1797.01 c redcost : 8.41 0.00 0.00 8.41 0.00
1796.68/1797.01 c probing : 0.06 0.00 0.05 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 6.14 13475 13084 113054 41.5 2887 21.4 -
1796.68/1797.01 c infeasible LP : 0.92 602 602 1753 28.0 144 13.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 38663 28.2 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 1023)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.01 0.00 8 0 0 1199 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.83 0.00 8 0 0 400 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 4.32 0.00 8 0 0 3994 0
1796.68/1797.01 c cmir : 5.27 0.00 8 0 0 722 0
1796.68/1797.01 c flowcover : 2.91 0.00 8 0 0 1603 0
1796.68/1797.01 c clique : 0.17 0.00 3 0 0 15 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.09 0.00 3 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 9.51 0.00 1 0 16 0 1667
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c inference : 2.07 0.00 23048 0 0 0 0 46096
1796.68/1797.01 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.03 - - 8
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.33 0.00 30 0
1796.68/1797.01 c guideddiving : 51.66 0.00 8 0
1796.68/1797.01 c objpscostdiving : 43.94 0.00 11 0
1796.68/1797.01 c rootsoldiving : 12.72 0.00 13 0
1796.68/1797.01 c crossover : 3.30 0.00 9 0
1796.68/1797.01 c fracdiving : 89.53 0.00 76 9
1796.68/1797.01 c linesearchdiving : 63.64 0.00 76 1
1796.68/1797.01 c veclendiving : 120.05 0.00 76 9
1796.68/1797.01 c pscostdiving : 81.30 0.00 77 2
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.04 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.54 0.00 50946 0
1796.68/1797.01 c zirounding : 1.60 0.00 1000 0
1796.68/1797.01 c rounding : 2.06 0.00 3175 0
1796.68/1797.01 c shifting : 35.79 0.00 5405 17
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 10.66 0.01 43 14
1796.68/1797.01 c indtwoopt : 0.00 0.01 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c coefdiving : 133.59 0.00 178 8
1796.68/1797.01 c indrounding : 61.89 0.00 23045 385
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.80 0.00 1 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.01 0.00 0 0
1796.68/1797.01 c trysol : 0.25 0.00 12 12
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.02 3 0 0.00 0.00 0.02 3
1796.68/1797.01 c dual LP : 853.37 51419 2941792 57.55 3447.28 2.18 300
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 444.59 29533 737025 24.96 1657.78
1796.68/1797.01 c strong branching : 0.00 0 0 0.00 -
1796.68/1797.01 c (at root node) : - 0 0 0.00 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 3
1796.68/1797.01 c nodes : 26221
1796.68/1797.01 c nodes (total) : 29300
1796.68/1797.01 c nodes left : 318
1796.68/1797.01 c max depth : 72
1796.68/1797.01 c max depth (total): 170
1796.68/1797.01 c backtracks : 6359 (24.3%)
1796.68/1797.01 c delayed cutoffs : 13964
1796.68/1797.01 c repropagations : 22831 (892624 domain reductions, 5593 cutoffs)
1796.68/1797.01 c avg switch length: 3.21
1796.68/1797.01 c switching time : 18.57
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 466 (44 improvements)
1796.68/1797.01 c First Solution : +6.36316000000000e+05 (in run 1, after 0 nodes, 0.20 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : +1.00000000000000e+00 (in run 2, after 173 nodes, 794.03 seconds, depth 120, found by <linesearchdiving>)
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 26761
1796.78/1797.14 c Time complete: 1796.83.
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717392-1338201413/watcher-3717392-1338201413 -o /tmp/evaluation-result-3717392-1338201413/solver-3717392-1338201413 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717392-1338201413.wbo -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 2.01 1.99 2/176 4312 /proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=10188 CPUtime=0 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 1292 0 0 0 0 0 0 0 20 0 1 0 286266763 10432512 1246 33554432000 4194304 10173063 140733514841680 140736786201160 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 2547 1247 416 1460 0 1078 0 [startup+0.0347961 s] /proc/loadavg: 1.94 2.01 1.99 2/176 4312 /proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=20832 CPUtime=0.02 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 3945 0 0 0 2 0 0 0 20 0 1 0 286266763 21331968 3899 33554432000 4194304 10173063 140733514841680 140736786201160 8985008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 5208 3899 416 1460 0 3739 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 20832 [startup+0.100291 s] /proc/loadavg: 1.94 2.01 1.99 2/176 4312 /proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=52436 CPUtime=0.09 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 11834 0 0 0 7 2 0 0 20 0 1 0 286266763 53694464 11752 33554432000 4194304 10173063 140733514841680 140733514835608 5760629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 13109 11752 499 1460 0 11640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 52436 [startup+0.300186 s] /proc/loadavg: 1.94 2.01 1.99 2/176 4312 /proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=102772 CPUtime=0.29 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 23926 0 0 0 24 5 0 0 20 0 1 0 286266763 105238528 23455 33554432000 4194304 10173063 140733514841680 140733514835608 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 25693 23455 564 1460 0 24224 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 102772 [startup+0.700181 s] /proc/loadavg: 1.94 2.01 1.99 2/176 4312 /proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=116640 CPUtime=0.69 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 64 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 5760629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 29160 26432 630 1460 0 27691 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 116640 [startup+1.50017 s] /proc/loadavg: 1.94 2.01 1.99 3/177 4313 /proc/meminfo: memFree=27507076/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=116640 CPUtime=1.48 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 143 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 4502492 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 29160 26432 630 1460 0 27691 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 116640 [startup+3.10017 s] /proc/loadavg: 1.94 2.01 1.99 3/177 4313 /proc/meminfo: memFree=27506828/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=116640 CPUtime=3.08 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 303 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 29160 26432 630 1460 0 27691 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 116640 [startup+6.30024 s] /proc/loadavg: 1.94 2.01 1.99 3/177 4313 /proc/meminfo: memFree=27501668/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=116640 CPUtime=6.28 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 623 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 5643168 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 29160 26432 630 1460 0 27691 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 116640 [startup+12.7002 s] /proc/loadavg: 1.95 2.01 1.99 3/177 4313 /proc/meminfo: memFree=27422796/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=185752 CPUtime=12.69 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 43902 0 0 0 1260 9 0 0 20 0 1 0 286266763 190210048 43331 33554432000 4194304 10173063 140733514841680 140733514835032 7984376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 46438 43331 787 1460 0 44969 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 185752 [startup+25.5001 s] /proc/loadavg: 1.96 2.01 1.99 3/177 4313 /proc/meminfo: memFree=27375844/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=195632 CPUtime=25.48 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 46193 0 0 0 2535 13 0 0 20 0 1 0 286266763 200327168 46118 33554432000 4194304 10173063 140733514841680 140733514837064 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 48908 46118 787 1460 0 47439 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 195632 [startup+51.1002 s] /proc/loadavg: 1.97 2.01 1.99 3/177 4313 /proc/meminfo: memFree=27358348/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=208052 CPUtime=51.08 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 48495 0 0 0 5090 18 0 0 20 0 1 0 286266763 213045248 48931 33554432000 4194304 10173063 140733514841680 140733514836504 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 52013 48931 790 1460 0 50544 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 208052 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4313 /proc/meminfo: memFree=27299004/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=252620 CPUtime=102.28 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 88205 0 0 0 10193 35 0 0 20 0 1 0 286266763 258682880 60297 33554432000 4194304 10173063 140733514841680 140733514834856 7981112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 63155 60297 839 1460 0 61686 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 252620 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4313 /proc/meminfo: memFree=27282176/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=255448 CPUtime=162.26 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 90771 0 0 0 16181 45 0 0 20 0 1 0 286266763 261578752 61613 33554432000 4194304 10173063 140733514841680 140733514834936 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 63862 61613 839 1460 0 62393 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 255448 [startup+222.3 s] /proc/loadavg: 1.99 2.00 1.99 3/178 4316 /proc/meminfo: memFree=27262740/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=268984 CPUtime=222.24 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 94122 0 0 0 22169 55 0 0 20 0 1 0 286266763 275439616 65311 33554432000 4194304 10173063 140733514841680 140733514834328 7902055 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 67246 65311 839 1460 0 65777 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 268984 [startup+282.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4317 /proc/meminfo: memFree=27252580/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=280340 CPUtime=282.23 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 96766 0 0 0 28156 67 0 0 20 0 1 0 286266763 287068160 68502 33554432000 4194304 10173063 140733514841680 140733514834776 8038495 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 70085 68502 839 1460 0 68616 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 280340 [startup+342.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4317 /proc/meminfo: memFree=27235908/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=287744 CPUtime=342.22 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 127342 0 0 0 34140 82 0 0 20 0 1 0 286266763 294649856 70738 33554432000 4194304 10173063 140733514841680 140733514834920 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 71936 70738 851 1460 0 70467 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 287744 [startup+402.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4317 /proc/meminfo: memFree=27172668/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=324988 CPUtime=402.2 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 166803 0 0 0 40125 95 0 0 20 0 1 0 286266763 332787712 79970 33554432000 4194304 10173063 140733514841680 140733514835032 7706056 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 81247 79970 851 1460 0 79778 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 324988 [startup+462.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4317 /proc/meminfo: memFree=27165784/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=327556 CPUtime=462.2 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 167496 0 0 0 46113 107 0 0 20 0 1 0 286266763 335417344 80663 33554432000 4194304 10173063 140733514841680 140733514835320 8012302 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 81889 80663 851 1460 0 80420 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 327556 [startup+522.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 4317 /proc/meminfo: memFree=27160704/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=331044 CPUtime=522.19 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 168449 0 0 0 52102 117 0 0 20 0 1 0 286266763 338989056 81613 33554432000 4194304 10173063 140733514841680 140733514833880 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 82761 81613 851 1460 0 81292 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 331044 [startup+582.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4318 /proc/meminfo: memFree=27155744/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=332624 CPUtime=582.18 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 201625 0 0 0 58083 135 0 0 20 0 1 0 286266763 340606976 82208 33554432000 4194304 10173063 140733514841680 140733514834984 7984421 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 83156 82208 876 1460 0 81687 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 332624 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26982892/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=493960 CPUtime=1062.11 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242126 0 0 0 105805 406 0 0 20 0 1 0 286266763 505815040 122488 33554432000 4194304 10173063 140733514841680 140733514835320 7722896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123490 122488 887 1460 0 122021 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 493960 [startup+1122.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 4322 /proc/meminfo: memFree=26986372/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=493960 CPUtime=1122.1 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242128 0 0 0 111770 440 0 0 20 0 1 0 286266763 505815040 122488 33554432000 4194304 10173063 140733514841680 140733514835400 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123490 122488 887 1460 0 122021 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 493960 [startup+1182.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 4323 /proc/meminfo: memFree=26984292/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=493960 CPUtime=1182.08 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 117735 473 0 0 20 0 1 0 286266763 505815040 122616 33554432000 4194304 10173063 140733514841680 140733514835320 7934953 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123490 122616 887 1460 0 122021 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 493960 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 4323 /proc/meminfo: memFree=26981576/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=493960 CPUtime=1242.07 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 123698 509 0 0 20 0 1 0 286266763 505815040 122631 33554432000 4194304 10173063 140733514841680 140733514835320 7396683 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123490 122631 887 1460 0 122021 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 493960 [startup+1302.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 4323 /proc/meminfo: memFree=26982444/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=493960 CPUtime=1302.06 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 129667 539 0 0 20 0 1 0 286266763 505815040 122631 33554432000 4194304 10173063 140733514841680 140733514837048 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123490 122631 887 1460 0 122021 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 493960 [startup+1362.3 s] /proc/loadavg: 2.09 2.03 2.00 3/177 4323 /proc/meminfo: memFree=26984304/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=493960 CPUtime=1362.05 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 135636 569 0 0 20 0 1 0 286266763 505815040 122631 33554432000 4194304 10173063 140733514841680 140733514837048 8032937 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123490 122631 887 1460 0 122021 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 493960 [startup+1422.31 s] /proc/loadavg: 2.11 2.05 2.01 3/178 4326 /proc/meminfo: memFree=26986340/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1422.05 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 141603 602 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514835032 7911564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123225 887 1460 0 122899 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 497472 [startup+1482.3 s] /proc/loadavg: 2.11 2.07 2.01 3/178 4349 /proc/meminfo: memFree=26974592/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1482.04 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 147569 635 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514838168 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123225 887 1460 0 122899 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 497472 [startup+1542.3 s] /proc/loadavg: 2.15 2.09 2.02 3/177 4349 /proc/meminfo: memFree=26977456/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1542.02 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 153536 666 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514835400 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123225 887 1460 0 122899 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 497472 [startup+1602.3 s] /proc/loadavg: 2.17 2.10 2.02 3/177 4349 /proc/meminfo: memFree=26974108/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1602.01 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 159503 698 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514837608 8007064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123225 887 1460 0 122899 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 497472 [startup+1662.3 s] /proc/loadavg: 2.06 2.08 2.02 3/177 4349 /proc/meminfo: memFree=26975100/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1662.01 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 165473 728 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514834936 7396628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123225 887 1460 0 122899 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 497472 [startup+1722.3 s] /proc/loadavg: 2.07 2.08 2.02 3/177 4387 /proc/meminfo: memFree=27122980/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1722 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 171444 756 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835352 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 497472 [startup+1782.3 s] /proc/loadavg: 1.94 2.04 2.01 3/177 4426 /proc/meminfo: memFree=27376164/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1781.98 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 177411 787 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514837608 8033045 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 497472 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.95 2.04 2.01 3/177 4426 /proc/meminfo: memFree=27376200/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1785.18 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 177730 788 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835032 7911677 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 497472 [startup+1791.91 s] /proc/loadavg: 1.95 2.04 2.01 3/177 4426 /proc/meminfo: memFree=27372048/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1791.59 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178367 792 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514834616 5084148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 497472 [startup+1795.1 s] /proc/loadavg: 1.95 2.04 2.01 3/177 4426 /proc/meminfo: memFree=27368336/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1794.79 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178685 794 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835320 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 497472 [startup+1795.9 s] /proc/loadavg: 1.95 2.04 2.01 3/177 4426 /proc/meminfo: memFree=27368336/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1795.59 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178764 795 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835320 6126936 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 497472 [startup+1796.7 s] /proc/loadavg: 1.96 2.04 2.00 3/177 4426 /proc/meminfo: memFree=27367600/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=497472 CPUtime=1796.38 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178843 795 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835320 6816349 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 124368 123492 887 1460 0 122899 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 497472 [startup+1797.1 s] /proc/loadavg: 1.96 2.04 2.00 3/177 4426 /proc/meminfo: memFree=27367600/32873648 swapFree=7104/7104 [pid=4312] ppid=4310 vsize=495428 CPUtime=1796.78 cores=0,2,4,6 /proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242732 0 0 0 178883 795 0 0 20 0 1 0 286266763 507318272 122994 33554432000 4194304 10173063 140733514841680 140733514841000 7550192 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4312/statm: 123857 122994 889 1460 0 122388 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 495428 Child status: 0 Real time (s): 1797.15 CPU time (s): 1796.84 CPU user time (s): 1788.87 CPU system time (s): 7.96879 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 497472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.87 system time used= 7.96879 maximum resident set size= 493976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 242734 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= 43 involuntary context switches= 2434 runsolver used 3.42848 second user time and 8.70368 second system time The end
Begin job on node127 at 2012-05-28 12:36:53 IDJOB=3717392 IDBENCH=79332 IDSOLVER=2300 FILE ID=node127/3717392-1338201413 RUNJOBID= node127-1338192865-32691 PBS_JOBID= 14624582 Free space on /tmp= 71156 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717392-1338201413/watcher-3717392-1338201413 -o /tmp/evaluation-result-3717392-1338201413/solver-3717392-1338201413 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717392-1338201413.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65e5bfc23cfeb9f0d41691b20b2e7f01 RANDOM SEED=1623384540 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27610616 kB Buffers: 489360 kB Cached: 3582244 kB SwapCached: 0 kB Active: 1567908 kB Inactive: 2809696 kB Active(anon): 307740 kB Inactive(anon): 0 kB Active(file): 1260168 kB Inactive(file): 2809696 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14036 kB Writeback: 0 kB AnonPages: 394200 kB Mapped: 17584 kB Shmem: 200 kB Slab: 745676 kB SReclaimable: 189972 kB SUnreclaim: 555704 kB KernelStack: 1472 kB PageTables: 4420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 422300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71144 MiB End job on node127 at 2012-05-28 13:06:50