| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.1 | 3611.4 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-circ10-3.opb |
| MD5SUM | e9a18706671e83c85382be3233ac0f60 |
| 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 | 276 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| 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 | 2700 |
| Total number of constraints | 42620 |
| Number of constraints which are clauses | 20220 |
| Number of constraints which are cardinality constraints (but not clauses) | 800 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 900 |
| Biggest coefficient in the objective function | 5 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 2500 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 2500 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.09/0.17 c #variables 2700 #constraints 43070 6.58/6.61 c bounds - >= 0 @ 0.131515 6.58/6.61 c bounds 422 >= 0 @ 1.89997 6.58/6.61 c #Conflicts: 1000 | #Constraints: 44070 6.58/6.61 c #Conflicts: 2000 | #Constraints: 45070 6.58/6.61 c INPROCESSING 6.58/6.61 WSVECS04 Frhs2[1574]: 6 -8.00002 0 shouldn't be 20.54/20.61 c bounds 420 >= 0 @ 11.059 20.54/20.61 c bounds 416 >= 0 @ 11.1003 20.54/20.61 c bounds 416 >= 3 @ 11.1242 20.54/20.61 c bounds 410 >= 3 @ 11.1388 20.54/20.61 c bounds 404 >= 3 @ 11.1465 20.54/20.61 c bounds 400 >= 3 @ 11.1576 20.54/20.61 c #Conflicts: 3000 | #Constraints: 45089 20.54/20.61 c bounds 396 >= 3 @ 11.1793 20.54/20.61 c bounds 396 >= 6 @ 11.2092 20.54/20.61 c bounds 384 >= 6 @ 11.2346 20.54/20.61 c bounds 382 >= 6 @ 11.2368 20.54/20.61 c bounds 380 >= 6 @ 11.26 20.54/20.61 c #Conflicts: 4000 | #Constraints: 46096 20.54/20.61 c INPROCESSING 20.54/20.61 c GARBAGE COLLECT 20.54/20.61 c bounds 380 >= 9 @ 11.2971 20.54/20.61 c bounds 376 >= 9 @ 11.4164 20.54/20.61 c #Conflicts: 5000 | #Constraints: 45500 20.54/20.61 c #Conflicts: 6000 | #Constraints: 46500 20.54/20.61 c bounds 376 >= 12 @ 14.9492 20.54/20.61 c bounds 372 >= 12 @ 15.0501 20.54/20.61 c bounds 372 >= 15 @ 15.0553 20.54/20.61 c INPROCESSING 20.54/20.61 c GARBAGE COLLECT 20.54/20.61 c #Conflicts: 7000 | #Constraints: 45511 20.54/20.61 c bounds 372 >= 18 @ 15.1227 20.54/20.61 c bounds 368 >= 18 @ 15.1984 20.54/20.61 c #Conflicts: 8000 | #Constraints: 46518 20.54/20.61 c bounds 368 >= 21 @ 15.2078 20.54/20.61 c #Conflicts: 9000 | #Constraints: 47521 20.54/20.61 c bounds 368 >= 24 @ 15.2451 20.54/20.61 c INPROCESSING 20.54/20.61 c GARBAGE COLLECT 20.54/20.61 c rational objective 140 22.73/22.89 c bounds 368 >= 27 @ 20.5134 22.73/22.89 c bounds 364 >= 27 @ 20.7019 22.73/22.89 c #Conflicts: 10000 | #Constraints: 46234 22.73/22.89 c #Conflicts: 11000 | #Constraints: 47234 22.73/22.89 c bounds 364 >= 30 @ 20.7942 22.73/22.89 c #Conflicts: 12000 | #Constraints: 48240 22.73/22.89 c INPROCESSING 22.73/22.89 c GARBAGE COLLECT 22.73/22.89 c bounds 360 >= 30 @ 21.0881 22.73/22.89 c bounds 360 >= 32 @ 21.0886 22.73/22.89 c bounds 360 >= 34 @ 21.0889 22.73/22.89 c bounds 360 >= 36 @ 21.0891 22.73/22.89 c bounds 360 >= 38 @ 21.0891 22.73/22.89 c bounds 360 >= 40 @ 21.0891 22.73/22.89 c bounds 360 >= 42 @ 21.0891 22.73/22.89 c bounds 360 >= 44 @ 21.0891 22.73/22.89 c #Conflicts: 13000 | #Constraints: 46705 22.73/22.89 c bounds 360 >= 46 @ 21.1191 22.73/22.89 WSVECS04 Frhs2[106]: 6 -4.00002 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[310]: 6 -1.00006 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[328]: 6 -3.00008 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[491]: 6 -1.00002 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[501]: 6 -1.00006 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[504]: 6 -4.00007 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[540]: 6 -1.00004 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[633]: 6 -3.00003 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[646]: 6 -4.00001 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[668]: 6 -3.00005 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[691]: 6 -1.00004 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[700]: 6 -1.00009 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[846]: 6 -4.00006 0 shouldn't be 22.73/22.89 WSVECS04 Frhs2[863]: 6 -3.00009 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[103]: 6 -3.00004 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[108]: 6 -2.00008 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[119]: 6 -2.00008 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[164]: 6 -3.00009 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[178]: 6 -3.00006 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[298]: 6 -3.00002 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[337]: 6 -4.00001 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[460]: 6 -1.00002 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[664]: 6 -4.00004 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[720]: 6 -1.00005 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[782]: 6 -2.00006 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[800]: 6 -1.00007 0 shouldn't be 27.03/27.11 WSVECS04 Frhs2[892]: 6 -1.00003 0 shouldn't be 29.72/29.88 WSVECS04 Frhs2[104]: 6 -4.00002 0 shouldn't be 29.72/29.88 WSVECS04 Frhs2[694]: 6 -3.00008 0 shouldn't be 34.02/34.13 WSVECS04 Frhs2[203]: 6 -3.00009 0 shouldn't be 34.02/34.13 WSVECS04 Frhs2[301]: 6 -1.00002 0 shouldn't be 34.02/34.13 WSVECS04 Frhs2[710]: 6 -1.00009 0 shouldn't be 34.02/34.13 WSVECS04 Frhs2[819]: 6 -1.00009 0 shouldn't be 50.07/50.21 c bounds 360 >= 48 @ 36.9201 50.07/50.21 c #Conflicts: 14000 | #Constraints: 47720 50.07/50.21 c bounds 358 >= 48 @ 37.1043 50.07/50.21 c bounds 358 >= 50 @ 37.1051 50.07/50.21 c bounds 358 >= 52 @ 37.1104 50.07/50.21 c #Conflicts: 15000 | #Constraints: 48733 50.07/50.21 c INPROCESSING 50.07/50.21 c GARBAGE COLLECT 50.07/50.21 c bounds 358 >= 54 @ 37.1626 50.07/50.21 c #Conflicts: 16000 | #Constraints: 46949 50.07/50.21 c bounds 358 >= 56 @ 37.2306 50.07/50.21 c #Conflicts: 17000 | #Constraints: 47964 50.07/50.21 c #Conflicts: 18000 | #Constraints: 48964 50.07/50.21 c INPROCESSING 50.07/50.21 c rational objective 140 66.63/66.86 c #Conflicts: 19000 | #Constraints: 46979 66.63/66.86 c bounds 356 >= 56 @ 50.2098 66.63/66.86 c bounds 352 >= 56 @ 50.2402 66.63/66.86 c bounds 352 >= 57 @ 50.2405 66.63/66.86 c bounds 352 >= 58 @ 50.2407 66.63/66.86 c bounds 352 >= 59 @ 50.2413 66.63/66.86 c bounds 352 >= 60 @ 50.2415 66.63/66.86 c bounds 352 >= 61 @ 50.2416 66.63/66.86 c bounds 352 >= 62 @ 50.2423 66.63/66.86 c bounds 352 >= 63 @ 50.2425 66.63/66.86 c bounds 352 >= 64 @ 50.2428 66.63/66.86 c bounds 352 >= 65 @ 50.2435 66.63/66.86 c bounds 352 >= 66 @ 50.2442 66.63/66.86 c bounds 352 >= 67 @ 50.2445 66.63/66.86 c bounds 352 >= 68 @ 50.2445 66.63/66.86 c bounds 352 >= 69 @ 50.2445 66.63/66.86 c bounds 352 >= 70 @ 50.2453 66.63/66.86 c bounds 352 >= 71 @ 50.246 66.63/66.86 c bounds 352 >= 72 @ 50.2465 66.63/66.86 c bounds 352 >= 73 @ 50.2465 66.63/66.86 c bounds 352 >= 74 @ 50.2465 66.63/66.86 c bounds 352 >= 75 @ 50.2465 66.63/66.86 c bounds 352 >= 76 @ 50.2465 66.63/66.86 c bounds 352 >= 77 @ 50.2465 66.63/66.86 c bounds 352 >= 78 @ 50.2465 66.63/66.86 c bounds 352 >= 79 @ 50.2465 66.63/66.86 c bounds 352 >= 80 @ 50.2465 66.63/66.86 c bounds 352 >= 81 @ 50.2466 66.63/66.86 c bounds 352 >= 82 @ 50.2475 66.63/66.86 c bounds 352 >= 83 @ 50.2484 66.63/66.86 c bounds 352 >= 84 @ 50.2493 66.63/66.86 c bounds 352 >= 85 @ 50.2495 66.63/66.86 c bounds 352 >= 86 @ 50.2495 66.63/66.86 c bounds 352 >= 87 @ 50.2501 66.63/66.86 c bounds 352 >= 88 @ 50.251 66.63/66.86 c bounds 352 >= 89 @ 50.2519 66.63/66.86 c bounds 352 >= 90 @ 50.2525 66.63/66.86 c bounds 352 >= 91 @ 50.2525 66.63/66.86 c bounds 352 >= 92 @ 50.2525 66.63/66.86 c bounds 352 >= 93 @ 50.2526 66.63/66.86 c bounds 352 >= 94 @ 50.2536 66.63/66.86 c bounds 352 >= 95 @ 50.2555 66.63/66.86 c bounds 352 >= 96 @ 50.2563 66.63/66.86 c bounds 352 >= 97 @ 50.2565 66.63/66.86 c bounds 352 >= 98 @ 50.2575 66.63/66.86 c bounds 352 >= 99 @ 50.2583 66.63/66.86 c bounds 352 >= 100 @ 50.2634 66.63/66.86 c bounds 352 >= 101 @ 50.2743 66.63/66.86 c #Conflicts: 20000 | #Constraints: 48205 66.63/66.86 c bounds 350 >= 101 @ 50.6251 66.63/66.86 c bounds 350 >= 102 @ 50.6256 66.63/66.86 c bounds 350 >= 103 @ 50.6258 66.63/66.86 c bounds 350 >= 104 @ 50.6273 66.63/66.86 c bounds 350 >= 105 @ 50.6277 66.63/66.86 c bounds 350 >= 106 @ 50.6302 66.63/66.86 c bounds 350 >= 107 @ 50.6326 66.63/66.86 c bounds 350 >= 108 @ 50.6366 66.63/66.86 c bounds 350 >= 109 @ 50.6499 66.63/66.86 c #Conflicts: 21000 | #Constraints: 49311 66.63/66.86 c bounds 350 >= 110 @ 50.6915 66.63/66.86 c INPROCESSING 66.63/66.86 c GARBAGE COLLECT 66.63/66.86 c #Conflicts: 22000 | #Constraints: 47087 66.63/66.86 c bounds 350 >= 111 @ 50.8231 66.63/66.86 c bounds 348 >= 111 @ 50.8333 66.63/66.86 c #Conflicts: 23000 | #Constraints: 48112 66.63/66.86 c bounds 346 >= 111 @ 51.0649 66.63/66.86 c bounds 346 >= 112 @ 51.0657 66.63/66.86 c bounds 346 >= 113 @ 51.0659 66.63/66.86 c bounds 346 >= 114 @ 51.0703 66.63/66.86 c bounds 346 >= 115 @ 51.0856 66.63/66.86 c #Conflicts: 24000 | #Constraints: 49161 66.63/66.86 c bounds 346 >= 116 @ 51.112 66.63/66.86 c bounds 346 >= 117 @ 51.1622 66.63/66.86 c #Conflicts: 25000 | #Constraints: 50200 66.63/66.86 c INPROCESSING 66.63/66.86 c GARBAGE COLLECT 66.63/66.86 c #Conflicts: 26000 | #Constraints: 47825 66.63/66.86 c #Conflicts: 27000 | #Constraints: 48825 66.63/66.86 c bounds 342 >= 117 @ 52.0226 66.63/66.86 c bounds 342 >= 118 @ 52.0233 66.63/66.86 c bounds 342 >= 119 @ 52.0242 66.63/66.86 c bounds 342 >= 120 @ 52.0253 66.63/66.86 c bounds 342 >= 121 @ 52.0253 66.63/66.86 c bounds 342 >= 122 @ 52.0295 66.63/66.86 c bounds 342 >= 123 @ 52.0387 66.63/66.86 c bounds 342 >= 124 @ 52.0399 66.63/66.86 c bounds 342 >= 125 @ 52.0403 66.63/66.86 c bounds 342 >= 126 @ 52.0408 66.63/66.86 c bounds 342 >= 127 @ 52.0413 66.63/66.86 c bounds 342 >= 128 @ 52.0413 66.63/66.86 c bounds 342 >= 129 @ 52.0423 66.63/66.86 c bounds 342 >= 130 @ 52.0494 66.63/66.86 c #Conflicts: 28000 | #Constraints: 49992 66.63/66.86 c bounds 342 >= 131 @ 52.0662 66.63/66.86 c bounds 342 >= 132 @ 52.1293 66.63/66.86 c #Conflicts: 29000 | #Constraints: 51034 66.63/66.86 c INPROCESSING 66.63/66.86 c GARBAGE COLLECT 66.63/66.86 c #Conflicts: 30000 | #Constraints: 48441 66.63/66.86 c bounds 342 >= 133 @ 63.9155 66.63/66.86 c #Conflicts: 31000 | #Constraints: 49459 66.63/66.86 c #Conflicts: 32000 | #Constraints: 50459 66.63/66.86 c #Conflicts: 33000 | #Constraints: 51459 66.63/66.86 c bounds 342 >= 134 @ 64.4252 66.63/66.86 c #Conflicts: 34000 | #Constraints: 52486 66.63/66.86 c #Conflicts: 35000 | #Constraints: 53486 66.63/66.86 c bounds 340 >= 134 @ 65.1389 66.63/66.86 c bounds 340 >= 135 @ 65.1395 66.63/66.86 c bounds 340 >= 136 @ 65.1407 66.63/66.86 c bounds 340 >= 137 @ 65.1415 66.63/66.86 c bounds 340 >= 138 @ 65.142 66.63/66.86 c bounds 340 >= 139 @ 65.1466 66.63/66.86 c #Conflicts: 36000 | #Constraints: 54550 66.63/66.86 c bounds 340 >= 140 @ 65.1622 66.63/66.86 c #Conflicts: 37000 | #Constraints: 55565 66.63/66.86 c bounds 340 >= 141 @ 65.2548 66.63/66.86 c #Conflicts: 38000 | #Constraints: 56589 66.63/66.86 c bounds 340 >= 142 @ 65.4525 66.63/66.86 c bounds 334 >= 142 @ 65.7361 66.63/66.86 c #Conflicts: 39000 | #Constraints: 57611 66.63/66.86 c bounds 334 >= 143 @ 65.7541 66.63/66.86 c bounds 334 >= 144 @ 65.7997 66.63/66.86 c #Conflicts: 40000 | #Constraints: 58647 66.63/66.86 c #Conflicts: 41000 | #Constraints: 59647 98.35/98.61 c bounds 334 >= 145 @ 84.0775 98.35/98.61 c bounds 332 >= 145 @ 84.1434 98.35/98.61 c #Conflicts: 42000 | #Constraints: 60672 98.35/98.61 c INPROCESSING 98.35/98.61 c GARBAGE COLLECT 98.35/98.61 c rational objective 145 152.62/153.01 c bounds 332 >= 146 @ 97.8929 152.62/153.01 c bounds 332 >= 147 @ 97.8936 152.62/153.01 c bounds 332 >= 148 @ 97.8942 152.62/153.01 c bounds 332 >= 149 @ 97.8947 152.62/153.01 c #Conflicts: 43000 | #Constraints: 52968 152.62/153.01 c bounds 332 >= 150 @ 97.8979 152.62/153.01 c bounds 332 >= 151 @ 97.9132 152.62/153.01 c bounds 332 >= 152 @ 97.9382 152.62/153.01 c #Conflicts: 44000 | #Constraints: 54019 152.62/153.01 c bounds 332 >= 153 @ 97.9986 152.62/153.01 c bounds 332 >= 154 @ 98.0037 152.62/153.01 c bounds 332 >= 155 @ 98.004 152.62/153.01 c bounds 332 >= 156 @ 98.0059 152.62/153.01 c bounds 332 >= 157 @ 98.0088 152.62/153.01 c bounds 332 >= 158 @ 98.0091 152.62/153.01 c bounds 332 >= 159 @ 98.0099 152.62/153.01 c bounds 332 >= 160 @ 98.0109 152.62/153.01 c bounds 332 >= 161 @ 98.0113 152.62/153.01 c bounds 332 >= 162 @ 98.0139 152.62/153.01 c #Conflicts: 45000 | #Constraints: 55160 152.62/153.01 c bounds 332 >= 163 @ 98.03 152.62/153.01 c bounds 332 >= 164 @ 98.0704 152.62/153.01 c #Conflicts: 46000 | #Constraints: 56197 152.62/153.01 c bounds 332 >= 165 @ 98.1678 152.62/153.01 c #Conflicts: 47000 | #Constraints: 57212 152.62/153.01 c #Conflicts: 48000 | #Constraints: 58212 152.62/153.01 c INPROCESSING 152.62/153.01 c GARBAGE COLLECT 152.62/153.01 c bounds 324 >= 165 @ 147.695 152.62/153.01 c #Conflicts: 49000 | #Constraints: 52300 152.62/153.01 c bounds 324 >= 166 @ 147.703 152.62/153.01 c bounds 324 >= 167 @ 147.706 152.62/153.01 c #Conflicts: 50000 | #Constraints: 53321 152.62/153.01 c bounds 324 >= 168 @ 147.752 152.62/153.01 c bounds 324 >= 169 @ 147.756 152.62/153.01 c #Conflicts: 51000 | #Constraints: 54348 152.62/153.01 c bounds 324 >= 170 @ 147.882 152.62/153.01 c #Conflicts: 52000 | #Constraints: 55363 152.62/153.01 c bounds 324 >= 171 @ 147.912 152.62/153.01 c #Conflicts: 53000 | #Constraints: 56381 152.62/153.01 c #Conflicts: 54000 | #Constraints: 57381 152.62/153.01 c #Conflicts: 55000 | #Constraints: 58381 152.62/153.01 c #Conflicts: 56000 | #Constraints: 59381 152.62/153.01 c bounds 324 >= 172 @ 148.552 152.62/153.01 c #Conflicts: 57000 | #Constraints: 60399 152.62/153.01 c bounds 322 >= 172 @ 149.891 152.62/153.01 c #Conflicts: 58000 | #Constraints: 61400 152.62/153.01 WSVECS04 Frhs2[3]: 6 -3.00005 0 shouldn't be 152.62/153.01 WSVECS04 Frhs2[82]: 6 -1.00004 0 shouldn't be 152.62/153.01 WSVECS04 Frhs2[367]: 6 -3.00009 0 shouldn't be 152.62/153.01 WSVECS04 Frhs2[437]: 6 -4.00006 0 shouldn't be 152.62/153.01 WSVECS04 Frhs2[682]: 6 -2.00004 0 shouldn't be 154.40/154.86 WSVECS04 Frhs2[548]: 6 -2.00003 0 shouldn't be 154.40/154.86 WSVECS04 Frhs2[753]: 6 -3.00002 0 shouldn't be 154.40/154.86 WSVECS04 Frhs2[782]: 6 -2.00004 0 shouldn't be 156.30/156.77 WSVECS04 Frhs2[42]: 6 -2.00003 0 shouldn't be 156.30/156.77 WSVECS04 Frhs2[699]: 6 -2.00006 0 shouldn't be 156.30/156.77 WSVECS04 Frhs2[759]: 6 -2.0001 0 shouldn't be 156.30/156.77 WSVECS04 Frhs2[803]: 6 -2.00005 0 shouldn't be 156.30/156.77 WSVECS04 Frhs2[880]: 6 -1.00006 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[2]: 6 -2.00004 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[5]: 6 -5.00009 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[7]: 6 -3.00001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[28]: 6 -3.00008 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[55]: 6 -4.00008 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[73]: 6 -2.00007 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[146]: 6 -5.00002 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[184]: 6 -4.00009 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[206]: 6 -4.00009 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[219]: 6 -2.00003 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[232]: 6 -2.00006 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[237]: 6 -4.00009 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[246]: 6 -5.0001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[264]: 6 -3.00002 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[428]: 6 -3.00008 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[455]: 6 -5.00006 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[470]: 6 -1.00002 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[482]: 6 -2.00004 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[498]: 6 -3.00005 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[499]: 6 -2.00004 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[502]: 6 -2.00001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[503]: 6 -3.00005 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[504]: 6 -4.00005 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[509]: 6 -2.00003 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[519]: 6 -2.00003 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[528]: 6 -3.00007 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[537]: 6 -4.00005 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[553]: 6 -3.00006 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[564]: 6 -4.00003 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[568]: 6 -3.00002 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[579]: 6 -2.00002 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[591]: 6 -1.00003 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[596]: 6 -5.0001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[598]: 6 -3.00004 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[612]: 6 -2.00008 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[619]: 6 -2.00007 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[628]: 6 -3.00005 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[698]: 6 -3.00009 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[723]: 6 -3.00001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[793]: 6 -2.00005 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[864]: 6 -4.0001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[873]: 6 -3.00004 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[893]: 6 -2.00006 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[896]: 6 -5.00001 0 shouldn't be 159.40/159.85 WSVECS04 Frhs2[899]: 6 -2.00002 0 shouldn't be 165.18/165.64 WSVECS04 Frhs2[1]: 6 -1.00008 0 shouldn't be 165.18/165.64 WSVECS04 Frhs2[72]: 6 -2.00005 0 shouldn't be 165.18/165.64 WSVECS04 Frhs2[207]: 6 -3.00004 0 shouldn't be 165.18/165.64 WSVECS04 Frhs2[737]: 6 -3.00004 0 shouldn't be 168.97/169.47 WSVECS04 Frhs2[191]: 6 -1.00004 0 shouldn't be 168.97/169.47 WSVECS04 Frhs2[200]: 6 -1.00009 0 shouldn't be 168.97/169.47 WSVECS04 Frhs2[657]: 6 -3.00009 0 shouldn't be 168.97/169.47 WSVECS04 Frhs2[719]: 6 -2.00005 0 shouldn't be 168.97/169.47 WSVECS04 Frhs2[828]: 6 -2.00008 0 shouldn't be 172.06/172.59 WSVECS04 Frhs2[382]: 6 -2.00008 0 shouldn't be 172.06/172.59 WSVECS04 Frhs2[746]: 6 -4.00005 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[50]: 6 -1.00006 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[199]: 6 -2.00006 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[212]: 6 -2.00007 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[259]: 6 -2.00008 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[460]: 6 -1.00007 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[691]: 6 -1.00005 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[801]: 6 -1.00009 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[851]: 6 -1.00008 0 shouldn't be 173.76/174.29 WSVECS04 Frhs2[891]: 6 -1.00009 0 shouldn't be 176.45/176.92 WSVECS04 Frhs2[201]: 6 -1.00002 0 shouldn't be 176.45/176.92 WSVECS04 Frhs2[501]: 6 -1.00007 0 shouldn't be 176.45/176.92 WSVECS04 Frhs2[601]: 6 -1.00008 0 shouldn't be 176.45/176.92 WSVECS04 Frhs2[840]: 6 -1.0001 0 shouldn't be 176.45/176.92 WSVECS04 Frhs2[892]: 6 -1.00007 0 shouldn't be 182.84/183.30 WSVECS04 Frhs2[108]: 6 -2.00007 0 shouldn't be 182.84/183.30 WSVECS04 Frhs2[173]: 6 -2.00004 0 shouldn't be 193.11/193.64 WSVECS04 Frhs2[10]: 6 -1.00001 0 shouldn't be 199.28/199.86 WSVECS04 Frhs2[100]: 6 -1.00003 0 shouldn't be 205.27/205.82 WSVECS04 Frhs2[900]: 6 -1.00007 0 shouldn't be 211.66/212.21 WSVECS04 Frhs2[491]: 6 -1.00008 0 shouldn't be 214.46/215.06 WSVECS04 Frhs2[400]: 6 -1.00007 0 shouldn't be 220.03/220.68 WSVECS04 Frhs2[600]: 6 -1.00009 0 shouldn't be 278.08/278.85 c bounds 322 >= 173 @ 220.396 278.08/278.85 c #Conflicts: 59000 | #Constraints: 62415 278.08/278.85 c #Conflicts: 60000 | #Constraints: 63415 278.08/278.85 c #Conflicts: 61000 | #Constraints: 64415 278.08/278.85 c #Conflicts: 62000 | #Constraints: 65415 278.08/278.85 c #Conflicts: 63000 | #Constraints: 66415 278.08/278.85 c #Conflicts: 64000 | #Constraints: 67415 278.08/278.85 c #Conflicts: 65000 | #Constraints: 68415 278.08/278.85 c INPROCESSING 278.08/278.85 c GARBAGE COLLECT 278.08/278.85 c #Conflicts: 66000 | #Constraints: 57458 278.08/278.85 c #Conflicts: 67000 | #Constraints: 58458 278.08/278.85 c #Conflicts: 68000 | #Constraints: 59458 278.08/278.85 c bounds 322 >= 174 @ 224.828 278.08/278.85 c #Conflicts: 69000 | #Constraints: 60485 278.08/278.85 c #Conflicts: 70000 | #Constraints: 61485 278.08/278.85 c #Conflicts: 71000 | #Constraints: 62485 278.08/278.85 c INPROCESSING 278.08/278.85 c GARBAGE COLLECT 278.08/278.85 c #Conflicts: 72000 | #Constraints: 54300 278.08/278.85 c #Conflicts: 73000 | #Constraints: 55300 278.08/278.85 c #Conflicts: 74000 | #Constraints: 56300 278.08/278.85 c bounds 322 >= 175 @ 226.121 278.08/278.85 c #Conflicts: 75000 | #Constraints: 57321 278.08/278.85 c #Conflicts: 76000 | #Constraints: 58321 278.08/278.85 c #Conflicts: 77000 | #Constraints: 59321 278.08/278.85 c #Conflicts: 78000 | #Constraints: 60321 278.08/278.85 c #Conflicts: 79000 | #Constraints: 61321 278.08/278.85 c #Conflicts: 80000 | #Constraints: 62321 278.08/278.85 c #Conflicts: 81000 | #Constraints: 63321 278.08/278.85 c #Conflicts: 82000 | #Constraints: 64321 278.08/278.85 c #Conflicts: 83000 | #Constraints: 65321 278.08/278.85 c bounds 322 >= 176 @ 229.545 278.08/278.85 c #Conflicts: 84000 | #Constraints: 66345 278.08/278.85 c #Conflicts: 85000 | #Constraints: 67345 278.08/278.85 c #Conflicts: 86000 | #Constraints: 68345 278.08/278.85 c #Conflicts: 87000 | #Constraints: 69345 278.08/278.85 c #Conflicts: 88000 | #Constraints: 70345 278.08/278.85 c #Conflicts: 89000 | #Constraints: 71345 278.08/278.85 c #Conflicts: 90000 | #Constraints: 72345 278.08/278.85 c #Conflicts: 91000 | #Constraints: 73345 278.08/278.85 c INPROCESSING 278.08/278.85 c GARBAGE COLLECT 278.08/278.85 c rational objective 176 345.61/346.54 c #Conflicts: 92000 | #Constraints: 59716 345.61/346.54 c #Conflicts: 93000 | #Constraints: 60716 345.61/346.54 c #Conflicts: 94000 | #Constraints: 61716 345.61/346.54 c #Conflicts: 95000 | #Constraints: 62716 345.61/346.54 c #Conflicts: 96000 | #Constraints: 63716 345.61/346.54 c #Conflicts: 97000 | #Constraints: 64716 345.61/346.54 c bounds 322 >= 177 @ 278.364 345.61/346.54 c #Conflicts: 98000 | #Constraints: 65734 345.61/346.54 c #Conflicts: 99000 | #Constraints: 66734 345.61/346.54 c INPROCESSING 345.61/346.54 c GARBAGE COLLECT 345.61/346.54 c #Conflicts: 100000 | #Constraints: 56574 345.61/346.54 c #Conflicts: 101000 | #Constraints: 57574 345.61/346.54 c #Conflicts: 102000 | #Constraints: 58574 345.61/346.54 c #Conflicts: 103000 | #Constraints: 59574 345.61/346.54 c #Conflicts: 104000 | #Constraints: 60574 345.61/346.54 c bounds 322 >= 178 @ 280.007 345.61/346.54 c bounds 322 >= 179 @ 280.041 345.61/346.54 c #Conflicts: 105000 | #Constraints: 61616 345.61/346.54 c #Conflicts: 106000 | #Constraints: 62616 345.61/346.54 c #Conflicts: 107000 | #Constraints: 63616 345.61/346.54 c INPROCESSING 345.61/346.54 c GARBAGE COLLECT 345.61/346.54 c rational objective 179 421.81/422.90 c bounds 318 >= 179 @ 343.644 421.81/422.90 c #Conflicts: 108000 | #Constraints: 55098 421.81/422.90 c #Conflicts: 109000 | #Constraints: 56098 421.81/422.90 c #Conflicts: 110000 | #Constraints: 57098 421.81/422.90 c #Conflicts: 111000 | #Constraints: 58098 421.81/422.90 c bounds 314 >= 179 @ 346.403 421.81/422.90 c #Conflicts: 112000 | #Constraints: 59099 421.81/422.90 c #Conflicts: 113000 | #Constraints: 60099 421.81/422.90 c bounds 314 >= 180 @ 346.536 421.81/422.90 c #Conflicts: 114000 | #Constraints: 61120 421.81/422.90 c #Conflicts: 115000 | #Constraints: 62120 421.81/422.90 c bounds 314 >= 181 @ 346.844 421.81/422.90 c #Conflicts: 116000 | #Constraints: 63144 421.81/422.90 c #Conflicts: 117000 | #Constraints: 64144 421.81/422.90 c #Conflicts: 118000 | #Constraints: 65144 421.81/422.90 c #Conflicts: 119000 | #Constraints: 66144 421.81/422.90 c bounds 314 >= 182 @ 348.037 421.81/422.90 c #Conflicts: 120000 | #Constraints: 67168 421.81/422.90 c #Conflicts: 121000 | #Constraints: 68168 421.81/422.90 c #Conflicts: 122000 | #Constraints: 69168 421.81/422.90 c #Conflicts: 123000 | #Constraints: 70168 421.81/422.90 c bounds 314 >= 183 @ 370.22 421.81/422.90 c #Conflicts: 124000 | #Constraints: 71189 421.81/422.90 c #Conflicts: 125000 | #Constraints: 72189 421.81/422.90 c #Conflicts: 126000 | #Constraints: 73189 421.81/422.90 c #Conflicts: 127000 | #Constraints: 74189 421.81/422.90 c #Conflicts: 128000 | #Constraints: 75189 421.81/422.90 c #Conflicts: 129000 | #Constraints: 76189 421.81/422.90 c #Conflicts: 130000 | #Constraints: 77189 421.81/422.90 c #Conflicts: 131000 | #Constraints: 78189 421.81/422.90 c INPROCESSING 421.81/422.90 c GARBAGE COLLECT 421.81/422.90 c #Conflicts: 132000 | #Constraints: 62309 421.81/422.90 c #Conflicts: 133000 | #Constraints: 63309 421.81/422.90 c #Conflicts: 134000 | #Constraints: 64309 421.81/422.90 c #Conflicts: 135000 | #Constraints: 65309 421.81/422.90 c bounds 314 >= 184 @ 379.653 421.81/422.90 c #Conflicts: 136000 | #Constraints: 66336 421.81/422.90 c #Conflicts: 137000 | #Constraints: 67336 421.81/422.90 c #Conflicts: 138000 | #Constraints: 68336 421.81/422.90 c #Conflicts: 139000 | #Constraints: 69336 421.81/422.90 c #Conflicts: 140000 | #Constraints: 70336 421.81/422.90 c INPROCESSING 421.81/422.90 c GARBAGE COLLECT 421.81/422.90 c #Conflicts: 141000 | #Constraints: 58261 421.81/422.90 c #Conflicts: 142000 | #Constraints: 59261 421.81/422.90 c #Conflicts: 143000 | #Constraints: 60261 421.81/422.90 c #Conflicts: 144000 | #Constraints: 61261 421.81/422.90 c #Conflicts: 145000 | #Constraints: 62261 421.81/422.90 c #Conflicts: 146000 | #Constraints: 63261 421.81/422.90 c bounds 314 >= 185 @ 396.364 421.81/422.90 c #Conflicts: 147000 | #Constraints: 64285 421.81/422.90 c #Conflicts: 148000 | #Constraints: 65285 421.81/422.90 c #Conflicts: 149000 | #Constraints: 66285 421.81/422.90 c #Conflicts: 150000 | #Constraints: 67285 421.81/422.90 c INPROCESSING 421.81/422.90 c GARBAGE COLLECT 421.81/422.90 c rational objective 185 468.60/469.84 c #Conflicts: 151000 | #Constraints: 57058 468.60/469.84 c #Conflicts: 152000 | #Constraints: 58058 468.60/469.84 c #Conflicts: 153000 | #Constraints: 59058 468.60/469.84 c #Conflicts: 154000 | #Constraints: 60058 468.60/469.84 c #Conflicts: 155000 | #Constraints: 61058 468.60/469.84 c #Conflicts: 156000 | #Constraints: 62058 468.60/469.84 c #Conflicts: 157000 | #Constraints: 63058 468.60/469.84 c #Conflicts: 158000 | #Constraints: 64058 468.60/469.84 c #Conflicts: 159000 | #Constraints: 65058 468.60/469.84 c #Conflicts: 160000 | #Constraints: 66058 468.60/469.84 c #Conflicts: 161000 | #Constraints: 67058 468.60/469.84 c bounds 314 >= 186 @ 436.582 468.60/469.84 c #Conflicts: 162000 | #Constraints: 68082 468.60/469.84 c #Conflicts: 163000 | #Constraints: 69083 468.60/469.84 c #Conflicts: 164000 | #Constraints: 70084 468.60/469.84 c #Conflicts: 165000 | #Constraints: 71084 468.60/469.84 c #Conflicts: 166000 | #Constraints: 72084 468.60/469.84 c #Conflicts: 167000 | #Constraints: 73084 468.60/469.84 c #Conflicts: 168000 | #Constraints: 74084 468.60/469.84 c #Conflicts: 169000 | #Constraints: 75084 468.60/469.84 c #Conflicts: 170000 | #Constraints: 76084 468.60/469.84 c #Conflicts: 171000 | #Constraints: 77084 468.60/469.84 c #Conflicts: 172000 | #Constraints: 78084 468.60/469.84 c #Conflicts: 173000 | #Constraints: 79084 468.60/469.84 c #Conflicts: 174000 | #Constraints: 80084 468.60/469.84 c #Conflicts: 175000 | #Constraints: 81085 468.60/469.84 c #Conflicts: 176000 | #Constraints: 82086 468.60/469.84 c #Conflicts: 177000 | #Constraints: 83086 468.60/469.84 c #Conflicts: 178000 | #Constraints: 84086 468.60/469.84 c INPROCESSING 468.60/469.84 c GARBAGE COLLECT 468.60/469.84 WSVECS04 Frhs2[108]: 6 -2.00008 0 shouldn't be 468.60/469.84 WSVECS04 Frhs2[205]: 6 0 1.00001 shouldn't be 468.60/469.84 WSVECS04 Frhs2[276]: 6 0 1.00007 shouldn't be 468.60/469.84 WSVECS04 Frhs2[307]: 6 0 8.00007 shouldn't be 468.60/469.84 WSVECS04 Frhs2[319]: 6 -1.00006 0 shouldn't be 468.60/469.84 WSVECS04 Frhs2[400]: 6 -1.00004 0 shouldn't be 468.60/469.84 WSVECS04 Frhs2[421]: 6 0 1.00001 shouldn't be 468.60/469.84 WSVECS04 Frhs2[482]: 6 -2.20004 0 shouldn't be 468.60/469.84 WSVECS04 Frhs2[541]: 6 0 0.625032 shouldn't be 468.60/469.84 WSVECS04 Frhs2[548]: 6 0 0.625034 shouldn't be 468.60/469.84 WSVECS04 Frhs2[558]: 6 -0.625034 0 shouldn't be 468.60/469.84 WSVECS04 Frhs2[591]: 6 -0.625029 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[627]: 6 0 0.500021 shouldn't be 468.60/469.85 WSVECS04 Frhs2[629]: 6 0 2.5001 shouldn't be 468.60/469.85 WSVECS04 Frhs2[654]: 6 0 6.00004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[746]: 6 -4.00009 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[780]: 6 0 3.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[786]: 6 0 3.00004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[790]: 6 0 2.00008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[846]: 6 0 1.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[854]: 6 0 4.97504 shouldn't be 468.60/469.85 WSVECS04 Frhs2[894]: 6 0 5.97506 shouldn't be 468.60/469.85 WSVECS04 Frhs2[930]: 6 0 10.9751 shouldn't be 468.60/469.85 WSVECS04 Frhs2[939]: 6 0 3.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[946]: 6 0 1.00008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[948]: 6 0 6.97508 shouldn't be 468.60/469.85 WSVECS04 Frhs2[959]: 6 0 4.02501 shouldn't be 468.60/469.85 WSVECS04 Frhs2[982]: 6 0 1.00008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1000]: 6 0 1.00006 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1002]: 6 0 8.97503 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1036]: 6 0 2.97504 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1056]: 6 0 3.97503 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1106]: 6 0 6.00008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1112]: 6 0 2.02502 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1128]: 6 -10.8 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1165]: 6 0 5.00006 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1170]: 6 0 5.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1178]: 6 0 3.97506 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1263]: 6 0 6.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1271]: 6 0 6.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1297]: 6 -2.50006 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1345]: 6 -21 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1369]: 6 0 5.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1414]: 6 -8.50003 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1417]: 6 0 1.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1427]: 6 -0.250088 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1531]: 6 0 4.00006 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1570]: 6 0 1.95007 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1571]: 6 0 1.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1574]: 6 0 5.80002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1576]: 6 0 0.800079 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1579]: 6 0 1.00004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1584]: 6 0 0.950091 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1589]: 6 0 0.0500525 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1594]: 6 0 0.850064 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1612]: 6 0 1.67506 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1624]: 6 0 0.150097 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1626]: 6 0 2.20002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1628]: 6 0 4.00004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1643]: 6 0 1.20004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1648]: 6 0 2.00006 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1660]: 6 0 1.95003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1661]: 6 0 1.0001 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1674]: 6 0 0.950026 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1696]: 6 0 1.95002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1697]: 6 0 1.00008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1702]: 6 0 1.80008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1739]: 6 0 3.25004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1799]: 6 0 3.37502 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1811]: 6 0 3.87505 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1855]: 6 0 5.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1865]: 6 0 3.87507 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1868]: 6 -12.5 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1884]: 6 0 3.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1896]: 6 -5.50002 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1931]: 6 0 1.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1934]: 6 0 1.00006 shouldn't be 468.60/469.85 WSVECS04 Frhs2[1990]: 6 -6.00003 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2036]: 6 0 1.00005 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2053]: 6 -8.00003 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2054]: 6 0 6.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2072]: 6 0 6.00009 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2086]: 6 -2.00004 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2096]: 6 0 2.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2098]: 6 0 2.00001 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2099]: 6 0 2.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2101]: 6 0 2.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2108]: 6 0 1.00008 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2126]: 6 0 6.00001 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2130]: 6 -2.00003 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2144]: 6 0 6.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2150]: 6 -2.00005 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2162]: 6 0 6.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2180]: 6 0 4.0001 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2210]: 6 0 2.00004 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2235]: 6 0 2.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2278]: 6 0 3.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2282]: 6 0 4.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2311]: 6 0 2.00001 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2314]: 6 0 1.00007 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2318]: 6 0 2.00003 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2394]: 6 -2.00009 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2458]: 6 0 1.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2525]: 6 -1.00004 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2538]: 6 -5.00006 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2561]: 6 0 5.00002 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2564]: 6 -2.37501 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2584]: 6 -1.20009 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2591]: 6 -3.0501 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2604]: 6 -4.00005 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2655]: 6 -2.00007 0 shouldn't be 468.60/469.85 WSVECS04 Frhs2[2694]: 6 0 8.97508 shouldn't be 470.80/472.05 WSVECS04 Frhs2[116]: 6 0 0.500054 shouldn't be 470.80/472.05 WSVECS04 Frhs2[362]: 6 0 1.00002 shouldn't be 470.80/472.05 WSVECS04 Frhs2[451]: 6 0 2.00004 shouldn't be 470.80/472.05 WSVECS04 Frhs2[613]: 6 0 0.62502 shouldn't be 470.80/472.05 WSVECS04 Frhs2[779]: 6 0 1.00008 shouldn't be 470.80/472.05 WSVECS04 Frhs2[781]: 6 0 2.00001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[808]: 6 0 1.00004 shouldn't be 470.80/472.05 WSVECS04 Frhs2[909]: 6 0 11.0001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[964]: 6 0 1.00008 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1089]: 6 0 11.0001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1094]: 6 0 4.02502 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1113]: 6 0 9.00005 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1143]: 6 0 9.00002 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1148]: 6 0 2.02502 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1153]: 6 0 5.00003 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1185]: 6 0 6.97503 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1220]: 6 0 4.0251 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1240]: 6 0 13.0001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1298]: 6 0 2.00005 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1316]: 6 0 2.00006 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1317]: 6 0 1.00008 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1398]: 6 0 0.125077 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1402]: 6 0 13.125 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1434]: 6 0 0.125082 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1437]: 6 0 2.12509 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1439]: 6 0 2.12505 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1451]: 6 0 1.00006 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1454]: 6 0 1.00006 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1456]: 6 0 1.00007 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1457]: 6 0 1.00004 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1613]: 6 0 1.6751 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1617]: 6 0 6.92503 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1653]: 6 0 7.25004 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1671]: 6 0 7.05001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1703]: 6 0 1.80009 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1707]: 6 0 7.05004 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1710]: 6 0 0.950082 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1726]: 6 0 10.5001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1847]: 6 0 3.87503 shouldn't be 470.80/472.05 WSVECS04 Frhs2[1888]: 6 0 15.0001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2050]: 6 0 6.00008 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2232]: 6 0 2.00006 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2234]: 6 0 2.0001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2239]: 6 0 2.00005 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2242]: 6 0 1.00007 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2246]: 6 0 2.00005 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2291]: 6 0 1.50007 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2374]: 6 0 10.0001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2449]: 6 0 1.50008 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2469]: 6 0 1.00005 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2524]: 6 0 1.00001 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2534]: 6 0 4.02509 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2580]: 6 -2.25003 0 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2587]: 6 -7.75004 0 shouldn't be 470.80/472.05 WSVECS04 Frhs2[2588]: 6 -13.9501 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[184]: 6 -2.00003 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[200]: 6 -1.00007 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[223]: 6 0 3.00004 shouldn't be 473.69/474.93 WSVECS04 Frhs2[240]: 6 0 7.00002 shouldn't be 473.69/474.93 WSVECS04 Frhs2[241]: 6 0 7.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[258]: 6 0 3.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[260]: 6 0 3.0001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[261]: 6 0 5.00002 shouldn't be 473.69/474.93 WSVECS04 Frhs2[272]: 6 0 1.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[278]: 6 0 1.00007 shouldn't be 473.69/474.93 WSVECS04 Frhs2[330]: 6 0 1.00002 shouldn't be 473.69/474.93 WSVECS04 Frhs2[441]: 6 0 3.00004 shouldn't be 473.69/474.93 WSVECS04 Frhs2[488]: 6 0 2.20005 shouldn't be 473.69/474.93 WSVECS04 Frhs2[631]: 6 0 1.00008 shouldn't be 473.69/474.93 WSVECS04 Frhs2[640]: 6 0 6.00005 shouldn't be 473.69/474.93 WSVECS04 Frhs2[641]: 6 0 3.00001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[642]: 6 0 2.00006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[643]: 6 0 2.00007 shouldn't be 473.69/474.93 WSVECS04 Frhs2[647]: 6 0 2.00007 shouldn't be 473.69/474.93 WSVECS04 Frhs2[648]: 6 0 4.00009 shouldn't be 473.69/474.93 WSVECS04 Frhs2[649]: 6 0 4.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[651]: 6 -2.00002 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[698]: 6 -2.00003 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[922]: 6 0 2.00001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[936]: 6 0 2.00009 shouldn't be 473.69/474.93 WSVECS04 Frhs2[973]: 6 0 1.50001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1032]: 6 0 1.97503 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1035]: 6 0 1.97506 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1156]: 6 0 6.00002 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1163]: 6 0 7.00007 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1168]: 6 0 5.00008 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1197]: 6 0 6.97505 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1203]: 6 0 6.97509 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1207]: 6 0 5.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1210]: 6 0 1.00008 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1215]: 6 0 11 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1252]: 6 0 1.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1256]: 6 0 4.00006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1278]: 6 0 6.00006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1288]: 6 0 2.00006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1306]: 6 0 2.00001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1324]: 6 0 2.0001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1334]: 6 0 2.00005 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1360]: 6 0 2.00008 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1364]: 6 0 4.00006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1389]: 6 0 1.12509 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1435]: 6 0 2.12504 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1497]: 6 0 1.12502 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1505]: 6 0 2.12506 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1507]: 6 0 2.12503 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1508]: 6 0 2.12502 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1509]: 6 0 2.12507 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1642]: 6 0 2.15002 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1651]: 6 0 0.20007 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1654]: 6 0 0.200074 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1680]: 6 0 2.05003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1693]: 6 0 4.80006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1792]: 6 0 3.37506 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1929]: 6 0 1.00007 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1944]: 6 0 1.00005 shouldn't be 473.69/474.93 WSVECS04 Frhs2[1970]: 6 0 6.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2125]: 6 0 1.50003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2199]: 6 0 2.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2398]: 6 0 1.00006 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2401]: 6 0 1.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2507]: 6 0 1.00004 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2509]: 6 0 1.0001 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2552]: 6 0 4.00003 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2553]: 6 -4.00009 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2597]: 6 0 0.62509 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2624]: 6 -1.00009 0 shouldn't be 473.69/474.93 WSVECS04 Frhs2[2674]: 6 0 1.00005 shouldn't be 477.88/479.12 WSVECS04 Frhs2[37]: 6 0 2.00001 shouldn't be 477.88/479.12 WSVECS04 Frhs2[39]: 6 0 4.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[72]: 6 -2.00008 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[121]: 6 0 4.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[129]: 6 0 1.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[132]: 6 0 2.00003 shouldn't be 477.88/479.12 WSVECS04 Frhs2[149]: 6 0 2.0001 shouldn't be 477.88/479.12 WSVECS04 Frhs2[187]: 6 0 3.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[196]: 6 0 3.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[214]: 6 0 2.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[222]: 6 0 2.00001 shouldn't be 477.88/479.12 WSVECS04 Frhs2[243]: 6 0 5.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[300]: 6 -1.00004 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[321]: 6 0 2.00004 shouldn't be 477.88/479.12 WSVECS04 Frhs2[338]: 6 0 2.00002 shouldn't be 477.88/479.12 WSVECS04 Frhs2[355]: 6 0 5.00002 shouldn't be 477.88/479.12 WSVECS04 Frhs2[361]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[366]: 6 0 1.00002 shouldn't be 477.88/479.12 WSVECS04 Frhs2[391]: 6 -1.00005 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[434]: 6 0 1.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[440]: 6 0 3.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[521]: 6 0 1.00003 shouldn't be 477.88/479.12 WSVECS04 Frhs2[524]: 6 0 1.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[546]: 6 -4.00003 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[622]: 6 0 6.12503 shouldn't be 477.88/479.12 WSVECS04 Frhs2[623]: 6 0 4.12506 shouldn't be 477.88/479.12 WSVECS04 Frhs2[637]: 6 -3.00007 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[682]: 6 -4.00007 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[771]: 6 0 2.00005 shouldn't be 477.88/479.12 WSVECS04 Frhs2[905]: 6 0 4.02508 shouldn't be 477.88/479.12 WSVECS04 Frhs2[907]: 6 0 4.02505 shouldn't be 477.88/479.12 WSVECS04 Frhs2[920]: 6 0 2.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1027]: 6 0 1.97504 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1028]: 6 0 1.97507 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1029]: 6 0 5.97503 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1031]: 6 0 6.00002 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1038]: 6 0 10.95 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1040]: 6 0 1.97506 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1041]: 6 0 6.97508 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1217]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1230]: 6 0 2.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1235]: 6 0 2.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1239]: 6 0 2.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1261]: 6 0 6.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1266]: 6 0 6.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1268]: 6 0 6.00005 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1277]: 6 0 6.00005 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1400]: 6 0 2.12503 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1572]: 6 0 4.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1590]: 6 0 3.05002 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1652]: 6 0 0.20003 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1665]: 6 0 4.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1698]: 6 0 4.00003 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1714]: 6 -2.00009 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1751]: 6 0 0.62501 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1761]: 6 -7.37506 0 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1829]: 6 0 3.87509 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1841]: 6 0 0.625062 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1876]: 6 0 9.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1930]: 6 0 1.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[1979]: 6 0 6.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2089]: 6 0 2.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2093]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2104]: 6 0 2.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2105]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2214]: 6 0 2.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2221]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2225]: 6 0 7.00004 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2226]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2228]: 6 0 2.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2283]: 6 0 2.00005 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2295]: 6 0 2.00003 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2304]: 6 0 4.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2310]: 6 0 2.00009 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2395]: 6 0 1.00001 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2405]: 6 0 1.00004 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2412]: 6 0 1.00007 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2422]: 6 0 1.00008 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2429]: 6 0 2.00006 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2505]: 6 0 1.00005 shouldn't be 477.88/479.12 WSVECS04 Frhs2[2578]: 6 0 1.95007 shouldn't be 484.86/486.13 WSVECS04 Frhs2[28]: 6 -3.00002 0 shouldn't be 484.86/486.13 WSVECS04 Frhs2[41]: 6 0 5.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[60]: 6 0 3.00003 shouldn't be 484.86/486.13 WSVECS04 Frhs2[63]: 6 0 1.00002 shouldn't be 484.86/486.13 WSVECS04 Frhs2[120]: 6 0 1.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[213]: 6 0 3.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[221]: 6 0 7.0001 shouldn't be 484.86/486.13 WSVECS04 Frhs2[328]: 6 -3.00004 0 shouldn't be 484.86/486.13 WSVECS04 Frhs2[352]: 6 0 12 shouldn't be 484.86/486.13 WSVECS04 Frhs2[455]: 6 -5.00003 0 shouldn't be 484.86/486.13 WSVECS04 Frhs2[490]: 6 0 2.20009 shouldn't be 484.86/486.13 WSVECS04 Frhs2[550]: 6 0 2.0001 shouldn't be 484.86/486.13 WSVECS04 Frhs2[626]: 6 0 0.125012 shouldn't be 484.86/486.13 WSVECS04 Frhs2[712]: 6 0 2.00006 shouldn't be 484.86/486.13 WSVECS04 Frhs2[829]: 6 0 2.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[864]: 6 -4.0001 0 shouldn't be 484.86/486.13 WSVECS04 Frhs2[896]: 6 -3.00008 0 shouldn't be 484.86/486.13 WSVECS04 Frhs2[919]: 6 0 2.00007 shouldn't be 484.86/486.13 WSVECS04 Frhs2[927]: 6 0 2.00009 shouldn't be 484.86/486.13 WSVECS04 Frhs2[928]: 6 0 3.00007 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1030]: 6 0 1.97509 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1136]: 6 0 2.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1149]: 6 0 9.00003 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1157]: 6 0 5.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1214]: 6 0 8.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1227]: 6 0 2.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1231]: 6 0 2.00002 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1234]: 6 0 4.00004 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1237]: 6 0 1.00004 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1269]: 6 0 6.00006 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1273]: 6 0 5.00006 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1342]: 6 0 2.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1425]: 6 0 1.12503 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1436]: 6 0 2.12506 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1453]: 6 0 2.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1455]: 6 0 1.00003 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1620]: 6 0 0.825054 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1650]: 6 0 0.20005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1656]: 6 0 1.15004 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1673]: 6 0 0.950055 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1699]: 6 0 4.00003 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1790]: 6 0 3.37503 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1800]: 6 0 3.37508 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1803]: 6 0 1.00007 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1859]: 6 0 0.625018 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1873]: 6 0 9.0001 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1883]: 6 0 7.00004 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1915]: 6 0 5.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1927]: 6 0 1.0001 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1963]: 6 0 7.50006 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1969]: 6 0 11.0001 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1976]: 6 0 6.00009 shouldn't be 484.86/486.13 WSVECS04 Frhs2[1987]: 6 0 5.00003 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2198]: 6 0 2.00009 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2207]: 6 0 7.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2275]: 6 0 4.00005 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2300]: 6 0 4.00002 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2400]: 6 0 1.00007 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2402]: 6 0 1.00006 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2403]: 6 0 1.00003 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2476]: 6 0 1.00006 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2508]: 6 0 1.00008 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2527]: 6 -5.00005 0 shouldn't be 484.86/486.13 WSVECS04 Frhs2[2693]: 6 -10.9751 0 shouldn't be 491.34/492.66 WSVECS04 Frhs2[44]: 6 0 2.0001 shouldn't be 491.34/492.66 WSVECS04 Frhs2[59]: 6 0 2.00009 shouldn't be 491.34/492.66 WSVECS04 Frhs2[62]: 6 0 2.00008 shouldn't be 491.34/492.66 WSVECS04 Frhs2[210]: 6 -1.00001 0 shouldn't be 491.34/492.66 WSVECS04 Frhs2[237]: 6 -4.00007 0 shouldn't be 491.34/492.66 WSVECS04 Frhs2[280]: 6 0 14.0001 shouldn't be 491.34/492.66 WSVECS04 Frhs2[325]: 6 0 9.00007 shouldn't be 491.34/492.66 WSVECS04 Frhs2[369]: 6 0 2.00009 shouldn't be 491.34/492.66 WSVECS04 Frhs2[696]: 6 -5.0001 0 shouldn't be 491.34/492.66 WSVECS04 Frhs2[915]: 6 0 5.00004 shouldn't be 491.34/492.66 WSVECS04 Frhs2[951]: 6 0 5.00006 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1039]: 6 0 1.97508 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1044]: 6 0 1.97506 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1221]: 6 0 11 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1272]: 6 0 6.00009 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1275]: 6 0 6.0001 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1280]: 6 0 2.00007 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1399]: 6 0 2.12507 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1577]: 6 0 1.80006 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1662]: 6 0 4.0001 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1805]: 6 0 0.625035 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1882]: 6 0 3.00005 shouldn't be 491.34/492.66 WSVECS04 Frhs2[1920]: 6 -15.0001 0 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2106]: 6 0 2.00006 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2179]: 6 0 5.00006 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2208]: 6 0 2.00009 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2243]: 6 0 7.0001 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2250]: 6 0 2.00004 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2270]: 6 0 4.00009 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2281]: 6 0 2.00006 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2284]: 6 0 2.00008 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2494]: 6 0 1.00005 shouldn't be 491.34/492.66 WSVECS04 Frhs2[2598]: 6 -2.00005 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[5]: 6 -5.00004 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[26]: 6 -4.00001 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[185]: 6 0 3.00004 shouldn't be 497.73/499.08 WSVECS04 Frhs2[199]: 6 -2.00002 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[299]: 6 -4.00003 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[398]: 6 -3.00004 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[399]: 6 -2.00005 0 shouldn't be 497.73/499.08 WSVECS04 Frhs2[420]: 6 0 2.00009 shouldn't be 497.73/499.08 WSVECS04 Frhs2[438]: 6 0 2.00008 shouldn't be 497.73/499.08 WSVECS04 Frhs2[933]: 6 0 7.00009 shouldn't be 497.73/499.08 WSVECS04 Frhs2[966]: 6 0 8.97509 shouldn't be 497.73/499.08 WSVECS04 Frhs2[977]: 6 0 4.02507 shouldn't be 497.73/499.08 WSVECS04 Frhs2[979]: 6 0 4.02503 shouldn't be 497.73/499.08 WSVECS04 Frhs2[987]: 6 0 5.00004 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1037]: 6 0 1.97501 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1162]: 6 0 5.00004 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1167]: 6 0 16.0001 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1270]: 6 0 8.00008 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1346]: 6 0 4.00009 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1510]: 6 0 2.12504 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1573]: 6 0 4.00006 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1575]: 6 0 4.00007 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1608]: 6 0 3.8751 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1629]: 6 0 2.20007 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1644]: 6 0 4.20006 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1647]: 6 0 4.20004 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1666]: 6 0 1.80007 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1879]: 6 0 14 shouldn't be 497.73/499.08 WSVECS04 Frhs2[1880]: 6 0 9.00002 shouldn't be 497.73/499.08 WSVECS04 Frhs2[2215]: 6 0 2.00007 shouldn't be 497.73/499.08 WSVECS04 Frhs2[2271]: 6 0 4.00005 shouldn't be 497.73/499.08 WSVECS04 Frhs2[2287]: 6 0 5.50003 shouldn't be 497.73/499.08 WSVECS04 Frhs2[2440]: 6 0 1.00007 shouldn't be 503.71/505.04 WSVECS04 Frhs2[281]: 6 0 1.00001 shouldn't be 503.71/505.04 WSVECS04 Frhs2[611]: 6 0 2.62503 shouldn't be 503.71/505.04 WSVECS04 Frhs2[630]: 6 0 6.12504 shouldn't be 503.71/505.04 WSVECS04 Frhs2[830]: 6 0 2.00004 shouldn't be 503.71/505.04 WSVECS04 Frhs2[957]: 6 0 4.00003 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1264]: 6 0 6.00005 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1387]: 6 0 1.12509 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1591]: 6 0 3.05008 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1645]: 6 0 4.20005 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1700]: 6 0 5.80008 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1784]: 6 0 3.37503 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1867]: 6 0 1.62506 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1887]: 6 0 9.00002 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1932]: 6 0 1.00007 shouldn't be 503.71/505.04 WSVECS04 Frhs2[1935]: 6 0 1.00006 shouldn't be 503.71/505.04 WSVECS04 Frhs2[2244]: 6 0 2.00003 shouldn't be 503.71/505.04 WSVECS04 Frhs2[2297]: 6 0 9.00009 shouldn't be 503.71/505.04 WSVECS04 Frhs2[2503]: 6 0 1.00002 shouldn't be 506.10/507.40 WSVECS04 Frhs2[40]: 6 0 5.00008 shouldn't be 506.10/507.40 WSVECS04 Frhs2[117]: 6 0 0.500025 shouldn't be 506.10/507.40 WSVECS04 Frhs2[378]: 6 -2.00008 0 shouldn't be 506.10/507.40 WSVECS04 Frhs2[912]: 6 0 8.97508 shouldn't be 506.10/507.40 WSVECS04 Frhs2[929]: 6 0 2.00001 shouldn't be 506.10/507.40 WSVECS04 Frhs2[931]: 6 0 2.00004 shouldn't be 506.10/507.40 WSVECS04 Frhs2[932]: 6 0 2.00004 shouldn't be 506.10/507.40 WSVECS04 Frhs2[992]: 6 -16.0001 0 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1015]: 6 0 4.02508 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1107]: 6 0 9.0001 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1228]: 6 0 2.00004 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1378]: 6 0 2.00002 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1640]: 6 0 0.200024 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1664]: 6 0 5.80006 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1791]: 6 0 3.37506 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1966]: 6 0 6.00006 shouldn't be 506.10/507.40 WSVECS04 Frhs2[1968]: 6 0 6.00009 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2065]: 6 0 1.00003 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2288]: 6 0 4.00006 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2289]: 6 0 4.00005 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2296]: 6 0 3.00007 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2315]: 6 0 7.00003 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2375]: 6 0 2.00002 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2614]: 6 -6.00008 0 shouldn't be 506.10/507.40 WSVECS04 Frhs2[2688]: 6 -4.02503 0 shouldn't be 507.70/509.06 WSVECS04 Frhs2[73]: 6 -2.00002 0 shouldn't be 507.70/509.06 WSVECS04 Frhs2[101]: 6 -1.00001 0 shouldn't be 507.70/509.06 WSVECS04 Frhs2[155]: 6 -4.00005 0 shouldn't be 507.70/509.06 WSVECS04 Frhs2[219]: 6 -2.00003 0 shouldn't be 507.70/509.06 WSVECS04 Frhs2[624]: 6 0 2.12503 shouldn't be 507.70/509.06 WSVECS04 Frhs2[841]: 6 0 2.0001 shouldn't be 507.70/509.06 WSVECS04 Frhs2[921]: 6 0 6.00009 shouldn't be 507.70/509.06 WSVECS04 Frhs2[924]: 6 0 2.00005 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1160]: 6 0 13.0001 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1310]: 6 0 4.00008 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1397]: 6 0 2.12504 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1423]: 6 0 1.12509 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1495]: 6 0 1.12502 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1511]: 6 0 2.12504 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1646]: 6 0 6.00007 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1709]: 6 0 0.950049 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1789]: 6 0 3.37508 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1793]: 6 0 7.25009 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1849]: 6 0 1.62503 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1881]: 6 0 9.00006 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1885]: 6 0 8.00007 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1890]: 6 0 9.00001 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1897]: 6 0 5.00008 shouldn't be 507.70/509.06 WSVECS04 Frhs2[1967]: 6 0 6.00009 shouldn't be 507.70/509.06 WSVECS04 Frhs2[2447]: 6 0 2.00008 shouldn't be 507.70/509.06 WSVECS04 Frhs2[2516]: 6 0 1.00007 shouldn't be 507.70/509.06 WSVECS04 Frhs2[2686]: 6 -4.02508 0 shouldn't be 507.70/509.06 WSVECS04 Frhs2[2699]: 6 0 2.00008 shouldn't be 509.80/511.14 WSVECS04 Frhs2[3]: 6 -3.00005 0 shouldn't be 509.80/511.14 WSVECS04 Frhs2[189]: 6 0 7.00007 shouldn't be 509.80/511.14 WSVECS04 Frhs2[206]: 6 -4.00008 0 shouldn't be 509.80/511.14 WSVECS04 Frhs2[340]: 6 0 1.00009 shouldn't be 509.80/511.14 WSVECS04 Frhs2[382]: 6 -2.00001 0 shouldn't be 509.80/511.14 WSVECS04 Frhs2[873]: 6 -3.00008 0 shouldn't be 509.80/511.14 WSVECS04 Frhs2[890]: 6 0 2.00004 shouldn't be 509.80/511.14 WSVECS04 Frhs2[893]: 6 -2.0001 0 shouldn't be 509.80/511.14 WSVECS04 Frhs2[1164]: 6 0 5.00003 shouldn't be 509.80/511.14 WSVECS04 Frhs2[1627]: 6 0 2.20005 shouldn't be 509.80/511.14 WSVECS04 Frhs2[1943]: 6 0 1.00008 shouldn't be 509.80/511.14 WSVECS04 Frhs2[1965]: 6 0 6.00003 shouldn't be 509.80/511.14 WSVECS04 Frhs2[2203]: 6 0 2.00003 shouldn't be 509.80/511.14 WSVECS04 Frhs2[2519]: 6 0 3.00002 shouldn't be 512.69/514.04 WSVECS04 Frhs2[7]: 6 -6.00002 0 shouldn't be 512.69/514.04 WSVECS04 Frhs2[639]: 6 0 1.00008 shouldn't be 512.69/514.04 WSVECS04 Frhs2[1606]: 6 0 1.82507 shouldn't be 512.69/514.04 WSVECS04 Frhs2[1681]: 6 0 2.05002 shouldn't be 512.69/514.04 WSVECS04 Frhs2[1878]: 6 0 9.00003 shouldn't be 512.69/514.04 WSVECS04 Frhs2[2299]: 6 0 1.00005 shouldn't be 512.69/514.04 WSVECS04 Frhs2[2483]: 6 0 2.00005 shouldn't be 512.69/514.04 WSVECS04 Frhs2[2511]: 6 0 1.00002 shouldn't be 512.69/514.04 WSVECS04 Frhs2[2528]: 6 0 8.00007 shouldn't be 516.78/518.11 WSVECS04 Frhs2[111]: 6 0 2.50002 shouldn't be 516.78/518.11 WSVECS04 Frhs2[252]: 6 0 6.00005 shouldn't be 516.78/518.11 WSVECS04 Frhs2[903]: 6 0 4.00002 shouldn't be 516.78/518.11 WSVECS04 Frhs2[925]: 6 0 6.02503 shouldn't be 516.78/518.11 WSVECS04 Frhs2[1159]: 6 0 5.0001 shouldn't be 516.78/518.11 WSVECS04 Frhs2[1276]: 6 0 6.00007 shouldn't be 516.78/518.11 WSVECS04 Frhs2[1352]: 6 0 2.00002 shouldn't be 516.78/518.11 WSVECS04 Frhs2[1759]: 6 0 1.62504 shouldn't be 516.78/518.11 WSVECS04 Frhs2[2102]: 6 0 2.00009 shouldn't be 516.78/518.11 WSVECS04 Frhs2[2504]: 6 0 1.00002 shouldn't be 519.67/521.08 WSVECS04 Frhs2[211]: 6 0 1.00002 shouldn't be 519.67/521.08 WSVECS04 Frhs2[439]: 6 0 4.00004 shouldn't be 519.67/521.08 WSVECS04 Frhs2[1971]: 6 0 6.00005 shouldn't be 519.67/521.08 WSVECS04 Frhs2[2005]: 6 0 5.00005 shouldn't be 519.67/521.08 WSVECS04 Frhs2[2301]: 6 0 2.00006 shouldn't be 519.67/521.08 WSVECS04 Frhs2[2316]: 6 0 2.00002 shouldn't be 519.67/521.08 WSVECS04 Frhs2[2393]: 6 0 2.00004 shouldn't be 522.46/523.89 WSVECS04 Frhs2[289]: 6 0 13.0001 shouldn't be 522.46/523.89 WSVECS04 Frhs2[831]: 6 0 4.00005 shouldn't be 522.46/523.89 WSVECS04 Frhs2[860]: 6 0 1.00004 shouldn't be 522.46/523.89 WSVECS04 Frhs2[1005]: 6 0 5.00003 shouldn't be 522.46/523.89 WSVECS04 Frhs2[1082]: 6 0 4.00002 shouldn't be 522.46/523.89 WSVECS04 Frhs2[1635]: 6 0 5.25008 shouldn't be 522.46/523.89 WSVECS04 Frhs2[1723]: 6 0 1.62506 shouldn't be 522.46/523.89 WSVECS04 Frhs2[1831]: 6 0 1.62509 shouldn't be 522.46/523.89 WSVECS04 Frhs2[1980]: 6 0 6.00004 shouldn't be 522.46/523.89 WSVECS04 Frhs2[2092]: 6 0 2.00004 shouldn't be 522.46/523.89 WSVECS04 Frhs2[2216]: 6 0 2.00009 shouldn't be 522.46/523.89 WSVECS04 Frhs2[2217]: 6 0 2.00005 shouldn't be 526.25/527.61 WSVECS04 Frhs2[246]: 6 -5.00002 0 shouldn't be 526.25/527.61 WSVECS04 Frhs2[316]: 6 0 9.00006 shouldn't be 526.25/527.61 WSVECS04 Frhs2[871]: 6 0 1.00002 shouldn't be 526.25/527.61 WSVECS04 Frhs2[1042]: 6 0 1.97508 shouldn't be 526.25/527.61 WSVECS04 Frhs2[1238]: 6 0 6.00008 shouldn't be 526.25/527.61 WSVECS04 Frhs2[1401]: 6 0 2.12508 shouldn't be 526.25/527.61 WSVECS04 Frhs2[2368]: 6 0 1.0001 shouldn't be 526.25/527.61 WSVECS04 Frhs2[2411]: 6 0 3.00008 shouldn't be 526.25/527.61 WSVECS04 Frhs2[2465]: 6 0 2.00005 shouldn't be 526.25/527.61 WSVECS04 Frhs2[2513]: 6 0 1.00007 shouldn't be 528.94/530.34 WSVECS04 Frhs2[201]: 6 -1.00001 0 shouldn't be 528.94/530.34 WSVECS04 Frhs2[961]: 6 0 4.02508 shouldn't be 528.94/530.34 WSVECS04 Frhs2[1043]: 6 0 1.97505 shouldn't be 528.94/530.34 WSVECS04 Frhs2[1977]: 6 0 6.00005 shouldn't be 528.94/530.34 WSVECS04 Frhs2[2292]: 6 0 4.00009 shouldn't be 528.94/530.34 WSVECS04 Frhs2[2307]: 6 0 3.00002 shouldn't be 531.64/533.10 WSVECS04 Frhs2[50]: 6 -1.00004 0 shouldn't be 531.64/533.10 WSVECS04 Frhs2[773]: 6 -3.00002 0 shouldn't be 531.64/533.10 WSVECS04 Frhs2[995]: 6 0 4.02502 shouldn't be 531.64/533.10 WSVECS04 Frhs2[1556]: 6 0 1.80002 shouldn't be 531.64/533.10 WSVECS04 Frhs2[1610]: 6 0 5.67505 shouldn't be 531.64/533.10 WSVECS04 Frhs2[1757]: 6 0 3.87506 shouldn't be 531.64/533.10 WSVECS04 Frhs2[2397]: 6 0 1.00006 shouldn't be 534.53/535.93 WSVECS04 Frhs2[112]: 6 0 4.50005 shouldn't be 534.53/535.93 WSVECS04 Frhs2[941]: 6 0 4.02505 shouldn't be 534.53/535.93 WSVECS04 Frhs2[1242]: 6 0 2.00004 shouldn't be 534.53/535.93 WSVECS04 Frhs2[1563]: 6 0 3.0501 shouldn't be 534.53/535.93 WSVECS04 Frhs2[1875]: 6 0 9.00009 shouldn't be 534.53/535.93 WSVECS04 Frhs2[1951]: 6 0 5.00006 shouldn't be 537.22/538.61 WSVECS04 Frhs2[140]: 6 0 2.00004 shouldn't be 537.22/538.61 WSVECS04 Frhs2[216]: 6 0 4.00005 shouldn't be 537.22/538.61 WSVECS04 Frhs2[225]: 6 0 3.00007 shouldn't be 537.22/538.61 WSVECS04 Frhs2[850]: 6 0 1.00008 shouldn't be 537.22/538.61 WSVECS04 Frhs2[993]: 6 0 5.00007 shouldn't be 537.22/538.61 WSVECS04 Frhs2[1683]: 6 0 2.05004 shouldn't be 537.22/538.61 WSVECS04 Frhs2[2396]: 6 0 1.00001 shouldn't be 540.31/541.73 WSVECS04 Frhs2[58]: 6 0 1.00006 shouldn't be 540.31/541.73 WSVECS04 Frhs2[249]: 6 0 6.00004 shouldn't be 540.31/541.73 WSVECS04 Frhs2[250]: 6 0 3.0001 shouldn't be 540.31/541.73 WSVECS04 Frhs2[293]: 6 0 1.00001 shouldn't be 540.31/541.73 WSVECS04 Frhs2[969]: 6 0 5.00006 shouldn't be 540.31/541.73 WSVECS04 Frhs2[975]: 6 0 4.00006 shouldn't be 540.31/541.73 WSVECS04 Frhs2[1785]: 6 0 3.3751 shouldn't be 543.51/544.93 WSVECS04 Frhs2[198]: 6 0 7.00004 shouldn't be 543.51/544.93 WSVECS04 Frhs2[1158]: 6 0 5.00009 shouldn't be 543.51/544.93 WSVECS04 Frhs2[2506]: 6 0 1.00003 shouldn't be 543.51/544.93 WSVECS04 Frhs2[2520]: 6 0 1.00001 shouldn't be 546.40/547.86 WSVECS04 Frhs2[1013]: 6 0 4.02507 shouldn't be 546.40/547.86 WSVECS04 Frhs2[1607]: 6 0 0.875098 shouldn't be 546.40/547.86 WSVECS04 Frhs2[1783]: 6 0 3.37501 shouldn't be 546.40/547.86 WSVECS04 Frhs2[1798]: 6 0 2.87505 shouldn't be 546.40/547.86 WSVECS04 Frhs2[2408]: 6 0 1.00002 shouldn't be 550.28/551.73 WSVECS04 Frhs2[1619]: 6 0 0.825073 shouldn't be 550.28/551.73 WSVECS04 Frhs2[1823]: 6 0 0.62506 shouldn't be 550.28/551.73 WSVECS04 Frhs2[2202]: 6 0 2.00005 shouldn't be 550.28/551.73 WSVECS04 Frhs2[2233]: 6 0 2.00004 shouldn't be 550.28/551.73 WSVECS04 Frhs2[2269]: 6 0 4.00003 shouldn't be 550.28/551.73 WSVECS04 Frhs2[2298]: 6 0 4.00002 shouldn't be 553.28/554.73 WSVECS04 Frhs2[109]: 6 0 7.50003 shouldn't be 553.28/554.73 WSVECS04 Frhs2[1018]: 6 0 1.00001 shouldn't be 556.17/557.69 WSVECS04 Frhs2[832]: 6 0 3.00003 shouldn't be 556.17/557.69 WSVECS04 Frhs2[934]: 6 0 2.00009 shouldn't be 556.17/557.69 WSVECS04 Frhs2[1226]: 6 0 4.00004 shouldn't be 556.17/557.69 WSVECS04 Frhs2[1370]: 6 0 2.00003 shouldn't be 556.17/557.69 WSVECS04 Frhs2[2212]: 6 0 11.0001 shouldn't be 559.06/560.51 WSVECS04 Frhs2[997]: 6 0 4.02503 shouldn't be 559.06/560.51 WSVECS04 Frhs2[1599]: 6 0 6.10004 shouldn't be 559.06/560.51 WSVECS04 Frhs2[1788]: 6 0 3.37503 shouldn't be 559.06/560.51 WSVECS04 Frhs2[1813]: 6 0 1.62507 shouldn't be 559.06/560.51 WSVECS04 Frhs2[2279]: 6 0 9.0001 shouldn't be 565.04/566.54 WSVECS04 Frhs2[343]: 6 0 11.0001 shouldn't be 565.04/566.54 WSVECS04 Frhs2[368]: 6 0 1.00008 shouldn't be 565.04/566.54 WSVECS04 Frhs2[604]: 6 0 0.625074 shouldn't be 565.04/566.54 WSVECS04 Frhs2[1023]: 6 0 5.00008 shouldn't be 568.24/569.78 WSVECS04 Frhs2[1940]: 6 0 1.00007 shouldn't be 568.24/569.78 WSVECS04 Frhs2[2399]: 6 0 1.00005 shouldn't be 572.83/574.33 WSVECS04 Frhs2[131]: 6 0 2.00006 shouldn't be 572.83/574.33 WSVECS04 Frhs2[479]: 6 0 0.800054 shouldn't be 572.83/574.33 WSVECS04 Frhs2[1095]: 6 0 11 shouldn't be 572.83/574.33 WSVECS04 Frhs2[1721]: 6 0 3.87509 shouldn't be 575.92/577.48 WSVECS04 Frhs2[1225]: 6 0 2.00006 shouldn't be 575.92/577.48 WSVECS04 Frhs2[2274]: 6 0 4.0001 shouldn't be 575.92/577.48 WSVECS04 Frhs2[2277]: 6 0 6.00002 shouldn't be 578.62/580.12 WSVECS04 Frhs2[1154]: 6 0 9.00009 shouldn't be 578.62/580.12 WSVECS04 Frhs2[1667]: 6 0 1.80003 shouldn't be 581.41/582.90 WSVECS04 Frhs2[1403]: 6 0 2.12502 shouldn't be 581.41/582.90 WSVECS04 Frhs2[2293]: 6 0 4.00007 shouldn't be 581.41/582.90 WSVECS04 Frhs2[2512]: 6 0 2.00006 shouldn't be 584.19/585.78 WSVECS04 Frhs2[45]: 6 0 1.00002 shouldn't be 584.19/585.78 WSVECS04 Frhs2[194]: 6 0 5.00007 shouldn't be 584.19/585.78 WSVECS04 Frhs2[1593]: 6 0 3.05002 shouldn't be 584.19/585.78 WSVECS04 Frhs2[1889]: 6 0 9.00006 shouldn't be 587.29/588.88 WSVECS04 Frhs2[2306]: 6 0 2.00008 shouldn't be 592.48/594.06 WSVECS04 Frhs2[1655]: 6 0 1.15005 shouldn't be 600.25/601.86 WSVECS04 Frhs2[923]: 6 0 6.02502 shouldn't be 610.92/612.53 WSVECS04 Frhs2[212]: 6 0 6.00003 shouldn't be 613.02/614.63 WSVECS04 Frhs2[108]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[111]: 6 0 2.5 shouldn't be 613.02/614.63 WSVECS04 Frhs2[117]: 6 0 0.5 shouldn't be 613.02/614.63 WSVECS04 Frhs2[184]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[187]: 6 0 3 shouldn't be 613.02/614.63 WSVECS04 Frhs2[278]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[319]: 6 -1 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[340]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[352]: 6 0 12 shouldn't be 613.02/614.63 WSVECS04 Frhs2[440]: 6 0 3 shouldn't be 613.02/614.63 WSVECS04 Frhs2[482]: 6 -2.2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[541]: 6 0 0.625 shouldn't be 613.02/614.63 WSVECS04 Frhs2[546]: 6 -4 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[558]: 6 -0.625001 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[591]: 6 -0.625001 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[611]: 6 0 2.625 shouldn't be 613.02/614.63 WSVECS04 Frhs2[613]: 6 0 0.625 shouldn't be 613.02/614.63 WSVECS04 Frhs2[629]: 6 0 2.5 shouldn't be 613.02/614.63 WSVECS04 Frhs2[651]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[654]: 6 0 6 shouldn't be 613.02/614.63 WSVECS04 Frhs2[746]: 6 -4 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[773]: 6 -3 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[790]: 6 0 2 shouldn't be 613.02/614.63 WSVECS04 Frhs2[850]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[894]: 6 0 5.975 shouldn't be 613.02/614.63 WSVECS04 Frhs2[903]: 6 0 4 shouldn't be 613.02/614.63 WSVECS04 Frhs2[905]: 6 0 4.025 shouldn't be 613.02/614.63 WSVECS04 Frhs2[909]: 6 0 11 shouldn't be 613.02/614.63 WSVECS04 Frhs2[919]: 6 0 2 shouldn't be 613.02/614.63 WSVECS04 Frhs2[939]: 6 0 3 shouldn't be 613.02/614.63 WSVECS04 Frhs2[992]: 6 -16 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1027]: 6 0 1.975 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1056]: 6 0 3.975 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1112]: 6 0 2.025 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1128]: 6 -10.8 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1261]: 6 0 6 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1297]: 6 -2.5 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1345]: 6 -21 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1346]: 6 0 4 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1414]: 6 -8.5 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1427]: 6 -0.25 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1531]: 6 0 4 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1589]: 6 0 0.050001 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1590]: 6 0 3.05 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1591]: 6 0 3.05 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1606]: 6 0 1.825 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1607]: 6 0 0.875 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1608]: 6 0 3.875 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1619]: 6 0 0.825001 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1624]: 6 0 0.150001 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1626]: 6 0 2.2 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1697]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1714]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1739]: 6 0 3.25 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1761]: 6 -7.375 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1785]: 6 0 3.375 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1793]: 6 0 7.25 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1799]: 6 0 3.375 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1868]: 6 -12.5 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1896]: 6 -5.5 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1920]: 6 -15 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1943]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1966]: 6 0 6 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1968]: 6 0 6 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1969]: 6 0 11 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1976]: 6 0 6 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1980]: 6 0 6 shouldn't be 613.02/614.63 WSVECS04 Frhs2[1990]: 6 -6 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2036]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2053]: 6 -8 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2065]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2086]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2099]: 6 0 2 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2108]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2130]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2150]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2180]: 6 0 4 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2239]: 6 0 2 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2242]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2394]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2458]: 6 0 1 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2525]: 6 -1 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2528]: 6 0 8 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2538]: 6 -5 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2561]: 6 0 5 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2564]: 6 -2.375 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2578]: 6 0 1.95 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2580]: 6 -2.25 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2584]: 6 -1.2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2591]: 6 -3.05 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2604]: 6 -4 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2624]: 6 -1 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2655]: 6 -2 0 shouldn't be 613.02/614.63 WSVECS04 Frhs2[2686]: 6 -4.025 0 shouldn't be 614.61/616.29 c rational objective 186 720.94/722.88 c #Conflicts: 179000 | #Constraints: 65260 720.94/722.88 c bounds 314 >= 187 @ 631.597 720.94/722.88 c #Conflicts: 180000 | #Constraints: 66281 720.94/722.88 c #Conflicts: 181000 | #Constraints: 67281 720.94/722.88 c #Conflicts: 182000 | #Constraints: 68281 720.94/722.88 c bounds 314 >= 188 @ 632.001 720.94/722.88 c #Conflicts: 183000 | #Constraints: 69296 720.94/722.88 c #Conflicts: 184000 | #Constraints: 70296 720.94/722.88 c #Conflicts: 185000 | #Constraints: 71296 720.94/722.88 c #Conflicts: 186000 | #Constraints: 72296 720.94/722.88 c bounds 314 >= 189 @ 632.917 720.94/722.88 c #Conflicts: 187000 | #Constraints: 73329 720.94/722.88 c #Conflicts: 188000 | #Constraints: 74329 720.94/722.88 c #Conflicts: 189000 | #Constraints: 75329 720.94/722.88 c INPROCESSING 720.94/722.88 c GARBAGE COLLECT 720.94/722.88 c #Conflicts: 190000 | #Constraints: 61011 720.94/722.88 c #Conflicts: 191000 | #Constraints: 62011 720.94/722.88 c #Conflicts: 192000 | #Constraints: 63011 720.94/722.88 c #Conflicts: 193000 | #Constraints: 64011 720.94/722.88 c #Conflicts: 194000 | #Constraints: 65011 720.94/722.88 c bounds 314 >= 190 @ 634.831 720.94/722.88 c #Conflicts: 195000 | #Constraints: 66026 720.94/722.88 c #Conflicts: 196000 | #Constraints: 67026 720.94/722.88 c #Conflicts: 197000 | #Constraints: 68026 720.94/722.88 c #Conflicts: 198000 | #Constraints: 69026 720.94/722.88 c #Conflicts: 199000 | #Constraints: 70026 720.94/722.88 c #Conflicts: 200000 | #Constraints: 71026 720.94/722.88 c INPROCESSING 720.94/722.88 c GARBAGE COLLECT 720.94/722.88 c #Conflicts: 201000 | #Constraints: 58946 720.94/722.88 c #Conflicts: 202000 | #Constraints: 59946 720.94/722.88 c #Conflicts: 203000 | #Constraints: 60946 720.94/722.88 c #Conflicts: 204000 | #Constraints: 61946 720.94/722.88 c #Conflicts: 205000 | #Constraints: 62946 720.94/722.88 c #Conflicts: 206000 | #Constraints: 63946 720.94/722.88 c bounds 314 >= 191 @ 667.323 720.94/722.88 c #Conflicts: 207000 | #Constraints: 64988 720.94/722.88 c #Conflicts: 208000 | #Constraints: 65988 720.94/722.88 c #Conflicts: 209000 | #Constraints: 66988 720.94/722.88 c #Conflicts: 210000 | #Constraints: 67988 720.94/722.88 c #Conflicts: 211000 | #Constraints: 68988 720.94/722.88 c #Conflicts: 212000 | #Constraints: 69988 720.94/722.88 c #Conflicts: 213000 | #Constraints: 70988 720.94/722.88 c #Conflicts: 214000 | #Constraints: 71988 720.94/722.88 c #Conflicts: 215000 | #Constraints: 72988 720.94/722.88 c #Conflicts: 216000 | #Constraints: 73988 720.94/722.88 c #Conflicts: 217000 | #Constraints: 74988 720.94/722.88 c #Conflicts: 218000 | #Constraints: 75988 720.94/722.88 c #Conflicts: 219000 | #Constraints: 76988 720.94/722.88 c bounds 314 >= 192 @ 679.757 720.94/722.88 c #Conflicts: 220000 | #Constraints: 78009 720.94/722.88 c #Conflicts: 221000 | #Constraints: 79009 720.94/722.88 c bounds 314 >= 193 @ 680.094 720.94/722.88 c #Conflicts: 222000 | #Constraints: 80030 720.94/722.88 c #Conflicts: 223000 | #Constraints: 81030 720.94/722.88 c #Conflicts: 224000 | #Constraints: 82030 720.94/722.88 c #Conflicts: 225000 | #Constraints: 83030 720.94/722.88 c #Conflicts: 226000 | #Constraints: 84030 720.94/722.88 c bounds 314 >= 194 @ 691.787 720.94/722.88 c #Conflicts: 227000 | #Constraints: 85054 720.94/722.88 c #Conflicts: 228000 | #Constraints: 86054 720.94/722.88 c #Conflicts: 229000 | #Constraints: 87054 720.94/722.88 c #Conflicts: 230000 | #Constraints: 88054 720.94/722.88 c #Conflicts: 231000 | #Constraints: 89054 720.94/722.88 c #Conflicts: 232000 | #Constraints: 90054 720.94/722.88 c INPROCESSING 720.94/722.88 c GARBAGE COLLECT 720.94/722.88 c #Conflicts: 233000 | #Constraints: 68147 720.94/722.88 c #Conflicts: 234000 | #Constraints: 69147 720.94/722.88 c #Conflicts: 235000 | #Constraints: 70147 720.94/722.88 c #Conflicts: 236000 | #Constraints: 71147 720.94/722.88 c #Conflicts: 237000 | #Constraints: 72147 720.94/722.88 c bounds 314 >= 195 @ 708.824 720.94/722.88 c #Conflicts: 238000 | #Constraints: 73177 720.94/722.88 c #Conflicts: 239000 | #Constraints: 74177 720.94/722.88 c #Conflicts: 240000 | #Constraints: 75177 720.94/722.88 c #Conflicts: 241000 | #Constraints: 76177 720.94/722.88 c #Conflicts: 242000 | #Constraints: 77177 720.94/722.88 c #Conflicts: 243000 | #Constraints: 78177 720.94/722.88 c #Conflicts: 244000 | #Constraints: 79177 720.94/722.88 c #Conflicts: 245000 | #Constraints: 80177 720.94/722.88 c INPROCESSING 720.94/722.88 c GARBAGE COLLECT 720.94/722.88 c #Conflicts: 246000 | #Constraints: 63641 720.94/722.88 c #Conflicts: 247000 | #Constraints: 64641 720.94/722.88 c #Conflicts: 248000 | #Constraints: 65641 720.94/722.88 c #Conflicts: 249000 | #Constraints: 66642 720.94/722.88 c #Conflicts: 250000 | #Constraints: 67643 722.24/724.17 WSVECS04 Frhs2[26]: 6 -4.00002 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[28]: 6 -3.00005 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[97]: 6 0 1.0001 shouldn't be 722.24/724.17 WSVECS04 Frhs2[98]: 6 -2.00009 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[130]: 6 -1.0001 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[133]: 6 0 1.00006 shouldn't be 722.24/724.17 WSVECS04 Frhs2[246]: 6 -5.00005 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[460]: 6 0 4.00001 shouldn't be 722.24/724.17 WSVECS04 Frhs2[464]: 6 -4.00008 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[470]: 6 -1.00008 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[490]: 6 0 1.00003 shouldn't be 722.24/724.17 WSVECS04 Frhs2[492]: 6 -2.00007 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[500]: 6 -1.00003 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[505]: 6 0 1.00004 shouldn't be 722.24/724.17 WSVECS04 Frhs2[510]: 6 -1.0001 0 shouldn't be 722.24/724.17 WSVECS04 Frhs2[631]: 6 0 1.0001 shouldn't be 722.24/724.17 WSVECS04 Frhs2[637]: 6 -3.00001 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[651]: 6 -1.00007 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[864]: 6 -4.00001 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[924]: 6 0 4.1965 shouldn't be 722.24/724.18 WSVECS04 Frhs2[939]: 6 0 4.77688 shouldn't be 722.24/724.18 WSVECS04 Frhs2[960]: 6 0 2.06255 shouldn't be 722.24/724.18 WSVECS04 Frhs2[965]: 6 0 2.64588 shouldn't be 722.24/724.18 WSVECS04 Frhs2[967]: 6 -4.00007 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[985]: 6 0 0.708388 shouldn't be 722.24/724.18 WSVECS04 Frhs2[986]: 6 0 0.708403 shouldn't be 722.24/724.18 WSVECS04 Frhs2[988]: 6 0 0.708371 shouldn't be 722.24/724.18 WSVECS04 Frhs2[989]: 6 0 0.708362 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1094]: 6 0 1.00005 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1096]: 6 0 1.00006 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1124]: 6 0 5.00001 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1128]: 6 -8.00008 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1163]: 6 0 3.00007 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1199]: 6 0 3.00007 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1237]: 6 0 1.00009 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1262]: 6 0 1.00004 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1279]: 6 0 3.61612 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1280]: 6 0 2.00007 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1283]: 6 0 2.00003 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1286]: 6 0 1.00006 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1289]: 6 0 2.00007 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1291]: 6 0 2.00002 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1293]: 6 0 6.0001 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1298]: 6 0 0.383981 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1309]: 6 0 0.384006 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1313]: 6 0 0.38399 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1314]: 6 0 0.383956 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1328]: 6 -7.00004 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1354]: 6 0 2.00003 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1358]: 6 0 1.00003 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1361]: 6 0 2.00009 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1367]: 6 0 2.00003 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1427]: 6 -2.00005 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1562]: 6 0 2.25001 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1581]: 6 -8.00002 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1592]: 6 0 10.5269 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1598]: 6 0 9.44648 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1649]: 6 -4.00005 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1663]: 6 -8.66972 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1723]: 6 0 3.75008 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1765]: 6 0 3.75007 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1766]: 6 0 3.75007 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1767]: 6 0 0.250057 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1778]: 6 0 2.9197 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1809]: 6 -36.7501 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1830]: 6 0 3.50003 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1831]: 6 0 3.50003 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1840]: 6 0 4.38401 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1849]: 6 0 7.88402 shouldn't be 722.24/724.18 WSVECS04 Frhs2[1853]: 6 0 7.88397 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2086]: 6 -11.8572 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2256]: 6 0 3.86608 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2274]: 6 0 3.86612 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2420]: 6 0 16.9108 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2426]: 6 0 4.00002 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2434]: 6 0 0.660812 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2435]: 6 0 0.660733 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2437]: 6 0 22.9643 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2441]: 6 0 22.9286 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2470]: 6 -7.00007 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2477]: 6 0 22.2679 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2543]: 6 -3.38394 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2554]: 6 -6.23221 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2594]: 6 -3.75003 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2608]: 6 -4.00002 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2632]: 6 -1.91073 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2635]: 6 -4.50007 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2645]: 6 -7.42862 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2678]: 6 -6.00004 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2696]: 6 -2.00009 0 shouldn't be 722.24/724.18 WSVECS04 Frhs2[2698]: 6 -2.00006 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[181]: 6 0 0.500025 shouldn't be 723.25/725.10 WSVECS04 Frhs2[190]: 6 0 1.00008 shouldn't be 723.25/725.10 WSVECS04 Frhs2[311]: 6 -1.00002 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[579]: 6 -2.00006 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[591]: 6 -1.00002 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[696]: 6 -5.00002 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[753]: 6 -3.00006 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[773]: 6 -3.00004 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1155]: 6 -10.125 0 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1238]: 6 0 1.00003 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1364]: 6 0 2.00009 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1389]: 6 0 2.00006 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1398]: 6 0 2.00003 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1795]: 6 0 3.00009 shouldn't be 723.25/725.10 WSVECS04 Frhs2[1820]: 6 0 3.50006 shouldn't be 723.25/725.10 WSVECS04 Frhs2[2072]: 6 0 4.00008 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2108]: 6 0 13.0983 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2109]: 6 0 7.33045 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2111]: 6 0 9.09828 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2113]: 6 0 9.09827 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2117]: 6 0 9.09824 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2118]: 6 0 9.09827 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2119]: 6 0 9.09823 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2417]: 6 0 4.00007 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2641]: 6 -4.01793 0 shouldn't be 723.25/725.11 WSVECS04 Frhs2[2654]: 6 -6.00008 0 shouldn't be 847.83/850.10 c #Conflicts: 251000 | #Constraints: 68643 847.83/850.10 c #Conflicts: 252000 | #Constraints: 69643 847.83/850.10 c #Conflicts: 253000 | #Constraints: 70643 847.83/850.10 c #Conflicts: 254000 | #Constraints: 71643 847.83/850.10 c #Conflicts: 255000 | #Constraints: 72643 847.83/850.10 c #Conflicts: 256000 | #Constraints: 73643 847.83/850.10 c #Conflicts: 257000 | #Constraints: 74643 847.83/850.10 c INPROCESSING 847.83/850.10 c GARBAGE COLLECT 847.83/850.10 c #Conflicts: 258000 | #Constraints: 61418 847.83/850.10 c #Conflicts: 259000 | #Constraints: 62418 847.83/850.10 c #Conflicts: 260000 | #Constraints: 63418 847.83/850.10 c bounds 314 >= 196 @ 728.419 847.83/850.10 c #Conflicts: 261000 | #Constraints: 64439 847.83/850.10 c #Conflicts: 262000 | #Constraints: 65439 847.83/850.10 c #Conflicts: 263000 | #Constraints: 66439 847.83/850.10 c #Conflicts: 264000 | #Constraints: 67439 847.83/850.10 c #Conflicts: 265000 | #Constraints: 68439 847.83/850.10 c #Conflicts: 266000 | #Constraints: 69439 847.83/850.10 c #Conflicts: 267000 | #Constraints: 70439 847.83/850.10 c bounds 314 >= 197 @ 737.06 847.83/850.10 c #Conflicts: 268000 | #Constraints: 71463 847.83/850.10 c #Conflicts: 269000 | #Constraints: 72463 847.83/850.10 c #Conflicts: 270000 | #Constraints: 73463 847.83/850.10 c #Conflicts: 271000 | #Constraints: 74463 847.83/850.10 c #Conflicts: 272000 | #Constraints: 75463 847.83/850.10 c #Conflicts: 273000 | #Constraints: 76463 847.83/850.10 c #Conflicts: 274000 | #Constraints: 77463 847.83/850.10 c #Conflicts: 275000 | #Constraints: 78463 847.83/850.10 c #Conflicts: 276000 | #Constraints: 79463 847.83/850.10 c bounds 314 >= 198 @ 807.336 847.83/850.10 c #Conflicts: 277000 | #Constraints: 80490 847.83/850.10 c #Conflicts: 278000 | #Constraints: 81490 847.83/850.10 c #Conflicts: 279000 | #Constraints: 82490 847.83/850.10 c #Conflicts: 280000 | #Constraints: 83490 847.83/850.10 c #Conflicts: 281000 | #Constraints: 84490 847.83/850.10 c #Conflicts: 282000 | #Constraints: 85490 847.83/850.10 c #Conflicts: 283000 | #Constraints: 86490 847.83/850.10 c #Conflicts: 284000 | #Constraints: 87490 847.83/850.10 c #Conflicts: 285000 | #Constraints: 88490 847.83/850.10 c #Conflicts: 286000 | #Constraints: 89490 847.83/850.10 c #Conflicts: 287000 | #Constraints: 90490 847.83/850.10 c #Conflicts: 288000 | #Constraints: 91490 847.83/850.10 c #Conflicts: 289000 | #Constraints: 92490 847.83/850.10 c #Conflicts: 290000 | #Constraints: 93490 847.83/850.10 c #Conflicts: 291000 | #Constraints: 94490 847.83/850.10 c #Conflicts: 292000 | #Constraints: 95490 847.83/850.10 c #Conflicts: 293000 | #Constraints: 96490 847.83/850.10 c #Conflicts: 294000 | #Constraints: 97490 847.83/850.10 c bounds 314 >= 199 @ 825.805 847.83/850.10 c INPROCESSING 847.83/850.10 c GARBAGE COLLECT 847.83/850.10 c rational objective 199 884.22/886.54 c bounds 312 >= 199 @ 842.687 884.22/886.54 c #Conflicts: 295000 | #Constraints: 72204 884.22/886.54 c bounds 304 >= 199 @ 843.429 884.22/886.54 c #Conflicts: 296000 | #Constraints: 73205 884.22/886.54 c #Conflicts: 297000 | #Constraints: 74205 884.22/886.54 c #Conflicts: 298000 | #Constraints: 75205 884.22/886.54 c #Conflicts: 299000 | #Constraints: 76205 884.22/886.54 c #Conflicts: 300000 | #Constraints: 77205 884.22/886.54 c #Conflicts: 301000 | #Constraints: 78205 884.22/886.54 c #Conflicts: 302000 | #Constraints: 79205 884.22/886.54 c #Conflicts: 303000 | #Constraints: 80205 884.22/886.54 c #Conflicts: 304000 | #Constraints: 81205 884.22/886.54 c #Conflicts: 305000 | #Constraints: 82205 884.22/886.54 c #Conflicts: 306000 | #Constraints: 83205 884.22/886.54 c #Conflicts: 307000 | #Constraints: 84205 884.22/886.54 c #Conflicts: 308000 | #Constraints: 85205 884.22/886.54 c INPROCESSING 884.22/886.54 c GARBAGE COLLECT 884.22/886.54 c rational objective 199 910.15/912.56 c #Conflicts: 309000 | #Constraints: 66254 910.15/912.56 c #Conflicts: 310000 | #Constraints: 67254 910.15/912.56 c #Conflicts: 311000 | #Constraints: 68254 910.15/912.56 c #Conflicts: 312000 | #Constraints: 69254 910.15/912.56 c #Conflicts: 313000 | #Constraints: 70254 910.15/912.56 c #Conflicts: 314000 | #Constraints: 71254 910.15/912.56 c #Conflicts: 315000 | #Constraints: 72254 910.15/912.56 c #Conflicts: 316000 | #Constraints: 73254 910.15/912.56 c #Conflicts: 317000 | #Constraints: 74254 910.15/912.56 c #Conflicts: 318000 | #Constraints: 75254 910.15/912.56 c #Conflicts: 319000 | #Constraints: 76254 910.15/912.56 c #Conflicts: 320000 | #Constraints: 77254 910.15/912.56 c #Conflicts: 321000 | #Constraints: 78254 910.15/912.56 c INPROCESSING 910.15/912.56 c GARBAGE COLLECT 910.15/912.56 c rational objective 199 1016.77/1019.43 c #Conflicts: 322000 | #Constraints: 63775 1016.77/1019.43 c #Conflicts: 323000 | #Constraints: 64775 1016.77/1019.43 c #Conflicts: 324000 | #Constraints: 65775 1016.77/1019.43 c #Conflicts: 325000 | #Constraints: 66775 1016.77/1019.43 c #Conflicts: 326000 | #Constraints: 67775 1016.77/1019.43 c #Conflicts: 327000 | #Constraints: 68775 1016.77/1019.43 c #Conflicts: 328000 | #Constraints: 69775 1016.77/1019.43 c #Conflicts: 329000 | #Constraints: 70775 1016.77/1019.43 c #Conflicts: 330000 | #Constraints: 71775 1016.77/1019.43 c #Conflicts: 331000 | #Constraints: 72775 1016.77/1019.43 c #Conflicts: 332000 | #Constraints: 73776 1016.77/1019.43 c #Conflicts: 333000 | #Constraints: 74776 1016.77/1019.43 c #Conflicts: 334000 | #Constraints: 75776 1016.77/1019.43 c #Conflicts: 335000 | #Constraints: 76776 1016.77/1019.43 c #Conflicts: 336000 | #Constraints: 77776 1016.77/1019.43 c #Conflicts: 337000 | #Constraints: 78777 1016.77/1019.43 c #Conflicts: 338000 | #Constraints: 79778 1016.77/1019.43 c #Conflicts: 339000 | #Constraints: 80778 1016.77/1019.43 c #Conflicts: 340000 | #Constraints: 81778 1016.77/1019.43 c #Conflicts: 341000 | #Constraints: 82778 1016.77/1019.43 c #Conflicts: 342000 | #Constraints: 83778 1016.77/1019.43 c #Conflicts: 343000 | #Constraints: 84778 1016.77/1019.43 c #Conflicts: 344000 | #Constraints: 85778 1016.77/1019.43 c #Conflicts: 345000 | #Constraints: 86778 1016.77/1019.43 c #Conflicts: 346000 | #Constraints: 87778 1016.77/1019.43 c #Conflicts: 347000 | #Constraints: 88778 1016.77/1019.43 c #Conflicts: 348000 | #Constraints: 89778 1016.77/1019.43 c #Conflicts: 349000 | #Constraints: 90778 1016.77/1019.43 c #Conflicts: 350000 | #Constraints: 91778 1016.77/1019.43 c #Conflicts: 351000 | #Constraints: 92778 1016.77/1019.43 c #Conflicts: 352000 | #Constraints: 93778 1016.77/1019.43 c #Conflicts: 353000 | #Constraints: 94778 1016.77/1019.43 c #Conflicts: 354000 | #Constraints: 95778 1016.77/1019.43 c #Conflicts: 355000 | #Constraints: 96778 1016.77/1019.43 c #Conflicts: 356000 | #Constraints: 97778 1016.77/1019.43 c #Conflicts: 357000 | #Constraints: 98778 1016.77/1019.43 c #Conflicts: 358000 | #Constraints: 99778 1016.77/1019.43 c #Conflicts: 359000 | #Constraints: 100778 1016.77/1019.43 c #Conflicts: 360000 | #Constraints: 101778 1016.77/1019.43 c #Conflicts: 361000 | #Constraints: 102779 1016.77/1019.43 c #Conflicts: 362000 | #Constraints: 103779 1016.77/1019.43 c #Conflicts: 363000 | #Constraints: 104779 1016.77/1019.43 c INPROCESSING 1016.77/1019.43 c GARBAGE COLLECT 1016.77/1019.43 c rational objective 199 1100.35/1103.28 c #Conflicts: 364000 | #Constraints: 76057 1100.35/1103.28 c bounds 304 >= 200 @ 1027.4 1100.35/1103.28 c #Conflicts: 365000 | #Constraints: 77072 1100.35/1103.28 c bounds 304 >= 201 @ 1027.5 1100.35/1103.28 c #Conflicts: 366000 | #Constraints: 78096 1100.35/1103.28 c #Conflicts: 367000 | #Constraints: 79096 1100.35/1103.28 c #Conflicts: 368000 | #Constraints: 80096 1100.35/1103.28 c bounds 304 >= 202 @ 1027.99 1100.35/1103.28 c #Conflicts: 369000 | #Constraints: 81114 1100.35/1103.28 c #Conflicts: 370000 | #Constraints: 82114 1100.35/1103.28 c #Conflicts: 371000 | #Constraints: 83114 1100.35/1103.28 c bounds 304 >= 203 @ 1029 1100.35/1103.28 c #Conflicts: 372000 | #Constraints: 84135 1100.35/1103.28 c #Conflicts: 373000 | #Constraints: 85135 1100.35/1103.28 c #Conflicts: 374000 | #Constraints: 86135 1100.35/1103.28 c #Conflicts: 375000 | #Constraints: 87135 1100.35/1103.28 c #Conflicts: 376000 | #Constraints: 88135 1100.35/1103.28 c #Conflicts: 377000 | #Constraints: 89135 1100.35/1103.28 c bounds 304 >= 204 @ 1045.64 1100.35/1103.28 c #Conflicts: 378000 | #Constraints: 90159 1100.35/1103.28 c INPROCESSING 1100.35/1103.28 c GARBAGE COLLECT 1100.35/1103.28 WSVECS04 Frhs2[853]: 6 -3.00002 0 shouldn't be 1116.30/1119.25 c rational objective 204 1135.36/1138.30 c #Conflicts: 379000 | #Constraints: 68670 1135.36/1138.30 c #Conflicts: 380000 | #Constraints: 69670 1135.36/1138.30 c #Conflicts: 381000 | #Constraints: 70670 1135.36/1138.30 c #Conflicts: 382000 | #Constraints: 71670 1135.36/1138.30 c #Conflicts: 383000 | #Constraints: 72670 1135.36/1138.30 c #Conflicts: 384000 | #Constraints: 73670 1135.36/1138.30 c #Conflicts: 385000 | #Constraints: 74670 1135.36/1138.30 c #Conflicts: 386000 | #Constraints: 75670 1135.36/1138.30 c #Conflicts: 387000 | #Constraints: 76670 1135.36/1138.30 c #Conflicts: 388000 | #Constraints: 77670 1135.36/1138.30 c bounds 304 >= 205 @ 1114.24 1135.36/1138.30 c #Conflicts: 389000 | #Constraints: 78703 1135.36/1138.30 c #Conflicts: 390000 | #Constraints: 79703 1135.36/1138.30 c #Conflicts: 391000 | #Constraints: 80703 1135.36/1138.30 c #Conflicts: 392000 | #Constraints: 81703 1135.36/1138.30 c #Conflicts: 393000 | #Constraints: 82703 1135.36/1138.30 c INPROCESSING 1135.36/1138.30 c GARBAGE COLLECT 1135.36/1138.30 c rational objective 205 1196.80/1199.99 c #Conflicts: 394000 | #Constraints: 66549 1196.80/1199.99 c #Conflicts: 395000 | #Constraints: 67549 1196.80/1199.99 c #Conflicts: 396000 | #Constraints: 68549 1196.80/1199.99 c #Conflicts: 397000 | #Constraints: 69549 1196.80/1199.99 c #Conflicts: 398000 | #Constraints: 70549 1196.80/1199.99 c #Conflicts: 399000 | #Constraints: 71549 1196.80/1199.99 c #Conflicts: 400000 | #Constraints: 72549 1196.80/1199.99 c #Conflicts: 401000 | #Constraints: 73549 1196.80/1199.99 c #Conflicts: 402000 | #Constraints: 74549 1196.80/1199.99 c #Conflicts: 403000 | #Constraints: 75549 1196.80/1199.99 c #Conflicts: 404000 | #Constraints: 76549 1196.80/1199.99 c #Conflicts: 405000 | #Constraints: 77549 1196.80/1199.99 c #Conflicts: 406000 | #Constraints: 78549 1196.80/1199.99 c #Conflicts: 407000 | #Constraints: 79549 1196.80/1199.99 c #Conflicts: 408000 | #Constraints: 80549 1196.80/1199.99 c #Conflicts: 409000 | #Constraints: 81549 1196.80/1199.99 c #Conflicts: 410000 | #Constraints: 82549 1196.80/1199.99 c #Conflicts: 411000 | #Constraints: 83549 1196.80/1199.99 c #Conflicts: 412000 | #Constraints: 84549 1196.80/1199.99 c #Conflicts: 413000 | #Constraints: 85549 1196.80/1199.99 c #Conflicts: 414000 | #Constraints: 86549 1196.80/1199.99 c #Conflicts: 415000 | #Constraints: 87549 1196.80/1199.99 c #Conflicts: 416000 | #Constraints: 88549 1196.80/1199.99 c #Conflicts: 417000 | #Constraints: 89549 1196.80/1199.99 c #Conflicts: 418000 | #Constraints: 90549 1196.80/1199.99 c #Conflicts: 419000 | #Constraints: 91549 1196.80/1199.99 c #Conflicts: 420000 | #Constraints: 92549 1196.80/1199.99 c #Conflicts: 421000 | #Constraints: 93549 1196.80/1199.99 c #Conflicts: 422000 | #Constraints: 94549 1196.80/1199.99 c #Conflicts: 423000 | #Constraints: 95549 1196.80/1199.99 c #Conflicts: 424000 | #Constraints: 96549 1196.80/1199.99 c #Conflicts: 425000 | #Constraints: 97549 1196.80/1199.99 c #Conflicts: 426000 | #Constraints: 98549 1196.80/1199.99 c #Conflicts: 427000 | #Constraints: 99549 1196.80/1199.99 c #Conflicts: 428000 | #Constraints: 100549 1196.80/1199.99 c #Conflicts: 429000 | #Constraints: 101549 1196.80/1199.99 c #Conflicts: 430000 | #Constraints: 102549 1196.80/1199.99 c #Conflicts: 431000 | #Constraints: 103549 1196.80/1199.99 c #Conflicts: 432000 | #Constraints: 104549 1196.80/1199.99 c #Conflicts: 433000 | #Constraints: 105549 1196.80/1199.99 c #Conflicts: 434000 | #Constraints: 106549 1196.80/1199.99 c #Conflicts: 435000 | #Constraints: 107549 1196.80/1199.99 c bounds 304 >= 206 @ 1178.94 1196.80/1199.99 c #Conflicts: 436000 | #Constraints: 108576 1196.80/1199.99 c #Conflicts: 437000 | #Constraints: 109576 1196.80/1199.99 c #Conflicts: 438000 | #Constraints: 110576 1196.80/1199.99 c INPROCESSING 1196.80/1199.99 c GARBAGE COLLECT 1196.80/1199.99 c rational objective 206 1749.04/1753.63 c #Conflicts: 439000 | #Constraints: 78554 1749.04/1753.63 c #Conflicts: 440000 | #Constraints: 79554 1749.04/1753.63 c #Conflicts: 441000 | #Constraints: 80554 1749.04/1753.63 c #Conflicts: 442000 | #Constraints: 81554 1749.04/1753.63 c #Conflicts: 443000 | #Constraints: 82554 1749.04/1753.63 c #Conflicts: 444000 | #Constraints: 83554 1749.04/1753.63 c #Conflicts: 445000 | #Constraints: 84554 1749.04/1753.63 c #Conflicts: 446000 | #Constraints: 85554 1749.04/1753.63 c #Conflicts: 447000 | #Constraints: 86554 1749.04/1753.63 c #Conflicts: 448000 | #Constraints: 87554 1749.04/1753.63 c #Conflicts: 449000 | #Constraints: 88554 1749.04/1753.63 c #Conflicts: 450000 | #Constraints: 89554 1749.04/1753.63 c #Conflicts: 451000 | #Constraints: 90554 1749.04/1753.63 c bounds 304 >= 207 @ 1208 1749.04/1753.63 c #Conflicts: 452000 | #Constraints: 91575 1749.04/1753.63 c #Conflicts: 453000 | #Constraints: 92575 1749.04/1753.63 c #Conflicts: 454000 | #Constraints: 93575 1749.04/1753.63 c #Conflicts: 455000 | #Constraints: 94575 1749.04/1753.63 c INPROCESSING 1749.04/1753.63 c GARBAGE COLLECT 1749.04/1753.63 c #Conflicts: 456000 | #Constraints: 70740 1749.04/1753.63 c #Conflicts: 457000 | #Constraints: 71740 1749.04/1753.63 c #Conflicts: 458000 | #Constraints: 72740 1749.04/1753.63 c #Conflicts: 459000 | #Constraints: 73740 1749.04/1753.63 c #Conflicts: 460000 | #Constraints: 74740 1749.04/1753.63 c #Conflicts: 461000 | #Constraints: 75740 1749.04/1753.63 c #Conflicts: 462000 | #Constraints: 76740 1749.04/1753.63 c #Conflicts: 463000 | #Constraints: 77740 1749.04/1753.63 c #Conflicts: 464000 | #Constraints: 78740 1749.04/1753.63 c #Conflicts: 465000 | #Constraints: 79740 1749.04/1753.63 c #Conflicts: 466000 | #Constraints: 80740 1749.04/1753.63 c #Conflicts: 467000 | #Constraints: 81740 1749.04/1753.63 c #Conflicts: 468000 | #Constraints: 82740 1749.04/1753.63 c #Conflicts: 469000 | #Constraints: 83740 1749.04/1753.63 c #Conflicts: 470000 | #Constraints: 84740 1749.04/1753.63 c #Conflicts: 471000 | #Constraints: 85740 1749.04/1753.63 c #Conflicts: 472000 | #Constraints: 86740 1749.04/1753.63 c #Conflicts: 473000 | #Constraints: 87740 1749.04/1753.63 c #Conflicts: 474000 | #Constraints: 88740 1749.04/1753.63 c #Conflicts: 475000 | #Constraints: 89740 1749.04/1753.63 c #Conflicts: 476000 | #Constraints: 90740 1749.04/1753.63 c #Conflicts: 477000 | #Constraints: 91740 1749.04/1753.63 c #Conflicts: 478000 | #Constraints: 92740 1749.04/1753.63 c #Conflicts: 479000 | #Constraints: 93740 1749.04/1753.63 c #Conflicts: 480000 | #Constraints: 94740 1749.04/1753.63 c #Conflicts: 481000 | #Constraints: 95740 1749.04/1753.63 c #Conflicts: 482000 | #Constraints: 96740 1749.04/1753.63 c #Conflicts: 483000 | #Constraints: 97740 1749.04/1753.63 c #Conflicts: 484000 | #Constraints: 98740 1749.04/1753.63 c #Conflicts: 485000 | #Constraints: 99740 1749.04/1753.63 c #Conflicts: 486000 | #Constraints: 100740 1749.04/1753.63 c #Conflicts: 487000 | #Constraints: 101740 1749.04/1753.63 c #Conflicts: 488000 | #Constraints: 102740 1749.04/1753.63 c #Conflicts: 489000 | #Constraints: 103740 1749.04/1753.63 c #Conflicts: 490000 | #Constraints: 104740 1749.04/1753.63 c #Conflicts: 491000 | #Constraints: 105740 1749.04/1753.63 c #Conflicts: 492000 | #Constraints: 106740 1749.04/1753.63 c #Conflicts: 493000 | #Constraints: 107740 1749.04/1753.63 c #Conflicts: 494000 | #Constraints: 108740 1749.04/1753.63 c #Conflicts: 495000 | #Constraints: 109740 1749.04/1753.63 c #Conflicts: 496000 | #Constraints: 110740 1749.04/1753.63 c #Conflicts: 497000 | #Constraints: 111740 1749.04/1753.63 c #Conflicts: 498000 | #Constraints: 112740 1749.04/1753.63 c #Conflicts: 499000 | #Constraints: 113740 1749.04/1753.63 c #Conflicts: 500000 | #Constraints: 114740 1749.04/1753.63 c bounds 304 >= 208 @ 1713.99 1749.04/1753.63 c #Conflicts: 501000 | #Constraints: 115767 1749.04/1753.63 c #Conflicts: 502000 | #Constraints: 116767 1749.04/1753.63 c #Conflicts: 503000 | #Constraints: 117767 1749.04/1753.63 c #Conflicts: 504000 | #Constraints: 118767 1749.04/1753.63 c INPROCESSING 1749.04/1753.63 c GARBAGE COLLECT 1749.04/1753.63 c rational objective 208 1818.76/1823.52 c #Conflicts: 505000 | #Constraints: 83098 1818.76/1823.52 c #Conflicts: 506000 | #Constraints: 84098 1818.76/1823.52 c #Conflicts: 507000 | #Constraints: 85098 1818.76/1823.52 c #Conflicts: 508000 | #Constraints: 86098 1818.76/1823.52 c #Conflicts: 509000 | #Constraints: 87098 1818.76/1823.52 c #Conflicts: 510000 | #Constraints: 88098 1818.76/1823.52 c #Conflicts: 511000 | #Constraints: 89098 1818.76/1823.52 c #Conflicts: 512000 | #Constraints: 90098 1818.76/1823.52 c #Conflicts: 513000 | #Constraints: 91098 1818.76/1823.52 c #Conflicts: 514000 | #Constraints: 92098 1818.76/1823.52 c #Conflicts: 515000 | #Constraints: 93098 1818.76/1823.52 c #Conflicts: 516000 | #Constraints: 94098 1818.76/1823.52 c #Conflicts: 517000 | #Constraints: 95098 1818.76/1823.52 c #Conflicts: 518000 | #Constraints: 96098 1818.76/1823.52 c #Conflicts: 519000 | #Constraints: 97098 1818.76/1823.52 c #Conflicts: 520000 | #Constraints: 98098 1818.76/1823.52 c #Conflicts: 521000 | #Constraints: 99098 1818.76/1823.52 c #Conflicts: 522000 | #Constraints: 100098 1818.76/1823.52 c INPROCESSING 1818.76/1823.52 c GARBAGE COLLECT 1818.76/1823.52 c rational objective 208 1911.12/1916.13 c #Conflicts: 523000 | #Constraints: 73787 1911.12/1916.13 c #Conflicts: 524000 | #Constraints: 74787 1911.12/1916.13 c #Conflicts: 525000 | #Constraints: 75787 1911.12/1916.13 c #Conflicts: 526000 | #Constraints: 76787 1911.12/1916.13 c #Conflicts: 527000 | #Constraints: 77787 1911.12/1916.13 c #Conflicts: 528000 | #Constraints: 78787 1911.12/1916.13 c #Conflicts: 529000 | #Constraints: 79787 1911.12/1916.13 c #Conflicts: 530000 | #Constraints: 80787 1911.12/1916.13 c #Conflicts: 531000 | #Constraints: 81787 1911.12/1916.13 c #Conflicts: 532000 | #Constraints: 82787 1911.12/1916.13 c #Conflicts: 533000 | #Constraints: 83787 1911.12/1916.13 c bounds 304 >= 209 @ 1814.17 1911.12/1916.13 c #Conflicts: 534000 | #Constraints: 84817 1911.12/1916.13 c #Conflicts: 535000 | #Constraints: 85817 1911.12/1916.13 c #Conflicts: 536000 | #Constraints: 86817 1911.12/1916.13 c #Conflicts: 537000 | #Constraints: 87817 1911.12/1916.13 c #Conflicts: 538000 | #Constraints: 88817 1911.12/1916.13 c #Conflicts: 539000 | #Constraints: 89817 1911.12/1916.13 c #Conflicts: 540000 | #Constraints: 90817 1911.12/1916.13 c #Conflicts: 541000 | #Constraints: 91817 1911.12/1916.13 c #Conflicts: 542000 | #Constraints: 92817 1911.12/1916.13 c #Conflicts: 543000 | #Constraints: 93817 1911.12/1916.13 c #Conflicts: 544000 | #Constraints: 94817 1911.12/1916.13 c #Conflicts: 545000 | #Constraints: 95817 1911.12/1916.13 c #Conflicts: 546000 | #Constraints: 96817 1911.12/1916.13 c #Conflicts: 547000 | #Constraints: 97817 1911.12/1916.13 c #Conflicts: 548000 | #Constraints: 98817 1911.12/1916.13 c #Conflicts: 549000 | #Constraints: 99817 1911.12/1916.13 c #Conflicts: 550000 | #Constraints: 100817 1911.12/1916.13 c #Conflicts: 551000 | #Constraints: 101817 1911.12/1916.13 c #Conflicts: 552000 | #Constraints: 102817 1911.12/1916.13 c #Conflicts: 553000 | #Constraints: 103817 1911.12/1916.13 c #Conflicts: 554000 | #Constraints: 104817 1911.12/1916.13 c #Conflicts: 555000 | #Constraints: 105817 1911.12/1916.13 c #Conflicts: 556000 | #Constraints: 106817 1911.12/1916.13 c #Conflicts: 557000 | #Constraints: 107817 1911.12/1916.13 c #Conflicts: 558000 | #Constraints: 108817 1911.12/1916.13 c #Conflicts: 559000 | #Constraints: 109817 1911.12/1916.13 c #Conflicts: 560000 | #Constraints: 110817 1911.12/1916.13 c #Conflicts: 561000 | #Constraints: 111817 1911.12/1916.13 c #Conflicts: 562000 | #Constraints: 112817 1911.12/1916.13 c #Conflicts: 563000 | #Constraints: 113817 1911.12/1916.13 c #Conflicts: 564000 | #Constraints: 114817 1911.12/1916.13 c #Conflicts: 565000 | #Constraints: 115817 1911.12/1916.13 c #Conflicts: 566000 | #Constraints: 116817 1911.12/1916.13 c #Conflicts: 567000 | #Constraints: 117817 1911.12/1916.13 c #Conflicts: 568000 | #Constraints: 118817 1911.12/1916.13 c #Conflicts: 569000 | #Constraints: 119817 1911.12/1916.13 c #Conflicts: 570000 | #Constraints: 120817 1911.12/1916.13 c #Conflicts: 571000 | #Constraints: 121817 1911.12/1916.13 c #Conflicts: 572000 | #Constraints: 122817 1911.12/1916.13 c #Conflicts: 573000 | #Constraints: 123817 1911.12/1916.13 c INPROCESSING 1911.12/1916.13 c GARBAGE COLLECT 1911.12/1916.13 c rational objective 209 1974.95/1980.18 c #Conflicts: 574000 | #Constraints: 85415 1974.95/1980.18 c #Conflicts: 575000 | #Constraints: 86415 1974.95/1980.18 c #Conflicts: 576000 | #Constraints: 87415 1974.95/1980.18 c #Conflicts: 577000 | #Constraints: 88415 1974.95/1980.18 c #Conflicts: 578000 | #Constraints: 89415 1974.95/1980.18 c #Conflicts: 579000 | #Constraints: 90415 1974.95/1980.18 c #Conflicts: 580000 | #Constraints: 91415 1974.95/1980.18 c #Conflicts: 581000 | #Constraints: 92415 1974.95/1980.18 c #Conflicts: 582000 | #Constraints: 93415 1974.95/1980.18 c #Conflicts: 583000 | #Constraints: 94415 1974.95/1980.18 c #Conflicts: 584000 | #Constraints: 95415 1974.95/1980.18 c #Conflicts: 585000 | #Constraints: 96415 1974.95/1980.18 c #Conflicts: 586000 | #Constraints: 97415 1974.95/1980.18 c #Conflicts: 587000 | #Constraints: 98415 1974.95/1980.18 c #Conflicts: 588000 | #Constraints: 99415 1974.95/1980.18 c #Conflicts: 589000 | #Constraints: 100415 1974.95/1980.18 c #Conflicts: 590000 | #Constraints: 101415 1974.95/1980.18 c #Conflicts: 591000 | #Constraints: 102415 1974.95/1980.18 c #Conflicts: 592000 | #Constraints: 103415 1974.95/1980.18 c INPROCESSING 1974.95/1980.18 c GARBAGE COLLECT 1974.95/1980.18 c rational objective 209 2070.69/2076.11 c #Conflicts: 593000 | #Constraints: 75110 2070.69/2076.11 c #Conflicts: 594000 | #Constraints: 76110 2070.69/2076.11 c #Conflicts: 595000 | #Constraints: 77110 2070.69/2076.11 c #Conflicts: 596000 | #Constraints: 78110 2070.69/2076.11 c #Conflicts: 597000 | #Constraints: 79110 2070.69/2076.11 c #Conflicts: 598000 | #Constraints: 80110 2070.69/2076.11 c #Conflicts: 599000 | #Constraints: 81110 2070.69/2076.11 c #Conflicts: 600000 | #Constraints: 82110 2070.69/2076.11 c #Conflicts: 601000 | #Constraints: 83110 2070.69/2076.11 c #Conflicts: 602000 | #Constraints: 84110 2070.69/2076.11 c #Conflicts: 603000 | #Constraints: 85110 2070.69/2076.11 c #Conflicts: 604000 | #Constraints: 86110 2070.69/2076.11 c #Conflicts: 605000 | #Constraints: 87110 2070.69/2076.11 c #Conflicts: 606000 | #Constraints: 88110 2070.69/2076.11 c #Conflicts: 607000 | #Constraints: 89110 2070.69/2076.11 c #Conflicts: 608000 | #Constraints: 90110 2070.69/2076.11 c #Conflicts: 609000 | #Constraints: 91110 2070.69/2076.11 c #Conflicts: 610000 | #Constraints: 92110 2070.69/2076.11 c #Conflicts: 611000 | #Constraints: 93110 2070.69/2076.11 c #Conflicts: 612000 | #Constraints: 94110 2070.69/2076.11 c #Conflicts: 613000 | #Constraints: 95110 2070.69/2076.11 c #Conflicts: 614000 | #Constraints: 96110 2070.69/2076.11 c #Conflicts: 615000 | #Constraints: 97110 2070.69/2076.11 c #Conflicts: 616000 | #Constraints: 98110 2070.69/2076.11 c #Conflicts: 617000 | #Constraints: 99110 2070.69/2076.11 c #Conflicts: 618000 | #Constraints: 100110 2070.69/2076.11 c #Conflicts: 619000 | #Constraints: 101110 2070.69/2076.11 c #Conflicts: 620000 | #Constraints: 102110 2070.69/2076.11 c #Conflicts: 621000 | #Constraints: 103110 2070.69/2076.11 c #Conflicts: 622000 | #Constraints: 104110 2070.69/2076.11 c #Conflicts: 623000 | #Constraints: 105110 2070.69/2076.11 c #Conflicts: 624000 | #Constraints: 106110 2070.69/2076.11 c #Conflicts: 625000 | #Constraints: 107110 2070.69/2076.11 c #Conflicts: 626000 | #Constraints: 108110 2070.69/2076.11 c #Conflicts: 627000 | #Constraints: 109110 2070.69/2076.11 c bounds 304 >= 210 @ 2002.14 2070.69/2076.11 c #Conflicts: 628000 | #Constraints: 110134 2070.69/2076.11 c #Conflicts: 629000 | #Constraints: 111134 2070.69/2076.11 c #Conflicts: 630000 | #Constraints: 112134 2070.69/2076.11 c #Conflicts: 631000 | #Constraints: 113134 2070.69/2076.11 c #Conflicts: 632000 | #Constraints: 114134 2070.69/2076.11 c #Conflicts: 633000 | #Constraints: 115134 2070.69/2076.11 c #Conflicts: 634000 | #Constraints: 116134 2070.69/2076.11 c #Conflicts: 635000 | #Constraints: 117134 2070.69/2076.11 c #Conflicts: 636000 | #Constraints: 118134 2070.69/2076.11 c #Conflicts: 637000 | #Constraints: 119134 2070.69/2076.11 c #Conflicts: 638000 | #Constraints: 120134 2070.69/2076.11 c #Conflicts: 639000 | #Constraints: 121134 2070.69/2076.11 c #Conflicts: 640000 | #Constraints: 122134 2070.69/2076.11 c #Conflicts: 641000 | #Constraints: 123134 2070.69/2076.11 c #Conflicts: 642000 | #Constraints: 124134 2070.69/2076.11 c #Conflicts: 643000 | #Constraints: 125134 2070.69/2076.11 c #Conflicts: 644000 | #Constraints: 126134 2070.69/2076.11 c #Conflicts: 645000 | #Constraints: 127134 2070.69/2076.11 c #Conflicts: 646000 | #Constraints: 128134 2070.69/2076.11 c #Conflicts: 647000 | #Constraints: 129134 2070.69/2076.11 c INPROCESSING 2070.69/2076.11 c GARBAGE COLLECT 2070.69/2076.11 c rational objective 210 2106.09/2111.67 c #Conflicts: 648000 | #Constraints: 88208 2106.09/2111.67 c bounds 304 >= 211 @ 2059.03 2106.09/2111.67 c #Conflicts: 649000 | #Constraints: 89241 2106.09/2111.67 c #Conflicts: 650000 | #Constraints: 90241 2106.09/2111.67 c #Conflicts: 651000 | #Constraints: 91241 2106.09/2111.67 c #Conflicts: 652000 | #Constraints: 92241 2106.09/2111.67 c bounds 304 >= 212 @ 2059.97 2106.09/2111.67 c #Conflicts: 653000 | #Constraints: 93262 2106.09/2111.67 c #Conflicts: 654000 | #Constraints: 94262 2106.09/2111.67 c #Conflicts: 655000 | #Constraints: 95262 2106.09/2111.67 c #Conflicts: 656000 | #Constraints: 96262 2106.09/2111.67 c #Conflicts: 657000 | #Constraints: 97262 2106.09/2111.67 c #Conflicts: 658000 | #Constraints: 98262 2106.09/2111.67 c #Conflicts: 659000 | #Constraints: 99262 2106.09/2111.67 c bounds 304 >= 213 @ 2063.28 2106.09/2111.67 c #Conflicts: 660000 | #Constraints: 100280 2106.09/2111.67 c #Conflicts: 661000 | #Constraints: 101280 2106.09/2111.67 c #Conflicts: 662000 | #Constraints: 102280 2106.09/2111.67 c #Conflicts: 663000 | #Constraints: 103280 2106.09/2111.67 c #Conflicts: 664000 | #Constraints: 104280 2106.09/2111.67 c #Conflicts: 665000 | #Constraints: 105280 2106.09/2111.67 c #Conflicts: 666000 | #Constraints: 106280 2106.09/2111.67 c #Conflicts: 667000 | #Constraints: 107280 2106.09/2111.67 c #Conflicts: 668000 | #Constraints: 108280 2106.09/2111.67 c INPROCESSING 2106.09/2111.67 c GARBAGE COLLECT 2106.09/2111.67 c rational objective 213 2249.42/2255.34 c #Conflicts: 669000 | #Constraints: 77993 2249.42/2255.34 c #Conflicts: 670000 | #Constraints: 78993 2249.42/2255.34 c #Conflicts: 671000 | #Constraints: 79993 2249.42/2255.34 c #Conflicts: 672000 | #Constraints: 80993 2249.42/2255.34 c #Conflicts: 673000 | #Constraints: 81993 2249.42/2255.34 c #Conflicts: 674000 | #Constraints: 82993 2249.42/2255.34 c #Conflicts: 675000 | #Constraints: 83993 2249.42/2255.34 c bounds 304 >= 214 @ 2097.55 2249.42/2255.34 c #Conflicts: 676000 | #Constraints: 85029 2249.42/2255.34 c #Conflicts: 677000 | #Constraints: 86029 2249.42/2255.34 c #Conflicts: 678000 | #Constraints: 87029 2249.42/2255.34 c #Conflicts: 679000 | #Constraints: 88029 2249.42/2255.34 c #Conflicts: 680000 | #Constraints: 89029 2249.42/2255.34 c #Conflicts: 681000 | #Constraints: 90029 2249.42/2255.34 c #Conflicts: 682000 | #Constraints: 91029 2249.42/2255.34 c #Conflicts: 683000 | #Constraints: 92029 2249.42/2255.34 c #Conflicts: 684000 | #Constraints: 93029 2249.42/2255.34 c #Conflicts: 685000 | #Constraints: 94029 2249.42/2255.34 c #Conflicts: 686000 | #Constraints: 95029 2249.42/2255.34 c #Conflicts: 687000 | #Constraints: 96029 2249.42/2255.34 c #Conflicts: 688000 | #Constraints: 97029 2249.42/2255.34 c #Conflicts: 689000 | #Constraints: 98029 2249.42/2255.34 c #Conflicts: 690000 | #Constraints: 99029 2249.42/2255.34 c #Conflicts: 691000 | #Constraints: 100029 2249.42/2255.34 c #Conflicts: 692000 | #Constraints: 101029 2249.42/2255.34 c #Conflicts: 693000 | #Constraints: 102029 2249.42/2255.34 c #Conflicts: 694000 | #Constraints: 103029 2249.42/2255.34 c #Conflicts: 695000 | #Constraints: 104029 2249.42/2255.34 c #Conflicts: 696000 | #Constraints: 105029 2249.42/2255.34 c #Conflicts: 697000 | #Constraints: 106029 2249.42/2255.34 c #Conflicts: 698000 | #Constraints: 107029 2249.42/2255.34 c #Conflicts: 699000 | #Constraints: 108029 2249.42/2255.34 c #Conflicts: 700000 | #Constraints: 109029 2249.42/2255.34 c #Conflicts: 701000 | #Constraints: 110029 2249.42/2255.34 c #Conflicts: 702000 | #Constraints: 111029 2249.42/2255.34 c #Conflicts: 703000 | #Constraints: 112029 2249.42/2255.34 c #Conflicts: 704000 | #Constraints: 113029 2249.42/2255.34 c #Conflicts: 705000 | #Constraints: 114029 2249.42/2255.34 c #Conflicts: 706000 | #Constraints: 115029 2249.42/2255.34 c #Conflicts: 707000 | #Constraints: 116029 2249.42/2255.34 c #Conflicts: 708000 | #Constraints: 117029 2249.42/2255.34 c #Conflicts: 709000 | #Constraints: 118029 2249.42/2255.34 c #Conflicts: 710000 | #Constraints: 119029 2249.42/2255.34 c #Conflicts: 711000 | #Constraints: 120029 2249.42/2255.34 c #Conflicts: 712000 | #Constraints: 121029 2249.42/2255.34 c #Conflicts: 713000 | #Constraints: 122029 2249.42/2255.34 c #Conflicts: 714000 | #Constraints: 123029 2249.42/2255.34 c #Conflicts: 715000 | #Constraints: 124029 2249.42/2255.34 c #Conflicts: 716000 | #Constraints: 125029 2249.42/2255.34 c #Conflicts: 717000 | #Constraints: 126029 2249.42/2255.34 c #Conflicts: 718000 | #Constraints: 127029 2249.42/2255.34 c #Conflicts: 719000 | #Constraints: 128029 2249.42/2255.34 c #Conflicts: 720000 | #Constraints: 129029 2249.42/2255.34 c #Conflicts: 721000 | #Constraints: 130029 2249.42/2255.34 c #Conflicts: 722000 | #Constraints: 131029 2249.42/2255.34 c #Conflicts: 723000 | #Constraints: 132029 2249.42/2255.34 c #Conflicts: 724000 | #Constraints: 133030 2249.42/2255.34 c #Conflicts: 725000 | #Constraints: 134030 2249.42/2255.34 c INPROCESSING 2249.42/2255.34 c GARBAGE COLLECT 2249.42/2255.34 c rational objective 214 2284.43/2290.42 c #Conflicts: 726000 | #Constraints: 90536 2284.43/2290.42 c #Conflicts: 727000 | #Constraints: 91536 2284.43/2290.42 c #Conflicts: 728000 | #Constraints: 92536 2284.43/2290.42 c #Conflicts: 729000 | #Constraints: 93536 2284.43/2290.42 c #Conflicts: 730000 | #Constraints: 94536 2284.43/2290.42 c #Conflicts: 731000 | #Constraints: 95536 2284.43/2290.42 c #Conflicts: 732000 | #Constraints: 96536 2284.43/2290.42 c #Conflicts: 733000 | #Constraints: 97536 2284.43/2290.42 c #Conflicts: 734000 | #Constraints: 98536 2284.43/2290.42 c #Conflicts: 735000 | #Constraints: 99536 2284.43/2290.42 c #Conflicts: 736000 | #Constraints: 100536 2284.43/2290.42 c #Conflicts: 737000 | #Constraints: 101536 2284.43/2290.42 c #Conflicts: 738000 | #Constraints: 102536 2284.43/2290.42 c #Conflicts: 739000 | #Constraints: 103536 2284.43/2290.42 c #Conflicts: 740000 | #Constraints: 104536 2284.43/2290.42 c #Conflicts: 741000 | #Constraints: 105536 2284.43/2290.42 c #Conflicts: 742000 | #Constraints: 106536 2284.43/2290.42 c #Conflicts: 743000 | #Constraints: 107536 2284.43/2290.42 c #Conflicts: 744000 | #Constraints: 108536 2284.43/2290.42 c #Conflicts: 745000 | #Constraints: 109536 2284.43/2290.42 c #Conflicts: 746000 | #Constraints: 110536 2284.43/2290.42 c #Conflicts: 747000 | #Constraints: 111536 2284.43/2290.42 c INPROCESSING 2284.43/2290.42 c GARBAGE COLLECT 2284.43/2290.42 c rational objective 214 2472.05/2478.54 c #Conflicts: 748000 | #Constraints: 79334 2472.05/2478.54 c #Conflicts: 749000 | #Constraints: 80334 2472.05/2478.54 c #Conflicts: 750000 | #Constraints: 81334 2472.05/2478.54 c #Conflicts: 751000 | #Constraints: 82334 2472.05/2478.54 c #Conflicts: 752000 | #Constraints: 83334 2472.05/2478.54 c bounds 304 >= 215 @ 2273.58 2472.05/2478.54 c #Conflicts: 753000 | #Constraints: 84358 2472.05/2478.54 c #Conflicts: 754000 | #Constraints: 85358 2472.05/2478.54 c #Conflicts: 755000 | #Constraints: 86358 2472.05/2478.54 c #Conflicts: 756000 | #Constraints: 87358 2472.05/2478.54 c #Conflicts: 757000 | #Constraints: 88358 2472.05/2478.54 c #Conflicts: 758000 | #Constraints: 89358 2472.05/2478.54 c #Conflicts: 759000 | #Constraints: 90358 2472.05/2478.54 c #Conflicts: 760000 | #Constraints: 91358 2472.05/2478.54 c #Conflicts: 761000 | #Constraints: 92358 2472.05/2478.54 c #Conflicts: 762000 | #Constraints: 93358 2472.05/2478.54 c #Conflicts: 763000 | #Constraints: 94358 2472.05/2478.54 c #Conflicts: 764000 | #Constraints: 95358 2472.05/2478.54 c #Conflicts: 765000 | #Constraints: 96358 2472.05/2478.54 c #Conflicts: 766000 | #Constraints: 97358 2472.05/2478.54 c #Conflicts: 767000 | #Constraints: 98358 2472.05/2478.54 c #Conflicts: 768000 | #Constraints: 99358 2472.05/2478.54 c #Conflicts: 769000 | #Constraints: 100358 2472.05/2478.54 c #Conflicts: 770000 | #Constraints: 101358 2472.05/2478.54 c #Conflicts: 771000 | #Constraints: 102358 2472.05/2478.54 c #Conflicts: 772000 | #Constraints: 103358 2472.05/2478.54 c #Conflicts: 773000 | #Constraints: 104358 2472.05/2478.54 c bounds 304 >= 216 @ 2319.37 2472.05/2478.54 c #Conflicts: 774000 | #Constraints: 105391 2472.05/2478.54 c #Conflicts: 775000 | #Constraints: 106391 2472.05/2478.54 c #Conflicts: 776000 | #Constraints: 107391 2472.05/2478.54 c #Conflicts: 777000 | #Constraints: 108391 2472.05/2478.54 c #Conflicts: 778000 | #Constraints: 109391 2472.05/2478.54 c #Conflicts: 779000 | #Constraints: 110391 2472.05/2478.54 c #Conflicts: 780000 | #Constraints: 111391 2472.05/2478.54 c #Conflicts: 781000 | #Constraints: 112391 2472.05/2478.54 c #Conflicts: 782000 | #Constraints: 113391 2472.05/2478.54 c #Conflicts: 783000 | #Constraints: 114391 2472.05/2478.54 c #Conflicts: 784000 | #Constraints: 115391 2472.05/2478.54 c #Conflicts: 785000 | #Constraints: 116391 2472.05/2478.54 c #Conflicts: 786000 | #Constraints: 117391 2472.05/2478.54 c #Conflicts: 787000 | #Constraints: 118391 2472.05/2478.54 c #Conflicts: 788000 | #Constraints: 119391 2472.05/2478.54 c #Conflicts: 789000 | #Constraints: 120391 2472.05/2478.54 c #Conflicts: 790000 | #Constraints: 121391 2472.05/2478.54 c #Conflicts: 791000 | #Constraints: 122391 2472.05/2478.54 c #Conflicts: 792000 | #Constraints: 123391 2472.05/2478.54 c #Conflicts: 793000 | #Constraints: 124391 2472.05/2478.54 c #Conflicts: 794000 | #Constraints: 125391 2472.05/2478.54 c #Conflicts: 795000 | #Constraints: 126391 2472.05/2478.54 c #Conflicts: 796000 | #Constraints: 127391 2472.05/2478.54 c #Conflicts: 797000 | #Constraints: 128391 2472.05/2478.54 c #Conflicts: 798000 | #Constraints: 129391 2472.05/2478.54 c #Conflicts: 799000 | #Constraints: 130391 2472.05/2478.54 c #Conflicts: 800000 | #Constraints: 131391 2472.05/2478.54 c #Conflicts: 801000 | #Constraints: 132391 2472.05/2478.54 c #Conflicts: 802000 | #Constraints: 133391 2472.05/2478.54 c #Conflicts: 803000 | #Constraints: 134391 2472.05/2478.54 c #Conflicts: 804000 | #Constraints: 135391 2472.05/2478.54 c #Conflicts: 805000 | #Constraints: 136391 2472.05/2478.55 c #Conflicts: 806000 | #Constraints: 137391 2472.05/2478.55 c #Conflicts: 807000 | #Constraints: 138391 2472.05/2478.55 c #Conflicts: 808000 | #Constraints: 139391 2472.05/2478.55 c INPROCESSING 2472.05/2478.55 c GARBAGE COLLECT 2472.05/2478.55 c rational objective 216 2547.65/2554.30 c #Conflicts: 809000 | #Constraints: 93342 2547.65/2554.30 c #Conflicts: 810000 | #Constraints: 94342 2547.65/2554.30 c #Conflicts: 811000 | #Constraints: 95342 2547.65/2554.30 c #Conflicts: 812000 | #Constraints: 96342 2547.65/2554.30 c #Conflicts: 813000 | #Constraints: 97342 2547.65/2554.30 c #Conflicts: 814000 | #Constraints: 98342 2547.65/2554.30 c #Conflicts: 815000 | #Constraints: 99342 2547.65/2554.30 c #Conflicts: 816000 | #Constraints: 100342 2547.65/2554.30 c #Conflicts: 817000 | #Constraints: 101342 2547.65/2554.30 c #Conflicts: 818000 | #Constraints: 102342 2547.65/2554.30 c #Conflicts: 819000 | #Constraints: 103342 2547.65/2554.30 c #Conflicts: 820000 | #Constraints: 104342 2547.65/2554.30 c #Conflicts: 821000 | #Constraints: 105342 2547.65/2554.30 c #Conflicts: 822000 | #Constraints: 106342 2547.65/2554.30 c #Conflicts: 823000 | #Constraints: 107342 2547.65/2554.30 c #Conflicts: 824000 | #Constraints: 108342 2547.65/2554.30 c #Conflicts: 825000 | #Constraints: 109342 2547.65/2554.30 c #Conflicts: 826000 | #Constraints: 110342 2547.65/2554.30 c #Conflicts: 827000 | #Constraints: 111342 2547.65/2554.30 c #Conflicts: 828000 | #Constraints: 112342 2547.65/2554.30 c #Conflicts: 829000 | #Constraints: 113342 2547.65/2554.30 c bounds 304 >= 217 @ 2485.03 2547.65/2554.30 c #Conflicts: 830000 | #Constraints: 114372 2547.65/2554.30 c #Conflicts: 831000 | #Constraints: 115372 2547.65/2554.30 c INPROCESSING 2547.65/2554.30 c GARBAGE COLLECT 2547.65/2554.30 c rational objective 217 2672.24/2679.21 c #Conflicts: 832000 | #Constraints: 81269 2672.24/2679.21 c #Conflicts: 833000 | #Constraints: 82269 2672.24/2679.21 c #Conflicts: 834000 | #Constraints: 83269 2672.24/2679.21 c #Conflicts: 835000 | #Constraints: 84269 2672.24/2679.21 c #Conflicts: 836000 | #Constraints: 85269 2672.24/2679.21 c #Conflicts: 837000 | #Constraints: 86269 2672.24/2679.21 c #Conflicts: 838000 | #Constraints: 87269 2672.24/2679.21 c #Conflicts: 839000 | #Constraints: 88269 2672.24/2679.21 c #Conflicts: 840000 | #Constraints: 89269 2672.24/2679.21 c #Conflicts: 841000 | #Constraints: 90269 2672.24/2679.21 c #Conflicts: 842000 | #Constraints: 91269 2672.24/2679.21 c #Conflicts: 843000 | #Constraints: 92269 2672.24/2679.21 c #Conflicts: 844000 | #Constraints: 93269 2672.24/2679.21 c #Conflicts: 845000 | #Constraints: 94269 2672.24/2679.21 c #Conflicts: 846000 | #Constraints: 95269 2672.24/2679.21 c #Conflicts: 847000 | #Constraints: 96269 2672.24/2679.21 c #Conflicts: 848000 | #Constraints: 97269 2672.24/2679.21 c bounds 304 >= 218 @ 2596.33 2672.24/2679.21 c #Conflicts: 849000 | #Constraints: 98290 2672.24/2679.21 c #Conflicts: 850000 | #Constraints: 99290 2672.24/2679.21 c #Conflicts: 851000 | #Constraints: 100290 2672.24/2679.21 c #Conflicts: 852000 | #Constraints: 101290 2672.24/2679.21 c #Conflicts: 853000 | #Constraints: 102290 2672.24/2679.21 c #Conflicts: 854000 | #Constraints: 103290 2672.24/2679.21 c #Conflicts: 855000 | #Constraints: 104290 2672.24/2679.21 c #Conflicts: 856000 | #Constraints: 105290 2672.24/2679.21 c #Conflicts: 857000 | #Constraints: 106290 2672.24/2679.21 c #Conflicts: 858000 | #Constraints: 107290 2672.24/2679.21 c #Conflicts: 859000 | #Constraints: 108290 2672.24/2679.21 c #Conflicts: 860000 | #Constraints: 109290 2672.24/2679.21 c #Conflicts: 861000 | #Constraints: 110290 2672.24/2679.21 c #Conflicts: 862000 | #Constraints: 111290 2672.24/2679.21 c #Conflicts: 863000 | #Constraints: 112290 2672.24/2679.21 c #Conflicts: 864000 | #Constraints: 113290 2672.24/2679.21 c #Conflicts: 865000 | #Constraints: 114290 2672.24/2679.21 c #Conflicts: 866000 | #Constraints: 115290 2672.24/2679.21 c #Conflicts: 867000 | #Constraints: 116290 2672.24/2679.21 c #Conflicts: 868000 | #Constraints: 117290 2672.24/2679.21 c #Conflicts: 869000 | #Constraints: 118290 2672.24/2679.21 c #Conflicts: 870000 | #Constraints: 119290 2672.24/2679.21 c #Conflicts: 871000 | #Constraints: 120290 2672.24/2679.21 c #Conflicts: 872000 | #Constraints: 121290 2672.24/2679.21 c #Conflicts: 873000 | #Constraints: 122290 2672.24/2679.21 c #Conflicts: 874000 | #Constraints: 123290 2672.24/2679.21 c #Conflicts: 875000 | #Constraints: 124290 2672.24/2679.21 c #Conflicts: 876000 | #Constraints: 125290 2672.24/2679.21 c #Conflicts: 877000 | #Constraints: 126290 2672.24/2679.21 c #Conflicts: 878000 | #Constraints: 127290 2672.24/2679.21 c #Conflicts: 879000 | #Constraints: 128290 2672.24/2679.21 c #Conflicts: 880000 | #Constraints: 129290 2672.24/2679.21 c #Conflicts: 881000 | #Constraints: 130290 2672.24/2679.21 c #Conflicts: 882000 | #Constraints: 131290 2672.24/2679.21 c #Conflicts: 883000 | #Constraints: 132290 2672.24/2679.21 c #Conflicts: 884000 | #Constraints: 133290 2672.24/2679.21 c #Conflicts: 885000 | #Constraints: 134290 2672.24/2679.21 c #Conflicts: 886000 | #Constraints: 135290 2672.24/2679.21 c #Conflicts: 887000 | #Constraints: 136290 2672.24/2679.21 c #Conflicts: 888000 | #Constraints: 137290 2672.24/2679.21 c #Conflicts: 889000 | #Constraints: 138290 2672.24/2679.21 c #Conflicts: 890000 | #Constraints: 139290 2672.24/2679.21 c #Conflicts: 891000 | #Constraints: 140290 2672.24/2679.21 c #Conflicts: 892000 | #Constraints: 141290 2672.24/2679.21 c #Conflicts: 893000 | #Constraints: 142290 2672.24/2679.21 c #Conflicts: 894000 | #Constraints: 143290 2672.24/2679.21 c #Conflicts: 895000 | #Constraints: 144290 2672.24/2679.21 c INPROCESSING 2672.24/2679.21 c GARBAGE COLLECT 2672.24/2679.21 c rational objective 218 2705.06/2712.17 c #Conflicts: 896000 | #Constraints: 95808 2705.06/2712.17 c #Conflicts: 897000 | #Constraints: 96808 2705.06/2712.17 c #Conflicts: 898000 | #Constraints: 97808 2705.06/2712.17 c #Conflicts: 899000 | #Constraints: 98808 2705.06/2712.17 c #Conflicts: 900000 | #Constraints: 99808 2705.06/2712.17 c #Conflicts: 901000 | #Constraints: 100808 2705.06/2712.17 c #Conflicts: 902000 | #Constraints: 101808 2705.06/2712.17 c #Conflicts: 903000 | #Constraints: 102808 2705.06/2712.17 c #Conflicts: 904000 | #Constraints: 103808 2705.06/2712.17 c #Conflicts: 905000 | #Constraints: 104808 2705.06/2712.17 c #Conflicts: 906000 | #Constraints: 105808 2705.06/2712.17 c #Conflicts: 907000 | #Constraints: 106808 2705.06/2712.17 c #Conflicts: 908000 | #Constraints: 107808 2705.06/2712.17 c #Conflicts: 909000 | #Constraints: 108808 2705.06/2712.17 c #Conflicts: 910000 | #Constraints: 109808 2705.06/2712.17 c #Conflicts: 911000 | #Constraints: 110808 2705.06/2712.17 c #Conflicts: 912000 | #Constraints: 111808 2705.06/2712.17 c #Conflicts: 913000 | #Constraints: 112808 2705.06/2712.17 c #Conflicts: 914000 | #Constraints: 113808 2705.06/2712.17 c #Conflicts: 915000 | #Constraints: 114808 2705.06/2712.17 c #Conflicts: 916000 | #Constraints: 115808 2705.06/2712.17 c #Conflicts: 917000 | #Constraints: 116808 2705.06/2712.17 c #Conflicts: 918000 | #Constraints: 117808 2705.06/2712.17 c #Conflicts: 919000 | #Constraints: 118808 2705.06/2712.17 c #Conflicts: 920000 | #Constraints: 119808 2705.06/2712.17 c INPROCESSING 2705.06/2712.17 c GARBAGE COLLECT 2705.06/2712.17 c rational objective 218 2854.88/2862.34 c #Conflicts: 921000 | #Constraints: 85221 2854.88/2862.34 c #Conflicts: 922000 | #Constraints: 86221 2854.88/2862.34 c #Conflicts: 923000 | #Constraints: 87221 2854.88/2862.34 c #Conflicts: 924000 | #Constraints: 88221 2854.88/2862.34 c #Conflicts: 925000 | #Constraints: 89221 2854.88/2862.34 c #Conflicts: 926000 | #Constraints: 90221 2854.88/2862.34 c #Conflicts: 927000 | #Constraints: 91221 2854.88/2862.34 c #Conflicts: 928000 | #Constraints: 92221 2854.88/2862.34 c #Conflicts: 929000 | #Constraints: 93221 2854.88/2862.34 c #Conflicts: 930000 | #Constraints: 94221 2854.88/2862.34 c #Conflicts: 931000 | #Constraints: 95221 2854.88/2862.34 c #Conflicts: 932000 | #Constraints: 96221 2854.88/2862.34 c #Conflicts: 933000 | #Constraints: 97221 2854.88/2862.34 c #Conflicts: 934000 | #Constraints: 98221 2854.88/2862.34 c #Conflicts: 935000 | #Constraints: 99221 2854.88/2862.34 c #Conflicts: 936000 | #Constraints: 100221 2854.88/2862.34 c #Conflicts: 937000 | #Constraints: 101221 2854.88/2862.34 c #Conflicts: 938000 | #Constraints: 102221 2854.88/2862.34 c #Conflicts: 939000 | #Constraints: 103221 2854.88/2862.34 c #Conflicts: 940000 | #Constraints: 104221 2854.88/2862.34 c #Conflicts: 941000 | #Constraints: 105221 2854.88/2862.34 c #Conflicts: 942000 | #Constraints: 106221 2854.88/2862.34 c #Conflicts: 943000 | #Constraints: 107221 2854.88/2862.34 c #Conflicts: 944000 | #Constraints: 108221 2854.88/2862.34 c #Conflicts: 945000 | #Constraints: 109221 2854.88/2862.34 c #Conflicts: 946000 | #Constraints: 110221 2854.88/2862.34 c #Conflicts: 947000 | #Constraints: 111221 2854.88/2862.34 c #Conflicts: 948000 | #Constraints: 112221 2854.88/2862.34 c #Conflicts: 949000 | #Constraints: 113221 2854.88/2862.34 c #Conflicts: 950000 | #Constraints: 114221 2854.88/2862.34 c #Conflicts: 951000 | #Constraints: 115221 2854.88/2862.34 c #Conflicts: 952000 | #Constraints: 116221 2854.88/2862.34 c #Conflicts: 953000 | #Constraints: 117221 2854.88/2862.34 c #Conflicts: 954000 | #Constraints: 118221 2854.88/2862.34 c #Conflicts: 955000 | #Constraints: 119221 2854.88/2862.34 c #Conflicts: 956000 | #Constraints: 120221 2854.88/2862.34 c #Conflicts: 957000 | #Constraints: 121221 2854.88/2862.34 c #Conflicts: 958000 | #Constraints: 122221 2854.88/2862.34 c #Conflicts: 959000 | #Constraints: 123221 2854.88/2862.34 c #Conflicts: 960000 | #Constraints: 124221 2854.88/2862.34 c #Conflicts: 961000 | #Constraints: 125221 2854.88/2862.34 c #Conflicts: 962000 | #Constraints: 126221 2854.88/2862.34 c #Conflicts: 963000 | #Constraints: 127221 2854.88/2862.34 c #Conflicts: 964000 | #Constraints: 128221 2854.88/2862.34 c #Conflicts: 965000 | #Constraints: 129221 2854.88/2862.34 c #Conflicts: 966000 | #Constraints: 130221 2854.88/2862.34 c #Conflicts: 967000 | #Constraints: 131221 2854.88/2862.34 c #Conflicts: 968000 | #Constraints: 132221 2854.88/2862.34 c #Conflicts: 969000 | #Constraints: 133221 2854.88/2862.34 c #Conflicts: 970000 | #Constraints: 134221 2854.88/2862.34 c #Conflicts: 971000 | #Constraints: 135221 2854.88/2862.34 c #Conflicts: 972000 | #Constraints: 136221 2854.88/2862.34 c #Conflicts: 973000 | #Constraints: 137221 2854.88/2862.34 c #Conflicts: 974000 | #Constraints: 138221 2854.88/2862.34 c #Conflicts: 975000 | #Constraints: 139221 2854.88/2862.34 c #Conflicts: 976000 | #Constraints: 140221 2854.88/2862.34 c #Conflicts: 977000 | #Constraints: 141221 2854.88/2862.34 c #Conflicts: 978000 | #Constraints: 142221 2854.88/2862.34 c #Conflicts: 979000 | #Constraints: 143221 2854.88/2862.34 c #Conflicts: 980000 | #Constraints: 144221 2854.88/2862.34 c #Conflicts: 981000 | #Constraints: 145221 2854.88/2862.34 c #Conflicts: 982000 | #Constraints: 146221 2854.88/2862.34 c #Conflicts: 983000 | #Constraints: 147221 2854.88/2862.34 c #Conflicts: 984000 | #Constraints: 148221 2854.88/2862.34 c #Conflicts: 985000 | #Constraints: 149221 2854.88/2862.34 c #Conflicts: 986000 | #Constraints: 150221 2854.88/2862.34 c #Conflicts: 987000 | #Constraints: 151221 2854.88/2862.34 c INPROCESSING 2854.88/2862.34 c GARBAGE COLLECT 2854.88/2862.34 c rational objective 218 2942.17/2949.80 c #Conflicts: 988000 | #Constraints: 99431 2942.17/2949.80 c #Conflicts: 989000 | #Constraints: 100431 2942.17/2949.80 c #Conflicts: 990000 | #Constraints: 101431 2942.17/2949.80 c #Conflicts: 991000 | #Constraints: 102431 2942.17/2949.80 c #Conflicts: 992000 | #Constraints: 103431 2942.17/2949.80 c #Conflicts: 993000 | #Constraints: 104431 2942.17/2949.80 c #Conflicts: 994000 | #Constraints: 105431 2942.17/2949.80 c #Conflicts: 995000 | #Constraints: 106431 2942.17/2949.80 c #Conflicts: 996000 | #Constraints: 107431 2942.17/2949.80 c #Conflicts: 997000 | #Constraints: 108431 2942.17/2949.80 c #Conflicts: 998000 | #Constraints: 109431 2942.17/2949.80 c #Conflicts: 999000 | #Constraints: 110433 2942.17/2949.80 c #Conflicts: 1000000 | #Constraints: 111433 2942.17/2949.80 c #Conflicts: 1001000 | #Constraints: 112433 2942.17/2949.80 c #Conflicts: 1002000 | #Constraints: 113433 2942.17/2949.80 c #Conflicts: 1003000 | #Constraints: 114433 2942.17/2949.80 c #Conflicts: 1004000 | #Constraints: 115433 2942.17/2949.80 c #Conflicts: 1005000 | #Constraints: 116434 2942.17/2949.80 c #Conflicts: 1006000 | #Constraints: 117436 2942.17/2949.80 c #Conflicts: 1007000 | #Constraints: 118436 2942.17/2949.80 c #Conflicts: 1008000 | #Constraints: 119437 2942.17/2949.80 c #Conflicts: 1009000 | #Constraints: 120438 2942.17/2949.80 c #Conflicts: 1010000 | #Constraints: 121440 2942.17/2949.80 c #Conflicts: 1011000 | #Constraints: 122440 2942.17/2949.80 c #Conflicts: 1012000 | #Constraints: 123441 2942.17/2949.80 c INPROCESSING 2942.17/2949.80 c GARBAGE COLLECT 2942.17/2949.80 c rational objective 218 3393.83/3402.68 c #Conflicts: 1013000 | #Constraints: 86677 3393.83/3402.68 c #Conflicts: 1014000 | #Constraints: 87677 3393.83/3402.68 c #Conflicts: 1015000 | #Constraints: 88677 3393.83/3402.68 c #Conflicts: 1016000 | #Constraints: 89677 3393.83/3402.68 c #Conflicts: 1017000 | #Constraints: 90677 3393.83/3402.68 c #Conflicts: 1018000 | #Constraints: 91677 3393.83/3402.68 c #Conflicts: 1019000 | #Constraints: 92677 3393.83/3402.68 c #Conflicts: 1020000 | #Constraints: 93677 3393.83/3402.68 c #Conflicts: 1021000 | #Constraints: 94677 3393.83/3402.68 c #Conflicts: 1022000 | #Constraints: 95677 3393.83/3402.68 c #Conflicts: 1023000 | #Constraints: 96677 3393.83/3402.68 c #Conflicts: 1024000 | #Constraints: 97677 3393.83/3402.68 c #Conflicts: 1025000 | #Constraints: 98677 3393.83/3402.68 c #Conflicts: 1026000 | #Constraints: 99677 3393.83/3402.68 c #Conflicts: 1027000 | #Constraints: 100677 3393.83/3402.68 c #Conflicts: 1028000 | #Constraints: 101677 3393.83/3402.68 c #Conflicts: 1029000 | #Constraints: 102677 3393.83/3402.68 c #Conflicts: 1030000 | #Constraints: 103677 3393.83/3402.68 c #Conflicts: 1031000 | #Constraints: 104677 3393.83/3402.68 c #Conflicts: 1032000 | #Constraints: 105677 3393.83/3402.68 c #Conflicts: 1033000 | #Constraints: 106677 3393.83/3402.68 c #Conflicts: 1034000 | #Constraints: 107677 3393.83/3402.68 c #Conflicts: 1035000 | #Constraints: 108677 3393.83/3402.68 c #Conflicts: 1036000 | #Constraints: 109677 3393.83/3402.68 c #Conflicts: 1037000 | #Constraints: 110677 3393.83/3402.68 c #Conflicts: 1038000 | #Constraints: 111677 3393.83/3402.68 c #Conflicts: 1039000 | #Constraints: 112677 3393.83/3402.68 c #Conflicts: 1040000 | #Constraints: 113677 3393.83/3402.68 c #Conflicts: 1041000 | #Constraints: 114677 3393.83/3402.68 c #Conflicts: 1042000 | #Constraints: 115677 3393.83/3402.68 c #Conflicts: 1043000 | #Constraints: 116677 3393.83/3402.68 c #Conflicts: 1044000 | #Constraints: 117677 3393.83/3402.68 c #Conflicts: 1045000 | #Constraints: 118677 3393.83/3402.68 c #Conflicts: 1046000 | #Constraints: 119677 3393.83/3402.68 c #Conflicts: 1047000 | #Constraints: 120677 3393.83/3402.68 c #Conflicts: 1048000 | #Constraints: 121677 3393.83/3402.68 c #Conflicts: 1049000 | #Constraints: 122677 3393.83/3402.68 c #Conflicts: 1050000 | #Constraints: 123677 3393.83/3402.68 c #Conflicts: 1051000 | #Constraints: 124677 3393.83/3402.68 c #Conflicts: 1052000 | #Constraints: 125677 3393.83/3402.68 c #Conflicts: 1053000 | #Constraints: 126677 3393.83/3402.68 c #Conflicts: 1054000 | #Constraints: 127677 3393.83/3402.68 c #Conflicts: 1055000 | #Constraints: 128677 3393.83/3402.68 c #Conflicts: 1056000 | #Constraints: 129677 3393.83/3402.68 c #Conflicts: 1057000 | #Constraints: 130677 3393.83/3402.68 c #Conflicts: 1058000 | #Constraints: 131677 3393.83/3402.68 c #Conflicts: 1059000 | #Constraints: 132677 3393.83/3402.68 c #Conflicts: 1060000 | #Constraints: 133677 3393.83/3402.68 c #Conflicts: 1061000 | #Constraints: 134677 3393.83/3402.68 c #Conflicts: 1062000 | #Constraints: 135677 3393.83/3402.68 c #Conflicts: 1063000 | #Constraints: 136677 3393.83/3402.68 c #Conflicts: 1064000 | #Constraints: 137677 3393.83/3402.68 c #Conflicts: 1065000 | #Constraints: 138677 3393.83/3402.68 c #Conflicts: 1066000 | #Constraints: 139677 3393.83/3402.68 c #Conflicts: 1067000 | #Constraints: 140677 3393.83/3402.68 c #Conflicts: 1068000 | #Constraints: 141677 3393.83/3402.68 c #Conflicts: 1069000 | #Constraints: 142677 3393.83/3402.68 c #Conflicts: 1070000 | #Constraints: 143677 3393.83/3402.68 c #Conflicts: 1071000 | #Constraints: 144677 3393.83/3402.68 c #Conflicts: 1072000 | #Constraints: 145677 3393.83/3402.68 c #Conflicts: 1073000 | #Constraints: 146677 3393.83/3402.68 c #Conflicts: 1074000 | #Constraints: 147677 3393.83/3402.68 c bounds 304 >= 219 @ 3355.02 3393.83/3402.68 c #Conflicts: 1075000 | #Constraints: 148704 3393.83/3402.68 c #Conflicts: 1076000 | #Constraints: 149704 3393.83/3402.68 c #Conflicts: 1077000 | #Constraints: 150704 3393.83/3402.68 c #Conflicts: 1078000 | #Constraints: 151704 3393.83/3402.68 c #Conflicts: 1079000 | #Constraints: 152704 3393.83/3402.68 c #Conflicts: 1080000 | #Constraints: 153704 3393.83/3402.68 c #Conflicts: 1081000 | #Constraints: 154704 3393.83/3402.68 c #Conflicts: 1082000 | #Constraints: 155704 3393.83/3402.68 c INPROCESSING 3393.83/3402.68 c GARBAGE COLLECT 3393.83/3402.68 c rational objective 219
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60712 MiB free)
memory of node 1: 64510 MiB (62159 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455317-1721462002/watcher-4455317-1721462002 -o /tmp/evaluation-result-4455317-1721462002/solver-4455317-1721462002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068409 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455317-1721462002.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1070435, runsolver pid=1070432
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.15 4.10 4.04 5/256 1070436
/proc/meminfo: memFree=125814664/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=39072 memory=10756 CPUtime=0.09 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 1051 0 0 0 7 2 0 0 20 0 1 0 198367650 40009728 2689 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 9768 2689 1297 922 0 1720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 10756 KiB
[startup+0.204498 s]*
/proc/loadavg: 4.14 4.10 4.04 5/256 1070436
/proc/meminfo: memFree=125783360/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=69268 memory=42852 CPUtime=0.2 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 12528 0 0 0 15 5 0 0 20 0 1 0 198367650 70930432 10713 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 17317 10713 1632 922 0 9269 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69268 KiB
Current children cumulated memory: 42852 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.14 4.10 4.04 5/256 1070436
/proc/meminfo: memFree=125783220/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=69268 memory=42852 CPUtime=0.3 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 12533 0 0 0 25 5 0 0 20 0 1 0 198367650 70930432 10713 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 17317 10713 1632 922 0 9269 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69268 KiB
Current children cumulated memory: 42852 KiB
[startup+0.700185 s]
/proc/loadavg: 4.14 4.10 4.04 5/256 1070436
/proc/meminfo: memFree=125783080/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=69268 memory=42852 CPUtime=0.69 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 12533 0 0 0 64 5 0 0 20 0 1 0 198367650 70930432 10713 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 17317 10713 1632 922 0 9269 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69268 KiB
Current children cumulated memory: 42852 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.10 4.04 5/256 1070436
/proc/meminfo: memFree=125765944/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=69268 memory=42852 CPUtime=1.48 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 12533 0 0 0 143 5 0 0 20 0 1 0 198367650 70930432 10713 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 17317 10713 1632 922 0 9269 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69268 KiB
Current children cumulated memory: 42852 KiB
[startup+3.10539 s]
/proc/loadavg: 4.14 4.10 4.04 5/256 1070482
/proc/meminfo: memFree=126365032/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=73964 memory=46204 CPUtime=3.09 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 14143 0 0 0 301 8 0 0 20 0 1 0 198367650 75739136 11551 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 18491 11551 1806 922 0 10443 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73964 KiB
Current children cumulated memory: 46204 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.10 4.04 5/256 1070482
/proc/meminfo: memFree=126221028/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=73964 memory=46204 CPUtime=6.28 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 14146 0 0 0 618 10 0 0 20 0 1 0 198367650 75739136 11551 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 18491 11551 1806 922 0 10443 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 73964 KiB
Current children cumulated memory: 46204 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.03 5/256 1070484
/proc/meminfo: memFree=125686328/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=78208 memory=50048 CPUtime=12.66 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 15123 0 0 0 1250 16 0 0 20 0 1 0 198367650 80084992 12512 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 19552 12512 1854 922 0 11504 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 50048 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.03 5/256 1070485
/proc/meminfo: memFree=125552000/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=86832 memory=56440 CPUtime=25.43 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 17757 0 0 0 2512 31 0 0 20 0 1 0 198367650 88915968 14110 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 21708 14110 1854 922 0 13660 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 86832 KiB
Current children cumulated memory: 56440 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.04 5/256 1070491
/proc/meminfo: memFree=124930196/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=100020 memory=65580 CPUtime=50.97 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 19569 0 0 0 5050 47 0 0 20 0 1 0 198367650 102420480 16395 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 25005 16395 1854 922 0 16957 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 100020 KiB
Current children cumulated memory: 65580 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/256 1070499
/proc/meminfo: memFree=124229520/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=126628 memory=84848 CPUtime=102.03 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 22343 0 0 0 10101 102 0 0 20 0 1 0 198367650 129667072 21212 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 31657 21212 1854 922 0 23609 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 126628 KiB
Current children cumulated memory: 84848 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/257 1070895
/proc/meminfo: memFree=124006580/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=129120 memory=86136 CPUtime=161.89 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 22659 0 0 0 16060 129 0 0 20 0 1 0 198367650 132218880 21534 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 32280 21534 1854 922 0 24232 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 129120 KiB
Current children cumulated memory: 86136 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.12 4.05 5/257 1070905
/proc/meminfo: memFree=123039144/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=129120 memory=86136 CPUtime=221.72 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 22663 0 0 0 22022 150 0 0 20 0 1 0 198367650 132218880 21534 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 32280 21534 1854 922 0 24232 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 129120 KiB
Current children cumulated memory: 86136 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/259 1071086
/proc/meminfo: memFree=122556496/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=155160 memory=110872 CPUtime=281.58 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 25373 0 0 0 27959 199 0 0 20 0 1 0 198367650 158883840 27718 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 38790 27718 1854 922 0 30742 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 155160 KiB
Current children cumulated memory: 110872 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/259 1071096
/proc/meminfo: memFree=122199756/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=155160 memory=111380 CPUtime=341.42 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 25461 0 0 0 33918 224 0 0 20 0 1 0 198367650 158883840 27845 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 38790 27845 1854 922 0 30742 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 155160 KiB
Current children cumulated memory: 111380 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/260 1071109
/proc/meminfo: memFree=121739784/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=190532 memory=134512 CPUtime=401.27 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 27192 0 0 0 39845 282 0 0 20 0 1 0 198367650 195104768 33628 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 47633 33628 1854 922 0 39585 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 190532 KiB
Current children cumulated memory: 134512 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.07 5/259 1071131
/proc/meminfo: memFree=121496356/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=192232 memory=150432 CPUtime=461.12 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 27597 0 0 0 45787 325 0 0 20 0 1 0 198367650 196845568 37608 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 48058 37608 1854 922 0 40010 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 1072222
/proc/meminfo: memFree=114355652/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=556992 memory=433304 CPUtime=3094.28 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 53462 0 0 0 307691 1737 0 0 20 0 1 0 198367650 570359808 108326 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 139248 108326 1998 922 0 131200 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 556992 KiB
Current children cumulated memory: 433304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 1072232
/proc/meminfo: memFree=114315264/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=556992 memory=433304 CPUtime=3154.13 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 53586 0 0 0 313654 1759 0 0 20 0 1 0 198367650 570359808 108326 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 139248 108326 1998 922 0 131200 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 556992 KiB
Current children cumulated memory: 433304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 1072242
/proc/meminfo: memFree=114252112/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=556992 memory=433304 CPUtime=3213.97 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 53708 0 0 0 319615 1782 0 0 20 0 1 0 198367650 570359808 108326 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 139248 108326 1998 922 0 131200 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 556992 KiB
Current children cumulated memory: 433304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1072253
/proc/meminfo: memFree=114210388/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=556992 memory=433304 CPUtime=3273.82 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 53834 0 0 0 325576 1806 0 0 20 0 1 0 198367650 570359808 108326 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 139248 108326 1998 922 0 131200 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 556992 KiB
Current children cumulated memory: 433304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1072263
/proc/meminfo: memFree=114087280/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=556992 memory=433304 CPUtime=3333.67 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 53955 0 0 0 331546 1821 0 0 20 0 1 0 198367650 570359808 108326 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 139248 108326 1998 922 0 131200 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 556992 KiB
Current children cumulated memory: 433304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 1072278
/proc/meminfo: memFree=113891372/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=560196 memory=436360 CPUtime=3393.53 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 54892 0 0 0 337476 1877 0 0 20 0 1 0 198367650 573640704 109090 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 140049 109090 1998 922 0 132001 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 560196 KiB
Current children cumulated memory: 436360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1072291
/proc/meminfo: memFree=113271220/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3453.38 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56168 0 0 0 343425 1913 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1072301
/proc/meminfo: memFree=112679220/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3513.22 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56248 0 0 0 349389 1933 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1072312
/proc/meminfo: memFree=112041560/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3573.06 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56375 0 0 0 355351 1955 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1072377
/proc/meminfo: memFree=118575264/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3600.09 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56440 0 0 0 358045 1964 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 1070435 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.44 s, system=19.6585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1072377
/proc/meminfo: memFree=118575264/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3600.3 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56440 0 0 0 358065 1965 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1072409
/proc/meminfo: memFree=118453476/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3601.09 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56440 0 0 0 358144 1965 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3601.09 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
[startup+3611.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072410
/proc/meminfo: memFree=118358704/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3601.89 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56440 0 0 0 358224 1965 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
[startup+3611.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072410
/proc/meminfo: memFree=118358704/131524600 swapFree=131071996/131071996
[pid=1070435] ppid=1070432 vsize=567512 memory=443176 CPUtime=3602.09 cores=5,7
/proc/1070435/stat : 1070435 (roundingsat) R 1070432 1070435 1068396 0 -1 4194304 56440 0 0 0 358244 1965 0 0 20 0 1 0 198367650 581132288 110794 134679101440 4194304 7968373 140725424564464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22794240 140725424571324 140725424571488 140725424571488 140725424578505 0
/proc/1070435/statm: 141878 110794 1998 922 0 133830 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 567512 KiB
Current children cumulated memory: 443176 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.4
CPU time (s): 3602.1
CPU user time (s): 3582.44
CPU system time (s): 19.6585
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 567512
Max. memory (cumulated for all children) (KiB): 443176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.44
system time used= 19.6585
maximum resident set size= 443176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56440
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= 39
involuntary context switches= 3441
# summary of solver processes directly reported to runsolver:
# pid: 1070435
# total CPU time (s): 3602.1
# total CPU user time (s): 3582.44
# total CPU system time (s): 19.6585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97592 second user time and 16.5746 second system time
The end
Begin job on nodeC029 at 2024-07-20 09:53:35 IDJOB=4455317 IDBENCH=155380 IDSOLVER=3084 FILE ID=nodeC029/4455317-1721462002 RUNJOBID= nodeC029-1721458405-1068409 SLURM_JOB_ID= 7545702 Free space on /tmp= 890036 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.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-4455317-1721462002/watcher-4455317-1721462002 -o /tmp/evaluation-result-4455317-1721462002/solver-4455317-1721462002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068409 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455317-1721462002.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60 RANDOM SEED=144768463 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.049 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.611 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.130 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.216 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.039 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.494 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.222 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.611 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125821076 kB MemAvailable: 128687204 kB Buffers: 550488 kB Cached: 3130140 kB SwapCached: 0 kB Active: 1079648 kB Inactive: 3937064 kB Active(anon): 1440 kB Inactive(anon): 1380228 kB Active(file): 1078208 kB Inactive(file): 2556836 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 30888 kB Writeback: 0 kB AnonPages: 1334320 kB Mapped: 116604 kB Shmem: 45912 kB KReclaimable: 141460 kB Slab: 260328 kB SReclaimable: 141460 kB SUnreclaim: 118868 kB KernelStack: 4192 kB PageTables: 11980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1782960 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72288 kB HardwareCorrupted: 0 kB AnonHugePages: 962560 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: 281300 kB DirectMap2M: 36192256 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890040 MiB End job on nodeC029 at 2024-07-20 10:53:47