0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
299.30/300.17 c [STEP] preprocessing done, loading into solver
299.30/300.17 c [STEP] solving
299.30/300.17 c #variables 468 #constraints 466
299.30/300.17 c SMALL=int, LARGE=long long
299.30/300.17 d SCIPUB 187
299.30/300.17 c bounds - >= 0 @ 299.042
299.30/300.17 c stratification level: 0
318.24/319.19 c bounds - >= 42 @ 299.042
318.24/319.19 c bounds - >= 43 @ 299.042
318.24/319.19 c bounds - >= 44 @ 299.042
318.24/319.19 c bounds - >= 45 @ 299.042
318.24/319.19 c bounds - >= 46 @ 299.042
318.24/319.19 c bounds - >= 47 @ 299.042
318.24/319.19 c bounds - >= 48 @ 299.042
318.24/319.19 c bounds - >= 49 @ 299.042
318.24/319.19 c bounds - >= 50 @ 299.042
318.24/319.19 c bounds - >= 51 @ 299.042
318.24/319.19 c bounds - >= 52 @ 299.042
318.24/319.19 c bounds - >= 53 @ 299.042
318.24/319.19 c bounds - >= 54 @ 299.042
318.24/319.19 c bounds - >= 55 @ 299.042
318.24/319.19 c bounds - >= 56 @ 299.042
318.24/319.19 c bounds - >= 57 @ 299.042
318.24/319.19 c bounds - >= 58 @ 299.042
318.24/319.19 c bounds - >= 59 @ 299.042
318.24/319.19 c bounds - >= 60 @ 299.042
318.24/319.19 c bounds - >= 61 @ 299.042
318.24/319.19 c bounds - >= 62 @ 299.042
318.24/319.19 c bounds - >= 63 @ 299.042
318.24/319.19 c bounds - >= 64 @ 299.042
318.24/319.19 c bounds - >= 65 @ 299.042
318.24/319.19 c bounds - >= 66 @ 299.042
318.24/319.19 c bounds - >= 67 @ 299.042
318.24/319.19 c bounds - >= 68 @ 299.042
318.24/319.19 c bounds - >= 69 @ 299.043
318.24/319.19 c bounds - >= 70 @ 299.043
318.24/319.19 c bounds - >= 71 @ 299.043
318.24/319.19 c bounds - >= 72 @ 299.043
318.24/319.19 c bounds - >= 73 @ 299.043
318.24/319.19 c bounds - >= 74 @ 299.043
318.24/319.19 c bounds - >= 75 @ 299.044
318.24/319.19 c bounds - >= 76 @ 299.044
318.24/319.19 c bounds - >= 77 @ 299.044
318.24/319.19 c bounds - >= 78 @ 299.044
318.24/319.19 c bounds - >= 79 @ 299.044
318.24/319.19 c bounds - >= 80 @ 299.044
318.24/319.19 c bounds - >= 81 @ 299.044
318.24/319.19 c bounds - >= 82 @ 299.044
318.24/319.19 c bounds - >= 83 @ 299.045
318.24/319.19 c bounds - >= 84 @ 299.045
318.24/319.19 c bounds - >= 85 @ 299.045
318.24/319.19 c bounds - >= 86 @ 299.045
318.24/319.19 c bounds - >= 87 @ 299.045
318.24/319.19 c bounds - >= 88 @ 299.045
318.24/319.19 c bounds - >= 89 @ 299.045
318.24/319.19 c bounds - >= 90 @ 299.045
318.24/319.19 c bounds - >= 91 @ 299.045
318.24/319.19 c bounds - >= 92 @ 299.045
318.24/319.19 c bounds - >= 93 @ 299.045
318.24/319.19 c bounds - >= 94 @ 299.045
318.24/319.19 c bounds - >= 95 @ 299.045
318.24/319.19 c bounds - >= 96 @ 299.045
318.24/319.19 c bounds - >= 97 @ 299.045
318.24/319.19 c bounds - >= 98 @ 299.045
318.24/319.19 c bounds - >= 99 @ 299.046
318.24/319.19 c bounds - >= 100 @ 299.046
318.24/319.19 c bounds - >= 101 @ 299.046
318.24/319.19 c bounds - >= 102 @ 299.046
318.24/319.19 c bounds - >= 103 @ 299.046
318.24/319.19 c bounds - >= 104 @ 299.046
318.24/319.19 c bounds - >= 105 @ 299.046
318.24/319.19 c bounds - >= 106 @ 299.047
318.24/319.19 c bounds - >= 107 @ 299.047
318.24/319.19 c bounds - >= 108 @ 299.047
318.24/319.19 c bounds - >= 109 @ 299.047
318.24/319.19 c bounds - >= 110 @ 299.047
318.24/319.19 c bounds - >= 111 @ 299.047
318.24/319.19 c bounds - >= 112 @ 299.047
318.24/319.19 c bounds - >= 113 @ 299.048
318.24/319.19 c bounds - >= 114 @ 299.048
318.24/319.19 c bounds - >= 115 @ 299.048
318.24/319.19 c bounds - >= 116 @ 299.048
318.24/319.19 c bounds - >= 117 @ 299.048
318.24/319.19 c bounds - >= 118 @ 299.048
318.24/319.19 c bounds - >= 119 @ 299.048
318.24/319.19 c #Conflicts: 1000 | #Constraints: 1590
318.24/319.19 c #Conflicts: 2000 | #Constraints: 2590
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 3000 | #Constraints: 2519
318.24/319.19 c #Conflicts: 4000 | #Constraints: 3519
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 5000 | #Constraints: 2918
318.24/319.19 c #Conflicts: 6000 | #Constraints: 3918
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 7000 | #Constraints: 2920
318.24/319.19 c #Conflicts: 8000 | #Constraints: 3920
318.24/319.19 c #Conflicts: 9000 | #Constraints: 4920
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 10000 | #Constraints: 3621
318.24/319.19 c #Conflicts: 11000 | #Constraints: 4621
318.24/319.19 c #Conflicts: 12000 | #Constraints: 5621
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 13000 | #Constraints: 4073
318.24/319.19 c #Conflicts: 14000 | #Constraints: 5073
318.24/319.19 c #Conflicts: 15000 | #Constraints: 6073
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 16000 | #Constraints: 4298
318.24/319.19 c #Conflicts: 17000 | #Constraints: 5298
318.24/319.19 c #Conflicts: 18000 | #Constraints: 6298
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 19000 | #Constraints: 4313
318.24/319.19 c #Conflicts: 20000 | #Constraints: 5313
318.24/319.19 c #Conflicts: 21000 | #Constraints: 6313
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 22000 | #Constraints: 4116
318.24/319.19 c #Conflicts: 23000 | #Constraints: 5116
318.24/319.19 c #Conflicts: 24000 | #Constraints: 6116
318.24/319.19 c #Conflicts: 25000 | #Constraints: 7116
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 26000 | #Constraints: 4719
318.24/319.19 c #Conflicts: 27000 | #Constraints: 5719
318.24/319.19 c #Conflicts: 28000 | #Constraints: 6719
318.24/319.19 c #Conflicts: 29000 | #Constraints: 7719
318.24/319.19 c INPROCESSING
318.24/319.19 c GARBAGE COLLECT
318.24/319.19 c #Conflicts: 30000 | #Constraints: 5120
318.24/319.19 c #Conflicts: 31000 | #Constraints: 6120
318.24/319.19 c #Conflicts: 32000 | #Constraints: 7120
404.29/405.44 c #Conflicts: 33000 | #Constraints: 8120
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 34000 | #Constraints: 5330
404.29/405.44 c #Conflicts: 35000 | #Constraints: 6330
404.29/405.44 c #Conflicts: 36000 | #Constraints: 7330
404.29/405.44 c #Conflicts: 37000 | #Constraints: 8330
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 38000 | #Constraints: 5329
404.29/405.44 c #Conflicts: 39000 | #Constraints: 6329
404.29/405.44 c #Conflicts: 40000 | #Constraints: 7329
404.29/405.44 c #Conflicts: 41000 | #Constraints: 8329
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 42000 | #Constraints: 5129
404.29/405.44 c #Conflicts: 43000 | #Constraints: 6129
404.29/405.44 c #Conflicts: 44000 | #Constraints: 7129
404.29/405.44 c #Conflicts: 45000 | #Constraints: 8129
404.29/405.44 c #Conflicts: 46000 | #Constraints: 9129
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 47000 | #Constraints: 5725
404.29/405.44 c #Conflicts: 48000 | #Constraints: 6725
404.29/405.44 c #Conflicts: 49000 | #Constraints: 7725
404.29/405.44 c #Conflicts: 50000 | #Constraints: 8725
404.29/405.44 c #Conflicts: 51000 | #Constraints: 9725
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 52000 | #Constraints: 6128
404.29/405.44 c #Conflicts: 53000 | #Constraints: 7128
404.29/405.44 c #Conflicts: 54000 | #Constraints: 8128
404.29/405.44 c #Conflicts: 55000 | #Constraints: 9128
404.29/405.44 c #Conflicts: 56000 | #Constraints: 10128
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 57000 | #Constraints: 6328
404.29/405.44 c #Conflicts: 58000 | #Constraints: 7328
404.29/405.44 c #Conflicts: 59000 | #Constraints: 8328
404.29/405.44 c #Conflicts: 60000 | #Constraints: 9328
404.29/405.44 c #Conflicts: 61000 | #Constraints: 10328
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 62000 | #Constraints: 6328
404.29/405.44 c #Conflicts: 63000 | #Constraints: 7328
404.29/405.44 c #Conflicts: 64000 | #Constraints: 8328
404.29/405.44 c #Conflicts: 65000 | #Constraints: 9328
404.29/405.44 c #Conflicts: 66000 | #Constraints: 10328
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 67000 | #Constraints: 6126
404.29/405.44 c #Conflicts: 68000 | #Constraints: 7126
404.29/405.44 c #Conflicts: 69000 | #Constraints: 8126
404.29/405.44 c #Conflicts: 70000 | #Constraints: 9126
404.29/405.44 c #Conflicts: 71000 | #Constraints: 10126
404.29/405.44 c #Conflicts: 72000 | #Constraints: 11126
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 73000 | #Constraints: 6722
404.29/405.44 c #Conflicts: 74000 | #Constraints: 7722
404.29/405.44 c #Conflicts: 75000 | #Constraints: 8722
404.29/405.44 c #Conflicts: 76000 | #Constraints: 9722
404.29/405.44 c #Conflicts: 77000 | #Constraints: 10722
404.29/405.44 c #Conflicts: 78000 | #Constraints: 11722
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 79000 | #Constraints: 7121
404.29/405.44 c #Conflicts: 80000 | #Constraints: 8121
404.29/405.44 c #Conflicts: 81000 | #Constraints: 9121
404.29/405.44 c #Conflicts: 82000 | #Constraints: 10121
404.29/405.44 c #Conflicts: 83000 | #Constraints: 11121
404.29/405.44 c #Conflicts: 84000 | #Constraints: 12121
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 85000 | #Constraints: 7325
404.29/405.44 c #Conflicts: 86000 | #Constraints: 8325
404.29/405.44 c #Conflicts: 87000 | #Constraints: 9325
404.29/405.44 c #Conflicts: 88000 | #Constraints: 10325
404.29/405.44 c #Conflicts: 89000 | #Constraints: 11325
404.29/405.44 c #Conflicts: 90000 | #Constraints: 12325
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 91000 | #Constraints: 7328
404.29/405.44 c #Conflicts: 92000 | #Constraints: 8328
404.29/405.44 c #Conflicts: 93000 | #Constraints: 9328
404.29/405.44 c #Conflicts: 94000 | #Constraints: 10328
404.29/405.44 c #Conflicts: 95000 | #Constraints: 11328
404.29/405.44 c #Conflicts: 96000 | #Constraints: 12328
404.29/405.44 c INPROCESSING
404.29/405.44 c GARBAGE COLLECT
404.29/405.44 c #Conflicts: 97000 | #Constraints: 7124
404.29/405.44 c #Conflicts: 98000 | #Constraints: 8124
404.29/405.44 c #Conflicts: 99000 | #Constraints: 9124
404.29/405.44 c #Conflicts: 100000 | #Constraints: 10124
404.29/405.44 c #Conflicts: 101000 | #Constraints: 11124
404.29/405.44 c #Conflicts: 102000 | #Constraints: 12124
404.29/405.44 c #Conflicts: 103000 | #Constraints: 13124
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 104000 | #Constraints: 7725
539.53/541.06 c #Conflicts: 105000 | #Constraints: 8725
539.53/541.06 c #Conflicts: 106000 | #Constraints: 9725
539.53/541.06 c #Conflicts: 107000 | #Constraints: 10725
539.53/541.06 c #Conflicts: 108000 | #Constraints: 11725
539.53/541.06 c #Conflicts: 109000 | #Constraints: 12725
539.53/541.06 c #Conflicts: 110000 | #Constraints: 13725
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 111000 | #Constraints: 8125
539.53/541.06 c #Conflicts: 112000 | #Constraints: 9125
539.53/541.06 c #Conflicts: 113000 | #Constraints: 10125
539.53/541.06 c #Conflicts: 114000 | #Constraints: 11125
539.53/541.06 c #Conflicts: 115000 | #Constraints: 12125
539.53/541.06 c #Conflicts: 116000 | #Constraints: 13125
539.53/541.06 c #Conflicts: 117000 | #Constraints: 14125
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 118000 | #Constraints: 8323
539.53/541.06 c #Conflicts: 119000 | #Constraints: 9323
539.53/541.06 c #Conflicts: 120000 | #Constraints: 10323
539.53/541.06 c #Conflicts: 121000 | #Constraints: 11323
539.53/541.06 c #Conflicts: 122000 | #Constraints: 12323
539.53/541.06 c #Conflicts: 123000 | #Constraints: 13323
539.53/541.06 c #Conflicts: 124000 | #Constraints: 14323
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 125000 | #Constraints: 8327
539.53/541.06 c #Conflicts: 126000 | #Constraints: 9327
539.53/541.06 c #Conflicts: 127000 | #Constraints: 10327
539.53/541.06 c #Conflicts: 128000 | #Constraints: 11327
539.53/541.06 c #Conflicts: 129000 | #Constraints: 12327
539.53/541.06 c #Conflicts: 130000 | #Constraints: 13327
539.53/541.06 c #Conflicts: 131000 | #Constraints: 14327
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 132000 | #Constraints: 8126
539.53/541.06 c #Conflicts: 133000 | #Constraints: 9126
539.53/541.06 c #Conflicts: 134000 | #Constraints: 10126
539.53/541.06 c #Conflicts: 135000 | #Constraints: 11126
539.53/541.06 c #Conflicts: 136000 | #Constraints: 12126
539.53/541.06 c #Conflicts: 137000 | #Constraints: 13126
539.53/541.06 c #Conflicts: 138000 | #Constraints: 14126
539.53/541.06 c #Conflicts: 139000 | #Constraints: 15126
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 140000 | #Constraints: 8723
539.53/541.06 c #Conflicts: 141000 | #Constraints: 9723
539.53/541.06 c #Conflicts: 142000 | #Constraints: 10723
539.53/541.06 c #Conflicts: 143000 | #Constraints: 11723
539.53/541.06 c #Conflicts: 144000 | #Constraints: 12723
539.53/541.06 c #Conflicts: 145000 | #Constraints: 13723
539.53/541.06 c #Conflicts: 146000 | #Constraints: 14723
539.53/541.06 c #Conflicts: 147000 | #Constraints: 15723
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 148000 | #Constraints: 9132
539.53/541.06 c #Conflicts: 149000 | #Constraints: 10132
539.53/541.06 c #Conflicts: 150000 | #Constraints: 11132
539.53/541.06 c #Conflicts: 151000 | #Constraints: 12132
539.53/541.06 c #Conflicts: 152000 | #Constraints: 13132
539.53/541.06 c #Conflicts: 153000 | #Constraints: 14132
539.53/541.06 c #Conflicts: 154000 | #Constraints: 15132
539.53/541.06 c #Conflicts: 155000 | #Constraints: 16132
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 156000 | #Constraints: 9332
539.53/541.06 c #Conflicts: 157000 | #Constraints: 10332
539.53/541.06 c #Conflicts: 158000 | #Constraints: 11332
539.53/541.06 c #Conflicts: 159000 | #Constraints: 12332
539.53/541.06 c #Conflicts: 160000 | #Constraints: 13332
539.53/541.06 c #Conflicts: 161000 | #Constraints: 14332
539.53/541.06 c #Conflicts: 162000 | #Constraints: 15332
539.53/541.06 c #Conflicts: 163000 | #Constraints: 16332
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 164000 | #Constraints: 9328
539.53/541.06 c #Conflicts: 165000 | #Constraints: 10328
539.53/541.06 c #Conflicts: 166000 | #Constraints: 11328
539.53/541.06 c #Conflicts: 167000 | #Constraints: 12328
539.53/541.06 c #Conflicts: 168000 | #Constraints: 13328
539.53/541.06 c #Conflicts: 169000 | #Constraints: 14328
539.53/541.06 c #Conflicts: 170000 | #Constraints: 15328
539.53/541.06 c #Conflicts: 171000 | #Constraints: 16328
539.53/541.06 c INPROCESSING
539.53/541.06 c GARBAGE COLLECT
539.53/541.06 c #Conflicts: 172000 | #Constraints: 9130
539.53/541.06 c #Conflicts: 173000 | #Constraints: 10130
539.53/541.06 c #Conflicts: 174000 | #Constraints: 11130
539.53/541.06 c #Conflicts: 175000 | #Constraints: 12130
731.61/733.68 c #Conflicts: 176000 | #Constraints: 13130
731.61/733.68 c #Conflicts: 177000 | #Constraints: 14130
731.61/733.68 c #Conflicts: 178000 | #Constraints: 15130
731.61/733.68 c #Conflicts: 179000 | #Constraints: 16130
731.61/733.68 c #Conflicts: 180000 | #Constraints: 17130
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 181000 | #Constraints: 9726
731.61/733.68 c #Conflicts: 182000 | #Constraints: 10726
731.61/733.68 c #Conflicts: 183000 | #Constraints: 11726
731.61/733.68 c #Conflicts: 184000 | #Constraints: 12726
731.61/733.68 c #Conflicts: 185000 | #Constraints: 13726
731.61/733.68 c #Conflicts: 186000 | #Constraints: 14726
731.61/733.68 c #Conflicts: 187000 | #Constraints: 15726
731.61/733.68 c #Conflicts: 188000 | #Constraints: 16726
731.61/733.68 c #Conflicts: 189000 | #Constraints: 17726
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 190000 | #Constraints: 10133
731.61/733.68 c #Conflicts: 191000 | #Constraints: 11133
731.61/733.68 c #Conflicts: 192000 | #Constraints: 12133
731.61/733.68 c #Conflicts: 193000 | #Constraints: 13133
731.61/733.68 c #Conflicts: 194000 | #Constraints: 14133
731.61/733.68 c #Conflicts: 195000 | #Constraints: 15133
731.61/733.68 c #Conflicts: 196000 | #Constraints: 16133
731.61/733.68 c #Conflicts: 197000 | #Constraints: 17133
731.61/733.68 c #Conflicts: 198000 | #Constraints: 18133
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 199000 | #Constraints: 10333
731.61/733.68 c #Conflicts: 200000 | #Constraints: 11333
731.61/733.68 c #Conflicts: 201000 | #Constraints: 12333
731.61/733.68 c #Conflicts: 202000 | #Constraints: 13333
731.61/733.68 c #Conflicts: 203000 | #Constraints: 14333
731.61/733.68 c #Conflicts: 204000 | #Constraints: 15333
731.61/733.68 c #Conflicts: 205000 | #Constraints: 16333
731.61/733.68 c #Conflicts: 206000 | #Constraints: 17333
731.61/733.68 c #Conflicts: 207000 | #Constraints: 18333
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 208000 | #Constraints: 10327
731.61/733.68 c #Conflicts: 209000 | #Constraints: 11327
731.61/733.68 c #Conflicts: 210000 | #Constraints: 12327
731.61/733.68 c #Conflicts: 211000 | #Constraints: 13327
731.61/733.68 c #Conflicts: 212000 | #Constraints: 14327
731.61/733.68 c #Conflicts: 213000 | #Constraints: 15327
731.61/733.68 c #Conflicts: 214000 | #Constraints: 16327
731.61/733.68 c #Conflicts: 215000 | #Constraints: 17327
731.61/733.68 c #Conflicts: 216000 | #Constraints: 18327
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 217000 | #Constraints: 10134
731.61/733.68 c #Conflicts: 218000 | #Constraints: 11134
731.61/733.68 c #Conflicts: 219000 | #Constraints: 12134
731.61/733.68 c #Conflicts: 220000 | #Constraints: 13134
731.61/733.68 c #Conflicts: 221000 | #Constraints: 14134
731.61/733.68 c #Conflicts: 222000 | #Constraints: 15134
731.61/733.68 c #Conflicts: 223000 | #Constraints: 16134
731.61/733.68 c #Conflicts: 224000 | #Constraints: 17134
731.61/733.68 c #Conflicts: 225000 | #Constraints: 18134
731.61/733.68 c #Conflicts: 226000 | #Constraints: 19134
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 227000 | #Constraints: 10732
731.61/733.68 c #Conflicts: 228000 | #Constraints: 11732
731.61/733.68 c #Conflicts: 229000 | #Constraints: 12732
731.61/733.68 c #Conflicts: 230000 | #Constraints: 13732
731.61/733.68 c #Conflicts: 231000 | #Constraints: 14732
731.61/733.68 c #Conflicts: 232000 | #Constraints: 15732
731.61/733.68 c #Conflicts: 233000 | #Constraints: 16732
731.61/733.68 c #Conflicts: 234000 | #Constraints: 17732
731.61/733.68 c #Conflicts: 235000 | #Constraints: 18732
731.61/733.68 c #Conflicts: 236000 | #Constraints: 19732
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 237000 | #Constraints: 11129
731.61/733.68 c #Conflicts: 238000 | #Constraints: 12129
731.61/733.68 c #Conflicts: 239000 | #Constraints: 13129
731.61/733.68 c #Conflicts: 240000 | #Constraints: 14129
731.61/733.68 c #Conflicts: 241000 | #Constraints: 15129
731.61/733.68 c #Conflicts: 242000 | #Constraints: 16129
731.61/733.68 c #Conflicts: 243000 | #Constraints: 17129
731.61/733.68 c #Conflicts: 244000 | #Constraints: 18129
731.61/733.68 c #Conflicts: 245000 | #Constraints: 19129
731.61/733.68 c #Conflicts: 246000 | #Constraints: 20129
731.61/733.68 c INPROCESSING
731.61/733.68 c GARBAGE COLLECT
731.61/733.68 c #Conflicts: 247000 | #Constraints: 11330
731.61/733.68 c #Conflicts: 248000 | #Constraints: 12330
731.61/733.68 c #Conflicts: 249000 | #Constraints: 13330
948.15/950.79 c #Conflicts: 250000 | #Constraints: 14330
948.15/950.79 c #Conflicts: 251000 | #Constraints: 15330
948.15/950.79 c #Conflicts: 252000 | #Constraints: 16330
948.15/950.79 c #Conflicts: 253000 | #Constraints: 17330
948.15/950.79 c #Conflicts: 254000 | #Constraints: 18330
948.15/950.79 c #Conflicts: 255000 | #Constraints: 19330
948.15/950.79 c #Conflicts: 256000 | #Constraints: 20330
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 257000 | #Constraints: 11326
948.15/950.79 c #Conflicts: 258000 | #Constraints: 12326
948.15/950.79 c #Conflicts: 259000 | #Constraints: 13326
948.15/950.79 c #Conflicts: 260000 | #Constraints: 14326
948.15/950.79 c #Conflicts: 261000 | #Constraints: 15326
948.15/950.79 c #Conflicts: 262000 | #Constraints: 16326
948.15/950.79 c #Conflicts: 263000 | #Constraints: 17326
948.15/950.79 c #Conflicts: 264000 | #Constraints: 18326
948.15/950.79 c #Conflicts: 265000 | #Constraints: 19326
948.15/950.79 c #Conflicts: 266000 | #Constraints: 20326
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 267000 | #Constraints: 11131
948.15/950.79 c #Conflicts: 268000 | #Constraints: 12131
948.15/950.79 c #Conflicts: 269000 | #Constraints: 13131
948.15/950.79 c #Conflicts: 270000 | #Constraints: 14131
948.15/950.79 c #Conflicts: 271000 | #Constraints: 15131
948.15/950.79 c #Conflicts: 272000 | #Constraints: 16131
948.15/950.79 c #Conflicts: 273000 | #Constraints: 17131
948.15/950.79 c #Conflicts: 274000 | #Constraints: 18131
948.15/950.79 c #Conflicts: 275000 | #Constraints: 19131
948.15/950.79 c #Conflicts: 276000 | #Constraints: 20131
948.15/950.79 c #Conflicts: 277000 | #Constraints: 21131
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 278000 | #Constraints: 11724
948.15/950.79 c #Conflicts: 279000 | #Constraints: 12724
948.15/950.79 c #Conflicts: 280000 | #Constraints: 13724
948.15/950.79 c #Conflicts: 281000 | #Constraints: 14724
948.15/950.79 c #Conflicts: 282000 | #Constraints: 15724
948.15/950.79 c #Conflicts: 283000 | #Constraints: 16724
948.15/950.79 c #Conflicts: 284000 | #Constraints: 17724
948.15/950.79 c #Conflicts: 285000 | #Constraints: 18724
948.15/950.79 c #Conflicts: 286000 | #Constraints: 19724
948.15/950.79 c #Conflicts: 287000 | #Constraints: 20724
948.15/950.79 c #Conflicts: 288000 | #Constraints: 21724
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 289000 | #Constraints: 12124
948.15/950.79 c #Conflicts: 290000 | #Constraints: 13124
948.15/950.79 c #Conflicts: 291000 | #Constraints: 14124
948.15/950.79 c #Conflicts: 292000 | #Constraints: 15124
948.15/950.79 c #Conflicts: 293000 | #Constraints: 16124
948.15/950.79 c #Conflicts: 294000 | #Constraints: 17124
948.15/950.79 c #Conflicts: 295000 | #Constraints: 18124
948.15/950.79 c #Conflicts: 296000 | #Constraints: 19124
948.15/950.79 c #Conflicts: 297000 | #Constraints: 20124
948.15/950.79 c #Conflicts: 298000 | #Constraints: 21124
948.15/950.79 c #Conflicts: 299000 | #Constraints: 22124
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 300000 | #Constraints: 12323
948.15/950.79 c #Conflicts: 301000 | #Constraints: 13323
948.15/950.79 c #Conflicts: 302000 | #Constraints: 14323
948.15/950.79 c #Conflicts: 303000 | #Constraints: 15323
948.15/950.79 c #Conflicts: 304000 | #Constraints: 16323
948.15/950.79 c #Conflicts: 305000 | #Constraints: 17323
948.15/950.79 c #Conflicts: 306000 | #Constraints: 18323
948.15/950.79 c #Conflicts: 307000 | #Constraints: 19323
948.15/950.79 c #Conflicts: 308000 | #Constraints: 20323
948.15/950.79 c #Conflicts: 309000 | #Constraints: 21323
948.15/950.79 c #Conflicts: 310000 | #Constraints: 22323
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 311000 | #Constraints: 12326
948.15/950.79 c #Conflicts: 312000 | #Constraints: 13326
948.15/950.79 c #Conflicts: 313000 | #Constraints: 14326
948.15/950.79 c #Conflicts: 314000 | #Constraints: 15326
948.15/950.79 c #Conflicts: 315000 | #Constraints: 16326
948.15/950.79 c #Conflicts: 316000 | #Constraints: 17326
948.15/950.79 c #Conflicts: 317000 | #Constraints: 18326
948.15/950.79 c #Conflicts: 318000 | #Constraints: 19326
948.15/950.79 c #Conflicts: 319000 | #Constraints: 20326
948.15/950.79 c #Conflicts: 320000 | #Constraints: 21326
948.15/950.79 c #Conflicts: 321000 | #Constraints: 22326
948.15/950.79 c INPROCESSING
948.15/950.79 c GARBAGE COLLECT
948.15/950.79 c #Conflicts: 322000 | #Constraints: 12129
948.15/950.79 c #Conflicts: 323000 | #Constraints: 13129
1203.98/1207.25 c #Conflicts: 324000 | #Constraints: 14129
1203.98/1207.25 c #Conflicts: 325000 | #Constraints: 15129
1203.98/1207.25 c #Conflicts: 326000 | #Constraints: 16129
1203.98/1207.25 c #Conflicts: 327000 | #Constraints: 17129
1203.98/1207.25 c #Conflicts: 328000 | #Constraints: 18129
1203.98/1207.25 c #Conflicts: 329000 | #Constraints: 19129
1203.98/1207.25 c #Conflicts: 330000 | #Constraints: 20129
1203.98/1207.25 c #Conflicts: 331000 | #Constraints: 21129
1203.98/1207.25 c #Conflicts: 332000 | #Constraints: 22129
1203.98/1207.25 c #Conflicts: 333000 | #Constraints: 23129
1203.98/1207.25 c INPROCESSING
1203.98/1207.25 c GARBAGE COLLECT
1203.98/1207.25 c #Conflicts: 334000 | #Constraints: 12729
1203.98/1207.25 c #Conflicts: 335000 | #Constraints: 13729
1203.98/1207.25 c #Conflicts: 336000 | #Constraints: 14729
1203.98/1207.25 c #Conflicts: 337000 | #Constraints: 15729
1203.98/1207.25 c #Conflicts: 338000 | #Constraints: 16729
1203.98/1207.25 c #Conflicts: 339000 | #Constraints: 17729
1203.98/1207.25 c #Conflicts: 340000 | #Constraints: 18729
1203.98/1207.25 c #Conflicts: 341000 | #Constraints: 19729
1203.98/1207.25 c #Conflicts: 342000 | #Constraints: 20729
1203.98/1207.25 c #Conflicts: 343000 | #Constraints: 21729
1203.98/1207.25 c #Conflicts: 344000 | #Constraints: 22729
1203.98/1207.25 c #Conflicts: 345000 | #Constraints: 23729
1203.98/1207.25 c INPROCESSING
1203.98/1207.25 c GARBAGE COLLECT
1203.98/1207.25 c #Conflicts: 346000 | #Constraints: 13125
1203.98/1207.25 c #Conflicts: 347000 | #Constraints: 14125
1203.98/1207.25 c #Conflicts: 348000 | #Constraints: 15125
1203.98/1207.25 c #Conflicts: 349000 | #Constraints: 16125
1203.98/1207.25 c #Conflicts: 350000 | #Constraints: 17125
1203.98/1207.25 c #Conflicts: 351000 | #Constraints: 18125
1203.98/1207.25 c #Conflicts: 352000 | #Constraints: 19125
1203.98/1207.25 c #Conflicts: 353000 | #Constraints: 20125
1203.98/1207.25 c #Conflicts: 354000 | #Constraints: 21125
1203.98/1207.25 c #Conflicts: 355000 | #Constraints: 22125
1203.98/1207.25 c #Conflicts: 356000 | #Constraints: 23125
1203.98/1207.25 c #Conflicts: 357000 | #Constraints: 24125
1203.98/1207.25 c INPROCESSING
1203.98/1207.25 c GARBAGE COLLECT
1203.98/1207.25 c #Conflicts: 358000 | #Constraints: 13326
1203.98/1207.25 c #Conflicts: 359000 | #Constraints: 14326
1203.98/1207.25 c #Conflicts: 360000 | #Constraints: 15326
1203.98/1207.25 c #Conflicts: 361000 | #Constraints: 16326
1203.98/1207.25 c #Conflicts: 362000 | #Constraints: 17326
1203.98/1207.25 c #Conflicts: 363000 | #Constraints: 18326
1203.98/1207.25 c #Conflicts: 364000 | #Constraints: 19326
1203.98/1207.25 c #Conflicts: 365000 | #Constraints: 20326
1203.98/1207.25 c #Conflicts: 366000 | #Constraints: 21326
1203.98/1207.25 c #Conflicts: 367000 | #Constraints: 22326
1203.98/1207.25 c #Conflicts: 368000 | #Constraints: 23326
1203.98/1207.25 c #Conflicts: 369000 | #Constraints: 24326
1203.98/1207.25 c INPROCESSING
1203.98/1207.25 c GARBAGE COLLECT
1203.98/1207.25 c #Conflicts: 370000 | #Constraints: 13329
1203.98/1207.25 c #Conflicts: 371000 | #Constraints: 14329
1203.98/1207.25 c #Conflicts: 372000 | #Constraints: 15329
1203.98/1207.25 c #Conflicts: 373000 | #Constraints: 16329
1203.98/1207.25 c #Conflicts: 374000 | #Constraints: 17329
1203.98/1207.25 c #Conflicts: 375000 | #Constraints: 18329
1203.98/1207.25 c #Conflicts: 376000 | #Constraints: 19329
1203.98/1207.25 c #Conflicts: 377000 | #Constraints: 20329
1203.98/1207.25 c #Conflicts: 378000 | #Constraints: 21329
1203.98/1207.25 c #Conflicts: 379000 | #Constraints: 22329
1203.98/1207.25 c #Conflicts: 380000 | #Constraints: 23329
1203.98/1207.25 c #Conflicts: 381000 | #Constraints: 24329
1203.98/1207.25 c INPROCESSING
1203.98/1207.25 c GARBAGE COLLECT
1203.98/1207.25 c #Conflicts: 382000 | #Constraints: 13131
1203.98/1207.25 c #Conflicts: 383000 | #Constraints: 14131
1203.98/1207.25 c #Conflicts: 384000 | #Constraints: 15131
1203.98/1207.25 c #Conflicts: 385000 | #Constraints: 16131
1203.98/1207.25 c #Conflicts: 386000 | #Constraints: 17131
1203.98/1207.25 c #Conflicts: 387000 | #Constraints: 18131
1203.98/1207.25 c #Conflicts: 388000 | #Constraints: 19131
1203.98/1207.25 c #Conflicts: 389000 | #Constraints: 20131
1203.98/1207.25 c #Conflicts: 390000 | #Constraints: 21131
1203.98/1207.25 c #Conflicts: 391000 | #Constraints: 22131
1203.98/1207.25 c #Conflicts: 392000 | #Constraints: 23131
1203.98/1207.25 c #Conflicts: 393000 | #Constraints: 24131
1203.98/1207.25 c #Conflicts: 394000 | #Constraints: 25131
1203.98/1207.25 c INPROCESSING
1203.98/1207.25 c GARBAGE COLLECT
1203.98/1207.25 c #Conflicts: 395000 | #Constraints: 13730
1203.98/1207.25 c #Conflicts: 396000 | #Constraints: 14730
1203.98/1207.25 c #Conflicts: 397000 | #Constraints: 15730
1203.98/1207.25 c #Conflicts: 398000 | #Constraints: 16730
1579.76/1584.07 c #Conflicts: 399000 | #Constraints: 17730
1579.76/1584.07 c #Conflicts: 400000 | #Constraints: 18730
1579.76/1584.07 c #Conflicts: 401000 | #Constraints: 19730
1579.76/1584.07 c #Conflicts: 402000 | #Constraints: 20730
1579.76/1584.07 c #Conflicts: 403000 | #Constraints: 21730
1579.76/1584.07 c #Conflicts: 404000 | #Constraints: 22730
1579.76/1584.07 c #Conflicts: 405000 | #Constraints: 23730
1579.76/1584.07 c #Conflicts: 406000 | #Constraints: 24730
1579.76/1584.07 c #Conflicts: 407000 | #Constraints: 25730
1579.76/1584.07 c INPROCESSING
1579.76/1584.07 c GARBAGE COLLECT
1579.76/1584.07 c #Conflicts: 408000 | #Constraints: 14126
1579.76/1584.07 c #Conflicts: 409000 | #Constraints: 15126
1579.76/1584.07 c #Conflicts: 410000 | #Constraints: 16126
1579.76/1584.07 c #Conflicts: 411000 | #Constraints: 17126
1579.76/1584.07 c #Conflicts: 412000 | #Constraints: 18126
1579.76/1584.07 c #Conflicts: 413000 | #Constraints: 19126
1579.76/1584.07 c #Conflicts: 414000 | #Constraints: 20126
1579.76/1584.07 c #Conflicts: 415000 | #Constraints: 21126
1579.76/1584.07 c #Conflicts: 416000 | #Constraints: 22126
1579.76/1584.07 c #Conflicts: 417000 | #Constraints: 23126
1579.76/1584.07 c #Conflicts: 418000 | #Constraints: 24126
1579.76/1584.07 c #Conflicts: 419000 | #Constraints: 25126
1579.76/1584.07 c #Conflicts: 420000 | #Constraints: 26126
1579.76/1584.07 c INPROCESSING
1579.76/1584.07 c GARBAGE COLLECT
1579.76/1584.07 c #Conflicts: 421000 | #Constraints: 14329
1579.76/1584.07 c #Conflicts: 422000 | #Constraints: 15329
1579.76/1584.07 c #Conflicts: 423000 | #Constraints: 16329
1579.76/1584.07 c #Conflicts: 424000 | #Constraints: 17329
1579.76/1584.07 c #Conflicts: 425000 | #Constraints: 18329
1579.76/1584.07 c #Conflicts: 426000 | #Constraints: 19329
1579.76/1584.07 c #Conflicts: 427000 | #Constraints: 20329
1579.76/1584.07 c #Conflicts: 428000 | #Constraints: 21329
1579.76/1584.07 c #Conflicts: 429000 | #Constraints: 22329
1579.76/1584.07 c #Conflicts: 430000 | #Constraints: 23329
1579.76/1584.07 c #Conflicts: 431000 | #Constraints: 24329
1579.76/1584.07 c #Conflicts: 432000 | #Constraints: 25329
1579.76/1584.07 c #Conflicts: 433000 | #Constraints: 26329
1579.76/1584.07 c INPROCESSING
1579.76/1584.07 c GARBAGE COLLECT
1579.76/1584.07 c #Conflicts: 434000 | #Constraints: 14325
1579.76/1584.07 c #Conflicts: 435000 | #Constraints: 15325
1579.76/1584.07 c #Conflicts: 436000 | #Constraints: 16325
1579.76/1584.07 c #Conflicts: 437000 | #Constraints: 17325
1579.76/1584.07 c #Conflicts: 438000 | #Constraints: 18325
1579.76/1584.07 c #Conflicts: 439000 | #Constraints: 19325
1579.76/1584.07 c #Conflicts: 440000 | #Constraints: 20325
1579.76/1584.07 c #Conflicts: 441000 | #Constraints: 21325
1579.76/1584.07 c #Conflicts: 442000 | #Constraints: 22325
1579.76/1584.07 c #Conflicts: 443000 | #Constraints: 23325
1579.76/1584.07 c #Conflicts: 444000 | #Constraints: 24325
1579.76/1584.07 c #Conflicts: 445000 | #Constraints: 25325
1579.76/1584.07 c #Conflicts: 446000 | #Constraints: 26325
1579.76/1584.07 c INPROCESSING
1579.76/1584.07 c GARBAGE COLLECT
1579.76/1584.07 c #Conflicts: 447000 | #Constraints: 14129
1579.76/1584.07 c #Conflicts: 448000 | #Constraints: 15129
1579.76/1584.07 c #Conflicts: 449000 | #Constraints: 16129
1579.76/1584.07 c #Conflicts: 450000 | #Constraints: 17129
1579.76/1584.07 c #Conflicts: 451000 | #Constraints: 18129
1579.76/1584.07 c #Conflicts: 452000 | #Constraints: 19129
1579.76/1584.07 c #Conflicts: 453000 | #Constraints: 20129
1579.76/1584.07 c #Conflicts: 454000 | #Constraints: 21129
1579.76/1584.07 c #Conflicts: 455000 | #Constraints: 22129
1579.76/1584.07 c #Conflicts: 456000 | #Constraints: 23129
1579.76/1584.07 c #Conflicts: 457000 | #Constraints: 24129
1579.76/1584.07 c #Conflicts: 458000 | #Constraints: 25129
1579.76/1584.07 c #Conflicts: 459000 | #Constraints: 26129
1579.76/1584.07 c #Conflicts: 460000 | #Constraints: 27129
1579.76/1584.07 c INPROCESSING
1579.76/1584.07 c GARBAGE COLLECT
1579.76/1584.07 c #Conflicts: 461000 | #Constraints: 14729
1579.76/1584.07 c #Conflicts: 462000 | #Constraints: 15729
1579.76/1584.07 c #Conflicts: 463000 | #Constraints: 16729
1579.76/1584.07 c #Conflicts: 464000 | #Constraints: 17729
1579.76/1584.07 c #Conflicts: 465000 | #Constraints: 18729
1579.76/1584.07 c #Conflicts: 466000 | #Constraints: 19729
1579.76/1584.07 c #Conflicts: 467000 | #Constraints: 20729
1579.76/1584.07 c #Conflicts: 468000 | #Constraints: 21729
1579.76/1584.07 c #Conflicts: 469000 | #Constraints: 22729
1579.76/1584.07 c #Conflicts: 470000 | #Constraints: 23729
1579.76/1584.07 c #Conflicts: 471000 | #Constraints: 24729
1579.76/1584.07 c #Conflicts: 472000 | #Constraints: 25729
1579.76/1584.07 c #Conflicts: 473000 | #Constraints: 26729
1579.76/1584.07 c #Conflicts: 474000 | #Constraints: 27729
1921.33/1926.57 c INPROCESSING
1921.33/1926.57 c GARBAGE COLLECT
1921.33/1926.57 c #Conflicts: 475000 | #Constraints: 15132
1921.33/1926.57 c #Conflicts: 476000 | #Constraints: 16132
1921.33/1926.57 c #Conflicts: 477000 | #Constraints: 17132
1921.33/1926.57 c #Conflicts: 478000 | #Constraints: 18132
1921.33/1926.57 c #Conflicts: 479000 | #Constraints: 19132
1921.33/1926.57 c #Conflicts: 480000 | #Constraints: 20132
1921.33/1926.57 c #Conflicts: 481000 | #Constraints: 21132
1921.33/1926.57 c #Conflicts: 482000 | #Constraints: 22132
1921.33/1926.57 c #Conflicts: 483000 | #Constraints: 23132
1921.33/1926.57 c #Conflicts: 484000 | #Constraints: 24132
1921.33/1926.57 c #Conflicts: 485000 | #Constraints: 25132
1921.33/1926.57 c #Conflicts: 486000 | #Constraints: 26132
1921.33/1926.57 c #Conflicts: 487000 | #Constraints: 27132
1921.33/1926.57 c #Conflicts: 488000 | #Constraints: 28132
1921.33/1926.57 c INPROCESSING
1921.33/1926.57 c GARBAGE COLLECT
1921.33/1926.57 c #Conflicts: 489000 | #Constraints: 15337
1921.33/1926.57 c #Conflicts: 490000 | #Constraints: 16337
1921.33/1926.57 c #Conflicts: 491000 | #Constraints: 17337
1921.33/1926.57 c #Conflicts: 492000 | #Constraints: 18337
1921.33/1926.57 c #Conflicts: 493000 | #Constraints: 19337
1921.33/1926.57 c #Conflicts: 494000 | #Constraints: 20337
1921.33/1926.57 c #Conflicts: 495000 | #Constraints: 21337
1921.33/1926.57 c #Conflicts: 496000 | #Constraints: 22337
1921.33/1926.57 c #Conflicts: 497000 | #Constraints: 23337
1921.33/1926.57 c #Conflicts: 498000 | #Constraints: 24337
1921.33/1926.57 c #Conflicts: 499000 | #Constraints: 25337
1921.33/1926.57 c #Conflicts: 500000 | #Constraints: 26337
1921.33/1926.57 c #Conflicts: 501000 | #Constraints: 27337
1921.33/1926.57 c #Conflicts: 502000 | #Constraints: 28337
1921.33/1926.57 c INPROCESSING
1921.33/1926.57 c GARBAGE COLLECT
1921.33/1926.57 c #Conflicts: 503000 | #Constraints: 15334
1921.33/1926.57 c #Conflicts: 504000 | #Constraints: 16334
1921.33/1926.57 c #Conflicts: 505000 | #Constraints: 17334
1921.33/1926.57 c #Conflicts: 506000 | #Constraints: 18334
1921.33/1926.57 c #Conflicts: 507000 | #Constraints: 19334
1921.33/1926.57 c #Conflicts: 508000 | #Constraints: 20334
1921.33/1926.57 c #Conflicts: 509000 | #Constraints: 21334
1921.33/1926.57 c #Conflicts: 510000 | #Constraints: 22334
1921.33/1926.57 c #Conflicts: 511000 | #Constraints: 23334
1921.33/1926.57 c #Conflicts: 512000 | #Constraints: 24334
1921.33/1926.57 c #Conflicts: 513000 | #Constraints: 25334
1921.33/1926.57 c #Conflicts: 514000 | #Constraints: 26334
1921.33/1926.57 c #Conflicts: 515000 | #Constraints: 27334
1921.33/1926.57 c #Conflicts: 516000 | #Constraints: 28334
1921.33/1926.57 c INPROCESSING
1921.33/1926.57 c GARBAGE COLLECT
1921.33/1926.57 c #Conflicts: 517000 | #Constraints: 15131
1921.33/1926.57 c #Conflicts: 518000 | #Constraints: 16131
1921.33/1926.57 c #Conflicts: 519000 | #Constraints: 17131
1921.33/1926.57 c #Conflicts: 520000 | #Constraints: 18131
1921.33/1926.57 c #Conflicts: 521000 | #Constraints: 19131
1921.33/1926.57 c #Conflicts: 522000 | #Constraints: 20131
1921.33/1926.57 c #Conflicts: 523000 | #Constraints: 21131
1921.33/1926.57 c #Conflicts: 524000 | #Constraints: 22131
1921.33/1926.57 c #Conflicts: 525000 | #Constraints: 23131
1921.33/1926.57 c #Conflicts: 526000 | #Constraints: 24131
1921.33/1926.57 c #Conflicts: 527000 | #Constraints: 25131
1921.33/1926.57 c #Conflicts: 528000 | #Constraints: 26131
1921.33/1926.57 c #Conflicts: 529000 | #Constraints: 27131
1921.33/1926.57 c #Conflicts: 530000 | #Constraints: 28131
1921.33/1926.57 c #Conflicts: 531000 | #Constraints: 29131
1921.33/1926.57 c INPROCESSING
1921.33/1926.57 c GARBAGE COLLECT
1921.33/1926.57 c #Conflicts: 532000 | #Constraints: 15733
1921.33/1926.57 c #Conflicts: 533000 | #Constraints: 16733
1921.33/1926.57 c #Conflicts: 534000 | #Constraints: 17733
1921.33/1926.57 c #Conflicts: 535000 | #Constraints: 18733
1921.33/1926.57 c #Conflicts: 536000 | #Constraints: 19733
1921.33/1926.57 c #Conflicts: 537000 | #Constraints: 20733
1921.33/1926.57 c #Conflicts: 538000 | #Constraints: 21733
1921.33/1926.57 c #Conflicts: 539000 | #Constraints: 22733
1921.33/1926.57 c #Conflicts: 540000 | #Constraints: 23733
1921.33/1926.57 c #Conflicts: 541000 | #Constraints: 24733
1921.33/1926.57 c #Conflicts: 542000 | #Constraints: 25733
1921.33/1926.57 c #Conflicts: 543000 | #Constraints: 26733
1921.33/1926.57 c #Conflicts: 544000 | #Constraints: 27733
1921.33/1926.57 c #Conflicts: 545000 | #Constraints: 28733
1921.33/1926.57 c #Conflicts: 546000 | #Constraints: 29733
1921.33/1926.57 c INPROCESSING
1921.33/1926.57 c GARBAGE COLLECT
1921.33/1926.57 c #Conflicts: 547000 | #Constraints: 16127
1921.33/1926.57 c #Conflicts: 548000 | #Constraints: 17127
1921.33/1926.57 c #Conflicts: 549000 | #Constraints: 18127
2298.51/2304.76 c #Conflicts: 550000 | #Constraints: 19127
2298.51/2304.76 c #Conflicts: 551000 | #Constraints: 20127
2298.51/2304.76 c #Conflicts: 552000 | #Constraints: 21127
2298.51/2304.76 c #Conflicts: 553000 | #Constraints: 22127
2298.51/2304.76 c #Conflicts: 554000 | #Constraints: 23127
2298.51/2304.76 c #Conflicts: 555000 | #Constraints: 24127
2298.51/2304.76 c #Conflicts: 556000 | #Constraints: 25127
2298.51/2304.76 c #Conflicts: 557000 | #Constraints: 26127
2298.51/2304.76 c #Conflicts: 558000 | #Constraints: 27127
2298.51/2304.76 c #Conflicts: 559000 | #Constraints: 28127
2298.51/2304.76 c #Conflicts: 560000 | #Constraints: 29127
2298.51/2304.76 c #Conflicts: 561000 | #Constraints: 30127
2298.51/2304.76 c INPROCESSING
2298.51/2304.76 c GARBAGE COLLECT
2298.51/2304.76 c #Conflicts: 562000 | #Constraints: 16331
2298.51/2304.76 c #Conflicts: 563000 | #Constraints: 17331
2298.51/2304.76 c #Conflicts: 564000 | #Constraints: 18331
2298.51/2304.76 c #Conflicts: 565000 | #Constraints: 19331
2298.51/2304.76 c #Conflicts: 566000 | #Constraints: 20331
2298.51/2304.76 c #Conflicts: 567000 | #Constraints: 21331
2298.51/2304.76 c #Conflicts: 568000 | #Constraints: 22331
2298.51/2304.76 c #Conflicts: 569000 | #Constraints: 23331
2298.51/2304.76 c #Conflicts: 570000 | #Constraints: 24331
2298.51/2304.76 c #Conflicts: 571000 | #Constraints: 25331
2298.51/2304.76 c #Conflicts: 572000 | #Constraints: 26331
2298.51/2304.76 c #Conflicts: 573000 | #Constraints: 27331
2298.51/2304.76 c #Conflicts: 574000 | #Constraints: 28331
2298.51/2304.76 c #Conflicts: 575000 | #Constraints: 29331
2298.51/2304.76 c #Conflicts: 576000 | #Constraints: 30331
2298.51/2304.76 c INPROCESSING
2298.51/2304.76 c GARBAGE COLLECT
2298.51/2304.76 c #Conflicts: 577000 | #Constraints: 16330
2298.51/2304.76 c #Conflicts: 578000 | #Constraints: 17330
2298.51/2304.76 c #Conflicts: 579000 | #Constraints: 18330
2298.51/2304.76 c #Conflicts: 580000 | #Constraints: 19330
2298.51/2304.76 c #Conflicts: 581000 | #Constraints: 20330
2298.51/2304.76 c #Conflicts: 582000 | #Constraints: 21330
2298.51/2304.76 c #Conflicts: 583000 | #Constraints: 22330
2298.51/2304.76 c #Conflicts: 584000 | #Constraints: 23330
2298.51/2304.76 c #Conflicts: 585000 | #Constraints: 24330
2298.51/2304.76 c #Conflicts: 586000 | #Constraints: 25330
2298.51/2304.76 c #Conflicts: 587000 | #Constraints: 26330
2298.51/2304.76 c #Conflicts: 588000 | #Constraints: 27330
2298.51/2304.76 c #Conflicts: 589000 | #Constraints: 28330
2298.51/2304.76 c #Conflicts: 590000 | #Constraints: 29330
2298.51/2304.76 c #Conflicts: 591000 | #Constraints: 30330
2298.51/2304.76 c INPROCESSING
2298.51/2304.76 c GARBAGE COLLECT
2298.51/2304.76 c #Conflicts: 592000 | #Constraints: 16133
2298.51/2304.76 c #Conflicts: 593000 | #Constraints: 17133
2298.51/2304.76 c #Conflicts: 594000 | #Constraints: 18133
2298.51/2304.76 c #Conflicts: 595000 | #Constraints: 19133
2298.51/2304.76 c #Conflicts: 596000 | #Constraints: 20133
2298.51/2304.76 c #Conflicts: 597000 | #Constraints: 21133
2298.51/2304.76 c #Conflicts: 598000 | #Constraints: 22133
2298.51/2304.76 c #Conflicts: 599000 | #Constraints: 23133
2298.51/2304.76 c #Conflicts: 600000 | #Constraints: 24133
2298.51/2304.76 c #Conflicts: 601000 | #Constraints: 25133
2298.51/2304.76 c #Conflicts: 602000 | #Constraints: 26133
2298.51/2304.76 c #Conflicts: 603000 | #Constraints: 27133
2298.51/2304.76 c #Conflicts: 604000 | #Constraints: 28133
2298.51/2304.76 c #Conflicts: 605000 | #Constraints: 29133
2298.51/2304.76 c #Conflicts: 606000 | #Constraints: 30133
2298.51/2304.76 c #Conflicts: 607000 | #Constraints: 31133
2298.51/2304.76 c INPROCESSING
2298.51/2304.76 c GARBAGE COLLECT
2298.51/2304.76 c #Conflicts: 608000 | #Constraints: 16730
2298.51/2304.76 c #Conflicts: 609000 | #Constraints: 17730
2298.51/2304.76 c #Conflicts: 610000 | #Constraints: 18730
2298.51/2304.76 c #Conflicts: 611000 | #Constraints: 19730
2298.51/2304.76 c #Conflicts: 612000 | #Constraints: 20730
2298.51/2304.76 c #Conflicts: 613000 | #Constraints: 21730
2298.51/2304.76 c #Conflicts: 614000 | #Constraints: 22730
2298.51/2304.76 c #Conflicts: 615000 | #Constraints: 23730
2298.51/2304.76 c #Conflicts: 616000 | #Constraints: 24730
2298.51/2304.76 c #Conflicts: 617000 | #Constraints: 25730
2298.51/2304.76 c #Conflicts: 618000 | #Constraints: 26730
2298.51/2304.76 c #Conflicts: 619000 | #Constraints: 27730
2298.51/2304.76 c #Conflicts: 620000 | #Constraints: 28730
2298.51/2304.76 c #Conflicts: 621000 | #Constraints: 29730
2298.51/2304.76 c #Conflicts: 622000 | #Constraints: 30730
2298.51/2304.76 c #Conflicts: 623000 | #Constraints: 31730
2298.51/2304.76 c INPROCESSING
2298.51/2304.76 c GARBAGE COLLECT
2298.51/2304.76 c #Conflicts: 624000 | #Constraints: 17126
2675.28/2682.58 c #Conflicts: 625000 | #Constraints: 18126
2675.28/2682.58 c #Conflicts: 626000 | #Constraints: 19126
2675.28/2682.58 c #Conflicts: 627000 | #Constraints: 20126
2675.28/2682.58 c #Conflicts: 628000 | #Constraints: 21126
2675.28/2682.58 c #Conflicts: 629000 | #Constraints: 22126
2675.28/2682.58 c #Conflicts: 630000 | #Constraints: 23126
2675.28/2682.58 c #Conflicts: 631000 | #Constraints: 24126
2675.28/2682.58 c #Conflicts: 632000 | #Constraints: 25126
2675.28/2682.58 c #Conflicts: 633000 | #Constraints: 26126
2675.28/2682.58 c #Conflicts: 634000 | #Constraints: 27126
2675.28/2682.58 c #Conflicts: 635000 | #Constraints: 28126
2675.28/2682.58 c #Conflicts: 636000 | #Constraints: 29126
2675.28/2682.58 c #Conflicts: 637000 | #Constraints: 30126
2675.28/2682.58 c #Conflicts: 638000 | #Constraints: 31126
2675.28/2682.58 c #Conflicts: 639000 | #Constraints: 32126
2675.28/2682.58 c INPROCESSING
2675.28/2682.58 c GARBAGE COLLECT
2675.28/2682.58 c #Conflicts: 640000 | #Constraints: 17328
2675.28/2682.58 c #Conflicts: 641000 | #Constraints: 18328
2675.28/2682.58 c #Conflicts: 642000 | #Constraints: 19328
2675.28/2682.58 c #Conflicts: 643000 | #Constraints: 20328
2675.28/2682.58 c #Conflicts: 644000 | #Constraints: 21328
2675.28/2682.58 c #Conflicts: 645000 | #Constraints: 22328
2675.28/2682.58 c #Conflicts: 646000 | #Constraints: 23328
2675.28/2682.58 c #Conflicts: 647000 | #Constraints: 24328
2675.28/2682.58 c #Conflicts: 648000 | #Constraints: 25328
2675.28/2682.58 c #Conflicts: 649000 | #Constraints: 26328
2675.28/2682.58 c #Conflicts: 650000 | #Constraints: 27328
2675.28/2682.58 c #Conflicts: 651000 | #Constraints: 28328
2675.28/2682.58 c #Conflicts: 652000 | #Constraints: 29328
2675.28/2682.58 c #Conflicts: 653000 | #Constraints: 30328
2675.28/2682.58 c #Conflicts: 654000 | #Constraints: 31328
2675.28/2682.58 c #Conflicts: 655000 | #Constraints: 32328
2675.28/2682.58 c INPROCESSING
2675.28/2682.58 c GARBAGE COLLECT
2675.28/2682.58 c #Conflicts: 656000 | #Constraints: 17326
2675.28/2682.58 c #Conflicts: 657000 | #Constraints: 18326
2675.28/2682.58 c #Conflicts: 658000 | #Constraints: 19326
2675.28/2682.58 c #Conflicts: 659000 | #Constraints: 20326
2675.28/2682.58 c #Conflicts: 660000 | #Constraints: 21326
2675.28/2682.58 c #Conflicts: 661000 | #Constraints: 22326
2675.28/2682.58 c #Conflicts: 662000 | #Constraints: 23326
2675.28/2682.58 c #Conflicts: 663000 | #Constraints: 24326
2675.28/2682.58 c #Conflicts: 664000 | #Constraints: 25326
2675.28/2682.58 c #Conflicts: 665000 | #Constraints: 26326
2675.28/2682.58 c #Conflicts: 666000 | #Constraints: 27326
2675.28/2682.58 c #Conflicts: 667000 | #Constraints: 28326
2675.28/2682.58 c #Conflicts: 668000 | #Constraints: 29326
2675.28/2682.58 c #Conflicts: 669000 | #Constraints: 30326
2675.28/2682.58 c #Conflicts: 670000 | #Constraints: 31326
2675.28/2682.58 c #Conflicts: 671000 | #Constraints: 32326
2675.28/2682.58 c INPROCESSING
2675.28/2682.58 c GARBAGE COLLECT
2675.28/2682.58 c #Conflicts: 672000 | #Constraints: 17122
2675.28/2682.58 c #Conflicts: 673000 | #Constraints: 18122
2675.28/2682.58 c #Conflicts: 674000 | #Constraints: 19122
2675.28/2682.58 c #Conflicts: 675000 | #Constraints: 20122
2675.28/2682.58 c #Conflicts: 676000 | #Constraints: 21122
2675.28/2682.58 c #Conflicts: 677000 | #Constraints: 22122
2675.28/2682.58 c #Conflicts: 678000 | #Constraints: 23122
2675.28/2682.58 c #Conflicts: 679000 | #Constraints: 24122
2675.28/2682.58 c #Conflicts: 680000 | #Constraints: 25122
2675.28/2682.58 c #Conflicts: 681000 | #Constraints: 26122
2675.28/2682.58 c #Conflicts: 682000 | #Constraints: 27122
2675.28/2682.58 c #Conflicts: 683000 | #Constraints: 28122
2675.28/2682.58 c #Conflicts: 684000 | #Constraints: 29122
2675.28/2682.58 c #Conflicts: 685000 | #Constraints: 30122
2675.28/2682.58 c #Conflicts: 686000 | #Constraints: 31122
2675.28/2682.58 c #Conflicts: 687000 | #Constraints: 32122
2675.28/2682.58 c #Conflicts: 688000 | #Constraints: 33122
2675.28/2682.58 c INPROCESSING
2675.28/2682.58 c GARBAGE COLLECT
2675.28/2682.58 c #Conflicts: 689000 | #Constraints: 17721
2675.28/2682.58 c #Conflicts: 690000 | #Constraints: 18721
2675.28/2682.58 c #Conflicts: 691000 | #Constraints: 19721
2675.28/2682.58 c #Conflicts: 692000 | #Constraints: 20721
2675.28/2682.58 c #Conflicts: 693000 | #Constraints: 21721
2675.28/2682.58 c #Conflicts: 694000 | #Constraints: 22721
2675.28/2682.58 c #Conflicts: 695000 | #Constraints: 23721
2675.28/2682.58 c #Conflicts: 696000 | #Constraints: 24721
2675.28/2682.58 c #Conflicts: 697000 | #Constraints: 25721
2675.28/2682.58 c #Conflicts: 698000 | #Constraints: 26721
2675.28/2682.58 c #Conflicts: 699000 | #Constraints: 27721
2675.28/2682.58 c #Conflicts: 700000 | #Constraints: 28721
3149.80/3158.45 c #Conflicts: 701000 | #Constraints: 29721
3149.80/3158.45 c #Conflicts: 702000 | #Constraints: 30721
3149.80/3158.45 c #Conflicts: 703000 | #Constraints: 31721
3149.80/3158.45 c #Conflicts: 704000 | #Constraints: 32721
3149.80/3158.45 c #Conflicts: 705000 | #Constraints: 33721
3149.80/3158.45 c INPROCESSING
3149.80/3158.45 c GARBAGE COLLECT
3149.80/3158.45 c #Conflicts: 706000 | #Constraints: 18125
3149.80/3158.45 c #Conflicts: 707000 | #Constraints: 19125
3149.80/3158.45 c #Conflicts: 708000 | #Constraints: 20125
3149.80/3158.45 c #Conflicts: 709000 | #Constraints: 21125
3149.80/3158.45 c #Conflicts: 710000 | #Constraints: 22125
3149.80/3158.45 c #Conflicts: 711000 | #Constraints: 23125
3149.80/3158.45 c #Conflicts: 712000 | #Constraints: 24125
3149.80/3158.45 c #Conflicts: 713000 | #Constraints: 25125
3149.80/3158.45 c #Conflicts: 714000 | #Constraints: 26125
3149.80/3158.45 c #Conflicts: 715000 | #Constraints: 27125
3149.80/3158.45 c #Conflicts: 716000 | #Constraints: 28125
3149.80/3158.45 c #Conflicts: 717000 | #Constraints: 29125
3149.80/3158.45 c #Conflicts: 718000 | #Constraints: 30125
3149.80/3158.45 c #Conflicts: 719000 | #Constraints: 31125
3149.80/3158.45 c #Conflicts: 720000 | #Constraints: 32125
3149.80/3158.45 c #Conflicts: 721000 | #Constraints: 33125
3149.80/3158.45 c #Conflicts: 722000 | #Constraints: 34125
3149.80/3158.45 c INPROCESSING
3149.80/3158.45 c GARBAGE COLLECT
3149.80/3158.45 c #Conflicts: 723000 | #Constraints: 18327
3149.80/3158.45 c #Conflicts: 724000 | #Constraints: 19327
3149.80/3158.45 c #Conflicts: 725000 | #Constraints: 20327
3149.80/3158.45 c #Conflicts: 726000 | #Constraints: 21327
3149.80/3158.45 c #Conflicts: 727000 | #Constraints: 22327
3149.80/3158.45 c #Conflicts: 728000 | #Constraints: 23327
3149.80/3158.45 c #Conflicts: 729000 | #Constraints: 24327
3149.80/3158.45 c #Conflicts: 730000 | #Constraints: 25327
3149.80/3158.45 c #Conflicts: 731000 | #Constraints: 26327
3149.80/3158.45 c #Conflicts: 732000 | #Constraints: 27327
3149.80/3158.45 c #Conflicts: 733000 | #Constraints: 28327
3149.80/3158.45 c #Conflicts: 734000 | #Constraints: 29327
3149.80/3158.45 c #Conflicts: 735000 | #Constraints: 30327
3149.80/3158.45 c #Conflicts: 736000 | #Constraints: 31327
3149.80/3158.45 c #Conflicts: 737000 | #Constraints: 32327
3149.80/3158.45 c #Conflicts: 738000 | #Constraints: 33327
3149.80/3158.45 c #Conflicts: 739000 | #Constraints: 34327
3149.80/3158.45 c INPROCESSING
3149.80/3158.45 c GARBAGE COLLECT
3149.80/3158.45 c #Conflicts: 740000 | #Constraints: 18329
3149.80/3158.45 c #Conflicts: 741000 | #Constraints: 19329
3149.80/3158.45 c #Conflicts: 742000 | #Constraints: 20329
3149.80/3158.45 c #Conflicts: 743000 | #Constraints: 21329
3149.80/3158.45 c #Conflicts: 744000 | #Constraints: 22329
3149.80/3158.45 c #Conflicts: 745000 | #Constraints: 23329
3149.80/3158.45 c #Conflicts: 746000 | #Constraints: 24329
3149.80/3158.45 c #Conflicts: 747000 | #Constraints: 25329
3149.80/3158.45 c #Conflicts: 748000 | #Constraints: 26329
3149.80/3158.45 c #Conflicts: 749000 | #Constraints: 27329
3149.80/3158.45 c #Conflicts: 750000 | #Constraints: 28329
3149.80/3158.45 c #Conflicts: 751000 | #Constraints: 29329
3149.80/3158.45 c #Conflicts: 752000 | #Constraints: 30329
3149.80/3158.45 c #Conflicts: 753000 | #Constraints: 31329
3149.80/3158.45 c #Conflicts: 754000 | #Constraints: 32329
3149.80/3158.45 c #Conflicts: 755000 | #Constraints: 33329
3149.80/3158.45 c #Conflicts: 756000 | #Constraints: 34329
3149.80/3158.45 c INPROCESSING
3149.80/3158.45 c GARBAGE COLLECT
3149.80/3158.45 c #Conflicts: 757000 | #Constraints: 18130
3149.80/3158.45 c #Conflicts: 758000 | #Constraints: 19130
3149.80/3158.45 c #Conflicts: 759000 | #Constraints: 20130
3149.80/3158.45 c #Conflicts: 760000 | #Constraints: 21130
3149.80/3158.45 c #Conflicts: 761000 | #Constraints: 22130
3149.80/3158.45 c #Conflicts: 762000 | #Constraints: 23130
3149.80/3158.45 c #Conflicts: 763000 | #Constraints: 24130
3149.80/3158.45 c #Conflicts: 764000 | #Constraints: 25130
3149.80/3158.45 c #Conflicts: 765000 | #Constraints: 26130
3149.80/3158.45 c #Conflicts: 766000 | #Constraints: 27130
3149.80/3158.45 c #Conflicts: 767000 | #Constraints: 28130
3149.80/3158.45 c #Conflicts: 768000 | #Constraints: 29130
3149.80/3158.45 c #Conflicts: 769000 | #Constraints: 30130
3149.80/3158.45 c #Conflicts: 770000 | #Constraints: 31130
3149.80/3158.45 c #Conflicts: 771000 | #Constraints: 32130
3149.80/3158.45 c #Conflicts: 772000 | #Constraints: 33130
3149.80/3158.45 c #Conflicts: 773000 | #Constraints: 34130
3149.80/3158.45 c #Conflicts: 774000 | #Constraints: 35130
3149.80/3158.45 c INPROCESSING
3149.80/3158.45 c GARBAGE COLLECT
3149.80/3158.45 c #Conflicts: 775000 | #Constraints: 18727
3149.80/3158.45 c #Conflicts: 776000 | #Constraints: 19727
3599.23/3609.18 c #Conflicts: 777000 | #Constraints: 20727
3599.23/3609.18 c #Conflicts: 778000 | #Constraints: 21727
3599.23/3609.18 c #Conflicts: 779000 | #Constraints: 22727
3599.23/3609.18 c #Conflicts: 780000 | #Constraints: 23727
3599.23/3609.18 c #Conflicts: 781000 | #Constraints: 24727
3599.23/3609.18 c #Conflicts: 782000 | #Constraints: 25727
3599.23/3609.18 c #Conflicts: 783000 | #Constraints: 26727
3599.23/3609.18 c #Conflicts: 784000 | #Constraints: 27727
3599.23/3609.18 c #Conflicts: 785000 | #Constraints: 28727
3599.23/3609.18 c #Conflicts: 786000 | #Constraints: 29727
3599.23/3609.18 c #Conflicts: 787000 | #Constraints: 30727
3599.23/3609.18 c #Conflicts: 788000 | #Constraints: 31727
3599.23/3609.18 c #Conflicts: 789000 | #Constraints: 32727
3599.23/3609.18 c #Conflicts: 790000 | #Constraints: 33727
3599.23/3609.18 c #Conflicts: 791000 | #Constraints: 34727
3599.23/3609.18 c #Conflicts: 792000 | #Constraints: 35727
3599.23/3609.18 c INPROCESSING
3599.23/3609.18 c GARBAGE COLLECT
3599.23/3609.18 c #Conflicts: 793000 | #Constraints: 19130
3599.23/3609.18 c #Conflicts: 794000 | #Constraints: 20130
3599.23/3609.18 c #Conflicts: 795000 | #Constraints: 21130
3599.23/3609.18 c #Conflicts: 796000 | #Constraints: 22130
3599.23/3609.18 c #Conflicts: 797000 | #Constraints: 23130
3599.23/3609.18 c #Conflicts: 798000 | #Constraints: 24130
3599.23/3609.18 c #Conflicts: 799000 | #Constraints: 25130
3599.23/3609.18 c #Conflicts: 800000 | #Constraints: 26130
3599.23/3609.18 c #Conflicts: 801000 | #Constraints: 27130
3599.23/3609.18 c #Conflicts: 802000 | #Constraints: 28130
3599.23/3609.18 c #Conflicts: 803000 | #Constraints: 29130
3599.23/3609.18 c #Conflicts: 804000 | #Constraints: 30130
3599.23/3609.18 c #Conflicts: 805000 | #Constraints: 31130
3599.23/3609.18 c #Conflicts: 806000 | #Constraints: 32130
3599.23/3609.18 c #Conflicts: 807000 | #Constraints: 33130
3599.23/3609.18 c #Conflicts: 808000 | #Constraints: 34130
3599.23/3609.18 c #Conflicts: 809000 | #Constraints: 35130
3599.23/3609.18 c #Conflicts: 810000 | #Constraints: 36130
3599.23/3609.18 c INPROCESSING
3599.23/3609.18 c GARBAGE COLLECT
3599.23/3609.18 c #Conflicts: 811000 | #Constraints: 19328
3599.23/3609.18 c #Conflicts: 812000 | #Constraints: 20328
3599.23/3609.18 c #Conflicts: 813000 | #Constraints: 21328
3599.23/3609.18 c #Conflicts: 814000 | #Constraints: 22328
3599.23/3609.18 c #Conflicts: 815000 | #Constraints: 23328
3599.23/3609.18 c #Conflicts: 816000 | #Constraints: 24328
3599.23/3609.18 c #Conflicts: 817000 | #Constraints: 25328
3599.23/3609.18 c #Conflicts: 818000 | #Constraints: 26328
3599.23/3609.18 c #Conflicts: 819000 | #Constraints: 27328
3599.23/3609.18 c #Conflicts: 820000 | #Constraints: 28328
3599.23/3609.18 c #Conflicts: 821000 | #Constraints: 29328
3599.23/3609.18 c #Conflicts: 822000 | #Constraints: 30328
3599.23/3609.18 c #Conflicts: 823000 | #Constraints: 31328
3599.23/3609.18 c #Conflicts: 824000 | #Constraints: 32328
3599.23/3609.18 c #Conflicts: 825000 | #Constraints: 33328
3599.23/3609.18 c #Conflicts: 826000 | #Constraints: 34328
3599.23/3609.18 c #Conflicts: 827000 | #Constraints: 35328
3599.23/3609.18 c #Conflicts: 828000 | #Constraints: 36328
3599.23/3609.18 c INPROCESSING
3599.23/3609.18 c GARBAGE COLLECT
3599.23/3609.18 c #Conflicts: 829000 | #Constraints: 19325
3599.23/3609.18 c #Conflicts: 830000 | #Constraints: 20325
3599.23/3609.18 c #Conflicts: 831000 | #Constraints: 21325
3599.23/3609.18 c #Conflicts: 832000 | #Constraints: 22325
3599.23/3609.18 c #Conflicts: 833000 | #Constraints: 23325
3599.23/3609.18 c #Conflicts: 834000 | #Constraints: 24325
3599.23/3609.18 c #Conflicts: 835000 | #Constraints: 25325
3599.23/3609.18 c #Conflicts: 836000 | #Constraints: 26325
3599.23/3609.18 c #Conflicts: 837000 | #Constraints: 27325
3599.23/3609.18 c #Conflicts: 838000 | #Constraints: 28325
3599.23/3609.18 c #Conflicts: 839000 | #Constraints: 29325
3599.23/3609.18 c #Conflicts: 840000 | #Constraints: 30325
3599.23/3609.18 c #Conflicts: 841000 | #Constraints: 31325
3599.23/3609.18 c #Conflicts: 842000 | #Constraints: 32325
3599.23/3609.18 c #Conflicts: 843000 | #Constraints: 33325
3599.23/3609.18 c #Conflicts: 844000 | #Constraints: 34325
3599.23/3609.18 c #Conflicts: 845000 | #Constraints: 35325
3599.23/3609.18 c #Conflicts: 846000 | #Constraints: 36325
3599.23/3609.18 c INPROCESSING
3599.23/3609.18 c GARBAGE COLLECT
3599.23/3609.18 c #Conflicts: 847000 | #Constraints: 19127
3599.23/3609.18 c #Conflicts: 848000 | #Constraints: 20127
3599.23/3609.18 c #Conflicts: 849000 | #Constraints: 21127
3599.23/3609.18 c #Conflicts: 850000 | #Constraints: 22127
3599.23/3609.18 c #Conflicts: 851000 | #Constraints: 23127
3599.23/3609.18 c #Conflicts: 852000 | #Constraints: 24127
3600.03/3609.90 c Program interrupted by user.
3600.03/3609.90 c cpu time 3591.25 s
3600.03/3609.90 c deterministic time 390618895074 3.91e+11
3600.03/3609.90 c optimization time 26.503 s
3600.03/3609.90 c total solve time 3265.7 s
3600.03/3609.90 c core-guided solve time 3265.7 s
3600.03/3609.90 c propagation time 2882.97 s
3600.03/3609.90 c conflict analysis time 358.043 s
3600.03/3609.90 c propagations 55308049
3600.03/3609.90 c resolve steps 4311393
3600.03/3609.90 c decisions 5390484
3600.03/3609.90 c conflicts 852123
3600.03/3609.90 c restarts 1819
3600.03/3609.90 c inprocessing phases 83
3600.03/3609.90 c input clauses 45
3600.03/3609.90 c input cardinalities 79
3600.03/3609.90 c input general constraints 462
3600.03/3609.90 c input average constraint length 70.34
3600.03/3609.90 c input average constraint degree 33.67
3600.03/3609.90 c learned clauses 154249
3600.03/3609.90 c learned cardinalities 325
3600.03/3609.90 c learned general constraints 697554
3600.03/3609.90 c learned average constraint length 321.03
3600.03/3609.90 c learned average constraint degree 256922.49
3600.03/3609.90 c watched constraints 586913
3600.03/3609.90 c counting constraints 111103
3600.03/3609.90 c gcd simplifications 121932
3600.03/3609.90 c detected cardinalities 239
3600.03/3609.90 c weakened non-implied lits 22286397
3600.03/3609.90 c weakened non-implying lits 71486
3600.03/3609.90 c original variables 467
3600.03/3609.90 c clausal propagations 750753
3600.03/3609.90 c cardinality propagations 76230
3600.03/3609.90 c watched propagations 31153036
3600.03/3609.90 c counting propagations 22639700
3600.03/3609.90 c watch lookups 63842320196
3600.03/3609.90 c watch backjump lookups 60167376372
3600.03/3609.90 c watch checks 258930068455
3600.03/3609.90 c propagation checks 6688078533
3600.03/3609.90 c constraint additions 868802714
3600.03/3609.90 c trail pops 61550270
3600.03/3609.90 c formula constraints 466
3600.03/3609.90 c learned constraints 852128
3600.03/3609.90 c bound constraints 79
3600.03/3609.90 c core-guided constraints 41
3600.03/3609.90 c encountered formula constraints 2671878
3600.03/3609.90 c encountered learned constraints 2436597
3600.03/3609.90 c encountered bound constraints 249
3600.03/3609.90 c encountered core-guided constraints 54792
3600.03/3609.90 c LP total time 0 s
3600.03/3609.90 c LP solve time 0 s
3600.03/3609.90 c LP constraints added 0
3600.03/3609.90 c LP constraints removed 0
3600.03/3609.90 c LP pivots internal 0
3600.03/3609.90 c LP pivots root 0
3600.03/3609.90 c LP calls 0
3600.03/3609.90 c LP optimalities 0
3600.03/3609.90 c LP no pivot count 0
3600.03/3609.90 c LP infeasibilities 0
3600.03/3609.90 c LP valid Farkas constraints 0
3600.03/3609.90 c LP learned Farkas constraints 0
3600.03/3609.90 c LP basis resets 0
3600.03/3609.90 c LP cycling count 0
3600.03/3609.90 c LP singular count 0
3600.03/3609.90 c LP no primal count 0
3600.03/3609.90 c LP no farkas count 0
3600.03/3609.90 c LP other issue count 0
3600.03/3609.90 c LP Gomory cuts 0
3600.03/3609.90 c LP learned cuts 0
3600.03/3609.90 c LP deleted cuts 0
3600.03/3609.90 c LP encountered Gomory constraints 0
3600.03/3609.90 c LP encountered Farkas constraints 0
3600.03/3609.90 c LP encountered learned Farkas constraints 0
3600.03/3609.90 c CG auxiliary variables introduced 41
3600.03/3609.90 c CG solutions found 0
3600.03/3609.90 c CG cores constructed 78
3600.03/3609.90 c CG core cardinality constraints returned 0
3600.03/3609.90 c CG unit cores 0
3600.03/3609.90 c CG single cores 78
3600.03/3609.90 c CG blocks removed during cardinality reduction 0
3600.03/3609.90 c CG first core best 0
3600.03/3609.90 c CG decision core best 0
3600.03/3609.90 c CG core reduction tie 0
3600.03/3609.90 c CG core degree average 1.00
3600.03/3609.90 c CG core slack average 2.77
3600.03/3609.90 c CG exhausted 0
3600.03/3609.90 c CG exhaust time 0 s
3600.03/3609.90 c CG trimmed 1
3600.03/3609.90 c CG trim time 0.000345 s
3600.03/3609.90 c CG minimized 0
3600.03/3609.90 c CG minimize time 0 s
3600.03/3609.90 c CG am1 prop time 1.3e-05 s
3600.03/3609.90 c CG # am1s reformulated 41
3600.03/3609.90 c CG lower bound derived from am1s 41
3600.03/3609.90 c CG # clausal cores 12
3600.03/3609.90 c CG # cardinality cores 0
3600.03/3609.90 c CG # pb cores 66
3600.03/3609.90 c CG # pb reforms 0
3600.03/3609.90 c CG # cores discarded because of pb reform 0
3600.03/3609.90 d LOWERBOUND 119
3600.03/3609.90 d NCORES 78
3600.03/3609.90 d NPBCORES 66
3600.03/3609.90 d NPBREFORM 0
3600.03/3609.90 d NTRIMMED 1
3600.03/3609.90 d NEXHAUSTED 0
3600.03/3609.90 d NAM1S 41
3600.03/3609.90 d AM1LB 41
3600.03/3609.90 c [Papilo Statistics]
3600.03/3609.90 c prepro time 0.00143884s
3600.03/3609.90 c # tsx applied 23
3600.03/3609.90 c # tsx conflicts 0
3600.03/3609.90 c # bound changes 0
3600.03/3609.90 c # side changes 0
3600.03/3609.90 c # coef changes 54
3600.03/3609.90 c # rounds 3
3600.03/3609.90 c # deted vars 0
3600.03/3609.90 c # deted constrs 0
3600.03/3609.90 c # consecutive rounds of only bound changes 0
3600.03/3609.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62788 MiB free)
memory of node 1: 64473 MiB (63276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454711-1721468771/watcher-4454711-1721468771 -o /tmp/evaluation-result-4454711-1721468771/solver-4454711-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048077 --watchdog 3760 mixed-bag HOME/instance-4454711-1721468771.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1048125, runsolver pid=1048116
[startup+0.100086 s]*
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=129045372/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=93168 memory=26360 CPUtime=0.06 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 3035 0 7 0 6 0 0 0 20 0 1 0 199044180 95404032 6590 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 23292 6590 4040 3002 0 7041 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 93168 KiB
Current children cumulated memory: 26360 KiB
[startup+0.206286 s]*
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=129038124/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=93296 memory=26432 CPUtime=0.17 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 3088 0 7 0 17 0 0 0 20 0 1 0 199044180 95535104 6608 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 23324 6608 4040 3002 0 7073 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 93296 KiB
Current children cumulated memory: 26432 KiB
[startup+0.305085 s]*
/proc/loadavg: 1.27 1.92 2.62 6/257 1048140
/proc/meminfo: memFree=129025640/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=93296 memory=26432 CPUtime=0.27 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 3090 0 7 0 27 0 0 0 20 0 1 0 199044180 95535104 6608 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 23324 6608 4040 3002 0 7073 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 93296 KiB
Current children cumulated memory: 26432 KiB
[startup+0.700124 s]
/proc/loadavg: 1.27 1.92 2.62 6/257 1048140
/proc/meminfo: memFree=128997304/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=100312 memory=32976 CPUtime=0.66 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 4824 0 7 0 65 1 0 0 20 0 1 0 199044180 102719488 8244 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 25078 8244 4056 3002 0 8827 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 100312 KiB
Current children cumulated memory: 32976 KiB
[startup+1.50021 s]
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=128815752/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=172380 memory=104472 CPUtime=1.46 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 24273 0 7 0 142 4 0 0 20 0 1 0 199044180 176517120 26118 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 43095 26118 4056 3002 0 26844 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 172380 KiB
Current children cumulated memory: 104472 KiB
[startup+3.1061 s]
/proc/loadavg: 1.65 1.99 2.64 7/257 1048140
/proc/meminfo: memFree=128519664/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=228332 memory=158180 CPUtime=3.06 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 37719 0 7 0 300 6 0 0 20 0 1 0 199044180 233811968 39545 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 57083 39545 4087 3002 0 40832 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 228332 KiB
Current children cumulated memory: 158180 KiB
[startup+6.30012 s]
/proc/loadavg: 1.65 1.99 2.64 7/257 1048140
/proc/meminfo: memFree=128518956/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=228332 memory=158180 CPUtime=6.25 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 37721 0 7 0 619 6 0 0 20 0 1 0 199044180 233811968 39545 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 57083 39545 4087 3002 0 40832 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 228332 KiB
Current children cumulated memory: 158180 KiB
[startup+12.7001 s]
/proc/loadavg: 2.01 2.05 2.66 7/257 1048142
/proc/meminfo: memFree=128516696/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=228332 memory=158180 CPUtime=12.63 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 37721 0 7 0 1257 6 0 0 20 0 1 0 199044180 233811968 39545 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 57083 39545 4087 3002 0 40832 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 228332 KiB
Current children cumulated memory: 158180 KiB
[startup+25.5002 s]
/proc/loadavg: 2.32 2.12 2.67 7/257 1048143
/proc/meminfo: memFree=128312088/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=258096 memory=186496 CPUtime=25.4 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 45700 0 7 0 2532 8 0 0 20 0 1 0 199044180 264290304 46624 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 64524 46624 4087 3002 0 48273 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 258096 KiB
Current children cumulated memory: 186496 KiB
[startup+51.1063 s]
/proc/loadavg: 2.97 2.29 2.71 7/257 1048148
/proc/meminfo: memFree=128308280/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=260220 memory=188408 CPUtime=50.94 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 46356 0 7 0 5083 11 0 0 20 0 1 0 199044180 266465280 47102 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 65055 47102 4087 3002 0 48804 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 260220 KiB
Current children cumulated memory: 188408 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.61 2.80 7/257 1048156
/proc/meminfo: memFree=128221696/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=262268 memory=191100 CPUtime=102.01 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 47256 0 7 0 10185 16 0 0 20 0 1 0 199044180 268562432 47775 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 65567 47775 4087 3002 0 49316 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 262268 KiB
Current children cumulated memory: 191100 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.88 2.88 8/257 1048167
/proc/meminfo: memFree=128026776/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=349192 memory=278280 CPUtime=161.85 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 69312 0 7 0 16160 25 0 0 20 0 1 0 199044180 357572608 69570 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 87298 69570 4087 3002 0 71047 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 349192 KiB
Current children cumulated memory: 278280 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.12 2.97 7/259 1048182
/proc/meminfo: memFree=127949384/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=353280 memory=282768 CPUtime=221.7 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 70394 0 7 0 22139 31 0 0 20 0 1 0 199044180 361758720 70692 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 88320 70692 4087 3002 0 72069 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 353280 KiB
Current children cumulated memory: 282768 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.30 3.04 8/259 1048192
/proc/meminfo: memFree=127946856/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=353280 memory=282772 CPUtime=281.53 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 70464 0 7 0 28121 32 0 0 20 0 1 0 199044180 361758720 70693 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 88320 70693 4087 3002 0 72069 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 353280 KiB
Current children cumulated memory: 282772 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.46 3.11 7/256 1048202
/proc/meminfo: memFree=128112352/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=294556 memory=227088 CPUtime=341.38 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 72048 0 7 0 34052 86 0 0 20 0 1 0 199044180 301625344 56772 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 73639 56772 4215 3002 0 57388 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 294556 KiB
Current children cumulated memory: 227088 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.58 3.18 8/256 1048214
/proc/meminfo: memFree=128086476/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=313524 memory=236036 CPUtime=401.19 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 72674 0 7 0 39993 126 0 0 20 0 1 0 199044180 321048576 59009 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 78381 59009 4215 3002 0 62130 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 313524 KiB
Current children cumulated memory: 236036 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.67 3.24 7/256 1048224
/proc/meminfo: memFree=128070472/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=313524 memory=243468 CPUtime=461.02 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 72786 0 7 0 45939 163 0 0 20 0 1 0 199044180 321048576 60867 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 78381 60867 4215 3002 0 62130 0
################
# More data... #
################
Current children cumulated memory: 289728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.01 7/255 1049845
/proc/meminfo: memFree=127886824/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=289728 CPUtime=2914.4 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77060 0 7 0 290695 745 0 0 20 0 1 0 199044180 403898368 72432 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 72432 4215 3002 0 82357 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 289728 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.01 7/254 1049855
/proc/meminfo: memFree=127886520/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=289728 CPUtime=2974.22 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77189 0 7 0 296665 757 0 0 20 0 1 0 199044180 403898368 72432 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 72432 4215 3002 0 82357 0
Current children cumulated CPU time: 2974.22 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 289728 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.01 7/254 1049865
/proc/meminfo: memFree=127884204/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=291776 CPUtime=3034.04 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77319 0 7 0 302635 769 0 0 20 0 1 0 199044180 403898368 72944 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 72944 4215 3002 0 82357 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 291776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.02 7/254 1049876
/proc/meminfo: memFree=127880584/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=291776 CPUtime=3093.86 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77447 0 7 0 308602 784 0 0 20 0 1 0 199044180 403898368 72944 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 72944 4215 3002 0 82357 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 291776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 7/254 1049886
/proc/meminfo: memFree=127877360/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=293824 CPUtime=3153.69 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77580 0 7 0 314574 795 0 0 20 0 1 0 199044180 403898368 73456 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73456 4215 3002 0 82357 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 293824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.02 7/256 1049900
/proc/meminfo: memFree=127877108/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=293824 CPUtime=3213.53 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77646 0 7 0 320548 805 0 0 20 0 1 0 199044180 403898368 73456 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73456 4215 3002 0 82357 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 293824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 9/257 1049912
/proc/meminfo: memFree=127876696/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=293824 CPUtime=3273.36 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77781 0 7 0 326519 817 0 0 20 0 1 0 199044180 403898368 73456 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73456 4215 3002 0 82357 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 293824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.02 7/257 1049922
/proc/meminfo: memFree=127875452/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=293824 CPUtime=3333.17 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 77967 0 7 0 332487 830 0 0 20 0 1 0 199044180 403898368 73456 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73456 4215 3002 0 82357 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 293824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.04 8/257 1049933
/proc/meminfo: memFree=127871160/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=293824 CPUtime=3393.01 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 78068 0 7 0 338459 842 0 0 20 0 1 0 199044180 403898368 73456 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73456 4215 3002 0 82357 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 293824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.04 7/257 1049943
/proc/meminfo: memFree=127868832/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=293824 CPUtime=3452.85 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 78181 0 7 0 344432 853 0 0 20 0 1 0 199044180 403898368 73456 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73456 4215 3002 0 82357 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 293824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.04 7/257 1049954
/proc/meminfo: memFree=127866440/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=295872 CPUtime=3512.68 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 78287 0 7 0 350405 863 0 0 20 0 1 0 199044180 403898368 73968 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73968 4215 3002 0 82357 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 295872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.04 7/254 1049964
/proc/meminfo: memFree=127864188/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=295872 CPUtime=3572.5 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 78400 0 7 0 356379 871 0 0 20 0 1 0 199044180 403898368 73968 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73968 4215 3002 0 82357 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 295872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.10 4.04 7/254 1049970
/proc/meminfo: memFree=127861988/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=295872 CPUtime=3600.03 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 78400 0 7 0 359125 878 0 0 20 0 1 0 199044180 403898368 73968 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73968 4215 3002 0 82357 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 295872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 1048125 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.25 s, system=8.78994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.09 4.10 4.04 7/254 1049970
/proc/meminfo: memFree=127861988/131524600 swapFree=131071996/131071996
[pid=1048125] ppid=1048116 vsize=394432 memory=295872 CPUtime=3600.03 cores=5,7
/proc/1048125/stat : 1048125 (mixed-bag) R 1048116 1048125 1048064 0 -1 4194304 78400 0 7 0 359125 878 0 0 20 0 1 0 199044180 403898368 73968 134679101440 4194304 16488053 140733023704976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 18731784 18742840 41123840 140733023712277 140733023712354 140733023712354 140733023719371 0
/proc/1048125/statm: 98608 73968 4215 3002 0 82357 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 394432 KiB
Current children cumulated memory: 295872 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.04
CPU user time (s): 3591.25
CPU system time (s): 8.78994
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 394432
Max. memory (cumulated for all children) (KiB): 295872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.25
system time used= 8.78994
maximum resident set size= 296720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78422
page faults= 7
swaps= 0
block input operations= 848
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 2857
# summary of solver processes directly reported to runsolver:
# pid: 1048125
# total CPU time (s): 3600.04
# total CPU user time (s): 3591.25
# total CPU system time (s): 8.78994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76567 second user time and 18.9172 second system time
The end
Begin job on nodeC028 at 2024-07-20 11:46:24
IDJOB=4454711
IDBENCH=147542
IDSOLVER=3083
FILE ID=nodeC028/4454711-1721468771
RUNJOBID= nodeC028-1721468784-1048077
SLURM_JOB_ID= 7545726
Free space on /tmp= 890068 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454711-1721468771/watcher-4454711-1721468771 -o /tmp/evaluation-result-4454711-1721468771/solver-4454711-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048077 --watchdog 3760 mixed-bag HOME/instance-4454711-1721468771.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=1274062913
nodeC028.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 : 3744.925
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.56
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 : 3751.980
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3673.532
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.56
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 : 3811.926
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3646.198
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.56
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 : 3610.951
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3912.679
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.56
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 : 3879.983
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129092916 kB
MemAvailable: 129738536 kB
Buffers: 553432 kB
Cached: 940904 kB
SwapCached: 0 kB
Active: 1096432 kB
Inactive: 737476 kB
Active(anon): 1440 kB
Inactive(anon): 384044 kB
Active(file): 1094992 kB
Inactive(file): 353432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65172 kB
Writeback: 16 kB
AnonPages: 336784 kB
Mapped: 107260 kB
Shmem: 45912 kB
KReclaimable: 74040 kB
Slab: 181868 kB
SReclaimable: 74040 kB
SUnreclaim: 107828 kB
KernelStack: 3808 kB
PageTables: 9500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 727148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC028 at 2024-07-20 12:46:34