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) | 1802.12 | 1802.11 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo |
| MD5SUM | de59a4d263badb761d8b1cfdb0f0d5d5 |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 0.008998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 120 |
| Total number of constraints | 354 |
| Number of soft constraints | 324 |
| Number of constraints which are clauses | 324 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Top cost | 82 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 324 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-2700608-1278535787.wbo>
0.00/0.00 c original problem has 768 variables (444 bin, 0 int, 0 impl, 324 cont) and 679 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 324 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 324 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 324 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 324 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/444 (22.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 0 deleted vars, 0 deleted constraints, 324 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 324 implications, 30 cliques
0.00/0.02 c presolved problem has 768 variables (444 bin, 0 int, 0 impl, 324 cont) and 679 constraints
0.00/0.02 c 324 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 324 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 30 | - |2617k| 0 | 0 | 768 | 679 | 768 | 31 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 111 | - |2655k| 0 | 0 | 768 | 679 | 768 | 112 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 2 | 111 | - |2656k| 0 | 0 | 768 | 679 | 768 | 112 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
0.40/0.40 o 7
0.40/0.40 c * 0.4s| 696 | 591 | 529 | 0.6 |3336k| 292 | - | 768 | 684 | 768 | 158 | 183 | 5 | 366 | 0.000000e+00 | 7.000000e+00 | Inf
1.39/1.41 o 6
1.39/1.41 c * 1.3s| 2956 | 2662 | 2241 | 0.7 |4953k| 292 | - | 768 | 776 | 768 | 132 | 574 | 97 | 643 | 0.000000e+00 | 6.000000e+00 | Inf
1.39/1.45 o 5
1.39/1.45 c * 1.3s| 3028 | 2538 | 2411 | 0.8 |4897k| 292 | - | 768 | 815 | 768 | 130 | 594 | 136 | 655 | 0.000000e+00 | 5.000000e+00 | Inf
4.90/4.95 c 4.4s| 10000 | 7436 | 10806 | 1.1 | 11M| 292 | 0 | 768 |2730 | 768 | 134 |2988 |3293 | 799 | 0.000000e+00 | 5.000000e+00 | Inf
9.89/9.97 c 8.9s| 20000 | 14107 | 19474 | 1.0 | 23M| 292 | 0 | 768 |3033 | 768 | 137 |5655 |8117 | 977 | 0.000000e+00 | 5.000000e+00 | Inf
14.89/14.97 c 13.3s| 30000 | 20935 | 26630 | 0.9 | 35M| 292 | 0 | 768 |3433 | 768 | 131 |7754 | 12k|1156 | 0.000000e+00 | 5.000000e+00 | Inf
19.20/19.24 o 4
19.20/19.24 c *17.1s| 38211 | 17174 | 34300 | 0.9 | 28M| 292 | - | 768 |3448 | 768 | 138 |9936 | 16k|1349 | 0.000000e+00 | 4.000000e+00 | Inf
20.19/20.25 c 18.0s| 40000 | 18234 | 36055 | 0.9 | 30M| 292 | 6 | 768 |3409 | 768 | 126 | 10k| 17k|1403 | 0.000000e+00 | 4.000000e+00 | Inf
25.59/25.64 c 22.8s| 50000 | 24592 | 45382 | 0.9 | 41M| 292 | 0 | 768 |3719 | 768 | 140 | 13k| 22k|1517 | 0.000000e+00 | 4.000000e+00 | Inf
31.19/31.22 c 27.8s| 60000 | 30428 | 54586 | 0.9 | 53M| 292 | 0 | 768 |3956 | 768 | 131 | 16k| 27k|1646 | 0.000000e+00 | 4.000000e+00 | Inf
36.79/36.88 c 32.8s| 70000 | 36133 | 63550 | 0.9 | 66M| 292 | 0 | 768 |4885 | 768 | 144 | 18k| 33k|1780 | 0.000000e+00 | 4.000000e+00 | Inf
42.60/42.62 c 38.0s| 80000 | 41725 | 73091 | 0.9 | 77M| 292 | - | 768 |4508 | 0 | 0 | 21k| 38k|1929 | 0.000000e+00 | 4.000000e+00 | Inf
48.40/48.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.40/48.45 c 43.2s| 90000 | 47200 | 82062 | 0.9 | 88M| 292 | 0 | 768 |5109 | 768 | 138 | 24k| 44k|2042 | 0.000000e+00 | 4.000000e+00 | Inf
54.29/54.33 c 48.5s|100000 | 52639 | 90675 | 0.9 | 101M| 292 | 0 | 768 |5511 | 768 | 132 | 26k| 49k|2126 | 0.000000e+00 | 4.000000e+00 | Inf
60.40/60.47 c 54.0s|110000 | 57776 |100199 | 0.9 | 114M| 292 | 0 | 768 |5287 | 768 | 139 | 29k| 55k|2258 | 0.000000e+00 | 4.000000e+00 | Inf
66.39/66.49 c 59.5s|120000 | 63228 |109598 | 0.9 | 126M| 292 | 0 | 768 |5454 | 768 | 139 | 32k| 61k|2363 | 0.000000e+00 | 4.000000e+00 | Inf
72.60/72.60 c 65.0s|130000 | 68433 |119148 | 0.9 | 138M| 292 | 0 | 768 |6206 | 768 | 145 | 35k| 67k|2522 | 0.000000e+00 | 4.000000e+00 | Inf
78.69/78.71 c 70.5s|140000 | 73689 |127978 | 0.9 | 150M| 292 | 0 | 768 |5556 | 768 | 144 | 37k| 73k|2626 | 0.000000e+00 | 4.000000e+00 | Inf
84.79/84.80 c 76.0s|150000 | 78969 |137918 | 0.9 | 162M| 292 | 0 | 768 |5561 | 768 | 144 | 40k| 79k|2729 | 0.000000e+00 | 4.000000e+00 | Inf
91.09/91.12 c 81.7s|160000 | 83902 |147244 | 0.9 | 174M| 292 | 0 | 768 |5539 | 768 | 147 | 43k| 85k|2835 | 0.000000e+00 | 4.000000e+00 | Inf
97.19/97.20 c 87.2s|170000 | 88966 |156574 | 0.9 | 185M| 292 | 0 | 768 |5849 | 768 | 131 | 46k| 92k|2902 | 0.000000e+00 | 4.000000e+00 | Inf
103.49/103.53 c 92.9s|180000 | 93968 |166273 | 0.9 | 197M| 292 | 0 | 768 |5987 | 768 | 142 | 48k| 99k|2993 | 0.000000e+00 | 4.000000e+00 | Inf
109.79/109.89 c 98.7s|190000 | 98932 |174936 | 0.9 | 208M| 292 | 0 | 768 |6371 | 768 | 139 | 51k| 105k|3056 | 0.000000e+00 | 4.000000e+00 | Inf
116.19/116.28 c 104s|200000 |104183 |184396 | 0.9 | 221M| 292 | 0 | 768 |6290 | 768 | 141 | 54k| 111k|3134 | 0.000000e+00 | 4.000000e+00 | Inf
122.49/122.57 c 110s|210000 |109319 |194163 | 0.9 | 231M| 292 | 0 | 768 |6469 | 768 | 140 | 56k| 117k|3204 | 0.000000e+00 | 4.000000e+00 | Inf
128.80/128.86 c 116s|220000 |114380 |204132 | 0.9 | 243M| 292 | 0 | 768 |6682 | 768 | 137 | 59k| 123k|3291 | 0.000000e+00 | 4.000000e+00 | Inf
135.20/135.24 c 122s|230000 |119372 |213468 | 0.9 | 255M| 292 | - | 768 |7215 | 0 | 0 | 62k| 129k|3339 | 0.000000e+00 | 4.000000e+00 | Inf
141.59/141.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.59/141.69 c 127s|240000 |124119 |223431 | 0.9 | 266M| 292 | 0 | 768 |7286 | 768 | 130 | 65k| 136k|3416 | 0.000000e+00 | 4.000000e+00 | Inf
148.19/148.25 c 133s|250000 |128883 |233240 | 0.9 | 278M| 292 | 0 | 768 |7521 | 768 | 134 | 68k| 143k|3489 | 0.000000e+00 | 4.000000e+00 | Inf
154.49/154.51 c 139s|260000 |133852 |242497 | 0.9 | 290M| 292 | 0 | 768 |7936 | 768 | 132 | 70k| 150k|3537 | 0.000000e+00 | 4.000000e+00 | Inf
161.19/161.23 c 145s|270000 |138169 |252310 | 0.9 | 301M| 292 | - | 768 |7890 | 0 | 0 | 73k| 157k|3566 | 0.000000e+00 | 4.000000e+00 | Inf
167.99/168.01 c 151s|280000 |142715 |262492 | 0.9 | 313M| 292 | - | 768 |8172 | 0 | 0 | 76k| 164k|3661 | 0.000000e+00 | 4.000000e+00 | Inf
174.69/174.75 c 157s|290000 |147392 |271633 | 0.9 | 324M| 292 | 0 | 768 |8614 | 768 | 137 | 78k| 171k|3716 | 0.000000e+00 | 4.000000e+00 | Inf
181.29/181.37 c 163s|300000 |152302 |281519 | 0.9 | 336M| 292 | - | 768 |8787 | 0 | 0 | 81k| 177k|3772 | 0.000000e+00 | 4.000000e+00 | Inf
188.00/188.03 c 170s|310000 |157327 |290849 | 0.9 | 348M| 292 | 0 | 768 |8989 | 768 | 136 | 84k| 184k|3827 | 0.000000e+00 | 4.000000e+00 | Inf
194.90/194.94 c 176s|320000 |161775 |300045 | 0.9 | 361M| 292 | 0 | 768 |9343 | 768 | 136 | 86k| 191k|3890 | 0.000000e+00 | 4.000000e+00 | Inf
201.89/201.97 c 182s|330000 |166288 |310063 | 0.9 | 373M| 292 | 0 | 768 |8917 | 768 | 135 | 89k| 198k|3960 | 0.000000e+00 | 4.000000e+00 | Inf
208.99/209.01 c 189s|340000 |170763 |320013 | 0.9 | 384M| 292 | 0 | 768 |9524 | 768 | 138 | 91k| 205k|4023 | 0.000000e+00 | 4.000000e+00 | Inf
216.09/216.10 c 195s|350000 |175014 |330096 | 0.9 | 397M| 292 | - | 768 | 10k| 0 | 0 | 94k| 212k|4132 | 0.000000e+00 | 4.000000e+00 | Inf
223.30/223.34 c 202s|360000 |179257 |340641 | 0.9 | 409M| 292 | 0 | 768 | 10k| 768 | 136 | 97k| 220k|4143 | 0.000000e+00 | 4.000000e+00 | Inf
230.29/230.31 c 208s|370000 |184022 |351713 | 1.0 | 421M| 292 | 0 | 768 | 10k| 768 | 135 | 100k| 227k|4191 | 0.000000e+00 | 4.000000e+00 | Inf
237.09/237.18 c 214s|380000 |188811 |362166 | 1.0 | 432M| 292 | 0 | 768 | 10k| 768 | 136 | 103k| 234k|4292 | 0.000000e+00 | 4.000000e+00 | Inf
244.20/244.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.20/244.28 c 221s|390000 |193497 |372124 | 1.0 | 445M| 292 | 0 | 768 | 10k| 768 | 136 | 105k| 241k|4344 | 0.000000e+00 | 4.000000e+00 | Inf
251.09/251.16 c 227s|400000 |198484 |381822 | 1.0 | 457M| 292 | - | 768 | 10k| 0 | 0 | 108k| 247k|4402 | 0.000000e+00 | 4.000000e+00 | Inf
258.59/258.62 c 234s|410000 |202971 |392571 | 1.0 | 470M| 292 | 0 | 768 | 11k| 768 | 137 | 111k| 255k|4482 | 0.000000e+00 | 4.000000e+00 | Inf
265.59/265.61 c 240s|420000 |207702 |402451 | 1.0 | 483M| 292 | 0 | 768 | 11k| 768 | 129 | 114k| 262k|4551 | 0.000000e+00 | 4.000000e+00 | Inf
272.29/272.36 c 246s|430000 |212994 |412260 | 1.0 | 495M| 292 | - | 768 | 11k| 0 | 0 | 116k| 269k|4580 | 0.000000e+00 | 4.000000e+00 | Inf
278.59/278.67 c 252s|440000 |218423 |420807 | 1.0 | 509M| 292 | 0 | 768 | 11k| 768 | 149 | 118k| 275k|4618 | 0.000000e+00 | 4.000000e+00 | Inf
285.50/285.51 c 258s|450000 |223434 |430216 | 1.0 | 521M| 292 | 0 | 768 | 11k| 768 | 132 | 121k| 282k|4685 | 0.000000e+00 | 4.000000e+00 | Inf
292.69/292.70 c 265s|460000 |228387 |441018 | 1.0 | 534M| 292 | 0 | 768 | 11k| 768 | 145 | 124k| 289k|4746 | 0.000000e+00 | 4.000000e+00 | Inf
299.20/299.28 c 271s|470000 |233700 |452174 | 1.0 | 545M| 292 | 0 | 768 | 11k| 768 | 143 | 126k| 295k|4792 | 0.000000e+00 | 4.000000e+00 | Inf
305.20/305.23 c 276s|480000 |239625 |462635 | 1.0 | 556M| 292 | - | 768 |8068 | 0 | 0 | 129k| 300k|5066 | 1.000000e+00 | 4.000000e+00 | 300.00%
311.70/311.75 c 282s|490000 |244211 |470419 | 1.0 | 566M| 292 | 0 | 768 |9346 | 768 | 138 | 131k| 306k|5154 | 1.000000e+00 | 4.000000e+00 | 300.00%
319.29/319.39 c 289s|500000 |247444 |476131 | 1.0 | 576M| 292 | - | 768 |9994 | 0 | 0 | 133k| 313k|5158 | 1.000000e+00 | 4.000000e+00 | 300.00%
326.40/326.49 c 296s|510000 |251308 |485293 | 1.0 | 585M| 292 | - | 768 |9795 | 0 | 0 | 135k| 322k|5418 | 1.000000e+00 | 4.000000e+00 | 300.00%
333.49/333.51 c 302s|520000 |255485 |491642 | 0.9 | 597M| 292 | 0 | 768 | 10k| 768 | 134 | 137k| 328k|5418 | 1.000000e+00 | 4.000000e+00 | 300.00%
341.01/341.09 c 309s|530000 |259322 |497326 | 0.9 | 609M| 292 | 0 | 768 | 11k| 768 | 145 | 139k| 334k|5419 | 1.000000e+00 | 4.000000e+00 | 300.00%
349.30/349.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.30/349.33 c 317s|540000 |262824 |502243 | 0.9 | 623M| 292 | - | 768 | 11k| 0 | 0 | 140k| 342k|5429 | 1.000000e+00 | 4.000000e+00 | 300.00%
357.90/357.94 c 325s|550000 |265659 |509546 | 0.9 | 634M| 292 | - | 768 | 11k| 0 | 0 | 142k| 350k|5437 | 1.000000e+00 | 4.000000e+00 | 300.00%
365.59/365.66 c 332s|560000 |269390 |521419 | 0.9 | 646M| 292 | 0 | 768 | 11k| 768 | 136 | 146k| 358k|5563 | 1.000000e+00 | 4.000000e+00 | 300.00%
373.59/373.63 c 339s|570000 |273552 |531678 | 0.9 | 658M| 292 | 0 | 768 | 11k| 768 | 143 | 149k| 365k|5566 | 1.000000e+00 | 4.000000e+00 | 300.00%
382.00/382.00 c 347s|580000 |277353 |543366 | 0.9 | 670M| 292 | 0 | 768 | 12k| 768 | 152 | 152k| 373k|5568 | 1.000000e+00 | 4.000000e+00 | 300.00%
390.51/390.51 c 355s|590000 |280976 |556385 | 0.9 | 681M| 292 | 0 | 768 | 12k| 768 | 135 | 156k| 381k|5584 | 1.000000e+00 | 4.000000e+00 | 300.00%
399.59/399.67 c 363s|600000 |284275 |568977 | 0.9 | 693M| 292 | 0 | 768 | 13k| 768 | 153 | 160k| 390k|5622 | 1.000000e+00 | 4.000000e+00 | 300.00%
409.50/409.56 c 372s|610000 |287234 |581058 | 1.0 | 704M| 292 | 0 | 768 | 13k| 768 | 138 | 163k| 399k|5673 | 1.000000e+00 | 4.000000e+00 | 300.00%
419.39/419.48 c 382s|620000 |290229 |592412 | 1.0 | 715M| 292 | - | 768 | 14k| 0 | 0 | 167k| 407k|5718 | 1.000000e+00 | 4.000000e+00 | 300.00%
429.40/429.45 c 391s|630000 |293350 |603252 | 1.0 | 726M| 292 | 0 | 768 | 14k| 768 | 142 | 170k| 416k|5769 | 1.000000e+00 | 4.000000e+00 | 300.00%
438.70/438.80 c 400s|640000 |296687 |615364 | 1.0 | 737M| 292 | - | 768 | 13k| 0 | 0 | 173k| 424k|5786 | 1.000000e+00 | 4.000000e+00 | 300.00%
448.20/448.21 c 408s|650000 |299961 |628622 | 1.0 | 748M| 292 | - | 768 | 13k| 0 | 0 | 178k| 432k|5901 | 1.000000e+00 | 4.000000e+00 | 300.00%
457.00/457.08 c 417s|660000 |303217 |642143 | 1.0 | 758M| 292 | 0 | 768 | 12k| 768 | 133 | 182k| 440k|5990 | 1.000000e+00 | 4.000000e+00 | 300.00%
466.20/466.29 c 425s|670000 |306439 |655836 | 1.0 | 769M| 292 | - | 768 | 14k| 0 | 0 | 186k| 448k|6031 | 1.000000e+00 | 4.000000e+00 | 300.00%
475.40/475.45 c 434s|680000 |309761 |668347 | 1.0 | 780M| 292 | - | 768 | 14k| 0 | 0 | 189k| 456k|6105 | 1.000000e+00 | 4.000000e+00 | 300.00%
485.50/485.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.50/485.51 c 443s|690000 |312683 |680285 | 1.0 | 792M| 292 | 0 | 768 | 15k| 768 | 135 | 193k| 465k|6148 | 1.000000e+00 | 4.000000e+00 | 300.00%
495.10/495.15 c 452s|700000 |315928 |692268 | 1.0 | 804M| 292 | - | 768 | 15k| 0 | 0 | 196k| 473k|6204 | 1.000000e+00 | 4.000000e+00 | 300.00%
504.99/505.09 c 461s|710000 |319211 |703300 | 1.0 | 814M| 292 | 0 | 768 | 15k| 768 | 138 | 199k| 482k|6260 | 1.000000e+00 | 4.000000e+00 | 300.00%
515.19/515.24 c 471s|720000 |322231 |715683 | 1.0 | 824M| 292 | 0 | 768 | 15k| 768 | 129 | 203k| 490k|6309 | 1.000000e+00 | 4.000000e+00 | 300.00%
525.50/525.57 c 481s|730000 |325207 |727585 | 1.0 | 834M| 292 | - | 768 | 15k| 768 | 139 | 206k| 498k|6348 | 1.000000e+00 | 4.000000e+00 | 300.00%
535.60/535.67 c 490s|740000 |328373 |740562 | 1.0 | 845M| 292 | 0 | 768 | 15k| 768 | 144 | 209k| 507k|6398 | 1.000000e+00 | 4.000000e+00 | 300.00%
544.99/545.07 c 499s|750000 |331737 |753637 | 1.0 | 856M| 292 | 0 | 768 | 14k| 768 | 141 | 213k| 514k|6468 | 1.000000e+00 | 4.000000e+00 | 300.00%
554.69/554.72 c 508s|760000 |335019 |764284 | 1.0 | 866M| 292 | - | 768 | 15k| 0 | 0 | 215k| 522k|6579 | 1.000000e+00 | 4.000000e+00 | 300.00%
565.40/565.46 c 518s|770000 |337924 |774161 | 1.0 | 876M| 292 | - | 768 | 16k| 0 | 0 | 218k| 531k|6599 | 1.000000e+00 | 4.000000e+00 | 300.00%
576.50/576.56 c 528s|780000 |340522 |785302 | 1.0 | 888M| 292 | 0 | 768 | 17k| 768 | 132 | 221k| 540k|6649 | 1.000000e+00 | 4.000000e+00 | 300.00%
587.60/587.63 c 539s|790000 |343258 |796249 | 1.0 | 898M| 292 | - | 768 | 17k| 0 | 0 | 224k| 549k|6689 | 1.000000e+00 | 4.000000e+00 | 300.00%
599.30/599.30 c 550s|800000 |345520 |808328 | 1.0 | 910M| 292 | 0 | 768 | 17k| 768 | 145 | 227k| 559k|6733 | 1.000000e+00 | 4.000000e+00 | 300.00%
611.60/611.63 c 561s|810000 |348056 |819619 | 1.0 | 921M| 292 | 0 | 768 | 18k| 768 | 142 | 230k| 568k|6766 | 1.000000e+00 | 4.000000e+00 | 300.00%
622.80/622.89 c 572s|820000 |350800 |831135 | 1.0 | 932M| 292 | 0 | 768 | 18k| 768 | 150 | 233k| 576k|6815 | 1.000000e+00 | 4.000000e+00 | 300.00%
634.20/634.20 c 583s|830000 |353407 |842595 | 1.0 | 944M| 292 | - | 768 | 18k| 0 | 0 | 236k| 586k|6862 | 1.000000e+00 | 4.000000e+00 | 300.00%
644.80/644.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.80/644.85 c 593s|840000 |356467 |854113 | 1.0 | 957M| 292 | - | 768 | 18k| 0 | 0 | 239k| 595k|6917 | 1.000000e+00 | 4.000000e+00 | 300.00%
656.09/656.14 c 603s|850000 |359398 |866444 | 1.0 | 970M| 292 | 0 | 768 | 18k| 768 | 146 | 243k| 604k|6957 | 1.000000e+00 | 4.000000e+00 | 300.00%
668.60/668.65 c 615s|860000 |361823 |879114 | 1.0 | 982M| 292 | 0 | 768 | 18k| 768 | 142 | 246k| 613k|7002 | 1.000000e+00 | 4.000000e+00 | 300.00%
679.60/679.70 c 626s|870000 |364848 |891504 | 1.0 | 994M| 292 | 0 | 768 | 18k| 768 | 131 | 249k| 621k|7045 | 1.000000e+00 | 4.000000e+00 | 300.00%
690.60/690.63 c 636s|880000 |367920 |903332 | 1.0 |1007M| 292 | - | 768 | 18k| 0 | 0 | 252k| 630k|7101 | 1.000000e+00 | 4.000000e+00 | 300.00%
701.81/701.82 c 646s|890000 |370901 |915877 | 1.0 |1020M| 292 | - | 768 | 19k| 0 | 0 | 255k| 639k|7138 | 1.000000e+00 | 4.000000e+00 | 300.00%
714.40/714.44 c 658s|900000 |373412 |927949 | 1.0 |1033M| 292 | 8 | 768 | 19k| 768 | 139 | 257k| 648k|7191 | 1.000000e+00 | 4.000000e+00 | 300.00%
725.80/725.84 c 669s|910000 |376344 |940872 | 1.0 |1045M| 292 | 0 | 768 | 17k| 768 | 130 | 261k| 657k|7324 | 1.000000e+00 | 4.000000e+00 | 300.00%
737.30/737.39 c 680s|920000 |379086 |951989 | 1.0 |1058M| 292 | 0 | 768 | 19k| 768 | 138 | 264k| 665k|7328 | 1.000000e+00 | 4.000000e+00 | 300.00%
750.30/750.39 c 692s|930000 |381454 |962702 | 1.0 |1072M| 292 | 0 | 768 | 19k| 768 | 133 | 266k| 675k|7368 | 1.000000e+00 | 4.000000e+00 | 300.00%
763.41/763.48 c 705s|940000 |383596 |974370 | 1.0 |1084M| 292 | 0 | 768 | 19k| 768 | 140 | 269k| 685k|7412 | 1.000000e+00 | 4.000000e+00 | 300.00%
775.10/775.11 c 716s|950000 |386051 |986068 | 1.0 |1095M| 292 | 0 | 768 | 19k| 768 | 153 | 272k| 694k|7453 | 1.000000e+00 | 4.000000e+00 | 300.00%
786.90/786.99 c 727s|960000 |388648 |998618 | 1.0 |1107M| 292 | 0 | 768 | 18k| 768 | 129 | 275k| 702k|7499 | 1.000000e+00 | 4.000000e+00 | 300.00%
798.50/798.56 c 738s|970000 |391417 | 1010k| 1.0 |1119M| 292 | - | 768 | 19k| 0 | 0 | 278k| 711k|7541 | 1.000000e+00 | 4.000000e+00 | 300.00%
809.30/809.35 c 748s|980000 |394402 | 1022k| 1.0 |1130M| 292 | - | 768 | 18k| 0 | 0 | 281k| 719k|7613 | 1.000000e+00 | 4.000000e+00 | 300.00%
818.80/818.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.80/818.82 c 757s|990000 |397703 | 1035k| 1.0 |1140M| 292 | 0 | 768 | 12k| 768 | 135 | 284k| 727k|7655 | 1.000000e+00 | 4.000000e+00 | 300.00%
827.40/827.45 c 765s| 1000k|400891 | 1047k| 1.0 |1151M| 292 | - | 768 | 10k| 0 | 0 | 288k| 734k|7692 | 1.000000e+00 | 4.000000e+00 | 300.00%
836.30/836.33 c 773s| 1010k|403902 | 1058k| 1.0 |1165M| 292 | - | 768 | 10k| 0 | 0 | 290k| 743k|7741 | 1.000000e+00 | 4.000000e+00 | 300.00%
845.30/845.30 c 781s| 1020k|406510 | 1070k| 1.0 |1177M| 292 | 0 | 768 | 10k| 768 | 129 | 293k| 752k|7834 | 1.000000e+00 | 4.000000e+00 | 300.00%
852.51/852.53 c 788s| 1030k|410236 | 1084k| 1.1 |1187M| 292 | 0 | 768 |4702 | 768 | 140 | 297k| 759k|7944 | 1.000000e+00 | 4.000000e+00 | 300.00%
859.51/859.58 c 794s| 1040k|414037 | 1095k| 1.1 |1201M| 292 | - | 768 |5561 | 0 | 0 | 300k| 767k|7959 | 1.000000e+00 | 4.000000e+00 | 300.00%
866.90/866.97 c 801s| 1050k|417404 | 1107k| 1.1 |1214M| 292 | 0 | 768 |6042 | 768 | 133 | 302k| 775k|7999 | 1.000000e+00 | 4.000000e+00 | 300.00%
874.30/874.40 c 808s| 1060k|420642 | 1119k| 1.1 |1226M| 292 | 0 | 768 |5879 | 768 | 138 | 306k| 783k|8030 | 1.000000e+00 | 4.000000e+00 | 300.00%
881.80/881.84 c 815s| 1070k|424179 | 1131k| 1.1 |1238M| 292 | 0 | 768 |4240 | 768 | 128 | 309k| 791k|8098 | 1.000000e+00 | 4.000000e+00 | 300.00%
888.11/888.13 c 820s| 1080k|428832 | 1143k| 1.1 |1250M| 292 | 0 | 768 |3674 | 768 | 133 | 313k| 797k|8138 | 1.000000e+00 | 4.000000e+00 | 300.00%
895.00/895.05 c 827s| 1090k|432276 | 1154k| 1.1 |1262M| 292 | - | 768 |5298 | 0 | 0 | 315k| 805k|8182 | 1.000000e+00 | 4.000000e+00 | 300.00%
902.30/902.40 c 833s| 1100k|435320 | 1165k| 1.1 |1274M| 292 | 0 | 768 |5180 | 768 | 143 | 318k| 813k|8220 | 1.000000e+00 | 4.000000e+00 | 300.00%
909.80/909.84 c 840s| 1110k|438279 | 1176k| 1.1 |1287M| 292 | - | 768 |5975 | 0 | 0 | 320k| 821k|8248 | 1.000000e+00 | 4.000000e+00 | 300.00%
917.50/917.54 c 847s| 1120k|440988 | 1188k| 1.1 |1299M| 292 | 0 | 768 |5508 | 768 | 133 | 323k| 830k|8291 | 1.000000e+00 | 4.000000e+00 | 300.00%
924.91/924.95 c 854s| 1130k|443971 | 1199k| 1.1 |1310M| 292 | 0 | 768 |5445 | 768 | 134 | 326k| 838k|8324 | 1.000000e+00 | 4.000000e+00 | 300.00%
932.00/932.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.00/932.00 c 860s| 1140k|447549 | 1210k| 1.1 |1323M| 292 | - | 768 |5388 | 0 | 0 | 329k| 845k|8365 | 1.000000e+00 | 4.000000e+00 | 300.00%
938.80/938.89 c 867s| 1150k|451697 | 1221k| 1.1 |1335M| 292 | 0 | 768 |5286 | 768 | 130 | 332k| 851k|8398 | 1.000000e+00 | 4.000000e+00 | 300.00%
945.60/945.60 c 873s| 1160k|456156 | 1232k| 1.1 |1346M| 292 | - | 768 |6319 | 0 | 0 | 336k| 858k|8418 | 1.000000e+00 | 4.000000e+00 | 300.00%
952.30/952.34 c 879s| 1170k|460528 | 1243k| 1.1 |1360M| 292 | 0 | 768 |5556 | 768 | 123 | 339k| 864k|8446 | 1.000000e+00 | 4.000000e+00 | 300.00%
959.10/959.19 c 885s| 1180k|465154 | 1254k| 1.1 |1372M| 292 | - | 768 |6872 | 0 | 0 | 342k| 870k|8504 | 1.000000e+00 | 4.000000e+00 | 300.00%
966.00/966.08 c 891s| 1190k|469337 | 1264k| 1.1 |1384M| 292 | 0 | 768 |6389 | 768 | 137 | 345k| 876k|8548 | 1.000000e+00 | 4.000000e+00 | 300.00%
973.51/973.56 c 898s| 1200k|472743 | 1275k| 1.1 |1396M| 292 | 0 | 768 |7438 | 768 | 139 | 348k| 884k|8568 | 1.000000e+00 | 4.000000e+00 | 300.00%
981.50/981.51 c 905s| 1210k|475569 | 1285k| 1.1 |1409M| 292 | 0 | 768 |7875 | 768 | 132 | 350k| 892k|8599 | 1.000000e+00 | 4.000000e+00 | 300.00%
989.50/989.54 c 913s| 1220k|478506 | 1296k| 1.1 |1421M| 292 | 0 | 768 |8565 | 768 | 136 | 354k| 901k|8632 | 1.000000e+00 | 4.000000e+00 | 300.00%
997.40/997.45 c 920s| 1230k|481782 | 1307k| 1.1 |1434M| 292 | - | 768 |8629 | 0 | 0 | 357k| 909k|8664 | 1.000000e+00 | 4.000000e+00 | 300.00%
1005.80/1005.80 c 928s| 1240k|484580 | 1317k| 1.1 |1447M| 292 | 0 | 768 |9061 | 768 | 136 | 359k| 918k|8695 | 1.000000e+00 | 4.000000e+00 | 300.00%
1014.21/1014.27 c 936s| 1250k|487395 | 1328k| 1.1 |1461M| 292 | 0 | 768 |9141 | 768 | 144 | 362k| 927k|8743 | 1.000000e+00 | 4.000000e+00 | 300.00%
1022.50/1022.51 c 943s| 1260k|490462 | 1339k| 1.1 |1473M| 292 | 0 | 768 |8279 | 768 | 141 | 365k| 935k|8772 | 1.000000e+00 | 4.000000e+00 | 300.00%
1030.50/1030.57 c 951s| 1270k|493371 | 1349k| 1.1 |1484M| 292 | 0 | 768 |8419 | 768 | 141 | 368k| 944k|8809 | 1.000000e+00 | 4.000000e+00 | 300.00%
1038.60/1038.67 c 958s| 1280k|496416 | 1360k| 1.1 |1497M| 292 | - | 768 |8895 | 0 | 0 | 371k| 952k|8849 | 1.000000e+00 | 4.000000e+00 | 300.00%
1046.80/1046.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.80/1046.88 c 966s| 1290k|499317 | 1370k| 1.1 |1509M| 292 | 0 | 768 |9642 | 768 | 165 | 374k| 961k|8874 | 1.000000e+00 | 4.000000e+00 | 300.00%
1055.30/1055.37 c 974s| 1300k|502074 | 1381k| 1.1 |1521M| 292 | - | 768 |9541 | 0 | 0 | 377k| 970k|8914 | 1.000000e+00 | 4.000000e+00 | 300.00%
1063.20/1063.26 c 981s| 1310k|505510 | 1392k| 1.1 |1531M| 292 | 0 | 768 |8057 | 768 | 135 | 380k| 978k|8935 | 1.000000e+00 | 4.000000e+00 | 300.00%
1069.90/1069.97 c 987s| 1320k|510162 | 1405k| 1.1 |1543M| 292 | - | 768 |6943 | 0 | 0 | 383k| 984k|9001 | 1.000000e+00 | 4.000000e+00 | 300.00%
1078.20/1078.26 c 994s| 1330k|513172 | 1415k| 1.1 |1556M| 292 | - | 768 |9145 | 0 | 0 | 386k| 992k|9013 | 1.000000e+00 | 4.000000e+00 | 300.00%
1086.70/1086.72 c 1002s| 1340k|515696 | 1424k| 1.1 |1568M| 292 | - | 768 |8832 | 0 | 0 | 388k|1001k|9046 | 1.000000e+00 | 4.000000e+00 | 300.00%
1095.30/1095.37 c 1010s| 1350k|518084 | 1433k| 1.1 |1581M| 292 | - | 768 |8748 | 0 | 0 | 390k|1010k|9076 | 1.000000e+00 | 4.000000e+00 | 300.00%
1102.80/1102.85 c 1017s| 1360k|522119 | 1445k| 1.1 |1594M| 292 | 0 | 768 |7255 | 768 | 129 | 394k|1017k|9123 | 1.000000e+00 | 4.000000e+00 | 300.00%
1110.10/1110.19 c 1024s| 1370k|526152 | 1456k| 1.1 |1606M| 292 | 0 | 768 |7302 | 768 | 129 | 397k|1024k|9128 | 1.000000e+00 | 4.000000e+00 | 300.00%
1118.00/1118.03 c 1031s| 1380k|529323 | 1466k| 1.1 |1619M| 292 | 0 | 768 |8012 | 768 | 141 | 400k|1032k|9172 | 1.000000e+00 | 4.000000e+00 | 300.00%
1125.90/1125.93 c 1038s| 1390k|532491 | 1476k| 1.1 |1630M| 292 | 0 | 768 |8483 | 768 | 133 | 403k|1040k|9192 | 1.000000e+00 | 4.000000e+00 | 300.00%
1134.31/1134.35 c 1046s| 1400k|534941 | 1484k| 1.1 |1641M| 292 | - | 768 |7749 | 0 | 0 | 405k|1049k|9216 | 1.000000e+00 | 4.000000e+00 | 300.00%
1142.70/1142.71 c 1054s| 1410k|537387 | 1494k| 1.1 |1653M| 292 | 0 | 768 |8604 | 768 | 138 | 408k|1058k|9247 | 1.000000e+00 | 4.000000e+00 | 300.00%
1150.61/1150.68 c 1061s| 1420k|540688 | 1505k| 1.1 |1664M| 292 | 0 | 768 |7402 | 768 | 130 | 411k|1066k|9290 | 1.000000e+00 | 4.000000e+00 | 300.00%
1158.20/1158.29 c 1068s| 1430k|544260 | 1515k| 1.1 |1676M| 292 | 0 | 768 |7281 | 768 | 140 | 413k|1073k|9308 | 1.000000e+00 | 4.000000e+00 | 300.00%
1165.10/1165.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.10/1165.14 c 1074s| 1440k|549112 | 1527k| 1.1 |1689M| 292 | 0 | 768 |8115 | 768 | 126 | 417k|1078k|9368 | 1.000000e+00 | 4.000000e+00 | 300.00%
1172.40/1172.49 c 1081s| 1450k|553388 | 1539k| 1.1 |1701M| 292 | - | 768 |7478 | 0 | 0 | 421k|1085k|9389 | 1.000000e+00 | 4.000000e+00 | 300.00%
1180.20/1180.25 c 1088s| 1460k|556750 | 1550k| 1.1 |1712M| 292 | 0 | 768 |7869 | 768 | 138 | 424k|1092k|9428 | 1.000000e+00 | 4.000000e+00 | 300.00%
1188.70/1188.72 c 1096s| 1470k|559240 | 1559k| 1.1 |1724M| 292 | 0 | 768 |9107 | 768 | 131 | 426k|1101k|9445 | 1.000000e+00 | 4.000000e+00 | 300.00%
1197.20/1197.26 c 1104s| 1480k|561950 | 1568k| 1.1 |1739M| 292 | - | 768 |8982 | 0 | 0 | 429k|1110k|9488 | 1.000000e+00 | 4.000000e+00 | 300.00%
1205.80/1205.87 c 1112s| 1490k|564425 | 1578k| 1.1 |1752M| 292 | 0 | 768 |8800 | 768 | 144 | 431k|1120k|9496 | 1.000000e+00 | 4.000000e+00 | 300.00%
1214.30/1214.36 c 1120s| 1500k|567171 | 1589k| 1.1 |1766M| 292 | 0 | 768 |7930 | 768 | 137 | 434k|1129k|9539 | 1.000000e+00 | 4.000000e+00 | 300.00%
1222.40/1222.49 c 1128s| 1510k|569901 | 1598k| 1.1 |1779M| 292 | 0 | 768 |8579 | 768 | 133 | 436k|1138k|9548 | 1.000000e+00 | 4.000000e+00 | 300.00%
1231.10/1231.17 c 1136s| 1520k|572215 | 1608k| 1.1 |1792M| 292 | 0 | 768 |8558 | 768 | 113 | 439k|1147k|9598 | 1.000000e+00 | 4.000000e+00 | 300.00%
1239.61/1239.67 c 1144s| 1530k|574759 | 1617k| 1.1 |1805M| 292 | 0 | 768 |8378 | 768 | 129 | 441k|1156k|9608 | 1.000000e+00 | 4.000000e+00 | 300.00%
1248.10/1248.17 c 1152s| 1540k|577491 | 1627k| 1.1 |1817M| 292 | - | 768 |8701 | 0 | 0 | 444k|1166k|9652 | 1.000000e+00 | 4.000000e+00 | 300.00%
1256.50/1256.52 c 1159s| 1550k|580305 | 1637k| 1.1 |1830M| 292 | 0 | 768 |8478 | 768 | 135 | 446k|1176k|9674 | 1.000000e+00 | 4.000000e+00 | 300.00%
1265.10/1265.15 c 1168s| 1560k|582712 | 1646k| 1.1 |1841M| 292 | 0 | 768 |6819 | 768 | 129 | 449k|1185k|9713 | 1.000000e+00 | 4.000000e+00 | 300.00%
1273.20/1273.27 c 1175s| 1570k|585580 | 1656k| 1.1 |1854M| 292 | 0 | 768 |7767 | 768 | 141 | 451k|1193k|9729 | 1.000000e+00 | 4.000000e+00 | 300.00%
1282.00/1282.08 c 1183s| 1580k|587821 | 1666k| 1.1 |1868M| 292 | - | 768 |7730 | 0 | 0 | 454k|1202k|9773 | 1.000000e+00 | 4.000000e+00 | 300.00%
1290.20/1290.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.20/1290.23 c 1191s| 1590k|590626 | 1677k| 1.1 |1879M| 292 | 0 | 768 |6970 | 768 | 134 | 456k|1211k|9807 | 1.000000e+00 | 4.000000e+00 | 300.00%
1298.40/1298.47 c 1199s| 1600k|593126 | 1687k| 1.1 |1892M| 292 | - | 768 |7315 | 0 | 0 | 459k|1220k|9825 | 1.000000e+00 | 4.000000e+00 | 300.00%
1306.60/1306.61 c 1206s| 1610k|596067 | 1698k| 1.1 |1906M| 292 | 0 | 768 |7236 | 768 | 146 | 462k|1229k|9863 | 1.000000e+00 | 4.000000e+00 | 300.00%
1314.70/1314.78 c 1214s| 1620k|598970 | 1707k| 1.1 |1921M| 292 | - | 768 |7458 | 0 | 0 | 464k|1237k|9879 | 1.000000e+00 | 4.000000e+00 | 300.00%
1323.00/1323.08 c 1222s| 1630k|601700 | 1717k| 1.1 |1934M| 292 | 0 | 768 |8009 | 768 | 141 | 467k|1246k|9932 | 1.000000e+00 | 4.000000e+00 | 300.00%
1331.60/1331.69 c 1230s| 1640k|604283 | 1727k| 1.1 |1949M| 292 | 0 | 768 |8570 | 768 | 134 | 469k|1255k|9935 | 1.000000e+00 | 4.000000e+00 | 300.00%
1340.00/1340.00 c 1238s| 1650k|606957 | 1737k| 1.1 |1961M| 292 | 0 | 768 |7981 | 768 | 129 | 472k|1264k|9950 | 1.000000e+00 | 4.000000e+00 | 300.00%
1348.10/1348.14 c 1245s| 1660k|609891 | 1747k| 1.1 |1975M| 292 | 0 | 768 |6894 | 768 | 123 | 474k|1272k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1356.30/1356.32 c 1253s| 1670k|612691 | 1758k| 1.1 |1987M| 292 | - | 768 |6901 | 0 | 0 | 477k|1280k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1364.80/1364.82 c 1261s| 1680k|615275 | 1768k| 1.1 |2000M| 292 | 0 | 768 |7991 | 768 | 147 | 480k|1289k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1373.51/1373.55 c 1269s| 1690k|617610 | 1777k| 1.1 |2013M| 292 | 0 | 768 |8068 | 768 | 143 | 482k|1298k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1382.20/1382.22 c 1277s| 1700k|619885 | 1786k| 1.1 |2026M| 292 | 0 | 768 |8290 | 768 | 144 | 484k|1308k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1390.90/1390.95 c 1286s| 1710k|622282 | 1796k| 1.1 |2040M| 292 | 0 | 768 |8631 | 768 | 143 | 486k|1318k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1399.40/1399.49 c 1294s| 1720k|624975 | 1806k| 1.0 |2055M| 292 | - | 768 |9287 | 0 | 0 | 489k|1328k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1408.11/1408.19 c 1302s| 1730k|627509 | 1815k| 1.0 |2068M| 292 | - | 768 |8631 | 0 | 0 | 491k|1337k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1416.51/1416.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.51/1416.57 c 1310s| 1740k|630154 | 1826k| 1.0 |2081M| 292 | - | 768 |8628 | 0 | 0 | 494k|1347k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1425.20/1425.23 c 1318s| 1750k|632689 | 1835k| 1.0 |2095M| 292 | 0 | 768 |8928 | 768 | 139 | 497k|1357k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1433.50/1433.52 c 1326s| 1760k|635450 | 1845k| 1.0 |2108M| 292 | 0 | 768 |6463 | 768 | 138 | 499k|1365k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1440.91/1440.98 c 1333s| 1770k|639044 | 1855k| 1.0 |2120M| 292 | 0 | 768 |6980 | 768 | 122 | 502k|1373k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1448.70/1448.74 c 1340s| 1780k|642127 | 1865k| 1.0 |2132M| 292 | - | 768 |5777 | 0 | 0 | 504k|1380k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1456.71/1456.72 c 1347s| 1790k|644874 | 1874k| 1.0 |2146M| 292 | - | 768 |7134 | 0 | 0 | 507k|1389k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1464.80/1464.83 c 1355s| 1800k|647607 | 1884k| 1.0 |2160M| 292 | 0 | 768 |7774 | 768 | 137 | 509k|1399k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1473.41/1473.47 c 1363s| 1810k|650111 | 1894k| 1.0 |2173M| 292 | 0 | 768 |7991 | 768 | 144 | 512k|1408k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1481.51/1481.53 c 1370s| 1820k|653070 | 1905k| 1.0 |2186M| 292 | 0 | 768 |5909 | 768 | 140 | 515k|1417k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1488.91/1488.98 c 1377s| 1830k|656281 | 1914k| 1.0 |2198M| 292 | - | 768 |6751 | 0 | 0 | 517k|1424k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1496.80/1496.81 c 1384s| 1840k|659235 | 1925k| 1.0 |2211M| 292 | - | 768 |6395 | 0 | 0 | 520k|1433k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1504.60/1504.65 c 1392s| 1850k|662160 | 1935k| 1.0 |2224M| 292 | - | 768 |7608 | 0 | 0 | 522k|1442k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1512.70/1512.71 c 1399s| 1860k|665038 | 1944k| 1.0 |2237M| 292 | - | 768 |7442 | 0 | 0 | 525k|1451k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1520.21/1520.28 c 1406s| 1870k|668574 | 1954k| 1.0 |2251M| 292 | - | 768 |6627 | 0 | 0 | 527k|1458k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1528.00/1528.08 c 1413s| 1880k|671643 | 1965k| 1.0 |2265M| 292 | - | 768 |7036 | 0 | 0 | 530k|1466k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1535.90/1535.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.90/1535.93 c 1420s| 1890k|674527 | 1975k| 1.0 |2277M| 292 | 0 | 768 |6523 | 768 | 130 | 532k|1475k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1543.60/1543.65 c 1427s| 1900k|677737 | 1985k| 1.0 |2290M| 292 | - | 768 |6746 | 0 | 0 | 535k|1483k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1551.81/1551.82 c 1435s| 1910k|680357 | 1996k| 1.0 |2304M| 292 | 0 | 768 |7573 | 768 | 139 | 538k|1492k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1559.61/1559.63 c 1442s| 1920k|683573 | 2007k| 1.0 |2316M| 292 | - | 768 |7232 | 0 | 0 | 541k|1500k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1567.30/1567.36 c 1449s| 1930k|686957 | 2019k| 1.0 |2327M| 292 | - | 768 |7253 | 0 | 0 | 544k|1507k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1575.21/1575.28 c 1456s| 1940k|690081 | 2029k| 1.0 |2339M| 292 | - | 768 |6410 | 0 | 0 | 547k|1515k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1583.20/1583.22 c 1464s| 1950k|692871 | 2039k| 1.0 |2351M| 292 | 0 | 768 |6354 | 768 | 146 | 550k|1524k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1590.90/1590.95 c 1471s| 1960k|696111 | 2050k| 1.0 |2365M| 292 | - | 768 |6708 | 0 | 0 | 553k|1532k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1598.60/1598.61 c 1478s| 1970k|699415 | 2061k| 1.0 |2377M| 292 | - | 768 |6695 | 0 | 0 | 556k|1540k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1606.40/1606.44 c 1485s| 1980k|702422 | 2073k| 1.0 |2390M| 292 | - | 768 |6061 | 0 | 0 | 559k|1548k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1614.21/1614.24 c 1492s| 1990k|705669 | 2084k| 1.0 |2405M| 292 | 0 | 768 |7261 | 768 | 130 | 562k|1555k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1621.91/1621.96 c 1499s| 2000k|708791 | 2095k| 1.0 |2417M| 292 | - | 768 |6554 | 0 | 0 | 565k|1563k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1629.50/1629.54 c 1506s| 2010k|712162 | 2106k| 1.0 |2431M| 292 | - | 768 |7322 | 0 | 0 | 567k|1572k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1637.21/1637.21 c 1513s| 2020k|715601 | 2116k| 1.0 |2444M| 292 | - | 768 |6917 | 768 | 143 | 570k|1580k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1644.30/1644.38 c 1520s| 2030k|719497 | 2127k| 1.0 |2457M| 292 | 0 | 768 |5013 | 768 | 118 | 573k|1587k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1651.70/1651.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.70/1651.75 c 1527s| 2040k|722929 | 2137k| 1.0 |2469M| 292 | 0 | 768 |6664 | 768 | 129 | 576k|1594k| 10k| 1.000000e+00 | 4.000000e+00 | 300.00%
1659.10/1659.16 c 1533s| 2050k|726710 | 2148k| 1.0 |2482M| 292 | 0 | 768 |6762 | 768 | 144 | 578k|1601k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1666.90/1666.97 c 1540s| 2060k|730049 | 2158k| 1.0 |2496M| 292 | - | 768 |7449 | 0 | 0 | 581k|1610k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1674.91/1674.99 c 1548s| 2070k|733121 | 2169k| 1.0 |2510M| 292 | 0 | 768 |6481 | 768 | 124 | 584k|1618k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1682.30/1682.34 c 1555s| 2080k|736857 | 2180k| 1.0 |2523M| 292 | 0 | 768 |7328 | 768 | 143 | 587k|1626k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1690.30/1690.39 c 1562s| 2090k|739623 | 2191k| 1.0 |2535M| 292 | 0 | 768 |7216 | 768 | 132 | 590k|1634k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1698.31/1698.31 c 1569s| 2100k|742718 | 2203k| 1.0 |2547M| 292 | 0 | 768 |7298 | 768 | 138 | 593k|1642k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1706.11/1706.14 c 1576s| 2110k|745968 | 2215k| 1.0 |2559M| 292 | 0 | 768 |7600 | 768 | 144 | 596k|1650k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1713.91/1713.98 c 1584s| 2120k|749120 | 2227k| 1.1 |2572M| 292 | 0 | 768 |6698 | 768 | 129 | 600k|1658k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1721.61/1721.64 c 1591s| 2130k|752162 | 2238k| 1.1 |2586M| 292 | - | 768 |5864 | 0 | 0 | 603k|1666k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1728.90/1728.91 c 1597s| 2140k|756105 | 2249k| 1.1 |2600M| 292 | 0 | 768 |6679 | 768 | 125 | 605k|1673k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1736.21/1736.25 c 1604s| 2150k|759916 | 2260k| 1.1 |2612M| 292 | 0 | 768 |6561 | 768 | 132 | 608k|1679k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1743.90/1743.92 c 1611s| 2160k|763211 | 2270k| 1.1 |2625M| 292 | 0 | 768 |6775 | 768 | 136 | 611k|1687k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1751.51/1751.55 c 1618s| 2170k|766528 | 2281k| 1.1 |2641M| 292 | 0 | 768 |7241 | 768 | 128 | 614k|1695k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1759.30/1759.31 c 1625s| 2180k|769646 | 2292k| 1.1 |2653M| 292 | 0 | 768 |7057 | 768 | 142 | 617k|1702k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1766.62/1766.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.62/1766.64 c 1632s| 2190k|773275 | 2303k| 1.1 |2665M| 292 | - | 768 |7479 | 0 | 0 | 620k|1710k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1774.32/1774.31 c 1639s| 2200k|776628 | 2314k| 1.1 |2678M| 292 | 0 | 768 |7015 | 768 | 134 | 623k|1718k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1781.91/1781.95 c 1646s| 2210k|779988 | 2325k| 1.1 |2692M| 292 | 6 | 768 |6665 | 768 | 136 | 626k|1726k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1789.61/1789.61 c 1653s| 2220k|783210 | 2336k| 1.1 |2706M| 292 | 0 | 768 |6901 | 768 | 142 | 629k|1734k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1797.41/1797.42 c 1660s| 2230k|786418 | 2348k| 1.1 |2720M| 292 | 0 | 768 |6146 | 768 | 115 | 632k|1742k| 11k| 1.000000e+00 | 4.000000e+00 | 300.00%
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1662.31
1800.01/1800.00 c Solving Nodes : 2233264
1800.01/1800.00 c Primal Bound : +4.00000000000000e+00 (4 solutions)
1800.01/1800.00 c Dual Bound : +1.00000000000000e+00
1800.01/1800.00 c Gap : 300.00 %
1800.01/1800.00 s SATISFIABLE
1800.01/1800.00 v -x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98
1800.01/1800.00 v -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 x76 -x75 -x74 -x73 -x72
1800.01/1800.00 v -x71 -x70 x69 -x68 -x67 x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 x54 -x53 -x52 -x51 x50 -x49 x48 -x47 -x46
1800.01/1800.00 v -x45 -x44 -x43 x42 -x41 x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20 -x19
1800.01/1800.00 v -x18 x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time : 1662.31
1800.01/1800.00 c Original Problem :
1800.01/1800.00 c Problem name : HOME/instance-2700608-1278535787.wbo
1800.01/1800.00 c Variables : 768 (444 binary, 0 integer, 0 implicit integer, 324 continuous)
1800.01/1800.00 c Constraints : 679 initial, 679 maximal
1800.01/1800.00 c Presolved Problem :
1800.01/1800.00 c Problem name : t_HOME/instance-2700608-1278535787.wbo
1800.01/1800.00 c Variables : 768 (444 binary, 0 integer, 0 implicit integer, 324 continuous)
1800.01/1800.00 c Constraints : 679 initial, 20502 maximal
1800.01/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c linear : 0.00 0 0 0 324 0 0 0 0
1800.01/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c root node : - 0 - - 0 - - - -
1800.01/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c integral : 0 0 0 2051326 0 38 264 0 0 44874
1800.01/1800.00 c indicator : 324 0 6861272 2027470 0 10558 132453658 0 0 0
1800.01/1800.00 c knapsack : 1 2 6886792 2028696 0 0 0 0 0 0
1800.01/1800.00 c setppc : 30 2 6886792 2028696 0 146429 3343417 0 0 0
1800.01/1800.00 c linear : 324 2 6740363 2028696 0 178830 12649693 633648 0 0
1800.01/1800.00 c logicor : 0+ 0 4326703 0 0 245111 3548333 0 0 0
1800.01/1800.00 c countsols : 0 0 0 1622653 0 0 0 0 0 0
1800.01/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.00 c integral : 3.89 0.00 0.00 3.89 0.00
1800.01/1800.00 c indicator : 133.60 0.00 101.40 32.20 0.00
1800.01/1800.00 c knapsack : 168.96 0.00 168.95 0.01 0.00
1800.01/1800.00 c setppc : 15.12 0.00 14.98 0.14 0.00
1800.01/1800.00 c linear : 76.34 0.00 52.36 23.98 0.00
1800.01/1800.00 c logicor : 227.29 0.00 227.29 0.00 0.00
1800.01/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.00 c vbounds : 0.01 2 0 0
1800.01/1800.00 c rootredcost : 0.00 4 0 0
1800.01/1800.00 c pseudoobj : 132.81 7152261 255111 121047503
1800.01/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.00 c propagation : 18.31 825481 814870 1671327 11.1 369017 3.6 -
1800.01/1800.00 c infeasible LP : 0.00 4 4 14 10.5 0 0.0 0
1800.01/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c pseudo solution : 0.12 3074 3074 7859 5.4 1128 3.7 -
1800.01/1800.00 c applied globally : - - - 1745765 9.0 - - -
1800.01/1800.00 c applied locally : - - - 3 49.7 - - -
1800.01/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.00 c redcost : 32.44 2092639 0 10688103 0 0
1800.01/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.00 c intobj : 0.00 0 0 0 0 0
1800.01/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.00 c gomory : 0.00 0 0 0 0 0
1800.01/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.00 c cmir : 0.00 0 0 0 0 0
1800.01/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.00 c clique : 0.00 0 0 0 0 0
1800.01/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.00 c mcf : 0.00 0 0 0 0 0
1800.01/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.00 c Pricers : Time Calls Vars
1800.01/1800.00 c problem variables: 0.00 0 0
1800.01/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c relpscost : 3.88 22630 38 264 0 0 44874
1800.01/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c inference : 44.44 1622649 0 0 0 0 3245298
1800.01/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c random : 0.00 0 0 0 0 0 0
1800.01/1800.00 c Primal Heuristics : Time Calls Found
1800.01/1800.00 c LP solutions : 0.01 - 4
1800.01/1800.00 c pseudo solutions : 0.00 - 0
1800.01/1800.00 c oneopt : 0.03 4 0
1800.01/1800.00 c feaspump : 0.01 3 0
1800.01/1800.00 c intshifting : 0.01 8 0
1800.01/1800.00 c crossover : 0.09 6 0
1800.01/1800.00 c guideddiving : 0.06 406 0
1800.01/1800.00 c coefdiving : 0.09 407 0
1800.01/1800.00 c pscostdiving : 0.10 407 0
1800.01/1800.00 c fracdiving : 0.13 407 0
1800.01/1800.00 c linesearchdiving : 0.10 407 0
1800.01/1800.00 c veclendiving : 0.09 407 0
1800.01/1800.00 c rootsoldiving : 0.09 405 0
1800.01/1800.00 c objpscostdiving : 0.09 406 0
1800.01/1800.00 c trivial : 0.01 2 0
1800.01/1800.00 c simplerounding : 0.11 0 0
1800.01/1800.00 c zirounding : 0.00 1000 0
1800.01/1800.00 c rounding : 0.16 2029 0
1800.01/1800.00 c shifting : 0.17 639 0
1800.01/1800.00 c twoopt : 0.00 0 0
1800.01/1800.00 c fixandinfer : 0.00 0 0
1800.01/1800.00 c intdiving : 0.00 0 0
1800.01/1800.00 c actconsdiving : 0.00 0 0
1800.01/1800.00 c octane : 0.00 0 0
1800.01/1800.00 c rens : 0.00 0 0
1800.01/1800.00 c rins : 0.00 0 0
1800.01/1800.00 c localbranching : 0.00 0 0
1800.01/1800.00 c mutation : 0.00 0 0
1800.01/1800.00 c dins : 0.00 0 0
1800.01/1800.00 c undercover : 0.00 0 0
1800.01/1800.00 c nlp : 0.00 0 0
1800.01/1800.00 c trysol : 0.30 2034 0
1800.01/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.00 c dual LP : 258.42 917751 2352388 2.56 9102.96
1800.01/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.00 c diving/probing LP: 0.00 32 348 10.88 -
1800.01/1800.00 c strong branching : 3.72 11516 45940 3.99 12349.46
1800.01/1800.01 c (at root node) : - 0 0 0.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 2233264
1800.01/1800.01 c nodes (total) : 2233264
1800.01/1800.01 c nodes left : 787459
1800.01/1800.01 c max depth : 292
1800.01/1800.01 c max depth (total): 292
1800.01/1800.01 c backtracks : 313158 (14.0%)
1800.01/1800.01 c delayed cutoffs : 259881
1800.01/1800.01 c repropagations : 1382609 (82048098 domain reductions, 250937 cutoffs)
1800.01/1800.01 c avg switch length: 6.58
1800.01/1800.01 c switching time : 320.07
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 4 (4 improvements)
1800.01/1800.01 c First Solution : +7.00000000000000e+00 (in run 1, after 696 nodes, 0.36 seconds, depth 292, found by <relaxation>)
1800.01/1800.01 c Primal Bound : +4.00000000000000e+00 (in run 1, after 38211 nodes, 17.08 seconds, depth 107, found by <relaxation>)
1800.01/1800.01 c Dual Bound : +1.00000000000000e+00
1800.01/1800.01 c Gap : 300.00 %
1800.01/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Root Iterations : 111
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700608-1278535787/watcher-2700608-1278535787 -o /tmp/evaluation-result-2700608-1278535787/solver-2700608-1278535787 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700608-1278535787.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.02 2.05 4/178 18866 /proc/meminfo: memFree=28680732/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=9412 CPUtime=0 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 1649 0 0 0 0 0 0 0 21 0 1 0 21791836 9637888 1568 4089446400 4194304 8223781 140736068736240 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/18866/statm: 2353 1568 369 984 0 1366 0 [startup+0.064156 s] /proc/loadavg: 2.00 2.02 2.05 4/178 18866 /proc/meminfo: memFree=28680732/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=16800 CPUtime=0.05 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 5029 0 0 0 5 0 0 0 21 0 1 0 21791836 17203200 3298 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 4200 3298 552 984 0 3213 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 16800 [startup+0.100151 s] /proc/loadavg: 2.00 2.02 2.05 4/178 18866 /proc/meminfo: memFree=28680732/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=17044 CPUtime=0.09 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 5066 0 0 0 9 0 0 0 21 0 1 0 21791836 17453056 3335 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 4261 3335 553 984 0 3274 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17044 [startup+0.300119 s] /proc/loadavg: 2.00 2.02 2.05 4/178 18866 /proc/meminfo: memFree=28680732/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=17396 CPUtime=0.29 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 5171 0 0 0 27 2 0 0 21 0 1 0 21791836 17813504 3440 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 4349 3440 554 984 0 3362 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17396 [startup+0.70105 s] /proc/loadavg: 2.00 2.02 2.05 4/178 18866 /proc/meminfo: memFree=28680732/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=18416 CPUtime=0.69 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 5426 0 0 0 62 7 0 0 22 0 1 0 21791836 18857984 3695 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 4669 3696 561 984 0 3682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18416 [startup+1.50091 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18867 /proc/meminfo: memFree=28666588/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=20348 CPUtime=1.49 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 5918 0 0 0 134 15 0 0 25 0 1 0 21791836 20836352 4187 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 5087 4187 564 984 0 4100 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20348 [startup+3.10065 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18867 /proc/meminfo: memFree=28663488/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=26164 CPUtime=3.09 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 12707 0 0 0 276 33 0 0 25 0 1 0 21791836 26791936 5617 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 6541 5617 580 984 0 5554 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26164 [startup+6.3011 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18867 /proc/meminfo: memFree=28650224/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=32656 CPUtime=6.29 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 15009 0 0 0 563 66 0 0 25 0 1 0 21791836 33439744 7185 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 8164 7185 580 984 0 7177 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32656 [startup+12.701 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18868 /proc/meminfo: memFree=28624416/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=53196 CPUtime=12.69 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 20298 0 0 0 1131 138 0 0 25 0 1 0 21791836 54472704 11752 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 13299 11752 580 984 0 12312 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53196 [startup+25.5009 s] /proc/loadavg: 2.00 2.02 2.04 3/179 18868 /proc/meminfo: memFree=28589336/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=77628 CPUtime=25.49 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 36392 0 0 0 2264 285 0 0 25 0 1 0 21791836 79491072 17205 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 19407 17205 580 984 0 18420 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77628 [startup+51.1005 s] /proc/loadavg: 2.00 2.01 2.04 3/179 18868 /proc/meminfo: memFree=28511480/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=137880 CPUtime=51.09 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 54146 0 0 0 4559 550 0 0 25 0 1 0 21791836 141189120 30466 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 34470 30466 580 984 0 33483 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 137880 [startup+102.306 s] /proc/loadavg: 2.00 2.01 2.04 3/179 18870 /proc/meminfo: memFree=28345256/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=266952 CPUtime=102.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 81602 0 0 0 9181 1049 0 0 25 0 1 0 21791836 273358848 57226 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 66738 57226 580 984 0 65751 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 266952 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.03 3/179 18872 /proc/meminfo: memFree=28167880/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=394088 CPUtime=162.29 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 113421 0 0 0 14615 1614 0 0 25 0 1 0 21791836 403546112 85962 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 98522 85962 580 984 0 97535 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 394088 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.02 3/179 18873 /proc/meminfo: memFree=28005500/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=521664 CPUtime=222.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 141166 0 0 0 20066 2164 0 0 25 0 1 0 21791836 534183936 113707 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 130416 113707 580 984 0 129429 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 521664 [startup+282.301 s] /proc/loadavg: 2.07 2.02 2.02 3/179 18874 /proc/meminfo: memFree=27849436/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=648352 CPUtime=282.29 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 168859 0 0 0 25530 2699 0 0 25 0 1 0 21791836 663912448 141400 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 162088 141400 580 984 0 161101 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 648352 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.02 3/179 18876 /proc/meminfo: memFree=27678628/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=745728 CPUtime=342.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 194177 0 0 0 31020 3210 0 0 25 0 1 0 21791836 763625472 166026 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 186432 166026 580 984 0 185445 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 745728 [startup+402.3 s] /proc/loadavg: 2.01 2.00 2.01 3/179 18878 /proc/meminfo: memFree=27528028/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=841000 CPUtime=402.29 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 216141 0 0 0 36568 3661 0 0 25 0 1 0 21791836 861184000 187990 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 210250 187990 580 984 0 209263 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 841000 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.01 3/179 18880 /proc/meminfo: memFree=27391828/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=916136 CPUtime=462.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 233451 0 0 0 42145 4085 0 0 25 0 1 0 21791836 938123264 205300 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 229034 205300 580 984 0 228047 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 916136 [startup+522.301 s] /proc/loadavg: 1.97 2.00 2.00 2/174 18899 /proc/meminfo: memFree=29087256/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=991840 CPUtime=522.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 251049 0 0 0 47745 4485 0 0 25 0 1 0 21791836 1015644160 222898 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 247960 222898 580 984 0 246973 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 991840 [startup+582.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 19229 /proc/meminfo: memFree=28944452/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=1053952 CPUtime=582.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 266107 0 0 0 53367 4863 0 0 25 0 1 0 21791836 1079246848 237956 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 263488 237956 580 984 0 262501 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1053952 [startup+642.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 19231 /proc/meminfo: memFree=28879444/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=1121084 CPUtime=642.31 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 281979 0 0 0 59029 5202 0 0 25 0 1 0 21791836 1147990016 253828 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 280271 253828 580 984 0 279284 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1121084 [startup+702.301 s] ################ # More data... # ################ /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 427636 0 0 0 97988 8242 0 0 25 0 1 0 21791836 1769742336 398796 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 432066 398796 580 984 0 431079 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1728264 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 19253 /proc/meminfo: memFree=28196708/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=1825316 CPUtime=1122.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 451143 0 0 0 103481 8749 0 0 25 0 1 0 21791836 1869123584 422303 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 456329 422303 580 984 0 455342 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1825316 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19254 /proc/meminfo: memFree=28101176/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=1922784 CPUtime=1182.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 474882 0 0 0 108984 9246 0 0 25 0 1 0 21791836 1968930816 446042 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 480696 446042 580 984 0 479709 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1922784 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19256 /proc/meminfo: memFree=28008752/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2017176 CPUtime=1242.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 497626 0 0 0 114619 9611 0 0 25 0 1 0 21791836 2065588224 468786 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 504294 468786 580 984 0 503307 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 2017176 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19258 /proc/meminfo: memFree=27917680/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2119668 CPUtime=1302.31 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 520182 0 0 0 120244 9987 0 0 25 0 1 0 21791836 2170540032 491342 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 529917 491342 580 984 0 528930 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 2119668 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19260 /proc/meminfo: memFree=27821768/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2217760 CPUtime=1362.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 544710 0 0 0 125866 10364 0 0 25 0 1 0 21791836 2270986240 515179 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 554440 515179 580 984 0 553453 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 2217760 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19261 /proc/meminfo: memFree=27729828/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2307028 CPUtime=1422.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 567575 0 0 0 131503 10727 0 0 25 0 1 0 21791836 2362396672 538044 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 576757 538044 580 984 0 575770 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 2307028 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19262 /proc/meminfo: memFree=27633160/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2406488 CPUtime=1482.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 592070 0 0 0 137100 11130 0 0 25 0 1 0 21791836 2464243712 562539 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 601622 562539 580 984 0 600635 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 2406488 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19264 /proc/meminfo: memFree=27526940/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2518908 CPUtime=1542.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 618081 0 0 0 142616 11614 0 0 25 0 1 0 21791836 2579361792 588550 4089446400 4194304 8223781 140736068736240 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 629727 588550 580 984 0 628740 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 2518908 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19266 /proc/meminfo: memFree=27438476/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2600708 CPUtime=1602.3 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 640419 0 0 0 148125 12105 0 0 25 0 1 0 21791836 2663124992 610888 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 650177 610888 580 984 0 649190 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 2600708 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19268 /proc/meminfo: memFree=27330896/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2701840 CPUtime=1662.31 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 666913 0 0 0 153618 12613 0 0 25 0 1 0 21791836 2766684160 637382 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 675460 637382 580 984 0 674473 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 2701840 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 19269 /proc/meminfo: memFree=27230156/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2811824 CPUtime=1722.31 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 692339 0 0 0 159117 13114 0 0 25 0 1 0 21791836 2879307776 662808 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 702956 662808 580 984 0 701969 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 2811824 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 19273 /proc/meminfo: memFree=27126484/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2919028 CPUtime=1782.31 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 717637 0 0 0 164608 13623 0 0 25 0 1 0 21791836 2989084672 688106 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 729757 688106 580 984 0 728770 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 2919028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.00 3/197 19274 /proc/meminfo: memFree=27095844/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2946164 CPUtime=1800.01 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 725120 0 0 0 166231 13770 0 0 25 0 1 0 21791836 3016871936 695589 4089446400 4194304 8223781 140736068736240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18866/statm: 736541 695589 580 984 0 735554 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2946164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18866 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.00 2.00 3/198 19275 /proc/meminfo: memFree=27095712/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2946164 CPUtime=1801.4 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 725122 0 0 0 166370 13770 0 0 25 0 1 0 21791836 3016871936 695591 4089446400 4194304 8223781 140736068736240 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/18866/statm: 736541 695591 582 984 0 735554 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 2946164 [startup+1801.81 s] /proc/loadavg: 2.01 2.00 2.00 3/198 19275 /proc/meminfo: memFree=27095712/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2946164 CPUtime=1801.81 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 725122 0 0 0 166411 13770 0 0 25 0 1 0 21791836 3016871936 695591 4089446400 4194304 8223781 140736068736240 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/18866/statm: 736541 695591 582 984 0 735554 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 2946164 [startup+1802 s] /proc/loadavg: 2.01 2.00 2.00 3/198 19275 /proc/meminfo: memFree=27095712/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=2944944 CPUtime=1802 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4202496 725122 0 0 0 166430 13770 0 0 25 0 1 0 21791836 3015622656 695286 4089446400 4194304 8223781 140736068736240 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/18866/statm: 736236 695286 582 984 0 735249 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 2944944 [startup+1802.1 s] /proc/loadavg: 2.01 2.00 2.00 3/198 19275 /proc/meminfo: memFree=27095712/32951124 swapFree=67111528/67111528 [pid=18866] ppid=18864 vsize=0 CPUtime=1802.11 /proc/18866/stat : 18866 (pbscip.linux.x8) R 18864 18866 17958 0 -1 4203524 725122 0 0 0 166431 13780 0 0 25 0 1 0 21791836 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 /proc/18866/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.11 CPU time (s): 1802.12 CPU user time (s): 1664.31 CPU system time (s): 137.809 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2946164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1664.31 system time used= 137.809 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 725122 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1386 runsolver used 2.53961 second user time and 5.67714 second system time The end
Begin job on node130 at 2010-07-07 22:49:47 IDJOB=2700608 IDBENCH=79443 IDSOLVER=1204 FILE ID=node130/2700608-1278535787 PBS_JOBID= 11239217 Free space on /tmp= 73396 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/wcsp/coloring/normalized-geom30a-4_wcsp.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-2700608-1278535787/watcher-2700608-1278535787 -o /tmp/evaluation-result-2700608-1278535787/solver-2700608-1278535787 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700608-1278535787.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de59a4d263badb761d8b1cfdb0f0d5d5 RANDOM SEED=525820831 node130.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.831 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.831 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 : 5226.22 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.831 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.74 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.831 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.831 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.72 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.831 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.83 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.831 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.68 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28680888 kB Buffers: 137548 kB Cached: 2624116 kB SwapCached: 0 kB Active: 2583152 kB Inactive: 1532632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28680888 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4620 kB Writeback: 0 kB AnonPages: 1355692 kB Mapped: 15428 kB Slab: 86628 kB PageTables: 8208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1499712 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= 73396 MiB End job on node130 at 2010-07-07 23:19:49