| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 2312 | 3600.08 | 3610.08 |
| 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.03 c #variables 3825 #constraints 7450 0.00/0.03 c bounds - >= 0 @ 0.018687 0.00/0.03 c rational objective 0 9.08/9.18 c bounds 20825 >= 0 @ 0.027923 9.08/9.18 c bounds 18424 >= 0 @ 0.033084 9.08/9.18 c bounds 17473 >= 0 @ 0.036708 9.08/9.18 c bounds 16395 >= 0 @ 0.03813 9.08/9.18 c bounds 15273 >= 0 @ 0.039935 9.08/9.18 c bounds 14286 >= 0 @ 0.043433 9.08/9.18 c bounds 13471 >= 0 @ 0.048002 9.08/9.18 c bounds 13344 >= 0 @ 0.049385 9.08/9.18 c bounds 12607 >= 0 @ 0.051621 9.08/9.18 c bounds 11601 >= 0 @ 0.05253 9.08/9.18 c bounds 10800 >= 0 @ 0.055947 9.08/9.18 c bounds 10447 >= 0 @ 0.059794 9.08/9.18 c bounds 9907 >= 0 @ 0.063459 9.08/9.18 c bounds 9587 >= 0 @ 0.066412 9.08/9.18 c bounds 9046 >= 0 @ 0.070229 9.08/9.18 c bounds 8452 >= 0 @ 0.072118 9.08/9.18 c bounds 8176 >= 0 @ 0.077787 9.08/9.18 c bounds 8119 >= 0 @ 0.081382 9.08/9.18 c bounds 7654 >= 0 @ 0.089203 9.08/9.18 c bounds 7067 >= 0 @ 0.089901 9.08/9.18 c bounds 7001 >= 0 @ 0.097742 9.08/9.18 c bounds 6969 >= 0 @ 0.101416 9.08/9.18 c bounds 6939 >= 0 @ 0.10359 9.08/9.18 c bounds 6911 >= 0 @ 0.106366 9.08/9.18 c bounds 6885 >= 0 @ 0.108472 9.08/9.18 c bounds 6861 >= 0 @ 0.112039 9.08/9.18 c bounds 6839 >= 0 @ 0.115034 9.08/9.18 c bounds 6819 >= 0 @ 0.119069 9.08/9.18 c bounds 6702 >= 0 @ 0.136412 9.08/9.18 c bounds 6225 >= 0 @ 0.141288 9.08/9.18 c bounds 6014 >= 0 @ 0.14539 9.08/9.18 c bounds 5990 >= 0 @ 0.146503 9.08/9.18 c bounds 5585 >= 0 @ 0.156396 9.08/9.18 c bounds 5510 >= 0 @ 0.160796 9.08/9.18 c bounds 5178 >= 0 @ 0.163425 9.08/9.18 c bounds 4787 >= 0 @ 0.165626 9.08/9.18 c bounds 4633 >= 0 @ 0.169447 9.08/9.18 c bounds 4299 >= 0 @ 0.171675 9.08/9.18 c bounds 3996 >= 0 @ 0.173002 9.08/9.18 c bounds 3795 >= 0 @ 0.179877 9.08/9.18 c bounds 3549 >= 0 @ 0.182101 9.08/9.18 c bounds 3333 >= 0 @ 0.183473 9.08/9.18 c bounds 3249 >= 0 @ 0.208482 9.08/9.18 c bounds 3085 >= 0 @ 0.209933 9.08/9.18 c bounds 2950 >= 0 @ 0.211433 9.08/9.18 c bounds 2844 >= 0 @ 0.213113 9.08/9.18 c bounds 2767 >= 0 @ 0.213813 9.08/9.18 c bounds 2719 >= 0 @ 0.214698 9.08/9.18 c bounds 2710 >= 0 @ 0.265671 9.08/9.18 c bounds 2484 >= 0 @ 0.267768 9.08/9.18 c bounds 2437 >= 0 @ 0.275052 9.08/9.18 c bounds 2345 >= 0 @ 0.277425 9.08/9.18 c bounds 2329 >= 0 @ 0.288491 9.08/9.18 c bounds 2312 >= 0 @ 0.289989 9.08/9.18 c bounds 2312 >= 16 @ 0.292601 9.08/9.18 c #Conflicts: 1000 | #Constraints: 8516 9.08/9.18 c #Conflicts: 2000 | #Constraints: 9524 9.08/9.18 c INPROCESSING 9.08/9.18 c GARBAGE COLLECT 9.08/9.18 c bounds 2312 >= 32 @ 4.09871 9.08/9.18 c bounds 2312 >= 48 @ 4.35682 9.08/9.18 c bounds 2312 >= 64 @ 4.82283 9.08/9.18 c #Conflicts: 3000 | #Constraints: 9497 9.08/9.18 c bounds 2312 >= 80 @ 6.25281 9.08/9.18 c #Conflicts: 4000 | #Constraints: 10507 9.08/9.18 c INPROCESSING 9.08/9.18 c GARBAGE COLLECT 9.08/9.18 c rational objective 80 13.26/13.37 c #Conflicts: 5000 | #Constraints: 9900 13.26/13.37 c #Conflicts: 6000 | #Constraints: 10901 13.26/13.37 c INPROCESSING 13.26/13.37 c GARBAGE COLLECT 13.26/13.37 c rational objective 80 29.93/30.08 c #Conflicts: 7000 | #Constraints: 9935 29.93/30.08 c #Conflicts: 8000 | #Constraints: 10937 29.93/30.08 c #Conflicts: 9000 | #Constraints: 11945 29.93/30.08 c INPROCESSING 29.93/30.08 c GARBAGE COLLECT 29.93/30.08 c bounds 2312 >= 96 @ 22.8436 29.93/30.08 c #Conflicts: 10000 | #Constraints: 10638 29.93/30.08 c #Conflicts: 11000 | #Constraints: 11638 29.93/30.08 c #Conflicts: 12000 | #Constraints: 12638 29.93/30.08 c INPROCESSING 29.93/30.08 c GARBAGE COLLECT 29.93/30.08 c rational objective 96 54.36/54.59 c #Conflicts: 13000 | #Constraints: 11109 54.36/54.59 c #Conflicts: 14000 | #Constraints: 12109 54.36/54.59 c #Conflicts: 15000 | #Constraints: 13111 54.36/54.59 c #Conflicts: 16000 | #Constraints: 14118 54.36/54.59 c #Conflicts: 17000 | #Constraints: 15126 54.36/54.59 c #Conflicts: 18000 | #Constraints: 16137 54.36/54.59 c #Conflicts: 19000 | #Constraints: 17145 54.36/54.59 c #Conflicts: 20000 | #Constraints: 18152 54.36/54.59 c INPROCESSING 54.36/54.59 c GARBAGE COLLECT 54.36/54.59 c rational objective 96 73.92/74.10 c #Conflicts: 21000 | #Constraints: 13643 73.92/74.10 c #Conflicts: 22000 | #Constraints: 14643 73.92/74.10 c bounds 2312 >= 112 @ 64.3779 73.92/74.10 c #Conflicts: 23000 | #Constraints: 15661 73.92/74.10 c #Conflicts: 24000 | #Constraints: 16665 73.92/74.10 c INPROCESSING 73.92/74.10 c GARBAGE COLLECT 73.92/74.10 c rational objective 112 78.30/78.53 c #Conflicts: 25000 | #Constraints: 12858 78.30/78.53 WSVECS04 Frhs2[15]: 6 -30.5001 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[27]: 6 -117 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[42]: 6 -181 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[50]: 6 -66.0001 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[54]: 6 -145.5 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[58]: 6 0 36 shouldn't be 78.30/78.53 WSVECS04 Frhs2[66]: 6 0 12 shouldn't be 78.30/78.53 WSVECS04 Frhs2[68]: 6 -311 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[71]: 6 -11.0001 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[77]: 6 -41 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[80]: 6 -53.0001 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[92]: 6 -55 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[106]: 6 -3.00002 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[109]: 6 -5.00008 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[138]: 6 0 23 shouldn't be 78.30/78.53 WSVECS04 Frhs2[141]: 6 0 80.0001 shouldn't be 78.30/78.53 WSVECS04 Frhs2[145]: 6 -2.00002 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[551]: 6 -312 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[815]: 6 -659 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[840]: 6 0 68.0001 shouldn't be 78.30/78.53 WSVECS04 Frhs2[1568]: 6 -129 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[1793]: 6 -391 0 shouldn't be 78.30/78.53 WSVECS04 Frhs2[3599]: 6 -148 0 shouldn't be 90.97/91.20 c #Conflicts: 26000 | #Constraints: 13859 90.97/91.20 c #Conflicts: 27000 | #Constraints: 14859 90.97/91.20 c #Conflicts: 28000 | #Constraints: 15859 90.97/91.20 c INPROCESSING 90.97/91.20 c GARBAGE COLLECT 90.97/91.20 c rational objective 112 139.05/139.44 c #Conflicts: 29000 | #Constraints: 12328 139.05/139.44 c #Conflicts: 30000 | #Constraints: 13329 139.05/139.44 c #Conflicts: 31000 | #Constraints: 14337 139.05/139.44 c #Conflicts: 32000 | #Constraints: 15346 139.05/139.44 c #Conflicts: 33000 | #Constraints: 16358 139.05/139.44 c #Conflicts: 34000 | #Constraints: 17366 139.05/139.44 c #Conflicts: 35000 | #Constraints: 18377 139.05/139.44 c #Conflicts: 36000 | #Constraints: 19388 139.05/139.44 c #Conflicts: 37000 | #Constraints: 20400 139.05/139.44 c #Conflicts: 38000 | #Constraints: 21406 139.05/139.44 c #Conflicts: 39000 | #Constraints: 22412 139.05/139.44 c #Conflicts: 40000 | #Constraints: 23421 139.05/139.44 c #Conflicts: 41000 | #Constraints: 24429 139.05/139.44 c INPROCESSING 139.05/139.44 c GARBAGE COLLECT 139.05/139.44 c rational objective 112 184.23/184.77 c #Conflicts: 42000 | #Constraints: 16788 184.23/184.77 c #Conflicts: 43000 | #Constraints: 17788 184.23/184.77 c #Conflicts: 44000 | #Constraints: 18788 184.23/184.77 c #Conflicts: 45000 | #Constraints: 19788 184.23/184.77 c bounds 2312 >= 128 @ 175.065 184.23/184.77 c #Conflicts: 46000 | #Constraints: 20809 184.23/184.77 c #Conflicts: 47000 | #Constraints: 21811 184.23/184.77 c INPROCESSING 184.23/184.77 c GARBAGE COLLECT 184.23/184.77 c rational objective 128 208.76/209.31 c #Conflicts: 48000 | #Constraints: 15702 208.76/209.31 c #Conflicts: 49000 | #Constraints: 16702 208.76/209.31 c #Conflicts: 50000 | #Constraints: 17708 208.76/209.31 c #Conflicts: 51000 | #Constraints: 18710 208.76/209.31 c #Conflicts: 52000 | #Constraints: 19714 208.76/209.31 c INPROCESSING 208.76/209.31 c GARBAGE COLLECT 208.76/209.31 c rational objective 128 232.31/233.00 c #Conflicts: 53000 | #Constraints: 14249 232.31/233.00 c #Conflicts: 54000 | #Constraints: 15249 232.31/233.00 c #Conflicts: 55000 | #Constraints: 16249 232.31/233.00 c #Conflicts: 56000 | #Constraints: 17249 232.31/233.00 c #Conflicts: 57000 | #Constraints: 18249 232.31/233.00 c #Conflicts: 58000 | #Constraints: 19249 232.31/233.00 c INPROCESSING 232.31/233.00 c GARBAGE COLLECT 232.31/233.00 c rational objective 128 322.74/323.69 c #Conflicts: 59000 | #Constraints: 15467 322.74/323.69 c #Conflicts: 60000 | #Constraints: 16470 322.74/323.69 c #Conflicts: 61000 | #Constraints: 17478 322.74/323.69 c #Conflicts: 62000 | #Constraints: 18489 322.74/323.69 c #Conflicts: 63000 | #Constraints: 19499 322.74/323.69 c #Conflicts: 64000 | #Constraints: 20506 322.74/323.69 c #Conflicts: 65000 | #Constraints: 21514 322.74/323.69 c #Conflicts: 66000 | #Constraints: 22519 322.74/323.69 c #Conflicts: 67000 | #Constraints: 23526 322.74/323.69 c #Conflicts: 68000 | #Constraints: 24533 322.74/323.69 c #Conflicts: 69000 | #Constraints: 25541 322.74/323.69 c #Conflicts: 70000 | #Constraints: 26545 322.74/323.69 c #Conflicts: 71000 | #Constraints: 27552 322.74/323.69 c #Conflicts: 72000 | #Constraints: 28560 322.74/323.69 c #Conflicts: 73000 | #Constraints: 29569 322.74/323.69 c #Conflicts: 74000 | #Constraints: 30574 322.74/323.69 c #Conflicts: 75000 | #Constraints: 31581 322.74/323.69 c #Conflicts: 76000 | #Constraints: 32586 322.74/323.69 c INPROCESSING 322.74/323.69 c GARBAGE COLLECT 322.74/323.69 c rational objective 128 392.56/393.68 c #Conflicts: 77000 | #Constraints: 20737 392.56/393.68 c #Conflicts: 78000 | #Constraints: 21737 392.56/393.68 c #Conflicts: 79000 | #Constraints: 22737 392.56/393.68 c #Conflicts: 80000 | #Constraints: 23738 392.56/393.68 c #Conflicts: 81000 | #Constraints: 24738 392.56/393.68 c #Conflicts: 82000 | #Constraints: 25738 392.56/393.68 c #Conflicts: 83000 | #Constraints: 26739 392.56/393.68 c #Conflicts: 84000 | #Constraints: 27739 392.56/393.68 c INPROCESSING 392.56/393.68 c GARBAGE COLLECT 392.56/393.68 c rational objective 128 428.63/429.84 c #Conflicts: 85000 | #Constraints: 18693 428.63/429.84 c #Conflicts: 86000 | #Constraints: 19695 428.63/429.84 c #Conflicts: 87000 | #Constraints: 20697 428.63/429.84 c #Conflicts: 88000 | #Constraints: 21697 428.63/429.84 c #Conflicts: 89000 | #Constraints: 22698 428.63/429.84 c #Conflicts: 90000 | #Constraints: 23700 428.63/429.84 c #Conflicts: 91000 | #Constraints: 24702 428.63/429.84 c INPROCESSING 428.63/429.84 c GARBAGE COLLECT 428.63/429.84 c rational objective 128 552.97/554.59 c #Conflicts: 92000 | #Constraints: 17621 552.97/554.59 c #Conflicts: 93000 | #Constraints: 18621 552.97/554.59 c #Conflicts: 94000 | #Constraints: 19621 552.97/554.59 c #Conflicts: 95000 | #Constraints: 20621 552.97/554.59 c #Conflicts: 96000 | #Constraints: 21621 552.97/554.59 c #Conflicts: 97000 | #Constraints: 22621 552.97/554.59 c bounds 2312 >= 144 @ 458.083 552.97/554.59 c #Conflicts: 98000 | #Constraints: 23643 552.97/554.59 c #Conflicts: 99000 | #Constraints: 24644 552.97/554.59 c #Conflicts: 100000 | #Constraints: 25644 552.97/554.59 c #Conflicts: 101000 | #Constraints: 26644 552.97/554.59 c #Conflicts: 102000 | #Constraints: 27645 552.97/554.59 c #Conflicts: 103000 | #Constraints: 28645 552.97/554.59 c #Conflicts: 104000 | #Constraints: 29645 552.97/554.59 c #Conflicts: 105000 | #Constraints: 30646 552.97/554.59 c #Conflicts: 106000 | #Constraints: 31650 552.97/554.59 c #Conflicts: 107000 | #Constraints: 32656 552.97/554.59 c #Conflicts: 108000 | #Constraints: 33661 552.97/554.59 c #Conflicts: 109000 | #Constraints: 34669 552.97/554.59 c #Conflicts: 110000 | #Constraints: 35680 552.97/554.59 c #Conflicts: 111000 | #Constraints: 36691 552.97/554.59 c #Conflicts: 112000 | #Constraints: 37695 552.97/554.59 c #Conflicts: 113000 | #Constraints: 38704 552.97/554.59 c INPROCESSING 552.97/554.59 c GARBAGE COLLECT 552.97/554.59 c rational objective 144 612.41/614.15 c #Conflicts: 114000 | #Constraints: 23861 612.41/614.15 c #Conflicts: 115000 | #Constraints: 24861 612.41/614.15 c #Conflicts: 116000 | #Constraints: 25861 612.41/614.15 c #Conflicts: 117000 | #Constraints: 26861 612.41/614.15 c #Conflicts: 118000 | #Constraints: 27861 612.41/614.15 c #Conflicts: 119000 | #Constraints: 28861 612.41/614.15 c #Conflicts: 120000 | #Constraints: 29861 612.41/614.15 c #Conflicts: 121000 | #Constraints: 30861 612.41/614.15 c #Conflicts: 122000 | #Constraints: 31861 612.41/614.15 c INPROCESSING 612.41/614.15 c GARBAGE COLLECT 612.41/614.15 c rational objective 144 762.82/765.08 c #Conflicts: 123000 | #Constraints: 21469 762.82/765.08 c #Conflicts: 124000 | #Constraints: 22472 762.82/765.08 c #Conflicts: 125000 | #Constraints: 23479 762.82/765.08 c #Conflicts: 126000 | #Constraints: 24482 762.82/765.08 c #Conflicts: 127000 | #Constraints: 25486 762.82/765.08 c #Conflicts: 128000 | #Constraints: 26493 762.82/765.08 c #Conflicts: 129000 | #Constraints: 27503 762.82/765.08 c #Conflicts: 130000 | #Constraints: 28512 762.82/765.08 c #Conflicts: 131000 | #Constraints: 29518 762.82/765.08 c #Conflicts: 132000 | #Constraints: 30521 762.82/765.08 c #Conflicts: 133000 | #Constraints: 31530 762.82/765.08 c #Conflicts: 134000 | #Constraints: 32534 762.82/765.08 c #Conflicts: 135000 | #Constraints: 33539 762.82/765.08 c #Conflicts: 136000 | #Constraints: 34543 762.82/765.08 c #Conflicts: 137000 | #Constraints: 35548 762.82/765.08 c #Conflicts: 138000 | #Constraints: 36557 762.82/765.08 c #Conflicts: 139000 | #Constraints: 37564 762.82/765.08 c #Conflicts: 140000 | #Constraints: 38573 762.82/765.08 c #Conflicts: 141000 | #Constraints: 39580 762.82/765.08 c #Conflicts: 142000 | #Constraints: 40587 762.82/765.08 c #Conflicts: 143000 | #Constraints: 41595 762.82/765.08 c #Conflicts: 144000 | #Constraints: 42602 762.82/765.08 c #Conflicts: 145000 | #Constraints: 43608 762.82/765.08 c #Conflicts: 146000 | #Constraints: 44617 762.82/765.08 c #Conflicts: 147000 | #Constraints: 45626 762.82/765.08 c INPROCESSING 762.82/765.08 c GARBAGE COLLECT 762.82/765.08 c rational objective 144 858.96/861.48 c #Conflicts: 148000 | #Constraints: 27316 858.96/861.48 c #Conflicts: 149000 | #Constraints: 28317 858.96/861.48 c #Conflicts: 150000 | #Constraints: 29317 858.96/861.48 c #Conflicts: 151000 | #Constraints: 30317 858.96/861.48 c #Conflicts: 152000 | #Constraints: 31317 858.96/861.48 c #Conflicts: 153000 | #Constraints: 32317 858.96/861.48 c #Conflicts: 154000 | #Constraints: 33318 858.96/861.48 c #Conflicts: 155000 | #Constraints: 34319 858.96/861.48 c #Conflicts: 156000 | #Constraints: 35319 858.96/861.48 c #Conflicts: 157000 | #Constraints: 36319 858.96/861.48 c INPROCESSING 858.96/861.48 c GARBAGE COLLECT 858.96/861.48 c rational objective 144 881.41/883.96 c #Conflicts: 158000 | #Constraints: 22700 881.41/883.96 c #Conflicts: 159000 | #Constraints: 23701 881.41/883.96 c #Conflicts: 160000 | #Constraints: 24701 881.41/883.96 c #Conflicts: 161000 | #Constraints: 25701 881.41/883.96 WSVECS04 Frhs2[6]: 6 -15.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[9]: 6 -14 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[30]: 6 -13 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[33]: 6 -35 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[46]: 6 0 3.00006 shouldn't be 881.41/883.96 WSVECS04 Frhs2[49]: 6 0 32 shouldn't be 881.41/883.96 WSVECS04 Frhs2[74]: 6 -34 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[79]: 6 0 29 shouldn't be 881.41/883.96 WSVECS04 Frhs2[80]: 6 -27 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[88]: 6 -25.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[89]: 6 0 35 shouldn't be 881.41/883.96 WSVECS04 Frhs2[99]: 6 0 85.0001 shouldn't be 881.41/883.96 WSVECS04 Frhs2[105]: 6 0 114 shouldn't be 881.41/883.96 WSVECS04 Frhs2[107]: 6 0 359 shouldn't be 881.41/883.96 WSVECS04 Frhs2[109]: 6 -93 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[112]: 6 -42 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[115]: 6 -39.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[121]: 6 -45.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[125]: 6 0 101 shouldn't be 881.41/883.96 WSVECS04 Frhs2[127]: 6 -27.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[130]: 6 -77.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[133]: 6 -65 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[136]: 6 -162 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[139]: 6 -201 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[142]: 6 -23 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[143]: 6 0 86.0001 shouldn't be 881.41/883.96 WSVECS04 Frhs2[255]: 6 -577 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[256]: 6 -8.00003 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[259]: 6 -11 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[260]: 6 -12.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[261]: 6 -13 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[400]: 6 -7.00002 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[405]: 6 -12 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[682]: 6 -58.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[812]: 6 -48.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[818]: 6 -8.00005 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[946]: 6 -3.00002 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[950]: 6 -7.00001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[971]: 6 0 104 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1078]: 6 -5.00003 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1204]: 6 -4.00002 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1325]: 6 -1.00006 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1327]: 6 -669 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1357]: 6 0 27.0001 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1446]: 6 -1.00008 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1791]: 6 -757 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[1921]: 6 0 313 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2287]: 6 -14 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2372]: 6 -4.00002 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2377]: 6 -9.00003 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2461]: 6 -253 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2556]: 6 -7.00001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2719]: 6 -121 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2723]: 6 -5.00003 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[2955]: 6 -206 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3105]: 6 0 1.00003 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3201]: 6 -6.00002 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3203]: 6 -8.00002 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3206]: 6 -11 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3207]: 6 -12.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3209]: 6 -14 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3211]: 6 -16.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3212]: 6 -17 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3213]: 6 -18.0001 0 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3338]: 6 0 42.0001 shouldn't be 881.41/883.96 WSVECS04 Frhs2[3558]: 6 -6.00004 0 shouldn't be 1048.48/1051.46 c #Conflicts: 162000 | #Constraints: 26702 1048.48/1051.46 c #Conflicts: 163000 | #Constraints: 27702 1048.48/1051.46 c #Conflicts: 164000 | #Constraints: 28702 1048.48/1051.46 c #Conflicts: 165000 | #Constraints: 29702 1048.48/1051.46 c #Conflicts: 166000 | #Constraints: 30702 1048.48/1051.46 c #Conflicts: 167000 | #Constraints: 31702 1048.48/1051.46 c #Conflicts: 168000 | #Constraints: 32702 1048.48/1051.46 c bounds 2312 >= 160 @ 918.858 1048.48/1051.46 c #Conflicts: 169000 | #Constraints: 33726 1048.48/1051.46 c #Conflicts: 170000 | #Constraints: 34727 1048.48/1051.46 c #Conflicts: 171000 | #Constraints: 35730 1048.48/1051.46 c #Conflicts: 172000 | #Constraints: 36734 1048.48/1051.46 c #Conflicts: 173000 | #Constraints: 37741 1048.48/1051.46 c #Conflicts: 174000 | #Constraints: 38751 1048.48/1051.46 c #Conflicts: 175000 | #Constraints: 39758 1048.48/1051.46 c #Conflicts: 176000 | #Constraints: 40763 1048.48/1051.46 c #Conflicts: 177000 | #Constraints: 41768 1048.48/1051.46 c #Conflicts: 178000 | #Constraints: 42771 1048.48/1051.46 c #Conflicts: 179000 | #Constraints: 43775 1048.48/1051.46 c #Conflicts: 180000 | #Constraints: 44779 1048.48/1051.46 c #Conflicts: 181000 | #Constraints: 45783 1048.48/1051.46 c #Conflicts: 182000 | #Constraints: 46787 1048.48/1051.46 c #Conflicts: 183000 | #Constraints: 47792 1048.48/1051.46 c #Conflicts: 184000 | #Constraints: 48795 1048.48/1051.46 c #Conflicts: 185000 | #Constraints: 49803 1048.48/1051.46 c #Conflicts: 186000 | #Constraints: 50811 1048.48/1051.46 c INPROCESSING 1048.48/1051.46 c GARBAGE COLLECT 1048.48/1051.46 c rational objective 160 1164.99/1168.26 c #Conflicts: 187000 | #Constraints: 30224 1164.99/1168.26 c #Conflicts: 188000 | #Constraints: 31224 1164.99/1168.26 c #Conflicts: 189000 | #Constraints: 32225 1164.99/1168.26 c #Conflicts: 190000 | #Constraints: 33225 1164.99/1168.26 c #Conflicts: 191000 | #Constraints: 34225 1164.99/1168.26 c #Conflicts: 192000 | #Constraints: 35226 1164.99/1168.26 c #Conflicts: 193000 | #Constraints: 36226 1164.99/1168.26 c #Conflicts: 194000 | #Constraints: 37226 1164.99/1168.26 c #Conflicts: 195000 | #Constraints: 38226 1164.99/1168.26 c #Conflicts: 196000 | #Constraints: 39226 1164.99/1168.26 c #Conflicts: 197000 | #Constraints: 40226 1164.99/1168.26 c INPROCESSING 1164.99/1168.26 c GARBAGE COLLECT 1164.99/1168.26 c rational objective 160 1432.60/1436.56 c #Conflicts: 198000 | #Constraints: 27500 1432.60/1436.56 c #Conflicts: 199000 | #Constraints: 28501 1432.60/1436.56 c #Conflicts: 200000 | #Constraints: 29501 1432.60/1436.56 c #Conflicts: 201000 | #Constraints: 30502 1432.60/1436.56 c #Conflicts: 202000 | #Constraints: 31508 1432.60/1436.56 c #Conflicts: 203000 | #Constraints: 32510 1432.60/1436.56 c #Conflicts: 204000 | #Constraints: 33513 1432.60/1436.56 c #Conflicts: 205000 | #Constraints: 34515 1432.60/1436.56 c #Conflicts: 206000 | #Constraints: 35518 1432.60/1436.56 c #Conflicts: 207000 | #Constraints: 36522 1432.60/1436.56 c #Conflicts: 208000 | #Constraints: 37526 1432.60/1436.56 c #Conflicts: 209000 | #Constraints: 38530 1432.60/1436.56 c #Conflicts: 210000 | #Constraints: 39534 1432.60/1436.56 c #Conflicts: 211000 | #Constraints: 40541 1432.60/1436.56 c #Conflicts: 212000 | #Constraints: 41549 1432.60/1436.56 c #Conflicts: 213000 | #Constraints: 42552 1432.60/1436.56 c #Conflicts: 214000 | #Constraints: 43555 1432.60/1436.56 c #Conflicts: 215000 | #Constraints: 44557 1432.60/1436.56 c #Conflicts: 216000 | #Constraints: 45558 1432.60/1436.56 c #Conflicts: 217000 | #Constraints: 46566 1432.60/1436.56 c #Conflicts: 218000 | #Constraints: 47568 1432.60/1436.56 c #Conflicts: 219000 | #Constraints: 48568 1432.60/1436.56 c #Conflicts: 220000 | #Constraints: 49570 1432.60/1436.56 c #Conflicts: 221000 | #Constraints: 50573 1432.60/1436.56 c #Conflicts: 222000 | #Constraints: 51580 1432.60/1436.56 c #Conflicts: 223000 | #Constraints: 52583 1432.60/1436.56 c #Conflicts: 224000 | #Constraints: 53590 1432.60/1436.56 c #Conflicts: 225000 | #Constraints: 54598 1432.60/1436.56 c #Conflicts: 226000 | #Constraints: 55604 1432.60/1436.56 c #Conflicts: 227000 | #Constraints: 56611 1432.60/1436.56 c #Conflicts: 228000 | #Constraints: 57617 1432.60/1436.56 c INPROCESSING 1432.60/1436.56 c GARBAGE COLLECT 1432.60/1436.56 c rational objective 160 1557.58/1561.89 c #Conflicts: 229000 | #Constraints: 33225 1557.58/1561.89 c #Conflicts: 230000 | #Constraints: 34226 1557.58/1561.89 c #Conflicts: 231000 | #Constraints: 35226 1557.58/1561.89 c #Conflicts: 232000 | #Constraints: 36226 1557.58/1561.89 c #Conflicts: 233000 | #Constraints: 37226 1557.58/1561.89 c #Conflicts: 234000 | #Constraints: 38226 1557.58/1561.89 c #Conflicts: 235000 | #Constraints: 39226 1557.58/1561.89 c #Conflicts: 236000 | #Constraints: 40227 1557.58/1561.89 c #Conflicts: 237000 | #Constraints: 41227 1557.58/1561.89 c #Conflicts: 238000 | #Constraints: 42227 1557.58/1561.89 c #Conflicts: 239000 | #Constraints: 43227 1557.58/1561.89 c #Conflicts: 240000 | #Constraints: 44227 1557.58/1561.89 c #Conflicts: 241000 | #Constraints: 45228 1557.58/1561.89 c INPROCESSING 1557.58/1561.89 c GARBAGE COLLECT 1557.58/1561.89 c rational objective 160 1899.90/1905.01 c #Conflicts: 242000 | #Constraints: 29327 1899.90/1905.01 c #Conflicts: 243000 | #Constraints: 30329 1899.90/1905.01 c #Conflicts: 244000 | #Constraints: 31329 1899.90/1905.01 c #Conflicts: 245000 | #Constraints: 32329 1899.90/1905.01 c #Conflicts: 246000 | #Constraints: 33329 1899.90/1905.01 c #Conflicts: 247000 | #Constraints: 34329 1899.90/1905.01 c #Conflicts: 248000 | #Constraints: 35329 1899.90/1905.01 c #Conflicts: 249000 | #Constraints: 36330 1899.90/1905.01 c #Conflicts: 250000 | #Constraints: 37331 1899.90/1905.01 c #Conflicts: 251000 | #Constraints: 38331 1899.90/1905.01 c bounds 2312 >= 176 @ 1616.52 1899.90/1905.01 c #Conflicts: 252000 | #Constraints: 39358 1899.90/1905.01 c #Conflicts: 253000 | #Constraints: 40358 1899.90/1905.01 c #Conflicts: 254000 | #Constraints: 41358 1899.90/1905.01 c #Conflicts: 255000 | #Constraints: 42358 1899.90/1905.01 c #Conflicts: 256000 | #Constraints: 43359 1899.90/1905.01 c #Conflicts: 257000 | #Constraints: 44359 1899.90/1905.01 c #Conflicts: 258000 | #Constraints: 45359 1899.90/1905.01 c #Conflicts: 259000 | #Constraints: 46360 1899.90/1905.01 c #Conflicts: 260000 | #Constraints: 47360 1899.90/1905.01 c #Conflicts: 261000 | #Constraints: 48360 1899.90/1905.01 c #Conflicts: 262000 | #Constraints: 49360 1899.90/1905.01 c #Conflicts: 263000 | #Constraints: 50361 1899.90/1905.01 c #Conflicts: 264000 | #Constraints: 51361 1899.90/1905.01 c #Conflicts: 265000 | #Constraints: 52361 1899.90/1905.01 c #Conflicts: 266000 | #Constraints: 53362 1899.90/1905.01 c #Conflicts: 267000 | #Constraints: 54362 1899.90/1905.01 c #Conflicts: 268000 | #Constraints: 55363 1899.90/1905.01 c #Conflicts: 269000 | #Constraints: 56363 1899.90/1905.01 c #Conflicts: 270000 | #Constraints: 57363 1899.90/1905.01 c #Conflicts: 271000 | #Constraints: 58363 1899.90/1905.01 c #Conflicts: 272000 | #Constraints: 59363 1899.90/1905.01 c #Conflicts: 273000 | #Constraints: 60364 1899.90/1905.01 c #Conflicts: 274000 | #Constraints: 61364 1899.90/1905.01 c #Conflicts: 275000 | #Constraints: 62364 1899.90/1905.01 c #Conflicts: 276000 | #Constraints: 63364 1899.90/1905.01 c INPROCESSING 1899.90/1905.01 c GARBAGE COLLECT 1899.90/1905.01 c rational objective 176 2027.36/2032.88 c #Conflicts: 277000 | #Constraints: 36546 2027.36/2032.88 c #Conflicts: 278000 | #Constraints: 37550 2027.36/2032.88 c #Conflicts: 279000 | #Constraints: 38559 2027.36/2032.88 c #Conflicts: 280000 | #Constraints: 39565 2027.36/2032.88 c #Conflicts: 281000 | #Constraints: 40567 2027.36/2032.88 c #Conflicts: 282000 | #Constraints: 41575 2027.36/2032.88 c #Conflicts: 283000 | #Constraints: 42582 2027.36/2032.88 c #Conflicts: 284000 | #Constraints: 43588 2027.36/2032.88 c #Conflicts: 285000 | #Constraints: 44593 2027.36/2032.88 c #Conflicts: 286000 | #Constraints: 45599 2027.36/2032.88 c #Conflicts: 287000 | #Constraints: 46605 2027.36/2032.88 c #Conflicts: 288000 | #Constraints: 47612 2027.36/2032.88 c #Conflicts: 289000 | #Constraints: 48619 2027.36/2032.88 c #Conflicts: 290000 | #Constraints: 49626 2027.36/2032.88 c INPROCESSING 2027.36/2032.88 c GARBAGE COLLECT 2027.36/2032.88 c rational objective 176 2404.77/2411.21 c #Conflicts: 291000 | #Constraints: 34427 2404.77/2411.21 c #Conflicts: 292000 | #Constraints: 35435 2404.77/2411.21 c #Conflicts: 293000 | #Constraints: 36444 2404.77/2411.21 c #Conflicts: 294000 | #Constraints: 37450 2404.77/2411.21 c #Conflicts: 295000 | #Constraints: 38455 2404.77/2411.21 c #Conflicts: 296000 | #Constraints: 39459 2404.77/2411.21 c #Conflicts: 297000 | #Constraints: 40465 2404.77/2411.21 c #Conflicts: 298000 | #Constraints: 41471 2404.77/2411.21 c #Conflicts: 299000 | #Constraints: 42477 2404.77/2411.21 c #Conflicts: 300000 | #Constraints: 43482 2404.77/2411.21 c #Conflicts: 301000 | #Constraints: 44488 2404.77/2411.21 c #Conflicts: 302000 | #Constraints: 45495 2404.77/2411.21 c #Conflicts: 303000 | #Constraints: 46501 2404.77/2411.21 c #Conflicts: 304000 | #Constraints: 47506 2404.77/2411.21 c #Conflicts: 305000 | #Constraints: 48510 2404.77/2411.21 c #Conflicts: 306000 | #Constraints: 49517 2404.77/2411.21 c #Conflicts: 307000 | #Constraints: 50522 2404.77/2411.21 c #Conflicts: 308000 | #Constraints: 51528 2404.77/2411.21 c #Conflicts: 309000 | #Constraints: 52534 2404.77/2411.21 c #Conflicts: 310000 | #Constraints: 53541 2404.77/2411.21 c #Conflicts: 311000 | #Constraints: 54547 2404.77/2411.21 c #Conflicts: 312000 | #Constraints: 55558 2404.77/2411.21 c #Conflicts: 313000 | #Constraints: 56568 2404.77/2411.21 c #Conflicts: 314000 | #Constraints: 57576 2404.77/2411.21 c #Conflicts: 315000 | #Constraints: 58579 2404.77/2411.21 c #Conflicts: 316000 | #Constraints: 59586 2404.77/2411.21 c #Conflicts: 317000 | #Constraints: 60593 2404.77/2411.21 c #Conflicts: 318000 | #Constraints: 61597 2404.77/2411.21 c #Conflicts: 319000 | #Constraints: 62599 2404.77/2411.21 c #Conflicts: 320000 | #Constraints: 63603 2404.77/2411.21 c #Conflicts: 321000 | #Constraints: 64610 2404.77/2411.21 c #Conflicts: 322000 | #Constraints: 65622 2404.77/2411.21 c #Conflicts: 323000 | #Constraints: 66629 2404.77/2411.21 c #Conflicts: 324000 | #Constraints: 67636 2404.77/2411.21 c #Conflicts: 325000 | #Constraints: 68644 2404.77/2411.21 c #Conflicts: 326000 | #Constraints: 69650 2404.77/2411.21 c #Conflicts: 327000 | #Constraints: 70656 2404.77/2411.21 c INPROCESSING 2404.77/2411.21 c GARBAGE COLLECT 2404.77/2411.21 c rational objective 176 2582.62/2589.50 c #Conflicts: 328000 | #Constraints: 39863 2582.62/2589.50 c #Conflicts: 329000 | #Constraints: 40863 2582.62/2589.50 c #Conflicts: 330000 | #Constraints: 41863 2582.62/2589.50 c #Conflicts: 331000 | #Constraints: 42863 2582.62/2589.50 c #Conflicts: 332000 | #Constraints: 43863 2582.62/2589.50 c #Conflicts: 333000 | #Constraints: 44863 2582.62/2589.50 c #Conflicts: 334000 | #Constraints: 45863 2582.62/2589.50 c #Conflicts: 335000 | #Constraints: 46865 2582.62/2589.50 c #Conflicts: 336000 | #Constraints: 47865 2582.62/2589.50 c #Conflicts: 337000 | #Constraints: 48865 2582.62/2589.50 c #Conflicts: 338000 | #Constraints: 49865 2582.62/2589.50 c #Conflicts: 339000 | #Constraints: 50865 2582.62/2589.50 c #Conflicts: 340000 | #Constraints: 51865 2582.62/2589.50 c #Conflicts: 341000 | #Constraints: 52865 2582.62/2589.50 c #Conflicts: 342000 | #Constraints: 53865 2582.62/2589.50 c INPROCESSING 2582.62/2589.50 c GARBAGE COLLECT 2582.62/2589.50 c rational objective 176 2626.21/2633.27 c #Conflicts: 343000 | #Constraints: 35117 2626.21/2633.27 c #Conflicts: 344000 | #Constraints: 36117 2626.21/2633.27 c #Conflicts: 345000 | #Constraints: 37117 2626.21/2633.27 c #Conflicts: 346000 | #Constraints: 38117 2626.21/2633.27 c #Conflicts: 347000 | #Constraints: 39117 2626.21/2633.27 c #Conflicts: 348000 | #Constraints: 40117 2626.21/2633.27 WSVECS04 Frhs2[1]: 6 -621 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[2]: 6 0 19.0001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[6]: 6 0 99.5001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[7]: 6 -351.5 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[10]: 6 -400 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[24]: 6 0 36.5001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[33]: 6 0 57 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[36]: 6 0 66 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[39]: 6 0 65 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[42]: 6 0 85.0001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[45]: 6 0 56 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[48]: 6 0 80 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[51]: 6 0 62.0001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[54]: 6 0 101.5 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[56]: 6 -446 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[77]: 6 -399 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[85]: 6 0 90.0001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[95]: 6 -429 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[103]: 6 0 96 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[109]: 6 0 82.0001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[112]: 6 0 67.0001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[120]: 6 -243 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[124]: 6 0 67 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[132]: 6 -252 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[136]: 6 0 90.5001 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[142]: 6 0 157 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[147]: 6 -312 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[150]: 6 -473 0 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[190]: 6 0 23 shouldn't be 2626.21/2633.27 WSVECS04 Frhs2[2373]: 6 -5.00007 0 shouldn't be 2964.25/2972.19 c #Conflicts: 349000 | #Constraints: 41117 2964.25/2972.19 c #Conflicts: 350000 | #Constraints: 42117 2964.25/2972.19 c #Conflicts: 351000 | #Constraints: 43117 2964.25/2972.19 c #Conflicts: 352000 | #Constraints: 44117 2964.25/2972.19 c #Conflicts: 353000 | #Constraints: 45117 2964.25/2972.19 c #Conflicts: 354000 | #Constraints: 46117 2964.25/2972.19 c #Conflicts: 355000 | #Constraints: 47117 2964.25/2972.19 c #Conflicts: 356000 | #Constraints: 48117 2964.25/2972.19 c #Conflicts: 357000 | #Constraints: 49117 2964.25/2972.19 c #Conflicts: 358000 | #Constraints: 50118 2964.25/2972.19 c #Conflicts: 359000 | #Constraints: 51118 2964.25/2972.19 c #Conflicts: 360000 | #Constraints: 52118 2964.25/2972.19 c #Conflicts: 361000 | #Constraints: 53119 2964.25/2972.19 c #Conflicts: 362000 | #Constraints: 54119 2964.25/2972.19 c #Conflicts: 363000 | #Constraints: 55119 2964.25/2972.19 c #Conflicts: 364000 | #Constraints: 56120 2964.25/2972.19 c #Conflicts: 365000 | #Constraints: 57120 2964.25/2972.19 c #Conflicts: 366000 | #Constraints: 58120 2964.25/2972.19 c #Conflicts: 367000 | #Constraints: 59120 2964.25/2972.19 c #Conflicts: 368000 | #Constraints: 60120 2964.25/2972.19 c #Conflicts: 369000 | #Constraints: 61120 2964.25/2972.19 c #Conflicts: 370000 | #Constraints: 62120 2964.25/2972.19 c bounds 2312 >= 192 @ 2809.89 2964.25/2972.19 c #Conflicts: 371000 | #Constraints: 63153 2964.25/2972.19 c #Conflicts: 372000 | #Constraints: 64155 2964.25/2972.19 c #Conflicts: 373000 | #Constraints: 65165 2964.25/2972.19 c #Conflicts: 374000 | #Constraints: 66175 2964.25/2972.19 c #Conflicts: 375000 | #Constraints: 67184 2964.25/2972.19 c #Conflicts: 376000 | #Constraints: 68192 2964.25/2972.19 c #Conflicts: 377000 | #Constraints: 69200 2964.25/2972.19 c #Conflicts: 378000 | #Constraints: 70210 2964.25/2972.19 c #Conflicts: 379000 | #Constraints: 71214 2964.25/2972.19 c #Conflicts: 380000 | #Constraints: 72218 2964.25/2972.19 c #Conflicts: 381000 | #Constraints: 73224 2964.25/2972.19 c #Conflicts: 382000 | #Constraints: 74230 2964.25/2972.19 c #Conflicts: 383000 | #Constraints: 75234 2964.25/2972.19 c INPROCESSING 2964.25/2972.19 c GARBAGE COLLECT 2964.25/2972.19 c rational objective 192 3126.32/3134.66 c #Conflicts: 384000 | #Constraints: 42176 3126.32/3134.66 c #Conflicts: 385000 | #Constraints: 43182 3126.32/3134.66 c #Conflicts: 386000 | #Constraints: 44191 3126.32/3134.66 c #Conflicts: 387000 | #Constraints: 45197 3126.32/3134.66 c #Conflicts: 388000 | #Constraints: 46201 3126.32/3134.66 c #Conflicts: 389000 | #Constraints: 47207 3126.32/3134.66 c #Conflicts: 390000 | #Constraints: 48212 3126.32/3134.66 c #Conflicts: 391000 | #Constraints: 49218 3126.32/3134.66 c #Conflicts: 392000 | #Constraints: 50221 3126.32/3134.66 c #Conflicts: 393000 | #Constraints: 51228 3126.32/3134.66 c #Conflicts: 394000 | #Constraints: 52234 3126.32/3134.66 c #Conflicts: 395000 | #Constraints: 53237 3126.32/3134.66 c #Conflicts: 396000 | #Constraints: 54244 3126.32/3134.66 c #Conflicts: 397000 | #Constraints: 55250 3126.32/3134.66 c #Conflicts: 398000 | #Constraints: 56254 3126.32/3134.66 c #Conflicts: 399000 | #Constraints: 57259 3126.32/3134.66 c #Conflicts: 400000 | #Constraints: 58263 3126.32/3134.66 c INPROCESSING 3126.32/3134.66 c GARBAGE COLLECT 3126.32/3134.66 c rational objective 192 3416.85/3426.00 c #Conflicts: 401000 | #Constraints: 37599 3416.85/3426.00 c #Conflicts: 402000 | #Constraints: 38599 3416.85/3426.00 c #Conflicts: 403000 | #Constraints: 39599 3416.85/3426.00 c #Conflicts: 404000 | #Constraints: 40599 3416.85/3426.00 c #Conflicts: 405000 | #Constraints: 41599 3416.85/3426.00 c #Conflicts: 406000 | #Constraints: 42599 3416.85/3426.00 c #Conflicts: 407000 | #Constraints: 43599 3416.85/3426.00 c #Conflicts: 408000 | #Constraints: 44600 3416.85/3426.00 c #Conflicts: 409000 | #Constraints: 45600 3416.85/3426.00 c #Conflicts: 410000 | #Constraints: 46600 3416.85/3426.00 c #Conflicts: 411000 | #Constraints: 47600 3416.85/3426.00 c #Conflicts: 412000 | #Constraints: 48600 3416.85/3426.00 c #Conflicts: 413000 | #Constraints: 49600 3416.85/3426.00 c #Conflicts: 414000 | #Constraints: 50600 3416.85/3426.00 c #Conflicts: 415000 | #Constraints: 51600 3416.85/3426.00 c #Conflicts: 416000 | #Constraints: 52600 3416.85/3426.00 c #Conflicts: 417000 | #Constraints: 53600 3416.85/3426.00 c #Conflicts: 418000 | #Constraints: 54600 3416.85/3426.00 c #Conflicts: 419000 | #Constraints: 55600 3416.85/3426.00 c #Conflicts: 420000 | #Constraints: 56600 3416.85/3426.00 c #Conflicts: 421000 | #Constraints: 57600 3416.85/3426.00 c #Conflicts: 422000 | #Constraints: 58601 3416.85/3426.00 c #Conflicts: 423000 | #Constraints: 59602 3416.85/3426.00 c #Conflicts: 424000 | #Constraints: 60602 3416.85/3426.00 c #Conflicts: 425000 | #Constraints: 61602 3416.85/3426.00 c #Conflicts: 426000 | #Constraints: 62602 3416.85/3426.00 c #Conflicts: 427000 | #Constraints: 63602 3416.85/3426.00 c #Conflicts: 428000 | #Constraints: 64603 3416.85/3426.00 c #Conflicts: 429000 | #Constraints: 65603 3416.85/3426.00 c #Conflicts: 430000 | #Constraints: 66603 3416.85/3426.00 c #Conflicts: 431000 | #Constraints: 67603 3416.85/3426.00 c #Conflicts: 432000 | #Constraints: 68604 3416.85/3426.00 WSVECS04 Frhs2[2]: 6 0 163 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[3]: 6 0 114 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[11]: 6 0 46.0001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[19]: 6 -262 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[26]: 6 0 230 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[27]: 6 0 189 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[35]: 6 0 155 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[38]: 6 0 37.0001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[40]: 6 -24 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[41]: 6 0 8.00002 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[54]: 6 0 67.0001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[59]: 6 -110 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[67]: 6 0 31 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[68]: 6 -49 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[70]: 6 0 4.00001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[71]: 6 -54 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[74]: 6 -36.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[77]: 6 -74 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[80]: 6 -83.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[84]: 6 0 126 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[85]: 6 0 4.00005 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[86]: 6 -74.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[89]: 6 -73.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[92]: 6 -88.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[95]: 6 -117 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[125]: 6 0 37 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[129]: 6 -25 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[139]: 6 0 28.0001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[144]: 6 -54.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[149]: 6 0 31 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[150]: 6 -785 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[160]: 6 -10.0001 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[442]: 6 -645 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[478]: 6 0 24.0001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[483]: 6 0 18 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[871]: 6 -56 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[999]: 6 0 136 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[1377]: 6 -90 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[1725]: 6 -103 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[2394]: 6 0 34.0001 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[3621]: 6 -84 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[3654]: 6 -93 0 shouldn't be 3416.85/3426.00 WSVECS04 Frhs2[3717]: 6 -257 0 shouldn't be 3557.94/3567.44 c #Conflicts: 433000 | #Constraints: 69604 3557.94/3567.44 c #Conflicts: 434000 | #Constraints: 70604 3557.94/3567.44 c #Conflicts: 435000 | #Constraints: 71604 3557.94/3567.44 c #Conflicts: 436000 | #Constraints: 72604 3557.94/3567.44 c #Conflicts: 437000 | #Constraints: 73604 3557.94/3567.44 c #Conflicts: 438000 | #Constraints: 74604 3557.94/3567.44 c #Conflicts: 439000 | #Constraints: 75604 3557.94/3567.44 c #Conflicts: 440000 | #Constraints: 76604 3557.94/3567.44 c #Conflicts: 441000 | #Constraints: 77605 3557.94/3567.44 c #Conflicts: 442000 | #Constraints: 78607 3557.94/3567.44 c #Conflicts: 443000 | #Constraints: 79608 3557.94/3567.44 c #Conflicts: 444000 | #Constraints: 80608 3557.94/3567.44 c INPROCESSING 3557.94/3567.44 c GARBAGE COLLECT 3557.94/3567.44 c rational objective 192 3600.03/3609.60 c #Conflicts: 445000 | #Constraints: 45183 3600.03/3609.60 c #Conflicts: 446000 | #Constraints: 46186 3600.03/3609.60 c #Conflicts: 447000 | #Constraints: 47194 3600.03/3609.60 c #Conflicts: 448000 | #Constraints: 48204 3600.03/3609.60 c #Conflicts: 449000 | #Constraints: 49211 3600.03/3609.60 c Program interrupted by user. 3600.03/3609.60 c cpu time 3567.46 s 3600.03/3609.60 c deterministic time 314197055660 3.14e+11 3600.03/3609.60 c optimization time 41.677 s 3600.03/3609.60 c total solve time 3525.76 s 3600.03/3609.60 c core-guided solve time 1874.15 s 3600.03/3609.60 c propagation time 2417.2 s 3600.03/3609.60 c conflict analysis time 1058.55 s 3600.03/3609.60 c propagations 292703179 3600.03/3609.60 c resolve steps 14683665 3600.03/3609.60 c decisions 5590443 3600.03/3609.60 c conflicts 449148 3600.03/3609.60 c restarts 1021 3600.03/3609.60 c inprocessing phases 30 3600.03/3609.60 c input clauses 3776 3600.03/3609.60 c input cardinalities 62 3600.03/3609.60 c input general constraints 3855 3600.03/3609.60 c input average constraint length 39.46 3600.03/3609.60 c input average constraint degree 390.67 3600.03/3609.60 c learned clauses 296948 3600.03/3609.60 c learned cardinalities 0 3600.03/3609.60 c learned general constraints 153555 3600.03/3609.60 c learned average constraint length 733.44 3600.03/3609.60 c learned average constraint degree 2879295652.78 3600.03/3609.60 c watched constraints 61927 3600.03/3609.60 c counting constraints 95483 3600.03/3609.60 c gcd simplifications 103943 3600.03/3609.60 c detected cardinalities 0 3600.03/3609.60 c weakened non-implied lits 397724211 3600.03/3609.60 c weakened non-implying lits 697969 3600.03/3609.60 c original variables 3825 3600.03/3609.60 c clausal propagations 30082906 3600.03/3609.60 c cardinality propagations 1055634 3600.03/3609.60 c watched propagations 5149349 3600.03/3609.60 c counting propagations 255902968 3600.03/3609.60 c watch lookups 48549884693 3600.03/3609.60 c watch backjump lookups 44585815031 3600.03/3609.60 c watch checks 203715876763 3600.03/3609.60 c propagation checks 14099720274 3600.03/3609.60 c constraint additions 2648224144 3600.03/3609.60 c trail pops 298738136 3600.03/3609.60 c formula constraints 7450 3600.03/3609.60 c learned constraints 447791 3600.03/3609.60 c bound constraints 66 3600.03/3609.60 c core-guided constraints 177 3600.03/3609.60 c encountered formula constraints 12357767 3600.03/3609.60 c encountered learned constraints 2491306 3600.03/3609.60 c encountered bound constraints 16066 3600.03/3609.60 c encountered core-guided constraints 189680 3600.03/3609.60 c LP total time 73.119 s 3600.03/3609.60 c LP solve time 67.9 s 3600.03/3609.60 c LP constraints added 7777 3600.03/3609.60 c LP constraints removed 307 3600.03/3609.60 c LP pivots internal 449152 3600.03/3609.60 c LP pivots root 53844 3600.03/3609.60 c LP calls 1597 3600.03/3609.60 c LP optimalities 237 3600.03/3609.60 c LP no pivot count 67 3600.03/3609.60 c LP infeasibilities 1356 3600.03/3609.60 c LP valid Farkas constraints 1356 3600.03/3609.60 c LP learned Farkas constraints 1356 3600.03/3609.60 c LP basis resets 0 3600.03/3609.60 c LP cycling count 0 3600.03/3609.60 c LP singular count 0 3600.03/3609.60 c LP no primal count 0 3600.03/3609.60 c LP no farkas count 0 3600.03/3609.60 c LP other issue count 0 3600.03/3609.60 c LP Gomory cuts 0 3600.03/3609.60 c LP learned cuts 327 3600.03/3609.60 c LP deleted cuts 307 3600.03/3609.60 c LP encountered Gomory constraints 0 3600.03/3609.60 c LP encountered Farkas constraints 62221 3600.03/3609.60 c LP encountered learned Farkas constraints 14417 3600.03/3609.60 c CG auxiliary variables introduced 63 3600.03/3609.60 c CG solutions found 54 3600.03/3609.60 c CG cores constructed 12 3600.03/3609.60 c CG core cardinality constraints returned 0 3600.03/3609.60 c CG unit cores 0 3600.03/3609.60 c CG single cores 12 3600.03/3609.60 c CG blocks removed during cardinality reduction 0 3600.03/3609.60 c CG first core best 0 3600.03/3609.60 c CG decision core best 0 3600.03/3609.60 c CG core reduction tie 0 3600.03/3609.60 c CG core degree average 1.00 3600.03/3609.60 c CG core slack average 195.50 3600.03/3609.60 s SATISFIABLE 3600.03/3609.60 v x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 x108 -x109 -x110 x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 x1604 x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 x2370 x2371 x2372 x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 x2638 x2639 x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720 x2721 x2722 x2723 x2724 x2725 x2726 x2727 x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 x2800 x2801 x2802 x2803 x2804 x2805 x2806 x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 x2878 x2879 x2880 x2881 x2882 x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 x2952 x2953 x2954 x2955 x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 x3022 x3023 x3024 x3025 x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 x3090 x3091 x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 x3217 x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 x3497 x3498 x3499 x3500 x3501 x3502 x3503 x3504 x3505 x3506 x3507 x3508 x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 x3540 x3541 x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 x3580 x3581 x3582 x3583 x3584 x3585 x3586 x3587 x3588 x3589 x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 x3617 x3618 x3619 x3620 x3621 x3622 x3623 x3624 x3625 x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x3650 x3651 x3652 x3653 x3654 x3655 x3656 x3657 x3658 x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 x3682 x3683 x3684 x3685 x3686 x3687 x3688 x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 x3710 x3711 x3712 x3713 x3714 x3715 x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 x3734 x3735 x3736 x3737 x3738 x3739 x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 x3757 x3758 x3759 x3760 x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 x3776 x3777 x3778 x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 x3792 x3793 x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 x3805 x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 x3815 x3816 -x3817 -x3818 -x3819 -x3820 x3821 x3822 -x3823 -x3824 x3825
OK 2312
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (44245 MiB free)
memory of node 1: 64510 MiB (58494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457219-1721833234/watcher-4457219-1721833234 -o /tmp/evaluation-result-4457219-1721833234/solver-4457219-1721833234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184633 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457219-1721833234 --lp-cut-gomory=0 HOME/instance-4457219-1721833234.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=186683, runsolver pid=186680
[startup+0.100086 s]*
/proc/loadavg: 4.13 4.10 4.04 5/261 186684
/proc/meminfo: memFree=105193784/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=44872 memory=15884 CPUtime=0.09 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 2830 0 0 0 8 1 0 0 20 0 1 0 19847573 45948928 3971 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 11218 3971 1794 992 0 3076 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 15884 KiB
[startup+0.205635 s]*
/proc/loadavg: 4.13 4.10 4.04 5/261 186684
/proc/meminfo: memFree=105186752/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=45896 memory=18984 CPUtime=0.2 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 3126 0 0 0 18 2 0 0 20 0 1 0 19847573 46997504 4746 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 11474 4746 1794 992 0 3332 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 18984 KiB
[startup+0.305549 s]*
/proc/loadavg: 4.13 4.10 4.04 5/261 186684
/proc/meminfo: memFree=105181908/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=47060 memory=20336 CPUtime=0.29 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 3368 0 0 0 26 3 0 0 20 0 1 0 19847573 48189440 5084 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 11765 5084 1873 992 0 3623 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20336 KiB
[startup+0.700213 s]
/proc/loadavg: 4.13 4.10 4.04 5/261 186684
/proc/meminfo: memFree=105169336/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=50188 memory=23036 CPUtime=0.69 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 4055 0 0 0 64 5 0 0 20 0 1 0 19847573 51392512 5759 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 12547 5759 1889 992 0 4405 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50188 KiB
Current children cumulated memory: 23036 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.10 4.04 6/259 186684
/proc/meminfo: memFree=105858128/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=51084 memory=24884 CPUtime=1.49 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 4516 0 0 0 142 7 0 0 20 0 1 0 19847573 52310016 6221 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 12771 6221 1889 992 0 4629 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51084 KiB
Current children cumulated memory: 24884 KiB
[startup+3.10583 s]
/proc/loadavg: 4.13 4.10 4.04 5/261 186730
/proc/meminfo: memFree=110647244/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=61584 memory=30856 CPUtime=3.09 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 5977 0 0 0 297 12 0 0 20 0 1 0 19847573 63062016 7714 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 15396 7714 1889 992 0 7254 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61584 KiB
Current children cumulated memory: 30856 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.10 4.04 6/260 186777
/proc/meminfo: memFree=110387832/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=67108 memory=39168 CPUtime=6.28 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 7582 0 0 0 608 20 0 0 20 0 1 0 19847573 68718592 9792 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 16777 9792 1889 992 0 8635 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 67108 KiB
Current children cumulated memory: 39168 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.04 6/260 186778
/proc/meminfo: memFree=110016792/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=86512 memory=59536 CPUtime=12.66 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 11163 0 0 0 1222 44 0 0 20 0 1 0 19847573 88588288 14884 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 21628 14884 1889 992 0 13486 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86512 KiB
Current children cumulated memory: 59536 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.03 5/260 186780
/proc/meminfo: memFree=109416060/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=112320 memory=78712 CPUtime=25.43 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 14889 0 0 0 2467 76 0 0 20 0 1 0 19847573 115015680 19678 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 28080 19678 1889 992 0 19938 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 112320 KiB
Current children cumulated memory: 78712 KiB
[startup+51.1055 s]
/proc/loadavg: 4.31 4.15 4.05 5/260 186795
/proc/meminfo: memFree=107437552/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=197248 memory=141584 CPUtime=50.97 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 24543 0 0 0 4952 145 0 0 20 0 1 0 19847573 201981952 35396 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 49312 35396 1889 992 0 41170 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 197248 KiB
Current children cumulated memory: 141584 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.19 4.07 5/262 186809
/proc/meminfo: memFree=105054512/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=233052 memory=188132 CPUtime=102.04 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 33084 0 0 0 9960 244 0 0 20 0 1 0 19847573 238645248 47033 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 58263 47033 1889 992 0 50121 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 233052 KiB
Current children cumulated memory: 188132 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.07 6/264 186821
/proc/meminfo: memFree=102347812/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=338808 memory=279496 CPUtime=161.89 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 46263 0 0 0 15850 339 0 0 20 0 1 0 19847573 346939392 69874 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 84702 69874 1889 992 0 76560 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 338808 KiB
Current children cumulated memory: 279496 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.08 5/264 186832
/proc/meminfo: memFree=99597684/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=347060 memory=288704 CPUtime=221.73 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 48524 0 0 0 21741 432 0 0 20 0 1 0 19847573 355389440 72176 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 86765 72176 1889 992 0 78623 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 347060 KiB
Current children cumulated memory: 288704 KiB
[startup+282.3 s]
/proc/loadavg: 4.46 4.24 4.11 5/264 186842
/proc/meminfo: memFree=97053700/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=351876 memory=293388 CPUtime=281.56 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 50855 0 0 0 27631 525 0 0 20 0 1 0 19847573 360321024 73347 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 87969 73347 1889 992 0 79827 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 351876 KiB
Current children cumulated memory: 293388 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.23 4.11 5/263 186855
/proc/meminfo: memFree=94338088/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=461508 memory=360816 CPUtime=341.38 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 58922 0 0 0 33519 619 0 0 20 0 1 0 19847573 472584192 90204 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 115377 90204 1889 992 0 107235 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 461508 KiB
Current children cumulated memory: 360816 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.10 5/264 186866
/proc/meminfo: memFree=92758716/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=474840 memory=377824 CPUtime=401.22 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 61722 0 0 0 39452 670 0 0 20 0 1 0 19847573 486236160 94456 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 118710 94456 1889 992 0 110568 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 474840 KiB
Current children cumulated memory: 377824 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.21 4.11 5/263 186876
/proc/meminfo: memFree=91265820/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=476676 memory=379264 CPUtime=461.04 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 62243 0 0 0 45362 742 0 0 20 0 1 0 19847573 488116224 94816 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 119169 94816 1889 992 0 111027 0
################
# More data... #
################
Current children cumulated memory: 771512 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.19 4.12 9/262 187971
/proc/meminfo: memFree=40132104/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=822876 memory=775924 CPUtime=2914.56 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 118517 0 0 0 288661 2795 0 0 20 0 1 0 19847573 842625024 193981 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 205719 193981 1889 992 0 197577 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 822876 KiB
Current children cumulated memory: 775924 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/264 187987
/proc/meminfo: memFree=38723588/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778108 CPUtime=2974.41 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 119183 0 0 0 294599 2842 0 0 20 0 1 0 19847573 844423168 194527 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194527 1889 992 0 198016 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778108 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.10 6/263 187998
/proc/meminfo: memFree=37048516/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778108 CPUtime=3034.26 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 119291 0 0 0 300531 2895 0 0 20 0 1 0 19847573 844423168 194527 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194527 1889 992 0 198016 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778108 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.10 6/264 188011
/proc/meminfo: memFree=35396396/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778108 CPUtime=3094.11 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 119416 0 0 0 306463 2948 0 0 20 0 1 0 19847573 844423168 194527 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194527 1889 992 0 198016 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 188021
/proc/meminfo: memFree=34172100/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778108 CPUtime=3153.96 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 119549 0 0 0 312402 2994 0 0 20 0 1 0 19847573 844423168 194527 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194527 1889 992 0 198016 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.17 4.11 5/264 188032
/proc/meminfo: memFree=33281268/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778208 CPUtime=3213.79 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 119682 0 0 0 318342 3037 0 0 20 0 1 0 19847573 844423168 194552 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194552 1889 992 0 198016 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.11 6/262 188429
/proc/meminfo: memFree=32328988/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778208 CPUtime=3273.64 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 119790 0 0 0 324292 3072 0 0 20 0 1 0 19847573 844423168 194552 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194552 1889 992 0 198016 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/266 188443
/proc/meminfo: memFree=31330176/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=778500 CPUtime=3333.49 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 120007 0 0 0 330245 3104 0 0 20 0 1 0 19847573 844423168 194625 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194625 1889 992 0 198016 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 778500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/263 188455
/proc/meminfo: memFree=30177496/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=779820 CPUtime=3393.33 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 120464 0 0 0 336199 3134 0 0 20 0 1 0 19847573 844423168 194955 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 194955 1889 992 0 198016 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 779820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.10 6/264 188466
/proc/meminfo: memFree=29480608/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=824632 memory=781104 CPUtime=3453.14 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 120931 0 0 0 342149 3165 0 0 20 0 1 0 19847573 844423168 195276 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 206158 195276 1889 992 0 198016 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 781104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 188646
/proc/meminfo: memFree=28604436/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=837160 memory=791328 CPUtime=3512.97 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 123619 0 0 0 348101 3196 0 0 20 0 1 0 19847573 857251840 197832 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 209290 197832 1889 992 0 201148 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 837160 KiB
Current children cumulated memory: 791328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 188659
/proc/meminfo: memFree=27759496/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=867252 memory=811628 CPUtime=3572.8 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 128888 0 0 0 354049 3231 0 0 20 0 1 0 19847573 888066048 202907 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 216813 202907 1889 992 0 208671 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 811628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.21 4.15 4.10 5/266 188665
/proc/meminfo: memFree=27223664/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=867252 memory=811860 CPUtime=3600.03 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 128996 0 0 0 356745 3258 0 0 20 0 1 0 19847573 888066048 202965 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 216813 202965 1889 992 0 208671 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 811860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.08 s]
# the end of solver process 186683 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3567.46 s, system=32.617 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.20 4.15 4.10 4/264 188665
/proc/meminfo: memFree=27203172/131524600 swapFree=131054736/131071996
[pid=186683] ppid=186680 vsize=867252 memory=811860 CPUtime=3600.05 cores=4,6
/proc/186683/stat : 186683 (roundingsat) R 186680 186683 184622 0 -1 4194304 129003 0 0 0 356746 3259 0 0 20 0 1 0 19847573 888066048 202965 134679101440 4194304 8254037 140734568499984 0 0 0 0 0 25182210 0 0 0 17 6 0 0 63 0 0 9037040 9046032 27058176 140734568506204 140734568506466 140734568506466 140734568513481 0
/proc/186683/statm: 216813 202965 1889 992 0 208671 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 811860 KiB
Child status: 0
Real time (s): 3610.08
CPU time (s): 3600.08
CPU user time (s): 3567.46
CPU system time (s): 32.617
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 867252
Max. memory (cumulated for all children) (KiB): 811860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.46
system time used= 32.617
maximum resident set size= 811860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 68322952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4204
involuntary context switches= 8422
# summary of solver processes directly reported to runsolver:
# pid: 186683
# total CPU time (s): 3600.08
# total CPU user time (s): 3567.46
# total CPU system time (s): 32.617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1533 second user time and 12.6882 second system time
The end
Begin job on nodeC034 at 2024-07-24 17:00:34 IDJOB=4457219 IDBENCH=158576 IDSOLVER=3085 FILE ID=nodeC034/4457219-1721833234 RUNJOBID= nodeC034-1721829622-184633 SLURM_JOB_ID= 7891500 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457219-1721833234/watcher-4457219-1721833234 -o /tmp/evaluation-result-4457219-1721833234/solver-4457219-1721833234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184633 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457219-1721833234 --lp-cut-gomory=0 HOME/instance-4457219-1721833234.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c RANDOM SEED=1449249419 nodeC034.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 : 3671.892 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3692.996 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3611.933 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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.276 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3653.559 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3693.036 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3661.599 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.230 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 105206800 kB MemAvailable: 128953464 kB Buffers: 256048 kB Cached: 24249360 kB SwapCached: 96 kB Active: 1636172 kB Inactive: 23965520 kB Active(anon): 1920 kB Inactive(anon): 1136648 kB Active(file): 1634252 kB Inactive(file): 22828872 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 54044 kB Writeback: 0 kB AnonPages: 1093996 kB Mapped: 102744 kB Shmem: 42580 kB KReclaimable: 246376 kB Slab: 362072 kB SReclaimable: 246376 kB SUnreclaim: 115696 kB KernelStack: 4276 kB PageTables: 11580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1590460 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14048 kB HardwareCorrupted: 0 kB AnonHugePages: 940032 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890052 MiB End job on nodeC034 at 2024-07-24 18:00:44