| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 2312 | 3600.07 | 3609.78 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.04 c #variables 3825 #constraints 7450 0.00/0.05 c bounds - >= 0 @ 0.021519 0.00/0.05 c rational objective 0 9.45/9.57 c bounds 20825 >= 0 @ 0.029973 9.45/9.57 c bounds 18424 >= 0 @ 0.03373 9.45/9.57 c bounds 17473 >= 0 @ 0.037595 9.45/9.57 c bounds 16395 >= 0 @ 0.039139 9.45/9.57 c bounds 15273 >= 0 @ 0.040993 9.45/9.57 c bounds 14286 >= 0 @ 0.044812 9.45/9.57 c bounds 13471 >= 0 @ 0.049159 9.45/9.57 c bounds 13344 >= 0 @ 0.050287 9.45/9.57 c bounds 12607 >= 0 @ 0.054328 9.45/9.57 c bounds 11601 >= 0 @ 0.054942 9.45/9.57 c bounds 10800 >= 0 @ 0.059425 9.45/9.57 c bounds 10447 >= 0 @ 0.063575 9.45/9.57 c bounds 9907 >= 0 @ 0.066562 9.45/9.57 c bounds 9587 >= 0 @ 0.070732 9.45/9.57 c bounds 9046 >= 0 @ 0.074893 9.45/9.57 c bounds 8452 >= 0 @ 0.076916 9.45/9.57 c bounds 8176 >= 0 @ 0.08426 9.45/9.57 c bounds 8119 >= 0 @ 0.088351 9.45/9.57 c bounds 7654 >= 0 @ 0.097476 9.45/9.57 c bounds 7067 >= 0 @ 0.099161 9.45/9.57 c bounds 7001 >= 0 @ 0.10644 9.45/9.57 c bounds 6969 >= 0 @ 0.110411 9.45/9.57 c bounds 6939 >= 0 @ 0.112849 9.45/9.57 c bounds 6911 >= 0 @ 0.115759 9.45/9.57 c bounds 6885 >= 0 @ 0.118996 9.45/9.57 c bounds 6861 >= 0 @ 0.123261 9.45/9.57 c bounds 6839 >= 0 @ 0.125553 9.45/9.57 c bounds 6819 >= 0 @ 0.130015 9.45/9.57 c bounds 6702 >= 0 @ 0.148535 9.45/9.57 c bounds 6225 >= 0 @ 0.153829 9.45/9.57 c bounds 6014 >= 0 @ 0.158285 9.45/9.57 c bounds 5990 >= 0 @ 0.159683 9.45/9.57 c bounds 5585 >= 0 @ 0.169257 9.45/9.57 c bounds 5510 >= 0 @ 0.174088 9.45/9.57 c bounds 5178 >= 0 @ 0.178164 9.45/9.57 c bounds 4787 >= 0 @ 0.179576 9.45/9.57 c bounds 4633 >= 0 @ 0.18374 9.45/9.57 c bounds 4299 >= 0 @ 0.185062 9.45/9.57 c bounds 3996 >= 0 @ 0.185589 9.45/9.57 c bounds 3795 >= 0 @ 0.193711 9.45/9.57 c bounds 3549 >= 0 @ 0.195144 9.45/9.57 c bounds 3333 >= 0 @ 0.197499 9.45/9.57 c bounds 3249 >= 0 @ 0.221693 9.45/9.57 c bounds 3085 >= 0 @ 0.223493 9.45/9.57 c bounds 2950 >= 0 @ 0.225193 9.45/9.57 c bounds 2844 >= 0 @ 0.227198 9.45/9.57 c bounds 2767 >= 0 @ 0.229067 9.45/9.57 c bounds 2719 >= 0 @ 0.229981 9.45/9.57 c bounds 2710 >= 0 @ 0.283407 9.45/9.57 c bounds 2484 >= 0 @ 0.284741 9.45/9.57 c bounds 2437 >= 0 @ 0.292359 9.45/9.57 c bounds 2345 >= 0 @ 0.294779 9.45/9.57 c bounds 2329 >= 0 @ 0.305589 9.45/9.57 c bounds 2312 >= 0 @ 0.307506 9.45/9.57 c bounds 2312 >= 16 @ 0.31034 9.45/9.57 c #Conflicts: 1000 | #Constraints: 8516 9.45/9.57 c #Conflicts: 2000 | #Constraints: 9524 9.45/9.57 c INPROCESSING 9.45/9.57 c GARBAGE COLLECT 9.45/9.57 c bounds 2312 >= 32 @ 4.21302 9.45/9.57 c bounds 2312 >= 48 @ 4.47669 9.45/9.57 c bounds 2312 >= 64 @ 4.95983 9.45/9.57 c #Conflicts: 3000 | #Constraints: 9497 9.45/9.57 c bounds 2312 >= 80 @ 6.50364 9.45/9.57 c #Conflicts: 4000 | #Constraints: 10507 9.45/9.57 c INPROCESSING 9.45/9.57 c GARBAGE COLLECT 9.45/9.57 c rational objective 80 13.95/14.08 c #Conflicts: 5000 | #Constraints: 9900 13.95/14.08 c #Conflicts: 6000 | #Constraints: 10901 13.95/14.08 c INPROCESSING 13.95/14.08 c GARBAGE COLLECT 13.95/14.08 c rational objective 80 32.39/32.57 c #Conflicts: 7000 | #Constraints: 9935 32.39/32.57 c #Conflicts: 8000 | #Constraints: 10937 32.39/32.57 c #Conflicts: 9000 | #Constraints: 11945 32.39/32.57 c INPROCESSING 32.39/32.57 c GARBAGE COLLECT 32.39/32.57 c bounds 2312 >= 96 @ 24.0201 32.39/32.57 c #Conflicts: 10000 | #Constraints: 10638 32.39/32.57 c #Conflicts: 11000 | #Constraints: 11638 32.39/32.57 c #Conflicts: 12000 | #Constraints: 12638 32.39/32.57 c INPROCESSING 32.39/32.57 c GARBAGE COLLECT 32.39/32.57 c rational objective 96 57.52/57.78 c #Conflicts: 13000 | #Constraints: 11109 57.52/57.78 c #Conflicts: 14000 | #Constraints: 12109 57.52/57.78 c #Conflicts: 15000 | #Constraints: 13111 57.52/57.78 c #Conflicts: 16000 | #Constraints: 14118 57.52/57.78 c #Conflicts: 17000 | #Constraints: 15126 57.52/57.78 c #Conflicts: 18000 | #Constraints: 16137 57.52/57.78 c #Conflicts: 19000 | #Constraints: 17145 57.52/57.78 c #Conflicts: 20000 | #Constraints: 18152 57.52/57.78 c INPROCESSING 57.52/57.78 c GARBAGE COLLECT 57.52/57.78 c rational objective 96 79.56/79.82 c #Conflicts: 21000 | #Constraints: 13643 79.56/79.82 c #Conflicts: 22000 | #Constraints: 14643 79.56/79.82 c bounds 2312 >= 112 @ 69.1552 79.56/79.82 c #Conflicts: 23000 | #Constraints: 15661 79.56/79.82 c #Conflicts: 24000 | #Constraints: 16665 79.56/79.82 c INPROCESSING 79.56/79.82 c GARBAGE COLLECT 79.56/79.82 c rational objective 112 84.64/84.97 c #Conflicts: 25000 | #Constraints: 12858 84.64/84.97 WSVECS04 Frhs2[15]: 6 -30.5001 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[27]: 6 -117 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[42]: 6 -181 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[50]: 6 -66.0001 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[54]: 6 -145.5 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[58]: 6 0 36 shouldn't be 84.64/84.97 WSVECS04 Frhs2[66]: 6 0 12 shouldn't be 84.64/84.97 WSVECS04 Frhs2[68]: 6 -311 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[71]: 6 -11.0001 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[77]: 6 -41 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[80]: 6 -53.0001 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[92]: 6 -55 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[106]: 6 -3.00002 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[109]: 6 -5.00008 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[138]: 6 0 23 shouldn't be 84.64/84.97 WSVECS04 Frhs2[141]: 6 0 80.0001 shouldn't be 84.64/84.97 WSVECS04 Frhs2[145]: 6 -2.00002 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[551]: 6 -312 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[815]: 6 -659 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[840]: 6 0 68.0001 shouldn't be 84.64/84.97 WSVECS04 Frhs2[1568]: 6 -129 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[1793]: 6 -391 0 shouldn't be 84.64/84.97 WSVECS04 Frhs2[3599]: 6 -148 0 shouldn't be 99.70/100.09 c #Conflicts: 26000 | #Constraints: 13859 99.70/100.09 c #Conflicts: 27000 | #Constraints: 14859 99.70/100.09 c #Conflicts: 28000 | #Constraints: 15859 99.70/100.09 c INPROCESSING 99.70/100.09 c GARBAGE COLLECT 99.70/100.09 c rational objective 112 152.85/153.39 c #Conflicts: 29000 | #Constraints: 12328 152.85/153.39 c #Conflicts: 30000 | #Constraints: 13329 152.85/153.39 c #Conflicts: 31000 | #Constraints: 14337 152.85/153.39 c #Conflicts: 32000 | #Constraints: 15346 152.85/153.39 c #Conflicts: 33000 | #Constraints: 16358 152.85/153.39 c #Conflicts: 34000 | #Constraints: 17366 152.85/153.39 c #Conflicts: 35000 | #Constraints: 18377 152.85/153.39 c #Conflicts: 36000 | #Constraints: 19388 152.85/153.39 c #Conflicts: 37000 | #Constraints: 20400 152.85/153.39 c #Conflicts: 38000 | #Constraints: 21406 152.85/153.39 c #Conflicts: 39000 | #Constraints: 22412 152.85/153.39 c #Conflicts: 40000 | #Constraints: 23421 152.85/153.39 c #Conflicts: 41000 | #Constraints: 24429 152.85/153.39 c INPROCESSING 152.85/153.39 c GARBAGE COLLECT 152.85/153.39 c rational objective 112 205.49/206.13 c #Conflicts: 42000 | #Constraints: 16788 205.49/206.13 c #Conflicts: 43000 | #Constraints: 17788 205.49/206.13 c #Conflicts: 44000 | #Constraints: 18788 205.49/206.13 c #Conflicts: 45000 | #Constraints: 19788 205.49/206.13 c bounds 2312 >= 128 @ 195.32 205.49/206.13 c #Conflicts: 46000 | #Constraints: 20809 205.49/206.13 c #Conflicts: 47000 | #Constraints: 21811 205.49/206.13 c INPROCESSING 205.49/206.13 c GARBAGE COLLECT 205.49/206.13 c rational objective 128 232.20/232.96 c #Conflicts: 48000 | #Constraints: 15702 232.20/232.96 c #Conflicts: 49000 | #Constraints: 16702 232.20/232.96 c #Conflicts: 50000 | #Constraints: 17708 232.20/232.96 c #Conflicts: 51000 | #Constraints: 18710 232.20/232.96 c #Conflicts: 52000 | #Constraints: 19714 232.20/232.96 c INPROCESSING 232.20/232.96 c GARBAGE COLLECT 232.20/232.96 c rational objective 128 259.34/260.12 c #Conflicts: 53000 | #Constraints: 14249 259.34/260.12 c #Conflicts: 54000 | #Constraints: 15249 259.34/260.12 c #Conflicts: 55000 | #Constraints: 16249 259.34/260.12 c #Conflicts: 56000 | #Constraints: 17249 259.34/260.12 c #Conflicts: 57000 | #Constraints: 18249 259.34/260.12 c #Conflicts: 58000 | #Constraints: 19249 259.34/260.12 c INPROCESSING 259.34/260.12 c GARBAGE COLLECT 259.34/260.12 c rational objective 128 358.23/359.30 c #Conflicts: 59000 | #Constraints: 15467 358.23/359.30 c #Conflicts: 60000 | #Constraints: 16470 358.23/359.30 c #Conflicts: 61000 | #Constraints: 17478 358.23/359.30 c #Conflicts: 62000 | #Constraints: 18489 358.23/359.30 c #Conflicts: 63000 | #Constraints: 19499 358.23/359.30 c #Conflicts: 64000 | #Constraints: 20506 358.23/359.30 c #Conflicts: 65000 | #Constraints: 21514 358.23/359.30 c #Conflicts: 66000 | #Constraints: 22519 358.23/359.30 c #Conflicts: 67000 | #Constraints: 23526 358.23/359.30 c #Conflicts: 68000 | #Constraints: 24533 358.23/359.30 c #Conflicts: 69000 | #Constraints: 25541 358.23/359.30 c #Conflicts: 70000 | #Constraints: 26545 358.23/359.30 c #Conflicts: 71000 | #Constraints: 27552 358.23/359.30 c #Conflicts: 72000 | #Constraints: 28560 358.23/359.30 c #Conflicts: 73000 | #Constraints: 29569 358.23/359.30 c #Conflicts: 74000 | #Constraints: 30574 358.23/359.30 c #Conflicts: 75000 | #Constraints: 31581 358.23/359.30 c #Conflicts: 76000 | #Constraints: 32586 358.23/359.30 c INPROCESSING 358.23/359.30 c GARBAGE COLLECT 358.23/359.30 c rational objective 128 440.18/441.55 c #Conflicts: 77000 | #Constraints: 20737 440.18/441.55 c #Conflicts: 78000 | #Constraints: 21737 440.18/441.55 c #Conflicts: 79000 | #Constraints: 22737 440.18/441.55 c #Conflicts: 80000 | #Constraints: 23738 440.18/441.55 c #Conflicts: 81000 | #Constraints: 24738 440.18/441.55 c #Conflicts: 82000 | #Constraints: 25738 440.18/441.55 c #Conflicts: 83000 | #Constraints: 26739 440.18/441.55 c #Conflicts: 84000 | #Constraints: 27739 440.18/441.55 c INPROCESSING 440.18/441.55 c GARBAGE COLLECT 440.18/441.55 c rational objective 128 478.87/480.37 c #Conflicts: 85000 | #Constraints: 18693 478.87/480.37 c #Conflicts: 86000 | #Constraints: 19695 478.87/480.37 c #Conflicts: 87000 | #Constraints: 20697 478.87/480.37 c #Conflicts: 88000 | #Constraints: 21697 478.87/480.37 c #Conflicts: 89000 | #Constraints: 22698 478.87/480.37 c #Conflicts: 90000 | #Constraints: 23700 478.87/480.37 c #Conflicts: 91000 | #Constraints: 24702 478.87/480.37 c INPROCESSING 478.87/480.37 c GARBAGE COLLECT 478.87/480.37 c rational objective 128 597.26/599.06 c #Conflicts: 92000 | #Constraints: 17621 597.26/599.06 c #Conflicts: 93000 | #Constraints: 18621 597.26/599.06 c #Conflicts: 94000 | #Constraints: 19621 597.26/599.06 c #Conflicts: 95000 | #Constraints: 20621 597.26/599.06 c #Conflicts: 96000 | #Constraints: 21621 597.26/599.06 c #Conflicts: 97000 | #Constraints: 22621 597.26/599.06 c bounds 2312 >= 144 @ 505.307 597.26/599.06 c #Conflicts: 98000 | #Constraints: 23643 597.26/599.06 c #Conflicts: 99000 | #Constraints: 24644 597.26/599.06 c #Conflicts: 100000 | #Constraints: 25644 597.26/599.06 c #Conflicts: 101000 | #Constraints: 26644 597.26/599.06 c #Conflicts: 102000 | #Constraints: 27645 597.26/599.06 c #Conflicts: 103000 | #Constraints: 28645 597.26/599.06 c #Conflicts: 104000 | #Constraints: 29645 597.26/599.06 c #Conflicts: 105000 | #Constraints: 30646 597.26/599.06 c #Conflicts: 106000 | #Constraints: 31650 597.26/599.06 c #Conflicts: 107000 | #Constraints: 32656 597.26/599.06 c #Conflicts: 108000 | #Constraints: 33661 597.26/599.06 c #Conflicts: 109000 | #Constraints: 34669 597.26/599.06 c #Conflicts: 110000 | #Constraints: 35680 597.26/599.06 c #Conflicts: 111000 | #Constraints: 36691 597.26/599.06 c #Conflicts: 112000 | #Constraints: 37695 597.26/599.06 c #Conflicts: 113000 | #Constraints: 38704 597.26/599.06 c INPROCESSING 597.26/599.06 c GARBAGE COLLECT 597.26/599.06 c rational objective 144 649.12/651.08 c #Conflicts: 114000 | #Constraints: 23861 649.12/651.08 c #Conflicts: 115000 | #Constraints: 24861 649.12/651.08 c #Conflicts: 116000 | #Constraints: 25861 649.12/651.08 c #Conflicts: 117000 | #Constraints: 26861 649.12/651.08 c #Conflicts: 118000 | #Constraints: 27861 649.12/651.08 c #Conflicts: 119000 | #Constraints: 28861 649.12/651.08 c #Conflicts: 120000 | #Constraints: 29861 649.12/651.08 c #Conflicts: 121000 | #Constraints: 30861 649.12/651.08 c #Conflicts: 122000 | #Constraints: 31861 649.12/651.08 c INPROCESSING 649.12/651.08 c GARBAGE COLLECT 649.12/651.08 c rational objective 144 785.50/787.78 c #Conflicts: 123000 | #Constraints: 21469 785.50/787.78 c #Conflicts: 124000 | #Constraints: 22472 785.50/787.78 c #Conflicts: 125000 | #Constraints: 23479 785.50/787.78 c #Conflicts: 126000 | #Constraints: 24482 785.50/787.78 c #Conflicts: 127000 | #Constraints: 25486 785.50/787.78 c #Conflicts: 128000 | #Constraints: 26493 785.50/787.78 c #Conflicts: 129000 | #Constraints: 27503 785.50/787.78 c #Conflicts: 130000 | #Constraints: 28512 785.50/787.78 c #Conflicts: 131000 | #Constraints: 29518 785.50/787.78 c #Conflicts: 132000 | #Constraints: 30521 785.50/787.78 c #Conflicts: 133000 | #Constraints: 31530 785.50/787.78 c #Conflicts: 134000 | #Constraints: 32534 785.50/787.78 c #Conflicts: 135000 | #Constraints: 33539 785.50/787.78 c #Conflicts: 136000 | #Constraints: 34543 785.50/787.78 c #Conflicts: 137000 | #Constraints: 35548 785.50/787.78 c #Conflicts: 138000 | #Constraints: 36557 785.50/787.78 c #Conflicts: 139000 | #Constraints: 37564 785.50/787.78 c #Conflicts: 140000 | #Constraints: 38573 785.50/787.78 c #Conflicts: 141000 | #Constraints: 39580 785.50/787.78 c #Conflicts: 142000 | #Constraints: 40587 785.50/787.78 c #Conflicts: 143000 | #Constraints: 41595 785.50/787.78 c #Conflicts: 144000 | #Constraints: 42602 785.50/787.78 c #Conflicts: 145000 | #Constraints: 43608 785.50/787.78 c #Conflicts: 146000 | #Constraints: 44617 785.50/787.78 c #Conflicts: 147000 | #Constraints: 45626 785.50/787.78 c INPROCESSING 785.50/787.78 c GARBAGE COLLECT 785.50/787.78 c rational objective 144 868.80/871.26 c #Conflicts: 148000 | #Constraints: 27316 868.80/871.26 c #Conflicts: 149000 | #Constraints: 28317 868.80/871.26 c #Conflicts: 150000 | #Constraints: 29317 868.80/871.26 c #Conflicts: 151000 | #Constraints: 30317 868.80/871.26 c #Conflicts: 152000 | #Constraints: 31317 868.80/871.26 c #Conflicts: 153000 | #Constraints: 32317 868.80/871.26 c #Conflicts: 154000 | #Constraints: 33318 868.80/871.26 c #Conflicts: 155000 | #Constraints: 34319 868.80/871.26 c #Conflicts: 156000 | #Constraints: 35319 868.80/871.26 c #Conflicts: 157000 | #Constraints: 36319 868.80/871.26 c INPROCESSING 868.80/871.26 c GARBAGE COLLECT 868.80/871.26 c rational objective 144 888.67/891.18 c #Conflicts: 158000 | #Constraints: 22700 888.67/891.18 c #Conflicts: 159000 | #Constraints: 23701 888.67/891.18 c #Conflicts: 160000 | #Constraints: 24701 888.67/891.18 c #Conflicts: 161000 | #Constraints: 25701 888.67/891.18 WSVECS04 Frhs2[6]: 6 -15.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[9]: 6 -14 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[30]: 6 -13 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[33]: 6 -35 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[46]: 6 0 3.00006 shouldn't be 888.67/891.18 WSVECS04 Frhs2[49]: 6 0 32 shouldn't be 888.67/891.18 WSVECS04 Frhs2[74]: 6 -34 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[79]: 6 0 29 shouldn't be 888.67/891.18 WSVECS04 Frhs2[80]: 6 -27 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[88]: 6 -25.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[89]: 6 0 35 shouldn't be 888.67/891.18 WSVECS04 Frhs2[99]: 6 0 85.0001 shouldn't be 888.67/891.18 WSVECS04 Frhs2[105]: 6 0 114 shouldn't be 888.67/891.18 WSVECS04 Frhs2[107]: 6 0 359 shouldn't be 888.67/891.18 WSVECS04 Frhs2[109]: 6 -93 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[112]: 6 -42 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[115]: 6 -39.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[121]: 6 -45.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[125]: 6 0 101 shouldn't be 888.67/891.18 WSVECS04 Frhs2[127]: 6 -27.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[130]: 6 -77.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[133]: 6 -65 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[136]: 6 -162 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[139]: 6 -201 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[142]: 6 -23 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[143]: 6 0 86.0001 shouldn't be 888.67/891.18 WSVECS04 Frhs2[255]: 6 -577 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[256]: 6 -8.00003 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[259]: 6 -11 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[260]: 6 -12.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[261]: 6 -13 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[400]: 6 -7.00002 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[405]: 6 -12 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[682]: 6 -58.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[812]: 6 -48.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[818]: 6 -8.00005 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[946]: 6 -3.00002 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[950]: 6 -7.00001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[971]: 6 0 104 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1078]: 6 -5.00003 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1204]: 6 -4.00002 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1325]: 6 -1.00006 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1327]: 6 -669 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1357]: 6 0 27.0001 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1446]: 6 -1.00008 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1791]: 6 -757 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[1921]: 6 0 313 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2287]: 6 -14 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2372]: 6 -4.00002 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2377]: 6 -9.00003 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2461]: 6 -253 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2556]: 6 -7.00001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2719]: 6 -121 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2723]: 6 -5.00003 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[2955]: 6 -206 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3105]: 6 0 1.00003 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3201]: 6 -6.00002 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3203]: 6 -8.00002 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3206]: 6 -11 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3207]: 6 -12.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3209]: 6 -14 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3211]: 6 -16.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3212]: 6 -17 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3213]: 6 -18.0001 0 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3338]: 6 0 42.0001 shouldn't be 888.67/891.18 WSVECS04 Frhs2[3558]: 6 -6.00004 0 shouldn't be 1036.73/1039.59 c #Conflicts: 162000 | #Constraints: 26702 1036.73/1039.59 c #Conflicts: 163000 | #Constraints: 27702 1036.73/1039.59 c #Conflicts: 164000 | #Constraints: 28702 1036.73/1039.59 c #Conflicts: 165000 | #Constraints: 29702 1036.73/1039.59 c #Conflicts: 166000 | #Constraints: 30702 1036.73/1039.59 c #Conflicts: 167000 | #Constraints: 31702 1036.73/1039.59 c #Conflicts: 168000 | #Constraints: 32702 1036.73/1039.59 c bounds 2312 >= 160 @ 918.915 1036.73/1039.59 c #Conflicts: 169000 | #Constraints: 33726 1036.73/1039.59 c #Conflicts: 170000 | #Constraints: 34727 1036.73/1039.59 c #Conflicts: 171000 | #Constraints: 35730 1036.73/1039.59 c #Conflicts: 172000 | #Constraints: 36734 1036.73/1039.59 c #Conflicts: 173000 | #Constraints: 37741 1036.73/1039.59 c #Conflicts: 174000 | #Constraints: 38751 1036.73/1039.59 c #Conflicts: 175000 | #Constraints: 39758 1036.73/1039.59 c #Conflicts: 176000 | #Constraints: 40763 1036.73/1039.59 c #Conflicts: 177000 | #Constraints: 41768 1036.73/1039.59 c #Conflicts: 178000 | #Constraints: 42771 1036.73/1039.59 c #Conflicts: 179000 | #Constraints: 43775 1036.73/1039.59 c #Conflicts: 180000 | #Constraints: 44779 1036.73/1039.59 c #Conflicts: 181000 | #Constraints: 45783 1036.73/1039.59 c #Conflicts: 182000 | #Constraints: 46787 1036.73/1039.59 c #Conflicts: 183000 | #Constraints: 47792 1036.73/1039.59 c #Conflicts: 184000 | #Constraints: 48795 1036.73/1039.59 c #Conflicts: 185000 | #Constraints: 49803 1036.73/1039.59 c #Conflicts: 186000 | #Constraints: 50811 1036.73/1039.59 c INPROCESSING 1036.73/1039.59 c GARBAGE COLLECT 1036.73/1039.59 c rational objective 160 1139.07/1142.17 c #Conflicts: 187000 | #Constraints: 30224 1139.07/1142.17 c #Conflicts: 188000 | #Constraints: 31224 1139.07/1142.17 c #Conflicts: 189000 | #Constraints: 32225 1139.07/1142.17 c #Conflicts: 190000 | #Constraints: 33225 1139.07/1142.17 c #Conflicts: 191000 | #Constraints: 34225 1139.07/1142.17 c #Conflicts: 192000 | #Constraints: 35226 1139.07/1142.17 c #Conflicts: 193000 | #Constraints: 36226 1139.07/1142.17 c #Conflicts: 194000 | #Constraints: 37226 1139.07/1142.17 c #Conflicts: 195000 | #Constraints: 38226 1139.07/1142.17 c #Conflicts: 196000 | #Constraints: 39226 1139.07/1142.17 c #Conflicts: 197000 | #Constraints: 40226 1139.07/1142.17 c INPROCESSING 1139.07/1142.17 c GARBAGE COLLECT 1139.07/1142.17 c rational objective 160 1386.34/1390.02 c #Conflicts: 198000 | #Constraints: 27500 1386.34/1390.02 c #Conflicts: 199000 | #Constraints: 28501 1386.34/1390.02 c #Conflicts: 200000 | #Constraints: 29501 1386.34/1390.02 c #Conflicts: 201000 | #Constraints: 30502 1386.34/1390.02 c #Conflicts: 202000 | #Constraints: 31508 1386.34/1390.02 c #Conflicts: 203000 | #Constraints: 32510 1386.34/1390.02 c #Conflicts: 204000 | #Constraints: 33513 1386.34/1390.02 c #Conflicts: 205000 | #Constraints: 34515 1386.34/1390.02 c #Conflicts: 206000 | #Constraints: 35518 1386.34/1390.02 c #Conflicts: 207000 | #Constraints: 36522 1386.34/1390.02 c #Conflicts: 208000 | #Constraints: 37526 1386.34/1390.02 c #Conflicts: 209000 | #Constraints: 38530 1386.34/1390.02 c #Conflicts: 210000 | #Constraints: 39534 1386.34/1390.02 c #Conflicts: 211000 | #Constraints: 40541 1386.34/1390.02 c #Conflicts: 212000 | #Constraints: 41549 1386.34/1390.02 c #Conflicts: 213000 | #Constraints: 42552 1386.34/1390.02 c #Conflicts: 214000 | #Constraints: 43555 1386.34/1390.02 c #Conflicts: 215000 | #Constraints: 44557 1386.34/1390.02 c #Conflicts: 216000 | #Constraints: 45558 1386.34/1390.02 c #Conflicts: 217000 | #Constraints: 46566 1386.34/1390.02 c #Conflicts: 218000 | #Constraints: 47568 1386.34/1390.02 c #Conflicts: 219000 | #Constraints: 48568 1386.34/1390.02 c #Conflicts: 220000 | #Constraints: 49570 1386.34/1390.02 c #Conflicts: 221000 | #Constraints: 50573 1386.34/1390.02 c #Conflicts: 222000 | #Constraints: 51580 1386.34/1390.02 c #Conflicts: 223000 | #Constraints: 52583 1386.34/1390.02 c #Conflicts: 224000 | #Constraints: 53590 1386.34/1390.02 c #Conflicts: 225000 | #Constraints: 54598 1386.34/1390.02 c #Conflicts: 226000 | #Constraints: 55604 1386.34/1390.02 c #Conflicts: 227000 | #Constraints: 56611 1386.34/1390.02 c #Conflicts: 228000 | #Constraints: 57617 1386.34/1390.02 c INPROCESSING 1386.34/1390.02 c GARBAGE COLLECT 1386.34/1390.02 c rational objective 160 1495.86/1499.86 c #Conflicts: 229000 | #Constraints: 33225 1495.86/1499.86 c #Conflicts: 230000 | #Constraints: 34226 1495.86/1499.86 c #Conflicts: 231000 | #Constraints: 35226 1495.86/1499.86 c #Conflicts: 232000 | #Constraints: 36226 1495.86/1499.86 c #Conflicts: 233000 | #Constraints: 37226 1495.86/1499.86 c #Conflicts: 234000 | #Constraints: 38226 1495.86/1499.86 c #Conflicts: 235000 | #Constraints: 39226 1495.86/1499.86 c #Conflicts: 236000 | #Constraints: 40227 1495.86/1499.86 c #Conflicts: 237000 | #Constraints: 41227 1495.86/1499.86 c #Conflicts: 238000 | #Constraints: 42227 1495.86/1499.86 c #Conflicts: 239000 | #Constraints: 43227 1495.86/1499.86 c #Conflicts: 240000 | #Constraints: 44227 1495.86/1499.86 c #Conflicts: 241000 | #Constraints: 45228 1495.86/1499.86 c INPROCESSING 1495.86/1499.86 c GARBAGE COLLECT 1495.86/1499.86 c rational objective 160 1790.33/1795.07 c #Conflicts: 242000 | #Constraints: 29327 1790.33/1795.07 c #Conflicts: 243000 | #Constraints: 30329 1790.33/1795.07 c #Conflicts: 244000 | #Constraints: 31329 1790.33/1795.07 c #Conflicts: 245000 | #Constraints: 32329 1790.33/1795.07 c #Conflicts: 246000 | #Constraints: 33329 1790.33/1795.07 c #Conflicts: 247000 | #Constraints: 34329 1790.33/1795.07 c #Conflicts: 248000 | #Constraints: 35329 1790.33/1795.07 c #Conflicts: 249000 | #Constraints: 36330 1790.33/1795.07 c #Conflicts: 250000 | #Constraints: 37331 1790.33/1795.07 c #Conflicts: 251000 | #Constraints: 38331 1790.33/1795.07 c bounds 2312 >= 176 @ 1545.06 1790.33/1795.07 c #Conflicts: 252000 | #Constraints: 39358 1790.33/1795.07 c #Conflicts: 253000 | #Constraints: 40358 1790.33/1795.07 c #Conflicts: 254000 | #Constraints: 41358 1790.33/1795.07 c #Conflicts: 255000 | #Constraints: 42358 1790.33/1795.07 c #Conflicts: 256000 | #Constraints: 43359 1790.33/1795.07 c #Conflicts: 257000 | #Constraints: 44359 1790.33/1795.07 c #Conflicts: 258000 | #Constraints: 45359 1790.33/1795.07 c #Conflicts: 259000 | #Constraints: 46360 1790.33/1795.07 c #Conflicts: 260000 | #Constraints: 47360 1790.33/1795.07 c #Conflicts: 261000 | #Constraints: 48360 1790.33/1795.07 c #Conflicts: 262000 | #Constraints: 49360 1790.33/1795.07 c #Conflicts: 263000 | #Constraints: 50361 1790.33/1795.07 c #Conflicts: 264000 | #Constraints: 51361 1790.33/1795.07 c #Conflicts: 265000 | #Constraints: 52361 1790.33/1795.07 c #Conflicts: 266000 | #Constraints: 53362 1790.33/1795.07 c #Conflicts: 267000 | #Constraints: 54362 1790.33/1795.07 c #Conflicts: 268000 | #Constraints: 55363 1790.33/1795.07 c #Conflicts: 269000 | #Constraints: 56363 1790.33/1795.07 c #Conflicts: 270000 | #Constraints: 57363 1790.33/1795.07 c #Conflicts: 271000 | #Constraints: 58363 1790.33/1795.07 c #Conflicts: 272000 | #Constraints: 59363 1790.33/1795.07 c #Conflicts: 273000 | #Constraints: 60364 1790.33/1795.07 c #Conflicts: 274000 | #Constraints: 61364 1790.33/1795.07 c #Conflicts: 275000 | #Constraints: 62364 1790.33/1795.07 c #Conflicts: 276000 | #Constraints: 63364 1790.33/1795.07 c INPROCESSING 1790.33/1795.07 c GARBAGE COLLECT 1790.33/1795.07 c rational objective 176 1905.80/1910.82 c #Conflicts: 277000 | #Constraints: 36546 1905.80/1910.82 c #Conflicts: 278000 | #Constraints: 37550 1905.80/1910.82 c #Conflicts: 279000 | #Constraints: 38559 1905.80/1910.82 c #Conflicts: 280000 | #Constraints: 39565 1905.80/1910.82 c #Conflicts: 281000 | #Constraints: 40567 1905.80/1910.82 c #Conflicts: 282000 | #Constraints: 41575 1905.80/1910.82 c #Conflicts: 283000 | #Constraints: 42582 1905.80/1910.82 c #Conflicts: 284000 | #Constraints: 43588 1905.80/1910.82 c #Conflicts: 285000 | #Constraints: 44593 1905.80/1910.82 c #Conflicts: 286000 | #Constraints: 45599 1905.80/1910.82 c #Conflicts: 287000 | #Constraints: 46605 1905.80/1910.82 c #Conflicts: 288000 | #Constraints: 47612 1905.80/1910.82 c #Conflicts: 289000 | #Constraints: 48619 1905.80/1910.82 c #Conflicts: 290000 | #Constraints: 49626 1905.80/1910.82 c INPROCESSING 1905.80/1910.82 c GARBAGE COLLECT 1905.80/1910.82 c rational objective 176 2213.00/2218.83 c #Conflicts: 291000 | #Constraints: 34427 2213.00/2218.83 c #Conflicts: 292000 | #Constraints: 35435 2213.00/2218.83 c #Conflicts: 293000 | #Constraints: 36444 2213.00/2218.83 c #Conflicts: 294000 | #Constraints: 37450 2213.00/2218.83 c #Conflicts: 295000 | #Constraints: 38455 2213.00/2218.83 c #Conflicts: 296000 | #Constraints: 39459 2213.00/2218.83 c #Conflicts: 297000 | #Constraints: 40465 2213.00/2218.83 c #Conflicts: 298000 | #Constraints: 41471 2213.00/2218.83 c #Conflicts: 299000 | #Constraints: 42477 2213.00/2218.83 c #Conflicts: 300000 | #Constraints: 43482 2213.00/2218.83 c #Conflicts: 301000 | #Constraints: 44488 2213.00/2218.83 c #Conflicts: 302000 | #Constraints: 45495 2213.00/2218.83 c #Conflicts: 303000 | #Constraints: 46501 2213.00/2218.83 c #Conflicts: 304000 | #Constraints: 47506 2213.00/2218.83 c #Conflicts: 305000 | #Constraints: 48510 2213.00/2218.83 c #Conflicts: 306000 | #Constraints: 49517 2213.00/2218.83 c #Conflicts: 307000 | #Constraints: 50522 2213.00/2218.83 c #Conflicts: 308000 | #Constraints: 51528 2213.00/2218.83 c #Conflicts: 309000 | #Constraints: 52534 2213.00/2218.83 c #Conflicts: 310000 | #Constraints: 53541 2213.00/2218.83 c #Conflicts: 311000 | #Constraints: 54547 2213.00/2218.83 c #Conflicts: 312000 | #Constraints: 55558 2213.00/2218.83 c #Conflicts: 313000 | #Constraints: 56568 2213.00/2218.83 c #Conflicts: 314000 | #Constraints: 57576 2213.00/2218.83 c #Conflicts: 315000 | #Constraints: 58579 2213.00/2218.83 c #Conflicts: 316000 | #Constraints: 59586 2213.00/2218.83 c #Conflicts: 317000 | #Constraints: 60593 2213.00/2218.83 c #Conflicts: 318000 | #Constraints: 61597 2213.00/2218.83 c #Conflicts: 319000 | #Constraints: 62599 2213.00/2218.83 c #Conflicts: 320000 | #Constraints: 63603 2213.00/2218.83 c #Conflicts: 321000 | #Constraints: 64610 2213.00/2218.83 c #Conflicts: 322000 | #Constraints: 65622 2213.00/2218.83 c #Conflicts: 323000 | #Constraints: 66629 2213.00/2218.83 c #Conflicts: 324000 | #Constraints: 67636 2213.00/2218.83 c #Conflicts: 325000 | #Constraints: 68644 2213.00/2218.83 c #Conflicts: 326000 | #Constraints: 69650 2213.00/2218.83 c #Conflicts: 327000 | #Constraints: 70656 2213.00/2218.83 c INPROCESSING 2213.00/2218.83 c GARBAGE COLLECT 2213.00/2218.83 c rational objective 176 2347.02/2353.22 c #Conflicts: 328000 | #Constraints: 39863 2347.02/2353.22 c #Conflicts: 329000 | #Constraints: 40863 2347.02/2353.22 c #Conflicts: 330000 | #Constraints: 41863 2347.02/2353.22 c #Conflicts: 331000 | #Constraints: 42863 2347.02/2353.22 c #Conflicts: 332000 | #Constraints: 43863 2347.02/2353.22 c #Conflicts: 333000 | #Constraints: 44863 2347.02/2353.22 c #Conflicts: 334000 | #Constraints: 45863 2347.02/2353.22 c #Conflicts: 335000 | #Constraints: 46865 2347.02/2353.22 c #Conflicts: 336000 | #Constraints: 47865 2347.02/2353.22 c #Conflicts: 337000 | #Constraints: 48865 2347.02/2353.22 c #Conflicts: 338000 | #Constraints: 49865 2347.02/2353.22 c #Conflicts: 339000 | #Constraints: 50865 2347.02/2353.22 c #Conflicts: 340000 | #Constraints: 51865 2347.02/2353.22 c #Conflicts: 341000 | #Constraints: 52865 2347.02/2353.22 c #Conflicts: 342000 | #Constraints: 53865 2347.02/2353.22 c INPROCESSING 2347.02/2353.22 c GARBAGE COLLECT 2347.02/2353.22 c rational objective 176 2381.13/2387.49 c #Conflicts: 343000 | #Constraints: 35117 2381.13/2387.49 c #Conflicts: 344000 | #Constraints: 36117 2381.13/2387.49 c #Conflicts: 345000 | #Constraints: 37117 2381.13/2387.49 c #Conflicts: 346000 | #Constraints: 38117 2381.13/2387.49 c #Conflicts: 347000 | #Constraints: 39117 2381.13/2387.49 c #Conflicts: 348000 | #Constraints: 40117 2381.13/2387.49 WSVECS04 Frhs2[1]: 6 -621 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[2]: 6 0 19.0001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[6]: 6 0 99.5001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[7]: 6 -351.5 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[10]: 6 -400 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[24]: 6 0 36.5001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[33]: 6 0 57 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[36]: 6 0 66 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[39]: 6 0 65 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[42]: 6 0 85.0001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[45]: 6 0 56 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[48]: 6 0 80 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[51]: 6 0 62.0001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[54]: 6 0 101.5 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[56]: 6 -446 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[77]: 6 -399 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[85]: 6 0 90.0001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[95]: 6 -429 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[103]: 6 0 96 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[109]: 6 0 82.0001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[112]: 6 0 67.0001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[120]: 6 -243 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[124]: 6 0 67 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[132]: 6 -252 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[136]: 6 0 90.5001 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[142]: 6 0 157 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[147]: 6 -312 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[150]: 6 -473 0 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[190]: 6 0 23 shouldn't be 2381.13/2387.49 WSVECS04 Frhs2[2373]: 6 -5.00007 0 shouldn't be 2656.26/2663.32 c #Conflicts: 349000 | #Constraints: 41117 2656.26/2663.32 c #Conflicts: 350000 | #Constraints: 42117 2656.26/2663.32 c #Conflicts: 351000 | #Constraints: 43117 2656.26/2663.32 c #Conflicts: 352000 | #Constraints: 44117 2656.26/2663.32 c #Conflicts: 353000 | #Constraints: 45117 2656.26/2663.32 c #Conflicts: 354000 | #Constraints: 46117 2656.26/2663.32 c #Conflicts: 355000 | #Constraints: 47117 2656.26/2663.32 c #Conflicts: 356000 | #Constraints: 48117 2656.26/2663.32 c #Conflicts: 357000 | #Constraints: 49117 2656.26/2663.32 c #Conflicts: 358000 | #Constraints: 50118 2656.26/2663.32 c #Conflicts: 359000 | #Constraints: 51118 2656.26/2663.32 c #Conflicts: 360000 | #Constraints: 52118 2656.26/2663.32 c #Conflicts: 361000 | #Constraints: 53119 2656.26/2663.32 c #Conflicts: 362000 | #Constraints: 54119 2656.26/2663.32 c #Conflicts: 363000 | #Constraints: 55119 2656.26/2663.32 c #Conflicts: 364000 | #Constraints: 56120 2656.26/2663.32 c #Conflicts: 365000 | #Constraints: 57120 2656.26/2663.32 c #Conflicts: 366000 | #Constraints: 58120 2656.26/2663.32 c #Conflicts: 367000 | #Constraints: 59120 2656.26/2663.32 c #Conflicts: 368000 | #Constraints: 60120 2656.26/2663.32 c #Conflicts: 369000 | #Constraints: 61120 2656.26/2663.32 c #Conflicts: 370000 | #Constraints: 62120 2656.26/2663.32 c bounds 2312 >= 192 @ 2523.23 2656.26/2663.32 c #Conflicts: 371000 | #Constraints: 63153 2656.26/2663.32 c #Conflicts: 372000 | #Constraints: 64155 2656.26/2663.32 c #Conflicts: 373000 | #Constraints: 65165 2656.26/2663.32 c #Conflicts: 374000 | #Constraints: 66175 2656.26/2663.32 c #Conflicts: 375000 | #Constraints: 67184 2656.26/2663.32 c #Conflicts: 376000 | #Constraints: 68192 2656.26/2663.32 c #Conflicts: 377000 | #Constraints: 69200 2656.26/2663.32 c #Conflicts: 378000 | #Constraints: 70210 2656.26/2663.32 c #Conflicts: 379000 | #Constraints: 71214 2656.26/2663.32 c #Conflicts: 380000 | #Constraints: 72218 2656.26/2663.32 c #Conflicts: 381000 | #Constraints: 73224 2656.26/2663.32 c #Conflicts: 382000 | #Constraints: 74230 2656.26/2663.32 c #Conflicts: 383000 | #Constraints: 75234 2656.26/2663.32 c INPROCESSING 2656.26/2663.32 c GARBAGE COLLECT 2656.26/2663.32 c rational objective 192 2789.48/2796.98 c #Conflicts: 384000 | #Constraints: 42176 2789.48/2796.98 c #Conflicts: 385000 | #Constraints: 43182 2789.48/2796.98 c #Conflicts: 386000 | #Constraints: 44191 2789.48/2796.98 c #Conflicts: 387000 | #Constraints: 45197 2789.48/2796.98 c #Conflicts: 388000 | #Constraints: 46201 2789.48/2796.98 c #Conflicts: 389000 | #Constraints: 47207 2789.48/2796.98 c #Conflicts: 390000 | #Constraints: 48212 2789.48/2796.98 c #Conflicts: 391000 | #Constraints: 49218 2789.48/2796.98 c #Conflicts: 392000 | #Constraints: 50221 2789.48/2796.98 c #Conflicts: 393000 | #Constraints: 51228 2789.48/2796.98 c #Conflicts: 394000 | #Constraints: 52234 2789.48/2796.98 c #Conflicts: 395000 | #Constraints: 53237 2789.48/2796.98 c #Conflicts: 396000 | #Constraints: 54244 2789.48/2796.98 c #Conflicts: 397000 | #Constraints: 55250 2789.48/2796.98 c #Conflicts: 398000 | #Constraints: 56254 2789.48/2796.98 c #Conflicts: 399000 | #Constraints: 57259 2789.48/2796.98 c #Conflicts: 400000 | #Constraints: 58263 2789.48/2796.98 c INPROCESSING 2789.48/2796.98 c GARBAGE COLLECT 2789.48/2796.98 c rational objective 192 3014.42/3022.48 c #Conflicts: 401000 | #Constraints: 37599 3014.42/3022.48 c #Conflicts: 402000 | #Constraints: 38599 3014.42/3022.48 c #Conflicts: 403000 | #Constraints: 39599 3014.42/3022.48 c #Conflicts: 404000 | #Constraints: 40599 3014.42/3022.48 c #Conflicts: 405000 | #Constraints: 41599 3014.42/3022.48 c #Conflicts: 406000 | #Constraints: 42599 3014.42/3022.48 c #Conflicts: 407000 | #Constraints: 43599 3014.42/3022.48 c #Conflicts: 408000 | #Constraints: 44600 3014.42/3022.48 c #Conflicts: 409000 | #Constraints: 45600 3014.42/3022.48 c #Conflicts: 410000 | #Constraints: 46600 3014.42/3022.48 c #Conflicts: 411000 | #Constraints: 47600 3014.42/3022.48 c #Conflicts: 412000 | #Constraints: 48600 3014.42/3022.48 c #Conflicts: 413000 | #Constraints: 49600 3014.42/3022.48 c #Conflicts: 414000 | #Constraints: 50600 3014.42/3022.48 c #Conflicts: 415000 | #Constraints: 51600 3014.42/3022.48 c #Conflicts: 416000 | #Constraints: 52600 3014.42/3022.48 c #Conflicts: 417000 | #Constraints: 53600 3014.42/3022.48 c #Conflicts: 418000 | #Constraints: 54600 3014.42/3022.48 c #Conflicts: 419000 | #Constraints: 55600 3014.42/3022.48 c #Conflicts: 420000 | #Constraints: 56600 3014.42/3022.48 c #Conflicts: 421000 | #Constraints: 57600 3014.42/3022.48 c #Conflicts: 422000 | #Constraints: 58601 3014.42/3022.48 c #Conflicts: 423000 | #Constraints: 59602 3014.42/3022.48 c #Conflicts: 424000 | #Constraints: 60602 3014.42/3022.48 c #Conflicts: 425000 | #Constraints: 61602 3014.42/3022.48 c #Conflicts: 426000 | #Constraints: 62602 3014.42/3022.48 c #Conflicts: 427000 | #Constraints: 63602 3014.42/3022.48 c #Conflicts: 428000 | #Constraints: 64603 3014.42/3022.48 c #Conflicts: 429000 | #Constraints: 65603 3014.42/3022.48 c #Conflicts: 430000 | #Constraints: 66603 3014.42/3022.48 c #Conflicts: 431000 | #Constraints: 67603 3014.42/3022.48 c #Conflicts: 432000 | #Constraints: 68604 3014.42/3022.48 WSVECS04 Frhs2[2]: 6 0 163 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[3]: 6 0 114 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[11]: 6 0 46.0001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[19]: 6 -262 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[26]: 6 0 230 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[27]: 6 0 189 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[35]: 6 0 155 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[38]: 6 0 37.0001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[40]: 6 -24 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[41]: 6 0 8.00002 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[54]: 6 0 67.0001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[59]: 6 -110 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[67]: 6 0 31 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[68]: 6 -49 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[70]: 6 0 4.00001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[71]: 6 -54 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[74]: 6 -36.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[77]: 6 -74 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[80]: 6 -83.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[84]: 6 0 126 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[85]: 6 0 4.00005 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[86]: 6 -74.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[89]: 6 -73.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[92]: 6 -88.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[95]: 6 -117 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[125]: 6 0 37 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[129]: 6 -25 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[139]: 6 0 28.0001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[144]: 6 -54.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[149]: 6 0 31 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[150]: 6 -785 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[160]: 6 -10.0001 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[442]: 6 -645 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[478]: 6 0 24.0001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[483]: 6 0 18 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[871]: 6 -56 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[999]: 6 0 136 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[1377]: 6 -90 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[1725]: 6 -103 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[2394]: 6 0 34.0001 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[3621]: 6 -84 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[3654]: 6 -93 0 shouldn't be 3014.42/3022.48 WSVECS04 Frhs2[3717]: 6 -257 0 shouldn't be 3126.47/3134.74 c #Conflicts: 433000 | #Constraints: 69604 3126.47/3134.74 c #Conflicts: 434000 | #Constraints: 70604 3126.47/3134.74 c #Conflicts: 435000 | #Constraints: 71604 3126.47/3134.74 c #Conflicts: 436000 | #Constraints: 72604 3126.47/3134.74 c #Conflicts: 437000 | #Constraints: 73604 3126.47/3134.74 c #Conflicts: 438000 | #Constraints: 74604 3126.47/3134.74 c #Conflicts: 439000 | #Constraints: 75604 3126.47/3134.74 c #Conflicts: 440000 | #Constraints: 76604 3126.47/3134.74 c #Conflicts: 441000 | #Constraints: 77605 3126.47/3134.74 c #Conflicts: 442000 | #Constraints: 78607 3126.47/3134.74 c #Conflicts: 443000 | #Constraints: 79608 3126.47/3134.74 c #Conflicts: 444000 | #Constraints: 80608 3126.47/3134.74 c INPROCESSING 3126.47/3134.74 c GARBAGE COLLECT 3126.47/3134.74 c rational objective 192 3274.25/3282.93 c #Conflicts: 445000 | #Constraints: 45183 3274.25/3282.93 c #Conflicts: 446000 | #Constraints: 46186 3274.25/3282.93 c #Conflicts: 447000 | #Constraints: 47194 3274.25/3282.93 c #Conflicts: 448000 | #Constraints: 48204 3274.25/3282.93 c #Conflicts: 449000 | #Constraints: 49211 3274.25/3282.93 c #Conflicts: 450000 | #Constraints: 50218 3274.25/3282.93 c #Conflicts: 451000 | #Constraints: 51223 3274.25/3282.93 c #Conflicts: 452000 | #Constraints: 52225 3274.25/3282.93 c #Conflicts: 453000 | #Constraints: 53232 3274.25/3282.93 c #Conflicts: 454000 | #Constraints: 54234 3274.25/3282.93 c #Conflicts: 455000 | #Constraints: 55234 3274.25/3282.93 c #Conflicts: 456000 | #Constraints: 56235 3274.25/3282.93 c #Conflicts: 457000 | #Constraints: 57237 3274.25/3282.93 c #Conflicts: 458000 | #Constraints: 58241 3274.25/3282.93 c #Conflicts: 459000 | #Constraints: 59243 3274.25/3282.93 c #Conflicts: 460000 | #Constraints: 60243 3274.25/3282.93 c #Conflicts: 461000 | #Constraints: 61245 3274.25/3282.93 c INPROCESSING 3274.25/3282.93 c GARBAGE COLLECT 3274.25/3282.93 c rational objective 192 3600.01/3609.60 c #Conflicts: 462000 | #Constraints: 40397 3600.01/3609.60 c #Conflicts: 463000 | #Constraints: 41405 3600.01/3609.60 c #Conflicts: 464000 | #Constraints: 42415 3600.01/3609.60 c #Conflicts: 465000 | #Constraints: 43423 3600.01/3609.60 c #Conflicts: 466000 | #Constraints: 44431 3600.01/3609.60 c #Conflicts: 467000 | #Constraints: 45436 3600.01/3609.60 c #Conflicts: 468000 | #Constraints: 46446 3600.01/3609.60 c #Conflicts: 469000 | #Constraints: 47450 3600.01/3609.60 c #Conflicts: 470000 | #Constraints: 48453 3600.01/3609.60 c #Conflicts: 471000 | #Constraints: 49458 3600.01/3609.60 c #Conflicts: 472000 | #Constraints: 50465 3600.01/3609.60 c #Conflicts: 473000 | #Constraints: 51472 3600.01/3609.60 c #Conflicts: 474000 | #Constraints: 52478 3600.01/3609.60 c #Conflicts: 475000 | #Constraints: 53484 3600.01/3609.60 c #Conflicts: 476000 | #Constraints: 54489 3600.01/3609.60 c #Conflicts: 477000 | #Constraints: 55493 3600.01/3609.60 c #Conflicts: 478000 | #Constraints: 56498 3600.01/3609.60 c #Conflicts: 479000 | #Constraints: 57503 3600.01/3609.60 c #Conflicts: 480000 | #Constraints: 58507 3600.01/3609.60 c #Conflicts: 481000 | #Constraints: 59510 3600.01/3609.60 c #Conflicts: 482000 | #Constraints: 60514 3600.01/3609.60 c #Conflicts: 483000 | #Constraints: 61518 3600.01/3609.60 c #Conflicts: 484000 | #Constraints: 62523 3600.01/3609.60 c #Conflicts: 485000 | #Constraints: 63529 3600.01/3609.60 c #Conflicts: 486000 | #Constraints: 64535 3600.01/3609.60 c #Conflicts: 487000 | #Constraints: 65543 3600.01/3609.60 c #Conflicts: 488000 | #Constraints: 66549 3600.01/3609.60 c #Conflicts: 489000 | #Constraints: 67555 3600.01/3609.60 c #Conflicts: 490000 | #Constraints: 68559 3600.01/3609.60 c #Conflicts: 491000 | #Constraints: 69564 3600.01/3609.60 c #Conflicts: 492000 | #Constraints: 70570 3600.01/3609.60 c #Conflicts: 493000 | #Constraints: 71575 3600.01/3609.60 c #Conflicts: 494000 | #Constraints: 72577 3600.01/3609.60 c Program interrupted by user. 3600.01/3609.60 c cpu time 3566.45 s 3600.01/3609.60 c deterministic time 354978333839 3.55e+11 3600.01/3609.60 c optimization time 323.156 s 3600.01/3609.60 c total solve time 3243.27 s 3600.01/3609.60 c core-guided solve time 1603.72 s 3600.01/3609.60 c propagation time 2404.52 s 3600.01/3609.60 c conflict analysis time 1063.65 s 3600.01/3609.60 c propagations 314010800 3600.01/3609.60 c resolve steps 15612754 3600.01/3609.60 c decisions 5694495 3600.01/3609.60 c conflicts 494751 3600.01/3609.60 c restarts 1022 3600.01/3609.60 c inprocessing phases 31 3600.01/3609.60 c input clauses 3776 3600.01/3609.60 c input cardinalities 62 3600.01/3609.60 c input general constraints 3855 3600.01/3609.60 c input average constraint length 39.46 3600.01/3609.60 c input average constraint degree 390.67 3600.01/3609.60 c learned clauses 328517 3600.01/3609.60 c learned cardinalities 0 3600.01/3609.60 c learned general constraints 167814 3600.01/3609.60 c learned average constraint length 739.22 3600.01/3609.60 c learned average constraint degree 2981415081.20 3600.01/3609.60 c watched constraints 70300 3600.01/3609.60 c counting constraints 101369 3600.01/3609.60 c gcd simplifications 118509 3600.01/3609.60 c detected cardinalities 0 3600.01/3609.60 c weakened non-implied lits 448472461 3600.01/3609.60 c weakened non-implying lits 764223 3600.01/3609.60 c original variables 3825 3600.01/3609.60 c clausal propagations 31667512 3600.01/3609.60 c cardinality propagations 1138679 3600.01/3609.60 c watched propagations 5292299 3600.01/3609.60 c counting propagations 275360507 3600.01/3609.60 c watch lookups 55134941252 3600.01/3609.60 c watch backjump lookups 50828231188 3600.01/3609.60 c watch checks 229810601498 3600.01/3609.60 c propagation checks 15570842430 3600.01/3609.60 c constraint additions 2993263507 3600.01/3609.60 c trail pops 320195916 3600.01/3609.60 c formula constraints 7450 3600.01/3609.60 c learned constraints 493171 3600.01/3609.60 c bound constraints 66 3600.01/3609.60 c core-guided constraints 177 3600.01/3609.60 c encountered formula constraints 13132827 3600.01/3609.60 c encountered learned constraints 2672785 3600.01/3609.60 c encountered bound constraints 17302 3600.01/3609.60 c encountered core-guided constraints 189995 3600.01/3609.60 c LP total time 80.6443 s 3600.01/3609.60 c LP solve time 75.31 s 3600.01/3609.60 c LP constraints added 7796 3600.01/3609.60 c LP constraints removed 323 3600.01/3609.60 c LP pivots internal 494843 3600.01/3609.60 c LP pivots root 57909 3600.01/3609.60 c LP calls 1824 3600.01/3609.60 c LP optimalities 240 3600.01/3609.60 c LP no pivot count 67 3600.01/3609.60 c LP infeasibilities 1580 3600.01/3609.60 c LP valid Farkas constraints 1580 3600.01/3609.60 c LP learned Farkas constraints 1580 3600.01/3609.60 c LP basis resets 0 3600.01/3609.60 c LP cycling count 0 3600.01/3609.60 c LP singular count 0 3600.01/3609.60 c LP no primal count 0 3600.01/3609.60 c LP no farkas count 0 3600.01/3609.60 c LP other issue count 0 3600.01/3609.60 c LP Gomory cuts 0 3600.01/3609.60 c LP learned cuts 346 3600.01/3609.60 c LP deleted cuts 323 3600.01/3609.60 c LP encountered Gomory constraints 0 3600.01/3609.60 c LP encountered Farkas constraints 76273 3600.01/3609.60 c LP encountered learned Farkas constraints 16743 3600.01/3609.60 c CG auxiliary variables introduced 63 3600.01/3609.60 c CG solutions found 54 3600.01/3609.60 c CG cores constructed 12 3600.01/3609.60 c CG core cardinality constraints returned 0 3600.01/3609.60 c CG unit cores 0 3600.01/3609.60 c CG single cores 12 3600.01/3609.60 c CG blocks removed during cardinality reduction 0 3600.01/3609.60 c CG first core best 0 3600.01/3609.60 c CG decision core best 0 3600.01/3609.60 c CG core reduction tie 0 3600.01/3609.60 c CG core degree average 1.00 3600.01/3609.60 c CG core slack average 195.50 3600.01/3609.60 s SATISFIABLE 3600.01/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: 63968 MiB (38745 MiB free)
memory of node 1: 64473 MiB (61396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460465-1722071636/watcher-4460465-1722071636 -o /tmp/evaluation-result-4460465-1722071636/solver-4460465-1722071636 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722064836-375114 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460465-1722071636 --lp-cut-gomory=0 HOME/instance-4460465-1722071636.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=379254, runsolver pid=379251
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.53 4.25 4.19 5/264 379255
/proc/meminfo: memFree=102535332/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=44872 memory=15680 CPUtime=0.08 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 2808 0 1 0 7 1 0 0 20 0 1 0 43693002 45948928 3920 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 11218 3920 1809 992 0 3076 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 15680 KiB
[startup+0.20583 s]*
/proc/loadavg: 4.53 4.25 4.19 5/264 379255
/proc/meminfo: memFree=102529588/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=45896 memory=19312 CPUtime=0.19 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 3194 0 1 0 17 2 0 0 20 0 1 0 43693002 46997504 4828 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 11474 4828 1809 992 0 3332 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 19312 KiB
[startup+0.305672 s]*
/proc/loadavg: 4.53 4.25 4.19 5/264 379255
/proc/meminfo: memFree=102526788/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=46296 memory=19836 CPUtime=0.29 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 3299 0 1 0 26 3 0 0 20 0 1 0 43693002 47407104 4959 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 11574 4959 1809 992 0 3432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46296 KiB
Current children cumulated memory: 19836 KiB
[startup+0.700221 s]
/proc/loadavg: 4.53 4.25 4.19 5/264 379255
/proc/meminfo: memFree=102517912/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=49540 memory=23060 CPUtime=0.68 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 4021 0 1 0 63 5 0 0 20 0 1 0 43693002 50728960 5765 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 12385 5765 1895 992 0 4243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49540 KiB
Current children cumulated memory: 23060 KiB
[startup+1.50024 s]
/proc/loadavg: 4.53 4.25 4.19 5/264 379255
/proc/meminfo: memFree=102496540/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=51084 memory=24908 CPUtime=1.47 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 4512 0 1 0 141 6 0 0 20 0 1 0 43693002 52310016 6227 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 12771 6227 1895 992 0 4629 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51084 KiB
Current children cumulated memory: 24908 KiB
[startup+3.10564 s]
/proc/loadavg: 4.49 4.24 4.18 5/264 379255
/proc/meminfo: memFree=102395864/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=56872 memory=29740 CPUtime=3.07 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 5226 0 1 0 296 11 0 0 20 0 1 0 43693002 58236928 7435 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 14218 7435 1895 992 0 6076 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 56872 KiB
Current children cumulated memory: 29740 KiB
[startup+6.30022 s]
/proc/loadavg: 4.49 4.24 4.18 5/264 379257
/proc/meminfo: memFree=102304152/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=66632 memory=38928 CPUtime=6.26 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 7018 0 1 0 605 21 0 0 20 0 1 0 43693002 68231168 9732 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 16658 9732 1895 992 0 8516 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66632 KiB
Current children cumulated memory: 38928 KiB
[startup+12.7002 s]
/proc/loadavg: 4.45 4.24 4.18 5/264 379257
/proc/meminfo: memFree=102133204/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=85844 memory=58776 CPUtime=12.65 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 10446 0 1 0 1219 46 0 0 20 0 1 0 43693002 87904256 14694 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 21461 14694 1895 992 0 13319 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85844 KiB
Current children cumulated memory: 58776 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.23 4.18 6/264 379258
/proc/meminfo: memFree=101825828/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=109576 memory=76376 CPUtime=25.41 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 13811 0 1 0 2459 82 0 0 20 0 1 0 43693002 112205824 19094 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 27394 19094 1895 992 0 19252 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 109576 KiB
Current children cumulated memory: 76376 KiB
[startup+51.1055 s]
/proc/loadavg: 4.30 4.22 4.18 5/261 379263
/proc/meminfo: memFree=100887724/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=150636 memory=118468 CPUtime=50.95 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 19725 0 1 0 4945 150 0 0 20 0 1 0 43693002 154251264 29617 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 37659 29617 1895 992 0 29517 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 150636 KiB
Current children cumulated memory: 118468 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/259 379271
/proc/meminfo: memFree=99803368/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=232860 memory=188144 CPUtime=101.99 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 32600 0 1 0 9956 243 0 0 20 0 1 0 43693002 238448640 47036 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 58215 47036 1895 992 0 50073 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 232860 KiB
Current children cumulated memory: 188144 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/259 379282
/proc/meminfo: memFree=98186788/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=338220 memory=279212 CPUtime=161.81 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 45671 0 1 0 15832 349 0 0 20 0 1 0 43693002 346337280 69803 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 84555 69803 1895 992 0 76413 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 338220 KiB
Current children cumulated memory: 279212 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/259 379293
/proc/meminfo: memFree=97355812/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=346772 memory=288684 CPUtime=221.64 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 48009 0 1 0 21741 423 0 0 20 0 1 0 43693002 355094528 72171 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 86693 72171 1895 992 0 78551 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 346772 KiB
Current children cumulated memory: 288684 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/258 379303
/proc/meminfo: memFree=96003808/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=350428 memory=291816 CPUtime=281.47 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 49572 0 1 0 27619 528 0 0 20 0 1 0 43693002 358838272 72954 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 87607 72954 1895 992 0 79465 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 350428 KiB
Current children cumulated memory: 291816 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/257 379313
/proc/meminfo: memFree=94391420/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=370680 memory=337828 CPUtime=341.28 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 54982 0 1 0 33502 626 0 0 20 0 1 0 43693002 379576320 84457 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 92670 84457 1895 992 0 84528 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 370680 KiB
Current children cumulated memory: 337828 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/259 379328
/proc/meminfo: memFree=93676656/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=463908 memory=361940 CPUtime=401.1 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 58507 0 1 0 39415 695 0 0 20 0 1 0 43693002 475041792 90485 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 115977 90485 1895 992 0 107835 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 463908 KiB
Current children cumulated memory: 361940 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/259 379338
/proc/meminfo: memFree=92849212/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=474840 memory=371164 CPUtime=460.92 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 60816 0 1 0 45347 745 0 0 20 0 1 0 43693002 486236160 92791 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 118710 92791 1895 992 0 110568 0
################
# More data... #
################
Current children cumulated memory: 793612 KiB
[startup+2922.3 s]
/proc/loadavg: 3.21 3.84 4.05 4/253 381329
/proc/meminfo: memFree=85144436/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=824632 memory=796524 CPUtime=2914.55 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 121606 0 1 0 288587 2868 0 0 20 0 1 0 43693002 844423168 199131 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 206158 199131 1895 992 0 198016 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 796524 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.71 3.99 4/252 381340
/proc/meminfo: memFree=84818144/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=824632 memory=796524 CPUtime=2974.42 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 122015 0 1 0 294544 2898 0 0 20 0 1 0 43693002 844423168 199131 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 206158 199131 1895 992 0 198016 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 796524 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.58 3.93 4/252 381350
/proc/meminfo: memFree=84535716/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=824632 memory=796560 CPUtime=3034.28 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 122502 0 1 0 300499 2929 0 0 20 0 1 0 43693002 844423168 199140 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 206158 199140 1895 992 0 198016 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 824632 KiB
Current children cumulated memory: 796560 KiB
[startup+3102.3 s]
/proc/loadavg: 3.20 3.52 3.88 4/251 381360
/proc/meminfo: memFree=84196624/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=841600 memory=809012 CPUtime=3094.14 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 126141 0 1 0 306459 2955 0 0 20 0 1 0 43693002 861798400 202253 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 210400 202253 1895 992 0 202258 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 841600 KiB
Current children cumulated memory: 809012 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.44 3.83 4/250 381370
/proc/meminfo: memFree=83533724/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=867252 memory=825180 CPUtime=3153.99 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 130483 0 1 0 312401 2998 0 0 20 0 1 0 43693002 888066048 206295 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 216813 206295 1895 992 0 208671 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 825180 KiB
[startup+3222.3 s]
/proc/loadavg: 3.26 3.42 3.80 4/250 381381
/proc/meminfo: memFree=82605184/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=867252 memory=825180 CPUtime=3213.82 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 130817 0 1 0 318327 3055 0 0 20 0 1 0 43693002 888066048 206295 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 216813 206295 1895 992 0 208671 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 825180 KiB
[startup+3282.3 s]
/proc/loadavg: 3.38 3.41 3.77 4/252 381393
/proc/meminfo: memFree=81854212/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=867252 memory=825180 CPUtime=3273.65 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 131171 0 1 0 324272 3093 0 0 20 0 1 0 43693002 888066048 206295 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 216813 206295 1895 992 0 208671 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 825180 KiB
[startup+3342.3 s]
/proc/loadavg: 3.34 3.40 3.75 4/252 381403
/proc/meminfo: memFree=80857524/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=867252 memory=825180 CPUtime=3333.47 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 131489 0 1 0 330192 3155 0 0 20 0 1 0 43693002 888066048 206295 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 216813 206295 1895 992 0 208671 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 825180 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.34 3.70 4/254 381418
/proc/meminfo: memFree=80043596/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=867252 memory=825180 CPUtime=3393.31 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 131824 0 1 0 336124 3207 0 0 20 0 1 0 43693002 888066048 206295 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 216813 206295 1895 992 0 208671 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 825180 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.31 3.67 4/254 381429
/proc/meminfo: memFree=79282644/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=867252 memory=825180 CPUtime=3453.13 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 132173 0 1 0 342064 3249 0 0 20 0 1 0 43693002 888066048 206295 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 216813 206295 1895 992 0 208671 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 825180 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.26 3.63 4/255 381441
/proc/meminfo: memFree=78510860/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=870400 memory=828196 CPUtime=3512.96 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 133311 0 1 0 348001 3295 0 0 20 0 1 0 43693002 891289600 207049 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 217600 207049 1895 992 0 209458 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 870400 KiB
Current children cumulated memory: 828196 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.24 3.60 4/254 381452
/proc/meminfo: memFree=77825936/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=882788 memory=840184 CPUtime=3572.78 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 136710 0 1 0 353945 3333 0 0 20 0 1 0 43693002 903974912 210046 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 220697 210046 1895 992 0 212555 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 882788 KiB
Current children cumulated memory: 840184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 3.16 3.24 3.58 4/254 381456
/proc/meminfo: memFree=77424584/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=888868 memory=846432 CPUtime=3600.01 cores=5,7
/proc/379254/stat : 379254 (roundingsat) R 379251 379254 375101 0 -1 4194304 138390 0 1 0 356644 3357 0 0 20 0 1 0 43693002 910200832 211608 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 222217 211608 1895 992 0 214075 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 888868 KiB
Current children cumulated memory: 846432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.78 s]
# the end of solver process 379254 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.46 s, system=33.61 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 3.16 3.24 3.58 4/254 381456
/proc/meminfo: memFree=77424584/131524600 swapFree=131060148/131071996
[pid=379254] ppid=379251 vsize=888868 memory=846432 CPUtime=3600.04 cores=5,7
/proc/379254/stat : 379254 (roundingsat) D 379251 379254 375101 0 -1 4194304 138397 0 1 0 356645 3359 0 0 20 0 1 0 43693002 910200832 211608 134679101440 4194304 8254357 140722399018688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 14 0 0 9037040 9046032 41050112 140722399023963 140722399024225 140722399024225 140722399031241 0
/proc/379254/statm: 222217 211608 1895 992 0 214075 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 888868 KiB
Current children cumulated memory: 846432 KiB
Child status: 0
Real time (s): 3609.78
CPU time (s): 3600.07
CPU user time (s): 3566.46
CPU system time (s): 33.61
CPU usage (%): 99.731
Max. virtual memory (cumulated for all children) (KiB): 888868
Max. memory (cumulated for all children) (KiB): 846432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.46
system time used= 33.61
maximum resident set size= 846432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138405
page faults= 1
swaps= 0
block input operations= 912
block output operations= 79140952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3600
involuntary context switches= 4817
# summary of solver processes directly reported to runsolver:
# pid: 379254
# total CPU time (s): 3600.07
# total CPU user time (s): 3566.46
# total CPU system time (s): 33.61
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.37553 second user time and 13.6199 second system time
The end
Begin job on nodeC029 at 2024-07-27 11:13:56 IDJOB=4460465 IDBENCH=158576 IDSOLVER=3086 FILE ID=nodeC029/4460465-1722071636 RUNJOBID= nodeC029-1722064836-375114 SLURM_JOB_ID= 8248097 Free space on /tmp= 890008 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-4460465-1722071636/watcher-4460465-1722071636 -o /tmp/evaluation-result-4460465-1722071636/solver-4460465-1722071636 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722064836-375114 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460465-1722071636 --lp-cut-gomory=0 HOME/instance-4460465-1722071636.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c RANDOM SEED=1994572972 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.245 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.50 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 : 3677.299 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 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 : 3599.970 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.50 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 : 3599.809 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 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 : 3671.290 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.50 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 : 3630.925 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 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 : 3599.942 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.50 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 : 3665.231 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 102545540 kB MemAvailable: 126124564 kB Buffers: 362416 kB Cached: 23964104 kB SwapCached: 1256 kB Active: 2965612 kB Inactive: 25226320 kB Active(anon): 1768 kB Inactive(anon): 3917432 kB Active(file): 2963844 kB Inactive(file): 21308888 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060148 kB Dirty: 122204 kB Writeback: 12 kB AnonPages: 3859904 kB Mapped: 130288 kB Shmem: 53740 kB KReclaimable: 292228 kB Slab: 421524 kB SReclaimable: 292228 kB SUnreclaim: 129296 kB KernelStack: 4240 kB PageTables: 17432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4895576 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 2052096 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: 350932 kB DirectMap2M: 44511232 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890064 MiB End job on nodeC029 at 2024-07-27 12:14:06