| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 2312 | 3600.09 | 3609.34 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-50.lin.opb |
| MD5SUM | 11852bf7a05815ba1c78428ce5d4534c |
| 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 | 2312 |
| Best CPU time to get the best result obtained on this benchmark | 2994.21 |
| 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 | 3825 |
| Total number of constraints | 7400 |
| Number of constraints which are clauses | 3675 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3675 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3675 |
| Biggest coefficient in the objective function | 49 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 62475 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 49 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 62475 |
| Number of bits of the biggest sum of numbers | 16 |
| 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.04 c #variables 3825 #constraints 7450 0.00/0.05 c bounds - >= 0 @ 0.024221 0.00/0.05 c rational objective 0 15.94/16.05 c bounds 20825 >= 0 @ 0.033331 15.94/16.05 c bounds 18424 >= 0 @ 0.037869 15.94/16.05 c bounds 17473 >= 0 @ 0.041706 15.94/16.05 c bounds 16395 >= 0 @ 0.043189 15.94/16.05 c bounds 15273 >= 0 @ 0.04409 15.94/16.05 c bounds 14286 >= 0 @ 0.047687 15.94/16.05 c bounds 13471 >= 0 @ 0.052232 15.94/16.05 c bounds 13344 >= 0 @ 0.053627 15.94/16.05 c bounds 12607 >= 0 @ 0.057415 15.94/16.05 c bounds 11601 >= 0 @ 0.058813 15.94/16.05 c bounds 10800 >= 0 @ 0.062259 15.94/16.05 c bounds 10447 >= 0 @ 0.066227 15.94/16.05 c bounds 9907 >= 0 @ 0.070032 15.94/16.05 c bounds 9587 >= 0 @ 0.073989 15.94/16.05 c bounds 9046 >= 0 @ 0.077317 15.94/16.05 c bounds 8452 >= 0 @ 0.079275 15.94/16.05 c bounds 8176 >= 0 @ 0.085293 15.94/16.05 c bounds 8119 >= 0 @ 0.089086 15.94/16.05 c bounds 7654 >= 0 @ 0.098044 15.94/16.05 c bounds 7067 >= 0 @ 0.098682 15.94/16.05 c bounds 7001 >= 0 @ 0.10663 15.94/16.05 c bounds 6969 >= 0 @ 0.109817 15.94/16.05 c bounds 6939 >= 0 @ 0.112668 15.94/16.05 c bounds 6911 >= 0 @ 0.115452 15.94/16.05 c bounds 6885 >= 0 @ 0.118522 15.94/16.05 c bounds 6861 >= 0 @ 0.122663 15.94/16.05 c bounds 6839 >= 0 @ 0.125707 15.94/16.05 c bounds 6819 >= 0 @ 0.129793 15.94/16.05 c bounds 6702 >= 0 @ 0.149214 15.94/16.05 c bounds 6225 >= 0 @ 0.153731 15.94/16.05 c bounds 6014 >= 0 @ 0.156976 15.94/16.05 c bounds 5990 >= 0 @ 0.158751 15.94/16.05 c bounds 5585 >= 0 @ 0.169503 15.94/16.05 c bounds 5510 >= 0 @ 0.174154 15.94/16.05 c bounds 5178 >= 0 @ 0.177884 15.94/16.05 c bounds 4787 >= 0 @ 0.180131 15.94/16.05 c bounds 4633 >= 0 @ 0.183998 15.94/16.05 c bounds 4299 >= 0 @ 0.185309 15.94/16.05 c bounds 3996 >= 0 @ 0.18655 15.94/16.05 c bounds 3795 >= 0 @ 0.19354 15.94/16.05 c bounds 3549 >= 0 @ 0.194837 15.94/16.05 c bounds 3333 >= 0 @ 0.195229 15.94/16.05 c bounds 3249 >= 0 @ 0.221198 15.94/16.05 c bounds 3085 >= 0 @ 0.222767 15.94/16.05 c bounds 2950 >= 0 @ 0.224334 15.94/16.05 c bounds 2844 >= 0 @ 0.22613 15.94/16.05 c bounds 2767 >= 0 @ 0.227905 15.94/16.05 c bounds 2719 >= 0 @ 0.229819 15.94/16.05 c bounds 2710 >= 0 @ 0.284514 15.94/16.05 c bounds 2484 >= 0 @ 0.286616 15.94/16.05 c bounds 2437 >= 0 @ 0.293124 15.94/16.05 c bounds 2345 >= 0 @ 0.295501 15.94/16.05 c bounds 2329 >= 0 @ 0.306079 15.94/16.05 c bounds 2312 >= 0 @ 0.308715 15.94/16.05 c bounds 2312 >= 16 @ 0.310446 15.94/16.05 c #Conflicts: 1000 | #Constraints: 8513 15.94/16.05 c #Conflicts: 2000 | #Constraints: 9522 15.94/16.05 c INPROCESSING 15.94/16.05 c GARBAGE COLLECT 15.94/16.05 c bounds 2312 >= 32 @ 4.46227 15.94/16.05 c bounds 2312 >= 48 @ 4.72293 15.94/16.05 c bounds 2312 >= 64 @ 5.42957 15.94/16.05 c #Conflicts: 3000 | #Constraints: 9486 15.94/16.05 c bounds 2312 >= 80 @ 7.36378 15.94/16.05 c #Conflicts: 4000 | #Constraints: 10494 15.94/16.05 c INPROCESSING 15.94/16.05 c GARBAGE COLLECT 15.94/16.05 c #Conflicts: 5000 | #Constraints: 9901 15.94/16.05 c #Conflicts: 6000 | #Constraints: 10911 15.94/16.05 c INPROCESSING 15.94/16.05 c GARBAGE COLLECT 15.94/16.05 c rational objective 0 21.62/21.77 c #Conflicts: 7000 | #Constraints: 9908 21.62/21.77 c #Conflicts: 8000 | #Constraints: 10908 21.62/21.77 c #Conflicts: 9000 | #Constraints: 11908 21.62/21.77 c INPROCESSING 21.62/21.77 c GARBAGE COLLECT 21.62/21.77 c rational objective 0 29.31/29.43 c #Conflicts: 10000 | #Constraints: 10662 29.31/29.43 c #Conflicts: 11000 | #Constraints: 11671 29.31/29.43 c #Conflicts: 12000 | #Constraints: 12679 29.31/29.43 c INPROCESSING 29.31/29.43 c GARBAGE COLLECT 29.31/29.43 c rational objective 0 48.46/48.65 c #Conflicts: 13000 | #Constraints: 11098 48.46/48.65 c #Conflicts: 14000 | #Constraints: 12105 48.46/48.65 c #Conflicts: 15000 | #Constraints: 13115 48.46/48.65 c INPROCESSING 48.46/48.65 c GARBAGE COLLECT 48.46/48.65 c #Conflicts: 16000 | #Constraints: 11314 48.46/48.65 c bounds 2312 >= 96 @ 40.0976 48.46/48.65 c #Conflicts: 17000 | #Constraints: 12328 48.46/48.65 c #Conflicts: 18000 | #Constraints: 13328 48.46/48.65 c INPROCESSING 48.46/48.65 c GARBAGE COLLECT 48.46/48.65 c rational objective 0 56.74/56.96 c #Conflicts: 19000 | #Constraints: 11336 56.74/56.96 c #Conflicts: 20000 | #Constraints: 12336 56.74/56.96 c #Conflicts: 21000 | #Constraints: 13336 56.74/56.96 c INPROCESSING 56.74/56.96 c GARBAGE COLLECT 56.74/56.96 c rational objective 0 98.24/98.53 c #Conflicts: 22000 | #Constraints: 11268 98.24/98.53 c #Conflicts: 23000 | #Constraints: 12276 98.24/98.53 c #Conflicts: 24000 | #Constraints: 13276 98.24/98.53 c #Conflicts: 25000 | #Constraints: 14278 98.24/98.53 c #Conflicts: 26000 | #Constraints: 15286 98.24/98.53 c #Conflicts: 27000 | #Constraints: 16295 98.24/98.53 c #Conflicts: 28000 | #Constraints: 17305 98.24/98.53 c #Conflicts: 29000 | #Constraints: 18312 98.24/98.53 c #Conflicts: 30000 | #Constraints: 19323 98.24/98.53 c #Conflicts: 31000 | #Constraints: 20330 98.24/98.53 c #Conflicts: 32000 | #Constraints: 21336 98.24/98.53 c #Conflicts: 33000 | #Constraints: 22343 98.24/98.53 c INPROCESSING 98.24/98.53 c GARBAGE COLLECT 98.24/98.53 c rational objective 0 130.05/130.48 c #Conflicts: 34000 | #Constraints: 15790 130.05/130.48 c #Conflicts: 35000 | #Constraints: 16790 130.05/130.48 c bounds 2312 >= 112 @ 111.74 130.05/130.48 c #Conflicts: 36000 | #Constraints: 17804 130.05/130.48 c #Conflicts: 37000 | #Constraints: 18805 130.05/130.48 c #Conflicts: 38000 | #Constraints: 19805 130.05/130.48 c INPROCESSING 130.05/130.48 c GARBAGE COLLECT 130.05/130.48 c rational objective 2 147.62/148.10 c #Conflicts: 39000 | #Constraints: 14685 147.62/148.10 c #Conflicts: 40000 | #Constraints: 15685 147.62/148.10 c #Conflicts: 41000 | #Constraints: 16688 147.62/148.10 c #Conflicts: 42000 | #Constraints: 17697 147.62/148.10 c INPROCESSING 147.62/148.10 c GARBAGE COLLECT 147.62/148.10 c rational objective 2.28571 216.45/217.06 c #Conflicts: 43000 | #Constraints: 13183 216.45/217.06 c #Conflicts: 44000 | #Constraints: 14189 216.45/217.06 c #Conflicts: 45000 | #Constraints: 15195 216.45/217.06 c #Conflicts: 46000 | #Constraints: 16198 216.45/217.06 c #Conflicts: 47000 | #Constraints: 17205 216.45/217.06 c #Conflicts: 48000 | #Constraints: 18212 216.45/217.06 c #Conflicts: 49000 | #Constraints: 19219 216.45/217.06 c #Conflicts: 50000 | #Constraints: 20225 216.45/217.06 c #Conflicts: 51000 | #Constraints: 21232 216.45/217.06 c #Conflicts: 52000 | #Constraints: 22239 216.45/217.06 c #Conflicts: 53000 | #Constraints: 23247 216.45/217.06 c #Conflicts: 54000 | #Constraints: 24250 216.45/217.06 c #Conflicts: 55000 | #Constraints: 25255 216.45/217.06 c #Conflicts: 56000 | #Constraints: 26260 216.45/217.06 c #Conflicts: 57000 | #Constraints: 27267 216.45/217.06 c #Conflicts: 58000 | #Constraints: 28272 216.45/217.06 c INPROCESSING 216.45/217.06 c GARBAGE COLLECT 216.45/217.06 c rational objective 2.28571 270.62/271.33 c #Conflicts: 59000 | #Constraints: 18521 270.62/271.33 c #Conflicts: 60000 | #Constraints: 19521 270.62/271.33 c #Conflicts: 61000 | #Constraints: 20521 270.62/271.33 c #Conflicts: 62000 | #Constraints: 21521 270.62/271.33 c #Conflicts: 63000 | #Constraints: 22522 270.62/271.33 c #Conflicts: 64000 | #Constraints: 23522 270.62/271.33 c #Conflicts: 65000 | #Constraints: 24522 270.62/271.33 c INPROCESSING 270.62/271.33 c GARBAGE COLLECT 270.62/271.33 c rational objective 2.28571 300.84/301.69 c #Conflicts: 66000 | #Constraints: 17081 300.84/301.69 c #Conflicts: 67000 | #Constraints: 18083 300.84/301.69 c #Conflicts: 68000 | #Constraints: 19090 300.84/301.69 c #Conflicts: 69000 | #Constraints: 20095 300.84/301.69 c #Conflicts: 70000 | #Constraints: 21104 300.84/301.69 c #Conflicts: 71000 | #Constraints: 22110 300.84/301.69 c INPROCESSING 300.84/301.69 c GARBAGE COLLECT 300.84/301.69 c rational objective 2.28571 414.66/415.75 c #Conflicts: 72000 | #Constraints: 15635 414.66/415.75 c #Conflicts: 73000 | #Constraints: 16635 414.66/415.75 c #Conflicts: 74000 | #Constraints: 17636 414.66/415.75 c #Conflicts: 75000 | #Constraints: 18636 414.66/415.75 c #Conflicts: 76000 | #Constraints: 19636 414.66/415.75 c bounds 2312 >= 128 @ 323.788 414.66/415.75 c #Conflicts: 77000 | #Constraints: 20653 414.66/415.75 c #Conflicts: 78000 | #Constraints: 21655 414.66/415.75 c #Conflicts: 79000 | #Constraints: 22661 414.66/415.75 c #Conflicts: 80000 | #Constraints: 23668 414.66/415.75 c #Conflicts: 81000 | #Constraints: 24677 414.66/415.75 c #Conflicts: 82000 | #Constraints: 25683 414.66/415.75 c #Conflicts: 83000 | #Constraints: 26688 414.66/415.75 c #Conflicts: 84000 | #Constraints: 27696 414.66/415.75 c #Conflicts: 85000 | #Constraints: 28706 414.66/415.75 c #Conflicts: 86000 | #Constraints: 29713 414.66/415.75 c #Conflicts: 87000 | #Constraints: 30721 414.66/415.75 c #Conflicts: 88000 | #Constraints: 31724 414.66/415.75 c #Conflicts: 89000 | #Constraints: 32731 414.66/415.75 c #Conflicts: 90000 | #Constraints: 33737 414.66/415.75 c #Conflicts: 91000 | #Constraints: 34744 414.66/415.75 c INPROCESSING 414.66/415.75 c GARBAGE COLLECT 414.66/415.75 c rational objective 2.28571 474.93/476.11 c #Conflicts: 92000 | #Constraints: 21907 474.93/476.11 c #Conflicts: 93000 | #Constraints: 22907 474.93/476.11 c #Conflicts: 94000 | #Constraints: 23907 474.93/476.11 c #Conflicts: 95000 | #Constraints: 24907 474.93/476.11 c #Conflicts: 96000 | #Constraints: 25907 474.93/476.11 c #Conflicts: 97000 | #Constraints: 26907 474.93/476.11 c #Conflicts: 98000 | #Constraints: 27909 474.93/476.11 c #Conflicts: 99000 | #Constraints: 28909 474.93/476.11 c INPROCESSING 474.93/476.11 c GARBAGE COLLECT 474.93/476.11 c rational objective 2.28571 633.93/635.52 c #Conflicts: 100000 | #Constraints: 19568 633.93/635.52 c #Conflicts: 101000 | #Constraints: 20568 633.93/635.52 c #Conflicts: 102000 | #Constraints: 21568 633.93/635.52 c #Conflicts: 103000 | #Constraints: 22568 633.93/635.52 c #Conflicts: 104000 | #Constraints: 23570 633.93/635.52 c #Conflicts: 105000 | #Constraints: 24570 633.93/635.52 c #Conflicts: 106000 | #Constraints: 25570 633.93/635.52 c #Conflicts: 107000 | #Constraints: 26571 633.93/635.52 c #Conflicts: 108000 | #Constraints: 27571 633.93/635.52 c bounds 2312 >= 144 @ 529.616 633.93/635.52 c #Conflicts: 109000 | #Constraints: 28594 633.93/635.52 c #Conflicts: 110000 | #Constraints: 29594 633.93/635.52 c #Conflicts: 111000 | #Constraints: 30594 633.93/635.52 c #Conflicts: 112000 | #Constraints: 31598 633.93/635.52 c #Conflicts: 113000 | #Constraints: 32606 633.93/635.52 c #Conflicts: 114000 | #Constraints: 33613 633.93/635.52 c #Conflicts: 115000 | #Constraints: 34620 633.93/635.52 c #Conflicts: 116000 | #Constraints: 35628 633.93/635.52 c #Conflicts: 117000 | #Constraints: 36636 633.93/635.52 c #Conflicts: 118000 | #Constraints: 37644 633.93/635.52 c #Conflicts: 119000 | #Constraints: 38652 633.93/635.52 c #Conflicts: 120000 | #Constraints: 39660 633.93/635.52 c #Conflicts: 121000 | #Constraints: 40665 633.93/635.52 c #Conflicts: 122000 | #Constraints: 41671 633.93/635.52 c INPROCESSING 633.93/635.52 c GARBAGE COLLECT 633.93/635.52 c rational objective 2.28571 700.47/702.21 c #Conflicts: 123000 | #Constraints: 25437 700.47/702.21 c #Conflicts: 124000 | #Constraints: 26437 700.47/702.21 c #Conflicts: 125000 | #Constraints: 27437 700.47/702.21 c #Conflicts: 126000 | #Constraints: 28437 700.47/702.21 c #Conflicts: 127000 | #Constraints: 29437 700.47/702.21 c #Conflicts: 128000 | #Constraints: 30437 700.47/702.21 c #Conflicts: 129000 | #Constraints: 31437 700.47/702.21 c #Conflicts: 130000 | #Constraints: 32437 700.47/702.21 c #Conflicts: 131000 | #Constraints: 33437 700.47/702.21 c INPROCESSING 700.47/702.21 c GARBAGE COLLECT 700.47/702.21 c rational objective 2.28571 916.92/919.28 c #Conflicts: 132000 | #Constraints: 23593 916.92/919.28 c #Conflicts: 133000 | #Constraints: 24599 916.92/919.28 c #Conflicts: 134000 | #Constraints: 25601 916.92/919.28 c #Conflicts: 135000 | #Constraints: 26604 916.92/919.28 c #Conflicts: 136000 | #Constraints: 27608 916.92/919.28 c #Conflicts: 137000 | #Constraints: 28615 916.92/919.28 c #Conflicts: 138000 | #Constraints: 29620 916.92/919.28 c #Conflicts: 139000 | #Constraints: 30626 916.92/919.28 c #Conflicts: 140000 | #Constraints: 31632 916.92/919.28 c #Conflicts: 141000 | #Constraints: 32641 916.92/919.28 c #Conflicts: 142000 | #Constraints: 33651 916.92/919.28 c #Conflicts: 143000 | #Constraints: 34657 916.92/919.28 c #Conflicts: 144000 | #Constraints: 35663 916.92/919.28 c #Conflicts: 145000 | #Constraints: 36668 916.92/919.28 c #Conflicts: 146000 | #Constraints: 37675 916.92/919.28 c #Conflicts: 147000 | #Constraints: 38679 916.92/919.28 c #Conflicts: 148000 | #Constraints: 39683 916.92/919.28 c #Conflicts: 149000 | #Constraints: 40686 916.92/919.28 c #Conflicts: 150000 | #Constraints: 41689 916.92/919.28 c #Conflicts: 151000 | #Constraints: 42693 916.92/919.28 c #Conflicts: 152000 | #Constraints: 43696 916.92/919.28 c #Conflicts: 153000 | #Constraints: 44700 916.92/919.28 c #Conflicts: 154000 | #Constraints: 45702 916.92/919.28 c #Conflicts: 155000 | #Constraints: 46708 916.92/919.28 c #Conflicts: 156000 | #Constraints: 47712 916.92/919.28 c #Conflicts: 157000 | #Constraints: 48717 916.92/919.28 c INPROCESSING 916.92/919.28 c GARBAGE COLLECT 916.92/919.28 c rational objective 2.28571 1033.94/1036.54 c #Conflicts: 158000 | #Constraints: 28824 1033.94/1036.54 c #Conflicts: 159000 | #Constraints: 29825 1033.94/1036.54 c #Conflicts: 160000 | #Constraints: 30825 1033.94/1036.54 c #Conflicts: 161000 | #Constraints: 31825 1033.94/1036.54 c #Conflicts: 162000 | #Constraints: 32826 1033.94/1036.54 c #Conflicts: 163000 | #Constraints: 33826 1033.94/1036.54 c #Conflicts: 164000 | #Constraints: 34826 1033.94/1036.54 c #Conflicts: 165000 | #Constraints: 35826 1033.94/1036.54 c #Conflicts: 166000 | #Constraints: 36826 1033.94/1036.54 c #Conflicts: 167000 | #Constraints: 37826 1033.94/1036.54 c #Conflicts: 168000 | #Constraints: 38828 1033.94/1036.54 c INPROCESSING 1033.94/1036.54 c GARBAGE COLLECT 1033.94/1036.54 c rational objective 2.28571 1038.23/1040.84 WSVECS04 Frhs2[5]: 6 -42.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[11]: 6 -37.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[14]: 6 -33 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[17]: 6 -42.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[20]: 6 -38.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[23]: 6 -34.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[26]: 6 -21 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[29]: 6 -26 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[32]: 6 -22 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[35]: 6 -18 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[38]: 6 -14.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[41]: 6 -10.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[45]: 6 0 113 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[48]: 6 0 124 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[51]: 6 0 138 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[54]: 6 0 66.0001 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[55]: 6 -89.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[59]: 6 -14 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[61]: 6 -85 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[64]: 6 -76 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[67]: 6 -87.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[70]: 6 -67.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[73]: 6 -44 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[76]: 6 -43 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[79]: 6 -54 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[82]: 6 -54.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[85]: 6 -65 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[88]: 6 -61 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[91]: 6 -67 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[94]: 6 -79 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[98]: 6 0 132 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[108]: 6 -9.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[117]: 6 -18.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[120]: 6 -23 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[123]: 6 -28.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[126]: 6 -33.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[129]: 6 -38 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[132]: 6 -28 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[135]: 6 -48 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[141]: 6 -58.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[144]: 6 -63 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[150]: 6 -73.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[346]: 6 -1.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[347]: 6 -2.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[348]: 6 -3.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[349]: 6 -4.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[350]: 6 -5.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[351]: 6 -6.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[352]: 6 -7.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[353]: 6 -8.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[354]: 6 -9.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[355]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[356]: 6 -11.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[357]: 6 -12.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[363]: 6 -18 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[489]: 6 -1.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[490]: 6 -2.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[491]: 6 -3.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[492]: 6 -4.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[493]: 6 -5.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[494]: 6 -6.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[495]: 6 -7.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[496]: 6 -8.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[497]: 6 -9.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[498]: 6 -10.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[499]: 6 -11.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[505]: 6 -17 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[629]: 6 -1.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[630]: 6 -2.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[631]: 6 -3.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[632]: 6 -4.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[633]: 6 -5.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[634]: 6 -6.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[635]: 6 -7.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[636]: 6 -8.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[637]: 6 -9.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[638]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[644]: 6 -16.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[766]: 6 -1.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[767]: 6 -2.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[768]: 6 -3.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[769]: 6 -4.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[770]: 6 -5.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[771]: 6 -6.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[772]: 6 -7.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[773]: 6 -8.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[774]: 6 -9.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[780]: 6 -15.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[900]: 6 -1.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[901]: 6 -2.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[902]: 6 -3.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[903]: 6 -4.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[904]: 6 -5.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[905]: 6 -6.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[906]: 6 -7.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[907]: 6 -8.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[913]: 6 -14 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1031]: 6 -1.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1032]: 6 -2.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1033]: 6 -3.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1034]: 6 -4.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1035]: 6 -5.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1036]: 6 -6.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1037]: 6 -7.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1043]: 6 -13.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1160]: 6 -2.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1161]: 6 -3.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1163]: 6 -5.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1164]: 6 -6.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1170]: 6 -12.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1284]: 6 -1.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1285]: 6 -2.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1287]: 6 -4.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1288]: 6 -5.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1294]: 6 -11.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1406]: 6 -1.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1407]: 6 -2.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1408]: 6 -3.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1409]: 6 -4.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1415]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1525]: 6 -1.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1526]: 6 -2.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1527]: 6 -3.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1533]: 6 -9.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1641]: 6 -1.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1642]: 6 -2.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1648]: 6 -8.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1754]: 6 -1.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1760]: 6 -7.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[1869]: 6 -6.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2339]: 6 -2.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2340]: 6 -3.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2341]: 6 -4.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2342]: 6 -5.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2343]: 6 -6.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2344]: 6 -7.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2345]: 6 -8.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2346]: 6 -9.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2347]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2348]: 6 -11 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2349]: 6 -12.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2350]: 6 -13 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2521]: 6 -1.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2522]: 6 -2.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2523]: 6 -3.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2524]: 6 -4.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2525]: 6 -5.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2526]: 6 -6.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2527]: 6 -7.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2528]: 6 -8.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2529]: 6 -9.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2530]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2531]: 6 -11.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2608]: 6 -1.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2609]: 6 -2.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2610]: 6 -3.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2611]: 6 -4.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2612]: 6 -5.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2613]: 6 -6.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2614]: 6 -7.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2615]: 6 -8.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2616]: 6 -9.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2617]: 6 -10.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2692]: 6 -1.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2693]: 6 -2.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2694]: 6 -3.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2695]: 6 -4.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2696]: 6 -5.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2697]: 6 -6.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2698]: 6 -7.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2699]: 6 -8.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2700]: 6 -9.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2773]: 6 -1.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2774]: 6 -2.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2775]: 6 -3.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2776]: 6 -4.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2777]: 6 -5.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2778]: 6 -6.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2779]: 6 -7.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2780]: 6 -8.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2851]: 6 -1.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2852]: 6 -2.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2853]: 6 -3.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2854]: 6 -4.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2855]: 6 -5.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2856]: 6 -6.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2857]: 6 -7.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2926]: 6 -1.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2927]: 6 -2.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2928]: 6 -3.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2929]: 6 -4.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2930]: 6 -5.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2931]: 6 -6.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2998]: 6 -1.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[2999]: 6 -2.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3000]: 6 -3.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3001]: 6 -4.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3002]: 6 -5.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3067]: 6 -1.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3068]: 6 -2.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3069]: 6 -3.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3070]: 6 -4.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3133]: 6 -1.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3134]: 6 -2.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3135]: 6 -3.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3197]: 6 -2.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3256]: 6 -1.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3541]: 6 -3.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3542]: 6 -4.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3543]: 6 -5.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3544]: 6 -6.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3545]: 6 -7.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3546]: 6 -8.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3547]: 6 -9.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3549]: 6 -11 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3550]: 6 -12.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3551]: 6 -13.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3552]: 6 -14.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3650]: 6 -1.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3651]: 6 -2.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3652]: 6 -3.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3653]: 6 -4.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3654]: 6 -5.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3655]: 6 -6.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3657]: 6 -8.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3658]: 6 -9.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3659]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3660]: 6 -11.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3681]: 6 -1.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3682]: 6 -2.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3683]: 6 -3.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3684]: 6 -4.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3685]: 6 -5.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3687]: 6 -7.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3688]: 6 -8.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3689]: 6 -9.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3690]: 6 -10 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3709]: 6 -1.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3710]: 6 -2.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3711]: 6 -3.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3712]: 6 -4.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3714]: 6 -6.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3715]: 6 -7.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3716]: 6 -8.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3717]: 6 -9.00001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3734]: 6 -1.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3735]: 6 -2.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3736]: 6 -3.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3738]: 6 -5.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3739]: 6 -6.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3740]: 6 -7.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3741]: 6 -8.00009 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3756]: 6 -1.00002 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3757]: 6 -2.0001 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3759]: 6 -4.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3760]: 6 -5.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3761]: 6 -6.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3762]: 6 -7.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3775]: 6 -1.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3777]: 6 -3.00006 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3778]: 6 -4.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3779]: 6 -5.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3780]: 6 -6.00004 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3792]: 6 -2.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3793]: 6 -3.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3794]: 6 -4.00007 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3795]: 6 -5.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3814]: 6 -1.00005 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3815]: 6 -2.00008 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3816]: 6 -3.00003 0 shouldn't be 1038.23/1040.84 WSVECS04 Frhs2[3821]: 6 -1.00008 0 shouldn't be 1038.23/1040.85 WSVECS04 Frhs2[3822]: 6 -2.00006 0 shouldn't be 1038.23/1040.85 WSVECS04 Frhs2[3825]: 6 -1.0001 0 shouldn't be 1254.39/1257.59 c #Conflicts: 169000 | #Constraints: 25420 1254.39/1257.59 c #Conflicts: 170000 | #Constraints: 26420 1254.39/1257.59 c #Conflicts: 171000 | #Constraints: 27420 1254.39/1257.59 c #Conflicts: 172000 | #Constraints: 28420 1254.39/1257.59 c #Conflicts: 173000 | #Constraints: 29420 1254.39/1257.59 c #Conflicts: 174000 | #Constraints: 30420 1254.39/1257.59 c #Conflicts: 175000 | #Constraints: 31421 1254.39/1257.59 c #Conflicts: 176000 | #Constraints: 32421 1254.39/1257.59 c #Conflicts: 177000 | #Constraints: 33421 1254.39/1257.59 c #Conflicts: 178000 | #Constraints: 34421 1254.39/1257.59 c #Conflicts: 179000 | #Constraints: 35421 1254.39/1257.59 c #Conflicts: 180000 | #Constraints: 36421 1254.39/1257.59 c bounds 2312 >= 160 @ 1107.08 1254.39/1257.59 c #Conflicts: 181000 | #Constraints: 37450 1254.39/1257.59 c #Conflicts: 182000 | #Constraints: 38459 1254.39/1257.59 c #Conflicts: 183000 | #Constraints: 39469 1254.39/1257.59 c #Conflicts: 184000 | #Constraints: 40477 1254.39/1257.59 c #Conflicts: 185000 | #Constraints: 41486 1254.39/1257.59 c #Conflicts: 186000 | #Constraints: 42491 1254.39/1257.59 c #Conflicts: 187000 | #Constraints: 43497 1254.39/1257.59 c #Conflicts: 188000 | #Constraints: 44504 1254.39/1257.59 c #Conflicts: 189000 | #Constraints: 45510 1254.39/1257.59 c #Conflicts: 190000 | #Constraints: 46516 1254.39/1257.59 c #Conflicts: 191000 | #Constraints: 47525 1254.39/1257.59 c #Conflicts: 192000 | #Constraints: 48533 1254.39/1257.59 c #Conflicts: 193000 | #Constraints: 49539 1254.39/1257.59 c #Conflicts: 194000 | #Constraints: 50549 1254.39/1257.59 c #Conflicts: 195000 | #Constraints: 51556 1254.39/1257.59 c #Conflicts: 196000 | #Constraints: 52565 1254.39/1257.59 c #Conflicts: 197000 | #Constraints: 53573 1254.39/1257.59 c INPROCESSING 1254.39/1257.59 c GARBAGE COLLECT 1254.39/1257.59 c rational objective 2.28571 1368.17/1371.69 c #Conflicts: 198000 | #Constraints: 31402 1368.17/1371.69 c #Conflicts: 199000 | #Constraints: 32404 1368.17/1371.69 c #Conflicts: 200000 | #Constraints: 33404 1368.17/1371.69 c #Conflicts: 201000 | #Constraints: 34404 1368.17/1371.69 c #Conflicts: 202000 | #Constraints: 35404 1368.17/1371.69 c #Conflicts: 203000 | #Constraints: 36404 1368.17/1371.69 c #Conflicts: 204000 | #Constraints: 37404 1368.17/1371.69 c #Conflicts: 205000 | #Constraints: 38405 1368.17/1371.69 c #Conflicts: 206000 | #Constraints: 39405 1368.17/1371.69 c #Conflicts: 207000 | #Constraints: 40405 1368.17/1371.69 c #Conflicts: 208000 | #Constraints: 41407 1368.17/1371.69 c #Conflicts: 209000 | #Constraints: 42407 1368.17/1371.69 c INPROCESSING 1368.17/1371.69 c GARBAGE COLLECT 1368.17/1371.69 c rational objective 2.28571 1597.23/1601.37 c #Conflicts: 210000 | #Constraints: 29365 1597.23/1601.37 c #Conflicts: 211000 | #Constraints: 30367 1597.23/1601.37 c #Conflicts: 212000 | #Constraints: 31376 1597.23/1601.37 c #Conflicts: 213000 | #Constraints: 32385 1597.23/1601.37 c #Conflicts: 214000 | #Constraints: 33394 1597.23/1601.37 c #Conflicts: 215000 | #Constraints: 34404 1597.23/1601.37 c #Conflicts: 216000 | #Constraints: 35411 1597.23/1601.37 c #Conflicts: 217000 | #Constraints: 36418 1597.23/1601.37 c #Conflicts: 218000 | #Constraints: 37423 1597.23/1601.37 c #Conflicts: 219000 | #Constraints: 38431 1597.23/1601.37 c #Conflicts: 220000 | #Constraints: 39438 1597.23/1601.37 c #Conflicts: 221000 | #Constraints: 40445 1597.23/1601.37 c #Conflicts: 222000 | #Constraints: 41454 1597.23/1601.37 c #Conflicts: 223000 | #Constraints: 42458 1597.23/1601.37 c #Conflicts: 224000 | #Constraints: 43465 1597.23/1601.37 c #Conflicts: 225000 | #Constraints: 44467 1597.23/1601.37 c #Conflicts: 226000 | #Constraints: 45473 1597.23/1601.37 c #Conflicts: 227000 | #Constraints: 46479 1597.23/1601.37 c #Conflicts: 228000 | #Constraints: 47488 1597.23/1601.37 c #Conflicts: 229000 | #Constraints: 48496 1597.23/1601.37 c #Conflicts: 230000 | #Constraints: 49503 1597.23/1601.37 c #Conflicts: 231000 | #Constraints: 50510 1597.23/1601.37 c #Conflicts: 232000 | #Constraints: 51516 1597.23/1601.37 c #Conflicts: 233000 | #Constraints: 52521 1597.23/1601.37 c #Conflicts: 234000 | #Constraints: 53533 1597.23/1601.37 c #Conflicts: 235000 | #Constraints: 54539 1597.23/1601.37 c #Conflicts: 236000 | #Constraints: 55543 1597.23/1601.37 c #Conflicts: 237000 | #Constraints: 56549 1597.23/1601.37 c #Conflicts: 238000 | #Constraints: 57554 1597.23/1601.37 c #Conflicts: 239000 | #Constraints: 58562 1597.23/1601.37 c #Conflicts: 240000 | #Constraints: 59567 1597.23/1601.37 c #Conflicts: 241000 | #Constraints: 60573 1597.23/1601.37 c INPROCESSING 1597.23/1601.37 c GARBAGE COLLECT 1597.23/1601.37 c rational objective 2.28571 1773.63/1778.26 c #Conflicts: 242000 | #Constraints: 34855 1773.63/1778.26 c #Conflicts: 243000 | #Constraints: 35856 1773.63/1778.26 c #Conflicts: 244000 | #Constraints: 36856 1773.63/1778.26 c #Conflicts: 245000 | #Constraints: 37856 1773.63/1778.26 c #Conflicts: 246000 | #Constraints: 38856 1773.63/1778.26 c #Conflicts: 247000 | #Constraints: 39858 1773.63/1778.26 c #Conflicts: 248000 | #Constraints: 40858 1773.63/1778.26 c #Conflicts: 249000 | #Constraints: 41858 1773.63/1778.26 c #Conflicts: 250000 | #Constraints: 42858 1773.63/1778.26 c #Conflicts: 251000 | #Constraints: 43858 1773.63/1778.26 c #Conflicts: 252000 | #Constraints: 44859 1773.63/1778.26 c #Conflicts: 253000 | #Constraints: 45859 1773.63/1778.26 c #Conflicts: 254000 | #Constraints: 46859 1773.63/1778.26 c INPROCESSING 1773.63/1778.26 c GARBAGE COLLECT 1773.63/1778.26 c rational objective 2.28571 2127.95/2133.53 c #Conflicts: 255000 | #Constraints: 31113 2127.95/2133.53 c #Conflicts: 256000 | #Constraints: 32113 2127.95/2133.53 c #Conflicts: 257000 | #Constraints: 33114 2127.95/2133.53 c #Conflicts: 258000 | #Constraints: 34114 2127.95/2133.53 c #Conflicts: 259000 | #Constraints: 35114 2127.95/2133.53 c #Conflicts: 260000 | #Constraints: 36114 2127.95/2133.53 c #Conflicts: 261000 | #Constraints: 37114 2127.95/2133.53 c #Conflicts: 262000 | #Constraints: 38115 2127.95/2133.53 c #Conflicts: 263000 | #Constraints: 39117 2127.95/2133.53 c #Conflicts: 264000 | #Constraints: 40119 2127.95/2133.53 c #Conflicts: 265000 | #Constraints: 41120 2127.95/2133.53 c bounds 2312 >= 176 @ 1852.53 2127.95/2133.53 c #Conflicts: 266000 | #Constraints: 42147 2127.95/2133.53 c #Conflicts: 267000 | #Constraints: 43154 2127.95/2133.53 c #Conflicts: 268000 | #Constraints: 44165 2127.95/2133.53 c #Conflicts: 269000 | #Constraints: 45171 2127.95/2133.53 c #Conflicts: 270000 | #Constraints: 46183 2127.95/2133.53 c #Conflicts: 271000 | #Constraints: 47193 2127.95/2133.53 c #Conflicts: 272000 | #Constraints: 48202 2127.95/2133.53 c #Conflicts: 273000 | #Constraints: 49208 2127.95/2133.53 c #Conflicts: 274000 | #Constraints: 50215 2127.95/2133.53 c #Conflicts: 275000 | #Constraints: 51223 2127.95/2133.53 c #Conflicts: 276000 | #Constraints: 52228 2127.95/2133.53 c #Conflicts: 277000 | #Constraints: 53235 2127.95/2133.53 c #Conflicts: 278000 | #Constraints: 54241 2127.95/2133.53 c #Conflicts: 279000 | #Constraints: 55247 2127.95/2133.53 c #Conflicts: 280000 | #Constraints: 56252 2127.95/2133.53 c #Conflicts: 281000 | #Constraints: 57258 2127.95/2133.53 c #Conflicts: 282000 | #Constraints: 58263 2127.95/2133.53 c #Conflicts: 283000 | #Constraints: 59272 2127.95/2133.53 c #Conflicts: 284000 | #Constraints: 60281 2127.95/2133.53 c #Conflicts: 285000 | #Constraints: 61286 2127.95/2133.53 c #Conflicts: 286000 | #Constraints: 62292 2127.95/2133.53 c #Conflicts: 287000 | #Constraints: 63302 2127.95/2133.53 c #Conflicts: 288000 | #Constraints: 64307 2127.95/2133.53 c #Conflicts: 289000 | #Constraints: 65311 2127.95/2133.53 c #Conflicts: 290000 | #Constraints: 66316 2127.95/2133.53 c INPROCESSING 2127.95/2133.53 c GARBAGE COLLECT 2127.95/2133.53 c rational objective 2.28571 2220.71/2226.56 c #Conflicts: 291000 | #Constraints: 37993 2220.71/2226.56 c #Conflicts: 292000 | #Constraints: 38993 2220.71/2226.56 c #Conflicts: 293000 | #Constraints: 39993 2220.71/2226.56 c #Conflicts: 294000 | #Constraints: 40993 2220.71/2226.56 c #Conflicts: 295000 | #Constraints: 41993 2220.71/2226.56 c #Conflicts: 296000 | #Constraints: 42993 2220.71/2226.56 c #Conflicts: 297000 | #Constraints: 43993 2220.71/2226.56 c #Conflicts: 298000 | #Constraints: 44993 2220.71/2226.56 WSVECS04 Frhs2[10]: 6 -23.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[19]: 6 -66 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[22]: 6 -373 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[25]: 6 -55 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[28]: 6 -464 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[31]: 6 -43.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[37]: 6 -42 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[40]: 6 -44.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[55]: 6 0 120 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[60]: 6 -20.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[67]: 6 0 7.00001 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[81]: 6 -49 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[86]: 6 0 4.50003 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[99]: 6 0 30.0001 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[113]: 6 -3.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[114]: 6 0 28 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[131]: 6 -16.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[139]: 6 0 28 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[151]: 6 -1.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[153]: 6 -3.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[154]: 6 -222 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[155]: 6 -5.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[156]: 6 -6.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[158]: 6 -8.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[160]: 6 -10.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[161]: 6 -11.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[162]: 6 -12 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[299]: 6 -2.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[300]: 6 -3.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[301]: 6 -4.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[302]: 6 -5.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[304]: 6 -7.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[305]: 6 -8.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[306]: 6 -9.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[307]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[308]: 6 -11.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[309]: 6 -12.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[583]: 6 -1.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[584]: 6 -2.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[585]: 6 -3.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[586]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[587]: 6 -5.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[588]: 6 -6.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[589]: 6 -7.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[590]: 6 -8.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[591]: 6 -9.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[592]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[721]: 6 -1.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[722]: 6 -2.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[724]: 6 -4.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[726]: 6 -6.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[727]: 6 -7.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[728]: 6 -8.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[729]: 6 -9.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[856]: 6 -1.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[860]: 6 -5.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[861]: 6 -6.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[862]: 6 -7.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[863]: 6 -8.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[943]: 6 0 28.0001 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[989]: 6 -2.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[991]: 6 -4.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[992]: 6 -5.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[993]: 6 -6.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[994]: 6 -7.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1117]: 6 -1.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1118]: 6 -2.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1244]: 6 -2.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1245]: 6 -3.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1246]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1247]: 6 -5.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1486]: 6 -1.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1487]: 6 -2.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1488]: 6 -3.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1603]: 6 -1.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1604]: 6 -2.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[1717]: 6 -1.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2004]: 6 0 71 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2304]: 6 0 34.0001 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2400]: 6 -1.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2401]: 6 -2.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2402]: 6 -3.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2405]: 6 -6.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2406]: 6 -7.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2407]: 6 -8.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2408]: 6 -9.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2409]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2411]: 6 -12 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2491]: 6 -1.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2492]: 6 -2.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2495]: 6 -5.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2496]: 6 -6.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2497]: 6 -7.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2498]: 6 -8.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2499]: 6 -9.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2501]: 6 -11.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2579]: 6 -1.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2582]: 6 -4.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2583]: 6 -5.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2584]: 6 -6.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2585]: 6 -71 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2586]: 6 -8.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2588]: 6 -10.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2666]: 6 -3.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2667]: 6 -4.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2668]: 6 -5.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2669]: 6 -6.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2670]: 6 -7.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2672]: 6 -9.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2901]: 6 -1.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2902]: 6 -2.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2903]: 6 -71 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2904]: 6 -4.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2906]: 6 -6.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2974]: 6 -1.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2975]: 6 -2.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2976]: 6 -113 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[2978]: 6 -5.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3044]: 6 -1.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3045]: 6 -2.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3047]: 6 -4.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3111]: 6 -1.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3113]: 6 -125 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3176]: 6 -2.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3331]: 6 -1.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3333]: 6 -3.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3334]: 6 -4.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3335]: 6 -5.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3336]: 6 -6.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3337]: 6 -7.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3338]: 6 -8.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3339]: 6 -9.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3340]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3341]: 6 -11 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3342]: 6 -12.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3343]: 6 -265 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3344]: 6 -14 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3345]: 6 -15 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3346]: 6 -16.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3347]: 6 -17.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3348]: 6 -18.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3385]: 6 -2.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3386]: 6 -3.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3387]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3388]: 6 -5.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3389]: 6 -6.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3390]: 6 -7.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3391]: 6 -8.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3392]: 6 -9.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3393]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3394]: 6 -11.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3395]: 6 -12 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3396]: 6 -13.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3397]: 6 -14.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3398]: 6 -15 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3399]: 6 -16.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3400]: 6 -17.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3481]: 6 -1.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3482]: 6 -2.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3483]: 6 -3.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3485]: 6 -5.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3486]: 6 -6.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3487]: 6 -7.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3488]: 6 -8.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3489]: 6 -9.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3490]: 6 -10.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3491]: 6 -11.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3492]: 6 -12.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3493]: 6 -13.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3494]: 6 -14.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3495]: 6 -15.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3525]: 6 -1.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3526]: 6 -2.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3527]: 6 -3.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3528]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3529]: 6 -5.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3530]: 6 -6.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3532]: 6 -8.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3533]: 6 -9.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3535]: 6 -11 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3536]: 6 -12 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3537]: 6 -13.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3538]: 6 -14 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3566]: 6 -1.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3568]: 6 -3.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3569]: 6 -4.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3570]: 6 -5.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3571]: 6 -6.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3572]: 6 -7.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3573]: 6 -8.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3574]: 6 -9.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3575]: 6 -10.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3576]: 6 -11 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3577]: 6 -12.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3578]: 6 -13.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3605]: 6 -2.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3606]: 6 -3.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3607]: 6 -4.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3608]: 6 -5.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3609]: 6 -6.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3610]: 6 -7.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3611]: 6 -8.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3613]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3614]: 6 -11.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3615]: 6 -12.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3639]: 6 -1.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3640]: 6 -2.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3641]: 6 -3.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3642]: 6 -4.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3644]: 6 -6.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3646]: 6 -8.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3649]: 6 -199 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3671]: 6 -1.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3672]: 6 -2.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3673]: 6 -3.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3674]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3675]: 6 -5.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3676]: 6 -6.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3677]: 6 -7.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3678]: 6 -8.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3679]: 6 -9.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3680]: 6 -10 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3701]: 6 -2.00008 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3702]: 6 -3.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3704]: 6 -65 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3705]: 6 -6.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3707]: 6 -8.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3708]: 6 -9.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3726]: 6 -1.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3728]: 6 -3.00001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3729]: 6 -4.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3730]: 6 -5.0001 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3731]: 6 -6.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3732]: 6 -7.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3733]: 6 -8.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3749]: 6 -1.00007 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3750]: 6 -2.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3752]: 6 -4.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3753]: 6 -5.00004 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3754]: 6 -48 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3755]: 6 -7.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3769]: 6 -1.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3770]: 6 -2.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3772]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3773]: 6 -5.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3774]: 6 -6.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3786]: 6 -1.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3787]: 6 -2.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3788]: 6 -3.00006 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3789]: 6 -4.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3790]: 6 -5.00009 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3800]: 6 -1.00005 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3801]: 6 -2.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3802]: 6 -3.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3803]: 6 -4.00003 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3813]: 6 -3.00002 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3819]: 6 -389 0 shouldn't be 2220.71/2226.56 WSVECS04 Frhs2[3820]: 6 -2.00007 0 shouldn't be 2283.34/2289.33 c #Conflicts: 299000 | #Constraints: 45994 2283.34/2289.33 c #Conflicts: 300000 | #Constraints: 46994 2283.34/2289.33 c #Conflicts: 301000 | #Constraints: 47994 2283.34/2289.33 c #Conflicts: 302000 | #Constraints: 48994 2283.34/2289.33 c #Conflicts: 303000 | #Constraints: 49994 2283.34/2289.33 c #Conflicts: 304000 | #Constraints: 50994 2283.34/2289.33 c INPROCESSING 2283.34/2289.33 c GARBAGE COLLECT 2283.34/2289.33 c rational objective 2.28571 2618.45/2625.38 c #Conflicts: 305000 | #Constraints: 34527 2618.45/2625.38 c #Conflicts: 306000 | #Constraints: 35527 2618.45/2625.38 c #Conflicts: 307000 | #Constraints: 36527 2618.45/2625.38 c #Conflicts: 308000 | #Constraints: 37527 2618.45/2625.38 c #Conflicts: 309000 | #Constraints: 38527 2618.45/2625.38 c #Conflicts: 310000 | #Constraints: 39527 2618.45/2625.38 c #Conflicts: 311000 | #Constraints: 40527 2618.45/2625.38 c #Conflicts: 312000 | #Constraints: 41527 2618.45/2625.38 c #Conflicts: 313000 | #Constraints: 42527 2618.45/2625.38 c #Conflicts: 314000 | #Constraints: 43527 2618.45/2625.38 c #Conflicts: 315000 | #Constraints: 44527 2618.45/2625.38 c #Conflicts: 316000 | #Constraints: 45528 2618.45/2625.38 c #Conflicts: 317000 | #Constraints: 46528 2618.45/2625.38 c #Conflicts: 318000 | #Constraints: 47528 2618.45/2625.38 c #Conflicts: 319000 | #Constraints: 48528 2618.45/2625.38 c #Conflicts: 320000 | #Constraints: 49528 2618.45/2625.38 c #Conflicts: 321000 | #Constraints: 50529 2618.45/2625.38 c #Conflicts: 322000 | #Constraints: 51529 2618.45/2625.38 c #Conflicts: 323000 | #Constraints: 52529 2618.45/2625.38 c #Conflicts: 324000 | #Constraints: 53530 2618.45/2625.38 c #Conflicts: 325000 | #Constraints: 54530 2618.45/2625.38 c #Conflicts: 326000 | #Constraints: 55530 2618.45/2625.38 c #Conflicts: 327000 | #Constraints: 56530 2618.45/2625.38 c #Conflicts: 328000 | #Constraints: 57530 2618.45/2625.38 c #Conflicts: 329000 | #Constraints: 58530 2618.45/2625.38 c #Conflicts: 330000 | #Constraints: 59530 2618.45/2625.38 c #Conflicts: 331000 | #Constraints: 60531 2618.45/2625.38 c #Conflicts: 332000 | #Constraints: 61531 2618.45/2625.38 c #Conflicts: 333000 | #Constraints: 62531 2618.45/2625.38 c #Conflicts: 334000 | #Constraints: 63531 2618.45/2625.38 c #Conflicts: 335000 | #Constraints: 64531 2618.45/2625.38 c #Conflicts: 336000 | #Constraints: 65531 2618.45/2625.38 c #Conflicts: 337000 | #Constraints: 66531 2618.45/2625.38 c #Conflicts: 338000 | #Constraints: 67531 2618.45/2625.38 c #Conflicts: 339000 | #Constraints: 68531 2618.45/2625.38 c #Conflicts: 340000 | #Constraints: 69531 2618.45/2625.38 c #Conflicts: 341000 | #Constraints: 70531 2618.45/2625.38 c #Conflicts: 342000 | #Constraints: 71533 2618.45/2625.38 c INPROCESSING 2618.45/2625.38 c GARBAGE COLLECT 2618.45/2625.38 c rational objective 2.28571 2746.52/2753.79 c #Conflicts: 343000 | #Constraints: 40189 2746.52/2753.79 c #Conflicts: 344000 | #Constraints: 41189 2746.52/2753.79 c #Conflicts: 345000 | #Constraints: 42189 2746.52/2753.79 c #Conflicts: 346000 | #Constraints: 43194 2746.52/2753.79 c #Conflicts: 347000 | #Constraints: 44198 2746.52/2753.79 c #Conflicts: 348000 | #Constraints: 45207 2746.52/2753.79 c #Conflicts: 349000 | #Constraints: 46214 2746.52/2753.79 c #Conflicts: 350000 | #Constraints: 47221 2746.52/2753.79 c #Conflicts: 351000 | #Constraints: 48232 2746.52/2753.79 c #Conflicts: 352000 | #Constraints: 49237 2746.52/2753.79 c #Conflicts: 353000 | #Constraints: 50244 2746.52/2753.79 c #Conflicts: 354000 | #Constraints: 51250 2746.52/2753.79 c #Conflicts: 355000 | #Constraints: 52257 2746.52/2753.79 c #Conflicts: 356000 | #Constraints: 53264 2746.52/2753.79 c #Conflicts: 357000 | #Constraints: 54270 2746.52/2753.79 c #Conflicts: 358000 | #Constraints: 55274 2746.52/2753.79 c INPROCESSING 2746.52/2753.79 c GARBAGE COLLECT 2746.52/2753.79 c rational objective 2.28571 3172.95/3181.16 c #Conflicts: 359000 | #Constraints: 37137 3172.95/3181.16 c #Conflicts: 360000 | #Constraints: 38147 3172.95/3181.16 c #Conflicts: 361000 | #Constraints: 39153 3172.95/3181.16 c #Conflicts: 362000 | #Constraints: 40157 3172.95/3181.16 c #Conflicts: 363000 | #Constraints: 41164 3172.95/3181.16 c #Conflicts: 364000 | #Constraints: 42171 3172.95/3181.16 c #Conflicts: 365000 | #Constraints: 43178 3172.95/3181.16 c #Conflicts: 366000 | #Constraints: 44186 3172.95/3181.16 c #Conflicts: 367000 | #Constraints: 45191 3172.95/3181.16 c #Conflicts: 368000 | #Constraints: 46199 3172.95/3181.16 c #Conflicts: 369000 | #Constraints: 47208 3172.95/3181.16 c #Conflicts: 370000 | #Constraints: 48216 3172.95/3181.16 c #Conflicts: 371000 | #Constraints: 49225 3172.95/3181.16 c #Conflicts: 372000 | #Constraints: 50232 3172.95/3181.16 c #Conflicts: 373000 | #Constraints: 51241 3172.95/3181.16 c #Conflicts: 374000 | #Constraints: 52248 3172.95/3181.16 c #Conflicts: 375000 | #Constraints: 53256 3172.95/3181.16 c #Conflicts: 376000 | #Constraints: 54260 3172.95/3181.16 c #Conflicts: 377000 | #Constraints: 55266 3172.95/3181.16 c #Conflicts: 378000 | #Constraints: 56270 3172.95/3181.16 c #Conflicts: 379000 | #Constraints: 57275 3172.95/3181.16 c #Conflicts: 380000 | #Constraints: 58280 3172.95/3181.16 c #Conflicts: 381000 | #Constraints: 59285 3172.95/3181.16 c #Conflicts: 382000 | #Constraints: 60291 3172.95/3181.16 c #Conflicts: 383000 | #Constraints: 61294 3172.95/3181.16 c #Conflicts: 384000 | #Constraints: 62299 3172.95/3181.16 c #Conflicts: 385000 | #Constraints: 63307 3172.95/3181.16 c #Conflicts: 386000 | #Constraints: 64314 3172.95/3181.16 c #Conflicts: 387000 | #Constraints: 65319 3172.95/3181.16 c #Conflicts: 388000 | #Constraints: 66325 3172.95/3181.16 c #Conflicts: 389000 | #Constraints: 67329 3172.95/3181.16 c #Conflicts: 390000 | #Constraints: 68336 3172.95/3181.16 c #Conflicts: 391000 | #Constraints: 69340 3172.95/3181.16 c #Conflicts: 392000 | #Constraints: 70343 3172.95/3181.16 c #Conflicts: 393000 | #Constraints: 71349 3172.95/3181.16 c #Conflicts: 394000 | #Constraints: 72358 3172.95/3181.16 c #Conflicts: 395000 | #Constraints: 73367 3172.95/3181.16 c #Conflicts: 396000 | #Constraints: 74374 3172.95/3181.16 c #Conflicts: 397000 | #Constraints: 75381 3172.95/3181.16 c #Conflicts: 398000 | #Constraints: 76386 3172.95/3181.16 c #Conflicts: 399000 | #Constraints: 77392 3172.95/3181.16 c #Conflicts: 400000 | #Constraints: 78396 3172.95/3181.16 c INPROCESSING 3172.95/3181.16 c GARBAGE COLLECT 3172.95/3181.16 c rational objective 2.28571 3385.07/3393.74 c #Conflicts: 401000 | #Constraints: 43931 3385.07/3393.74 c #Conflicts: 402000 | #Constraints: 44931 3385.07/3393.74 c #Conflicts: 403000 | #Constraints: 45931 3385.07/3393.74 c #Conflicts: 404000 | #Constraints: 46931 3385.07/3393.74 c #Conflicts: 405000 | #Constraints: 47931 3385.07/3393.74 c #Conflicts: 406000 | #Constraints: 48931 3385.07/3393.74 c #Conflicts: 407000 | #Constraints: 49931 3385.07/3393.74 c #Conflicts: 408000 | #Constraints: 50931 3385.07/3393.74 c #Conflicts: 409000 | #Constraints: 51931 3385.07/3393.74 c #Conflicts: 410000 | #Constraints: 52931 3385.07/3393.74 c #Conflicts: 411000 | #Constraints: 53932 3385.07/3393.74 c #Conflicts: 412000 | #Constraints: 54932 3385.07/3393.74 c #Conflicts: 413000 | #Constraints: 55932 3385.07/3393.74 c #Conflicts: 414000 | #Constraints: 56932 3385.07/3393.74 c #Conflicts: 415000 | #Constraints: 57932 3385.07/3393.74 c #Conflicts: 416000 | #Constraints: 58932 3385.07/3393.74 c #Conflicts: 417000 | #Constraints: 59933 3385.07/3393.74 c INPROCESSING 3385.07/3393.74 c GARBAGE COLLECT 3385.07/3393.74 c rational objective 2.28571 3600.07/3609.20 c #Conflicts: 418000 | #Constraints: 38641 3600.07/3609.20 c #Conflicts: 419000 | #Constraints: 39642 3600.07/3609.20 c #Conflicts: 420000 | #Constraints: 40642 3600.07/3609.20 c #Conflicts: 421000 | #Constraints: 41642 3600.07/3609.20 c #Conflicts: 422000 | #Constraints: 42642 3600.07/3609.20 c #Conflicts: 423000 | #Constraints: 43642 3600.07/3609.20 c #Conflicts: 424000 | #Constraints: 44642 3600.07/3609.20 c #Conflicts: 425000 | #Constraints: 45642 3600.07/3609.20 c #Conflicts: 426000 | #Constraints: 46642 3600.07/3609.20 c #Conflicts: 427000 | #Constraints: 47643 3600.07/3609.20 c #Conflicts: 428000 | #Constraints: 48643 3600.07/3609.20 c #Conflicts: 429000 | #Constraints: 49643 3600.07/3609.20 c #Conflicts: 430000 | #Constraints: 50643 3600.07/3609.20 c #Conflicts: 431000 | #Constraints: 51643 3600.07/3609.20 c #Conflicts: 432000 | #Constraints: 52643 3600.07/3609.20 c #Conflicts: 433000 | #Constraints: 53643 3600.07/3609.20 c #Conflicts: 434000 | #Constraints: 54643 3600.07/3609.20 c #Conflicts: 435000 | #Constraints: 55644 3600.07/3609.20 c #Conflicts: 436000 | #Constraints: 56644 3600.07/3609.20 c #Conflicts: 437000 | #Constraints: 57645 3600.07/3609.20 c #Conflicts: 438000 | #Constraints: 58645 3600.07/3609.20 c #Conflicts: 439000 | #Constraints: 59645 3600.07/3609.20 c #Conflicts: 440000 | #Constraints: 60645 3600.07/3609.20 c #Conflicts: 441000 | #Constraints: 61645 3600.07/3609.20 c #Conflicts: 442000 | #Constraints: 62646 3600.07/3609.20 c Program interrupted by user. 3600.07/3609.20 c cpu time 3568.57 s 3600.07/3609.20 c deterministic time 322306026465 3.22e+11 3600.07/3609.20 c optimization time 213.812 s 3600.07/3609.20 c total solve time 3354.73 s 3600.07/3609.20 c core-guided solve time 1607.8 s 3600.07/3609.20 c propagation time 2429.68 s 3600.07/3609.20 c conflict analysis time 1044.33 s 3600.07/3609.20 c propagations 291441499 3600.07/3609.20 c resolve steps 14877602 3600.07/3609.20 c decisions 5161302 3600.07/3609.20 c conflicts 442562 3600.07/3609.20 c restarts 1021 3600.07/3609.20 c inprocessing phases 30 3600.07/3609.20 c input clauses 3768 3600.07/3609.20 c input cardinalities 61 3600.07/3609.20 c input general constraints 3826 3600.07/3609.20 c input average constraint length 33.44 3600.07/3609.20 c input average constraint degree 392.22 3600.07/3609.20 c learned clauses 282878 3600.07/3609.20 c learned cardinalities 0 3600.07/3609.20 c learned general constraints 161208 3600.07/3609.20 c learned average constraint length 805.94 3600.07/3609.20 c learned average constraint degree 2953931914.77 3600.07/3609.20 c watched constraints 66302 3600.07/3609.20 c counting constraints 98732 3600.07/3609.20 c gcd simplifications 93690 3600.07/3609.20 c detected cardinalities 0 3600.07/3609.20 c weakened non-implied lits 362584855 3600.07/3609.20 c weakened non-implying lits 603789 3600.07/3609.20 c original variables 3825 3600.07/3609.20 c clausal propagations 31162560 3600.07/3609.20 c cardinality propagations 1047474 3600.07/3609.20 c watched propagations 5409051 3600.07/3609.20 c counting propagations 253319299 3600.07/3609.20 c watch lookups 54257618643 3600.07/3609.20 c watch backjump lookups 50352421587 3600.07/3609.20 c watch checks 200429140463 3600.07/3609.20 c propagation checks 13937635297 3600.07/3609.20 c constraint additions 2735018607 3600.07/3609.20 c trail pops 297043017 3600.07/3609.20 c formula constraints 7450 3600.07/3609.20 c learned constraints 441036 3600.07/3609.20 c bound constraints 54 3600.07/3609.20 c core-guided constraints 151 3600.07/3609.20 c encountered formula constraints 12565908 3600.07/3609.20 c encountered learned constraints 2467035 3600.07/3609.20 c encountered bound constraints 16454 3600.07/3609.20 c encountered core-guided constraints 194917 3600.07/3609.20 c LP total time 69.4078 s 3600.07/3609.20 c LP solve time 63.83 s 3600.07/3609.20 c LP constraints added 7760 3600.07/3609.20 c LP constraints removed 292 3600.07/3609.20 c LP pivots internal 444421 3600.07/3609.20 c LP pivots root 101628 3600.07/3609.20 c LP calls 1806 3600.07/3609.20 c LP optimalities 278 3600.07/3609.20 c LP no pivot count 77 3600.07/3609.20 c LP infeasibilities 1525 3600.07/3609.20 c LP valid Farkas constraints 1525 3600.07/3609.20 c LP learned Farkas constraints 1525 3600.07/3609.20 c LP basis resets 0 3600.07/3609.20 c LP cycling count 0 3600.07/3609.20 c LP singular count 0 3600.07/3609.20 c LP no primal count 0 3600.07/3609.20 c LP no farkas count 0 3600.07/3609.20 c LP other issue count 0 3600.07/3609.20 c LP Gomory cuts 0 3600.07/3609.20 c LP learned cuts 310 3600.07/3609.20 c LP deleted cuts 292 3600.07/3609.20 c LP encountered Gomory constraints 0 3600.07/3609.20 c LP encountered Farkas constraints 57973 3600.07/3609.20 c LP encountered learned Farkas constraints 16352 3600.07/3609.20 c CG auxiliary variables introduced 54 3600.07/3609.20 c CG solutions found 54 3600.07/3609.20 c CG cores constructed 11 3600.07/3609.20 c CG core cardinality constraints returned 0 3600.07/3609.20 c CG unit cores 0 3600.07/3609.20 c CG single cores 11 3600.07/3609.20 c CG blocks removed during cardinality reduction 0 3600.07/3609.20 c CG first core best 0 3600.07/3609.20 c CG decision core best 0 3600.07/3609.20 c CG core reduction tie 0 3600.07/3609.20 c CG core degree average 1.00 3600.07/3609.20 c CG core slack average 212.64 3600.07/3609.20 s SATISFIABLE 3600.07/3609.20 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 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 x1604 x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 x2370 x2371 x2372 x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 x2638 x2639 x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720 x2721 x2722 x2723 x2724 x2725 x2726 x2727 x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 x2800 x2801 x2802 x2803 x2804 x2805 x2806 x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 x2878 x2879 x2880 x2881 x2882 x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 x2952 x2953 x2954 x2955 x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 x3022 x3023 x3024 x3025 x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 x3090 x3091 x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 x3217 x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 x3497 x3498 x3499 x3500 x3501 x3502 x3503 x3504 x3505 x3506 x3507 x3508 x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 x3540 x3541 x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 x3580 x3581 x3582 x3583 x3584 x3585 x3586 x3587 x3588 x3589 x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 x3617 x3618 x3619 x3620 x3621 x3622 x3623 x3624 x3625 x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x3650 x3651 x3652 x3653 x3654 x3655 x3656 x3657 x3658 x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 x3682 x3683 x3684 x3685 x3686 x3687 x3688 x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 x3710 x3711 x3712 x3713 x3714 x3715 x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 x3734 x3735 x3736 x3737 x3738 x3739 x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 x3757 x3758 x3759 x3760 x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 x3776 x3777 x3778 x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 x3792 x3793 x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 x3805 x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 x3815 x3816 -x3817 -x3818 -x3819 -x3820 x3821 x3822 -x3823 -x3824 x3825
OK 2312
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: 63968 MiB (33094 MiB free)
memory of node 1: 64473 MiB (53118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462855-1722346796/watcher-4462855-1722346796 -o /tmp/evaluation-result-4462855-1722346796/solver-4462855-1722346796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7946 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462855-1722346796 --lp-cut-gomory=0 HOME/instance-4462855-1722346796.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=11540, runsolver pid=11537
Current StackSize limit: 8192 KiB
[startup+0.100339 s]*
/proc/loadavg: 4.13 4.10 4.12 5/259 11541
/proc/meminfo: memFree=88272432/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=44740 memory=15412 CPUtime=0.07 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 2748 0 0 0 7 0 0 0 20 0 1 0 1281867 45813760 3853 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 11185 3853 1808 992 0 3043 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44740 KiB
Current children cumulated memory: 15412 KiB
[startup+0.205736 s]*
/proc/loadavg: 4.13 4.10 4.12 5/259 11541
/proc/meminfo: memFree=88266380/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=45896 memory=19308 CPUtime=0.18 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 3190 0 0 0 17 1 0 0 20 0 1 0 1281867 46997504 4827 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 11474 4827 1808 992 0 3332 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 19308 KiB
[startup+0.305735 s]*
/proc/loadavg: 4.13 4.10 4.12 5/259 11541
/proc/meminfo: memFree=88262544/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=46296 memory=19832 CPUtime=0.28 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 3295 0 0 0 26 2 0 0 20 0 1 0 1281867 47407104 4958 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 11574 4958 1808 992 0 3432 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 46296 KiB
Current children cumulated memory: 19832 KiB
[startup+0.700236 s]
/proc/loadavg: 4.13 4.10 4.12 5/259 11541
/proc/meminfo: memFree=88252652/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=51628 memory=24336 CPUtime=0.67 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 4377 0 0 0 63 4 0 0 20 0 1 0 1281867 52867072 6084 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 12907 6084 1895 992 0 4765 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51628 KiB
Current children cumulated memory: 24336 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.10 4.12 5/259 11541
/proc/meminfo: memFree=88226108/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=54588 memory=27824 CPUtime=1.46 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 4750 0 0 0 141 5 0 0 20 0 1 0 1281867 55898112 6956 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 13647 6956 1895 992 0 5505 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 54588 KiB
Current children cumulated memory: 27824 KiB
[startup+3.10567 s]
/proc/loadavg: 4.13 4.10 4.12 5/259 11541
/proc/meminfo: memFree=88118476/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=57972 memory=31504 CPUtime=3.07 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 5656 0 0 0 298 9 0 0 20 0 1 0 1281867 59363328 7876 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 14493 7876 1895 992 0 6351 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 31504 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.10 4.12 5/259 11542
/proc/meminfo: memFree=88034364/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=67180 memory=39472 CPUtime=6.26 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 7110 0 0 0 607 19 0 0 20 0 1 0 1281867 68792320 9868 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 16795 9868 1895 992 0 8653 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67180 KiB
Current children cumulated memory: 39472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.12 5/261 11546
/proc/meminfo: memFree=87842940/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=80440 memory=49160 CPUtime=12.64 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 9038 0 0 0 1228 36 0 0 20 0 1 0 1281867 82370560 12290 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 20110 12290 1895 992 0 11968 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80440 KiB
Current children cumulated memory: 49160 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.11 5/261 11549
/proc/meminfo: memFree=87208924/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=114040 memory=80604 CPUtime=25.42 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 14368 0 0 0 2464 78 0 0 20 0 1 0 1281867 116776960 20151 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 28510 20151 1895 992 0 20368 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 114040 KiB
Current children cumulated memory: 80604 KiB
[startup+51.1068 s]
/proc/loadavg: 4.12 4.10 4.11 5/261 11552
/proc/meminfo: memFree=86167416/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=142388 memory=100948 CPUtime=50.96 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 17375 0 0 0 4949 147 0 0 20 0 1 0 1281867 145805312 25237 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 35597 25237 1895 992 0 27455 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 142388 KiB
Current children cumulated memory: 100948 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.12 5/261 11562
/proc/meminfo: memFree=84279008/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=270796 memory=195848 CPUtime=102.03 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 29889 0 0 0 9952 251 0 0 20 0 1 0 1281867 277295104 48962 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 67699 48962 1895 992 0 59557 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 270796 KiB
Current children cumulated memory: 195848 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/261 11573
/proc/meminfo: memFree=82062764/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=288620 memory=212476 CPUtime=161.89 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 34044 0 0 0 15840 349 0 0 20 0 1 0 1281867 295546880 53119 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 72155 53119 1895 992 0 64013 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 288620 KiB
Current children cumulated memory: 212476 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/262 11584
/proc/meminfo: memFree=80095264/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=346132 memory=298080 CPUtime=221.74 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 48313 0 0 0 21724 450 0 0 20 0 1 0 1281867 354439168 74520 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 86533 74520 1895 992 0 78391 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 346132 KiB
Current children cumulated memory: 298080 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/261 11595
/proc/meminfo: memFree=79395880/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=368148 memory=317552 CPUtime=281.6 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 53226 0 0 0 27650 510 0 0 20 0 1 0 1281867 376983552 79388 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 92037 79388 1895 992 0 83895 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 368148 KiB
Current children cumulated memory: 317552 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/259 11605
/proc/meminfo: memFree=77903208/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=368420 memory=317896 CPUtime=341.44 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 53892 0 0 0 33541 603 0 0 20 0 1 0 1281867 377262080 79474 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 92105 79474 1895 992 0 83963 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 368420 KiB
Current children cumulated memory: 317896 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/259 11617
/proc/meminfo: memFree=75466192/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=471168 memory=390660 CPUtime=401.29 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 60558 0 0 0 39443 686 0 0 20 0 1 0 1281867 482476032 97665 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 117792 97665 1895 992 0 109650 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 471168 KiB
Current children cumulated memory: 390660 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/260 11630
/proc/meminfo: memFree=74174808/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=479832 memory=407864 CPUtime=461.15 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 62929 0 0 0 45362 753 0 0 20 0 1 0 1281867 491347968 101966 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 119958 101966 1895 992 0 111816 0
################
# More data... #
################
Current children cumulated memory: 831552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.30 4.20 4.18 5/260 13874
/proc/meminfo: memFree=95444780/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1058968 memory=831588 CPUtime=2914.71 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 124796 0 0 0 288725 2746 0 0 20 0 1 0 1281867 1084383232 207897 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 264742 207897 1895 992 0 256600 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 1058968 KiB
Current children cumulated memory: 831588 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/260 13885
/proc/meminfo: memFree=94582020/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1065364 memory=837840 CPUtime=2974.58 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 127029 0 0 0 294665 2793 0 0 20 0 1 0 1281867 1090932736 209460 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 266341 209460 1895 992 0 258199 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 1065364 KiB
Current children cumulated memory: 837840 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/261 13954
/proc/meminfo: memFree=93683104/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1115760 memory=905640 CPUtime=3034.44 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 137706 0 0 0 300597 2847 0 0 20 0 1 0 1281867 1142538240 226410 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 278940 226410 1895 992 0 270798 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 1115760 KiB
Current children cumulated memory: 905640 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/261 13965
/proc/meminfo: memFree=92881736/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1147652 memory=961500 CPUtime=3094.31 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 144873 0 0 0 306537 2894 0 0 20 0 1 0 1281867 1175195648 240375 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 286913 240375 1895 992 0 278771 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 1147652 KiB
Current children cumulated memory: 961500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/262 13976
/proc/meminfo: memFree=92174104/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1177868 memory=1016860 CPUtime=3154.18 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 151832 0 0 0 312485 2933 0 0 20 0 1 0 1281867 1206136832 254215 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 294467 254215 1895 992 0 286325 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 1177868 KiB
Current children cumulated memory: 1016860 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/261 13987
/proc/meminfo: memFree=91734392/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1038000 CPUtime=3214.04 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 155915 0 0 0 318439 2965 0 0 20 0 1 0 1281867 1225404416 259500 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 259500 1895 992 0 291029 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1038000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/261 13998
/proc/meminfo: memFree=91426664/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1038000 CPUtime=3273.92 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 156277 0 0 0 324402 2990 0 0 20 0 1 0 1281867 1225404416 259500 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 259500 1895 992 0 291029 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1038000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/258 14008
/proc/meminfo: memFree=91167936/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1038232 CPUtime=3333.78 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 156577 0 0 0 330364 3014 0 0 20 0 1 0 1281867 1225404416 259558 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 259558 1895 992 0 291029 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1038232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/258 14020
/proc/meminfo: memFree=90882872/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1038232 CPUtime=3393.65 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 156861 0 0 0 336327 3038 0 0 20 0 1 0 1281867 1225404416 259558 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 259558 1895 992 0 291029 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1038232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/259 14034
/proc/meminfo: memFree=90487684/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1038232 CPUtime=3453.51 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 157057 0 0 0 342274 3077 0 0 20 0 1 0 1281867 1225404416 259558 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 259558 1895 992 0 291029 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1038232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/259 14045
/proc/meminfo: memFree=90124752/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1044368 CPUtime=3513.37 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 157404 0 0 0 348229 3108 0 0 20 0 1 0 1281867 1225404416 261092 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 261092 1895 992 0 291029 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1044368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/259 14055
/proc/meminfo: memFree=89757508/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1059396 CPUtime=3573.23 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 157826 0 0 0 354185 3138 0 0 20 0 1 0 1281867 1225404416 264849 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 264849 1895 992 0 291029 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1059396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.21 4.15 4.16 5/262 14064
/proc/meminfo: memFree=89617948/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1059396 CPUtime=3600.07 cores=4,6
/proc/11540/stat : 11540 (roundingsat) R 11537 11540 7935 0 -1 4194304 157832 0 0 0 356856 3151 0 0 20 0 1 0 1281867 1225404416 264849 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 264849 1895 992 0 291029 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1059396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.34 s]
# the end of solver process 11540 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.57 s, system=31.5224 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/262 14064
/proc/meminfo: memFree=89617948/131524600 swapFree=131071996/131071996
[pid=11540] ppid=11537 vsize=1196684 memory=1059396 CPUtime=3600.08 cores=4,6
/proc/11540/stat : 11540 (roundingsat) D 11537 11540 7935 0 -1 4194304 157839 0 0 0 356857 3151 0 0 20 0 1 0 1281867 1225404416 264849 134679101440 4194304 8255733 140722549588896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 13 0 0 9037040 9046032 31027200 140722549597022 140722549597284 140722549597284 140722549604297 0
/proc/11540/statm: 299171 264849 1895 992 0 291029 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1196684 KiB
Current children cumulated memory: 1059396 KiB
Child status: 0
Real time (s): 3609.34
CPU time (s): 3600.09
CPU user time (s): 3568.57
CPU system time (s): 31.5224
CPU usage (%): 99.7438
Max. virtual memory (cumulated for all children) (KiB): 1196684
Max. memory (cumulated for all children) (KiB): 1059396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.57
system time used= 31.5224
maximum resident set size= 1059396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 69116496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1104
involuntary context switches= 4819
# summary of solver processes directly reported to runsolver:
# pid: 11540
# total CPU time (s): 3600.09
# total CPU user time (s): 3568.57
# total CPU system time (s): 31.5224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.53628 second user time and 15.0174 second system time
The end
Begin job on nodeC033 at 2024-07-30 15:39:56 IDJOB=4462855 IDBENCH=158576 IDSOLVER=3089 FILE ID=nodeC033/4462855-1722346796 RUNJOBID= nodeC033-1722340763-7946 SLURM_JOB_ID= 8249006 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462855-1722346796/watcher-4462855-1722346796 -o /tmp/evaluation-result-4462855-1722346796/solver-4462855-1722346796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7946 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462855-1722346796 --lp-cut-gomory=0 HOME/instance-4462855-1722346796.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c RANDOM SEED=1778411649 nodeC033.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 : 3673.756 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.99 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 : 3685.165 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 : 7005.79 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 : 3607.412 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.99 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.173 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 : 7005.79 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 : 3639.804 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.99 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 : 3685.188 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 : 7005.79 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 : 3656.228 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.99 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.206 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 : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 88282908 kB MemAvailable: 124578592 kB Buffers: 48152 kB Cached: 37044992 kB SwapCached: 0 kB Active: 163380 kB Inactive: 42516732 kB Active(anon): 1540 kB Inactive(anon): 5606868 kB Active(file): 161840 kB Inactive(file): 36909864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 116832 kB Writeback: 0 kB AnonPages: 5587076 kB Mapped: 97680 kB Shmem: 21336 kB KReclaimable: 127608 kB Slab: 211272 kB SReclaimable: 127608 kB SUnreclaim: 83664 kB KernelStack: 4160 kB PageTables: 20496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7026804 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 3506176 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: 283348 kB DirectMap2M: 8927232 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890048 MiB End job on nodeC033 at 2024-07-30 16:40:05