| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.07 | 3609.06 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb |
| MD5SUM | de861f201885d7430b03c8868c66597b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 17850 |
| Total number of constraints | 18152 |
| Number of constraints which are clauses | 18002 |
| Number of constraints which are cardinality constraints (but not clauses) | 150 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 150 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 151 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.09 c #variables 17850 #constraints 18152 113.74/114.03 c #Conflicts: 1000 | #Constraints: 19151 113.74/114.03 c #Conflicts: 2000 | #Constraints: 20151 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 3000 | #Constraints: 19201 113.74/114.03 c #Conflicts: 4000 | #Constraints: 20201 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 5000 | #Constraints: 19712 113.74/114.03 c #Conflicts: 6000 | #Constraints: 20712 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 7000 | #Constraints: 19609 113.74/114.03 c #Conflicts: 8000 | #Constraints: 20609 113.74/114.03 c #Conflicts: 9000 | #Constraints: 21609 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 10000 | #Constraints: 20375 113.74/114.03 c #Conflicts: 11000 | #Constraints: 21375 113.74/114.03 c #Conflicts: 12000 | #Constraints: 22375 113.74/114.03 c #Conflicts: 13000 | #Constraints: 23375 113.74/114.03 c #Conflicts: 14000 | #Constraints: 24376 113.74/114.03 c #Conflicts: 15000 | #Constraints: 25376 113.74/114.03 c #Conflicts: 16000 | #Constraints: 26376 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 17000 | #Constraints: 22659 113.74/114.03 c #Conflicts: 18000 | #Constraints: 23659 113.74/114.03 c #Conflicts: 19000 | #Constraints: 24659 113.74/114.03 c #Conflicts: 20000 | #Constraints: 25659 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 21000 | #Constraints: 22426 113.74/114.03 c #Conflicts: 22000 | #Constraints: 23426 113.74/114.03 c #Conflicts: 23000 | #Constraints: 24426 113.74/114.03 c #Conflicts: 24000 | #Constraints: 25426 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c #Conflicts: 25000 | #Constraints: 22283 113.74/114.03 c #Conflicts: 26000 | #Constraints: 23283 113.74/114.03 c #Conflicts: 27000 | #Constraints: 24283 113.74/114.03 c #Conflicts: 28000 | #Constraints: 25283 113.74/114.03 c #Conflicts: 29000 | #Constraints: 26284 113.74/114.03 c #Conflicts: 30000 | #Constraints: 27284 113.74/114.03 c #Conflicts: 31000 | #Constraints: 28284 113.74/114.03 c #Conflicts: 32000 | #Constraints: 29284 113.74/114.03 c #Conflicts: 33000 | #Constraints: 30284 113.74/114.03 c #Conflicts: 34000 | #Constraints: 31284 113.74/114.03 c #Conflicts: 35000 | #Constraints: 32284 113.74/114.03 c #Conflicts: 36000 | #Constraints: 33284 113.74/114.03 c INPROCESSING 113.74/114.03 c GARBAGE COLLECT 113.74/114.03 c rational objective 150 307.47/308.28 c #Conflicts: 37000 | #Constraints: 26515 307.47/308.28 c #Conflicts: 38000 | #Constraints: 27515 307.47/308.28 c #Conflicts: 39000 | #Constraints: 28515 307.47/308.28 c #Conflicts: 40000 | #Constraints: 29515 307.47/308.28 c #Conflicts: 41000 | #Constraints: 30515 307.47/308.28 c INPROCESSING 307.47/308.28 c GARBAGE COLLECT 307.47/308.28 c #Conflicts: 42000 | #Constraints: 25032 307.47/308.28 c #Conflicts: 43000 | #Constraints: 26033 307.47/308.28 c #Conflicts: 44000 | #Constraints: 27033 307.47/308.28 c #Conflicts: 45000 | #Constraints: 28033 307.47/308.28 c #Conflicts: 46000 | #Constraints: 29033 307.47/308.28 c #Conflicts: 47000 | #Constraints: 30033 307.47/308.28 c INPROCESSING 307.47/308.28 c GARBAGE COLLECT 307.47/308.28 c #Conflicts: 48000 | #Constraints: 24855 307.47/308.28 c #Conflicts: 49000 | #Constraints: 25855 307.47/308.28 c #Conflicts: 50000 | #Constraints: 26855 307.47/308.28 c #Conflicts: 51000 | #Constraints: 27855 307.47/308.28 c #Conflicts: 52000 | #Constraints: 28855 307.47/308.28 c #Conflicts: 53000 | #Constraints: 29855 307.47/308.28 c #Conflicts: 54000 | #Constraints: 30855 307.47/308.28 c #Conflicts: 55000 | #Constraints: 31855 307.47/308.28 c #Conflicts: 56000 | #Constraints: 32855 307.47/308.28 c #Conflicts: 57000 | #Constraints: 33856 307.47/308.28 c #Conflicts: 58000 | #Constraints: 34856 307.47/308.28 c #Conflicts: 59000 | #Constraints: 35856 307.47/308.28 c #Conflicts: 60000 | #Constraints: 36856 307.47/308.28 c #Conflicts: 61000 | #Constraints: 37856 307.47/308.28 c #Conflicts: 62000 | #Constraints: 38856 307.47/308.28 c INPROCESSING 307.47/308.28 c GARBAGE COLLECT 307.47/308.28 c #Conflicts: 63000 | #Constraints: 29074 307.47/308.28 c #Conflicts: 64000 | #Constraints: 30074 307.47/308.28 c #Conflicts: 65000 | #Constraints: 31074 307.47/308.28 c #Conflicts: 66000 | #Constraints: 32074 307.47/308.28 c #Conflicts: 67000 | #Constraints: 33074 307.47/308.28 c #Conflicts: 68000 | #Constraints: 34074 307.47/308.28 c #Conflicts: 69000 | #Constraints: 35074 307.47/308.28 c INPROCESSING 307.47/308.28 c GARBAGE COLLECT 307.47/308.28 c #Conflicts: 70000 | #Constraints: 27317 307.47/308.28 c #Conflicts: 71000 | #Constraints: 28317 307.47/308.28 c #Conflicts: 72000 | #Constraints: 29318 307.47/308.28 c #Conflicts: 73000 | #Constraints: 30318 307.47/308.28 c #Conflicts: 74000 | #Constraints: 31318 307.47/308.28 c #Conflicts: 75000 | #Constraints: 32318 307.47/308.28 c #Conflicts: 76000 | #Constraints: 33318 307.47/308.28 c #Conflicts: 77000 | #Constraints: 34318 307.47/308.28 c #Conflicts: 78000 | #Constraints: 35318 307.47/308.28 c #Conflicts: 79000 | #Constraints: 36318 307.47/308.28 c #Conflicts: 80000 | #Constraints: 37318 307.47/308.28 c #Conflicts: 81000 | #Constraints: 38318 307.47/308.28 c #Conflicts: 82000 | #Constraints: 39318 307.47/308.28 c #Conflicts: 83000 | #Constraints: 40318 307.47/308.28 c #Conflicts: 84000 | #Constraints: 41318 307.47/308.28 c #Conflicts: 85000 | #Constraints: 42319 307.47/308.28 c #Conflicts: 86000 | #Constraints: 43319 307.47/308.28 c #Conflicts: 87000 | #Constraints: 44319 307.47/308.28 c #Conflicts: 88000 | #Constraints: 45319 307.47/308.28 c INPROCESSING 307.47/308.28 c GARBAGE COLLECT 307.47/308.28 c rational objective 150 330.92/331.78 c #Conflicts: 89000 | #Constraints: 32486 330.92/331.78 c #Conflicts: 90000 | #Constraints: 33486 330.92/331.78 c #Conflicts: 91000 | #Constraints: 34486 330.92/331.78 c #Conflicts: 92000 | #Constraints: 35486 330.92/331.78 c #Conflicts: 93000 | #Constraints: 36486 330.92/331.78 c #Conflicts: 94000 | #Constraints: 37486 330.92/331.78 c #Conflicts: 95000 | #Constraints: 38486 330.92/331.78 c #Conflicts: 96000 | #Constraints: 39486 330.92/331.78 c INPROCESSING 330.92/331.78 c GARBAGE COLLECT 330.92/331.78 c rational objective 150 392.20/393.15 c #Conflicts: 97000 | #Constraints: 29574 392.20/393.15 c #Conflicts: 98000 | #Constraints: 30574 392.20/393.15 c #Conflicts: 99000 | #Constraints: 31574 392.20/393.15 c #Conflicts: 100000 | #Constraints: 32574 392.20/393.15 c #Conflicts: 101000 | #Constraints: 33574 392.20/393.15 c #Conflicts: 102000 | #Constraints: 34574 392.20/393.15 c #Conflicts: 103000 | #Constraints: 35574 392.20/393.15 c #Conflicts: 104000 | #Constraints: 36574 392.20/393.15 c #Conflicts: 105000 | #Constraints: 37574 392.20/393.15 c #Conflicts: 106000 | #Constraints: 38574 392.20/393.15 c #Conflicts: 107000 | #Constraints: 39574 392.20/393.15 c #Conflicts: 108000 | #Constraints: 40574 392.20/393.15 c #Conflicts: 109000 | #Constraints: 41574 392.20/393.15 c #Conflicts: 110000 | #Constraints: 42574 392.20/393.15 c #Conflicts: 111000 | #Constraints: 43574 392.20/393.15 c #Conflicts: 112000 | #Constraints: 44574 392.20/393.15 c #Conflicts: 113000 | #Constraints: 45574 392.20/393.15 c #Conflicts: 114000 | #Constraints: 46574 392.20/393.15 c #Conflicts: 115000 | #Constraints: 47574 392.20/393.15 c #Conflicts: 116000 | #Constraints: 48574 392.20/393.15 c #Conflicts: 117000 | #Constraints: 49574 392.20/393.15 c #Conflicts: 118000 | #Constraints: 50574 392.20/393.15 c INPROCESSING 392.20/393.15 c GARBAGE COLLECT 392.20/393.15 c rational objective 150 415.93/416.93 c #Conflicts: 119000 | #Constraints: 35213 415.93/416.93 c #Conflicts: 120000 | #Constraints: 36213 415.93/416.93 c #Conflicts: 121000 | #Constraints: 37213 415.93/416.93 c #Conflicts: 122000 | #Constraints: 38213 415.93/416.93 c #Conflicts: 123000 | #Constraints: 39213 415.93/416.93 c #Conflicts: 124000 | #Constraints: 40213 415.93/416.93 c #Conflicts: 125000 | #Constraints: 41213 415.93/416.93 c #Conflicts: 126000 | #Constraints: 42213 415.93/416.93 c #Conflicts: 127000 | #Constraints: 43213 415.93/416.93 c #Conflicts: 128000 | #Constraints: 44213 415.93/416.93 c INPROCESSING 415.93/416.93 c GARBAGE COLLECT 415.93/416.93 c rational objective 150 523.00/524.24 c #Conflicts: 129000 | #Constraints: 32257 523.00/524.24 c #Conflicts: 130000 | #Constraints: 33258 523.00/524.24 c #Conflicts: 131000 | #Constraints: 34259 523.00/524.24 c #Conflicts: 132000 | #Constraints: 35260 523.00/524.24 c #Conflicts: 133000 | #Constraints: 36260 523.00/524.24 c #Conflicts: 134000 | #Constraints: 37260 523.00/524.24 c #Conflicts: 135000 | #Constraints: 38260 523.00/524.24 c #Conflicts: 136000 | #Constraints: 39260 523.00/524.24 c #Conflicts: 137000 | #Constraints: 40260 523.00/524.24 c #Conflicts: 138000 | #Constraints: 41260 523.00/524.24 c #Conflicts: 139000 | #Constraints: 42260 523.00/524.24 c #Conflicts: 140000 | #Constraints: 43260 523.00/524.24 c #Conflicts: 141000 | #Constraints: 44260 523.00/524.24 c #Conflicts: 142000 | #Constraints: 45260 523.00/524.24 c #Conflicts: 143000 | #Constraints: 46260 523.00/524.24 c #Conflicts: 144000 | #Constraints: 47260 523.00/524.24 c #Conflicts: 145000 | #Constraints: 48260 523.00/524.24 c #Conflicts: 146000 | #Constraints: 49260 523.00/524.24 c #Conflicts: 147000 | #Constraints: 50260 523.00/524.24 c #Conflicts: 148000 | #Constraints: 51260 523.00/524.24 c #Conflicts: 149000 | #Constraints: 52260 523.00/524.24 c #Conflicts: 150000 | #Constraints: 53261 523.00/524.24 c #Conflicts: 151000 | #Constraints: 54261 523.00/524.24 c #Conflicts: 152000 | #Constraints: 55261 523.00/524.24 c #Conflicts: 153000 | #Constraints: 56261 523.00/524.24 c INPROCESSING 523.00/524.24 c GARBAGE COLLECT 523.00/524.24 c rational objective 150 640.53/642.04 c #Conflicts: 154000 | #Constraints: 38401 640.53/642.04 c #Conflicts: 155000 | #Constraints: 39401 640.53/642.04 c #Conflicts: 156000 | #Constraints: 40401 640.53/642.04 c #Conflicts: 157000 | #Constraints: 41401 640.53/642.04 c #Conflicts: 158000 | #Constraints: 42401 640.53/642.04 c #Conflicts: 159000 | #Constraints: 43401 640.53/642.04 c #Conflicts: 160000 | #Constraints: 44401 640.53/642.04 c #Conflicts: 161000 | #Constraints: 45401 640.53/642.04 c #Conflicts: 162000 | #Constraints: 46402 640.53/642.04 c #Conflicts: 163000 | #Constraints: 47402 640.53/642.04 c INPROCESSING 640.53/642.04 c GARBAGE COLLECT 640.53/642.04 c rational objective 150 839.48/841.44 c #Conflicts: 164000 | #Constraints: 33673 839.48/841.44 c #Conflicts: 165000 | #Constraints: 34673 839.48/841.44 c #Conflicts: 166000 | #Constraints: 35673 839.48/841.44 c #Conflicts: 167000 | #Constraints: 36673 839.48/841.44 c #Conflicts: 168000 | #Constraints: 37673 839.48/841.44 c #Conflicts: 169000 | #Constraints: 38673 839.48/841.44 c #Conflicts: 170000 | #Constraints: 39673 839.48/841.44 c #Conflicts: 171000 | #Constraints: 40673 839.48/841.44 c #Conflicts: 172000 | #Constraints: 41673 839.48/841.44 c #Conflicts: 173000 | #Constraints: 42673 839.48/841.44 c #Conflicts: 174000 | #Constraints: 43673 839.48/841.44 c #Conflicts: 175000 | #Constraints: 44673 839.48/841.44 c #Conflicts: 176000 | #Constraints: 45673 839.48/841.44 c #Conflicts: 177000 | #Constraints: 46673 839.48/841.44 c #Conflicts: 178000 | #Constraints: 47673 839.48/841.44 c #Conflicts: 179000 | #Constraints: 48673 839.48/841.44 c #Conflicts: 180000 | #Constraints: 49673 839.48/841.44 c #Conflicts: 181000 | #Constraints: 50673 839.48/841.44 c #Conflicts: 182000 | #Constraints: 51674 839.48/841.44 c #Conflicts: 183000 | #Constraints: 52674 839.48/841.44 c #Conflicts: 184000 | #Constraints: 53674 839.48/841.44 c #Conflicts: 185000 | #Constraints: 54674 839.48/841.44 c #Conflicts: 186000 | #Constraints: 55674 839.48/841.44 c #Conflicts: 187000 | #Constraints: 56674 839.48/841.44 c #Conflicts: 188000 | #Constraints: 57674 839.48/841.44 c #Conflicts: 189000 | #Constraints: 58674 839.48/841.44 c #Conflicts: 190000 | #Constraints: 59674 839.48/841.44 c #Conflicts: 191000 | #Constraints: 60674 839.48/841.44 c INPROCESSING 839.48/841.44 c GARBAGE COLLECT 839.48/841.44 c #Conflicts: 192000 | #Constraints: 40073 839.48/841.44 c #Conflicts: 193000 | #Constraints: 41073 839.48/841.44 c #Conflicts: 194000 | #Constraints: 42073 839.48/841.44 c #Conflicts: 195000 | #Constraints: 43073 839.48/841.44 c #Conflicts: 196000 | #Constraints: 44073 839.48/841.44 c #Conflicts: 197000 | #Constraints: 45074 839.48/841.44 c #Conflicts: 198000 | #Constraints: 46074 839.48/841.44 c #Conflicts: 199000 | #Constraints: 47074 839.48/841.44 c #Conflicts: 200000 | #Constraints: 48074 839.48/841.44 c #Conflicts: 201000 | #Constraints: 49074 839.48/841.44 c #Conflicts: 202000 | #Constraints: 50074 839.48/841.44 c #Conflicts: 203000 | #Constraints: 51074 839.48/841.44 c #Conflicts: 204000 | #Constraints: 52074 839.48/841.44 c INPROCESSING 839.48/841.44 c GARBAGE COLLECT 839.48/841.44 c #Conflicts: 205000 | #Constraints: 36289 839.48/841.44 c #Conflicts: 206000 | #Constraints: 37289 839.48/841.44 c #Conflicts: 207000 | #Constraints: 38289 839.48/841.44 c #Conflicts: 208000 | #Constraints: 39289 839.48/841.44 c #Conflicts: 209000 | #Constraints: 40289 839.48/841.44 c #Conflicts: 210000 | #Constraints: 41289 839.48/841.44 c #Conflicts: 211000 | #Constraints: 42289 839.48/841.44 c #Conflicts: 212000 | #Constraints: 43289 839.48/841.44 c #Conflicts: 213000 | #Constraints: 44290 839.48/841.44 c #Conflicts: 214000 | #Constraints: 45290 839.48/841.44 c #Conflicts: 215000 | #Constraints: 46290 839.48/841.44 c #Conflicts: 216000 | #Constraints: 47290 839.48/841.44 c #Conflicts: 217000 | #Constraints: 48290 839.48/841.44 c #Conflicts: 218000 | #Constraints: 49290 839.48/841.44 c #Conflicts: 219000 | #Constraints: 50290 839.48/841.44 c #Conflicts: 220000 | #Constraints: 51290 839.48/841.44 c #Conflicts: 221000 | #Constraints: 52290 839.48/841.44 c #Conflicts: 222000 | #Constraints: 53290 839.48/841.44 c #Conflicts: 223000 | #Constraints: 54290 839.48/841.44 c #Conflicts: 224000 | #Constraints: 55290 839.48/841.44 c #Conflicts: 225000 | #Constraints: 56290 839.48/841.44 c #Conflicts: 226000 | #Constraints: 57290 839.48/841.44 c #Conflicts: 227000 | #Constraints: 58290 839.48/841.44 c #Conflicts: 228000 | #Constraints: 59290 839.48/841.44 c #Conflicts: 229000 | #Constraints: 60290 839.48/841.44 c #Conflicts: 230000 | #Constraints: 61290 839.48/841.44 c #Conflicts: 231000 | #Constraints: 62290 839.48/841.44 c #Conflicts: 232000 | #Constraints: 63291 839.48/841.44 c #Conflicts: 233000 | #Constraints: 64291 839.48/841.44 c #Conflicts: 234000 | #Constraints: 65291 839.48/841.44 c #Conflicts: 235000 | #Constraints: 66291 839.48/841.44 c INPROCESSING 839.48/841.44 c GARBAGE COLLECT 839.48/841.44 c rational objective 150 966.29/968.56 c #Conflicts: 236000 | #Constraints: 43409 966.29/968.56 c #Conflicts: 237000 | #Constraints: 44409 966.29/968.56 c #Conflicts: 238000 | #Constraints: 45409 966.29/968.56 c #Conflicts: 239000 | #Constraints: 46409 966.29/968.56 c #Conflicts: 240000 | #Constraints: 47409 966.29/968.56 c #Conflicts: 241000 | #Constraints: 48409 966.29/968.56 c #Conflicts: 242000 | #Constraints: 49409 966.29/968.56 c #Conflicts: 243000 | #Constraints: 50409 966.29/968.56 c #Conflicts: 244000 | #Constraints: 51410 966.29/968.56 c #Conflicts: 245000 | #Constraints: 52410 966.29/968.56 c #Conflicts: 246000 | #Constraints: 53410 966.29/968.56 c #Conflicts: 247000 | #Constraints: 54410 966.29/968.56 c #Conflicts: 248000 | #Constraints: 55410 966.29/968.56 c INPROCESSING 966.29/968.56 c GARBAGE COLLECT 966.29/968.56 c rational objective 150 1126.82/1129.49 c #Conflicts: 249000 | #Constraints: 37699 1126.82/1129.49 c #Conflicts: 250000 | #Constraints: 38699 1126.82/1129.49 c #Conflicts: 251000 | #Constraints: 39699 1126.82/1129.49 c #Conflicts: 252000 | #Constraints: 40699 1126.82/1129.49 c #Conflicts: 253000 | #Constraints: 41699 1126.82/1129.49 c #Conflicts: 254000 | #Constraints: 42699 1126.82/1129.49 c #Conflicts: 255000 | #Constraints: 43699 1126.82/1129.49 c #Conflicts: 256000 | #Constraints: 44699 1126.82/1129.49 c #Conflicts: 257000 | #Constraints: 45699 1126.82/1129.49 c #Conflicts: 258000 | #Constraints: 46699 1126.82/1129.49 c #Conflicts: 259000 | #Constraints: 47699 1126.82/1129.49 c #Conflicts: 260000 | #Constraints: 48699 1126.82/1129.49 c #Conflicts: 261000 | #Constraints: 49700 1126.82/1129.49 c #Conflicts: 262000 | #Constraints: 50700 1126.82/1129.49 c #Conflicts: 263000 | #Constraints: 51700 1126.82/1129.49 c #Conflicts: 264000 | #Constraints: 52700 1126.82/1129.49 c #Conflicts: 265000 | #Constraints: 53700 1126.82/1129.49 c #Conflicts: 266000 | #Constraints: 54701 1126.82/1129.49 c #Conflicts: 267000 | #Constraints: 55701 1126.82/1129.49 c #Conflicts: 268000 | #Constraints: 56701 1126.82/1129.49 c #Conflicts: 269000 | #Constraints: 57701 1126.82/1129.49 c #Conflicts: 270000 | #Constraints: 58701 1126.82/1129.49 c #Conflicts: 271000 | #Constraints: 59701 1126.82/1129.49 c #Conflicts: 272000 | #Constraints: 60701 1126.82/1129.49 c #Conflicts: 273000 | #Constraints: 61701 1126.82/1129.49 c #Conflicts: 274000 | #Constraints: 62701 1126.82/1129.49 c #Conflicts: 275000 | #Constraints: 63701 1126.82/1129.49 c #Conflicts: 276000 | #Constraints: 64701 1126.82/1129.49 c #Conflicts: 277000 | #Constraints: 65701 1126.82/1129.49 c #Conflicts: 278000 | #Constraints: 66701 1126.82/1129.49 c #Conflicts: 279000 | #Constraints: 67701 1126.82/1129.49 c #Conflicts: 280000 | #Constraints: 68701 1126.82/1129.49 c #Conflicts: 281000 | #Constraints: 69701 1126.82/1129.49 c #Conflicts: 282000 | #Constraints: 70701 1126.82/1129.49 c INPROCESSING 1126.82/1129.49 c GARBAGE COLLECT 1126.82/1129.49 c #Conflicts: 283000 | #Constraints: 45324 1126.82/1129.49 c #Conflicts: 284000 | #Constraints: 46324 1126.82/1129.49 c #Conflicts: 285000 | #Constraints: 47324 1126.82/1129.49 c #Conflicts: 286000 | #Constraints: 48324 1126.82/1129.49 c #Conflicts: 287000 | #Constraints: 49324 1126.82/1129.49 c #Conflicts: 288000 | #Constraints: 50324 1126.82/1129.49 c #Conflicts: 289000 | #Constraints: 51324 1126.82/1129.49 c #Conflicts: 290000 | #Constraints: 52324 1126.82/1129.49 c #Conflicts: 291000 | #Constraints: 53324 1126.82/1129.49 c #Conflicts: 292000 | #Constraints: 54324 1126.82/1129.49 c #Conflicts: 293000 | #Constraints: 55324 1126.82/1129.49 c #Conflicts: 294000 | #Constraints: 56325 1126.82/1129.49 c #Conflicts: 295000 | #Constraints: 57325 1126.82/1129.49 c #Conflicts: 296000 | #Constraints: 58325 1126.82/1129.49 c #Conflicts: 297000 | #Constraints: 59325 1126.82/1129.49 c INPROCESSING 1126.82/1129.49 c GARBAGE COLLECT 1126.82/1129.49 c #Conflicts: 298000 | #Constraints: 39849 1126.82/1129.49 c #Conflicts: 299000 | #Constraints: 40850 1126.82/1129.49 c #Conflicts: 300000 | #Constraints: 41850 1126.82/1129.49 c #Conflicts: 301000 | #Constraints: 42850 1126.82/1129.49 c #Conflicts: 302000 | #Constraints: 43850 1126.82/1129.49 c #Conflicts: 303000 | #Constraints: 44850 1126.82/1129.49 c #Conflicts: 304000 | #Constraints: 45850 1126.82/1129.49 c #Conflicts: 305000 | #Constraints: 46850 1126.82/1129.49 c #Conflicts: 306000 | #Constraints: 47850 1126.82/1129.50 c #Conflicts: 307000 | #Constraints: 48850 1126.82/1129.50 c #Conflicts: 308000 | #Constraints: 49850 1126.82/1129.50 c #Conflicts: 309000 | #Constraints: 50850 1126.82/1129.50 c #Conflicts: 310000 | #Constraints: 51850 1126.82/1129.50 c #Conflicts: 311000 | #Constraints: 52850 1126.82/1129.50 c #Conflicts: 312000 | #Constraints: 53850 1126.82/1129.50 c #Conflicts: 313000 | #Constraints: 54850 1126.82/1129.50 c #Conflicts: 314000 | #Constraints: 55850 1126.82/1129.50 c #Conflicts: 315000 | #Constraints: 56851 1126.82/1129.50 c #Conflicts: 316000 | #Constraints: 57851 1126.82/1129.50 c #Conflicts: 317000 | #Constraints: 58851 1126.82/1129.50 c #Conflicts: 318000 | #Constraints: 59851 1126.82/1129.50 c #Conflicts: 319000 | #Constraints: 60851 1126.82/1129.50 c #Conflicts: 320000 | #Constraints: 61851 1126.82/1129.50 c #Conflicts: 321000 | #Constraints: 62851 1126.82/1129.50 c #Conflicts: 322000 | #Constraints: 63851 1126.82/1129.50 c #Conflicts: 323000 | #Constraints: 64852 1126.82/1129.50 c #Conflicts: 324000 | #Constraints: 65852 1126.82/1129.50 c #Conflicts: 325000 | #Constraints: 66852 1126.82/1129.50 c #Conflicts: 326000 | #Constraints: 67852 1494.76/1498.24 c #Conflicts: 327000 | #Constraints: 68852 1494.76/1498.24 c #Conflicts: 328000 | #Constraints: 69852 1494.76/1498.24 c #Conflicts: 329000 | #Constraints: 70852 1494.76/1498.24 c #Conflicts: 330000 | #Constraints: 71852 1494.76/1498.24 c #Conflicts: 331000 | #Constraints: 72852 1494.76/1498.24 c #Conflicts: 332000 | #Constraints: 73852 1494.76/1498.24 c #Conflicts: 333000 | #Constraints: 74853 1494.76/1498.24 c #Conflicts: 334000 | #Constraints: 75853 1494.76/1498.24 c #Conflicts: 335000 | #Constraints: 76853 1494.76/1498.24 c INPROCESSING 1494.76/1498.24 c GARBAGE COLLECT 1494.76/1498.24 c #Conflicts: 336000 | #Constraints: 48914 1494.76/1498.24 c #Conflicts: 337000 | #Constraints: 49914 1494.76/1498.24 c #Conflicts: 338000 | #Constraints: 50914 1494.76/1498.24 c #Conflicts: 339000 | #Constraints: 51914 1494.76/1498.24 c #Conflicts: 340000 | #Constraints: 52914 1494.76/1498.24 c #Conflicts: 341000 | #Constraints: 53914 1494.76/1498.24 c #Conflicts: 342000 | #Constraints: 54914 1494.76/1498.24 c #Conflicts: 343000 | #Constraints: 55914 1494.76/1498.24 c #Conflicts: 344000 | #Constraints: 56914 1494.76/1498.24 c #Conflicts: 345000 | #Constraints: 57914 1494.76/1498.24 c #Conflicts: 346000 | #Constraints: 58914 1494.76/1498.24 c #Conflicts: 347000 | #Constraints: 59914 1494.76/1498.24 c #Conflicts: 348000 | #Constraints: 60914 1494.76/1498.24 c #Conflicts: 349000 | #Constraints: 61914 1494.76/1498.24 c #Conflicts: 350000 | #Constraints: 62914 1494.76/1498.24 c #Conflicts: 351000 | #Constraints: 63914 1494.76/1498.24 c INPROCESSING 1494.76/1498.24 c GARBAGE COLLECT 1494.76/1498.24 c #Conflicts: 352000 | #Constraints: 42497 1494.76/1498.24 c #Conflicts: 353000 | #Constraints: 43497 1494.76/1498.24 c #Conflicts: 354000 | #Constraints: 44497 1494.76/1498.24 c #Conflicts: 355000 | #Constraints: 45497 1494.76/1498.24 c #Conflicts: 356000 | #Constraints: 46497 1494.76/1498.24 c #Conflicts: 357000 | #Constraints: 47497 1494.76/1498.24 c #Conflicts: 358000 | #Constraints: 48497 1494.76/1498.24 c #Conflicts: 359000 | #Constraints: 49497 1494.76/1498.24 c #Conflicts: 360000 | #Constraints: 50497 1494.76/1498.24 c #Conflicts: 361000 | #Constraints: 51497 1494.76/1498.24 c #Conflicts: 362000 | #Constraints: 52497 1494.76/1498.24 c #Conflicts: 363000 | #Constraints: 53497 1494.76/1498.24 c #Conflicts: 364000 | #Constraints: 54497 1494.76/1498.24 c #Conflicts: 365000 | #Constraints: 55497 1494.76/1498.24 c #Conflicts: 366000 | #Constraints: 56497 1494.76/1498.24 c #Conflicts: 367000 | #Constraints: 57497 1494.76/1498.24 c #Conflicts: 368000 | #Constraints: 58497 1494.76/1498.24 c #Conflicts: 369000 | #Constraints: 59497 1494.76/1498.24 c #Conflicts: 370000 | #Constraints: 60497 1494.76/1498.24 c #Conflicts: 371000 | #Constraints: 61497 1494.76/1498.24 c #Conflicts: 372000 | #Constraints: 62497 1494.76/1498.24 c #Conflicts: 373000 | #Constraints: 63497 1494.76/1498.24 c #Conflicts: 374000 | #Constraints: 64497 1494.76/1498.24 c #Conflicts: 375000 | #Constraints: 65497 1494.76/1498.24 c #Conflicts: 376000 | #Constraints: 66498 1494.76/1498.24 c #Conflicts: 377000 | #Constraints: 67498 1494.76/1498.24 c #Conflicts: 378000 | #Constraints: 68498 1494.76/1498.24 c #Conflicts: 379000 | #Constraints: 69498 1494.76/1498.24 c #Conflicts: 380000 | #Constraints: 70498 1494.76/1498.24 c #Conflicts: 381000 | #Constraints: 71498 1494.76/1498.24 c #Conflicts: 382000 | #Constraints: 72498 1494.76/1498.24 c #Conflicts: 383000 | #Constraints: 73498 1494.76/1498.24 c #Conflicts: 384000 | #Constraints: 74498 1494.76/1498.24 c #Conflicts: 385000 | #Constraints: 75498 1494.76/1498.24 c #Conflicts: 386000 | #Constraints: 76498 1494.76/1498.24 c #Conflicts: 387000 | #Constraints: 77498 1494.76/1498.24 c #Conflicts: 388000 | #Constraints: 78498 1494.76/1498.24 c #Conflicts: 389000 | #Constraints: 79498 1494.76/1498.24 c #Conflicts: 390000 | #Constraints: 80498 1494.76/1498.24 c #Conflicts: 391000 | #Constraints: 81498 1494.76/1498.24 c INPROCESSING 1494.76/1498.24 c GARBAGE COLLECT 1494.76/1498.24 c rational objective 150 1696.98/1700.96 c #Conflicts: 392000 | #Constraints: 51014 1696.98/1700.96 c #Conflicts: 393000 | #Constraints: 52014 1696.98/1700.96 c #Conflicts: 394000 | #Constraints: 53014 1696.98/1700.96 c #Conflicts: 395000 | #Constraints: 54014 1696.98/1700.96 c #Conflicts: 396000 | #Constraints: 55014 1696.98/1700.96 c #Conflicts: 397000 | #Constraints: 56014 1696.98/1700.96 c #Conflicts: 398000 | #Constraints: 57014 1696.98/1700.96 c #Conflicts: 399000 | #Constraints: 58014 1696.98/1700.96 c #Conflicts: 400000 | #Constraints: 59014 1696.98/1700.96 c #Conflicts: 401000 | #Constraints: 60014 1696.98/1700.96 c #Conflicts: 402000 | #Constraints: 61014 1696.98/1700.96 c #Conflicts: 403000 | #Constraints: 62014 1696.98/1700.96 c #Conflicts: 404000 | #Constraints: 63014 1696.98/1700.96 c #Conflicts: 405000 | #Constraints: 64014 1696.98/1700.96 c #Conflicts: 406000 | #Constraints: 65014 1696.98/1700.96 c #Conflicts: 407000 | #Constraints: 66014 1696.98/1700.96 c #Conflicts: 408000 | #Constraints: 67014 1696.98/1700.96 c INPROCESSING 1696.98/1700.96 c GARBAGE COLLECT 1696.98/1700.96 c #Conflicts: 409000 | #Constraints: 44145 1696.98/1700.96 c #Conflicts: 410000 | #Constraints: 45145 1696.98/1700.96 c #Conflicts: 411000 | #Constraints: 46145 1696.98/1700.96 c #Conflicts: 412000 | #Constraints: 47145 1696.98/1700.96 c #Conflicts: 413000 | #Constraints: 48145 1696.98/1700.96 c #Conflicts: 414000 | #Constraints: 49145 1696.98/1700.96 c #Conflicts: 415000 | #Constraints: 50145 1696.98/1700.96 c #Conflicts: 416000 | #Constraints: 51145 1696.98/1700.96 c #Conflicts: 417000 | #Constraints: 52145 1696.98/1700.96 c #Conflicts: 418000 | #Constraints: 53145 1696.98/1700.96 c #Conflicts: 419000 | #Constraints: 54145 1696.98/1700.96 c #Conflicts: 420000 | #Constraints: 55145 1696.98/1700.96 c #Conflicts: 421000 | #Constraints: 56145 1696.98/1700.96 c #Conflicts: 422000 | #Constraints: 57145 1696.98/1700.96 c #Conflicts: 423000 | #Constraints: 58146 1696.98/1700.96 c #Conflicts: 424000 | #Constraints: 59146 1696.98/1700.96 c #Conflicts: 425000 | #Constraints: 60146 1696.98/1700.96 c #Conflicts: 426000 | #Constraints: 61146 1696.98/1700.96 c #Conflicts: 427000 | #Constraints: 62146 1696.98/1700.96 c #Conflicts: 428000 | #Constraints: 63146 1696.98/1700.96 c #Conflicts: 429000 | #Constraints: 64146 1696.98/1700.96 c #Conflicts: 430000 | #Constraints: 65146 1696.98/1700.96 c #Conflicts: 431000 | #Constraints: 66146 1696.98/1700.96 c #Conflicts: 432000 | #Constraints: 67146 1696.98/1700.96 c #Conflicts: 433000 | #Constraints: 68146 1696.98/1700.96 c #Conflicts: 434000 | #Constraints: 69146 1696.98/1700.96 c #Conflicts: 435000 | #Constraints: 70146 1696.98/1700.96 c #Conflicts: 436000 | #Constraints: 71146 1696.98/1700.96 c #Conflicts: 437000 | #Constraints: 72146 1696.98/1700.96 c #Conflicts: 438000 | #Constraints: 73146 1696.98/1700.96 c #Conflicts: 439000 | #Constraints: 74146 1696.98/1700.96 c #Conflicts: 440000 | #Constraints: 75147 1696.98/1700.96 c #Conflicts: 441000 | #Constraints: 76147 1696.98/1700.96 c #Conflicts: 442000 | #Constraints: 77147 1696.98/1700.96 c #Conflicts: 443000 | #Constraints: 78147 1696.98/1700.96 c #Conflicts: 444000 | #Constraints: 79147 1696.98/1700.96 c #Conflicts: 445000 | #Constraints: 80147 1696.98/1700.96 c #Conflicts: 446000 | #Constraints: 81147 1696.98/1700.96 c #Conflicts: 447000 | #Constraints: 82147 1696.98/1700.96 c #Conflicts: 448000 | #Constraints: 83147 1696.98/1700.96 c #Conflicts: 449000 | #Constraints: 84147 1696.98/1700.96 c #Conflicts: 450000 | #Constraints: 85147 1696.98/1700.96 c #Conflicts: 451000 | #Constraints: 86147 1696.98/1700.96 c #Conflicts: 452000 | #Constraints: 87147 1696.98/1700.96 c INPROCESSING 1696.98/1700.96 c GARBAGE COLLECT 1696.98/1700.96 c rational objective 150 1774.71/1778.86 c #Conflicts: 453000 | #Constraints: 53979 1774.71/1778.86 c #Conflicts: 454000 | #Constraints: 54979 1774.71/1778.86 c #Conflicts: 455000 | #Constraints: 55979 1774.71/1778.86 c #Conflicts: 456000 | #Constraints: 56979 1774.71/1778.86 c #Conflicts: 457000 | #Constraints: 57979 1774.71/1778.86 c #Conflicts: 458000 | #Constraints: 58980 1774.71/1778.86 c #Conflicts: 459000 | #Constraints: 59981 1774.71/1778.86 c #Conflicts: 460000 | #Constraints: 60982 1774.71/1778.86 c #Conflicts: 461000 | #Constraints: 61983 1774.71/1778.86 c #Conflicts: 462000 | #Constraints: 62985 1774.71/1778.86 c #Conflicts: 463000 | #Constraints: 63985 1774.71/1778.86 c #Conflicts: 464000 | #Constraints: 64986 1774.71/1778.86 c #Conflicts: 465000 | #Constraints: 65986 1774.71/1778.86 c #Conflicts: 466000 | #Constraints: 66987 1774.71/1778.86 c #Conflicts: 467000 | #Constraints: 67987 1774.71/1778.86 c #Conflicts: 468000 | #Constraints: 68987 1774.71/1778.86 c #Conflicts: 469000 | #Constraints: 69987 1774.71/1778.86 c #Conflicts: 470000 | #Constraints: 70987 1774.71/1778.86 c #Conflicts: 471000 | #Constraints: 71987 1774.71/1778.86 c INPROCESSING 1774.71/1778.86 c GARBAGE COLLECT 1774.71/1778.86 c rational objective 150 2130.37/2135.39 c #Conflicts: 472000 | #Constraints: 46693 2130.37/2135.39 c #Conflicts: 473000 | #Constraints: 47693 2130.37/2135.39 c #Conflicts: 474000 | #Constraints: 48693 2130.37/2135.39 c #Conflicts: 475000 | #Constraints: 49693 2130.37/2135.39 c #Conflicts: 476000 | #Constraints: 50693 2130.37/2135.39 c #Conflicts: 477000 | #Constraints: 51693 2130.37/2135.39 c #Conflicts: 478000 | #Constraints: 52693 2130.37/2135.39 c #Conflicts: 479000 | #Constraints: 53693 2130.37/2135.39 c #Conflicts: 480000 | #Constraints: 54694 2130.37/2135.39 c #Conflicts: 481000 | #Constraints: 55694 2130.37/2135.39 c #Conflicts: 482000 | #Constraints: 56694 2130.37/2135.39 c #Conflicts: 483000 | #Constraints: 57694 2130.37/2135.39 c #Conflicts: 484000 | #Constraints: 58694 2130.37/2135.39 c #Conflicts: 485000 | #Constraints: 59695 2130.37/2135.39 c #Conflicts: 486000 | #Constraints: 60695 2130.37/2135.39 c #Conflicts: 487000 | #Constraints: 61695 2130.37/2135.39 c #Conflicts: 488000 | #Constraints: 62695 2130.37/2135.39 c #Conflicts: 489000 | #Constraints: 63695 2130.37/2135.39 c #Conflicts: 490000 | #Constraints: 64695 2130.37/2135.39 c #Conflicts: 491000 | #Constraints: 65695 2130.37/2135.39 c #Conflicts: 492000 | #Constraints: 66695 2130.37/2135.39 c #Conflicts: 493000 | #Constraints: 67695 2130.37/2135.39 c #Conflicts: 494000 | #Constraints: 68695 2130.37/2135.39 c #Conflicts: 495000 | #Constraints: 69695 2130.37/2135.39 c #Conflicts: 496000 | #Constraints: 70695 2130.37/2135.39 c #Conflicts: 497000 | #Constraints: 71695 2130.37/2135.39 c #Conflicts: 498000 | #Constraints: 72695 2130.37/2135.39 c #Conflicts: 499000 | #Constraints: 73695 2130.37/2135.39 c #Conflicts: 500000 | #Constraints: 74697 2130.37/2135.39 c #Conflicts: 501000 | #Constraints: 75697 2130.37/2135.39 c #Conflicts: 502000 | #Constraints: 76697 2130.37/2135.39 c #Conflicts: 503000 | #Constraints: 77698 2130.37/2135.39 c #Conflicts: 504000 | #Constraints: 78698 2130.37/2135.39 c #Conflicts: 505000 | #Constraints: 79698 2130.37/2135.39 c #Conflicts: 506000 | #Constraints: 80698 2130.37/2135.39 c #Conflicts: 507000 | #Constraints: 81698 2130.37/2135.39 c #Conflicts: 508000 | #Constraints: 82698 2130.37/2135.39 c #Conflicts: 509000 | #Constraints: 83698 2130.37/2135.39 c #Conflicts: 510000 | #Constraints: 84698 2130.37/2135.39 c #Conflicts: 511000 | #Constraints: 85698 2130.37/2135.39 c #Conflicts: 512000 | #Constraints: 86698 2130.37/2135.39 c #Conflicts: 513000 | #Constraints: 87698 2130.37/2135.39 c #Conflicts: 514000 | #Constraints: 88698 2130.37/2135.39 c #Conflicts: 515000 | #Constraints: 89698 2130.37/2135.39 c #Conflicts: 516000 | #Constraints: 90698 2130.37/2135.39 c #Conflicts: 517000 | #Constraints: 91698 2130.37/2135.39 c INPROCESSING 2130.37/2135.39 c GARBAGE COLLECT 2130.37/2135.39 c rational objective 150 2179.35/2184.42 c #Conflicts: 518000 | #Constraints: 55934 2179.35/2184.42 c #Conflicts: 519000 | #Constraints: 56934 2179.35/2184.42 c #Conflicts: 520000 | #Constraints: 57934 2179.35/2184.42 c #Conflicts: 521000 | #Constraints: 58934 2179.35/2184.42 c #Conflicts: 522000 | #Constraints: 59934 2179.35/2184.42 c #Conflicts: 523000 | #Constraints: 60934 2179.35/2184.42 c #Conflicts: 524000 | #Constraints: 61934 2179.35/2184.42 c #Conflicts: 525000 | #Constraints: 62934 2179.35/2184.42 c #Conflicts: 526000 | #Constraints: 63934 2179.35/2184.42 c #Conflicts: 527000 | #Constraints: 64934 2179.35/2184.42 c #Conflicts: 528000 | #Constraints: 65934 2179.35/2184.42 c #Conflicts: 529000 | #Constraints: 66934 2179.35/2184.42 c #Conflicts: 530000 | #Constraints: 67934 2179.35/2184.42 c #Conflicts: 531000 | #Constraints: 68934 2179.35/2184.42 c #Conflicts: 532000 | #Constraints: 69934 2179.35/2184.42 c #Conflicts: 533000 | #Constraints: 70934 2179.35/2184.42 c #Conflicts: 534000 | #Constraints: 71934 2179.35/2184.42 c #Conflicts: 535000 | #Constraints: 72934 2179.35/2184.42 c #Conflicts: 536000 | #Constraints: 73934 2179.35/2184.42 c #Conflicts: 537000 | #Constraints: 74934 2179.35/2184.42 c INPROCESSING 2179.35/2184.42 c GARBAGE COLLECT 2179.35/2184.42 c rational objective 150 2388.47/2394.10 c #Conflicts: 538000 | #Constraints: 47950 2388.47/2394.10 c #Conflicts: 539000 | #Constraints: 48950 2388.47/2394.10 c #Conflicts: 540000 | #Constraints: 49950 2388.47/2394.10 c #Conflicts: 541000 | #Constraints: 50950 2388.47/2394.10 c #Conflicts: 542000 | #Constraints: 51950 2388.47/2394.10 c #Conflicts: 543000 | #Constraints: 52950 2388.47/2394.10 c #Conflicts: 544000 | #Constraints: 53950 2388.47/2394.10 c #Conflicts: 545000 | #Constraints: 54950 2388.47/2394.10 c #Conflicts: 546000 | #Constraints: 55950 2388.47/2394.10 c #Conflicts: 547000 | #Constraints: 56950 2388.47/2394.10 c #Conflicts: 548000 | #Constraints: 57950 2388.47/2394.10 c #Conflicts: 549000 | #Constraints: 58950 2388.47/2394.10 c #Conflicts: 550000 | #Constraints: 59950 2388.47/2394.10 c #Conflicts: 551000 | #Constraints: 60950 2388.47/2394.10 c #Conflicts: 552000 | #Constraints: 61950 2388.47/2394.10 c #Conflicts: 553000 | #Constraints: 62950 2388.47/2394.10 c #Conflicts: 554000 | #Constraints: 63950 2388.47/2394.10 c #Conflicts: 555000 | #Constraints: 64950 2388.47/2394.10 c #Conflicts: 556000 | #Constraints: 65950 2388.47/2394.10 c #Conflicts: 557000 | #Constraints: 66950 2388.47/2394.10 c #Conflicts: 558000 | #Constraints: 67950 2388.47/2394.10 c #Conflicts: 559000 | #Constraints: 68950 2388.47/2394.10 c #Conflicts: 560000 | #Constraints: 69950 2388.47/2394.10 c #Conflicts: 561000 | #Constraints: 70950 2388.47/2394.10 c #Conflicts: 562000 | #Constraints: 71950 2388.47/2394.10 c #Conflicts: 563000 | #Constraints: 72950 2388.47/2394.10 c #Conflicts: 564000 | #Constraints: 73950 2388.47/2394.10 c #Conflicts: 565000 | #Constraints: 74950 2388.47/2394.10 c #Conflicts: 566000 | #Constraints: 75950 2388.47/2394.10 c #Conflicts: 567000 | #Constraints: 76950 2388.47/2394.10 c #Conflicts: 568000 | #Constraints: 77951 2388.47/2394.10 c #Conflicts: 569000 | #Constraints: 78951 2388.47/2394.10 c #Conflicts: 570000 | #Constraints: 79951 2388.47/2394.10 c #Conflicts: 571000 | #Constraints: 80951 2388.47/2394.10 c #Conflicts: 572000 | #Constraints: 81951 2388.47/2394.10 c #Conflicts: 573000 | #Constraints: 82951 2388.47/2394.10 c #Conflicts: 574000 | #Constraints: 83951 2388.47/2394.10 c #Conflicts: 575000 | #Constraints: 84951 2388.47/2394.10 c #Conflicts: 576000 | #Constraints: 85951 2388.47/2394.10 c #Conflicts: 577000 | #Constraints: 86951 2388.47/2394.10 c #Conflicts: 578000 | #Constraints: 87951 2388.47/2394.10 c #Conflicts: 579000 | #Constraints: 88951 2388.47/2394.10 c #Conflicts: 580000 | #Constraints: 89951 2388.47/2394.10 c #Conflicts: 581000 | #Constraints: 90951 2388.47/2394.10 c #Conflicts: 582000 | #Constraints: 91951 2388.47/2394.10 c #Conflicts: 583000 | #Constraints: 92951 2388.47/2394.10 c #Conflicts: 584000 | #Constraints: 93952 2388.47/2394.10 c #Conflicts: 585000 | #Constraints: 94952 2388.47/2394.10 c #Conflicts: 586000 | #Constraints: 95952 2388.47/2394.10 c #Conflicts: 587000 | #Constraints: 96952 2388.47/2394.10 c INPROCESSING 2388.47/2394.10 c GARBAGE COLLECT 2388.47/2394.10 c rational objective 150 2647.78/2653.92 c #Conflicts: 588000 | #Constraints: 59128 2647.78/2653.92 c #Conflicts: 589000 | #Constraints: 60128 2647.78/2653.92 c #Conflicts: 590000 | #Constraints: 61128 2647.78/2653.92 c #Conflicts: 591000 | #Constraints: 62128 2647.78/2653.92 c #Conflicts: 592000 | #Constraints: 63128 2647.78/2653.92 c #Conflicts: 593000 | #Constraints: 64128 2647.78/2653.92 c #Conflicts: 594000 | #Constraints: 65128 2647.78/2653.92 c #Conflicts: 595000 | #Constraints: 66128 2647.78/2653.92 c #Conflicts: 596000 | #Constraints: 67128 2647.78/2653.92 c #Conflicts: 597000 | #Constraints: 68128 2647.78/2653.92 c #Conflicts: 598000 | #Constraints: 69128 2647.78/2653.92 c #Conflicts: 599000 | #Constraints: 70128 2647.78/2653.92 c #Conflicts: 600000 | #Constraints: 71128 2647.78/2653.92 c #Conflicts: 601000 | #Constraints: 72128 2647.78/2653.92 c #Conflicts: 602000 | #Constraints: 73128 2647.78/2653.92 c #Conflicts: 603000 | #Constraints: 74128 2647.78/2653.92 c #Conflicts: 604000 | #Constraints: 75128 2647.78/2653.92 c #Conflicts: 605000 | #Constraints: 76128 2647.78/2653.92 c #Conflicts: 606000 | #Constraints: 77128 2647.78/2653.92 c #Conflicts: 607000 | #Constraints: 78128 2647.78/2653.92 c #Conflicts: 608000 | #Constraints: 79129 2647.78/2653.92 c INPROCESSING 2647.78/2653.92 c GARBAGE COLLECT 2647.78/2653.92 c rational objective 150 2849.51/2856.18 c #Conflicts: 609000 | #Constraints: 50604 2849.51/2856.18 c #Conflicts: 610000 | #Constraints: 51604 2849.51/2856.18 c #Conflicts: 611000 | #Constraints: 52604 2849.51/2856.18 c #Conflicts: 612000 | #Constraints: 53604 2849.51/2856.18 c #Conflicts: 613000 | #Constraints: 54604 2849.51/2856.18 c #Conflicts: 614000 | #Constraints: 55604 2849.51/2856.18 c #Conflicts: 615000 | #Constraints: 56604 2849.51/2856.18 c #Conflicts: 616000 | #Constraints: 57604 2849.51/2856.18 c #Conflicts: 617000 | #Constraints: 58604 2849.51/2856.18 c #Conflicts: 618000 | #Constraints: 59604 2849.51/2856.18 c #Conflicts: 619000 | #Constraints: 60604 2849.51/2856.18 c #Conflicts: 620000 | #Constraints: 61604 2849.51/2856.18 c #Conflicts: 621000 | #Constraints: 62604 2849.51/2856.18 c #Conflicts: 622000 | #Constraints: 63604 2849.51/2856.18 c #Conflicts: 623000 | #Constraints: 64604 2849.51/2856.18 c #Conflicts: 624000 | #Constraints: 65604 2849.51/2856.18 c #Conflicts: 625000 | #Constraints: 66604 2849.51/2856.18 c #Conflicts: 626000 | #Constraints: 67604 2849.51/2856.18 c #Conflicts: 627000 | #Constraints: 68604 2849.51/2856.18 c #Conflicts: 628000 | #Constraints: 69605 2849.51/2856.18 c #Conflicts: 629000 | #Constraints: 70606 2849.51/2856.18 c #Conflicts: 630000 | #Constraints: 71606 2849.51/2856.18 c #Conflicts: 631000 | #Constraints: 72606 2849.51/2856.18 c #Conflicts: 632000 | #Constraints: 73606 2849.51/2856.18 c #Conflicts: 633000 | #Constraints: 74607 2849.51/2856.18 c #Conflicts: 634000 | #Constraints: 75607 2849.51/2856.18 c #Conflicts: 635000 | #Constraints: 76608 2849.51/2856.18 c #Conflicts: 636000 | #Constraints: 77608 2849.51/2856.18 c #Conflicts: 637000 | #Constraints: 78608 2849.51/2856.18 c #Conflicts: 638000 | #Constraints: 79609 2849.51/2856.18 c #Conflicts: 639000 | #Constraints: 80609 2849.51/2856.18 c #Conflicts: 640000 | #Constraints: 81609 2849.51/2856.18 c #Conflicts: 641000 | #Constraints: 82609 2849.51/2856.18 c #Conflicts: 642000 | #Constraints: 83609 2849.51/2856.18 c #Conflicts: 643000 | #Constraints: 84609 2849.51/2856.18 c #Conflicts: 644000 | #Constraints: 85609 2849.51/2856.18 c #Conflicts: 645000 | #Constraints: 86609 2849.51/2856.18 c #Conflicts: 646000 | #Constraints: 87609 2849.51/2856.18 c #Conflicts: 647000 | #Constraints: 88610 2849.51/2856.18 c #Conflicts: 648000 | #Constraints: 89610 2849.51/2856.18 c #Conflicts: 649000 | #Constraints: 90610 2849.51/2856.18 c #Conflicts: 650000 | #Constraints: 91610 2849.51/2856.18 c #Conflicts: 651000 | #Constraints: 92610 2849.51/2856.18 c #Conflicts: 652000 | #Constraints: 93610 2849.51/2856.18 c #Conflicts: 653000 | #Constraints: 94610 2849.51/2856.18 c #Conflicts: 654000 | #Constraints: 95610 2849.51/2856.18 c #Conflicts: 655000 | #Constraints: 96610 2849.51/2856.18 c #Conflicts: 656000 | #Constraints: 97610 2849.51/2856.18 c #Conflicts: 657000 | #Constraints: 98610 2849.51/2856.18 c #Conflicts: 658000 | #Constraints: 99610 2849.51/2856.18 c #Conflicts: 659000 | #Constraints: 100610 2849.51/2856.18 c #Conflicts: 660000 | #Constraints: 101610 2849.51/2856.18 c #Conflicts: 661000 | #Constraints: 102610 2849.51/2856.18 c INPROCESSING 2849.51/2856.18 c GARBAGE COLLECT 2849.51/2856.18 c #Conflicts: 662000 | #Constraints: 61871 2849.51/2856.18 c #Conflicts: 663000 | #Constraints: 62871 2849.51/2856.18 c #Conflicts: 664000 | #Constraints: 63871 2849.51/2856.18 c #Conflicts: 665000 | #Constraints: 64871 2849.51/2856.18 c #Conflicts: 666000 | #Constraints: 65871 2849.51/2856.18 c #Conflicts: 667000 | #Constraints: 66871 2849.51/2856.18 c #Conflicts: 668000 | #Constraints: 67871 2849.51/2856.18 c #Conflicts: 669000 | #Constraints: 68871 2849.51/2856.18 c #Conflicts: 670000 | #Constraints: 69871 2849.51/2856.18 c #Conflicts: 671000 | #Constraints: 70871 2849.51/2856.18 c #Conflicts: 672000 | #Constraints: 71871 2849.51/2856.18 c #Conflicts: 673000 | #Constraints: 72871 2849.51/2856.18 c #Conflicts: 674000 | #Constraints: 73871 2849.51/2856.18 c #Conflicts: 675000 | #Constraints: 74871 2849.51/2856.18 c #Conflicts: 676000 | #Constraints: 75871 2849.51/2856.18 c #Conflicts: 677000 | #Constraints: 76871 2849.51/2856.18 c #Conflicts: 678000 | #Constraints: 77871 2849.51/2856.18 c #Conflicts: 679000 | #Constraints: 78871 2849.51/2856.18 c #Conflicts: 680000 | #Constraints: 79871 2849.51/2856.18 c #Conflicts: 681000 | #Constraints: 80871 2849.51/2856.18 c #Conflicts: 682000 | #Constraints: 81871 2849.51/2856.18 c #Conflicts: 683000 | #Constraints: 82871 2849.51/2856.18 c #Conflicts: 684000 | #Constraints: 83871 2849.51/2856.18 c INPROCESSING 2849.51/2856.18 c GARBAGE COLLECT 2849.51/2856.18 c #Conflicts: 685000 | #Constraints: 53722 2849.51/2856.18 c #Conflicts: 686000 | #Constraints: 54722 3139.46/3146.89 c #Conflicts: 687000 | #Constraints: 55722 3139.46/3146.89 c #Conflicts: 688000 | #Constraints: 56722 3139.46/3146.89 c #Conflicts: 689000 | #Constraints: 57722 3139.46/3146.89 c #Conflicts: 690000 | #Constraints: 58722 3139.46/3146.89 c #Conflicts: 691000 | #Constraints: 59722 3139.46/3146.89 c #Conflicts: 692000 | #Constraints: 60722 3139.46/3146.89 c #Conflicts: 693000 | #Constraints: 61722 3139.46/3146.89 c #Conflicts: 694000 | #Constraints: 62722 3139.46/3146.89 c #Conflicts: 695000 | #Constraints: 63722 3139.46/3146.89 c #Conflicts: 696000 | #Constraints: 64722 3139.46/3146.89 c #Conflicts: 697000 | #Constraints: 65722 3139.46/3146.89 c #Conflicts: 698000 | #Constraints: 66722 3139.46/3146.89 c #Conflicts: 699000 | #Constraints: 67722 3139.46/3146.89 c #Conflicts: 700000 | #Constraints: 68722 3139.46/3146.89 c #Conflicts: 701000 | #Constraints: 69722 3139.46/3146.89 c #Conflicts: 702000 | #Constraints: 70722 3139.46/3146.89 c #Conflicts: 703000 | #Constraints: 71722 3139.46/3146.89 c #Conflicts: 704000 | #Constraints: 72722 3139.46/3146.89 c #Conflicts: 705000 | #Constraints: 73722 3139.46/3146.89 c #Conflicts: 706000 | #Constraints: 74722 3139.46/3146.89 c #Conflicts: 707000 | #Constraints: 75722 3139.46/3146.89 c #Conflicts: 708000 | #Constraints: 76723 3139.46/3146.89 c #Conflicts: 709000 | #Constraints: 77723 3139.46/3146.89 c #Conflicts: 710000 | #Constraints: 78723 3139.46/3146.89 c #Conflicts: 711000 | #Constraints: 79723 3139.46/3146.89 c #Conflicts: 712000 | #Constraints: 80723 3139.46/3146.89 c #Conflicts: 713000 | #Constraints: 81723 3139.46/3146.89 c #Conflicts: 714000 | #Constraints: 82723 3139.46/3146.89 c #Conflicts: 715000 | #Constraints: 83723 3139.46/3146.89 c #Conflicts: 716000 | #Constraints: 84723 3139.46/3146.89 c #Conflicts: 717000 | #Constraints: 85723 3139.46/3146.89 c #Conflicts: 718000 | #Constraints: 86723 3139.46/3146.89 c #Conflicts: 719000 | #Constraints: 87723 3139.46/3146.89 c #Conflicts: 720000 | #Constraints: 88723 3139.46/3146.89 c #Conflicts: 721000 | #Constraints: 89723 3139.46/3146.89 c #Conflicts: 722000 | #Constraints: 90723 3139.46/3146.89 c #Conflicts: 723000 | #Constraints: 91723 3139.46/3146.89 c #Conflicts: 724000 | #Constraints: 92723 3139.46/3146.89 c #Conflicts: 725000 | #Constraints: 93723 3139.46/3146.89 c #Conflicts: 726000 | #Constraints: 94723 3139.46/3146.89 c #Conflicts: 727000 | #Constraints: 95724 3139.46/3146.89 c #Conflicts: 728000 | #Constraints: 96724 3139.46/3146.89 c #Conflicts: 729000 | #Constraints: 97724 3139.46/3146.89 c #Conflicts: 730000 | #Constraints: 98724 3139.46/3146.89 c #Conflicts: 731000 | #Constraints: 99724 3139.46/3146.89 c #Conflicts: 732000 | #Constraints: 100724 3139.46/3146.89 c #Conflicts: 733000 | #Constraints: 101724 3139.46/3146.89 c #Conflicts: 734000 | #Constraints: 102724 3139.46/3146.89 c #Conflicts: 735000 | #Constraints: 103724 3139.46/3146.89 c #Conflicts: 736000 | #Constraints: 104724 3139.46/3146.89 c #Conflicts: 737000 | #Constraints: 105724 3139.46/3146.89 c #Conflicts: 738000 | #Constraints: 106724 3139.46/3146.89 c #Conflicts: 739000 | #Constraints: 107724 3139.46/3146.89 c #Conflicts: 740000 | #Constraints: 108724 3139.46/3146.89 c INPROCESSING 3139.46/3146.89 c GARBAGE COLLECT 3139.46/3146.89 c rational objective 150 3207.26/3214.84 c #Conflicts: 741000 | #Constraints: 64874 3207.26/3214.84 c #Conflicts: 742000 | #Constraints: 65874 3207.26/3214.84 c #Conflicts: 743000 | #Constraints: 66874 3207.26/3214.84 c #Conflicts: 744000 | #Constraints: 67875 3207.26/3214.84 c #Conflicts: 745000 | #Constraints: 68876 3207.26/3214.84 c #Conflicts: 746000 | #Constraints: 69876 3207.26/3214.84 c #Conflicts: 747000 | #Constraints: 70877 3207.26/3214.84 c #Conflicts: 748000 | #Constraints: 71878 3207.26/3214.84 c #Conflicts: 749000 | #Constraints: 72878 3207.26/3214.84 c #Conflicts: 750000 | #Constraints: 73878 3207.26/3214.84 c #Conflicts: 751000 | #Constraints: 74878 3207.26/3214.84 c #Conflicts: 752000 | #Constraints: 75879 3207.26/3214.84 c #Conflicts: 753000 | #Constraints: 76879 3207.26/3214.84 c #Conflicts: 754000 | #Constraints: 77879 3207.26/3214.84 c #Conflicts: 755000 | #Constraints: 78879 3207.26/3214.84 c #Conflicts: 756000 | #Constraints: 79879 3207.26/3214.84 c #Conflicts: 757000 | #Constraints: 80879 3207.26/3214.84 c #Conflicts: 758000 | #Constraints: 81879 3207.26/3214.84 c #Conflicts: 759000 | #Constraints: 82879 3207.26/3214.84 c #Conflicts: 760000 | #Constraints: 83879 3207.26/3214.84 c #Conflicts: 761000 | #Constraints: 84879 3207.26/3214.84 c #Conflicts: 762000 | #Constraints: 85879 3207.26/3214.84 c #Conflicts: 763000 | #Constraints: 86879 3207.26/3214.84 c INPROCESSING 3207.26/3214.84 c GARBAGE COLLECT 3207.26/3214.84 c rational objective 150 3471.88/3480.25 c #Conflicts: 764000 | #Constraints: 55154 3471.88/3480.25 c #Conflicts: 765000 | #Constraints: 56154 3471.88/3480.25 c #Conflicts: 766000 | #Constraints: 57154 3471.88/3480.25 c #Conflicts: 767000 | #Constraints: 58154 3471.88/3480.25 c #Conflicts: 768000 | #Constraints: 59154 3471.88/3480.25 c #Conflicts: 769000 | #Constraints: 60154 3471.88/3480.25 c #Conflicts: 770000 | #Constraints: 61154 3471.88/3480.25 c #Conflicts: 771000 | #Constraints: 62154 3471.88/3480.25 c #Conflicts: 772000 | #Constraints: 63154 3471.88/3480.25 c #Conflicts: 773000 | #Constraints: 64154 3471.88/3480.25 c #Conflicts: 774000 | #Constraints: 65154 3471.88/3480.25 c #Conflicts: 775000 | #Constraints: 66154 3471.88/3480.25 c #Conflicts: 776000 | #Constraints: 67154 3471.88/3480.25 c #Conflicts: 777000 | #Constraints: 68154 3471.88/3480.25 c #Conflicts: 778000 | #Constraints: 69154 3471.88/3480.25 c #Conflicts: 779000 | #Constraints: 70155 3471.88/3480.25 c #Conflicts: 780000 | #Constraints: 71155 3471.88/3480.25 c #Conflicts: 781000 | #Constraints: 72156 3471.88/3480.25 c #Conflicts: 782000 | #Constraints: 73157 3471.88/3480.25 c #Conflicts: 783000 | #Constraints: 74157 3471.88/3480.25 c #Conflicts: 784000 | #Constraints: 75158 3471.88/3480.25 c #Conflicts: 785000 | #Constraints: 76158 3471.88/3480.25 c #Conflicts: 786000 | #Constraints: 77158 3471.88/3480.25 c #Conflicts: 787000 | #Constraints: 78158 3471.88/3480.25 c #Conflicts: 788000 | #Constraints: 79158 3471.88/3480.25 c #Conflicts: 789000 | #Constraints: 80158 3471.88/3480.25 c #Conflicts: 790000 | #Constraints: 81158 3471.88/3480.25 c #Conflicts: 791000 | #Constraints: 82158 3471.88/3480.25 c #Conflicts: 792000 | #Constraints: 83159 3471.88/3480.25 c #Conflicts: 793000 | #Constraints: 84159 3471.88/3480.25 c #Conflicts: 794000 | #Constraints: 85159 3471.88/3480.25 c #Conflicts: 795000 | #Constraints: 86159 3471.88/3480.25 c #Conflicts: 796000 | #Constraints: 87159 3471.88/3480.25 c #Conflicts: 797000 | #Constraints: 88159 3471.88/3480.25 c #Conflicts: 798000 | #Constraints: 89159 3471.88/3480.25 c #Conflicts: 799000 | #Constraints: 90159 3471.88/3480.25 c #Conflicts: 800000 | #Constraints: 91159 3471.88/3480.25 c #Conflicts: 801000 | #Constraints: 92159 3471.88/3480.25 c #Conflicts: 802000 | #Constraints: 93159 3471.88/3480.25 c #Conflicts: 803000 | #Constraints: 94159 3471.88/3480.25 c #Conflicts: 804000 | #Constraints: 95159 3471.88/3480.25 c #Conflicts: 805000 | #Constraints: 96159 3471.88/3480.25 c #Conflicts: 806000 | #Constraints: 97159 3471.88/3480.25 c #Conflicts: 807000 | #Constraints: 98160 3471.88/3480.25 c #Conflicts: 808000 | #Constraints: 99160 3471.88/3480.25 c #Conflicts: 809000 | #Constraints: 100160 3471.88/3480.25 c #Conflicts: 810000 | #Constraints: 101160 3471.88/3480.25 c #Conflicts: 811000 | #Constraints: 102160 3471.88/3480.25 c #Conflicts: 812000 | #Constraints: 103160 3471.88/3480.25 c #Conflicts: 813000 | #Constraints: 104160 3471.88/3480.25 c #Conflicts: 814000 | #Constraints: 105160 3471.88/3480.25 c #Conflicts: 815000 | #Constraints: 106160 3471.88/3480.25 c #Conflicts: 816000 | #Constraints: 107160 3471.88/3480.25 c #Conflicts: 817000 | #Constraints: 108160 3471.88/3480.25 c #Conflicts: 818000 | #Constraints: 109160 3471.88/3480.25 c #Conflicts: 819000 | #Constraints: 110161 3471.88/3480.25 c #Conflicts: 820000 | #Constraints: 111161 3471.88/3480.25 c #Conflicts: 821000 | #Constraints: 112161 3471.88/3480.25 c #Conflicts: 822000 | #Constraints: 113161 3471.88/3480.25 c INPROCESSING 3471.88/3480.25 c GARBAGE COLLECT 3471.88/3480.25 c rational objective 150 3539.19/3547.79 c #Conflicts: 823000 | #Constraints: 66887 3539.19/3547.79 c #Conflicts: 824000 | #Constraints: 67887 3539.19/3547.79 c #Conflicts: 825000 | #Constraints: 68887 3539.19/3547.79 c #Conflicts: 826000 | #Constraints: 69887 3539.19/3547.79 c #Conflicts: 827000 | #Constraints: 70887 3539.19/3547.79 c #Conflicts: 828000 | #Constraints: 71887 3539.19/3547.79 c #Conflicts: 829000 | #Constraints: 72887 3539.19/3547.79 c #Conflicts: 830000 | #Constraints: 73887 3539.19/3547.79 c #Conflicts: 831000 | #Constraints: 74887 3539.19/3547.79 c #Conflicts: 832000 | #Constraints: 75887 3539.19/3547.79 c #Conflicts: 833000 | #Constraints: 76887 3539.19/3547.79 c #Conflicts: 834000 | #Constraints: 77887 3539.19/3547.79 c #Conflicts: 835000 | #Constraints: 78887 3539.19/3547.79 c #Conflicts: 836000 | #Constraints: 79887 3539.19/3547.79 c #Conflicts: 837000 | #Constraints: 80887 3539.19/3547.79 c #Conflicts: 838000 | #Constraints: 81887 3539.19/3547.79 c #Conflicts: 839000 | #Constraints: 82887 3539.19/3547.79 c #Conflicts: 840000 | #Constraints: 83887 3539.19/3547.79 c #Conflicts: 841000 | #Constraints: 84887 3539.19/3547.79 c #Conflicts: 842000 | #Constraints: 85887 3539.19/3547.79 c #Conflicts: 843000 | #Constraints: 86887 3539.19/3547.79 c #Conflicts: 844000 | #Constraints: 87887 3539.19/3547.79 c #Conflicts: 845000 | #Constraints: 88887 3539.19/3547.79 c #Conflicts: 846000 | #Constraints: 89887 3539.19/3547.79 c #Conflicts: 847000 | #Constraints: 90887 3539.19/3547.79 c #Conflicts: 848000 | #Constraints: 91887 3539.19/3547.79 c INPROCESSING 3539.19/3547.79 c GARBAGE COLLECT 3539.19/3547.79 c rational objective 150 3600.03/3608.70 c #Conflicts: 849000 | #Constraints: 58538 3600.03/3608.70 c #Conflicts: 850000 | #Constraints: 59538 3600.03/3608.70 c #Conflicts: 851000 | #Constraints: 60538 3600.03/3608.70 c #Conflicts: 852000 | #Constraints: 61538 3600.03/3608.70 c #Conflicts: 853000 | #Constraints: 62538 3600.03/3608.70 c #Conflicts: 854000 | #Constraints: 63538 3600.03/3608.70 c #Conflicts: 855000 | #Constraints: 64538 3600.03/3608.70 c #Conflicts: 856000 | #Constraints: 65538 3600.03/3608.70 c #Conflicts: 857000 | #Constraints: 66538 3600.03/3608.70 c #Conflicts: 858000 | #Constraints: 67539 3600.03/3608.70 c #Conflicts: 859000 | #Constraints: 68539 3600.03/3608.70 c #Conflicts: 860000 | #Constraints: 69539 3600.03/3608.70 c #Conflicts: 861000 | #Constraints: 70540 3600.03/3608.70 c #Conflicts: 862000 | #Constraints: 71540 3600.03/3608.70 c #Conflicts: 863000 | #Constraints: 72541 3600.03/3608.70 c #Conflicts: 864000 | #Constraints: 73541 3600.03/3608.70 c #Conflicts: 865000 | #Constraints: 74541 3600.03/3608.70 c #Conflicts: 866000 | #Constraints: 75541 3600.03/3608.70 c #Conflicts: 867000 | #Constraints: 76541 3600.03/3608.70 c #Conflicts: 868000 | #Constraints: 77542 3600.03/3608.70 c #Conflicts: 869000 | #Constraints: 78542 3600.03/3608.70 c #Conflicts: 870000 | #Constraints: 79542 3600.03/3608.70 c #Conflicts: 871000 | #Constraints: 80542 3600.03/3608.70 c #Conflicts: 872000 | #Constraints: 81542 3600.03/3608.70 c #Conflicts: 873000 | #Constraints: 82542 3600.03/3608.70 c #Conflicts: 874000 | #Constraints: 83542 3600.03/3608.70 c #Conflicts: 875000 | #Constraints: 84542 3600.03/3608.70 c #Conflicts: 876000 | #Constraints: 85542 3600.03/3608.70 c #Conflicts: 877000 | #Constraints: 86542 3600.03/3608.70 c Program interrupted by user. 3600.03/3609.03 c cpu time 3564.27 s 3600.03/3609.03 c deterministic time 257539230979 2.58e+11 3600.03/3609.03 c optimization time 59.6249 s 3600.03/3609.03 c total solve time 3504.57 s 3600.03/3609.03 c core-guided solve time 0 s 3600.03/3609.03 c propagation time 1855.31 s 3600.03/3609.03 c conflict analysis time 629.488 s 3600.03/3609.03 c propagations 664276746 3600.03/3609.03 c resolve steps 39746954 3600.03/3609.03 c decisions 14996282 3600.03/3609.03 c conflicts 877385 3600.03/3609.03 c restarts 1903 3600.03/3609.03 c inprocessing phases 40 3600.03/3609.03 c input clauses 18002 3600.03/3609.03 c input cardinalities 150 3600.03/3609.03 c input general constraints 0 3600.03/3609.03 c input average constraint length 6.43 3600.03/3609.03 c input average constraint degree 1.97 3600.03/3609.03 c learned clauses 558529 3600.03/3609.03 c learned cardinalities 35830 3600.03/3609.03 c learned general constraints 283094 3600.03/3609.03 c learned average constraint length 1184.37 3600.03/3609.03 c learned average constraint degree 771948159.74 3600.03/3609.03 c watched constraints 212964 3600.03/3609.03 c counting constraints 70130 3600.03/3609.03 c gcd simplifications 4966 3600.03/3609.03 c detected cardinalities 4546 3600.03/3609.03 c weakened non-implied lits 219531391 3600.03/3609.03 c weakened non-implying lits 336776 3600.03/3609.03 c original variables 17850 3600.03/3609.03 c clausal propagations 288816592 3600.03/3609.03 c cardinality propagations 229021954 3600.03/3609.03 c watched propagations 45542621 3600.03/3609.03 c counting propagations 92819073 3600.03/3609.03 c watch lookups 12925813877 3600.03/3609.03 c watch backjump lookups 10682046343 3600.03/3609.03 c watch checks 187215274302 3600.03/3609.03 c propagation checks 41808564425 3600.03/3609.03 c constraint additions 3546520279 3600.03/3609.03 c trail pops 680135043 3600.03/3609.03 c formula constraints 18152 3600.03/3609.03 c learned constraints 877317 3600.03/3609.03 c bound constraints 0 3600.03/3609.03 c core-guided constraints 0 3600.03/3609.03 c encountered formula constraints 27477192 3600.03/3609.03 c encountered learned constraints 13145485 3600.03/3609.03 c encountered bound constraints 0 3600.03/3609.03 c encountered core-guided constraints 0 3600.03/3609.03 c LP total time 1857.43 s 3600.03/3609.03 c LP solve time 1854.1 s 3600.03/3609.03 c LP constraints added 21718 3600.03/3609.03 c LP constraints removed 3457 3600.03/3609.03 c LP pivots internal 880774 3600.03/3609.03 c LP pivots root 722907 3600.03/3609.03 c LP calls 105 3600.03/3609.03 c LP optimalities 30 3600.03/3609.03 c LP no pivot count 1 3600.03/3609.03 c LP infeasibilities 68 3600.03/3609.03 c LP valid Farkas constraints 68 3600.03/3609.03 c LP learned Farkas constraints 68 3600.03/3609.03 c LP basis resets 0 3600.03/3609.03 c LP cycling count 0 3600.03/3609.03 c LP singular count 0 3600.03/3609.03 c LP no primal count 0 3600.03/3609.03 c LP no farkas count 0 3600.03/3609.03 c LP other issue count 0 3600.03/3609.03 c LP Gomory cuts 0 3600.03/3609.03 c LP learned cuts 3566 3600.03/3609.03 c LP deleted cuts 3457 3600.03/3609.03 c LP encountered Gomory constraints 0 3600.03/3609.03 c LP encountered Farkas constraints 1202 3600.03/3609.03 c LP encountered learned Farkas constraints 392 3600.03/3609.03 c CG auxiliary variables introduced 0 3600.03/3609.03 c CG solutions found 0 3600.03/3609.03 c CG cores constructed 0 3600.03/3609.03 c CG core cardinality constraints returned 0 3600.03/3609.03 c CG unit cores 0 3600.03/3609.03 c CG single cores 0 3600.03/3609.03 c CG blocks removed during cardinality reduction 0 3600.03/3609.03 c CG first core best 0 3600.03/3609.03 c CG decision core best 0 3600.03/3609.03 c CG core reduction tie 0 3600.03/3609.03 c CG core degree average 0.00 3600.03/3609.03 c CG core slack average 0.00 3600.03/3609.03 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (49829 MiB free)
memory of node 1: 64510 MiB (58524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457173-1721829622/watcher-4457173-1721829622 -o /tmp/evaluation-result-4457173-1721829622/solver-4457173-1721829622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184635 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457173-1721829622 --lp-cut-gomory=0 HOME/instance-4457173-1721829622.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=184694, runsolver pid=184691
[startup+0.101051 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110900268/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=63360 memory=31100 CPUtime=0.09 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 7668 0 0 0 8 1 0 0 20 0 1 0 19486397 64880640 7775 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 15840 7775 1663 992 0 7698 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63360 KiB
Current children cumulated memory: 31100 KiB
[startup+0.205836 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110889968/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=69052 memory=34564 CPUtime=0.2 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 9085 0 0 0 18 2 0 0 20 0 1 0 19486397 70709248 8641 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 17263 8641 1711 992 0 9121 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69052 KiB
Current children cumulated memory: 34564 KiB
[startup+0.30552 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110887056/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=69372 memory=35356 CPUtime=0.3 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 9254 0 0 0 28 2 0 0 20 0 1 0 19486397 71036928 8839 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 17343 8839 1711 992 0 9201 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 35356 KiB
[startup+0.700192 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110883508/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=71704 memory=37732 CPUtime=0.69 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 9890 0 0 0 66 3 0 0 20 0 1 0 19486397 73424896 9433 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 17926 9433 1711 992 0 9784 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71704 KiB
Current children cumulated memory: 37732 KiB
[startup+1.50018 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110870536/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=72488 memory=41220 CPUtime=1.49 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 10219 0 0 0 141 8 0 0 20 0 1 0 19486397 74227712 10305 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 18122 10305 1743 992 0 9980 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72488 KiB
Current children cumulated memory: 41220 KiB
[startup+3.10563 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110848352/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=74700 memory=43384 CPUtime=3.08 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 10735 0 0 0 293 15 0 0 20 0 1 0 19486397 76492800 10846 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 18675 10846 1759 992 0 10533 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74700 KiB
Current children cumulated memory: 43384 KiB
[startup+6.30021 s]
/proc/loadavg: 1.57 1.46 2.34 5/265 184695
/proc/meminfo: memFree=110827240/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=76436 memory=45756 CPUtime=6.27 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 11312 0 0 0 610 17 0 0 20 0 1 0 19486397 78270464 11439 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 19109 11439 1759 992 0 10967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76436 KiB
Current children cumulated memory: 45756 KiB
[startup+12.7002 s]
/proc/loadavg: 1.77 1.50 2.35 5/265 184697
/proc/meminfo: memFree=110787424/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=81220 memory=51072 CPUtime=12.66 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 12039 0 0 0 1230 36 0 0 20 0 1 0 19486397 83169280 12768 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 20305 12768 1821 992 0 12163 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 51072 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.59 2.37 5/264 184698
/proc/meminfo: memFree=110697912/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=91428 memory=60268 CPUtime=25.42 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 13839 0 0 0 2487 55 0 0 20 0 1 0 19486397 93622272 15067 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 22857 15067 1853 992 0 14715 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 91428 KiB
Current children cumulated memory: 60268 KiB
[startup+51.1056 s]
/proc/loadavg: 2.91 1.83 2.42 5/264 184714
/proc/meminfo: memFree=110565564/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=96344 memory=63964 CPUtime=50.98 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 14773 0 0 0 5011 87 0 0 20 0 1 0 19486397 98656256 15991 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 24086 15991 1853 992 0 15944 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 96344 KiB
Current children cumulated memory: 63964 KiB
[startup+102.3 s]
/proc/loadavg: 3.85 2.26 2.54 5/264 184724
/proc/meminfo: memFree=110144684/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=152920 memory=110420 CPUtime=102.05 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 20734 0 0 0 10020 185 0 0 20 0 1 0 19486397 156590080 27605 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 38230 27605 1853 992 0 30088 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 152920 KiB
Current children cumulated memory: 110420 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.61 2.65 5/263 184734
/proc/meminfo: memFree=109024740/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=291744 memory=262084 CPUtime=161.9 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 36292 0 0 0 15936 254 0 0 20 0 1 0 19486397 298745856 65521 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 72936 65521 1853 992 0 64794 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 291744 KiB
Current children cumulated memory: 262084 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.91 2.75 5/262 184746
/proc/meminfo: memFree=108690724/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=294480 memory=264904 CPUtime=221.77 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 36979 0 0 0 21866 311 0 0 20 0 1 0 19486397 301547520 66226 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 73620 66226 1853 992 0 65478 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 294480 KiB
Current children cumulated memory: 264904 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.14 2.84 5/262 184756
/proc/meminfo: memFree=108250476/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=298840 memory=270244 CPUtime=281.64 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 38367 0 0 0 27746 418 0 0 20 0 1 0 19486397 306012160 67561 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 74710 67561 1853 992 0 66568 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 298840 KiB
Current children cumulated memory: 270244 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.33 2.93 5/259 184767
/proc/meminfo: memFree=107692000/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=304924 memory=275892 CPUtime=341.5 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 39354 0 0 0 33688 462 0 0 20 0 1 0 19486397 312242176 68973 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 76231 68973 1853 992 0 68089 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 304924 KiB
Current children cumulated memory: 275892 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.47 3.00 5/259 184778
/proc/meminfo: memFree=107175832/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=310524 memory=281324 CPUtime=401.37 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 40821 0 0 0 39564 573 0 0 20 0 1 0 19486397 317976576 70331 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 77631 70331 1853 992 0 69489 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 310524 KiB
Current children cumulated memory: 281324 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.60 3.08 5/258 184788
/proc/meminfo: memFree=106717720/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=408076 memory=319756 CPUtime=461.23 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 45405 0 0 0 45471 652 0 0 20 0 1 0 19486397 417869824 79939 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 102019 79939 1853 992 0 93877 0
################
# More data... #
################
Current children cumulated memory: 1158056 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/260 185870
/proc/meminfo: memFree=89540244/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=1375520 memory=1195904 CPUtime=2975.41 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 115712 0 0 0 294592 2949 0 0 20 0 1 0 19486397 1408532480 298976 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 343880 298976 1950 992 0 335738 0
Current children cumulated CPU time: 2975.41 s
Current children cumulated vsize: 1375520 KiB
Current children cumulated memory: 1195904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.11 4.02 5/262 185885
/proc/meminfo: memFree=89055988/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=1401472 memory=1220804 CPUtime=3035.25 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 122262 0 0 0 300533 2992 0 0 20 0 1 0 19486397 1435107328 305201 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 350368 305201 1950 992 0 342226 0
Current children cumulated CPU time: 3035.25 s
Current children cumulated vsize: 1401472 KiB
Current children cumulated memory: 1220804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 185897
/proc/meminfo: memFree=88040280/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=1442632 memory=1369568 CPUtime=3095.08 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 132845 0 0 0 306466 3042 0 0 20 0 1 0 19486397 1477255168 342392 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 360658 342392 1950 992 0 352516 0
Current children cumulated CPU time: 3095.08 s
Current children cumulated vsize: 1442632 KiB
Current children cumulated memory: 1369568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/263 185908
/proc/meminfo: memFree=87654980/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2017552 memory=1413952 CPUtime=3154.92 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 135492 0 0 0 312398 3094 0 0 20 0 1 0 19486397 2065973248 353488 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 504388 353488 1950 992 0 496246 0
Current children cumulated CPU time: 3154.92 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1413952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 185919
/proc/meminfo: memFree=87317052/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2017552 memory=1413960 CPUtime=3214.75 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 135807 0 0 0 318301 3174 0 0 20 0 1 0 19486397 2065973248 353490 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 504388 353490 1950 992 0 496246 0
Current children cumulated CPU time: 3214.75 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1413960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/261 185932
/proc/meminfo: memFree=86820176/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2017552 memory=1413960 CPUtime=3274.56 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 136121 0 0 0 324211 3245 0 0 20 0 1 0 19486397 2065973248 353490 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 504388 353490 1950 992 0 496246 0
Current children cumulated CPU time: 3274.56 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1413960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/261 186326
/proc/meminfo: memFree=86583940/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2017552 memory=1413972 CPUtime=3334.39 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 136429 0 0 0 330137 3302 0 0 20 0 1 0 19486397 2065973248 353493 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 504388 353493 1950 992 0 496246 0
Current children cumulated CPU time: 3334.39 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1413972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/258 186336
/proc/meminfo: memFree=86357884/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2017552 memory=1414008 CPUtime=3394.2 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 136746 0 0 0 336070 3350 0 0 20 0 1 0 19486397 2065973248 353502 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 504388 353502 1950 992 0 496246 0
Current children cumulated CPU time: 3394.2 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1414008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/259 186347
/proc/meminfo: memFree=86162280/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2021996 memory=1418412 CPUtime=3454.03 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 138136 0 0 0 342005 3398 0 0 20 0 1 0 19486397 2070523904 354603 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 505499 354603 1950 992 0 497357 0
Current children cumulated CPU time: 3454.03 s
Current children cumulated vsize: 2021996 KiB
Current children cumulated memory: 1418412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/259 186526
/proc/meminfo: memFree=85896424/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2024084 memory=1420220 CPUtime=3513.86 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 138820 0 0 0 347941 3445 0 0 20 0 1 0 19486397 2072662016 355055 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 506021 355055 1950 992 0 497879 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 2024084 KiB
Current children cumulated memory: 1420220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/260 186537
/proc/meminfo: memFree=85500112/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2024084 memory=1420652 CPUtime=3573.7 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 139142 0 0 0 353828 3542 0 0 20 0 1 0 19486397 2072662016 355163 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 506021 355163 1950 992 0 497879 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 2024084 KiB
Current children cumulated memory: 1420652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.14 4.10 4.04 5/261 186544
/proc/meminfo: memFree=85017036/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2024084 memory=1423472 CPUtime=3600.03 cores=5,7
/proc/184694/stat : 184694 (roundingsat) R 184691 184694 184622 0 -1 4194304 139419 0 0 0 356426 3577 0 0 20 0 1 0 19486397 2072662016 355868 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 506021 355868 1950 992 0 497879 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2024084 KiB
Current children cumulated memory: 1423472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.06 s]
# the end of solver process 184694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.27 s, system=35.8051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 4.14 4.10 4.04 5/261 186544
/proc/meminfo: memFree=85017036/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2024084 memory=1423472 CPUtime=3600.03 cores=5,7
/proc/184694/stat : 184694 (roundingsat) D 184691 184694 184622 0 -1 4194304 139422 0 0 0 356426 3577 0 0 20 0 1 0 19486397 2072662016 355868 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 16 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 506021 355868 1950 992 0 497879 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2024084 KiB
Current children cumulated memory: 1423472 KiB
[startup+3609 s]*
/proc/loadavg: 4.14 4.10 4.04 3/261 186546
/proc/meminfo: memFree=84990716/131524600 swapFree=131054736/131071996
[pid=184694] ppid=184691 vsize=2024084 memory=1423472 CPUtime=3600.03 cores=5,7
/proc/184694/stat : 184694 (roundingsat) D 184691 184694 184622 0 -1 4194304 139422 0 0 0 356426 3577 0 0 20 0 1 0 19486397 2072662016 355868 134679101440 4194304 8254037 140730699673344 0 0 0 0 0 25182210 0 0 0 17 5 0 0 56 0 0 9037040 9046032 25538560 140730699682652 140730699682914 140730699682914 140730699689929 0
/proc/184694/statm: 506021 355868 1950 992 0 497879 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2024084 KiB
Current children cumulated memory: 1423472 KiB
Child status: 0
Real time (s): 3609.06
CPU time (s): 3600.07
CPU user time (s): 3564.27
CPU system time (s): 35.8051
CPU usage (%): 99.7511
Max. virtual memory (cumulated for all children) (KiB): 2024084
Max. memory (cumulated for all children) (KiB): 1423472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.27
system time used= 35.8051
maximum resident set size= 1423472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14546144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 661
involuntary context switches= 4267
# summary of solver processes directly reported to runsolver:
# pid: 184694
# total CPU time (s): 3600.07
# total CPU user time (s): 3564.27
# total CPU system time (s): 35.8051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02193 second user time and 16.9147 second system time
The end
Begin job on nodeC034 at 2024-07-24 16:00:22 IDJOB=4457173 IDBENCH=158322 IDSOLVER=3085 FILE ID=nodeC034/4457173-1721829622 RUNJOBID= nodeC034-1721829622-184635 SLURM_JOB_ID= 7891500 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457173-1721829622/watcher-4457173-1721829622 -o /tmp/evaluation-result-4457173-1721829622/solver-4457173-1721829622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184635 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457173-1721829622 --lp-cut-gomory=0 HOME/instance-4457173-1721829622.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= de861f201885d7430b03c8868c66597b RANDOM SEED=588309019 nodeC034.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 : 3651.325 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.92 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 : 3624.614 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 : 7006.84 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 : 3552.869 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.92 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 : 3667.907 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 : 7006.84 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 : 3594.434 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.92 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 : 3670.300 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 : 7006.84 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 : 3623.297 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.92 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 : 3666.179 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 : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110968456 kB MemAvailable: 129677572 kB Buffers: 252444 kB Cached: 19215776 kB SwapCached: 96 kB Active: 1631608 kB Inactive: 18210036 kB Active(anon): 1912 kB Inactive(anon): 414172 kB Active(file): 1629696 kB Inactive(file): 17795864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 25844 kB Writeback: 0 kB AnonPages: 372748 kB Mapped: 97424 kB Shmem: 42580 kB KReclaimable: 246408 kB Slab: 361452 kB SReclaimable: 246408 kB SUnreclaim: 115044 kB KernelStack: 4340 kB PageTables: 10580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 889652 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14048 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890056 MiB End job on nodeC034 at 2024-07-24 17:00:31