| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (1) | Wrong Cert. | 3600.05 | 3611.6 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb |
| MD5SUM | b3a7e12d93ab079a38c8d0bc0b1ef8cc |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 20800.4 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 52 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 52 |
| Maximum length of a constraint | 52 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 5842800 |
| Number of bits of the biggest number in a constraint | 23 |
| Biggest sum of numbers in a constraint | 78219574 |
| Number of bits of the biggest sum of numbers | 27 |
| 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.00 c #variables 52 #constraints 2 0.00/0.00 c rational objective 1.0539 0.69/0.70 c #Conflicts: 1000 | #Constraints: 1683 0.69/0.70 c #Conflicts: 2000 | #Constraints: 3400 0.69/0.70 c INPROCESSING 0.69/0.70 c GARBAGE COLLECT 0.69/0.70 c rational objective 1.12131 1.48/1.51 c #Conflicts: 3000 | #Constraints: 3462 1.48/1.51 c #Conflicts: 4000 | #Constraints: 5213 1.48/1.51 c INPROCESSING 1.48/1.51 c GARBAGE COLLECT 1.48/1.51 c rational objective 2 2.58/2.64 c #Conflicts: 5000 | #Constraints: 4165 2.58/2.64 c #Conflicts: 6000 | #Constraints: 5913 2.58/2.64 c INPROCESSING 2.58/2.64 c GARBAGE COLLECT 2.58/2.64 c rational objective 2 3.87/3.98 c #Conflicts: 7000 | #Constraints: 4187 3.87/3.98 c #Conflicts: 8000 | #Constraints: 5926 3.87/3.98 c #Conflicts: 9000 | #Constraints: 7640 3.87/3.98 c INPROCESSING 3.87/3.98 c GARBAGE COLLECT 3.87/3.98 c rational objective 2 5.47/5.55 c #Conflicts: 10000 | #Constraints: 5388 5.47/5.55 c #Conflicts: 11000 | #Constraints: 7096 5.47/5.55 c #Conflicts: 12000 | #Constraints: 8850 5.47/5.55 c INPROCESSING 5.47/5.55 c GARBAGE COLLECT 5.47/5.55 c rational objective 2 7.17/7.28 c #Conflicts: 13000 | #Constraints: 6101 7.17/7.28 c #Conflicts: 14000 | #Constraints: 7859 7.17/7.28 c #Conflicts: 15000 | #Constraints: 9575 7.17/7.28 c INPROCESSING 7.17/7.28 c GARBAGE COLLECT 7.17/7.28 c rational objective 2 9.47/9.52 c #Conflicts: 16000 | #Constraints: 5891 9.47/9.52 c #Conflicts: 17000 | #Constraints: 7579 9.47/9.52 c #Conflicts: 18000 | #Constraints: 9289 9.47/9.52 c INPROCESSING 9.47/9.52 c GARBAGE COLLECT 9.47/9.52 c rational objective 2 11.97/12.07 c #Conflicts: 19000 | #Constraints: 5782 11.97/12.07 c #Conflicts: 20000 | #Constraints: 6989 11.97/12.07 c #Conflicts: 21000 | #Constraints: 8724 11.97/12.07 c INPROCESSING 11.97/12.07 c GARBAGE COLLECT 11.97/12.07 c rational objective 1.13123 14.75/14.80 c #Conflicts: 22000 | #Constraints: 5426 14.75/14.80 c #Conflicts: 23000 | #Constraints: 7218 14.75/14.80 c #Conflicts: 24000 | #Constraints: 8969 14.75/14.80 c #Conflicts: 25000 | #Constraints: 10792 14.75/14.80 c INPROCESSING 14.75/14.80 c GARBAGE COLLECT 14.75/14.80 c rational objective 1.55075 17.65/17.71 c #Conflicts: 26000 | #Constraints: 6946 17.65/17.71 c #Conflicts: 27000 | #Constraints: 8684 17.65/17.71 c #Conflicts: 28000 | #Constraints: 10454 17.65/17.71 c #Conflicts: 29000 | #Constraints: 12226 17.65/17.71 c INPROCESSING 17.65/17.71 c GARBAGE COLLECT 17.65/17.71 c rational objective 2 20.94/21.08 c #Conflicts: 30000 | #Constraints: 7843 20.94/21.08 c #Conflicts: 31000 | #Constraints: 9602 20.94/21.08 c #Conflicts: 32000 | #Constraints: 11325 20.94/21.08 c #Conflicts: 33000 | #Constraints: 13080 20.94/21.08 c INPROCESSING 20.94/21.08 c GARBAGE COLLECT 20.94/21.08 c rational objective 2 24.63/24.70 c #Conflicts: 34000 | #Constraints: 8309 24.63/24.70 c #Conflicts: 35000 | #Constraints: 10013 24.63/24.70 c #Conflicts: 36000 | #Constraints: 11558 24.63/24.70 c #Conflicts: 37000 | #Constraints: 12558 24.63/24.70 c INPROCESSING 24.63/24.70 c GARBAGE COLLECT 24.63/24.70 c rational objective 1.23607 29.82/29.93 c #Conflicts: 38000 | #Constraints: 7790 29.82/29.93 c #Conflicts: 39000 | #Constraints: 9574 29.82/29.93 c #Conflicts: 40000 | #Constraints: 10704 29.82/29.93 c #Conflicts: 41000 | #Constraints: 11704 29.82/29.93 c INPROCESSING 29.82/29.93 c GARBAGE COLLECT 29.82/29.93 c rational objective 1.25008 56.64/56.81 c #Conflicts: 42000 | #Constraints: 6853 56.64/56.81 c #Conflicts: 43000 | #Constraints: 8571 56.64/56.81 c #Conflicts: 44000 | #Constraints: 10283 56.64/56.81 c #Conflicts: 45000 | #Constraints: 12032 56.64/56.81 c #Conflicts: 46000 | #Constraints: 13772 56.64/56.81 c INPROCESSING 56.64/56.81 c GARBAGE COLLECT 56.64/56.81 c #Conflicts: 47000 | #Constraints: 8468 56.64/56.81 c #Conflicts: 48000 | #Constraints: 10183 56.64/56.81 c #Conflicts: 49000 | #Constraints: 11895 56.64/56.81 c #Conflicts: 50000 | #Constraints: 13633 56.64/56.81 c #Conflicts: 51000 | #Constraints: 15357 56.64/56.81 c INPROCESSING 56.64/56.81 c GARBAGE COLLECT 56.64/56.81 c #Conflicts: 52000 | #Constraints: 9459 56.64/56.81 c #Conflicts: 53000 | #Constraints: 10939 56.64/56.81 c #Conflicts: 54000 | #Constraints: 11939 56.64/56.81 c #Conflicts: 55000 | #Constraints: 13653 56.64/56.81 c #Conflicts: 56000 | #Constraints: 15430 56.64/56.81 c INPROCESSING 56.64/56.81 c GARBAGE COLLECT 56.64/56.81 c #Conflicts: 57000 | #Constraints: 9514 56.64/56.81 c #Conflicts: 58000 | #Constraints: 11284 56.64/56.81 c #Conflicts: 59000 | #Constraints: 13022 56.64/56.81 c #Conflicts: 60000 | #Constraints: 14739 56.64/56.81 c #Conflicts: 61000 | #Constraints: 16474 56.64/56.81 c INPROCESSING 56.64/56.81 c GARBAGE COLLECT 56.64/56.81 c #Conflicts: 62000 | #Constraints: 9815 56.64/56.81 c #Conflicts: 63000 | #Constraints: 11573 56.64/56.81 c #Conflicts: 64000 | #Constraints: 13295 56.64/56.81 c #Conflicts: 65000 | #Constraints: 15028 56.64/56.81 c #Conflicts: 66000 | #Constraints: 16534 56.64/56.81 c INPROCESSING 56.64/56.81 c GARBAGE COLLECT 56.64/56.81 c rational objective 2 64.03/64.21 c #Conflicts: 67000 | #Constraints: 9333 64.03/64.21 c #Conflicts: 68000 | #Constraints: 11135 64.03/64.21 c #Conflicts: 69000 | #Constraints: 12911 64.03/64.21 c #Conflicts: 70000 | #Constraints: 14670 64.03/64.21 c #Conflicts: 71000 | #Constraints: 15735 64.03/64.21 c #Conflicts: 72000 | #Constraints: 17182 64.03/64.21 c INPROCESSING 64.03/64.21 c GARBAGE COLLECT 64.03/64.21 c rational objective 2 71.01/71.28 c #Conflicts: 73000 | #Constraints: 10031 71.01/71.28 c #Conflicts: 74000 | #Constraints: 11767 71.01/71.28 c #Conflicts: 75000 | #Constraints: 13509 71.01/71.28 c #Conflicts: 76000 | #Constraints: 15271 71.01/71.28 c #Conflicts: 77000 | #Constraints: 17004 71.01/71.28 c #Conflicts: 78000 | #Constraints: 18785 71.01/71.28 c INPROCESSING 71.01/71.28 c GARBAGE COLLECT 71.01/71.28 c rational objective 2 81.08/81.37 c #Conflicts: 79000 | #Constraints: 10420 81.08/81.37 c #Conflicts: 80000 | #Constraints: 11420 81.08/81.37 c #Conflicts: 81000 | #Constraints: 12420 81.08/81.37 c #Conflicts: 82000 | #Constraints: 13420 81.08/81.37 c #Conflicts: 83000 | #Constraints: 14420 81.08/81.37 c #Conflicts: 84000 | #Constraints: 15420 81.08/81.37 c INPROCESSING 81.08/81.37 c GARBAGE COLLECT 81.08/81.37 c rational objective 2 87.26/87.57 c #Conflicts: 85000 | #Constraints: 8843 87.26/87.57 c #Conflicts: 86000 | #Constraints: 9964 87.26/87.57 c #Conflicts: 87000 | #Constraints: 10964 87.26/87.57 c #Conflicts: 88000 | #Constraints: 12434 87.26/87.57 c #Conflicts: 89000 | #Constraints: 14157 87.26/87.57 c #Conflicts: 90000 | #Constraints: 15756 87.26/87.57 c INPROCESSING 87.26/87.57 c GARBAGE COLLECT 87.26/87.57 c rational objective 2 94.34/94.69 c #Conflicts: 91000 | #Constraints: 9393 94.34/94.69 c #Conflicts: 92000 | #Constraints: 10707 94.34/94.69 c #Conflicts: 93000 | #Constraints: 11707 94.34/94.69 c #Conflicts: 94000 | #Constraints: 12707 94.34/94.69 c #Conflicts: 95000 | #Constraints: 13707 94.34/94.69 c #Conflicts: 96000 | #Constraints: 14707 94.34/94.69 c INPROCESSING 94.34/94.69 c GARBAGE COLLECT 94.34/94.69 c rational objective 2 104.61/104.91 c #Conflicts: 97000 | #Constraints: 8356 104.61/104.91 c #Conflicts: 98000 | #Constraints: 9417 104.61/104.91 c #Conflicts: 99000 | #Constraints: 10782 104.61/104.91 c #Conflicts: 100000 | #Constraints: 12043 104.61/104.91 c #Conflicts: 101000 | #Constraints: 13043 104.61/104.91 c #Conflicts: 102000 | #Constraints: 14043 104.61/104.91 c #Conflicts: 103000 | #Constraints: 15043 104.61/104.91 c INPROCESSING 104.61/104.91 c GARBAGE COLLECT 104.61/104.91 c rational objective 2 155.45/155.97 c #Conflicts: 104000 | #Constraints: 9008 155.45/155.97 c #Conflicts: 105000 | #Constraints: 10673 155.45/155.97 c #Conflicts: 106000 | #Constraints: 12213 155.45/155.97 c #Conflicts: 107000 | #Constraints: 13418 155.45/155.97 c #Conflicts: 108000 | #Constraints: 14874 155.45/155.97 c #Conflicts: 109000 | #Constraints: 16007 155.45/155.97 c #Conflicts: 110000 | #Constraints: 17007 155.45/155.97 c #Conflicts: 111000 | #Constraints: 18007 155.45/155.97 c #Conflicts: 112000 | #Constraints: 19007 155.45/155.97 c #Conflicts: 113000 | #Constraints: 20007 155.45/155.97 c #Conflicts: 114000 | #Constraints: 21181 155.45/155.97 c #Conflicts: 115000 | #Constraints: 22873 155.45/155.97 c #Conflicts: 116000 | #Constraints: 24503 155.45/155.97 c #Conflicts: 117000 | #Constraints: 26194 155.45/155.97 c #Conflicts: 118000 | #Constraints: 27894 155.45/155.97 c #Conflicts: 119000 | #Constraints: 29562 155.45/155.97 c #Conflicts: 120000 | #Constraints: 31188 155.45/155.97 c #Conflicts: 121000 | #Constraints: 32850 155.45/155.97 c #Conflicts: 122000 | #Constraints: 34499 155.45/155.97 c #Conflicts: 123000 | #Constraints: 36216 155.45/155.97 c #Conflicts: 124000 | #Constraints: 37909 155.45/155.97 c #Conflicts: 125000 | #Constraints: 39646 155.45/155.97 c #Conflicts: 126000 | #Constraints: 41274 155.45/155.97 c #Conflicts: 127000 | #Constraints: 42274 155.45/155.97 c #Conflicts: 128000 | #Constraints: 43274 155.45/155.97 c #Conflicts: 129000 | #Constraints: 44274 155.45/155.97 c #Conflicts: 130000 | #Constraints: 45274 155.45/155.97 c #Conflicts: 131000 | #Constraints: 46329 155.45/155.97 c #Conflicts: 132000 | #Constraints: 48020 155.45/155.97 c INPROCESSING 155.45/155.97 c GARBAGE COLLECT 155.45/155.97 c rational objective 2 180.76/181.35 c #Conflicts: 133000 | #Constraints: 25151 180.76/181.35 c #Conflicts: 134000 | #Constraints: 26151 180.76/181.35 c #Conflicts: 135000 | #Constraints: 27151 180.76/181.35 c #Conflicts: 136000 | #Constraints: 28151 180.76/181.35 c #Conflicts: 137000 | #Constraints: 29151 180.76/181.35 c #Conflicts: 138000 | #Constraints: 30151 180.76/181.35 c #Conflicts: 139000 | #Constraints: 31151 180.76/181.35 c #Conflicts: 140000 | #Constraints: 32151 180.76/181.35 c INPROCESSING 180.76/181.35 c GARBAGE COLLECT 180.76/181.35 c rational objective 2.00033 206.37/207.06 c #Conflicts: 141000 | #Constraints: 17261 206.37/207.06 c #Conflicts: 142000 | #Constraints: 18261 206.37/207.06 c #Conflicts: 143000 | #Constraints: 19261 206.37/207.06 c #Conflicts: 144000 | #Constraints: 20261 206.37/207.06 c #Conflicts: 145000 | #Constraints: 21261 206.37/207.06 c #Conflicts: 146000 | #Constraints: 22261 206.37/207.06 c #Conflicts: 147000 | #Constraints: 23261 206.37/207.06 c #Conflicts: 148000 | #Constraints: 24547 206.37/207.06 c INPROCESSING 206.37/207.06 c GARBAGE COLLECT 206.37/207.06 c rational objective 2 222.52/223.21 c #Conflicts: 149000 | #Constraints: 13490 222.52/223.21 c #Conflicts: 150000 | #Constraints: 15265 222.52/223.21 c #Conflicts: 151000 | #Constraints: 17023 222.52/223.21 c #Conflicts: 152000 | #Constraints: 18046 222.52/223.21 c #Conflicts: 153000 | #Constraints: 19560 222.52/223.21 c #Conflicts: 154000 | #Constraints: 21301 222.52/223.21 c #Conflicts: 155000 | #Constraints: 23009 222.52/223.21 c #Conflicts: 156000 | #Constraints: 24752 222.52/223.21 c INPROCESSING 222.52/223.21 c GARBAGE COLLECT 222.52/223.21 c rational objective 2 237.46/238.27 c #Conflicts: 157000 | #Constraints: 13329 237.46/238.27 c #Conflicts: 158000 | #Constraints: 14329 237.46/238.27 c #Conflicts: 159000 | #Constraints: 15581 237.46/238.27 c #Conflicts: 160000 | #Constraints: 16873 237.46/238.27 c #Conflicts: 161000 | #Constraints: 18565 237.46/238.27 c #Conflicts: 162000 | #Constraints: 19658 237.46/238.27 c #Conflicts: 163000 | #Constraints: 20658 237.46/238.27 c #Conflicts: 164000 | #Constraints: 21658 237.46/238.27 c #Conflicts: 165000 | #Constraints: 22658 237.46/238.27 c INPROCESSING 237.46/238.27 c GARBAGE COLLECT 237.46/238.27 c rational objective 2 254.09/254.93 c #Conflicts: 166000 | #Constraints: 12495 254.09/254.93 c #Conflicts: 167000 | #Constraints: 13495 254.09/254.93 c #Conflicts: 168000 | #Constraints: 14495 254.09/254.93 c #Conflicts: 169000 | #Constraints: 15495 254.09/254.93 c #Conflicts: 170000 | #Constraints: 16495 254.09/254.93 c #Conflicts: 171000 | #Constraints: 17817 254.09/254.93 c #Conflicts: 172000 | #Constraints: 18995 254.09/254.93 c #Conflicts: 173000 | #Constraints: 20080 254.09/254.93 c #Conflicts: 174000 | #Constraints: 21882 254.09/254.93 c INPROCESSING 254.09/254.93 c GARBAGE COLLECT 254.09/254.93 c rational objective 2 267.35/268.29 c #Conflicts: 175000 | #Constraints: 12184 267.35/268.29 c #Conflicts: 176000 | #Constraints: 13184 267.35/268.29 c #Conflicts: 177000 | #Constraints: 14184 267.35/268.29 c #Conflicts: 178000 | #Constraints: 15184 267.35/268.29 c #Conflicts: 179000 | #Constraints: 16224 267.35/268.29 c #Conflicts: 180000 | #Constraints: 17507 267.35/268.29 c #Conflicts: 181000 | #Constraints: 18507 267.35/268.29 c #Conflicts: 182000 | #Constraints: 19507 267.35/268.29 c INPROCESSING 267.35/268.29 c GARBAGE COLLECT 267.35/268.29 c rational objective 2 280.01/280.90 c #Conflicts: 183000 | #Constraints: 10565 280.01/280.90 c #Conflicts: 184000 | #Constraints: 12259 280.01/280.90 c #Conflicts: 185000 | #Constraints: 13411 280.01/280.90 c #Conflicts: 186000 | #Constraints: 14815 280.01/280.90 c #Conflicts: 187000 | #Constraints: 15815 280.01/280.90 c #Conflicts: 188000 | #Constraints: 16815 280.01/280.90 c #Conflicts: 189000 | #Constraints: 17815 280.01/280.90 c #Conflicts: 190000 | #Constraints: 18815 280.01/280.90 c #Conflicts: 191000 | #Constraints: 19815 280.01/280.90 c #Conflicts: 192000 | #Constraints: 20815 280.01/280.90 c INPROCESSING 280.01/280.90 c GARBAGE COLLECT 280.01/280.90 c rational objective 2 292.07/293.08 c #Conflicts: 193000 | #Constraints: 11914 292.07/293.08 c #Conflicts: 194000 | #Constraints: 13389 292.07/293.08 c #Conflicts: 195000 | #Constraints: 14602 292.07/293.08 c #Conflicts: 196000 | #Constraints: 15964 292.07/293.08 c #Conflicts: 197000 | #Constraints: 17087 292.07/293.08 c #Conflicts: 198000 | #Constraints: 18302 292.07/293.08 c #Conflicts: 199000 | #Constraints: 19530 292.07/293.08 c #Conflicts: 200000 | #Constraints: 20803 292.07/293.08 c #Conflicts: 201000 | #Constraints: 21857 292.07/293.08 c INPROCESSING 292.07/293.08 c GARBAGE COLLECT 292.07/293.08 c rational objective 2 315.60/316.63 c #Conflicts: 202000 | #Constraints: 12021 315.60/316.63 c #Conflicts: 203000 | #Constraints: 13021 315.60/316.63 c #Conflicts: 204000 | #Constraints: 14021 315.60/316.63 c #Conflicts: 205000 | #Constraints: 15021 315.60/316.63 c #Conflicts: 206000 | #Constraints: 16021 315.60/316.63 c #Conflicts: 207000 | #Constraints: 17021 315.60/316.63 c #Conflicts: 208000 | #Constraints: 18021 315.60/316.63 c #Conflicts: 209000 | #Constraints: 19021 315.60/316.63 c #Conflicts: 210000 | #Constraints: 20021 315.60/316.63 c INPROCESSING 315.60/316.63 c GARBAGE COLLECT 315.60/316.63 c rational objective 2 413.99/415.32 c #Conflicts: 211000 | #Constraints: 10805 413.99/415.32 c #Conflicts: 212000 | #Constraints: 11805 413.99/415.32 c #Conflicts: 213000 | #Constraints: 12805 413.99/415.32 c #Conflicts: 214000 | #Constraints: 13805 413.99/415.32 c #Conflicts: 215000 | #Constraints: 14805 413.99/415.32 c #Conflicts: 216000 | #Constraints: 15805 413.99/415.32 c #Conflicts: 217000 | #Constraints: 16805 413.99/415.32 c #Conflicts: 218000 | #Constraints: 17805 413.99/415.32 c #Conflicts: 219000 | #Constraints: 18805 413.99/415.32 c #Conflicts: 220000 | #Constraints: 19805 413.99/415.32 c #Conflicts: 221000 | #Constraints: 20805 413.99/415.32 c #Conflicts: 222000 | #Constraints: 21805 413.99/415.32 c #Conflicts: 223000 | #Constraints: 22805 413.99/415.32 c #Conflicts: 224000 | #Constraints: 23805 413.99/415.32 c #Conflicts: 225000 | #Constraints: 24805 413.99/415.32 c #Conflicts: 226000 | #Constraints: 25805 413.99/415.32 c #Conflicts: 227000 | #Constraints: 26805 413.99/415.32 c #Conflicts: 228000 | #Constraints: 27805 413.99/415.32 c #Conflicts: 229000 | #Constraints: 28805 413.99/415.32 c #Conflicts: 230000 | #Constraints: 29805 413.99/415.32 c #Conflicts: 231000 | #Constraints: 30805 413.99/415.32 c #Conflicts: 232000 | #Constraints: 31805 413.99/415.32 c #Conflicts: 233000 | #Constraints: 32805 413.99/415.32 c #Conflicts: 234000 | #Constraints: 33896 413.99/415.32 c #Conflicts: 235000 | #Constraints: 34955 413.99/415.32 c #Conflicts: 236000 | #Constraints: 35955 413.99/415.32 c #Conflicts: 237000 | #Constraints: 36955 413.99/415.32 c #Conflicts: 238000 | #Constraints: 37955 413.99/415.32 c #Conflicts: 239000 | #Constraints: 39076 413.99/415.32 c #Conflicts: 240000 | #Constraints: 40076 413.99/415.32 c #Conflicts: 241000 | #Constraints: 41076 413.99/415.32 c #Conflicts: 242000 | #Constraints: 42076 413.99/415.32 c #Conflicts: 243000 | #Constraints: 43076 413.99/415.32 c #Conflicts: 244000 | #Constraints: 44145 413.99/415.32 c #Conflicts: 245000 | #Constraints: 45145 413.99/415.32 c #Conflicts: 246000 | #Constraints: 46145 413.99/415.32 c #Conflicts: 247000 | #Constraints: 47145 413.99/415.32 c #Conflicts: 248000 | #Constraints: 48145 413.99/415.32 c #Conflicts: 249000 | #Constraints: 49145 413.99/415.32 c #Conflicts: 250000 | #Constraints: 50145 413.99/415.32 c #Conflicts: 251000 | #Constraints: 51145 413.99/415.32 c #Conflicts: 252000 | #Constraints: 52145 413.99/415.32 c INPROCESSING 413.99/415.32 c GARBAGE COLLECT 413.99/415.32 c rational objective 2.00004 473.89/475.45 c #Conflicts: 253000 | #Constraints: 27111 473.89/475.45 c #Conflicts: 254000 | #Constraints: 28111 473.89/475.45 c #Conflicts: 255000 | #Constraints: 29111 473.89/475.45 c #Conflicts: 256000 | #Constraints: 30595 473.89/475.45 c #Conflicts: 257000 | #Constraints: 31595 473.89/475.45 c #Conflicts: 258000 | #Constraints: 32595 473.89/475.45 c #Conflicts: 259000 | #Constraints: 33595 473.89/475.45 c #Conflicts: 260000 | #Constraints: 34595 473.89/475.45 c #Conflicts: 261000 | #Constraints: 35595 473.89/475.45 c #Conflicts: 262000 | #Constraints: 36595 473.89/475.45 c INPROCESSING 473.89/475.45 c GARBAGE COLLECT 473.89/475.45 c rational objective 1.99992 511.67/513.36 c #Conflicts: 263000 | #Constraints: 19046 511.67/513.36 c #Conflicts: 264000 | #Constraints: 20125 511.67/513.36 c #Conflicts: 265000 | #Constraints: 21232 511.67/513.36 c #Conflicts: 266000 | #Constraints: 22443 511.67/513.36 c #Conflicts: 267000 | #Constraints: 23539 511.67/513.36 c #Conflicts: 268000 | #Constraints: 24539 511.67/513.36 c #Conflicts: 269000 | #Constraints: 25539 511.67/513.36 c #Conflicts: 270000 | #Constraints: 26539 511.67/513.36 c #Conflicts: 271000 | #Constraints: 27539 511.67/513.36 c #Conflicts: 272000 | #Constraints: 28539 511.67/513.36 c #Conflicts: 273000 | #Constraints: 29539 511.67/513.36 c INPROCESSING 511.67/513.36 c GARBAGE COLLECT 511.67/513.36 c rational objective 2.00005 537.20/538.98 c #Conflicts: 274000 | #Constraints: 15526 537.20/538.98 c #Conflicts: 275000 | #Constraints: 16624 537.20/538.98 c #Conflicts: 276000 | #Constraints: 17624 537.20/538.98 c #Conflicts: 277000 | #Constraints: 18671 537.20/538.98 c #Conflicts: 278000 | #Constraints: 20469 537.20/538.98 c #Conflicts: 279000 | #Constraints: 21680 537.20/538.98 c #Conflicts: 280000 | #Constraints: 23203 537.20/538.98 c #Conflicts: 281000 | #Constraints: 24266 537.20/538.98 c #Conflicts: 282000 | #Constraints: 25871 537.20/538.98 c #Conflicts: 283000 | #Constraints: 26871 537.20/538.98 c #Conflicts: 284000 | #Constraints: 27871 537.20/538.98 c #Conflicts: 285000 | #Constraints: 28871 537.20/538.98 c INPROCESSING 537.20/538.98 c GARBAGE COLLECT 537.20/538.98 c rational objective 1.94048 570.31/572.12 c #Conflicts: 286000 | #Constraints: 16166 570.31/572.12 c #Conflicts: 287000 | #Constraints: 17960 570.31/572.12 c #Conflicts: 288000 | #Constraints: 19382 570.31/572.12 c #Conflicts: 289000 | #Constraints: 20382 570.31/572.12 c #Conflicts: 290000 | #Constraints: 21382 570.31/572.12 c #Conflicts: 291000 | #Constraints: 22382 570.31/572.12 c #Conflicts: 292000 | #Constraints: 23382 570.31/572.12 c #Conflicts: 293000 | #Constraints: 24382 570.31/572.12 c #Conflicts: 294000 | #Constraints: 25751 570.31/572.12 c #Conflicts: 295000 | #Constraints: 27107 570.31/572.12 c #Conflicts: 296000 | #Constraints: 28356 570.31/572.12 c INPROCESSING 570.31/572.12 c GARBAGE COLLECT 570.31/572.12 c rational objective 1.91608 617.84/619.80 c #Conflicts: 297000 | #Constraints: 15423 617.84/619.80 c #Conflicts: 298000 | #Constraints: 16648 617.84/619.80 c #Conflicts: 299000 | #Constraints: 17648 617.84/619.80 c #Conflicts: 300000 | #Constraints: 19072 617.84/619.80 c #Conflicts: 301000 | #Constraints: 20772 617.84/619.80 c #Conflicts: 302000 | #Constraints: 22191 617.84/619.80 c #Conflicts: 303000 | #Constraints: 23672 617.84/619.80 c #Conflicts: 304000 | #Constraints: 25297 617.84/619.80 c #Conflicts: 305000 | #Constraints: 26815 617.84/619.80 c #Conflicts: 306000 | #Constraints: 28477 617.84/619.80 c #Conflicts: 307000 | #Constraints: 30154 617.84/619.80 c #Conflicts: 308000 | #Constraints: 31885 617.84/619.80 c INPROCESSING 617.84/619.80 c GARBAGE COLLECT 617.84/619.80 c rational objective 1.9961 670.57/672.78 c #Conflicts: 309000 | #Constraints: 17733 670.57/672.78 c #Conflicts: 310000 | #Constraints: 19521 670.57/672.78 c #Conflicts: 311000 | #Constraints: 21160 670.57/672.78 c #Conflicts: 312000 | #Constraints: 22940 670.57/672.78 c #Conflicts: 313000 | #Constraints: 24755 670.57/672.78 c #Conflicts: 314000 | #Constraints: 26587 670.57/672.78 c #Conflicts: 315000 | #Constraints: 28334 670.57/672.78 c #Conflicts: 316000 | #Constraints: 29978 670.57/672.78 c #Conflicts: 317000 | #Constraints: 31740 670.57/672.78 c #Conflicts: 318000 | #Constraints: 33419 670.57/672.78 c #Conflicts: 319000 | #Constraints: 35071 670.57/672.78 c INPROCESSING 670.57/672.78 c GARBAGE COLLECT 670.57/672.78 c rational objective 1.9975 738.54/740.91 c #Conflicts: 320000 | #Constraints: 18453 738.54/740.91 c #Conflicts: 321000 | #Constraints: 20188 738.54/740.91 c #Conflicts: 322000 | #Constraints: 21898 738.54/740.91 c #Conflicts: 323000 | #Constraints: 23472 738.54/740.91 c #Conflicts: 324000 | #Constraints: 24473 738.54/740.91 c #Conflicts: 325000 | #Constraints: 25473 738.54/740.91 c #Conflicts: 326000 | #Constraints: 26473 738.54/740.91 c #Conflicts: 327000 | #Constraints: 27473 738.54/740.91 c #Conflicts: 328000 | #Constraints: 28473 738.54/740.91 c #Conflicts: 329000 | #Constraints: 29473 738.54/740.91 c #Conflicts: 330000 | #Constraints: 30473 738.54/740.91 c #Conflicts: 331000 | #Constraints: 31719 738.54/740.91 c INPROCESSING 738.54/740.91 c GARBAGE COLLECT 738.54/740.91 c rational objective 1.99792 1074.45/1078.00 c #Conflicts: 332000 | #Constraints: 17419 1074.45/1078.00 c #Conflicts: 333000 | #Constraints: 18694 1074.45/1078.00 c #Conflicts: 334000 | #Constraints: 20176 1074.45/1078.00 c #Conflicts: 335000 | #Constraints: 21889 1074.45/1078.00 c #Conflicts: 336000 | #Constraints: 23555 1074.45/1078.00 c #Conflicts: 337000 | #Constraints: 24724 1074.45/1078.00 c #Conflicts: 338000 | #Constraints: 26469 1074.45/1078.00 c #Conflicts: 339000 | #Constraints: 27967 1074.45/1078.00 c #Conflicts: 340000 | #Constraints: 29153 1074.45/1078.00 c #Conflicts: 341000 | #Constraints: 30153 1074.45/1078.00 c #Conflicts: 342000 | #Constraints: 31509 1074.45/1078.00 c #Conflicts: 343000 | #Constraints: 33204 1074.45/1078.00 c #Conflicts: 344000 | #Constraints: 34896 1074.45/1078.00 c #Conflicts: 345000 | #Constraints: 36331 1074.45/1078.00 c #Conflicts: 346000 | #Constraints: 37331 1074.45/1078.00 c #Conflicts: 347000 | #Constraints: 38331 1074.45/1078.00 c #Conflicts: 348000 | #Constraints: 39331 1074.45/1078.00 c #Conflicts: 349000 | #Constraints: 40331 1074.45/1078.00 c #Conflicts: 350000 | #Constraints: 41331 1074.45/1078.00 c #Conflicts: 351000 | #Constraints: 42331 1074.45/1078.00 c #Conflicts: 352000 | #Constraints: 43331 1074.45/1078.00 c #Conflicts: 353000 | #Constraints: 44581 1074.45/1078.00 c #Conflicts: 354000 | #Constraints: 46295 1074.45/1078.00 c #Conflicts: 355000 | #Constraints: 47790 1074.45/1078.00 c #Conflicts: 356000 | #Constraints: 48975 1074.45/1078.00 c #Conflicts: 357000 | #Constraints: 50755 1074.45/1078.00 c #Conflicts: 358000 | #Constraints: 52605 1074.45/1078.00 c #Conflicts: 359000 | #Constraints: 54341 1074.45/1078.00 c #Conflicts: 360000 | #Constraints: 56036 1074.45/1078.00 c #Conflicts: 361000 | #Constraints: 57755 1074.45/1078.00 c #Conflicts: 362000 | #Constraints: 59286 1074.45/1078.00 c #Conflicts: 363000 | #Constraints: 61016 1074.45/1078.00 c #Conflicts: 364000 | #Constraints: 62737 1074.45/1078.00 c #Conflicts: 365000 | #Constraints: 64440 1074.45/1078.00 c #Conflicts: 366000 | #Constraints: 66224 1074.45/1078.00 c #Conflicts: 367000 | #Constraints: 67944 1074.45/1078.00 c #Conflicts: 368000 | #Constraints: 69611 1074.45/1078.00 c #Conflicts: 369000 | #Constraints: 71296 1074.45/1078.00 c #Conflicts: 370000 | #Constraints: 73029 1074.45/1078.00 c #Conflicts: 371000 | #Constraints: 74844 1074.45/1078.00 c #Conflicts: 372000 | #Constraints: 76227 1074.45/1078.00 c #Conflicts: 373000 | #Constraints: 77227 1074.45/1078.00 c #Conflicts: 374000 | #Constraints: 78862 1074.45/1078.00 c #Conflicts: 375000 | #Constraints: 80582 1074.45/1078.00 c #Conflicts: 376000 | #Constraints: 82332 1074.45/1078.00 c #Conflicts: 377000 | #Constraints: 84031 1074.45/1078.00 c #Conflicts: 378000 | #Constraints: 85727 1074.45/1078.00 c #Conflicts: 379000 | #Constraints: 87553 1074.45/1078.00 c #Conflicts: 380000 | #Constraints: 88595 1074.45/1078.00 c #Conflicts: 381000 | #Constraints: 89595 1074.45/1078.00 c #Conflicts: 382000 | #Constraints: 90595 1074.45/1078.00 c INPROCESSING 1074.45/1078.00 c GARBAGE COLLECT 1074.45/1078.00 c rational objective 1.99766 1236.68/1240.77 c #Conflicts: 383000 | #Constraints: 46244 1236.68/1240.77 c #Conflicts: 384000 | #Constraints: 48094 1236.68/1240.77 c #Conflicts: 385000 | #Constraints: 49225 1236.68/1240.77 c #Conflicts: 386000 | #Constraints: 50225 1236.68/1240.77 c #Conflicts: 387000 | #Constraints: 51225 1236.68/1240.77 c #Conflicts: 388000 | #Constraints: 52225 1236.68/1240.77 c #Conflicts: 389000 | #Constraints: 53760 1236.68/1240.77 c #Conflicts: 390000 | #Constraints: 55505 1236.68/1240.77 c #Conflicts: 391000 | #Constraints: 57227 1236.68/1240.77 c #Conflicts: 392000 | #Constraints: 58986 1236.68/1240.77 c #Conflicts: 393000 | #Constraints: 60147 1236.68/1240.77 c #Conflicts: 394000 | #Constraints: 61147 1236.68/1240.77 c #Conflicts: 395000 | #Constraints: 62147 1236.68/1240.77 c #Conflicts: 396000 | #Constraints: 63147 1236.68/1240.77 c INPROCESSING 1236.68/1240.77 c GARBAGE COLLECT 1236.68/1240.77 c rational objective 1.99778 1344.02/1348.47 c #Conflicts: 397000 | #Constraints: 33013 1344.02/1348.47 c #Conflicts: 398000 | #Constraints: 34309 1344.02/1348.47 c #Conflicts: 399000 | #Constraints: 35692 1344.02/1348.47 c #Conflicts: 400000 | #Constraints: 37454 1344.02/1348.47 c #Conflicts: 401000 | #Constraints: 39203 1344.02/1348.47 c #Conflicts: 402000 | #Constraints: 40931 1344.02/1348.47 c #Conflicts: 403000 | #Constraints: 42636 1344.02/1348.47 c #Conflicts: 404000 | #Constraints: 44310 1344.02/1348.47 c #Conflicts: 405000 | #Constraints: 45987 1344.02/1348.47 c #Conflicts: 406000 | #Constraints: 47721 1344.02/1348.47 c #Conflicts: 407000 | #Constraints: 48952 1344.02/1348.47 c #Conflicts: 408000 | #Constraints: 49952 1344.02/1348.47 c #Conflicts: 409000 | #Constraints: 50952 1344.02/1348.47 c INPROCESSING 1344.02/1348.47 c GARBAGE COLLECT 1344.02/1348.47 c rational objective 1.99867 1424.75/1429.44 c #Conflicts: 410000 | #Constraints: 26664 1424.75/1429.44 c #Conflicts: 411000 | #Constraints: 28474 1424.75/1429.44 c #Conflicts: 412000 | #Constraints: 30292 1424.75/1429.44 c #Conflicts: 413000 | #Constraints: 32060 1424.75/1429.44 c #Conflicts: 414000 | #Constraints: 33802 1424.75/1429.44 c #Conflicts: 415000 | #Constraints: 35534 1424.75/1429.44 c #Conflicts: 416000 | #Constraints: 37285 1424.75/1429.44 c #Conflicts: 417000 | #Constraints: 38981 1424.75/1429.44 c #Conflicts: 418000 | #Constraints: 40714 1424.75/1429.44 c #Conflicts: 419000 | #Constraints: 41794 1424.75/1429.44 c #Conflicts: 420000 | #Constraints: 42794 1424.75/1429.44 c #Conflicts: 421000 | #Constraints: 43794 1424.75/1429.44 c #Conflicts: 422000 | #Constraints: 44794 1424.75/1429.44 c #Conflicts: 423000 | #Constraints: 45794 1424.75/1429.44 c INPROCESSING 1424.75/1429.44 c GARBAGE COLLECT 1424.75/1429.44 c rational objective 1.99886 1518.15/1523.14 c #Conflicts: 424000 | #Constraints: 23994 1518.15/1523.14 c #Conflicts: 425000 | #Constraints: 25854 1518.15/1523.14 c #Conflicts: 426000 | #Constraints: 27708 1518.15/1523.14 c #Conflicts: 427000 | #Constraints: 29437 1518.15/1523.14 c #Conflicts: 428000 | #Constraints: 30739 1518.15/1523.14 c #Conflicts: 429000 | #Constraints: 31913 1518.15/1523.14 c #Conflicts: 430000 | #Constraints: 33169 1518.15/1523.14 c #Conflicts: 431000 | #Constraints: 34417 1518.15/1523.14 c #Conflicts: 432000 | #Constraints: 35898 1518.15/1523.14 c #Conflicts: 433000 | #Constraints: 37182 1518.15/1523.14 c #Conflicts: 434000 | #Constraints: 38531 1518.15/1523.14 c #Conflicts: 435000 | #Constraints: 39531 1518.15/1523.14 c #Conflicts: 436000 | #Constraints: 40775 1518.15/1523.14 c #Conflicts: 437000 | #Constraints: 42134 1518.15/1523.14 c INPROCESSING 1518.15/1523.14 c GARBAGE COLLECT 1518.15/1523.14 c rational objective 1.99889 1962.47/1968.87 c #Conflicts: 438000 | #Constraints: 22646 1962.47/1968.87 c #Conflicts: 439000 | #Constraints: 24235 1962.47/1968.87 c #Conflicts: 440000 | #Constraints: 25656 1962.47/1968.87 c #Conflicts: 441000 | #Constraints: 26656 1962.47/1968.87 c #Conflicts: 442000 | #Constraints: 27656 1962.47/1968.87 c #Conflicts: 443000 | #Constraints: 28656 1962.47/1968.87 c #Conflicts: 444000 | #Constraints: 30212 1962.47/1968.87 c #Conflicts: 445000 | #Constraints: 31212 1962.47/1968.87 c #Conflicts: 446000 | #Constraints: 32212 1962.47/1968.87 c #Conflicts: 447000 | #Constraints: 33212 1962.47/1968.87 c #Conflicts: 448000 | #Constraints: 34212 1962.47/1968.87 c #Conflicts: 449000 | #Constraints: 35262 1962.47/1968.87 c #Conflicts: 450000 | #Constraints: 36390 1962.47/1968.87 c #Conflicts: 451000 | #Constraints: 37597 1962.47/1968.87 c #Conflicts: 452000 | #Constraints: 39317 1962.47/1968.87 c #Conflicts: 453000 | #Constraints: 40675 1962.47/1968.87 c #Conflicts: 454000 | #Constraints: 41863 1962.47/1968.87 c #Conflicts: 455000 | #Constraints: 42863 1962.47/1968.87 c #Conflicts: 456000 | #Constraints: 44014 1962.47/1968.87 c #Conflicts: 457000 | #Constraints: 45014 1962.47/1968.87 c #Conflicts: 458000 | #Constraints: 46221 1962.47/1968.87 c #Conflicts: 459000 | #Constraints: 47498 1962.47/1968.87 c #Conflicts: 460000 | #Constraints: 48498 1962.47/1968.87 c #Conflicts: 461000 | #Constraints: 49543 1962.47/1968.87 c #Conflicts: 462000 | #Constraints: 50543 1962.47/1968.87 c #Conflicts: 463000 | #Constraints: 51543 1962.47/1968.87 c #Conflicts: 464000 | #Constraints: 52543 1962.47/1968.87 c #Conflicts: 465000 | #Constraints: 53543 1962.47/1968.87 c #Conflicts: 466000 | #Constraints: 54543 1962.47/1968.87 c #Conflicts: 467000 | #Constraints: 55543 1962.47/1968.87 c #Conflicts: 468000 | #Constraints: 56543 1962.47/1968.87 c #Conflicts: 469000 | #Constraints: 57543 1962.47/1968.87 c #Conflicts: 470000 | #Constraints: 58543 1962.47/1968.87 c #Conflicts: 471000 | #Constraints: 59543 1962.47/1968.87 c #Conflicts: 472000 | #Constraints: 60543 1962.47/1968.87 c #Conflicts: 473000 | #Constraints: 61543 1962.47/1968.87 c #Conflicts: 474000 | #Constraints: 62543 1962.47/1968.87 c #Conflicts: 475000 | #Constraints: 63543 1962.47/1968.87 c #Conflicts: 476000 | #Constraints: 64543 1962.47/1968.87 c #Conflicts: 477000 | #Constraints: 65543 1962.47/1968.87 c #Conflicts: 478000 | #Constraints: 66543 1962.47/1968.87 c #Conflicts: 479000 | #Constraints: 67543 1962.47/1968.87 c #Conflicts: 480000 | #Constraints: 68543 1962.47/1968.87 c #Conflicts: 481000 | #Constraints: 69543 1962.47/1968.87 c #Conflicts: 482000 | #Constraints: 70543 1962.47/1968.87 c #Conflicts: 483000 | #Constraints: 71543 1962.47/1968.87 c #Conflicts: 484000 | #Constraints: 72543 1962.47/1968.87 c #Conflicts: 485000 | #Constraints: 73543 1962.47/1968.87 c #Conflicts: 486000 | #Constraints: 74543 1962.47/1968.87 c #Conflicts: 487000 | #Constraints: 75543 1962.47/1968.87 c #Conflicts: 488000 | #Constraints: 76543 1962.47/1968.87 c #Conflicts: 489000 | #Constraints: 77543 1962.47/1968.87 c #Conflicts: 490000 | #Constraints: 78543 1962.47/1968.87 c #Conflicts: 491000 | #Constraints: 79543 1962.47/1968.87 c #Conflicts: 492000 | #Constraints: 80543 1962.47/1968.87 c #Conflicts: 493000 | #Constraints: 81543 1962.47/1968.87 c #Conflicts: 494000 | #Constraints: 82543 1962.47/1968.87 c INPROCESSING 1962.47/1968.87 c GARBAGE COLLECT 1962.47/1968.87 c rational objective 1.9989 2090.37/2097.18 c #Conflicts: 495000 | #Constraints: 42491 2090.37/2097.18 c #Conflicts: 496000 | #Constraints: 44019 2090.37/2097.18 c #Conflicts: 497000 | #Constraints: 45019 2090.37/2097.18 c #Conflicts: 498000 | #Constraints: 46019 2090.37/2097.18 c #Conflicts: 499000 | #Constraints: 47381 2090.37/2097.18 c #Conflicts: 500000 | #Constraints: 48381 2090.37/2097.18 c #Conflicts: 501000 | #Constraints: 49381 2090.37/2097.18 c #Conflicts: 502000 | #Constraints: 50381 2090.37/2097.18 c #Conflicts: 503000 | #Constraints: 51381 2090.37/2097.18 c #Conflicts: 504000 | #Constraints: 52381 2090.37/2097.18 c #Conflicts: 505000 | #Constraints: 53381 2090.37/2097.18 c #Conflicts: 506000 | #Constraints: 54381 2090.37/2097.18 c #Conflicts: 507000 | #Constraints: 55381 2090.37/2097.18 c #Conflicts: 508000 | #Constraints: 56381 2090.37/2097.18 c #Conflicts: 509000 | #Constraints: 57381 2090.37/2097.18 c INPROCESSING 2090.37/2097.18 c GARBAGE COLLECT 2090.37/2097.18 c rational objective 1.99895 2189.16/2196.28 c #Conflicts: 510000 | #Constraints: 29490 2189.16/2196.28 c #Conflicts: 511000 | #Constraints: 30612 2189.16/2196.28 c #Conflicts: 512000 | #Constraints: 31612 2189.16/2196.28 c #Conflicts: 513000 | #Constraints: 32612 2189.16/2196.28 c #Conflicts: 514000 | #Constraints: 33612 2189.16/2196.28 c #Conflicts: 515000 | #Constraints: 34612 2189.16/2196.28 c #Conflicts: 516000 | #Constraints: 35612 2189.16/2196.28 c #Conflicts: 517000 | #Constraints: 36612 2189.16/2196.28 c #Conflicts: 518000 | #Constraints: 37612 2189.16/2196.28 c #Conflicts: 519000 | #Constraints: 38612 2189.16/2196.28 c #Conflicts: 520000 | #Constraints: 39646 2189.16/2196.28 c #Conflicts: 521000 | #Constraints: 40646 2189.16/2196.28 c #Conflicts: 522000 | #Constraints: 41646 2189.16/2196.28 c #Conflicts: 523000 | #Constraints: 43363 2189.16/2196.28 c #Conflicts: 524000 | #Constraints: 44447 2189.16/2196.28 c #Conflicts: 525000 | #Constraints: 45447 2189.16/2196.28 c INPROCESSING 2189.16/2196.28 c GARBAGE COLLECT 2189.16/2196.28 c rational objective 1.99905 2250.97/2258.26 c #Conflicts: 526000 | #Constraints: 24442 2250.97/2258.26 c #Conflicts: 527000 | #Constraints: 25852 2250.97/2258.26 c #Conflicts: 528000 | #Constraints: 27335 2250.97/2258.26 c #Conflicts: 529000 | #Constraints: 28335 2250.97/2258.26 c #Conflicts: 530000 | #Constraints: 29335 2250.97/2258.26 c #Conflicts: 531000 | #Constraints: 30335 2250.97/2258.26 c #Conflicts: 532000 | #Constraints: 31335 2250.97/2258.26 c #Conflicts: 533000 | #Constraints: 32335 2250.97/2258.26 c #Conflicts: 534000 | #Constraints: 33851 2250.97/2258.26 c #Conflicts: 535000 | #Constraints: 35550 2250.97/2258.26 c #Conflicts: 536000 | #Constraints: 36550 2250.97/2258.26 c #Conflicts: 537000 | #Constraints: 38095 2250.97/2258.26 c #Conflicts: 538000 | #Constraints: 39446 2250.97/2258.26 c #Conflicts: 539000 | #Constraints: 41098 2250.97/2258.26 c #Conflicts: 540000 | #Constraints: 42552 2250.97/2258.26 c INPROCESSING 2250.97/2258.26 c GARBAGE COLLECT 2250.97/2258.26 c rational objective 1.99906 2746.54/2755.31 c #Conflicts: 541000 | #Constraints: 22385 2746.54/2755.31 c #Conflicts: 542000 | #Constraints: 24162 2746.54/2755.31 c #Conflicts: 543000 | #Constraints: 25308 2746.54/2755.31 c #Conflicts: 544000 | #Constraints: 26308 2746.54/2755.31 c #Conflicts: 545000 | #Constraints: 27619 2746.54/2755.31 c #Conflicts: 546000 | #Constraints: 28619 2746.54/2755.31 c #Conflicts: 547000 | #Constraints: 29619 2746.54/2755.31 c #Conflicts: 548000 | #Constraints: 30619 2746.54/2755.31 c #Conflicts: 549000 | #Constraints: 31619 2746.54/2755.31 c #Conflicts: 550000 | #Constraints: 32619 2746.54/2755.31 c #Conflicts: 551000 | #Constraints: 33619 2746.54/2755.31 c #Conflicts: 552000 | #Constraints: 34619 2746.54/2755.31 c #Conflicts: 553000 | #Constraints: 35619 2746.54/2755.31 c #Conflicts: 554000 | #Constraints: 36619 2746.54/2755.31 c #Conflicts: 555000 | #Constraints: 37619 2746.54/2755.31 c #Conflicts: 556000 | #Constraints: 38619 2746.54/2755.31 c #Conflicts: 557000 | #Constraints: 39619 2746.54/2755.31 c #Conflicts: 558000 | #Constraints: 40619 2746.54/2755.31 c #Conflicts: 559000 | #Constraints: 41619 2746.54/2755.31 c #Conflicts: 560000 | #Constraints: 42867 2746.54/2755.31 c #Conflicts: 561000 | #Constraints: 43867 2746.54/2755.31 c #Conflicts: 562000 | #Constraints: 44867 2746.54/2755.31 c #Conflicts: 563000 | #Constraints: 45867 2746.54/2755.31 c #Conflicts: 564000 | #Constraints: 46905 2746.54/2755.31 c #Conflicts: 565000 | #Constraints: 48496 2746.54/2755.31 c #Conflicts: 566000 | #Constraints: 50221 2746.54/2755.31 c #Conflicts: 567000 | #Constraints: 51243 2746.54/2755.31 c #Conflicts: 568000 | #Constraints: 52243 2746.54/2755.31 c #Conflicts: 569000 | #Constraints: 53243 2746.54/2755.31 c #Conflicts: 570000 | #Constraints: 54342 2746.54/2755.31 c #Conflicts: 571000 | #Constraints: 55663 2746.54/2755.31 c #Conflicts: 572000 | #Constraints: 56663 2746.54/2755.31 c #Conflicts: 573000 | #Constraints: 58267 2746.54/2755.31 c #Conflicts: 574000 | #Constraints: 59662 2746.54/2755.31 c #Conflicts: 575000 | #Constraints: 60662 2746.54/2755.31 c #Conflicts: 576000 | #Constraints: 62173 2746.54/2755.31 c #Conflicts: 577000 | #Constraints: 63509 2746.54/2755.31 c #Conflicts: 578000 | #Constraints: 64509 2746.54/2755.31 c #Conflicts: 579000 | #Constraints: 65509 2746.54/2755.31 c #Conflicts: 580000 | #Constraints: 66509 2746.54/2755.31 c #Conflicts: 581000 | #Constraints: 68190 2746.54/2755.31 c #Conflicts: 582000 | #Constraints: 69577 2746.54/2755.31 c #Conflicts: 583000 | #Constraints: 70891 2746.54/2755.31 c #Conflicts: 584000 | #Constraints: 71891 2746.54/2755.31 c #Conflicts: 585000 | #Constraints: 72891 2746.54/2755.31 c #Conflicts: 586000 | #Constraints: 73891 2746.54/2755.31 c #Conflicts: 587000 | #Constraints: 74891 2746.54/2755.31 c #Conflicts: 588000 | #Constraints: 75891 2746.54/2755.31 c #Conflicts: 589000 | #Constraints: 76891 2746.54/2755.31 c #Conflicts: 590000 | #Constraints: 77970 2746.54/2755.31 c #Conflicts: 591000 | #Constraints: 79288 2746.54/2755.31 c #Conflicts: 592000 | #Constraints: 80288 2746.54/2755.31 c #Conflicts: 593000 | #Constraints: 81288 2746.54/2755.31 c #Conflicts: 594000 | #Constraints: 82288 2746.54/2755.31 c #Conflicts: 595000 | #Constraints: 83288 2746.54/2755.31 c #Conflicts: 596000 | #Constraints: 84288 2746.54/2755.31 c #Conflicts: 597000 | #Constraints: 85288 2746.54/2755.31 c #Conflicts: 598000 | #Constraints: 86288 2746.54/2755.31 c #Conflicts: 599000 | #Constraints: 87288 2746.54/2755.31 c #Conflicts: 600000 | #Constraints: 88288 2746.54/2755.31 c #Conflicts: 601000 | #Constraints: 89288 2746.54/2755.31 c #Conflicts: 602000 | #Constraints: 90331 2746.54/2755.31 c #Conflicts: 603000 | #Constraints: 91638 2746.54/2755.31 c INPROCESSING 2746.54/2755.31 c GARBAGE COLLECT 2746.54/2755.31 c rational objective 1.99907 3005.97/3015.68 c #Conflicts: 604000 | #Constraints: 46924 3005.97/3015.68 c #Conflicts: 605000 | #Constraints: 48139 3005.97/3015.68 c #Conflicts: 606000 | #Constraints: 49167 3005.97/3015.68 c #Conflicts: 607000 | #Constraints: 50281 3005.97/3015.68 c #Conflicts: 608000 | #Constraints: 51449 3005.97/3015.68 c #Conflicts: 609000 | #Constraints: 52449 3005.97/3015.68 c #Conflicts: 610000 | #Constraints: 53449 3005.97/3015.68 c #Conflicts: 611000 | #Constraints: 54489 3005.97/3015.68 c #Conflicts: 612000 | #Constraints: 55654 3005.97/3015.68 c #Conflicts: 613000 | #Constraints: 56767 3005.97/3015.68 c #Conflicts: 614000 | #Constraints: 57927 3005.97/3015.68 c #Conflicts: 615000 | #Constraints: 59019 3005.97/3015.68 c #Conflicts: 616000 | #Constraints: 60417 3005.97/3015.68 c #Conflicts: 617000 | #Constraints: 61638 3005.97/3015.68 c #Conflicts: 618000 | #Constraints: 62749 3005.97/3015.68 c #Conflicts: 619000 | #Constraints: 64015 3005.97/3015.68 c #Conflicts: 620000 | #Constraints: 65215 3005.97/3015.68 c INPROCESSING 3005.97/3015.68 c GARBAGE COLLECT 3005.97/3015.68 c rational objective 1.99914 3157.06/3167.29 c #Conflicts: 621000 | #Constraints: 33595 3157.06/3167.29 c #Conflicts: 622000 | #Constraints: 34595 3157.06/3167.29 c #Conflicts: 623000 | #Constraints: 35595 3157.06/3167.29 c #Conflicts: 624000 | #Constraints: 36595 3157.06/3167.29 c #Conflicts: 625000 | #Constraints: 37595 3157.06/3167.29 c #Conflicts: 626000 | #Constraints: 38595 3157.06/3167.29 c #Conflicts: 627000 | #Constraints: 39595 3157.06/3167.29 c #Conflicts: 628000 | #Constraints: 40595 3157.06/3167.29 c #Conflicts: 629000 | #Constraints: 41595 3157.06/3167.29 c #Conflicts: 630000 | #Constraints: 42595 3157.06/3167.29 c #Conflicts: 631000 | #Constraints: 43595 3157.06/3167.29 c #Conflicts: 632000 | #Constraints: 44595 3157.06/3167.29 c #Conflicts: 633000 | #Constraints: 45595 3157.06/3167.29 c #Conflicts: 634000 | #Constraints: 46662 3157.06/3167.29 c #Conflicts: 635000 | #Constraints: 47966 3157.06/3167.29 c #Conflicts: 636000 | #Constraints: 49070 3157.06/3167.29 c #Conflicts: 637000 | #Constraints: 50258 3157.06/3167.29 c INPROCESSING 3157.06/3167.29 c GARBAGE COLLECT 3157.06/3167.29 c rational objective 1.99916 3600.03/3611.60 c 3600.03/3611.60 s SATISFIABLE 3600.03/3611.60 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 3600.03/3611.60 c #Conflicts: 638000 | #Constraints: 26682 3600.03/3611.60 c #Conflicts: 639000 | #Constraints: 27684 3600.03/3611.60 c #Conflicts: 640000 | #Constraints: 28971 3600.03/3611.60 c #Conflicts: 641000 | #Constraints: 30037 3600.03/3611.60 c #Conflicts: 642000 | #Constraints: 31037 3600.03/3611.60 c #Conflicts: 643000 | #Constraints: 32037 3600.03/3611.60 c #Conflicts: 644000 | #Constraints: 33037 3600.03/3611.60 c #Conflicts: 645000 | #Constraints: 34037 3600.03/3611.60 c #Conflicts: 646000 | #Constraints: 35037 3600.03/3611.60 c #Conflicts: 647000 | #Constraints: 36037 3600.03/3611.60 c #Conflicts: 648000 | #Constraints: 37081 3600.03/3611.60 c #Conflicts: 649000 | #Constraints: 38081 3600.03/3611.60 c #Conflicts: 650000 | #Constraints: 39081 3600.03/3611.60 c #Conflicts: 651000 | #Constraints: 40081 3600.03/3611.60 c #Conflicts: 652000 | #Constraints: 41081 3600.03/3611.60 c #Conflicts: 653000 | #Constraints: 42081 3600.03/3611.60 c #Conflicts: 654000 | #Constraints: 43081 3600.03/3611.60 c #Conflicts: 655000 | #Constraints: 44081 3600.03/3611.60 c #Conflicts: 656000 | #Constraints: 45081 3600.03/3611.60 c #Conflicts: 657000 | #Constraints: 46081 3600.03/3611.60 c #Conflicts: 658000 | #Constraints: 47081 3600.03/3611.60 c #Conflicts: 659000 | #Constraints: 48081 3600.03/3611.60 c #Conflicts: 660000 | #Constraints: 49081 3600.03/3611.60 c #Conflicts: 661000 | #Constraints: 50151 3600.03/3611.60 c #Conflicts: 662000 | #Constraints: 51151 3600.03/3611.60 c #Conflicts: 663000 | #Constraints: 52240 3600.03/3611.60 c #Conflicts: 664000 | #Constraints: 53310 3600.03/3611.60 c #Conflicts: 665000 | #Constraints: 54591 3600.03/3611.60 c #Conflicts: 666000 | #Constraints: 55723 3600.03/3611.60 c #Conflicts: 667000 | #Constraints: 56723 3600.03/3611.60 c #Conflicts: 668000 | #Constraints: 58135 3600.03/3611.60 c #Conflicts: 669000 | #Constraints: 59191 3600.03/3611.60 c #Conflicts: 670000 | #Constraints: 60191 3600.03/3611.60 c #Conflicts: 671000 | #Constraints: 61191 3600.03/3611.60 c #Conflicts: 672000 | #Constraints: 62355 3600.03/3611.60 c #Conflicts: 673000 | #Constraints: 63558 3600.03/3611.60 c #Conflicts: 674000 | #Constraints: 64825 3600.03/3611.60 c #Conflicts: 675000 | #Constraints: 65864 3600.03/3611.60 c #Conflicts: 676000 | #Constraints: 67086 3600.03/3611.60 c #Conflicts: 677000 | #Constraints: 68086 3600.03/3611.60 c #Conflicts: 678000 | #Constraints: 69086 3600.03/3611.60 c #Conflicts: 679000 | #Constraints: 70086 3600.03/3611.60 c #Conflicts: 680000 | #Constraints: 71086 3600.03/3611.60 c #Conflicts: 681000 | #Constraints: 72086 3600.03/3611.60 c #Conflicts: 682000 | #Constraints: 73086 3600.03/3611.60 c #Conflicts: 683000 | #Constraints: 74207 3600.03/3611.60 c #Conflicts: 684000 | #Constraints: 75413 3600.03/3611.60 c #Conflicts: 685000 | #Constraints: 76413 3600.03/3611.60 c #Conflicts: 686000 | #Constraints: 77413 3600.03/3611.60 c #Conflicts: 687000 | #Constraints: 78413 3600.03/3611.60 c #Conflicts: 688000 | #Constraints: 79413 3600.03/3611.60 c #Conflicts: 689000 | #Constraints: 80413 3600.03/3611.60 c #Conflicts: 690000 | #Constraints: 81413 3600.03/3611.60 c #Conflicts: 691000 | #Constraints: 82413 3600.03/3611.60 c #Conflicts: 692000 | #Constraints: 83413 3600.03/3611.60 c #Conflicts: 693000 | #Constraints: 84413 3600.03/3611.60 c #Conflicts: 694000 | #Constraints: 85413
FAILED ERROR: unsatisfied constraint on line 7 -67622821>=-5842800 Falsified constraint is: -39559*x1[=1] -79118*x2[=1] -158236*x3[=1] -316472*x4[=1] -632944*x5[=1] -1265888*x6[=1] -2531776*x7[=1] -5063552*x8[=1] -61679*x9[=1] -123358*x10[=1] -246716*x11[=1] -493432*x12[=1] -986864*x13[=1] -1973728*x14[=1] -3947456*x15[=1] -79625*x16[=1] -159250*x17[=1] -318500*x18[=1] -637000*x19[=1] -1274000*x20[=1] -2548000*x21[=1] -5096000*x22[=1] -99658*x23[=1] -199316*x24[=1] -398632*x25[=1] -797264*x26[=1] -1594528*x27[=1] -3189056*x28[=1] -133404*x29[=1] -266808*x30[=1] -533616*x31[=1] -1067232*x32[=1] -2134464*x33[=1] -4268928*x34[=0] -137071*x35[=0] -274142*x36[=1] -548284*x37[=1] -1096568*x38[=1] -2193136*x39[=1] -4386272*x40[=1] -159757*x41[=1] -319514*x42[=1] -639028*x43[=1] -1278056*x44[=1] -2556112*x45[=1] -5112224*x46[=1] -173977*x47[=1] -347954*x48[=0] -695908*x49[=1] -1391816*x50[=1] -2783632*x51[=1] -5567264*x52[=1] >= -5842800
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 (62437 MiB free)
memory of node 1: 64473 MiB (63304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445290-1721319152/watcher-4445290-1721319152 -o /tmp/evaluation-result-4445290-1721319152/solver-4445290-1721319152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968207 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445290-1721319152.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=970519, runsolver pid=970516
[startup+0.100537 s]*
/proc/loadavg: 4.16 4.22 4.15 5/256 970520
/proc/meminfo: memFree=128757732/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=37656 memory=8472 CPUtime=0.09 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 534 0 0 0 8 1 0 0 20 0 1 0 184081412 38559744 2118 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 9414 2118 1808 922 0 1366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37656 KiB
Current children cumulated memory: 8472 KiB
[startup+0.204404 s]*
/proc/loadavg: 4.16 4.22 4.15 5/256 970520
/proc/meminfo: memFree=128757108/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=37792 memory=8736 CPUtime=0.19 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 619 0 0 0 17 2 0 0 20 0 1 0 184081412 38699008 2184 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 9448 2184 1808 922 0 1400 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 8736 KiB
[startup+0.304299 s]*
/proc/loadavg: 4.16 4.22 4.15 5/256 970520
/proc/meminfo: memFree=128754928/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=38364 memory=11308 CPUtime=0.29 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 715 0 0 0 27 2 0 0 20 0 1 0 184081412 39284736 2827 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 9591 2827 1808 922 0 1543 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38364 KiB
Current children cumulated memory: 11308 KiB
[startup+0.700143 s]
/proc/loadavg: 4.16 4.22 4.15 5/256 970520
/proc/meminfo: memFree=128754452/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=38508 memory=11572 CPUtime=0.69 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 780 0 0 0 64 5 0 0 20 0 1 0 184081412 39432192 2893 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 9627 2893 1808 922 0 1579 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38508 KiB
Current children cumulated memory: 11572 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.22 4.15 5/256 970520
/proc/meminfo: memFree=128754368/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=39116 memory=12100 CPUtime=1.48 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 942 0 0 0 140 8 0 0 20 0 1 0 184081412 40054784 3025 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 9779 3025 1808 922 0 1731 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39116 KiB
Current children cumulated memory: 12100 KiB
[startup+3.10537 s]
/proc/loadavg: 4.16 4.22 4.15 5/256 970522
/proc/meminfo: memFree=128750924/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=40092 memory=13208 CPUtime=3.08 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 1167 0 0 0 296 12 0 0 20 0 1 0 184081412 41054208 3302 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 10023 3302 1824 922 0 1975 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13208 KiB
[startup+6.30014 s]
/proc/loadavg: 4.15 4.22 4.14 5/256 970522
/proc/meminfo: memFree=128748264/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=41180 memory=14888 CPUtime=6.27 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 1593 0 0 0 605 22 0 0 20 0 1 0 184081412 42168320 3722 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 10295 3722 1824 922 0 2247 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 14888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.21 4.14 5/256 970523
/proc/meminfo: memFree=128746288/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=42716 memory=16696 CPUtime=12.65 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 1960 0 0 0 1218 47 0 0 20 0 1 0 184081412 43741184 4174 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 10679 4174 1957 922 0 2631 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42716 KiB
Current children cumulated memory: 16696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.20 4.14 5/256 970525
/proc/meminfo: memFree=128741532/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=46604 memory=19608 CPUtime=25.42 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 2653 0 0 0 2467 75 0 0 20 0 1 0 184081412 47722496 4902 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 11651 4902 1957 922 0 3603 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 46604 KiB
Current children cumulated memory: 19608 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.19 4.14 5/256 970529
/proc/meminfo: memFree=128734388/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=49500 memory=22880 CPUtime=50.97 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 3470 0 0 0 4960 137 0 0 20 0 1 0 184081412 50688000 5720 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 12375 5720 1957 922 0 4327 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 49500 KiB
Current children cumulated memory: 22880 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/256 970540
/proc/meminfo: memFree=128725864/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=55240 memory=24904 CPUtime=102.02 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 3986 0 0 0 9878 324 0 0 20 0 1 0 184081412 56565760 6226 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 13810 6226 1957 922 0 5762 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 55240 KiB
Current children cumulated memory: 24904 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/256 970550
/proc/meminfo: memFree=128700780/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=70392 memory=40492 CPUtime=161.82 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 7016 0 0 0 15732 450 0 0 20 0 1 0 184081412 72081408 10123 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 17598 10123 1957 922 0 9550 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 70392 KiB
Current children cumulated memory: 40492 KiB
[startup+222.3 s]
/proc/loadavg: 4.48 4.26 4.17 5/254 970560
/proc/meminfo: memFree=128689600/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=72764 memory=41484 CPUtime=221.62 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 7717 0 0 0 21591 571 0 0 20 0 1 0 184081412 74510336 10371 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 18191 10371 1957 922 0 10143 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 72764 KiB
Current children cumulated memory: 41484 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.26 4.17 5/256 970620
/proc/meminfo: memFree=128796768/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=72764 memory=44112 CPUtime=281.4 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 7730 0 0 0 27375 765 0 0 20 0 1 0 184081412 74510336 11028 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 18191 11028 1957 922 0 10143 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 72764 KiB
Current children cumulated memory: 44112 KiB
[startup+342.3 s]
/proc/loadavg: 4.53 4.32 4.20 5/256 970632
/proc/meminfo: memFree=128789400/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=72764 memory=45028 CPUtime=341.22 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 7768 0 0 0 33145 977 0 0 20 0 1 0 184081412 74510336 11257 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 18191 11257 1957 922 0 10143 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 72764 KiB
Current children cumulated memory: 45028 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 4.32 4.20 5/256 970643
/proc/meminfo: memFree=128781016/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=73392 memory=45340 CPUtime=401.03 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 7969 0 0 0 38998 1105 0 0 20 0 1 0 184081412 75153408 11335 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 18348 11335 1957 922 0 10300 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 45340 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.27 4.19 5/258 970702
/proc/meminfo: memFree=128789120/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=74144 memory=45772 CPUtime=460.84 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 8239 0 0 0 44892 1192 0 0 20 0 1 0 184081412 75923456 11443 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 18536 11443 1957 922 0 10488 0
################
# More data... #
################
Current children cumulated memory: 87020 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 973040
/proc/meminfo: memFree=128686488/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87020 CPUtime=2853.19 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15248 0 0 0 282313 3006 0 0 20 0 1 0 184081412 131739648 21755 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21755 1957 922 0 24115 0
Current children cumulated CPU time: 2853.19 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87020 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 973063
/proc/meminfo: memFree=128683792/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87020 CPUtime=2912.98 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15279 0 0 0 288278 3020 0 0 20 0 1 0 184081412 131739648 21755 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21755 1957 922 0 24115 0
Current children cumulated CPU time: 2912.98 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87020 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 973073
/proc/meminfo: memFree=128682892/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87032 CPUtime=2972.78 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15322 0 0 0 294246 3032 0 0 20 0 1 0 184081412 131739648 21758 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21758 1957 922 0 24115 0
Current children cumulated CPU time: 2972.78 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87032 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 973085
/proc/meminfo: memFree=128682388/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87136 CPUtime=3032.58 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15364 0 0 0 300190 3068 0 0 20 0 1 0 184081412 131739648 21784 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21784 1957 922 0 24115 0
Current children cumulated CPU time: 3032.58 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87136 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 973096
/proc/meminfo: memFree=128677348/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87136 CPUtime=3092.38 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15388 0 0 0 306120 3118 0 0 20 0 1 0 184081412 131739648 21784 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21784 1957 922 0 24115 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 973106
/proc/meminfo: memFree=128657332/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3152.19 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15414 0 0 0 312067 3152 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.17 4.11 5/254 973116
/proc/meminfo: memFree=128656344/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3211.98 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15438 0 0 0 317983 3215 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3211.98 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/254 973126
/proc/meminfo: memFree=128653680/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3271.79 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15464 0 0 0 323901 3278 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/254 973138
/proc/meminfo: memFree=128650108/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3331.6 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15490 0 0 0 329830 3330 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3331.6 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/254 973148
/proc/meminfo: memFree=128648668/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3391.41 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15518 0 0 0 335773 3368 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 973163
/proc/meminfo: memFree=128647436/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3451.21 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15547 0 0 0 341711 3410 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 973174
/proc/meminfo: memFree=128642392/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87148 CPUtime=3511.02 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15577 0 0 0 347656 3446 0 0 20 0 1 0 184081412 131739648 21787 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21787 1957 922 0 24115 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 973184
/proc/meminfo: memFree=128639888/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87152 CPUtime=3570.83 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15612 0 0 0 353601 3482 0 0 20 0 1 0 184081412 131739648 21788 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21788 1957 922 0 24115 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 973234
/proc/meminfo: memFree=127901236/131524600 swapFree=131071996/131071996
[pid=970519] ppid=970516 vsize=128652 memory=87152 CPUtime=3600.03 cores=5,7
/proc/970519/stat : 970519 (roundingsat) R 970516 970519 968194 0 -1 4194304 15616 0 0 0 356503 3500 0 0 20 0 1 0 184081412 131739648 21788 134679101440 4194304 7968869 140731389255616 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 13762560 140731389264829 140731389264993 140731389264993 140731389272009 0
/proc/970519/statm: 32163 21788 1957 922 0 24115 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 87152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 970519 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3565.04 s, system=35.0091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3611.6
CPU time (s): 3600.05
CPU user time (s): 3565.04
CPU system time (s): 35.0091
CPU usage (%): 99.6801
Max. virtual memory (cumulated for all children) (KiB): 128652
Max. memory (cumulated for all children) (KiB): 87152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.04
system time used= 35.0091
maximum resident set size= 87152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15624
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= 28
involuntary context switches= 2055
# summary of solver processes directly reported to runsolver:
# pid: 970519
# total CPU time (s): 3600.05
# total CPU user time (s): 3565.04
# total CPU system time (s): 35.0091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92316 second user time and 18.3473 second system time
The end
Begin job on nodeC026 at 2024-07-18 18:12:45 IDJOB=4445290 IDBENCH=148106 IDSOLVER=3051 FILE ID=nodeC026/4445290-1721319152 RUNJOBID= nodeC026-1721315527-968207 SLURM_JOB_ID= 7542650 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.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-4445290-1721319152/watcher-4445290-1721319152 -o /tmp/evaluation-result-4445290-1721319152/solver-4445290-1721319152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968207 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445290-1721319152.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc RANDOM SEED=652987016 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 : 3654.315 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 : 3668.990 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 : 3599.891 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 : 3600.855 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 : 3654.321 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 : 3660.671 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.010 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 : 3660.018 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: 128759804 kB MemAvailable: 129408520 kB Buffers: 520392 kB Cached: 965564 kB SwapCached: 0 kB Active: 1022396 kB Inactive: 1131604 kB Active(anon): 1548 kB Inactive(anon): 704260 kB Active(file): 1020848 kB Inactive(file): 427344 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10876 kB Writeback: 72 kB AnonPages: 661540 kB Mapped: 116396 kB Shmem: 37720 kB KReclaimable: 80692 kB Slab: 191036 kB SReclaimable: 80692 kB SUnreclaim: 110344 kB KernelStack: 4128 kB PageTables: 10740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1157720 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 67808 kB HardwareCorrupted: 0 kB AnonHugePages: 516096 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: 260820 kB DirectMap2M: 27824128 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 890004 MiB End job on nodeC026 at 2024-07-18 19:12:57