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.09/0.17 c [STEP] solving
0.09/0.17 c #variables 2025 #constraints 62275
0.09/0.17 c SMALL=int, LARGE=long long
0.09/0.17 c bounds - >= -341 @ 0.127281
0.09/0.17 c stratification level: 3
0.09/0.17 c bounds - >= -313 @ 0.128076
0.09/0.17 c bounds - >= -310 @ 0.128215
0.09/0.17 c bounds - >= -307 @ 0.128278
0.09/0.17 c bounds - >= -304 @ 0.128386
0.09/0.17 c bounds - >= -301 @ 0.128454
0.09/0.17 c bounds - >= -298 @ 0.128519
0.09/0.17 c bounds - >= -294 @ 0.128578
0.09/0.17 c bounds - >= -291 @ 0.128616
0.09/0.17 c bounds - >= -288 @ 0.128677
0.09/0.17 c bounds - >= -285 @ 0.128759
0.09/0.17 c bounds - >= -282 @ 0.128911
0.09/0.17 c bounds - >= -279 @ 0.129019
0.09/0.17 c bounds - >= -276 @ 0.12907
0.09/0.17 c bounds - >= -273 @ 0.129124
0.09/0.17 c bounds - >= -270 @ 0.129208
0.09/0.17 c bounds - >= -267 @ 0.12934
0.09/0.17 c bounds - >= -264 @ 0.129402
0.09/0.17 c finalizing WCE round: reformulating cores
0.09/0.20 c bounds -112 >= -264 @ 0.149016
0.09/0.20 c bounds -112 >= -261 @ 0.150003
0.09/0.20 c finalizing WCE round: reformulating cores
0.09/0.20 c bounds -128 >= -261 @ 0.151579
0.09/0.20 c bounds -130 >= -261 @ 0.152451
0.09/0.20 c stratification level: 2
0.09/0.20 c bounds -130 >= -249 @ 0.153428
0.09/0.20 c bounds -130 >= -247 @ 0.153532
0.09/0.20 c bounds -130 >= -245 @ 0.153709
0.09/0.20 c bounds -130 >= -243 @ 0.153795
0.09/0.20 c bounds -130 >= -241 @ 0.153928
0.09/0.20 c bounds -130 >= -239 @ 0.153992
0.09/0.20 c bounds -130 >= -237 @ 0.154061
0.09/0.20 c bounds -130 >= -235 @ 0.154248
0.09/0.20 c bounds -130 >= -233 @ 0.154317
0.09/0.20 c bounds -130 >= -231 @ 0.154467
0.09/0.20 c finalizing WCE round: reformulating cores
0.39/0.42 c #Conflicts: 1000 | #Constraints: 63415
0.39/0.42 c #Conflicts: 2000 | #Constraints: 64420
0.39/0.42 c INPROCESSING
0.39/0.42 c bounds -145 >= -228 @ 0.354166
0.39/0.42 c bounds -145 >= -226 @ 0.354543
0.39/0.42 c bounds -145 >= -224 @ 0.355763
0.39/0.42 c finalizing WCE round: reformulating cores
0.49/0.52 c #Conflicts: 3000 | #Constraints: 64387
0.49/0.52 c bounds -150 >= -224 @ 0.455296
0.49/0.52 c bounds -150 >= -222 @ 0.458742
0.49/0.52 c finalizing WCE round: reformulating cores
0.49/0.52 c bounds -156 >= -222 @ 0.462526
0.49/0.52 c bounds -157 >= -222 @ 0.463438
0.49/0.52 c stratification level: 1
0.68/0.73 c bounds -157 >= -214 @ 0.464225
0.68/0.73 c bounds -157 >= -213 @ 0.464397
0.68/0.73 c bounds -157 >= -212 @ 0.464635
0.68/0.73 c bounds -157 >= -211 @ 0.464757
0.68/0.73 c bounds -157 >= -210 @ 0.464757
0.68/0.73 c bounds -157 >= -209 @ 0.464757
0.68/0.73 c bounds -157 >= -208 @ 0.464757
0.68/0.73 c bounds -157 >= -207 @ 0.464757
0.68/0.73 c bounds -157 >= -206 @ 0.465009
0.68/0.73 c bounds -157 >= -205 @ 0.465242
0.68/0.73 c bounds -157 >= -204 @ 0.465705
0.68/0.73 c bounds -157 >= -203 @ 0.46645
0.68/0.73 c bounds -157 >= -202 @ 0.467415
0.68/0.73 c bounds -157 >= -201 @ 0.468975
0.68/0.73 c bounds -157 >= -200 @ 0.473675
0.68/0.73 c bounds -157 >= -199 @ 0.485704
0.68/0.73 c #Conflicts: 4000 | #Constraints: 65584
0.68/0.73 c INPROCESSING
0.68/0.73 c GARBAGE COLLECT
0.68/0.73 c #Conflicts: 5000 | #Constraints: 64951
0.68/0.73 c finalizing WCE round: reformulating cores
10.06/10.12 c #Conflicts: 6000 | #Constraints: 65956
10.06/10.12 c INPROCESSING
10.06/10.12 c #Conflicts: 7000 | #Constraints: 64940
10.06/10.12 c #Conflicts: 8000 | #Constraints: 65942
10.06/10.12 c #Conflicts: 9000 | #Constraints: 66946
10.06/10.12 c bounds -158 >= -210 @ 1.0043
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 10000 | #Constraints: 65643
10.06/10.12 c #Conflicts: 11000 | #Constraints: 66645
10.06/10.12 c bounds -158 >= -207 @ 1.25483
10.06/10.12 c #Conflicts: 12000 | #Constraints: 67647
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c bounds -158 >= -205 @ 1.42037
10.06/10.12 c bounds -158 >= -205 @ 1.44476
10.06/10.12 c #Conflicts: 13000 | #Constraints: 66004
10.06/10.12 c #Conflicts: 14000 | #Constraints: 67006
10.06/10.12 c bounds -158 >= -202 @ 1.60679
10.06/10.12 c #Conflicts: 15000 | #Constraints: 68008
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 16000 | #Constraints: 66177
10.06/10.12 c bounds -158 >= -199 @ 1.92082
10.06/10.12 c #Conflicts: 17000 | #Constraints: 67181
10.06/10.12 c bounds -158 >= -197 @ 2.07328
10.06/10.12 c bounds -158 >= -197 @ 2.09853
10.06/10.12 c #Conflicts: 18000 | #Constraints: 68187
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c bounds -159 >= -194 @ 2.20439
10.06/10.12 c bounds -160 >= -192 @ 2.22509
10.06/10.12 c bounds -160 >= -192 @ 2.27075
10.06/10.12 c #Conflicts: 19000 | #Constraints: 66187
10.06/10.12 c bounds -160 >= -189 @ 2.44674
10.06/10.12 c #Conflicts: 20000 | #Constraints: 67191
10.06/10.12 c #Conflicts: 21000 | #Constraints: 68193
10.06/10.12 c bounds -160 >= -187 @ 2.68378
10.06/10.12 c bounds -160 >= -185 @ 2.68457
10.06/10.12 c bounds -160 >= -184 @ 2.68622
10.06/10.12 c bounds -160 >= -183 @ 2.69228
10.06/10.12 c bounds -160 >= -182 @ 2.71686
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 22000 | #Constraints: 65931
10.06/10.12 c bounds -160 >= -181 @ 2.95779
10.06/10.12 c #Conflicts: 23000 | #Constraints: 66965
10.06/10.12 c #Conflicts: 24000 | #Constraints: 67965
10.06/10.12 c #Conflicts: 25000 | #Constraints: 68965
10.06/10.12 c INPROCESSING
10.06/10.12 c #Conflicts: 26000 | #Constraints: 66735
10.06/10.12 c #Conflicts: 27000 | #Constraints: 67735
10.06/10.12 c #Conflicts: 28000 | #Constraints: 68735
10.06/10.12 c #Conflicts: 29000 | #Constraints: 69735
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 30000 | #Constraints: 67220
10.06/10.12 c #Conflicts: 31000 | #Constraints: 68220
10.06/10.12 c #Conflicts: 32000 | #Constraints: 69220
10.06/10.12 c #Conflicts: 33000 | #Constraints: 70220
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 34000 | #Constraints: 67449
10.06/10.12 c #Conflicts: 35000 | #Constraints: 68449
10.06/10.12 c #Conflicts: 36000 | #Constraints: 69449
10.06/10.12 c #Conflicts: 37000 | #Constraints: 70449
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 38000 | #Constraints: 67454
10.06/10.12 c #Conflicts: 39000 | #Constraints: 68454
10.06/10.12 c #Conflicts: 40000 | #Constraints: 69454
10.06/10.12 c bounds -160 >= -180 @ 7.20352
10.06/10.12 c #Conflicts: 41000 | #Constraints: 70485
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 42000 | #Constraints: 67290
10.06/10.12 c #Conflicts: 43000 | #Constraints: 68290
10.06/10.12 c #Conflicts: 44000 | #Constraints: 69290
10.06/10.12 c #Conflicts: 45000 | #Constraints: 70290
10.06/10.12 c #Conflicts: 46000 | #Constraints: 71290
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c #Conflicts: 47000 | #Constraints: 67900
10.06/10.12 c #Conflicts: 48000 | #Constraints: 68900
10.06/10.12 c #Conflicts: 49000 | #Constraints: 69900
10.06/10.12 c finalizing WCE round: reformulating cores
32.50/32.66 c #Conflicts: 50000 | #Constraints: 70903
32.50/32.66 c bounds -161 >= -184 @ 9.98279
32.50/32.66 c #Conflicts: 51000 | #Constraints: 71907
32.50/32.66 c bounds -161 >= -182 @ 10.1704
32.50/32.66 c bounds -161 >= -182 @ 10.2479
32.50/32.66 c #Conflicts: 52000 | #Constraints: 72913
32.50/32.66 c bounds -161 >= -182 @ 10.4454
32.50/32.66 c #Conflicts: 53000 | #Constraints: 73915
32.50/32.66 c bounds -161 >= -178 @ 10.9137
32.50/32.66 c #Conflicts: 54000 | #Constraints: 74919
32.50/32.66 c #Conflicts: 55000 | #Constraints: 75921
32.50/32.66 c bounds -161 >= -175 @ 11.8649
32.50/32.66 c bounds -161 >= -174 @ 11.8697
32.50/32.66 c #Conflicts: 56000 | #Constraints: 76945
32.50/32.66 c #Conflicts: 57000 | #Constraints: 77945
32.50/32.66 c #Conflicts: 58000 | #Constraints: 78945
32.50/32.66 c #Conflicts: 59000 | #Constraints: 79945
32.50/32.66 c bounds -161 >= -173 @ 13.2324
32.50/32.66 c #Conflicts: 60000 | #Constraints: 80982
32.50/32.66 c #Conflicts: 61000 | #Constraints: 81982
32.50/32.66 c #Conflicts: 62000 | #Constraints: 82982
32.50/32.66 c #Conflicts: 63000 | #Constraints: 83982
32.50/32.66 c #Conflicts: 64000 | #Constraints: 84982
32.50/32.66 c INPROCESSING
32.50/32.66 c GARBAGE COLLECT
32.50/32.66 c #Conflicts: 65000 | #Constraints: 74060
32.50/32.66 c #Conflicts: 66000 | #Constraints: 75060
32.50/32.66 c bounds -161 >= -172 @ 16.7897
32.50/32.66 c #Conflicts: 67000 | #Constraints: 76085
32.50/32.66 c #Conflicts: 68000 | #Constraints: 77085
32.50/32.66 c #Conflicts: 69000 | #Constraints: 78085
32.50/32.66 c #Conflicts: 70000 | #Constraints: 79085
32.50/32.66 c INPROCESSING
32.50/32.66 c GARBAGE COLLECT
32.50/32.66 c #Conflicts: 71000 | #Constraints: 71734
32.50/32.66 c #Conflicts: 72000 | #Constraints: 72734
32.50/32.66 c #Conflicts: 73000 | #Constraints: 73734
32.50/32.66 c #Conflicts: 74000 | #Constraints: 74734
32.50/32.66 c #Conflicts: 75000 | #Constraints: 75734
32.50/32.66 c #Conflicts: 76000 | #Constraints: 76734
32.50/32.66 c INPROCESSING
32.50/32.66 c GARBAGE COLLECT
32.50/32.66 c #Conflicts: 77000 | #Constraints: 70515
32.50/32.66 c #Conflicts: 78000 | #Constraints: 71515
32.50/32.66 c #Conflicts: 79000 | #Constraints: 72515
32.50/32.66 c #Conflicts: 80000 | #Constraints: 73515
32.50/32.66 c #Conflicts: 81000 | #Constraints: 74515
32.50/32.66 c #Conflicts: 82000 | #Constraints: 75515
32.50/32.66 c #Conflicts: 83000 | #Constraints: 76515
32.50/32.66 c #Conflicts: 84000 | #Constraints: 77515
32.50/32.66 c #Conflicts: 85000 | #Constraints: 78515
32.50/32.66 c #Conflicts: 86000 | #Constraints: 79515
32.50/32.66 c #Conflicts: 87000 | #Constraints: 80515
32.50/32.66 c bounds -161 >= -171 @ 27.0015
32.50/32.66 c #Conflicts: 88000 | #Constraints: 81543
32.50/32.66 c #Conflicts: 89000 | #Constraints: 82543
32.50/32.66 c #Conflicts: 90000 | #Constraints: 83543
32.50/32.66 c #Conflicts: 91000 | #Constraints: 84543
32.50/32.66 c #Conflicts: 92000 | #Constraints: 85543
32.50/32.66 c #Conflicts: 93000 | #Constraints: 86543
32.50/32.66 c #Conflicts: 94000 | #Constraints: 87543
32.50/32.66 c #Conflicts: 95000 | #Constraints: 88543
32.50/32.66 c finalizing WCE round: reformulating cores
93.64/93.94 c bounds -162 >= -174 @ 32.4578
93.64/93.94 c #Conflicts: 96000 | #Constraints: 89548
93.64/93.94 c #Conflicts: 97000 | #Constraints: 90552
93.64/93.94 c #Conflicts: 98000 | #Constraints: 91554
93.64/93.94 c bounds -162 >= -170 @ 34.7927
93.64/93.94 c bounds -162 >= -169 @ 35.1253
93.64/93.94 c #Conflicts: 99000 | #Constraints: 92597
93.64/93.94 c INPROCESSING
93.64/93.94 c GARBAGE COLLECT
93.64/93.94 c #Conflicts: 100000 | #Constraints: 78616
93.64/93.94 c #Conflicts: 101000 | #Constraints: 79616
93.64/93.94 c #Conflicts: 102000 | #Constraints: 80616
93.64/93.94 c #Conflicts: 103000 | #Constraints: 81616
93.64/93.94 c #Conflicts: 104000 | #Constraints: 82616
93.64/93.94 c bounds -162 >= -168 @ 38.8961
93.64/93.94 c #Conflicts: 105000 | #Constraints: 83632
93.64/93.94 c #Conflicts: 106000 | #Constraints: 84632
93.64/93.94 c INPROCESSING
93.64/93.94 c GARBAGE COLLECT
93.64/93.94 c #Conflicts: 107000 | #Constraints: 74540
93.64/93.94 c #Conflicts: 108000 | #Constraints: 75540
93.64/93.94 c #Conflicts: 109000 | #Constraints: 76540
93.64/93.94 c #Conflicts: 110000 | #Constraints: 77540
93.64/93.94 c #Conflicts: 111000 | #Constraints: 78540
93.64/93.94 c #Conflicts: 112000 | #Constraints: 79540
93.64/93.94 c #Conflicts: 113000 | #Constraints: 80540
93.64/93.94 c #Conflicts: 114000 | #Constraints: 81540
93.64/93.94 c INPROCESSING
93.64/93.94 c GARBAGE COLLECT
93.64/93.94 c #Conflicts: 115000 | #Constraints: 73195
93.64/93.94 c #Conflicts: 116000 | #Constraints: 74195
93.64/93.94 c #Conflicts: 117000 | #Constraints: 75195
93.64/93.94 c #Conflicts: 118000 | #Constraints: 76195
93.64/93.94 c #Conflicts: 119000 | #Constraints: 77195
93.64/93.94 c #Conflicts: 120000 | #Constraints: 78195
93.64/93.94 c #Conflicts: 121000 | #Constraints: 79195
93.64/93.94 c #Conflicts: 122000 | #Constraints: 80195
93.64/93.94 c #Conflicts: 123000 | #Constraints: 81195
93.64/93.94 c #Conflicts: 124000 | #Constraints: 82195
93.64/93.94 c #Conflicts: 125000 | #Constraints: 83195
93.64/93.94 c #Conflicts: 126000 | #Constraints: 84195
93.64/93.94 c #Conflicts: 127000 | #Constraints: 85195
93.64/93.94 c #Conflicts: 128000 | #Constraints: 86195
93.64/93.94 c #Conflicts: 129000 | #Constraints: 87195
93.64/93.94 c #Conflicts: 130000 | #Constraints: 88195
93.64/93.94 c #Conflicts: 131000 | #Constraints: 89195
93.64/93.94 c #Conflicts: 132000 | #Constraints: 90195
93.64/93.94 c #Conflicts: 133000 | #Constraints: 91195
93.64/93.94 c #Conflicts: 134000 | #Constraints: 92195
93.64/93.94 c #Conflicts: 135000 | #Constraints: 93195
93.64/93.94 c #Conflicts: 136000 | #Constraints: 94195
93.64/93.94 c #Conflicts: 137000 | #Constraints: 95195
93.64/93.94 c #Conflicts: 138000 | #Constraints: 96195
93.64/93.94 c #Conflicts: 139000 | #Constraints: 97195
93.64/93.94 c bounds -162 >= -167 @ 68.5239
93.64/93.94 c #Conflicts: 140000 | #Constraints: 98217
93.64/93.94 c INPROCESSING
93.64/93.94 c GARBAGE COLLECT
93.64/93.94 c #Conflicts: 141000 | #Constraints: 81162
93.64/93.94 c #Conflicts: 142000 | #Constraints: 82162
93.64/93.94 c #Conflicts: 143000 | #Constraints: 83162
93.64/93.94 c #Conflicts: 144000 | #Constraints: 84162
93.64/93.94 c #Conflicts: 145000 | #Constraints: 85162
93.64/93.94 c #Conflicts: 146000 | #Constraints: 86162
93.64/93.94 c #Conflicts: 147000 | #Constraints: 87162
93.64/93.94 c #Conflicts: 148000 | #Constraints: 88162
93.64/93.94 c #Conflicts: 149000 | #Constraints: 89162
93.64/93.94 c INPROCESSING
93.64/93.94 c GARBAGE COLLECT
93.64/93.94 c #Conflicts: 150000 | #Constraints: 76709
93.64/93.94 c #Conflicts: 151000 | #Constraints: 77709
93.64/93.94 c #Conflicts: 152000 | #Constraints: 78709
93.64/93.94 c #Conflicts: 153000 | #Constraints: 79709
93.64/93.94 c #Conflicts: 154000 | #Constraints: 80709
93.64/93.94 c #Conflicts: 155000 | #Constraints: 81709
93.64/93.94 c #Conflicts: 156000 | #Constraints: 82709
93.64/93.94 c #Conflicts: 157000 | #Constraints: 83709
93.64/93.94 c #Conflicts: 158000 | #Constraints: 84709
93.64/93.94 c INPROCESSING
93.64/93.94 c GARBAGE COLLECT
93.64/93.94 c #Conflicts: 159000 | #Constraints: 74419
93.64/93.94 c #Conflicts: 160000 | #Constraints: 75419
93.64/93.94 c #Conflicts: 161000 | #Constraints: 76419
93.64/93.94 c #Conflicts: 162000 | #Constraints: 77419
93.64/93.94 c #Conflicts: 163000 | #Constraints: 78419
93.64/93.94 c #Conflicts: 164000 | #Constraints: 79419
93.64/93.94 c #Conflicts: 165000 | #Constraints: 80419
93.64/93.94 c #Conflicts: 166000 | #Constraints: 81419
93.64/93.94 c #Conflicts: 167000 | #Constraints: 82419
217.89/218.50 c #Conflicts: 168000 | #Constraints: 83419
217.89/218.50 c #Conflicts: 169000 | #Constraints: 84419
217.89/218.50 c #Conflicts: 170000 | #Constraints: 85419
217.89/218.50 c #Conflicts: 171000 | #Constraints: 86419
217.89/218.50 c #Conflicts: 172000 | #Constraints: 87419
217.89/218.50 c #Conflicts: 173000 | #Constraints: 88419
217.89/218.50 c #Conflicts: 174000 | #Constraints: 89419
217.89/218.50 c #Conflicts: 175000 | #Constraints: 90419
217.89/218.50 c #Conflicts: 176000 | #Constraints: 91419
217.89/218.50 c #Conflicts: 177000 | #Constraints: 92419
217.89/218.50 c #Conflicts: 178000 | #Constraints: 93419
217.89/218.50 c #Conflicts: 179000 | #Constraints: 94419
217.89/218.50 c #Conflicts: 180000 | #Constraints: 95419
217.89/218.50 c #Conflicts: 181000 | #Constraints: 96419
217.89/218.50 c #Conflicts: 182000 | #Constraints: 97419
217.89/218.50 c #Conflicts: 183000 | #Constraints: 98419
217.89/218.50 c #Conflicts: 184000 | #Constraints: 99419
217.89/218.50 c #Conflicts: 185000 | #Constraints: 100419
217.89/218.50 c #Conflicts: 186000 | #Constraints: 101419
217.89/218.50 c #Conflicts: 187000 | #Constraints: 102419
217.89/218.50 c #Conflicts: 188000 | #Constraints: 103419
217.89/218.50 c #Conflicts: 189000 | #Constraints: 104419
217.89/218.50 c INPROCESSING
217.89/218.50 c GARBAGE COLLECT
217.89/218.50 c #Conflicts: 190000 | #Constraints: 84331
217.89/218.50 c #Conflicts: 191000 | #Constraints: 85331
217.89/218.50 c #Conflicts: 192000 | #Constraints: 86331
217.89/218.50 c #Conflicts: 193000 | #Constraints: 87331
217.89/218.50 c #Conflicts: 194000 | #Constraints: 88331
217.89/218.50 c #Conflicts: 195000 | #Constraints: 89331
217.89/218.50 c #Conflicts: 196000 | #Constraints: 90331
217.89/218.50 c #Conflicts: 197000 | #Constraints: 91331
217.89/218.50 c #Conflicts: 198000 | #Constraints: 92331
217.89/218.50 c #Conflicts: 199000 | #Constraints: 93331
217.89/218.50 c #Conflicts: 200000 | #Constraints: 94331
217.89/218.50 c INPROCESSING
217.89/218.50 c GARBAGE COLLECT
217.89/218.50 c #Conflicts: 201000 | #Constraints: 79585
217.89/218.50 c #Conflicts: 202000 | #Constraints: 80585
217.89/218.50 c #Conflicts: 203000 | #Constraints: 81585
217.89/218.50 c #Conflicts: 204000 | #Constraints: 82585
217.89/218.50 c #Conflicts: 205000 | #Constraints: 83585
217.89/218.50 c #Conflicts: 206000 | #Constraints: 84585
217.89/218.50 c #Conflicts: 207000 | #Constraints: 85585
217.89/218.50 c #Conflicts: 208000 | #Constraints: 86585
217.89/218.50 c #Conflicts: 209000 | #Constraints: 87585
217.89/218.50 c #Conflicts: 210000 | #Constraints: 88585
217.89/218.50 c INPROCESSING
217.89/218.50 c GARBAGE COLLECT
217.89/218.50 c #Conflicts: 211000 | #Constraints: 76417
217.89/218.50 c #Conflicts: 212000 | #Constraints: 77417
217.89/218.50 c #Conflicts: 213000 | #Constraints: 78417
217.89/218.50 c #Conflicts: 214000 | #Constraints: 79417
217.89/218.50 c #Conflicts: 215000 | #Constraints: 80417
217.89/218.50 c #Conflicts: 216000 | #Constraints: 81417
217.89/218.50 c #Conflicts: 217000 | #Constraints: 82417
217.89/218.50 c #Conflicts: 218000 | #Constraints: 83417
217.89/218.50 c #Conflicts: 219000 | #Constraints: 84417
217.89/218.50 c #Conflicts: 220000 | #Constraints: 85417
217.89/218.50 c #Conflicts: 221000 | #Constraints: 86417
217.89/218.50 c #Conflicts: 222000 | #Constraints: 87417
217.89/218.50 c #Conflicts: 223000 | #Constraints: 88417
217.89/218.50 c #Conflicts: 224000 | #Constraints: 89417
217.89/218.50 c #Conflicts: 225000 | #Constraints: 90417
217.89/218.50 c #Conflicts: 226000 | #Constraints: 91417
217.89/218.50 c #Conflicts: 227000 | #Constraints: 92417
217.89/218.50 c #Conflicts: 228000 | #Constraints: 93417
217.89/218.50 c #Conflicts: 229000 | #Constraints: 94417
217.89/218.50 c #Conflicts: 230000 | #Constraints: 95417
217.89/218.50 c #Conflicts: 231000 | #Constraints: 96417
217.89/218.50 c #Conflicts: 232000 | #Constraints: 97417
217.89/218.50 c #Conflicts: 233000 | #Constraints: 98417
217.89/218.50 c #Conflicts: 234000 | #Constraints: 99417
217.89/218.50 c #Conflicts: 235000 | #Constraints: 100417
217.89/218.50 c #Conflicts: 236000 | #Constraints: 101417
217.89/218.50 c #Conflicts: 237000 | #Constraints: 102417
217.89/218.50 c #Conflicts: 238000 | #Constraints: 103417
217.89/218.50 c #Conflicts: 239000 | #Constraints: 104417
217.89/218.50 c #Conflicts: 240000 | #Constraints: 105417
217.89/218.50 c #Conflicts: 241000 | #Constraints: 106417
217.89/218.50 c #Conflicts: 242000 | #Constraints: 107417
217.89/218.50 c #Conflicts: 243000 | #Constraints: 108417
217.89/218.50 c #Conflicts: 244000 | #Constraints: 109417
410.07/411.24 c #Conflicts: 245000 | #Constraints: 110417
410.07/411.24 c INPROCESSING
410.07/411.24 c GARBAGE COLLECT
410.07/411.24 c #Conflicts: 246000 | #Constraints: 87303
410.07/411.24 c #Conflicts: 247000 | #Constraints: 88303
410.07/411.24 c #Conflicts: 248000 | #Constraints: 89303
410.07/411.24 c #Conflicts: 249000 | #Constraints: 90303
410.07/411.24 c #Conflicts: 250000 | #Constraints: 91303
410.07/411.24 c #Conflicts: 251000 | #Constraints: 92303
410.07/411.24 c #Conflicts: 252000 | #Constraints: 93303
410.07/411.24 c #Conflicts: 253000 | #Constraints: 94303
410.07/411.24 c #Conflicts: 254000 | #Constraints: 95303
410.07/411.24 c #Conflicts: 255000 | #Constraints: 96303
410.07/411.24 c #Conflicts: 256000 | #Constraints: 97303
410.07/411.24 c #Conflicts: 257000 | #Constraints: 98303
410.07/411.24 c INPROCESSING
410.07/411.24 c GARBAGE COLLECT
410.07/411.24 c #Conflicts: 258000 | #Constraints: 81284
410.07/411.24 c #Conflicts: 259000 | #Constraints: 82284
410.07/411.24 c #Conflicts: 260000 | #Constraints: 83284
410.07/411.24 c #Conflicts: 261000 | #Constraints: 84284
410.07/411.24 c #Conflicts: 262000 | #Constraints: 85284
410.07/411.24 c #Conflicts: 263000 | #Constraints: 86284
410.07/411.24 c #Conflicts: 264000 | #Constraints: 87284
410.07/411.24 c #Conflicts: 265000 | #Constraints: 88284
410.07/411.24 c #Conflicts: 266000 | #Constraints: 89284
410.07/411.24 c #Conflicts: 267000 | #Constraints: 90284
410.07/411.24 c #Conflicts: 268000 | #Constraints: 91284
410.07/411.24 c #Conflicts: 269000 | #Constraints: 92284
410.07/411.24 c INPROCESSING
410.07/411.24 c GARBAGE COLLECT
410.07/411.24 c #Conflicts: 270000 | #Constraints: 78588
410.07/411.24 c #Conflicts: 271000 | #Constraints: 79588
410.07/411.24 c #Conflicts: 272000 | #Constraints: 80588
410.07/411.24 c #Conflicts: 273000 | #Constraints: 81588
410.07/411.24 c #Conflicts: 274000 | #Constraints: 82588
410.07/411.24 c #Conflicts: 275000 | #Constraints: 83588
410.07/411.24 c #Conflicts: 276000 | #Constraints: 84588
410.07/411.24 c #Conflicts: 277000 | #Constraints: 85588
410.07/411.24 c #Conflicts: 278000 | #Constraints: 86588
410.07/411.24 c #Conflicts: 279000 | #Constraints: 87588
410.07/411.24 c #Conflicts: 280000 | #Constraints: 88588
410.07/411.24 c #Conflicts: 281000 | #Constraints: 89588
410.07/411.24 c #Conflicts: 282000 | #Constraints: 90588
410.07/411.24 c #Conflicts: 283000 | #Constraints: 91588
410.07/411.24 c #Conflicts: 284000 | #Constraints: 92588
410.07/411.24 c #Conflicts: 285000 | #Constraints: 93588
410.07/411.24 c #Conflicts: 286000 | #Constraints: 94588
410.07/411.24 c #Conflicts: 287000 | #Constraints: 95588
410.07/411.24 c #Conflicts: 288000 | #Constraints: 96588
410.07/411.24 c #Conflicts: 289000 | #Constraints: 97588
410.07/411.24 c #Conflicts: 290000 | #Constraints: 98588
410.07/411.24 c #Conflicts: 291000 | #Constraints: 99588
410.07/411.24 c #Conflicts: 292000 | #Constraints: 100588
410.07/411.24 c #Conflicts: 293000 | #Constraints: 101588
410.07/411.24 c #Conflicts: 294000 | #Constraints: 102588
410.07/411.24 c #Conflicts: 295000 | #Constraints: 103588
410.07/411.24 c #Conflicts: 296000 | #Constraints: 104588
410.07/411.24 c #Conflicts: 297000 | #Constraints: 105588
410.07/411.24 c #Conflicts: 298000 | #Constraints: 106588
410.07/411.24 c #Conflicts: 299000 | #Constraints: 107588
410.07/411.24 c #Conflicts: 300000 | #Constraints: 108588
410.07/411.24 c #Conflicts: 301000 | #Constraints: 109588
410.07/411.24 c #Conflicts: 302000 | #Constraints: 110588
410.07/411.24 c #Conflicts: 303000 | #Constraints: 111588
410.07/411.24 c #Conflicts: 304000 | #Constraints: 112588
410.07/411.24 c #Conflicts: 305000 | #Constraints: 113588
410.07/411.24 c #Conflicts: 306000 | #Constraints: 114588
410.07/411.24 c #Conflicts: 307000 | #Constraints: 115588
410.07/411.24 c #Conflicts: 308000 | #Constraints: 116588
410.07/411.24 c #Conflicts: 309000 | #Constraints: 117588
410.07/411.24 c INPROCESSING
410.07/411.24 c GARBAGE COLLECT
410.07/411.24 c #Conflicts: 310000 | #Constraints: 91240
410.07/411.24 c #Conflicts: 311000 | #Constraints: 92240
410.07/411.24 c #Conflicts: 312000 | #Constraints: 93240
410.07/411.24 c #Conflicts: 313000 | #Constraints: 94240
410.07/411.24 c #Conflicts: 314000 | #Constraints: 95240
410.07/411.24 c #Conflicts: 315000 | #Constraints: 96240
410.07/411.24 c #Conflicts: 316000 | #Constraints: 97240
410.07/411.24 c #Conflicts: 317000 | #Constraints: 98240
410.07/411.24 c #Conflicts: 318000 | #Constraints: 99240
410.07/411.24 c #Conflicts: 319000 | #Constraints: 100240
410.07/411.24 c #Conflicts: 320000 | #Constraints: 101240
579.52/581.15 c #Conflicts: 321000 | #Constraints: 102240
579.52/581.15 c bounds -162 >= -166 @ 413.913
579.52/581.15 c #Conflicts: 322000 | #Constraints: 103280
579.52/581.15 c INPROCESSING
579.52/581.15 c GARBAGE COLLECT
579.52/581.15 c #Conflicts: 323000 | #Constraints: 83870
579.52/581.15 c #Conflicts: 324000 | #Constraints: 84870
579.52/581.15 c #Conflicts: 325000 | #Constraints: 85870
579.52/581.15 c #Conflicts: 326000 | #Constraints: 86870
579.52/581.15 c #Conflicts: 327000 | #Constraints: 87870
579.52/581.15 c #Conflicts: 328000 | #Constraints: 88870
579.52/581.15 c #Conflicts: 329000 | #Constraints: 89870
579.52/581.15 c #Conflicts: 330000 | #Constraints: 90870
579.52/581.15 c #Conflicts: 331000 | #Constraints: 91870
579.52/581.15 c #Conflicts: 332000 | #Constraints: 92870
579.52/581.15 c #Conflicts: 333000 | #Constraints: 93870
579.52/581.15 c #Conflicts: 334000 | #Constraints: 94870
579.52/581.15 c #Conflicts: 335000 | #Constraints: 95870
579.52/581.15 c #Conflicts: 336000 | #Constraints: 96870
579.52/581.15 c INPROCESSING
579.52/581.15 c GARBAGE COLLECT
579.52/581.15 c #Conflicts: 337000 | #Constraints: 82199
579.52/581.15 c #Conflicts: 338000 | #Constraints: 83199
579.52/581.15 c #Conflicts: 339000 | #Constraints: 84199
579.52/581.15 c #Conflicts: 340000 | #Constraints: 85199
579.52/581.15 c #Conflicts: 341000 | #Constraints: 86199
579.52/581.15 c #Conflicts: 342000 | #Constraints: 87199
579.52/581.15 c #Conflicts: 343000 | #Constraints: 88199
579.52/581.15 c #Conflicts: 344000 | #Constraints: 89199
579.52/581.15 c #Conflicts: 345000 | #Constraints: 90199
579.52/581.15 c #Conflicts: 346000 | #Constraints: 91199
579.52/581.15 c #Conflicts: 347000 | #Constraints: 92199
579.52/581.15 c #Conflicts: 348000 | #Constraints: 93199
579.52/581.15 c #Conflicts: 349000 | #Constraints: 94199
579.52/581.15 c #Conflicts: 350000 | #Constraints: 95199
579.52/581.15 c #Conflicts: 351000 | #Constraints: 96199
579.52/581.15 c #Conflicts: 352000 | #Constraints: 97199
579.52/581.15 c #Conflicts: 353000 | #Constraints: 98199
579.52/581.15 c #Conflicts: 354000 | #Constraints: 99199
579.52/581.15 c #Conflicts: 355000 | #Constraints: 100199
579.52/581.15 c #Conflicts: 356000 | #Constraints: 101199
579.52/581.15 c #Conflicts: 357000 | #Constraints: 102199
579.52/581.15 c #Conflicts: 358000 | #Constraints: 103199
579.52/581.15 c #Conflicts: 359000 | #Constraints: 104199
579.52/581.15 c #Conflicts: 360000 | #Constraints: 105199
579.52/581.15 c #Conflicts: 361000 | #Constraints: 106199
579.52/581.15 c #Conflicts: 362000 | #Constraints: 107199
579.52/581.15 c #Conflicts: 363000 | #Constraints: 108199
579.52/581.15 c #Conflicts: 364000 | #Constraints: 109199
579.52/581.15 c #Conflicts: 365000 | #Constraints: 110199
579.52/581.15 c #Conflicts: 366000 | #Constraints: 111199
579.52/581.15 c #Conflicts: 367000 | #Constraints: 112199
579.52/581.15 c #Conflicts: 368000 | #Constraints: 113199
579.52/581.15 c #Conflicts: 369000 | #Constraints: 114199
579.52/581.15 c #Conflicts: 370000 | #Constraints: 115199
579.52/581.15 c #Conflicts: 371000 | #Constraints: 116199
579.52/581.15 c #Conflicts: 372000 | #Constraints: 117199
579.52/581.15 c #Conflicts: 373000 | #Constraints: 118199
579.52/581.15 c #Conflicts: 374000 | #Constraints: 119199
579.52/581.15 c #Conflicts: 375000 | #Constraints: 120199
579.52/581.15 c #Conflicts: 376000 | #Constraints: 121199
579.52/581.15 c #Conflicts: 377000 | #Constraints: 122199
579.52/581.15 c #Conflicts: 378000 | #Constraints: 123199
579.52/581.15 c #Conflicts: 379000 | #Constraints: 124199
579.52/581.15 c INPROCESSING
579.52/581.15 c GARBAGE COLLECT
579.52/581.15 c #Conflicts: 380000 | #Constraints: 94303
579.52/581.15 c #Conflicts: 381000 | #Constraints: 95303
579.52/581.15 c #Conflicts: 382000 | #Constraints: 96303
579.52/581.15 c #Conflicts: 383000 | #Constraints: 97303
579.52/581.15 c #Conflicts: 384000 | #Constraints: 98303
579.52/581.15 c #Conflicts: 385000 | #Constraints: 99303
579.52/581.15 c #Conflicts: 386000 | #Constraints: 100303
579.52/581.15 c #Conflicts: 387000 | #Constraints: 101303
579.52/581.15 c #Conflicts: 388000 | #Constraints: 102303
579.52/581.15 c #Conflicts: 389000 | #Constraints: 103303
579.52/581.15 c #Conflicts: 390000 | #Constraints: 104303
579.52/581.15 c #Conflicts: 391000 | #Constraints: 105303
579.52/581.15 c #Conflicts: 392000 | #Constraints: 106303
579.52/581.15 c #Conflicts: 393000 | #Constraints: 107303
579.52/581.15 c #Conflicts: 394000 | #Constraints: 108303
579.52/581.15 c INPROCESSING
579.52/581.15 c GARBAGE COLLECT
579.52/581.15 c #Conflicts: 395000 | #Constraints: 86402
579.52/581.15 c #Conflicts: 396000 | #Constraints: 87402
797.57/799.72 c #Conflicts: 397000 | #Constraints: 88402
797.57/799.72 c #Conflicts: 398000 | #Constraints: 89402
797.57/799.72 c #Conflicts: 399000 | #Constraints: 90402
797.57/799.72 c #Conflicts: 400000 | #Constraints: 91402
797.57/799.72 c #Conflicts: 401000 | #Constraints: 92402
797.57/799.72 c #Conflicts: 402000 | #Constraints: 93402
797.57/799.72 c #Conflicts: 403000 | #Constraints: 94402
797.57/799.72 c #Conflicts: 404000 | #Constraints: 95402
797.57/799.72 c #Conflicts: 405000 | #Constraints: 96402
797.57/799.72 c #Conflicts: 406000 | #Constraints: 97402
797.57/799.72 c #Conflicts: 407000 | #Constraints: 98402
797.57/799.72 c #Conflicts: 408000 | #Constraints: 99402
797.57/799.72 c #Conflicts: 409000 | #Constraints: 100402
797.57/799.72 c INPROCESSING
797.57/799.72 c GARBAGE COLLECT
797.57/799.72 c #Conflicts: 410000 | #Constraints: 83598
797.57/799.72 c #Conflicts: 411000 | #Constraints: 84598
797.57/799.72 c #Conflicts: 412000 | #Constraints: 85598
797.57/799.72 c #Conflicts: 413000 | #Constraints: 86598
797.57/799.72 c #Conflicts: 414000 | #Constraints: 87598
797.57/799.72 c #Conflicts: 415000 | #Constraints: 88598
797.57/799.72 c #Conflicts: 416000 | #Constraints: 89598
797.57/799.72 c #Conflicts: 417000 | #Constraints: 90598
797.57/799.72 c #Conflicts: 418000 | #Constraints: 91598
797.57/799.72 c #Conflicts: 419000 | #Constraints: 92598
797.57/799.72 c #Conflicts: 420000 | #Constraints: 93598
797.57/799.72 c #Conflicts: 421000 | #Constraints: 94598
797.57/799.72 c #Conflicts: 422000 | #Constraints: 95598
797.57/799.72 c #Conflicts: 423000 | #Constraints: 96598
797.57/799.72 c #Conflicts: 424000 | #Constraints: 97598
797.57/799.72 c #Conflicts: 425000 | #Constraints: 98598
797.57/799.72 c #Conflicts: 426000 | #Constraints: 99598
797.57/799.72 c #Conflicts: 427000 | #Constraints: 100598
797.57/799.72 c #Conflicts: 428000 | #Constraints: 101598
797.57/799.72 c #Conflicts: 429000 | #Constraints: 102598
797.57/799.72 c #Conflicts: 430000 | #Constraints: 103598
797.57/799.72 c #Conflicts: 431000 | #Constraints: 104598
797.57/799.72 c #Conflicts: 432000 | #Constraints: 105598
797.57/799.72 c #Conflicts: 433000 | #Constraints: 106598
797.57/799.72 c #Conflicts: 434000 | #Constraints: 107598
797.57/799.72 c #Conflicts: 435000 | #Constraints: 108598
797.57/799.72 c #Conflicts: 436000 | #Constraints: 109598
797.57/799.72 c #Conflicts: 437000 | #Constraints: 110598
797.57/799.72 c #Conflicts: 438000 | #Constraints: 111598
797.57/799.72 c #Conflicts: 439000 | #Constraints: 112598
797.57/799.72 c #Conflicts: 440000 | #Constraints: 113598
797.57/799.72 c #Conflicts: 441000 | #Constraints: 114598
797.57/799.72 c #Conflicts: 442000 | #Constraints: 115598
797.57/799.72 c #Conflicts: 443000 | #Constraints: 116598
797.57/799.72 c #Conflicts: 444000 | #Constraints: 117598
797.57/799.72 c #Conflicts: 445000 | #Constraints: 118598
797.57/799.72 c #Conflicts: 446000 | #Constraints: 119598
797.57/799.72 c #Conflicts: 447000 | #Constraints: 120598
797.57/799.72 c #Conflicts: 448000 | #Constraints: 121598
797.57/799.72 c #Conflicts: 449000 | #Constraints: 122598
797.57/799.72 c #Conflicts: 450000 | #Constraints: 123598
797.57/799.72 c #Conflicts: 451000 | #Constraints: 124598
797.57/799.72 c #Conflicts: 452000 | #Constraints: 125598
797.57/799.72 c #Conflicts: 453000 | #Constraints: 126598
797.57/799.72 c #Conflicts: 454000 | #Constraints: 127598
797.57/799.72 c #Conflicts: 455000 | #Constraints: 128598
797.57/799.72 c #Conflicts: 456000 | #Constraints: 129598
797.57/799.72 c #Conflicts: 457000 | #Constraints: 130598
797.57/799.72 c INPROCESSING
797.57/799.72 c GARBAGE COLLECT
797.57/799.72 c #Conflicts: 458000 | #Constraints: 97628
797.57/799.72 c #Conflicts: 459000 | #Constraints: 98628
797.57/799.72 c #Conflicts: 460000 | #Constraints: 99628
797.57/799.72 c #Conflicts: 461000 | #Constraints: 100628
797.57/799.72 c #Conflicts: 462000 | #Constraints: 101628
797.57/799.72 c #Conflicts: 463000 | #Constraints: 102628
797.57/799.72 c #Conflicts: 464000 | #Constraints: 103628
797.57/799.72 c #Conflicts: 465000 | #Constraints: 104628
797.57/799.72 c #Conflicts: 466000 | #Constraints: 105628
797.57/799.72 c #Conflicts: 467000 | #Constraints: 106628
797.57/799.72 c #Conflicts: 468000 | #Constraints: 107628
797.57/799.72 c #Conflicts: 469000 | #Constraints: 108628
797.57/799.72 c #Conflicts: 470000 | #Constraints: 109628
797.57/799.72 c #Conflicts: 471000 | #Constraints: 110628
797.57/799.72 c #Conflicts: 472000 | #Constraints: 111628
797.57/799.72 c #Conflicts: 473000 | #Constraints: 112628
797.57/799.72 c INPROCESSING
1059.86/1062.92 c GARBAGE COLLECT
1059.86/1062.92 c #Conflicts: 474000 | #Constraints: 88433
1059.86/1062.92 c #Conflicts: 475000 | #Constraints: 89433
1059.86/1062.92 c #Conflicts: 476000 | #Constraints: 90433
1059.86/1062.92 c #Conflicts: 477000 | #Constraints: 91433
1059.86/1062.92 c #Conflicts: 478000 | #Constraints: 92433
1059.86/1062.92 c #Conflicts: 479000 | #Constraints: 93433
1059.86/1062.92 c #Conflicts: 480000 | #Constraints: 94433
1059.86/1062.92 c #Conflicts: 481000 | #Constraints: 95433
1059.86/1062.92 c #Conflicts: 482000 | #Constraints: 96433
1059.86/1062.92 c #Conflicts: 483000 | #Constraints: 97433
1059.86/1062.92 c #Conflicts: 484000 | #Constraints: 98433
1059.86/1062.92 c #Conflicts: 485000 | #Constraints: 99433
1059.86/1062.92 c #Conflicts: 486000 | #Constraints: 100433
1059.86/1062.92 c #Conflicts: 487000 | #Constraints: 101433
1059.86/1062.92 c #Conflicts: 488000 | #Constraints: 102433
1059.86/1062.92 c #Conflicts: 489000 | #Constraints: 103433
1059.86/1062.92 c #Conflicts: 490000 | #Constraints: 104433
1059.86/1062.92 c INPROCESSING
1059.86/1062.92 c GARBAGE COLLECT
1059.86/1062.92 c #Conflicts: 491000 | #Constraints: 85828
1059.86/1062.92 c #Conflicts: 492000 | #Constraints: 86828
1059.86/1062.92 c #Conflicts: 493000 | #Constraints: 87828
1059.86/1062.92 c #Conflicts: 494000 | #Constraints: 88828
1059.86/1062.92 c #Conflicts: 495000 | #Constraints: 89828
1059.86/1062.92 c #Conflicts: 496000 | #Constraints: 90828
1059.86/1062.92 c #Conflicts: 497000 | #Constraints: 91828
1059.86/1062.92 c #Conflicts: 498000 | #Constraints: 92828
1059.86/1062.92 c #Conflicts: 499000 | #Constraints: 93828
1059.86/1062.92 c #Conflicts: 500000 | #Constraints: 94828
1059.86/1062.92 c #Conflicts: 501000 | #Constraints: 95828
1059.86/1062.92 c #Conflicts: 502000 | #Constraints: 96828
1059.86/1062.92 c #Conflicts: 503000 | #Constraints: 97828
1059.86/1062.92 c #Conflicts: 504000 | #Constraints: 98828
1059.86/1062.92 c #Conflicts: 505000 | #Constraints: 99828
1059.86/1062.92 c #Conflicts: 506000 | #Constraints: 100828
1059.86/1062.92 c #Conflicts: 507000 | #Constraints: 101828
1059.86/1062.92 c #Conflicts: 508000 | #Constraints: 102828
1059.86/1062.92 c #Conflicts: 509000 | #Constraints: 103828
1059.86/1062.92 c #Conflicts: 510000 | #Constraints: 104828
1059.86/1062.92 c #Conflicts: 511000 | #Constraints: 105828
1059.86/1062.92 c #Conflicts: 512000 | #Constraints: 106828
1059.86/1062.92 c #Conflicts: 513000 | #Constraints: 107828
1059.86/1062.92 c #Conflicts: 514000 | #Constraints: 108828
1059.86/1062.92 c #Conflicts: 515000 | #Constraints: 109828
1059.86/1062.92 c #Conflicts: 516000 | #Constraints: 110828
1059.86/1062.92 c #Conflicts: 517000 | #Constraints: 111828
1059.86/1062.92 c #Conflicts: 518000 | #Constraints: 112828
1059.86/1062.92 c #Conflicts: 519000 | #Constraints: 113828
1059.86/1062.92 c #Conflicts: 520000 | #Constraints: 114828
1059.86/1062.92 c #Conflicts: 521000 | #Constraints: 115828
1059.86/1062.92 c #Conflicts: 522000 | #Constraints: 116828
1059.86/1062.92 c #Conflicts: 523000 | #Constraints: 117828
1059.86/1062.92 c #Conflicts: 524000 | #Constraints: 118828
1059.86/1062.92 c #Conflicts: 525000 | #Constraints: 119828
1059.86/1062.92 c #Conflicts: 526000 | #Constraints: 120828
1059.86/1062.92 c #Conflicts: 527000 | #Constraints: 121828
1059.86/1062.92 c #Conflicts: 528000 | #Constraints: 122828
1059.86/1062.92 c #Conflicts: 529000 | #Constraints: 123828
1059.86/1062.92 c #Conflicts: 530000 | #Constraints: 124828
1059.86/1062.92 c #Conflicts: 531000 | #Constraints: 125828
1059.86/1062.92 c #Conflicts: 532000 | #Constraints: 126828
1059.86/1062.92 c #Conflicts: 533000 | #Constraints: 127828
1059.86/1062.92 c #Conflicts: 534000 | #Constraints: 128828
1059.86/1062.92 c #Conflicts: 535000 | #Constraints: 129828
1059.86/1062.92 c #Conflicts: 536000 | #Constraints: 130828
1059.86/1062.92 c #Conflicts: 537000 | #Constraints: 131828
1059.86/1062.92 c #Conflicts: 538000 | #Constraints: 132828
1059.86/1062.92 c #Conflicts: 539000 | #Constraints: 133828
1059.86/1062.92 c #Conflicts: 540000 | #Constraints: 134828
1059.86/1062.92 c #Conflicts: 541000 | #Constraints: 135828
1059.86/1062.92 c #Conflicts: 542000 | #Constraints: 136828
1059.86/1062.92 c INPROCESSING
1059.86/1062.92 c GARBAGE COLLECT
1059.86/1062.92 c #Conflicts: 543000 | #Constraints: 100807
1059.86/1062.92 c #Conflicts: 544000 | #Constraints: 101807
1059.86/1062.92 c #Conflicts: 545000 | #Constraints: 102807
1059.86/1062.92 c #Conflicts: 546000 | #Constraints: 103807
1059.86/1062.92 c #Conflicts: 547000 | #Constraints: 104807
1059.86/1062.92 c #Conflicts: 548000 | #Constraints: 105807
1059.86/1062.92 c #Conflicts: 549000 | #Constraints: 106807
1059.86/1062.92 c #Conflicts: 550000 | #Constraints: 107807
1349.36/1353.35 c #Conflicts: 551000 | #Constraints: 108807
1349.36/1353.35 c #Conflicts: 552000 | #Constraints: 109807
1349.36/1353.35 c #Conflicts: 553000 | #Constraints: 110807
1349.36/1353.35 c #Conflicts: 554000 | #Constraints: 111807
1349.36/1353.35 c #Conflicts: 555000 | #Constraints: 112807
1349.36/1353.35 c #Conflicts: 556000 | #Constraints: 113807
1349.36/1353.35 c #Conflicts: 557000 | #Constraints: 114807
1349.36/1353.35 c #Conflicts: 558000 | #Constraints: 115807
1349.36/1353.35 c #Conflicts: 559000 | #Constraints: 116807
1349.36/1353.35 c #Conflicts: 560000 | #Constraints: 117807
1349.36/1353.35 c INPROCESSING
1349.36/1353.35 c GARBAGE COLLECT
1349.36/1353.35 c #Conflicts: 561000 | #Constraints: 91340
1349.36/1353.35 c #Conflicts: 562000 | #Constraints: 92340
1349.36/1353.35 c #Conflicts: 563000 | #Constraints: 93340
1349.36/1353.35 c #Conflicts: 564000 | #Constraints: 94340
1349.36/1353.35 c #Conflicts: 565000 | #Constraints: 95340
1349.36/1353.35 c #Conflicts: 566000 | #Constraints: 96340
1349.36/1353.35 c #Conflicts: 567000 | #Constraints: 97340
1349.36/1353.35 c #Conflicts: 568000 | #Constraints: 98340
1349.36/1353.35 c #Conflicts: 569000 | #Constraints: 99340
1349.36/1353.35 c #Conflicts: 570000 | #Constraints: 100340
1349.36/1353.35 c #Conflicts: 571000 | #Constraints: 101340
1349.36/1353.35 c #Conflicts: 572000 | #Constraints: 102340
1349.36/1353.35 c #Conflicts: 573000 | #Constraints: 103340
1349.36/1353.35 c #Conflicts: 574000 | #Constraints: 104340
1349.36/1353.35 c #Conflicts: 575000 | #Constraints: 105340
1349.36/1353.35 c #Conflicts: 576000 | #Constraints: 106340
1349.36/1353.35 c #Conflicts: 577000 | #Constraints: 107340
1349.36/1353.35 c #Conflicts: 578000 | #Constraints: 108340
1349.36/1353.35 c INPROCESSING
1349.36/1353.35 c GARBAGE COLLECT
1349.36/1353.35 c #Conflicts: 579000 | #Constraints: 88016
1349.36/1353.35 c #Conflicts: 580000 | #Constraints: 89016
1349.36/1353.35 c #Conflicts: 581000 | #Constraints: 90016
1349.36/1353.35 c #Conflicts: 582000 | #Constraints: 91016
1349.36/1353.35 c #Conflicts: 583000 | #Constraints: 92016
1349.36/1353.35 c #Conflicts: 584000 | #Constraints: 93016
1349.36/1353.35 c #Conflicts: 585000 | #Constraints: 94016
1349.36/1353.35 c #Conflicts: 586000 | #Constraints: 95016
1349.36/1353.35 c #Conflicts: 587000 | #Constraints: 96016
1349.36/1353.35 c #Conflicts: 588000 | #Constraints: 97016
1349.36/1353.35 c #Conflicts: 589000 | #Constraints: 98016
1349.36/1353.35 c #Conflicts: 590000 | #Constraints: 99016
1349.36/1353.35 c #Conflicts: 591000 | #Constraints: 100016
1349.36/1353.35 c #Conflicts: 592000 | #Constraints: 101016
1349.36/1353.35 c #Conflicts: 593000 | #Constraints: 102016
1349.36/1353.35 c #Conflicts: 594000 | #Constraints: 103016
1349.36/1353.35 c #Conflicts: 595000 | #Constraints: 104016
1349.36/1353.35 c #Conflicts: 596000 | #Constraints: 105016
1349.36/1353.35 c #Conflicts: 597000 | #Constraints: 106016
1349.36/1353.35 c #Conflicts: 598000 | #Constraints: 107016
1349.36/1353.35 c #Conflicts: 599000 | #Constraints: 108016
1349.36/1353.35 c #Conflicts: 600000 | #Constraints: 109016
1349.36/1353.35 c #Conflicts: 601000 | #Constraints: 110016
1349.36/1353.35 c #Conflicts: 602000 | #Constraints: 111016
1349.36/1353.35 c #Conflicts: 603000 | #Constraints: 112016
1349.36/1353.35 c #Conflicts: 604000 | #Constraints: 113016
1349.36/1353.35 c #Conflicts: 605000 | #Constraints: 114016
1349.36/1353.35 c #Conflicts: 606000 | #Constraints: 115016
1349.36/1353.35 c #Conflicts: 607000 | #Constraints: 116016
1349.36/1353.35 c #Conflicts: 608000 | #Constraints: 117016
1349.36/1353.35 c #Conflicts: 609000 | #Constraints: 118016
1349.36/1353.35 c #Conflicts: 610000 | #Constraints: 119016
1349.36/1353.35 c #Conflicts: 611000 | #Constraints: 120016
1349.36/1353.35 c #Conflicts: 612000 | #Constraints: 121016
1349.36/1353.35 c #Conflicts: 613000 | #Constraints: 122016
1349.36/1353.35 c #Conflicts: 614000 | #Constraints: 123016
1349.36/1353.35 c #Conflicts: 615000 | #Constraints: 124016
1349.36/1353.35 c #Conflicts: 616000 | #Constraints: 125016
1349.36/1353.35 c #Conflicts: 617000 | #Constraints: 126016
1349.36/1353.35 c #Conflicts: 618000 | #Constraints: 127016
1349.36/1353.35 c #Conflicts: 619000 | #Constraints: 128016
1349.36/1353.35 c #Conflicts: 620000 | #Constraints: 129016
1349.36/1353.35 c #Conflicts: 621000 | #Constraints: 130016
1349.36/1353.35 c #Conflicts: 622000 | #Constraints: 131016
1349.36/1353.35 c #Conflicts: 623000 | #Constraints: 132016
1349.36/1353.35 c #Conflicts: 624000 | #Constraints: 133016
1349.36/1353.35 c #Conflicts: 625000 | #Constraints: 134016
1349.36/1353.35 c #Conflicts: 626000 | #Constraints: 135016
1349.36/1353.35 c #Conflicts: 627000 | #Constraints: 136016
1349.36/1353.35 c #Conflicts: 628000 | #Constraints: 137016
1660.31/1665.23 c #Conflicts: 629000 | #Constraints: 138016
1660.31/1665.23 c #Conflicts: 630000 | #Constraints: 139016
1660.31/1665.23 c #Conflicts: 631000 | #Constraints: 140016
1660.31/1665.23 c #Conflicts: 632000 | #Constraints: 141016
1660.31/1665.23 c #Conflicts: 633000 | #Constraints: 142016
1660.31/1665.23 c #Conflicts: 634000 | #Constraints: 143016
1660.31/1665.23 c INPROCESSING
1660.31/1665.23 c GARBAGE COLLECT
1660.31/1665.23 c #Conflicts: 635000 | #Constraints: 103862
1660.31/1665.23 c #Conflicts: 636000 | #Constraints: 104862
1660.31/1665.23 c #Conflicts: 637000 | #Constraints: 105862
1660.31/1665.23 c #Conflicts: 638000 | #Constraints: 106862
1660.31/1665.23 c #Conflicts: 639000 | #Constraints: 107862
1660.31/1665.23 c #Conflicts: 640000 | #Constraints: 108862
1660.31/1665.23 c #Conflicts: 641000 | #Constraints: 109862
1660.31/1665.23 c #Conflicts: 642000 | #Constraints: 110862
1660.31/1665.23 c #Conflicts: 643000 | #Constraints: 111862
1660.31/1665.23 c #Conflicts: 644000 | #Constraints: 112862
1660.31/1665.23 c #Conflicts: 645000 | #Constraints: 113862
1660.31/1665.23 c #Conflicts: 646000 | #Constraints: 114862
1660.31/1665.23 c #Conflicts: 647000 | #Constraints: 115862
1660.31/1665.23 c #Conflicts: 648000 | #Constraints: 116862
1660.31/1665.23 c #Conflicts: 649000 | #Constraints: 117862
1660.31/1665.23 c #Conflicts: 650000 | #Constraints: 118862
1660.31/1665.23 c #Conflicts: 651000 | #Constraints: 119862
1660.31/1665.23 c #Conflicts: 652000 | #Constraints: 120862
1660.31/1665.23 c #Conflicts: 653000 | #Constraints: 121862
1660.31/1665.23 c INPROCESSING
1660.31/1665.23 c GARBAGE COLLECT
1660.31/1665.23 c #Conflicts: 654000 | #Constraints: 93085
1660.31/1665.23 c #Conflicts: 655000 | #Constraints: 94085
1660.31/1665.23 c #Conflicts: 656000 | #Constraints: 95085
1660.31/1665.23 c #Conflicts: 657000 | #Constraints: 96085
1660.31/1665.23 c #Conflicts: 658000 | #Constraints: 97085
1660.31/1665.23 c #Conflicts: 659000 | #Constraints: 98085
1660.31/1665.23 c #Conflicts: 660000 | #Constraints: 99085
1660.31/1665.23 c #Conflicts: 661000 | #Constraints: 100085
1660.31/1665.23 c #Conflicts: 662000 | #Constraints: 101085
1660.31/1665.23 c #Conflicts: 663000 | #Constraints: 102085
1660.31/1665.23 c #Conflicts: 664000 | #Constraints: 103085
1660.31/1665.23 c #Conflicts: 665000 | #Constraints: 104085
1660.31/1665.23 c #Conflicts: 666000 | #Constraints: 105085
1660.31/1665.23 c #Conflicts: 667000 | #Constraints: 106085
1660.31/1665.23 c #Conflicts: 668000 | #Constraints: 107085
1660.31/1665.23 c #Conflicts: 669000 | #Constraints: 108085
1660.31/1665.23 c #Conflicts: 670000 | #Constraints: 109085
1660.31/1665.23 c #Conflicts: 671000 | #Constraints: 110085
1660.31/1665.23 c #Conflicts: 672000 | #Constraints: 111085
1660.31/1665.23 c #Conflicts: 673000 | #Constraints: 112085
1660.31/1665.23 c INPROCESSING
1660.31/1665.23 c GARBAGE COLLECT
1660.31/1665.23 c #Conflicts: 674000 | #Constraints: 90238
1660.31/1665.23 c #Conflicts: 675000 | #Constraints: 91238
1660.31/1665.23 c #Conflicts: 676000 | #Constraints: 92238
1660.31/1665.23 c #Conflicts: 677000 | #Constraints: 93238
1660.31/1665.23 c #Conflicts: 678000 | #Constraints: 94238
1660.31/1665.23 c #Conflicts: 679000 | #Constraints: 95238
1660.31/1665.23 c #Conflicts: 680000 | #Constraints: 96238
1660.31/1665.23 c #Conflicts: 681000 | #Constraints: 97238
1660.31/1665.23 c #Conflicts: 682000 | #Constraints: 98238
1660.31/1665.23 c #Conflicts: 683000 | #Constraints: 99238
1660.31/1665.23 c #Conflicts: 684000 | #Constraints: 100238
1660.31/1665.23 c #Conflicts: 685000 | #Constraints: 101238
1660.31/1665.23 c #Conflicts: 686000 | #Constraints: 102238
1660.31/1665.23 c #Conflicts: 687000 | #Constraints: 103238
1660.31/1665.23 c #Conflicts: 688000 | #Constraints: 104238
1660.31/1665.23 c #Conflicts: 689000 | #Constraints: 105238
1660.31/1665.23 c #Conflicts: 690000 | #Constraints: 106238
1660.31/1665.23 c #Conflicts: 691000 | #Constraints: 107238
1660.31/1665.23 c #Conflicts: 692000 | #Constraints: 108238
1660.31/1665.23 c #Conflicts: 693000 | #Constraints: 109238
1660.31/1665.23 c #Conflicts: 694000 | #Constraints: 110238
1660.31/1665.23 c #Conflicts: 695000 | #Constraints: 111238
1660.31/1665.23 c #Conflicts: 696000 | #Constraints: 112238
1660.31/1665.23 c #Conflicts: 697000 | #Constraints: 113238
1660.31/1665.23 c #Conflicts: 698000 | #Constraints: 114238
1660.31/1665.23 c #Conflicts: 699000 | #Constraints: 115238
1660.31/1665.23 c #Conflicts: 700000 | #Constraints: 116238
1660.31/1665.23 c #Conflicts: 701000 | #Constraints: 117238
1660.31/1665.23 c #Conflicts: 702000 | #Constraints: 118238
1660.31/1665.23 c #Conflicts: 703000 | #Constraints: 119238
1660.31/1665.23 c #Conflicts: 704000 | #Constraints: 120238
1660.31/1665.23 c #Conflicts: 705000 | #Constraints: 121238
2050.67/2056.74 c #Conflicts: 706000 | #Constraints: 122238
2050.67/2056.74 c #Conflicts: 707000 | #Constraints: 123238
2050.67/2056.74 c #Conflicts: 708000 | #Constraints: 124238
2050.67/2056.74 c #Conflicts: 709000 | #Constraints: 125238
2050.67/2056.74 c #Conflicts: 710000 | #Constraints: 126238
2050.67/2056.74 c #Conflicts: 711000 | #Constraints: 127238
2050.67/2056.74 c #Conflicts: 712000 | #Constraints: 128238
2050.67/2056.74 c #Conflicts: 713000 | #Constraints: 129238
2050.67/2056.74 c #Conflicts: 714000 | #Constraints: 130238
2050.67/2056.74 c #Conflicts: 715000 | #Constraints: 131238
2050.67/2056.74 c #Conflicts: 716000 | #Constraints: 132238
2050.67/2056.74 c #Conflicts: 717000 | #Constraints: 133238
2050.67/2056.74 c #Conflicts: 718000 | #Constraints: 134238
2050.67/2056.74 c #Conflicts: 719000 | #Constraints: 135238
2050.67/2056.74 c #Conflicts: 720000 | #Constraints: 136238
2050.67/2056.74 c #Conflicts: 721000 | #Constraints: 137238
2050.67/2056.74 c #Conflicts: 722000 | #Constraints: 138238
2050.67/2056.74 c #Conflicts: 723000 | #Constraints: 139238
2050.67/2056.74 c #Conflicts: 724000 | #Constraints: 140238
2050.67/2056.74 c #Conflicts: 725000 | #Constraints: 141238
2050.67/2056.74 c #Conflicts: 726000 | #Constraints: 142238
2050.67/2056.74 c #Conflicts: 727000 | #Constraints: 143238
2050.67/2056.74 c #Conflicts: 728000 | #Constraints: 144238
2050.67/2056.74 c #Conflicts: 729000 | #Constraints: 145238
2050.67/2056.74 c #Conflicts: 730000 | #Constraints: 146238
2050.67/2056.74 c #Conflicts: 731000 | #Constraints: 147238
2050.67/2056.74 c #Conflicts: 732000 | #Constraints: 148238
2050.67/2056.74 c #Conflicts: 733000 | #Constraints: 149238
2050.67/2056.74 c INPROCESSING
2050.67/2056.74 c GARBAGE COLLECT
2050.67/2056.74 c #Conflicts: 734000 | #Constraints: 106813
2050.67/2056.74 c #Conflicts: 735000 | #Constraints: 107813
2050.67/2056.74 c #Conflicts: 736000 | #Constraints: 108813
2050.67/2056.74 c #Conflicts: 737000 | #Constraints: 109813
2050.67/2056.74 c #Conflicts: 738000 | #Constraints: 110813
2050.67/2056.74 c #Conflicts: 739000 | #Constraints: 111813
2050.67/2056.74 c #Conflicts: 740000 | #Constraints: 112813
2050.67/2056.74 c #Conflicts: 741000 | #Constraints: 113813
2050.67/2056.74 c #Conflicts: 742000 | #Constraints: 114813
2050.67/2056.74 c #Conflicts: 743000 | #Constraints: 115813
2050.67/2056.74 c #Conflicts: 744000 | #Constraints: 116813
2050.67/2056.74 c #Conflicts: 745000 | #Constraints: 117813
2050.67/2056.74 c #Conflicts: 746000 | #Constraints: 118813
2050.67/2056.74 c #Conflicts: 747000 | #Constraints: 119813
2050.67/2056.74 c #Conflicts: 748000 | #Constraints: 120813
2050.67/2056.74 c #Conflicts: 749000 | #Constraints: 121813
2050.67/2056.74 c #Conflicts: 750000 | #Constraints: 122813
2050.67/2056.74 c #Conflicts: 751000 | #Constraints: 123813
2050.67/2056.74 c #Conflicts: 752000 | #Constraints: 124813
2050.67/2056.74 c #Conflicts: 753000 | #Constraints: 125813
2050.67/2056.74 c #Conflicts: 754000 | #Constraints: 126813
2050.67/2056.74 c INPROCESSING
2050.67/2056.74 c GARBAGE COLLECT
2050.67/2056.74 c #Conflicts: 755000 | #Constraints: 95652
2050.67/2056.74 c #Conflicts: 756000 | #Constraints: 96652
2050.67/2056.74 c #Conflicts: 757000 | #Constraints: 97652
2050.67/2056.74 c #Conflicts: 758000 | #Constraints: 98652
2050.67/2056.74 c #Conflicts: 759000 | #Constraints: 99652
2050.67/2056.74 c #Conflicts: 760000 | #Constraints: 100652
2050.67/2056.74 c #Conflicts: 761000 | #Constraints: 101652
2050.67/2056.74 c #Conflicts: 762000 | #Constraints: 102652
2050.67/2056.74 c #Conflicts: 763000 | #Constraints: 103652
2050.67/2056.74 c #Conflicts: 764000 | #Constraints: 104652
2050.67/2056.74 c #Conflicts: 765000 | #Constraints: 105652
2050.67/2056.74 c #Conflicts: 766000 | #Constraints: 106652
2050.67/2056.74 c #Conflicts: 767000 | #Constraints: 107652
2050.67/2056.74 c #Conflicts: 768000 | #Constraints: 108652
2050.67/2056.74 c #Conflicts: 769000 | #Constraints: 109652
2050.67/2056.74 c #Conflicts: 770000 | #Constraints: 110652
2050.67/2056.74 c #Conflicts: 771000 | #Constraints: 111652
2050.67/2056.74 c #Conflicts: 772000 | #Constraints: 112652
2050.67/2056.74 c #Conflicts: 773000 | #Constraints: 113652
2050.67/2056.74 c #Conflicts: 774000 | #Constraints: 114652
2050.67/2056.74 c #Conflicts: 775000 | #Constraints: 115652
2050.67/2056.74 c INPROCESSING
2050.67/2056.74 c GARBAGE COLLECT
2050.67/2056.74 c #Conflicts: 776000 | #Constraints: 92519
2050.67/2056.74 c #Conflicts: 777000 | #Constraints: 93519
2050.67/2056.74 c #Conflicts: 778000 | #Constraints: 94519
2050.67/2056.74 c #Conflicts: 779000 | #Constraints: 95519
2050.67/2056.74 c #Conflicts: 780000 | #Constraints: 96519
2050.67/2056.74 c #Conflicts: 781000 | #Constraints: 97519
2050.67/2056.74 c #Conflicts: 782000 | #Constraints: 98519
2524.29/2531.84 c #Conflicts: 783000 | #Constraints: 99519
2524.29/2531.84 c #Conflicts: 784000 | #Constraints: 100519
2524.29/2531.84 c #Conflicts: 785000 | #Constraints: 101519
2524.29/2531.84 c #Conflicts: 786000 | #Constraints: 102519
2524.29/2531.84 c #Conflicts: 787000 | #Constraints: 103519
2524.29/2531.84 c #Conflicts: 788000 | #Constraints: 104519
2524.29/2531.84 c #Conflicts: 789000 | #Constraints: 105519
2524.29/2531.84 c #Conflicts: 790000 | #Constraints: 106519
2524.29/2531.84 c #Conflicts: 791000 | #Constraints: 107519
2524.29/2531.84 c #Conflicts: 792000 | #Constraints: 108519
2524.29/2531.84 c #Conflicts: 793000 | #Constraints: 109519
2524.29/2531.84 c #Conflicts: 794000 | #Constraints: 110519
2524.29/2531.84 c #Conflicts: 795000 | #Constraints: 111519
2524.29/2531.84 c #Conflicts: 796000 | #Constraints: 112519
2524.29/2531.84 c #Conflicts: 797000 | #Constraints: 113519
2524.29/2531.84 c #Conflicts: 798000 | #Constraints: 114519
2524.29/2531.84 c #Conflicts: 799000 | #Constraints: 115519
2524.29/2531.84 c #Conflicts: 800000 | #Constraints: 116519
2524.29/2531.84 c #Conflicts: 801000 | #Constraints: 117519
2524.29/2531.84 c #Conflicts: 802000 | #Constraints: 118519
2524.29/2531.84 c #Conflicts: 803000 | #Constraints: 119519
2524.29/2531.84 c #Conflicts: 804000 | #Constraints: 120519
2524.29/2531.84 c #Conflicts: 805000 | #Constraints: 121519
2524.29/2531.84 c #Conflicts: 806000 | #Constraints: 122519
2524.29/2531.84 c #Conflicts: 807000 | #Constraints: 123519
2524.29/2531.84 c #Conflicts: 808000 | #Constraints: 124519
2524.29/2531.84 c #Conflicts: 809000 | #Constraints: 125519
2524.29/2531.84 c #Conflicts: 810000 | #Constraints: 126519
2524.29/2531.84 c #Conflicts: 811000 | #Constraints: 127519
2524.29/2531.84 c #Conflicts: 812000 | #Constraints: 128519
2524.29/2531.84 c #Conflicts: 813000 | #Constraints: 129519
2524.29/2531.84 c #Conflicts: 814000 | #Constraints: 130519
2524.29/2531.84 c #Conflicts: 815000 | #Constraints: 131519
2524.29/2531.84 c #Conflicts: 816000 | #Constraints: 132519
2524.29/2531.84 c #Conflicts: 817000 | #Constraints: 133519
2524.29/2531.84 c #Conflicts: 818000 | #Constraints: 134519
2524.29/2531.84 c #Conflicts: 819000 | #Constraints: 135519
2524.29/2531.84 c #Conflicts: 820000 | #Constraints: 136519
2524.29/2531.84 c #Conflicts: 821000 | #Constraints: 137519
2524.29/2531.84 c #Conflicts: 822000 | #Constraints: 138519
2524.29/2531.84 c #Conflicts: 823000 | #Constraints: 139519
2524.29/2531.84 c #Conflicts: 824000 | #Constraints: 140519
2524.29/2531.84 c #Conflicts: 825000 | #Constraints: 141519
2524.29/2531.84 c #Conflicts: 826000 | #Constraints: 142519
2524.29/2531.84 c #Conflicts: 827000 | #Constraints: 143519
2524.29/2531.84 c #Conflicts: 828000 | #Constraints: 144519
2524.29/2531.84 c #Conflicts: 829000 | #Constraints: 145519
2524.29/2531.84 c #Conflicts: 830000 | #Constraints: 146519
2524.29/2531.84 c #Conflicts: 831000 | #Constraints: 147519
2524.29/2531.84 c #Conflicts: 832000 | #Constraints: 148519
2524.29/2531.84 c #Conflicts: 833000 | #Constraints: 149519
2524.29/2531.84 c #Conflicts: 834000 | #Constraints: 150519
2524.29/2531.84 c #Conflicts: 835000 | #Constraints: 151519
2524.29/2531.84 c #Conflicts: 836000 | #Constraints: 152519
2524.29/2531.84 c #Conflicts: 837000 | #Constraints: 153519
2524.29/2531.84 c #Conflicts: 838000 | #Constraints: 154519
2524.29/2531.84 c #Conflicts: 839000 | #Constraints: 155519
2524.29/2531.84 c #Conflicts: 840000 | #Constraints: 156519
2524.29/2531.84 c INPROCESSING
2524.29/2531.84 c GARBAGE COLLECT
2524.29/2531.84 c #Conflicts: 841000 | #Constraints: 110700
2524.29/2531.84 c #Conflicts: 842000 | #Constraints: 111700
2524.29/2531.84 c #Conflicts: 843000 | #Constraints: 112700
2524.29/2531.84 c #Conflicts: 844000 | #Constraints: 113700
2524.29/2531.84 c #Conflicts: 845000 | #Constraints: 114700
2524.29/2531.84 c #Conflicts: 846000 | #Constraints: 115700
2524.29/2531.84 c #Conflicts: 847000 | #Constraints: 116700
2524.29/2531.84 c #Conflicts: 848000 | #Constraints: 117700
2524.29/2531.84 c #Conflicts: 849000 | #Constraints: 118700
2524.29/2531.84 c #Conflicts: 850000 | #Constraints: 119700
2524.29/2531.84 c #Conflicts: 851000 | #Constraints: 120700
2524.29/2531.84 c #Conflicts: 852000 | #Constraints: 121700
2524.29/2531.84 c #Conflicts: 853000 | #Constraints: 122700
2524.29/2531.84 c #Conflicts: 854000 | #Constraints: 123700
2524.29/2531.84 c #Conflicts: 855000 | #Constraints: 124700
2524.29/2531.84 c #Conflicts: 856000 | #Constraints: 125700
2524.29/2531.84 c #Conflicts: 857000 | #Constraints: 126700
2524.29/2531.84 c #Conflicts: 858000 | #Constraints: 127700
2524.29/2531.84 c #Conflicts: 859000 | #Constraints: 128700
2524.29/2531.84 c #Conflicts: 860000 | #Constraints: 129700
2938.01/2946.85 c #Conflicts: 861000 | #Constraints: 130700
2938.01/2946.85 c #Conflicts: 862000 | #Constraints: 131700
2938.01/2946.85 c INPROCESSING
2938.01/2946.85 c GARBAGE COLLECT
2938.01/2946.85 c #Conflicts: 863000 | #Constraints: 98100
2938.01/2946.85 c #Conflicts: 864000 | #Constraints: 99100
2938.01/2946.85 c #Conflicts: 865000 | #Constraints: 100100
2938.01/2946.85 c #Conflicts: 866000 | #Constraints: 101100
2938.01/2946.85 c #Conflicts: 867000 | #Constraints: 102100
2938.01/2946.85 c #Conflicts: 868000 | #Constraints: 103100
2938.01/2946.85 c #Conflicts: 869000 | #Constraints: 104100
2938.01/2946.85 c #Conflicts: 870000 | #Constraints: 105100
2938.01/2946.85 c #Conflicts: 871000 | #Constraints: 106100
2938.01/2946.85 c #Conflicts: 872000 | #Constraints: 107100
2938.01/2946.85 c #Conflicts: 873000 | #Constraints: 108100
2938.01/2946.85 c #Conflicts: 874000 | #Constraints: 109100
2938.01/2946.85 c #Conflicts: 875000 | #Constraints: 110100
2938.01/2946.85 c #Conflicts: 876000 | #Constraints: 111100
2938.01/2946.85 c #Conflicts: 877000 | #Constraints: 112100
2938.01/2946.85 c #Conflicts: 878000 | #Constraints: 113100
2938.01/2946.85 c #Conflicts: 879000 | #Constraints: 114100
2938.01/2946.85 c #Conflicts: 880000 | #Constraints: 115100
2938.01/2946.85 c #Conflicts: 881000 | #Constraints: 116100
2938.01/2946.85 c #Conflicts: 882000 | #Constraints: 117100
2938.01/2946.85 c #Conflicts: 883000 | #Constraints: 118100
2938.01/2946.85 c #Conflicts: 884000 | #Constraints: 119100
2938.01/2946.85 c #Conflicts: 885000 | #Constraints: 120100
2938.01/2946.85 c INPROCESSING
2938.01/2946.85 c GARBAGE COLLECT
2938.01/2946.85 c #Conflicts: 886000 | #Constraints: 96016
2938.01/2946.85 c #Conflicts: 887000 | #Constraints: 97016
2938.01/2946.85 c #Conflicts: 888000 | #Constraints: 98016
2938.01/2946.85 c #Conflicts: 889000 | #Constraints: 99016
2938.01/2946.85 c #Conflicts: 890000 | #Constraints: 100016
2938.01/2946.85 c #Conflicts: 891000 | #Constraints: 101016
2938.01/2946.85 c #Conflicts: 892000 | #Constraints: 102016
2938.01/2946.85 c #Conflicts: 893000 | #Constraints: 103016
2938.01/2946.85 c #Conflicts: 894000 | #Constraints: 104016
2938.01/2946.85 c #Conflicts: 895000 | #Constraints: 105016
2938.01/2946.85 c #Conflicts: 896000 | #Constraints: 106016
2938.01/2946.85 c #Conflicts: 897000 | #Constraints: 107016
2938.01/2946.85 c #Conflicts: 898000 | #Constraints: 108016
2938.01/2946.85 c #Conflicts: 899000 | #Constraints: 109016
2938.01/2946.85 c #Conflicts: 900000 | #Constraints: 110016
2938.01/2946.85 c #Conflicts: 901000 | #Constraints: 111016
2938.01/2946.85 c #Conflicts: 902000 | #Constraints: 112016
2938.01/2946.85 c #Conflicts: 903000 | #Constraints: 113016
2938.01/2946.85 c #Conflicts: 904000 | #Constraints: 114016
2938.01/2946.85 c #Conflicts: 905000 | #Constraints: 115016
2938.01/2946.85 c #Conflicts: 906000 | #Constraints: 116016
2938.01/2946.85 c #Conflicts: 907000 | #Constraints: 117016
2938.01/2946.85 c #Conflicts: 908000 | #Constraints: 118016
2938.01/2946.85 c #Conflicts: 909000 | #Constraints: 119016
2938.01/2946.85 c #Conflicts: 910000 | #Constraints: 120016
2938.01/2946.85 c #Conflicts: 911000 | #Constraints: 121016
2938.01/2946.85 c #Conflicts: 912000 | #Constraints: 122016
2938.01/2946.85 c #Conflicts: 913000 | #Constraints: 123016
2938.01/2946.85 c #Conflicts: 914000 | #Constraints: 124016
2938.01/2946.85 c #Conflicts: 915000 | #Constraints: 125016
2938.01/2946.85 c #Conflicts: 916000 | #Constraints: 126016
2938.01/2946.85 c #Conflicts: 917000 | #Constraints: 127016
2938.01/2946.85 c #Conflicts: 918000 | #Constraints: 128016
2938.01/2946.85 c #Conflicts: 919000 | #Constraints: 129016
2938.01/2946.85 c #Conflicts: 920000 | #Constraints: 130016
2938.01/2946.85 c #Conflicts: 921000 | #Constraints: 131016
2938.01/2946.85 c #Conflicts: 922000 | #Constraints: 132016
2938.01/2946.85 c bounds -162 >= -165 @ 2876.41
2938.01/2946.85 c #Conflicts: 923000 | #Constraints: 133056
2938.01/2946.85 c #Conflicts: 924000 | #Constraints: 134056
2938.01/2946.85 c #Conflicts: 925000 | #Constraints: 135056
2938.01/2946.85 c #Conflicts: 926000 | #Constraints: 136056
2938.01/2946.85 c #Conflicts: 927000 | #Constraints: 137056
2938.01/2946.85 c #Conflicts: 928000 | #Constraints: 138056
2938.01/2946.85 c #Conflicts: 929000 | #Constraints: 139056
2938.01/2946.85 c #Conflicts: 930000 | #Constraints: 140056
2938.01/2946.85 c #Conflicts: 931000 | #Constraints: 141056
2938.01/2946.85 c #Conflicts: 932000 | #Constraints: 142056
2938.01/2946.85 c #Conflicts: 933000 | #Constraints: 143056
2938.01/2946.85 c #Conflicts: 934000 | #Constraints: 144056
2938.01/2946.85 c #Conflicts: 935000 | #Constraints: 145056
2938.01/2946.85 c #Conflicts: 936000 | #Constraints: 146056
2938.01/2946.85 c #Conflicts: 937000 | #Constraints: 147056
3230.01/3239.71 c #Conflicts: 938000 | #Constraints: 148056
3230.01/3239.71 c #Conflicts: 939000 | #Constraints: 149056
3230.01/3239.71 c #Conflicts: 940000 | #Constraints: 150056
3230.01/3239.71 c #Conflicts: 941000 | #Constraints: 151056
3230.01/3239.71 c #Conflicts: 942000 | #Constraints: 152056
3230.01/3239.71 c #Conflicts: 943000 | #Constraints: 153056
3230.01/3239.71 c #Conflicts: 944000 | #Constraints: 154056
3230.01/3239.71 c #Conflicts: 945000 | #Constraints: 155056
3230.01/3239.71 c #Conflicts: 946000 | #Constraints: 156056
3230.01/3239.71 c #Conflicts: 947000 | #Constraints: 157056
3230.01/3239.71 c #Conflicts: 948000 | #Constraints: 158056
3230.01/3239.71 c #Conflicts: 949000 | #Constraints: 159056
3230.01/3239.71 c #Conflicts: 950000 | #Constraints: 160056
3230.01/3239.71 c #Conflicts: 951000 | #Constraints: 161056
3230.01/3239.71 c #Conflicts: 952000 | #Constraints: 162056
3230.01/3239.71 c #Conflicts: 953000 | #Constraints: 163056
3230.01/3239.71 c INPROCESSING
3230.01/3239.71 c GARBAGE COLLECT
3230.01/3239.71 c #Conflicts: 954000 | #Constraints: 113643
3230.01/3239.71 c #Conflicts: 955000 | #Constraints: 114643
3230.01/3239.71 c #Conflicts: 956000 | #Constraints: 115643
3230.01/3239.71 c #Conflicts: 957000 | #Constraints: 116643
3230.01/3239.71 c #Conflicts: 958000 | #Constraints: 117643
3230.01/3239.71 c #Conflicts: 959000 | #Constraints: 118643
3230.01/3239.71 c #Conflicts: 960000 | #Constraints: 119643
3230.01/3239.71 c #Conflicts: 961000 | #Constraints: 120643
3230.01/3239.71 c #Conflicts: 962000 | #Constraints: 121643
3230.01/3239.71 c #Conflicts: 963000 | #Constraints: 122643
3230.01/3239.71 c #Conflicts: 964000 | #Constraints: 123643
3230.01/3239.71 c #Conflicts: 965000 | #Constraints: 124643
3230.01/3239.71 c #Conflicts: 966000 | #Constraints: 125643
3230.01/3239.71 c #Conflicts: 967000 | #Constraints: 126643
3230.01/3239.71 c #Conflicts: 968000 | #Constraints: 127643
3230.01/3239.71 c #Conflicts: 969000 | #Constraints: 128643
3230.01/3239.71 c #Conflicts: 970000 | #Constraints: 129643
3230.01/3239.71 c #Conflicts: 971000 | #Constraints: 130643
3230.01/3239.71 c #Conflicts: 972000 | #Constraints: 131643
3230.01/3239.71 c #Conflicts: 973000 | #Constraints: 132643
3230.01/3239.71 c #Conflicts: 974000 | #Constraints: 133643
3230.01/3239.71 c #Conflicts: 975000 | #Constraints: 134643
3230.01/3239.71 c #Conflicts: 976000 | #Constraints: 135643
3230.01/3239.71 c #Conflicts: 977000 | #Constraints: 136643
3230.01/3239.71 c INPROCESSING
3230.01/3239.71 c GARBAGE COLLECT
3230.01/3239.71 c #Conflicts: 978000 | #Constraints: 100472
3230.01/3239.71 c #Conflicts: 979000 | #Constraints: 101472
3230.01/3239.71 c #Conflicts: 980000 | #Constraints: 102472
3230.01/3239.71 c #Conflicts: 981000 | #Constraints: 103472
3230.01/3239.71 c #Conflicts: 982000 | #Constraints: 104472
3230.01/3239.71 c #Conflicts: 983000 | #Constraints: 105472
3230.01/3239.71 c #Conflicts: 984000 | #Constraints: 106472
3230.01/3239.71 c #Conflicts: 985000 | #Constraints: 107472
3230.01/3239.71 c #Conflicts: 986000 | #Constraints: 108472
3230.01/3239.71 c #Conflicts: 987000 | #Constraints: 109472
3230.01/3239.71 c #Conflicts: 988000 | #Constraints: 110472
3230.01/3239.71 c #Conflicts: 989000 | #Constraints: 111472
3230.01/3239.71 c #Conflicts: 990000 | #Constraints: 112472
3230.01/3239.71 c #Conflicts: 991000 | #Constraints: 113472
3230.01/3239.71 c #Conflicts: 992000 | #Constraints: 114472
3230.01/3239.71 c #Conflicts: 993000 | #Constraints: 115472
3230.01/3239.71 c #Conflicts: 994000 | #Constraints: 116472
3230.01/3239.71 c #Conflicts: 995000 | #Constraints: 117472
3230.01/3239.71 c #Conflicts: 996000 | #Constraints: 118472
3230.01/3239.71 c #Conflicts: 997000 | #Constraints: 119472
3230.01/3239.71 c #Conflicts: 998000 | #Constraints: 120472
3230.01/3239.71 c #Conflicts: 999000 | #Constraints: 121472
3230.01/3239.71 c #Conflicts: 1000000 | #Constraints: 122472
3230.01/3239.71 c #Conflicts: 1001000 | #Constraints: 123472
3230.01/3239.71 c INPROCESSING
3230.01/3239.71 c GARBAGE COLLECT
3230.01/3239.71 c #Conflicts: 1002000 | #Constraints: 97026
3230.01/3239.71 c #Conflicts: 1003000 | #Constraints: 98026
3230.01/3239.71 c #Conflicts: 1004000 | #Constraints: 99026
3230.01/3239.71 c #Conflicts: 1005000 | #Constraints: 100026
3230.01/3239.71 c #Conflicts: 1006000 | #Constraints: 101026
3230.01/3239.71 c #Conflicts: 1007000 | #Constraints: 102026
3230.01/3239.71 c #Conflicts: 1008000 | #Constraints: 103026
3230.01/3239.71 c #Conflicts: 1009000 | #Constraints: 104026
3230.01/3239.71 c #Conflicts: 1010000 | #Constraints: 105026
3230.01/3239.71 c #Conflicts: 1011000 | #Constraints: 106026
3230.01/3239.71 c #Conflicts: 1012000 | #Constraints: 107026
3230.01/3239.71 c #Conflicts: 1013000 | #Constraints: 108026
3230.01/3239.71 c #Conflicts: 1014000 | #Constraints: 109026
3586.25/3597.09 c #Conflicts: 1015000 | #Constraints: 110026
3586.25/3597.09 c #Conflicts: 1016000 | #Constraints: 111026
3586.25/3597.09 c #Conflicts: 1017000 | #Constraints: 112026
3586.25/3597.09 c #Conflicts: 1018000 | #Constraints: 113026
3586.25/3597.09 c #Conflicts: 1019000 | #Constraints: 114026
3586.25/3597.09 c #Conflicts: 1020000 | #Constraints: 115026
3586.25/3597.09 c #Conflicts: 1021000 | #Constraints: 116026
3586.25/3597.09 c #Conflicts: 1022000 | #Constraints: 117026
3586.25/3597.09 c #Conflicts: 1023000 | #Constraints: 118026
3586.25/3597.09 c #Conflicts: 1024000 | #Constraints: 119026
3586.25/3597.09 c #Conflicts: 1025000 | #Constraints: 120026
3586.25/3597.09 c #Conflicts: 1026000 | #Constraints: 121026
3586.25/3597.09 c #Conflicts: 1027000 | #Constraints: 122026
3586.25/3597.09 c #Conflicts: 1028000 | #Constraints: 123026
3586.25/3597.09 c #Conflicts: 1029000 | #Constraints: 124026
3586.25/3597.09 c #Conflicts: 1030000 | #Constraints: 125026
3586.25/3597.09 c #Conflicts: 1031000 | #Constraints: 126026
3586.25/3597.09 c #Conflicts: 1032000 | #Constraints: 127026
3586.25/3597.09 c #Conflicts: 1033000 | #Constraints: 128026
3586.25/3597.09 c #Conflicts: 1034000 | #Constraints: 129026
3586.25/3597.09 c #Conflicts: 1035000 | #Constraints: 130026
3586.25/3597.09 c #Conflicts: 1036000 | #Constraints: 131026
3586.25/3597.09 c #Conflicts: 1037000 | #Constraints: 132026
3586.25/3597.09 c #Conflicts: 1038000 | #Constraints: 133026
3586.25/3597.09 c #Conflicts: 1039000 | #Constraints: 134026
3586.25/3597.09 c #Conflicts: 1040000 | #Constraints: 135026
3586.25/3597.09 c #Conflicts: 1041000 | #Constraints: 136026
3586.25/3597.09 c #Conflicts: 1042000 | #Constraints: 137026
3586.25/3597.09 c #Conflicts: 1043000 | #Constraints: 138026
3586.25/3597.09 c #Conflicts: 1044000 | #Constraints: 139026
3586.25/3597.09 c #Conflicts: 1045000 | #Constraints: 140026
3586.25/3597.09 c #Conflicts: 1046000 | #Constraints: 141026
3586.25/3597.09 c #Conflicts: 1047000 | #Constraints: 142026
3586.25/3597.09 c #Conflicts: 1048000 | #Constraints: 143026
3586.25/3597.09 c #Conflicts: 1049000 | #Constraints: 144026
3586.25/3597.09 c #Conflicts: 1050000 | #Constraints: 145026
3586.25/3597.09 c #Conflicts: 1051000 | #Constraints: 146026
3586.25/3597.09 c #Conflicts: 1052000 | #Constraints: 147026
3586.25/3597.09 c #Conflicts: 1053000 | #Constraints: 148026
3586.25/3597.09 c #Conflicts: 1054000 | #Constraints: 149026
3586.25/3597.09 c #Conflicts: 1055000 | #Constraints: 150026
3586.25/3597.09 c #Conflicts: 1056000 | #Constraints: 151026
3586.25/3597.09 c #Conflicts: 1057000 | #Constraints: 152026
3586.25/3597.09 c #Conflicts: 1058000 | #Constraints: 153026
3586.25/3597.09 c #Conflicts: 1059000 | #Constraints: 154026
3586.25/3597.09 c #Conflicts: 1060000 | #Constraints: 155026
3586.25/3597.09 c #Conflicts: 1061000 | #Constraints: 156026
3586.25/3597.09 c #Conflicts: 1062000 | #Constraints: 157026
3586.25/3597.09 c #Conflicts: 1063000 | #Constraints: 158026
3586.25/3597.09 c #Conflicts: 1064000 | #Constraints: 159026
3586.25/3597.09 c #Conflicts: 1065000 | #Constraints: 160026
3586.25/3597.09 c #Conflicts: 1066000 | #Constraints: 161026
3586.25/3597.09 c #Conflicts: 1067000 | #Constraints: 162026
3586.25/3597.09 c #Conflicts: 1068000 | #Constraints: 163026
3586.25/3597.09 c #Conflicts: 1069000 | #Constraints: 164026
3586.25/3597.09 c #Conflicts: 1070000 | #Constraints: 165026
3586.25/3597.09 c #Conflicts: 1071000 | #Constraints: 166026
3586.25/3597.09 c #Conflicts: 1072000 | #Constraints: 167026
3586.25/3597.09 c #Conflicts: 1073000 | #Constraints: 168026
3586.25/3597.09 c #Conflicts: 1074000 | #Constraints: 169026
3586.25/3597.09 c INPROCESSING
3586.25/3597.09 c GARBAGE COLLECT
3586.25/3597.09 c #Conflicts: 1075000 | #Constraints: 116674
3586.25/3597.09 c #Conflicts: 1076000 | #Constraints: 117674
3586.25/3597.09 c #Conflicts: 1077000 | #Constraints: 118674
3586.25/3597.09 c #Conflicts: 1078000 | #Constraints: 119674
3586.25/3597.09 c #Conflicts: 1079000 | #Constraints: 120674
3586.25/3597.09 c #Conflicts: 1080000 | #Constraints: 121674
3586.25/3597.09 c #Conflicts: 1081000 | #Constraints: 122674
3586.25/3597.09 c #Conflicts: 1082000 | #Constraints: 123674
3586.25/3597.09 c #Conflicts: 1083000 | #Constraints: 124674
3586.25/3597.09 c #Conflicts: 1084000 | #Constraints: 125674
3586.25/3597.09 c #Conflicts: 1085000 | #Constraints: 126674
3586.25/3597.09 c #Conflicts: 1086000 | #Constraints: 127674
3586.25/3597.09 c #Conflicts: 1087000 | #Constraints: 128674
3586.25/3597.09 c #Conflicts: 1088000 | #Constraints: 129674
3586.25/3597.09 c #Conflicts: 1089000 | #Constraints: 130674
3586.25/3597.09 c #Conflicts: 1090000 | #Constraints: 131674
3586.25/3597.09 c #Conflicts: 1091000 | #Constraints: 132674
3586.25/3597.09 c #Conflicts: 1092000 | #Constraints: 133674
3600.01/3610.80 c #Conflicts: 1093000 | #Constraints: 134674
3600.01/3610.80 c #Conflicts: 1094000 | #Constraints: 135674
3600.01/3610.80 c #Conflicts: 1095000 | #Constraints: 136674
3600.01/3610.80 c Program interrupted by user.
3600.01/3610.80 c cpu time 3593.25 s
3600.01/3610.80 c deterministic time 315842962604 3.16e+11
3600.01/3610.80 c optimization time 101.996 s
3600.01/3610.80 c total solve time 3491.13 s
3600.01/3610.80 c core-guided solve time 3491.13 s
3600.01/3610.80 c propagation time 3091.39 s
3600.01/3610.80 c conflict analysis time 486.583 s
3600.01/3610.80 c propagations 203323120
3600.01/3610.80 c resolve steps 22446159
3600.01/3610.80 c decisions 3016335
3600.01/3610.80 c conflicts 1095573
3600.01/3610.80 c restarts 2046
3600.01/3610.80 c inprocessing phases 54
3600.01/3610.80 c input clauses 62523
3600.01/3610.80 c input cardinalities 240
3600.01/3610.80 c input general constraints 418
3600.01/3610.80 c input average constraint length 3.27
3600.01/3610.80 c input average constraint degree 1.22
3600.01/3610.80 c learned clauses 769738
3600.01/3610.80 c learned cardinalities 433
3600.01/3610.80 c learned general constraints 325396
3600.01/3610.80 c learned average constraint length 65.96
3600.01/3610.80 c learned average constraint degree 65348.08
3600.01/3610.80 c watched constraints 291447
3600.01/3610.80 c counting constraints 34367
3600.01/3610.80 c gcd simplifications 82891
3600.01/3610.80 c detected cardinalities 5
3600.01/3610.80 c weakened non-implied lits 15174190
3600.01/3610.80 c weakened non-implying lits 221055
3600.01/3610.80 c original variables 2025
3600.01/3610.80 c clausal propagations 149037576
3600.01/3610.80 c cardinality propagations 3086037
3600.01/3610.80 c watched propagations 11487679
3600.01/3610.80 c counting propagations 38832048
3600.01/3610.80 c watch lookups 70975555744
3600.01/3610.80 c watch backjump lookups 57835410184
3600.01/3610.80 c watch checks 169387245780
3600.01/3610.80 c propagation checks 16903615000
3600.01/3610.80 c constraint additions 327361852
3600.01/3610.80 c trail pops 207434588
3600.01/3610.80 c formula constraints 62275
3600.01/3610.80 c learned constraints 1095567
3600.01/3610.80 c bound constraints 103
3600.01/3610.80 c core-guided constraints 803
3600.01/3610.80 c encountered formula constraints 5683369
3600.01/3610.80 c encountered learned constraints 13731583
3600.01/3610.80 c encountered bound constraints 43876
3600.01/3610.80 c encountered core-guided constraints 4082913
3600.01/3610.80 c LP total time 0 s
3600.01/3610.80 c LP solve time 0 s
3600.01/3610.80 c LP constraints added 0
3600.01/3610.80 c LP constraints removed 0
3600.01/3610.80 c LP pivots internal 0
3600.01/3610.80 c LP pivots root 0
3600.01/3610.80 c LP calls 0
3600.01/3610.80 c LP optimalities 0
3600.01/3610.80 c LP no pivot count 0
3600.01/3610.80 c LP infeasibilities 0
3600.01/3610.80 c LP valid Farkas constraints 0
3600.01/3610.80 c LP learned Farkas constraints 0
3600.01/3610.80 c LP basis resets 0
3600.01/3610.80 c LP cycling count 0
3600.01/3610.80 c LP singular count 0
3600.01/3610.80 c LP no primal count 0
3600.01/3610.80 c LP no farkas count 0
3600.01/3610.80 c LP other issue count 0
3600.01/3610.80 c LP Gomory cuts 0
3600.01/3610.80 c LP learned cuts 0
3600.01/3610.80 c LP deleted cuts 0
3600.01/3610.80 c LP encountered Gomory constraints 0
3600.01/3610.80 c LP encountered Farkas constraints 0
3600.01/3610.80 c LP encountered learned Farkas constraints 0
3600.01/3610.80 c CG auxiliary variables introduced 291
3600.01/3610.80 c CG solutions found 10
3600.01/3610.80 c CG cores constructed 62
3600.01/3610.80 c CG core cardinality constraints returned 0
3600.01/3610.80 c CG unit cores 0
3600.01/3610.80 c CG single cores 62
3600.01/3610.80 c CG blocks removed during cardinality reduction 0
3600.01/3610.80 c CG first core best 0
3600.01/3610.80 c CG decision core best 0
3600.01/3610.80 c CG core reduction tie 0
3600.01/3610.80 c CG core degree average 1.00
3600.01/3610.80 c CG core slack average 6.35
3600.01/3610.80 c CG exhausted 18
3600.01/3610.80 c CG exhaust time 7.06345 s
3600.01/3610.80 c CG trimmed 8
3600.01/3610.80 c CG trim time 0.007782 s
3600.01/3610.80 c CG minimized 0
3600.01/3610.80 c CG minimize time 0 s
3600.01/3610.80 c CG am1 prop time 0.002653 s
3600.01/3610.80 c CG # am1s reformulated 11
3600.01/3610.80 c CG lower bound derived from am1s 14
3600.01/3610.80 c CG # clausal cores 61
3600.01/3610.80 c CG # cardinality cores 0
3600.01/3610.80 c CG # pb cores 1
3600.01/3610.80 c CG # pb reforms 13
3600.01/3610.80 c CG # cores discarded because of pb reform 0
3600.01/3610.80 d LOWERBOUND -165
3600.01/3610.80 d NCORES 62
3600.01/3610.80 d NPBCORES 1
3600.01/3610.80 d NPBREFORM 13
3600.01/3610.80 d NTRIMMED 8
3600.01/3610.80 d NEXHAUSTED 18
3600.01/3610.80 d NAM1S 11
3600.01/3610.80 d AM1LB 14
3600.01/3610.80 o -162
3600.01/3610.80 s SATISFIABLE
3600.01/3610.80 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 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 x1428 -x1429 x1430 -x1431 x1432 -x1433 -x1434 -x1435 x1436 x1437 -x1438 -x1439 -x1440 x1441 -x1442 x1443 -x1444 -x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 x1460 x1461 -x1462 x1463 -x1464 x1465 -x1466 x1467 x1468 -x1469 -x1470 x1471 x1472 -x1473 -x1474 x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 x1490 -x1491 x1492 -x1493 x1494 x1495 -x1496 x1497 -x1498 x1499 -x1500 -x1501 x1502 -x1503 x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 x1511 -x1512 x1513 -x1514 x1515 -x1516 x1517 -x1518 x1519 -x1520 x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 x1557 -x1558 x1559 -x1560 -x1561 x1562 -x1563 -x1564 x1565 -x1566 x1567 -x1568 x1569 -x1570 x1571 -x1572 x1573 x1574 -x1575 x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 x1599 x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 x1610 -x1611 x1612 -x1613 x1614 x1615 -x1616 -x1617 x1618 x1619 -x1620 x1621 -x1622 -x1623 x1624 -x1625 x1626 -x1627 x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 x1647 -x1648 -x1649 -x1650 -x1651 x1652 x1653 -x1654 -x1655 x1656 x1657 -x1658 x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 -x1716 x1717 -x1718 x1719 x1720 -x1721 -x1722 x1723 x1724 -x1725 x1726 -x1727 x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 x1739 x1740 -x1741 -x1742 x1743 x1744 -x1745 x1746 -x1747 x1748 -x1749 -x1750 x1751 -x1752 -x1753 x1754 -x1755 x1756 -x1757 -x1758 x1759 -x1760 x1761 -x1762 x1763 -x1764 x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 x1787 -x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 x1879 x1880 -x1881 x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 x1906 x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 x1955 -x1956 x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 x1979 -x1980 x1981 -x1982 x1983 x1984 -x1985 x1986 -x1987 -x1988 x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 x1996 x1997 -x1998 x1999 -x2000 x2001 -x2002 x2003 -x2004 x2005 -x2006 x2007 -x2008 x2009 -x2010 x2011 -x2012 -x2013 x2014 -x2015 x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 x2025
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: 63708 MiB (62226 MiB free)
memory of node 1: 64465 MiB (64013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499484-1751410904/watcher-4499484-1751410904 -o /tmp/evaluation-result-4499484-1751410904/solver-4499484-1751410904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58220 --watchdog 3760 pb-oll-rs HOME/instance-4499484-1751410904.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58842, runsolver pid=58839
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 58843
/proc/meminfo: memFree=129269764/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=21324 memory=7680 CPUtime=0.09 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 1014 0 0 0 7 2 0 0 20 0 1 0 56767849 21835776 1920 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 5331 1920 1120 243 0 1580 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21324 KiB
Current children cumulated memory: 7680 KiB
[startup+0.205241 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 58843
/proc/meminfo: memFree=129269764/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=25036 memory=14808 CPUtime=0.19 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 2133 0 0 0 15 4 0 0 20 0 1 0 56767849 25636864 3702 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 6259 3702 1344 243 0 2508 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 25036 KiB
Current children cumulated memory: 14808 KiB
[startup+0.305236 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 58843
/proc/meminfo: memFree=129269764/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=25696 memory=15448 CPUtime=0.3 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 2279 0 0 0 25 5 0 0 20 0 1 0 56767849 26312704 3862 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 6424 3862 1344 243 0 2673 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25696 KiB
Current children cumulated memory: 15448 KiB
[startup+0.700121 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 58843
/proc/meminfo: memFree=129269808/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=27876 memory=17684 CPUtime=0.68 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 3086 0 0 0 62 6 0 0 20 0 1 0 56767849 28545024 4421 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 6969 4421 1344 243 0 3218 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27876 KiB
Current children cumulated memory: 17684 KiB
[startup+1.50011 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 58843
/proc/meminfo: memFree=129269052/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=31648 memory=18964 CPUtime=1.48 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 3413 0 0 0 139 9 0 0 20 0 1 0 56767849 32407552 4741 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 7912 4741 1344 243 0 4161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31648 KiB
Current children cumulated memory: 18964 KiB
[startup+3.1049 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 58888
/proc/meminfo: memFree=129269664/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=32176 memory=19476 CPUtime=3.08 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 3550 0 0 0 295 13 0 0 20 0 1 0 56767849 32948224 4869 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 8044 4869 1344 243 0 4293 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32176 KiB
Current children cumulated memory: 19476 KiB
[startup+6.3001 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 58888
/proc/meminfo: memFree=129264396/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=32704 memory=20244 CPUtime=6.27 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 3755 0 0 0 609 18 0 0 20 0 1 0 56767849 33488896 5061 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 8176 5061 1344 243 0 4425 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32704 KiB
Current children cumulated memory: 20244 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 58896
/proc/meminfo: memFree=129272732/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=33100 memory=22164 CPUtime=12.65 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 4260 0 0 0 1237 28 0 0 20 0 1 0 56767849 33894400 5541 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 8275 5541 1344 243 0 4524 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33100 KiB
Current children cumulated memory: 22164 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 58933
/proc/meminfo: memFree=129234656/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=39868 memory=26516 CPUtime=25.42 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 5373 0 0 0 2498 44 0 0 20 0 1 0 56767849 40824832 6629 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 9967 6629 1344 243 0 6216 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39868 KiB
Current children cumulated memory: 26516 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 58934
/proc/meminfo: memFree=129212768/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=43172 memory=32664 CPUtime=50.95 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 6419 0 0 0 5030 65 0 0 20 0 1 0 56767849 44208128 8166 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 10793 8166 1344 243 0 7042 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 43172 KiB
Current children cumulated memory: 32664 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 58936
/proc/meminfo: memFree=129184092/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=53112 memory=39640 CPUtime=102.01 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 7686 0 0 0 10103 98 0 0 20 0 1 0 56767849 54386688 9910 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 13278 9910 1344 243 0 9527 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 53112 KiB
Current children cumulated memory: 39640 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 58942
/proc/meminfo: memFree=129164900/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=55676 memory=44284 CPUtime=161.84 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 8326 0 0 0 16059 125 0 0 20 0 1 0 56767849 57012224 11071 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 13919 11071 1344 243 0 10168 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 55676 KiB
Current children cumulated memory: 44284 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 58988
/proc/meminfo: memFree=129158048/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=67780 memory=46716 CPUtime=221.68 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 8953 0 0 0 22017 151 0 0 20 0 1 0 56767849 69406720 11679 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 16945 11679 1344 243 0 13194 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 67780 KiB
Current children cumulated memory: 46716 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 58990
/proc/meminfo: memFree=129100200/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=70224 memory=51152 CPUtime=281.52 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 9888 0 0 0 27976 176 0 0 20 0 1 0 56767849 71909376 12788 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 17556 12788 1344 243 0 13805 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 51152 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 58992
/proc/meminfo: memFree=129079508/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=70224 memory=51152 CPUtime=341.35 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 9905 0 0 0 33938 197 0 0 20 0 1 0 56767849 71909376 12788 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 17556 12788 1344 243 0 13805 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 51152 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 58994
/proc/meminfo: memFree=129070688/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=71972 memory=54744 CPUtime=401.19 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 10912 0 0 0 39906 213 0 0 20 0 1 0 56767849 73699328 13686 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 17993 13686 1344 243 0 14242 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 71972 KiB
Current children cumulated memory: 54744 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 59000
/proc/meminfo: memFree=129033268/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=73296 memory=56152 CPUtime=461.03 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 11265 0 0 0 45865 238 0 0 20 0 1 0 56767849 75055104 14038 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 18324 14038 1344 243 0 14573 0
################
# More data... #
################
Current children cumulated memory: 93952 KiB
[startup+2862.3 s]
/proc/loadavg: 2.15 2.10 2.39 3/253 59462
/proc/meminfo: memFree=129603552/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=108976 memory=93952 CPUtime=2853.77 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17338 0 0 0 284788 589 0 0 20 0 1 0 56767849 111591424 23488 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27244 23488 1344 243 0 23493 0
Current children cumulated CPU time: 2853.77 s
Current children cumulated vsize: 108976 KiB
Current children cumulated memory: 93952 KiB
[startup+2922.3 s]
/proc/loadavg: 2.05 2.08 2.36 3/254 59469
/proc/meminfo: memFree=129602832/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=108976 memory=93952 CPUtime=2913.59 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17341 0 0 0 290762 597 0 0 20 0 1 0 56767849 111591424 23488 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27244 23488 1344 243 0 23493 0
Current children cumulated CPU time: 2913.59 s
Current children cumulated vsize: 108976 KiB
Current children cumulated memory: 93952 KiB
[startup+2982.3 s]
/proc/loadavg: 2.06 2.08 2.34 3/252 59472
/proc/meminfo: memFree=129602152/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=108976 memory=96084 CPUtime=2973.39 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17344 0 0 0 296734 605 0 0 20 0 1 0 56767849 111591424 24021 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27244 24021 1344 243 0 23493 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 108976 KiB
Current children cumulated memory: 96084 KiB
[startup+3042.3 s]
/proc/loadavg: 2.12 2.09 2.33 3/253 59474
/proc/meminfo: memFree=129599048/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3033.21 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17963 0 0 0 302709 612 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.09 2.31 3/252 59476
/proc/meminfo: memFree=129598632/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3093.02 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17963 0 0 0 308684 618 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3162.3 s]
/proc/loadavg: 2.15 2.10 2.30 3/253 59479
/proc/meminfo: memFree=129597584/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3152.84 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17963 0 0 0 314659 625 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.10 2.28 3/253 59484
/proc/meminfo: memFree=129593936/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3212.66 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17977 0 0 0 320634 632 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.09 2.27 3/253 59486
/proc/meminfo: memFree=129593060/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3272.49 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17977 0 0 0 326607 642 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3342.3 s]
/proc/loadavg: 2.14 2.10 2.26 3/253 59488
/proc/meminfo: memFree=129591108/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3332.31 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17980 0 0 0 332584 647 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.09 2.25 3/253 59490
/proc/meminfo: memFree=129590964/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3392.13 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17982 0 0 0 338559 654 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.11 2.24 3/253 59493
/proc/meminfo: memFree=129584416/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=111368 memory=100564 CPUtime=3451.95 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 17985 0 0 0 344535 660 0 0 20 0 1 0 56767849 114040832 25141 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 27842 25141 1344 243 0 24091 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 100564 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.10 2.23 3/253 59499
/proc/meminfo: memFree=129580672/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=113792 memory=102996 CPUtime=3511.76 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 18605 0 0 0 350511 665 0 0 20 0 1 0 56767849 116523008 25749 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 28448 25749 1344 243 0 24697 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 113792 KiB
Current children cumulated memory: 102996 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.09 2.22 3/253 59516
/proc/meminfo: memFree=129580184/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=113792 memory=102996 CPUtime=3571.59 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 18605 0 0 0 356487 672 0 0 20 0 1 0 56767849 116523008 25749 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 28448 25749 1344 243 0 24697 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 113792 KiB
Current children cumulated memory: 102996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 2.12 2.10 2.22 3/252 59576
/proc/meminfo: memFree=129622100/131249996 swapFree=33006296/33010684
[pid=58842] ppid=58839 vsize=113792 memory=102996 CPUtime=3600.01 cores=1,3
/proc/58842/stat : 58842 (pb-oll-rs) R 58839 58842 58208 0 -1 4194304 18605 0 0 0 359325 676 0 0 20 0 1 0 56767849 116523008 25749 18446744073709551615 4218880 5211445 140733906857824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 28573696 140733906864540 140733906864617 140733906864617 140733906870219 0
/proc/58842/statm: 28448 25749 1344 243 0 24697 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 113792 KiB
Current children cumulated memory: 102996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 58842 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.25 s, system=6.76339 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.8
CPU time (s): 3600.02
CPU user time (s): 3593.25
CPU system time (s): 6.76339
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 113792
Max. memory (cumulated for all children) (KiB): 102996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.25
system time used= 6.76339
maximum resident set size= 103508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18621
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= 115
involuntary context switches= 4800
# summary of solver processes directly reported to runsolver:
# pid: 58842
# total CPU time (s): 3600.02
# total CPU user time (s): 3593.25
# total CPU system time (s): 6.76339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26789 second user time and 15.1169 second system time
The end
Begin job on nodeC015 at 2025-07-02 01:01:44
IDJOB=4499484
IDBENCH=148780
IDSOLVER=3345
FILE ID=nodeC015/4499484-1751410904
RUNJOBID= nodeC015-1751407286-58220
SLURM_JOB_ID= 9598303
Free space on /tmp= 432732 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499484-1751410904/watcher-4499484-1751410904 -o /tmp/evaluation-result-4499484-1751410904/solver-4499484-1751410904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58220 --watchdog 3760 pb-oll-rs HOME/instance-4499484-1751410904.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 574dfa7826774941f0083ceba62feb56
RANDOM SEED=1322816992
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.051
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.563
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.907
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.308
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129269380 kB
MemAvailable: 129260896 kB
Buffers: 1508 kB
Cached: 776676 kB
SwapCached: 3880 kB
Active: 795056 kB
Inactive: 539496 kB
Active(anon): 521656 kB
Inactive(anon): 48868 kB
Active(file): 273400 kB
Inactive(file): 490628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5400 kB
Writeback: 28 kB
AnonPages: 555692 kB
Mapped: 103820 kB
Shmem: 14152 kB
KReclaimable: 133452 kB
Slab: 222656 kB
SReclaimable: 133452 kB
SUnreclaim: 89204 kB
KernelStack: 4288 kB
PageTables: 4324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1052936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 114688 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432724 MiB
End job on nodeC015 at 2025-07-02 02:01:55