| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 21 | 3600.03 | 3608.71 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | 9def910af6a1ee27abcf25feff61a445 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 71.6563 |
| 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 | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| 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 | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| 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.06 c #variables 6027 #constraints 21278 5.67/5.71 c bounds - >= 5 @ 0.044765 5.67/5.71 c bounds 26 >= 5 @ 0.179614 5.67/5.71 c bounds 26 >= 6 @ 0.183115 5.67/5.71 c bounds 26 >= 7 @ 0.183713 5.67/5.71 c bounds 26 >= 8 @ 0.18436 5.67/5.71 c bounds 25 >= 8 @ 0.188848 5.67/5.71 c bounds 25 >= 9 @ 0.190687 5.67/5.71 c bounds 25 >= 10 @ 0.191492 5.67/5.71 c bounds 25 >= 11 @ 0.191492 5.67/5.71 c bounds 25 >= 12 @ 0.204688 5.67/5.71 c bounds 24 >= 12 @ 0.205838 5.67/5.71 c bounds 23 >= 12 @ 0.206469 5.67/5.71 c bounds 22 >= 12 @ 0.207739 5.67/5.71 c bounds 21 >= 12 @ 0.22556 5.67/5.71 c bounds 21 >= 13 @ 0.488316 5.67/5.71 c #Conflicts: 1000 | #Constraints: 22332 5.67/5.71 c #Conflicts: 2000 | #Constraints: 23332 5.67/5.71 c INPROCESSING 5.67/5.71 c GARBAGE COLLECT 5.67/5.71 c bounds 21 >= 14 @ 1.35337 5.67/5.71 c #Conflicts: 3000 | #Constraints: 23328 5.67/5.71 c bounds 21 >= 15 @ 3.23373 5.67/5.71 c #Conflicts: 4000 | #Constraints: 24346 5.67/5.71 c INPROCESSING 5.67/5.71 c GARBAGE COLLECT 5.67/5.71 c #Conflicts: 5000 | #Constraints: 23750 5.67/5.71 c #Conflicts: 6000 | #Constraints: 24750 5.67/5.71 c INPROCESSING 5.67/5.71 c GARBAGE COLLECT 5.67/5.71 c rational objective 15 11.15/11.26 c #Conflicts: 7000 | #Constraints: 23758 11.15/11.26 c #Conflicts: 8000 | #Constraints: 24758 11.15/11.26 c #Conflicts: 9000 | #Constraints: 25758 11.15/11.26 c bounds 21 >= 16 @ 10.1922 11.15/11.26 c INPROCESSING 11.15/11.26 c GARBAGE COLLECT 11.15/11.26 c rational objective 16 14.25/14.37 c #Conflicts: 10000 | #Constraints: 24490 14.25/14.37 c #Conflicts: 11000 | #Constraints: 25491 14.25/14.37 c #Conflicts: 12000 | #Constraints: 26494 14.25/14.37 c INPROCESSING 14.25/14.37 c GARBAGE COLLECT 14.25/14.37 c rational objective 16 23.63/23.71 c #Conflicts: 13000 | #Constraints: 24937 23.63/23.71 c #Conflicts: 14000 | #Constraints: 25937 23.63/23.71 c #Conflicts: 15000 | #Constraints: 26937 23.63/23.71 c INPROCESSING 23.63/23.71 c GARBAGE COLLECT 23.63/23.71 c #Conflicts: 16000 | #Constraints: 25178 23.63/23.71 c #Conflicts: 17000 | #Constraints: 26178 23.63/23.71 c #Conflicts: 18000 | #Constraints: 27178 23.63/23.71 c INPROCESSING 23.63/23.71 c GARBAGE COLLECT 23.63/23.71 c rational objective 16 27.62/27.77 c #Conflicts: 19000 | #Constraints: 25216 27.62/27.77 c #Conflicts: 20000 | #Constraints: 26217 27.62/27.77 c #Conflicts: 21000 | #Constraints: 27217 27.62/27.77 c INPROCESSING 27.62/27.77 c GARBAGE COLLECT 27.62/27.77 c rational objective 16 31.61/31.71 c #Conflicts: 22000 | #Constraints: 25009 31.61/31.71 c #Conflicts: 23000 | #Constraints: 26010 31.61/31.71 c #Conflicts: 24000 | #Constraints: 27010 31.61/31.71 c #Conflicts: 25000 | #Constraints: 28010 31.61/31.71 c INPROCESSING 31.61/31.71 c GARBAGE COLLECT 31.61/31.71 c rational objective 16 40.69/40.88 c #Conflicts: 26000 | #Constraints: 25612 40.69/40.88 c #Conflicts: 27000 | #Constraints: 26612 40.69/40.88 c #Conflicts: 28000 | #Constraints: 27612 40.69/40.88 c #Conflicts: 29000 | #Constraints: 28612 40.69/40.88 c INPROCESSING 40.69/40.88 c GARBAGE COLLECT 40.69/40.88 c rational objective 16 57.55/57.78 c #Conflicts: 30000 | #Constraints: 26080 57.55/57.78 c #Conflicts: 31000 | #Constraints: 27083 57.55/57.78 c #Conflicts: 32000 | #Constraints: 28085 57.55/57.78 c #Conflicts: 33000 | #Constraints: 29088 57.55/57.78 c INPROCESSING 57.55/57.78 c GARBAGE COLLECT 57.55/57.78 c #Conflicts: 34000 | #Constraints: 26238 57.55/57.78 c #Conflicts: 35000 | #Constraints: 27238 57.55/57.78 c #Conflicts: 36000 | #Constraints: 28238 57.55/57.78 c #Conflicts: 37000 | #Constraints: 29238 57.55/57.78 c INPROCESSING 57.55/57.78 c GARBAGE COLLECT 57.55/57.78 c rational objective 16 70.52/70.74 c #Conflicts: 38000 | #Constraints: 26262 70.52/70.74 c #Conflicts: 39000 | #Constraints: 27262 70.52/70.74 c #Conflicts: 40000 | #Constraints: 28262 70.52/70.74 c bounds 21 >= 17 @ 66.9664 70.52/70.74 c #Conflicts: 41000 | #Constraints: 29289 70.52/70.74 c INPROCESSING 70.52/70.74 c GARBAGE COLLECT 70.52/70.74 c rational objective 17 77.81/78.08 c #Conflicts: 42000 | #Constraints: 26096 77.81/78.08 c #Conflicts: 43000 | #Constraints: 27096 77.81/78.08 c #Conflicts: 44000 | #Constraints: 28096 77.81/78.08 c #Conflicts: 45000 | #Constraints: 29096 77.81/78.08 c #Conflicts: 46000 | #Constraints: 30096 77.81/78.08 c INPROCESSING 77.81/78.08 c GARBAGE COLLECT 77.81/78.08 c rational objective 17 92.56/92.86 c #Conflicts: 47000 | #Constraints: 26688 92.56/92.86 c #Conflicts: 48000 | #Constraints: 27688 92.56/92.86 c #Conflicts: 49000 | #Constraints: 28688 92.56/92.86 c #Conflicts: 50000 | #Constraints: 29688 92.56/92.86 c #Conflicts: 51000 | #Constraints: 30688 92.56/92.86 c INPROCESSING 92.56/92.86 c GARBAGE COLLECT 92.56/92.86 c rational objective 17 101.54/101.82 c #Conflicts: 52000 | #Constraints: 27147 101.54/101.82 c #Conflicts: 53000 | #Constraints: 28147 101.54/101.82 c #Conflicts: 54000 | #Constraints: 29148 101.54/101.82 c #Conflicts: 55000 | #Constraints: 30148 101.54/101.82 c #Conflicts: 56000 | #Constraints: 31150 101.54/101.82 c INPROCESSING 101.54/101.82 c GARBAGE COLLECT 101.54/101.82 c rational objective 17 110.33/110.62 c #Conflicts: 57000 | #Constraints: 27334 110.33/110.62 c #Conflicts: 58000 | #Constraints: 28334 110.33/110.62 c #Conflicts: 59000 | #Constraints: 29334 110.33/110.62 c #Conflicts: 60000 | #Constraints: 30334 110.33/110.62 c #Conflicts: 61000 | #Constraints: 31334 110.33/110.62 c INPROCESSING 110.33/110.62 c GARBAGE COLLECT 110.33/110.62 c rational objective 17 126.39/126.76 c #Conflicts: 62000 | #Constraints: 27329 126.39/126.76 c #Conflicts: 63000 | #Constraints: 28329 126.39/126.76 c #Conflicts: 64000 | #Constraints: 29329 126.39/126.76 c #Conflicts: 65000 | #Constraints: 30329 126.39/126.76 c #Conflicts: 66000 | #Constraints: 31329 126.39/126.76 c INPROCESSING 126.39/126.76 c GARBAGE COLLECT 126.39/126.76 c rational objective 17 133.17/133.56 c #Conflicts: 67000 | #Constraints: 27188 133.17/133.56 c #Conflicts: 68000 | #Constraints: 28188 133.17/133.56 c #Conflicts: 69000 | #Constraints: 29188 133.17/133.56 c #Conflicts: 70000 | #Constraints: 30188 133.17/133.56 c #Conflicts: 71000 | #Constraints: 31188 133.17/133.56 c #Conflicts: 72000 | #Constraints: 32188 133.17/133.56 c INPROCESSING 133.17/133.56 c GARBAGE COLLECT 133.17/133.56 c rational objective 17 141.05/141.43 c #Conflicts: 73000 | #Constraints: 27732 141.05/141.43 c #Conflicts: 74000 | #Constraints: 28732 141.05/141.43 c #Conflicts: 75000 | #Constraints: 29732 141.05/141.43 c #Conflicts: 76000 | #Constraints: 30732 141.05/141.43 c #Conflicts: 77000 | #Constraints: 31732 141.05/141.43 c #Conflicts: 78000 | #Constraints: 32732 141.05/141.43 c INPROCESSING 141.05/141.43 c GARBAGE COLLECT 141.05/141.43 c rational objective 17 164.10/164.56 c #Conflicts: 79000 | #Constraints: 28111 164.10/164.56 c #Conflicts: 80000 | #Constraints: 29111 164.10/164.56 c #Conflicts: 81000 | #Constraints: 30111 164.10/164.56 c #Conflicts: 82000 | #Constraints: 31111 164.10/164.56 c #Conflicts: 83000 | #Constraints: 32111 164.10/164.56 c #Conflicts: 84000 | #Constraints: 33111 164.10/164.56 c INPROCESSING 164.10/164.56 c GARBAGE COLLECT 164.10/164.56 c rational objective 17 178.87/179.30 c #Conflicts: 85000 | #Constraints: 28395 178.87/179.30 c #Conflicts: 86000 | #Constraints: 29395 178.87/179.30 c #Conflicts: 87000 | #Constraints: 30395 178.87/179.30 c #Conflicts: 88000 | #Constraints: 31395 178.87/179.30 c #Conflicts: 89000 | #Constraints: 32395 178.87/179.30 c #Conflicts: 90000 | #Constraints: 33395 178.87/179.30 c INPROCESSING 178.87/179.30 c GARBAGE COLLECT 178.87/179.30 c rational objective 17 204.51/205.09 c #Conflicts: 91000 | #Constraints: 28396 204.51/205.09 c #Conflicts: 92000 | #Constraints: 29396 204.51/205.09 c #Conflicts: 93000 | #Constraints: 30396 204.51/205.09 c #Conflicts: 94000 | #Constraints: 31396 204.51/205.09 c #Conflicts: 95000 | #Constraints: 32396 204.51/205.09 c #Conflicts: 96000 | #Constraints: 33396 204.51/205.09 c INPROCESSING 204.51/205.09 c GARBAGE COLLECT 204.51/205.09 c rational objective 17 213.59/214.19 c #Conflicts: 97000 | #Constraints: 28220 213.59/214.19 c #Conflicts: 98000 | #Constraints: 29220 213.59/214.19 c #Conflicts: 99000 | #Constraints: 30220 213.59/214.19 c #Conflicts: 100000 | #Constraints: 31221 213.59/214.19 c #Conflicts: 101000 | #Constraints: 32221 213.59/214.19 c #Conflicts: 102000 | #Constraints: 33221 213.59/214.19 c #Conflicts: 103000 | #Constraints: 34221 213.59/214.19 c INPROCESSING 213.59/214.19 c GARBAGE COLLECT 213.59/214.19 c rational objective 17 249.00/249.68 c #Conflicts: 104000 | #Constraints: 28728 249.00/249.68 c #Conflicts: 105000 | #Constraints: 29728 249.00/249.68 c #Conflicts: 106000 | #Constraints: 30728 249.00/249.68 c #Conflicts: 107000 | #Constraints: 31728 249.00/249.68 c #Conflicts: 108000 | #Constraints: 32728 249.00/249.68 c #Conflicts: 109000 | #Constraints: 33728 249.00/249.68 c #Conflicts: 110000 | #Constraints: 34728 249.00/249.68 c INPROCESSING 249.00/249.68 c GARBAGE COLLECT 249.00/249.68 c rational objective 17 265.46/266.15 c #Conflicts: 111000 | #Constraints: 29188 265.46/266.15 c #Conflicts: 112000 | #Constraints: 30190 265.46/266.15 c #Conflicts: 113000 | #Constraints: 31190 265.46/266.15 c #Conflicts: 114000 | #Constraints: 32190 265.46/266.15 c #Conflicts: 115000 | #Constraints: 33190 265.46/266.15 c #Conflicts: 116000 | #Constraints: 34190 265.46/266.15 c #Conflicts: 117000 | #Constraints: 35190 265.46/266.15 c INPROCESSING 265.46/266.15 c GARBAGE COLLECT 265.46/266.15 c rational objective 17 280.42/281.15 c #Conflicts: 118000 | #Constraints: 29414 280.42/281.15 c #Conflicts: 119000 | #Constraints: 30414 280.42/281.15 c #Conflicts: 120000 | #Constraints: 31414 280.42/281.15 c #Conflicts: 121000 | #Constraints: 32414 280.42/281.15 c #Conflicts: 122000 | #Constraints: 33414 280.42/281.15 c #Conflicts: 123000 | #Constraints: 34414 280.42/281.15 c #Conflicts: 124000 | #Constraints: 35414 280.42/281.15 c INPROCESSING 280.42/281.15 c GARBAGE COLLECT 280.42/281.15 c rational objective 17 317.13/317.94 c #Conflicts: 125000 | #Constraints: 29415 317.13/317.94 c #Conflicts: 126000 | #Constraints: 30415 317.13/317.94 c #Conflicts: 127000 | #Constraints: 31415 317.13/317.94 c #Conflicts: 128000 | #Constraints: 32415 317.13/317.94 c #Conflicts: 129000 | #Constraints: 33415 317.13/317.94 c #Conflicts: 130000 | #Constraints: 34415 317.13/317.94 c #Conflicts: 131000 | #Constraints: 35415 317.13/317.94 c INPROCESSING 317.13/317.94 c GARBAGE COLLECT 317.13/317.94 c rational objective 17 334.29/335.19 c #Conflicts: 132000 | #Constraints: 29291 334.29/335.19 c #Conflicts: 133000 | #Constraints: 30291 334.29/335.19 c #Conflicts: 134000 | #Constraints: 31291 334.29/335.19 c #Conflicts: 135000 | #Constraints: 32291 334.29/335.19 c #Conflicts: 136000 | #Constraints: 33294 334.29/335.19 c #Conflicts: 137000 | #Constraints: 34294 334.29/335.19 c #Conflicts: 138000 | #Constraints: 35296 334.29/335.19 c #Conflicts: 139000 | #Constraints: 36296 334.29/335.19 c INPROCESSING 334.29/335.19 c GARBAGE COLLECT 334.29/335.19 c rational objective 17 349.55/350.43 c #Conflicts: 140000 | #Constraints: 29834 349.55/350.43 c #Conflicts: 141000 | #Constraints: 30834 349.55/350.43 c #Conflicts: 142000 | #Constraints: 31834 349.55/350.43 c #Conflicts: 143000 | #Constraints: 32834 349.55/350.43 c #Conflicts: 144000 | #Constraints: 33835 349.55/350.43 c #Conflicts: 145000 | #Constraints: 34835 349.55/350.43 c #Conflicts: 146000 | #Constraints: 35836 349.55/350.43 c #Conflicts: 147000 | #Constraints: 36836 349.55/350.43 c INPROCESSING 349.55/350.43 c GARBAGE COLLECT 349.55/350.43 c rational objective 17 391.35/392.32 c #Conflicts: 148000 | #Constraints: 30205 391.35/392.32 c #Conflicts: 149000 | #Constraints: 31205 391.35/392.32 c #Conflicts: 150000 | #Constraints: 32205 391.35/392.32 c #Conflicts: 151000 | #Constraints: 33205 391.35/392.32 c #Conflicts: 152000 | #Constraints: 34205 391.35/392.32 c #Conflicts: 153000 | #Constraints: 35205 391.35/392.32 c #Conflicts: 154000 | #Constraints: 36205 391.35/392.32 c #Conflicts: 155000 | #Constraints: 37205 391.35/392.32 c INPROCESSING 391.35/392.32 c GARBAGE COLLECT 391.35/392.32 c rational objective 17 409.42/410.44 c #Conflicts: 156000 | #Constraints: 30492 409.42/410.44 c #Conflicts: 157000 | #Constraints: 31492 409.42/410.44 c #Conflicts: 158000 | #Constraints: 32492 409.42/410.44 c #Conflicts: 159000 | #Constraints: 33492 409.42/410.44 c #Conflicts: 160000 | #Constraints: 34492 409.42/410.44 c #Conflicts: 161000 | #Constraints: 35492 409.42/410.44 c #Conflicts: 162000 | #Constraints: 36492 409.42/410.44 c #Conflicts: 163000 | #Constraints: 37492 409.42/410.44 c INPROCESSING 409.42/410.44 c GARBAGE COLLECT 409.42/410.44 c rational objective 17 451.12/452.26 c #Conflicts: 164000 | #Constraints: 30459 451.12/452.26 c #Conflicts: 165000 | #Constraints: 31459 451.12/452.26 c #Conflicts: 166000 | #Constraints: 32459 451.12/452.26 c #Conflicts: 167000 | #Constraints: 33459 451.12/452.26 c #Conflicts: 168000 | #Constraints: 34459 451.12/452.26 c #Conflicts: 169000 | #Constraints: 35459 451.12/452.26 c #Conflicts: 170000 | #Constraints: 36459 451.12/452.26 c #Conflicts: 171000 | #Constraints: 37459 451.12/452.26 c INPROCESSING 451.12/452.26 c GARBAGE COLLECT 451.12/452.26 c rational objective 17 474.96/476.17 c #Conflicts: 172000 | #Constraints: 30320 474.96/476.17 c #Conflicts: 173000 | #Constraints: 31320 474.96/476.17 c #Conflicts: 174000 | #Constraints: 32321 474.96/476.17 c #Conflicts: 175000 | #Constraints: 33321 474.96/476.17 c #Conflicts: 176000 | #Constraints: 34321 474.96/476.17 c #Conflicts: 177000 | #Constraints: 35321 474.96/476.17 c #Conflicts: 178000 | #Constraints: 36321 474.96/476.17 c #Conflicts: 179000 | #Constraints: 37321 474.96/476.17 c #Conflicts: 180000 | #Constraints: 38321 474.96/476.17 c INPROCESSING 474.96/476.17 c GARBAGE COLLECT 474.96/476.17 c rational objective 17 523.15/524.44 c #Conflicts: 181000 | #Constraints: 30840 523.15/524.44 c #Conflicts: 182000 | #Constraints: 31840 523.15/524.44 c #Conflicts: 183000 | #Constraints: 32840 523.15/524.44 c #Conflicts: 184000 | #Constraints: 33840 523.15/524.44 c #Conflicts: 185000 | #Constraints: 34840 523.15/524.44 c #Conflicts: 186000 | #Constraints: 35840 523.15/524.44 c #Conflicts: 187000 | #Constraints: 36840 523.15/524.44 c #Conflicts: 188000 | #Constraints: 37840 523.15/524.44 c #Conflicts: 189000 | #Constraints: 38840 523.15/524.44 c INPROCESSING 523.15/524.44 c GARBAGE COLLECT 523.15/524.44 c rational objective 17 682.16/683.80 c #Conflicts: 190000 | #Constraints: 31337 682.16/683.80 c #Conflicts: 191000 | #Constraints: 32337 682.16/683.80 c #Conflicts: 192000 | #Constraints: 33337 682.16/683.80 c #Conflicts: 193000 | #Constraints: 34337 682.16/683.80 c #Conflicts: 194000 | #Constraints: 35337 682.16/683.80 c #Conflicts: 195000 | #Constraints: 36337 682.16/683.80 c #Conflicts: 196000 | #Constraints: 37338 682.16/683.80 c #Conflicts: 197000 | #Constraints: 38338 682.16/683.80 c #Conflicts: 198000 | #Constraints: 39340 682.16/683.80 c #Conflicts: 199000 | #Constraints: 40340 682.16/683.80 c #Conflicts: 200000 | #Constraints: 41340 682.16/683.80 c #Conflicts: 201000 | #Constraints: 42340 682.16/683.80 c #Conflicts: 202000 | #Constraints: 43340 682.16/683.80 c #Conflicts: 203000 | #Constraints: 44340 682.16/683.80 c #Conflicts: 204000 | #Constraints: 45340 682.16/683.80 c #Conflicts: 205000 | #Constraints: 46340 682.16/683.80 c #Conflicts: 206000 | #Constraints: 47340 682.16/683.80 c #Conflicts: 207000 | #Constraints: 48340 682.16/683.80 c #Conflicts: 208000 | #Constraints: 49340 682.16/683.80 c #Conflicts: 209000 | #Constraints: 50340 682.16/683.80 c #Conflicts: 210000 | #Constraints: 51340 682.16/683.80 c #Conflicts: 211000 | #Constraints: 52340 682.16/683.80 c #Conflicts: 212000 | #Constraints: 53340 682.16/683.80 c #Conflicts: 213000 | #Constraints: 54341 682.16/683.80 c #Conflicts: 214000 | #Constraints: 55341 682.16/683.80 c #Conflicts: 215000 | #Constraints: 56341 682.16/683.80 c #Conflicts: 216000 | #Constraints: 57341 682.16/683.80 c #Conflicts: 217000 | #Constraints: 58341 682.16/683.80 c #Conflicts: 218000 | #Constraints: 59341 682.16/683.80 c #Conflicts: 219000 | #Constraints: 60341 682.16/683.80 c #Conflicts: 220000 | #Constraints: 61341 682.16/683.80 c #Conflicts: 221000 | #Constraints: 62341 682.16/683.80 c #Conflicts: 222000 | #Constraints: 63341 682.16/683.80 c #Conflicts: 223000 | #Constraints: 64342 682.16/683.80 c #Conflicts: 224000 | #Constraints: 65342 682.16/683.80 c #Conflicts: 225000 | #Constraints: 66342 682.16/683.80 c #Conflicts: 226000 | #Constraints: 67342 682.16/683.80 c #Conflicts: 227000 | #Constraints: 68342 682.16/683.80 c #Conflicts: 228000 | #Constraints: 69342 682.16/683.80 c #Conflicts: 229000 | #Constraints: 70342 682.16/683.80 c #Conflicts: 230000 | #Constraints: 71343 682.16/683.80 c INPROCESSING 682.16/683.80 c GARBAGE COLLECT 682.16/683.80 c rational objective 17 776.84/778.75 c #Conflicts: 231000 | #Constraints: 47329 776.84/778.75 c #Conflicts: 232000 | #Constraints: 48329 776.84/778.75 c #Conflicts: 233000 | #Constraints: 49329 776.84/778.75 c #Conflicts: 234000 | #Constraints: 50329 776.84/778.75 c #Conflicts: 235000 | #Constraints: 51329 776.84/778.75 c #Conflicts: 236000 | #Constraints: 52329 776.84/778.75 c #Conflicts: 237000 | #Constraints: 53329 776.84/778.75 c #Conflicts: 238000 | #Constraints: 54329 776.84/778.75 c #Conflicts: 239000 | #Constraints: 55329 776.84/778.75 c #Conflicts: 240000 | #Constraints: 56329 776.84/778.75 c INPROCESSING 776.84/778.75 c GARBAGE COLLECT 776.84/778.75 c rational objective 17 860.15/862.21 c #Conflicts: 241000 | #Constraints: 39886 860.15/862.21 c #Conflicts: 242000 | #Constraints: 40886 860.15/862.21 c #Conflicts: 243000 | #Constraints: 41886 860.15/862.21 c #Conflicts: 244000 | #Constraints: 42886 860.15/862.21 c #Conflicts: 245000 | #Constraints: 43886 860.15/862.21 c #Conflicts: 246000 | #Constraints: 44886 860.15/862.21 c #Conflicts: 247000 | #Constraints: 45886 860.15/862.21 c #Conflicts: 248000 | #Constraints: 46886 860.15/862.21 c #Conflicts: 249000 | #Constraints: 47886 860.15/862.21 c #Conflicts: 250000 | #Constraints: 48886 860.15/862.21 c INPROCESSING 860.15/862.21 c GARBAGE COLLECT 860.15/862.21 c rational objective 17 933.57/935.87 c #Conflicts: 251000 | #Constraints: 36017 933.57/935.87 c #Conflicts: 252000 | #Constraints: 37017 933.57/935.87 c #Conflicts: 253000 | #Constraints: 38017 933.57/935.87 c #Conflicts: 254000 | #Constraints: 39017 933.57/935.87 c #Conflicts: 255000 | #Constraints: 40017 933.57/935.87 c #Conflicts: 256000 | #Constraints: 41017 933.57/935.87 c #Conflicts: 257000 | #Constraints: 42017 933.57/935.87 c #Conflicts: 258000 | #Constraints: 43017 933.57/935.87 c #Conflicts: 259000 | #Constraints: 44017 933.57/935.87 c #Conflicts: 260000 | #Constraints: 45017 933.57/935.87 c #Conflicts: 261000 | #Constraints: 46017 933.57/935.87 c INPROCESSING 933.57/935.87 c GARBAGE COLLECT 933.57/935.87 c rational objective 17 970.27/972.62 c #Conflicts: 262000 | #Constraints: 34879 970.27/972.62 c bounds 21 >= 18 @ 932.669 970.27/972.62 c #Conflicts: 263000 | #Constraints: 35900 970.27/972.62 c #Conflicts: 264000 | #Constraints: 36900 970.27/972.62 c #Conflicts: 265000 | #Constraints: 37900 970.27/972.62 c #Conflicts: 266000 | #Constraints: 38900 970.27/972.62 c #Conflicts: 267000 | #Constraints: 39901 970.27/972.62 c #Conflicts: 268000 | #Constraints: 40901 970.27/972.62 c #Conflicts: 269000 | #Constraints: 41901 970.27/972.62 c #Conflicts: 270000 | #Constraints: 42901 970.27/972.62 c #Conflicts: 271000 | #Constraints: 43902 970.27/972.62 c #Conflicts: 272000 | #Constraints: 44902 970.27/972.62 c INPROCESSING 970.27/972.62 c GARBAGE COLLECT 970.27/972.62 c rational objective 18 1055.35/1057.95 c #Conflicts: 273000 | #Constraints: 34289 1055.35/1057.95 c #Conflicts: 274000 | #Constraints: 35289 1055.35/1057.95 c #Conflicts: 275000 | #Constraints: 36289 1055.35/1057.95 c #Conflicts: 276000 | #Constraints: 37289 1055.35/1057.95 c #Conflicts: 277000 | #Constraints: 38289 1055.35/1057.95 c #Conflicts: 278000 | #Constraints: 39289 1055.35/1057.95 c #Conflicts: 279000 | #Constraints: 40289 1055.35/1057.95 c #Conflicts: 280000 | #Constraints: 41289 1055.35/1057.95 c #Conflicts: 281000 | #Constraints: 42289 1055.35/1057.95 c #Conflicts: 282000 | #Constraints: 43289 1055.35/1057.95 c INPROCESSING 1055.35/1057.95 c GARBAGE COLLECT 1055.35/1057.95 c rational objective 18 1443.58/1447.15 c #Conflicts: 283000 | #Constraints: 33210 1443.58/1447.15 c #Conflicts: 284000 | #Constraints: 34210 1443.58/1447.15 c #Conflicts: 285000 | #Constraints: 35210 1443.58/1447.15 c #Conflicts: 286000 | #Constraints: 36210 1443.58/1447.15 c #Conflicts: 287000 | #Constraints: 37210 1443.58/1447.15 c #Conflicts: 288000 | #Constraints: 38210 1443.58/1447.15 c #Conflicts: 289000 | #Constraints: 39210 1443.58/1447.15 c #Conflicts: 290000 | #Constraints: 40210 1443.58/1447.15 c #Conflicts: 291000 | #Constraints: 41210 1443.58/1447.15 c #Conflicts: 292000 | #Constraints: 42210 1443.58/1447.15 c #Conflicts: 293000 | #Constraints: 43210 1443.58/1447.15 c #Conflicts: 294000 | #Constraints: 44210 1443.58/1447.15 c #Conflicts: 295000 | #Constraints: 45210 1443.58/1447.15 c #Conflicts: 296000 | #Constraints: 46210 1443.58/1447.15 c #Conflicts: 297000 | #Constraints: 47210 1443.58/1447.15 c #Conflicts: 298000 | #Constraints: 48210 1443.58/1447.15 c #Conflicts: 299000 | #Constraints: 49210 1443.58/1447.15 c #Conflicts: 300000 | #Constraints: 50210 1443.58/1447.15 c #Conflicts: 301000 | #Constraints: 51210 1443.58/1447.15 c #Conflicts: 302000 | #Constraints: 52210 1443.58/1447.15 c #Conflicts: 303000 | #Constraints: 53210 1443.58/1447.15 c #Conflicts: 304000 | #Constraints: 54210 1443.58/1447.15 c #Conflicts: 305000 | #Constraints: 55210 1443.58/1447.15 c #Conflicts: 306000 | #Constraints: 56210 1443.58/1447.15 c #Conflicts: 307000 | #Constraints: 57210 1443.58/1447.15 c #Conflicts: 308000 | #Constraints: 58210 1443.58/1447.15 c #Conflicts: 309000 | #Constraints: 59210 1443.58/1447.15 c #Conflicts: 310000 | #Constraints: 60210 1443.58/1447.15 c #Conflicts: 311000 | #Constraints: 61210 1443.58/1447.15 c #Conflicts: 312000 | #Constraints: 62210 1443.58/1447.15 c #Conflicts: 313000 | #Constraints: 63210 1443.58/1447.15 c #Conflicts: 314000 | #Constraints: 64210 1443.58/1447.15 c #Conflicts: 315000 | #Constraints: 65210 1443.58/1447.15 c #Conflicts: 316000 | #Constraints: 66210 1443.58/1447.15 c #Conflicts: 317000 | #Constraints: 67210 1443.58/1447.15 c #Conflicts: 318000 | #Constraints: 68210 1443.58/1447.15 c #Conflicts: 319000 | #Constraints: 69210 1443.58/1447.15 c #Conflicts: 320000 | #Constraints: 70210 1443.58/1447.15 c #Conflicts: 321000 | #Constraints: 71210 1443.58/1447.15 c #Conflicts: 322000 | #Constraints: 72210 1443.58/1447.15 c #Conflicts: 323000 | #Constraints: 73210 1443.58/1447.15 c #Conflicts: 324000 | #Constraints: 74210 1443.58/1447.15 c #Conflicts: 325000 | #Constraints: 75210 1443.58/1447.15 c #Conflicts: 326000 | #Constraints: 76210 1443.58/1447.15 c #Conflicts: 327000 | #Constraints: 77210 1443.58/1447.15 c #Conflicts: 328000 | #Constraints: 78210 1443.58/1447.15 c #Conflicts: 329000 | #Constraints: 79210 1443.58/1447.15 c #Conflicts: 330000 | #Constraints: 80210 1443.58/1447.15 c #Conflicts: 331000 | #Constraints: 81210 1443.58/1447.15 c INPROCESSING 1443.58/1447.15 c GARBAGE COLLECT 1443.58/1447.15 c rational objective 18 1586.14/1590.06 c #Conflicts: 332000 | #Constraints: 52142 1586.14/1590.06 c #Conflicts: 333000 | #Constraints: 53142 1586.14/1590.06 c #Conflicts: 334000 | #Constraints: 54142 1586.14/1590.06 c #Conflicts: 335000 | #Constraints: 55142 1586.14/1590.06 c #Conflicts: 336000 | #Constraints: 56142 1586.14/1590.06 c #Conflicts: 337000 | #Constraints: 57142 1586.14/1590.06 c #Conflicts: 338000 | #Constraints: 58142 1586.14/1590.06 c #Conflicts: 339000 | #Constraints: 59142 1586.14/1590.06 c #Conflicts: 340000 | #Constraints: 60142 1586.14/1590.06 c #Conflicts: 341000 | #Constraints: 61142 1586.14/1590.06 c #Conflicts: 342000 | #Constraints: 62142 1586.14/1590.06 c #Conflicts: 343000 | #Constraints: 63142 1586.14/1590.06 c #Conflicts: 344000 | #Constraints: 64142 1586.14/1590.06 c INPROCESSING 1586.14/1590.06 c GARBAGE COLLECT 1586.14/1590.06 c rational objective 18 1690.59/1694.73 c #Conflicts: 345000 | #Constraints: 44009 1690.59/1694.73 c #Conflicts: 346000 | #Constraints: 45009 1690.59/1694.73 c #Conflicts: 347000 | #Constraints: 46009 1690.59/1694.73 c #Conflicts: 348000 | #Constraints: 47009 1690.59/1694.73 c #Conflicts: 349000 | #Constraints: 48009 1690.59/1694.73 c #Conflicts: 350000 | #Constraints: 49009 1690.59/1694.73 c #Conflicts: 351000 | #Constraints: 50009 1690.59/1694.73 c #Conflicts: 352000 | #Constraints: 51009 1690.59/1694.73 c #Conflicts: 353000 | #Constraints: 52009 1690.59/1694.73 c #Conflicts: 354000 | #Constraints: 53009 1690.59/1694.73 c #Conflicts: 355000 | #Constraints: 54009 1690.59/1694.73 c #Conflicts: 356000 | #Constraints: 55009 1690.59/1694.73 c INPROCESSING 1690.59/1694.73 c GARBAGE COLLECT 1690.59/1694.73 c rational objective 18 1786.15/1790.58 c #Conflicts: 357000 | #Constraints: 39329 1786.15/1790.58 c #Conflicts: 358000 | #Constraints: 40329 1786.15/1790.58 c #Conflicts: 359000 | #Constraints: 41329 1786.15/1790.58 c #Conflicts: 360000 | #Constraints: 42329 1786.15/1790.58 c #Conflicts: 361000 | #Constraints: 43329 1786.15/1790.58 c #Conflicts: 362000 | #Constraints: 44329 1786.15/1790.58 c #Conflicts: 363000 | #Constraints: 45329 1786.15/1790.58 c #Conflicts: 364000 | #Constraints: 46329 1786.15/1790.58 c #Conflicts: 365000 | #Constraints: 47329 1786.15/1790.58 c #Conflicts: 366000 | #Constraints: 48329 1786.15/1790.58 c #Conflicts: 367000 | #Constraints: 49329 1786.15/1790.58 c #Conflicts: 368000 | #Constraints: 50329 1786.15/1790.58 c #Conflicts: 369000 | #Constraints: 51329 1786.15/1790.58 c INPROCESSING 1786.15/1790.58 c GARBAGE COLLECT 1786.15/1790.58 c rational objective 18 2552.72/2558.93 c #Conflicts: 370000 | #Constraints: 37727 2552.72/2558.93 c #Conflicts: 371000 | #Constraints: 38727 2552.72/2558.93 c #Conflicts: 372000 | #Constraints: 39727 2552.72/2558.93 c #Conflicts: 373000 | #Constraints: 40727 2552.72/2558.93 c #Conflicts: 374000 | #Constraints: 41727 2552.72/2558.93 c #Conflicts: 375000 | #Constraints: 42727 2552.72/2558.93 c #Conflicts: 376000 | #Constraints: 43727 2552.72/2558.93 c #Conflicts: 377000 | #Constraints: 44727 2552.72/2558.93 c #Conflicts: 378000 | #Constraints: 45727 2552.72/2558.93 c #Conflicts: 379000 | #Constraints: 46727 2552.72/2558.93 c #Conflicts: 380000 | #Constraints: 47727 2552.72/2558.93 c #Conflicts: 381000 | #Constraints: 48727 2552.72/2558.93 c #Conflicts: 382000 | #Constraints: 49727 2552.72/2558.93 c #Conflicts: 383000 | #Constraints: 50727 2552.72/2558.93 c #Conflicts: 384000 | #Constraints: 51727 2552.72/2558.93 c #Conflicts: 385000 | #Constraints: 52727 2552.72/2558.93 c #Conflicts: 386000 | #Constraints: 53727 2552.72/2558.93 c #Conflicts: 387000 | #Constraints: 54727 2552.72/2558.93 c #Conflicts: 388000 | #Constraints: 55727 2552.72/2558.93 c #Conflicts: 389000 | #Constraints: 56727 2552.72/2558.93 c #Conflicts: 390000 | #Constraints: 57727 2552.72/2558.93 c #Conflicts: 391000 | #Constraints: 58727 2552.72/2558.93 c #Conflicts: 392000 | #Constraints: 59727 2552.72/2558.93 c #Conflicts: 393000 | #Constraints: 60727 2552.72/2558.93 c #Conflicts: 394000 | #Constraints: 61727 2552.72/2558.93 c #Conflicts: 395000 | #Constraints: 62727 2552.72/2558.93 c #Conflicts: 396000 | #Constraints: 63727 2552.72/2558.93 c #Conflicts: 397000 | #Constraints: 64727 2552.72/2558.93 c #Conflicts: 398000 | #Constraints: 65727 2552.72/2558.93 c #Conflicts: 399000 | #Constraints: 66727 2552.72/2558.93 c #Conflicts: 400000 | #Constraints: 67727 2552.72/2558.93 c #Conflicts: 401000 | #Constraints: 68727 2552.72/2558.93 c #Conflicts: 402000 | #Constraints: 69727 2552.72/2558.93 c #Conflicts: 403000 | #Constraints: 70727 2552.72/2558.93 c #Conflicts: 404000 | #Constraints: 71727 2552.72/2558.93 c #Conflicts: 405000 | #Constraints: 72727 2552.72/2558.93 c #Conflicts: 406000 | #Constraints: 73727 2552.72/2558.93 c #Conflicts: 407000 | #Constraints: 74727 2552.72/2558.93 c #Conflicts: 408000 | #Constraints: 75727 2552.72/2558.93 c #Conflicts: 409000 | #Constraints: 76727 2552.72/2558.93 c #Conflicts: 410000 | #Constraints: 77727 2552.72/2558.93 c #Conflicts: 411000 | #Constraints: 78727 2552.72/2558.93 c #Conflicts: 412000 | #Constraints: 79727 2552.72/2558.93 c #Conflicts: 413000 | #Constraints: 80727 2552.72/2558.93 c #Conflicts: 414000 | #Constraints: 81727 2552.72/2558.93 c #Conflicts: 415000 | #Constraints: 82727 2552.72/2558.93 c #Conflicts: 416000 | #Constraints: 83727 2552.72/2558.93 c #Conflicts: 417000 | #Constraints: 84727 2552.72/2558.93 c #Conflicts: 418000 | #Constraints: 85727 2552.72/2558.93 c #Conflicts: 419000 | #Constraints: 86727 2552.72/2558.93 c #Conflicts: 420000 | #Constraints: 87727 2552.72/2558.93 c #Conflicts: 421000 | #Constraints: 88727 2552.72/2558.93 c #Conflicts: 422000 | #Constraints: 89727 2552.72/2558.93 c #Conflicts: 423000 | #Constraints: 90727 2552.72/2558.93 c INPROCESSING 2552.72/2558.93 c GARBAGE COLLECT 2552.72/2558.93 c rational objective 18 2617.57/2623.92 c #Conflicts: 424000 | #Constraints: 57266 2617.57/2623.92 c #Conflicts: 425000 | #Constraints: 58266 2617.57/2623.92 c #Conflicts: 426000 | #Constraints: 59266 2617.57/2623.92 c #Conflicts: 427000 | #Constraints: 60266 2617.57/2623.92 c #Conflicts: 428000 | #Constraints: 61266 2617.57/2623.92 c #Conflicts: 429000 | #Constraints: 62266 2617.57/2623.92 c #Conflicts: 430000 | #Constraints: 63266 2617.57/2623.92 c #Conflicts: 431000 | #Constraints: 64266 2617.57/2623.92 c #Conflicts: 432000 | #Constraints: 65266 2617.57/2623.92 c #Conflicts: 433000 | #Constraints: 66266 2617.57/2623.92 c #Conflicts: 434000 | #Constraints: 67267 2617.57/2623.92 c #Conflicts: 435000 | #Constraints: 68267 2617.57/2623.92 c #Conflicts: 436000 | #Constraints: 69267 2617.57/2623.92 c #Conflicts: 437000 | #Constraints: 70267 2617.57/2623.92 c INPROCESSING 2617.57/2623.92 c GARBAGE COLLECT 2617.57/2623.92 c rational objective 18 2663.36/2669.86 c #Conflicts: 438000 | #Constraints: 46972 2663.36/2669.86 c #Conflicts: 439000 | #Constraints: 47972 2663.36/2669.86 c #Conflicts: 440000 | #Constraints: 48974 2663.36/2669.86 c #Conflicts: 441000 | #Constraints: 49974 2663.36/2669.86 c #Conflicts: 442000 | #Constraints: 50975 2663.36/2669.86 c #Conflicts: 443000 | #Constraints: 51975 2663.36/2669.86 c #Conflicts: 444000 | #Constraints: 52975 2663.36/2669.86 c #Conflicts: 445000 | #Constraints: 53975 2663.36/2669.86 c #Conflicts: 446000 | #Constraints: 54975 2663.36/2669.86 c #Conflicts: 447000 | #Constraints: 55975 2663.36/2669.86 c #Conflicts: 448000 | #Constraints: 56975 2663.36/2669.86 c #Conflicts: 449000 | #Constraints: 57975 2663.36/2669.86 c #Conflicts: 450000 | #Constraints: 58975 2663.36/2669.86 c #Conflicts: 451000 | #Constraints: 59975 2663.36/2669.86 c INPROCESSING 2663.36/2669.86 c GARBAGE COLLECT 2663.36/2669.86 c rational objective 18 2738.79/2745.49 c #Conflicts: 452000 | #Constraints: 41901 2738.79/2745.49 c #Conflicts: 453000 | #Constraints: 42901 2738.79/2745.49 c #Conflicts: 454000 | #Constraints: 43901 2738.79/2745.49 c #Conflicts: 455000 | #Constraints: 44901 2738.79/2745.49 c #Conflicts: 456000 | #Constraints: 45901 2738.79/2745.49 c #Conflicts: 457000 | #Constraints: 46902 2738.79/2745.49 c #Conflicts: 458000 | #Constraints: 47902 2738.79/2745.49 c #Conflicts: 459000 | #Constraints: 48904 2738.79/2745.49 c #Conflicts: 460000 | #Constraints: 49905 2738.79/2745.49 c #Conflicts: 461000 | #Constraints: 50905 2738.79/2745.49 c #Conflicts: 462000 | #Constraints: 51905 2738.79/2745.49 c #Conflicts: 463000 | #Constraints: 52905 2738.79/2745.49 c #Conflicts: 464000 | #Constraints: 53905 2738.79/2745.49 c #Conflicts: 465000 | #Constraints: 54905 2738.79/2745.49 c INPROCESSING 2738.79/2745.49 c GARBAGE COLLECT 2738.79/2745.49 c rational objective 18 3219.61/3227.46 c #Conflicts: 466000 | #Constraints: 39116 3219.61/3227.46 c #Conflicts: 467000 | #Constraints: 40116 3219.61/3227.46 c #Conflicts: 468000 | #Constraints: 41116 3219.61/3227.46 c #Conflicts: 469000 | #Constraints: 42116 3219.61/3227.46 c #Conflicts: 470000 | #Constraints: 43116 3219.61/3227.46 c #Conflicts: 471000 | #Constraints: 44116 3219.61/3227.46 c #Conflicts: 472000 | #Constraints: 45116 3219.61/3227.46 c #Conflicts: 473000 | #Constraints: 46116 3219.61/3227.46 c #Conflicts: 474000 | #Constraints: 47116 3219.61/3227.46 c #Conflicts: 475000 | #Constraints: 48116 3219.61/3227.46 c #Conflicts: 476000 | #Constraints: 49116 3219.61/3227.46 c #Conflicts: 477000 | #Constraints: 50116 3219.61/3227.46 c #Conflicts: 478000 | #Constraints: 51116 3219.61/3227.46 c #Conflicts: 479000 | #Constraints: 52116 3219.61/3227.46 c #Conflicts: 480000 | #Constraints: 53116 3219.61/3227.46 c #Conflicts: 481000 | #Constraints: 54116 3219.61/3227.46 c #Conflicts: 482000 | #Constraints: 55116 3219.61/3227.46 c #Conflicts: 483000 | #Constraints: 56116 3219.61/3227.46 c #Conflicts: 484000 | #Constraints: 57116 3219.61/3227.46 c #Conflicts: 485000 | #Constraints: 58116 3219.61/3227.47 c #Conflicts: 486000 | #Constraints: 59116 3219.61/3227.47 c #Conflicts: 487000 | #Constraints: 60116 3219.61/3227.47 c #Conflicts: 488000 | #Constraints: 61116 3219.61/3227.47 c #Conflicts: 489000 | #Constraints: 62116 3219.61/3227.47 c #Conflicts: 490000 | #Constraints: 63116 3219.61/3227.47 c #Conflicts: 491000 | #Constraints: 64116 3219.61/3227.47 c #Conflicts: 492000 | #Constraints: 65116 3219.61/3227.47 c #Conflicts: 493000 | #Constraints: 66116 3219.61/3227.47 c #Conflicts: 494000 | #Constraints: 67116 3219.61/3227.47 c #Conflicts: 495000 | #Constraints: 68116 3219.61/3227.47 c #Conflicts: 496000 | #Constraints: 69116 3219.61/3227.47 c #Conflicts: 497000 | #Constraints: 70116 3219.61/3227.47 c #Conflicts: 498000 | #Constraints: 71116 3219.61/3227.47 c #Conflicts: 499000 | #Constraints: 72116 3219.61/3227.47 c #Conflicts: 500000 | #Constraints: 73116 3219.61/3227.47 c #Conflicts: 501000 | #Constraints: 74116 3219.61/3227.47 c #Conflicts: 502000 | #Constraints: 75116 3219.61/3227.47 c #Conflicts: 503000 | #Constraints: 76116 3219.61/3227.47 c #Conflicts: 504000 | #Constraints: 77116 3219.61/3227.47 c #Conflicts: 505000 | #Constraints: 78116 3219.61/3227.47 c #Conflicts: 506000 | #Constraints: 79116 3219.61/3227.47 c #Conflicts: 507000 | #Constraints: 80116 3219.61/3227.47 c #Conflicts: 508000 | #Constraints: 81116 3219.61/3227.47 c #Conflicts: 509000 | #Constraints: 82116 3219.61/3227.47 c #Conflicts: 510000 | #Constraints: 83116 3219.61/3227.47 c #Conflicts: 511000 | #Constraints: 84116 3219.61/3227.47 c #Conflicts: 512000 | #Constraints: 85116 3219.61/3227.47 c #Conflicts: 513000 | #Constraints: 86116 3219.61/3227.47 c #Conflicts: 514000 | #Constraints: 87117 3219.61/3227.47 c #Conflicts: 515000 | #Constraints: 88117 3219.61/3227.47 c #Conflicts: 516000 | #Constraints: 89117 3219.61/3227.47 c #Conflicts: 517000 | #Constraints: 90117 3219.61/3227.47 c #Conflicts: 518000 | #Constraints: 91117 3219.61/3227.47 c #Conflicts: 519000 | #Constraints: 92117 3219.61/3227.47 c #Conflicts: 520000 | #Constraints: 93117 3219.61/3227.47 c #Conflicts: 521000 | #Constraints: 94117 3219.61/3227.47 c #Conflicts: 522000 | #Constraints: 95117 3219.61/3227.47 c #Conflicts: 523000 | #Constraints: 96117 3219.61/3227.47 c #Conflicts: 524000 | #Constraints: 97117 3219.61/3227.47 c #Conflicts: 525000 | #Constraints: 98117 3219.61/3227.47 c INPROCESSING 3219.61/3227.47 c GARBAGE COLLECT 3219.61/3227.47 c rational objective 18 3391.51/3399.77 c #Conflicts: 526000 | #Constraints: 61216 3391.51/3399.77 c #Conflicts: 527000 | #Constraints: 62216 3391.51/3399.77 c #Conflicts: 528000 | #Constraints: 63216 3391.51/3399.77 c #Conflicts: 529000 | #Constraints: 64216 3391.51/3399.77 c #Conflicts: 530000 | #Constraints: 65216 3391.51/3399.77 c #Conflicts: 531000 | #Constraints: 66216 3391.51/3399.77 c #Conflicts: 532000 | #Constraints: 67216 3391.51/3399.77 c #Conflicts: 533000 | #Constraints: 68216 3391.51/3399.77 c #Conflicts: 534000 | #Constraints: 69216 3391.51/3399.77 c #Conflicts: 535000 | #Constraints: 70216 3391.51/3399.77 c #Conflicts: 536000 | #Constraints: 71216 3391.51/3399.77 c #Conflicts: 537000 | #Constraints: 72216 3391.51/3399.77 c #Conflicts: 538000 | #Constraints: 73216 3391.51/3399.77 c #Conflicts: 539000 | #Constraints: 74216 3391.51/3399.77 c #Conflicts: 540000 | #Constraints: 75216 3391.51/3399.77 c INPROCESSING 3391.51/3399.77 c GARBAGE COLLECT 3391.51/3399.77 c rational objective 18 3567.29/3576.00 c #Conflicts: 541000 | #Constraints: 49465 3567.29/3576.00 c #Conflicts: 542000 | #Constraints: 50465 3567.29/3576.00 c #Conflicts: 543000 | #Constraints: 51465 3567.29/3576.00 c #Conflicts: 544000 | #Constraints: 52465 3567.29/3576.00 c #Conflicts: 545000 | #Constraints: 53465 3567.29/3576.00 c #Conflicts: 546000 | #Constraints: 54465 3567.29/3576.00 c #Conflicts: 547000 | #Constraints: 55465 3567.29/3576.00 c #Conflicts: 548000 | #Constraints: 56465 3567.29/3576.00 c #Conflicts: 549000 | #Constraints: 57465 3567.29/3576.00 c #Conflicts: 550000 | #Constraints: 58465 3567.29/3576.00 c #Conflicts: 551000 | #Constraints: 59465 3567.29/3576.00 c #Conflicts: 552000 | #Constraints: 60465 3567.29/3576.00 c #Conflicts: 553000 | #Constraints: 61465 3567.29/3576.00 c #Conflicts: 554000 | #Constraints: 62465 3567.29/3576.00 c #Conflicts: 555000 | #Constraints: 63465 3567.29/3576.00 c #Conflicts: 556000 | #Constraints: 64465 3567.29/3576.00 c INPROCESSING 3567.29/3576.00 c GARBAGE COLLECT 3567.29/3576.00 c rational objective 18 3600.01/3608.70 c #Conflicts: 557000 | #Constraints: 44092 3600.01/3608.70 c #Conflicts: 558000 | #Constraints: 45092 3600.01/3608.70 c #Conflicts: 559000 | #Constraints: 46092 3600.01/3608.70 c #Conflicts: 560000 | #Constraints: 47092 3600.01/3608.70 c Program interrupted by user. 3600.01/3608.70 c cpu time 3584.18 s 3600.01/3608.70 c deterministic time 405086816927 4.05e+11 3600.01/3608.70 c optimization time 31.9942 s 3600.01/3608.70 c total solve time 3552.14 s 3600.01/3608.70 c core-guided solve time 2108.13 s 3600.01/3608.70 c propagation time 2915.77 s 3600.01/3608.70 c conflict analysis time 603.841 s 3600.01/3608.70 c propagations 404589867 3600.01/3608.70 c resolve steps 37811315 3600.01/3608.70 c decisions 8006401 3600.01/3608.70 c conflicts 560375 3600.01/3608.70 c restarts 1164 3600.01/3608.70 c inprocessing phases 52 3600.01/3608.70 c input clauses 21312 3600.01/3608.70 c input cardinalities 32 3600.01/3608.70 c input general constraints 81 3600.01/3608.70 c input average constraint length 3.36 3600.01/3608.70 c input average constraint degree 1.33 3600.01/3608.70 c learned clauses 279183 3600.01/3608.70 c learned cardinalities 2732 3600.01/3608.70 c learned general constraints 278544 3600.01/3608.70 c learned average constraint length 843.74 3600.01/3608.70 c learned average constraint degree 48138513.65 3600.01/3608.70 c watched constraints 216782 3600.01/3608.70 c counting constraints 61843 3600.01/3608.70 c gcd simplifications 3211 3600.01/3608.70 c detected cardinalities 9 3600.01/3608.70 c weakened non-implied lits 49487099 3600.01/3608.70 c weakened non-implying lits 78547 3600.01/3608.70 c original variables 6027 3600.01/3608.70 c clausal propagations 316917706 3600.01/3608.70 c cardinality propagations 3140300 3600.01/3608.70 c watched propagations 10733391 3600.01/3608.70 c counting propagations 71770403 3600.01/3608.70 c watch lookups 56929184765 3600.01/3608.70 c watch backjump lookups 47470872548 3600.01/3608.70 c watch checks 283897546167 3600.01/3608.70 c propagation checks 14496711798 3600.01/3608.70 c constraint additions 1466124965 3600.01/3608.70 c trail pops 413154523 3600.01/3608.70 c formula constraints 21278 3600.01/3608.70 c learned constraints 560327 3600.01/3608.70 c bound constraints 19 3600.01/3608.70 c core-guided constraints 128 3600.01/3608.70 c encountered formula constraints 30603190 3600.01/3608.70 c encountered learned constraints 7517457 3600.01/3608.70 c encountered bound constraints 475 3600.01/3608.70 c encountered core-guided constraints 248927 3600.01/3608.70 c LP total time 159.862 s 3600.01/3608.70 c LP solve time 141.07 s 3600.01/3608.70 c LP constraints added 21562 3600.01/3608.70 c LP constraints removed 274 3600.01/3608.70 c LP pivots internal 564503 3600.01/3608.70 c LP pivots root 61389 3600.01/3608.70 c LP calls 633 3600.01/3608.70 c LP optimalities 578 3600.01/3608.70 c LP no pivot count 151 3600.01/3608.70 c LP infeasibilities 51 3600.01/3608.70 c LP valid Farkas constraints 51 3600.01/3608.70 c LP learned Farkas constraints 51 3600.01/3608.70 c LP basis resets 0 3600.01/3608.70 c LP cycling count 0 3600.01/3608.70 c LP singular count 0 3600.01/3608.70 c LP no primal count 0 3600.01/3608.70 c LP no farkas count 0 3600.01/3608.70 c LP other issue count 0 3600.01/3608.70 c LP Gomory cuts 30 3600.01/3608.70 c LP learned cuts 254 3600.01/3608.70 c LP deleted cuts 274 3600.01/3608.70 c LP encountered Gomory constraints 0 3600.01/3608.70 c LP encountered Farkas constraints 1222 3600.01/3608.70 c LP encountered learned Farkas constraints 368 3600.01/3608.70 c CG auxiliary variables introduced 47 3600.01/3608.70 c CG solutions found 6 3600.01/3608.70 c CG cores constructed 13 3600.01/3608.70 c CG core cardinality constraints returned 0 3600.01/3608.70 c CG unit cores 0 3600.01/3608.70 c CG single cores 13 3600.01/3608.70 c CG blocks removed during cardinality reduction 0 3600.01/3608.70 c CG first core best 0 3600.01/3608.70 c CG decision core best 0 3600.01/3608.70 c CG core reduction tie 0 3600.01/3608.70 c CG core degree average 1.00 3600.01/3608.70 c CG core slack average 51.23 3600.01/3608.70 s SATISFIABLE 3600.01/3608.70 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 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 x5817 -x5818 x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 x6010 x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027
OK 21
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: 63968 MiB (61231 MiB free)
memory of node 1: 64473 MiB (62704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455228-1721460925/watcher-4455228-1721460925 -o /tmp/evaluation-result-4455228-1721460925/solver-4455228-1721460925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055686 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455228-1721460925.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1055830, runsolver pid=1055827
[startup+0.100167 s]*
/proc/loadavg: 1.15 1.99 3.11 5/261 1055842
/proc/meminfo: memFree=126873756/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=51332 memory=20816 CPUtime=0.09 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 4761 0 0 0 7 2 0 0 20 0 1 0 198261444 52563968 5204 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 12833 5204 1646 922 0 4785 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51332 KiB
Current children cumulated memory: 20816 KiB
[startup+0.206167 s]*
/proc/loadavg: 1.15 1.99 3.11 5/261 1055842
/proc/meminfo: memFree=126858840/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=52584 memory=22488 CPUtime=0.19 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 5072 0 0 0 17 2 0 0 20 0 1 0 198261444 53846016 5622 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 13146 5622 1742 922 0 5098 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52584 KiB
Current children cumulated memory: 22488 KiB
[startup+0.305269 s]*
/proc/loadavg: 1.15 1.99 3.11 5/261 1055842
/proc/meminfo: memFree=126849092/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=52584 memory=23392 CPUtime=0.29 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 5249 0 0 0 26 3 0 0 20 0 1 0 198261444 53846016 5848 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 13146 5848 1772 922 0 5098 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52584 KiB
Current children cumulated memory: 23392 KiB
[startup+0.700191 s]
/proc/loadavg: 1.15 1.99 3.11 5/261 1055842
/proc/meminfo: memFree=126779148/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=58224 memory=29476 CPUtime=0.68 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 6273 0 0 0 64 4 0 0 20 0 1 0 198261444 59621376 7369 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 14556 7369 1772 922 0 6508 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 29476 KiB
[startup+1.50024 s]
/proc/loadavg: 1.15 1.99 3.11 5/261 1055842
/proc/meminfo: memFree=126674504/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=63000 memory=36860 CPUtime=1.47 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 8290 0 0 0 141 6 0 0 20 0 1 0 198261444 64512000 9215 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 15750 9215 1843 922 0 7702 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63000 KiB
Current children cumulated memory: 36860 KiB
[startup+3.10585 s]
/proc/loadavg: 1.45 2.04 3.12 5/261 1055844
/proc/meminfo: memFree=126346608/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=63508 memory=37388 CPUtime=3.08 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 8433 0 0 0 298 10 0 0 20 0 1 0 198261444 65032192 9347 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 15877 9347 1843 922 0 7829 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63508 KiB
Current children cumulated memory: 37388 KiB
[startup+6.30022 s]
/proc/loadavg: 1.45 2.04 3.12 5/261 1055844
/proc/meminfo: memFree=126140288/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=84580 memory=54956 CPUtime=6.26 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 11277 0 0 0 607 19 0 0 20 0 1 0 198261444 86609920 13739 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 21145 13739 1843 922 0 13097 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84580 KiB
Current children cumulated memory: 54956 KiB
[startup+12.7002 s]
/proc/loadavg: 1.74 2.09 3.13 5/261 1055890
/proc/meminfo: memFree=126151488/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=90064 memory=59172 CPUtime=12.66 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 12320 0 0 0 1232 34 0 0 20 0 1 0 198261444 92225536 14793 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 22516 14793 1843 922 0 14468 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 90064 KiB
Current children cumulated memory: 59172 KiB
[startup+25.5002 s]
/proc/loadavg: 2.31 2.20 3.15 5/256 1055893
/proc/meminfo: memFree=126050264/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=96080 memory=66728 CPUtime=25.42 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 13730 0 0 0 2486 56 0 0 20 0 1 0 198261444 98385920 16682 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 24020 16682 1843 922 0 15972 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96080 KiB
Current children cumulated memory: 66728 KiB
[startup+51.1056 s]
/proc/loadavg: 2.94 2.36 3.18 5/256 1055896
/proc/meminfo: memFree=125267376/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=114088 memory=78436 CPUtime=50.97 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 15629 0 0 0 4993 104 0 0 20 0 1 0 198261444 116826112 19609 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 28522 19609 1843 922 0 20474 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 114088 KiB
Current children cumulated memory: 78436 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.63 3.23 5/256 1055905
/proc/meminfo: memFree=125145000/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=147820 memory=105212 CPUtime=102.04 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 19753 0 0 0 10035 169 0 0 20 0 1 0 198261444 151367680 26303 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 36955 26303 1843 922 0 28907 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 147820 KiB
Current children cumulated memory: 105212 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.90 3.29 5/256 1055916
/proc/meminfo: memFree=125066108/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=148784 memory=106268 CPUtime=161.9 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 20055 0 0 0 15940 250 0 0 20 0 1 0 198261444 152354816 26567 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 37196 26567 1843 922 0 29148 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 148784 KiB
Current children cumulated memory: 106268 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.13 3.34 5/256 1055926
/proc/meminfo: memFree=123099932/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=197488 memory=157184 CPUtime=221.77 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 24599 0 0 0 21870 307 0 0 20 0 1 0 198261444 202227712 39296 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 49372 39296 1843 922 0 41324 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 197488 KiB
Current children cumulated memory: 157184 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 3.38 3.42 5/256 1055937
/proc/meminfo: memFree=123047636/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=199332 memory=159296 CPUtime=281.61 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 25126 0 0 0 27799 362 0 0 20 0 1 0 198261444 204115968 39824 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 49833 39824 1843 922 0 41785 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 199332 KiB
Current children cumulated memory: 159296 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.53 3.47 5/257 1055953
/proc/meminfo: memFree=123023996/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=204032 memory=164296 CPUtime=341.47 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 26399 0 0 0 33733 414 0 0 20 0 1 0 198261444 208928768 41074 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 51008 41074 1843 922 0 42960 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 204032 KiB
Current children cumulated memory: 164296 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.63 3.51 5/257 1055963
/proc/meminfo: memFree=122957944/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=254568 memory=178356 CPUtime=401.34 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 27378 0 0 0 39670 464 0 0 20 0 1 0 198261444 260677632 44589 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 63642 44589 1843 922 0 55594 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 254568 KiB
Current children cumulated memory: 178356 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.73 3.56 5/257 1055974
/proc/meminfo: memFree=122893076/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=256820 memory=180732 CPUtime=461.2 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 27950 0 0 0 45600 520 0 0 20 0 1 0 198261444 262983680 45183 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 64205 45183 1843 922 0 56157 0
################
# More data... #
################
Current children cumulated memory: 567260 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 1057043
/proc/meminfo: memFree=122973528/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=615444 memory=568480 CPUtime=2915.27 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 65164 0 0 0 290097 1430 0 0 20 0 1 0 198261444 630214656 142120 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 153861 142120 1843 922 0 145813 0
Current children cumulated CPU time: 2915.27 s
Current children cumulated vsize: 615444 KiB
Current children cumulated memory: 568480 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1057054
/proc/meminfo: memFree=122928696/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=619076 memory=571928 CPUtime=2975.12 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 66276 0 0 0 296069 1443 0 0 20 0 1 0 198261444 633933824 142982 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 154769 142982 1843 922 0 146721 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 619076 KiB
Current children cumulated memory: 571928 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/256 1057451
/proc/meminfo: memFree=123021428/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=622760 memory=575436 CPUtime=3034.98 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 67405 0 0 0 302044 1454 0 0 20 0 1 0 198261444 637706240 143859 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 155690 143859 1843 922 0 147642 0
Current children cumulated CPU time: 3034.98 s
Current children cumulated vsize: 622760 KiB
Current children cumulated memory: 575436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.11 6/256 1057461
/proc/meminfo: memFree=122959884/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=630204 memory=594784 CPUtime=3094.83 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 69453 0 0 0 308017 1466 0 0 20 0 1 0 198261444 645328896 148696 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 157551 148696 1843 922 0 149503 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 630204 KiB
Current children cumulated memory: 594784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 1057472
/proc/meminfo: memFree=122822064/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=851956 memory=627456 CPUtime=3154.68 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 71108 0 0 0 313987 1481 0 0 20 0 1 0 198261444 872402944 156864 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 212989 156864 1843 922 0 204941 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 851956 KiB
Current children cumulated memory: 627456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 1057651
/proc/meminfo: memFree=122719436/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=857952 memory=658796 CPUtime=3214.52 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 72491 0 0 0 319957 1495 0 0 20 0 1 0 198261444 878542848 164699 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 214488 164699 1843 922 0 206440 0
Current children cumulated CPU time: 3214.52 s
Current children cumulated vsize: 857952 KiB
Current children cumulated memory: 658796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 1057661
/proc/meminfo: memFree=122705184/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=859084 memory=662460 CPUtime=3274.39 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 73030 0 0 0 325929 1510 0 0 20 0 1 0 198261444 879702016 165615 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 214771 165615 1843 922 0 206723 0
Current children cumulated CPU time: 3274.39 s
Current children cumulated vsize: 859084 KiB
Current children cumulated memory: 662460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 1057730
/proc/meminfo: memFree=122692948/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=859084 memory=662468 CPUtime=3334.25 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 73204 0 0 0 331900 1525 0 0 20 0 1 0 198261444 879702016 165617 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 214771 165617 1843 922 0 206723 0
Current children cumulated CPU time: 3334.25 s
Current children cumulated vsize: 859084 KiB
Current children cumulated memory: 662468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1057740
/proc/meminfo: memFree=122672960/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=860080 memory=663296 CPUtime=3394.11 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 73631 0 0 0 337873 1538 0 0 20 0 1 0 198261444 880721920 165824 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 215020 165824 1843 922 0 206972 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 860080 KiB
Current children cumulated memory: 663296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1057751
/proc/meminfo: memFree=122642472/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=859248 memory=662624 CPUtime=3453.96 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 73760 0 0 0 343844 1552 0 0 20 0 1 0 198261444 879869952 165656 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 214812 165656 1843 922 0 206764 0
Current children cumulated CPU time: 3453.96 s
Current children cumulated vsize: 859248 KiB
Current children cumulated memory: 662624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1057762
/proc/meminfo: memFree=122636020/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=859720 memory=662740 CPUtime=3513.82 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 73958 0 0 0 349819 1563 0 0 20 0 1 0 198261444 880353280 165685 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 214930 165685 1843 922 0 206882 0
Current children cumulated CPU time: 3513.82 s
Current children cumulated vsize: 859720 KiB
Current children cumulated memory: 662740 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1057772
/proc/meminfo: memFree=122632384/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=860472 memory=663736 CPUtime=3573.67 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 74334 0 0 0 355792 1575 0 0 20 0 1 0 198261444 881123328 165934 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 215118 165934 1843 922 0 207070 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 860472 KiB
Current children cumulated memory: 663736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1057778
/proc/meminfo: memFree=122628512/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=860472 memory=663736 CPUtime=3600.01 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 74339 0 0 0 358417 1584 0 0 20 0 1 0 198261444 881123328 165934 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 215118 165934 1843 922 0 207070 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 860472 KiB
Current children cumulated memory: 663736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.71 s]
# the end of solver process 1055830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.18 s, system=15.8464 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1057778
/proc/meminfo: memFree=122628512/131524600 swapFree=131071996/131071996
[pid=1055830] ppid=1055827 vsize=860472 memory=663736 CPUtime=3600.01 cores=4,6
/proc/1055830/stat : 1055830 (roundingsat) R 1055827 1055830 1055675 0 -1 4194304 74339 0 0 0 358417 1584 0 0 20 0 1 0 198261444 881123328 165934 134679101440 4194304 7968373 140724267062960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9035776 140724267070396 140724267070560 140724267070560 140724267077577 0
/proc/1055830/statm: 215118 165934 1843 922 0 207070 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 860472 KiB
Current children cumulated memory: 663736 KiB
Child status: 0
Real time (s): 3608.71
CPU time (s): 3600.03
CPU user time (s): 3584.18
CPU system time (s): 15.8464
CPU usage (%): 99.7595
Max. virtual memory (cumulated for all children) (KiB): 860472
Max. memory (cumulated for all children) (KiB): 663736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.18
system time used= 15.8464
maximum resident set size= 664056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92
involuntary context switches= 2942
# summary of solver processes directly reported to runsolver:
# pid: 1055830
# total CPU time (s): 3600.03
# total CPU user time (s): 3584.18
# total CPU system time (s): 15.8464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9831 second user time and 16.6088 second system time
The end
Begin job on nodeC032 at 2024-07-20 09:35:37 IDJOB=4455228 IDBENCH=148185 IDSOLVER=3084 FILE ID=nodeC032/4455228-1721460925 RUNJOBID= nodeC032-1721460937-1055686 SLURM_JOB_ID= 7545712 Free space on /tmp= 890056 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455228-1721460925/watcher-4455228-1721460925 -o /tmp/evaluation-result-4455228-1721460925/solver-4455228-1721460925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055686 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455228-1721460925.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445 RANDOM SEED=842074215 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 : 3659.491 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.33 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 : 3666.833 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.03 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 : 3601.970 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.33 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 : 3649.217 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.03 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.216 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.33 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 : 3668.499 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.03 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 : 3647.430 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.33 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 : 3667.054 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126915264 kB MemAvailable: 129617068 kB Buffers: 562712 kB Cached: 2960348 kB SwapCached: 0 kB Active: 1058312 kB Inactive: 2882308 kB Active(anon): 1528 kB Inactive(anon): 462264 kB Active(file): 1056784 kB Inactive(file): 2420044 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 36548 kB Writeback: 0 kB AnonPages: 418136 kB Mapped: 111688 kB Shmem: 45912 kB KReclaimable: 129600 kB Slab: 247008 kB SReclaimable: 129600 kB SUnreclaim: 117408 kB KernelStack: 4192 kB PageTables: 10004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 798404 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74208 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 246484 kB DirectMap2M: 24692736 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890056 MiB End job on nodeC032 at 2024-07-20 10:35:46