| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.03 | 3611.01 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb |
| MD5SUM | 3f61e6943d6ec76e40473bfb8d86b810 |
| 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 | 0.264688 |
| 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 | 86 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 86 |
| Maximum length of a constraint | 86 |
| 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 | 21733991 |
| Number of bits of the biggest number in a constraint | 25 |
| Biggest sum of numbers in a constraint | 300042743 |
| Number of bits of the biggest sum of numbers | 29 |
| 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.00 c #variables 86 #constraints 2 0.00/0.00 c rational objective 1.25844 0.30/0.37 c #Conflicts: 1000 | #Constraints: 1001 0.30/0.37 c #Conflicts: 2000 | #Constraints: 2001 0.30/0.37 c INPROCESSING 0.30/0.37 c GARBAGE COLLECT 0.30/0.37 c rational objective 1.25844 1.09/1.12 c #Conflicts: 3000 | #Constraints: 2003 1.09/1.12 c #Conflicts: 4000 | #Constraints: 3003 1.09/1.12 c INPROCESSING 1.09/1.12 c GARBAGE COLLECT 1.09/1.12 c rational objective 1.27049 2.58/2.65 c #Conflicts: 5000 | #Constraints: 2405 2.58/2.65 c #Conflicts: 6000 | #Constraints: 3405 2.58/2.65 c INPROCESSING 2.58/2.65 c GARBAGE COLLECT 2.58/2.65 c rational objective 1.27049 4.38/4.46 c #Conflicts: 7000 | #Constraints: 2406 4.38/4.46 c #Conflicts: 8000 | #Constraints: 3406 4.38/4.46 c #Conflicts: 9000 | #Constraints: 4406 4.38/4.46 c INPROCESSING 4.38/4.46 c GARBAGE COLLECT 4.38/4.46 c rational objective 1.27049 6.37/6.41 c #Conflicts: 10000 | #Constraints: 3107 6.37/6.41 c #Conflicts: 11000 | #Constraints: 4107 6.37/6.41 c #Conflicts: 12000 | #Constraints: 5107 6.37/6.41 c INPROCESSING 6.37/6.41 c GARBAGE COLLECT 6.37/6.41 c rational objective 1.27049 8.97/9.04 c #Conflicts: 13000 | #Constraints: 3555 8.97/9.04 c #Conflicts: 14000 | #Constraints: 4555 8.97/9.04 c #Conflicts: 15000 | #Constraints: 5555 8.97/9.04 c INPROCESSING 8.97/9.04 c GARBAGE COLLECT 8.97/9.04 c rational objective 1.27049 12.16/12.22 c #Conflicts: 16000 | #Constraints: 3779 12.16/12.22 c #Conflicts: 17000 | #Constraints: 4779 12.16/12.22 c #Conflicts: 18000 | #Constraints: 5779 12.16/12.22 c INPROCESSING 12.16/12.22 c GARBAGE COLLECT 12.16/12.22 c rational objective 1.27049 15.86/15.95 c #Conflicts: 19000 | #Constraints: 3791 15.86/15.95 c #Conflicts: 20000 | #Constraints: 4791 15.86/15.95 c #Conflicts: 21000 | #Constraints: 5791 15.86/15.95 c INPROCESSING 15.86/15.95 c GARBAGE COLLECT 15.86/15.95 c rational objective 1.27049 19.05/19.14 c #Conflicts: 22000 | #Constraints: 3597 19.05/19.14 c #Conflicts: 23000 | #Constraints: 4597 19.05/19.14 c #Conflicts: 24000 | #Constraints: 5597 19.05/19.14 c #Conflicts: 25000 | #Constraints: 6597 19.05/19.14 c INPROCESSING 19.05/19.14 c GARBAGE COLLECT 19.05/19.14 c rational objective 1.27049 37.30/37.45 c #Conflicts: 26000 | #Constraints: 4200 37.30/37.45 c #Conflicts: 27000 | #Constraints: 5200 37.30/37.45 c #Conflicts: 28000 | #Constraints: 6200 37.30/37.45 c #Conflicts: 29000 | #Constraints: 7200 37.30/37.45 c #Conflicts: 30000 | #Constraints: 8200 37.30/37.45 c #Conflicts: 31000 | #Constraints: 9200 37.30/37.45 c #Conflicts: 32000 | #Constraints: 10200 37.30/37.45 c #Conflicts: 33000 | #Constraints: 11200 37.30/37.45 c #Conflicts: 34000 | #Constraints: 12200 37.30/37.45 c #Conflicts: 35000 | #Constraints: 13200 37.30/37.45 c #Conflicts: 36000 | #Constraints: 14200 37.30/37.45 c #Conflicts: 37000 | #Constraints: 15200 37.30/37.45 c #Conflicts: 38000 | #Constraints: 16200 37.30/37.45 c INPROCESSING 37.30/37.45 c GARBAGE COLLECT 37.30/37.45 c rational objective 1.27049 48.77/48.98 c #Conflicts: 39000 | #Constraints: 9104 48.77/48.98 c #Conflicts: 40000 | #Constraints: 10104 48.77/48.98 c #Conflicts: 41000 | #Constraints: 11104 48.77/48.98 c #Conflicts: 42000 | #Constraints: 12104 48.77/48.98 c INPROCESSING 48.77/48.98 c GARBAGE COLLECT 48.77/48.98 c rational objective 1.27049 60.13/60.39 c #Conflicts: 43000 | #Constraints: 6604 60.13/60.39 c #Conflicts: 44000 | #Constraints: 7604 60.13/60.39 c #Conflicts: 45000 | #Constraints: 8604 60.13/60.39 c #Conflicts: 46000 | #Constraints: 9604 60.13/60.39 c #Conflicts: 47000 | #Constraints: 10604 60.13/60.39 c #Conflicts: 48000 | #Constraints: 11604 60.13/60.39 c INPROCESSING 60.13/60.39 c GARBAGE COLLECT 60.13/60.39 c rational objective 1.27094 106.78/107.16 c #Conflicts: 49000 | #Constraints: 7670 106.78/107.16 c #Conflicts: 50000 | #Constraints: 8670 106.78/107.16 c #Conflicts: 51000 | #Constraints: 9670 106.78/107.16 c #Conflicts: 52000 | #Constraints: 10670 106.78/107.16 c #Conflicts: 53000 | #Constraints: 11670 106.78/107.16 c #Conflicts: 54000 | #Constraints: 12670 106.78/107.16 c #Conflicts: 55000 | #Constraints: 13670 106.78/107.16 c #Conflicts: 56000 | #Constraints: 14670 106.78/107.16 c #Conflicts: 57000 | #Constraints: 15670 106.78/107.16 c #Conflicts: 58000 | #Constraints: 16670 106.78/107.16 c #Conflicts: 59000 | #Constraints: 17670 106.78/107.16 c #Conflicts: 60000 | #Constraints: 18670 106.78/107.16 c #Conflicts: 61000 | #Constraints: 19670 106.78/107.16 c #Conflicts: 62000 | #Constraints: 20670 106.78/107.16 c #Conflicts: 63000 | #Constraints: 21670 106.78/107.16 c #Conflicts: 64000 | #Constraints: 22670 106.78/107.16 c #Conflicts: 65000 | #Constraints: 23670 106.78/107.16 c INPROCESSING 106.78/107.16 c GARBAGE COLLECT 106.78/107.16 c rational objective 1.27094 132.97/133.43 c #Conflicts: 66000 | #Constraints: 12839 132.97/133.43 c #Conflicts: 67000 | #Constraints: 13839 132.97/133.43 c #Conflicts: 68000 | #Constraints: 14839 132.97/133.43 c #Conflicts: 69000 | #Constraints: 15839 132.97/133.43 c #Conflicts: 70000 | #Constraints: 16839 132.97/133.43 c #Conflicts: 71000 | #Constraints: 17839 132.97/133.43 c INPROCESSING 132.97/133.43 c GARBAGE COLLECT 132.97/133.43 c rational objective 1.27094 148.72/149.22 c #Conflicts: 72000 | #Constraints: 9722 148.72/149.22 c #Conflicts: 73000 | #Constraints: 10722 148.72/149.22 c #Conflicts: 74000 | #Constraints: 11722 148.72/149.22 c #Conflicts: 75000 | #Constraints: 12722 148.72/149.22 c #Conflicts: 76000 | #Constraints: 13722 148.72/149.22 c #Conflicts: 77000 | #Constraints: 14722 148.72/149.22 c #Conflicts: 78000 | #Constraints: 15722 148.72/149.22 c INPROCESSING 148.72/149.22 c GARBAGE COLLECT 148.72/149.22 c rational objective 1.27094 161.79/162.31 c #Conflicts: 79000 | #Constraints: 8863 161.79/162.31 c #Conflicts: 80000 | #Constraints: 9863 161.79/162.31 c #Conflicts: 81000 | #Constraints: 10863 161.79/162.31 c #Conflicts: 82000 | #Constraints: 11863 161.79/162.31 c #Conflicts: 83000 | #Constraints: 12863 161.79/162.31 c #Conflicts: 84000 | #Constraints: 13863 161.79/162.31 c INPROCESSING 161.79/162.31 c GARBAGE COLLECT 161.79/162.31 c rational objective 1.27094 205.88/206.54 c #Conflicts: 85000 | #Constraints: 7747 205.88/206.54 c #Conflicts: 86000 | #Constraints: 8747 205.88/206.54 c #Conflicts: 87000 | #Constraints: 9747 205.88/206.54 c #Conflicts: 88000 | #Constraints: 10747 205.88/206.54 c #Conflicts: 89000 | #Constraints: 11747 205.88/206.54 c #Conflicts: 90000 | #Constraints: 12747 205.88/206.54 c #Conflicts: 91000 | #Constraints: 13747 205.88/206.54 c #Conflicts: 92000 | #Constraints: 14747 205.88/206.54 c #Conflicts: 93000 | #Constraints: 15747 205.88/206.54 c #Conflicts: 94000 | #Constraints: 16747 205.88/206.54 c #Conflicts: 95000 | #Constraints: 17747 205.88/206.54 c #Conflicts: 96000 | #Constraints: 18747 205.88/206.54 c #Conflicts: 97000 | #Constraints: 19747 205.88/206.54 c #Conflicts: 98000 | #Constraints: 20747 205.88/206.54 c #Conflicts: 99000 | #Constraints: 21747 205.88/206.54 c #Conflicts: 100000 | #Constraints: 22747 205.88/206.54 c #Conflicts: 101000 | #Constraints: 23747 205.88/206.54 c #Conflicts: 102000 | #Constraints: 24747 205.88/206.54 c #Conflicts: 103000 | #Constraints: 25747 205.88/206.54 c #Conflicts: 104000 | #Constraints: 26747 205.88/206.54 c #Conflicts: 105000 | #Constraints: 27747 205.88/206.54 c #Conflicts: 106000 | #Constraints: 28747 205.88/206.54 c #Conflicts: 107000 | #Constraints: 29747 205.88/206.54 c INPROCESSING 205.88/206.54 c GARBAGE COLLECT 205.88/206.54 c rational objective 1.27094 231.63/232.38 c #Conflicts: 108000 | #Constraints: 15826 231.63/232.38 c #Conflicts: 109000 | #Constraints: 16826 231.63/232.38 c #Conflicts: 110000 | #Constraints: 17826 231.63/232.38 c #Conflicts: 111000 | #Constraints: 18826 231.63/232.38 c #Conflicts: 112000 | #Constraints: 19826 231.63/232.38 c #Conflicts: 113000 | #Constraints: 20826 231.63/232.38 c #Conflicts: 114000 | #Constraints: 21826 231.63/232.38 c #Conflicts: 115000 | #Constraints: 22826 231.63/232.38 c INPROCESSING 231.63/232.38 c GARBAGE COLLECT 231.63/232.38 c rational objective 1.30915 251.39/252.17 c #Conflicts: 116000 | #Constraints: 12315 251.39/252.17 c #Conflicts: 117000 | #Constraints: 13315 251.39/252.17 c #Conflicts: 118000 | #Constraints: 14315 251.39/252.17 c #Conflicts: 119000 | #Constraints: 15315 251.39/252.17 c #Conflicts: 120000 | #Constraints: 16315 251.39/252.17 c #Conflicts: 121000 | #Constraints: 17315 251.39/252.17 c #Conflicts: 122000 | #Constraints: 18315 251.39/252.17 c #Conflicts: 123000 | #Constraints: 19315 251.39/252.17 c INPROCESSING 251.39/252.17 c GARBAGE COLLECT 251.39/252.17 c rational objective 1.30915 349.71/350.79 c #Conflicts: 124000 | #Constraints: 10412 349.71/350.79 c #Conflicts: 125000 | #Constraints: 11412 349.71/350.79 c #Conflicts: 126000 | #Constraints: 12412 349.71/350.79 c #Conflicts: 127000 | #Constraints: 13412 349.71/350.79 c #Conflicts: 128000 | #Constraints: 14412 349.71/350.79 c #Conflicts: 129000 | #Constraints: 15412 349.71/350.79 c #Conflicts: 130000 | #Constraints: 16412 349.71/350.79 c #Conflicts: 131000 | #Constraints: 17412 349.71/350.79 c #Conflicts: 132000 | #Constraints: 18412 349.71/350.79 c #Conflicts: 133000 | #Constraints: 19412 349.71/350.79 c #Conflicts: 134000 | #Constraints: 20412 349.71/350.79 c #Conflicts: 135000 | #Constraints: 21412 349.71/350.79 c #Conflicts: 136000 | #Constraints: 22412 349.71/350.79 c #Conflicts: 137000 | #Constraints: 23412 349.71/350.79 c #Conflicts: 138000 | #Constraints: 24412 349.71/350.79 c #Conflicts: 139000 | #Constraints: 25412 349.71/350.79 c #Conflicts: 140000 | #Constraints: 26412 349.71/350.79 c #Conflicts: 141000 | #Constraints: 27412 349.71/350.79 c #Conflicts: 142000 | #Constraints: 28412 349.71/350.79 c #Conflicts: 143000 | #Constraints: 29412 349.71/350.79 c #Conflicts: 144000 | #Constraints: 30412 349.71/350.79 c #Conflicts: 145000 | #Constraints: 31412 349.71/350.79 c #Conflicts: 146000 | #Constraints: 32412 349.71/350.79 c #Conflicts: 147000 | #Constraints: 33412 349.71/350.79 c #Conflicts: 148000 | #Constraints: 34412 349.71/350.79 c #Conflicts: 149000 | #Constraints: 35412 349.71/350.79 c #Conflicts: 150000 | #Constraints: 36412 349.71/350.79 c INPROCESSING 349.71/350.79 c GARBAGE COLLECT 349.71/350.79 c rational objective 1.30915 410.46/411.65 c #Conflicts: 151000 | #Constraints: 19208 410.46/411.65 c #Conflicts: 152000 | #Constraints: 20208 410.46/411.65 c #Conflicts: 153000 | #Constraints: 21208 410.46/411.65 c #Conflicts: 154000 | #Constraints: 22208 410.46/411.65 c #Conflicts: 155000 | #Constraints: 23208 410.46/411.65 c #Conflicts: 156000 | #Constraints: 24208 410.46/411.65 c #Conflicts: 157000 | #Constraints: 25208 410.46/411.65 c #Conflicts: 158000 | #Constraints: 26208 410.46/411.65 c #Conflicts: 159000 | #Constraints: 27208 410.46/411.65 c INPROCESSING 410.46/411.65 c GARBAGE COLLECT 410.46/411.65 c rational objective 1.30915 447.06/448.35 c #Conflicts: 160000 | #Constraints: 14307 447.06/448.35 c #Conflicts: 161000 | #Constraints: 15307 447.06/448.35 c #Conflicts: 162000 | #Constraints: 16307 447.06/448.35 c #Conflicts: 163000 | #Constraints: 17307 447.06/448.35 c #Conflicts: 164000 | #Constraints: 18307 447.06/448.35 c #Conflicts: 165000 | #Constraints: 19307 447.06/448.35 c #Conflicts: 166000 | #Constraints: 20307 447.06/448.35 c #Conflicts: 167000 | #Constraints: 21307 447.06/448.35 c #Conflicts: 168000 | #Constraints: 22307 447.06/448.35 c #Conflicts: 169000 | #Constraints: 23307 447.06/448.35 c INPROCESSING 447.06/448.35 c GARBAGE COLLECT 447.06/448.35 c rational objective 1.30915 579.91/581.57 c #Conflicts: 170000 | #Constraints: 12457 579.91/581.57 c #Conflicts: 171000 | #Constraints: 13458 579.91/581.57 c #Conflicts: 172000 | #Constraints: 14458 579.91/581.57 c #Conflicts: 173000 | #Constraints: 15458 579.91/581.57 c #Conflicts: 174000 | #Constraints: 16458 579.91/581.57 c #Conflicts: 175000 | #Constraints: 17458 579.91/581.57 c #Conflicts: 176000 | #Constraints: 18458 579.91/581.57 c #Conflicts: 177000 | #Constraints: 19458 579.91/581.57 c #Conflicts: 178000 | #Constraints: 20458 579.91/581.57 c #Conflicts: 179000 | #Constraints: 21458 579.91/581.57 c #Conflicts: 180000 | #Constraints: 22458 579.91/581.57 c #Conflicts: 181000 | #Constraints: 23458 579.91/581.57 c #Conflicts: 182000 | #Constraints: 24458 579.91/581.57 c #Conflicts: 183000 | #Constraints: 25458 579.91/581.57 c #Conflicts: 184000 | #Constraints: 26458 579.91/581.57 c #Conflicts: 185000 | #Constraints: 27458 579.91/581.57 c #Conflicts: 186000 | #Constraints: 28458 579.91/581.57 c #Conflicts: 187000 | #Constraints: 29458 579.91/581.57 c #Conflicts: 188000 | #Constraints: 30458 579.91/581.57 c #Conflicts: 189000 | #Constraints: 31458 579.91/581.57 c #Conflicts: 190000 | #Constraints: 32458 579.91/581.57 c #Conflicts: 191000 | #Constraints: 33458 579.91/581.57 c #Conflicts: 192000 | #Constraints: 34458 579.91/581.57 c #Conflicts: 193000 | #Constraints: 35458 579.91/581.57 c #Conflicts: 194000 | #Constraints: 36458 579.91/581.57 c #Conflicts: 195000 | #Constraints: 37458 579.91/581.57 c #Conflicts: 196000 | #Constraints: 38458 579.91/581.57 c #Conflicts: 197000 | #Constraints: 39458 579.91/581.57 c #Conflicts: 198000 | #Constraints: 40458 579.91/581.57 c #Conflicts: 199000 | #Constraints: 41458 579.91/581.57 c #Conflicts: 200000 | #Constraints: 42458 579.91/581.57 c INPROCESSING 579.91/581.57 c GARBAGE COLLECT 579.91/581.57 c rational objective 1.30915 656.89/658.73 c #Conflicts: 201000 | #Constraints: 22181 656.89/658.73 c #Conflicts: 202000 | #Constraints: 23181 656.89/658.73 c #Conflicts: 203000 | #Constraints: 24181 656.89/658.73 c #Conflicts: 204000 | #Constraints: 25181 656.89/658.73 c #Conflicts: 205000 | #Constraints: 26181 656.89/658.73 c #Conflicts: 206000 | #Constraints: 27181 656.89/658.73 c #Conflicts: 207000 | #Constraints: 28181 656.89/658.73 c #Conflicts: 208000 | #Constraints: 29181 656.89/658.73 c #Conflicts: 209000 | #Constraints: 30181 656.89/658.73 c #Conflicts: 210000 | #Constraints: 31181 656.89/658.73 c #Conflicts: 211000 | #Constraints: 32181 656.89/658.73 c INPROCESSING 656.89/658.73 c GARBAGE COLLECT 656.89/658.73 c rational objective 1.33002 735.98/738.10 c #Conflicts: 212000 | #Constraints: 16994 735.98/738.10 c #Conflicts: 213000 | #Constraints: 17994 735.98/738.10 c #Conflicts: 214000 | #Constraints: 18994 735.98/738.10 c #Conflicts: 215000 | #Constraints: 19994 735.98/738.10 c #Conflicts: 216000 | #Constraints: 20994 735.98/738.10 c #Conflicts: 217000 | #Constraints: 21994 735.98/738.10 c #Conflicts: 218000 | #Constraints: 22994 735.98/738.10 c #Conflicts: 219000 | #Constraints: 23994 735.98/738.10 c #Conflicts: 220000 | #Constraints: 24994 735.98/738.10 c #Conflicts: 221000 | #Constraints: 25994 735.98/738.10 c #Conflicts: 222000 | #Constraints: 26994 735.98/738.10 c INPROCESSING 735.98/738.10 c GARBAGE COLLECT 735.98/738.10 c rational objective 1.33002 983.20/985.94 c #Conflicts: 223000 | #Constraints: 15734 983.20/985.94 c #Conflicts: 224000 | #Constraints: 16734 983.20/985.94 c #Conflicts: 225000 | #Constraints: 17734 983.20/985.94 c #Conflicts: 226000 | #Constraints: 18734 983.20/985.94 c #Conflicts: 227000 | #Constraints: 19734 983.20/985.94 c #Conflicts: 228000 | #Constraints: 20734 983.20/985.94 c #Conflicts: 229000 | #Constraints: 21734 983.20/985.94 c #Conflicts: 230000 | #Constraints: 22734 983.20/985.94 c #Conflicts: 231000 | #Constraints: 23734 983.20/985.94 c #Conflicts: 232000 | #Constraints: 24734 983.20/985.94 c #Conflicts: 233000 | #Constraints: 25734 983.20/985.94 c #Conflicts: 234000 | #Constraints: 26734 983.20/985.94 c #Conflicts: 235000 | #Constraints: 27734 983.20/985.94 c #Conflicts: 236000 | #Constraints: 28734 983.20/985.94 c #Conflicts: 237000 | #Constraints: 29734 983.20/985.94 c #Conflicts: 238000 | #Constraints: 30734 983.20/985.94 c #Conflicts: 239000 | #Constraints: 31734 983.20/985.94 c #Conflicts: 240000 | #Constraints: 32734 983.20/985.94 c #Conflicts: 241000 | #Constraints: 33734 983.20/985.94 c #Conflicts: 242000 | #Constraints: 34734 983.20/985.94 c #Conflicts: 243000 | #Constraints: 35734 983.20/985.94 c #Conflicts: 244000 | #Constraints: 36734 983.20/985.94 c #Conflicts: 245000 | #Constraints: 37734 983.20/985.94 c #Conflicts: 246000 | #Constraints: 38734 983.20/985.94 c #Conflicts: 247000 | #Constraints: 39734 983.20/985.94 c #Conflicts: 248000 | #Constraints: 40734 983.20/985.94 c #Conflicts: 249000 | #Constraints: 41734 983.20/985.94 c #Conflicts: 250000 | #Constraints: 42734 983.20/985.94 c #Conflicts: 251000 | #Constraints: 43734 983.20/985.94 c #Conflicts: 252000 | #Constraints: 44734 983.20/985.94 c #Conflicts: 253000 | #Constraints: 45734 983.20/985.94 c #Conflicts: 254000 | #Constraints: 46734 983.20/985.94 c #Conflicts: 255000 | #Constraints: 47734 983.20/985.94 c #Conflicts: 256000 | #Constraints: 48734 983.20/985.94 c #Conflicts: 257000 | #Constraints: 49734 983.20/985.94 c INPROCESSING 983.20/985.94 c GARBAGE COLLECT 983.20/985.94 c rational objective 1.33002 1087.70/1090.74 c #Conflicts: 258000 | #Constraints: 25669 1087.70/1090.74 c #Conflicts: 259000 | #Constraints: 26669 1087.70/1090.74 c #Conflicts: 260000 | #Constraints: 27669 1087.70/1090.74 c #Conflicts: 261000 | #Constraints: 28669 1087.70/1090.74 c #Conflicts: 262000 | #Constraints: 29669 1087.70/1090.74 c #Conflicts: 263000 | #Constraints: 30669 1087.70/1090.74 c #Conflicts: 264000 | #Constraints: 31669 1087.70/1090.74 c #Conflicts: 265000 | #Constraints: 32669 1087.70/1090.74 c #Conflicts: 266000 | #Constraints: 33669 1087.70/1090.74 c #Conflicts: 267000 | #Constraints: 34669 1087.70/1090.74 c #Conflicts: 268000 | #Constraints: 35669 1087.70/1090.74 c #Conflicts: 269000 | #Constraints: 36669 1087.70/1090.74 c #Conflicts: 270000 | #Constraints: 37669 1087.70/1090.74 c INPROCESSING 1087.70/1090.74 c GARBAGE COLLECT 1087.70/1090.74 c rational objective 1.33002 1160.19/1163.43 c #Conflicts: 271000 | #Constraints: 19837 1160.19/1163.43 c #Conflicts: 272000 | #Constraints: 20837 1160.19/1163.43 c #Conflicts: 273000 | #Constraints: 21837 1160.19/1163.43 c #Conflicts: 274000 | #Constraints: 22837 1160.19/1163.43 c #Conflicts: 275000 | #Constraints: 23837 1160.19/1163.43 c #Conflicts: 276000 | #Constraints: 24837 1160.19/1163.43 c #Conflicts: 277000 | #Constraints: 25837 1160.19/1163.43 c #Conflicts: 278000 | #Constraints: 26837 1160.19/1163.43 c #Conflicts: 279000 | #Constraints: 27837 1160.19/1163.43 c #Conflicts: 280000 | #Constraints: 28837 1160.19/1163.43 c #Conflicts: 281000 | #Constraints: 29837 1160.19/1163.43 c #Conflicts: 282000 | #Constraints: 30837 1160.19/1163.43 c INPROCESSING 1160.19/1163.43 c GARBAGE COLLECT 1160.19/1163.43 c rational objective 1.33002 1452.37/1456.46 c #Conflicts: 283000 | #Constraints: 16716 1452.37/1456.46 c #Conflicts: 284000 | #Constraints: 17716 1452.37/1456.46 c #Conflicts: 285000 | #Constraints: 18716 1452.37/1456.46 c #Conflicts: 286000 | #Constraints: 19717 1452.37/1456.46 c #Conflicts: 287000 | #Constraints: 20717 1452.37/1456.46 c #Conflicts: 288000 | #Constraints: 21717 1452.37/1456.46 c #Conflicts: 289000 | #Constraints: 22717 1452.37/1456.46 c #Conflicts: 290000 | #Constraints: 23717 1452.37/1456.46 c #Conflicts: 291000 | #Constraints: 24717 1452.37/1456.46 c #Conflicts: 292000 | #Constraints: 25717 1452.37/1456.46 c #Conflicts: 293000 | #Constraints: 26717 1452.37/1456.46 c #Conflicts: 294000 | #Constraints: 27717 1452.37/1456.46 c #Conflicts: 295000 | #Constraints: 28717 1452.37/1456.46 c #Conflicts: 296000 | #Constraints: 29717 1452.37/1456.46 c #Conflicts: 297000 | #Constraints: 30717 1452.37/1456.46 c #Conflicts: 298000 | #Constraints: 31717 1452.37/1456.46 c #Conflicts: 299000 | #Constraints: 32717 1452.37/1456.46 c #Conflicts: 300000 | #Constraints: 33717 1452.37/1456.46 c #Conflicts: 301000 | #Constraints: 34717 1452.37/1456.46 c #Conflicts: 302000 | #Constraints: 35717 1452.37/1456.46 c #Conflicts: 303000 | #Constraints: 36717 1452.37/1456.46 c #Conflicts: 304000 | #Constraints: 37717 1452.37/1456.46 c #Conflicts: 305000 | #Constraints: 38717 1452.37/1456.46 c #Conflicts: 306000 | #Constraints: 39717 1452.37/1456.46 c #Conflicts: 307000 | #Constraints: 40717 1452.37/1456.46 c #Conflicts: 308000 | #Constraints: 41717 1452.37/1456.46 c #Conflicts: 309000 | #Constraints: 42717 1452.37/1456.46 c #Conflicts: 310000 | #Constraints: 43717 1452.37/1456.46 c #Conflicts: 311000 | #Constraints: 44717 1452.37/1456.46 c #Conflicts: 312000 | #Constraints: 45717 1452.37/1456.46 c #Conflicts: 313000 | #Constraints: 46717 1452.37/1456.46 c #Conflicts: 314000 | #Constraints: 47717 1452.37/1456.46 c #Conflicts: 315000 | #Constraints: 48717 1452.37/1456.46 c #Conflicts: 316000 | #Constraints: 49717 1452.37/1456.46 c #Conflicts: 317000 | #Constraints: 50717 1452.37/1456.46 c #Conflicts: 318000 | #Constraints: 51717 1452.37/1456.46 c #Conflicts: 319000 | #Constraints: 52717 1452.37/1456.46 c #Conflicts: 320000 | #Constraints: 53717 1452.37/1456.46 c #Conflicts: 321000 | #Constraints: 54717 1452.37/1456.46 c INPROCESSING 1452.37/1456.46 c GARBAGE COLLECT 1452.37/1456.46 c rational objective 1.33002 1584.31/1588.71 c #Conflicts: 322000 | #Constraints: 27914 1584.31/1588.71 c #Conflicts: 323000 | #Constraints: 28914 1584.31/1588.71 c #Conflicts: 324000 | #Constraints: 29914 1584.31/1588.71 c #Conflicts: 325000 | #Constraints: 30914 1584.31/1588.71 c #Conflicts: 326000 | #Constraints: 31914 1584.31/1588.71 c #Conflicts: 327000 | #Constraints: 32914 1584.31/1588.71 c #Conflicts: 328000 | #Constraints: 33914 1584.31/1588.71 c #Conflicts: 329000 | #Constraints: 34914 1584.31/1588.71 c #Conflicts: 330000 | #Constraints: 35914 1584.31/1588.71 c #Conflicts: 331000 | #Constraints: 36914 1584.31/1588.71 c #Conflicts: 332000 | #Constraints: 37914 1584.31/1588.71 c #Conflicts: 333000 | #Constraints: 38914 1584.31/1588.71 c #Conflicts: 334000 | #Constraints: 39914 1584.31/1588.71 c #Conflicts: 335000 | #Constraints: 40914 1584.31/1588.71 c #Conflicts: 336000 | #Constraints: 41914 1584.31/1588.71 c INPROCESSING 1584.31/1588.71 c GARBAGE COLLECT 1584.31/1588.71 c rational objective 1.33002 1692.36/1697.19 c #Conflicts: 337000 | #Constraints: 21960 1692.36/1697.19 c #Conflicts: 338000 | #Constraints: 22960 1692.36/1697.19 c #Conflicts: 339000 | #Constraints: 23960 1692.36/1697.19 c #Conflicts: 340000 | #Constraints: 24960 1692.36/1697.19 c #Conflicts: 341000 | #Constraints: 25960 1692.36/1697.19 c #Conflicts: 342000 | #Constraints: 26960 1692.36/1697.19 c #Conflicts: 343000 | #Constraints: 27960 1692.36/1697.19 c #Conflicts: 344000 | #Constraints: 28960 1692.36/1697.19 c #Conflicts: 345000 | #Constraints: 29960 1692.36/1697.19 c #Conflicts: 346000 | #Constraints: 30960 1692.36/1697.19 c #Conflicts: 347000 | #Constraints: 31960 1692.36/1697.19 c #Conflicts: 348000 | #Constraints: 32960 1692.36/1697.19 c #Conflicts: 349000 | #Constraints: 33960 1692.36/1697.19 c #Conflicts: 350000 | #Constraints: 34960 1692.36/1697.19 c INPROCESSING 1692.36/1697.19 c GARBAGE COLLECT 1692.36/1697.19 c rational objective 1.33002 2103.61/2109.74 c #Conflicts: 351000 | #Constraints: 18331 2103.61/2109.74 c #Conflicts: 352000 | #Constraints: 19331 2103.61/2109.74 c #Conflicts: 353000 | #Constraints: 20331 2103.61/2109.74 c #Conflicts: 354000 | #Constraints: 21331 2103.61/2109.74 c #Conflicts: 355000 | #Constraints: 22331 2103.61/2109.74 c #Conflicts: 356000 | #Constraints: 23331 2103.61/2109.74 c #Conflicts: 357000 | #Constraints: 24331 2103.61/2109.74 c #Conflicts: 358000 | #Constraints: 25331 2103.61/2109.74 c #Conflicts: 359000 | #Constraints: 26331 2103.61/2109.74 c #Conflicts: 360000 | #Constraints: 27331 2103.61/2109.74 c #Conflicts: 361000 | #Constraints: 28331 2103.61/2109.74 c #Conflicts: 362000 | #Constraints: 29331 2103.61/2109.74 c #Conflicts: 363000 | #Constraints: 30331 2103.61/2109.74 c #Conflicts: 364000 | #Constraints: 31331 2103.61/2109.74 c #Conflicts: 365000 | #Constraints: 32331 2103.61/2109.74 c #Conflicts: 366000 | #Constraints: 33331 2103.61/2109.74 c #Conflicts: 367000 | #Constraints: 34331 2103.61/2109.74 c #Conflicts: 368000 | #Constraints: 35331 2103.61/2109.74 c #Conflicts: 369000 | #Constraints: 36331 2103.61/2109.74 c #Conflicts: 370000 | #Constraints: 37331 2103.61/2109.74 c #Conflicts: 371000 | #Constraints: 38331 2103.61/2109.74 c #Conflicts: 372000 | #Constraints: 39331 2103.61/2109.74 c #Conflicts: 373000 | #Constraints: 40331 2103.61/2109.74 c #Conflicts: 374000 | #Constraints: 41331 2103.61/2109.74 c #Conflicts: 375000 | #Constraints: 42331 2103.61/2109.74 c #Conflicts: 376000 | #Constraints: 43331 2103.61/2109.74 c #Conflicts: 377000 | #Constraints: 44331 2103.61/2109.74 c #Conflicts: 378000 | #Constraints: 45331 2103.61/2109.74 c #Conflicts: 379000 | #Constraints: 46331 2103.61/2109.74 c #Conflicts: 380000 | #Constraints: 47331 2103.61/2109.74 c #Conflicts: 381000 | #Constraints: 48331 2103.61/2109.74 c #Conflicts: 382000 | #Constraints: 49331 2103.61/2109.74 c #Conflicts: 383000 | #Constraints: 50331 2103.61/2109.74 c #Conflicts: 384000 | #Constraints: 51331 2103.61/2109.74 c #Conflicts: 385000 | #Constraints: 52331 2103.61/2109.74 c #Conflicts: 386000 | #Constraints: 53331 2103.61/2109.74 c #Conflicts: 387000 | #Constraints: 54331 2103.61/2109.74 c #Conflicts: 388000 | #Constraints: 55331 2103.61/2109.74 c #Conflicts: 389000 | #Constraints: 56331 2103.61/2109.74 c #Conflicts: 390000 | #Constraints: 57331 2103.61/2109.74 c #Conflicts: 391000 | #Constraints: 58331 2103.61/2109.74 c #Conflicts: 392000 | #Constraints: 59331 2103.61/2109.74 c #Conflicts: 393000 | #Constraints: 60331 2103.61/2109.74 c INPROCESSING 2103.61/2109.74 c GARBAGE COLLECT 2103.61/2109.74 c rational objective 1.33002 2339.99/2346.80 c #Conflicts: 394000 | #Constraints: 30868 2339.99/2346.80 c #Conflicts: 395000 | #Constraints: 31869 2339.99/2346.80 c #Conflicts: 396000 | #Constraints: 32869 2339.99/2346.80 c #Conflicts: 397000 | #Constraints: 33869 2339.99/2346.80 c #Conflicts: 398000 | #Constraints: 34869 2339.99/2346.80 c #Conflicts: 399000 | #Constraints: 35869 2339.99/2346.80 c #Conflicts: 400000 | #Constraints: 36869 2339.99/2346.80 c #Conflicts: 401000 | #Constraints: 37869 2339.99/2346.80 c #Conflicts: 402000 | #Constraints: 38869 2339.99/2346.80 c #Conflicts: 403000 | #Constraints: 39869 2339.99/2346.80 c #Conflicts: 404000 | #Constraints: 40869 2339.99/2346.80 c #Conflicts: 405000 | #Constraints: 41869 2339.99/2346.80 c #Conflicts: 406000 | #Constraints: 42869 2339.99/2346.80 c #Conflicts: 407000 | #Constraints: 43869 2339.99/2346.80 c #Conflicts: 408000 | #Constraints: 44869 2339.99/2346.80 c #Conflicts: 409000 | #Constraints: 45869 2339.99/2346.80 c INPROCESSING 2339.99/2346.80 c GARBAGE COLLECT 2339.99/2346.80 c rational objective 1.33002 2472.16/2479.42 c #Conflicts: 410000 | #Constraints: 23836 2472.16/2479.42 c #Conflicts: 411000 | #Constraints: 24836 2472.16/2479.42 c #Conflicts: 412000 | #Constraints: 25836 2472.16/2479.42 c #Conflicts: 413000 | #Constraints: 26836 2472.16/2479.42 c #Conflicts: 414000 | #Constraints: 27836 2472.16/2479.42 c #Conflicts: 415000 | #Constraints: 28836 2472.16/2479.42 c #Conflicts: 416000 | #Constraints: 29836 2472.16/2479.42 c #Conflicts: 417000 | #Constraints: 30836 2472.16/2479.42 c #Conflicts: 418000 | #Constraints: 31836 2472.16/2479.42 c #Conflicts: 419000 | #Constraints: 32836 2472.16/2479.42 c #Conflicts: 420000 | #Constraints: 33836 2472.16/2479.42 c #Conflicts: 421000 | #Constraints: 34836 2472.16/2479.42 c #Conflicts: 422000 | #Constraints: 35836 2472.16/2479.42 c #Conflicts: 423000 | #Constraints: 36836 2472.16/2479.42 c #Conflicts: 424000 | #Constraints: 37836 2472.16/2479.42 c #Conflicts: 425000 | #Constraints: 38836 2472.16/2479.42 c INPROCESSING 2472.16/2479.42 c GARBAGE COLLECT 2472.16/2479.42 c rational objective 1.33002 2597.80/2605.57 c #Conflicts: 426000 | #Constraints: 20419 2597.80/2605.57 c #Conflicts: 427000 | #Constraints: 21419 2597.80/2605.57 c #Conflicts: 428000 | #Constraints: 22419 2597.80/2605.57 c #Conflicts: 429000 | #Constraints: 23419 2597.80/2605.57 c #Conflicts: 430000 | #Constraints: 24419 2597.80/2605.57 c #Conflicts: 431000 | #Constraints: 25419 2597.80/2605.57 c #Conflicts: 432000 | #Constraints: 26419 2597.80/2605.57 c #Conflicts: 433000 | #Constraints: 27419 2597.80/2605.57 c #Conflicts: 434000 | #Constraints: 28419 2597.80/2605.57 c #Conflicts: 435000 | #Constraints: 29419 2597.80/2605.57 c #Conflicts: 436000 | #Constraints: 30419 2597.80/2605.57 c #Conflicts: 437000 | #Constraints: 31419 2597.80/2605.57 c #Conflicts: 438000 | #Constraints: 32419 2597.80/2605.57 c #Conflicts: 439000 | #Constraints: 33419 2597.80/2605.57 c #Conflicts: 440000 | #Constraints: 34419 2597.80/2605.57 c #Conflicts: 441000 | #Constraints: 35419 2597.80/2605.57 c INPROCESSING 2597.80/2605.57 c GARBAGE COLLECT 2597.80/2605.57 c rational objective 1.33002 2945.23/2954.16 c #Conflicts: 442000 | #Constraints: 20143 2945.23/2954.16 c #Conflicts: 443000 | #Constraints: 21143 2945.23/2954.16 c #Conflicts: 444000 | #Constraints: 22143 2945.23/2954.16 c #Conflicts: 445000 | #Constraints: 23143 2945.23/2954.16 c #Conflicts: 446000 | #Constraints: 24143 2945.23/2954.16 c #Conflicts: 447000 | #Constraints: 25143 2945.23/2954.16 c #Conflicts: 448000 | #Constraints: 26143 2945.23/2954.16 c #Conflicts: 449000 | #Constraints: 27143 2945.23/2954.16 c #Conflicts: 450000 | #Constraints: 28143 2945.23/2954.16 c #Conflicts: 451000 | #Constraints: 29143 2945.23/2954.16 c #Conflicts: 452000 | #Constraints: 30143 2945.23/2954.16 c #Conflicts: 453000 | #Constraints: 31143 2945.23/2954.16 c #Conflicts: 454000 | #Constraints: 32143 2945.23/2954.16 c #Conflicts: 455000 | #Constraints: 33143 2945.23/2954.16 c #Conflicts: 456000 | #Constraints: 34143 2945.23/2954.16 c #Conflicts: 457000 | #Constraints: 35143 2945.23/2954.16 c #Conflicts: 458000 | #Constraints: 36143 2945.23/2954.16 c #Conflicts: 459000 | #Constraints: 37143 2945.23/2954.16 c #Conflicts: 460000 | #Constraints: 38143 2945.23/2954.16 c #Conflicts: 461000 | #Constraints: 39143 2945.23/2954.16 c #Conflicts: 462000 | #Constraints: 40143 2945.23/2954.16 c #Conflicts: 463000 | #Constraints: 41143 2945.23/2954.16 c #Conflicts: 464000 | #Constraints: 42143 2945.23/2954.16 c #Conflicts: 465000 | #Constraints: 43143 2945.23/2954.16 c #Conflicts: 466000 | #Constraints: 44143 2945.23/2954.16 c #Conflicts: 467000 | #Constraints: 45143 2945.23/2954.16 c #Conflicts: 468000 | #Constraints: 46143 2945.23/2954.16 c #Conflicts: 469000 | #Constraints: 47143 2945.23/2954.16 c #Conflicts: 470000 | #Constraints: 48143 2945.23/2954.16 c #Conflicts: 471000 | #Constraints: 49143 2945.23/2954.16 c #Conflicts: 472000 | #Constraints: 50143 2945.23/2954.16 c #Conflicts: 473000 | #Constraints: 51143 2945.23/2954.16 c #Conflicts: 474000 | #Constraints: 52143 2945.23/2954.16 c #Conflicts: 475000 | #Constraints: 53143 2945.23/2954.16 c #Conflicts: 476000 | #Constraints: 54143 2945.23/2954.16 c #Conflicts: 477000 | #Constraints: 55143 2945.23/2954.16 c #Conflicts: 478000 | #Constraints: 56143 2945.23/2954.16 c #Conflicts: 479000 | #Constraints: 57143 2945.23/2954.16 c #Conflicts: 480000 | #Constraints: 58143 2945.23/2954.16 c #Conflicts: 481000 | #Constraints: 59143 2945.23/2954.16 c #Conflicts: 482000 | #Constraints: 60143 2945.23/2954.16 c #Conflicts: 483000 | #Constraints: 61143 2945.23/2954.16 c #Conflicts: 484000 | #Constraints: 62143 2945.23/2954.16 c #Conflicts: 485000 | #Constraints: 63143 2945.23/2954.16 c #Conflicts: 486000 | #Constraints: 64143 2945.23/2954.16 c #Conflicts: 487000 | #Constraints: 65143 2945.23/2954.16 c #Conflicts: 488000 | #Constraints: 66143 2945.23/2954.16 c #Conflicts: 489000 | #Constraints: 67143 2945.23/2954.16 c INPROCESSING 2945.23/2954.16 c GARBAGE COLLECT 2945.23/2954.16 c rational objective 1.33002 3219.37/3229.25 c #Conflicts: 490000 | #Constraints: 34279 3219.37/3229.25 c #Conflicts: 491000 | #Constraints: 35279 3219.37/3229.25 c #Conflicts: 492000 | #Constraints: 36279 3219.37/3229.25 c #Conflicts: 493000 | #Constraints: 37280 3219.37/3229.25 c #Conflicts: 494000 | #Constraints: 38280 3219.37/3229.25 c #Conflicts: 495000 | #Constraints: 39280 3219.37/3229.25 c #Conflicts: 496000 | #Constraints: 40280 3219.37/3229.25 c #Conflicts: 497000 | #Constraints: 41280 3219.37/3229.25 c #Conflicts: 498000 | #Constraints: 42280 3219.37/3229.25 c #Conflicts: 499000 | #Constraints: 43280 3219.37/3229.25 c #Conflicts: 500000 | #Constraints: 44280 3219.37/3229.25 c #Conflicts: 501000 | #Constraints: 45280 3219.37/3229.25 c #Conflicts: 502000 | #Constraints: 46280 3219.37/3229.25 c #Conflicts: 503000 | #Constraints: 47280 3219.37/3229.25 c #Conflicts: 504000 | #Constraints: 48280 3219.37/3229.25 c #Conflicts: 505000 | #Constraints: 49280 3219.37/3229.25 c #Conflicts: 506000 | #Constraints: 50280 3219.37/3229.25 c INPROCESSING 3219.37/3229.25 c GARBAGE COLLECT 3219.37/3229.25 c rational objective 1.3452 3429.15/3439.66 c #Conflicts: 507000 | #Constraints: 25692 3429.15/3439.66 c #Conflicts: 508000 | #Constraints: 26692 3429.15/3439.66 c #Conflicts: 509000 | #Constraints: 27692 3429.15/3439.66 c #Conflicts: 510000 | #Constraints: 28692 3429.15/3439.66 c #Conflicts: 511000 | #Constraints: 29692 3429.15/3439.66 c #Conflicts: 512000 | #Constraints: 30692 3429.15/3439.66 c #Conflicts: 513000 | #Constraints: 31692 3429.15/3439.66 c #Conflicts: 514000 | #Constraints: 32692 3429.15/3439.66 c #Conflicts: 515000 | #Constraints: 33692 3429.15/3439.66 c #Conflicts: 516000 | #Constraints: 34692 3429.15/3439.66 c #Conflicts: 517000 | #Constraints: 35692 3429.15/3439.66 c #Conflicts: 518000 | #Constraints: 36692 3429.15/3439.66 c #Conflicts: 519000 | #Constraints: 37692 3429.15/3439.66 c #Conflicts: 520000 | #Constraints: 38692 3429.15/3439.66 c #Conflicts: 521000 | #Constraints: 39692 3429.15/3439.66 c #Conflicts: 522000 | #Constraints: 40692 3429.15/3439.66 c #Conflicts: 523000 | #Constraints: 41692 3429.15/3439.66 c #Conflicts: 524000 | #Constraints: 42692 3429.15/3439.66 c INPROCESSING 3429.15/3439.66 c GARBAGE COLLECT 3429.15/3439.66 c rational objective 1.3452 3600.02/3611.00 c #Conflicts: 525000 | #Constraints: 24098 3600.02/3611.00 c #Conflicts: 526000 | #Constraints: 25098 3600.02/3611.00 c #Conflicts: 527000 | #Constraints: 26098 3600.02/3611.00 c #Conflicts: 528000 | #Constraints: 27098 3600.02/3611.00 c #Conflicts: 529000 | #Constraints: 28098 3600.02/3611.00 c #Conflicts: 530000 | #Constraints: 29098 3600.02/3611.00 c #Conflicts: 531000 | #Constraints: 30098 3600.02/3611.00 c #Conflicts: 532000 | #Constraints: 31098 3600.02/3611.00 c #Conflicts: 533000 | #Constraints: 32098 3600.02/3611.00 c #Conflicts: 534000 | #Constraints: 33098 3600.02/3611.00 c #Conflicts: 535000 | #Constraints: 34098 3600.02/3611.00 c #Conflicts: 536000 | #Constraints: 35098 3600.02/3611.00 c #Conflicts: 537000 | #Constraints: 36098 3600.02/3611.00 c #Conflicts: 538000 | #Constraints: 37098 3600.02/3611.00 c #Conflicts: 539000 | #Constraints: 38098 3600.02/3611.00 c Program interrupted by user. 3600.02/3611.00 c cpu time 3583.9 s 3600.02/3611.00 c deterministic time 442833597072 4.43e+11 3600.02/3611.00 c optimization time 170.225 s 3600.02/3611.00 c total solve time 3413.67 s 3600.02/3611.00 c core-guided solve time 0 s 3600.02/3611.00 c propagation time 3389.93 s 3600.02/3611.00 c conflict analysis time 176.42 s 3600.02/3611.00 c propagations 4276112 3600.02/3611.00 c resolve steps 1494503 3600.02/3611.00 c decisions 4278517 3600.02/3611.00 c conflicts 539462 3600.02/3611.00 c restarts 1117 3600.02/3611.00 c inprocessing phases 38 3600.02/3611.00 c input clauses 0 3600.02/3611.00 c input cardinalities 0 3600.02/3611.00 c input general constraints 2 3600.02/3611.00 c input average constraint length 86.00 3600.02/3611.00 c input average constraint degree 139154376.00 3600.02/3611.00 c learned clauses 216531 3600.02/3611.00 c learned cardinalities 14 3600.02/3611.00 c learned general constraints 322921 3600.02/3611.00 c learned average constraint length 76.05 3600.02/3611.00 c learned average constraint degree 38149042.09 3600.02/3611.00 c watched constraints 207298 3600.02/3611.00 c counting constraints 115625 3600.02/3611.00 c gcd simplifications 235281 3600.02/3611.00 c detected cardinalities 14 3600.02/3611.00 c weakened non-implied lits 506498 3600.02/3611.00 c weakened non-implying lits 340994 3600.02/3611.00 c original variables 86 3600.02/3611.00 c clausal propagations 82928 3600.02/3611.00 c cardinality propagations 2 3600.02/3611.00 c watched propagations 1864631 3600.02/3611.00 c counting propagations 1980177 3600.02/3611.00 c watch lookups 61147603280 3600.02/3611.01 c watch backjump lookups 60812702524 3600.02/3611.01 c watch checks 18493735880 3600.02/3611.01 c propagation checks 302194443454 3600.02/3611.01 c constraint additions 167011296 3600.02/3611.01 c trail pops 9094025 3600.02/3611.01 c formula constraints 2 3600.02/3611.01 c learned constraints 539458 3600.02/3611.01 c bound constraints 0 3600.02/3611.01 c core-guided constraints 0 3600.02/3611.01 c encountered formula constraints 1260791 3600.02/3611.01 c encountered learned constraints 773117 3600.02/3611.01 c encountered bound constraints 0 3600.02/3611.01 c encountered core-guided constraints 0 3600.02/3611.01 c LP total time 22.1121 s 3600.02/3611.01 c LP solve time 16.72 s 3600.02/3611.01 c LP constraints added 8 3600.02/3611.01 c LP constraints removed 4 3600.02/3611.01 c LP pivots internal 451782 3600.02/3611.01 c LP pivots root 201 3600.02/3611.01 c LP calls 380396 3600.02/3611.01 c LP optimalities 380392 3600.02/3611.01 c LP no pivot count 139269 3600.02/3611.01 c LP infeasibilities 4 3600.02/3611.01 c LP valid Farkas constraints 4 3600.02/3611.01 c LP learned Farkas constraints 4 3600.02/3611.01 c LP basis resets 0 3600.02/3611.01 c LP cycling count 0 3600.02/3611.01 c LP singular count 0 3600.02/3611.01 c LP no primal count 0 3600.02/3611.01 c LP no farkas count 0 3600.02/3611.01 c LP other issue count 0 3600.02/3611.01 c LP Gomory cuts 0 3600.02/3611.01 c LP learned cuts 6 3600.02/3611.01 c LP deleted cuts 4 3600.02/3611.01 c LP encountered Gomory constraints 0 3600.02/3611.01 c LP encountered Farkas constraints 38 3600.02/3611.01 c LP encountered learned Farkas constraints 15 3600.02/3611.01 c CG auxiliary variables introduced 0 3600.02/3611.01 c CG solutions found 0 3600.02/3611.01 c CG cores constructed 0 3600.02/3611.01 c CG core cardinality constraints returned 0 3600.02/3611.01 c CG unit cores 0 3600.02/3611.01 c CG single cores 0 3600.02/3611.01 c CG blocks removed during cardinality reduction 0 3600.02/3611.01 c CG first core best 0 3600.02/3611.01 c CG decision core best 0 3600.02/3611.01 c CG core reduction tie 0 3600.02/3611.01 c CG core degree average 0.00 3600.02/3611.01 c CG core slack average 0.00 3600.02/3611.01 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 (58949 MiB free)
memory of node 1: 64510 MiB (61884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456933-1721817200/watcher-4456933-1721817200 -o /tmp/evaluation-result-4456933-1721817200/solver-4456933-1721817200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721817188-176036 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456933-1721817200 --lp-cut-gomory=0 HOME/instance-4456933-1721817200.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=176791, runsolver pid=176788
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 0.97 0.30 0.28 5/259 176792
/proc/meminfo: memFree=123727524/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=38028 memory=10232 CPUtime=0.09 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 486 0 0 0 8 1 0 0 20 0 1 0 18244202 38940672 2558 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 9507 2558 1758 992 0 1365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 10232 KiB
[startup+0.204797 s]*
/proc/loadavg: 0.97 0.30 0.28 5/259 176792
/proc/meminfo: memFree=123725004/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=38292 memory=10492 CPUtime=0.19 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 553 0 0 0 17 2 0 0 20 0 1 0 18244202 39211008 2623 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 9573 2623 1758 992 0 1431 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 10492 KiB
[startup+0.304337 s]*
/proc/loadavg: 0.97 0.30 0.28 5/259 176792
/proc/meminfo: memFree=123723184/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=38420 memory=10492 CPUtime=0.3 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 583 0 0 0 27 3 0 0 20 0 1 0 18244202 39342080 2623 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 9605 2623 1758 992 0 1463 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 10492 KiB
[startup+0.700144 s]
/proc/loadavg: 0.97 0.30 0.28 5/259 176793
/proc/meminfo: memFree=123717036/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=39096 memory=11516 CPUtime=0.69 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 741 0 0 0 64 5 0 0 20 0 1 0 18244202 40034304 2879 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 9774 2879 1820 992 0 1632 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39096 KiB
Current children cumulated memory: 11516 KiB
[startup+1.50016 s]
/proc/loadavg: 0.97 0.30 0.28 5/259 176793
/proc/meminfo: memFree=123709192/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=39800 memory=12012 CPUtime=1.48 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 896 0 0 0 139 9 0 0 20 0 1 0 18244202 40755200 3003 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 9950 3003 1820 992 0 1808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39800 KiB
Current children cumulated memory: 12012 KiB
[startup+3.10507 s]
/proc/loadavg: 0.97 0.30 0.28 5/259 176839
/proc/meminfo: memFree=123736932/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=40376 memory=12532 CPUtime=3.09 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 1049 0 0 0 294 15 0 0 20 0 1 0 18244202 41345024 3133 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 10094 3133 1820 992 0 1952 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40376 KiB
Current children cumulated memory: 12532 KiB
[startup+6.30015 s]
/proc/loadavg: 1.21 0.36 0.30 5/259 176839
/proc/meminfo: memFree=123709016/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=41816 memory=14376 CPUtime=6.28 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 1479 0 0 0 602 26 0 0 20 0 1 0 18244202 42819584 3594 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 10454 3594 1820 992 0 2312 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 14376 KiB
[startup+12.7002 s]
/proc/loadavg: 1.43 0.42 0.32 5/259 176981
/proc/meminfo: memFree=123607948/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=41976 memory=15688 CPUtime=12.66 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 1792 0 0 0 1217 49 0 0 20 0 1 0 18244202 42983424 3922 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 10494 3922 1820 992 0 2352 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41976 KiB
Current children cumulated memory: 15688 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 0.63 0.39 5/259 177029
/proc/meminfo: memFree=123325496/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=47384 memory=18984 CPUtime=25.43 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 2662 0 0 0 2464 79 0 0 20 0 1 0 18244202 48521216 4746 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 11846 4746 1820 992 0 3704 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47384 KiB
Current children cumulated memory: 18984 KiB
[startup+51.1056 s]
/proc/loadavg: 2.78 0.90 0.49 5/261 177082
/proc/meminfo: memFree=122468196/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=53212 memory=26552 CPUtime=50.97 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 4940 0 0 0 4981 116 0 0 20 0 1 0 18244202 54489088 6638 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 13303 6638 1820 992 0 5161 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 53212 KiB
Current children cumulated memory: 26552 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 1.40 0.68 5/262 177091
/proc/meminfo: memFree=121197128/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=66716 memory=34596 CPUtime=101.99 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 6489 0 0 0 10019 180 0 0 20 0 1 0 18244202 68317184 8649 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 16679 8649 1820 992 0 8537 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 66716 KiB
Current children cumulated memory: 34596 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.89 0.90 5/262 177196
/proc/meminfo: memFree=119131272/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=67556 memory=35624 CPUtime=161.79 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 6829 0 0 0 15940 239 0 0 20 0 1 0 18244202 69177344 8906 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 16889 8906 1820 992 0 8747 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 67556 KiB
Current children cumulated memory: 35624 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.32 1.11 5/257 177233
/proc/meminfo: memFree=116966636/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=68572 memory=39740 CPUtime=221.65 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 7160 0 0 0 21874 291 0 0 20 0 1 0 18244202 70217728 9935 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 17143 9935 1820 992 0 9001 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 68572 KiB
Current children cumulated memory: 39740 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 2.68 1.31 5/263 177311
/proc/meminfo: memFree=114994680/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=68580 memory=40020 CPUtime=281.5 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 7285 0 0 0 27803 347 0 0 20 0 1 0 18244202 70225920 10005 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 17145 10005 1820 992 0 9003 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 68580 KiB
Current children cumulated memory: 40020 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 2.92 1.48 5/263 177322
/proc/meminfo: memFree=109145480/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=81472 memory=44308 CPUtime=341.33 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 8453 0 0 0 33753 380 0 0 20 0 1 0 18244202 83427328 11077 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 20368 11077 1820 992 0 12226 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 81472 KiB
Current children cumulated memory: 44308 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.15 1.65 5/266 177337
/proc/meminfo: memFree=99237552/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=88532 memory=49308 CPUtime=401.18 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 10230 0 0 0 39699 419 0 0 20 0 1 0 18244202 90656768 12327 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 22133 12327 1820 992 0 13991 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 88532 KiB
Current children cumulated memory: 49308 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.35 1.82 5/270 177355
/proc/meminfo: memFree=88250308/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=89072 memory=49720 CPUtime=461.03 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 10377 0 0 0 45631 472 0 0 20 0 1 0 18244202 91209728 12430 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 22268 12430 1820 992 0 14126 0
################
# More data... #
################
Current children cumulated memory: 77816 KiB
[startup+2862.3 s]
/proc/loadavg: 4.23 4.23 4.05 5/260 178577
/proc/meminfo: memFree=89094008/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=115660 memory=77820 CPUtime=2853.72 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15108 0 0 0 283951 1421 0 0 20 0 1 0 18244202 118435840 19455 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 28915 19455 1852 992 0 20773 0
Current children cumulated CPU time: 2853.72 s
Current children cumulated vsize: 115660 KiB
Current children cumulated memory: 77820 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.22 4.06 5/262 178590
/proc/meminfo: memFree=87217180/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=116012 memory=78008 CPUtime=2913.53 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15189 0 0 0 289919 1434 0 0 20 0 1 0 18244202 118796288 19502 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29003 19502 1852 992 0 20861 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 116012 KiB
Current children cumulated memory: 78008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.25 4.22 4.07 5/262 178601
/proc/meminfo: memFree=85369756/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117156 memory=79428 CPUtime=2973.32 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15561 0 0 0 295885 1447 0 0 20 0 1 0 18244202 119967744 19857 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29289 19857 1852 992 0 21147 0
Current children cumulated CPU time: 2973.32 s
Current children cumulated vsize: 117156 KiB
Current children cumulated memory: 79428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.20 4.07 5/261 178613
/proc/meminfo: memFree=83625876/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117156 memory=79428 CPUtime=3033.11 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15591 0 0 0 301846 1465 0 0 20 0 1 0 18244202 119967744 19857 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29289 19857 1852 992 0 21147 0
Current children cumulated CPU time: 3033.11 s
Current children cumulated vsize: 117156 KiB
Current children cumulated memory: 79428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.20 4.08 5/261 178623
/proc/meminfo: memFree=81710380/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117156 memory=79432 CPUtime=3092.9 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15623 0 0 0 307809 1481 0 0 20 0 1 0 18244202 119967744 19858 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29289 19858 1852 992 0 21147 0
Current children cumulated CPU time: 3092.9 s
Current children cumulated vsize: 117156 KiB
Current children cumulated memory: 79432 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.22 4.10 6/257 179018
/proc/meminfo: memFree=79747120/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117156 memory=79432 CPUtime=3152.68 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15654 0 0 0 313775 1493 0 0 20 0 1 0 18244202 119967744 19858 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29289 19858 1852 992 0 21147 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 117156 KiB
Current children cumulated memory: 79432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.21 4.10 5/259 179031
/proc/meminfo: memFree=77578356/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117156 memory=79448 CPUtime=3212.49 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15692 0 0 0 319743 1506 0 0 20 0 1 0 18244202 119967744 19862 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29289 19862 1852 992 0 21147 0
Current children cumulated CPU time: 3212.49 s
Current children cumulated vsize: 117156 KiB
Current children cumulated memory: 79448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.09 5/259 179044
/proc/meminfo: memFree=75710704/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=116780 memory=79128 CPUtime=3272.3 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15815 0 0 0 325706 1524 0 0 20 0 1 0 18244202 119582720 19782 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29195 19782 1852 992 0 21053 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 116780 KiB
Current children cumulated memory: 79128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/261 179224
/proc/meminfo: memFree=73764284/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=116780 memory=79128 CPUtime=3332.12 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15841 0 0 0 331672 1540 0 0 20 0 1 0 18244202 119582720 19782 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29195 19782 1852 992 0 21053 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 116780 KiB
Current children cumulated memory: 79128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.24 4.12 5/261 179236
/proc/meminfo: memFree=71668240/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=116780 memory=79128 CPUtime=3391.96 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 15869 0 0 0 337640 1556 0 0 20 0 1 0 18244202 119582720 19782 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29195 19782 1852 992 0 21053 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 116780 KiB
Current children cumulated memory: 79128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.22 4.12 5/261 179304
/proc/meminfo: memFree=69965184/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117528 memory=79584 CPUtime=3451.78 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 16028 0 0 0 343607 1571 0 0 20 0 1 0 18244202 120348672 19896 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29382 19896 1852 992 0 21240 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 79584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.11 5/262 179318
/proc/meminfo: memFree=68038416/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117528 memory=79584 CPUtime=3511.61 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 16054 0 0 0 349571 1590 0 0 20 0 1 0 18244202 120348672 19896 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29382 19896 1852 992 0 21240 0
Current children cumulated CPU time: 3511.61 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 79584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.22 4.12 5/261 179329
/proc/meminfo: memFree=66246316/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117528 memory=79648 CPUtime=3571.41 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 16081 0 0 0 355534 1607 0 0 20 0 1 0 18244202 120348672 19912 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29382 19912 1852 992 0 21240 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 79648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.16 4.20 4.12 5/264 179353
/proc/meminfo: memFree=104372312/131524600 swapFree=131054736/131071996
[pid=176791] ppid=176788 vsize=117528 memory=79648 CPUtime=3600.02 cores=5,7
/proc/176791/stat : 176791 (roundingsat) R 176788 176791 176023 0 -1 4194304 16108 0 0 0 358389 1613 0 0 20 0 1 0 18244202 120348672 19912 134679101440 4194304 8254037 140729274148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38731776 140729274151772 140729274152034 140729274152034 140729274159049 0
/proc/176791/statm: 29382 19912 1852 992 0 21240 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 79648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 176791 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.9 s, system=16.1322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.01
CPU time (s): 3600.03
CPU user time (s): 3583.9
CPU system time (s): 16.1322
CPU usage (%): 99.696
Max. virtual memory (cumulated for all children) (KiB): 117672
Max. memory (cumulated for all children) (KiB): 79648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.9
system time used= 16.1322
maximum resident set size= 79864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1184008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 5159
# summary of solver processes directly reported to runsolver:
# pid: 176791
# total CPU time (s): 3600.03
# total CPU user time (s): 3583.9
# total CPU system time (s): 16.1322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0144 second user time and 17.4103 second system time
The end
Begin job on nodeC034 at 2024-07-24 12:33:20 IDJOB=4456933 IDBENCH=148105 IDSOLVER=3085 FILE ID=nodeC034/4456933-1721817200 RUNJOBID= nodeC034-1721817188-176036 SLURM_JOB_ID= 7816899 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456933-1721817200/watcher-4456933-1721817200 -o /tmp/evaluation-result-4456933-1721817200/solver-4456933-1721817200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721817188-176036 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456933-1721817200 --lp-cut-gomory=0 HOME/instance-4456933-1721817200.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810 RANDOM SEED=987738985 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.456 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.030 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.157 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.387 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.418 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.573 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.278 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.521 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123734440 kB MemAvailable: 129728108 kB Buffers: 237728 kB Cached: 6570044 kB SwapCached: 96 kB Active: 1613568 kB Inactive: 5572428 kB Active(anon): 1936 kB Inactive(anon): 418632 kB Active(file): 1611632 kB Inactive(file): 5153796 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 65280 kB Writeback: 0 kB AnonPages: 377204 kB Mapped: 102020 kB Shmem: 42580 kB KReclaimable: 135776 kB Slab: 251984 kB SReclaimable: 135776 kB SUnreclaim: 116208 kB KernelStack: 4208 kB PageTables: 9812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 857884 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14048 kB HardwareCorrupted: 0 kB AnonHugePages: 239616 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: 355028 kB DirectMap2M: 47652864 kB DirectMap1G: 88080384 kB Free space on /tmp at the end= 890052 MiB End job on nodeC034 at 2024-07-24 13:33:31