Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 478.849 | 478.838 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo |
| MD5SUM | 862c57b9a103de4e976a73e17aca1258 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.471927 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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: Clp 1.11.1] [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-2700405-1278535496.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.01/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.01/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.05 c presolving (3 rounds):
0.01/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.05 c 1000 implications, 0 cliques
0.01/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.01/0.05 c 800 constraints of type <indicator>
0.01/0.05 c 800 constraints of type <linear>
0.01/0.05 c transformed objective value is always integral (scale: 1)
0.01/0.05 c Presolving Time: 0.03
0.01/0.05 c - non default parameters ----------------------------------------------------------------------
0.01/0.05 c # SCIP version 1.2.1.2
0.01/0.05 c
0.01/0.05 c # frequency for displaying node information lines
0.01/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.05 c display/freq = 10000
0.01/0.05 c
0.01/0.05 c # maximal time in seconds to run
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/time = 1799.99
0.01/0.05 c
0.01/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/memory = 3420
0.01/0.05 c
0.01/0.05 c # should presolving try to simplify inequalities
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/linear/simplifyinequalities = TRUE
0.01/0.05 c
0.01/0.05 c # should presolving try to simplify knapsacks
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.05 c
0.01/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.05 c separating/rapidlearning/freq = 0
0.01/0.05 c
0.01/0.05 c -----------------------------------------------------------------------------------------------
0.01/0.05 c start solving
0.01/0.05 c
0.01/0.05 o 394238
0.01/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.05 c t 0.0s| 1 | 0 | 0 | - |5801k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 0 | - |6173k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 44 | - |6215k| 0 | 0 |1700 |1600 |1700 | 69 | 69 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 134 | - |6259k| 0 | 59 |1700 |1600 |1700 | 105 | 105 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.01/0.08 c 0.1s| 1 | 0 | 240 | - |6501k| 0 | 54 |1700 |1600 |1700 | 156 | 156 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.01/0.09 c 0.1s| 1 | 0 | 269 | - |6540k| 0 | 56 |1700 |1600 |1700 | 167 | 167 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 275 | - |6565k| 0 | 57 |1700 |1600 |1700 | 169 | 169 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.25 c 0.2s| 1 | 2 | 394 | - |6617k| 0 | 57 |1700 |1600 |1700 | 169 | 169 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
7.09/7.16 c 6.7s| 10000 | 9993 | 14499 | 1.4 | 18M| 653 | 0 |1700 |1631 |1700 | 218 |1460 | 31 | 759 | 0.000000e+00 | 3.942380e+05 | Inf
13.10/13.15 c 12.2s| 20000 | 19987 | 24011 | 1.2 | 28M| 653 | 0 |1700 |1644 |1700 | 245 |2711 | 44 | 774 | 0.000000e+00 | 3.942380e+05 | Inf
18.99/19.00 c 17.8s| 30000 | 29981 | 31253 | 1.0 | 37M| 653 | 0 |1700 |1659 |1700 | 234 |3856 | 59 | 776 | 0.000000e+00 | 3.942380e+05 | Inf
21.49/21.59 o 11906
21.49/21.59 c *20.2s| 34498 | 28508 | 34049 | 1.0 | 37M| 653 | - |1700 |1659 |1700 | 239 |4329 | 59 | 779 | 0.000000e+00 | 1.190600e+04 | Inf
25.99/26.05 c 24.4s| 40000 | 34004 | 45489 | 1.1 | 42M| 653 | 0 |1700 |1681 |1700 | 221 |6095 | 81 | 780 | 0.000000e+00 | 1.190600e+04 | Inf
33.09/33.19 c 31.0s| 50000 | 44002 | 60241 | 1.2 | 52M| 653 | 0 |1700 |1682 |1700 | 203 |8401 | 82 | 780 | 0.000000e+00 | 1.190600e+04 | Inf
39.99/40.04 c 37.5s| 60000 | 53990 | 72780 | 1.2 | 61M| 653 | 0 |1700 |1736 |1700 | 197 | 10k| 137 | 780 | 0.000000e+00 | 1.190600e+04 | Inf
43.09/43.10 o 11897
43.09/43.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.09/43.10 c *40.3s| 64849 | 58590 | 76441 | 1.2 | 66M| 653 | - |1700 |2616 |1700 | 205 | 10k|1025 | 781 | 0.000000e+00 | 1.189700e+04 | Inf
45.69/45.74 o 11813
45.69/45.74 c *42.8s| 68392 | 61631 | 81507 | 1.2 | 70M| 653 | - |1700 |3393 |1700 | 206 | 11k|2289 | 781 | 0.000000e+00 | 1.181300e+04 | Inf
46.79/46.80 o 11811
46.79/46.80 c *43.7s| 69823 | 62874 | 83794 | 1.2 | 72M| 653 | - |1700 |3570 |1700 | 203 | 11k|3100 | 781 | 0.000000e+00 | 1.181100e+04 | Inf
46.89/46.92 c 43.9s| 70000 | 63036 | 84087 | 1.2 | 72M| 653 | 0 |1700 |3568 |1700 | 196 | 11k|3166 | 781 | 0.000000e+00 | 1.181100e+04 | Inf
47.69/47.74 o 11770
47.69/47.74 c *44.6s| 71142 | 63956 | 85715 | 1.2 | 74M| 653 | - |1700 |3649 |1700 | 207 | 11k|3755 | 781 | 0.000000e+00 | 1.177000e+04 | Inf
47.69/47.74 o 11766
47.69/47.74 c *44.6s| 71143 | 63946 | 85725 | 1.2 | 74M| 653 | - |1700 |3648 |1700 | 207 | 11k|3755 | 781 | 0.000000e+00 | 1.176600e+04 | Inf
48.19/48.29 o 11579
48.19/48.29 c *45.1s| 71916 | 64257 | 86547 | 1.2 | 74M| 653 | - |1700 |3699 |1700 | 232 | 11k|3979 | 781 | 0.000000e+00 | 1.157900e+04 | Inf
48.30/48.35 o 11547
48.30/48.35 c *45.2s| 71999 | 64252 | 86640 | 1.2 | 74M| 653 | - |1700 |3705 |1700 | 236 | 11k|3989 | 781 | 0.000000e+00 | 1.154700e+04 | Inf
48.30/48.40 o 11462
48.30/48.40 c *45.2s| 72066 | 64119 | 86667 | 1.2 | 74M| 653 | - |1700 |3714 |1700 | 231 | 11k|3999 | 781 | 0.000000e+00 | 1.146200e+04 | Inf
48.39/48.40 o 11148
48.39/48.40 c *45.2s| 72071 | 63599 | 86686 | 1.2 | 73M| 653 | - |1700 |3713 |1700 | 231 | 11k|3999 | 781 | 0.000000e+00 | 1.114800e+04 | Inf
48.39/48.44 o 10972
48.39/48.44 c *45.3s| 72118 | 63351 | 86768 | 1.2 | 72M| 653 | - |1700 |3722 |1700 | 235 | 11k|4009 | 781 | 0.000000e+00 | 1.097200e+04 | Inf
48.39/48.45 o 10675
48.39/48.45 c *45.3s| 72119 | 62694 | 86771 | 1.2 | 71M| 653 | - |1700 |3722 |1700 | 235 | 11k|4009 | 781 | 0.000000e+00 | 1.067500e+04 | Inf
48.39/48.49 o 10660
48.39/48.49 c *45.3s| 72178 | 62721 | 86866 | 1.2 | 71M| 653 | - |1700 |3724 |1700 | 228 | 11k|4019 | 781 | 0.000000e+00 | 1.066000e+04 | Inf
48.39/48.49 o 10450
48.39/48.49 c *45.3s| 72180 | 62377 | 86887 | 1.2 | 71M| 653 | - |1700 |3724 |1700 | 228 | 11k|4019 | 781 | 0.000000e+00 | 1.045000e+04 | Inf
48.49/48.50 o 10334
48.49/48.50 c *45.3s| 72181 | 62155 | 86890 | 1.2 | 70M| 653 | - |1700 |3724 |1700 | 228 | 11k|4019 | 781 | 0.000000e+00 | 1.033400e+04 | Inf
48.49/48.53 o 10322
48.49/48.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.49/48.53 c *45.3s| 72222 | 62163 | 86987 | 1.2 | 70M| 653 | - |1700 |3719 |1700 | 231 | 11k|4019 | 781 | 0.000000e+00 | 1.032200e+04 | Inf
48.49/48.57 o 10303
48.49/48.57 c *45.4s| 72275 | 62178 | 87105 | 1.2 | 70M| 653 | - |1700 |3735 |1700 | 231 | 11k|4042 | 781 | 0.000000e+00 | 1.030300e+04 | Inf
48.49/48.57 o 9977
48.49/48.57 c *45.4s| 72276 | 61646 | 87110 | 1.2 | 70M| 653 | - |1700 |3735 |1700 | 231 | 11k|4042 | 781 | 0.000000e+00 | 9.977000e+03 | Inf
48.69/48.75 o 9617
48.69/48.75 c *45.5s| 72497 | 61266 | 87358 | 1.2 | 69M| 653 | - |1700 |3870 |1700 | 234 | 12k|4205 | 781 | 0.000000e+00 | 9.617000e+03 | Inf
48.69/48.75 o 9594
48.69/48.75 c *45.5s| 72498 | 61220 | 87365 | 1.2 | 69M| 653 | - |1700 |3870 |1700 | 234 | 12k|4205 | 781 | 0.000000e+00 | 9.594000e+03 | Inf
48.69/48.78 o 9589
48.69/48.78 c *45.6s| 72532 | 61245 | 87474 | 1.2 | 69M| 653 | - |1700 |3879 |1700 | 234 | 12k|4215 | 781 | 0.000000e+00 | 9.589000e+03 | Inf
48.69/48.78 o 9473
48.69/48.78 c *45.6s| 72533 | 60995 | 87476 | 1.2 | 69M| 653 | - |1700 |3879 |1700 | 234 | 12k|4215 | 781 | 0.000000e+00 | 9.473000e+03 | Inf
50.50/50.53 o 9416
50.50/50.53 c *47.2s| 74880 | 62814 | 91654 | 1.2 | 72M| 653 | - |1700 |4041 |1700 | 205 | 12k|5709 | 781 | 0.000000e+00 | 9.416000e+03 | Inf
51.09/51.18 o 9382
51.09/51.18 c *47.8s| 75728 | 63446 | 93318 | 1.2 | 73M| 653 | - |1700 |4110 |1700 | 218 | 12k|6289 | 781 | 0.000000e+00 | 9.382000e+03 | Inf
51.09/51.18 o 9299
51.09/51.18 c *47.8s| 75729 | 63263 | 93323 | 1.2 | 73M| 653 | - |1700 |4110 |1700 | 218 | 12k|6289 | 781 | 0.000000e+00 | 9.299000e+03 | Inf
51.70/51.73 o 9239
51.70/51.73 c R48.3s| 76437 | 63737 | 94583 | 1.2 | 74M| 653 | - |1700 |4317 |1700 | 209 | 12k|6730 | 781 | 0.000000e+00 | 9.239000e+03 | Inf
51.70/51.74 o 9157
51.70/51.74 c *48.4s| 76446 | 63530 | 94704 | 1.2 | 73M| 653 | - |1700 |4326 |1700 | 212 | 12k|6740 | 781 | 0.000000e+00 | 9.157000e+03 | Inf
51.70/51.75 o 9135
51.70/51.75 c *48.4s| 76449 | 63470 | 94731 | 1.2 | 73M| 653 | - |1700 |4326 |1700 | 213 | 12k|6740 | 781 | 0.000000e+00 | 9.135000e+03 | Inf
51.70/51.75 o 9052
51.70/51.75 c *48.4s| 76450 | 63204 | 94734 | 1.2 | 73M| 653 | - |1700 |4326 |1700 | 213 | 12k|6740 | 781 | 0.000000e+00 | 9.052000e+03 | Inf
51.79/51.87 o 9017
51.79/51.87 c *48.5s| 76603 | 63220 | 95116 | 1.2 | 73M| 653 | - |1700 |4355 |1700 | 203 | 12k|6809 | 781 | 0.000000e+00 | 9.017000e+03 | Inf
51.79/51.87 o 8912
51.79/51.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.79/51.87 c *48.5s| 76604 | 62864 | 95120 | 1.2 | 73M| 653 | - |1700 |4355 |1700 | 203 | 12k|6809 | 781 | 0.000000e+00 | 8.912000e+03 | Inf
54.39/54.40 c 50.8s| 80000 | 65788 |100716 | 1.3 | 76M| 653 | 0 |1700 |4114 |1700 | 205 | 13k|8634 | 782 | 0.000000e+00 | 8.912000e+03 | Inf
58.20/58.30 o 8869
58.20/58.30 c *54.5s| 85270 | 70171 |110226 | 1.3 | 82M| 653 | - |1700 |4466 |1700 | 198 | 14k| 11k| 782 | 0.000000e+00 | 8.869000e+03 | Inf
59.50/59.54 o 8850
59.50/59.54 c *55.6s| 86932 | 71564 |113466 | 1.3 | 84M| 653 | - |1700 |4212 |1700 | 197 | 15k| 12k| 782 | 0.000000e+00 | 8.850000e+03 | Inf
59.50/59.54 o 8836
59.50/59.54 c *55.6s| 86933 | 71507 |113467 | 1.3 | 84M| 653 | - |1700 |4212 |1700 | 197 | 15k| 12k| 782 | 0.000000e+00 | 8.836000e+03 | Inf
61.69/61.77 c 57.7s| 90000 | 74219 |118128 | 1.3 | 87M| 653 | 0 |1700 |4253 |1700 | 201 | 15k| 14k| 782 | 0.000000e+00 | 8.836000e+03 | Inf
63.99/64.08 o 8794
63.99/64.08 c *59.8s| 93299 | 76876 |122527 | 1.3 | 91M| 653 | - |1700 |4871 |1700 | 234 | 16k| 16k| 782 | 0.000000e+00 | 8.794000e+03 | Inf
63.99/64.08 o 8653
63.99/64.08 c *59.8s| 93300 | 76296 |122528 | 1.3 | 90M| 653 | - |1700 |4871 |1700 | 234 | 16k| 16k| 782 | 0.000000e+00 | 8.653000e+03 | Inf
64.09/64.13 o 8640
64.09/64.13 c *59.9s| 93356 | 76289 |122902 | 1.3 | 90M| 653 | - |1700 |4830 |1700 | 205 | 16k| 16k| 782 | 0.000000e+00 | 8.640000e+03 | Inf
68.99/69.03 c 64.5s|100000 | 81966 |134490 | 1.3 | 98M| 653 | 0 |1700 |4232 |1700 | 204 | 17k| 20k| 793 | 0.000000e+00 | 8.640000e+03 | Inf
69.49/69.54 o 8334
69.49/69.54 c *65.0s|100739 | 81172 |135385 | 1.3 | 96M| 653 | - |1700 |4440 |1700 | 234 | 17k| 20k| 794 | 0.000000e+00 | 8.334000e+03 | Inf
69.59/69.62 o 8189
69.59/69.62 c *65.0s|100833 | 80517 |135644 | 1.3 | 95M| 653 | - |1700 |4458 |1700 | 232 | 17k| 20k| 794 | 0.000000e+00 | 8.189000e+03 | Inf
70.79/70.85 o 8121
70.79/70.85 c *66.2s|102533 | 81545 |137721 | 1.3 | 96M| 653 | - |1700 |4598 |1700 | 216 | 17k| 21k| 796 | 0.000000e+00 | 8.121000e+03 | Inf
76.39/76.46 c 71.5s|110000 | 88006 |150707 | 1.4 | 105M| 653 | 0 |1700 |3979 |1700 | 184 | 19k| 25k| 831 | 0.000000e+00 | 8.121000e+03 | Inf
83.60/83.67 c 78.2s|120000 | 96619 |166353 | 1.4 | 116M| 653 | 0 |1700 |4223 |1700 | 205 | 21k| 31k| 881 | 0.000000e+00 | 8.121000e+03 | Inf
88.39/88.44 o 7844
88.39/88.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.39/88.44 c *82.7s|126495 |100121 |177661 | 1.4 | 119M| 653 | - |1700 |3660 |1700 | 231 | 22k| 34k| 928 | 0.000000e+00 | 7.844000e+03 | Inf
88.39/88.47 o 7818
88.39/88.47 c *82.7s|126531 | 99961 |177745 | 1.4 | 118M| 653 | - |1700 |3653 |1700 | 231 | 22k| 34k| 928 | 0.000000e+00 | 7.818000e+03 | Inf
88.39/88.47 o 7702
88.39/88.47 c *82.7s|126532 | 98876 |177746 | 1.4 | 116M| 653 | - |1700 |3653 |1700 | 231 | 22k| 34k| 928 | 0.000000e+00 | 7.702000e+03 | Inf
88.49/88.54 o 7547
88.49/88.54 c *82.8s|126629 | 97524 |177883 | 1.4 | 114M| 653 | - |1700 |3712 |1700 | 234 | 22k| 34k| 928 | 0.000000e+00 | 7.547000e+03 | Inf
91.09/91.14 c 85.2s|130000 |100369 |183623 | 1.4 | 118M| 653 | 0 |1700 |4060 |1700 | 214 | 23k| 36k| 968 | 0.000000e+00 | 7.547000e+03 | Inf
93.80/93.85 o 7534
93.80/93.85 c *87.7s|133256 |102965 |190976 | 1.4 | 122M| 653 | - |1700 |4740 |1700 | 229 | 24k| 38k|1008 | 0.000000e+00 | 7.534000e+03 | Inf
93.80/93.87 o 7367
93.80/93.87 c *87.8s|133274 |101315 |191036 | 1.4 | 119M| 653 | - |1700 |4760 |1700 | 230 | 24k| 38k|1008 | 0.000000e+00 | 7.367000e+03 | Inf
94.50/94.58 o 7341
94.50/94.58 c *88.4s|134202 |101855 |192628 | 1.4 | 119M| 653 | - |1700 |4581 |1700 | 238 | 24k| 38k|1030 | 0.000000e+00 | 7.341000e+03 | Inf
94.60/94.60 o 7063
94.60/94.60 c *88.4s|134217 | 98894 |192727 | 1.4 | 113M| 653 | - |1700 |4580 |1700 | 239 | 24k| 38k|1030 | 0.000000e+00 | 7.063000e+03 | Inf
94.60/94.61 o 6849
94.60/94.61 c *88.4s|134218 | 96440 |192739 | 1.4 | 109M| 653 | - |1700 |4580 |1700 | 239 | 24k| 38k|1030 | 0.000000e+00 | 6.849000e+03 | Inf
94.60/94.68 o 6644
94.60/94.68 c *88.5s|134296 | 94315 |192995 | 1.4 | 106M| 653 | - |1700 |4568 |1700 | 245 | 24k| 38k|1031 | 0.000000e+00 | 6.644000e+03 | Inf
94.60/94.68 o 6486
94.60/94.68 c *88.5s|134297 | 92561 |192997 | 1.4 | 104M| 653 | - |1700 |4568 |1700 | 245 | 24k| 38k|1031 | 0.000000e+00 | 6.486000e+03 | Inf
95.09/95.10 o 6390
95.09/95.10 c *88.9s|134750 | 91875 |194326 | 1.4 | 103M| 653 | - |1700 |4656 |1700 | 218 | 24k| 39k|1083 | 0.000000e+00 | 6.390000e+03 | Inf
95.79/95.88 o 6380
95.79/95.88 c *89.6s|135646 | 92501 |197845 | 1.5 | 104M| 653 | - |1700 |4356 |1700 | 202 | 25k| 39k|1144 | 0.000000e+00 | 6.380000e+03 | Inf
99.19/99.27 c 92.8s|140000 | 96186 |208737 | 1.5 | 109M| 653 | 0 |1700 |4032 |1700 | 201 | 26k| 42k|1173 | 0.000000e+00 | 6.380000e+03 | Inf
99.59/99.69 o 6342
99.59/99.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.59/99.69 c *93.2s|140520 | 96213 |210114 | 1.5 | 109M| 653 | - |1700 |4191 |1700 | 221 | 26k| 42k|1177 | 0.000000e+00 | 6.342000e+03 | Inf
99.69/99.79 o 6333
99.69/99.79 c *93.3s|140626 | 96223 |210618 | 1.5 | 109M| 653 | - |1700 |4173 |1700 | 205 | 26k| 42k|1179 | 0.000000e+00 | 6.333000e+03 | Inf
99.69/99.79 o 6331
99.69/99.79 c *93.3s|140627 | 96196 |210629 | 1.5 | 109M| 653 | - |1700 |4173 |1700 | 205 | 26k| 42k|1179 | 0.000000e+00 | 6.331000e+03 | Inf
106.79/106.88 c 99.9s|150000 |104323 |229890 | 1.5 | 120M| 653 | 0 |1700 |3839 |1700 | 192 | 28k| 46k|1227 | 0.000000e+00 | 6.331000e+03 | Inf
108.19/108.21 o 6282
108.19/108.21 c * 101s|151752 |105157 |233107 | 1.5 | 122M| 653 | - |1700 |4329 |1700 | 233 | 29k| 48k|1232 | 0.000000e+00 | 6.282000e+03 | Inf
112.39/112.42 o 6275
112.39/112.42 c * 105s|157593 |110155 |242350 | 1.5 | 129M| 653 | - |1700 |3959 |1700 | 214 | 30k| 50k|1277 | 0.000000e+00 | 6.275000e+03 | Inf
112.39/112.42 o 6252
112.39/112.42 c * 105s|157594 |109867 |242356 | 1.5 | 128M| 653 | - |1700 |3959 |1700 | 214 | 30k| 50k|1277 | 0.000000e+00 | 6.252000e+03 | Inf
112.49/112.50 o 6230
112.49/112.50 c * 105s|157681 |109695 |242733 | 1.5 | 128M| 653 | - |1700 |4022 |1700 | 230 | 30k| 50k|1277 | 0.000000e+00 | 6.230000e+03 | Inf
112.49/112.51 o 6143
112.49/112.51 c * 105s|157682 |108628 |242735 | 1.5 | 127M| 653 | - |1700 |4022 |1700 | 230 | 30k| 50k|1277 | 0.000000e+00 | 6.143000e+03 | Inf
113.20/113.28 o 6096
113.20/113.28 c * 106s|158744 |108963 |244386 | 1.5 | 127M| 653 | - |1700 |4153 |1700 | 231 | 30k| 51k|1278 | 0.000000e+00 | 6.096000e+03 | Inf
113.20/113.28 o 6067
113.20/113.28 c * 106s|158749 |108592 |244395 | 1.5 | 127M| 653 | - |1700 |4153 |1700 | 231 | 30k| 51k|1278 | 0.000000e+00 | 6.067000e+03 | Inf
113.20/113.29 o 5980
113.20/113.29 c * 106s|158750 |107554 |244398 | 1.5 | 126M| 653 | - |1700 |4153 |1700 | 231 | 30k| 51k|1278 | 0.000000e+00 | 5.980000e+03 | Inf
113.49/113.54 o 5921
113.49/113.54 c * 106s|159100 |107028 |244969 | 1.5 | 125M| 653 | - |1700 |4210 |1700 | 234 | 30k| 51k|1278 | 0.000000e+00 | 5.921000e+03 | Inf
113.49/113.55 o 5834
113.49/113.55 c * 106s|159101 |105969 |244973 | 1.5 | 123M| 653 | - |1700 |4210 |1700 | 234 | 30k| 51k|1278 | 0.000000e+00 | 5.834000e+03 | Inf
114.20/114.23 c 107s|160000 |106687 |246651 | 1.5 | 125M| 653 | 0 |1700 |4177 |1700 | 199 | 30k| 51k|1279 | 0.000000e+00 | 5.834000e+03 | Inf
122.19/122.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.19/122.26 c 114s|170000 |115081 |271962 | 1.6 | 137M| 653 | 10 |1700 |4186 |1700 | 219 | 33k| 57k|1387 | 0.000000e+00 | 5.834000e+03 | Inf
129.69/129.73 c 121s|180000 |123419 |289100 | 1.6 | 148M| 653 | 0 |1700 |4185 |1700 | 201 | 35k| 62k|1447 | 0.000000e+00 | 5.834000e+03 | Inf
132.69/132.77 o 5822
132.69/132.77 c * 124s|184207 |126889 |296239 | 1.6 | 153M| 653 | - |1700 |3914 |1700 | 231 | 36k| 63k|1461 | 0.000000e+00 | 5.822000e+03 | Inf
132.69/132.78 o 5800
132.69/132.78 c * 124s|184209 |126544 |296305 | 1.6 | 153M| 653 | - |1700 |3914 |1700 | 231 | 36k| 63k|1461 | 0.000000e+00 | 5.800000e+03 | Inf
132.79/132.89 o 5591
132.79/132.89 c * 124s|184342 |123153 |296496 | 1.6 | 148M| 653 | - |1700 |3881 |1700 | 233 | 36k| 63k|1461 | 0.000000e+00 | 5.591000e+03 | Inf
132.89/132.90 o 5504
132.89/132.90 c * 124s|184343 |121645 |296504 | 1.6 | 146M| 653 | - |1700 |3881 |1700 | 233 | 36k| 63k|1461 | 0.000000e+00 | 5.504000e+03 | Inf
132.89/132.99 o 5488
132.89/132.99 c * 124s|184441 |121436 |296901 | 1.6 | 146M| 653 | - |1700 |3872 |1700 | 231 | 36k| 63k|1463 | 0.000000e+00 | 5.488000e+03 | Inf
132.89/132.99 o 5372
132.89/132.99 c * 124s|184442 |119263 |296903 | 1.6 | 142M| 653 | - |1700 |3871 |1700 | 231 | 36k| 63k|1463 | 0.000000e+00 | 5.372000e+03 | Inf
133.00/133.03 o 5351
133.00/133.03 c * 124s|184493 |118939 |296982 | 1.6 | 142M| 653 | - |1700 |3880 |1700 | 231 | 36k| 64k|1463 | 0.000000e+00 | 5.351000e+03 | Inf
133.00/133.04 o 5129
133.00/133.04 c * 124s|184494 |114489 |296988 | 1.6 | 134M| 653 | - |1700 |3880 |1700 | 231 | 36k| 64k|1463 | 0.000000e+00 | 5.129000e+03 | Inf
136.79/136.89 o 5081
136.79/136.89 c * 128s|189329 |117476 |308585 | 1.6 | 139M| 653 | - |1700 |4118 |1700 | 230 | 37k| 66k|1534 | 0.000000e+00 | 5.081000e+03 | Inf
137.39/137.44 c 129s|190000 |118014 |310181 | 1.6 | 140M| 653 | 0 |1700 |4193 |1700 | 196 | 37k| 66k|1535 | 0.000000e+00 | 5.081000e+03 | Inf
144.49/144.51 o 5059
144.49/144.51 c * 135s|198854 |124939 |331662 | 1.7 | 150M| 653 | - |1700 |4085 |1700 | 213 | 40k| 71k|1592 | 0.000000e+00 | 5.059000e+03 | Inf
145.39/145.47 c 136s|200000 |125931 |334539 | 1.7 | 151M| 653 | 0 |1700 |4234 |1700 | 204 | 40k| 71k|1594 | 0.000000e+00 | 5.059000e+03 | Inf
149.29/149.32 o 5008
149.29/149.32 c * 140s|204663 |128607 |345837 | 1.7 | 156M| 653 | - |1700 |4850 |1700 | 217 | 42k| 74k|1636 | 0.000000e+00 | 5.008000e+03 | Inf
149.29/149.34 o 4955
149.29/149.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.29/149.34 c * 140s|204667 |127444 |345876 | 1.7 | 154M| 653 | - |1700 |4849 |1700 | 219 | 42k| 74k|1636 | 0.000000e+00 | 4.955000e+03 | Inf
149.29/149.34 o 4868
149.29/149.34 c * 140s|204668 |125454 |345891 | 1.7 | 150M| 653 | - |1700 |4849 |1700 | 219 | 42k| 74k|1636 | 0.000000e+00 | 4.868000e+03 | Inf
150.49/150.56 o 4857
150.49/150.56 c * 141s|205970 |126246 |350212 | 1.7 | 152M| 653 | - |1700 |4940 |1700 | 224 | 42k| 74k|1649 | 0.000000e+00 | 4.857000e+03 | Inf
154.09/154.19 c 144s|210000 |129503 |363241 | 1.7 | 157M| 653 | 6 |1700 |4745 |1700 | 208 | 44k| 77k|1703 | 0.000000e+00 | 4.857000e+03 | Inf
162.09/162.16 c 152s|220000 |137686 |385099 | 1.7 | 170M| 653 | 0 |1700 |4414 |1700 | 213 | 47k| 82k|1767 | 0.000000e+00 | 4.857000e+03 | Inf
164.30/164.36 o 4821
164.30/164.36 c * 154s|222838 |138986 |391050 | 1.8 | 172M| 653 | - |1700 |4205 |1700 | 198 | 47k| 83k|1809 | 0.000000e+00 | 4.821000e+03 | Inf
170.00/170.00 c 159s|230000 |144709 |405369 | 1.8 | 181M| 653 | 0 |1700 |4292 |1700 | 200 | 49k| 87k|1849 | 0.000000e+00 | 4.821000e+03 | Inf
177.59/177.65 c 166s|240000 |152924 |425880 | 1.8 | 194M| 653 | 0 |1700 |3861 |1700 | 198 | 51k| 91k|1911 | 0.000000e+00 | 4.821000e+03 | Inf
180.40/180.42 o 4809
180.40/180.42 c * 169s|243593 |155532 |432859 | 1.8 | 198M| 653 | - |1700 |4099 |1700 | 235 | 52k| 93k|1938 | 0.000000e+00 | 4.809000e+03 | Inf
180.40/180.43 o 4798
180.40/180.43 c * 169s|243594 |155232 |432861 | 1.8 | 198M| 653 | - |1700 |4099 |1700 | 235 | 52k| 93k|1938 | 0.000000e+00 | 4.798000e+03 | Inf
180.40/180.49 o 4668
180.40/180.49 c * 169s|243669 |151508 |433052 | 1.8 | 192M| 653 | - |1700 |4150 |1700 | 239 | 52k| 93k|1938 | 0.000000e+00 | 4.668000e+03 | Inf
185.59/185.67 c 174s|250000 |156662 |447959 | 1.8 | 201M| 653 | 0 |1700 |4358 |1700 | 205 | 54k| 96k|1977 | 0.000000e+00 | 4.668000e+03 | Inf
191.40/191.46 o 4626
191.40/191.46 c * 179s|257365 |161275 |463537 | 1.8 | 208M| 653 | - |1700 |4450 |1700 | 216 | 56k| 100k|2013 | 0.000000e+00 | 4.626000e+03 | Inf
193.49/193.57 c 181s|260000 |163388 |468718 | 1.8 | 212M| 653 | 0 |1700 |4268 |1700 | 193 | 57k| 101k|2022 | 0.000000e+00 | 4.626000e+03 | Inf
201.90/201.96 c 189s|270000 |171215 |494551 | 1.8 | 225M| 653 | 0 |1700 |4993 |1700 | 198 | 60k| 107k|2115 | 0.000000e+00 | 4.626000e+03 | Inf
202.70/202.76 o 4621
202.70/202.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.70/202.76 c * 190s|270961 |171806 |496697 | 1.8 | 226M| 653 | - |1700 |4679 |1700 | 220 | 60k| 108k|2115 | 0.000000e+00 | 4.621000e+03 | Inf
202.89/202.91 o 4448
202.89/202.91 c * 190s|271114 |166278 |497185 | 1.8 | 219M| 653 | - |1700 |4639 |1700 | 219 | 60k| 108k|2115 | 0.000000e+00 | 4.448000e+03 | Inf
202.89/202.91 o 4420
202.89/202.91 c * 190s|271115 |165388 |497197 | 1.8 | 217M| 653 | - |1700 |4639 |1700 | 219 | 60k| 108k|2115 | 0.000000e+00 | 4.420000e+03 | Inf
207.50/207.51 o 4378
207.50/207.51 c * 194s|276760 |168610 |509081 | 1.8 | 223M| 653 | - |1700 |4712 |1700 | 238 | 62k| 111k|2147 | 0.000000e+00 | 4.378000e+03 | Inf
207.50/207.52 o 4262
207.50/207.52 c * 194s|276761 |164648 |509082 | 1.8 | 216M| 653 | - |1700 |4712 |1700 | 238 | 62k| 111k|2147 | 0.000000e+00 | 4.262000e+03 | Inf
210.39/210.41 c 197s|280000 |167221 |518546 | 1.9 | 220M| 653 | 0 |1700 |4570 |1700 | 202 | 63k| 113k|2181 | 0.000000e+00 | 4.262000e+03 | Inf
212.40/212.40 o 4257
212.40/212.40 c * 199s|282327 |168929 |524113 | 1.9 | 223M| 653 | - |1700 |4463 |1700 | 199 | 64k| 114k|2189 | 0.000000e+00 | 4.257000e+03 | Inf
218.70/218.75 c 205s|290000 |175096 |542489 | 1.9 | 233M| 653 | 0 |1700 |3933 |1700 | 192 | 66k| 118k|2233 | 0.000000e+00 | 4.257000e+03 | Inf
224.89/224.99 o 4252
224.89/224.99 c * 211s|297753 |181166 |560805 | 1.9 | 243M| 653 | - |1700 |3794 |1700 | 222 | 68k| 121k|2288 | 0.000000e+00 | 4.252000e+03 | Inf
224.99/225.01 o 4152
224.99/225.01 c * 211s|297759 |177351 |560826 | 1.9 | 236M| 653 | - |1700 |3797 |1700 | 222 | 68k| 121k|2288 | 0.000000e+00 | 4.152000e+03 | Inf
226.90/226.98 c 212s|300000 |179093 |567231 | 1.9 | 239M| 653 | 0 |1700 |3906 |1700 | 202 | 69k| 122k|2292 | 0.000000e+00 | 4.152000e+03 | Inf
234.90/234.90 o 4131
234.90/234.90 c * 220s|309460 |185931 |594482 | 1.9 | 250M| 653 | - |1700 |4459 |1700 | 210 | 73k| 127k|2399 | 0.000000e+00 | 4.131000e+03 | Inf
234.90/234.93 o 4036
234.90/234.93 c * 220s|309483 |181912 |594588 | 1.9 | 242M| 653 | - |1700 |4461 |1700 | 213 | 73k| 127k|2399 | 0.000000e+00 | 4.036000e+03 | Inf
234.90/234.95 o 3953
234.90/234.95 c * 220s|309494 |178328 |594650 | 1.9 | 234M| 653 | - |1700 |4461 |1700 | 213 | 73k| 127k|2399 | 0.000000e+00 | 3.953000e+03 | Inf
235.30/235.36 c 220s|310000 |178708 |595680 | 1.9 | 235M| 653 | 0 |1700 |4350 |1700 | 192 | 73k| 127k|2402 | 0.000000e+00 | 3.953000e+03 | Inf
243.30/243.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.30/243.37 c 228s|320000 |186676 |616401 | 1.9 | 248M| 653 | 0 |1700 |4297 |1700 | 193 | 75k| 132k|2429 | 0.000000e+00 | 3.953000e+03 | Inf
251.70/251.71 c 236s|330000 |194709 |646354 | 2.0 | 261M| 653 | 0 |1700 |4010 |1700 | 195 | 78k| 137k|2518 | 0.000000e+00 | 3.953000e+03 | Inf
260.00/260.00 c 243s|340000 |202580 |671625 | 2.0 | 275M| 653 | 0 |1700 |4533 |1700 | 193 | 82k| 142k|2581 | 0.000000e+00 | 3.953000e+03 | Inf
268.09/268.16 o 3933
268.09/268.16 c * 251s|349919 |209333 |694660 | 2.0 | 287M| 653 | - |1700 |4283 |1700 | 226 | 84k| 147k|2623 | 0.000000e+00 | 3.933000e+03 | Inf
268.20/268.22 c 251s|350000 |209407 |694824 | 2.0 | 287M| 653 | 0 |1700 |4261 |1700 | 194 | 84k| 147k|2623 | 0.000000e+00 | 3.933000e+03 | Inf
276.30/276.33 c 259s|360000 |217398 |718281 | 2.0 | 301M| 653 | 0 |1700 |4773 |1700 | 204 | 87k| 152k|2683 | 0.000000e+00 | 3.933000e+03 | Inf
284.59/284.60 c 266s|370000 |225270 |742249 | 2.0 | 314M| 653 | 0 |1700 |4762 |1700 | 185 | 91k| 158k|2733 | 0.000000e+00 | 3.933000e+03 | Inf
290.09/290.12 o 3866
290.09/290.12 c * 272s|376684 |227285 |757794 | 2.0 | 317M| 653 | - |1700 |4422 |1700 | 212 | 93k| 162k|2765 | 0.000000e+00 | 3.866000e+03 | Inf
290.09/290.12 o 3852
290.09/290.12 c * 272s|376685 |226439 |757795 | 2.0 | 316M| 653 | - |1700 |4422 |1700 | 212 | 93k| 162k|2765 | 0.000000e+00 | 3.852000e+03 | Inf
292.99/293.07 c 274s|380000 |229039 |766079 | 2.0 | 321M| 653 | 0 |1700 |4482 |1700 | 176 | 94k| 163k|2781 | 0.000000e+00 | 3.852000e+03 | Inf
300.10/300.11 o 3729
300.10/300.11 c * 281s|388180 |228416 |789105 | 2.0 | 318M| 653 | - |1700 |4155 |1700 | 228 | 96k| 168k|2849 | 0.000000e+00 | 3.729000e+03 | Inf
300.10/300.13 o 3620
300.10/300.13 c * 281s|388181 |221954 |789109 | 2.0 | 305M| 653 | - |1700 |4155 |1700 | 228 | 96k| 168k|2849 | 0.000000e+00 | 3.620000e+03 | Inf
301.59/301.69 c 283s|390000 |223358 |793384 | 2.0 | 307M| 653 | 0 |1700 |4177 |1700 | 197 | 97k| 169k|2851 | 0.000000e+00 | 3.620000e+03 | Inf
302.90/302.96 o 3547
302.90/302.96 c * 284s|391539 |220112 |796661 | 2.0 | 301M| 653 | - |1700 |4260 |1700 | 213 | 97k| 170k|2860 | 0.000000e+00 | 3.547000e+03 | Inf
310.00/310.08 c 290s|400000 |226576 |815787 | 2.0 | 313M| 653 | 0 |1700 |4277 |1700 | 231 | 100k| 174k|2899 | 0.000000e+00 | 3.547000e+03 | Inf
310.30/310.35 o 3376
310.30/310.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.30/310.35 c * 291s|400356 |216090 |816114 | 2.0 | 293M| 653 | - |1700 |4412 |1700 | 246 | 100k| 174k|2900 | 0.000000e+00 | 3.376000e+03 | Inf
310.30/310.36 o 3289
310.30/310.36 c * 291s|400357 |210806 |816117 | 2.0 | 282M| 653 | - |1700 |4412 |1700 | 246 | 100k| 174k|2900 | 0.000000e+00 | 3.289000e+03 | Inf
310.30/310.39 o 3284
310.30/310.39 c * 291s|400387 |210517 |816226 | 2.0 | 281M| 653 | - |1700 |4431 |1700 | 247 | 100k| 174k|2900 | 0.000000e+00 | 3.284000e+03 | Inf
310.39/310.41 o 3197
310.39/310.41 c * 291s|400388 |204810 |816229 | 2.0 | 270M| 653 | - |1700 |4431 |1700 | 247 | 100k| 174k|2900 | 0.000000e+00 | 3.197000e+03 | Inf
317.30/317.40 o 3175
317.30/317.40 c * 297s|408338 |209372 |838219 | 2.1 | 278M| 653 | - |1700 |4126 |1700 | 216 | 103k| 178k|2949 | 0.000000e+00 | 3.175000e+03 | Inf
318.69/318.73 o 3126
318.69/318.73 c * 299s|409775 |207007 |842409 | 2.1 | 272M| 653 | - |1700 |4284 |1700 | 214 | 103k| 179k|2950 | 0.000000e+00 | 3.126000e+03 | Inf
318.91/318.95 c 299s|410000 |207178 |843329 | 2.1 | 272M| 653 | 0 |1700 |4332 |1700 | 204 | 103k| 179k|2950 | 0.000000e+00 | 3.126000e+03 | Inf
327.10/327.10 o 3093
327.10/327.10 c * 306s|418998 |211362 |871002 | 2.1 | 280M| 653 | - |1700 |3981 |1700 | 228 | 106k| 184k|3016 | 0.000000e+00 | 3.093000e+03 | Inf
327.10/327.12 o 2979
327.10/327.12 c * 306s|418999 |203546 |871024 | 2.1 | 263M| 653 | - |1700 |3981 |1700 | 228 | 106k| 184k|3016 | 0.000000e+00 | 2.979000e+03 | Inf
328.00/328.05 c 307s|420000 |204260 |874534 | 2.1 | 265M| 653 | 0 |1700 |4023 |1700 | 209 | 107k| 184k|3027 | 0.000000e+00 | 2.979000e+03 | Inf
337.00/337.07 c 316s|430000 |211538 |907020 | 2.1 | 279M| 653 | 0 |1700 |4064 |1700 | 198 | 110k| 189k|3072 | 0.000000e+00 | 2.979000e+03 | Inf
338.20/338.27 o 2893
338.20/338.27 c * 317s|431274 |205921 |911662 | 2.1 | 268M| 653 | - |1700 |4206 |1700 | 240 | 111k| 190k|3086 | 0.000000e+00 | 2.893000e+03 | Inf
346.00/346.01 o 2880
346.00/346.01 c * 324s|439837 |211100 |938287 | 2.1 | 279M| 653 | - |1700 |4284 |1700 | 243 | 114k| 194k|3149 | 0.000000e+00 | 2.880000e+03 | Inf
346.10/346.16 c 324s|440000 |211200 |938787 | 2.1 | 279M| 653 | 0 |1700 |4243 |1700 | 202 | 114k| 195k|3149 | 0.000000e+00 | 2.880000e+03 | Inf
348.49/348.51 o 2858
348.49/348.51 c * 326s|442519 |211296 |947493 | 2.1 | 280M| 653 | - |1700 |4223 |1700 | 241 | 115k| 196k|3166 | 0.000000e+00 | 2.858000e+03 | Inf
348.49/348.52 o 2830
348.49/348.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.49/348.52 c * 326s|442522 |209056 |947499 | 2.1 | 275M| 653 | - |1700 |4223 |1700 | 241 | 115k| 196k|3166 | 0.000000e+00 | 2.830000e+03 | Inf
348.49/348.53 o 2771
348.49/348.53 c * 327s|442523 |204387 |947501 | 2.1 | 267M| 653 | - |1700 |4223 |1700 | 241 | 115k| 196k|3166 | 0.000000e+00 | 2.771000e+03 | Inf
353.59/353.66 o 2712
353.59/353.66 c * 331s|448109 |204082 |965178 | 2.2 | 268M| 653 | - |1700 |4170 |1700 | 210 | 117k| 199k|3197 | 0.000000e+00 | 2.712000e+03 | Inf
353.79/353.83 o 2674
353.79/353.83 c * 332s|448251 |201445 |966043 | 2.2 | 263M| 653 | - |1700 |4132 |1700 | 204 | 118k| 199k|3197 | 0.000000e+00 | 2.674000e+03 | Inf
353.79/353.84 o 2660
353.79/353.84 c * 332s|448252 |200331 |966045 | 2.2 | 262M| 653 | - |1700 |4132 |1700 | 204 | 118k| 199k|3197 | 0.000000e+00 | 2.660000e+03 | Inf
354.10/354.13 o 2621
354.10/354.13 c * 332s|448530 |197718 |967209 | 2.2 | 257M| 653 | - |1700 |4171 |1700 | 201 | 118k| 199k|3197 | 0.000000e+00 | 2.621000e+03 | Inf
354.10/354.15 o 2551
354.10/354.15 c * 332s|448531 |192364 |967224 | 2.2 | 249M| 653 | - |1700 |4171 |1700 | 201 | 118k| 199k|3197 | 0.000000e+00 | 2.551000e+03 | Inf
355.60/355.60 c 333s|450000 |193397 |972050 | 2.2 | 251M| 653 | 0 |1700 |4177 |1700 | 205 | 118k| 200k|3197 | 0.000000e+00 | 2.551000e+03 | Inf
365.21/365.21 c 342s|460000 |200247 | 1010k| 2.2 | 267M| 653 | 0 |1700 |4270 |1700 | 200 | 123k| 206k|3268 | 0.000000e+00 | 2.551000e+03 | Inf
372.20/372.25 o 2542
372.20/372.25 c * 349s|467492 |204794 | 1038k| 2.2 | 277M| 653 | - |1700 |3886 |1700 | 208 | 126k| 210k|3314 | 0.000000e+00 | 2.542000e+03 | Inf
374.70/374.70 c 351s|470000 |206658 | 1047k| 2.2 | 280M| 653 | 0 |1700 |3889 |1700 | 195 | 127k| 211k|3314 | 0.000000e+00 | 2.542000e+03 | Inf
374.90/374.98 o 2532
374.90/374.98 c * 351s|470283 |205970 | 1048k| 2.2 | 279M| 653 | - |1700 |4165 |1700 | 234 | 127k| 212k|3314 | 0.000000e+00 | 2.532000e+03 | Inf
374.90/374.98 o 2521
374.90/374.98 c * 351s|470284 |205106 | 1048k| 2.2 | 278M| 653 | - |1700 |4165 |1700 | 234 | 127k| 212k|3314 | 0.000000e+00 | 2.521000e+03 | Inf
375.50/375.58 o 2502
375.50/375.58 c * 352s|470900 |204114 | 1050k| 2.2 | 277M| 653 | - |1700 |4207 |1700 | 190 | 127k| 212k|3326 | 0.000000e+00 | 2.502000e+03 | Inf
375.50/375.59 o 2488
375.50/375.59 c * 352s|470901 |202983 | 1050k| 2.2 | 275M| 653 | - |1700 |4207 |1700 | 190 | 127k| 212k|3326 | 0.000000e+00 | 2.488000e+03 | Inf
375.60/375.67 o 2425
375.60/375.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.60/375.67 c * 352s|470962 |198125 | 1050k| 2.2 | 268M| 653 | - |1700 |4217 |1700 | 206 | 127k| 212k|3327 | 0.000000e+00 | 2.425000e+03 | Inf
375.70/375.75 o 2417
375.70/375.75 c * 352s|471036 |197558 | 1051k| 2.2 | 267M| 653 | - |1700 |4225 |1700 | 202 | 127k| 212k|3327 | 0.000000e+00 | 2.417000e+03 | Inf
375.70/375.76 o 2411
375.70/375.76 c * 352s|471042 |197019 | 1051k| 2.2 | 266M| 653 | - |1700 |4225 |1700 | 201 | 127k| 212k|3327 | 0.000000e+00 | 2.411000e+03 | Inf
375.70/375.76 o 2397
375.70/375.76 c * 352s|471043 |195948 | 1051k| 2.2 | 264M| 653 | - |1700 |4225 |1700 | 201 | 127k| 212k|3327 | 0.000000e+00 | 2.397000e+03 | Inf
376.80/376.88 o 2384
376.80/376.88 c * 353s|472187 |195734 | 1055k| 2.2 | 265M| 653 | - |1700 |4225 |1700 | 215 | 128k| 213k|3341 | 0.000000e+00 | 2.384000e+03 | Inf
378.00/378.04 o 2376
378.00/378.04 c * 354s|473181 |195746 | 1062k| 2.2 | 266M| 653 | - |1700 |4301 |1700 | 232 | 129k| 214k|3346 | 0.000000e+00 | 2.376000e+03 | Inf
382.20/382.24 o 2353
382.20/382.24 c * 358s|477061 |196503 | 1082k| 2.3 | 270M| 653 | - |1700 |4337 |1700 | 231 | 131k| 216k|3407 | 0.000000e+00 | 2.353000e+03 | Inf
382.20/382.26 o 2348
382.20/382.26 c * 358s|477069 |196163 | 1082k| 2.3 | 269M| 653 | - |1700 |4337 |1700 | 234 | 131k| 216k|3407 | 0.000000e+00 | 2.348000e+03 | Inf
382.20/382.27 o 2289
382.20/382.27 c * 358s|477070 |191368 | 1082k| 2.3 | 262M| 653 | - |1700 |4337 |1700 | 234 | 131k| 216k|3407 | 0.000000e+00 | 2.289000e+03 | Inf
385.20/385.29 c 361s|480000 |193266 | 1096k| 2.3 | 267M| 653 | 0 |1700 |4185 |1700 | 193 | 132k| 218k|3418 | 0.000000e+00 | 2.289000e+03 | Inf
389.31/389.39 o 2073
389.31/389.39 c * 365s|484051 |178009 | 1114k| 2.3 | 244M| 653 | - |1700 |3951 |1700 | 243 | 134k| 220k|3452 | 0.000000e+00 | 2.073000e+03 | Inf
392.50/392.60 o 2046
392.50/392.60 c * 368s|487034 |177902 | 1131k| 2.3 | 246M| 653 | - |1700 |3981 |1700 | 232 | 136k| 222k|3471 | 0.000000e+00 | 2.046000e+03 | Inf
392.61/392.61 o 2007
392.61/392.61 c * 368s|487035 |174481 | 1131k| 2.3 | 240M| 653 | - |1700 |3981 |1700 | 232 | 136k| 222k|3471 | 0.000000e+00 | 2.007000e+03 | Inf
392.61/392.68 o 2001
392.61/392.68 c * 368s|487081 |173945 | 1131k| 2.3 | 239M| 653 | - |1700 |3990 |1700 | 220 | 136k| 222k|3474 | 0.000000e+00 | 2.001000e+03 | Inf
395.80/395.83 c 371s|490000 |175867 | 1148k| 2.3 | 244M| 653 | 0 |1700 |3793 |1700 | 201 | 138k| 223k|3493 | 0.000000e+00 | 2.001000e+03 | Inf
398.31/398.32 o 1993
398.31/398.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.31/398.32 c * 373s|492589 |176953 | 1156k| 2.3 | 247M| 653 | - |1700 |3869 |1700 | 233 | 139k| 225k|3507 | 0.000000e+00 | 1.993000e+03 | Inf
398.31/398.33 o 1937
398.31/398.33 c * 373s|492590 |172379 | 1156k| 2.3 | 240M| 653 | - |1700 |3869 |1700 | 233 | 139k| 225k|3507 | 0.000000e+00 | 1.937000e+03 | Inf
403.40/403.48 o 1922
403.40/403.48 c * 378s|497513 |174095 | 1178k| 2.4 | 246M| 653 | - |1700 |3692 |1700 | 219 | 141k| 227k|3544 | 0.000000e+00 | 1.922000e+03 | Inf
403.50/403.50 o 1854
403.50/403.50 c * 378s|497514 |168083 | 1178k| 2.4 | 237M| 653 | - |1700 |3692 |1700 | 219 | 141k| 227k|3544 | 0.000000e+00 | 1.854000e+03 | Inf
403.90/403.93 o 1851
403.90/403.93 c * 379s|497821 |167983 | 1182k| 2.4 | 237M| 653 | - |1700 |3696 |1700 | 232 | 142k| 227k|3553 | 0.000000e+00 | 1.851000e+03 | Inf
403.90/403.96 o 1802
403.90/403.96 c * 379s|497826 |163325 | 1182k| 2.4 | 229M| 653 | - |1700 |3708 |1700 | 233 | 142k| 227k|3557 | 0.000000e+00 | 1.802000e+03 | Inf
404.30/404.30 o 1760
404.30/404.30 c * 379s|498123 |159691 | 1184k| 2.4 | 223M| 653 | - |1700 |3640 |1700 | 214 | 142k| 227k|3560 | 0.000000e+00 | 1.760000e+03 | Inf
404.30/404.35 o 1701
404.30/404.35 c * 379s|498136 |153901 | 1185k| 2.4 | 213M| 653 | - |1700 |3644 |1700 | 224 | 142k| 227k|3560 | 0.000000e+00 | 1.701000e+03 | Inf
404.30/404.36 o 1690
404.30/404.36 c * 379s|498137 |152755 | 1185k| 2.4 | 211M| 653 | - |1700 |3644 |1700 | 224 | 142k| 227k|3560 | 0.000000e+00 | 1.690000e+03 | Inf
406.61/406.61 c 381s|500000 |153873 | 1198k| 2.4 | 215M| 653 | 6 |1700 |3286 |1700 | 205 | 143k| 228k|3570 | 0.000000e+00 | 1.690000e+03 | Inf
407.20/407.23 o 1689
407.20/407.23 c * 382s|500401 |153992 | 1204k| 2.4 | 216M| 653 | - |1700 |3338 |1700 | 232 | 144k| 229k|3570 | 0.000000e+00 | 1.689000e+03 | Inf
417.80/417.84 c 392s|510000 |159643 | 1258k| 2.5 | 234M| 653 | - |1700 |4062 |1700 | 223 | 149k| 235k|3652 | 0.000000e+00 | 1.689000e+03 | Inf
422.40/422.43 o 1644
422.40/422.43 c * 396s|513923 |157856 | 1283k| 2.5 | 234M| 653 | - |1700 |3818 |1700 | 190 | 152k| 237k|3692 | 0.000000e+00 | 1.644000e+03 | Inf
424.10/424.19 o 1629
424.10/424.19 c * 398s|515429 |157124 | 1292k| 2.5 | 234M| 653 | - |1700 |4114 |1700 | 227 | 153k| 238k|3721 | 0.000000e+00 | 1.629000e+03 | Inf
424.20/424.21 o 1574
424.20/424.21 c * 398s|515430 |152241 | 1292k| 2.5 | 226M| 653 | - |1700 |4114 |1700 | 227 | 153k| 238k|3721 | 0.000000e+00 | 1.574000e+03 | Inf
429.60/429.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.60/429.60 c 403s|520000 |155037 | 1326k| 2.5 | 234M| 653 | 0 |1700 |3737 |1700 | 215 | 156k| 241k|3764 | 0.000000e+00 | 1.574000e+03 | Inf
440.60/440.69 c 413s|530000 |160924 | 1382k| 2.6 | 252M| 653 | 0 |1700 |4256 |1700 | 197 | 162k| 247k|3845 | 0.000000e+00 | 1.574000e+03 | Inf
443.70/443.75 o 1558
443.70/443.75 c * 416s|532757 |161071 | 1400k| 2.6 | 255M| 653 | - |1700 |3986 |1700 | 222 | 164k| 249k|3862 | 0.000000e+00 | 1.558000e+03 | Inf
443.70/443.77 o 1488
443.70/443.77 c * 416s|532768 |154495 | 1400k| 2.6 | 245M| 653 | - |1700 |3986 |1700 | 222 | 164k| 249k|3862 | 0.000000e+00 | 1.488000e+03 | Inf
444.30/444.31 o 1420
444.30/444.31 c * 416s|533189 |147643 | 1404k| 2.6 | 234M| 653 | - |1700 |4019 |1700 | 212 | 164k| 249k|3876 | 0.000000e+00 | 1.420000e+03 | Inf
444.30/444.33 o 1350
444.30/444.33 c * 417s|533190 |140813 | 1404k| 2.6 | 223M| 653 | - |1700 |4019 |1700 | 212 | 164k| 249k|3876 | 0.000000e+00 | 1.350000e+03 | Inf
452.41/452.41 c 424s|540000 |144627 | 1447k| 2.7 | 236M| 653 | 0 |1700 |3866 |1700 | 209 | 169k| 253k|3929 | 0.000000e+00 | 1.350000e+03 | Inf
455.41/455.48 o 1323
455.41/455.48 c * 427s|542548 |143358 | 1465k| 2.7 | 237M| 653 | - |1700 |4185 |1700 | 223 | 170k| 255k|3961 | 0.000000e+00 | 1.323000e+03 | Inf
460.90/460.90 o 1309
460.90/460.90 c * 432s|546888 |144247 | 1497k| 2.7 | 243M| 653 | - |1700 |4280 |1700 | 220 | 174k| 258k|4006 | 0.000000e+00 | 1.309000e+03 | Inf
460.90/460.92 o 1239
460.90/460.92 c * 432s|546889 |136913 | 1497k| 2.7 | 232M| 653 | - |1700 |4280 |1700 | 220 | 174k| 258k|4006 | 0.000000e+00 | 1.239000e+03 | Inf
464.80/464.88 c 436s|550000 |138388 | 1517k| 2.8 | 238M| 653 | - |1700 |4002 | 0 | 0 | 176k| 261k|4032 | 0.000000e+00 | 1.239000e+03 | Inf
466.00/466.00 o 1141
466.00/466.00 c * 437s|550863 |128537 | 1523k| 2.8 | 225M| 653 | - |1700 |4021 |1700 | 231 | 177k| 261k|4032 | 0.000000e+00 | 1.141000e+03 | Inf
470.80/470.82 o 1125
470.80/470.82 c * 441s|554340 |128416 | 1557k| 2.8 | 231M| 653 | - |1700 |4032 |1700 | 239 | 180k| 264k|4077 | 0.000000e+00 | 1.125000e+03 | Inf
476.31/476.35 o 962
476.31/476.35 c * 447s|558399 |112619 | 1594k| 2.9 | 212M| 653 | - |1700 |4169 |1700 | 219 | 183k| 267k|4120 | 0.000000e+00 | 9.620000e+02 | Inf
476.41/476.44 o 916
476.41/476.44 c * 447s|558451 |106077 | 1595k| 2.9 | 201M| 653 | - |1700 |4080 |1700 | 233 | 183k| 267k|4120 | 0.000000e+00 | 9.160000e+02 | Inf
476.41/476.46 o 912
476.41/476.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.41/476.46 c * 447s|558455 |105790 | 1595k| 2.9 | 201M| 653 | - |1700 |3988 |1700 | 233 | 183k| 267k|4120 | 0.000000e+00 | 9.120000e+02 | Inf
476.50/476.51 o 801
476.50/476.51 c * 447s|558466 | 91373 | 1595k| 2.9 | 177M| 653 | - |1700 |3957 |1700 | 233 | 183k| 267k|4120 | 0.000000e+00 | 8.010000e+02 | Inf
476.50/476.54 o 731
476.50/476.54 c * 447s|558467 | 83459 | 1595k| 2.9 | 164M| 653 | - |1700 |3957 |1700 | 233 | 183k| 267k|4120 | 0.000000e+00 | 7.310000e+02 | Inf
476.71/476.73 o 729
476.71/476.73 c * 447s|558525 | 80877 | 1596k| 2.9 | 159M| 653 | - |1700 |3402 |1700 | 234 | 184k| 268k|4120 | 0.000000e+00 | 7.290000e+02 | Inf
477.41/477.45 o 727
477.41/477.45 c * 448s|558784 | 80651 | 1602k| 2.9 | 161M| 653 | - |1700 |2444 |1700 | 223 | 184k| 268k|4120 | 0.000000e+00 | 7.270000e+02 | Inf
477.41/477.46 o 704
477.41/477.46 c * 448s|558785 | 78399 | 1602k| 2.9 | 157M| 653 | - |1700 |2444 |1700 | 223 | 184k| 268k|4120 | 0.000000e+00 | 7.040000e+02 | Inf
477.50/477.51 o 635
477.50/477.51 c * 448s|558801 | 72032 | 1602k| 2.9 | 145M| 653 | - |1700 |2386 |1700 | 212 | 184k| 268k|4120 | 0.000000e+00 | 6.350000e+02 | Inf
477.70/477.72 o 617
477.70/477.72 c * 448s|558933 | 70300 | 1604k| 2.9 | 142M| 653 | - |1700 |2350 |1700 | 242 | 184k| 268k|4128 | 0.000000e+00 | 6.170000e+02 | Inf
477.80/477.80 o 398
477.80/477.80 c * 448s|558955 | 49837 | 1604k| 2.9 | 101M| 653 | - |1700 |2314 |1700 | 249 | 184k| 268k|4128 | 0.000000e+00 | 3.980000e+02 | Inf
477.80/477.82 o 375
477.80/477.82 c * 448s|558959 | 48593 | 1604k| 2.9 | 99M| 653 | - |1700 |2091 |1700 | 237 | 184k| 268k|4128 | 0.000000e+00 | 3.750000e+02 | Inf
477.80/477.86 o 266
477.80/477.86 c * 448s|558960 | 35380 | 1604k| 2.9 | 76M| 653 | - |1700 |2091 |1700 | 237 | 184k| 268k|4128 | 0.000000e+00 | 2.660000e+02 | Inf
478.00/478.02 o 229
478.00/478.02 c * 448s|558989 | 32012 | 1605k| 2.9 | 71M| 653 | - |1700 |1885 |1700 | 208 | 184k| 268k|4128 | 0.000000e+00 | 2.290000e+02 | Inf
478.41/478.42 o 214
478.41/478.42 c * 448s|559093 | 28404 | 1608k| 2.9 | 67M| 653 | - |1700 |1936 |1700 | 210 | 185k| 269k|4130 | 0.000000e+00 | 2.140000e+02 | Inf
478.41/478.43 o 199
478.41/478.43 c * 448s|559098 | 27150 | 1608k| 2.9 | 65M| 653 | - |1700 |1904 |1700 | 210 | 185k| 269k|4130 | 0.000000e+00 | 1.990000e+02 | Inf
478.41/478.45 o 178
478.41/478.45 c * 448s|559110 | 25341 | 1608k| 2.9 | 61M| 653 | - |1700 |1879 |1700 | 210 | 185k| 269k|4130 | 0.000000e+00 | 1.780000e+02 | Inf
478.41/478.46 o 129
478.41/478.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.41/478.46 c * 448s|559111 | 22881 | 1608k| 2.9 | 57M| 653 | - |1700 |1879 |1700 | 210 | 185k| 269k|4130 | 0.000000e+00 | 1.290000e+02 | Inf
478.41/478.47 o 108
478.41/478.47 c * 448s|559118 | 22725 | 1608k| 2.9 | 57M| 653 | - |1700 |1795 |1700 | 206 | 185k| 269k|4130 | 0.000000e+00 | 1.080000e+02 | Inf
478.41/478.49 o 87
478.41/478.49 c * 449s|559126 | 19203 | 1608k| 2.9 | 51M| 653 | - |1700 |1755 |1700 | 206 | 185k| 269k|4130 | 0.000000e+00 | 8.700000e+01 | Inf
478.41/478.50 o 38
478.41/478.50 c * 449s|559127 | 15814 | 1608k| 2.9 | 45M| 653 | - |1700 |1755 |1700 | 206 | 185k| 269k|4130 | 0.000000e+00 | 3.800000e+01 | Inf
478.80/478.81 o 0
478.80/478.81 c * 449s|559206 | 0 | 1610k| 2.9 | 11M| 653 | - |1700 |1569 |1700 | 211 | 185k| 269k|4150 | 0.000000e+00 | 0.000000e+00 | 0.00%
478.80/478.81 c
478.80/478.81 c SCIP Status : problem is solved [optimal solution found]
478.80/478.81 c Solving Time (sec) : 448.80
478.80/478.81 c Solving Nodes : 559206
478.80/478.81 c Primal Bound : +0.00000000000000e+00 (282 solutions)
478.80/478.81 c Dual Bound : +0.00000000000000e+00
478.80/478.81 c Gap : 0.00 %
478.80/478.81 s OPTIMUM FOUND
478.80/478.81 v x200 -x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 x186 -x185 -x184 x183 -x182 x181 x180 -x179 -x178
478.80/478.81 v x177 -x176 x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 -x158 x157 x156 -x155
478.80/478.81 v x154 -x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135 -x134 x133 x132
478.80/478.81 v -x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 x118 -x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109
478.80/478.81 v -x108 x107 x106 -x105 -x104 x103 x102 -x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 x86 -x85 -x84
478.80/478.81 v x83 x82 -x81 -x80 x79 -x78 x77 x76 -x75 -x74 x73 x72 -x71 -x70 x69 -x68 x67 x66 -x65 x64 -x63 x62 -x61 -x60 x59 x58 -x57 x56
478.80/478.81 v -x55 -x54 x53 x52 -x51 x50 -x49 -x48 x47 -x46 x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 -x28
478.80/478.81 v 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 -x1
478.80/478.81 c SCIP Status : problem is solved [optimal solution found]
478.80/478.81 c Solving Time : 448.80
478.80/478.81 c Original Problem :
478.80/478.81 c Problem name : HOME/instance-2700405-1278535496.wbo
478.80/478.81 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
478.80/478.81 c Constraints : 1701 initial, 1701 maximal
478.80/478.81 c Presolved Problem :
478.80/478.81 c Problem name : t_HOME/instance-2700405-1278535496.wbo
478.80/478.81 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
478.80/478.81 c Constraints : 1600 initial, 5383 maximal
478.80/478.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
478.80/478.81 c trivial : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c implics : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c probing : 0.01 0 0 0 0 0 0 0 0
478.80/478.81 c indicator : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c linear : 0.02 0 100 0 800 0 101 0 0
478.80/478.81 c logicor : 0.00 0 0 0 0 0 0 0 0
478.80/478.81 c root node : - 776 - - 1552 - - - -
478.80/478.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
478.80/478.81 c integral : 0 0 0 580963 0 0 28 0 0 19822
478.80/478.81 c indicator : 800 0 1242043 571019 0 1131 12461294 0 0 0
478.80/478.81 c linear : 800 6 1240506 570907 0 10449 964551 185221 0 0
478.80/478.81 c logicor : 0+ 0 746147 0 0 1564 442163 0 0 0
478.80/478.81 c countsols : 0 0 0 499424 0 0 0 0 0 0
478.80/478.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
478.80/478.81 c integral : 3.37 0.00 0.00 3.37 0.00
478.80/478.81 c indicator : 47.49 0.00 18.16 29.33 0.00
478.80/478.81 c linear : 29.09 0.00 15.29 13.80 0.00
478.80/478.81 c logicor : 10.39 0.00 10.39 0.00 0.00
478.80/478.81 c countsols : 0.00 0.00 0.00 0.00 0.00
478.80/478.81 c Propagators : Time Calls Cutoffs DomReds
478.80/478.81 c vbounds : 0.00 2 0 0
478.80/478.81 c rootredcost : 0.01 181 0 776
478.80/478.81 c pseudoobj : 28.66 1294677 52825 10613680
478.80/478.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
478.80/478.81 c propagation : 3.15 64838 64796 208921 24.5 93369 3.9 -
478.80/478.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
478.80/478.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
478.80/478.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
478.80/478.81 c pseudo solution : 0.01 176 176 934 25.4 474 4.1 -
478.80/478.81 c applied globally : - - - 269316 16.3 - - -
478.80/478.81 c applied locally : - - - 0 0.0 - - -
478.80/478.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
478.80/478.81 c cut pool : 0.00 3 - - 2 - (maximal pool size: 56)
478.80/478.81 c redcost : 19.85 598127 0 1608520 0 0
478.80/478.81 c impliedbounds : 0.00 4 0 0 0 0
478.80/478.81 c intobj : 0.00 0 0 0 0 0
478.80/478.81 c cgmip : 0.00 0 0 0 0 0
478.80/478.81 c gomory : 0.01 4 0 0 56 0
478.80/478.81 c strongcg : 0.00 4 0 0 0 0
478.80/478.81 c cmir : 0.02 4 0 0 0 0
478.80/478.81 c flowcover : 0.01 4 0 0 0 0
478.80/478.81 c clique : 0.00 1 0 0 0 0
478.80/478.81 c zerohalf : 0.00 0 0 0 0 0
478.80/478.81 c mcf : 0.00 1 0 0 0 0
478.80/478.81 c rapidlearning : 0.00 0 0 0 0 0
478.80/478.81 c Pricers : Time Calls Vars
478.80/478.81 c problem variables: 0.00 0 0
478.80/478.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
478.80/478.81 c relpscost : 3.36 9939 0 28 0 0 19822
478.80/478.81 c pscost : 0.00 0 0 0 0 0 0
478.80/478.81 c inference : 34.01 499243 0 0 0 0 998486
478.80/478.81 c mostinf : 0.00 0 0 0 0 0 0
478.80/478.81 c leastinf : 0.00 0 0 0 0 0 0
478.80/478.81 c fullstrong : 0.00 0 0 0 0 0 0
478.80/478.81 c allfullstrong : 0.00 0 0 0 0 0 0
478.80/478.81 c random : 0.00 0 0 0 0 0 0
478.80/478.81 c Primal Heuristics : Time Calls Found
478.80/478.81 c LP solutions : 1.25 - 181
478.80/478.81 c pseudo solutions : 0.00 - 0
478.80/478.81 c feaspump : 0.00 0 0
478.80/478.81 c intshifting : 0.00 1 0
478.80/478.81 c oneopt : 0.33 132 0
478.80/478.81 c linesearchdiving : 0.25 655 0
478.80/478.81 c guideddiving : 0.26 655 0
478.80/478.81 c coefdiving : 0.35 655 0
478.80/478.81 c pscostdiving : 0.28 655 0
478.80/478.81 c fracdiving : 0.28 655 0
478.80/478.81 c veclendiving : 0.33 655 0
478.80/478.81 c crossover : 2.81 239 3
478.80/478.81 c objpscostdiving : 0.27 655 0
478.80/478.81 c rootsoldiving : 0.37 655 0
478.80/478.81 c trivial : 0.00 2 1
478.80/478.81 c simplerounding : 0.08 11319 0
478.80/478.81 c zirounding : 0.01 1000 0
478.80/478.81 c rounding : 0.13 4579 1
478.80/478.81 c shifting : 0.20 423 0
478.80/478.81 c twoopt : 0.00 0 0
478.80/478.81 c fixandinfer : 0.00 0 0
478.80/478.81 c intdiving : 0.00 0 0
478.80/478.81 c actconsdiving : 0.00 0 0
478.80/478.81 c octane : 0.00 0 0
478.80/478.81 c rens : 0.01 1 0
478.80/478.81 c rins : 0.00 0 0
478.80/478.81 c localbranching : 0.00 0 0
478.80/478.81 c mutation : 0.00 0 0
478.80/478.81 c dins : 0.00 0 0
478.80/478.81 c undercover : 0.00 0 0
478.80/478.81 c nlp : 0.00 0 0
478.80/478.81 c trysol : 0.06 1758 96
478.80/478.81 c LP : Time Calls Iterations Iter/call Iter/sec
478.80/478.81 c primal LP : 0.00 0 0 0.00 -
478.80/478.81 c dual LP : 171.66 181484 1599825 8.82 9319.73
478.80/478.81 c lex dual LP : 0.00 0 0 0.00 -
478.80/478.81 c barrier LP : 0.00 0 0 0.00 -
478.80/478.81 c diving/probing LP: 0.20 129 11018 85.41 55090.00
478.80/478.81 c strong branching : 3.29 4150 64721 15.60 19672.04
478.80/478.81 c (at root node) : - 33 3398 102.97 -
478.80/478.81 c conflict analysis: 0.00 0 0 0.00 -
478.80/478.81 c B&B Tree :
478.80/478.81 c number of runs : 1
478.80/478.81 c nodes : 559206
478.80/478.81 c nodes (total) : 559206
478.80/478.81 c nodes left : 0
478.80/478.81 c max depth : 653
478.80/478.81 c max depth (total): 653
478.80/478.81 c backtracks : 21001 (3.8%)
478.80/478.81 c delayed cutoffs : 31106
478.80/478.81 c repropagations : 128569 (5936230 domain reductions, 16274 cutoffs)
478.80/478.81 c avg switch length: 3.69
478.80/478.81 c switching time : 31.78
478.80/478.81 c Solution :
478.80/478.81 c Solutions found : 282 (183 improvements)
478.80/478.81 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
478.80/478.81 c Primal Bound : +0.00000000000000e+00 (in run 1, after 559206 nodes, 448.77 seconds, depth 13, found by <relaxation>)
478.80/478.81 c Dual Bound : +0.00000000000000e+00
478.80/478.81 c Gap : 0.00 %
478.80/478.81 c Root Dual Bound : +0.00000000000000e+00
478.80/478.81 c Root Iterations : 275
478.80/478.83 c Time complete: 478.84.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700405-1278535496/watcher-2700405-1278535496 -o /tmp/evaluation-result-2700405-1278535496/solver-2700405-1278535496 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700405-1278535496.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.00 1.74 3/178 18838 /proc/meminfo: memFree=29386356/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=10848 CPUtime=0 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 1658 0 0 0 0 0 0 0 21 0 1 0 21764535 11108352 1580 4089446400 4194304 9819077 140736497998848 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18838/statm: 2712 1585 392 1374 0 1333 0 [startup+0.0237031 s] /proc/loadavg: 2.00 2.00 1.74 3/178 18838 /proc/meminfo: memFree=29386356/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=20400 CPUtime=0.01 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 4197 0 0 0 1 0 0 0 21 0 1 0 21764535 20889600 3764 4089446400 4194304 9819077 140736497998848 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 5100 3764 465 1374 0 3721 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20400 [startup+0.100675 s] /proc/loadavg: 2.00 2.00 1.74 3/178 18838 /proc/meminfo: memFree=29386356/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=26792 CPUtime=0.09 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 6516 0 0 0 8 1 0 0 21 0 1 0 21764535 27435008 5242 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 6698 5242 674 1374 0 5319 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26792 [startup+0.300637 s] /proc/loadavg: 2.00 2.00 1.74 3/178 18838 /proc/meminfo: memFree=29386356/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=28108 CPUtime=0.29 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 11797 0 0 0 26 3 0 0 21 0 1 0 21764535 28782592 5343 4089446400 4194304 9819077 140736497998848 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 7027 5343 695 1374 0 5648 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28108 [startup+0.700566 s] /proc/loadavg: 2.00 2.00 1.74 3/178 18838 /proc/meminfo: memFree=29386356/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=26916 CPUtime=0.69 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 19012 0 0 0 64 5 0 0 22 0 1 0 21764535 27561984 5329 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 6729 5329 697 1374 0 5350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26916 [startup+1.50044 s] /proc/loadavg: 2.00 2.00 1.74 3/179 18839 /proc/meminfo: memFree=29365764/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=30076 CPUtime=1.49 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 33344 0 0 0 138 11 0 0 25 0 1 0 21764535 30797824 6319 4089446400 4194304 9819077 140736497998848 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 7519 6319 700 1374 0 6140 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30076 [startup+3.10113 s] /proc/loadavg: 2.00 2.00 1.74 3/179 18839 /proc/meminfo: memFree=29362208/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=33152 CPUtime=3.09 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 41020 0 0 0 287 22 0 0 25 0 1 0 21764535 33947648 7003 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 8288 7003 704 1374 0 6909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33152 [startup+6.30054 s] /proc/loadavg: 2.00 2.00 1.74 3/179 18840 /proc/meminfo: memFree=29353156/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=38080 CPUtime=6.29 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 47962 0 0 0 586 43 0 0 25 0 1 0 21764535 38993920 8230 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 9520 8230 704 1374 0 8141 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38080 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.74 3/179 18840 /proc/meminfo: memFree=29338228/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=49444 CPUtime=12.69 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 61011 0 0 0 1183 86 0 0 25 0 1 0 21764535 50630656 11081 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 12361 11081 704 1374 0 10982 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49444 [startup+25.501 s] /proc/loadavg: 2.00 2.00 1.74 3/179 18841 /proc/meminfo: memFree=29315148/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=65868 CPUtime=25.5 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 109056 0 0 0 2386 164 0 0 25 0 1 0 21764535 67448832 15139 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 16467 15139 704 1374 0 15088 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 65868 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.75 3/179 18841 /proc/meminfo: memFree=29267576/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=102148 CPUtime=51.09 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 230781 0 0 0 4775 334 0 0 25 0 1 0 21764535 104599552 24259 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 25537 24259 704 1374 0 24158 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 102148 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.75 3/179 18843 /proc/meminfo: memFree=29185280/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=168652 CPUtime=102.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 460711 0 0 0 9563 667 0 0 25 0 1 0 21764535 172699648 40369 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18838/statm: 42163 40369 704 1374 0 40784 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 168652 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.77 3/179 19088 /proc/meminfo: memFree=29900140/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=226608 CPUtime=162.29 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 739186 0 0 0 15180 1049 0 0 25 0 1 0 21764535 232046592 54282 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 56652 54282 704 1374 0 55273 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 226608 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.78 3/179 19089 /proc/meminfo: memFree=29749724/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=304880 CPUtime=222.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 1012296 0 0 0 20806 1424 0 0 25 0 1 0 21764535 312197120 72203 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 76220 72203 704 1374 0 74841 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 304880 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.79 3/179 19091 /proc/meminfo: memFree=29595012/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=391052 CPUtime=282.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 1271844 0 0 0 26432 1798 0 0 25 0 1 0 21764535 400437248 91190 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 97763 91190 704 1374 0 96384 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 391052 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.80 3/179 19093 /proc/meminfo: memFree=29481868/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=427276 CPUtime=342.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 1569179 0 0 0 32068 2162 0 0 25 0 1 0 21764535 437530624 98937 4089446400 4194304 9819077 140736497998848 18446744073709551615 5484165 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 106819 98937 704 1374 0 105440 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 427276 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.81 3/179 19095 /proc/meminfo: memFree=29389908/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=443420 CPUtime=402.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 1902034 0 0 0 37699 2531 0 0 25 0 1 0 21764535 454062080 102426 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 110855 102426 704 1374 0 109476 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 443420 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19096 /proc/meminfo: memFree=29286064/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=463188 CPUtime=462.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2237663 0 0 0 43333 2897 0 0 25 0 1 0 21764535 474304512 106343 4089446400 4194304 9819077 140736497998848 18446744073709551615 6389020 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 115665 106340 704 1374 0 114286 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 463188 Solver just ended. Dumping a history of the last processes samples [startup+467.101 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19096 /proc/meminfo: memFree=29277376/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=465652 CPUtime=467.11 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2267782 0 0 0 43785 2926 0 0 25 0 1 0 21764535 476827648 106834 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 116413 106834 704 1374 0 115034 0 Current children cumulated CPU time (s) 467.11 Current children cumulated vsize (KiB) 465652 [startup+473.5 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19097 /proc/meminfo: memFree=29265100/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=469072 CPUtime=473.51 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2308135 0 0 0 44383 2968 0 0 25 0 1 0 21764535 480329728 107527 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 117268 107527 704 1374 0 115889 0 Current children cumulated CPU time (s) 473.51 Current children cumulated vsize (KiB) 469072 [startup+476.701 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19097 /proc/meminfo: memFree=29260632/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=471548 CPUtime=476.71 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2325616 0 0 0 44685 2986 0 0 25 0 1 0 21764535 482865152 107920 4089446400 4194304 9819077 140736497998848 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 117887 107920 704 1374 0 116508 0 Current children cumulated CPU time (s) 476.71 Current children cumulated vsize (KiB) 471548 [startup+477.501 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19097 /proc/meminfo: memFree=29257408/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=471660 CPUtime=477.5 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2331071 0 0 0 44758 2992 0 0 25 0 1 0 21764535 482979840 107984 4089446400 4194304 9819077 140736497998848 18446744073709551615 6179984 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 117915 107984 705 1374 0 116536 0 Current children cumulated CPU time (s) 477.5 Current children cumulated vsize (KiB) 471660 [startup+478.301 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19097 /proc/meminfo: memFree=29257408/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=472316 CPUtime=478.3 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2333400 0 0 0 44833 2997 0 0 25 0 1 0 21764535 483651584 108060 4089446400 4194304 9819077 140736497998848 18446744073709551615 4982752 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 118079 108060 705 1374 0 116700 0 Current children cumulated CPU time (s) 478.3 Current children cumulated vsize (KiB) 472316 [startup+478.701 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19097 /proc/meminfo: memFree=29256168/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=472320 CPUtime=478.7 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2335066 0 0 0 44871 2999 0 0 25 0 1 0 21764535 483655680 108061 4089446400 4194304 9819077 140736497998848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 118080 108061 705 1374 0 116701 0 Current children cumulated CPU time (s) 478.7 Current children cumulated vsize (KiB) 472320 [startup+478.8 s] /proc/loadavg: 2.00 2.00 1.82 3/179 19097 /proc/meminfo: memFree=29256168/32951124 swapFree=67111528/67111528 [pid=18838] ppid=18836 vsize=470268 CPUtime=478.8 /proc/18838/stat : 18838 (pbscip.linux.x8) R 18836 18838 18327 0 -1 4202496 2335478 0 0 0 44880 3000 0 0 25 0 1 0 21764535 481554432 107548 4089446400 4194304 9819077 140736497998848 18446744073709551615 4212595 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18838/statm: 117567 107548 705 1374 0 116188 0 Current children cumulated CPU time (s) 478.8 Current children cumulated vsize (KiB) 470268 Child status: 0 Real time (s): 478.838 CPU time (s): 478.849 CPU user time (s): 448.826 CPU system time (s): 30.0234 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 472408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 448.826 system time used= 30.0234 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2335485 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3847 runsolver used 0.670898 second user time and 1.52277 second system time The end
Begin job on node104 at 2010-07-07 22:44:56 IDJOB=2700405 IDBENCH=79425 IDSOLVER=1205 FILE ID=node104/2700405-1278535496 PBS_JOBID= 11239269 Free space on /tmp= 73604 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh220_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700405-1278535496/watcher-2700405-1278535496 -o /tmp/evaluation-result-2700405-1278535496/solver-2700405-1278535496 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700405-1278535496.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 862c57b9a103de4e976a73e17aca1258 RANDOM SEED=241082697 node104.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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 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.75 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29387256 kB Buffers: 129280 kB Cached: 2471832 kB SwapCached: 0 kB Active: 1693724 kB Inactive: 1724404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29387256 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6244 kB Writeback: 0 kB AnonPages: 817552 kB Mapped: 17016 kB Slab: 80016 kB PageTables: 6296 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 966212 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= 73600 MiB End job on node104 at 2010-07-07 22:52:55