0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.56/300.33 c [STEP] preprocessing done, loading into solver
299.56/300.33 c [STEP] solving
299.56/300.33 c #variables 477 #constraints 476
299.56/300.33 c SMALL=int, LARGE=long long
299.56/300.33 d SCIPUB 194
299.56/300.33 c bounds - >= 0 @ 299.138
299.56/300.33 c stratification level: 0
317.52/318.34 c bounds - >= 54 @ 299.138
317.52/318.34 c bounds - >= 55 @ 299.138
317.52/318.34 c bounds - >= 56 @ 299.138
317.52/318.34 c bounds - >= 57 @ 299.138
317.52/318.34 c bounds - >= 58 @ 299.138
317.52/318.34 c bounds - >= 59 @ 299.138
317.52/318.34 c bounds - >= 60 @ 299.138
317.52/318.34 c bounds - >= 61 @ 299.138
317.52/318.34 c bounds - >= 62 @ 299.138
317.52/318.34 c bounds - >= 63 @ 299.138
317.52/318.34 c bounds - >= 64 @ 299.138
317.52/318.34 c bounds - >= 65 @ 299.138
317.52/318.34 c bounds - >= 66 @ 299.138
317.52/318.34 c bounds - >= 67 @ 299.138
317.52/318.34 c bounds - >= 68 @ 299.138
317.52/318.34 c bounds - >= 69 @ 299.138
317.52/318.34 c bounds - >= 70 @ 299.138
317.52/318.34 c bounds - >= 71 @ 299.138
317.52/318.34 c bounds - >= 72 @ 299.139
317.52/318.34 c bounds - >= 73 @ 299.139
317.52/318.34 c bounds - >= 74 @ 299.139
317.52/318.34 c bounds - >= 75 @ 299.139
317.52/318.34 c bounds - >= 76 @ 299.139
317.52/318.34 c bounds - >= 77 @ 299.139
317.52/318.34 c bounds - >= 78 @ 299.139
317.52/318.34 c bounds - >= 79 @ 299.139
317.52/318.34 c bounds - >= 80 @ 299.139
317.52/318.34 c bounds - >= 81 @ 299.139
317.52/318.34 c bounds - >= 82 @ 299.139
317.52/318.34 c bounds - >= 83 @ 299.139
317.52/318.34 c bounds - >= 84 @ 299.139
317.52/318.34 c bounds - >= 85 @ 299.139
317.52/318.34 c bounds - >= 86 @ 299.139
317.52/318.34 c bounds - >= 87 @ 299.139
317.52/318.34 c bounds - >= 88 @ 299.139
317.52/318.34 c bounds - >= 89 @ 299.139
317.52/318.34 c bounds - >= 90 @ 299.139
317.52/318.34 c bounds - >= 91 @ 299.139
317.52/318.34 c bounds - >= 92 @ 299.139
317.52/318.34 c bounds - >= 93 @ 299.139
317.52/318.34 c bounds - >= 94 @ 299.139
317.52/318.34 c bounds - >= 95 @ 299.139
317.52/318.34 c bounds - >= 96 @ 299.139
317.52/318.34 c bounds - >= 97 @ 299.139
317.52/318.34 c bounds - >= 98 @ 299.139
317.52/318.34 c bounds - >= 99 @ 299.14
317.52/318.34 c bounds - >= 100 @ 299.14
317.52/318.34 c bounds - >= 101 @ 299.14
317.52/318.34 c bounds - >= 102 @ 299.14
317.52/318.34 c bounds - >= 103 @ 299.14
317.52/318.34 c bounds - >= 104 @ 299.14
317.52/318.34 c bounds - >= 105 @ 299.14
317.52/318.34 c bounds - >= 106 @ 299.14
317.52/318.34 c bounds - >= 107 @ 299.141
317.52/318.34 c bounds - >= 108 @ 299.141
317.52/318.34 c bounds - >= 109 @ 299.141
317.52/318.34 c bounds - >= 110 @ 299.141
317.52/318.34 c bounds - >= 111 @ 299.141
317.52/318.34 c bounds - >= 112 @ 299.141
317.52/318.34 c bounds - >= 113 @ 299.141
317.52/318.34 c bounds - >= 114 @ 299.141
317.52/318.34 c bounds - >= 115 @ 299.141
317.52/318.34 c bounds - >= 116 @ 299.141
317.52/318.34 c bounds - >= 117 @ 299.141
317.52/318.34 c bounds - >= 118 @ 299.141
317.52/318.34 c bounds - >= 119 @ 299.141
317.52/318.34 c bounds - >= 120 @ 299.141
317.52/318.34 c bounds - >= 121 @ 299.141
317.52/318.34 c bounds - >= 122 @ 299.142
317.52/318.34 c bounds - >= 123 @ 299.142
317.52/318.34 c bounds - >= 124 @ 299.142
317.52/318.34 c bounds - >= 125 @ 299.142
317.52/318.34 c bounds - >= 126 @ 299.142
317.52/318.34 c bounds - >= 127 @ 299.142
317.52/318.34 c bounds - >= 128 @ 299.142
317.52/318.34 c #Conflicts: 1000 | #Constraints: 1613
317.52/318.34 c #Conflicts: 2000 | #Constraints: 2613
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 3000 | #Constraints: 2543
317.52/318.34 c #Conflicts: 4000 | #Constraints: 3543
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 5000 | #Constraints: 2941
317.52/318.34 c #Conflicts: 6000 | #Constraints: 3941
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 7000 | #Constraints: 2941
317.52/318.34 c #Conflicts: 8000 | #Constraints: 3941
317.52/318.34 c #Conflicts: 9000 | #Constraints: 4941
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 10000 | #Constraints: 3642
317.52/318.34 c #Conflicts: 11000 | #Constraints: 4642
317.52/318.34 c #Conflicts: 12000 | #Constraints: 5642
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 13000 | #Constraints: 4097
317.52/318.34 c #Conflicts: 14000 | #Constraints: 5097
317.52/318.34 c #Conflicts: 15000 | #Constraints: 6097
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 16000 | #Constraints: 4323
317.52/318.34 c #Conflicts: 17000 | #Constraints: 5323
317.52/318.34 c #Conflicts: 18000 | #Constraints: 6323
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 19000 | #Constraints: 4334
317.52/318.34 c #Conflicts: 20000 | #Constraints: 5334
317.52/318.34 c #Conflicts: 21000 | #Constraints: 6334
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 22000 | #Constraints: 4140
317.52/318.34 c #Conflicts: 23000 | #Constraints: 5140
317.52/318.34 c #Conflicts: 24000 | #Constraints: 6140
317.52/318.34 c #Conflicts: 25000 | #Constraints: 7140
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 26000 | #Constraints: 4744
317.52/318.34 c #Conflicts: 27000 | #Constraints: 5744
317.52/318.34 c #Conflicts: 28000 | #Constraints: 6744
317.52/318.34 c #Conflicts: 29000 | #Constraints: 7744
317.52/318.34 c INPROCESSING
317.52/318.34 c GARBAGE COLLECT
317.52/318.34 c #Conflicts: 30000 | #Constraints: 5143
317.52/318.34 c #Conflicts: 31000 | #Constraints: 6143
317.52/318.34 c #Conflicts: 32000 | #Constraints: 7143
317.52/318.34 c #Conflicts: 33000 | #Constraints: 8143
317.52/318.34 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 34000 | #Constraints: 5342
415.36/416.46 c #Conflicts: 35000 | #Constraints: 6342
415.36/416.46 c #Conflicts: 36000 | #Constraints: 7342
415.36/416.46 c #Conflicts: 37000 | #Constraints: 8342
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 38000 | #Constraints: 5344
415.36/416.46 c #Conflicts: 39000 | #Constraints: 6344
415.36/416.46 c #Conflicts: 40000 | #Constraints: 7344
415.36/416.46 c #Conflicts: 41000 | #Constraints: 8344
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 42000 | #Constraints: 5153
415.36/416.46 c #Conflicts: 43000 | #Constraints: 6153
415.36/416.46 c #Conflicts: 44000 | #Constraints: 7153
415.36/416.46 c #Conflicts: 45000 | #Constraints: 8153
415.36/416.46 c #Conflicts: 46000 | #Constraints: 9153
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 47000 | #Constraints: 5752
415.36/416.46 c #Conflicts: 48000 | #Constraints: 6752
415.36/416.46 c #Conflicts: 49000 | #Constraints: 7752
415.36/416.46 c #Conflicts: 50000 | #Constraints: 8752
415.36/416.46 c #Conflicts: 51000 | #Constraints: 9752
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 52000 | #Constraints: 6157
415.36/416.46 c #Conflicts: 53000 | #Constraints: 7157
415.36/416.46 c #Conflicts: 54000 | #Constraints: 8157
415.36/416.46 c #Conflicts: 55000 | #Constraints: 9157
415.36/416.46 c #Conflicts: 56000 | #Constraints: 10157
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 57000 | #Constraints: 6354
415.36/416.46 c #Conflicts: 58000 | #Constraints: 7354
415.36/416.46 c #Conflicts: 59000 | #Constraints: 8354
415.36/416.46 c #Conflicts: 60000 | #Constraints: 9354
415.36/416.46 c #Conflicts: 61000 | #Constraints: 10354
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 62000 | #Constraints: 6351
415.36/416.46 c #Conflicts: 63000 | #Constraints: 7351
415.36/416.46 c #Conflicts: 64000 | #Constraints: 8351
415.36/416.46 c #Conflicts: 65000 | #Constraints: 9351
415.36/416.46 c #Conflicts: 66000 | #Constraints: 10351
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 67000 | #Constraints: 6146
415.36/416.46 c #Conflicts: 68000 | #Constraints: 7146
415.36/416.46 c #Conflicts: 69000 | #Constraints: 8146
415.36/416.46 c #Conflicts: 70000 | #Constraints: 9146
415.36/416.46 c #Conflicts: 71000 | #Constraints: 10146
415.36/416.46 c #Conflicts: 72000 | #Constraints: 11146
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 73000 | #Constraints: 6749
415.36/416.46 c #Conflicts: 74000 | #Constraints: 7749
415.36/416.46 c #Conflicts: 75000 | #Constraints: 8749
415.36/416.46 c #Conflicts: 76000 | #Constraints: 9749
415.36/416.46 c #Conflicts: 77000 | #Constraints: 10749
415.36/416.46 c #Conflicts: 78000 | #Constraints: 11749
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 79000 | #Constraints: 7152
415.36/416.46 c #Conflicts: 80000 | #Constraints: 8152
415.36/416.46 c #Conflicts: 81000 | #Constraints: 9152
415.36/416.46 c #Conflicts: 82000 | #Constraints: 10152
415.36/416.46 c #Conflicts: 83000 | #Constraints: 11152
415.36/416.46 c #Conflicts: 84000 | #Constraints: 12152
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 85000 | #Constraints: 7349
415.36/416.46 c #Conflicts: 86000 | #Constraints: 8349
415.36/416.46 c #Conflicts: 87000 | #Constraints: 9349
415.36/416.46 c #Conflicts: 88000 | #Constraints: 10349
415.36/416.46 c #Conflicts: 89000 | #Constraints: 11349
415.36/416.46 c #Conflicts: 90000 | #Constraints: 12349
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 91000 | #Constraints: 7350
415.36/416.46 c #Conflicts: 92000 | #Constraints: 8350
415.36/416.46 c #Conflicts: 93000 | #Constraints: 9350
415.36/416.46 c #Conflicts: 94000 | #Constraints: 10350
415.36/416.46 c #Conflicts: 95000 | #Constraints: 11350
415.36/416.46 c #Conflicts: 96000 | #Constraints: 12350
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
415.36/416.46 c #Conflicts: 97000 | #Constraints: 7150
415.36/416.46 c #Conflicts: 98000 | #Constraints: 8150
415.36/416.46 c #Conflicts: 99000 | #Constraints: 9150
415.36/416.46 c #Conflicts: 100000 | #Constraints: 10150
415.36/416.46 c #Conflicts: 101000 | #Constraints: 11150
415.36/416.46 c #Conflicts: 102000 | #Constraints: 12150
415.36/416.46 c #Conflicts: 103000 | #Constraints: 13150
415.36/416.46 c INPROCESSING
415.36/416.46 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 104000 | #Constraints: 7746
553.08/554.56 c #Conflicts: 105000 | #Constraints: 8746
553.08/554.56 c #Conflicts: 106000 | #Constraints: 9746
553.08/554.56 c #Conflicts: 107000 | #Constraints: 10746
553.08/554.56 c #Conflicts: 108000 | #Constraints: 11746
553.08/554.56 c #Conflicts: 109000 | #Constraints: 12746
553.08/554.56 c #Conflicts: 110000 | #Constraints: 13746
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 111000 | #Constraints: 8147
553.08/554.56 c #Conflicts: 112000 | #Constraints: 9147
553.08/554.56 c #Conflicts: 113000 | #Constraints: 10147
553.08/554.56 c #Conflicts: 114000 | #Constraints: 11147
553.08/554.56 c #Conflicts: 115000 | #Constraints: 12147
553.08/554.56 c #Conflicts: 116000 | #Constraints: 13147
553.08/554.56 c #Conflicts: 117000 | #Constraints: 14147
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 118000 | #Constraints: 8351
553.08/554.56 c #Conflicts: 119000 | #Constraints: 9351
553.08/554.56 c #Conflicts: 120000 | #Constraints: 10351
553.08/554.56 c #Conflicts: 121000 | #Constraints: 11351
553.08/554.56 c #Conflicts: 122000 | #Constraints: 12351
553.08/554.56 c #Conflicts: 123000 | #Constraints: 13351
553.08/554.56 c #Conflicts: 124000 | #Constraints: 14351
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 125000 | #Constraints: 8353
553.08/554.56 c #Conflicts: 126000 | #Constraints: 9353
553.08/554.56 c #Conflicts: 127000 | #Constraints: 10353
553.08/554.56 c #Conflicts: 128000 | #Constraints: 11353
553.08/554.56 c #Conflicts: 129000 | #Constraints: 12353
553.08/554.56 c #Conflicts: 130000 | #Constraints: 13353
553.08/554.56 c #Conflicts: 131000 | #Constraints: 14353
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 132000 | #Constraints: 8150
553.08/554.56 c #Conflicts: 133000 | #Constraints: 9150
553.08/554.56 c #Conflicts: 134000 | #Constraints: 10150
553.08/554.56 c #Conflicts: 135000 | #Constraints: 11150
553.08/554.56 c #Conflicts: 136000 | #Constraints: 12150
553.08/554.56 c #Conflicts: 137000 | #Constraints: 13150
553.08/554.56 c #Conflicts: 138000 | #Constraints: 14150
553.08/554.56 c #Conflicts: 139000 | #Constraints: 15150
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 140000 | #Constraints: 8751
553.08/554.56 c #Conflicts: 141000 | #Constraints: 9751
553.08/554.56 c #Conflicts: 142000 | #Constraints: 10751
553.08/554.56 c #Conflicts: 143000 | #Constraints: 11751
553.08/554.56 c #Conflicts: 144000 | #Constraints: 12751
553.08/554.56 c #Conflicts: 145000 | #Constraints: 13751
553.08/554.56 c #Conflicts: 146000 | #Constraints: 14751
553.08/554.56 c #Conflicts: 147000 | #Constraints: 15751
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 148000 | #Constraints: 9155
553.08/554.56 c #Conflicts: 149000 | #Constraints: 10155
553.08/554.56 c #Conflicts: 150000 | #Constraints: 11155
553.08/554.56 c #Conflicts: 151000 | #Constraints: 12155
553.08/554.56 c #Conflicts: 152000 | #Constraints: 13155
553.08/554.56 c #Conflicts: 153000 | #Constraints: 14155
553.08/554.56 c #Conflicts: 154000 | #Constraints: 15155
553.08/554.56 c #Conflicts: 155000 | #Constraints: 16155
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 156000 | #Constraints: 9352
553.08/554.56 c #Conflicts: 157000 | #Constraints: 10352
553.08/554.56 c #Conflicts: 158000 | #Constraints: 11352
553.08/554.56 c #Conflicts: 159000 | #Constraints: 12352
553.08/554.56 c #Conflicts: 160000 | #Constraints: 13352
553.08/554.56 c #Conflicts: 161000 | #Constraints: 14352
553.08/554.56 c #Conflicts: 162000 | #Constraints: 15352
553.08/554.56 c #Conflicts: 163000 | #Constraints: 16352
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 164000 | #Constraints: 9349
553.08/554.56 c #Conflicts: 165000 | #Constraints: 10349
553.08/554.56 c #Conflicts: 166000 | #Constraints: 11349
553.08/554.56 c #Conflicts: 167000 | #Constraints: 12349
553.08/554.56 c #Conflicts: 168000 | #Constraints: 13349
553.08/554.56 c #Conflicts: 169000 | #Constraints: 14349
553.08/554.56 c #Conflicts: 170000 | #Constraints: 15349
553.08/554.56 c #Conflicts: 171000 | #Constraints: 16349
553.08/554.56 c INPROCESSING
553.08/554.56 c GARBAGE COLLECT
553.08/554.56 c #Conflicts: 172000 | #Constraints: 9148
553.08/554.56 c #Conflicts: 173000 | #Constraints: 10148
553.08/554.56 c #Conflicts: 174000 | #Constraints: 11148
553.08/554.56 c #Conflicts: 175000 | #Constraints: 12148
553.08/554.56 c #Conflicts: 176000 | #Constraints: 13148
553.08/554.56 c #Conflicts: 177000 | #Constraints: 14148
711.32/713.25 c #Conflicts: 178000 | #Constraints: 15148
711.32/713.25 c #Conflicts: 179000 | #Constraints: 16148
711.32/713.25 c #Conflicts: 180000 | #Constraints: 17148
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 181000 | #Constraints: 9748
711.32/713.25 c #Conflicts: 182000 | #Constraints: 10748
711.32/713.25 c #Conflicts: 183000 | #Constraints: 11748
711.32/713.25 c #Conflicts: 184000 | #Constraints: 12748
711.32/713.25 c #Conflicts: 185000 | #Constraints: 13748
711.32/713.25 c #Conflicts: 186000 | #Constraints: 14748
711.32/713.25 c #Conflicts: 187000 | #Constraints: 15748
711.32/713.25 c #Conflicts: 188000 | #Constraints: 16748
711.32/713.25 c #Conflicts: 189000 | #Constraints: 17748
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 190000 | #Constraints: 10150
711.32/713.25 c #Conflicts: 191000 | #Constraints: 11150
711.32/713.25 c #Conflicts: 192000 | #Constraints: 12150
711.32/713.25 c #Conflicts: 193000 | #Constraints: 13150
711.32/713.25 c #Conflicts: 194000 | #Constraints: 14150
711.32/713.25 c #Conflicts: 195000 | #Constraints: 15150
711.32/713.25 c #Conflicts: 196000 | #Constraints: 16150
711.32/713.25 c #Conflicts: 197000 | #Constraints: 17150
711.32/713.25 c #Conflicts: 198000 | #Constraints: 18150
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 199000 | #Constraints: 10355
711.32/713.25 c #Conflicts: 200000 | #Constraints: 11355
711.32/713.25 c #Conflicts: 201000 | #Constraints: 12355
711.32/713.25 c #Conflicts: 202000 | #Constraints: 13355
711.32/713.25 c #Conflicts: 203000 | #Constraints: 14355
711.32/713.25 c #Conflicts: 204000 | #Constraints: 15355
711.32/713.25 c #Conflicts: 205000 | #Constraints: 16355
711.32/713.25 c #Conflicts: 206000 | #Constraints: 17355
711.32/713.25 c #Conflicts: 207000 | #Constraints: 18355
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 208000 | #Constraints: 10353
711.32/713.25 c #Conflicts: 209000 | #Constraints: 11353
711.32/713.25 c #Conflicts: 210000 | #Constraints: 12353
711.32/713.25 c #Conflicts: 211000 | #Constraints: 13353
711.32/713.25 c #Conflicts: 212000 | #Constraints: 14353
711.32/713.25 c #Conflicts: 213000 | #Constraints: 15353
711.32/713.25 c #Conflicts: 214000 | #Constraints: 16353
711.32/713.25 c #Conflicts: 215000 | #Constraints: 17353
711.32/713.25 c #Conflicts: 216000 | #Constraints: 18353
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 217000 | #Constraints: 10156
711.32/713.25 c #Conflicts: 218000 | #Constraints: 11156
711.32/713.25 c #Conflicts: 219000 | #Constraints: 12156
711.32/713.25 c #Conflicts: 220000 | #Constraints: 13156
711.32/713.25 c #Conflicts: 221000 | #Constraints: 14156
711.32/713.25 c #Conflicts: 222000 | #Constraints: 15156
711.32/713.25 c #Conflicts: 223000 | #Constraints: 16156
711.32/713.25 c #Conflicts: 224000 | #Constraints: 17156
711.32/713.25 c #Conflicts: 225000 | #Constraints: 18156
711.32/713.25 c #Conflicts: 226000 | #Constraints: 19156
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 227000 | #Constraints: 10755
711.32/713.25 c #Conflicts: 228000 | #Constraints: 11755
711.32/713.25 c #Conflicts: 229000 | #Constraints: 12755
711.32/713.25 c #Conflicts: 230000 | #Constraints: 13755
711.32/713.25 c #Conflicts: 231000 | #Constraints: 14755
711.32/713.25 c #Conflicts: 232000 | #Constraints: 15755
711.32/713.25 c #Conflicts: 233000 | #Constraints: 16755
711.32/713.25 c #Conflicts: 234000 | #Constraints: 17755
711.32/713.25 c #Conflicts: 235000 | #Constraints: 18755
711.32/713.25 c #Conflicts: 236000 | #Constraints: 19755
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 237000 | #Constraints: 11151
711.32/713.25 c #Conflicts: 238000 | #Constraints: 12151
711.32/713.25 c #Conflicts: 239000 | #Constraints: 13151
711.32/713.25 c #Conflicts: 240000 | #Constraints: 14151
711.32/713.25 c #Conflicts: 241000 | #Constraints: 15151
711.32/713.25 c #Conflicts: 242000 | #Constraints: 16151
711.32/713.25 c #Conflicts: 243000 | #Constraints: 17151
711.32/713.25 c #Conflicts: 244000 | #Constraints: 18151
711.32/713.25 c #Conflicts: 245000 | #Constraints: 19151
711.32/713.25 c #Conflicts: 246000 | #Constraints: 20151
711.32/713.25 c INPROCESSING
711.32/713.25 c GARBAGE COLLECT
711.32/713.25 c #Conflicts: 247000 | #Constraints: 11351
711.32/713.25 c #Conflicts: 248000 | #Constraints: 12351
711.32/713.25 c #Conflicts: 249000 | #Constraints: 13351
711.32/713.25 c #Conflicts: 250000 | #Constraints: 14351
895.00/897.41 c #Conflicts: 251000 | #Constraints: 15351
895.00/897.41 c #Conflicts: 252000 | #Constraints: 16351
895.00/897.41 c #Conflicts: 253000 | #Constraints: 17351
895.00/897.41 c #Conflicts: 254000 | #Constraints: 18351
895.00/897.41 c #Conflicts: 255000 | #Constraints: 19351
895.00/897.41 c #Conflicts: 256000 | #Constraints: 20351
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 257000 | #Constraints: 11353
895.00/897.41 c #Conflicts: 258000 | #Constraints: 12353
895.00/897.41 c #Conflicts: 259000 | #Constraints: 13353
895.00/897.41 c #Conflicts: 260000 | #Constraints: 14353
895.00/897.41 c #Conflicts: 261000 | #Constraints: 15353
895.00/897.41 c #Conflicts: 262000 | #Constraints: 16353
895.00/897.41 c #Conflicts: 263000 | #Constraints: 17353
895.00/897.41 c #Conflicts: 264000 | #Constraints: 18353
895.00/897.41 c #Conflicts: 265000 | #Constraints: 19353
895.00/897.41 c #Conflicts: 266000 | #Constraints: 20353
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 267000 | #Constraints: 11156
895.00/897.41 c #Conflicts: 268000 | #Constraints: 12156
895.00/897.41 c #Conflicts: 269000 | #Constraints: 13156
895.00/897.41 c #Conflicts: 270000 | #Constraints: 14156
895.00/897.41 c #Conflicts: 271000 | #Constraints: 15156
895.00/897.41 c #Conflicts: 272000 | #Constraints: 16156
895.00/897.41 c #Conflicts: 273000 | #Constraints: 17156
895.00/897.41 c #Conflicts: 274000 | #Constraints: 18156
895.00/897.41 c #Conflicts: 275000 | #Constraints: 19156
895.00/897.41 c #Conflicts: 276000 | #Constraints: 20156
895.00/897.41 c #Conflicts: 277000 | #Constraints: 21156
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 278000 | #Constraints: 11752
895.00/897.41 c #Conflicts: 279000 | #Constraints: 12752
895.00/897.41 c #Conflicts: 280000 | #Constraints: 13752
895.00/897.41 c #Conflicts: 281000 | #Constraints: 14752
895.00/897.41 c #Conflicts: 282000 | #Constraints: 15752
895.00/897.41 c #Conflicts: 283000 | #Constraints: 16752
895.00/897.41 c #Conflicts: 284000 | #Constraints: 17752
895.00/897.41 c #Conflicts: 285000 | #Constraints: 18752
895.00/897.41 c #Conflicts: 286000 | #Constraints: 19752
895.00/897.41 c #Conflicts: 287000 | #Constraints: 20752
895.00/897.41 c #Conflicts: 288000 | #Constraints: 21752
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 289000 | #Constraints: 12152
895.00/897.41 c #Conflicts: 290000 | #Constraints: 13152
895.00/897.41 c #Conflicts: 291000 | #Constraints: 14152
895.00/897.41 c #Conflicts: 292000 | #Constraints: 15152
895.00/897.41 c #Conflicts: 293000 | #Constraints: 16152
895.00/897.41 c #Conflicts: 294000 | #Constraints: 17152
895.00/897.41 c #Conflicts: 295000 | #Constraints: 18152
895.00/897.41 c #Conflicts: 296000 | #Constraints: 19152
895.00/897.41 c #Conflicts: 297000 | #Constraints: 20152
895.00/897.41 c #Conflicts: 298000 | #Constraints: 21152
895.00/897.41 c #Conflicts: 299000 | #Constraints: 22152
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 300000 | #Constraints: 12351
895.00/897.41 c #Conflicts: 301000 | #Constraints: 13351
895.00/897.41 c #Conflicts: 302000 | #Constraints: 14351
895.00/897.41 c #Conflicts: 303000 | #Constraints: 15351
895.00/897.41 c #Conflicts: 304000 | #Constraints: 16351
895.00/897.41 c #Conflicts: 305000 | #Constraints: 17351
895.00/897.41 c #Conflicts: 306000 | #Constraints: 18351
895.00/897.41 c #Conflicts: 307000 | #Constraints: 19351
895.00/897.41 c #Conflicts: 308000 | #Constraints: 20351
895.00/897.41 c #Conflicts: 309000 | #Constraints: 21351
895.00/897.41 c #Conflicts: 310000 | #Constraints: 22351
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 311000 | #Constraints: 12350
895.00/897.41 c #Conflicts: 312000 | #Constraints: 13350
895.00/897.41 c #Conflicts: 313000 | #Constraints: 14350
895.00/897.41 c #Conflicts: 314000 | #Constraints: 15350
895.00/897.41 c #Conflicts: 315000 | #Constraints: 16350
895.00/897.41 c #Conflicts: 316000 | #Constraints: 17350
895.00/897.41 c #Conflicts: 317000 | #Constraints: 18350
895.00/897.41 c #Conflicts: 318000 | #Constraints: 19350
895.00/897.41 c #Conflicts: 319000 | #Constraints: 20350
895.00/897.41 c #Conflicts: 320000 | #Constraints: 21350
895.00/897.41 c #Conflicts: 321000 | #Constraints: 22350
895.00/897.41 c INPROCESSING
895.00/897.41 c GARBAGE COLLECT
895.00/897.41 c #Conflicts: 322000 | #Constraints: 12155
895.00/897.41 c #Conflicts: 323000 | #Constraints: 13155
895.00/897.41 c #Conflicts: 324000 | #Constraints: 14155
895.00/897.41 c #Conflicts: 325000 | #Constraints: 15155
1113.88/1116.97 c #Conflicts: 326000 | #Constraints: 16155
1113.88/1116.97 c #Conflicts: 327000 | #Constraints: 17155
1113.88/1116.97 c #Conflicts: 328000 | #Constraints: 18155
1113.88/1116.97 c #Conflicts: 329000 | #Constraints: 19155
1113.88/1116.97 c #Conflicts: 330000 | #Constraints: 20155
1113.88/1116.97 c #Conflicts: 331000 | #Constraints: 21155
1113.88/1116.97 c #Conflicts: 332000 | #Constraints: 22155
1113.88/1116.97 c #Conflicts: 333000 | #Constraints: 23155
1113.88/1116.97 c INPROCESSING
1113.88/1116.97 c GARBAGE COLLECT
1113.88/1116.97 c #Conflicts: 334000 | #Constraints: 12753
1113.88/1116.97 c #Conflicts: 335000 | #Constraints: 13753
1113.88/1116.97 c #Conflicts: 336000 | #Constraints: 14753
1113.88/1116.97 c #Conflicts: 337000 | #Constraints: 15753
1113.88/1116.97 c #Conflicts: 338000 | #Constraints: 16753
1113.88/1116.97 c #Conflicts: 339000 | #Constraints: 17753
1113.88/1116.97 c #Conflicts: 340000 | #Constraints: 18753
1113.88/1116.97 c #Conflicts: 341000 | #Constraints: 19753
1113.88/1116.97 c #Conflicts: 342000 | #Constraints: 20753
1113.88/1116.97 c #Conflicts: 343000 | #Constraints: 21753
1113.88/1116.97 c #Conflicts: 344000 | #Constraints: 22753
1113.88/1116.97 c #Conflicts: 345000 | #Constraints: 23753
1113.88/1116.97 c INPROCESSING
1113.88/1116.97 c GARBAGE COLLECT
1113.88/1116.97 c #Conflicts: 346000 | #Constraints: 13152
1113.88/1116.97 c #Conflicts: 347000 | #Constraints: 14152
1113.88/1116.97 c #Conflicts: 348000 | #Constraints: 15152
1113.88/1116.97 c #Conflicts: 349000 | #Constraints: 16152
1113.88/1116.97 c #Conflicts: 350000 | #Constraints: 17152
1113.88/1116.97 c #Conflicts: 351000 | #Constraints: 18152
1113.88/1116.97 c #Conflicts: 352000 | #Constraints: 19152
1113.88/1116.97 c #Conflicts: 353000 | #Constraints: 20152
1113.88/1116.97 c #Conflicts: 354000 | #Constraints: 21152
1113.88/1116.97 c #Conflicts: 355000 | #Constraints: 22152
1113.88/1116.97 c #Conflicts: 356000 | #Constraints: 23152
1113.88/1116.97 c #Conflicts: 357000 | #Constraints: 24152
1113.88/1116.97 c INPROCESSING
1113.88/1116.97 c GARBAGE COLLECT
1113.88/1116.97 c #Conflicts: 358000 | #Constraints: 13347
1113.88/1116.97 c #Conflicts: 359000 | #Constraints: 14347
1113.88/1116.97 c #Conflicts: 360000 | #Constraints: 15347
1113.88/1116.97 c #Conflicts: 361000 | #Constraints: 16347
1113.88/1116.97 c #Conflicts: 362000 | #Constraints: 17347
1113.88/1116.97 c #Conflicts: 363000 | #Constraints: 18347
1113.88/1116.97 c #Conflicts: 364000 | #Constraints: 19347
1113.88/1116.97 c #Conflicts: 365000 | #Constraints: 20347
1113.88/1116.97 c #Conflicts: 366000 | #Constraints: 21347
1113.88/1116.97 c #Conflicts: 367000 | #Constraints: 22347
1113.88/1116.97 c #Conflicts: 368000 | #Constraints: 23347
1113.88/1116.97 c #Conflicts: 369000 | #Constraints: 24347
1113.88/1116.97 c INPROCESSING
1113.88/1116.97 c GARBAGE COLLECT
1113.88/1116.97 c #Conflicts: 370000 | #Constraints: 13350
1113.88/1116.97 c #Conflicts: 371000 | #Constraints: 14350
1113.88/1116.97 c #Conflicts: 372000 | #Constraints: 15350
1113.88/1116.97 c #Conflicts: 373000 | #Constraints: 16350
1113.88/1116.97 c #Conflicts: 374000 | #Constraints: 17350
1113.88/1116.97 c #Conflicts: 375000 | #Constraints: 18350
1113.88/1116.97 c #Conflicts: 376000 | #Constraints: 19350
1113.88/1116.97 c #Conflicts: 377000 | #Constraints: 20350
1113.88/1116.97 c #Conflicts: 378000 | #Constraints: 21350
1113.88/1116.97 c #Conflicts: 379000 | #Constraints: 22350
1113.88/1116.97 c #Conflicts: 380000 | #Constraints: 23350
1113.88/1116.97 c #Conflicts: 381000 | #Constraints: 24350
1113.88/1116.97 c INPROCESSING
1113.88/1116.97 c GARBAGE COLLECT
1113.88/1116.97 c #Conflicts: 382000 | #Constraints: 13149
1113.88/1116.97 c #Conflicts: 383000 | #Constraints: 14149
1113.88/1116.97 c #Conflicts: 384000 | #Constraints: 15149
1113.88/1116.97 c #Conflicts: 385000 | #Constraints: 16149
1113.88/1116.97 c #Conflicts: 386000 | #Constraints: 17149
1113.88/1116.97 c #Conflicts: 387000 | #Constraints: 18149
1113.88/1116.97 c #Conflicts: 388000 | #Constraints: 19149
1113.88/1116.97 c #Conflicts: 389000 | #Constraints: 20149
1113.88/1116.97 c #Conflicts: 390000 | #Constraints: 21149
1113.88/1116.97 c #Conflicts: 391000 | #Constraints: 22149
1113.88/1116.97 c #Conflicts: 392000 | #Constraints: 23149
1113.88/1116.97 c #Conflicts: 393000 | #Constraints: 24149
1113.88/1116.97 c #Conflicts: 394000 | #Constraints: 25149
1113.88/1116.97 c INPROCESSING
1113.88/1116.97 c GARBAGE COLLECT
1113.88/1116.97 c #Conflicts: 395000 | #Constraints: 13749
1113.88/1116.97 c #Conflicts: 396000 | #Constraints: 14749
1113.88/1116.97 c #Conflicts: 397000 | #Constraints: 15749
1113.88/1116.97 c #Conflicts: 398000 | #Constraints: 16749
1113.88/1116.97 c #Conflicts: 399000 | #Constraints: 17749
1421.12/1425.00 c #Conflicts: 400000 | #Constraints: 18749
1421.12/1425.00 c #Conflicts: 401000 | #Constraints: 19749
1421.12/1425.00 c #Conflicts: 402000 | #Constraints: 20749
1421.12/1425.00 c #Conflicts: 403000 | #Constraints: 21749
1421.12/1425.00 c #Conflicts: 404000 | #Constraints: 22749
1421.12/1425.00 c #Conflicts: 405000 | #Constraints: 23749
1421.12/1425.00 c #Conflicts: 406000 | #Constraints: 24749
1421.12/1425.00 c #Conflicts: 407000 | #Constraints: 25749
1421.12/1425.00 c INPROCESSING
1421.12/1425.00 c GARBAGE COLLECT
1421.12/1425.00 c #Conflicts: 408000 | #Constraints: 14148
1421.12/1425.00 c #Conflicts: 409000 | #Constraints: 15148
1421.12/1425.00 c #Conflicts: 410000 | #Constraints: 16148
1421.12/1425.00 c #Conflicts: 411000 | #Constraints: 17148
1421.12/1425.00 c #Conflicts: 412000 | #Constraints: 18148
1421.12/1425.00 c #Conflicts: 413000 | #Constraints: 19148
1421.12/1425.00 c #Conflicts: 414000 | #Constraints: 20148
1421.12/1425.00 c #Conflicts: 415000 | #Constraints: 21148
1421.12/1425.00 c #Conflicts: 416000 | #Constraints: 22148
1421.12/1425.00 c #Conflicts: 417000 | #Constraints: 23148
1421.12/1425.00 c #Conflicts: 418000 | #Constraints: 24148
1421.12/1425.00 c #Conflicts: 419000 | #Constraints: 25148
1421.12/1425.00 c #Conflicts: 420000 | #Constraints: 26148
1421.12/1425.00 c INPROCESSING
1421.12/1425.00 c GARBAGE COLLECT
1421.12/1425.00 c #Conflicts: 421000 | #Constraints: 14351
1421.12/1425.00 c #Conflicts: 422000 | #Constraints: 15351
1421.12/1425.00 c #Conflicts: 423000 | #Constraints: 16351
1421.12/1425.00 c #Conflicts: 424000 | #Constraints: 17351
1421.12/1425.00 c #Conflicts: 425000 | #Constraints: 18351
1421.12/1425.00 c #Conflicts: 426000 | #Constraints: 19351
1421.12/1425.00 c #Conflicts: 427000 | #Constraints: 20351
1421.12/1425.00 c #Conflicts: 428000 | #Constraints: 21351
1421.12/1425.00 c #Conflicts: 429000 | #Constraints: 22351
1421.12/1425.00 c #Conflicts: 430000 | #Constraints: 23351
1421.12/1425.00 c #Conflicts: 431000 | #Constraints: 24351
1421.12/1425.00 c #Conflicts: 432000 | #Constraints: 25351
1421.12/1425.00 c #Conflicts: 433000 | #Constraints: 26351
1421.12/1425.00 c INPROCESSING
1421.12/1425.00 c GARBAGE COLLECT
1421.12/1425.00 c #Conflicts: 434000 | #Constraints: 14348
1421.12/1425.00 c #Conflicts: 435000 | #Constraints: 15348
1421.12/1425.00 c #Conflicts: 436000 | #Constraints: 16348
1421.12/1425.00 c #Conflicts: 437000 | #Constraints: 17348
1421.12/1425.01 c #Conflicts: 438000 | #Constraints: 18348
1421.12/1425.01 c #Conflicts: 439000 | #Constraints: 19348
1421.12/1425.01 c #Conflicts: 440000 | #Constraints: 20348
1421.12/1425.01 c #Conflicts: 441000 | #Constraints: 21348
1421.12/1425.01 c #Conflicts: 442000 | #Constraints: 22348
1421.12/1425.01 c #Conflicts: 443000 | #Constraints: 23348
1421.12/1425.01 c #Conflicts: 444000 | #Constraints: 24348
1421.12/1425.01 c #Conflicts: 445000 | #Constraints: 25348
1421.12/1425.01 c #Conflicts: 446000 | #Constraints: 26348
1421.12/1425.01 c INPROCESSING
1421.12/1425.01 c GARBAGE COLLECT
1421.12/1425.01 c #Conflicts: 447000 | #Constraints: 14154
1421.12/1425.01 c #Conflicts: 448000 | #Constraints: 15154
1421.12/1425.01 c #Conflicts: 449000 | #Constraints: 16154
1421.12/1425.01 c #Conflicts: 450000 | #Constraints: 17154
1421.12/1425.01 c #Conflicts: 451000 | #Constraints: 18154
1421.12/1425.01 c #Conflicts: 452000 | #Constraints: 19154
1421.12/1425.01 c #Conflicts: 453000 | #Constraints: 20154
1421.12/1425.01 c #Conflicts: 454000 | #Constraints: 21154
1421.12/1425.01 c #Conflicts: 455000 | #Constraints: 22154
1421.12/1425.01 c #Conflicts: 456000 | #Constraints: 23154
1421.12/1425.01 c #Conflicts: 457000 | #Constraints: 24154
1421.12/1425.01 c #Conflicts: 458000 | #Constraints: 25154
1421.12/1425.01 c #Conflicts: 459000 | #Constraints: 26154
1421.12/1425.01 c #Conflicts: 460000 | #Constraints: 27154
1421.12/1425.01 c INPROCESSING
1421.12/1425.01 c GARBAGE COLLECT
1421.12/1425.01 c #Conflicts: 461000 | #Constraints: 14754
1421.12/1425.01 c #Conflicts: 462000 | #Constraints: 15754
1421.12/1425.01 c #Conflicts: 463000 | #Constraints: 16754
1421.12/1425.01 c #Conflicts: 464000 | #Constraints: 17754
1421.12/1425.01 c #Conflicts: 465000 | #Constraints: 18754
1421.12/1425.01 c #Conflicts: 466000 | #Constraints: 19754
1421.12/1425.01 c #Conflicts: 467000 | #Constraints: 20754
1421.12/1425.01 c #Conflicts: 468000 | #Constraints: 21754
1421.12/1425.01 c #Conflicts: 469000 | #Constraints: 22754
1421.12/1425.01 c #Conflicts: 470000 | #Constraints: 23754
1421.12/1425.01 c #Conflicts: 471000 | #Constraints: 24754
1421.12/1425.01 c #Conflicts: 472000 | #Constraints: 25754
1421.12/1425.01 c #Conflicts: 473000 | #Constraints: 26754
1421.12/1425.01 c #Conflicts: 474000 | #Constraints: 27754
1421.12/1425.01 c INPROCESSING
1421.12/1425.01 c GARBAGE COLLECT
1727.58/1732.36 c #Conflicts: 475000 | #Constraints: 15152
1727.58/1732.36 c #Conflicts: 476000 | #Constraints: 16152
1727.58/1732.36 c #Conflicts: 477000 | #Constraints: 17152
1727.58/1732.36 c #Conflicts: 478000 | #Constraints: 18152
1727.58/1732.36 c #Conflicts: 479000 | #Constraints: 19152
1727.58/1732.36 c #Conflicts: 480000 | #Constraints: 20152
1727.58/1732.36 c #Conflicts: 481000 | #Constraints: 21152
1727.58/1732.36 c #Conflicts: 482000 | #Constraints: 22152
1727.58/1732.36 c #Conflicts: 483000 | #Constraints: 23152
1727.58/1732.36 c #Conflicts: 484000 | #Constraints: 24152
1727.58/1732.36 c #Conflicts: 485000 | #Constraints: 25152
1727.58/1732.36 c #Conflicts: 486000 | #Constraints: 26152
1727.58/1732.36 c #Conflicts: 487000 | #Constraints: 27152
1727.58/1732.36 c #Conflicts: 488000 | #Constraints: 28152
1727.58/1732.36 c INPROCESSING
1727.58/1732.36 c GARBAGE COLLECT
1727.58/1732.36 c #Conflicts: 489000 | #Constraints: 15353
1727.58/1732.36 c #Conflicts: 490000 | #Constraints: 16353
1727.58/1732.36 c #Conflicts: 491000 | #Constraints: 17353
1727.58/1732.36 c #Conflicts: 492000 | #Constraints: 18353
1727.58/1732.36 c #Conflicts: 493000 | #Constraints: 19353
1727.58/1732.36 c #Conflicts: 494000 | #Constraints: 20353
1727.58/1732.36 c #Conflicts: 495000 | #Constraints: 21353
1727.58/1732.36 c #Conflicts: 496000 | #Constraints: 22353
1727.58/1732.36 c #Conflicts: 497000 | #Constraints: 23353
1727.58/1732.36 c #Conflicts: 498000 | #Constraints: 24353
1727.58/1732.36 c #Conflicts: 499000 | #Constraints: 25353
1727.58/1732.36 c #Conflicts: 500000 | #Constraints: 26353
1727.58/1732.36 c #Conflicts: 501000 | #Constraints: 27353
1727.58/1732.36 c #Conflicts: 502000 | #Constraints: 28353
1727.58/1732.36 c INPROCESSING
1727.58/1732.36 c GARBAGE COLLECT
1727.58/1732.36 c #Conflicts: 503000 | #Constraints: 15353
1727.58/1732.36 c #Conflicts: 504000 | #Constraints: 16353
1727.58/1732.36 c #Conflicts: 505000 | #Constraints: 17353
1727.58/1732.36 c #Conflicts: 506000 | #Constraints: 18353
1727.58/1732.36 c #Conflicts: 507000 | #Constraints: 19353
1727.58/1732.36 c #Conflicts: 508000 | #Constraints: 20353
1727.58/1732.36 c #Conflicts: 509000 | #Constraints: 21353
1727.58/1732.36 c #Conflicts: 510000 | #Constraints: 22353
1727.58/1732.36 c #Conflicts: 511000 | #Constraints: 23353
1727.58/1732.36 c #Conflicts: 512000 | #Constraints: 24353
1727.58/1732.36 c #Conflicts: 513000 | #Constraints: 25353
1727.58/1732.36 c #Conflicts: 514000 | #Constraints: 26353
1727.58/1732.36 c #Conflicts: 515000 | #Constraints: 27353
1727.58/1732.36 c #Conflicts: 516000 | #Constraints: 28353
1727.58/1732.36 c INPROCESSING
1727.58/1732.36 c GARBAGE COLLECT
1727.58/1732.36 c #Conflicts: 517000 | #Constraints: 15148
1727.58/1732.36 c #Conflicts: 518000 | #Constraints: 16148
1727.58/1732.36 c #Conflicts: 519000 | #Constraints: 17148
1727.58/1732.36 c #Conflicts: 520000 | #Constraints: 18148
1727.58/1732.36 c #Conflicts: 521000 | #Constraints: 19148
1727.58/1732.36 c #Conflicts: 522000 | #Constraints: 20148
1727.58/1732.36 c #Conflicts: 523000 | #Constraints: 21148
1727.58/1732.36 c #Conflicts: 524000 | #Constraints: 22148
1727.58/1732.36 c #Conflicts: 525000 | #Constraints: 23148
1727.58/1732.36 c #Conflicts: 526000 | #Constraints: 24148
1727.58/1732.36 c #Conflicts: 527000 | #Constraints: 25148
1727.58/1732.36 c #Conflicts: 528000 | #Constraints: 26148
1727.58/1732.36 c #Conflicts: 529000 | #Constraints: 27148
1727.58/1732.36 c #Conflicts: 530000 | #Constraints: 28148
1727.58/1732.36 c #Conflicts: 531000 | #Constraints: 29148
1727.58/1732.36 c INPROCESSING
1727.58/1732.36 c GARBAGE COLLECT
1727.58/1732.36 c #Conflicts: 532000 | #Constraints: 15752
1727.58/1732.36 c #Conflicts: 533000 | #Constraints: 16752
1727.58/1732.36 c #Conflicts: 534000 | #Constraints: 17752
1727.58/1732.36 c #Conflicts: 535000 | #Constraints: 18752
1727.58/1732.36 c #Conflicts: 536000 | #Constraints: 19752
1727.58/1732.36 c #Conflicts: 537000 | #Constraints: 20752
1727.58/1732.36 c #Conflicts: 538000 | #Constraints: 21752
1727.58/1732.36 c #Conflicts: 539000 | #Constraints: 22752
1727.58/1732.36 c #Conflicts: 540000 | #Constraints: 23752
1727.58/1732.36 c #Conflicts: 541000 | #Constraints: 24752
1727.58/1732.36 c #Conflicts: 542000 | #Constraints: 25752
1727.58/1732.36 c #Conflicts: 543000 | #Constraints: 26752
1727.58/1732.36 c #Conflicts: 544000 | #Constraints: 27752
1727.58/1732.36 c #Conflicts: 545000 | #Constraints: 28752
1727.58/1732.36 c #Conflicts: 546000 | #Constraints: 29752
1727.58/1732.36 c INPROCESSING
1727.58/1732.36 c GARBAGE COLLECT
1727.58/1732.36 c #Conflicts: 547000 | #Constraints: 16152
1727.58/1732.36 c #Conflicts: 548000 | #Constraints: 17152
1727.58/1732.36 c #Conflicts: 549000 | #Constraints: 18152
1727.58/1732.36 c #Conflicts: 550000 | #Constraints: 19152
2016.05/2021.56 c #Conflicts: 551000 | #Constraints: 20152
2016.05/2021.56 c #Conflicts: 552000 | #Constraints: 21152
2016.05/2021.56 c #Conflicts: 553000 | #Constraints: 22152
2016.05/2021.56 c #Conflicts: 554000 | #Constraints: 23152
2016.05/2021.56 c #Conflicts: 555000 | #Constraints: 24152
2016.05/2021.56 c #Conflicts: 556000 | #Constraints: 25152
2016.05/2021.56 c #Conflicts: 557000 | #Constraints: 26152
2016.05/2021.56 c #Conflicts: 558000 | #Constraints: 27152
2016.05/2021.56 c #Conflicts: 559000 | #Constraints: 28152
2016.05/2021.56 c #Conflicts: 560000 | #Constraints: 29152
2016.05/2021.56 c #Conflicts: 561000 | #Constraints: 30152
2016.05/2021.56 c INPROCESSING
2016.05/2021.56 c GARBAGE COLLECT
2016.05/2021.56 c #Conflicts: 562000 | #Constraints: 16351
2016.05/2021.56 c #Conflicts: 563000 | #Constraints: 17351
2016.05/2021.56 c #Conflicts: 564000 | #Constraints: 18351
2016.05/2021.56 c #Conflicts: 565000 | #Constraints: 19351
2016.05/2021.56 c #Conflicts: 566000 | #Constraints: 20351
2016.05/2021.56 c #Conflicts: 567000 | #Constraints: 21351
2016.05/2021.56 c #Conflicts: 568000 | #Constraints: 22351
2016.05/2021.56 c #Conflicts: 569000 | #Constraints: 23351
2016.05/2021.56 c #Conflicts: 570000 | #Constraints: 24351
2016.05/2021.56 c #Conflicts: 571000 | #Constraints: 25351
2016.05/2021.56 c #Conflicts: 572000 | #Constraints: 26351
2016.05/2021.56 c #Conflicts: 573000 | #Constraints: 27351
2016.05/2021.56 c #Conflicts: 574000 | #Constraints: 28351
2016.05/2021.56 c #Conflicts: 575000 | #Constraints: 29351
2016.05/2021.56 c #Conflicts: 576000 | #Constraints: 30351
2016.05/2021.56 c INPROCESSING
2016.05/2021.56 c GARBAGE COLLECT
2016.05/2021.56 c #Conflicts: 577000 | #Constraints: 16347
2016.05/2021.56 c #Conflicts: 578000 | #Constraints: 17347
2016.05/2021.56 c #Conflicts: 579000 | #Constraints: 18347
2016.05/2021.56 c #Conflicts: 580000 | #Constraints: 19347
2016.05/2021.56 c #Conflicts: 581000 | #Constraints: 20347
2016.05/2021.56 c #Conflicts: 582000 | #Constraints: 21347
2016.05/2021.56 c #Conflicts: 583000 | #Constraints: 22347
2016.05/2021.56 c #Conflicts: 584000 | #Constraints: 23347
2016.05/2021.56 c #Conflicts: 585000 | #Constraints: 24347
2016.05/2021.56 c #Conflicts: 586000 | #Constraints: 25347
2016.05/2021.56 c #Conflicts: 587000 | #Constraints: 26347
2016.05/2021.56 c #Conflicts: 588000 | #Constraints: 27347
2016.05/2021.56 c #Conflicts: 589000 | #Constraints: 28347
2016.05/2021.56 c #Conflicts: 590000 | #Constraints: 29347
2016.05/2021.56 c #Conflicts: 591000 | #Constraints: 30347
2016.05/2021.56 c INPROCESSING
2016.05/2021.56 c GARBAGE COLLECT
2016.05/2021.56 c #Conflicts: 592000 | #Constraints: 16149
2016.05/2021.56 c #Conflicts: 593000 | #Constraints: 17149
2016.05/2021.56 c #Conflicts: 594000 | #Constraints: 18149
2016.05/2021.56 c #Conflicts: 595000 | #Constraints: 19149
2016.05/2021.56 c #Conflicts: 596000 | #Constraints: 20149
2016.05/2021.56 c #Conflicts: 597000 | #Constraints: 21149
2016.05/2021.56 c #Conflicts: 598000 | #Constraints: 22149
2016.05/2021.56 c #Conflicts: 599000 | #Constraints: 23149
2016.05/2021.56 c #Conflicts: 600000 | #Constraints: 24149
2016.05/2021.56 c #Conflicts: 601000 | #Constraints: 25149
2016.05/2021.56 c #Conflicts: 602000 | #Constraints: 26149
2016.05/2021.56 c #Conflicts: 603000 | #Constraints: 27149
2016.05/2021.56 c #Conflicts: 604000 | #Constraints: 28149
2016.05/2021.56 c #Conflicts: 605000 | #Constraints: 29149
2016.05/2021.56 c #Conflicts: 606000 | #Constraints: 30149
2016.05/2021.56 c #Conflicts: 607000 | #Constraints: 31149
2016.05/2021.56 c INPROCESSING
2016.05/2021.56 c GARBAGE COLLECT
2016.05/2021.56 c #Conflicts: 608000 | #Constraints: 16754
2016.05/2021.56 c #Conflicts: 609000 | #Constraints: 17754
2016.05/2021.56 c #Conflicts: 610000 | #Constraints: 18754
2016.05/2021.56 c #Conflicts: 611000 | #Constraints: 19754
2016.05/2021.56 c #Conflicts: 612000 | #Constraints: 20754
2016.05/2021.56 c #Conflicts: 613000 | #Constraints: 21754
2016.05/2021.56 c #Conflicts: 614000 | #Constraints: 22754
2016.05/2021.56 c #Conflicts: 615000 | #Constraints: 23754
2016.05/2021.56 c #Conflicts: 616000 | #Constraints: 24754
2016.05/2021.56 c #Conflicts: 617000 | #Constraints: 25754
2016.05/2021.56 c #Conflicts: 618000 | #Constraints: 26754
2016.05/2021.56 c #Conflicts: 619000 | #Constraints: 27754
2016.05/2021.56 c #Conflicts: 620000 | #Constraints: 28754
2016.05/2021.56 c #Conflicts: 621000 | #Constraints: 29754
2016.05/2021.56 c #Conflicts: 622000 | #Constraints: 30754
2016.05/2021.56 c #Conflicts: 623000 | #Constraints: 31754
2016.05/2021.56 c INPROCESSING
2016.05/2021.56 c GARBAGE COLLECT
2016.05/2021.56 c #Conflicts: 624000 | #Constraints: 17151
2016.05/2021.56 c #Conflicts: 625000 | #Constraints: 18151
2016.05/2021.56 c #Conflicts: 626000 | #Constraints: 19151
2343.54/2349.83 c #Conflicts: 627000 | #Constraints: 20151
2343.54/2349.83 c #Conflicts: 628000 | #Constraints: 21151
2343.54/2349.83 c #Conflicts: 629000 | #Constraints: 22151
2343.54/2349.83 c #Conflicts: 630000 | #Constraints: 23151
2343.54/2349.83 c #Conflicts: 631000 | #Constraints: 24151
2343.54/2349.83 c #Conflicts: 632000 | #Constraints: 25151
2343.54/2349.83 c #Conflicts: 633000 | #Constraints: 26151
2343.54/2349.83 c #Conflicts: 634000 | #Constraints: 27151
2343.54/2349.83 c #Conflicts: 635000 | #Constraints: 28151
2343.54/2349.83 c #Conflicts: 636000 | #Constraints: 29151
2343.54/2349.83 c #Conflicts: 637000 | #Constraints: 30151
2343.54/2349.83 c #Conflicts: 638000 | #Constraints: 31151
2343.54/2349.83 c #Conflicts: 639000 | #Constraints: 32151
2343.54/2349.83 c INPROCESSING
2343.54/2349.83 c GARBAGE COLLECT
2343.54/2349.83 c #Conflicts: 640000 | #Constraints: 17350
2343.54/2349.83 c #Conflicts: 641000 | #Constraints: 18350
2343.54/2349.83 c #Conflicts: 642000 | #Constraints: 19350
2343.54/2349.83 c #Conflicts: 643000 | #Constraints: 20350
2343.54/2349.83 c #Conflicts: 644000 | #Constraints: 21350
2343.54/2349.83 c #Conflicts: 645000 | #Constraints: 22350
2343.54/2349.83 c #Conflicts: 646000 | #Constraints: 23350
2343.54/2349.83 c #Conflicts: 647000 | #Constraints: 24350
2343.54/2349.83 c #Conflicts: 648000 | #Constraints: 25350
2343.54/2349.83 c #Conflicts: 649000 | #Constraints: 26350
2343.54/2349.83 c #Conflicts: 650000 | #Constraints: 27350
2343.54/2349.83 c #Conflicts: 651000 | #Constraints: 28350
2343.54/2349.83 c #Conflicts: 652000 | #Constraints: 29350
2343.54/2349.83 c #Conflicts: 653000 | #Constraints: 30350
2343.54/2349.83 c #Conflicts: 654000 | #Constraints: 31350
2343.54/2349.83 c #Conflicts: 655000 | #Constraints: 32350
2343.54/2349.83 c INPROCESSING
2343.54/2349.83 c GARBAGE COLLECT
2343.54/2349.83 c #Conflicts: 656000 | #Constraints: 17349
2343.54/2349.83 c #Conflicts: 657000 | #Constraints: 18349
2343.54/2349.83 c #Conflicts: 658000 | #Constraints: 19349
2343.54/2349.83 c #Conflicts: 659000 | #Constraints: 20349
2343.54/2349.83 c #Conflicts: 660000 | #Constraints: 21349
2343.54/2349.83 c #Conflicts: 661000 | #Constraints: 22349
2343.54/2349.83 c #Conflicts: 662000 | #Constraints: 23349
2343.54/2349.83 c #Conflicts: 663000 | #Constraints: 24349
2343.54/2349.83 c #Conflicts: 664000 | #Constraints: 25349
2343.54/2349.83 c #Conflicts: 665000 | #Constraints: 26349
2343.54/2349.83 c #Conflicts: 666000 | #Constraints: 27349
2343.54/2349.83 c #Conflicts: 667000 | #Constraints: 28349
2343.54/2349.83 c #Conflicts: 668000 | #Constraints: 29349
2343.54/2349.83 c #Conflicts: 669000 | #Constraints: 30349
2343.54/2349.83 c #Conflicts: 670000 | #Constraints: 31349
2343.54/2349.83 c #Conflicts: 671000 | #Constraints: 32349
2343.54/2349.83 c INPROCESSING
2343.54/2349.83 c GARBAGE COLLECT
2343.54/2349.83 c #Conflicts: 672000 | #Constraints: 17148
2343.54/2349.83 c #Conflicts: 673000 | #Constraints: 18148
2343.54/2349.83 c #Conflicts: 674000 | #Constraints: 19148
2343.54/2349.83 c #Conflicts: 675000 | #Constraints: 20148
2343.54/2349.83 c #Conflicts: 676000 | #Constraints: 21148
2343.54/2349.83 c #Conflicts: 677000 | #Constraints: 22148
2343.54/2349.83 c #Conflicts: 678000 | #Constraints: 23148
2343.54/2349.83 c #Conflicts: 679000 | #Constraints: 24148
2343.54/2349.83 c #Conflicts: 680000 | #Constraints: 25148
2343.54/2349.83 c #Conflicts: 681000 | #Constraints: 26148
2343.54/2349.83 c #Conflicts: 682000 | #Constraints: 27148
2343.54/2349.83 c #Conflicts: 683000 | #Constraints: 28148
2343.54/2349.83 c #Conflicts: 684000 | #Constraints: 29148
2343.54/2349.83 c #Conflicts: 685000 | #Constraints: 30148
2343.54/2349.83 c #Conflicts: 686000 | #Constraints: 31148
2343.54/2349.83 c #Conflicts: 687000 | #Constraints: 32148
2343.54/2349.83 c #Conflicts: 688000 | #Constraints: 33148
2343.54/2349.83 c INPROCESSING
2343.54/2349.83 c GARBAGE COLLECT
2343.54/2349.83 c #Conflicts: 689000 | #Constraints: 17744
2343.54/2349.83 c #Conflicts: 690000 | #Constraints: 18744
2343.54/2349.83 c #Conflicts: 691000 | #Constraints: 19744
2343.54/2349.83 c #Conflicts: 692000 | #Constraints: 20744
2343.54/2349.83 c #Conflicts: 693000 | #Constraints: 21744
2343.54/2349.83 c #Conflicts: 694000 | #Constraints: 22744
2343.54/2349.83 c #Conflicts: 695000 | #Constraints: 23744
2343.54/2349.83 c #Conflicts: 696000 | #Constraints: 24744
2343.54/2349.83 c #Conflicts: 697000 | #Constraints: 25744
2343.54/2349.83 c #Conflicts: 698000 | #Constraints: 26744
2343.54/2349.83 c #Conflicts: 699000 | #Constraints: 27744
2343.54/2349.83 c #Conflicts: 700000 | #Constraints: 28744
2343.54/2349.83 c #Conflicts: 701000 | #Constraints: 29744
2343.54/2349.83 c #Conflicts: 702000 | #Constraints: 30744
2751.90/2759.35 c #Conflicts: 703000 | #Constraints: 31744
2751.90/2759.35 c #Conflicts: 704000 | #Constraints: 32744
2751.90/2759.35 c #Conflicts: 705000 | #Constraints: 33744
2751.90/2759.35 c INPROCESSING
2751.90/2759.35 c GARBAGE COLLECT
2751.90/2759.35 c #Conflicts: 706000 | #Constraints: 18148
2751.90/2759.35 c #Conflicts: 707000 | #Constraints: 19148
2751.90/2759.35 c #Conflicts: 708000 | #Constraints: 20148
2751.90/2759.35 c #Conflicts: 709000 | #Constraints: 21148
2751.90/2759.35 c #Conflicts: 710000 | #Constraints: 22148
2751.90/2759.35 c #Conflicts: 711000 | #Constraints: 23148
2751.90/2759.35 c #Conflicts: 712000 | #Constraints: 24148
2751.90/2759.35 c #Conflicts: 713000 | #Constraints: 25148
2751.90/2759.35 c #Conflicts: 714000 | #Constraints: 26148
2751.90/2759.35 c #Conflicts: 715000 | #Constraints: 27148
2751.90/2759.35 c #Conflicts: 716000 | #Constraints: 28148
2751.90/2759.35 c #Conflicts: 717000 | #Constraints: 29148
2751.90/2759.35 c #Conflicts: 718000 | #Constraints: 30148
2751.90/2759.35 c #Conflicts: 719000 | #Constraints: 31148
2751.90/2759.35 c #Conflicts: 720000 | #Constraints: 32148
2751.90/2759.35 c #Conflicts: 721000 | #Constraints: 33148
2751.90/2759.35 c #Conflicts: 722000 | #Constraints: 34148
2751.90/2759.35 c INPROCESSING
2751.90/2759.35 c GARBAGE COLLECT
2751.90/2759.35 c #Conflicts: 723000 | #Constraints: 18351
2751.90/2759.35 c #Conflicts: 724000 | #Constraints: 19351
2751.90/2759.35 c #Conflicts: 725000 | #Constraints: 20351
2751.90/2759.35 c #Conflicts: 726000 | #Constraints: 21351
2751.90/2759.35 c #Conflicts: 727000 | #Constraints: 22351
2751.90/2759.35 c #Conflicts: 728000 | #Constraints: 23351
2751.90/2759.35 c #Conflicts: 729000 | #Constraints: 24351
2751.90/2759.35 c #Conflicts: 730000 | #Constraints: 25351
2751.90/2759.35 c #Conflicts: 731000 | #Constraints: 26351
2751.90/2759.35 c #Conflicts: 732000 | #Constraints: 27351
2751.90/2759.35 c #Conflicts: 733000 | #Constraints: 28351
2751.90/2759.35 c #Conflicts: 734000 | #Constraints: 29351
2751.90/2759.35 c #Conflicts: 735000 | #Constraints: 30351
2751.90/2759.35 c #Conflicts: 736000 | #Constraints: 31351
2751.90/2759.35 c #Conflicts: 737000 | #Constraints: 32351
2751.90/2759.35 c #Conflicts: 738000 | #Constraints: 33351
2751.90/2759.35 c #Conflicts: 739000 | #Constraints: 34351
2751.90/2759.35 c INPROCESSING
2751.90/2759.35 c GARBAGE COLLECT
2751.90/2759.35 c #Conflicts: 740000 | #Constraints: 18355
2751.90/2759.35 c #Conflicts: 741000 | #Constraints: 19355
2751.90/2759.35 c #Conflicts: 742000 | #Constraints: 20355
2751.90/2759.35 c #Conflicts: 743000 | #Constraints: 21355
2751.90/2759.35 c #Conflicts: 744000 | #Constraints: 22355
2751.90/2759.35 c #Conflicts: 745000 | #Constraints: 23355
2751.90/2759.35 c #Conflicts: 746000 | #Constraints: 24355
2751.90/2759.35 c #Conflicts: 747000 | #Constraints: 25355
2751.90/2759.35 c #Conflicts: 748000 | #Constraints: 26355
2751.90/2759.35 c #Conflicts: 749000 | #Constraints: 27355
2751.90/2759.35 c #Conflicts: 750000 | #Constraints: 28355
2751.90/2759.35 c #Conflicts: 751000 | #Constraints: 29355
2751.90/2759.35 c #Conflicts: 752000 | #Constraints: 30355
2751.90/2759.35 c #Conflicts: 753000 | #Constraints: 31355
2751.90/2759.35 c #Conflicts: 754000 | #Constraints: 32355
2751.90/2759.35 c #Conflicts: 755000 | #Constraints: 33355
2751.90/2759.35 c #Conflicts: 756000 | #Constraints: 34355
2751.90/2759.35 c INPROCESSING
2751.90/2759.35 c GARBAGE COLLECT
2751.90/2759.35 c #Conflicts: 757000 | #Constraints: 18154
2751.90/2759.35 c #Conflicts: 758000 | #Constraints: 19154
2751.90/2759.35 c #Conflicts: 759000 | #Constraints: 20154
2751.90/2759.35 c #Conflicts: 760000 | #Constraints: 21154
2751.90/2759.35 c #Conflicts: 761000 | #Constraints: 22154
2751.90/2759.35 c #Conflicts: 762000 | #Constraints: 23154
2751.90/2759.35 c #Conflicts: 763000 | #Constraints: 24154
2751.90/2759.35 c #Conflicts: 764000 | #Constraints: 25154
2751.90/2759.35 c #Conflicts: 765000 | #Constraints: 26154
2751.90/2759.35 c #Conflicts: 766000 | #Constraints: 27154
2751.90/2759.35 c #Conflicts: 767000 | #Constraints: 28154
2751.90/2759.35 c #Conflicts: 768000 | #Constraints: 29154
2751.90/2759.35 c #Conflicts: 769000 | #Constraints: 30154
2751.90/2759.35 c #Conflicts: 770000 | #Constraints: 31154
2751.90/2759.35 c #Conflicts: 771000 | #Constraints: 32154
2751.90/2759.35 c #Conflicts: 772000 | #Constraints: 33154
2751.90/2759.35 c #Conflicts: 773000 | #Constraints: 34154
2751.90/2759.35 c #Conflicts: 774000 | #Constraints: 35154
2751.90/2759.35 c INPROCESSING
2751.90/2759.35 c GARBAGE COLLECT
2751.90/2759.35 c #Conflicts: 775000 | #Constraints: 18754
2751.90/2759.35 c #Conflicts: 776000 | #Constraints: 19754
2751.90/2759.35 c #Conflicts: 777000 | #Constraints: 20754
3123.43/3131.84 c #Conflicts: 778000 | #Constraints: 21754
3123.43/3131.84 c #Conflicts: 779000 | #Constraints: 22754
3123.43/3131.84 c #Conflicts: 780000 | #Constraints: 23754
3123.43/3131.84 c #Conflicts: 781000 | #Constraints: 24754
3123.43/3131.84 c #Conflicts: 782000 | #Constraints: 25754
3123.43/3131.84 c #Conflicts: 783000 | #Constraints: 26754
3123.43/3131.84 c #Conflicts: 784000 | #Constraints: 27754
3123.43/3131.84 c #Conflicts: 785000 | #Constraints: 28754
3123.43/3131.84 c #Conflicts: 786000 | #Constraints: 29754
3123.43/3131.84 c #Conflicts: 787000 | #Constraints: 30754
3123.43/3131.84 c #Conflicts: 788000 | #Constraints: 31754
3123.43/3131.84 c #Conflicts: 789000 | #Constraints: 32754
3123.43/3131.84 c #Conflicts: 790000 | #Constraints: 33754
3123.43/3131.84 c #Conflicts: 791000 | #Constraints: 34754
3123.43/3131.84 c #Conflicts: 792000 | #Constraints: 35754
3123.43/3131.84 c INPROCESSING
3123.43/3131.84 c GARBAGE COLLECT
3123.43/3131.84 c #Conflicts: 793000 | #Constraints: 19147
3123.43/3131.84 c #Conflicts: 794000 | #Constraints: 20147
3123.43/3131.84 c #Conflicts: 795000 | #Constraints: 21147
3123.43/3131.84 c #Conflicts: 796000 | #Constraints: 22147
3123.43/3131.84 c #Conflicts: 797000 | #Constraints: 23147
3123.43/3131.84 c #Conflicts: 798000 | #Constraints: 24147
3123.43/3131.84 c #Conflicts: 799000 | #Constraints: 25147
3123.43/3131.84 c #Conflicts: 800000 | #Constraints: 26147
3123.43/3131.84 c #Conflicts: 801000 | #Constraints: 27147
3123.43/3131.84 c #Conflicts: 802000 | #Constraints: 28147
3123.43/3131.84 c #Conflicts: 803000 | #Constraints: 29147
3123.43/3131.84 c #Conflicts: 804000 | #Constraints: 30147
3123.43/3131.84 c #Conflicts: 805000 | #Constraints: 31147
3123.43/3131.84 c #Conflicts: 806000 | #Constraints: 32147
3123.43/3131.84 c #Conflicts: 807000 | #Constraints: 33147
3123.43/3131.84 c #Conflicts: 808000 | #Constraints: 34147
3123.43/3131.84 c #Conflicts: 809000 | #Constraints: 35147
3123.43/3131.84 c #Conflicts: 810000 | #Constraints: 36147
3123.43/3131.84 c INPROCESSING
3123.43/3131.84 c GARBAGE COLLECT
3123.43/3131.84 c #Conflicts: 811000 | #Constraints: 19348
3123.43/3131.84 c #Conflicts: 812000 | #Constraints: 20348
3123.43/3131.84 c #Conflicts: 813000 | #Constraints: 21348
3123.43/3131.84 c #Conflicts: 814000 | #Constraints: 22348
3123.43/3131.84 c #Conflicts: 815000 | #Constraints: 23348
3123.43/3131.84 c #Conflicts: 816000 | #Constraints: 24348
3123.43/3131.84 c #Conflicts: 817000 | #Constraints: 25348
3123.43/3131.84 c #Conflicts: 818000 | #Constraints: 26348
3123.43/3131.84 c #Conflicts: 819000 | #Constraints: 27348
3123.43/3131.84 c #Conflicts: 820000 | #Constraints: 28348
3123.43/3131.84 c #Conflicts: 821000 | #Constraints: 29348
3123.43/3131.84 c #Conflicts: 822000 | #Constraints: 30348
3123.43/3131.84 c #Conflicts: 823000 | #Constraints: 31348
3123.43/3131.84 c #Conflicts: 824000 | #Constraints: 32348
3123.43/3131.84 c #Conflicts: 825000 | #Constraints: 33348
3123.43/3131.84 c #Conflicts: 826000 | #Constraints: 34348
3123.43/3131.84 c #Conflicts: 827000 | #Constraints: 35348
3123.43/3131.84 c #Conflicts: 828000 | #Constraints: 36348
3123.43/3131.84 c INPROCESSING
3123.43/3131.84 c GARBAGE COLLECT
3123.43/3131.84 c #Conflicts: 829000 | #Constraints: 19352
3123.43/3131.84 c #Conflicts: 830000 | #Constraints: 20352
3123.43/3131.84 c #Conflicts: 831000 | #Constraints: 21352
3123.43/3131.84 c #Conflicts: 832000 | #Constraints: 22352
3123.43/3131.84 c #Conflicts: 833000 | #Constraints: 23352
3123.43/3131.84 c #Conflicts: 834000 | #Constraints: 24352
3123.43/3131.84 c #Conflicts: 835000 | #Constraints: 25352
3123.43/3131.84 c #Conflicts: 836000 | #Constraints: 26352
3123.43/3131.84 c #Conflicts: 837000 | #Constraints: 27352
3123.43/3131.84 c #Conflicts: 838000 | #Constraints: 28352
3123.43/3131.84 c #Conflicts: 839000 | #Constraints: 29352
3123.43/3131.84 c #Conflicts: 840000 | #Constraints: 30352
3123.43/3131.84 c #Conflicts: 841000 | #Constraints: 31352
3123.43/3131.84 c #Conflicts: 842000 | #Constraints: 32352
3123.43/3131.84 c #Conflicts: 843000 | #Constraints: 33352
3123.43/3131.84 c #Conflicts: 844000 | #Constraints: 34352
3123.43/3131.84 c #Conflicts: 845000 | #Constraints: 35352
3123.43/3131.84 c #Conflicts: 846000 | #Constraints: 36352
3123.43/3131.84 c INPROCESSING
3123.43/3131.84 c GARBAGE COLLECT
3123.43/3131.84 c #Conflicts: 847000 | #Constraints: 19149
3123.43/3131.84 c #Conflicts: 848000 | #Constraints: 20149
3123.43/3131.84 c #Conflicts: 849000 | #Constraints: 21149
3123.43/3131.84 c #Conflicts: 850000 | #Constraints: 22149
3123.43/3131.84 c #Conflicts: 851000 | #Constraints: 23149
3123.43/3131.84 c #Conflicts: 852000 | #Constraints: 24149
3123.43/3131.84 c #Conflicts: 853000 | #Constraints: 25149
3123.43/3131.84 c #Conflicts: 854000 | #Constraints: 26149
3562.56/3572.20 c #Conflicts: 855000 | #Constraints: 27149
3562.56/3572.20 c #Conflicts: 856000 | #Constraints: 28149
3562.56/3572.20 c #Conflicts: 857000 | #Constraints: 29149
3562.56/3572.20 c #Conflicts: 858000 | #Constraints: 30149
3562.56/3572.20 c #Conflicts: 859000 | #Constraints: 31149
3562.56/3572.20 c #Conflicts: 860000 | #Constraints: 32149
3562.56/3572.20 c #Conflicts: 861000 | #Constraints: 33149
3562.56/3572.20 c #Conflicts: 862000 | #Constraints: 34149
3562.56/3572.20 c #Conflicts: 863000 | #Constraints: 35149
3562.56/3572.20 c #Conflicts: 864000 | #Constraints: 36149
3562.56/3572.20 c #Conflicts: 865000 | #Constraints: 37149
3562.56/3572.20 c INPROCESSING
3562.56/3572.20 c GARBAGE COLLECT
3562.56/3572.20 c #Conflicts: 866000 | #Constraints: 19752
3562.56/3572.20 c #Conflicts: 867000 | #Constraints: 20752
3562.56/3572.20 c #Conflicts: 868000 | #Constraints: 21752
3562.56/3572.20 c #Conflicts: 869000 | #Constraints: 22752
3562.56/3572.20 c #Conflicts: 870000 | #Constraints: 23752
3562.56/3572.20 c #Conflicts: 871000 | #Constraints: 24752
3562.56/3572.20 c #Conflicts: 872000 | #Constraints: 25752
3562.56/3572.20 c #Conflicts: 873000 | #Constraints: 26752
3562.56/3572.20 c #Conflicts: 874000 | #Constraints: 27752
3562.56/3572.20 c #Conflicts: 875000 | #Constraints: 28752
3562.56/3572.20 c #Conflicts: 876000 | #Constraints: 29752
3562.56/3572.20 c #Conflicts: 877000 | #Constraints: 30752
3562.56/3572.20 c #Conflicts: 878000 | #Constraints: 31752
3562.56/3572.20 c #Conflicts: 879000 | #Constraints: 32752
3562.56/3572.20 c #Conflicts: 880000 | #Constraints: 33752
3562.56/3572.20 c #Conflicts: 881000 | #Constraints: 34752
3562.56/3572.20 c #Conflicts: 882000 | #Constraints: 35752
3562.56/3572.20 c #Conflicts: 883000 | #Constraints: 36752
3562.56/3572.20 c #Conflicts: 884000 | #Constraints: 37752
3562.56/3572.20 c INPROCESSING
3562.56/3572.20 c GARBAGE COLLECT
3562.56/3572.20 c #Conflicts: 885000 | #Constraints: 20152
3562.56/3572.20 c #Conflicts: 886000 | #Constraints: 21152
3562.56/3572.20 c #Conflicts: 887000 | #Constraints: 22152
3562.56/3572.20 c #Conflicts: 888000 | #Constraints: 23152
3562.56/3572.20 c #Conflicts: 889000 | #Constraints: 24152
3562.56/3572.20 c #Conflicts: 890000 | #Constraints: 25152
3562.56/3572.20 c #Conflicts: 891000 | #Constraints: 26152
3562.56/3572.20 c #Conflicts: 892000 | #Constraints: 27152
3562.56/3572.20 c #Conflicts: 893000 | #Constraints: 28152
3562.56/3572.20 c #Conflicts: 894000 | #Constraints: 29152
3562.56/3572.20 c #Conflicts: 895000 | #Constraints: 30152
3562.56/3572.20 c #Conflicts: 896000 | #Constraints: 31152
3562.56/3572.20 c #Conflicts: 897000 | #Constraints: 32152
3562.56/3572.20 c #Conflicts: 898000 | #Constraints: 33152
3562.56/3572.20 c #Conflicts: 899000 | #Constraints: 34152
3562.56/3572.20 c #Conflicts: 900000 | #Constraints: 35152
3562.56/3572.20 c #Conflicts: 901000 | #Constraints: 36152
3562.56/3572.20 c #Conflicts: 902000 | #Constraints: 37152
3562.56/3572.20 c #Conflicts: 903000 | #Constraints: 38152
3562.56/3572.20 c INPROCESSING
3562.56/3572.20 c GARBAGE COLLECT
3562.56/3572.20 c #Conflicts: 904000 | #Constraints: 20352
3562.56/3572.20 c #Conflicts: 905000 | #Constraints: 21352
3562.56/3572.20 c #Conflicts: 906000 | #Constraints: 22352
3562.56/3572.20 c #Conflicts: 907000 | #Constraints: 23352
3562.56/3572.20 c #Conflicts: 908000 | #Constraints: 24352
3562.56/3572.20 c #Conflicts: 909000 | #Constraints: 25352
3562.56/3572.20 c #Conflicts: 910000 | #Constraints: 26352
3562.56/3572.20 c #Conflicts: 911000 | #Constraints: 27352
3562.56/3572.20 c #Conflicts: 912000 | #Constraints: 28352
3562.56/3572.20 c #Conflicts: 913000 | #Constraints: 29352
3562.56/3572.20 c #Conflicts: 914000 | #Constraints: 30352
3562.56/3572.20 c #Conflicts: 915000 | #Constraints: 31352
3562.56/3572.20 c #Conflicts: 916000 | #Constraints: 32352
3562.56/3572.20 c #Conflicts: 917000 | #Constraints: 33352
3562.56/3572.20 c #Conflicts: 918000 | #Constraints: 34352
3562.56/3572.20 c #Conflicts: 919000 | #Constraints: 35352
3562.56/3572.20 c #Conflicts: 920000 | #Constraints: 36352
3562.56/3572.20 c #Conflicts: 921000 | #Constraints: 37352
3562.56/3572.20 c #Conflicts: 922000 | #Constraints: 38352
3562.56/3572.20 c INPROCESSING
3562.56/3572.20 c GARBAGE COLLECT
3562.56/3572.20 c #Conflicts: 923000 | #Constraints: 20347
3562.56/3572.20 c #Conflicts: 924000 | #Constraints: 21347
3562.56/3572.20 c #Conflicts: 925000 | #Constraints: 22347
3562.56/3572.20 c #Conflicts: 926000 | #Constraints: 23347
3562.56/3572.20 c #Conflicts: 927000 | #Constraints: 24347
3562.56/3572.20 c #Conflicts: 928000 | #Constraints: 25347
3562.56/3572.20 c #Conflicts: 929000 | #Constraints: 26347
3562.56/3572.20 c #Conflicts: 930000 | #Constraints: 27347
3600.05/3609.80 c #Conflicts: 931000 | #Constraints: 28347
3600.05/3609.80 c #Conflicts: 932000 | #Constraints: 29347
3600.05/3609.80 c #Conflicts: 933000 | #Constraints: 30347
3600.05/3609.80 c #Conflicts: 934000 | #Constraints: 31347
3600.05/3609.80 c #Conflicts: 935000 | #Constraints: 32347
3600.05/3609.80 c #Conflicts: 936000 | #Constraints: 33347
3600.05/3609.80 c Program interrupted by user.
3600.05/3609.80 c cpu time 3591 s
3600.05/3609.80 c deterministic time 403956162275 4.04e+11
3600.05/3609.80 c optimization time 85.4667 s
3600.05/3609.80 c total solve time 3206.4 s
3600.05/3609.80 c core-guided solve time 3206.4 s
3600.05/3609.80 c propagation time 2832.63 s
3600.05/3609.80 c conflict analysis time 394.515 s
3600.05/3609.80 c propagations 59359866
3600.05/3609.80 c resolve steps 4902889
3600.05/3609.80 c decisions 4811623
3600.05/3609.80 c conflicts 936215
3600.05/3609.80 c restarts 2043
3600.05/3609.80 c inprocessing phases 87
3600.05/3609.80 c input clauses 56
3600.05/3609.80 c input cardinalities 76
3600.05/3609.80 c input general constraints 473
3600.05/3609.80 c input average constraint length 67.07
3600.05/3609.80 c input average constraint degree 34.19
3600.05/3609.80 c learned clauses 223527
3600.05/3609.80 c learned cardinalities 156
3600.05/3609.80 c learned general constraints 712541
3600.05/3609.80 c learned average constraint length 323.60
3600.05/3609.80 c learned average constraint degree 535393.24
3600.05/3609.80 c watched constraints 602490
3600.05/3609.80 c counting constraints 110524
3600.05/3609.80 c gcd simplifications 180889
3600.05/3609.80 c detected cardinalities 115
3600.05/3609.80 c weakened non-implied lits 32734441
3600.05/3609.80 c weakened non-implying lits 116935
3600.05/3609.80 c original variables 476
3600.05/3609.80 c clausal propagations 1012230
3600.05/3609.80 c cardinality propagations 40784
3600.05/3609.80 c watched propagations 31714753
3600.05/3609.80 c counting propagations 25775375
3600.05/3609.80 c watch lookups 63273333470
3600.05/3609.80 c watch backjump lookups 59708416975
3600.05/3609.80 c watch checks 272974176557
3600.05/3609.80 c propagation checks 6848487799
3600.05/3609.80 c constraint additions 1022468666
3600.05/3609.80 c trail pops 65107318
3600.05/3609.80 c formula constraints 476
3600.05/3609.80 c learned constraints 936224
3600.05/3609.80 c bound constraints 76
3600.05/3609.80 c core-guided constraints 53
3600.05/3609.80 c encountered formula constraints 2956956
3600.05/3609.80 c encountered learned constraints 2785979
3600.05/3609.80 c encountered bound constraints 187
3600.05/3609.80 c encountered core-guided constraints 95982
3600.05/3609.80 c LP total time 0 s
3600.05/3609.80 c LP solve time 0 s
3600.05/3609.80 c LP constraints added 0
3600.05/3609.80 c LP constraints removed 0
3600.05/3609.80 c LP pivots internal 0
3600.05/3609.80 c LP pivots root 0
3600.05/3609.80 c LP calls 0
3600.05/3609.80 c LP optimalities 0
3600.05/3609.80 c LP no pivot count 0
3600.05/3609.80 c LP infeasibilities 0
3600.05/3609.80 c LP valid Farkas constraints 0
3600.05/3609.80 c LP learned Farkas constraints 0
3600.05/3609.80 c LP basis resets 0
3600.05/3609.80 c LP cycling count 0
3600.05/3609.80 c LP singular count 0
3600.05/3609.80 c LP no primal count 0
3600.05/3609.80 c LP no farkas count 0
3600.05/3609.80 c LP other issue count 0
3600.05/3609.80 c LP Gomory cuts 0
3600.05/3609.80 c LP learned cuts 0
3600.05/3609.80 c LP deleted cuts 0
3600.05/3609.80 c LP encountered Gomory constraints 0
3600.05/3609.80 c LP encountered Farkas constraints 0
3600.05/3609.80 c LP encountered learned Farkas constraints 0
3600.05/3609.80 c CG auxiliary variables introduced 53
3600.05/3609.80 c CG solutions found 0
3600.05/3609.80 c CG cores constructed 75
3600.05/3609.80 c CG core cardinality constraints returned 0
3600.05/3609.80 c CG unit cores 0
3600.05/3609.80 c CG single cores 75
3600.05/3609.80 c CG blocks removed during cardinality reduction 0
3600.05/3609.80 c CG first core best 0
3600.05/3609.80 c CG decision core best 0
3600.05/3609.80 c CG core reduction tie 0
3600.05/3609.80 c CG core degree average 1.00
3600.05/3609.80 c CG core slack average 2.72
3600.05/3609.80 c CG exhausted 0
3600.05/3609.80 c CG exhaust time 0 s
3600.05/3609.80 c CG trimmed 0
3600.05/3609.80 c CG trim time 0.000287 s
3600.05/3609.80 c CG minimized 0
3600.05/3609.80 c CG minimize time 0 s
3600.05/3609.80 c CG am1 prop time 3e-06 s
3600.05/3609.80 c CG # am1s reformulated 53
3600.05/3609.80 c CG lower bound derived from am1s 53
3600.05/3609.80 c CG # clausal cores 16
3600.05/3609.80 c CG # cardinality cores 0
3600.05/3609.80 c CG # pb cores 59
3600.05/3609.80 c CG # pb reforms 0
3600.05/3609.80 c CG # cores discarded because of pb reform 0
3600.05/3609.80 d LOWERBOUND 128
3600.05/3609.80 d NCORES 75
3600.05/3609.80 d NPBCORES 59
3600.05/3609.80 d NPBREFORM 0
3600.05/3609.80 d NTRIMMED 0
3600.05/3609.80 d NEXHAUSTED 0
3600.05/3609.80 d NAM1S 53
3600.05/3609.80 d AM1LB 53
3600.05/3609.80 c [Papilo Statistics]
3600.05/3609.80 c prepro time 0.0014979s
3600.05/3609.80 c # tsx applied 24
3600.05/3609.80 c # tsx conflicts 0
3600.05/3609.80 c # bound changes 0
3600.05/3609.80 c # side changes 0
3600.05/3609.80 c # coef changes 37
3600.05/3609.80 c # rounds 3
3600.05/3609.80 c # deted vars 0
3600.05/3609.80 c # deted constrs 0
3600.05/3609.80 c # consecutive rounds of only bound changes 0
3600.05/3609.80 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: 63931 MiB (61387 MiB free)
memory of node 1: 64510 MiB (61381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454710-1721469267/watcher-4454710-1721469267 -o /tmp/evaluation-result-4454710-1721469267/solver-4454710-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030643 --watchdog 3760 mixed-bag HOME/instance-4454710-1721469267.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
solver pid=1030693, runsolver pid=1030685
Current StackSize limit: 8192 KiB
[startup+0.100556 s]*
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125671776/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=93120 memory=26316 CPUtime=0.09 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 3003 0 1 0 9 0 0 0 20 0 1 0 199087307 95354880 6579 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 23280 6579 4102 3002 0 7029 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93120 KiB
Current children cumulated memory: 26316 KiB
[startup+0.205968 s]*
/proc/loadavg: 1.50 2.45 3.15 5/259 1030705
/proc/meminfo: memFree=125658088/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=93120 memory=26316 CPUtime=0.19 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 3012 0 1 0 19 0 0 0 20 0 1 0 199087307 95354880 6579 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 23280 6579 4102 3002 0 7029 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93120 KiB
Current children cumulated memory: 26316 KiB
[startup+0.305785 s]*
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125653972/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=93676 memory=26732 CPUtime=0.29 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 3100 0 1 0 29 0 0 0 20 0 1 0 199087307 95924224 6683 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 23419 6683 4102 3002 0 7168 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93676 KiB
Current children cumulated memory: 26732 KiB
[startup+0.700235 s]
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125626504/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=109680 memory=42628 CPUtime=0.68 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 7118 0 1 0 68 0 0 0 20 0 1 0 199087307 112312320 10657 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 27420 10657 4118 3002 0 11169 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109680 KiB
Current children cumulated memory: 42628 KiB
[startup+1.50023 s]
/proc/loadavg: 1.50 2.45 3.15 6/259 1030705
/proc/meminfo: memFree=125441088/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=188592 memory=119436 CPUtime=1.48 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 28187 0 1 0 144 4 0 0 20 0 1 0 199087307 193118208 29859 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 47148 29859 4118 3002 0 30897 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188592 KiB
Current children cumulated memory: 119436 KiB
[startup+3.10622 s]
/proc/loadavg: 1.50 2.45 3.15 5/259 1030707
/proc/meminfo: memFree=125144292/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=227316 memory=156980 CPUtime=3.08 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 37531 0 1 0 302 6 0 0 20 0 1 0 199087307 232771584 39245 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 56829 39245 4133 3002 0 40578 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 227316 KiB
Current children cumulated memory: 156980 KiB
[startup+6.30017 s]
/proc/loadavg: 1.78 2.49 3.16 5/259 1030707
/proc/meminfo: memFree=125143280/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=227316 memory=156980 CPUtime=6.27 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 37546 0 1 0 621 6 0 0 20 0 1 0 199087307 232771584 39245 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 56829 39245 4133 3002 0 40578 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 227316 KiB
Current children cumulated memory: 156980 KiB
[startup+12.7002 s]
/proc/loadavg: 1.96 2.52 3.16 5/259 1030707
/proc/meminfo: memFree=125136896/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=227316 memory=156980 CPUtime=12.66 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 37546 0 1 0 1259 7 0 0 20 0 1 0 199087307 232771584 39245 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 56829 39245 4133 3002 0 40578 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 227316 KiB
Current children cumulated memory: 156980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 2.57 3.17 6/259 1030710
/proc/meminfo: memFree=124857612/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=330228 memory=257156 CPUtime=25.42 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 63647 0 1 0 2531 11 0 0 20 0 1 0 199087307 338153472 64289 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 82557 64289 4133 3002 0 66306 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 330228 KiB
Current children cumulated memory: 257156 KiB
[startup+51.1063 s]
/proc/loadavg: 3.03 2.72 3.21 5/259 1031096
/proc/meminfo: memFree=124831788/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=347944 memory=273776 CPUtime=50.97 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 67828 0 1 0 5082 15 0 0 20 0 1 0 199087307 356294656 68444 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 86986 68444 4133 3002 0 70735 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 347944 KiB
Current children cumulated memory: 273776 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.94 3.26 6/259 1031105
/proc/meminfo: memFree=124784876/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=361484 memory=291496 CPUtime=102.03 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 73896 0 1 0 10183 20 0 0 20 0 1 0 199087307 370159616 72874 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 90371 72874 4163 3002 0 74120 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 361484 KiB
Current children cumulated memory: 291496 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.15 3.31 6/259 1031115
/proc/meminfo: memFree=124561748/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=396428 memory=326872 CPUtime=161.9 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 82737 0 1 0 16157 33 0 0 20 0 1 0 199087307 405942272 81718 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 99107 81718 4163 3002 0 82856 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 396428 KiB
Current children cumulated memory: 326872 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.32 3.36 6/261 1031297
/proc/meminfo: memFree=124497916/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=399936 memory=329816 CPUtime=221.75 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 83811 0 1 0 22132 43 0 0 20 0 1 0 199087307 409534464 82454 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 99984 82454 4163 3002 0 83733 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 399936 KiB
Current children cumulated memory: 329816 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.46 3.41 5/261 1031308
/proc/meminfo: memFree=124494208/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=399936 memory=329896 CPUtime=281.61 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 83873 0 1 0 28115 46 0 0 20 0 1 0 199087307 409534464 82474 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 99984 82474 4163 3002 0 83733 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 399936 KiB
Current children cumulated memory: 329896 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.59 3.46 6/258 1031320
/proc/meminfo: memFree=124623300/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=392992 memory=324468 CPUtime=341.46 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 86296 0 1 0 34043 103 0 0 20 0 1 0 199087307 402423808 81117 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 98248 81117 4291 3002 0 81997 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 392992 KiB
Current children cumulated memory: 324468 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.69 3.50 6/256 1031342
/proc/meminfo: memFree=124591656/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=411960 memory=331692 CPUtime=401.29 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 86555 0 1 0 39983 146 0 0 20 0 1 0 199087307 421847040 82923 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 102990 82923 4291 3002 0 86739 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 411960 KiB
Current children cumulated memory: 331692 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.79 3.55 6/256 1031352
/proc/meminfo: memFree=124569824/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=411960 memory=337880 CPUtime=461.13 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 86931 0 1 0 45932 181 0 0 20 0 1 0 199087307 421847040 84470 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 102990 84470 4291 3002 0 86739 0
################
# More data... #
################
Current children cumulated memory: 390192 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.07 6/257 1032396
/proc/meminfo: memFree=124316228/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=392240 CPUtime=2854.64 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91129 0 1 0 284698 766 0 0 20 0 1 0 199087307 504696832 98060 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 98060 4291 3002 0 106966 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 392240 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.12 4.08 6/257 1032406
/proc/meminfo: memFree=124311112/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=394288 CPUtime=2914.48 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91245 0 1 0 290672 776 0 0 20 0 1 0 199087307 504696832 98572 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 98572 4291 3002 0 106966 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 394288 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.08 6/257 1032418
/proc/meminfo: memFree=124311424/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=394288 CPUtime=2974.33 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91345 0 1 0 296645 788 0 0 20 0 1 0 199087307 504696832 98572 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 98572 4291 3002 0 106966 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 394288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.08 6/258 1032429
/proc/meminfo: memFree=124310544/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=394288 CPUtime=3034.18 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91445 0 1 0 302618 800 0 0 20 0 1 0 199087307 504696832 98572 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 98572 4291 3002 0 106966 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 394288 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.08 6/255 1032439
/proc/meminfo: memFree=124304024/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=396336 CPUtime=3094.02 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91561 0 1 0 308593 809 0 0 20 0 1 0 199087307 504696832 99084 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 99084 4291 3002 0 106966 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 396336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.08 6/255 1032449
/proc/meminfo: memFree=124304564/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=396336 CPUtime=3153.85 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91661 0 1 0 314563 822 0 0 20 0 1 0 199087307 504696832 99084 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 99084 4291 3002 0 106966 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 396336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.09 6/255 1032460
/proc/meminfo: memFree=124301780/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=396336 CPUtime=3213.67 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91760 0 1 0 320534 833 0 0 20 0 1 0 199087307 504696832 99084 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 99084 4291 3002 0 106966 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 396336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.14 4.10 6/255 1032470
/proc/meminfo: memFree=124300936/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=396336 CPUtime=3273.5 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91875 0 1 0 326506 844 0 0 20 0 1 0 199087307 504696832 99084 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 99084 4291 3002 0 106966 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 396336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/257 1032484
/proc/meminfo: memFree=124291840/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=400432 CPUtime=3333.33 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 91975 0 1 0 332478 855 0 0 20 0 1 0 199087307 504696832 100108 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 100108 4291 3002 0 106966 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 400432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.15 4.10 6/257 1032497
/proc/meminfo: memFree=124291056/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=400432 CPUtime=3393.15 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 92093 0 1 0 338449 866 0 0 20 0 1 0 199087307 504696832 100108 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 100108 4291 3002 0 106966 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 400432 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/257 1032507
/proc/meminfo: memFree=124288132/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=400432 CPUtime=3452.98 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 92190 0 1 0 344421 877 0 0 20 0 1 0 199087307 504696832 100108 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 100108 4291 3002 0 106966 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 400432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/258 1032518
/proc/meminfo: memFree=124288204/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=400432 CPUtime=3512.8 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 92308 0 1 0 350392 888 0 0 20 0 1 0 199087307 504696832 100108 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 100108 4291 3002 0 106966 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 400432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.10 6/258 1032530
/proc/meminfo: memFree=124284576/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=400432 CPUtime=3572.63 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 92407 0 1 0 356363 900 0 0 20 0 1 0 199087307 504696832 100108 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 100108 4291 3002 0 106966 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 400432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.15 4.14 4.10 6/258 1032535
/proc/meminfo: memFree=124282116/131524600 swapFree=131071996/131071996
[pid=1030693] ppid=1030685 vsize=492868 memory=400432 CPUtime=3600.05 cores=5,7
/proc/1030693/stat : 1030693 (mixed-bag) R 1030685 1030693 1030630 0 -1 4194304 92474 0 1 0 359100 905 0 0 20 0 1 0 199087307 504696832 100108 134679101440 4194304 16488053 140737351016176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 35479552 140737351021589 140737351021666 140737351021666 140737351028683 0
/proc/1030693/statm: 123217 100108 4291 3002 0 106966 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 492868 KiB
Current children cumulated memory: 400432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 1030693 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.01 s, system=9.0552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.06
CPU user time (s): 3591.01
CPU system time (s): 9.0552
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 492868
Max. memory (cumulated for all children) (KiB): 400432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.01
system time used= 9.0552
maximum resident set size= 401280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92498
page faults= 1
swaps= 0
block input operations= 256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 1459
# summary of solver processes directly reported to runsolver:
# pid: 1030693
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.01
# total CPU system time (s): 9.0552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11463 second user time and 20.6836 second system time
The end
Begin job on nodeC016 at 2024-07-20 11:54:39
IDJOB=4454710
IDBENCH=147545
IDSOLVER=3083
FILE ID=nodeC016/4454710-1721469267
RUNJOBID= nodeC016-1721469279-1030643
SLURM_JOB_ID= 7545728
Free space on /tmp= 890084 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_16.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454710-1721469267/watcher-4454710-1721469267 -o /tmp/evaluation-result-4454710-1721469267/solver-4454710-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030643 --watchdog 3760 mixed-bag HOME/instance-4454710-1721469267.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=743307265
nodeC016.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 : 3567.064
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.70
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 : 3622.418
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3451.126
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.70
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 : 3520.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3393.024
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.70
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 : 3471.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3576.684
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.70
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 : 3628.700
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125716556 kB
MemAvailable: 129699792 kB
Buffers: 442992 kB
Cached: 4381180 kB
SwapCached: 0 kB
Active: 739176 kB
Inactive: 4446884 kB
Active(anon): 1444 kB
Inactive(anon): 406392 kB
Active(file): 737732 kB
Inactive(file): 4040492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65132 kB
Writeback: 0 kB
AnonPages: 360484 kB
Mapped: 107156 kB
Shmem: 45912 kB
KReclaimable: 89316 kB
Slab: 201524 kB
SReclaimable: 89316 kB
SUnreclaim: 112208 kB
KernelStack: 3888 kB
PageTables: 9588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 726856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC016 at 2024-07-20 12:54:49