0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.05/300.09 c [STEP] preprocessing done, loading into solver
299.05/300.09 c [STEP] solving
299.05/300.09 c #variables 471 #constraints 470
299.05/300.09 c SMALL=int, LARGE=long long
299.05/300.09 d SCIPUB 192
299.05/300.09 c bounds - >= 0 @ 298.696
299.05/300.09 c stratification level: 0
316.20/317.22 c bounds - >= 57 @ 298.697
316.20/317.22 c bounds - >= 58 @ 298.697
316.20/317.22 c bounds - >= 59 @ 298.697
316.20/317.22 c bounds - >= 60 @ 298.697
316.20/317.22 c bounds - >= 61 @ 298.697
316.20/317.22 c bounds - >= 62 @ 298.697
316.20/317.22 c bounds - >= 63 @ 298.697
316.20/317.22 c bounds - >= 64 @ 298.697
316.20/317.22 c bounds - >= 65 @ 298.697
316.20/317.22 c bounds - >= 66 @ 298.697
316.20/317.22 c bounds - >= 67 @ 298.697
316.20/317.22 c bounds - >= 68 @ 298.697
316.20/317.22 c bounds - >= 69 @ 298.697
316.20/317.22 c bounds - >= 70 @ 298.697
316.20/317.22 c bounds - >= 71 @ 298.697
316.20/317.22 c bounds - >= 72 @ 298.697
316.20/317.22 c bounds - >= 73 @ 298.697
316.20/317.22 c bounds - >= 74 @ 298.697
316.20/317.22 c bounds - >= 75 @ 298.697
316.20/317.22 c bounds - >= 76 @ 298.697
316.20/317.22 c bounds - >= 77 @ 298.697
316.20/317.22 c bounds - >= 78 @ 298.697
316.20/317.22 c bounds - >= 79 @ 298.697
316.20/317.22 c bounds - >= 80 @ 298.697
316.20/317.22 c bounds - >= 81 @ 298.697
316.20/317.22 c bounds - >= 82 @ 298.698
316.20/317.22 c bounds - >= 83 @ 298.698
316.20/317.22 c bounds - >= 84 @ 298.698
316.20/317.22 c bounds - >= 85 @ 298.698
316.20/317.22 c bounds - >= 86 @ 298.698
316.20/317.22 c bounds - >= 87 @ 298.698
316.20/317.22 c bounds - >= 88 @ 298.698
316.20/317.22 c bounds - >= 89 @ 298.698
316.20/317.22 c bounds - >= 90 @ 298.698
316.20/317.22 c bounds - >= 91 @ 298.698
316.20/317.22 c bounds - >= 92 @ 298.698
316.20/317.22 c bounds - >= 93 @ 298.698
316.20/317.22 c bounds - >= 94 @ 298.698
316.20/317.22 c bounds - >= 95 @ 298.698
316.20/317.22 c bounds - >= 96 @ 298.698
316.20/317.22 c bounds - >= 97 @ 298.699
316.20/317.22 c bounds - >= 98 @ 298.699
316.20/317.22 c bounds - >= 99 @ 298.699
316.20/317.22 c bounds - >= 100 @ 298.699
316.20/317.22 c bounds - >= 101 @ 298.699
316.20/317.22 c bounds - >= 102 @ 298.699
316.20/317.22 c bounds - >= 103 @ 298.699
316.20/317.22 c bounds - >= 104 @ 298.699
316.20/317.22 c bounds - >= 105 @ 298.699
316.20/317.22 c bounds - >= 106 @ 298.699
316.20/317.22 c bounds - >= 107 @ 298.699
316.20/317.22 c bounds - >= 108 @ 298.699
316.20/317.22 c bounds - >= 109 @ 298.699
316.20/317.22 c bounds - >= 110 @ 298.699
316.20/317.22 c bounds - >= 111 @ 298.699
316.20/317.22 c bounds - >= 112 @ 298.7
316.20/317.22 c bounds - >= 113 @ 298.7
316.20/317.22 c bounds - >= 114 @ 298.7
316.20/317.22 c bounds - >= 115 @ 298.7
316.20/317.22 c bounds - >= 116 @ 298.7
316.20/317.22 c bounds - >= 117 @ 298.7
316.20/317.22 c bounds - >= 118 @ 298.7
316.20/317.22 c bounds - >= 119 @ 298.7
316.20/317.22 c bounds - >= 120 @ 298.7
316.20/317.22 c bounds - >= 121 @ 298.7
316.20/317.22 c bounds - >= 122 @ 298.7
316.20/317.22 c bounds - >= 123 @ 298.7
316.20/317.22 c bounds - >= 124 @ 298.7
316.20/317.22 c bounds - >= 125 @ 298.7
316.20/317.22 c bounds - >= 126 @ 298.7
316.20/317.22 c bounds - >= 127 @ 298.701
316.20/317.22 c bounds - >= 128 @ 298.701
316.20/317.22 c #Conflicts: 1000 | #Constraints: 1614
316.20/317.22 c #Conflicts: 2000 | #Constraints: 2614
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 3000 | #Constraints: 2542
316.20/317.22 c #Conflicts: 4000 | #Constraints: 3542
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 5000 | #Constraints: 2948
316.20/317.22 c #Conflicts: 6000 | #Constraints: 3948
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 7000 | #Constraints: 2948
316.20/317.22 c #Conflicts: 8000 | #Constraints: 3948
316.20/317.22 c #Conflicts: 9000 | #Constraints: 4948
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 10000 | #Constraints: 3649
316.20/317.22 c #Conflicts: 11000 | #Constraints: 4649
316.20/317.22 c #Conflicts: 12000 | #Constraints: 5649
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 13000 | #Constraints: 4099
316.20/317.22 c #Conflicts: 14000 | #Constraints: 5099
316.20/317.22 c #Conflicts: 15000 | #Constraints: 6099
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 16000 | #Constraints: 4326
316.20/317.22 c #Conflicts: 17000 | #Constraints: 5326
316.20/317.22 c #Conflicts: 18000 | #Constraints: 6326
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 19000 | #Constraints: 4338
316.20/317.22 c #Conflicts: 20000 | #Constraints: 5338
316.20/317.22 c #Conflicts: 21000 | #Constraints: 6338
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 22000 | #Constraints: 4144
316.20/317.22 c #Conflicts: 23000 | #Constraints: 5144
316.20/317.22 c #Conflicts: 24000 | #Constraints: 6144
316.20/317.22 c #Conflicts: 25000 | #Constraints: 7144
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 26000 | #Constraints: 4744
316.20/317.22 c #Conflicts: 27000 | #Constraints: 5744
316.20/317.22 c #Conflicts: 28000 | #Constraints: 6744
316.20/317.22 c #Conflicts: 29000 | #Constraints: 7744
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 30000 | #Constraints: 5145
316.20/317.22 c #Conflicts: 31000 | #Constraints: 6145
316.20/317.22 c #Conflicts: 32000 | #Constraints: 7145
316.20/317.22 c #Conflicts: 33000 | #Constraints: 8145
316.20/317.22 c INPROCESSING
316.20/317.22 c GARBAGE COLLECT
316.20/317.22 c #Conflicts: 34000 | #Constraints: 5344
316.20/317.22 c #Conflicts: 35000 | #Constraints: 6344
396.86/398.17 c #Conflicts: 36000 | #Constraints: 7344
396.86/398.17 c #Conflicts: 37000 | #Constraints: 8344
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 38000 | #Constraints: 5349
396.86/398.17 c #Conflicts: 39000 | #Constraints: 6349
396.86/398.17 c #Conflicts: 40000 | #Constraints: 7349
396.86/398.17 c #Conflicts: 41000 | #Constraints: 8349
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 42000 | #Constraints: 5148
396.86/398.17 c #Conflicts: 43000 | #Constraints: 6148
396.86/398.17 c #Conflicts: 44000 | #Constraints: 7148
396.86/398.17 c #Conflicts: 45000 | #Constraints: 8148
396.86/398.17 c #Conflicts: 46000 | #Constraints: 9148
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 47000 | #Constraints: 5744
396.86/398.17 c #Conflicts: 48000 | #Constraints: 6744
396.86/398.17 c #Conflicts: 49000 | #Constraints: 7744
396.86/398.17 c #Conflicts: 50000 | #Constraints: 8744
396.86/398.17 c #Conflicts: 51000 | #Constraints: 9744
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 52000 | #Constraints: 6143
396.86/398.17 c #Conflicts: 53000 | #Constraints: 7143
396.86/398.17 c #Conflicts: 54000 | #Constraints: 8143
396.86/398.17 c #Conflicts: 55000 | #Constraints: 9143
396.86/398.17 c #Conflicts: 56000 | #Constraints: 10143
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 57000 | #Constraints: 6346
396.86/398.17 c #Conflicts: 58000 | #Constraints: 7346
396.86/398.17 c #Conflicts: 59000 | #Constraints: 8346
396.86/398.17 c #Conflicts: 60000 | #Constraints: 9346
396.86/398.17 c #Conflicts: 61000 | #Constraints: 10346
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 62000 | #Constraints: 6346
396.86/398.17 c #Conflicts: 63000 | #Constraints: 7346
396.86/398.17 c #Conflicts: 64000 | #Constraints: 8346
396.86/398.17 c #Conflicts: 65000 | #Constraints: 9346
396.86/398.17 c #Conflicts: 66000 | #Constraints: 10346
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 67000 | #Constraints: 6144
396.86/398.17 c #Conflicts: 68000 | #Constraints: 7144
396.86/398.17 c #Conflicts: 69000 | #Constraints: 8144
396.86/398.17 c #Conflicts: 70000 | #Constraints: 9144
396.86/398.17 c #Conflicts: 71000 | #Constraints: 10144
396.86/398.17 c #Conflicts: 72000 | #Constraints: 11144
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 73000 | #Constraints: 6748
396.86/398.17 c #Conflicts: 74000 | #Constraints: 7748
396.86/398.17 c #Conflicts: 75000 | #Constraints: 8748
396.86/398.17 c #Conflicts: 76000 | #Constraints: 9748
396.86/398.17 c #Conflicts: 77000 | #Constraints: 10748
396.86/398.17 c #Conflicts: 78000 | #Constraints: 11748
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 79000 | #Constraints: 7150
396.86/398.17 c #Conflicts: 80000 | #Constraints: 8150
396.86/398.17 c #Conflicts: 81000 | #Constraints: 9150
396.86/398.17 c #Conflicts: 82000 | #Constraints: 10150
396.86/398.17 c #Conflicts: 83000 | #Constraints: 11150
396.86/398.17 c #Conflicts: 84000 | #Constraints: 12150
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 85000 | #Constraints: 7348
396.86/398.17 c #Conflicts: 86000 | #Constraints: 8348
396.86/398.17 c #Conflicts: 87000 | #Constraints: 9348
396.86/398.17 c #Conflicts: 88000 | #Constraints: 10348
396.86/398.17 c #Conflicts: 89000 | #Constraints: 11348
396.86/398.17 c #Conflicts: 90000 | #Constraints: 12348
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 91000 | #Constraints: 7351
396.86/398.17 c #Conflicts: 92000 | #Constraints: 8351
396.86/398.17 c #Conflicts: 93000 | #Constraints: 9351
396.86/398.17 c #Conflicts: 94000 | #Constraints: 10351
396.86/398.17 c #Conflicts: 95000 | #Constraints: 11351
396.86/398.17 c #Conflicts: 96000 | #Constraints: 12351
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 97000 | #Constraints: 7153
396.86/398.17 c #Conflicts: 98000 | #Constraints: 8153
396.86/398.17 c #Conflicts: 99000 | #Constraints: 9153
396.86/398.17 c #Conflicts: 100000 | #Constraints: 10153
396.86/398.17 c #Conflicts: 101000 | #Constraints: 11153
396.86/398.17 c #Conflicts: 102000 | #Constraints: 12153
396.86/398.17 c #Conflicts: 103000 | #Constraints: 13153
396.86/398.17 c INPROCESSING
396.86/398.17 c GARBAGE COLLECT
396.86/398.17 c #Conflicts: 104000 | #Constraints: 7745
396.86/398.17 c #Conflicts: 105000 | #Constraints: 8745
513.81/515.48 c #Conflicts: 106000 | #Constraints: 9745
513.81/515.48 c #Conflicts: 107000 | #Constraints: 10745
513.81/515.48 c #Conflicts: 108000 | #Constraints: 11745
513.81/515.48 c #Conflicts: 109000 | #Constraints: 12745
513.81/515.48 c #Conflicts: 110000 | #Constraints: 13745
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 111000 | #Constraints: 8146
513.81/515.48 c #Conflicts: 112000 | #Constraints: 9146
513.81/515.48 c #Conflicts: 113000 | #Constraints: 10146
513.81/515.48 c #Conflicts: 114000 | #Constraints: 11146
513.81/515.48 c #Conflicts: 115000 | #Constraints: 12146
513.81/515.48 c #Conflicts: 116000 | #Constraints: 13146
513.81/515.48 c #Conflicts: 117000 | #Constraints: 14146
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 118000 | #Constraints: 8343
513.81/515.48 c #Conflicts: 119000 | #Constraints: 9343
513.81/515.48 c #Conflicts: 120000 | #Constraints: 10343
513.81/515.48 c #Conflicts: 121000 | #Constraints: 11343
513.81/515.48 c #Conflicts: 122000 | #Constraints: 12343
513.81/515.48 c #Conflicts: 123000 | #Constraints: 13343
513.81/515.48 c #Conflicts: 124000 | #Constraints: 14343
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 125000 | #Constraints: 8346
513.81/515.48 c #Conflicts: 126000 | #Constraints: 9346
513.81/515.48 c #Conflicts: 127000 | #Constraints: 10346
513.81/515.48 c #Conflicts: 128000 | #Constraints: 11346
513.81/515.48 c #Conflicts: 129000 | #Constraints: 12346
513.81/515.48 c #Conflicts: 130000 | #Constraints: 13346
513.81/515.48 c #Conflicts: 131000 | #Constraints: 14346
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 132000 | #Constraints: 8147
513.81/515.48 c #Conflicts: 133000 | #Constraints: 9147
513.81/515.48 c #Conflicts: 134000 | #Constraints: 10147
513.81/515.48 c #Conflicts: 135000 | #Constraints: 11147
513.81/515.48 c #Conflicts: 136000 | #Constraints: 12147
513.81/515.48 c #Conflicts: 137000 | #Constraints: 13147
513.81/515.48 c #Conflicts: 138000 | #Constraints: 14147
513.81/515.48 c #Conflicts: 139000 | #Constraints: 15147
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 140000 | #Constraints: 8746
513.81/515.48 c #Conflicts: 141000 | #Constraints: 9746
513.81/515.48 c #Conflicts: 142000 | #Constraints: 10746
513.81/515.48 c #Conflicts: 143000 | #Constraints: 11746
513.81/515.48 c #Conflicts: 144000 | #Constraints: 12746
513.81/515.48 c #Conflicts: 145000 | #Constraints: 13746
513.81/515.48 c #Conflicts: 146000 | #Constraints: 14746
513.81/515.48 c #Conflicts: 147000 | #Constraints: 15746
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 148000 | #Constraints: 9150
513.81/515.48 c #Conflicts: 149000 | #Constraints: 10150
513.81/515.48 c #Conflicts: 150000 | #Constraints: 11150
513.81/515.48 c #Conflicts: 151000 | #Constraints: 12150
513.81/515.48 c #Conflicts: 152000 | #Constraints: 13150
513.81/515.48 c #Conflicts: 153000 | #Constraints: 14150
513.81/515.48 c #Conflicts: 154000 | #Constraints: 15150
513.81/515.48 c #Conflicts: 155000 | #Constraints: 16150
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 156000 | #Constraints: 9349
513.81/515.48 c #Conflicts: 157000 | #Constraints: 10349
513.81/515.48 c #Conflicts: 158000 | #Constraints: 11349
513.81/515.48 c #Conflicts: 159000 | #Constraints: 12349
513.81/515.48 c #Conflicts: 160000 | #Constraints: 13349
513.81/515.48 c #Conflicts: 161000 | #Constraints: 14349
513.81/515.48 c #Conflicts: 162000 | #Constraints: 15349
513.81/515.48 c #Conflicts: 163000 | #Constraints: 16349
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 164000 | #Constraints: 9347
513.81/515.48 c #Conflicts: 165000 | #Constraints: 10347
513.81/515.48 c #Conflicts: 166000 | #Constraints: 11347
513.81/515.48 c #Conflicts: 167000 | #Constraints: 12347
513.81/515.48 c #Conflicts: 168000 | #Constraints: 13347
513.81/515.48 c #Conflicts: 169000 | #Constraints: 14347
513.81/515.48 c #Conflicts: 170000 | #Constraints: 15347
513.81/515.48 c #Conflicts: 171000 | #Constraints: 16347
513.81/515.48 c INPROCESSING
513.81/515.48 c GARBAGE COLLECT
513.81/515.48 c #Conflicts: 172000 | #Constraints: 9146
513.81/515.48 c #Conflicts: 173000 | #Constraints: 10146
513.81/515.48 c #Conflicts: 174000 | #Constraints: 11146
513.81/515.48 c #Conflicts: 175000 | #Constraints: 12146
513.81/515.48 c #Conflicts: 176000 | #Constraints: 13146
513.81/515.48 c #Conflicts: 177000 | #Constraints: 14146
513.81/515.48 c #Conflicts: 178000 | #Constraints: 15146
675.25/677.38 c #Conflicts: 179000 | #Constraints: 16146
675.25/677.38 c #Conflicts: 180000 | #Constraints: 17146
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 181000 | #Constraints: 9747
675.25/677.38 c #Conflicts: 182000 | #Constraints: 10747
675.25/677.38 c #Conflicts: 183000 | #Constraints: 11747
675.25/677.38 c #Conflicts: 184000 | #Constraints: 12747
675.25/677.38 c #Conflicts: 185000 | #Constraints: 13747
675.25/677.38 c #Conflicts: 186000 | #Constraints: 14747
675.25/677.38 c #Conflicts: 187000 | #Constraints: 15747
675.25/677.38 c #Conflicts: 188000 | #Constraints: 16747
675.25/677.38 c #Conflicts: 189000 | #Constraints: 17747
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 190000 | #Constraints: 10149
675.25/677.38 c #Conflicts: 191000 | #Constraints: 11149
675.25/677.38 c #Conflicts: 192000 | #Constraints: 12149
675.25/677.38 c #Conflicts: 193000 | #Constraints: 13149
675.25/677.38 c #Conflicts: 194000 | #Constraints: 14149
675.25/677.38 c #Conflicts: 195000 | #Constraints: 15149
675.25/677.38 c #Conflicts: 196000 | #Constraints: 16149
675.25/677.38 c #Conflicts: 197000 | #Constraints: 17149
675.25/677.38 c #Conflicts: 198000 | #Constraints: 18149
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 199000 | #Constraints: 10345
675.25/677.38 c #Conflicts: 200000 | #Constraints: 11345
675.25/677.38 c #Conflicts: 201000 | #Constraints: 12345
675.25/677.38 c #Conflicts: 202000 | #Constraints: 13345
675.25/677.38 c #Conflicts: 203000 | #Constraints: 14345
675.25/677.38 c #Conflicts: 204000 | #Constraints: 15345
675.25/677.38 c #Conflicts: 205000 | #Constraints: 16345
675.25/677.38 c #Conflicts: 206000 | #Constraints: 17345
675.25/677.38 c #Conflicts: 207000 | #Constraints: 18345
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 208000 | #Constraints: 10347
675.25/677.38 c #Conflicts: 209000 | #Constraints: 11347
675.25/677.38 c #Conflicts: 210000 | #Constraints: 12347
675.25/677.38 c #Conflicts: 211000 | #Constraints: 13347
675.25/677.38 c #Conflicts: 212000 | #Constraints: 14347
675.25/677.38 c #Conflicts: 213000 | #Constraints: 15347
675.25/677.38 c #Conflicts: 214000 | #Constraints: 16347
675.25/677.38 c #Conflicts: 215000 | #Constraints: 17347
675.25/677.38 c #Conflicts: 216000 | #Constraints: 18347
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 217000 | #Constraints: 10146
675.25/677.38 c #Conflicts: 218000 | #Constraints: 11146
675.25/677.38 c #Conflicts: 219000 | #Constraints: 12146
675.25/677.38 c #Conflicts: 220000 | #Constraints: 13146
675.25/677.38 c #Conflicts: 221000 | #Constraints: 14146
675.25/677.38 c #Conflicts: 222000 | #Constraints: 15146
675.25/677.38 c #Conflicts: 223000 | #Constraints: 16146
675.25/677.38 c #Conflicts: 224000 | #Constraints: 17146
675.25/677.38 c #Conflicts: 225000 | #Constraints: 18146
675.25/677.38 c #Conflicts: 226000 | #Constraints: 19146
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 227000 | #Constraints: 10746
675.25/677.38 c #Conflicts: 228000 | #Constraints: 11746
675.25/677.38 c #Conflicts: 229000 | #Constraints: 12746
675.25/677.38 c #Conflicts: 230000 | #Constraints: 13746
675.25/677.38 c #Conflicts: 231000 | #Constraints: 14746
675.25/677.38 c #Conflicts: 232000 | #Constraints: 15746
675.25/677.38 c #Conflicts: 233000 | #Constraints: 16746
675.25/677.38 c #Conflicts: 234000 | #Constraints: 17746
675.25/677.38 c #Conflicts: 235000 | #Constraints: 18746
675.25/677.38 c #Conflicts: 236000 | #Constraints: 19746
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 237000 | #Constraints: 11140
675.25/677.38 c #Conflicts: 238000 | #Constraints: 12140
675.25/677.38 c #Conflicts: 239000 | #Constraints: 13140
675.25/677.38 c #Conflicts: 240000 | #Constraints: 14140
675.25/677.38 c #Conflicts: 241000 | #Constraints: 15140
675.25/677.38 c #Conflicts: 242000 | #Constraints: 16140
675.25/677.38 c #Conflicts: 243000 | #Constraints: 17140
675.25/677.38 c #Conflicts: 244000 | #Constraints: 18140
675.25/677.38 c #Conflicts: 245000 | #Constraints: 19140
675.25/677.38 c #Conflicts: 246000 | #Constraints: 20140
675.25/677.38 c INPROCESSING
675.25/677.38 c GARBAGE COLLECT
675.25/677.38 c #Conflicts: 247000 | #Constraints: 11344
675.25/677.38 c #Conflicts: 248000 | #Constraints: 12344
675.25/677.38 c #Conflicts: 249000 | #Constraints: 13344
675.25/677.38 c #Conflicts: 250000 | #Constraints: 14344
675.25/677.38 c #Conflicts: 251000 | #Constraints: 15344
675.25/677.38 c #Conflicts: 252000 | #Constraints: 16344
842.69/845.25 c #Conflicts: 253000 | #Constraints: 17344
842.69/845.25 c #Conflicts: 254000 | #Constraints: 18344
842.69/845.25 c #Conflicts: 255000 | #Constraints: 19344
842.69/845.25 c #Conflicts: 256000 | #Constraints: 20344
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 257000 | #Constraints: 11345
842.69/845.25 c #Conflicts: 258000 | #Constraints: 12345
842.69/845.25 c #Conflicts: 259000 | #Constraints: 13345
842.69/845.25 c #Conflicts: 260000 | #Constraints: 14345
842.69/845.25 c #Conflicts: 261000 | #Constraints: 15345
842.69/845.25 c #Conflicts: 262000 | #Constraints: 16345
842.69/845.25 c #Conflicts: 263000 | #Constraints: 17345
842.69/845.25 c #Conflicts: 264000 | #Constraints: 18345
842.69/845.25 c #Conflicts: 265000 | #Constraints: 19345
842.69/845.25 c #Conflicts: 266000 | #Constraints: 20345
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 267000 | #Constraints: 11146
842.69/845.25 c #Conflicts: 268000 | #Constraints: 12146
842.69/845.25 c #Conflicts: 269000 | #Constraints: 13146
842.69/845.25 c #Conflicts: 270000 | #Constraints: 14146
842.69/845.25 c #Conflicts: 271000 | #Constraints: 15146
842.69/845.25 c #Conflicts: 272000 | #Constraints: 16146
842.69/845.25 c #Conflicts: 273000 | #Constraints: 17146
842.69/845.25 c #Conflicts: 274000 | #Constraints: 18146
842.69/845.25 c #Conflicts: 275000 | #Constraints: 19146
842.69/845.25 c #Conflicts: 276000 | #Constraints: 20146
842.69/845.25 c #Conflicts: 277000 | #Constraints: 21146
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 278000 | #Constraints: 11746
842.69/845.25 c #Conflicts: 279000 | #Constraints: 12746
842.69/845.25 c #Conflicts: 280000 | #Constraints: 13746
842.69/845.25 c #Conflicts: 281000 | #Constraints: 14746
842.69/845.25 c #Conflicts: 282000 | #Constraints: 15746
842.69/845.25 c #Conflicts: 283000 | #Constraints: 16746
842.69/845.25 c #Conflicts: 284000 | #Constraints: 17746
842.69/845.25 c #Conflicts: 285000 | #Constraints: 18746
842.69/845.25 c #Conflicts: 286000 | #Constraints: 19746
842.69/845.25 c #Conflicts: 287000 | #Constraints: 20746
842.69/845.25 c #Conflicts: 288000 | #Constraints: 21746
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 289000 | #Constraints: 12148
842.69/845.25 c #Conflicts: 290000 | #Constraints: 13148
842.69/845.25 c #Conflicts: 291000 | #Constraints: 14148
842.69/845.25 c #Conflicts: 292000 | #Constraints: 15148
842.69/845.25 c #Conflicts: 293000 | #Constraints: 16148
842.69/845.25 c #Conflicts: 294000 | #Constraints: 17148
842.69/845.25 c #Conflicts: 295000 | #Constraints: 18148
842.69/845.25 c #Conflicts: 296000 | #Constraints: 19148
842.69/845.25 c #Conflicts: 297000 | #Constraints: 20148
842.69/845.25 c #Conflicts: 298000 | #Constraints: 21148
842.69/845.25 c #Conflicts: 299000 | #Constraints: 22148
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 300000 | #Constraints: 12348
842.69/845.25 c #Conflicts: 301000 | #Constraints: 13348
842.69/845.25 c #Conflicts: 302000 | #Constraints: 14348
842.69/845.25 c #Conflicts: 303000 | #Constraints: 15348
842.69/845.25 c #Conflicts: 304000 | #Constraints: 16348
842.69/845.25 c #Conflicts: 305000 | #Constraints: 17348
842.69/845.25 c #Conflicts: 306000 | #Constraints: 18348
842.69/845.25 c #Conflicts: 307000 | #Constraints: 19348
842.69/845.25 c #Conflicts: 308000 | #Constraints: 20348
842.69/845.25 c #Conflicts: 309000 | #Constraints: 21348
842.69/845.25 c #Conflicts: 310000 | #Constraints: 22348
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 311000 | #Constraints: 12347
842.69/845.25 c #Conflicts: 312000 | #Constraints: 13347
842.69/845.25 c #Conflicts: 313000 | #Constraints: 14347
842.69/845.25 c #Conflicts: 314000 | #Constraints: 15347
842.69/845.25 c #Conflicts: 315000 | #Constraints: 16347
842.69/845.25 c #Conflicts: 316000 | #Constraints: 17347
842.69/845.25 c #Conflicts: 317000 | #Constraints: 18347
842.69/845.25 c #Conflicts: 318000 | #Constraints: 19347
842.69/845.25 c #Conflicts: 319000 | #Constraints: 20347
842.69/845.25 c #Conflicts: 320000 | #Constraints: 21347
842.69/845.25 c #Conflicts: 321000 | #Constraints: 22347
842.69/845.25 c INPROCESSING
842.69/845.25 c GARBAGE COLLECT
842.69/845.25 c #Conflicts: 322000 | #Constraints: 12147
842.69/845.25 c #Conflicts: 323000 | #Constraints: 13147
842.69/845.25 c #Conflicts: 324000 | #Constraints: 14147
842.69/845.25 c #Conflicts: 325000 | #Constraints: 15147
842.69/845.25 c #Conflicts: 326000 | #Constraints: 16147
842.69/845.25 c #Conflicts: 327000 | #Constraints: 17147
1032.04/1035.08 c #Conflicts: 328000 | #Constraints: 18147
1032.04/1035.08 c #Conflicts: 329000 | #Constraints: 19147
1032.04/1035.08 c #Conflicts: 330000 | #Constraints: 20147
1032.04/1035.08 c #Conflicts: 331000 | #Constraints: 21147
1032.04/1035.08 c #Conflicts: 332000 | #Constraints: 22147
1032.04/1035.08 c #Conflicts: 333000 | #Constraints: 23147
1032.04/1035.08 c INPROCESSING
1032.04/1035.08 c GARBAGE COLLECT
1032.04/1035.08 c #Conflicts: 334000 | #Constraints: 12745
1032.04/1035.08 c #Conflicts: 335000 | #Constraints: 13745
1032.04/1035.08 c #Conflicts: 336000 | #Constraints: 14745
1032.04/1035.08 c #Conflicts: 337000 | #Constraints: 15745
1032.04/1035.08 c #Conflicts: 338000 | #Constraints: 16745
1032.04/1035.08 c #Conflicts: 339000 | #Constraints: 17745
1032.04/1035.08 c #Conflicts: 340000 | #Constraints: 18745
1032.04/1035.08 c #Conflicts: 341000 | #Constraints: 19745
1032.04/1035.08 c #Conflicts: 342000 | #Constraints: 20745
1032.04/1035.08 c #Conflicts: 343000 | #Constraints: 21745
1032.04/1035.08 c #Conflicts: 344000 | #Constraints: 22745
1032.04/1035.08 c #Conflicts: 345000 | #Constraints: 23745
1032.04/1035.08 c INPROCESSING
1032.04/1035.08 c GARBAGE COLLECT
1032.04/1035.08 c #Conflicts: 346000 | #Constraints: 13146
1032.04/1035.08 c #Conflicts: 347000 | #Constraints: 14146
1032.04/1035.08 c #Conflicts: 348000 | #Constraints: 15146
1032.04/1035.08 c #Conflicts: 349000 | #Constraints: 16146
1032.04/1035.08 c #Conflicts: 350000 | #Constraints: 17146
1032.04/1035.08 c #Conflicts: 351000 | #Constraints: 18146
1032.04/1035.08 c #Conflicts: 352000 | #Constraints: 19146
1032.04/1035.08 c #Conflicts: 353000 | #Constraints: 20146
1032.04/1035.08 c #Conflicts: 354000 | #Constraints: 21146
1032.04/1035.08 c #Conflicts: 355000 | #Constraints: 22146
1032.04/1035.08 c #Conflicts: 356000 | #Constraints: 23146
1032.04/1035.08 c #Conflicts: 357000 | #Constraints: 24146
1032.04/1035.08 c INPROCESSING
1032.04/1035.08 c GARBAGE COLLECT
1032.04/1035.08 c #Conflicts: 358000 | #Constraints: 13345
1032.04/1035.08 c #Conflicts: 359000 | #Constraints: 14345
1032.04/1035.08 c #Conflicts: 360000 | #Constraints: 15345
1032.04/1035.08 c #Conflicts: 361000 | #Constraints: 16345
1032.04/1035.08 c #Conflicts: 362000 | #Constraints: 17345
1032.04/1035.08 c #Conflicts: 363000 | #Constraints: 18345
1032.04/1035.08 c #Conflicts: 364000 | #Constraints: 19345
1032.04/1035.08 c #Conflicts: 365000 | #Constraints: 20345
1032.04/1035.08 c #Conflicts: 366000 | #Constraints: 21345
1032.04/1035.08 c #Conflicts: 367000 | #Constraints: 22345
1032.04/1035.08 c #Conflicts: 368000 | #Constraints: 23345
1032.04/1035.08 c #Conflicts: 369000 | #Constraints: 24345
1032.04/1035.08 c INPROCESSING
1032.04/1035.08 c GARBAGE COLLECT
1032.04/1035.08 c #Conflicts: 370000 | #Constraints: 13347
1032.04/1035.08 c #Conflicts: 371000 | #Constraints: 14347
1032.04/1035.08 c #Conflicts: 372000 | #Constraints: 15347
1032.04/1035.08 c #Conflicts: 373000 | #Constraints: 16347
1032.04/1035.08 c #Conflicts: 374000 | #Constraints: 17347
1032.04/1035.08 c #Conflicts: 375000 | #Constraints: 18347
1032.04/1035.08 c #Conflicts: 376000 | #Constraints: 19347
1032.04/1035.08 c #Conflicts: 377000 | #Constraints: 20347
1032.04/1035.08 c #Conflicts: 378000 | #Constraints: 21347
1032.04/1035.08 c #Conflicts: 379000 | #Constraints: 22347
1032.04/1035.08 c #Conflicts: 380000 | #Constraints: 23347
1032.04/1035.08 c #Conflicts: 381000 | #Constraints: 24347
1032.04/1035.08 c INPROCESSING
1032.04/1035.08 c GARBAGE COLLECT
1032.04/1035.08 c #Conflicts: 382000 | #Constraints: 13145
1032.04/1035.08 c #Conflicts: 383000 | #Constraints: 14145
1032.04/1035.08 c #Conflicts: 384000 | #Constraints: 15145
1032.04/1035.08 c #Conflicts: 385000 | #Constraints: 16145
1032.04/1035.08 c #Conflicts: 386000 | #Constraints: 17145
1032.04/1035.08 c #Conflicts: 387000 | #Constraints: 18145
1032.04/1035.08 c #Conflicts: 388000 | #Constraints: 19145
1032.04/1035.08 c #Conflicts: 389000 | #Constraints: 20145
1032.04/1035.08 c #Conflicts: 390000 | #Constraints: 21145
1032.04/1035.08 c #Conflicts: 391000 | #Constraints: 22145
1032.04/1035.08 c #Conflicts: 392000 | #Constraints: 23145
1032.04/1035.08 c #Conflicts: 393000 | #Constraints: 24145
1032.04/1035.08 c #Conflicts: 394000 | #Constraints: 25145
1032.04/1035.08 c INPROCESSING
1032.04/1035.08 c GARBAGE COLLECT
1032.04/1035.08 c #Conflicts: 395000 | #Constraints: 13746
1032.04/1035.08 c #Conflicts: 396000 | #Constraints: 14746
1032.04/1035.08 c #Conflicts: 397000 | #Constraints: 15746
1032.04/1035.08 c #Conflicts: 398000 | #Constraints: 16746
1032.04/1035.08 c #Conflicts: 399000 | #Constraints: 17746
1032.04/1035.08 c #Conflicts: 400000 | #Constraints: 18746
1032.04/1035.08 c #Conflicts: 401000 | #Constraints: 19746
1282.44/1286.02 c #Conflicts: 402000 | #Constraints: 20746
1282.44/1286.02 c #Conflicts: 403000 | #Constraints: 21746
1282.44/1286.02 c #Conflicts: 404000 | #Constraints: 22746
1282.44/1286.02 c #Conflicts: 405000 | #Constraints: 23746
1282.44/1286.02 c #Conflicts: 406000 | #Constraints: 24746
1282.44/1286.02 c #Conflicts: 407000 | #Constraints: 25746
1282.44/1286.02 c INPROCESSING
1282.44/1286.02 c GARBAGE COLLECT
1282.44/1286.02 c #Conflicts: 408000 | #Constraints: 14143
1282.44/1286.02 c #Conflicts: 409000 | #Constraints: 15143
1282.44/1286.02 c #Conflicts: 410000 | #Constraints: 16143
1282.44/1286.02 c #Conflicts: 411000 | #Constraints: 17143
1282.44/1286.02 c #Conflicts: 412000 | #Constraints: 18143
1282.44/1286.02 c #Conflicts: 413000 | #Constraints: 19143
1282.44/1286.02 c #Conflicts: 414000 | #Constraints: 20143
1282.44/1286.02 c #Conflicts: 415000 | #Constraints: 21143
1282.44/1286.02 c #Conflicts: 416000 | #Constraints: 22143
1282.44/1286.02 c #Conflicts: 417000 | #Constraints: 23143
1282.44/1286.02 c #Conflicts: 418000 | #Constraints: 24143
1282.44/1286.02 c #Conflicts: 419000 | #Constraints: 25143
1282.44/1286.02 c #Conflicts: 420000 | #Constraints: 26143
1282.44/1286.02 c INPROCESSING
1282.44/1286.02 c GARBAGE COLLECT
1282.44/1286.02 c #Conflicts: 421000 | #Constraints: 14346
1282.44/1286.02 c #Conflicts: 422000 | #Constraints: 15346
1282.44/1286.02 c #Conflicts: 423000 | #Constraints: 16346
1282.44/1286.02 c #Conflicts: 424000 | #Constraints: 17346
1282.44/1286.02 c #Conflicts: 425000 | #Constraints: 18346
1282.44/1286.02 c #Conflicts: 426000 | #Constraints: 19346
1282.44/1286.02 c #Conflicts: 427000 | #Constraints: 20346
1282.44/1286.02 c #Conflicts: 428000 | #Constraints: 21346
1282.44/1286.02 c #Conflicts: 429000 | #Constraints: 22346
1282.44/1286.02 c #Conflicts: 430000 | #Constraints: 23346
1282.44/1286.02 c #Conflicts: 431000 | #Constraints: 24346
1282.44/1286.02 c #Conflicts: 432000 | #Constraints: 25346
1282.44/1286.02 c #Conflicts: 433000 | #Constraints: 26346
1282.44/1286.02 c INPROCESSING
1282.44/1286.02 c GARBAGE COLLECT
1282.44/1286.02 c #Conflicts: 434000 | #Constraints: 14349
1282.44/1286.02 c #Conflicts: 435000 | #Constraints: 15349
1282.44/1286.02 c #Conflicts: 436000 | #Constraints: 16349
1282.44/1286.02 c #Conflicts: 437000 | #Constraints: 17349
1282.44/1286.02 c #Conflicts: 438000 | #Constraints: 18349
1282.44/1286.02 c #Conflicts: 439000 | #Constraints: 19349
1282.44/1286.02 c #Conflicts: 440000 | #Constraints: 20349
1282.44/1286.02 c #Conflicts: 441000 | #Constraints: 21349
1282.44/1286.02 c #Conflicts: 442000 | #Constraints: 22349
1282.44/1286.02 c #Conflicts: 443000 | #Constraints: 23349
1282.44/1286.02 c #Conflicts: 444000 | #Constraints: 24349
1282.44/1286.02 c #Conflicts: 445000 | #Constraints: 25349
1282.44/1286.02 c #Conflicts: 446000 | #Constraints: 26349
1282.44/1286.02 c INPROCESSING
1282.44/1286.02 c GARBAGE COLLECT
1282.44/1286.02 c #Conflicts: 447000 | #Constraints: 14157
1282.44/1286.02 c #Conflicts: 448000 | #Constraints: 15157
1282.44/1286.02 c #Conflicts: 449000 | #Constraints: 16157
1282.44/1286.02 c #Conflicts: 450000 | #Constraints: 17157
1282.44/1286.02 c #Conflicts: 451000 | #Constraints: 18157
1282.44/1286.02 c #Conflicts: 452000 | #Constraints: 19157
1282.44/1286.02 c #Conflicts: 453000 | #Constraints: 20157
1282.44/1286.02 c #Conflicts: 454000 | #Constraints: 21157
1282.44/1286.02 c #Conflicts: 455000 | #Constraints: 22157
1282.44/1286.02 c #Conflicts: 456000 | #Constraints: 23157
1282.44/1286.02 c #Conflicts: 457000 | #Constraints: 24157
1282.44/1286.02 c #Conflicts: 458000 | #Constraints: 25157
1282.44/1286.02 c #Conflicts: 459000 | #Constraints: 26157
1282.44/1286.02 c #Conflicts: 460000 | #Constraints: 27157
1282.44/1286.02 c INPROCESSING
1282.44/1286.02 c GARBAGE COLLECT
1282.44/1286.02 c #Conflicts: 461000 | #Constraints: 14755
1282.44/1286.02 c #Conflicts: 462000 | #Constraints: 15755
1282.44/1286.02 c #Conflicts: 463000 | #Constraints: 16755
1282.44/1286.02 c #Conflicts: 464000 | #Constraints: 17755
1282.44/1286.02 c #Conflicts: 465000 | #Constraints: 18755
1282.44/1286.02 c #Conflicts: 466000 | #Constraints: 19755
1282.44/1286.02 c #Conflicts: 467000 | #Constraints: 20755
1282.44/1286.02 c #Conflicts: 468000 | #Constraints: 21755
1282.44/1286.02 c #Conflicts: 469000 | #Constraints: 22755
1282.44/1286.02 c #Conflicts: 470000 | #Constraints: 23755
1282.44/1286.02 c #Conflicts: 471000 | #Constraints: 24755
1282.44/1286.02 c #Conflicts: 472000 | #Constraints: 25755
1282.44/1286.02 c #Conflicts: 473000 | #Constraints: 26755
1282.44/1286.02 c #Conflicts: 474000 | #Constraints: 27755
1282.44/1286.02 c INPROCESSING
1282.44/1286.02 c GARBAGE COLLECT
1282.44/1286.02 c #Conflicts: 475000 | #Constraints: 15159
1282.44/1286.02 c #Conflicts: 476000 | #Constraints: 16159
1524.54/1528.73 c #Conflicts: 477000 | #Constraints: 17159
1524.54/1528.73 c #Conflicts: 478000 | #Constraints: 18159
1524.54/1528.73 c #Conflicts: 479000 | #Constraints: 19159
1524.54/1528.73 c #Conflicts: 480000 | #Constraints: 20159
1524.54/1528.73 c #Conflicts: 481000 | #Constraints: 21159
1524.54/1528.73 c #Conflicts: 482000 | #Constraints: 22159
1524.54/1528.73 c #Conflicts: 483000 | #Constraints: 23159
1524.54/1528.73 c #Conflicts: 484000 | #Constraints: 24159
1524.54/1528.73 c #Conflicts: 485000 | #Constraints: 25159
1524.54/1528.73 c #Conflicts: 486000 | #Constraints: 26159
1524.54/1528.73 c #Conflicts: 487000 | #Constraints: 27159
1524.54/1528.73 c #Conflicts: 488000 | #Constraints: 28159
1524.54/1528.73 c INPROCESSING
1524.54/1528.73 c GARBAGE COLLECT
1524.54/1528.73 c #Conflicts: 489000 | #Constraints: 15358
1524.54/1528.73 c #Conflicts: 490000 | #Constraints: 16358
1524.54/1528.73 c #Conflicts: 491000 | #Constraints: 17358
1524.54/1528.73 c #Conflicts: 492000 | #Constraints: 18358
1524.54/1528.73 c #Conflicts: 493000 | #Constraints: 19358
1524.54/1528.73 c #Conflicts: 494000 | #Constraints: 20358
1524.54/1528.73 c #Conflicts: 495000 | #Constraints: 21358
1524.54/1528.73 c #Conflicts: 496000 | #Constraints: 22358
1524.54/1528.73 c #Conflicts: 497000 | #Constraints: 23358
1524.54/1528.73 c #Conflicts: 498000 | #Constraints: 24358
1524.54/1528.73 c #Conflicts: 499000 | #Constraints: 25358
1524.54/1528.73 c #Conflicts: 500000 | #Constraints: 26358
1524.54/1528.73 c #Conflicts: 501000 | #Constraints: 27358
1524.54/1528.73 c #Conflicts: 502000 | #Constraints: 28358
1524.54/1528.73 c INPROCESSING
1524.54/1528.73 c GARBAGE COLLECT
1524.54/1528.73 c #Conflicts: 503000 | #Constraints: 15360
1524.54/1528.73 c #Conflicts: 504000 | #Constraints: 16360
1524.54/1528.73 c #Conflicts: 505000 | #Constraints: 17360
1524.54/1528.73 c #Conflicts: 506000 | #Constraints: 18360
1524.54/1528.73 c #Conflicts: 507000 | #Constraints: 19360
1524.54/1528.73 c #Conflicts: 508000 | #Constraints: 20360
1524.54/1528.73 c #Conflicts: 509000 | #Constraints: 21360
1524.54/1528.73 c #Conflicts: 510000 | #Constraints: 22360
1524.54/1528.73 c #Conflicts: 511000 | #Constraints: 23360
1524.54/1528.73 c #Conflicts: 512000 | #Constraints: 24360
1524.54/1528.73 c #Conflicts: 513000 | #Constraints: 25360
1524.54/1528.73 c #Conflicts: 514000 | #Constraints: 26360
1524.54/1528.73 c #Conflicts: 515000 | #Constraints: 27360
1524.54/1528.73 c #Conflicts: 516000 | #Constraints: 28360
1524.54/1528.73 c INPROCESSING
1524.54/1528.73 c GARBAGE COLLECT
1524.54/1528.73 c #Conflicts: 517000 | #Constraints: 15153
1524.54/1528.73 c #Conflicts: 518000 | #Constraints: 16153
1524.54/1528.73 c #Conflicts: 519000 | #Constraints: 17153
1524.54/1528.73 c #Conflicts: 520000 | #Constraints: 18153
1524.54/1528.73 c #Conflicts: 521000 | #Constraints: 19153
1524.54/1528.73 c #Conflicts: 522000 | #Constraints: 20153
1524.54/1528.73 c #Conflicts: 523000 | #Constraints: 21153
1524.54/1528.73 c #Conflicts: 524000 | #Constraints: 22153
1524.54/1528.73 c #Conflicts: 525000 | #Constraints: 23153
1524.54/1528.73 c #Conflicts: 526000 | #Constraints: 24153
1524.54/1528.73 c #Conflicts: 527000 | #Constraints: 25153
1524.54/1528.73 c #Conflicts: 528000 | #Constraints: 26153
1524.54/1528.73 c #Conflicts: 529000 | #Constraints: 27153
1524.54/1528.73 c #Conflicts: 530000 | #Constraints: 28153
1524.54/1528.73 c #Conflicts: 531000 | #Constraints: 29153
1524.54/1528.73 c INPROCESSING
1524.54/1528.73 c GARBAGE COLLECT
1524.54/1528.73 c #Conflicts: 532000 | #Constraints: 15750
1524.54/1528.73 c #Conflicts: 533000 | #Constraints: 16750
1524.54/1528.73 c #Conflicts: 534000 | #Constraints: 17750
1524.54/1528.73 c #Conflicts: 535000 | #Constraints: 18750
1524.54/1528.73 c #Conflicts: 536000 | #Constraints: 19750
1524.54/1528.73 c #Conflicts: 537000 | #Constraints: 20750
1524.54/1528.73 c #Conflicts: 538000 | #Constraints: 21750
1524.54/1528.73 c #Conflicts: 539000 | #Constraints: 22750
1524.54/1528.73 c #Conflicts: 540000 | #Constraints: 23750
1524.54/1528.73 c #Conflicts: 541000 | #Constraints: 24750
1524.54/1528.73 c #Conflicts: 542000 | #Constraints: 25750
1524.54/1528.73 c #Conflicts: 543000 | #Constraints: 26750
1524.54/1528.73 c #Conflicts: 544000 | #Constraints: 27750
1524.54/1528.73 c #Conflicts: 545000 | #Constraints: 28750
1524.54/1528.73 c #Conflicts: 546000 | #Constraints: 29750
1524.54/1528.73 c INPROCESSING
1524.54/1528.73 c GARBAGE COLLECT
1524.54/1528.73 c #Conflicts: 547000 | #Constraints: 16146
1524.54/1528.73 c #Conflicts: 548000 | #Constraints: 17146
1524.54/1528.73 c #Conflicts: 549000 | #Constraints: 18146
1524.54/1528.73 c #Conflicts: 550000 | #Constraints: 19146
1524.54/1528.73 c #Conflicts: 551000 | #Constraints: 20146
1524.54/1528.73 c #Conflicts: 552000 | #Constraints: 21146
1772.62/1777.48 c #Conflicts: 553000 | #Constraints: 22146
1772.62/1777.48 c #Conflicts: 554000 | #Constraints: 23146
1772.62/1777.48 c #Conflicts: 555000 | #Constraints: 24146
1772.62/1777.48 c #Conflicts: 556000 | #Constraints: 25146
1772.62/1777.48 c #Conflicts: 557000 | #Constraints: 26146
1772.62/1777.48 c #Conflicts: 558000 | #Constraints: 27146
1772.62/1777.48 c #Conflicts: 559000 | #Constraints: 28146
1772.62/1777.48 c #Conflicts: 560000 | #Constraints: 29146
1772.62/1777.48 c #Conflicts: 561000 | #Constraints: 30146
1772.62/1777.48 c INPROCESSING
1772.62/1777.48 c GARBAGE COLLECT
1772.62/1777.48 c #Conflicts: 562000 | #Constraints: 16346
1772.62/1777.48 c #Conflicts: 563000 | #Constraints: 17346
1772.62/1777.48 c #Conflicts: 564000 | #Constraints: 18346
1772.62/1777.48 c #Conflicts: 565000 | #Constraints: 19346
1772.62/1777.48 c #Conflicts: 566000 | #Constraints: 20346
1772.62/1777.48 c #Conflicts: 567000 | #Constraints: 21346
1772.62/1777.48 c #Conflicts: 568000 | #Constraints: 22346
1772.62/1777.48 c #Conflicts: 569000 | #Constraints: 23346
1772.62/1777.48 c #Conflicts: 570000 | #Constraints: 24346
1772.62/1777.48 c #Conflicts: 571000 | #Constraints: 25346
1772.62/1777.48 c #Conflicts: 572000 | #Constraints: 26346
1772.62/1777.48 c #Conflicts: 573000 | #Constraints: 27346
1772.62/1777.48 c #Conflicts: 574000 | #Constraints: 28346
1772.62/1777.48 c #Conflicts: 575000 | #Constraints: 29346
1772.62/1777.48 c #Conflicts: 576000 | #Constraints: 30346
1772.62/1777.48 c INPROCESSING
1772.62/1777.48 c GARBAGE COLLECT
1772.62/1777.48 c #Conflicts: 577000 | #Constraints: 16347
1772.62/1777.48 c #Conflicts: 578000 | #Constraints: 17347
1772.62/1777.48 c #Conflicts: 579000 | #Constraints: 18347
1772.62/1777.48 c #Conflicts: 580000 | #Constraints: 19347
1772.62/1777.48 c #Conflicts: 581000 | #Constraints: 20347
1772.62/1777.48 c #Conflicts: 582000 | #Constraints: 21347
1772.62/1777.48 c #Conflicts: 583000 | #Constraints: 22347
1772.62/1777.48 c #Conflicts: 584000 | #Constraints: 23347
1772.62/1777.48 c #Conflicts: 585000 | #Constraints: 24347
1772.62/1777.48 c #Conflicts: 586000 | #Constraints: 25347
1772.62/1777.48 c #Conflicts: 587000 | #Constraints: 26347
1772.62/1777.48 c #Conflicts: 588000 | #Constraints: 27347
1772.62/1777.48 c #Conflicts: 589000 | #Constraints: 28347
1772.62/1777.48 c #Conflicts: 590000 | #Constraints: 29347
1772.62/1777.48 c #Conflicts: 591000 | #Constraints: 30347
1772.62/1777.48 c INPROCESSING
1772.62/1777.48 c GARBAGE COLLECT
1772.62/1777.48 c #Conflicts: 592000 | #Constraints: 16148
1772.62/1777.48 c #Conflicts: 593000 | #Constraints: 17148
1772.62/1777.48 c #Conflicts: 594000 | #Constraints: 18148
1772.62/1777.48 c #Conflicts: 595000 | #Constraints: 19148
1772.62/1777.48 c #Conflicts: 596000 | #Constraints: 20148
1772.62/1777.48 c #Conflicts: 597000 | #Constraints: 21148
1772.62/1777.48 c #Conflicts: 598000 | #Constraints: 22148
1772.62/1777.48 c #Conflicts: 599000 | #Constraints: 23148
1772.62/1777.48 c #Conflicts: 600000 | #Constraints: 24148
1772.62/1777.48 c #Conflicts: 601000 | #Constraints: 25148
1772.62/1777.48 c #Conflicts: 602000 | #Constraints: 26148
1772.62/1777.48 c #Conflicts: 603000 | #Constraints: 27148
1772.62/1777.48 c #Conflicts: 604000 | #Constraints: 28148
1772.62/1777.48 c #Conflicts: 605000 | #Constraints: 29148
1772.62/1777.48 c #Conflicts: 606000 | #Constraints: 30148
1772.62/1777.48 c #Conflicts: 607000 | #Constraints: 31148
1772.62/1777.48 c INPROCESSING
1772.62/1777.48 c GARBAGE COLLECT
1772.62/1777.48 c #Conflicts: 608000 | #Constraints: 16752
1772.62/1777.48 c #Conflicts: 609000 | #Constraints: 17752
1772.62/1777.48 c #Conflicts: 610000 | #Constraints: 18752
1772.62/1777.48 c #Conflicts: 611000 | #Constraints: 19752
1772.62/1777.48 c #Conflicts: 612000 | #Constraints: 20752
1772.62/1777.48 c #Conflicts: 613000 | #Constraints: 21752
1772.62/1777.48 c #Conflicts: 614000 | #Constraints: 22752
1772.62/1777.48 c #Conflicts: 615000 | #Constraints: 23752
1772.62/1777.48 c #Conflicts: 616000 | #Constraints: 24752
1772.62/1777.48 c #Conflicts: 617000 | #Constraints: 25752
1772.62/1777.48 c #Conflicts: 618000 | #Constraints: 26752
1772.62/1777.48 c #Conflicts: 619000 | #Constraints: 27752
1772.62/1777.48 c #Conflicts: 620000 | #Constraints: 28752
1772.62/1777.48 c #Conflicts: 621000 | #Constraints: 29752
1772.62/1777.48 c #Conflicts: 622000 | #Constraints: 30752
1772.62/1777.48 c #Conflicts: 623000 | #Constraints: 31752
1772.62/1777.48 c INPROCESSING
1772.62/1777.48 c GARBAGE COLLECT
1772.62/1777.48 c #Conflicts: 624000 | #Constraints: 17150
1772.62/1777.48 c #Conflicts: 625000 | #Constraints: 18150
1772.62/1777.48 c #Conflicts: 626000 | #Constraints: 19150
1772.62/1777.48 c #Conflicts: 627000 | #Constraints: 20150
1772.62/1777.48 c #Conflicts: 628000 | #Constraints: 21150
2059.42/2064.93 c #Conflicts: 629000 | #Constraints: 22150
2059.42/2064.93 c #Conflicts: 630000 | #Constraints: 23150
2059.42/2064.93 c #Conflicts: 631000 | #Constraints: 24150
2059.42/2064.93 c #Conflicts: 632000 | #Constraints: 25150
2059.42/2064.93 c #Conflicts: 633000 | #Constraints: 26150
2059.42/2064.93 c #Conflicts: 634000 | #Constraints: 27150
2059.42/2064.93 c #Conflicts: 635000 | #Constraints: 28150
2059.42/2064.93 c #Conflicts: 636000 | #Constraints: 29150
2059.42/2064.93 c #Conflicts: 637000 | #Constraints: 30150
2059.42/2064.93 c #Conflicts: 638000 | #Constraints: 31150
2059.42/2064.93 c #Conflicts: 639000 | #Constraints: 32150
2059.42/2064.93 c INPROCESSING
2059.42/2064.93 c GARBAGE COLLECT
2059.42/2064.93 c #Conflicts: 640000 | #Constraints: 17351
2059.42/2064.93 c #Conflicts: 641000 | #Constraints: 18351
2059.42/2064.93 c #Conflicts: 642000 | #Constraints: 19351
2059.42/2064.93 c #Conflicts: 643000 | #Constraints: 20351
2059.42/2064.93 c #Conflicts: 644000 | #Constraints: 21351
2059.42/2064.93 c #Conflicts: 645000 | #Constraints: 22351
2059.42/2064.93 c #Conflicts: 646000 | #Constraints: 23351
2059.42/2064.93 c #Conflicts: 647000 | #Constraints: 24351
2059.42/2064.93 c #Conflicts: 648000 | #Constraints: 25351
2059.42/2064.93 c #Conflicts: 649000 | #Constraints: 26351
2059.42/2064.93 c #Conflicts: 650000 | #Constraints: 27351
2059.42/2064.93 c #Conflicts: 651000 | #Constraints: 28351
2059.42/2064.93 c #Conflicts: 652000 | #Constraints: 29351
2059.42/2064.93 c #Conflicts: 653000 | #Constraints: 30351
2059.42/2064.93 c #Conflicts: 654000 | #Constraints: 31351
2059.42/2064.93 c #Conflicts: 655000 | #Constraints: 32351
2059.42/2064.93 c INPROCESSING
2059.42/2064.93 c GARBAGE COLLECT
2059.42/2064.93 c #Conflicts: 656000 | #Constraints: 17354
2059.42/2064.93 c #Conflicts: 657000 | #Constraints: 18354
2059.42/2064.93 c #Conflicts: 658000 | #Constraints: 19354
2059.42/2064.93 c #Conflicts: 659000 | #Constraints: 20354
2059.42/2064.93 c #Conflicts: 660000 | #Constraints: 21354
2059.42/2064.93 c #Conflicts: 661000 | #Constraints: 22354
2059.42/2064.93 c #Conflicts: 662000 | #Constraints: 23354
2059.42/2064.93 c #Conflicts: 663000 | #Constraints: 24354
2059.42/2064.93 c #Conflicts: 664000 | #Constraints: 25354
2059.42/2064.93 c #Conflicts: 665000 | #Constraints: 26354
2059.42/2064.93 c #Conflicts: 666000 | #Constraints: 27354
2059.42/2064.93 c #Conflicts: 667000 | #Constraints: 28354
2059.42/2064.93 c #Conflicts: 668000 | #Constraints: 29354
2059.42/2064.93 c #Conflicts: 669000 | #Constraints: 30354
2059.42/2064.93 c #Conflicts: 670000 | #Constraints: 31354
2059.42/2064.93 c #Conflicts: 671000 | #Constraints: 32354
2059.42/2064.93 c INPROCESSING
2059.42/2064.93 c GARBAGE COLLECT
2059.42/2064.93 c #Conflicts: 672000 | #Constraints: 17152
2059.42/2064.93 c #Conflicts: 673000 | #Constraints: 18152
2059.42/2064.93 c #Conflicts: 674000 | #Constraints: 19152
2059.42/2064.93 c #Conflicts: 675000 | #Constraints: 20152
2059.42/2064.93 c #Conflicts: 676000 | #Constraints: 21152
2059.42/2064.93 c #Conflicts: 677000 | #Constraints: 22152
2059.42/2064.93 c #Conflicts: 678000 | #Constraints: 23152
2059.42/2064.93 c #Conflicts: 679000 | #Constraints: 24152
2059.42/2064.93 c #Conflicts: 680000 | #Constraints: 25152
2059.42/2064.93 c #Conflicts: 681000 | #Constraints: 26152
2059.42/2064.93 c #Conflicts: 682000 | #Constraints: 27152
2059.42/2064.93 c #Conflicts: 683000 | #Constraints: 28152
2059.42/2064.93 c #Conflicts: 684000 | #Constraints: 29152
2059.42/2064.93 c #Conflicts: 685000 | #Constraints: 30152
2059.42/2064.93 c #Conflicts: 686000 | #Constraints: 31152
2059.42/2064.93 c #Conflicts: 687000 | #Constraints: 32152
2059.42/2064.93 c #Conflicts: 688000 | #Constraints: 33152
2059.42/2064.93 c INPROCESSING
2059.42/2064.93 c GARBAGE COLLECT
2059.42/2064.93 c #Conflicts: 689000 | #Constraints: 17749
2059.42/2064.93 c #Conflicts: 690000 | #Constraints: 18749
2059.42/2064.93 c #Conflicts: 691000 | #Constraints: 19749
2059.42/2064.93 c #Conflicts: 692000 | #Constraints: 20749
2059.42/2064.93 c #Conflicts: 693000 | #Constraints: 21749
2059.42/2064.93 c #Conflicts: 694000 | #Constraints: 22749
2059.42/2064.93 c #Conflicts: 695000 | #Constraints: 23749
2059.42/2064.93 c #Conflicts: 696000 | #Constraints: 24749
2059.42/2064.93 c #Conflicts: 697000 | #Constraints: 25749
2059.42/2064.93 c #Conflicts: 698000 | #Constraints: 26749
2059.42/2064.93 c #Conflicts: 699000 | #Constraints: 27749
2059.42/2064.93 c #Conflicts: 700000 | #Constraints: 28749
2059.42/2064.93 c #Conflicts: 701000 | #Constraints: 29749
2059.42/2064.93 c #Conflicts: 702000 | #Constraints: 30749
2059.42/2064.93 c #Conflicts: 703000 | #Constraints: 31749
2059.42/2064.93 c #Conflicts: 704000 | #Constraints: 32749
2379.23/2385.53 c #Conflicts: 705000 | #Constraints: 33749
2379.23/2385.53 c INPROCESSING
2379.23/2385.53 c GARBAGE COLLECT
2379.23/2385.53 c #Conflicts: 706000 | #Constraints: 18149
2379.23/2385.53 c #Conflicts: 707000 | #Constraints: 19149
2379.23/2385.53 c #Conflicts: 708000 | #Constraints: 20149
2379.23/2385.53 c #Conflicts: 709000 | #Constraints: 21149
2379.23/2385.53 c #Conflicts: 710000 | #Constraints: 22149
2379.23/2385.53 c #Conflicts: 711000 | #Constraints: 23149
2379.23/2385.53 c #Conflicts: 712000 | #Constraints: 24149
2379.23/2385.53 c #Conflicts: 713000 | #Constraints: 25149
2379.23/2385.53 c #Conflicts: 714000 | #Constraints: 26149
2379.23/2385.53 c #Conflicts: 715000 | #Constraints: 27149
2379.23/2385.53 c #Conflicts: 716000 | #Constraints: 28149
2379.23/2385.53 c #Conflicts: 717000 | #Constraints: 29149
2379.23/2385.53 c #Conflicts: 718000 | #Constraints: 30149
2379.23/2385.53 c #Conflicts: 719000 | #Constraints: 31149
2379.23/2385.53 c #Conflicts: 720000 | #Constraints: 32149
2379.23/2385.53 c #Conflicts: 721000 | #Constraints: 33149
2379.23/2385.53 c #Conflicts: 722000 | #Constraints: 34149
2379.23/2385.53 c INPROCESSING
2379.23/2385.53 c GARBAGE COLLECT
2379.23/2385.53 c #Conflicts: 723000 | #Constraints: 18352
2379.23/2385.53 c #Conflicts: 724000 | #Constraints: 19352
2379.23/2385.53 c #Conflicts: 725000 | #Constraints: 20352
2379.23/2385.53 c #Conflicts: 726000 | #Constraints: 21352
2379.23/2385.53 c #Conflicts: 727000 | #Constraints: 22352
2379.23/2385.53 c #Conflicts: 728000 | #Constraints: 23352
2379.23/2385.53 c #Conflicts: 729000 | #Constraints: 24352
2379.23/2385.53 c #Conflicts: 730000 | #Constraints: 25352
2379.23/2385.53 c #Conflicts: 731000 | #Constraints: 26352
2379.23/2385.53 c #Conflicts: 732000 | #Constraints: 27352
2379.23/2385.53 c #Conflicts: 733000 | #Constraints: 28352
2379.23/2385.53 c #Conflicts: 734000 | #Constraints: 29352
2379.23/2385.53 c #Conflicts: 735000 | #Constraints: 30352
2379.23/2385.53 c #Conflicts: 736000 | #Constraints: 31352
2379.23/2385.53 c #Conflicts: 737000 | #Constraints: 32352
2379.23/2385.53 c #Conflicts: 738000 | #Constraints: 33352
2379.23/2385.53 c #Conflicts: 739000 | #Constraints: 34352
2379.23/2385.53 c INPROCESSING
2379.23/2385.53 c GARBAGE COLLECT
2379.23/2385.53 c #Conflicts: 740000 | #Constraints: 18353
2379.23/2385.53 c #Conflicts: 741000 | #Constraints: 19353
2379.23/2385.53 c #Conflicts: 742000 | #Constraints: 20353
2379.23/2385.53 c #Conflicts: 743000 | #Constraints: 21353
2379.23/2385.53 c #Conflicts: 744000 | #Constraints: 22353
2379.23/2385.53 c #Conflicts: 745000 | #Constraints: 23353
2379.23/2385.53 c #Conflicts: 746000 | #Constraints: 24353
2379.23/2385.53 c #Conflicts: 747000 | #Constraints: 25353
2379.23/2385.53 c #Conflicts: 748000 | #Constraints: 26353
2379.23/2385.53 c #Conflicts: 749000 | #Constraints: 27353
2379.23/2385.53 c #Conflicts: 750000 | #Constraints: 28353
2379.23/2385.53 c #Conflicts: 751000 | #Constraints: 29353
2379.23/2385.53 c #Conflicts: 752000 | #Constraints: 30353
2379.23/2385.53 c #Conflicts: 753000 | #Constraints: 31353
2379.23/2385.53 c #Conflicts: 754000 | #Constraints: 32353
2379.23/2385.53 c #Conflicts: 755000 | #Constraints: 33353
2379.23/2385.53 c #Conflicts: 756000 | #Constraints: 34353
2379.23/2385.53 c INPROCESSING
2379.23/2385.53 c GARBAGE COLLECT
2379.23/2385.53 c #Conflicts: 757000 | #Constraints: 18153
2379.23/2385.53 c #Conflicts: 758000 | #Constraints: 19153
2379.23/2385.53 c #Conflicts: 759000 | #Constraints: 20153
2379.23/2385.53 c #Conflicts: 760000 | #Constraints: 21153
2379.23/2385.53 c #Conflicts: 761000 | #Constraints: 22153
2379.23/2385.53 c #Conflicts: 762000 | #Constraints: 23153
2379.23/2385.53 c #Conflicts: 763000 | #Constraints: 24153
2379.23/2385.53 c #Conflicts: 764000 | #Constraints: 25153
2379.23/2385.53 c #Conflicts: 765000 | #Constraints: 26153
2379.23/2385.53 c #Conflicts: 766000 | #Constraints: 27153
2379.23/2385.53 c #Conflicts: 767000 | #Constraints: 28153
2379.23/2385.53 c #Conflicts: 768000 | #Constraints: 29153
2379.23/2385.53 c #Conflicts: 769000 | #Constraints: 30153
2379.23/2385.53 c #Conflicts: 770000 | #Constraints: 31153
2379.23/2385.53 c #Conflicts: 771000 | #Constraints: 32153
2379.23/2385.53 c #Conflicts: 772000 | #Constraints: 33153
2379.23/2385.53 c #Conflicts: 773000 | #Constraints: 34153
2379.23/2385.53 c #Conflicts: 774000 | #Constraints: 35153
2379.23/2385.53 c INPROCESSING
2379.23/2385.53 c GARBAGE COLLECT
2379.23/2385.53 c #Conflicts: 775000 | #Constraints: 18747
2379.23/2385.53 c #Conflicts: 776000 | #Constraints: 19747
2379.23/2385.53 c #Conflicts: 777000 | #Constraints: 20747
2379.23/2385.53 c #Conflicts: 778000 | #Constraints: 21747
2379.23/2385.53 c #Conflicts: 779000 | #Constraints: 22747
2784.94/2792.34 c #Conflicts: 780000 | #Constraints: 23747
2784.94/2792.34 c #Conflicts: 781000 | #Constraints: 24747
2784.94/2792.34 c #Conflicts: 782000 | #Constraints: 25747
2784.94/2792.34 c #Conflicts: 783000 | #Constraints: 26747
2784.94/2792.34 c #Conflicts: 784000 | #Constraints: 27747
2784.94/2792.34 c #Conflicts: 785000 | #Constraints: 28747
2784.94/2792.34 c #Conflicts: 786000 | #Constraints: 29747
2784.94/2792.34 c #Conflicts: 787000 | #Constraints: 30747
2784.94/2792.34 c #Conflicts: 788000 | #Constraints: 31747
2784.94/2792.34 c #Conflicts: 789000 | #Constraints: 32747
2784.94/2792.34 c #Conflicts: 790000 | #Constraints: 33747
2784.94/2792.34 c #Conflicts: 791000 | #Constraints: 34747
2784.94/2792.34 c #Conflicts: 792000 | #Constraints: 35747
2784.94/2792.34 c INPROCESSING
2784.94/2792.34 c GARBAGE COLLECT
2784.94/2792.34 c #Conflicts: 793000 | #Constraints: 19146
2784.94/2792.34 c #Conflicts: 794000 | #Constraints: 20146
2784.94/2792.34 c #Conflicts: 795000 | #Constraints: 21146
2784.94/2792.34 c #Conflicts: 796000 | #Constraints: 22146
2784.94/2792.34 c #Conflicts: 797000 | #Constraints: 23146
2784.94/2792.34 c #Conflicts: 798000 | #Constraints: 24146
2784.94/2792.34 c #Conflicts: 799000 | #Constraints: 25146
2784.94/2792.34 c #Conflicts: 800000 | #Constraints: 26146
2784.94/2792.34 c #Conflicts: 801000 | #Constraints: 27146
2784.94/2792.34 c #Conflicts: 802000 | #Constraints: 28146
2784.94/2792.34 c #Conflicts: 803000 | #Constraints: 29146
2784.94/2792.34 c #Conflicts: 804000 | #Constraints: 30146
2784.94/2792.34 c #Conflicts: 805000 | #Constraints: 31146
2784.94/2792.34 c #Conflicts: 806000 | #Constraints: 32146
2784.94/2792.34 c #Conflicts: 807000 | #Constraints: 33146
2784.94/2792.34 c #Conflicts: 808000 | #Constraints: 34146
2784.94/2792.34 c #Conflicts: 809000 | #Constraints: 35146
2784.94/2792.34 c #Conflicts: 810000 | #Constraints: 36146
2784.94/2792.34 c INPROCESSING
2784.94/2792.34 c GARBAGE COLLECT
2784.94/2792.34 c #Conflicts: 811000 | #Constraints: 19347
2784.94/2792.34 c #Conflicts: 812000 | #Constraints: 20347
2784.94/2792.34 c #Conflicts: 813000 | #Constraints: 21347
2784.94/2792.34 c #Conflicts: 814000 | #Constraints: 22347
2784.94/2792.34 c #Conflicts: 815000 | #Constraints: 23347
2784.94/2792.34 c #Conflicts: 816000 | #Constraints: 24347
2784.94/2792.34 c #Conflicts: 817000 | #Constraints: 25347
2784.94/2792.34 c #Conflicts: 818000 | #Constraints: 26347
2784.94/2792.34 c #Conflicts: 819000 | #Constraints: 27347
2784.94/2792.34 c #Conflicts: 820000 | #Constraints: 28347
2784.94/2792.34 c #Conflicts: 821000 | #Constraints: 29347
2784.94/2792.34 c #Conflicts: 822000 | #Constraints: 30347
2784.94/2792.34 c #Conflicts: 823000 | #Constraints: 31347
2784.94/2792.34 c #Conflicts: 824000 | #Constraints: 32347
2784.94/2792.34 c #Conflicts: 825000 | #Constraints: 33347
2784.94/2792.34 c #Conflicts: 826000 | #Constraints: 34347
2784.94/2792.34 c #Conflicts: 827000 | #Constraints: 35347
2784.94/2792.34 c #Conflicts: 828000 | #Constraints: 36347
2784.94/2792.34 c INPROCESSING
2784.94/2792.34 c GARBAGE COLLECT
2784.94/2792.34 c #Conflicts: 829000 | #Constraints: 19347
2784.94/2792.34 c #Conflicts: 830000 | #Constraints: 20347
2784.94/2792.34 c #Conflicts: 831000 | #Constraints: 21347
2784.94/2792.34 c #Conflicts: 832000 | #Constraints: 22347
2784.94/2792.34 c #Conflicts: 833000 | #Constraints: 23347
2784.94/2792.34 c #Conflicts: 834000 | #Constraints: 24347
2784.94/2792.34 c #Conflicts: 835000 | #Constraints: 25347
2784.94/2792.34 c #Conflicts: 836000 | #Constraints: 26347
2784.94/2792.34 c #Conflicts: 837000 | #Constraints: 27347
2784.94/2792.34 c #Conflicts: 838000 | #Constraints: 28347
2784.94/2792.34 c #Conflicts: 839000 | #Constraints: 29347
2784.94/2792.34 c #Conflicts: 840000 | #Constraints: 30347
2784.94/2792.34 c #Conflicts: 841000 | #Constraints: 31347
2784.94/2792.34 c #Conflicts: 842000 | #Constraints: 32347
2784.94/2792.34 c #Conflicts: 843000 | #Constraints: 33347
2784.94/2792.34 c #Conflicts: 844000 | #Constraints: 34347
2784.94/2792.34 c #Conflicts: 845000 | #Constraints: 35347
2784.94/2792.34 c #Conflicts: 846000 | #Constraints: 36347
2784.94/2792.34 c INPROCESSING
2784.94/2792.34 c GARBAGE COLLECT
2784.94/2792.34 c #Conflicts: 847000 | #Constraints: 19148
2784.94/2792.34 c #Conflicts: 848000 | #Constraints: 20148
2784.94/2792.34 c #Conflicts: 849000 | #Constraints: 21148
2784.94/2792.34 c #Conflicts: 850000 | #Constraints: 22148
2784.94/2792.34 c #Conflicts: 851000 | #Constraints: 23148
2784.94/2792.34 c #Conflicts: 852000 | #Constraints: 24148
2784.94/2792.34 c #Conflicts: 853000 | #Constraints: 25148
2784.94/2792.34 c #Conflicts: 854000 | #Constraints: 26148
2784.94/2792.34 c #Conflicts: 855000 | #Constraints: 27148
2784.94/2792.34 c #Conflicts: 856000 | #Constraints: 28148
3131.15/3139.43 c #Conflicts: 857000 | #Constraints: 29148
3131.15/3139.43 c #Conflicts: 858000 | #Constraints: 30148
3131.15/3139.43 c #Conflicts: 859000 | #Constraints: 31148
3131.15/3139.43 c #Conflicts: 860000 | #Constraints: 32148
3131.15/3139.43 c #Conflicts: 861000 | #Constraints: 33148
3131.15/3139.43 c #Conflicts: 862000 | #Constraints: 34148
3131.15/3139.43 c #Conflicts: 863000 | #Constraints: 35148
3131.15/3139.43 c #Conflicts: 864000 | #Constraints: 36148
3131.15/3139.43 c #Conflicts: 865000 | #Constraints: 37148
3131.15/3139.43 c INPROCESSING
3131.15/3139.43 c GARBAGE COLLECT
3131.15/3139.43 c #Conflicts: 866000 | #Constraints: 19746
3131.15/3139.43 c #Conflicts: 867000 | #Constraints: 20746
3131.15/3139.43 c #Conflicts: 868000 | #Constraints: 21746
3131.15/3139.43 c #Conflicts: 869000 | #Constraints: 22746
3131.15/3139.43 c #Conflicts: 870000 | #Constraints: 23746
3131.15/3139.43 c #Conflicts: 871000 | #Constraints: 24746
3131.15/3139.43 c #Conflicts: 872000 | #Constraints: 25746
3131.15/3139.43 c #Conflicts: 873000 | #Constraints: 26746
3131.15/3139.43 c #Conflicts: 874000 | #Constraints: 27746
3131.15/3139.43 c #Conflicts: 875000 | #Constraints: 28746
3131.15/3139.43 c #Conflicts: 876000 | #Constraints: 29746
3131.15/3139.43 c #Conflicts: 877000 | #Constraints: 30746
3131.15/3139.43 c #Conflicts: 878000 | #Constraints: 31746
3131.15/3139.43 c #Conflicts: 879000 | #Constraints: 32746
3131.15/3139.43 c #Conflicts: 880000 | #Constraints: 33746
3131.15/3139.43 c #Conflicts: 881000 | #Constraints: 34746
3131.15/3139.43 c #Conflicts: 882000 | #Constraints: 35746
3131.15/3139.43 c #Conflicts: 883000 | #Constraints: 36746
3131.15/3139.43 c #Conflicts: 884000 | #Constraints: 37746
3131.15/3139.43 c INPROCESSING
3131.15/3139.43 c GARBAGE COLLECT
3131.15/3139.43 c #Conflicts: 885000 | #Constraints: 20144
3131.15/3139.43 c #Conflicts: 886000 | #Constraints: 21144
3131.15/3139.43 c #Conflicts: 887000 | #Constraints: 22144
3131.15/3139.43 c #Conflicts: 888000 | #Constraints: 23144
3131.15/3139.43 c #Conflicts: 889000 | #Constraints: 24144
3131.15/3139.43 c #Conflicts: 890000 | #Constraints: 25144
3131.15/3139.43 c #Conflicts: 891000 | #Constraints: 26144
3131.15/3139.43 c #Conflicts: 892000 | #Constraints: 27144
3131.15/3139.43 c #Conflicts: 893000 | #Constraints: 28144
3131.15/3139.43 c #Conflicts: 894000 | #Constraints: 29144
3131.15/3139.43 c #Conflicts: 895000 | #Constraints: 30144
3131.15/3139.43 c #Conflicts: 896000 | #Constraints: 31144
3131.15/3139.43 c #Conflicts: 897000 | #Constraints: 32144
3131.15/3139.43 c #Conflicts: 898000 | #Constraints: 33144
3131.15/3139.43 c #Conflicts: 899000 | #Constraints: 34144
3131.15/3139.43 c #Conflicts: 900000 | #Constraints: 35144
3131.15/3139.43 c #Conflicts: 901000 | #Constraints: 36144
3131.15/3139.43 c #Conflicts: 902000 | #Constraints: 37144
3131.15/3139.43 c #Conflicts: 903000 | #Constraints: 38144
3131.15/3139.43 c INPROCESSING
3131.15/3139.43 c GARBAGE COLLECT
3131.15/3139.43 c #Conflicts: 904000 | #Constraints: 20342
3131.15/3139.43 c #Conflicts: 905000 | #Constraints: 21342
3131.15/3139.43 c #Conflicts: 906000 | #Constraints: 22342
3131.15/3139.43 c #Conflicts: 907000 | #Constraints: 23342
3131.15/3139.43 c #Conflicts: 908000 | #Constraints: 24342
3131.15/3139.43 c #Conflicts: 909000 | #Constraints: 25342
3131.15/3139.43 c #Conflicts: 910000 | #Constraints: 26342
3131.15/3139.43 c #Conflicts: 911000 | #Constraints: 27342
3131.15/3139.43 c #Conflicts: 912000 | #Constraints: 28342
3131.15/3139.43 c #Conflicts: 913000 | #Constraints: 29342
3131.15/3139.43 c #Conflicts: 914000 | #Constraints: 30342
3131.15/3139.43 c #Conflicts: 915000 | #Constraints: 31342
3131.15/3139.43 c #Conflicts: 916000 | #Constraints: 32342
3131.15/3139.43 c #Conflicts: 917000 | #Constraints: 33342
3131.15/3139.43 c #Conflicts: 918000 | #Constraints: 34342
3131.15/3139.43 c #Conflicts: 919000 | #Constraints: 35342
3131.15/3139.43 c #Conflicts: 920000 | #Constraints: 36342
3131.15/3139.43 c #Conflicts: 921000 | #Constraints: 37342
3131.15/3139.43 c #Conflicts: 922000 | #Constraints: 38342
3131.15/3139.43 c INPROCESSING
3131.15/3139.43 c GARBAGE COLLECT
3131.15/3139.43 c #Conflicts: 923000 | #Constraints: 20342
3131.15/3139.43 c #Conflicts: 924000 | #Constraints: 21342
3131.15/3139.43 c #Conflicts: 925000 | #Constraints: 22342
3131.15/3139.43 c #Conflicts: 926000 | #Constraints: 23342
3131.15/3139.43 c #Conflicts: 927000 | #Constraints: 24342
3131.15/3139.43 c #Conflicts: 928000 | #Constraints: 25342
3131.15/3139.43 c #Conflicts: 929000 | #Constraints: 26342
3131.15/3139.43 c #Conflicts: 930000 | #Constraints: 27342
3131.15/3139.43 c #Conflicts: 931000 | #Constraints: 28342
3131.15/3139.43 c #Conflicts: 932000 | #Constraints: 29342
3570.36/3579.80 c #Conflicts: 933000 | #Constraints: 30342
3570.36/3579.80 c #Conflicts: 934000 | #Constraints: 31342
3570.36/3579.80 c #Conflicts: 935000 | #Constraints: 32342
3570.36/3579.80 c #Conflicts: 936000 | #Constraints: 33342
3570.36/3579.80 c #Conflicts: 937000 | #Constraints: 34342
3570.36/3579.80 c #Conflicts: 938000 | #Constraints: 35342
3570.36/3579.80 c #Conflicts: 939000 | #Constraints: 36342
3570.36/3579.80 c #Conflicts: 940000 | #Constraints: 37342
3570.36/3579.80 c #Conflicts: 941000 | #Constraints: 38342
3570.36/3579.80 c INPROCESSING
3570.36/3579.80 c GARBAGE COLLECT
3570.36/3579.80 c #Conflicts: 942000 | #Constraints: 20143
3570.36/3579.80 c #Conflicts: 943000 | #Constraints: 21143
3570.36/3579.80 c #Conflicts: 944000 | #Constraints: 22143
3570.36/3579.80 c #Conflicts: 945000 | #Constraints: 23143
3570.36/3579.80 c #Conflicts: 946000 | #Constraints: 24143
3570.36/3579.80 c #Conflicts: 947000 | #Constraints: 25143
3570.36/3579.80 c #Conflicts: 948000 | #Constraints: 26143
3570.36/3579.80 c #Conflicts: 949000 | #Constraints: 27143
3570.36/3579.80 c #Conflicts: 950000 | #Constraints: 28143
3570.36/3579.80 c #Conflicts: 951000 | #Constraints: 29143
3570.36/3579.80 c #Conflicts: 952000 | #Constraints: 30143
3570.36/3579.80 c #Conflicts: 953000 | #Constraints: 31143
3570.36/3579.80 c #Conflicts: 954000 | #Constraints: 32143
3570.36/3579.80 c #Conflicts: 955000 | #Constraints: 33143
3570.36/3579.80 c #Conflicts: 956000 | #Constraints: 34143
3570.36/3579.80 c #Conflicts: 957000 | #Constraints: 35143
3570.36/3579.80 c #Conflicts: 958000 | #Constraints: 36143
3570.36/3579.80 c #Conflicts: 959000 | #Constraints: 37143
3570.36/3579.80 c #Conflicts: 960000 | #Constraints: 38143
3570.36/3579.80 c #Conflicts: 961000 | #Constraints: 39143
3570.36/3579.80 c INPROCESSING
3570.36/3579.80 c GARBAGE COLLECT
3570.36/3579.80 c #Conflicts: 962000 | #Constraints: 20746
3570.36/3579.80 c #Conflicts: 963000 | #Constraints: 21746
3570.36/3579.80 c #Conflicts: 964000 | #Constraints: 22746
3570.36/3579.80 c #Conflicts: 965000 | #Constraints: 23746
3570.36/3579.80 c #Conflicts: 966000 | #Constraints: 24746
3570.36/3579.80 c #Conflicts: 967000 | #Constraints: 25746
3570.36/3579.80 c #Conflicts: 968000 | #Constraints: 26746
3570.36/3579.80 c #Conflicts: 969000 | #Constraints: 27746
3570.36/3579.80 c #Conflicts: 970000 | #Constraints: 28746
3570.36/3579.80 c #Conflicts: 971000 | #Constraints: 29746
3570.36/3579.80 c #Conflicts: 972000 | #Constraints: 30746
3570.36/3579.80 c #Conflicts: 973000 | #Constraints: 31746
3570.36/3579.80 c #Conflicts: 974000 | #Constraints: 32746
3570.36/3579.80 c #Conflicts: 975000 | #Constraints: 33746
3570.36/3579.80 c #Conflicts: 976000 | #Constraints: 34746
3570.36/3579.80 c #Conflicts: 977000 | #Constraints: 35746
3570.36/3579.80 c #Conflicts: 978000 | #Constraints: 36746
3570.36/3579.80 c #Conflicts: 979000 | #Constraints: 37746
3570.36/3579.80 c #Conflicts: 980000 | #Constraints: 38746
3570.36/3579.80 c #Conflicts: 981000 | #Constraints: 39746
3570.36/3579.80 c INPROCESSING
3570.36/3579.80 c GARBAGE COLLECT
3570.36/3579.80 c #Conflicts: 982000 | #Constraints: 21149
3570.36/3579.80 c #Conflicts: 983000 | #Constraints: 22149
3570.36/3579.80 c #Conflicts: 984000 | #Constraints: 23149
3570.36/3579.80 c #Conflicts: 985000 | #Constraints: 24149
3570.36/3579.80 c #Conflicts: 986000 | #Constraints: 25149
3570.36/3579.80 c #Conflicts: 987000 | #Constraints: 26149
3570.36/3579.80 c #Conflicts: 988000 | #Constraints: 27149
3570.36/3579.80 c #Conflicts: 989000 | #Constraints: 28149
3570.36/3579.80 c #Conflicts: 990000 | #Constraints: 29149
3570.36/3579.80 c #Conflicts: 991000 | #Constraints: 30149
3570.36/3579.80 c #Conflicts: 992000 | #Constraints: 31149
3570.36/3579.80 c #Conflicts: 993000 | #Constraints: 32149
3570.36/3579.80 c #Conflicts: 994000 | #Constraints: 33149
3570.36/3579.80 c #Conflicts: 995000 | #Constraints: 34149
3570.36/3579.80 c #Conflicts: 996000 | #Constraints: 35149
3570.36/3579.80 c #Conflicts: 997000 | #Constraints: 36149
3570.36/3579.80 c #Conflicts: 998000 | #Constraints: 37149
3570.36/3579.80 c #Conflicts: 999000 | #Constraints: 38149
3570.36/3579.80 c #Conflicts: 1000000 | #Constraints: 39149
3570.36/3579.80 c #Conflicts: 1001000 | #Constraints: 40149
3570.36/3579.80 c INPROCESSING
3570.36/3579.80 c GARBAGE COLLECT
3570.36/3579.80 c #Conflicts: 1002000 | #Constraints: 21351
3570.36/3579.80 c #Conflicts: 1003000 | #Constraints: 22351
3570.36/3579.80 c #Conflicts: 1004000 | #Constraints: 23351
3570.36/3579.80 c #Conflicts: 1005000 | #Constraints: 24351
3570.36/3579.80 c #Conflicts: 1006000 | #Constraints: 25351
3570.36/3579.80 c #Conflicts: 1007000 | #Constraints: 26351
3570.36/3579.80 c #Conflicts: 1008000 | #Constraints: 27351
3600.08/3609.50 c #Conflicts: 1009000 | #Constraints: 28351
3600.08/3609.50 c #Conflicts: 1010000 | #Constraints: 29351
3600.08/3609.50 c #Conflicts: 1011000 | #Constraints: 30351
3600.08/3609.50 c #Conflicts: 1012000 | #Constraints: 31351
3600.08/3609.50 c #Conflicts: 1013000 | #Constraints: 32351
3600.08/3609.50 c Program interrupted by user.
3600.08/3609.50 c cpu time 3590.05 s
3600.08/3609.50 c deterministic time 360092731980 3.60e+11
3600.08/3609.50 c optimization time 55.5389 s
3600.08/3609.50 c total solve time 3235.81 s
3600.08/3609.50 c core-guided solve time 3235.81 s
3600.08/3609.50 c propagation time 2762.51 s
3600.08/3609.50 c conflict analysis time 459.766 s
3600.08/3609.50 c propagations 66420040
3600.08/3609.50 c resolve steps 5238425
3600.08/3609.50 c decisions 5155305
3600.08/3609.50 c conflicts 1013645
3600.08/3609.50 c restarts 2045
3600.08/3609.50 c inprocessing phases 91
3600.08/3609.50 c input clauses 60
3600.08/3609.50 c input cardinalities 73
3600.08/3609.50 c input general constraints 466
3600.08/3609.50 c input average constraint length 64.62
3600.08/3609.50 c input average constraint degree 33.84
3600.08/3609.50 c learned clauses 245336
3600.08/3609.50 c learned cardinalities 471
3600.08/3609.50 c learned general constraints 767853
3600.08/3609.50 c learned average constraint length 315.03
3600.08/3609.50 c learned average constraint degree 835866.99
3600.08/3609.50 c watched constraints 610662
3600.08/3609.50 c counting constraints 157657
3600.08/3609.50 c gcd simplifications 201853
3600.08/3609.50 c detected cardinalities 386
3600.08/3609.50 c weakened non-implied lits 39563500
3600.08/3609.50 c weakened non-implying lits 126680
3600.08/3609.50 c original variables 470
3600.08/3609.50 c clausal propagations 1157126
3600.08/3609.50 c cardinality propagations 86972
3600.08/3609.50 c watched propagations 30861990
3600.08/3609.50 c counting propagations 33042239
3600.08/3609.50 c watch lookups 70922543968
3600.08/3609.50 c watch backjump lookups 67827008837
3600.08/3609.50 c watch checks 212658723095
3600.08/3609.50 c propagation checks 7465329932
3600.08/3609.50 c constraint additions 1074962188
3600.08/3609.50 c trail pops 72588614
3600.08/3609.50 c formula constraints 470
3600.08/3609.50 c learned constraints 1013660
3600.08/3609.50 c bound constraints 73
3600.08/3609.50 c core-guided constraints 56
3600.08/3609.50 c encountered formula constraints 3160207
3600.08/3609.50 c encountered learned constraints 2991294
3600.08/3609.50 c encountered bound constraints 122
3600.08/3609.50 c encountered core-guided constraints 100447
3600.08/3609.50 c LP total time 0 s
3600.08/3609.50 c LP solve time 0 s
3600.08/3609.50 c LP constraints added 0
3600.08/3609.50 c LP constraints removed 0
3600.08/3609.50 c LP pivots internal 0
3600.08/3609.50 c LP pivots root 0
3600.08/3609.50 c LP calls 0
3600.08/3609.50 c LP optimalities 0
3600.08/3609.50 c LP no pivot count 0
3600.08/3609.50 c LP infeasibilities 0
3600.08/3609.50 c LP valid Farkas constraints 0
3600.08/3609.50 c LP learned Farkas constraints 0
3600.08/3609.50 c LP basis resets 0
3600.08/3609.50 c LP cycling count 0
3600.08/3609.50 c LP singular count 0
3600.08/3609.50 c LP no primal count 0
3600.08/3609.50 c LP no farkas count 0
3600.08/3609.50 c LP other issue count 0
3600.08/3609.50 c LP Gomory cuts 0
3600.08/3609.50 c LP learned cuts 0
3600.08/3609.50 c LP deleted cuts 0
3600.08/3609.50 c LP encountered Gomory constraints 0
3600.08/3609.50 c LP encountered Farkas constraints 0
3600.08/3609.50 c LP encountered learned Farkas constraints 0
3600.08/3609.50 c CG auxiliary variables introduced 56
3600.08/3609.50 c CG solutions found 0
3600.08/3609.50 c CG cores constructed 72
3600.08/3609.50 c CG core cardinality constraints returned 0
3600.08/3609.50 c CG unit cores 0
3600.08/3609.50 c CG single cores 72
3600.08/3609.50 c CG blocks removed during cardinality reduction 0
3600.08/3609.50 c CG first core best 0
3600.08/3609.50 c CG decision core best 0
3600.08/3609.50 c CG core reduction tie 0
3600.08/3609.50 c CG core degree average 1.00
3600.08/3609.50 c CG core slack average 2.97
3600.08/3609.50 c CG exhausted 0
3600.08/3609.50 c CG exhaust time 0 s
3600.08/3609.50 c CG trimmed 5
3600.08/3609.50 c CG trim time 0.000284 s
3600.08/3609.50 c CG minimized 0
3600.08/3609.50 c CG minimize time 0 s
3600.08/3609.50 c CG am1 prop time 0.000171 s
3600.08/3609.50 c CG # am1s reformulated 56
3600.08/3609.50 c CG lower bound derived from am1s 56
3600.08/3609.50 c CG # clausal cores 14
3600.08/3609.50 c CG # cardinality cores 0
3600.08/3609.50 c CG # pb cores 58
3600.08/3609.50 c CG # pb reforms 0
3600.08/3609.50 c CG # cores discarded because of pb reform 0
3600.08/3609.50 d LOWERBOUND 128
3600.08/3609.50 d NCORES 72
3600.08/3609.50 d NPBCORES 58
3600.08/3609.50 d NPBREFORM 0
3600.08/3609.50 d NTRIMMED 5
3600.08/3609.50 d NEXHAUSTED 0
3600.08/3609.50 d NAM1S 56
3600.08/3609.50 d AM1LB 56
3600.08/3609.50 c [Papilo Statistics]
3600.08/3609.50 c prepro time 0.00148356s
3600.08/3609.50 c # tsx applied 20
3600.08/3609.50 c # tsx conflicts 0
3600.08/3609.50 c # bound changes 0
3600.08/3609.50 c # side changes 0
3600.08/3609.50 c # coef changes 54
3600.08/3609.50 c # rounds 3
3600.08/3609.50 c # deted vars 0
3600.08/3609.50 c # deted constrs 0
3600.08/3609.50 c # consecutive rounds of only bound changes 0
3600.08/3609.50 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61387 MiB free)
memory of node 1: 64510 MiB (61381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454706-1721469267/watcher-4454706-1721469267 -o /tmp/evaluation-result-4454706-1721469267/solver-4454706-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030642 --watchdog 3760 mixed-bag HOME/instance-4454706-1721469267.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1030694, runsolver pid=1030686
[startup+0.100488 s]*
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125671776/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=93392 memory=26296 CPUtime=0.1 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 3129 0 0 0 10 0 0 0 20 0 1 0 199087307 95633408 6574 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 23348 6574 4019 3002 0 7097 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 93392 KiB
Current children cumulated memory: 26296 KiB
[startup+0.215859 s]*
/proc/loadavg: 1.50 2.45 3.15 5/259 1030705
/proc/meminfo: memFree=125655736/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=109112 memory=41696 CPUtime=0.2 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 7060 0 0 0 19 1 0 0 20 0 1 0 199087307 111730688 10424 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 27278 10424 4019 3002 0 11027 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109112 KiB
Current children cumulated memory: 41696 KiB
[startup+0.305134 s]*
/proc/loadavg: 1.50 2.45 3.15 7/259 1030705
/proc/meminfo: memFree=125654308/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=113232 memory=45920 CPUtime=0.3 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 8078 0 0 0 28 2 0 0 20 0 1 0 199087307 115949568 11480 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 28308 11480 4019 3002 0 12057 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113232 KiB
Current children cumulated memory: 45920 KiB
[startup+0.700181 s]
/proc/loadavg: 1.50 2.45 3.15 6/259 1030705
/proc/meminfo: memFree=125626504/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=150932 memory=83144 CPUtime=0.69 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 18043 0 0 0 66 3 0 0 20 0 1 0 199087307 154554368 20786 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 37733 20786 4019 3002 0 21482 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 150932 KiB
Current children cumulated memory: 83144 KiB
[startup+1.50018 s]
/proc/loadavg: 1.50 2.45 3.15 6/259 1030705
/proc/meminfo: memFree=125441088/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=225132 memory=154952 CPUtime=1.48 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 35956 0 0 0 143 5 0 0 20 0 1 0 199087307 230535168 38738 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 56283 38738 4019 3002 0 40032 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225132 KiB
Current children cumulated memory: 154952 KiB
[startup+3.10616 s]
/proc/loadavg: 1.50 2.45 3.15 6/259 1030707
/proc/meminfo: memFree=125144292/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=229152 memory=158444 CPUtime=3.08 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 36846 0 0 0 303 5 0 0 20 0 1 0 199087307 234651648 39611 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 57288 39611 4035 3002 0 41037 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 229152 KiB
Current children cumulated memory: 158444 KiB
[startup+6.30015 s]
/proc/loadavg: 1.78 2.49 3.16 6/259 1030707
/proc/meminfo: memFree=125143280/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=229152 memory=158444 CPUtime=6.26 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 36849 0 0 0 621 5 0 0 20 0 1 0 199087307 234651648 39611 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 57288 39611 4035 3002 0 41037 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 229152 KiB
Current children cumulated memory: 158444 KiB
[startup+12.7001 s]
/proc/loadavg: 1.96 2.52 3.16 6/259 1030707
/proc/meminfo: memFree=125136896/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=229152 memory=158444 CPUtime=12.65 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 36849 0 0 0 1259 6 0 0 20 0 1 0 199087307 234651648 39611 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 57288 39611 4035 3002 0 41037 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229152 KiB
Current children cumulated memory: 158444 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 2.57 3.17 6/259 1030710
/proc/meminfo: memFree=124857612/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=261956 memory=190968 CPUtime=25.41 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 46993 0 0 0 2532 9 0 0 20 0 1 0 199087307 268242944 47742 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 65489 47742 4050 3002 0 49238 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 261956 KiB
Current children cumulated memory: 190968 KiB
[startup+51.1063 s]
/proc/loadavg: 3.03 2.72 3.21 6/259 1031096
/proc/meminfo: memFree=124831788/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=271940 memory=200208 CPUtime=50.94 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 49318 0 0 0 5082 12 0 0 20 0 1 0 199087307 278466560 50052 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 67985 50052 4050 3002 0 51734 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 271940 KiB
Current children cumulated memory: 200208 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.94 3.26 6/259 1031105
/proc/meminfo: memFree=124784876/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=291984 memory=222184 CPUtime=101.97 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 55892 0 0 0 10179 18 0 0 20 0 1 0 199087307 298991616 55546 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 72996 55546 4050 3002 0 56745 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 291984 KiB
Current children cumulated memory: 222184 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.15 3.31 6/259 1031115
/proc/meminfo: memFree=124561748/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=398520 memory=326456 CPUtime=161.77 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 81954 0 0 0 16146 31 0 0 20 0 1 0 199087307 408084480 81614 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 99630 81614 4050 3002 0 83379 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 398520 KiB
Current children cumulated memory: 326456 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.32 3.36 6/261 1031297
/proc/meminfo: memFree=124497916/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=399324 memory=326920 CPUtime=221.59 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 82323 0 0 0 22117 42 0 0 20 0 1 0 199087307 408907776 81730 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 99831 81730 4050 3002 0 83580 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 399324 KiB
Current children cumulated memory: 326920 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.46 3.41 6/261 1031308
/proc/meminfo: memFree=124494208/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=401064 memory=328648 CPUtime=281.4 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 82822 0 0 0 28096 44 0 0 20 0 1 0 199087307 410689536 82162 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 100266 82162 4050 3002 0 84015 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 401064 KiB
Current children cumulated memory: 328648 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.59 3.46 6/258 1031320
/proc/meminfo: memFree=124623300/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=409360 memory=338668 CPUtime=341.22 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 85558 0 0 0 34020 102 0 0 20 0 1 0 199087307 419184640 84667 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 102340 84667 4178 3002 0 86089 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 409360 KiB
Current children cumulated memory: 338668 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.69 3.50 6/256 1031342
/proc/meminfo: memFree=124591656/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=428328 memory=345180 CPUtime=401.04 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 86180 0 0 0 39962 142 0 0 20 0 1 0 199087307 438607872 86295 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 107082 86295 4178 3002 0 90831 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 428328 KiB
Current children cumulated memory: 345180 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.79 3.55 6/256 1031352
/proc/meminfo: memFree=124569824/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=428328 memory=351844 CPUtime=460.87 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 86267 0 0 0 45902 185 0 0 20 0 1 0 199087307 438607872 87961 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 107082 87961 4178 3002 0 90831 0
################
# More data... #
################
Current children cumulated memory: 415228 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.12 4.08 6/257 1032406
/proc/meminfo: memFree=124311112/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=2914.6 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91181 0 0 0 290589 871 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.08 6/257 1032418
/proc/meminfo: memFree=124311424/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=2974.45 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91291 0 0 0 296557 888 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.08 6/258 1032429
/proc/meminfo: memFree=124310544/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=3034.3 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91405 0 0 0 302528 902 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.08 6/255 1032439
/proc/meminfo: memFree=124304024/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=3094.14 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91519 0 0 0 308501 913 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.08 6/255 1032449
/proc/meminfo: memFree=124304564/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=3153.99 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91633 0 0 0 314476 923 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.09 6/255 1032460
/proc/meminfo: memFree=124301780/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=3213.85 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91746 0 0 0 320449 936 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.14 4.10 6/255 1032470
/proc/meminfo: memFree=124300936/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=415228 CPUtime=3273.7 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91862 0 0 0 326424 946 0 0 20 0 1 0 199087307 521457664 103807 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 103807 4178 3002 0 111058 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 415228 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/257 1032484
/proc/meminfo: memFree=124291840/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=417276 CPUtime=3333.55 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 91978 0 0 0 332396 959 0 0 20 0 1 0 199087307 521457664 104319 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 104319 4178 3002 0 111058 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 417276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.15 4.10 6/257 1032497
/proc/meminfo: memFree=124291056/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=417276 CPUtime=3393.4 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 92096 0 0 0 338371 969 0 0 20 0 1 0 199087307 521457664 104319 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 104319 4178 3002 0 111058 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 417276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/257 1032507
/proc/meminfo: memFree=124288132/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=419324 CPUtime=3453.25 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 92205 0 0 0 344345 980 0 0 20 0 1 0 199087307 521457664 104831 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 104831 4178 3002 0 111058 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 419324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/258 1032518
/proc/meminfo: memFree=124288204/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=419324 CPUtime=3513.1 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 92323 0 0 0 350321 989 0 0 20 0 1 0 199087307 521457664 104831 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 104831 4178 3002 0 111058 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 419324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.10 6/258 1032530
/proc/meminfo: memFree=124284576/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=423420 CPUtime=3572.95 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 92446 0 0 0 356297 998 0 0 20 0 1 0 199087307 521457664 105855 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 105855 4178 3002 0 111058 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 423420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.15 4.14 4.10 6/258 1032535
/proc/meminfo: memFree=124282116/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=423420 CPUtime=3600.08 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 92491 0 0 0 359005 1003 0 0 20 0 1 0 199087307 521457664 105855 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 105855 4178 3002 0 111058 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 423420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 1030694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.05 s, system=10.0421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.15 4.14 4.10 6/258 1032535
/proc/meminfo: memFree=124282116/131524600 swapFree=131071996/131071996
[pid=1030694] ppid=1030686 vsize=509236 memory=423420 CPUtime=3600.08 cores=1,3
/proc/1030694/stat : 1030694 (mixed-bag) R 1030686 1030694 1030630 0 -1 4194304 92491 0 0 0 359005 1003 0 0 20 0 1 0 199087307 521457664 105855 134679101440 4194304 16488053 140731801942944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 25153536 140731801949205 140731801949282 140731801949282 140731801956299 0
/proc/1030694/statm: 127309 105855 4178 3002 0 111058 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 509236 KiB
Current children cumulated memory: 423420 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.09
CPU user time (s): 3590.05
CPU system time (s): 10.0421
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 509236
Max. memory (cumulated for all children) (KiB): 423420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.05
system time used= 10.0421
maximum resident set size= 424332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92515
page faults= 0
swaps= 0
block input operations= 256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 1312
# summary of solver processes directly reported to runsolver:
# pid: 1030694
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.05
# total CPU system time (s): 10.0421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86681 second user time and 19.7776 second system time
The end
Begin job on nodeC016 at 2024-07-20 11:54:39
IDJOB=4454706
IDBENCH=147548
IDSOLVER=3083
FILE ID=nodeC016/4454706-1721469267
RUNJOBID= nodeC016-1721469279-1030642
SLURM_JOB_ID= 7545728
Free space on /tmp= 890076 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454706-1721469267/watcher-4454706-1721469267 -o /tmp/evaluation-result-4454706-1721469267/solver-4454706-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030642 --watchdog 3760 mixed-bag HOME/instance-4454706-1721469267.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=743307265
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3567.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3622.418
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3451.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3520.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3393.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3471.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3576.684
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3628.700
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125716556 kB
MemAvailable: 129699792 kB
Buffers: 442992 kB
Cached: 4381180 kB
SwapCached: 0 kB
Active: 739176 kB
Inactive: 4446884 kB
Active(anon): 1444 kB
Inactive(anon): 406392 kB
Active(file): 737732 kB
Inactive(file): 4040492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65132 kB
Writeback: 0 kB
AnonPages: 360484 kB
Mapped: 107156 kB
Shmem: 45912 kB
KReclaimable: 89316 kB
Slab: 201524 kB
SReclaimable: 89316 kB
SUnreclaim: 112208 kB
KernelStack: 3888 kB
PageTables: 9588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 726856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC016 at 2024-07-20 12:54:49