| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 2312 | 3600.04 | 3609.81 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-50.lin.opb |
| MD5SUM | 11852bf7a05815ba1c78428ce5d4534c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2312 |
| Best CPU time to get the best result obtained on this benchmark | 2994.21 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3825 |
| Total number of constraints | 7400 |
| Number of constraints which are clauses | 3675 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3675 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3675 |
| Biggest coefficient in the objective function | 49 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 62475 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 49 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 62475 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 3825 #constraints 7450 0.00/0.03 c bounds 62476 >= 0 @ 0.01707 0.00/0.03 c rational objective 0 10.47/10.50 c bounds 20825 >= 0 @ 0.05843 10.47/10.50 c bounds 18424 >= 0 @ 0.058706 10.47/10.50 c bounds 17473 >= 0 @ 0.061831 10.47/10.50 c bounds 16395 >= 0 @ 0.06309 10.47/10.50 c bounds 15273 >= 0 @ 0.063771 10.47/10.50 c bounds 14286 >= 0 @ 0.066796 10.47/10.50 c bounds 13471 >= 0 @ 0.070782 10.47/10.50 c bounds 13344 >= 0 @ 0.072057 10.47/10.50 c bounds 12607 >= 0 @ 0.075274 10.47/10.50 c bounds 11601 >= 0 @ 0.075641 10.47/10.50 c bounds 10800 >= 0 @ 0.079321 10.47/10.50 c bounds 10447 >= 0 @ 0.08271 10.47/10.50 c bounds 9907 >= 0 @ 0.085972 10.47/10.50 c bounds 9587 >= 0 @ 0.089437 10.47/10.50 c bounds 9046 >= 0 @ 0.092758 10.47/10.50 c bounds 8452 >= 0 @ 0.094452 10.47/10.50 c bounds 8176 >= 0 @ 0.099941 10.47/10.50 c bounds 8119 >= 0 @ 0.102207 10.47/10.50 c bounds 7654 >= 0 @ 0.110054 10.47/10.50 c bounds 7067 >= 0 @ 0.11054 10.47/10.50 c bounds 7001 >= 0 @ 0.116895 10.47/10.50 c bounds 6969 >= 0 @ 0.11961 10.47/10.50 c bounds 6939 >= 0 @ 0.12119 10.47/10.50 c bounds 6911 >= 0 @ 0.123327 10.47/10.50 c bounds 6885 >= 0 @ 0.125794 10.47/10.50 c bounds 6861 >= 0 @ 0.128943 10.47/10.50 c bounds 6839 >= 0 @ 0.130442 10.47/10.50 c bounds 6819 >= 0 @ 0.133498 10.47/10.50 c bounds 6702 >= 0 @ 0.148511 10.47/10.50 c bounds 6225 >= 0 @ 0.152519 10.47/10.50 c bounds 6014 >= 0 @ 0.155589 10.47/10.50 c bounds 5990 >= 0 @ 0.156248 10.47/10.50 c bounds 5585 >= 0 @ 0.163181 10.47/10.50 c bounds 5510 >= 0 @ 0.199753 10.47/10.50 c bounds 5178 >= 0 @ 0.2028 10.47/10.50 c bounds 4787 >= 0 @ 0.2038 10.47/10.50 c bounds 4633 >= 0 @ 0.207286 10.47/10.50 c bounds 4299 >= 0 @ 0.209278 10.47/10.50 c bounds 3996 >= 0 @ 0.21042 10.47/10.50 c bounds 3795 >= 0 @ 0.216767 10.47/10.50 c bounds 3549 >= 0 @ 0.217834 10.47/10.50 c bounds 3333 >= 0 @ 0.218914 10.47/10.50 c bounds 3249 >= 0 @ 0.237912 10.47/10.50 c bounds 3085 >= 0 @ 0.238348 10.47/10.50 c bounds 2950 >= 0 @ 0.239709 10.47/10.50 c bounds 2844 >= 0 @ 0.240321 10.47/10.50 c bounds 2767 >= 0 @ 0.241821 10.47/10.50 c bounds 2719 >= 0 @ 0.243453 10.47/10.50 c bounds 2703 >= 0 @ 0.57965 10.47/10.50 c bounds 2660 >= 0 @ 1.09718 10.47/10.50 c bounds 2646 >= 0 @ 1.11595 10.47/10.50 c bounds 2584 >= 0 @ 1.11919 10.47/10.50 c bounds 2519 >= 0 @ 1.28649 10.47/10.50 c bounds 2513 >= 0 @ 1.28874 10.47/10.50 c bounds 2387 >= 0 @ 1.28988 10.47/10.50 c bounds 2312 >= 0 @ 1.29211 10.47/10.50 c bounds 2312 >= 16 @ 1.29385 10.47/10.50 c bounds 2312 >= 32 @ 1.29657 10.47/10.50 c bounds 2312 >= 48 @ 1.55515 10.47/10.50 c #Conflicts: 1000 | #Constraints: 8521 10.47/10.50 c #Conflicts: 2000 | #Constraints: 9533 10.47/10.50 c INPROCESSING 10.47/10.50 c GARBAGE COLLECT 10.47/10.50 c bounds 2312 >= 64 @ 3.60916 10.47/10.50 c #Conflicts: 3000 | #Constraints: 9485 10.47/10.50 c bounds 2312 >= 80 @ 5.09744 10.47/10.50 c #Conflicts: 4000 | #Constraints: 10502 10.47/10.50 c INPROCESSING 10.47/10.50 c GARBAGE COLLECT 10.47/10.50 c #Conflicts: 5000 | #Constraints: 9901 10.47/10.50 c #Conflicts: 6000 | #Constraints: 10910 10.47/10.50 c INPROCESSING 10.47/10.50 c GARBAGE COLLECT 10.47/10.50 c rational objective 80 15.06/15.15 c #Conflicts: 7000 | #Constraints: 9916 15.06/15.15 c #Conflicts: 8000 | #Constraints: 10916 15.06/15.15 c #Conflicts: 9000 | #Constraints: 11916 15.06/15.15 c INPROCESSING 15.06/15.15 c GARBAGE COLLECT 15.06/15.15 c rational objective 80 19.85/19.97 c #Conflicts: 10000 | #Constraints: 10649 19.85/19.97 c #Conflicts: 11000 | #Constraints: 11656 19.85/19.97 c #Conflicts: 12000 | #Constraints: 12664 19.85/19.97 c INPROCESSING 19.85/19.97 c GARBAGE COLLECT 19.85/19.97 c rational objective 80 25.34/25.48 c #Conflicts: 13000 | #Constraints: 11096 25.34/25.48 c #Conflicts: 14000 | #Constraints: 12101 25.34/25.48 c #Conflicts: 15000 | #Constraints: 13107 25.34/25.48 c INPROCESSING 25.34/25.48 c GARBAGE COLLECT 25.34/25.48 c rational objective 80 32.11/32.26 c #Conflicts: 16000 | #Constraints: 11308 32.11/32.26 c bounds 2312 >= 96 @ 27.903 32.11/32.26 c #Conflicts: 17000 | #Constraints: 12325 32.11/32.26 c #Conflicts: 18000 | #Constraints: 13326 32.11/32.26 c INPROCESSING 32.11/32.26 c GARBAGE COLLECT 32.11/32.26 c rational objective 96 38.90/39.06 c #Conflicts: 19000 | #Constraints: 11335 38.90/39.06 c #Conflicts: 20000 | #Constraints: 12335 38.90/39.06 c #Conflicts: 21000 | #Constraints: 13335 38.90/39.06 c INPROCESSING 38.90/39.06 c GARBAGE COLLECT 38.90/39.06 c rational objective 96 64.74/64.98 c #Conflicts: 22000 | #Constraints: 11380 64.74/64.98 c #Conflicts: 23000 | #Constraints: 12389 64.74/64.98 c #Conflicts: 24000 | #Constraints: 13398 64.74/64.98 c #Conflicts: 25000 | #Constraints: 14406 64.74/64.98 c #Conflicts: 26000 | #Constraints: 15414 64.74/64.98 c #Conflicts: 27000 | #Constraints: 16425 64.74/64.98 c #Conflicts: 28000 | #Constraints: 17437 64.74/64.98 c #Conflicts: 29000 | #Constraints: 18443 64.74/64.98 c #Conflicts: 30000 | #Constraints: 19450 64.74/64.98 c #Conflicts: 31000 | #Constraints: 20458 64.74/64.98 c #Conflicts: 32000 | #Constraints: 21464 64.74/64.98 c #Conflicts: 33000 | #Constraints: 22468 64.74/64.98 c INPROCESSING 64.74/64.98 c GARBAGE COLLECT 64.74/64.98 c rational objective 96 88.47/88.72 c #Conflicts: 34000 | #Constraints: 15852 88.47/88.72 c #Conflicts: 35000 | #Constraints: 16853 88.47/88.72 c #Conflicts: 36000 | #Constraints: 17853 88.47/88.72 c bounds 2312 >= 112 @ 78.6162 88.47/88.72 c #Conflicts: 37000 | #Constraints: 18871 88.47/88.72 c #Conflicts: 38000 | #Constraints: 19871 88.47/88.72 c INPROCESSING 88.47/88.72 c GARBAGE COLLECT 88.47/88.72 c rational objective 112 100.94/101.21 c #Conflicts: 39000 | #Constraints: 14757 100.94/101.21 c #Conflicts: 40000 | #Constraints: 15764 100.94/101.21 c #Conflicts: 41000 | #Constraints: 16771 100.94/101.21 c #Conflicts: 42000 | #Constraints: 17780 100.94/101.21 c INPROCESSING 100.94/101.21 c GARBAGE COLLECT 100.94/101.21 c rational objective 112 157.40/157.82 c #Conflicts: 43000 | #Constraints: 13228 157.40/157.82 c #Conflicts: 44000 | #Constraints: 14228 157.40/157.82 c #Conflicts: 45000 | #Constraints: 15229 157.40/157.82 c #Conflicts: 46000 | #Constraints: 16229 157.40/157.82 c #Conflicts: 47000 | #Constraints: 17229 157.40/157.82 c #Conflicts: 48000 | #Constraints: 18230 157.40/157.82 c #Conflicts: 49000 | #Constraints: 19230 157.40/157.82 c #Conflicts: 50000 | #Constraints: 20230 157.40/157.82 c bounds 2312 >= 128 @ 124.706 157.40/157.82 c #Conflicts: 51000 | #Constraints: 21248 157.40/157.82 c #Conflicts: 52000 | #Constraints: 22250 157.40/157.82 c #Conflicts: 53000 | #Constraints: 23256 157.40/157.82 c #Conflicts: 54000 | #Constraints: 24261 157.40/157.82 c #Conflicts: 55000 | #Constraints: 25266 157.40/157.82 c #Conflicts: 56000 | #Constraints: 26275 157.40/157.82 c #Conflicts: 57000 | #Constraints: 27280 157.40/157.82 c #Conflicts: 58000 | #Constraints: 28286 157.40/157.82 c INPROCESSING 157.40/157.82 c GARBAGE COLLECT 157.40/157.82 c rational objective 128 182.04/182.54 c #Conflicts: 59000 | #Constraints: 18537 182.04/182.54 c #Conflicts: 60000 | #Constraints: 19537 182.04/182.54 c #Conflicts: 61000 | #Constraints: 20537 182.04/182.54 c #Conflicts: 62000 | #Constraints: 21538 182.04/182.54 c #Conflicts: 63000 | #Constraints: 22538 182.04/182.54 c #Conflicts: 64000 | #Constraints: 23538 182.04/182.54 c #Conflicts: 65000 | #Constraints: 24538 182.04/182.54 c INPROCESSING 182.04/182.54 c GARBAGE COLLECT 182.04/182.54 c rational objective 128 260.35/261.07 c #Conflicts: 66000 | #Constraints: 18260 260.35/261.07 c #Conflicts: 67000 | #Constraints: 19268 260.35/261.07 c #Conflicts: 68000 | #Constraints: 20276 260.35/261.07 c #Conflicts: 69000 | #Constraints: 21284 260.35/261.07 c #Conflicts: 70000 | #Constraints: 22293 260.35/261.07 c #Conflicts: 71000 | #Constraints: 23302 260.35/261.07 c #Conflicts: 72000 | #Constraints: 24310 260.35/261.07 c #Conflicts: 73000 | #Constraints: 25317 260.35/261.07 c #Conflicts: 74000 | #Constraints: 26324 260.35/261.07 c #Conflicts: 75000 | #Constraints: 27331 260.35/261.07 c #Conflicts: 76000 | #Constraints: 28338 260.35/261.07 c #Conflicts: 77000 | #Constraints: 29347 260.35/261.07 c #Conflicts: 78000 | #Constraints: 30352 260.35/261.07 c #Conflicts: 79000 | #Constraints: 31361 260.35/261.07 c #Conflicts: 80000 | #Constraints: 32368 260.35/261.07 c #Conflicts: 81000 | #Constraints: 33374 260.35/261.07 c #Conflicts: 82000 | #Constraints: 34382 260.35/261.07 c #Conflicts: 83000 | #Constraints: 35388 260.35/261.07 c #Conflicts: 84000 | #Constraints: 36394 260.35/261.07 c INPROCESSING 260.35/261.07 c GARBAGE COLLECT 260.35/261.07 c rational objective 128 326.28/327.18 c #Conflicts: 85000 | #Constraints: 22984 326.28/327.18 c #Conflicts: 86000 | #Constraints: 23984 326.28/327.18 c #Conflicts: 87000 | #Constraints: 24984 326.28/327.18 c #Conflicts: 88000 | #Constraints: 25984 326.28/327.18 c #Conflicts: 89000 | #Constraints: 26984 326.28/327.18 c #Conflicts: 90000 | #Constraints: 27985 326.28/327.18 c #Conflicts: 91000 | #Constraints: 28985 326.28/327.18 c INPROCESSING 326.28/327.18 c GARBAGE COLLECT 326.28/327.18 c rational objective 128 414.93/416.09 c #Conflicts: 92000 | #Constraints: 19612 414.93/416.09 c #Conflicts: 93000 | #Constraints: 20615 414.93/416.09 c #Conflicts: 94000 | #Constraints: 21619 414.93/416.09 c #Conflicts: 95000 | #Constraints: 22623 414.93/416.09 c #Conflicts: 96000 | #Constraints: 23628 414.93/416.09 c #Conflicts: 97000 | #Constraints: 24632 414.93/416.09 c #Conflicts: 98000 | #Constraints: 25635 414.93/416.09 c #Conflicts: 99000 | #Constraints: 26636 414.93/416.09 c #Conflicts: 100000 | #Constraints: 27644 414.93/416.09 c #Conflicts: 101000 | #Constraints: 28650 414.93/416.09 c #Conflicts: 102000 | #Constraints: 29653 414.93/416.09 c #Conflicts: 103000 | #Constraints: 30659 414.93/416.09 c #Conflicts: 104000 | #Constraints: 31663 414.93/416.09 c #Conflicts: 105000 | #Constraints: 32671 414.93/416.09 c #Conflicts: 106000 | #Constraints: 33678 414.93/416.09 c #Conflicts: 107000 | #Constraints: 34687 414.93/416.09 c #Conflicts: 108000 | #Constraints: 35695 414.93/416.09 c #Conflicts: 109000 | #Constraints: 36703 414.93/416.09 c #Conflicts: 110000 | #Constraints: 37712 414.93/416.09 c #Conflicts: 111000 | #Constraints: 38720 414.93/416.09 c #Conflicts: 112000 | #Constraints: 39723 414.93/416.09 c #Conflicts: 113000 | #Constraints: 40728 414.93/416.09 c INPROCESSING 414.93/416.09 c GARBAGE COLLECT 414.93/416.09 c rational objective 128 481.05/482.32 c #Conflicts: 114000 | #Constraints: 24864 481.05/482.32 c #Conflicts: 115000 | #Constraints: 25864 481.05/482.32 c #Conflicts: 116000 | #Constraints: 26864 481.05/482.32 c #Conflicts: 117000 | #Constraints: 27865 481.05/482.32 c #Conflicts: 118000 | #Constraints: 28865 481.05/482.32 c #Conflicts: 119000 | #Constraints: 29865 481.05/482.32 c #Conflicts: 120000 | #Constraints: 30865 481.05/482.32 c #Conflicts: 121000 | #Constraints: 31865 481.05/482.32 c bounds 2312 >= 144 @ 469.793 481.05/482.32 c #Conflicts: 122000 | #Constraints: 32886 481.05/482.32 c INPROCESSING 481.05/482.32 c GARBAGE COLLECT 481.05/482.32 c rational objective 144 581.10/582.63 c #Conflicts: 123000 | #Constraints: 21534 581.10/582.63 c #Conflicts: 124000 | #Constraints: 22534 581.10/582.63 c #Conflicts: 125000 | #Constraints: 23534 581.10/582.63 c #Conflicts: 126000 | #Constraints: 24534 581.10/582.63 c #Conflicts: 127000 | #Constraints: 25534 581.10/582.63 c #Conflicts: 128000 | #Constraints: 26534 581.10/582.63 c #Conflicts: 129000 | #Constraints: 27535 581.10/582.63 c #Conflicts: 130000 | #Constraints: 28535 581.10/582.63 c #Conflicts: 131000 | #Constraints: 29537 581.10/582.63 c #Conflicts: 132000 | #Constraints: 30537 581.10/582.63 c #Conflicts: 133000 | #Constraints: 31537 581.10/582.63 c #Conflicts: 134000 | #Constraints: 32537 581.10/582.63 c #Conflicts: 135000 | #Constraints: 33538 581.10/582.63 c #Conflicts: 136000 | #Constraints: 34538 581.10/582.63 c #Conflicts: 137000 | #Constraints: 35538 581.10/582.63 c #Conflicts: 138000 | #Constraints: 36538 581.10/582.63 c #Conflicts: 139000 | #Constraints: 37538 581.10/582.63 WSVECS04 Frhs2[2]: 6 -42.0001 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[6]: 6 0 66.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[13]: 6 0 64 shouldn't be 581.10/582.63 WSVECS04 Frhs2[15]: 6 0 64.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[20]: 6 -48 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[28]: 6 0 12.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[30]: 6 0 12 shouldn't be 581.10/582.63 WSVECS04 Frhs2[33]: 6 0 38 shouldn't be 581.10/582.63 WSVECS04 Frhs2[35]: 6 -40 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[47]: 6 0 17 shouldn't be 581.10/582.63 WSVECS04 Frhs2[66]: 6 -11.0001 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[71]: 6 0 181 shouldn't be 581.10/582.63 WSVECS04 Frhs2[82]: 6 0 21.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[83]: 6 0 19.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[86]: 6 0 102 shouldn't be 581.10/582.63 WSVECS04 Frhs2[92]: 6 0 39.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[94]: 6 0 16.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[98]: 6 0 72.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[101]: 6 0 11.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[104]: 6 0 92 shouldn't be 581.10/582.63 WSVECS04 Frhs2[119]: 6 0 4.00003 shouldn't be 581.10/582.63 WSVECS04 Frhs2[128]: 6 0 62.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[140]: 6 0 183 shouldn't be 581.10/582.63 WSVECS04 Frhs2[1160]: 6 -86 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[1287]: 6 -90 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[2496]: 6 -228 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[2581]: 6 -3.00005 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[2827]: 6 -119 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[2977]: 6 -126 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[2979]: 6 -76.0001 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[3084]: 6 0 10.0001 shouldn't be 581.10/582.63 WSVECS04 Frhs2[3524]: 6 -470 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[3561]: 6 -63 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[3598]: 6 -135 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[3637]: 6 -376 0 shouldn't be 581.10/582.63 WSVECS04 Frhs2[3721]: 6 -66 0 shouldn't be 639.63/641.34 c #Conflicts: 140000 | #Constraints: 38539 639.63/641.34 c #Conflicts: 141000 | #Constraints: 39539 639.63/641.34 c #Conflicts: 142000 | #Constraints: 40539 639.63/641.34 c #Conflicts: 143000 | #Constraints: 41539 639.63/641.34 c #Conflicts: 144000 | #Constraints: 42539 639.63/641.34 c bounds 2312 >= 160 @ 617.486 639.63/641.34 c #Conflicts: 145000 | #Constraints: 43569 639.63/641.34 c #Conflicts: 146000 | #Constraints: 44569 639.63/641.34 c #Conflicts: 147000 | #Constraints: 45572 639.63/641.34 c INPROCESSING 639.63/641.34 c GARBAGE COLLECT 639.63/641.34 c rational objective 160 694.17/696.03 c #Conflicts: 148000 | #Constraints: 27302 694.17/696.03 c #Conflicts: 149000 | #Constraints: 28306 694.17/696.03 c #Conflicts: 150000 | #Constraints: 29312 694.17/696.03 c #Conflicts: 151000 | #Constraints: 30317 694.17/696.03 c #Conflicts: 152000 | #Constraints: 31322 694.17/696.03 c #Conflicts: 153000 | #Constraints: 32329 694.17/696.03 c #Conflicts: 154000 | #Constraints: 33336 694.17/696.03 c #Conflicts: 155000 | #Constraints: 34344 694.17/696.03 c #Conflicts: 156000 | #Constraints: 35349 694.17/696.03 c #Conflicts: 157000 | #Constraints: 36354 694.17/696.03 c INPROCESSING 694.17/696.03 c GARBAGE COLLECT 694.17/696.03 c rational objective 160 846.43/848.77 c #Conflicts: 158000 | #Constraints: 24857 846.43/848.77 c #Conflicts: 159000 | #Constraints: 25861 846.43/848.77 c #Conflicts: 160000 | #Constraints: 26865 846.43/848.77 c #Conflicts: 161000 | #Constraints: 27869 846.43/848.77 c #Conflicts: 162000 | #Constraints: 28872 846.43/848.77 c #Conflicts: 163000 | #Constraints: 29877 846.43/848.77 c #Conflicts: 164000 | #Constraints: 30882 846.43/848.77 c #Conflicts: 165000 | #Constraints: 31889 846.43/848.77 c #Conflicts: 166000 | #Constraints: 32895 846.43/848.77 c #Conflicts: 167000 | #Constraints: 33900 846.43/848.77 c #Conflicts: 168000 | #Constraints: 34903 846.43/848.77 c #Conflicts: 169000 | #Constraints: 35907 846.43/848.77 c #Conflicts: 170000 | #Constraints: 36913 846.43/848.77 c #Conflicts: 171000 | #Constraints: 37916 846.43/848.77 c #Conflicts: 172000 | #Constraints: 38921 846.43/848.77 c #Conflicts: 173000 | #Constraints: 39929 846.43/848.77 c #Conflicts: 174000 | #Constraints: 40937 846.43/848.77 c #Conflicts: 175000 | #Constraints: 41945 846.43/848.77 c #Conflicts: 176000 | #Constraints: 42948 846.43/848.77 c #Conflicts: 177000 | #Constraints: 43952 846.43/848.77 c #Conflicts: 178000 | #Constraints: 44959 846.43/848.77 c #Conflicts: 179000 | #Constraints: 45962 846.43/848.77 c #Conflicts: 180000 | #Constraints: 46966 846.43/848.77 c #Conflicts: 181000 | #Constraints: 47970 846.43/848.77 c #Conflicts: 182000 | #Constraints: 48976 846.43/848.77 c #Conflicts: 183000 | #Constraints: 49982 846.43/848.77 c #Conflicts: 184000 | #Constraints: 50989 846.43/848.77 c #Conflicts: 185000 | #Constraints: 51996 846.43/848.77 c #Conflicts: 186000 | #Constraints: 53002 846.43/848.77 c INPROCESSING 846.43/848.77 c GARBAGE COLLECT 846.43/848.77 c rational objective 160 938.75/941.37 c #Conflicts: 187000 | #Constraints: 31323 938.75/941.37 c #Conflicts: 188000 | #Constraints: 32323 938.75/941.37 c #Conflicts: 189000 | #Constraints: 33323 938.75/941.37 c #Conflicts: 190000 | #Constraints: 34324 938.75/941.37 c #Conflicts: 191000 | #Constraints: 35324 938.75/941.37 c #Conflicts: 192000 | #Constraints: 36324 938.75/941.37 c #Conflicts: 193000 | #Constraints: 37325 938.75/941.37 c #Conflicts: 194000 | #Constraints: 38327 938.75/941.37 c #Conflicts: 195000 | #Constraints: 39327 938.75/941.37 c #Conflicts: 196000 | #Constraints: 40327 938.75/941.37 c #Conflicts: 197000 | #Constraints: 41327 938.75/941.37 c INPROCESSING 938.75/941.37 c GARBAGE COLLECT 938.75/941.37 c rational objective 160 1136.88/1140.04 c #Conflicts: 198000 | #Constraints: 28182 1136.88/1140.04 c #Conflicts: 199000 | #Constraints: 29182 1136.88/1140.04 c #Conflicts: 200000 | #Constraints: 30182 1136.88/1140.04 c #Conflicts: 201000 | #Constraints: 31182 1136.88/1140.04 c #Conflicts: 202000 | #Constraints: 32182 1136.88/1140.04 c #Conflicts: 203000 | #Constraints: 33182 1136.88/1140.04 c #Conflicts: 204000 | #Constraints: 34184 1136.88/1140.04 c #Conflicts: 205000 | #Constraints: 35184 1136.88/1140.04 c #Conflicts: 206000 | #Constraints: 36184 1136.88/1140.04 c #Conflicts: 207000 | #Constraints: 37184 1136.88/1140.04 c #Conflicts: 208000 | #Constraints: 38185 1136.88/1140.04 c #Conflicts: 209000 | #Constraints: 39186 1136.88/1140.04 c #Conflicts: 210000 | #Constraints: 40187 1136.88/1140.04 c #Conflicts: 211000 | #Constraints: 41188 1136.88/1140.04 c #Conflicts: 212000 | #Constraints: 42188 1136.88/1140.04 c #Conflicts: 213000 | #Constraints: 43188 1136.88/1140.04 c #Conflicts: 214000 | #Constraints: 44188 1136.88/1140.04 c #Conflicts: 215000 | #Constraints: 45189 1136.88/1140.04 c #Conflicts: 216000 | #Constraints: 46190 1136.88/1140.04 c #Conflicts: 217000 | #Constraints: 47190 1136.88/1140.04 c #Conflicts: 218000 | #Constraints: 48190 1136.88/1140.04 c #Conflicts: 219000 | #Constraints: 49190 1136.88/1140.04 c #Conflicts: 220000 | #Constraints: 50192 1136.88/1140.04 c #Conflicts: 221000 | #Constraints: 51194 1136.88/1140.04 c #Conflicts: 222000 | #Constraints: 52194 1136.88/1140.04 c bounds 2312 >= 176 @ 1092.41 1136.88/1140.04 c #Conflicts: 223000 | #Constraints: 53221 1136.88/1140.04 c #Conflicts: 224000 | #Constraints: 54221 1136.88/1140.04 c #Conflicts: 225000 | #Constraints: 55222 1136.88/1140.04 c #Conflicts: 226000 | #Constraints: 56231 1136.88/1140.04 c #Conflicts: 227000 | #Constraints: 57237 1136.88/1140.04 c #Conflicts: 228000 | #Constraints: 58243 1136.88/1140.04 c INPROCESSING 1136.88/1140.04 c GARBAGE COLLECT 1136.88/1140.04 c rational objective 176 1217.14/1220.52 c #Conflicts: 229000 | #Constraints: 33564 1217.14/1220.52 c #Conflicts: 230000 | #Constraints: 34573 1217.14/1220.52 c #Conflicts: 231000 | #Constraints: 35577 1217.14/1220.52 c #Conflicts: 232000 | #Constraints: 36581 1217.14/1220.52 c #Conflicts: 233000 | #Constraints: 37589 1217.14/1220.52 c #Conflicts: 234000 | #Constraints: 38591 1217.14/1220.52 c #Conflicts: 235000 | #Constraints: 39595 1217.14/1220.52 c #Conflicts: 236000 | #Constraints: 40599 1217.14/1220.52 c #Conflicts: 237000 | #Constraints: 41605 1217.14/1220.52 c #Conflicts: 238000 | #Constraints: 42612 1217.14/1220.52 c #Conflicts: 239000 | #Constraints: 43620 1217.14/1220.52 c #Conflicts: 240000 | #Constraints: 44624 1217.14/1220.52 c #Conflicts: 241000 | #Constraints: 45628 1217.14/1220.52 c INPROCESSING 1217.14/1220.52 c GARBAGE COLLECT 1217.14/1220.52 c rational objective 176 1468.41/1472.59 c #Conflicts: 242000 | #Constraints: 31201 1468.41/1472.59 c #Conflicts: 243000 | #Constraints: 32206 1468.41/1472.59 c #Conflicts: 244000 | #Constraints: 33212 1468.41/1472.59 c #Conflicts: 245000 | #Constraints: 34217 1468.41/1472.59 c #Conflicts: 246000 | #Constraints: 35224 1468.41/1472.59 c #Conflicts: 247000 | #Constraints: 36231 1468.41/1472.59 c #Conflicts: 248000 | #Constraints: 37237 1468.41/1472.59 c #Conflicts: 249000 | #Constraints: 38244 1468.41/1472.59 c #Conflicts: 250000 | #Constraints: 39250 1468.41/1472.59 c #Conflicts: 251000 | #Constraints: 40254 1468.41/1472.59 c #Conflicts: 252000 | #Constraints: 41259 1468.41/1472.59 c #Conflicts: 253000 | #Constraints: 42265 1468.41/1472.59 c #Conflicts: 254000 | #Constraints: 43270 1468.41/1472.59 c #Conflicts: 255000 | #Constraints: 44275 1468.41/1472.59 c #Conflicts: 256000 | #Constraints: 45280 1468.41/1472.59 c #Conflicts: 257000 | #Constraints: 46285 1468.41/1472.59 c #Conflicts: 258000 | #Constraints: 47293 1468.41/1472.59 c #Conflicts: 259000 | #Constraints: 48299 1468.41/1472.59 c #Conflicts: 260000 | #Constraints: 49304 1468.41/1472.59 c #Conflicts: 261000 | #Constraints: 50308 1468.41/1472.59 c #Conflicts: 262000 | #Constraints: 51313 1468.41/1472.59 c #Conflicts: 263000 | #Constraints: 52317 1468.41/1472.59 c #Conflicts: 264000 | #Constraints: 53324 1468.41/1472.59 c #Conflicts: 265000 | #Constraints: 54331 1468.41/1472.59 c #Conflicts: 266000 | #Constraints: 55337 1468.41/1472.59 c #Conflicts: 267000 | #Constraints: 56344 1468.41/1472.59 c #Conflicts: 268000 | #Constraints: 57352 1468.41/1472.59 c #Conflicts: 269000 | #Constraints: 58361 1468.41/1472.59 c #Conflicts: 270000 | #Constraints: 59371 1468.41/1472.59 c #Conflicts: 271000 | #Constraints: 60378 1468.41/1472.59 c #Conflicts: 272000 | #Constraints: 61386 1468.41/1472.59 c #Conflicts: 273000 | #Constraints: 62392 1468.41/1472.59 c #Conflicts: 274000 | #Constraints: 63400 1468.41/1472.59 c #Conflicts: 275000 | #Constraints: 64407 1468.41/1472.59 c #Conflicts: 276000 | #Constraints: 65412 1468.41/1472.59 c INPROCESSING 1468.41/1472.59 c GARBAGE COLLECT 1468.41/1472.59 c rational objective 176 1597.42/1601.92 c #Conflicts: 277000 | #Constraints: 37550 1597.42/1601.92 c #Conflicts: 278000 | #Constraints: 38550 1597.42/1601.92 c #Conflicts: 279000 | #Constraints: 39550 1597.42/1601.92 c #Conflicts: 280000 | #Constraints: 40550 1597.42/1601.92 c #Conflicts: 281000 | #Constraints: 41550 1597.42/1601.92 c #Conflicts: 282000 | #Constraints: 42550 1597.42/1601.92 c #Conflicts: 283000 | #Constraints: 43551 1597.42/1601.92 c #Conflicts: 284000 | #Constraints: 44551 1597.42/1601.92 c #Conflicts: 285000 | #Constraints: 45551 1597.42/1601.92 c #Conflicts: 286000 | #Constraints: 46551 1597.42/1601.92 c #Conflicts: 287000 | #Constraints: 47551 1597.42/1601.92 c #Conflicts: 288000 | #Constraints: 48551 1597.42/1601.92 c #Conflicts: 289000 | #Constraints: 49551 1597.42/1601.92 c #Conflicts: 290000 | #Constraints: 50551 1597.42/1601.92 c INPROCESSING 1597.42/1601.92 c GARBAGE COLLECT 1597.42/1601.92 c rational objective 176 1896.13/1901.52 c #Conflicts: 291000 | #Constraints: 33900 1896.13/1901.52 c #Conflicts: 292000 | #Constraints: 34900 1896.13/1901.52 c #Conflicts: 293000 | #Constraints: 35900 1896.13/1901.52 c #Conflicts: 294000 | #Constraints: 36900 1896.13/1901.52 c #Conflicts: 295000 | #Constraints: 37900 1896.13/1901.52 c #Conflicts: 296000 | #Constraints: 38900 1896.13/1901.52 c #Conflicts: 297000 | #Constraints: 39901 1896.13/1901.52 c #Conflicts: 298000 | #Constraints: 40901 1896.13/1901.52 c #Conflicts: 299000 | #Constraints: 41901 1896.13/1901.52 c #Conflicts: 300000 | #Constraints: 42901 1896.13/1901.52 c #Conflicts: 301000 | #Constraints: 43901 1896.13/1901.52 c #Conflicts: 302000 | #Constraints: 44901 1896.13/1901.52 c #Conflicts: 303000 | #Constraints: 45901 1896.13/1901.52 c #Conflicts: 304000 | #Constraints: 46901 1896.13/1901.52 c #Conflicts: 305000 | #Constraints: 47901 1896.13/1901.52 c #Conflicts: 306000 | #Constraints: 48901 1896.13/1901.52 c #Conflicts: 307000 | #Constraints: 49901 1896.13/1901.52 c #Conflicts: 308000 | #Constraints: 50901 1896.13/1901.52 c #Conflicts: 309000 | #Constraints: 51901 1896.13/1901.52 c #Conflicts: 310000 | #Constraints: 52901 1896.13/1901.52 c #Conflicts: 311000 | #Constraints: 53901 1896.13/1901.52 c #Conflicts: 312000 | #Constraints: 54901 1896.13/1901.52 c #Conflicts: 313000 | #Constraints: 55901 1896.13/1901.52 c #Conflicts: 314000 | #Constraints: 56901 1896.13/1901.52 c #Conflicts: 315000 | #Constraints: 57901 1896.13/1901.52 c #Conflicts: 316000 | #Constraints: 58901 1896.13/1901.52 c #Conflicts: 317000 | #Constraints: 59901 1896.13/1901.52 c #Conflicts: 318000 | #Constraints: 60901 1896.13/1901.52 c #Conflicts: 319000 | #Constraints: 61901 1896.13/1901.52 c #Conflicts: 320000 | #Constraints: 62902 1896.13/1901.52 c #Conflicts: 321000 | #Constraints: 63903 1896.13/1901.52 c #Conflicts: 322000 | #Constraints: 64903 1896.13/1901.52 c #Conflicts: 323000 | #Constraints: 65903 1896.13/1901.52 c #Conflicts: 324000 | #Constraints: 66903 1896.13/1901.52 c #Conflicts: 325000 | #Constraints: 67903 1896.13/1901.52 c #Conflicts: 326000 | #Constraints: 68903 1896.13/1901.52 c #Conflicts: 327000 | #Constraints: 69903 1896.13/1901.52 c INPROCESSING 1896.13/1901.52 c GARBAGE COLLECT 1896.13/1901.52 c rational objective 176 2005.32/2011.06 c #Conflicts: 328000 | #Constraints: 39550 2005.32/2011.06 c #Conflicts: 329000 | #Constraints: 40550 2005.32/2011.06 c #Conflicts: 330000 | #Constraints: 41557 2005.32/2011.06 c #Conflicts: 331000 | #Constraints: 42566 2005.32/2011.06 c #Conflicts: 332000 | #Constraints: 43576 2005.32/2011.06 c #Conflicts: 333000 | #Constraints: 44582 2005.32/2011.06 c #Conflicts: 334000 | #Constraints: 45589 2005.32/2011.06 c #Conflicts: 335000 | #Constraints: 46594 2005.32/2011.06 c #Conflicts: 336000 | #Constraints: 47598 2005.32/2011.06 c #Conflicts: 337000 | #Constraints: 48603 2005.32/2011.06 c #Conflicts: 338000 | #Constraints: 49609 2005.32/2011.06 c #Conflicts: 339000 | #Constraints: 50614 2005.32/2011.06 c #Conflicts: 340000 | #Constraints: 51619 2005.32/2011.06 c #Conflicts: 341000 | #Constraints: 52625 2005.32/2011.06 c #Conflicts: 342000 | #Constraints: 53626 2005.32/2011.06 c INPROCESSING 2005.32/2011.06 c GARBAGE COLLECT 2005.32/2011.06 c rational objective 176 2370.23/2377.05 c #Conflicts: 343000 | #Constraints: 35885 2370.23/2377.05 c #Conflicts: 344000 | #Constraints: 36887 2370.23/2377.05 c #Conflicts: 345000 | #Constraints: 37893 2370.23/2377.05 c #Conflicts: 346000 | #Constraints: 38900 2370.23/2377.05 c #Conflicts: 347000 | #Constraints: 39904 2370.23/2377.05 c #Conflicts: 348000 | #Constraints: 40912 2370.23/2377.05 c #Conflicts: 349000 | #Constraints: 41921 2370.23/2377.05 c #Conflicts: 350000 | #Constraints: 42932 2370.23/2377.05 c #Conflicts: 351000 | #Constraints: 43940 2370.23/2377.05 c #Conflicts: 352000 | #Constraints: 44947 2370.23/2377.05 c #Conflicts: 353000 | #Constraints: 45952 2370.23/2377.05 c #Conflicts: 354000 | #Constraints: 46955 2370.23/2377.05 c #Conflicts: 355000 | #Constraints: 47958 2370.23/2377.05 c #Conflicts: 356000 | #Constraints: 48964 2370.23/2377.05 c #Conflicts: 357000 | #Constraints: 49967 2370.23/2377.05 c #Conflicts: 358000 | #Constraints: 50970 2370.23/2377.05 c #Conflicts: 359000 | #Constraints: 51975 2370.23/2377.05 c #Conflicts: 360000 | #Constraints: 52982 2370.23/2377.05 c #Conflicts: 361000 | #Constraints: 53986 2370.23/2377.05 c #Conflicts: 362000 | #Constraints: 54992 2370.23/2377.05 c #Conflicts: 363000 | #Constraints: 55999 2370.23/2377.05 c #Conflicts: 364000 | #Constraints: 57003 2370.23/2377.05 c #Conflicts: 365000 | #Constraints: 58008 2370.23/2377.05 c #Conflicts: 366000 | #Constraints: 59012 2370.23/2377.05 c #Conflicts: 367000 | #Constraints: 60016 2370.23/2377.05 c #Conflicts: 368000 | #Constraints: 61026 2370.23/2377.05 c #Conflicts: 369000 | #Constraints: 62029 2370.23/2377.05 c #Conflicts: 370000 | #Constraints: 63036 2370.23/2377.05 c #Conflicts: 371000 | #Constraints: 64044 2370.23/2377.05 c #Conflicts: 372000 | #Constraints: 65053 2370.23/2377.05 c #Conflicts: 373000 | #Constraints: 66061 2370.23/2377.05 c #Conflicts: 374000 | #Constraints: 67068 2370.23/2377.05 c #Conflicts: 375000 | #Constraints: 68077 2370.23/2377.05 c #Conflicts: 376000 | #Constraints: 69085 2370.23/2377.05 c #Conflicts: 377000 | #Constraints: 70091 2370.23/2377.05 c #Conflicts: 378000 | #Constraints: 71097 2370.23/2377.05 c #Conflicts: 379000 | #Constraints: 72100 2370.23/2377.05 c #Conflicts: 380000 | #Constraints: 73104 2370.23/2377.05 c #Conflicts: 381000 | #Constraints: 74111 2370.23/2377.05 c #Conflicts: 382000 | #Constraints: 75115 2370.23/2377.05 c #Conflicts: 383000 | #Constraints: 76119 2370.23/2377.05 c INPROCESSING 2370.23/2377.05 c GARBAGE COLLECT 2370.23/2377.05 c rational objective 176 2429.27/2436.27 c #Conflicts: 384000 | #Constraints: 42603 2429.27/2436.27 c #Conflicts: 385000 | #Constraints: 43604 2429.27/2436.27 c #Conflicts: 386000 | #Constraints: 44604 2429.27/2436.27 c #Conflicts: 387000 | #Constraints: 45604 2429.27/2436.27 c #Conflicts: 388000 | #Constraints: 46605 2429.27/2436.27 WSVECS04 Frhs2[4]: 6 0 21 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[6]: 6 -55.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[15]: 6 -21 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[21]: 6 -19.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[24]: 6 -31.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[25]: 6 0 50.0001 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[28]: 6 0 11 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[33]: 6 -9.00005 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[34]: 6 0 31.5001 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[40]: 6 0 4.00009 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[46]: 6 0 119 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[65]: 6 -4.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[70]: 6 0 16.0001 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[73]: 6 0 49.0001 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[77]: 6 -57 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[80]: 6 -48.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[95]: 6 -48.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[107]: 6 -47.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[109]: 6 -26.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[113]: 6 0 6.00009 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[115]: 6 -25 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[118]: 6 -48 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[120]: 6 0 7.0001 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[121]: 6 -27.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[124]: 6 -37.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[127]: 6 -27 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[130]: 6 -55.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[133]: 6 -101 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[136]: 6 -63 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[139]: 6 -27 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[252]: 6 -4.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[254]: 6 -6.00004 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[255]: 6 -7.00004 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[257]: 6 -9.00005 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[258]: 6 -10 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[259]: 6 -11.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[260]: 6 -12 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[261]: 6 -13 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[264]: 6 0 13 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[400]: 6 -7.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[402]: 6 -9.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[403]: 6 -10 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[404]: 6 -11 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[541]: 6 -6.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[677]: 6 -3.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[678]: 6 -4.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[681]: 6 -7.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[682]: 6 -8.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[683]: 6 -211 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[684]: 6 -10 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[816]: 6 -6.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[817]: 6 -7.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[819]: 6 -9.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[949]: 6 -6.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[951]: 6 -8.00009 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[1078]: 6 -5.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[1203]: 6 -3.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[1205]: 6 -5.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[1206]: 6 -6.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[1328]: 6 -4.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[1807]: 6 0 60.0001 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2469]: 6 -113 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2470]: 6 -10 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2471]: 6 -11 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2476]: 6 -16 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2551]: 6 -96.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2558]: 6 -9.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2637]: 6 -76.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2643]: 6 -8.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2725]: 6 -7.00004 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2802]: 6 -4.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2804]: 6 -6.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2805]: 6 -7.00003 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[2881]: 6 -6.00002 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[3091]: 6 -98.0001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[3155]: 6 -2.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[3221]: 6 -6.00001 0 shouldn't be 2429.27/2436.27 WSVECS04 Frhs2[3230]: 6 0 7.00006 shouldn't be 2580.97/2588.35 c #Conflicts: 389000 | #Constraints: 47605 2580.97/2588.35 c #Conflicts: 390000 | #Constraints: 48605 2580.97/2588.35 c #Conflicts: 391000 | #Constraints: 49605 2580.97/2588.35 c #Conflicts: 392000 | #Constraints: 50605 2580.97/2588.35 c #Conflicts: 393000 | #Constraints: 51605 2580.97/2588.35 c #Conflicts: 394000 | #Constraints: 52605 2580.97/2588.35 c #Conflicts: 395000 | #Constraints: 53605 2580.97/2588.35 c #Conflicts: 396000 | #Constraints: 54605 2580.97/2588.35 c #Conflicts: 397000 | #Constraints: 55606 2580.97/2588.35 c #Conflicts: 398000 | #Constraints: 56607 2580.97/2588.35 c #Conflicts: 399000 | #Constraints: 57607 2580.97/2588.35 c #Conflicts: 400000 | #Constraints: 58607 2580.97/2588.35 c INPROCESSING 2580.97/2588.35 c GARBAGE COLLECT 2580.97/2588.35 c rational objective 176 2970.30/2978.68 c #Conflicts: 401000 | #Constraints: 37929 2970.30/2978.68 c #Conflicts: 402000 | #Constraints: 38929 2970.30/2978.68 c #Conflicts: 403000 | #Constraints: 39929 2970.30/2978.68 c #Conflicts: 404000 | #Constraints: 40929 2970.30/2978.68 c #Conflicts: 405000 | #Constraints: 41931 2970.30/2978.68 c #Conflicts: 406000 | #Constraints: 42931 2970.30/2978.68 c #Conflicts: 407000 | #Constraints: 43931 2970.30/2978.68 c #Conflicts: 408000 | #Constraints: 44932 2970.30/2978.68 c #Conflicts: 409000 | #Constraints: 45934 2970.30/2978.68 c #Conflicts: 410000 | #Constraints: 46934 2970.30/2978.68 c #Conflicts: 411000 | #Constraints: 47934 2970.30/2978.68 c #Conflicts: 412000 | #Constraints: 48934 2970.30/2978.68 c #Conflicts: 413000 | #Constraints: 49934 2970.30/2978.68 c #Conflicts: 414000 | #Constraints: 50934 2970.30/2978.68 c #Conflicts: 415000 | #Constraints: 51935 2970.30/2978.68 c #Conflicts: 416000 | #Constraints: 52935 2970.30/2978.68 c #Conflicts: 417000 | #Constraints: 53935 2970.30/2978.68 c #Conflicts: 418000 | #Constraints: 54935 2970.30/2978.68 c #Conflicts: 419000 | #Constraints: 55935 2970.30/2978.68 c #Conflicts: 420000 | #Constraints: 56935 2970.30/2978.68 c #Conflicts: 421000 | #Constraints: 57935 2970.30/2978.68 c #Conflicts: 422000 | #Constraints: 58935 2970.30/2978.68 c #Conflicts: 423000 | #Constraints: 59935 2970.30/2978.68 c #Conflicts: 424000 | #Constraints: 60936 2970.30/2978.68 c bounds 2312 >= 192 @ 2752.64 2970.30/2978.68 c #Conflicts: 425000 | #Constraints: 61966 2970.30/2978.68 c #Conflicts: 426000 | #Constraints: 62968 2970.30/2978.68 c #Conflicts: 427000 | #Constraints: 63972 2970.30/2978.68 c #Conflicts: 428000 | #Constraints: 64972 2970.30/2978.68 c #Conflicts: 429000 | #Constraints: 65972 2970.30/2978.68 c #Conflicts: 430000 | #Constraints: 66972 2970.30/2978.68 c #Conflicts: 431000 | #Constraints: 67972 2970.30/2978.68 c #Conflicts: 432000 | #Constraints: 68974 2970.30/2978.68 c #Conflicts: 433000 | #Constraints: 69975 2970.30/2978.68 c #Conflicts: 434000 | #Constraints: 70978 2970.30/2978.68 c #Conflicts: 435000 | #Constraints: 71981 2970.30/2978.68 c #Conflicts: 436000 | #Constraints: 72984 2970.30/2978.68 c #Conflicts: 437000 | #Constraints: 73986 2970.30/2978.68 c #Conflicts: 438000 | #Constraints: 74989 2970.30/2978.68 c #Conflicts: 439000 | #Constraints: 75992 2970.30/2978.68 c #Conflicts: 440000 | #Constraints: 76996 2970.30/2978.68 c #Conflicts: 441000 | #Constraints: 78001 2970.30/2978.68 c #Conflicts: 442000 | #Constraints: 79007 2970.30/2978.68 c #Conflicts: 443000 | #Constraints: 80016 2970.30/2978.68 c #Conflicts: 444000 | #Constraints: 81020 2970.30/2978.68 c INPROCESSING 2970.30/2978.68 c GARBAGE COLLECT 2970.30/2978.68 c rational objective 192 3013.30/3021.78 c #Conflicts: 445000 | #Constraints: 45370 3013.30/3021.78 c #Conflicts: 446000 | #Constraints: 46370 3013.30/3021.78 c #Conflicts: 447000 | #Constraints: 47370 3013.30/3021.78 c #Conflicts: 448000 | #Constraints: 48371 3013.30/3021.78 WSVECS04 Frhs2[5]: 6 0 38.0001 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[6]: 6 -163 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[8]: 6 0 470 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[18]: 6 -119 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[19]: 6 0 90 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[20]: 6 0 147 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[26]: 6 0 99 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[30]: 6 -127 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[33]: 6 -269 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[35]: 6 0 17.0001 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[41]: 6 0 106 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[44]: 6 0 86.0001 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[47]: 6 0 123 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[56]: 6 0 79.0001 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[59]: 6 0 132 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[61]: 6 -174 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[64]: 6 -162 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[67]: 6 -148 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[79]: 6 -162 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[93]: 6 0 85 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[99]: 6 0 143 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[105]: 6 0 121 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[108]: 6 0 108 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[111]: 6 0 104 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[114]: 6 0 106 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[116]: 6 -45 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[119]: 6 -44.0001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[125]: 6 -36.0001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[128]: 6 -69 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[137]: 6 -111 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[143]: 6 -234 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[147]: 6 0 221 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[149]: 6 -167 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[394]: 6 -1.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[395]: 6 -2.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[397]: 6 -4.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[398]: 6 -5.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[402]: 6 -9.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[536]: 6 -1.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[537]: 6 -2.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[538]: 6 -3.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[539]: 6 -4.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[540]: 6 -5.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[542]: 6 -7.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[543]: 6 -8.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[675]: 6 -1.00006 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[676]: 6 -2.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[677]: 6 -3.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[678]: 6 -4.00001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[680]: 6 -6.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[681]: 6 -7.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[811]: 6 -1.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[812]: 6 -2.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[813]: 6 -3.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[815]: 6 -5.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[816]: 6 -6.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[944]: 6 -1.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[945]: 6 -2.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[947]: 6 -4.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[948]: 6 -5.00006 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[1074]: 6 -1.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[1076]: 6 -3.00009 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[1077]: 6 -4.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[1203]: 6 -3.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[1446]: 6 -1.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[1576]: 6 0 123 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[2853]: 6 -1079 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3067]: 6 -329 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3639]: 6 -1.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3641]: 6 -3.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3642]: 6 -4.00005 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3643]: 6 -5.00008 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3644]: 6 -6.00006 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3645]: 6 -7.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3646]: 6 -8.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3647]: 6 -9.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3648]: 6 -10.0001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3649]: 6 -11.0001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3672]: 6 -2.00008 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3673]: 6 -3.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3674]: 6 -4.00001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3675]: 6 -5.00006 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3676]: 6 -6.00001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3677]: 6 -7.00009 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3678]: 6 -8.00001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3679]: 6 -9.00006 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3680]: 6 -10.0001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3726]: 6 -1.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3729]: 6 -4.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3730]: 6 -5.00003 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3731]: 6 -6.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3749]: 6 -1.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3750]: 6 -2.00001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3751]: 6 -3.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3752]: 6 -4.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3753]: 6 -5.00007 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3754]: 6 -6.00006 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3755]: 6 -7.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3769]: 6 -1.00002 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3772]: 6 -4.00004 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3787]: 6 -412 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3790]: 6 -5.0001 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3811]: 6 -1.00008 0 shouldn't be 3013.30/3021.78 WSVECS04 Frhs2[3824]: 6 -1.00009 0 shouldn't be 3156.17/3164.98 c #Conflicts: 449000 | #Constraints: 49371 3156.17/3164.98 c #Conflicts: 450000 | #Constraints: 50371 3156.17/3164.98 c #Conflicts: 451000 | #Constraints: 51371 3156.17/3164.98 c #Conflicts: 452000 | #Constraints: 52371 3156.17/3164.98 c #Conflicts: 453000 | #Constraints: 53371 3156.17/3164.98 c #Conflicts: 454000 | #Constraints: 54371 3156.17/3164.98 c #Conflicts: 455000 | #Constraints: 55371 3156.17/3164.98 c #Conflicts: 456000 | #Constraints: 56371 3156.17/3164.98 c #Conflicts: 457000 | #Constraints: 57371 3156.17/3164.98 c #Conflicts: 458000 | #Constraints: 58371 3156.17/3164.98 c #Conflicts: 459000 | #Constraints: 59371 3156.17/3164.98 c #Conflicts: 460000 | #Constraints: 60371 3156.17/3164.98 c #Conflicts: 461000 | #Constraints: 61371 3156.17/3164.98 c INPROCESSING 3156.17/3164.98 c GARBAGE COLLECT 3156.17/3164.98 c rational objective 192 3595.54/3605.39 c #Conflicts: 462000 | #Constraints: 41947 3595.54/3605.39 c #Conflicts: 463000 | #Constraints: 42947 3595.54/3605.39 c #Conflicts: 464000 | #Constraints: 43947 3595.54/3605.39 c #Conflicts: 465000 | #Constraints: 44949 3595.54/3605.39 c #Conflicts: 466000 | #Constraints: 45949 3595.54/3605.39 c #Conflicts: 467000 | #Constraints: 46949 3595.54/3605.39 c #Conflicts: 468000 | #Constraints: 47949 3595.54/3605.39 c #Conflicts: 469000 | #Constraints: 48949 3595.54/3605.39 c #Conflicts: 470000 | #Constraints: 49949 3595.54/3605.39 c #Conflicts: 471000 | #Constraints: 50949 3595.54/3605.39 c #Conflicts: 472000 | #Constraints: 51949 3595.54/3605.39 c #Conflicts: 473000 | #Constraints: 52949 3595.54/3605.39 c #Conflicts: 474000 | #Constraints: 53949 3595.54/3605.39 c #Conflicts: 475000 | #Constraints: 54949 3595.54/3605.39 c #Conflicts: 476000 | #Constraints: 55949 3595.54/3605.39 c #Conflicts: 477000 | #Constraints: 56949 3595.54/3605.39 c #Conflicts: 478000 | #Constraints: 57949 3595.54/3605.39 c #Conflicts: 479000 | #Constraints: 58949 3595.54/3605.39 c #Conflicts: 480000 | #Constraints: 59949 3595.54/3605.39 c #Conflicts: 481000 | #Constraints: 60949 3595.54/3605.39 c #Conflicts: 482000 | #Constraints: 61949 3595.54/3605.39 c #Conflicts: 483000 | #Constraints: 62949 3595.54/3605.39 c #Conflicts: 484000 | #Constraints: 63949 3595.54/3605.39 c #Conflicts: 485000 | #Constraints: 64949 3595.54/3605.39 c #Conflicts: 486000 | #Constraints: 65949 3595.54/3605.39 c #Conflicts: 487000 | #Constraints: 66949 3595.54/3605.39 c #Conflicts: 488000 | #Constraints: 67949 3595.54/3605.39 c #Conflicts: 489000 | #Constraints: 68949 3595.54/3605.39 c #Conflicts: 490000 | #Constraints: 69949 3595.54/3605.39 c #Conflicts: 491000 | #Constraints: 70949 3595.54/3605.39 c #Conflicts: 492000 | #Constraints: 71950 3595.54/3605.39 c #Conflicts: 493000 | #Constraints: 72951 3595.54/3605.39 c #Conflicts: 494000 | #Constraints: 73951 3595.54/3605.39 c #Conflicts: 495000 | #Constraints: 74952 3595.54/3605.39 c #Conflicts: 496000 | #Constraints: 75953 3595.54/3605.39 c #Conflicts: 497000 | #Constraints: 76953 3595.54/3605.39 c bounds 2312 >= 208 @ 3469.29 3595.54/3605.39 c #Conflicts: 498000 | #Constraints: 77983 3595.54/3605.39 c #Conflicts: 499000 | #Constraints: 78983 3595.54/3605.39 c #Conflicts: 500000 | #Constraints: 79984 3595.54/3605.39 c #Conflicts: 501000 | #Constraints: 80992 3595.54/3605.39 c #Conflicts: 502000 | #Constraints: 81999 3595.54/3605.39 c #Conflicts: 503000 | #Constraints: 83009 3595.54/3605.39 c #Conflicts: 504000 | #Constraints: 84015 3595.54/3605.39 c #Conflicts: 505000 | #Constraints: 85022 3595.54/3605.39 c #Conflicts: 506000 | #Constraints: 86029 3595.54/3605.39 c #Conflicts: 507000 | #Constraints: 87038 3595.54/3605.39 c #Conflicts: 508000 | #Constraints: 88047 3595.54/3605.39 c INPROCESSING 3595.54/3605.39 c GARBAGE COLLECT 3595.54/3605.39 c rational objective 208 3600.03/3609.80 c 3600.03/3609.80 s SATISFIABLE 3600.03/3609.80 v x1 ~x2 ~x3 x4 ~x5 ~x6 x7 ~x8 ~x9 x10 ~x11 ~x12 x13 ~x14 ~x15 x16 ~x17 ~x18 x19 ~x20 ~x21 x22 ~x23 ~x24 x25 ~x26 ~x27 x28 ~x29 ~x30 x31 ~x32 ~x33 x34 ~x35 ~x36 x37 ~x38 ~x39 x40 ~x41 ~x42 x43 ~x44 ~x45 x46 ~x47 ~x48 x49 ~x50 ~x51 ~x52 ~x53 x54 ~x55 ~x56 x57 ~x58 ~x59 x60 ~x61 ~x62 x63 ~x64 ~x65 x66 ~x67 ~x68 x69 ~x70 ~x71 x72 ~x73 ~x74 x75 ~x76 ~x77 x78 ~x79 ~x80 x81 ~x82 ~x83 x84 ~x85 ~x86 x87 ~x88 ~x89 x90 ~x91 ~x92 x93 ~x94 ~x95 x96 ~x97 ~x98 x99 ~x100 x101 ~x102 ~x103 x104 ~x105 ~x106 x107 ~x108 ~x109 x110 ~x111 ~x112 x113 ~x114 ~x115 x116 ~x117 ~x118 x119 ~x120 ~x121 x122 ~x123 ~x124 x125 ~x126 ~x127 x128 ~x129 ~x130 x131 ~x132 ~x133 x134 ~x135 ~x136 x137 ~x138 ~x139 x140 ~x141 ~x142 x143 ~x144 ~x145 x146 ~x147 ~x148 x149 ~x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 x1486 x1487 x1488 x1489 x1490 x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 x1603 x1604 x1605 x1606 x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 x1717 x1718 x1719 x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 x1828 x1829 x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 x1936 x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 x2306 x2307 x2308 x2309 x2310 x2311 x2312 x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 x2412 x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 x2502 x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 x2579 x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 x2664 x2665 x2666 x2667 x2668 x2669 x2670 x2671 x2672 x2673 x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 x2746 x2747 x2748 x2749 x2750 x2751 x2752 x2753 x2754 x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 x2825 x2826 x2827 x2828 x2829 x2830 x2831 x2832 x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 x2901 x2902 x2903 x2904 x2905 x2906 x2907 x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 x2974 x2975 x2976 x2977 x2978 x2979 x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 x3044 x3045 x3046 x3047 x3048 x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 x3111 x3112 x3113 x3114 x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 x3175 x3176 x3177 x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 x3236 x3237 x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 x3294 x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 x3434 x3435 x3436 x3437 x3438 x3439 x3440 x3441 x3442 x3443 x3444 x3445 x3446 x3447 x3448 x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 x3481 x3482 x3483 x3484 x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 x3493 x3494 x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3531 x3532 x3533 x3534 x3535 x3536 x3537 x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 x3566 x3567 x3568 x3569 x3570 x3571 x3572 x3573 x3574 x3575 x3576 x3577 x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 x3613 x3614 x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 x3639 x3640 x3641 x3642 x3643 x3644 x3645 x3646 x3647 x3648 x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 x3671 x3672 x3673 x3674 x3675 x3676 x3677 x3678 x3679 x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 x3700 x3701 x3702 x3703 x3704 x3705 x3706 x3707 x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 x3726 x3727 x3728 x3729 x3730 x3731 x3732 x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 x3749 x3750 x3751 x3752 x3753 x3754 x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 x3769 x3770 x3771 x3772 x3773 x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 x3786 x3787 x3788 x3789 x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 x3800 x3801 x3802 x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 x3811 x3812 x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 x3819 x3820 ~x3821 ~x3822 ~x3823 x3824 ~x3825 3600.03/3609.80 c #Conflicts: 509000 | #Constraints: 48494
OK 2312
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61639 MiB free)
memory of node 1: 64473 MiB (63442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429705-1721052406/watcher-4429705-1721052406 -o /tmp/evaluation-result-4429705-1721052406/solver-4429705-1721052406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721048806-803035 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429705-1721052406.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=805404, runsolver pid=805401
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 805405
/proc/meminfo: memFree=128075352/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=44980 memory=15788 CPUtime=0.09 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 2837 0 0 0 8 1 0 0 20 0 1 0 157404080 46059520 3947 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 11245 3947 1779 922 0 3197 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 15788 KiB
[startup+0.205363 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 805405
/proc/meminfo: memFree=128072160/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=47136 memory=18220 CPUtime=0.2 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 3429 0 0 0 18 2 0 0 20 0 1 0 157404080 48267264 4555 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 11784 4555 1795 922 0 3736 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 18220 KiB
[startup+0.305066 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 805405
/proc/meminfo: memFree=128069748/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=47136 memory=20532 CPUtime=0.3 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 3479 0 0 0 27 3 0 0 20 0 1 0 157404080 48267264 5133 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 11784 5133 1795 922 0 3736 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 20532 KiB
[startup+0.700151 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805405
/proc/meminfo: memFree=128069608/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=47136 memory=20532 CPUtime=0.68 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 3488 0 0 0 65 3 0 0 20 0 1 0 157404080 48267264 5133 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 11784 5133 1795 922 0 3736 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 20532 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805405
/proc/meminfo: memFree=128067480/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=47612 memory=21056 CPUtime=1.49 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 3627 0 0 0 144 5 0 0 20 0 1 0 157404080 48754688 5264 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 11903 5264 1795 922 0 3855 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47612 KiB
Current children cumulated memory: 21056 KiB
[startup+3.10527 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805452
/proc/meminfo: memFree=128080248/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=58248 memory=28300 CPUtime=3.09 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 4863 0 0 0 302 7 0 0 20 0 1 0 157404080 59645952 7075 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 14562 7075 1856 922 0 6514 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58248 KiB
Current children cumulated memory: 28300 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805452
/proc/meminfo: memFree=127994032/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=73424 memory=42952 CPUtime=6.27 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 7512 0 0 0 607 20 0 0 20 0 1 0 157404080 75186176 10738 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 18356 10738 1856 922 0 10308 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73424 KiB
Current children cumulated memory: 42952 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 805454
/proc/meminfo: memFree=127852020/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=89028 memory=62052 CPUtime=12.67 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 11298 0 0 0 1229 38 0 0 20 0 1 0 157404080 91164672 15513 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 22257 15513 1856 922 0 14209 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 89028 KiB
Current children cumulated memory: 62052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 805455
/proc/meminfo: memFree=127663664/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=111984 memory=84240 CPUtime=25.43 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 14269 0 0 0 2487 56 0 0 20 0 1 0 157404080 114671616 21060 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 27996 21060 1856 922 0 19948 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 111984 KiB
Current children cumulated memory: 84240 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805459
/proc/meminfo: memFree=127360208/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=192240 memory=133328 CPUtime=50.98 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 21960 0 0 0 4995 103 0 0 20 0 1 0 157404080 196853760 33332 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 48060 33332 1856 922 0 40012 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 192240 KiB
Current children cumulated memory: 133328 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 805469
/proc/meminfo: memFree=127143288/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=281852 memory=203564 CPUtime=102.04 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 32423 0 0 0 10053 151 0 0 20 0 1 0 157404080 288616448 50891 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 70463 50891 1856 922 0 62415 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 281852 KiB
Current children cumulated memory: 203564 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 805479
/proc/meminfo: memFree=126772824/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=337176 memory=285212 CPUtime=161.89 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 43170 0 0 0 15979 210 0 0 20 0 1 0 157404080 345268224 71303 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 84294 71303 1856 922 0 76246 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 337176 KiB
Current children cumulated memory: 285212 KiB
[startup+222.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/255 805489
/proc/meminfo: memFree=126718400/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=344776 memory=293008 CPUtime=221.74 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 45125 0 0 0 21924 250 0 0 20 0 1 0 157404080 353050624 73252 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 86194 73252 1856 922 0 78146 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 344776 KiB
Current children cumulated memory: 293008 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.21 4.13 5/257 805504
/proc/meminfo: memFree=126325032/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=456356 memory=365500 CPUtime=281.59 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 52526 0 0 0 27881 278 0 0 20 0 1 0 157404080 467308544 91375 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 114089 91375 1856 922 0 106041 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 456356 KiB
Current children cumulated memory: 365500 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 4.26 4.15 5/256 805514
/proc/meminfo: memFree=126188080/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=457612 memory=371492 CPUtime=341.43 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 53916 0 0 0 33839 304 0 0 20 0 1 0 157404080 468594688 92873 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 114403 92873 1856 922 0 106355 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 457612 KiB
Current children cumulated memory: 371492 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.23 4.15 5/256 805524
/proc/meminfo: memFree=126152280/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=457612 memory=373600 CPUtime=401.27 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 54039 0 0 0 39807 320 0 0 20 0 1 0 157404080 468594688 93400 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 114403 93400 1856 922 0 106355 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 457612 KiB
Current children cumulated memory: 373600 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/256 805536
/proc/meminfo: memFree=125768320/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=459076 memory=390312 CPUtime=461.11 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 54496 0 0 0 45755 356 0 0 20 0 1 0 157404080 470093824 97578 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 114769 97578 1856 922 0 106721 0
################
# More data... #
################
Current children cumulated memory: 863376 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 806578
/proc/meminfo: memFree=122737356/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1073536 memory=863508 CPUtime=2854.27 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 117950 0 0 0 284462 965 0 0 20 0 1 0 157404080 1099300864 215877 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 268384 215877 1856 922 0 260336 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 1073536 KiB
Current children cumulated memory: 863508 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 806589
/proc/meminfo: memFree=122697824/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1080716 memory=867088 CPUtime=2914.13 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 119278 0 0 0 290439 974 0 0 20 0 1 0 157404080 1106653184 216772 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 270179 216772 1856 922 0 262131 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 1080716 KiB
Current children cumulated memory: 867088 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 806984
/proc/meminfo: memFree=122557728/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1098924 memory=877616 CPUtime=2973.99 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 122301 0 0 0 296415 984 0 0 20 0 1 0 157404080 1125298176 219404 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 274731 219404 1856 922 0 266683 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 1098924 KiB
Current children cumulated memory: 877616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 806996
/proc/meminfo: memFree=122492856/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1098924 memory=877836 CPUtime=3033.85 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 122549 0 0 0 302386 999 0 0 20 0 1 0 157404080 1125298176 219459 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 274731 219459 1856 922 0 266683 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 1098924 KiB
Current children cumulated memory: 877836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 807006
/proc/meminfo: memFree=122429660/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1098924 memory=877892 CPUtime=3093.72 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 122919 0 0 0 308360 1012 0 0 20 0 1 0 157404080 1125298176 219473 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 274731 219473 1856 922 0 266683 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 1098924 KiB
Current children cumulated memory: 877892 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/258 807185
/proc/meminfo: memFree=122400824/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1099208 memory=878028 CPUtime=3153.58 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 123316 0 0 0 314335 1023 0 0 20 0 1 0 157404080 1125588992 219507 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 274802 219507 1856 922 0 266754 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 1099208 KiB
Current children cumulated memory: 878028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/257 807195
/proc/meminfo: memFree=122358604/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1100124 memory=878528 CPUtime=3213.44 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 123775 0 0 0 320303 1041 0 0 20 0 1 0 157404080 1126526976 219632 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 275031 219632 1856 922 0 266983 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 1100124 KiB
Current children cumulated memory: 878528 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/257 807220
/proc/meminfo: memFree=122357584/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1100312 memory=879088 CPUtime=3273.3 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 124268 0 0 0 326277 1053 0 0 20 0 1 0 157404080 1126719488 219772 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 275078 219772 1856 922 0 267030 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 1100312 KiB
Current children cumulated memory: 879088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/257 807230
/proc/meminfo: memFree=122357236/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1100312 memory=879088 CPUtime=3333.17 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 124631 0 0 0 332252 1065 0 0 20 0 1 0 157404080 1126719488 219772 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 275078 219772 1856 922 0 267030 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 1100312 KiB
Current children cumulated memory: 879088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 807240
/proc/meminfo: memFree=122334256/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1100312 memory=879088 CPUtime=3393.02 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 125002 0 0 0 338227 1075 0 0 20 0 1 0 157404080 1126719488 219772 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 275078 219772 1856 922 0 267030 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 1100312 KiB
Current children cumulated memory: 879088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/255 807252
/proc/meminfo: memFree=122330916/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1103128 memory=880600 CPUtime=3452.88 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 125636 0 0 0 344203 1085 0 0 20 0 1 0 157404080 1129603072 220150 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 275782 220150 1856 922 0 267734 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 1103128 KiB
Current children cumulated memory: 880600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 807262
/proc/meminfo: memFree=122327836/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1105176 memory=881648 CPUtime=3512.74 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 126332 0 0 0 350182 1092 0 0 20 0 1 0 157404080 1131700224 220412 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 276294 220412 1856 922 0 268246 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 1105176 KiB
Current children cumulated memory: 881648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 807272
/proc/meminfo: memFree=122308136/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1129756 memory=894664 CPUtime=3572.59 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 129964 0 0 0 356159 1100 0 0 20 0 1 0 157404080 1156870144 223666 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 282439 223666 1856 922 0 274391 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 1129756 KiB
Current children cumulated memory: 894664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.12 4.09 3/241 807339
/proc/meminfo: memFree=123850472/131524600 swapFree=131071996/131071996
[pid=805404] ppid=805401 vsize=1142528 memory=902136 CPUtime=3600.03 cores=5,7
/proc/805404/stat : 805404 (roundingsat) R 805401 805404 803022 0 -1 4194304 131877 0 0 0 358898 1105 0 0 20 0 1 0 157404080 1169948672 225534 134679101440 4194304 7968869 140731701449008 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 18403328 140731701453758 140731701453922 140731701453922 140731701460937 0
/proc/805404/statm: 285632 225534 1856 922 0 277584 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1142528 KiB
Current children cumulated memory: 902136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 805404 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3588.98 s, system=11.0592 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.81
CPU time (s): 3600.04
CPU user time (s): 3588.98
CPU system time (s): 11.0592
CPU usage (%): 99.7295
Max. virtual memory (cumulated for all children) (KiB): 1142528
Max. memory (cumulated for all children) (KiB): 902136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.98
system time used= 11.0592
maximum resident set size= 902136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131885
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= 238
involuntary context switches= 2737
# summary of solver processes directly reported to runsolver:
# pid: 805404
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.98
# total CPU system time (s): 11.0592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68335 second user time and 16.4762 second system time
The end
Begin job on nodeC020 at 2024-07-15 16:06:59 IDJOB=4429705 IDBENCH=158576 IDSOLVER=3051 FILE ID=nodeC020/4429705-1721052406 RUNJOBID= nodeC020-1721048806-803035 SLURM_JOB_ID= 7505471 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429705-1721052406/watcher-4429705-1721052406 -o /tmp/evaluation-result-4429705-1721052406/solver-4429705-1721052406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721048806-803035 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429705-1721052406.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c RANDOM SEED=1967217633 nodeC020.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 : 3657.171 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.05 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 : 3665.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 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.180 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.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.380 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 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 : 3657.291 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.05 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 : 3657.891 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 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.031 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.05 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 : 3659.586 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128084588 kB MemAvailable: 129585828 kB Buffers: 364692 kB Cached: 1962188 kB SwapCached: 0 kB Active: 588028 kB Inactive: 2238620 kB Active(anon): 1568 kB Inactive(anon): 535944 kB Active(file): 586460 kB Inactive(file): 1702676 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16468 kB Writeback: 0 kB AnonPages: 497040 kB Mapped: 113164 kB Shmem: 37720 kB KReclaimable: 103856 kB Slab: 209648 kB SReclaimable: 103856 kB SUnreclaim: 105792 kB KernelStack: 4112 kB PageTables: 10464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 834528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58816 kB HardwareCorrupted: 0 kB AnonHugePages: 307200 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: 189140 kB DirectMap2M: 15312896 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 890072 MiB End job on nodeC020 at 2024-07-15 17:07:09