| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.06 | 3612.28 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
| MD5SUM | c646e12ccfd746fe0694a48782eaf83d |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 80.654 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 14400 |
| Total number of constraints | 1088 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 608 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 120 |
| Maximum length of a constraint | 225 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 227 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.05 c #variables 14400 #constraints 1088 20.92/21.02 c #Conflicts: 1000 | #Constraints: 2087 20.92/21.02 c #Conflicts: 2000 | #Constraints: 3087 20.92/21.02 c INPROCESSING 20.92/21.02 c GARBAGE COLLECT 20.92/21.02 c #Conflicts: 3000 | #Constraints: 3117 20.92/21.02 c #Conflicts: 4000 | #Constraints: 4117 20.92/21.02 c INPROCESSING 20.92/21.02 c GARBAGE COLLECT 20.92/21.02 c #Conflicts: 5000 | #Constraints: 3544 20.92/21.02 c #Conflicts: 6000 | #Constraints: 4544 20.92/21.02 c INPROCESSING 20.92/21.02 c GARBAGE COLLECT 20.92/21.02 c #Conflicts: 7000 | #Constraints: 3579 20.92/21.02 c #Conflicts: 8000 | #Constraints: 4579 20.92/21.02 c #Conflicts: 9000 | #Constraints: 5579 20.92/21.02 c INPROCESSING 20.92/21.02 c GARBAGE COLLECT 20.92/21.02 c rational objective 120 52.62/52.84 c #Conflicts: 10000 | #Constraints: 4295 52.62/52.84 c #Conflicts: 11000 | #Constraints: 5295 52.62/52.84 c #Conflicts: 12000 | #Constraints: 6295 52.62/52.84 c INPROCESSING 52.62/52.84 c GARBAGE COLLECT 52.62/52.84 c #Conflicts: 13000 | #Constraints: 4743 52.62/52.84 c #Conflicts: 14000 | #Constraints: 5743 52.62/52.84 c #Conflicts: 15000 | #Constraints: 6743 52.62/52.84 c INPROCESSING 52.62/52.84 c GARBAGE COLLECT 52.62/52.84 c #Conflicts: 16000 | #Constraints: 4990 52.62/52.84 c #Conflicts: 17000 | #Constraints: 5990 52.62/52.84 c #Conflicts: 18000 | #Constraints: 6990 52.62/52.84 c INPROCESSING 52.62/52.84 c GARBAGE COLLECT 52.62/52.84 c #Conflicts: 19000 | #Constraints: 5014 52.62/52.84 c #Conflicts: 20000 | #Constraints: 6014 52.62/52.84 c #Conflicts: 21000 | #Constraints: 7014 52.62/52.84 c INPROCESSING 52.62/52.84 c GARBAGE COLLECT 52.62/52.84 c #Conflicts: 22000 | #Constraints: 4823 52.62/52.84 c #Conflicts: 23000 | #Constraints: 5823 52.62/52.84 c #Conflicts: 24000 | #Constraints: 6823 52.62/52.84 c #Conflicts: 25000 | #Constraints: 7823 52.62/52.84 c INPROCESSING 52.62/52.84 c GARBAGE COLLECT 52.62/52.84 c rational objective 120 84.51/84.82 c #Conflicts: 26000 | #Constraints: 5430 84.51/84.82 c #Conflicts: 27000 | #Constraints: 6430 84.51/84.82 c #Conflicts: 28000 | #Constraints: 7430 84.51/84.82 c #Conflicts: 29000 | #Constraints: 8430 84.51/84.82 c INPROCESSING 84.51/84.82 c GARBAGE COLLECT 84.51/84.82 c #Conflicts: 30000 | #Constraints: 5809 84.51/84.82 c #Conflicts: 31000 | #Constraints: 6809 84.51/84.82 c #Conflicts: 32000 | #Constraints: 7809 84.51/84.82 c #Conflicts: 33000 | #Constraints: 8809 84.51/84.82 c INPROCESSING 84.51/84.82 c GARBAGE COLLECT 84.51/84.82 c #Conflicts: 34000 | #Constraints: 6029 84.51/84.82 c #Conflicts: 35000 | #Constraints: 7029 84.51/84.82 c #Conflicts: 36000 | #Constraints: 8029 84.51/84.82 c #Conflicts: 37000 | #Constraints: 9029 84.51/84.82 c INPROCESSING 84.51/84.82 c GARBAGE COLLECT 84.51/84.82 c #Conflicts: 38000 | #Constraints: 6057 84.51/84.82 c #Conflicts: 39000 | #Constraints: 7057 84.51/84.82 c #Conflicts: 40000 | #Constraints: 8057 84.51/84.82 c #Conflicts: 41000 | #Constraints: 9057 84.51/84.82 c INPROCESSING 84.51/84.82 c GARBAGE COLLECT 84.51/84.82 c rational objective 120 105.15/105.56 c #Conflicts: 42000 | #Constraints: 5865 105.15/105.56 c #Conflicts: 43000 | #Constraints: 6866 105.15/105.56 c #Conflicts: 44000 | #Constraints: 7866 105.15/105.56 c #Conflicts: 45000 | #Constraints: 8866 105.15/105.56 c #Conflicts: 46000 | #Constraints: 9866 105.15/105.56 c INPROCESSING 105.15/105.56 c GARBAGE COLLECT 105.15/105.56 c rational objective 120 123.39/123.85 c #Conflicts: 47000 | #Constraints: 6432 123.39/123.85 c #Conflicts: 48000 | #Constraints: 7432 123.39/123.85 c #Conflicts: 49000 | #Constraints: 8432 123.39/123.85 c #Conflicts: 50000 | #Constraints: 9432 123.39/123.85 c #Conflicts: 51000 | #Constraints: 10432 123.39/123.85 c INPROCESSING 123.39/123.85 c GARBAGE COLLECT 123.39/123.85 c #Conflicts: 52000 | #Constraints: 6864 123.39/123.85 c #Conflicts: 53000 | #Constraints: 7864 123.39/123.85 c #Conflicts: 54000 | #Constraints: 8864 123.39/123.85 c #Conflicts: 55000 | #Constraints: 9864 123.39/123.85 c #Conflicts: 56000 | #Constraints: 10864 123.39/123.85 c INPROCESSING 123.39/123.85 c GARBAGE COLLECT 123.39/123.85 c rational objective 120 138.94/139.45 c #Conflicts: 57000 | #Constraints: 7070 138.94/139.45 c #Conflicts: 58000 | #Constraints: 8070 138.94/139.45 c #Conflicts: 59000 | #Constraints: 9070 138.94/139.45 c #Conflicts: 60000 | #Constraints: 10070 138.94/139.45 c #Conflicts: 61000 | #Constraints: 11071 138.94/139.45 c INPROCESSING 138.94/139.45 c GARBAGE COLLECT 138.94/139.45 c rational objective 120 207.22/207.90 c #Conflicts: 62000 | #Constraints: 7055 207.22/207.90 c #Conflicts: 63000 | #Constraints: 8055 207.22/207.90 c #Conflicts: 64000 | #Constraints: 9055 207.22/207.90 c #Conflicts: 65000 | #Constraints: 10055 207.22/207.90 c #Conflicts: 66000 | #Constraints: 11055 207.22/207.90 c INPROCESSING 207.22/207.90 c GARBAGE COLLECT 207.22/207.90 c #Conflicts: 67000 | #Constraints: 6853 207.22/207.90 c #Conflicts: 68000 | #Constraints: 7854 207.22/207.90 c #Conflicts: 69000 | #Constraints: 8854 207.22/207.90 c #Conflicts: 70000 | #Constraints: 9854 207.22/207.90 c #Conflicts: 71000 | #Constraints: 10854 207.22/207.90 c #Conflicts: 72000 | #Constraints: 11854 207.22/207.90 c INPROCESSING 207.22/207.90 c GARBAGE COLLECT 207.22/207.90 c #Conflicts: 73000 | #Constraints: 7444 207.22/207.90 c #Conflicts: 74000 | #Constraints: 8444 207.22/207.90 c #Conflicts: 75000 | #Constraints: 9444 207.22/207.90 c #Conflicts: 76000 | #Constraints: 10444 207.22/207.90 c #Conflicts: 77000 | #Constraints: 11445 207.22/207.90 c #Conflicts: 78000 | #Constraints: 12445 207.22/207.90 c INPROCESSING 207.22/207.90 c GARBAGE COLLECT 207.22/207.90 c #Conflicts: 79000 | #Constraints: 7856 207.22/207.90 c #Conflicts: 80000 | #Constraints: 8856 207.22/207.90 c #Conflicts: 81000 | #Constraints: 9856 207.22/207.90 c #Conflicts: 82000 | #Constraints: 10856 207.22/207.90 c #Conflicts: 83000 | #Constraints: 11856 207.22/207.90 c #Conflicts: 84000 | #Constraints: 12856 207.22/207.90 c INPROCESSING 207.22/207.90 c GARBAGE COLLECT 207.22/207.90 c rational objective 120 294.90/295.96 c #Conflicts: 85000 | #Constraints: 8074 294.90/295.96 c #Conflicts: 86000 | #Constraints: 9074 294.90/295.96 c #Conflicts: 87000 | #Constraints: 10074 294.90/295.96 c #Conflicts: 88000 | #Constraints: 11075 294.90/295.96 c #Conflicts: 89000 | #Constraints: 12075 294.90/295.96 c #Conflicts: 90000 | #Constraints: 13075 294.90/295.96 c INPROCESSING 294.90/295.96 c GARBAGE COLLECT 294.90/295.96 c #Conflicts: 91000 | #Constraints: 8088 294.90/295.96 c #Conflicts: 92000 | #Constraints: 9088 294.90/295.96 c #Conflicts: 93000 | #Constraints: 10088 294.90/295.96 c #Conflicts: 94000 | #Constraints: 11088 294.90/295.96 c #Conflicts: 95000 | #Constraints: 12088 294.90/295.96 c #Conflicts: 96000 | #Constraints: 13088 294.90/295.96 c INPROCESSING 294.90/295.96 c GARBAGE COLLECT 294.90/295.96 c #Conflicts: 97000 | #Constraints: 7907 294.90/295.96 c #Conflicts: 98000 | #Constraints: 8907 294.90/295.96 c #Conflicts: 99000 | #Constraints: 9908 294.90/295.96 c #Conflicts: 100000 | #Constraints: 10908 294.90/295.96 c #Conflicts: 101000 | #Constraints: 11908 294.90/295.96 c #Conflicts: 102000 | #Constraints: 12908 294.90/295.96 c #Conflicts: 103000 | #Constraints: 13908 294.90/295.96 c INPROCESSING 294.90/295.96 c GARBAGE COLLECT 294.90/295.96 c rational objective 120 339.84/341.01 c #Conflicts: 104000 | #Constraints: 8487 339.84/341.01 c #Conflicts: 105000 | #Constraints: 9488 339.84/341.01 c #Conflicts: 106000 | #Constraints: 10488 339.84/341.01 c #Conflicts: 107000 | #Constraints: 11488 339.84/341.01 c #Conflicts: 108000 | #Constraints: 12488 339.84/341.01 c #Conflicts: 109000 | #Constraints: 13488 339.84/341.01 c #Conflicts: 110000 | #Constraints: 14488 339.84/341.01 c INPROCESSING 339.84/341.01 c GARBAGE COLLECT 339.84/341.01 c #Conflicts: 111000 | #Constraints: 8877 339.84/341.01 c #Conflicts: 112000 | #Constraints: 9877 339.84/341.01 c #Conflicts: 113000 | #Constraints: 10877 339.84/341.01 c #Conflicts: 114000 | #Constraints: 11877 339.84/341.01 c #Conflicts: 115000 | #Constraints: 12877 339.84/341.01 c #Conflicts: 116000 | #Constraints: 13877 339.84/341.01 c #Conflicts: 117000 | #Constraints: 14877 339.84/341.01 c INPROCESSING 339.84/341.01 c GARBAGE COLLECT 339.84/341.01 c rational objective 120 388.16/389.59 c #Conflicts: 118000 | #Constraints: 9072 388.16/389.59 c #Conflicts: 119000 | #Constraints: 10072 388.16/389.59 c #Conflicts: 120000 | #Constraints: 11072 388.16/389.59 c #Conflicts: 121000 | #Constraints: 12072 388.16/389.59 c #Conflicts: 122000 | #Constraints: 13073 388.16/389.59 c #Conflicts: 123000 | #Constraints: 14073 388.16/389.59 c #Conflicts: 124000 | #Constraints: 15073 388.16/389.59 c INPROCESSING 388.16/389.59 c GARBAGE COLLECT 388.16/389.59 c #Conflicts: 125000 | #Constraints: 9088 388.16/389.59 c #Conflicts: 126000 | #Constraints: 10088 388.16/389.59 c #Conflicts: 127000 | #Constraints: 11088 388.16/389.59 c #Conflicts: 128000 | #Constraints: 12088 388.16/389.59 c #Conflicts: 129000 | #Constraints: 13088 388.16/389.59 c #Conflicts: 130000 | #Constraints: 14088 388.16/389.59 c #Conflicts: 131000 | #Constraints: 15089 388.16/389.59 c INPROCESSING 388.16/389.59 c GARBAGE COLLECT 388.16/389.59 c rational objective 120 448.25/449.88 c #Conflicts: 132000 | #Constraints: 8910 448.25/449.88 c #Conflicts: 133000 | #Constraints: 9910 448.25/449.88 c #Conflicts: 134000 | #Constraints: 10910 448.25/449.88 c #Conflicts: 135000 | #Constraints: 11910 448.25/449.88 c #Conflicts: 136000 | #Constraints: 12910 448.25/449.88 c #Conflicts: 137000 | #Constraints: 13910 448.25/449.88 c #Conflicts: 138000 | #Constraints: 14910 448.25/449.88 c #Conflicts: 139000 | #Constraints: 15910 448.25/449.88 c INPROCESSING 448.25/449.88 c GARBAGE COLLECT 448.25/449.88 c #Conflicts: 140000 | #Constraints: 9524 448.25/449.88 c #Conflicts: 141000 | #Constraints: 10524 448.25/449.88 c #Conflicts: 142000 | #Constraints: 11525 448.25/449.88 c #Conflicts: 143000 | #Constraints: 12525 448.25/449.88 c #Conflicts: 144000 | #Constraints: 13525 448.25/449.88 c #Conflicts: 145000 | #Constraints: 14525 448.25/449.88 c #Conflicts: 146000 | #Constraints: 15525 448.25/449.88 c #Conflicts: 147000 | #Constraints: 16525 448.25/449.88 c INPROCESSING 448.25/449.88 c GARBAGE COLLECT 448.25/449.88 c rational objective 120 503.45/505.21 c #Conflicts: 148000 | #Constraints: 9948 503.45/505.21 c #Conflicts: 149000 | #Constraints: 10949 503.45/505.21 c #Conflicts: 150000 | #Constraints: 11949 503.45/505.21 c #Conflicts: 151000 | #Constraints: 12949 503.45/505.21 c #Conflicts: 152000 | #Constraints: 13949 503.45/505.21 c #Conflicts: 153000 | #Constraints: 14949 503.45/505.21 c #Conflicts: 154000 | #Constraints: 15949 503.45/505.21 c #Conflicts: 155000 | #Constraints: 16949 503.45/505.21 c INPROCESSING 503.45/505.21 c GARBAGE COLLECT 503.45/505.21 c #Conflicts: 156000 | #Constraints: 10132 503.45/505.21 c #Conflicts: 157000 | #Constraints: 11132 503.45/505.21 c #Conflicts: 158000 | #Constraints: 12132 503.45/505.21 c #Conflicts: 159000 | #Constraints: 13132 503.45/505.21 c #Conflicts: 160000 | #Constraints: 14132 503.45/505.21 c #Conflicts: 161000 | #Constraints: 15132 503.45/505.21 c #Conflicts: 162000 | #Constraints: 16132 503.45/505.21 c #Conflicts: 163000 | #Constraints: 17132 503.45/505.21 c INPROCESSING 503.45/505.21 c GARBAGE COLLECT 503.45/505.21 c rational objective 120 527.67/529.55 c #Conflicts: 164000 | #Constraints: 10120 527.67/529.55 c #Conflicts: 165000 | #Constraints: 11120 527.67/529.55 c #Conflicts: 166000 | #Constraints: 12120 527.67/529.55 c #Conflicts: 167000 | #Constraints: 13120 527.67/529.55 c #Conflicts: 168000 | #Constraints: 14120 527.67/529.55 c #Conflicts: 169000 | #Constraints: 15120 527.67/529.55 c #Conflicts: 170000 | #Constraints: 16120 527.67/529.55 c #Conflicts: 171000 | #Constraints: 17120 527.67/529.55 c INPROCESSING 527.67/529.55 c GARBAGE COLLECT 527.67/529.55 c rational objective 120 558.36/560.36 c #Conflicts: 172000 | #Constraints: 9915 558.36/560.36 c #Conflicts: 173000 | #Constraints: 10916 558.36/560.36 c #Conflicts: 174000 | #Constraints: 11916 558.36/560.36 c #Conflicts: 175000 | #Constraints: 12917 558.36/560.36 c #Conflicts: 176000 | #Constraints: 13917 558.36/560.36 c #Conflicts: 177000 | #Constraints: 14917 558.36/560.36 c #Conflicts: 178000 | #Constraints: 15917 558.36/560.36 c #Conflicts: 179000 | #Constraints: 16917 558.36/560.36 c #Conflicts: 180000 | #Constraints: 17917 558.36/560.36 c INPROCESSING 558.36/560.36 c GARBAGE COLLECT 558.36/560.36 c rational objective 120 596.82/598.93 c #Conflicts: 181000 | #Constraints: 10511 596.82/598.93 c #Conflicts: 182000 | #Constraints: 11511 596.82/598.93 c #Conflicts: 183000 | #Constraints: 12511 596.82/598.93 c #Conflicts: 184000 | #Constraints: 13511 596.82/598.93 c #Conflicts: 185000 | #Constraints: 14512 596.82/598.93 c #Conflicts: 186000 | #Constraints: 15512 596.82/598.93 c #Conflicts: 187000 | #Constraints: 16512 596.82/598.93 c #Conflicts: 188000 | #Constraints: 17512 596.82/598.93 c #Conflicts: 189000 | #Constraints: 18512 596.82/598.93 c INPROCESSING 596.82/598.93 c GARBAGE COLLECT 596.82/598.93 c rational objective 120 640.26/642.58 c #Conflicts: 190000 | #Constraints: 10912 640.26/642.58 c #Conflicts: 191000 | #Constraints: 11912 640.26/642.58 c #Conflicts: 192000 | #Constraints: 12912 640.26/642.58 c #Conflicts: 193000 | #Constraints: 13913 640.26/642.58 c #Conflicts: 194000 | #Constraints: 14913 640.26/642.58 c #Conflicts: 195000 | #Constraints: 15913 640.26/642.58 c #Conflicts: 196000 | #Constraints: 16913 640.26/642.58 c #Conflicts: 197000 | #Constraints: 17913 640.26/642.58 c #Conflicts: 198000 | #Constraints: 18914 640.26/642.58 c INPROCESSING 640.26/642.58 c GARBAGE COLLECT 640.26/642.58 c rational objective 120 682.50/684.93 c #Conflicts: 199000 | #Constraints: 11142 682.50/684.93 c #Conflicts: 200000 | #Constraints: 12142 682.50/684.93 c #Conflicts: 201000 | #Constraints: 13142 682.50/684.93 c #Conflicts: 202000 | #Constraints: 14142 682.50/684.93 c #Conflicts: 203000 | #Constraints: 15142 682.50/684.93 c #Conflicts: 204000 | #Constraints: 16142 682.50/684.93 c #Conflicts: 205000 | #Constraints: 17142 682.50/684.93 c #Conflicts: 206000 | #Constraints: 18142 682.50/684.93 c #Conflicts: 207000 | #Constraints: 19142 682.50/684.93 c INPROCESSING 682.50/684.93 c GARBAGE COLLECT 682.50/684.93 c rational objective 120 727.13/729.78 c #Conflicts: 208000 | #Constraints: 11142 727.13/729.78 c #Conflicts: 209000 | #Constraints: 12142 727.13/729.78 c #Conflicts: 210000 | #Constraints: 13142 727.13/729.78 c #Conflicts: 211000 | #Constraints: 14142 727.13/729.78 c #Conflicts: 212000 | #Constraints: 15142 727.13/729.78 c #Conflicts: 213000 | #Constraints: 16142 727.13/729.78 c #Conflicts: 214000 | #Constraints: 17142 727.13/729.78 c #Conflicts: 215000 | #Constraints: 18142 727.13/729.78 c #Conflicts: 216000 | #Constraints: 19142 727.13/729.78 c INPROCESSING 727.13/729.78 c GARBAGE COLLECT 727.13/729.78 c rational objective 120 777.05/779.80 c #Conflicts: 217000 | #Constraints: 10973 777.05/779.80 c #Conflicts: 218000 | #Constraints: 11973 777.05/779.80 c #Conflicts: 219000 | #Constraints: 12973 777.05/779.80 c #Conflicts: 220000 | #Constraints: 13974 777.05/779.80 c #Conflicts: 221000 | #Constraints: 14974 777.05/779.80 c #Conflicts: 222000 | #Constraints: 15974 777.05/779.80 c #Conflicts: 223000 | #Constraints: 16974 777.05/779.80 c #Conflicts: 224000 | #Constraints: 17974 777.05/779.80 c #Conflicts: 225000 | #Constraints: 18974 777.05/779.80 c #Conflicts: 226000 | #Constraints: 19974 777.05/779.80 c INPROCESSING 777.05/779.80 c GARBAGE COLLECT 777.05/779.80 c rational objective 120 819.13/822.08 c #Conflicts: 227000 | #Constraints: 11569 819.13/822.08 c #Conflicts: 228000 | #Constraints: 12569 819.13/822.08 c #Conflicts: 229000 | #Constraints: 13569 819.13/822.08 c #Conflicts: 230000 | #Constraints: 14569 819.13/822.08 c #Conflicts: 231000 | #Constraints: 15569 819.13/822.08 c #Conflicts: 232000 | #Constraints: 16569 819.13/822.08 c #Conflicts: 233000 | #Constraints: 17569 819.13/822.08 c #Conflicts: 234000 | #Constraints: 18569 819.13/822.08 c #Conflicts: 235000 | #Constraints: 19569 819.13/822.08 c #Conflicts: 236000 | #Constraints: 20569 819.13/822.08 c INPROCESSING 819.13/822.08 c GARBAGE COLLECT 819.13/822.08 c rational objective 120 850.92/853.98 c #Conflicts: 237000 | #Constraints: 11935 850.92/853.98 c #Conflicts: 238000 | #Constraints: 12935 850.92/853.98 c #Conflicts: 239000 | #Constraints: 13935 850.92/853.98 c #Conflicts: 240000 | #Constraints: 14935 850.92/853.98 c #Conflicts: 241000 | #Constraints: 15935 850.92/853.98 c #Conflicts: 242000 | #Constraints: 16935 850.92/853.98 c #Conflicts: 243000 | #Constraints: 17935 850.92/853.98 c #Conflicts: 244000 | #Constraints: 18935 850.92/853.98 c #Conflicts: 245000 | #Constraints: 19935 850.92/853.98 c #Conflicts: 246000 | #Constraints: 20935 850.92/853.98 c INPROCESSING 850.92/853.98 c GARBAGE COLLECT 850.92/853.98 c rational objective 120 886.91/890.06 c #Conflicts: 247000 | #Constraints: 12125 886.91/890.06 c #Conflicts: 248000 | #Constraints: 13125 886.91/890.06 c #Conflicts: 249000 | #Constraints: 14125 886.91/890.06 c #Conflicts: 250000 | #Constraints: 15125 886.91/890.06 c #Conflicts: 251000 | #Constraints: 16125 886.91/890.06 c #Conflicts: 252000 | #Constraints: 17125 886.91/890.06 c #Conflicts: 253000 | #Constraints: 18125 886.91/890.06 c #Conflicts: 254000 | #Constraints: 19125 886.91/890.06 c #Conflicts: 255000 | #Constraints: 20125 886.91/890.06 c #Conflicts: 256000 | #Constraints: 21125 886.91/890.06 c INPROCESSING 886.91/890.06 c GARBAGE COLLECT 886.91/890.06 c rational objective 120 924.77/928.06 c #Conflicts: 257000 | #Constraints: 12121 924.77/928.06 c #Conflicts: 258000 | #Constraints: 13121 924.77/928.06 c #Conflicts: 259000 | #Constraints: 14121 924.77/928.06 c #Conflicts: 260000 | #Constraints: 15121 924.77/928.06 c #Conflicts: 261000 | #Constraints: 16122 924.77/928.06 c #Conflicts: 262000 | #Constraints: 17122 924.77/928.06 c #Conflicts: 263000 | #Constraints: 18122 924.77/928.06 c #Conflicts: 264000 | #Constraints: 19122 924.77/928.06 c #Conflicts: 265000 | #Constraints: 20122 924.77/928.06 c #Conflicts: 266000 | #Constraints: 21122 924.77/928.06 c INPROCESSING 924.77/928.06 c GARBAGE COLLECT 924.77/928.06 c rational objective 120 976.50/979.95 c #Conflicts: 267000 | #Constraints: 11924 976.50/979.95 c #Conflicts: 268000 | #Constraints: 12925 976.50/979.95 c #Conflicts: 269000 | #Constraints: 13925 976.50/979.95 c #Conflicts: 270000 | #Constraints: 14925 976.50/979.95 c #Conflicts: 271000 | #Constraints: 15925 976.50/979.95 c #Conflicts: 272000 | #Constraints: 16925 976.50/979.95 c #Conflicts: 273000 | #Constraints: 17925 976.50/979.95 c #Conflicts: 274000 | #Constraints: 18925 976.50/979.95 c #Conflicts: 275000 | #Constraints: 19925 976.50/979.95 c #Conflicts: 276000 | #Constraints: 20925 976.50/979.95 c #Conflicts: 277000 | #Constraints: 21925 976.50/979.95 c INPROCESSING 976.50/979.95 c GARBAGE COLLECT 976.50/979.95 c rational objective 120 1018.58/1022.18 c #Conflicts: 278000 | #Constraints: 12511 1018.58/1022.18 c #Conflicts: 279000 | #Constraints: 13512 1018.58/1022.18 c #Conflicts: 280000 | #Constraints: 14512 1018.58/1022.18 c #Conflicts: 281000 | #Constraints: 15512 1018.58/1022.18 c #Conflicts: 282000 | #Constraints: 16512 1018.58/1022.18 c #Conflicts: 283000 | #Constraints: 17512 1018.58/1022.18 c #Conflicts: 284000 | #Constraints: 18513 1018.58/1022.18 c #Conflicts: 285000 | #Constraints: 19513 1018.58/1022.18 c #Conflicts: 286000 | #Constraints: 20513 1018.58/1022.18 c #Conflicts: 287000 | #Constraints: 21513 1018.58/1022.18 c #Conflicts: 288000 | #Constraints: 22513 1018.58/1022.18 c INPROCESSING 1018.58/1022.18 c GARBAGE COLLECT 1018.58/1022.18 c rational objective 120 1067.02/1070.70 c #Conflicts: 289000 | #Constraints: 12902 1067.02/1070.70 c #Conflicts: 290000 | #Constraints: 13902 1067.02/1070.70 c #Conflicts: 291000 | #Constraints: 14902 1067.02/1070.70 c #Conflicts: 292000 | #Constraints: 15902 1067.02/1070.70 c #Conflicts: 293000 | #Constraints: 16902 1067.02/1070.70 c #Conflicts: 294000 | #Constraints: 17902 1067.02/1070.70 c #Conflicts: 295000 | #Constraints: 18903 1067.02/1070.70 c #Conflicts: 296000 | #Constraints: 19903 1067.02/1070.70 c #Conflicts: 297000 | #Constraints: 20903 1067.02/1070.70 c #Conflicts: 298000 | #Constraints: 21903 1067.02/1070.70 c #Conflicts: 299000 | #Constraints: 22903 1067.02/1070.70 c INPROCESSING 1067.02/1070.70 c GARBAGE COLLECT 1067.02/1070.70 c rational objective 120 1110.97/1114.86 c #Conflicts: 300000 | #Constraints: 13094 1110.97/1114.86 c #Conflicts: 301000 | #Constraints: 14094 1110.97/1114.86 c #Conflicts: 302000 | #Constraints: 15094 1110.97/1114.86 c #Conflicts: 303000 | #Constraints: 16094 1110.97/1114.86 c #Conflicts: 304000 | #Constraints: 17094 1110.97/1114.86 c #Conflicts: 305000 | #Constraints: 18094 1110.97/1114.86 c #Conflicts: 306000 | #Constraints: 19094 1110.97/1114.86 c #Conflicts: 307000 | #Constraints: 20095 1110.97/1114.86 c #Conflicts: 308000 | #Constraints: 21095 1110.97/1114.86 c #Conflicts: 309000 | #Constraints: 22095 1110.97/1114.86 c #Conflicts: 310000 | #Constraints: 23095 1110.97/1114.86 c INPROCESSING 1110.97/1114.86 c GARBAGE COLLECT 1110.97/1114.86 c rational objective 120 1163.29/1167.31 c #Conflicts: 311000 | #Constraints: 13112 1163.29/1167.31 c #Conflicts: 312000 | #Constraints: 14112 1163.29/1167.31 c #Conflicts: 313000 | #Constraints: 15112 1163.29/1167.31 c #Conflicts: 314000 | #Constraints: 16112 1163.29/1167.31 c #Conflicts: 315000 | #Constraints: 17112 1163.29/1167.31 c #Conflicts: 316000 | #Constraints: 18112 1163.29/1167.31 c #Conflicts: 317000 | #Constraints: 19112 1163.29/1167.31 c #Conflicts: 318000 | #Constraints: 20112 1163.29/1167.31 c #Conflicts: 319000 | #Constraints: 21112 1163.29/1167.31 c #Conflicts: 320000 | #Constraints: 22112 1163.29/1167.31 c #Conflicts: 321000 | #Constraints: 23112 1163.29/1167.31 c INPROCESSING 1163.29/1167.31 c GARBAGE COLLECT 1163.29/1167.31 c rational objective 120 1237.63/1241.96 c #Conflicts: 322000 | #Constraints: 12930 1237.63/1241.96 c #Conflicts: 323000 | #Constraints: 13931 1237.63/1241.96 c #Conflicts: 324000 | #Constraints: 14931 1237.63/1241.96 c #Conflicts: 325000 | #Constraints: 15931 1237.63/1241.96 c #Conflicts: 326000 | #Constraints: 16932 1237.63/1241.96 c #Conflicts: 327000 | #Constraints: 17932 1237.63/1241.96 c #Conflicts: 328000 | #Constraints: 18932 1237.63/1241.96 c #Conflicts: 329000 | #Constraints: 19932 1237.63/1241.96 c #Conflicts: 330000 | #Constraints: 20932 1237.63/1241.96 c #Conflicts: 331000 | #Constraints: 21933 1237.63/1241.96 c #Conflicts: 332000 | #Constraints: 22933 1237.63/1241.96 c #Conflicts: 333000 | #Constraints: 23933 1237.63/1241.96 c INPROCESSING 1237.63/1241.96 c GARBAGE COLLECT 1237.63/1241.96 c rational objective 120 1287.96/1292.48 c #Conflicts: 334000 | #Constraints: 13519 1287.96/1292.48 c #Conflicts: 335000 | #Constraints: 14519 1287.96/1292.48 c #Conflicts: 336000 | #Constraints: 15519 1287.96/1292.48 c #Conflicts: 337000 | #Constraints: 16519 1287.96/1292.48 c #Conflicts: 338000 | #Constraints: 17519 1287.96/1292.48 c #Conflicts: 339000 | #Constraints: 18519 1287.96/1292.48 c #Conflicts: 340000 | #Constraints: 19519 1287.96/1292.48 c #Conflicts: 341000 | #Constraints: 20520 1287.96/1292.48 c #Conflicts: 342000 | #Constraints: 21520 1287.96/1292.48 c #Conflicts: 343000 | #Constraints: 22520 1287.96/1292.48 c #Conflicts: 344000 | #Constraints: 23520 1287.96/1292.48 c #Conflicts: 345000 | #Constraints: 24521 1287.96/1292.48 c INPROCESSING 1287.96/1292.48 c GARBAGE COLLECT 1287.96/1292.48 c rational objective 120 1343.07/1347.74 c #Conflicts: 346000 | #Constraints: 13913 1343.07/1347.74 c #Conflicts: 347000 | #Constraints: 14913 1343.07/1347.74 c #Conflicts: 348000 | #Constraints: 15913 1343.07/1347.74 c #Conflicts: 349000 | #Constraints: 16913 1343.07/1347.74 c #Conflicts: 350000 | #Constraints: 17913 1343.07/1347.74 c #Conflicts: 351000 | #Constraints: 18913 1343.07/1347.74 c #Conflicts: 352000 | #Constraints: 19913 1343.07/1347.74 c #Conflicts: 353000 | #Constraints: 20913 1343.07/1347.74 c #Conflicts: 354000 | #Constraints: 21913 1343.07/1347.74 c #Conflicts: 355000 | #Constraints: 22914 1343.07/1347.74 c #Conflicts: 356000 | #Constraints: 23914 1343.07/1347.74 c #Conflicts: 357000 | #Constraints: 24914 1343.07/1347.74 c INPROCESSING 1343.07/1347.74 c GARBAGE COLLECT 1343.07/1347.74 c rational objective 120 1392.12/1396.95 c #Conflicts: 358000 | #Constraints: 14109 1392.12/1396.95 c #Conflicts: 359000 | #Constraints: 15109 1392.12/1396.95 c #Conflicts: 360000 | #Constraints: 16109 1392.12/1396.95 c #Conflicts: 361000 | #Constraints: 17109 1392.12/1396.95 c #Conflicts: 362000 | #Constraints: 18109 1392.12/1396.95 c #Conflicts: 363000 | #Constraints: 19109 1392.12/1396.95 c #Conflicts: 364000 | #Constraints: 20109 1392.12/1396.95 c #Conflicts: 365000 | #Constraints: 21109 1392.12/1396.95 c #Conflicts: 366000 | #Constraints: 22110 1392.12/1396.95 c #Conflicts: 367000 | #Constraints: 23110 1392.12/1396.95 c #Conflicts: 368000 | #Constraints: 24110 1392.12/1396.95 c #Conflicts: 369000 | #Constraints: 25110 1392.12/1396.95 c INPROCESSING 1392.12/1396.95 c GARBAGE COLLECT 1392.12/1396.95 c rational objective 120 1452.62/1457.61 c #Conflicts: 370000 | #Constraints: 14107 1452.62/1457.61 c #Conflicts: 371000 | #Constraints: 15107 1452.62/1457.61 c #Conflicts: 372000 | #Constraints: 16107 1452.62/1457.61 c #Conflicts: 373000 | #Constraints: 17107 1452.62/1457.61 c #Conflicts: 374000 | #Constraints: 18107 1452.62/1457.61 c #Conflicts: 375000 | #Constraints: 19107 1452.62/1457.61 c #Conflicts: 376000 | #Constraints: 20107 1452.62/1457.61 c #Conflicts: 377000 | #Constraints: 21107 1452.62/1457.61 c #Conflicts: 378000 | #Constraints: 22107 1452.62/1457.61 c #Conflicts: 379000 | #Constraints: 23107 1452.62/1457.61 c #Conflicts: 380000 | #Constraints: 24108 1452.62/1457.61 c #Conflicts: 381000 | #Constraints: 25108 1452.62/1457.61 c INPROCESSING 1452.62/1457.61 c GARBAGE COLLECT 1452.62/1457.61 c rational objective 120 1505.85/1511.08 c #Conflicts: 382000 | #Constraints: 13910 1505.85/1511.08 c #Conflicts: 383000 | #Constraints: 14910 1505.85/1511.08 c #Conflicts: 384000 | #Constraints: 15910 1505.85/1511.08 c #Conflicts: 385000 | #Constraints: 16910 1505.85/1511.08 c #Conflicts: 386000 | #Constraints: 17910 1505.85/1511.08 c #Conflicts: 387000 | #Constraints: 18911 1505.85/1511.08 c #Conflicts: 388000 | #Constraints: 19911 1505.85/1511.08 c #Conflicts: 389000 | #Constraints: 20911 1505.85/1511.08 c #Conflicts: 390000 | #Constraints: 21911 1505.85/1511.08 c #Conflicts: 391000 | #Constraints: 22911 1505.85/1511.08 c #Conflicts: 392000 | #Constraints: 23911 1505.85/1511.08 c #Conflicts: 393000 | #Constraints: 24911 1505.85/1511.08 c #Conflicts: 394000 | #Constraints: 25911 1505.85/1511.08 c INPROCESSING 1505.85/1511.08 c GARBAGE COLLECT 1505.85/1511.08 c rational objective 120 1566.24/1571.60 c #Conflicts: 395000 | #Constraints: 14518 1566.24/1571.60 c #Conflicts: 396000 | #Constraints: 15518 1566.24/1571.60 c #Conflicts: 397000 | #Constraints: 16518 1566.24/1571.60 c #Conflicts: 398000 | #Constraints: 17518 1566.24/1571.60 c #Conflicts: 399000 | #Constraints: 18518 1566.24/1571.60 c #Conflicts: 400000 | #Constraints: 19518 1566.24/1571.60 c #Conflicts: 401000 | #Constraints: 20518 1566.24/1571.60 c #Conflicts: 402000 | #Constraints: 21519 1566.24/1571.60 c #Conflicts: 403000 | #Constraints: 22519 1566.24/1571.60 c #Conflicts: 404000 | #Constraints: 23519 1566.24/1571.60 c #Conflicts: 405000 | #Constraints: 24519 1566.24/1571.60 c #Conflicts: 406000 | #Constraints: 25520 1566.24/1571.60 c #Conflicts: 407000 | #Constraints: 26520 1566.24/1571.60 c INPROCESSING 1566.24/1571.60 c GARBAGE COLLECT 1566.24/1571.60 c rational objective 120 1625.95/1631.58 c #Conflicts: 408000 | #Constraints: 14912 1625.95/1631.58 c #Conflicts: 409000 | #Constraints: 15912 1625.95/1631.58 c #Conflicts: 410000 | #Constraints: 16912 1625.95/1631.58 c #Conflicts: 411000 | #Constraints: 17912 1625.95/1631.58 c #Conflicts: 412000 | #Constraints: 18912 1625.95/1631.58 c #Conflicts: 413000 | #Constraints: 19912 1625.95/1631.58 c #Conflicts: 414000 | #Constraints: 20912 1625.95/1631.58 c #Conflicts: 415000 | #Constraints: 21912 1625.95/1631.58 c #Conflicts: 416000 | #Constraints: 22913 1625.95/1631.58 c #Conflicts: 417000 | #Constraints: 23913 1625.95/1631.58 c #Conflicts: 418000 | #Constraints: 24913 1625.95/1631.58 c #Conflicts: 419000 | #Constraints: 25913 1625.95/1631.58 c #Conflicts: 420000 | #Constraints: 26913 1625.95/1631.58 c INPROCESSING 1625.95/1631.58 c GARBAGE COLLECT 1625.95/1631.58 c rational objective 120 1702.21/1708.04 c #Conflicts: 421000 | #Constraints: 15143 1702.21/1708.04 c #Conflicts: 422000 | #Constraints: 16144 1702.21/1708.04 c #Conflicts: 423000 | #Constraints: 17144 1702.21/1708.04 c #Conflicts: 424000 | #Constraints: 18144 1702.21/1708.04 c #Conflicts: 425000 | #Constraints: 19144 1702.21/1708.04 c #Conflicts: 426000 | #Constraints: 20144 1702.21/1708.04 c #Conflicts: 427000 | #Constraints: 21145 1702.21/1708.04 c #Conflicts: 428000 | #Constraints: 22145 1702.21/1708.04 c #Conflicts: 429000 | #Constraints: 23145 1702.21/1708.04 c #Conflicts: 430000 | #Constraints: 24145 1702.21/1708.04 c #Conflicts: 431000 | #Constraints: 25145 1702.21/1708.04 c #Conflicts: 432000 | #Constraints: 26145 1702.21/1708.04 c #Conflicts: 433000 | #Constraints: 27145 1702.21/1708.04 c INPROCESSING 1702.21/1708.04 c GARBAGE COLLECT 1702.21/1708.04 c rational objective 120 1808.84/1815.05 c #Conflicts: 434000 | #Constraints: 15171 1808.84/1815.05 c #Conflicts: 435000 | #Constraints: 16171 1808.84/1815.05 c #Conflicts: 436000 | #Constraints: 17172 1808.84/1815.05 c #Conflicts: 437000 | #Constraints: 18172 1808.84/1815.05 c #Conflicts: 438000 | #Constraints: 19172 1808.84/1815.05 c #Conflicts: 439000 | #Constraints: 20172 1808.84/1815.05 c #Conflicts: 440000 | #Constraints: 21172 1808.84/1815.05 c #Conflicts: 441000 | #Constraints: 22172 1808.84/1815.05 c #Conflicts: 442000 | #Constraints: 23172 1808.84/1815.05 c #Conflicts: 443000 | #Constraints: 24172 1808.84/1815.05 c #Conflicts: 444000 | #Constraints: 25172 1808.84/1815.05 c #Conflicts: 445000 | #Constraints: 26172 1808.84/1815.05 c #Conflicts: 446000 | #Constraints: 27172 1808.84/1815.05 c INPROCESSING 1808.84/1815.05 c GARBAGE COLLECT 1808.84/1815.05 c rational objective 120 1885.68/1892.12 c #Conflicts: 447000 | #Constraints: 14979 1885.68/1892.12 c #Conflicts: 448000 | #Constraints: 15980 1885.68/1892.12 c #Conflicts: 449000 | #Constraints: 16980 1885.68/1892.12 c #Conflicts: 450000 | #Constraints: 17981 1885.68/1892.12 c #Conflicts: 451000 | #Constraints: 18981 1885.68/1892.12 c #Conflicts: 452000 | #Constraints: 19981 1885.68/1892.12 c #Conflicts: 453000 | #Constraints: 20981 1885.68/1892.12 c #Conflicts: 454000 | #Constraints: 21981 1885.68/1892.12 c #Conflicts: 455000 | #Constraints: 22981 1885.68/1892.12 c #Conflicts: 456000 | #Constraints: 23981 1885.68/1892.12 c #Conflicts: 457000 | #Constraints: 24981 1885.68/1892.12 c #Conflicts: 458000 | #Constraints: 25981 1885.68/1892.12 c #Conflicts: 459000 | #Constraints: 26981 1885.68/1892.12 c #Conflicts: 460000 | #Constraints: 27981 1885.68/1892.12 c INPROCESSING 1885.68/1892.12 c GARBAGE COLLECT 1885.68/1892.12 c rational objective 120 1959.73/1966.42 c #Conflicts: 461000 | #Constraints: 15567 1959.73/1966.42 c #Conflicts: 462000 | #Constraints: 16567 1959.73/1966.42 c #Conflicts: 463000 | #Constraints: 17567 1959.73/1966.42 c #Conflicts: 464000 | #Constraints: 18567 1959.73/1966.42 c #Conflicts: 465000 | #Constraints: 19567 1959.73/1966.42 c #Conflicts: 466000 | #Constraints: 20567 1959.73/1966.42 c #Conflicts: 467000 | #Constraints: 21567 1959.73/1966.42 c #Conflicts: 468000 | #Constraints: 22567 1959.73/1966.42 c #Conflicts: 469000 | #Constraints: 23568 1959.73/1966.42 c #Conflicts: 470000 | #Constraints: 24568 1959.73/1966.42 c #Conflicts: 471000 | #Constraints: 25568 1959.73/1966.42 c #Conflicts: 472000 | #Constraints: 26568 1959.73/1966.42 c #Conflicts: 473000 | #Constraints: 27568 1959.73/1966.42 c #Conflicts: 474000 | #Constraints: 28568 1959.73/1966.42 c INPROCESSING 1959.73/1966.42 c GARBAGE COLLECT 1959.73/1966.42 c rational objective 120 2045.24/2052.23 c #Conflicts: 475000 | #Constraints: 15962 2045.24/2052.23 c #Conflicts: 476000 | #Constraints: 16962 2045.24/2052.23 c #Conflicts: 477000 | #Constraints: 17962 2045.24/2052.23 c #Conflicts: 478000 | #Constraints: 18962 2045.24/2052.23 c #Conflicts: 479000 | #Constraints: 19962 2045.24/2052.23 c #Conflicts: 480000 | #Constraints: 20962 2045.24/2052.23 c #Conflicts: 481000 | #Constraints: 21962 2045.24/2052.23 c #Conflicts: 482000 | #Constraints: 22962 2045.24/2052.23 c #Conflicts: 483000 | #Constraints: 23962 2045.24/2052.23 c #Conflicts: 484000 | #Constraints: 24962 2045.24/2052.23 c #Conflicts: 485000 | #Constraints: 25962 2045.24/2052.23 c #Conflicts: 486000 | #Constraints: 26962 2045.24/2052.23 c #Conflicts: 487000 | #Constraints: 27962 2045.24/2052.23 c #Conflicts: 488000 | #Constraints: 28962 2045.24/2052.23 c INPROCESSING 2045.24/2052.23 c GARBAGE COLLECT 2045.24/2052.23 c rational objective 120 2138.75/2146.00 c #Conflicts: 489000 | #Constraints: 16193 2138.75/2146.00 c #Conflicts: 490000 | #Constraints: 17193 2138.75/2146.00 c #Conflicts: 491000 | #Constraints: 18193 2138.75/2146.00 c #Conflicts: 492000 | #Constraints: 19194 2138.75/2146.00 c #Conflicts: 493000 | #Constraints: 20194 2138.75/2146.00 c #Conflicts: 494000 | #Constraints: 21194 2138.75/2146.00 c #Conflicts: 495000 | #Constraints: 22195 2138.75/2146.00 c #Conflicts: 496000 | #Constraints: 23195 2138.75/2146.00 c #Conflicts: 497000 | #Constraints: 24195 2138.75/2146.00 c #Conflicts: 498000 | #Constraints: 25195 2138.75/2146.00 c #Conflicts: 499000 | #Constraints: 26195 2138.75/2146.00 c #Conflicts: 500000 | #Constraints: 27196 2138.75/2146.00 c #Conflicts: 501000 | #Constraints: 28196 2138.75/2146.00 c #Conflicts: 502000 | #Constraints: 29196 2138.75/2146.00 c INPROCESSING 2138.75/2146.00 c GARBAGE COLLECT 2138.75/2146.00 c rational objective 120 2240.70/2248.37 c #Conflicts: 503000 | #Constraints: 16173 2240.70/2248.37 c #Conflicts: 504000 | #Constraints: 17173 2240.70/2248.37 c #Conflicts: 505000 | #Constraints: 18173 2240.70/2248.37 c #Conflicts: 506000 | #Constraints: 19173 2240.70/2248.37 c #Conflicts: 507000 | #Constraints: 20173 2240.70/2248.37 c #Conflicts: 508000 | #Constraints: 21173 2240.70/2248.37 c #Conflicts: 509000 | #Constraints: 22173 2240.70/2248.37 c #Conflicts: 510000 | #Constraints: 23173 2240.70/2248.37 c #Conflicts: 511000 | #Constraints: 24173 2240.70/2248.37 c #Conflicts: 512000 | #Constraints: 25173 2240.70/2248.37 c #Conflicts: 513000 | #Constraints: 26174 2240.70/2248.37 c #Conflicts: 514000 | #Constraints: 27174 2240.70/2248.37 c #Conflicts: 515000 | #Constraints: 28174 2240.70/2248.37 c #Conflicts: 516000 | #Constraints: 29174 2240.70/2248.37 c INPROCESSING 2240.70/2248.37 c GARBAGE COLLECT 2240.70/2248.37 c rational objective 120 2310.17/2318.03 c #Conflicts: 517000 | #Constraints: 15959 2310.17/2318.03 c #Conflicts: 518000 | #Constraints: 16959 2310.17/2318.03 c #Conflicts: 519000 | #Constraints: 17959 2310.17/2318.03 c #Conflicts: 520000 | #Constraints: 18959 2310.17/2318.03 c #Conflicts: 521000 | #Constraints: 19959 2310.17/2318.03 c #Conflicts: 522000 | #Constraints: 20959 2310.17/2318.03 c #Conflicts: 523000 | #Constraints: 21959 2310.17/2318.03 c #Conflicts: 524000 | #Constraints: 22960 2310.17/2318.03 c #Conflicts: 525000 | #Constraints: 23960 2310.17/2318.03 c #Conflicts: 526000 | #Constraints: 24960 2310.17/2318.03 c #Conflicts: 527000 | #Constraints: 25960 2310.17/2318.03 c #Conflicts: 528000 | #Constraints: 26960 2310.17/2318.03 c #Conflicts: 529000 | #Constraints: 27961 2310.17/2318.03 c #Conflicts: 530000 | #Constraints: 28961 2310.17/2318.03 c #Conflicts: 531000 | #Constraints: 29961 2310.17/2318.03 c INPROCESSING 2310.17/2318.03 c GARBAGE COLLECT 2310.17/2318.03 c rational objective 120 2378.64/2386.73 c #Conflicts: 532000 | #Constraints: 16556 2378.64/2386.73 c #Conflicts: 533000 | #Constraints: 17556 2378.64/2386.73 c #Conflicts: 534000 | #Constraints: 18556 2378.64/2386.73 c #Conflicts: 535000 | #Constraints: 19556 2378.64/2386.73 c #Conflicts: 536000 | #Constraints: 20556 2378.64/2386.73 c #Conflicts: 537000 | #Constraints: 21556 2378.64/2386.73 c #Conflicts: 538000 | #Constraints: 22556 2378.64/2386.73 c #Conflicts: 539000 | #Constraints: 23556 2378.64/2386.73 c #Conflicts: 540000 | #Constraints: 24557 2378.64/2386.73 c #Conflicts: 541000 | #Constraints: 25557 2378.64/2386.73 c #Conflicts: 542000 | #Constraints: 26557 2378.64/2386.73 c #Conflicts: 543000 | #Constraints: 27557 2378.64/2386.73 c #Conflicts: 544000 | #Constraints: 28557 2378.64/2386.73 c #Conflicts: 545000 | #Constraints: 29557 2378.64/2386.73 c #Conflicts: 546000 | #Constraints: 30557 2378.64/2386.73 c INPROCESSING 2378.64/2386.73 c GARBAGE COLLECT 2378.64/2386.73 c rational objective 120 2470.64/2479.05 c #Conflicts: 547000 | #Constraints: 16945 2470.64/2479.05 c #Conflicts: 548000 | #Constraints: 17945 2470.64/2479.05 c #Conflicts: 549000 | #Constraints: 18945 2470.64/2479.05 c #Conflicts: 550000 | #Constraints: 19946 2470.64/2479.05 c #Conflicts: 551000 | #Constraints: 20946 2470.64/2479.05 c #Conflicts: 552000 | #Constraints: 21946 2470.64/2479.05 c #Conflicts: 553000 | #Constraints: 22946 2470.64/2479.05 c #Conflicts: 554000 | #Constraints: 23947 2470.64/2479.05 c #Conflicts: 555000 | #Constraints: 24947 2470.64/2479.05 c #Conflicts: 556000 | #Constraints: 25947 2470.64/2479.05 c #Conflicts: 557000 | #Constraints: 26947 2470.64/2479.05 c #Conflicts: 558000 | #Constraints: 27947 2470.64/2479.05 c #Conflicts: 559000 | #Constraints: 28947 2470.64/2479.05 c #Conflicts: 560000 | #Constraints: 29947 2470.64/2479.05 c #Conflicts: 561000 | #Constraints: 30947 2470.64/2479.05 c INPROCESSING 2470.64/2479.05 c GARBAGE COLLECT 2470.64/2479.05 c rational objective 120 2546.28/2554.94 c #Conflicts: 562000 | #Constraints: 17133 2546.28/2554.94 c #Conflicts: 563000 | #Constraints: 18133 2546.28/2554.94 c #Conflicts: 564000 | #Constraints: 19133 2546.28/2554.94 c #Conflicts: 565000 | #Constraints: 20134 2546.28/2554.94 c #Conflicts: 566000 | #Constraints: 21134 2546.28/2554.94 c #Conflicts: 567000 | #Constraints: 22134 2546.28/2554.94 c #Conflicts: 568000 | #Constraints: 23134 2546.28/2554.94 c #Conflicts: 569000 | #Constraints: 24134 2546.28/2554.94 c #Conflicts: 570000 | #Constraints: 25134 2546.28/2554.94 c #Conflicts: 571000 | #Constraints: 26134 2546.28/2554.94 c #Conflicts: 572000 | #Constraints: 27134 2546.28/2554.94 c #Conflicts: 573000 | #Constraints: 28134 2546.28/2554.94 c #Conflicts: 574000 | #Constraints: 29134 2546.28/2554.94 c #Conflicts: 575000 | #Constraints: 30134 2546.28/2554.94 c #Conflicts: 576000 | #Constraints: 31135 2546.28/2554.94 c INPROCESSING 2546.28/2554.94 c GARBAGE COLLECT 2546.28/2554.94 c rational objective 120 2616.54/2625.46 c #Conflicts: 577000 | #Constraints: 17143 2616.54/2625.46 c #Conflicts: 578000 | #Constraints: 18143 2616.54/2625.46 c #Conflicts: 579000 | #Constraints: 19143 2616.54/2625.46 c #Conflicts: 580000 | #Constraints: 20143 2616.54/2625.46 c #Conflicts: 581000 | #Constraints: 21143 2616.54/2625.46 c #Conflicts: 582000 | #Constraints: 22143 2616.54/2625.46 c #Conflicts: 583000 | #Constraints: 23144 2616.54/2625.46 c #Conflicts: 584000 | #Constraints: 24144 2616.54/2625.46 c #Conflicts: 585000 | #Constraints: 25145 2616.54/2625.46 c #Conflicts: 586000 | #Constraints: 26145 2616.54/2625.46 c #Conflicts: 587000 | #Constraints: 27145 2616.54/2625.46 c #Conflicts: 588000 | #Constraints: 28145 2616.54/2625.46 c #Conflicts: 589000 | #Constraints: 29145 2616.54/2625.46 c #Conflicts: 590000 | #Constraints: 30145 2616.54/2625.46 c #Conflicts: 591000 | #Constraints: 31145 2616.54/2625.46 c INPROCESSING 2616.54/2625.46 c GARBAGE COLLECT 2616.54/2625.46 c rational objective 120 2702.35/2711.59 c #Conflicts: 592000 | #Constraints: 16941 2702.35/2711.59 c #Conflicts: 593000 | #Constraints: 17941 2702.35/2711.59 c #Conflicts: 594000 | #Constraints: 18942 2702.35/2711.59 c #Conflicts: 595000 | #Constraints: 19942 2702.35/2711.59 c #Conflicts: 596000 | #Constraints: 20942 2702.35/2711.59 c #Conflicts: 597000 | #Constraints: 21942 2702.35/2711.59 c #Conflicts: 598000 | #Constraints: 22942 2702.35/2711.59 c #Conflicts: 599000 | #Constraints: 23942 2702.35/2711.59 c #Conflicts: 600000 | #Constraints: 24943 2702.35/2711.59 c #Conflicts: 601000 | #Constraints: 25943 2702.35/2711.59 c #Conflicts: 602000 | #Constraints: 26943 2702.35/2711.59 c #Conflicts: 603000 | #Constraints: 27943 2702.35/2711.59 c #Conflicts: 604000 | #Constraints: 28943 2702.35/2711.59 c #Conflicts: 605000 | #Constraints: 29943 2702.35/2711.59 c #Conflicts: 606000 | #Constraints: 30943 2702.35/2711.59 c #Conflicts: 607000 | #Constraints: 31943 2702.35/2711.59 c INPROCESSING 2702.35/2711.59 c GARBAGE COLLECT 2702.35/2711.59 c rational objective 120 2788.07/2797.58 c #Conflicts: 608000 | #Constraints: 17542 2788.07/2797.58 c #Conflicts: 609000 | #Constraints: 18542 2788.07/2797.58 c #Conflicts: 610000 | #Constraints: 19543 2788.07/2797.58 c #Conflicts: 611000 | #Constraints: 20543 2788.07/2797.58 c #Conflicts: 612000 | #Constraints: 21543 2788.07/2797.58 c #Conflicts: 613000 | #Constraints: 22543 2788.07/2797.58 c #Conflicts: 614000 | #Constraints: 23543 2788.07/2797.58 c #Conflicts: 615000 | #Constraints: 24543 2788.07/2797.58 c #Conflicts: 616000 | #Constraints: 25543 2788.07/2797.58 c #Conflicts: 617000 | #Constraints: 26543 2788.07/2797.58 c #Conflicts: 618000 | #Constraints: 27543 2788.07/2797.58 c #Conflicts: 619000 | #Constraints: 28543 2788.07/2797.58 c #Conflicts: 620000 | #Constraints: 29543 2788.07/2797.58 c #Conflicts: 621000 | #Constraints: 30543 2788.07/2797.58 c #Conflicts: 622000 | #Constraints: 31543 2788.07/2797.58 c #Conflicts: 623000 | #Constraints: 32543 2788.07/2797.58 c INPROCESSING 2788.07/2797.58 c GARBAGE COLLECT 2788.07/2797.58 c rational objective 120 2863.81/2873.52 c #Conflicts: 624000 | #Constraints: 17930 2863.81/2873.52 c #Conflicts: 625000 | #Constraints: 18931 2863.81/2873.52 c #Conflicts: 626000 | #Constraints: 19931 2863.81/2873.52 c #Conflicts: 627000 | #Constraints: 20931 2863.81/2873.52 c #Conflicts: 628000 | #Constraints: 21931 2863.81/2873.52 c #Conflicts: 629000 | #Constraints: 22931 2863.81/2873.52 c #Conflicts: 630000 | #Constraints: 23931 2863.81/2873.52 c #Conflicts: 631000 | #Constraints: 24932 2863.81/2873.52 c #Conflicts: 632000 | #Constraints: 25932 2863.81/2873.52 c #Conflicts: 633000 | #Constraints: 26932 2863.81/2873.52 c #Conflicts: 634000 | #Constraints: 27932 2863.81/2873.52 c #Conflicts: 635000 | #Constraints: 28932 2863.81/2873.52 c #Conflicts: 636000 | #Constraints: 29932 2863.81/2873.52 c #Conflicts: 637000 | #Constraints: 30932 2863.81/2873.52 c #Conflicts: 638000 | #Constraints: 31932 2863.81/2873.52 c #Conflicts: 639000 | #Constraints: 32932 2863.81/2873.52 c INPROCESSING 2863.81/2873.52 c GARBAGE COLLECT 2863.81/2873.52 c rational objective 120 2939.66/2949.64 c #Conflicts: 640000 | #Constraints: 18132 2939.66/2949.64 c #Conflicts: 641000 | #Constraints: 19132 2939.66/2949.64 c #Conflicts: 642000 | #Constraints: 20132 2939.66/2949.64 c #Conflicts: 643000 | #Constraints: 21132 2939.66/2949.64 c #Conflicts: 644000 | #Constraints: 22132 2939.66/2949.64 c #Conflicts: 645000 | #Constraints: 23132 2939.66/2949.64 c #Conflicts: 646000 | #Constraints: 24132 2939.66/2949.64 c #Conflicts: 647000 | #Constraints: 25132 2939.66/2949.64 c #Conflicts: 648000 | #Constraints: 26132 2939.66/2949.64 c #Conflicts: 649000 | #Constraints: 27132 2939.66/2949.64 c #Conflicts: 650000 | #Constraints: 28132 2939.66/2949.64 c #Conflicts: 651000 | #Constraints: 29132 2939.66/2949.64 c #Conflicts: 652000 | #Constraints: 30132 2939.66/2949.64 c #Conflicts: 653000 | #Constraints: 31132 2939.66/2949.64 c #Conflicts: 654000 | #Constraints: 32132 2939.66/2949.64 c #Conflicts: 655000 | #Constraints: 33132 2939.66/2949.64 c INPROCESSING 2939.66/2949.64 c GARBAGE COLLECT 2939.66/2949.64 c rational objective 120 3155.74/3166.41 c #Conflicts: 656000 | #Constraints: 18159 3155.74/3166.41 c #Conflicts: 657000 | #Constraints: 19159 3155.74/3166.41 c #Conflicts: 658000 | #Constraints: 20159 3155.74/3166.41 c #Conflicts: 659000 | #Constraints: 21160 3155.74/3166.41 c #Conflicts: 660000 | #Constraints: 22160 3155.74/3166.41 c #Conflicts: 661000 | #Constraints: 23161 3155.74/3166.41 c #Conflicts: 662000 | #Constraints: 24161 3155.74/3166.41 c #Conflicts: 663000 | #Constraints: 25161 3155.74/3166.41 c #Conflicts: 664000 | #Constraints: 26161 3155.74/3166.41 c #Conflicts: 665000 | #Constraints: 27161 3155.74/3166.41 c #Conflicts: 666000 | #Constraints: 28161 3155.74/3166.41 c #Conflicts: 667000 | #Constraints: 29161 3155.74/3166.41 c #Conflicts: 668000 | #Constraints: 30161 3155.74/3166.41 c #Conflicts: 669000 | #Constraints: 31161 3155.74/3166.41 c #Conflicts: 670000 | #Constraints: 32161 3155.74/3166.41 c #Conflicts: 671000 | #Constraints: 33162 3155.74/3166.41 c INPROCESSING 3155.74/3166.41 c GARBAGE COLLECT 3155.74/3166.41 c #Conflicts: 672000 | #Constraints: 17954 3155.74/3166.41 c #Conflicts: 673000 | #Constraints: 18954 3155.74/3166.41 c #Conflicts: 674000 | #Constraints: 19954 3155.74/3166.41 c #Conflicts: 675000 | #Constraints: 20954 3155.74/3166.41 c #Conflicts: 676000 | #Constraints: 21954 3155.74/3166.41 c #Conflicts: 677000 | #Constraints: 22954 3155.74/3166.41 c #Conflicts: 678000 | #Constraints: 23954 3155.74/3166.41 c #Conflicts: 679000 | #Constraints: 24954 3155.74/3166.41 c #Conflicts: 680000 | #Constraints: 25954 3155.74/3166.41 c #Conflicts: 681000 | #Constraints: 26955 3155.74/3166.41 c #Conflicts: 682000 | #Constraints: 27955 3155.74/3166.41 c #Conflicts: 683000 | #Constraints: 28955 3155.74/3166.41 c #Conflicts: 684000 | #Constraints: 29955 3155.74/3166.41 c #Conflicts: 685000 | #Constraints: 30955 3155.74/3166.41 c #Conflicts: 686000 | #Constraints: 31955 3155.74/3166.41 c #Conflicts: 687000 | #Constraints: 32955 3155.74/3166.41 c #Conflicts: 688000 | #Constraints: 33955 3155.74/3166.41 c INPROCESSING 3155.74/3166.41 c GARBAGE COLLECT 3155.74/3166.41 c rational objective 120 3243.17/3254.17 c #Conflicts: 689000 | #Constraints: 18552 3243.17/3254.17 c #Conflicts: 690000 | #Constraints: 19552 3243.17/3254.17 c #Conflicts: 691000 | #Constraints: 20553 3243.17/3254.17 c #Conflicts: 692000 | #Constraints: 21553 3243.17/3254.17 c #Conflicts: 693000 | #Constraints: 22553 3243.17/3254.17 c #Conflicts: 694000 | #Constraints: 23553 3243.17/3254.17 c #Conflicts: 695000 | #Constraints: 24553 3243.17/3254.17 c #Conflicts: 696000 | #Constraints: 25553 3243.17/3254.17 c #Conflicts: 697000 | #Constraints: 26554 3243.17/3254.17 c #Conflicts: 698000 | #Constraints: 27554 3243.17/3254.17 c #Conflicts: 699000 | #Constraints: 28554 3243.17/3254.17 c #Conflicts: 700000 | #Constraints: 29554 3243.17/3254.17 c #Conflicts: 701000 | #Constraints: 30554 3243.17/3254.17 c #Conflicts: 702000 | #Constraints: 31554 3243.17/3254.17 c #Conflicts: 703000 | #Constraints: 32554 3243.17/3254.17 c #Conflicts: 704000 | #Constraints: 33554 3243.17/3254.17 c #Conflicts: 705000 | #Constraints: 34554 3243.17/3254.17 c INPROCESSING 3243.17/3254.17 c GARBAGE COLLECT 3243.17/3254.17 c rational objective 120 3354.58/3365.90 c #Conflicts: 706000 | #Constraints: 18952 3354.58/3365.90 c #Conflicts: 707000 | #Constraints: 19953 3354.58/3365.90 c #Conflicts: 708000 | #Constraints: 20953 3354.58/3365.90 c #Conflicts: 709000 | #Constraints: 21953 3354.58/3365.90 c #Conflicts: 710000 | #Constraints: 22953 3354.58/3365.90 c #Conflicts: 711000 | #Constraints: 23953 3354.58/3365.90 c #Conflicts: 712000 | #Constraints: 24953 3354.58/3365.90 c #Conflicts: 713000 | #Constraints: 25953 3354.58/3365.90 c #Conflicts: 714000 | #Constraints: 26953 3354.58/3365.90 c #Conflicts: 715000 | #Constraints: 27953 3354.58/3365.90 c #Conflicts: 716000 | #Constraints: 28953 3354.58/3365.90 c #Conflicts: 717000 | #Constraints: 29953 3354.58/3365.90 c #Conflicts: 718000 | #Constraints: 30953 3354.58/3365.90 c #Conflicts: 719000 | #Constraints: 31953 3354.58/3365.90 c #Conflicts: 720000 | #Constraints: 32953 3354.58/3365.90 c #Conflicts: 721000 | #Constraints: 33953 3354.58/3365.90 c #Conflicts: 722000 | #Constraints: 34953 3354.58/3365.90 c INPROCESSING 3354.58/3365.90 c GARBAGE COLLECT 3354.58/3365.90 c rational objective 120 3495.30/3507.16 c #Conflicts: 723000 | #Constraints: 19165 3495.30/3507.16 c #Conflicts: 724000 | #Constraints: 20165 3495.30/3507.16 c #Conflicts: 725000 | #Constraints: 21166 3495.30/3507.16 c #Conflicts: 726000 | #Constraints: 22166 3495.30/3507.16 c #Conflicts: 727000 | #Constraints: 23166 3495.30/3507.16 c #Conflicts: 728000 | #Constraints: 24166 3495.30/3507.16 c #Conflicts: 729000 | #Constraints: 25166 3495.30/3507.16 c #Conflicts: 730000 | #Constraints: 26166 3495.30/3507.16 c #Conflicts: 731000 | #Constraints: 27166 3495.30/3507.16 c #Conflicts: 732000 | #Constraints: 28166 3495.30/3507.16 c #Conflicts: 733000 | #Constraints: 29167 3495.30/3507.16 c #Conflicts: 734000 | #Constraints: 30167 3495.30/3507.16 c #Conflicts: 735000 | #Constraints: 31167 3495.30/3507.16 c #Conflicts: 736000 | #Constraints: 32167 3495.30/3507.16 c #Conflicts: 737000 | #Constraints: 33167 3495.30/3507.16 c #Conflicts: 738000 | #Constraints: 34167 3495.30/3507.16 c #Conflicts: 739000 | #Constraints: 35167 3495.30/3507.16 c INPROCESSING 3495.30/3507.16 c GARBAGE COLLECT 3495.30/3507.16 c rational objective 120 3589.07/3601.22 c #Conflicts: 740000 | #Constraints: 19225 3589.07/3601.22 c #Conflicts: 741000 | #Constraints: 20225 3589.07/3601.22 c #Conflicts: 742000 | #Constraints: 21225 3589.07/3601.22 c #Conflicts: 743000 | #Constraints: 22225 3589.07/3601.22 c #Conflicts: 744000 | #Constraints: 23225 3589.07/3601.22 c #Conflicts: 745000 | #Constraints: 24225 3589.07/3601.22 c #Conflicts: 746000 | #Constraints: 25225 3589.07/3601.22 c #Conflicts: 747000 | #Constraints: 26225 3589.07/3601.22 c #Conflicts: 748000 | #Constraints: 27225 3589.07/3601.22 c #Conflicts: 749000 | #Constraints: 28225 3589.07/3601.22 c #Conflicts: 750000 | #Constraints: 29226 3589.07/3601.22 c #Conflicts: 751000 | #Constraints: 30226 3589.07/3601.22 c #Conflicts: 752000 | #Constraints: 31226 3589.07/3601.22 c #Conflicts: 753000 | #Constraints: 32226 3589.07/3601.22 c #Conflicts: 754000 | #Constraints: 33226 3589.07/3601.22 c #Conflicts: 755000 | #Constraints: 34226 3589.07/3601.22 c #Conflicts: 756000 | #Constraints: 35226 3589.07/3601.22 c INPROCESSING 3589.07/3601.22 c GARBAGE COLLECT 3589.07/3601.22 c rational objective 120 3600.03/3612.20 c #Conflicts: 757000 | #Constraints: 18965 3600.03/3612.20 c #Conflicts: 758000 | #Constraints: 19965 3600.03/3612.20 c #Conflicts: 759000 | #Constraints: 20965 3600.03/3612.20 c #Conflicts: 760000 | #Constraints: 21965 3600.03/3612.20 c Program interrupted by user. 3600.03/3612.27 c cpu time 3568.59 s 3600.03/3612.27 c deterministic time 479544646267 4.80e+11 3600.03/3612.27 c optimization time 10.5748 s 3600.03/3612.27 c total solve time 3557.97 s 3600.03/3612.27 c core-guided solve time 0 s 3600.03/3612.27 c propagation time 2334.13 s 3600.03/3612.27 c conflict analysis time 838.514 s 3600.03/3612.27 c propagations 173351490 3600.03/3612.27 c resolve steps 7657153 3600.03/3612.27 c decisions 8174354 3600.03/3612.27 c conflicts 760294 3600.03/3612.27 c restarts 1596 3600.03/3612.27 c inprocessing phases 78 3600.03/3612.27 c input clauses 480 3600.03/3612.27 c input cardinalities 608 3600.03/3612.27 c input general constraints 0 3600.03/3612.27 c input average constraint length 132.35 3600.03/3612.27 c input average constraint degree 79.18 3600.03/3612.27 c learned clauses 73458 3600.03/3612.27 c learned cardinalities 30950 3600.03/3612.27 c learned general constraints 655961 3600.03/3612.27 c learned average constraint length 2533.62 3600.03/3612.27 c learned average constraint degree 86211181.24 3600.03/3612.27 c watched constraints 463233 3600.03/3612.27 c counting constraints 192728 3600.03/3612.27 c gcd simplifications 242 3600.03/3612.27 c detected cardinalities 1 3600.03/3612.27 c weakened non-implied lits 843751911 3600.03/3612.27 c weakened non-implying lits 308685 3600.03/3612.27 c original variables 14400 3600.03/3612.27 c clausal propagations 1003890 3600.03/3612.27 c cardinality propagations 115163641 3600.03/3612.27 c watched propagations 7283279 3600.03/3612.27 c counting propagations 47460002 3600.03/3612.27 c watch lookups 13570915255 3600.03/3612.27 c watch backjump lookups 11934605962 3600.03/3612.27 c watch checks 320207112510 3600.03/3612.27 c propagation checks 127923546166 3600.03/3612.27 c constraint additions 5543240653 3600.03/3612.27 c trail pops 182272317 3600.03/3612.27 c formula constraints 1088 3600.03/3612.27 c learned constraints 760219 3600.03/3612.27 c bound constraints 0 3600.03/3612.27 c core-guided constraints 0 3600.03/3612.27 c encountered formula constraints 2283421 3600.03/3612.27 c encountered learned constraints 6133694 3600.03/3612.27 c encountered bound constraints 0 3600.03/3612.27 c encountered core-guided constraints 0 3600.03/3612.27 c LP total time 507.648 s 3600.03/3612.27 c LP solve time 497.04 s 3600.03/3612.27 c LP constraints added 1112 3600.03/3612.27 c LP constraints removed 23 3600.03/3612.27 c LP pivots internal 760699 3600.03/3612.27 c LP pivots root 666860 3600.03/3612.27 c LP calls 158 3600.03/3612.27 c LP optimalities 77 3600.03/3612.27 c LP no pivot count 9 3600.03/3612.27 c LP infeasibilities 75 3600.03/3612.27 c LP valid Farkas constraints 75 3600.03/3612.27 c LP learned Farkas constraints 75 3600.03/3612.27 c LP basis resets 0 3600.03/3612.27 c LP cycling count 0 3600.03/3612.27 c LP singular count 0 3600.03/3612.27 c LP no primal count 0 3600.03/3612.27 c LP no farkas count 0 3600.03/3612.27 c LP other issue count 0 3600.03/3612.27 c LP Gomory cuts 0 3600.03/3612.27 c LP learned cuts 26 3600.03/3612.27 c LP deleted cuts 24 3600.03/3612.27 c LP encountered Gomory constraints 0 3600.03/3612.27 c LP encountered Farkas constraints 161 3600.03/3612.27 c LP encountered learned Farkas constraints 96 3600.03/3612.27 c CG auxiliary variables introduced 0 3600.03/3612.27 c CG solutions found 0 3600.03/3612.27 c CG cores constructed 0 3600.03/3612.27 c CG core cardinality constraints returned 0 3600.03/3612.27 c CG unit cores 0 3600.03/3612.27 c CG single cores 0 3600.03/3612.27 c CG blocks removed during cardinality reduction 0 3600.03/3612.27 c CG first core best 0 3600.03/3612.27 c CG decision core best 0 3600.03/3612.27 c CG core reduction tie 0 3600.03/3612.27 c CG core degree average 0.00 3600.03/3612.27 c CG core slack average 0.00 3600.03/3612.27 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 (59483 MiB free)
memory of node 1: 64510 MiB (60662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460582-1722064928/watcher-4460582-1722064928 -o /tmp/evaluation-result-4460582-1722064928/solver-4460582-1722064928 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307174 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460582-1722064928 --lp-cut-gomory=0 HOME/instance-4460582-1722064928.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=308093, runsolver pid=308090
[startup+0.100591 s]*
/proc/loadavg: 3.21 1.17 0.50 5/260 308096
/proc/meminfo: memFree=123006668/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=57148 memory=28620 CPUtime=0.09 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 6065 0 0 0 8 1 0 0 20 0 1 0 43023079 58519552 7155 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 14287 7155 1664 992 0 6145 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 28620 KiB
[startup+0.205569 s]*
/proc/loadavg: 3.21 1.17 0.50 5/260 308096
/proc/meminfo: memFree=123006108/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=57148 memory=28620 CPUtime=0.19 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 6065 0 0 0 18 1 0 0 20 0 1 0 43023079 58519552 7155 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 14287 7155 1664 992 0 6145 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 28620 KiB
[startup+0.30485 s]*
/proc/loadavg: 3.27 1.22 0.51 5/260 308096
/proc/meminfo: memFree=123005940/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=57148 memory=28620 CPUtime=0.29 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 6065 0 0 0 28 1 0 0 20 0 1 0 43023079 58519552 7155 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 14287 7155 1664 992 0 6145 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 28620 KiB
[startup+0.700149 s]
/proc/loadavg: 3.27 1.22 0.51 5/260 308096
/proc/meminfo: memFree=123005800/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=57148 memory=28620 CPUtime=0.68 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 6065 0 0 0 67 1 0 0 20 0 1 0 43023079 58519552 7155 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 14287 7155 1664 992 0 6145 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 28620 KiB
[startup+1.50019 s]
/proc/loadavg: 3.27 1.22 0.51 5/260 308096
/proc/meminfo: memFree=123005268/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=61700 memory=33236 CPUtime=1.47 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 6638 0 0 0 142 5 0 0 20 0 1 0 43023079 63180800 8309 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 15425 8309 1744 992 0 7283 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 33236 KiB
[startup+3.10555 s]
/proc/loadavg: 3.27 1.22 0.51 5/260 308096
/proc/meminfo: memFree=122972052/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=80908 memory=47788 CPUtime=3.08 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 9822 0 0 0 297 11 0 0 20 0 1 0 43023079 82849792 11947 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 20227 11947 1744 992 0 12085 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80908 KiB
Current children cumulated memory: 47788 KiB
[startup+6.30015 s]
/proc/loadavg: 3.33 1.27 0.53 5/260 308096
/proc/meminfo: memFree=122962288/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=81768 memory=48580 CPUtime=6.26 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 9977 0 0 0 613 13 0 0 20 0 1 0 43023079 83730432 12145 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 20442 12145 1744 992 0 12300 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 81768 KiB
Current children cumulated memory: 48580 KiB
[startup+12.7002 s]
/proc/loadavg: 3.39 1.31 0.55 5/260 308097
/proc/meminfo: memFree=122914836/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=89960 memory=63176 CPUtime=12.64 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 12575 0 0 0 1233 31 0 0 20 0 1 0 43023079 92119040 15794 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 22490 15794 1806 992 0 14348 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89960 KiB
Current children cumulated memory: 63176 KiB
[startup+25.5002 s]
/proc/loadavg: 3.56 1.42 0.60 5/260 308099
/proc/meminfo: memFree=122786768/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=116804 memory=89308 CPUtime=25.4 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 16492 0 0 0 2480 60 0 0 20 0 1 0 43023079 119607296 22327 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 29201 22327 1838 992 0 21059 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 116804 KiB
Current children cumulated memory: 89308 KiB
[startup+51.1056 s]
/proc/loadavg: 3.73 1.66 0.70 5/260 308104
/proc/meminfo: memFree=122504252/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=183776 memory=141432 CPUtime=50.93 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 21922 0 0 0 4990 103 0 0 20 0 1 0 43023079 188186624 35358 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 45944 35358 1838 992 0 37802 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 183776 KiB
Current children cumulated memory: 141432 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 2.04 0.89 5/260 308113
/proc/meminfo: memFree=121690568/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=267164 memory=204892 CPUtime=101.96 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 31135 0 0 0 10021 175 0 0 20 0 1 0 43023079 273575936 51223 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 66791 51223 1838 992 0 58649 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 267164 KiB
Current children cumulated memory: 204892 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 2.45 1.10 5/260 308123
/proc/meminfo: memFree=121186436/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=276624 memory=214048 CPUtime=161.77 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 33518 0 0 0 15908 269 0 0 20 0 1 0 43023079 283262976 53512 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 69156 53512 1838 992 0 61014 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 276624 KiB
Current children cumulated memory: 214048 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.73 1.28 5/260 308609
/proc/meminfo: memFree=120673792/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=366016 memory=267208 CPUtime=221.56 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 36070 0 0 0 21812 344 0 0 20 0 1 0 43023079 374800384 66802 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 91504 66802 1838 992 0 83362 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 366016 KiB
Current children cumulated memory: 267208 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.00 1.47 5/259 308710
/proc/meminfo: memFree=120654560/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=386252 memory=348912 CPUtime=281.34 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 41216 0 0 0 27746 388 0 0 20 0 1 0 43023079 395522048 87228 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 96563 87228 1838 992 0 88421 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 386252 KiB
Current children cumulated memory: 348912 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 3.23 1.64 5/258 308721
/proc/meminfo: memFree=118975128/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=399520 memory=361556 CPUtime=341.13 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 44397 0 0 0 33636 477 0 0 20 0 1 0 43023079 409108480 90389 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 99880 90389 1838 992 0 91738 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 399520 KiB
Current children cumulated memory: 361556 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 3.42 1.81 5/260 308946
/proc/meminfo: memFree=119274268/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=399656 memory=361700 CPUtime=400.91 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 44484 0 0 0 39532 559 0 0 20 0 1 0 43023079 409247744 90425 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 99914 90425 1838 992 0 91772 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 399656 KiB
Current children cumulated memory: 361700 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.54 1.96 5/260 309002
/proc/meminfo: memFree=118086344/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=410476 memory=372424 CPUtime=460.71 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 47257 0 0 0 45452 619 0 0 20 0 1 0 43023079 420327424 93106 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 102619 93106 1838 992 0 94477 0
################
# More data... #
################
Current children cumulated memory: 878700 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.01 5/257 310206
/proc/meminfo: memFree=103884156/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=986028 memory=878828 CPUtime=2852.66 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 112355 0 0 0 282645 2621 0 0 20 0 1 0 43023079 1009692672 219707 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246507 219707 1838 992 0 238365 0
Current children cumulated CPU time: 2852.66 s
Current children cumulated vsize: 986028 KiB
Current children cumulated memory: 878828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/261 310225
/proc/meminfo: memFree=104872068/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=986360 memory=879116 CPUtime=2912.45 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 112626 0 0 0 288567 2678 0 0 20 0 1 0 43023079 1010032640 219779 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246590 219779 1838 992 0 238448 0
Current children cumulated CPU time: 2912.45 s
Current children cumulated vsize: 986360 KiB
Current children cumulated memory: 879116 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.01 5/262 310237
/proc/meminfo: memFree=104570960/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=986360 memory=879116 CPUtime=2972.25 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 112892 0 0 0 294499 2726 0 0 20 0 1 0 43023079 1010032640 219779 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246590 219779 1838 992 0 238448 0
Current children cumulated CPU time: 2972.25 s
Current children cumulated vsize: 986360 KiB
Current children cumulated memory: 879116 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.01 5/262 310247
/proc/meminfo: memFree=104393736/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=986360 memory=879116 CPUtime=3032.05 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 113139 0 0 0 300437 2768 0 0 20 0 1 0 43023079 1010032640 219779 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246590 219779 1838 992 0 238448 0
Current children cumulated CPU time: 3032.05 s
Current children cumulated vsize: 986360 KiB
Current children cumulated memory: 879116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/262 310259
/proc/meminfo: memFree=104202420/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=986360 memory=879116 CPUtime=3091.86 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 113303 0 0 0 306385 2801 0 0 20 0 1 0 43023079 1010032640 219779 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246590 219779 1838 992 0 238448 0
Current children cumulated CPU time: 3091.86 s
Current children cumulated vsize: 986360 KiB
Current children cumulated memory: 879116 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.19 4.05 5/262 310269
/proc/meminfo: memFree=104031780/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=986844 memory=879356 CPUtime=3151.66 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 113660 0 0 0 312317 2849 0 0 20 0 1 0 43023079 1010528256 219839 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246711 219839 1838 992 0 238569 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 986844 KiB
Current children cumulated memory: 879356 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.17 4.05 5/259 310279
/proc/meminfo: memFree=103743776/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=987024 memory=879780 CPUtime=3211.46 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 113947 0 0 0 318244 2902 0 0 20 0 1 0 43023079 1010712576 219945 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 246756 219945 1838 992 0 238614 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 987024 KiB
Current children cumulated memory: 879780 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.05 5/258 310291
/proc/meminfo: memFree=103309192/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=990460 memory=883264 CPUtime=3271.26 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 115031 0 0 0 324183 2943 0 0 20 0 1 0 43023079 1014231040 220816 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 247615 220816 1838 992 0 239473 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 990460 KiB
Current children cumulated memory: 883264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.06 5/257 310302
/proc/meminfo: memFree=102977364/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=990824 memory=883612 CPUtime=3331.06 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 115492 0 0 0 330131 2975 0 0 20 0 1 0 43023079 1014603776 220903 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 247706 220903 1838 992 0 239564 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 990824 KiB
Current children cumulated memory: 883612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.06 5/257 310312
/proc/meminfo: memFree=102695052/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=993756 memory=886536 CPUtime=3390.86 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 116442 0 0 0 336076 3010 0 0 20 0 1 0 43023079 1017606144 221634 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 248439 221634 1838 992 0 240297 0
Current children cumulated CPU time: 3390.86 s
Current children cumulated vsize: 993756 KiB
Current children cumulated memory: 886536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.07 5/257 310323
/proc/meminfo: memFree=102461076/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=995056 memory=887752 CPUtime=3450.65 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 117155 0 0 0 342028 3037 0 0 20 0 1 0 43023079 1018937344 221938 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 248764 221938 1838 992 0 240622 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 995056 KiB
Current children cumulated memory: 887752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.07 4/258 310339
/proc/meminfo: memFree=104324240/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=999476 memory=969100 CPUtime=3510.45 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 118617 0 0 0 347978 3067 0 0 20 0 1 0 43023079 1023463424 242275 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 249869 242275 1838 992 0 241727 0
Current children cumulated CPU time: 3510.45 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 969100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.18 4.09 4/260 310490
/proc/meminfo: memFree=109265072/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=999476 memory=971588 CPUtime=3570.23 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 118948 0 0 0 353905 3118 0 0 20 0 1 0 43023079 1023463424 242897 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 249869 242897 1838 992 0 241727 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 971588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.35 4.21 4.10 5/260 310542
/proc/meminfo: memFree=105577184/131524600 swapFree=131054992/131071996
[pid=308093] ppid=308090 vsize=999476 memory=971588 CPUtime=3600.03 cores=0,2
/proc/308093/stat : 308093 (roundingsat) R 308090 308093 307164 0 -1 4194304 119201 0 0 0 356858 3145 0 0 20 0 1 0 43023079 1023463424 242897 134679101440 4194304 8254357 140737208372096 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28581888 140737208378203 140737208378465 140737208378465 140737208385481 0
/proc/308093/statm: 249869 242897 1838 992 0 241727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 999476 KiB
Current children cumulated memory: 971588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.28 s]
# the end of solver process 308093 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.59 s, system=31.4693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.28
CPU time (s): 3600.06
CPU user time (s): 3568.59
CPU system time (s): 31.4693
CPU usage (%): 99.6618
Max. virtual memory (cumulated for all children) (KiB): 999476
Max. memory (cumulated for all children) (KiB): 971588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.59
system time used= 31.4693
maximum resident set size= 971588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28497512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 984
involuntary context switches= 24923
# summary of solver processes directly reported to runsolver:
# pid: 308093
# total CPU time (s): 3600.06
# total CPU user time (s): 3568.59
# total CPU system time (s): 31.4693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8068 second user time and 17.7904 second system time
The end
Begin job on nodeC035 at 2024-07-27 09:22:08 IDJOB=4460582 IDBENCH=147863 IDSOLVER=3086 FILE ID=nodeC035/4460582-1722064928 RUNJOBID= nodeC035-1722064836-307174 SLURM_JOB_ID= 8248103 Free space on /tmp= 890052 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-4460582-1722064928/watcher-4460582-1722064928 -o /tmp/evaluation-result-4460582-1722064928/solver-4460582-1722064928 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307174 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460582-1722064928 --lp-cut-gomory=0 HOME/instance-4460582-1722064928.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d RANDOM SEED=72731767 nodeC035.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 : 3656.134 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.54 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 : 3679.428 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.93 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 : 3652.050 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.54 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.793 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.93 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 : 3668.776 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.54 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 : 3679.502 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.93 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 : 3624.911 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.54 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 : 3599.946 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.93 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123029264 kB MemAvailable: 129326520 kB Buffers: 370912 kB Cached: 6723724 kB SwapCached: 296 kB Active: 2355160 kB Inactive: 5470688 kB Active(anon): 2004 kB Inactive(anon): 782448 kB Active(file): 2353156 kB Inactive(file): 4688240 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054992 kB Dirty: 72740 kB Writeback: 0 kB AnonPages: 730084 kB Mapped: 113380 kB Shmem: 53220 kB KReclaimable: 191012 kB Slab: 315128 kB SReclaimable: 191012 kB SUnreclaim: 124116 kB KernelStack: 4208 kB PageTables: 10960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1151748 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16992 kB HardwareCorrupted: 0 kB AnonHugePages: 294912 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: 414420 kB DirectMap2M: 48642048 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 889816 MiB End job on nodeC035 at 2024-07-27 10:22:20