Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.25 | 1800.18 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo |
| MD5SUM | 87777454fd73e41b31dd9b36586c9c7c |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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 | 236.741 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1863 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 94064 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94063 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692891-1277909019.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.05 c presolving:
0.04/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.04/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.11 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.13
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90811
0.09/0.19 c y 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 96 | - | 14M| 0 | 44 |3825 |4418 |3825 | 872 | 48 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 49 |3825 |4418 |3825 | 883 | 59 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 162 | - | 15M| 0 | 51 |3825 |4418 |3825 | 886 | 62 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 177 | - | 15M| 0 | 53 |3825 |4418 |3825 | 895 | 71 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.51 c 0.5s| 1 | 0 | 196 | - | 15M| 0 | 59 |3825 |4418 |3825 | 901 | 77 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.99/1.05 c 1.0s| 1 | 2 | 196 | - | 15M| 0 | 59 |3825 |4418 |3825 | 901 | 77 | 0 | 33 | 0.000000e+00 | 9.081100e+04 | Inf
27.09/27.19 c 26.8s| 10000 | 9979 | 39334 | 3.9 | 40M| 105 | 0 |3825 |4430 |3825 | 943 |7798 | 12 |1819 | 0.000000e+00 | 9.081100e+04 | Inf
42.49/42.52 c 42.0s| 20000 | 19969 | 57416 | 2.9 | 58M| 183 | 0 |3825 |4455 |3825 | 967 | 10k| 39 |1823 | 0.000000e+00 | 9.081100e+04 | Inf
57.30/57.38 c 56.7s| 30000 | 29961 | 71192 | 2.4 | 75M| 183 | 0 |3825 |4459 |3825 | 943 | 13k| 47 |1827 | 0.000000e+00 | 9.081100e+04 | Inf
72.69/72.74 c 71.9s| 40000 | 39959 | 85200 | 2.1 | 93M| 183 | 0 |3825 |4449 |3825 | 932 | 16k| 48 |1831 | 0.000000e+00 | 9.081100e+04 | Inf
87.50/87.54 c 86.5s| 50000 | 49953 | 95427 | 1.9 | 110M| 183 | 0 |3825 |4450 |3825 | 950 | 19k| 51 |1831 | 0.000000e+00 | 9.081100e+04 | Inf
102.49/102.57 c 101s| 60000 | 59949 |106660 | 1.8 | 128M| 183 | 0 |3825 |4447 |3825 | 963 | 22k| 53 |1831 | 0.000000e+00 | 9.081100e+04 | Inf
117.49/117.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.49/117.60 c 116s| 70000 | 69949 |118033 | 1.7 | 145M| 183 | 0 |3825 |4441 |3825 | 930 | 25k| 53 |1831 | 0.000000e+00 | 9.081100e+04 | Inf
132.50/132.50 c 131s| 80000 | 79949 |128206 | 1.6 | 163M| 183 | 0 |3825 |4441 |3825 | 933 | 27k| 53 |1831 | 0.000000e+00 | 9.081100e+04 | Inf
147.80/147.88 c 146s| 90000 | 89945 |142492 | 1.6 | 181M| 183 | 0 |3825 |4440 |3825 | 950 | 30k| 55 |1831 | 0.000000e+00 | 9.081100e+04 | Inf
163.60/163.60 c 162s|100000 | 99941 |161457 | 1.6 | 198M| 183 | 0 |3825 |4439 |3825 | 902 | 33k| 57 |1834 | 0.000000e+00 | 9.081100e+04 | Inf
178.20/178.27 c 176s|110000 |109933 |170751 | 1.6 | 216M| 183 | 0 |3825 |4445 |3825 | 936 | 36k| 64 |1838 | 0.000000e+00 | 9.081100e+04 | Inf
192.70/192.78 c 191s|120000 |119933 |178842 | 1.5 | 233M| 183 | 0 |3825 |4442 |3825 | 914 | 37k| 64 |1840 | 0.000000e+00 | 9.081100e+04 | Inf
207.30/207.33 c 205s|130000 |129919 |187402 | 1.4 | 250M| 183 | 0 |3825 |4460 |3825 | 922 | 39k| 87 |1840 | 0.000000e+00 | 9.081100e+04 | Inf
221.70/221.75 c 219s|140000 |139919 |195195 | 1.4 | 267M| 183 | 0 |3825 |4453 |3825 | 916 | 42k| 87 |1840 | 0.000000e+00 | 9.081100e+04 | Inf
236.41/236.46 c 234s|150000 |149915 |204453 | 1.4 | 284M| 183 | 0 |3825 |4441 |3825 | 908 | 44k| 93 |1840 | 0.000000e+00 | 9.081100e+04 | Inf
251.30/251.36 c 249s|160000 |159915 |214571 | 1.3 | 302M| 183 | 0 |3825 |4434 |3825 | 933 | 46k| 93 |1844 | 0.000000e+00 | 9.081100e+04 | Inf
255.00/255.10 o 829
255.00/255.10 c * 252s|162484 |128620 |217321 | 1.3 | 251M| 183 | - |3825 |4433 |3825 | 925 | 47k| 93 |1844 | 0.000000e+00 | 8.290000e+02 | Inf
271.60/271.65 c 269s|170000 |136013 |252945 | 1.5 | 266M| 183 | 0 |3825 |4646 |3825 | 923 | 54k| 398 |1895 | 0.000000e+00 | 8.290000e+02 | Inf
272.90/272.97 o 826
272.90/272.97 c * 270s|170626 |136291 |255489 | 1.5 | 267M| 183 | - |3825 |4657 |3825 | 898 | 55k| 435 |1911 | 0.000000e+00 | 8.260000e+02 | Inf
284.40/284.48 o 821
284.40/284.48 c * 281s|175091 |139967 |287297 | 1.6 | 276M| 183 | - |3825 |4822 |3825 | 918 | 59k| 850 |2002 | 0.000000e+00 | 8.210000e+02 | Inf
296.21/296.26 c 293s|180000 |144735 |314143 | 1.7 | 286M| 183 | 0 |3825 |4702 |3825 | 910 | 65k|1106 |2097 | 0.000000e+00 | 8.210000e+02 | Inf
318.40/318.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.40/318.44 c 315s|190000 |154456 |356918 | 1.9 | 307M| 183 | 0 |3825 |4772 |3825 | 938 | 75k|1711 |2257 | 0.000000e+00 | 8.210000e+02 | Inf
323.60/323.66 o 809
323.60/323.66 c * 320s|192030 |154835 |369870 | 1.9 | 309M| 183 | - |3825 |5003 |3825 | 933 | 77k|2146 |2297 | 0.000000e+00 | 8.090000e+02 | Inf
323.60/323.67 o 807
323.60/323.67 c * 320s|192031 |154569 |369870 | 1.9 | 308M| 183 | - |3825 |5003 |3825 | 933 | 77k|2146 |2297 | 0.000000e+00 | 8.070000e+02 | Inf
326.90/326.98 o 806
326.90/326.98 c * 323s|193236 |155535 |378625 | 2.0 | 311M| 183 | - |3825 |5059 |3825 | 943 | 79k|2456 |2325 | 0.000000e+00 | 8.060000e+02 | Inf
341.90/341.90 o 805
341.90/341.90 c * 338s|199489 |161392 |408545 | 2.0 | 325M| 183 | - |3825 |4936 |3825 | 911 | 85k|3140 |2447 | 0.000000e+00 | 8.050000e+02 | Inf
341.90/341.91 o 790
341.90/341.91 c * 338s|199490 |159534 |408545 | 2.0 | 321M| 183 | - |3825 |4936 |3825 | 911 | 85k|3140 |2447 | 0.000000e+00 | 7.900000e+02 | Inf
342.20/342.23 o 773
342.20/342.23 c * 338s|199621 |157560 |409222 | 2.0 | 317M| 183 | - |3825 |4960 |3825 | 911 | 86k|3172 |2447 | 0.000000e+00 | 7.730000e+02 | Inf
342.20/342.25 o 729
342.20/342.25 c * 338s|199622 |151604 |409223 | 2.0 | 304M| 183 | - |3825 |4960 |3825 | 911 | 86k|3172 |2447 | 0.000000e+00 | 7.290000e+02 | Inf
343.21/343.21 c 339s|200000 |151954 |411122 | 2.1 | 305M| 183 | 0 |3825 |4954 |3825 | 952 | 86k|3230 |2449 | 0.000000e+00 | 7.290000e+02 | Inf
350.71/350.73 o 716
350.71/350.73 c * 346s|203058 |152887 |427272 | 2.1 | 308M| 183 | - |3825 |5047 |3825 | 947 | 90k|3713 |2520 | 0.000000e+00 | 7.160000e+02 | Inf
352.50/352.56 o 710
352.50/352.56 c * 348s|203842 |152747 |430639 | 2.1 | 308M| 183 | - |3825 |5075 |3825 | 953 | 91k|3870 |2547 | 0.000000e+00 | 7.100000e+02 | Inf
356.30/356.31 o 708
356.30/356.31 c * 352s|205365 |153822 |438705 | 2.1 | 311M| 183 | - |3825 |5031 |3825 | 920 | 92k|4129 |2554 | 0.000000e+00 | 7.080000e+02 | Inf
361.10/361.12 o 705
361.10/361.12 c * 356s|207296 |155099 |448831 | 2.2 | 314M| 183 | - |3825 |5000 |3825 | 916 | 95k|4466 |2582 | 0.000000e+00 | 7.050000e+02 | Inf
361.81/361.82 o 701
361.81/361.82 c * 357s|207601 |154700 |449409 | 2.2 | 314M| 183 | - |3825 |5045 |3825 | 925 | 95k|4530 |2589 | 0.000000e+00 | 7.010000e+02 | Inf
367.31/367.37 c 362s|210000 |156949 |459500 | 2.2 | 320M| 183 | 0 |3825 |5067 |3825 | 912 | 97k|4853 |2628 | 0.000000e+00 | 7.010000e+02 | Inf
370.50/370.55 o 697
370.50/370.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.50/370.55 c * 366s|211267 |157388 |466386 | 2.2 | 321M| 183 | - |3825 |5155 |3825 | 938 | 99k|5166 |2634 | 0.000000e+00 | 6.970000e+02 | Inf
389.91/389.97 o 696
389.91/389.97 c * 384s|219579 |164878 |504327 | 2.3 | 339M| 183 | - |3825 |5125 |3825 | 941 | 107k|6723 |2764 | 0.000000e+00 | 6.960000e+02 | Inf
391.00/391.02 c 385s|220000 |165263 |506266 | 2.3 | 340M| 183 | - |3825 |5163 |3825 | 937 | 108k|6820 |2768 | 0.000000e+00 | 6.960000e+02 | Inf
414.11/414.19 c 408s|230000 |174644 |550788 | 2.4 | 361M| 183 | 0 |3825 |5091 |3825 | 936 | 117k|8171 |2897 | 0.000000e+00 | 6.960000e+02 | Inf
437.51/437.53 o 684
437.51/437.53 c * 431s|239785 |181364 |597641 | 2.5 | 376M| 183 | - |3825 |5261 |3825 | 920 | 129k|9919 |3021 | 0.000000e+00 | 6.840000e+02 | Inf
438.01/438.07 c 431s|240000 |181559 |598564 | 2.5 | 377M| 183 | 0 |3825 |5264 |3825 | 940 | 129k|9960 |3027 | 0.000000e+00 | 6.840000e+02 | Inf
439.61/439.68 o 680
439.61/439.68 c * 433s|240660 |181326 |601685 | 2.5 | 377M| 183 | - |3825 |5279 |3825 | 907 | 130k| 10k|3039 | 0.000000e+00 | 6.800000e+02 | Inf
450.31/450.35 o 381
450.31/450.35 c * 443s|245036 |107930 |621879 | 2.5 | 240M| 183 | - |3825 |5335 |3825 | 907 | 134k| 11k|3075 | 0.000000e+00 | 3.810000e+02 | Inf
453.81/453.88 o 378
453.81/453.88 c * 447s|246321 |107543 |630925 | 2.6 | 241M| 183 | - |3825 |6053 |3825 | 916 | 136k| 12k|3102 | 0.000000e+00 | 3.780000e+02 | Inf
456.31/456.38 o 377
456.31/456.38 c * 449s|247263 |107897 |635113 | 2.6 | 243M| 183 | - |3825 |6048 |3825 | 952 | 137k| 13k|3108 | 0.000000e+00 | 3.770000e+02 | Inf
463.81/463.85 c 456s|250000 |109952 |650390 | 2.6 | 249M| 183 | - |3825 |5560 | 0 | 0 | 140k| 14k|3152 | 0.000000e+00 | 3.770000e+02 | Inf
463.91/463.96 o 376
463.91/463.96 c * 456s|250037 |109686 |650596 | 2.6 | 249M| 183 | - |3825 |5554 |3825 | 902 | 140k| 14k|3152 | 0.000000e+00 | 3.760000e+02 | Inf
463.91/463.96 o 375
463.91/463.96 c * 456s|250038 |109392 |650606 | 2.6 | 248M| 183 | - |3825 |5554 |3825 | 902 | 140k| 14k|3152 | 0.000000e+00 | 3.750000e+02 | Inf
465.21/465.26 o 371
465.21/465.26 c * 458s|250557 |108536 |652363 | 2.6 | 248M| 183 | - |3825 |5507 |3825 | 916 | 141k| 14k|3154 | 0.000000e+00 | 3.710000e+02 | Inf
466.61/466.61 o 369
466.61/466.61 c * 459s|251090 |108198 |655137 | 2.6 | 247M| 183 | - |3825 |5728 |3825 | 942 | 141k| 14k|3155 | 0.000000e+00 | 3.690000e+02 | Inf
466.90/466.93 o 367
466.90/466.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.90/466.93 c * 459s|251211 |107628 |655703 | 2.6 | 246M| 183 | - |3825 |5749 |3825 | 895 | 141k| 14k|3156 | 0.000000e+00 | 3.670000e+02 | Inf
466.90/466.98 o 366
466.90/466.98 c * 459s|251221 |107323 |655772 | 2.6 | 246M| 183 | - |3825 |5749 |3825 | 899 | 141k| 14k|3156 | 0.000000e+00 | 3.660000e+02 | Inf
466.90/466.99 o 364
466.90/466.99 c * 459s|251222 |106718 |655772 | 2.6 | 244M| 183 | - |3825 |5749 |3825 | 899 | 141k| 14k|3156 | 0.000000e+00 | 3.640000e+02 | Inf
468.41/468.45 o 363
468.41/468.45 c * 461s|251890 |106896 |658063 | 2.6 | 245M| 183 | - |3825 |5792 |3825 | 912 | 142k| 14k|3159 | 0.000000e+00 | 3.630000e+02 | Inf
470.01/470.00 o 361
470.01/470.00 c * 462s|252528 |106595 |660619 | 2.6 | 245M| 183 | - |3825 |5972 |3825 | 929 | 142k| 15k|3162 | 0.000000e+00 | 3.610000e+02 | Inf
473.10/473.12 o 356
473.10/473.12 c * 465s|253761 |105959 |666186 | 2.6 | 245M| 183 | - |3825 |5906 |3825 | 903 | 144k| 15k|3163 | 0.000000e+00 | 3.560000e+02 | Inf
473.50/473.59 o 355
473.50/473.59 c * 466s|253919 |105737 |666870 | 2.6 | 245M| 183 | - |3825 |5919 |3825 | 895 | 144k| 16k|3163 | 0.000000e+00 | 3.550000e+02 | Inf
474.01/474.10 o 353
474.01/474.10 c * 466s|254097 |105167 |667908 | 2.6 | 244M| 183 | - |3825 |5919 |3825 | 928 | 144k| 16k|3163 | 0.000000e+00 | 3.530000e+02 | Inf
474.81/474.89 o 350
474.81/474.89 c * 467s|254388 |104308 |669323 | 2.6 | 243M| 183 | - |3825 |5937 |3825 | 935 | 145k| 16k|3163 | 0.000000e+00 | 3.500000e+02 | Inf
475.71/475.78 o 348
475.71/475.78 c * 468s|254727 |103987 |671090 | 2.6 | 242M| 183 | - |3825 |5922 |3825 | 910 | 145k| 16k|3169 | 0.000000e+00 | 3.480000e+02 | Inf
477.41/477.43 o 344
477.41/477.43 c * 469s|255388 |103116 |673872 | 2.6 | 240M| 183 | - |3825 |5941 |3825 | 937 | 146k| 16k|3204 | 0.000000e+00 | 3.440000e+02 | Inf
477.41/477.48 o 335
477.41/477.48 c * 469s|255392 |100221 |674006 | 2.6 | 234M| 183 | - |3825 |5934 |3825 | 930 | 146k| 16k|3205 | 0.000000e+00 | 3.350000e+02 | Inf
478.31/478.38 o 334
478.31/478.38 c * 470s|255697 |100098 |675761 | 2.6 | 235M| 183 | - |3825 |5857 |3825 | 933 | 146k| 16k|3208 | 0.000000e+00 | 3.340000e+02 | Inf
478.61/478.65 o 331
478.61/478.65 c * 471s|255785 | 99257 |676307 | 2.6 | 233M| 183 | - |3825 |5850 |3825 | 935 | 146k| 16k|3208 | 0.000000e+00 | 3.310000e+02 | Inf
479.70/479.70 o 330
479.70/479.70 c * 472s|256177 | 99125 |678623 | 2.6 | 234M| 183 | - |3825 |5950 |3825 | 918 | 147k| 17k|3210 | 0.000000e+00 | 3.300000e+02 | Inf
479.70/479.71 o 328
479.70/479.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.70/479.71 c * 472s|256178 | 98490 |678623 | 2.6 | 232M| 183 | - |3825 |5950 |3825 | 918 | 147k| 17k|3210 | 0.000000e+00 | 3.280000e+02 | Inf
480.91/480.99 o 327
480.91/480.99 c * 473s|256649 | 98577 |681041 | 2.7 | 233M| 183 | - |3825 |5983 |3825 | 940 | 148k| 17k|3211 | 0.000000e+00 | 3.270000e+02 | Inf
480.91/480.99 o 325
480.91/480.99 c * 473s|256650 | 97872 |681041 | 2.7 | 232M| 183 | - |3825 |5983 |3825 | 940 | 148k| 17k|3211 | 0.000000e+00 | 3.250000e+02 | Inf
483.61/483.61 o 321
483.61/483.61 c * 475s|257654 | 97172 |684980 | 2.7 | 232M| 183 | - |3825 |5895 |3825 | 930 | 149k| 17k|3212 | 0.000000e+00 | 3.210000e+02 | Inf
485.21/485.20 o 320
485.21/485.20 c * 477s|258177 | 97124 |688285 | 2.7 | 233M| 183 | - |3825 |5946 |3825 | 914 | 150k| 17k|3215 | 0.000000e+00 | 3.200000e+02 | Inf
485.30/485.31 o 319
485.30/485.31 c * 477s|258215 | 96812 |688477 | 2.7 | 232M| 183 | - |3825 |5955 |3825 | 924 | 150k| 17k|3215 | 0.000000e+00 | 3.190000e+02 | Inf
485.71/485.74 o 318
485.71/485.74 c * 477s|258365 | 96589 |689111 | 2.7 | 232M| 183 | - |3825 |5970 |3825 | 933 | 150k| 17k|3215 | 0.000000e+00 | 3.180000e+02 | Inf
486.51/486.56 o 316
486.51/486.56 c * 478s|258643 | 96045 |690161 | 2.7 | 232M| 183 | - |3825 |5977 |3825 | 925 | 150k| 18k|3216 | 0.000000e+00 | 3.160000e+02 | Inf
490.11/490.12 c 482s|260000 | 96947 |697480 | 2.7 | 235M| 183 | 0 |3825 |6145 |3825 | 912 | 152k| 18k|3237 | 0.000000e+00 | 3.160000e+02 | Inf
490.80/490.88 o 309
490.80/490.88 c * 482s|260280 | 94590 |699058 | 2.7 | 229M| 183 | - |3825 |6176 |3825 | 940 | 152k| 19k|3248 | 0.000000e+00 | 3.090000e+02 | Inf
490.80/490.89 o 306
490.80/490.89 c * 482s|260281 | 93550 |699058 | 2.7 | 227M| 183 | - |3825 |6176 |3825 | 940 | 152k| 19k|3248 | 0.000000e+00 | 3.060000e+02 | Inf
495.02/495.03 o 304
495.02/495.03 c * 486s|261810 | 93649 |707493 | 2.7 | 229M| 183 | - |3825 |6081 |3825 | 926 | 154k| 20k|3269 | 0.000000e+00 | 3.040000e+02 | Inf
498.61/498.61 o 299
498.61/498.61 c * 490s|263156 | 92626 |714624 | 2.7 | 229M| 183 | - |3825 |6000 |3825 | 928 | 155k| 20k|3271 | 0.000000e+00 | 2.990000e+02 | Inf
498.61/498.62 o 297
498.61/498.62 c * 490s|263157 | 91871 |714624 | 2.7 | 226M| 183 | - |3825 |6000 |3825 | 928 | 155k| 20k|3271 | 0.000000e+00 | 2.970000e+02 | Inf
501.51/501.57 o 294
501.51/501.57 c * 493s|264295 | 91753 |719090 | 2.7 | 228M| 183 | - |3825 |5896 |3825 | 933 | 157k| 21k|3271 | 0.000000e+00 | 2.940000e+02 | Inf
503.21/503.24 o 293
503.21/503.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.21/503.24 c * 494s|264904 | 91741 |721969 | 2.7 | 229M| 183 | - |3825 |5856 |3825 | 927 | 157k| 21k|3273 | 0.000000e+00 | 2.930000e+02 | Inf
504.82/504.82 o 292
504.82/504.82 c * 496s|265470 | 91729 |725039 | 2.7 | 229M| 183 | - |3825 |5860 |3825 | 907 | 158k| 21k|3296 | 0.000000e+00 | 2.920000e+02 | Inf
504.82/504.86 o 289
504.82/504.86 c * 496s|265482 | 90651 |725083 | 2.7 | 227M| 183 | - |3825 |5861 |3825 | 907 | 158k| 21k|3296 | 0.000000e+00 | 2.890000e+02 | Inf
508.71/508.71 o 280
508.71/508.71 c * 500s|266919 | 88295 |731336 | 2.7 | 223M| 183 | - |3825 |5889 |3825 | 915 | 160k| 22k|3309 | 0.000000e+00 | 2.800000e+02 | Inf
509.21/509.25 o 279
509.21/509.25 c * 500s|267105 | 88032 |732118 | 2.7 | 223M| 183 | - |3825 |5850 |3825 | 922 | 160k| 22k|3309 | 0.000000e+00 | 2.790000e+02 | Inf
509.71/509.74 o 273
509.71/509.74 c * 501s|267252 | 86030 |732972 | 2.7 | 219M| 183 | - |3825 |5845 |3825 | 915 | 160k| 22k|3309 | 0.000000e+00 | 2.730000e+02 | Inf
510.71/510.70 o 272
510.71/510.70 c * 502s|267611 | 85952 |734101 | 2.7 | 219M| 183 | - |3825 |5822 |3825 | 917 | 160k| 23k|3311 | 0.000000e+00 | 2.720000e+02 | Inf
510.91/510.92 o 266
510.91/510.92 c * 502s|267679 | 83698 |734302 | 2.7 | 214M| 183 | - |3825 |5833 |3825 | 930 | 160k| 23k|3311 | 0.000000e+00 | 2.660000e+02 | Inf
511.21/511.23 o 263
511.21/511.23 c * 502s|267792 | 82680 |734635 | 2.7 | 211M| 183 | - |3825 |5836 |3825 | 944 | 160k| 23k|3311 | 0.000000e+00 | 2.630000e+02 | Inf
512.21/512.21 o 261
512.21/512.21 c * 503s|268169 | 82232 |735628 | 2.7 | 211M| 183 | - |3825 |5862 |3825 | 934 | 161k| 23k|3311 | 0.000000e+00 | 2.610000e+02 | Inf
512.21/512.22 o 259
512.21/512.22 c * 503s|268170 | 81508 |735628 | 2.7 | 209M| 183 | - |3825 |5862 |3825 | 934 | 161k| 23k|3311 | 0.000000e+00 | 2.590000e+02 | Inf
512.61/512.64 o 252
512.61/512.64 c * 504s|268318 | 78830 |736250 | 2.7 | 202M| 183 | - |3825 |5865 |3825 | 903 | 161k| 23k|3311 | 0.000000e+00 | 2.520000e+02 | Inf
512.61/512.65 o 250
512.61/512.65 c * 504s|268319 | 78126 |736250 | 2.7 | 201M| 183 | - |3825 |5865 |3825 | 903 | 161k| 23k|3311 | 0.000000e+00 | 2.500000e+02 | Inf
512.91/512.96 o 245
512.91/512.96 c * 504s|268437 | 76253 |736610 | 2.7 | 197M| 183 | - |3825 |5899 |3825 | 922 | 161k| 23k|3311 | 0.000000e+00 | 2.450000e+02 | Inf
513.01/513.00 o 244
513.01/513.00 c * 504s|268449 | 75917 |736636 | 2.7 | 196M| 183 | - |3825 |5897 |3825 | 927 | 161k| 23k|3311 | 0.000000e+00 | 2.440000e+02 | Inf
513.01/513.03 o 243
513.01/513.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.01/513.03 c * 504s|268451 | 75508 |736714 | 2.7 | 195M| 183 | - |3825 |5896 |3825 | 927 | 161k| 23k|3311 | 0.000000e+00 | 2.430000e+02 | Inf
513.01/513.09 o 242
513.01/513.09 c * 504s|268474 | 75096 |736730 | 2.7 | 194M| 183 | - |3825 |5893 |3825 | 923 | 161k| 23k|3311 | 0.000000e+00 | 2.420000e+02 | Inf
513.11/513.15 o 239
513.11/513.15 c * 504s|268494 | 73908 |736747 | 2.7 | 191M| 183 | - |3825 |5889 |3825 | 921 | 161k| 23k|3311 | 0.000000e+00 | 2.390000e+02 | Inf
513.41/513.43 o 235
513.41/513.43 c * 504s|268588 | 72371 |736976 | 2.7 | 188M| 183 | - |3825 |5901 |3825 | 895 | 161k| 23k|3311 | 0.000000e+00 | 2.350000e+02 | Inf
514.11/514.15 o 232
514.11/514.15 c * 505s|268853 | 71198 |738100 | 2.7 | 186M| 183 | - |3825 |6021 |3825 | 928 | 161k| 23k|3312 | 0.000000e+00 | 2.320000e+02 | Inf
514.31/514.34 o 231
514.31/514.34 c * 505s|268918 | 70898 |738287 | 2.7 | 186M| 183 | - |3825 |6026 |3825 | 943 | 161k| 23k|3312 | 0.000000e+00 | 2.310000e+02 | Inf
514.31/514.35 o 229
514.31/514.35 c * 505s|268919 | 70081 |738288 | 2.7 | 184M| 183 | - |3825 |6026 |3825 | 943 | 161k| 23k|3312 | 0.000000e+00 | 2.290000e+02 | Inf
514.40/514.48 o 227
514.40/514.48 c * 505s|268958 | 69182 |738392 | 2.7 | 181M| 183 | - |3825 |6017 |3825 | 931 | 161k| 23k|3312 | 0.000000e+00 | 2.270000e+02 | Inf
514.72/514.80 o 226
514.72/514.80 c * 506s|269087 | 68911 |738680 | 2.7 | 181M| 183 | - |3825 |6101 |3825 | 924 | 161k| 23k|3312 | 0.000000e+00 | 2.260000e+02 | Inf
516.51/516.59 o 223
516.51/516.59 c * 507s|269733 | 67961 |741683 | 2.7 | 179M| 183 | - |3825 |6154 |3825 | 920 | 162k| 24k|3312 | 0.000000e+00 | 2.230000e+02 | Inf
517.31/517.31 c 508s|270000 | 68112 |742543 | 2.7 | 180M| 183 | 0 |3825 |6073 |3825 | 924 | 162k| 24k|3312 | 0.000000e+00 | 2.230000e+02 | Inf
518.21/518.26 o 222
518.21/518.26 c * 509s|270340 | 67924 |743930 | 2.8 | 181M| 183 | - |3825 |6051 |3825 | 924 | 162k| 24k|3318 | 0.000000e+00 | 2.220000e+02 | Inf
519.21/519.21 o 221
519.21/519.21 c * 510s|270658 | 67744 |745860 | 2.8 | 181M| 183 | - |3825 |6010 |3825 | 943 | 163k| 24k|3318 | 0.000000e+00 | 2.210000e+02 | Inf
519.61/519.66 o 219
519.61/519.66 c * 510s|270795 | 66890 |747060 | 2.8 | 180M| 183 | - |3825 |6033 |3825 | 928 | 163k| 24k|3318 | 0.000000e+00 | 2.190000e+02 | Inf
520.91/520.92 o 218
520.91/520.92 c * 512s|271241 | 66730 |749097 | 2.8 | 180M| 183 | - |3825 |6189 |3825 | 916 | 164k| 25k|3336 | 0.000000e+00 | 2.180000e+02 | Inf
521.01/521.02 o 215
521.01/521.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.01/521.02 c * 512s|271262 | 65587 |749271 | 2.8 | 178M| 183 | - |3825 |6189 |3825 | 943 | 164k| 25k|3338 | 0.000000e+00 | 2.150000e+02 | Inf
522.71/522.76 o 213
522.71/522.76 c * 513s|271875 | 65135 |752204 | 2.8 | 177M| 183 | - |3825 |6053 |3825 | 922 | 165k| 25k|3354 | 0.000000e+00 | 2.130000e+02 | Inf
525.01/525.02 o 212
525.01/525.02 c * 516s|272715 | 65094 |756121 | 2.8 | 178M| 183 | - |3825 |6167 |3825 | 918 | 166k| 26k|3357 | 0.000000e+00 | 2.120000e+02 | Inf
527.01/527.06 o 208
527.01/527.06 c * 518s|273473 | 63966 |758933 | 2.8 | 176M| 183 | - |3825 |6058 |3825 | 904 | 166k| 26k|3359 | 0.000000e+00 | 2.080000e+02 | Inf
527.21/527.28 o 205
527.21/527.28 c * 518s|273534 | 62647 |759281 | 2.8 | 173M| 183 | - |3825 |6092 |3825 | 910 | 166k| 26k|3359 | 0.000000e+00 | 2.050000e+02 | Inf
527.21/527.29 o 203
527.21/527.29 c * 518s|273535 | 61730 |759281 | 2.8 | 170M| 183 | - |3825 |6092 |3825 | 910 | 166k| 26k|3359 | 0.000000e+00 | 2.030000e+02 | Inf
527.31/527.32 o 202
527.31/527.32 c * 518s|273541 | 61338 |759333 | 2.8 | 170M| 183 | - |3825 |6091 |3825 | 914 | 166k| 26k|3359 | 0.000000e+00 | 2.020000e+02 | Inf
528.11/528.12 o 188
528.11/528.12 c * 519s|273835 | 55822 |759972 | 2.8 | 156M| 183 | - |3825 |6184 |3825 | 907 | 166k| 26k|3359 | 0.000000e+00 | 1.880000e+02 | Inf
528.11/528.13 o 186
528.11/528.13 c * 519s|273836 | 54967 |759972 | 2.8 | 154M| 183 | - |3825 |6184 |3825 | 907 | 166k| 26k|3359 | 0.000000e+00 | 1.860000e+02 | Inf
528.21/528.29 o 184
528.21/528.29 c * 519s|273875 | 54042 |760293 | 2.8 | 152M| 183 | - |3825 |6193 |3825 | 904 | 167k| 26k|3359 | 0.000000e+00 | 1.840000e+02 | Inf
528.31/528.37 o 182
528.31/528.37 c * 519s|273899 | 53442 |760354 | 2.8 | 150M| 183 | - |3825 |6189 |3825 | 915 | 167k| 26k|3359 | 0.000000e+00 | 1.820000e+02 | Inf
528.41/528.41 o 180
528.41/528.41 c * 519s|273904 | 52748 |760397 | 2.8 | 149M| 183 | - |3825 |6189 |3825 | 915 | 167k| 26k|3359 | 0.000000e+00 | 1.800000e+02 | Inf
528.41/528.49 o 175
528.41/528.49 c * 519s|273925 | 50927 |760469 | 2.8 | 145M| 183 | - |3825 |6192 |3825 | 910 | 167k| 26k|3359 | 0.000000e+00 | 1.750000e+02 | Inf
528.51/528.50 o 173
528.51/528.50 c * 519s|273926 | 50066 |760469 | 2.8 | 142M| 183 | - |3825 |6192 |3825 | 910 | 167k| 26k|3359 | 0.000000e+00 | 1.730000e+02 | Inf
528.61/528.63 o 161
528.61/528.63 c * 519s|273955 | 45442 |760612 | 2.8 | 132M| 183 | - |3825 |6201 |3825 | 908 | 167k| 26k|3359 | 0.000000e+00 | 1.610000e+02 | Inf
528.61/528.63 o 159
528.61/528.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.61/528.63 c * 519s|273956 | 44597 |760612 | 2.8 | 130M| 183 | - |3825 |6201 |3825 | 908 | 167k| 26k|3359 | 0.000000e+00 | 1.590000e+02 | Inf
528.71/528.71 o 152
528.71/528.71 c * 519s|273976 | 41672 |760692 | 2.8 | 124M| 183 | - |3825 |6232 |3825 | 907 | 167k| 26k|3359 | 0.000000e+00 | 1.520000e+02 | Inf
528.71/528.72 o 150
528.71/528.72 c * 519s|273977 | 40961 |760692 | 2.8 | 123M| 183 | - |3825 |6232 |3825 | 907 | 167k| 26k|3359 | 0.000000e+00 | 1.500000e+02 | Inf
528.91/528.90 o 142
528.91/528.90 c * 519s|274029 | 37010 |760829 | 2.8 | 114M| 183 | - |3825 |6243 |3825 | 905 | 167k| 26k|3359 | 0.000000e+00 | 1.420000e+02 | Inf
528.91/528.90 o 140
528.91/528.90 c * 519s|274030 | 35972 |760829 | 2.8 | 112M| 183 | - |3825 |6243 |3825 | 905 | 167k| 26k|3359 | 0.000000e+00 | 1.400000e+02 | Inf
529.01/529.02 o 129
529.01/529.02 c * 519s|274062 | 31676 |761065 | 2.8 | 101M| 183 | - |3825 |6233 |3825 | 907 | 167k| 26k|3361 | 0.000000e+00 | 1.290000e+02 | Inf
529.01/529.03 o 127
529.01/529.03 c * 519s|274063 | 30984 |761065 | 2.8 | 100M| 183 | - |3825 |6233 |3825 | 907 | 167k| 26k|3361 | 0.000000e+00 | 1.270000e+02 | Inf
529.11/529.13 o 112
529.11/529.13 c * 520s|274092 | 26501 |761125 | 2.8 | 89M| 183 | - |3825 |6256 |3825 | 895 | 167k| 27k|3361 | 0.000000e+00 | 1.120000e+02 | Inf
531.81/531.82 o 110
531.81/531.82 c * 522s|274884 | 26452 |766707 | 2.8 | 94M| 183 | - |3825 |5906 |3825 | 931 | 168k| 27k|3362 | 0.000000e+00 | 1.100000e+02 | Inf
532.11/532.19 o 105
532.11/532.19 c * 523s|274987 | 24461 |767478 | 2.8 | 90M| 183 | - |3825 |5915 |3825 | 913 | 168k| 27k|3362 | 0.000000e+00 | 1.050000e+02 | Inf
532.32/532.38 o 104
532.32/532.38 c * 523s|275031 | 24404 |768114 | 2.8 | 90M| 183 | - |3825 |5901 |3825 | 934 | 168k| 27k|3362 | 0.000000e+00 | 1.040000e+02 | Inf
532.71/532.75 o 102
532.71/532.75 c * 523s|275144 | 24154 |768820 | 2.8 | 90M| 183 | - |3825 |5887 |3825 | 909 | 168k| 27k|3362 | 0.000000e+00 | 1.020000e+02 | Inf
532.71/532.77 o 96
532.71/532.77 c * 523s|275146 | 21825 |768885 | 2.8 | 84M| 183 | - |3825 |5887 |3825 | 909 | 168k| 27k|3362 | 0.000000e+00 | 9.600000e+01 | Inf
532.71/532.78 o 94
532.71/532.78 c * 523s|275147 | 20963 |768885 | 2.8 | 82M| 183 | - |3825 |5887 |3825 | 909 | 168k| 27k|3362 | 0.000000e+00 | 9.400000e+01 | Inf
532.91/532.92 o 93
532.91/532.92 c * 523s|275181 | 20875 |769296 | 2.8 | 82M| 183 | - |3825 |5708 |3825 | 927 | 168k| 27k|3362 | 0.000000e+00 | 9.300000e+01 | Inf
533.81/533.83 o 91
533.81/533.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.81/533.83 c * 524s|275460 | 20623 |770829 | 2.8 | 82M| 183 | - |3825 |5515 |3825 | 937 | 168k| 27k|3365 | 0.000000e+00 | 9.100000e+01 | Inf
534.91/534.92 o 89
534.91/534.92 c * 525s|275822 | 20311 |772636 | 2.8 | 82M| 183 | - |3825 |5471 |3825 | 897 | 168k| 28k|3365 | 0.000000e+00 | 8.900000e+01 | Inf
535.11/535.19 o 87
535.11/535.19 c * 525s|275905 | 19982 |773091 | 2.8 | 82M| 183 | - |3825 |5342 |3825 | 915 | 169k| 28k|3365 | 0.000000e+00 | 8.700000e+01 | Inf
535.31/535.31 o 85
535.31/535.31 c * 526s|275945 | 19430 |773244 | 2.8 | 80M| 183 | - |3825 |5285 |3825 | 909 | 169k| 28k|3365 | 0.000000e+00 | 8.500000e+01 | Inf
535.41/535.41 o 84
535.41/535.41 c * 526s|275965 | 19252 |773415 | 2.8 | 80M| 183 | - |3825 |5207 |3825 | 905 | 169k| 28k|3365 | 0.000000e+00 | 8.400000e+01 | Inf
536.21/536.28 o 82
536.21/536.28 c * 526s|276272 | 18978 |774699 | 2.8 | 81M| 183 | - |3825 |5174 |3825 | 895 | 169k| 28k|3373 | 0.000000e+00 | 8.200000e+01 | Inf
536.21/536.28 o 80
536.21/536.28 c * 526s|276273 | 17919 |774699 | 2.8 | 78M| 183 | - |3825 |5174 |3825 | 895 | 169k| 28k|3373 | 0.000000e+00 | 8.000000e+01 | Inf
536.31/536.33 o 78
536.31/536.33 c * 527s|276282 | 17355 |774740 | 2.8 | 76M| 183 | - |3825 |5076 |3825 | 896 | 169k| 28k|3373 | 0.000000e+00 | 7.800000e+01 | Inf
536.31/536.33 o 76
536.31/536.33 c * 527s|276283 | 16985 |774740 | 2.8 | 75M| 183 | - |3825 |5076 |3825 | 896 | 169k| 28k|3373 | 0.000000e+00 | 7.600000e+01 | Inf
536.40/536.46 o 70
536.40/536.46 c * 527s|276330 | 16345 |774942 | 2.8 | 74M| 183 | - |3825 |4991 |3825 | 904 | 169k| 28k|3375 | 0.000000e+00 | 7.000000e+01 | Inf
536.51/536.58 o 68
536.51/536.58 c * 527s|276367 | 16025 |775062 | 2.8 | 73M| 183 | - |3825 |4917 |3825 | 895 | 169k| 28k|3376 | 0.000000e+00 | 6.800000e+01 | Inf
536.61/536.68 o 63
536.61/536.68 c * 527s|276403 | 13109 |775117 | 2.8 | 66M| 183 | - |3825 |4873 |3825 | 895 | 169k| 28k|3377 | 0.000000e+00 | 6.300000e+01 | Inf
537.21/537.26 o 48
537.21/537.26 c * 527s|276608 | 4738 |775807 | 2.8 | 41M| 183 | - |3825 |4692 |3825 | 923 | 169k| 28k|3383 | 0.000000e+00 | 4.800000e+01 | Inf
545.71/545.71 c 535s|280000 | 3818 |795155 | 2.8 | 44M| 183 | 2 |3825 |6053 |3825 | 895 | 169k| 33k|3416 | 0.000000e+00 | 4.800000e+01 | Inf
550.41/550.45 o 42
550.41/550.45 c * 540s|282605 | 3679 |801452 | 2.8 | 44M| 183 | - |3825 |7711 |3825 | 902 | 170k| 36k|3416 | 0.000000e+00 | 4.200000e+01 | Inf
556.41/556.43 o 33
556.41/556.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.41/556.43 c * 546s|285528 | 3217 |811000 | 2.8 | 43M| 183 | - |3825 |7000 |3825 | 897 | 170k| 40k|3458 | 0.000000e+00 | 3.300000e+01 | Inf
559.22/559.26 o 27
559.22/559.26 c * 549s|286987 | 2972 |816253 | 2.8 | 42M| 183 | - |3825 |7108 |3825 | 895 | 170k| 42k|3459 | 0.000000e+00 | 2.700000e+01 | Inf
564.71/564.74 c 554s|290000 | 2917 |825947 | 2.8 | 42M| 183 | 6 |3825 |6849 |3825 | 895 | 171k| 45k|3461 | 0.000000e+00 | 2.700000e+01 | Inf
573.81/573.83 o 25
573.81/573.83 c * 563s|294914 | 2582 |842469 | 2.9 | 43M| 183 | - |3825 |8340 |3825 | 899 | 171k| 52k|3498 | 0.000000e+00 | 2.500000e+01 | Inf
576.91/576.94 o 22
576.91/576.94 c * 566s|296545 | 2516 |848185 | 2.9 | 43M| 183 | - |3825 |8200 |3825 | 895 | 172k| 54k|3499 | 0.000000e+00 | 2.200000e+01 | Inf
577.31/577.33 o 16
577.31/577.33 c * 566s|296776 | 1978 |848743 | 2.9 | 39M| 183 | - |3825 |8304 |3825 | 895 | 172k| 54k|3499 | 0.000000e+00 | 1.600000e+01 | Inf
577.61/577.62 o 9
577.61/577.62 c * 566s|296964 | 1805 |849321 | 2.9 | 38M| 183 | - |3825 |8218 |3825 | 895 | 172k| 54k|3499 | 0.000000e+00 | 9.000000e+00 | Inf
578.61/578.68 o 7
578.61/578.68 c * 567s|297581 | 1767 |851722 | 2.9 | 37M| 183 | - |3825 |8016 |3825 | 895 | 172k| 55k|3499 | 0.000000e+00 | 7.000000e+00 | Inf
579.41/579.50 o 3
579.41/579.50 c * 568s|298102 | 1717 |853671 | 2.9 | 37M| 183 | - |3825 |8260 |3825 | 895 | 172k| 56k|3499 | 0.000000e+00 | 3.000000e+00 | Inf
582.61/582.64 c 571s|300000 | 1697 |861526 | 2.9 | 37M| 183 | - |3825 |8940 | 0 | 0 | 172k| 58k|3528 | 0.000000e+00 | 3.000000e+00 | Inf
599.01/599.08 c 587s|310000 | 1408 |898433 | 2.9 | 37M| 183 | 18 |3825 | 11k|3825 | 895 | 173k| 70k|3592 | 0.000000e+00 | 3.000000e+00 | Inf
617.31/617.34 c 604s|320000 | 1463 |939820 | 2.9 | 39M| 183 | - |3825 | 16k| 0 | 0 | 174k| 83k|3628 | 0.000000e+00 | 3.000000e+00 | Inf
636.82/636.84 c 623s|330000 | 1424 |979884 | 3.0 | 40M| 183 | - |3825 | 17k| 0 | 0 | 175k| 97k|3682 | 0.000000e+00 | 3.000000e+00 | Inf
656.22/656.23 c 642s|340000 | 1435 | 1021k| 3.0 | 41M| 183 | - |3825 | 19k| 0 | 0 | 177k| 110k|3756 | 0.000000e+00 | 3.000000e+00 | Inf
676.21/676.21 c 661s|350000 | 1395 | 1061k| 3.0 | 40M| 183 | 5 |3825 | 18k|3825 | 895 | 178k| 123k|3866 | 0.000000e+00 | 3.000000e+00 | Inf
696.22/696.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.22/696.27 c 680s|360000 | 1398 | 1100k| 3.1 | 42M| 183 | 7 |3825 | 21k|3825 | 895 | 179k| 136k|3917 | 0.000000e+00 | 3.000000e+00 | Inf
716.32/716.34 c 700s|370000 | 1360 | 1136k| 3.1 | 41M| 183 | 19 |3825 | 21k|3825 | 895 | 181k| 149k|3995 | 0.000000e+00 | 3.000000e+00 | Inf
736.82/736.89 c 720s|380000 | 1316 | 1171k| 3.1 | 42M| 183 | 6 |3825 | 24k|3825 | 895 | 182k| 162k|4064 | 0.000000e+00 | 3.000000e+00 | Inf
760.72/760.70 c 743s|390000 | 1325 | 1211k| 3.1 | 44M| 183 | - |3825 | 28k| 0 | 0 | 183k| 175k|4129 | 0.000000e+00 | 3.000000e+00 | Inf
785.33/785.33 c 767s|400000 | 1279 | 1248k| 3.1 | 44M| 183 | 4 |3825 | 27k|3825 | 895 | 184k| 188k|4215 | 0.000000e+00 | 3.000000e+00 | Inf
809.22/809.25 c 790s|410000 | 1277 | 1287k| 3.1 | 45M| 183 | - |3825 | 31k| 0 | 0 | 186k| 201k|4263 | 0.000000e+00 | 3.000000e+00 | Inf
835.93/835.97 c 816s|420000 | 1270 | 1323k| 3.2 | 47M| 183 | 18 |3825 | 36k|3825 | 895 | 187k| 214k|4309 | 0.000000e+00 | 3.000000e+00 | Inf
863.93/863.96 c 843s|430000 | 1222 | 1357k| 3.2 | 46M| 183 | - |3825 | 32k| 0 | 0 | 188k| 228k|4414 | 0.000000e+00 | 3.000000e+00 | Inf
890.72/890.72 c 869s|440000 | 1215 | 1396k| 3.2 | 46M| 183 | - |3825 | 31k|3825 | 903 | 189k| 241k|4463 | 0.000000e+00 | 3.000000e+00 | Inf
916.33/916.36 c 894s|450000 | 1218 | 1431k| 3.2 | 48M| 183 | - |3825 | 36k| 0 | 0 | 190k| 254k|4517 | 0.000000e+00 | 3.000000e+00 | Inf
943.63/943.64 c 921s|460000 | 1225 | 1469k| 3.2 | 47M| 183 | - |3825 | 33k| 0 | 0 | 191k| 267k|4577 | 0.000000e+00 | 3.000000e+00 | Inf
970.42/970.43 c 947s|470000 | 1222 | 1505k| 3.2 | 48M| 183 | - |3825 | 35k| 0 | 0 | 192k| 280k|4635 | 0.000000e+00 | 3.000000e+00 | Inf
996.93/996.99 c 973s|480000 | 1162 | 1541k| 3.2 | 49M| 183 | - |3825 | 38k| 0 | 0 | 193k| 293k|4683 | 0.000000e+00 | 3.000000e+00 | Inf
1025.73/1025.73 c 1001s|490000 | 1233 | 1575k| 3.2 | 50M| 183 | - |3825 | 41k| 0 | 0 | 194k| 307k|4727 | 0.000000e+00 | 3.000000e+00 | Inf
1054.03/1054.04 c 1028s|500000 | 1196 | 1609k| 3.2 | 50M| 183 | - |3825 | 40k| 0 | 0 | 195k| 320k|4784 | 0.000000e+00 | 3.000000e+00 | Inf
1065.53/1065.50 o 2
1065.53/1065.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.53/1065.50 c *1039s|503909 | 1132 | 1622k| 3.2 | 50M| 183 | - |3825 | 41k|3825 | 895 | 196k| 325k|4818 | 0.000000e+00 | 2.000000e+00 | Inf
1084.43/1084.50 c 1058s|510000 | 1123 | 1644k| 3.2 | 51M| 183 | 10 |3825 | 42k|3825 | 895 | 196k| 333k|4836 | 0.000000e+00 | 2.000000e+00 | Inf
1115.53/1115.54 c 1088s|520000 | 1218 | 1679k| 3.2 | 53M| 183 | - |3825 | 47k| 0 | 0 | 198k| 348k|4885 | 0.000000e+00 | 2.000000e+00 | Inf
1146.93/1146.97 c 1119s|530000 | 1196 | 1714k| 3.2 | 54M| 183 | 20 |3825 | 47k|3825 | 895 | 199k| 363k|4929 | 0.000000e+00 | 2.000000e+00 | Inf
1177.43/1177.45 c 1149s|540000 | 1224 | 1751k| 3.2 | 56M| 183 | 20 |3825 | 51k|3825 | 895 | 200k| 377k|4977 | 0.000000e+00 | 2.000000e+00 | Inf
1210.43/1210.42 c 1181s|550000 | 1253 | 1784k| 3.2 | 57M| 183 | - |3825 | 52k| 0 | 0 | 201k| 390k|5041 | 0.000000e+00 | 2.000000e+00 | Inf
1244.23/1244.29 c 1214s|560000 | 1263 | 1816k| 3.2 | 58M| 183 | - |3825 | 54k| 0 | 0 | 202k| 404k|5088 | 0.000000e+00 | 2.000000e+00 | Inf
1279.25/1279.21 c 1248s|570000 | 1263 | 1851k| 3.2 | 57M| 183 | - |3825 | 51k| 0 | 0 | 203k| 418k|5133 | 0.000000e+00 | 2.000000e+00 | Inf
1314.44/1314.47 c 1283s|580000 | 1296 | 1883k| 3.2 | 59M| 183 | 23 |3825 | 56k|3825 | 895 | 204k| 431k|5156 | 0.000000e+00 | 2.000000e+00 | Inf
1350.35/1350.32 c 1318s|590000 | 1312 | 1919k| 3.3 | 61M| 183 | 19 |3825 | 58k|3825 | 895 | 205k| 445k|5198 | 0.000000e+00 | 2.000000e+00 | Inf
1386.74/1386.75 c 1354s|600000 | 1312 | 1951k| 3.3 | 62M| 183 | - |3825 | 60k| 0 | 0 | 206k| 459k|5256 | 0.000000e+00 | 2.000000e+00 | Inf
1426.34/1426.33 c 1393s|610000 | 1338 | 1983k| 3.3 | 63M| 183 | 22 |3825 | 63k|3825 | 895 | 207k| 473k|5300 | 0.000000e+00 | 2.000000e+00 | Inf
1465.44/1465.45 c 1431s|620000 | 1364 | 2014k| 3.2 | 64M| 183 | 14 |3825 | 64k|3825 | 895 | 208k| 487k|5351 | 0.000000e+00 | 2.000000e+00 | Inf
1505.55/1505.56 c 1471s|630000 | 1401 | 2044k| 3.2 | 66M| 183 | - |3825 | 67k| 0 | 0 | 209k| 501k|5372 | 0.000000e+00 | 2.000000e+00 | Inf
1546.56/1546.58 c 1511s|640000 | 1399 | 2075k| 3.2 | 67M| 183 | - |3825 | 69k| 0 | 0 | 210k| 515k|5412 | 0.000000e+00 | 2.000000e+00 | Inf
1589.56/1589.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.56/1589.54 c 1553s|650000 | 1440 | 2108k| 3.2 | 69M| 183 | 5 |3825 | 71k|3825 | 895 | 211k| 529k|5455 | 0.000000e+00 | 2.000000e+00 | Inf
1635.15/1635.13 c 1598s|660000 | 1482 | 2143k| 3.2 | 71M| 183 | 7 |3825 | 75k|3825 | 895 | 211k| 543k|5501 | 0.000000e+00 | 2.000000e+00 | Inf
1679.96/1679.99 c 1642s|670000 | 1432 | 2178k| 3.3 | 69M| 183 | - |3825 | 71k| 0 | 0 | 212k| 558k|5546 | 0.000000e+00 | 2.000000e+00 | Inf
1719.26/1719.22 c 1681s|680000 | 1414 | 2212k| 3.3 | 66M| 183 | - |3825 | 63k| 0 | 0 | 213k| 572k|5593 | 0.000000e+00 | 2.000000e+00 | Inf
1754.56/1754.53 c 1715s|690000 | 1425 | 2244k| 3.3 | 65M| 183 | 13 |3825 | 59k|3825 | 895 | 214k| 585k|5613 | 0.000000e+00 | 2.000000e+00 | Inf
1792.05/1792.02 c 1752s|700000 | 1405 | 2277k| 3.3 | 65M| 183 | - |3825 | 58k| 0 | 0 | 215k| 599k|5646 | 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.01 c
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time (sec) : 1759.87
1800.06/1800.01 c Solving Nodes : 702165
1800.06/1800.01 c Primal Bound : +2.00000000000000e+00 (237 solutions)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.04 s SATISFIABLE
1800.06/1800.04 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.06/1800.04 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.04 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.06/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.06/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.06/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.06/1800.04 v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.06/1800.04 v -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.06/1800.04 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.06/1800.04 v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.06/1800.04 v -x1
1800.06/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.04 c Solving Time : 1759.87
1800.06/1800.04 c Original Problem :
1800.06/1800.04 c Problem name : HOME/instance-2692891-1277909019.wbo
1800.06/1800.04 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.06/1800.04 c Constraints : 4571 initial, 4571 maximal
1800.06/1800.04 c Presolved Problem :
1800.06/1800.04 c Problem name : t_HOME/instance-2692891-1277909019.wbo
1800.06/1800.04 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.06/1800.04 c Constraints : 4418 initial, 76137 maximal
1800.06/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.04 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.06/1800.04 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.06/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.04 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.06/1800.04 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.04 c linear : 0.06 0 0 0 1878 0 87 72 0
1800.06/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.04 c root node : - 1791 - - 3582 - - - -
1800.06/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.04 c integral : 0 0 0 538202 0 5 210 0 0 536628
1800.06/1800.04 c indicator : 1797 0 2652486 269578 0 315 4242058 0 0 0
1800.06/1800.04 c setppc : 5 6 2479281 151213 0 1707 472130 0 0 0
1800.06/1800.04 c linear : 1797 6 2664137 260916 0 142468 11579337 216100 0 0
1800.06/1800.04 c logicor : 819+ 6 1049987 234719 0 83433 2334337 0 0 0
1800.06/1800.04 c bounddisjunction : 0+ 0 60456 0 0 0 56 0 0 0
1800.06/1800.04 c countsols : 0 0 0 234719 0 0 0 0 0 0
1800.06/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.04 c integral : 17.58 0.00 0.00 17.58 0.00
1800.06/1800.04 c indicator : 53.71 0.00 15.95 37.76 0.00
1800.06/1800.04 c setppc : 4.16 0.00 4.12 0.04 0.00
1800.06/1800.04 c linear : 125.25 0.01 115.85 9.39 0.00
1800.06/1800.04 c logicor : 384.36 0.00 381.68 2.68 0.00
1800.06/1800.04 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1800.06/1800.04 c countsols : 0.06 0.00 0.00 0.06 0.00
1800.06/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.04 c vbounds : 0.07 2 0 0
1800.06/1800.04 c rootredcost : 0.08 138 0 1791
1800.06/1800.04 c pseudoobj : 92.58 2684051 7660 2428769
1800.06/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.04 c propagation : 12.37 235268 235216 1456281 26.7 11861 17.6 -
1800.06/1800.04 c infeasible LP : 1.72 5133 5133 41650 40.3 36 18.2 0
1800.06/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.04 c pseudo solution : 0.07 458 458 2443 15.1 296 4.4 -
1800.06/1800.04 c applied globally : - - - 602750 20.9 - - -
1800.06/1800.04 c applied locally : - - - 0 0.0 - - -
1800.06/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.04 c cut pool : 0.00 4 - - 102 - (maximal pool size: 237)
1800.06/1800.04 c redcost : 36.06 542071 0 1585765 0 0
1800.06/1800.04 c impliedbounds : 0.00 5 0 0 0 0
1800.06/1800.04 c intobj : 0.00 0 0 0 0 0
1800.06/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.04 c gomory : 0.12 5 0 0 1214 0
1800.06/1800.04 c strongcg : 0.08 5 0 0 0 0
1800.06/1800.04 c cmir : 0.03 5 0 0 1 0
1800.06/1800.04 c flowcover : 0.06 5 0 0 0 0
1800.06/1800.04 c clique : 0.00 5 0 0 0 0
1800.06/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.04 c mcf : 0.00 1 0 0 0 0
1800.06/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.04 c Pricers : Time Calls Vars
1800.06/1800.04 c problem variables: 0.00 0 0
1800.06/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.04 c relpscost : 17.39 268500 5 210 0 0 536628
1800.06/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.04 c inference : 38.55 234582 0 0 0 0 469164
1800.06/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.04 c random : 0.00 0 0 0 0 0 0
1800.06/1800.04 c Primal Heuristics : Time Calls Found
1800.06/1800.04 c LP solutions : 0.75 - 137
1800.06/1800.04 c pseudo solutions : 0.00 - 0
1800.06/1800.04 c feaspump : 0.01 0 0
1800.06/1800.04 c intshifting : 0.01 9 0
1800.06/1800.04 c oneopt : 0.90 116 0
1800.06/1800.04 c crossover : 2.76 121 0
1800.06/1800.04 c linesearchdiving : 5.95 5899 0
1800.06/1800.04 c guideddiving : 5.41 5899 0
1800.06/1800.04 c coefdiving : 6.30 5900 0
1800.06/1800.04 c pscostdiving : 5.63 5900 0
1800.06/1800.04 c fracdiving : 6.37 5900 0
1800.06/1800.04 c veclendiving : 6.20 5900 0
1800.06/1800.04 c objpscostdiving : 6.16 5762 0
1800.06/1800.04 c rootsoldiving : 6.10 5774 0
1800.06/1800.04 c trivial : 0.00 2 0
1800.06/1800.04 c simplerounding : 0.64 269178 0
1800.06/1800.04 c zirounding : 0.06 1000 0
1800.06/1800.04 c rounding : 1.86 7250 0
1800.06/1800.04 c shifting : 1.38 2272 0
1800.06/1800.04 c twoopt : 0.00 0 0
1800.06/1800.04 c fixandinfer : 0.00 0 0
1800.06/1800.04 c intdiving : 0.00 0 0
1800.06/1800.04 c actconsdiving : 0.00 0 0
1800.06/1800.04 c octane : 0.00 0 0
1800.06/1800.04 c rens : 0.02 1 0
1800.06/1800.04 c rins : 0.00 0 0
1800.06/1800.04 c localbranching : 0.00 0 0
1800.06/1800.04 c mutation : 0.00 0 0
1800.06/1800.04 c dins : 0.00 0 0
1800.06/1800.04 c undercover : 0.00 0 0
1800.06/1800.04 c nlp : 0.04 0 0
1800.06/1800.04 c trysol : 0.60 10756 100
1800.06/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.04 c dual LP : 424.53 324246 2280945 7.03 5372.87
1800.06/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.04 c diving/probing LP: 0.50 275 4099 14.91 8198.00
1800.06/1800.04 c strong branching : 14.61 5662 101071 17.85 6917.93
1800.06/1800.04 c (at root node) : - 33 4342 131.58 -
1800.06/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.04 c B&B Tree :
1800.06/1800.04 c number of runs : 1
1800.06/1800.04 c nodes : 702165
1800.06/1800.04 c nodes (total) : 702165
1800.06/1800.04 c nodes left : 1387
1800.06/1800.04 c max depth : 183
1800.06/1800.04 c max depth (total): 183
1800.06/1800.04 c backtracks : 52193 (7.4%)
1800.06/1800.04 c delayed cutoffs : 44922
1800.06/1800.04 c repropagations : 1053398 (3450482 domain reductions, 41983 cutoffs)
1800.06/1800.04 c avg switch length: 4.69
1800.06/1800.04 c switching time : 262.22
1800.06/1800.04 c Solution :
1800.06/1800.04 c Solutions found : 237 (138 improvements)
1800.06/1800.04 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.06/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 503909 nodes, 1039.43 seconds, depth 54, found by <relaxation>)
1800.06/1800.04 c Dual Bound : +0.00000000000000e+00
1800.06/1800.04 c Gap : infinite
1800.06/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.04 c Root Iterations : 196
1800.16/1800.18 c Time complete: 1800.24.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692891-1277909019/watcher-2692891-1277909019 -o /tmp/evaluation-result-2692891-1277909019/solver-2692891-1277909019 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692891-1277909019.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.05 2.22 3/178 12276 /proc/meminfo: memFree=31529440/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=9292 CPUtime=0 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 132200047 9515008 1565 4089446400 4194304 8223781 140734794541440 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12276/statm: 2323 1565 369 984 0 1336 0 [startup+0.0496111 s] /proc/loadavg: 2.00 2.05 2.22 3/178 12276 /proc/meminfo: memFree=31529440/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=27164 CPUtime=0.04 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 6440 0 0 0 4 0 0 0 25 0 1 0 132200047 27815936 5995 4089446400 4194304 8223781 140734794541440 18446744073709551615 4561111 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 6791 5995 405 984 0 5804 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27164 [startup+0.1006 s] /proc/loadavg: 2.00 2.05 2.22 3/178 12276 /proc/meminfo: memFree=31529440/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=29788 CPUtime=0.09 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 7592 0 0 0 9 0 0 0 25 0 1 0 132200047 30502912 6376 4089446400 4194304 8223781 140734794541440 18446744073709551615 4936581 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 7447 6376 452 984 0 6460 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29788 [startup+0.300627 s] /proc/loadavg: 2.00 2.05 2.22 3/178 12276 /proc/meminfo: memFree=31529440/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=37412 CPUtime=0.29 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 12510 0 0 0 28 1 0 0 18 0 1 0 132200047 38309888 8436 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 9353 8436 570 984 0 8366 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37412 [startup+0.700549 s] /proc/loadavg: 2.00 2.05 2.22 3/178 12276 /proc/meminfo: memFree=31529440/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=40152 CPUtime=0.69 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 18339 0 0 0 66 3 0 0 18 0 1 0 132200047 41115648 9046 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 10038 9046 586 984 0 9051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40152 [startup+1.50037 s] /proc/loadavg: 2.00 2.05 2.22 3/179 12277 /proc/meminfo: memFree=31495160/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=40152 CPUtime=1.49 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 18603 0 0 0 145 4 0 0 19 0 1 0 132200047 41115648 9049 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 10038 9049 587 984 0 9051 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40152 [startup+3.10104 s] /proc/loadavg: 2.00 2.05 2.22 3/179 12277 /proc/meminfo: memFree=31494788/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=40180 CPUtime=3.09 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 19203 0 0 0 303 6 0 0 25 0 1 0 132200047 41144320 9050 4089446400 4194304 8223781 140734794541440 18446744073709551615 6506255 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 10045 9050 587 984 0 9058 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40180 [startup+6.30047 s] /proc/loadavg: 2.00 2.05 2.22 3/179 12277 /proc/meminfo: memFree=31494528/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=41348 CPUtime=6.29 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 20545 0 0 0 620 9 0 0 25 0 1 0 132200047 42340352 9341 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 10337 9341 589 984 0 9350 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41348 [startup+12.7003 s] /proc/loadavg: 2.00 2.05 2.22 3/179 12278 /proc/meminfo: memFree=31485540/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=51928 CPUtime=12.69 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 40676 0 0 0 1251 18 0 0 25 0 1 0 132200047 53174272 11833 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 12982 11833 596 984 0 11995 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51928 [startup+25.5008 s] /proc/loadavg: 2.00 2.05 2.22 3/179 12278 /proc/meminfo: memFree=31469160/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=67576 CPUtime=25.5 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 57541 0 0 0 2516 34 0 0 25 0 1 0 132200047 69197824 15752 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 16894 15752 594 984 0 15907 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 67576 [startup+51.101 s] /proc/loadavg: 2.00 2.04 2.21 3/179 12279 /proc/meminfo: memFree=31440116/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=96568 CPUtime=51.1 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 77064 0 0 0 5049 61 0 0 25 0 1 0 132200047 98885632 23074 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 24142 23074 594 984 0 23155 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 96568 [startup+102.306 s] /proc/loadavg: 2.07 2.05 2.20 3/179 12280 /proc/meminfo: memFree=31376244/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=157308 CPUtime=102.3 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 102521 0 0 0 10115 115 0 0 25 0 1 0 132200047 161083392 38385 4089446400 4194304 8223781 140734794541440 18446744073709551615 6456009 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 39327 38385 594 984 0 38340 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 157308 [startup+162.301 s] /proc/loadavg: 2.02 2.04 2.18 3/179 12282 /proc/meminfo: memFree=31303412/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=231572 CPUtime=162.29 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 125555 0 0 0 16054 175 0 0 25 0 1 0 132200047 237129728 56587 4089446400 4194304 8223781 140734794541440 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 57893 56587 594 984 0 56906 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 231572 [startup+222.301 s] /proc/loadavg: 2.01 2.03 2.17 3/179 12283 /proc/meminfo: memFree=31229228/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=302072 CPUtime=222.3 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 151618 0 0 0 21986 244 0 0 25 0 1 0 132200047 309321728 74374 4089446400 4194304 8223781 140734794541440 18446744073709551615 6003339 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 75518 74374 595 984 0 74531 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 302072 [startup+282.3 s] /proc/loadavg: 2.05 2.04 2.16 3/179 12285 /proc/meminfo: memFree=31179836/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=348680 CPUtime=282.3 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 210553 0 0 0 27919 311 0 0 25 0 1 0 132200047 357048320 86103 4089446400 4194304 8223781 140734794541440 18446744073709551615 4561351 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12276/statm: 87170 86103 595 984 0 86183 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 348680 [startup+342.301 s] /proc/loadavg: 1.96 2.01 2.14 3/197 12354 /proc/meminfo: memFree=31377204/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=374628 CPUtime=342.31 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 287942 0 0 0 33807 424 0 0 25 0 1 0 132200047 383619072 92501 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 93657 92501 597 984 0 92670 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 374628 [startup+402.301 s] /proc/loadavg: 1.98 2.00 2.13 3/197 12355 /proc/meminfo: memFree=31341656/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=408612 CPUtime=402.31 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 390952 0 0 0 39637 594 0 0 25 0 1 0 132200047 418418688 101066 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 102153 101066 599 984 0 101166 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 408612 [startup+462.3 s] /proc/loadavg: 2.05 2.01 2.13 3/197 12357 /proc/meminfo: memFree=31291372/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=458148 CPUtime=462.31 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 452694 0 0 0 45471 760 0 0 25 0 1 0 132200047 469143552 113305 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 114537 113305 599 984 0 113550 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 458148 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.12 3/197 12358 /proc/meminfo: memFree=31249120/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=501184 CPUtime=522.31 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 600987 0 0 0 51293 938 0 0 25 0 1 0 132200047 513212416 123740 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 125296 123740 599 984 0 124309 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 501184 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.10 3/197 12360 /proc/meminfo: memFree=31221248/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=527780 CPUtime=582.31 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 830218 0 0 0 57062 1169 0 0 25 0 1 0 132200047 540446720 130073 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 131945 130073 606 984 0 130958 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 527780 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.09 3/197 12362 /proc/meminfo: memFree=31223704/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=525980 CPUtime=642.32 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 851653 0 0 0 62832 1400 0 0 25 0 1 0 132200047 538603520 129586 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 131495 129586 606 984 0 130508 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 525980 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.07 3/197 12368 /proc/meminfo: memFree=31221164/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=527524 CPUtime=882.32 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 867943 0 0 0 86103 2129 0 0 25 0 1 0 132200047 540184576 129785 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 131881 129785 606 984 0 130894 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 527524 [startup+942.3 s] /proc/loadavg: 2.03 2.01 2.07 3/197 12370 /proc/meminfo: memFree=31220960/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=527852 CPUtime=942.32 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 867995 0 0 0 91956 2276 0 0 25 0 1 0 132200047 540520448 129826 4089446400 4194304 8223781 140734794541440 18446744073709551615 4639904 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 131963 129826 606 984 0 130976 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 527852 [startup+1002.3 s] /proc/loadavg: 2.01 2.01 2.06 3/179 12399 /proc/meminfo: memFree=31197016/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=528568 CPUtime=1002.33 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 868133 0 0 0 97801 2432 0 0 25 0 1 0 132200047 541253632 129964 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 132142 129964 606 984 0 131155 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 528568 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12410 /proc/meminfo: memFree=31024912/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=529788 CPUtime=1062.33 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 872083 0 0 0 103634 2599 0 0 25 0 1 0 132200047 542502912 130295 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 132447 130295 606 984 0 131460 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 529788 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12438 /proc/meminfo: memFree=31286240/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=530720 CPUtime=1122.33 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 899387 0 0 0 109487 2746 0 0 25 0 1 0 132200047 543457280 130480 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 132680 130480 606 984 0 131693 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 530720 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12440 /proc/meminfo: memFree=31283892/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=532296 CPUtime=1182.33 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 903446 0 0 0 115342 2891 0 0 25 0 1 0 132200047 545071104 130870 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 133074 130870 606 984 0 132087 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 532296 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12442 /proc/meminfo: memFree=31282504/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=532588 CPUtime=1242.33 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 908595 0 0 0 121212 3021 0 0 25 0 1 0 132200047 545370112 130938 4089446400 4194304 8223781 140734794541440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 133147 130938 606 984 0 132160 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 532588 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12443 /proc/meminfo: memFree=31282352/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=533016 CPUtime=1302.34 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 908962 0 0 0 127079 3155 0 0 25 0 1 0 132200047 545808384 131046 4089446400 4194304 8223781 140734794541440 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 133254 131046 606 984 0 132267 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 533016 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12445 /proc/meminfo: memFree=31280692/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=534896 CPUtime=1362.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 909474 0 0 0 132963 3272 0 0 25 0 1 0 132200047 547733504 131455 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 133724 131455 606 984 0 132737 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 534896 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.02 3/179 12446 /proc/meminfo: memFree=31278432/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=537384 CPUtime=1422.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 913687 0 0 0 138864 3371 0 0 25 0 1 0 132200047 550281216 131981 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 134346 131981 606 984 0 133359 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 537384 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 12448 /proc/meminfo: memFree=31277784/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=538644 CPUtime=1482.34 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 914335 0 0 0 144768 3466 0 0 25 0 1 0 132200047 551571456 132201 4089446400 4194304 8223781 140734794541440 18446744073709551615 4209075 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 134661 132201 606 984 0 133674 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 538644 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 12450 /proc/meminfo: memFree=31276516/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=539608 CPUtime=1542.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 918906 0 0 0 150669 3566 0 0 25 0 1 0 132200047 552558592 132486 4089446400 4194304 8223781 140734794541440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 134902 132486 606 984 0 133915 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 539608 [startup+1602.3 s] /proc/loadavg: 2.05 2.01 2.01 3/179 12451 /proc/meminfo: memFree=31275360/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=540920 CPUtime=1602.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 922514 0 0 0 156572 3663 0 0 25 0 1 0 132200047 553902080 132810 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 135230 132810 606 984 0 134243 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 540920 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12453 /proc/meminfo: memFree=31274076/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=541684 CPUtime=1662.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 922880 0 0 0 162482 3753 0 0 25 0 1 0 132200047 554684416 132997 4089446400 4194304 8223781 140734794541440 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 135421 132997 606 984 0 134434 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 541684 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12454 /proc/meminfo: memFree=31273668/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=541892 CPUtime=1722.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 923019 0 0 0 168382 3853 0 0 25 0 1 0 132200047 554897408 133110 4089446400 4194304 8223781 140734794541440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 135473 133110 606 984 0 134486 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 541892 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12456 /proc/meminfo: memFree=31272896/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=542636 CPUtime=1782.35 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 923136 0 0 0 174256 3979 0 0 25 0 1 0 132200047 555659264 133216 4089446400 4194304 8223781 140734794541440 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 135659 133216 606 984 0 134672 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 542636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12456 /proc/meminfo: memFree=31272632/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=542636 CPUtime=1800.06 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 923163 0 0 0 175988 4018 0 0 25 0 1 0 132200047 555659264 133239 4089446400 4194304 8223781 140734794541440 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12276/statm: 135659 133239 606 984 0 134672 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 542636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12456 /proc/meminfo: memFree=31272632/32951124 swapFree=67111528/67111528 [pid=12276] ppid=12274 vsize=387244 CPUtime=1800.16 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 11383 0 -1 4202496 923172 0 0 0 175998 4018 0 0 18 0 1 0 132200047 396537856 94379 4089446400 4194304 8223781 140734794541440 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12276/statm: 96811 94379 608 984 0 95824 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 387244 Child status: 0 Real time (s): 1800.18 CPU time (s): 1800.25 CPU user time (s): 1760.04 CPU system time (s): 40.2049 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 545832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1760.04 system time used= 40.2049 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 923176 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= 4 involuntary context switches= 1660 runsolver used 2.79757 second user time and 5.47117 second system time The end
Begin job on node102 at 2010-06-30 16:43:39 IDJOB=2692891 IDBENCH=78964 IDSOLVER=1204 FILE ID=node102/2692891-1277909019 PBS_JOBID= 11197247 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692891-1277909019/watcher-2692891-1277909019 -o /tmp/evaluation-result-2692891-1277909019/solver-2692891-1277909019 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692891-1277909019.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87777454fd73e41b31dd9b36586c9c7c RANDOM SEED=261991975 node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31529968 kB Buffers: 193440 kB Cached: 738320 kB SwapCached: 0 kB Active: 704336 kB Inactive: 575616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31529968 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4708 kB Writeback: 0 kB AnonPages: 348100 kB Mapped: 17668 kB Slab: 77004 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 515904 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node102 at 2010-06-30 17:13:41