| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 22 | 3600.08 | 3611.01 |
| 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.02 c #variables 214 #constraints 5375 0.10/0.15 c bounds - >= 0 @ 0.017162 0.10/0.15 c rational objective 13.4606 1.99/2.05 c bounds 32 >= 0 @ 0.222087 1.99/2.05 c bounds 32 >= 1 @ 0.222329 1.99/2.05 c bounds 32 >= 2 @ 0.222529 1.99/2.05 c bounds 32 >= 3 @ 0.222683 1.99/2.05 c bounds 32 >= 4 @ 0.222683 1.99/2.05 c bounds 32 >= 5 @ 0.222683 1.99/2.05 c bounds 32 >= 6 @ 0.222683 1.99/2.05 c bounds 32 >= 7 @ 0.222683 1.99/2.05 c bounds 32 >= 8 @ 0.222916 1.99/2.05 c bounds 32 >= 9 @ 0.223263 1.99/2.05 c bounds 32 >= 10 @ 0.224132 1.99/2.05 c bounds 32 >= 11 @ 0.358739 1.99/2.05 c bounds 31 >= 11 @ 0.362312 1.99/2.05 c bounds 30 >= 11 @ 0.362661 1.99/2.05 c bounds 29 >= 11 @ 0.363614 1.99/2.05 c bounds 28 >= 11 @ 0.375051 1.99/2.05 c bounds 27 >= 11 @ 0.376211 1.99/2.05 c bounds 26 >= 11 @ 0.376738 1.99/2.05 c bounds 25 >= 11 @ 0.378178 1.99/2.05 c bounds 24 >= 11 @ 0.390884 1.99/2.05 c #Conflicts: 1000 | #Constraints: 6471 1.99/2.05 c bounds 23 >= 11 @ 0.470231 1.99/2.05 c #Conflicts: 2000 | #Constraints: 7480 1.99/2.05 c INPROCESSING 1.99/2.05 c GARBAGE COLLECT 1.99/2.05 c #Conflicts: 3000 | #Constraints: 7463 1.99/2.05 c #Conflicts: 4000 | #Constraints: 8463 1.99/2.05 c INPROCESSING 1.99/2.05 c GARBAGE COLLECT 1.99/2.05 c rational objective 13.4968 3.68/3.75 c #Conflicts: 5000 | #Constraints: 7879 3.68/3.75 c #Conflicts: 6000 | #Constraints: 9319 3.68/3.75 c bounds 22 >= 11 @ 3.17173 3.68/3.75 c INPROCESSING 3.68/3.75 c GARBAGE COLLECT 3.68/3.75 c rational objective 13.5045 5.57/5.62 c #Conflicts: 7000 | #Constraints: 8343 5.57/5.62 c #Conflicts: 8000 | #Constraints: 9979 5.57/5.62 c #Conflicts: 9000 | #Constraints: 11107 5.57/5.62 c INPROCESSING 5.57/5.62 c GARBAGE COLLECT 5.57/5.62 c rational objective 13.5045 7.17/7.25 c #Conflicts: 10000 | #Constraints: 9228 7.17/7.25 c #Conflicts: 11000 | #Constraints: 10414 7.17/7.25 c #Conflicts: 12000 | #Constraints: 11441 7.17/7.25 c INPROCESSING 7.17/7.25 c GARBAGE COLLECT 7.17/7.25 WSVECS04 Frhs2[4]: 6 0 2.71294 shouldn't be 7.17/7.25 WSVECS04 Frhs2[56]: 6 0 1.52077 shouldn't be 7.17/7.25 WSVECS04 Frhs2[71]: 6 0 1.27461 shouldn't be 7.17/7.25 WSVECS04 Frhs2[87]: 6 0 14.398 shouldn't be 7.17/7.25 WSVECS04 Frhs2[97]: 6 0 13.9687 shouldn't be 7.17/7.25 WSVECS04 Frhs2[104]: 6 0 2.4428 shouldn't be 7.17/7.25 WSVECS04 Frhs2[113]: 6 -3.36168 0 shouldn't be 7.17/7.25 WSVECS04 Frhs2[130]: 6 0 10.3869 shouldn't be 7.17/7.25 WSVECS04 Frhs2[143]: 6 0 1.00677 shouldn't be 7.17/7.25 WSVECS04 Frhs2[148]: 6 0 7.73286 shouldn't be 7.17/7.25 WSVECS04 Frhs2[150]: 6 0 22.687 shouldn't be 7.17/7.25 WSVECS04 Frhs2[152]: 6 0 15.5057 shouldn't be 7.17/7.25 WSVECS04 Frhs2[164]: 6 -4.36191 0 shouldn't be 7.17/7.25 WSVECS04 Frhs2[171]: 6 -14.0902 0 shouldn't be 7.17/7.25 WSVECS04 Frhs2[176]: 6 0 17.7349 shouldn't be 7.17/7.25 WSVECS04 Frhs2[181]: 6 -7.53056 0 shouldn't be 7.17/7.25 WSVECS04 Frhs2[183]: 6 -9.03155 0 shouldn't be 7.17/7.25 WSVECS04 Frhs2[188]: 6 -2.79377 0 shouldn't be 7.17/7.25 WSVECS04 Frhs2[202]: 6 0 13.5098 shouldn't be 7.17/7.27 c rational objective 13.5184 9.46/9.51 c bounds 22 >= 12 @ 7.97065 9.46/9.51 c #Conflicts: 13000 | #Constraints: 9477 9.46/9.51 c #Conflicts: 14000 | #Constraints: 10483 9.46/9.51 c #Conflicts: 15000 | #Constraints: 11555 9.46/9.51 c INPROCESSING 9.46/9.51 c GARBAGE COLLECT 9.46/9.51 c rational objective 13.5425 12.05/12.16 c #Conflicts: 16000 | #Constraints: 9526 12.05/12.16 c #Conflicts: 17000 | #Constraints: 10529 12.05/12.16 c #Conflicts: 18000 | #Constraints: 11529 12.05/12.16 c INPROCESSING 12.05/12.16 c GARBAGE COLLECT 12.05/12.16 c rational objective 13.5049 14.05/14.11 c #Conflicts: 19000 | #Constraints: 9409 14.05/14.11 c #Conflicts: 20000 | #Constraints: 10414 14.05/14.11 c #Conflicts: 21000 | #Constraints: 11437 14.05/14.11 c INPROCESSING 14.05/14.11 c GARBAGE COLLECT 14.05/14.11 c rational objective 13.5693 16.54/16.64 c #Conflicts: 22000 | #Constraints: 9251 16.54/16.64 c #Conflicts: 23000 | #Constraints: 10361 16.54/16.64 c #Conflicts: 24000 | #Constraints: 11364 16.54/16.64 c #Conflicts: 25000 | #Constraints: 12611 16.54/16.64 c INPROCESSING 16.54/16.64 c GARBAGE COLLECT 16.54/16.64 c rational objective 13.5476 19.93/20.10 c #Conflicts: 26000 | #Constraints: 10139 19.93/20.10 c #Conflicts: 27000 | #Constraints: 11924 19.93/20.10 c #Conflicts: 28000 | #Constraints: 13157 19.93/20.10 c #Conflicts: 29000 | #Constraints: 14201 19.93/20.10 c INPROCESSING 19.93/20.10 c GARBAGE COLLECT 19.93/20.10 c rational objective 13.5748 24.31/24.46 c #Conflicts: 30000 | #Constraints: 10849 24.31/24.46 c #Conflicts: 31000 | #Constraints: 11849 24.31/24.46 c #Conflicts: 32000 | #Constraints: 12849 24.31/24.46 c #Conflicts: 33000 | #Constraints: 13849 24.31/24.46 c INPROCESSING 24.31/24.46 c GARBAGE COLLECT 24.31/24.46 c rational objective 13.5046 27.39/27.54 c #Conflicts: 34000 | #Constraints: 10682 27.39/27.54 c #Conflicts: 35000 | #Constraints: 12257 27.39/27.54 c #Conflicts: 36000 | #Constraints: 13297 27.39/27.54 c #Conflicts: 37000 | #Constraints: 14345 27.39/27.54 c INPROCESSING 27.39/27.54 c GARBAGE COLLECT 27.39/27.54 c rational objective 13.7331 38.06/38.25 c #Conflicts: 38000 | #Constraints: 10867 38.06/38.25 c #Conflicts: 39000 | #Constraints: 11892 38.06/38.25 c #Conflicts: 40000 | #Constraints: 12904 38.06/38.25 c #Conflicts: 41000 | #Constraints: 13905 38.06/38.25 c INPROCESSING 38.06/38.25 c GARBAGE COLLECT 38.06/38.25 c #Conflicts: 42000 | #Constraints: 10403 38.06/38.25 c #Conflicts: 43000 | #Constraints: 11409 38.06/38.25 c #Conflicts: 44000 | #Constraints: 12417 38.06/38.25 c #Conflicts: 45000 | #Constraints: 13420 38.06/38.25 c #Conflicts: 46000 | #Constraints: 14427 38.06/38.25 c INPROCESSING 38.06/38.25 c GARBAGE COLLECT 38.06/38.25 c #Conflicts: 47000 | #Constraints: 10861 38.06/38.25 c #Conflicts: 48000 | #Constraints: 11861 38.06/38.25 c #Conflicts: 49000 | #Constraints: 12861 38.06/38.25 c #Conflicts: 50000 | #Constraints: 13861 38.06/38.25 c #Conflicts: 51000 | #Constraints: 14861 38.06/38.25 c INPROCESSING 38.06/38.25 c GARBAGE COLLECT 38.06/38.25 c rational objective 13.5045 41.24/41.49 c #Conflicts: 52000 | #Constraints: 11182 41.24/41.49 c #Conflicts: 53000 | #Constraints: 12188 41.24/41.49 c #Conflicts: 54000 | #Constraints: 13378 41.24/41.49 c #Conflicts: 55000 | #Constraints: 14388 41.24/41.49 c #Conflicts: 56000 | #Constraints: 15693 41.24/41.49 c INPROCESSING 41.24/41.49 c GARBAGE COLLECT 41.24/41.49 WSVECS04 Frhs2[4]: 6 0 2.0285 shouldn't be 41.24/41.49 WSVECS04 Frhs2[5]: 6 0 4.54342 shouldn't be 41.24/41.49 WSVECS04 Frhs2[11]: 6 0 3.51244 shouldn't be 41.24/41.49 WSVECS04 Frhs2[18]: 6 0 1.33564 shouldn't be 41.24/41.49 WSVECS04 Frhs2[19]: 6 0 1.70081 shouldn't be 41.24/41.49 WSVECS04 Frhs2[22]: 6 0 2.06454 shouldn't be 41.24/41.49 WSVECS04 Frhs2[27]: 6 0 1.5806 shouldn't be 41.24/41.49 WSVECS04 Frhs2[29]: 6 -0.907746 0 shouldn't be 41.24/41.49 WSVECS04 Frhs2[32]: 6 -0.422991 0 shouldn't be 41.24/41.49 WSVECS04 Frhs2[43]: 6 0 2.72946 shouldn't be 41.24/41.49 WSVECS04 Frhs2[49]: 6 0 5.01376 shouldn't be 41.24/41.49 WSVECS04 Frhs2[60]: 6 0 9.22462 shouldn't be 41.24/41.49 WSVECS04 Frhs2[63]: 6 0 1.96297 shouldn't be 41.24/41.49 WSVECS04 Frhs2[82]: 6 0 6.72811 shouldn't be 41.24/41.49 WSVECS04 Frhs2[84]: 6 -1.00004 0 shouldn't be 41.24/41.49 WSVECS04 Frhs2[94]: 6 0 8.03709 shouldn't be 41.24/41.49 WSVECS04 Frhs2[131]: 6 0 2.87281 shouldn't be 41.24/41.49 WSVECS04 Frhs2[141]: 6 0 2.58688 shouldn't be 41.24/41.49 WSVECS04 Frhs2[144]: 6 0 2.48871 shouldn't be 41.24/41.49 WSVECS04 Frhs2[148]: 6 0 0.0918994 shouldn't be 41.24/41.49 WSVECS04 Frhs2[151]: 6 -4.54905 0 shouldn't be 41.24/41.49 WSVECS04 Frhs2[163]: 6 -4.00735 0 shouldn't be 41.24/41.49 WSVECS04 Frhs2[164]: 6 0 8.78037 shouldn't be 41.24/41.49 WSVECS04 Frhs2[193]: 6 0 2.90129 shouldn't be 41.24/41.49 WSVECS04 Frhs2[206]: 6 -1.00004 0 shouldn't be 41.24/41.49 WSVECS04 Frhs2[208]: 6 0 7.49867 shouldn't be 41.24/41.49 WSVECS04 Frhs2[211]: 6 0 1.54392 shouldn't be 41.45/41.67 WSVECS04 Frhs2[17]: 6 0 0.782947 shouldn't be 41.45/41.67 WSVECS04 Frhs2[35]: 6 0 6.0612 shouldn't be 41.45/41.67 WSVECS04 Frhs2[40]: 6 0 3.84029 shouldn't be 41.45/41.67 WSVECS04 Frhs2[51]: 6 0 16.0668 shouldn't be 41.45/41.67 WSVECS04 Frhs2[58]: 6 0 14.0828 shouldn't be 41.45/41.67 WSVECS04 Frhs2[59]: 6 0 2.63765 shouldn't be 41.45/41.67 WSVECS04 Frhs2[119]: 6 0 5.34802 shouldn't be 41.45/41.67 WSVECS04 Frhs2[182]: 6 0 13.0822 shouldn't be 41.45/41.67 WSVECS04 Frhs2[201]: 6 0 3.80754 shouldn't be 42.44/42.61 c rational objective 13.5046 64.46/64.73 c #Conflicts: 57000 | #Constraints: 11603 64.46/64.73 c #Conflicts: 58000 | #Constraints: 12690 64.46/64.73 c #Conflicts: 59000 | #Constraints: 13737 64.46/64.73 c #Conflicts: 60000 | #Constraints: 15205 64.46/64.73 c #Conflicts: 61000 | #Constraints: 16988 64.46/64.73 c INPROCESSING 64.46/64.73 c GARBAGE COLLECT 64.46/64.73 c #Conflicts: 62000 | #Constraints: 12837 64.46/64.73 c #Conflicts: 63000 | #Constraints: 14626 64.46/64.73 c #Conflicts: 64000 | #Constraints: 16377 64.46/64.73 c #Conflicts: 65000 | #Constraints: 17920 64.46/64.73 c #Conflicts: 66000 | #Constraints: 19172 64.46/64.73 c INPROCESSING 64.46/64.73 c GARBAGE COLLECT 64.46/64.73 c #Conflicts: 67000 | #Constraints: 13120 64.46/64.73 c #Conflicts: 68000 | #Constraints: 14127 64.46/64.73 c #Conflicts: 69000 | #Constraints: 15130 64.46/64.73 c #Conflicts: 70000 | #Constraints: 16132 64.46/64.73 c #Conflicts: 71000 | #Constraints: 17133 64.46/64.73 c #Conflicts: 72000 | #Constraints: 18135 64.46/64.73 c INPROCESSING 64.46/64.73 c GARBAGE COLLECT 64.46/64.73 c rational objective 13.5047 69.24/69.51 c #Conflicts: 73000 | #Constraints: 12722 69.24/69.51 c #Conflicts: 74000 | #Constraints: 13876 69.24/69.51 c #Conflicts: 75000 | #Constraints: 14980 69.24/69.51 c #Conflicts: 76000 | #Constraints: 16067 69.24/69.51 c #Conflicts: 77000 | #Constraints: 17105 69.24/69.51 c #Conflicts: 78000 | #Constraints: 18249 69.24/69.51 c INPROCESSING 69.24/69.51 c GARBAGE COLLECT 69.24/69.51 c rational objective 13.5275 76.41/76.71 c #Conflicts: 79000 | #Constraints: 13154 76.41/76.71 c #Conflicts: 80000 | #Constraints: 14698 76.41/76.71 c #Conflicts: 81000 | #Constraints: 15886 76.41/76.71 c #Conflicts: 82000 | #Constraints: 17077 76.41/76.71 c #Conflicts: 83000 | #Constraints: 18844 76.41/76.71 c #Conflicts: 84000 | #Constraints: 20570 76.41/76.71 c INPROCESSING 76.41/76.71 c GARBAGE COLLECT 76.41/76.71 WSVECS04 Frhs2[76]: 6 0 481.73 shouldn't be 76.41/76.71 WSVECS04 Frhs2[108]: 6 0 446.13 shouldn't be 76.41/76.71 WSVECS04 Frhs2[109]: 6 0 745.199 shouldn't be 76.41/76.71 WSVECS04 Frhs2[131]: 6 0 1058.25 shouldn't be 76.41/76.71 WSVECS04 Frhs2[133]: 6 0 663.025 shouldn't be 76.41/76.71 WSVECS04 Frhs2[148]: 6 0 441.657 shouldn't be 76.41/76.71 WSVECS04 Frhs2[150]: 6 0 1811.08 shouldn't be 76.41/76.71 WSVECS04 Frhs2[158]: 6 0 406.13 shouldn't be 76.41/76.71 WSVECS04 Frhs2[169]: 6 -588.292 0 shouldn't be 76.41/76.71 WSVECS04 Frhs2[170]: 6 -178.791 0 shouldn't be 76.41/76.71 WSVECS04 Frhs2[172]: 6 -66.2372 0 shouldn't be 76.41/76.71 WSVECS04 Frhs2[181]: 6 -242.65 0 shouldn't be 76.41/76.71 WSVECS04 Frhs2[189]: 6 -570.848 0 shouldn't be 76.41/76.71 WSVECS04 Frhs2[202]: 6 0 1170.3 shouldn't be 76.52/76.80 c rational objective 13.5288 85.38/85.76 c #Conflicts: 85000 | #Constraints: 14089 85.38/85.76 c #Conflicts: 86000 | #Constraints: 15881 85.38/85.76 c #Conflicts: 87000 | #Constraints: 17713 85.38/85.76 c #Conflicts: 88000 | #Constraints: 19549 85.38/85.76 c #Conflicts: 89000 | #Constraints: 21329 85.38/85.76 c #Conflicts: 90000 | #Constraints: 23115 85.38/85.76 c INPROCESSING 85.38/85.76 c GARBAGE COLLECT 85.38/85.76 c rational objective 13.5288 99.23/99.64 c #Conflicts: 91000 | #Constraints: 15292 99.23/99.64 c #Conflicts: 92000 | #Constraints: 16295 99.23/99.64 c #Conflicts: 93000 | #Constraints: 17296 99.23/99.64 c #Conflicts: 94000 | #Constraints: 18297 99.23/99.64 c #Conflicts: 95000 | #Constraints: 19301 99.23/99.64 c #Conflicts: 96000 | #Constraints: 20302 99.23/99.64 c INPROCESSING 99.23/99.64 c GARBAGE COLLECT 99.23/99.64 c rational objective 13.5288 107.90/108.34 c #Conflicts: 97000 | #Constraints: 13695 107.90/108.34 c #Conflicts: 98000 | #Constraints: 14885 107.90/108.34 c #Conflicts: 99000 | #Constraints: 16353 107.90/108.34 c #Conflicts: 100000 | #Constraints: 18030 107.90/108.34 c #Conflicts: 101000 | #Constraints: 19810 107.90/108.34 c #Conflicts: 102000 | #Constraints: 21610 107.90/108.34 c #Conflicts: 103000 | #Constraints: 23081 107.90/108.34 c INPROCESSING 107.90/108.34 c GARBAGE COLLECT 107.90/108.34 c rational objective 13.5288 117.36/117.86 c #Conflicts: 104000 | #Constraints: 15193 117.36/117.86 c #Conflicts: 105000 | #Constraints: 16197 117.36/117.86 c #Conflicts: 106000 | #Constraints: 17257 117.36/117.86 c #Conflicts: 107000 | #Constraints: 18412 117.36/117.86 c #Conflicts: 108000 | #Constraints: 19435 117.36/117.86 c #Conflicts: 109000 | #Constraints: 20699 117.36/117.86 c #Conflicts: 110000 | #Constraints: 22406 117.36/117.86 c INPROCESSING 117.36/117.86 c GARBAGE COLLECT 117.36/117.86 c rational objective 13.5667 123.94/124.40 c #Conflicts: 111000 | #Constraints: 15216 123.94/124.40 c #Conflicts: 112000 | #Constraints: 16255 123.94/124.40 c #Conflicts: 113000 | #Constraints: 17357 123.94/124.40 c #Conflicts: 114000 | #Constraints: 18431 123.94/124.40 c #Conflicts: 115000 | #Constraints: 19455 123.94/124.40 c #Conflicts: 116000 | #Constraints: 20458 123.94/124.40 c #Conflicts: 117000 | #Constraints: 21518 123.94/124.40 c INPROCESSING 123.94/124.40 c GARBAGE COLLECT 123.94/124.40 c rational objective 13.5667 139.78/140.39 c #Conflicts: 118000 | #Constraints: 14515 139.78/140.39 c #Conflicts: 119000 | #Constraints: 15517 139.78/140.39 c #Conflicts: 120000 | #Constraints: 16518 139.78/140.39 c #Conflicts: 121000 | #Constraints: 17518 139.78/140.39 c #Conflicts: 122000 | #Constraints: 18518 139.78/140.39 c #Conflicts: 123000 | #Constraints: 19519 139.78/140.39 c #Conflicts: 124000 | #Constraints: 20521 139.78/140.39 c INPROCESSING 139.78/140.39 c GARBAGE COLLECT 139.78/140.39 c rational objective 13.6204 146.96/147.52 c #Conflicts: 125000 | #Constraints: 13913 146.96/147.52 c #Conflicts: 126000 | #Constraints: 14953 146.96/147.52 c #Conflicts: 127000 | #Constraints: 15971 146.96/147.52 c #Conflicts: 128000 | #Constraints: 17042 146.96/147.52 c #Conflicts: 129000 | #Constraints: 18151 146.96/147.52 c #Conflicts: 130000 | #Constraints: 19427 146.96/147.52 c #Conflicts: 131000 | #Constraints: 20431 146.96/147.52 c INPROCESSING 146.96/147.52 c GARBAGE COLLECT 146.96/147.52 c rational objective 13.6386 154.13/154.74 c #Conflicts: 132000 | #Constraints: 13663 154.13/154.74 c #Conflicts: 133000 | #Constraints: 14878 154.13/154.74 c #Conflicts: 134000 | #Constraints: 15880 154.13/154.74 c #Conflicts: 135000 | #Constraints: 16882 154.13/154.74 c #Conflicts: 136000 | #Constraints: 17898 154.13/154.74 c #Conflicts: 137000 | #Constraints: 18920 154.13/154.74 c #Conflicts: 138000 | #Constraints: 19956 154.13/154.74 c #Conflicts: 139000 | #Constraints: 21036 154.13/154.74 c INPROCESSING 154.13/154.74 c GARBAGE COLLECT 154.13/154.74 c rational objective 13.7165 163.09/163.74 c #Conflicts: 140000 | #Constraints: 14486 163.09/163.74 c #Conflicts: 141000 | #Constraints: 15610 163.09/163.74 c #Conflicts: 142000 | #Constraints: 16611 163.09/163.74 c #Conflicts: 143000 | #Constraints: 17616 163.09/163.74 c #Conflicts: 144000 | #Constraints: 18696 163.09/163.74 c #Conflicts: 145000 | #Constraints: 20023 163.09/163.74 c #Conflicts: 146000 | #Constraints: 21170 163.09/163.74 c #Conflicts: 147000 | #Constraints: 23058 163.09/163.74 c INPROCESSING 163.09/163.74 c GARBAGE COLLECT 163.09/163.74 c rational objective 13.542 182.82/183.58 c #Conflicts: 148000 | #Constraints: 15280 182.82/183.58 c #Conflicts: 149000 | #Constraints: 16281 182.82/183.58 c #Conflicts: 150000 | #Constraints: 17282 182.82/183.58 c #Conflicts: 151000 | #Constraints: 18282 182.82/183.58 c #Conflicts: 152000 | #Constraints: 19282 182.82/183.58 c #Conflicts: 153000 | #Constraints: 20284 182.82/183.58 c #Conflicts: 154000 | #Constraints: 21286 182.82/183.58 c #Conflicts: 155000 | #Constraints: 22287 182.82/183.58 c INPROCESSING 182.82/183.58 c GARBAGE COLLECT 182.82/183.58 c rational objective 13.5782 189.89/190.68 c #Conflicts: 156000 | #Constraints: 14898 189.89/190.68 c #Conflicts: 157000 | #Constraints: 15974 189.89/190.68 c #Conflicts: 158000 | #Constraints: 16985 189.89/190.68 c #Conflicts: 159000 | #Constraints: 17988 189.89/190.68 c #Conflicts: 160000 | #Constraints: 18991 189.89/190.68 c #Conflicts: 161000 | #Constraints: 19996 189.89/190.68 c #Conflicts: 162000 | #Constraints: 20996 189.89/190.68 c #Conflicts: 163000 | #Constraints: 21996 189.89/190.68 c INPROCESSING 189.89/190.68 c GARBAGE COLLECT 189.89/190.68 c rational objective 13.7066 272.65/273.74 c #Conflicts: 164000 | #Constraints: 14721 272.65/273.74 c #Conflicts: 165000 | #Constraints: 16191 272.65/273.74 c #Conflicts: 166000 | #Constraints: 17545 272.65/273.74 c #Conflicts: 167000 | #Constraints: 18733 272.65/273.74 c #Conflicts: 168000 | #Constraints: 19737 272.65/273.74 c #Conflicts: 169000 | #Constraints: 20740 272.65/273.74 c #Conflicts: 170000 | #Constraints: 21741 272.65/273.74 c #Conflicts: 171000 | #Constraints: 22742 272.65/273.74 c #Conflicts: 172000 | #Constraints: 23744 272.65/273.74 c #Conflicts: 173000 | #Constraints: 24745 272.65/273.74 c #Conflicts: 174000 | #Constraints: 25749 272.65/273.74 c #Conflicts: 175000 | #Constraints: 26772 272.65/273.74 c #Conflicts: 176000 | #Constraints: 27773 272.65/273.74 c #Conflicts: 177000 | #Constraints: 28775 272.65/273.74 c #Conflicts: 178000 | #Constraints: 29776 272.65/273.74 c #Conflicts: 179000 | #Constraints: 30780 272.65/273.74 c #Conflicts: 180000 | #Constraints: 31781 272.65/273.74 c #Conflicts: 181000 | #Constraints: 32784 272.65/273.74 c #Conflicts: 182000 | #Constraints: 33788 272.65/273.74 c #Conflicts: 183000 | #Constraints: 34791 272.65/273.74 c #Conflicts: 184000 | #Constraints: 36052 272.65/273.74 c #Conflicts: 185000 | #Constraints: 37405 272.65/273.74 c #Conflicts: 186000 | #Constraints: 38599 272.65/273.74 c #Conflicts: 187000 | #Constraints: 39630 272.65/273.74 c #Conflicts: 188000 | #Constraints: 40701 272.65/273.74 c #Conflicts: 189000 | #Constraints: 41960 272.65/273.74 c #Conflicts: 190000 | #Constraints: 43065 272.65/273.74 c #Conflicts: 191000 | #Constraints: 44678 272.65/273.74 c #Conflicts: 192000 | #Constraints: 46182 272.65/273.74 c #Conflicts: 193000 | #Constraints: 47188 272.65/273.74 c #Conflicts: 194000 | #Constraints: 48224 272.65/273.74 c #Conflicts: 195000 | #Constraints: 49333 272.65/273.74 c #Conflicts: 196000 | #Constraints: 50534 272.65/273.74 c #Conflicts: 197000 | #Constraints: 51740 272.65/273.74 c #Conflicts: 198000 | #Constraints: 53133 272.65/273.74 c #Conflicts: 199000 | #Constraints: 54175 272.65/273.74 c #Conflicts: 200000 | #Constraints: 55241 272.65/273.74 c #Conflicts: 201000 | #Constraints: 56243 272.65/273.74 c INPROCESSING 272.65/273.74 c GARBAGE COLLECT 272.65/273.74 c rational objective 13.536 318.27/319.55 c #Conflicts: 202000 | #Constraints: 31731 318.27/319.55 c #Conflicts: 203000 | #Constraints: 32732 318.27/319.55 c #Conflicts: 204000 | #Constraints: 33733 318.27/319.55 c #Conflicts: 205000 | #Constraints: 34734 318.27/319.55 c #Conflicts: 206000 | #Constraints: 35734 318.27/319.55 c #Conflicts: 207000 | #Constraints: 36734 318.27/319.55 c #Conflicts: 208000 | #Constraints: 37736 318.27/319.55 c #Conflicts: 209000 | #Constraints: 38742 318.27/319.55 c #Conflicts: 210000 | #Constraints: 39743 318.27/319.55 c INPROCESSING 318.27/319.55 c GARBAGE COLLECT 318.27/319.55 c rational objective 13.6204 337.50/338.81 c #Conflicts: 211000 | #Constraints: 23230 337.50/338.81 c #Conflicts: 212000 | #Constraints: 24231 337.50/338.81 c bounds 22 >= 13 @ 318.972 337.50/338.81 c #Conflicts: 213000 | #Constraints: 25271 337.50/338.81 c #Conflicts: 214000 | #Constraints: 26377 337.50/338.81 c #Conflicts: 215000 | #Constraints: 27378 337.50/338.81 c #Conflicts: 216000 | #Constraints: 28389 337.50/338.81 c #Conflicts: 217000 | #Constraints: 29391 337.50/338.81 c #Conflicts: 218000 | #Constraints: 30398 337.50/338.81 c #Conflicts: 219000 | #Constraints: 31401 337.50/338.81 c #Conflicts: 220000 | #Constraints: 32405 337.50/338.81 c INPROCESSING 337.50/338.81 c GARBAGE COLLECT 337.50/338.81 c rational objective 13.5869 371.47/372.98 c #Conflicts: 221000 | #Constraints: 19717 371.47/372.98 c #Conflicts: 222000 | #Constraints: 20719 371.47/372.98 c #Conflicts: 223000 | #Constraints: 21721 371.47/372.98 c #Conflicts: 224000 | #Constraints: 22722 371.47/372.98 c #Conflicts: 225000 | #Constraints: 23723 371.47/372.98 c #Conflicts: 226000 | #Constraints: 24724 371.47/372.98 c #Conflicts: 227000 | #Constraints: 25725 371.47/372.98 c #Conflicts: 228000 | #Constraints: 26726 371.47/372.98 c #Conflicts: 229000 | #Constraints: 27726 371.47/372.98 c #Conflicts: 230000 | #Constraints: 28727 371.47/372.98 c INPROCESSING 371.47/372.98 c GARBAGE COLLECT 371.47/372.98 c rational objective 13.566 384.73/386.27 c #Conflicts: 231000 | #Constraints: 17943 384.73/386.27 c #Conflicts: 232000 | #Constraints: 18946 384.73/386.27 c #Conflicts: 233000 | #Constraints: 19955 384.73/386.27 c #Conflicts: 234000 | #Constraints: 20974 384.73/386.27 c #Conflicts: 235000 | #Constraints: 21978 384.73/386.27 c #Conflicts: 236000 | #Constraints: 22984 384.73/386.27 c #Conflicts: 237000 | #Constraints: 23988 384.73/386.27 c #Conflicts: 238000 | #Constraints: 25007 384.73/386.27 c #Conflicts: 239000 | #Constraints: 26079 384.73/386.27 c #Conflicts: 240000 | #Constraints: 27081 384.73/386.27 c INPROCESSING 384.73/386.27 c GARBAGE COLLECT 384.73/386.27 c rational objective 13.7024 497.77/499.77 c #Conflicts: 241000 | #Constraints: 17060 497.77/499.77 c #Conflicts: 242000 | #Constraints: 18064 497.77/499.77 c #Conflicts: 243000 | #Constraints: 19067 497.77/499.77 c #Conflicts: 244000 | #Constraints: 20068 497.77/499.77 c #Conflicts: 245000 | #Constraints: 21070 497.77/499.77 c #Conflicts: 246000 | #Constraints: 22073 497.77/499.77 c #Conflicts: 247000 | #Constraints: 23079 497.77/499.77 c #Conflicts: 248000 | #Constraints: 24082 497.77/499.77 c #Conflicts: 249000 | #Constraints: 25085 497.77/499.77 c #Conflicts: 250000 | #Constraints: 26091 497.77/499.77 c #Conflicts: 251000 | #Constraints: 27094 497.77/499.77 c #Conflicts: 252000 | #Constraints: 28096 497.77/499.77 c #Conflicts: 253000 | #Constraints: 29099 497.77/499.77 c #Conflicts: 254000 | #Constraints: 30102 497.77/499.77 c #Conflicts: 255000 | #Constraints: 31105 497.77/499.77 c #Conflicts: 256000 | #Constraints: 32107 497.77/499.77 c #Conflicts: 257000 | #Constraints: 33109 497.77/499.77 c #Conflicts: 258000 | #Constraints: 34114 497.77/499.77 c #Conflicts: 259000 | #Constraints: 35116 497.77/499.77 c #Conflicts: 260000 | #Constraints: 36120 497.77/499.77 c #Conflicts: 261000 | #Constraints: 37121 497.77/499.77 c #Conflicts: 262000 | #Constraints: 38123 497.77/499.77 c #Conflicts: 263000 | #Constraints: 39126 497.77/499.77 c #Conflicts: 264000 | #Constraints: 40129 497.77/499.77 c #Conflicts: 265000 | #Constraints: 41134 497.77/499.77 c #Conflicts: 266000 | #Constraints: 42140 497.77/499.77 c #Conflicts: 267000 | #Constraints: 43143 497.77/499.77 c #Conflicts: 268000 | #Constraints: 44201 497.77/499.77 c #Conflicts: 269000 | #Constraints: 45899 497.77/499.77 c #Conflicts: 270000 | #Constraints: 46903 497.77/499.77 c #Conflicts: 271000 | #Constraints: 47905 497.77/499.77 c #Conflicts: 272000 | #Constraints: 49336 497.77/499.77 c #Conflicts: 273000 | #Constraints: 50832 497.77/499.77 c #Conflicts: 274000 | #Constraints: 51832 497.77/499.77 c #Conflicts: 275000 | #Constraints: 52874 497.77/499.77 c #Conflicts: 276000 | #Constraints: 53968 497.77/499.77 c #Conflicts: 277000 | #Constraints: 54970 497.77/499.77 c #Conflicts: 278000 | #Constraints: 55972 497.77/499.77 c #Conflicts: 279000 | #Constraints: 56982 497.77/499.77 c #Conflicts: 280000 | #Constraints: 57986 497.77/499.78 c #Conflicts: 281000 | #Constraints: 58990 497.77/499.78 c #Conflicts: 282000 | #Constraints: 59991 497.77/499.78 c #Conflicts: 283000 | #Constraints: 61001 497.77/499.78 c #Conflicts: 284000 | #Constraints: 62004 497.77/499.78 c #Conflicts: 285000 | #Constraints: 63006 497.77/499.78 c INPROCESSING 497.77/499.78 c GARBAGE COLLECT 497.77/499.78 c rational objective 13.5381 569.28/571.54 c #Conflicts: 286000 | #Constraints: 35270 569.28/571.54 c #Conflicts: 287000 | #Constraints: 36271 569.28/571.54 c #Conflicts: 288000 | #Constraints: 37274 569.28/571.54 c #Conflicts: 289000 | #Constraints: 38276 569.28/571.54 c #Conflicts: 290000 | #Constraints: 39276 569.28/571.54 c #Conflicts: 291000 | #Constraints: 40277 569.28/571.54 c #Conflicts: 292000 | #Constraints: 41277 569.28/571.54 c #Conflicts: 293000 | #Constraints: 42279 569.28/571.54 c #Conflicts: 294000 | #Constraints: 43279 569.28/571.54 c #Conflicts: 295000 | #Constraints: 44279 569.28/571.54 c #Conflicts: 296000 | #Constraints: 45280 569.28/571.54 c INPROCESSING 569.28/571.54 c GARBAGE COLLECT 569.28/571.54 c rational objective 13.6489 631.95/634.49 c #Conflicts: 297000 | #Constraints: 26209 631.95/634.49 c #Conflicts: 298000 | #Constraints: 27209 631.95/634.49 c #Conflicts: 299000 | #Constraints: 28209 631.95/634.49 c #Conflicts: 300000 | #Constraints: 29210 631.95/634.49 c #Conflicts: 301000 | #Constraints: 30211 631.95/634.49 c #Conflicts: 302000 | #Constraints: 31212 631.95/634.49 c #Conflicts: 303000 | #Constraints: 32213 631.95/634.49 c #Conflicts: 304000 | #Constraints: 33213 631.95/634.49 c #Conflicts: 305000 | #Constraints: 34214 631.95/634.49 c #Conflicts: 306000 | #Constraints: 35214 631.95/634.49 c #Conflicts: 307000 | #Constraints: 36216 631.95/634.49 c #Conflicts: 308000 | #Constraints: 37216 631.95/634.49 c INPROCESSING 631.95/634.49 c GARBAGE COLLECT 631.95/634.49 c rational objective 13.6517 658.15/660.77 c #Conflicts: 309000 | #Constraints: 22371 658.15/660.77 c #Conflicts: 310000 | #Constraints: 23690 658.15/660.77 c #Conflicts: 311000 | #Constraints: 25080 658.15/660.77 c #Conflicts: 312000 | #Constraints: 26081 658.15/660.77 c #Conflicts: 313000 | #Constraints: 27154 658.15/660.77 c #Conflicts: 314000 | #Constraints: 28195 658.15/660.77 c #Conflicts: 315000 | #Constraints: 29197 658.15/660.77 c #Conflicts: 316000 | #Constraints: 30359 658.15/660.77 c #Conflicts: 317000 | #Constraints: 31567 658.15/660.77 c #Conflicts: 318000 | #Constraints: 33097 658.15/660.77 c #Conflicts: 319000 | #Constraints: 34777 658.15/660.77 c INPROCESSING 658.15/660.77 c GARBAGE COLLECT 658.15/660.77 c rational objective 13.6517 679.47/682.10 c #Conflicts: 320000 | #Constraints: 20891 679.47/682.10 c #Conflicts: 321000 | #Constraints: 21911 679.47/682.10 c #Conflicts: 322000 | #Constraints: 22922 679.47/682.10 c #Conflicts: 323000 | #Constraints: 24018 679.47/682.10 c #Conflicts: 324000 | #Constraints: 25030 679.47/682.10 c #Conflicts: 325000 | #Constraints: 26033 679.47/682.10 c #Conflicts: 326000 | #Constraints: 27159 679.47/682.10 c #Conflicts: 327000 | #Constraints: 28641 679.47/682.10 c #Conflicts: 328000 | #Constraints: 30137 679.47/682.10 c #Conflicts: 329000 | #Constraints: 31140 679.47/682.10 c #Conflicts: 330000 | #Constraints: 32140 679.47/682.10 c #Conflicts: 331000 | #Constraints: 33152 679.47/682.10 c INPROCESSING 679.47/682.10 c GARBAGE COLLECT 679.47/682.10 c rational objective 13.6517 825.24/828.51 c #Conflicts: 332000 | #Constraints: 20003 825.24/828.51 c #Conflicts: 333000 | #Constraints: 21007 825.24/828.51 c #Conflicts: 334000 | #Constraints: 22010 825.24/828.51 c #Conflicts: 335000 | #Constraints: 23012 825.24/828.51 c #Conflicts: 336000 | #Constraints: 24015 825.24/828.51 c #Conflicts: 337000 | #Constraints: 25019 825.24/828.51 c #Conflicts: 338000 | #Constraints: 26022 825.24/828.51 c #Conflicts: 339000 | #Constraints: 27025 825.24/828.51 c #Conflicts: 340000 | #Constraints: 28027 825.24/828.51 c #Conflicts: 341000 | #Constraints: 29031 825.24/828.51 c #Conflicts: 342000 | #Constraints: 30034 825.24/828.51 c #Conflicts: 343000 | #Constraints: 31038 825.24/828.51 c #Conflicts: 344000 | #Constraints: 32045 825.24/828.51 c #Conflicts: 345000 | #Constraints: 33048 825.24/828.51 c #Conflicts: 346000 | #Constraints: 34051 825.24/828.51 c #Conflicts: 347000 | #Constraints: 35054 825.24/828.51 c #Conflicts: 348000 | #Constraints: 36067 825.24/828.51 c #Conflicts: 349000 | #Constraints: 37116 825.24/828.51 c #Conflicts: 350000 | #Constraints: 38118 825.24/828.51 c #Conflicts: 351000 | #Constraints: 39122 825.24/828.51 c #Conflicts: 352000 | #Constraints: 40137 825.24/828.51 c #Conflicts: 353000 | #Constraints: 41171 825.24/828.51 c #Conflicts: 354000 | #Constraints: 42177 825.24/828.51 c #Conflicts: 355000 | #Constraints: 43187 825.24/828.51 c #Conflicts: 356000 | #Constraints: 44204 825.24/828.51 c #Conflicts: 357000 | #Constraints: 45207 825.24/828.51 c #Conflicts: 358000 | #Constraints: 46212 825.24/828.51 c #Conflicts: 359000 | #Constraints: 47217 825.24/828.51 c #Conflicts: 360000 | #Constraints: 48219 825.24/828.51 c #Conflicts: 361000 | #Constraints: 49224 825.24/828.51 c #Conflicts: 362000 | #Constraints: 50228 825.24/828.51 c #Conflicts: 363000 | #Constraints: 51233 825.24/828.51 c #Conflicts: 364000 | #Constraints: 52234 825.24/828.51 c #Conflicts: 365000 | #Constraints: 53236 825.24/828.51 c #Conflicts: 366000 | #Constraints: 54239 825.24/828.51 c #Conflicts: 367000 | #Constraints: 55246 825.24/828.51 c #Conflicts: 368000 | #Constraints: 56332 825.24/828.51 c #Conflicts: 369000 | #Constraints: 57378 825.24/828.51 c #Conflicts: 370000 | #Constraints: 58427 825.24/828.51 c #Conflicts: 371000 | #Constraints: 59460 825.24/828.51 c #Conflicts: 372000 | #Constraints: 60654 825.24/828.51 c #Conflicts: 373000 | #Constraints: 62299 825.24/828.51 c #Conflicts: 374000 | #Constraints: 64069 825.24/828.51 c #Conflicts: 375000 | #Constraints: 65313 825.24/828.51 c #Conflicts: 376000 | #Constraints: 66858 825.24/828.51 c #Conflicts: 377000 | #Constraints: 68470 825.24/828.51 c #Conflicts: 378000 | #Constraints: 69727 825.24/828.51 c #Conflicts: 379000 | #Constraints: 70729 825.24/828.51 c #Conflicts: 380000 | #Constraints: 71731 825.24/828.51 c #Conflicts: 381000 | #Constraints: 72736 825.24/828.51 c #Conflicts: 382000 | #Constraints: 73744 825.24/828.51 c INPROCESSING 825.24/828.51 c GARBAGE COLLECT 825.24/828.51 c rational objective 13.6517 843.27/846.67 c #Conflicts: 383000 | #Constraints: 40283 843.27/846.67 c #Conflicts: 384000 | #Constraints: 41285 843.27/846.67 c #Conflicts: 385000 | #Constraints: 42286 843.27/846.67 WSVECS04 Frhs2[188]: 6 0 2919.19 shouldn't be 913.63/917.22 c #Conflicts: 386000 | #Constraints: 43287 913.63/917.22 c #Conflicts: 387000 | #Constraints: 44287 913.63/917.22 c #Conflicts: 388000 | #Constraints: 45288 913.63/917.22 c #Conflicts: 389000 | #Constraints: 46288 913.63/917.22 c #Conflicts: 390000 | #Constraints: 47290 913.63/917.22 c #Conflicts: 391000 | #Constraints: 48290 913.63/917.22 c #Conflicts: 392000 | #Constraints: 49291 913.63/917.22 c #Conflicts: 393000 | #Constraints: 50292 913.63/917.22 c #Conflicts: 394000 | #Constraints: 51292 913.63/917.22 c #Conflicts: 395000 | #Constraints: 52293 913.63/917.22 c #Conflicts: 396000 | #Constraints: 53295 913.63/917.22 c INPROCESSING 913.63/917.22 c GARBAGE COLLECT 913.63/917.22 c rational objective 13.6517 994.74/998.65 c #Conflicts: 397000 | #Constraints: 30419 994.74/998.65 c #Conflicts: 398000 | #Constraints: 31421 994.74/998.65 c #Conflicts: 399000 | #Constraints: 32422 994.74/998.65 c #Conflicts: 400000 | #Constraints: 33422 994.74/998.65 c #Conflicts: 401000 | #Constraints: 34422 994.74/998.65 c #Conflicts: 402000 | #Constraints: 35423 994.74/998.65 c #Conflicts: 403000 | #Constraints: 36424 994.74/998.65 c #Conflicts: 404000 | #Constraints: 37424 994.74/998.65 c #Conflicts: 405000 | #Constraints: 38425 994.74/998.65 c #Conflicts: 406000 | #Constraints: 39425 994.74/998.65 c #Conflicts: 407000 | #Constraints: 40425 994.74/998.65 c #Conflicts: 408000 | #Constraints: 41427 994.74/998.65 c #Conflicts: 409000 | #Constraints: 42428 994.74/998.65 c INPROCESSING 994.74/998.65 c GARBAGE COLLECT 994.74/998.65 c rational objective 13.6517 1021.95/1025.97 c #Conflicts: 410000 | #Constraints: 24741 1021.95/1025.97 c #Conflicts: 411000 | #Constraints: 25873 1021.95/1025.97 c #Conflicts: 412000 | #Constraints: 27035 1021.95/1025.97 c #Conflicts: 413000 | #Constraints: 28083 1021.95/1025.97 c #Conflicts: 414000 | #Constraints: 29112 1021.95/1025.97 c #Conflicts: 415000 | #Constraints: 30115 1021.95/1025.97 c #Conflicts: 416000 | #Constraints: 31166 1021.95/1025.97 c #Conflicts: 417000 | #Constraints: 32216 1021.95/1025.97 c #Conflicts: 418000 | #Constraints: 33225 1021.95/1025.97 c #Conflicts: 419000 | #Constraints: 34367 1021.95/1025.97 c #Conflicts: 420000 | #Constraints: 35579 1021.95/1025.97 c #Conflicts: 421000 | #Constraints: 36588 1021.95/1025.97 c #Conflicts: 422000 | #Constraints: 38157 1021.95/1025.97 c #Conflicts: 423000 | #Constraints: 39734 1021.95/1025.97 c INPROCESSING 1021.95/1025.97 c GARBAGE COLLECT 1021.95/1025.97 c rational objective 13.6517 1239.04/1243.65 c #Conflicts: 424000 | #Constraints: 24078 1239.04/1243.65 c #Conflicts: 425000 | #Constraints: 25351 1239.04/1243.65 c #Conflicts: 426000 | #Constraints: 26482 1239.04/1243.65 c #Conflicts: 427000 | #Constraints: 27492 1239.04/1243.65 c #Conflicts: 428000 | #Constraints: 28758 1239.04/1243.65 c #Conflicts: 429000 | #Constraints: 30259 1239.04/1243.65 c #Conflicts: 430000 | #Constraints: 31711 1239.04/1243.65 c #Conflicts: 431000 | #Constraints: 32833 1239.04/1243.65 c #Conflicts: 432000 | #Constraints: 34469 1239.04/1243.65 c #Conflicts: 433000 | #Constraints: 35504 1239.04/1243.65 c #Conflicts: 434000 | #Constraints: 36509 1239.04/1243.65 c #Conflicts: 435000 | #Constraints: 37513 1239.04/1243.65 c #Conflicts: 436000 | #Constraints: 38517 1239.04/1243.65 c #Conflicts: 437000 | #Constraints: 39522 1239.04/1243.65 c #Conflicts: 438000 | #Constraints: 40525 1239.04/1243.65 c #Conflicts: 439000 | #Constraints: 41530 1239.04/1243.65 c #Conflicts: 440000 | #Constraints: 42533 1239.04/1243.65 c #Conflicts: 441000 | #Constraints: 43537 1239.04/1243.65 c #Conflicts: 442000 | #Constraints: 44545 1239.04/1243.65 c #Conflicts: 443000 | #Constraints: 45549 1239.04/1243.65 c #Conflicts: 444000 | #Constraints: 46556 1239.04/1243.65 c #Conflicts: 445000 | #Constraints: 47559 1239.04/1243.65 c #Conflicts: 446000 | #Constraints: 48563 1239.04/1243.65 c #Conflicts: 447000 | #Constraints: 49567 1239.04/1243.65 c #Conflicts: 448000 | #Constraints: 50572 1239.04/1243.65 c #Conflicts: 449000 | #Constraints: 51579 1239.04/1243.65 c #Conflicts: 450000 | #Constraints: 52585 1239.04/1243.65 c #Conflicts: 451000 | #Constraints: 53589 1239.04/1243.65 c #Conflicts: 452000 | #Constraints: 54593 1239.04/1243.65 c #Conflicts: 453000 | #Constraints: 55597 1239.04/1243.65 c #Conflicts: 454000 | #Constraints: 56603 1239.04/1243.65 c #Conflicts: 455000 | #Constraints: 57608 1239.04/1243.65 c #Conflicts: 456000 | #Constraints: 58610 1239.04/1243.65 c #Conflicts: 457000 | #Constraints: 59615 1239.04/1243.65 c #Conflicts: 458000 | #Constraints: 60617 1239.04/1243.65 c #Conflicts: 459000 | #Constraints: 61622 1239.04/1243.65 c #Conflicts: 460000 | #Constraints: 62628 1239.04/1243.65 c #Conflicts: 461000 | #Constraints: 63633 1239.04/1243.65 c #Conflicts: 462000 | #Constraints: 64638 1239.04/1243.65 c #Conflicts: 463000 | #Constraints: 65643 1239.04/1243.65 c #Conflicts: 464000 | #Constraints: 66647 1239.04/1243.65 c #Conflicts: 465000 | #Constraints: 67652 1239.04/1243.65 c #Conflicts: 466000 | #Constraints: 68656 1239.04/1243.65 c #Conflicts: 467000 | #Constraints: 69660 1239.04/1243.65 c #Conflicts: 468000 | #Constraints: 70663 1239.04/1243.65 c #Conflicts: 469000 | #Constraints: 71666 1239.04/1243.65 c #Conflicts: 470000 | #Constraints: 72668 1239.04/1243.65 c #Conflicts: 471000 | #Constraints: 73671 1239.04/1243.65 c #Conflicts: 472000 | #Constraints: 74673 1239.04/1243.65 c #Conflicts: 473000 | #Constraints: 75675 1239.04/1243.65 c #Conflicts: 474000 | #Constraints: 76677 1239.04/1243.65 c #Conflicts: 475000 | #Constraints: 77681 1239.04/1243.65 c #Conflicts: 476000 | #Constraints: 78684 1239.04/1243.65 c #Conflicts: 477000 | #Constraints: 79687 1239.04/1243.65 c #Conflicts: 478000 | #Constraints: 80690 1239.04/1243.65 c #Conflicts: 479000 | #Constraints: 81694 1239.04/1243.65 c INPROCESSING 1239.04/1243.65 c GARBAGE COLLECT 1239.04/1243.65 c #Conflicts: 480000 | #Constraints: 44414 1239.04/1243.65 c #Conflicts: 481000 | #Constraints: 45414 1239.04/1243.65 c #Conflicts: 482000 | #Constraints: 46414 1239.04/1243.65 c #Conflicts: 483000 | #Constraints: 47414 1239.04/1243.65 c #Conflicts: 484000 | #Constraints: 48414 1239.04/1243.65 c #Conflicts: 485000 | #Constraints: 49414 1239.04/1243.65 c #Conflicts: 486000 | #Constraints: 50414 1239.04/1243.65 c #Conflicts: 487000 | #Constraints: 51414 1239.04/1243.65 c #Conflicts: 488000 | #Constraints: 52414 1239.04/1243.65 c #Conflicts: 489000 | #Constraints: 53414 1239.04/1243.65 c #Conflicts: 490000 | #Constraints: 54414 1239.04/1243.65 c #Conflicts: 491000 | #Constraints: 55414 1239.04/1243.65 c #Conflicts: 492000 | #Constraints: 56414 1239.04/1243.65 c #Conflicts: 493000 | #Constraints: 57415 1239.04/1243.65 c #Conflicts: 494000 | #Constraints: 58415 1239.04/1243.65 c INPROCESSING 1239.04/1243.65 c GARBAGE COLLECT 1239.04/1243.65 c rational objective 13.5049 1258.69/1263.37 c #Conflicts: 495000 | #Constraints: 32785 1258.69/1263.37 c #Conflicts: 496000 | #Constraints: 33788 1258.69/1263.37 c #Conflicts: 497000 | #Constraints: 34792 1258.69/1263.37 c #Conflicts: 498000 | #Constraints: 35795 1258.69/1263.37 c #Conflicts: 499000 | #Constraints: 36797 1258.69/1263.37 c #Conflicts: 500000 | #Constraints: 37801 1258.69/1263.37 c #Conflicts: 501000 | #Constraints: 38804 1258.69/1263.37 c #Conflicts: 502000 | #Constraints: 39808 1258.69/1263.37 c #Conflicts: 503000 | #Constraints: 40811 1258.69/1263.37 c #Conflicts: 504000 | #Constraints: 41814 1258.69/1263.37 c #Conflicts: 505000 | #Constraints: 42818 1258.69/1263.37 c #Conflicts: 506000 | #Constraints: 43821 1258.69/1263.37 c #Conflicts: 507000 | #Constraints: 44825 1258.69/1263.37 c #Conflicts: 508000 | #Constraints: 45827 1258.69/1263.37 c #Conflicts: 509000 | #Constraints: 46831 1258.69/1263.37 c INPROCESSING 1258.69/1263.37 c GARBAGE COLLECT 1258.69/1263.37 c rational objective 13.5052 1315.94/1320.70 c #Conflicts: 510000 | #Constraints: 26886 1315.94/1320.70 c #Conflicts: 511000 | #Constraints: 27889 1315.94/1320.70 c #Conflicts: 512000 | #Constraints: 28891 1315.94/1320.70 c #Conflicts: 513000 | #Constraints: 29893 1315.94/1320.70 c #Conflicts: 514000 | #Constraints: 30896 1315.94/1320.70 c #Conflicts: 515000 | #Constraints: 31897 1315.94/1320.70 c #Conflicts: 516000 | #Constraints: 32897 1315.94/1320.70 c #Conflicts: 517000 | #Constraints: 33902 1315.94/1320.70 c #Conflicts: 518000 | #Constraints: 34904 1315.94/1320.70 c #Conflicts: 519000 | #Constraints: 35904 1315.94/1320.70 c #Conflicts: 520000 | #Constraints: 36906 1315.94/1320.70 c #Conflicts: 521000 | #Constraints: 37908 1315.94/1320.70 c #Conflicts: 522000 | #Constraints: 38909 1315.94/1320.70 c #Conflicts: 523000 | #Constraints: 39909 1315.94/1320.70 c #Conflicts: 524000 | #Constraints: 40909 1315.94/1320.70 c #Conflicts: 525000 | #Constraints: 41912 1315.94/1320.70 c INPROCESSING 1315.94/1320.70 c GARBAGE COLLECT 1315.94/1320.70 c rational objective 13.5054 1511.30/1516.69 c #Conflicts: 526000 | #Constraints: 24730 1511.30/1516.69 c #Conflicts: 527000 | #Constraints: 25932 1511.30/1516.69 c #Conflicts: 528000 | #Constraints: 27158 1511.30/1516.69 c #Conflicts: 529000 | #Constraints: 28476 1511.30/1516.69 c #Conflicts: 530000 | #Constraints: 30266 1511.30/1516.69 c #Conflicts: 531000 | #Constraints: 32030 1511.30/1516.69 c #Conflicts: 532000 | #Constraints: 33764 1511.30/1516.69 c #Conflicts: 533000 | #Constraints: 35036 1511.30/1516.69 c #Conflicts: 534000 | #Constraints: 36417 1511.30/1516.69 c #Conflicts: 535000 | #Constraints: 37855 1511.30/1516.69 c #Conflicts: 536000 | #Constraints: 38965 1511.30/1516.69 c #Conflicts: 537000 | #Constraints: 40091 1511.30/1516.69 c #Conflicts: 538000 | #Constraints: 41554 1511.30/1516.69 c #Conflicts: 539000 | #Constraints: 42697 1511.30/1516.69 c #Conflicts: 540000 | #Constraints: 43839 1511.30/1516.69 c #Conflicts: 541000 | #Constraints: 44958 1511.30/1516.69 c #Conflicts: 542000 | #Constraints: 46026 1511.30/1516.69 c #Conflicts: 543000 | #Constraints: 47501 1511.30/1516.69 c #Conflicts: 544000 | #Constraints: 48784 1511.30/1516.69 c #Conflicts: 545000 | #Constraints: 49826 1511.30/1516.69 c #Conflicts: 546000 | #Constraints: 51235 1511.30/1516.69 c #Conflicts: 547000 | #Constraints: 52875 1511.30/1516.69 c #Conflicts: 548000 | #Constraints: 54179 1511.30/1516.69 c #Conflicts: 549000 | #Constraints: 55674 1511.30/1516.69 c #Conflicts: 550000 | #Constraints: 57436 1511.30/1516.69 c #Conflicts: 551000 | #Constraints: 59130 1511.30/1516.69 c #Conflicts: 552000 | #Constraints: 60799 1511.30/1516.69 c #Conflicts: 553000 | #Constraints: 62470 1511.30/1516.69 c #Conflicts: 554000 | #Constraints: 64179 1511.30/1516.69 c #Conflicts: 555000 | #Constraints: 65865 1511.30/1516.69 c #Conflicts: 556000 | #Constraints: 67561 1511.30/1516.69 c #Conflicts: 557000 | #Constraints: 69296 1511.30/1516.69 c #Conflicts: 558000 | #Constraints: 71024 1511.30/1516.69 c #Conflicts: 559000 | #Constraints: 72733 1511.30/1516.69 c #Conflicts: 560000 | #Constraints: 74508 1511.30/1516.69 c #Conflicts: 561000 | #Constraints: 76178 1511.30/1516.69 c #Conflicts: 562000 | #Constraints: 77325 1511.30/1516.69 c #Conflicts: 563000 | #Constraints: 78530 1511.30/1516.69 c #Conflicts: 564000 | #Constraints: 79882 1511.30/1516.69 c #Conflicts: 565000 | #Constraints: 81494 1511.30/1516.69 c #Conflicts: 566000 | #Constraints: 82577 1511.30/1516.69 c #Conflicts: 567000 | #Constraints: 83708 1511.30/1516.69 c #Conflicts: 568000 | #Constraints: 84732 1511.30/1516.69 c #Conflicts: 569000 | #Constraints: 85766 1511.30/1516.69 c #Conflicts: 570000 | #Constraints: 86799 1511.30/1516.69 c #Conflicts: 571000 | #Constraints: 87868 1511.30/1516.69 c #Conflicts: 572000 | #Constraints: 89212 1511.30/1516.69 c #Conflicts: 573000 | #Constraints: 90907 1511.30/1516.69 c #Conflicts: 574000 | #Constraints: 92550 1511.30/1516.69 c #Conflicts: 575000 | #Constraints: 94192 1511.30/1516.69 c #Conflicts: 576000 | #Constraints: 95870 1511.30/1516.69 c #Conflicts: 577000 | #Constraints: 97330 1511.30/1516.69 c #Conflicts: 578000 | #Constraints: 98776 1511.30/1516.69 c #Conflicts: 579000 | #Constraints: 100124 1511.30/1516.69 c #Conflicts: 580000 | #Constraints: 101276 1511.30/1516.69 c #Conflicts: 581000 | #Constraints: 102685 1511.30/1516.69 c #Conflicts: 582000 | #Constraints: 103707 1511.30/1516.69 c #Conflicts: 583000 | #Constraints: 104801 1511.30/1516.69 c #Conflicts: 584000 | #Constraints: 106126 1511.30/1516.69 c #Conflicts: 585000 | #Constraints: 107522 1511.30/1516.69 c #Conflicts: 586000 | #Constraints: 108564 1511.30/1516.69 c INPROCESSING 1511.30/1516.69 c GARBAGE COLLECT 1511.30/1516.69 c rational objective 13.5055 1606.93/1612.54 c #Conflicts: 587000 | #Constraints: 57800 1606.93/1612.54 c #Conflicts: 588000 | #Constraints: 58805 1606.93/1612.54 c #Conflicts: 589000 | #Constraints: 59806 1606.93/1612.54 c #Conflicts: 590000 | #Constraints: 60807 1606.93/1612.54 c #Conflicts: 591000 | #Constraints: 61809 1606.93/1612.54 c #Conflicts: 592000 | #Constraints: 62812 1606.93/1612.54 c #Conflicts: 593000 | #Constraints: 63812 1606.93/1612.54 c #Conflicts: 594000 | #Constraints: 64814 1606.93/1612.54 c #Conflicts: 595000 | #Constraints: 65815 1606.93/1612.54 c #Conflicts: 596000 | #Constraints: 66815 1606.93/1612.54 c #Conflicts: 597000 | #Constraints: 67818 1606.93/1612.54 c #Conflicts: 598000 | #Constraints: 68820 1606.93/1612.54 c #Conflicts: 599000 | #Constraints: 69821 1606.93/1612.54 WSVECS04 Frhs2[111]: 6 -6.62049 0 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[113]: 6 -9.49182 0 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[129]: 6 0 8.98679 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[131]: 6 0 29.5415 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[143]: 6 -3.32475 0 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[150]: 6 0 22.7133 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[154]: 6 0 5.93036 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[155]: 6 0 2.10589 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[160]: 6 0 1.3562 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[162]: 6 0 4.18712 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[165]: 6 0 3.85531 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[166]: 6 0 8.9184 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[169]: 6 0 9.66657 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[172]: 6 0 8.80268 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[180]: 6 0 4.40086 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[182]: 6 0 1.03394 shouldn't be 1606.93/1612.54 WSVECS04 Frhs2[185]: 6 0 10.2352 shouldn't be 1637.25/1642.96 c #Conflicts: 600000 | #Constraints: 70823 1637.25/1642.96 c #Conflicts: 601000 | #Constraints: 71824 1637.25/1642.96 c #Conflicts: 602000 | #Constraints: 72824 1637.25/1642.96 c #Conflicts: 603000 | #Constraints: 73827 1637.25/1642.96 c INPROCESSING 1637.25/1642.96 c GARBAGE COLLECT 1637.25/1642.96 c rational objective 13.5165 1678.04/1683.81 c #Conflicts: 604000 | #Constraints: 40597 1678.04/1683.81 c #Conflicts: 605000 | #Constraints: 41654 1678.04/1683.81 c #Conflicts: 606000 | #Constraints: 43032 1678.04/1683.81 c #Conflicts: 607000 | #Constraints: 44542 1678.04/1683.81 c #Conflicts: 608000 | #Constraints: 46342 1678.04/1683.81 c #Conflicts: 609000 | #Constraints: 47817 1678.04/1683.81 c #Conflicts: 610000 | #Constraints: 49597 1678.04/1683.81 c #Conflicts: 611000 | #Constraints: 51410 1678.04/1683.81 c #Conflicts: 612000 | #Constraints: 53191 1678.04/1683.81 c #Conflicts: 613000 | #Constraints: 54930 1678.04/1683.81 c #Conflicts: 614000 | #Constraints: 56656 1678.04/1683.81 c #Conflicts: 615000 | #Constraints: 58392 1678.04/1683.81 c #Conflicts: 616000 | #Constraints: 59610 1678.04/1683.81 c #Conflicts: 617000 | #Constraints: 60616 1678.04/1683.81 c #Conflicts: 618000 | #Constraints: 61627 1678.04/1683.81 c #Conflicts: 619000 | #Constraints: 62630 1678.04/1683.81 c #Conflicts: 620000 | #Constraints: 63632 1678.04/1683.81 c INPROCESSING 1678.04/1683.81 c GARBAGE COLLECT 1678.04/1683.81 c rational objective 13.5783 1764.82/1770.83 c #Conflicts: 621000 | #Constraints: 35533 1764.82/1770.83 c #Conflicts: 622000 | #Constraints: 36534 1764.82/1770.83 c #Conflicts: 623000 | #Constraints: 37557 1764.82/1770.83 c #Conflicts: 624000 | #Constraints: 38558 1764.82/1770.83 c #Conflicts: 625000 | #Constraints: 39560 1764.82/1770.83 c #Conflicts: 626000 | #Constraints: 40561 1764.82/1770.83 c #Conflicts: 627000 | #Constraints: 41563 1764.82/1770.83 c #Conflicts: 628000 | #Constraints: 42563 1764.82/1770.83 c #Conflicts: 629000 | #Constraints: 43564 1764.82/1770.83 c #Conflicts: 630000 | #Constraints: 44564 1764.82/1770.83 c #Conflicts: 631000 | #Constraints: 45566 1764.82/1770.83 c #Conflicts: 632000 | #Constraints: 46568 1764.82/1770.83 c #Conflicts: 633000 | #Constraints: 47570 1764.82/1770.83 c #Conflicts: 634000 | #Constraints: 48572 1764.82/1770.83 c #Conflicts: 635000 | #Constraints: 49573 1764.82/1770.83 c #Conflicts: 636000 | #Constraints: 50575 1764.82/1770.83 c #Conflicts: 637000 | #Constraints: 51576 1764.82/1770.83 c INPROCESSING 1764.82/1770.83 c GARBAGE COLLECT 1764.82/1770.83 c rational objective 13.5783 1987.81/1994.45 c #Conflicts: 638000 | #Constraints: 29461 1987.81/1994.45 c #Conflicts: 639000 | #Constraints: 30470 1987.81/1994.45 c #Conflicts: 640000 | #Constraints: 31489 1987.81/1994.45 c #Conflicts: 641000 | #Constraints: 32543 1987.81/1994.45 c #Conflicts: 642000 | #Constraints: 33681 1987.81/1994.45 c #Conflicts: 643000 | #Constraints: 34700 1987.81/1994.45 c #Conflicts: 644000 | #Constraints: 35735 1987.81/1994.45 c #Conflicts: 645000 | #Constraints: 36737 1987.81/1994.45 c #Conflicts: 646000 | #Constraints: 37741 1987.81/1994.45 c #Conflicts: 647000 | #Constraints: 38748 1987.81/1994.45 c #Conflicts: 648000 | #Constraints: 39906 1987.81/1994.45 c #Conflicts: 649000 | #Constraints: 40998 1987.81/1994.45 c #Conflicts: 650000 | #Constraints: 42116 1987.81/1994.45 c #Conflicts: 651000 | #Constraints: 43457 1987.81/1994.45 c #Conflicts: 652000 | #Constraints: 45140 1987.81/1994.45 c #Conflicts: 653000 | #Constraints: 46830 1987.81/1994.45 c #Conflicts: 654000 | #Constraints: 48452 1987.81/1994.45 c #Conflicts: 655000 | #Constraints: 49457 1987.81/1994.45 c #Conflicts: 656000 | #Constraints: 50942 1987.81/1994.45 c #Conflicts: 657000 | #Constraints: 52642 1987.81/1994.45 c #Conflicts: 658000 | #Constraints: 54379 1987.81/1994.45 c #Conflicts: 659000 | #Constraints: 56050 1987.81/1994.45 c #Conflicts: 660000 | #Constraints: 57388 1987.81/1994.45 c #Conflicts: 661000 | #Constraints: 58390 1987.81/1994.45 c #Conflicts: 662000 | #Constraints: 59396 1987.81/1994.45 c #Conflicts: 663000 | #Constraints: 60453 1987.81/1994.45 c #Conflicts: 664000 | #Constraints: 61459 1987.81/1994.45 c #Conflicts: 665000 | #Constraints: 62462 1987.81/1994.45 c #Conflicts: 666000 | #Constraints: 63471 1987.81/1994.45 c #Conflicts: 667000 | #Constraints: 64763 1987.81/1994.45 c #Conflicts: 668000 | #Constraints: 65775 1987.81/1994.45 c #Conflicts: 669000 | #Constraints: 66792 1987.81/1994.45 c #Conflicts: 670000 | #Constraints: 67804 1987.81/1994.45 c #Conflicts: 671000 | #Constraints: 68807 1987.81/1994.45 c #Conflicts: 672000 | #Constraints: 69817 1987.81/1994.45 c #Conflicts: 673000 | #Constraints: 70823 1987.81/1994.45 c #Conflicts: 674000 | #Constraints: 71825 1987.81/1994.45 c #Conflicts: 675000 | #Constraints: 72880 1987.81/1994.45 c #Conflicts: 676000 | #Constraints: 73996 1987.81/1994.45 c #Conflicts: 677000 | #Constraints: 75014 1987.81/1994.45 c #Conflicts: 678000 | #Constraints: 76583 1987.81/1994.45 c #Conflicts: 679000 | #Constraints: 78152 1987.81/1994.45 c #Conflicts: 680000 | #Constraints: 79155 1987.81/1994.45 c #Conflicts: 681000 | #Constraints: 80159 1987.81/1994.45 c #Conflicts: 682000 | #Constraints: 81170 1987.81/1994.45 c #Conflicts: 683000 | #Constraints: 82174 1987.81/1994.45 c #Conflicts: 684000 | #Constraints: 83177 1987.81/1994.45 c #Conflicts: 685000 | #Constraints: 84214 1987.81/1994.45 c #Conflicts: 686000 | #Constraints: 85489 1987.81/1994.45 c #Conflicts: 687000 | #Constraints: 87202 1987.81/1994.45 c #Conflicts: 688000 | #Constraints: 88218 1987.81/1994.45 c #Conflicts: 689000 | #Constraints: 89241 1987.81/1994.45 c #Conflicts: 690000 | #Constraints: 90386 1987.81/1994.45 c #Conflicts: 691000 | #Constraints: 91390 1987.81/1994.45 c #Conflicts: 692000 | #Constraints: 92395 1987.81/1994.45 c #Conflicts: 693000 | #Constraints: 93475 1987.81/1994.45 c #Conflicts: 694000 | #Constraints: 94714 1987.81/1994.45 c #Conflicts: 695000 | #Constraints: 96144 1987.81/1994.45 c #Conflicts: 696000 | #Constraints: 97420 1987.81/1994.45 c #Conflicts: 697000 | #Constraints: 99135 1987.81/1994.45 c #Conflicts: 698000 | #Constraints: 100842 1987.81/1994.45 c #Conflicts: 699000 | #Constraints: 102371 1987.81/1994.45 c #Conflicts: 700000 | #Constraints: 104075 1987.81/1994.45 c #Conflicts: 701000 | #Constraints: 105745 1987.81/1994.45 c #Conflicts: 702000 | #Constraints: 106891 1987.81/1994.45 c #Conflicts: 703000 | #Constraints: 107969 1987.81/1994.45 c #Conflicts: 704000 | #Constraints: 109711 1987.81/1994.45 c INPROCESSING 1987.81/1994.45 c GARBAGE COLLECT 1987.81/1994.45 c rational objective 13.5783 2138.51/2145.54 c #Conflicts: 705000 | #Constraints: 58627 2138.51/2145.54 c #Conflicts: 706000 | #Constraints: 59627 2138.51/2145.54 c #Conflicts: 707000 | #Constraints: 60629 2138.51/2145.54 c #Conflicts: 708000 | #Constraints: 61630 2138.51/2145.54 c #Conflicts: 709000 | #Constraints: 62631 2138.51/2145.54 c #Conflicts: 710000 | #Constraints: 63633 2138.51/2145.54 c #Conflicts: 711000 | #Constraints: 64634 2138.51/2145.54 c #Conflicts: 712000 | #Constraints: 65634 2138.51/2145.54 c #Conflicts: 713000 | #Constraints: 66635 2138.51/2145.54 c #Conflicts: 714000 | #Constraints: 67638 2138.51/2145.54 c #Conflicts: 715000 | #Constraints: 68640 2138.51/2145.54 c #Conflicts: 716000 | #Constraints: 69641 2138.51/2145.54 c #Conflicts: 717000 | #Constraints: 70641 2138.51/2145.54 c #Conflicts: 718000 | #Constraints: 71643 2138.51/2145.54 c #Conflicts: 719000 | #Constraints: 72645 2138.51/2145.54 c #Conflicts: 720000 | #Constraints: 73646 2138.51/2145.54 c #Conflicts: 721000 | #Constraints: 74646 2138.51/2145.54 c #Conflicts: 722000 | #Constraints: 75646 2138.51/2145.54 c INPROCESSING 2138.51/2145.54 c GARBAGE COLLECT 2138.51/2145.54 c rational objective 13.6356 2187.18/2194.30 c #Conflicts: 723000 | #Constraints: 41397 2187.18/2194.30 c #Conflicts: 724000 | #Constraints: 42449 2187.18/2194.30 c #Conflicts: 725000 | #Constraints: 43863 2187.18/2194.30 c #Conflicts: 726000 | #Constraints: 44868 2187.18/2194.30 c #Conflicts: 727000 | #Constraints: 45906 2187.18/2194.30 c #Conflicts: 728000 | #Constraints: 46908 2187.18/2194.30 c #Conflicts: 729000 | #Constraints: 47915 2187.18/2194.30 c #Conflicts: 730000 | #Constraints: 49346 2187.18/2194.30 c #Conflicts: 731000 | #Constraints: 51185 2187.18/2194.30 c #Conflicts: 732000 | #Constraints: 52633 2187.18/2194.30 c #Conflicts: 733000 | #Constraints: 53785 2187.18/2194.30 c #Conflicts: 734000 | #Constraints: 55083 2187.18/2194.30 c #Conflicts: 735000 | #Constraints: 56771 2187.18/2194.30 c #Conflicts: 736000 | #Constraints: 58286 2187.18/2194.30 c #Conflicts: 737000 | #Constraints: 59937 2187.18/2194.30 c #Conflicts: 738000 | #Constraints: 61569 2187.18/2194.30 c #Conflicts: 739000 | #Constraints: 63037 2187.18/2194.30 c #Conflicts: 740000 | #Constraints: 64592 2187.18/2194.30 c #Conflicts: 741000 | #Constraints: 66080 2187.18/2194.30 c INPROCESSING 2187.18/2194.30 c GARBAGE COLLECT 2187.18/2194.30 c rational objective 13.5259 2202.73/2209.95 c #Conflicts: 742000 | #Constraints: 36812 2202.73/2209.95 c #Conflicts: 743000 | #Constraints: 37814 2202.73/2209.95 c #Conflicts: 744000 | #Constraints: 38815 2202.73/2209.95 WSVECS04 Frhs2[12]: 6 0 30.7412 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[38]: 6 0 13.4665 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[40]: 6 0 8.50878 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[51]: 6 0 49.3374 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[55]: 6 0 6.49951 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[67]: 6 0 5.37832 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[69]: 6 0 16.8686 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[93]: 6 0 5.87777 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[99]: 6 0 5.82952 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[136]: 6 0 22.4383 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[143]: 6 0 9.3853 shouldn't be 2202.73/2209.95 WSVECS04 Frhs2[207]: 6 -1.00004 0 shouldn't be 2299.88/2307.32 c #Conflicts: 745000 | #Constraints: 39815 2299.88/2307.32 c #Conflicts: 746000 | #Constraints: 40816 2299.88/2307.32 c #Conflicts: 747000 | #Constraints: 41818 2299.88/2307.32 c #Conflicts: 748000 | #Constraints: 42819 2299.88/2307.32 c #Conflicts: 749000 | #Constraints: 43820 2299.88/2307.32 c #Conflicts: 750000 | #Constraints: 44822 2299.88/2307.32 c #Conflicts: 751000 | #Constraints: 45824 2299.88/2307.32 c #Conflicts: 752000 | #Constraints: 46825 2299.88/2307.32 c #Conflicts: 753000 | #Constraints: 47826 2299.88/2307.32 c #Conflicts: 754000 | #Constraints: 48831 2299.88/2307.32 c #Conflicts: 755000 | #Constraints: 49831 2299.88/2307.32 c #Conflicts: 756000 | #Constraints: 50834 2299.88/2307.32 c #Conflicts: 757000 | #Constraints: 51835 2299.88/2307.32 c #Conflicts: 758000 | #Constraints: 52835 2299.88/2307.32 c #Conflicts: 759000 | #Constraints: 53847 2299.88/2307.32 c INPROCESSING 2299.88/2307.32 c GARBAGE COLLECT 2299.88/2307.32 c rational objective 13.7667 2517.79/2525.82 c #Conflicts: 760000 | #Constraints: 31097 2517.79/2525.82 c #Conflicts: 761000 | #Constraints: 32415 2517.79/2525.82 c #Conflicts: 762000 | #Constraints: 33534 2517.79/2525.82 c #Conflicts: 763000 | #Constraints: 34563 2517.79/2525.82 c #Conflicts: 764000 | #Constraints: 35565 2517.79/2525.82 c #Conflicts: 765000 | #Constraints: 36568 2517.79/2525.82 c #Conflicts: 766000 | #Constraints: 37584 2517.79/2525.82 c #Conflicts: 767000 | #Constraints: 38587 2517.79/2525.82 c #Conflicts: 768000 | #Constraints: 39625 2517.79/2525.82 c #Conflicts: 769000 | #Constraints: 40709 2517.79/2525.82 c #Conflicts: 770000 | #Constraints: 41724 2517.79/2525.82 c #Conflicts: 771000 | #Constraints: 42727 2517.79/2525.82 c #Conflicts: 772000 | #Constraints: 43728 2517.79/2525.82 c #Conflicts: 773000 | #Constraints: 44729 2517.79/2525.82 c #Conflicts: 774000 | #Constraints: 45741 2517.79/2525.82 c #Conflicts: 775000 | #Constraints: 46745 2517.79/2525.82 c #Conflicts: 776000 | #Constraints: 47747 2517.79/2525.82 c #Conflicts: 777000 | #Constraints: 48750 2517.79/2525.82 c #Conflicts: 778000 | #Constraints: 49848 2517.79/2525.82 c #Conflicts: 779000 | #Constraints: 50982 2517.79/2525.82 c #Conflicts: 780000 | #Constraints: 52698 2517.79/2525.82 c #Conflicts: 781000 | #Constraints: 54459 2517.79/2525.82 c #Conflicts: 782000 | #Constraints: 55676 2517.79/2525.82 c #Conflicts: 783000 | #Constraints: 56817 2517.79/2525.82 c #Conflicts: 784000 | #Constraints: 57893 2517.79/2525.82 c #Conflicts: 785000 | #Constraints: 58918 2517.79/2525.82 c #Conflicts: 786000 | #Constraints: 59946 2517.79/2525.82 c #Conflicts: 787000 | #Constraints: 61371 2517.79/2525.82 c #Conflicts: 788000 | #Constraints: 62615 2517.79/2525.82 c #Conflicts: 789000 | #Constraints: 63618 2517.79/2525.82 c #Conflicts: 790000 | #Constraints: 64620 2517.79/2525.82 c #Conflicts: 791000 | #Constraints: 65625 2517.79/2525.82 c #Conflicts: 792000 | #Constraints: 66627 2517.79/2525.82 c #Conflicts: 793000 | #Constraints: 67629 2517.79/2525.82 c #Conflicts: 794000 | #Constraints: 68631 2517.79/2525.82 c #Conflicts: 795000 | #Constraints: 69634 2517.79/2525.82 c #Conflicts: 796000 | #Constraints: 70638 2517.79/2525.82 c #Conflicts: 797000 | #Constraints: 71642 2517.79/2525.82 c #Conflicts: 798000 | #Constraints: 72647 2517.79/2525.82 c #Conflicts: 799000 | #Constraints: 73649 2517.79/2525.82 c #Conflicts: 800000 | #Constraints: 74651 2517.79/2525.82 c #Conflicts: 801000 | #Constraints: 75655 2517.79/2525.82 c #Conflicts: 802000 | #Constraints: 76658 2517.79/2525.82 c #Conflicts: 803000 | #Constraints: 77660 2517.79/2525.82 c #Conflicts: 804000 | #Constraints: 78662 2517.79/2525.82 c #Conflicts: 805000 | #Constraints: 79663 2517.79/2525.82 c #Conflicts: 806000 | #Constraints: 80685 2517.79/2525.82 c #Conflicts: 807000 | #Constraints: 81703 2517.79/2525.82 c #Conflicts: 808000 | #Constraints: 82709 2517.79/2525.82 c #Conflicts: 809000 | #Constraints: 83715 2517.79/2525.82 c #Conflicts: 810000 | #Constraints: 84737 2517.79/2525.82 c #Conflicts: 811000 | #Constraints: 85741 2517.79/2525.82 c #Conflicts: 812000 | #Constraints: 86743 2517.79/2525.82 c #Conflicts: 813000 | #Constraints: 87745 2517.79/2525.82 c #Conflicts: 814000 | #Constraints: 88750 2517.79/2525.82 c #Conflicts: 815000 | #Constraints: 89753 2517.79/2525.82 c #Conflicts: 816000 | #Constraints: 90762 2517.79/2525.82 c #Conflicts: 817000 | #Constraints: 91765 2517.79/2525.82 c #Conflicts: 818000 | #Constraints: 92769 2517.79/2525.82 c #Conflicts: 819000 | #Constraints: 93779 2517.79/2525.82 c #Conflicts: 820000 | #Constraints: 94780 2517.79/2525.82 c #Conflicts: 821000 | #Constraints: 95782 2517.79/2525.82 c #Conflicts: 822000 | #Constraints: 96784 2517.79/2525.82 c #Conflicts: 823000 | #Constraints: 97787 2517.79/2525.82 c #Conflicts: 824000 | #Constraints: 98797 2517.79/2525.82 c #Conflicts: 825000 | #Constraints: 100003 2517.79/2525.82 WSVECS04 Frhs2[189]: 6 0 18.6037 shouldn't be 2555.08/2563.26 c #Conflicts: 826000 | #Constraints: 101467 2555.08/2563.26 c #Conflicts: 827000 | #Constraints: 102468 2555.08/2563.26 c #Conflicts: 828000 | #Constraints: 103514 2555.08/2563.26 c #Conflicts: 829000 | #Constraints: 104603 2555.08/2563.26 c #Conflicts: 830000 | #Constraints: 105898 2555.08/2563.26 c #Conflicts: 831000 | #Constraints: 107546 2555.08/2563.26 c INPROCESSING 2555.08/2563.26 c GARBAGE COLLECT 2555.08/2563.26 c rational objective 13.641 2616.12/2624.42 c #Conflicts: 832000 | #Constraints: 57447 2616.12/2624.42 c #Conflicts: 833000 | #Constraints: 58449 2616.12/2624.42 c #Conflicts: 834000 | #Constraints: 59450 2616.12/2624.42 c #Conflicts: 835000 | #Constraints: 60451 2616.12/2624.42 c #Conflicts: 836000 | #Constraints: 61451 2616.12/2624.42 c #Conflicts: 837000 | #Constraints: 62451 2616.12/2624.42 c #Conflicts: 838000 | #Constraints: 63452 2616.12/2624.42 c #Conflicts: 839000 | #Constraints: 64454 2616.12/2624.42 WSVECS04 Frhs2[76]: 6 0 76.2291 shouldn't be 2616.12/2624.42 WSVECS04 Frhs2[109]: 6 0 122.853 shouldn't be 2616.12/2624.42 WSVECS04 Frhs2[152]: 6 -147.347 0 shouldn't be 2616.12/2624.42 WSVECS04 Frhs2[166]: 6 0 24.2928 shouldn't be 2616.12/2624.42 WSVECS04 Frhs2[172]: 6 0 194.659 shouldn't be 2737.98/2746.64 c #Conflicts: 840000 | #Constraints: 65455 2737.98/2746.64 c #Conflicts: 841000 | #Constraints: 66456 2737.98/2746.64 c #Conflicts: 842000 | #Constraints: 67456 2737.98/2746.64 c #Conflicts: 843000 | #Constraints: 68457 2737.98/2746.64 c #Conflicts: 844000 | #Constraints: 69457 2737.98/2746.64 c #Conflicts: 845000 | #Constraints: 70459 2737.98/2746.64 c #Conflicts: 846000 | #Constraints: 71459 2737.98/2746.64 c #Conflicts: 847000 | #Constraints: 72459 2737.98/2746.64 c #Conflicts: 848000 | #Constraints: 73460 2737.98/2746.64 c #Conflicts: 849000 | #Constraints: 74460 2737.98/2746.64 c #Conflicts: 850000 | #Constraints: 75460 2737.98/2746.64 c #Conflicts: 851000 | #Constraints: 76461 2737.98/2746.64 c #Conflicts: 852000 | #Constraints: 77461 2737.98/2746.64 c INPROCESSING 2737.98/2746.64 c GARBAGE COLLECT 2737.98/2746.64 c rational objective 13.7547 2785.26/2794.00 c #Conflicts: 853000 | #Constraints: 42505 2785.26/2794.00 c #Conflicts: 854000 | #Constraints: 43509 2785.26/2794.00 c #Conflicts: 855000 | #Constraints: 44510 2785.26/2794.00 c #Conflicts: 856000 | #Constraints: 45511 2785.26/2794.00 c #Conflicts: 857000 | #Constraints: 46513 2785.26/2794.00 c #Conflicts: 858000 | #Constraints: 47532 2785.26/2794.00 c #Conflicts: 859000 | #Constraints: 48534 2785.26/2794.00 c #Conflicts: 860000 | #Constraints: 49537 2785.26/2794.00 c #Conflicts: 861000 | #Constraints: 50541 2785.26/2794.00 c #Conflicts: 862000 | #Constraints: 51543 2785.26/2794.00 c #Conflicts: 863000 | #Constraints: 52599 2785.26/2794.00 c #Conflicts: 864000 | #Constraints: 53602 2785.26/2794.00 c #Conflicts: 865000 | #Constraints: 54621 2785.26/2794.00 c #Conflicts: 866000 | #Constraints: 55624 2785.26/2794.00 c #Conflicts: 867000 | #Constraints: 56627 2785.26/2794.00 c #Conflicts: 868000 | #Constraints: 57631 2785.26/2794.00 c #Conflicts: 869000 | #Constraints: 58632 2785.26/2794.00 c #Conflicts: 870000 | #Constraints: 59633 2785.26/2794.00 c #Conflicts: 871000 | #Constraints: 60635 2785.26/2794.00 c #Conflicts: 872000 | #Constraints: 61637 2785.26/2794.00 c INPROCESSING 2785.26/2794.00 c GARBAGE COLLECT 2785.26/2794.00 c rational objective 13.7547 2914.63/2923.78 c #Conflicts: 873000 | #Constraints: 34444 2914.63/2923.78 c #Conflicts: 874000 | #Constraints: 35444 2914.63/2923.78 c #Conflicts: 875000 | #Constraints: 36444 2914.63/2923.78 c #Conflicts: 876000 | #Constraints: 37445 2914.63/2923.78 c #Conflicts: 877000 | #Constraints: 38446 2914.63/2923.78 c #Conflicts: 878000 | #Constraints: 39446 2914.63/2923.78 c #Conflicts: 879000 | #Constraints: 40447 2914.63/2923.78 c #Conflicts: 880000 | #Constraints: 41449 2914.63/2923.78 c #Conflicts: 881000 | #Constraints: 42449 2914.63/2923.78 c #Conflicts: 882000 | #Constraints: 43450 2914.63/2923.78 c #Conflicts: 883000 | #Constraints: 44451 2914.63/2923.78 c #Conflicts: 884000 | #Constraints: 45452 2914.63/2923.78 c #Conflicts: 885000 | #Constraints: 46452 2914.63/2923.78 c #Conflicts: 886000 | #Constraints: 47454 2914.63/2923.78 c #Conflicts: 887000 | #Constraints: 48455 2914.63/2923.78 c #Conflicts: 888000 | #Constraints: 49456 2914.63/2923.78 c #Conflicts: 889000 | #Constraints: 50456 2914.63/2923.78 c #Conflicts: 890000 | #Constraints: 51457 2914.63/2923.78 c #Conflicts: 891000 | #Constraints: 52459 2914.63/2923.78 c #Conflicts: 892000 | #Constraints: 53460 2914.63/2923.78 c INPROCESSING 2914.63/2923.78 c GARBAGE COLLECT 2914.63/2923.78 c rational objective 13.7547 3191.47/3201.37 c #Conflicts: 893000 | #Constraints: 35209 3191.47/3201.37 c #Conflicts: 894000 | #Constraints: 36211 3191.47/3201.37 c #Conflicts: 895000 | #Constraints: 37216 3191.47/3201.37 c #Conflicts: 896000 | #Constraints: 38218 3191.47/3201.37 c #Conflicts: 897000 | #Constraints: 39220 3191.47/3201.37 c #Conflicts: 898000 | #Constraints: 40222 3191.47/3201.37 c #Conflicts: 899000 | #Constraints: 41225 3191.47/3201.37 c #Conflicts: 900000 | #Constraints: 42231 3191.47/3201.37 c #Conflicts: 901000 | #Constraints: 43238 3191.47/3201.37 c #Conflicts: 902000 | #Constraints: 44244 3191.47/3201.37 c #Conflicts: 903000 | #Constraints: 45247 3191.47/3201.37 c #Conflicts: 904000 | #Constraints: 46253 3191.47/3201.37 c #Conflicts: 905000 | #Constraints: 47255 3191.47/3201.37 c #Conflicts: 906000 | #Constraints: 48273 3191.47/3201.37 c #Conflicts: 907000 | #Constraints: 49294 3191.47/3201.37 c #Conflicts: 908000 | #Constraints: 50363 3191.47/3201.37 c #Conflicts: 909000 | #Constraints: 51853 3191.47/3201.37 c #Conflicts: 910000 | #Constraints: 53098 3191.47/3201.37 c #Conflicts: 911000 | #Constraints: 54101 3191.47/3201.37 c #Conflicts: 912000 | #Constraints: 55196 3191.47/3201.37 c #Conflicts: 913000 | #Constraints: 56200 3191.47/3201.37 c #Conflicts: 914000 | #Constraints: 57203 3191.47/3201.37 c #Conflicts: 915000 | #Constraints: 58205 3191.47/3201.37 c #Conflicts: 916000 | #Constraints: 59207 3191.47/3201.37 c #Conflicts: 917000 | #Constraints: 60208 3191.47/3201.37 c #Conflicts: 918000 | #Constraints: 61210 3191.47/3201.37 c #Conflicts: 919000 | #Constraints: 62212 3191.47/3201.37 c #Conflicts: 920000 | #Constraints: 63215 3191.47/3201.37 c #Conflicts: 921000 | #Constraints: 64225 3191.47/3201.37 c #Conflicts: 922000 | #Constraints: 65227 3191.47/3201.37 c #Conflicts: 923000 | #Constraints: 66230 3191.47/3201.37 c #Conflicts: 924000 | #Constraints: 67232 3191.47/3201.37 c #Conflicts: 925000 | #Constraints: 68234 3191.47/3201.37 c #Conflicts: 926000 | #Constraints: 69243 3191.47/3201.37 c #Conflicts: 927000 | #Constraints: 70251 3191.47/3201.37 c #Conflicts: 928000 | #Constraints: 71444 3191.47/3201.37 c #Conflicts: 929000 | #Constraints: 72898 3191.47/3201.37 c #Conflicts: 930000 | #Constraints: 73900 3191.47/3201.37 c #Conflicts: 931000 | #Constraints: 74903 3191.47/3201.37 c #Conflicts: 932000 | #Constraints: 75908 3191.47/3201.37 c #Conflicts: 933000 | #Constraints: 77302 3191.47/3201.37 c #Conflicts: 934000 | #Constraints: 78329 3191.47/3201.37 c #Conflicts: 935000 | #Constraints: 79370 3191.47/3201.37 c #Conflicts: 936000 | #Constraints: 80380 3191.47/3201.37 c #Conflicts: 937000 | #Constraints: 81390 3191.47/3201.37 c #Conflicts: 938000 | #Constraints: 82391 3191.47/3201.37 c #Conflicts: 939000 | #Constraints: 83397 3191.47/3201.37 c #Conflicts: 940000 | #Constraints: 84403 3191.47/3201.37 c #Conflicts: 941000 | #Constraints: 85414 3191.47/3201.37 c #Conflicts: 942000 | #Constraints: 86442 3191.47/3201.37 c #Conflicts: 943000 | #Constraints: 87448 3191.47/3201.37 c #Conflicts: 944000 | #Constraints: 88450 3191.47/3201.37 c #Conflicts: 945000 | #Constraints: 89454 3191.47/3201.37 c #Conflicts: 946000 | #Constraints: 90458 3191.47/3201.37 c #Conflicts: 947000 | #Constraints: 91465 3191.47/3201.37 c #Conflicts: 948000 | #Constraints: 92471 3191.47/3201.37 c #Conflicts: 949000 | #Constraints: 93475 3191.47/3201.37 c #Conflicts: 950000 | #Constraints: 94485 3191.47/3201.37 c #Conflicts: 951000 | #Constraints: 95489 3191.47/3201.37 c #Conflicts: 952000 | #Constraints: 96496 3191.47/3201.37 c #Conflicts: 953000 | #Constraints: 97501 3191.47/3201.37 c #Conflicts: 954000 | #Constraints: 98510 3191.47/3201.37 c #Conflicts: 955000 | #Constraints: 99516 3191.47/3201.37 c #Conflicts: 956000 | #Constraints: 100524 3191.47/3201.37 c #Conflicts: 957000 | #Constraints: 101528 3191.47/3201.37 c #Conflicts: 958000 | #Constraints: 102534 3191.47/3201.37 c #Conflicts: 959000 | #Constraints: 103543 3191.47/3201.37 c #Conflicts: 960000 | #Constraints: 104549 3191.47/3201.37 c #Conflicts: 961000 | #Constraints: 105552 3191.47/3201.37 c #Conflicts: 962000 | #Constraints: 106560 3191.47/3201.37 c #Conflicts: 963000 | #Constraints: 107566 3191.47/3201.37 c #Conflicts: 964000 | #Constraints: 108571 3191.47/3201.37 c #Conflicts: 965000 | #Constraints: 109575 3191.47/3201.37 c #Conflicts: 966000 | #Constraints: 110585 3191.47/3201.37 c #Conflicts: 967000 | #Constraints: 111593 3191.47/3201.37 c #Conflicts: 968000 | #Constraints: 112601 3191.47/3201.37 c #Conflicts: 969000 | #Constraints: 113605 3191.47/3201.37 c #Conflicts: 970000 | #Constraints: 114610 3191.47/3201.37 c INPROCESSING 3191.47/3201.37 c GARBAGE COLLECT 3191.47/3201.37 c rational objective 13.5056 3204.83/3214.76 c #Conflicts: 971000 | #Constraints: 60978 3204.83/3214.76 WSVECS04 Frhs2[7]: 6 -1.00005 0 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[11]: 6 -261.653 0 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[53]: 6 -1.00004 0 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[112]: 6 0 634.14 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[130]: 6 0 657.835 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[151]: 6 -17.9731 0 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[155]: 6 0 438.685 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[157]: 6 -1.00006 0 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[161]: 6 0 38.7584 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[171]: 6 0 722.153 shouldn't be 3204.83/3214.76 WSVECS04 Frhs2[172]: 6 0 243.685 shouldn't be 3299.47/3309.69 c #Conflicts: 972000 | #Constraints: 61979 3299.47/3309.69 c #Conflicts: 973000 | #Constraints: 62980 3299.47/3309.69 c #Conflicts: 974000 | #Constraints: 63981 3299.47/3309.69 c #Conflicts: 975000 | #Constraints: 64982 3299.47/3309.69 c #Conflicts: 976000 | #Constraints: 65983 3299.47/3309.69 c #Conflicts: 977000 | #Constraints: 66986 3299.47/3309.69 c #Conflicts: 978000 | #Constraints: 67988 3299.47/3309.69 c #Conflicts: 979000 | #Constraints: 68990 3299.47/3309.69 c #Conflicts: 980000 | #Constraints: 69991 3299.47/3309.69 c #Conflicts: 981000 | #Constraints: 70993 3299.47/3309.69 WSVECS04 Frhs2[100]: 6 0 384.368 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[130]: 6 0 1003.01 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[135]: 6 0 458.485 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[142]: 6 0 323.727 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[151]: 6 -3.22322 0 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[154]: 6 0 357.399 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[158]: 6 0 774.546 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[159]: 6 0 219.556 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[175]: 6 0 689.506 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[176]: 6 0 630.618 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[188]: 6 0 678.066 shouldn't be 3299.47/3309.69 WSVECS04 Frhs2[193]: 6 0 8.42926 shouldn't be 3409.96/3420.46 c #Conflicts: 982000 | #Constraints: 71994 3409.96/3420.46 c #Conflicts: 983000 | #Constraints: 72997 3409.96/3420.46 c #Conflicts: 984000 | #Constraints: 73998 3409.96/3420.46 c #Conflicts: 985000 | #Constraints: 75000 3409.96/3420.46 c #Conflicts: 986000 | #Constraints: 76002 3409.96/3420.46 c #Conflicts: 987000 | #Constraints: 77003 3409.96/3420.46 c #Conflicts: 988000 | #Constraints: 78005 3409.96/3420.46 c #Conflicts: 989000 | #Constraints: 79005 3409.96/3420.46 c #Conflicts: 990000 | #Constraints: 80007 3409.96/3420.46 c #Conflicts: 991000 | #Constraints: 81008 3409.96/3420.46 c #Conflicts: 992000 | #Constraints: 82009 3409.96/3420.46 c INPROCESSING 3409.96/3420.46 c GARBAGE COLLECT 3409.96/3420.46 c rational objective 13.5071 3492.84/3503.51 c #Conflicts: 993000 | #Constraints: 44878 3492.84/3503.51 c #Conflicts: 994000 | #Constraints: 46354 3492.84/3503.51 c #Conflicts: 995000 | #Constraints: 47417 3492.84/3503.51 c #Conflicts: 996000 | #Constraints: 49027 3492.84/3503.51 c #Conflicts: 997000 | #Constraints: 50081 3492.84/3503.51 c #Conflicts: 998000 | #Constraints: 51818 3492.84/3503.51 c #Conflicts: 999000 | #Constraints: 53610 3492.84/3503.51 c #Conflicts: 1000000 | #Constraints: 55404 3492.84/3503.51 c #Conflicts: 1001000 | #Constraints: 57182 3492.84/3503.51 c #Conflicts: 1002000 | #Constraints: 58681 3492.84/3503.51 c #Conflicts: 1003000 | #Constraints: 59693 3492.84/3503.51 c #Conflicts: 1004000 | #Constraints: 60766 3492.84/3503.51 c #Conflicts: 1005000 | #Constraints: 61874 3492.84/3503.51 c #Conflicts: 1006000 | #Constraints: 63655 3492.84/3503.51 c #Conflicts: 1007000 | #Constraints: 65020 3492.84/3503.51 c #Conflicts: 1008000 | #Constraints: 66598 3492.84/3503.51 c #Conflicts: 1009000 | #Constraints: 68190 3492.84/3503.51 c #Conflicts: 1010000 | #Constraints: 69743 3492.84/3503.51 c #Conflicts: 1011000 | #Constraints: 71507 3492.84/3503.51 c #Conflicts: 1012000 | #Constraints: 73235 3492.84/3503.51 c #Conflicts: 1013000 | #Constraints: 74657 3492.84/3503.51 c #Conflicts: 1014000 | #Constraints: 76230 3492.84/3503.51 c INPROCESSING 3492.84/3503.51 c GARBAGE COLLECT 3492.84/3503.51 c rational objective 13.523 3600.06/3611.00 c #Conflicts: 1015000 | #Constraints: 41884 3600.06/3611.00 c #Conflicts: 1016000 | #Constraints: 42886 3600.06/3611.00 c #Conflicts: 1017000 | #Constraints: 43886 3600.06/3611.00 c #Conflicts: 1018000 | #Constraints: 44889 3600.06/3611.00 c #Conflicts: 1019000 | #Constraints: 45890 3600.06/3611.00 c #Conflicts: 1020000 | #Constraints: 46892 3600.06/3611.00 c #Conflicts: 1021000 | #Constraints: 47893 3600.06/3611.00 c #Conflicts: 1022000 | #Constraints: 48893 3600.06/3611.00 c #Conflicts: 1023000 | #Constraints: 49893 3600.06/3611.00 c #Conflicts: 1024000 | #Constraints: 50895 3600.06/3611.00 c #Conflicts: 1025000 | #Constraints: 51896 3600.06/3611.00 c #Conflicts: 1026000 | #Constraints: 52897 3600.06/3611.00 c #Conflicts: 1027000 | #Constraints: 53898 3600.06/3611.00 c #Conflicts: 1028000 | #Constraints: 54900 3600.06/3611.00 c Program interrupted by user. 3600.06/3611.00 c cpu time 3579.32 s 3600.06/3611.00 c deterministic time 289186009095 2.89e+11 3600.06/3611.00 c optimization time 106.749 s 3600.06/3611.00 c total solve time 3472.56 s 3600.06/3611.00 c core-guided solve time 1604.06 s 3600.06/3611.00 c propagation time 3110.83 s 3600.06/3611.00 c conflict analysis time 413.642 s 3600.06/3611.00 c propagations 98514350 3600.06/3611.00 c resolve steps 4719897 3600.06/3611.00 c decisions 7714510 3600.06/3611.00 c conflicts 1028943 3600.06/3611.00 c restarts 2046 3600.06/3611.00 c inprocessing phases 65 3600.06/3611.00 c input clauses 5409 3600.06/3611.00 c input cardinalities 36 3600.06/3611.00 c input general constraints 79 3600.06/3611.00 c input average constraint length 11.43 3600.06/3611.00 c input average constraint degree 1.54 3600.06/3611.00 c learned clauses 328375 3600.06/3611.00 c learned cardinalities 10259 3600.06/3611.00 c learned general constraints 806970 3600.06/3611.00 c learned average constraint length 115.10 3600.06/3611.00 c learned average constraint degree 361708895.82 3600.06/3611.00 c watched constraints 316569 3600.06/3611.00 c counting constraints 490480 3600.06/3611.00 c gcd simplifications 26764 3600.06/3611.00 c detected cardinalities 426 3600.06/3611.00 c weakened non-implied lits 45599652 3600.06/3611.00 c weakened non-implying lits 44670 3600.06/3611.00 c original variables 214 3600.06/3611.00 c clausal propagations 4784036 3600.06/3611.00 c cardinality propagations 2420915 3600.06/3611.00 c watched propagations 5290863 3600.06/3611.00 c counting propagations 80970659 3600.06/3611.00 c watch lookups 92815828479 3600.06/3611.00 c watch backjump lookups 88613945078 3600.06/3611.00 c watch checks 92139754655 3600.06/3611.00 c propagation checks 14955274521 3600.06/3611.00 c constraint additions 446579326 3600.06/3611.00 c trail pops 107257127 3600.06/3611.00 c formula constraints 5375 3600.06/3611.00 c learned constraints 1028503 3600.06/3611.00 c bound constraints 24 3600.06/3611.00 c core-guided constraints 125 3600.06/3611.00 c encountered formula constraints 1587171 3600.06/3611.00 c encountered learned constraints 3807771 3600.06/3611.00 c encountered bound constraints 1565 3600.06/3611.00 c encountered core-guided constraints 324427 3600.06/3611.00 c LP total time 322.162 s 3600.06/3611.00 c LP solve time 290.55 s 3600.06/3611.00 c LP constraints added 5419 3600.06/3611.00 c LP constraints removed 37 3600.06/3611.00 c LP pivots internal 1029186 3600.06/3611.00 c LP pivots root 111862 3600.06/3611.00 c LP calls 116790 3600.06/3611.00 c LP optimalities 162 3600.06/3611.00 c LP no pivot count 24 3600.06/3611.00 c LP infeasibilities 116620 3600.06/3611.00 c LP valid Farkas constraints 116617 3600.06/3611.00 c LP learned Farkas constraints 440 3600.06/3611.00 c LP basis resets 7 3600.06/3611.00 c LP cycling count 4 3600.06/3611.00 c LP singular count 0 3600.06/3611.00 c LP no primal count 0 3600.06/3611.00 c LP no farkas count 3 3600.06/3611.00 c LP other issue count 0 3600.06/3611.00 c LP Gomory cuts 44 3600.06/3611.00 c LP learned cuts 0 3600.06/3611.00 c LP deleted cuts 37 3600.06/3611.00 c LP encountered Gomory constraints 0 3600.06/3611.00 c LP encountered Farkas constraints 21013 3600.06/3611.00 c LP encountered learned Farkas constraints 6453 3600.06/3611.00 c CG auxiliary variables introduced 46 3600.06/3611.00 c CG solutions found 11 3600.06/3611.00 c CG cores constructed 13 3600.06/3611.00 c CG core cardinality constraints returned 0 3600.06/3611.00 c CG unit cores 0 3600.06/3611.00 c CG single cores 13 3600.06/3611.00 c CG blocks removed during cardinality reduction 0 3600.06/3611.00 c CG first core best 0 3600.06/3611.00 c CG decision core best 0 3600.06/3611.00 c CG core reduction tie 0 3600.06/3611.00 c CG core degree average 1.00 3600.06/3611.00 c CG core slack average 18.00 3600.06/3611.00 s SATISFIABLE 3600.06/3611.00 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: 63931 MiB (60342 MiB free)
memory of node 1: 64510 MiB (57164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459220-1721885743/watcher-4459220-1721885743 -o /tmp/evaluation-result-4459220-1721885743/solver-4459220-1721885743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216019 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4459220-1721885743.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
Current StackSize limit: 8192 KiB
solver pid=223333, runsolver pid=223330
[startup+0.100089 s]*
/proc/loadavg: 4.18 4.12 4.14 5/259 223334
/proc/meminfo: memFree=120319876/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=42236 memory=12468 CPUtime=0.1 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 2527 0 0 0 9 1 0 0 20 0 1 0 25097161 43249664 3117 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 10559 3117 1653 922 0 2511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42236 KiB
Current children cumulated memory: 12468 KiB
[startup+0.205731 s]*
/proc/loadavg: 4.18 4.12 4.14 5/259 223334
/proc/meminfo: memFree=120320180/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=42236 memory=12468 CPUtime=0.2 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 2527 0 0 0 19 1 0 0 20 0 1 0 25097161 43249664 3117 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 10559 3117 1653 922 0 2511 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42236 KiB
Current children cumulated memory: 12468 KiB
[startup+0.305622 s]*
/proc/loadavg: 4.18 4.12 4.14 5/259 223334
/proc/meminfo: memFree=120318472/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=44100 memory=15192 CPUtime=0.3 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 3220 0 0 0 29 1 0 0 20 0 1 0 25097161 45158400 3798 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 11025 3798 1870 922 0 2977 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44100 KiB
Current children cumulated memory: 15192 KiB
[startup+0.700238 s]
/proc/loadavg: 4.18 4.12 4.14 5/259 223334
/proc/meminfo: memFree=120316792/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=46540 memory=20404 CPUtime=0.69 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 4054 0 0 0 65 4 0 0 20 0 1 0 25097161 47656960 5101 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 11635 5101 1870 922 0 3587 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46540 KiB
Current children cumulated memory: 20404 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.12 4.14 5/259 223334
/proc/meminfo: memFree=120312616/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=47036 memory=20932 CPUtime=1.48 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 4192 0 0 0 142 6 0 0 20 0 1 0 25097161 48164864 5233 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 11759 5233 1870 922 0 3711 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47036 KiB
Current children cumulated memory: 20932 KiB
[startup+3.10559 s]
/proc/loadavg: 4.18 4.12 4.14 5/259 223334
/proc/meminfo: memFree=120311120/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=47820 memory=22512 CPUtime=3.09 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 4544 0 0 0 298 11 0 0 20 0 1 0 25097161 48967680 5628 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 11955 5628 1870 922 0 3907 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47820 KiB
Current children cumulated memory: 22512 KiB
[startup+6.30021 s]
/proc/loadavg: 4.17 4.12 4.14 5/257 223335
/proc/meminfo: memFree=120306080/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=53928 memory=27300 CPUtime=6.27 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 5747 0 0 0 609 18 0 0 20 0 1 0 25097161 55222272 6825 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 13482 6825 1870 922 0 5434 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53928 KiB
Current children cumulated memory: 27300 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.14 5/257 223336
/proc/meminfo: memFree=120296212/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=55468 memory=28884 CPUtime=12.65 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 6146 0 0 0 1229 36 0 0 20 0 1 0 25097161 56799232 7221 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 13867 7221 1870 922 0 5819 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55468 KiB
Current children cumulated memory: 28884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.13 4.14 5/257 223338
/proc/meminfo: memFree=120277444/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=64180 memory=37232 CPUtime=25.4 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 7750 0 0 0 2475 65 0 0 20 0 1 0 25097161 65720320 9308 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 16045 9308 1870 922 0 7997 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 64180 KiB
Current children cumulated memory: 37232 KiB
[startup+51.1056 s]
/proc/loadavg: 4.45 4.20 4.17 5/257 223342
/proc/meminfo: memFree=120239428/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=75380 memory=43076 CPUtime=50.91 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 10378 0 0 0 4970 121 0 0 20 0 1 0 25097161 77189120 10769 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 18845 10769 1870 922 0 10797 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 75380 KiB
Current children cumulated memory: 43076 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.18 4.16 5/257 223352
/proc/meminfo: memFree=120166848/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=97408 memory=60240 CPUtime=101.92 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 13157 0 0 0 9985 207 0 0 20 0 1 0 25097161 99745792 15060 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 24352 15060 1870 922 0 16304 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 97408 KiB
Current children cumulated memory: 60240 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.16 5/257 223362
/proc/meminfo: memFree=120072700/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=99644 memory=62812 CPUtime=161.69 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 14142 0 0 0 15871 298 0 0 20 0 1 0 25097161 102035456 15703 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 24911 15703 1870 922 0 16863 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 99644 KiB
Current children cumulated memory: 62812 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/256 223373
/proc/meminfo: memFree=119980708/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=117148 memory=85752 CPUtime=221.46 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 17859 0 0 0 21767 379 0 0 20 0 1 0 25097161 119959552 21438 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 29287 21438 1870 922 0 21239 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 117148 KiB
Current children cumulated memory: 85752 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/256 223383
/proc/meminfo: memFree=119882116/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=154744 memory=123184 CPUtime=281.22 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 23124 0 0 0 27701 421 0 0 20 0 1 0 25097161 158457856 30796 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 38686 30796 1870 922 0 30638 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 154744 KiB
Current children cumulated memory: 123184 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/257 223400
/proc/meminfo: memFree=119868264/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=170960 memory=133972 CPUtime=340.99 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 25843 0 0 0 33633 466 0 0 20 0 1 0 25097161 175063040 33493 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 42740 33493 1870 922 0 34692 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 170960 KiB
Current children cumulated memory: 133972 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/257 223413
/proc/meminfo: memFree=119824600/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=171112 memory=134948 CPUtime=400.76 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 25988 0 0 0 39541 535 0 0 20 0 1 0 25097161 175218688 33737 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 42778 33737 1992 922 0 34730 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 171112 KiB
Current children cumulated memory: 134948 KiB
[startup+462.3 s]
/proc/loadavg: 4.44 4.23 4.18 5/257 223423
/proc/meminfo: memFree=119610172/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=201696 memory=162060 CPUtime=460.52 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 32732 0 0 0 45469 583 0 0 20 0 1 0 25097161 206536704 40515 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 50424 40515 1992 922 0 42376 0
################
# More data... #
################
Current children cumulated memory: 319940 KiB
[startup+2862.3 s]
/proc/loadavg: 1.08 1.11 1.48 2/236 224540
/proc/meminfo: memFree=123877172/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=367568 memory=319940 CPUtime=2853.38 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 52756 0 0 0 283547 1791 0 0 20 0 1 0 25097161 376389632 79985 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 91892 79985 1992 922 0 83844 0
Current children cumulated CPU time: 2853.38 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 319940 KiB
[startup+2922.3 s]
/proc/loadavg: 1.14 1.12 1.46 2/236 224550
/proc/meminfo: memFree=123876544/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=367568 memory=319940 CPUtime=2913.23 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 52874 0 0 0 289510 1813 0 0 20 0 1 0 25097161 376389632 79985 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 91892 79985 1992 922 0 83844 0
Current children cumulated CPU time: 2913.23 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 319940 KiB
[startup+2982.3 s]
/proc/loadavg: 1.05 1.09 1.43 2/236 224562
/proc/meminfo: memFree=123875888/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=367568 memory=319940 CPUtime=2973.07 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 52996 0 0 0 295459 1848 0 0 20 0 1 0 25097161 376389632 79985 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 91892 79985 1992 922 0 83844 0
Current children cumulated CPU time: 2973.07 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 319940 KiB
[startup+3042.3 s]
/proc/loadavg: 1.13 1.11 1.41 2/236 224957
/proc/meminfo: memFree=123874900/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=367568 memory=319940 CPUtime=3032.91 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 53131 0 0 0 301420 1871 0 0 20 0 1 0 25097161 376389632 79985 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 91892 79985 1992 922 0 83844 0
Current children cumulated CPU time: 3032.91 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 319940 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.10 1.39 2/236 224968
/proc/meminfo: memFree=123874092/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=367568 memory=319940 CPUtime=3092.75 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 53272 0 0 0 307384 1891 0 0 20 0 1 0 25097161 376389632 79985 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 91892 79985 1992 922 0 83844 0
Current children cumulated CPU time: 3092.75 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 319940 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.09 1.36 2/236 224978
/proc/meminfo: memFree=123873328/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=367568 memory=319940 CPUtime=3152.58 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 53416 0 0 0 313350 1908 0 0 20 0 1 0 25097161 376389632 79985 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 91892 79985 1992 922 0 83844 0
Current children cumulated CPU time: 3152.58 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 319940 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.09 1.35 2/238 225159
/proc/meminfo: memFree=123871052/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=321248 CPUtime=3212.41 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 53910 0 0 0 319315 1926 0 0 20 0 1 0 25097161 378757120 80312 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80312 1992 922 0 84422 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 321248 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.09 1.33 2/238 225172
/proc/meminfo: memFree=123869468/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3272.24 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54038 0 0 0 325278 1946 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.08 1.31 2/239 225241
/proc/meminfo: memFree=123868604/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3332.08 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54169 0 0 0 331245 1963 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
[startup+3402.3 s]
/proc/loadavg: 1.06 1.08 1.29 2/239 225252
/proc/meminfo: memFree=123867772/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3391.91 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54302 0 0 0 337212 1979 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
[startup+3462.3 s]
/proc/loadavg: 1.52 1.22 1.33 2/239 225263
/proc/meminfo: memFree=123867292/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3451.75 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54429 0 0 0 343162 2013 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
[startup+3522.3 s]
/proc/loadavg: 1.63 1.30 1.35 2/237 225274
/proc/meminfo: memFree=123866532/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3511.59 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54564 0 0 0 349117 2042 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
[startup+3582.3 s]
/proc/loadavg: 1.36 1.29 1.34 2/237 225285
/proc/meminfo: memFree=123866028/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3571.43 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54683 0 0 0 355078 2065 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 1.43 1.31 1.35 2/234 225292
/proc/meminfo: memFree=123865332/131524600 swapFree=131061428/131071996
[pid=223333] ppid=223330 vsize=369880 memory=322316 CPUtime=3600.06 cores=0,2
/proc/223333/stat : 223333 (roundingsat) R 223330 223333 216009 0 -1 4194304 54803 0 0 0 357931 2075 0 0 20 0 1 0 25097161 378757120 80579 134679101440 4194304 7968373 140724281041296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12349440 140724281045950 140724281046114 140724281046114 140724281053129 0
/proc/223333/statm: 92470 80579 1992 922 0 84422 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 369880 KiB
Current children cumulated memory: 322316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 223333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.32 s, system=20.7541 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.01
CPU time (s): 3600.08
CPU user time (s): 3579.32
CPU system time (s): 20.7541
CPU usage (%): 99.6972
Max. virtual memory (cumulated for all children) (KiB): 369880
Max. memory (cumulated for all children) (KiB): 322316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.32
system time used= 20.7541
maximum resident set size= 322316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74
involuntary context switches= 25224
# summary of solver processes directly reported to runsolver:
# pid: 223333
# total CPU time (s): 3600.08
# total CPU user time (s): 3579.32
# total CPU system time (s): 20.7541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55232 second user time and 15.8889 second system time
The end
Begin job on nodeC022 at 2024-07-25 07:35:43 IDJOB=4459220 IDBENCH=178614 IDSOLVER=3084 FILE ID=nodeC022/4459220-1721885743 RUNJOBID= nodeC022-1721875932-216019 SLURM_JOB_ID= 8089234 Free space on /tmp= 889972 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459220-1721885743/watcher-4459220-1721885743 -o /tmp/evaluation-result-4459220-1721885743/solver-4459220-1721885743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216019 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4459220-1721885743.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f RANDOM SEED=557238236 nodeC022.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 : 0xb00002a cpu MHz : 3621.609 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3686.036 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3653.281 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3600.373 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3672.265 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3686.057 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3616.879 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3600.170 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120326836 kB MemAvailable: 125944976 kB Buffers: 304672 kB Cached: 6062768 kB SwapCached: 1424 kB Active: 2677236 kB Inactive: 7743780 kB Active(anon): 1936 kB Inactive(anon): 4105376 kB Active(file): 2675300 kB Inactive(file): 3638404 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 6084 kB Writeback: 4 kB AnonPages: 4046088 kB Mapped: 124512 kB Shmem: 53732 kB KReclaimable: 292264 kB Slab: 415648 kB SReclaimable: 292264 kB SUnreclaim: 123384 kB KernelStack: 4176 kB PageTables: 17688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4777464 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17248 kB HardwareCorrupted: 0 kB AnonHugePages: 3180544 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890076 MiB End job on nodeC022 at 2024-07-25 08:35:54