| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.07 | 3609.92 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb |
| MD5SUM | 8df9702f370312ff59707c84e3b82f3b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 77.5563 |
| 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 | 23324 |
| Total number of constraints | 23718 |
| Number of constraints which are clauses | 23522 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 196 |
| 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 | 197 |
| 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.09/0.12 c #variables 23324 #constraints 23718 99.64/99.97 c #Conflicts: 1000 | #Constraints: 24717 99.64/99.97 c #Conflicts: 2000 | #Constraints: 25717 99.64/99.97 c INPROCESSING 99.64/99.97 c GARBAGE COLLECT 99.64/99.97 c #Conflicts: 3000 | #Constraints: 24973 99.64/99.97 c #Conflicts: 4000 | #Constraints: 25973 99.64/99.97 c INPROCESSING 99.64/99.97 c GARBAGE COLLECT 99.64/99.97 c #Conflicts: 5000 | #Constraints: 25502 99.64/99.97 c #Conflicts: 6000 | #Constraints: 26502 99.64/99.97 c #Conflicts: 7000 | #Constraints: 27503 99.64/99.97 c #Conflicts: 8000 | #Constraints: 28503 99.64/99.97 c #Conflicts: 9000 | #Constraints: 29503 99.64/99.97 c INPROCESSING 99.64/99.97 c GARBAGE COLLECT 99.64/99.97 c #Conflicts: 10000 | #Constraints: 27334 99.64/99.97 c #Conflicts: 11000 | #Constraints: 28334 99.64/99.97 c #Conflicts: 12000 | #Constraints: 29334 99.64/99.97 c INPROCESSING 99.64/99.97 c GARBAGE COLLECT 99.64/99.97 c #Conflicts: 13000 | #Constraints: 27223 99.64/99.97 c #Conflicts: 14000 | #Constraints: 28223 99.64/99.97 c #Conflicts: 15000 | #Constraints: 29223 99.64/99.97 c #Conflicts: 16000 | #Constraints: 30223 99.64/99.97 c #Conflicts: 17000 | #Constraints: 31223 99.64/99.97 c #Conflicts: 18000 | #Constraints: 32223 99.64/99.97 c #Conflicts: 19000 | #Constraints: 33223 99.64/99.97 c #Conflicts: 20000 | #Constraints: 34223 99.64/99.97 c #Conflicts: 21000 | #Constraints: 35223 99.64/99.97 c INPROCESSING 99.64/99.97 c GARBAGE COLLECT 99.64/99.97 c #Conflicts: 22000 | #Constraints: 30428 99.64/99.97 c #Conflicts: 23000 | #Constraints: 31428 99.64/99.97 c #Conflicts: 24000 | #Constraints: 32428 99.64/99.97 c #Conflicts: 25000 | #Constraints: 33428 99.64/99.97 c INPROCESSING 99.64/99.97 c GARBAGE COLLECT 99.64/99.97 c rational objective 196 252.43/253.19 c #Conflicts: 26000 | #Constraints: 29743 252.43/253.19 c #Conflicts: 27000 | #Constraints: 30743 252.43/253.19 c #Conflicts: 28000 | #Constraints: 31743 252.43/253.19 c #Conflicts: 29000 | #Constraints: 32743 252.43/253.19 c #Conflicts: 30000 | #Constraints: 33743 252.43/253.19 c #Conflicts: 31000 | #Constraints: 34743 252.43/253.19 c #Conflicts: 32000 | #Constraints: 35743 252.43/253.19 c #Conflicts: 33000 | #Constraints: 36743 252.43/253.19 c #Conflicts: 34000 | #Constraints: 37743 252.43/253.19 c #Conflicts: 35000 | #Constraints: 38744 252.43/253.19 c #Conflicts: 36000 | #Constraints: 39744 252.43/253.19 c #Conflicts: 37000 | #Constraints: 40744 252.43/253.19 c INPROCESSING 252.43/253.19 c GARBAGE COLLECT 252.43/253.19 c #Conflicts: 38000 | #Constraints: 33293 252.43/253.19 c #Conflicts: 39000 | #Constraints: 34293 252.43/253.19 c #Conflicts: 40000 | #Constraints: 35293 252.43/253.19 c #Conflicts: 41000 | #Constraints: 36293 252.43/253.19 c #Conflicts: 42000 | #Constraints: 37293 252.43/253.19 c #Conflicts: 43000 | #Constraints: 38293 252.43/253.19 c INPROCESSING 252.43/253.19 c GARBAGE COLLECT 252.43/253.19 c #Conflicts: 44000 | #Constraints: 33307 252.43/253.19 c #Conflicts: 45000 | #Constraints: 34307 252.43/253.19 c #Conflicts: 46000 | #Constraints: 35307 252.43/253.19 c #Conflicts: 47000 | #Constraints: 36307 252.43/253.19 c #Conflicts: 48000 | #Constraints: 37307 252.43/253.19 c #Conflicts: 49000 | #Constraints: 38307 252.43/253.19 c #Conflicts: 50000 | #Constraints: 39307 252.43/253.19 c #Conflicts: 51000 | #Constraints: 40307 252.43/253.19 c #Conflicts: 52000 | #Constraints: 41307 252.43/253.19 c #Conflicts: 53000 | #Constraints: 42307 252.43/253.19 c #Conflicts: 54000 | #Constraints: 43307 252.43/253.19 c #Conflicts: 55000 | #Constraints: 44307 252.43/253.19 c #Conflicts: 56000 | #Constraints: 45307 252.43/253.19 c #Conflicts: 57000 | #Constraints: 46307 252.43/253.19 c INPROCESSING 252.43/253.19 c GARBAGE COLLECT 252.43/253.19 c rational objective 196 271.57/272.31 c #Conflicts: 58000 | #Constraints: 36084 271.57/272.31 c #Conflicts: 59000 | #Constraints: 37084 271.57/272.31 c #Conflicts: 60000 | #Constraints: 38084 271.57/272.31 c #Conflicts: 61000 | #Constraints: 39084 271.57/272.31 c #Conflicts: 62000 | #Constraints: 40084 271.57/272.31 c #Conflicts: 63000 | #Constraints: 41084 271.57/272.31 c #Conflicts: 64000 | #Constraints: 42084 271.57/272.31 c #Conflicts: 65000 | #Constraints: 43084 271.57/272.31 c INPROCESSING 271.57/272.31 c GARBAGE COLLECT 271.57/272.31 c rational objective 196 300.08/300.99 c #Conflicts: 66000 | #Constraints: 36688 300.08/300.99 c #Conflicts: 67000 | #Constraints: 37688 300.08/300.99 c #Conflicts: 68000 | #Constraints: 38689 300.08/300.99 c #Conflicts: 69000 | #Constraints: 39689 300.08/300.99 c #Conflicts: 70000 | #Constraints: 40689 300.08/300.99 c #Conflicts: 71000 | #Constraints: 41689 300.08/300.99 c #Conflicts: 72000 | #Constraints: 42689 300.08/300.99 c #Conflicts: 73000 | #Constraints: 43689 300.08/300.99 c #Conflicts: 74000 | #Constraints: 44689 300.08/300.99 c #Conflicts: 75000 | #Constraints: 45689 300.08/300.99 c #Conflicts: 76000 | #Constraints: 46689 300.08/300.99 c #Conflicts: 77000 | #Constraints: 47689 300.08/300.99 c #Conflicts: 78000 | #Constraints: 48689 300.08/300.99 c #Conflicts: 79000 | #Constraints: 49689 300.08/300.99 c #Conflicts: 80000 | #Constraints: 50689 300.08/300.99 c #Conflicts: 81000 | #Constraints: 51689 300.08/300.99 c #Conflicts: 82000 | #Constraints: 52689 300.08/300.99 c INPROCESSING 300.08/300.99 c GARBAGE COLLECT 300.08/300.99 c rational objective 196 323.93/324.86 c #Conflicts: 83000 | #Constraints: 39407 323.93/324.86 c #Conflicts: 84000 | #Constraints: 40407 323.93/324.86 c #Conflicts: 85000 | #Constraints: 41407 323.93/324.86 c #Conflicts: 86000 | #Constraints: 42407 323.93/324.86 c #Conflicts: 87000 | #Constraints: 43407 323.93/324.86 c #Conflicts: 88000 | #Constraints: 44407 323.93/324.86 c #Conflicts: 89000 | #Constraints: 45407 323.93/324.86 c #Conflicts: 90000 | #Constraints: 46407 323.93/324.86 c #Conflicts: 91000 | #Constraints: 47407 323.93/324.86 c INPROCESSING 323.93/324.86 c GARBAGE COLLECT 323.93/324.86 c rational objective 196 407.40/408.54 c #Conflicts: 92000 | #Constraints: 39735 407.40/408.54 c #Conflicts: 93000 | #Constraints: 40735 407.40/408.54 c #Conflicts: 94000 | #Constraints: 41735 407.40/408.54 c #Conflicts: 95000 | #Constraints: 42735 407.40/408.54 c #Conflicts: 96000 | #Constraints: 43735 407.40/408.54 c #Conflicts: 97000 | #Constraints: 44735 407.40/408.54 c #Conflicts: 98000 | #Constraints: 45736 407.40/408.54 c #Conflicts: 99000 | #Constraints: 46736 407.40/408.54 c #Conflicts: 100000 | #Constraints: 47739 407.40/408.54 c #Conflicts: 101000 | #Constraints: 48740 407.40/408.54 c #Conflicts: 102000 | #Constraints: 49740 407.40/408.54 c #Conflicts: 103000 | #Constraints: 50740 407.40/408.54 c #Conflicts: 104000 | #Constraints: 51740 407.40/408.54 c #Conflicts: 105000 | #Constraints: 52740 407.40/408.54 c #Conflicts: 106000 | #Constraints: 53740 407.40/408.54 c #Conflicts: 107000 | #Constraints: 54740 407.40/408.54 c #Conflicts: 108000 | #Constraints: 55740 407.40/408.54 c #Conflicts: 109000 | #Constraints: 56740 407.40/408.54 c #Conflicts: 110000 | #Constraints: 57740 407.40/408.54 c #Conflicts: 111000 | #Constraints: 58740 407.40/408.54 c INPROCESSING 407.40/408.54 c GARBAGE COLLECT 407.40/408.54 c rational objective 196 441.40/442.65 c #Conflicts: 112000 | #Constraints: 42485 441.40/442.65 c #Conflicts: 113000 | #Constraints: 43485 441.40/442.65 c #Conflicts: 114000 | #Constraints: 44485 441.40/442.65 c #Conflicts: 115000 | #Constraints: 45485 441.40/442.65 c #Conflicts: 116000 | #Constraints: 46485 441.40/442.65 c #Conflicts: 117000 | #Constraints: 47485 441.40/442.65 c #Conflicts: 118000 | #Constraints: 48485 441.40/442.65 c #Conflicts: 119000 | #Constraints: 49485 441.40/442.65 c #Conflicts: 120000 | #Constraints: 50485 441.40/442.65 c #Conflicts: 121000 | #Constraints: 51485 441.40/442.65 c INPROCESSING 441.40/442.65 c GARBAGE COLLECT 441.40/442.65 c rational objective 196 687.03/688.95 c #Conflicts: 122000 | #Constraints: 41542 687.03/688.95 c #Conflicts: 123000 | #Constraints: 42542 687.03/688.95 c #Conflicts: 124000 | #Constraints: 43542 687.03/688.95 c #Conflicts: 125000 | #Constraints: 44542 687.03/688.95 c #Conflicts: 126000 | #Constraints: 45542 687.03/688.95 c #Conflicts: 127000 | #Constraints: 46542 687.03/688.95 c #Conflicts: 128000 | #Constraints: 47543 687.03/688.95 c #Conflicts: 129000 | #Constraints: 48543 687.03/688.95 c #Conflicts: 130000 | #Constraints: 49543 687.03/688.95 c #Conflicts: 131000 | #Constraints: 50543 687.03/688.95 c #Conflicts: 132000 | #Constraints: 51543 687.03/688.95 c #Conflicts: 133000 | #Constraints: 52543 687.03/688.95 c #Conflicts: 134000 | #Constraints: 53543 687.03/688.95 c #Conflicts: 135000 | #Constraints: 54543 687.03/688.95 c #Conflicts: 136000 | #Constraints: 55543 687.03/688.95 c #Conflicts: 137000 | #Constraints: 56543 687.03/688.95 c #Conflicts: 138000 | #Constraints: 57543 687.03/688.95 c #Conflicts: 139000 | #Constraints: 58543 687.03/688.95 c #Conflicts: 140000 | #Constraints: 59543 687.03/688.95 c #Conflicts: 141000 | #Constraints: 60544 687.03/688.95 c #Conflicts: 142000 | #Constraints: 61544 687.03/688.95 c #Conflicts: 143000 | #Constraints: 62544 687.03/688.95 c #Conflicts: 144000 | #Constraints: 63544 687.03/688.95 c #Conflicts: 145000 | #Constraints: 64544 687.03/688.95 c INPROCESSING 687.03/688.95 c GARBAGE COLLECT 687.03/688.95 c #Conflicts: 146000 | #Constraints: 45505 687.03/688.95 c #Conflicts: 147000 | #Constraints: 46505 687.03/688.95 c #Conflicts: 148000 | #Constraints: 47505 687.03/688.95 c #Conflicts: 149000 | #Constraints: 48505 687.03/688.95 c #Conflicts: 150000 | #Constraints: 49505 687.03/688.95 c #Conflicts: 151000 | #Constraints: 50505 687.03/688.95 c #Conflicts: 152000 | #Constraints: 51505 687.03/688.95 c #Conflicts: 153000 | #Constraints: 52505 687.03/688.95 c #Conflicts: 154000 | #Constraints: 53505 687.03/688.95 c #Conflicts: 155000 | #Constraints: 54506 687.03/688.95 c #Conflicts: 156000 | #Constraints: 55506 687.03/688.95 c INPROCESSING 687.03/688.95 c GARBAGE COLLECT 687.03/688.95 c rational objective 196 755.97/758.01 c #Conflicts: 157000 | #Constraints: 44808 755.97/758.01 c #Conflicts: 158000 | #Constraints: 45808 755.97/758.01 c #Conflicts: 159000 | #Constraints: 46808 755.97/758.01 c #Conflicts: 160000 | #Constraints: 47808 755.97/758.01 c #Conflicts: 161000 | #Constraints: 48808 755.97/758.01 c #Conflicts: 162000 | #Constraints: 49808 755.97/758.01 c #Conflicts: 163000 | #Constraints: 50808 755.97/758.01 c #Conflicts: 164000 | #Constraints: 51808 755.97/758.01 c #Conflicts: 165000 | #Constraints: 52808 755.97/758.01 c #Conflicts: 166000 | #Constraints: 53808 755.97/758.01 c #Conflicts: 167000 | #Constraints: 54808 755.97/758.01 c #Conflicts: 168000 | #Constraints: 55808 755.97/758.01 c #Conflicts: 169000 | #Constraints: 56808 755.97/758.01 c #Conflicts: 170000 | #Constraints: 57808 755.97/758.01 c #Conflicts: 171000 | #Constraints: 58808 755.97/758.01 c #Conflicts: 172000 | #Constraints: 59808 755.97/758.01 c #Conflicts: 173000 | #Constraints: 60808 755.97/758.01 c #Conflicts: 174000 | #Constraints: 61808 755.97/758.01 c #Conflicts: 175000 | #Constraints: 62808 755.97/758.01 c #Conflicts: 176000 | #Constraints: 63808 755.97/758.01 c #Conflicts: 177000 | #Constraints: 64808 755.97/758.01 c #Conflicts: 178000 | #Constraints: 65808 755.97/758.01 c #Conflicts: 179000 | #Constraints: 66808 755.97/758.01 c #Conflicts: 180000 | #Constraints: 67808 755.97/758.01 c #Conflicts: 181000 | #Constraints: 68808 755.97/758.01 c #Conflicts: 182000 | #Constraints: 69808 755.97/758.01 c #Conflicts: 183000 | #Constraints: 70808 755.97/758.01 c INPROCESSING 755.97/758.01 c GARBAGE COLLECT 755.97/758.01 c rational objective 196 787.89/790.04 c #Conflicts: 184000 | #Constraints: 48684 787.89/790.04 c #Conflicts: 185000 | #Constraints: 49684 787.89/790.04 c #Conflicts: 186000 | #Constraints: 50684 787.89/790.04 c #Conflicts: 187000 | #Constraints: 51684 787.89/790.04 c #Conflicts: 188000 | #Constraints: 52684 787.89/790.04 c #Conflicts: 189000 | #Constraints: 53684 787.89/790.04 c #Conflicts: 190000 | #Constraints: 54684 787.89/790.04 c #Conflicts: 191000 | #Constraints: 55684 787.89/790.04 c #Conflicts: 192000 | #Constraints: 56684 787.89/790.04 c #Conflicts: 193000 | #Constraints: 57684 787.89/790.04 c #Conflicts: 194000 | #Constraints: 58684 787.89/790.04 c #Conflicts: 195000 | #Constraints: 59684 787.89/790.04 c #Conflicts: 196000 | #Constraints: 60684 787.89/790.04 c INPROCESSING 787.89/790.04 c GARBAGE COLLECT 787.89/790.04 c rational objective 196 868.88/871.28 c #Conflicts: 197000 | #Constraints: 48484 868.88/871.28 c #Conflicts: 198000 | #Constraints: 49484 868.88/871.28 c #Conflicts: 199000 | #Constraints: 50485 868.88/871.28 c #Conflicts: 200000 | #Constraints: 51485 868.88/871.28 c #Conflicts: 201000 | #Constraints: 52486 868.88/871.28 c #Conflicts: 202000 | #Constraints: 53486 868.88/871.28 c #Conflicts: 203000 | #Constraints: 54486 868.88/871.28 c #Conflicts: 204000 | #Constraints: 55486 868.88/871.28 c #Conflicts: 205000 | #Constraints: 56487 868.88/871.28 c #Conflicts: 206000 | #Constraints: 57487 868.88/871.28 c #Conflicts: 207000 | #Constraints: 58487 868.88/871.28 c #Conflicts: 208000 | #Constraints: 59488 868.88/871.28 c #Conflicts: 209000 | #Constraints: 60488 868.88/871.28 c #Conflicts: 210000 | #Constraints: 61488 868.88/871.28 c #Conflicts: 211000 | #Constraints: 62488 868.88/871.28 c #Conflicts: 212000 | #Constraints: 63488 868.88/871.28 c #Conflicts: 213000 | #Constraints: 64488 868.88/871.28 c #Conflicts: 214000 | #Constraints: 65488 868.88/871.28 c #Conflicts: 215000 | #Constraints: 66488 868.88/871.28 c #Conflicts: 216000 | #Constraints: 67488 868.88/871.28 c #Conflicts: 217000 | #Constraints: 68488 868.88/871.28 c #Conflicts: 218000 | #Constraints: 69488 868.88/871.28 c #Conflicts: 219000 | #Constraints: 70488 868.88/871.28 c #Conflicts: 220000 | #Constraints: 71488 868.88/871.28 c #Conflicts: 221000 | #Constraints: 72488 868.88/871.28 c #Conflicts: 222000 | #Constraints: 73488 868.88/871.28 c #Conflicts: 223000 | #Constraints: 74488 868.88/871.28 c #Conflicts: 224000 | #Constraints: 75488 868.88/871.28 c #Conflicts: 225000 | #Constraints: 76488 868.88/871.28 c #Conflicts: 226000 | #Constraints: 77488 868.88/871.28 c INPROCESSING 868.88/871.28 c GARBAGE COLLECT 868.88/871.28 c rational objective 196 894.12/896.59 c #Conflicts: 227000 | #Constraints: 52261 894.12/896.59 c #Conflicts: 228000 | #Constraints: 53262 894.12/896.59 c #Conflicts: 229000 | #Constraints: 54262 894.12/896.59 c #Conflicts: 230000 | #Constraints: 55262 894.12/896.59 c #Conflicts: 231000 | #Constraints: 56262 894.12/896.59 c #Conflicts: 232000 | #Constraints: 57263 894.12/896.59 c #Conflicts: 233000 | #Constraints: 58263 894.12/896.59 c #Conflicts: 234000 | #Constraints: 59263 894.12/896.59 c #Conflicts: 235000 | #Constraints: 60263 894.12/896.59 c #Conflicts: 236000 | #Constraints: 61263 894.12/896.59 c #Conflicts: 237000 | #Constraints: 62263 894.12/896.59 c #Conflicts: 238000 | #Constraints: 63263 894.12/896.59 c #Conflicts: 239000 | #Constraints: 64263 894.12/896.59 c #Conflicts: 240000 | #Constraints: 65263 894.12/896.59 c INPROCESSING 894.12/896.59 c GARBAGE COLLECT 894.12/896.59 c rational objective 196 963.15/965.80 c #Conflicts: 241000 | #Constraints: 50588 963.15/965.80 c #Conflicts: 242000 | #Constraints: 51588 963.15/965.80 c #Conflicts: 243000 | #Constraints: 52588 963.15/965.80 c #Conflicts: 244000 | #Constraints: 53588 963.15/965.80 c #Conflicts: 245000 | #Constraints: 54588 963.15/965.80 c #Conflicts: 246000 | #Constraints: 55588 963.15/965.80 c #Conflicts: 247000 | #Constraints: 56588 963.15/965.80 c #Conflicts: 248000 | #Constraints: 57589 963.15/965.80 c #Conflicts: 249000 | #Constraints: 58590 963.15/965.80 c #Conflicts: 250000 | #Constraints: 59590 963.15/965.80 c #Conflicts: 251000 | #Constraints: 60590 963.15/965.80 c #Conflicts: 252000 | #Constraints: 61590 963.15/965.80 c #Conflicts: 253000 | #Constraints: 62590 963.15/965.80 c #Conflicts: 254000 | #Constraints: 63590 963.15/965.80 c #Conflicts: 255000 | #Constraints: 64590 963.15/965.80 c #Conflicts: 256000 | #Constraints: 65590 963.15/965.80 c #Conflicts: 257000 | #Constraints: 66590 963.15/965.80 c #Conflicts: 258000 | #Constraints: 67590 963.15/965.80 c #Conflicts: 259000 | #Constraints: 68590 963.15/965.80 c #Conflicts: 260000 | #Constraints: 69590 963.15/965.80 c #Conflicts: 261000 | #Constraints: 70590 963.15/965.80 c #Conflicts: 262000 | #Constraints: 71590 963.15/965.80 c #Conflicts: 263000 | #Constraints: 72591 963.15/965.80 c #Conflicts: 264000 | #Constraints: 73591 963.15/965.80 c #Conflicts: 265000 | #Constraints: 74591 963.15/965.80 c #Conflicts: 266000 | #Constraints: 75591 963.15/965.80 c #Conflicts: 267000 | #Constraints: 76591 963.15/965.80 c #Conflicts: 268000 | #Constraints: 77591 963.15/965.80 c #Conflicts: 269000 | #Constraints: 78591 963.15/965.80 c #Conflicts: 270000 | #Constraints: 79591 963.15/965.80 c #Conflicts: 271000 | #Constraints: 80591 963.15/965.80 c #Conflicts: 272000 | #Constraints: 81591 963.15/965.80 c #Conflicts: 273000 | #Constraints: 82591 963.15/965.80 c INPROCESSING 963.15/965.80 c GARBAGE COLLECT 963.15/965.80 c rational objective 196 1000.05/1002.75 c #Conflicts: 274000 | #Constraints: 55260 1000.05/1002.75 c #Conflicts: 275000 | #Constraints: 56260 1000.05/1002.75 c #Conflicts: 276000 | #Constraints: 57260 1000.05/1002.75 c #Conflicts: 277000 | #Constraints: 58260 1000.05/1002.75 c #Conflicts: 278000 | #Constraints: 59260 1000.05/1002.75 c #Conflicts: 279000 | #Constraints: 60260 1000.05/1002.75 c #Conflicts: 280000 | #Constraints: 61260 1000.05/1002.75 c #Conflicts: 281000 | #Constraints: 62260 1000.05/1002.75 c #Conflicts: 282000 | #Constraints: 63260 1000.05/1002.75 c #Conflicts: 283000 | #Constraints: 64261 1000.05/1002.75 c #Conflicts: 284000 | #Constraints: 65261 1000.05/1002.75 c #Conflicts: 285000 | #Constraints: 66261 1000.05/1002.75 c #Conflicts: 286000 | #Constraints: 67261 1000.05/1002.75 c #Conflicts: 287000 | #Constraints: 68261 1000.05/1002.75 c #Conflicts: 288000 | #Constraints: 69261 1000.05/1002.75 c INPROCESSING 1000.05/1002.75 c GARBAGE COLLECT 1000.05/1002.75 c rational objective 196 1126.21/1129.26 c #Conflicts: 289000 | #Constraints: 53982 1126.21/1129.26 c #Conflicts: 290000 | #Constraints: 54982 1126.21/1129.26 c #Conflicts: 291000 | #Constraints: 55982 1126.21/1129.26 c #Conflicts: 292000 | #Constraints: 56982 1126.21/1129.26 c #Conflicts: 293000 | #Constraints: 57982 1126.21/1129.26 c #Conflicts: 294000 | #Constraints: 58982 1126.21/1129.26 c #Conflicts: 295000 | #Constraints: 59982 1126.21/1129.26 c #Conflicts: 296000 | #Constraints: 60982 1126.21/1129.26 c #Conflicts: 297000 | #Constraints: 61982 1126.21/1129.26 c #Conflicts: 298000 | #Constraints: 62983 1126.21/1129.26 c #Conflicts: 299000 | #Constraints: 63983 1126.21/1129.26 c #Conflicts: 300000 | #Constraints: 64983 1126.21/1129.26 c #Conflicts: 301000 | #Constraints: 65983 1126.21/1129.26 c #Conflicts: 302000 | #Constraints: 66983 1126.21/1129.26 c #Conflicts: 303000 | #Constraints: 67983 1126.21/1129.26 c #Conflicts: 304000 | #Constraints: 68983 1126.21/1129.26 c #Conflicts: 305000 | #Constraints: 69983 1126.21/1129.26 c #Conflicts: 306000 | #Constraints: 70983 1126.21/1129.26 c #Conflicts: 307000 | #Constraints: 71983 1126.21/1129.26 c #Conflicts: 308000 | #Constraints: 72983 1126.21/1129.26 c #Conflicts: 309000 | #Constraints: 73983 1126.21/1129.26 c #Conflicts: 310000 | #Constraints: 74983 1126.21/1129.26 c #Conflicts: 311000 | #Constraints: 75983 1126.21/1129.26 c #Conflicts: 312000 | #Constraints: 76983 1126.21/1129.26 c #Conflicts: 313000 | #Constraints: 77984 1126.21/1129.26 c #Conflicts: 314000 | #Constraints: 78984 1126.21/1129.26 c #Conflicts: 315000 | #Constraints: 79984 1126.21/1129.26 c #Conflicts: 316000 | #Constraints: 80984 1126.21/1129.26 c #Conflicts: 317000 | #Constraints: 81984 1126.21/1129.26 c #Conflicts: 318000 | #Constraints: 82984 1126.21/1129.26 c #Conflicts: 319000 | #Constraints: 83984 1126.21/1129.26 c #Conflicts: 320000 | #Constraints: 84984 1126.21/1129.26 c #Conflicts: 321000 | #Constraints: 85984 1126.21/1129.26 c #Conflicts: 322000 | #Constraints: 86984 1126.21/1129.26 c #Conflicts: 323000 | #Constraints: 87984 1126.21/1129.26 c #Conflicts: 324000 | #Constraints: 88984 1126.21/1129.26 c INPROCESSING 1126.21/1129.26 c GARBAGE COLLECT 1126.21/1129.26 c rational objective 196 1401.51/1405.39 c #Conflicts: 325000 | #Constraints: 57214 1401.51/1405.39 c #Conflicts: 326000 | #Constraints: 58214 1401.51/1405.39 c #Conflicts: 327000 | #Constraints: 59214 1401.51/1405.39 c #Conflicts: 328000 | #Constraints: 60215 1401.51/1405.39 c #Conflicts: 329000 | #Constraints: 61215 1401.51/1405.39 c #Conflicts: 330000 | #Constraints: 62215 1401.51/1405.39 c #Conflicts: 331000 | #Constraints: 63215 1401.51/1405.39 c #Conflicts: 332000 | #Constraints: 64215 1401.51/1405.39 c #Conflicts: 333000 | #Constraints: 65215 1401.51/1405.39 c #Conflicts: 334000 | #Constraints: 66215 1401.51/1405.39 c #Conflicts: 335000 | #Constraints: 67215 1401.51/1405.39 c #Conflicts: 336000 | #Constraints: 68215 1401.51/1405.39 c #Conflicts: 337000 | #Constraints: 69215 1401.51/1405.39 c #Conflicts: 338000 | #Constraints: 70215 1401.51/1405.39 c #Conflicts: 339000 | #Constraints: 71215 1401.51/1405.39 c #Conflicts: 340000 | #Constraints: 72215 1401.51/1405.39 c INPROCESSING 1401.51/1405.39 c GARBAGE COLLECT 1401.51/1405.39 c rational objective 196 1559.12/1563.44 c #Conflicts: 341000 | #Constraints: 56369 1559.12/1563.44 c #Conflicts: 342000 | #Constraints: 57369 1559.12/1563.44 c #Conflicts: 343000 | #Constraints: 58369 1559.12/1563.44 c #Conflicts: 344000 | #Constraints: 59369 1559.12/1563.44 c #Conflicts: 345000 | #Constraints: 60369 1559.12/1563.44 c #Conflicts: 346000 | #Constraints: 61369 1559.12/1563.44 c #Conflicts: 347000 | #Constraints: 62369 1559.12/1563.44 c #Conflicts: 348000 | #Constraints: 63369 1559.12/1563.44 c #Conflicts: 349000 | #Constraints: 64370 1559.12/1563.44 c #Conflicts: 350000 | #Constraints: 65370 1559.12/1563.44 c #Conflicts: 351000 | #Constraints: 66371 1559.12/1563.44 c #Conflicts: 352000 | #Constraints: 67371 1559.12/1563.44 c #Conflicts: 353000 | #Constraints: 68371 1559.12/1563.44 c #Conflicts: 354000 | #Constraints: 69371 1559.12/1563.44 c #Conflicts: 355000 | #Constraints: 70371 1559.12/1563.44 c #Conflicts: 356000 | #Constraints: 71371 1559.12/1563.44 c #Conflicts: 357000 | #Constraints: 72371 1559.12/1563.44 c #Conflicts: 358000 | #Constraints: 73371 1559.12/1563.44 c #Conflicts: 359000 | #Constraints: 74371 1559.12/1563.44 c #Conflicts: 360000 | #Constraints: 75371 1559.12/1563.44 c #Conflicts: 361000 | #Constraints: 76371 1559.12/1563.44 c #Conflicts: 362000 | #Constraints: 77371 1559.12/1563.44 c #Conflicts: 363000 | #Constraints: 78371 1559.12/1563.44 c #Conflicts: 364000 | #Constraints: 79371 1559.12/1563.44 c #Conflicts: 365000 | #Constraints: 80371 1559.12/1563.44 c #Conflicts: 366000 | #Constraints: 81372 1559.12/1563.44 c #Conflicts: 367000 | #Constraints: 82372 1559.12/1563.44 c #Conflicts: 368000 | #Constraints: 83372 1559.12/1563.44 c #Conflicts: 369000 | #Constraints: 84372 1559.12/1563.44 c #Conflicts: 370000 | #Constraints: 85373 1559.12/1563.44 c #Conflicts: 371000 | #Constraints: 86373 1559.12/1563.44 c #Conflicts: 372000 | #Constraints: 87373 1559.12/1563.44 c #Conflicts: 373000 | #Constraints: 88373 1559.12/1563.44 c #Conflicts: 374000 | #Constraints: 89373 1559.12/1563.44 c #Conflicts: 375000 | #Constraints: 90373 1559.12/1563.44 c #Conflicts: 376000 | #Constraints: 91373 1559.12/1563.44 c #Conflicts: 377000 | #Constraints: 92373 1559.12/1563.44 c #Conflicts: 378000 | #Constraints: 93373 1559.12/1563.44 c #Conflicts: 379000 | #Constraints: 94373 1559.12/1563.44 c #Conflicts: 380000 | #Constraints: 95373 1559.12/1563.44 c INPROCESSING 1559.12/1563.44 c GARBAGE COLLECT 1559.12/1563.44 c rational objective 196 1630.79/1635.33 c #Conflicts: 381000 | #Constraints: 61465 1630.79/1635.33 c #Conflicts: 382000 | #Constraints: 62466 1630.79/1635.33 c #Conflicts: 383000 | #Constraints: 63466 1630.79/1635.33 c #Conflicts: 384000 | #Constraints: 64466 1630.79/1635.33 c #Conflicts: 385000 | #Constraints: 65466 1630.79/1635.33 c #Conflicts: 386000 | #Constraints: 66466 1630.79/1635.33 c #Conflicts: 387000 | #Constraints: 67466 1630.79/1635.33 c #Conflicts: 388000 | #Constraints: 68466 1630.79/1635.33 c #Conflicts: 389000 | #Constraints: 69466 1630.79/1635.33 c #Conflicts: 390000 | #Constraints: 70467 1630.79/1635.33 c #Conflicts: 391000 | #Constraints: 71467 1630.79/1635.33 c #Conflicts: 392000 | #Constraints: 72467 1630.79/1635.33 c #Conflicts: 393000 | #Constraints: 73467 1630.79/1635.33 c #Conflicts: 394000 | #Constraints: 74467 1630.79/1635.33 c #Conflicts: 395000 | #Constraints: 75467 1630.79/1635.33 c #Conflicts: 396000 | #Constraints: 76467 1630.79/1635.33 c #Conflicts: 397000 | #Constraints: 77467 1630.79/1635.33 c INPROCESSING 1630.79/1635.33 c GARBAGE COLLECT 1630.79/1635.33 c rational objective 196 1907.34/1912.78 c #Conflicts: 398000 | #Constraints: 59859 1907.34/1912.78 c #Conflicts: 399000 | #Constraints: 60859 1907.34/1912.78 c #Conflicts: 400000 | #Constraints: 61859 1907.34/1912.78 c #Conflicts: 401000 | #Constraints: 62859 1907.34/1912.78 c #Conflicts: 402000 | #Constraints: 63859 1907.34/1912.78 c #Conflicts: 403000 | #Constraints: 64859 1907.34/1912.78 c #Conflicts: 404000 | #Constraints: 65859 1907.34/1912.78 c #Conflicts: 405000 | #Constraints: 66859 1907.34/1912.78 c #Conflicts: 406000 | #Constraints: 67859 1907.34/1912.78 c #Conflicts: 407000 | #Constraints: 68859 1907.34/1912.78 c #Conflicts: 408000 | #Constraints: 69859 1907.34/1912.78 c #Conflicts: 409000 | #Constraints: 70859 1907.34/1912.78 c #Conflicts: 410000 | #Constraints: 71859 1907.34/1912.78 c #Conflicts: 411000 | #Constraints: 72859 1907.34/1912.78 c #Conflicts: 412000 | #Constraints: 73859 1907.34/1912.78 c #Conflicts: 413000 | #Constraints: 74859 1907.34/1912.78 c #Conflicts: 414000 | #Constraints: 75859 1907.34/1912.78 c #Conflicts: 415000 | #Constraints: 76859 1907.34/1912.78 c #Conflicts: 416000 | #Constraints: 77859 1907.34/1912.78 c #Conflicts: 417000 | #Constraints: 78860 1907.34/1912.78 c #Conflicts: 418000 | #Constraints: 79860 1907.34/1912.78 c #Conflicts: 419000 | #Constraints: 80860 1907.34/1912.78 c #Conflicts: 420000 | #Constraints: 81860 1907.34/1912.78 c #Conflicts: 421000 | #Constraints: 82860 1907.34/1912.78 c #Conflicts: 422000 | #Constraints: 83860 1907.34/1912.78 c #Conflicts: 423000 | #Constraints: 84860 1907.34/1912.78 c #Conflicts: 424000 | #Constraints: 85860 1907.34/1912.78 c #Conflicts: 425000 | #Constraints: 86860 1907.34/1912.78 c #Conflicts: 426000 | #Constraints: 87860 1907.34/1912.78 c #Conflicts: 427000 | #Constraints: 88860 1907.34/1912.78 c #Conflicts: 428000 | #Constraints: 89860 1907.34/1912.78 c #Conflicts: 429000 | #Constraints: 90860 1907.34/1912.78 c #Conflicts: 430000 | #Constraints: 91860 1907.34/1912.78 c #Conflicts: 431000 | #Constraints: 92861 1907.34/1912.78 c #Conflicts: 432000 | #Constraints: 93861 1907.34/1912.78 c #Conflicts: 433000 | #Constraints: 94861 1907.34/1912.78 c #Conflicts: 434000 | #Constraints: 95861 1907.34/1912.78 c #Conflicts: 435000 | #Constraints: 96861 1907.34/1912.78 c #Conflicts: 436000 | #Constraints: 97861 1907.34/1912.78 c #Conflicts: 437000 | #Constraints: 98861 1907.34/1912.78 c #Conflicts: 438000 | #Constraints: 99861 1907.34/1912.78 c #Conflicts: 439000 | #Constraints: 100861 1907.34/1912.78 c #Conflicts: 440000 | #Constraints: 101861 1907.34/1912.78 c INPROCESSING 1907.34/1912.78 c GARBAGE COLLECT 1907.34/1912.78 c rational objective 196 2181.92/2188.12 c #Conflicts: 441000 | #Constraints: 64757 2181.92/2188.12 c #Conflicts: 442000 | #Constraints: 65757 2181.92/2188.12 c #Conflicts: 443000 | #Constraints: 66757 2181.92/2188.12 c #Conflicts: 444000 | #Constraints: 67757 2181.92/2188.12 c #Conflicts: 445000 | #Constraints: 68758 2181.92/2188.12 c #Conflicts: 446000 | #Constraints: 69758 2181.92/2188.12 c #Conflicts: 447000 | #Constraints: 70758 2181.92/2188.12 c #Conflicts: 448000 | #Constraints: 71758 2181.92/2188.12 c #Conflicts: 449000 | #Constraints: 72758 2181.92/2188.12 c #Conflicts: 450000 | #Constraints: 73758 2181.92/2188.12 c #Conflicts: 451000 | #Constraints: 74758 2181.92/2188.12 c #Conflicts: 452000 | #Constraints: 75758 2181.92/2188.12 c #Conflicts: 453000 | #Constraints: 76758 2181.92/2188.12 c #Conflicts: 454000 | #Constraints: 77759 2181.92/2188.12 c #Conflicts: 455000 | #Constraints: 78759 2181.92/2188.12 c #Conflicts: 456000 | #Constraints: 79759 2181.92/2188.12 c #Conflicts: 457000 | #Constraints: 80759 2181.92/2188.12 c #Conflicts: 458000 | #Constraints: 81759 2181.92/2188.12 c #Conflicts: 459000 | #Constraints: 82759 2181.92/2188.12 c INPROCESSING 2181.92/2188.12 c GARBAGE COLLECT 2181.92/2188.12 c #Conflicts: 460000 | #Constraints: 62902 2181.92/2188.12 c #Conflicts: 461000 | #Constraints: 63902 2181.92/2188.12 c #Conflicts: 462000 | #Constraints: 64902 2181.92/2188.12 c #Conflicts: 463000 | #Constraints: 65902 2181.92/2188.12 c #Conflicts: 464000 | #Constraints: 66902 2181.92/2188.12 c #Conflicts: 465000 | #Constraints: 67902 2181.92/2188.12 c #Conflicts: 466000 | #Constraints: 68902 2181.92/2188.12 c #Conflicts: 467000 | #Constraints: 69902 2181.92/2188.12 c #Conflicts: 468000 | #Constraints: 70902 2181.92/2188.12 c #Conflicts: 469000 | #Constraints: 71903 2181.92/2188.12 c #Conflicts: 470000 | #Constraints: 72903 2181.92/2188.12 c #Conflicts: 471000 | #Constraints: 73903 2181.92/2188.12 c #Conflicts: 472000 | #Constraints: 74903 2181.92/2188.12 c #Conflicts: 473000 | #Constraints: 75903 2181.92/2188.12 c #Conflicts: 474000 | #Constraints: 76903 2181.92/2188.12 c #Conflicts: 475000 | #Constraints: 77903 2181.92/2188.12 c #Conflicts: 476000 | #Constraints: 78903 2181.92/2188.12 c #Conflicts: 477000 | #Constraints: 79903 2181.92/2188.12 c #Conflicts: 478000 | #Constraints: 80903 2181.92/2188.12 c #Conflicts: 479000 | #Constraints: 81903 2181.92/2188.12 c #Conflicts: 480000 | #Constraints: 82903 2181.92/2188.12 c #Conflicts: 481000 | #Constraints: 83903 2181.92/2188.12 c #Conflicts: 482000 | #Constraints: 84903 2181.92/2188.12 c #Conflicts: 483000 | #Constraints: 85903 2181.92/2188.12 c #Conflicts: 484000 | #Constraints: 86903 2181.92/2188.12 c #Conflicts: 485000 | #Constraints: 87903 2181.92/2188.12 c #Conflicts: 486000 | #Constraints: 88903 2181.92/2188.12 c #Conflicts: 487000 | #Constraints: 89903 2181.92/2188.12 c #Conflicts: 488000 | #Constraints: 90903 2181.92/2188.12 c #Conflicts: 489000 | #Constraints: 91903 2181.92/2188.12 c #Conflicts: 490000 | #Constraints: 92903 2181.92/2188.12 c #Conflicts: 491000 | #Constraints: 93903 2181.92/2188.12 c #Conflicts: 492000 | #Constraints: 94903 2181.92/2188.12 c #Conflicts: 493000 | #Constraints: 95903 2181.92/2188.12 c #Conflicts: 494000 | #Constraints: 96903 2181.92/2188.12 c #Conflicts: 495000 | #Constraints: 97903 2181.92/2188.12 c #Conflicts: 496000 | #Constraints: 98903 2181.92/2188.12 c #Conflicts: 497000 | #Constraints: 99903 2181.92/2188.12 c #Conflicts: 498000 | #Constraints: 100903 2181.92/2188.12 c #Conflicts: 499000 | #Constraints: 101903 2181.92/2188.12 c #Conflicts: 500000 | #Constraints: 102903 2181.92/2188.12 c #Conflicts: 501000 | #Constraints: 103903 2181.92/2188.12 c #Conflicts: 502000 | #Constraints: 104903 2181.92/2188.12 c #Conflicts: 503000 | #Constraints: 105903 2181.92/2188.12 c #Conflicts: 504000 | #Constraints: 106903 2181.92/2188.12 c INPROCESSING 2181.92/2188.12 c GARBAGE COLLECT 2181.92/2188.12 c #Conflicts: 505000 | #Constraints: 67073 2181.92/2188.12 c #Conflicts: 506000 | #Constraints: 68073 2181.92/2188.12 c #Conflicts: 507000 | #Constraints: 69073 2181.92/2188.12 c #Conflicts: 508000 | #Constraints: 70073 2181.92/2188.12 c #Conflicts: 509000 | #Constraints: 71073 2181.92/2188.12 c #Conflicts: 510000 | #Constraints: 72073 2181.92/2188.12 c #Conflicts: 511000 | #Constraints: 73073 2181.92/2188.12 c #Conflicts: 512000 | #Constraints: 74073 2181.92/2188.12 c #Conflicts: 513000 | #Constraints: 75073 2181.92/2188.12 c #Conflicts: 514000 | #Constraints: 76073 2181.92/2188.12 c #Conflicts: 515000 | #Constraints: 77073 2181.92/2188.12 c #Conflicts: 516000 | #Constraints: 78073 2181.92/2188.12 c #Conflicts: 517000 | #Constraints: 79074 2181.92/2188.12 c #Conflicts: 518000 | #Constraints: 80074 2225.11/2231.43 c #Conflicts: 519000 | #Constraints: 81074 2225.11/2231.43 c #Conflicts: 520000 | #Constraints: 82074 2225.11/2231.43 c #Conflicts: 521000 | #Constraints: 83074 2225.11/2231.43 c #Conflicts: 522000 | #Constraints: 84074 2225.11/2231.43 c #Conflicts: 523000 | #Constraints: 85074 2225.11/2231.43 c #Conflicts: 524000 | #Constraints: 86074 2225.11/2231.43 c #Conflicts: 525000 | #Constraints: 87074 2225.11/2231.43 c INPROCESSING 2225.11/2231.43 c GARBAGE COLLECT 2225.11/2231.43 c rational objective 196 2400.62/2407.36 c #Conflicts: 526000 | #Constraints: 65453 2400.62/2407.36 c #Conflicts: 527000 | #Constraints: 66453 2400.62/2407.36 c #Conflicts: 528000 | #Constraints: 67453 2400.62/2407.36 c #Conflicts: 529000 | #Constraints: 68453 2400.62/2407.36 c #Conflicts: 530000 | #Constraints: 69453 2400.62/2407.36 c #Conflicts: 531000 | #Constraints: 70453 2400.62/2407.36 c #Conflicts: 532000 | #Constraints: 71453 2400.62/2407.36 c #Conflicts: 533000 | #Constraints: 72453 2400.62/2407.36 c #Conflicts: 534000 | #Constraints: 73453 2400.62/2407.36 c #Conflicts: 535000 | #Constraints: 74453 2400.62/2407.36 c #Conflicts: 536000 | #Constraints: 75453 2400.62/2407.36 c #Conflicts: 537000 | #Constraints: 76453 2400.62/2407.36 c #Conflicts: 538000 | #Constraints: 77453 2400.62/2407.36 c #Conflicts: 539000 | #Constraints: 78453 2400.62/2407.36 c #Conflicts: 540000 | #Constraints: 79453 2400.62/2407.36 c #Conflicts: 541000 | #Constraints: 80453 2400.62/2407.36 c #Conflicts: 542000 | #Constraints: 81453 2400.62/2407.36 c #Conflicts: 543000 | #Constraints: 82453 2400.62/2407.36 c #Conflicts: 544000 | #Constraints: 83453 2400.62/2407.36 c #Conflicts: 545000 | #Constraints: 84453 2400.62/2407.36 c #Conflicts: 546000 | #Constraints: 85453 2400.62/2407.36 c #Conflicts: 547000 | #Constraints: 86453 2400.62/2407.36 c #Conflicts: 548000 | #Constraints: 87453 2400.62/2407.36 c #Conflicts: 549000 | #Constraints: 88454 2400.62/2407.36 c #Conflicts: 550000 | #Constraints: 89454 2400.62/2407.36 c #Conflicts: 551000 | #Constraints: 90454 2400.62/2407.36 c #Conflicts: 552000 | #Constraints: 91454 2400.62/2407.36 c #Conflicts: 553000 | #Constraints: 92454 2400.62/2407.36 c #Conflicts: 554000 | #Constraints: 93454 2400.62/2407.36 c #Conflicts: 555000 | #Constraints: 94454 2400.62/2407.36 c #Conflicts: 556000 | #Constraints: 95454 2400.62/2407.36 c #Conflicts: 557000 | #Constraints: 96454 2400.62/2407.36 c #Conflicts: 558000 | #Constraints: 97454 2400.62/2407.36 c #Conflicts: 559000 | #Constraints: 98454 2400.62/2407.36 c #Conflicts: 560000 | #Constraints: 99454 2400.62/2407.36 c #Conflicts: 561000 | #Constraints: 100454 2400.62/2407.36 c #Conflicts: 562000 | #Constraints: 101454 2400.62/2407.36 c #Conflicts: 563000 | #Constraints: 102454 2400.62/2407.36 c #Conflicts: 564000 | #Constraints: 103454 2400.62/2407.36 c #Conflicts: 565000 | #Constraints: 104454 2400.62/2407.36 c #Conflicts: 566000 | #Constraints: 105454 2400.62/2407.36 c #Conflicts: 567000 | #Constraints: 106454 2400.62/2407.36 c #Conflicts: 568000 | #Constraints: 107454 2400.62/2407.36 c #Conflicts: 569000 | #Constraints: 108454 2400.62/2407.36 c #Conflicts: 570000 | #Constraints: 109454 2400.62/2407.36 c #Conflicts: 571000 | #Constraints: 110454 2400.62/2407.36 c #Conflicts: 572000 | #Constraints: 111454 2400.62/2407.36 c #Conflicts: 573000 | #Constraints: 112454 2400.62/2407.36 c INPROCESSING 2400.62/2407.36 c GARBAGE COLLECT 2400.62/2407.36 c rational objective 196 2447.71/2454.59 c #Conflicts: 574000 | #Constraints: 70304 2447.71/2454.59 c #Conflicts: 575000 | #Constraints: 71304 2447.71/2454.59 c #Conflicts: 576000 | #Constraints: 72304 2447.71/2454.59 c #Conflicts: 577000 | #Constraints: 73304 2447.71/2454.59 c #Conflicts: 578000 | #Constraints: 74304 2447.71/2454.59 c #Conflicts: 579000 | #Constraints: 75304 2447.71/2454.59 c #Conflicts: 580000 | #Constraints: 76304 2447.71/2454.59 c #Conflicts: 581000 | #Constraints: 77304 2447.71/2454.59 c #Conflicts: 582000 | #Constraints: 78304 2447.71/2454.59 c #Conflicts: 583000 | #Constraints: 79304 2447.71/2454.59 c #Conflicts: 584000 | #Constraints: 80304 2447.71/2454.59 c #Conflicts: 585000 | #Constraints: 81304 2447.71/2454.59 c #Conflicts: 586000 | #Constraints: 82304 2447.71/2454.59 c #Conflicts: 587000 | #Constraints: 83304 2447.71/2454.59 c #Conflicts: 588000 | #Constraints: 84304 2447.71/2454.59 c #Conflicts: 589000 | #Constraints: 85304 2447.71/2454.59 c #Conflicts: 590000 | #Constraints: 86304 2447.71/2454.59 c #Conflicts: 591000 | #Constraints: 87304 2447.71/2454.59 c #Conflicts: 592000 | #Constraints: 88304 2447.71/2454.59 c #Conflicts: 593000 | #Constraints: 89304 2447.71/2454.59 c #Conflicts: 594000 | #Constraints: 90304 2447.71/2454.59 c #Conflicts: 595000 | #Constraints: 91304 2447.71/2454.59 c INPROCESSING 2447.71/2454.59 c GARBAGE COLLECT 2447.71/2454.59 c rational objective 196 2603.76/2610.91 c #Conflicts: 596000 | #Constraints: 68989 2603.76/2610.91 c #Conflicts: 597000 | #Constraints: 69989 2603.76/2610.91 c #Conflicts: 598000 | #Constraints: 70989 2603.76/2610.91 c #Conflicts: 599000 | #Constraints: 71989 2603.76/2610.91 c #Conflicts: 600000 | #Constraints: 72989 2603.76/2610.91 c #Conflicts: 601000 | #Constraints: 73989 2603.76/2610.91 c #Conflicts: 602000 | #Constraints: 74989 2603.76/2610.91 c #Conflicts: 603000 | #Constraints: 75989 2603.76/2610.91 c #Conflicts: 604000 | #Constraints: 76989 2603.76/2610.91 c #Conflicts: 605000 | #Constraints: 77989 2603.76/2610.91 c #Conflicts: 606000 | #Constraints: 78989 2603.76/2610.91 c #Conflicts: 607000 | #Constraints: 79989 2603.76/2610.91 c #Conflicts: 608000 | #Constraints: 80989 2603.76/2610.91 c #Conflicts: 609000 | #Constraints: 81989 2603.76/2610.91 c #Conflicts: 610000 | #Constraints: 82989 2603.76/2610.91 c #Conflicts: 611000 | #Constraints: 83989 2603.76/2610.91 c #Conflicts: 612000 | #Constraints: 84989 2603.76/2610.91 c #Conflicts: 613000 | #Constraints: 85989 2603.76/2610.91 c #Conflicts: 614000 | #Constraints: 86989 2603.76/2610.91 c #Conflicts: 615000 | #Constraints: 87989 2603.76/2610.91 c #Conflicts: 616000 | #Constraints: 88989 2603.76/2610.91 c #Conflicts: 617000 | #Constraints: 89989 2603.76/2610.91 c #Conflicts: 618000 | #Constraints: 90990 2603.76/2610.91 c #Conflicts: 619000 | #Constraints: 91990 2603.76/2610.91 c #Conflicts: 620000 | #Constraints: 92990 2603.76/2610.91 c #Conflicts: 621000 | #Constraints: 93990 2603.76/2610.91 c #Conflicts: 622000 | #Constraints: 94990 2603.76/2610.91 c #Conflicts: 623000 | #Constraints: 95990 2603.76/2610.91 c #Conflicts: 624000 | #Constraints: 96990 2603.76/2610.91 c #Conflicts: 625000 | #Constraints: 97990 2603.76/2610.91 c #Conflicts: 626000 | #Constraints: 98990 2603.76/2610.91 c #Conflicts: 627000 | #Constraints: 99990 2603.76/2610.91 c #Conflicts: 628000 | #Constraints: 100990 2603.76/2610.91 c #Conflicts: 629000 | #Constraints: 101990 2603.76/2610.91 c #Conflicts: 630000 | #Constraints: 102990 2603.76/2610.91 c #Conflicts: 631000 | #Constraints: 103990 2603.76/2610.91 c #Conflicts: 632000 | #Constraints: 104990 2603.76/2610.91 c #Conflicts: 633000 | #Constraints: 105990 2603.76/2610.91 c #Conflicts: 634000 | #Constraints: 106990 2603.76/2610.91 c #Conflicts: 635000 | #Constraints: 107992 2603.76/2610.91 c #Conflicts: 636000 | #Constraints: 108992 2603.76/2610.91 c #Conflicts: 637000 | #Constraints: 109992 2603.76/2610.91 c #Conflicts: 638000 | #Constraints: 110992 2603.76/2610.91 c #Conflicts: 639000 | #Constraints: 111992 2603.76/2610.91 c #Conflicts: 640000 | #Constraints: 112992 2603.76/2610.91 c #Conflicts: 641000 | #Constraints: 113992 2603.76/2610.91 c #Conflicts: 642000 | #Constraints: 114992 2603.76/2610.91 c #Conflicts: 643000 | #Constraints: 115992 2603.76/2610.91 c #Conflicts: 644000 | #Constraints: 116992 2603.76/2610.91 c #Conflicts: 645000 | #Constraints: 117992 2603.76/2610.91 c #Conflicts: 646000 | #Constraints: 118992 2603.76/2610.91 c INPROCESSING 2603.76/2610.91 c GARBAGE COLLECT 2603.76/2610.91 c rational objective 196 2655.34/2662.69 c #Conflicts: 647000 | #Constraints: 73365 2655.34/2662.69 c #Conflicts: 648000 | #Constraints: 74365 2655.34/2662.69 c #Conflicts: 649000 | #Constraints: 75365 2655.34/2662.69 c #Conflicts: 650000 | #Constraints: 76365 2655.34/2662.69 c #Conflicts: 651000 | #Constraints: 77365 2655.34/2662.69 c #Conflicts: 652000 | #Constraints: 78365 2655.34/2662.69 c #Conflicts: 653000 | #Constraints: 79365 2655.34/2662.69 c #Conflicts: 654000 | #Constraints: 80365 2655.34/2662.69 c #Conflicts: 655000 | #Constraints: 81365 2655.34/2662.69 c #Conflicts: 656000 | #Constraints: 82365 2655.34/2662.69 c #Conflicts: 657000 | #Constraints: 83365 2655.34/2662.69 c #Conflicts: 658000 | #Constraints: 84365 2655.34/2662.69 c #Conflicts: 659000 | #Constraints: 85365 2655.34/2662.69 c #Conflicts: 660000 | #Constraints: 86365 2655.34/2662.69 c #Conflicts: 661000 | #Constraints: 87365 2655.34/2662.69 c #Conflicts: 662000 | #Constraints: 88365 2655.34/2662.69 c #Conflicts: 663000 | #Constraints: 89365 2655.34/2662.69 c #Conflicts: 664000 | #Constraints: 90365 2655.34/2662.69 c #Conflicts: 665000 | #Constraints: 91365 2655.34/2662.69 c #Conflicts: 666000 | #Constraints: 92365 2655.34/2662.69 c #Conflicts: 667000 | #Constraints: 93365 2655.34/2662.69 c #Conflicts: 668000 | #Constraints: 94365 2655.34/2662.69 c #Conflicts: 669000 | #Constraints: 95365 2655.34/2662.69 c INPROCESSING 2655.34/2662.69 c GARBAGE COLLECT 2655.34/2662.69 c rational objective 196 2804.28/2811.91 c #Conflicts: 670000 | #Constraints: 71712 2804.28/2811.91 c #Conflicts: 671000 | #Constraints: 72712 2804.28/2811.91 c #Conflicts: 672000 | #Constraints: 73712 2804.28/2811.91 c #Conflicts: 673000 | #Constraints: 74712 2804.28/2811.91 c #Conflicts: 674000 | #Constraints: 75712 2804.28/2811.91 c #Conflicts: 675000 | #Constraints: 76712 2804.28/2811.91 c #Conflicts: 676000 | #Constraints: 77712 2804.28/2811.91 c #Conflicts: 677000 | #Constraints: 78712 2804.28/2811.91 c #Conflicts: 678000 | #Constraints: 79712 2804.28/2811.91 c #Conflicts: 679000 | #Constraints: 80712 2804.28/2811.91 c #Conflicts: 680000 | #Constraints: 81712 2804.28/2811.91 c #Conflicts: 681000 | #Constraints: 82712 2804.28/2811.91 c #Conflicts: 682000 | #Constraints: 83712 2804.28/2811.91 c #Conflicts: 683000 | #Constraints: 84712 2804.28/2811.91 c #Conflicts: 684000 | #Constraints: 85712 2804.28/2811.91 c #Conflicts: 685000 | #Constraints: 86712 2804.28/2811.91 c #Conflicts: 686000 | #Constraints: 87712 2804.28/2811.91 c #Conflicts: 687000 | #Constraints: 88712 2804.28/2811.91 c #Conflicts: 688000 | #Constraints: 89712 2804.28/2811.91 c #Conflicts: 689000 | #Constraints: 90712 2804.28/2811.91 c #Conflicts: 690000 | #Constraints: 91712 2804.28/2811.91 c #Conflicts: 691000 | #Constraints: 92712 2804.28/2811.91 c #Conflicts: 692000 | #Constraints: 93712 2804.28/2811.91 c #Conflicts: 693000 | #Constraints: 94712 2804.28/2811.91 c #Conflicts: 694000 | #Constraints: 95713 2804.28/2811.91 c #Conflicts: 695000 | #Constraints: 96713 2804.28/2811.91 c #Conflicts: 696000 | #Constraints: 97713 2804.28/2811.91 c #Conflicts: 697000 | #Constraints: 98713 2804.28/2811.91 c #Conflicts: 698000 | #Constraints: 99713 2804.28/2811.91 c #Conflicts: 699000 | #Constraints: 100713 2804.28/2811.91 c #Conflicts: 700000 | #Constraints: 101713 2804.28/2811.91 c #Conflicts: 701000 | #Constraints: 102713 2804.28/2811.91 c #Conflicts: 702000 | #Constraints: 103713 2804.28/2811.91 c #Conflicts: 703000 | #Constraints: 104713 2804.28/2811.91 c #Conflicts: 704000 | #Constraints: 105713 2804.28/2811.91 c #Conflicts: 705000 | #Constraints: 106713 2804.28/2811.91 c #Conflicts: 706000 | #Constraints: 107713 2804.28/2811.91 c #Conflicts: 707000 | #Constraints: 108713 2804.28/2811.91 c #Conflicts: 708000 | #Constraints: 109713 2804.28/2811.91 c #Conflicts: 709000 | #Constraints: 110713 2804.28/2811.91 c #Conflicts: 710000 | #Constraints: 111713 2804.28/2811.91 c #Conflicts: 711000 | #Constraints: 112713 2804.28/2811.91 c #Conflicts: 712000 | #Constraints: 113713 2804.28/2811.91 c #Conflicts: 713000 | #Constraints: 114713 2804.28/2811.91 c #Conflicts: 714000 | #Constraints: 115713 2804.28/2811.91 c #Conflicts: 715000 | #Constraints: 116713 2804.28/2811.91 c #Conflicts: 716000 | #Constraints: 117713 2804.28/2811.91 c #Conflicts: 717000 | #Constraints: 118713 2804.28/2811.91 c #Conflicts: 718000 | #Constraints: 119713 2804.28/2811.91 c #Conflicts: 719000 | #Constraints: 120713 2804.28/2811.91 c #Conflicts: 720000 | #Constraints: 121713 2804.28/2811.91 c #Conflicts: 721000 | #Constraints: 122713 2804.28/2811.91 c #Conflicts: 722000 | #Constraints: 123713 2804.28/2811.91 c #Conflicts: 723000 | #Constraints: 124713 2804.28/2811.91 c #Conflicts: 724000 | #Constraints: 125713 2804.28/2811.91 c INPROCESSING 2804.28/2811.91 c GARBAGE COLLECT 2804.28/2811.91 c rational objective 196 2877.31/2885.15 c #Conflicts: 725000 | #Constraints: 76852 2877.31/2885.15 c #Conflicts: 726000 | #Constraints: 77853 2877.31/2885.15 c #Conflicts: 727000 | #Constraints: 78853 2877.31/2885.15 c #Conflicts: 728000 | #Constraints: 79854 2877.31/2885.15 c #Conflicts: 729000 | #Constraints: 80854 2877.31/2885.15 c #Conflicts: 730000 | #Constraints: 81854 2877.31/2885.15 c #Conflicts: 731000 | #Constraints: 82854 2877.31/2885.15 c #Conflicts: 732000 | #Constraints: 83855 2877.31/2885.15 c #Conflicts: 733000 | #Constraints: 84855 2877.31/2885.15 c #Conflicts: 734000 | #Constraints: 85855 2877.31/2885.15 c #Conflicts: 735000 | #Constraints: 86856 2877.31/2885.15 c #Conflicts: 736000 | #Constraints: 87856 2877.31/2885.15 c #Conflicts: 737000 | #Constraints: 88856 2877.31/2885.15 c #Conflicts: 738000 | #Constraints: 89856 2877.31/2885.15 c #Conflicts: 739000 | #Constraints: 90856 2877.31/2885.15 c #Conflicts: 740000 | #Constraints: 91856 2877.31/2885.15 c #Conflicts: 741000 | #Constraints: 92856 2877.31/2885.15 c #Conflicts: 742000 | #Constraints: 93856 2877.31/2885.15 c #Conflicts: 743000 | #Constraints: 94856 2877.31/2885.15 c #Conflicts: 744000 | #Constraints: 95856 2877.31/2885.15 c #Conflicts: 745000 | #Constraints: 96856 2877.31/2885.15 c #Conflicts: 746000 | #Constraints: 97856 2877.31/2885.15 c #Conflicts: 747000 | #Constraints: 98856 2877.31/2885.15 c #Conflicts: 748000 | #Constraints: 99856 2877.31/2885.15 c INPROCESSING 2877.31/2885.15 c GARBAGE COLLECT 2877.31/2885.15 c rational objective 196 3046.60/3054.85 c #Conflicts: 749000 | #Constraints: 74687 3046.60/3054.85 c #Conflicts: 750000 | #Constraints: 75687 3046.60/3054.85 c #Conflicts: 751000 | #Constraints: 76687 3046.60/3054.85 c #Conflicts: 752000 | #Constraints: 77687 3046.60/3054.85 c #Conflicts: 753000 | #Constraints: 78687 3046.60/3054.85 c #Conflicts: 754000 | #Constraints: 79687 3046.60/3054.85 c #Conflicts: 755000 | #Constraints: 80687 3046.60/3054.85 c #Conflicts: 756000 | #Constraints: 81687 3046.60/3054.85 c #Conflicts: 757000 | #Constraints: 82687 3046.60/3054.85 c #Conflicts: 758000 | #Constraints: 83687 3046.60/3054.85 c #Conflicts: 759000 | #Constraints: 84687 3046.60/3054.85 c #Conflicts: 760000 | #Constraints: 85687 3046.60/3054.85 c #Conflicts: 761000 | #Constraints: 86687 3046.60/3054.85 c #Conflicts: 762000 | #Constraints: 87688 3046.60/3054.85 c #Conflicts: 763000 | #Constraints: 88688 3046.60/3054.85 c #Conflicts: 764000 | #Constraints: 89688 3046.60/3054.85 c #Conflicts: 765000 | #Constraints: 90688 3046.60/3054.85 c #Conflicts: 766000 | #Constraints: 91688 3046.60/3054.85 c #Conflicts: 767000 | #Constraints: 92688 3046.60/3054.85 c #Conflicts: 768000 | #Constraints: 93688 3046.60/3054.85 c #Conflicts: 769000 | #Constraints: 94688 3046.60/3054.85 c #Conflicts: 770000 | #Constraints: 95688 3046.60/3054.85 c #Conflicts: 771000 | #Constraints: 96688 3046.60/3054.85 c #Conflicts: 772000 | #Constraints: 97688 3046.60/3054.85 c #Conflicts: 773000 | #Constraints: 98688 3046.60/3054.85 c #Conflicts: 774000 | #Constraints: 99688 3046.60/3054.85 c #Conflicts: 775000 | #Constraints: 100688 3046.60/3054.85 c #Conflicts: 776000 | #Constraints: 101688 3046.60/3054.85 c #Conflicts: 777000 | #Constraints: 102688 3046.60/3054.85 c #Conflicts: 778000 | #Constraints: 103688 3046.60/3054.85 c #Conflicts: 779000 | #Constraints: 104688 3046.60/3054.85 c #Conflicts: 780000 | #Constraints: 105688 3046.60/3054.85 c #Conflicts: 781000 | #Constraints: 106688 3046.60/3054.85 c #Conflicts: 782000 | #Constraints: 107688 3046.60/3054.85 c #Conflicts: 783000 | #Constraints: 108688 3046.60/3054.85 c #Conflicts: 784000 | #Constraints: 109688 3046.60/3054.85 c #Conflicts: 785000 | #Constraints: 110688 3046.60/3054.85 c #Conflicts: 786000 | #Constraints: 111688 3046.60/3054.85 c #Conflicts: 787000 | #Constraints: 112688 3046.60/3054.85 c #Conflicts: 788000 | #Constraints: 113688 3046.60/3054.85 c #Conflicts: 789000 | #Constraints: 114688 3046.60/3054.85 c #Conflicts: 790000 | #Constraints: 115688 3046.60/3054.85 c #Conflicts: 791000 | #Constraints: 116688 3046.60/3054.85 c #Conflicts: 792000 | #Constraints: 117688 3046.60/3054.85 c #Conflicts: 793000 | #Constraints: 118688 3046.60/3054.85 c #Conflicts: 794000 | #Constraints: 119688 3046.60/3054.85 c #Conflicts: 795000 | #Constraints: 120688 3046.60/3054.85 c #Conflicts: 796000 | #Constraints: 121688 3046.60/3054.85 c #Conflicts: 797000 | #Constraints: 122688 3046.60/3054.85 c #Conflicts: 798000 | #Constraints: 123688 3046.60/3054.85 c #Conflicts: 799000 | #Constraints: 124688 3046.60/3054.85 c #Conflicts: 800000 | #Constraints: 125688 3046.60/3054.85 c #Conflicts: 801000 | #Constraints: 126688 3046.60/3054.85 c #Conflicts: 802000 | #Constraints: 127688 3046.60/3054.85 c #Conflicts: 803000 | #Constraints: 128688 3046.60/3054.85 c #Conflicts: 804000 | #Constraints: 129688 3046.60/3054.85 c #Conflicts: 805000 | #Constraints: 130688 3046.60/3054.85 c #Conflicts: 806000 | #Constraints: 131688 3046.60/3054.85 c INPROCESSING 3046.60/3054.85 c GARBAGE COLLECT 3046.60/3054.85 c rational objective 196 3118.23/3126.64 c #Conflicts: 807000 | #Constraints: 79426 3118.23/3126.64 c #Conflicts: 808000 | #Constraints: 80426 3118.23/3126.64 c #Conflicts: 809000 | #Constraints: 81426 3118.23/3126.64 c #Conflicts: 810000 | #Constraints: 82426 3118.23/3126.64 c #Conflicts: 811000 | #Constraints: 83426 3118.23/3126.64 c #Conflicts: 812000 | #Constraints: 84426 3118.23/3126.64 c #Conflicts: 813000 | #Constraints: 85426 3118.23/3126.64 c #Conflicts: 814000 | #Constraints: 86426 3118.23/3126.64 c #Conflicts: 815000 | #Constraints: 87426 3118.23/3126.64 c #Conflicts: 816000 | #Constraints: 88426 3118.23/3126.64 c #Conflicts: 817000 | #Constraints: 89426 3118.23/3126.64 c #Conflicts: 818000 | #Constraints: 90426 3118.23/3126.64 c #Conflicts: 819000 | #Constraints: 91426 3118.23/3126.64 c #Conflicts: 820000 | #Constraints: 92426 3118.23/3126.64 c #Conflicts: 821000 | #Constraints: 93426 3118.23/3126.64 c #Conflicts: 822000 | #Constraints: 94426 3118.23/3126.64 c #Conflicts: 823000 | #Constraints: 95426 3118.23/3126.64 c #Conflicts: 824000 | #Constraints: 96426 3118.23/3126.64 c #Conflicts: 825000 | #Constraints: 97426 3118.23/3126.64 c #Conflicts: 826000 | #Constraints: 98426 3118.23/3126.64 c #Conflicts: 827000 | #Constraints: 99426 3118.23/3126.64 c #Conflicts: 828000 | #Constraints: 100426 3118.23/3126.64 c #Conflicts: 829000 | #Constraints: 101426 3118.23/3126.64 c #Conflicts: 830000 | #Constraints: 102426 3118.23/3126.64 c #Conflicts: 831000 | #Constraints: 103426 3118.23/3126.64 c #Conflicts: 832000 | #Constraints: 104426 3118.23/3126.64 c INPROCESSING 3118.23/3126.64 c GARBAGE COLLECT 3118.23/3126.64 c rational objective 196 3312.43/3321.30 c #Conflicts: 833000 | #Constraints: 78774 3312.43/3321.30 c #Conflicts: 834000 | #Constraints: 79774 3312.43/3321.30 c #Conflicts: 835000 | #Constraints: 80774 3312.43/3321.30 c #Conflicts: 836000 | #Constraints: 81775 3312.43/3321.30 c #Conflicts: 837000 | #Constraints: 82775 3312.43/3321.30 c #Conflicts: 838000 | #Constraints: 83775 3312.43/3321.30 c #Conflicts: 839000 | #Constraints: 84775 3312.43/3321.30 c #Conflicts: 840000 | #Constraints: 85775 3312.43/3321.30 c #Conflicts: 841000 | #Constraints: 86775 3312.43/3321.30 c #Conflicts: 842000 | #Constraints: 87775 3312.43/3321.30 c #Conflicts: 843000 | #Constraints: 88775 3312.43/3321.30 c #Conflicts: 844000 | #Constraints: 89775 3312.43/3321.30 c #Conflicts: 845000 | #Constraints: 90775 3312.43/3321.30 c #Conflicts: 846000 | #Constraints: 91775 3312.43/3321.30 c #Conflicts: 847000 | #Constraints: 92775 3312.43/3321.30 c #Conflicts: 848000 | #Constraints: 93775 3312.43/3321.30 c #Conflicts: 849000 | #Constraints: 94775 3312.43/3321.30 c #Conflicts: 850000 | #Constraints: 95775 3312.43/3321.30 c #Conflicts: 851000 | #Constraints: 96775 3312.43/3321.30 c #Conflicts: 852000 | #Constraints: 97775 3312.43/3321.30 c #Conflicts: 853000 | #Constraints: 98775 3312.43/3321.30 c #Conflicts: 854000 | #Constraints: 99775 3312.43/3321.30 c #Conflicts: 855000 | #Constraints: 100776 3312.43/3321.30 c #Conflicts: 856000 | #Constraints: 101776 3312.43/3321.30 c #Conflicts: 857000 | #Constraints: 102776 3312.43/3321.30 c #Conflicts: 858000 | #Constraints: 103776 3312.43/3321.30 c #Conflicts: 859000 | #Constraints: 104776 3312.43/3321.30 c #Conflicts: 860000 | #Constraints: 105776 3312.43/3321.30 c #Conflicts: 861000 | #Constraints: 106776 3312.43/3321.30 c #Conflicts: 862000 | #Constraints: 107776 3312.43/3321.30 c #Conflicts: 863000 | #Constraints: 108776 3312.43/3321.30 c #Conflicts: 864000 | #Constraints: 109776 3312.43/3321.30 c #Conflicts: 865000 | #Constraints: 110776 3312.43/3321.30 c #Conflicts: 866000 | #Constraints: 111776 3312.43/3321.30 c #Conflicts: 867000 | #Constraints: 112776 3312.43/3321.30 c #Conflicts: 868000 | #Constraints: 113776 3312.43/3321.30 c #Conflicts: 869000 | #Constraints: 114776 3312.43/3321.30 c #Conflicts: 870000 | #Constraints: 115776 3312.43/3321.30 c #Conflicts: 871000 | #Constraints: 116776 3312.43/3321.30 c #Conflicts: 872000 | #Constraints: 117776 3312.43/3321.30 c #Conflicts: 873000 | #Constraints: 118776 3312.43/3321.30 c #Conflicts: 874000 | #Constraints: 119776 3312.43/3321.30 c #Conflicts: 875000 | #Constraints: 120776 3312.43/3321.30 c #Conflicts: 876000 | #Constraints: 121776 3312.43/3321.30 c #Conflicts: 877000 | #Constraints: 122776 3312.43/3321.30 c #Conflicts: 878000 | #Constraints: 123776 3312.43/3321.30 c #Conflicts: 879000 | #Constraints: 124776 3312.43/3321.30 c #Conflicts: 880000 | #Constraints: 125776 3312.43/3321.30 c #Conflicts: 881000 | #Constraints: 126776 3312.43/3321.30 c #Conflicts: 882000 | #Constraints: 127776 3312.43/3321.30 c #Conflicts: 883000 | #Constraints: 128776 3312.43/3321.30 c #Conflicts: 884000 | #Constraints: 129776 3312.43/3321.30 c #Conflicts: 885000 | #Constraints: 130776 3312.43/3321.30 c #Conflicts: 886000 | #Constraints: 131776 3312.43/3321.30 c #Conflicts: 887000 | #Constraints: 132776 3312.43/3321.30 c #Conflicts: 888000 | #Constraints: 133776 3312.43/3321.30 c #Conflicts: 889000 | #Constraints: 134776 3312.43/3321.30 c #Conflicts: 890000 | #Constraints: 135776 3312.43/3321.30 c #Conflicts: 891000 | #Constraints: 136776 3312.43/3321.30 c #Conflicts: 892000 | #Constraints: 137776 3312.43/3321.30 c #Conflicts: 893000 | #Constraints: 138776 3312.43/3321.30 c INPROCESSING 3312.43/3321.30 c GARBAGE COLLECT 3312.43/3321.30 c rational objective 196 3439.53/3448.76 c #Conflicts: 894000 | #Constraints: 83826 3439.53/3448.76 c #Conflicts: 895000 | #Constraints: 84826 3439.53/3448.76 c #Conflicts: 896000 | #Constraints: 85826 3439.53/3448.76 c #Conflicts: 897000 | #Constraints: 86826 3439.53/3448.76 c #Conflicts: 898000 | #Constraints: 87826 3439.53/3448.76 c #Conflicts: 899000 | #Constraints: 88826 3439.53/3448.76 c #Conflicts: 900000 | #Constraints: 89826 3439.53/3448.76 c #Conflicts: 901000 | #Constraints: 90826 3439.53/3448.76 c #Conflicts: 902000 | #Constraints: 91826 3439.53/3448.76 c #Conflicts: 903000 | #Constraints: 92826 3439.53/3448.76 c #Conflicts: 904000 | #Constraints: 93826 3439.53/3448.76 c #Conflicts: 905000 | #Constraints: 94826 3439.53/3448.76 c #Conflicts: 906000 | #Constraints: 95826 3439.53/3448.76 c #Conflicts: 907000 | #Constraints: 96826 3439.53/3448.76 c #Conflicts: 908000 | #Constraints: 97826 3439.53/3448.76 c #Conflicts: 909000 | #Constraints: 98826 3439.53/3448.76 c #Conflicts: 910000 | #Constraints: 99826 3439.53/3448.76 c #Conflicts: 911000 | #Constraints: 100826 3439.53/3448.76 c #Conflicts: 912000 | #Constraints: 101826 3439.53/3448.76 c #Conflicts: 913000 | #Constraints: 102826 3439.53/3448.76 c #Conflicts: 914000 | #Constraints: 103826 3439.53/3448.76 c #Conflicts: 915000 | #Constraints: 104826 3439.53/3448.76 c #Conflicts: 916000 | #Constraints: 105826 3439.53/3448.76 c #Conflicts: 917000 | #Constraints: 106826 3439.53/3448.76 c #Conflicts: 918000 | #Constraints: 107826 3439.53/3448.76 c #Conflicts: 919000 | #Constraints: 108827 3439.53/3448.76 c #Conflicts: 920000 | #Constraints: 109827 3439.53/3448.76 c INPROCESSING 3439.53/3448.76 c GARBAGE COLLECT 3439.53/3448.76 c rational objective 196 3600.03/3609.60 c #Conflicts: 921000 | #Constraints: 82419 3600.03/3609.60 c #Conflicts: 922000 | #Constraints: 83419 3600.03/3609.60 c #Conflicts: 923000 | #Constraints: 84419 3600.03/3609.60 c #Conflicts: 924000 | #Constraints: 85419 3600.03/3609.60 c #Conflicts: 925000 | #Constraints: 86419 3600.03/3609.60 c #Conflicts: 926000 | #Constraints: 87419 3600.03/3609.60 c #Conflicts: 927000 | #Constraints: 88419 3600.03/3609.60 c #Conflicts: 928000 | #Constraints: 89420 3600.03/3609.60 c #Conflicts: 929000 | #Constraints: 90421 3600.03/3609.60 c #Conflicts: 930000 | #Constraints: 91422 3600.03/3609.60 c #Conflicts: 931000 | #Constraints: 92422 3600.03/3609.60 c #Conflicts: 932000 | #Constraints: 93423 3600.03/3609.60 c #Conflicts: 933000 | #Constraints: 94423 3600.03/3609.60 c #Conflicts: 934000 | #Constraints: 95423 3600.03/3609.60 c #Conflicts: 935000 | #Constraints: 96423 3600.03/3609.60 c #Conflicts: 936000 | #Constraints: 97423 3600.03/3609.60 c #Conflicts: 937000 | #Constraints: 98423 3600.03/3609.60 c #Conflicts: 938000 | #Constraints: 99423 3600.03/3609.60 c #Conflicts: 939000 | #Constraints: 100423 3600.03/3609.60 c #Conflicts: 940000 | #Constraints: 101423 3600.03/3609.60 c #Conflicts: 941000 | #Constraints: 102423 3600.03/3609.60 c #Conflicts: 942000 | #Constraints: 103423 3600.03/3609.60 c #Conflicts: 943000 | #Constraints: 104423 3600.03/3609.60 c #Conflicts: 944000 | #Constraints: 105423 3600.03/3609.60 c #Conflicts: 945000 | #Constraints: 106423 3600.03/3609.60 c #Conflicts: 946000 | #Constraints: 107423 3600.03/3609.60 c #Conflicts: 947000 | #Constraints: 108423 3600.03/3609.60 c #Conflicts: 948000 | #Constraints: 109423 3600.03/3609.60 c #Conflicts: 949000 | #Constraints: 110424 3600.03/3609.60 c #Conflicts: 950000 | #Constraints: 111424 3600.03/3609.60 c #Conflicts: 951000 | #Constraints: 112424 3600.03/3609.60 c #Conflicts: 952000 | #Constraints: 113424 3600.03/3609.60 c #Conflicts: 953000 | #Constraints: 114424 3600.03/3609.60 c #Conflicts: 954000 | #Constraints: 115424 3600.03/3609.60 c #Conflicts: 955000 | #Constraints: 116424 3600.03/3609.60 c #Conflicts: 956000 | #Constraints: 117424 3600.03/3609.60 c #Conflicts: 957000 | #Constraints: 118424 3600.03/3609.60 c #Conflicts: 958000 | #Constraints: 119424 3600.03/3609.60 c #Conflicts: 959000 | #Constraints: 120424 3600.03/3609.60 c #Conflicts: 960000 | #Constraints: 121424 3600.03/3609.60 c #Conflicts: 961000 | #Constraints: 122424 3600.03/3609.60 c #Conflicts: 962000 | #Constraints: 123425 3600.03/3609.60 c #Conflicts: 963000 | #Constraints: 124425 3600.03/3609.60 c Program interrupted by user. 3600.05/3609.91 c cpu time 3553.39 s 3600.05/3609.91 c deterministic time 233459117802 2.33e+11 3600.05/3609.91 c optimization time 158.798 s 3600.05/3609.91 c total solve time 3394.5 s 3600.05/3609.91 c core-guided solve time 0 s 3600.05/3609.91 c propagation time 1962.8 s 3600.05/3609.91 c conflict analysis time 532.104 s 3600.05/3609.91 c propagations 830910855 3600.05/3609.91 c resolve steps 40299967 3600.05/3609.91 c decisions 25573595 3600.05/3609.91 c conflicts 963916 3600.05/3609.91 c restarts 2044 3600.05/3609.91 c inprocessing phases 40 3600.05/3609.91 c input clauses 23522 3600.05/3609.91 c input cardinalities 196 3600.05/3609.91 c input general constraints 0 3600.05/3609.91 c input average constraint length 6.44 3600.05/3609.91 c input average constraint degree 1.97 3600.05/3609.91 c learned clauses 615971 3600.05/3609.91 c learned cardinalities 46380 3600.05/3609.91 c learned general constraints 301622 3600.05/3609.91 c learned average constraint length 1123.51 3600.05/3609.91 c learned average constraint degree 297470456.35 3600.05/3609.91 c watched constraints 213189 3600.05/3609.91 c counting constraints 88433 3600.05/3609.91 c gcd simplifications 3021 3600.05/3609.91 c detected cardinalities 7753 3600.05/3609.91 c weakened non-implied lits 208801676 3600.05/3609.91 c weakened non-implying lits 222912 3600.05/3609.91 c original variables 23324 3600.05/3609.91 c clausal propagations 389768964 3600.05/3609.91 c cardinality propagations 297624877 3600.05/3609.91 c watched propagations 36233419 3600.05/3609.91 c counting propagations 97434904 3600.05/3609.91 c watch lookups 11646015275 3600.05/3609.91 c watch backjump lookups 9437256676 3600.05/3609.91 c watch checks 143177901673 3600.05/3609.91 c propagation checks 63801345163 3600.05/3609.91 c constraint additions 3681108072 3600.05/3609.91 c trail pops 857428486 3600.05/3609.91 c formula constraints 23718 3600.05/3609.91 c learned constraints 963857 3600.05/3609.91 c bound constraints 0 3600.05/3609.91 c core-guided constraints 0 3600.05/3609.91 c encountered formula constraints 26645072 3600.05/3609.91 c encountered learned constraints 14617082 3600.05/3609.91 c encountered bound constraints 0 3600.05/3609.91 c encountered core-guided constraints 0 3600.05/3609.91 c LP total time 1984.27 s 3600.05/3609.91 c LP solve time 1979.66 s 3600.05/3609.91 c LP constraints added 27828 3600.05/3609.91 c LP constraints removed 3845 3600.05/3609.91 c LP pivots internal 983456 3600.05/3609.91 c LP pivots root 594550 3600.05/3609.91 c LP calls 124 3600.05/3609.91 c LP optimalities 59 3600.05/3609.91 c LP no pivot count 1 3600.05/3609.91 c LP infeasibilities 58 3600.05/3609.91 c LP valid Farkas constraints 58 3600.05/3609.91 c LP learned Farkas constraints 58 3600.05/3609.91 c LP basis resets 0 3600.05/3609.91 c LP cycling count 0 3600.05/3609.91 c LP singular count 0 3600.05/3609.91 c LP no primal count 0 3600.05/3609.91 c LP no farkas count 0 3600.05/3609.91 c LP other issue count 0 3600.05/3609.91 c LP Gomory cuts 0 3600.05/3609.91 c LP learned cuts 4110 3600.05/3609.91 c LP deleted cuts 3845 3600.05/3609.91 c LP encountered Gomory constraints 0 3600.05/3609.91 c LP encountered Farkas constraints 1189 3600.05/3609.91 c LP encountered learned Farkas constraints 482 3600.05/3609.91 c CG auxiliary variables introduced 0 3600.05/3609.91 c CG solutions found 0 3600.05/3609.91 c CG cores constructed 0 3600.05/3609.91 c CG core cardinality constraints returned 0 3600.05/3609.91 c CG unit cores 0 3600.05/3609.91 c CG single cores 0 3600.05/3609.91 c CG blocks removed during cardinality reduction 0 3600.05/3609.91 c CG first core best 0 3600.05/3609.91 c CG decision core best 0 3600.05/3609.91 c CG core reduction tie 0 3600.05/3609.91 c CG core degree average 0.00 3600.05/3609.91 c CG core slack average 0.00 3600.05/3609.91 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 (49842 MiB free)
memory of node 1: 64510 MiB (58536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457174-1721829622/watcher-4457174-1721829622 -o /tmp/evaluation-result-4457174-1721829622/solver-4457174-1721829622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184633 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457174-1721829622 --lp-cut-gomory=0 HOME/instance-4457174-1721829622.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=184684, runsolver pid=184681
[startup+0.100984 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110937816/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=49228 memory=18780 CPUtime=0.09 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 4074 0 0 0 7 2 0 0 20 0 1 0 19486393 50409472 4695 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 12307 4695 1600 992 0 4165 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49228 KiB
Current children cumulated memory: 18780 KiB
[startup+0.205237 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110891380/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=75580 memory=40536 CPUtime=0.19 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 11144 0 0 0 16 3 0 0 20 0 1 0 19486393 77393920 10134 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 18895 10134 1680 992 0 10753 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 40536 KiB
[startup+0.305129 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110887784/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=76164 memory=42376 CPUtime=0.3 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 11592 0 0 0 26 4 0 0 20 0 1 0 19486393 77991936 10594 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 19041 10594 1680 992 0 10899 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76164 KiB
Current children cumulated memory: 42376 KiB
[startup+0.70018 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110883900/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=79176 memory=45280 CPUtime=0.68 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 12321 0 0 0 64 4 0 0 20 0 1 0 19486393 81076224 11320 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 19794 11320 1680 992 0 11652 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79176 KiB
Current children cumulated memory: 45280 KiB
[startup+1.50016 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110871208/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=80072 memory=46720 CPUtime=1.48 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 12664 0 0 0 142 6 0 0 20 0 1 0 19486393 81993728 11680 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 20018 11680 1712 992 0 11876 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80072 KiB
Current children cumulated memory: 46720 KiB
[startup+3.10521 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110848352/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=81904 memory=50608 CPUtime=3.09 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 13129 0 0 0 285 24 0 0 20 0 1 0 19486393 83869696 12652 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 20476 12652 1712 992 0 12334 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81904 KiB
Current children cumulated memory: 50608 KiB
[startup+6.30014 s]
/proc/loadavg: 1.57 1.46 2.34 5/265 184695
/proc/meminfo: memFree=110827576/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=84164 memory=52716 CPUtime=6.27 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 13678 0 0 0 602 25 0 0 20 0 1 0 19486393 86183936 13179 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 21041 13179 1712 992 0 12899 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84164 KiB
Current children cumulated memory: 52716 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=184684] ppid=184681 vsize=86096 memory=55616 CPUtime=12.66 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 14395 0 0 0 1233 33 0 0 20 0 1 0 19486393 88162304 13904 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 21524 13904 1712 992 0 13382 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86096 KiB
Current children cumulated memory: 55616 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.59 2.37 5/264 184698
/proc/meminfo: memFree=110698248/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=89944 memory=57676 CPUtime=25.42 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 14815 0 0 0 2474 68 0 0 20 0 1 0 19486393 92102656 14419 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 22486 14419 1774 992 0 14344 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 89944 KiB
Current children cumulated memory: 57676 KiB
[startup+51.1055 s]
/proc/loadavg: 2.91 1.83 2.42 5/264 184714
/proc/meminfo: memFree=110565928/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=113048 memory=79628 CPUtime=50.96 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 19018 0 0 0 4991 105 0 0 20 0 1 0 19486393 115761152 19907 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 28262 19907 1806 992 0 20120 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 113048 KiB
Current children cumulated memory: 79628 KiB
[startup+102.3 s]
/proc/loadavg: 3.85 2.26 2.54 5/264 184724
/proc/meminfo: memFree=110145020/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=152560 memory=114276 CPUtime=102.04 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 22308 0 0 0 9977 227 0 0 20 0 1 0 19486393 156221440 28569 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 38140 28569 1806 992 0 29998 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 152560 KiB
Current children cumulated memory: 114276 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=184684] ppid=184681 vsize=216140 memory=180852 CPUtime=161.88 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 29316 0 0 0 15885 303 0 0 20 0 1 0 19486393 221327360 45213 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 54035 45213 1806 992 0 45893 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 216140 KiB
Current children cumulated memory: 180852 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=184684] ppid=184681 vsize=217408 memory=181516 CPUtime=221.7 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 34398 0 0 0 21789 381 0 0 20 0 1 0 19486393 222625792 45379 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 54352 45379 1806 992 0 46210 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 217408 KiB
Current children cumulated memory: 181516 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=184684] ppid=184681 vsize=224288 memory=188644 CPUtime=281.54 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 36295 0 0 0 27661 493 0 0 20 0 1 0 19486393 229670912 47161 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 56072 47161 1806 992 0 47930 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 224288 KiB
Current children cumulated memory: 188644 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=184684] ppid=184681 vsize=371820 memory=278804 CPUtime=341.37 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 41529 0 0 0 33512 625 0 0 20 0 1 0 19486393 380743680 69701 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 92955 69701 1806 992 0 84813 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 371820 KiB
Current children cumulated memory: 278804 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=184684] ppid=184681 vsize=540392 memory=397792 CPUtime=401.21 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 51359 0 0 0 39426 695 0 0 20 0 1 0 19486393 553361408 99448 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 135098 99448 1806 992 0 126956 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 540392 KiB
Current children cumulated memory: 397792 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=184684] ppid=184681 vsize=550056 memory=408804 CPUtime=461.03 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 53620 0 0 0 45290 813 0 0 20 0 1 0 19486393 563257344 102201 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 137514 102201 1806 992 0 129372 0
################
# More data... #
################
Current children cumulated memory: 814164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/260 185870
/proc/meminfo: memFree=89540580/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=894104 memory=814284 CPUtime=2974.25 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 93830 0 0 0 293526 3899 0 0 20 0 1 0 19486393 915562496 203571 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 223526 203571 1806 992 0 215384 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 894104 KiB
Current children cumulated memory: 814284 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.11 4.02 5/262 185885
/proc/meminfo: memFree=89056660/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=894104 memory=814284 CPUtime=3034.12 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 94206 0 0 0 299429 3983 0 0 20 0 1 0 19486393 915562496 203571 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 223526 203571 1806 992 0 215384 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 894104 KiB
Current children cumulated memory: 814284 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 185897
/proc/meminfo: memFree=88040952/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=898264 memory=817776 CPUtime=3093.99 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 95239 0 0 0 305314 4085 0 0 20 0 1 0 19486393 919822336 204444 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 224566 204444 1806 992 0 216424 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 898264 KiB
Current children cumulated memory: 817776 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=184684] ppid=184681 vsize=898264 memory=817808 CPUtime=3153.85 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 95503 0 0 0 311212 4173 0 0 20 0 1 0 19486393 919822336 204452 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 224566 204452 1806 992 0 216424 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 898264 KiB
Current children cumulated memory: 817808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 185919
/proc/meminfo: memFree=87317724/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=901272 memory=820812 CPUtime=3213.68 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 96557 0 0 0 317097 4271 0 0 20 0 1 0 19486393 922902528 205203 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 225318 205203 1806 992 0 217176 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 901272 KiB
Current children cumulated memory: 820812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/261 185932
/proc/meminfo: memFree=86820512/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=901272 memory=821040 CPUtime=3273.54 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 96954 0 0 0 323014 4340 0 0 20 0 1 0 19486393 922902528 205260 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 225318 205260 1806 992 0 217176 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 901272 KiB
Current children cumulated memory: 821040 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=184684] ppid=184681 vsize=910672 memory=829772 CPUtime=3333.38 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 99410 0 0 0 328934 4404 0 0 20 0 1 0 19486393 932528128 207443 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 227668 207443 1806 992 0 219526 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 910672 KiB
Current children cumulated memory: 829772 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=184684] ppid=184681 vsize=911452 memory=830596 CPUtime=3393.25 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 99883 0 0 0 334822 4503 0 0 20 0 1 0 19486393 933326848 207649 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 227863 207649 1806 992 0 219721 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 911452 KiB
Current children cumulated memory: 830596 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=184684] ppid=184681 vsize=912344 memory=831560 CPUtime=3453.1 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 100316 0 0 0 340758 4552 0 0 20 0 1 0 19486393 934240256 207890 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 228086 207890 1806 992 0 219944 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 912344 KiB
Current children cumulated memory: 831560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/259 186526
/proc/meminfo: memFree=85896760/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=912344 memory=831560 CPUtime=3512.97 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 100700 0 0 0 346701 4596 0 0 20 0 1 0 19486393 934240256 207890 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 228086 207890 1806 992 0 219944 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 912344 KiB
Current children cumulated memory: 831560 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=184684] ppid=184681 vsize=918304 memory=841760 CPUtime=3572.81 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 102462 0 0 0 352639 4642 0 0 20 0 1 0 19486393 940343296 210440 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 229576 210440 1922 992 0 221434 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 918304 KiB
Current children cumulated memory: 841760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.14 4.10 4.04 3/261 186546
/proc/meminfo: memFree=84990784/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=1279420 memory=993720 CPUtime=3600.03 cores=4,6
/proc/184684/stat : 184684 (roundingsat) R 184681 184684 184622 0 -1 4194304 106487 0 0 0 355338 4665 0 0 20 0 1 0 19486393 1310126080 248430 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 319855 248430 1922 992 0 311713 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1279420 KiB
Current children cumulated memory: 993720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 184684 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.4 s, system=46.6723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.8 s]
/proc/loadavg: 4.14 4.10 4.04 3/261 186546
/proc/meminfo: memFree=84990784/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=1279420 memory=993720 CPUtime=3600.05 cores=4,6
/proc/184684/stat : 184684 (roundingsat) D 184681 184684 184622 0 -1 4194304 106490 0 0 0 355339 4666 0 0 20 0 1 0 19486393 1310126080 248430 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 32 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 319855 248430 1922 992 0 311713 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1279420 KiB
Current children cumulated memory: 993720 KiB
[startup+3609.9 s]
/proc/loadavg: 4.14 4.10 4.04 3/261 186546
/proc/meminfo: memFree=84990784/131524600 swapFree=131054736/131071996
[pid=184684] ppid=184681 vsize=1279420 memory=993720 CPUtime=3600.05 cores=4,6
/proc/184684/stat : 184684 (roundingsat) D 184681 184684 184622 0 -1 4194304 106490 0 0 0 355339 4666 0 0 20 0 1 0 19486393 1310126080 248430 134679101440 4194304 8254037 140724845014176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 49 0 0 9037040 9046032 32292864 140724845019996 140724845020258 140724845020258 140724845027273 0
/proc/184684/statm: 319855 248430 1922 992 0 311713 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1279420 KiB
Current children cumulated memory: 993720 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.07
CPU user time (s): 3553.4
CPU system time (s): 46.6723
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 1279420
Max. memory (cumulated for all children) (KiB): 993720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.4
system time used= 46.6723
maximum resident set size= 993720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9326312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1750
involuntary context switches= 7651
# summary of solver processes directly reported to runsolver:
# pid: 184684
# total CPU time (s): 3600.07
# total CPU user time (s): 3553.4
# total CPU system time (s): 46.6723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74699 second user time and 16.1991 second system time
The end
Begin job on nodeC034 at 2024-07-24 16:00:22 IDJOB=4457174 IDBENCH=158326 IDSOLVER=3085 FILE ID=nodeC034/4457174-1721829622 RUNJOBID= nodeC034-1721829622-184633 SLURM_JOB_ID= 7891500 Free space on /tmp= 890072 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.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-4457174-1721829622/watcher-4457174-1721829622 -o /tmp/evaluation-result-4457174-1721829622/solver-4457174-1721829622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184633 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457174-1721829622 --lp-cut-gomory=0 HOME/instance-4457174-1721829622.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b 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 : 3624.644 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 : 3689.559 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 : 3649.057 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 : 3612.513 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 : 3643.631 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 : 3603.097 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 : 3649.221 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 : 3615.590 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: 110985072 kB MemAvailable: 129687376 kB Buffers: 252444 kB Cached: 19208976 kB SwapCached: 96 kB Active: 1631560 kB Inactive: 18193788 kB Active(anon): 1868 kB Inactive(anon): 404732 kB Active(file): 1629692 kB Inactive(file): 17789056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 19040 kB Writeback: 0 kB AnonPages: 363360 kB Mapped: 93964 kB Shmem: 42580 kB KReclaimable: 246408 kB Slab: 361464 kB SReclaimable: 246408 kB SUnreclaim: 115056 kB KernelStack: 4196 kB PageTables: 10220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 817664 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:32