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.00 c [STEP] solving with SCIP
299.02/300.06 c [STEP] preprocessing done, loading into solver
299.02/300.06 c [STEP] solving
299.02/300.06 c #variables 471 #constraints 470
299.02/300.06 c SMALL=int, LARGE=long long
299.02/300.06 c bounds - >= 0 @ 298.936
299.02/300.06 c stratification level: 0
315.36/316.48 c bounds - >= 57 @ 298.937
315.36/316.48 c bounds - >= 58 @ 298.937
315.36/316.48 c bounds - >= 59 @ 298.937
315.36/316.48 c bounds - >= 60 @ 298.937
315.36/316.48 c bounds - >= 61 @ 298.937
315.36/316.48 c bounds - >= 62 @ 298.937
315.36/316.48 c bounds - >= 63 @ 298.937
315.36/316.48 c bounds - >= 64 @ 298.937
315.36/316.48 c bounds - >= 65 @ 298.937
315.36/316.48 c bounds - >= 66 @ 298.938
315.36/316.48 c bounds - >= 67 @ 298.938
315.36/316.48 c bounds - >= 68 @ 298.938
315.36/316.48 c bounds - >= 69 @ 298.938
315.36/316.48 c bounds - >= 70 @ 298.938
315.36/316.48 c bounds - >= 71 @ 298.938
315.36/316.48 c bounds - >= 72 @ 298.938
315.36/316.48 c bounds - >= 73 @ 298.938
315.36/316.48 c bounds - >= 74 @ 298.938
315.36/316.48 c bounds - >= 75 @ 298.938
315.36/316.48 c bounds - >= 76 @ 298.938
315.36/316.48 c bounds - >= 77 @ 298.938
315.36/316.48 c bounds - >= 78 @ 298.938
315.36/316.48 c bounds - >= 79 @ 298.938
315.36/316.48 c bounds - >= 80 @ 298.938
315.36/316.48 c bounds - >= 81 @ 298.938
315.36/316.48 c bounds - >= 82 @ 298.938
315.36/316.48 c bounds - >= 83 @ 298.938
315.36/316.48 c bounds - >= 84 @ 298.938
315.36/316.48 c bounds - >= 85 @ 298.938
315.36/316.48 c bounds - >= 86 @ 298.938
315.36/316.48 c bounds - >= 87 @ 298.938
315.36/316.48 c bounds - >= 88 @ 298.938
315.36/316.48 c bounds - >= 89 @ 298.938
315.36/316.48 c bounds - >= 90 @ 298.938
315.36/316.48 c bounds - >= 91 @ 298.938
315.36/316.48 c bounds - >= 92 @ 298.938
315.36/316.48 c bounds - >= 93 @ 298.938
315.36/316.48 c bounds - >= 94 @ 298.938
315.36/316.48 c bounds - >= 95 @ 298.938
315.36/316.48 c bounds - >= 96 @ 298.938
315.36/316.48 c bounds - >= 97 @ 298.938
315.36/316.48 c bounds - >= 98 @ 298.938
315.36/316.48 c bounds - >= 99 @ 298.938
315.36/316.48 c bounds - >= 100 @ 298.938
315.36/316.48 c bounds - >= 101 @ 298.938
315.36/316.48 c bounds - >= 102 @ 298.938
315.36/316.48 c bounds - >= 103 @ 298.938
315.36/316.48 c bounds - >= 104 @ 298.938
315.36/316.48 c bounds - >= 105 @ 298.938
315.36/316.48 c bounds - >= 106 @ 298.938
315.36/316.48 c bounds - >= 107 @ 298.938
315.36/316.48 c bounds - >= 108 @ 298.938
315.36/316.48 c bounds - >= 109 @ 298.938
315.36/316.48 c bounds - >= 110 @ 298.938
315.36/316.48 c bounds - >= 111 @ 298.938
315.36/316.48 c bounds - >= 112 @ 298.938
315.36/316.48 c bounds - >= 113 @ 298.938
315.36/316.48 c bounds - >= 114 @ 298.938
315.36/316.48 c bounds - >= 115 @ 298.938
315.36/316.48 c bounds - >= 116 @ 298.938
315.36/316.48 c bounds - >= 117 @ 298.938
315.36/316.48 c bounds - >= 118 @ 298.938
315.36/316.48 c bounds - >= 119 @ 298.938
315.36/316.48 c bounds - >= 120 @ 298.938
315.36/316.48 c bounds - >= 121 @ 298.938
315.36/316.48 c bounds - >= 122 @ 298.938
315.36/316.48 c bounds - >= 123 @ 298.938
315.36/316.48 c bounds - >= 124 @ 298.938
315.36/316.48 c bounds - >= 125 @ 298.938
315.36/316.48 c bounds - >= 126 @ 298.938
315.36/316.48 c bounds - >= 127 @ 298.938
315.36/316.48 c bounds - >= 128 @ 298.939
315.36/316.48 c #Conflicts: 1000 | #Constraints: 1614
315.36/316.48 c #Conflicts: 2000 | #Constraints: 2614
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 3000 | #Constraints: 2542
315.36/316.48 c #Conflicts: 4000 | #Constraints: 3542
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 5000 | #Constraints: 2948
315.36/316.48 c #Conflicts: 6000 | #Constraints: 3948
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 7000 | #Constraints: 2948
315.36/316.48 c #Conflicts: 8000 | #Constraints: 3948
315.36/316.48 c #Conflicts: 9000 | #Constraints: 4948
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 10000 | #Constraints: 3649
315.36/316.48 c #Conflicts: 11000 | #Constraints: 4649
315.36/316.48 c #Conflicts: 12000 | #Constraints: 5649
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 13000 | #Constraints: 4099
315.36/316.48 c #Conflicts: 14000 | #Constraints: 5099
315.36/316.48 c #Conflicts: 15000 | #Constraints: 6099
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 16000 | #Constraints: 4326
315.36/316.48 c #Conflicts: 17000 | #Constraints: 5326
315.36/316.48 c #Conflicts: 18000 | #Constraints: 6326
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 19000 | #Constraints: 4338
315.36/316.48 c #Conflicts: 20000 | #Constraints: 5338
315.36/316.48 c #Conflicts: 21000 | #Constraints: 6338
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 22000 | #Constraints: 4144
315.36/316.48 c #Conflicts: 23000 | #Constraints: 5144
315.36/316.48 c #Conflicts: 24000 | #Constraints: 6144
315.36/316.48 c #Conflicts: 25000 | #Constraints: 7144
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 26000 | #Constraints: 4744
315.36/316.48 c #Conflicts: 27000 | #Constraints: 5744
315.36/316.48 c #Conflicts: 28000 | #Constraints: 6744
315.36/316.48 c #Conflicts: 29000 | #Constraints: 7744
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 30000 | #Constraints: 5145
315.36/316.48 c #Conflicts: 31000 | #Constraints: 6145
315.36/316.48 c #Conflicts: 32000 | #Constraints: 7145
315.36/316.48 c #Conflicts: 33000 | #Constraints: 8145
315.36/316.48 c INPROCESSING
315.36/316.48 c GARBAGE COLLECT
315.36/316.48 c #Conflicts: 34000 | #Constraints: 5344
397.38/398.70 c #Conflicts: 35000 | #Constraints: 6344
397.38/398.70 c #Conflicts: 36000 | #Constraints: 7344
397.38/398.70 c #Conflicts: 37000 | #Constraints: 8344
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 38000 | #Constraints: 5349
397.38/398.70 c #Conflicts: 39000 | #Constraints: 6349
397.38/398.70 c #Conflicts: 40000 | #Constraints: 7349
397.38/398.70 c #Conflicts: 41000 | #Constraints: 8349
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 42000 | #Constraints: 5148
397.38/398.70 c #Conflicts: 43000 | #Constraints: 6148
397.38/398.70 c #Conflicts: 44000 | #Constraints: 7148
397.38/398.70 c #Conflicts: 45000 | #Constraints: 8148
397.38/398.70 c #Conflicts: 46000 | #Constraints: 9148
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 47000 | #Constraints: 5744
397.38/398.70 c #Conflicts: 48000 | #Constraints: 6744
397.38/398.70 c #Conflicts: 49000 | #Constraints: 7744
397.38/398.70 c #Conflicts: 50000 | #Constraints: 8744
397.38/398.70 c #Conflicts: 51000 | #Constraints: 9744
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 52000 | #Constraints: 6143
397.38/398.70 c #Conflicts: 53000 | #Constraints: 7143
397.38/398.70 c #Conflicts: 54000 | #Constraints: 8143
397.38/398.70 c #Conflicts: 55000 | #Constraints: 9143
397.38/398.70 c #Conflicts: 56000 | #Constraints: 10143
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 57000 | #Constraints: 6346
397.38/398.70 c #Conflicts: 58000 | #Constraints: 7346
397.38/398.70 c #Conflicts: 59000 | #Constraints: 8346
397.38/398.70 c #Conflicts: 60000 | #Constraints: 9346
397.38/398.70 c #Conflicts: 61000 | #Constraints: 10346
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 62000 | #Constraints: 6346
397.38/398.70 c #Conflicts: 63000 | #Constraints: 7346
397.38/398.70 c #Conflicts: 64000 | #Constraints: 8346
397.38/398.70 c #Conflicts: 65000 | #Constraints: 9346
397.38/398.70 c #Conflicts: 66000 | #Constraints: 10346
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 67000 | #Constraints: 6144
397.38/398.70 c #Conflicts: 68000 | #Constraints: 7144
397.38/398.70 c #Conflicts: 69000 | #Constraints: 8144
397.38/398.70 c #Conflicts: 70000 | #Constraints: 9144
397.38/398.70 c #Conflicts: 71000 | #Constraints: 10144
397.38/398.70 c #Conflicts: 72000 | #Constraints: 11144
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 73000 | #Constraints: 6748
397.38/398.70 c #Conflicts: 74000 | #Constraints: 7748
397.38/398.70 c #Conflicts: 75000 | #Constraints: 8748
397.38/398.70 c #Conflicts: 76000 | #Constraints: 9748
397.38/398.70 c #Conflicts: 77000 | #Constraints: 10748
397.38/398.70 c #Conflicts: 78000 | #Constraints: 11748
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 79000 | #Constraints: 7150
397.38/398.70 c #Conflicts: 80000 | #Constraints: 8150
397.38/398.70 c #Conflicts: 81000 | #Constraints: 9150
397.38/398.70 c #Conflicts: 82000 | #Constraints: 10150
397.38/398.70 c #Conflicts: 83000 | #Constraints: 11150
397.38/398.70 c #Conflicts: 84000 | #Constraints: 12150
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 85000 | #Constraints: 7348
397.38/398.70 c #Conflicts: 86000 | #Constraints: 8348
397.38/398.70 c #Conflicts: 87000 | #Constraints: 9348
397.38/398.70 c #Conflicts: 88000 | #Constraints: 10348
397.38/398.70 c #Conflicts: 89000 | #Constraints: 11348
397.38/398.70 c #Conflicts: 90000 | #Constraints: 12348
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 91000 | #Constraints: 7351
397.38/398.70 c #Conflicts: 92000 | #Constraints: 8351
397.38/398.70 c #Conflicts: 93000 | #Constraints: 9351
397.38/398.70 c #Conflicts: 94000 | #Constraints: 10351
397.38/398.70 c #Conflicts: 95000 | #Constraints: 11351
397.38/398.70 c #Conflicts: 96000 | #Constraints: 12351
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 97000 | #Constraints: 7153
397.38/398.70 c #Conflicts: 98000 | #Constraints: 8153
397.38/398.70 c #Conflicts: 99000 | #Constraints: 9153
397.38/398.70 c #Conflicts: 100000 | #Constraints: 10153
397.38/398.70 c #Conflicts: 101000 | #Constraints: 11153
397.38/398.70 c #Conflicts: 102000 | #Constraints: 12153
397.38/398.70 c #Conflicts: 103000 | #Constraints: 13153
397.38/398.70 c INPROCESSING
397.38/398.70 c GARBAGE COLLECT
397.38/398.70 c #Conflicts: 104000 | #Constraints: 7745
397.38/398.70 c #Conflicts: 105000 | #Constraints: 8745
513.27/515.03 c #Conflicts: 106000 | #Constraints: 9745
513.27/515.03 c #Conflicts: 107000 | #Constraints: 10745
513.27/515.03 c #Conflicts: 108000 | #Constraints: 11745
513.27/515.03 c #Conflicts: 109000 | #Constraints: 12745
513.27/515.03 c #Conflicts: 110000 | #Constraints: 13745
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 111000 | #Constraints: 8146
513.27/515.03 c #Conflicts: 112000 | #Constraints: 9146
513.27/515.03 c #Conflicts: 113000 | #Constraints: 10146
513.27/515.03 c #Conflicts: 114000 | #Constraints: 11146
513.27/515.03 c #Conflicts: 115000 | #Constraints: 12146
513.27/515.03 c #Conflicts: 116000 | #Constraints: 13146
513.27/515.03 c #Conflicts: 117000 | #Constraints: 14146
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 118000 | #Constraints: 8343
513.27/515.03 c #Conflicts: 119000 | #Constraints: 9343
513.27/515.03 c #Conflicts: 120000 | #Constraints: 10343
513.27/515.03 c #Conflicts: 121000 | #Constraints: 11343
513.27/515.03 c #Conflicts: 122000 | #Constraints: 12343
513.27/515.03 c #Conflicts: 123000 | #Constraints: 13343
513.27/515.03 c #Conflicts: 124000 | #Constraints: 14343
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 125000 | #Constraints: 8346
513.27/515.03 c #Conflicts: 126000 | #Constraints: 9346
513.27/515.03 c #Conflicts: 127000 | #Constraints: 10346
513.27/515.03 c #Conflicts: 128000 | #Constraints: 11346
513.27/515.03 c #Conflicts: 129000 | #Constraints: 12346
513.27/515.03 c #Conflicts: 130000 | #Constraints: 13346
513.27/515.03 c #Conflicts: 131000 | #Constraints: 14346
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 132000 | #Constraints: 8147
513.27/515.03 c #Conflicts: 133000 | #Constraints: 9147
513.27/515.03 c #Conflicts: 134000 | #Constraints: 10147
513.27/515.03 c #Conflicts: 135000 | #Constraints: 11147
513.27/515.03 c #Conflicts: 136000 | #Constraints: 12147
513.27/515.03 c #Conflicts: 137000 | #Constraints: 13147
513.27/515.03 c #Conflicts: 138000 | #Constraints: 14147
513.27/515.03 c #Conflicts: 139000 | #Constraints: 15147
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 140000 | #Constraints: 8746
513.27/515.03 c #Conflicts: 141000 | #Constraints: 9746
513.27/515.03 c #Conflicts: 142000 | #Constraints: 10746
513.27/515.03 c #Conflicts: 143000 | #Constraints: 11746
513.27/515.03 c #Conflicts: 144000 | #Constraints: 12746
513.27/515.03 c #Conflicts: 145000 | #Constraints: 13746
513.27/515.03 c #Conflicts: 146000 | #Constraints: 14746
513.27/515.03 c #Conflicts: 147000 | #Constraints: 15746
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 148000 | #Constraints: 9150
513.27/515.03 c #Conflicts: 149000 | #Constraints: 10150
513.27/515.03 c #Conflicts: 150000 | #Constraints: 11150
513.27/515.03 c #Conflicts: 151000 | #Constraints: 12150
513.27/515.03 c #Conflicts: 152000 | #Constraints: 13150
513.27/515.03 c #Conflicts: 153000 | #Constraints: 14150
513.27/515.03 c #Conflicts: 154000 | #Constraints: 15150
513.27/515.03 c #Conflicts: 155000 | #Constraints: 16150
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 156000 | #Constraints: 9349
513.27/515.03 c #Conflicts: 157000 | #Constraints: 10349
513.27/515.03 c #Conflicts: 158000 | #Constraints: 11349
513.27/515.03 c #Conflicts: 159000 | #Constraints: 12349
513.27/515.03 c #Conflicts: 160000 | #Constraints: 13349
513.27/515.03 c #Conflicts: 161000 | #Constraints: 14349
513.27/515.03 c #Conflicts: 162000 | #Constraints: 15349
513.27/515.03 c #Conflicts: 163000 | #Constraints: 16349
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 164000 | #Constraints: 9347
513.27/515.03 c #Conflicts: 165000 | #Constraints: 10347
513.27/515.03 c #Conflicts: 166000 | #Constraints: 11347
513.27/515.03 c #Conflicts: 167000 | #Constraints: 12347
513.27/515.03 c #Conflicts: 168000 | #Constraints: 13347
513.27/515.03 c #Conflicts: 169000 | #Constraints: 14347
513.27/515.03 c #Conflicts: 170000 | #Constraints: 15347
513.27/515.03 c #Conflicts: 171000 | #Constraints: 16347
513.27/515.03 c INPROCESSING
513.27/515.03 c GARBAGE COLLECT
513.27/515.03 c #Conflicts: 172000 | #Constraints: 9146
513.27/515.03 c #Conflicts: 173000 | #Constraints: 10146
513.27/515.03 c #Conflicts: 174000 | #Constraints: 11146
513.27/515.03 c #Conflicts: 175000 | #Constraints: 12146
513.27/515.03 c #Conflicts: 176000 | #Constraints: 13146
513.27/515.03 c #Conflicts: 177000 | #Constraints: 14146
513.27/515.03 c #Conflicts: 178000 | #Constraints: 15146
675.69/678.03 c #Conflicts: 179000 | #Constraints: 16146
675.69/678.03 c #Conflicts: 180000 | #Constraints: 17146
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 181000 | #Constraints: 9747
675.69/678.03 c #Conflicts: 182000 | #Constraints: 10747
675.69/678.03 c #Conflicts: 183000 | #Constraints: 11747
675.69/678.03 c #Conflicts: 184000 | #Constraints: 12747
675.69/678.03 c #Conflicts: 185000 | #Constraints: 13747
675.69/678.03 c #Conflicts: 186000 | #Constraints: 14747
675.69/678.03 c #Conflicts: 187000 | #Constraints: 15747
675.69/678.03 c #Conflicts: 188000 | #Constraints: 16747
675.69/678.03 c #Conflicts: 189000 | #Constraints: 17747
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 190000 | #Constraints: 10149
675.69/678.03 c #Conflicts: 191000 | #Constraints: 11149
675.69/678.03 c #Conflicts: 192000 | #Constraints: 12149
675.69/678.03 c #Conflicts: 193000 | #Constraints: 13149
675.69/678.03 c #Conflicts: 194000 | #Constraints: 14149
675.69/678.03 c #Conflicts: 195000 | #Constraints: 15149
675.69/678.03 c #Conflicts: 196000 | #Constraints: 16149
675.69/678.03 c #Conflicts: 197000 | #Constraints: 17149
675.69/678.03 c #Conflicts: 198000 | #Constraints: 18149
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 199000 | #Constraints: 10345
675.69/678.03 c #Conflicts: 200000 | #Constraints: 11345
675.69/678.03 c #Conflicts: 201000 | #Constraints: 12345
675.69/678.03 c #Conflicts: 202000 | #Constraints: 13345
675.69/678.03 c #Conflicts: 203000 | #Constraints: 14345
675.69/678.03 c #Conflicts: 204000 | #Constraints: 15345
675.69/678.03 c #Conflicts: 205000 | #Constraints: 16345
675.69/678.03 c #Conflicts: 206000 | #Constraints: 17345
675.69/678.03 c #Conflicts: 207000 | #Constraints: 18345
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 208000 | #Constraints: 10347
675.69/678.03 c #Conflicts: 209000 | #Constraints: 11347
675.69/678.03 c #Conflicts: 210000 | #Constraints: 12347
675.69/678.03 c #Conflicts: 211000 | #Constraints: 13347
675.69/678.03 c #Conflicts: 212000 | #Constraints: 14347
675.69/678.03 c #Conflicts: 213000 | #Constraints: 15347
675.69/678.03 c #Conflicts: 214000 | #Constraints: 16347
675.69/678.03 c #Conflicts: 215000 | #Constraints: 17347
675.69/678.03 c #Conflicts: 216000 | #Constraints: 18347
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 217000 | #Constraints: 10146
675.69/678.03 c #Conflicts: 218000 | #Constraints: 11146
675.69/678.03 c #Conflicts: 219000 | #Constraints: 12146
675.69/678.03 c #Conflicts: 220000 | #Constraints: 13146
675.69/678.03 c #Conflicts: 221000 | #Constraints: 14146
675.69/678.03 c #Conflicts: 222000 | #Constraints: 15146
675.69/678.03 c #Conflicts: 223000 | #Constraints: 16146
675.69/678.03 c #Conflicts: 224000 | #Constraints: 17146
675.69/678.03 c #Conflicts: 225000 | #Constraints: 18146
675.69/678.03 c #Conflicts: 226000 | #Constraints: 19146
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 227000 | #Constraints: 10746
675.69/678.03 c #Conflicts: 228000 | #Constraints: 11746
675.69/678.03 c #Conflicts: 229000 | #Constraints: 12746
675.69/678.03 c #Conflicts: 230000 | #Constraints: 13746
675.69/678.03 c #Conflicts: 231000 | #Constraints: 14746
675.69/678.03 c #Conflicts: 232000 | #Constraints: 15746
675.69/678.03 c #Conflicts: 233000 | #Constraints: 16746
675.69/678.03 c #Conflicts: 234000 | #Constraints: 17746
675.69/678.03 c #Conflicts: 235000 | #Constraints: 18746
675.69/678.03 c #Conflicts: 236000 | #Constraints: 19746
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 237000 | #Constraints: 11140
675.69/678.03 c #Conflicts: 238000 | #Constraints: 12140
675.69/678.03 c #Conflicts: 239000 | #Constraints: 13140
675.69/678.03 c #Conflicts: 240000 | #Constraints: 14140
675.69/678.03 c #Conflicts: 241000 | #Constraints: 15140
675.69/678.03 c #Conflicts: 242000 | #Constraints: 16140
675.69/678.03 c #Conflicts: 243000 | #Constraints: 17140
675.69/678.03 c #Conflicts: 244000 | #Constraints: 18140
675.69/678.03 c #Conflicts: 245000 | #Constraints: 19140
675.69/678.03 c #Conflicts: 246000 | #Constraints: 20140
675.69/678.03 c INPROCESSING
675.69/678.03 c GARBAGE COLLECT
675.69/678.03 c #Conflicts: 247000 | #Constraints: 11344
675.69/678.03 c #Conflicts: 248000 | #Constraints: 12344
675.69/678.03 c #Conflicts: 249000 | #Constraints: 13344
675.69/678.03 c #Conflicts: 250000 | #Constraints: 14344
675.69/678.03 c #Conflicts: 251000 | #Constraints: 15344
675.69/678.03 c #Conflicts: 252000 | #Constraints: 16344
833.43/836.38 c #Conflicts: 253000 | #Constraints: 17344
833.43/836.38 c #Conflicts: 254000 | #Constraints: 18344
833.43/836.38 c #Conflicts: 255000 | #Constraints: 19344
833.43/836.38 c #Conflicts: 256000 | #Constraints: 20344
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 257000 | #Constraints: 11345
833.43/836.38 c #Conflicts: 258000 | #Constraints: 12345
833.43/836.38 c #Conflicts: 259000 | #Constraints: 13345
833.43/836.38 c #Conflicts: 260000 | #Constraints: 14345
833.43/836.38 c #Conflicts: 261000 | #Constraints: 15345
833.43/836.38 c #Conflicts: 262000 | #Constraints: 16345
833.43/836.38 c #Conflicts: 263000 | #Constraints: 17345
833.43/836.38 c #Conflicts: 264000 | #Constraints: 18345
833.43/836.38 c #Conflicts: 265000 | #Constraints: 19345
833.43/836.38 c #Conflicts: 266000 | #Constraints: 20345
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 267000 | #Constraints: 11146
833.43/836.38 c #Conflicts: 268000 | #Constraints: 12146
833.43/836.38 c #Conflicts: 269000 | #Constraints: 13146
833.43/836.38 c #Conflicts: 270000 | #Constraints: 14146
833.43/836.38 c #Conflicts: 271000 | #Constraints: 15146
833.43/836.38 c #Conflicts: 272000 | #Constraints: 16146
833.43/836.38 c #Conflicts: 273000 | #Constraints: 17146
833.43/836.38 c #Conflicts: 274000 | #Constraints: 18146
833.43/836.38 c #Conflicts: 275000 | #Constraints: 19146
833.43/836.38 c #Conflicts: 276000 | #Constraints: 20146
833.43/836.38 c #Conflicts: 277000 | #Constraints: 21146
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 278000 | #Constraints: 11746
833.43/836.38 c #Conflicts: 279000 | #Constraints: 12746
833.43/836.38 c #Conflicts: 280000 | #Constraints: 13746
833.43/836.38 c #Conflicts: 281000 | #Constraints: 14746
833.43/836.38 c #Conflicts: 282000 | #Constraints: 15746
833.43/836.38 c #Conflicts: 283000 | #Constraints: 16746
833.43/836.38 c #Conflicts: 284000 | #Constraints: 17746
833.43/836.38 c #Conflicts: 285000 | #Constraints: 18746
833.43/836.38 c #Conflicts: 286000 | #Constraints: 19746
833.43/836.38 c #Conflicts: 287000 | #Constraints: 20746
833.43/836.38 c #Conflicts: 288000 | #Constraints: 21746
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 289000 | #Constraints: 12148
833.43/836.38 c #Conflicts: 290000 | #Constraints: 13148
833.43/836.38 c #Conflicts: 291000 | #Constraints: 14148
833.43/836.38 c #Conflicts: 292000 | #Constraints: 15148
833.43/836.38 c #Conflicts: 293000 | #Constraints: 16148
833.43/836.38 c #Conflicts: 294000 | #Constraints: 17148
833.43/836.38 c #Conflicts: 295000 | #Constraints: 18148
833.43/836.38 c #Conflicts: 296000 | #Constraints: 19148
833.43/836.38 c #Conflicts: 297000 | #Constraints: 20148
833.43/836.38 c #Conflicts: 298000 | #Constraints: 21148
833.43/836.38 c #Conflicts: 299000 | #Constraints: 22148
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 300000 | #Constraints: 12348
833.43/836.38 c #Conflicts: 301000 | #Constraints: 13348
833.43/836.38 c #Conflicts: 302000 | #Constraints: 14348
833.43/836.38 c #Conflicts: 303000 | #Constraints: 15348
833.43/836.38 c #Conflicts: 304000 | #Constraints: 16348
833.43/836.38 c #Conflicts: 305000 | #Constraints: 17348
833.43/836.38 c #Conflicts: 306000 | #Constraints: 18348
833.43/836.38 c #Conflicts: 307000 | #Constraints: 19348
833.43/836.38 c #Conflicts: 308000 | #Constraints: 20348
833.43/836.38 c #Conflicts: 309000 | #Constraints: 21348
833.43/836.38 c #Conflicts: 310000 | #Constraints: 22348
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 311000 | #Constraints: 12347
833.43/836.38 c #Conflicts: 312000 | #Constraints: 13347
833.43/836.38 c #Conflicts: 313000 | #Constraints: 14347
833.43/836.38 c #Conflicts: 314000 | #Constraints: 15347
833.43/836.38 c #Conflicts: 315000 | #Constraints: 16347
833.43/836.38 c #Conflicts: 316000 | #Constraints: 17347
833.43/836.38 c #Conflicts: 317000 | #Constraints: 18347
833.43/836.38 c #Conflicts: 318000 | #Constraints: 19347
833.43/836.38 c #Conflicts: 319000 | #Constraints: 20347
833.43/836.38 c #Conflicts: 320000 | #Constraints: 21347
833.43/836.38 c #Conflicts: 321000 | #Constraints: 22347
833.43/836.38 c INPROCESSING
833.43/836.38 c GARBAGE COLLECT
833.43/836.38 c #Conflicts: 322000 | #Constraints: 12147
833.43/836.38 c #Conflicts: 323000 | #Constraints: 13147
833.43/836.38 c #Conflicts: 324000 | #Constraints: 14147
833.43/836.38 c #Conflicts: 325000 | #Constraints: 15147
833.43/836.38 c #Conflicts: 326000 | #Constraints: 16147
1023.68/1027.21 c #Conflicts: 327000 | #Constraints: 17147
1023.68/1027.21 c #Conflicts: 328000 | #Constraints: 18147
1023.68/1027.21 c #Conflicts: 329000 | #Constraints: 19147
1023.68/1027.21 c #Conflicts: 330000 | #Constraints: 20147
1023.68/1027.21 c #Conflicts: 331000 | #Constraints: 21147
1023.68/1027.21 c #Conflicts: 332000 | #Constraints: 22147
1023.68/1027.21 c #Conflicts: 333000 | #Constraints: 23147
1023.68/1027.21 c INPROCESSING
1023.68/1027.21 c GARBAGE COLLECT
1023.68/1027.21 c #Conflicts: 334000 | #Constraints: 12745
1023.68/1027.21 c #Conflicts: 335000 | #Constraints: 13745
1023.68/1027.21 c #Conflicts: 336000 | #Constraints: 14745
1023.68/1027.21 c #Conflicts: 337000 | #Constraints: 15745
1023.68/1027.21 c #Conflicts: 338000 | #Constraints: 16745
1023.68/1027.21 c #Conflicts: 339000 | #Constraints: 17745
1023.68/1027.21 c #Conflicts: 340000 | #Constraints: 18745
1023.68/1027.21 c #Conflicts: 341000 | #Constraints: 19745
1023.68/1027.21 c #Conflicts: 342000 | #Constraints: 20745
1023.68/1027.21 c #Conflicts: 343000 | #Constraints: 21745
1023.68/1027.21 c #Conflicts: 344000 | #Constraints: 22745
1023.68/1027.21 c #Conflicts: 345000 | #Constraints: 23745
1023.68/1027.21 c INPROCESSING
1023.68/1027.21 c GARBAGE COLLECT
1023.68/1027.21 c #Conflicts: 346000 | #Constraints: 13146
1023.68/1027.21 c #Conflicts: 347000 | #Constraints: 14146
1023.68/1027.21 c #Conflicts: 348000 | #Constraints: 15146
1023.68/1027.21 c #Conflicts: 349000 | #Constraints: 16146
1023.68/1027.21 c #Conflicts: 350000 | #Constraints: 17146
1023.68/1027.21 c #Conflicts: 351000 | #Constraints: 18146
1023.68/1027.21 c #Conflicts: 352000 | #Constraints: 19146
1023.68/1027.21 c #Conflicts: 353000 | #Constraints: 20146
1023.68/1027.21 c #Conflicts: 354000 | #Constraints: 21146
1023.68/1027.21 c #Conflicts: 355000 | #Constraints: 22146
1023.68/1027.21 c #Conflicts: 356000 | #Constraints: 23146
1023.68/1027.21 c #Conflicts: 357000 | #Constraints: 24146
1023.68/1027.21 c INPROCESSING
1023.68/1027.21 c GARBAGE COLLECT
1023.68/1027.21 c #Conflicts: 358000 | #Constraints: 13345
1023.68/1027.21 c #Conflicts: 359000 | #Constraints: 14345
1023.68/1027.21 c #Conflicts: 360000 | #Constraints: 15345
1023.68/1027.21 c #Conflicts: 361000 | #Constraints: 16345
1023.68/1027.21 c #Conflicts: 362000 | #Constraints: 17345
1023.68/1027.21 c #Conflicts: 363000 | #Constraints: 18345
1023.68/1027.21 c #Conflicts: 364000 | #Constraints: 19345
1023.68/1027.21 c #Conflicts: 365000 | #Constraints: 20345
1023.68/1027.21 c #Conflicts: 366000 | #Constraints: 21345
1023.68/1027.21 c #Conflicts: 367000 | #Constraints: 22345
1023.68/1027.21 c #Conflicts: 368000 | #Constraints: 23345
1023.68/1027.21 c #Conflicts: 369000 | #Constraints: 24345
1023.68/1027.21 c INPROCESSING
1023.68/1027.21 c GARBAGE COLLECT
1023.68/1027.21 c #Conflicts: 370000 | #Constraints: 13347
1023.68/1027.21 c #Conflicts: 371000 | #Constraints: 14347
1023.68/1027.21 c #Conflicts: 372000 | #Constraints: 15347
1023.68/1027.21 c #Conflicts: 373000 | #Constraints: 16347
1023.68/1027.21 c #Conflicts: 374000 | #Constraints: 17347
1023.68/1027.21 c #Conflicts: 375000 | #Constraints: 18347
1023.68/1027.21 c #Conflicts: 376000 | #Constraints: 19347
1023.68/1027.21 c #Conflicts: 377000 | #Constraints: 20347
1023.68/1027.21 c #Conflicts: 378000 | #Constraints: 21347
1023.68/1027.21 c #Conflicts: 379000 | #Constraints: 22347
1023.68/1027.21 c #Conflicts: 380000 | #Constraints: 23347
1023.68/1027.21 c #Conflicts: 381000 | #Constraints: 24347
1023.68/1027.21 c INPROCESSING
1023.68/1027.21 c GARBAGE COLLECT
1023.68/1027.21 c #Conflicts: 382000 | #Constraints: 13145
1023.68/1027.21 c #Conflicts: 383000 | #Constraints: 14145
1023.68/1027.21 c #Conflicts: 384000 | #Constraints: 15145
1023.68/1027.21 c #Conflicts: 385000 | #Constraints: 16145
1023.68/1027.21 c #Conflicts: 386000 | #Constraints: 17145
1023.68/1027.21 c #Conflicts: 387000 | #Constraints: 18145
1023.68/1027.21 c #Conflicts: 388000 | #Constraints: 19145
1023.68/1027.21 c #Conflicts: 389000 | #Constraints: 20145
1023.68/1027.21 c #Conflicts: 390000 | #Constraints: 21145
1023.68/1027.21 c #Conflicts: 391000 | #Constraints: 22145
1023.68/1027.21 c #Conflicts: 392000 | #Constraints: 23145
1023.68/1027.21 c #Conflicts: 393000 | #Constraints: 24145
1023.68/1027.21 c #Conflicts: 394000 | #Constraints: 25145
1023.68/1027.21 c INPROCESSING
1023.68/1027.21 c GARBAGE COLLECT
1023.68/1027.21 c #Conflicts: 395000 | #Constraints: 13746
1023.68/1027.21 c #Conflicts: 396000 | #Constraints: 14746
1023.68/1027.21 c #Conflicts: 397000 | #Constraints: 15746
1023.68/1027.21 c #Conflicts: 398000 | #Constraints: 16746
1023.68/1027.21 c #Conflicts: 399000 | #Constraints: 17746
1023.68/1027.21 c #Conflicts: 400000 | #Constraints: 18746
1023.68/1027.21 c #Conflicts: 401000 | #Constraints: 19746
1273.52/1277.97 c #Conflicts: 402000 | #Constraints: 20746
1273.52/1277.97 c #Conflicts: 403000 | #Constraints: 21746
1273.52/1277.97 c #Conflicts: 404000 | #Constraints: 22746
1273.52/1277.97 c #Conflicts: 405000 | #Constraints: 23746
1273.52/1277.97 c #Conflicts: 406000 | #Constraints: 24746
1273.52/1277.97 c #Conflicts: 407000 | #Constraints: 25746
1273.52/1277.97 c INPROCESSING
1273.52/1277.97 c GARBAGE COLLECT
1273.52/1277.97 c #Conflicts: 408000 | #Constraints: 14143
1273.52/1277.97 c #Conflicts: 409000 | #Constraints: 15143
1273.52/1277.97 c #Conflicts: 410000 | #Constraints: 16143
1273.52/1277.97 c #Conflicts: 411000 | #Constraints: 17143
1273.52/1277.97 c #Conflicts: 412000 | #Constraints: 18143
1273.52/1277.97 c #Conflicts: 413000 | #Constraints: 19143
1273.52/1277.97 c #Conflicts: 414000 | #Constraints: 20143
1273.52/1277.97 c #Conflicts: 415000 | #Constraints: 21143
1273.52/1277.97 c #Conflicts: 416000 | #Constraints: 22143
1273.52/1277.97 c #Conflicts: 417000 | #Constraints: 23143
1273.52/1277.97 c #Conflicts: 418000 | #Constraints: 24143
1273.52/1277.97 c #Conflicts: 419000 | #Constraints: 25143
1273.52/1277.97 c #Conflicts: 420000 | #Constraints: 26143
1273.52/1277.97 c INPROCESSING
1273.52/1277.97 c GARBAGE COLLECT
1273.52/1277.97 c #Conflicts: 421000 | #Constraints: 14346
1273.52/1277.97 c #Conflicts: 422000 | #Constraints: 15346
1273.52/1277.97 c #Conflicts: 423000 | #Constraints: 16346
1273.52/1277.97 c #Conflicts: 424000 | #Constraints: 17346
1273.52/1277.97 c #Conflicts: 425000 | #Constraints: 18346
1273.52/1277.97 c #Conflicts: 426000 | #Constraints: 19346
1273.52/1277.97 c #Conflicts: 427000 | #Constraints: 20346
1273.52/1277.97 c #Conflicts: 428000 | #Constraints: 21346
1273.52/1277.97 c #Conflicts: 429000 | #Constraints: 22346
1273.52/1277.97 c #Conflicts: 430000 | #Constraints: 23346
1273.52/1277.97 c #Conflicts: 431000 | #Constraints: 24346
1273.52/1277.97 c #Conflicts: 432000 | #Constraints: 25346
1273.52/1277.97 c #Conflicts: 433000 | #Constraints: 26346
1273.52/1277.97 c INPROCESSING
1273.52/1277.97 c GARBAGE COLLECT
1273.52/1277.97 c #Conflicts: 434000 | #Constraints: 14349
1273.52/1277.97 c #Conflicts: 435000 | #Constraints: 15349
1273.52/1277.97 c #Conflicts: 436000 | #Constraints: 16349
1273.52/1277.97 c #Conflicts: 437000 | #Constraints: 17349
1273.52/1277.97 c #Conflicts: 438000 | #Constraints: 18349
1273.52/1277.97 c #Conflicts: 439000 | #Constraints: 19349
1273.52/1277.97 c #Conflicts: 440000 | #Constraints: 20349
1273.52/1277.97 c #Conflicts: 441000 | #Constraints: 21349
1273.52/1277.97 c #Conflicts: 442000 | #Constraints: 22349
1273.52/1277.97 c #Conflicts: 443000 | #Constraints: 23349
1273.52/1277.97 c #Conflicts: 444000 | #Constraints: 24349
1273.52/1277.97 c #Conflicts: 445000 | #Constraints: 25349
1273.52/1277.97 c #Conflicts: 446000 | #Constraints: 26349
1273.52/1277.97 c INPROCESSING
1273.52/1277.97 c GARBAGE COLLECT
1273.52/1277.97 c #Conflicts: 447000 | #Constraints: 14157
1273.52/1277.97 c #Conflicts: 448000 | #Constraints: 15157
1273.52/1277.97 c #Conflicts: 449000 | #Constraints: 16157
1273.52/1277.97 c #Conflicts: 450000 | #Constraints: 17157
1273.52/1277.97 c #Conflicts: 451000 | #Constraints: 18157
1273.52/1277.97 c #Conflicts: 452000 | #Constraints: 19157
1273.52/1277.97 c #Conflicts: 453000 | #Constraints: 20157
1273.52/1277.97 c #Conflicts: 454000 | #Constraints: 21157
1273.52/1277.97 c #Conflicts: 455000 | #Constraints: 22157
1273.52/1277.97 c #Conflicts: 456000 | #Constraints: 23157
1273.52/1277.97 c #Conflicts: 457000 | #Constraints: 24157
1273.52/1277.97 c #Conflicts: 458000 | #Constraints: 25157
1273.52/1277.97 c #Conflicts: 459000 | #Constraints: 26157
1273.52/1277.97 c #Conflicts: 460000 | #Constraints: 27157
1273.52/1277.97 c INPROCESSING
1273.52/1277.97 c GARBAGE COLLECT
1273.52/1277.97 c #Conflicts: 461000 | #Constraints: 14755
1273.52/1277.97 c #Conflicts: 462000 | #Constraints: 15755
1273.52/1277.97 c #Conflicts: 463000 | #Constraints: 16755
1273.52/1277.97 c #Conflicts: 464000 | #Constraints: 17755
1273.52/1277.97 c #Conflicts: 465000 | #Constraints: 18755
1273.52/1277.97 c #Conflicts: 466000 | #Constraints: 19755
1273.52/1277.97 c #Conflicts: 467000 | #Constraints: 20755
1273.52/1277.97 c #Conflicts: 468000 | #Constraints: 21755
1273.52/1277.97 c #Conflicts: 469000 | #Constraints: 22755
1273.52/1277.97 c #Conflicts: 470000 | #Constraints: 23755
1273.52/1277.97 c #Conflicts: 471000 | #Constraints: 24755
1273.52/1277.97 c #Conflicts: 472000 | #Constraints: 25755
1273.52/1277.97 c #Conflicts: 473000 | #Constraints: 26755
1273.52/1277.97 c #Conflicts: 474000 | #Constraints: 27755
1273.52/1277.97 c INPROCESSING
1273.52/1277.97 c GARBAGE COLLECT
1273.52/1277.97 c #Conflicts: 475000 | #Constraints: 15159
1273.52/1277.97 c #Conflicts: 476000 | #Constraints: 16159
1516.70/1522.00 c #Conflicts: 477000 | #Constraints: 17159
1516.70/1522.00 c #Conflicts: 478000 | #Constraints: 18159
1516.70/1522.00 c #Conflicts: 479000 | #Constraints: 19159
1516.70/1522.00 c #Conflicts: 480000 | #Constraints: 20159
1516.70/1522.00 c #Conflicts: 481000 | #Constraints: 21159
1516.70/1522.00 c #Conflicts: 482000 | #Constraints: 22159
1516.70/1522.00 c #Conflicts: 483000 | #Constraints: 23159
1516.70/1522.00 c #Conflicts: 484000 | #Constraints: 24159
1516.70/1522.00 c #Conflicts: 485000 | #Constraints: 25159
1516.70/1522.00 c #Conflicts: 486000 | #Constraints: 26159
1516.70/1522.00 c #Conflicts: 487000 | #Constraints: 27159
1516.70/1522.00 c #Conflicts: 488000 | #Constraints: 28159
1516.70/1522.00 c INPROCESSING
1516.70/1522.00 c GARBAGE COLLECT
1516.70/1522.00 c #Conflicts: 489000 | #Constraints: 15358
1516.70/1522.00 c #Conflicts: 490000 | #Constraints: 16358
1516.70/1522.00 c #Conflicts: 491000 | #Constraints: 17358
1516.70/1522.00 c #Conflicts: 492000 | #Constraints: 18358
1516.70/1522.00 c #Conflicts: 493000 | #Constraints: 19358
1516.70/1522.00 c #Conflicts: 494000 | #Constraints: 20358
1516.70/1522.00 c #Conflicts: 495000 | #Constraints: 21358
1516.70/1522.00 c #Conflicts: 496000 | #Constraints: 22358
1516.70/1522.00 c #Conflicts: 497000 | #Constraints: 23358
1516.70/1522.00 c #Conflicts: 498000 | #Constraints: 24358
1516.70/1522.00 c #Conflicts: 499000 | #Constraints: 25358
1516.70/1522.00 c #Conflicts: 500000 | #Constraints: 26358
1516.70/1522.00 c #Conflicts: 501000 | #Constraints: 27358
1516.70/1522.00 c #Conflicts: 502000 | #Constraints: 28358
1516.70/1522.00 c INPROCESSING
1516.70/1522.00 c GARBAGE COLLECT
1516.70/1522.00 c #Conflicts: 503000 | #Constraints: 15360
1516.70/1522.00 c #Conflicts: 504000 | #Constraints: 16360
1516.70/1522.00 c #Conflicts: 505000 | #Constraints: 17360
1516.70/1522.00 c #Conflicts: 506000 | #Constraints: 18360
1516.70/1522.00 c #Conflicts: 507000 | #Constraints: 19360
1516.70/1522.00 c #Conflicts: 508000 | #Constraints: 20360
1516.70/1522.00 c #Conflicts: 509000 | #Constraints: 21360
1516.70/1522.00 c #Conflicts: 510000 | #Constraints: 22360
1516.70/1522.00 c #Conflicts: 511000 | #Constraints: 23360
1516.70/1522.00 c #Conflicts: 512000 | #Constraints: 24360
1516.70/1522.00 c #Conflicts: 513000 | #Constraints: 25360
1516.70/1522.00 c #Conflicts: 514000 | #Constraints: 26360
1516.70/1522.00 c #Conflicts: 515000 | #Constraints: 27360
1516.70/1522.00 c #Conflicts: 516000 | #Constraints: 28360
1516.70/1522.00 c INPROCESSING
1516.70/1522.00 c GARBAGE COLLECT
1516.70/1522.00 c #Conflicts: 517000 | #Constraints: 15153
1516.70/1522.00 c #Conflicts: 518000 | #Constraints: 16153
1516.70/1522.00 c #Conflicts: 519000 | #Constraints: 17153
1516.70/1522.00 c #Conflicts: 520000 | #Constraints: 18153
1516.70/1522.00 c #Conflicts: 521000 | #Constraints: 19153
1516.70/1522.00 c #Conflicts: 522000 | #Constraints: 20153
1516.70/1522.00 c #Conflicts: 523000 | #Constraints: 21153
1516.70/1522.00 c #Conflicts: 524000 | #Constraints: 22153
1516.70/1522.00 c #Conflicts: 525000 | #Constraints: 23153
1516.70/1522.00 c #Conflicts: 526000 | #Constraints: 24153
1516.70/1522.00 c #Conflicts: 527000 | #Constraints: 25153
1516.70/1522.00 c #Conflicts: 528000 | #Constraints: 26153
1516.70/1522.00 c #Conflicts: 529000 | #Constraints: 27153
1516.70/1522.00 c #Conflicts: 530000 | #Constraints: 28153
1516.70/1522.00 c #Conflicts: 531000 | #Constraints: 29153
1516.70/1522.00 c INPROCESSING
1516.70/1522.00 c GARBAGE COLLECT
1516.70/1522.00 c #Conflicts: 532000 | #Constraints: 15750
1516.70/1522.00 c #Conflicts: 533000 | #Constraints: 16750
1516.70/1522.00 c #Conflicts: 534000 | #Constraints: 17750
1516.70/1522.00 c #Conflicts: 535000 | #Constraints: 18750
1516.70/1522.00 c #Conflicts: 536000 | #Constraints: 19750
1516.70/1522.00 c #Conflicts: 537000 | #Constraints: 20750
1516.70/1522.00 c #Conflicts: 538000 | #Constraints: 21750
1516.70/1522.00 c #Conflicts: 539000 | #Constraints: 22750
1516.70/1522.00 c #Conflicts: 540000 | #Constraints: 23750
1516.70/1522.00 c #Conflicts: 541000 | #Constraints: 24750
1516.70/1522.00 c #Conflicts: 542000 | #Constraints: 25750
1516.70/1522.00 c #Conflicts: 543000 | #Constraints: 26750
1516.70/1522.00 c #Conflicts: 544000 | #Constraints: 27750
1516.70/1522.00 c #Conflicts: 545000 | #Constraints: 28750
1516.70/1522.00 c #Conflicts: 546000 | #Constraints: 29750
1516.70/1522.00 c INPROCESSING
1516.70/1522.00 c GARBAGE COLLECT
1516.70/1522.00 c #Conflicts: 547000 | #Constraints: 16146
1516.70/1522.00 c #Conflicts: 548000 | #Constraints: 17146
1516.70/1522.00 c #Conflicts: 549000 | #Constraints: 18146
1516.70/1522.00 c #Conflicts: 550000 | #Constraints: 19146
1516.70/1522.00 c #Conflicts: 551000 | #Constraints: 20146
1764.09/1770.18 c #Conflicts: 552000 | #Constraints: 21146
1764.09/1770.18 c #Conflicts: 553000 | #Constraints: 22146
1764.09/1770.18 c #Conflicts: 554000 | #Constraints: 23146
1764.09/1770.18 c #Conflicts: 555000 | #Constraints: 24146
1764.09/1770.18 c #Conflicts: 556000 | #Constraints: 25146
1764.09/1770.18 c #Conflicts: 557000 | #Constraints: 26146
1764.09/1770.18 c #Conflicts: 558000 | #Constraints: 27146
1764.09/1770.18 c #Conflicts: 559000 | #Constraints: 28146
1764.09/1770.18 c #Conflicts: 560000 | #Constraints: 29146
1764.09/1770.18 c #Conflicts: 561000 | #Constraints: 30146
1764.09/1770.18 c INPROCESSING
1764.09/1770.18 c GARBAGE COLLECT
1764.09/1770.18 c #Conflicts: 562000 | #Constraints: 16346
1764.09/1770.18 c #Conflicts: 563000 | #Constraints: 17346
1764.09/1770.18 c #Conflicts: 564000 | #Constraints: 18346
1764.09/1770.18 c #Conflicts: 565000 | #Constraints: 19346
1764.09/1770.18 c #Conflicts: 566000 | #Constraints: 20346
1764.09/1770.18 c #Conflicts: 567000 | #Constraints: 21346
1764.09/1770.18 c #Conflicts: 568000 | #Constraints: 22346
1764.09/1770.18 c #Conflicts: 569000 | #Constraints: 23346
1764.09/1770.18 c #Conflicts: 570000 | #Constraints: 24346
1764.09/1770.18 c #Conflicts: 571000 | #Constraints: 25346
1764.09/1770.18 c #Conflicts: 572000 | #Constraints: 26346
1764.09/1770.18 c #Conflicts: 573000 | #Constraints: 27346
1764.09/1770.18 c #Conflicts: 574000 | #Constraints: 28346
1764.09/1770.18 c #Conflicts: 575000 | #Constraints: 29346
1764.09/1770.18 c #Conflicts: 576000 | #Constraints: 30346
1764.09/1770.18 c INPROCESSING
1764.09/1770.18 c GARBAGE COLLECT
1764.09/1770.18 c #Conflicts: 577000 | #Constraints: 16347
1764.09/1770.18 c #Conflicts: 578000 | #Constraints: 17347
1764.09/1770.18 c #Conflicts: 579000 | #Constraints: 18347
1764.09/1770.18 c #Conflicts: 580000 | #Constraints: 19347
1764.09/1770.18 c #Conflicts: 581000 | #Constraints: 20347
1764.09/1770.18 c #Conflicts: 582000 | #Constraints: 21347
1764.09/1770.18 c #Conflicts: 583000 | #Constraints: 22347
1764.09/1770.18 c #Conflicts: 584000 | #Constraints: 23347
1764.09/1770.18 c #Conflicts: 585000 | #Constraints: 24347
1764.09/1770.18 c #Conflicts: 586000 | #Constraints: 25347
1764.09/1770.18 c #Conflicts: 587000 | #Constraints: 26347
1764.09/1770.18 c #Conflicts: 588000 | #Constraints: 27347
1764.09/1770.18 c #Conflicts: 589000 | #Constraints: 28347
1764.09/1770.18 c #Conflicts: 590000 | #Constraints: 29347
1764.09/1770.18 c #Conflicts: 591000 | #Constraints: 30347
1764.09/1770.18 c INPROCESSING
1764.09/1770.18 c GARBAGE COLLECT
1764.09/1770.18 c #Conflicts: 592000 | #Constraints: 16148
1764.09/1770.18 c #Conflicts: 593000 | #Constraints: 17148
1764.09/1770.18 c #Conflicts: 594000 | #Constraints: 18148
1764.09/1770.18 c #Conflicts: 595000 | #Constraints: 19148
1764.09/1770.18 c #Conflicts: 596000 | #Constraints: 20148
1764.09/1770.18 c #Conflicts: 597000 | #Constraints: 21148
1764.09/1770.18 c #Conflicts: 598000 | #Constraints: 22148
1764.09/1770.18 c #Conflicts: 599000 | #Constraints: 23148
1764.09/1770.18 c #Conflicts: 600000 | #Constraints: 24148
1764.09/1770.18 c #Conflicts: 601000 | #Constraints: 25148
1764.09/1770.18 c #Conflicts: 602000 | #Constraints: 26148
1764.09/1770.18 c #Conflicts: 603000 | #Constraints: 27148
1764.09/1770.18 c #Conflicts: 604000 | #Constraints: 28148
1764.09/1770.18 c #Conflicts: 605000 | #Constraints: 29148
1764.09/1770.18 c #Conflicts: 606000 | #Constraints: 30148
1764.09/1770.18 c #Conflicts: 607000 | #Constraints: 31148
1764.09/1770.18 c INPROCESSING
1764.09/1770.18 c GARBAGE COLLECT
1764.09/1770.18 c #Conflicts: 608000 | #Constraints: 16752
1764.09/1770.18 c #Conflicts: 609000 | #Constraints: 17752
1764.09/1770.18 c #Conflicts: 610000 | #Constraints: 18752
1764.09/1770.18 c #Conflicts: 611000 | #Constraints: 19752
1764.09/1770.18 c #Conflicts: 612000 | #Constraints: 20752
1764.09/1770.18 c #Conflicts: 613000 | #Constraints: 21752
1764.09/1770.18 c #Conflicts: 614000 | #Constraints: 22752
1764.09/1770.18 c #Conflicts: 615000 | #Constraints: 23752
1764.09/1770.18 c #Conflicts: 616000 | #Constraints: 24752
1764.09/1770.18 c #Conflicts: 617000 | #Constraints: 25752
1764.09/1770.18 c #Conflicts: 618000 | #Constraints: 26752
1764.09/1770.18 c #Conflicts: 619000 | #Constraints: 27752
1764.09/1770.18 c #Conflicts: 620000 | #Constraints: 28752
1764.09/1770.18 c #Conflicts: 621000 | #Constraints: 29752
1764.09/1770.18 c #Conflicts: 622000 | #Constraints: 30752
1764.09/1770.18 c #Conflicts: 623000 | #Constraints: 31752
1764.09/1770.18 c INPROCESSING
1764.09/1770.18 c GARBAGE COLLECT
1764.09/1770.18 c #Conflicts: 624000 | #Constraints: 17150
1764.09/1770.18 c #Conflicts: 625000 | #Constraints: 18150
1764.09/1770.18 c #Conflicts: 626000 | #Constraints: 19150
1764.09/1770.18 c #Conflicts: 627000 | #Constraints: 20150
2047.83/2054.87 c #Conflicts: 628000 | #Constraints: 21150
2047.83/2054.87 c #Conflicts: 629000 | #Constraints: 22150
2047.83/2054.87 c #Conflicts: 630000 | #Constraints: 23150
2047.83/2054.87 c #Conflicts: 631000 | #Constraints: 24150
2047.83/2054.87 c #Conflicts: 632000 | #Constraints: 25150
2047.83/2054.87 c #Conflicts: 633000 | #Constraints: 26150
2047.83/2054.87 c #Conflicts: 634000 | #Constraints: 27150
2047.83/2054.87 c #Conflicts: 635000 | #Constraints: 28150
2047.83/2054.87 c #Conflicts: 636000 | #Constraints: 29150
2047.83/2054.87 c #Conflicts: 637000 | #Constraints: 30150
2047.83/2054.87 c #Conflicts: 638000 | #Constraints: 31150
2047.83/2054.87 c #Conflicts: 639000 | #Constraints: 32150
2047.83/2054.87 c INPROCESSING
2047.83/2054.87 c GARBAGE COLLECT
2047.83/2054.87 c #Conflicts: 640000 | #Constraints: 17351
2047.83/2054.87 c #Conflicts: 641000 | #Constraints: 18351
2047.83/2054.87 c #Conflicts: 642000 | #Constraints: 19351
2047.83/2054.87 c #Conflicts: 643000 | #Constraints: 20351
2047.83/2054.87 c #Conflicts: 644000 | #Constraints: 21351
2047.83/2054.87 c #Conflicts: 645000 | #Constraints: 22351
2047.83/2054.87 c #Conflicts: 646000 | #Constraints: 23351
2047.83/2054.87 c #Conflicts: 647000 | #Constraints: 24351
2047.83/2054.87 c #Conflicts: 648000 | #Constraints: 25351
2047.83/2054.87 c #Conflicts: 649000 | #Constraints: 26351
2047.83/2054.87 c #Conflicts: 650000 | #Constraints: 27351
2047.83/2054.87 c #Conflicts: 651000 | #Constraints: 28351
2047.83/2054.87 c #Conflicts: 652000 | #Constraints: 29351
2047.83/2054.87 c #Conflicts: 653000 | #Constraints: 30351
2047.83/2054.87 c #Conflicts: 654000 | #Constraints: 31351
2047.83/2054.87 c #Conflicts: 655000 | #Constraints: 32351
2047.83/2054.87 c INPROCESSING
2047.83/2054.87 c GARBAGE COLLECT
2047.83/2054.87 c #Conflicts: 656000 | #Constraints: 17354
2047.83/2054.87 c #Conflicts: 657000 | #Constraints: 18354
2047.83/2054.87 c #Conflicts: 658000 | #Constraints: 19354
2047.83/2054.87 c #Conflicts: 659000 | #Constraints: 20354
2047.83/2054.87 c #Conflicts: 660000 | #Constraints: 21354
2047.83/2054.87 c #Conflicts: 661000 | #Constraints: 22354
2047.83/2054.87 c #Conflicts: 662000 | #Constraints: 23354
2047.83/2054.87 c #Conflicts: 663000 | #Constraints: 24354
2047.83/2054.87 c #Conflicts: 664000 | #Constraints: 25354
2047.83/2054.87 c #Conflicts: 665000 | #Constraints: 26354
2047.83/2054.87 c #Conflicts: 666000 | #Constraints: 27354
2047.83/2054.87 c #Conflicts: 667000 | #Constraints: 28354
2047.83/2054.87 c #Conflicts: 668000 | #Constraints: 29354
2047.83/2054.87 c #Conflicts: 669000 | #Constraints: 30354
2047.83/2054.87 c #Conflicts: 670000 | #Constraints: 31354
2047.83/2054.87 c #Conflicts: 671000 | #Constraints: 32354
2047.83/2054.87 c INPROCESSING
2047.83/2054.87 c GARBAGE COLLECT
2047.83/2054.87 c #Conflicts: 672000 | #Constraints: 17152
2047.83/2054.87 c #Conflicts: 673000 | #Constraints: 18152
2047.83/2054.87 c #Conflicts: 674000 | #Constraints: 19152
2047.83/2054.87 c #Conflicts: 675000 | #Constraints: 20152
2047.83/2054.87 c #Conflicts: 676000 | #Constraints: 21152
2047.83/2054.87 c #Conflicts: 677000 | #Constraints: 22152
2047.83/2054.87 c #Conflicts: 678000 | #Constraints: 23152
2047.83/2054.87 c #Conflicts: 679000 | #Constraints: 24152
2047.83/2054.87 c #Conflicts: 680000 | #Constraints: 25152
2047.83/2054.87 c #Conflicts: 681000 | #Constraints: 26152
2047.83/2054.87 c #Conflicts: 682000 | #Constraints: 27152
2047.83/2054.87 c #Conflicts: 683000 | #Constraints: 28152
2047.83/2054.87 c #Conflicts: 684000 | #Constraints: 29152
2047.83/2054.87 c #Conflicts: 685000 | #Constraints: 30152
2047.83/2054.87 c #Conflicts: 686000 | #Constraints: 31152
2047.83/2054.87 c #Conflicts: 687000 | #Constraints: 32152
2047.83/2054.87 c #Conflicts: 688000 | #Constraints: 33152
2047.83/2054.87 c INPROCESSING
2047.83/2054.87 c GARBAGE COLLECT
2047.83/2054.87 c #Conflicts: 689000 | #Constraints: 17749
2047.83/2054.87 c #Conflicts: 690000 | #Constraints: 18749
2047.83/2054.87 c #Conflicts: 691000 | #Constraints: 19749
2047.83/2054.87 c #Conflicts: 692000 | #Constraints: 20749
2047.83/2054.87 c #Conflicts: 693000 | #Constraints: 21749
2047.83/2054.87 c #Conflicts: 694000 | #Constraints: 22749
2047.83/2054.87 c #Conflicts: 695000 | #Constraints: 23749
2047.83/2054.87 c #Conflicts: 696000 | #Constraints: 24749
2047.83/2054.87 c #Conflicts: 697000 | #Constraints: 25749
2047.83/2054.87 c #Conflicts: 698000 | #Constraints: 26749
2047.83/2054.87 c #Conflicts: 699000 | #Constraints: 27749
2047.83/2054.87 c #Conflicts: 700000 | #Constraints: 28749
2047.83/2054.87 c #Conflicts: 701000 | #Constraints: 29749
2047.83/2054.87 c #Conflicts: 702000 | #Constraints: 30749
2047.83/2054.87 c #Conflicts: 703000 | #Constraints: 31749
2372.81/2380.97 c #Conflicts: 704000 | #Constraints: 32749
2372.81/2380.97 c #Conflicts: 705000 | #Constraints: 33749
2372.81/2380.97 c INPROCESSING
2372.81/2380.97 c GARBAGE COLLECT
2372.81/2380.97 c #Conflicts: 706000 | #Constraints: 18149
2372.81/2380.97 c #Conflicts: 707000 | #Constraints: 19149
2372.81/2380.97 c #Conflicts: 708000 | #Constraints: 20149
2372.81/2380.97 c #Conflicts: 709000 | #Constraints: 21149
2372.81/2380.97 c #Conflicts: 710000 | #Constraints: 22149
2372.81/2380.97 c #Conflicts: 711000 | #Constraints: 23149
2372.81/2380.97 c #Conflicts: 712000 | #Constraints: 24149
2372.81/2380.97 c #Conflicts: 713000 | #Constraints: 25149
2372.81/2380.97 c #Conflicts: 714000 | #Constraints: 26149
2372.81/2380.97 c #Conflicts: 715000 | #Constraints: 27149
2372.81/2380.97 c #Conflicts: 716000 | #Constraints: 28149
2372.81/2380.97 c #Conflicts: 717000 | #Constraints: 29149
2372.81/2380.97 c #Conflicts: 718000 | #Constraints: 30149
2372.81/2380.97 c #Conflicts: 719000 | #Constraints: 31149
2372.81/2380.97 c #Conflicts: 720000 | #Constraints: 32149
2372.81/2380.97 c #Conflicts: 721000 | #Constraints: 33149
2372.81/2380.97 c #Conflicts: 722000 | #Constraints: 34149
2372.81/2380.97 c INPROCESSING
2372.81/2380.97 c GARBAGE COLLECT
2372.81/2380.97 c #Conflicts: 723000 | #Constraints: 18352
2372.81/2380.97 c #Conflicts: 724000 | #Constraints: 19352
2372.81/2380.97 c #Conflicts: 725000 | #Constraints: 20352
2372.81/2380.97 c #Conflicts: 726000 | #Constraints: 21352
2372.81/2380.97 c #Conflicts: 727000 | #Constraints: 22352
2372.81/2380.97 c #Conflicts: 728000 | #Constraints: 23352
2372.81/2380.97 c #Conflicts: 729000 | #Constraints: 24352
2372.81/2380.97 c #Conflicts: 730000 | #Constraints: 25352
2372.81/2380.97 c #Conflicts: 731000 | #Constraints: 26352
2372.81/2380.97 c #Conflicts: 732000 | #Constraints: 27352
2372.81/2380.97 c #Conflicts: 733000 | #Constraints: 28352
2372.81/2380.97 c #Conflicts: 734000 | #Constraints: 29352
2372.81/2380.97 c #Conflicts: 735000 | #Constraints: 30352
2372.81/2380.97 c #Conflicts: 736000 | #Constraints: 31352
2372.81/2380.97 c #Conflicts: 737000 | #Constraints: 32352
2372.81/2380.97 c #Conflicts: 738000 | #Constraints: 33352
2372.81/2380.97 c #Conflicts: 739000 | #Constraints: 34352
2372.81/2380.97 c INPROCESSING
2372.81/2380.97 c GARBAGE COLLECT
2372.81/2380.97 c #Conflicts: 740000 | #Constraints: 18353
2372.81/2380.97 c #Conflicts: 741000 | #Constraints: 19353
2372.81/2380.97 c #Conflicts: 742000 | #Constraints: 20353
2372.81/2380.97 c #Conflicts: 743000 | #Constraints: 21353
2372.81/2380.97 c #Conflicts: 744000 | #Constraints: 22353
2372.81/2380.97 c #Conflicts: 745000 | #Constraints: 23353
2372.81/2380.97 c #Conflicts: 746000 | #Constraints: 24353
2372.81/2380.97 c #Conflicts: 747000 | #Constraints: 25353
2372.81/2380.97 c #Conflicts: 748000 | #Constraints: 26353
2372.81/2380.97 c #Conflicts: 749000 | #Constraints: 27353
2372.81/2380.97 c #Conflicts: 750000 | #Constraints: 28353
2372.81/2380.97 c #Conflicts: 751000 | #Constraints: 29353
2372.81/2380.97 c #Conflicts: 752000 | #Constraints: 30353
2372.81/2380.97 c #Conflicts: 753000 | #Constraints: 31353
2372.81/2380.97 c #Conflicts: 754000 | #Constraints: 32353
2372.81/2380.97 c #Conflicts: 755000 | #Constraints: 33353
2372.81/2380.97 c #Conflicts: 756000 | #Constraints: 34353
2372.81/2380.97 c INPROCESSING
2372.81/2380.97 c GARBAGE COLLECT
2372.81/2380.97 c #Conflicts: 757000 | #Constraints: 18153
2372.81/2380.97 c #Conflicts: 758000 | #Constraints: 19153
2372.81/2380.97 c #Conflicts: 759000 | #Constraints: 20153
2372.81/2380.97 c #Conflicts: 760000 | #Constraints: 21153
2372.81/2380.97 c #Conflicts: 761000 | #Constraints: 22153
2372.81/2380.97 c #Conflicts: 762000 | #Constraints: 23153
2372.81/2380.97 c #Conflicts: 763000 | #Constraints: 24153
2372.81/2380.97 c #Conflicts: 764000 | #Constraints: 25153
2372.81/2380.97 c #Conflicts: 765000 | #Constraints: 26153
2372.81/2380.97 c #Conflicts: 766000 | #Constraints: 27153
2372.81/2380.97 c #Conflicts: 767000 | #Constraints: 28153
2372.81/2380.97 c #Conflicts: 768000 | #Constraints: 29153
2372.81/2380.97 c #Conflicts: 769000 | #Constraints: 30153
2372.81/2380.97 c #Conflicts: 770000 | #Constraints: 31153
2372.81/2380.97 c #Conflicts: 771000 | #Constraints: 32153
2372.81/2380.97 c #Conflicts: 772000 | #Constraints: 33153
2372.81/2380.97 c #Conflicts: 773000 | #Constraints: 34153
2372.81/2380.97 c #Conflicts: 774000 | #Constraints: 35153
2372.81/2380.97 c INPROCESSING
2372.81/2380.97 c GARBAGE COLLECT
2372.81/2380.97 c #Conflicts: 775000 | #Constraints: 18747
2372.81/2380.97 c #Conflicts: 776000 | #Constraints: 19747
2372.81/2380.97 c #Conflicts: 777000 | #Constraints: 20747
2372.81/2380.97 c #Conflicts: 778000 | #Constraints: 21747
2372.81/2380.97 c #Conflicts: 779000 | #Constraints: 22747
2772.94/2782.50 c #Conflicts: 780000 | #Constraints: 23747
2772.94/2782.50 c #Conflicts: 781000 | #Constraints: 24747
2772.94/2782.50 c #Conflicts: 782000 | #Constraints: 25747
2772.94/2782.50 c #Conflicts: 783000 | #Constraints: 26747
2772.94/2782.50 c #Conflicts: 784000 | #Constraints: 27747
2772.94/2782.50 c #Conflicts: 785000 | #Constraints: 28747
2772.94/2782.50 c #Conflicts: 786000 | #Constraints: 29747
2772.94/2782.50 c #Conflicts: 787000 | #Constraints: 30747
2772.94/2782.50 c #Conflicts: 788000 | #Constraints: 31747
2772.94/2782.50 c #Conflicts: 789000 | #Constraints: 32747
2772.94/2782.50 c #Conflicts: 790000 | #Constraints: 33747
2772.94/2782.50 c #Conflicts: 791000 | #Constraints: 34747
2772.94/2782.50 c #Conflicts: 792000 | #Constraints: 35747
2772.94/2782.50 c INPROCESSING
2772.94/2782.50 c GARBAGE COLLECT
2772.94/2782.50 c #Conflicts: 793000 | #Constraints: 19146
2772.94/2782.50 c #Conflicts: 794000 | #Constraints: 20146
2772.94/2782.50 c #Conflicts: 795000 | #Constraints: 21146
2772.94/2782.50 c #Conflicts: 796000 | #Constraints: 22146
2772.94/2782.50 c #Conflicts: 797000 | #Constraints: 23146
2772.94/2782.50 c #Conflicts: 798000 | #Constraints: 24146
2772.94/2782.50 c #Conflicts: 799000 | #Constraints: 25146
2772.94/2782.50 c #Conflicts: 800000 | #Constraints: 26146
2772.94/2782.50 c #Conflicts: 801000 | #Constraints: 27146
2772.94/2782.50 c #Conflicts: 802000 | #Constraints: 28146
2772.94/2782.50 c #Conflicts: 803000 | #Constraints: 29146
2772.94/2782.50 c #Conflicts: 804000 | #Constraints: 30146
2772.94/2782.50 c #Conflicts: 805000 | #Constraints: 31146
2772.94/2782.50 c #Conflicts: 806000 | #Constraints: 32146
2772.94/2782.50 c #Conflicts: 807000 | #Constraints: 33146
2772.94/2782.50 c #Conflicts: 808000 | #Constraints: 34146
2772.94/2782.50 c #Conflicts: 809000 | #Constraints: 35146
2772.94/2782.50 c #Conflicts: 810000 | #Constraints: 36146
2772.94/2782.50 c INPROCESSING
2772.94/2782.50 c GARBAGE COLLECT
2772.94/2782.50 c #Conflicts: 811000 | #Constraints: 19347
2772.94/2782.50 c #Conflicts: 812000 | #Constraints: 20347
2772.94/2782.50 c #Conflicts: 813000 | #Constraints: 21347
2772.94/2782.50 c #Conflicts: 814000 | #Constraints: 22347
2772.94/2782.50 c #Conflicts: 815000 | #Constraints: 23347
2772.94/2782.50 c #Conflicts: 816000 | #Constraints: 24347
2772.94/2782.50 c #Conflicts: 817000 | #Constraints: 25347
2772.94/2782.50 c #Conflicts: 818000 | #Constraints: 26347
2772.94/2782.50 c #Conflicts: 819000 | #Constraints: 27347
2772.94/2782.50 c #Conflicts: 820000 | #Constraints: 28347
2772.94/2782.50 c #Conflicts: 821000 | #Constraints: 29347
2772.94/2782.50 c #Conflicts: 822000 | #Constraints: 30347
2772.94/2782.50 c #Conflicts: 823000 | #Constraints: 31347
2772.94/2782.50 c #Conflicts: 824000 | #Constraints: 32347
2772.94/2782.50 c #Conflicts: 825000 | #Constraints: 33347
2772.94/2782.50 c #Conflicts: 826000 | #Constraints: 34347
2772.94/2782.50 c #Conflicts: 827000 | #Constraints: 35347
2772.94/2782.50 c #Conflicts: 828000 | #Constraints: 36347
2772.94/2782.50 c INPROCESSING
2772.94/2782.50 c GARBAGE COLLECT
2772.94/2782.50 c #Conflicts: 829000 | #Constraints: 19347
2772.94/2782.50 c #Conflicts: 830000 | #Constraints: 20347
2772.94/2782.50 c #Conflicts: 831000 | #Constraints: 21347
2772.94/2782.50 c #Conflicts: 832000 | #Constraints: 22347
2772.94/2782.50 c #Conflicts: 833000 | #Constraints: 23347
2772.94/2782.50 c #Conflicts: 834000 | #Constraints: 24347
2772.94/2782.50 c #Conflicts: 835000 | #Constraints: 25347
2772.94/2782.50 c #Conflicts: 836000 | #Constraints: 26347
2772.94/2782.50 c #Conflicts: 837000 | #Constraints: 27347
2772.94/2782.50 c #Conflicts: 838000 | #Constraints: 28347
2772.94/2782.50 c #Conflicts: 839000 | #Constraints: 29347
2772.94/2782.50 c #Conflicts: 840000 | #Constraints: 30347
2772.94/2782.50 c #Conflicts: 841000 | #Constraints: 31347
2772.94/2782.50 c #Conflicts: 842000 | #Constraints: 32347
2772.94/2782.50 c #Conflicts: 843000 | #Constraints: 33347
2772.94/2782.50 c #Conflicts: 844000 | #Constraints: 34347
2772.94/2782.50 c #Conflicts: 845000 | #Constraints: 35347
2772.94/2782.50 c #Conflicts: 846000 | #Constraints: 36347
2772.94/2782.50 c INPROCESSING
2772.94/2782.50 c GARBAGE COLLECT
2772.94/2782.50 c #Conflicts: 847000 | #Constraints: 19148
2772.94/2782.50 c #Conflicts: 848000 | #Constraints: 20148
2772.94/2782.50 c #Conflicts: 849000 | #Constraints: 21148
2772.94/2782.50 c #Conflicts: 850000 | #Constraints: 22148
2772.94/2782.50 c #Conflicts: 851000 | #Constraints: 23148
2772.94/2782.50 c #Conflicts: 852000 | #Constraints: 24148
2772.94/2782.50 c #Conflicts: 853000 | #Constraints: 25148
2772.94/2782.50 c #Conflicts: 854000 | #Constraints: 26148
2772.94/2782.50 c #Conflicts: 855000 | #Constraints: 27148
3108.69/3119.51 c #Conflicts: 856000 | #Constraints: 28148
3108.69/3119.51 c #Conflicts: 857000 | #Constraints: 29148
3108.69/3119.51 c #Conflicts: 858000 | #Constraints: 30148
3108.69/3119.51 c #Conflicts: 859000 | #Constraints: 31148
3108.69/3119.51 c #Conflicts: 860000 | #Constraints: 32148
3108.69/3119.51 c #Conflicts: 861000 | #Constraints: 33148
3108.69/3119.51 c #Conflicts: 862000 | #Constraints: 34148
3108.69/3119.51 c #Conflicts: 863000 | #Constraints: 35148
3108.69/3119.51 c #Conflicts: 864000 | #Constraints: 36148
3108.69/3119.51 c #Conflicts: 865000 | #Constraints: 37148
3108.69/3119.51 c INPROCESSING
3108.69/3119.51 c GARBAGE COLLECT
3108.69/3119.51 c #Conflicts: 866000 | #Constraints: 19746
3108.69/3119.51 c #Conflicts: 867000 | #Constraints: 20746
3108.69/3119.51 c #Conflicts: 868000 | #Constraints: 21746
3108.69/3119.51 c #Conflicts: 869000 | #Constraints: 22746
3108.69/3119.51 c #Conflicts: 870000 | #Constraints: 23746
3108.69/3119.51 c #Conflicts: 871000 | #Constraints: 24746
3108.69/3119.51 c #Conflicts: 872000 | #Constraints: 25746
3108.69/3119.51 c #Conflicts: 873000 | #Constraints: 26746
3108.69/3119.51 c #Conflicts: 874000 | #Constraints: 27746
3108.69/3119.51 c #Conflicts: 875000 | #Constraints: 28746
3108.69/3119.51 c #Conflicts: 876000 | #Constraints: 29746
3108.69/3119.51 c #Conflicts: 877000 | #Constraints: 30746
3108.69/3119.51 c #Conflicts: 878000 | #Constraints: 31746
3108.69/3119.51 c #Conflicts: 879000 | #Constraints: 32746
3108.69/3119.51 c #Conflicts: 880000 | #Constraints: 33746
3108.69/3119.51 c #Conflicts: 881000 | #Constraints: 34746
3108.69/3119.51 c #Conflicts: 882000 | #Constraints: 35746
3108.69/3119.51 c #Conflicts: 883000 | #Constraints: 36746
3108.69/3119.51 c #Conflicts: 884000 | #Constraints: 37746
3108.69/3119.51 c INPROCESSING
3108.69/3119.51 c GARBAGE COLLECT
3108.69/3119.51 c #Conflicts: 885000 | #Constraints: 20144
3108.69/3119.51 c #Conflicts: 886000 | #Constraints: 21144
3108.69/3119.51 c #Conflicts: 887000 | #Constraints: 22144
3108.69/3119.51 c #Conflicts: 888000 | #Constraints: 23144
3108.69/3119.51 c #Conflicts: 889000 | #Constraints: 24144
3108.69/3119.51 c #Conflicts: 890000 | #Constraints: 25144
3108.69/3119.51 c #Conflicts: 891000 | #Constraints: 26144
3108.69/3119.51 c #Conflicts: 892000 | #Constraints: 27144
3108.69/3119.51 c #Conflicts: 893000 | #Constraints: 28144
3108.69/3119.51 c #Conflicts: 894000 | #Constraints: 29144
3108.69/3119.51 c #Conflicts: 895000 | #Constraints: 30144
3108.69/3119.51 c #Conflicts: 896000 | #Constraints: 31144
3108.69/3119.51 c #Conflicts: 897000 | #Constraints: 32144
3108.69/3119.51 c #Conflicts: 898000 | #Constraints: 33144
3108.69/3119.51 c #Conflicts: 899000 | #Constraints: 34144
3108.69/3119.51 c #Conflicts: 900000 | #Constraints: 35144
3108.69/3119.51 c #Conflicts: 901000 | #Constraints: 36144
3108.69/3119.51 c #Conflicts: 902000 | #Constraints: 37144
3108.69/3119.51 c #Conflicts: 903000 | #Constraints: 38144
3108.69/3119.51 c INPROCESSING
3108.69/3119.51 c GARBAGE COLLECT
3108.69/3119.51 c #Conflicts: 904000 | #Constraints: 20342
3108.69/3119.51 c #Conflicts: 905000 | #Constraints: 21342
3108.69/3119.51 c #Conflicts: 906000 | #Constraints: 22342
3108.69/3119.51 c #Conflicts: 907000 | #Constraints: 23342
3108.69/3119.51 c #Conflicts: 908000 | #Constraints: 24342
3108.69/3119.51 c #Conflicts: 909000 | #Constraints: 25342
3108.69/3119.51 c #Conflicts: 910000 | #Constraints: 26342
3108.69/3119.51 c #Conflicts: 911000 | #Constraints: 27342
3108.69/3119.51 c #Conflicts: 912000 | #Constraints: 28342
3108.69/3119.51 c #Conflicts: 913000 | #Constraints: 29342
3108.69/3119.51 c #Conflicts: 914000 | #Constraints: 30342
3108.69/3119.51 c #Conflicts: 915000 | #Constraints: 31342
3108.69/3119.51 c #Conflicts: 916000 | #Constraints: 32342
3108.69/3119.51 c #Conflicts: 917000 | #Constraints: 33342
3108.69/3119.51 c #Conflicts: 918000 | #Constraints: 34342
3108.69/3119.51 c #Conflicts: 919000 | #Constraints: 35342
3108.69/3119.51 c #Conflicts: 920000 | #Constraints: 36342
3108.69/3119.51 c #Conflicts: 921000 | #Constraints: 37342
3108.69/3119.51 c #Conflicts: 922000 | #Constraints: 38342
3108.69/3119.51 c INPROCESSING
3108.69/3119.51 c GARBAGE COLLECT
3108.69/3119.51 c #Conflicts: 923000 | #Constraints: 20342
3108.69/3119.51 c #Conflicts: 924000 | #Constraints: 21342
3108.69/3119.51 c #Conflicts: 925000 | #Constraints: 22342
3108.69/3119.51 c #Conflicts: 926000 | #Constraints: 23342
3108.69/3119.51 c #Conflicts: 927000 | #Constraints: 24342
3108.69/3119.51 c #Conflicts: 928000 | #Constraints: 25342
3108.69/3119.51 c #Conflicts: 929000 | #Constraints: 26342
3108.69/3119.51 c #Conflicts: 930000 | #Constraints: 27342
3108.69/3119.51 c #Conflicts: 931000 | #Constraints: 28342
3551.20/3563.64 c #Conflicts: 932000 | #Constraints: 29342
3551.20/3563.64 c #Conflicts: 933000 | #Constraints: 30342
3551.20/3563.64 c #Conflicts: 934000 | #Constraints: 31342
3551.20/3563.64 c #Conflicts: 935000 | #Constraints: 32342
3551.20/3563.64 c #Conflicts: 936000 | #Constraints: 33342
3551.20/3563.64 c #Conflicts: 937000 | #Constraints: 34342
3551.20/3563.64 c #Conflicts: 938000 | #Constraints: 35342
3551.20/3563.64 c #Conflicts: 939000 | #Constraints: 36342
3551.20/3563.64 c #Conflicts: 940000 | #Constraints: 37342
3551.20/3563.64 c #Conflicts: 941000 | #Constraints: 38342
3551.20/3563.64 c INPROCESSING
3551.20/3563.64 c GARBAGE COLLECT
3551.20/3563.64 c #Conflicts: 942000 | #Constraints: 20143
3551.20/3563.64 c #Conflicts: 943000 | #Constraints: 21143
3551.20/3563.64 c #Conflicts: 944000 | #Constraints: 22143
3551.20/3563.64 c #Conflicts: 945000 | #Constraints: 23143
3551.20/3563.64 c #Conflicts: 946000 | #Constraints: 24143
3551.20/3563.64 c #Conflicts: 947000 | #Constraints: 25143
3551.20/3563.64 c #Conflicts: 948000 | #Constraints: 26143
3551.20/3563.64 c #Conflicts: 949000 | #Constraints: 27143
3551.20/3563.64 c #Conflicts: 950000 | #Constraints: 28143
3551.20/3563.64 c #Conflicts: 951000 | #Constraints: 29143
3551.20/3563.64 c #Conflicts: 952000 | #Constraints: 30143
3551.20/3563.64 c #Conflicts: 953000 | #Constraints: 31143
3551.20/3563.64 c #Conflicts: 954000 | #Constraints: 32143
3551.20/3563.64 c #Conflicts: 955000 | #Constraints: 33143
3551.20/3563.64 c #Conflicts: 956000 | #Constraints: 34143
3551.20/3563.64 c #Conflicts: 957000 | #Constraints: 35143
3551.20/3563.64 c #Conflicts: 958000 | #Constraints: 36143
3551.20/3563.64 c #Conflicts: 959000 | #Constraints: 37143
3551.20/3563.64 c #Conflicts: 960000 | #Constraints: 38143
3551.20/3563.64 c #Conflicts: 961000 | #Constraints: 39143
3551.20/3563.64 c INPROCESSING
3551.20/3563.64 c GARBAGE COLLECT
3551.20/3563.64 c #Conflicts: 962000 | #Constraints: 20746
3551.20/3563.64 c #Conflicts: 963000 | #Constraints: 21746
3551.20/3563.64 c #Conflicts: 964000 | #Constraints: 22746
3551.20/3563.64 c #Conflicts: 965000 | #Constraints: 23746
3551.20/3563.64 c #Conflicts: 966000 | #Constraints: 24746
3551.20/3563.64 c #Conflicts: 967000 | #Constraints: 25746
3551.20/3563.64 c #Conflicts: 968000 | #Constraints: 26746
3551.20/3563.64 c #Conflicts: 969000 | #Constraints: 27746
3551.20/3563.64 c #Conflicts: 970000 | #Constraints: 28746
3551.20/3563.64 c #Conflicts: 971000 | #Constraints: 29746
3551.20/3563.64 c #Conflicts: 972000 | #Constraints: 30746
3551.20/3563.64 c #Conflicts: 973000 | #Constraints: 31746
3551.20/3563.64 c #Conflicts: 974000 | #Constraints: 32746
3551.20/3563.64 c #Conflicts: 975000 | #Constraints: 33746
3551.20/3563.64 c #Conflicts: 976000 | #Constraints: 34746
3551.20/3563.64 c #Conflicts: 977000 | #Constraints: 35746
3551.20/3563.64 c #Conflicts: 978000 | #Constraints: 36746
3551.20/3563.64 c #Conflicts: 979000 | #Constraints: 37746
3551.20/3563.64 c #Conflicts: 980000 | #Constraints: 38746
3551.20/3563.64 c #Conflicts: 981000 | #Constraints: 39746
3551.20/3563.64 c INPROCESSING
3551.20/3563.64 c GARBAGE COLLECT
3551.20/3563.64 c #Conflicts: 982000 | #Constraints: 21149
3551.20/3563.64 c #Conflicts: 983000 | #Constraints: 22149
3551.20/3563.64 c #Conflicts: 984000 | #Constraints: 23149
3551.20/3563.64 c #Conflicts: 985000 | #Constraints: 24149
3551.20/3563.64 c #Conflicts: 986000 | #Constraints: 25149
3551.20/3563.64 c #Conflicts: 987000 | #Constraints: 26149
3551.20/3563.64 c #Conflicts: 988000 | #Constraints: 27149
3551.20/3563.64 c #Conflicts: 989000 | #Constraints: 28149
3551.20/3563.64 c #Conflicts: 990000 | #Constraints: 29149
3551.20/3563.64 c #Conflicts: 991000 | #Constraints: 30149
3551.20/3563.64 c #Conflicts: 992000 | #Constraints: 31149
3551.20/3563.64 c #Conflicts: 993000 | #Constraints: 32149
3551.20/3563.64 c #Conflicts: 994000 | #Constraints: 33149
3551.20/3563.64 c #Conflicts: 995000 | #Constraints: 34149
3551.20/3563.64 c #Conflicts: 996000 | #Constraints: 35149
3551.20/3563.64 c #Conflicts: 997000 | #Constraints: 36149
3551.20/3563.64 c #Conflicts: 998000 | #Constraints: 37149
3551.20/3563.64 c #Conflicts: 999000 | #Constraints: 38149
3551.20/3563.64 c #Conflicts: 1000000 | #Constraints: 39149
3551.20/3563.64 c #Conflicts: 1001000 | #Constraints: 40149
3551.20/3563.64 c INPROCESSING
3551.20/3563.64 c GARBAGE COLLECT
3551.20/3563.64 c #Conflicts: 1002000 | #Constraints: 21351
3551.20/3563.64 c #Conflicts: 1003000 | #Constraints: 22351
3551.20/3563.64 c #Conflicts: 1004000 | #Constraints: 23351
3551.20/3563.64 c #Conflicts: 1005000 | #Constraints: 24351
3551.20/3563.64 c #Conflicts: 1006000 | #Constraints: 25351
3551.20/3563.64 c #Conflicts: 1007000 | #Constraints: 26351
3551.20/3563.64 c #Conflicts: 1008000 | #Constraints: 27351
3600.03/3612.60 c #Conflicts: 1009000 | #Constraints: 28351
3600.03/3612.60 c #Conflicts: 1010000 | #Constraints: 29351
3600.03/3612.60 c #Conflicts: 1011000 | #Constraints: 30351
3600.03/3612.60 c #Conflicts: 1012000 | #Constraints: 31351
3600.03/3612.60 c #Conflicts: 1013000 | #Constraints: 32351
3600.03/3612.60 c #Conflicts: 1014000 | #Constraints: 33351
3600.03/3612.60 c #Conflicts: 1015000 | #Constraints: 34351
3600.03/3612.60 c #Conflicts: 1016000 | #Constraints: 35351
3600.03/3612.60 c Program interrupted by user.
3600.03/3612.60 c cpu time 3590.04 s
3600.03/3612.60 c deterministic time 362682001388 3.63e+11
3600.03/3612.60 c optimization time 74.9259 s
3600.03/3612.60 c total solve time 3216.18 s
3600.03/3612.60 c core-guided solve time 3216.18 s
3600.03/3612.60 c propagation time 2770.38 s
3600.03/3612.60 c conflict analysis time 451.635 s
3600.03/3612.60 c propagations 66603610
3600.03/3612.60 c resolve steps 5256431
3600.03/3612.60 c decisions 5164805
3600.03/3612.60 c conflicts 1016604
3600.03/3612.60 c restarts 2045
3600.03/3612.60 c inprocessing phases 91
3600.03/3612.60 c input clauses 60
3600.03/3612.60 c input cardinalities 73
3600.03/3612.60 c input general constraints 466
3600.03/3612.60 c input average constraint length 64.62
3600.03/3612.60 c input average constraint degree 33.84
3600.03/3612.60 c learned clauses 246131
3600.03/3612.60 c learned cardinalities 471
3600.03/3612.60 c learned general constraints 770018
3600.03/3612.60 c learned average constraint length 315.03
3600.03/3612.60 c learned average constraint degree 833972.88
3600.03/3612.60 c watched constraints 612805
3600.03/3612.60 c counting constraints 157679
3600.03/3612.60 c gcd simplifications 202518
3600.03/3612.60 c detected cardinalities 386
3600.03/3612.60 c weakened non-implied lits 39673610
3600.03/3612.60 c weakened non-implying lits 127096
3600.03/3612.60 c original variables 470
3600.03/3612.60 c clausal propagations 1159290
3600.03/3612.60 c cardinality propagations 86972
3600.03/3612.60 c watched propagations 30996605
3600.03/3612.60 c counting propagations 33087306
3600.03/3612.60 c watch lookups 71227750354
3600.03/3612.60 c watch backjump lookups 68108839470
3600.03/3612.60 c watch checks 214614292568
3600.03/3612.60 c propagation checks 7507936566
3600.03/3612.60 c constraint additions 1078629368
3600.03/3612.60 c trail pops 72784646
3600.03/3612.60 c formula constraints 470
3600.03/3612.60 c learned constraints 1016620
3600.03/3612.60 c bound constraints 73
3600.03/3612.60 c core-guided constraints 56
3600.03/3612.60 c encountered formula constraints 3170412
3600.03/3612.60 c encountered learned constraints 3001560
3600.03/3612.60 c encountered bound constraints 122
3600.03/3612.60 c encountered core-guided constraints 100941
3600.03/3612.60 c LP total time 0 s
3600.03/3612.60 c LP solve time 0 s
3600.03/3612.60 c LP constraints added 0
3600.03/3612.60 c LP constraints removed 0
3600.03/3612.60 c LP pivots internal 0
3600.03/3612.60 c LP pivots root 0
3600.03/3612.60 c LP calls 0
3600.03/3612.60 c LP optimalities 0
3600.03/3612.60 c LP no pivot count 0
3600.03/3612.60 c LP infeasibilities 0
3600.03/3612.60 c LP valid Farkas constraints 0
3600.03/3612.60 c LP learned Farkas constraints 0
3600.03/3612.60 c LP basis resets 0
3600.03/3612.60 c LP cycling count 0
3600.03/3612.60 c LP singular count 0
3600.03/3612.60 c LP no primal count 0
3600.03/3612.60 c LP no farkas count 0
3600.03/3612.60 c LP other issue count 0
3600.03/3612.60 c LP Gomory cuts 0
3600.03/3612.60 c LP learned cuts 0
3600.03/3612.60 c LP deleted cuts 0
3600.03/3612.60 c LP encountered Gomory constraints 0
3600.03/3612.60 c LP encountered Farkas constraints 0
3600.03/3612.60 c LP encountered learned Farkas constraints 0
3600.03/3612.60 c CG auxiliary variables introduced 56
3600.03/3612.60 c CG solutions found 0
3600.03/3612.60 c CG cores constructed 72
3600.03/3612.60 c CG core cardinality constraints returned 0
3600.03/3612.60 c CG unit cores 0
3600.03/3612.60 c CG single cores 72
3600.03/3612.60 c CG blocks removed during cardinality reduction 0
3600.03/3612.60 c CG first core best 0
3600.03/3612.60 c CG decision core best 0
3600.03/3612.60 c CG core reduction tie 0
3600.03/3612.60 c CG core degree average 1.00
3600.03/3612.60 c CG core slack average 2.97
3600.03/3612.60 c CG exhausted 0
3600.03/3612.60 c CG exhaust time 0 s
3600.03/3612.60 c CG trimmed 5
3600.03/3612.60 c CG trim time 0.000172 s
3600.03/3612.60 c CG minimized 0
3600.03/3612.60 c CG minimize time 0 s
3600.03/3612.60 c CG am1 prop time 0.000332 s
3600.03/3612.60 c CG # am1s reformulated 56
3600.03/3612.60 c CG lower bound derived from am1s 56
3600.03/3612.60 c CG # clausal cores 14
3600.03/3612.60 c CG # cardinality cores 0
3600.03/3612.60 c CG # pb cores 58
3600.03/3612.60 c CG # pb reforms 0
3600.03/3612.60 c CG # cores discarded because of pb reform 0
3600.03/3612.60 d LOWERBOUND 128
3600.03/3612.60 d NCORES 72
3600.03/3612.60 d NPBCORES 58
3600.03/3612.60 d NPBREFORM 0
3600.03/3612.60 d NTRIMMED 5
3600.03/3612.60 d NEXHAUSTED 0
3600.03/3612.60 d NAM1S 56
3600.03/3612.60 d AM1LB 56
3600.03/3612.60 c [Papilo Statistics]
3600.03/3612.60 c prepro time 0.00146076s
3600.03/3612.60 c # tsx applied 20
3600.03/3612.60 c # tsx conflicts 0
3600.03/3612.60 c # bound changes 0
3600.03/3612.60 c # side changes 0
3600.03/3612.60 c # coef changes 54
3600.03/3612.60 c # rounds 3
3600.03/3612.60 c # deted vars 0
3600.03/3612.60 c # deted constrs 0
3600.03/3612.60 c # consecutive rounds of only bound changes 0
3600.03/3612.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62735 MiB free)
memory of node 1: 64473 MiB (63019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435448-1721094831/watcher-4435448-1721094831 -o /tmp/evaluation-result-4435448-1721094831/solver-4435448-1721094831 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833379 --watchdog 3760 mixed-bag HOME/instance-4435448-1721094831.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=835495, runsolver pid=835492
Current StackSize limit: 8192 KiB
[startup+0.100544 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 835496
/proc/meminfo: memFree=128762760/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=93384 memory=26320 CPUtime=0.09 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 3121 0 0 0 9 0 0 0 20 0 1 0 161653992 95625216 6580 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 23346 6580 4025 3002 0 7097 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 26320 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 835496
/proc/meminfo: memFree=128750000/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=107508 memory=40136 CPUtime=0.19 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 6668 0 0 0 19 0 0 0 20 0 1 0 161653992 110088192 10034 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 26877 10034 4025 3002 0 10628 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107508 KiB
Current children cumulated memory: 40136 KiB
[startup+0.305456 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 835496
/proc/meminfo: memFree=128743952/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=110588 memory=43040 CPUtime=0.3 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 7354 0 0 0 29 1 0 0 20 0 1 0 161653992 113242112 10760 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 27647 10760 4025 3002 0 11398 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110588 KiB
Current children cumulated memory: 43040 KiB
[startup+0.700228 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835496
/proc/meminfo: memFree=128716876/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=150344 memory=82904 CPUtime=0.68 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 17935 0 0 0 67 1 0 0 20 0 1 0 161653992 153952256 20726 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 37586 20726 4025 3002 0 21337 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150344 KiB
Current children cumulated memory: 82904 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835497
/proc/meminfo: memFree=128667372/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=225124 memory=154976 CPUtime=1.48 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 35949 0 0 0 144 4 0 0 20 0 1 0 161653992 230526976 38744 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 56281 38744 4025 3002 0 40032 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225124 KiB
Current children cumulated memory: 154976 KiB
[startup+3.10457 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835497
/proc/meminfo: memFree=128626072/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=229144 memory=158408 CPUtime=3.07 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 36838 0 0 0 303 4 0 0 20 0 1 0 161653992 234643456 39602 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 57286 39602 4025 3002 0 41037 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 229144 KiB
Current children cumulated memory: 158408 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 835497
/proc/meminfo: memFree=128625400/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=229144 memory=158408 CPUtime=6.26 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 36841 0 0 0 622 4 0 0 20 0 1 0 161653992 234643456 39602 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 57286 39602 4025 3002 0 41037 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 229144 KiB
Current children cumulated memory: 158408 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 835499
/proc/meminfo: memFree=128559516/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=229144 memory=158408 CPUtime=12.64 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 36841 0 0 0 1260 4 0 0 20 0 1 0 161653992 234643456 39602 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 57286 39602 4025 3002 0 41037 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 229144 KiB
Current children cumulated memory: 158408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 835501
/proc/meminfo: memFree=128342984/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=261948 memory=190928 CPUtime=25.4 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 46985 0 0 0 2534 6 0 0 20 0 1 0 161653992 268234752 47732 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 65487 47732 4040 3002 0 49238 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 261948 KiB
Current children cumulated memory: 190928 KiB
[startup+51.1052 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 835505
/proc/meminfo: memFree=128313232/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=271932 memory=200168 CPUtime=50.92 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 49310 0 0 0 5086 6 0 0 20 0 1 0 161653992 278458368 50042 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 67983 50042 4040 3002 0 51734 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 271932 KiB
Current children cumulated memory: 200168 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 835898
/proc/meminfo: memFree=128250884/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=291976 memory=222112 CPUtime=101.95 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 56210 0 0 0 10186 9 0 0 20 0 1 0 161653992 298983424 55528 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 72994 55528 4040 3002 0 56745 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 291976 KiB
Current children cumulated memory: 222112 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 835908
/proc/meminfo: memFree=128040496/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=398512 memory=326360 CPUtime=161.76 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 82281 0 0 0 16162 14 0 0 20 0 1 0 161653992 408076288 81590 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 99628 81590 4040 3002 0 83379 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 398512 KiB
Current children cumulated memory: 326360 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 835919
/proc/meminfo: memFree=127972348/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=399316 memory=326880 CPUtime=221.57 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 82640 0 0 0 22143 14 0 0 20 0 1 0 161653992 408899584 81720 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 99829 81720 4040 3002 0 83580 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 399316 KiB
Current children cumulated memory: 326880 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 836098
/proc/meminfo: memFree=127968744/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=401056 memory=328720 CPUtime=281.36 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 83126 0 0 0 28122 14 0 0 20 0 1 0 161653992 410681344 82180 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 100264 82180 4040 3002 0 84015 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 401056 KiB
Current children cumulated memory: 328720 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 836109
/proc/meminfo: memFree=128100620/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=409352 memory=338484 CPUtime=341.16 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 85261 0 0 0 34047 69 0 0 20 0 1 0 161653992 419176448 84621 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 102338 84621 4200 3002 0 86089 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 409352 KiB
Current children cumulated memory: 338484 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 836122
/proc/meminfo: memFree=128061656/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=428320 memory=347320 CPUtime=400.96 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 85923 0 0 0 39982 114 0 0 20 0 1 0 161653992 438599680 86830 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 107080 86830 4200 3002 0 90831 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 428320 KiB
Current children cumulated memory: 347320 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 836143
/proc/meminfo: memFree=128041928/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=428320 memory=351416 CPUtime=460.75 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 85962 0 0 0 45917 158 0 0 20 0 1 0 161653992 438599680 87854 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 107080 87854 4200 3002 0 90831 0
################
# More data... #
################
Current children cumulated memory: 414888 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/256 837197
/proc/meminfo: memFree=127796388/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=2852.42 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90060 0 0 0 284387 855 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 2852.42 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/257 837209
/proc/meminfo: memFree=127795740/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=2912.21 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90173 0 0 0 290351 870 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 2912.21 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/257 837219
/proc/meminfo: memFree=127794852/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=2971.99 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90280 0 0 0 296312 887 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 2971.99 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/257 837231
/proc/meminfo: memFree=127793144/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=3031.76 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90397 0 0 0 302275 901 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 3031.76 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 837241
/proc/meminfo: memFree=127790168/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=3091.55 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90513 0 0 0 308243 912 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 3091.55 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 837252
/proc/meminfo: memFree=127786372/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=3151.34 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90626 0 0 0 314211 923 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 3151.34 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.39 4.21 4.13 5/255 837264
/proc/meminfo: memFree=127783496/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=3211.11 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90741 0 0 0 320176 935 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/255 837274
/proc/meminfo: memFree=127781872/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=3270.9 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90859 0 0 0 326143 947 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 3270.9 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.11 5/255 837284
/proc/meminfo: memFree=127779184/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=414888 CPUtime=3330.7 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 90969 0 0 0 332111 959 0 0 20 0 1 0 161653992 521449472 103722 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 103722 4200 3002 0 111058 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 414888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 837299
/proc/meminfo: memFree=127776304/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=416936 CPUtime=3390.48 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 91089 0 0 0 338080 968 0 0 20 0 1 0 161653992 521449472 104234 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 104234 4200 3002 0 111058 0
Current children cumulated CPU time: 3390.48 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 416936 KiB
[startup+3462.3 s]
/proc/loadavg: 4.44 4.22 4.14 5/257 837309
/proc/meminfo: memFree=127775380/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=416936 CPUtime=3450.26 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 91200 0 0 0 344048 978 0 0 20 0 1 0 161653992 521449472 104234 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 104234 4200 3002 0 111058 0
Current children cumulated CPU time: 3450.26 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 416936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.20 4.14 5/256 837320
/proc/meminfo: memFree=127773296/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=416936 CPUtime=3510.05 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 91318 0 0 0 350020 985 0 0 20 0 1 0 161653992 521449472 104234 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 104234 4200 3002 0 111058 0
Current children cumulated CPU time: 3510.05 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 416936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/256 837331
/proc/meminfo: memFree=127765492/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=421032 CPUtime=3569.83 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 91445 0 0 0 355989 994 0 0 20 0 1 0 161653992 521449472 105258 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 105258 4200 3002 0 111058 0
Current children cumulated CPU time: 3569.83 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 421032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.18 4.19 4.14 5/256 837476
/proc/meminfo: memFree=126418536/131524600 swapFree=131071996/131071996
[pid=835495] ppid=835492 vsize=509228 memory=421032 CPUtime=3600.03 cores=0,2
/proc/835495/stat : 835495 (mixed-bag) R 835492 835495 833369 0 -1 4194304 91494 0 0 0 359004 999 0 0 20 0 1 0 161653992 521449472 105258 134679101440 4194304 16487941 140737417063888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56287232 140737417069591 140737417069668 140737417069668 140737417076683 0
/proc/835495/statm: 127307 105258 4200 3002 0 111058 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 509228 KiB
Current children cumulated memory: 421032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.6 s]
# the end of solver process 835495 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.04 s, system=9.99502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.6
CPU time (s): 3600.04
CPU user time (s): 3590.04
CPU system time (s): 9.99502
CPU usage (%): 99.6522
Max. virtual memory (cumulated for all children) (KiB): 509228
Max. memory (cumulated for all children) (KiB): 421032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.04
system time used= 9.99502
maximum resident set size= 421876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 24670
# summary of solver processes directly reported to runsolver:
# pid: 835495
# total CPU time (s): 3600.04
# total CPU user time (s): 3590.04
# total CPU system time (s): 9.99502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93939 second user time and 17.3772 second system time
The end
Begin job on nodeC035 at 2024-07-16 03:54:04
IDJOB=4435448
IDBENCH=147548
IDSOLVER=3066
FILE ID=nodeC035/4435448-1721094831
RUNJOBID= nodeC035-1721091231-833379
SLURM_JOB_ID= 7505584
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435448-1721094831/watcher-4435448-1721094831 -o /tmp/evaluation-result-4435448-1721094831/solver-4435448-1721094831 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833379 --watchdog 3760 mixed-bag HOME/instance-4435448-1721094831.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=1758606305
nodeC035.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 : 3662.450
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.65
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 : 3680.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3642.046
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3661.851
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.65
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 : 3680.524
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.339
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.65
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 : 3600.002
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128773996 kB
MemAvailable: 129318412 kB
Buffers: 375540 kB
Cached: 1008008 kB
SwapCached: 0 kB
Active: 685008 kB
Inactive: 1477376 kB
Active(anon): 1536 kB
Inactive(anon): 815016 kB
Active(file): 683472 kB
Inactive(file): 662360 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65328 kB
Writeback: 0 kB
AnonPages: 778916 kB
Mapped: 137052 kB
Shmem: 37724 kB
KReclaimable: 76812 kB
Slab: 179920 kB
SReclaimable: 76812 kB
SUnreclaim: 103108 kB
KernelStack: 4144 kB
PageTables: 11184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1064152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC035 at 2024-07-16 04:54:17