| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.09 | 3614.43 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
| MD5SUM | 8940813d27fb075f4739eb458e093f9a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 467 |
| Total number of constraints | 466 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 466 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 467 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 467 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 467 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 467 #constraints 466 0.67/0.76 c bounds - >= 0 @ 0.007032 0.67/0.76 c bounds 216 >= 0 @ 0.394816 0.67/0.76 c bounds 216 >= 1 @ 0.395196 0.67/0.76 c bounds 216 >= 2 @ 0.395672 0.67/0.76 c bounds 216 >= 3 @ 0.396181 0.67/0.76 c bounds 216 >= 4 @ 0.396678 0.67/0.76 c bounds 216 >= 5 @ 0.396803 0.67/0.76 c bounds 216 >= 6 @ 0.396803 0.67/0.76 c bounds 216 >= 7 @ 0.397261 0.67/0.76 c bounds 216 >= 8 @ 0.397786 0.67/0.76 c bounds 216 >= 9 @ 0.398316 0.67/0.76 c bounds 216 >= 10 @ 0.39885 0.67/0.76 c bounds 216 >= 11 @ 0.399393 0.67/0.76 c bounds 216 >= 12 @ 0.399953 0.67/0.76 c bounds 216 >= 13 @ 0.400514 0.67/0.76 c bounds 216 >= 14 @ 0.401086 0.67/0.76 c bounds 216 >= 15 @ 0.401651 0.67/0.76 c bounds 216 >= 16 @ 0.401772 0.67/0.76 c bounds 216 >= 17 @ 0.401803 0.67/0.76 c bounds 216 >= 18 @ 0.402394 0.67/0.76 c bounds 216 >= 19 @ 0.402993 0.67/0.76 c bounds 216 >= 20 @ 0.403583 0.67/0.76 c bounds 216 >= 21 @ 0.404176 0.67/0.76 c bounds 216 >= 22 @ 0.404779 0.67/0.76 c bounds 215 >= 22 @ 0.453941 0.67/0.76 c bounds 215 >= 23 @ 0.454594 0.67/0.76 c bounds 215 >= 24 @ 0.455209 0.67/0.76 c bounds 215 >= 25 @ 0.455826 0.67/0.76 c bounds 215 >= 26 @ 0.456443 0.67/0.76 c bounds 215 >= 27 @ 0.457065 0.67/0.76 c bounds 215 >= 28 @ 0.4577 0.67/0.76 c bounds 215 >= 29 @ 0.458337 0.67/0.76 c bounds 215 >= 30 @ 0.45849 0.67/0.76 c bounds 215 >= 31 @ 0.458634 0.67/0.76 c bounds 215 >= 32 @ 0.459211 0.67/0.76 c bounds 215 >= 33 @ 0.459824 0.67/0.76 c bounds 215 >= 34 @ 0.460455 0.67/0.76 c bounds 215 >= 35 @ 0.461071 0.67/0.76 c bounds 215 >= 36 @ 0.461711 0.67/0.76 c bounds 215 >= 37 @ 0.462338 0.67/0.76 c bounds 215 >= 38 @ 0.462469 0.67/0.76 c bounds 215 >= 39 @ 0.462648 0.67/0.76 c bounds 215 >= 40 @ 0.46324 0.67/0.76 c bounds 215 >= 41 @ 0.463872 0.67/0.76 c bounds 215 >= 42 @ 0.464504 0.67/0.76 c bounds 215 >= 43 @ 0.46513 0.67/0.76 c bounds 215 >= 44 @ 0.465856 0.67/0.76 c bounds 215 >= 45 @ 0.46705 0.67/0.76 c bounds 215 >= 46 @ 0.467354 0.67/0.76 c bounds 215 >= 47 @ 0.467402 0.67/0.76 c bounds 215 >= 48 @ 0.468086 0.67/0.76 c bounds 215 >= 49 @ 0.468778 0.67/0.76 c bounds 215 >= 50 @ 0.469494 0.67/0.76 c bounds 215 >= 51 @ 0.470188 0.67/0.76 c bounds 215 >= 52 @ 0.470419 0.67/0.76 c bounds 215 >= 53 @ 0.470614 0.67/0.76 c bounds 215 >= 54 @ 0.47126 0.67/0.76 c bounds 215 >= 55 @ 0.471964 0.67/0.76 c bounds 215 >= 56 @ 0.472673 0.67/0.76 c bounds 215 >= 57 @ 0.473392 0.67/0.76 c bounds 215 >= 58 @ 0.473392 0.67/0.76 c bounds 215 >= 59 @ 0.473392 0.67/0.76 c bounds 215 >= 60 @ 0.473593 0.67/0.76 c bounds 215 >= 61 @ 0.474236 0.67/0.76 c bounds 215 >= 62 @ 0.474392 0.67/0.76 c bounds 215 >= 63 @ 0.474392 0.67/0.76 c bounds 215 >= 64 @ 0.474392 0.67/0.76 c bounds 215 >= 65 @ 0.475113 0.67/0.76 c bounds 215 >= 66 @ 0.475382 0.67/0.76 c bounds 215 >= 67 @ 0.475595 0.67/0.76 c bounds 215 >= 68 @ 0.476246 0.67/0.76 c bounds 215 >= 69 @ 0.476375 0.67/0.76 c bounds 215 >= 70 @ 0.476702 0.67/0.76 c bounds 215 >= 71 @ 0.477371 0.67/0.76 c bounds 215 >= 72 @ 0.478093 0.67/0.76 c bounds 215 >= 73 @ 0.478362 0.67/0.76 c bounds 215 >= 74 @ 0.478563 0.67/0.76 c bounds 215 >= 75 @ 0.479192 0.67/0.76 c bounds 215 >= 76 @ 0.479355 0.67/0.76 c bounds 215 >= 77 @ 0.479592 0.67/0.76 c bounds 215 >= 78 @ 0.480234 0.67/0.76 c bounds 215 >= 79 @ 0.480347 0.67/0.76 c bounds 215 >= 80 @ 0.480708 0.67/0.76 c bounds 215 >= 81 @ 0.481367 0.67/0.76 c bounds 215 >= 82 @ 0.482055 0.67/0.76 c bounds 215 >= 83 @ 0.482787 0.67/0.76 c bounds 215 >= 84 @ 0.483494 0.67/0.76 c bounds 215 >= 85 @ 0.484203 0.67/0.76 c bounds 215 >= 86 @ 0.484323 0.67/0.76 c bounds 215 >= 87 @ 0.484725 0.67/0.76 c bounds 215 >= 88 @ 0.485427 0.67/0.76 c bounds 215 >= 89 @ 0.486139 0.67/0.76 c bounds 215 >= 90 @ 0.486306 0.67/0.76 c bounds 215 >= 91 @ 0.486674 0.67/0.76 c bounds 215 >= 92 @ 0.487383 0.67/0.76 c bounds 215 >= 93 @ 0.488111 0.67/0.76 c bounds 215 >= 94 @ 0.488793 0.67/0.76 c bounds 215 >= 95 @ 0.489503 0.67/0.76 c bounds 215 >= 96 @ 0.490231 0.67/0.76 c bounds 215 >= 97 @ 0.490284 0.67/0.76 c bounds 215 >= 98 @ 0.490667 0.67/0.76 c bounds 215 >= 99 @ 0.491028 0.67/0.76 c bounds 215 >= 100 @ 0.491067 0.67/0.76 c bounds 215 >= 101 @ 0.491274 0.67/0.77 c bounds 215 >= 102 @ 0.491511 0.67/0.77 c bounds 215 >= 103 @ 0.492152 0.67/0.77 c bounds 215 >= 104 @ 0.492838 0.67/0.77 c bounds 215 >= 105 @ 0.493528 0.67/0.77 c bounds 215 >= 106 @ 0.494247 0.67/0.77 c bounds 215 >= 107 @ 0.495006 0.67/0.77 c bounds 215 >= 108 @ 0.495729 0.67/0.77 c bounds 215 >= 109 @ 0.496448 0.67/0.77 c bounds 215 >= 110 @ 0.497206 0.67/0.77 c bounds 215 >= 111 @ 0.497244 0.67/0.77 c bounds 215 >= 112 @ 0.497244 0.67/0.77 c bounds 215 >= 113 @ 0.497577 0.67/0.77 c bounds 215 >= 114 @ 0.498397 0.67/0.77 c bounds 215 >= 115 @ 0.499175 0.67/0.77 c bounds 215 >= 116 @ 0.49923 0.67/0.77 c bounds 215 >= 117 @ 0.49923 0.67/0.77 c bounds 215 >= 118 @ 0.499734 0.67/0.77 c bounds 215 >= 119 @ 0.500513 0.67/0.77 c bounds 215 >= 120 @ 0.501457 0.67/0.77 c bounds 215 >= 121 @ 0.502376 0.67/0.77 c bounds 215 >= 122 @ 0.503574 0.67/0.77 c bounds 215 >= 123 @ 0.504533 0.67/0.77 c bounds 215 >= 124 @ 0.505527 0.67/0.77 c bounds 215 >= 125 @ 0.506557 0.67/0.77 c bounds 215 >= 126 @ 0.507823 0.67/0.77 c bounds 215 >= 127 @ 0.509264 0.67/0.77 c bounds 215 >= 128 @ 0.510166 0.67/0.77 c bounds 215 >= 129 @ 0.51116 0.67/0.77 c bounds 215 >= 130 @ 0.512179 0.67/0.77 c bounds 215 >= 131 @ 0.523534 0.67/0.77 c bounds 215 >= 132 @ 0.559976 0.67/0.77 c bounds 214 >= 132 @ 0.598705 0.67/0.77 c bounds 214 >= 133 @ 0.664002 1.67/1.71 c bounds 213 >= 133 @ 0.666452 1.67/1.71 c bounds 212 >= 133 @ 0.670016 1.67/1.71 c bounds 211 >= 133 @ 0.680945 1.67/1.71 c bounds 210 >= 133 @ 0.688984 1.67/1.71 c bounds 209 >= 133 @ 0.717576 1.67/1.71 c #Conflicts: 1000 | #Constraints: 2178 1.67/1.71 c bounds 208 >= 133 @ 0.800324 1.67/1.71 c #Conflicts: 2000 | #Constraints: 3179 1.67/1.71 c INPROCESSING 1.67/1.71 c GARBAGE COLLECT 1.67/1.71 c rational objective 138.086 2.46/2.57 c bounds 207 >= 133 @ 1.55939 2.46/2.57 c bounds 206 >= 133 @ 1.57576 2.46/2.57 c bounds 205 >= 133 @ 1.61172 2.46/2.57 c #Conflicts: 3000 | #Constraints: 3101 2.46/2.57 c bounds 204 >= 133 @ 1.81171 2.46/2.57 c bounds 203 >= 133 @ 1.94368 2.46/2.57 c bounds 203 >= 134 @ 1.98158 2.46/2.57 c #Conflicts: 4000 | #Constraints: 4166 2.46/2.57 c INPROCESSING 2.46/2.57 c GARBAGE COLLECT 2.46/2.57 c rational objective 138.086 3.16/3.26 c bounds 202 >= 134 @ 2.42678 3.16/3.26 c #Conflicts: 5000 | #Constraints: 3583 3.16/3.26 c bounds 202 >= 135 @ 2.70754 3.16/3.26 c #Conflicts: 6000 | #Constraints: 4634 3.16/3.26 c INPROCESSING 3.16/3.26 c GARBAGE COLLECT 3.16/3.26 c rational objective 138.086 4.08/4.15 c bounds 201 >= 135 @ 3.07549 4.08/4.15 c bounds 200 >= 135 @ 3.07721 4.08/4.15 c bounds 199 >= 135 @ 3.08573 4.08/4.15 c #Conflicts: 7000 | #Constraints: 3617 4.08/4.15 c #Conflicts: 8000 | #Constraints: 4617 4.08/4.15 c #Conflicts: 9000 | #Constraints: 5617 4.08/4.15 c INPROCESSING 4.08/4.15 c GARBAGE COLLECT 4.08/4.15 c rational objective 138.086 5.26/5.34 c #Conflicts: 10000 | #Constraints: 4305 5.26/5.34 c #Conflicts: 11000 | #Constraints: 5305 5.26/5.34 c bounds 199 >= 136 @ 4.85576 5.26/5.34 c #Conflicts: 12000 | #Constraints: 6338 5.26/5.34 c INPROCESSING 5.26/5.34 c GARBAGE COLLECT 5.26/5.34 c rational objective 138.086 6.16/6.28 c bounds 198 >= 136 @ 5.25569 6.16/6.28 c #Conflicts: 13000 | #Constraints: 4780 6.16/6.28 c #Conflicts: 14000 | #Constraints: 5780 6.16/6.28 c #Conflicts: 15000 | #Constraints: 6780 6.16/6.28 c INPROCESSING 6.16/6.28 c GARBAGE COLLECT 6.16/6.28 c rational objective 138.086 7.45/7.59 c #Conflicts: 16000 | #Constraints: 5008 7.45/7.59 c #Conflicts: 17000 | #Constraints: 6008 7.45/7.59 c #Conflicts: 18000 | #Constraints: 7008 7.45/7.59 c INPROCESSING 7.45/7.59 c GARBAGE COLLECT 7.45/7.59 c rational objective 138.086 15.73/15.83 c #Conflicts: 19000 | #Constraints: 5076 15.73/15.83 c #Conflicts: 20000 | #Constraints: 6076 15.73/15.83 c #Conflicts: 21000 | #Constraints: 7076 15.73/15.83 c #Conflicts: 22000 | #Constraints: 8076 15.73/15.83 c #Conflicts: 23000 | #Constraints: 9076 15.73/15.83 c #Conflicts: 24000 | #Constraints: 10076 15.73/15.83 c #Conflicts: 25000 | #Constraints: 11076 15.73/15.83 c #Conflicts: 26000 | #Constraints: 12076 15.73/15.83 c #Conflicts: 27000 | #Constraints: 13076 15.73/15.83 c #Conflicts: 28000 | #Constraints: 14076 15.73/15.83 c INPROCESSING 15.73/15.83 c GARBAGE COLLECT 15.73/15.83 c rational objective 138.086 20.41/20.52 c #Conflicts: 29000 | #Constraints: 8252 20.41/20.52 c #Conflicts: 30000 | #Constraints: 9252 20.41/20.52 c bounds 198 >= 137 @ 16.815 20.41/20.52 c #Conflicts: 31000 | #Constraints: 10297 20.41/20.52 c #Conflicts: 32000 | #Constraints: 11297 20.41/20.52 c #Conflicts: 33000 | #Constraints: 12297 20.41/20.52 c INPROCESSING 20.41/20.52 c GARBAGE COLLECT 20.41/20.52 c rational objective 138.086 23.70/23.89 c #Conflicts: 34000 | #Constraints: 7654 23.70/23.89 c #Conflicts: 35000 | #Constraints: 8654 23.70/23.89 c #Conflicts: 36000 | #Constraints: 9654 23.70/23.89 c #Conflicts: 37000 | #Constraints: 10654 23.70/23.89 c #Conflicts: 38000 | #Constraints: 11654 23.70/23.89 c INPROCESSING 23.70/23.89 c GARBAGE COLLECT 23.70/23.89 c rational objective 138.086 27.01/27.17 c #Conflicts: 39000 | #Constraints: 7532 27.01/27.17 c #Conflicts: 40000 | #Constraints: 8532 27.01/27.17 c #Conflicts: 41000 | #Constraints: 9532 27.01/27.17 c #Conflicts: 42000 | #Constraints: 10532 27.01/27.17 c INPROCESSING 27.01/27.17 c GARBAGE COLLECT 27.01/27.17 c rational objective 138.086 42.35/42.58 c #Conflicts: 43000 | #Constraints: 6524 42.35/42.58 c #Conflicts: 44000 | #Constraints: 7524 42.35/42.58 c #Conflicts: 45000 | #Constraints: 8524 42.35/42.58 c #Conflicts: 46000 | #Constraints: 9524 42.35/42.58 c #Conflicts: 47000 | #Constraints: 10524 42.35/42.58 c bounds 198 >= 138 @ 29.2967 42.35/42.58 c #Conflicts: 48000 | #Constraints: 11572 42.35/42.58 c #Conflicts: 49000 | #Constraints: 12572 42.35/42.58 c bounds 197 >= 138 @ 30.4428 42.35/42.58 c #Conflicts: 50000 | #Constraints: 13573 42.35/42.58 c bounds 196 >= 138 @ 30.9077 42.35/42.58 c #Conflicts: 51000 | #Constraints: 14574 42.35/42.58 c #Conflicts: 52000 | #Constraints: 15574 42.35/42.58 c #Conflicts: 53000 | #Constraints: 16574 42.35/42.58 c #Conflicts: 54000 | #Constraints: 17574 42.35/42.58 c #Conflicts: 55000 | #Constraints: 18574 42.35/42.58 c #Conflicts: 56000 | #Constraints: 19574 42.35/42.58 c #Conflicts: 57000 | #Constraints: 20574 42.35/42.58 c #Conflicts: 58000 | #Constraints: 21574 42.35/42.58 c INPROCESSING 42.35/42.58 c GARBAGE COLLECT 42.35/42.58 c rational objective 138.086 50.32/50.54 c #Conflicts: 59000 | #Constraints: 12064 50.32/50.54 c #Conflicts: 60000 | #Constraints: 13064 50.32/50.54 c #Conflicts: 61000 | #Constraints: 14064 50.32/50.54 c #Conflicts: 62000 | #Constraints: 15064 50.32/50.54 c #Conflicts: 63000 | #Constraints: 16064 50.32/50.54 c #Conflicts: 64000 | #Constraints: 17064 50.32/50.54 c #Conflicts: 65000 | #Constraints: 18064 50.32/50.54 c INPROCESSING 50.32/50.54 c GARBAGE COLLECT 50.32/50.54 c rational objective 138.086 56.69/56.94 c #Conflicts: 66000 | #Constraints: 10756 56.69/56.94 c #Conflicts: 67000 | #Constraints: 11756 56.69/56.94 c #Conflicts: 68000 | #Constraints: 12756 56.69/56.94 c #Conflicts: 69000 | #Constraints: 13756 56.69/56.94 c #Conflicts: 70000 | #Constraints: 14756 56.69/56.94 c #Conflicts: 71000 | #Constraints: 15756 56.69/56.94 c INPROCESSING 56.69/56.94 c GARBAGE COLLECT 56.69/56.94 c rational objective 138.086 101.93/102.38 c #Conflicts: 72000 | #Constraints: 9407 101.93/102.38 c bounds 195 >= 138 @ 55.4302 101.93/102.38 c bounds 194 >= 138 @ 55.586 101.93/102.38 c #Conflicts: 73000 | #Constraints: 10409 101.93/102.38 c #Conflicts: 74000 | #Constraints: 11409 101.93/102.38 c bounds 193 >= 138 @ 56.4808 101.93/102.38 c #Conflicts: 75000 | #Constraints: 12410 101.93/102.38 c bounds 192 >= 138 @ 57.2159 101.93/102.38 c #Conflicts: 76000 | #Constraints: 13411 101.93/102.38 c #Conflicts: 77000 | #Constraints: 14411 101.93/102.38 c #Conflicts: 78000 | #Constraints: 15411 101.93/102.38 c bounds 191 >= 138 @ 60.1889 101.93/102.38 c #Conflicts: 79000 | #Constraints: 16412 101.93/102.38 c #Conflicts: 80000 | #Constraints: 17412 101.93/102.38 c #Conflicts: 81000 | #Constraints: 18412 101.93/102.38 c #Conflicts: 82000 | #Constraints: 19412 101.93/102.38 c #Conflicts: 83000 | #Constraints: 20412 101.93/102.38 c #Conflicts: 84000 | #Constraints: 21412 101.93/102.38 c #Conflicts: 85000 | #Constraints: 22412 101.93/102.38 c #Conflicts: 86000 | #Constraints: 23412 101.93/102.38 c #Conflicts: 87000 | #Constraints: 24412 101.93/102.38 c #Conflicts: 88000 | #Constraints: 25412 101.93/102.38 c #Conflicts: 89000 | #Constraints: 26412 101.93/102.38 c #Conflicts: 90000 | #Constraints: 27412 101.93/102.38 c #Conflicts: 91000 | #Constraints: 28412 101.93/102.38 c INPROCESSING 101.93/102.38 c GARBAGE COLLECT 101.93/102.38 c rational objective 138.086 111.50/111.97 c #Conflicts: 92000 | #Constraints: 15699 111.50/111.97 c #Conflicts: 93000 | #Constraints: 16699 111.50/111.97 c #Conflicts: 94000 | #Constraints: 17699 111.50/111.97 c #Conflicts: 95000 | #Constraints: 18699 111.50/111.97 c #Conflicts: 96000 | #Constraints: 19699 111.50/111.97 c bounds 190 >= 138 @ 104.808 111.50/111.97 c #Conflicts: 97000 | #Constraints: 20700 111.50/111.97 c #Conflicts: 98000 | #Constraints: 21700 111.50/111.97 c #Conflicts: 99000 | #Constraints: 22700 111.50/111.97 c INPROCESSING 111.50/111.97 c GARBAGE COLLECT 111.50/111.97 c rational objective 138.086 119.87/120.31 c #Conflicts: 100000 | #Constraints: 12921 119.87/120.31 c #Conflicts: 101000 | #Constraints: 13921 119.87/120.31 c #Conflicts: 102000 | #Constraints: 14921 119.87/120.31 c #Conflicts: 103000 | #Constraints: 15921 119.87/120.31 c #Conflicts: 104000 | #Constraints: 16922 119.87/120.31 c #Conflicts: 105000 | #Constraints: 17922 119.87/120.31 c #Conflicts: 106000 | #Constraints: 18922 119.87/120.31 c #Conflicts: 107000 | #Constraints: 19922 119.87/120.31 c INPROCESSING 119.87/120.31 c GARBAGE COLLECT 119.87/120.31 c rational objective 138.086 167.10/167.71 c #Conflicts: 108000 | #Constraints: 11585 167.10/167.71 c #Conflicts: 109000 | #Constraints: 12585 167.10/167.71 c #Conflicts: 110000 | #Constraints: 13585 167.10/167.71 c #Conflicts: 111000 | #Constraints: 14585 167.10/167.71 c #Conflicts: 112000 | #Constraints: 15585 167.10/167.71 c #Conflicts: 113000 | #Constraints: 16585 167.10/167.71 c #Conflicts: 114000 | #Constraints: 17585 167.10/167.71 c #Conflicts: 115000 | #Constraints: 18585 167.10/167.71 c #Conflicts: 116000 | #Constraints: 19585 167.10/167.71 c #Conflicts: 117000 | #Constraints: 20585 167.10/167.71 c #Conflicts: 118000 | #Constraints: 21585 167.10/167.71 c #Conflicts: 119000 | #Constraints: 22585 167.10/167.71 c #Conflicts: 120000 | #Constraints: 23585 167.10/167.71 c #Conflicts: 121000 | #Constraints: 24585 167.10/167.71 c #Conflicts: 122000 | #Constraints: 25585 167.10/167.71 c #Conflicts: 123000 | #Constraints: 26585 167.10/167.71 c #Conflicts: 124000 | #Constraints: 27585 167.10/167.71 c #Conflicts: 125000 | #Constraints: 28585 167.10/167.71 c #Conflicts: 126000 | #Constraints: 29585 167.10/167.71 c #Conflicts: 127000 | #Constraints: 30585 167.10/167.71 c #Conflicts: 128000 | #Constraints: 31585 167.10/167.71 c #Conflicts: 129000 | #Constraints: 32585 167.10/167.71 c #Conflicts: 130000 | #Constraints: 33585 167.10/167.71 c #Conflicts: 131000 | #Constraints: 34585 167.10/167.71 c INPROCESSING 167.10/167.71 c GARBAGE COLLECT 167.10/167.71 c rational objective 138.086 200.07/200.89 c #Conflicts: 132000 | #Constraints: 18770 200.07/200.89 c #Conflicts: 133000 | #Constraints: 19770 200.07/200.89 c #Conflicts: 134000 | #Constraints: 20770 200.07/200.89 c #Conflicts: 135000 | #Constraints: 21770 200.07/200.89 c #Conflicts: 136000 | #Constraints: 22770 200.07/200.89 c #Conflicts: 137000 | #Constraints: 23770 200.07/200.89 c #Conflicts: 138000 | #Constraints: 24770 200.07/200.89 c #Conflicts: 139000 | #Constraints: 25770 200.07/200.89 c #Conflicts: 140000 | #Constraints: 26770 200.07/200.89 c INPROCESSING 200.07/200.89 c GARBAGE COLLECT 200.07/200.89 c rational objective 138.086 215.62/216.44 c #Conflicts: 141000 | #Constraints: 14824 215.62/216.44 c #Conflicts: 142000 | #Constraints: 15824 215.62/216.44 c #Conflicts: 143000 | #Constraints: 16824 215.62/216.44 c #Conflicts: 144000 | #Constraints: 17824 215.62/216.44 c #Conflicts: 145000 | #Constraints: 18824 215.62/216.44 c #Conflicts: 146000 | #Constraints: 19824 215.62/216.44 c #Conflicts: 147000 | #Constraints: 20824 215.62/216.44 c #Conflicts: 148000 | #Constraints: 21824 215.62/216.44 c #Conflicts: 149000 | #Constraints: 22824 215.62/216.44 c #Conflicts: 150000 | #Constraints: 23824 215.62/216.44 c INPROCESSING 215.62/216.44 c GARBAGE COLLECT 215.62/216.44 c rational objective 138.086 273.70/274.75 c #Conflicts: 151000 | #Constraints: 13663 273.70/274.75 c #Conflicts: 152000 | #Constraints: 14663 273.70/274.75 c #Conflicts: 153000 | #Constraints: 15663 273.70/274.75 c #Conflicts: 154000 | #Constraints: 16663 273.70/274.75 c #Conflicts: 155000 | #Constraints: 17663 273.70/274.75 c #Conflicts: 156000 | #Constraints: 18663 273.70/274.75 c #Conflicts: 157000 | #Constraints: 19663 273.70/274.75 c #Conflicts: 158000 | #Constraints: 20663 273.70/274.75 c #Conflicts: 159000 | #Constraints: 21663 273.70/274.75 c #Conflicts: 160000 | #Constraints: 22663 273.70/274.75 c #Conflicts: 161000 | #Constraints: 23663 273.70/274.75 c #Conflicts: 162000 | #Constraints: 24663 273.70/274.75 c #Conflicts: 163000 | #Constraints: 25663 273.70/274.75 c bounds 190 >= 139 @ 235.281 273.70/274.75 c #Conflicts: 164000 | #Constraints: 26726 273.70/274.75 c #Conflicts: 165000 | #Constraints: 27726 273.70/274.75 c #Conflicts: 166000 | #Constraints: 28726 273.70/274.75 c #Conflicts: 167000 | #Constraints: 29726 273.70/274.75 c #Conflicts: 168000 | #Constraints: 30726 273.70/274.75 c #Conflicts: 169000 | #Constraints: 31726 273.70/274.75 c #Conflicts: 170000 | #Constraints: 32726 273.70/274.75 c #Conflicts: 171000 | #Constraints: 33726 273.70/274.75 c #Conflicts: 172000 | #Constraints: 34726 273.70/274.75 c #Conflicts: 173000 | #Constraints: 35726 273.70/274.75 c #Conflicts: 174000 | #Constraints: 36726 273.70/274.75 c #Conflicts: 175000 | #Constraints: 37726 273.70/274.75 c #Conflicts: 176000 | #Constraints: 38726 273.70/274.75 c #Conflicts: 177000 | #Constraints: 39726 273.70/274.75 c #Conflicts: 178000 | #Constraints: 40726 273.70/274.75 c INPROCESSING 273.70/274.75 c GARBAGE COLLECT 273.70/274.75 c rational objective 139 296.24/297.34 c #Conflicts: 179000 | #Constraints: 21819 296.24/297.34 c #Conflicts: 180000 | #Constraints: 22819 296.24/297.34 c #Conflicts: 181000 | #Constraints: 23819 296.24/297.34 c #Conflicts: 182000 | #Constraints: 24819 296.24/297.34 c #Conflicts: 183000 | #Constraints: 25819 296.24/297.34 c #Conflicts: 184000 | #Constraints: 26819 296.24/297.34 c #Conflicts: 185000 | #Constraints: 27819 296.24/297.34 c #Conflicts: 186000 | #Constraints: 28819 296.24/297.34 c #Conflicts: 187000 | #Constraints: 29819 296.24/297.34 c #Conflicts: 188000 | #Constraints: 30819 296.24/297.34 c #Conflicts: 189000 | #Constraints: 31819 296.24/297.34 c INPROCESSING 296.24/297.34 c GARBAGE COLLECT 296.24/297.34 c rational objective 139 309.40/310.50 c #Conflicts: 190000 | #Constraints: 17585 309.40/310.50 c #Conflicts: 191000 | #Constraints: 18585 309.40/310.50 c #Conflicts: 192000 | #Constraints: 19585 309.40/310.50 c #Conflicts: 193000 | #Constraints: 20585 309.40/310.50 c #Conflicts: 194000 | #Constraints: 21585 309.40/310.50 c #Conflicts: 195000 | #Constraints: 22585 309.40/310.50 c #Conflicts: 196000 | #Constraints: 23585 309.40/310.50 c #Conflicts: 197000 | #Constraints: 24585 309.40/310.50 c #Conflicts: 198000 | #Constraints: 25585 309.40/310.50 c #Conflicts: 199000 | #Constraints: 26585 309.40/310.50 c #Conflicts: 200000 | #Constraints: 27585 309.40/310.50 c INPROCESSING 309.40/310.50 c GARBAGE COLLECT 309.40/310.50 c rational objective 139 408.35/409.75 c #Conflicts: 201000 | #Constraints: 15816 408.35/409.75 c #Conflicts: 202000 | #Constraints: 16816 408.35/409.75 c #Conflicts: 203000 | #Constraints: 17816 408.35/409.75 c #Conflicts: 204000 | #Constraints: 18816 408.35/409.75 c #Conflicts: 205000 | #Constraints: 19816 408.35/409.75 c #Conflicts: 206000 | #Constraints: 20816 408.35/409.75 c #Conflicts: 207000 | #Constraints: 21816 408.35/409.75 c #Conflicts: 208000 | #Constraints: 22816 408.35/409.75 c #Conflicts: 209000 | #Constraints: 23816 408.35/409.75 c #Conflicts: 210000 | #Constraints: 24816 408.35/409.75 c #Conflicts: 211000 | #Constraints: 25816 408.35/409.75 c #Conflicts: 212000 | #Constraints: 26816 408.35/409.75 c #Conflicts: 213000 | #Constraints: 27816 408.35/409.75 c #Conflicts: 214000 | #Constraints: 28816 408.35/409.75 c #Conflicts: 215000 | #Constraints: 29816 408.35/409.75 c #Conflicts: 216000 | #Constraints: 30816 408.35/409.75 c #Conflicts: 217000 | #Constraints: 31816 408.35/409.75 c #Conflicts: 218000 | #Constraints: 32816 408.35/409.75 c #Conflicts: 219000 | #Constraints: 33816 408.35/409.75 c #Conflicts: 220000 | #Constraints: 34816 408.35/409.75 c #Conflicts: 221000 | #Constraints: 35816 408.35/409.75 c #Conflicts: 222000 | #Constraints: 36816 408.35/409.75 c #Conflicts: 223000 | #Constraints: 37816 408.35/409.75 c #Conflicts: 224000 | #Constraints: 38816 408.35/409.75 c #Conflicts: 225000 | #Constraints: 39816 408.35/409.75 c #Conflicts: 226000 | #Constraints: 40816 408.35/409.75 c #Conflicts: 227000 | #Constraints: 41816 408.35/409.75 c #Conflicts: 228000 | #Constraints: 42816 408.35/409.75 c #Conflicts: 229000 | #Constraints: 43816 408.35/409.75 c #Conflicts: 230000 | #Constraints: 44816 408.35/409.75 c #Conflicts: 231000 | #Constraints: 45816 408.35/409.75 c #Conflicts: 232000 | #Constraints: 46816 408.35/409.75 c INPROCESSING 408.35/409.75 c GARBAGE COLLECT 408.35/409.75 c rational objective 139 435.37/436.80 c #Conflicts: 233000 | #Constraints: 24770 435.37/436.80 c #Conflicts: 234000 | #Constraints: 25770 435.37/436.80 c #Conflicts: 235000 | #Constraints: 26770 435.37/436.80 c #Conflicts: 236000 | #Constraints: 27770 435.37/436.80 c #Conflicts: 237000 | #Constraints: 28770 435.37/436.80 c #Conflicts: 238000 | #Constraints: 29770 435.37/436.80 c #Conflicts: 239000 | #Constraints: 30770 435.37/436.80 c #Conflicts: 240000 | #Constraints: 31770 435.37/436.80 c #Conflicts: 241000 | #Constraints: 32770 435.37/436.80 c #Conflicts: 242000 | #Constraints: 33770 435.37/436.80 c #Conflicts: 243000 | #Constraints: 34770 435.37/436.80 c #Conflicts: 244000 | #Constraints: 35770 435.37/436.80 c #Conflicts: 245000 | #Constraints: 36770 435.37/436.80 c INPROCESSING 435.37/436.80 c GARBAGE COLLECT 435.37/436.80 c rational objective 139 628.96/630.90 c #Conflicts: 246000 | #Constraints: 20308 628.96/630.90 c #Conflicts: 247000 | #Constraints: 21308 628.96/630.90 c #Conflicts: 248000 | #Constraints: 22308 628.96/630.90 c #Conflicts: 249000 | #Constraints: 23308 628.96/630.90 c #Conflicts: 250000 | #Constraints: 24308 628.96/630.90 c #Conflicts: 251000 | #Constraints: 25308 628.96/630.90 c #Conflicts: 252000 | #Constraints: 26308 628.96/630.90 c #Conflicts: 253000 | #Constraints: 27308 628.96/630.90 c #Conflicts: 254000 | #Constraints: 28308 628.96/630.90 c #Conflicts: 255000 | #Constraints: 29308 628.96/630.90 c #Conflicts: 256000 | #Constraints: 30308 628.96/630.90 c #Conflicts: 257000 | #Constraints: 31308 628.96/630.90 c #Conflicts: 258000 | #Constraints: 32308 628.96/630.90 c #Conflicts: 259000 | #Constraints: 33308 628.96/630.90 c #Conflicts: 260000 | #Constraints: 34308 628.96/630.90 c #Conflicts: 261000 | #Constraints: 35309 628.96/630.90 c #Conflicts: 262000 | #Constraints: 36309 628.96/630.90 c #Conflicts: 263000 | #Constraints: 37309 628.96/630.90 c #Conflicts: 264000 | #Constraints: 38309 628.96/630.90 c #Conflicts: 265000 | #Constraints: 39309 628.96/630.90 c #Conflicts: 266000 | #Constraints: 40309 628.96/630.90 c bounds 189 >= 139 @ 506.899 628.96/630.90 c #Conflicts: 267000 | #Constraints: 41310 628.96/630.90 c #Conflicts: 268000 | #Constraints: 42310 628.96/630.90 c #Conflicts: 269000 | #Constraints: 43310 628.96/630.90 c #Conflicts: 270000 | #Constraints: 44310 628.96/630.90 c #Conflicts: 271000 | #Constraints: 45310 628.96/630.90 c #Conflicts: 272000 | #Constraints: 46310 628.96/630.90 c #Conflicts: 273000 | #Constraints: 47310 628.96/630.90 c #Conflicts: 274000 | #Constraints: 48310 628.96/630.90 c #Conflicts: 275000 | #Constraints: 49310 628.96/630.90 c #Conflicts: 276000 | #Constraints: 50310 628.96/630.90 c #Conflicts: 277000 | #Constraints: 51310 628.96/630.90 c #Conflicts: 278000 | #Constraints: 52310 628.96/630.90 c #Conflicts: 279000 | #Constraints: 53310 628.96/630.90 c #Conflicts: 280000 | #Constraints: 54310 628.96/630.90 c INPROCESSING 628.96/630.90 c GARBAGE COLLECT 628.96/630.90 c rational objective 139 653.89/655.90 c #Conflicts: 281000 | #Constraints: 28546 653.89/655.90 c #Conflicts: 282000 | #Constraints: 29546 653.89/655.90 c #Conflicts: 283000 | #Constraints: 30546 653.89/655.90 c #Conflicts: 284000 | #Constraints: 31546 653.89/655.90 c #Conflicts: 285000 | #Constraints: 32546 653.89/655.90 c #Conflicts: 286000 | #Constraints: 33546 653.89/655.90 c #Conflicts: 287000 | #Constraints: 34546 653.89/655.90 c #Conflicts: 288000 | #Constraints: 35546 653.89/655.90 c #Conflicts: 289000 | #Constraints: 36546 653.89/655.90 c #Conflicts: 290000 | #Constraints: 37546 653.89/655.90 c #Conflicts: 291000 | #Constraints: 38546 653.89/655.90 c #Conflicts: 292000 | #Constraints: 39546 653.89/655.90 c #Conflicts: 293000 | #Constraints: 40546 653.89/655.90 c #Conflicts: 294000 | #Constraints: 41546 653.89/655.90 c INPROCESSING 653.89/655.90 c GARBAGE COLLECT 653.89/655.90 c rational objective 139 828.93/831.44 c #Conflicts: 295000 | #Constraints: 22337 828.93/831.44 c #Conflicts: 296000 | #Constraints: 23337 828.93/831.44 c #Conflicts: 297000 | #Constraints: 24337 828.93/831.44 c #Conflicts: 298000 | #Constraints: 25337 828.93/831.44 c #Conflicts: 299000 | #Constraints: 26337 828.93/831.44 c #Conflicts: 300000 | #Constraints: 27337 828.93/831.44 c #Conflicts: 301000 | #Constraints: 28337 828.93/831.44 c #Conflicts: 302000 | #Constraints: 29337 828.93/831.44 c #Conflicts: 303000 | #Constraints: 30337 828.93/831.44 c #Conflicts: 304000 | #Constraints: 31337 828.93/831.44 c #Conflicts: 305000 | #Constraints: 32337 828.93/831.44 c #Conflicts: 306000 | #Constraints: 33338 828.93/831.44 c #Conflicts: 307000 | #Constraints: 34338 828.93/831.44 c #Conflicts: 308000 | #Constraints: 35338 828.93/831.44 c #Conflicts: 309000 | #Constraints: 36338 828.93/831.44 c #Conflicts: 310000 | #Constraints: 37338 828.93/831.44 c #Conflicts: 311000 | #Constraints: 38338 828.93/831.44 c #Conflicts: 312000 | #Constraints: 39338 828.93/831.44 c #Conflicts: 313000 | #Constraints: 40338 828.93/831.44 c #Conflicts: 314000 | #Constraints: 41338 828.93/831.44 c #Conflicts: 315000 | #Constraints: 42338 828.93/831.44 c #Conflicts: 316000 | #Constraints: 43338 828.93/831.44 c #Conflicts: 317000 | #Constraints: 44338 828.93/831.44 c #Conflicts: 318000 | #Constraints: 45338 828.93/831.44 c #Conflicts: 319000 | #Constraints: 46338 828.93/831.44 c #Conflicts: 320000 | #Constraints: 47338 828.93/831.44 c #Conflicts: 321000 | #Constraints: 48338 828.93/831.44 c #Conflicts: 322000 | #Constraints: 49338 828.93/831.44 c #Conflicts: 323000 | #Constraints: 50338 828.93/831.44 c #Conflicts: 324000 | #Constraints: 51338 828.93/831.44 c #Conflicts: 325000 | #Constraints: 52338 828.93/831.44 c #Conflicts: 326000 | #Constraints: 53338 828.93/831.44 c #Conflicts: 327000 | #Constraints: 54338 828.93/831.44 c #Conflicts: 328000 | #Constraints: 55338 828.93/831.44 c #Conflicts: 329000 | #Constraints: 56338 828.93/831.44 c #Conflicts: 330000 | #Constraints: 57338 828.93/831.44 c #Conflicts: 331000 | #Constraints: 58338 828.93/831.44 c #Conflicts: 332000 | #Constraints: 59338 828.93/831.44 c #Conflicts: 333000 | #Constraints: 60338 828.93/831.44 c INPROCESSING 828.93/831.44 c GARBAGE COLLECT 828.93/831.44 c rational objective 139 929.66/932.45 c #Conflicts: 334000 | #Constraints: 31781 929.66/932.45 c #Conflicts: 335000 | #Constraints: 32781 929.66/932.45 c #Conflicts: 336000 | #Constraints: 33781 929.66/932.45 c #Conflicts: 337000 | #Constraints: 34781 929.66/932.45 c #Conflicts: 338000 | #Constraints: 35781 929.66/932.45 c #Conflicts: 339000 | #Constraints: 36781 929.66/932.45 c #Conflicts: 340000 | #Constraints: 37781 929.66/932.45 c #Conflicts: 341000 | #Constraints: 38781 929.66/932.45 c #Conflicts: 342000 | #Constraints: 39781 929.66/932.45 c #Conflicts: 343000 | #Constraints: 40781 929.66/932.45 c #Conflicts: 344000 | #Constraints: 41781 929.66/932.45 c #Conflicts: 345000 | #Constraints: 42781 929.66/932.45 c #Conflicts: 346000 | #Constraints: 43781 929.66/932.45 c #Conflicts: 347000 | #Constraints: 44781 929.66/932.45 c #Conflicts: 348000 | #Constraints: 45781 929.66/932.45 c INPROCESSING 929.66/932.45 c GARBAGE COLLECT 929.66/932.45 c rational objective 139 1159.85/1163.28 c #Conflicts: 349000 | #Constraints: 24684 1159.85/1163.28 c #Conflicts: 350000 | #Constraints: 25684 1159.85/1163.28 c #Conflicts: 351000 | #Constraints: 26684 1159.85/1163.28 c #Conflicts: 352000 | #Constraints: 27684 1159.85/1163.28 c #Conflicts: 353000 | #Constraints: 28684 1159.85/1163.28 c #Conflicts: 354000 | #Constraints: 29684 1159.85/1163.28 c #Conflicts: 355000 | #Constraints: 30684 1159.85/1163.28 c #Conflicts: 356000 | #Constraints: 31684 1159.85/1163.28 c #Conflicts: 357000 | #Constraints: 32684 1159.85/1163.28 c #Conflicts: 358000 | #Constraints: 33684 1159.85/1163.28 c #Conflicts: 359000 | #Constraints: 34684 1159.85/1163.28 c #Conflicts: 360000 | #Constraints: 35684 1159.85/1163.28 c #Conflicts: 361000 | #Constraints: 36684 1159.85/1163.28 c #Conflicts: 362000 | #Constraints: 37684 1159.85/1163.28 c #Conflicts: 363000 | #Constraints: 38684 1159.85/1163.28 c #Conflicts: 364000 | #Constraints: 39684 1159.85/1163.28 c #Conflicts: 365000 | #Constraints: 40684 1159.85/1163.28 c #Conflicts: 366000 | #Constraints: 41684 1159.85/1163.28 c #Conflicts: 367000 | #Constraints: 42684 1159.85/1163.28 c #Conflicts: 368000 | #Constraints: 43684 1159.85/1163.28 c #Conflicts: 369000 | #Constraints: 44684 1159.85/1163.28 c #Conflicts: 370000 | #Constraints: 45684 1159.85/1163.28 c #Conflicts: 371000 | #Constraints: 46684 1159.85/1163.28 c #Conflicts: 372000 | #Constraints: 47684 1159.85/1163.28 c #Conflicts: 373000 | #Constraints: 48684 1159.85/1163.28 c #Conflicts: 374000 | #Constraints: 49684 1159.85/1163.28 c #Conflicts: 375000 | #Constraints: 50684 1159.85/1163.28 c #Conflicts: 376000 | #Constraints: 51684 1159.85/1163.28 c #Conflicts: 377000 | #Constraints: 52684 1159.85/1163.28 c #Conflicts: 378000 | #Constraints: 53684 1159.85/1163.28 c #Conflicts: 379000 | #Constraints: 54684 1159.85/1163.28 c #Conflicts: 380000 | #Constraints: 55684 1159.85/1163.28 c #Conflicts: 381000 | #Constraints: 56684 1159.85/1163.28 c #Conflicts: 382000 | #Constraints: 57684 1159.85/1163.28 c #Conflicts: 383000 | #Constraints: 58684 1159.85/1163.28 c #Conflicts: 384000 | #Constraints: 59684 1159.85/1163.28 c #Conflicts: 385000 | #Constraints: 60684 1159.85/1163.28 c #Conflicts: 386000 | #Constraints: 61684 1159.85/1163.28 c #Conflicts: 387000 | #Constraints: 62684 1159.85/1163.28 c #Conflicts: 388000 | #Constraints: 63684 1159.85/1163.28 c #Conflicts: 389000 | #Constraints: 64684 1159.85/1163.28 c #Conflicts: 390000 | #Constraints: 65684 1159.85/1163.28 c INPROCESSING 1159.85/1163.28 c GARBAGE COLLECT 1159.85/1163.28 c rational objective 139 1214.20/1217.75 c #Conflicts: 391000 | #Constraints: 34645 1214.20/1217.75 c #Conflicts: 392000 | #Constraints: 35645 1214.20/1217.75 c #Conflicts: 393000 | #Constraints: 36645 1214.20/1217.75 c #Conflicts: 394000 | #Constraints: 37645 1214.20/1217.75 c #Conflicts: 395000 | #Constraints: 38645 1214.20/1217.75 c #Conflicts: 396000 | #Constraints: 39645 1214.20/1217.75 c #Conflicts: 397000 | #Constraints: 40645 1214.20/1217.75 c #Conflicts: 398000 | #Constraints: 41645 1214.20/1217.75 c #Conflicts: 399000 | #Constraints: 42645 1214.20/1217.75 c #Conflicts: 400000 | #Constraints: 43645 1214.20/1217.75 c #Conflicts: 401000 | #Constraints: 44645 1214.20/1217.75 c #Conflicts: 402000 | #Constraints: 45645 1214.20/1217.75 c #Conflicts: 403000 | #Constraints: 46645 1214.20/1217.75 c #Conflicts: 404000 | #Constraints: 47645 1214.20/1217.75 c #Conflicts: 405000 | #Constraints: 48645 1214.20/1217.75 c #Conflicts: 406000 | #Constraints: 49645 1214.20/1217.75 c INPROCESSING 1214.20/1217.75 c GARBAGE COLLECT 1214.20/1217.75 c rational objective 139 1513.34/1517.61 c #Conflicts: 407000 | #Constraints: 27512 1513.34/1517.61 c #Conflicts: 408000 | #Constraints: 28512 1513.34/1517.61 c #Conflicts: 409000 | #Constraints: 29512 1513.34/1517.61 c #Conflicts: 410000 | #Constraints: 30512 1513.34/1517.61 c #Conflicts: 411000 | #Constraints: 31512 1513.34/1517.61 c #Conflicts: 412000 | #Constraints: 32512 1513.34/1517.61 c #Conflicts: 413000 | #Constraints: 33512 1513.34/1517.61 c #Conflicts: 414000 | #Constraints: 34512 1513.34/1517.61 c #Conflicts: 415000 | #Constraints: 35512 1513.34/1517.61 c #Conflicts: 416000 | #Constraints: 36512 1513.34/1517.61 c #Conflicts: 417000 | #Constraints: 37512 1513.34/1517.61 c #Conflicts: 418000 | #Constraints: 38512 1513.34/1517.61 c #Conflicts: 419000 | #Constraints: 39512 1513.34/1517.61 c #Conflicts: 420000 | #Constraints: 40512 1513.34/1517.61 c #Conflicts: 421000 | #Constraints: 41512 1513.34/1517.61 c #Conflicts: 422000 | #Constraints: 42512 1513.34/1517.61 c #Conflicts: 423000 | #Constraints: 43512 1513.34/1517.61 c #Conflicts: 424000 | #Constraints: 44512 1513.34/1517.61 c #Conflicts: 425000 | #Constraints: 45512 1513.34/1517.61 c #Conflicts: 426000 | #Constraints: 46512 1513.34/1517.61 c #Conflicts: 427000 | #Constraints: 47512 1513.34/1517.61 c #Conflicts: 428000 | #Constraints: 48512 1513.34/1517.61 c #Conflicts: 429000 | #Constraints: 49512 1513.34/1517.61 c #Conflicts: 430000 | #Constraints: 50512 1513.34/1517.61 c #Conflicts: 431000 | #Constraints: 51512 1513.34/1517.61 c #Conflicts: 432000 | #Constraints: 52512 1513.34/1517.61 c #Conflicts: 433000 | #Constraints: 53512 1513.34/1517.61 c #Conflicts: 434000 | #Constraints: 54512 1513.34/1517.61 c #Conflicts: 435000 | #Constraints: 55512 1513.34/1517.61 c #Conflicts: 436000 | #Constraints: 56512 1513.34/1517.61 c #Conflicts: 437000 | #Constraints: 57512 1513.34/1517.61 c #Conflicts: 438000 | #Constraints: 58512 1513.34/1517.61 c #Conflicts: 439000 | #Constraints: 59512 1513.34/1517.61 c #Conflicts: 440000 | #Constraints: 60512 1513.34/1517.61 c #Conflicts: 441000 | #Constraints: 61512 1513.34/1517.61 c #Conflicts: 442000 | #Constraints: 62512 1513.34/1517.61 c #Conflicts: 443000 | #Constraints: 63512 1513.34/1517.61 c #Conflicts: 444000 | #Constraints: 64512 1513.34/1517.61 c #Conflicts: 445000 | #Constraints: 65512 1513.34/1517.61 c #Conflicts: 446000 | #Constraints: 66512 1513.34/1517.61 c #Conflicts: 447000 | #Constraints: 67512 1513.34/1517.61 c #Conflicts: 448000 | #Constraints: 68512 1513.34/1517.61 c #Conflicts: 449000 | #Constraints: 69512 1513.34/1517.61 c #Conflicts: 450000 | #Constraints: 70512 1513.34/1517.61 c #Conflicts: 451000 | #Constraints: 71512 1513.34/1517.61 c INPROCESSING 1513.34/1517.61 c GARBAGE COLLECT 1513.34/1517.61 c rational objective 139 1567.49/1571.99 c #Conflicts: 452000 | #Constraints: 37452 1567.49/1571.99 c #Conflicts: 453000 | #Constraints: 38452 1567.49/1571.99 c #Conflicts: 454000 | #Constraints: 39452 1567.49/1571.99 c #Conflicts: 455000 | #Constraints: 40452 1567.49/1571.99 c #Conflicts: 456000 | #Constraints: 41452 1567.49/1571.99 c #Conflicts: 457000 | #Constraints: 42452 1567.49/1571.99 c #Conflicts: 458000 | #Constraints: 43452 1567.49/1571.99 c #Conflicts: 459000 | #Constraints: 44452 1567.49/1571.99 c #Conflicts: 460000 | #Constraints: 45452 1567.49/1571.99 c #Conflicts: 461000 | #Constraints: 46452 1567.49/1571.99 c #Conflicts: 462000 | #Constraints: 47452 1567.49/1571.99 c #Conflicts: 463000 | #Constraints: 48452 1567.49/1571.99 c #Conflicts: 464000 | #Constraints: 49452 1567.49/1571.99 c #Conflicts: 465000 | #Constraints: 50452 1567.49/1571.99 c #Conflicts: 466000 | #Constraints: 51452 1567.49/1571.99 c #Conflicts: 467000 | #Constraints: 52452 1567.49/1571.99 c #Conflicts: 468000 | #Constraints: 53452 1567.49/1571.99 c INPROCESSING 1567.49/1571.99 c GARBAGE COLLECT 1567.49/1571.99 c rational objective 139 1784.53/1789.54 c #Conflicts: 469000 | #Constraints: 30786 1784.53/1789.54 c #Conflicts: 470000 | #Constraints: 31786 1784.53/1789.54 c #Conflicts: 471000 | #Constraints: 32786 1784.53/1789.54 c #Conflicts: 472000 | #Constraints: 33786 1784.53/1789.54 c #Conflicts: 473000 | #Constraints: 34786 1784.53/1789.54 c #Conflicts: 474000 | #Constraints: 35786 1784.53/1789.54 c #Conflicts: 475000 | #Constraints: 36786 1784.53/1789.54 c #Conflicts: 476000 | #Constraints: 37786 1784.53/1789.54 c #Conflicts: 477000 | #Constraints: 38786 1784.53/1789.54 c #Conflicts: 478000 | #Constraints: 39787 1784.53/1789.54 c #Conflicts: 479000 | #Constraints: 40787 1784.53/1789.54 c #Conflicts: 480000 | #Constraints: 41787 1784.53/1789.54 c #Conflicts: 481000 | #Constraints: 42787 1784.53/1789.54 c #Conflicts: 482000 | #Constraints: 43787 1784.53/1789.54 c #Conflicts: 483000 | #Constraints: 44787 1784.53/1789.54 c #Conflicts: 484000 | #Constraints: 45787 1784.53/1789.54 c #Conflicts: 485000 | #Constraints: 46787 1784.53/1789.54 c #Conflicts: 486000 | #Constraints: 47788 1784.53/1789.54 c #Conflicts: 487000 | #Constraints: 48788 1784.53/1789.54 c #Conflicts: 488000 | #Constraints: 49788 1784.53/1789.54 c #Conflicts: 489000 | #Constraints: 50788 1784.53/1789.54 c #Conflicts: 490000 | #Constraints: 51788 1784.53/1789.54 c #Conflicts: 491000 | #Constraints: 52788 1784.53/1789.54 c #Conflicts: 492000 | #Constraints: 53788 1784.53/1789.54 c #Conflicts: 493000 | #Constraints: 54788 1784.53/1789.54 c #Conflicts: 494000 | #Constraints: 55788 1784.53/1789.54 c #Conflicts: 495000 | #Constraints: 56788 1784.53/1789.54 c #Conflicts: 496000 | #Constraints: 57788 1784.53/1789.54 c #Conflicts: 497000 | #Constraints: 58788 1784.53/1789.54 c #Conflicts: 498000 | #Constraints: 59788 1784.53/1789.54 c #Conflicts: 499000 | #Constraints: 60788 1784.53/1789.54 c #Conflicts: 500000 | #Constraints: 61788 1784.53/1789.54 c #Conflicts: 501000 | #Constraints: 62788 1784.53/1789.54 c #Conflicts: 502000 | #Constraints: 63788 1784.53/1789.54 c #Conflicts: 503000 | #Constraints: 64788 1784.53/1789.54 c #Conflicts: 504000 | #Constraints: 65788 1784.53/1789.54 c #Conflicts: 505000 | #Constraints: 66788 1784.53/1789.54 c #Conflicts: 506000 | #Constraints: 67788 1784.53/1789.54 c #Conflicts: 507000 | #Constraints: 68788 1784.53/1789.54 c #Conflicts: 508000 | #Constraints: 69788 1784.53/1789.54 c #Conflicts: 509000 | #Constraints: 70788 1784.53/1789.54 c #Conflicts: 510000 | #Constraints: 71788 1784.53/1789.54 c #Conflicts: 511000 | #Constraints: 72788 1784.53/1789.54 c #Conflicts: 512000 | #Constraints: 73788 1784.53/1789.54 c #Conflicts: 513000 | #Constraints: 74788 1784.53/1789.54 c #Conflicts: 514000 | #Constraints: 75788 1784.53/1789.54 c #Conflicts: 515000 | #Constraints: 76788 1784.53/1789.54 c #Conflicts: 516000 | #Constraints: 77788 1784.53/1789.54 c INPROCESSING 1784.53/1789.54 c GARBAGE COLLECT 1784.53/1789.54 c rational objective 139 1963.17/1968.65 c #Conflicts: 517000 | #Constraints: 40198 1963.17/1968.65 c #Conflicts: 518000 | #Constraints: 41198 1963.17/1968.65 c #Conflicts: 519000 | #Constraints: 42198 1963.17/1968.65 c #Conflicts: 520000 | #Constraints: 43198 1963.17/1968.65 c #Conflicts: 521000 | #Constraints: 44198 1963.17/1968.65 c #Conflicts: 522000 | #Constraints: 45198 1963.17/1968.65 c #Conflicts: 523000 | #Constraints: 46198 1963.17/1968.65 c #Conflicts: 524000 | #Constraints: 47198 1963.17/1968.65 c #Conflicts: 525000 | #Constraints: 48198 1963.17/1968.65 c #Conflicts: 526000 | #Constraints: 49198 1963.17/1968.65 c #Conflicts: 527000 | #Constraints: 50198 1963.17/1968.65 c #Conflicts: 528000 | #Constraints: 51198 1963.17/1968.65 c #Conflicts: 529000 | #Constraints: 52198 1963.17/1968.65 c #Conflicts: 530000 | #Constraints: 53198 1963.17/1968.65 c #Conflicts: 531000 | #Constraints: 54198 1963.17/1968.65 c #Conflicts: 532000 | #Constraints: 55198 1963.17/1968.65 c #Conflicts: 533000 | #Constraints: 56198 1963.17/1968.65 c #Conflicts: 534000 | #Constraints: 57198 1963.17/1968.65 c #Conflicts: 535000 | #Constraints: 58198 1963.17/1968.65 c INPROCESSING 1963.17/1968.65 c GARBAGE COLLECT 1963.17/1968.65 c rational objective 139 2282.14/2288.44 c #Conflicts: 536000 | #Constraints: 32764 2282.14/2288.44 c #Conflicts: 537000 | #Constraints: 33764 2282.14/2288.44 c #Conflicts: 538000 | #Constraints: 34764 2282.14/2288.44 c #Conflicts: 539000 | #Constraints: 35764 2282.14/2288.44 c #Conflicts: 540000 | #Constraints: 36764 2282.14/2288.44 c #Conflicts: 541000 | #Constraints: 37764 2282.14/2288.44 c #Conflicts: 542000 | #Constraints: 38764 2282.14/2288.44 c #Conflicts: 543000 | #Constraints: 39764 2282.14/2288.44 c #Conflicts: 544000 | #Constraints: 40764 2282.14/2288.44 c #Conflicts: 545000 | #Constraints: 41764 2282.14/2288.44 c #Conflicts: 546000 | #Constraints: 42764 2282.14/2288.44 c #Conflicts: 547000 | #Constraints: 43764 2282.14/2288.44 c #Conflicts: 548000 | #Constraints: 44764 2282.14/2288.44 c #Conflicts: 549000 | #Constraints: 45764 2282.14/2288.44 c #Conflicts: 550000 | #Constraints: 46764 2282.14/2288.44 c #Conflicts: 551000 | #Constraints: 47764 2282.14/2288.44 c #Conflicts: 552000 | #Constraints: 48764 2282.14/2288.44 c #Conflicts: 553000 | #Constraints: 49764 2282.14/2288.44 c #Conflicts: 554000 | #Constraints: 50764 2282.14/2288.44 c #Conflicts: 555000 | #Constraints: 51764 2282.14/2288.44 c #Conflicts: 556000 | #Constraints: 52764 2282.14/2288.44 c #Conflicts: 557000 | #Constraints: 53764 2282.14/2288.44 c #Conflicts: 558000 | #Constraints: 54764 2282.14/2288.44 c #Conflicts: 559000 | #Constraints: 55764 2282.14/2288.44 c #Conflicts: 560000 | #Constraints: 56764 2282.14/2288.44 c #Conflicts: 561000 | #Constraints: 57764 2282.14/2288.44 c #Conflicts: 562000 | #Constraints: 58764 2282.14/2288.44 c #Conflicts: 563000 | #Constraints: 59764 2282.14/2288.44 c #Conflicts: 564000 | #Constraints: 60764 2282.14/2288.44 c #Conflicts: 565000 | #Constraints: 61764 2282.14/2288.44 c #Conflicts: 566000 | #Constraints: 62764 2282.14/2288.44 c #Conflicts: 567000 | #Constraints: 63764 2282.14/2288.44 c #Conflicts: 568000 | #Constraints: 64764 2282.14/2288.44 c #Conflicts: 569000 | #Constraints: 65764 2282.14/2288.44 c #Conflicts: 570000 | #Constraints: 66764 2282.14/2288.44 c #Conflicts: 571000 | #Constraints: 67764 2282.14/2288.44 c #Conflicts: 572000 | #Constraints: 68764 2282.14/2288.44 c #Conflicts: 573000 | #Constraints: 69764 2282.14/2288.44 c #Conflicts: 574000 | #Constraints: 70764 2282.14/2288.44 c #Conflicts: 575000 | #Constraints: 71764 2282.14/2288.44 c #Conflicts: 576000 | #Constraints: 72764 2282.14/2288.44 c #Conflicts: 577000 | #Constraints: 73765 2282.14/2288.44 c #Conflicts: 578000 | #Constraints: 74765 2282.14/2288.44 c #Conflicts: 579000 | #Constraints: 75765 2282.14/2288.44 c #Conflicts: 580000 | #Constraints: 76765 2282.14/2288.44 c #Conflicts: 581000 | #Constraints: 77765 2282.14/2288.44 c #Conflicts: 582000 | #Constraints: 78765 2282.14/2288.44 c #Conflicts: 583000 | #Constraints: 79765 2282.14/2288.44 c #Conflicts: 584000 | #Constraints: 80765 2282.14/2288.44 c #Conflicts: 585000 | #Constraints: 81765 2282.14/2288.44 c #Conflicts: 586000 | #Constraints: 82765 2282.14/2288.44 c INPROCESSING 2282.14/2288.44 c GARBAGE COLLECT 2282.14/2288.44 c rational objective 139 2493.60/2500.46 c #Conflicts: 587000 | #Constraints: 42695 2493.60/2500.46 c #Conflicts: 588000 | #Constraints: 43695 2493.60/2500.46 c #Conflicts: 589000 | #Constraints: 44695 2493.60/2500.46 c #Conflicts: 590000 | #Constraints: 45695 2493.60/2500.46 c #Conflicts: 591000 | #Constraints: 46695 2493.60/2500.46 c #Conflicts: 592000 | #Constraints: 47695 2493.60/2500.46 c #Conflicts: 593000 | #Constraints: 48695 2493.60/2500.46 c #Conflicts: 594000 | #Constraints: 49695 2493.60/2500.46 c #Conflicts: 595000 | #Constraints: 50695 2493.60/2500.46 c #Conflicts: 596000 | #Constraints: 51695 2493.60/2500.46 c #Conflicts: 597000 | #Constraints: 52695 2493.60/2500.46 c #Conflicts: 598000 | #Constraints: 53695 2493.60/2500.46 c #Conflicts: 599000 | #Constraints: 54695 2493.60/2500.46 c #Conflicts: 600000 | #Constraints: 55695 2493.60/2500.46 c #Conflicts: 601000 | #Constraints: 56695 2493.60/2500.46 c #Conflicts: 602000 | #Constraints: 57695 2493.60/2500.46 c #Conflicts: 603000 | #Constraints: 58695 2493.60/2500.46 c #Conflicts: 604000 | #Constraints: 59695 2493.60/2500.46 c #Conflicts: 605000 | #Constraints: 60695 2493.60/2500.46 c #Conflicts: 606000 | #Constraints: 61695 2493.60/2500.46 c INPROCESSING 2493.60/2500.46 c GARBAGE COLLECT 2493.60/2500.46 c rational objective 139 3044.81/3053.01 c #Conflicts: 607000 | #Constraints: 34382 3044.81/3053.01 c #Conflicts: 608000 | #Constraints: 35382 3044.81/3053.01 c #Conflicts: 609000 | #Constraints: 36382 3044.81/3053.01 c #Conflicts: 610000 | #Constraints: 37382 3044.81/3053.01 c #Conflicts: 611000 | #Constraints: 38382 3044.81/3053.01 c #Conflicts: 612000 | #Constraints: 39382 3044.81/3053.01 c #Conflicts: 613000 | #Constraints: 40382 3044.81/3053.01 c #Conflicts: 614000 | #Constraints: 41382 3044.81/3053.01 c #Conflicts: 615000 | #Constraints: 42382 3044.81/3053.01 c #Conflicts: 616000 | #Constraints: 43382 3044.81/3053.01 c #Conflicts: 617000 | #Constraints: 44382 3044.81/3053.01 c #Conflicts: 618000 | #Constraints: 45382 3044.81/3053.01 c #Conflicts: 619000 | #Constraints: 46382 3044.81/3053.01 c #Conflicts: 620000 | #Constraints: 47382 3044.81/3053.01 c #Conflicts: 621000 | #Constraints: 48382 3044.81/3053.01 c #Conflicts: 622000 | #Constraints: 49382 3044.81/3053.01 c #Conflicts: 623000 | #Constraints: 50382 3044.81/3053.01 c #Conflicts: 624000 | #Constraints: 51382 3044.81/3053.01 c #Conflicts: 625000 | #Constraints: 52382 3044.81/3053.01 c #Conflicts: 626000 | #Constraints: 53382 3044.81/3053.01 c #Conflicts: 627000 | #Constraints: 54382 3044.81/3053.01 c #Conflicts: 628000 | #Constraints: 55382 3044.81/3053.01 c #Conflicts: 629000 | #Constraints: 56382 3044.81/3053.01 c #Conflicts: 630000 | #Constraints: 57382 3044.81/3053.01 c #Conflicts: 631000 | #Constraints: 58382 3044.81/3053.01 c #Conflicts: 632000 | #Constraints: 59382 3044.81/3053.01 c #Conflicts: 633000 | #Constraints: 60382 3044.81/3053.01 c #Conflicts: 634000 | #Constraints: 61382 3044.81/3053.01 c #Conflicts: 635000 | #Constraints: 62382 3044.81/3053.01 c #Conflicts: 636000 | #Constraints: 63382 3044.81/3053.01 c #Conflicts: 637000 | #Constraints: 64382 3044.81/3053.01 c #Conflicts: 638000 | #Constraints: 65382 3044.81/3053.01 c #Conflicts: 639000 | #Constraints: 66382 3044.81/3053.01 c #Conflicts: 640000 | #Constraints: 67382 3044.81/3053.01 c #Conflicts: 641000 | #Constraints: 68382 3044.81/3053.01 c #Conflicts: 642000 | #Constraints: 69382 3044.81/3053.01 c #Conflicts: 643000 | #Constraints: 70382 3044.81/3053.01 c #Conflicts: 644000 | #Constraints: 71382 3044.81/3053.01 c #Conflicts: 645000 | #Constraints: 72382 3044.81/3053.01 c #Conflicts: 646000 | #Constraints: 73382 3044.81/3053.01 c #Conflicts: 647000 | #Constraints: 74382 3044.81/3053.01 c #Conflicts: 648000 | #Constraints: 75382 3044.81/3053.01 c #Conflicts: 649000 | #Constraints: 76382 3044.81/3053.01 c #Conflicts: 650000 | #Constraints: 77382 3044.81/3053.01 c #Conflicts: 651000 | #Constraints: 78382 3044.81/3053.01 c #Conflicts: 652000 | #Constraints: 79382 3044.81/3053.01 c #Conflicts: 653000 | #Constraints: 80382 3044.81/3053.01 c #Conflicts: 654000 | #Constraints: 81382 3044.81/3053.01 c #Conflicts: 655000 | #Constraints: 82382 3044.81/3053.01 c #Conflicts: 656000 | #Constraints: 83382 3044.81/3053.01 c #Conflicts: 657000 | #Constraints: 84382 3044.81/3053.01 c #Conflicts: 658000 | #Constraints: 85382 3044.81/3053.01 c #Conflicts: 659000 | #Constraints: 86382 3044.81/3053.01 c #Conflicts: 660000 | #Constraints: 87382 3044.81/3053.01 c #Conflicts: 661000 | #Constraints: 88382 3044.81/3053.01 c INPROCESSING 3044.81/3053.01 c GARBAGE COLLECT 3044.81/3053.01 c rational objective 139 3129.18/3137.64 c #Conflicts: 662000 | #Constraints: 45899 3129.18/3137.64 c #Conflicts: 663000 | #Constraints: 46899 3129.18/3137.64 c #Conflicts: 664000 | #Constraints: 47899 3129.18/3137.64 c #Conflicts: 665000 | #Constraints: 48899 3129.18/3137.64 c #Conflicts: 666000 | #Constraints: 49899 3129.18/3137.64 c #Conflicts: 667000 | #Constraints: 50899 3129.18/3137.64 c #Conflicts: 668000 | #Constraints: 51899 3129.18/3137.64 c #Conflicts: 669000 | #Constraints: 52899 3129.18/3137.64 c #Conflicts: 670000 | #Constraints: 53899 3129.18/3137.64 c #Conflicts: 671000 | #Constraints: 54899 3129.18/3137.64 c #Conflicts: 672000 | #Constraints: 55900 3129.18/3137.64 c #Conflicts: 673000 | #Constraints: 56900 3129.18/3137.64 c #Conflicts: 674000 | #Constraints: 57900 3129.18/3137.64 c #Conflicts: 675000 | #Constraints: 58900 3129.18/3137.64 c #Conflicts: 676000 | #Constraints: 59900 3129.18/3137.64 c #Conflicts: 677000 | #Constraints: 60900 3129.18/3137.64 c #Conflicts: 678000 | #Constraints: 61900 3129.18/3137.64 c #Conflicts: 679000 | #Constraints: 62900 3129.18/3137.64 c #Conflicts: 680000 | #Constraints: 63900 3129.18/3137.64 c #Conflicts: 681000 | #Constraints: 64900 3129.18/3137.64 c #Conflicts: 682000 | #Constraints: 65900 3129.18/3137.64 c INPROCESSING 3129.18/3137.64 c GARBAGE COLLECT 3129.18/3137.64 c rational objective 139 3600.06/3609.80 c #Conflicts: 683000 | #Constraints: 39082 3600.06/3609.80 c #Conflicts: 684000 | #Constraints: 40082 3600.06/3609.80 c #Conflicts: 685000 | #Constraints: 41082 3600.06/3609.80 c #Conflicts: 686000 | #Constraints: 42082 3600.06/3609.80 c #Conflicts: 687000 | #Constraints: 43082 3600.06/3609.80 c #Conflicts: 688000 | #Constraints: 44082 3600.06/3609.80 c #Conflicts: 689000 | #Constraints: 45082 3600.06/3609.80 c #Conflicts: 690000 | #Constraints: 46082 3600.06/3609.80 c #Conflicts: 691000 | #Constraints: 47082 3600.06/3609.80 c #Conflicts: 692000 | #Constraints: 48082 3600.06/3609.80 c #Conflicts: 693000 | #Constraints: 49082 3600.06/3609.80 c #Conflicts: 694000 | #Constraints: 50082 3600.06/3609.80 c #Conflicts: 695000 | #Constraints: 51082 3600.06/3609.80 c #Conflicts: 696000 | #Constraints: 52082 3600.06/3609.80 c #Conflicts: 697000 | #Constraints: 53082 3600.06/3609.80 c #Conflicts: 698000 | #Constraints: 54082 3600.06/3609.80 c #Conflicts: 699000 | #Constraints: 55082 3600.06/3609.80 c #Conflicts: 700000 | #Constraints: 56082 3600.06/3609.80 c #Conflicts: 701000 | #Constraints: 57082 3600.06/3609.80 c #Conflicts: 702000 | #Constraints: 58082 3600.06/3609.80 c #Conflicts: 703000 | #Constraints: 59082 3600.06/3609.80 c #Conflicts: 704000 | #Constraints: 60082 3600.06/3609.80 c #Conflicts: 705000 | #Constraints: 61082 3600.06/3609.80 c #Conflicts: 706000 | #Constraints: 62082 3600.06/3609.80 c #Conflicts: 707000 | #Constraints: 63082 3600.06/3609.80 c #Conflicts: 708000 | #Constraints: 64082 3600.06/3609.80 c #Conflicts: 709000 | #Constraints: 65082 3600.06/3609.80 c #Conflicts: 710000 | #Constraints: 66082 3600.06/3609.80 c #Conflicts: 711000 | #Constraints: 67082 3600.06/3609.80 c #Conflicts: 712000 | #Constraints: 68082 3600.06/3609.80 c #Conflicts: 713000 | #Constraints: 69082 3600.06/3609.80 c #Conflicts: 714000 | #Constraints: 70082 3600.06/3609.80 c #Conflicts: 715000 | #Constraints: 71082 3600.06/3609.80 c #Conflicts: 716000 | #Constraints: 72082 3600.06/3609.80 c #Conflicts: 717000 | #Constraints: 73082 3600.06/3609.80 c #Conflicts: 718000 | #Constraints: 74082 3600.06/3609.80 c #Conflicts: 719000 | #Constraints: 75082 3600.06/3609.80 c #Conflicts: 720000 | #Constraints: 76082 3600.06/3609.80 c #Conflicts: 721000 | #Constraints: 77082 3600.06/3609.80 c #Conflicts: 722000 | #Constraints: 78082 3600.06/3609.80 c #Conflicts: 723000 | #Constraints: 79082 3600.06/3609.80 c #Conflicts: 724000 | #Constraints: 80082 3600.06/3609.80 c #Conflicts: 725000 | #Constraints: 81082 3600.06/3609.80 c #Conflicts: 726000 | #Constraints: 82082 3600.06/3609.80 c #Conflicts: 727000 | #Constraints: 83082 3600.06/3609.80 c #Conflicts: 728000 | #Constraints: 84082 3600.06/3609.80 c #Conflicts: 729000 | #Constraints: 85082 3600.06/3609.80 c #Conflicts: 730000 | #Constraints: 86082 3600.06/3609.80 c #Conflicts: 731000 | #Constraints: 87082 3600.06/3609.80 c #Conflicts: 732000 | #Constraints: 88082 3600.06/3609.80 c #Conflicts: 733000 | #Constraints: 89082 3600.06/3609.80 c #Conflicts: 734000 | #Constraints: 90082 3600.06/3609.80 c #Conflicts: 735000 | #Constraints: 91082 3600.06/3609.80 c Program interrupted by user. 3600.06/3609.80 c cpu time 3582.01 s 3600.06/3609.80 c deterministic time 374543652091 3.75e+11 3600.06/3609.80 c optimization time 469.378 s 3600.06/3609.80 c total solve time 3112.63 s 3600.06/3609.80 c core-guided solve time 1944.97 s 3600.06/3609.80 c propagation time 3115.22 s 3600.06/3609.80 c conflict analysis time 434.544 s 3600.06/3609.80 c propagations 107621112 3600.06/3609.80 c resolve steps 6329696 3600.06/3609.80 c decisions 5766718 3600.06/3609.80 c conflicts 735507 3600.06/3609.80 c restarts 1533 3600.06/3609.80 c inprocessing phases 39 3600.06/3609.80 c input clauses 302 3600.06/3609.80 c input cardinalities 305 3600.06/3609.80 c input general constraints 889 3600.06/3609.80 c input average constraint length 58.94 3600.06/3609.80 c input average constraint degree 22.35 3600.06/3609.80 c learned clauses 245929 3600.06/3609.80 c learned cardinalities 4123 3600.06/3609.80 c learned general constraints 485468 3600.06/3609.80 c learned average constraint length 204.97 3600.06/3609.80 c learned average constraint degree 9708188.09 3600.06/3609.80 c watched constraints 340705 3600.06/3609.80 c counting constraints 145652 3600.06/3609.80 c gcd simplifications 91729 3600.06/3609.80 c detected cardinalities 1908 3600.06/3609.80 c weakened non-implied lits 30382015 3600.06/3609.80 c weakened non-implying lits 68367 3600.06/3609.80 c original variables 467 3600.06/3609.80 c clausal propagations 9785142 3600.06/3609.80 c cardinality propagations 6689613 3600.06/3609.80 c watched propagations 17364674 3600.06/3609.80 c counting propagations 72376129 3600.06/3609.80 c watch lookups 58094880482 3600.06/3609.80 c watch backjump lookups 52260966658 3600.06/3609.80 c watch checks 243271820298 3600.06/3609.80 c propagation checks 20082569150 3600.06/3609.80 c constraint additions 605134614 3600.06/3609.80 c trail pops 114122649 3600.06/3609.80 c formula constraints 466 3600.06/3609.80 c learned constraints 735504 3600.06/3609.80 c bound constraints 167 3600.06/3609.80 c core-guided constraints 863 3600.06/3609.80 c encountered formula constraints 1076367 3600.06/3609.80 c encountered learned constraints 5119671 3600.06/3609.80 c encountered bound constraints 119 3600.06/3609.80 c encountered core-guided constraints 868985 3600.06/3609.80 c LP total time 41.0125 s 3600.06/3609.80 c LP solve time 40.03 s 3600.06/3609.80 c LP constraints added 466 3600.06/3609.80 c LP constraints removed 0 3600.06/3609.80 c LP pivots internal 735528 3600.06/3609.80 c LP pivots root 34881 3600.06/3609.80 c LP calls 16999 3600.06/3609.80 c LP optimalities 16988 3600.06/3609.80 c LP no pivot count 1082 3600.06/3609.80 c LP infeasibilities 8 3600.06/3609.80 c LP valid Farkas constraints 8 3600.06/3609.80 c LP learned Farkas constraints 8 3600.06/3609.80 c LP basis resets 0 3600.06/3609.80 c LP cycling count 0 3600.06/3609.80 c LP singular count 0 3600.06/3609.80 c LP no primal count 0 3600.06/3609.80 c LP no farkas count 0 3600.06/3609.80 c LP other issue count 0 3600.06/3609.80 c LP Gomory cuts 0 3600.06/3609.80 c LP learned cuts 0 3600.06/3609.80 c LP deleted cuts 0 3600.06/3609.80 c LP encountered Gomory constraints 0 3600.06/3609.80 c LP encountered Farkas constraints 45 3600.06/3609.80 c LP encountered learned Farkas constraints 8 3600.06/3609.80 c CG auxiliary variables introduced 334 3600.06/3609.80 c CG solutions found 28 3600.06/3609.80 c CG cores constructed 139 3600.06/3609.80 c CG core cardinality constraints returned 0 3600.06/3609.80 c CG unit cores 0 3600.06/3609.80 c CG single cores 139 3600.06/3609.80 c CG blocks removed during cardinality reduction 0 3600.06/3609.80 c CG first core best 0 3600.06/3609.80 c CG decision core best 0 3600.06/3609.80 c CG core reduction tie 0 3600.06/3609.80 c CG core degree average 1.00 3600.06/3609.80 c CG core slack average 4.17 3600.06/3609.80 s SATISFIABLE 3600.06/3609.80 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 x95 -x96 x97 -x98 x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 x139 x140 x141 -x142 x143 x144 -x145 -x146 -x147 -x148 x149 -x150 x151 -x152 -x153 x154 x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 x164 x165 x166 x167 x168 x169 x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 x226 x227 -x228 x229 -x230 -x231 x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 x267 x268 x269 x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 -x285 x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 -x301 x
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61846 MiB free)
memory of node 1: 64473 MiB (61151 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460168-1722064838/watcher-4460168-1722064838 -o /tmp/evaluation-result-4460168-1722064838/solver-4460168-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301308 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460168-1722064838 --lp-cut-gomory=0 HOME/instance-4460168-1722064838.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=301363, runsolver pid=301351
Current StackSize limit: 8192 KiB
[startup+0.100397 s]*
/proc/loadavg: 0.07 0.09 0.09 7/245 301370
/proc/meminfo: memFree=125943136/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=38628 memory=8712 CPUtime=0.09 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 577 0 0 0 8 1 0 0 20 0 1 0 42473670 39555072 2178 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 9657 2178 1778 992 0 1515 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38628 KiB
Current children cumulated memory: 8712 KiB
[startup+0.214637 s]*
/proc/loadavg: 0.07 0.09 0.09 7/245 301370
/proc/meminfo: memFree=125940940/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=38844 memory=8796 CPUtime=0.2 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 624 0 0 0 19 1 0 0 20 0 1 0 42473670 39776256 2199 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 9711 2199 1778 992 0 1569 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38844 KiB
Current children cumulated memory: 8796 KiB
[startup+0.31397 s]*
/proc/loadavg: 0.07 0.09 0.09 7/245 301370
/proc/meminfo: memFree=125940476/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=38844 memory=8796 CPUtime=0.29 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 631 0 0 0 28 1 0 0 20 0 1 0 42473670 39776256 2199 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 9711 2199 1778 992 0 1569 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38844 KiB
Current children cumulated memory: 8796 KiB
[startup+0.700266 s]
/proc/loadavg: 0.07 0.09 0.09 7/245 301370
/proc/meminfo: memFree=125932288/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=40608 memory=11488 CPUtime=0.67 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 1306 0 0 0 60 7 0 0 20 0 1 0 42473670 41582592 2872 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 10152 2872 1826 992 0 2010 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 11488 KiB
[startup+1.50029 s]
/proc/loadavg: 0.07 0.09 0.09 7/245 301370
/proc/meminfo: memFree=125904324/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=43068 memory=16936 CPUtime=1.47 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 2057 0 0 0 134 13 0 0 20 0 1 0 42473670 44101632 4234 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 10767 4234 1889 992 0 2625 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43068 KiB
Current children cumulated memory: 16936 KiB
[startup+3.11333 s]
/proc/loadavg: 0.07 0.09 0.09 7/245 301372
/proc/meminfo: memFree=125852912/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=46472 memory=20484 CPUtime=3.07 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 3041 0 0 0 286 21 0 0 20 0 1 0 42473670 47587328 5055 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 11618 5121 1889 992 0 3476 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46472 KiB
Current children cumulated memory: 20484 KiB
[startup+6.30029 s]
/proc/loadavg: 0.39 0.15 0.11 7/248 301375
/proc/meminfo: memFree=125760392/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=54200 memory=27656 CPUtime=6.25 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 4347 0 0 0 589 36 0 0 20 0 1 0 42473670 55500800 6914 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 13550 6914 1889 992 0 5408 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 54200 KiB
Current children cumulated memory: 27656 KiB
[startup+12.7003 s]
/proc/loadavg: 0.76 0.23 0.14 7/248 301376
/proc/meminfo: memFree=125580148/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=90724 memory=52072 CPUtime=12.63 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 8422 0 0 0 1204 59 0 0 20 0 1 0 42473670 92901376 13018 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 22681 13018 1905 992 0 14539 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 90724 KiB
Current children cumulated memory: 52072 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.42 0.20 7/248 301378
/proc/meminfo: memFree=125342596/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=97376 memory=64004 CPUtime=25.4 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 9839 0 0 0 2453 87 0 0 20 0 1 0 42473670 99713024 16001 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 24344 16001 1905 992 0 16202 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 97376 KiB
Current children cumulated memory: 64004 KiB
[startup+51.1134 s]
/proc/loadavg: 2.34 0.71 0.30 7/248 301382
/proc/meminfo: memFree=125013704/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=109088 memory=76944 CPUtime=50.93 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 12152 0 0 0 4956 137 0 0 20 0 1 0 42473670 111706112 19236 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 27272 19236 1905 992 0 19130 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 109088 KiB
Current children cumulated memory: 76944 KiB
[startup+102.3 s]
/proc/loadavg: 3.32 1.23 0.50 7/248 301392
/proc/meminfo: memFree=124599176/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=112800 memory=80076 CPUtime=101.93 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 12958 0 0 0 9999 194 0 0 20 0 1 0 42473670 115507200 20019 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 28200 20019 1905 992 0 20058 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 112800 KiB
Current children cumulated memory: 80076 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.75 0.73 7/248 301402
/proc/meminfo: memFree=124161636/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=196432 memory=132840 CPUtime=161.72 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 21253 0 0 0 15892 280 0 0 20 0 1 0 42473670 201146368 33210 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 49108 33210 1905 992 0 40966 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 196432 KiB
Current children cumulated memory: 132840 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.18 0.94 7/248 301413
/proc/meminfo: memFree=123836144/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=201652 memory=144328 CPUtime=221.49 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 22423 0 0 0 21809 340 0 0 20 0 1 0 42473670 206491648 36082 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 50413 36082 1905 992 0 42271 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 201652 KiB
Current children cumulated memory: 144328 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.54 1.15 7/248 301423
/proc/meminfo: memFree=123484812/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=206212 memory=157740 CPUtime=281.28 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 23471 0 0 0 27712 416 0 0 20 0 1 0 42473670 211161088 39435 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 51553 39435 1905 992 0 43411 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 206212 KiB
Current children cumulated memory: 157740 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 2.81 1.33 7/245 301815
/proc/meminfo: memFree=123170772/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=208016 memory=159060 CPUtime=341.12 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 23859 0 0 0 33631 481 0 0 20 0 1 0 42473670 213008384 39765 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 52004 39765 1905 992 0 43862 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 208016 KiB
Current children cumulated memory: 159060 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.08 1.51 7/245 301826
/proc/meminfo: memFree=122923584/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=217100 memory=164700 CPUtime=400.97 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 25341 0 0 0 39577 520 0 0 20 0 1 0 42473670 222310400 41175 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 54275 41175 1905 992 0 46133 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 217100 KiB
Current children cumulated memory: 164700 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.26 1.68 7/245 301836
/proc/meminfo: memFree=122667680/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=219936 memory=166636 CPUtime=460.8 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 26102 0 0 0 45508 572 0 0 20 0 1 0 42473670 225214464 41659 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 54984 41659 1905 992 0 46842 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.01 7/246 303110
/proc/meminfo: memFree=116435312/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=400068 memory=349692 CPUtime=3093.97 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 53433 0 0 0 307760 1637 0 0 20 0 1 0 42473670 409669632 87423 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 100017 87423 1905 992 0 91875 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 349692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.02 7/244 303120
/proc/meminfo: memFree=116326892/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=400068 memory=349824 CPUtime=3153.81 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 53588 0 0 0 313712 1669 0 0 20 0 1 0 42473670 409669632 87456 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 100017 87456 1905 992 0 91875 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 349824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.03 7/245 303131
/proc/meminfo: memFree=116222260/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=400068 memory=351272 CPUtime=3213.66 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 53707 0 0 0 319670 1696 0 0 20 0 1 0 42473670 409669632 87818 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 100017 87818 1905 992 0 91875 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 351272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.04 7/245 303143
/proc/meminfo: memFree=116114384/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=400068 memory=372052 CPUtime=3273.5 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 53868 0 0 0 325634 1716 0 0 20 0 1 0 42473670 409669632 93013 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 100017 93013 1905 992 0 91875 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 372052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.04 7/244 303153
/proc/meminfo: memFree=116006312/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=400236 memory=372072 CPUtime=3333.35 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 54037 0 0 0 331600 1735 0 0 20 0 1 0 42473670 409841664 93018 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 100059 93018 1905 992 0 91917 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 400236 KiB
Current children cumulated memory: 372072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.04 7/244 303163
/proc/meminfo: memFree=115873304/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=403780 memory=373868 CPUtime=3393.2 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 54673 0 0 0 337567 1753 0 0 20 0 1 0 42473670 413470720 93467 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 100945 93467 1905 992 0 92803 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 403780 KiB
Current children cumulated memory: 373868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.04 7/244 303173
/proc/meminfo: memFree=115762588/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=408356 memory=376612 CPUtime=3453.05 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 55514 0 0 0 343535 1770 0 0 20 0 1 0 42473670 418156544 94153 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 102089 94153 1905 992 0 93947 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 408356 KiB
Current children cumulated memory: 376612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.04 7/243 303185
/proc/meminfo: memFree=115655548/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=495344 memory=383672 CPUtime=3512.86 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 56972 0 0 0 349501 1785 0 0 20 0 1 0 42473670 507232256 95918 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 123836 95918 1905 992 0 115694 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 495344 KiB
Current children cumulated memory: 383672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.04 7/243 303195
/proc/meminfo: memFree=115565752/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=499772 memory=394812 CPUtime=3572.66 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 57852 0 0 0 355466 1800 0 0 20 0 1 0 42473670 511766528 98703 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 124943 98703 1905 992 0 116801 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 499772 KiB
Current children cumulated memory: 394812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.04 4.10 4.04 7/245 303203
/proc/meminfo: memFree=115528128/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=502152 memory=400480 CPUtime=3600.06 cores=1,3
/proc/301363/stat : 301363 (roundingsat) R 301351 301363 301296 0 -1 4194304 58248 0 0 0 358200 1806 0 0 20 0 1 0 42473670 514203648 100120 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 125538 100120 1905 992 0 117396 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 502152 KiB
Current children cumulated memory: 400480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.04 4.10 4.04 2/246 303206
/proc/meminfo: memFree=115522192/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=502152 memory=400480 CPUtime=3600.07 cores=1,3
/proc/301363/stat : 301363 (roundingsat) D 301351 301363 301296 0 -1 4194304 58256 0 0 0 358201 1806 0 0 20 0 1 0 42473670 514203648 100120 134679101440 4194304 8254357 140724088806432 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 125538 100120 1905 992 0 117396 0
??? kill 301363 sig 9
??? end of watcher thread
[startup+3614.43 s]
# the end of solver process 301363 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.01 s, system=18.0806 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.04 4.10 4.04 4/247 303205
/proc/meminfo: memFree=115522304/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=502152 memory=400480 CPUtime=3600.07 cores=1,3
/proc/301363/stat : 301363 (roundingsat) D 301351 301363 301296 0 -1 4194304 58256 0 0 0 358201 1806 0 0 20 0 1 0 42473670 514203648 100120 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 125538 100120 1905 992 0 117396 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 502152 KiB
Current children cumulated memory: 400480 KiB
[startup+3611.6 s]
/proc/loadavg: 4.04 4.10 4.04 4/247 303205
/proc/meminfo: memFree=115522304/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=502152 memory=400480 CPUtime=3600.07 cores=1,3
/proc/301363/stat : 301363 (roundingsat) D 301351 301363 301296 0 -1 4194304 58256 0 0 0 358201 1806 0 0 20 0 1 0 42473670 514203648 100120 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 125538 100120 1905 992 0 117396 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 502152 KiB
Current children cumulated memory: 400480 KiB
[startup+3611.8 s]
/proc/loadavg: 4.04 4.10 4.04 4/247 303205
/proc/meminfo: memFree=115522304/131655788 swapFree=131058856/131071996
[pid=301363] ppid=301351 vsize=502152 memory=400480 CPUtime=3600.07 cores=1,3
/proc/301363/stat : 301363 (roundingsat) D 301351 301363 301296 0 -1 4194304 58256 0 0 0 358201 1806 0 0 20 0 1 0 42473670 514203648 100120 134679101440 4194304 8254357 140724088806432 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18255872 140724088808283 140724088808545 140724088808545 140724088815561 0
/proc/301363/statm: 125538 100120 1905 992 0 117396 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 502152 KiB
Current children cumulated memory: 400480 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.43
CPU time (s): 3600.09
CPU user time (s): 3582.01
CPU system time (s): 18.0806
CPU usage (%): 99.6033
Max. virtual memory (cumulated for all children) (KiB): 502152
Max. memory (cumulated for all children) (KiB): 400480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.01
system time used= 18.0806
maximum resident set size= 401100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4568680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229
involuntary context switches= 5162
# summary of solver processes directly reported to runsolver:
# pid: 301363
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.01
# total CPU system time (s): 18.0806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.6635 second user time and 30.4269 second system time
The end
Begin job on nodeC009 at 2024-07-27 09:20:38 IDJOB=4460168 IDBENCH=147542 IDSOLVER=3086 FILE ID=nodeC009/4460168-1722064838 RUNJOBID= nodeC009-1722064837-301308 SLURM_JOB_ID= 8248111 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.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-4460168-1722064838/watcher-4460168-1722064838 -o /tmp/evaluation-result-4460168-1722064838/solver-4460168-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301308 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460168-1722064838 --lp-cut-gomory=0 HOME/instance-4460168-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=1957297555 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.274 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.268 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.281 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125951620 kB MemAvailable: 129855204 kB Buffers: 381732 kB Cached: 4268484 kB SwapCached: 4924 kB Active: 1916368 kB Inactive: 3063844 kB Active(anon): 1512 kB Inactive(anon): 381976 kB Active(file): 1914856 kB Inactive(file): 2681868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22520 kB Writeback: 0 kB AnonPages: 324308 kB Mapped: 92312 kB Shmem: 53492 kB KReclaimable: 294120 kB Slab: 406344 kB SReclaimable: 294120 kB SUnreclaim: 112224 kB KernelStack: 3664 kB PageTables: 9720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 728496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723760 MiB End job on nodeC009 at 2024-07-27 10:20:53