| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 22 | 3600.03 | 3612.31 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-iis-glass-cov.opb |
| MD5SUM | d19cd21a9273f0af629a2ef833d8382f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 378.449 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 214 |
| Total number of constraints | 5375 |
| Number of constraints which are clauses | 5375 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 11 |
| Number of terms in the objective function | 214 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 214 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 214 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.10 c #variables 214 #constraints 5375 0.40/0.47 c bounds - >= 0 @ 0.072179 0.40/0.47 c rational objective 13.4606 3.16/3.26 c bounds 32 >= 0 @ 0.44427 3.16/3.26 c bounds 32 >= 1 @ 0.746704 3.16/3.26 c bounds 32 >= 2 @ 0.747136 3.16/3.26 c bounds 32 >= 3 @ 0.747518 3.16/3.26 c bounds 32 >= 4 @ 0.747978 3.16/3.26 c bounds 32 >= 5 @ 0.748724 3.16/3.26 c bounds 32 >= 6 @ 0.749145 3.16/3.26 c bounds 32 >= 7 @ 0.749532 3.16/3.26 c bounds 32 >= 8 @ 0.750039 3.16/3.26 c bounds 32 >= 9 @ 0.750819 3.16/3.26 c bounds 32 >= 10 @ 0.752895 3.16/3.26 c bounds 32 >= 11 @ 0.8477 3.16/3.26 c bounds 31 >= 11 @ 0.855915 3.16/3.26 c bounds 30 >= 11 @ 0.85728 3.16/3.26 c bounds 29 >= 11 @ 0.857464 3.16/3.26 c bounds 28 >= 11 @ 0.857466 3.16/3.26 c bounds 27 >= 11 @ 0.857988 3.16/3.26 c bounds 26 >= 11 @ 0.858899 3.16/3.26 c bounds 25 >= 11 @ 0.859877 3.16/3.26 c bounds 24 >= 11 @ 0.861127 3.16/3.26 c bounds 23 >= 11 @ 0.966667 3.16/3.26 c #Conflicts: 1000 | #Constraints: 6457 3.16/3.26 c #Conflicts: 2000 | #Constraints: 7470 3.16/3.26 c INPROCESSING 3.16/3.26 c GARBAGE COLLECT 3.16/3.26 c #Conflicts: 3000 | #Constraints: 7462 3.16/3.26 c #Conflicts: 4000 | #Constraints: 8462 3.16/3.26 c INPROCESSING 3.16/3.26 c GARBAGE COLLECT 3.16/3.26 c rational objective 13.4606 3.66/3.76 c #Conflicts: 5000 | #Constraints: 7867 3.66/3.76 c bounds 22 >= 11 @ 3.2152 3.66/3.76 c #Conflicts: 6000 | #Constraints: 8868 3.66/3.76 c INPROCESSING 3.66/3.76 c GARBAGE COLLECT 3.66/3.76 c rational objective 13.4606 5.26/5.37 c #Conflicts: 7000 | #Constraints: 7867 5.26/5.37 c #Conflicts: 8000 | #Constraints: 8871 5.26/5.37 c #Conflicts: 9000 | #Constraints: 9876 5.26/5.37 c INPROCESSING 5.26/5.37 c GARBAGE COLLECT 5.26/5.37 WSVECS04 Frhs2[27]: 6 0 2.1501 shouldn't be 9.15/9.24 c #Conflicts: 10000 | #Constraints: 8571 9.15/9.24 c #Conflicts: 11000 | #Constraints: 9579 9.15/9.24 c #Conflicts: 12000 | #Constraints: 10582 9.15/9.24 c INPROCESSING 9.15/9.24 c GARBAGE COLLECT 9.15/9.24 c bounds 22 >= 12 @ 7.11923 9.15/9.24 c #Conflicts: 13000 | #Constraints: 9049 9.15/9.24 c #Conflicts: 14000 | #Constraints: 10049 9.15/9.24 c #Conflicts: 15000 | #Constraints: 11049 9.15/9.24 c INPROCESSING 9.15/9.24 c GARBAGE COLLECT 9.15/9.24 c rational objective 13.4606 11.34/11.47 c #Conflicts: 16000 | #Constraints: 9279 11.34/11.47 c #Conflicts: 17000 | #Constraints: 10282 11.34/11.47 c #Conflicts: 18000 | #Constraints: 11286 11.34/11.47 c INPROCESSING 11.34/11.47 c GARBAGE COLLECT 11.34/11.47 c rational objective 13.4606 15.22/15.32 c #Conflicts: 19000 | #Constraints: 9295 15.22/15.32 c #Conflicts: 20000 | #Constraints: 10299 15.22/15.32 c #Conflicts: 21000 | #Constraints: 11302 15.22/15.32 c INPROCESSING 15.22/15.32 c GARBAGE COLLECT 15.22/15.32 c #Conflicts: 22000 | #Constraints: 9099 15.22/15.32 c #Conflicts: 23000 | #Constraints: 10103 15.22/15.32 c #Conflicts: 24000 | #Constraints: 11107 15.22/15.32 c #Conflicts: 25000 | #Constraints: 12110 15.22/15.32 c INPROCESSING 15.22/15.32 c GARBAGE COLLECT 15.22/15.32 c rational objective 13.4606 21.11/21.29 c #Conflicts: 26000 | #Constraints: 9701 21.11/21.29 c #Conflicts: 27000 | #Constraints: 10701 21.11/21.29 c #Conflicts: 28000 | #Constraints: 11701 21.11/21.29 c #Conflicts: 29000 | #Constraints: 12701 21.11/21.29 c INPROCESSING 21.11/21.29 c GARBAGE COLLECT 21.11/21.29 c #Conflicts: 30000 | #Constraints: 10102 21.11/21.29 c #Conflicts: 31000 | #Constraints: 11106 21.11/21.29 c #Conflicts: 32000 | #Constraints: 12108 21.11/21.29 c #Conflicts: 33000 | #Constraints: 13111 21.11/21.29 c INPROCESSING 21.11/21.29 c GARBAGE COLLECT 21.11/21.29 c rational objective 13.4606 29.48/29.66 c #Conflicts: 34000 | #Constraints: 10304 29.48/29.66 c #Conflicts: 35000 | #Constraints: 11308 29.48/29.66 c #Conflicts: 36000 | #Constraints: 12311 29.48/29.66 c #Conflicts: 37000 | #Constraints: 13315 29.48/29.66 c INPROCESSING 29.48/29.66 c GARBAGE COLLECT 29.48/29.66 c #Conflicts: 38000 | #Constraints: 10309 29.48/29.66 c #Conflicts: 39000 | #Constraints: 11312 29.48/29.66 c #Conflicts: 40000 | #Constraints: 12317 29.48/29.66 c #Conflicts: 41000 | #Constraints: 13321 29.48/29.66 c INPROCESSING 29.48/29.66 c GARBAGE COLLECT 29.48/29.66 c #Conflicts: 42000 | #Constraints: 10108 29.48/29.66 c #Conflicts: 43000 | #Constraints: 11108 29.48/29.66 c #Conflicts: 44000 | #Constraints: 12108 29.48/29.66 c #Conflicts: 45000 | #Constraints: 13108 29.48/29.66 c #Conflicts: 46000 | #Constraints: 14108 29.48/29.66 c INPROCESSING 29.48/29.66 c GARBAGE COLLECT 29.48/29.66 c rational objective 13.4606 32.47/32.63 c #Conflicts: 47000 | #Constraints: 10710 32.47/32.63 c #Conflicts: 48000 | #Constraints: 11713 32.47/32.63 c #Conflicts: 49000 | #Constraints: 12718 32.47/32.63 c #Conflicts: 50000 | #Constraints: 13722 32.47/32.63 c #Conflicts: 51000 | #Constraints: 14727 32.47/32.63 c INPROCESSING 32.47/32.63 c GARBAGE COLLECT 32.47/32.63 c rational objective 13.4606 35.97/36.19 c #Conflicts: 52000 | #Constraints: 11117 35.97/36.19 c #Conflicts: 53000 | #Constraints: 12120 35.97/36.19 c #Conflicts: 54000 | #Constraints: 13124 35.97/36.19 c #Conflicts: 55000 | #Constraints: 14127 35.97/36.19 c #Conflicts: 56000 | #Constraints: 15131 35.97/36.19 c INPROCESSING 35.97/36.19 c GARBAGE COLLECT 35.97/36.19 c rational objective 13.4606 39.96/40.16 c #Conflicts: 57000 | #Constraints: 11318 39.96/40.16 c #Conflicts: 58000 | #Constraints: 12321 39.96/40.16 c #Conflicts: 59000 | #Constraints: 13325 39.96/40.16 c #Conflicts: 60000 | #Constraints: 14331 39.96/40.16 c #Conflicts: 61000 | #Constraints: 15336 39.96/40.16 c INPROCESSING 39.96/40.16 c GARBAGE COLLECT 39.96/40.16 c rational objective 13.4606 50.71/50.99 c #Conflicts: 62000 | #Constraints: 11318 50.71/50.99 c #Conflicts: 63000 | #Constraints: 12318 50.71/50.99 c #Conflicts: 64000 | #Constraints: 13318 50.71/50.99 c #Conflicts: 65000 | #Constraints: 14318 50.71/50.99 c #Conflicts: 66000 | #Constraints: 15318 50.71/50.99 c INPROCESSING 50.71/50.99 c GARBAGE COLLECT 50.71/50.99 c #Conflicts: 67000 | #Constraints: 11114 50.71/50.99 c #Conflicts: 68000 | #Constraints: 12114 50.71/50.99 c #Conflicts: 69000 | #Constraints: 13114 50.71/50.99 c #Conflicts: 70000 | #Constraints: 14114 50.71/50.99 c #Conflicts: 71000 | #Constraints: 15114 50.71/50.99 c #Conflicts: 72000 | #Constraints: 16118 50.71/50.99 c INPROCESSING 50.71/50.99 c GARBAGE COLLECT 50.71/50.99 c rational objective 13.4606 54.91/55.17 c #Conflicts: 73000 | #Constraints: 11712 54.91/55.17 c #Conflicts: 74000 | #Constraints: 12715 54.91/55.17 c #Conflicts: 75000 | #Constraints: 13720 54.91/55.17 c #Conflicts: 76000 | #Constraints: 14725 54.91/55.17 c #Conflicts: 77000 | #Constraints: 15730 54.91/55.17 c #Conflicts: 78000 | #Constraints: 16734 54.91/55.17 c INPROCESSING 54.91/55.17 c GARBAGE COLLECT 54.91/55.17 c rational objective 13.4606 62.78/63.05 c #Conflicts: 79000 | #Constraints: 12119 62.78/63.05 c #Conflicts: 80000 | #Constraints: 13124 62.78/63.05 c #Conflicts: 81000 | #Constraints: 14131 62.78/63.05 c #Conflicts: 82000 | #Constraints: 15136 62.78/63.05 c #Conflicts: 83000 | #Constraints: 16140 62.78/63.05 c #Conflicts: 84000 | #Constraints: 17145 62.78/63.05 c INPROCESSING 62.78/63.05 c GARBAGE COLLECT 62.78/63.05 c #Conflicts: 85000 | #Constraints: 12330 62.78/63.05 c #Conflicts: 86000 | #Constraints: 13336 62.78/63.05 c #Conflicts: 87000 | #Constraints: 14340 62.78/63.05 c #Conflicts: 88000 | #Constraints: 15345 62.78/63.05 c #Conflicts: 89000 | #Constraints: 16351 62.78/63.05 c #Conflicts: 90000 | #Constraints: 17354 62.78/63.05 c INPROCESSING 62.78/63.05 c GARBAGE COLLECT 62.78/63.05 c rational objective 13.4606 72.14/72.41 c #Conflicts: 91000 | #Constraints: 12323 72.14/72.41 c #Conflicts: 92000 | #Constraints: 13323 72.14/72.41 c #Conflicts: 93000 | #Constraints: 14323 72.14/72.41 c #Conflicts: 94000 | #Constraints: 15323 72.14/72.41 c #Conflicts: 95000 | #Constraints: 16323 72.14/72.41 c #Conflicts: 96000 | #Constraints: 17323 72.14/72.41 c INPROCESSING 72.14/72.41 c GARBAGE COLLECT 72.14/72.41 c rational objective 13.4606 103.82/104.24 c #Conflicts: 97000 | #Constraints: 12113 103.82/104.24 c #Conflicts: 98000 | #Constraints: 13119 103.82/104.24 c #Conflicts: 99000 | #Constraints: 14124 103.82/104.24 c #Conflicts: 100000 | #Constraints: 15129 103.82/104.24 c #Conflicts: 101000 | #Constraints: 16135 103.82/104.24 c #Conflicts: 102000 | #Constraints: 17143 103.82/104.24 c #Conflicts: 103000 | #Constraints: 18146 103.82/104.24 c #Conflicts: 104000 | #Constraints: 19149 103.82/104.24 c #Conflicts: 105000 | #Constraints: 20156 103.82/104.24 c #Conflicts: 106000 | #Constraints: 21160 103.82/104.24 c #Conflicts: 107000 | #Constraints: 22163 103.82/104.24 c #Conflicts: 108000 | #Constraints: 23168 103.82/104.24 c #Conflicts: 109000 | #Constraints: 24172 103.82/104.24 c #Conflicts: 110000 | #Constraints: 25179 103.82/104.24 c #Conflicts: 111000 | #Constraints: 26182 103.82/104.24 c #Conflicts: 112000 | #Constraints: 27187 103.82/104.24 c #Conflicts: 113000 | #Constraints: 28191 103.82/104.24 c #Conflicts: 114000 | #Constraints: 29194 103.82/104.24 c #Conflicts: 115000 | #Constraints: 30197 103.82/104.24 c #Conflicts: 116000 | #Constraints: 31202 103.82/104.24 c #Conflicts: 117000 | #Constraints: 32212 103.82/104.24 c #Conflicts: 118000 | #Constraints: 33217 103.82/104.24 c #Conflicts: 119000 | #Constraints: 34222 103.82/104.24 c #Conflicts: 120000 | #Constraints: 35228 103.82/104.24 c #Conflicts: 121000 | #Constraints: 36235 103.82/104.24 c #Conflicts: 122000 | #Constraints: 37239 103.82/104.24 c #Conflicts: 123000 | #Constraints: 38244 103.82/104.24 c #Conflicts: 124000 | #Constraints: 39247 103.82/104.24 c INPROCESSING 103.82/104.24 c GARBAGE COLLECT 103.82/104.24 c rational objective 13.4606 126.05/126.56 c #Conflicts: 125000 | #Constraints: 22974 126.05/126.56 c #Conflicts: 126000 | #Constraints: 23974 126.05/126.56 c #Conflicts: 127000 | #Constraints: 24974 126.05/126.56 c #Conflicts: 128000 | #Constraints: 25974 126.05/126.56 c #Conflicts: 129000 | #Constraints: 26974 126.05/126.56 c #Conflicts: 130000 | #Constraints: 27974 126.05/126.56 c bounds 22 >= 13 @ 118.018 126.05/126.56 c #Conflicts: 131000 | #Constraints: 29006 126.05/126.56 c #Conflicts: 132000 | #Constraints: 30006 126.05/126.56 c INPROCESSING 126.05/126.56 c GARBAGE COLLECT 126.05/126.56 c rational objective 13.4606 134.72/135.20 c #Conflicts: 133000 | #Constraints: 18520 134.72/135.20 c #Conflicts: 134000 | #Constraints: 19521 134.72/135.20 c #Conflicts: 135000 | #Constraints: 20526 134.72/135.20 c #Conflicts: 136000 | #Constraints: 21529 134.72/135.20 c #Conflicts: 137000 | #Constraints: 22532 134.72/135.20 c #Conflicts: 138000 | #Constraints: 23536 134.72/135.20 c #Conflicts: 139000 | #Constraints: 24542 134.72/135.20 c #Conflicts: 140000 | #Constraints: 25549 134.72/135.20 c INPROCESSING 134.72/135.20 c GARBAGE COLLECT 134.72/135.20 c rational objective 13.4606 151.16/151.75 c #Conflicts: 141000 | #Constraints: 16342 151.16/151.75 c #Conflicts: 142000 | #Constraints: 17342 151.16/151.75 c #Conflicts: 143000 | #Constraints: 18342 151.16/151.75 c #Conflicts: 144000 | #Constraints: 19342 151.16/151.75 c #Conflicts: 145000 | #Constraints: 20342 151.16/151.75 c #Conflicts: 146000 | #Constraints: 21342 151.16/151.75 c #Conflicts: 147000 | #Constraints: 22342 151.16/151.75 c #Conflicts: 148000 | #Constraints: 23342 151.16/151.75 c INPROCESSING 151.16/151.75 c GARBAGE COLLECT 151.16/151.75 c rational objective 13.4606 158.74/159.31 c #Conflicts: 149000 | #Constraints: 15192 158.74/159.31 c #Conflicts: 150000 | #Constraints: 16195 158.74/159.31 c #Conflicts: 151000 | #Constraints: 17202 158.74/159.31 c #Conflicts: 152000 | #Constraints: 18207 158.74/159.31 c #Conflicts: 153000 | #Constraints: 19212 158.74/159.31 c #Conflicts: 154000 | #Constraints: 20217 158.74/159.31 c #Conflicts: 155000 | #Constraints: 21225 158.74/159.31 c #Conflicts: 156000 | #Constraints: 22228 158.74/159.31 c INPROCESSING 158.74/159.31 c GARBAGE COLLECT 158.74/159.31 c rational objective 13.4606 209.86/210.67 c #Conflicts: 157000 | #Constraints: 14481 209.86/210.67 c #Conflicts: 158000 | #Constraints: 15486 209.86/210.67 c #Conflicts: 159000 | #Constraints: 16494 209.86/210.67 c #Conflicts: 160000 | #Constraints: 17499 209.86/210.67 c #Conflicts: 161000 | #Constraints: 18505 209.86/210.67 c #Conflicts: 162000 | #Constraints: 19509 209.86/210.67 c #Conflicts: 163000 | #Constraints: 20514 209.86/210.67 c #Conflicts: 164000 | #Constraints: 21522 209.86/210.67 c #Conflicts: 165000 | #Constraints: 22526 209.86/210.67 c #Conflicts: 166000 | #Constraints: 23532 209.86/210.67 c #Conflicts: 167000 | #Constraints: 24535 209.86/210.67 c #Conflicts: 168000 | #Constraints: 25542 209.86/210.67 c #Conflicts: 169000 | #Constraints: 26545 209.86/210.67 c #Conflicts: 170000 | #Constraints: 27548 209.86/210.67 c #Conflicts: 171000 | #Constraints: 28552 209.86/210.67 c #Conflicts: 172000 | #Constraints: 29556 209.86/210.67 c #Conflicts: 173000 | #Constraints: 30558 209.86/210.67 c #Conflicts: 174000 | #Constraints: 31564 209.86/210.67 c #Conflicts: 175000 | #Constraints: 32572 209.86/210.67 c #Conflicts: 176000 | #Constraints: 33575 209.86/210.68 c #Conflicts: 177000 | #Constraints: 34579 209.86/210.68 c #Conflicts: 178000 | #Constraints: 35582 209.86/210.68 c #Conflicts: 179000 | #Constraints: 36586 209.86/210.68 c #Conflicts: 180000 | #Constraints: 37589 209.86/210.68 c #Conflicts: 181000 | #Constraints: 38593 209.86/210.68 c #Conflicts: 182000 | #Constraints: 39596 209.86/210.68 c #Conflicts: 183000 | #Constraints: 40600 209.86/210.68 c #Conflicts: 184000 | #Constraints: 41605 209.86/210.68 c #Conflicts: 185000 | #Constraints: 42610 209.86/210.68 c #Conflicts: 186000 | #Constraints: 43616 209.86/210.68 c #Conflicts: 187000 | #Constraints: 44619 209.86/210.68 c #Conflicts: 188000 | #Constraints: 45624 209.86/210.68 c #Conflicts: 189000 | #Constraints: 46628 209.86/210.68 c #Conflicts: 190000 | #Constraints: 47632 209.86/210.68 c #Conflicts: 191000 | #Constraints: 48636 209.86/210.68 c INPROCESSING 209.86/210.68 c GARBAGE COLLECT 209.86/210.68 c rational objective 13.4606 243.15/244.05 c #Conflicts: 192000 | #Constraints: 27885 243.15/244.05 c #Conflicts: 193000 | #Constraints: 28886 243.15/244.05 c #Conflicts: 194000 | #Constraints: 29886 243.15/244.05 c #Conflicts: 195000 | #Constraints: 30886 243.15/244.05 c #Conflicts: 196000 | #Constraints: 31886 243.15/244.05 c #Conflicts: 197000 | #Constraints: 32886 243.15/244.05 c #Conflicts: 198000 | #Constraints: 33886 243.15/244.05 c #Conflicts: 199000 | #Constraints: 34886 243.15/244.05 c #Conflicts: 200000 | #Constraints: 35886 243.15/244.05 c #Conflicts: 201000 | #Constraints: 36887 243.15/244.05 c INPROCESSING 243.15/244.05 c GARBAGE COLLECT 243.15/244.05 c rational objective 13.4606 273.54/274.59 c #Conflicts: 202000 | #Constraints: 22216 273.54/274.59 c #Conflicts: 203000 | #Constraints: 23216 273.54/274.59 c #Conflicts: 204000 | #Constraints: 24216 273.54/274.59 c #Conflicts: 205000 | #Constraints: 25216 273.54/274.59 c #Conflicts: 206000 | #Constraints: 26216 273.54/274.59 c #Conflicts: 207000 | #Constraints: 27216 273.54/274.59 c #Conflicts: 208000 | #Constraints: 28216 273.54/274.59 c #Conflicts: 209000 | #Constraints: 29216 273.54/274.59 c #Conflicts: 210000 | #Constraints: 30217 273.54/274.59 c INPROCESSING 273.54/274.59 c GARBAGE COLLECT 273.54/274.59 c rational objective 13.4606 285.59/286.60 c #Conflicts: 211000 | #Constraints: 18474 285.59/286.60 c #Conflicts: 212000 | #Constraints: 19474 285.59/286.60 c #Conflicts: 213000 | #Constraints: 20474 285.59/286.60 c #Conflicts: 214000 | #Constraints: 21474 285.59/286.60 c #Conflicts: 215000 | #Constraints: 22477 285.59/286.60 c #Conflicts: 216000 | #Constraints: 23483 285.59/286.60 c #Conflicts: 217000 | #Constraints: 24487 285.59/286.60 c #Conflicts: 218000 | #Constraints: 25491 285.59/286.60 c #Conflicts: 219000 | #Constraints: 26495 285.59/286.60 c #Conflicts: 220000 | #Constraints: 27498 285.59/286.60 c INPROCESSING 285.59/286.60 c GARBAGE COLLECT 285.59/286.60 c rational objective 13.4606 367.41/368.70 c #Conflicts: 221000 | #Constraints: 17120 367.41/368.70 c #Conflicts: 222000 | #Constraints: 18126 367.41/368.70 c #Conflicts: 223000 | #Constraints: 19130 367.41/368.70 c #Conflicts: 224000 | #Constraints: 20132 367.41/368.70 c #Conflicts: 225000 | #Constraints: 21136 367.41/368.70 c #Conflicts: 226000 | #Constraints: 22138 367.41/368.70 c #Conflicts: 227000 | #Constraints: 23141 367.41/368.70 c #Conflicts: 228000 | #Constraints: 24144 367.41/368.70 c #Conflicts: 229000 | #Constraints: 25147 367.41/368.70 c #Conflicts: 230000 | #Constraints: 26150 367.41/368.70 c #Conflicts: 231000 | #Constraints: 27153 367.41/368.70 c #Conflicts: 232000 | #Constraints: 28156 367.41/368.70 c #Conflicts: 233000 | #Constraints: 29161 367.41/368.70 c #Conflicts: 234000 | #Constraints: 30165 367.41/368.70 c #Conflicts: 235000 | #Constraints: 31169 367.41/368.70 c #Conflicts: 236000 | #Constraints: 32172 367.41/368.70 c #Conflicts: 237000 | #Constraints: 33176 367.41/368.70 c #Conflicts: 238000 | #Constraints: 34179 367.41/368.70 c #Conflicts: 239000 | #Constraints: 35182 367.41/368.70 c #Conflicts: 240000 | #Constraints: 36185 367.41/368.70 c #Conflicts: 241000 | #Constraints: 37190 367.41/368.70 c #Conflicts: 242000 | #Constraints: 38195 367.41/368.70 c #Conflicts: 243000 | #Constraints: 39199 367.41/368.70 c #Conflicts: 244000 | #Constraints: 40203 367.41/368.70 c #Conflicts: 245000 | #Constraints: 41208 367.41/368.70 c #Conflicts: 246000 | #Constraints: 42216 367.41/368.70 c #Conflicts: 247000 | #Constraints: 43223 367.41/368.70 c #Conflicts: 248000 | #Constraints: 44227 367.41/368.70 c #Conflicts: 249000 | #Constraints: 45231 367.41/368.70 c #Conflicts: 250000 | #Constraints: 46235 367.41/368.70 c #Conflicts: 251000 | #Constraints: 47238 367.41/368.70 c #Conflicts: 252000 | #Constraints: 48242 367.41/368.70 c #Conflicts: 253000 | #Constraints: 49248 367.41/368.70 c #Conflicts: 254000 | #Constraints: 50252 367.41/368.70 c #Conflicts: 255000 | #Constraints: 51255 367.41/368.70 c #Conflicts: 256000 | #Constraints: 52262 367.41/368.70 c #Conflicts: 257000 | #Constraints: 53266 367.41/368.70 c #Conflicts: 258000 | #Constraints: 54269 367.41/368.70 c #Conflicts: 259000 | #Constraints: 55274 367.41/368.70 c #Conflicts: 260000 | #Constraints: 56276 367.41/368.70 c INPROCESSING 367.41/368.70 c GARBAGE COLLECT 367.41/368.70 c rational objective 13.4606 422.41/423.93 c #Conflicts: 261000 | #Constraints: 31556 422.41/423.93 c #Conflicts: 262000 | #Constraints: 32556 422.41/423.93 c #Conflicts: 263000 | #Constraints: 33556 422.41/423.93 c #Conflicts: 264000 | #Constraints: 34556 422.41/423.93 c #Conflicts: 265000 | #Constraints: 35558 422.41/423.93 c #Conflicts: 266000 | #Constraints: 36558 422.41/423.93 c #Conflicts: 267000 | #Constraints: 37558 422.41/423.93 c #Conflicts: 268000 | #Constraints: 38558 422.41/423.93 c #Conflicts: 269000 | #Constraints: 39558 422.41/423.93 c #Conflicts: 270000 | #Constraints: 40558 422.41/423.93 c #Conflicts: 271000 | #Constraints: 41558 422.41/423.93 c #Conflicts: 272000 | #Constraints: 42558 422.41/423.93 c INPROCESSING 422.41/423.93 c GARBAGE COLLECT 422.41/423.93 c rational objective 13.4606 439.86/441.44 c #Conflicts: 273000 | #Constraints: 25060 439.86/441.44 c #Conflicts: 274000 | #Constraints: 26066 439.86/441.44 c #Conflicts: 275000 | #Constraints: 27073 439.86/441.44 c #Conflicts: 276000 | #Constraints: 28077 439.86/441.44 c #Conflicts: 277000 | #Constraints: 29079 439.86/441.44 c #Conflicts: 278000 | #Constraints: 30083 439.86/441.44 c #Conflicts: 279000 | #Constraints: 31086 439.86/441.44 c #Conflicts: 280000 | #Constraints: 32089 439.86/441.44 c #Conflicts: 281000 | #Constraints: 33093 439.86/441.44 c #Conflicts: 282000 | #Constraints: 34097 439.86/441.44 c #Conflicts: 283000 | #Constraints: 35101 439.86/441.44 c INPROCESSING 439.86/441.44 c GARBAGE COLLECT 439.86/441.44 c rational objective 13.4606 482.51/484.23 c #Conflicts: 284000 | #Constraints: 21064 482.51/484.23 c #Conflicts: 285000 | #Constraints: 22064 482.51/484.23 c #Conflicts: 286000 | #Constraints: 23064 482.51/484.23 c #Conflicts: 287000 | #Constraints: 24064 482.51/484.23 c #Conflicts: 288000 | #Constraints: 25064 482.51/484.23 c #Conflicts: 289000 | #Constraints: 26064 482.51/484.23 c #Conflicts: 290000 | #Constraints: 27064 482.51/484.23 c #Conflicts: 291000 | #Constraints: 28064 482.51/484.23 c #Conflicts: 292000 | #Constraints: 29064 482.51/484.23 c #Conflicts: 293000 | #Constraints: 30064 482.51/484.23 c #Conflicts: 294000 | #Constraints: 31064 482.51/484.23 c #Conflicts: 295000 | #Constraints: 32064 482.51/484.23 c INPROCESSING 482.51/484.23 c GARBAGE COLLECT 482.51/484.23 c rational objective 13.4606 576.59/578.63 c #Conflicts: 296000 | #Constraints: 19712 576.59/578.63 c #Conflicts: 297000 | #Constraints: 20715 576.59/578.63 c #Conflicts: 298000 | #Constraints: 21723 576.59/578.63 c #Conflicts: 299000 | #Constraints: 22727 576.59/578.63 c #Conflicts: 300000 | #Constraints: 23733 576.59/578.63 c #Conflicts: 301000 | #Constraints: 24737 576.59/578.63 c #Conflicts: 302000 | #Constraints: 25742 576.59/578.63 c #Conflicts: 303000 | #Constraints: 26747 576.59/578.63 c #Conflicts: 304000 | #Constraints: 27750 576.59/578.63 c #Conflicts: 305000 | #Constraints: 28754 576.59/578.63 c #Conflicts: 306000 | #Constraints: 29757 576.59/578.63 c #Conflicts: 307000 | #Constraints: 30760 576.59/578.63 c #Conflicts: 308000 | #Constraints: 31766 576.59/578.63 c #Conflicts: 309000 | #Constraints: 32772 576.59/578.63 c #Conflicts: 310000 | #Constraints: 33776 576.59/578.63 c #Conflicts: 311000 | #Constraints: 34780 576.59/578.63 c #Conflicts: 312000 | #Constraints: 35783 576.59/578.63 c #Conflicts: 313000 | #Constraints: 36786 576.59/578.63 c #Conflicts: 314000 | #Constraints: 37791 576.59/578.63 c #Conflicts: 315000 | #Constraints: 38795 576.59/578.63 c #Conflicts: 316000 | #Constraints: 39800 576.59/578.63 c #Conflicts: 317000 | #Constraints: 40804 576.59/578.63 c #Conflicts: 318000 | #Constraints: 41812 576.59/578.63 c #Conflicts: 319000 | #Constraints: 42820 576.59/578.63 c #Conflicts: 320000 | #Constraints: 43826 576.59/578.63 c #Conflicts: 321000 | #Constraints: 44833 576.59/578.63 c #Conflicts: 322000 | #Constraints: 45843 576.59/578.63 c #Conflicts: 323000 | #Constraints: 46849 576.59/578.63 c #Conflicts: 324000 | #Constraints: 47856 576.59/578.63 c #Conflicts: 325000 | #Constraints: 48863 576.59/578.63 c #Conflicts: 326000 | #Constraints: 49869 576.59/578.63 c #Conflicts: 327000 | #Constraints: 50876 576.59/578.63 c #Conflicts: 328000 | #Constraints: 51886 576.59/578.63 c #Conflicts: 329000 | #Constraints: 52897 576.59/578.63 c #Conflicts: 330000 | #Constraints: 53905 576.59/578.63 c #Conflicts: 331000 | #Constraints: 54912 576.59/578.63 c #Conflicts: 332000 | #Constraints: 55920 576.59/578.63 c #Conflicts: 333000 | #Constraints: 56929 576.59/578.63 c #Conflicts: 334000 | #Constraints: 57934 576.59/578.63 c #Conflicts: 335000 | #Constraints: 58938 576.59/578.63 c #Conflicts: 336000 | #Constraints: 59943 576.59/578.63 c #Conflicts: 337000 | #Constraints: 60946 576.59/578.63 c #Conflicts: 338000 | #Constraints: 61948 576.59/578.63 c #Conflicts: 339000 | #Constraints: 62952 576.59/578.63 c #Conflicts: 340000 | #Constraints: 63956 576.59/578.63 c INPROCESSING 576.59/578.63 c GARBAGE COLLECT 576.59/578.63 c rational objective 13.4606 653.91/656.23 c #Conflicts: 341000 | #Constraints: 35548 653.91/656.23 c #Conflicts: 342000 | #Constraints: 36548 653.91/656.23 c #Conflicts: 343000 | #Constraints: 37549 653.91/656.23 c #Conflicts: 344000 | #Constraints: 38549 653.91/656.23 c #Conflicts: 345000 | #Constraints: 39549 653.91/656.23 c #Conflicts: 346000 | #Constraints: 40549 653.91/656.23 c #Conflicts: 347000 | #Constraints: 41549 653.91/656.23 c #Conflicts: 348000 | #Constraints: 42550 653.91/656.23 c #Conflicts: 349000 | #Constraints: 43550 653.91/656.23 c #Conflicts: 350000 | #Constraints: 44551 653.91/656.23 c #Conflicts: 351000 | #Constraints: 45551 653.91/656.23 c #Conflicts: 352000 | #Constraints: 46551 653.91/656.23 c #Conflicts: 353000 | #Constraints: 47551 653.91/656.23 c INPROCESSING 653.91/656.23 c GARBAGE COLLECT 653.91/656.23 c rational objective 13.4606 675.34/677.75 c #Conflicts: 354000 | #Constraints: 27353 675.34/677.75 c #Conflicts: 355000 | #Constraints: 28353 675.34/677.75 c #Conflicts: 356000 | #Constraints: 29353 675.34/677.75 c #Conflicts: 357000 | #Constraints: 30353 675.34/677.75 c #Conflicts: 358000 | #Constraints: 31353 675.34/677.75 c #Conflicts: 359000 | #Constraints: 32353 675.34/677.75 c #Conflicts: 360000 | #Constraints: 33353 675.34/677.75 c #Conflicts: 361000 | #Constraints: 34357 675.34/677.75 c #Conflicts: 362000 | #Constraints: 35360 675.34/677.75 c #Conflicts: 363000 | #Constraints: 36365 675.34/677.75 c #Conflicts: 364000 | #Constraints: 37367 675.34/677.75 c #Conflicts: 365000 | #Constraints: 38371 675.34/677.75 c #Conflicts: 366000 | #Constraints: 39373 675.34/677.75 c INPROCESSING 675.34/677.75 c GARBAGE COLLECT 675.34/677.75 c rational objective 13.4606 737.74/740.38 c #Conflicts: 367000 | #Constraints: 23154 737.74/740.38 c #Conflicts: 368000 | #Constraints: 24154 737.74/740.38 c #Conflicts: 369000 | #Constraints: 25154 737.74/740.38 c #Conflicts: 370000 | #Constraints: 26154 737.74/740.38 c #Conflicts: 371000 | #Constraints: 27154 737.74/740.38 c #Conflicts: 372000 | #Constraints: 28154 737.74/740.38 c #Conflicts: 373000 | #Constraints: 29155 737.74/740.38 c #Conflicts: 374000 | #Constraints: 30155 737.74/740.38 c #Conflicts: 375000 | #Constraints: 31155 737.74/740.38 c #Conflicts: 376000 | #Constraints: 32155 737.74/740.38 c #Conflicts: 377000 | #Constraints: 33155 737.74/740.38 c #Conflicts: 378000 | #Constraints: 34155 737.74/740.38 c #Conflicts: 379000 | #Constraints: 35155 737.74/740.38 c #Conflicts: 380000 | #Constraints: 36155 737.74/740.38 c INPROCESSING 737.74/740.38 c GARBAGE COLLECT 737.74/740.38 c rational objective 13.4606 877.57/880.69 c #Conflicts: 381000 | #Constraints: 22944 877.57/880.69 c #Conflicts: 382000 | #Constraints: 23948 877.57/880.69 c #Conflicts: 383000 | #Constraints: 24953 877.57/880.69 c #Conflicts: 384000 | #Constraints: 25955 877.57/880.69 c #Conflicts: 385000 | #Constraints: 26959 877.57/880.69 c #Conflicts: 386000 | #Constraints: 27967 877.57/880.69 c #Conflicts: 387000 | #Constraints: 28973 877.57/880.69 c #Conflicts: 388000 | #Constraints: 29977 877.57/880.69 c #Conflicts: 389000 | #Constraints: 30982 877.57/880.69 c #Conflicts: 390000 | #Constraints: 31986 877.57/880.69 c #Conflicts: 391000 | #Constraints: 32992 877.57/880.69 c #Conflicts: 392000 | #Constraints: 33995 877.57/880.69 c #Conflicts: 393000 | #Constraints: 34999 877.57/880.69 c #Conflicts: 394000 | #Constraints: 36005 877.57/880.69 c #Conflicts: 395000 | #Constraints: 37007 877.57/880.69 c #Conflicts: 396000 | #Constraints: 38011 877.57/880.69 c #Conflicts: 397000 | #Constraints: 39015 877.57/880.69 c #Conflicts: 398000 | #Constraints: 40017 877.57/880.69 c #Conflicts: 399000 | #Constraints: 41020 877.57/880.69 c #Conflicts: 400000 | #Constraints: 42023 877.57/880.69 c #Conflicts: 401000 | #Constraints: 43026 877.57/880.69 c #Conflicts: 402000 | #Constraints: 44029 877.57/880.69 c #Conflicts: 403000 | #Constraints: 45032 877.57/880.69 c #Conflicts: 404000 | #Constraints: 46039 877.57/880.69 c #Conflicts: 405000 | #Constraints: 47046 877.57/880.69 c #Conflicts: 406000 | #Constraints: 48050 877.57/880.69 c #Conflicts: 407000 | #Constraints: 49054 877.57/880.69 c #Conflicts: 408000 | #Constraints: 50059 877.57/880.69 c #Conflicts: 409000 | #Constraints: 51062 877.57/880.69 c #Conflicts: 410000 | #Constraints: 52065 877.57/880.69 c #Conflicts: 411000 | #Constraints: 53069 877.57/880.69 c #Conflicts: 412000 | #Constraints: 54071 877.57/880.69 c #Conflicts: 413000 | #Constraints: 55074 877.57/880.69 c #Conflicts: 414000 | #Constraints: 56077 877.57/880.69 c #Conflicts: 415000 | #Constraints: 57082 877.57/880.69 c #Conflicts: 416000 | #Constraints: 58085 877.57/880.69 c #Conflicts: 417000 | #Constraints: 59089 877.57/880.69 c #Conflicts: 418000 | #Constraints: 60094 877.57/880.69 c #Conflicts: 419000 | #Constraints: 61097 877.57/880.69 c #Conflicts: 420000 | #Constraints: 62100 877.57/880.69 c #Conflicts: 421000 | #Constraints: 63103 877.57/880.69 c #Conflicts: 422000 | #Constraints: 64105 877.57/880.69 c #Conflicts: 423000 | #Constraints: 65108 877.57/880.69 c #Conflicts: 424000 | #Constraints: 66112 877.57/880.69 c #Conflicts: 425000 | #Constraints: 67114 877.57/880.69 c #Conflicts: 426000 | #Constraints: 68117 877.57/880.69 c #Conflicts: 427000 | #Constraints: 69119 877.57/880.69 c #Conflicts: 428000 | #Constraints: 70122 877.57/880.69 c #Conflicts: 429000 | #Constraints: 71124 877.57/880.69 c #Conflicts: 430000 | #Constraints: 72128 877.57/880.69 c INPROCESSING 877.57/880.69 c GARBAGE COLLECT 877.57/880.69 c rational objective 13.4606 980.74/984.14 c #Conflicts: 431000 | #Constraints: 39587 980.74/984.14 c #Conflicts: 432000 | #Constraints: 40587 980.74/984.14 c #Conflicts: 433000 | #Constraints: 41587 980.74/984.14 c #Conflicts: 434000 | #Constraints: 42588 980.74/984.14 c #Conflicts: 435000 | #Constraints: 43588 980.74/984.14 c #Conflicts: 436000 | #Constraints: 44588 980.74/984.14 c #Conflicts: 437000 | #Constraints: 45588 980.74/984.14 c #Conflicts: 438000 | #Constraints: 46588 980.74/984.14 c #Conflicts: 439000 | #Constraints: 47588 980.74/984.14 c #Conflicts: 440000 | #Constraints: 48588 980.74/984.14 c #Conflicts: 441000 | #Constraints: 49589 980.74/984.14 c #Conflicts: 442000 | #Constraints: 50589 980.74/984.14 c #Conflicts: 443000 | #Constraints: 51589 980.74/984.14 c #Conflicts: 444000 | #Constraints: 52589 980.74/984.14 c #Conflicts: 445000 | #Constraints: 53589 980.74/984.14 c INPROCESSING 980.74/984.14 c GARBAGE COLLECT 980.74/984.14 c rational objective 13.4606 1004.95/1008.40 c #Conflicts: 446000 | #Constraints: 30479 1004.95/1008.40 c #Conflicts: 447000 | #Constraints: 31485 1004.95/1008.40 c #Conflicts: 448000 | #Constraints: 32495 1004.95/1008.40 c #Conflicts: 449000 | #Constraints: 33501 1004.95/1008.40 c #Conflicts: 450000 | #Constraints: 34506 1004.95/1008.40 c #Conflicts: 451000 | #Constraints: 35510 1004.95/1008.40 c #Conflicts: 452000 | #Constraints: 36513 1004.95/1008.40 c #Conflicts: 453000 | #Constraints: 37516 1004.95/1008.40 c #Conflicts: 454000 | #Constraints: 38520 1004.95/1008.40 c #Conflicts: 455000 | #Constraints: 39526 1004.95/1008.40 c #Conflicts: 456000 | #Constraints: 40528 1004.95/1008.40 c #Conflicts: 457000 | #Constraints: 41534 1004.95/1008.40 c #Conflicts: 458000 | #Constraints: 42537 1004.95/1008.40 c #Conflicts: 459000 | #Constraints: 43541 1004.95/1008.40 c #Conflicts: 460000 | #Constraints: 44546 1004.95/1008.40 c INPROCESSING 1004.95/1008.40 c GARBAGE COLLECT 1004.95/1008.40 c rational objective 13.4606 1084.95/1088.70 c #Conflicts: 461000 | #Constraints: 25989 1084.95/1088.70 c #Conflicts: 462000 | #Constraints: 26989 1084.95/1088.70 c #Conflicts: 463000 | #Constraints: 27989 1084.95/1088.70 c #Conflicts: 464000 | #Constraints: 28989 1084.95/1088.70 c #Conflicts: 465000 | #Constraints: 29989 1084.95/1088.70 c #Conflicts: 466000 | #Constraints: 30989 1084.95/1088.70 c #Conflicts: 467000 | #Constraints: 31989 1084.95/1088.70 c #Conflicts: 468000 | #Constraints: 32990 1084.95/1088.70 c #Conflicts: 469000 | #Constraints: 33990 1084.95/1088.70 c #Conflicts: 470000 | #Constraints: 34990 1084.95/1088.70 c #Conflicts: 471000 | #Constraints: 35990 1084.95/1088.70 c #Conflicts: 472000 | #Constraints: 36990 1084.95/1088.70 c #Conflicts: 473000 | #Constraints: 37991 1084.95/1088.70 c #Conflicts: 474000 | #Constraints: 38991 1084.95/1088.70 c #Conflicts: 475000 | #Constraints: 39991 1084.95/1088.70 c INPROCESSING 1084.95/1088.70 c GARBAGE COLLECT 1084.95/1088.70 c rational objective 13.4606 1280.66/1285.28 c #Conflicts: 476000 | #Constraints: 26471 1280.66/1285.28 c #Conflicts: 477000 | #Constraints: 27472 1280.66/1285.28 c #Conflicts: 478000 | #Constraints: 28475 1280.66/1285.28 c #Conflicts: 479000 | #Constraints: 29480 1280.66/1285.28 c #Conflicts: 480000 | #Constraints: 30484 1280.66/1285.28 c #Conflicts: 481000 | #Constraints: 31488 1280.66/1285.28 c #Conflicts: 482000 | #Constraints: 32494 1280.66/1285.28 c #Conflicts: 483000 | #Constraints: 33497 1280.66/1285.28 c #Conflicts: 484000 | #Constraints: 34502 1280.66/1285.28 c #Conflicts: 485000 | #Constraints: 35504 1280.66/1285.28 c #Conflicts: 486000 | #Constraints: 36508 1280.66/1285.28 c #Conflicts: 487000 | #Constraints: 37510 1280.66/1285.28 c #Conflicts: 488000 | #Constraints: 38515 1280.66/1285.28 c #Conflicts: 489000 | #Constraints: 39520 1280.66/1285.28 c #Conflicts: 490000 | #Constraints: 40524 1280.66/1285.28 c #Conflicts: 491000 | #Constraints: 41527 1280.66/1285.28 c #Conflicts: 492000 | #Constraints: 42530 1280.66/1285.28 c #Conflicts: 493000 | #Constraints: 43533 1280.66/1285.28 c #Conflicts: 494000 | #Constraints: 44537 1280.66/1285.28 c #Conflicts: 495000 | #Constraints: 45540 1280.66/1285.28 c #Conflicts: 496000 | #Constraints: 46542 1280.66/1285.28 c #Conflicts: 497000 | #Constraints: 47546 1280.66/1285.28 c #Conflicts: 498000 | #Constraints: 48549 1280.66/1285.28 c #Conflicts: 499000 | #Constraints: 49555 1280.66/1285.28 c #Conflicts: 500000 | #Constraints: 50557 1280.66/1285.28 c #Conflicts: 501000 | #Constraints: 51559 1280.66/1285.28 c #Conflicts: 502000 | #Constraints: 52564 1280.66/1285.28 c #Conflicts: 503000 | #Constraints: 53565 1280.66/1285.28 c #Conflicts: 504000 | #Constraints: 54568 1280.66/1285.28 c #Conflicts: 505000 | #Constraints: 55572 1280.66/1285.28 c #Conflicts: 506000 | #Constraints: 56575 1280.66/1285.28 c #Conflicts: 507000 | #Constraints: 57579 1280.66/1285.28 c #Conflicts: 508000 | #Constraints: 58582 1280.66/1285.28 c #Conflicts: 509000 | #Constraints: 59587 1280.66/1285.28 c #Conflicts: 510000 | #Constraints: 60590 1280.66/1285.28 c #Conflicts: 511000 | #Constraints: 61592 1280.66/1285.28 c #Conflicts: 512000 | #Constraints: 62595 1280.66/1285.28 c #Conflicts: 513000 | #Constraints: 63597 1280.66/1285.28 c #Conflicts: 514000 | #Constraints: 64601 1280.66/1285.28 c #Conflicts: 515000 | #Constraints: 65604 1280.66/1285.28 c #Conflicts: 516000 | #Constraints: 66607 1280.66/1285.28 c #Conflicts: 517000 | #Constraints: 67610 1280.66/1285.28 c #Conflicts: 518000 | #Constraints: 68613 1280.66/1285.28 c #Conflicts: 519000 | #Constraints: 69620 1280.66/1285.28 c #Conflicts: 520000 | #Constraints: 70623 1280.66/1285.28 c #Conflicts: 521000 | #Constraints: 71625 1280.66/1285.28 c #Conflicts: 522000 | #Constraints: 72632 1280.66/1285.28 c #Conflicts: 523000 | #Constraints: 73641 1280.66/1285.28 c #Conflicts: 524000 | #Constraints: 74648 1280.66/1285.28 c #Conflicts: 525000 | #Constraints: 75652 1280.66/1285.28 c #Conflicts: 526000 | #Constraints: 76656 1280.66/1285.28 c #Conflicts: 527000 | #Constraints: 77662 1280.66/1285.28 c #Conflicts: 528000 | #Constraints: 78667 1280.66/1285.28 c #Conflicts: 529000 | #Constraints: 79670 1280.66/1285.28 c #Conflicts: 530000 | #Constraints: 80674 1280.66/1285.28 c #Conflicts: 531000 | #Constraints: 81678 1280.66/1285.28 c INPROCESSING 1280.66/1285.28 c GARBAGE COLLECT 1280.66/1285.28 c rational objective 13.4606 1427.24/1432.37 c #Conflicts: 532000 | #Constraints: 44610 1427.24/1432.37 c #Conflicts: 533000 | #Constraints: 45610 1427.24/1432.37 c #Conflicts: 534000 | #Constraints: 46610 1427.24/1432.37 c #Conflicts: 535000 | #Constraints: 47610 1427.24/1432.37 c #Conflicts: 536000 | #Constraints: 48611 1427.24/1432.37 c #Conflicts: 537000 | #Constraints: 49611 1427.24/1432.37 c #Conflicts: 538000 | #Constraints: 50611 1427.24/1432.37 c #Conflicts: 539000 | #Constraints: 51611 1427.24/1432.37 c #Conflicts: 540000 | #Constraints: 52611 1427.24/1432.37 c #Conflicts: 541000 | #Constraints: 53611 1427.24/1432.37 c #Conflicts: 542000 | #Constraints: 54611 1427.24/1432.37 c #Conflicts: 543000 | #Constraints: 55611 1427.24/1432.37 c #Conflicts: 544000 | #Constraints: 56611 1427.24/1432.37 c #Conflicts: 545000 | #Constraints: 57611 1427.24/1432.37 c #Conflicts: 546000 | #Constraints: 58611 1427.24/1432.37 c #Conflicts: 547000 | #Constraints: 59611 1427.24/1432.37 c INPROCESSING 1427.24/1432.37 c GARBAGE COLLECT 1427.24/1432.37 c rational objective 13.4606 1464.71/1470.00 c #Conflicts: 548000 | #Constraints: 33384 1464.71/1470.00 c #Conflicts: 549000 | #Constraints: 34394 1464.71/1470.00 c #Conflicts: 550000 | #Constraints: 35399 1464.71/1470.00 c #Conflicts: 551000 | #Constraints: 36407 1464.71/1470.00 c #Conflicts: 552000 | #Constraints: 37413 1464.71/1470.00 c #Conflicts: 553000 | #Constraints: 38417 1464.71/1470.00 c #Conflicts: 554000 | #Constraints: 39421 1464.71/1470.00 c #Conflicts: 555000 | #Constraints: 40424 1464.71/1470.00 c #Conflicts: 556000 | #Constraints: 41427 1464.71/1470.00 c #Conflicts: 557000 | #Constraints: 42434 1464.71/1470.00 c #Conflicts: 558000 | #Constraints: 43438 1464.71/1470.00 c #Conflicts: 559000 | #Constraints: 44441 1464.71/1470.00 c #Conflicts: 560000 | #Constraints: 45444 1464.71/1470.00 c #Conflicts: 561000 | #Constraints: 46449 1464.71/1470.00 c #Conflicts: 562000 | #Constraints: 47452 1464.71/1470.00 c #Conflicts: 563000 | #Constraints: 48456 1464.71/1470.00 c #Conflicts: 564000 | #Constraints: 49460 1464.71/1470.00 c INPROCESSING 1464.71/1470.00 c GARBAGE COLLECT 1464.71/1470.00 c rational objective 13.4606 2070.29/2077.49 c #Conflicts: 565000 | #Constraints: 29111 2070.29/2077.49 c #Conflicts: 566000 | #Constraints: 30111 2070.29/2077.49 c #Conflicts: 567000 | #Constraints: 31111 2070.29/2077.49 c #Conflicts: 568000 | #Constraints: 32111 2070.29/2077.49 c #Conflicts: 569000 | #Constraints: 33111 2070.29/2077.49 c #Conflicts: 570000 | #Constraints: 34111 2070.29/2077.49 c #Conflicts: 571000 | #Constraints: 35111 2070.29/2077.49 c #Conflicts: 572000 | #Constraints: 36111 2070.29/2077.49 c #Conflicts: 573000 | #Constraints: 37111 2070.29/2077.49 c #Conflicts: 574000 | #Constraints: 38111 2070.29/2077.49 c #Conflicts: 575000 | #Constraints: 39111 2070.29/2077.49 c #Conflicts: 576000 | #Constraints: 40111 2070.29/2077.49 c #Conflicts: 577000 | #Constraints: 41111 2070.29/2077.49 c #Conflicts: 578000 | #Constraints: 42111 2070.29/2077.49 c #Conflicts: 579000 | #Constraints: 43112 2070.29/2077.49 c #Conflicts: 580000 | #Constraints: 44112 2070.29/2077.49 c #Conflicts: 581000 | #Constraints: 45112 2070.29/2077.49 c #Conflicts: 582000 | #Constraints: 46112 2070.29/2077.49 c #Conflicts: 583000 | #Constraints: 47112 2070.29/2077.49 c #Conflicts: 584000 | #Constraints: 48112 2070.29/2077.49 c #Conflicts: 585000 | #Constraints: 49112 2070.29/2077.49 c #Conflicts: 586000 | #Constraints: 50112 2070.29/2077.49 c #Conflicts: 587000 | #Constraints: 51112 2070.29/2077.49 c #Conflicts: 588000 | #Constraints: 52113 2070.29/2077.49 c #Conflicts: 589000 | #Constraints: 53113 2070.29/2077.49 c #Conflicts: 590000 | #Constraints: 54113 2070.29/2077.49 c #Conflicts: 591000 | #Constraints: 55113 2070.29/2077.49 c #Conflicts: 592000 | #Constraints: 56113 2070.29/2077.49 c #Conflicts: 593000 | #Constraints: 57113 2070.29/2077.49 c #Conflicts: 594000 | #Constraints: 58113 2070.29/2077.49 c #Conflicts: 595000 | #Constraints: 59113 2070.29/2077.49 c #Conflicts: 596000 | #Constraints: 60113 2070.29/2077.49 c #Conflicts: 597000 | #Constraints: 61113 2070.29/2077.49 c #Conflicts: 598000 | #Constraints: 62113 2070.29/2077.49 c #Conflicts: 599000 | #Constraints: 63113 2070.29/2077.49 c #Conflicts: 600000 | #Constraints: 64113 2070.29/2077.49 c #Conflicts: 601000 | #Constraints: 65113 2070.29/2077.49 c #Conflicts: 602000 | #Constraints: 66113 2070.29/2077.49 c #Conflicts: 603000 | #Constraints: 67113 2070.29/2077.49 c #Conflicts: 604000 | #Constraints: 68114 2070.29/2077.49 c #Conflicts: 605000 | #Constraints: 69114 2070.29/2077.49 c #Conflicts: 606000 | #Constraints: 70114 2070.29/2077.49 c #Conflicts: 607000 | #Constraints: 71114 2070.29/2077.49 c #Conflicts: 608000 | #Constraints: 72114 2070.29/2077.49 c #Conflicts: 609000 | #Constraints: 73114 2070.29/2077.49 c #Conflicts: 610000 | #Constraints: 74114 2070.29/2077.49 c #Conflicts: 611000 | #Constraints: 75114 2070.29/2077.49 c #Conflicts: 612000 | #Constraints: 76114 2070.29/2077.49 c #Conflicts: 613000 | #Constraints: 77114 2070.29/2077.49 c #Conflicts: 614000 | #Constraints: 78114 2070.29/2077.49 c #Conflicts: 615000 | #Constraints: 79114 2070.29/2077.49 c #Conflicts: 616000 | #Constraints: 80114 2070.29/2077.49 c #Conflicts: 617000 | #Constraints: 81114 2070.29/2077.49 c #Conflicts: 618000 | #Constraints: 82114 2070.29/2077.49 c #Conflicts: 619000 | #Constraints: 83114 2070.29/2077.49 c #Conflicts: 620000 | #Constraints: 84114 2070.29/2077.49 c #Conflicts: 621000 | #Constraints: 85114 2070.29/2077.49 c #Conflicts: 622000 | #Constraints: 86114 2070.29/2077.49 c #Conflicts: 623000 | #Constraints: 87114 2070.29/2077.49 c #Conflicts: 624000 | #Constraints: 88114 2070.29/2077.49 c INPROCESSING 2070.29/2077.49 c GARBAGE COLLECT 2070.29/2077.49 c rational objective 13.4606 2129.87/2137.27 c #Conflicts: 625000 | #Constraints: 47828 2129.87/2137.27 c #Conflicts: 626000 | #Constraints: 48833 2129.87/2137.27 c #Conflicts: 627000 | #Constraints: 49837 2129.87/2137.27 c #Conflicts: 628000 | #Constraints: 50840 2129.87/2137.27 c #Conflicts: 629000 | #Constraints: 51842 2129.87/2137.27 c #Conflicts: 630000 | #Constraints: 52849 2129.87/2137.27 c #Conflicts: 631000 | #Constraints: 53855 2129.87/2137.27 c #Conflicts: 632000 | #Constraints: 54861 2129.87/2137.27 c #Conflicts: 633000 | #Constraints: 55867 2129.87/2137.27 c #Conflicts: 634000 | #Constraints: 56873 2129.87/2137.27 c #Conflicts: 635000 | #Constraints: 57875 2129.87/2137.27 c #Conflicts: 636000 | #Constraints: 58879 2129.87/2137.27 c #Conflicts: 637000 | #Constraints: 59882 2129.87/2137.27 c #Conflicts: 638000 | #Constraints: 60886 2129.87/2137.27 c #Conflicts: 639000 | #Constraints: 61889 2129.87/2137.27 c #Conflicts: 640000 | #Constraints: 62892 2129.87/2137.27 c #Conflicts: 641000 | #Constraints: 63895 2129.87/2137.27 c INPROCESSING 2129.87/2137.27 c GARBAGE COLLECT 2129.87/2137.27 c rational objective 13.4606 2413.60/2422.09 c #Conflicts: 642000 | #Constraints: 38244 2413.60/2422.09 c #Conflicts: 643000 | #Constraints: 39248 2413.60/2422.09 c #Conflicts: 644000 | #Constraints: 40252 2413.60/2422.09 c #Conflicts: 645000 | #Constraints: 41259 2413.60/2422.09 c #Conflicts: 646000 | #Constraints: 42263 2413.60/2422.09 c #Conflicts: 647000 | #Constraints: 43268 2413.60/2422.09 c #Conflicts: 648000 | #Constraints: 44270 2413.60/2422.09 c #Conflicts: 649000 | #Constraints: 45273 2413.60/2422.09 c #Conflicts: 650000 | #Constraints: 46276 2413.60/2422.09 c #Conflicts: 651000 | #Constraints: 47280 2413.60/2422.09 c #Conflicts: 652000 | #Constraints: 48283 2413.60/2422.09 c #Conflicts: 653000 | #Constraints: 49287 2413.60/2422.09 c #Conflicts: 654000 | #Constraints: 50291 2413.60/2422.09 c #Conflicts: 655000 | #Constraints: 51297 2413.60/2422.09 c #Conflicts: 656000 | #Constraints: 52301 2413.60/2422.09 c #Conflicts: 657000 | #Constraints: 53307 2413.60/2422.09 c #Conflicts: 658000 | #Constraints: 54310 2413.60/2422.09 c #Conflicts: 659000 | #Constraints: 55314 2413.60/2422.09 c #Conflicts: 660000 | #Constraints: 56317 2413.60/2422.09 c #Conflicts: 661000 | #Constraints: 57320 2413.60/2422.09 c #Conflicts: 662000 | #Constraints: 58324 2413.60/2422.09 c #Conflicts: 663000 | #Constraints: 59329 2413.60/2422.09 c #Conflicts: 664000 | #Constraints: 60332 2413.60/2422.09 c #Conflicts: 665000 | #Constraints: 61335 2413.60/2422.09 c #Conflicts: 666000 | #Constraints: 62338 2413.60/2422.09 c #Conflicts: 667000 | #Constraints: 63342 2413.60/2422.09 c #Conflicts: 668000 | #Constraints: 64345 2413.60/2422.09 c #Conflicts: 669000 | #Constraints: 65349 2413.60/2422.09 c #Conflicts: 670000 | #Constraints: 66351 2413.60/2422.09 c #Conflicts: 671000 | #Constraints: 67356 2413.60/2422.09 c #Conflicts: 672000 | #Constraints: 68359 2413.60/2422.09 c #Conflicts: 673000 | #Constraints: 69363 2413.60/2422.09 c #Conflicts: 674000 | #Constraints: 70366 2413.60/2422.09 c #Conflicts: 675000 | #Constraints: 71369 2413.60/2422.09 c #Conflicts: 676000 | #Constraints: 72372 2413.60/2422.09 c #Conflicts: 677000 | #Constraints: 73375 2413.60/2422.09 c #Conflicts: 678000 | #Constraints: 74380 2413.60/2422.09 c #Conflicts: 679000 | #Constraints: 75386 2413.60/2422.09 c #Conflicts: 680000 | #Constraints: 76389 2413.60/2422.09 c #Conflicts: 681000 | #Constraints: 77391 2413.60/2422.09 c #Conflicts: 682000 | #Constraints: 78398 2413.60/2422.09 c #Conflicts: 683000 | #Constraints: 79401 2413.60/2422.09 c #Conflicts: 684000 | #Constraints: 80403 2413.60/2422.09 c #Conflicts: 685000 | #Constraints: 81406 2413.60/2422.09 c #Conflicts: 686000 | #Constraints: 82410 2413.60/2422.09 c #Conflicts: 687000 | #Constraints: 83414 2413.60/2422.09 c #Conflicts: 688000 | #Constraints: 84416 2413.60/2422.09 c #Conflicts: 689000 | #Constraints: 85419 2413.60/2422.09 c #Conflicts: 690000 | #Constraints: 86425 2413.60/2422.09 c #Conflicts: 691000 | #Constraints: 87427 2413.60/2422.09 c #Conflicts: 692000 | #Constraints: 88432 2413.60/2422.09 c #Conflicts: 693000 | #Constraints: 89436 2413.60/2422.09 c #Conflicts: 694000 | #Constraints: 90439 2413.60/2422.09 c #Conflicts: 695000 | #Constraints: 91443 2413.60/2422.09 c #Conflicts: 696000 | #Constraints: 92449 2413.60/2422.09 c #Conflicts: 697000 | #Constraints: 93452 2413.60/2422.09 c #Conflicts: 698000 | #Constraints: 94456 2413.60/2422.09 c #Conflicts: 699000 | #Constraints: 95458 2413.60/2422.09 c #Conflicts: 700000 | #Constraints: 96462 2413.60/2422.09 c #Conflicts: 701000 | #Constraints: 97465 2413.60/2422.09 c #Conflicts: 702000 | #Constraints: 98469 2413.60/2422.09 c #Conflicts: 703000 | #Constraints: 99472 2413.60/2422.09 c #Conflicts: 704000 | #Constraints: 100478 2413.60/2422.09 c #Conflicts: 705000 | #Constraints: 101480 2413.60/2422.09 c INPROCESSING 2413.60/2422.09 c GARBAGE COLLECT 2413.60/2422.09 c rational objective 13.4606 2505.92/2514.73 c #Conflicts: 706000 | #Constraints: 54512 2505.92/2514.73 c #Conflicts: 707000 | #Constraints: 55517 2505.92/2514.73 c #Conflicts: 708000 | #Constraints: 56521 2505.92/2514.73 c #Conflicts: 709000 | #Constraints: 57525 2505.92/2514.73 c #Conflicts: 710000 | #Constraints: 58529 2505.92/2514.73 c #Conflicts: 711000 | #Constraints: 59530 2505.92/2514.73 c #Conflicts: 712000 | #Constraints: 60535 2505.92/2514.73 c #Conflicts: 713000 | #Constraints: 61540 2505.92/2514.73 c #Conflicts: 714000 | #Constraints: 62545 2505.92/2514.73 c #Conflicts: 715000 | #Constraints: 63547 2505.92/2514.73 c #Conflicts: 716000 | #Constraints: 64549 2505.92/2514.73 c #Conflicts: 717000 | #Constraints: 65552 2505.92/2514.73 c #Conflicts: 718000 | #Constraints: 66556 2505.92/2514.73 c #Conflicts: 719000 | #Constraints: 67563 2505.92/2514.73 c #Conflicts: 720000 | #Constraints: 68571 2505.92/2514.73 c #Conflicts: 721000 | #Constraints: 69575 2505.92/2514.73 c #Conflicts: 722000 | #Constraints: 70580 2505.92/2514.73 c #Conflicts: 723000 | #Constraints: 71590 2505.92/2514.73 c #Conflicts: 724000 | #Constraints: 72595 2505.92/2514.73 c INPROCESSING 2505.92/2514.73 c GARBAGE COLLECT 2505.92/2514.73 c rational objective 13.4606 2570.15/2579.29 c #Conflicts: 725000 | #Constraints: 39969 2570.15/2579.29 c #Conflicts: 726000 | #Constraints: 40973 2570.15/2579.29 c #Conflicts: 727000 | #Constraints: 41977 2570.15/2579.29 c #Conflicts: 728000 | #Constraints: 42982 2570.15/2579.29 c #Conflicts: 729000 | #Constraints: 43987 2570.15/2579.29 c #Conflicts: 730000 | #Constraints: 44995 2570.15/2579.29 c #Conflicts: 731000 | #Constraints: 45998 2570.15/2579.29 c #Conflicts: 732000 | #Constraints: 47003 2570.15/2579.29 c #Conflicts: 733000 | #Constraints: 48008 2570.15/2579.29 c #Conflicts: 734000 | #Constraints: 49013 2570.15/2579.29 c #Conflicts: 735000 | #Constraints: 50017 2570.15/2579.29 c #Conflicts: 736000 | #Constraints: 51020 2570.15/2579.29 c #Conflicts: 737000 | #Constraints: 52023 2570.15/2579.29 c #Conflicts: 738000 | #Constraints: 53028 2570.15/2579.29 c #Conflicts: 739000 | #Constraints: 54030 2570.15/2579.29 c #Conflicts: 740000 | #Constraints: 55037 2570.15/2579.29 c #Conflicts: 741000 | #Constraints: 56041 2570.15/2579.29 c #Conflicts: 742000 | #Constraints: 57045 2570.15/2579.29 c #Conflicts: 743000 | #Constraints: 58048 2570.15/2579.29 c INPROCESSING 2570.15/2579.29 c GARBAGE COLLECT 2570.15/2579.29 c rational objective 13.4606 2893.23/2903.54 c #Conflicts: 744000 | #Constraints: 38541 2893.23/2903.54 c #Conflicts: 745000 | #Constraints: 39545 2893.23/2903.54 c #Conflicts: 746000 | #Constraints: 40548 2893.23/2903.54 c #Conflicts: 747000 | #Constraints: 41552 2893.23/2903.54 c #Conflicts: 748000 | #Constraints: 42557 2893.23/2903.54 c #Conflicts: 749000 | #Constraints: 43563 2893.23/2903.54 c #Conflicts: 750000 | #Constraints: 44567 2893.23/2903.54 c #Conflicts: 751000 | #Constraints: 45573 2893.23/2903.54 c #Conflicts: 752000 | #Constraints: 46578 2893.23/2903.54 c #Conflicts: 753000 | #Constraints: 47582 2893.23/2903.54 c #Conflicts: 754000 | #Constraints: 48586 2893.23/2903.54 c #Conflicts: 755000 | #Constraints: 49589 2893.23/2903.54 c #Conflicts: 756000 | #Constraints: 50593 2893.23/2903.54 c #Conflicts: 757000 | #Constraints: 51596 2893.23/2903.54 c #Conflicts: 758000 | #Constraints: 52600 2893.23/2903.54 c #Conflicts: 759000 | #Constraints: 53608 2893.23/2903.54 c #Conflicts: 760000 | #Constraints: 54611 2893.23/2903.54 c #Conflicts: 761000 | #Constraints: 55617 2893.23/2903.54 c #Conflicts: 762000 | #Constraints: 56620 2893.23/2903.54 c #Conflicts: 763000 | #Constraints: 57625 2893.23/2903.54 c #Conflicts: 764000 | #Constraints: 58628 2893.23/2903.54 c #Conflicts: 765000 | #Constraints: 59633 2893.23/2903.54 c #Conflicts: 766000 | #Constraints: 60637 2893.23/2903.54 c #Conflicts: 767000 | #Constraints: 61641 2893.23/2903.54 c #Conflicts: 768000 | #Constraints: 62644 2893.23/2903.54 c #Conflicts: 769000 | #Constraints: 63648 2893.23/2903.54 c #Conflicts: 770000 | #Constraints: 64655 2893.23/2903.54 c #Conflicts: 771000 | #Constraints: 65658 2893.23/2903.54 c #Conflicts: 772000 | #Constraints: 66660 2893.23/2903.54 c #Conflicts: 773000 | #Constraints: 67663 2893.23/2903.54 c #Conflicts: 774000 | #Constraints: 68666 2893.23/2903.54 c #Conflicts: 775000 | #Constraints: 69672 2893.23/2903.54 c #Conflicts: 776000 | #Constraints: 70675 2893.23/2903.54 c #Conflicts: 777000 | #Constraints: 71682 2893.23/2903.54 c #Conflicts: 778000 | #Constraints: 72685 2893.23/2903.54 c #Conflicts: 779000 | #Constraints: 73689 2893.23/2903.54 c #Conflicts: 780000 | #Constraints: 74696 2893.23/2903.54 c #Conflicts: 781000 | #Constraints: 75700 2893.23/2903.54 c #Conflicts: 782000 | #Constraints: 76705 2893.23/2903.54 c #Conflicts: 783000 | #Constraints: 77710 2893.23/2903.54 c #Conflicts: 784000 | #Constraints: 78714 2893.23/2903.54 c #Conflicts: 785000 | #Constraints: 79717 2893.23/2903.54 c #Conflicts: 786000 | #Constraints: 80722 2893.23/2903.54 c #Conflicts: 787000 | #Constraints: 81725 2893.23/2903.54 c #Conflicts: 788000 | #Constraints: 82732 2893.23/2903.54 c #Conflicts: 789000 | #Constraints: 83738 2893.23/2903.54 c #Conflicts: 790000 | #Constraints: 84740 2893.23/2903.54 c #Conflicts: 791000 | #Constraints: 85744 2893.23/2903.54 c #Conflicts: 792000 | #Constraints: 86747 2893.23/2903.54 c #Conflicts: 793000 | #Constraints: 87751 2893.23/2903.54 c #Conflicts: 794000 | #Constraints: 88753 2893.23/2903.54 c #Conflicts: 795000 | #Constraints: 89755 2893.23/2903.54 c #Conflicts: 796000 | #Constraints: 90760 2893.23/2903.54 c #Conflicts: 797000 | #Constraints: 91765 2893.23/2903.54 c #Conflicts: 798000 | #Constraints: 92768 2893.23/2903.54 c #Conflicts: 799000 | #Constraints: 93772 2893.23/2903.54 c #Conflicts: 800000 | #Constraints: 94776 2893.23/2903.54 c #Conflicts: 801000 | #Constraints: 95779 2893.23/2903.54 c #Conflicts: 802000 | #Constraints: 96782 2893.23/2903.54 c #Conflicts: 803000 | #Constraints: 97787 2893.23/2903.54 c #Conflicts: 804000 | #Constraints: 98789 2893.23/2903.54 c #Conflicts: 805000 | #Constraints: 99793 2893.23/2903.54 c #Conflicts: 806000 | #Constraints: 100795 2893.23/2903.54 c #Conflicts: 807000 | #Constraints: 101799 2893.23/2903.54 c #Conflicts: 808000 | #Constraints: 102802 2893.23/2903.54 c #Conflicts: 809000 | #Constraints: 103807 2893.23/2903.54 c #Conflicts: 810000 | #Constraints: 104810 2893.23/2903.54 c INPROCESSING 2893.23/2903.54 c GARBAGE COLLECT 2893.23/2903.54 c rational objective 13.4606 3106.42/3117.36 c #Conflicts: 811000 | #Constraints: 55720 3106.42/3117.36 c #Conflicts: 812000 | #Constraints: 56720 3106.42/3117.36 c #Conflicts: 813000 | #Constraints: 57720 3106.42/3117.36 c #Conflicts: 814000 | #Constraints: 58720 3106.42/3117.36 c #Conflicts: 815000 | #Constraints: 59720 3106.42/3117.36 c #Conflicts: 816000 | #Constraints: 60720 3106.42/3117.36 c #Conflicts: 817000 | #Constraints: 61720 3106.42/3117.36 c #Conflicts: 818000 | #Constraints: 62721 3106.42/3117.36 c #Conflicts: 819000 | #Constraints: 63721 3106.42/3117.36 c #Conflicts: 820000 | #Constraints: 64721 3106.42/3117.36 c #Conflicts: 821000 | #Constraints: 65722 3106.42/3117.36 c #Conflicts: 822000 | #Constraints: 66722 3106.42/3117.36 c #Conflicts: 823000 | #Constraints: 67722 3106.42/3117.36 c #Conflicts: 824000 | #Constraints: 68723 3106.42/3117.36 c #Conflicts: 825000 | #Constraints: 69723 3106.42/3117.36 c #Conflicts: 826000 | #Constraints: 70723 3106.42/3117.36 c #Conflicts: 827000 | #Constraints: 71723 3106.42/3117.36 c #Conflicts: 828000 | #Constraints: 72723 3106.42/3117.36 c #Conflicts: 829000 | #Constraints: 73723 3106.42/3117.36 c #Conflicts: 830000 | #Constraints: 74723 3106.42/3117.36 c #Conflicts: 831000 | #Constraints: 75723 3106.42/3117.36 c INPROCESSING 3106.42/3117.36 c GARBAGE COLLECT 3106.42/3117.36 c rational objective 13.4606 3600.02/3612.30 c #Conflicts: 832000 | #Constraints: 41795 3600.02/3612.30 c #Conflicts: 833000 | #Constraints: 42795 3600.02/3612.30 c #Conflicts: 834000 | #Constraints: 43795 3600.02/3612.30 c #Conflicts: 835000 | #Constraints: 44796 3600.02/3612.30 c #Conflicts: 836000 | #Constraints: 45796 3600.02/3612.30 c #Conflicts: 837000 | #Constraints: 46796 3600.02/3612.30 c #Conflicts: 838000 | #Constraints: 47796 3600.02/3612.30 c #Conflicts: 839000 | #Constraints: 48796 3600.02/3612.30 c #Conflicts: 840000 | #Constraints: 49796 3600.02/3612.30 c #Conflicts: 841000 | #Constraints: 50796 3600.02/3612.30 c #Conflicts: 842000 | #Constraints: 51796 3600.02/3612.30 c #Conflicts: 843000 | #Constraints: 52796 3600.02/3612.30 c #Conflicts: 844000 | #Constraints: 53797 3600.02/3612.30 c #Conflicts: 845000 | #Constraints: 54797 3600.02/3612.30 c #Conflicts: 846000 | #Constraints: 55797 3600.02/3612.30 c #Conflicts: 847000 | #Constraints: 56797 3600.02/3612.30 c #Conflicts: 848000 | #Constraints: 57797 3600.02/3612.30 c #Conflicts: 849000 | #Constraints: 58797 3600.02/3612.30 c #Conflicts: 850000 | #Constraints: 59797 3600.02/3612.30 c #Conflicts: 851000 | #Constraints: 60797 3600.02/3612.30 c #Conflicts: 852000 | #Constraints: 61797 3600.02/3612.30 c #Conflicts: 853000 | #Constraints: 62797 3600.02/3612.30 c #Conflicts: 854000 | #Constraints: 63797 3600.02/3612.30 c #Conflicts: 855000 | #Constraints: 64797 3600.02/3612.30 c #Conflicts: 856000 | #Constraints: 65797 3600.02/3612.30 c #Conflicts: 857000 | #Constraints: 66797 3600.02/3612.30 c #Conflicts: 858000 | #Constraints: 67797 3600.02/3612.30 c #Conflicts: 859000 | #Constraints: 68798 3600.02/3612.30 c #Conflicts: 860000 | #Constraints: 69798 3600.02/3612.30 c #Conflicts: 861000 | #Constraints: 70798 3600.02/3612.30 c #Conflicts: 862000 | #Constraints: 71798 3600.02/3612.30 c #Conflicts: 863000 | #Constraints: 72798 3600.02/3612.30 c #Conflicts: 864000 | #Constraints: 73798 3600.02/3612.30 c #Conflicts: 865000 | #Constraints: 74798 3600.02/3612.30 c #Conflicts: 866000 | #Constraints: 75799 3600.02/3612.30 c #Conflicts: 867000 | #Constraints: 76800 3600.02/3612.30 c #Conflicts: 868000 | #Constraints: 77800 3600.02/3612.30 c #Conflicts: 869000 | #Constraints: 78800 3600.02/3612.30 c #Conflicts: 870000 | #Constraints: 79800 3600.02/3612.30 c #Conflicts: 871000 | #Constraints: 80801 3600.02/3612.30 c Program interrupted by user. 3600.02/3612.31 c cpu time 3579.13 s 3600.02/3612.31 c deterministic time 283213576630 2.83e+11 3600.02/3612.31 c optimization time 491.983 s 3600.02/3612.31 c total solve time 3087.08 s 3600.02/3612.31 c core-guided solve time 1507.77 s 3600.02/3612.31 c propagation time 3083.21 s 3600.02/3612.31 c conflict analysis time 431.615 s 3600.02/3612.31 c propagations 82613972 3600.02/3612.31 c resolve steps 4117893 3600.02/3612.31 c decisions 7292941 3600.02/3612.31 c conflicts 871181 3600.02/3612.31 c restarts 1882 3600.02/3612.31 c inprocessing phases 54 3600.02/3612.31 c input clauses 5410 3600.02/3612.31 c input cardinalities 24 3600.02/3612.31 c input general constraints 83 3600.02/3612.31 c input average constraint length 10.96 3600.02/3612.31 c input average constraint degree 1.53 3600.02/3612.31 c learned clauses 271823 3600.02/3612.31 c learned cardinalities 8976 3600.02/3612.31 c learned general constraints 592851 3600.02/3612.31 c learned average constraint length 103.73 3600.02/3612.31 c learned average constraint degree 135115834.35 3600.02/3612.31 c watched constraints 185634 3600.02/3612.31 c counting constraints 407300 3600.02/3612.31 c gcd simplifications 24430 3600.02/3612.31 c detected cardinalities 373 3600.02/3612.31 c weakened non-implied lits 37336380 3600.02/3612.31 c weakened non-implying lits 43302 3600.02/3612.31 c original variables 214 3600.02/3612.31 c clausal propagations 4358208 3600.02/3612.31 c cardinality propagations 1963927 3600.02/3612.31 c watched propagations 5220298 3600.02/3612.31 c counting propagations 67070921 3600.02/3612.31 c watch lookups 83580875210 3600.02/3612.31 c watch backjump lookups 79787230357 3600.02/3612.31 c watch checks 103678816178 3600.02/3612.31 c propagation checks 15610128915 3600.02/3612.31 c constraint additions 374716116 3600.02/3612.31 c trail pops 90775586 3600.02/3612.31 c formula constraints 5375 3600.02/3612.31 c learned constraints 868714 3600.02/3612.31 c bound constraints 11 3600.02/3612.31 c core-guided constraints 131 3600.02/3612.31 c encountered formula constraints 1380149 3600.02/3612.31 c encountered learned constraints 3194432 3600.02/3612.31 c encountered bound constraints 1415 3600.02/3612.31 c encountered core-guided constraints 319839 3600.02/3612.31 c LP total time 144.091 s 3600.02/3612.31 c LP solve time 142.09 s 3600.02/3612.31 c LP constraints added 5375 3600.02/3612.31 c LP constraints removed 0 3600.02/3612.31 c LP pivots internal 872497 3600.02/3612.31 c LP pivots root 254857 3600.02/3612.31 c LP calls 2736 3600.02/3612.31 c LP optimalities 264 3600.02/3612.31 c LP no pivot count 28 3600.02/3612.31 c LP infeasibilities 2468 3600.02/3612.31 c LP valid Farkas constraints 2468 3600.02/3612.31 c LP learned Farkas constraints 2468 3600.02/3612.31 c LP basis resets 0 3600.02/3612.31 c LP cycling count 0 3600.02/3612.31 c LP singular count 0 3600.02/3612.31 c LP no primal count 0 3600.02/3612.31 c LP no farkas count 0 3600.02/3612.31 c LP other issue count 0 3600.02/3612.31 c LP Gomory cuts 0 3600.02/3612.31 c LP learned cuts 0 3600.02/3612.31 c LP deleted cuts 0 3600.02/3612.31 c LP encountered Gomory constraints 0 3600.02/3612.31 c LP encountered Farkas constraints 70561 3600.02/3612.31 c LP encountered learned Farkas constraints 20210 3600.02/3612.31 c CG auxiliary variables introduced 48 3600.02/3612.31 c CG solutions found 11 3600.02/3612.31 c CG cores constructed 13 3600.02/3612.31 c CG core cardinality constraints returned 0 3600.02/3612.31 c CG unit cores 0 3600.02/3612.31 c CG single cores 13 3600.02/3612.31 c CG blocks removed during cardinality reduction 0 3600.02/3612.31 c CG first core best 0 3600.02/3612.31 c CG decision core best 0 3600.02/3612.31 c CG core reduction tie 0 3600.02/3612.31 c CG core degree average 1.00 3600.02/3612.31 c CG core slack average 18.15 3600.02/3612.31 s SATISFIABLE 3600.02/3612.31 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 x165 x166 x167 -x168 x169 x170 x171 x172 x173 x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
OK 22
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (49301 MiB free)
memory of node 1: 64510 MiB (59497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463295-1722348964/watcher-4463295-1722348964 -o /tmp/evaluation-result-4463295-1722348964/solver-4463295-1722348964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6812 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463295-1722348964 --lp-cut-gomory=0 HOME/instance-4463295-1722348964.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=11529, runsolver pid=11526
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.10 4.11 4.15 5/254 11530
/proc/meminfo: memFree=111406948/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=42968 memory=12952 CPUtime=0.09 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 2080 0 0 0 8 1 0 0 20 0 1 0 1491991 43999232 3238 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 10742 3238 1728 992 0 2600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 12952 KiB
[startup+0.20916 s]*
/proc/loadavg: 4.10 4.11 4.15 5/254 11530
/proc/meminfo: memFree=111402688/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=42628 memory=12776 CPUtime=0.19 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 2532 0 0 0 18 1 0 0 20 0 1 0 1491991 43651072 3194 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 10657 3194 1728 992 0 2515 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42628 KiB
Current children cumulated memory: 12776 KiB
[startup+0.312281 s]*
/proc/loadavg: 4.10 4.11 4.15 6/254 11530
/proc/meminfo: memFree=111401540/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=42628 memory=12776 CPUtime=0.29 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 2532 0 0 0 28 1 0 0 20 0 1 0 1491991 43651072 3194 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 10657 3194 1728 992 0 2515 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42628 KiB
Current children cumulated memory: 12776 KiB
[startup+0.700316 s]
/proc/loadavg: 4.10 4.11 4.15 5/254 11530
/proc/meminfo: memFree=111398044/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=44048 memory=14368 CPUtime=0.67 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 3110 0 0 0 65 2 0 0 20 0 1 0 1491991 45105152 3592 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 11012 3592 1808 992 0 2870 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14368 KiB
[startup+1.50032 s]
/proc/loadavg: 4.10 4.11 4.15 5/254 11530
/proc/meminfo: memFree=111393904/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=45252 memory=18076 CPUtime=1.47 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 3419 0 0 0 140 7 0 0 20 0 1 0 1491991 46338048 4519 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 11313 4519 1900 992 0 3171 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45252 KiB
Current children cumulated memory: 18076 KiB
[startup+3.11298 s]
/proc/loadavg: 4.10 4.11 4.15 5/254 11530
/proc/meminfo: memFree=111375312/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=46948 memory=19920 CPUtime=3.08 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 3909 0 0 0 294 14 0 0 20 0 1 0 1491991 48074752 4980 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 11737 4980 1900 992 0 3595 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46948 KiB
Current children cumulated memory: 19920 KiB
[startup+6.3003 s]
/proc/loadavg: 4.09 4.11 4.15 5/254 11532
/proc/meminfo: memFree=111343368/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=53980 memory=27172 CPUtime=6.25 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 5200 0 0 0 599 26 0 0 20 0 1 0 1491991 55275520 6793 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 13495 6793 1900 992 0 5353 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 53980 KiB
Current children cumulated memory: 27172 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.15 5/254 11532
/proc/meminfo: memFree=111283588/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=54312 memory=27960 CPUtime=12.64 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 5387 0 0 0 1219 45 0 0 20 0 1 0 1491991 55615488 6990 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 13578 6990 1900 992 0 5436 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 54312 KiB
Current children cumulated memory: 27960 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.15 5/254 11533
/proc/meminfo: memFree=111193608/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=62268 memory=31368 CPUtime=25.39 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 6233 0 0 0 2460 79 0 0 20 0 1 0 1491991 63762432 7842 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 15567 7842 1900 992 0 7425 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62268 KiB
Current children cumulated memory: 31368 KiB
[startup+51.113 s]
/proc/loadavg: 4.22 4.14 4.16 5/254 11538
/proc/meminfo: memFree=110904904/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=65916 memory=37364 CPUtime=50.92 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 7248 0 0 0 4943 149 0 0 20 0 1 0 1491991 67497984 9341 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 16479 9341 1900 992 0 8337 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 65916 KiB
Current children cumulated memory: 37364 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/250 11546
/proc/meminfo: memFree=110511324/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=115960 memory=82716 CPUtime=101.93 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 15030 0 0 0 9946 247 0 0 20 0 1 0 1491991 118743040 20679 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 28990 20679 1900 992 0 20848 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 115960 KiB
Current children cumulated memory: 82716 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/252 11560
/proc/meminfo: memFree=109962300/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=148520 memory=106212 CPUtime=161.73 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 20908 0 0 0 15826 347 0 0 20 0 1 0 1491991 152084480 26553 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 37130 26553 1900 992 0 28988 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 148520 KiB
Current children cumulated memory: 106212 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/253 11572
/proc/meminfo: memFree=109281168/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=177808 memory=127096 CPUtime=221.52 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 24085 0 0 0 21736 416 0 0 20 0 1 0 1491991 182075392 31774 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 44452 31774 1900 992 0 36310 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 177808 KiB
Current children cumulated memory: 127096 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.15 4.15 5/251 11587
/proc/meminfo: memFree=108801372/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=177808 memory=127096 CPUtime=281.3 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 24098 0 0 0 27651 479 0 0 20 0 1 0 1491991 182075392 31774 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 44452 31774 1900 992 0 36310 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 177808 KiB
Current children cumulated memory: 127096 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/251 11597
/proc/meminfo: memFree=108088156/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=179076 memory=128656 CPUtime=341.1 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 24449 0 0 0 33566 544 0 0 20 0 1 0 1491991 183373824 32164 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 44769 32164 1900 992 0 36627 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 179076 KiB
Current children cumulated memory: 128656 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/251 11608
/proc/meminfo: memFree=107431788/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=191756 memory=144292 CPUtime=400.89 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 26859 0 0 0 39498 591 0 0 20 0 1 0 1491991 196358144 36073 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 47939 36073 1900 992 0 39797 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 191756 KiB
Current children cumulated memory: 144292 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/260 11628
/proc/meminfo: memFree=106839884/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=191756 memory=144292 CPUtime=460.69 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 26865 0 0 0 45423 646 0 0 20 0 1 0 1491991 196358144 36073 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 47939 36073 1900 992 0 39797 0
################
# More data... #
################
Current children cumulated memory: 248528 KiB
[startup+2922.3 s]
/proc/loadavg: 1.25 1.79 2.39 2/225 13384
/proc/meminfo: memFree=125742068/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=2911.97 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41594 0 0 0 289330 1867 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 2911.97 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+2982.3 s]
/proc/loadavg: 1.09 1.64 2.30 2/225 13394
/proc/meminfo: memFree=125726792/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=2971.8 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41594 0 0 0 295292 1888 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 2971.8 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+3042.3 s]
/proc/loadavg: 1.13 1.55 2.22 2/225 13405
/proc/meminfo: memFree=125714596/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=3031.63 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41690 0 0 0 301255 1908 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 3031.63 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+3102.3 s]
/proc/loadavg: 1.10 1.47 2.15 2/223 13415
/proc/meminfo: memFree=125705336/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=3091.46 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41693 0 0 0 307218 1928 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 3091.46 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+3162.3 s]
/proc/loadavg: 1.20 1.43 2.09 2/223 13426
/proc/meminfo: memFree=125693256/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=3151.29 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41783 0 0 0 313175 1954 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 3151.29 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.36 2.02 3/225 13440
/proc/meminfo: memFree=125681440/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=3211.13 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41785 0 0 0 319136 1977 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.31 1.96 2/227 13455
/proc/meminfo: memFree=125671304/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=256812 CPUtime=3270.96 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41879 0 0 0 325098 1998 0 0 20 0 1 0 1491991 337047552 64203 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64203 1900 992 0 74145 0
Current children cumulated CPU time: 3270.96 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 256812 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.28 1.91 2/226 13465
/proc/meminfo: memFree=125659784/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=258508 CPUtime=3330.79 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41881 0 0 0 331063 2016 0 0 20 0 1 0 1491991 337047552 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64627 1900 992 0 74145 0
Current children cumulated CPU time: 3330.79 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 258508 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.24 1.86 2/226 13476
/proc/meminfo: memFree=125650648/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=258508 CPUtime=3390.62 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41981 0 0 0 337030 2032 0 0 20 0 1 0 1491991 337047552 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64627 1900 992 0 74145 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 258508 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.23 1.81 2/226 13487
/proc/meminfo: memFree=125642020/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=258508 CPUtime=3450.45 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 41983 0 0 0 342995 2050 0 0 20 0 1 0 1491991 337047552 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64627 1900 992 0 74145 0
Current children cumulated CPU time: 3450.45 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 258508 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.20 1.76 2/225 13498
/proc/meminfo: memFree=125633736/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329148 memory=258508 CPUtime=3510.27 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 42085 0 0 0 348961 2066 0 0 20 0 1 0 1491991 337047552 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82287 64627 1900 992 0 74145 0
Current children cumulated CPU time: 3510.27 s
Current children cumulated vsize: 329148 KiB
Current children cumulated memory: 258508 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.18 1.72 2/223 13508
/proc/meminfo: memFree=125626076/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329352 memory=258508 CPUtime=3570.1 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 42087 0 0 0 354929 2081 0 0 20 0 1 0 1491991 337256448 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82338 64627 1900 992 0 74196 0
Current children cumulated CPU time: 3570.1 s
Current children cumulated vsize: 329352 KiB
Current children cumulated memory: 258508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 1.12 1.17 1.70 3/222 13515
/proc/meminfo: memFree=125622188/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329352 memory=258508 CPUtime=3600.02 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 42088 0 0 0 357913 2089 0 0 20 0 1 0 1491991 337256448 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82338 64627 1900 992 0 74196 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 329352 KiB
Current children cumulated memory: 258508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 11529 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.13 s, system=20.895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 1.12 1.17 1.70 3/222 13515
/proc/meminfo: memFree=125622188/131655788 swapFree=131071996/131071996
[pid=11529] ppid=11526 vsize=329352 memory=258508 CPUtime=3600.02 cores=0,2
/proc/11529/stat : 11529 (roundingsat) R 11526 11529 6802 0 -1 4194304 42088 0 0 0 357913 2089 0 0 20 0 1 0 1491991 337256448 64627 134679101440 4194304 8255733 140732559626784 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26935296 140732559635294 140732559635556 140732559635556 140732559642569 0
/proc/11529/statm: 82338 64627 1900 992 0 74196 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 329352 KiB
Current children cumulated memory: 258508 KiB
Child status: 0
Real time (s): 3612.31
CPU time (s): 3600.03
CPU user time (s): 3579.13
CPU system time (s): 20.895
CPU usage (%): 99.6599
Max. virtual memory (cumulated for all children) (KiB): 329352
Max. memory (cumulated for all children) (KiB): 258508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.13
system time used= 20.895
maximum resident set size= 258508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2996808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150
involuntary context switches= 25188
# summary of solver processes directly reported to runsolver:
# pid: 11529
# total CPU time (s): 3600.03
# total CPU user time (s): 3579.13
# total CPU system time (s): 20.895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8772 second user time and 34.9171 second system time
The end
Begin job on nodeC002 at 2024-07-30 16:16:04 IDJOB=4463295 IDBENCH=178614 IDSOLVER=3089 FILE ID=nodeC002/4463295-1722348964 RUNJOBID= nodeC002-1722340763-6812 SLURM_JOB_ID= 8248982 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463295-1722348964/watcher-4463295-1722348964 -o /tmp/evaluation-result-4463295-1722348964/solver-4463295-1722348964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6812 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463295-1722348964 --lp-cut-gomory=0 HOME/instance-4463295-1722348964.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f RANDOM SEED=1778411649 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.200 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3655.840 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.575 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.352 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3625.260 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3655.966 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.447 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.316 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 111411004 kB MemAvailable: 123891340 kB Buffers: 58508 kB Cached: 13235844 kB SwapCached: 0 kB Active: 186488 kB Inactive: 19552924 kB Active(anon): 1916 kB Inactive(anon): 6472800 kB Active(file): 184572 kB Inactive(file): 13080124 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 142328 kB Writeback: 20 kB AnonPages: 6443864 kB Mapped: 101132 kB Shmem: 29512 kB KReclaimable: 111340 kB Slab: 192108 kB SReclaimable: 111340 kB SUnreclaim: 80768 kB KernelStack: 4080 kB PageTables: 21800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 8069048 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 1241088 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 152392 kB DirectMap2M: 10237952 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723776 MiB End job on nodeC002 at 2024-07-30 17:16:16