| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | OPT cert. | 18 | 1243.72 | 1247.01 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
| MD5SUM | beae51edba02eeda3c8007d8306fd545 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 16.5068 |
| 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 | 4318 |
| Total number of constraints | 15120 |
| Number of constraints which are clauses | 15112 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 490 |
| Number of terms in the objective function | 490 |
| 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 | 490 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 518 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.05 c #variables 4318 #constraints 15120 2.99/3.05 c bounds - >= 0 @ 0.037957 2.99/3.05 c bounds 24 >= 0 @ 0.180231 2.99/3.05 c bounds 24 >= 5 @ 0.180442 2.99/3.05 c bounds 24 >= 6 @ 0.227448 2.99/3.05 c bounds 24 >= 7 @ 0.22859 2.99/3.05 c bounds 23 >= 7 @ 0.482824 2.99/3.05 c bounds 23 >= 8 @ 0.483594 2.99/3.05 c bounds 23 >= 9 @ 0.484267 2.99/3.05 c bounds 23 >= 10 @ 0.48494 2.99/3.05 c bounds 23 >= 11 @ 0.48594 2.99/3.05 c bounds 23 >= 12 @ 0.487299 2.99/3.05 c bounds 23 >= 13 @ 0.499461 2.99/3.05 c bounds 23 >= 14 @ 1.14383 2.99/3.05 c #Conflicts: 1000 | #Constraints: 16177 2.99/3.05 c #Conflicts: 2000 | #Constraints: 17177 2.99/3.05 c INPROCESSING 2.99/3.05 c GARBAGE COLLECT 2.99/3.05 WSVECS04 Frhs2[121]: 6 0 0.444302 shouldn't be 2.99/3.05 WSVECS04 Frhs2[210]: 6 0 0.920497 shouldn't be 2.99/3.05 WSVECS04 Frhs2[327]: 6 0 0.269712 shouldn't be 2.99/3.05 WSVECS04 Frhs2[630]: 6 0 0.499958 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2394]: 6 -0.923826 0 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2563]: 6 0 0.396773 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2674]: 6 0 4.69209 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2748]: 6 0 0.17467 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2758]: 6 0 0.222131 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2979]: 6 -1.00009 0 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2981]: 6 0 1.00003 shouldn't be 2.99/3.05 WSVECS04 Frhs2[2982]: 6 0 1.00003 shouldn't be 2.99/3.05 WSVECS04 Frhs2[3252]: 6 0 0.515151 shouldn't be 2.99/3.05 WSVECS04 Frhs2[3833]: 6 0 0.317781 shouldn't be 2.99/3.05 WSVECS04 Frhs2[3835]: 6 0 0.31781 shouldn't be 2.99/3.05 WSVECS04 Frhs2[3836]: 6 0 0.317757 shouldn't be 2.99/3.05 WSVECS04 Frhs2[3837]: 6 0 0.317753 shouldn't be 2.99/3.05 WSVECS04 Frhs2[3839]: 6 0 0.317745 shouldn't be 2.99/3.05 WSVECS04 Frhs2[4144]: 6 -0.210819 0 shouldn't be 2.99/3.05 WSVECS04 Frhs2[4145]: 6 0 0.210748 shouldn't be 2.99/3.05 WSVECS04 Frhs2[4146]: 6 0 0.2108 shouldn't be 2.99/3.05 WSVECS04 Frhs2[4155]: 6 0 0.725 shouldn't be 2.99/3.05 WSVECS04 Frhs2[4256]: 6 0 4.22382 shouldn't be 10.07/10.19 c #Conflicts: 3000 | #Constraints: 17179 10.07/10.19 c #Conflicts: 4000 | #Constraints: 18179 10.07/10.19 c INPROCESSING 10.07/10.19 c GARBAGE COLLECT 10.07/10.19 c bounds 22 >= 14 @ 7.89969 10.07/10.19 c #Conflicts: 5000 | #Constraints: 17602 10.07/10.19 c bounds 21 >= 14 @ 8.2143 10.07/10.19 c bounds 20 >= 14 @ 8.31236 10.07/10.19 c #Conflicts: 6000 | #Constraints: 18604 10.07/10.19 c INPROCESSING 10.07/10.19 c GARBAGE COLLECT 10.07/10.19 c rational objective 14 17.14/17.25 c #Conflicts: 7000 | #Constraints: 17602 17.14/17.25 c #Conflicts: 8000 | #Constraints: 18602 17.14/17.25 c bounds 19 >= 14 @ 13.3805 17.14/17.25 c #Conflicts: 9000 | #Constraints: 19603 17.14/17.25 c INPROCESSING 17.14/17.25 c GARBAGE COLLECT 17.14/17.25 c rational objective 14 20.84/20.93 c #Conflicts: 10000 | #Constraints: 18312 20.84/20.93 c #Conflicts: 11000 | #Constraints: 19313 20.84/20.93 c #Conflicts: 12000 | #Constraints: 20313 20.84/20.93 c INPROCESSING 20.84/20.93 c GARBAGE COLLECT 20.84/20.93 c rational objective 14 24.03/24.14 c bounds 19 >= 15 @ 21.097 24.03/24.14 c #Conflicts: 13000 | #Constraints: 18800 24.03/24.14 c #Conflicts: 14000 | #Constraints: 19800 24.03/24.14 c #Conflicts: 15000 | #Constraints: 20800 24.03/24.14 c INPROCESSING 24.03/24.14 c GARBAGE COLLECT 24.03/24.14 c rational objective 15 32.21/32.33 c #Conflicts: 16000 | #Constraints: 19016 32.21/32.33 c #Conflicts: 17000 | #Constraints: 20016 32.21/32.33 c bounds 19 >= 16 @ 30.0778 32.21/32.33 c #Conflicts: 18000 | #Constraints: 21034 32.21/32.33 c INPROCESSING 32.21/32.33 c GARBAGE COLLECT 32.21/32.33 c rational objective 16 36.69/36.85 c #Conflicts: 19000 | #Constraints: 19060 36.69/36.85 c #Conflicts: 20000 | #Constraints: 20060 36.69/36.85 c #Conflicts: 21000 | #Constraints: 21060 36.69/36.85 c INPROCESSING 36.69/36.85 c GARBAGE COLLECT 36.69/36.85 c rational objective 16 49.17/49.39 c #Conflicts: 22000 | #Constraints: 18864 49.17/49.39 c #Conflicts: 23000 | #Constraints: 19864 49.17/49.39 c #Conflicts: 24000 | #Constraints: 20864 49.17/49.39 c #Conflicts: 25000 | #Constraints: 21864 49.17/49.39 c INPROCESSING 49.17/49.39 c GARBAGE COLLECT 49.17/49.39 c rational objective 16 64.83/65.07 c #Conflicts: 26000 | #Constraints: 19497 64.83/65.07 c #Conflicts: 27000 | #Constraints: 20497 64.83/65.07 c #Conflicts: 28000 | #Constraints: 21497 64.83/65.07 c #Conflicts: 29000 | #Constraints: 22497 64.83/65.07 c INPROCESSING 64.83/65.07 c GARBAGE COLLECT 64.83/65.07 c #Conflicts: 30000 | #Constraints: 19898 64.83/65.07 c #Conflicts: 31000 | #Constraints: 20898 64.83/65.07 c #Conflicts: 32000 | #Constraints: 21898 64.83/65.07 c bounds 18 >= 16 @ 60.5093 64.83/65.07 c #Conflicts: 33000 | #Constraints: 22899 64.83/65.07 c INPROCESSING 64.83/65.07 c GARBAGE COLLECT 64.83/65.07 c rational objective 16 79.10/79.33 c #Conflicts: 34000 | #Constraints: 20111 79.10/79.33 c #Conflicts: 35000 | #Constraints: 21111 79.10/79.33 c #Conflicts: 36000 | #Constraints: 22112 79.10/79.33 c #Conflicts: 37000 | #Constraints: 23112 79.10/79.33 c INPROCESSING 79.10/79.33 c GARBAGE COLLECT 79.10/79.33 c rational objective 16 89.17/89.41 c #Conflicts: 38000 | #Constraints: 20156 89.17/89.41 c #Conflicts: 39000 | #Constraints: 21156 89.17/89.41 c #Conflicts: 40000 | #Constraints: 22156 89.17/89.41 c #Conflicts: 41000 | #Constraints: 23157 89.17/89.41 c INPROCESSING 89.17/89.41 c GARBAGE COLLECT 89.17/89.41 c rational objective 16 96.95/97.24 c #Conflicts: 42000 | #Constraints: 19962 96.95/97.24 c #Conflicts: 43000 | #Constraints: 20962 96.95/97.24 c #Conflicts: 44000 | #Constraints: 21962 96.95/97.24 c #Conflicts: 45000 | #Constraints: 22962 96.95/97.24 c #Conflicts: 46000 | #Constraints: 23962 96.95/97.24 c INPROCESSING 96.95/97.24 c GARBAGE COLLECT 96.95/97.24 c rational objective 16 118.70/119.08 c #Conflicts: 47000 | #Constraints: 20552 118.70/119.08 c #Conflicts: 48000 | #Constraints: 21552 118.70/119.08 c #Conflicts: 49000 | #Constraints: 22552 118.70/119.08 c #Conflicts: 50000 | #Constraints: 23552 118.70/119.08 c #Conflicts: 51000 | #Constraints: 24552 118.70/119.08 c INPROCESSING 118.70/119.08 c GARBAGE COLLECT 118.70/119.08 c rational objective 16 132.76/133.11 c #Conflicts: 52000 | #Constraints: 21011 132.76/133.11 c #Conflicts: 53000 | #Constraints: 22011 132.76/133.11 c #Conflicts: 54000 | #Constraints: 23011 132.76/133.11 c #Conflicts: 55000 | #Constraints: 24011 132.76/133.11 c #Conflicts: 56000 | #Constraints: 25011 132.76/133.11 c INPROCESSING 132.76/133.11 c GARBAGE COLLECT 132.76/133.11 c rational objective 16 144.43/144.84 c #Conflicts: 57000 | #Constraints: 21227 144.43/144.84 c #Conflicts: 58000 | #Constraints: 22227 144.43/144.84 c #Conflicts: 59000 | #Constraints: 23227 144.43/144.84 c #Conflicts: 60000 | #Constraints: 24227 144.43/144.84 c #Conflicts: 61000 | #Constraints: 25227 144.43/144.84 c INPROCESSING 144.43/144.84 c GARBAGE COLLECT 144.43/144.84 c rational objective 16 164.97/165.48 c #Conflicts: 62000 | #Constraints: 21210 164.97/165.48 c #Conflicts: 63000 | #Constraints: 22210 164.97/165.48 c bounds 18 >= 17 @ 152.713 164.97/165.48 c #Conflicts: 64000 | #Constraints: 23234 164.97/165.48 c #Conflicts: 65000 | #Constraints: 24234 164.97/165.48 c #Conflicts: 66000 | #Constraints: 25234 164.97/165.48 c INPROCESSING 164.97/165.48 c GARBAGE COLLECT 164.97/165.48 c rational objective 17 188.70/189.27 c #Conflicts: 67000 | #Constraints: 20999 188.70/189.27 c #Conflicts: 68000 | #Constraints: 22000 188.70/189.27 c #Conflicts: 69000 | #Constraints: 23000 188.70/189.27 c #Conflicts: 70000 | #Constraints: 24000 188.70/189.27 c #Conflicts: 71000 | #Constraints: 25000 188.70/189.27 c #Conflicts: 72000 | #Constraints: 26000 188.70/189.27 c INPROCESSING 188.70/189.27 c GARBAGE COLLECT 188.70/189.27 c rational objective 17 208.74/209.38 c #Conflicts: 73000 | #Constraints: 21659 208.74/209.38 c #Conflicts: 74000 | #Constraints: 22659 208.74/209.38 c #Conflicts: 75000 | #Constraints: 23659 208.74/209.38 c #Conflicts: 76000 | #Constraints: 24659 208.74/209.38 c #Conflicts: 77000 | #Constraints: 25659 208.74/209.38 c #Conflicts: 78000 | #Constraints: 26659 208.74/209.38 c INPROCESSING 208.74/209.38 c GARBAGE COLLECT 208.74/209.38 c rational objective 17 236.36/237.04 c #Conflicts: 79000 | #Constraints: 22093 236.36/237.04 c #Conflicts: 80000 | #Constraints: 23093 236.36/237.04 c #Conflicts: 81000 | #Constraints: 24093 236.36/237.04 c #Conflicts: 82000 | #Constraints: 25093 236.36/237.04 c #Conflicts: 83000 | #Constraints: 26093 236.36/237.04 c #Conflicts: 84000 | #Constraints: 27093 236.36/237.04 c INPROCESSING 236.36/237.04 c GARBAGE COLLECT 236.36/237.04 c rational objective 17 250.91/251.66 c #Conflicts: 85000 | #Constraints: 22296 250.91/251.66 c #Conflicts: 86000 | #Constraints: 23296 250.91/251.66 c #Conflicts: 87000 | #Constraints: 24296 250.91/251.66 c #Conflicts: 88000 | #Constraints: 25296 250.91/251.66 c #Conflicts: 89000 | #Constraints: 26297 250.91/251.66 c #Conflicts: 90000 | #Constraints: 27297 250.91/251.66 c INPROCESSING 250.91/251.66 c GARBAGE COLLECT 250.91/251.66 c rational objective 17 266.76/267.52 c #Conflicts: 91000 | #Constraints: 22332 266.76/267.52 c #Conflicts: 92000 | #Constraints: 23332 266.76/267.52 c #Conflicts: 93000 | #Constraints: 24332 266.76/267.52 c #Conflicts: 94000 | #Constraints: 25332 266.76/267.52 c #Conflicts: 95000 | #Constraints: 26332 266.76/267.52 c #Conflicts: 96000 | #Constraints: 27332 266.76/267.52 c INPROCESSING 266.76/267.52 c GARBAGE COLLECT 266.76/267.52 c rational objective 17 295.29/296.14 c #Conflicts: 97000 | #Constraints: 22093 295.29/296.14 c #Conflicts: 98000 | #Constraints: 23093 295.29/296.14 c #Conflicts: 99000 | #Constraints: 24094 295.29/296.14 c #Conflicts: 100000 | #Constraints: 25094 295.29/296.14 c #Conflicts: 101000 | #Constraints: 26094 295.29/296.14 c #Conflicts: 102000 | #Constraints: 27094 295.29/296.14 c #Conflicts: 103000 | #Constraints: 28094 295.29/296.14 c INPROCESSING 295.29/296.14 c GARBAGE COLLECT 295.29/296.14 c rational objective 17 527.05/528.56 c #Conflicts: 104000 | #Constraints: 22718 527.05/528.56 c #Conflicts: 105000 | #Constraints: 23718 527.05/528.56 c #Conflicts: 106000 | #Constraints: 24718 527.05/528.56 c #Conflicts: 107000 | #Constraints: 25718 527.05/528.56 c #Conflicts: 108000 | #Constraints: 26718 527.05/528.56 c #Conflicts: 109000 | #Constraints: 27718 527.05/528.56 c #Conflicts: 110000 | #Constraints: 28718 527.05/528.56 c #Conflicts: 111000 | #Constraints: 29718 527.05/528.56 c #Conflicts: 112000 | #Constraints: 30718 527.05/528.56 c #Conflicts: 113000 | #Constraints: 31718 527.05/528.56 c #Conflicts: 114000 | #Constraints: 32718 527.05/528.56 c #Conflicts: 115000 | #Constraints: 33718 527.05/528.56 c #Conflicts: 116000 | #Constraints: 34718 527.05/528.56 c #Conflicts: 117000 | #Constraints: 35718 527.05/528.56 c #Conflicts: 118000 | #Constraints: 36718 527.05/528.56 c #Conflicts: 119000 | #Constraints: 37718 527.05/528.56 c #Conflicts: 120000 | #Constraints: 38718 527.05/528.56 c #Conflicts: 121000 | #Constraints: 39718 527.05/528.56 c #Conflicts: 122000 | #Constraints: 40718 527.05/528.56 c #Conflicts: 123000 | #Constraints: 41718 527.05/528.56 c #Conflicts: 124000 | #Constraints: 42718 527.05/528.56 c #Conflicts: 125000 | #Constraints: 43718 527.05/528.56 c #Conflicts: 126000 | #Constraints: 44718 527.05/528.56 c #Conflicts: 127000 | #Constraints: 45718 527.05/528.56 c #Conflicts: 128000 | #Constraints: 46718 527.05/528.56 c #Conflicts: 129000 | #Constraints: 47718 527.05/528.56 c #Conflicts: 130000 | #Constraints: 48718 527.05/528.56 c #Conflicts: 131000 | #Constraints: 49718 527.05/528.56 c #Conflicts: 132000 | #Constraints: 50718 527.05/528.56 c INPROCESSING 527.05/528.56 c GARBAGE COLLECT 527.05/528.56 c rational objective 17 602.57/604.22 c #Conflicts: 133000 | #Constraints: 33895 602.57/604.22 c #Conflicts: 134000 | #Constraints: 34895 602.57/604.22 c #Conflicts: 135000 | #Constraints: 35895 602.57/604.22 c #Conflicts: 136000 | #Constraints: 36895 602.57/604.22 c #Conflicts: 137000 | #Constraints: 37895 602.57/604.22 c #Conflicts: 138000 | #Constraints: 38895 602.57/604.22 c #Conflicts: 139000 | #Constraints: 39895 602.57/604.22 c #Conflicts: 140000 | #Constraints: 40895 602.57/604.22 c INPROCESSING 602.57/604.22 c GARBAGE COLLECT 602.57/604.22 c rational objective 17 664.00/665.89 c #Conflicts: 141000 | #Constraints: 29096 664.00/665.89 c #Conflicts: 142000 | #Constraints: 30096 664.00/665.89 c #Conflicts: 143000 | #Constraints: 31096 664.00/665.89 c #Conflicts: 144000 | #Constraints: 32096 664.00/665.89 c #Conflicts: 145000 | #Constraints: 33096 664.00/665.89 c #Conflicts: 146000 | #Constraints: 34096 664.00/665.89 c #Conflicts: 147000 | #Constraints: 35096 664.00/665.89 c #Conflicts: 148000 | #Constraints: 36096 664.00/665.89 c INPROCESSING 664.00/665.89 c GARBAGE COLLECT 664.00/665.89 c rational objective 17 715.18/717.11 c #Conflicts: 149000 | #Constraints: 26590 715.18/717.11 c #Conflicts: 150000 | #Constraints: 27590 715.18/717.11 c #Conflicts: 151000 | #Constraints: 28590 715.18/717.11 c #Conflicts: 152000 | #Constraints: 29590 715.18/717.11 c #Conflicts: 153000 | #Constraints: 30590 715.18/717.11 c #Conflicts: 154000 | #Constraints: 31590 715.18/717.11 c #Conflicts: 155000 | #Constraints: 32590 715.18/717.11 c #Conflicts: 156000 | #Constraints: 33591 715.18/717.11 c INPROCESSING 715.18/717.11 c GARBAGE COLLECT 715.18/717.11 c rational objective 17 1243.62/1246.97 c #Conflicts: 157000 | #Constraints: 25209 1243.62/1246.97 c #Conflicts: 158000 | #Constraints: 26209 1243.62/1246.97 c #Conflicts: 159000 | #Constraints: 27209 1243.62/1246.97 c #Conflicts: 160000 | #Constraints: 28209 1243.62/1246.97 c #Conflicts: 161000 | #Constraints: 29209 1243.62/1246.97 c #Conflicts: 162000 | #Constraints: 30209 1243.62/1246.97 c #Conflicts: 163000 | #Constraints: 31209 1243.62/1246.97 c #Conflicts: 164000 | #Constraints: 32209 1243.62/1246.97 c #Conflicts: 165000 | #Constraints: 33209 1243.62/1246.97 c #Conflicts: 166000 | #Constraints: 34209 1243.62/1246.97 c #Conflicts: 167000 | #Constraints: 35209 1243.62/1246.97 c #Conflicts: 168000 | #Constraints: 36209 1243.62/1246.97 c #Conflicts: 169000 | #Constraints: 37209 1243.62/1246.97 c #Conflicts: 170000 | #Constraints: 38209 1243.62/1246.97 c #Conflicts: 171000 | #Constraints: 39209 1243.62/1246.97 c #Conflicts: 172000 | #Constraints: 40209 1243.62/1246.97 c #Conflicts: 173000 | #Constraints: 41209 1243.62/1246.97 c #Conflicts: 174000 | #Constraints: 42209 1243.62/1246.97 c #Conflicts: 175000 | #Constraints: 43209 1243.62/1246.97 c #Conflicts: 176000 | #Constraints: 44209 1243.62/1246.97 c #Conflicts: 177000 | #Constraints: 45209 1243.62/1246.97 c #Conflicts: 178000 | #Constraints: 46209 1243.62/1246.97 c #Conflicts: 179000 | #Constraints: 47209 1243.62/1246.97 c #Conflicts: 180000 | #Constraints: 48209 1243.62/1246.97 c #Conflicts: 181000 | #Constraints: 49209 1243.62/1246.97 c #Conflicts: 182000 | #Constraints: 50209 1243.62/1246.97 c #Conflicts: 183000 | #Constraints: 51209 1243.62/1246.97 c #Conflicts: 184000 | #Constraints: 52209 1243.62/1246.97 c #Conflicts: 185000 | #Constraints: 53209 1243.62/1246.97 c #Conflicts: 186000 | #Constraints: 54209 1243.62/1246.97 c bounds 18 >= 18 @ 1236.37 1243.62/1246.97 c cpu time 1236.37 s 1243.62/1246.97 c deterministic time 136282157548 1.36e+11 1243.62/1246.97 c optimization time 0.006203 s 1243.62/1246.97 c total solve time 1236.33 s 1243.62/1246.97 c core-guided solve time 871.943 s 1243.62/1246.97 c propagation time 963.246 s 1243.62/1246.97 c conflict analysis time 259.401 s 1243.62/1246.97 c propagations 141686566 1243.62/1246.97 c resolve steps 18496833 1243.62/1246.97 c decisions 3005958 1243.62/1246.97 c conflicts 186812 1243.62/1246.97 c restarts 508 1243.62/1246.97 c inprocessing phases 28 1243.62/1246.97 c input clauses 15165 1243.62/1246.97 c input cardinalities 33 1243.62/1246.97 c input general constraints 76 1243.62/1246.97 c input average constraint length 3.45 1243.62/1246.97 c input average constraint degree 1.39 1243.62/1246.97 c learned clauses 78902 1243.62/1246.97 c learned cardinalities 1200 1243.62/1246.97 c learned general constraints 106724 1243.62/1246.97 c learned average constraint length 730.26 1243.62/1246.97 c learned average constraint degree 9240403.29 1243.62/1246.97 c watched constraints 83242 1243.62/1246.97 c counting constraints 23558 1243.62/1246.97 c gcd simplifications 767 1243.62/1246.97 c detected cardinalities 11 1243.62/1246.97 c weakened non-implied lits 8452261 1243.62/1246.97 c weakened non-implying lits 30535 1243.62/1246.97 c original variables 4318 1243.62/1246.97 c clausal propagations 117895607 1243.62/1246.97 c cardinality propagations 872260 1243.62/1246.97 c watched propagations 2950647 1243.62/1246.97 c counting propagations 19494547 1243.62/1246.97 c watch lookups 18187838724 1243.62/1246.97 c watch backjump lookups 13955564750 1243.62/1246.97 c watch checks 100147889979 1243.62/1246.97 c propagation checks 3301325086 1243.62/1246.97 c constraint additions 399755644 1243.62/1246.97 c trail pops 144879310 1243.62/1246.97 c formula constraints 15120 1243.62/1246.97 c learned constraints 186808 1243.62/1246.97 c bound constraints 32 1243.62/1246.97 c core-guided constraints 122 1243.62/1246.97 c encountered formula constraints 16457233 1243.62/1246.97 c encountered learned constraints 2153040 1243.62/1246.97 c encountered bound constraints 177 1243.62/1246.97 c encountered core-guided constraints 73145 1243.62/1246.97 c LP total time 34.5987 s 1243.62/1246.97 c LP solve time 34.28 s 1243.62/1246.97 c LP constraints added 15232 1243.62/1246.97 c LP constraints removed 105 1243.62/1246.97 c LP pivots internal 186971 1243.62/1246.97 c LP pivots root 24559 1243.62/1246.97 c LP calls 192 1243.62/1246.97 c LP optimalities 179 1243.62/1246.97 c LP no pivot count 32 1243.62/1246.97 c LP infeasibilities 9 1243.62/1246.97 c LP valid Farkas constraints 9 1243.62/1246.97 c LP learned Farkas constraints 9 1243.62/1246.97 c LP basis resets 0 1243.62/1246.97 c LP cycling count 0 1243.62/1246.97 c LP singular count 0 1243.62/1246.97 c LP no primal count 0 1243.62/1246.97 c LP no farkas count 0 1243.62/1246.97 c LP other issue count 0 1243.62/1246.97 c LP Gomory cuts 0 1243.62/1246.97 c LP learned cuts 112 1243.62/1246.97 c LP deleted cuts 105 1243.62/1246.97 c LP encountered Gomory constraints 0 1243.62/1246.97 c LP encountered Farkas constraints 31 1243.62/1246.97 c LP encountered learned Farkas constraints 10 1243.62/1246.97 c CG auxiliary variables introduced 45 1243.62/1246.97 c CG solutions found 7 1243.62/1246.97 c CG cores constructed 14 1243.62/1246.97 c CG core cardinality constraints returned 0 1243.62/1246.97 c CG unit cores 1 1243.62/1246.97 c CG single cores 13 1243.62/1246.97 c CG blocks removed during cardinality reduction 0 1243.62/1246.97 c CG first core best 0 1243.62/1246.97 c CG decision core best 0 1243.62/1246.97 c CG core reduction tie 0 1243.62/1246.97 c CG core degree average 1.00 1243.62/1246.97 c CG core slack average 38.85 1243.62/1246.97 o 18 1243.62/1246.97 s OPTIMUM FOUND 1243.62/1246.97 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 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 x2785 -x2786 -x2787 x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 x3208 -x3209 -x3210 x3211 -x3212 x3213 -x3214 x3215 x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 x3247 -x3248 x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 x3257 -x3258 x3259 -x3260 x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 x3273 -x3274 x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 x3610 -x3611 x3612 -x3613 x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 x4151 -x4152 -x4153 x4154 -x4155 x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 x4273 -x4274 x4275 -x4276 -x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
OK 18
Running VeriPB version 2.2.1 s VERIFIED BOUNDS 18 <= obj <= 18 Verification succeeded.
-- out of memory --
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61168 MiB free)
memory of node 1: 64510 MiB (59890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456970-1721817259/watcher-4456970-1721817259 -o /tmp/evaluation-result-4456970-1721817259/solver-4456970-1721817259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191711 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456970-1721817259 --lp-cut-gomory=0 HOME/instance-4456970-1721817259.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
Current StackSize limit: 8192 KiB
solver pid=191881, runsolver pid=191878
[startup+0.100089 s]*
/proc/loadavg: 2.89 0.95 0.45 5/260 191882
/proc/meminfo: memFree=123953404/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=47812 memory=17784 CPUtime=0.1 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 3931 0 0 0 8 2 0 0 20 0 1 0 18249557 48959488 4446 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 11953 4446 1759 992 0 3811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 17784 KiB
[startup+0.205748 s]*
/proc/loadavg: 2.89 0.95 0.45 5/260 191882
/proc/meminfo: memFree=123952560/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=48544 memory=18568 CPUtime=0.2 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 4146 0 0 0 18 2 0 0 20 0 1 0 18249557 49709056 4642 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 12136 4642 1759 992 0 3994 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48544 KiB
Current children cumulated memory: 18568 KiB
[startup+0.305648 s]*
/proc/loadavg: 2.89 0.95 0.45 5/260 191882
/proc/meminfo: memFree=123951076/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=48544 memory=19272 CPUtime=0.3 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 4265 0 0 0 28 2 0 0 20 0 1 0 18249557 49709056 4818 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 12136 4818 1806 992 0 3994 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48544 KiB
Current children cumulated memory: 19272 KiB
[startup+0.700177 s]
/proc/loadavg: 2.89 0.95 0.45 5/260 191882
/proc/meminfo: memFree=123948920/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=49468 memory=23164 CPUtime=0.69 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 4747 0 0 0 65 4 0 0 20 0 1 0 18249557 50655232 5791 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 12367 5791 1806 992 0 4225 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49468 KiB
Current children cumulated memory: 23164 KiB
[startup+1.50018 s]
/proc/loadavg: 2.98 1.00 0.47 5/260 191882
/proc/meminfo: memFree=123943484/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=55680 memory=29188 CPUtime=1.49 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 5691 0 0 0 142 7 0 0 20 0 1 0 18249557 57016320 7297 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 13920 7297 1871 992 0 5778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55680 KiB
Current children cumulated memory: 29188 KiB
[startup+3.10572 s]
/proc/loadavg: 2.98 1.00 0.47 5/260 191882
/proc/meminfo: memFree=123930844/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=59060 memory=32212 CPUtime=3.09 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 6762 0 0 0 298 11 0 0 20 0 1 0 18249557 60477440 8053 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 14765 8053 1871 992 0 6623 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32212 KiB
[startup+6.3002 s]
/proc/loadavg: 3.14 1.06 0.50 5/260 191883
/proc/meminfo: memFree=123917744/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=68124 memory=39832 CPUtime=6.27 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 8149 0 0 0 608 19 0 0 20 0 1 0 18249557 69758976 9958 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 17031 9958 1871 992 0 8889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68124 KiB
Current children cumulated memory: 39832 KiB
[startup+12.7002 s]
/proc/loadavg: 3.21 1.11 0.52 5/260 191883
/proc/meminfo: memFree=123894816/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=82252 memory=49520 CPUtime=12.66 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 10089 0 0 0 1229 37 0 0 20 0 1 0 18249557 84226048 12380 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 20563 12380 1871 992 0 12421 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82252 KiB
Current children cumulated memory: 49520 KiB
[startup+25.5002 s]
/proc/loadavg: 3.33 1.21 0.55 5/260 191886
/proc/meminfo: memFree=123858568/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=99396 memory=61056 CPUtime=25.43 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 11937 0 0 0 2484 59 0 0 20 0 1 0 18249557 101781504 15264 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 24849 15264 1887 992 0 16707 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 99396 KiB
Current children cumulated memory: 61056 KiB
[startup+51.106 s]
/proc/loadavg: 3.60 1.48 0.67 5/260 191889
/proc/meminfo: memFree=123730852/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=105156 memory=74752 CPUtime=50.97 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 13283 0 0 0 5007 90 0 0 20 0 1 0 18249557 107679744 18688 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 26289 18688 1887 992 0 18147 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 74752 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 1.90 0.85 5/259 191899
/proc/meminfo: memFree=123611696/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=134004 memory=94752 CPUtime=102.04 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 16293 0 0 0 10040 164 0 0 20 0 1 0 18249557 137220096 23688 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 33501 23688 1887 992 0 25359 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 134004 KiB
Current children cumulated memory: 94752 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.30 1.06 5/259 191910
/proc/meminfo: memFree=123488444/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=135576 memory=96296 CPUtime=161.88 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 16690 0 0 0 15963 225 0 0 20 0 1 0 18249557 138829824 24074 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 33894 24074 1887 992 0 25752 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 135576 KiB
Current children cumulated memory: 96296 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.64 1.26 5/259 191920
/proc/meminfo: memFree=123352860/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=141332 memory=102072 CPUtime=221.7 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 18137 0 0 0 21887 283 0 0 20 0 1 0 18249557 144723968 25518 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 35333 25518 1887 992 0 27191 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 141332 KiB
Current children cumulated memory: 102072 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.89 1.43 5/258 191931
/proc/meminfo: memFree=123254432/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=149456 memory=112000 CPUtime=281.52 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 20093 0 0 0 27807 345 0 0 20 0 1 0 18249557 153042944 28000 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 37364 28000 1887 992 0 29222 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 149456 KiB
Current children cumulated memory: 112000 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.11 1.60 5/257 191943
/proc/meminfo: memFree=123152556/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=184900 memory=133116 CPUtime=341.34 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 21799 0 0 0 33738 396 0 0 20 0 1 0 18249557 189337600 33279 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 46225 33279 1887 992 0 38083 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 184900 KiB
Current children cumulated memory: 133116 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.32 1.77 5/259 191958
/proc/meminfo: memFree=123026160/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=253384 memory=199320 CPUtime=401.17 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 25956 0 0 0 39681 436 0 0 20 0 1 0 18249557 259465216 49830 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 63346 49830 1887 992 0 55204 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 253384 KiB
Current children cumulated memory: 199320 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 3.53 1.94 5/259 191968
/proc/meminfo: memFree=122934532/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=270076 memory=234516 CPUtime=461.02 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 29283 0 0 0 45644 458 0 0 20 0 1 0 18249557 276557824 58629 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 67519 58629 1887 992 0 59377 0
################
# More data... #
################
Current children cumulated memory: 263920 KiB
[startup+642.3 s]
/proc/loadavg: 4.09 3.79 2.33 5/259 192002
/proc/meminfo: memFree=122668024/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=359860 memory=263920 CPUtime=640.56 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 32070 0 0 0 63516 540 0 0 20 0 1 0 18249557 368496640 65980 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 89965 65980 1887 992 0 81823 0
Current children cumulated CPU time: 640.56 s
Current children cumulated vsize: 359860 KiB
Current children cumulated memory: 263920 KiB
[startup+702.3 s]
/proc/loadavg: 4.07 3.84 2.44 5/257 192013
/proc/meminfo: memFree=122566900/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=360004 memory=263920 CPUtime=700.41 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 32088 0 0 0 69466 575 0 0 20 0 1 0 18249557 368644096 65980 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 90001 65980 1887 992 0 81859 0
Current children cumulated CPU time: 700.41 s
Current children cumulated vsize: 360004 KiB
Current children cumulated memory: 263920 KiB
[startup+762.3 s]
/proc/loadavg: 4.07 3.89 2.55 5/259 192028
/proc/meminfo: memFree=122354924/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=360004 memory=264008 CPUtime=760.26 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 32173 0 0 0 75412 614 0 0 20 0 1 0 18249557 368644096 66002 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 90001 66002 1887 992 0 81859 0
Current children cumulated CPU time: 760.26 s
Current children cumulated vsize: 360004 KiB
Current children cumulated memory: 264008 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 3.94 2.65 5/259 192038
/proc/meminfo: memFree=122279388/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=361744 memory=265840 CPUtime=820.1 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 32737 0 0 0 81369 641 0 0 20 0 1 0 18249557 370425856 66460 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 90436 66460 1887 992 0 82294 0
Current children cumulated CPU time: 820.1 s
Current children cumulated vsize: 361744 KiB
Current children cumulated memory: 265840 KiB
[startup+882.3 s]
/proc/loadavg: 4.11 3.97 2.74 5/259 192048
/proc/meminfo: memFree=122204732/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=369140 memory=272564 CPUtime=879.95 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 34503 0 0 0 87337 658 0 0 20 0 1 0 18249557 377999360 68141 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 92285 68141 1887 992 0 84143 0
Current children cumulated CPU time: 879.95 s
Current children cumulated vsize: 369140 KiB
Current children cumulated memory: 272564 KiB
[startup+942.3 s]
/proc/loadavg: 4.04 3.98 2.82 5/259 192059
/proc/meminfo: memFree=122142272/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=380168 memory=281416 CPUtime=939.8 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 36804 0 0 0 93305 675 0 0 20 0 1 0 18249557 389292032 70354 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 95042 70354 1887 992 0 86900 0
Current children cumulated CPU time: 939.8 s
Current children cumulated vsize: 380168 KiB
Current children cumulated memory: 281416 KiB
[startup+1002.3 s]
/proc/loadavg: 4.11 4.01 2.91 5/261 192074
/proc/meminfo: memFree=122086820/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=391284 memory=289960 CPUtime=999.65 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 39012 0 0 0 99278 687 0 0 20 0 1 0 18249557 400674816 72490 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 97821 72490 1887 992 0 89679 0
Current children cumulated CPU time: 999.65 s
Current children cumulated vsize: 391284 KiB
Current children cumulated memory: 289960 KiB
[startup+1062.3 s]
/proc/loadavg: 4.14 4.04 2.99 5/261 192084
/proc/meminfo: memFree=122028676/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=397804 memory=295336 CPUtime=1059.5 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 40436 0 0 0 105251 699 0 0 20 0 1 0 18249557 407351296 73834 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 99451 73834 1887 992 0 91309 0
Current children cumulated CPU time: 1059.5 s
Current children cumulated vsize: 397804 KiB
Current children cumulated memory: 295336 KiB
[startup+1122.3 s]
/proc/loadavg: 4.09 4.04 3.06 5/258 192097
/proc/meminfo: memFree=121957632/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=403912 memory=300752 CPUtime=1119.35 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 41907 0 0 0 111225 710 0 0 20 0 1 0 18249557 413605888 75188 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 100978 75188 1887 992 0 92836 0
Current children cumulated CPU time: 1119.35 s
Current children cumulated vsize: 403912 KiB
Current children cumulated memory: 300752 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.05 3.13 5/258 192107
/proc/meminfo: memFree=121883052/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=408172 memory=319404 CPUtime=1179.19 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 43031 0 0 0 117197 722 0 0 20 0 1 0 18249557 417968128 79851 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 102043 79851 1887 992 0 93901 0
Current children cumulated CPU time: 1179.19 s
Current children cumulated vsize: 408172 KiB
Current children cumulated memory: 319404 KiB
[startup+1242.3 s]
/proc/loadavg: 4.08 4.05 3.19 5/259 192118
/proc/meminfo: memFree=121811976/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=419032 memory=343724 CPUtime=1239.04 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 44939 0 0 0 123171 733 0 0 20 0 1 0 18249557 429088768 85931 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 104758 85931 1887 992 0 96616 0
Current children cumulated CPU time: 1239.04 s
Current children cumulated vsize: 419032 KiB
Current children cumulated memory: 343724 KiB
[startup+1247.01 s]
# the end of solver process 191881 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1236.38 s, system=7.34554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1244.8 s]
/proc/loadavg: 4.08 4.05 3.19 6/263 192476
/proc/meminfo: memFree=121805636/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=419032 memory=343724 CPUtime=1241.53 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 44956 0 0 0 123420 733 0 0 20 0 1 0 18249557 429088768 85931 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 104758 85931 1887 992 0 96616 0
Current children cumulated CPU time: 1241.53 s
Current children cumulated vsize: 419032 KiB
Current children cumulated memory: 343724 KiB
[startup+1246.4 s]
/proc/loadavg: 4.08 4.05 3.19 5/261 192507
/proc/meminfo: memFree=121895748/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=419032 memory=345868 CPUtime=1243.13 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 44964 0 0 0 123580 733 0 0 20 0 1 0 18249557 429088768 86467 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 104758 86467 1887 992 0 96616 0
Current children cumulated CPU time: 1243.13 s
Current children cumulated vsize: 419032 KiB
Current children cumulated memory: 345868 KiB
[startup+1246.8 s]
/proc/loadavg: 4.08 4.05 3.19 5/261 192507
/proc/meminfo: memFree=121895748/131524600 swapFree=131071472/131071996
[pid=191881] ppid=191878 vsize=419032 memory=345868 CPUtime=1243.52 cores=1,3
/proc/191881/stat : 191881 (roundingsat) R 191878 191881 191699 0 -1 4194304 44964 0 0 0 123619 733 0 0 20 0 1 0 18249557 429088768 86467 134679101440 4194304 8254037 140723148525760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23310336 140723148530524 140723148530786 140723148530786 140723148537801 0
/proc/191881/statm: 104758 86467 1887 992 0 96616 0
Current children cumulated CPU time: 1243.52 s
Current children cumulated vsize: 419032 KiB
Current children cumulated memory: 345868 KiB
[startup+1247 s]*
/proc/loadavg: 4.07 4.05 3.20 5/261 192507
/proc/meminfo: memFree=122023960/131524600 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1247.01
CPU time (s): 1243.72
CPU user time (s): 1236.38
CPU system time (s): 7.34554
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 419032
Max. memory (cumulated for all children) (KiB): 345868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1236.38
system time used= 7.34554
maximum resident set size= 345868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2157520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158
involuntary context switches= 1680
# summary of solver processes directly reported to runsolver:
# pid: 191881
# total CPU time (s): 1243.72
# total CPU user time (s): 1236.38
# total CPU system time (s): 7.34554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33719 second user time and 5.975 second system time
The end
Begin job on nodeC032 at 2024-07-24 12:34:19 IDJOB=4456970 IDBENCH=148191 IDSOLVER=3085 FILE ID=nodeC032/4456970-1721817259 RUNJOBID= nodeC032-1721817188-191711 SLURM_JOB_ID= 7816896 Free space on /tmp= 890040 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.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-4456970-1721817259/watcher-4456970-1721817259 -o /tmp/evaluation-result-4456970-1721817259/solver-4456970-1721817259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191711 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456970-1721817259 --lp-cut-gomory=0 HOME/instance-4456970-1721817259.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545 RANDOM SEED=1663244205 nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.102 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.328 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.006 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.362 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.201 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.694 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.685 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.843 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123964812 kB MemAvailable: 129170844 kB Buffers: 235212 kB Cached: 5722852 kB SwapCached: 132 kB Active: 2618688 kB Inactive: 4174108 kB Active(anon): 1540 kB Inactive(anon): 887136 kB Active(file): 2617148 kB Inactive(file): 3286972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 6516 kB Writeback: 0 kB AnonPages: 834692 kB Mapped: 128224 kB Shmem: 53856 kB KReclaimable: 283116 kB Slab: 405416 kB SReclaimable: 283116 kB SUnreclaim: 122300 kB KernelStack: 4240 kB PageTables: 10976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1125112 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 23392 kB HardwareCorrupted: 0 kB AnonHugePages: 401408 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: 363220 kB DirectMap2M: 42401792 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890032 MiB End job on nodeC032 at 2024-07-24 12:55:07