| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.12 | 3609.32 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.05 c #variables 14400 #constraints 1088 19.82/19.99 c #Conflicts: 1000 | #Constraints: 2087 19.82/19.99 c #Conflicts: 2000 | #Constraints: 3087 19.82/19.99 c INPROCESSING 19.82/19.99 c GARBAGE COLLECT 19.82/19.99 c #Conflicts: 3000 | #Constraints: 3117 19.82/19.99 c #Conflicts: 4000 | #Constraints: 4117 19.82/19.99 c INPROCESSING 19.82/19.99 c GARBAGE COLLECT 19.82/19.99 c #Conflicts: 5000 | #Constraints: 3544 19.82/19.99 c #Conflicts: 6000 | #Constraints: 4544 19.82/19.99 c INPROCESSING 19.82/19.99 c GARBAGE COLLECT 19.82/19.99 c #Conflicts: 7000 | #Constraints: 3579 19.82/19.99 c #Conflicts: 8000 | #Constraints: 4579 19.82/19.99 c #Conflicts: 9000 | #Constraints: 5579 19.82/19.99 c INPROCESSING 19.82/19.99 c GARBAGE COLLECT 19.82/19.99 c rational objective 120 50.63/50.87 c #Conflicts: 10000 | #Constraints: 4296 50.63/50.87 c #Conflicts: 11000 | #Constraints: 5296 50.63/50.87 c #Conflicts: 12000 | #Constraints: 6296 50.63/50.87 c INPROCESSING 50.63/50.87 c GARBAGE COLLECT 50.63/50.87 c #Conflicts: 13000 | #Constraints: 4757 50.63/50.87 c #Conflicts: 14000 | #Constraints: 5757 50.63/50.87 c #Conflicts: 15000 | #Constraints: 6757 50.63/50.87 c INPROCESSING 50.63/50.87 c GARBAGE COLLECT 50.63/50.87 c #Conflicts: 16000 | #Constraints: 4995 50.63/50.87 c #Conflicts: 17000 | #Constraints: 5995 50.63/50.87 c #Conflicts: 18000 | #Constraints: 6995 50.63/50.87 c INPROCESSING 50.63/50.87 c GARBAGE COLLECT 50.63/50.87 c #Conflicts: 19000 | #Constraints: 5026 50.63/50.87 c #Conflicts: 20000 | #Constraints: 6026 50.63/50.87 c #Conflicts: 21000 | #Constraints: 7026 50.63/50.87 c INPROCESSING 50.63/50.87 c GARBAGE COLLECT 50.63/50.87 c #Conflicts: 22000 | #Constraints: 4828 50.63/50.87 c #Conflicts: 23000 | #Constraints: 5829 50.63/50.87 c #Conflicts: 24000 | #Constraints: 6829 50.63/50.87 c #Conflicts: 25000 | #Constraints: 7829 50.63/50.87 c INPROCESSING 50.63/50.87 c GARBAGE COLLECT 50.63/50.87 c rational objective 120 72.68/72.90 c #Conflicts: 26000 | #Constraints: 5430 72.68/72.90 c #Conflicts: 27000 | #Constraints: 6430 72.68/72.90 c #Conflicts: 28000 | #Constraints: 7430 72.68/72.90 c #Conflicts: 29000 | #Constraints: 8430 72.68/72.90 c INPROCESSING 72.68/72.90 c GARBAGE COLLECT 72.68/72.90 c #Conflicts: 30000 | #Constraints: 5820 72.68/72.90 c #Conflicts: 31000 | #Constraints: 6820 72.68/72.90 c #Conflicts: 32000 | #Constraints: 7820 72.68/72.90 c #Conflicts: 33000 | #Constraints: 8820 72.68/72.90 c INPROCESSING 72.68/72.90 c GARBAGE COLLECT 72.68/72.90 c #Conflicts: 34000 | #Constraints: 6033 72.68/72.90 c #Conflicts: 35000 | #Constraints: 7033 72.68/72.90 c #Conflicts: 36000 | #Constraints: 8033 72.68/72.90 c #Conflicts: 37000 | #Constraints: 9033 72.68/72.90 c INPROCESSING 72.68/72.90 c GARBAGE COLLECT 72.68/72.90 c rational objective 120 85.94/86.25 c #Conflicts: 38000 | #Constraints: 6056 85.94/86.25 c #Conflicts: 39000 | #Constraints: 7056 85.94/86.25 c #Conflicts: 40000 | #Constraints: 8056 85.94/86.25 c #Conflicts: 41000 | #Constraints: 9056 85.94/86.25 c INPROCESSING 85.94/86.25 c GARBAGE COLLECT 85.94/86.25 c rational objective 120 103.80/104.15 c #Conflicts: 42000 | #Constraints: 5864 103.80/104.15 c #Conflicts: 43000 | #Constraints: 6864 103.80/104.15 c #Conflicts: 44000 | #Constraints: 7864 103.80/104.15 c #Conflicts: 45000 | #Constraints: 8864 103.80/104.15 c #Conflicts: 46000 | #Constraints: 9864 103.80/104.15 c INPROCESSING 103.80/104.15 c GARBAGE COLLECT 103.80/104.15 c rational objective 120 137.31/137.79 c #Conflicts: 47000 | #Constraints: 6449 137.31/137.79 c #Conflicts: 48000 | #Constraints: 7450 137.31/137.79 c #Conflicts: 49000 | #Constraints: 8450 137.31/137.79 c #Conflicts: 50000 | #Constraints: 9450 137.31/137.79 c #Conflicts: 51000 | #Constraints: 10450 137.31/137.79 c INPROCESSING 137.31/137.79 c GARBAGE COLLECT 137.31/137.79 c #Conflicts: 52000 | #Constraints: 6868 137.31/137.79 c #Conflicts: 53000 | #Constraints: 7868 137.31/137.79 c #Conflicts: 54000 | #Constraints: 8868 137.31/137.79 c #Conflicts: 55000 | #Constraints: 9868 137.31/137.79 c #Conflicts: 56000 | #Constraints: 10868 137.31/137.79 c INPROCESSING 137.31/137.79 c GARBAGE COLLECT 137.31/137.79 c #Conflicts: 57000 | #Constraints: 7064 137.31/137.79 c #Conflicts: 58000 | #Constraints: 8064 137.31/137.79 c #Conflicts: 59000 | #Constraints: 9065 137.31/137.79 c #Conflicts: 60000 | #Constraints: 10065 137.31/137.79 c #Conflicts: 61000 | #Constraints: 11065 137.31/137.79 c INPROCESSING 137.31/137.79 c GARBAGE COLLECT 137.31/137.79 c rational objective 120 160.85/161.30 c #Conflicts: 62000 | #Constraints: 7065 160.85/161.30 c #Conflicts: 63000 | #Constraints: 8065 160.85/161.30 c #Conflicts: 64000 | #Constraints: 9065 160.85/161.30 c #Conflicts: 65000 | #Constraints: 10065 160.85/161.30 c #Conflicts: 66000 | #Constraints: 11065 160.85/161.30 c INPROCESSING 160.85/161.30 c GARBAGE COLLECT 160.85/161.30 c #Conflicts: 67000 | #Constraints: 6854 160.85/161.30 c #Conflicts: 68000 | #Constraints: 7854 160.85/161.30 c #Conflicts: 69000 | #Constraints: 8854 160.85/161.30 c #Conflicts: 70000 | #Constraints: 9854 160.85/161.30 c #Conflicts: 71000 | #Constraints: 10854 160.85/161.30 c #Conflicts: 72000 | #Constraints: 11854 160.85/161.30 c INPROCESSING 160.85/161.30 c GARBAGE COLLECT 160.85/161.30 c rational objective 120 177.12/177.65 c #Conflicts: 73000 | #Constraints: 7456 177.12/177.65 c #Conflicts: 74000 | #Constraints: 8456 177.12/177.65 c #Conflicts: 75000 | #Constraints: 9456 177.12/177.65 c #Conflicts: 76000 | #Constraints: 10456 177.12/177.65 c #Conflicts: 77000 | #Constraints: 11456 177.12/177.65 c #Conflicts: 78000 | #Constraints: 12457 177.12/177.65 c INPROCESSING 177.12/177.65 c GARBAGE COLLECT 177.12/177.65 c rational objective 120 386.05/387.07 c #Conflicts: 79000 | #Constraints: 7871 386.05/387.07 c #Conflicts: 80000 | #Constraints: 8871 386.05/387.07 c #Conflicts: 81000 | #Constraints: 9872 386.05/387.07 c #Conflicts: 82000 | #Constraints: 10872 386.05/387.07 c #Conflicts: 83000 | #Constraints: 11872 386.05/387.07 c #Conflicts: 84000 | #Constraints: 12872 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 85000 | #Constraints: 8070 386.05/387.07 c #Conflicts: 86000 | #Constraints: 9070 386.05/387.07 c #Conflicts: 87000 | #Constraints: 10070 386.05/387.07 c #Conflicts: 88000 | #Constraints: 11071 386.05/387.07 c #Conflicts: 89000 | #Constraints: 12071 386.05/387.07 c #Conflicts: 90000 | #Constraints: 13071 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 91000 | #Constraints: 8080 386.05/387.07 c #Conflicts: 92000 | #Constraints: 9080 386.05/387.07 c #Conflicts: 93000 | #Constraints: 10080 386.05/387.07 c #Conflicts: 94000 | #Constraints: 11080 386.05/387.07 c #Conflicts: 95000 | #Constraints: 12080 386.05/387.07 c #Conflicts: 96000 | #Constraints: 13080 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 97000 | #Constraints: 7902 386.05/387.07 c #Conflicts: 98000 | #Constraints: 8902 386.05/387.07 c #Conflicts: 99000 | #Constraints: 9903 386.05/387.07 c #Conflicts: 100000 | #Constraints: 10903 386.05/387.07 c #Conflicts: 101000 | #Constraints: 11903 386.05/387.07 c #Conflicts: 102000 | #Constraints: 12903 386.05/387.07 c #Conflicts: 103000 | #Constraints: 13903 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 104000 | #Constraints: 8476 386.05/387.07 c #Conflicts: 105000 | #Constraints: 9476 386.05/387.07 c #Conflicts: 106000 | #Constraints: 10476 386.05/387.07 c #Conflicts: 107000 | #Constraints: 11476 386.05/387.07 c #Conflicts: 108000 | #Constraints: 12476 386.05/387.07 c #Conflicts: 109000 | #Constraints: 13477 386.05/387.07 c #Conflicts: 110000 | #Constraints: 14477 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 111000 | #Constraints: 8885 386.05/387.07 c #Conflicts: 112000 | #Constraints: 9885 386.05/387.07 c #Conflicts: 113000 | #Constraints: 10885 386.05/387.07 c #Conflicts: 114000 | #Constraints: 11885 386.05/387.07 c #Conflicts: 115000 | #Constraints: 12885 386.05/387.07 c #Conflicts: 116000 | #Constraints: 13885 386.05/387.07 c #Conflicts: 117000 | #Constraints: 14885 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 118000 | #Constraints: 9085 386.05/387.07 c #Conflicts: 119000 | #Constraints: 10085 386.05/387.07 c #Conflicts: 120000 | #Constraints: 11085 386.05/387.07 c #Conflicts: 121000 | #Constraints: 12085 386.05/387.07 c #Conflicts: 122000 | #Constraints: 13085 386.05/387.07 c #Conflicts: 123000 | #Constraints: 14085 386.05/387.07 c #Conflicts: 124000 | #Constraints: 15085 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 125000 | #Constraints: 9079 386.05/387.07 c #Conflicts: 126000 | #Constraints: 10079 386.05/387.07 c #Conflicts: 127000 | #Constraints: 11079 386.05/387.07 c #Conflicts: 128000 | #Constraints: 12079 386.05/387.07 c #Conflicts: 129000 | #Constraints: 13079 386.05/387.07 c #Conflicts: 130000 | #Constraints: 14080 386.05/387.07 c #Conflicts: 131000 | #Constraints: 15080 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c #Conflicts: 132000 | #Constraints: 8891 386.05/387.07 c #Conflicts: 133000 | #Constraints: 9891 386.05/387.07 c #Conflicts: 134000 | #Constraints: 10891 386.05/387.07 c #Conflicts: 135000 | #Constraints: 11891 386.05/387.07 c #Conflicts: 136000 | #Constraints: 12891 386.05/387.07 c #Conflicts: 137000 | #Constraints: 13891 386.05/387.07 c #Conflicts: 138000 | #Constraints: 14891 386.05/387.07 c #Conflicts: 139000 | #Constraints: 15891 386.05/387.07 c INPROCESSING 386.05/387.07 c GARBAGE COLLECT 386.05/387.07 c rational objective 120 427.74/428.83 c #Conflicts: 140000 | #Constraints: 9518 427.74/428.83 c #Conflicts: 141000 | #Constraints: 10518 427.74/428.83 c #Conflicts: 142000 | #Constraints: 11518 427.74/428.83 c #Conflicts: 143000 | #Constraints: 12518 427.74/428.83 c #Conflicts: 144000 | #Constraints: 13518 427.74/428.83 c #Conflicts: 145000 | #Constraints: 14519 427.74/428.83 c #Conflicts: 146000 | #Constraints: 15519 427.74/428.83 c #Conflicts: 147000 | #Constraints: 16519 427.74/428.83 c INPROCESSING 427.74/428.83 c GARBAGE COLLECT 427.74/428.83 c rational objective 120 819.34/821.33 c #Conflicts: 148000 | #Constraints: 9939 819.34/821.33 c #Conflicts: 149000 | #Constraints: 10939 819.34/821.33 c #Conflicts: 150000 | #Constraints: 11939 819.34/821.33 c #Conflicts: 151000 | #Constraints: 12939 819.34/821.33 c #Conflicts: 152000 | #Constraints: 13939 819.34/821.33 c #Conflicts: 153000 | #Constraints: 14939 819.34/821.33 c #Conflicts: 154000 | #Constraints: 15940 819.34/821.33 c #Conflicts: 155000 | #Constraints: 16940 819.34/821.33 c INPROCESSING 819.34/821.33 c GARBAGE COLLECT 819.34/821.33 c #Conflicts: 156000 | #Constraints: 10132 819.34/821.33 c #Conflicts: 157000 | #Constraints: 11132 819.34/821.33 c #Conflicts: 158000 | #Constraints: 12132 819.34/821.33 c #Conflicts: 159000 | #Constraints: 13132 819.34/821.33 c #Conflicts: 160000 | #Constraints: 14132 819.34/821.33 c #Conflicts: 161000 | #Constraints: 15132 819.34/821.33 c #Conflicts: 162000 | #Constraints: 16132 819.34/821.33 c #Conflicts: 163000 | #Constraints: 17132 819.34/821.33 c INPROCESSING 819.34/821.33 c GARBAGE COLLECT 819.34/821.33 c #Conflicts: 164000 | #Constraints: 10141 819.34/821.33 c #Conflicts: 165000 | #Constraints: 11142 819.34/821.33 c #Conflicts: 166000 | #Constraints: 12142 819.34/821.34 c #Conflicts: 167000 | #Constraints: 13142 819.34/821.34 c #Conflicts: 168000 | #Constraints: 14142 819.34/821.34 c #Conflicts: 169000 | #Constraints: 15142 819.34/821.34 c #Conflicts: 170000 | #Constraints: 16143 819.34/821.34 c #Conflicts: 171000 | #Constraints: 17143 819.34/821.34 c INPROCESSING 819.34/821.34 c GARBAGE COLLECT 819.34/821.34 c #Conflicts: 172000 | #Constraints: 9917 819.34/821.34 c #Conflicts: 173000 | #Constraints: 10917 819.34/821.34 c #Conflicts: 174000 | #Constraints: 11917 819.34/821.34 c #Conflicts: 175000 | #Constraints: 12917 819.34/821.34 c #Conflicts: 176000 | #Constraints: 13917 819.34/821.34 c #Conflicts: 177000 | #Constraints: 14917 819.34/821.34 c #Conflicts: 178000 | #Constraints: 15917 819.34/821.34 c #Conflicts: 179000 | #Constraints: 16917 819.34/821.34 c #Conflicts: 180000 | #Constraints: 17917 819.34/821.34 c INPROCESSING 819.34/821.34 c GARBAGE COLLECT 819.34/821.34 c #Conflicts: 181000 | #Constraints: 10503 819.34/821.34 c #Conflicts: 182000 | #Constraints: 11503 819.34/821.34 c #Conflicts: 183000 | #Constraints: 12503 819.34/821.34 c #Conflicts: 184000 | #Constraints: 13503 819.34/821.34 c #Conflicts: 185000 | #Constraints: 14503 819.34/821.34 c #Conflicts: 186000 | #Constraints: 15503 819.34/821.34 c #Conflicts: 187000 | #Constraints: 16503 819.34/821.34 c #Conflicts: 188000 | #Constraints: 17503 819.34/821.34 c #Conflicts: 189000 | #Constraints: 18503 819.34/821.34 c INPROCESSING 819.34/821.34 c GARBAGE COLLECT 819.34/821.34 c #Conflicts: 190000 | #Constraints: 10940 819.34/821.34 c #Conflicts: 191000 | #Constraints: 11940 819.34/821.34 c #Conflicts: 192000 | #Constraints: 12940 819.34/821.34 c #Conflicts: 193000 | #Constraints: 13940 819.34/821.34 c #Conflicts: 194000 | #Constraints: 14940 819.34/821.34 c #Conflicts: 195000 | #Constraints: 15940 819.34/821.34 c #Conflicts: 196000 | #Constraints: 16940 819.34/821.34 c #Conflicts: 197000 | #Constraints: 17940 819.34/821.34 c #Conflicts: 198000 | #Constraints: 18940 819.34/821.34 c INPROCESSING 819.34/821.34 c GARBAGE COLLECT 819.34/821.34 c #Conflicts: 199000 | #Constraints: 11151 819.34/821.34 c #Conflicts: 200000 | #Constraints: 12152 819.34/821.34 c #Conflicts: 201000 | #Constraints: 13152 819.34/821.34 c #Conflicts: 202000 | #Constraints: 14152 819.34/821.34 c #Conflicts: 203000 | #Constraints: 15152 819.34/821.34 c #Conflicts: 204000 | #Constraints: 16152 819.34/821.34 c #Conflicts: 205000 | #Constraints: 17152 819.34/821.34 c #Conflicts: 206000 | #Constraints: 18152 819.34/821.34 c #Conflicts: 207000 | #Constraints: 19152 819.34/821.34 c INPROCESSING 819.34/821.34 c GARBAGE COLLECT 819.34/821.34 c #Conflicts: 208000 | #Constraints: 11141 819.34/821.34 c #Conflicts: 209000 | #Constraints: 12141 819.34/821.34 c #Conflicts: 210000 | #Constraints: 13141 819.34/821.34 c #Conflicts: 211000 | #Constraints: 14142 819.34/821.34 c #Conflicts: 212000 | #Constraints: 15142 819.34/821.34 c #Conflicts: 213000 | #Constraints: 16142 819.34/821.34 c #Conflicts: 214000 | #Constraints: 17142 819.34/821.34 c #Conflicts: 215000 | #Constraints: 18142 819.34/821.34 c #Conflicts: 216000 | #Constraints: 19142 819.34/821.34 c INPROCESSING 819.34/821.34 c GARBAGE COLLECT 819.34/821.34 c rational objective 120 896.56/898.76 c #Conflicts: 217000 | #Constraints: 10954 896.56/898.76 c #Conflicts: 218000 | #Constraints: 11954 896.56/898.76 c #Conflicts: 219000 | #Constraints: 12954 896.56/898.76 c #Conflicts: 220000 | #Constraints: 13954 896.56/898.76 c #Conflicts: 221000 | #Constraints: 14954 896.56/898.76 c #Conflicts: 222000 | #Constraints: 15954 896.56/898.76 c #Conflicts: 223000 | #Constraints: 16954 896.56/898.76 c #Conflicts: 224000 | #Constraints: 17954 896.56/898.76 c #Conflicts: 225000 | #Constraints: 18955 896.56/898.76 c #Conflicts: 226000 | #Constraints: 19955 896.56/898.76 c INPROCESSING 896.56/898.76 c GARBAGE COLLECT 896.56/898.76 c #Conflicts: 227000 | #Constraints: 11551 896.56/898.76 c #Conflicts: 228000 | #Constraints: 12551 896.56/898.76 c #Conflicts: 229000 | #Constraints: 13551 896.56/898.76 c #Conflicts: 230000 | #Constraints: 14552 896.56/898.76 c #Conflicts: 231000 | #Constraints: 15552 896.56/898.76 c #Conflicts: 232000 | #Constraints: 16552 896.56/898.76 c #Conflicts: 233000 | #Constraints: 17553 896.56/898.76 c #Conflicts: 234000 | #Constraints: 18553 896.56/898.76 c #Conflicts: 235000 | #Constraints: 19553 896.56/898.76 c #Conflicts: 236000 | #Constraints: 20553 896.56/898.76 c INPROCESSING 896.56/898.76 c GARBAGE COLLECT 896.56/898.76 c rational objective 120 923.30/925.55 c #Conflicts: 237000 | #Constraints: 11921 923.30/925.55 c #Conflicts: 238000 | #Constraints: 12921 923.30/925.55 c #Conflicts: 239000 | #Constraints: 13921 923.30/925.55 c #Conflicts: 240000 | #Constraints: 14921 923.30/925.55 c #Conflicts: 241000 | #Constraints: 15921 923.30/925.55 c #Conflicts: 242000 | #Constraints: 16921 923.30/925.55 c #Conflicts: 243000 | #Constraints: 17921 923.30/925.55 c #Conflicts: 244000 | #Constraints: 18921 923.30/925.55 c #Conflicts: 245000 | #Constraints: 19921 923.30/925.55 c #Conflicts: 246000 | #Constraints: 20921 923.30/925.55 c INPROCESSING 923.30/925.55 c GARBAGE COLLECT 923.30/925.55 c rational objective 120 1443.57/1447.17 c #Conflicts: 247000 | #Constraints: 12114 1443.57/1447.17 c #Conflicts: 248000 | #Constraints: 13115 1443.57/1447.17 c #Conflicts: 249000 | #Constraints: 14115 1443.57/1447.17 c #Conflicts: 250000 | #Constraints: 15115 1443.57/1447.17 c #Conflicts: 251000 | #Constraints: 16116 1443.57/1447.17 c #Conflicts: 252000 | #Constraints: 17116 1443.57/1447.17 c #Conflicts: 253000 | #Constraints: 18116 1443.57/1447.17 c #Conflicts: 254000 | #Constraints: 19116 1443.57/1447.17 c #Conflicts: 255000 | #Constraints: 20116 1443.57/1447.17 c #Conflicts: 256000 | #Constraints: 21116 1443.57/1447.17 c INPROCESSING 1443.57/1447.17 c GARBAGE COLLECT 1443.57/1447.17 c #Conflicts: 257000 | #Constraints: 12104 1443.57/1447.17 c #Conflicts: 258000 | #Constraints: 13104 1443.57/1447.17 c #Conflicts: 259000 | #Constraints: 14104 1443.57/1447.17 c #Conflicts: 260000 | #Constraints: 15104 1443.57/1447.17 c #Conflicts: 261000 | #Constraints: 16105 1443.57/1447.17 c #Conflicts: 262000 | #Constraints: 17105 1443.57/1447.17 c #Conflicts: 263000 | #Constraints: 18105 1443.57/1447.17 c #Conflicts: 264000 | #Constraints: 19105 1443.57/1447.17 c #Conflicts: 265000 | #Constraints: 20105 1443.57/1447.17 c #Conflicts: 266000 | #Constraints: 21105 1443.57/1447.17 c INPROCESSING 1443.57/1447.17 c GARBAGE COLLECT 1443.57/1447.17 c #Conflicts: 267000 | #Constraints: 11916 1443.57/1447.17 c #Conflicts: 268000 | #Constraints: 12916 1443.57/1447.17 c #Conflicts: 269000 | #Constraints: 13916 1443.57/1447.17 c #Conflicts: 270000 | #Constraints: 14916 1443.57/1447.17 c #Conflicts: 271000 | #Constraints: 15916 1443.57/1447.17 c #Conflicts: 272000 | #Constraints: 16916 1443.57/1447.17 c #Conflicts: 273000 | #Constraints: 17916 1443.57/1447.17 c #Conflicts: 274000 | #Constraints: 18916 1443.57/1447.17 c #Conflicts: 275000 | #Constraints: 19916 1443.57/1447.17 c #Conflicts: 276000 | #Constraints: 20916 1443.57/1447.17 c #Conflicts: 277000 | #Constraints: 21916 1443.57/1447.17 c INPROCESSING 1443.57/1447.17 c GARBAGE COLLECT 1443.57/1447.17 c #Conflicts: 278000 | #Constraints: 12510 1443.57/1447.17 c #Conflicts: 279000 | #Constraints: 13510 1443.57/1447.17 c #Conflicts: 280000 | #Constraints: 14510 1443.57/1447.17 c #Conflicts: 281000 | #Constraints: 15510 1443.57/1447.17 c #Conflicts: 282000 | #Constraints: 16510 1443.57/1447.17 c #Conflicts: 283000 | #Constraints: 17510 1443.57/1447.17 c #Conflicts: 284000 | #Constraints: 18510 1443.57/1447.17 c #Conflicts: 285000 | #Constraints: 19510 1443.57/1447.17 c #Conflicts: 286000 | #Constraints: 20510 1443.57/1447.17 c #Conflicts: 287000 | #Constraints: 21510 1443.57/1447.17 c #Conflicts: 288000 | #Constraints: 22510 1443.57/1447.17 c INPROCESSING 1443.57/1447.17 c GARBAGE COLLECT 1443.57/1447.17 c #Conflicts: 289000 | #Constraints: 12918 1443.57/1447.17 c #Conflicts: 290000 | #Constraints: 13918 1443.57/1447.17 c #Conflicts: 291000 | #Constraints: 14918 1443.57/1447.17 c #Conflicts: 292000 | #Constraints: 15918 1443.57/1447.17 c #Conflicts: 293000 | #Constraints: 16918 1443.57/1447.17 c #Conflicts: 294000 | #Constraints: 17919 1443.57/1447.17 c #Conflicts: 295000 | #Constraints: 18919 1443.57/1447.17 c #Conflicts: 296000 | #Constraints: 19919 1443.57/1447.17 c #Conflicts: 297000 | #Constraints: 20919 1443.57/1447.17 c #Conflicts: 298000 | #Constraints: 21920 1443.57/1447.17 c #Conflicts: 299000 | #Constraints: 22920 1443.57/1447.17 c INPROCESSING 1443.57/1447.17 c GARBAGE COLLECT 1443.57/1447.17 c #Conflicts: 300000 | #Constraints: 13080 1443.57/1447.17 c #Conflicts: 301000 | #Constraints: 14080 1443.57/1447.17 c #Conflicts: 302000 | #Constraints: 15080 1443.57/1447.17 c #Conflicts: 303000 | #Constraints: 16080 1443.57/1447.17 c #Conflicts: 304000 | #Constraints: 17080 1443.57/1447.17 c #Conflicts: 305000 | #Constraints: 18080 1443.57/1447.17 c #Conflicts: 306000 | #Constraints: 19080 1443.57/1447.17 c #Conflicts: 307000 | #Constraints: 20081 1443.57/1447.17 c #Conflicts: 308000 | #Constraints: 21082 1443.57/1447.17 c #Conflicts: 309000 | #Constraints: 22082 1443.57/1447.17 c #Conflicts: 310000 | #Constraints: 23082 1443.57/1447.17 c INPROCESSING 1443.57/1447.17 c GARBAGE COLLECT 1443.57/1447.17 c #Conflicts: 311000 | #Constraints: 13113 1443.57/1447.17 c #Conflicts: 312000 | #Constraints: 14113 1443.57/1447.17 c #Conflicts: 313000 | #Constraints: 15113 1443.57/1447.17 c #Conflicts: 314000 | #Constraints: 16113 1443.57/1447.17 c #Conflicts: 315000 | #Constraints: 17113 1443.57/1447.17 c #Conflicts: 316000 | #Constraints: 18113 1443.57/1447.17 c #Conflicts: 317000 | #Constraints: 19113 1443.57/1447.17 c #Conflicts: 318000 | #Constraints: 20114 1443.57/1447.17 c #Conflicts: 319000 | #Constraints: 21114 1443.57/1447.17 c #Conflicts: 320000 | #Constraints: 22114 1443.57/1447.17 c #Conflicts: 321000 | #Constraints: 23114 1635.59/1639.67 c INPROCESSING 1635.59/1639.67 c GARBAGE COLLECT 1635.59/1639.67 c #Conflicts: 322000 | #Constraints: 12915 1635.59/1639.67 c #Conflicts: 323000 | #Constraints: 13915 1635.59/1639.67 c #Conflicts: 324000 | #Constraints: 14915 1635.59/1639.67 c #Conflicts: 325000 | #Constraints: 15915 1635.59/1639.67 c #Conflicts: 326000 | #Constraints: 16915 1635.59/1639.67 c #Conflicts: 327000 | #Constraints: 17915 1635.59/1639.67 c #Conflicts: 328000 | #Constraints: 18915 1635.59/1639.67 c #Conflicts: 329000 | #Constraints: 19916 1635.59/1639.67 c #Conflicts: 330000 | #Constraints: 20916 1635.59/1639.67 c #Conflicts: 331000 | #Constraints: 21916 1635.59/1639.67 c #Conflicts: 332000 | #Constraints: 22916 1635.59/1639.67 c #Conflicts: 333000 | #Constraints: 23917 1635.59/1639.67 c INPROCESSING 1635.59/1639.67 c GARBAGE COLLECT 1635.59/1639.67 c #Conflicts: 334000 | #Constraints: 13507 1635.59/1639.67 c #Conflicts: 335000 | #Constraints: 14507 1635.59/1639.67 c #Conflicts: 336000 | #Constraints: 15507 1635.59/1639.67 c #Conflicts: 337000 | #Constraints: 16508 1635.59/1639.67 c #Conflicts: 338000 | #Constraints: 17508 1635.59/1639.67 c #Conflicts: 339000 | #Constraints: 18508 1635.59/1639.67 c #Conflicts: 340000 | #Constraints: 19508 1635.59/1639.67 c #Conflicts: 341000 | #Constraints: 20508 1635.59/1639.67 c #Conflicts: 342000 | #Constraints: 21508 1635.59/1639.67 c #Conflicts: 343000 | #Constraints: 22508 1635.59/1639.67 c #Conflicts: 344000 | #Constraints: 23508 1635.59/1639.67 c #Conflicts: 345000 | #Constraints: 24508 1635.59/1639.67 c INPROCESSING 1635.59/1639.67 c GARBAGE COLLECT 1635.59/1639.67 c #Conflicts: 346000 | #Constraints: 13928 1635.59/1639.67 c #Conflicts: 347000 | #Constraints: 14928 1635.59/1639.67 c #Conflicts: 348000 | #Constraints: 15928 1635.59/1639.67 c #Conflicts: 349000 | #Constraints: 16928 1635.59/1639.67 c #Conflicts: 350000 | #Constraints: 17928 1635.59/1639.67 c #Conflicts: 351000 | #Constraints: 18928 1635.59/1639.67 c #Conflicts: 352000 | #Constraints: 19928 1635.59/1639.67 c #Conflicts: 353000 | #Constraints: 20928 1635.59/1639.67 c #Conflicts: 354000 | #Constraints: 21928 1635.59/1639.67 c #Conflicts: 355000 | #Constraints: 22928 1635.59/1639.67 c #Conflicts: 356000 | #Constraints: 23928 1635.59/1639.67 c #Conflicts: 357000 | #Constraints: 24928 1635.59/1639.67 c INPROCESSING 1635.59/1639.67 c GARBAGE COLLECT 1635.59/1639.67 c #Conflicts: 358000 | #Constraints: 14118 1635.59/1639.67 c #Conflicts: 359000 | #Constraints: 15119 1635.59/1639.67 c #Conflicts: 360000 | #Constraints: 16119 1635.59/1639.67 c #Conflicts: 361000 | #Constraints: 17119 1635.59/1639.67 c #Conflicts: 362000 | #Constraints: 18120 1635.59/1639.67 c #Conflicts: 363000 | #Constraints: 19120 1635.59/1639.67 c #Conflicts: 364000 | #Constraints: 20120 1635.59/1639.67 c #Conflicts: 365000 | #Constraints: 21120 1635.59/1639.67 c #Conflicts: 366000 | #Constraints: 22120 1635.59/1639.67 c #Conflicts: 367000 | #Constraints: 23120 1635.59/1639.67 c #Conflicts: 368000 | #Constraints: 24120 1635.59/1639.67 c #Conflicts: 369000 | #Constraints: 25120 1635.59/1639.67 c INPROCESSING 1635.59/1639.67 c GARBAGE COLLECT 1635.59/1639.67 c rational objective 120 1685.89/1690.10 c #Conflicts: 370000 | #Constraints: 14117 1685.89/1690.10 c #Conflicts: 371000 | #Constraints: 15117 1685.89/1690.10 c #Conflicts: 372000 | #Constraints: 16118 1685.89/1690.10 c #Conflicts: 373000 | #Constraints: 17118 1685.89/1690.10 c #Conflicts: 374000 | #Constraints: 18118 1685.89/1690.10 c #Conflicts: 375000 | #Constraints: 19118 1685.89/1690.10 c #Conflicts: 376000 | #Constraints: 20118 1685.89/1690.10 c #Conflicts: 377000 | #Constraints: 21119 1685.89/1690.10 c #Conflicts: 378000 | #Constraints: 22119 1685.89/1690.10 c #Conflicts: 379000 | #Constraints: 23119 1685.89/1690.10 c #Conflicts: 380000 | #Constraints: 24119 1685.89/1690.10 c #Conflicts: 381000 | #Constraints: 25119 1685.89/1690.10 c INPROCESSING 1685.89/1690.10 c GARBAGE COLLECT 1685.89/1690.10 c rational objective 120 1731.57/1735.84 c #Conflicts: 382000 | #Constraints: 13913 1731.57/1735.84 c #Conflicts: 383000 | #Constraints: 14913 1731.57/1735.84 c #Conflicts: 384000 | #Constraints: 15913 1731.57/1735.84 c #Conflicts: 385000 | #Constraints: 16913 1731.57/1735.84 c #Conflicts: 386000 | #Constraints: 17913 1731.57/1735.84 c #Conflicts: 387000 | #Constraints: 18914 1731.57/1735.84 c #Conflicts: 388000 | #Constraints: 19914 1731.57/1735.84 c #Conflicts: 389000 | #Constraints: 20914 1731.57/1735.84 c #Conflicts: 390000 | #Constraints: 21914 1731.57/1735.84 c #Conflicts: 391000 | #Constraints: 22915 1731.57/1735.84 c #Conflicts: 392000 | #Constraints: 23915 1731.57/1735.84 c #Conflicts: 393000 | #Constraints: 24915 1731.57/1735.84 c #Conflicts: 394000 | #Constraints: 25915 1731.57/1735.84 c INPROCESSING 1731.57/1735.84 c GARBAGE COLLECT 1731.57/1735.84 c rational objective 120 1786.45/1790.85 c #Conflicts: 395000 | #Constraints: 14518 1786.45/1790.85 c #Conflicts: 396000 | #Constraints: 15518 1786.45/1790.85 c #Conflicts: 397000 | #Constraints: 16518 1786.45/1790.85 c #Conflicts: 398000 | #Constraints: 17518 1786.45/1790.85 c #Conflicts: 399000 | #Constraints: 18518 1786.45/1790.85 c #Conflicts: 400000 | #Constraints: 19518 1786.45/1790.85 c #Conflicts: 401000 | #Constraints: 20518 1786.45/1790.85 c #Conflicts: 402000 | #Constraints: 21518 1786.45/1790.85 c #Conflicts: 403000 | #Constraints: 22519 1786.45/1790.85 c #Conflicts: 404000 | #Constraints: 23519 1786.45/1790.85 c #Conflicts: 405000 | #Constraints: 24519 1786.45/1790.85 c #Conflicts: 406000 | #Constraints: 25519 1786.45/1790.85 c #Conflicts: 407000 | #Constraints: 26519 1786.45/1790.85 c INPROCESSING 1786.45/1790.85 c GARBAGE COLLECT 1786.45/1790.85 c rational objective 120 1841.91/1846.46 c #Conflicts: 408000 | #Constraints: 14919 1841.91/1846.46 c #Conflicts: 409000 | #Constraints: 15919 1841.91/1846.46 c #Conflicts: 410000 | #Constraints: 16919 1841.91/1846.46 c #Conflicts: 411000 | #Constraints: 17919 1841.91/1846.46 c #Conflicts: 412000 | #Constraints: 18919 1841.91/1846.46 c #Conflicts: 413000 | #Constraints: 19919 1841.91/1846.46 c #Conflicts: 414000 | #Constraints: 20919 1841.91/1846.46 c #Conflicts: 415000 | #Constraints: 21919 1841.91/1846.46 c #Conflicts: 416000 | #Constraints: 22919 1841.91/1846.46 c #Conflicts: 417000 | #Constraints: 23919 1841.91/1846.46 c #Conflicts: 418000 | #Constraints: 24919 1841.91/1846.46 c #Conflicts: 419000 | #Constraints: 25920 1841.91/1846.46 c #Conflicts: 420000 | #Constraints: 26920 1841.91/1846.46 c INPROCESSING 1841.91/1846.46 c GARBAGE COLLECT 1841.91/1846.46 c rational objective 120 1906.05/1910.79 c #Conflicts: 421000 | #Constraints: 15131 1906.05/1910.79 c #Conflicts: 422000 | #Constraints: 16131 1906.05/1910.79 c #Conflicts: 423000 | #Constraints: 17131 1906.05/1910.79 c #Conflicts: 424000 | #Constraints: 18131 1906.05/1910.79 c #Conflicts: 425000 | #Constraints: 19132 1906.05/1910.79 c #Conflicts: 426000 | #Constraints: 20132 1906.05/1910.79 c #Conflicts: 427000 | #Constraints: 21132 1906.05/1910.79 c #Conflicts: 428000 | #Constraints: 22132 1906.05/1910.79 c #Conflicts: 429000 | #Constraints: 23132 1906.05/1910.79 c #Conflicts: 430000 | #Constraints: 24132 1906.05/1910.79 c #Conflicts: 431000 | #Constraints: 25132 1906.05/1910.79 c #Conflicts: 432000 | #Constraints: 26132 1906.05/1910.79 c #Conflicts: 433000 | #Constraints: 27132 1906.05/1910.79 c INPROCESSING 1906.05/1910.79 c GARBAGE COLLECT 1906.05/1910.79 c rational objective 120 1984.53/1989.49 c #Conflicts: 434000 | #Constraints: 15150 1984.53/1989.49 c #Conflicts: 435000 | #Constraints: 16151 1984.53/1989.49 c #Conflicts: 436000 | #Constraints: 17151 1984.53/1989.49 c #Conflicts: 437000 | #Constraints: 18151 1984.53/1989.49 c #Conflicts: 438000 | #Constraints: 19151 1984.53/1989.49 c #Conflicts: 439000 | #Constraints: 20151 1984.53/1989.49 c #Conflicts: 440000 | #Constraints: 21151 1984.53/1989.49 c #Conflicts: 441000 | #Constraints: 22151 1984.53/1989.49 c #Conflicts: 442000 | #Constraints: 23151 1984.53/1989.49 c #Conflicts: 443000 | #Constraints: 24152 1984.53/1989.49 c #Conflicts: 444000 | #Constraints: 25152 1984.53/1989.49 c #Conflicts: 445000 | #Constraints: 26152 1984.53/1989.49 c #Conflicts: 446000 | #Constraints: 27152 1984.53/1989.49 c INPROCESSING 1984.53/1989.49 c GARBAGE COLLECT 1984.53/1989.49 c rational objective 120 2076.36/2081.54 c #Conflicts: 447000 | #Constraints: 14972 2076.36/2081.54 c #Conflicts: 448000 | #Constraints: 15972 2076.36/2081.54 c #Conflicts: 449000 | #Constraints: 16972 2076.36/2081.54 c #Conflicts: 450000 | #Constraints: 17972 2076.36/2081.54 c #Conflicts: 451000 | #Constraints: 18972 2076.36/2081.54 c #Conflicts: 452000 | #Constraints: 19972 2076.36/2081.54 c #Conflicts: 453000 | #Constraints: 20972 2076.36/2081.54 c #Conflicts: 454000 | #Constraints: 21972 2076.36/2081.54 c #Conflicts: 455000 | #Constraints: 22972 2076.36/2081.54 c #Conflicts: 456000 | #Constraints: 23972 2076.36/2081.54 c #Conflicts: 457000 | #Constraints: 24972 2076.36/2081.54 c #Conflicts: 458000 | #Constraints: 25972 2076.36/2081.54 c #Conflicts: 459000 | #Constraints: 26972 2076.36/2081.54 c #Conflicts: 460000 | #Constraints: 27972 2076.36/2081.54 c INPROCESSING 2076.36/2081.54 c GARBAGE COLLECT 2076.36/2081.54 c rational objective 120 2160.13/2165.58 c #Conflicts: 461000 | #Constraints: 15602 2160.13/2165.58 c #Conflicts: 462000 | #Constraints: 16602 2160.13/2165.58 c #Conflicts: 463000 | #Constraints: 17602 2160.13/2165.58 c #Conflicts: 464000 | #Constraints: 18603 2160.13/2165.58 c #Conflicts: 465000 | #Constraints: 19603 2160.13/2165.58 c #Conflicts: 466000 | #Constraints: 20603 2160.13/2165.58 c #Conflicts: 467000 | #Constraints: 21603 2160.13/2165.58 c #Conflicts: 468000 | #Constraints: 22603 2160.13/2165.58 c #Conflicts: 469000 | #Constraints: 23603 2160.13/2165.58 c #Conflicts: 470000 | #Constraints: 24603 2160.13/2165.58 c #Conflicts: 471000 | #Constraints: 25603 2160.13/2165.58 c #Conflicts: 472000 | #Constraints: 26603 2160.13/2165.58 c #Conflicts: 473000 | #Constraints: 27603 2160.13/2165.58 c #Conflicts: 474000 | #Constraints: 28603 2160.13/2165.58 c INPROCESSING 2160.13/2165.58 c GARBAGE COLLECT 2160.13/2165.58 c rational objective 120 2242.90/2248.56 c #Conflicts: 475000 | #Constraints: 15996 2242.90/2248.56 c #Conflicts: 476000 | #Constraints: 16996 2242.90/2248.56 c #Conflicts: 477000 | #Constraints: 17996 2242.90/2248.56 c #Conflicts: 478000 | #Constraints: 18996 2242.90/2248.56 c #Conflicts: 479000 | #Constraints: 19996 2242.90/2248.56 c #Conflicts: 480000 | #Constraints: 20996 2242.90/2248.56 c #Conflicts: 481000 | #Constraints: 21997 2242.90/2248.56 c #Conflicts: 482000 | #Constraints: 22997 2242.90/2248.56 c #Conflicts: 483000 | #Constraints: 23997 2242.90/2248.56 c #Conflicts: 484000 | #Constraints: 24997 2242.90/2248.56 c #Conflicts: 485000 | #Constraints: 25997 2242.90/2248.56 c #Conflicts: 486000 | #Constraints: 26997 2242.90/2248.56 c #Conflicts: 487000 | #Constraints: 27997 2242.90/2248.56 c #Conflicts: 488000 | #Constraints: 28997 2242.90/2248.56 c INPROCESSING 2242.90/2248.56 c GARBAGE COLLECT 2242.90/2248.56 c rational objective 120 2452.71/2458.94 c #Conflicts: 489000 | #Constraints: 16203 2452.71/2458.94 c #Conflicts: 490000 | #Constraints: 17203 2452.71/2458.94 c #Conflicts: 491000 | #Constraints: 18204 2452.71/2458.94 c #Conflicts: 492000 | #Constraints: 19204 2452.71/2458.94 c #Conflicts: 493000 | #Constraints: 20204 2452.71/2458.94 c #Conflicts: 494000 | #Constraints: 21204 2452.71/2458.94 c #Conflicts: 495000 | #Constraints: 22205 2452.71/2458.94 c #Conflicts: 496000 | #Constraints: 23205 2452.71/2458.94 c #Conflicts: 497000 | #Constraints: 24205 2452.71/2458.94 c #Conflicts: 498000 | #Constraints: 25205 2452.71/2458.94 c #Conflicts: 499000 | #Constraints: 26205 2452.71/2458.94 c #Conflicts: 500000 | #Constraints: 27205 2452.71/2458.94 c #Conflicts: 501000 | #Constraints: 28205 2452.71/2458.94 c #Conflicts: 502000 | #Constraints: 29205 2452.71/2458.94 c INPROCESSING 2452.71/2458.94 c GARBAGE COLLECT 2452.71/2458.94 c #Conflicts: 503000 | #Constraints: 16197 2452.71/2458.94 c #Conflicts: 504000 | #Constraints: 17197 2452.71/2458.94 c #Conflicts: 505000 | #Constraints: 18197 2452.71/2458.94 c #Conflicts: 506000 | #Constraints: 19198 2452.71/2458.94 c #Conflicts: 507000 | #Constraints: 20198 2452.71/2458.94 c #Conflicts: 508000 | #Constraints: 21198 2452.71/2458.94 c #Conflicts: 509000 | #Constraints: 22198 2452.71/2458.94 c #Conflicts: 510000 | #Constraints: 23198 2452.71/2458.94 c #Conflicts: 511000 | #Constraints: 24199 2452.71/2458.94 c #Conflicts: 512000 | #Constraints: 25199 2452.71/2458.94 c #Conflicts: 513000 | #Constraints: 26199 2452.71/2458.94 c #Conflicts: 514000 | #Constraints: 27199 2452.71/2458.94 c #Conflicts: 515000 | #Constraints: 28199 2452.71/2458.94 c #Conflicts: 516000 | #Constraints: 29199 2452.71/2458.94 c INPROCESSING 2452.71/2458.94 c GARBAGE COLLECT 2452.71/2458.94 c #Conflicts: 517000 | #Constraints: 15980 2452.71/2458.94 c #Conflicts: 518000 | #Constraints: 16980 2452.71/2458.94 c #Conflicts: 519000 | #Constraints: 17981 2452.71/2458.94 c #Conflicts: 520000 | #Constraints: 18981 2452.71/2458.94 c #Conflicts: 521000 | #Constraints: 19981 2452.71/2458.94 c #Conflicts: 522000 | #Constraints: 20981 2452.71/2458.94 c #Conflicts: 523000 | #Constraints: 21981 2452.71/2458.94 c #Conflicts: 524000 | #Constraints: 22981 2452.71/2458.94 c #Conflicts: 525000 | #Constraints: 23981 2452.71/2458.94 c #Conflicts: 526000 | #Constraints: 24981 2452.71/2458.94 c #Conflicts: 527000 | #Constraints: 25981 2452.71/2458.94 c #Conflicts: 528000 | #Constraints: 26981 2452.71/2458.94 c #Conflicts: 529000 | #Constraints: 27981 2452.71/2458.94 c #Conflicts: 530000 | #Constraints: 28981 2452.71/2458.94 c #Conflicts: 531000 | #Constraints: 29981 2452.71/2458.94 c INPROCESSING 2452.71/2458.94 c GARBAGE COLLECT 2452.71/2458.94 c rational objective 120 2510.24/2516.65 c #Conflicts: 532000 | #Constraints: 16575 2510.24/2516.65 c #Conflicts: 533000 | #Constraints: 17575 2510.24/2516.65 c #Conflicts: 534000 | #Constraints: 18575 2510.24/2516.65 c #Conflicts: 535000 | #Constraints: 19575 2510.24/2516.65 c #Conflicts: 536000 | #Constraints: 20575 2510.24/2516.65 c #Conflicts: 537000 | #Constraints: 21575 2510.24/2516.65 c #Conflicts: 538000 | #Constraints: 22575 2510.24/2516.65 c #Conflicts: 539000 | #Constraints: 23575 2510.24/2516.65 c #Conflicts: 540000 | #Constraints: 24575 2510.24/2516.65 c #Conflicts: 541000 | #Constraints: 25575 2510.24/2516.65 c #Conflicts: 542000 | #Constraints: 26575 2510.24/2516.65 c #Conflicts: 543000 | #Constraints: 27575 2510.24/2516.65 c #Conflicts: 544000 | #Constraints: 28575 2510.24/2516.65 c #Conflicts: 545000 | #Constraints: 29575 2510.24/2516.65 c #Conflicts: 546000 | #Constraints: 30575 2510.24/2516.65 c INPROCESSING 2510.24/2516.65 c GARBAGE COLLECT 2510.24/2516.65 c rational objective 120 2570.67/2577.29 c #Conflicts: 547000 | #Constraints: 16954 2570.67/2577.29 c #Conflicts: 548000 | #Constraints: 17954 2570.67/2577.29 c #Conflicts: 549000 | #Constraints: 18955 2570.67/2577.29 c #Conflicts: 550000 | #Constraints: 19955 2570.67/2577.29 c #Conflicts: 551000 | #Constraints: 20955 2570.67/2577.29 c #Conflicts: 552000 | #Constraints: 21955 2570.67/2577.29 c #Conflicts: 553000 | #Constraints: 22955 2570.67/2577.29 c #Conflicts: 554000 | #Constraints: 23955 2570.67/2577.29 c #Conflicts: 555000 | #Constraints: 24955 2570.67/2577.29 c #Conflicts: 556000 | #Constraints: 25955 2570.67/2577.29 c #Conflicts: 557000 | #Constraints: 26955 2570.67/2577.29 c #Conflicts: 558000 | #Constraints: 27955 2570.67/2577.29 c #Conflicts: 559000 | #Constraints: 28955 2570.67/2577.29 c #Conflicts: 560000 | #Constraints: 29955 2570.67/2577.29 c #Conflicts: 561000 | #Constraints: 30955 2570.67/2577.29 c INPROCESSING 2570.67/2577.29 c GARBAGE COLLECT 2570.67/2577.29 c rational objective 120 2636.68/2643.49 c #Conflicts: 562000 | #Constraints: 17119 2636.68/2643.49 c #Conflicts: 563000 | #Constraints: 18119 2636.68/2643.49 c #Conflicts: 564000 | #Constraints: 19119 2636.68/2643.49 c #Conflicts: 565000 | #Constraints: 20119 2636.68/2643.49 c #Conflicts: 566000 | #Constraints: 21119 2636.68/2643.49 c #Conflicts: 567000 | #Constraints: 22119 2636.68/2643.49 c #Conflicts: 568000 | #Constraints: 23119 2636.68/2643.49 c #Conflicts: 569000 | #Constraints: 24119 2636.68/2643.49 c #Conflicts: 570000 | #Constraints: 25119 2636.68/2643.49 c #Conflicts: 571000 | #Constraints: 26119 2636.68/2643.49 c #Conflicts: 572000 | #Constraints: 27119 2636.68/2643.49 c #Conflicts: 573000 | #Constraints: 28119 2636.68/2643.49 c #Conflicts: 574000 | #Constraints: 29119 2636.68/2643.49 c #Conflicts: 575000 | #Constraints: 30119 2636.68/2643.49 c #Conflicts: 576000 | #Constraints: 31119 2636.68/2643.49 c INPROCESSING 2636.68/2643.49 c GARBAGE COLLECT 2636.68/2643.49 c rational objective 120 2703.30/2710.28 c #Conflicts: 577000 | #Constraints: 17141 2703.30/2710.28 c #Conflicts: 578000 | #Constraints: 18141 2703.30/2710.28 c #Conflicts: 579000 | #Constraints: 19141 2703.30/2710.28 c #Conflicts: 580000 | #Constraints: 20141 2703.30/2710.28 c #Conflicts: 581000 | #Constraints: 21142 2703.30/2710.28 c #Conflicts: 582000 | #Constraints: 22142 2703.30/2710.28 c #Conflicts: 583000 | #Constraints: 23142 2703.30/2710.28 c #Conflicts: 584000 | #Constraints: 24142 2703.30/2710.28 c #Conflicts: 585000 | #Constraints: 25142 2703.30/2710.28 c #Conflicts: 586000 | #Constraints: 26142 2703.30/2710.28 c #Conflicts: 587000 | #Constraints: 27142 2703.30/2710.28 c #Conflicts: 588000 | #Constraints: 28142 2703.30/2710.28 c #Conflicts: 589000 | #Constraints: 29142 2703.30/2710.28 c #Conflicts: 590000 | #Constraints: 30142 2703.30/2710.28 c #Conflicts: 591000 | #Constraints: 31142 2703.30/2710.28 c INPROCESSING 2703.30/2710.28 c GARBAGE COLLECT 2703.30/2710.28 c rational objective 120 2786.36/2793.50 c #Conflicts: 592000 | #Constraints: 16940 2786.36/2793.50 c #Conflicts: 593000 | #Constraints: 17940 2786.36/2793.50 c #Conflicts: 594000 | #Constraints: 18940 2786.36/2793.50 c #Conflicts: 595000 | #Constraints: 19940 2786.36/2793.50 c #Conflicts: 596000 | #Constraints: 20940 2786.36/2793.50 c #Conflicts: 597000 | #Constraints: 21940 2786.36/2793.50 c #Conflicts: 598000 | #Constraints: 22940 2786.36/2793.50 c #Conflicts: 599000 | #Constraints: 23940 2786.36/2793.50 c #Conflicts: 600000 | #Constraints: 24940 2786.36/2793.50 c #Conflicts: 601000 | #Constraints: 25940 2786.36/2793.50 c #Conflicts: 602000 | #Constraints: 26940 2786.36/2793.50 c #Conflicts: 603000 | #Constraints: 27940 2786.36/2793.50 c #Conflicts: 604000 | #Constraints: 28941 2786.36/2793.50 c #Conflicts: 605000 | #Constraints: 29941 2786.36/2793.50 c #Conflicts: 606000 | #Constraints: 30941 2786.36/2793.50 c #Conflicts: 607000 | #Constraints: 31941 2786.36/2793.50 c INPROCESSING 2786.36/2793.50 c GARBAGE COLLECT 2786.36/2793.50 c rational objective 120 2865.64/2873.06 c #Conflicts: 608000 | #Constraints: 17541 2865.64/2873.06 c #Conflicts: 609000 | #Constraints: 18541 2865.64/2873.06 c #Conflicts: 610000 | #Constraints: 19541 2865.64/2873.06 c #Conflicts: 611000 | #Constraints: 20541 2865.64/2873.06 c #Conflicts: 612000 | #Constraints: 21541 2865.64/2873.06 c #Conflicts: 613000 | #Constraints: 22541 2865.64/2873.06 c #Conflicts: 614000 | #Constraints: 23541 2865.64/2873.06 c #Conflicts: 615000 | #Constraints: 24542 2865.64/2873.06 c #Conflicts: 616000 | #Constraints: 25542 2865.64/2873.06 c #Conflicts: 617000 | #Constraints: 26542 2865.64/2873.06 c #Conflicts: 618000 | #Constraints: 27542 2865.64/2873.06 c #Conflicts: 619000 | #Constraints: 28542 2865.64/2873.06 c #Conflicts: 620000 | #Constraints: 29542 2865.64/2873.06 c #Conflicts: 621000 | #Constraints: 30542 2865.64/2873.06 c #Conflicts: 622000 | #Constraints: 31543 2865.64/2873.06 c #Conflicts: 623000 | #Constraints: 32543 2865.64/2873.06 c INPROCESSING 2865.64/2873.06 c GARBAGE COLLECT 2865.64/2873.06 c rational objective 120 2943.82/2951.41 c #Conflicts: 624000 | #Constraints: 17931 2943.82/2951.41 c #Conflicts: 625000 | #Constraints: 18931 2943.82/2951.41 c #Conflicts: 626000 | #Constraints: 19931 2943.82/2951.41 c #Conflicts: 627000 | #Constraints: 20931 2943.82/2951.41 c #Conflicts: 628000 | #Constraints: 21931 2943.82/2951.41 c #Conflicts: 629000 | #Constraints: 22931 2943.82/2951.41 c #Conflicts: 630000 | #Constraints: 23931 2943.82/2951.41 c #Conflicts: 631000 | #Constraints: 24931 2943.82/2951.41 c #Conflicts: 632000 | #Constraints: 25931 2943.82/2951.41 c #Conflicts: 633000 | #Constraints: 26931 2943.82/2951.41 c #Conflicts: 634000 | #Constraints: 27931 2943.82/2951.41 c #Conflicts: 635000 | #Constraints: 28932 2943.82/2951.41 c #Conflicts: 636000 | #Constraints: 29932 2943.82/2951.41 c #Conflicts: 637000 | #Constraints: 30932 2943.82/2951.41 c #Conflicts: 638000 | #Constraints: 31932 2943.82/2951.41 c #Conflicts: 639000 | #Constraints: 32932 2943.82/2951.41 c INPROCESSING 2943.82/2951.41 c GARBAGE COLLECT 2943.82/2951.41 c rational objective 120 3021.90/3029.72 c #Conflicts: 640000 | #Constraints: 18132 3021.90/3029.72 c #Conflicts: 641000 | #Constraints: 19132 3021.90/3029.72 c #Conflicts: 642000 | #Constraints: 20132 3021.90/3029.72 c #Conflicts: 643000 | #Constraints: 21132 3021.90/3029.72 c #Conflicts: 644000 | #Constraints: 22132 3021.90/3029.72 c #Conflicts: 645000 | #Constraints: 23132 3021.90/3029.72 c #Conflicts: 646000 | #Constraints: 24132 3021.90/3029.72 c #Conflicts: 647000 | #Constraints: 25132 3021.90/3029.72 c #Conflicts: 648000 | #Constraints: 26132 3021.90/3029.72 c #Conflicts: 649000 | #Constraints: 27132 3021.90/3029.72 c #Conflicts: 650000 | #Constraints: 28132 3021.90/3029.72 c #Conflicts: 651000 | #Constraints: 29132 3021.90/3029.72 c #Conflicts: 652000 | #Constraints: 30132 3021.90/3029.72 c #Conflicts: 653000 | #Constraints: 31132 3021.90/3029.72 c #Conflicts: 654000 | #Constraints: 32133 3021.90/3029.72 c #Conflicts: 655000 | #Constraints: 33133 3021.90/3029.72 c INPROCESSING 3021.90/3029.72 c GARBAGE COLLECT 3021.90/3029.72 c rational objective 120 3100.01/3108.05 c #Conflicts: 656000 | #Constraints: 18143 3100.01/3108.05 c #Conflicts: 657000 | #Constraints: 19143 3100.01/3108.05 c #Conflicts: 658000 | #Constraints: 20144 3100.01/3108.05 c #Conflicts: 659000 | #Constraints: 21144 3100.01/3108.05 c #Conflicts: 660000 | #Constraints: 22144 3100.01/3108.05 c #Conflicts: 661000 | #Constraints: 23144 3100.01/3108.05 c #Conflicts: 662000 | #Constraints: 24144 3100.01/3108.05 c #Conflicts: 663000 | #Constraints: 25144 3100.01/3108.05 c #Conflicts: 664000 | #Constraints: 26145 3100.01/3108.05 c #Conflicts: 665000 | #Constraints: 27145 3100.01/3108.05 c #Conflicts: 666000 | #Constraints: 28145 3100.01/3108.05 c #Conflicts: 667000 | #Constraints: 29145 3100.01/3108.05 c #Conflicts: 668000 | #Constraints: 30145 3100.01/3108.05 c #Conflicts: 669000 | #Constraints: 31145 3100.01/3108.05 c #Conflicts: 670000 | #Constraints: 32145 3100.01/3108.05 c #Conflicts: 671000 | #Constraints: 33145 3100.01/3108.05 c INPROCESSING 3100.01/3108.05 c GARBAGE COLLECT 3100.01/3108.05 c rational objective 120 3177.71/3185.94 c #Conflicts: 672000 | #Constraints: 17946 3177.71/3185.94 c #Conflicts: 673000 | #Constraints: 18946 3177.71/3185.94 c #Conflicts: 674000 | #Constraints: 19946 3177.71/3185.94 c #Conflicts: 675000 | #Constraints: 20947 3177.71/3185.94 c #Conflicts: 676000 | #Constraints: 21947 3177.71/3185.94 c #Conflicts: 677000 | #Constraints: 22947 3177.71/3185.94 c #Conflicts: 678000 | #Constraints: 23948 3177.71/3185.94 c #Conflicts: 679000 | #Constraints: 24948 3177.71/3185.94 c #Conflicts: 680000 | #Constraints: 25948 3177.71/3185.94 c #Conflicts: 681000 | #Constraints: 26948 3177.71/3185.94 c #Conflicts: 682000 | #Constraints: 27948 3177.71/3185.94 c #Conflicts: 683000 | #Constraints: 28948 3177.71/3185.94 c #Conflicts: 684000 | #Constraints: 29948 3177.71/3185.94 c #Conflicts: 685000 | #Constraints: 30948 3177.71/3185.94 c #Conflicts: 686000 | #Constraints: 31948 3177.71/3185.94 c #Conflicts: 687000 | #Constraints: 32948 3177.71/3185.94 c #Conflicts: 688000 | #Constraints: 33948 3177.71/3185.94 c INPROCESSING 3177.71/3185.94 c GARBAGE COLLECT 3177.71/3185.94 c rational objective 120 3260.01/3268.42 c #Conflicts: 689000 | #Constraints: 18558 3260.01/3268.42 c #Conflicts: 690000 | #Constraints: 19558 3260.01/3268.42 c #Conflicts: 691000 | #Constraints: 20558 3260.01/3268.42 c #Conflicts: 692000 | #Constraints: 21558 3260.01/3268.42 c #Conflicts: 693000 | #Constraints: 22558 3260.01/3268.42 c #Conflicts: 694000 | #Constraints: 23558 3260.01/3268.42 c #Conflicts: 695000 | #Constraints: 24558 3260.01/3268.42 c #Conflicts: 696000 | #Constraints: 25558 3260.01/3268.42 c #Conflicts: 697000 | #Constraints: 26558 3260.01/3268.42 c #Conflicts: 698000 | #Constraints: 27559 3260.01/3268.42 c #Conflicts: 699000 | #Constraints: 28559 3260.01/3268.42 c #Conflicts: 700000 | #Constraints: 29559 3260.01/3268.42 c #Conflicts: 701000 | #Constraints: 30559 3260.01/3268.42 c #Conflicts: 702000 | #Constraints: 31559 3260.01/3268.42 c #Conflicts: 703000 | #Constraints: 32559 3260.01/3268.42 c #Conflicts: 704000 | #Constraints: 33559 3260.01/3268.42 c #Conflicts: 705000 | #Constraints: 34559 3260.01/3268.42 c INPROCESSING 3260.01/3268.42 c GARBAGE COLLECT 3260.01/3268.42 c rational objective 120 3358.87/3367.57 c #Conflicts: 706000 | #Constraints: 18971 3358.87/3367.57 c #Conflicts: 707000 | #Constraints: 19971 3358.87/3367.57 c #Conflicts: 708000 | #Constraints: 20971 3358.87/3367.57 c #Conflicts: 709000 | #Constraints: 21972 3358.87/3367.57 c #Conflicts: 710000 | #Constraints: 22972 3358.87/3367.57 c #Conflicts: 711000 | #Constraints: 23972 3358.87/3367.57 c #Conflicts: 712000 | #Constraints: 24972 3358.87/3367.57 c #Conflicts: 713000 | #Constraints: 25972 3358.87/3367.57 c #Conflicts: 714000 | #Constraints: 26972 3358.87/3367.57 c #Conflicts: 715000 | #Constraints: 27973 3358.87/3367.57 c #Conflicts: 716000 | #Constraints: 28973 3358.87/3367.57 c #Conflicts: 717000 | #Constraints: 29973 3358.87/3367.57 c #Conflicts: 718000 | #Constraints: 30973 3358.87/3367.57 c #Conflicts: 719000 | #Constraints: 31973 3358.87/3367.57 c #Conflicts: 720000 | #Constraints: 32973 3358.87/3367.57 c #Conflicts: 721000 | #Constraints: 33973 3358.87/3367.57 c #Conflicts: 722000 | #Constraints: 34973 3358.87/3367.57 c INPROCESSING 3358.87/3367.57 c GARBAGE COLLECT 3358.87/3367.57 c rational objective 120 3499.64/3508.61 c #Conflicts: 723000 | #Constraints: 19167 3499.64/3508.61 c #Conflicts: 724000 | #Constraints: 20167 3499.64/3508.61 c #Conflicts: 725000 | #Constraints: 21168 3499.64/3508.61 c #Conflicts: 726000 | #Constraints: 22168 3499.64/3508.61 c #Conflicts: 727000 | #Constraints: 23168 3499.64/3508.61 c #Conflicts: 728000 | #Constraints: 24168 3499.64/3508.61 c #Conflicts: 729000 | #Constraints: 25168 3499.64/3508.61 c #Conflicts: 730000 | #Constraints: 26168 3499.64/3508.61 c #Conflicts: 731000 | #Constraints: 27168 3499.64/3508.61 c #Conflicts: 732000 | #Constraints: 28168 3499.64/3508.61 c #Conflicts: 733000 | #Constraints: 29168 3499.64/3508.61 c #Conflicts: 734000 | #Constraints: 30168 3499.64/3508.61 c #Conflicts: 735000 | #Constraints: 31168 3499.64/3508.61 c #Conflicts: 736000 | #Constraints: 32168 3499.64/3508.61 c #Conflicts: 737000 | #Constraints: 33169 3499.64/3508.61 c #Conflicts: 738000 | #Constraints: 34169 3499.64/3508.61 c #Conflicts: 739000 | #Constraints: 35169 3499.64/3508.61 c INPROCESSING 3499.64/3508.61 c GARBAGE COLLECT 3499.64/3508.61 c rational objective 120 3590.32/3599.58 c #Conflicts: 740000 | #Constraints: 19204 3590.32/3599.58 c #Conflicts: 741000 | #Constraints: 20204 3590.32/3599.58 c #Conflicts: 742000 | #Constraints: 21205 3590.32/3599.58 c #Conflicts: 743000 | #Constraints: 22205 3590.32/3599.58 c #Conflicts: 744000 | #Constraints: 23205 3590.32/3599.58 c #Conflicts: 745000 | #Constraints: 24205 3590.32/3599.58 c #Conflicts: 746000 | #Constraints: 25205 3590.32/3599.58 c #Conflicts: 747000 | #Constraints: 26206 3590.32/3599.58 c #Conflicts: 748000 | #Constraints: 27206 3590.32/3599.58 c #Conflicts: 749000 | #Constraints: 28206 3590.32/3599.58 c #Conflicts: 750000 | #Constraints: 29206 3590.32/3599.58 c #Conflicts: 751000 | #Constraints: 30206 3590.32/3599.58 c #Conflicts: 752000 | #Constraints: 31206 3590.32/3599.58 c #Conflicts: 753000 | #Constraints: 32206 3590.32/3599.58 c #Conflicts: 754000 | #Constraints: 33206 3590.32/3599.58 c #Conflicts: 755000 | #Constraints: 34206 3590.32/3599.58 c #Conflicts: 756000 | #Constraints: 35206 3590.32/3599.58 c INPROCESSING 3590.32/3599.58 c GARBAGE COLLECT 3590.32/3599.58 c rational objective 120 3600.08/3609.30 c #Conflicts: 757000 | #Constraints: 18968 3600.08/3609.30 c #Conflicts: 758000 | #Constraints: 19968 3600.08/3609.30 c #Conflicts: 759000 | #Constraints: 20968 3600.08/3609.30 c Program interrupted by user. 3600.08/3609.30 c cpu time 3581.83 s 3600.08/3609.30 c deterministic time 470788995047 4.71e+11 3600.08/3609.30 c optimization time 7.0035 s 3600.08/3609.30 c total solve time 3574.78 s 3600.08/3609.30 c core-guided solve time 0 s 3600.08/3609.30 c propagation time 2028.08 s 3600.08/3609.30 c conflict analysis time 689.241 s 3600.08/3609.30 c propagations 172372327 3600.08/3609.30 c resolve steps 7624783 3600.08/3609.30 c decisions 8138439 3600.08/3609.30 c conflicts 759499 3600.08/3609.30 c restarts 1596 3600.08/3609.30 c inprocessing phases 78 3600.08/3609.30 c input clauses 480 3600.08/3609.30 c input cardinalities 608 3600.08/3609.30 c input general constraints 0 3600.08/3609.30 c input average constraint length 132.35 3600.08/3609.30 c input average constraint degree 79.18 3600.08/3609.30 c learned clauses 72207 3600.08/3609.30 c learned cardinalities 30837 3600.08/3609.30 c learned general constraints 656565 3600.08/3609.30 c learned average constraint length 2467.81 3600.08/3609.30 c learned average constraint degree 109286231.17 3600.08/3609.30 c watched constraints 464706 3600.08/3609.30 c counting constraints 191859 3600.08/3609.30 c gcd simplifications 237 3600.08/3609.30 c detected cardinalities 3 3600.08/3609.30 c weakened non-implied lits 833640837 3600.08/3609.30 c weakened non-implying lits 330078 3600.08/3609.30 c original variables 14400 3600.08/3609.30 c clausal propagations 999224 3600.08/3609.30 c cardinality propagations 114701679 3600.08/3609.30 c watched propagations 7406829 3600.08/3609.30 c counting propagations 46822206 3600.08/3609.30 c watch lookups 13295409941 3600.08/3609.30 c watch backjump lookups 11661054321 3600.08/3609.30 c watch checks 315234841778 3600.08/3609.30 c propagation checks 124852464336 3600.08/3609.30 c constraint additions 5382014264 3600.08/3609.30 c trail pops 181255940 3600.08/3609.30 c formula constraints 1088 3600.08/3609.30 c learned constraints 759425 3600.08/3609.30 c bound constraints 0 3600.08/3609.30 c core-guided constraints 0 3600.08/3609.30 c encountered formula constraints 2251299 3600.08/3609.30 c encountered learned constraints 6132630 3600.08/3609.30 c encountered bound constraints 0 3600.08/3609.30 c encountered core-guided constraints 0 3600.08/3609.30 c LP total time 973.994 s 3600.08/3609.30 c LP solve time 874.62 s 3600.08/3609.30 c LP constraints added 1134 3600.08/3609.30 c LP constraints removed 43 3600.08/3609.30 c LP pivots internal 763383 3600.08/3609.30 c LP pivots root 680317 3600.08/3609.30 c LP calls 139 3600.08/3609.30 c LP optimalities 58 3600.08/3609.30 c LP no pivot count 5 3600.08/3609.30 c LP infeasibilities 73 3600.08/3609.30 c LP valid Farkas constraints 73 3600.08/3609.30 c LP learned Farkas constraints 73 3600.08/3609.30 c LP basis resets 0 3600.08/3609.30 c LP cycling count 0 3600.08/3609.30 c LP singular count 0 3600.08/3609.30 c LP no primal count 0 3600.08/3609.30 c LP no farkas count 0 3600.08/3609.30 c LP other issue count 0 3600.08/3609.30 c LP Gomory cuts 38 3600.08/3609.30 c LP learned cuts 9 3600.08/3609.30 c LP deleted cuts 46 3600.08/3609.30 c LP encountered Gomory constraints 0 3600.08/3609.30 c LP encountered Farkas constraints 142 3600.08/3609.30 c LP encountered learned Farkas constraints 138 3600.08/3609.30 c CG auxiliary variables introduced 0 3600.08/3609.30 c CG solutions found 0 3600.08/3609.30 c CG cores constructed 0 3600.08/3609.30 c CG core cardinality constraints returned 0 3600.08/3609.30 c CG unit cores 0 3600.08/3609.30 c CG single cores 0 3600.08/3609.30 c CG blocks removed during cardinality reduction 0 3600.08/3609.30 c CG first core best 0 3600.08/3609.30 c CG decision core best 0 3600.08/3609.30 c CG core reduction tie 0 3600.08/3609.30 c CG core degree average 0.00 3600.08/3609.30 c CG core slack average 0.00 3600.08/3609.30 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 (60290 MiB free)
memory of node 1: 64510 MiB (61426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455538-1721460136/watcher-4455538-1721460136 -o /tmp/evaluation-result-4455538-1721460136/solver-4455538-1721460136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067955 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455538-1721460136.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=1069994, runsolver pid=1069991
[startup+0.10103 s]*
/proc/loadavg: 4.06 4.10 4.09 5/254 1069995
/proc/meminfo: memFree=124620216/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=56756 memory=26396 CPUtime=0.09 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 6697 0 0 0 8 1 0 0 20 0 1 0 198183322 58118144 6599 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 14189 6599 1546 922 0 6141 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56756 KiB
Current children cumulated memory: 26396 KiB
[startup+0.20503 s]*
/proc/loadavg: 4.06 4.10 4.09 3/249 1070012
/proc/meminfo: memFree=125152704/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=56756 memory=26396 CPUtime=0.19 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 6697 0 0 0 18 1 0 0 20 0 1 0 198183322 58118144 6599 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 14189 6599 1546 922 0 6141 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56756 KiB
Current children cumulated memory: 26396 KiB
[startup+0.30603 s]*
/proc/loadavg: 4.06 4.10 4.09 4/254 1070041
/proc/meminfo: memFree=125146296/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=56756 memory=26396 CPUtime=0.29 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 6697 0 0 0 28 1 0 0 20 0 1 0 198183322 58118144 6599 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 14189 6599 1546 922 0 6141 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56756 KiB
Current children cumulated memory: 26396 KiB
[startup+0.700148 s]
/proc/loadavg: 4.06 4.10 4.09 6/253 1070069
/proc/meminfo: memFree=125144040/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=56756 memory=26396 CPUtime=0.68 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 6697 0 0 0 67 1 0 0 20 0 1 0 198183322 58118144 6599 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 14189 6599 1546 922 0 6141 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56756 KiB
Current children cumulated memory: 26396 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 1070073
/proc/meminfo: memFree=125135536/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=61420 memory=33580 CPUtime=1.47 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 7852 0 0 0 142 5 0 0 20 0 1 0 198183322 62894080 8395 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 15355 8395 1674 922 0 7307 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61420 KiB
Current children cumulated memory: 33580 KiB
[startup+3.10506 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 1070119
/proc/meminfo: memFree=125101188/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=80240 memory=47560 CPUtime=3.08 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 10777 0 0 0 297 11 0 0 20 0 1 0 198183322 82165760 11890 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 20060 11890 1689 922 0 12012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80240 KiB
Current children cumulated memory: 47560 KiB
[startup+6.30015 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 1070119
/proc/meminfo: memFree=125074748/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=80972 memory=48088 CPUtime=6.27 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 10927 0 0 0 614 13 0 0 20 0 1 0 198183322 82915328 12022 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 20243 12022 1689 922 0 12195 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80972 KiB
Current children cumulated memory: 48088 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 1070213
/proc/meminfo: memFree=125111952/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=89092 memory=62692 CPUtime=12.65 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 13504 0 0 0 1238 27 0 0 20 0 1 0 198183322 91230208 15673 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 22273 15673 1750 922 0 14225 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 89092 KiB
Current children cumulated memory: 62692 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1070214
/proc/meminfo: memFree=125026320/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=151012 memory=122596 CPUtime=25.41 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 26442 0 0 0 2492 49 0 0 20 0 1 0 198183322 154636288 30649 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 37753 30649 1766 922 0 29705 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 151012 KiB
Current children cumulated memory: 122596 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1070266
/proc/meminfo: memFree=124943880/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=219336 memory=176516 CPUtime=50.94 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 34178 0 0 0 5012 82 0 0 20 0 1 0 198183322 224600064 44129 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 54834 44129 1766 922 0 46786 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 219336 KiB
Current children cumulated memory: 176516 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1070274
/proc/meminfo: memFree=124853096/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=305388 memory=234036 CPUtime=102 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 44603 0 0 0 10062 138 0 0 20 0 1 0 198183322 312717312 58509 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 76347 58509 1782 922 0 68299 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 305388 KiB
Current children cumulated memory: 234036 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1070285
/proc/meminfo: memFree=124812032/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=308836 memory=239580 CPUtime=161.85 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 45568 0 0 0 15979 206 0 0 20 0 1 0 198183322 316248064 59895 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 77209 59895 1782 922 0 69161 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 308836 KiB
Current children cumulated memory: 239580 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1070682
/proc/meminfo: memFree=124838184/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=316096 memory=289932 CPUtime=221.71 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 47528 0 0 0 21915 256 0 0 20 0 1 0 198183322 323682304 72483 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 79024 72483 1782 922 0 70976 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 316096 KiB
Current children cumulated memory: 289932 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769684/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=420796 memory=347780 CPUtime=281.57 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 53955 0 0 0 27877 280 0 0 20 0 1 0 198183322 430895104 86945 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 105199 86945 1782 922 0 97151 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 420796 KiB
Current children cumulated memory: 347780 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1070748
/proc/meminfo: memFree=124802724/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=420796 memory=347904 CPUtime=341.45 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 54086 0 0 0 33819 326 0 0 20 0 1 0 198183322 430895104 86976 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 105199 86976 1782 922 0 97151 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 420796 KiB
Current children cumulated memory: 347904 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1070927
/proc/meminfo: memFree=124764212/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=432104 memory=358452 CPUtime=401.31 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 56887 0 0 0 39757 374 0 0 20 0 1 0 198183322 442474496 89613 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 108026 89613 1782 922 0 99978 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 432104 KiB
Current children cumulated memory: 358452 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 1070937
/proc/meminfo: memFree=124652068/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=580640 memory=448308 CPUtime=461.17 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 61536 0 0 0 45702 415 0 0 20 0 1 0 198183322 594575360 112077 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 145160 112077 1782 922 0 137112 0
################
# More data... #
################
Current children cumulated memory: 840684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/257 1072699
/proc/meminfo: memFree=123241444/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=988700 memory=840692 CPUtime=2914.79 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 118836 0 0 0 289964 1515 0 0 20 0 1 0 198183322 1012428800 210173 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 247175 210173 1782 922 0 239127 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 988700 KiB
Current children cumulated memory: 840692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.14 5/257 1072709
/proc/meminfo: memFree=123238820/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=988700 memory=840692 CPUtime=2974.62 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 119067 0 0 0 295912 1550 0 0 20 0 1 0 198183322 1012428800 210173 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 247175 210173 1782 922 0 239127 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 988700 KiB
Current children cumulated memory: 840692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 1072720
/proc/meminfo: memFree=123234024/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=988700 memory=840956 CPUtime=3034.46 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 119365 0 0 0 301872 1574 0 0 20 0 1 0 198183322 1012428800 210239 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 247175 210239 1782 922 0 239127 0
Current children cumulated CPU time: 3034.46 s
Current children cumulated vsize: 988700 KiB
Current children cumulated memory: 840956 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/257 1072730
/proc/meminfo: memFree=123231824/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=988700 memory=841004 CPUtime=3094.32 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 119768 0 0 0 307823 1609 0 0 20 0 1 0 198183322 1012428800 210251 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 247175 210251 1782 922 0 239127 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 988700 KiB
Current children cumulated memory: 841004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/257 1072741
/proc/meminfo: memFree=123223060/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=994428 memory=846720 CPUtime=3154.17 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 121496 0 0 0 313768 1649 0 0 20 0 1 0 198183322 1018294272 211680 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 248607 211680 1782 922 0 240559 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 994428 KiB
Current children cumulated memory: 846720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/257 1072751
/proc/meminfo: memFree=123221688/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=987380 memory=839800 CPUtime=3214.03 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 121815 0 0 0 319717 1686 0 0 20 0 1 0 198183322 1011077120 209950 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 246845 209950 1782 922 0 238797 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 987380 KiB
Current children cumulated memory: 839800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.11 4.11 5/254 1072761
/proc/meminfo: memFree=123208324/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=997100 memory=849328 CPUtime=3273.88 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 124539 0 0 0 325682 1706 0 0 20 0 1 0 198183322 1021030400 212332 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 249275 212332 1782 922 0 241227 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 997100 KiB
Current children cumulated memory: 849328 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 1072773
/proc/meminfo: memFree=123202112/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=997540 memory=849828 CPUtime=3333.73 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 125096 0 0 0 331648 1725 0 0 20 0 1 0 198183322 1021480960 212457 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 249385 212457 1782 922 0 241337 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 997540 KiB
Current children cumulated memory: 849828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 1072783
/proc/meminfo: memFree=123190448/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=1003468 memory=855756 CPUtime=3393.59 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 126886 0 0 0 337607 1752 0 0 20 0 1 0 198183322 1027551232 213939 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 250867 213939 1782 922 0 242819 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 1003468 KiB
Current children cumulated memory: 855756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/254 1072793
/proc/meminfo: memFree=123145484/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=1038308 memory=893652 CPUtime=3453.45 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 135846 0 0 0 343584 1761 0 0 20 0 1 0 198183322 1063227392 223413 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 259577 223413 1782 922 0 251529 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 1038308 KiB
Current children cumulated memory: 893652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1072808
/proc/meminfo: memFree=122980696/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=1430700 memory=1056712 CPUtime=3513.32 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 147241 0 0 0 349549 1783 0 0 20 0 1 0 198183322 1465036800 264178 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 357675 264178 1782 922 0 349627 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 1430700 KiB
Current children cumulated memory: 1056712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1072819
/proc/meminfo: memFree=122977392/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=1430700 memory=1056924 CPUtime=3573.16 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 147558 0 0 0 355500 1816 0 0 20 0 1 0 198183322 1465036800 264231 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 357675 264231 1782 922 0 349627 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 1430700 KiB
Current children cumulated memory: 1056924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1072824
/proc/meminfo: memFree=122959656/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=1430700 memory=1056924 CPUtime=3600.08 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 147747 0 0 0 358182 1826 0 0 20 0 1 0 198183322 1465036800 264231 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 357675 264231 1782 922 0 349627 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1430700 KiB
Current children cumulated memory: 1056924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.32 s]
# the end of solver process 1069994 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.83 s, system=18.2838 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1072824
/proc/meminfo: memFree=122959656/131524600 swapFree=131071996/131071996
[pid=1069994] ppid=1069991 vsize=1430700 memory=1056924 CPUtime=3600.08 cores=5,7
/proc/1069994/stat : 1069994 (roundingsat) R 1069991 1069994 1067942 0 -1 4194304 147747 0 0 0 358182 1826 0 0 20 0 1 0 198183322 1465036800 264231 134679101440 4194304 7968373 140737014069168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 28192768 140737014076348 140737014076512 140737014076512 140737014083529 0
/proc/1069994/statm: 357675 264231 1782 922 0 349627 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1430700 KiB
Current children cumulated memory: 1056924 KiB
Child status: 0
Real time (s): 3609.32
CPU time (s): 3600.12
CPU user time (s): 3581.83
CPU system time (s): 18.2838
CPU usage (%): 99.745
Max. virtual memory (cumulated for all children) (KiB): 1430700
Max. memory (cumulated for all children) (KiB): 1056924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.83
system time used= 18.2838
maximum resident set size= 1057004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 2176
# summary of solver processes directly reported to runsolver:
# pid: 1069994
# total CPU time (s): 3600.12
# total CPU user time (s): 3581.83
# total CPU system time (s): 18.2838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74818 second user time and 16.565 second system time
The end
Begin job on nodeC033 at 2024-07-20 09:22:28 IDJOB=4455538 IDBENCH=147863 IDSOLVER=3084 FILE ID=nodeC033/4455538-1721460136 RUNJOBID= nodeC033-1721456537-1067955 SLURM_JOB_ID= 7545693 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455538-1721460136/watcher-4455538-1721460136 -o /tmp/evaluation-result-4455538-1721460136/solver-4455538-1721460136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067955 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455538-1721460136.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d RANDOM SEED=2024055982 nodeC033.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 : 3674.434 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.318 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.010 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.037 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3674.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.719 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.304 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.019 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124638924 kB MemAvailable: 129079880 kB Buffers: 603636 kB Cached: 4629392 kB SwapCached: 0 kB Active: 1100112 kB Inactive: 5053348 kB Active(anon): 1556 kB Inactive(anon): 964780 kB Active(file): 1098556 kB Inactive(file): 4088568 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12648 kB Writeback: 0 kB AnonPages: 917856 kB Mapped: 114992 kB Shmem: 45908 kB KReclaimable: 186956 kB Slab: 310700 kB SReclaimable: 186956 kB SUnreclaim: 123744 kB KernelStack: 4144 kB PageTables: 11180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1332572 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72576 kB HardwareCorrupted: 0 kB AnonHugePages: 755712 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890060 MiB End job on nodeC033 at 2024-07-20 10:22:38