| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.1 | 3610.01 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
| MD5SUM | c646e12ccfd746fe0694a48782eaf83d |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 80.654 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 14400 |
| Total number of constraints | 1088 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 608 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 120 |
| Maximum length of a constraint | 225 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 227 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.07 c #variables 14400 #constraints 1088 22.20/22.32 c #Conflicts: 1000 | #Constraints: 2087 22.20/22.32 c #Conflicts: 2000 | #Constraints: 3087 22.20/22.32 c INPROCESSING 22.20/22.32 c GARBAGE COLLECT 22.20/22.32 c #Conflicts: 3000 | #Constraints: 3117 22.20/22.32 c #Conflicts: 4000 | #Constraints: 4117 22.20/22.32 c INPROCESSING 22.20/22.32 c GARBAGE COLLECT 22.20/22.32 c #Conflicts: 5000 | #Constraints: 3544 22.20/22.32 c #Conflicts: 6000 | #Constraints: 4544 22.20/22.32 c INPROCESSING 22.20/22.32 c GARBAGE COLLECT 22.20/22.32 c #Conflicts: 7000 | #Constraints: 3579 22.20/22.32 c #Conflicts: 8000 | #Constraints: 4579 22.20/22.32 c #Conflicts: 9000 | #Constraints: 5579 22.20/22.32 c INPROCESSING 22.20/22.32 c GARBAGE COLLECT 22.20/22.32 c rational objective 120 56.70/57.00 c #Conflicts: 10000 | #Constraints: 4295 56.70/57.00 c #Conflicts: 11000 | #Constraints: 5295 56.70/57.00 c #Conflicts: 12000 | #Constraints: 6295 56.70/57.00 c INPROCESSING 56.70/57.00 c GARBAGE COLLECT 56.70/57.00 c #Conflicts: 13000 | #Constraints: 4743 56.70/57.00 c #Conflicts: 14000 | #Constraints: 5743 56.70/57.00 c #Conflicts: 15000 | #Constraints: 6743 56.70/57.00 c INPROCESSING 56.70/57.00 c GARBAGE COLLECT 56.70/57.00 c #Conflicts: 16000 | #Constraints: 4990 56.70/57.00 c #Conflicts: 17000 | #Constraints: 5990 56.70/57.00 c #Conflicts: 18000 | #Constraints: 6990 56.70/57.00 c INPROCESSING 56.70/57.00 c GARBAGE COLLECT 56.70/57.00 c #Conflicts: 19000 | #Constraints: 5014 56.70/57.00 c #Conflicts: 20000 | #Constraints: 6014 56.70/57.00 c #Conflicts: 21000 | #Constraints: 7014 56.70/57.00 c INPROCESSING 56.70/57.00 c GARBAGE COLLECT 56.70/57.00 c #Conflicts: 22000 | #Constraints: 4823 56.70/57.00 c #Conflicts: 23000 | #Constraints: 5823 56.70/57.00 c #Conflicts: 24000 | #Constraints: 6823 56.70/57.00 c #Conflicts: 25000 | #Constraints: 7823 56.70/57.00 c INPROCESSING 56.70/57.00 c GARBAGE COLLECT 56.70/57.00 c rational objective 120 89.43/89.78 c #Conflicts: 26000 | #Constraints: 5430 89.43/89.78 c #Conflicts: 27000 | #Constraints: 6430 89.43/89.78 c #Conflicts: 28000 | #Constraints: 7430 89.43/89.78 c #Conflicts: 29000 | #Constraints: 8430 89.43/89.78 c INPROCESSING 89.43/89.78 c GARBAGE COLLECT 89.43/89.78 c #Conflicts: 30000 | #Constraints: 5809 89.43/89.78 c #Conflicts: 31000 | #Constraints: 6809 89.43/89.78 c #Conflicts: 32000 | #Constraints: 7809 89.43/89.78 c #Conflicts: 33000 | #Constraints: 8809 89.43/89.78 c INPROCESSING 89.43/89.78 c GARBAGE COLLECT 89.43/89.78 c #Conflicts: 34000 | #Constraints: 6029 89.43/89.78 c #Conflicts: 35000 | #Constraints: 7029 89.43/89.78 c #Conflicts: 36000 | #Constraints: 8029 89.43/89.78 c #Conflicts: 37000 | #Constraints: 9029 89.43/89.78 c INPROCESSING 89.43/89.78 c GARBAGE COLLECT 89.43/89.78 c #Conflicts: 38000 | #Constraints: 6057 89.43/89.78 c #Conflicts: 39000 | #Constraints: 7057 89.43/89.78 c #Conflicts: 40000 | #Constraints: 8057 89.43/89.78 c #Conflicts: 41000 | #Constraints: 9057 89.43/89.78 c INPROCESSING 89.43/89.78 c GARBAGE COLLECT 89.43/89.78 c rational objective 120 110.28/110.67 c #Conflicts: 42000 | #Constraints: 5865 110.28/110.67 c #Conflicts: 43000 | #Constraints: 6866 110.28/110.67 c #Conflicts: 44000 | #Constraints: 7866 110.28/110.67 c #Conflicts: 45000 | #Constraints: 8866 110.28/110.67 c #Conflicts: 46000 | #Constraints: 9866 110.28/110.67 c INPROCESSING 110.28/110.67 c GARBAGE COLLECT 110.28/110.67 c rational objective 120 128.94/129.35 c #Conflicts: 47000 | #Constraints: 6432 128.94/129.35 c #Conflicts: 48000 | #Constraints: 7432 128.94/129.35 c #Conflicts: 49000 | #Constraints: 8432 128.94/129.35 c #Conflicts: 50000 | #Constraints: 9432 128.94/129.35 c #Conflicts: 51000 | #Constraints: 10432 128.94/129.35 c INPROCESSING 128.94/129.35 c GARBAGE COLLECT 128.94/129.35 c #Conflicts: 52000 | #Constraints: 6864 128.94/129.35 c #Conflicts: 53000 | #Constraints: 7864 128.94/129.35 c #Conflicts: 54000 | #Constraints: 8864 128.94/129.35 c #Conflicts: 55000 | #Constraints: 9864 128.94/129.35 c #Conflicts: 56000 | #Constraints: 10864 128.94/129.35 c INPROCESSING 128.94/129.35 c GARBAGE COLLECT 128.94/129.35 c rational objective 120 144.60/145.06 c #Conflicts: 57000 | #Constraints: 7070 144.60/145.06 c #Conflicts: 58000 | #Constraints: 8070 144.60/145.06 c #Conflicts: 59000 | #Constraints: 9070 144.60/145.06 c #Conflicts: 60000 | #Constraints: 10070 144.60/145.06 c #Conflicts: 61000 | #Constraints: 11071 144.60/145.06 c INPROCESSING 144.60/145.06 c GARBAGE COLLECT 144.60/145.06 c rational objective 120 211.72/212.38 c #Conflicts: 62000 | #Constraints: 7055 211.72/212.38 c #Conflicts: 63000 | #Constraints: 8055 211.72/212.38 c #Conflicts: 64000 | #Constraints: 9055 211.72/212.38 c #Conflicts: 65000 | #Constraints: 10055 211.72/212.38 c #Conflicts: 66000 | #Constraints: 11055 211.72/212.38 c INPROCESSING 211.72/212.38 c GARBAGE COLLECT 211.72/212.38 c #Conflicts: 67000 | #Constraints: 6853 211.72/212.38 c #Conflicts: 68000 | #Constraints: 7854 211.72/212.38 c #Conflicts: 69000 | #Constraints: 8854 211.72/212.38 c #Conflicts: 70000 | #Constraints: 9854 211.72/212.38 c #Conflicts: 71000 | #Constraints: 10854 211.72/212.38 c #Conflicts: 72000 | #Constraints: 11854 211.72/212.38 c INPROCESSING 211.72/212.38 c GARBAGE COLLECT 211.72/212.38 c #Conflicts: 73000 | #Constraints: 7444 211.72/212.38 c #Conflicts: 74000 | #Constraints: 8444 211.72/212.38 c #Conflicts: 75000 | #Constraints: 9444 211.72/212.38 c #Conflicts: 76000 | #Constraints: 10444 211.72/212.38 c #Conflicts: 77000 | #Constraints: 11445 211.72/212.38 c #Conflicts: 78000 | #Constraints: 12445 211.72/212.38 c INPROCESSING 211.72/212.38 c GARBAGE COLLECT 211.72/212.38 c #Conflicts: 79000 | #Constraints: 7856 211.72/212.38 c #Conflicts: 80000 | #Constraints: 8856 211.72/212.38 c #Conflicts: 81000 | #Constraints: 9856 211.72/212.38 c #Conflicts: 82000 | #Constraints: 10856 211.72/212.38 c #Conflicts: 83000 | #Constraints: 11856 211.72/212.38 c #Conflicts: 84000 | #Constraints: 12856 211.72/212.38 c INPROCESSING 211.72/212.38 c GARBAGE COLLECT 211.72/212.38 c rational objective 120 291.70/292.57 c #Conflicts: 85000 | #Constraints: 8074 291.70/292.57 c #Conflicts: 86000 | #Constraints: 9074 291.70/292.57 c #Conflicts: 87000 | #Constraints: 10074 291.70/292.57 c #Conflicts: 88000 | #Constraints: 11075 291.70/292.57 c #Conflicts: 89000 | #Constraints: 12075 291.70/292.57 c #Conflicts: 90000 | #Constraints: 13075 291.70/292.57 c INPROCESSING 291.70/292.57 c GARBAGE COLLECT 291.70/292.57 c #Conflicts: 91000 | #Constraints: 8088 291.70/292.57 c #Conflicts: 92000 | #Constraints: 9088 291.70/292.57 c #Conflicts: 93000 | #Constraints: 10088 291.70/292.57 c #Conflicts: 94000 | #Constraints: 11088 291.70/292.57 c #Conflicts: 95000 | #Constraints: 12088 291.70/292.57 c #Conflicts: 96000 | #Constraints: 13088 291.70/292.57 c INPROCESSING 291.70/292.57 c GARBAGE COLLECT 291.70/292.57 c #Conflicts: 97000 | #Constraints: 7907 291.70/292.57 c #Conflicts: 98000 | #Constraints: 8907 291.70/292.57 c #Conflicts: 99000 | #Constraints: 9908 291.70/292.57 c #Conflicts: 100000 | #Constraints: 10908 291.70/292.57 c #Conflicts: 101000 | #Constraints: 11908 291.70/292.57 c #Conflicts: 102000 | #Constraints: 12908 291.70/292.57 c #Conflicts: 103000 | #Constraints: 13908 291.70/292.57 c INPROCESSING 291.70/292.57 c GARBAGE COLLECT 291.70/292.57 c rational objective 120 328.91/329.85 c #Conflicts: 104000 | #Constraints: 8487 328.91/329.85 c #Conflicts: 105000 | #Constraints: 9488 328.91/329.85 c #Conflicts: 106000 | #Constraints: 10488 328.91/329.85 c #Conflicts: 107000 | #Constraints: 11488 328.91/329.85 c #Conflicts: 108000 | #Constraints: 12488 328.91/329.85 c #Conflicts: 109000 | #Constraints: 13488 328.91/329.85 c #Conflicts: 110000 | #Constraints: 14488 328.91/329.85 c INPROCESSING 328.91/329.85 c GARBAGE COLLECT 328.91/329.85 c #Conflicts: 111000 | #Constraints: 8877 328.91/329.85 c #Conflicts: 112000 | #Constraints: 9877 328.91/329.85 c #Conflicts: 113000 | #Constraints: 10877 328.91/329.85 c #Conflicts: 114000 | #Constraints: 11877 328.91/329.85 c #Conflicts: 115000 | #Constraints: 12877 328.91/329.85 c #Conflicts: 116000 | #Constraints: 13877 328.91/329.85 c #Conflicts: 117000 | #Constraints: 14877 328.91/329.85 c INPROCESSING 328.91/329.85 c GARBAGE COLLECT 328.91/329.85 c rational objective 120 370.91/371.98 c #Conflicts: 118000 | #Constraints: 9072 370.91/371.98 c #Conflicts: 119000 | #Constraints: 10072 370.91/371.98 c #Conflicts: 120000 | #Constraints: 11072 370.91/371.98 c #Conflicts: 121000 | #Constraints: 12072 370.91/371.98 c #Conflicts: 122000 | #Constraints: 13073 370.91/371.98 c #Conflicts: 123000 | #Constraints: 14073 370.91/371.98 c #Conflicts: 124000 | #Constraints: 15073 370.91/371.98 c INPROCESSING 370.91/371.98 c GARBAGE COLLECT 370.91/371.98 c #Conflicts: 125000 | #Constraints: 9088 370.91/371.98 c #Conflicts: 126000 | #Constraints: 10088 370.91/371.98 c #Conflicts: 127000 | #Constraints: 11088 370.91/371.98 c #Conflicts: 128000 | #Constraints: 12088 370.91/371.98 c #Conflicts: 129000 | #Constraints: 13088 370.91/371.98 c #Conflicts: 130000 | #Constraints: 14088 370.91/371.98 c #Conflicts: 131000 | #Constraints: 15089 370.91/371.98 c INPROCESSING 370.91/371.98 c GARBAGE COLLECT 370.91/371.98 c rational objective 120 423.56/424.72 c #Conflicts: 132000 | #Constraints: 8910 423.56/424.72 c #Conflicts: 133000 | #Constraints: 9910 423.56/424.72 c #Conflicts: 134000 | #Constraints: 10910 423.56/424.72 c #Conflicts: 135000 | #Constraints: 11910 423.56/424.72 c #Conflicts: 136000 | #Constraints: 12910 423.56/424.72 c #Conflicts: 137000 | #Constraints: 13910 423.56/424.72 c #Conflicts: 138000 | #Constraints: 14910 423.56/424.72 c #Conflicts: 139000 | #Constraints: 15910 423.56/424.72 c INPROCESSING 423.56/424.72 c GARBAGE COLLECT 423.56/424.72 c #Conflicts: 140000 | #Constraints: 9524 423.56/424.72 c #Conflicts: 141000 | #Constraints: 10524 423.56/424.72 c #Conflicts: 142000 | #Constraints: 11525 423.56/424.72 c #Conflicts: 143000 | #Constraints: 12525 423.56/424.72 c #Conflicts: 144000 | #Constraints: 13525 423.56/424.72 c #Conflicts: 145000 | #Constraints: 14525 423.56/424.72 c #Conflicts: 146000 | #Constraints: 15525 423.56/424.72 c #Conflicts: 147000 | #Constraints: 16525 423.56/424.72 c INPROCESSING 423.56/424.72 c GARBAGE COLLECT 423.56/424.72 c rational objective 120 467.94/469.21 c #Conflicts: 148000 | #Constraints: 9948 467.94/469.21 c #Conflicts: 149000 | #Constraints: 10949 467.94/469.21 c #Conflicts: 150000 | #Constraints: 11949 467.94/469.21 c #Conflicts: 151000 | #Constraints: 12949 467.94/469.21 c #Conflicts: 152000 | #Constraints: 13949 467.94/469.21 c #Conflicts: 153000 | #Constraints: 14949 467.94/469.21 c #Conflicts: 154000 | #Constraints: 15949 467.94/469.21 c #Conflicts: 155000 | #Constraints: 16949 467.94/469.21 c INPROCESSING 467.94/469.21 c GARBAGE COLLECT 467.94/469.21 c #Conflicts: 156000 | #Constraints: 10132 467.94/469.21 c #Conflicts: 157000 | #Constraints: 11132 467.94/469.21 c #Conflicts: 158000 | #Constraints: 12132 467.94/469.21 c #Conflicts: 159000 | #Constraints: 13132 467.94/469.21 c #Conflicts: 160000 | #Constraints: 14132 467.94/469.21 c #Conflicts: 161000 | #Constraints: 15132 467.94/469.21 c #Conflicts: 162000 | #Constraints: 16132 467.94/469.21 c #Conflicts: 163000 | #Constraints: 17132 467.94/469.21 c INPROCESSING 467.94/469.21 c GARBAGE COLLECT 467.94/469.21 c rational objective 120 488.28/489.64 c #Conflicts: 164000 | #Constraints: 10120 488.28/489.64 c #Conflicts: 165000 | #Constraints: 11120 488.28/489.64 c #Conflicts: 166000 | #Constraints: 12120 488.28/489.64 c #Conflicts: 167000 | #Constraints: 13120 488.28/489.64 c #Conflicts: 168000 | #Constraints: 14120 488.28/489.64 c #Conflicts: 169000 | #Constraints: 15120 488.28/489.64 c #Conflicts: 170000 | #Constraints: 16120 488.28/489.64 c #Conflicts: 171000 | #Constraints: 17120 488.28/489.64 c INPROCESSING 488.28/489.64 c GARBAGE COLLECT 488.28/489.64 c rational objective 120 516.80/518.28 c #Conflicts: 172000 | #Constraints: 9915 516.80/518.28 c #Conflicts: 173000 | #Constraints: 10916 516.80/518.28 c #Conflicts: 174000 | #Constraints: 11916 516.80/518.28 c #Conflicts: 175000 | #Constraints: 12917 516.80/518.28 c #Conflicts: 176000 | #Constraints: 13917 516.80/518.28 c #Conflicts: 177000 | #Constraints: 14917 516.80/518.28 c #Conflicts: 178000 | #Constraints: 15917 516.80/518.28 c #Conflicts: 179000 | #Constraints: 16917 516.80/518.28 c #Conflicts: 180000 | #Constraints: 17917 516.80/518.28 c INPROCESSING 516.80/518.28 c GARBAGE COLLECT 516.80/518.28 c rational objective 120 549.71/551.22 c #Conflicts: 181000 | #Constraints: 10511 549.71/551.22 c #Conflicts: 182000 | #Constraints: 11511 549.71/551.22 c #Conflicts: 183000 | #Constraints: 12511 549.71/551.22 c #Conflicts: 184000 | #Constraints: 13511 549.71/551.22 c #Conflicts: 185000 | #Constraints: 14512 549.71/551.22 c #Conflicts: 186000 | #Constraints: 15512 549.71/551.22 c #Conflicts: 187000 | #Constraints: 16512 549.71/551.22 c #Conflicts: 188000 | #Constraints: 17512 549.71/551.22 c #Conflicts: 189000 | #Constraints: 18512 549.71/551.22 c INPROCESSING 549.71/551.22 c GARBAGE COLLECT 549.71/551.22 c rational objective 120 588.00/589.68 c #Conflicts: 190000 | #Constraints: 10912 588.00/589.68 c #Conflicts: 191000 | #Constraints: 11912 588.00/589.68 c #Conflicts: 192000 | #Constraints: 12912 588.00/589.68 c #Conflicts: 193000 | #Constraints: 13913 588.00/589.68 c #Conflicts: 194000 | #Constraints: 14913 588.00/589.68 c #Conflicts: 195000 | #Constraints: 15913 588.00/589.68 c #Conflicts: 196000 | #Constraints: 16913 588.00/589.68 c #Conflicts: 197000 | #Constraints: 17913 588.00/589.68 c #Conflicts: 198000 | #Constraints: 18914 588.00/589.68 c INPROCESSING 588.00/589.68 c GARBAGE COLLECT 588.00/589.68 c rational objective 120 625.49/627.23 c #Conflicts: 199000 | #Constraints: 11142 625.49/627.23 c #Conflicts: 200000 | #Constraints: 12142 625.49/627.23 c #Conflicts: 201000 | #Constraints: 13142 625.49/627.23 c #Conflicts: 202000 | #Constraints: 14142 625.49/627.23 c #Conflicts: 203000 | #Constraints: 15142 625.49/627.23 c #Conflicts: 204000 | #Constraints: 16142 625.49/627.23 c #Conflicts: 205000 | #Constraints: 17142 625.49/627.23 c #Conflicts: 206000 | #Constraints: 18142 625.49/627.23 c #Conflicts: 207000 | #Constraints: 19142 625.49/627.23 c INPROCESSING 625.49/627.23 c GARBAGE COLLECT 625.49/627.23 c rational objective 120 667.07/668.90 c #Conflicts: 208000 | #Constraints: 11142 667.07/668.90 c #Conflicts: 209000 | #Constraints: 12142 667.07/668.90 c #Conflicts: 210000 | #Constraints: 13142 667.07/668.90 c #Conflicts: 211000 | #Constraints: 14142 667.07/668.90 c #Conflicts: 212000 | #Constraints: 15142 667.07/668.90 c #Conflicts: 213000 | #Constraints: 16142 667.07/668.90 c #Conflicts: 214000 | #Constraints: 17142 667.07/668.90 c #Conflicts: 215000 | #Constraints: 18142 667.07/668.90 c #Conflicts: 216000 | #Constraints: 19142 667.07/668.90 c INPROCESSING 667.07/668.90 c GARBAGE COLLECT 667.07/668.90 c rational objective 120 714.72/716.76 c #Conflicts: 217000 | #Constraints: 10973 714.72/716.76 c #Conflicts: 218000 | #Constraints: 11973 714.72/716.76 c #Conflicts: 219000 | #Constraints: 12973 714.72/716.76 c #Conflicts: 220000 | #Constraints: 13974 714.72/716.76 c #Conflicts: 221000 | #Constraints: 14974 714.72/716.76 c #Conflicts: 222000 | #Constraints: 15974 714.72/716.76 c #Conflicts: 223000 | #Constraints: 16974 714.72/716.76 c #Conflicts: 224000 | #Constraints: 17974 714.72/716.76 c #Conflicts: 225000 | #Constraints: 18974 714.72/716.76 c #Conflicts: 226000 | #Constraints: 19974 714.72/716.76 c INPROCESSING 714.72/716.76 c GARBAGE COLLECT 714.72/716.76 c rational objective 120 755.80/757.90 c #Conflicts: 227000 | #Constraints: 11569 755.80/757.90 c #Conflicts: 228000 | #Constraints: 12569 755.80/757.90 c #Conflicts: 229000 | #Constraints: 13569 755.80/757.90 c #Conflicts: 230000 | #Constraints: 14569 755.80/757.90 c #Conflicts: 231000 | #Constraints: 15569 755.80/757.90 c #Conflicts: 232000 | #Constraints: 16569 755.80/757.90 c #Conflicts: 233000 | #Constraints: 17569 755.80/757.90 c #Conflicts: 234000 | #Constraints: 18569 755.80/757.90 c #Conflicts: 235000 | #Constraints: 19569 755.80/757.90 c #Conflicts: 236000 | #Constraints: 20569 755.80/757.90 c INPROCESSING 755.80/757.90 c GARBAGE COLLECT 755.80/757.90 c rational objective 120 786.71/788.99 c #Conflicts: 237000 | #Constraints: 11935 786.71/788.99 c #Conflicts: 238000 | #Constraints: 12935 786.71/788.99 c #Conflicts: 239000 | #Constraints: 13935 786.71/788.99 c #Conflicts: 240000 | #Constraints: 14935 786.71/788.99 c #Conflicts: 241000 | #Constraints: 15935 786.71/788.99 c #Conflicts: 242000 | #Constraints: 16935 786.71/788.99 c #Conflicts: 243000 | #Constraints: 17935 786.71/788.99 c #Conflicts: 244000 | #Constraints: 18935 786.71/788.99 c #Conflicts: 245000 | #Constraints: 19935 786.71/788.99 c #Conflicts: 246000 | #Constraints: 20935 786.71/788.99 c INPROCESSING 786.71/788.99 c GARBAGE COLLECT 786.71/788.99 c rational objective 120 819.82/822.19 c #Conflicts: 247000 | #Constraints: 12125 819.82/822.19 c #Conflicts: 248000 | #Constraints: 13125 819.82/822.19 c #Conflicts: 249000 | #Constraints: 14125 819.82/822.19 c #Conflicts: 250000 | #Constraints: 15125 819.82/822.19 c #Conflicts: 251000 | #Constraints: 16125 819.82/822.19 c #Conflicts: 252000 | #Constraints: 17125 819.82/822.19 c #Conflicts: 253000 | #Constraints: 18125 819.82/822.19 c #Conflicts: 254000 | #Constraints: 19125 819.82/822.19 c #Conflicts: 255000 | #Constraints: 20125 819.82/822.19 c #Conflicts: 256000 | #Constraints: 21125 819.82/822.19 c INPROCESSING 819.82/822.19 c GARBAGE COLLECT 819.82/822.19 c rational objective 120 854.11/856.53 c #Conflicts: 257000 | #Constraints: 12121 854.11/856.53 c #Conflicts: 258000 | #Constraints: 13121 854.11/856.53 c #Conflicts: 259000 | #Constraints: 14121 854.11/856.53 c #Conflicts: 260000 | #Constraints: 15121 854.11/856.53 c #Conflicts: 261000 | #Constraints: 16122 854.11/856.53 c #Conflicts: 262000 | #Constraints: 17122 854.11/856.53 c #Conflicts: 263000 | #Constraints: 18122 854.11/856.53 c #Conflicts: 264000 | #Constraints: 19122 854.11/856.53 c #Conflicts: 265000 | #Constraints: 20122 854.11/856.53 c #Conflicts: 266000 | #Constraints: 21122 854.11/856.53 c INPROCESSING 854.11/856.53 c GARBAGE COLLECT 854.11/856.53 c rational objective 120 901.59/904.19 c #Conflicts: 267000 | #Constraints: 11924 901.59/904.19 c #Conflicts: 268000 | #Constraints: 12925 901.59/904.19 c #Conflicts: 269000 | #Constraints: 13925 901.59/904.19 c #Conflicts: 270000 | #Constraints: 14925 901.59/904.19 c #Conflicts: 271000 | #Constraints: 15925 901.59/904.19 c #Conflicts: 272000 | #Constraints: 16925 901.59/904.19 c #Conflicts: 273000 | #Constraints: 17925 901.59/904.19 c #Conflicts: 274000 | #Constraints: 18925 901.59/904.19 c #Conflicts: 275000 | #Constraints: 19925 901.59/904.19 c #Conflicts: 276000 | #Constraints: 20925 901.59/904.19 c #Conflicts: 277000 | #Constraints: 21925 901.59/904.19 c INPROCESSING 901.59/904.19 c GARBAGE COLLECT 901.59/904.19 c rational objective 120 939.78/942.48 c #Conflicts: 278000 | #Constraints: 12511 939.78/942.48 c #Conflicts: 279000 | #Constraints: 13512 939.78/942.48 c #Conflicts: 280000 | #Constraints: 14512 939.78/942.48 c #Conflicts: 281000 | #Constraints: 15512 939.78/942.48 c #Conflicts: 282000 | #Constraints: 16512 939.78/942.48 c #Conflicts: 283000 | #Constraints: 17512 939.78/942.48 c #Conflicts: 284000 | #Constraints: 18513 939.78/942.48 c #Conflicts: 285000 | #Constraints: 19513 939.78/942.48 c #Conflicts: 286000 | #Constraints: 20513 939.78/942.48 c #Conflicts: 287000 | #Constraints: 21513 939.78/942.48 c #Conflicts: 288000 | #Constraints: 22513 939.78/942.48 c INPROCESSING 939.78/942.48 c GARBAGE COLLECT 939.78/942.48 c rational objective 120 983.75/986.52 c #Conflicts: 289000 | #Constraints: 12902 983.75/986.52 c #Conflicts: 290000 | #Constraints: 13902 983.75/986.52 c #Conflicts: 291000 | #Constraints: 14902 983.75/986.52 c #Conflicts: 292000 | #Constraints: 15902 983.75/986.52 c #Conflicts: 293000 | #Constraints: 16902 983.75/986.52 c #Conflicts: 294000 | #Constraints: 17902 983.75/986.52 c #Conflicts: 295000 | #Constraints: 18903 983.75/986.52 c #Conflicts: 296000 | #Constraints: 19903 983.75/986.52 c #Conflicts: 297000 | #Constraints: 20903 983.75/986.52 c #Conflicts: 298000 | #Constraints: 21903 983.75/986.52 c #Conflicts: 299000 | #Constraints: 22903 983.75/986.52 c INPROCESSING 983.75/986.52 c GARBAGE COLLECT 983.75/986.52 c rational objective 120 1023.25/1026.13 c #Conflicts: 300000 | #Constraints: 13094 1023.25/1026.13 c #Conflicts: 301000 | #Constraints: 14094 1023.25/1026.13 c #Conflicts: 302000 | #Constraints: 15094 1023.25/1026.13 c #Conflicts: 303000 | #Constraints: 16094 1023.25/1026.13 c #Conflicts: 304000 | #Constraints: 17094 1023.25/1026.13 c #Conflicts: 305000 | #Constraints: 18094 1023.25/1026.13 c #Conflicts: 306000 | #Constraints: 19094 1023.25/1026.13 c #Conflicts: 307000 | #Constraints: 20095 1023.25/1026.13 c #Conflicts: 308000 | #Constraints: 21095 1023.25/1026.13 c #Conflicts: 309000 | #Constraints: 22095 1023.25/1026.13 c #Conflicts: 310000 | #Constraints: 23095 1023.25/1026.13 c INPROCESSING 1023.25/1026.13 c GARBAGE COLLECT 1023.25/1026.13 c rational objective 120 1070.50/1073.52 c #Conflicts: 311000 | #Constraints: 13112 1070.50/1073.52 c #Conflicts: 312000 | #Constraints: 14112 1070.50/1073.52 c #Conflicts: 313000 | #Constraints: 15112 1070.50/1073.52 c #Conflicts: 314000 | #Constraints: 16112 1070.50/1073.52 c #Conflicts: 315000 | #Constraints: 17112 1070.50/1073.52 c #Conflicts: 316000 | #Constraints: 18112 1070.50/1073.52 c #Conflicts: 317000 | #Constraints: 19112 1070.50/1073.52 c #Conflicts: 318000 | #Constraints: 20112 1070.50/1073.52 c #Conflicts: 319000 | #Constraints: 21112 1070.50/1073.52 c #Conflicts: 320000 | #Constraints: 22112 1070.50/1073.52 c #Conflicts: 321000 | #Constraints: 23112 1070.50/1073.52 c INPROCESSING 1070.50/1073.52 c GARBAGE COLLECT 1070.50/1073.52 c rational objective 120 1140.12/1143.34 c #Conflicts: 322000 | #Constraints: 12930 1140.12/1143.34 c #Conflicts: 323000 | #Constraints: 13931 1140.12/1143.34 c #Conflicts: 324000 | #Constraints: 14931 1140.12/1143.34 c #Conflicts: 325000 | #Constraints: 15931 1140.12/1143.34 c #Conflicts: 326000 | #Constraints: 16932 1140.12/1143.34 c #Conflicts: 327000 | #Constraints: 17932 1140.12/1143.34 c #Conflicts: 328000 | #Constraints: 18932 1140.12/1143.34 c #Conflicts: 329000 | #Constraints: 19932 1140.12/1143.34 c #Conflicts: 330000 | #Constraints: 20932 1140.12/1143.34 c #Conflicts: 331000 | #Constraints: 21933 1140.12/1143.34 c #Conflicts: 332000 | #Constraints: 22933 1140.12/1143.34 c #Conflicts: 333000 | #Constraints: 23933 1140.12/1143.34 c INPROCESSING 1140.12/1143.34 c GARBAGE COLLECT 1140.12/1143.34 c rational objective 120 1185.98/1189.36 c #Conflicts: 334000 | #Constraints: 13519 1185.98/1189.36 c #Conflicts: 335000 | #Constraints: 14519 1185.98/1189.36 c #Conflicts: 336000 | #Constraints: 15519 1185.98/1189.36 c #Conflicts: 337000 | #Constraints: 16519 1185.98/1189.36 c #Conflicts: 338000 | #Constraints: 17519 1185.98/1189.36 c #Conflicts: 339000 | #Constraints: 18519 1185.98/1189.36 c #Conflicts: 340000 | #Constraints: 19519 1185.98/1189.36 c #Conflicts: 341000 | #Constraints: 20520 1185.98/1189.36 c #Conflicts: 342000 | #Constraints: 21520 1185.98/1189.36 c #Conflicts: 343000 | #Constraints: 22520 1185.98/1189.36 c #Conflicts: 344000 | #Constraints: 23520 1185.98/1189.36 c #Conflicts: 345000 | #Constraints: 24521 1185.98/1189.36 c INPROCESSING 1185.98/1189.36 c GARBAGE COLLECT 1185.98/1189.36 c rational objective 120 1236.35/1239.86 c #Conflicts: 346000 | #Constraints: 13913 1236.35/1239.86 c #Conflicts: 347000 | #Constraints: 14913 1236.35/1239.86 c #Conflicts: 348000 | #Constraints: 15913 1236.35/1239.86 c #Conflicts: 349000 | #Constraints: 16913 1236.35/1239.86 c #Conflicts: 350000 | #Constraints: 17913 1236.35/1239.86 c #Conflicts: 351000 | #Constraints: 18913 1236.35/1239.86 c #Conflicts: 352000 | #Constraints: 19913 1236.35/1239.86 c #Conflicts: 353000 | #Constraints: 20913 1236.35/1239.86 c #Conflicts: 354000 | #Constraints: 21913 1236.35/1239.86 c #Conflicts: 355000 | #Constraints: 22914 1236.35/1239.86 c #Conflicts: 356000 | #Constraints: 23914 1236.35/1239.86 c #Conflicts: 357000 | #Constraints: 24914 1236.35/1239.86 c INPROCESSING 1236.35/1239.86 c GARBAGE COLLECT 1236.35/1239.86 c rational objective 120 1280.62/1284.28 c #Conflicts: 358000 | #Constraints: 14109 1280.62/1284.28 c #Conflicts: 359000 | #Constraints: 15109 1280.62/1284.28 c #Conflicts: 360000 | #Constraints: 16109 1280.62/1284.28 c #Conflicts: 361000 | #Constraints: 17109 1280.62/1284.28 c #Conflicts: 362000 | #Constraints: 18109 1280.62/1284.28 c #Conflicts: 363000 | #Constraints: 19109 1280.62/1284.28 c #Conflicts: 364000 | #Constraints: 20109 1280.62/1284.28 c #Conflicts: 365000 | #Constraints: 21109 1280.62/1284.28 c #Conflicts: 366000 | #Constraints: 22110 1280.62/1284.28 c #Conflicts: 367000 | #Constraints: 23110 1280.62/1284.28 c #Conflicts: 368000 | #Constraints: 24110 1280.62/1284.28 c #Conflicts: 369000 | #Constraints: 25110 1280.62/1284.28 c INPROCESSING 1280.62/1284.28 c GARBAGE COLLECT 1280.62/1284.28 c rational objective 120 1335.87/1339.66 c #Conflicts: 370000 | #Constraints: 14107 1335.87/1339.66 c #Conflicts: 371000 | #Constraints: 15107 1335.87/1339.66 c #Conflicts: 372000 | #Constraints: 16107 1335.87/1339.66 c #Conflicts: 373000 | #Constraints: 17107 1335.87/1339.66 c #Conflicts: 374000 | #Constraints: 18107 1335.87/1339.66 c #Conflicts: 375000 | #Constraints: 19107 1335.87/1339.66 c #Conflicts: 376000 | #Constraints: 20107 1335.87/1339.66 c #Conflicts: 377000 | #Constraints: 21107 1335.87/1339.66 c #Conflicts: 378000 | #Constraints: 22107 1335.87/1339.66 c #Conflicts: 379000 | #Constraints: 23107 1335.87/1339.66 c #Conflicts: 380000 | #Constraints: 24108 1335.87/1339.66 c #Conflicts: 381000 | #Constraints: 25108 1335.87/1339.66 c INPROCESSING 1335.87/1339.66 c GARBAGE COLLECT 1335.87/1339.66 c rational objective 120 1384.24/1388.13 c #Conflicts: 382000 | #Constraints: 13910 1384.24/1388.13 c #Conflicts: 383000 | #Constraints: 14910 1384.24/1388.13 c #Conflicts: 384000 | #Constraints: 15910 1384.24/1388.13 c #Conflicts: 385000 | #Constraints: 16910 1384.24/1388.13 c #Conflicts: 386000 | #Constraints: 17910 1384.24/1388.13 c #Conflicts: 387000 | #Constraints: 18911 1384.24/1388.13 c #Conflicts: 388000 | #Constraints: 19911 1384.24/1388.13 c #Conflicts: 389000 | #Constraints: 20911 1384.24/1388.13 c #Conflicts: 390000 | #Constraints: 21911 1384.24/1388.13 c #Conflicts: 391000 | #Constraints: 22911 1384.24/1388.13 c #Conflicts: 392000 | #Constraints: 23911 1384.24/1388.13 c #Conflicts: 393000 | #Constraints: 24911 1384.24/1388.13 c #Conflicts: 394000 | #Constraints: 25911 1384.24/1388.13 c INPROCESSING 1384.24/1388.13 c GARBAGE COLLECT 1384.24/1388.13 c rational objective 120 1439.37/1443.42 c #Conflicts: 395000 | #Constraints: 14518 1439.37/1443.42 c #Conflicts: 396000 | #Constraints: 15518 1439.37/1443.42 c #Conflicts: 397000 | #Constraints: 16518 1439.37/1443.42 c #Conflicts: 398000 | #Constraints: 17518 1439.37/1443.42 c #Conflicts: 399000 | #Constraints: 18518 1439.37/1443.42 c #Conflicts: 400000 | #Constraints: 19518 1439.37/1443.42 c #Conflicts: 401000 | #Constraints: 20518 1439.37/1443.42 c #Conflicts: 402000 | #Constraints: 21519 1439.37/1443.42 c #Conflicts: 403000 | #Constraints: 22519 1439.37/1443.42 c #Conflicts: 404000 | #Constraints: 23519 1439.37/1443.42 c #Conflicts: 405000 | #Constraints: 24519 1439.37/1443.42 c #Conflicts: 406000 | #Constraints: 25520 1439.37/1443.42 c #Conflicts: 407000 | #Constraints: 26520 1439.37/1443.42 c INPROCESSING 1439.37/1443.42 c GARBAGE COLLECT 1439.37/1443.42 c rational objective 120 1497.41/1501.68 c #Conflicts: 408000 | #Constraints: 14912 1497.41/1501.68 c #Conflicts: 409000 | #Constraints: 15912 1497.41/1501.68 c #Conflicts: 410000 | #Constraints: 16912 1497.41/1501.68 c #Conflicts: 411000 | #Constraints: 17912 1497.41/1501.68 c #Conflicts: 412000 | #Constraints: 18912 1497.41/1501.68 c #Conflicts: 413000 | #Constraints: 19912 1497.41/1501.68 c #Conflicts: 414000 | #Constraints: 20912 1497.41/1501.68 c #Conflicts: 415000 | #Constraints: 21912 1497.41/1501.68 c #Conflicts: 416000 | #Constraints: 22913 1497.41/1501.68 c #Conflicts: 417000 | #Constraints: 23913 1497.41/1501.68 c #Conflicts: 418000 | #Constraints: 24913 1497.41/1501.68 c #Conflicts: 419000 | #Constraints: 25913 1497.41/1501.68 c #Conflicts: 420000 | #Constraints: 26913 1497.41/1501.68 c INPROCESSING 1497.41/1501.68 c GARBAGE COLLECT 1497.41/1501.68 c rational objective 120 1573.67/1578.10 c #Conflicts: 421000 | #Constraints: 15143 1573.67/1578.10 c #Conflicts: 422000 | #Constraints: 16144 1573.67/1578.10 c #Conflicts: 423000 | #Constraints: 17144 1573.67/1578.10 c #Conflicts: 424000 | #Constraints: 18144 1573.67/1578.10 c #Conflicts: 425000 | #Constraints: 19144 1573.67/1578.10 c #Conflicts: 426000 | #Constraints: 20144 1573.67/1578.10 c #Conflicts: 427000 | #Constraints: 21145 1573.67/1578.10 c #Conflicts: 428000 | #Constraints: 22145 1573.67/1578.10 c #Conflicts: 429000 | #Constraints: 23145 1573.67/1578.10 c #Conflicts: 430000 | #Constraints: 24145 1573.67/1578.10 c #Conflicts: 431000 | #Constraints: 25145 1573.67/1578.10 c #Conflicts: 432000 | #Constraints: 26145 1573.67/1578.10 c #Conflicts: 433000 | #Constraints: 27145 1573.67/1578.10 c INPROCESSING 1573.67/1578.10 c GARBAGE COLLECT 1573.67/1578.10 c rational objective 120 1679.96/1684.70 c #Conflicts: 434000 | #Constraints: 15171 1679.96/1684.70 c #Conflicts: 435000 | #Constraints: 16171 1679.96/1684.70 c #Conflicts: 436000 | #Constraints: 17172 1679.96/1684.70 c #Conflicts: 437000 | #Constraints: 18172 1679.96/1684.70 c #Conflicts: 438000 | #Constraints: 19172 1679.96/1684.70 c #Conflicts: 439000 | #Constraints: 20172 1679.96/1684.70 c #Conflicts: 440000 | #Constraints: 21172 1679.96/1684.70 c #Conflicts: 441000 | #Constraints: 22172 1679.96/1684.70 c #Conflicts: 442000 | #Constraints: 23172 1679.96/1684.70 c #Conflicts: 443000 | #Constraints: 24172 1679.96/1684.70 c #Conflicts: 444000 | #Constraints: 25172 1679.96/1684.70 c #Conflicts: 445000 | #Constraints: 26172 1679.96/1684.70 c #Conflicts: 446000 | #Constraints: 27172 1679.96/1684.70 c INPROCESSING 1679.96/1684.70 c GARBAGE COLLECT 1679.96/1684.70 c rational objective 120 1753.74/1758.79 c #Conflicts: 447000 | #Constraints: 14979 1753.74/1758.79 c #Conflicts: 448000 | #Constraints: 15980 1753.74/1758.79 c #Conflicts: 449000 | #Constraints: 16980 1753.74/1758.79 c #Conflicts: 450000 | #Constraints: 17981 1753.74/1758.79 c #Conflicts: 451000 | #Constraints: 18981 1753.74/1758.79 c #Conflicts: 452000 | #Constraints: 19981 1753.74/1758.79 c #Conflicts: 453000 | #Constraints: 20981 1753.74/1758.79 c #Conflicts: 454000 | #Constraints: 21981 1753.74/1758.79 c #Conflicts: 455000 | #Constraints: 22981 1753.74/1758.79 c #Conflicts: 456000 | #Constraints: 23981 1753.74/1758.79 c #Conflicts: 457000 | #Constraints: 24981 1753.74/1758.79 c #Conflicts: 458000 | #Constraints: 25981 1753.74/1758.79 c #Conflicts: 459000 | #Constraints: 26981 1753.74/1758.79 c #Conflicts: 460000 | #Constraints: 27981 1753.74/1758.79 c INPROCESSING 1753.74/1758.79 c GARBAGE COLLECT 1753.74/1758.79 c rational objective 120 1821.07/1826.22 c #Conflicts: 461000 | #Constraints: 15567 1821.07/1826.22 c #Conflicts: 462000 | #Constraints: 16567 1821.07/1826.22 c #Conflicts: 463000 | #Constraints: 17567 1821.07/1826.22 c #Conflicts: 464000 | #Constraints: 18567 1821.07/1826.22 c #Conflicts: 465000 | #Constraints: 19567 1821.07/1826.22 c #Conflicts: 466000 | #Constraints: 20567 1821.07/1826.22 c #Conflicts: 467000 | #Constraints: 21567 1821.07/1826.22 c #Conflicts: 468000 | #Constraints: 22567 1821.07/1826.22 c #Conflicts: 469000 | #Constraints: 23568 1821.07/1826.22 c #Conflicts: 470000 | #Constraints: 24568 1821.07/1826.22 c #Conflicts: 471000 | #Constraints: 25568 1821.07/1826.22 c #Conflicts: 472000 | #Constraints: 26568 1821.07/1826.22 c #Conflicts: 473000 | #Constraints: 27568 1821.07/1826.22 c #Conflicts: 474000 | #Constraints: 28568 1821.07/1826.22 c INPROCESSING 1821.07/1826.22 c GARBAGE COLLECT 1821.07/1826.22 c rational objective 120 1898.58/1904.00 c #Conflicts: 475000 | #Constraints: 15962 1898.58/1904.00 c #Conflicts: 476000 | #Constraints: 16962 1898.58/1904.00 c #Conflicts: 477000 | #Constraints: 17962 1898.58/1904.00 c #Conflicts: 478000 | #Constraints: 18962 1898.58/1904.00 c #Conflicts: 479000 | #Constraints: 19962 1898.58/1904.00 c #Conflicts: 480000 | #Constraints: 20962 1898.58/1904.00 c #Conflicts: 481000 | #Constraints: 21962 1898.58/1904.00 c #Conflicts: 482000 | #Constraints: 22962 1898.58/1904.00 c #Conflicts: 483000 | #Constraints: 23962 1898.58/1904.00 c #Conflicts: 484000 | #Constraints: 24962 1898.58/1904.00 c #Conflicts: 485000 | #Constraints: 25962 1898.58/1904.00 c #Conflicts: 486000 | #Constraints: 26962 1898.58/1904.00 c #Conflicts: 487000 | #Constraints: 27962 1898.58/1904.00 c #Conflicts: 488000 | #Constraints: 28962 1898.58/1904.00 c INPROCESSING 1898.58/1904.00 c GARBAGE COLLECT 1898.58/1904.00 c rational objective 120 1984.19/1989.74 c #Conflicts: 489000 | #Constraints: 16193 1984.19/1989.74 c #Conflicts: 490000 | #Constraints: 17193 1984.19/1989.74 c #Conflicts: 491000 | #Constraints: 18193 1984.19/1989.74 c #Conflicts: 492000 | #Constraints: 19194 1984.19/1989.74 c #Conflicts: 493000 | #Constraints: 20194 1984.19/1989.74 c #Conflicts: 494000 | #Constraints: 21194 1984.19/1989.74 c #Conflicts: 495000 | #Constraints: 22195 1984.19/1989.74 c #Conflicts: 496000 | #Constraints: 23195 1984.19/1989.74 c #Conflicts: 497000 | #Constraints: 24195 1984.19/1989.74 c #Conflicts: 498000 | #Constraints: 25195 1984.19/1989.74 c #Conflicts: 499000 | #Constraints: 26195 1984.19/1989.74 c #Conflicts: 500000 | #Constraints: 27196 1984.19/1989.74 c #Conflicts: 501000 | #Constraints: 28196 1984.19/1989.74 c #Conflicts: 502000 | #Constraints: 29196 1984.19/1989.74 c INPROCESSING 1984.19/1989.74 c GARBAGE COLLECT 1984.19/1989.74 c rational objective 120 2077.17/2082.96 c #Conflicts: 503000 | #Constraints: 16173 2077.17/2082.96 c #Conflicts: 504000 | #Constraints: 17173 2077.17/2082.96 c #Conflicts: 505000 | #Constraints: 18173 2077.17/2082.96 c #Conflicts: 506000 | #Constraints: 19173 2077.17/2082.96 c #Conflicts: 507000 | #Constraints: 20173 2077.17/2082.96 c #Conflicts: 508000 | #Constraints: 21173 2077.17/2082.96 c #Conflicts: 509000 | #Constraints: 22173 2077.17/2082.96 c #Conflicts: 510000 | #Constraints: 23173 2077.17/2082.96 c #Conflicts: 511000 | #Constraints: 24173 2077.17/2082.96 c #Conflicts: 512000 | #Constraints: 25173 2077.17/2082.96 c #Conflicts: 513000 | #Constraints: 26174 2077.17/2082.96 c #Conflicts: 514000 | #Constraints: 27174 2077.17/2082.96 c #Conflicts: 515000 | #Constraints: 28174 2077.17/2082.96 c #Conflicts: 516000 | #Constraints: 29174 2077.17/2082.96 c INPROCESSING 2077.17/2082.96 c GARBAGE COLLECT 2077.17/2082.96 c rational objective 120 2138.23/2144.19 c #Conflicts: 517000 | #Constraints: 15959 2138.23/2144.19 c #Conflicts: 518000 | #Constraints: 16959 2138.23/2144.19 c #Conflicts: 519000 | #Constraints: 17959 2138.23/2144.19 c #Conflicts: 520000 | #Constraints: 18959 2138.23/2144.19 c #Conflicts: 521000 | #Constraints: 19959 2138.23/2144.19 c #Conflicts: 522000 | #Constraints: 20959 2138.23/2144.19 c #Conflicts: 523000 | #Constraints: 21959 2138.23/2144.19 c #Conflicts: 524000 | #Constraints: 22960 2138.23/2144.19 c #Conflicts: 525000 | #Constraints: 23960 2138.23/2144.19 c #Conflicts: 526000 | #Constraints: 24960 2138.23/2144.19 c #Conflicts: 527000 | #Constraints: 25960 2138.23/2144.19 c #Conflicts: 528000 | #Constraints: 26960 2138.23/2144.19 c #Conflicts: 529000 | #Constraints: 27961 2138.23/2144.19 c #Conflicts: 530000 | #Constraints: 28961 2138.23/2144.19 c #Conflicts: 531000 | #Constraints: 29961 2138.23/2144.19 c INPROCESSING 2138.23/2144.19 c GARBAGE COLLECT 2138.23/2144.19 c rational objective 120 2197.89/2203.91 c #Conflicts: 532000 | #Constraints: 16556 2197.89/2203.91 c #Conflicts: 533000 | #Constraints: 17556 2197.89/2203.91 c #Conflicts: 534000 | #Constraints: 18556 2197.89/2203.91 c #Conflicts: 535000 | #Constraints: 19556 2197.89/2203.91 c #Conflicts: 536000 | #Constraints: 20556 2197.89/2203.91 c #Conflicts: 537000 | #Constraints: 21556 2197.89/2203.91 c #Conflicts: 538000 | #Constraints: 22556 2197.89/2203.91 c #Conflicts: 539000 | #Constraints: 23556 2197.89/2203.91 c #Conflicts: 540000 | #Constraints: 24557 2197.89/2203.91 c #Conflicts: 541000 | #Constraints: 25557 2197.89/2203.91 c #Conflicts: 542000 | #Constraints: 26557 2197.89/2203.91 c #Conflicts: 543000 | #Constraints: 27557 2197.89/2203.91 c #Conflicts: 544000 | #Constraints: 28557 2197.89/2203.91 c #Conflicts: 545000 | #Constraints: 29557 2197.89/2203.91 c #Conflicts: 546000 | #Constraints: 30557 2197.89/2203.91 c INPROCESSING 2197.89/2203.91 c GARBAGE COLLECT 2197.89/2203.91 c rational objective 120 2280.09/2286.37 c #Conflicts: 547000 | #Constraints: 16945 2280.09/2286.37 c #Conflicts: 548000 | #Constraints: 17945 2280.09/2286.37 c #Conflicts: 549000 | #Constraints: 18945 2280.09/2286.37 c #Conflicts: 550000 | #Constraints: 19946 2280.09/2286.37 c #Conflicts: 551000 | #Constraints: 20946 2280.09/2286.37 c #Conflicts: 552000 | #Constraints: 21946 2280.09/2286.37 c #Conflicts: 553000 | #Constraints: 22946 2280.09/2286.37 c #Conflicts: 554000 | #Constraints: 23947 2280.09/2286.37 c #Conflicts: 555000 | #Constraints: 24947 2280.09/2286.37 c #Conflicts: 556000 | #Constraints: 25947 2280.09/2286.37 c #Conflicts: 557000 | #Constraints: 26947 2280.09/2286.37 c #Conflicts: 558000 | #Constraints: 27947 2280.09/2286.37 c #Conflicts: 559000 | #Constraints: 28947 2280.09/2286.37 c #Conflicts: 560000 | #Constraints: 29947 2280.09/2286.37 c #Conflicts: 561000 | #Constraints: 30947 2280.09/2286.37 c INPROCESSING 2280.09/2286.37 c GARBAGE COLLECT 2280.09/2286.37 c rational objective 120 2346.54/2352.97 c #Conflicts: 562000 | #Constraints: 17133 2346.54/2352.97 c #Conflicts: 563000 | #Constraints: 18133 2346.54/2352.97 c #Conflicts: 564000 | #Constraints: 19133 2346.54/2352.97 c #Conflicts: 565000 | #Constraints: 20134 2346.54/2352.97 c #Conflicts: 566000 | #Constraints: 21134 2346.54/2352.97 c #Conflicts: 567000 | #Constraints: 22134 2346.54/2352.97 c #Conflicts: 568000 | #Constraints: 23134 2346.54/2352.97 c #Conflicts: 569000 | #Constraints: 24134 2346.54/2352.97 c #Conflicts: 570000 | #Constraints: 25134 2346.54/2352.97 c #Conflicts: 571000 | #Constraints: 26134 2346.54/2352.97 c #Conflicts: 572000 | #Constraints: 27134 2346.54/2352.97 c #Conflicts: 573000 | #Constraints: 28134 2346.54/2352.97 c #Conflicts: 574000 | #Constraints: 29134 2346.54/2352.97 c #Conflicts: 575000 | #Constraints: 30134 2346.54/2352.97 c #Conflicts: 576000 | #Constraints: 31135 2346.54/2352.97 c INPROCESSING 2346.54/2352.97 c GARBAGE COLLECT 2346.54/2352.97 c rational objective 120 2407.71/2414.21 c #Conflicts: 577000 | #Constraints: 17143 2407.71/2414.21 c #Conflicts: 578000 | #Constraints: 18143 2407.71/2414.21 c #Conflicts: 579000 | #Constraints: 19143 2407.71/2414.21 c #Conflicts: 580000 | #Constraints: 20143 2407.71/2414.21 c #Conflicts: 581000 | #Constraints: 21143 2407.71/2414.21 c #Conflicts: 582000 | #Constraints: 22143 2407.71/2414.21 c #Conflicts: 583000 | #Constraints: 23144 2407.71/2414.21 c #Conflicts: 584000 | #Constraints: 24144 2407.71/2414.21 c #Conflicts: 585000 | #Constraints: 25145 2407.71/2414.21 c #Conflicts: 586000 | #Constraints: 26145 2407.71/2414.21 c #Conflicts: 587000 | #Constraints: 27145 2407.71/2414.21 c #Conflicts: 588000 | #Constraints: 28145 2407.71/2414.21 c #Conflicts: 589000 | #Constraints: 29145 2407.71/2414.21 c #Conflicts: 590000 | #Constraints: 30145 2407.71/2414.21 c #Conflicts: 591000 | #Constraints: 31145 2407.71/2414.21 c INPROCESSING 2407.71/2414.21 c GARBAGE COLLECT 2407.71/2414.21 c rational objective 120 2482.22/2488.97 c #Conflicts: 592000 | #Constraints: 16941 2482.22/2488.97 c #Conflicts: 593000 | #Constraints: 17941 2482.22/2488.97 c #Conflicts: 594000 | #Constraints: 18942 2482.22/2488.97 c #Conflicts: 595000 | #Constraints: 19942 2482.22/2488.97 c #Conflicts: 596000 | #Constraints: 20942 2482.22/2488.97 c #Conflicts: 597000 | #Constraints: 21942 2482.22/2488.97 c #Conflicts: 598000 | #Constraints: 22942 2482.22/2488.97 c #Conflicts: 599000 | #Constraints: 23942 2482.22/2488.97 c #Conflicts: 600000 | #Constraints: 24943 2482.22/2488.97 c #Conflicts: 601000 | #Constraints: 25943 2482.22/2488.97 c #Conflicts: 602000 | #Constraints: 26943 2482.22/2488.97 c #Conflicts: 603000 | #Constraints: 27943 2482.22/2488.97 c #Conflicts: 604000 | #Constraints: 28943 2482.22/2488.97 c #Conflicts: 605000 | #Constraints: 29943 2482.22/2488.97 c #Conflicts: 606000 | #Constraints: 30943 2482.22/2488.97 c #Conflicts: 607000 | #Constraints: 31943 2482.22/2488.97 c INPROCESSING 2482.22/2488.97 c GARBAGE COLLECT 2482.22/2488.97 c rational objective 120 2557.22/2564.16 c #Conflicts: 608000 | #Constraints: 17542 2557.22/2564.16 c #Conflicts: 609000 | #Constraints: 18542 2557.22/2564.16 c #Conflicts: 610000 | #Constraints: 19543 2557.22/2564.16 c #Conflicts: 611000 | #Constraints: 20543 2557.22/2564.16 c #Conflicts: 612000 | #Constraints: 21543 2557.22/2564.16 c #Conflicts: 613000 | #Constraints: 22543 2557.22/2564.16 c #Conflicts: 614000 | #Constraints: 23543 2557.22/2564.16 c #Conflicts: 615000 | #Constraints: 24543 2557.22/2564.16 c #Conflicts: 616000 | #Constraints: 25543 2557.22/2564.16 c #Conflicts: 617000 | #Constraints: 26543 2557.22/2564.16 c #Conflicts: 618000 | #Constraints: 27543 2557.22/2564.16 c #Conflicts: 619000 | #Constraints: 28543 2557.22/2564.16 c #Conflicts: 620000 | #Constraints: 29543 2557.22/2564.16 c #Conflicts: 621000 | #Constraints: 30543 2557.22/2564.16 c #Conflicts: 622000 | #Constraints: 31543 2557.22/2564.16 c #Conflicts: 623000 | #Constraints: 32543 2557.22/2564.16 c INPROCESSING 2557.22/2564.16 c GARBAGE COLLECT 2557.22/2564.16 c rational objective 120 2625.82/2632.95 c #Conflicts: 624000 | #Constraints: 17930 2625.82/2632.95 c #Conflicts: 625000 | #Constraints: 18931 2625.82/2632.95 c #Conflicts: 626000 | #Constraints: 19931 2625.82/2632.95 c #Conflicts: 627000 | #Constraints: 20931 2625.82/2632.95 c #Conflicts: 628000 | #Constraints: 21931 2625.82/2632.95 c #Conflicts: 629000 | #Constraints: 22931 2625.82/2632.95 c #Conflicts: 630000 | #Constraints: 23931 2625.82/2632.95 c #Conflicts: 631000 | #Constraints: 24932 2625.82/2632.95 c #Conflicts: 632000 | #Constraints: 25932 2625.82/2632.95 c #Conflicts: 633000 | #Constraints: 26932 2625.82/2632.95 c #Conflicts: 634000 | #Constraints: 27932 2625.82/2632.95 c #Conflicts: 635000 | #Constraints: 28932 2625.82/2632.95 c #Conflicts: 636000 | #Constraints: 29932 2625.82/2632.95 c #Conflicts: 637000 | #Constraints: 30932 2625.82/2632.95 c #Conflicts: 638000 | #Constraints: 31932 2625.82/2632.95 c #Conflicts: 639000 | #Constraints: 32932 2625.82/2632.95 c INPROCESSING 2625.82/2632.95 c GARBAGE COLLECT 2625.82/2632.95 c rational objective 120 2694.33/2701.69 c #Conflicts: 640000 | #Constraints: 18132 2694.33/2701.69 c #Conflicts: 641000 | #Constraints: 19132 2694.33/2701.69 c #Conflicts: 642000 | #Constraints: 20132 2694.33/2701.69 c #Conflicts: 643000 | #Constraints: 21132 2694.33/2701.69 c #Conflicts: 644000 | #Constraints: 22132 2694.33/2701.69 c #Conflicts: 645000 | #Constraints: 23132 2694.33/2701.69 c #Conflicts: 646000 | #Constraints: 24132 2694.33/2701.69 c #Conflicts: 647000 | #Constraints: 25132 2694.33/2701.69 c #Conflicts: 648000 | #Constraints: 26132 2694.33/2701.69 c #Conflicts: 649000 | #Constraints: 27132 2694.33/2701.69 c #Conflicts: 650000 | #Constraints: 28132 2694.33/2701.69 c #Conflicts: 651000 | #Constraints: 29132 2694.33/2701.69 c #Conflicts: 652000 | #Constraints: 30132 2694.33/2701.69 c #Conflicts: 653000 | #Constraints: 31132 2694.33/2701.69 c #Conflicts: 654000 | #Constraints: 32132 2694.33/2701.69 c #Conflicts: 655000 | #Constraints: 33132 2694.33/2701.69 c INPROCESSING 2694.33/2701.69 c GARBAGE COLLECT 2694.33/2701.69 c rational objective 120 2896.87/2904.79 c #Conflicts: 656000 | #Constraints: 18159 2896.87/2904.79 c #Conflicts: 657000 | #Constraints: 19159 2896.87/2904.79 c #Conflicts: 658000 | #Constraints: 20159 2896.87/2904.79 c #Conflicts: 659000 | #Constraints: 21160 2896.87/2904.79 c #Conflicts: 660000 | #Constraints: 22160 2896.87/2904.79 c #Conflicts: 661000 | #Constraints: 23161 2896.87/2904.79 c #Conflicts: 662000 | #Constraints: 24161 2896.87/2904.79 c #Conflicts: 663000 | #Constraints: 25161 2896.87/2904.79 c #Conflicts: 664000 | #Constraints: 26161 2896.87/2904.79 c #Conflicts: 665000 | #Constraints: 27161 2896.87/2904.79 c #Conflicts: 666000 | #Constraints: 28161 2896.87/2904.79 c #Conflicts: 667000 | #Constraints: 29161 2896.87/2904.79 c #Conflicts: 668000 | #Constraints: 30161 2896.87/2904.79 c #Conflicts: 669000 | #Constraints: 31161 2896.87/2904.79 c #Conflicts: 670000 | #Constraints: 32161 2896.87/2904.79 c #Conflicts: 671000 | #Constraints: 33162 2896.87/2904.79 c INPROCESSING 2896.87/2904.79 c GARBAGE COLLECT 2896.87/2904.79 c #Conflicts: 672000 | #Constraints: 17954 2896.87/2904.79 c #Conflicts: 673000 | #Constraints: 18954 2896.87/2904.79 c #Conflicts: 674000 | #Constraints: 19954 2896.87/2904.79 c #Conflicts: 675000 | #Constraints: 20954 2896.87/2904.79 c #Conflicts: 676000 | #Constraints: 21954 2896.87/2904.79 c #Conflicts: 677000 | #Constraints: 22954 2896.87/2904.79 c #Conflicts: 678000 | #Constraints: 23954 2896.87/2904.79 c #Conflicts: 679000 | #Constraints: 24954 2896.87/2904.79 c #Conflicts: 680000 | #Constraints: 25954 2896.87/2904.79 c #Conflicts: 681000 | #Constraints: 26955 2896.87/2904.79 c #Conflicts: 682000 | #Constraints: 27955 2896.87/2904.79 c #Conflicts: 683000 | #Constraints: 28955 2896.87/2904.79 c #Conflicts: 684000 | #Constraints: 29955 2896.87/2904.79 c #Conflicts: 685000 | #Constraints: 30955 2896.87/2904.79 c #Conflicts: 686000 | #Constraints: 31955 2896.87/2904.79 c #Conflicts: 687000 | #Constraints: 32955 2896.87/2904.79 c #Conflicts: 688000 | #Constraints: 33955 2896.87/2904.79 c INPROCESSING 2896.87/2904.79 c GARBAGE COLLECT 2896.87/2904.79 c rational objective 120 2977.74/2985.82 c #Conflicts: 689000 | #Constraints: 18552 2977.74/2985.82 c #Conflicts: 690000 | #Constraints: 19552 2977.74/2985.82 c #Conflicts: 691000 | #Constraints: 20553 2977.74/2985.82 c #Conflicts: 692000 | #Constraints: 21553 2977.74/2985.82 c #Conflicts: 693000 | #Constraints: 22553 2977.74/2985.82 c #Conflicts: 694000 | #Constraints: 23553 2977.74/2985.82 c #Conflicts: 695000 | #Constraints: 24553 2977.74/2985.82 c #Conflicts: 696000 | #Constraints: 25553 2977.74/2985.82 c #Conflicts: 697000 | #Constraints: 26554 2977.74/2985.82 c #Conflicts: 698000 | #Constraints: 27554 2977.74/2985.82 c #Conflicts: 699000 | #Constraints: 28554 2977.74/2985.82 c #Conflicts: 700000 | #Constraints: 29554 2977.74/2985.82 c #Conflicts: 701000 | #Constraints: 30554 2977.74/2985.82 c #Conflicts: 702000 | #Constraints: 31554 2977.74/2985.82 c #Conflicts: 703000 | #Constraints: 32554 2977.74/2985.82 c #Conflicts: 704000 | #Constraints: 33554 2977.74/2985.82 c #Conflicts: 705000 | #Constraints: 34554 2977.74/2985.82 c INPROCESSING 2977.74/2985.82 c GARBAGE COLLECT 2977.74/2985.82 c rational objective 120 3084.83/3093.26 c #Conflicts: 706000 | #Constraints: 18952 3084.83/3093.26 c #Conflicts: 707000 | #Constraints: 19953 3084.83/3093.26 c #Conflicts: 708000 | #Constraints: 20953 3084.83/3093.26 c #Conflicts: 709000 | #Constraints: 21953 3084.83/3093.26 c #Conflicts: 710000 | #Constraints: 22953 3084.83/3093.26 c #Conflicts: 711000 | #Constraints: 23953 3084.83/3093.26 c #Conflicts: 712000 | #Constraints: 24953 3084.83/3093.26 c #Conflicts: 713000 | #Constraints: 25953 3084.83/3093.26 c #Conflicts: 714000 | #Constraints: 26953 3084.83/3093.26 c #Conflicts: 715000 | #Constraints: 27953 3084.83/3093.26 c #Conflicts: 716000 | #Constraints: 28953 3084.83/3093.26 c #Conflicts: 717000 | #Constraints: 29953 3084.83/3093.26 c #Conflicts: 718000 | #Constraints: 30953 3084.83/3093.26 c #Conflicts: 719000 | #Constraints: 31953 3084.83/3093.26 c #Conflicts: 720000 | #Constraints: 32953 3084.83/3093.26 c #Conflicts: 721000 | #Constraints: 33953 3084.83/3093.26 c #Conflicts: 722000 | #Constraints: 34953 3084.83/3093.26 c INPROCESSING 3084.83/3093.26 c GARBAGE COLLECT 3084.83/3093.26 c rational objective 120 3219.16/3227.93 c #Conflicts: 723000 | #Constraints: 19165 3219.16/3227.93 c #Conflicts: 724000 | #Constraints: 20165 3219.16/3227.93 c #Conflicts: 725000 | #Constraints: 21166 3219.16/3227.93 c #Conflicts: 726000 | #Constraints: 22166 3219.16/3227.93 c #Conflicts: 727000 | #Constraints: 23166 3219.16/3227.93 c #Conflicts: 728000 | #Constraints: 24166 3219.16/3227.93 c #Conflicts: 729000 | #Constraints: 25166 3219.16/3227.93 c #Conflicts: 730000 | #Constraints: 26166 3219.16/3227.93 c #Conflicts: 731000 | #Constraints: 27166 3219.16/3227.93 c #Conflicts: 732000 | #Constraints: 28166 3219.16/3227.93 c #Conflicts: 733000 | #Constraints: 29167 3219.16/3227.93 c #Conflicts: 734000 | #Constraints: 30167 3219.16/3227.93 c #Conflicts: 735000 | #Constraints: 31167 3219.16/3227.93 c #Conflicts: 736000 | #Constraints: 32167 3219.16/3227.93 c #Conflicts: 737000 | #Constraints: 33167 3219.16/3227.93 c #Conflicts: 738000 | #Constraints: 34167 3219.16/3227.93 c #Conflicts: 739000 | #Constraints: 35167 3219.16/3227.93 c INPROCESSING 3219.16/3227.93 c GARBAGE COLLECT 3219.16/3227.93 c rational objective 120 3307.21/3316.20 c #Conflicts: 740000 | #Constraints: 19225 3307.21/3316.20 c #Conflicts: 741000 | #Constraints: 20225 3307.21/3316.20 c #Conflicts: 742000 | #Constraints: 21225 3307.21/3316.20 c #Conflicts: 743000 | #Constraints: 22225 3307.21/3316.20 c #Conflicts: 744000 | #Constraints: 23225 3307.21/3316.20 c #Conflicts: 745000 | #Constraints: 24225 3307.21/3316.20 c #Conflicts: 746000 | #Constraints: 25225 3307.21/3316.20 c #Conflicts: 747000 | #Constraints: 26225 3307.21/3316.20 c #Conflicts: 748000 | #Constraints: 27225 3307.21/3316.20 c #Conflicts: 749000 | #Constraints: 28225 3307.21/3316.20 c #Conflicts: 750000 | #Constraints: 29226 3307.21/3316.20 c #Conflicts: 751000 | #Constraints: 30226 3307.21/3316.20 c #Conflicts: 752000 | #Constraints: 31226 3307.21/3316.20 c #Conflicts: 753000 | #Constraints: 32226 3307.21/3316.20 c #Conflicts: 754000 | #Constraints: 33226 3307.21/3316.20 c #Conflicts: 755000 | #Constraints: 34226 3307.21/3316.20 c #Conflicts: 756000 | #Constraints: 35226 3307.21/3316.20 c INPROCESSING 3307.21/3316.20 c GARBAGE COLLECT 3307.21/3316.20 c rational objective 120 3397.96/3407.29 c #Conflicts: 757000 | #Constraints: 18965 3397.96/3407.29 c #Conflicts: 758000 | #Constraints: 19965 3397.96/3407.29 c #Conflicts: 759000 | #Constraints: 20965 3397.96/3407.29 c #Conflicts: 760000 | #Constraints: 21965 3397.96/3407.29 c #Conflicts: 761000 | #Constraints: 22966 3397.96/3407.29 c #Conflicts: 762000 | #Constraints: 23966 3397.96/3407.29 c #Conflicts: 763000 | #Constraints: 24966 3397.96/3407.29 c #Conflicts: 764000 | #Constraints: 25966 3397.96/3407.29 c #Conflicts: 765000 | #Constraints: 26967 3397.96/3407.29 c #Conflicts: 766000 | #Constraints: 27967 3397.96/3407.29 c #Conflicts: 767000 | #Constraints: 28967 3397.96/3407.29 c #Conflicts: 768000 | #Constraints: 29967 3397.96/3407.29 c #Conflicts: 769000 | #Constraints: 30967 3397.96/3407.29 c #Conflicts: 770000 | #Constraints: 31967 3397.96/3407.29 c #Conflicts: 771000 | #Constraints: 32967 3397.96/3407.29 c #Conflicts: 772000 | #Constraints: 33967 3397.96/3407.29 c #Conflicts: 773000 | #Constraints: 34967 3397.96/3407.29 c #Conflicts: 774000 | #Constraints: 35967 3397.96/3407.29 c INPROCESSING 3397.96/3407.29 c GARBAGE COLLECT 3397.96/3407.29 c rational objective 120 3493.22/3502.76 c #Conflicts: 775000 | #Constraints: 19536 3493.22/3502.76 c #Conflicts: 776000 | #Constraints: 20537 3493.22/3502.76 c #Conflicts: 777000 | #Constraints: 21537 3493.22/3502.76 c #Conflicts: 778000 | #Constraints: 22537 3493.22/3502.76 c #Conflicts: 779000 | #Constraints: 23537 3493.22/3502.76 c #Conflicts: 780000 | #Constraints: 24537 3493.22/3502.76 c #Conflicts: 781000 | #Constraints: 25537 3493.22/3502.76 c #Conflicts: 782000 | #Constraints: 26537 3493.22/3502.76 c #Conflicts: 783000 | #Constraints: 27537 3493.22/3502.76 c #Conflicts: 784000 | #Constraints: 28537 3493.22/3502.76 c #Conflicts: 785000 | #Constraints: 29537 3493.22/3502.76 c #Conflicts: 786000 | #Constraints: 30537 3493.22/3502.76 c #Conflicts: 787000 | #Constraints: 31538 3493.22/3502.76 c #Conflicts: 788000 | #Constraints: 32538 3493.22/3502.76 c #Conflicts: 789000 | #Constraints: 33538 3493.22/3502.76 c #Conflicts: 790000 | #Constraints: 34538 3493.22/3502.76 c #Conflicts: 791000 | #Constraints: 35538 3493.22/3502.76 c #Conflicts: 792000 | #Constraints: 36538 3493.22/3502.76 c INPROCESSING 3493.22/3502.76 c GARBAGE COLLECT 3493.22/3502.76 c rational objective 120 3590.70/3600.43 c #Conflicts: 793000 | #Constraints: 19943 3590.70/3600.43 c #Conflicts: 794000 | #Constraints: 20943 3590.70/3600.43 c #Conflicts: 795000 | #Constraints: 21943 3590.70/3600.43 c #Conflicts: 796000 | #Constraints: 22943 3590.70/3600.43 c #Conflicts: 797000 | #Constraints: 23944 3590.70/3600.43 c #Conflicts: 798000 | #Constraints: 24944 3590.70/3600.43 c #Conflicts: 799000 | #Constraints: 25944 3590.70/3600.43 c #Conflicts: 800000 | #Constraints: 26944 3590.70/3600.43 c #Conflicts: 801000 | #Constraints: 27944 3590.70/3600.43 c #Conflicts: 802000 | #Constraints: 28944 3590.70/3600.43 c #Conflicts: 803000 | #Constraints: 29944 3590.70/3600.43 c #Conflicts: 804000 | #Constraints: 30945 3590.70/3600.43 c #Conflicts: 805000 | #Constraints: 31945 3590.70/3600.43 c #Conflicts: 806000 | #Constraints: 32945 3590.70/3600.43 c #Conflicts: 807000 | #Constraints: 33945 3590.70/3600.43 c #Conflicts: 808000 | #Constraints: 34945 3590.70/3600.43 c #Conflicts: 809000 | #Constraints: 35945 3590.70/3600.43 c #Conflicts: 810000 | #Constraints: 36945 3590.70/3600.43 c INPROCESSING 3590.70/3600.43 c GARBAGE COLLECT 3590.70/3600.43 c rational objective 120 3600.08/3609.80 c #Conflicts: 811000 | #Constraints: 20157 3600.08/3609.80 c #Conflicts: 812000 | #Constraints: 21157 3600.08/3609.80 c #Conflicts: 813000 | #Constraints: 22157 3600.08/3609.80 c Program interrupted by user. 3600.09/3610.00 c cpu time 3569.09 s 3600.09/3610.00 c deterministic time 520001225191 5.20e+11 3600.09/3610.00 c optimization time 8.98647 s 3600.09/3610.00 c total solve time 3560.06 s 3600.09/3610.00 c core-guided solve time 0 s 3600.09/3610.00 c propagation time 2329.41 s 3600.09/3610.00 c conflict analysis time 826.989 s 3600.09/3610.00 c propagations 185702184 3600.09/3610.00 c resolve steps 8186451 3600.09/3610.00 c decisions 8840262 3600.09/3610.00 c conflicts 813357 3600.09/3610.00 c restarts 1753 3600.09/3610.00 c inprocessing phases 81 3600.09/3610.00 c input clauses 480 3600.09/3610.00 c input cardinalities 608 3600.09/3610.00 c input general constraints 0 3600.09/3610.00 c input average constraint length 132.35 3600.09/3610.00 c input average constraint degree 79.18 3600.09/3610.00 c learned clauses 78321 3600.09/3610.00 c learned cardinalities 32361 3600.09/3610.00 c learned general constraints 702756 3600.09/3610.00 c learned average constraint length 2518.17 3600.09/3610.00 c learned average constraint degree 85385535.81 3600.09/3610.00 c watched constraints 495462 3600.09/3610.00 c counting constraints 207294 3600.09/3610.00 c gcd simplifications 253 3600.09/3610.00 c detected cardinalities 1 3600.09/3610.00 c weakened non-implied lits 906681098 3600.09/3610.00 c weakened non-implying lits 330396 3600.09/3610.00 c original variables 14400 3600.09/3610.00 c clausal propagations 1060239 3600.09/3610.00 c cardinality propagations 123009208 3600.09/3610.00 c watched propagations 7733552 3600.09/3610.00 c counting propagations 51292790 3600.09/3610.00 c watch lookups 15176300163 3600.09/3610.00 c watch backjump lookups 13370690654 3600.09/3610.00 c watch checks 345367623415 3600.09/3610.00 c propagation checks 139793668890 3600.09/3610.00 c constraint additions 5901525757 3600.09/3610.00 c trail pops 195341717 3600.09/3610.00 c formula constraints 1088 3600.09/3610.00 c learned constraints 813276 3600.09/3610.00 c bound constraints 0 3600.09/3610.00 c core-guided constraints 0 3600.09/3610.00 c encountered formula constraints 2415527 3600.09/3610.00 c encountered learned constraints 6583935 3600.09/3610.00 c encountered bound constraints 0 3600.09/3610.00 c encountered core-guided constraints 0 3600.09/3610.00 c LP total time 537.338 s 3600.09/3610.00 c LP solve time 526.37 s 3600.09/3610.00 c LP constraints added 1115 3600.09/3610.00 c LP constraints removed 27 3600.09/3610.00 c LP pivots internal 814376 3600.09/3610.00 c LP pivots root 717772 3600.09/3610.00 c LP calls 167 3600.09/3610.00 c LP optimalities 80 3600.09/3610.00 c LP no pivot count 9 3600.09/3610.00 c LP infeasibilities 81 3600.09/3610.00 c LP valid Farkas constraints 81 3600.09/3610.00 c LP learned Farkas constraints 81 3600.09/3610.00 c LP basis resets 0 3600.09/3610.00 c LP cycling count 0 3600.09/3610.00 c LP singular count 0 3600.09/3610.00 c LP no primal count 0 3600.09/3610.00 c LP no farkas count 0 3600.09/3610.00 c LP other issue count 0 3600.09/3610.00 c LP Gomory cuts 0 3600.09/3610.00 c LP learned cuts 28 3600.09/3610.00 c LP deleted cuts 27 3600.09/3610.00 c LP encountered Gomory constraints 0 3600.09/3610.00 c LP encountered Farkas constraints 166 3600.09/3610.00 c LP encountered learned Farkas constraints 99 3600.09/3610.00 c CG auxiliary variables introduced 0 3600.09/3610.00 c CG solutions found 0 3600.09/3610.00 c CG cores constructed 0 3600.09/3610.00 c CG core cardinality constraints returned 0 3600.09/3610.00 c CG unit cores 0 3600.09/3610.00 c CG single cores 0 3600.09/3610.00 c CG blocks removed during cardinality reduction 0 3600.09/3610.00 c CG first core best 0 3600.09/3610.00 c CG decision core best 0 3600.09/3610.00 c CG core reduction tie 0 3600.09/3610.00 c CG core degree average 0.00 3600.09/3610.00 c CG core slack average 0.00 3600.09/3610.00 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (42943 MiB free)
memory of node 1: 64510 MiB (44882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456861-1721817186/watcher-4456861-1721817186 -o /tmp/evaluation-result-4456861-1721817186/solver-4456861-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183572 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456861-1721817186 --lp-cut-gomory=0 HOME/instance-4456861-1721817186.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
Current StackSize limit: 8192 KiB
solver pid=183624, runsolver pid=183613
[startup+0.100827 s]*
/proc/loadavg: 0.13 0.09 0.12 6/259 183633
/proc/meminfo: memFree=89908288/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=57148 memory=26920 CPUtime=0.07 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 6706 0 0 0 6 1 0 0 20 0 1 0 18247196 58519552 6730 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 7 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 14287 6730 1673 992 0 6145 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26920 KiB
[startup+0.20681 s]*
/proc/loadavg: 0.13 0.09 0.12 5/256 183641
/proc/meminfo: memFree=89904652/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=57148 memory=26920 CPUtime=0.17 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 6706 0 0 0 16 1 0 0 20 0 1 0 18247196 58519552 6730 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 7 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 14287 6730 1673 992 0 6145 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26920 KiB
[startup+0.305165 s]*
/proc/loadavg: 0.13 0.09 0.12 3/254 183641
/proc/meminfo: memFree=89904352/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=57148 memory=26920 CPUtime=0.27 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 6706 0 0 0 26 1 0 0 20 0 1 0 18247196 58519552 6730 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 14287 6730 1673 992 0 6145 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26920 KiB
[startup+0.700154 s]
/proc/loadavg: 0.13 0.09 0.12 5/251 183674
/proc/meminfo: memFree=89909672/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=57148 memory=26920 CPUtime=0.66 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 6706 0 0 0 65 1 0 0 20 0 1 0 18247196 58519552 6730 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 14287 6730 1673 992 0 6145 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26920 KiB
[startup+1.5002 s]
/proc/loadavg: 0.13 0.09 0.12 6/261 183725
/proc/meminfo: memFree=89823852/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=61532 memory=34788 CPUtime=1.46 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 7550 0 0 0 140 6 0 0 20 0 1 0 18247196 63008768 8697 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 15383 8697 1752 992 0 7241 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61532 KiB
Current children cumulated memory: 34788 KiB
[startup+3.10497 s]
/proc/loadavg: 0.13 0.09 0.12 7/261 183725
/proc/meminfo: memFree=89669992/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=80908 memory=47880 CPUtime=3.06 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 10336 0 0 0 295 11 0 0 20 0 1 0 18247196 82849792 11970 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 20227 11970 1767 992 0 12085 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 80908 KiB
Current children cumulated memory: 47880 KiB
[startup+6.30021 s]
/proc/loadavg: 0.44 0.16 0.14 7/261 183725
/proc/meminfo: memFree=88682456/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=81768 memory=48672 CPUtime=6.24 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 10490 0 0 0 611 13 0 0 20 0 1 0 18247196 83730432 12168 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 20442 12168 1767 992 0 12300 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 81768 KiB
Current children cumulated memory: 48672 KiB
[startup+12.7002 s]
/proc/loadavg: 0.72 0.22 0.17 7/261 183727
/proc/meminfo: memFree=88619912/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=89960 memory=63480 CPUtime=12.63 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 12591 0 0 0 1233 30 0 0 20 0 1 0 18247196 92119040 15870 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 22490 15870 1831 992 0 14348 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 89960 KiB
Current children cumulated memory: 63480 KiB
[startup+25.5002 s]
/proc/loadavg: 1.52 0.42 0.23 7/263 183730
/proc/meminfo: memFree=88516860/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=116120 memory=87824 CPUtime=25.39 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 16621 0 0 0 2480 59 0 0 20 0 1 0 18247196 118906880 21956 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 29030 21956 1863 992 0 20888 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 116120 KiB
Current children cumulated memory: 87824 KiB
[startup+51.1061 s]
/proc/loadavg: 2.37 0.71 0.33 6/261 183874
/proc/meminfo: memFree=88927160/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=183460 memory=142524 CPUtime=50.92 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 22154 0 0 0 4980 112 0 0 20 0 1 0 18247196 187863040 35631 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 45865 35631 1863 992 0 37723 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 183460 KiB
Current children cumulated memory: 142524 KiB
[startup+102.3 s]
/proc/loadavg: 3.33 1.23 0.53 6/262 183882
/proc/meminfo: memFree=84987540/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=262372 memory=199208 CPUtime=102 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 29695 0 0 0 10019 181 0 0 20 0 1 0 18247196 268668928 49802 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 65593 49802 1863 992 0 57451 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 262372 KiB
Current children cumulated memory: 199208 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.79 0.77 6/259 183923
/proc/meminfo: memFree=82086288/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=276044 memory=214576 CPUtime=161.85 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 33646 0 0 0 15915 270 0 0 20 0 1 0 18247196 282669056 53644 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 69011 53644 1863 992 0 60869 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 276044 KiB
Current children cumulated memory: 214576 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.19 0.97 6/255 183933
/proc/meminfo: memFree=79784788/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=366016 memory=266944 CPUtime=221.69 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 36399 0 0 0 21824 345 0 0 20 0 1 0 18247196 374800384 66736 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 91504 66736 1863 992 0 83362 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 366016 KiB
Current children cumulated memory: 266944 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.55 1.18 6/260 184057
/proc/meminfo: memFree=79884924/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=388768 memory=353520 CPUtime=281.53 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 42239 0 0 0 27759 394 0 0 20 0 1 0 18247196 398098432 88380 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 97192 88380 1863 992 0 89050 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 388768 KiB
Current children cumulated memory: 353520 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.83 1.36 6/260 184067
/proc/meminfo: memFree=77378092/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=399520 memory=363324 CPUtime=341.38 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 44785 0 0 0 33667 471 0 0 20 0 1 0 18247196 409108480 90831 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 99880 90831 1863 992 0 91738 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 399520 KiB
Current children cumulated memory: 363324 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.06 1.54 6/260 184079
/proc/meminfo: memFree=74916392/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=404376 memory=368180 CPUtime=401.22 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 46111 0 0 0 39576 546 0 0 20 0 1 0 18247196 414081024 92045 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 101094 92045 1863 992 0 92952 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 404376 KiB
Current children cumulated memory: 368180 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.70 6/261 184093
/proc/meminfo: memFree=72206796/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=411400 memory=375324 CPUtime=461.05 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 48042 0 0 0 45492 613 0 0 20 0 1 0 18247196 421273600 93831 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 102850 93831 1863 992 0 94708 0
################
# More data... #
################
Current children cumulated memory: 881904 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.01 5/261 185401
/proc/meminfo: memFree=44734424/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=987024 memory=882568 CPUtime=2914.42 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 114154 0 0 0 288808 2634 0 0 20 0 1 0 18247196 1010712576 220642 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 246756 220642 1863 992 0 238614 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 987024 KiB
Current children cumulated memory: 882568 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.01 5/259 185412
/proc/meminfo: memFree=43900372/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=990460 memory=885640 CPUtime=2974.25 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 115297 0 0 0 294756 2669 0 0 20 0 1 0 18247196 1014231040 221410 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 247615 221410 1863 992 0 239473 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 990460 KiB
Current children cumulated memory: 885640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.14 4.02 5/259 185422
/proc/meminfo: memFree=42896620/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=990460 memory=886048 CPUtime=3034.08 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 115624 0 0 0 300701 2707 0 0 20 0 1 0 18247196 1014231040 221512 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 247615 221512 1863 992 0 239473 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 990460 KiB
Current children cumulated memory: 886048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.48 4.22 4.06 5/255 185460
/proc/meminfo: memFree=42396540/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=993756 memory=889304 CPUtime=3093.91 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 116804 0 0 0 306648 2743 0 0 20 0 1 0 18247196 1017606144 222326 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 248439 222326 1863 992 0 240297 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 993756 KiB
Current children cumulated memory: 889304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.45 4.24 4.07 5/256 185853
/proc/meminfo: memFree=41403524/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=994020 memory=889568 CPUtime=3153.75 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 117210 0 0 0 312603 2772 0 0 20 0 1 0 18247196 1017876480 222392 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 248505 222392 1863 992 0 240363 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 994020 KiB
Current children cumulated memory: 889568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.33 4.26 4.09 5/259 185886
/proc/meminfo: memFree=42623400/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=998616 memory=961740 CPUtime=3213.58 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 118826 0 0 0 318567 2791 0 0 20 0 1 0 18247196 1022582784 240435 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 249654 240435 1863 992 0 241512 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 998616 KiB
Current children cumulated memory: 961740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.21 4.08 5/259 185896
/proc/meminfo: memFree=41887380/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=999476 memory=968464 CPUtime=3273.4 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 119216 0 0 0 324501 2839 0 0 20 0 1 0 18247196 1023463424 242116 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 249869 242116 1863 992 0 241727 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 968464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/260 186075
/proc/meminfo: memFree=41252056/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=999476 memory=968492 CPUtime=3333.23 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 119553 0 0 0 330428 2895 0 0 20 0 1 0 18247196 1023463424 242123 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 249869 242123 1863 992 0 241727 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 968492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.09 5/259 186086
/proc/meminfo: memFree=40585688/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=999476 memory=970824 CPUtime=3393.08 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 119912 0 0 0 336368 2940 0 0 20 0 1 0 18247196 1023463424 242706 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 249869 242706 1863 992 0 241727 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 970824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/259 186097
/proc/meminfo: memFree=39935864/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=1000132 memory=971424 CPUtime=3452.93 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 120388 0 0 0 342306 2987 0 0 20 0 1 0 18247196 1024135168 242856 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 250033 242856 1863 992 0 241891 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 971424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/263 186168
/proc/meminfo: memFree=38991964/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=1000132 memory=971424 CPUtime=3512.78 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 120768 0 0 0 348242 3036 0 0 20 0 1 0 18247196 1024135168 242856 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 250033 242856 1863 992 0 241891 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 971424 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/263 186179
/proc/meminfo: memFree=37826104/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=1000132 memory=971424 CPUtime=3572.64 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 121121 0 0 0 354189 3075 0 0 20 0 1 0 18247196 1024135168 242856 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 250033 242856 1863 992 0 241891 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 971424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/262 186184
/proc/meminfo: memFree=37346328/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=1000132 memory=971688 CPUtime=3600.08 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 121312 0 0 0 356909 3099 0 0 20 0 1 0 18247196 1024135168 242922 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 250033 242922 1863 992 0 241891 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 971688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 183624 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.09 s, system=31.0096 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.11 4.13 4.09 5/263 186185
/proc/meminfo: memFree=37328768/131524600 swapFree=131056284/131071996
[pid=183624] ppid=183613 vsize=992872 memory=964844 CPUtime=3600.09 cores=5,7
/proc/183624/stat : 183624 (roundingsat) R 183613 183624 183559 0 -1 4194304 121321 0 0 0 356909 3100 0 0 20 0 1 0 18247196 1016700928 241211 134679101440 4194304 8254037 140735325396688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 35 0 0 9037040 9046032 33112064 140735325406044 140735325406306 140735325406306 140735325413321 0
/proc/183624/statm: 248218 241211 1962 992 0 240076 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 992872 KiB
Current children cumulated memory: 964844 KiB
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.1
CPU user time (s): 3569.09
CPU system time (s): 31.0096
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 1000132
Max. memory (cumulated for all children) (KiB): 971688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.09
system time used= 31.0096
maximum resident set size= 971688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30519840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1608
involuntary context switches= 4627
# summary of solver processes directly reported to runsolver:
# pid: 183624
# total CPU time (s): 3600.1
# total CPU user time (s): 3569.09
# total CPU system time (s): 31.0096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18453 second user time and 17.1184 second system time
The end
Begin job on nodeC016 at 2024-07-24 12:33:07 IDJOB=4456861 IDBENCH=147863 IDSOLVER=3085 FILE ID=nodeC016/4456861-1721817186 RUNJOBID= nodeC016-1721817186-183572 SLURM_JOB_ID= 7816868 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.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-4456861-1721817186/watcher-4456861-1721817186 -o /tmp/evaluation-result-4456861-1721817186/solver-4456861-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183572 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456861-1721817186 --lp-cut-gomory=0 HOME/instance-4456861-1721817186.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d RANDOM SEED=990321049 nodeC016.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 : 3434.189 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.34 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 : 3452.611 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3450.077 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.34 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 : 3497.805 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.68 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 : 3342.301 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.34 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 : 3496.043 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.68 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 : 3767.454 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.34 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 : 3767.454 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 89935700 kB MemAvailable: 129575304 kB Buffers: 239912 kB Cached: 40023628 kB SwapCached: 200 kB Active: 2276516 kB Inactive: 38350228 kB Active(anon): 4568 kB Inactive(anon): 411332 kB Active(file): 2271948 kB Inactive(file): 37938896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056284 kB Dirty: 23432 kB Writeback: 4 kB AnonPages: 362528 kB Mapped: 115416 kB Shmem: 52688 kB KReclaimable: 489992 kB Slab: 611520 kB SReclaimable: 489992 kB SUnreclaim: 121528 kB KernelStack: 4000 kB PageTables: 10380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 742192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890056 MiB End job on nodeC016 at 2024-07-24 13:33:17