| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | OPT | 50769 | 1728.14 | 1732.49 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | ec773b047bf21dab87650e27deaa6768 |
| 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 | 50769 |
| Best CPU time to get the best result obtained on this benchmark | 12.3979 |
| 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 | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| 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.02 c #variables 3945 #constraints 8582 2.98/3.09 c bounds - >= 2802 @ 0.013989 2.98/3.09 c bounds 55914 >= 2802 @ 0.121877 2.98/3.09 c #Conflicts: 1000 | #Constraints: 9582 2.98/3.09 c #Conflicts: 2000 | #Constraints: 10584 2.98/3.09 c INPROCESSING 2.98/3.09 c GARBAGE COLLECT 2.98/3.09 c bounds 55732 >= 2802 @ 1.3091 2.98/3.09 c bounds 55331 >= 2802 @ 1.613 2.98/3.09 c #Conflicts: 3000 | #Constraints: 9537 2.98/3.09 c bounds 54986 >= 2802 @ 2.20651 2.98/3.09 c #Conflicts: 4000 | #Constraints: 10551 2.98/3.09 c INPROCESSING 2.98/3.09 c GARBAGE COLLECT 2.98/3.09 c rational objective 49519.9 4.98/5.07 c #Conflicts: 5000 | #Constraints: 9956 4.98/5.07 c #Conflicts: 6000 | #Constraints: 10967 4.98/5.07 c INPROCESSING 4.98/5.07 c GARBAGE COLLECT 4.98/5.07 c rational objective 49731.5 7.38/7.47 c bounds 54977 >= 2802 @ 5.0171 7.38/7.47 c bounds 54933 >= 2802 @ 5.04151 7.38/7.47 c #Conflicts: 7000 | #Constraints: 9975 7.38/7.47 c bounds 54672 >= 2802 @ 5.30233 7.38/7.47 c bounds 54268 >= 2802 @ 5.89584 7.38/7.47 c #Conflicts: 8000 | #Constraints: 10991 7.38/7.47 c #Conflicts: 9000 | #Constraints: 12000 7.38/7.47 c bounds 54039 >= 2802 @ 6.69337 7.38/7.47 c bounds 53981 >= 2802 @ 6.70444 7.38/7.47 c INPROCESSING 7.38/7.47 c GARBAGE COLLECT 7.38/7.47 c rational objective 49836.8 12.06/12.11 c #Conflicts: 10000 | #Constraints: 10684 12.06/12.11 c #Conflicts: 11000 | #Constraints: 12187 12.06/12.11 c #Conflicts: 12000 | #Constraints: 13425 12.06/12.11 c INPROCESSING 12.06/12.11 c GARBAGE COLLECT 12.06/12.11 c rational objective 49841.5 16.45/16.57 c bounds 53865 >= 2802 @ 11.9418 16.45/16.57 c #Conflicts: 13000 | #Constraints: 11492 16.45/16.57 c bounds 53462 >= 2802 @ 14.1587 16.45/16.57 c #Conflicts: 14000 | #Constraints: 12496 16.45/16.57 c #Conflicts: 15000 | #Constraints: 13502 16.45/16.57 c INPROCESSING 16.45/16.57 c GARBAGE COLLECT 16.45/16.57 c rational objective 49858.9 24.13/24.24 c #Conflicts: 16000 | #Constraints: 11742 24.13/24.24 c #Conflicts: 17000 | #Constraints: 13619 24.13/24.24 c bounds 53178 >= 2802 @ 23.2624 24.13/24.24 WSVECS04 Frhs2[627]: 6 -1794 0 shouldn't be 24.13/24.24 WSVECS04 Frhs2[1662]: 6 -1811 0 shouldn't be 24.13/24.24 WSVECS04 Frhs2[3853]: 6 -1549 0 shouldn't be 28.02/28.15 c #Conflicts: 18000 | #Constraints: 15343 28.02/28.15 c INPROCESSING 28.02/28.15 c GARBAGE COLLECT 28.02/28.15 c #Conflicts: 19000 | #Constraints: 12345 28.02/28.15 c #Conflicts: 20000 | #Constraints: 13345 28.02/28.15 c #Conflicts: 21000 | #Constraints: 14345 28.02/28.15 c INPROCESSING 28.02/28.15 c GARBAGE COLLECT 28.02/28.15 c rational objective 49860.7 32.41/32.56 c #Conflicts: 22000 | #Constraints: 11649 32.41/32.56 c bounds 53048 >= 2802 @ 27.7614 32.41/32.56 c bounds 52499 >= 2802 @ 28.7374 32.41/32.56 c #Conflicts: 23000 | #Constraints: 12836 32.41/32.56 c #Conflicts: 24000 | #Constraints: 13846 32.41/32.56 c #Conflicts: 25000 | #Constraints: 14850 32.41/32.56 c INPROCESSING 32.41/32.56 c GARBAGE COLLECT 32.41/32.56 c rational objective 49900.9 43.38/43.53 c #Conflicts: 26000 | #Constraints: 12337 43.38/43.53 c #Conflicts: 27000 | #Constraints: 13854 43.38/43.53 c #Conflicts: 28000 | #Constraints: 14874 43.38/43.53 c #Conflicts: 29000 | #Constraints: 15896 43.38/43.53 c INPROCESSING 43.38/43.53 c GARBAGE COLLECT 43.38/43.53 c rational objective 49901.4 54.75/54.93 c #Conflicts: 30000 | #Constraints: 13128 54.75/54.93 c #Conflicts: 31000 | #Constraints: 14705 54.75/54.93 c #Conflicts: 32000 | #Constraints: 16198 54.75/54.93 c #Conflicts: 33000 | #Constraints: 17673 54.75/54.93 c INPROCESSING 54.75/54.93 c GARBAGE COLLECT 54.75/54.93 c rational objective 49901.4 65.22/65.46 c #Conflicts: 34000 | #Constraints: 13739 65.22/65.46 c #Conflicts: 35000 | #Constraints: 15115 65.22/65.46 c #Conflicts: 36000 | #Constraints: 16192 65.22/65.46 c #Conflicts: 37000 | #Constraints: 17329 65.22/65.46 c INPROCESSING 65.22/65.46 c GARBAGE COLLECT 65.22/65.46 c rational objective 49901.6 70.31/70.56 c bounds 52311 >= 2802 @ 65.2872 70.31/70.56 c #Conflicts: 38000 | #Constraints: 13512 70.31/70.56 c #Conflicts: 39000 | #Constraints: 14512 70.31/70.56 c #Conflicts: 40000 | #Constraints: 15512 70.31/70.56 c #Conflicts: 41000 | #Constraints: 16512 70.31/70.56 c INPROCESSING 70.31/70.56 c GARBAGE COLLECT 70.31/70.56 c rational objective 49902.7 82.08/82.37 c #Conflicts: 42000 | #Constraints: 12910 82.08/82.37 c #Conflicts: 43000 | #Constraints: 13958 82.08/82.37 c #Conflicts: 44000 | #Constraints: 15316 82.08/82.37 c #Conflicts: 45000 | #Constraints: 16848 82.08/82.37 c #Conflicts: 46000 | #Constraints: 17940 82.08/82.37 c INPROCESSING 82.08/82.37 c GARBAGE COLLECT 82.08/82.37 c rational objective 49903.4 90.16/90.49 c #Conflicts: 47000 | #Constraints: 13735 90.16/90.49 c #Conflicts: 48000 | #Constraints: 14738 90.16/90.49 c #Conflicts: 49000 | #Constraints: 15740 90.16/90.49 c #Conflicts: 50000 | #Constraints: 16740 90.16/90.49 c #Conflicts: 51000 | #Constraints: 17743 90.16/90.49 c INPROCESSING 90.16/90.49 c GARBAGE COLLECT 90.16/90.49 c rational objective 49905.4 100.43/100.71 c #Conflicts: 52000 | #Constraints: 14020 100.43/100.71 c #Conflicts: 53000 | #Constraints: 15449 100.43/100.71 c #Conflicts: 54000 | #Constraints: 16483 100.43/100.71 c #Conflicts: 55000 | #Constraints: 17484 100.43/100.71 c #Conflicts: 56000 | #Constraints: 18711 100.43/100.71 c INPROCESSING 100.43/100.71 c GARBAGE COLLECT 100.43/100.71 c rational objective 49905.6 108.12/108.44 c #Conflicts: 57000 | #Constraints: 14140 108.12/108.44 c #Conflicts: 58000 | #Constraints: 15140 108.12/108.44 c #Conflicts: 59000 | #Constraints: 16140 108.12/108.44 c #Conflicts: 60000 | #Constraints: 17140 108.12/108.44 c #Conflicts: 61000 | #Constraints: 18141 108.12/108.44 c INPROCESSING 108.12/108.44 c GARBAGE COLLECT 108.12/108.44 c rational objective 49917.4 121.59/121.99 c #Conflicts: 62000 | #Constraints: 13897 121.59/121.99 c #Conflicts: 63000 | #Constraints: 15140 121.59/121.99 c #Conflicts: 64000 | #Constraints: 16676 121.59/121.99 c #Conflicts: 65000 | #Constraints: 18305 121.59/121.99 c #Conflicts: 66000 | #Constraints: 20075 121.59/121.99 c INPROCESSING 121.59/121.99 c GARBAGE COLLECT 121.59/121.99 c rational objective 49966.7 136.44/136.83 c #Conflicts: 67000 | #Constraints: 15053 136.44/136.83 c #Conflicts: 68000 | #Constraints: 16224 136.44/136.83 c #Conflicts: 69000 | #Constraints: 17230 136.44/136.83 c #Conflicts: 70000 | #Constraints: 18237 136.44/136.83 c #Conflicts: 71000 | #Constraints: 19306 136.44/136.83 c #Conflicts: 72000 | #Constraints: 20378 136.44/136.83 c INPROCESSING 136.44/136.83 c GARBAGE COLLECT 136.44/136.83 c rational objective 49996.9 148.71/149.11 c #Conflicts: 73000 | #Constraints: 14972 148.71/149.11 c #Conflicts: 74000 | #Constraints: 16251 148.71/149.11 c #Conflicts: 75000 | #Constraints: 17271 148.71/149.11 c bounds 51901 >= 2802 @ 139.5 148.71/149.11 c #Conflicts: 76000 | #Constraints: 18290 148.71/149.11 c #Conflicts: 77000 | #Constraints: 19293 148.71/149.11 c #Conflicts: 78000 | #Constraints: 20296 148.71/149.11 c INPROCESSING 148.71/149.11 c GARBAGE COLLECT 148.71/149.11 c rational objective 49940.4 162.08/162.55 c bounds 51561 >= 2802 @ 146.412 162.08/162.55 c #Conflicts: 79000 | #Constraints: 15267 162.08/162.55 c #Conflicts: 80000 | #Constraints: 16885 162.08/162.55 c #Conflicts: 81000 | #Constraints: 18395 162.08/162.55 c #Conflicts: 82000 | #Constraints: 19959 162.08/162.55 c #Conflicts: 83000 | #Constraints: 21035 162.08/162.55 c #Conflicts: 84000 | #Constraints: 22169 162.08/162.55 c INPROCESSING 162.08/162.55 c GARBAGE COLLECT 162.08/162.55 c rational objective 49942 184.63/185.15 c #Conflicts: 85000 | #Constraints: 16517 184.63/185.15 c #Conflicts: 86000 | #Constraints: 18191 184.63/185.15 c #Conflicts: 87000 | #Constraints: 19929 184.63/185.15 c #Conflicts: 88000 | #Constraints: 21658 184.63/185.15 c #Conflicts: 89000 | #Constraints: 23291 184.63/185.15 c #Conflicts: 90000 | #Constraints: 24848 184.63/185.15 c INPROCESSING 184.63/185.15 c GARBAGE COLLECT 184.63/185.15 c rational objective 50038.5 197.09/197.67 c #Conflicts: 91000 | #Constraints: 17461 197.09/197.67 c #Conflicts: 92000 | #Constraints: 18737 197.09/197.67 c #Conflicts: 93000 | #Constraints: 19759 197.09/197.67 c bounds 51433 >= 2802 @ 188.257 197.09/197.67 c #Conflicts: 94000 | #Constraints: 20777 197.09/197.67 c #Conflicts: 95000 | #Constraints: 21790 197.09/197.67 c #Conflicts: 96000 | #Constraints: 22810 197.09/197.67 c INPROCESSING 197.09/197.67 c GARBAGE COLLECT 197.09/197.67 c rational objective 49957.3 211.46/212.10 c #Conflicts: 97000 | #Constraints: 15952 211.46/212.10 c #Conflicts: 98000 | #Constraints: 17318 211.46/212.10 c #Conflicts: 99000 | #Constraints: 18508 211.46/212.10 c #Conflicts: 100000 | #Constraints: 19678 211.46/212.10 c #Conflicts: 101000 | #Constraints: 21010 211.46/212.10 c #Conflicts: 102000 | #Constraints: 22237 211.46/212.10 c #Conflicts: 103000 | #Constraints: 23269 211.46/212.10 c INPROCESSING 211.46/212.10 c GARBAGE COLLECT 211.46/212.10 c rational objective 49959.4 227.31/227.99 c #Conflicts: 104000 | #Constraints: 16358 227.31/227.99 c #Conflicts: 105000 | #Constraints: 17362 227.31/227.99 c #Conflicts: 106000 | #Constraints: 18401 227.31/227.99 c #Conflicts: 107000 | #Constraints: 19411 227.31/227.99 c #Conflicts: 108000 | #Constraints: 20414 227.31/227.99 c #Conflicts: 109000 | #Constraints: 21476 227.31/227.99 c #Conflicts: 110000 | #Constraints: 22484 227.31/227.99 c INPROCESSING 227.31/227.99 c GARBAGE COLLECT 227.31/227.99 c rational objective 49960.2 250.65/251.36 c #Conflicts: 111000 | #Constraints: 16415 250.65/251.36 c #Conflicts: 112000 | #Constraints: 17444 250.65/251.36 c #Conflicts: 113000 | #Constraints: 18453 250.65/251.36 c #Conflicts: 114000 | #Constraints: 19516 250.65/251.36 c #Conflicts: 115000 | #Constraints: 20544 250.65/251.36 c #Conflicts: 116000 | #Constraints: 21547 250.65/251.36 c #Conflicts: 117000 | #Constraints: 22554 250.65/251.36 c INPROCESSING 250.65/251.36 c GARBAGE COLLECT 250.65/251.36 c rational objective 49960.3 266.32/267.03 c bounds 50934 >= 2802 @ 247.41 266.32/267.03 c #Conflicts: 118000 | #Constraints: 16165 266.32/267.03 c #Conflicts: 119000 | #Constraints: 17231 266.32/267.03 c #Conflicts: 120000 | #Constraints: 18478 266.32/267.03 c #Conflicts: 121000 | #Constraints: 19482 266.32/267.03 c #Conflicts: 122000 | #Constraints: 20526 266.32/267.03 c #Conflicts: 123000 | #Constraints: 21668 266.32/267.03 c #Conflicts: 124000 | #Constraints: 23259 266.32/267.03 c INPROCESSING 266.32/267.03 c GARBAGE COLLECT 266.32/267.03 c rational objective 49960.5 298.83/299.69 c #Conflicts: 125000 | #Constraints: 17159 298.83/299.69 c #Conflicts: 126000 | #Constraints: 18610 298.83/299.69 c #Conflicts: 127000 | #Constraints: 19697 298.83/299.69 c #Conflicts: 128000 | #Constraints: 20837 298.83/299.69 c #Conflicts: 129000 | #Constraints: 21850 298.83/299.69 c #Conflicts: 130000 | #Constraints: 22947 298.83/299.69 c #Conflicts: 131000 | #Constraints: 24223 298.83/299.69 c INPROCESSING 298.83/299.69 c GARBAGE COLLECT 298.83/299.69 c rational objective 49961.2 328.16/329.00 c #Conflicts: 132000 | #Constraints: 16786 328.16/329.00 c #Conflicts: 133000 | #Constraints: 18504 328.16/329.00 c #Conflicts: 134000 | #Constraints: 19519 328.16/329.00 c #Conflicts: 135000 | #Constraints: 20524 328.16/329.00 c #Conflicts: 136000 | #Constraints: 21542 328.16/329.00 c #Conflicts: 137000 | #Constraints: 22598 328.16/329.00 c #Conflicts: 138000 | #Constraints: 23615 328.16/329.00 c #Conflicts: 139000 | #Constraints: 24623 328.16/329.00 c INPROCESSING 328.16/329.00 c GARBAGE COLLECT 328.16/329.00 c rational objective 49963.6 341.12/342.03 c #Conflicts: 140000 | #Constraints: 17178 341.12/342.03 c #Conflicts: 141000 | #Constraints: 18280 341.12/342.03 c #Conflicts: 142000 | #Constraints: 19283 341.12/342.03 c #Conflicts: 143000 | #Constraints: 20434 341.12/342.03 c #Conflicts: 144000 | #Constraints: 21434 341.12/342.03 c #Conflicts: 145000 | #Constraints: 22448 341.12/342.03 c #Conflicts: 146000 | #Constraints: 23456 341.12/342.03 c #Conflicts: 147000 | #Constraints: 24464 341.12/342.03 c INPROCESSING 341.12/342.03 c GARBAGE COLLECT 341.12/342.03 c rational objective 49960.4 353.29/354.26 c #Conflicts: 148000 | #Constraints: 17165 353.29/354.26 c #Conflicts: 149000 | #Constraints: 18244 353.29/354.26 c #Conflicts: 150000 | #Constraints: 19245 353.29/354.26 c #Conflicts: 151000 | #Constraints: 20248 353.29/354.26 c #Conflicts: 152000 | #Constraints: 21251 353.29/354.26 c bounds 50806 >= 2802 @ 344.376 353.29/354.26 c #Conflicts: 153000 | #Constraints: 22265 353.29/354.26 c #Conflicts: 154000 | #Constraints: 23272 353.29/354.26 c #Conflicts: 155000 | #Constraints: 24281 353.29/354.26 c INPROCESSING 353.29/354.26 c GARBAGE COLLECT 353.29/354.26 c rational objective 49960.5 377.93/378.97 c #Conflicts: 156000 | #Constraints: 17066 377.93/378.97 c #Conflicts: 157000 | #Constraints: 18108 377.93/378.97 c #Conflicts: 158000 | #Constraints: 19109 377.93/378.97 c #Conflicts: 159000 | #Constraints: 20110 377.93/378.97 c #Conflicts: 160000 | #Constraints: 21113 377.93/378.97 c #Conflicts: 161000 | #Constraints: 22117 377.93/378.97 c #Conflicts: 162000 | #Constraints: 23122 377.93/378.97 c #Conflicts: 163000 | #Constraints: 24127 377.93/378.97 c INPROCESSING 377.93/378.97 c GARBAGE COLLECT 377.93/378.97 c rational objective 49965.8 413.74/414.87 c #Conflicts: 164000 | #Constraints: 16783 413.74/414.87 c #Conflicts: 165000 | #Constraints: 18434 413.74/414.87 c #Conflicts: 166000 | #Constraints: 20153 413.74/414.87 c #Conflicts: 167000 | #Constraints: 21427 413.74/414.87 c #Conflicts: 168000 | #Constraints: 22483 413.74/414.87 c #Conflicts: 169000 | #Constraints: 23490 413.74/414.87 c #Conflicts: 170000 | #Constraints: 24839 413.74/414.87 c #Conflicts: 171000 | #Constraints: 26114 413.74/414.87 c INPROCESSING 413.74/414.87 c GARBAGE COLLECT 413.74/414.87 c #Conflicts: 172000 | #Constraints: 17539 413.74/414.87 c #Conflicts: 173000 | #Constraints: 18539 413.74/414.87 c #Conflicts: 174000 | #Constraints: 19539 413.74/414.87 c #Conflicts: 175000 | #Constraints: 20540 413.74/414.87 c #Conflicts: 176000 | #Constraints: 21552 413.74/414.87 c #Conflicts: 177000 | #Constraints: 22565 413.74/414.87 c #Conflicts: 178000 | #Constraints: 23581 413.74/414.87 c #Conflicts: 179000 | #Constraints: 24593 413.74/414.87 c #Conflicts: 180000 | #Constraints: 25602 413.74/414.87 c INPROCESSING 413.74/414.87 c GARBAGE COLLECT 413.74/414.87 c rational objective 49961.5 427.50/428.63 c #Conflicts: 181000 | #Constraints: 17528 427.50/428.63 c #Conflicts: 182000 | #Constraints: 18534 427.50/428.63 c #Conflicts: 183000 | #Constraints: 19536 427.50/428.63 c #Conflicts: 184000 | #Constraints: 20536 427.50/428.63 c #Conflicts: 185000 | #Constraints: 21537 427.50/428.63 c #Conflicts: 186000 | #Constraints: 22550 427.50/428.63 c #Conflicts: 187000 | #Constraints: 23567 427.50/428.63 c #Conflicts: 188000 | #Constraints: 24578 427.50/428.63 c bounds 50769 >= 2802 @ 420.083 427.50/428.63 c #Conflicts: 189000 | #Constraints: 25592 427.50/428.63 c INPROCESSING 427.50/428.63 c GARBAGE COLLECT 427.50/428.63 c rational objective 49964.5 460.12/461.32 c #Conflicts: 190000 | #Constraints: 17602 460.12/461.32 c #Conflicts: 191000 | #Constraints: 18738 460.12/461.32 c #Conflicts: 192000 | #Constraints: 19742 460.12/461.32 c #Conflicts: 193000 | #Constraints: 20744 460.12/461.32 c #Conflicts: 194000 | #Constraints: 21891 460.12/461.32 c #Conflicts: 195000 | #Constraints: 22904 460.12/461.32 c #Conflicts: 196000 | #Constraints: 23905 460.12/461.32 c #Conflicts: 197000 | #Constraints: 24912 460.12/461.32 c #Conflicts: 198000 | #Constraints: 25923 460.12/461.32 c INPROCESSING 460.12/461.32 c GARBAGE COLLECT 460.12/461.32 c rational objective 49966.2 511.69/513.10 c #Conflicts: 199000 | #Constraints: 18245 511.69/513.10 c #Conflicts: 200000 | #Constraints: 19509 511.69/513.10 c #Conflicts: 201000 | #Constraints: 20519 511.69/513.10 c #Conflicts: 202000 | #Constraints: 21536 511.69/513.10 c #Conflicts: 203000 | #Constraints: 22555 511.69/513.10 c #Conflicts: 204000 | #Constraints: 23576 511.69/513.10 c #Conflicts: 205000 | #Constraints: 24597 511.69/513.10 c #Conflicts: 206000 | #Constraints: 25611 511.69/513.10 c #Conflicts: 207000 | #Constraints: 26621 511.69/513.10 c INPROCESSING 511.69/513.10 c GARBAGE COLLECT 511.69/513.10 c rational objective 49967.4 551.88/553.30 c #Conflicts: 208000 | #Constraints: 18044 551.88/553.30 c #Conflicts: 209000 | #Constraints: 19046 551.88/553.30 c #Conflicts: 210000 | #Constraints: 20058 551.88/553.30 c #Conflicts: 211000 | #Constraints: 21059 551.88/553.30 c #Conflicts: 212000 | #Constraints: 22060 551.88/553.30 c #Conflicts: 213000 | #Constraints: 23061 551.88/553.30 c #Conflicts: 214000 | #Constraints: 24064 551.88/553.30 c #Conflicts: 215000 | #Constraints: 25065 551.88/553.30 c #Conflicts: 216000 | #Constraints: 26070 551.88/553.30 c INPROCESSING 551.88/553.30 c GARBAGE COLLECT 551.88/553.30 c rational objective 49980 588.29/589.86 c #Conflicts: 217000 | #Constraints: 17604 588.29/589.86 c #Conflicts: 218000 | #Constraints: 19132 588.29/589.86 c #Conflicts: 219000 | #Constraints: 20353 588.29/589.86 c #Conflicts: 220000 | #Constraints: 21374 588.29/589.86 c #Conflicts: 221000 | #Constraints: 22375 588.29/589.86 c #Conflicts: 222000 | #Constraints: 23380 588.29/589.86 c #Conflicts: 223000 | #Constraints: 24400 588.29/589.86 c #Conflicts: 224000 | #Constraints: 25414 588.29/589.86 c #Conflicts: 225000 | #Constraints: 26427 588.29/589.86 c #Conflicts: 226000 | #Constraints: 27442 588.29/589.86 c INPROCESSING 588.29/589.86 c GARBAGE COLLECT 588.29/589.86 c rational objective 49971.5 612.23/613.83 c #Conflicts: 227000 | #Constraints: 18494 612.23/613.83 c #Conflicts: 228000 | #Constraints: 19621 612.23/613.83 c #Conflicts: 229000 | #Constraints: 20622 612.23/613.83 c #Conflicts: 230000 | #Constraints: 21622 612.23/613.83 c #Conflicts: 231000 | #Constraints: 22623 612.23/613.83 c #Conflicts: 232000 | #Constraints: 23634 612.23/613.83 c #Conflicts: 233000 | #Constraints: 24648 612.23/613.83 c #Conflicts: 234000 | #Constraints: 25657 612.23/613.83 c #Conflicts: 235000 | #Constraints: 26666 612.23/613.83 c #Conflicts: 236000 | #Constraints: 27674 612.23/613.83 c INPROCESSING 612.23/613.83 c GARBAGE COLLECT 612.23/613.83 c rational objective 49971.5 666.09/667.89 c #Conflicts: 237000 | #Constraints: 18677 666.09/667.89 c #Conflicts: 238000 | #Constraints: 19679 666.09/667.89 c #Conflicts: 239000 | #Constraints: 20681 666.09/667.89 c #Conflicts: 240000 | #Constraints: 21682 666.09/667.89 c #Conflicts: 241000 | #Constraints: 22684 666.09/667.89 c #Conflicts: 242000 | #Constraints: 23685 666.09/667.89 c #Conflicts: 243000 | #Constraints: 24687 666.09/667.89 c #Conflicts: 244000 | #Constraints: 25687 666.09/667.89 c #Conflicts: 245000 | #Constraints: 26693 666.09/667.89 c #Conflicts: 246000 | #Constraints: 27695 666.09/667.89 c INPROCESSING 666.09/667.89 c GARBAGE COLLECT 666.09/667.89 c rational objective 49975.5 727.53/729.44 c #Conflicts: 247000 | #Constraints: 18656 727.53/729.44 c #Conflicts: 248000 | #Constraints: 19960 727.53/729.44 c #Conflicts: 249000 | #Constraints: 20982 727.53/729.44 c #Conflicts: 250000 | #Constraints: 21989 727.53/729.44 c #Conflicts: 251000 | #Constraints: 22991 727.53/729.44 c #Conflicts: 252000 | #Constraints: 23996 727.53/729.44 c #Conflicts: 253000 | #Constraints: 25002 727.53/729.44 c #Conflicts: 254000 | #Constraints: 26013 727.53/729.44 c #Conflicts: 255000 | #Constraints: 27022 727.53/729.44 c #Conflicts: 256000 | #Constraints: 28028 727.53/729.44 c INPROCESSING 727.53/729.44 c GARBAGE COLLECT 727.53/729.44 c rational objective 49972.2 776.71/778.71 c #Conflicts: 257000 | #Constraints: 18901 776.71/778.71 c #Conflicts: 258000 | #Constraints: 19907 776.71/778.71 c #Conflicts: 259000 | #Constraints: 20918 776.71/778.71 c #Conflicts: 260000 | #Constraints: 21922 776.71/778.71 c #Conflicts: 261000 | #Constraints: 22924 776.71/778.71 c #Conflicts: 262000 | #Constraints: 23924 776.71/778.71 c #Conflicts: 263000 | #Constraints: 24928 776.71/778.71 c #Conflicts: 264000 | #Constraints: 25929 776.71/778.71 c #Conflicts: 265000 | #Constraints: 26929 776.71/778.71 c #Conflicts: 266000 | #Constraints: 27932 776.71/778.71 c INPROCESSING 776.71/778.71 c GARBAGE COLLECT 776.71/778.71 c rational objective 49972.2 817.31/819.45 c #Conflicts: 267000 | #Constraints: 18601 817.31/819.45 c #Conflicts: 268000 | #Constraints: 19731 817.31/819.45 c #Conflicts: 269000 | #Constraints: 20732 817.31/819.45 c #Conflicts: 270000 | #Constraints: 21736 817.31/819.45 c #Conflicts: 271000 | #Constraints: 22739 817.31/819.45 c #Conflicts: 272000 | #Constraints: 23746 817.31/819.45 c #Conflicts: 273000 | #Constraints: 24748 817.31/819.45 c #Conflicts: 274000 | #Constraints: 25752 817.31/819.45 c #Conflicts: 275000 | #Constraints: 26753 817.31/819.45 c #Conflicts: 276000 | #Constraints: 27756 817.31/819.45 c #Conflicts: 277000 | #Constraints: 28757 817.31/819.45 c INPROCESSING 817.31/819.45 c GARBAGE COLLECT 817.31/819.45 c rational objective 49972.5 864.80/867.06 c #Conflicts: 278000 | #Constraints: 19095 864.80/867.06 c #Conflicts: 279000 | #Constraints: 20123 864.80/867.06 c #Conflicts: 280000 | #Constraints: 21123 864.80/867.06 c #Conflicts: 281000 | #Constraints: 22125 864.80/867.06 c #Conflicts: 282000 | #Constraints: 23129 864.80/867.06 c #Conflicts: 283000 | #Constraints: 24136 864.80/867.06 c #Conflicts: 284000 | #Constraints: 25143 864.80/867.06 c #Conflicts: 285000 | #Constraints: 26144 864.80/867.06 c #Conflicts: 286000 | #Constraints: 27151 864.80/867.06 c #Conflicts: 287000 | #Constraints: 28157 864.80/867.06 c #Conflicts: 288000 | #Constraints: 29163 864.80/867.06 c INPROCESSING 864.80/867.06 c GARBAGE COLLECT 864.80/867.06 c rational objective 49973.2 974.42/977.00 c #Conflicts: 289000 | #Constraints: 19553 974.42/977.00 c #Conflicts: 290000 | #Constraints: 20557 974.42/977.00 c #Conflicts: 291000 | #Constraints: 21558 974.42/977.00 c #Conflicts: 292000 | #Constraints: 22565 974.42/977.00 c #Conflicts: 293000 | #Constraints: 23565 974.42/977.00 c #Conflicts: 294000 | #Constraints: 24577 974.42/977.00 c #Conflicts: 295000 | #Constraints: 25579 974.42/977.00 c #Conflicts: 296000 | #Constraints: 26579 974.42/977.00 c #Conflicts: 297000 | #Constraints: 27580 974.42/977.00 c #Conflicts: 298000 | #Constraints: 28581 974.42/977.00 c #Conflicts: 299000 | #Constraints: 29581 974.42/977.00 c INPROCESSING 974.42/977.00 c GARBAGE COLLECT 974.42/977.00 c #Conflicts: 300000 | #Constraints: 19587 974.42/977.00 c #Conflicts: 301000 | #Constraints: 20588 974.42/977.00 c #Conflicts: 302000 | #Constraints: 21589 974.42/977.00 c #Conflicts: 303000 | #Constraints: 22591 974.42/977.00 c #Conflicts: 304000 | #Constraints: 23593 974.42/977.00 c #Conflicts: 305000 | #Constraints: 24598 974.42/977.00 c #Conflicts: 306000 | #Constraints: 25601 974.42/977.00 c #Conflicts: 307000 | #Constraints: 26610 974.42/977.00 c #Conflicts: 308000 | #Constraints: 27618 974.53/977.00 c #Conflicts: 309000 | #Constraints: 28627 974.53/977.00 c #Conflicts: 310000 | #Constraints: 29641 974.53/977.00 c INPROCESSING 974.53/977.00 c GARBAGE COLLECT 974.53/977.00 c rational objective 49984.9 1009.44/1012.07 c #Conflicts: 311000 | #Constraints: 19547 1009.44/1012.07 c #Conflicts: 312000 | #Constraints: 20550 1009.44/1012.07 c #Conflicts: 313000 | #Constraints: 21648 1009.44/1012.07 c #Conflicts: 314000 | #Constraints: 23236 1009.44/1012.07 c #Conflicts: 315000 | #Constraints: 24262 1009.44/1012.07 c #Conflicts: 316000 | #Constraints: 25277 1009.44/1012.07 c #Conflicts: 317000 | #Constraints: 26350 1009.44/1012.07 c #Conflicts: 318000 | #Constraints: 27479 1009.44/1012.07 c #Conflicts: 319000 | #Constraints: 28568 1009.44/1012.07 c #Conflicts: 320000 | #Constraints: 29577 1009.44/1012.07 c #Conflicts: 321000 | #Constraints: 30662 1009.44/1012.07 c INPROCESSING 1009.44/1012.07 c GARBAGE COLLECT 1009.44/1012.07 c rational objective 49999.9 1056.82/1059.58 c #Conflicts: 322000 | #Constraints: 19908 1056.82/1059.58 c #Conflicts: 323000 | #Constraints: 20916 1056.82/1059.58 c #Conflicts: 324000 | #Constraints: 21941 1056.82/1059.58 c bounds 50769 >= 4740 @ 1013.01 1056.82/1059.58 c #Conflicts: 325000 | #Constraints: 23209 1056.82/1059.58 c #Conflicts: 326000 | #Constraints: 24209 1056.82/1059.58 c #Conflicts: 327000 | #Constraints: 25211 1056.82/1059.58 c #Conflicts: 328000 | #Constraints: 26213 1056.82/1059.58 c #Conflicts: 329000 | #Constraints: 27216 1056.82/1059.58 c #Conflicts: 330000 | #Constraints: 28218 1056.82/1059.58 c #Conflicts: 331000 | #Constraints: 29220 1056.82/1059.58 c #Conflicts: 332000 | #Constraints: 30225 1056.82/1059.58 c #Conflicts: 333000 | #Constraints: 31242 1056.82/1059.58 c INPROCESSING 1056.82/1059.58 c GARBAGE COLLECT 1056.82/1059.58 c rational objective 50012.9 1195.98/1199.03 c #Conflicts: 334000 | #Constraints: 20334 1195.98/1199.03 c #Conflicts: 335000 | #Constraints: 21343 1195.98/1199.03 c #Conflicts: 336000 | #Constraints: 22356 1195.98/1199.03 c #Conflicts: 337000 | #Constraints: 23363 1195.98/1199.03 c #Conflicts: 338000 | #Constraints: 24368 1195.98/1199.03 c #Conflicts: 339000 | #Constraints: 25376 1195.98/1199.03 c #Conflicts: 340000 | #Constraints: 26377 1195.98/1199.03 c #Conflicts: 341000 | #Constraints: 27377 1195.98/1199.03 c #Conflicts: 342000 | #Constraints: 28379 1195.98/1199.03 c #Conflicts: 343000 | #Constraints: 29418 1195.98/1199.03 c bounds 50769 >= 6678 @ 1118.76 1195.98/1199.03 c #Conflicts: 344000 | #Constraints: 30953 1195.98/1199.03 c #Conflicts: 345000 | #Constraints: 31953 1195.98/1199.03 c INPROCESSING 1195.98/1199.03 c GARBAGE COLLECT 1195.98/1199.03 c #Conflicts: 346000 | #Constraints: 20150 1195.98/1199.03 c #Conflicts: 347000 | #Constraints: 21150 1195.98/1199.03 c #Conflicts: 348000 | #Constraints: 22150 1195.98/1199.03 c #Conflicts: 349000 | #Constraints: 23150 1195.98/1199.03 c #Conflicts: 350000 | #Constraints: 24150 1195.98/1199.03 c #Conflicts: 351000 | #Constraints: 25150 1195.98/1199.03 c #Conflicts: 352000 | #Constraints: 26151 1195.98/1199.03 c #Conflicts: 353000 | #Constraints: 27153 1195.98/1199.03 c #Conflicts: 354000 | #Constraints: 28154 1195.98/1199.03 c #Conflicts: 355000 | #Constraints: 29158 1195.98/1199.03 c #Conflicts: 356000 | #Constraints: 30165 1195.98/1199.03 c #Conflicts: 357000 | #Constraints: 31167 1195.98/1199.03 c INPROCESSING 1195.98/1199.03 c GARBAGE COLLECT 1195.98/1199.03 c rational objective 50014.8 1297.12/1300.43 c #Conflicts: 358000 | #Constraints: 20485 1297.12/1300.43 c #Conflicts: 359000 | #Constraints: 21486 1297.12/1300.43 c #Conflicts: 360000 | #Constraints: 22487 1297.12/1300.43 c #Conflicts: 361000 | #Constraints: 23487 1297.12/1300.43 c #Conflicts: 362000 | #Constraints: 24490 1297.12/1300.43 c #Conflicts: 363000 | #Constraints: 25491 1297.12/1300.43 c #Conflicts: 364000 | #Constraints: 26495 1297.12/1300.43 c #Conflicts: 365000 | #Constraints: 27499 1297.12/1300.43 c #Conflicts: 366000 | #Constraints: 28502 1297.12/1300.43 c bounds 50769 >= 8616 @ 1260.21 1297.12/1300.43 c #Conflicts: 367000 | #Constraints: 29507 1297.12/1300.43 c #Conflicts: 368000 | #Constraints: 30508 1297.12/1300.43 c #Conflicts: 369000 | #Constraints: 31510 1297.12/1300.43 c INPROCESSING 1297.12/1300.43 c GARBAGE COLLECT 1297.12/1300.43 c rational objective 50015 1728.04/1732.48 c #Conflicts: 370000 | #Constraints: 20031 1728.04/1732.48 c #Conflicts: 371000 | #Constraints: 21037 1728.04/1732.48 c #Conflicts: 372000 | #Constraints: 22043 1728.04/1732.48 c #Conflicts: 373000 | #Constraints: 23049 1728.04/1732.48 c #Conflicts: 374000 | #Constraints: 24055 1728.04/1732.48 c bounds 50769 >= 10554 @ 1329.1 1728.04/1732.48 c #Conflicts: 375000 | #Constraints: 25060 1728.04/1732.48 c #Conflicts: 376000 | #Constraints: 26060 1728.04/1732.48 c #Conflicts: 377000 | #Constraints: 27061 1728.04/1732.48 c #Conflicts: 378000 | #Constraints: 28061 1728.04/1732.48 c #Conflicts: 379000 | #Constraints: 29069 1728.04/1732.48 c #Conflicts: 380000 | #Constraints: 30071 1728.04/1732.48 c #Conflicts: 381000 | #Constraints: 31073 1728.04/1732.48 c INPROCESSING 1728.04/1732.48 c GARBAGE COLLECT 1728.04/1732.48 c #Conflicts: 382000 | #Constraints: 19823 1728.04/1732.48 c #Conflicts: 383000 | #Constraints: 20823 1728.04/1732.48 c #Conflicts: 384000 | #Constraints: 21823 1728.04/1732.48 c bounds 50769 >= 12492 @ 1430.68 1728.04/1732.48 c #Conflicts: 385000 | #Constraints: 22837 1728.04/1732.48 c #Conflicts: 386000 | #Constraints: 23839 1728.04/1732.48 c #Conflicts: 387000 | #Constraints: 24842 1728.04/1732.48 c #Conflicts: 388000 | #Constraints: 25844 1728.04/1732.48 c #Conflicts: 389000 | #Constraints: 26846 1728.04/1732.48 c #Conflicts: 390000 | #Constraints: 27850 1728.04/1732.48 c #Conflicts: 391000 | #Constraints: 28853 1728.04/1732.48 c #Conflicts: 392000 | #Constraints: 29862 1728.04/1732.48 c #Conflicts: 393000 | #Constraints: 30889 1728.04/1732.48 c #Conflicts: 394000 | #Constraints: 31943 1728.04/1732.48 c INPROCESSING 1728.04/1732.48 c GARBAGE COLLECT 1728.04/1732.48 c #Conflicts: 395000 | #Constraints: 20678 1728.04/1732.48 c #Conflicts: 396000 | #Constraints: 21745 1728.04/1732.48 c #Conflicts: 397000 | #Constraints: 22748 1728.04/1732.48 c #Conflicts: 398000 | #Constraints: 23753 1728.04/1732.48 c #Conflicts: 399000 | #Constraints: 24760 1728.04/1732.48 c #Conflicts: 400000 | #Constraints: 25772 1728.04/1732.48 c #Conflicts: 401000 | #Constraints: 26784 1728.04/1732.48 c #Conflicts: 402000 | #Constraints: 27838 1728.04/1732.48 c #Conflicts: 403000 | #Constraints: 28856 1728.04/1732.48 c #Conflicts: 404000 | #Constraints: 29882 1728.04/1732.48 c #Conflicts: 405000 | #Constraints: 30987 1728.04/1732.48 c #Conflicts: 406000 | #Constraints: 32133 1728.04/1732.48 c #Conflicts: 407000 | #Constraints: 33137 1728.04/1732.48 c INPROCESSING 1728.04/1732.48 c GARBAGE COLLECT 1728.04/1732.48 c bounds 50769 >= 15690 @ 1679.77 1728.04/1732.48 c #Conflicts: 408000 | #Constraints: 20704 1728.04/1732.48 c #Conflicts: 409000 | #Constraints: 21707 1728.04/1732.48 c #Conflicts: 410000 | #Constraints: 22819 1728.04/1732.48 c bounds 50769 >= 17628 @ 1706.38 1728.04/1732.48 c #Conflicts: 411000 | #Constraints: 23824 1728.04/1732.48 c #Conflicts: 412000 | #Constraints: 24825 1728.04/1732.48 c bounds 50769 >= 17628 @ 1716.28 1728.04/1732.48 c cpu time 1716.28 s 1728.04/1732.48 c deterministic time 149083464952 1.49e+11 1728.04/1732.48 c optimization time 0.010953 s 1728.04/1732.48 c total solve time 1716.26 s 1728.04/1732.48 c core-guided solve time 880.897 s 1728.04/1732.48 c propagation time 1148.98 s 1728.04/1732.48 c conflict analysis time 480.057 s 1728.04/1732.48 c propagations 361129488 1728.04/1732.48 c resolve steps 6420358 1728.04/1732.48 c decisions 6386181 1728.04/1732.48 c conflicts 412128 1728.04/1732.48 c restarts 1017 1728.04/1732.48 c inprocessing phases 55 1728.04/1732.48 c input clauses 8588 1728.04/1732.48 c input cardinalities 1 1728.04/1732.48 c input general constraints 42 1728.04/1732.48 c input average constraint length 8.98 1728.04/1732.48 c input average constraint degree 7609.92 1728.04/1732.48 c learned clauses 143458 1728.04/1732.48 c learned cardinalities 320 1728.04/1732.48 c learned general constraints 304428 1728.04/1732.48 c learned average constraint length 1026.16 1728.04/1732.48 c learned average constraint degree 25412152218.03 1728.04/1732.48 c watched constraints 104749 1728.04/1732.48 c counting constraints 199721 1728.04/1732.48 c gcd simplifications 23770 1728.04/1732.48 c detected cardinalities 48 1728.04/1732.48 c weakened non-implied lits 283872203 1728.04/1732.48 c weakened non-implying lits 383393 1728.04/1732.48 c original variables 3945 1728.04/1732.48 c clausal propagations 115146529 1728.04/1732.48 c cardinality propagations 59665 1728.04/1732.48 c watched propagations 4013516 1728.04/1732.48 c counting propagations 237621195 1728.04/1732.48 c watch lookups 29927690000 1728.04/1732.48 c watch backjump lookups 29564103856 1728.04/1732.48 c watch checks 25725331318 1728.04/1732.48 c propagation checks 60776087175 1728.04/1732.48 c constraint additions 2354275695 1728.04/1732.48 c trail pops 367925918 1728.04/1732.48 c formula constraints 8582 1728.04/1732.48 c learned constraints 411214 1728.04/1732.48 c bound constraints 29 1728.04/1732.48 c core-guided constraints 20 1728.04/1732.48 c encountered formula constraints 5219164 1728.04/1732.48 c encountered learned constraints 1461586 1728.04/1732.48 c encountered bound constraints 3323 1728.04/1732.48 c encountered core-guided constraints 3883 1728.04/1732.48 c LP total time 199.673 s 1728.04/1732.48 c LP solve time 139.36 s 1728.04/1732.48 c LP constraints added 8661 1728.04/1732.48 c LP constraints removed 58 1728.04/1732.48 c LP pivots internal 412813 1728.04/1732.48 c LP pivots root 122507 1728.04/1732.48 c LP calls 36215 1728.04/1732.48 c LP optimalities 135 1728.04/1732.48 c LP no pivot count 32 1728.04/1732.48 c LP infeasibilities 36055 1728.04/1732.48 c LP valid Farkas constraints 36034 1728.04/1732.48 c LP learned Farkas constraints 911 1728.04/1732.48 c LP basis resets 43 1728.04/1732.48 c LP cycling count 4 1728.04/1732.48 c LP singular count 17 1728.04/1732.48 c LP no primal count 0 1728.04/1732.48 c LP no farkas count 21 1728.04/1732.48 c LP other issue count 1 1728.04/1732.48 c LP Gomory cuts 47 1728.04/1732.48 c LP learned cuts 32 1728.04/1732.48 c LP deleted cuts 58 1728.04/1732.48 c LP encountered Gomory constraints 0 1728.04/1732.48 c LP encountered Farkas constraints 130042 1728.04/1732.48 c LP encountered learned Farkas constraints 13577 1728.04/1732.48 c CG auxiliary variables introduced 7 1728.04/1732.48 c CG solutions found 22 1728.04/1732.48 c CG cores constructed 7 1728.04/1732.48 c CG core cardinality constraints returned 0 1728.04/1732.48 c CG unit cores 0 1728.04/1732.48 c CG single cores 7 1728.04/1732.48 c CG blocks removed during cardinality reduction 0 1728.04/1732.48 c CG first core best 0 1728.04/1732.48 c CG decision core best 0 1728.04/1732.48 c CG core reduction tie 0 1728.04/1732.48 c CG core degree average 1.00 1728.04/1732.48 c CG core slack average 11.86 1728.04/1732.48 o 50769 1728.04/1732.48 s OPTIMUM FOUND 1728.04/1732.48 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
OK 50769
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 (60796 MiB free)
memory of node 1: 64473 MiB (62784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455240-1721460898/watcher-4455240-1721460898 -o /tmp/evaluation-result-4455240-1721460898/solver-4455240-1721460898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455240-1721460898.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057692, runsolver pid=1057689
[startup+0.100089 s]*
/proc/loadavg: 4.46 4.03 3.21 5/254 1057693
/proc/meminfo: memFree=126538232/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=45496 memory=15396 CPUtime=0.09 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 2758 0 0 0 8 1 0 0 20 0 1 0 198255994 46587904 3849 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 11374 3849 1741 922 0 3326 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45496 KiB
Current children cumulated memory: 15396 KiB
[startup+0.205381 s]*
/proc/loadavg: 4.46 4.03 3.21 5/254 1057693
/proc/meminfo: memFree=126535708/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=45628 memory=18080 CPUtime=0.2 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 2902 0 0 0 18 2 0 0 20 0 1 0 198255994 46723072 4520 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 11407 4520 1771 922 0 3359 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45628 KiB
Current children cumulated memory: 18080 KiB
[startup+0.305293 s]*
/proc/loadavg: 4.46 4.03 3.21 5/254 1057693
/proc/meminfo: memFree=126532900/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=48164 memory=20720 CPUtime=0.3 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 3563 0 0 0 27 3 0 0 20 0 1 0 198255994 49319936 5180 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 12041 5180 1771 922 0 3993 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48164 KiB
Current children cumulated memory: 20720 KiB
[startup+0.700187 s]
/proc/loadavg: 4.46 4.03 3.21 5/254 1057693
/proc/meminfo: memFree=126526048/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=66208 memory=39716 CPUtime=0.69 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 7834 0 0 0 63 6 0 0 20 0 1 0 198255994 67796992 9929 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 16552 9929 1771 922 0 8504 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66208 KiB
Current children cumulated memory: 39716 KiB
[startup+1.50017 s]
/proc/loadavg: 4.46 4.03 3.21 5/254 1057693
/proc/meminfo: memFree=126504436/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=86720 memory=57460 CPUtime=1.49 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 11154 0 0 0 139 10 0 0 20 0 1 0 198255994 88801280 14365 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 21680 14365 1849 922 0 13632 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 86720 KiB
Current children cumulated memory: 57460 KiB
[startup+3.10517 s]
/proc/loadavg: 4.42 4.03 3.21 5/254 1057693
/proc/meminfo: memFree=126490068/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=89388 memory=62384 CPUtime=3.09 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 12433 0 0 0 292 17 0 0 20 0 1 0 198255994 91533312 15596 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 22347 15596 1849 922 0 14299 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89388 KiB
Current children cumulated memory: 62384 KiB
[startup+6.30017 s]
/proc/loadavg: 4.42 4.03 3.21 5/254 1057695
/proc/meminfo: memFree=126485724/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=93772 memory=66280 CPUtime=6.27 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 13436 0 0 0 600 27 0 0 20 0 1 0 198255994 96022528 16570 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 23443 16570 1849 922 0 15395 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93772 KiB
Current children cumulated memory: 66280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.02 3.22 5/254 1057695
/proc/meminfo: memFree=126453856/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=141844 memory=98060 CPUtime=12.66 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 18827 0 0 0 1223 43 0 0 20 0 1 0 198255994 145248256 24515 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 35461 24515 1849 922 0 27413 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 141844 KiB
Current children cumulated memory: 98060 KiB
[startup+25.5002 s]
/proc/loadavg: 4.54 4.07 3.25 5/254 1057696
/proc/meminfo: memFree=126371980/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=220936 memory=173044 CPUtime=25.42 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 29302 0 0 0 2475 67 0 0 20 0 1 0 198255994 226238464 43261 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 55234 43261 1967 922 0 47186 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220936 KiB
Current children cumulated memory: 173044 KiB
[startup+51.1053 s]
/proc/loadavg: 4.54 4.12 3.28 5/254 1057701
/proc/meminfo: memFree=126345924/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=232180 memory=184380 CPUtime=50.97 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 32144 0 0 0 4981 116 0 0 20 0 1 0 198255994 237752320 46095 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 58045 46095 1967 922 0 49997 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 232180 KiB
Current children cumulated memory: 184380 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.11 3.33 5/254 1057709
/proc/meminfo: memFree=126309196/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=257576 memory=216384 CPUtime=102.03 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 38197 0 0 0 9991 212 0 0 20 0 1 0 198255994 263757824 54096 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 64394 54096 1967 922 0 56346 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 257576 KiB
Current children cumulated memory: 216384 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.10 3.38 5/254 1057721
/proc/meminfo: memFree=126250252/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=337984 memory=259796 CPUtime=161.88 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 45495 0 0 0 15901 287 0 0 20 0 1 0 198255994 346095616 64949 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 84496 64949 1967 922 0 76448 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 337984 KiB
Current children cumulated memory: 259796 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.19 3.46 5/254 1057732
/proc/meminfo: memFree=126180672/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=361768 memory=314600 CPUtime=221.72 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 51579 0 0 0 21818 354 0 0 20 0 1 0 198255994 370450432 78650 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 90442 78650 1967 922 0 82394 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 361768 KiB
Current children cumulated memory: 314600 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.18 3.51 5/254 1057742
/proc/meminfo: memFree=126165376/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=367192 memory=319264 CPUtime=281.57 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 52726 0 0 0 27720 437 0 0 20 0 1 0 198255994 376004608 79816 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 91798 79816 1967 922 0 83750 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 367192 KiB
Current children cumulated memory: 319264 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.18 3.55 5/257 1057758
/proc/meminfo: memFree=126106012/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=384416 memory=334940 CPUtime=341.42 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 56745 0 0 0 33630 512 0 0 20 0 1 0 198255994 393641984 83735 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 96104 83735 1967 922 0 88056 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 384416 KiB
Current children cumulated memory: 334940 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.16 3.59 5/257 1057769
/proc/meminfo: memFree=126083812/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=391676 memory=343860 CPUtime=401.27 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 58492 0 0 0 39536 591 0 0 20 0 1 0 198255994 401076224 85965 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 97919 85965 1967 922 0 89871 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 391676 KiB
Current children cumulated memory: 343860 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.16 3.63 5/257 1057779
/proc/meminfo: memFree=126036240/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=432476 memory=383984 CPUtime=461.11 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 67053 0 0 0 45458 653 0 0 20 0 1 0 198255994 442855424 95996 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 108119 95996 1967 922 0 100071 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 3.92 5/256 1057914
/proc/meminfo: memFree=125531012/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=556760 memory=433828 CPUtime=1179.32 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 84527 0 0 0 116906 1026 0 0 20 0 1 0 198255994 570122240 108457 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 139190 108457 1967 922 0 131142 0
Current children cumulated CPU time: 1179.32 s
Current children cumulated vsize: 556760 KiB
Current children cumulated memory: 433828 KiB
[startup+1242.3 s]
/proc/loadavg: 4.12 4.12 3.94 5/256 1058311
/proc/meminfo: memFree=125603200/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=567748 memory=454656 CPUtime=1239.16 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 87511 0 0 0 122860 1056 0 0 20 0 1 0 198255994 581373952 113664 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 141937 113664 1967 922 0 133889 0
Current children cumulated CPU time: 1239.16 s
Current children cumulated vsize: 567748 KiB
Current children cumulated memory: 454656 KiB
[startup+1302.3 s]
/proc/loadavg: 4.09 4.11 3.95 5/256 1058322
/proc/meminfo: memFree=125573556/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=578492 memory=468928 CPUtime=1299.02 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 90126 0 0 0 128824 1078 0 0 20 0 1 0 198255994 592375808 117232 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 144623 117232 1967 922 0 136575 0
Current children cumulated CPU time: 1299.02 s
Current children cumulated vsize: 578492 KiB
Current children cumulated memory: 468928 KiB
[startup+1362.3 s]
/proc/loadavg: 4.18 4.13 3.97 5/256 1058333
/proc/meminfo: memFree=125563924/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=578492 memory=469504 CPUtime=1358.87 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 90187 0 0 0 134791 1096 0 0 20 0 1 0 198255994 592375808 117376 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 144623 117376 1967 922 0 136575 0
Current children cumulated CPU time: 1358.87 s
Current children cumulated vsize: 578492 KiB
Current children cumulated memory: 469504 KiB
[startup+1422.3 s]
/proc/loadavg: 4.18 4.14 3.99 5/256 1058511
/proc/meminfo: memFree=125511512/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=599704 memory=515644 CPUtime=1418.71 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 94985 0 0 0 140760 1111 0 0 20 0 1 0 198255994 614096896 128911 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 149926 128911 1967 922 0 141878 0
Current children cumulated CPU time: 1418.71 s
Current children cumulated vsize: 599704 KiB
Current children cumulated memory: 515644 KiB
[startup+1482.3 s]
/proc/loadavg: 4.25 4.16 4.01 5/257 1058524
/proc/meminfo: memFree=125475516/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=599704 memory=522796 CPUtime=1478.55 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 95119 0 0 0 146732 1123 0 0 20 0 1 0 198255994 614096896 130699 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 149926 130699 1967 922 0 141878 0
Current children cumulated CPU time: 1478.55 s
Current children cumulated vsize: 599704 KiB
Current children cumulated memory: 522796 KiB
[startup+1542.3 s]
/proc/loadavg: 4.15 4.14 4.01 5/256 1058537
/proc/meminfo: memFree=125385584/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=602104 memory=537840 CPUtime=1538.4 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 95502 0 0 0 152706 1134 0 0 20 0 1 0 198255994 616554496 134460 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 150526 134460 1967 922 0 142478 0
Current children cumulated CPU time: 1538.4 s
Current children cumulated vsize: 602104 KiB
Current children cumulated memory: 537840 KiB
[startup+1602.3 s]
/proc/loadavg: 4.10 4.13 4.01 5/256 1058558
/proc/meminfo: memFree=125310724/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1598.24 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 99505 0 0 0 158676 1148 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1598.24 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1662.3 s]
/proc/loadavg: 4.07 4.12 4.01 5/257 1058569
/proc/meminfo: memFree=125302504/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1658.1 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 99786 0 0 0 164646 1164 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1658.1 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.11 4.01 5/256 1058580
/proc/meminfo: memFree=125288544/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1717.96 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 100046 0 0 0 170615 1181 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1717.96 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1732.49 s]
# the end of solver process 1057692 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1716.28 s, system=11.8551 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1728 s]*
/proc/loadavg: 4.07 4.11 4.01 5/256 1058582
/proc/meminfo: memFree=125287084/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1723.66 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 100049 0 0 0 171182 1184 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1723.66 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1729.6 s]
/proc/loadavg: 4.07 4.11 4.01 5/256 1058582
/proc/meminfo: memFree=125286740/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1725.25 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 100049 0 0 0 171340 1185 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1725.25 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1731.2 s]
/proc/loadavg: 4.07 4.11 4.01 5/256 1058582
/proc/meminfo: memFree=125286280/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1726.85 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 100050 0 0 0 171500 1185 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1726.85 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1732 s]*
/proc/loadavg: 4.07 4.11 4.01 5/256 1058582
/proc/meminfo: memFree=125285552/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1727.65 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 100050 0 0 0 171580 1185 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1727.65 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
[startup+1732.4 s]
/proc/loadavg: 4.07 4.11 4.01 5/256 1058582
/proc/meminfo: memFree=125285552/131524600 swapFree=131071996/131071996
[pid=1057692] ppid=1057689 vsize=627876 memory=574100 CPUtime=1728.04 cores=1,3
/proc/1057692/stat : 1057692 (roundingsat) R 1057689 1057692 1056492 0 -1 4194304 100050 0 0 0 171619 1185 0 0 20 0 1 0 198255994 642945024 143525 134679101440 4194304 7968373 140735191983296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 24809472 140735191987132 140735191987296 140735191987296 140735191994313 0
/proc/1057692/statm: 156969 143525 1967 922 0 148921 0
Current children cumulated CPU time: 1728.04 s
Current children cumulated vsize: 627876 KiB
Current children cumulated memory: 574100 KiB
Child status: 0
Real time (s): 1732.49
CPU time (s): 1728.14
CPU user time (s): 1716.28
CPU system time (s): 11.8551
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 627876
Max. memory (cumulated for all children) (KiB): 574100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.28
system time used= 11.8551
maximum resident set size= 574100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100058
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= 108
involuntary context switches= 1351
# summary of solver processes directly reported to runsolver:
# pid: 1057692
# total CPU time (s): 1728.14
# total CPU user time (s): 1716.28
# total CPU system time (s): 11.8551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.73879 second user time and 8.11243 second system time
The end
Begin job on nodeC026 at 2024-07-20 09:35:11 IDJOB=4455240 IDBENCH=148155 IDSOLVER=3084 FILE ID=nodeC026/4455240-1721460898 RUNJOBID= nodeC026-1721460068-1056504 SLURM_JOB_ID= 7545710 Free space on /tmp= 890052 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.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-4455240-1721460898/watcher-4455240-1721460898 -o /tmp/evaluation-result-4455240-1721460898/solver-4455240-1721460898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455240-1721460898.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768 RANDOM SEED=2010874680 nodeC026.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 : 3666.111 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.74 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 : 3664.295 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.215 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.74 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 : 3658.764 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.45 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 : 3666.054 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.74 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 : 3667.643 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.45 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 : 3600.179 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.848 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126547428 kB MemAvailable: 128402984 kB Buffers: 597072 kB Cached: 2088204 kB SwapCached: 0 kB Active: 1134012 kB Inactive: 3195488 kB Active(anon): 1564 kB Inactive(anon): 1688240 kB Active(file): 1132448 kB Inactive(file): 1507248 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5284 kB Writeback: 8 kB AnonPages: 1638708 kB Mapped: 113492 kB Shmem: 45912 kB KReclaimable: 111364 kB Slab: 225752 kB SReclaimable: 111364 kB SUnreclaim: 114388 kB KernelStack: 4044 kB PageTables: 12668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2258564 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 67808 kB HardwareCorrupted: 0 kB AnonHugePages: 921600 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: 283348 kB DirectMap2M: 33044480 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 890048 MiB End job on nodeC026 at 2024-07-20 10:04:04