| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | -270 | 3600.05 | 3609.31 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern50-06.lin.opb |
| MD5SUM | b877664571262cc35a091b0e7e24e61f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -270 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 882 |
| Total number of constraints | 1664 |
| Number of constraints which are clauses | 832 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 882 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 13140 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 13140 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 882 #constraints 1664 0.10/0.11 c bounds - >= -6570 @ 0.013354 0.10/0.11 c rational objective -3285 0.31/0.36 c bounds 0 >= -6570 @ 0.099953 0.31/0.36 c bounds 0 >= -6538 @ 0.100099 0.31/0.36 c bounds 0 >= -6506 @ 0.100186 0.31/0.36 c bounds 0 >= -6474 @ 0.10027 0.31/0.36 c bounds 0 >= -6442 @ 0.100354 0.31/0.36 c bounds 0 >= -6410 @ 0.100434 0.31/0.36 c bounds 0 >= -6378 @ 0.100514 0.31/0.36 c bounds 0 >= -6346 @ 0.100594 0.31/0.36 c bounds 0 >= -6314 @ 0.100674 0.31/0.36 c bounds 0 >= -6282 @ 0.100752 0.31/0.36 c bounds 0 >= -6250 @ 0.10083 0.31/0.36 c bounds 0 >= -6218 @ 0.100906 0.31/0.36 c bounds 0 >= -6186 @ 0.100985 0.31/0.36 c bounds 0 >= -6154 @ 0.101065 0.31/0.36 c bounds 0 >= -6122 @ 0.101145 0.31/0.36 c bounds 0 >= -6090 @ 0.101221 0.31/0.36 c bounds 0 >= -6058 @ 0.101299 0.31/0.36 c bounds 0 >= -6026 @ 0.101377 0.31/0.36 c bounds 0 >= -5994 @ 0.101454 0.31/0.36 c bounds 0 >= -5962 @ 0.101531 0.31/0.36 c bounds 0 >= -5930 @ 0.101608 0.31/0.36 c bounds -54 >= -5930 @ 0.10192 0.31/0.36 c bounds -55 >= -5930 @ 0.102338 0.31/0.36 c bounds -55 >= -5901 @ 0.10262 0.31/0.36 c bounds -56 >= -5901 @ 0.102955 0.31/0.36 c bounds -58 >= -5901 @ 0.210624 0.31/0.36 c bounds -92 >= -5901 @ 0.211205 0.31/0.36 c bounds -126 >= -5901 @ 0.211744 0.31/0.36 c bounds -160 >= -5901 @ 0.212286 0.31/0.36 c bounds -194 >= -5901 @ 0.212825 0.31/0.36 c bounds -208 >= -5901 @ 0.213354 0.31/0.36 c bounds -228 >= -5901 @ 0.213934 0.31/0.36 c bounds -258 >= -5901 @ 0.22854 0.31/0.36 c bounds -259 >= -5901 @ 0.229086 0.31/0.36 c bounds -260 >= -5901 @ 0.270215 0.31/0.36 c bounds -262 >= -5901 @ 0.326397 0.31/0.36 c bounds -262 >= -5877 @ 0.329354 0.31/0.36 c bounds -262 >= -5853 @ 0.329529 0.31/0.36 c bounds -262 >= -5829 @ 0.329692 0.31/0.36 c bounds -262 >= -5805 @ 0.329848 0.31/0.36 c bounds -262 >= -5781 @ 0.330006 0.31/0.36 c bounds -262 >= -5757 @ 0.330031 0.31/0.36 c bounds -262 >= -5733 @ 0.330031 0.31/0.36 c bounds -262 >= -5709 @ 0.330031 0.31/0.36 c bounds -262 >= -5685 @ 0.330031 0.31/0.36 c bounds -262 >= -5661 @ 0.330031 0.31/0.36 c bounds -262 >= -5637 @ 0.330031 0.31/0.36 c bounds -262 >= -5613 @ 0.330104 0.31/0.36 c bounds -262 >= -5589 @ 0.330244 0.31/0.36 c bounds -262 >= -5565 @ 0.330401 0.31/0.36 c bounds -262 >= -5541 @ 0.330538 0.31/0.36 c bounds -262 >= -5517 @ 0.330698 0.31/0.36 c bounds -262 >= -5493 @ 0.33084 0.31/0.36 c bounds -262 >= -5469 @ 0.330996 0.31/0.36 c bounds -262 >= -5445 @ 0.331031 0.31/0.36 c bounds -262 >= -5421 @ 0.331031 0.31/0.36 c bounds -262 >= -5397 @ 0.331031 0.31/0.36 c bounds -262 >= -5373 @ 0.331031 0.31/0.36 c bounds -262 >= -5349 @ 0.331031 0.31/0.36 c bounds -262 >= -5325 @ 0.331031 0.31/0.36 c bounds -262 >= -5301 @ 0.331031 0.31/0.36 c bounds -262 >= -5277 @ 0.331031 0.31/0.36 c bounds -262 >= -5253 @ 0.331031 0.31/0.37 c bounds -262 >= -5229 @ 0.331031 0.31/0.37 c bounds -262 >= -5205 @ 0.331031 0.31/0.37 c bounds -262 >= -5181 @ 0.331031 0.31/0.37 c bounds -262 >= -5157 @ 0.331031 0.31/0.37 c bounds -262 >= -5133 @ 0.331031 0.31/0.37 c bounds -262 >= -5109 @ 0.331098 0.31/0.37 c bounds -262 >= -5085 @ 0.331244 0.31/0.37 c bounds -262 >= -5061 @ 0.331366 0.31/0.37 c bounds -262 >= -5037 @ 0.331507 0.31/0.37 c bounds -262 >= -5013 @ 0.331627 0.31/0.37 c bounds -262 >= -4989 @ 0.33177 0.31/0.37 c bounds -262 >= -4965 @ 0.331889 0.31/0.37 c bounds -262 >= -4941 @ 0.332023 0.31/0.37 c bounds -262 >= -4917 @ 0.332144 0.31/0.37 c bounds -262 >= -4893 @ 0.332289 0.31/0.37 c bounds -262 >= -4869 @ 0.332405 0.31/0.37 c bounds -262 >= -4845 @ 0.332545 0.31/0.37 c bounds -262 >= -4821 @ 0.332659 0.31/0.37 c bounds -262 >= -4797 @ 0.332798 0.31/0.37 c bounds -262 >= -4773 @ 0.33291 0.31/0.37 c bounds -262 >= -4749 @ 0.333045 0.31/0.37 c bounds -262 >= -4725 @ 0.333156 0.31/0.37 c bounds -262 >= -4701 @ 0.333293 0.31/0.37 c bounds -262 >= -4677 @ 0.333406 0.31/0.37 c bounds -262 >= -4653 @ 0.33354 0.31/0.37 c bounds -262 >= -4629 @ 0.333647 0.31/0.37 c bounds -262 >= -4605 @ 0.33378 0.31/0.37 c bounds -262 >= -4581 @ 0.333886 0.31/0.37 c bounds -262 >= -4557 @ 0.334016 0.31/0.37 c bounds -262 >= -4533 @ 0.334122 0.31/0.37 c bounds -262 >= -4509 @ 0.334253 0.31/0.37 c bounds -262 >= -4485 @ 0.334355 0.31/0.37 c bounds -262 >= -4461 @ 0.334481 0.31/0.37 c bounds -262 >= -4437 @ 0.334582 0.31/0.37 c bounds -262 >= -4413 @ 0.334711 0.31/0.37 c bounds -262 >= -4389 @ 0.334812 0.31/0.37 c bounds -262 >= -4365 @ 0.334935 0.31/0.37 c bounds -262 >= -4341 @ 0.335034 0.31/0.37 c bounds -262 >= -4317 @ 0.33516 0.31/0.37 c bounds -262 >= -4293 @ 0.335259 0.31/0.37 c bounds -262 >= -4269 @ 0.33538 0.31/0.37 c bounds -262 >= -4245 @ 0.335475 0.31/0.37 c bounds -262 >= -4221 @ 0.335596 0.31/0.37 c bounds -262 >= -4197 @ 0.335689 0.31/0.37 c bounds -262 >= -4173 @ 0.335809 0.31/0.37 c bounds -262 >= -4149 @ 0.335901 0.31/0.37 c bounds -262 >= -4125 @ 0.336029 0.31/0.37 c bounds -262 >= -4101 @ 0.33612 0.31/0.37 c bounds -262 >= -4077 @ 0.336239 0.31/0.37 c bounds -262 >= -4053 @ 0.336329 0.31/0.37 c bounds -262 >= -4029 @ 0.336459 0.31/0.37 c bounds -262 >= -4005 @ 0.33655 0.31/0.37 c bounds -262 >= -3981 @ 0.336678 0.31/0.37 c bounds -262 >= -3957 @ 0.336769 0.31/0.37 c bounds -262 >= -3933 @ 0.336879 0.31/0.37 c bounds -262 >= -3909 @ 0.336964 0.31/0.37 c bounds -262 >= -3885 @ 0.337069 0.31/0.37 c bounds -262 >= -3861 @ 0.337152 0.31/0.37 c bounds -262 >= -3837 @ 0.337525 0.31/0.37 c bounds -262 >= -3813 @ 0.338137 0.88/0.91 c bounds -262 >= -3789 @ 0.341003 0.88/0.91 c bounds -262 >= -3765 @ 0.346434 0.88/0.91 c bounds -262 >= -3741 @ 0.37386 0.88/0.91 c #Conflicts: 1000 | #Constraints: 3205 0.88/0.91 c bounds -264 >= -3741 @ 0.468813 0.88/0.91 c bounds -264 >= -3717 @ 0.618693 0.88/0.91 c #Conflicts: 2000 | #Constraints: 4218 0.88/0.91 c INPROCESSING 0.88/0.91 c GARBAGE COLLECT 0.88/0.91 c rational objective -3278 2.00/2.09 c bounds -264 >= -3693 @ 1.38175 2.00/2.09 c bounds -266 >= -3693 @ 1.40117 2.00/2.09 c #Conflicts: 3000 | #Constraints: 4098 2.00/2.09 c bounds -268 >= -3693 @ 1.7423 2.00/2.09 c #Conflicts: 4000 | #Constraints: 5104 2.00/2.09 c INPROCESSING 2.00/2.09 c GARBAGE COLLECT 2.00/2.09 c rational objective -3025.75 3.18/3.20 c #Conflicts: 5000 | #Constraints: 4508 3.18/3.20 c #Conflicts: 6000 | #Constraints: 5511 3.18/3.20 c INPROCESSING 3.18/3.20 c GARBAGE COLLECT 3.18/3.20 c rational objective -2996 7.27/7.36 c #Conflicts: 7000 | #Constraints: 4508 7.27/7.36 c #Conflicts: 8000 | #Constraints: 5516 7.27/7.36 c bounds -268 >= -3669 @ 4.2992 7.27/7.36 c #Conflicts: 9000 | #Constraints: 6534 7.27/7.36 c INPROCESSING 7.27/7.36 c GARBAGE COLLECT 7.27/7.36 c #Conflicts: 10000 | #Constraints: 5273 7.27/7.36 c #Conflicts: 11000 | #Constraints: 6273 7.27/7.36 c #Conflicts: 12000 | #Constraints: 7276 7.27/7.36 c INPROCESSING 7.27/7.36 c GARBAGE COLLECT 7.27/7.36 c rational objective -2981.5 9.67/9.70 c #Conflicts: 13000 | #Constraints: 5819 9.67/9.70 c #Conflicts: 14000 | #Constraints: 7436 9.67/9.70 c #Conflicts: 15000 | #Constraints: 8760 9.67/9.70 c INPROCESSING 9.67/9.70 c GARBAGE COLLECT 9.67/9.70 c rational objective -2961.49 12.75/12.82 c #Conflicts: 16000 | #Constraints: 6453 12.75/12.82 c #Conflicts: 17000 | #Constraints: 7454 12.75/12.82 c bounds -268 >= -3645 @ 12.3848 12.75/12.82 c #Conflicts: 18000 | #Constraints: 8493 12.75/12.82 c INPROCESSING 12.75/12.82 c GARBAGE COLLECT 12.75/12.82 WSVECS04 Frhs2[772]: 6 -4.00004 0 shouldn't be 12.75/12.82 WSVECS04 Frhs2[794]: 6 -24.0001 0 shouldn't be 12.75/12.83 c rational objective -2955.06 15.96/16.09 c #Conflicts: 19000 | #Constraints: 6243 15.96/16.09 c #Conflicts: 20000 | #Constraints: 7763 15.96/16.09 c #Conflicts: 21000 | #Constraints: 9476 15.96/16.09 c INPROCESSING 15.96/16.09 c GARBAGE COLLECT 15.96/16.09 c rational objective -2937.75 21.34/21.47 c #Conflicts: 22000 | #Constraints: 6735 21.34/21.47 c #Conflicts: 23000 | #Constraints: 7736 21.34/21.47 c #Conflicts: 24000 | #Constraints: 8742 21.34/21.47 c #Conflicts: 25000 | #Constraints: 9744 21.34/21.47 c INPROCESSING 21.34/21.47 c GARBAGE COLLECT 21.34/21.47 c rational objective -2925.86 23.73/23.85 c #Conflicts: 26000 | #Constraints: 6887 23.73/23.85 c #Conflicts: 27000 | #Constraints: 8186 23.73/23.85 c bounds -269 >= -3645 @ 22.0825 23.73/23.85 c #Conflicts: 28000 | #Constraints: 9237 23.73/23.85 c bounds -270 >= -3645 @ 22.8709 23.73/23.85 c #Conflicts: 29000 | #Constraints: 10471 23.73/23.85 c INPROCESSING 23.73/23.85 c GARBAGE COLLECT 23.73/23.85 c rational objective -2915.11 26.62/26.71 c #Conflicts: 30000 | #Constraints: 7526 26.62/26.71 c #Conflicts: 31000 | #Constraints: 9069 26.62/26.71 c #Conflicts: 32000 | #Constraints: 10571 26.62/26.71 c #Conflicts: 33000 | #Constraints: 12075 26.62/26.71 c INPROCESSING 26.62/26.71 c GARBAGE COLLECT 26.62/26.71 c rational objective -2899.3 33.31/33.46 c #Conflicts: 34000 | #Constraints: 8144 33.31/33.46 c #Conflicts: 35000 | #Constraints: 9144 33.31/33.46 c #Conflicts: 36000 | #Constraints: 10147 33.31/33.46 c #Conflicts: 37000 | #Constraints: 11150 33.31/33.46 c INPROCESSING 33.31/33.46 c GARBAGE COLLECT 33.31/33.46 c rational objective -2894.99 36.49/36.64 c #Conflicts: 38000 | #Constraints: 7823 36.49/36.64 c #Conflicts: 39000 | #Constraints: 8969 36.49/36.64 c #Conflicts: 40000 | #Constraints: 10463 36.49/36.64 c #Conflicts: 41000 | #Constraints: 11950 36.49/36.64 c INPROCESSING 36.49/36.64 c GARBAGE COLLECT 36.49/36.64 c rational objective -2868.04 41.38/41.54 c #Conflicts: 42000 | #Constraints: 8128 41.38/41.54 c #Conflicts: 43000 | #Constraints: 9828 41.38/41.54 c #Conflicts: 44000 | #Constraints: 11474 41.38/41.54 c #Conflicts: 45000 | #Constraints: 13128 41.38/41.54 c #Conflicts: 46000 | #Constraints: 14634 41.38/41.54 c INPROCESSING 41.38/41.54 c GARBAGE COLLECT 41.38/41.54 c rational objective -2858.95 54.35/54.52 c #Conflicts: 47000 | #Constraints: 9362 54.35/54.52 c #Conflicts: 48000 | #Constraints: 10369 54.35/54.52 c #Conflicts: 49000 | #Constraints: 11374 54.35/54.52 c #Conflicts: 50000 | #Constraints: 12385 54.35/54.52 c #Conflicts: 51000 | #Constraints: 13391 54.35/54.52 c INPROCESSING 54.35/54.52 c GARBAGE COLLECT 54.35/54.52 c #Conflicts: 52000 | #Constraints: 8826 54.35/54.52 c #Conflicts: 53000 | #Constraints: 10039 54.35/54.52 c #Conflicts: 54000 | #Constraints: 11385 54.35/54.52 c #Conflicts: 55000 | #Constraints: 12604 54.35/54.52 c #Conflicts: 56000 | #Constraints: 13901 54.35/54.52 c INPROCESSING 54.35/54.52 c GARBAGE COLLECT 54.35/54.52 c rational objective -2836.01 59.24/59.41 c #Conflicts: 57000 | #Constraints: 9072 59.24/59.41 c #Conflicts: 58000 | #Constraints: 10618 59.24/59.41 c #Conflicts: 59000 | #Constraints: 12262 59.24/59.41 c #Conflicts: 60000 | #Constraints: 13762 59.24/59.41 c #Conflicts: 61000 | #Constraints: 15257 59.24/59.41 c INPROCESSING 59.24/59.41 c GARBAGE COLLECT 59.24/59.41 c rational objective -2797.93 70.31/70.54 c #Conflicts: 62000 | #Constraints: 9696 70.31/70.54 c #Conflicts: 63000 | #Constraints: 10704 70.31/70.54 c #Conflicts: 64000 | #Constraints: 11715 70.31/70.54 c #Conflicts: 65000 | #Constraints: 12719 70.31/70.54 c #Conflicts: 66000 | #Constraints: 13723 70.31/70.54 c INPROCESSING 70.31/70.54 c GARBAGE COLLECT 70.31/70.54 c rational objective -2767.47 75.00/75.27 c #Conflicts: 67000 | #Constraints: 8698 75.00/75.27 c #Conflicts: 68000 | #Constraints: 9698 75.00/75.27 c #Conflicts: 69000 | #Constraints: 10740 75.00/75.27 c #Conflicts: 70000 | #Constraints: 12108 75.00/75.27 c #Conflicts: 71000 | #Constraints: 13622 75.00/75.27 c #Conflicts: 72000 | #Constraints: 15215 75.00/75.27 c INPROCESSING 75.00/75.27 c GARBAGE COLLECT 75.00/75.27 c rational objective -2752.48 80.79/81.05 c #Conflicts: 73000 | #Constraints: 10064 80.79/81.05 c #Conflicts: 74000 | #Constraints: 11346 80.79/81.05 c #Conflicts: 75000 | #Constraints: 12647 80.79/81.05 c #Conflicts: 76000 | #Constraints: 14212 80.79/81.05 c #Conflicts: 77000 | #Constraints: 15678 80.79/81.05 c #Conflicts: 78000 | #Constraints: 16960 80.79/81.05 c INPROCESSING 80.79/81.05 c GARBAGE COLLECT 80.79/81.05 c rational objective -2741.15 87.88/88.14 c #Conflicts: 79000 | #Constraints: 10593 87.88/88.14 c #Conflicts: 80000 | #Constraints: 11606 87.88/88.14 c #Conflicts: 81000 | #Constraints: 12619 87.88/88.14 c bounds -270 >= -3622 @ 86.8494 87.88/88.14 WSVECS04 Frhs2[114]: 6 -8 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[115]: 6 -24 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[116]: 6 -16 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[667]: 6 -4 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[723]: 6 -32 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[730]: 6 -20 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[731]: 6 -10 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[844]: 6 -24 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[845]: 6 -20 0 shouldn't be 87.88/88.14 WSVECS04 Frhs2[861]: 6 -10 0 shouldn't be 95.86/96.19 c #Conflicts: 82000 | #Constraints: 13641 95.86/96.19 c #Conflicts: 83000 | #Constraints: 14641 95.86/96.19 c #Conflicts: 84000 | #Constraints: 15641 95.86/96.19 c INPROCESSING 95.86/96.19 c GARBAGE COLLECT 95.86/96.19 c #Conflicts: 85000 | #Constraints: 10337 95.86/96.19 c #Conflicts: 86000 | #Constraints: 11838 95.86/96.19 c #Conflicts: 87000 | #Constraints: 13347 95.86/96.19 c #Conflicts: 88000 | #Constraints: 14854 95.86/96.19 c #Conflicts: 89000 | #Constraints: 16356 95.86/96.19 c #Conflicts: 90000 | #Constraints: 17856 95.86/96.19 c INPROCESSING 95.86/96.19 c GARBAGE COLLECT 95.86/96.19 c rational objective -2699.05 113.60/113.98 c #Conflicts: 91000 | #Constraints: 10978 113.60/113.98 c #Conflicts: 92000 | #Constraints: 11979 113.60/113.98 c #Conflicts: 93000 | #Constraints: 12983 113.60/113.98 c #Conflicts: 94000 | #Constraints: 13983 113.60/113.98 c #Conflicts: 95000 | #Constraints: 14986 113.60/113.98 c #Conflicts: 96000 | #Constraints: 15989 113.60/113.98 c INPROCESSING 113.60/113.98 c GARBAGE COLLECT 113.60/113.98 c rational objective -2671.79 121.79/122.16 c #Conflicts: 97000 | #Constraints: 9829 121.79/122.16 c #Conflicts: 98000 | #Constraints: 11197 121.79/122.16 c #Conflicts: 99000 | #Constraints: 12868 121.79/122.16 c #Conflicts: 100000 | #Constraints: 14400 121.79/122.16 c #Conflicts: 101000 | #Constraints: 15929 121.79/122.16 c #Conflicts: 102000 | #Constraints: 17445 121.79/122.16 c #Conflicts: 103000 | #Constraints: 19050 121.79/122.16 c INPROCESSING 121.79/122.16 c GARBAGE COLLECT 121.79/122.16 c rational objective -2649.19 132.15/132.55 c #Conflicts: 104000 | #Constraints: 12004 132.15/132.55 c #Conflicts: 105000 | #Constraints: 13542 132.15/132.55 c #Conflicts: 106000 | #Constraints: 15063 132.15/132.55 c #Conflicts: 107000 | #Constraints: 16506 132.15/132.55 c #Conflicts: 108000 | #Constraints: 17750 132.15/132.55 c #Conflicts: 109000 | #Constraints: 19270 132.15/132.55 c #Conflicts: 110000 | #Constraints: 20824 132.15/132.55 c INPROCESSING 132.15/132.55 c GARBAGE COLLECT 132.15/132.55 c rational objective -2616.08 161.48/161.96 c #Conflicts: 111000 | #Constraints: 12515 161.48/161.96 c #Conflicts: 112000 | #Constraints: 13521 161.48/161.96 c #Conflicts: 113000 | #Constraints: 14525 161.48/161.96 c #Conflicts: 114000 | #Constraints: 15530 161.48/161.96 c #Conflicts: 115000 | #Constraints: 16530 161.48/161.96 c #Conflicts: 116000 | #Constraints: 17536 161.48/161.96 c #Conflicts: 117000 | #Constraints: 18546 161.48/161.96 c INPROCESSING 161.48/161.96 c GARBAGE COLLECT 161.48/161.96 c rational objective -2558.98 172.35/172.83 c #Conflicts: 118000 | #Constraints: 11455 172.35/172.83 c #Conflicts: 119000 | #Constraints: 12695 172.35/172.83 c #Conflicts: 120000 | #Constraints: 13755 172.35/172.83 c #Conflicts: 121000 | #Constraints: 14783 172.35/172.83 c #Conflicts: 122000 | #Constraints: 16025 172.35/172.83 c #Conflicts: 123000 | #Constraints: 17181 172.35/172.83 c #Conflicts: 124000 | #Constraints: 18348 172.35/172.83 c INPROCESSING 172.35/172.83 c GARBAGE COLLECT 172.35/172.83 c rational objective -2534.13 209.46/210.06 c #Conflicts: 125000 | #Constraints: 11231 209.46/210.06 c #Conflicts: 126000 | #Constraints: 12231 209.46/210.06 c #Conflicts: 127000 | #Constraints: 13231 209.46/210.06 c #Conflicts: 128000 | #Constraints: 14231 209.46/210.06 c #Conflicts: 129000 | #Constraints: 15235 209.46/210.06 c #Conflicts: 130000 | #Constraints: 16253 209.46/210.06 c #Conflicts: 131000 | #Constraints: 17267 209.46/210.06 c INPROCESSING 209.46/210.06 c GARBAGE COLLECT 209.46/210.06 c #Conflicts: 132000 | #Constraints: 10484 209.46/210.06 c #Conflicts: 133000 | #Constraints: 11977 209.46/210.06 c #Conflicts: 134000 | #Constraints: 13592 209.46/210.06 c #Conflicts: 135000 | #Constraints: 15191 209.46/210.06 c #Conflicts: 136000 | #Constraints: 16326 209.46/210.06 c #Conflicts: 137000 | #Constraints: 17434 209.46/210.06 c #Conflicts: 138000 | #Constraints: 18878 209.46/210.06 c #Conflicts: 139000 | #Constraints: 20405 209.46/210.06 c INPROCESSING 209.46/210.06 c GARBAGE COLLECT 209.46/210.06 WSVECS04 Frhs2[5]: 6 -2.16674 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[7]: 6 -48 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[9]: 6 0 18.5001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[11]: 6 0 11.5001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[13]: 6 0 12 shouldn't be 209.46/210.06 WSVECS04 Frhs2[17]: 6 0 24.9167 shouldn't be 209.46/210.06 WSVECS04 Frhs2[25]: 6 0 0.210547 shouldn't be 209.46/210.06 WSVECS04 Frhs2[26]: 6 -48.5655 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[30]: 6 -13.6661 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[33]: 6 -25.4599 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[42]: 6 -5.21633 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[44]: 6 -10.55 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[45]: 6 0 31.1588 shouldn't be 209.46/210.06 WSVECS04 Frhs2[48]: 6 -3.19865 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[105]: 6 -8.00004 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[108]: 6 -16 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[154]: 6 -8.00002 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[159]: 6 -24 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[183]: 6 0 11.679 shouldn't be 209.46/210.06 WSVECS04 Frhs2[199]: 6 -24 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[200]: 6 -16 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[206]: 6 -8.00007 0 shouldn't be 209.46/210.06 WSVECS04 Frhs2[234]: 6 0 4.00002 shouldn't be 209.46/210.06 WSVECS04 Frhs2[235]: 6 0 8.00003 shouldn't be 209.46/210.06 WSVECS04 Frhs2[236]: 6 0 8.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[237]: 6 0 4.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[239]: 6 0 4.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[241]: 6 0 4.00005 shouldn't be 209.46/210.06 WSVECS04 Frhs2[242]: 6 0 4.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[243]: 6 0 12.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[244]: 6 0 16.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[245]: 6 0 12.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[246]: 6 0 4.00009 shouldn't be 209.46/210.06 WSVECS04 Frhs2[247]: 6 0 16.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[248]: 6 0 4.00009 shouldn't be 209.46/210.06 WSVECS04 Frhs2[249]: 6 0 12 shouldn't be 209.46/210.06 WSVECS04 Frhs2[250]: 6 0 4.00006 shouldn't be 209.46/210.06 WSVECS04 Frhs2[251]: 6 0 4.00009 shouldn't be 209.46/210.06 WSVECS04 Frhs2[253]: 6 0 24.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[255]: 6 0 4.00005 shouldn't be 209.46/210.06 WSVECS04 Frhs2[256]: 6 0 24 shouldn't be 209.46/210.06 WSVECS04 Frhs2[257]: 6 0 4.00005 shouldn't be 209.46/210.06 WSVECS04 Frhs2[258]: 6 0 12.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[259]: 6 0 4.00005 shouldn't be 209.46/210.06 WSVECS04 Frhs2[260]: 6 0 4.00005 shouldn't be 209.46/210.06 WSVECS04 Frhs2[261]: 6 0 24 shouldn't be 209.46/210.06 WSVECS04 Frhs2[264]: 6 0 4.00004 shouldn't be 209.46/210.06 WSVECS04 Frhs2[265]: 6 0 24.0001 shouldn't be 209.46/210.06 WSVECS04 Frhs2[266]: 6 0 4.00006 shouldn't be 209.46/210.06 WSVECS04 Frhs2[267]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[268]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[269]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[271]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[272]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[273]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[274]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[277]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[278]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[279]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[280]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[281]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[282]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[284]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[285]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[286]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[287]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[288]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[290]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[291]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[292]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[293]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[294]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[295]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[296]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[297]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[298]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[299]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[300]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[301]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[302]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[303]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[304]: 6 0 4.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[305]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[306]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[307]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[308]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[309]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[310]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[311]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[312]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[313]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[314]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[315]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[317]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[318]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[319]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[320]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[321]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[322]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[323]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[324]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[325]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[327]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[329]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[330]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[331]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[332]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[333]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[335]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[336]: 6 0 4.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[338]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[340]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[341]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[342]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[343]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[344]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[345]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[346]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[347]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[348]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[349]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[350]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[352]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[355]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[357]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[358]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[363]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[364]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[365]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[367]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[368]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[369]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[370]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[371]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[372]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[374]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[376]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[377]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[378]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[379]: 6 0 16 shouldn't be 209.46/210.07 WSVECS04 Frhs2[380]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[381]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[382]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[383]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[384]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[385]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[386]: 6 0 4.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[387]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[388]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[391]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[392]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[393]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[394]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[395]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[396]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[397]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[398]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[399]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[400]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[401]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[402]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[403]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[404]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[405]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[407]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[408]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[409]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[411]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[412]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[413]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[414]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[416]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[418]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[419]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[420]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[421]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[422]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[423]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[424]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[426]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[427]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[428]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[430]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[431]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[432]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[433]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[434]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[435]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[436]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[437]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[438]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[439]: 6 0 4.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[440]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[441]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[442]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[443]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[444]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[445]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[446]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[447]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[448]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[449]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[450]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[452]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[453]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[454]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[455]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[456]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[458]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[459]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[460]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[461]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[462]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[468]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[469]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[470]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[471]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[472]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[473]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[474]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[475]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[476]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[479]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[483]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[484]: 6 -89.193 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[485]: 6 0 12.3302 shouldn't be 209.46/210.07 WSVECS04 Frhs2[486]: 6 -36.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[487]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[489]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[491]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[492]: 6 0 22.8071 shouldn't be 209.46/210.07 WSVECS04 Frhs2[493]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[494]: 6 0 4.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[495]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[497]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[498]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[499]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[501]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[503]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[504]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[507]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[508]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[510]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[511]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[512]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[513]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[514]: 6 0 12.3159 shouldn't be 209.46/210.07 WSVECS04 Frhs2[516]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[517]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[518]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[520]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[521]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[522]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[524]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[525]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[527]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[528]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[530]: 6 0 38.1425 shouldn't be 209.46/210.07 WSVECS04 Frhs2[531]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[533]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[534]: 6 0 4.00002 shouldn't be 209.46/210.07 WSVECS04 Frhs2[535]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[536]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[537]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[539]: 6 0 4.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[540]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[541]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[542]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[543]: 6 0 4.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[544]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[545]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[546]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[547]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[548]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[549]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[550]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[558]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[559]: 6 0 18.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[561]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[562]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[563]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[566]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[572]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[574]: 6 0 4.08094 shouldn't be 209.46/210.07 WSVECS04 Frhs2[584]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[586]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[588]: 6 0 4.00008 shouldn't be 209.46/210.07 WSVECS04 Frhs2[589]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[590]: 6 0 4.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[591]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[592]: 6 0 11.1198 shouldn't be 209.46/210.07 WSVECS04 Frhs2[594]: 6 0 24.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[596]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[598]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[603]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[605]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[606]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[607]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[610]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[612]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[614]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[616]: 6 0 12.4162 shouldn't be 209.46/210.07 WSVECS04 Frhs2[618]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[619]: 6 0 11.2212 shouldn't be 209.46/210.07 WSVECS04 Frhs2[622]: 6 0 24.1388 shouldn't be 209.46/210.07 WSVECS04 Frhs2[623]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[624]: 6 0 4.00007 shouldn't be 209.46/210.07 WSVECS04 Frhs2[629]: 6 -2.00006 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[630]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[631]: 6 0 34.1318 shouldn't be 209.46/210.07 WSVECS04 Frhs2[632]: 6 0 12.0001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[634]: 6 0 24 shouldn't be 209.46/210.07 WSVECS04 Frhs2[635]: 6 0 4.00003 shouldn't be 209.46/210.07 WSVECS04 Frhs2[636]: 6 0 12 shouldn't be 209.46/210.07 WSVECS04 Frhs2[637]: 6 0 4.00006 shouldn't be 209.46/210.07 WSVECS04 Frhs2[641]: 6 0 4.00005 shouldn't be 209.46/210.07 WSVECS04 Frhs2[643]: 6 0 8.00001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[646]: 6 0 8.00009 shouldn't be 209.46/210.07 WSVECS04 Frhs2[658]: 6 -20.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[663]: 6 -16.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[665]: 6 -15 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[669]: 6 -6.50007 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[696]: 6 0 5.00004 shouldn't be 209.46/210.07 WSVECS04 Frhs2[704]: 6 -24 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[705]: 6 -20 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[706]: 6 -10.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[713]: 6 -32 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[714]: 6 -24 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[716]: 6 -10.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[717]: 6 -4.00009 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[718]: 6 -32.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[720]: 6 -20 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[721]: 6 -10 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[724]: 6 -19.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[725]: 6 -20.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[733]: 6 -32.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[736]: 6 -3.66676 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[740]: 6 -17.5001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[741]: 6 0 29.5001 shouldn't be 209.46/210.07 WSVECS04 Frhs2[756]: 6 -12.7767 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[760]: 6 0 40 shouldn't be 209.46/210.07 WSVECS04 Frhs2[774]: 6 -24 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[775]: 6 -20.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[783]: 6 -32 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[784]: 6 -16.2234 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[787]: 6 -4.00002 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[788]: 6 -28.1053 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[791]: 6 -10.0001 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[793]: 6 -28.1053 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[794]: 6 0 5.11855 shouldn't be 209.46/210.07 WSVECS04 Frhs2[799]: 6 -14 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[805]: 6 0 22.1499 shouldn't be 209.46/210.07 WSVECS04 Frhs2[809]: 6 0 76.9421 shouldn't be 209.46/210.07 WSVECS04 Frhs2[812]: 6 -11.2083 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[821]: 6 0 25.193 shouldn't be 209.46/210.07 WSVECS04 Frhs2[831]: 6 0 29.4891 shouldn't be 209.46/210.07 WSVECS04 Frhs2[835]: 6 -18.3158 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[839]: 6 -2.8695 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[859]: 6 0 2.14654 shouldn't be 209.46/210.07 WSVECS04 Frhs2[865]: 6 -15.4833 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[873]: 6 -13.3765 0 shouldn't be 209.46/210.07 WSVECS04 Frhs2[874]: 6 -14.8383 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[3]: 6 -25 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[5]: 6 -2.16667 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[7]: 6 -48 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[9]: 6 0 18.5 shouldn't be 209.57/210.12 WSVECS04 Frhs2[11]: 6 0 11.5 shouldn't be 209.57/210.12 WSVECS04 Frhs2[13]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[25]: 6 0 0.210527 shouldn't be 209.57/210.12 WSVECS04 Frhs2[30]: 6 -13.666 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[33]: 6 -25.4598 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[38]: 6 -79.6458 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[42]: 6 -5.21629 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[44]: 6 -10.55 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[45]: 6 0 31.1587 shouldn't be 209.57/210.12 WSVECS04 Frhs2[48]: 6 -3.19855 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[105]: 6 -8 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[108]: 6 -16 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[162]: 6 -8 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[183]: 6 0 11.6789 shouldn't be 209.57/210.12 WSVECS04 Frhs2[194]: 6 -8 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[199]: 6 -24 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[200]: 6 -16 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[226]: 6 -8 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[231]: 6 -16 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[235]: 6 0 8 shouldn't be 209.57/210.12 WSVECS04 Frhs2[236]: 6 0 8 shouldn't be 209.57/210.12 WSVECS04 Frhs2[237]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[243]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[244]: 6 0 16 shouldn't be 209.57/210.12 WSVECS04 Frhs2[245]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[247]: 6 0 16 shouldn't be 209.57/210.12 WSVECS04 Frhs2[248]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[251]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[253]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[256]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[257]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[258]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[261]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[263]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[265]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[266]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[267]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[271]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[272]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[274]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[275]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[279]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[280]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[281]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[282]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[285]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[286]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[288]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[290]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[291]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[292]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[294]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[297]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[298]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[299]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[300]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[301]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[303]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[304]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[305]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[306]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[307]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[308]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[309]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[310]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[311]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[312]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[313]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[314]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[315]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[316]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[317]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[318]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[319]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[321]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[322]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[324]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[325]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[326]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[330]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[333]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[334]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[335]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[341]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[342]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[343]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[344]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[346]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[348]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[349]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[352]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[355]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[357]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[360]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[363]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[364]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[365]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[367]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[369]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[370]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[371]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[372]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[377]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[378]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[379]: 6 0 16 shouldn't be 209.57/210.12 WSVECS04 Frhs2[380]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[382]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[384]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[385]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[386]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[387]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[388]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[390]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[391]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[393]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[394]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[395]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[396]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[397]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[398]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[399]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[400]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[404]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[405]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[406]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[407]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[411]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[413]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[414]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[415]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[416]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[417]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[418]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[420]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[423]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[424]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[425]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[426]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[427]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[432]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[433]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[434]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[435]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[436]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[437]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[438]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[441]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[442]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[443]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[445]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[447]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[448]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[449]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[450]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[451]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[452]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[454]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[456]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[459]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[460]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[461]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[468]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[469]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[470]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[472]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[473]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[475]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[476]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[479]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[483]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[484]: 6 -89.193 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[485]: 6 0 12.3301 shouldn't be 209.57/210.12 WSVECS04 Frhs2[486]: 6 -36 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[487]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[491]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[492]: 6 0 22.807 shouldn't be 209.57/210.12 WSVECS04 Frhs2[493]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[495]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[497]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[499]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[500]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[501]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[503]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[504]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[508]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[510]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[513]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[514]: 6 0 12.3158 shouldn't be 209.57/210.12 WSVECS04 Frhs2[517]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[521]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[522]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[524]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[525]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[527]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[528]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[531]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[533]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[534]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[535]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[536]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[537]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[540]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[541]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[542]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[544]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[546]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[547]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[548]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[550]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[558]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[559]: 6 0 18 shouldn't be 209.57/210.12 WSVECS04 Frhs2[560]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[562]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[564]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[574]: 6 0 4.08092 shouldn't be 209.57/210.12 WSVECS04 Frhs2[584]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[586]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[589]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[590]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[591]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[593]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[594]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[596]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[598]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[600]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[603]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[605]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[607]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[609]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[612]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[614]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[615]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[616]: 6 0 12.4161 shouldn't be 209.57/210.12 WSVECS04 Frhs2[618]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[619]: 6 0 11.2212 shouldn't be 209.57/210.12 WSVECS04 Frhs2[621]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[622]: 6 0 24.1387 shouldn't be 209.57/210.12 WSVECS04 Frhs2[623]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[624]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[629]: 6 -2 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[630]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[631]: 6 0 34.1318 shouldn't be 209.57/210.12 WSVECS04 Frhs2[632]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[633]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[634]: 6 0 24 shouldn't be 209.57/210.12 WSVECS04 Frhs2[636]: 6 0 12 shouldn't be 209.57/210.12 WSVECS04 Frhs2[641]: 6 0 4 shouldn't be 209.57/210.12 WSVECS04 Frhs2[643]: 6 0 8 shouldn't be 209.57/210.12 WSVECS04 Frhs2[646]: 6 0 8 shouldn't be 209.57/210.12 WSVECS04 Frhs2[648]: 6 0 81.5 shouldn't be 209.57/210.12 WSVECS04 Frhs2[663]: 6 -16 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[669]: 6 -6.5 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[696]: 6 0 5 shouldn't be 209.57/210.12 WSVECS04 Frhs2[704]: 6 -24 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[705]: 6 -20 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[706]: 6 -10 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[713]: 6 -32 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[714]: 6 -24 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[716]: 6 -10 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[717]: 6 -4 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[718]: 6 -32 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[720]: 6 -20 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[721]: 6 -10 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[724]: 6 -19 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[725]: 6 -20 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[733]: 6 -32 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[736]: 6 -3.66667 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[740]: 6 -17.5 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[756]: 6 -12.7767 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[775]: 6 -20 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[784]: 6 -16.2233 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[785]: 6 -20 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[788]: 6 -28.1053 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[793]: 6 -28.1053 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[799]: 6 -14 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[802]: 6 -4 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[805]: 6 0 22.1499 shouldn't be 209.57/210.12 WSVECS04 Frhs2[809]: 6 0 76.9421 shouldn't be 209.57/210.12 WSVECS04 Frhs2[812]: 6 -11.2082 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[821]: 6 0 25.193 shouldn't be 209.57/210.12 WSVECS04 Frhs2[832]: 6 0 20 shouldn't be 209.57/210.12 WSVECS04 Frhs2[839]: 6 -2.86943 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[849]: 6 0 31.5872 shouldn't be 209.57/210.12 WSVECS04 Frhs2[865]: 6 -15.4832 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[873]: 6 -13.3764 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[874]: 6 -14.8382 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[875]: 6 -32.5005 0 shouldn't be 209.57/210.12 WSVECS04 Frhs2[877]: 6 -20 0 shouldn't be 223.12/223.77 c #Conflicts: 140000 | #Constraints: 12282 223.12/223.77 c #Conflicts: 141000 | #Constraints: 13282 223.12/223.77 c #Conflicts: 142000 | #Constraints: 14282 223.12/223.77 c #Conflicts: 143000 | #Constraints: 15403 223.12/223.77 c #Conflicts: 144000 | #Constraints: 16923 223.12/223.77 c #Conflicts: 145000 | #Constraints: 18443 223.12/223.77 c #Conflicts: 146000 | #Constraints: 19968 223.12/223.77 c #Conflicts: 147000 | #Constraints: 21517 223.12/223.77 c INPROCESSING 223.12/223.77 c GARBAGE COLLECT 223.12/223.77 c rational objective -2481.22 251.95/252.61 c #Conflicts: 148000 | #Constraints: 12903 251.95/252.61 c #Conflicts: 149000 | #Constraints: 13913 251.95/252.61 c #Conflicts: 150000 | #Constraints: 14918 251.95/252.61 c #Conflicts: 151000 | #Constraints: 15920 251.95/252.61 c #Conflicts: 152000 | #Constraints: 16926 251.95/252.61 c #Conflicts: 153000 | #Constraints: 17928 251.95/252.61 c #Conflicts: 154000 | #Constraints: 18936 251.95/252.61 c #Conflicts: 155000 | #Constraints: 19941 251.95/252.61 c INPROCESSING 251.95/252.61 c GARBAGE COLLECT 251.95/252.61 c rational objective -2436.28 266.61/267.31 c #Conflicts: 156000 | #Constraints: 12162 266.61/267.31 c #Conflicts: 157000 | #Constraints: 13197 266.61/267.31 c #Conflicts: 158000 | #Constraints: 14771 266.61/267.31 c #Conflicts: 159000 | #Constraints: 16178 266.61/267.31 c #Conflicts: 160000 | #Constraints: 17594 266.61/267.31 c #Conflicts: 161000 | #Constraints: 19100 266.61/267.31 c #Conflicts: 162000 | #Constraints: 20634 266.61/267.31 c #Conflicts: 163000 | #Constraints: 22279 266.61/267.31 c INPROCESSING 266.61/267.31 c GARBAGE COLLECT 266.61/267.31 c rational objective -2399.52 302.81/303.68 c #Conflicts: 164000 | #Constraints: 13238 302.81/303.68 c #Conflicts: 165000 | #Constraints: 14249 302.81/303.68 c #Conflicts: 166000 | #Constraints: 15255 302.81/303.68 c #Conflicts: 167000 | #Constraints: 16260 302.81/303.68 c #Conflicts: 168000 | #Constraints: 17264 302.81/303.68 c #Conflicts: 169000 | #Constraints: 18267 302.81/303.68 c #Conflicts: 170000 | #Constraints: 19283 302.81/303.68 c #Conflicts: 171000 | #Constraints: 20292 302.81/303.68 c INPROCESSING 302.81/303.68 c GARBAGE COLLECT 302.81/303.68 c rational objective -2364.18 314.78/315.68 c #Conflicts: 172000 | #Constraints: 12014 314.78/315.68 c #Conflicts: 173000 | #Constraints: 13046 314.78/315.68 c #Conflicts: 174000 | #Constraints: 14196 314.78/315.68 c #Conflicts: 175000 | #Constraints: 15713 314.78/315.68 c #Conflicts: 176000 | #Constraints: 16892 314.78/315.68 c #Conflicts: 177000 | #Constraints: 18059 314.78/315.68 c #Conflicts: 178000 | #Constraints: 19434 314.78/315.68 c #Conflicts: 179000 | #Constraints: 20521 314.78/315.68 c #Conflicts: 180000 | #Constraints: 21601 314.78/315.68 c INPROCESSING 314.78/315.68 c GARBAGE COLLECT 314.78/315.68 WSVECS04 Frhs2[16]: 6 -199.101 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[38]: 6 -104.094 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[44]: 6 -178.152 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[45]: 6 0 233.468 shouldn't be 314.78/315.68 WSVECS04 Frhs2[46]: 6 0 17.5442 shouldn't be 314.78/315.68 WSVECS04 Frhs2[47]: 6 0 57.3845 shouldn't be 314.78/315.68 WSVECS04 Frhs2[105]: 6 -8 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[109]: 6 -8 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[135]: 6 0 366.229 shouldn't be 314.78/315.68 WSVECS04 Frhs2[159]: 6 -16 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[160]: 6 -16 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[161]: 6 -8 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[162]: 6 -8 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[164]: 6 -16 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[167]: 6 -24 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[194]: 6 -8 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[235]: 6 0 8 shouldn't be 314.78/315.68 WSVECS04 Frhs2[242]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[265]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[269]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[270]: 6 0 1568.07 shouldn't be 314.78/315.68 WSVECS04 Frhs2[271]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[275]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[283]: 6 0 3204.84 shouldn't be 314.78/315.68 WSVECS04 Frhs2[293]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[294]: 6 0 12 shouldn't be 314.78/315.68 WSVECS04 Frhs2[304]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[310]: 6 0 18.375 shouldn't be 314.78/315.68 WSVECS04 Frhs2[313]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[319]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[323]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[329]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[334]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[343]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[347]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[349]: 6 0 310.076 shouldn't be 314.78/315.68 WSVECS04 Frhs2[350]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[358]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[369]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[374]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[391]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[401]: 6 0 273.896 shouldn't be 314.78/315.68 WSVECS04 Frhs2[403]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[408]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[410]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[412]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[417]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[422]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[430]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[437]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[439]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[440]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[444]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[447]: 6 0 12 shouldn't be 314.78/315.68 WSVECS04 Frhs2[457]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[462]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[476]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[488]: 6 -6 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[489]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[502]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[505]: 6 0 1.75532 shouldn't be 314.78/315.68 WSVECS04 Frhs2[514]: 6 0 277.468 shouldn't be 314.78/315.68 WSVECS04 Frhs2[519]: 6 0 21.3482 shouldn't be 314.78/315.68 WSVECS04 Frhs2[521]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[526]: 6 0 965.906 shouldn't be 314.78/315.68 WSVECS04 Frhs2[534]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[536]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[546]: 6 0 12 shouldn't be 314.78/315.68 WSVECS04 Frhs2[559]: 6 0 18 shouldn't be 314.78/315.68 WSVECS04 Frhs2[566]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[570]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[574]: 6 0 60.3025 shouldn't be 314.78/315.68 WSVECS04 Frhs2[585]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[588]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[593]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[594]: 6 0 24 shouldn't be 314.78/315.68 WSVECS04 Frhs2[599]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[606]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[612]: 6 0 181.821 shouldn't be 314.78/315.68 WSVECS04 Frhs2[613]: 6 0 134.1 shouldn't be 314.78/315.68 WSVECS04 Frhs2[616]: 6 0 129.608 shouldn't be 314.78/315.68 WSVECS04 Frhs2[617]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[628]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[635]: 6 0 4 shouldn't be 314.78/315.68 WSVECS04 Frhs2[638]: 6 0 40.7472 shouldn't be 314.78/315.68 WSVECS04 Frhs2[646]: 6 0 8 shouldn't be 314.78/315.68 WSVECS04 Frhs2[657]: 6 0 1 shouldn't be 314.78/315.68 WSVECS04 Frhs2[659]: 6 -321.564 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[672]: 6 0 301.814 shouldn't be 314.78/315.68 WSVECS04 Frhs2[676]: 6 0 295.814 shouldn't be 314.78/315.68 WSVECS04 Frhs2[704]: 6 -110.63 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[717]: 6 -4 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[725]: 6 -12 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[733]: 6 -32 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[756]: 6 -99.1337 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[785]: 6 -24.4444 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[786]: 6 -10 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[787]: 6 -4 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[789]: 6 -57.8227 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[791]: 6 -10 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[810]: 6 -1.84309 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[821]: 6 0 33.6834 shouldn't be 314.78/315.68 WSVECS04 Frhs2[832]: 6 0 20 shouldn't be 314.78/315.68 WSVECS04 Frhs2[836]: 6 -10.4322 0 shouldn't be 314.78/315.68 WSVECS04 Frhs2[847]: 6 0 132.815 shouldn't be 314.78/315.68 WSVECS04 Frhs2[873]: 6 0 5.17024 shouldn't be 314.78/315.68 WSVECS04 Frhs2[874]: 6 0 130.605 shouldn't be 370.74/371.77 c #Conflicts: 181000 | #Constraints: 13217 370.74/371.77 c #Conflicts: 182000 | #Constraints: 14786 370.74/371.77 c #Conflicts: 183000 | #Constraints: 16338 370.74/371.77 c #Conflicts: 184000 | #Constraints: 17883 370.74/371.77 c #Conflicts: 185000 | #Constraints: 19469 370.74/371.77 c #Conflicts: 186000 | #Constraints: 21043 370.74/371.77 c #Conflicts: 187000 | #Constraints: 22687 370.74/371.77 c #Conflicts: 188000 | #Constraints: 24350 370.74/371.77 c #Conflicts: 189000 | #Constraints: 25960 370.74/371.77 c INPROCESSING 370.74/371.77 c GARBAGE COLLECT 370.74/371.77 c #Conflicts: 190000 | #Constraints: 15095 370.74/371.77 c #Conflicts: 191000 | #Constraints: 16100 370.74/371.77 c #Conflicts: 192000 | #Constraints: 17100 370.74/371.77 c #Conflicts: 193000 | #Constraints: 18145 370.74/371.77 c #Conflicts: 194000 | #Constraints: 19153 370.74/371.77 c #Conflicts: 195000 | #Constraints: 20160 370.74/371.77 c #Conflicts: 196000 | #Constraints: 21163 370.74/371.77 c #Conflicts: 197000 | #Constraints: 22167 370.74/371.77 c #Conflicts: 198000 | #Constraints: 23167 370.74/371.77 c INPROCESSING 370.74/371.77 c GARBAGE COLLECT 370.74/371.77 c rational objective -2381.75 428.50/429.67 c #Conflicts: 199000 | #Constraints: 13757 428.50/429.67 c #Conflicts: 200000 | #Constraints: 15193 428.50/429.67 c #Conflicts: 201000 | #Constraints: 16761 428.50/429.67 c #Conflicts: 202000 | #Constraints: 18277 428.50/429.67 c #Conflicts: 203000 | #Constraints: 19798 428.50/429.67 c #Conflicts: 204000 | #Constraints: 21328 428.50/429.67 c #Conflicts: 205000 | #Constraints: 22821 428.50/429.67 c #Conflicts: 206000 | #Constraints: 24332 428.50/429.67 c #Conflicts: 207000 | #Constraints: 25838 428.50/429.67 c INPROCESSING 428.50/429.67 c GARBAGE COLLECT 428.50/429.67 c #Conflicts: 208000 | #Constraints: 14998 428.50/429.67 c #Conflicts: 209000 | #Constraints: 15998 428.50/429.67 c #Conflicts: 210000 | #Constraints: 17000 428.50/429.67 c #Conflicts: 211000 | #Constraints: 18006 428.50/429.67 c #Conflicts: 212000 | #Constraints: 19008 428.50/429.67 c #Conflicts: 213000 | #Constraints: 20013 428.50/429.67 c #Conflicts: 214000 | #Constraints: 21020 428.50/429.67 c #Conflicts: 215000 | #Constraints: 22021 428.50/429.67 c #Conflicts: 216000 | #Constraints: 23021 428.50/429.67 c INPROCESSING 428.50/429.67 c GARBAGE COLLECT 428.50/429.67 c rational objective -2343.57 644.35/646.04 c #Conflicts: 217000 | #Constraints: 13372 644.35/646.04 c #Conflicts: 218000 | #Constraints: 15053 644.35/646.04 c #Conflicts: 219000 | #Constraints: 16790 644.35/646.04 c #Conflicts: 220000 | #Constraints: 18522 644.35/646.04 c #Conflicts: 221000 | #Constraints: 20253 644.35/646.04 c #Conflicts: 222000 | #Constraints: 21980 644.35/646.04 c #Conflicts: 223000 | #Constraints: 23676 644.35/646.04 c #Conflicts: 224000 | #Constraints: 25196 644.35/646.04 c #Conflicts: 225000 | #Constraints: 26724 644.35/646.04 c #Conflicts: 226000 | #Constraints: 28230 644.35/646.04 c INPROCESSING 644.35/646.04 c GARBAGE COLLECT 644.35/646.04 c #Conflicts: 227000 | #Constraints: 16273 644.35/646.04 c #Conflicts: 228000 | #Constraints: 17279 644.35/646.04 c #Conflicts: 229000 | #Constraints: 18282 644.35/646.04 c #Conflicts: 230000 | #Constraints: 19287 644.35/646.04 c #Conflicts: 231000 | #Constraints: 20294 644.35/646.04 c #Conflicts: 232000 | #Constraints: 21307 644.35/646.04 c #Conflicts: 233000 | #Constraints: 22359 644.35/646.04 c #Conflicts: 234000 | #Constraints: 23370 644.35/646.04 c #Conflicts: 235000 | #Constraints: 24374 644.35/646.04 c #Conflicts: 236000 | #Constraints: 25386 644.35/646.04 c INPROCESSING 644.35/646.04 c GARBAGE COLLECT 644.35/646.04 c #Conflicts: 237000 | #Constraints: 14859 644.35/646.04 c #Conflicts: 238000 | #Constraints: 16348 644.35/646.04 c #Conflicts: 239000 | #Constraints: 17915 644.35/646.04 c #Conflicts: 240000 | #Constraints: 19480 644.35/646.04 c #Conflicts: 241000 | #Constraints: 21071 644.35/646.04 c #Conflicts: 242000 | #Constraints: 22634 644.35/646.04 c #Conflicts: 243000 | #Constraints: 24242 644.35/646.04 c #Conflicts: 244000 | #Constraints: 25873 644.35/646.04 c #Conflicts: 245000 | #Constraints: 27440 644.35/646.04 c #Conflicts: 246000 | #Constraints: 28993 644.35/646.04 c INPROCESSING 644.35/646.04 c GARBAGE COLLECT 644.35/646.04 c #Conflicts: 247000 | #Constraints: 17318 644.35/646.04 c #Conflicts: 248000 | #Constraints: 18912 644.35/646.04 c #Conflicts: 249000 | #Constraints: 20479 644.35/646.04 c #Conflicts: 250000 | #Constraints: 22045 644.35/646.04 c #Conflicts: 251000 | #Constraints: 23650 644.35/646.04 c #Conflicts: 252000 | #Constraints: 25298 644.35/646.04 c #Conflicts: 253000 | #Constraints: 26867 644.35/646.04 c #Conflicts: 254000 | #Constraints: 28478 644.35/646.04 c #Conflicts: 255000 | #Constraints: 30093 644.35/646.04 c #Conflicts: 256000 | #Constraints: 31798 644.35/646.04 c INPROCESSING 644.35/646.04 c GARBAGE COLLECT 644.35/646.04 c #Conflicts: 257000 | #Constraints: 18025 644.35/646.04 c #Conflicts: 258000 | #Constraints: 19030 644.35/646.04 c #Conflicts: 259000 | #Constraints: 20046 644.35/646.04 c #Conflicts: 260000 | #Constraints: 21046 644.35/646.04 c #Conflicts: 261000 | #Constraints: 22050 644.35/646.04 c #Conflicts: 262000 | #Constraints: 23054 644.35/646.04 c #Conflicts: 263000 | #Constraints: 24058 644.35/646.04 c #Conflicts: 264000 | #Constraints: 25063 644.35/646.04 c #Conflicts: 265000 | #Constraints: 26067 644.35/646.04 c #Conflicts: 266000 | #Constraints: 27068 644.35/646.04 c INPROCESSING 644.35/646.04 c GARBAGE COLLECT 644.35/646.04 c #Conflicts: 267000 | #Constraints: 15415 644.35/646.04 c #Conflicts: 268000 | #Constraints: 16717 644.35/646.04 c #Conflicts: 269000 | #Constraints: 18312 644.35/646.04 c #Conflicts: 270000 | #Constraints: 19874 644.35/646.04 c #Conflicts: 271000 | #Constraints: 21418 644.35/646.04 c #Conflicts: 272000 | #Constraints: 22938 644.35/646.04 c #Conflicts: 273000 | #Constraints: 24459 644.35/646.04 c #Conflicts: 274000 | #Constraints: 25971 644.35/646.04 c #Conflicts: 275000 | #Constraints: 27452 644.35/646.04 c #Conflicts: 276000 | #Constraints: 28994 644.35/646.04 c #Conflicts: 277000 | #Constraints: 30620 644.35/646.04 c INPROCESSING 644.35/646.04 c GARBAGE COLLECT 644.35/646.04 c #Conflicts: 278000 | #Constraints: 17955 644.35/646.04 c #Conflicts: 279000 | #Constraints: 19616 644.35/646.04 WSVECS04 Frhs2[6]: 6 0 35.6112 shouldn't be 644.35/646.04 WSVECS04 Frhs2[10]: 6 0 16.6667 shouldn't be 644.35/646.04 WSVECS04 Frhs2[13]: 6 0 55.1667 shouldn't be 644.35/646.04 WSVECS04 Frhs2[26]: 6 -46.4298 0 shouldn't be 644.35/646.04 WSVECS04 Frhs2[27]: 6 0 72.8517 shouldn't be 644.35/646.04 WSVECS04 Frhs2[30]: 6 -1.40424 0 shouldn't be 644.35/646.04 WSVECS04 Frhs2[32]: 6 0 84.0836 shouldn't be 644.35/646.04 WSVECS04 Frhs2[44]: 6 -81.7665 0 shouldn't be 644.35/646.04 WSVECS04 Frhs2[45]: 6 0 76.7742 shouldn't be 644.35/646.04 WSVECS04 Frhs2[203]: 6 0 79.3269 shouldn't be 644.35/646.04 WSVECS04 Frhs2[234]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[235]: 6 0 8.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[236]: 6 0 8.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[237]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[238]: 6 0 8.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[239]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[241]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[242]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[243]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[244]: 6 0 16.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[245]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[246]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[247]: 6 0 16.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[248]: 6 0 4.00009 shouldn't be 644.35/646.04 WSVECS04 Frhs2[252]: 6 0 20 shouldn't be 644.35/646.04 WSVECS04 Frhs2[253]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[254]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[255]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[256]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[257]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[258]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[259]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[260]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[261]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[263]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[265]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[266]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[267]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[269]: 6 0 4.00009 shouldn't be 644.35/646.04 WSVECS04 Frhs2[270]: 6 0 18.8334 shouldn't be 644.35/646.04 WSVECS04 Frhs2[271]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[274]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[276]: 6 0 19.5 shouldn't be 644.35/646.04 WSVECS04 Frhs2[277]: 6 0 4.00006 shouldn't be 644.35/646.04 WSVECS04 Frhs2[279]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[280]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[281]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[282]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[283]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[284]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[285]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[286]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[287]: 6 0 4.00006 shouldn't be 644.35/646.04 WSVECS04 Frhs2[288]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[289]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[290]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[291]: 6 0 4.00007 shouldn't be 644.35/646.04 WSVECS04 Frhs2[294]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[295]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[296]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[297]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[298]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[299]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[303]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[305]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[306]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[308]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[309]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[311]: 6 0 4.00006 shouldn't be 644.35/646.04 WSVECS04 Frhs2[312]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[315]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[317]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[318]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[319]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[321]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[322]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[323]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[324]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[325]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[326]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[327]: 6 0 4.00006 shouldn't be 644.35/646.04 WSVECS04 Frhs2[328]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[329]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[330]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[331]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[332]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[333]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[334]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[335]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[336]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[338]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[340]: 6 0 4.00008 shouldn't be 644.35/646.04 WSVECS04 Frhs2[341]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[342]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[344]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[346]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[348]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[350]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[352]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[355]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[357]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[358]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[359]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[364]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[366]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[367]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[369]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[370]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[372]: 6 0 4.00007 shouldn't be 644.35/646.04 WSVECS04 Frhs2[373]: 6 0 61 shouldn't be 644.35/646.04 WSVECS04 Frhs2[374]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[376]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[377]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[378]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[379]: 6 0 36.3334 shouldn't be 644.35/646.04 WSVECS04 Frhs2[380]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[381]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[382]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[383]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[384]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[385]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[386]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[387]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[388]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[389]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[390]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[391]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[392]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[393]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[396]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[397]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[398]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[399]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[400]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[401]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[402]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[403]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[404]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[405]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[407]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[409]: 6 0 179.745 shouldn't be 644.35/646.04 WSVECS04 Frhs2[410]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[411]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[412]: 6 0 4.00006 shouldn't be 644.35/646.04 WSVECS04 Frhs2[413]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[414]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[416]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[418]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[420]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[422]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[423]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[424]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[426]: 6 0 4.00001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[427]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[428]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[429]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[430]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[431]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[432]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[433]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[434]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[435]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[436]: 6 0 245.424 shouldn't be 644.35/646.04 WSVECS04 Frhs2[437]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[438]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[441]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[442]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[443]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[445]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[446]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[447]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[450]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[451]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[452]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[453]: 6 0 4.00003 shouldn't be 644.35/646.04 WSVECS04 Frhs2[454]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[455]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[456]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[458]: 6 0 4.00009 shouldn't be 644.35/646.04 WSVECS04 Frhs2[459]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[460]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[461]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[468]: 6 0 24 shouldn't be 644.35/646.04 WSVECS04 Frhs2[469]: 6 0 99.9213 shouldn't be 644.35/646.04 WSVECS04 Frhs2[470]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[471]: 6 0 4.00004 shouldn't be 644.35/646.04 WSVECS04 Frhs2[472]: 6 0 24.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[473]: 6 0 4.00005 shouldn't be 644.35/646.04 WSVECS04 Frhs2[474]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[476]: 6 0 4.00002 shouldn't be 644.35/646.04 WSVECS04 Frhs2[479]: 6 0 12 shouldn't be 644.35/646.04 WSVECS04 Frhs2[483]: 6 0 12.0001 shouldn't be 644.35/646.04 WSVECS04 Frhs2[485]: 6 0 52.7293 shouldn't be 644.35/646.04 WSVECS04 Frhs2[486]: 6 -16.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[487]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[489]: 6 0 4.00005 shouldn't be 644.35/646.05 WSVECS04 Frhs2[495]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[497]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[498]: 6 0 4.00003 shouldn't be 644.35/646.05 WSVECS04 Frhs2[499]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[500]: 6 0 75.8712 shouldn't be 644.35/646.05 WSVECS04 Frhs2[501]: 6 0 12 shouldn't be 644.35/646.05 WSVECS04 Frhs2[502]: 6 0 4.00006 shouldn't be 644.35/646.05 WSVECS04 Frhs2[503]: 6 0 4.00004 shouldn't be 644.35/646.05 WSVECS04 Frhs2[504]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[506]: 6 0 1.33338 shouldn't be 644.35/646.05 WSVECS04 Frhs2[510]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[511]: 6 0 4.00006 shouldn't be 644.35/646.05 WSVECS04 Frhs2[515]: 6 0 24.0327 shouldn't be 644.35/646.05 WSVECS04 Frhs2[516]: 6 0 4.00003 shouldn't be 644.35/646.05 WSVECS04 Frhs2[517]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[523]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[524]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[525]: 6 0 4.00002 shouldn't be 644.35/646.05 WSVECS04 Frhs2[531]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[534]: 6 0 4.00002 shouldn't be 644.35/646.05 WSVECS04 Frhs2[535]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[536]: 6 0 4.00006 shouldn't be 644.35/646.05 WSVECS04 Frhs2[540]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[541]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[542]: 6 0 12 shouldn't be 644.35/646.05 WSVECS04 Frhs2[544]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[545]: 6 0 87.7646 shouldn't be 644.35/646.05 WSVECS04 Frhs2[546]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[547]: 6 0 4.00001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[548]: 6 0 4.00003 shouldn't be 644.35/646.05 WSVECS04 Frhs2[550]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[553]: 6 0 20 shouldn't be 644.35/646.05 WSVECS04 Frhs2[556]: 6 0 4.00006 shouldn't be 644.35/646.05 WSVECS04 Frhs2[558]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[560]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[562]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[564]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[566]: 6 0 4.00009 shouldn't be 644.35/646.05 WSVECS04 Frhs2[567]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[568]: 6 0 20.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[569]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[570]: 6 0 4.00006 shouldn't be 644.35/646.05 WSVECS04 Frhs2[571]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[572]: 6 0 4.00005 shouldn't be 644.35/646.05 WSVECS04 Frhs2[573]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[574]: 6 0 28.3425 shouldn't be 644.35/646.05 WSVECS04 Frhs2[575]: 6 0 6.72394 shouldn't be 644.35/646.05 WSVECS04 Frhs2[576]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[578]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[580]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[582]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[585]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[586]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[587]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[588]: 6 0 4.00003 shouldn't be 644.35/646.05 WSVECS04 Frhs2[589]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[590]: 6 0 4.00007 shouldn't be 644.35/646.05 WSVECS04 Frhs2[591]: 6 0 12 shouldn't be 644.35/646.05 WSVECS04 Frhs2[592]: 6 0 11.478 shouldn't be 644.35/646.05 WSVECS04 Frhs2[594]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[596]: 6 0 12 shouldn't be 644.35/646.05 WSVECS04 Frhs2[598]: 6 0 24 shouldn't be 644.35/646.05 WSVECS04 Frhs2[603]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[604]: 6 0 52.6243 shouldn't be 644.35/646.05 WSVECS04 Frhs2[606]: 6 0 4.00005 shouldn't be 644.35/646.05 WSVECS04 Frhs2[607]: 6 0 24.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[608]: 6 0 4.00002 shouldn't be 644.35/646.05 WSVECS04 Frhs2[610]: 6 0 4.00006 shouldn't be 644.35/646.05 WSVECS04 Frhs2[614]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[615]: 6 0 4.00007 shouldn't be 644.35/646.05 WSVECS04 Frhs2[620]: 6 0 4.00003 shouldn't be 644.35/646.05 WSVECS04 Frhs2[622]: 6 0 55.436 shouldn't be 644.35/646.05 WSVECS04 Frhs2[627]: 6 0 12.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[635]: 6 0 4.00001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[638]: 6 0 35.7208 shouldn't be 644.35/646.05 WSVECS04 Frhs2[644]: 6 0 12 shouldn't be 644.35/646.05 WSVECS04 Frhs2[646]: 6 0 8.00004 shouldn't be 644.35/646.05 WSVECS04 Frhs2[697]: 6 0 16.0001 shouldn't be 644.35/646.05 WSVECS04 Frhs2[704]: 6 -20.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[705]: 6 -17.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[706]: 6 -6.00007 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[713]: 6 -32.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[716]: 6 -10 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[720]: 6 -20.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[724]: 6 -43.8507 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[736]: 6 -60.7457 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[744]: 6 0 42.6564 shouldn't be 644.35/646.05 WSVECS04 Frhs2[768]: 6 0 0.568363 shouldn't be 644.35/646.05 WSVECS04 Frhs2[774]: 6 -24.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[775]: 6 -20 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[783]: 6 -32.0001 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[784]: 6 -2.75692 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[788]: 6 -18.5664 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[791]: 6 -10 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[793]: 6 -18.5664 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[799]: 6 -15.4926 0 shouldn't be 644.35/646.05 WSVECS04 Frhs2[817]: 6 0 4.00005 shouldn't be 644.35/646.05 WSVECS04 Frhs2[842]: 6 0 3.51199 shouldn't be 881.24/883.62 c #Conflicts: 280000 | #Constraints: 21159 881.24/883.62 c #Conflicts: 281000 | #Constraints: 22426 881.24/883.62 c #Conflicts: 282000 | #Constraints: 24059 881.24/883.62 c #Conflicts: 283000 | #Constraints: 25712 881.24/883.62 c #Conflicts: 284000 | #Constraints: 27335 881.24/883.62 c #Conflicts: 285000 | #Constraints: 28749 881.24/883.62 c #Conflicts: 286000 | #Constraints: 30322 881.24/883.62 c #Conflicts: 287000 | #Constraints: 31730 881.24/883.62 c #Conflicts: 288000 | #Constraints: 33370 881.24/883.62 c INPROCESSING 881.24/883.62 c GARBAGE COLLECT 881.24/883.62 c #Conflicts: 289000 | #Constraints: 18835 881.24/883.62 c #Conflicts: 290000 | #Constraints: 19840 881.24/883.62 c #Conflicts: 291000 | #Constraints: 20854 881.24/883.62 c #Conflicts: 292000 | #Constraints: 21858 881.24/883.62 c #Conflicts: 293000 | #Constraints: 22866 881.24/883.62 c #Conflicts: 294000 | #Constraints: 23871 881.24/883.62 c #Conflicts: 295000 | #Constraints: 24878 881.24/883.62 c #Conflicts: 296000 | #Constraints: 25879 881.24/883.62 c #Conflicts: 297000 | #Constraints: 26883 881.24/883.62 c #Conflicts: 298000 | #Constraints: 27891 881.24/883.62 c #Conflicts: 299000 | #Constraints: 28896 881.24/883.62 c INPROCESSING 881.24/883.62 c GARBAGE COLLECT 881.24/883.62 c #Conflicts: 300000 | #Constraints: 16662 881.24/883.62 c #Conflicts: 301000 | #Constraints: 17794 881.24/883.62 c #Conflicts: 302000 | #Constraints: 19218 881.24/883.62 c #Conflicts: 303000 | #Constraints: 20760 881.24/883.62 c #Conflicts: 304000 | #Constraints: 22016 881.24/883.62 c #Conflicts: 305000 | #Constraints: 23059 881.24/883.62 c #Conflicts: 306000 | #Constraints: 24380 881.24/883.62 c #Conflicts: 307000 | #Constraints: 25727 881.24/883.62 c #Conflicts: 308000 | #Constraints: 27012 881.24/883.62 c #Conflicts: 309000 | #Constraints: 28622 881.24/883.62 c #Conflicts: 310000 | #Constraints: 30201 881.24/883.62 c INPROCESSING 881.24/883.62 c GARBAGE COLLECT 881.24/883.62 c #Conflicts: 311000 | #Constraints: 17183 881.24/883.62 c #Conflicts: 312000 | #Constraints: 18196 881.24/883.62 c #Conflicts: 313000 | #Constraints: 19211 881.24/883.62 c #Conflicts: 314000 | #Constraints: 20216 881.24/883.62 c #Conflicts: 315000 | #Constraints: 21221 881.24/883.62 c #Conflicts: 316000 | #Constraints: 22222 881.24/883.62 c #Conflicts: 317000 | #Constraints: 23226 881.24/883.62 c #Conflicts: 318000 | #Constraints: 24233 881.24/883.62 c #Conflicts: 319000 | #Constraints: 25237 881.24/883.62 c #Conflicts: 320000 | #Constraints: 26237 881.24/883.62 c #Conflicts: 321000 | #Constraints: 27250 881.24/883.62 c INPROCESSING 881.24/883.62 c GARBAGE COLLECT 881.24/883.62 c #Conflicts: 322000 | #Constraints: 15495 881.24/883.62 c #Conflicts: 323000 | #Constraints: 16600 881.24/883.62 c #Conflicts: 324000 | #Constraints: 18059 881.24/883.62 c #Conflicts: 325000 | #Constraints: 19602 881.24/883.62 c #Conflicts: 326000 | #Constraints: 21234 881.24/883.62 c #Conflicts: 327000 | #Constraints: 22779 881.24/883.62 c #Conflicts: 328000 | #Constraints: 24337 881.24/883.62 c #Conflicts: 329000 | #Constraints: 25906 881.24/883.62 c #Conflicts: 330000 | #Constraints: 27473 881.24/883.62 c #Conflicts: 331000 | #Constraints: 29107 881.24/883.62 c #Conflicts: 332000 | #Constraints: 30748 881.24/883.62 c #Conflicts: 333000 | #Constraints: 32351 881.24/883.62 c INPROCESSING 881.24/883.62 c GARBAGE COLLECT 881.24/883.62 c #Conflicts: 334000 | #Constraints: 18765 881.24/883.62 c #Conflicts: 335000 | #Constraints: 20378 881.24/883.62 c #Conflicts: 336000 | #Constraints: 22052 881.24/883.62 c #Conflicts: 337000 | #Constraints: 23689 881.24/883.62 c #Conflicts: 338000 | #Constraints: 25311 881.24/883.62 c #Conflicts: 339000 | #Constraints: 26961 881.24/883.62 c #Conflicts: 340000 | #Constraints: 28578 881.24/883.62 c #Conflicts: 341000 | #Constraints: 30156 881.24/883.62 WSVECS04 Frhs2[11]: 6 0 13 shouldn't be 881.24/883.62 WSVECS04 Frhs2[13]: 6 -23 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[14]: 6 -54.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[15]: 6 -19 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[17]: 6 0 4.66676 shouldn't be 881.24/883.62 WSVECS04 Frhs2[26]: 6 -58.6667 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[31]: 6 -12.2223 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[38]: 6 -22.901 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[44]: 6 -62.0427 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[99]: 6 -24.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[102]: 6 -8.00006 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[154]: 6 -8.00005 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[159]: 6 -24 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[316]: 6 0 36 shouldn't be 881.24/883.62 WSVECS04 Frhs2[328]: 6 0 6.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[332]: 6 0 4.00007 shouldn't be 881.24/883.62 WSVECS04 Frhs2[334]: 6 0 24 shouldn't be 881.24/883.62 WSVECS04 Frhs2[340]: 6 0 4.00003 shouldn't be 881.24/883.62 WSVECS04 Frhs2[355]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[364]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[366]: 6 0 12.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[369]: 6 0 24 shouldn't be 881.24/883.62 WSVECS04 Frhs2[379]: 6 0 20.3334 shouldn't be 881.24/883.62 WSVECS04 Frhs2[381]: 6 0 4.00006 shouldn't be 881.24/883.62 WSVECS04 Frhs2[389]: 6 0 12.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[394]: 6 0 4.00009 shouldn't be 881.24/883.62 WSVECS04 Frhs2[395]: 6 0 4.00005 shouldn't be 881.24/883.62 WSVECS04 Frhs2[398]: 6 0 12 shouldn't be 881.24/883.62 WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[409]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[486]: 6 -227.333 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[487]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[492]: 6 0 12 shouldn't be 881.24/883.62 WSVECS04 Frhs2[506]: 6 0 12.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[514]: 6 0 24.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[559]: 6 0 24 shouldn't be 881.24/883.62 WSVECS04 Frhs2[604]: 6 0 24 shouldn't be 881.24/883.62 WSVECS04 Frhs2[612]: 6 0 24 shouldn't be 881.24/883.62 WSVECS04 Frhs2[613]: 6 0 1.11113 shouldn't be 881.24/883.62 WSVECS04 Frhs2[616]: 6 0 80.4465 shouldn't be 881.24/883.62 WSVECS04 Frhs2[625]: 6 0 7.93751 shouldn't be 881.24/883.62 WSVECS04 Frhs2[631]: 6 0 91.0834 shouldn't be 881.24/883.62 WSVECS04 Frhs2[633]: 6 0 4.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[644]: 6 0 12.0001 shouldn't be 881.24/883.62 WSVECS04 Frhs2[659]: 6 -27 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[661]: 6 -10.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[663]: 6 -22 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[665]: 6 -16 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[669]: 6 -16 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[709]: 6 -24 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[710]: 6 -12 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[715]: 6 0 4.00009 shouldn't be 881.24/883.62 WSVECS04 Frhs2[716]: 6 -10 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[718]: 6 -8.00007 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[720]: 6 -20.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[724]: 6 -24 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[726]: 6 -10.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[727]: 6 -4.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[734]: 6 -24.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[743]: 6 -32 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[744]: 6 -24.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[748]: 6 -30.6667 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[774]: 6 -24 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[775]: 6 -20 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[777]: 6 -72.6667 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[783]: 6 -32.0001 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[784]: 6 -24 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[785]: 6 -10 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[803]: 6 0 29.7793 shouldn't be 881.24/883.62 WSVECS04 Frhs2[805]: 6 0 31.3356 shouldn't be 881.24/883.62 WSVECS04 Frhs2[812]: 6 -4.00008 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[819]: 6 0 25.9341 shouldn't be 881.24/883.62 WSVECS04 Frhs2[821]: 6 0 54.0435 shouldn't be 881.24/883.62 WSVECS04 Frhs2[828]: 6 0 13.7325 shouldn't be 881.24/883.62 WSVECS04 Frhs2[831]: 6 0 31.5209 shouldn't be 881.24/883.62 WSVECS04 Frhs2[836]: 6 -1.85418 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[840]: 6 0 23.2083 shouldn't be 881.24/883.62 WSVECS04 Frhs2[841]: 6 0 34.2952 shouldn't be 881.24/883.62 WSVECS04 Frhs2[844]: 6 -0.604265 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[846]: 6 -48.4688 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[848]: 6 -7.55388 0 shouldn't be 881.24/883.62 WSVECS04 Frhs2[871]: 6 0 26.5626 shouldn't be 881.24/883.62 WSVECS04 Frhs2[876]: 6 0 5.70836 shouldn't be 881.24/883.62 WSVECS04 Frhs2[879]: 6 0 4.33339 shouldn't be 1144.88/1147.92 c #Conflicts: 342000 | #Constraints: 31781 1144.88/1147.92 c #Conflicts: 343000 | #Constraints: 33400 1144.88/1147.92 c #Conflicts: 344000 | #Constraints: 35020 1144.88/1147.92 c #Conflicts: 345000 | #Constraints: 36662 1144.88/1147.92 c INPROCESSING 1144.88/1147.92 c GARBAGE COLLECT 1144.88/1147.92 c #Conflicts: 346000 | #Constraints: 20489 1144.88/1147.92 c #Conflicts: 347000 | #Constraints: 21489 1144.88/1147.92 c #Conflicts: 348000 | #Constraints: 22490 1144.88/1147.92 c #Conflicts: 349000 | #Constraints: 23491 1144.88/1147.92 c #Conflicts: 350000 | #Constraints: 24495 1144.88/1147.92 c #Conflicts: 351000 | #Constraints: 25496 1144.88/1147.92 c #Conflicts: 352000 | #Constraints: 26496 1144.88/1147.92 c #Conflicts: 353000 | #Constraints: 27496 1144.88/1147.92 c #Conflicts: 354000 | #Constraints: 28496 1144.88/1147.92 c #Conflicts: 355000 | #Constraints: 29503 1144.88/1147.92 c #Conflicts: 356000 | #Constraints: 30509 1144.88/1147.92 c #Conflicts: 357000 | #Constraints: 31509 1144.88/1147.92 c INPROCESSING 1144.88/1147.92 c GARBAGE COLLECT 1144.88/1147.92 c #Conflicts: 358000 | #Constraints: 17949 1144.88/1147.92 c #Conflicts: 359000 | #Constraints: 19004 1144.88/1147.92 c #Conflicts: 360000 | #Constraints: 20089 1144.88/1147.92 c #Conflicts: 361000 | #Constraints: 21165 1144.88/1147.92 c #Conflicts: 362000 | #Constraints: 22333 1144.88/1147.92 c #Conflicts: 363000 | #Constraints: 23407 1144.88/1147.92 c #Conflicts: 364000 | #Constraints: 24609 1144.88/1147.92 c #Conflicts: 365000 | #Constraints: 25884 1144.88/1147.92 c #Conflicts: 366000 | #Constraints: 27066 1144.88/1147.92 c #Conflicts: 367000 | #Constraints: 28443 1144.88/1147.92 c #Conflicts: 368000 | #Constraints: 30006 1144.88/1147.92 c #Conflicts: 369000 | #Constraints: 31331 1144.88/1147.92 c INPROCESSING 1144.88/1147.92 c GARBAGE COLLECT 1144.88/1147.92 c #Conflicts: 370000 | #Constraints: 17759 1144.88/1147.92 c #Conflicts: 371000 | #Constraints: 18769 1144.88/1147.92 c #Conflicts: 372000 | #Constraints: 19784 1144.88/1147.92 c #Conflicts: 373000 | #Constraints: 20790 1144.88/1147.92 c #Conflicts: 374000 | #Constraints: 21790 1144.88/1147.92 c #Conflicts: 375000 | #Constraints: 22793 1144.88/1147.92 c #Conflicts: 376000 | #Constraints: 23802 1144.88/1147.92 c #Conflicts: 377000 | #Constraints: 24803 1144.88/1147.92 c #Conflicts: 378000 | #Constraints: 25803 1144.88/1147.92 c #Conflicts: 379000 | #Constraints: 26807 1144.88/1147.92 c #Conflicts: 380000 | #Constraints: 27811 1144.88/1147.92 c #Conflicts: 381000 | #Constraints: 28811 1144.88/1147.92 c INPROCESSING 1144.88/1147.92 c GARBAGE COLLECT 1144.88/1147.92 c #Conflicts: 382000 | #Constraints: 16293 1144.88/1147.92 c #Conflicts: 383000 | #Constraints: 17313 1144.88/1147.92 c #Conflicts: 384000 | #Constraints: 18483 1144.88/1147.92 c #Conflicts: 385000 | #Constraints: 20097 1144.88/1147.92 c #Conflicts: 386000 | #Constraints: 21267 1144.88/1147.92 c #Conflicts: 387000 | #Constraints: 22385 1144.88/1147.92 c #Conflicts: 388000 | #Constraints: 23803 1144.88/1147.92 c #Conflicts: 389000 | #Constraints: 25389 1144.88/1147.92 c #Conflicts: 390000 | #Constraints: 26979 1144.88/1147.92 c #Conflicts: 391000 | #Constraints: 28406 1144.88/1147.92 WSVECS04 Frhs2[5]: 6 -9.93942 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[9]: 6 0 39.2197 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[13]: 6 0 6.14404 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[17]: 6 0 33.099 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[21]: 6 0 11.6808 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[24]: 6 0 0.899565 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[26]: 6 -14.9093 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[27]: 6 0 47.1767 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[33]: 6 -48.6112 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[34]: 6 0 54.3678 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[35]: 6 0 248.096 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[42]: 6 -11.5777 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[43]: 6 0 71.6667 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[46]: 6 0 91.2662 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[131]: 6 0 26.4206 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[234]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[235]: 6 0 8.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[236]: 6 0 8.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[237]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[238]: 6 0 8.00009 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[239]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[241]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[242]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[245]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[254]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[256]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[258]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[261]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[264]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[265]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[266]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[273]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[275]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[278]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[280]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[281]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[282]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[286]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[287]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[292]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[294]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[295]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[306]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[308]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[312]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[313]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[314]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[315]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[316]: 6 0 16.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[317]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[319]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[320]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[321]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[324]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[325]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[326]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[327]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[329]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[330]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[331]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[332]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[333]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[334]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[335]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[336]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[340]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[342]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[344]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[345]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[346]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[348]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[350]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[352]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[355]: 6 0 40.358 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[357]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[358]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[363]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[364]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[369]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[370]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[371]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[372]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[374]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[377]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[378]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[379]: 6 0 18.6467 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[380]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[381]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[382]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[384]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[385]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[386]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[387]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[388]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[389]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[390]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[391]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[393]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[394]: 6 0 1.1414 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[395]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[396]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[397]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[398]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[399]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[400]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[401]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[402]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[403]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[404]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[405]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[407]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[408]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[410]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[411]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[412]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[414]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[416]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[418]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[419]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[420]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[421]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[422]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[423]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[424]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[426]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[427]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[429]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[431]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[432]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[433]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[434]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[435]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[436]: 6 0 13.132 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[437]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[438]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[439]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[440]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[441]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[442]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[443]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[444]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[445]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[446]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[447]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[448]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[449]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[450]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[451]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[452]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[453]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[454]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[455]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[456]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[458]: 6 0 53.1319 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[461]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[462]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[468]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[470]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[471]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[472]: 6 0 13.7143 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[473]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[474]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[479]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[490]: 6 0 151.318 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[493]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[495]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[498]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[499]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[501]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[502]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[503]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[504]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[505]: 6 0 70.7283 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[506]: 6 0 5.52036 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[507]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[508]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[509]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[510]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[513]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[514]: 6 0 155.586 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[517]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[519]: 6 0 93.7239 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[520]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[521]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[522]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[523]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[524]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[526]: 6 0 648.655 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[527]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[528]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[530]: 6 0 31.3832 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[531]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[532]: 6 0 440.437 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[533]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[534]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[535]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[536]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[537]: 6 0 160.035 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[538]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[539]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[540]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[541]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[542]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[543]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[544]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[545]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[546]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[547]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[548]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[549]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[550]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[551]: 6 0 25.0256 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[556]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[557]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[558]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[559]: 6 0 18.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[561]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[562]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[563]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[566]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[567]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[569]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[570]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[572]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[576]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[577]: 6 0 7.29359 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[578]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[579]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[580]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[581]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[582]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[584]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[586]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[589]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[590]: 6 0 4.00003 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[593]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[594]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[596]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[597]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[598]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[599]: 6 0 4.00001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[602]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[603]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[605]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[606]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[607]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[609]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[614]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[615]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[618]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[620]: 6 0 4.00007 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[621]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[623]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[625]: 6 0 1.2539 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[626]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[627]: 6 0 12.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[628]: 6 0 4.00004 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[629]: 6 0 4.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[630]: 6 0 24 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[631]: 6 0 21.6694 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[632]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[633]: 6 0 4.00002 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[634]: 6 0 24.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[635]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[636]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[640]: 6 0 16.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[641]: 6 0 4.00006 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[642]: 6 0 16.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[643]: 6 0 8.00005 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[644]: 6 0 12 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[645]: 6 0 62.2188 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[646]: 6 0 8.0001 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[647]: 6 0 4.00008 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[653]: 6 -1.83339 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[655]: 6 -7.20461 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[658]: 6 -20 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[663]: 6 -10.144 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[664]: 6 0 0.931891 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[665]: 6 0 0.348521 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[671]: 6 0 2.85994 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[672]: 6 0 8.93187 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[680]: 6 0 11.1983 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[691]: 6 0 0.666745 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[695]: 6 0 21.6991 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[704]: 6 -20.0001 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[705]: 6 -19.1509 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[706]: 6 -25.9072 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[713]: 6 -32 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[714]: 6 -7.47107 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[718]: 6 -32.0001 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[721]: 6 -10 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[759]: 6 0 10.2791 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[769]: 6 0 71.7985 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[772]: 6 0 27.9557 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[783]: 6 -29.7144 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[788]: 6 -75.862 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[789]: 6 -53.1953 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[793]: 6 -75.8619 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[799]: 6 -77.1333 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[811]: 6 0 16.1609 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[826]: 6 0 12.2555 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[831]: 6 0 71.3689 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[832]: 6 0 20 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[840]: 6 0 12.3604 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[848]: 6 -27.2599 0 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[865]: 6 0 7.90121 shouldn't be 1144.88/1147.92 WSVECS04 Frhs2[873]: 6 0 23.619 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[44]: 6 -46.3491 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[55]: 6 -16.0001 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[105]: 6 -8.00005 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[108]: 6 -16.0001 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[154]: 6 -8.0001 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[159]: 6 -20.5715 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[162]: 6 -8.00004 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[251]: 6 0 4.00004 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[293]: 6 0 4.00005 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[309]: 6 0 4.00006 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[311]: 6 0 4.00003 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[322]: 6 0 4.00004 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[323]: 6 0 4.00003 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[341]: 6 0 4.00006 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[367]: 6 0 4.00003 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[588]: 6 0 4.00004 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[604]: 6 0 18.2626 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[612]: 6 0 37.2189 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[624]: 6 0 4.00005 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[637]: 6 0 4.00004 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[659]: 6 -4.09853 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[676]: 6 0 2.93185 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[699]: 6 0 7.15091 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[720]: 6 -20 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[725]: 6 -12 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[733]: 6 -32.0001 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[785]: 6 -18.4445 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[791]: 6 -10.0001 0 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[853]: 6 0 1.86553 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[863]: 6 0 2.58417 shouldn't be 1144.88/1147.99 WSVECS04 Frhs2[867]: 6 -4.00003 0 shouldn't be 2169.02/2174.62 c #Conflicts: 392000 | #Constraints: 29661 2169.02/2174.62 c #Conflicts: 393000 | #Constraints: 30661 2169.02/2174.62 c #Conflicts: 394000 | #Constraints: 31669 2169.02/2174.62 c #Conflicts: 395000 | #Constraints: 32739 2169.02/2174.62 c #Conflicts: 396000 | #Constraints: 33994 2169.02/2174.62 c #Conflicts: 397000 | #Constraints: 35509 2169.02/2174.62 c #Conflicts: 398000 | #Constraints: 37026 2169.02/2174.62 c #Conflicts: 399000 | #Constraints: 38254 2169.02/2174.62 c #Conflicts: 400000 | #Constraints: 39815 2169.02/2174.62 c #Conflicts: 401000 | #Constraints: 41204 2169.02/2174.62 c #Conflicts: 402000 | #Constraints: 42668 2169.02/2174.62 c #Conflicts: 403000 | #Constraints: 43767 2169.02/2174.62 c #Conflicts: 404000 | #Constraints: 45257 2169.02/2174.62 c #Conflicts: 405000 | #Constraints: 46664 2169.02/2174.62 c #Conflicts: 406000 | #Constraints: 48330 2169.02/2174.62 c #Conflicts: 407000 | #Constraints: 49870 2169.02/2174.62 c #Conflicts: 408000 | #Constraints: 50973 2169.02/2174.62 c #Conflicts: 409000 | #Constraints: 52646 2169.02/2174.62 c #Conflicts: 410000 | #Constraints: 54274 2169.02/2174.62 c #Conflicts: 411000 | #Constraints: 55694 2169.02/2174.62 c #Conflicts: 412000 | #Constraints: 56703 2169.02/2174.62 c #Conflicts: 413000 | #Constraints: 57746 2169.02/2174.62 c #Conflicts: 414000 | #Constraints: 58818 2169.02/2174.62 c #Conflicts: 415000 | #Constraints: 59996 2169.02/2174.62 c #Conflicts: 416000 | #Constraints: 61516 2169.02/2174.62 c #Conflicts: 417000 | #Constraints: 63205 2169.02/2174.62 c #Conflicts: 418000 | #Constraints: 64901 2169.02/2174.62 c #Conflicts: 419000 | #Constraints: 66590 2169.02/2174.62 c #Conflicts: 420000 | #Constraints: 68308 2169.02/2174.62 c #Conflicts: 421000 | #Constraints: 69970 2169.02/2174.62 c #Conflicts: 422000 | #Constraints: 71641 2169.02/2174.62 c #Conflicts: 423000 | #Constraints: 73277 2169.02/2174.62 c #Conflicts: 424000 | #Constraints: 74892 2169.02/2174.62 c #Conflicts: 425000 | #Constraints: 76492 2169.02/2174.62 c #Conflicts: 426000 | #Constraints: 78104 2169.02/2174.62 c #Conflicts: 427000 | #Constraints: 79670 2169.02/2174.62 c #Conflicts: 428000 | #Constraints: 81255 2169.02/2174.62 c #Conflicts: 429000 | #Constraints: 82837 2169.02/2174.62 c #Conflicts: 430000 | #Constraints: 84512 2169.02/2174.62 c #Conflicts: 431000 | #Constraints: 86182 2169.02/2174.62 c #Conflicts: 432000 | #Constraints: 87810 2169.02/2174.62 c #Conflicts: 433000 | #Constraints: 89517 2169.02/2174.62 c #Conflicts: 434000 | #Constraints: 91146 2169.02/2174.62 c #Conflicts: 435000 | #Constraints: 92780 2169.02/2174.62 c #Conflicts: 436000 | #Constraints: 94415 2169.02/2174.62 c #Conflicts: 437000 | #Constraints: 96057 2169.02/2174.62 c #Conflicts: 438000 | #Constraints: 97720 2169.02/2174.62 c #Conflicts: 439000 | #Constraints: 99391 2169.02/2174.62 c #Conflicts: 440000 | #Constraints: 101022 2169.02/2174.62 c #Conflicts: 441000 | #Constraints: 102722 2169.02/2174.62 c #Conflicts: 442000 | #Constraints: 104424 2169.02/2174.62 c INPROCESSING 2169.02/2174.62 c GARBAGE COLLECT 2169.02/2174.62 c #Conflicts: 443000 | #Constraints: 54297 2169.02/2174.62 c #Conflicts: 444000 | #Constraints: 55373 2169.02/2174.62 c #Conflicts: 445000 | #Constraints: 56373 2169.02/2174.62 c #Conflicts: 446000 | #Constraints: 57383 2169.02/2174.62 c #Conflicts: 447000 | #Constraints: 58388 2169.02/2174.62 c #Conflicts: 448000 | #Constraints: 59397 2169.02/2174.62 c #Conflicts: 449000 | #Constraints: 60404 2169.02/2174.62 c #Conflicts: 450000 | #Constraints: 61431 2169.02/2174.62 c #Conflicts: 451000 | #Constraints: 62439 2169.02/2174.62 c #Conflicts: 452000 | #Constraints: 63444 2169.02/2174.62 c #Conflicts: 453000 | #Constraints: 64444 2169.02/2174.62 c #Conflicts: 454000 | #Constraints: 65444 2169.02/2174.62 c #Conflicts: 455000 | #Constraints: 66444 2169.02/2174.62 c #Conflicts: 456000 | #Constraints: 67445 2169.02/2174.62 c INPROCESSING 2169.02/2174.62 c GARBAGE COLLECT 2169.02/2174.62 c #Conflicts: 457000 | #Constraints: 35648 2169.02/2174.62 c #Conflicts: 458000 | #Constraints: 36648 2169.02/2174.62 c #Conflicts: 459000 | #Constraints: 37656 2169.02/2174.62 c #Conflicts: 460000 | #Constraints: 38658 2169.02/2174.62 c #Conflicts: 461000 | #Constraints: 39658 2169.02/2174.62 c #Conflicts: 462000 | #Constraints: 40659 2169.02/2174.62 c #Conflicts: 463000 | #Constraints: 41663 2169.02/2174.62 c #Conflicts: 464000 | #Constraints: 42667 2169.02/2174.62 c #Conflicts: 465000 | #Constraints: 43669 2169.02/2174.62 c #Conflicts: 466000 | #Constraints: 44674 2169.02/2174.62 c #Conflicts: 467000 | #Constraints: 45675 2169.02/2174.62 c #Conflicts: 468000 | #Constraints: 46682 2169.02/2174.62 c #Conflicts: 469000 | #Constraints: 47684 2850.32/2857.55 c #Conflicts: 470000 | #Constraints: 48687 2850.32/2857.55 c INPROCESSING 2850.32/2857.55 c GARBAGE COLLECT 2850.32/2857.55 c #Conflicts: 471000 | #Constraints: 26335 2850.32/2857.55 c #Conflicts: 472000 | #Constraints: 27345 2850.32/2857.55 c #Conflicts: 473000 | #Constraints: 28362 2850.32/2857.55 c #Conflicts: 474000 | #Constraints: 29366 2850.32/2857.55 c #Conflicts: 475000 | #Constraints: 30372 2850.32/2857.55 c #Conflicts: 476000 | #Constraints: 31377 2850.32/2857.55 c #Conflicts: 477000 | #Constraints: 32384 2850.32/2857.55 c #Conflicts: 478000 | #Constraints: 33390 2850.32/2857.55 c #Conflicts: 479000 | #Constraints: 34393 2850.32/2857.55 c #Conflicts: 480000 | #Constraints: 35398 2850.32/2857.55 c #Conflicts: 481000 | #Constraints: 36405 2850.32/2857.55 c #Conflicts: 482000 | #Constraints: 37420 2850.32/2857.55 c #Conflicts: 483000 | #Constraints: 38422 2850.32/2857.55 c #Conflicts: 484000 | #Constraints: 39431 2850.32/2857.55 c INPROCESSING 2850.32/2857.55 c GARBAGE COLLECT 2850.32/2857.55 c #Conflicts: 485000 | #Constraints: 21672 2850.32/2857.55 c #Conflicts: 486000 | #Constraints: 22678 2850.32/2857.55 c #Conflicts: 487000 | #Constraints: 23678 2850.32/2857.55 c #Conflicts: 488000 | #Constraints: 24678 2850.32/2857.55 c #Conflicts: 489000 | #Constraints: 25678 2850.32/2857.55 c #Conflicts: 490000 | #Constraints: 26680 2850.32/2857.55 c #Conflicts: 491000 | #Constraints: 27686 2850.32/2857.55 c #Conflicts: 492000 | #Constraints: 28690 2850.32/2857.55 c #Conflicts: 493000 | #Constraints: 29695 2850.32/2857.55 c #Conflicts: 494000 | #Constraints: 30708 2850.32/2857.55 c #Conflicts: 495000 | #Constraints: 31731 2850.32/2857.55 c #Conflicts: 496000 | #Constraints: 32749 2850.32/2857.55 c #Conflicts: 497000 | #Constraints: 33752 2850.32/2857.55 c #Conflicts: 498000 | #Constraints: 34752 2850.32/2857.55 c INPROCESSING 2850.32/2857.55 c GARBAGE COLLECT 2850.32/2857.55 c #Conflicts: 499000 | #Constraints: 19167 2850.32/2857.55 c #Conflicts: 500000 | #Constraints: 20170 2850.32/2857.55 c #Conflicts: 501000 | #Constraints: 21175 2850.32/2857.55 c #Conflicts: 502000 | #Constraints: 22193 2850.32/2857.55 c #Conflicts: 503000 | #Constraints: 23203 2850.32/2857.55 c #Conflicts: 504000 | #Constraints: 24217 2850.32/2857.55 c #Conflicts: 505000 | #Constraints: 25222 2850.32/2857.55 c #Conflicts: 506000 | #Constraints: 26283 2850.32/2857.56 c #Conflicts: 507000 | #Constraints: 27289 2850.32/2857.56 c #Conflicts: 508000 | #Constraints: 28304 2850.32/2857.56 c #Conflicts: 509000 | #Constraints: 29312 2850.32/2857.56 c #Conflicts: 510000 | #Constraints: 30331 2850.32/2857.56 c #Conflicts: 511000 | #Constraints: 31338 2850.32/2857.56 c #Conflicts: 512000 | #Constraints: 32355 2850.32/2857.56 c #Conflicts: 513000 | #Constraints: 33359 2850.32/2857.56 c INPROCESSING 2850.32/2857.56 c GARBAGE COLLECT 2850.32/2857.56 c #Conflicts: 514000 | #Constraints: 18867 2850.32/2857.56 c #Conflicts: 515000 | #Constraints: 20290 2850.32/2857.56 c #Conflicts: 516000 | #Constraints: 21376 2850.32/2857.56 c #Conflicts: 517000 | #Constraints: 22502 2850.32/2857.56 c #Conflicts: 518000 | #Constraints: 23819 2850.32/2857.56 c #Conflicts: 519000 | #Constraints: 25146 2850.32/2857.56 c #Conflicts: 520000 | #Constraints: 26775 2850.32/2857.56 c #Conflicts: 521000 | #Constraints: 28334 2850.32/2857.56 c #Conflicts: 522000 | #Constraints: 29844 2850.32/2857.56 c #Conflicts: 523000 | #Constraints: 31010 2850.32/2857.56 c #Conflicts: 524000 | #Constraints: 32100 2850.32/2857.56 c #Conflicts: 525000 | #Constraints: 33308 2850.32/2857.56 c #Conflicts: 526000 | #Constraints: 34642 2850.32/2857.56 c #Conflicts: 527000 | #Constraints: 35939 2850.32/2857.56 c #Conflicts: 528000 | #Constraints: 37641 2850.32/2857.56 c #Conflicts: 529000 | #Constraints: 39331 2850.32/2857.56 c #Conflicts: 530000 | #Constraints: 41026 2850.32/2857.56 c #Conflicts: 531000 | #Constraints: 42690 2850.32/2857.56 c #Conflicts: 532000 | #Constraints: 44270 2850.32/2857.56 c #Conflicts: 533000 | #Constraints: 45473 2850.32/2857.56 c #Conflicts: 534000 | #Constraints: 46599 2850.32/2857.56 c #Conflicts: 535000 | #Constraints: 47683 2850.32/2857.56 c #Conflicts: 536000 | #Constraints: 49071 2850.32/2857.56 c #Conflicts: 537000 | #Constraints: 50752 2850.32/2857.56 c #Conflicts: 538000 | #Constraints: 52438 2850.32/2857.56 c #Conflicts: 539000 | #Constraints: 53891 2850.32/2857.56 c #Conflicts: 540000 | #Constraints: 54963 2850.32/2857.56 c #Conflicts: 541000 | #Constraints: 56095 2850.32/2857.56 c #Conflicts: 542000 | #Constraints: 57348 2850.32/2857.56 c #Conflicts: 543000 | #Constraints: 58617 2850.32/2857.56 c #Conflicts: 544000 | #Constraints: 59798 2850.32/2857.56 c #Conflicts: 545000 | #Constraints: 60948 3600.03/3609.30 c #Conflicts: 546000 | #Constraints: 62319 3600.03/3609.30 c #Conflicts: 547000 | #Constraints: 63572 3600.03/3609.30 c #Conflicts: 548000 | #Constraints: 65118 3600.03/3609.30 c #Conflicts: 549000 | #Constraints: 66779 3600.03/3609.30 c #Conflicts: 550000 | #Constraints: 68642 3600.03/3609.30 c #Conflicts: 551000 | #Constraints: 70458 3600.03/3609.30 c #Conflicts: 552000 | #Constraints: 72160 3600.03/3609.30 c #Conflicts: 553000 | #Constraints: 73838 3600.03/3609.30 c #Conflicts: 554000 | #Constraints: 75541 3600.03/3609.30 c #Conflicts: 555000 | #Constraints: 77268 3600.03/3609.30 c #Conflicts: 556000 | #Constraints: 78831 3600.03/3609.30 c #Conflicts: 557000 | #Constraints: 80179 3600.03/3609.30 c #Conflicts: 558000 | #Constraints: 81290 3600.03/3609.30 c #Conflicts: 559000 | #Constraints: 82864 3600.03/3609.30 c #Conflicts: 560000 | #Constraints: 84026 3600.03/3609.30 c #Conflicts: 561000 | #Constraints: 85222 3600.03/3609.30 c #Conflicts: 562000 | #Constraints: 86270 3600.03/3609.30 c #Conflicts: 563000 | #Constraints: 87376 3600.03/3609.30 c #Conflicts: 564000 | #Constraints: 89057 3600.03/3609.30 c #Conflicts: 565000 | #Constraints: 90265 3600.03/3609.30 c #Conflicts: 566000 | #Constraints: 91358 3600.03/3609.30 c #Conflicts: 567000 | #Constraints: 92511 3600.03/3609.30 c #Conflicts: 568000 | #Constraints: 93573 3600.03/3609.30 c #Conflicts: 569000 | #Constraints: 94733 3600.03/3609.30 c #Conflicts: 570000 | #Constraints: 95815 3600.03/3609.30 c #Conflicts: 571000 | #Constraints: 97180 3600.03/3609.30 c #Conflicts: 572000 | #Constraints: 98542 3600.03/3609.30 c #Conflicts: 573000 | #Constraints: 99649 3600.03/3609.30 c #Conflicts: 574000 | #Constraints: 100752 3600.03/3609.30 c #Conflicts: 575000 | #Constraints: 102475 3600.03/3609.30 c #Conflicts: 576000 | #Constraints: 104317 3600.03/3609.30 c #Conflicts: 577000 | #Constraints: 106108 3600.03/3609.30 c #Conflicts: 578000 | #Constraints: 107272 3600.03/3609.30 c #Conflicts: 579000 | #Constraints: 108600 3600.03/3609.30 c #Conflicts: 580000 | #Constraints: 109671 3600.03/3609.30 c #Conflicts: 581000 | #Constraints: 110848 3600.03/3609.30 c #Conflicts: 582000 | #Constraints: 112101 3600.03/3609.30 c INPROCESSING 3600.03/3609.30 c GARBAGE COLLECT 3600.03/3609.30 c #Conflicts: 583000 | #Constraints: 58208 3600.03/3609.30 c #Conflicts: 584000 | #Constraints: 59212 3600.03/3609.30 c #Conflicts: 585000 | #Constraints: 60214 3600.03/3609.30 c Program interrupted by user. 3600.03/3609.30 c cpu time 3591.48 s 3600.03/3609.30 c deterministic time 428204293500 4.28e+11 3600.03/3609.30 c optimization time 87.5719 s 3600.03/3609.30 c total solve time 3503.89 s 3600.03/3609.30 c core-guided solve time 1729.77 s 3600.03/3609.30 c propagation time 3135.77 s 3600.03/3609.30 c conflict analysis time 430.579 s 3600.03/3609.30 c propagations 90484610 3600.03/3609.30 c resolve steps 22900080 3600.03/3609.30 c decisions 1581384 3600.03/3609.30 c conflicts 585452 3600.03/3609.30 c restarts 1250 3600.03/3609.30 c inprocessing phases 60 3600.03/3609.30 c input clauses 986 3600.03/3609.30 c input cardinalities 116 3600.03/3609.30 c input general constraints 1128 3600.03/3609.30 c input average constraint length 57.85 3600.03/3609.30 c input average constraint degree 143.47 3600.03/3609.30 c learned clauses 451768 3600.03/3609.30 c learned cardinalities 48 3600.03/3609.30 c learned general constraints 285133 3600.03/3609.30 c learned average constraint length 389.13 3600.03/3609.30 c learned average constraint degree 447008060.27 3600.03/3609.30 c watched constraints 271538 3600.03/3609.30 c counting constraints 14723 3600.03/3609.30 c gcd simplifications 196998 3600.03/3609.30 c detected cardinalities 37 3600.03/3609.30 c weakened non-implied lits 109044909 3600.03/3609.30 c weakened non-implying lits 391181 3600.03/3609.30 c original variables 882 3600.03/3609.30 c clausal propagations 48696380 3600.03/3609.30 c cardinality propagations 3017941 3600.03/3609.30 c watched propagations 4921927 3600.03/3609.30 c counting propagations 33347240 3600.03/3609.30 c watch lookups 45306461360 3600.03/3609.30 c watch backjump lookups 33999906455 3600.03/3609.30 c watch checks 331404042433 3600.03/3609.30 c propagation checks 16264958546 3600.03/3609.30 c constraint additions 1043534521 3600.03/3609.30 c trail pops 92650736 3600.03/3609.30 c formula constraints 1664 3600.03/3609.30 c learned constraints 585484 3600.03/3609.30 c bound constraints 136 3600.03/3609.30 c core-guided constraints 430 3600.03/3609.30 c encountered formula constraints 15009273 3600.03/3609.30 c encountered learned constraints 5144014 3600.03/3609.30 c encountered bound constraints 13015 3600.03/3609.30 c encountered core-guided constraints 819293 3600.03/3609.30 c LP total time 104.58 s 3600.03/3609.30 c LP solve time 88.62 s 3600.03/3609.30 c LP constraints added 2028 3600.03/3609.30 c LP constraints removed 131 3600.03/3609.30 c LP pivots internal 585470 3600.03/3609.30 c LP pivots root 87984 3600.03/3609.30 c LP calls 152909 3600.03/3609.30 c LP optimalities 197 3600.03/3609.30 c LP no pivot count 6 3600.03/3609.30 c LP infeasibilities 152606 3600.03/3609.30 c LP valid Farkas constraints 151340 3600.03/3609.30 c LP learned Farkas constraints 12 3600.03/3609.30 c LP basis resets 106 3600.03/3609.30 c LP cycling count 28 3600.03/3609.30 c LP singular count 72 3600.03/3609.30 c LP no primal count 0 3600.03/3609.30 c LP no farkas count 3 3600.03/3609.30 c LP other issue count 3 3600.03/3609.30 c LP Gomory cuts 113 3600.03/3609.30 c LP learned cuts 251 3600.03/3609.30 c LP deleted cuts 131 3600.03/3609.30 c LP encountered Gomory constraints 141389 3600.03/3609.30 c LP encountered Farkas constraints 2358504 3600.03/3609.30 c LP encountered learned Farkas constraints 32 3600.03/3609.30 c CG auxiliary variables introduced 182 3600.03/3609.30 c CG solutions found 20 3600.03/3609.30 c CG cores constructed 116 3600.03/3609.30 c CG core cardinality constraints returned 0 3600.03/3609.30 c CG unit cores 0 3600.03/3609.30 c CG single cores 116 3600.03/3609.30 c CG blocks removed during cardinality reduction 0 3600.03/3609.30 c CG first core best 0 3600.03/3609.30 c CG decision core best 0 3600.03/3609.30 c CG core reduction tie 0 3600.03/3609.30 c CG core degree average 1.00 3600.03/3609.30 c CG core slack average 2.88 3600.03/3609.30 s SATISFIABLE 3600.03/3609.30 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
OK -270
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62298 MiB free)
memory of node 1: 64510 MiB (61379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455416-1721465451/watcher-4455416-1721465451 -o /tmp/evaluation-result-4455416-1721465451/solver-4455416-1721465451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043544 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455416-1721465451.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
Current StackSize limit: 8192 KiB
solver pid=1048138, runsolver pid=1048135
[startup+0.100068 s]*
/proc/loadavg: 4.29 4.26 4.19 5/243 1048139
/proc/meminfo: memFree=126643248/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=39024 memory=9232 CPUtime=0.1 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 838 0 0 0 9 1 0 0 20 0 1 0 198702068 39960576 2308 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 9756 2308 1759 922 0 1708 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 9232 KiB
[startup+0.212831 s]*
/proc/loadavg: 4.29 4.26 4.19 5/243 1048139
/proc/meminfo: memFree=126639356/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=40012 memory=13268 CPUtime=0.21 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 1227 0 0 0 20 1 0 0 20 0 1 0 198702068 40972288 3317 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 10003 3317 1867 922 0 1955 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40012 KiB
Current children cumulated memory: 13268 KiB
[startup+0.312655 s]*
/proc/loadavg: 4.29 4.26 4.19 5/243 1048139
/proc/meminfo: memFree=126639232/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=40012 memory=13268 CPUtime=0.31 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 1237 0 0 0 30 1 0 0 20 0 1 0 198702068 40972288 3317 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 10003 3317 1867 922 0 1955 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40012 KiB
Current children cumulated memory: 13268 KiB
[startup+0.700265 s]
/proc/loadavg: 4.29 4.26 4.19 5/243 1048139
/proc/meminfo: memFree=126637716/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=41564 memory=16168 CPUtime=0.69 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 1909 0 0 0 66 3 0 0 20 0 1 0 198702068 42561536 4042 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 10391 4042 1867 922 0 2343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 16168 KiB
[startup+1.50029 s]
/proc/loadavg: 4.29 4.26 4.19 5/243 1048139
/proc/meminfo: memFree=126635008/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=45372 memory=18204 CPUtime=1.48 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 2413 0 0 0 144 4 0 0 20 0 1 0 198702068 46460928 4551 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 11343 4551 1867 922 0 3295 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45372 KiB
Current children cumulated memory: 18204 KiB
[startup+3.11315 s]
/proc/loadavg: 4.27 4.25 4.19 5/243 1048139
/proc/meminfo: memFree=126626724/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=46444 memory=21248 CPUtime=3.09 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 3341 0 0 0 302 7 0 0 20 0 1 0 198702068 47558656 5312 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 11611 5312 1867 922 0 3563 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46444 KiB
Current children cumulated memory: 21248 KiB
[startup+6.30026 s]
/proc/loadavg: 4.27 4.25 4.19 5/243 1048139
/proc/meminfo: memFree=126609684/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=52568 memory=25332 CPUtime=6.27 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 3829 0 0 0 615 12 0 0 20 0 1 0 198702068 53829632 6333 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 13142 6333 1948 922 0 5094 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52568 KiB
Current children cumulated memory: 25332 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.24 4.19 5/243 1048141
/proc/meminfo: memFree=126607764/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=53476 memory=26380 CPUtime=12.66 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 4085 0 0 0 1246 20 0 0 20 0 1 0 198702068 54759424 6595 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 13369 6595 1948 922 0 5321 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 53476 KiB
Current children cumulated memory: 26380 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.23 4.19 5/243 1048142
/proc/meminfo: memFree=126594748/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=64912 memory=34376 CPUtime=25.43 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 5519 0 0 0 2504 39 0 0 20 0 1 0 198702068 66469888 8594 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 16228 8594 1996 922 0 8180 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 64912 KiB
Current children cumulated memory: 34376 KiB
[startup+51.1128 s]
/proc/loadavg: 4.25 4.25 4.19 5/243 1048147
/proc/meminfo: memFree=126566844/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=67448 memory=41236 CPUtime=50.97 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 6392 0 0 0 5036 61 0 0 20 0 1 0 198702068 69066752 10309 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 16862 10309 1996 922 0 8814 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 67448 KiB
Current children cumulated memory: 41236 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/243 1048155
/proc/meminfo: memFree=126253700/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=82592 memory=48460 CPUtime=102.03 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 8640 0 0 0 10094 109 0 0 20 0 1 0 198702068 84574208 12115 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 20648 12115 1996 922 0 12600 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 82592 KiB
Current children cumulated memory: 48460 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/243 1048165
/proc/meminfo: memFree=126468200/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=90692 memory=61900 CPUtime=161.88 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 10808 0 0 0 16042 146 0 0 20 0 1 0 198702068 92868608 15475 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 22673 15475 1996 922 0 14625 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 61900 KiB
[startup+222.3 s]
/proc/loadavg: 4.74 4.36 4.23 5/243 1048176
/proc/meminfo: memFree=126430836/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=95572 memory=69060 CPUtime=221.72 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 12685 0 0 0 21991 181 0 0 20 0 1 0 198702068 97865728 17265 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 23893 17265 1996 922 0 15845 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 95572 KiB
Current children cumulated memory: 69060 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.31 4.22 5/245 1048571
/proc/meminfo: memFree=126400764/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=95788 memory=70492 CPUtime=281.57 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 13224 0 0 0 27945 212 0 0 20 0 1 0 198702068 98086912 17623 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 23947 17623 1996 922 0 15899 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 95788 KiB
Current children cumulated memory: 70492 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.26 4.21 5/243 1048581
/proc/meminfo: memFree=126391592/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=116132 memory=74744 CPUtime=341.41 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 14073 0 0 0 33897 244 0 0 20 0 1 0 198702068 118919168 18686 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 29033 18686 1996 922 0 20985 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 116132 KiB
Current children cumulated memory: 74744 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.23 4.20 5/243 1048592
/proc/meminfo: memFree=126383148/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=116852 memory=77772 CPUtime=401.27 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 14971 0 0 0 39856 271 0 0 20 0 1 0 198702068 119656448 19443 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 29213 19443 1996 922 0 21165 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 116852 KiB
Current children cumulated memory: 77772 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.22 4.19 5/243 1048602
/proc/meminfo: memFree=126379540/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=119208 memory=79448 CPUtime=461.11 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 15467 0 0 0 45806 305 0 0 20 0 1 0 198702068 122068992 19862 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 29802 19862 1996 922 0 21754 0
################
# More data... #
################
Current children cumulated memory: 361724 KiB
[startup+2922.3 s]
/proc/loadavg: 4.43 4.41 4.27 5/241 1050019
/proc/meminfo: memFree=126945212/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=509636 memory=361740 CPUtime=2914.95 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 40591 0 0 0 290707 788 0 0 20 0 1 0 198702068 521867264 90435 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 127409 90435 1996 922 0 119361 0
Current children cumulated CPU time: 2914.95 s
Current children cumulated vsize: 509636 KiB
Current children cumulated memory: 361740 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.33 4.25 5/241 1050029
/proc/meminfo: memFree=126865716/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=513352 memory=364092 CPUtime=2974.78 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 41390 0 0 0 296682 796 0 0 20 0 1 0 198702068 525672448 91023 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 128338 91023 1996 922 0 120290 0
Current children cumulated CPU time: 2974.78 s
Current children cumulated vsize: 513352 KiB
Current children cumulated memory: 364092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.29 4.24 5/243 1050044
/proc/meminfo: memFree=126834892/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=517740 memory=367436 CPUtime=3034.61 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 42331 0 0 0 302657 804 0 0 20 0 1 0 198702068 530165760 91859 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 129435 91859 1996 922 0 121387 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 517740 KiB
Current children cumulated memory: 367436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.26 4.24 5/243 1050054
/proc/meminfo: memFree=126792352/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=524076 memory=371028 CPUtime=3094.44 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 43421 0 0 0 308634 810 0 0 20 0 1 0 198702068 536653824 92757 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 131019 92757 1996 922 0 122971 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 524076 KiB
Current children cumulated memory: 371028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.23 4.22 5/243 1050064
/proc/meminfo: memFree=126716504/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=533636 memory=376704 CPUtime=3154.28 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 45001 0 0 0 314612 816 0 0 20 0 1 0 198702068 546443264 94176 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 133409 94176 1996 922 0 125361 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 533636 KiB
Current children cumulated memory: 376704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.21 4.22 5/243 1050075
/proc/meminfo: memFree=126676028/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=540524 memory=385656 CPUtime=3214.11 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 46360 0 0 0 320589 822 0 0 20 0 1 0 198702068 553496576 96414 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 135131 96414 1996 922 0 127083 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 540524 KiB
Current children cumulated memory: 385656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.68 4.35 4.27 5/243 1050086
/proc/meminfo: memFree=126619116/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=545072 memory=403768 CPUtime=3273.94 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 47523 0 0 0 326566 828 0 0 20 0 1 0 198702068 558153728 100942 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 136268 100942 1996 922 0 128220 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 545072 KiB
Current children cumulated memory: 403768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.37 4.28 5/241 1050096
/proc/meminfo: memFree=126577032/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=547608 memory=415920 CPUtime=3333.78 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 48139 0 0 0 332545 833 0 0 20 0 1 0 198702068 560750592 103980 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 136902 103980 1996 922 0 128854 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 547608 KiB
Current children cumulated memory: 415920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.31 4.26 5/241 1050107
/proc/meminfo: memFree=126482940/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=554860 memory=428888 CPUtime=3393.61 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 49568 0 0 0 338523 838 0 0 20 0 1 0 198702068 568176640 107222 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 138715 107222 1996 922 0 130667 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 554860 KiB
Current children cumulated memory: 428888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.27 4.25 5/242 1050118
/proc/meminfo: memFree=126456880/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=565760 memory=446556 CPUtime=3453.44 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 51590 0 0 0 344501 843 0 0 20 0 1 0 198702068 579338240 111639 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 141440 111639 1996 922 0 133392 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 565760 KiB
Current children cumulated memory: 446556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.25 4.25 5/242 1050128
/proc/meminfo: memFree=126412908/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=573440 memory=462992 CPUtime=3513.27 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 53536 0 0 0 350476 851 0 0 20 0 1 0 198702068 587202560 115748 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 143360 115748 1996 922 0 135312 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 573440 KiB
Current children cumulated memory: 462992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.23 4.24 5/245 1050144
/proc/meminfo: memFree=126398684/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=573440 memory=463076 CPUtime=3573.11 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 53667 0 0 0 356457 854 0 0 20 0 1 0 198702068 587202560 115769 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 143360 115769 1996 922 0 135312 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 573440 KiB
Current children cumulated memory: 463076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.01 4.19 4.22 4/238 1050182
/proc/meminfo: memFree=126634268/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=573440 memory=463076 CPUtime=3600.03 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 53668 0 0 0 359148 855 0 0 20 0 1 0 198702068 587202560 115769 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 143360 115769 1996 922 0 135312 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 573440 KiB
Current children cumulated memory: 463076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 1048138 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.48 s, system=8.56223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.01 4.19 4.22 4/238 1050182
/proc/meminfo: memFree=126634268/131655788 swapFree=131071996/131071996
[pid=1048138] ppid=1048135 vsize=573440 memory=463076 CPUtime=3600.03 cores=4,6
/proc/1048138/stat : 1048138 (roundingsat) R 1048135 1048138 1043533 0 -1 4194304 53668 0 0 0 359148 855 0 0 20 0 1 0 198702068 587202560 115769 134679101440 4194304 7968373 140729094149008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 17657856 140729094153148 140729094153312 140729094153312 140729094160329 0
/proc/1048138/statm: 143360 115769 1996 922 0 135312 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 573440 KiB
Current children cumulated memory: 463076 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3591.48
CPU system time (s): 8.56223
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 574400
Max. memory (cumulated for all children) (KiB): 463788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.48
system time used= 8.56222
maximum resident set size= 463788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 2745
# summary of solver processes directly reported to runsolver:
# pid: 1048138
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.48
# total CPU system time (s): 8.56223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5107 second user time and 33.9151 second system time
The end
Begin job on nodeC012 at 2024-07-20 10:51:04 IDJOB=4455416 IDBENCH=158491 IDSOLVER=3084 FILE ID=nodeC012/4455416-1721465451 RUNJOBID= nodeC012-1721458232-1043544 SLURM_JOB_ID= 7545700 Free space on /tmp= 723704 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455416-1721465451/watcher-4455416-1721465451 -o /tmp/evaluation-result-4455416-1721465451/solver-4455416-1721465451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043544 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455416-1721465451.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f RANDOM SEED=1062854985 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3657.138 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3528.863 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.503 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.436 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3645.609 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.828 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.325 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.499 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126646244 kB MemAvailable: 128220360 kB Buffers: 555584 kB Cached: 1862440 kB SwapCached: 0 kB Active: 1184784 kB Inactive: 3263560 kB Active(anon): 1448 kB Inactive(anon): 2075096 kB Active(file): 1183336 kB Inactive(file): 1188464 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10844 kB Writeback: 0 kB AnonPages: 2028800 kB Mapped: 116536 kB Shmem: 45896 kB KReclaimable: 84692 kB Slab: 187920 kB SReclaimable: 84692 kB SUnreclaim: 103228 kB KernelStack: 4000 kB PageTables: 13488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2668584 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62240 kB HardwareCorrupted: 0 kB AnonHugePages: 1394688 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: 312136 kB DirectMap2M: 33146880 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 723760 MiB End job on nodeC012 at 2024-07-20 11:51:13