0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 1381 #constraints 2692
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -37584 @ 0.005726
0.00/0.01 c stratification level: 276
0.00/0.01 c bounds -464 >= -37584 @ 0.005894
0.00/0.01 c stratification level: 243
0.00/0.07 c bounds -480 >= -37584 @ 0.068829
0.00/0.07 c stratification level: 216
0.00/0.07 c bounds -480 >= -37368 @ 0.069133
0.00/0.07 c bounds -480 >= -37152 @ 0.069258
0.00/0.07 c bounds -480 >= -36936 @ 0.069388
0.00/0.07 c bounds -480 >= -36720 @ 0.069495
0.00/0.07 c bounds -480 >= -36504 @ 0.069612
0.00/0.07 c bounds -480 >= -36288 @ 0.069717
0.00/0.07 c bounds -480 >= -36072 @ 0.069832
0.00/0.07 c bounds -480 >= -35856 @ 0.069937
0.00/0.07 c bounds -480 >= -35640 @ 0.07004
0.00/0.07 c bounds -480 >= -35424 @ 0.070145
0.00/0.07 c finalizing WCE round: reformulating cores
9.08/9.11 c #Conflicts: 1000 | #Constraints: 3717
9.08/9.11 c #Conflicts: 2000 | #Constraints: 4719
9.08/9.11 c INPROCESSING
9.08/9.11 c GARBAGE COLLECT
9.08/9.11 c #Conflicts: 3000 | #Constraints: 4710
9.08/9.11 c #Conflicts: 4000 | #Constraints: 5712
9.08/9.11 c INPROCESSING
9.08/9.11 c GARBAGE COLLECT
9.08/9.11 c #Conflicts: 5000 | #Constraints: 5114
9.08/9.11 c #Conflicts: 6000 | #Constraints: 6116
9.08/9.11 c bounds -1140 >= -35424 @ 9.00777
9.08/9.11 c bounds -1149 >= -35424 @ 9.04615
9.08/9.11 c stratification level: 207
9.08/9.13 c bounds -1153 >= -35424 @ 9.0656
9.08/9.13 c stratification level: 192
9.08/9.14 c bounds -1153 >= -35232 @ 9.06594
9.08/9.14 c finalizing WCE round: reformulating cores
11.26/11.30 c INPROCESSING
11.26/11.30 c GARBAGE COLLECT
11.26/11.30 c #Conflicts: 7000 | #Constraints: 5119
11.26/11.30 c bounds -1187 >= -35232 @ 10.3811
11.26/11.30 c #Conflicts: 8000 | #Constraints: 6119
11.26/11.30 c bounds -1198 >= -35232 @ 11.219
11.26/11.30 c stratification level: 178
11.96/12.07 c bounds -1207 >= -35232 @ 11.9817
11.96/12.07 c stratification level: 170
12.06/12.19 c #Conflicts: 9000 | #Constraints: 7121
12.06/12.19 c bounds -1209 >= -35232 @ 12.1
12.06/12.19 c stratification level: 168
12.15/12.22 c bounds -1209 >= -35064 @ 12.1002
12.15/12.22 c finalizing WCE round: reformulating cores
12.15/12.23 c bounds -1214 >= -35064 @ 12.1315
12.15/12.23 c bounds -1215 >= -35064 @ 12.1339
12.15/12.23 c stratification level: 156
12.85/12.96 c INPROCESSING
12.85/12.96 c GARBAGE COLLECT
12.85/12.96 c bounds -1227 >= -35064 @ 12.8642
12.85/12.96 c stratification level: 144
105.65/106.07 c #Conflicts: 10000 | #Constraints: 5823
105.65/106.07 c #Conflicts: 11000 | #Constraints: 6823
105.65/106.07 c #Conflicts: 12000 | #Constraints: 7823
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 13000 | #Constraints: 6278
105.65/106.07 c #Conflicts: 14000 | #Constraints: 7278
105.65/106.07 c #Conflicts: 15000 | #Constraints: 8278
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 16000 | #Constraints: 6510
105.65/106.07 c #Conflicts: 17000 | #Constraints: 7510
105.65/106.07 c #Conflicts: 18000 | #Constraints: 8510
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 19000 | #Constraints: 6532
105.65/106.07 c #Conflicts: 20000 | #Constraints: 7532
105.65/106.07 c #Conflicts: 21000 | #Constraints: 8532
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 22000 | #Constraints: 6347
105.65/106.07 c #Conflicts: 23000 | #Constraints: 7347
105.65/106.07 c #Conflicts: 24000 | #Constraints: 8347
105.65/106.07 c #Conflicts: 25000 | #Constraints: 9347
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 26000 | #Constraints: 6962
105.65/106.07 c #Conflicts: 27000 | #Constraints: 7962
105.65/106.07 c #Conflicts: 28000 | #Constraints: 8962
105.65/106.07 c #Conflicts: 29000 | #Constraints: 9962
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 30000 | #Constraints: 7380
105.65/106.07 c #Conflicts: 31000 | #Constraints: 8380
105.65/106.07 c #Conflicts: 32000 | #Constraints: 9380
105.65/106.07 c #Conflicts: 33000 | #Constraints: 10380
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 34000 | #Constraints: 7593
105.65/106.07 c #Conflicts: 35000 | #Constraints: 8593
105.65/106.07 c #Conflicts: 36000 | #Constraints: 9593
105.65/106.07 c #Conflicts: 37000 | #Constraints: 10593
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 38000 | #Constraints: 7606
105.65/106.07 c #Conflicts: 39000 | #Constraints: 8606
105.65/106.07 c #Conflicts: 40000 | #Constraints: 9606
105.65/106.07 c #Conflicts: 41000 | #Constraints: 10606
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 42000 | #Constraints: 7414
105.65/106.07 c #Conflicts: 43000 | #Constraints: 8414
105.65/106.07 c #Conflicts: 44000 | #Constraints: 9414
105.65/106.07 c #Conflicts: 45000 | #Constraints: 10414
105.65/106.07 c #Conflicts: 46000 | #Constraints: 11414
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 47000 | #Constraints: 8019
105.65/106.07 c #Conflicts: 48000 | #Constraints: 9019
105.65/106.07 c #Conflicts: 49000 | #Constraints: 10019
105.65/106.07 c #Conflicts: 50000 | #Constraints: 11019
105.65/106.07 c #Conflicts: 51000 | #Constraints: 12019
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 52000 | #Constraints: 8427
105.65/106.07 c #Conflicts: 53000 | #Constraints: 9427
105.65/106.07 c #Conflicts: 54000 | #Constraints: 10427
105.65/106.07 c #Conflicts: 55000 | #Constraints: 11427
105.65/106.07 c #Conflicts: 56000 | #Constraints: 12427
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 57000 | #Constraints: 8633
105.65/106.07 c #Conflicts: 58000 | #Constraints: 9633
105.65/106.07 c #Conflicts: 59000 | #Constraints: 10633
105.65/106.07 c #Conflicts: 60000 | #Constraints: 11633
105.65/106.07 c #Conflicts: 61000 | #Constraints: 12633
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 62000 | #Constraints: 8642
105.65/106.07 c #Conflicts: 63000 | #Constraints: 9642
105.65/106.07 c #Conflicts: 64000 | #Constraints: 10642
105.65/106.07 c #Conflicts: 65000 | #Constraints: 11642
105.65/106.07 c #Conflicts: 66000 | #Constraints: 12642
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 67000 | #Constraints: 8447
105.65/106.07 c #Conflicts: 68000 | #Constraints: 9447
105.65/106.07 c #Conflicts: 69000 | #Constraints: 10447
105.65/106.07 c #Conflicts: 70000 | #Constraints: 11447
105.65/106.07 c #Conflicts: 71000 | #Constraints: 12447
105.65/106.07 c #Conflicts: 72000 | #Constraints: 13447
105.65/106.07 c INPROCESSING
105.65/106.07 c GARBAGE COLLECT
105.65/106.07 c #Conflicts: 73000 | #Constraints: 9056
105.65/106.07 c #Conflicts: 74000 | #Constraints: 10056
105.65/106.07 c #Conflicts: 75000 | #Constraints: 11056
105.65/106.07 c #Conflicts: 76000 | #Constraints: 12056
105.65/106.07 c #Conflicts: 77000 | #Constraints: 13056
105.65/106.07 c #Conflicts: 78000 | #Constraints: 14056
105.65/106.07 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 79000 | #Constraints: 9467
246.17/247.01 c #Conflicts: 80000 | #Constraints: 10467
246.17/247.01 c #Conflicts: 81000 | #Constraints: 11467
246.17/247.01 c #Conflicts: 82000 | #Constraints: 12467
246.17/247.01 c #Conflicts: 83000 | #Constraints: 13467
246.17/247.01 c #Conflicts: 84000 | #Constraints: 14467
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 85000 | #Constraints: 9679
246.17/247.01 c #Conflicts: 86000 | #Constraints: 10679
246.17/247.01 c #Conflicts: 87000 | #Constraints: 11679
246.17/247.01 c #Conflicts: 88000 | #Constraints: 12679
246.17/247.01 c #Conflicts: 89000 | #Constraints: 13679
246.17/247.01 c #Conflicts: 90000 | #Constraints: 14679
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 91000 | #Constraints: 9687
246.17/247.01 c #Conflicts: 92000 | #Constraints: 10687
246.17/247.01 c #Conflicts: 93000 | #Constraints: 11687
246.17/247.01 c #Conflicts: 94000 | #Constraints: 12687
246.17/247.01 c #Conflicts: 95000 | #Constraints: 13687
246.17/247.01 c #Conflicts: 96000 | #Constraints: 14687
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 97000 | #Constraints: 9492
246.17/247.01 c #Conflicts: 98000 | #Constraints: 10492
246.17/247.01 c #Conflicts: 99000 | #Constraints: 11492
246.17/247.01 c #Conflicts: 100000 | #Constraints: 12492
246.17/247.01 c #Conflicts: 101000 | #Constraints: 13492
246.17/247.01 c #Conflicts: 102000 | #Constraints: 14492
246.17/247.01 c #Conflicts: 103000 | #Constraints: 15492
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 104000 | #Constraints: 10096
246.17/247.01 c #Conflicts: 105000 | #Constraints: 11096
246.17/247.01 c #Conflicts: 106000 | #Constraints: 12096
246.17/247.01 c #Conflicts: 107000 | #Constraints: 13096
246.17/247.01 c #Conflicts: 108000 | #Constraints: 14096
246.17/247.01 c #Conflicts: 109000 | #Constraints: 15096
246.17/247.01 c #Conflicts: 110000 | #Constraints: 16096
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 111000 | #Constraints: 10503
246.17/247.01 c #Conflicts: 112000 | #Constraints: 11503
246.17/247.01 c #Conflicts: 113000 | #Constraints: 12503
246.17/247.01 c #Conflicts: 114000 | #Constraints: 13503
246.17/247.01 c #Conflicts: 115000 | #Constraints: 14503
246.17/247.01 c #Conflicts: 116000 | #Constraints: 15503
246.17/247.01 c #Conflicts: 117000 | #Constraints: 16503
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 118000 | #Constraints: 10709
246.17/247.01 c #Conflicts: 119000 | #Constraints: 11709
246.17/247.01 c #Conflicts: 120000 | #Constraints: 12709
246.17/247.01 c #Conflicts: 121000 | #Constraints: 13709
246.17/247.01 c #Conflicts: 122000 | #Constraints: 14709
246.17/247.01 c #Conflicts: 123000 | #Constraints: 15709
246.17/247.01 c #Conflicts: 124000 | #Constraints: 16709
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 125000 | #Constraints: 10717
246.17/247.01 c #Conflicts: 126000 | #Constraints: 11717
246.17/247.01 c #Conflicts: 127000 | #Constraints: 12717
246.17/247.01 c #Conflicts: 128000 | #Constraints: 13717
246.17/247.01 c #Conflicts: 129000 | #Constraints: 14717
246.17/247.01 c #Conflicts: 130000 | #Constraints: 15717
246.17/247.01 c #Conflicts: 131000 | #Constraints: 16717
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 132000 | #Constraints: 10521
246.17/247.01 c #Conflicts: 133000 | #Constraints: 11521
246.17/247.01 c #Conflicts: 134000 | #Constraints: 12521
246.17/247.01 c #Conflicts: 135000 | #Constraints: 13521
246.17/247.01 c #Conflicts: 136000 | #Constraints: 14521
246.17/247.01 c #Conflicts: 137000 | #Constraints: 15521
246.17/247.01 c #Conflicts: 138000 | #Constraints: 16521
246.17/247.01 c #Conflicts: 139000 | #Constraints: 17521
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 140000 | #Constraints: 11124
246.17/247.01 c #Conflicts: 141000 | #Constraints: 12124
246.17/247.01 c #Conflicts: 142000 | #Constraints: 13124
246.17/247.01 c #Conflicts: 143000 | #Constraints: 14124
246.17/247.01 c #Conflicts: 144000 | #Constraints: 15124
246.17/247.01 c #Conflicts: 145000 | #Constraints: 16124
246.17/247.01 c #Conflicts: 146000 | #Constraints: 17124
246.17/247.01 c #Conflicts: 147000 | #Constraints: 18124
246.17/247.01 c INPROCESSING
246.17/247.01 c GARBAGE COLLECT
246.17/247.01 c #Conflicts: 148000 | #Constraints: 11532
246.17/247.01 c #Conflicts: 149000 | #Constraints: 12532
246.17/247.01 c #Conflicts: 150000 | #Constraints: 13532
246.17/247.01 c #Conflicts: 151000 | #Constraints: 14532
414.39/415.87 c #Conflicts: 152000 | #Constraints: 15532
414.39/415.87 c #Conflicts: 153000 | #Constraints: 16532
414.39/415.87 c #Conflicts: 154000 | #Constraints: 17532
414.39/415.87 c #Conflicts: 155000 | #Constraints: 18532
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 156000 | #Constraints: 11740
414.39/415.87 c #Conflicts: 157000 | #Constraints: 12740
414.39/415.87 c #Conflicts: 158000 | #Constraints: 13740
414.39/415.87 c #Conflicts: 159000 | #Constraints: 14740
414.39/415.87 c #Conflicts: 160000 | #Constraints: 15740
414.39/415.87 c #Conflicts: 161000 | #Constraints: 16740
414.39/415.87 c #Conflicts: 162000 | #Constraints: 17740
414.39/415.87 c #Conflicts: 163000 | #Constraints: 18740
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 164000 | #Constraints: 11744
414.39/415.87 c #Conflicts: 165000 | #Constraints: 12744
414.39/415.87 c #Conflicts: 166000 | #Constraints: 13744
414.39/415.87 c #Conflicts: 167000 | #Constraints: 14744
414.39/415.87 c #Conflicts: 168000 | #Constraints: 15744
414.39/415.87 c #Conflicts: 169000 | #Constraints: 16744
414.39/415.87 c #Conflicts: 170000 | #Constraints: 17744
414.39/415.87 c #Conflicts: 171000 | #Constraints: 18744
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 172000 | #Constraints: 11548
414.39/415.87 c #Conflicts: 173000 | #Constraints: 12548
414.39/415.87 c #Conflicts: 174000 | #Constraints: 13548
414.39/415.87 c #Conflicts: 175000 | #Constraints: 14548
414.39/415.87 c #Conflicts: 176000 | #Constraints: 15548
414.39/415.87 c #Conflicts: 177000 | #Constraints: 16548
414.39/415.87 c #Conflicts: 178000 | #Constraints: 17548
414.39/415.87 c #Conflicts: 179000 | #Constraints: 18548
414.39/415.87 c #Conflicts: 180000 | #Constraints: 19548
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 181000 | #Constraints: 12153
414.39/415.87 c #Conflicts: 182000 | #Constraints: 13153
414.39/415.87 c #Conflicts: 183000 | #Constraints: 14153
414.39/415.87 c #Conflicts: 184000 | #Constraints: 15153
414.39/415.87 c #Conflicts: 185000 | #Constraints: 16153
414.39/415.87 c #Conflicts: 186000 | #Constraints: 17153
414.39/415.87 c #Conflicts: 187000 | #Constraints: 18153
414.39/415.87 c #Conflicts: 188000 | #Constraints: 19153
414.39/415.87 c #Conflicts: 189000 | #Constraints: 20153
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 190000 | #Constraints: 12558
414.39/415.87 c #Conflicts: 191000 | #Constraints: 13558
414.39/415.87 c #Conflicts: 192000 | #Constraints: 14558
414.39/415.87 c #Conflicts: 193000 | #Constraints: 15558
414.39/415.87 c #Conflicts: 194000 | #Constraints: 16558
414.39/415.87 c #Conflicts: 195000 | #Constraints: 17558
414.39/415.87 c #Conflicts: 196000 | #Constraints: 18558
414.39/415.87 c #Conflicts: 197000 | #Constraints: 19558
414.39/415.87 c #Conflicts: 198000 | #Constraints: 20558
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 199000 | #Constraints: 12761
414.39/415.87 c #Conflicts: 200000 | #Constraints: 13761
414.39/415.87 c #Conflicts: 201000 | #Constraints: 14761
414.39/415.87 c #Conflicts: 202000 | #Constraints: 15761
414.39/415.87 c #Conflicts: 203000 | #Constraints: 16761
414.39/415.87 c #Conflicts: 204000 | #Constraints: 17761
414.39/415.87 c #Conflicts: 205000 | #Constraints: 18761
414.39/415.87 c #Conflicts: 206000 | #Constraints: 19761
414.39/415.87 c #Conflicts: 207000 | #Constraints: 20761
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 208000 | #Constraints: 12768
414.39/415.87 c #Conflicts: 209000 | #Constraints: 13768
414.39/415.87 c #Conflicts: 210000 | #Constraints: 14768
414.39/415.87 c #Conflicts: 211000 | #Constraints: 15768
414.39/415.87 c #Conflicts: 212000 | #Constraints: 16768
414.39/415.87 c #Conflicts: 213000 | #Constraints: 17768
414.39/415.87 c #Conflicts: 214000 | #Constraints: 18768
414.39/415.87 c #Conflicts: 215000 | #Constraints: 19768
414.39/415.87 c #Conflicts: 216000 | #Constraints: 20768
414.39/415.87 c INPROCESSING
414.39/415.87 c GARBAGE COLLECT
414.39/415.87 c #Conflicts: 217000 | #Constraints: 12573
414.39/415.87 c #Conflicts: 218000 | #Constraints: 13573
414.39/415.87 c #Conflicts: 219000 | #Constraints: 14573
414.39/415.87 c #Conflicts: 220000 | #Constraints: 15573
414.39/415.87 c #Conflicts: 221000 | #Constraints: 16573
414.39/415.87 c #Conflicts: 222000 | #Constraints: 17573
414.39/415.87 c #Conflicts: 223000 | #Constraints: 18573
414.39/415.87 c #Conflicts: 224000 | #Constraints: 19573
608.41/610.59 c #Conflicts: 225000 | #Constraints: 20573
608.41/610.59 c #Conflicts: 226000 | #Constraints: 21573
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 227000 | #Constraints: 13175
608.41/610.59 c #Conflicts: 228000 | #Constraints: 14175
608.41/610.59 c #Conflicts: 229000 | #Constraints: 15175
608.41/610.59 c #Conflicts: 230000 | #Constraints: 16175
608.41/610.59 c #Conflicts: 231000 | #Constraints: 17175
608.41/610.59 c #Conflicts: 232000 | #Constraints: 18175
608.41/610.59 c #Conflicts: 233000 | #Constraints: 19175
608.41/610.59 c #Conflicts: 234000 | #Constraints: 20175
608.41/610.59 c #Conflicts: 235000 | #Constraints: 21175
608.41/610.59 c #Conflicts: 236000 | #Constraints: 22175
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 237000 | #Constraints: 13581
608.41/610.59 c #Conflicts: 238000 | #Constraints: 14581
608.41/610.59 c #Conflicts: 239000 | #Constraints: 15581
608.41/610.59 c #Conflicts: 240000 | #Constraints: 16581
608.41/610.59 c #Conflicts: 241000 | #Constraints: 17581
608.41/610.59 c #Conflicts: 242000 | #Constraints: 18581
608.41/610.59 c #Conflicts: 243000 | #Constraints: 19581
608.41/610.59 c #Conflicts: 244000 | #Constraints: 20581
608.41/610.59 c #Conflicts: 245000 | #Constraints: 21581
608.41/610.59 c #Conflicts: 246000 | #Constraints: 22581
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 247000 | #Constraints: 13783
608.41/610.59 c #Conflicts: 248000 | #Constraints: 14783
608.41/610.59 c #Conflicts: 249000 | #Constraints: 15783
608.41/610.59 c #Conflicts: 250000 | #Constraints: 16783
608.41/610.59 c #Conflicts: 251000 | #Constraints: 17783
608.41/610.59 c #Conflicts: 252000 | #Constraints: 18783
608.41/610.59 c #Conflicts: 253000 | #Constraints: 19783
608.41/610.59 c #Conflicts: 254000 | #Constraints: 20783
608.41/610.59 c #Conflicts: 255000 | #Constraints: 21783
608.41/610.59 c #Conflicts: 256000 | #Constraints: 22783
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 257000 | #Constraints: 13788
608.41/610.59 c #Conflicts: 258000 | #Constraints: 14788
608.41/610.59 c #Conflicts: 259000 | #Constraints: 15788
608.41/610.59 c #Conflicts: 260000 | #Constraints: 16788
608.41/610.59 c #Conflicts: 261000 | #Constraints: 17788
608.41/610.59 c #Conflicts: 262000 | #Constraints: 18788
608.41/610.59 c #Conflicts: 263000 | #Constraints: 19788
608.41/610.59 c #Conflicts: 264000 | #Constraints: 20788
608.41/610.59 c #Conflicts: 265000 | #Constraints: 21788
608.41/610.59 c #Conflicts: 266000 | #Constraints: 22788
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 267000 | #Constraints: 13595
608.41/610.59 c #Conflicts: 268000 | #Constraints: 14595
608.41/610.59 c #Conflicts: 269000 | #Constraints: 15595
608.41/610.59 c #Conflicts: 270000 | #Constraints: 16595
608.41/610.59 c #Conflicts: 271000 | #Constraints: 17595
608.41/610.59 c #Conflicts: 272000 | #Constraints: 18595
608.41/610.59 c #Conflicts: 273000 | #Constraints: 19595
608.41/610.59 c #Conflicts: 274000 | #Constraints: 20595
608.41/610.59 c #Conflicts: 275000 | #Constraints: 21595
608.41/610.59 c #Conflicts: 276000 | #Constraints: 22595
608.41/610.59 c #Conflicts: 277000 | #Constraints: 23595
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 278000 | #Constraints: 14199
608.41/610.59 c #Conflicts: 279000 | #Constraints: 15199
608.41/610.59 c #Conflicts: 280000 | #Constraints: 16199
608.41/610.59 c #Conflicts: 281000 | #Constraints: 17199
608.41/610.59 c #Conflicts: 282000 | #Constraints: 18199
608.41/610.59 c #Conflicts: 283000 | #Constraints: 19199
608.41/610.59 c #Conflicts: 284000 | #Constraints: 20199
608.41/610.59 c #Conflicts: 285000 | #Constraints: 21199
608.41/610.59 c #Conflicts: 286000 | #Constraints: 22199
608.41/610.59 c #Conflicts: 287000 | #Constraints: 23199
608.41/610.59 c #Conflicts: 288000 | #Constraints: 24199
608.41/610.59 c INPROCESSING
608.41/610.59 c GARBAGE COLLECT
608.41/610.59 c #Conflicts: 289000 | #Constraints: 14603
608.41/610.59 c #Conflicts: 290000 | #Constraints: 15603
608.41/610.59 c #Conflicts: 291000 | #Constraints: 16603
608.41/610.59 c #Conflicts: 292000 | #Constraints: 17603
608.41/610.59 c #Conflicts: 293000 | #Constraints: 18603
608.41/610.59 c #Conflicts: 294000 | #Constraints: 19603
608.41/610.59 c #Conflicts: 295000 | #Constraints: 20603
608.41/610.59 c #Conflicts: 296000 | #Constraints: 21603
608.41/610.59 c #Conflicts: 297000 | #Constraints: 22603
608.41/610.59 c #Conflicts: 298000 | #Constraints: 23603
608.41/610.59 c #Conflicts: 299000 | #Constraints: 24603
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 300000 | #Constraints: 14810
807.57/810.35 c #Conflicts: 301000 | #Constraints: 15810
807.57/810.35 c #Conflicts: 302000 | #Constraints: 16810
807.57/810.35 c #Conflicts: 303000 | #Constraints: 17810
807.57/810.35 c #Conflicts: 304000 | #Constraints: 18810
807.57/810.35 c #Conflicts: 305000 | #Constraints: 19810
807.57/810.35 c #Conflicts: 306000 | #Constraints: 20810
807.57/810.35 c #Conflicts: 307000 | #Constraints: 21810
807.57/810.35 c #Conflicts: 308000 | #Constraints: 22810
807.57/810.35 c #Conflicts: 309000 | #Constraints: 23810
807.57/810.35 c #Conflicts: 310000 | #Constraints: 24810
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 311000 | #Constraints: 14816
807.57/810.35 c #Conflicts: 312000 | #Constraints: 15816
807.57/810.35 c #Conflicts: 313000 | #Constraints: 16816
807.57/810.35 c #Conflicts: 314000 | #Constraints: 17816
807.57/810.35 c #Conflicts: 315000 | #Constraints: 18816
807.57/810.35 c #Conflicts: 316000 | #Constraints: 19816
807.57/810.35 c #Conflicts: 317000 | #Constraints: 20816
807.57/810.35 c #Conflicts: 318000 | #Constraints: 21816
807.57/810.35 c #Conflicts: 319000 | #Constraints: 22816
807.57/810.35 c #Conflicts: 320000 | #Constraints: 23816
807.57/810.35 c #Conflicts: 321000 | #Constraints: 24816
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 322000 | #Constraints: 14622
807.57/810.35 c #Conflicts: 323000 | #Constraints: 15622
807.57/810.35 c #Conflicts: 324000 | #Constraints: 16622
807.57/810.35 c #Conflicts: 325000 | #Constraints: 17622
807.57/810.35 c #Conflicts: 326000 | #Constraints: 18622
807.57/810.35 c #Conflicts: 327000 | #Constraints: 19622
807.57/810.35 c #Conflicts: 328000 | #Constraints: 20622
807.57/810.35 c #Conflicts: 329000 | #Constraints: 21622
807.57/810.35 c #Conflicts: 330000 | #Constraints: 22622
807.57/810.35 c #Conflicts: 331000 | #Constraints: 23622
807.57/810.35 c #Conflicts: 332000 | #Constraints: 24622
807.57/810.35 c #Conflicts: 333000 | #Constraints: 25622
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 334000 | #Constraints: 15223
807.57/810.35 c #Conflicts: 335000 | #Constraints: 16223
807.57/810.35 c #Conflicts: 336000 | #Constraints: 17223
807.57/810.35 c #Conflicts: 337000 | #Constraints: 18223
807.57/810.35 c #Conflicts: 338000 | #Constraints: 19223
807.57/810.35 c #Conflicts: 339000 | #Constraints: 20223
807.57/810.35 c #Conflicts: 340000 | #Constraints: 21223
807.57/810.35 c #Conflicts: 341000 | #Constraints: 22223
807.57/810.35 c #Conflicts: 342000 | #Constraints: 23223
807.57/810.35 c #Conflicts: 343000 | #Constraints: 24223
807.57/810.35 c #Conflicts: 344000 | #Constraints: 25223
807.57/810.35 c #Conflicts: 345000 | #Constraints: 26223
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 346000 | #Constraints: 15628
807.57/810.35 c #Conflicts: 347000 | #Constraints: 16628
807.57/810.35 c #Conflicts: 348000 | #Constraints: 17628
807.57/810.35 c #Conflicts: 349000 | #Constraints: 18628
807.57/810.35 c #Conflicts: 350000 | #Constraints: 19628
807.57/810.35 c #Conflicts: 351000 | #Constraints: 20628
807.57/810.35 c #Conflicts: 352000 | #Constraints: 21628
807.57/810.35 c #Conflicts: 353000 | #Constraints: 22628
807.57/810.35 c #Conflicts: 354000 | #Constraints: 23628
807.57/810.35 c #Conflicts: 355000 | #Constraints: 24628
807.57/810.35 c #Conflicts: 356000 | #Constraints: 25628
807.57/810.35 c #Conflicts: 357000 | #Constraints: 26628
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 358000 | #Constraints: 15831
807.57/810.35 c #Conflicts: 359000 | #Constraints: 16831
807.57/810.35 c #Conflicts: 360000 | #Constraints: 17831
807.57/810.35 c #Conflicts: 361000 | #Constraints: 18831
807.57/810.35 c #Conflicts: 362000 | #Constraints: 19831
807.57/810.35 c #Conflicts: 363000 | #Constraints: 20831
807.57/810.35 c #Conflicts: 364000 | #Constraints: 21831
807.57/810.35 c #Conflicts: 365000 | #Constraints: 22831
807.57/810.35 c #Conflicts: 366000 | #Constraints: 23831
807.57/810.35 c #Conflicts: 367000 | #Constraints: 24831
807.57/810.35 c #Conflicts: 368000 | #Constraints: 25831
807.57/810.35 c #Conflicts: 369000 | #Constraints: 26831
807.57/810.35 c INPROCESSING
807.57/810.35 c GARBAGE COLLECT
807.57/810.35 c #Conflicts: 370000 | #Constraints: 15835
807.57/810.35 c #Conflicts: 371000 | #Constraints: 16835
807.57/810.35 c #Conflicts: 372000 | #Constraints: 17835
807.57/810.35 c #Conflicts: 373000 | #Constraints: 18835
1019.10/1022.50 c #Conflicts: 374000 | #Constraints: 19835
1019.10/1022.50 c #Conflicts: 375000 | #Constraints: 20835
1019.10/1022.50 c #Conflicts: 376000 | #Constraints: 21835
1019.10/1022.50 c #Conflicts: 377000 | #Constraints: 22835
1019.10/1022.50 c #Conflicts: 378000 | #Constraints: 23835
1019.10/1022.50 c #Conflicts: 379000 | #Constraints: 24835
1019.10/1022.50 c #Conflicts: 380000 | #Constraints: 25835
1019.10/1022.50 c #Conflicts: 381000 | #Constraints: 26835
1019.10/1022.50 c INPROCESSING
1019.10/1022.50 c GARBAGE COLLECT
1019.10/1022.50 c #Conflicts: 382000 | #Constraints: 15642
1019.10/1022.50 c #Conflicts: 383000 | #Constraints: 16642
1019.10/1022.50 c #Conflicts: 384000 | #Constraints: 17642
1019.10/1022.50 c #Conflicts: 385000 | #Constraints: 18642
1019.10/1022.50 c #Conflicts: 386000 | #Constraints: 19642
1019.10/1022.50 c #Conflicts: 387000 | #Constraints: 20642
1019.10/1022.50 c #Conflicts: 388000 | #Constraints: 21642
1019.10/1022.50 c #Conflicts: 389000 | #Constraints: 22642
1019.10/1022.50 c #Conflicts: 390000 | #Constraints: 23642
1019.10/1022.50 c #Conflicts: 391000 | #Constraints: 24642
1019.10/1022.50 c #Conflicts: 392000 | #Constraints: 25642
1019.10/1022.50 c #Conflicts: 393000 | #Constraints: 26642
1019.10/1022.50 c #Conflicts: 394000 | #Constraints: 27642
1019.10/1022.50 c INPROCESSING
1019.10/1022.50 c GARBAGE COLLECT
1019.10/1022.50 c #Conflicts: 395000 | #Constraints: 16250
1019.10/1022.50 c #Conflicts: 396000 | #Constraints: 17250
1019.10/1022.50 c #Conflicts: 397000 | #Constraints: 18250
1019.10/1022.50 c #Conflicts: 398000 | #Constraints: 19250
1019.10/1022.50 c #Conflicts: 399000 | #Constraints: 20250
1019.10/1022.50 c #Conflicts: 400000 | #Constraints: 21250
1019.10/1022.50 c #Conflicts: 401000 | #Constraints: 22250
1019.10/1022.50 c #Conflicts: 402000 | #Constraints: 23250
1019.10/1022.50 c #Conflicts: 403000 | #Constraints: 24250
1019.10/1022.50 c #Conflicts: 404000 | #Constraints: 25250
1019.10/1022.50 c #Conflicts: 405000 | #Constraints: 26250
1019.10/1022.50 c #Conflicts: 406000 | #Constraints: 27250
1019.10/1022.50 c #Conflicts: 407000 | #Constraints: 28250
1019.10/1022.50 c INPROCESSING
1019.10/1022.50 c GARBAGE COLLECT
1019.10/1022.50 c #Conflicts: 408000 | #Constraints: 16655
1019.10/1022.50 c #Conflicts: 409000 | #Constraints: 17655
1019.10/1022.50 c #Conflicts: 410000 | #Constraints: 18655
1019.10/1022.50 c #Conflicts: 411000 | #Constraints: 19655
1019.10/1022.50 c #Conflicts: 412000 | #Constraints: 20655
1019.10/1022.50 c #Conflicts: 413000 | #Constraints: 21655
1019.10/1022.50 c #Conflicts: 414000 | #Constraints: 22655
1019.10/1022.50 c #Conflicts: 415000 | #Constraints: 23655
1019.10/1022.50 c #Conflicts: 416000 | #Constraints: 24655
1019.10/1022.50 c #Conflicts: 417000 | #Constraints: 25655
1019.10/1022.50 c #Conflicts: 418000 | #Constraints: 26655
1019.10/1022.50 c #Conflicts: 419000 | #Constraints: 27655
1019.10/1022.50 c #Conflicts: 420000 | #Constraints: 28655
1019.10/1022.50 c INPROCESSING
1019.10/1022.50 c GARBAGE COLLECT
1019.10/1022.50 c #Conflicts: 421000 | #Constraints: 16859
1019.10/1022.50 c #Conflicts: 422000 | #Constraints: 17859
1019.10/1022.50 c #Conflicts: 423000 | #Constraints: 18859
1019.10/1022.50 c #Conflicts: 424000 | #Constraints: 19859
1019.10/1022.50 c #Conflicts: 425000 | #Constraints: 20859
1019.10/1022.50 c #Conflicts: 426000 | #Constraints: 21859
1019.10/1022.50 c #Conflicts: 427000 | #Constraints: 22859
1019.10/1022.50 c #Conflicts: 428000 | #Constraints: 23859
1019.10/1022.50 c #Conflicts: 429000 | #Constraints: 24859
1019.10/1022.50 c #Conflicts: 430000 | #Constraints: 25859
1019.10/1022.50 c #Conflicts: 431000 | #Constraints: 26859
1019.10/1022.50 c #Conflicts: 432000 | #Constraints: 27859
1019.10/1022.50 c #Conflicts: 433000 | #Constraints: 28859
1019.10/1022.50 c INPROCESSING
1019.10/1022.50 c GARBAGE COLLECT
1019.10/1022.50 c #Conflicts: 434000 | #Constraints: 16866
1019.10/1022.50 c #Conflicts: 435000 | #Constraints: 17866
1019.10/1022.50 c #Conflicts: 436000 | #Constraints: 18866
1019.10/1022.50 c #Conflicts: 437000 | #Constraints: 19866
1019.10/1022.50 c #Conflicts: 438000 | #Constraints: 20866
1019.10/1022.50 c #Conflicts: 439000 | #Constraints: 21866
1019.10/1022.50 c #Conflicts: 440000 | #Constraints: 22866
1019.10/1022.50 c #Conflicts: 441000 | #Constraints: 23866
1019.10/1022.50 c #Conflicts: 442000 | #Constraints: 24866
1019.10/1022.50 c #Conflicts: 443000 | #Constraints: 25866
1019.10/1022.50 c #Conflicts: 444000 | #Constraints: 26866
1019.10/1022.50 c #Conflicts: 445000 | #Constraints: 27866
1019.10/1022.50 c #Conflicts: 446000 | #Constraints: 28866
1019.10/1022.50 c INPROCESSING
1019.10/1022.50 c GARBAGE COLLECT
1019.10/1022.50 c #Conflicts: 447000 | #Constraints: 16671
1019.10/1022.50 c #Conflicts: 448000 | #Constraints: 17671
1160.45/1164.34 c #Conflicts: 449000 | #Constraints: 18671
1160.45/1164.34 c #Conflicts: 450000 | #Constraints: 19671
1160.45/1164.34 c #Conflicts: 451000 | #Constraints: 20671
1160.45/1164.34 c #Conflicts: 452000 | #Constraints: 21671
1160.45/1164.34 c #Conflicts: 453000 | #Constraints: 22671
1160.45/1164.34 c #Conflicts: 454000 | #Constraints: 23671
1160.45/1164.34 c #Conflicts: 455000 | #Constraints: 24671
1160.45/1164.34 c #Conflicts: 456000 | #Constraints: 25671
1160.45/1164.34 c #Conflicts: 457000 | #Constraints: 26671
1160.45/1164.34 c #Conflicts: 458000 | #Constraints: 27671
1160.45/1164.34 c #Conflicts: 459000 | #Constraints: 28671
1160.45/1164.34 c #Conflicts: 460000 | #Constraints: 29671
1160.45/1164.34 c INPROCESSING
1160.45/1164.34 c GARBAGE COLLECT
1160.45/1164.34 c #Conflicts: 461000 | #Constraints: 17275
1160.45/1164.34 c #Conflicts: 462000 | #Constraints: 18275
1160.45/1164.34 c #Conflicts: 463000 | #Constraints: 19275
1160.45/1164.34 c #Conflicts: 464000 | #Constraints: 20275
1160.45/1164.34 c #Conflicts: 465000 | #Constraints: 21275
1160.45/1164.34 c #Conflicts: 466000 | #Constraints: 22275
1160.45/1164.34 c #Conflicts: 467000 | #Constraints: 23275
1160.45/1164.34 c #Conflicts: 468000 | #Constraints: 24275
1160.45/1164.34 c #Conflicts: 469000 | #Constraints: 25275
1160.45/1164.34 c #Conflicts: 470000 | #Constraints: 26275
1160.45/1164.34 c #Conflicts: 471000 | #Constraints: 27275
1160.45/1164.34 c #Conflicts: 472000 | #Constraints: 28275
1160.45/1164.34 c #Conflicts: 473000 | #Constraints: 29275
1160.45/1164.34 c #Conflicts: 474000 | #Constraints: 30275
1160.45/1164.34 c INPROCESSING
1160.45/1164.34 c GARBAGE COLLECT
1160.45/1164.34 c #Conflicts: 475000 | #Constraints: 17677
1160.45/1164.34 c #Conflicts: 476000 | #Constraints: 18677
1160.45/1164.34 c #Conflicts: 477000 | #Constraints: 19677
1160.45/1164.34 c #Conflicts: 478000 | #Constraints: 20677
1160.45/1164.34 c #Conflicts: 479000 | #Constraints: 21677
1160.45/1164.34 c #Conflicts: 480000 | #Constraints: 22677
1160.45/1164.34 c #Conflicts: 481000 | #Constraints: 23677
1160.45/1164.34 c #Conflicts: 482000 | #Constraints: 24677
1160.45/1164.34 c #Conflicts: 483000 | #Constraints: 25677
1160.45/1164.34 c #Conflicts: 484000 | #Constraints: 26677
1160.45/1164.34 c #Conflicts: 485000 | #Constraints: 27677
1160.45/1164.34 c #Conflicts: 486000 | #Constraints: 28677
1160.45/1164.34 c #Conflicts: 487000 | #Constraints: 29677
1160.45/1164.34 c #Conflicts: 488000 | #Constraints: 30677
1160.45/1164.34 c INPROCESSING
1160.45/1164.34 c GARBAGE COLLECT
1160.45/1164.34 c #Conflicts: 489000 | #Constraints: 17884
1160.45/1164.34 c #Conflicts: 490000 | #Constraints: 18884
1160.45/1164.34 c #Conflicts: 491000 | #Constraints: 19884
1160.45/1164.34 c #Conflicts: 492000 | #Constraints: 20884
1160.45/1164.34 c #Conflicts: 493000 | #Constraints: 21884
1160.45/1164.34 c #Conflicts: 494000 | #Constraints: 22884
1160.45/1164.34 c bounds -1227 >= -34920 @ 1151.51
1160.45/1164.34 c #Conflicts: 495000 | #Constraints: 23885
1160.45/1164.34 c finalizing WCE round: reformulating cores
1161.16/1165.02 c bounds -1229 >= -34920 @ 1158.79
1161.16/1165.02 c #Conflicts: 496000 | #Constraints: 24889
1161.16/1165.02 c bounds -1231 >= -34920 @ 1158.88
1161.16/1165.02 c stratification level: 140
1203.21/1207.28 c #Conflicts: 497000 | #Constraints: 25890
1203.21/1207.28 c #Conflicts: 498000 | #Constraints: 26890
1203.21/1207.28 c #Conflicts: 499000 | #Constraints: 27890
1203.21/1207.28 c #Conflicts: 500000 | #Constraints: 28890
1203.21/1207.28 c #Conflicts: 501000 | #Constraints: 29890
1203.21/1207.28 c #Conflicts: 502000 | #Constraints: 30890
1203.21/1207.28 c INPROCESSING
1203.21/1207.28 c GARBAGE COLLECT
1203.21/1207.28 c bounds -1237 >= -34920 @ 1200.95
1203.21/1207.28 c stratification level: 134
1203.31/1207.34 c bounds -1239 >= -34920 @ 1201.02
1203.31/1207.34 c stratification level: 130
1203.31/1207.35 c bounds -1241 >= -34920 @ 1201.02
1203.31/1207.35 c stratification level: 124
1204.12/1208.16 c bounds -1244 >= -34920 @ 1201.84
1204.12/1208.16 c stratification level: 120
1638.78/1644.47 c bounds -1244 >= -33988 @ 1201.84
1638.78/1644.47 c bounds -1244 >= -33868 @ 1202.13
1638.78/1644.47 c #Conflicts: 503000 | #Constraints: 17721
1638.78/1644.47 c bounds -1244 >= -33748 @ 1207.57
1638.78/1644.47 c #Conflicts: 504000 | #Constraints: 18722
1638.78/1644.47 c #Conflicts: 505000 | #Constraints: 19722
1638.78/1644.47 c #Conflicts: 506000 | #Constraints: 20722
1638.78/1644.47 c #Conflicts: 507000 | #Constraints: 21722
1638.78/1644.47 c #Conflicts: 508000 | #Constraints: 22722
1638.78/1644.47 c #Conflicts: 509000 | #Constraints: 23722
1638.78/1644.47 c #Conflicts: 510000 | #Constraints: 24722
1638.78/1644.47 c #Conflicts: 511000 | #Constraints: 25722
1638.78/1644.47 c #Conflicts: 512000 | #Constraints: 26722
1638.78/1644.47 c #Conflicts: 513000 | #Constraints: 27722
1638.78/1644.47 c #Conflicts: 514000 | #Constraints: 28722
1638.78/1644.47 c #Conflicts: 515000 | #Constraints: 29722
1638.78/1644.47 c #Conflicts: 516000 | #Constraints: 30722
1638.78/1644.47 c INPROCESSING
1638.78/1644.47 c GARBAGE COLLECT
1638.78/1644.47 c #Conflicts: 517000 | #Constraints: 17425
1638.78/1644.47 c #Conflicts: 518000 | #Constraints: 18425
1638.78/1644.47 c #Conflicts: 519000 | #Constraints: 19425
1638.78/1644.47 c #Conflicts: 520000 | #Constraints: 20425
1638.78/1644.47 c #Conflicts: 521000 | #Constraints: 21425
1638.78/1644.47 c #Conflicts: 522000 | #Constraints: 22425
1638.78/1644.47 c #Conflicts: 523000 | #Constraints: 23425
1638.78/1644.47 c #Conflicts: 524000 | #Constraints: 24425
1638.78/1644.47 c #Conflicts: 525000 | #Constraints: 25425
1638.78/1644.47 c #Conflicts: 526000 | #Constraints: 26425
1638.78/1644.47 c #Conflicts: 527000 | #Constraints: 27425
1638.78/1644.47 c #Conflicts: 528000 | #Constraints: 28425
1638.78/1644.47 c #Conflicts: 529000 | #Constraints: 29425
1638.78/1644.47 c #Conflicts: 530000 | #Constraints: 30425
1638.78/1644.47 c #Conflicts: 531000 | #Constraints: 31425
1638.78/1644.47 c INPROCESSING
1638.78/1644.47 c GARBAGE COLLECT
1638.78/1644.47 c #Conflicts: 532000 | #Constraints: 17980
1638.78/1644.47 c #Conflicts: 533000 | #Constraints: 18980
1638.78/1644.47 c #Conflicts: 534000 | #Constraints: 19980
1638.78/1644.47 c #Conflicts: 535000 | #Constraints: 20980
1638.78/1644.47 c #Conflicts: 536000 | #Constraints: 21980
1638.78/1644.47 c #Conflicts: 537000 | #Constraints: 22980
1638.78/1644.47 c #Conflicts: 538000 | #Constraints: 23980
1638.78/1644.47 c #Conflicts: 539000 | #Constraints: 24980
1638.78/1644.47 c #Conflicts: 540000 | #Constraints: 25980
1638.78/1644.47 c #Conflicts: 541000 | #Constraints: 26980
1638.78/1644.47 c #Conflicts: 542000 | #Constraints: 27980
1638.78/1644.47 c #Conflicts: 543000 | #Constraints: 28980
1638.78/1644.47 c #Conflicts: 544000 | #Constraints: 29980
1638.78/1644.47 c #Conflicts: 545000 | #Constraints: 30980
1638.78/1644.47 c #Conflicts: 546000 | #Constraints: 31980
1638.78/1644.47 c INPROCESSING
1638.78/1644.47 c GARBAGE COLLECT
1638.78/1644.47 c #Conflicts: 547000 | #Constraints: 18362
1638.78/1644.47 c #Conflicts: 548000 | #Constraints: 19362
1638.78/1644.47 c #Conflicts: 549000 | #Constraints: 20362
1638.78/1644.47 c #Conflicts: 550000 | #Constraints: 21362
1638.78/1644.47 c #Conflicts: 551000 | #Constraints: 22362
1638.78/1644.47 c #Conflicts: 552000 | #Constraints: 23362
1638.78/1644.47 c #Conflicts: 553000 | #Constraints: 24362
1638.78/1644.47 c #Conflicts: 554000 | #Constraints: 25362
1638.78/1644.47 c #Conflicts: 555000 | #Constraints: 26362
1638.78/1644.47 c #Conflicts: 556000 | #Constraints: 27362
1638.78/1644.47 c #Conflicts: 557000 | #Constraints: 28362
1638.78/1644.47 c #Conflicts: 558000 | #Constraints: 29362
1638.78/1644.47 c #Conflicts: 559000 | #Constraints: 30362
1638.78/1644.47 c #Conflicts: 560000 | #Constraints: 31362
1638.78/1644.47 c #Conflicts: 561000 | #Constraints: 32362
1638.78/1644.47 c INPROCESSING
1638.78/1644.47 c GARBAGE COLLECT
1638.78/1644.47 c #Conflicts: 562000 | #Constraints: 18551
1638.78/1644.47 c #Conflicts: 563000 | #Constraints: 19551
1638.78/1644.47 c #Conflicts: 564000 | #Constraints: 20551
1638.78/1644.47 c #Conflicts: 565000 | #Constraints: 21551
1638.78/1644.47 c #Conflicts: 566000 | #Constraints: 22551
1638.78/1644.47 c #Conflicts: 567000 | #Constraints: 23551
1638.78/1644.47 c #Conflicts: 568000 | #Constraints: 24551
1638.78/1644.47 c #Conflicts: 569000 | #Constraints: 25551
1638.78/1644.47 c #Conflicts: 570000 | #Constraints: 26551
1638.78/1644.47 c #Conflicts: 571000 | #Constraints: 27551
1638.78/1644.47 c #Conflicts: 572000 | #Constraints: 28551
1638.78/1644.47 c #Conflicts: 573000 | #Constraints: 29551
1638.78/1644.47 c #Conflicts: 574000 | #Constraints: 30551
1638.78/1644.47 c #Conflicts: 575000 | #Constraints: 31551
1638.78/1644.47 c #Conflicts: 576000 | #Constraints: 32551
1638.78/1644.47 c INPROCESSING
2064.70/2071.59 c GARBAGE COLLECT
2064.70/2071.59 c #Conflicts: 577000 | #Constraints: 18549
2064.70/2071.59 c #Conflicts: 578000 | #Constraints: 19549
2064.70/2071.59 c #Conflicts: 579000 | #Constraints: 20549
2064.70/2071.59 c #Conflicts: 580000 | #Constraints: 21549
2064.70/2071.59 c #Conflicts: 581000 | #Constraints: 22549
2064.70/2071.59 c #Conflicts: 582000 | #Constraints: 23549
2064.70/2071.59 c #Conflicts: 583000 | #Constraints: 24549
2064.70/2071.59 c #Conflicts: 584000 | #Constraints: 25549
2064.70/2071.59 c #Conflicts: 585000 | #Constraints: 26549
2064.70/2071.59 c #Conflicts: 586000 | #Constraints: 27549
2064.70/2071.59 c #Conflicts: 587000 | #Constraints: 28549
2064.70/2071.59 c #Conflicts: 588000 | #Constraints: 29549
2064.70/2071.59 c #Conflicts: 589000 | #Constraints: 30549
2064.70/2071.59 c #Conflicts: 590000 | #Constraints: 31549
2064.70/2071.59 c #Conflicts: 591000 | #Constraints: 32549
2064.70/2071.59 c INPROCESSING
2064.70/2071.59 c GARBAGE COLLECT
2064.70/2071.59 c #Conflicts: 592000 | #Constraints: 18347
2064.70/2071.59 c #Conflicts: 593000 | #Constraints: 19347
2064.70/2071.59 c #Conflicts: 594000 | #Constraints: 20347
2064.70/2071.59 c #Conflicts: 595000 | #Constraints: 21347
2064.70/2071.59 c #Conflicts: 596000 | #Constraints: 22347
2064.70/2071.59 c #Conflicts: 597000 | #Constraints: 23347
2064.70/2071.59 c #Conflicts: 598000 | #Constraints: 24347
2064.70/2071.59 c #Conflicts: 599000 | #Constraints: 25347
2064.70/2071.59 c #Conflicts: 600000 | #Constraints: 26347
2064.70/2071.59 c #Conflicts: 601000 | #Constraints: 27347
2064.70/2071.59 c #Conflicts: 602000 | #Constraints: 28347
2064.70/2071.59 c #Conflicts: 603000 | #Constraints: 29347
2064.70/2071.59 c #Conflicts: 604000 | #Constraints: 30347
2064.70/2071.59 c #Conflicts: 605000 | #Constraints: 31347
2064.70/2071.59 c #Conflicts: 606000 | #Constraints: 32347
2064.70/2071.59 c #Conflicts: 607000 | #Constraints: 33347
2064.70/2071.59 c INPROCESSING
2064.70/2071.59 c GARBAGE COLLECT
2064.70/2071.59 c #Conflicts: 608000 | #Constraints: 18949
2064.70/2071.59 c #Conflicts: 609000 | #Constraints: 19949
2064.70/2071.59 c #Conflicts: 610000 | #Constraints: 20949
2064.70/2071.59 c #Conflicts: 611000 | #Constraints: 21949
2064.70/2071.59 c #Conflicts: 612000 | #Constraints: 22949
2064.70/2071.59 c #Conflicts: 613000 | #Constraints: 23949
2064.70/2071.59 c #Conflicts: 614000 | #Constraints: 24949
2064.70/2071.59 c #Conflicts: 615000 | #Constraints: 25949
2064.70/2071.59 c #Conflicts: 616000 | #Constraints: 26949
2064.70/2071.59 c #Conflicts: 617000 | #Constraints: 27949
2064.70/2071.59 c #Conflicts: 618000 | #Constraints: 28949
2064.70/2071.59 c #Conflicts: 619000 | #Constraints: 29949
2064.70/2071.59 c #Conflicts: 620000 | #Constraints: 30949
2064.70/2071.59 c #Conflicts: 621000 | #Constraints: 31949
2064.70/2071.59 c #Conflicts: 622000 | #Constraints: 32949
2064.70/2071.59 c #Conflicts: 623000 | #Constraints: 33949
2064.70/2071.59 c INPROCESSING
2064.70/2071.59 c GARBAGE COLLECT
2064.70/2071.59 c #Conflicts: 624000 | #Constraints: 19348
2064.70/2071.59 c #Conflicts: 625000 | #Constraints: 20348
2064.70/2071.59 c #Conflicts: 626000 | #Constraints: 21348
2064.70/2071.59 c #Conflicts: 627000 | #Constraints: 22348
2064.70/2071.59 c #Conflicts: 628000 | #Constraints: 23348
2064.70/2071.59 c #Conflicts: 629000 | #Constraints: 24348
2064.70/2071.59 c #Conflicts: 630000 | #Constraints: 25348
2064.70/2071.59 c #Conflicts: 631000 | #Constraints: 26348
2064.70/2071.59 c #Conflicts: 632000 | #Constraints: 27348
2064.70/2071.59 c #Conflicts: 633000 | #Constraints: 28348
2064.70/2071.59 c #Conflicts: 634000 | #Constraints: 29348
2064.70/2071.59 c #Conflicts: 635000 | #Constraints: 30348
2064.70/2071.59 c #Conflicts: 636000 | #Constraints: 31348
2064.70/2071.59 c #Conflicts: 637000 | #Constraints: 32348
2064.70/2071.59 c #Conflicts: 638000 | #Constraints: 33348
2064.70/2071.59 c #Conflicts: 639000 | #Constraints: 34348
2064.70/2071.59 c INPROCESSING
2064.70/2071.59 c GARBAGE COLLECT
2064.70/2071.59 c #Conflicts: 640000 | #Constraints: 19547
2064.70/2071.59 c #Conflicts: 641000 | #Constraints: 20547
2064.70/2071.59 c #Conflicts: 642000 | #Constraints: 21547
2064.70/2071.59 c #Conflicts: 643000 | #Constraints: 22547
2064.70/2071.59 c #Conflicts: 644000 | #Constraints: 23547
2064.70/2071.59 c #Conflicts: 645000 | #Constraints: 24547
2064.70/2071.59 c #Conflicts: 646000 | #Constraints: 25547
2064.70/2071.59 c #Conflicts: 647000 | #Constraints: 26547
2064.70/2071.59 c #Conflicts: 648000 | #Constraints: 27547
2064.70/2071.59 c #Conflicts: 649000 | #Constraints: 28547
2064.70/2071.59 c #Conflicts: 650000 | #Constraints: 29547
2064.70/2071.59 c #Conflicts: 651000 | #Constraints: 30547
2064.70/2071.59 c #Conflicts: 652000 | #Constraints: 31547
2105.86/2112.82 c #Conflicts: 653000 | #Constraints: 32547
2105.86/2112.82 c #Conflicts: 654000 | #Constraints: 33547
2105.86/2112.82 c #Conflicts: 655000 | #Constraints: 34547
2105.86/2112.82 c INPROCESSING
2105.86/2112.82 c GARBAGE COLLECT
2105.86/2112.82 c #Conflicts: 656000 | #Constraints: 19550
2105.86/2112.82 c #Conflicts: 657000 | #Constraints: 20550
2105.86/2112.82 c #Conflicts: 658000 | #Constraints: 21550
2105.86/2112.82 c finalizing WCE round: reformulating cores
2538.04/2546.44 c #Conflicts: 659000 | #Constraints: 22553
2538.04/2546.44 c bounds -1251 >= -33806 @ 2107.61
2538.04/2546.44 c #Conflicts: 660000 | #Constraints: 23557
2538.04/2546.44 c bounds -1251 >= -33806 @ 2107.76
2538.04/2546.44 c bounds -1251 >= -33806 @ 2107.82
2538.04/2546.44 c bounds -1251 >= -33806 @ 2107.83
2538.04/2546.44 c bounds -1251 >= -33806 @ 2108.11
2538.04/2546.44 c #Conflicts: 661000 | #Constraints: 24567
2538.04/2546.44 c bounds -1251 >= -33628 @ 2115.95
2538.04/2546.44 c #Conflicts: 662000 | #Constraints: 25567
2538.04/2546.44 c #Conflicts: 663000 | #Constraints: 26567
2538.04/2546.44 c #Conflicts: 664000 | #Constraints: 27567
2538.04/2546.44 c #Conflicts: 665000 | #Constraints: 28567
2538.04/2546.44 c #Conflicts: 666000 | #Constraints: 29567
2538.04/2546.44 c #Conflicts: 667000 | #Constraints: 30567
2538.04/2546.44 c #Conflicts: 668000 | #Constraints: 31567
2538.04/2546.44 c #Conflicts: 669000 | #Constraints: 32567
2538.04/2546.44 c #Conflicts: 670000 | #Constraints: 33567
2538.04/2546.44 c #Conflicts: 671000 | #Constraints: 34567
2538.04/2546.44 c INPROCESSING
2538.04/2546.44 c GARBAGE COLLECT
2538.04/2546.44 c #Conflicts: 672000 | #Constraints: 19323
2538.04/2546.44 c #Conflicts: 673000 | #Constraints: 20323
2538.04/2546.44 c #Conflicts: 674000 | #Constraints: 21323
2538.04/2546.44 c #Conflicts: 675000 | #Constraints: 22323
2538.04/2546.44 c #Conflicts: 676000 | #Constraints: 23323
2538.04/2546.44 c #Conflicts: 677000 | #Constraints: 24323
2538.04/2546.44 c #Conflicts: 678000 | #Constraints: 25323
2538.04/2546.44 c #Conflicts: 679000 | #Constraints: 26323
2538.04/2546.44 c #Conflicts: 680000 | #Constraints: 27323
2538.04/2546.44 c #Conflicts: 681000 | #Constraints: 28323
2538.04/2546.44 c #Conflicts: 682000 | #Constraints: 29323
2538.04/2546.44 c #Conflicts: 683000 | #Constraints: 30323
2538.04/2546.44 c #Conflicts: 684000 | #Constraints: 31323
2538.04/2546.44 c #Conflicts: 685000 | #Constraints: 32323
2538.04/2546.44 c #Conflicts: 686000 | #Constraints: 33323
2538.04/2546.44 c #Conflicts: 687000 | #Constraints: 34323
2538.04/2546.44 c #Conflicts: 688000 | #Constraints: 35323
2538.04/2546.44 c INPROCESSING
2538.04/2546.44 c GARBAGE COLLECT
2538.04/2546.44 c #Conflicts: 689000 | #Constraints: 19947
2538.04/2546.44 c #Conflicts: 690000 | #Constraints: 20947
2538.04/2546.44 c #Conflicts: 691000 | #Constraints: 21947
2538.04/2546.44 c #Conflicts: 692000 | #Constraints: 22947
2538.04/2546.44 c #Conflicts: 693000 | #Constraints: 23947
2538.04/2546.44 c #Conflicts: 694000 | #Constraints: 24947
2538.04/2546.44 c #Conflicts: 695000 | #Constraints: 25947
2538.04/2546.44 c #Conflicts: 696000 | #Constraints: 26947
2538.04/2546.44 c #Conflicts: 697000 | #Constraints: 27947
2538.04/2546.44 c #Conflicts: 698000 | #Constraints: 28947
2538.04/2546.44 c #Conflicts: 699000 | #Constraints: 29947
2538.04/2546.44 c #Conflicts: 700000 | #Constraints: 30947
2538.04/2546.44 c #Conflicts: 701000 | #Constraints: 31947
2538.04/2546.44 c #Conflicts: 702000 | #Constraints: 32947
2538.04/2546.44 c #Conflicts: 703000 | #Constraints: 33947
2538.04/2546.44 c #Conflicts: 704000 | #Constraints: 34947
2538.04/2546.44 c #Conflicts: 705000 | #Constraints: 35947
2538.04/2546.44 c INPROCESSING
2538.04/2546.44 c GARBAGE COLLECT
2538.04/2546.44 c #Conflicts: 706000 | #Constraints: 20355
2538.04/2546.44 c #Conflicts: 707000 | #Constraints: 21355
2538.04/2546.44 c #Conflicts: 708000 | #Constraints: 22355
2538.04/2546.44 c #Conflicts: 709000 | #Constraints: 23355
2538.04/2546.44 c #Conflicts: 710000 | #Constraints: 24355
2538.04/2546.44 c #Conflicts: 711000 | #Constraints: 25355
2538.04/2546.44 c #Conflicts: 712000 | #Constraints: 26355
2538.04/2546.44 c #Conflicts: 713000 | #Constraints: 27355
2538.04/2546.44 c #Conflicts: 714000 | #Constraints: 28355
2538.04/2546.44 c #Conflicts: 715000 | #Constraints: 29355
2538.04/2546.44 c #Conflicts: 716000 | #Constraints: 30355
2538.04/2546.44 c #Conflicts: 717000 | #Constraints: 31355
2538.04/2546.44 c #Conflicts: 718000 | #Constraints: 32355
2538.04/2546.44 c #Conflicts: 719000 | #Constraints: 33355
2538.04/2546.44 c #Conflicts: 720000 | #Constraints: 34355
2538.04/2546.44 c #Conflicts: 721000 | #Constraints: 35355
2538.04/2546.44 c #Conflicts: 722000 | #Constraints: 36355
2538.04/2546.44 c INPROCESSING
2538.04/2546.44 c GARBAGE COLLECT
2538.04/2546.44 c #Conflicts: 723000 | #Constraints: 20562
2538.04/2546.44 c #Conflicts: 724000 | #Constraints: 21562
2538.04/2546.44 c #Conflicts: 725000 | #Constraints: 22562
2538.04/2546.44 c #Conflicts: 726000 | #Constraints: 23562
2538.04/2546.44 c #Conflicts: 727000 | #Constraints: 24562
2538.04/2546.44 c #Conflicts: 728000 | #Constraints: 25562
2538.04/2546.44 c #Conflicts: 729000 | #Constraints: 26562
2538.04/2546.44 c #Conflicts: 730000 | #Constraints: 27562
2538.04/2546.44 c #Conflicts: 731000 | #Constraints: 28562
3058.28/3068.48 c #Conflicts: 732000 | #Constraints: 29562
3058.28/3068.48 c #Conflicts: 733000 | #Constraints: 30562
3058.28/3068.48 c #Conflicts: 734000 | #Constraints: 31562
3058.28/3068.48 c #Conflicts: 735000 | #Constraints: 32562
3058.28/3068.48 c #Conflicts: 736000 | #Constraints: 33562
3058.28/3068.48 c #Conflicts: 737000 | #Constraints: 34562
3058.28/3068.48 c #Conflicts: 738000 | #Constraints: 35562
3058.28/3068.48 c #Conflicts: 739000 | #Constraints: 36562
3058.28/3068.48 c INPROCESSING
3058.28/3068.48 c GARBAGE COLLECT
3058.28/3068.48 c #Conflicts: 740000 | #Constraints: 20566
3058.28/3068.48 c #Conflicts: 741000 | #Constraints: 21566
3058.28/3068.48 c #Conflicts: 742000 | #Constraints: 22566
3058.28/3068.48 c #Conflicts: 743000 | #Constraints: 23566
3058.28/3068.48 c #Conflicts: 744000 | #Constraints: 24566
3058.28/3068.48 c #Conflicts: 745000 | #Constraints: 25566
3058.28/3068.48 c #Conflicts: 746000 | #Constraints: 26566
3058.28/3068.48 c #Conflicts: 747000 | #Constraints: 27566
3058.28/3068.48 c #Conflicts: 748000 | #Constraints: 28566
3058.28/3068.48 c #Conflicts: 749000 | #Constraints: 29566
3058.28/3068.48 c #Conflicts: 750000 | #Constraints: 30566
3058.28/3068.48 c #Conflicts: 751000 | #Constraints: 31566
3058.28/3068.48 c #Conflicts: 752000 | #Constraints: 32566
3058.28/3068.48 c #Conflicts: 753000 | #Constraints: 33566
3058.28/3068.48 c #Conflicts: 754000 | #Constraints: 34566
3058.28/3068.48 c #Conflicts: 755000 | #Constraints: 35566
3058.28/3068.48 c #Conflicts: 756000 | #Constraints: 36566
3058.28/3068.48 c INPROCESSING
3058.28/3068.48 c GARBAGE COLLECT
3058.28/3068.48 c #Conflicts: 757000 | #Constraints: 20370
3058.28/3068.48 c #Conflicts: 758000 | #Constraints: 21370
3058.28/3068.48 c #Conflicts: 759000 | #Constraints: 22370
3058.28/3068.48 c #Conflicts: 760000 | #Constraints: 23370
3058.28/3068.48 c #Conflicts: 761000 | #Constraints: 24370
3058.28/3068.48 c #Conflicts: 762000 | #Constraints: 25370
3058.28/3068.48 c #Conflicts: 763000 | #Constraints: 26370
3058.28/3068.48 c #Conflicts: 764000 | #Constraints: 27370
3058.28/3068.48 c #Conflicts: 765000 | #Constraints: 28370
3058.28/3068.48 c #Conflicts: 766000 | #Constraints: 29370
3058.28/3068.48 c #Conflicts: 767000 | #Constraints: 30370
3058.28/3068.48 c #Conflicts: 768000 | #Constraints: 31370
3058.28/3068.48 c #Conflicts: 769000 | #Constraints: 32370
3058.28/3068.48 c #Conflicts: 770000 | #Constraints: 33370
3058.28/3068.48 c #Conflicts: 771000 | #Constraints: 34370
3058.28/3068.48 c #Conflicts: 772000 | #Constraints: 35370
3058.28/3068.48 c #Conflicts: 773000 | #Constraints: 36370
3058.28/3068.48 c #Conflicts: 774000 | #Constraints: 37370
3058.28/3068.48 c INPROCESSING
3058.28/3068.48 c GARBAGE COLLECT
3058.28/3068.48 c #Conflicts: 775000 | #Constraints: 20967
3058.28/3068.48 c #Conflicts: 776000 | #Constraints: 21967
3058.28/3068.48 c #Conflicts: 777000 | #Constraints: 22967
3058.28/3068.48 c #Conflicts: 778000 | #Constraints: 23967
3058.28/3068.48 c #Conflicts: 779000 | #Constraints: 24967
3058.28/3068.48 c #Conflicts: 780000 | #Constraints: 25967
3058.28/3068.48 c #Conflicts: 781000 | #Constraints: 26967
3058.28/3068.48 c #Conflicts: 782000 | #Constraints: 27967
3058.28/3068.48 c #Conflicts: 783000 | #Constraints: 28967
3058.28/3068.48 c #Conflicts: 784000 | #Constraints: 29967
3058.28/3068.48 c #Conflicts: 785000 | #Constraints: 30967
3058.28/3068.48 c #Conflicts: 786000 | #Constraints: 31967
3058.28/3068.48 c #Conflicts: 787000 | #Constraints: 32967
3058.28/3068.48 c #Conflicts: 788000 | #Constraints: 33967
3058.28/3068.48 c #Conflicts: 789000 | #Constraints: 34967
3058.28/3068.48 c #Conflicts: 790000 | #Constraints: 35967
3058.28/3068.48 c #Conflicts: 791000 | #Constraints: 36967
3058.28/3068.48 c #Conflicts: 792000 | #Constraints: 37967
3058.28/3068.48 c INPROCESSING
3058.28/3068.48 c GARBAGE COLLECT
3058.28/3068.48 c #Conflicts: 793000 | #Constraints: 21368
3058.28/3068.48 c #Conflicts: 794000 | #Constraints: 22368
3058.28/3068.48 c #Conflicts: 795000 | #Constraints: 23368
3058.28/3068.48 c #Conflicts: 796000 | #Constraints: 24368
3058.28/3068.48 c #Conflicts: 797000 | #Constraints: 25368
3058.28/3068.48 c #Conflicts: 798000 | #Constraints: 26368
3058.28/3068.48 c #Conflicts: 799000 | #Constraints: 27368
3058.28/3068.48 c #Conflicts: 800000 | #Constraints: 28368
3058.28/3068.48 c #Conflicts: 801000 | #Constraints: 29368
3058.28/3068.48 c #Conflicts: 802000 | #Constraints: 30368
3058.28/3068.48 c #Conflicts: 803000 | #Constraints: 31368
3058.28/3068.48 c #Conflicts: 804000 | #Constraints: 32368
3058.28/3068.48 c #Conflicts: 805000 | #Constraints: 33368
3058.28/3068.48 c #Conflicts: 806000 | #Constraints: 34368
3058.28/3068.48 c #Conflicts: 807000 | #Constraints: 35368
3600.03/3612.01 c #Conflicts: 808000 | #Constraints: 36368
3600.03/3612.01 c #Conflicts: 809000 | #Constraints: 37368
3600.03/3612.01 c #Conflicts: 810000 | #Constraints: 38368
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 811000 | #Constraints: 21569
3600.03/3612.01 c #Conflicts: 812000 | #Constraints: 22569
3600.03/3612.01 c #Conflicts: 813000 | #Constraints: 23569
3600.03/3612.01 c #Conflicts: 814000 | #Constraints: 24569
3600.03/3612.01 c #Conflicts: 815000 | #Constraints: 25569
3600.03/3612.01 c #Conflicts: 816000 | #Constraints: 26569
3600.03/3612.01 c #Conflicts: 817000 | #Constraints: 27569
3600.03/3612.01 c #Conflicts: 818000 | #Constraints: 28569
3600.03/3612.01 c #Conflicts: 819000 | #Constraints: 29569
3600.03/3612.01 c #Conflicts: 820000 | #Constraints: 30569
3600.03/3612.01 c #Conflicts: 821000 | #Constraints: 31569
3600.03/3612.01 c #Conflicts: 822000 | #Constraints: 32569
3600.03/3612.01 c #Conflicts: 823000 | #Constraints: 33569
3600.03/3612.01 c #Conflicts: 824000 | #Constraints: 34569
3600.03/3612.01 c #Conflicts: 825000 | #Constraints: 35569
3600.03/3612.01 c #Conflicts: 826000 | #Constraints: 36569
3600.03/3612.01 c #Conflicts: 827000 | #Constraints: 37569
3600.03/3612.01 c #Conflicts: 828000 | #Constraints: 38569
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 829000 | #Constraints: 21570
3600.03/3612.01 c #Conflicts: 830000 | #Constraints: 22570
3600.03/3612.01 c #Conflicts: 831000 | #Constraints: 23570
3600.03/3612.01 c #Conflicts: 832000 | #Constraints: 24570
3600.03/3612.01 c #Conflicts: 833000 | #Constraints: 25570
3600.03/3612.01 c #Conflicts: 834000 | #Constraints: 26570
3600.03/3612.01 c #Conflicts: 835000 | #Constraints: 27570
3600.03/3612.01 c #Conflicts: 836000 | #Constraints: 28570
3600.03/3612.01 c #Conflicts: 837000 | #Constraints: 29570
3600.03/3612.01 c #Conflicts: 838000 | #Constraints: 30570
3600.03/3612.01 c #Conflicts: 839000 | #Constraints: 31570
3600.03/3612.01 c #Conflicts: 840000 | #Constraints: 32570
3600.03/3612.01 c #Conflicts: 841000 | #Constraints: 33570
3600.03/3612.01 c #Conflicts: 842000 | #Constraints: 34570
3600.03/3612.01 c #Conflicts: 843000 | #Constraints: 35570
3600.03/3612.01 c #Conflicts: 844000 | #Constraints: 36570
3600.03/3612.01 c #Conflicts: 845000 | #Constraints: 37570
3600.03/3612.01 c #Conflicts: 846000 | #Constraints: 38570
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 847000 | #Constraints: 21366
3600.03/3612.01 c #Conflicts: 848000 | #Constraints: 22366
3600.03/3612.01 c #Conflicts: 849000 | #Constraints: 23366
3600.03/3612.01 c #Conflicts: 850000 | #Constraints: 24366
3600.03/3612.01 c #Conflicts: 851000 | #Constraints: 25366
3600.03/3612.01 c #Conflicts: 852000 | #Constraints: 26366
3600.03/3612.01 c #Conflicts: 853000 | #Constraints: 27366
3600.03/3612.01 c #Conflicts: 854000 | #Constraints: 28366
3600.03/3612.01 c #Conflicts: 855000 | #Constraints: 29366
3600.03/3612.01 c #Conflicts: 856000 | #Constraints: 30366
3600.03/3612.01 c #Conflicts: 857000 | #Constraints: 31366
3600.03/3612.01 c #Conflicts: 858000 | #Constraints: 32366
3600.03/3612.01 c #Conflicts: 859000 | #Constraints: 33366
3600.03/3612.01 c #Conflicts: 860000 | #Constraints: 34366
3600.03/3612.01 c #Conflicts: 861000 | #Constraints: 35366
3600.03/3612.01 c #Conflicts: 862000 | #Constraints: 36366
3600.03/3612.01 c #Conflicts: 863000 | #Constraints: 37366
3600.03/3612.01 c #Conflicts: 864000 | #Constraints: 38366
3600.03/3612.01 c #Conflicts: 865000 | #Constraints: 39366
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 866000 | #Constraints: 21972
3600.03/3612.01 c #Conflicts: 867000 | #Constraints: 22972
3600.03/3612.01 c #Conflicts: 868000 | #Constraints: 23972
3600.03/3612.01 c #Conflicts: 869000 | #Constraints: 24972
3600.03/3612.01 c #Conflicts: 870000 | #Constraints: 25972
3600.03/3612.01 c #Conflicts: 871000 | #Constraints: 26972
3600.03/3612.01 c #Conflicts: 872000 | #Constraints: 27972
3600.03/3612.01 c #Conflicts: 873000 | #Constraints: 28972
3600.03/3612.01 c #Conflicts: 874000 | #Constraints: 29972
3600.03/3612.01 c #Conflicts: 875000 | #Constraints: 30972
3600.03/3612.01 c #Conflicts: 876000 | #Constraints: 31972
3600.03/3612.01 c #Conflicts: 877000 | #Constraints: 32972
3600.03/3612.01 c #Conflicts: 878000 | #Constraints: 33972
3600.03/3612.01 c #Conflicts: 879000 | #Constraints: 34972
3600.03/3612.01 c #Conflicts: 880000 | #Constraints: 35972
3600.03/3612.01 c Program interrupted by user.
3600.03/3612.01 c cpu time 3595.91 s
3600.03/3612.01 c deterministic time 732001796170 7.32e+11
3600.03/3612.01 c optimization time 138.353 s
3600.03/3612.01 c total solve time 3457.55 s
3600.03/3612.01 c core-guided solve time 3457.55 s
3600.03/3612.01 c propagation time 2966.98 s
3600.03/3612.01 c conflict analysis time 601.677 s
3600.03/3612.01 c propagations 78311668
3600.03/3612.01 c resolve steps 32390458
3600.03/3612.01 c decisions 1022656
3600.03/3612.01 c conflicts 880355
3600.03/3612.01 c restarts 1913
3600.03/3612.01 c inprocessing phases 84
3600.03/3612.01 c input clauses 1359
3600.03/3612.01 c input cardinalities 0
3600.03/3612.01 c input general constraints 1428
3600.03/3612.01 c input average constraint length 23.97
3600.03/3612.01 c input average constraint degree 353.90
3600.03/3612.01 c learned clauses 798661
3600.03/3612.01 c learned cardinalities 183
3600.03/3612.01 c learned general constraints 81506
3600.03/3612.01 c learned average constraint length 713.61
3600.03/3612.01 c learned average constraint degree 1159.61
3600.03/3612.01 c watched constraints 81514
3600.03/3612.01 c counting constraints 1420
3600.03/3612.01 c gcd simplifications 625416
3600.03/3612.01 c detected cardinalities 1
3600.03/3612.01 c weakened non-implied lits 475861325
3600.03/3612.01 c weakened non-implying lits 2020768
3600.03/3612.01 c original variables 1381
3600.03/3612.01 c clausal propagations 30165670
3600.03/3612.01 c cardinality propagations 2
3600.03/3612.01 c watched propagations 4292033
3600.03/3612.01 c counting propagations 42972095
3600.03/3612.01 c watch lookups 18975147918
3600.03/3612.01 c watch backjump lookups 6441252123
3600.03/3612.01 c watch checks 654527874229
3600.03/3612.01 c propagation checks 49326099813
3600.03/3612.01 c constraint additions 2571874489
3600.03/3612.01 c trail pops 80213273
3600.03/3612.01 c formula constraints 2692
3600.03/3612.01 c learned constraints 880350
3600.03/3612.01 c bound constraints 40
3600.03/3612.01 c core-guided constraints 55
3600.03/3612.01 c encountered formula constraints 30721236
3600.03/3612.01 c encountered learned constraints 2275579
3600.03/3612.01 c encountered bound constraints 29324
3600.03/3612.01 c encountered core-guided constraints 244674
3600.03/3612.01 c LP total time 0 s
3600.03/3612.01 c LP solve time 0 s
3600.03/3612.01 c LP constraints added 0
3600.03/3612.01 c LP constraints removed 0
3600.03/3612.01 c LP pivots internal 0
3600.03/3612.01 c LP pivots root 0
3600.03/3612.01 c LP calls 0
3600.03/3612.01 c LP optimalities 0
3600.03/3612.01 c LP no pivot count 0
3600.03/3612.01 c LP infeasibilities 0
3600.03/3612.01 c LP valid Farkas constraints 0
3600.03/3612.01 c LP learned Farkas constraints 0
3600.03/3612.01 c LP basis resets 0
3600.03/3612.01 c LP cycling count 0
3600.03/3612.01 c LP singular count 0
3600.03/3612.01 c LP no primal count 0
3600.03/3612.01 c LP no farkas count 0
3600.03/3612.01 c LP other issue count 0
3600.03/3612.01 c LP Gomory cuts 0
3600.03/3612.01 c LP learned cuts 0
3600.03/3612.01 c LP deleted cuts 0
3600.03/3612.01 c LP encountered Gomory constraints 0
3600.03/3612.01 c LP encountered Farkas constraints 0
3600.03/3612.01 c LP encountered learned Farkas constraints 0
3600.03/3612.01 c CG auxiliary variables introduced 29
3600.03/3612.01 c CG solutions found 19
3600.03/3612.01 c CG cores constructed 16
3600.03/3612.01 c CG core cardinality constraints returned 0
3600.03/3612.01 c CG unit cores 0
3600.03/3612.01 c CG single cores 16
3600.03/3612.01 c CG blocks removed during cardinality reduction 1
3600.03/3612.01 c CG first core best 0
3600.03/3612.01 c CG decision core best 0
3600.03/3612.01 c CG core reduction tie 0
3600.03/3612.01 c CG core degree average 1.00
3600.03/3612.01 c CG core slack average 7.62
3600.03/3612.01 c CG exhausted 5
3600.03/3612.01 c CG exhaust time 24.0032 s
3600.03/3612.01 c CG trimmed 0
3600.03/3612.01 c CG trim time 0.004739 s
3600.03/3612.01 c CG minimized 0
3600.03/3612.01 c CG minimize time 0 s
3600.03/3612.01 c CG am1 prop time 0.003816 s
3600.03/3612.01 c CG # am1s reformulated 8
3600.03/3612.01 c CG lower bound derived from am1s 874
3600.03/3612.01 c CG # clausal cores 15
3600.03/3612.01 c CG # cardinality cores 0
3600.03/3612.01 c CG # pb cores 1
3600.03/3612.01 c CG # pb reforms 16
3600.03/3612.01 c CG # cores discarded because of pb reform 0
3600.03/3612.01 d LOWERBOUND -33628
3600.03/3612.01 d NCORES 16
3600.03/3612.01 d NPBCORES 1
3600.03/3612.01 d NPBREFORM 16
3600.03/3612.01 d NTRIMMED 0
3600.03/3612.01 d NEXHAUSTED 5
3600.03/3612.01 d NAM1S 8
3600.03/3612.01 d AM1LB 874
3600.03/3612.01 o -1251
3600.03/3612.01 s SATISFIABLE
3600.03/3612.01 v -x1 x2 x3 x4 x5 x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 x15 x16 x17 -x18 -x19 x20 -x21 x22 -x23 -x24 x25 x26 x27 x28 x29 -x30 x31 x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 x336 -x337 -x338 x339 -x340 -x341 x342 -x343 -x344 x345 -x346 x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 x409 x410 -x411 -x412 x413 x414 x415 x416 -x417 -x418 x419 x420 x421 -x422 x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 x439 -x440 x441 -x442 -x443 x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 x460 -x461 -x462 x463 x464 -x465 x466 -x467 -x468 x469 x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 x482 -x483 x484 -x485 -x486 -x487 x488 x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 x593 x594 x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 x606 -x607 -x608 -x609 x610 x611 x612 x613 x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 x676 x677 -x678 -x679 x680 x681 x682 -x683 x684 x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 x721 -x722 -x723 x724 -x725 x726 x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 x746 -x747 -x748 x749 -x750 x751 -x752 -x753 -x754 x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 x942 x943 -x944 x945 x946 x947 x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 x1007 x1008 -x1009 x1010 x1011 -x1012 x1013 x1014 -x1015 x1016 x1017 -x1018 x1019 -x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 x1032 x1033 -x1034 x1035 x1036 -x1037 x1038 x1039 -x1040 x1041 x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 -x1053 x1054 -x1055 x1056 -x1057 x1058 -x1059 x1060 x1061 -x1062 x1063 x1064 -x1065 x1066 x1067 -x1068 x1069 x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 x1077 -x1078 x1079 x1080 -x1081 -x1082 x1083 -x1084 x1085 x1086 -x1087 x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 x1097 -x1098 x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 x1130 -x1131 -x1132 x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 x1148 x1149 -x1150 -x1151 x1152 x1153 x1154 x1155 x1156 -x1157 -x1158 x1159 x1160 -x1161 x1162 x1163 -x1164 -x1165 x1166 x1167 -x1168 x1169 x1170 -x1171 -x1172 x1173 x1174 -x1175 x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 x1204 -x1205 x1206 x1207 x1208 x1209 -x1210 x1211 -x1212 x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 x1228 x1229 x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 x1244 -x1245 -x1246 x1247 -x1248 x1249 x1250 x1251 -x1252 -x1253 x1254 -x1255 x1256 -x1257 x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 x1294 x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 x1309 x1310 x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 x1331 x1332 x1333 -x1334 x1335 x1336 -x1337 x1338 x1339 x1340 -x1341 x1342 x1343 -x1344 x1345 x1346 x1347 -x1348 x1349 x1350 -x1351 x1352 x1353 x1354 -x1355 x1356 x1357 -x1358 x1359 x1360 -x1361 x1362 x1363 -x1364 x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 x1374 x1375 -x1376 x1377 x1378 -x1379 -x1380 x1381
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: 64059 MiB (51442 MiB free)
memory of node 1: 64510 MiB (38367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454589-1721477819/watcher-4454589-1721477819 -o /tmp/evaluation-result-4454589-1721477819/solver-4454589-1721477819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056039 --watchdog 3760 pb-oll-rs HOME/instance-4454589-1721477819.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1061602, runsolver pid=1061599
[startup+0.1001 s]*
/proc/loadavg: 4.09 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91961704/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=39708 memory=8924 CPUtime=0.1 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 503 0 0 0 10 0 0 0 20 0 1 0 199940600 40660992 2231 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 9927 2231 1409 291 0 1461 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 8924 KiB
[startup+0.213279 s]*
/proc/loadavg: 4.09 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91961536/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=39708 memory=8924 CPUtime=0.21 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 511 0 0 0 21 0 0 0 20 0 1 0 199940600 40660992 2231 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 9927 2231 1409 291 0 1461 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 8924 KiB
[startup+0.31309 s]*
/proc/loadavg: 4.09 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91961424/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=39708 memory=8924 CPUtime=0.31 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 524 0 0 0 31 0 0 0 20 0 1 0 199940600 40660992 2231 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 9927 2231 1409 291 0 1461 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 8924 KiB
[startup+0.700357 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91953152/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=39840 memory=8924 CPUtime=0.69 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 535 0 0 0 69 0 0 0 20 0 1 0 199940600 40796160 2231 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 9960 2231 1409 291 0 1494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 8924 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91950628/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=40236 memory=11496 CPUtime=1.48 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 666 0 0 0 148 0 0 0 20 0 1 0 199940600 41201664 2874 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 10059 2874 1409 291 0 1593 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40236 KiB
Current children cumulated memory: 11496 KiB
[startup+3.11306 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91940068/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=43352 memory=13644 CPUtime=3.09 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 1216 0 0 0 308 1 0 0 20 0 1 0 199940600 44392448 3411 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 10838 3411 1409 291 0 2372 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43352 KiB
Current children cumulated memory: 13644 KiB
[startup+6.30031 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 1061603
/proc/meminfo: memFree=91890360/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=48852 memory=19284 CPUtime=6.27 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 2067 0 0 0 624 3 0 0 20 0 1 0 199940600 50024448 4821 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 12213 4821 1462 291 0 3747 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48852 KiB
Current children cumulated memory: 19284 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 5/242 1061605
/proc/meminfo: memFree=91807020/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=57904 memory=27320 CPUtime=12.65 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 3040 0 0 0 1260 5 0 0 20 0 1 0 199940600 59293696 6830 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 14476 6830 1462 291 0 6010 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57904 KiB
Current children cumulated memory: 27320 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/242 1061606
/proc/meminfo: memFree=91630444/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=70688 memory=36532 CPUtime=25.41 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 3781 0 0 0 2530 11 0 0 20 0 1 0 199940600 72384512 9133 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 17672 9133 1462 291 0 9206 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70688 KiB
Current children cumulated memory: 36532 KiB
[startup+51.1133 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 1061611
/proc/meminfo: memFree=90657924/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=91348 memory=48256 CPUtime=50.94 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 4703 0 0 0 5076 18 0 0 20 0 1 0 199940600 93540352 12064 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 22837 12064 1462 291 0 14371 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 91348 KiB
Current children cumulated memory: 48256 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 1061619
/proc/meminfo: memFree=89736008/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=92984 memory=55856 CPUtime=101.95 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 5181 0 0 0 10162 33 0 0 20 0 1 0 199940600 95215616 13964 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 23246 13964 1462 291 0 14780 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 92984 KiB
Current children cumulated memory: 55856 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 1061630
/proc/meminfo: memFree=88777556/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=94524 memory=65596 CPUtime=161.75 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 5636 0 0 0 16126 49 0 0 20 0 1 0 199940600 96792576 16399 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 23631 16399 1462 291 0 15165 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 94524 KiB
Current children cumulated memory: 65596 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 1061645
/proc/meminfo: memFree=87972776/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=126300 memory=73116 CPUtime=221.54 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 6521 0 0 0 22091 63 0 0 20 0 1 0 199940600 129331200 18279 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 31575 18279 1462 291 0 23109 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 126300 KiB
Current children cumulated memory: 73116 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 1061655
/proc/meminfo: memFree=87113392/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=126956 memory=80048 CPUtime=281.33 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 6882 0 0 0 28057 76 0 0 20 0 1 0 199940600 130002944 20012 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 31739 20012 1462 291 0 23273 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 126956 KiB
Current children cumulated memory: 80048 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1061666
/proc/meminfo: memFree=86891260/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=127244 memory=84448 CPUtime=341.14 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 7072 0 0 0 34023 91 0 0 20 0 1 0 199940600 130297856 21112 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 31811 21112 1462 291 0 23345 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 127244 KiB
Current children cumulated memory: 84448 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1061676
/proc/meminfo: memFree=86207084/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=127900 memory=89168 CPUtime=400.93 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 7345 0 0 0 39990 103 0 0 20 0 1 0 199940600 130969600 22292 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 31975 22292 1462 291 0 23509 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 127900 KiB
Current children cumulated memory: 89168 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/244 1061687
/proc/meminfo: memFree=85994796/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=128560 memory=91736 CPUtime=460.73 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 7537 0 0 0 45958 115 0 0 20 0 1 0 199940600 131645440 22934 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 32140 22934 1462 291 0 23674 0
################
# More data... #
################
Current children cumulated memory: 138588 KiB
[startup+2862.3 s]
/proc/loadavg: 2.12 2.14 2.68 3/230 1063418
/proc/meminfo: memFree=123369204/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=192928 memory=138588 CPUtime=2852.87 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15159 0 0 0 284924 363 0 0 20 0 1 0 199940600 197558272 34647 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48232 34647 1462 291 0 39766 0
Current children cumulated CPU time: 2852.87 s
Current children cumulated vsize: 192928 KiB
Current children cumulated memory: 138588 KiB
[startup+2922.3 s]
/proc/loadavg: 2.04 2.12 2.63 3/227 1063429
/proc/meminfo: memFree=123363684/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=192928 memory=138588 CPUtime=2912.67 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15223 0 0 0 290900 367 0 0 20 0 1 0 199940600 197558272 34647 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48232 34647 1462 291 0 39766 0
Current children cumulated CPU time: 2912.67 s
Current children cumulated vsize: 192928 KiB
Current children cumulated memory: 138588 KiB
[startup+2982.3 s]
/proc/loadavg: 2.18 2.14 2.61 3/227 1063439
/proc/meminfo: memFree=123187156/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193152 memory=138804 CPUtime=2972.47 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15407 0 0 0 296876 371 0 0 20 0 1 0 199940600 197787648 34701 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48288 34701 1462 291 0 39822 0
Current children cumulated CPU time: 2972.47 s
Current children cumulated vsize: 193152 KiB
Current children cumulated memory: 138804 KiB
[startup+3042.3 s]
/proc/loadavg: 2.34 2.18 2.59 3/227 1063450
/proc/meminfo: memFree=123158652/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193152 memory=138804 CPUtime=3032.27 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15469 0 0 0 302851 376 0 0 20 0 1 0 199940600 197787648 34701 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48288 34701 1462 291 0 39822 0
Current children cumulated CPU time: 3032.27 s
Current children cumulated vsize: 193152 KiB
Current children cumulated memory: 138804 KiB
[startup+3102.3 s]
/proc/loadavg: 2.65 2.31 2.62 3/227 1063460
/proc/meminfo: memFree=123125328/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193152 memory=138804 CPUtime=3092.06 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15600 0 0 0 308826 380 0 0 20 0 1 0 199940600 197787648 34701 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48288 34701 1462 291 0 39822 0
Current children cumulated CPU time: 3092.06 s
Current children cumulated vsize: 193152 KiB
Current children cumulated memory: 138804 KiB
[startup+3162.3 s]
/proc/loadavg: 2.30 2.27 2.58 3/227 1063471
/proc/meminfo: memFree=122996568/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193152 memory=138804 CPUtime=3151.85 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15661 0 0 0 314801 384 0 0 20 0 1 0 199940600 197787648 34701 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48288 34701 1462 291 0 39822 0
Current children cumulated CPU time: 3151.85 s
Current children cumulated vsize: 193152 KiB
Current children cumulated memory: 138804 KiB
[startup+3222.3 s]
/proc/loadavg: 2.21 2.25 2.55 3/230 1063486
/proc/meminfo: memFree=122923292/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193476 memory=139136 CPUtime=3211.64 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15927 0 0 0 320775 389 0 0 20 0 1 0 199940600 198119424 34784 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48369 34784 1462 291 0 39903 0
Current children cumulated CPU time: 3211.64 s
Current children cumulated vsize: 193476 KiB
Current children cumulated memory: 139136 KiB
[startup+3282.3 s]
/proc/loadavg: 2.19 2.23 2.53 3/230 1063496
/proc/meminfo: memFree=122914532/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193476 memory=139136 CPUtime=3271.45 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 15977 0 0 0 326752 393 0 0 20 0 1 0 199940600 198119424 34784 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48369 34784 1462 291 0 39903 0
Current children cumulated CPU time: 3271.45 s
Current children cumulated vsize: 193476 KiB
Current children cumulated memory: 139136 KiB
[startup+3342.3 s]
/proc/loadavg: 2.13 2.20 2.50 3/230 1063507
/proc/meminfo: memFree=122900660/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193476 memory=139144 CPUtime=3331.24 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 16048 0 0 0 332727 397 0 0 20 0 1 0 199940600 198119424 34786 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48369 34786 1462 291 0 39903 0
Current children cumulated CPU time: 3331.24 s
Current children cumulated vsize: 193476 KiB
Current children cumulated memory: 139144 KiB
[startup+3402.3 s]
/proc/loadavg: 2.09 2.18 2.47 3/230 1063517
/proc/meminfo: memFree=122840800/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193476 memory=139152 CPUtime=3391.04 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 16209 0 0 0 338703 401 0 0 20 0 1 0 199940600 198119424 34788 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48369 34788 1462 291 0 39903 0
Current children cumulated CPU time: 3391.04 s
Current children cumulated vsize: 193476 KiB
Current children cumulated memory: 139152 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.17 2.45 3/231 1063529
/proc/meminfo: memFree=122762436/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193476 memory=139156 CPUtime=3450.83 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 16276 0 0 0 344679 404 0 0 20 0 1 0 199940600 198119424 34789 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48369 34789 1462 291 0 39903 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 193476 KiB
Current children cumulated memory: 139156 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.16 2.42 3/228 1063541
/proc/meminfo: memFree=122720772/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193480 memory=139180 CPUtime=3510.63 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 16441 0 0 0 350655 408 0 0 20 0 1 0 199940600 198123520 34795 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48370 34795 1462 291 0 39904 0
Current children cumulated CPU time: 3510.63 s
Current children cumulated vsize: 193480 KiB
Current children cumulated memory: 139180 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.16 2.41 3/228 1063551
/proc/meminfo: memFree=122672756/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193480 memory=139180 CPUtime=3570.42 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 16504 0 0 0 356631 411 0 0 20 0 1 0 199940600 198123520 34795 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48370 34795 1462 291 0 39904 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 193480 KiB
Current children cumulated memory: 139180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 2.09 2.14 2.39 3/228 1063556
/proc/meminfo: memFree=122651436/131655788 swapFree=131071996/131071996
[pid=1061602] ppid=1061599 vsize=193480 memory=139180 CPUtime=3600.03 cores=0,2
/proc/1061602/stat : 1061602 (pb-oll-rs) R 1061599 1061602 1056029 0 -1 4194304 16509 0 0 0 359590 413 0 0 20 0 1 0 199940600 198123520 34795 134679101440 4194304 5384485 140730517731056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32325632 140730517734421 140730517734498 140730517734498 140730517741515 0
/proc/1061602/statm: 48370 34795 1462 291 0 39904 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 193480 KiB
Current children cumulated memory: 139180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 1061602 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.91 s, system=4.13487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.05
CPU user time (s): 3595.91
CPU system time (s): 4.13487
CPU usage (%): 99.6686
Max. virtual memory (cumulated for all children) (KiB): 193480
Max. memory (cumulated for all children) (KiB): 139180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.91
system time used= 4.13487
maximum resident set size= 139468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 24653
# summary of solver processes directly reported to runsolver:
# pid: 1061602
# total CPU time (s): 3600.05
# total CPU user time (s): 3595.91
# total CPU system time (s): 4.13487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8754 second user time and 33.5263 second system time
The end
Begin job on nodeC006 at 2024-07-20 14:17:11
IDJOB=4454589
IDBENCH=158466
IDSOLVER=3082
FILE ID=nodeC006/4454589-1721477819
RUNJOBID= nodeC006-1721468658-1056039
SLURM_JOB_ID= 7545725
Free space on /tmp= 723240 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454589-1721477819/watcher-4454589-1721477819 -o /tmp/evaluation-result-4454589-1721477819/solver-4454589-1721477819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056039 --watchdog 3760 pb-oll-rs HOME/instance-4454589-1721477819.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05
RANDOM SEED=607258040
nodeC006.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 : 0xb00001f
cpu MHz : 3491.985
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 3556.182
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.258
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 3491.971
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 3588.182
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.403
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 91965704 kB
MemAvailable: 93503848 kB
Buffers: 573064 kB
Cached: 1799092 kB
SwapCached: 0 kB
Active: 1613620 kB
Inactive: 37419592 kB
Active(anon): 1476 kB
Inactive(anon): 36705180 kB
Active(file): 1612144 kB
Inactive(file): 714412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1816 kB
Writeback: 0 kB
AnonPages: 36660512 kB
Mapped: 111072 kB
Shmem: 45896 kB
KReclaimable: 103240 kB
Slab: 207852 kB
SReclaimable: 103240 kB
SUnreclaim: 104612 kB
KernelStack: 3936 kB
PageTables: 82960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 40599812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62880 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10315776 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC006 at 2024-07-20 15:17:23