| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 22 | 3600.06 | 3610.5 |
| 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.09/0.15 c bounds 215 >= 0 @ 0.022882 0.09/0.15 c rational objective 13.4606 1.98/2.02 c bounds 32 >= 0 @ 0.222289 1.98/2.02 c bounds 32 >= 1 @ 0.222539 1.98/2.02 c bounds 32 >= 2 @ 0.222675 1.98/2.02 c bounds 32 >= 3 @ 0.222675 1.98/2.02 c bounds 32 >= 4 @ 0.222675 1.98/2.02 c bounds 32 >= 5 @ 0.222675 1.98/2.02 c bounds 32 >= 6 @ 0.223138 1.98/2.02 c bounds 32 >= 7 @ 0.223331 1.98/2.02 c bounds 32 >= 8 @ 0.223568 1.98/2.02 c bounds 32 >= 9 @ 0.22393 1.98/2.02 c bounds 32 >= 10 @ 0.224823 1.98/2.02 c bounds 32 >= 11 @ 0.353125 1.98/2.02 c bounds 31 >= 11 @ 0.35661 1.98/2.02 c bounds 30 >= 11 @ 0.356947 1.98/2.02 c bounds 29 >= 11 @ 0.357821 1.98/2.02 c bounds 28 >= 11 @ 0.367968 1.98/2.02 c bounds 27 >= 11 @ 0.370013 1.98/2.02 c bounds 26 >= 11 @ 0.370201 1.98/2.02 c bounds 25 >= 11 @ 0.37093 1.98/2.02 c bounds 24 >= 11 @ 0.384235 1.98/2.02 c #Conflicts: 1000 | #Constraints: 6471 1.98/2.02 c bounds 23 >= 11 @ 0.465355 1.98/2.02 c #Conflicts: 2000 | #Constraints: 7480 1.98/2.02 c INPROCESSING 1.98/2.02 c GARBAGE COLLECT 1.98/2.02 c #Conflicts: 3000 | #Constraints: 7463 1.98/2.02 c #Conflicts: 4000 | #Constraints: 8463 1.98/2.02 c INPROCESSING 1.98/2.02 c GARBAGE COLLECT 1.98/2.02 c rational objective 13.4968 3.57/3.68 c #Conflicts: 5000 | #Constraints: 7879 3.57/3.68 c #Conflicts: 6000 | #Constraints: 9319 3.57/3.68 c bounds 22 >= 11 @ 3.07984 3.57/3.68 c INPROCESSING 3.57/3.68 c GARBAGE COLLECT 3.57/3.68 c rational objective 13.5045 5.47/5.50 c #Conflicts: 7000 | #Constraints: 8343 5.47/5.50 c #Conflicts: 8000 | #Constraints: 9979 5.47/5.50 c #Conflicts: 9000 | #Constraints: 11107 5.47/5.50 c INPROCESSING 5.47/5.50 c GARBAGE COLLECT 5.47/5.50 c rational objective 13.5045 6.97/7.07 c #Conflicts: 10000 | #Constraints: 9228 6.97/7.07 c #Conflicts: 11000 | #Constraints: 10414 6.97/7.07 c #Conflicts: 12000 | #Constraints: 11441 6.97/7.07 c INPROCESSING 6.97/7.07 c GARBAGE COLLECT 6.97/7.07 WSVECS04 Frhs2[4]: 6 0 2.71294 shouldn't be 6.97/7.07 WSVECS04 Frhs2[56]: 6 0 1.52077 shouldn't be 6.97/7.07 WSVECS04 Frhs2[71]: 6 0 1.27461 shouldn't be 6.97/7.07 WSVECS04 Frhs2[87]: 6 0 14.398 shouldn't be 6.97/7.07 WSVECS04 Frhs2[97]: 6 0 13.9687 shouldn't be 6.97/7.07 WSVECS04 Frhs2[104]: 6 0 2.4428 shouldn't be 6.97/7.07 WSVECS04 Frhs2[113]: 6 -3.36168 0 shouldn't be 6.97/7.07 WSVECS04 Frhs2[130]: 6 0 10.3869 shouldn't be 6.97/7.07 WSVECS04 Frhs2[143]: 6 0 1.00677 shouldn't be 6.97/7.07 WSVECS04 Frhs2[148]: 6 0 7.73286 shouldn't be 6.97/7.07 WSVECS04 Frhs2[150]: 6 0 22.687 shouldn't be 6.97/7.07 WSVECS04 Frhs2[152]: 6 0 15.5057 shouldn't be 6.97/7.07 WSVECS04 Frhs2[164]: 6 -4.36191 0 shouldn't be 6.97/7.07 WSVECS04 Frhs2[171]: 6 -14.0902 0 shouldn't be 6.97/7.07 WSVECS04 Frhs2[176]: 6 0 17.7349 shouldn't be 6.97/7.07 WSVECS04 Frhs2[181]: 6 -7.53056 0 shouldn't be 6.97/7.07 WSVECS04 Frhs2[183]: 6 -9.03155 0 shouldn't be 6.97/7.07 WSVECS04 Frhs2[188]: 6 -2.79377 0 shouldn't be 6.97/7.07 WSVECS04 Frhs2[202]: 6 0 13.5098 shouldn't be 6.97/7.10 c rational objective 13.5184 9.16/9.28 c bounds 22 >= 12 @ 7.76598 9.16/9.28 c #Conflicts: 13000 | #Constraints: 9477 9.16/9.28 c #Conflicts: 14000 | #Constraints: 10483 9.16/9.28 c #Conflicts: 15000 | #Constraints: 11555 9.16/9.28 c INPROCESSING 9.16/9.28 c GARBAGE COLLECT 9.16/9.28 c rational objective 13.5425 11.75/11.82 c #Conflicts: 16000 | #Constraints: 9526 11.75/11.82 c #Conflicts: 17000 | #Constraints: 10529 11.75/11.82 c #Conflicts: 18000 | #Constraints: 11529 11.75/11.82 c INPROCESSING 11.75/11.82 c GARBAGE COLLECT 11.75/11.82 c rational objective 13.5049 13.64/13.72 c #Conflicts: 19000 | #Constraints: 9409 13.64/13.72 c #Conflicts: 20000 | #Constraints: 10414 13.64/13.72 c #Conflicts: 21000 | #Constraints: 11437 13.64/13.72 c INPROCESSING 13.64/13.72 c GARBAGE COLLECT 13.64/13.72 c rational objective 13.5693 16.04/16.17 c #Conflicts: 22000 | #Constraints: 9251 16.04/16.17 c #Conflicts: 23000 | #Constraints: 10361 16.04/16.17 c #Conflicts: 24000 | #Constraints: 11364 16.04/16.17 c #Conflicts: 25000 | #Constraints: 12611 16.04/16.17 c INPROCESSING 16.04/16.17 c GARBAGE COLLECT 16.04/16.17 c rational objective 13.5476 19.42/19.51 c #Conflicts: 26000 | #Constraints: 10139 19.42/19.51 c #Conflicts: 27000 | #Constraints: 11924 19.42/19.51 c #Conflicts: 28000 | #Constraints: 13157 19.42/19.51 c #Conflicts: 29000 | #Constraints: 14201 19.42/19.51 c INPROCESSING 19.42/19.51 c GARBAGE COLLECT 19.42/19.51 c rational objective 13.5748 23.50/23.65 c #Conflicts: 30000 | #Constraints: 10849 23.50/23.65 c #Conflicts: 31000 | #Constraints: 11849 23.50/23.65 c #Conflicts: 32000 | #Constraints: 12849 23.50/23.65 c #Conflicts: 33000 | #Constraints: 13849 23.50/23.65 c INPROCESSING 23.50/23.65 c GARBAGE COLLECT 23.50/23.65 c rational objective 13.5046 26.49/26.60 c #Conflicts: 34000 | #Constraints: 10682 26.49/26.60 c #Conflicts: 35000 | #Constraints: 12257 26.49/26.60 c #Conflicts: 36000 | #Constraints: 13297 26.49/26.60 c #Conflicts: 37000 | #Constraints: 14345 26.49/26.60 c INPROCESSING 26.49/26.60 c GARBAGE COLLECT 26.49/26.60 c rational objective 13.7331 36.66/36.86 c #Conflicts: 38000 | #Constraints: 10867 36.66/36.86 c #Conflicts: 39000 | #Constraints: 11892 36.66/36.86 c #Conflicts: 40000 | #Constraints: 12904 36.66/36.86 c #Conflicts: 41000 | #Constraints: 13905 36.66/36.86 c INPROCESSING 36.66/36.86 c GARBAGE COLLECT 36.66/36.86 c #Conflicts: 42000 | #Constraints: 10403 36.66/36.86 c #Conflicts: 43000 | #Constraints: 11409 36.66/36.86 c #Conflicts: 44000 | #Constraints: 12417 36.66/36.86 c #Conflicts: 45000 | #Constraints: 13420 36.66/36.86 c #Conflicts: 46000 | #Constraints: 14427 36.66/36.86 c INPROCESSING 36.66/36.86 c GARBAGE COLLECT 36.66/36.86 c #Conflicts: 47000 | #Constraints: 10861 36.66/36.86 c #Conflicts: 48000 | #Constraints: 11861 36.66/36.86 c #Conflicts: 49000 | #Constraints: 12861 36.66/36.86 c #Conflicts: 50000 | #Constraints: 13861 36.66/36.86 c #Conflicts: 51000 | #Constraints: 14861 36.66/36.86 c INPROCESSING 36.66/36.86 c GARBAGE COLLECT 36.66/36.86 c rational objective 13.5045 39.75/39.95 c #Conflicts: 52000 | #Constraints: 11182 39.75/39.95 c #Conflicts: 53000 | #Constraints: 12188 39.75/39.95 c #Conflicts: 54000 | #Constraints: 13378 39.75/39.95 c #Conflicts: 55000 | #Constraints: 14388 39.75/39.95 c #Conflicts: 56000 | #Constraints: 15693 39.75/39.95 c INPROCESSING 39.75/39.95 c GARBAGE COLLECT 39.75/39.95 WSVECS04 Frhs2[4]: 6 0 2.0285 shouldn't be 39.75/39.95 WSVECS04 Frhs2[5]: 6 0 4.54342 shouldn't be 39.75/39.95 WSVECS04 Frhs2[11]: 6 0 3.51244 shouldn't be 39.75/39.95 WSVECS04 Frhs2[18]: 6 0 1.33564 shouldn't be 39.75/39.95 WSVECS04 Frhs2[19]: 6 0 1.70081 shouldn't be 39.75/39.95 WSVECS04 Frhs2[22]: 6 0 2.06454 shouldn't be 39.75/39.95 WSVECS04 Frhs2[27]: 6 0 1.5806 shouldn't be 39.75/39.95 WSVECS04 Frhs2[29]: 6 -0.907746 0 shouldn't be 39.75/39.95 WSVECS04 Frhs2[32]: 6 -0.422991 0 shouldn't be 39.75/39.95 WSVECS04 Frhs2[43]: 6 0 2.72946 shouldn't be 39.75/39.95 WSVECS04 Frhs2[49]: 6 0 5.01376 shouldn't be 39.75/39.95 WSVECS04 Frhs2[60]: 6 0 9.22462 shouldn't be 39.75/39.95 WSVECS04 Frhs2[63]: 6 0 1.96297 shouldn't be 39.75/39.95 WSVECS04 Frhs2[82]: 6 0 6.72811 shouldn't be 39.75/39.95 WSVECS04 Frhs2[84]: 6 -1.00004 0 shouldn't be 39.75/39.95 WSVECS04 Frhs2[94]: 6 0 8.03709 shouldn't be 39.75/39.95 WSVECS04 Frhs2[131]: 6 0 2.87281 shouldn't be 39.75/39.95 WSVECS04 Frhs2[141]: 6 0 2.58688 shouldn't be 39.75/39.95 WSVECS04 Frhs2[144]: 6 0 2.48871 shouldn't be 39.75/39.95 WSVECS04 Frhs2[148]: 6 0 0.0918994 shouldn't be 39.75/39.95 WSVECS04 Frhs2[151]: 6 -4.54905 0 shouldn't be 39.75/39.95 WSVECS04 Frhs2[163]: 6 -4.00735 0 shouldn't be 39.75/39.95 WSVECS04 Frhs2[164]: 6 0 8.78037 shouldn't be 39.75/39.95 WSVECS04 Frhs2[193]: 6 0 2.90129 shouldn't be 39.75/39.95 WSVECS04 Frhs2[206]: 6 -1.00004 0 shouldn't be 39.75/39.95 WSVECS04 Frhs2[208]: 6 0 7.49867 shouldn't be 39.75/39.95 WSVECS04 Frhs2[211]: 6 0 1.54392 shouldn't be 39.96/40.13 WSVECS04 Frhs2[17]: 6 0 0.782947 shouldn't be 39.96/40.13 WSVECS04 Frhs2[35]: 6 0 6.0612 shouldn't be 39.96/40.13 WSVECS04 Frhs2[40]: 6 0 3.84029 shouldn't be 39.96/40.13 WSVECS04 Frhs2[51]: 6 0 16.0668 shouldn't be 39.96/40.13 WSVECS04 Frhs2[58]: 6 0 14.0828 shouldn't be 39.96/40.13 WSVECS04 Frhs2[59]: 6 0 2.63765 shouldn't be 39.96/40.13 WSVECS04 Frhs2[119]: 6 0 5.34802 shouldn't be 39.96/40.13 WSVECS04 Frhs2[182]: 6 0 13.0822 shouldn't be 39.96/40.13 WSVECS04 Frhs2[201]: 6 0 3.80754 shouldn't be 40.86/41.08 c rational objective 13.5046 61.27/61.52 c #Conflicts: 57000 | #Constraints: 11603 61.27/61.52 c #Conflicts: 58000 | #Constraints: 12690 61.27/61.52 c #Conflicts: 59000 | #Constraints: 13737 61.27/61.52 c #Conflicts: 60000 | #Constraints: 15205 61.27/61.52 c #Conflicts: 61000 | #Constraints: 16988 61.27/61.52 c INPROCESSING 61.27/61.52 c GARBAGE COLLECT 61.27/61.52 c #Conflicts: 62000 | #Constraints: 12837 61.27/61.52 c #Conflicts: 63000 | #Constraints: 14626 61.27/61.52 c #Conflicts: 64000 | #Constraints: 16377 61.27/61.52 c #Conflicts: 65000 | #Constraints: 17920 61.27/61.52 c #Conflicts: 66000 | #Constraints: 19172 61.27/61.52 c INPROCESSING 61.27/61.52 c GARBAGE COLLECT 61.27/61.52 c #Conflicts: 67000 | #Constraints: 13120 61.27/61.52 c #Conflicts: 68000 | #Constraints: 14127 61.27/61.52 c #Conflicts: 69000 | #Constraints: 15130 61.27/61.52 c #Conflicts: 70000 | #Constraints: 16132 61.27/61.52 c #Conflicts: 71000 | #Constraints: 17133 61.27/61.52 c #Conflicts: 72000 | #Constraints: 18135 61.27/61.52 c INPROCESSING 61.27/61.52 c GARBAGE COLLECT 61.27/61.52 c rational objective 13.5047 65.77/66.04 c #Conflicts: 73000 | #Constraints: 12722 65.77/66.04 c #Conflicts: 74000 | #Constraints: 13876 65.77/66.04 c #Conflicts: 75000 | #Constraints: 14980 65.77/66.04 c #Conflicts: 76000 | #Constraints: 16067 65.77/66.04 c #Conflicts: 77000 | #Constraints: 17105 65.77/66.04 c #Conflicts: 78000 | #Constraints: 18249 65.77/66.04 c INPROCESSING 65.77/66.04 c GARBAGE COLLECT 65.77/66.04 c rational objective 13.5275 72.44/72.77 c #Conflicts: 79000 | #Constraints: 13154 72.44/72.77 c #Conflicts: 80000 | #Constraints: 14698 72.44/72.77 c #Conflicts: 81000 | #Constraints: 15886 72.44/72.77 c #Conflicts: 82000 | #Constraints: 17077 72.44/72.77 c #Conflicts: 83000 | #Constraints: 18844 72.44/72.77 c #Conflicts: 84000 | #Constraints: 20570 72.44/72.77 c INPROCESSING 72.44/72.77 c GARBAGE COLLECT 72.44/72.77 WSVECS04 Frhs2[76]: 6 0 481.73 shouldn't be 72.44/72.77 WSVECS04 Frhs2[108]: 6 0 446.13 shouldn't be 72.44/72.77 WSVECS04 Frhs2[109]: 6 0 745.199 shouldn't be 72.44/72.77 WSVECS04 Frhs2[131]: 6 0 1058.25 shouldn't be 72.44/72.77 WSVECS04 Frhs2[133]: 6 0 663.025 shouldn't be 72.44/72.77 WSVECS04 Frhs2[148]: 6 0 441.657 shouldn't be 72.44/72.77 WSVECS04 Frhs2[150]: 6 0 1811.08 shouldn't be 72.44/72.77 WSVECS04 Frhs2[158]: 6 0 406.13 shouldn't be 72.44/72.77 WSVECS04 Frhs2[169]: 6 -588.292 0 shouldn't be 72.44/72.77 WSVECS04 Frhs2[170]: 6 -178.791 0 shouldn't be 72.44/72.77 WSVECS04 Frhs2[172]: 6 -66.2372 0 shouldn't be 72.44/72.77 WSVECS04 Frhs2[181]: 6 -242.65 0 shouldn't be 72.44/72.77 WSVECS04 Frhs2[189]: 6 -570.848 0 shouldn't be 72.44/72.77 WSVECS04 Frhs2[202]: 6 0 1170.3 shouldn't be 72.54/72.86 c rational objective 13.5288 80.81/81.17 c #Conflicts: 85000 | #Constraints: 14089 80.81/81.17 c #Conflicts: 86000 | #Constraints: 15881 80.81/81.17 c #Conflicts: 87000 | #Constraints: 17713 80.81/81.17 c #Conflicts: 88000 | #Constraints: 19549 80.81/81.17 c #Conflicts: 89000 | #Constraints: 21329 80.81/81.17 c #Conflicts: 90000 | #Constraints: 23115 80.81/81.17 c INPROCESSING 80.81/81.17 c GARBAGE COLLECT 80.81/81.17 c rational objective 13.5288 92.17/92.50 c #Conflicts: 91000 | #Constraints: 15292 92.17/92.50 c #Conflicts: 92000 | #Constraints: 16295 92.17/92.50 c #Conflicts: 93000 | #Constraints: 17296 92.17/92.50 c #Conflicts: 94000 | #Constraints: 18297 92.17/92.50 c #Conflicts: 95000 | #Constraints: 19301 92.17/92.50 c #Conflicts: 96000 | #Constraints: 20302 92.17/92.50 c INPROCESSING 92.17/92.50 c GARBAGE COLLECT 92.17/92.50 c rational objective 13.5288 99.34/99.73 c #Conflicts: 97000 | #Constraints: 13695 99.34/99.73 c #Conflicts: 98000 | #Constraints: 14885 99.34/99.73 c #Conflicts: 99000 | #Constraints: 16353 99.34/99.73 c #Conflicts: 100000 | #Constraints: 18030 99.34/99.73 c #Conflicts: 101000 | #Constraints: 19810 99.34/99.73 c #Conflicts: 102000 | #Constraints: 21610 99.34/99.73 c #Conflicts: 103000 | #Constraints: 23081 99.34/99.73 c INPROCESSING 99.34/99.73 c GARBAGE COLLECT 99.34/99.73 c rational objective 13.5288 107.72/108.17 c #Conflicts: 104000 | #Constraints: 15193 107.72/108.17 c #Conflicts: 105000 | #Constraints: 16197 107.72/108.17 c #Conflicts: 106000 | #Constraints: 17257 107.72/108.17 c #Conflicts: 107000 | #Constraints: 18412 107.72/108.17 c #Conflicts: 108000 | #Constraints: 19435 107.72/108.17 c #Conflicts: 109000 | #Constraints: 20699 107.72/108.17 c #Conflicts: 110000 | #Constraints: 22406 107.72/108.17 c INPROCESSING 107.72/108.17 c GARBAGE COLLECT 107.72/108.17 c rational objective 13.5667 113.39/113.86 c #Conflicts: 111000 | #Constraints: 15216 113.39/113.86 c #Conflicts: 112000 | #Constraints: 16255 113.39/113.86 c #Conflicts: 113000 | #Constraints: 17357 113.39/113.86 c #Conflicts: 114000 | #Constraints: 18431 113.39/113.86 c #Conflicts: 115000 | #Constraints: 19455 113.39/113.86 c #Conflicts: 116000 | #Constraints: 20458 113.39/113.86 c #Conflicts: 117000 | #Constraints: 21518 113.39/113.86 c INPROCESSING 113.39/113.86 c GARBAGE COLLECT 113.39/113.86 c rational objective 13.5667 126.25/126.73 c #Conflicts: 118000 | #Constraints: 14515 126.25/126.73 c #Conflicts: 119000 | #Constraints: 15517 126.25/126.73 c #Conflicts: 120000 | #Constraints: 16518 126.25/126.73 c #Conflicts: 121000 | #Constraints: 17518 126.25/126.73 c #Conflicts: 122000 | #Constraints: 18518 126.25/126.73 c #Conflicts: 123000 | #Constraints: 19519 126.25/126.73 c #Conflicts: 124000 | #Constraints: 20521 126.25/126.73 c INPROCESSING 126.25/126.73 c GARBAGE COLLECT 126.25/126.73 c rational objective 13.6204 132.43/132.96 c #Conflicts: 125000 | #Constraints: 13913 132.43/132.96 c #Conflicts: 126000 | #Constraints: 14953 132.43/132.96 c #Conflicts: 127000 | #Constraints: 15971 132.43/132.96 c #Conflicts: 128000 | #Constraints: 17042 132.43/132.96 c #Conflicts: 129000 | #Constraints: 18151 132.43/132.96 c #Conflicts: 130000 | #Constraints: 19427 132.43/132.96 c #Conflicts: 131000 | #Constraints: 20431 132.43/132.96 c INPROCESSING 132.43/132.96 c GARBAGE COLLECT 132.43/132.96 c rational objective 13.6386 138.81/139.31 c #Conflicts: 132000 | #Constraints: 13663 138.81/139.31 c #Conflicts: 133000 | #Constraints: 14878 138.81/139.31 c #Conflicts: 134000 | #Constraints: 15880 138.81/139.31 c #Conflicts: 135000 | #Constraints: 16882 138.81/139.31 c #Conflicts: 136000 | #Constraints: 17898 138.81/139.31 c #Conflicts: 137000 | #Constraints: 18920 138.81/139.31 c #Conflicts: 138000 | #Constraints: 19956 138.81/139.31 c #Conflicts: 139000 | #Constraints: 21036 138.81/139.31 c INPROCESSING 138.81/139.31 c GARBAGE COLLECT 138.81/139.31 c rational objective 13.7165 146.39/146.93 c #Conflicts: 140000 | #Constraints: 14486 146.39/146.93 c #Conflicts: 141000 | #Constraints: 15610 146.39/146.93 c #Conflicts: 142000 | #Constraints: 16611 146.39/146.93 c #Conflicts: 143000 | #Constraints: 17616 146.39/146.93 c #Conflicts: 144000 | #Constraints: 18696 146.39/146.93 c #Conflicts: 145000 | #Constraints: 20023 146.39/146.93 c #Conflicts: 146000 | #Constraints: 21170 146.39/146.93 c #Conflicts: 147000 | #Constraints: 23058 146.39/146.93 c INPROCESSING 146.39/146.93 c GARBAGE COLLECT 146.39/146.93 c rational objective 13.542 161.93/162.57 c #Conflicts: 148000 | #Constraints: 15280 161.93/162.57 c #Conflicts: 149000 | #Constraints: 16281 161.93/162.57 c #Conflicts: 150000 | #Constraints: 17282 161.93/162.57 c #Conflicts: 151000 | #Constraints: 18282 161.93/162.57 c #Conflicts: 152000 | #Constraints: 19282 161.93/162.57 c #Conflicts: 153000 | #Constraints: 20284 161.93/162.57 c #Conflicts: 154000 | #Constraints: 21286 161.93/162.57 c #Conflicts: 155000 | #Constraints: 22287 161.93/162.57 c INPROCESSING 161.93/162.57 c GARBAGE COLLECT 161.93/162.57 c rational objective 13.5782 168.11/168.76 c #Conflicts: 156000 | #Constraints: 14898 168.11/168.76 c #Conflicts: 157000 | #Constraints: 15974 168.11/168.76 c #Conflicts: 158000 | #Constraints: 16985 168.11/168.76 c #Conflicts: 159000 | #Constraints: 17988 168.11/168.76 c #Conflicts: 160000 | #Constraints: 18991 168.11/168.76 c #Conflicts: 161000 | #Constraints: 19996 168.11/168.76 c #Conflicts: 162000 | #Constraints: 20996 168.11/168.76 c #Conflicts: 163000 | #Constraints: 21996 168.11/168.76 c INPROCESSING 168.11/168.76 c GARBAGE COLLECT 168.11/168.76 c rational objective 13.7066 229.80/230.65 c #Conflicts: 164000 | #Constraints: 14721 229.80/230.65 c #Conflicts: 165000 | #Constraints: 16191 229.80/230.65 c #Conflicts: 166000 | #Constraints: 17545 229.80/230.65 c #Conflicts: 167000 | #Constraints: 18733 229.80/230.65 c #Conflicts: 168000 | #Constraints: 19737 229.80/230.65 c #Conflicts: 169000 | #Constraints: 20740 229.80/230.65 c #Conflicts: 170000 | #Constraints: 21741 229.80/230.65 c #Conflicts: 171000 | #Constraints: 22742 229.80/230.65 c #Conflicts: 172000 | #Constraints: 23744 229.80/230.65 c #Conflicts: 173000 | #Constraints: 24745 229.80/230.65 c #Conflicts: 174000 | #Constraints: 25749 229.80/230.65 c #Conflicts: 175000 | #Constraints: 26772 229.80/230.65 c #Conflicts: 176000 | #Constraints: 27773 229.80/230.65 c #Conflicts: 177000 | #Constraints: 28775 229.80/230.65 c #Conflicts: 178000 | #Constraints: 29776 229.80/230.65 c #Conflicts: 179000 | #Constraints: 30780 229.80/230.65 c #Conflicts: 180000 | #Constraints: 31781 229.80/230.65 c #Conflicts: 181000 | #Constraints: 32784 229.80/230.65 c #Conflicts: 182000 | #Constraints: 33788 229.80/230.65 c #Conflicts: 183000 | #Constraints: 34791 229.80/230.65 c #Conflicts: 184000 | #Constraints: 36052 229.80/230.65 c #Conflicts: 185000 | #Constraints: 37405 229.80/230.65 c #Conflicts: 186000 | #Constraints: 38599 229.80/230.65 c #Conflicts: 187000 | #Constraints: 39630 229.80/230.65 c #Conflicts: 188000 | #Constraints: 40701 229.80/230.65 c #Conflicts: 189000 | #Constraints: 41960 229.80/230.65 c #Conflicts: 190000 | #Constraints: 43065 229.80/230.65 c #Conflicts: 191000 | #Constraints: 44678 229.80/230.65 c #Conflicts: 192000 | #Constraints: 46182 229.80/230.65 c #Conflicts: 193000 | #Constraints: 47188 229.80/230.65 c #Conflicts: 194000 | #Constraints: 48224 229.80/230.65 c #Conflicts: 195000 | #Constraints: 49333 229.80/230.65 c #Conflicts: 196000 | #Constraints: 50534 229.80/230.65 c #Conflicts: 197000 | #Constraints: 51740 229.80/230.65 c #Conflicts: 198000 | #Constraints: 53133 229.80/230.65 c #Conflicts: 199000 | #Constraints: 54175 229.80/230.65 c #Conflicts: 200000 | #Constraints: 55241 229.80/230.65 c #Conflicts: 201000 | #Constraints: 56243 229.80/230.65 c INPROCESSING 229.80/230.65 c GARBAGE COLLECT 229.80/230.65 c rational objective 13.536 260.80/261.74 c #Conflicts: 202000 | #Constraints: 31731 260.80/261.74 c #Conflicts: 203000 | #Constraints: 32732 260.80/261.74 c #Conflicts: 204000 | #Constraints: 33733 260.80/261.74 c #Conflicts: 205000 | #Constraints: 34734 260.80/261.74 c #Conflicts: 206000 | #Constraints: 35734 260.80/261.74 c #Conflicts: 207000 | #Constraints: 36734 260.80/261.74 c #Conflicts: 208000 | #Constraints: 37736 260.80/261.74 c #Conflicts: 209000 | #Constraints: 38742 260.80/261.74 c #Conflicts: 210000 | #Constraints: 39743 260.80/261.74 c INPROCESSING 260.80/261.74 c GARBAGE COLLECT 260.80/261.74 c rational objective 13.6204 275.75/276.76 c #Conflicts: 211000 | #Constraints: 23230 275.75/276.76 c #Conflicts: 212000 | #Constraints: 24231 275.75/276.76 c bounds 22 >= 13 @ 260.125 275.75/276.76 c #Conflicts: 213000 | #Constraints: 25271 275.75/276.76 c #Conflicts: 214000 | #Constraints: 26377 275.75/276.76 c #Conflicts: 215000 | #Constraints: 27378 275.75/276.76 c #Conflicts: 216000 | #Constraints: 28389 275.75/276.76 c #Conflicts: 217000 | #Constraints: 29391 275.75/276.76 c #Conflicts: 218000 | #Constraints: 30398 275.75/276.76 c #Conflicts: 219000 | #Constraints: 31401 275.75/276.76 c #Conflicts: 220000 | #Constraints: 32405 275.75/276.76 c INPROCESSING 275.75/276.76 c GARBAGE COLLECT 275.75/276.76 c rational objective 13.5869 300.37/301.48 c #Conflicts: 221000 | #Constraints: 19717 300.37/301.48 c #Conflicts: 222000 | #Constraints: 20719 300.37/301.48 c #Conflicts: 223000 | #Constraints: 21721 300.37/301.48 c #Conflicts: 224000 | #Constraints: 22722 300.37/301.48 c #Conflicts: 225000 | #Constraints: 23723 300.37/301.48 c #Conflicts: 226000 | #Constraints: 24724 300.37/301.48 c #Conflicts: 227000 | #Constraints: 25725 300.37/301.48 c #Conflicts: 228000 | #Constraints: 26726 300.37/301.48 c #Conflicts: 229000 | #Constraints: 27726 300.37/301.48 c #Conflicts: 230000 | #Constraints: 28727 300.37/301.48 c INPROCESSING 300.37/301.48 c GARBAGE COLLECT 300.37/301.48 c rational objective 13.566 311.23/312.35 c #Conflicts: 231000 | #Constraints: 17943 311.23/312.35 c #Conflicts: 232000 | #Constraints: 18946 311.23/312.35 c #Conflicts: 233000 | #Constraints: 19955 311.23/312.35 c #Conflicts: 234000 | #Constraints: 20974 311.23/312.35 c #Conflicts: 235000 | #Constraints: 21978 311.23/312.35 c #Conflicts: 236000 | #Constraints: 22984 311.23/312.35 c #Conflicts: 237000 | #Constraints: 23988 311.23/312.35 c #Conflicts: 238000 | #Constraints: 25007 311.23/312.35 c #Conflicts: 239000 | #Constraints: 26079 311.23/312.35 c #Conflicts: 240000 | #Constraints: 27081 311.23/312.35 c INPROCESSING 311.23/312.35 c GARBAGE COLLECT 311.23/312.35 c rational objective 13.7024 392.45/393.85 c #Conflicts: 241000 | #Constraints: 17060 392.45/393.85 c #Conflicts: 242000 | #Constraints: 18064 392.45/393.85 c #Conflicts: 243000 | #Constraints: 19067 392.45/393.85 c #Conflicts: 244000 | #Constraints: 20068 392.45/393.85 c #Conflicts: 245000 | #Constraints: 21070 392.45/393.85 c #Conflicts: 246000 | #Constraints: 22073 392.45/393.85 c #Conflicts: 247000 | #Constraints: 23079 392.45/393.85 c #Conflicts: 248000 | #Constraints: 24082 392.45/393.85 c #Conflicts: 249000 | #Constraints: 25085 392.45/393.85 c #Conflicts: 250000 | #Constraints: 26091 392.45/393.85 c #Conflicts: 251000 | #Constraints: 27094 392.45/393.85 c #Conflicts: 252000 | #Constraints: 28096 392.45/393.85 c #Conflicts: 253000 | #Constraints: 29099 392.45/393.85 c #Conflicts: 254000 | #Constraints: 30102 392.45/393.85 c #Conflicts: 255000 | #Constraints: 31105 392.45/393.85 c #Conflicts: 256000 | #Constraints: 32107 392.45/393.85 c #Conflicts: 257000 | #Constraints: 33109 392.45/393.85 c #Conflicts: 258000 | #Constraints: 34114 392.45/393.85 c #Conflicts: 259000 | #Constraints: 35116 392.45/393.85 c #Conflicts: 260000 | #Constraints: 36120 392.45/393.85 c #Conflicts: 261000 | #Constraints: 37121 392.45/393.85 c #Conflicts: 262000 | #Constraints: 38123 392.45/393.85 c #Conflicts: 263000 | #Constraints: 39126 392.45/393.85 c #Conflicts: 264000 | #Constraints: 40129 392.45/393.85 c #Conflicts: 265000 | #Constraints: 41134 392.45/393.85 c #Conflicts: 266000 | #Constraints: 42140 392.45/393.85 c #Conflicts: 267000 | #Constraints: 43143 392.45/393.85 c #Conflicts: 268000 | #Constraints: 44201 392.45/393.85 c #Conflicts: 269000 | #Constraints: 45899 392.45/393.85 c #Conflicts: 270000 | #Constraints: 46903 392.45/393.85 c #Conflicts: 271000 | #Constraints: 47905 392.45/393.85 c #Conflicts: 272000 | #Constraints: 49336 392.45/393.85 c #Conflicts: 273000 | #Constraints: 50832 392.45/393.85 c #Conflicts: 274000 | #Constraints: 51832 392.45/393.85 c #Conflicts: 275000 | #Constraints: 52874 392.45/393.85 c #Conflicts: 276000 | #Constraints: 53968 392.45/393.85 c #Conflicts: 277000 | #Constraints: 54970 392.45/393.85 c #Conflicts: 278000 | #Constraints: 55972 392.45/393.85 c #Conflicts: 279000 | #Constraints: 56982 392.45/393.85 c #Conflicts: 280000 | #Constraints: 57986 392.45/393.85 c #Conflicts: 281000 | #Constraints: 58990 392.45/393.85 c #Conflicts: 282000 | #Constraints: 59991 392.45/393.85 c #Conflicts: 283000 | #Constraints: 61001 392.45/393.85 c #Conflicts: 284000 | #Constraints: 62004 392.45/393.85 c #Conflicts: 285000 | #Constraints: 63006 392.45/393.85 c INPROCESSING 392.45/393.85 c GARBAGE COLLECT 392.45/393.85 c rational objective 13.5381 439.97/441.55 c #Conflicts: 286000 | #Constraints: 35270 439.97/441.55 c #Conflicts: 287000 | #Constraints: 36271 439.97/441.55 c #Conflicts: 288000 | #Constraints: 37274 439.97/441.55 c #Conflicts: 289000 | #Constraints: 38276 439.97/441.55 c #Conflicts: 290000 | #Constraints: 39276 439.97/441.55 c #Conflicts: 291000 | #Constraints: 40277 439.97/441.55 c #Conflicts: 292000 | #Constraints: 41277 439.97/441.55 c #Conflicts: 293000 | #Constraints: 42279 439.97/441.55 c #Conflicts: 294000 | #Constraints: 43279 439.97/441.55 c #Conflicts: 295000 | #Constraints: 44279 439.97/441.55 c #Conflicts: 296000 | #Constraints: 45280 439.97/441.55 c INPROCESSING 439.97/441.55 c GARBAGE COLLECT 439.97/441.55 c rational objective 13.6489 476.56/478.23 c #Conflicts: 297000 | #Constraints: 26209 476.56/478.23 c #Conflicts: 298000 | #Constraints: 27209 476.56/478.23 c #Conflicts: 299000 | #Constraints: 28209 476.56/478.23 c #Conflicts: 300000 | #Constraints: 29210 476.56/478.23 c #Conflicts: 301000 | #Constraints: 30211 476.56/478.23 c #Conflicts: 302000 | #Constraints: 31212 476.56/478.23 c #Conflicts: 303000 | #Constraints: 32213 476.56/478.23 c #Conflicts: 304000 | #Constraints: 33213 476.56/478.23 c #Conflicts: 305000 | #Constraints: 34214 476.56/478.23 c #Conflicts: 306000 | #Constraints: 35214 476.56/478.23 c #Conflicts: 307000 | #Constraints: 36216 476.56/478.23 c #Conflicts: 308000 | #Constraints: 37216 476.56/478.23 c INPROCESSING 476.56/478.23 c GARBAGE COLLECT 476.56/478.23 c rational objective 13.6517 492.51/494.28 c #Conflicts: 309000 | #Constraints: 22371 492.51/494.28 c #Conflicts: 310000 | #Constraints: 23690 492.51/494.28 c #Conflicts: 311000 | #Constraints: 25080 492.51/494.28 c #Conflicts: 312000 | #Constraints: 26081 492.51/494.28 c #Conflicts: 313000 | #Constraints: 27154 492.51/494.28 c #Conflicts: 314000 | #Constraints: 28195 492.51/494.28 c #Conflicts: 315000 | #Constraints: 29197 492.51/494.28 c #Conflicts: 316000 | #Constraints: 30359 492.51/494.28 c #Conflicts: 317000 | #Constraints: 31567 492.51/494.28 c #Conflicts: 318000 | #Constraints: 33097 492.51/494.28 c #Conflicts: 319000 | #Constraints: 34777 492.51/494.28 c INPROCESSING 492.51/494.28 c GARBAGE COLLECT 492.51/494.28 c rational objective 13.6517 506.17/507.93 c #Conflicts: 320000 | #Constraints: 20891 506.17/507.93 c #Conflicts: 321000 | #Constraints: 21911 506.17/507.93 c #Conflicts: 322000 | #Constraints: 22922 506.17/507.93 c #Conflicts: 323000 | #Constraints: 24018 506.17/507.93 c #Conflicts: 324000 | #Constraints: 25030 506.17/507.93 c #Conflicts: 325000 | #Constraints: 26033 506.17/507.93 c #Conflicts: 326000 | #Constraints: 27159 506.17/507.93 c #Conflicts: 327000 | #Constraints: 28641 506.17/507.93 c #Conflicts: 328000 | #Constraints: 30137 506.17/507.93 c #Conflicts: 329000 | #Constraints: 31140 506.17/507.93 c #Conflicts: 330000 | #Constraints: 32140 506.17/507.93 c #Conflicts: 331000 | #Constraints: 33152 506.17/507.93 c INPROCESSING 506.17/507.93 c GARBAGE COLLECT 506.17/507.93 c rational objective 13.6517 596.79/598.84 c #Conflicts: 332000 | #Constraints: 20003 596.79/598.84 c #Conflicts: 333000 | #Constraints: 21007 596.79/598.84 c #Conflicts: 334000 | #Constraints: 22010 596.79/598.84 c #Conflicts: 335000 | #Constraints: 23012 596.79/598.84 c #Conflicts: 336000 | #Constraints: 24015 596.79/598.84 c #Conflicts: 337000 | #Constraints: 25019 596.79/598.84 c #Conflicts: 338000 | #Constraints: 26022 596.79/598.84 c #Conflicts: 339000 | #Constraints: 27025 596.79/598.84 c #Conflicts: 340000 | #Constraints: 28027 596.79/598.84 c #Conflicts: 341000 | #Constraints: 29031 596.79/598.84 c #Conflicts: 342000 | #Constraints: 30034 596.79/598.84 c #Conflicts: 343000 | #Constraints: 31038 596.79/598.84 c #Conflicts: 344000 | #Constraints: 32045 596.79/598.84 c #Conflicts: 345000 | #Constraints: 33048 596.79/598.84 c #Conflicts: 346000 | #Constraints: 34051 596.79/598.84 c #Conflicts: 347000 | #Constraints: 35054 596.79/598.84 c #Conflicts: 348000 | #Constraints: 36067 596.79/598.84 c #Conflicts: 349000 | #Constraints: 37116 596.79/598.84 c #Conflicts: 350000 | #Constraints: 38118 596.79/598.84 c #Conflicts: 351000 | #Constraints: 39122 596.79/598.84 c #Conflicts: 352000 | #Constraints: 40137 596.79/598.84 c #Conflicts: 353000 | #Constraints: 41171 596.79/598.84 c #Conflicts: 354000 | #Constraints: 42177 596.79/598.84 c #Conflicts: 355000 | #Constraints: 43187 596.79/598.84 c #Conflicts: 356000 | #Constraints: 44204 596.79/598.84 c #Conflicts: 357000 | #Constraints: 45207 596.79/598.84 c #Conflicts: 358000 | #Constraints: 46212 596.79/598.84 c #Conflicts: 359000 | #Constraints: 47217 596.79/598.84 c #Conflicts: 360000 | #Constraints: 48219 596.79/598.84 c #Conflicts: 361000 | #Constraints: 49224 596.79/598.84 c #Conflicts: 362000 | #Constraints: 50228 596.79/598.84 c #Conflicts: 363000 | #Constraints: 51233 596.79/598.84 c #Conflicts: 364000 | #Constraints: 52234 596.79/598.84 c #Conflicts: 365000 | #Constraints: 53236 596.79/598.84 c #Conflicts: 366000 | #Constraints: 54239 596.79/598.84 c #Conflicts: 367000 | #Constraints: 55246 596.79/598.84 c #Conflicts: 368000 | #Constraints: 56332 596.79/598.84 c #Conflicts: 369000 | #Constraints: 57378 596.79/598.84 c #Conflicts: 370000 | #Constraints: 58427 596.79/598.84 c #Conflicts: 371000 | #Constraints: 59460 596.79/598.84 c #Conflicts: 372000 | #Constraints: 60654 596.79/598.84 c #Conflicts: 373000 | #Constraints: 62299 596.79/598.84 c #Conflicts: 374000 | #Constraints: 64069 596.79/598.84 c #Conflicts: 375000 | #Constraints: 65313 596.79/598.84 c #Conflicts: 376000 | #Constraints: 66858 596.79/598.84 c #Conflicts: 377000 | #Constraints: 68470 596.79/598.84 c #Conflicts: 378000 | #Constraints: 69727 596.79/598.84 c #Conflicts: 379000 | #Constraints: 70729 596.79/598.84 c #Conflicts: 380000 | #Constraints: 71731 596.79/598.84 c #Conflicts: 381000 | #Constraints: 72736 596.79/598.84 c #Conflicts: 382000 | #Constraints: 73744 596.79/598.84 c INPROCESSING 596.79/598.84 c GARBAGE COLLECT 596.79/598.84 c rational objective 13.6517 608.45/610.59 c #Conflicts: 383000 | #Constraints: 40283 608.45/610.59 c #Conflicts: 384000 | #Constraints: 41285 608.45/610.59 c #Conflicts: 385000 | #Constraints: 42286 608.45/610.59 WSVECS04 Frhs2[188]: 6 0 2919.19 shouldn't be 654.81/657.10 c #Conflicts: 386000 | #Constraints: 43287 654.81/657.10 c #Conflicts: 387000 | #Constraints: 44287 654.81/657.10 c #Conflicts: 388000 | #Constraints: 45288 654.81/657.10 c #Conflicts: 389000 | #Constraints: 46288 654.81/657.10 c #Conflicts: 390000 | #Constraints: 47290 654.81/657.10 c #Conflicts: 391000 | #Constraints: 48290 654.81/657.10 c #Conflicts: 392000 | #Constraints: 49291 654.81/657.10 c #Conflicts: 393000 | #Constraints: 50292 654.81/657.10 c #Conflicts: 394000 | #Constraints: 51292 654.81/657.10 c #Conflicts: 395000 | #Constraints: 52293 654.81/657.10 c #Conflicts: 396000 | #Constraints: 53295 654.81/657.10 c INPROCESSING 654.81/657.10 c GARBAGE COLLECT 654.81/657.10 c rational objective 13.6517 707.24/709.64 c #Conflicts: 397000 | #Constraints: 30419 707.24/709.64 c #Conflicts: 398000 | #Constraints: 31421 707.24/709.64 c #Conflicts: 399000 | #Constraints: 32422 707.24/709.64 c #Conflicts: 400000 | #Constraints: 33422 707.24/709.64 c #Conflicts: 401000 | #Constraints: 34422 707.24/709.64 c #Conflicts: 402000 | #Constraints: 35423 707.24/709.64 c #Conflicts: 403000 | #Constraints: 36424 707.24/709.64 c #Conflicts: 404000 | #Constraints: 37424 707.24/709.64 c #Conflicts: 405000 | #Constraints: 38425 707.24/709.64 c #Conflicts: 406000 | #Constraints: 39425 707.24/709.64 c #Conflicts: 407000 | #Constraints: 40425 707.24/709.64 c #Conflicts: 408000 | #Constraints: 41427 707.24/709.64 c #Conflicts: 409000 | #Constraints: 42428 707.24/709.64 c INPROCESSING 707.24/709.64 c GARBAGE COLLECT 707.24/709.64 c rational objective 13.6517 725.98/728.47 c #Conflicts: 410000 | #Constraints: 24741 725.98/728.47 c #Conflicts: 411000 | #Constraints: 25873 725.98/728.47 c #Conflicts: 412000 | #Constraints: 27035 725.98/728.47 c #Conflicts: 413000 | #Constraints: 28083 725.98/728.47 c #Conflicts: 414000 | #Constraints: 29112 725.98/728.47 c #Conflicts: 415000 | #Constraints: 30115 725.98/728.47 c #Conflicts: 416000 | #Constraints: 31166 725.98/728.47 c #Conflicts: 417000 | #Constraints: 32216 725.98/728.47 c #Conflicts: 418000 | #Constraints: 33225 725.98/728.47 c #Conflicts: 419000 | #Constraints: 34367 725.98/728.47 c #Conflicts: 420000 | #Constraints: 35579 725.98/728.47 c #Conflicts: 421000 | #Constraints: 36588 725.98/728.47 c #Conflicts: 422000 | #Constraints: 38157 725.98/728.47 c #Conflicts: 423000 | #Constraints: 39734 725.98/728.47 c INPROCESSING 725.98/728.47 c GARBAGE COLLECT 725.98/728.47 c rational objective 13.6517 933.32/936.42 c #Conflicts: 424000 | #Constraints: 24078 933.32/936.42 c #Conflicts: 425000 | #Constraints: 25351 933.32/936.42 c #Conflicts: 426000 | #Constraints: 26482 933.32/936.42 c #Conflicts: 427000 | #Constraints: 27492 933.32/936.42 c #Conflicts: 428000 | #Constraints: 28758 933.32/936.42 c #Conflicts: 429000 | #Constraints: 30259 933.32/936.42 c #Conflicts: 430000 | #Constraints: 31711 933.32/936.42 c #Conflicts: 431000 | #Constraints: 32833 933.32/936.42 c #Conflicts: 432000 | #Constraints: 34469 933.32/936.42 c #Conflicts: 433000 | #Constraints: 35504 933.32/936.42 c #Conflicts: 434000 | #Constraints: 36509 933.32/936.42 c #Conflicts: 435000 | #Constraints: 37513 933.32/936.42 c #Conflicts: 436000 | #Constraints: 38517 933.32/936.42 c #Conflicts: 437000 | #Constraints: 39522 933.32/936.42 c #Conflicts: 438000 | #Constraints: 40525 933.32/936.42 c #Conflicts: 439000 | #Constraints: 41530 933.32/936.42 c #Conflicts: 440000 | #Constraints: 42533 933.32/936.42 c #Conflicts: 441000 | #Constraints: 43537 933.32/936.42 c #Conflicts: 442000 | #Constraints: 44545 933.32/936.42 c #Conflicts: 443000 | #Constraints: 45549 933.32/936.42 c #Conflicts: 444000 | #Constraints: 46556 933.32/936.42 c #Conflicts: 445000 | #Constraints: 47559 933.32/936.42 c #Conflicts: 446000 | #Constraints: 48563 933.32/936.42 c #Conflicts: 447000 | #Constraints: 49567 933.32/936.42 c #Conflicts: 448000 | #Constraints: 50572 933.32/936.42 c #Conflicts: 449000 | #Constraints: 51579 933.32/936.42 c #Conflicts: 450000 | #Constraints: 52585 933.32/936.42 c #Conflicts: 451000 | #Constraints: 53589 933.32/936.42 c #Conflicts: 452000 | #Constraints: 54593 933.32/936.42 c #Conflicts: 453000 | #Constraints: 55597 933.32/936.42 c #Conflicts: 454000 | #Constraints: 56603 933.32/936.42 c #Conflicts: 455000 | #Constraints: 57608 933.32/936.42 c #Conflicts: 456000 | #Constraints: 58610 933.32/936.42 c #Conflicts: 457000 | #Constraints: 59615 933.32/936.42 c #Conflicts: 458000 | #Constraints: 60617 933.32/936.42 c #Conflicts: 459000 | #Constraints: 61622 933.32/936.42 c #Conflicts: 460000 | #Constraints: 62628 933.32/936.42 c #Conflicts: 461000 | #Constraints: 63633 933.32/936.42 c #Conflicts: 462000 | #Constraints: 64638 933.32/936.42 c #Conflicts: 463000 | #Constraints: 65643 933.32/936.42 c #Conflicts: 464000 | #Constraints: 66647 933.32/936.42 c #Conflicts: 465000 | #Constraints: 67652 933.32/936.42 c #Conflicts: 466000 | #Constraints: 68656 933.32/936.42 c #Conflicts: 467000 | #Constraints: 69660 933.32/936.42 c #Conflicts: 468000 | #Constraints: 70663 933.32/936.42 c #Conflicts: 469000 | #Constraints: 71666 933.32/936.42 c #Conflicts: 470000 | #Constraints: 72668 933.32/936.42 c #Conflicts: 471000 | #Constraints: 73671 933.32/936.42 c #Conflicts: 472000 | #Constraints: 74673 933.32/936.42 c #Conflicts: 473000 | #Constraints: 75675 933.32/936.42 c #Conflicts: 474000 | #Constraints: 76677 933.32/936.42 c #Conflicts: 475000 | #Constraints: 77681 933.32/936.42 c #Conflicts: 476000 | #Constraints: 78684 933.32/936.42 c #Conflicts: 477000 | #Constraints: 79687 933.32/936.42 c #Conflicts: 478000 | #Constraints: 80690 933.32/936.42 c #Conflicts: 479000 | #Constraints: 81694 933.32/936.42 c INPROCESSING 933.32/936.42 c GARBAGE COLLECT 933.32/936.42 c #Conflicts: 480000 | #Constraints: 44414 933.32/936.42 c #Conflicts: 481000 | #Constraints: 45414 933.32/936.42 c #Conflicts: 482000 | #Constraints: 46414 933.32/936.42 c #Conflicts: 483000 | #Constraints: 47414 933.32/936.42 c #Conflicts: 484000 | #Constraints: 48414 933.32/936.42 c #Conflicts: 485000 | #Constraints: 49414 933.32/936.42 c #Conflicts: 486000 | #Constraints: 50414 933.32/936.42 c #Conflicts: 487000 | #Constraints: 51414 933.32/936.42 c #Conflicts: 488000 | #Constraints: 52414 933.32/936.42 c #Conflicts: 489000 | #Constraints: 53414 933.32/936.42 c #Conflicts: 490000 | #Constraints: 54414 933.32/936.42 c #Conflicts: 491000 | #Constraints: 55414 933.32/936.42 c #Conflicts: 492000 | #Constraints: 56414 933.32/936.42 c #Conflicts: 493000 | #Constraints: 57415 933.32/936.42 c #Conflicts: 494000 | #Constraints: 58415 933.32/936.42 c INPROCESSING 933.32/936.42 c GARBAGE COLLECT 933.32/936.42 c rational objective 13.5049 952.97/956.19 c #Conflicts: 495000 | #Constraints: 32785 952.97/956.19 c #Conflicts: 496000 | #Constraints: 33788 952.97/956.19 c #Conflicts: 497000 | #Constraints: 34792 952.97/956.19 c #Conflicts: 498000 | #Constraints: 35795 952.97/956.19 c #Conflicts: 499000 | #Constraints: 36797 952.97/956.19 c #Conflicts: 500000 | #Constraints: 37801 952.97/956.19 c #Conflicts: 501000 | #Constraints: 38804 952.97/956.19 c #Conflicts: 502000 | #Constraints: 39808 952.97/956.19 c #Conflicts: 503000 | #Constraints: 40811 952.97/956.19 c #Conflicts: 504000 | #Constraints: 41814 952.97/956.19 c #Conflicts: 505000 | #Constraints: 42818 952.97/956.19 c #Conflicts: 506000 | #Constraints: 43821 952.97/956.19 c #Conflicts: 507000 | #Constraints: 44825 952.97/956.19 c #Conflicts: 508000 | #Constraints: 45827 952.97/956.19 c #Conflicts: 509000 | #Constraints: 46831 952.97/956.19 c INPROCESSING 952.97/956.19 c GARBAGE COLLECT 952.97/956.19 c rational objective 13.5052 1010.28/1013.65 c #Conflicts: 510000 | #Constraints: 26886 1010.28/1013.65 c #Conflicts: 511000 | #Constraints: 27889 1010.28/1013.65 c #Conflicts: 512000 | #Constraints: 28891 1010.28/1013.65 c #Conflicts: 513000 | #Constraints: 29893 1010.28/1013.65 c #Conflicts: 514000 | #Constraints: 30896 1010.28/1013.65 c #Conflicts: 515000 | #Constraints: 31897 1010.28/1013.65 c #Conflicts: 516000 | #Constraints: 32897 1010.28/1013.65 c #Conflicts: 517000 | #Constraints: 33902 1010.28/1013.65 c #Conflicts: 518000 | #Constraints: 34904 1010.28/1013.65 c #Conflicts: 519000 | #Constraints: 35904 1010.28/1013.65 c #Conflicts: 520000 | #Constraints: 36906 1010.28/1013.65 c #Conflicts: 521000 | #Constraints: 37908 1010.28/1013.65 c #Conflicts: 522000 | #Constraints: 38909 1010.28/1013.65 c #Conflicts: 523000 | #Constraints: 39909 1010.28/1013.65 c #Conflicts: 524000 | #Constraints: 40909 1010.28/1013.65 c #Conflicts: 525000 | #Constraints: 41912 1010.28/1013.65 c INPROCESSING 1010.28/1013.65 c GARBAGE COLLECT 1010.28/1013.65 c rational objective 13.5054 1206.18/1210.18 c #Conflicts: 526000 | #Constraints: 24730 1206.18/1210.18 c #Conflicts: 527000 | #Constraints: 25932 1206.18/1210.18 c #Conflicts: 528000 | #Constraints: 27158 1206.18/1210.18 c #Conflicts: 529000 | #Constraints: 28476 1206.18/1210.18 c #Conflicts: 530000 | #Constraints: 30266 1206.18/1210.18 c #Conflicts: 531000 | #Constraints: 32030 1206.18/1210.18 c #Conflicts: 532000 | #Constraints: 33764 1206.18/1210.18 c #Conflicts: 533000 | #Constraints: 35036 1206.18/1210.18 c #Conflicts: 534000 | #Constraints: 36417 1206.18/1210.18 c #Conflicts: 535000 | #Constraints: 37855 1206.18/1210.18 c #Conflicts: 536000 | #Constraints: 38965 1206.18/1210.18 c #Conflicts: 537000 | #Constraints: 40091 1206.18/1210.18 c #Conflicts: 538000 | #Constraints: 41554 1206.18/1210.18 c #Conflicts: 539000 | #Constraints: 42697 1206.18/1210.18 c #Conflicts: 540000 | #Constraints: 43839 1206.18/1210.18 c #Conflicts: 541000 | #Constraints: 44958 1206.18/1210.18 c #Conflicts: 542000 | #Constraints: 46026 1206.18/1210.18 c #Conflicts: 543000 | #Constraints: 47501 1206.18/1210.18 c #Conflicts: 544000 | #Constraints: 48784 1206.18/1210.18 c #Conflicts: 545000 | #Constraints: 49826 1206.18/1210.18 c #Conflicts: 546000 | #Constraints: 51235 1206.18/1210.18 c #Conflicts: 547000 | #Constraints: 52875 1206.18/1210.18 c #Conflicts: 548000 | #Constraints: 54179 1206.18/1210.18 c #Conflicts: 549000 | #Constraints: 55674 1206.18/1210.18 c #Conflicts: 550000 | #Constraints: 57436 1206.18/1210.18 c #Conflicts: 551000 | #Constraints: 59130 1206.18/1210.18 c #Conflicts: 552000 | #Constraints: 60799 1206.18/1210.18 c #Conflicts: 553000 | #Constraints: 62470 1206.18/1210.18 c #Conflicts: 554000 | #Constraints: 64179 1206.18/1210.18 c #Conflicts: 555000 | #Constraints: 65865 1206.18/1210.18 c #Conflicts: 556000 | #Constraints: 67561 1206.18/1210.18 c #Conflicts: 557000 | #Constraints: 69296 1206.18/1210.18 c #Conflicts: 558000 | #Constraints: 71024 1206.18/1210.18 c #Conflicts: 559000 | #Constraints: 72733 1206.18/1210.18 c #Conflicts: 560000 | #Constraints: 74508 1206.18/1210.18 c #Conflicts: 561000 | #Constraints: 76178 1206.18/1210.18 c #Conflicts: 562000 | #Constraints: 77325 1206.18/1210.18 c #Conflicts: 563000 | #Constraints: 78530 1206.18/1210.18 c #Conflicts: 564000 | #Constraints: 79882 1206.18/1210.18 c #Conflicts: 565000 | #Constraints: 81494 1206.18/1210.18 c #Conflicts: 566000 | #Constraints: 82577 1206.18/1210.18 c #Conflicts: 567000 | #Constraints: 83708 1206.18/1210.18 c #Conflicts: 568000 | #Constraints: 84732 1206.18/1210.18 c #Conflicts: 569000 | #Constraints: 85766 1206.18/1210.18 c #Conflicts: 570000 | #Constraints: 86799 1206.18/1210.18 c #Conflicts: 571000 | #Constraints: 87868 1206.18/1210.18 c #Conflicts: 572000 | #Constraints: 89212 1206.18/1210.18 c #Conflicts: 573000 | #Constraints: 90907 1206.18/1210.18 c #Conflicts: 574000 | #Constraints: 92550 1206.18/1210.18 c #Conflicts: 575000 | #Constraints: 94192 1206.18/1210.18 c #Conflicts: 576000 | #Constraints: 95870 1206.18/1210.18 c #Conflicts: 577000 | #Constraints: 97330 1206.18/1210.18 c #Conflicts: 578000 | #Constraints: 98776 1206.18/1210.18 c #Conflicts: 579000 | #Constraints: 100124 1206.18/1210.18 c #Conflicts: 580000 | #Constraints: 101276 1206.18/1210.18 c #Conflicts: 581000 | #Constraints: 102685 1206.18/1210.18 c #Conflicts: 582000 | #Constraints: 103707 1206.18/1210.18 c #Conflicts: 583000 | #Constraints: 104801 1206.18/1210.18 c #Conflicts: 584000 | #Constraints: 106126 1206.18/1210.18 c #Conflicts: 585000 | #Constraints: 107522 1206.18/1210.18 c #Conflicts: 586000 | #Constraints: 108564 1206.18/1210.18 c INPROCESSING 1206.18/1210.18 c GARBAGE COLLECT 1206.18/1210.18 c rational objective 13.5055 1301.81/1306.05 c #Conflicts: 587000 | #Constraints: 57800 1301.81/1306.05 c #Conflicts: 588000 | #Constraints: 58805 1301.81/1306.05 c #Conflicts: 589000 | #Constraints: 59806 1301.81/1306.05 c #Conflicts: 590000 | #Constraints: 60807 1301.81/1306.05 c #Conflicts: 591000 | #Constraints: 61809 1301.81/1306.05 c #Conflicts: 592000 | #Constraints: 62812 1301.81/1306.05 c #Conflicts: 593000 | #Constraints: 63812 1301.81/1306.05 c #Conflicts: 594000 | #Constraints: 64814 1301.81/1306.05 c #Conflicts: 595000 | #Constraints: 65815 1301.81/1306.05 c #Conflicts: 596000 | #Constraints: 66815 1301.81/1306.05 c #Conflicts: 597000 | #Constraints: 67818 1301.81/1306.05 c #Conflicts: 598000 | #Constraints: 68820 1301.81/1306.05 c #Conflicts: 599000 | #Constraints: 69821 1301.81/1306.05 WSVECS04 Frhs2[111]: 6 -6.62049 0 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[113]: 6 -9.49182 0 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[129]: 6 0 8.98679 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[131]: 6 0 29.5415 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[143]: 6 -3.32475 0 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[150]: 6 0 22.7133 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[154]: 6 0 5.93036 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[155]: 6 0 2.10589 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[160]: 6 0 1.3562 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[162]: 6 0 4.18712 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[165]: 6 0 3.85531 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[166]: 6 0 8.9184 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[169]: 6 0 9.66657 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[172]: 6 0 8.80268 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[180]: 6 0 4.40086 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[182]: 6 0 1.03394 shouldn't be 1301.81/1306.05 WSVECS04 Frhs2[185]: 6 0 10.2352 shouldn't be 1332.12/1336.40 c #Conflicts: 600000 | #Constraints: 70823 1332.12/1336.40 c #Conflicts: 601000 | #Constraints: 71824 1332.12/1336.40 c #Conflicts: 602000 | #Constraints: 72824 1332.12/1336.40 c #Conflicts: 603000 | #Constraints: 73827 1332.12/1336.40 c INPROCESSING 1332.12/1336.40 c GARBAGE COLLECT 1332.12/1336.40 c rational objective 13.5165 1372.81/1377.27 c #Conflicts: 604000 | #Constraints: 40597 1372.81/1377.27 c #Conflicts: 605000 | #Constraints: 41654 1372.81/1377.27 c #Conflicts: 606000 | #Constraints: 43032 1372.81/1377.27 c #Conflicts: 607000 | #Constraints: 44542 1372.81/1377.27 c #Conflicts: 608000 | #Constraints: 46342 1372.81/1377.27 c #Conflicts: 609000 | #Constraints: 47817 1372.81/1377.27 c #Conflicts: 610000 | #Constraints: 49597 1372.81/1377.27 c #Conflicts: 611000 | #Constraints: 51410 1372.81/1377.27 c #Conflicts: 612000 | #Constraints: 53191 1372.81/1377.27 c #Conflicts: 613000 | #Constraints: 54930 1372.81/1377.27 c #Conflicts: 614000 | #Constraints: 56656 1372.81/1377.27 c #Conflicts: 615000 | #Constraints: 58392 1372.81/1377.27 c #Conflicts: 616000 | #Constraints: 59610 1372.81/1377.27 c #Conflicts: 617000 | #Constraints: 60616 1372.81/1377.27 c #Conflicts: 618000 | #Constraints: 61627 1372.81/1377.27 c #Conflicts: 619000 | #Constraints: 62630 1372.81/1377.27 c #Conflicts: 620000 | #Constraints: 63632 1372.81/1377.27 c INPROCESSING 1372.81/1377.27 c GARBAGE COLLECT 1372.81/1377.27 c rational objective 13.5783 1459.49/1464.16 c #Conflicts: 621000 | #Constraints: 35533 1459.49/1464.16 c #Conflicts: 622000 | #Constraints: 36534 1459.49/1464.16 c #Conflicts: 623000 | #Constraints: 37557 1459.49/1464.16 c #Conflicts: 624000 | #Constraints: 38558 1459.49/1464.16 c #Conflicts: 625000 | #Constraints: 39560 1459.49/1464.16 c #Conflicts: 626000 | #Constraints: 40561 1459.49/1464.16 c #Conflicts: 627000 | #Constraints: 41563 1459.49/1464.16 c #Conflicts: 628000 | #Constraints: 42563 1459.49/1464.16 c #Conflicts: 629000 | #Constraints: 43564 1459.49/1464.16 c #Conflicts: 630000 | #Constraints: 44564 1459.49/1464.16 c #Conflicts: 631000 | #Constraints: 45566 1459.49/1464.16 c #Conflicts: 632000 | #Constraints: 46568 1459.49/1464.16 c #Conflicts: 633000 | #Constraints: 47570 1459.49/1464.16 c #Conflicts: 634000 | #Constraints: 48572 1459.49/1464.16 c #Conflicts: 635000 | #Constraints: 49573 1459.49/1464.16 c #Conflicts: 636000 | #Constraints: 50575 1459.49/1464.16 c #Conflicts: 637000 | #Constraints: 51576 1459.49/1464.16 c INPROCESSING 1459.49/1464.16 c GARBAGE COLLECT 1459.49/1464.16 c rational objective 13.5783 1682.38/1687.64 c #Conflicts: 638000 | #Constraints: 29461 1682.38/1687.64 c #Conflicts: 639000 | #Constraints: 30470 1682.38/1687.64 c #Conflicts: 640000 | #Constraints: 31489 1682.38/1687.64 c #Conflicts: 641000 | #Constraints: 32543 1682.38/1687.64 c #Conflicts: 642000 | #Constraints: 33681 1682.38/1687.64 c #Conflicts: 643000 | #Constraints: 34700 1682.38/1687.64 c #Conflicts: 644000 | #Constraints: 35735 1682.38/1687.64 c #Conflicts: 645000 | #Constraints: 36737 1682.38/1687.64 c #Conflicts: 646000 | #Constraints: 37741 1682.38/1687.64 c #Conflicts: 647000 | #Constraints: 38748 1682.38/1687.64 c #Conflicts: 648000 | #Constraints: 39906 1682.38/1687.64 c #Conflicts: 649000 | #Constraints: 40998 1682.38/1687.64 c #Conflicts: 650000 | #Constraints: 42116 1682.38/1687.64 c #Conflicts: 651000 | #Constraints: 43457 1682.38/1687.64 c #Conflicts: 652000 | #Constraints: 45140 1682.38/1687.64 c #Conflicts: 653000 | #Constraints: 46830 1682.38/1687.64 c #Conflicts: 654000 | #Constraints: 48452 1682.38/1687.64 c #Conflicts: 655000 | #Constraints: 49457 1682.38/1687.64 c #Conflicts: 656000 | #Constraints: 50942 1682.38/1687.64 c #Conflicts: 657000 | #Constraints: 52642 1682.38/1687.64 c #Conflicts: 658000 | #Constraints: 54379 1682.38/1687.64 c #Conflicts: 659000 | #Constraints: 56050 1682.38/1687.64 c #Conflicts: 660000 | #Constraints: 57388 1682.38/1687.64 c #Conflicts: 661000 | #Constraints: 58390 1682.38/1687.64 c #Conflicts: 662000 | #Constraints: 59396 1682.38/1687.64 c #Conflicts: 663000 | #Constraints: 60453 1682.38/1687.64 c #Conflicts: 664000 | #Constraints: 61459 1682.38/1687.64 c #Conflicts: 665000 | #Constraints: 62462 1682.38/1687.64 c #Conflicts: 666000 | #Constraints: 63471 1682.38/1687.64 c #Conflicts: 667000 | #Constraints: 64763 1682.38/1687.64 c #Conflicts: 668000 | #Constraints: 65775 1682.38/1687.64 c #Conflicts: 669000 | #Constraints: 66792 1682.38/1687.64 c #Conflicts: 670000 | #Constraints: 67804 1682.38/1687.64 c #Conflicts: 671000 | #Constraints: 68807 1682.38/1687.64 c #Conflicts: 672000 | #Constraints: 69817 1682.38/1687.64 c #Conflicts: 673000 | #Constraints: 70823 1682.38/1687.64 c #Conflicts: 674000 | #Constraints: 71825 1682.38/1687.64 c #Conflicts: 675000 | #Constraints: 72880 1682.38/1687.64 c #Conflicts: 676000 | #Constraints: 73996 1682.38/1687.64 c #Conflicts: 677000 | #Constraints: 75014 1682.38/1687.64 c #Conflicts: 678000 | #Constraints: 76583 1682.38/1687.64 c #Conflicts: 679000 | #Constraints: 78152 1682.38/1687.64 c #Conflicts: 680000 | #Constraints: 79155 1682.38/1687.64 c #Conflicts: 681000 | #Constraints: 80159 1682.38/1687.64 c #Conflicts: 682000 | #Constraints: 81170 1682.38/1687.64 c #Conflicts: 683000 | #Constraints: 82174 1682.38/1687.64 c #Conflicts: 684000 | #Constraints: 83177 1682.38/1687.64 c #Conflicts: 685000 | #Constraints: 84214 1682.38/1687.64 c #Conflicts: 686000 | #Constraints: 85489 1682.38/1687.64 c #Conflicts: 687000 | #Constraints: 87202 1682.38/1687.64 c #Conflicts: 688000 | #Constraints: 88218 1682.38/1687.64 c #Conflicts: 689000 | #Constraints: 89241 1682.38/1687.64 c #Conflicts: 690000 | #Constraints: 90386 1682.38/1687.64 c #Conflicts: 691000 | #Constraints: 91390 1682.38/1687.64 c #Conflicts: 692000 | #Constraints: 92395 1682.38/1687.64 c #Conflicts: 693000 | #Constraints: 93475 1682.38/1687.64 c #Conflicts: 694000 | #Constraints: 94714 1682.38/1687.64 c #Conflicts: 695000 | #Constraints: 96144 1682.38/1687.64 c #Conflicts: 696000 | #Constraints: 97420 1682.38/1687.64 c #Conflicts: 697000 | #Constraints: 99135 1682.38/1687.64 c #Conflicts: 698000 | #Constraints: 100842 1682.38/1687.64 c #Conflicts: 699000 | #Constraints: 102371 1682.38/1687.64 c #Conflicts: 700000 | #Constraints: 104075 1682.38/1687.64 c #Conflicts: 701000 | #Constraints: 105745 1682.38/1687.64 c #Conflicts: 702000 | #Constraints: 106891 1682.38/1687.64 c #Conflicts: 703000 | #Constraints: 107969 1682.38/1687.64 c #Conflicts: 704000 | #Constraints: 109711 1682.38/1687.64 c INPROCESSING 1682.38/1687.64 c GARBAGE COLLECT 1682.38/1687.64 c rational objective 13.5783 1832.96/1838.63 c #Conflicts: 705000 | #Constraints: 58627 1832.96/1838.63 c #Conflicts: 706000 | #Constraints: 59627 1832.96/1838.63 c #Conflicts: 707000 | #Constraints: 60629 1832.96/1838.63 c #Conflicts: 708000 | #Constraints: 61630 1832.96/1838.63 c #Conflicts: 709000 | #Constraints: 62631 1832.96/1838.63 c #Conflicts: 710000 | #Constraints: 63633 1832.96/1838.63 c #Conflicts: 711000 | #Constraints: 64634 1832.96/1838.63 c #Conflicts: 712000 | #Constraints: 65634 1832.96/1838.63 c #Conflicts: 713000 | #Constraints: 66635 1832.96/1838.63 c #Conflicts: 714000 | #Constraints: 67638 1832.96/1838.63 c #Conflicts: 715000 | #Constraints: 68640 1832.96/1838.63 c #Conflicts: 716000 | #Constraints: 69641 1832.96/1838.63 c #Conflicts: 717000 | #Constraints: 70641 1832.96/1838.63 c #Conflicts: 718000 | #Constraints: 71643 1832.96/1838.63 c #Conflicts: 719000 | #Constraints: 72645 1832.96/1838.63 c #Conflicts: 720000 | #Constraints: 73646 1832.96/1838.63 c #Conflicts: 721000 | #Constraints: 74646 1832.96/1838.63 c #Conflicts: 722000 | #Constraints: 75646 1832.96/1838.63 c INPROCESSING 1832.96/1838.63 c GARBAGE COLLECT 1832.96/1838.63 c rational objective 13.6356 1881.53/1887.39 c #Conflicts: 723000 | #Constraints: 41397 1881.53/1887.39 c #Conflicts: 724000 | #Constraints: 42449 1881.53/1887.39 c #Conflicts: 725000 | #Constraints: 43863 1881.53/1887.39 c #Conflicts: 726000 | #Constraints: 44868 1881.53/1887.39 c #Conflicts: 727000 | #Constraints: 45906 1881.53/1887.39 c #Conflicts: 728000 | #Constraints: 46908 1881.53/1887.39 c #Conflicts: 729000 | #Constraints: 47915 1881.53/1887.39 c #Conflicts: 730000 | #Constraints: 49346 1881.53/1887.39 c #Conflicts: 731000 | #Constraints: 51185 1881.53/1887.39 c #Conflicts: 732000 | #Constraints: 52633 1881.53/1887.39 c #Conflicts: 733000 | #Constraints: 53785 1881.53/1887.39 c #Conflicts: 734000 | #Constraints: 55083 1881.53/1887.39 c #Conflicts: 735000 | #Constraints: 56771 1881.53/1887.39 c #Conflicts: 736000 | #Constraints: 58286 1881.53/1887.39 c #Conflicts: 737000 | #Constraints: 59937 1881.53/1887.39 c #Conflicts: 738000 | #Constraints: 61569 1881.53/1887.39 c #Conflicts: 739000 | #Constraints: 63037 1881.53/1887.39 c #Conflicts: 740000 | #Constraints: 64592 1881.53/1887.39 c #Conflicts: 741000 | #Constraints: 66080 1881.53/1887.39 c INPROCESSING 1881.53/1887.39 c GARBAGE COLLECT 1881.53/1887.39 c rational objective 13.5259 1897.20/1903.09 c #Conflicts: 742000 | #Constraints: 36812 1897.20/1903.09 c #Conflicts: 743000 | #Constraints: 37814 1897.20/1903.09 c #Conflicts: 744000 | #Constraints: 38815 1897.20/1903.09 WSVECS04 Frhs2[12]: 6 0 30.7412 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[38]: 6 0 13.4665 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[40]: 6 0 8.50878 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[51]: 6 0 49.3374 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[55]: 6 0 6.49951 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[67]: 6 0 5.37832 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[69]: 6 0 16.8686 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[93]: 6 0 5.87777 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[99]: 6 0 5.82952 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[136]: 6 0 22.4383 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[143]: 6 0 9.3853 shouldn't be 1897.20/1903.09 WSVECS04 Frhs2[207]: 6 -1.00004 0 shouldn't be 1994.23/2000.38 c #Conflicts: 745000 | #Constraints: 39815 1994.23/2000.38 c #Conflicts: 746000 | #Constraints: 40816 1994.23/2000.38 c #Conflicts: 747000 | #Constraints: 41818 1994.23/2000.38 c #Conflicts: 748000 | #Constraints: 42819 1994.23/2000.38 c #Conflicts: 749000 | #Constraints: 43820 1994.23/2000.38 c #Conflicts: 750000 | #Constraints: 44822 1994.23/2000.38 c #Conflicts: 751000 | #Constraints: 45824 1994.23/2000.38 c #Conflicts: 752000 | #Constraints: 46825 1994.23/2000.38 c #Conflicts: 753000 | #Constraints: 47826 1994.23/2000.38 c #Conflicts: 754000 | #Constraints: 48831 1994.23/2000.38 c #Conflicts: 755000 | #Constraints: 49831 1994.23/2000.38 c #Conflicts: 756000 | #Constraints: 50834 1994.23/2000.38 c #Conflicts: 757000 | #Constraints: 51835 1994.23/2000.38 c #Conflicts: 758000 | #Constraints: 52835 1994.23/2000.38 c #Conflicts: 759000 | #Constraints: 53847 1994.23/2000.38 c INPROCESSING 1994.23/2000.38 c GARBAGE COLLECT 1994.23/2000.38 c rational objective 13.7667 2212.04/2218.71 c #Conflicts: 760000 | #Constraints: 31097 2212.04/2218.71 c #Conflicts: 761000 | #Constraints: 32415 2212.04/2218.71 c #Conflicts: 762000 | #Constraints: 33534 2212.04/2218.71 c #Conflicts: 763000 | #Constraints: 34563 2212.04/2218.71 c #Conflicts: 764000 | #Constraints: 35565 2212.04/2218.71 c #Conflicts: 765000 | #Constraints: 36568 2212.04/2218.71 c #Conflicts: 766000 | #Constraints: 37584 2212.04/2218.71 c #Conflicts: 767000 | #Constraints: 38587 2212.04/2218.71 c #Conflicts: 768000 | #Constraints: 39625 2212.04/2218.71 c #Conflicts: 769000 | #Constraints: 40709 2212.04/2218.71 c #Conflicts: 770000 | #Constraints: 41724 2212.04/2218.71 c #Conflicts: 771000 | #Constraints: 42727 2212.04/2218.71 c #Conflicts: 772000 | #Constraints: 43728 2212.04/2218.71 c #Conflicts: 773000 | #Constraints: 44729 2212.04/2218.71 c #Conflicts: 774000 | #Constraints: 45741 2212.04/2218.71 c #Conflicts: 775000 | #Constraints: 46745 2212.04/2218.71 c #Conflicts: 776000 | #Constraints: 47747 2212.04/2218.71 c #Conflicts: 777000 | #Constraints: 48750 2212.04/2218.71 c #Conflicts: 778000 | #Constraints: 49848 2212.04/2218.71 c #Conflicts: 779000 | #Constraints: 50982 2212.04/2218.71 c #Conflicts: 780000 | #Constraints: 52698 2212.04/2218.71 c #Conflicts: 781000 | #Constraints: 54459 2212.04/2218.71 c #Conflicts: 782000 | #Constraints: 55676 2212.04/2218.71 c #Conflicts: 783000 | #Constraints: 56817 2212.04/2218.71 c #Conflicts: 784000 | #Constraints: 57893 2212.04/2218.71 c #Conflicts: 785000 | #Constraints: 58918 2212.04/2218.71 c #Conflicts: 786000 | #Constraints: 59946 2212.04/2218.71 c #Conflicts: 787000 | #Constraints: 61371 2212.04/2218.71 c #Conflicts: 788000 | #Constraints: 62615 2212.04/2218.71 c #Conflicts: 789000 | #Constraints: 63618 2212.04/2218.71 c #Conflicts: 790000 | #Constraints: 64620 2212.04/2218.71 c #Conflicts: 791000 | #Constraints: 65625 2212.04/2218.71 c #Conflicts: 792000 | #Constraints: 66627 2212.04/2218.71 c #Conflicts: 793000 | #Constraints: 67629 2212.04/2218.71 c #Conflicts: 794000 | #Constraints: 68631 2212.04/2218.71 c #Conflicts: 795000 | #Constraints: 69634 2212.04/2218.71 c #Conflicts: 796000 | #Constraints: 70638 2212.04/2218.71 c #Conflicts: 797000 | #Constraints: 71642 2212.04/2218.71 c #Conflicts: 798000 | #Constraints: 72647 2212.04/2218.71 c #Conflicts: 799000 | #Constraints: 73649 2212.04/2218.71 c #Conflicts: 800000 | #Constraints: 74651 2212.04/2218.71 c #Conflicts: 801000 | #Constraints: 75655 2212.04/2218.71 c #Conflicts: 802000 | #Constraints: 76658 2212.04/2218.71 c #Conflicts: 803000 | #Constraints: 77660 2212.04/2218.71 c #Conflicts: 804000 | #Constraints: 78662 2212.04/2218.71 c #Conflicts: 805000 | #Constraints: 79663 2212.04/2218.71 c #Conflicts: 806000 | #Constraints: 80685 2212.04/2218.71 c #Conflicts: 807000 | #Constraints: 81703 2212.04/2218.71 c #Conflicts: 808000 | #Constraints: 82709 2212.04/2218.71 c #Conflicts: 809000 | #Constraints: 83715 2212.04/2218.71 c #Conflicts: 810000 | #Constraints: 84737 2212.04/2218.71 c #Conflicts: 811000 | #Constraints: 85741 2212.04/2218.71 c #Conflicts: 812000 | #Constraints: 86743 2212.04/2218.71 c #Conflicts: 813000 | #Constraints: 87745 2212.04/2218.71 c #Conflicts: 814000 | #Constraints: 88750 2212.04/2218.71 c #Conflicts: 815000 | #Constraints: 89753 2212.04/2218.71 c #Conflicts: 816000 | #Constraints: 90762 2212.04/2218.71 c #Conflicts: 817000 | #Constraints: 91765 2212.04/2218.71 c #Conflicts: 818000 | #Constraints: 92769 2212.04/2218.71 c #Conflicts: 819000 | #Constraints: 93779 2212.04/2218.71 c #Conflicts: 820000 | #Constraints: 94780 2212.04/2218.71 c #Conflicts: 821000 | #Constraints: 95782 2212.04/2218.71 c #Conflicts: 822000 | #Constraints: 96784 2212.04/2218.71 c #Conflicts: 823000 | #Constraints: 97787 2212.04/2218.71 c #Conflicts: 824000 | #Constraints: 98797 2212.04/2218.71 c #Conflicts: 825000 | #Constraints: 100003 2212.04/2218.71 WSVECS04 Frhs2[189]: 6 0 18.6037 shouldn't be 2249.34/2256.17 c #Conflicts: 826000 | #Constraints: 101467 2249.34/2256.17 c #Conflicts: 827000 | #Constraints: 102468 2249.34/2256.17 c #Conflicts: 828000 | #Constraints: 103514 2249.34/2256.17 c #Conflicts: 829000 | #Constraints: 104603 2249.34/2256.17 c #Conflicts: 830000 | #Constraints: 105898 2249.34/2256.17 c #Conflicts: 831000 | #Constraints: 107546 2249.34/2256.17 c INPROCESSING 2249.34/2256.17 c GARBAGE COLLECT 2249.34/2256.17 c rational objective 13.641 2310.46/2317.40 c #Conflicts: 832000 | #Constraints: 57447 2310.46/2317.40 c #Conflicts: 833000 | #Constraints: 58449 2310.46/2317.40 c #Conflicts: 834000 | #Constraints: 59450 2310.46/2317.40 c #Conflicts: 835000 | #Constraints: 60451 2310.46/2317.40 c #Conflicts: 836000 | #Constraints: 61451 2310.46/2317.40 c #Conflicts: 837000 | #Constraints: 62451 2310.46/2317.40 c #Conflicts: 838000 | #Constraints: 63452 2310.46/2317.40 c #Conflicts: 839000 | #Constraints: 64454 2310.46/2317.40 WSVECS04 Frhs2[76]: 6 0 76.2291 shouldn't be 2310.46/2317.40 WSVECS04 Frhs2[109]: 6 0 122.853 shouldn't be 2310.46/2317.40 WSVECS04 Frhs2[152]: 6 -147.347 0 shouldn't be 2310.46/2317.40 WSVECS04 Frhs2[166]: 6 0 24.2928 shouldn't be 2310.46/2317.40 WSVECS04 Frhs2[172]: 6 0 194.659 shouldn't be 2432.22/2439.59 c #Conflicts: 840000 | #Constraints: 65455 2432.22/2439.59 c #Conflicts: 841000 | #Constraints: 66456 2432.22/2439.59 c #Conflicts: 842000 | #Constraints: 67456 2432.22/2439.59 c #Conflicts: 843000 | #Constraints: 68457 2432.22/2439.59 c #Conflicts: 844000 | #Constraints: 69457 2432.22/2439.59 c #Conflicts: 845000 | #Constraints: 70459 2432.22/2439.59 c #Conflicts: 846000 | #Constraints: 71459 2432.22/2439.59 c #Conflicts: 847000 | #Constraints: 72459 2432.22/2439.59 c #Conflicts: 848000 | #Constraints: 73460 2432.22/2439.59 c #Conflicts: 849000 | #Constraints: 74460 2432.22/2439.59 c #Conflicts: 850000 | #Constraints: 75460 2432.22/2439.59 c #Conflicts: 851000 | #Constraints: 76461 2432.22/2439.59 c #Conflicts: 852000 | #Constraints: 77461 2432.22/2439.59 c INPROCESSING 2432.22/2439.59 c GARBAGE COLLECT 2432.22/2439.59 c rational objective 13.7547 2479.50/2486.95 c #Conflicts: 853000 | #Constraints: 42505 2479.50/2486.95 c #Conflicts: 854000 | #Constraints: 43509 2479.50/2486.95 c #Conflicts: 855000 | #Constraints: 44510 2479.50/2486.95 c #Conflicts: 856000 | #Constraints: 45511 2479.50/2486.95 c #Conflicts: 857000 | #Constraints: 46513 2479.50/2486.95 c #Conflicts: 858000 | #Constraints: 47532 2479.50/2486.95 c #Conflicts: 859000 | #Constraints: 48534 2479.50/2486.95 c #Conflicts: 860000 | #Constraints: 49537 2479.50/2486.95 c #Conflicts: 861000 | #Constraints: 50541 2479.50/2486.95 c #Conflicts: 862000 | #Constraints: 51543 2479.50/2486.95 c #Conflicts: 863000 | #Constraints: 52599 2479.50/2486.95 c #Conflicts: 864000 | #Constraints: 53602 2479.50/2486.95 c #Conflicts: 865000 | #Constraints: 54621 2479.50/2486.95 c #Conflicts: 866000 | #Constraints: 55624 2479.50/2486.95 c #Conflicts: 867000 | #Constraints: 56627 2479.50/2486.95 c #Conflicts: 868000 | #Constraints: 57631 2479.50/2486.95 c #Conflicts: 869000 | #Constraints: 58632 2479.50/2486.95 c #Conflicts: 870000 | #Constraints: 59633 2479.50/2486.95 c #Conflicts: 871000 | #Constraints: 60635 2479.50/2486.95 c #Conflicts: 872000 | #Constraints: 61637 2479.50/2486.95 c INPROCESSING 2479.50/2486.95 c GARBAGE COLLECT 2479.50/2486.95 c rational objective 13.7547 2608.95/2616.74 c #Conflicts: 873000 | #Constraints: 34444 2608.95/2616.74 c #Conflicts: 874000 | #Constraints: 35444 2608.95/2616.74 c #Conflicts: 875000 | #Constraints: 36444 2608.95/2616.74 c #Conflicts: 876000 | #Constraints: 37445 2608.95/2616.74 c #Conflicts: 877000 | #Constraints: 38446 2608.95/2616.74 c #Conflicts: 878000 | #Constraints: 39446 2608.95/2616.74 c #Conflicts: 879000 | #Constraints: 40447 2608.95/2616.74 c #Conflicts: 880000 | #Constraints: 41449 2608.95/2616.74 c #Conflicts: 881000 | #Constraints: 42449 2608.95/2616.74 c #Conflicts: 882000 | #Constraints: 43450 2608.95/2616.74 c #Conflicts: 883000 | #Constraints: 44451 2608.95/2616.74 c #Conflicts: 884000 | #Constraints: 45452 2608.95/2616.74 c #Conflicts: 885000 | #Constraints: 46452 2608.95/2616.74 c #Conflicts: 886000 | #Constraints: 47454 2608.95/2616.74 c #Conflicts: 887000 | #Constraints: 48455 2608.95/2616.74 c #Conflicts: 888000 | #Constraints: 49456 2608.95/2616.74 c #Conflicts: 889000 | #Constraints: 50456 2608.95/2616.74 c #Conflicts: 890000 | #Constraints: 51457 2608.95/2616.74 c #Conflicts: 891000 | #Constraints: 52459 2608.95/2616.74 c #Conflicts: 892000 | #Constraints: 53460 2608.95/2616.74 c INPROCESSING 2608.95/2616.74 c GARBAGE COLLECT 2608.95/2616.74 c rational objective 13.7547 2885.81/2894.36 c #Conflicts: 893000 | #Constraints: 35209 2885.81/2894.36 c #Conflicts: 894000 | #Constraints: 36211 2885.81/2894.36 c #Conflicts: 895000 | #Constraints: 37216 2885.81/2894.36 c #Conflicts: 896000 | #Constraints: 38218 2885.81/2894.36 c #Conflicts: 897000 | #Constraints: 39220 2885.81/2894.36 c #Conflicts: 898000 | #Constraints: 40222 2885.81/2894.36 c #Conflicts: 899000 | #Constraints: 41225 2885.81/2894.36 c #Conflicts: 900000 | #Constraints: 42231 2885.81/2894.36 c #Conflicts: 901000 | #Constraints: 43238 2885.81/2894.36 c #Conflicts: 902000 | #Constraints: 44244 2885.81/2894.36 c #Conflicts: 903000 | #Constraints: 45247 2885.81/2894.36 c #Conflicts: 904000 | #Constraints: 46253 2885.81/2894.36 c #Conflicts: 905000 | #Constraints: 47255 2885.81/2894.36 c #Conflicts: 906000 | #Constraints: 48273 2885.81/2894.36 c #Conflicts: 907000 | #Constraints: 49294 2885.81/2894.36 c #Conflicts: 908000 | #Constraints: 50363 2885.81/2894.36 c #Conflicts: 909000 | #Constraints: 51853 2885.81/2894.36 c #Conflicts: 910000 | #Constraints: 53098 2885.81/2894.36 c #Conflicts: 911000 | #Constraints: 54101 2885.81/2894.36 c #Conflicts: 912000 | #Constraints: 55196 2885.81/2894.36 c #Conflicts: 913000 | #Constraints: 56200 2885.81/2894.36 c #Conflicts: 914000 | #Constraints: 57203 2885.81/2894.36 c #Conflicts: 915000 | #Constraints: 58205 2885.81/2894.36 c #Conflicts: 916000 | #Constraints: 59207 2885.81/2894.36 c #Conflicts: 917000 | #Constraints: 60208 2885.81/2894.36 c #Conflicts: 918000 | #Constraints: 61210 2885.81/2894.36 c #Conflicts: 919000 | #Constraints: 62212 2885.81/2894.36 c #Conflicts: 920000 | #Constraints: 63215 2885.81/2894.36 c #Conflicts: 921000 | #Constraints: 64225 2885.81/2894.36 c #Conflicts: 922000 | #Constraints: 65227 2885.81/2894.36 c #Conflicts: 923000 | #Constraints: 66230 2885.81/2894.36 c #Conflicts: 924000 | #Constraints: 67232 2885.81/2894.36 c #Conflicts: 925000 | #Constraints: 68234 2885.81/2894.36 c #Conflicts: 926000 | #Constraints: 69243 2885.81/2894.36 c #Conflicts: 927000 | #Constraints: 70251 2885.81/2894.36 c #Conflicts: 928000 | #Constraints: 71444 2885.81/2894.36 c #Conflicts: 929000 | #Constraints: 72898 2885.81/2894.36 c #Conflicts: 930000 | #Constraints: 73900 2885.81/2894.36 c #Conflicts: 931000 | #Constraints: 74903 2885.81/2894.36 c #Conflicts: 932000 | #Constraints: 75908 2885.81/2894.36 c #Conflicts: 933000 | #Constraints: 77302 2885.81/2894.36 c #Conflicts: 934000 | #Constraints: 78329 2885.81/2894.36 c #Conflicts: 935000 | #Constraints: 79370 2885.81/2894.36 c #Conflicts: 936000 | #Constraints: 80380 2885.81/2894.36 c #Conflicts: 937000 | #Constraints: 81390 2885.81/2894.36 c #Conflicts: 938000 | #Constraints: 82391 2885.81/2894.36 c #Conflicts: 939000 | #Constraints: 83397 2885.81/2894.36 c #Conflicts: 940000 | #Constraints: 84403 2885.81/2894.36 c #Conflicts: 941000 | #Constraints: 85414 2885.81/2894.36 c #Conflicts: 942000 | #Constraints: 86442 2885.81/2894.36 c #Conflicts: 943000 | #Constraints: 87448 2885.81/2894.36 c #Conflicts: 944000 | #Constraints: 88450 2885.81/2894.36 c #Conflicts: 945000 | #Constraints: 89454 2885.81/2894.36 c #Conflicts: 946000 | #Constraints: 90458 2885.81/2894.36 c #Conflicts: 947000 | #Constraints: 91465 2885.81/2894.36 c #Conflicts: 948000 | #Constraints: 92471 2885.81/2894.36 c #Conflicts: 949000 | #Constraints: 93475 2885.81/2894.36 c #Conflicts: 950000 | #Constraints: 94485 2885.81/2894.36 c #Conflicts: 951000 | #Constraints: 95489 2885.81/2894.36 c #Conflicts: 952000 | #Constraints: 96496 2885.81/2894.36 c #Conflicts: 953000 | #Constraints: 97501 2885.81/2894.36 c #Conflicts: 954000 | #Constraints: 98510 2885.81/2894.36 c #Conflicts: 955000 | #Constraints: 99516 2885.81/2894.36 c #Conflicts: 956000 | #Constraints: 100524 2885.81/2894.36 c #Conflicts: 957000 | #Constraints: 101528 2885.81/2894.36 c #Conflicts: 958000 | #Constraints: 102534 2885.81/2894.36 c #Conflicts: 959000 | #Constraints: 103543 2885.81/2894.36 c #Conflicts: 960000 | #Constraints: 104549 2885.81/2894.36 c #Conflicts: 961000 | #Constraints: 105552 2885.81/2894.36 c #Conflicts: 962000 | #Constraints: 106560 2885.81/2894.36 c #Conflicts: 963000 | #Constraints: 107566 2885.81/2894.36 c #Conflicts: 964000 | #Constraints: 108571 2885.81/2894.36 c #Conflicts: 965000 | #Constraints: 109575 2885.81/2894.36 c #Conflicts: 966000 | #Constraints: 110585 2885.81/2894.36 c #Conflicts: 967000 | #Constraints: 111593 2885.81/2894.36 c #Conflicts: 968000 | #Constraints: 112601 2885.81/2894.36 c #Conflicts: 969000 | #Constraints: 113605 2885.81/2894.36 c #Conflicts: 970000 | #Constraints: 114610 2885.81/2894.36 c INPROCESSING 2885.81/2894.36 c GARBAGE COLLECT 2885.81/2894.36 c rational objective 13.5056 2899.17/2907.78 c #Conflicts: 971000 | #Constraints: 60978 2899.17/2907.78 WSVECS04 Frhs2[7]: 6 -1.00005 0 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[11]: 6 -261.653 0 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[53]: 6 -1.00004 0 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[112]: 6 0 634.14 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[130]: 6 0 657.835 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[151]: 6 -17.9731 0 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[155]: 6 0 438.685 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[157]: 6 -1.00006 0 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[161]: 6 0 38.7584 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[171]: 6 0 722.153 shouldn't be 2899.17/2907.78 WSVECS04 Frhs2[172]: 6 0 243.685 shouldn't be 2994.01/3002.82 c #Conflicts: 972000 | #Constraints: 61979 2994.01/3002.82 c #Conflicts: 973000 | #Constraints: 62980 2994.01/3002.82 c #Conflicts: 974000 | #Constraints: 63981 2994.01/3002.82 c #Conflicts: 975000 | #Constraints: 64982 2994.01/3002.82 c #Conflicts: 976000 | #Constraints: 65983 2994.01/3002.82 c #Conflicts: 977000 | #Constraints: 66986 2994.01/3002.82 c #Conflicts: 978000 | #Constraints: 67988 2994.01/3002.82 c #Conflicts: 979000 | #Constraints: 68990 2994.01/3002.82 c #Conflicts: 980000 | #Constraints: 69991 2994.01/3002.82 c #Conflicts: 981000 | #Constraints: 70993 2994.01/3002.82 WSVECS04 Frhs2[100]: 6 0 384.368 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[130]: 6 0 1003.01 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[135]: 6 0 458.485 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[142]: 6 0 323.727 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[151]: 6 -3.22322 0 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[154]: 6 0 357.399 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[158]: 6 0 774.546 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[159]: 6 0 219.556 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[175]: 6 0 689.506 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[176]: 6 0 630.618 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[188]: 6 0 678.066 shouldn't be 2994.01/3002.82 WSVECS04 Frhs2[193]: 6 0 8.42926 shouldn't be 3104.49/3113.62 c #Conflicts: 982000 | #Constraints: 71994 3104.49/3113.62 c #Conflicts: 983000 | #Constraints: 72997 3104.49/3113.62 c #Conflicts: 984000 | #Constraints: 73998 3104.49/3113.62 c #Conflicts: 985000 | #Constraints: 75000 3104.49/3113.62 c #Conflicts: 986000 | #Constraints: 76002 3104.49/3113.62 c #Conflicts: 987000 | #Constraints: 77003 3104.49/3113.62 c #Conflicts: 988000 | #Constraints: 78005 3104.49/3113.62 c #Conflicts: 989000 | #Constraints: 79005 3104.49/3113.62 c #Conflicts: 990000 | #Constraints: 80007 3104.49/3113.62 c #Conflicts: 991000 | #Constraints: 81008 3104.49/3113.62 c #Conflicts: 992000 | #Constraints: 82009 3104.49/3113.62 c INPROCESSING 3104.49/3113.62 c GARBAGE COLLECT 3104.49/3113.62 c rational objective 13.5071 3187.47/3196.83 c #Conflicts: 993000 | #Constraints: 44878 3187.47/3196.83 c #Conflicts: 994000 | #Constraints: 46354 3187.47/3196.83 c #Conflicts: 995000 | #Constraints: 47417 3187.47/3196.83 c #Conflicts: 996000 | #Constraints: 49027 3187.47/3196.83 c #Conflicts: 997000 | #Constraints: 50081 3187.47/3196.83 c #Conflicts: 998000 | #Constraints: 51818 3187.47/3196.83 c #Conflicts: 999000 | #Constraints: 53610 3187.47/3196.83 c #Conflicts: 1000000 | #Constraints: 55404 3187.47/3196.83 c #Conflicts: 1001000 | #Constraints: 57182 3187.47/3196.83 c #Conflicts: 1002000 | #Constraints: 58681 3187.47/3196.83 c #Conflicts: 1003000 | #Constraints: 59693 3187.47/3196.83 c #Conflicts: 1004000 | #Constraints: 60766 3187.47/3196.83 c #Conflicts: 1005000 | #Constraints: 61874 3187.47/3196.83 c #Conflicts: 1006000 | #Constraints: 63655 3187.47/3196.83 c #Conflicts: 1007000 | #Constraints: 65020 3187.47/3196.83 c #Conflicts: 1008000 | #Constraints: 66598 3187.47/3196.83 c #Conflicts: 1009000 | #Constraints: 68190 3187.47/3196.83 c #Conflicts: 1010000 | #Constraints: 69743 3187.47/3196.83 c #Conflicts: 1011000 | #Constraints: 71507 3187.47/3196.83 c #Conflicts: 1012000 | #Constraints: 73235 3187.47/3196.83 c #Conflicts: 1013000 | #Constraints: 74657 3187.47/3196.83 c #Conflicts: 1014000 | #Constraints: 76230 3187.47/3196.83 c INPROCESSING 3187.47/3196.83 c GARBAGE COLLECT 3187.47/3196.83 c rational objective 13.523 3360.70/3370.50 c #Conflicts: 1015000 | #Constraints: 41884 3360.70/3370.50 c #Conflicts: 1016000 | #Constraints: 42886 3360.70/3370.50 c #Conflicts: 1017000 | #Constraints: 43886 3360.70/3370.50 c #Conflicts: 1018000 | #Constraints: 44889 3360.70/3370.50 c #Conflicts: 1019000 | #Constraints: 45890 3360.70/3370.50 c #Conflicts: 1020000 | #Constraints: 46892 3360.70/3370.50 c #Conflicts: 1021000 | #Constraints: 47893 3360.70/3370.50 c #Conflicts: 1022000 | #Constraints: 48893 3360.70/3370.50 c #Conflicts: 1023000 | #Constraints: 49893 3360.70/3370.50 c #Conflicts: 1024000 | #Constraints: 50895 3360.70/3370.50 c #Conflicts: 1025000 | #Constraints: 51896 3360.70/3370.50 c #Conflicts: 1026000 | #Constraints: 52897 3360.70/3370.50 c #Conflicts: 1027000 | #Constraints: 53898 3360.70/3370.50 c #Conflicts: 1028000 | #Constraints: 54900 3360.70/3370.50 c #Conflicts: 1029000 | #Constraints: 55900 3360.70/3370.50 c #Conflicts: 1030000 | #Constraints: 56902 3360.70/3370.50 c #Conflicts: 1031000 | #Constraints: 57903 3360.70/3370.50 c #Conflicts: 1032000 | #Constraints: 58905 3360.70/3370.50 c #Conflicts: 1033000 | #Constraints: 59906 3360.70/3370.50 c #Conflicts: 1034000 | #Constraints: 60907 3360.70/3370.50 c #Conflicts: 1035000 | #Constraints: 61909 3360.70/3370.50 c #Conflicts: 1036000 | #Constraints: 62911 3360.70/3370.50 c INPROCESSING 3360.70/3370.50 c GARBAGE COLLECT 3360.70/3370.50 c rational objective 13.6167 3600.05/3610.50 c 3600.05/3610.50 s SATISFIABLE 3600.05/3610.50 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 3600.05/3610.50 c #Conflicts: 1037000 | #Constraints: 40744 3600.05/3610.50 c #Conflicts: 1038000 | #Constraints: 41750 3600.05/3610.50 c #Conflicts: 1039000 | #Constraints: 42753 3600.05/3610.50 c #Conflicts: 1040000 | #Constraints: 43764 3600.05/3610.50 c #Conflicts: 1041000 | #Constraints: 44847 3600.05/3610.50 c #Conflicts: 1042000 | #Constraints: 46013 3600.05/3610.50 c #Conflicts: 1043000 | #Constraints: 47033 3600.05/3610.50 c #Conflicts: 1044000 | #Constraints: 48098 3600.05/3610.50 c #Conflicts: 1045000 | #Constraints: 49345 3600.05/3610.50 c #Conflicts: 1046000 | #Constraints: 50457 3600.05/3610.50 c #Conflicts: 1047000 | #Constraints: 51479 3600.05/3610.50 c #Conflicts: 1048000 | #Constraints: 52502 3600.05/3610.50 c #Conflicts: 1049000 | #Constraints: 53505 3600.05/3610.50 c #Conflicts: 1050000 | #Constraints: 54514 3600.05/3610.50 c #Conflicts: 1051000 | #Constraints: 55527 3600.05/3610.50 c #Conflicts: 1052000 | #Constraints: 56628 3600.05/3610.50 c #Conflicts: 1053000 | #Constraints: 57792 3600.05/3610.50 c #Conflicts: 1054000 | #Constraints: 58866 3600.05/3610.50 c #Conflicts: 1055000 | #Constraints: 60033 3600.05/3610.50 c #Conflicts: 1056000 | #Constraints: 61096 3600.05/3610.50 c #Conflicts: 1057000 | #Constraints: 62127 3600.05/3610.50 c #Conflicts: 1058000 | #Constraints: 63143 3600.05/3610.50 c #Conflicts: 1059000 | #Constraints: 64280 3600.05/3610.50 c #Conflicts: 1060000 | #Constraints: 65750 3600.05/3610.50 c #Conflicts: 1061000 | #Constraints: 67128 3600.05/3610.50 c #Conflicts: 1062000 | #Constraints: 68133 3600.05/3610.50 c #Conflicts: 1063000 | #Constraints: 69133 3600.05/3610.50 c #Conflicts: 1064000 | #Constraints: 70288 3600.05/3610.50 c #Conflicts: 1065000 | #Constraints: 71303 3600.05/3610.50 c #Conflicts: 1066000 | #Constraints: 72317 3600.05/3610.50 c #Conflicts: 1067000 | #Constraints: 73319 3600.05/3610.50 c #Conflicts: 1068000 | #Constraints: 74395 3600.05/3610.50 c #Conflicts: 1069000 | #Constraints: 75406 3600.05/3610.50 c #Conflicts: 1070000 | #Constraints: 76480 3600.05/3610.50 c #Conflicts: 1071000 | #Constraints: 77564 3600.05/3610.50 c #Conflicts: 1072000 | #Constraints: 78571 3600.05/3610.50 c #Conflicts: 1073000 | #Constraints: 79595 3600.05/3610.50 c #Conflicts: 1074000 | #Constraints: 80608 3600.05/3610.50 c #Conflicts: 1075000 | #Constraints: 81705 3600.05/3610.50 c #Conflicts: 1076000 | #Constraints: 82733 3600.05/3610.50 c #Conflicts: 1077000 | #Constraints: 83879 3600.05/3610.50 c #Conflicts: 1078000 | #Constraints: 84925 3600.05/3610.50 c #Conflicts: 1079000 | #Constraints: 85945 3600.05/3610.50 c #Conflicts: 1080000 | #Constraints: 86955 3600.05/3610.50 c #Conflicts: 1081000 | #Constraints: 87960 3600.05/3610.50 c #Conflicts: 1082000 | #Constraints: 88962 3600.05/3610.50 c #Conflicts: 1083000 | #Constraints: 90325 3600.05/3610.50 c #Conflicts: 1084000 | #Constraints: 91733 3600.05/3610.50 c #Conflicts: 1085000 | #Constraints: 92771 3600.05/3610.50 c #Conflicts: 1086000 | #Constraints: 93815 3600.05/3610.50 c #Conflicts: 1087000 | #Constraints: 94840 3600.05/3610.50 c #Conflicts: 1088000 | #Constraints: 96169 3600.05/3610.50 c #Conflicts: 1089000 | #Constraints: 97770 3600.05/3610.50 c #Conflicts: 1090000 | #Constraints: 98854 3600.05/3610.50 c #Conflicts: 1091000 | #Constraints: 99901 3600.05/3610.50 c #Conflicts: 1092000 | #Constraints: 101121 3600.05/3610.50 c #Conflicts: 1093000 | #Constraints: 102386 3600.05/3610.50 c #Conflicts: 1094000 | #Constraints: 103455 3600.05/3610.50 c #Conflicts: 1095000 | #Constraints: 104529 3600.05/3610.50 c #Conflicts: 1096000 | #Constraints: 105539 3600.05/3610.50 c #Conflicts: 1097000 | #Constraints: 106546 3600.05/3610.50 c #Conflicts: 1098000 | #Constraints: 107717
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 (58595 MiB free)
memory of node 1: 64510 MiB (62164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459188-1721874829/watcher-4459188-1721874829 -o /tmp/evaluation-result-4459188-1721874829/solver-4459188-1721874829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210795 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4459188-1721874829.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=218098, runsolver pid=218095
[startup+0.100935 s]*
/proc/loadavg: 4.13 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123651368/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=42240 memory=12452 CPUtime=0.09 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 2535 0 0 0 9 0 0 0 20 0 1 0 24012188 43253760 3113 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 10560 3113 1648 922 0 2512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42240 KiB
Current children cumulated memory: 12452 KiB
[startup+0.205848 s]*
/proc/loadavg: 4.13 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123651352/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=42240 memory=12452 CPUtime=0.19 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 2535 0 0 0 19 0 0 0 20 0 1 0 24012188 43253760 3113 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 10560 3113 1648 922 0 2512 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42240 KiB
Current children cumulated memory: 12452 KiB
[startup+0.305642 s]*
/proc/loadavg: 4.13 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123647672/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=44104 memory=16916 CPUtime=0.29 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 3216 0 0 0 28 1 0 0 20 0 1 0 24012188 45162496 4229 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 11026 4229 1855 922 0 2978 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44104 KiB
Current children cumulated memory: 16916 KiB
[startup+0.700218 s]
/proc/loadavg: 4.13 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123646664/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=46820 memory=19616 CPUtime=0.68 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 3837 0 0 0 65 3 0 0 20 0 1 0 24012188 47943680 4904 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 11705 4904 1871 922 0 3657 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46820 KiB
Current children cumulated memory: 19616 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123644240/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=47172 memory=19880 CPUtime=1.48 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 3941 0 0 0 141 7 0 0 20 0 1 0 24012188 48304128 4970 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 11793 4970 1871 922 0 3745 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47172 KiB
Current children cumulated memory: 19880 KiB
[startup+3.10565 s]
/proc/loadavg: 4.12 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123642044/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=47896 memory=22780 CPUtime=3.09 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 4610 0 0 0 296 13 0 0 20 0 1 0 24012188 49045504 5695 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 11974 5695 1871 922 0 3926 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47896 KiB
Current children cumulated memory: 22780 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.16 4.11 5/262 218099
/proc/meminfo: memFree=123636504/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=54020 memory=27756 CPUtime=6.26 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 5358 0 0 0 606 20 0 0 20 0 1 0 24012188 55316480 6939 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 13505 6939 1871 922 0 5457 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54020 KiB
Current children cumulated memory: 27756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.17 4.12 5/261 218100
/proc/meminfo: memFree=123609952/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=55268 memory=29332 CPUtime=12.64 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 5757 0 0 0 1227 37 0 0 20 0 1 0 24012188 56594432 7333 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 13817 7333 1871 922 0 5769 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 55268 KiB
Current children cumulated memory: 29332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.18 4.12 5/261 218102
/proc/meminfo: memFree=123602636/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=64100 memory=36084 CPUtime=25.4 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 6950 0 0 0 2473 67 0 0 20 0 1 0 24012188 65638400 9021 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 16025 9021 1871 922 0 7977 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 64100 KiB
Current children cumulated memory: 36084 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.17 4.11 5/261 218107
/proc/meminfo: memFree=123574180/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=75360 memory=44732 CPUtime=50.92 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 9802 0 0 0 4966 126 0 0 20 0 1 0 24012188 77168640 11183 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 18840 11183 1871 922 0 10792 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 75360 KiB
Current children cumulated memory: 44732 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/261 218116
/proc/meminfo: memFree=123380248/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=97820 memory=59488 CPUtime=101.94 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 12442 0 0 0 9971 223 0 0 20 0 1 0 24012188 100167680 14872 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 24455 14872 1871 922 0 16407 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 97820 KiB
Current children cumulated memory: 59488 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/258 218127
/proc/meminfo: memFree=123339380/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=99696 memory=61476 CPUtime=161.73 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 13321 0 0 0 15847 326 0 0 20 0 1 0 24012188 102088704 15369 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 24924 15369 1871 922 0 16876 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 99696 KiB
Current children cumulated memory: 61476 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/258 218137
/proc/meminfo: memFree=123252620/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=150760 memory=116848 CPUtime=221.53 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 21006 0 0 0 21748 405 0 0 20 0 1 0 24012188 154378240 29212 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 37690 29212 1871 922 0 29642 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 150760 KiB
Current children cumulated memory: 116848 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 218148
/proc/meminfo: memFree=123205312/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=170304 memory=133388 CPUtime=281.33 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 24695 0 0 0 27669 464 0 0 20 0 1 0 24012188 174391296 33347 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 42576 33347 1871 922 0 34528 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 170304 KiB
Current children cumulated memory: 133388 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 218159
/proc/meminfo: memFree=123161528/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=180828 memory=144404 CPUtime=341.13 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 27329 0 0 0 33570 543 0 0 20 0 1 0 24012188 185167872 36101 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 45207 36101 1999 922 0 37159 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 180828 KiB
Current children cumulated memory: 144404 KiB
[startup+402.3 s]
/proc/loadavg: 3.82 4.05 4.07 4/253 218206
/proc/meminfo: memFree=127001848/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=242956 memory=179956 CPUtime=400.91 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 34571 0 0 0 39499 592 0 0 20 0 1 0 24012188 248786944 44989 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 60739 44989 1999 922 0 52691 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 242956 KiB
Current children cumulated memory: 179956 KiB
[startup+462.3 s]
/proc/loadavg: 3.36 3.87 4.01 4/252 218217
/proc/meminfo: memFree=126962796/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=243640 memory=191128 CPUtime=460.71 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 34666 0 0 0 45429 642 0 0 20 0 1 0 24012188 249487360 47782 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 60910 47782 1999 922 0 52862 0
################
# More data... #
################
Current children cumulated memory: 315848 KiB
[startup+2922.3 s]
/proc/loadavg: 1.10 1.11 1.45 2/237 219303
/proc/meminfo: memFree=127425036/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=318248 CPUtime=2913.73 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 52511 0 0 0 289526 1847 0 0 20 0 1 0 24012188 375492608 79562 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79562 1999 922 0 83625 0
Current children cumulated CPU time: 2913.73 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 318248 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.10 1.42 2/237 219315
/proc/meminfo: memFree=127423364/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319500 CPUtime=2973.56 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 52634 0 0 0 295492 1864 0 0 20 0 1 0 24012188 375492608 79875 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79875 1999 922 0 83625 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319500 KiB
[startup+3042.3 s]
/proc/loadavg: 1.08 1.10 1.40 2/237 219325
/proc/meminfo: memFree=127422568/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319500 CPUtime=3033.4 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 52762 0 0 0 301461 1879 0 0 20 0 1 0 24012188 375492608 79875 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79875 1999 922 0 83625 0
Current children cumulated CPU time: 3033.4 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319500 KiB
[startup+3102.3 s]
/proc/loadavg: 1.07 1.09 1.38 2/236 219723
/proc/meminfo: memFree=127521140/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3093.22 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 52925 0 0 0 307431 1891 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3162.3 s]
/proc/loadavg: 1.13 1.10 1.36 2/236 219734
/proc/meminfo: memFree=127520908/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3153.06 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53050 0 0 0 313383 1923 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3222.3 s]
/proc/loadavg: 1.05 1.08 1.34 2/236 219744
/proc/meminfo: memFree=127520064/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3212.9 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53182 0 0 0 319339 1951 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3282.3 s]
/proc/loadavg: 1.18 1.11 1.33 2/238 219927
/proc/meminfo: memFree=127518868/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3272.74 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53298 0 0 0 325302 1972 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 1.10 1.31 2/238 219937
/proc/meminfo: memFree=127518312/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3332.58 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53417 0 0 0 331265 1993 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 1.10 1.30 2/240 220008
/proc/meminfo: memFree=127517032/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3392.42 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53540 0 0 0 337221 2021 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.09 1.28 2/240 220020
/proc/meminfo: memFree=127516756/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3452.25 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53669 0 0 0 343178 2047 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.09 1.27 2/240 220030
/proc/meminfo: memFree=127515888/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=366692 memory=319632 CPUtime=3512.09 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 53808 0 0 0 349140 2069 0 0 20 0 1 0 24012188 375492608 79908 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91673 79908 1999 922 0 83625 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 319632 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.10 1.26 2/239 220042
/proc/meminfo: memFree=127514884/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=367736 memory=320112 CPUtime=3571.93 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 54121 0 0 0 355100 2093 0 0 20 0 1 0 24012188 376561664 80028 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 91934 80028 1999 922 0 83886 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 367736 KiB
Current children cumulated memory: 320112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 1.15 1.11 1.26 2/239 220046
/proc/meminfo: memFree=127513944/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=370052 memory=321200 CPUtime=3600.05 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 54508 0 0 0 357904 2101 0 0 20 0 1 0 24012188 378933248 80300 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 92513 80300 1999 922 0 84465 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 370052 KiB
Current children cumulated memory: 321200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 218098 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3579.05 s, system=21.0191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 1.15 1.11 1.26 2/239 220046
/proc/meminfo: memFree=127513944/131524600 swapFree=131053920/131071996
[pid=218098] ppid=218095 vsize=370052 memory=321200 CPUtime=3600.05 cores=0,2
/proc/218098/stat : 218098 (roundingsat) R 218095 218098 210785 0 -1 4194304 54508 0 0 0 357904 2101 0 0 20 0 1 0 24012188 378933248 80300 134679101440 4194304 7968869 140736794648032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34332672 140736794653630 140736794653794 140736794653794 140736794660809 0
/proc/218098/statm: 92513 80300 1999 922 0 84465 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 370052 KiB
Current children cumulated memory: 321200 KiB
Child status: 1
Real time (s): 3610.5
CPU time (s): 3600.06
CPU user time (s): 3579.05
CPU system time (s): 21.0191
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 370052
Max. memory (cumulated for all children) (KiB): 321200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.05
system time used= 21.0191
maximum resident set size= 321200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54519
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= 50
involuntary context switches= 24710
# summary of solver processes directly reported to runsolver:
# pid: 218098
# total CPU time (s): 3600.06
# total CPU user time (s): 3579.05
# total CPU system time (s): 21.0191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43612 second user time and 15.5259 second system time
The end
Begin job on nodeC023 at 2024-07-25 04:33:49 IDJOB=4459188 IDBENCH=178614 IDSOLVER=3051 FILE ID=nodeC023/4459188-1721874829 RUNJOBID= nodeC023-1721865102-210795 SLURM_JOB_ID= 8089171 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-4459188-1721874829/watcher-4459188-1721874829 -o /tmp/evaluation-result-4459188-1721874829/solver-4459188-1721874829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210795 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4459188-1721874829.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f RANDOM SEED=410760583 nodeC023.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 : 3651.115 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.85 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 : 3688.333 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 : 7007.10 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 : 3603.549 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.85 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.201 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 : 7007.10 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 : 3683.595 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.85 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 : 3688.351 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 : 7007.10 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 : 3651.382 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.85 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.172 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 : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123658424 kB MemAvailable: 125705884 kB Buffers: 279580 kB Cached: 2581796 kB SwapCached: 208 kB Active: 1606436 kB Inactive: 5621328 kB Active(anon): 2432 kB Inactive(anon): 4416136 kB Active(file): 1604004 kB Inactive(file): 1205192 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 5736 kB Writeback: 0 kB AnonPages: 4360568 kB Mapped: 103088 kB Shmem: 52148 kB KReclaimable: 155824 kB Slab: 272736 kB SReclaimable: 155824 kB SUnreclaim: 116912 kB KernelStack: 4208 kB PageTables: 18144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5213408 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 3248128 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: 408276 kB DirectMap2M: 60182528 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 890076 MiB End job on nodeC023 at 2024-07-25 05:34:00