| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 21 | 3600.07 | 3608.82 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 529ae296d86301d65a8fd4e36abb4ed9 |
| 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 | 21 |
| Best CPU time to get the best result obtained on this benchmark | 90.3129 |
| 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 | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| 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 | 666 |
| 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 | 697 |
| 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 6076 #constraints 21401 9.95/10.09 c bounds - >= 5 @ 0.048219 9.95/10.09 c bounds 31 >= 5 @ 0.155955 9.95/10.09 c bounds 31 >= 6 @ 0.19141 9.95/10.09 c bounds 31 >= 7 @ 0.191901 9.95/10.09 c bounds 30 >= 7 @ 0.192515 9.95/10.09 c bounds 30 >= 8 @ 0.193245 9.95/10.09 c bounds 29 >= 8 @ 0.194889 9.95/10.09 c bounds 29 >= 9 @ 0.194889 9.95/10.09 c bounds 29 >= 10 @ 0.195156 9.95/10.09 c bounds 29 >= 11 @ 0.195963 9.95/10.09 c bounds 28 >= 11 @ 0.197928 9.95/10.09 c bounds 28 >= 12 @ 0.200081 9.95/10.09 c #Conflicts: 1000 | #Constraints: 22432 9.95/10.09 c #Conflicts: 2000 | #Constraints: 23432 9.95/10.09 c INPROCESSING 9.95/10.09 c GARBAGE COLLECT 9.95/10.09 c bounds 28 >= 13 @ 1.89433 9.95/10.09 c bounds 28 >= 14 @ 1.92098 9.95/10.09 c #Conflicts: 3000 | #Constraints: 23449 9.95/10.09 c bounds 28 >= 15 @ 4.60175 9.95/10.09 c #Conflicts: 4000 | #Constraints: 24461 9.95/10.09 c INPROCESSING 9.95/10.09 c GARBAGE COLLECT 9.95/10.09 c #Conflicts: 5000 | #Constraints: 23858 9.95/10.09 c #Conflicts: 6000 | #Constraints: 24858 9.95/10.09 c INPROCESSING 9.95/10.09 c GARBAGE COLLECT 9.95/10.09 c rational objective 15 23.81/23.93 c #Conflicts: 7000 | #Constraints: 23868 23.81/23.93 c #Conflicts: 8000 | #Constraints: 24868 23.81/23.93 c #Conflicts: 9000 | #Constraints: 25868 23.81/23.93 c INPROCESSING 23.81/23.93 c GARBAGE COLLECT 23.81/23.93 c #Conflicts: 10000 | #Constraints: 24571 23.81/23.93 c #Conflicts: 11000 | #Constraints: 25572 23.81/23.93 c #Conflicts: 12000 | #Constraints: 26576 23.81/23.93 c INPROCESSING 23.81/23.93 c GARBAGE COLLECT 23.81/23.93 c #Conflicts: 13000 | #Constraints: 25028 23.81/23.93 c #Conflicts: 14000 | #Constraints: 26031 23.81/23.93 c #Conflicts: 15000 | #Constraints: 27034 23.81/23.93 c INPROCESSING 23.81/23.93 c GARBAGE COLLECT 23.81/23.93 c rational objective 15 45.26/45.49 c bounds 28 >= 16 @ 24.0582 45.26/45.49 c #Conflicts: 16000 | #Constraints: 25257 45.26/45.49 c #Conflicts: 17000 | #Constraints: 26257 45.26/45.49 c #Conflicts: 18000 | #Constraints: 27257 45.26/45.49 c INPROCESSING 45.26/45.49 c GARBAGE COLLECT 45.26/45.49 c #Conflicts: 19000 | #Constraints: 25338 45.26/45.49 c #Conflicts: 20000 | #Constraints: 26338 45.26/45.49 c #Conflicts: 21000 | #Constraints: 27338 45.26/45.49 c INPROCESSING 45.26/45.49 c GARBAGE COLLECT 45.26/45.49 c #Conflicts: 22000 | #Constraints: 25112 45.26/45.49 c bounds 27 >= 16 @ 37.4936 45.26/45.49 c #Conflicts: 23000 | #Constraints: 26115 45.26/45.49 c #Conflicts: 24000 | #Constraints: 27115 45.26/45.49 c #Conflicts: 25000 | #Constraints: 28115 45.26/45.49 c INPROCESSING 45.26/45.49 c GARBAGE COLLECT 45.26/45.49 c rational objective 16 63.92/64.16 c #Conflicts: 26000 | #Constraints: 25705 63.92/64.16 c #Conflicts: 27000 | #Constraints: 26705 63.92/64.16 c #Conflicts: 28000 | #Constraints: 27705 63.92/64.16 c #Conflicts: 29000 | #Constraints: 28705 63.92/64.16 c INPROCESSING 63.92/64.16 c GARBAGE COLLECT 63.92/64.16 c #Conflicts: 30000 | #Constraints: 26092 63.92/64.16 c #Conflicts: 31000 | #Constraints: 27092 63.92/64.16 c #Conflicts: 32000 | #Constraints: 28092 63.92/64.16 c #Conflicts: 33000 | #Constraints: 29092 63.92/64.16 c INPROCESSING 63.92/64.16 c GARBAGE COLLECT 63.92/64.16 c bounds 27 >= 17 @ 55.3077 63.92/64.16 c #Conflicts: 34000 | #Constraints: 26326 63.92/64.16 c #Conflicts: 35000 | #Constraints: 27326 63.92/64.16 c #Conflicts: 36000 | #Constraints: 28326 63.92/64.16 c #Conflicts: 37000 | #Constraints: 29326 63.92/64.16 c INPROCESSING 63.92/64.16 c GARBAGE COLLECT 63.92/64.16 c rational objective 17 70.91/71.18 c #Conflicts: 38000 | #Constraints: 26360 70.91/71.18 c #Conflicts: 39000 | #Constraints: 27360 70.91/71.18 c #Conflicts: 40000 | #Constraints: 28360 70.91/71.18 c #Conflicts: 41000 | #Constraints: 29360 70.91/71.18 c INPROCESSING 70.91/71.18 c GARBAGE COLLECT 70.91/71.18 c rational objective 17 107.52/107.88 c #Conflicts: 42000 | #Constraints: 26165 107.52/107.88 c #Conflicts: 43000 | #Constraints: 27166 107.52/107.88 c #Conflicts: 44000 | #Constraints: 28167 107.52/107.88 c #Conflicts: 45000 | #Constraints: 29167 107.52/107.88 c #Conflicts: 46000 | #Constraints: 30167 107.52/107.88 c INPROCESSING 107.52/107.88 c GARBAGE COLLECT 107.52/107.88 c #Conflicts: 47000 | #Constraints: 26763 107.52/107.88 c #Conflicts: 48000 | #Constraints: 27763 107.52/107.88 c #Conflicts: 49000 | #Constraints: 28763 107.52/107.88 c #Conflicts: 50000 | #Constraints: 29763 107.52/107.88 c #Conflicts: 51000 | #Constraints: 30763 107.52/107.88 c INPROCESSING 107.52/107.88 c GARBAGE COLLECT 107.52/107.88 c bounds 26 >= 17 @ 97.3368 107.52/107.88 c #Conflicts: 52000 | #Constraints: 27215 107.52/107.88 c #Conflicts: 53000 | #Constraints: 28215 107.52/107.88 c #Conflicts: 54000 | #Constraints: 29216 107.52/107.88 c #Conflicts: 55000 | #Constraints: 30218 107.52/107.88 c #Conflicts: 56000 | #Constraints: 31218 107.52/107.88 c INPROCESSING 107.52/107.88 c GARBAGE COLLECT 107.52/107.88 c rational objective 17 121.38/121.70 c #Conflicts: 57000 | #Constraints: 27379 121.38/121.70 c #Conflicts: 58000 | #Constraints: 28379 121.38/121.70 c #Conflicts: 59000 | #Constraints: 29379 121.38/121.70 c #Conflicts: 60000 | #Constraints: 30379 121.38/121.70 c #Conflicts: 61000 | #Constraints: 31379 121.38/121.70 c INPROCESSING 121.38/121.70 c GARBAGE COLLECT 121.38/121.70 c #Conflicts: 62000 | #Constraints: 27375 121.38/121.70 c #Conflicts: 63000 | #Constraints: 28378 121.38/121.70 c #Conflicts: 64000 | #Constraints: 29378 121.38/121.70 c #Conflicts: 65000 | #Constraints: 30378 121.38/121.70 c #Conflicts: 66000 | #Constraints: 31378 121.38/121.70 c INPROCESSING 121.38/121.70 c GARBAGE COLLECT 121.38/121.70 c rational objective 17 132.86/133.21 c #Conflicts: 67000 | #Constraints: 27152 132.86/133.21 c #Conflicts: 68000 | #Constraints: 28153 132.86/133.21 c #Conflicts: 69000 | #Constraints: 29154 132.86/133.21 c #Conflicts: 70000 | #Constraints: 30154 132.86/133.21 c #Conflicts: 71000 | #Constraints: 31156 132.86/133.21 c #Conflicts: 72000 | #Constraints: 32156 132.86/133.21 c INPROCESSING 132.86/133.21 c GARBAGE COLLECT 132.86/133.21 c rational objective 17 143.64/144.06 c #Conflicts: 73000 | #Constraints: 27753 143.64/144.06 c #Conflicts: 74000 | #Constraints: 28753 143.64/144.06 c #Conflicts: 75000 | #Constraints: 29753 143.64/144.06 c bounds 26 >= 18 @ 136.194 143.64/144.06 c #Conflicts: 76000 | #Constraints: 30777 143.64/144.06 c #Conflicts: 77000 | #Constraints: 31777 143.64/144.06 c #Conflicts: 78000 | #Constraints: 32777 143.64/144.06 c INPROCESSING 143.64/144.06 c GARBAGE COLLECT 143.64/144.06 c rational objective 18 193.31/193.82 c #Conflicts: 79000 | #Constraints: 28170 193.31/193.82 c #Conflicts: 80000 | #Constraints: 29171 193.31/193.82 c #Conflicts: 81000 | #Constraints: 30173 193.31/193.82 c #Conflicts: 82000 | #Constraints: 31173 193.31/193.82 c #Conflicts: 83000 | #Constraints: 32174 193.31/193.82 c #Conflicts: 84000 | #Constraints: 33174 193.31/193.82 c INPROCESSING 193.31/193.82 c GARBAGE COLLECT 193.31/193.82 c #Conflicts: 85000 | #Constraints: 28383 193.31/193.82 c #Conflicts: 86000 | #Constraints: 29383 193.31/193.82 c #Conflicts: 87000 | #Constraints: 30383 193.31/193.82 c #Conflicts: 88000 | #Constraints: 31383 193.31/193.82 c #Conflicts: 89000 | #Constraints: 32383 193.31/193.82 c #Conflicts: 90000 | #Constraints: 33383 193.31/193.82 c INPROCESSING 193.31/193.82 c GARBAGE COLLECT 193.31/193.82 c rational objective 18 210.88/211.42 c #Conflicts: 91000 | #Constraints: 28485 210.88/211.42 c #Conflicts: 92000 | #Constraints: 29485 210.88/211.42 c #Conflicts: 93000 | #Constraints: 30485 210.88/211.42 c #Conflicts: 94000 | #Constraints: 31485 210.88/211.42 c #Conflicts: 95000 | #Constraints: 32486 210.88/211.42 c #Conflicts: 96000 | #Constraints: 33486 210.88/211.42 c INPROCESSING 210.88/211.42 c GARBAGE COLLECT 210.88/211.42 c rational objective 18 234.42/235.04 c #Conflicts: 97000 | #Constraints: 28244 234.42/235.04 c #Conflicts: 98000 | #Constraints: 29244 234.42/235.04 c #Conflicts: 99000 | #Constraints: 30244 234.42/235.04 c #Conflicts: 100000 | #Constraints: 31244 234.42/235.04 c #Conflicts: 101000 | #Constraints: 32244 234.42/235.04 c #Conflicts: 102000 | #Constraints: 33244 234.42/235.04 c #Conflicts: 103000 | #Constraints: 34244 234.42/235.04 c INPROCESSING 234.42/235.04 c GARBAGE COLLECT 234.42/235.04 c rational objective 18 247.59/248.29 c #Conflicts: 104000 | #Constraints: 29012 247.59/248.29 c #Conflicts: 105000 | #Constraints: 30012 247.59/248.29 c #Conflicts: 106000 | #Constraints: 31012 247.59/248.29 c #Conflicts: 107000 | #Constraints: 32012 247.59/248.29 c #Conflicts: 108000 | #Constraints: 33013 247.59/248.29 c #Conflicts: 109000 | #Constraints: 34013 247.59/248.29 c #Conflicts: 110000 | #Constraints: 35013 247.59/248.29 c INPROCESSING 247.59/248.29 c GARBAGE COLLECT 247.59/248.29 c rational objective 18 274.62/275.32 c bounds 25 >= 18 @ 246.968 274.62/275.32 c #Conflicts: 111000 | #Constraints: 29318 274.62/275.32 c #Conflicts: 112000 | #Constraints: 30318 274.62/275.32 c #Conflicts: 113000 | #Constraints: 31318 274.62/275.32 c #Conflicts: 114000 | #Constraints: 32318 274.62/275.32 c #Conflicts: 115000 | #Constraints: 33318 274.62/275.32 c #Conflicts: 116000 | #Constraints: 34318 274.62/275.32 c #Conflicts: 117000 | #Constraints: 35318 274.62/275.32 c INPROCESSING 274.62/275.32 c GARBAGE COLLECT 274.62/275.32 c rational objective 18 284.00/284.76 c #Conflicts: 118000 | #Constraints: 29547 284.00/284.76 c bounds 24 >= 18 @ 272.445 284.00/284.76 c #Conflicts: 119000 | #Constraints: 30548 284.00/284.76 c #Conflicts: 120000 | #Constraints: 31550 284.00/284.76 c #Conflicts: 121000 | #Constraints: 32551 284.00/284.76 c #Conflicts: 122000 | #Constraints: 33551 284.00/284.76 c #Conflicts: 123000 | #Constraints: 34552 284.00/284.76 c #Conflicts: 124000 | #Constraints: 35552 284.00/284.76 c INPROCESSING 284.00/284.76 c GARBAGE COLLECT 284.00/284.76 c rational objective 18 294.08/294.80 c #Conflicts: 125000 | #Constraints: 29519 294.08/294.80 c #Conflicts: 126000 | #Constraints: 30519 294.08/294.80 c #Conflicts: 127000 | #Constraints: 31519 294.08/294.80 c #Conflicts: 128000 | #Constraints: 32519 294.08/294.80 c #Conflicts: 129000 | #Constraints: 33519 294.08/294.80 c #Conflicts: 130000 | #Constraints: 34519 294.08/294.80 c #Conflicts: 131000 | #Constraints: 35519 294.08/294.80 c INPROCESSING 294.08/294.80 c GARBAGE COLLECT 294.08/294.80 c rational objective 18 307.94/308.75 c #Conflicts: 132000 | #Constraints: 29285 307.94/308.75 c #Conflicts: 133000 | #Constraints: 30285 307.94/308.75 c #Conflicts: 134000 | #Constraints: 31285 307.94/308.75 c #Conflicts: 135000 | #Constraints: 32285 307.94/308.75 c #Conflicts: 136000 | #Constraints: 33285 307.94/308.75 c #Conflicts: 137000 | #Constraints: 34285 307.94/308.75 c #Conflicts: 138000 | #Constraints: 35285 307.94/308.75 c #Conflicts: 139000 | #Constraints: 36286 307.94/308.75 c INPROCESSING 307.94/308.75 c GARBAGE COLLECT 307.94/308.75 c rational objective 18 347.54/348.40 c #Conflicts: 140000 | #Constraints: 29904 347.54/348.40 c #Conflicts: 141000 | #Constraints: 30904 347.54/348.40 c #Conflicts: 142000 | #Constraints: 31904 347.54/348.40 c #Conflicts: 143000 | #Constraints: 32904 347.54/348.40 c #Conflicts: 144000 | #Constraints: 33904 347.54/348.40 c #Conflicts: 145000 | #Constraints: 34904 347.54/348.40 c #Conflicts: 146000 | #Constraints: 35904 347.54/348.40 c #Conflicts: 147000 | #Constraints: 36904 347.54/348.40 c INPROCESSING 347.54/348.40 c GARBAGE COLLECT 347.54/348.40 c rational objective 18 365.31/366.22 c #Conflicts: 148000 | #Constraints: 30388 365.31/366.22 c #Conflicts: 149000 | #Constraints: 31388 365.31/366.22 c #Conflicts: 150000 | #Constraints: 32388 365.31/366.22 c #Conflicts: 151000 | #Constraints: 33389 365.31/366.22 c #Conflicts: 152000 | #Constraints: 34389 365.31/366.22 c #Conflicts: 153000 | #Constraints: 35389 365.31/366.22 c #Conflicts: 154000 | #Constraints: 36389 365.31/366.22 c #Conflicts: 155000 | #Constraints: 37389 365.31/366.22 c INPROCESSING 365.31/366.22 c GARBAGE COLLECT 365.31/366.22 c rational objective 18 379.87/380.83 c #Conflicts: 156000 | #Constraints: 30537 379.87/380.83 c #Conflicts: 157000 | #Constraints: 31537 379.87/380.83 c #Conflicts: 158000 | #Constraints: 32537 379.87/380.83 c #Conflicts: 159000 | #Constraints: 33537 379.87/380.83 c #Conflicts: 160000 | #Constraints: 34537 379.87/380.83 c #Conflicts: 161000 | #Constraints: 35538 379.87/380.83 c #Conflicts: 162000 | #Constraints: 36538 379.87/380.83 c #Conflicts: 163000 | #Constraints: 37538 379.87/380.83 c INPROCESSING 379.87/380.83 c GARBAGE COLLECT 379.87/380.83 c rational objective 18 390.54/391.58 c #Conflicts: 164000 | #Constraints: 30523 390.54/391.58 c #Conflicts: 165000 | #Constraints: 31523 390.54/391.58 c #Conflicts: 166000 | #Constraints: 32523 390.54/391.58 c #Conflicts: 167000 | #Constraints: 33523 390.54/391.58 c #Conflicts: 168000 | #Constraints: 34523 390.54/391.58 c #Conflicts: 169000 | #Constraints: 35523 390.54/391.58 c #Conflicts: 170000 | #Constraints: 36523 390.54/391.58 c #Conflicts: 171000 | #Constraints: 37523 390.54/391.58 c INPROCESSING 390.54/391.58 c GARBAGE COLLECT 390.54/391.58 c rational objective 18 434.43/435.59 c #Conflicts: 172000 | #Constraints: 30333 434.43/435.59 c #Conflicts: 173000 | #Constraints: 31333 434.43/435.59 c #Conflicts: 174000 | #Constraints: 32333 434.43/435.59 c #Conflicts: 175000 | #Constraints: 33333 434.43/435.59 c #Conflicts: 176000 | #Constraints: 34333 434.43/435.59 c #Conflicts: 177000 | #Constraints: 35333 434.43/435.59 c #Conflicts: 178000 | #Constraints: 36333 434.43/435.59 c #Conflicts: 179000 | #Constraints: 37333 434.43/435.59 c #Conflicts: 180000 | #Constraints: 38333 434.43/435.59 c INPROCESSING 434.43/435.59 c GARBAGE COLLECT 434.43/435.59 c rational objective 18 451.30/452.41 c #Conflicts: 181000 | #Constraints: 31091 451.30/452.41 c #Conflicts: 182000 | #Constraints: 32091 451.30/452.41 c #Conflicts: 183000 | #Constraints: 33091 451.30/452.41 c #Conflicts: 184000 | #Constraints: 34091 451.30/452.41 c #Conflicts: 185000 | #Constraints: 35091 451.30/452.41 c #Conflicts: 186000 | #Constraints: 36091 451.30/452.41 c #Conflicts: 187000 | #Constraints: 37091 451.30/452.41 c #Conflicts: 188000 | #Constraints: 38091 451.30/452.41 c #Conflicts: 189000 | #Constraints: 39091 451.30/452.41 c INPROCESSING 451.30/452.41 c GARBAGE COLLECT 451.30/452.41 c rational objective 18 466.45/467.63 c #Conflicts: 190000 | #Constraints: 31369 466.45/467.63 c #Conflicts: 191000 | #Constraints: 32369 466.45/467.63 c #Conflicts: 192000 | #Constraints: 33371 466.45/467.63 c #Conflicts: 193000 | #Constraints: 34371 466.45/467.63 c #Conflicts: 194000 | #Constraints: 35371 466.45/467.63 c #Conflicts: 195000 | #Constraints: 36371 466.45/467.63 c #Conflicts: 196000 | #Constraints: 37371 466.45/467.63 c #Conflicts: 197000 | #Constraints: 38371 466.45/467.63 c #Conflicts: 198000 | #Constraints: 39371 466.45/467.63 c INPROCESSING 466.45/467.63 c GARBAGE COLLECT 466.45/467.63 c rational objective 18 486.51/487.72 c #Conflicts: 199000 | #Constraints: 31568 486.51/487.72 c #Conflicts: 200000 | #Constraints: 32568 486.51/487.72 c #Conflicts: 201000 | #Constraints: 33568 486.51/487.72 c #Conflicts: 202000 | #Constraints: 34568 486.51/487.72 c #Conflicts: 203000 | #Constraints: 35568 486.51/487.72 c #Conflicts: 204000 | #Constraints: 36568 486.51/487.72 c #Conflicts: 205000 | #Constraints: 37568 486.51/487.72 c #Conflicts: 206000 | #Constraints: 38568 486.51/487.72 c #Conflicts: 207000 | #Constraints: 39568 486.51/487.72 c INPROCESSING 486.51/487.72 c GARBAGE COLLECT 486.51/487.72 c rational objective 18 540.88/542.22 c #Conflicts: 208000 | #Constraints: 31543 540.88/542.22 c #Conflicts: 209000 | #Constraints: 32543 540.88/542.22 c #Conflicts: 210000 | #Constraints: 33543 540.88/542.22 c #Conflicts: 211000 | #Constraints: 34543 540.88/542.22 c #Conflicts: 212000 | #Constraints: 35543 540.88/542.22 c #Conflicts: 213000 | #Constraints: 36543 540.88/542.22 c #Conflicts: 214000 | #Constraints: 37543 540.88/542.22 c #Conflicts: 215000 | #Constraints: 38543 540.88/542.22 c #Conflicts: 216000 | #Constraints: 39543 540.88/542.22 c INPROCESSING 540.88/542.22 c GARBAGE COLLECT 540.88/542.22 c rational objective 18 975.63/978.07 c #Conflicts: 217000 | #Constraints: 31574 975.63/978.07 c #Conflicts: 218000 | #Constraints: 32574 975.63/978.07 c #Conflicts: 219000 | #Constraints: 33574 975.63/978.07 c #Conflicts: 220000 | #Constraints: 34574 975.63/978.07 c #Conflicts: 221000 | #Constraints: 35574 975.63/978.07 c #Conflicts: 222000 | #Constraints: 36574 975.63/978.07 c #Conflicts: 223000 | #Constraints: 37574 975.63/978.07 c #Conflicts: 224000 | #Constraints: 38574 975.63/978.07 c #Conflicts: 225000 | #Constraints: 39574 975.63/978.07 c #Conflicts: 226000 | #Constraints: 40574 975.63/978.07 c #Conflicts: 227000 | #Constraints: 41574 975.63/978.07 c #Conflicts: 228000 | #Constraints: 42574 975.63/978.07 c #Conflicts: 229000 | #Constraints: 43574 975.63/978.07 c #Conflicts: 230000 | #Constraints: 44574 975.63/978.07 c #Conflicts: 231000 | #Constraints: 45574 975.63/978.07 c #Conflicts: 232000 | #Constraints: 46574 975.63/978.07 c #Conflicts: 233000 | #Constraints: 47574 975.63/978.07 c #Conflicts: 234000 | #Constraints: 48574 975.63/978.07 c #Conflicts: 235000 | #Constraints: 49574 975.63/978.07 c #Conflicts: 236000 | #Constraints: 50574 975.63/978.07 c #Conflicts: 237000 | #Constraints: 51574 975.63/978.07 c #Conflicts: 238000 | #Constraints: 52574 975.63/978.07 c #Conflicts: 239000 | #Constraints: 53574 975.63/978.07 c #Conflicts: 240000 | #Constraints: 54574 975.63/978.07 c bounds 23 >= 18 @ 680.685 975.63/978.07 c #Conflicts: 241000 | #Constraints: 55575 975.63/978.07 c #Conflicts: 242000 | #Constraints: 56575 975.63/978.07 c #Conflicts: 243000 | #Constraints: 57575 975.63/978.07 c #Conflicts: 244000 | #Constraints: 58575 975.63/978.07 c #Conflicts: 245000 | #Constraints: 59575 975.63/978.07 c #Conflicts: 246000 | #Constraints: 60575 975.63/978.07 c #Conflicts: 247000 | #Constraints: 61575 975.63/978.07 c #Conflicts: 248000 | #Constraints: 62575 975.63/978.07 c #Conflicts: 249000 | #Constraints: 63575 975.63/978.07 c #Conflicts: 250000 | #Constraints: 64575 975.63/978.07 c bounds 23 >= 19 @ 801.726 975.63/978.07 c #Conflicts: 251000 | #Constraints: 65605 975.63/978.07 c #Conflicts: 252000 | #Constraints: 66605 975.63/978.07 c #Conflicts: 253000 | #Constraints: 67605 975.63/978.07 c #Conflicts: 254000 | #Constraints: 68605 975.63/978.07 c #Conflicts: 255000 | #Constraints: 69605 975.63/978.07 c #Conflicts: 256000 | #Constraints: 70605 975.63/978.07 c #Conflicts: 257000 | #Constraints: 71605 975.63/978.07 c #Conflicts: 258000 | #Constraints: 72605 975.63/978.07 c #Conflicts: 259000 | #Constraints: 73605 975.63/978.07 c #Conflicts: 260000 | #Constraints: 74605 975.63/978.07 c #Conflicts: 261000 | #Constraints: 75605 975.63/978.07 c INPROCESSING 975.63/978.07 c GARBAGE COLLECT 975.63/978.07 c rational objective 19 1041.86/1044.47 c #Conflicts: 262000 | #Constraints: 49642 1041.86/1044.47 c #Conflicts: 263000 | #Constraints: 50642 1041.86/1044.47 c #Conflicts: 264000 | #Constraints: 51642 1041.86/1044.47 c #Conflicts: 265000 | #Constraints: 52642 1041.86/1044.47 c #Conflicts: 266000 | #Constraints: 53642 1041.86/1044.47 c #Conflicts: 267000 | #Constraints: 54642 1041.86/1044.47 c #Conflicts: 268000 | #Constraints: 55642 1041.86/1044.47 c #Conflicts: 269000 | #Constraints: 56643 1041.86/1044.47 c #Conflicts: 270000 | #Constraints: 57643 1041.86/1044.47 c #Conflicts: 271000 | #Constraints: 58643 1041.86/1044.47 c #Conflicts: 272000 | #Constraints: 59643 1041.86/1044.47 c INPROCESSING 1041.86/1044.47 c GARBAGE COLLECT 1041.86/1044.47 c rational objective 19 1085.75/1088.48 c #Conflicts: 273000 | #Constraints: 41832 1085.75/1088.48 c #Conflicts: 274000 | #Constraints: 42832 1085.75/1088.48 c #Conflicts: 275000 | #Constraints: 43832 1085.75/1088.48 c #Conflicts: 276000 | #Constraints: 44832 1085.75/1088.48 c #Conflicts: 277000 | #Constraints: 45832 1085.75/1088.48 c #Conflicts: 278000 | #Constraints: 46832 1085.75/1088.48 c #Conflicts: 279000 | #Constraints: 47832 1085.75/1088.48 c #Conflicts: 280000 | #Constraints: 48832 1085.75/1088.48 c #Conflicts: 281000 | #Constraints: 49832 1085.75/1088.48 c #Conflicts: 282000 | #Constraints: 50832 1085.75/1088.48 c INPROCESSING 1085.75/1088.48 c GARBAGE COLLECT 1085.75/1088.48 c rational objective 19 1118.87/1121.65 c #Conflicts: 283000 | #Constraints: 36954 1118.87/1121.65 c #Conflicts: 284000 | #Constraints: 37954 1118.87/1121.65 c #Conflicts: 285000 | #Constraints: 38954 1118.87/1121.65 c #Conflicts: 286000 | #Constraints: 39954 1118.87/1121.65 c #Conflicts: 287000 | #Constraints: 40954 1118.87/1121.65 c #Conflicts: 288000 | #Constraints: 41954 1118.87/1121.65 c #Conflicts: 289000 | #Constraints: 42954 1118.87/1121.65 c #Conflicts: 290000 | #Constraints: 43954 1118.87/1121.65 c #Conflicts: 291000 | #Constraints: 44954 1118.87/1121.65 c #Conflicts: 292000 | #Constraints: 45954 1118.87/1121.65 c #Conflicts: 293000 | #Constraints: 46954 1118.87/1121.65 c #Conflicts: 294000 | #Constraints: 47954 1118.87/1121.65 c INPROCESSING 1118.87/1121.65 c GARBAGE COLLECT 1118.87/1121.65 c rational objective 19 1205.16/1208.10 c #Conflicts: 295000 | #Constraints: 35980 1205.16/1208.10 c #Conflicts: 296000 | #Constraints: 36980 1205.16/1208.10 c #Conflicts: 297000 | #Constraints: 37980 1205.16/1208.10 c #Conflicts: 298000 | #Constraints: 38980 1205.16/1208.10 c #Conflicts: 299000 | #Constraints: 39980 1205.16/1208.10 c #Conflicts: 300000 | #Constraints: 40980 1205.16/1208.10 c #Conflicts: 301000 | #Constraints: 41980 1205.16/1208.10 c #Conflicts: 302000 | #Constraints: 42980 1205.16/1208.10 c #Conflicts: 303000 | #Constraints: 43980 1205.16/1208.10 c #Conflicts: 304000 | #Constraints: 44980 1205.16/1208.10 c #Conflicts: 305000 | #Constraints: 45980 1205.16/1208.10 c INPROCESSING 1205.16/1208.10 c GARBAGE COLLECT 1205.16/1208.10 c rational objective 19 1545.59/1549.49 c #Conflicts: 306000 | #Constraints: 34910 1545.59/1549.49 c #Conflicts: 307000 | #Constraints: 35911 1545.59/1549.49 c #Conflicts: 308000 | #Constraints: 36912 1545.59/1549.49 c #Conflicts: 309000 | #Constraints: 37912 1545.59/1549.49 c #Conflicts: 310000 | #Constraints: 38912 1545.59/1549.49 c #Conflicts: 311000 | #Constraints: 39912 1545.59/1549.49 c #Conflicts: 312000 | #Constraints: 40912 1545.59/1549.49 c #Conflicts: 313000 | #Constraints: 41912 1545.59/1549.49 c #Conflicts: 314000 | #Constraints: 42912 1545.59/1549.49 c #Conflicts: 315000 | #Constraints: 43912 1545.59/1549.49 c #Conflicts: 316000 | #Constraints: 44912 1545.59/1549.49 c #Conflicts: 317000 | #Constraints: 45912 1545.59/1549.49 c #Conflicts: 318000 | #Constraints: 46912 1545.59/1549.49 c #Conflicts: 319000 | #Constraints: 47912 1545.59/1549.49 c #Conflicts: 320000 | #Constraints: 48912 1545.59/1549.49 c bounds 22 >= 19 @ 1228.58 1545.59/1549.49 c #Conflicts: 321000 | #Constraints: 49913 1545.59/1549.49 c #Conflicts: 322000 | #Constraints: 50913 1545.59/1549.49 c #Conflicts: 323000 | #Constraints: 51913 1545.59/1549.49 c #Conflicts: 324000 | #Constraints: 52913 1545.59/1549.49 c #Conflicts: 325000 | #Constraints: 53913 1545.59/1549.49 c #Conflicts: 326000 | #Constraints: 54913 1545.59/1549.49 c #Conflicts: 327000 | #Constraints: 55913 1545.59/1549.49 c #Conflicts: 328000 | #Constraints: 56913 1545.59/1549.49 c #Conflicts: 329000 | #Constraints: 57913 1545.59/1549.49 c #Conflicts: 330000 | #Constraints: 58913 1545.59/1549.49 c #Conflicts: 331000 | #Constraints: 59913 1545.59/1549.49 c #Conflicts: 332000 | #Constraints: 60913 1545.59/1549.49 c #Conflicts: 333000 | #Constraints: 61913 1545.59/1549.49 c #Conflicts: 334000 | #Constraints: 62913 1545.59/1549.49 c #Conflicts: 335000 | #Constraints: 63913 1545.59/1549.49 c #Conflicts: 336000 | #Constraints: 64913 1545.59/1549.49 c #Conflicts: 337000 | #Constraints: 65914 1545.59/1549.49 c #Conflicts: 338000 | #Constraints: 66914 1545.59/1549.49 c #Conflicts: 339000 | #Constraints: 67914 1545.59/1549.49 c #Conflicts: 340000 | #Constraints: 68914 1545.59/1549.49 c #Conflicts: 341000 | #Constraints: 69914 1545.59/1549.49 c #Conflicts: 342000 | #Constraints: 70914 1545.59/1549.49 c #Conflicts: 343000 | #Constraints: 71914 1545.59/1549.49 c #Conflicts: 344000 | #Constraints: 72914 1545.59/1549.49 c #Conflicts: 345000 | #Constraints: 73914 1545.59/1549.49 c #Conflicts: 346000 | #Constraints: 74914 1545.59/1549.49 c #Conflicts: 347000 | #Constraints: 75914 1545.59/1549.49 c #Conflicts: 348000 | #Constraints: 76914 1545.59/1549.49 c #Conflicts: 349000 | #Constraints: 77914 1545.59/1549.49 c #Conflicts: 350000 | #Constraints: 78914 1545.59/1549.49 c #Conflicts: 351000 | #Constraints: 79914 1545.59/1549.49 c #Conflicts: 352000 | #Constraints: 80914 1545.59/1549.49 c #Conflicts: 353000 | #Constraints: 81914 1545.59/1549.49 c #Conflicts: 354000 | #Constraints: 82914 1545.59/1549.49 c #Conflicts: 355000 | #Constraints: 83914 1545.59/1549.49 c #Conflicts: 356000 | #Constraints: 84914 1545.59/1549.49 c INPROCESSING 1545.59/1549.49 c GARBAGE COLLECT 1545.59/1549.49 c rational objective 19 1678.26/1682.42 c #Conflicts: 357000 | #Constraints: 54354 1678.26/1682.42 c #Conflicts: 358000 | #Constraints: 55354 1678.26/1682.42 c #Conflicts: 359000 | #Constraints: 56354 1678.26/1682.42 c #Conflicts: 360000 | #Constraints: 57354 1678.26/1682.42 c #Conflicts: 361000 | #Constraints: 58354 1678.26/1682.42 c #Conflicts: 362000 | #Constraints: 59354 1678.26/1682.42 c #Conflicts: 363000 | #Constraints: 60354 1678.26/1682.42 c #Conflicts: 364000 | #Constraints: 61354 1678.26/1682.42 c #Conflicts: 365000 | #Constraints: 62354 1678.26/1682.42 c #Conflicts: 366000 | #Constraints: 63354 1678.26/1682.42 c #Conflicts: 367000 | #Constraints: 64354 1678.26/1682.42 c #Conflicts: 368000 | #Constraints: 65354 1678.26/1682.42 c #Conflicts: 369000 | #Constraints: 66354 1678.26/1682.42 c INPROCESSING 1678.26/1682.42 c GARBAGE COLLECT 1678.26/1682.42 c rational objective 19 1809.74/1814.20 c #Conflicts: 370000 | #Constraints: 45266 1809.74/1814.20 c #Conflicts: 371000 | #Constraints: 46266 1809.74/1814.20 c #Conflicts: 372000 | #Constraints: 47266 1809.74/1814.20 c #Conflicts: 373000 | #Constraints: 48266 1809.74/1814.20 c #Conflicts: 374000 | #Constraints: 49266 1809.74/1814.20 c #Conflicts: 375000 | #Constraints: 50266 1809.74/1814.20 c #Conflicts: 376000 | #Constraints: 51266 1809.74/1814.20 c #Conflicts: 377000 | #Constraints: 52266 1809.74/1814.20 c #Conflicts: 378000 | #Constraints: 53266 1809.74/1814.20 c #Conflicts: 379000 | #Constraints: 54266 1809.74/1814.20 c #Conflicts: 380000 | #Constraints: 55266 1809.74/1814.20 c #Conflicts: 381000 | #Constraints: 56266 1809.74/1814.20 c INPROCESSING 1809.74/1814.20 c GARBAGE COLLECT 1809.74/1814.20 c rational objective 19 1928.75/1933.50 c #Conflicts: 382000 | #Constraints: 39974 1928.75/1933.50 c #Conflicts: 383000 | #Constraints: 40974 1928.75/1933.50 c #Conflicts: 384000 | #Constraints: 41974 1928.75/1933.50 c #Conflicts: 385000 | #Constraints: 42974 1928.75/1933.50 c #Conflicts: 386000 | #Constraints: 43974 1928.75/1933.50 c #Conflicts: 387000 | #Constraints: 44974 1928.75/1933.50 c #Conflicts: 388000 | #Constraints: 45974 1928.75/1933.50 c #Conflicts: 389000 | #Constraints: 46974 1928.75/1933.50 c #Conflicts: 390000 | #Constraints: 47974 1928.75/1933.50 c #Conflicts: 391000 | #Constraints: 48974 1928.75/1933.50 c #Conflicts: 392000 | #Constraints: 49974 1928.75/1933.50 c #Conflicts: 393000 | #Constraints: 50974 1928.75/1933.50 c #Conflicts: 394000 | #Constraints: 51974 1928.75/1933.50 c INPROCESSING 1928.75/1933.50 c GARBAGE COLLECT 1928.75/1933.50 c rational objective 19 3226.42/3234.38 c #Conflicts: 395000 | #Constraints: 37823 3226.42/3234.38 c #Conflicts: 396000 | #Constraints: 38823 3226.42/3234.38 c #Conflicts: 397000 | #Constraints: 39823 3226.42/3234.38 c #Conflicts: 398000 | #Constraints: 40823 3226.42/3234.38 c #Conflicts: 399000 | #Constraints: 41823 3226.42/3234.38 c #Conflicts: 400000 | #Constraints: 42823 3226.42/3234.38 c #Conflicts: 401000 | #Constraints: 43823 3226.42/3234.38 c #Conflicts: 402000 | #Constraints: 44823 3226.42/3234.38 c #Conflicts: 403000 | #Constraints: 45823 3226.42/3234.38 c #Conflicts: 404000 | #Constraints: 46823 3226.42/3234.38 c #Conflicts: 405000 | #Constraints: 47823 3226.42/3234.38 c #Conflicts: 406000 | #Constraints: 48823 3226.42/3234.38 c #Conflicts: 407000 | #Constraints: 49823 3226.42/3234.38 c #Conflicts: 408000 | #Constraints: 50823 3226.42/3234.38 c #Conflicts: 409000 | #Constraints: 51823 3226.42/3234.38 c #Conflicts: 410000 | #Constraints: 52823 3226.42/3234.38 c #Conflicts: 411000 | #Constraints: 53823 3226.42/3234.38 c #Conflicts: 412000 | #Constraints: 54823 3226.42/3234.38 c #Conflicts: 413000 | #Constraints: 55823 3226.42/3234.38 c #Conflicts: 414000 | #Constraints: 56823 3226.42/3234.38 c #Conflicts: 415000 | #Constraints: 57823 3226.42/3234.38 c #Conflicts: 416000 | #Constraints: 58823 3226.42/3234.38 c #Conflicts: 417000 | #Constraints: 59823 3226.42/3234.38 c #Conflicts: 418000 | #Constraints: 60823 3226.42/3234.38 c #Conflicts: 419000 | #Constraints: 61823 3226.42/3234.38 c #Conflicts: 420000 | #Constraints: 62823 3226.42/3234.38 c #Conflicts: 421000 | #Constraints: 63823 3226.42/3234.38 c #Conflicts: 422000 | #Constraints: 64823 3226.42/3234.38 c #Conflicts: 423000 | #Constraints: 65823 3226.42/3234.38 c #Conflicts: 424000 | #Constraints: 66823 3226.42/3234.38 c #Conflicts: 425000 | #Constraints: 67823 3226.42/3234.38 c #Conflicts: 426000 | #Constraints: 68823 3226.42/3234.38 c #Conflicts: 427000 | #Constraints: 69823 3226.42/3234.38 c #Conflicts: 428000 | #Constraints: 70823 3226.42/3234.38 c #Conflicts: 429000 | #Constraints: 71823 3226.42/3234.38 c #Conflicts: 430000 | #Constraints: 72823 3226.42/3234.38 c #Conflicts: 431000 | #Constraints: 73823 3226.42/3234.38 c #Conflicts: 432000 | #Constraints: 74823 3226.42/3234.38 c #Conflicts: 433000 | #Constraints: 75823 3226.42/3234.38 c #Conflicts: 434000 | #Constraints: 76823 3226.42/3234.38 c #Conflicts: 435000 | #Constraints: 77823 3226.42/3234.38 c #Conflicts: 436000 | #Constraints: 78823 3226.42/3234.38 c #Conflicts: 437000 | #Constraints: 79823 3226.42/3234.38 c #Conflicts: 438000 | #Constraints: 80823 3226.42/3234.38 c #Conflicts: 439000 | #Constraints: 81823 3226.42/3234.38 c #Conflicts: 440000 | #Constraints: 82823 3226.42/3234.38 c #Conflicts: 441000 | #Constraints: 83823 3226.42/3234.38 c #Conflicts: 442000 | #Constraints: 84823 3226.42/3234.38 c #Conflicts: 443000 | #Constraints: 85823 3226.42/3234.38 c #Conflicts: 444000 | #Constraints: 86823 3226.42/3234.38 c #Conflicts: 445000 | #Constraints: 87823 3226.42/3234.38 c #Conflicts: 446000 | #Constraints: 88823 3226.42/3234.38 c #Conflicts: 447000 | #Constraints: 89823 3226.42/3234.38 c #Conflicts: 448000 | #Constraints: 90823 3226.42/3234.38 c #Conflicts: 449000 | #Constraints: 91823 3226.42/3234.38 c bounds 22 >= 20 @ 3182.88 3226.42/3234.38 c #Conflicts: 450000 | #Constraints: 92853 3226.42/3234.38 c #Conflicts: 451000 | #Constraints: 93853 3226.42/3234.38 c INPROCESSING 3226.42/3234.38 c GARBAGE COLLECT 3226.42/3234.38 c rational objective 20 3332.57/3340.79 c #Conflicts: 452000 | #Constraints: 58794 3332.57/3340.79 c #Conflicts: 453000 | #Constraints: 59794 3332.57/3340.79 c #Conflicts: 454000 | #Constraints: 60794 3332.57/3340.79 c #Conflicts: 455000 | #Constraints: 61794 3332.57/3340.79 c #Conflicts: 456000 | #Constraints: 62794 3332.57/3340.79 c #Conflicts: 457000 | #Constraints: 63794 3332.57/3340.79 c #Conflicts: 458000 | #Constraints: 64794 3332.57/3340.79 c #Conflicts: 459000 | #Constraints: 65794 3332.57/3340.79 c #Conflicts: 460000 | #Constraints: 66794 3332.57/3340.79 c #Conflicts: 461000 | #Constraints: 67794 3332.57/3340.79 c #Conflicts: 462000 | #Constraints: 68794 3332.57/3340.79 c #Conflicts: 463000 | #Constraints: 69794 3332.57/3340.79 c #Conflicts: 464000 | #Constraints: 70794 3332.57/3340.79 c #Conflicts: 465000 | #Constraints: 71794 3332.57/3340.79 c INPROCESSING 3332.57/3340.79 c GARBAGE COLLECT 3332.57/3340.79 c rational objective 20 3379.66/3387.99 c #Conflicts: 466000 | #Constraints: 47697 3379.66/3387.99 c #Conflicts: 467000 | #Constraints: 48697 3379.66/3387.99 c #Conflicts: 468000 | #Constraints: 49697 3379.66/3387.99 c #Conflicts: 469000 | #Constraints: 50697 3379.66/3387.99 c #Conflicts: 470000 | #Constraints: 51697 3379.66/3387.99 c #Conflicts: 471000 | #Constraints: 52697 3379.66/3387.99 c #Conflicts: 472000 | #Constraints: 53697 3379.66/3387.99 c #Conflicts: 473000 | #Constraints: 54697 3379.66/3387.99 c #Conflicts: 474000 | #Constraints: 55697 3379.66/3387.99 c #Conflicts: 475000 | #Constraints: 56697 3379.66/3387.99 c #Conflicts: 476000 | #Constraints: 57697 3379.66/3387.99 c #Conflicts: 477000 | #Constraints: 58697 3379.66/3387.99 c #Conflicts: 478000 | #Constraints: 59697 3379.66/3387.99 c #Conflicts: 479000 | #Constraints: 60697 3379.66/3387.99 c #Conflicts: 480000 | #Constraints: 61697 3379.66/3387.99 c INPROCESSING 3379.66/3387.99 c GARBAGE COLLECT 3379.66/3387.99 c rational objective 20 3600.04/3608.80 c #Conflicts: 481000 | #Constraints: 42911 3600.04/3608.80 c #Conflicts: 482000 | #Constraints: 43911 3600.04/3608.80 c #Conflicts: 483000 | #Constraints: 44911 3600.04/3608.80 c #Conflicts: 484000 | #Constraints: 45911 3600.04/3608.80 c #Conflicts: 485000 | #Constraints: 46911 3600.04/3608.80 c #Conflicts: 486000 | #Constraints: 47911 3600.04/3608.80 c #Conflicts: 487000 | #Constraints: 48911 3600.04/3608.80 c #Conflicts: 488000 | #Constraints: 49911 3600.04/3608.80 c #Conflicts: 489000 | #Constraints: 50911 3600.04/3608.80 c #Conflicts: 490000 | #Constraints: 51911 3600.04/3608.80 c #Conflicts: 491000 | #Constraints: 52911 3600.04/3608.80 c #Conflicts: 492000 | #Constraints: 53911 3600.04/3608.80 c #Conflicts: 493000 | #Constraints: 54911 3600.04/3608.80 c #Conflicts: 494000 | #Constraints: 55911 3600.04/3608.80 c #Conflicts: 495000 | #Constraints: 56911 3600.04/3608.80 c #Conflicts: 496000 | #Constraints: 57911 3600.04/3608.80 c #Conflicts: 497000 | #Constraints: 58911 3600.04/3608.80 c bounds 21 >= 20 @ 3480.67 3600.04/3608.80 c #Conflicts: 498000 | #Constraints: 59912 3600.04/3608.80 c #Conflicts: 499000 | #Constraints: 60912 3600.04/3608.80 c #Conflicts: 500000 | #Constraints: 61912 3600.04/3608.80 c #Conflicts: 501000 | #Constraints: 62912 3600.04/3608.80 c #Conflicts: 502000 | #Constraints: 63912 3600.04/3608.80 c #Conflicts: 503000 | #Constraints: 64913 3600.04/3608.80 c #Conflicts: 504000 | #Constraints: 65913 3600.04/3608.80 c #Conflicts: 505000 | #Constraints: 66913 3600.04/3608.80 c #Conflicts: 506000 | #Constraints: 67913 3600.04/3608.80 c #Conflicts: 507000 | #Constraints: 68913 3600.04/3608.80 c #Conflicts: 508000 | #Constraints: 69913 3600.04/3608.80 c #Conflicts: 509000 | #Constraints: 70913 3600.04/3608.80 c #Conflicts: 510000 | #Constraints: 71913 3600.04/3608.80 c Program interrupted by user. 3600.04/3608.80 c cpu time 3584.96 s 3600.04/3608.80 c deterministic time 392541785735 3.93e+11 3600.04/3608.80 c optimization time 104.288 s 3600.04/3608.80 c total solve time 3480.62 s 3600.04/3608.80 c core-guided solve time 2297.59 s 3600.04/3608.80 c propagation time 2911.92 s 3600.04/3608.80 c conflict analysis time 591.738 s 3600.04/3608.80 c propagations 376809426 3600.04/3608.80 c resolve steps 32917006 3600.04/3608.80 c decisions 7152208 3600.04/3608.80 c conflicts 510880 3600.04/3608.80 c restarts 1022 3600.04/3608.80 c inprocessing phases 50 3600.04/3608.80 c input clauses 21441 3600.04/3608.80 c input cardinalities 41 3600.04/3608.80 c input general constraints 92 3600.04/3608.80 c input average constraint length 3.59 3600.04/3608.80 c input average constraint degree 1.49 3600.04/3608.80 c learned clauses 240921 3600.04/3608.80 c learned cardinalities 3406 3600.04/3608.80 c learned general constraints 266638 3600.04/3608.80 c learned average constraint length 800.34 3600.04/3608.80 c learned average constraint degree 58512532.90 3600.04/3608.80 c watched constraints 204881 3600.04/3608.80 c counting constraints 61849 3600.04/3608.80 c gcd simplifications 2091 3600.04/3608.80 c detected cardinalities 19 3600.04/3608.80 c weakened non-implied lits 43713896 3600.04/3608.80 c weakened non-implying lits 64606 3600.04/3608.80 c original variables 6076 3600.04/3608.80 c clausal propagations 302948292 3600.04/3608.80 c cardinality propagations 4167749 3600.04/3608.80 c watched propagations 8069007 3600.04/3608.80 c counting propagations 59659155 3600.04/3608.80 c watch lookups 47387398945 3600.04/3608.80 c watch backjump lookups 38571623114 3600.04/3608.80 c watch checks 292991619626 3600.04/3608.80 c propagation checks 11634312362 3600.04/3608.80 c constraint additions 1187754550 3600.04/3608.80 c trail pops 384468986 3600.04/3608.80 c formula constraints 21401 3600.04/3608.80 c learned constraints 510829 3600.04/3608.80 c bound constraints 26 3600.04/3608.80 c core-guided constraints 147 3600.04/3608.80 c encountered formula constraints 27082965 3600.04/3608.80 c encountered learned constraints 6152439 3600.04/3608.80 c encountered bound constraints 312 3600.04/3608.80 c encountered core-guided constraints 188746 3600.04/3608.80 c LP total time 157.887 s 3600.04/3608.80 c LP solve time 141.03 s 3600.04/3608.80 c LP constraints added 21643 3600.04/3608.80 c LP constraints removed 235 3600.04/3608.80 c LP pivots internal 511213 3600.04/3608.80 c LP pivots root 135304 3600.04/3608.80 c LP calls 436 3600.04/3608.80 c LP optimalities 378 3600.04/3608.80 c LP no pivot count 35 3600.04/3608.80 c LP infeasibilities 54 3600.04/3608.80 c LP valid Farkas constraints 54 3600.04/3608.80 c LP learned Farkas constraints 54 3600.04/3608.80 c LP basis resets 0 3600.04/3608.80 c LP cycling count 0 3600.04/3608.80 c LP singular count 0 3600.04/3608.80 c LP no primal count 0 3600.04/3608.80 c LP no farkas count 0 3600.04/3608.80 c LP other issue count 0 3600.04/3608.80 c LP Gomory cuts 28 3600.04/3608.80 c LP learned cuts 214 3600.04/3608.80 c LP deleted cuts 235 3600.04/3608.80 c LP encountered Gomory constraints 1 3600.04/3608.80 c LP encountered Farkas constraints 3177 3600.04/3608.80 c LP encountered learned Farkas constraints 192 3600.04/3608.80 c CG auxiliary variables introduced 54 3600.04/3608.80 c CG solutions found 11 3600.04/3608.80 c CG cores constructed 15 3600.04/3608.80 c CG core cardinality constraints returned 0 3600.04/3608.80 c CG unit cores 0 3600.04/3608.80 c CG single cores 15 3600.04/3608.80 c CG blocks removed during cardinality reduction 0 3600.04/3608.80 c CG first core best 0 3600.04/3608.80 c CG decision core best 0 3600.04/3608.80 c CG core reduction tie 0 3600.04/3608.80 c CG core degree average 1.00 3600.04/3608.80 c CG core slack average 45.73 3600.04/3608.80 s SATISFIABLE 3600.04/3608.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -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 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076
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 (61331 MiB free)
memory of node 1: 64473 MiB (60985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455225-1721461294/watcher-4455225-1721461294 -o /tmp/evaluation-result-4455225-1721461294/solver-4455225-1721461294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054629 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455225-1721461294.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
solver pid=1056615, runsolver pid=1056612
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.13 4.12 4.09 5/256 1056616
/proc/meminfo: memFree=125235948/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=51468 memory=22960 CPUtime=0.1 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 4907 0 0 0 8 2 0 0 20 0 1 0 198300265 52703232 5740 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 12867 5740 1771 922 0 4819 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51468 KiB
Current children cumulated memory: 22960 KiB
[startup+0.20574 s]*
/proc/loadavg: 4.13 4.12 4.09 5/256 1056616
/proc/meminfo: memFree=125234760/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=52664 memory=24016 CPUtime=0.2 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 5177 0 0 0 17 3 0 0 20 0 1 0 198300265 53927936 6004 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 13166 6004 1771 922 0 5118 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52664 KiB
Current children cumulated memory: 24016 KiB
[startup+0.305605 s]*
/proc/loadavg: 4.13 4.12 4.09 4/254 1056616
/proc/meminfo: memFree=125789676/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=52664 memory=24392 CPUtime=0.3 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 5274 0 0 0 26 4 0 0 20 0 1 0 198300265 53927936 6098 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 13166 6098 1801 922 0 5118 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52664 KiB
Current children cumulated memory: 24392 KiB
[startup+0.700241 s]
/proc/loadavg: 4.13 4.12 4.09 4/251 1056624
/proc/meminfo: memFree=125788292/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=57896 memory=29584 CPUtime=0.69 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 6029 0 0 0 64 5 0 0 20 0 1 0 198300265 59285504 7396 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 14474 7396 1801 922 0 6426 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57896 KiB
Current children cumulated memory: 29584 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.09 6/252 1056682
/proc/meminfo: memFree=126292124/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=67608 memory=39480 CPUtime=1.49 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 8234 0 0 0 140 9 0 0 20 0 1 0 198300265 69230592 9870 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 16902 9870 1817 922 0 8854 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67608 KiB
Current children cumulated memory: 39480 KiB
[startup+3.10551 s]
/proc/loadavg: 4.13 4.12 4.09 6/256 1056708
/proc/meminfo: memFree=125869008/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=68188 memory=40008 CPUtime=3.09 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 8322 0 0 0 298 11 0 0 20 0 1 0 198300265 69824512 10002 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 17047 10002 1817 922 0 8999 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68188 KiB
Current children cumulated memory: 40008 KiB
[startup+6.30108 s]
/proc/loadavg: 4.12 4.12 4.09 5/252 1056882
/proc/meminfo: memFree=126153896/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=79016 memory=50116 CPUtime=6.26 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 9732 0 0 0 610 16 0 0 20 0 1 0 198300265 80912384 12529 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 19754 12529 1870 922 0 11706 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 79016 KiB
Current children cumulated memory: 50116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1056893
/proc/meminfo: memFree=124589628/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=105324 memory=72344 CPUtime=12.64 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 13262 0 0 0 1237 27 0 0 20 0 1 0 198300265 107851776 18086 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 26331 18086 1870 922 0 18283 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 72344 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1056896
/proc/meminfo: memFree=119999880/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=114864 memory=82380 CPUtime=25.41 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 15718 0 0 0 2496 45 0 0 20 0 1 0 198300265 117620736 20595 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 28716 20595 1870 922 0 20668 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 114864 KiB
Current children cumulated memory: 82380 KiB
[startup+51.1055 s]
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=119052052/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=139584 memory=95912 CPUtime=50.94 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 17453 0 0 0 5009 85 0 0 20 0 1 0 198300265 142934016 23978 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 34896 23978 1870 922 0 26848 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 139584 KiB
Current children cumulated memory: 95912 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/257 1057139
/proc/meminfo: memFree=115750524/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=154260 memory=119880 CPUtime=102.03 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 20964 0 0 0 10055 148 0 0 20 0 1 0 198300265 157962240 29970 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 38565 29970 1870 922 0 30517 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 154260 KiB
Current children cumulated memory: 119880 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/257 1057151
/proc/meminfo: memFree=113876248/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=195568 memory=144248 CPUtime=161.9 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 24078 0 0 0 15938 252 0 0 20 0 1 0 198300265 200261632 36062 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 48892 36062 1870 922 0 40844 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 195568 KiB
Current children cumulated memory: 144248 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/255 1057162
/proc/meminfo: memFree=112277976/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=259852 memory=193808 CPUtime=221.75 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 27333 0 0 0 21881 294 0 0 20 0 1 0 198300265 266088448 48452 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 64963 48452 1870 922 0 56915 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 259852 KiB
Current children cumulated memory: 193808 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 1057172
/proc/meminfo: memFree=112075196/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=261308 memory=195288 CPUtime=281.6 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 27744 0 0 0 27793 367 0 0 20 0 1 0 198300265 267579392 48822 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 65327 48822 1870 922 0 57279 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 261308 KiB
Current children cumulated memory: 195288 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/255 1057182
/proc/meminfo: memFree=111487416/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=263472 memory=197824 CPUtime=341.46 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 28341 0 0 0 33720 426 0 0 20 0 1 0 198300265 269795328 49456 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 65868 49456 1870 922 0 57820 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 263472 KiB
Current children cumulated memory: 197824 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/255 1057195
/proc/meminfo: memFree=110511596/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=265688 memory=200096 CPUtime=401.31 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 28982 0 0 0 39630 501 0 0 20 0 1 0 198300265 272064512 50024 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 66422 50024 1870 922 0 58374 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 265688 KiB
Current children cumulated memory: 200096 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 1057205
/proc/meminfo: memFree=107547328/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=268692 memory=203148 CPUtime=461.16 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 29751 0 0 0 45563 553 0 0 20 0 1 0 198300265 275140608 50787 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 67173 50787 1870 922 0 59125 0
################
# More data... #
################
Current children cumulated memory: 512192 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/258 1058866
/proc/meminfo: memFree=120119804/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=634280 memory=515216 CPUtime=2855.32 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 67789 0 0 0 284203 1329 0 0 20 0 1 0 198300265 649502720 128804 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 158570 128804 1870 922 0 150522 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 634280 KiB
Current children cumulated memory: 515216 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/259 1058936
/proc/meminfo: memFree=120131316/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=639512 memory=519276 CPUtime=2915.17 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 68840 0 0 0 290180 1337 0 0 20 0 1 0 198300265 654860288 129819 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 159878 129819 1870 922 0 151830 0
Current children cumulated CPU time: 2915.17 s
Current children cumulated vsize: 639512 KiB
Current children cumulated memory: 519276 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/259 1058947
/proc/meminfo: memFree=120058276/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=643356 memory=522008 CPUtime=2975.02 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 69568 0 0 0 296159 1343 0 0 20 0 1 0 198300265 658796544 130502 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 160839 130502 1870 922 0 152791 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 643356 KiB
Current children cumulated memory: 522008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.13 6/259 1058958
/proc/meminfo: memFree=120051412/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=650332 memory=526352 CPUtime=3034.88 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 70708 0 0 0 302138 1350 0 0 20 0 1 0 198300265 665939968 131588 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 162583 131588 1870 922 0 154535 0
Current children cumulated CPU time: 3034.88 s
Current children cumulated vsize: 650332 KiB
Current children cumulated memory: 526352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/259 1058968
/proc/meminfo: memFree=119882732/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=651868 memory=527576 CPUtime=3094.75 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 71051 0 0 0 308119 1356 0 0 20 0 1 0 198300265 667512832 131894 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 162967 131894 1870 922 0 154919 0
Current children cumulated CPU time: 3094.75 s
Current children cumulated vsize: 651868 KiB
Current children cumulated memory: 527576 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/257 1058979
/proc/meminfo: memFree=119826348/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=652892 memory=528660 CPUtime=3154.6 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 71382 0 0 0 314096 1364 0 0 20 0 1 0 198300265 668561408 132165 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 163223 132165 1870 922 0 155175 0
Current children cumulated CPU time: 3154.6 s
Current children cumulated vsize: 652892 KiB
Current children cumulated memory: 528660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/254 1058989
/proc/meminfo: memFree=119815828/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=656852 memory=538264 CPUtime=3214.46 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 72302 0 0 0 320075 1371 0 0 20 0 1 0 198300265 672616448 134566 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164213 134566 1870 922 0 156165 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 656852 KiB
Current children cumulated memory: 538264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/254 1058999
/proc/meminfo: memFree=119726556/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546352 CPUtime=3274.31 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 72834 0 0 0 326042 1389 0 0 20 0 1 0 198300265 674750464 136588 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136588 1870 922 0 156686 0
Current children cumulated CPU time: 3274.31 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/255 1059010
/proc/meminfo: memFree=119696800/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546352 CPUtime=3334.17 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 72862 0 0 0 332005 1412 0 0 20 0 1 0 198300265 674750464 136588 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136588 1870 922 0 156686 0
Current children cumulated CPU time: 3334.17 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/255 1059021
/proc/meminfo: memFree=119643224/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546496 CPUtime=3394.03 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 72914 0 0 0 337956 1447 0 0 20 0 1 0 198300265 674750464 136624 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136624 1870 922 0 156686 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/255 1059031
/proc/meminfo: memFree=119363136/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546496 CPUtime=3453.89 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 72940 0 0 0 343922 1467 0 0 20 0 1 0 198300265 674750464 136624 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136624 1870 922 0 156686 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/258 1059046
/proc/meminfo: memFree=119086384/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546496 CPUtime=3513.74 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 72992 0 0 0 349889 1485 0 0 20 0 1 0 198300265 674750464 136624 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136624 1870 922 0 156686 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/258 1059057
/proc/meminfo: memFree=119059788/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546496 CPUtime=3573.6 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 73030 0 0 0 355859 1501 0 0 20 0 1 0 198300265 674750464 136624 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136624 1870 922 0 156686 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1059063
/proc/meminfo: memFree=119022240/131524600 swapFree=131071996/131071996
[pid=1056615] ppid=1056612 vsize=658936 memory=546496 CPUtime=3600.04 cores=4,6
/proc/1056615/stat : 1056615 (roundingsat) R 1056612 1056615 1054618 0 -1 4194304 73059 0 0 0 358495 1509 0 0 20 0 1 0 198300265 674750464 136624 134679101440 4194304 7968373 140722614018640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31436800 140722614027196 140722614027360 140722614027360 140722614034377 0
/proc/1056615/statm: 164734 136624 1870 922 0 156686 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 658936 KiB
Current children cumulated memory: 546496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.82 s]
# the end of solver process 1056615 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.96 s, system=15.1062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.82
CPU time (s): 3600.07
CPU user time (s): 3584.96
CPU system time (s): 15.1062
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (KiB): 658936
Max. memory (cumulated for all children) (KiB): 546496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.96
system time used= 15.1062
maximum resident set size= 546824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73076
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= 31
involuntary context switches= 3261
# summary of solver processes directly reported to runsolver:
# pid: 1056615
# total CPU time (s): 3600.07
# total CPU user time (s): 3584.96
# total CPU system time (s): 15.1062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80244 second user time and 17.0458 second system time
The end
Begin job on nodeC035 at 2024-07-20 09:41:47 IDJOB=4455225 IDBENCH=148194 IDSOLVER=3084 FILE ID=nodeC035/4455225-1721461294 RUNJOBID= nodeC035-1721457697-1054629 SLURM_JOB_ID= 7545698 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.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-4455225-1721461294/watcher-4455225-1721461294 -o /tmp/evaluation-result-4455225-1721461294/solver-4455225-1721461294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054629 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455225-1721461294.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9 RANDOM SEED=1137158924 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.618 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.65 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 : 3692.185 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3615.064 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.65 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 : 3600.889 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3628.848 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.65 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 : 3692.241 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.372 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.65 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 : 3600.090 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125252668 kB MemAvailable: 128000760 kB Buffers: 568196 kB Cached: 2997592 kB SwapCached: 0 kB Active: 1065360 kB Inactive: 4528280 kB Active(anon): 1560 kB Inactive(anon): 2072200 kB Active(file): 1063800 kB Inactive(file): 2456080 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5592 kB Writeback: 20 kB AnonPages: 2024472 kB Mapped: 118524 kB Shmem: 45916 kB KReclaimable: 136068 kB Slab: 253968 kB SReclaimable: 136068 kB SUnreclaim: 117900 kB KernelStack: 4144 kB PageTables: 13656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2694844 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74176 kB HardwareCorrupted: 0 kB AnonHugePages: 1867776 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: 207572 kB DirectMap2M: 19488768 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 889940 MiB End job on nodeC035 at 2024-07-20 10:41:56