| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.13 | 3628.31 |
| 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.09/0.15 c #variables 14400 #constraints 1088 22.04/22.11 c #Conflicts: 1000 | #Constraints: 2087 22.04/22.11 c #Conflicts: 2000 | #Constraints: 3087 22.04/22.11 c INPROCESSING 22.04/22.11 c GARBAGE COLLECT 22.04/22.11 c #Conflicts: 3000 | #Constraints: 3117 22.04/22.11 c #Conflicts: 4000 | #Constraints: 4117 22.04/22.11 c INPROCESSING 22.04/22.11 c GARBAGE COLLECT 22.04/22.11 c #Conflicts: 5000 | #Constraints: 3544 22.04/22.11 c #Conflicts: 6000 | #Constraints: 4544 22.04/22.11 c INPROCESSING 22.04/22.11 c GARBAGE COLLECT 22.04/22.11 c #Conflicts: 7000 | #Constraints: 3579 22.04/22.11 c #Conflicts: 8000 | #Constraints: 4579 22.04/22.11 c #Conflicts: 9000 | #Constraints: 5579 22.04/22.11 c INPROCESSING 22.04/22.11 c GARBAGE COLLECT 22.04/22.11 c rational objective 120 54.84/55.01 c #Conflicts: 10000 | #Constraints: 4295 54.84/55.01 c #Conflicts: 11000 | #Constraints: 5295 54.84/55.01 c #Conflicts: 12000 | #Constraints: 6295 54.84/55.01 c INPROCESSING 54.84/55.01 c GARBAGE COLLECT 54.84/55.01 c #Conflicts: 13000 | #Constraints: 4743 54.84/55.01 c #Conflicts: 14000 | #Constraints: 5743 54.84/55.01 c #Conflicts: 15000 | #Constraints: 6743 54.84/55.01 c INPROCESSING 54.84/55.01 c GARBAGE COLLECT 54.84/55.01 c #Conflicts: 16000 | #Constraints: 4990 54.84/55.01 c #Conflicts: 17000 | #Constraints: 5990 54.84/55.01 c #Conflicts: 18000 | #Constraints: 6990 54.84/55.01 c INPROCESSING 54.84/55.01 c GARBAGE COLLECT 54.84/55.01 c #Conflicts: 19000 | #Constraints: 5014 54.84/55.01 c #Conflicts: 20000 | #Constraints: 6014 54.84/55.01 c #Conflicts: 21000 | #Constraints: 7014 54.84/55.01 c INPROCESSING 54.84/55.01 c GARBAGE COLLECT 54.84/55.01 c #Conflicts: 22000 | #Constraints: 4823 54.84/55.01 c #Conflicts: 23000 | #Constraints: 5823 54.84/55.01 c #Conflicts: 24000 | #Constraints: 6823 54.84/55.01 c #Conflicts: 25000 | #Constraints: 7823 54.84/55.01 c INPROCESSING 54.84/55.01 c GARBAGE COLLECT 54.84/55.01 c rational objective 120 88.33/88.67 c #Conflicts: 26000 | #Constraints: 5430 88.33/88.67 c #Conflicts: 27000 | #Constraints: 6430 88.33/88.67 c #Conflicts: 28000 | #Constraints: 7430 88.33/88.67 c #Conflicts: 29000 | #Constraints: 8430 88.33/88.67 c INPROCESSING 88.33/88.67 c GARBAGE COLLECT 88.33/88.67 c #Conflicts: 30000 | #Constraints: 5809 88.33/88.67 c #Conflicts: 31000 | #Constraints: 6809 88.33/88.67 c #Conflicts: 32000 | #Constraints: 7809 88.33/88.67 c #Conflicts: 33000 | #Constraints: 8809 88.33/88.67 c INPROCESSING 88.33/88.67 c GARBAGE COLLECT 88.33/88.67 c #Conflicts: 34000 | #Constraints: 6029 88.33/88.67 c #Conflicts: 35000 | #Constraints: 7029 88.33/88.67 c #Conflicts: 36000 | #Constraints: 8029 88.33/88.67 c #Conflicts: 37000 | #Constraints: 9029 88.33/88.67 c INPROCESSING 88.33/88.67 c GARBAGE COLLECT 88.33/88.67 c #Conflicts: 38000 | #Constraints: 6057 88.33/88.67 c #Conflicts: 39000 | #Constraints: 7057 88.33/88.67 c #Conflicts: 40000 | #Constraints: 8057 88.33/88.67 c #Conflicts: 41000 | #Constraints: 9057 88.33/88.67 c INPROCESSING 88.33/88.67 c GARBAGE COLLECT 88.33/88.67 c rational objective 120 109.48/109.81 c #Conflicts: 42000 | #Constraints: 5865 109.48/109.81 c #Conflicts: 43000 | #Constraints: 6866 109.48/109.81 c #Conflicts: 44000 | #Constraints: 7866 109.48/109.81 c #Conflicts: 45000 | #Constraints: 8866 109.48/109.81 c #Conflicts: 46000 | #Constraints: 9866 109.48/109.81 c INPROCESSING 109.48/109.81 c GARBAGE COLLECT 109.48/109.81 c rational objective 120 128.42/128.84 c #Conflicts: 47000 | #Constraints: 6432 128.42/128.84 c #Conflicts: 48000 | #Constraints: 7432 128.42/128.84 c #Conflicts: 49000 | #Constraints: 8432 128.42/128.84 c #Conflicts: 50000 | #Constraints: 9432 128.42/128.84 c #Conflicts: 51000 | #Constraints: 10432 128.42/128.84 c INPROCESSING 128.42/128.84 c GARBAGE COLLECT 128.42/128.84 c #Conflicts: 52000 | #Constraints: 6864 128.42/128.84 c #Conflicts: 53000 | #Constraints: 7864 128.42/128.84 c #Conflicts: 54000 | #Constraints: 8864 128.42/128.84 c #Conflicts: 55000 | #Constraints: 9864 128.42/128.84 c #Conflicts: 56000 | #Constraints: 10864 128.42/128.84 c INPROCESSING 128.42/128.84 c GARBAGE COLLECT 128.42/128.84 c rational objective 120 144.28/144.71 c #Conflicts: 57000 | #Constraints: 7070 144.28/144.71 c #Conflicts: 58000 | #Constraints: 8070 144.28/144.71 c #Conflicts: 59000 | #Constraints: 9070 144.28/144.71 c #Conflicts: 60000 | #Constraints: 10070 144.28/144.71 c #Conflicts: 61000 | #Constraints: 11071 144.28/144.71 c INPROCESSING 144.28/144.71 c GARBAGE COLLECT 144.28/144.71 c rational objective 120 213.09/213.74 c #Conflicts: 62000 | #Constraints: 7055 213.09/213.74 c #Conflicts: 63000 | #Constraints: 8055 213.09/213.74 c #Conflicts: 64000 | #Constraints: 9055 213.09/213.74 c #Conflicts: 65000 | #Constraints: 10055 213.09/213.74 c #Conflicts: 66000 | #Constraints: 11055 213.09/213.74 c INPROCESSING 213.09/213.74 c GARBAGE COLLECT 213.09/213.74 c #Conflicts: 67000 | #Constraints: 6853 213.09/213.74 c #Conflicts: 68000 | #Constraints: 7854 213.09/213.74 c #Conflicts: 69000 | #Constraints: 8854 213.09/213.74 c #Conflicts: 70000 | #Constraints: 9854 213.09/213.74 c #Conflicts: 71000 | #Constraints: 10854 213.09/213.74 c #Conflicts: 72000 | #Constraints: 11854 213.09/213.74 c INPROCESSING 213.09/213.74 c GARBAGE COLLECT 213.09/213.74 c #Conflicts: 73000 | #Constraints: 7444 213.09/213.74 c #Conflicts: 74000 | #Constraints: 8444 213.09/213.74 c #Conflicts: 75000 | #Constraints: 9444 213.09/213.74 c #Conflicts: 76000 | #Constraints: 10444 213.09/213.74 c #Conflicts: 77000 | #Constraints: 11445 213.09/213.74 c #Conflicts: 78000 | #Constraints: 12445 213.09/213.74 c INPROCESSING 213.09/213.74 c GARBAGE COLLECT 213.09/213.74 c #Conflicts: 79000 | #Constraints: 7856 213.09/213.74 c #Conflicts: 80000 | #Constraints: 8856 213.09/213.74 c #Conflicts: 81000 | #Constraints: 9856 213.09/213.74 c #Conflicts: 82000 | #Constraints: 10856 213.09/213.74 c #Conflicts: 83000 | #Constraints: 11856 213.09/213.74 c #Conflicts: 84000 | #Constraints: 12856 213.09/213.74 c INPROCESSING 213.09/213.74 c GARBAGE COLLECT 213.09/213.74 c rational objective 120 297.17/298.05 c #Conflicts: 85000 | #Constraints: 8074 297.17/298.05 c #Conflicts: 86000 | #Constraints: 9074 297.17/298.05 c #Conflicts: 87000 | #Constraints: 10074 297.17/298.05 c #Conflicts: 88000 | #Constraints: 11075 297.17/298.05 c #Conflicts: 89000 | #Constraints: 12075 297.17/298.05 c #Conflicts: 90000 | #Constraints: 13075 297.17/298.05 c INPROCESSING 297.17/298.05 c GARBAGE COLLECT 297.17/298.05 c #Conflicts: 91000 | #Constraints: 8088 297.17/298.05 c #Conflicts: 92000 | #Constraints: 9088 297.17/298.05 c #Conflicts: 93000 | #Constraints: 10088 297.17/298.05 c #Conflicts: 94000 | #Constraints: 11088 297.17/298.05 c #Conflicts: 95000 | #Constraints: 12088 297.17/298.05 c #Conflicts: 96000 | #Constraints: 13088 297.17/298.05 c INPROCESSING 297.17/298.05 c GARBAGE COLLECT 297.17/298.05 c #Conflicts: 97000 | #Constraints: 7907 297.17/298.05 c #Conflicts: 98000 | #Constraints: 8907 297.17/298.05 c #Conflicts: 99000 | #Constraints: 9908 297.17/298.05 c #Conflicts: 100000 | #Constraints: 10908 297.17/298.05 c #Conflicts: 101000 | #Constraints: 11908 297.17/298.05 c #Conflicts: 102000 | #Constraints: 12908 297.17/298.05 c #Conflicts: 103000 | #Constraints: 13908 297.17/298.05 c INPROCESSING 297.17/298.05 c GARBAGE COLLECT 297.17/298.05 c rational objective 120 336.93/337.99 c #Conflicts: 104000 | #Constraints: 8487 336.93/337.99 c #Conflicts: 105000 | #Constraints: 9488 336.93/337.99 c #Conflicts: 106000 | #Constraints: 10488 336.93/337.99 c #Conflicts: 107000 | #Constraints: 11488 336.93/337.99 c #Conflicts: 108000 | #Constraints: 12488 336.93/337.99 c #Conflicts: 109000 | #Constraints: 13488 336.93/337.99 c #Conflicts: 110000 | #Constraints: 14488 336.93/337.99 c INPROCESSING 336.93/337.99 c GARBAGE COLLECT 336.93/337.99 c #Conflicts: 111000 | #Constraints: 8877 336.93/337.99 c #Conflicts: 112000 | #Constraints: 9877 336.93/337.99 c #Conflicts: 113000 | #Constraints: 10877 336.93/337.99 c #Conflicts: 114000 | #Constraints: 11877 336.93/337.99 c #Conflicts: 115000 | #Constraints: 12877 336.93/337.99 c #Conflicts: 116000 | #Constraints: 13877 336.93/337.99 c #Conflicts: 117000 | #Constraints: 14877 336.93/337.99 c INPROCESSING 336.93/337.99 c GARBAGE COLLECT 336.93/337.99 c rational objective 120 382.18/383.36 c #Conflicts: 118000 | #Constraints: 9072 382.18/383.36 c #Conflicts: 119000 | #Constraints: 10072 382.18/383.36 c #Conflicts: 120000 | #Constraints: 11072 382.18/383.36 c #Conflicts: 121000 | #Constraints: 12072 382.18/383.36 c #Conflicts: 122000 | #Constraints: 13073 382.18/383.36 c #Conflicts: 123000 | #Constraints: 14073 382.18/383.36 c #Conflicts: 124000 | #Constraints: 15073 382.18/383.36 c INPROCESSING 382.18/383.36 c GARBAGE COLLECT 382.18/383.36 c #Conflicts: 125000 | #Constraints: 9088 382.18/383.36 c #Conflicts: 126000 | #Constraints: 10088 382.18/383.36 c #Conflicts: 127000 | #Constraints: 11088 382.18/383.36 c #Conflicts: 128000 | #Constraints: 12088 382.18/383.36 c #Conflicts: 129000 | #Constraints: 13088 382.18/383.36 c #Conflicts: 130000 | #Constraints: 14088 382.18/383.36 c #Conflicts: 131000 | #Constraints: 15089 382.18/383.36 c INPROCESSING 382.18/383.36 c GARBAGE COLLECT 382.18/383.36 c rational objective 120 438.71/440.01 c #Conflicts: 132000 | #Constraints: 8910 438.71/440.01 c #Conflicts: 133000 | #Constraints: 9910 438.71/440.01 c #Conflicts: 134000 | #Constraints: 10910 438.71/440.01 c #Conflicts: 135000 | #Constraints: 11910 438.71/440.01 c #Conflicts: 136000 | #Constraints: 12910 438.71/440.01 c #Conflicts: 137000 | #Constraints: 13910 438.71/440.01 c #Conflicts: 138000 | #Constraints: 14910 438.71/440.01 c #Conflicts: 139000 | #Constraints: 15910 438.71/440.01 c INPROCESSING 438.71/440.01 c GARBAGE COLLECT 438.71/440.01 c #Conflicts: 140000 | #Constraints: 9524 438.71/440.01 c #Conflicts: 141000 | #Constraints: 10524 438.71/440.01 c #Conflicts: 142000 | #Constraints: 11525 438.71/440.01 c #Conflicts: 143000 | #Constraints: 12525 438.71/440.01 c #Conflicts: 144000 | #Constraints: 13525 438.71/440.01 c #Conflicts: 145000 | #Constraints: 14525 438.71/440.01 c #Conflicts: 146000 | #Constraints: 15525 438.71/440.01 c #Conflicts: 147000 | #Constraints: 16525 438.71/440.01 c INPROCESSING 438.71/440.01 c GARBAGE COLLECT 438.71/440.01 c rational objective 120 487.42/488.93 c #Conflicts: 148000 | #Constraints: 9948 487.42/488.93 c #Conflicts: 149000 | #Constraints: 10949 487.42/488.93 c #Conflicts: 150000 | #Constraints: 11949 487.42/488.93 c #Conflicts: 151000 | #Constraints: 12949 487.42/488.93 c #Conflicts: 152000 | #Constraints: 13949 487.42/488.93 c #Conflicts: 153000 | #Constraints: 14949 487.42/488.93 c #Conflicts: 154000 | #Constraints: 15949 487.42/488.93 c #Conflicts: 155000 | #Constraints: 16949 487.42/488.93 c INPROCESSING 487.42/488.93 c GARBAGE COLLECT 487.42/488.93 c #Conflicts: 156000 | #Constraints: 10132 487.42/488.93 c #Conflicts: 157000 | #Constraints: 11132 487.42/488.93 c #Conflicts: 158000 | #Constraints: 12132 487.42/488.93 c #Conflicts: 159000 | #Constraints: 13132 487.42/488.93 c #Conflicts: 160000 | #Constraints: 14132 487.42/488.93 c #Conflicts: 161000 | #Constraints: 15132 487.42/488.93 c #Conflicts: 162000 | #Constraints: 16132 487.42/488.93 c #Conflicts: 163000 | #Constraints: 17132 487.42/488.93 c INPROCESSING 487.42/488.93 c GARBAGE COLLECT 487.42/488.93 c rational objective 120 508.95/510.55 c #Conflicts: 164000 | #Constraints: 10120 508.95/510.55 c #Conflicts: 165000 | #Constraints: 11120 508.95/510.55 c #Conflicts: 166000 | #Constraints: 12120 508.95/510.55 c #Conflicts: 167000 | #Constraints: 13120 508.95/510.55 c #Conflicts: 168000 | #Constraints: 14120 508.95/510.55 c #Conflicts: 169000 | #Constraints: 15120 508.95/510.55 c #Conflicts: 170000 | #Constraints: 16120 508.95/510.55 c #Conflicts: 171000 | #Constraints: 17120 508.95/510.55 c INPROCESSING 508.95/510.55 c GARBAGE COLLECT 508.95/510.55 c rational objective 120 539.54/541.22 c #Conflicts: 172000 | #Constraints: 9915 539.54/541.22 c #Conflicts: 173000 | #Constraints: 10916 539.54/541.22 c #Conflicts: 174000 | #Constraints: 11916 539.54/541.22 c #Conflicts: 175000 | #Constraints: 12917 539.54/541.22 c #Conflicts: 176000 | #Constraints: 13917 539.54/541.22 c #Conflicts: 177000 | #Constraints: 14917 539.54/541.22 c #Conflicts: 178000 | #Constraints: 15917 539.54/541.22 c #Conflicts: 179000 | #Constraints: 16917 539.54/541.22 c #Conflicts: 180000 | #Constraints: 17917 539.54/541.22 c INPROCESSING 539.54/541.22 c GARBAGE COLLECT 539.54/541.22 c rational objective 120 573.94/575.75 c #Conflicts: 181000 | #Constraints: 10511 573.94/575.75 c #Conflicts: 182000 | #Constraints: 11511 573.94/575.75 c #Conflicts: 183000 | #Constraints: 12511 573.94/575.75 c #Conflicts: 184000 | #Constraints: 13511 573.94/575.75 c #Conflicts: 185000 | #Constraints: 14512 573.94/575.75 c #Conflicts: 186000 | #Constraints: 15512 573.94/575.75 c #Conflicts: 187000 | #Constraints: 16512 573.94/575.75 c #Conflicts: 188000 | #Constraints: 17512 573.94/575.75 c #Conflicts: 189000 | #Constraints: 18512 573.94/575.75 c INPROCESSING 573.94/575.75 c GARBAGE COLLECT 573.94/575.75 c rational objective 120 612.73/614.67 c #Conflicts: 190000 | #Constraints: 10912 612.73/614.67 c #Conflicts: 191000 | #Constraints: 11912 612.73/614.67 c #Conflicts: 192000 | #Constraints: 12912 612.73/614.67 c #Conflicts: 193000 | #Constraints: 13913 612.73/614.67 c #Conflicts: 194000 | #Constraints: 14913 612.73/614.67 c #Conflicts: 195000 | #Constraints: 15913 612.73/614.67 c #Conflicts: 196000 | #Constraints: 16913 612.73/614.67 c #Conflicts: 197000 | #Constraints: 17913 612.73/614.67 c #Conflicts: 198000 | #Constraints: 18914 612.73/614.67 c INPROCESSING 612.73/614.67 c GARBAGE COLLECT 612.73/614.67 c rational objective 120 650.72/652.70 c #Conflicts: 199000 | #Constraints: 11142 650.72/652.70 c #Conflicts: 200000 | #Constraints: 12142 650.72/652.70 c #Conflicts: 201000 | #Constraints: 13142 650.72/652.70 c #Conflicts: 202000 | #Constraints: 14142 650.72/652.70 c #Conflicts: 203000 | #Constraints: 15142 650.72/652.70 c #Conflicts: 204000 | #Constraints: 16142 650.72/652.70 c #Conflicts: 205000 | #Constraints: 17142 650.72/652.70 c #Conflicts: 206000 | #Constraints: 18142 650.72/652.70 c #Conflicts: 207000 | #Constraints: 19142 650.72/652.70 c INPROCESSING 650.72/652.70 c GARBAGE COLLECT 650.72/652.70 c rational objective 120 693.01/695.18 c #Conflicts: 208000 | #Constraints: 11142 693.01/695.18 c #Conflicts: 209000 | #Constraints: 12142 693.01/695.18 c #Conflicts: 210000 | #Constraints: 13142 693.01/695.18 c #Conflicts: 211000 | #Constraints: 14142 693.01/695.18 c #Conflicts: 212000 | #Constraints: 15142 693.01/695.18 c #Conflicts: 213000 | #Constraints: 16142 693.01/695.18 c #Conflicts: 214000 | #Constraints: 17142 693.01/695.18 c #Conflicts: 215000 | #Constraints: 18142 693.01/695.18 c #Conflicts: 216000 | #Constraints: 19142 693.01/695.18 c INPROCESSING 693.01/695.18 c GARBAGE COLLECT 693.01/695.18 c rational objective 120 741.37/743.61 c #Conflicts: 217000 | #Constraints: 10973 741.37/743.61 c #Conflicts: 218000 | #Constraints: 11973 741.37/743.61 c #Conflicts: 219000 | #Constraints: 12973 741.37/743.61 c #Conflicts: 220000 | #Constraints: 13974 741.37/743.61 c #Conflicts: 221000 | #Constraints: 14974 741.37/743.61 c #Conflicts: 222000 | #Constraints: 15974 741.37/743.61 c #Conflicts: 223000 | #Constraints: 16974 741.37/743.61 c #Conflicts: 224000 | #Constraints: 17974 741.37/743.61 c #Conflicts: 225000 | #Constraints: 18974 741.37/743.61 c #Conflicts: 226000 | #Constraints: 19974 741.37/743.61 c INPROCESSING 741.37/743.61 c GARBAGE COLLECT 741.37/743.61 c rational objective 120 782.66/785.05 c #Conflicts: 227000 | #Constraints: 11569 782.66/785.05 c #Conflicts: 228000 | #Constraints: 12569 782.66/785.05 c #Conflicts: 229000 | #Constraints: 13569 782.66/785.05 c #Conflicts: 230000 | #Constraints: 14569 782.66/785.05 c #Conflicts: 231000 | #Constraints: 15569 782.66/785.05 c #Conflicts: 232000 | #Constraints: 16569 782.66/785.05 c #Conflicts: 233000 | #Constraints: 17569 782.66/785.05 c #Conflicts: 234000 | #Constraints: 18569 782.66/785.05 c #Conflicts: 235000 | #Constraints: 19569 782.66/785.05 c #Conflicts: 236000 | #Constraints: 20569 782.66/785.05 c INPROCESSING 782.66/785.05 c GARBAGE COLLECT 782.66/785.05 c rational objective 120 813.87/816.38 c #Conflicts: 237000 | #Constraints: 11935 813.87/816.38 c #Conflicts: 238000 | #Constraints: 12935 813.87/816.38 c #Conflicts: 239000 | #Constraints: 13935 813.87/816.38 c #Conflicts: 240000 | #Constraints: 14935 813.87/816.38 c #Conflicts: 241000 | #Constraints: 15935 813.87/816.38 c #Conflicts: 242000 | #Constraints: 16935 813.87/816.38 c #Conflicts: 243000 | #Constraints: 17935 813.87/816.38 c #Conflicts: 244000 | #Constraints: 18935 813.87/816.38 c #Conflicts: 245000 | #Constraints: 19935 813.87/816.38 c #Conflicts: 246000 | #Constraints: 20935 813.87/816.38 c INPROCESSING 813.87/816.38 c GARBAGE COLLECT 813.87/816.38 c rational objective 120 849.66/852.26 c #Conflicts: 247000 | #Constraints: 12125 849.66/852.26 c #Conflicts: 248000 | #Constraints: 13125 849.66/852.26 c #Conflicts: 249000 | #Constraints: 14125 849.66/852.26 c #Conflicts: 250000 | #Constraints: 15125 849.66/852.26 c #Conflicts: 251000 | #Constraints: 16125 849.66/852.26 c #Conflicts: 252000 | #Constraints: 17125 849.66/852.26 c #Conflicts: 253000 | #Constraints: 18125 849.66/852.26 c #Conflicts: 254000 | #Constraints: 19125 849.66/852.26 c #Conflicts: 255000 | #Constraints: 20125 849.66/852.26 c #Conflicts: 256000 | #Constraints: 21125 849.66/852.26 c INPROCESSING 849.66/852.26 c GARBAGE COLLECT 849.66/852.26 c rational objective 120 886.96/889.67 c #Conflicts: 257000 | #Constraints: 12121 886.96/889.67 c #Conflicts: 258000 | #Constraints: 13121 886.96/889.67 c #Conflicts: 259000 | #Constraints: 14121 886.96/889.67 c #Conflicts: 260000 | #Constraints: 15121 886.96/889.67 c #Conflicts: 261000 | #Constraints: 16122 886.96/889.67 c #Conflicts: 262000 | #Constraints: 17122 886.96/889.67 c #Conflicts: 263000 | #Constraints: 18122 886.96/889.67 c #Conflicts: 264000 | #Constraints: 19122 886.96/889.67 c #Conflicts: 265000 | #Constraints: 20122 886.96/889.67 c #Conflicts: 266000 | #Constraints: 21122 886.96/889.67 c INPROCESSING 886.96/889.67 c GARBAGE COLLECT 886.96/889.67 c rational objective 120 937.62/940.45 c #Conflicts: 267000 | #Constraints: 11924 937.62/940.45 c #Conflicts: 268000 | #Constraints: 12925 937.62/940.45 c #Conflicts: 269000 | #Constraints: 13925 937.62/940.45 c #Conflicts: 270000 | #Constraints: 14925 937.62/940.45 c #Conflicts: 271000 | #Constraints: 15925 937.62/940.45 c #Conflicts: 272000 | #Constraints: 16925 937.62/940.45 c #Conflicts: 273000 | #Constraints: 17925 937.62/940.45 c #Conflicts: 274000 | #Constraints: 18925 937.62/940.45 c #Conflicts: 275000 | #Constraints: 19925 937.62/940.45 c #Conflicts: 276000 | #Constraints: 20925 937.62/940.45 c #Conflicts: 277000 | #Constraints: 21925 937.62/940.45 c INPROCESSING 937.62/940.45 c GARBAGE COLLECT 937.62/940.45 c rational objective 120 978.91/981.84 c #Conflicts: 278000 | #Constraints: 12511 978.91/981.84 c #Conflicts: 279000 | #Constraints: 13512 978.91/981.84 c #Conflicts: 280000 | #Constraints: 14512 978.91/981.84 c #Conflicts: 281000 | #Constraints: 15512 978.91/981.84 c #Conflicts: 282000 | #Constraints: 16512 978.91/981.84 c #Conflicts: 283000 | #Constraints: 17512 978.91/981.84 c #Conflicts: 284000 | #Constraints: 18513 978.91/981.84 c #Conflicts: 285000 | #Constraints: 19513 978.91/981.84 c #Conflicts: 286000 | #Constraints: 20513 978.91/981.84 c #Conflicts: 287000 | #Constraints: 21513 978.91/981.84 c #Conflicts: 288000 | #Constraints: 22513 978.91/981.84 c INPROCESSING 978.91/981.84 c GARBAGE COLLECT 978.91/981.84 c rational objective 120 1025.38/1028.46 c #Conflicts: 289000 | #Constraints: 12902 1025.38/1028.46 c #Conflicts: 290000 | #Constraints: 13902 1025.38/1028.46 c #Conflicts: 291000 | #Constraints: 14902 1025.38/1028.46 c #Conflicts: 292000 | #Constraints: 15902 1025.38/1028.46 c #Conflicts: 293000 | #Constraints: 16902 1025.38/1028.46 c #Conflicts: 294000 | #Constraints: 17902 1025.38/1028.46 c #Conflicts: 295000 | #Constraints: 18903 1025.38/1028.46 c #Conflicts: 296000 | #Constraints: 19903 1025.38/1028.46 c #Conflicts: 297000 | #Constraints: 20903 1025.38/1028.46 c #Conflicts: 298000 | #Constraints: 21903 1025.38/1028.46 c #Conflicts: 299000 | #Constraints: 22903 1025.38/1028.46 c INPROCESSING 1025.38/1028.46 c GARBAGE COLLECT 1025.38/1028.46 c rational objective 120 1067.74/1070.97 c #Conflicts: 300000 | #Constraints: 13094 1067.74/1070.97 c #Conflicts: 301000 | #Constraints: 14094 1067.74/1070.97 c #Conflicts: 302000 | #Constraints: 15094 1067.74/1070.97 c #Conflicts: 303000 | #Constraints: 16094 1067.74/1070.97 c #Conflicts: 304000 | #Constraints: 17094 1067.74/1070.97 c #Conflicts: 305000 | #Constraints: 18094 1067.74/1070.97 c #Conflicts: 306000 | #Constraints: 19094 1067.74/1070.97 c #Conflicts: 307000 | #Constraints: 20095 1067.74/1070.97 c #Conflicts: 308000 | #Constraints: 21095 1067.74/1070.97 c #Conflicts: 309000 | #Constraints: 22095 1067.74/1070.97 c #Conflicts: 310000 | #Constraints: 23095 1067.74/1070.97 c INPROCESSING 1067.74/1070.97 c GARBAGE COLLECT 1067.74/1070.97 c rational objective 120 1119.18/1122.53 c #Conflicts: 311000 | #Constraints: 13112 1119.18/1122.53 c #Conflicts: 312000 | #Constraints: 14112 1119.18/1122.53 c #Conflicts: 313000 | #Constraints: 15112 1119.18/1122.53 c #Conflicts: 314000 | #Constraints: 16112 1119.18/1122.53 c #Conflicts: 315000 | #Constraints: 17112 1119.18/1122.53 c #Conflicts: 316000 | #Constraints: 18112 1119.18/1122.53 c #Conflicts: 317000 | #Constraints: 19112 1119.18/1122.53 c #Conflicts: 318000 | #Constraints: 20112 1119.18/1122.53 c #Conflicts: 319000 | #Constraints: 21112 1119.18/1122.53 c #Conflicts: 320000 | #Constraints: 22112 1119.18/1122.53 c #Conflicts: 321000 | #Constraints: 23112 1119.18/1122.53 c INPROCESSING 1119.18/1122.53 c GARBAGE COLLECT 1119.18/1122.53 c rational objective 120 1192.84/1196.42 c #Conflicts: 322000 | #Constraints: 12930 1192.84/1196.42 c #Conflicts: 323000 | #Constraints: 13931 1192.84/1196.42 c #Conflicts: 324000 | #Constraints: 14931 1192.84/1196.42 c #Conflicts: 325000 | #Constraints: 15931 1192.84/1196.42 c #Conflicts: 326000 | #Constraints: 16932 1192.84/1196.42 c #Conflicts: 327000 | #Constraints: 17932 1192.84/1196.42 c #Conflicts: 328000 | #Constraints: 18932 1192.84/1196.42 c #Conflicts: 329000 | #Constraints: 19932 1192.84/1196.42 c #Conflicts: 330000 | #Constraints: 20932 1192.84/1196.42 c #Conflicts: 331000 | #Constraints: 21933 1192.84/1196.42 c #Conflicts: 332000 | #Constraints: 22933 1192.84/1196.42 c #Conflicts: 333000 | #Constraints: 23933 1192.84/1196.42 c INPROCESSING 1192.84/1196.42 c GARBAGE COLLECT 1192.84/1196.42 c rational objective 120 1242.88/1246.69 c #Conflicts: 334000 | #Constraints: 13519 1242.88/1246.69 c #Conflicts: 335000 | #Constraints: 14519 1242.88/1246.69 c #Conflicts: 336000 | #Constraints: 15519 1242.88/1246.69 c #Conflicts: 337000 | #Constraints: 16519 1242.88/1246.69 c #Conflicts: 338000 | #Constraints: 17519 1242.88/1246.69 c #Conflicts: 339000 | #Constraints: 18519 1242.88/1246.69 c #Conflicts: 340000 | #Constraints: 19519 1242.88/1246.69 c #Conflicts: 341000 | #Constraints: 20520 1242.88/1246.69 c #Conflicts: 342000 | #Constraints: 21520 1242.88/1246.69 c #Conflicts: 343000 | #Constraints: 22520 1242.88/1246.69 c #Conflicts: 344000 | #Constraints: 23520 1242.88/1246.69 c #Conflicts: 345000 | #Constraints: 24521 1242.88/1246.69 c INPROCESSING 1242.88/1246.69 c GARBAGE COLLECT 1242.88/1246.69 c rational objective 120 1298.00/1301.95 c #Conflicts: 346000 | #Constraints: 13913 1298.00/1301.95 c #Conflicts: 347000 | #Constraints: 14913 1298.00/1301.95 c #Conflicts: 348000 | #Constraints: 15913 1298.00/1301.95 c #Conflicts: 349000 | #Constraints: 16913 1298.00/1301.95 c #Conflicts: 350000 | #Constraints: 17913 1298.00/1301.95 c #Conflicts: 351000 | #Constraints: 18913 1298.00/1301.95 c #Conflicts: 352000 | #Constraints: 19913 1298.00/1301.95 c #Conflicts: 353000 | #Constraints: 20913 1298.00/1301.95 c #Conflicts: 354000 | #Constraints: 21913 1298.00/1301.95 c #Conflicts: 355000 | #Constraints: 22914 1298.00/1301.95 c #Conflicts: 356000 | #Constraints: 23914 1298.00/1301.95 c #Conflicts: 357000 | #Constraints: 24914 1298.00/1301.95 c INPROCESSING 1298.00/1301.95 c GARBAGE COLLECT 1298.00/1301.95 c rational objective 120 1346.95/1351.09 c #Conflicts: 358000 | #Constraints: 14109 1346.95/1351.09 c #Conflicts: 359000 | #Constraints: 15109 1346.95/1351.09 c #Conflicts: 360000 | #Constraints: 16109 1346.95/1351.09 c #Conflicts: 361000 | #Constraints: 17109 1346.95/1351.09 c #Conflicts: 362000 | #Constraints: 18109 1346.95/1351.09 c #Conflicts: 363000 | #Constraints: 19109 1346.95/1351.09 c #Conflicts: 364000 | #Constraints: 20109 1346.95/1351.09 c #Conflicts: 365000 | #Constraints: 21109 1346.95/1351.09 c #Conflicts: 366000 | #Constraints: 22110 1346.95/1351.09 c #Conflicts: 367000 | #Constraints: 23110 1346.95/1351.09 c #Conflicts: 368000 | #Constraints: 24110 1346.95/1351.09 c #Conflicts: 369000 | #Constraints: 25110 1346.95/1351.09 c INPROCESSING 1346.95/1351.09 c GARBAGE COLLECT 1346.95/1351.09 c rational objective 120 1406.65/1410.99 c #Conflicts: 370000 | #Constraints: 14107 1406.65/1410.99 c #Conflicts: 371000 | #Constraints: 15107 1406.65/1410.99 c #Conflicts: 372000 | #Constraints: 16107 1406.65/1410.99 c #Conflicts: 373000 | #Constraints: 17107 1406.65/1410.99 c #Conflicts: 374000 | #Constraints: 18107 1406.65/1410.99 c #Conflicts: 375000 | #Constraints: 19107 1406.65/1410.99 c #Conflicts: 376000 | #Constraints: 20107 1406.65/1410.99 c #Conflicts: 377000 | #Constraints: 21107 1406.65/1410.99 c #Conflicts: 378000 | #Constraints: 22107 1406.65/1410.99 c #Conflicts: 379000 | #Constraints: 23107 1406.65/1410.99 c #Conflicts: 380000 | #Constraints: 24108 1406.65/1410.99 c #Conflicts: 381000 | #Constraints: 25108 1406.65/1410.99 c INPROCESSING 1406.65/1410.99 c GARBAGE COLLECT 1406.65/1410.99 c rational objective 120 1460.08/1464.55 c #Conflicts: 382000 | #Constraints: 13910 1460.08/1464.55 c #Conflicts: 383000 | #Constraints: 14910 1460.08/1464.55 c #Conflicts: 384000 | #Constraints: 15910 1460.08/1464.55 c #Conflicts: 385000 | #Constraints: 16910 1460.08/1464.55 c #Conflicts: 386000 | #Constraints: 17910 1460.08/1464.55 c #Conflicts: 387000 | #Constraints: 18911 1460.08/1464.55 c #Conflicts: 388000 | #Constraints: 19911 1460.08/1464.55 c #Conflicts: 389000 | #Constraints: 20911 1460.08/1464.55 c #Conflicts: 390000 | #Constraints: 21911 1460.08/1464.55 c #Conflicts: 391000 | #Constraints: 22911 1460.08/1464.55 c #Conflicts: 392000 | #Constraints: 23911 1460.08/1464.55 c #Conflicts: 393000 | #Constraints: 24911 1460.08/1464.55 c #Conflicts: 394000 | #Constraints: 25911 1460.08/1464.55 c INPROCESSING 1460.08/1464.55 c GARBAGE COLLECT 1460.08/1464.55 c rational objective 120 1521.18/1525.80 c #Conflicts: 395000 | #Constraints: 14518 1521.18/1525.80 c #Conflicts: 396000 | #Constraints: 15518 1521.18/1525.80 c #Conflicts: 397000 | #Constraints: 16518 1521.18/1525.80 c #Conflicts: 398000 | #Constraints: 17518 1521.18/1525.80 c #Conflicts: 399000 | #Constraints: 18518 1521.18/1525.80 c #Conflicts: 400000 | #Constraints: 19518 1521.18/1525.80 c #Conflicts: 401000 | #Constraints: 20518 1521.18/1525.80 c #Conflicts: 402000 | #Constraints: 21519 1521.18/1525.80 c #Conflicts: 403000 | #Constraints: 22519 1521.18/1525.80 c #Conflicts: 404000 | #Constraints: 23519 1521.18/1525.80 c #Conflicts: 405000 | #Constraints: 24519 1521.18/1525.80 c #Conflicts: 406000 | #Constraints: 25520 1521.18/1525.80 c #Conflicts: 407000 | #Constraints: 26520 1521.18/1525.80 c INPROCESSING 1521.18/1525.80 c GARBAGE COLLECT 1521.18/1525.80 c rational objective 120 1581.39/1586.22 c #Conflicts: 408000 | #Constraints: 14912 1581.39/1586.22 c #Conflicts: 409000 | #Constraints: 15912 1581.39/1586.22 c #Conflicts: 410000 | #Constraints: 16912 1581.39/1586.22 c #Conflicts: 411000 | #Constraints: 17912 1581.39/1586.22 c #Conflicts: 412000 | #Constraints: 18912 1581.39/1586.22 c #Conflicts: 413000 | #Constraints: 19912 1581.39/1586.22 c #Conflicts: 414000 | #Constraints: 20912 1581.39/1586.22 c #Conflicts: 415000 | #Constraints: 21912 1581.39/1586.22 c #Conflicts: 416000 | #Constraints: 22913 1581.39/1586.22 c #Conflicts: 417000 | #Constraints: 23913 1581.39/1586.22 c #Conflicts: 418000 | #Constraints: 24913 1581.39/1586.22 c #Conflicts: 419000 | #Constraints: 25913 1581.39/1586.22 c #Conflicts: 420000 | #Constraints: 26913 1581.39/1586.22 c INPROCESSING 1581.39/1586.22 c GARBAGE COLLECT 1581.39/1586.22 c rational objective 120 1657.64/1662.77 c #Conflicts: 421000 | #Constraints: 15143 1657.64/1662.77 c #Conflicts: 422000 | #Constraints: 16144 1657.64/1662.77 c #Conflicts: 423000 | #Constraints: 17144 1657.64/1662.77 c #Conflicts: 424000 | #Constraints: 18144 1657.64/1662.77 c #Conflicts: 425000 | #Constraints: 19144 1657.64/1662.77 c #Conflicts: 426000 | #Constraints: 20144 1657.64/1662.77 c #Conflicts: 427000 | #Constraints: 21145 1657.64/1662.77 c #Conflicts: 428000 | #Constraints: 22145 1657.64/1662.77 c #Conflicts: 429000 | #Constraints: 23145 1657.64/1662.77 c #Conflicts: 430000 | #Constraints: 24145 1657.64/1662.77 c #Conflicts: 431000 | #Constraints: 25145 1657.64/1662.77 c #Conflicts: 432000 | #Constraints: 26145 1657.64/1662.77 c #Conflicts: 433000 | #Constraints: 27145 1657.64/1662.77 c INPROCESSING 1657.64/1662.77 c GARBAGE COLLECT 1657.64/1662.77 c rational objective 120 1764.70/1770.13 c #Conflicts: 434000 | #Constraints: 15171 1764.70/1770.13 c #Conflicts: 435000 | #Constraints: 16171 1764.70/1770.13 c #Conflicts: 436000 | #Constraints: 17172 1764.70/1770.13 c #Conflicts: 437000 | #Constraints: 18172 1764.70/1770.13 c #Conflicts: 438000 | #Constraints: 19172 1764.70/1770.13 c #Conflicts: 439000 | #Constraints: 20172 1764.70/1770.13 c #Conflicts: 440000 | #Constraints: 21172 1764.70/1770.13 c #Conflicts: 441000 | #Constraints: 22172 1764.70/1770.13 c #Conflicts: 442000 | #Constraints: 23172 1764.70/1770.13 c #Conflicts: 443000 | #Constraints: 24172 1764.70/1770.13 c #Conflicts: 444000 | #Constraints: 25172 1764.70/1770.13 c #Conflicts: 445000 | #Constraints: 26172 1764.70/1770.13 c #Conflicts: 446000 | #Constraints: 27172 1764.70/1770.13 c INPROCESSING 1764.70/1770.13 c GARBAGE COLLECT 1764.70/1770.13 c rational objective 120 1842.93/1848.67 c #Conflicts: 447000 | #Constraints: 14979 1842.93/1848.67 c #Conflicts: 448000 | #Constraints: 15980 1842.93/1848.67 c #Conflicts: 449000 | #Constraints: 16980 1842.93/1848.67 c #Conflicts: 450000 | #Constraints: 17981 1842.93/1848.67 c #Conflicts: 451000 | #Constraints: 18981 1842.93/1848.67 c #Conflicts: 452000 | #Constraints: 19981 1842.93/1848.67 c #Conflicts: 453000 | #Constraints: 20981 1842.93/1848.67 c #Conflicts: 454000 | #Constraints: 21981 1842.93/1848.67 c #Conflicts: 455000 | #Constraints: 22981 1842.93/1848.67 c #Conflicts: 456000 | #Constraints: 23981 1842.93/1848.67 c #Conflicts: 457000 | #Constraints: 24981 1842.93/1848.67 c #Conflicts: 458000 | #Constraints: 25981 1842.93/1848.67 c #Conflicts: 459000 | #Constraints: 26981 1842.93/1848.67 c #Conflicts: 460000 | #Constraints: 27981 1842.93/1848.67 c INPROCESSING 1842.93/1848.67 c GARBAGE COLLECT 1842.93/1848.67 c rational objective 120 1920.29/1926.26 c #Conflicts: 461000 | #Constraints: 15567 1920.29/1926.26 c #Conflicts: 462000 | #Constraints: 16567 1920.29/1926.26 c #Conflicts: 463000 | #Constraints: 17567 1920.29/1926.26 c #Conflicts: 464000 | #Constraints: 18567 1920.29/1926.26 c #Conflicts: 465000 | #Constraints: 19567 1920.29/1926.26 c #Conflicts: 466000 | #Constraints: 20567 1920.29/1926.26 c #Conflicts: 467000 | #Constraints: 21567 1920.29/1926.26 c #Conflicts: 468000 | #Constraints: 22567 1920.29/1926.26 c #Conflicts: 469000 | #Constraints: 23568 1920.29/1926.26 c #Conflicts: 470000 | #Constraints: 24568 1920.29/1926.26 c #Conflicts: 471000 | #Constraints: 25568 1920.29/1926.26 c #Conflicts: 472000 | #Constraints: 26568 1920.29/1926.26 c #Conflicts: 473000 | #Constraints: 27568 1920.29/1926.26 c #Conflicts: 474000 | #Constraints: 28568 1920.29/1926.26 c INPROCESSING 1920.29/1926.26 c GARBAGE COLLECT 1920.29/1926.26 c rational objective 120 2009.49/2015.76 c #Conflicts: 475000 | #Constraints: 15962 2009.49/2015.76 c #Conflicts: 476000 | #Constraints: 16962 2009.49/2015.76 c #Conflicts: 477000 | #Constraints: 17962 2009.49/2015.76 c #Conflicts: 478000 | #Constraints: 18962 2009.49/2015.76 c #Conflicts: 479000 | #Constraints: 19962 2009.49/2015.76 c #Conflicts: 480000 | #Constraints: 20962 2009.49/2015.76 c #Conflicts: 481000 | #Constraints: 21962 2009.49/2015.76 c #Conflicts: 482000 | #Constraints: 22962 2009.49/2015.76 c #Conflicts: 483000 | #Constraints: 23962 2009.49/2015.76 c #Conflicts: 484000 | #Constraints: 24962 2009.49/2015.76 c #Conflicts: 485000 | #Constraints: 25962 2009.49/2015.76 c #Conflicts: 486000 | #Constraints: 26962 2009.49/2015.76 c #Conflicts: 487000 | #Constraints: 27962 2009.49/2015.76 c #Conflicts: 488000 | #Constraints: 28962 2009.49/2015.76 c INPROCESSING 2009.49/2015.76 c GARBAGE COLLECT 2009.49/2015.76 c rational objective 120 2106.48/2113.03 c #Conflicts: 489000 | #Constraints: 16193 2106.48/2113.03 c #Conflicts: 490000 | #Constraints: 17193 2106.48/2113.03 c #Conflicts: 491000 | #Constraints: 18193 2106.48/2113.03 c #Conflicts: 492000 | #Constraints: 19194 2106.48/2113.03 c #Conflicts: 493000 | #Constraints: 20194 2106.48/2113.03 c #Conflicts: 494000 | #Constraints: 21194 2106.48/2113.03 c #Conflicts: 495000 | #Constraints: 22195 2106.48/2113.03 c #Conflicts: 496000 | #Constraints: 23195 2106.48/2113.03 c #Conflicts: 497000 | #Constraints: 24195 2106.48/2113.03 c #Conflicts: 498000 | #Constraints: 25195 2106.48/2113.03 c #Conflicts: 499000 | #Constraints: 26195 2106.48/2113.03 c #Conflicts: 500000 | #Constraints: 27196 2106.48/2113.03 c #Conflicts: 501000 | #Constraints: 28196 2106.48/2113.03 c #Conflicts: 502000 | #Constraints: 29196 2106.48/2113.03 c INPROCESSING 2106.48/2113.03 c GARBAGE COLLECT 2106.48/2113.03 c rational objective 120 2212.16/2219.09 c #Conflicts: 503000 | #Constraints: 16173 2212.16/2219.09 c #Conflicts: 504000 | #Constraints: 17173 2212.16/2219.09 c #Conflicts: 505000 | #Constraints: 18173 2212.16/2219.09 c #Conflicts: 506000 | #Constraints: 19173 2212.16/2219.09 c #Conflicts: 507000 | #Constraints: 20173 2212.16/2219.09 c #Conflicts: 508000 | #Constraints: 21173 2212.16/2219.09 c #Conflicts: 509000 | #Constraints: 22173 2212.16/2219.09 c #Conflicts: 510000 | #Constraints: 23173 2212.16/2219.09 c #Conflicts: 511000 | #Constraints: 24173 2212.16/2219.09 c #Conflicts: 512000 | #Constraints: 25173 2212.16/2219.09 c #Conflicts: 513000 | #Constraints: 26174 2212.16/2219.09 c #Conflicts: 514000 | #Constraints: 27174 2212.16/2219.09 c #Conflicts: 515000 | #Constraints: 28174 2212.16/2219.09 c #Conflicts: 516000 | #Constraints: 29174 2212.16/2219.09 c INPROCESSING 2212.16/2219.09 c GARBAGE COLLECT 2212.16/2219.09 c rational objective 120 2280.83/2287.93 c #Conflicts: 517000 | #Constraints: 15959 2280.83/2287.93 c #Conflicts: 518000 | #Constraints: 16959 2280.83/2287.93 c #Conflicts: 519000 | #Constraints: 17959 2280.83/2287.93 c #Conflicts: 520000 | #Constraints: 18959 2280.83/2287.93 c #Conflicts: 521000 | #Constraints: 19959 2280.83/2287.93 c #Conflicts: 522000 | #Constraints: 20959 2280.83/2287.93 c #Conflicts: 523000 | #Constraints: 21959 2280.83/2287.93 c #Conflicts: 524000 | #Constraints: 22960 2280.83/2287.93 c #Conflicts: 525000 | #Constraints: 23960 2280.83/2287.93 c #Conflicts: 526000 | #Constraints: 24960 2280.83/2287.93 c #Conflicts: 527000 | #Constraints: 25960 2280.83/2287.93 c #Conflicts: 528000 | #Constraints: 26960 2280.83/2287.93 c #Conflicts: 529000 | #Constraints: 27961 2280.83/2287.93 c #Conflicts: 530000 | #Constraints: 28961 2280.83/2287.93 c #Conflicts: 531000 | #Constraints: 29961 2280.83/2287.93 c INPROCESSING 2280.83/2287.93 c GARBAGE COLLECT 2280.83/2287.93 c rational objective 120 2346.77/2354.05 c #Conflicts: 532000 | #Constraints: 16556 2346.77/2354.05 c #Conflicts: 533000 | #Constraints: 17556 2346.77/2354.05 c #Conflicts: 534000 | #Constraints: 18556 2346.77/2354.05 c #Conflicts: 535000 | #Constraints: 19556 2346.77/2354.05 c #Conflicts: 536000 | #Constraints: 20556 2346.77/2354.05 c #Conflicts: 537000 | #Constraints: 21556 2346.77/2354.05 c #Conflicts: 538000 | #Constraints: 22556 2346.77/2354.05 c #Conflicts: 539000 | #Constraints: 23556 2346.77/2354.05 c #Conflicts: 540000 | #Constraints: 24557 2346.77/2354.05 c #Conflicts: 541000 | #Constraints: 25557 2346.77/2354.05 c #Conflicts: 542000 | #Constraints: 26557 2346.77/2354.05 c #Conflicts: 543000 | #Constraints: 27557 2346.77/2354.05 c #Conflicts: 544000 | #Constraints: 28557 2346.77/2354.05 c #Conflicts: 545000 | #Constraints: 29557 2346.77/2354.05 c #Conflicts: 546000 | #Constraints: 30557 2346.77/2354.05 c INPROCESSING 2346.77/2354.05 c GARBAGE COLLECT 2346.77/2354.05 c rational objective 120 2434.85/2442.32 c #Conflicts: 547000 | #Constraints: 16945 2434.85/2442.32 c #Conflicts: 548000 | #Constraints: 17945 2434.85/2442.32 c #Conflicts: 549000 | #Constraints: 18945 2434.85/2442.32 c #Conflicts: 550000 | #Constraints: 19946 2434.85/2442.32 c #Conflicts: 551000 | #Constraints: 20946 2434.85/2442.32 c #Conflicts: 552000 | #Constraints: 21946 2434.85/2442.32 c #Conflicts: 553000 | #Constraints: 22946 2434.85/2442.32 c #Conflicts: 554000 | #Constraints: 23947 2434.85/2442.32 c #Conflicts: 555000 | #Constraints: 24947 2434.85/2442.32 c #Conflicts: 556000 | #Constraints: 25947 2434.85/2442.32 c #Conflicts: 557000 | #Constraints: 26947 2434.85/2442.32 c #Conflicts: 558000 | #Constraints: 27947 2434.85/2442.32 c #Conflicts: 559000 | #Constraints: 28947 2434.85/2442.32 c #Conflicts: 560000 | #Constraints: 29947 2434.85/2442.32 c #Conflicts: 561000 | #Constraints: 30947 2434.85/2442.32 c INPROCESSING 2434.85/2442.32 c GARBAGE COLLECT 2434.85/2442.32 c rational objective 120 2504.67/2512.31 c #Conflicts: 562000 | #Constraints: 17133 2504.67/2512.31 c #Conflicts: 563000 | #Constraints: 18133 2504.67/2512.31 c #Conflicts: 564000 | #Constraints: 19133 2504.67/2512.31 c #Conflicts: 565000 | #Constraints: 20134 2504.67/2512.31 c #Conflicts: 566000 | #Constraints: 21134 2504.67/2512.31 c #Conflicts: 567000 | #Constraints: 22134 2504.67/2512.31 c #Conflicts: 568000 | #Constraints: 23134 2504.67/2512.31 c #Conflicts: 569000 | #Constraints: 24134 2504.67/2512.31 c #Conflicts: 570000 | #Constraints: 25134 2504.67/2512.31 c #Conflicts: 571000 | #Constraints: 26134 2504.67/2512.31 c #Conflicts: 572000 | #Constraints: 27134 2504.67/2512.31 c #Conflicts: 573000 | #Constraints: 28134 2504.67/2512.31 c #Conflicts: 574000 | #Constraints: 29134 2504.67/2512.31 c #Conflicts: 575000 | #Constraints: 30134 2504.67/2512.31 c #Conflicts: 576000 | #Constraints: 31135 2504.67/2512.31 c INPROCESSING 2504.67/2512.31 c GARBAGE COLLECT 2504.67/2512.31 c rational objective 120 2572.40/2580.26 c #Conflicts: 577000 | #Constraints: 17143 2572.40/2580.26 c #Conflicts: 578000 | #Constraints: 18143 2572.40/2580.26 c #Conflicts: 579000 | #Constraints: 19143 2572.40/2580.26 c #Conflicts: 580000 | #Constraints: 20143 2572.40/2580.26 c #Conflicts: 581000 | #Constraints: 21143 2572.40/2580.26 c #Conflicts: 582000 | #Constraints: 22143 2572.40/2580.26 c #Conflicts: 583000 | #Constraints: 23144 2572.40/2580.26 c #Conflicts: 584000 | #Constraints: 24144 2572.40/2580.26 c #Conflicts: 585000 | #Constraints: 25145 2572.40/2580.26 c #Conflicts: 586000 | #Constraints: 26145 2572.40/2580.26 c #Conflicts: 587000 | #Constraints: 27145 2572.40/2580.26 c #Conflicts: 588000 | #Constraints: 28145 2572.40/2580.26 c #Conflicts: 589000 | #Constraints: 29145 2572.40/2580.26 c #Conflicts: 590000 | #Constraints: 30145 2572.40/2580.26 c #Conflicts: 591000 | #Constraints: 31145 2572.40/2580.26 c INPROCESSING 2572.40/2580.26 c GARBAGE COLLECT 2572.40/2580.26 c rational objective 120 2656.48/2664.51 c #Conflicts: 592000 | #Constraints: 16941 2656.48/2664.51 c #Conflicts: 593000 | #Constraints: 17941 2656.48/2664.51 c #Conflicts: 594000 | #Constraints: 18942 2656.48/2664.51 c #Conflicts: 595000 | #Constraints: 19942 2656.48/2664.51 c #Conflicts: 596000 | #Constraints: 20942 2656.48/2664.51 c #Conflicts: 597000 | #Constraints: 21942 2656.48/2664.51 c #Conflicts: 598000 | #Constraints: 22942 2656.48/2664.51 c #Conflicts: 599000 | #Constraints: 23942 2656.48/2664.51 c #Conflicts: 600000 | #Constraints: 24943 2656.48/2664.51 c #Conflicts: 601000 | #Constraints: 25943 2656.48/2664.51 c #Conflicts: 602000 | #Constraints: 26943 2656.48/2664.51 c #Conflicts: 603000 | #Constraints: 27943 2656.48/2664.51 c #Conflicts: 604000 | #Constraints: 28943 2656.48/2664.51 c #Conflicts: 605000 | #Constraints: 29943 2656.48/2664.51 c #Conflicts: 606000 | #Constraints: 30943 2656.48/2664.51 c #Conflicts: 607000 | #Constraints: 31943 2656.48/2664.51 c INPROCESSING 2656.48/2664.51 c GARBAGE COLLECT 2656.48/2664.51 c rational objective 120 2737.97/2746.27 c #Conflicts: 608000 | #Constraints: 17542 2737.97/2746.27 c #Conflicts: 609000 | #Constraints: 18542 2737.97/2746.27 c #Conflicts: 610000 | #Constraints: 19543 2737.97/2746.27 c #Conflicts: 611000 | #Constraints: 20543 2737.97/2746.27 c #Conflicts: 612000 | #Constraints: 21543 2737.97/2746.27 c #Conflicts: 613000 | #Constraints: 22543 2737.97/2746.27 c #Conflicts: 614000 | #Constraints: 23543 2737.97/2746.27 c #Conflicts: 615000 | #Constraints: 24543 2737.97/2746.27 c #Conflicts: 616000 | #Constraints: 25543 2737.97/2746.27 c #Conflicts: 617000 | #Constraints: 26543 2737.97/2746.27 c #Conflicts: 618000 | #Constraints: 27543 2737.97/2746.27 c #Conflicts: 619000 | #Constraints: 28543 2737.97/2746.27 c #Conflicts: 620000 | #Constraints: 29543 2737.97/2746.27 c #Conflicts: 621000 | #Constraints: 30543 2737.97/2746.27 c #Conflicts: 622000 | #Constraints: 31543 2737.97/2746.27 c #Conflicts: 623000 | #Constraints: 32543 2737.97/2746.27 c INPROCESSING 2737.97/2746.27 c GARBAGE COLLECT 2737.97/2746.27 c rational objective 120 2810.08/2818.50 c #Conflicts: 624000 | #Constraints: 17930 2810.08/2818.50 c #Conflicts: 625000 | #Constraints: 18931 2810.08/2818.50 c #Conflicts: 626000 | #Constraints: 19931 2810.08/2818.50 c #Conflicts: 627000 | #Constraints: 20931 2810.08/2818.50 c #Conflicts: 628000 | #Constraints: 21931 2810.08/2818.50 c #Conflicts: 629000 | #Constraints: 22931 2810.08/2818.50 c #Conflicts: 630000 | #Constraints: 23931 2810.08/2818.50 c #Conflicts: 631000 | #Constraints: 24932 2810.08/2818.50 c #Conflicts: 632000 | #Constraints: 25932 2810.08/2818.50 c #Conflicts: 633000 | #Constraints: 26932 2810.08/2818.50 c #Conflicts: 634000 | #Constraints: 27932 2810.08/2818.50 c #Conflicts: 635000 | #Constraints: 28932 2810.08/2818.50 c #Conflicts: 636000 | #Constraints: 29932 2810.08/2818.50 c #Conflicts: 637000 | #Constraints: 30932 2810.08/2818.50 c #Conflicts: 638000 | #Constraints: 31932 2810.08/2818.50 c #Conflicts: 639000 | #Constraints: 32932 2810.08/2818.50 c INPROCESSING 2810.08/2818.50 c GARBAGE COLLECT 2810.08/2818.50 c rational objective 120 2881.42/2890.06 c #Conflicts: 640000 | #Constraints: 18132 2881.42/2890.06 c #Conflicts: 641000 | #Constraints: 19132 2881.42/2890.06 c #Conflicts: 642000 | #Constraints: 20132 2881.42/2890.06 c #Conflicts: 643000 | #Constraints: 21132 2881.42/2890.06 c #Conflicts: 644000 | #Constraints: 22132 2881.42/2890.06 c #Conflicts: 645000 | #Constraints: 23132 2881.42/2890.06 c #Conflicts: 646000 | #Constraints: 24132 2881.42/2890.06 c #Conflicts: 647000 | #Constraints: 25132 2881.42/2890.06 c #Conflicts: 648000 | #Constraints: 26132 2881.42/2890.06 c #Conflicts: 649000 | #Constraints: 27132 2881.42/2890.06 c #Conflicts: 650000 | #Constraints: 28132 2881.42/2890.06 c #Conflicts: 651000 | #Constraints: 29132 2881.42/2890.06 c #Conflicts: 652000 | #Constraints: 30132 2881.42/2890.06 c #Conflicts: 653000 | #Constraints: 31132 2881.42/2890.06 c #Conflicts: 654000 | #Constraints: 32132 2881.42/2890.06 c #Conflicts: 655000 | #Constraints: 33132 2881.42/2890.06 c INPROCESSING 2881.42/2890.06 c GARBAGE COLLECT 2881.42/2890.06 c rational objective 120 3091.57/3100.76 c #Conflicts: 656000 | #Constraints: 18159 3091.57/3100.76 c #Conflicts: 657000 | #Constraints: 19159 3091.57/3100.76 c #Conflicts: 658000 | #Constraints: 20159 3091.57/3100.76 c #Conflicts: 659000 | #Constraints: 21160 3091.57/3100.76 c #Conflicts: 660000 | #Constraints: 22160 3091.57/3100.76 c #Conflicts: 661000 | #Constraints: 23161 3091.57/3100.76 c #Conflicts: 662000 | #Constraints: 24161 3091.57/3100.76 c #Conflicts: 663000 | #Constraints: 25161 3091.57/3100.76 c #Conflicts: 664000 | #Constraints: 26161 3091.57/3100.76 c #Conflicts: 665000 | #Constraints: 27161 3091.57/3100.76 c #Conflicts: 666000 | #Constraints: 28161 3091.57/3100.76 c #Conflicts: 667000 | #Constraints: 29161 3091.57/3100.76 c #Conflicts: 668000 | #Constraints: 30161 3091.57/3100.76 c #Conflicts: 669000 | #Constraints: 31161 3091.57/3100.76 c #Conflicts: 670000 | #Constraints: 32161 3091.57/3100.76 c #Conflicts: 671000 | #Constraints: 33162 3091.57/3100.76 c INPROCESSING 3091.57/3100.76 c GARBAGE COLLECT 3091.57/3100.76 c #Conflicts: 672000 | #Constraints: 17954 3091.57/3100.76 c #Conflicts: 673000 | #Constraints: 18954 3091.57/3100.76 c #Conflicts: 674000 | #Constraints: 19954 3091.57/3100.76 c #Conflicts: 675000 | #Constraints: 20954 3091.57/3100.76 c #Conflicts: 676000 | #Constraints: 21954 3091.57/3100.76 c #Conflicts: 677000 | #Constraints: 22954 3091.57/3100.76 c #Conflicts: 678000 | #Constraints: 23954 3091.57/3100.76 c #Conflicts: 679000 | #Constraints: 24954 3091.57/3100.76 c #Conflicts: 680000 | #Constraints: 25954 3091.57/3100.76 c #Conflicts: 681000 | #Constraints: 26955 3091.57/3100.76 c #Conflicts: 682000 | #Constraints: 27955 3091.57/3100.76 c #Conflicts: 683000 | #Constraints: 28955 3091.57/3100.76 c #Conflicts: 684000 | #Constraints: 29955 3091.57/3100.76 c #Conflicts: 685000 | #Constraints: 30955 3091.57/3100.76 c #Conflicts: 686000 | #Constraints: 31955 3091.57/3100.76 c #Conflicts: 687000 | #Constraints: 32955 3091.57/3100.76 c #Conflicts: 688000 | #Constraints: 33955 3091.57/3100.76 c INPROCESSING 3091.57/3100.76 c GARBAGE COLLECT 3091.57/3100.76 c rational objective 120 3175.46/3184.80 c #Conflicts: 689000 | #Constraints: 18552 3175.46/3184.80 c #Conflicts: 690000 | #Constraints: 19552 3175.46/3184.80 c #Conflicts: 691000 | #Constraints: 20553 3175.46/3184.80 c #Conflicts: 692000 | #Constraints: 21553 3175.46/3184.80 c #Conflicts: 693000 | #Constraints: 22553 3175.46/3184.80 c #Conflicts: 694000 | #Constraints: 23553 3175.46/3184.80 c #Conflicts: 695000 | #Constraints: 24553 3175.46/3184.80 c #Conflicts: 696000 | #Constraints: 25553 3175.46/3184.80 c #Conflicts: 697000 | #Constraints: 26554 3175.46/3184.80 c #Conflicts: 698000 | #Constraints: 27554 3175.46/3184.80 c #Conflicts: 699000 | #Constraints: 28554 3175.46/3184.80 c #Conflicts: 700000 | #Constraints: 29554 3175.46/3184.80 c #Conflicts: 701000 | #Constraints: 30554 3175.46/3184.80 c #Conflicts: 702000 | #Constraints: 31554 3175.46/3184.80 c #Conflicts: 703000 | #Constraints: 32554 3175.46/3184.80 c #Conflicts: 704000 | #Constraints: 33554 3175.46/3184.80 c #Conflicts: 705000 | #Constraints: 34554 3175.46/3184.80 c INPROCESSING 3175.46/3184.80 c GARBAGE COLLECT 3175.46/3184.80 c rational objective 120 3282.51/3292.16 c #Conflicts: 706000 | #Constraints: 18952 3282.51/3292.16 c #Conflicts: 707000 | #Constraints: 19953 3282.51/3292.16 c #Conflicts: 708000 | #Constraints: 20953 3282.51/3292.16 c #Conflicts: 709000 | #Constraints: 21953 3282.51/3292.16 c #Conflicts: 710000 | #Constraints: 22953 3282.51/3292.16 c #Conflicts: 711000 | #Constraints: 23953 3282.51/3292.16 c #Conflicts: 712000 | #Constraints: 24953 3282.51/3292.16 c #Conflicts: 713000 | #Constraints: 25953 3282.51/3292.16 c #Conflicts: 714000 | #Constraints: 26953 3282.51/3292.16 c #Conflicts: 715000 | #Constraints: 27953 3282.51/3292.16 c #Conflicts: 716000 | #Constraints: 28953 3282.51/3292.16 c #Conflicts: 717000 | #Constraints: 29953 3282.51/3292.16 c #Conflicts: 718000 | #Constraints: 30953 3282.51/3292.16 c #Conflicts: 719000 | #Constraints: 31953 3282.51/3292.16 c #Conflicts: 720000 | #Constraints: 32953 3282.51/3292.16 c #Conflicts: 721000 | #Constraints: 33953 3282.51/3292.16 c #Conflicts: 722000 | #Constraints: 34953 3282.51/3292.16 c INPROCESSING 3282.51/3292.16 c GARBAGE COLLECT 3282.51/3292.16 c rational objective 120 3418.16/3428.11 c #Conflicts: 723000 | #Constraints: 19165 3418.16/3428.11 c #Conflicts: 724000 | #Constraints: 20165 3418.16/3428.11 c #Conflicts: 725000 | #Constraints: 21166 3418.16/3428.11 c #Conflicts: 726000 | #Constraints: 22166 3418.16/3428.11 c #Conflicts: 727000 | #Constraints: 23166 3418.16/3428.11 c #Conflicts: 728000 | #Constraints: 24166 3418.16/3428.11 c #Conflicts: 729000 | #Constraints: 25166 3418.16/3428.11 c #Conflicts: 730000 | #Constraints: 26166 3418.16/3428.11 c #Conflicts: 731000 | #Constraints: 27166 3418.16/3428.11 c #Conflicts: 732000 | #Constraints: 28166 3418.16/3428.11 c #Conflicts: 733000 | #Constraints: 29167 3418.16/3428.11 c #Conflicts: 734000 | #Constraints: 30167 3418.16/3428.11 c #Conflicts: 735000 | #Constraints: 31167 3418.16/3428.11 c #Conflicts: 736000 | #Constraints: 32167 3418.16/3428.11 c #Conflicts: 737000 | #Constraints: 33167 3418.16/3428.11 c #Conflicts: 738000 | #Constraints: 34167 3418.16/3428.11 c #Conflicts: 739000 | #Constraints: 35167 3418.16/3428.11 c INPROCESSING 3418.16/3428.11 c GARBAGE COLLECT 3418.16/3428.11 c rational objective 120 3506.42/3516.65 c #Conflicts: 740000 | #Constraints: 19225 3506.42/3516.65 c #Conflicts: 741000 | #Constraints: 20225 3506.42/3516.65 c #Conflicts: 742000 | #Constraints: 21225 3506.42/3516.65 c #Conflicts: 743000 | #Constraints: 22225 3506.42/3516.65 c #Conflicts: 744000 | #Constraints: 23225 3506.42/3516.65 c #Conflicts: 745000 | #Constraints: 24225 3506.42/3516.65 c #Conflicts: 746000 | #Constraints: 25225 3506.42/3516.65 c #Conflicts: 747000 | #Constraints: 26225 3506.42/3516.65 c #Conflicts: 748000 | #Constraints: 27225 3506.42/3516.65 c #Conflicts: 749000 | #Constraints: 28225 3506.42/3516.65 c #Conflicts: 750000 | #Constraints: 29226 3506.42/3516.65 c #Conflicts: 751000 | #Constraints: 30226 3506.42/3516.65 c #Conflicts: 752000 | #Constraints: 31226 3506.42/3516.65 c #Conflicts: 753000 | #Constraints: 32226 3506.42/3516.65 c #Conflicts: 754000 | #Constraints: 33226 3506.42/3516.65 c #Conflicts: 755000 | #Constraints: 34226 3506.42/3516.65 c #Conflicts: 756000 | #Constraints: 35226 3506.42/3516.65 c INPROCESSING 3506.42/3516.65 c GARBAGE COLLECT 3506.42/3516.65 c rational objective 120 3594.01/3604.40 c #Conflicts: 757000 | #Constraints: 18965 3594.01/3604.40 c #Conflicts: 758000 | #Constraints: 19965 3594.01/3604.40 c #Conflicts: 759000 | #Constraints: 20965 3594.01/3604.40 c #Conflicts: 760000 | #Constraints: 21965 3594.01/3604.40 c #Conflicts: 761000 | #Constraints: 22966 3594.01/3604.40 c #Conflicts: 762000 | #Constraints: 23966 3594.01/3604.40 c #Conflicts: 763000 | #Constraints: 24966 3594.01/3604.40 c #Conflicts: 764000 | #Constraints: 25966 3594.01/3604.40 c #Conflicts: 765000 | #Constraints: 26967 3594.01/3604.40 c #Conflicts: 766000 | #Constraints: 27967 3594.01/3604.40 c #Conflicts: 767000 | #Constraints: 28967 3594.01/3604.40 c #Conflicts: 768000 | #Constraints: 29967 3594.01/3604.40 c #Conflicts: 769000 | #Constraints: 30967 3594.01/3604.40 c #Conflicts: 770000 | #Constraints: 31967 3594.01/3604.40 c #Conflicts: 771000 | #Constraints: 32967 3594.01/3604.40 c #Conflicts: 772000 | #Constraints: 33967 3594.01/3604.40 c #Conflicts: 773000 | #Constraints: 34967 3594.01/3604.40 c #Conflicts: 774000 | #Constraints: 35967 3594.01/3604.40 c INPROCESSING 3594.01/3604.40 c GARBAGE COLLECT 3594.01/3604.40 c rational objective 120 3600.09/3610.51 c #Conflicts: 775000 | #Constraints: 19536 3600.09/3610.51 c Program interrupted by user.
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: 64096 MiB (63228 MiB free)
memory of node 1: 64473 MiB (63371 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462972-1722340797/watcher-4462972-1722340797 -o /tmp/evaluation-result-4462972-1722340797/solver-4462972-1722340797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6811 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462972-1722340797 --lp-cut-gomory=0 HOME/instance-4462972-1722340797.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7029, runsolver pid=7026
[startup+0.10061 s]*
/proc/loadavg: 1.84 0.52 0.24 5/250 7030
/proc/meminfo: memFree=129632320/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=40904 memory=9504 CPUtime=0.09 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 1476 0 0 0 9 0 0 0 20 0 1 0 676758 41885696 2376 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 10226 2376 1361 992 0 2084 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40904 KiB
Current children cumulated memory: 9504 KiB
[startup+0.213152 s]*
/proc/loadavg: 1.84 0.52 0.24 5/250 7030
/proc/meminfo: memFree=129614196/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=57148 memory=26880 CPUtime=0.21 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 6705 0 0 0 19 2 0 0 20 0 1 0 676758 58519552 6720 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 14287 6720 1663 992 0 6145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26880 KiB
[startup+0.313123 s]*
/proc/loadavg: 1.84 0.52 0.24 5/250 7030
/proc/meminfo: memFree=129611368/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=57148 memory=26880 CPUtime=0.31 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 6705 0 0 0 29 2 0 0 20 0 1 0 676758 58519552 6720 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 14287 6720 1663 992 0 6145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26880 KiB
[startup+0.700294 s]
/proc/loadavg: 1.84 0.52 0.24 5/250 7030
/proc/meminfo: memFree=129608204/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=57148 memory=26880 CPUtime=0.68 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 6705 0 0 0 66 2 0 0 20 0 1 0 676758 58519552 6720 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 14287 6720 1663 992 0 6145 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26880 KiB
[startup+1.50033 s]
/proc/loadavg: 1.84 0.52 0.24 5/250 7030
/proc/meminfo: memFree=129602140/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=57148 memory=26880 CPUtime=1.48 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 6705 0 0 0 145 3 0 0 20 0 1 0 676758 58519552 6720 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 14287 6720 1663 992 0 6145 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 26880 KiB
[startup+3.11278 s]
/proc/loadavg: 1.84 0.52 0.24 5/250 7030
/proc/meminfo: memFree=129533368/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=80908 memory=47836 CPUtime=3.08 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 10332 0 0 0 296 12 0 0 20 0 1 0 676758 82849792 11959 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 20227 11959 1756 992 0 12085 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80908 KiB
Current children cumulated memory: 47836 KiB
[startup+6.3003 s]
/proc/loadavg: 2.01 0.58 0.26 5/250 7032
/proc/meminfo: memFree=129498584/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=81768 memory=48628 CPUtime=6.27 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 10488 0 0 0 612 15 0 0 20 0 1 0 676758 83730432 12157 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 20442 12157 1756 992 0 12300 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81768 KiB
Current children cumulated memory: 48628 KiB
[startup+12.7003 s]
/proc/loadavg: 2.17 0.64 0.28 5/250 7032
/proc/meminfo: memFree=129370636/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=89960 memory=63428 CPUtime=12.65 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 12618 0 0 0 1232 33 0 0 20 0 1 0 676758 92119040 15857 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 22490 15857 1818 992 0 14348 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 89960 KiB
Current children cumulated memory: 63428 KiB
[startup+25.5003 s]
/proc/loadavg: 2.65 0.82 0.34 5/250 7033
/proc/meminfo: memFree=129094672/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=116804 memory=88544 CPUtime=25.42 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 16813 0 0 0 2481 61 0 0 20 0 1 0 676758 119607296 22136 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 29201 22136 1850 992 0 21059 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 116804 KiB
Current children cumulated memory: 88544 KiB
[startup+51.113 s]
/proc/loadavg: 3.11 1.08 0.44 5/252 7042
/proc/meminfo: memFree=128626120/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=183776 memory=140672 CPUtime=50.96 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 22248 0 0 0 4990 106 0 0 20 0 1 0 676758 188186624 35168 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 45944 35168 1850 992 0 37802 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 183776 KiB
Current children cumulated memory: 140672 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 1.56 0.64 5/251 7062
/proc/meminfo: memFree=127746476/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=264284 memory=201260 CPUtime=102 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 30215 0 0 0 10022 178 0 0 20 0 1 0 676758 270626816 50315 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 66071 50315 1850 992 0 57929 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 264284 KiB
Current children cumulated memory: 201260 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.03 0.86 5/251 7073
/proc/meminfo: memFree=126912092/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=276044 memory=214640 CPUtime=161.83 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 33680 0 0 0 15914 269 0 0 20 0 1 0 676758 282669056 53660 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 69011 53660 1850 992 0 60869 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 276044 KiB
Current children cumulated memory: 214640 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 2.44 1.08 5/251 7083
/proc/meminfo: memFree=126086192/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=366016 memory=266312 CPUtime=221.67 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 36390 0 0 0 21822 345 0 0 20 0 1 0 676758 374800384 66578 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 91504 66578 1850 992 0 83362 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 366016 KiB
Current children cumulated memory: 266312 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 2.77 1.28 5/250 7094
/proc/meminfo: memFree=125193852/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=385572 memory=349632 CPUtime=281.5 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 41359 0 0 0 27760 390 0 0 20 0 1 0 676758 394825728 87408 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 96393 87408 1850 992 0 88251 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 385572 KiB
Current children cumulated memory: 349632 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.01 1.46 5/247 7104
/proc/meminfo: memFree=124363104/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=399520 memory=362780 CPUtime=341.31 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 44701 0 0 0 33665 466 0 0 20 0 1 0 676758 409108480 90695 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 99880 90695 1850 992 0 91738 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 399520 KiB
Current children cumulated memory: 362780 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.23 1.63 5/245 7116
/proc/meminfo: memFree=123728324/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=401784 memory=365224 CPUtime=401.12 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 45342 0 0 0 39575 537 0 0 20 0 1 0 676758 411426816 91306 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 100446 91306 1850 992 0 92304 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 401784 KiB
Current children cumulated memory: 365224 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.39 1.79 5/245 7126
/proc/meminfo: memFree=123146940/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=410628 memory=374056 CPUtime=460.93 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 47590 0 0 0 45499 594 0 0 20 0 1 0 676758 420483072 93514 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.22 4.20 4.10 5/248 8259
/proc/meminfo: memFree=103404832/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=987300 memory=884676 CPUtime=3153.02 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 114704 0 0 0 312527 2775 0 0 20 0 1 0 676758 1010995200 221169 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 246825 221169 1850 992 0 238683 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 987300 KiB
Current children cumulated memory: 884676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/249 8270
/proc/meminfo: memFree=103041504/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=990460 memory=887944 CPUtime=3212.87 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 115809 0 0 0 318475 2812 0 0 20 0 1 0 676758 1014231040 221986 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 247615 221986 1850 992 0 239473 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 990460 KiB
Current children cumulated memory: 887944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/249 8280
/proc/meminfo: memFree=102613748/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=991804 memory=889144 CPUtime=3272.71 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 116627 0 0 0 324432 2839 0 0 20 0 1 0 676758 1015607296 222286 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 247951 222286 1850 992 0 239809 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 991804 KiB
Current children cumulated memory: 889144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/249 8291
/proc/meminfo: memFree=102115460/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=993756 memory=891216 CPUtime=3332.56 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 117449 0 0 0 330384 2872 0 0 20 0 1 0 676758 1017606144 222804 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 248439 222804 1850 992 0 240297 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 993756 KiB
Current children cumulated memory: 891216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/247 8688
/proc/meminfo: memFree=101827896/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=996588 memory=902156 CPUtime=3392.41 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 118663 0 0 0 336346 2895 0 0 20 0 1 0 676758 1020506112 225539 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 249147 225539 1850 992 0 241005 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 996588 KiB
Current children cumulated memory: 902156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/246 8699
/proc/meminfo: memFree=101368416/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=999476 memory=970352 CPUtime=3452.27 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 119612 0 0 0 342285 2942 0 0 20 0 1 0 676758 1023463424 242588 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 249869 242588 1850 992 0 241727 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 970352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.19 4.11 5/247 8712
/proc/meminfo: memFree=101079276/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=999476 memory=970352 CPUtime=3512.11 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 120001 0 0 0 348225 2986 0 0 20 0 1 0 676758 1023463424 242588 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 249869 242588 1850 992 0 241727 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 970352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.10 3/233 8955
/proc/meminfo: memFree=103330732/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=999476 memory=970352 CPUtime=3571.96 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 120307 0 0 0 354163 3033 0 0 20 0 1 0 676758 1023463424 242588 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 249869 242588 1850 992 0 241727 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 970352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.21 4.18 4.11 2/234 9117
/proc/meminfo: memFree=115005868/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=1000132 memory=970772 CPUtime=3600.09 cores=5,7
/proc/7029/stat : 7029 (roundingsat) R 7026 7029 6796 0 -1 4194304 120604 0 0 0 356949 3060 0 0 20 0 1 0 676758 1024135168 242693 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 250033 242693 1850 992 0 241891 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 970772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.21 4.18 4.11 1/234 9117
/proc/meminfo: memFree=115005844/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=1000132 memory=970772 CPUtime=3600.1 cores=5,7
/proc/7029/stat : 7029 (roundingsat) D 7026 7029 6796 0 -1 4194304 120611 0 0 0 356950 3060 0 0 20 0 1 0 676758 1024135168 242693 134679101440 4194304 8255733 140727186988384 0 0 256 0 0 25182210 0 0 0 17 7 0 0 46 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 250033 242693 1850 992 0 241891 0
??? kill 7029 sig 9
??? end of watcher thread
[startup+3628.31 s]
# the end of solver process 7029 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3569.51 s, system=30.6197 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.21 4.18 4.11 1/234 9117
/proc/meminfo: memFree=115005144/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=1000132 memory=970772 CPUtime=3600.1 cores=5,7
/proc/7029/stat : 7029 (roundingsat) D 7026 7029 6796 0 -1 4194304 120611 0 0 0 356950 3060 0 0 20 0 1 0 676758 1024135168 242693 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 7 0 0 46 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 250033 242693 1850 992 0 241891 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 970772 KiB
[startup+3612 s]*
/proc/loadavg: 4.21 4.18 4.11 1/234 9117
/proc/meminfo: memFree=115005528/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=1000132 memory=970772 CPUtime=3600.1 cores=5,7
/proc/7029/stat : 7029 (roundingsat) D 7026 7029 6796 0 -1 4194304 120611 0 0 0 356950 3060 0 0 20 0 1 0 676758 1024135168 242693 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 7 0 0 46 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 250033 242693 1850 992 0 241891 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 970772 KiB
[startup+3612.4 s]
/proc/loadavg: 4.21 4.18 4.11 1/234 9117
/proc/meminfo: memFree=115005528/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=1000132 memory=970772 CPUtime=3600.1 cores=5,7
/proc/7029/stat : 7029 (roundingsat) D 7026 7029 6796 0 -1 4194304 120611 0 0 0 356950 3060 0 0 20 0 1 0 676758 1024135168 242693 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 7 0 0 46 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 250033 242693 1850 992 0 241891 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 970772 KiB
[startup+3612.5 s]
/proc/loadavg: 4.21 4.18 4.11 1/234 9117
/proc/meminfo: memFree=115005528/131655788 swapFree=131071996/131071996
[pid=7029] ppid=7026 vsize=1000132 memory=970772 CPUtime=3600.1 cores=5,7
/proc/7029/stat : 7029 (roundingsat) D 7026 7029 6796 0 -1 4194304 120611 0 0 0 356950 3060 0 0 20 0 1 0 676758 1024135168 242693 134679101440 4194304 8255733 140727186988384 0 0 0 0 0 25182210 0 0 0 17 7 0 0 46 0 0 9037040 9046032 18849792 140727186994014 140727186994276 140727186994276 140727187001289 0
/proc/7029/statm: 250033 242693 1850 992 0 241891 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1000132 KiB
Current children cumulated memory: 970772 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3628.31
CPU time (s): 3600.13
CPU user time (s): 3569.51
CPU system time (s): 30.6197
CPU usage (%): 99.2232
Max. virtual memory (cumulated for all children) (KiB): 1000132
Max. memory (cumulated for all children) (KiB): 970772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.51
system time used= 30.6197
maximum resident set size= 971356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29023720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1443
involuntary context switches= 4702
# summary of solver processes directly reported to runsolver:
# pid: 7029
# total CPU time (s): 3600.13
# total CPU user time (s): 3569.51
# total CPU system time (s): 30.6197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8835 second user time and 36.3856 second system time
The end
Begin job on nodeC005 at 2024-07-30 13:59:58 IDJOB=4462972 IDBENCH=147863 IDSOLVER=3089 FILE ID=nodeC005/4462972-1722340797 RUNJOBID= nodeC005-1722340763-6811 SLURM_JOB_ID= 8248985 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462972-1722340797/watcher-4462972-1722340797 -o /tmp/evaluation-result-4462972-1722340797/solver-4462972-1722340797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6811 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462972-1722340797 --lp-cut-gomory=0 HOME/instance-4462972-1722340797.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d RANDOM SEED=768974306 nodeC005.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 : 0xb00001f cpu MHz : 3656.157 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72 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 : 0xb00001f cpu MHz : 3655.713 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.234 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72 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 : 0xb00001f cpu MHz : 1197.367 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 3650.128 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72 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 : 0xb00001f cpu MHz : 3491.919 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.224 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72 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 : 0xb00001f cpu MHz : 1197.212 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129638924 kB MemAvailable: 129758712 kB Buffers: 40308 kB Cached: 918740 kB SwapCached: 0 kB Active: 133720 kB Inactive: 1464220 kB Active(anon): 1508 kB Inactive(anon): 659120 kB Active(file): 132212 kB Inactive(file): 805100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 31140 kB Writeback: 76 kB AnonPages: 638992 kB Mapped: 97344 kB Shmem: 21320 kB KReclaimable: 45348 kB Slab: 118216 kB SReclaimable: 45348 kB SUnreclaim: 72868 kB KernelStack: 4016 kB PageTables: 10748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1046604 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6368 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 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: 160584 kB DirectMap2M: 6035456 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 723760 MiB End job on nodeC005 at 2024-07-30 15:00:26