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.19/0.25 c [STEP] solving
0.19/0.25 c #variables 4356 #constraints 100680
0.19/0.25 c SMALL=int, LARGE=long long
0.19/0.25 c bounds - >= -300660 @ 0.182351
0.19/0.25 c stratification level: 427
0.19/0.26 c bounds - >= -300233 @ 0.187364
0.19/0.26 c finalizing WCE round: reformulating cores
1.78/1.87 c bounds -13902 >= -300233 @ 1.73795
1.78/1.87 c bounds -15272 >= -300233 @ 1.7609
1.78/1.87 c stratification level: 425
1.88/1.92 c bounds -15272 >= -299808 @ 1.79733
1.88/1.92 c finalizing WCE round: reformulating cores
1.88/1.97 c bounds -15324 >= -299808 @ 1.8494
1.88/1.97 c bounds -16327 >= -299808 @ 1.86211
1.88/1.97 c stratification level: 422
8.55/8.65 c bounds -16327 >= -299386 @ 1.88108
8.55/8.65 c #Conflicts: 1000 | #Constraints: 101692
8.55/8.65 c #Conflicts: 2000 | #Constraints: 102692
8.55/8.65 c INPROCESSING
8.55/8.65 c GARBAGE COLLECT
8.55/8.65 c #Conflicts: 3000 | #Constraints: 102690
8.55/8.65 c finalizing WCE round: reformulating cores
22.03/22.16 c #Conflicts: 4000 | #Constraints: 103693
22.03/22.16 c INPROCESSING
22.03/22.16 c GARBAGE COLLECT
22.03/22.16 c bounds -16388 >= -299386 @ 11.9981
22.03/22.16 c #Conflicts: 5000 | #Constraints: 103100
22.03/22.16 c #Conflicts: 6000 | #Constraints: 104100
22.03/22.16 c INPROCESSING
22.03/22.16 c GARBAGE COLLECT
22.03/22.16 c bounds -16389 >= -299386 @ 21.856
22.03/22.16 c stratification level: 417
186.61/187.11 c bounds -16389 >= -298969 @ 21.9328
186.61/187.11 c #Conflicts: 7000 | #Constraints: 103102
186.61/187.11 c #Conflicts: 8000 | #Constraints: 104102
186.61/187.11 c #Conflicts: 9000 | #Constraints: 105102
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 10000 | #Constraints: 103816
186.61/187.11 c #Conflicts: 11000 | #Constraints: 104816
186.61/187.11 c #Conflicts: 12000 | #Constraints: 105816
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 13000 | #Constraints: 104257
186.61/187.11 c #Conflicts: 14000 | #Constraints: 105257
186.61/187.11 c #Conflicts: 15000 | #Constraints: 106257
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 16000 | #Constraints: 104483
186.61/187.11 c #Conflicts: 17000 | #Constraints: 105483
186.61/187.11 c #Conflicts: 18000 | #Constraints: 106483
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 19000 | #Constraints: 104500
186.61/187.11 c #Conflicts: 20000 | #Constraints: 105500
186.61/187.11 c #Conflicts: 21000 | #Constraints: 106500
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 22000 | #Constraints: 104304
186.61/187.11 c #Conflicts: 23000 | #Constraints: 105304
186.61/187.11 c #Conflicts: 24000 | #Constraints: 106304
186.61/187.11 c #Conflicts: 25000 | #Constraints: 107304
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 26000 | #Constraints: 104910
186.61/187.11 c #Conflicts: 27000 | #Constraints: 105910
186.61/187.11 c #Conflicts: 28000 | #Constraints: 106910
186.61/187.11 c #Conflicts: 29000 | #Constraints: 107910
186.61/187.11 c INPROCESSING
186.61/187.11 c GARBAGE COLLECT
186.61/187.11 c #Conflicts: 30000 | #Constraints: 105307
186.61/187.11 c finalizing WCE round: reformulating cores
298.35/299.12 c #Conflicts: 31000 | #Constraints: 106310
298.35/299.12 c bounds -16400 >= -298969 @ 188.78
298.35/299.12 c #Conflicts: 32000 | #Constraints: 107310
298.35/299.12 c #Conflicts: 33000 | #Constraints: 108310
298.35/299.12 c INPROCESSING
298.35/299.12 c GARBAGE COLLECT
298.35/299.12 c #Conflicts: 34000 | #Constraints: 105512
298.35/299.12 c #Conflicts: 35000 | #Constraints: 106512
298.35/299.12 c #Conflicts: 36000 | #Constraints: 107512
298.35/299.12 c #Conflicts: 37000 | #Constraints: 108512
298.35/299.12 c INPROCESSING
298.35/299.12 c GARBAGE COLLECT
298.35/299.12 c #Conflicts: 38000 | #Constraints: 105513
298.35/299.12 c #Conflicts: 39000 | #Constraints: 106513
298.35/299.12 c #Conflicts: 40000 | #Constraints: 107513
298.35/299.12 c #Conflicts: 41000 | #Constraints: 108513
298.35/299.12 c INPROCESSING
298.35/299.12 c GARBAGE COLLECT
298.35/299.12 c #Conflicts: 42000 | #Constraints: 105324
298.35/299.12 c #Conflicts: 43000 | #Constraints: 106324
298.35/299.12 c #Conflicts: 44000 | #Constraints: 107324
298.35/299.12 c #Conflicts: 45000 | #Constraints: 108324
298.35/299.12 c #Conflicts: 46000 | #Constraints: 109324
298.35/299.12 c INPROCESSING
298.35/299.12 c GARBAGE COLLECT
298.35/299.12 c #Conflicts: 47000 | #Constraints: 105922
298.35/299.12 c #Conflicts: 48000 | #Constraints: 106922
298.35/299.12 c #Conflicts: 49000 | #Constraints: 107922
298.35/299.12 c #Conflicts: 50000 | #Constraints: 108922
298.35/299.12 c #Conflicts: 51000 | #Constraints: 109922
298.35/299.12 c INPROCESSING
298.35/299.12 c GARBAGE COLLECT
298.35/299.12 c bounds -16404 >= -298969 @ 297.352
298.35/299.12 c stratification level: 413
298.54/299.34 c bounds -16404 >= -298553 @ 297.448
298.54/299.34 c bounds -16404 >= -298140 @ 297.478
298.54/299.34 c bounds -16404 >= -297727 @ 297.523
298.54/299.34 c finalizing WCE round: reformulating cores
367.37/368.36 c #Conflicts: 52000 | #Constraints: 106330
367.37/368.36 c #Conflicts: 53000 | #Constraints: 107332
367.37/368.36 c bounds -16415 >= -297727 @ 304.691
367.37/368.36 c #Conflicts: 54000 | #Constraints: 108332
367.37/368.36 c #Conflicts: 55000 | #Constraints: 109332
367.37/368.36 c #Conflicts: 56000 | #Constraints: 110332
367.37/368.36 c INPROCESSING
367.37/368.36 c GARBAGE COLLECT
367.37/368.36 c #Conflicts: 57000 | #Constraints: 106522
367.37/368.36 c #Conflicts: 58000 | #Constraints: 107522
367.37/368.36 c #Conflicts: 59000 | #Constraints: 108522
367.37/368.36 c #Conflicts: 60000 | #Constraints: 109522
367.37/368.36 c #Conflicts: 61000 | #Constraints: 110522
367.37/368.36 c INPROCESSING
367.37/368.36 c GARBAGE COLLECT
367.37/368.36 c #Conflicts: 62000 | #Constraints: 106521
367.37/368.36 c #Conflicts: 63000 | #Constraints: 107521
367.37/368.36 c #Conflicts: 64000 | #Constraints: 108521
367.37/368.36 c #Conflicts: 65000 | #Constraints: 109521
367.37/368.36 c bounds -16423 >= -297727 @ 366.253
367.37/368.36 c stratification level: 380
390.12/391.14 c bounds -16423 >= -297316 @ 366.891
390.12/391.14 c bounds -16423 >= -296908 @ 366.949
390.12/391.14 c bounds -16423 >= -296504 @ 366.991
390.12/391.14 c bounds -16423 >= -296102 @ 367.059
390.12/391.14 c bounds -16423 >= -295719 @ 367.126
390.12/391.14 c bounds -16423 >= -295320 @ 367.199
390.12/391.14 c bounds -16423 >= -294924 @ 367.279
390.12/391.14 c bounds -16423 >= -294535 @ 367.356
390.12/391.14 c bounds -16423 >= -294147 @ 367.426
390.12/391.14 c bounds -16423 >= -293761 @ 367.481
390.12/391.14 c bounds -16423 >= -293380 @ 367.536
390.12/391.14 c bounds -16423 >= -292999 @ 367.603
390.12/391.14 c bounds -16423 >= -292619 @ 367.638
390.12/391.14 c #Conflicts: 66000 | #Constraints: 110542
390.12/391.14 c INPROCESSING
390.12/391.14 c GARBAGE COLLECT
390.12/391.14 c #Conflicts: 67000 | #Constraints: 106329
390.12/391.14 c #Conflicts: 68000 | #Constraints: 107329
390.12/391.14 c #Conflicts: 69000 | #Constraints: 108329
390.12/391.14 c #Conflicts: 70000 | #Constraints: 109329
390.12/391.14 c #Conflicts: 71000 | #Constraints: 110329
390.12/391.14 c #Conflicts: 72000 | #Constraints: 111329
390.12/391.14 c finalizing WCE round: reformulating cores
420.15/421.26 c INPROCESSING
420.15/421.26 c GARBAGE COLLECT
420.15/421.26 c #Conflicts: 73000 | #Constraints: 106926
420.15/421.26 c #Conflicts: 74000 | #Constraints: 107928
420.15/421.26 c #Conflicts: 75000 | #Constraints: 108930
420.15/421.26 c #Conflicts: 76000 | #Constraints: 109934
420.15/421.26 c #Conflicts: 77000 | #Constraints: 110936
420.15/421.26 c #Conflicts: 78000 | #Constraints: 111938
420.15/421.26 c INPROCESSING
420.15/421.26 c GARBAGE COLLECT
420.15/421.26 c #Conflicts: 79000 | #Constraints: 107335
420.15/421.26 c #Conflicts: 80000 | #Constraints: 108337
420.15/421.26 c #Conflicts: 81000 | #Constraints: 109339
420.15/421.26 c #Conflicts: 82000 | #Constraints: 110343
420.15/421.26 c bounds -16424 >= -292619 @ 417.92
420.15/421.26 c bounds -16424 >= -292238 @ 418.049
420.15/421.26 c bounds -16424 >= -291858 @ 418.735
420.15/421.26 c finalizing WCE round: reformulating cores
427.03/428.16 c #Conflicts: 83000 | #Constraints: 111348
427.03/428.16 c #Conflicts: 84000 | #Constraints: 112350
427.03/428.16 c INPROCESSING
427.03/428.16 c GARBAGE COLLECT
427.03/428.16 c bounds -16432 >= -291858 @ 425.644
427.03/428.16 c bounds -16559 >= -291858 @ 425.702
427.03/428.16 c stratification level: 378
728.31/730.15 c bounds -16559 >= -291480 @ 425.797
728.31/730.15 c #Conflicts: 85000 | #Constraints: 107553
728.31/730.15 c #Conflicts: 86000 | #Constraints: 108553
728.31/730.15 c #Conflicts: 87000 | #Constraints: 109553
728.31/730.15 c #Conflicts: 88000 | #Constraints: 110553
728.31/730.15 c #Conflicts: 89000 | #Constraints: 111553
728.31/730.15 c #Conflicts: 90000 | #Constraints: 112553
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 91000 | #Constraints: 107556
728.31/730.15 c #Conflicts: 92000 | #Constraints: 108556
728.31/730.15 c #Conflicts: 93000 | #Constraints: 109556
728.31/730.15 c #Conflicts: 94000 | #Constraints: 110556
728.31/730.15 c #Conflicts: 95000 | #Constraints: 111556
728.31/730.15 c #Conflicts: 96000 | #Constraints: 112556
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 97000 | #Constraints: 107366
728.31/730.15 c #Conflicts: 98000 | #Constraints: 108366
728.31/730.15 c #Conflicts: 99000 | #Constraints: 109366
728.31/730.15 c #Conflicts: 100000 | #Constraints: 110366
728.31/730.15 c #Conflicts: 101000 | #Constraints: 111366
728.31/730.15 c #Conflicts: 102000 | #Constraints: 112366
728.31/730.15 c #Conflicts: 103000 | #Constraints: 113366
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 104000 | #Constraints: 107954
728.31/730.15 c #Conflicts: 105000 | #Constraints: 108954
728.31/730.15 c #Conflicts: 106000 | #Constraints: 109954
728.31/730.15 c #Conflicts: 107000 | #Constraints: 110954
728.31/730.15 c #Conflicts: 108000 | #Constraints: 111954
728.31/730.15 c #Conflicts: 109000 | #Constraints: 112954
728.31/730.15 c #Conflicts: 110000 | #Constraints: 113954
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 111000 | #Constraints: 108358
728.31/730.15 c #Conflicts: 112000 | #Constraints: 109358
728.31/730.15 c #Conflicts: 113000 | #Constraints: 110358
728.31/730.15 c #Conflicts: 114000 | #Constraints: 111358
728.31/730.15 c #Conflicts: 115000 | #Constraints: 112358
728.31/730.15 c #Conflicts: 116000 | #Constraints: 113358
728.31/730.15 c #Conflicts: 117000 | #Constraints: 114358
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 118000 | #Constraints: 108548
728.31/730.15 c #Conflicts: 119000 | #Constraints: 109548
728.31/730.15 c #Conflicts: 120000 | #Constraints: 110548
728.31/730.15 c #Conflicts: 121000 | #Constraints: 111548
728.31/730.15 c #Conflicts: 122000 | #Constraints: 112548
728.31/730.15 c #Conflicts: 123000 | #Constraints: 113548
728.31/730.15 c #Conflicts: 124000 | #Constraints: 114548
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 125000 | #Constraints: 108548
728.31/730.15 c #Conflicts: 126000 | #Constraints: 109548
728.31/730.15 c #Conflicts: 127000 | #Constraints: 110548
728.31/730.15 c #Conflicts: 128000 | #Constraints: 111548
728.31/730.15 c #Conflicts: 129000 | #Constraints: 112548
728.31/730.15 c #Conflicts: 130000 | #Constraints: 113548
728.31/730.15 c #Conflicts: 131000 | #Constraints: 114548
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 132000 | #Constraints: 108346
728.31/730.15 c #Conflicts: 133000 | #Constraints: 109346
728.31/730.15 c #Conflicts: 134000 | #Constraints: 110346
728.31/730.15 c #Conflicts: 135000 | #Constraints: 111346
728.31/730.15 c #Conflicts: 136000 | #Constraints: 112346
728.31/730.15 c #Conflicts: 137000 | #Constraints: 113346
728.31/730.15 c #Conflicts: 138000 | #Constraints: 114346
728.31/730.15 c #Conflicts: 139000 | #Constraints: 115346
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 140000 | #Constraints: 108952
728.31/730.15 c #Conflicts: 141000 | #Constraints: 109952
728.31/730.15 c #Conflicts: 142000 | #Constraints: 110952
728.31/730.15 c #Conflicts: 143000 | #Constraints: 111952
728.31/730.15 c #Conflicts: 144000 | #Constraints: 112952
728.31/730.15 c #Conflicts: 145000 | #Constraints: 113952
728.31/730.15 c #Conflicts: 146000 | #Constraints: 114952
728.31/730.15 c #Conflicts: 147000 | #Constraints: 115952
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 148000 | #Constraints: 109351
728.31/730.15 c #Conflicts: 149000 | #Constraints: 110351
728.31/730.15 c #Conflicts: 150000 | #Constraints: 111351
728.31/730.15 c #Conflicts: 151000 | #Constraints: 112351
728.31/730.15 c #Conflicts: 152000 | #Constraints: 113351
728.31/730.15 c #Conflicts: 153000 | #Constraints: 114351
728.31/730.15 c #Conflicts: 154000 | #Constraints: 115351
728.31/730.15 c #Conflicts: 155000 | #Constraints: 116351
728.31/730.15 c INPROCESSING
728.31/730.15 c GARBAGE COLLECT
728.31/730.15 c #Conflicts: 156000 | #Constraints: 109557
1192.96/1195.95 c #Conflicts: 157000 | #Constraints: 110557
1192.96/1195.95 c #Conflicts: 158000 | #Constraints: 111557
1192.96/1195.95 c #Conflicts: 159000 | #Constraints: 112557
1192.96/1195.95 c #Conflicts: 160000 | #Constraints: 113557
1192.96/1195.95 c #Conflicts: 161000 | #Constraints: 114557
1192.96/1195.95 c #Conflicts: 162000 | #Constraints: 115557
1192.96/1195.95 c #Conflicts: 163000 | #Constraints: 116557
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 164000 | #Constraints: 109579
1192.96/1195.95 c #Conflicts: 165000 | #Constraints: 110579
1192.96/1195.95 c #Conflicts: 166000 | #Constraints: 111579
1192.96/1195.95 c #Conflicts: 167000 | #Constraints: 112579
1192.96/1195.95 c #Conflicts: 168000 | #Constraints: 113579
1192.96/1195.95 c #Conflicts: 169000 | #Constraints: 114579
1192.96/1195.95 c #Conflicts: 170000 | #Constraints: 115579
1192.96/1195.95 c #Conflicts: 171000 | #Constraints: 116579
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 172000 | #Constraints: 109379
1192.96/1195.95 c #Conflicts: 173000 | #Constraints: 110379
1192.96/1195.95 c #Conflicts: 174000 | #Constraints: 111379
1192.96/1195.95 c #Conflicts: 175000 | #Constraints: 112379
1192.96/1195.95 c #Conflicts: 176000 | #Constraints: 113379
1192.96/1195.95 c #Conflicts: 177000 | #Constraints: 114379
1192.96/1195.95 c #Conflicts: 178000 | #Constraints: 115379
1192.96/1195.95 c #Conflicts: 179000 | #Constraints: 116379
1192.96/1195.95 c #Conflicts: 180000 | #Constraints: 117379
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 181000 | #Constraints: 109965
1192.96/1195.95 c #Conflicts: 182000 | #Constraints: 110965
1192.96/1195.95 c #Conflicts: 183000 | #Constraints: 111965
1192.96/1195.95 c #Conflicts: 184000 | #Constraints: 112965
1192.96/1195.95 c #Conflicts: 185000 | #Constraints: 113965
1192.96/1195.95 c #Conflicts: 186000 | #Constraints: 114965
1192.96/1195.95 c #Conflicts: 187000 | #Constraints: 115965
1192.96/1195.95 c #Conflicts: 188000 | #Constraints: 116965
1192.96/1195.95 c #Conflicts: 189000 | #Constraints: 117965
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 190000 | #Constraints: 110374
1192.96/1195.95 c #Conflicts: 191000 | #Constraints: 111374
1192.96/1195.95 c #Conflicts: 192000 | #Constraints: 112374
1192.96/1195.95 c #Conflicts: 193000 | #Constraints: 113374
1192.96/1195.95 c #Conflicts: 194000 | #Constraints: 114374
1192.96/1195.95 c #Conflicts: 195000 | #Constraints: 115374
1192.96/1195.95 c #Conflicts: 196000 | #Constraints: 116374
1192.96/1195.95 c #Conflicts: 197000 | #Constraints: 117374
1192.96/1195.95 c #Conflicts: 198000 | #Constraints: 118374
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 199000 | #Constraints: 110591
1192.96/1195.95 c #Conflicts: 200000 | #Constraints: 111591
1192.96/1195.95 c #Conflicts: 201000 | #Constraints: 112591
1192.96/1195.95 c #Conflicts: 202000 | #Constraints: 113591
1192.96/1195.95 c #Conflicts: 203000 | #Constraints: 114591
1192.96/1195.95 c #Conflicts: 204000 | #Constraints: 115591
1192.96/1195.95 c #Conflicts: 205000 | #Constraints: 116591
1192.96/1195.95 c #Conflicts: 206000 | #Constraints: 117591
1192.96/1195.95 c #Conflicts: 207000 | #Constraints: 118591
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 208000 | #Constraints: 110650
1192.96/1195.95 c #Conflicts: 209000 | #Constraints: 111650
1192.96/1195.95 c #Conflicts: 210000 | #Constraints: 112650
1192.96/1195.95 c #Conflicts: 211000 | #Constraints: 113650
1192.96/1195.95 c #Conflicts: 212000 | #Constraints: 114650
1192.96/1195.95 c #Conflicts: 213000 | #Constraints: 115650
1192.96/1195.95 c #Conflicts: 214000 | #Constraints: 116650
1192.96/1195.95 c #Conflicts: 215000 | #Constraints: 117650
1192.96/1195.95 c #Conflicts: 216000 | #Constraints: 118650
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 217000 | #Constraints: 110427
1192.96/1195.95 c #Conflicts: 218000 | #Constraints: 111427
1192.96/1195.95 c #Conflicts: 219000 | #Constraints: 112427
1192.96/1195.95 c #Conflicts: 220000 | #Constraints: 113427
1192.96/1195.95 c #Conflicts: 221000 | #Constraints: 114427
1192.96/1195.95 c #Conflicts: 222000 | #Constraints: 115427
1192.96/1195.95 c #Conflicts: 223000 | #Constraints: 116427
1192.96/1195.95 c #Conflicts: 224000 | #Constraints: 117427
1192.96/1195.95 c #Conflicts: 225000 | #Constraints: 118427
1192.96/1195.95 c #Conflicts: 226000 | #Constraints: 119427
1192.96/1195.95 c INPROCESSING
1192.96/1195.95 c GARBAGE COLLECT
1192.96/1195.95 c #Conflicts: 227000 | #Constraints: 111008
1192.96/1195.95 c #Conflicts: 228000 | #Constraints: 112008
1192.96/1195.95 c #Conflicts: 229000 | #Constraints: 113008
1192.96/1195.95 c #Conflicts: 230000 | #Constraints: 114008
1543.76/1547.68 c #Conflicts: 231000 | #Constraints: 115008
1543.76/1547.68 c #Conflicts: 232000 | #Constraints: 116008
1543.76/1547.68 c #Conflicts: 233000 | #Constraints: 117008
1543.76/1547.68 c #Conflicts: 234000 | #Constraints: 118008
1543.76/1547.68 c #Conflicts: 235000 | #Constraints: 119008
1543.76/1547.68 c #Conflicts: 236000 | #Constraints: 120008
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 237000 | #Constraints: 111378
1543.76/1547.68 c #Conflicts: 238000 | #Constraints: 112378
1543.76/1547.68 c #Conflicts: 239000 | #Constraints: 113378
1543.76/1547.68 c #Conflicts: 240000 | #Constraints: 114378
1543.76/1547.68 c #Conflicts: 241000 | #Constraints: 115378
1543.76/1547.68 c #Conflicts: 242000 | #Constraints: 116378
1543.76/1547.68 c #Conflicts: 243000 | #Constraints: 117378
1543.76/1547.68 c #Conflicts: 244000 | #Constraints: 118378
1543.76/1547.68 c #Conflicts: 245000 | #Constraints: 119378
1543.76/1547.68 c #Conflicts: 246000 | #Constraints: 120378
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 247000 | #Constraints: 111578
1543.76/1547.68 c #Conflicts: 248000 | #Constraints: 112578
1543.76/1547.68 c #Conflicts: 249000 | #Constraints: 113578
1543.76/1547.68 c #Conflicts: 250000 | #Constraints: 114578
1543.76/1547.68 c #Conflicts: 251000 | #Constraints: 115578
1543.76/1547.68 c #Conflicts: 252000 | #Constraints: 116578
1543.76/1547.68 c #Conflicts: 253000 | #Constraints: 117578
1543.76/1547.68 c #Conflicts: 254000 | #Constraints: 118578
1543.76/1547.68 c #Conflicts: 255000 | #Constraints: 119578
1543.76/1547.68 c #Conflicts: 256000 | #Constraints: 120578
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 257000 | #Constraints: 111570
1543.76/1547.68 c #Conflicts: 258000 | #Constraints: 112570
1543.76/1547.68 c #Conflicts: 259000 | #Constraints: 113570
1543.76/1547.68 c #Conflicts: 260000 | #Constraints: 114570
1543.76/1547.68 c #Conflicts: 261000 | #Constraints: 115570
1543.76/1547.68 c #Conflicts: 262000 | #Constraints: 116570
1543.76/1547.68 c #Conflicts: 263000 | #Constraints: 117570
1543.76/1547.68 c #Conflicts: 264000 | #Constraints: 118570
1543.76/1547.68 c #Conflicts: 265000 | #Constraints: 119570
1543.76/1547.68 c #Conflicts: 266000 | #Constraints: 120570
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 267000 | #Constraints: 111380
1543.76/1547.68 c #Conflicts: 268000 | #Constraints: 112380
1543.76/1547.68 c #Conflicts: 269000 | #Constraints: 113380
1543.76/1547.68 c #Conflicts: 270000 | #Constraints: 114380
1543.76/1547.68 c #Conflicts: 271000 | #Constraints: 115380
1543.76/1547.68 c #Conflicts: 272000 | #Constraints: 116380
1543.76/1547.68 c #Conflicts: 273000 | #Constraints: 117380
1543.76/1547.68 c #Conflicts: 274000 | #Constraints: 118380
1543.76/1547.68 c #Conflicts: 275000 | #Constraints: 119380
1543.76/1547.68 c #Conflicts: 276000 | #Constraints: 120380
1543.76/1547.68 c #Conflicts: 277000 | #Constraints: 121380
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 278000 | #Constraints: 111966
1543.76/1547.68 c #Conflicts: 279000 | #Constraints: 112966
1543.76/1547.68 c #Conflicts: 280000 | #Constraints: 113966
1543.76/1547.68 c #Conflicts: 281000 | #Constraints: 114966
1543.76/1547.68 c #Conflicts: 282000 | #Constraints: 115966
1543.76/1547.68 c #Conflicts: 283000 | #Constraints: 116966
1543.76/1547.68 c #Conflicts: 284000 | #Constraints: 117966
1543.76/1547.68 c #Conflicts: 285000 | #Constraints: 118966
1543.76/1547.68 c #Conflicts: 286000 | #Constraints: 119966
1543.76/1547.68 c #Conflicts: 287000 | #Constraints: 120966
1543.76/1547.68 c #Conflicts: 288000 | #Constraints: 121966
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 289000 | #Constraints: 112359
1543.76/1547.68 c #Conflicts: 290000 | #Constraints: 113359
1543.76/1547.68 c #Conflicts: 291000 | #Constraints: 114359
1543.76/1547.68 c #Conflicts: 292000 | #Constraints: 115359
1543.76/1547.68 c #Conflicts: 293000 | #Constraints: 116359
1543.76/1547.68 c #Conflicts: 294000 | #Constraints: 117359
1543.76/1547.68 c #Conflicts: 295000 | #Constraints: 118359
1543.76/1547.68 c #Conflicts: 296000 | #Constraints: 119359
1543.76/1547.68 c #Conflicts: 297000 | #Constraints: 120359
1543.76/1547.68 c #Conflicts: 298000 | #Constraints: 121359
1543.76/1547.68 c #Conflicts: 299000 | #Constraints: 122359
1543.76/1547.68 c INPROCESSING
1543.76/1547.68 c GARBAGE COLLECT
1543.76/1547.68 c #Conflicts: 300000 | #Constraints: 112570
1543.76/1547.68 c #Conflicts: 301000 | #Constraints: 113570
1543.76/1547.68 c #Conflicts: 302000 | #Constraints: 114570
1543.76/1547.68 c #Conflicts: 303000 | #Constraints: 115570
1543.76/1547.68 c #Conflicts: 304000 | #Constraints: 116570
1997.50/2002.54 c #Conflicts: 305000 | #Constraints: 117570
1997.50/2002.54 c #Conflicts: 306000 | #Constraints: 118570
1997.50/2002.54 c #Conflicts: 307000 | #Constraints: 119570
1997.50/2002.54 c #Conflicts: 308000 | #Constraints: 120570
1997.50/2002.54 c #Conflicts: 309000 | #Constraints: 121570
1997.50/2002.54 c #Conflicts: 310000 | #Constraints: 122570
1997.50/2002.54 c INPROCESSING
1997.50/2002.54 c GARBAGE COLLECT
1997.50/2002.54 c #Conflicts: 311000 | #Constraints: 112567
1997.50/2002.54 c #Conflicts: 312000 | #Constraints: 113567
1997.50/2002.54 c #Conflicts: 313000 | #Constraints: 114567
1997.50/2002.54 c #Conflicts: 314000 | #Constraints: 115567
1997.50/2002.54 c #Conflicts: 315000 | #Constraints: 116567
1997.50/2002.54 c #Conflicts: 316000 | #Constraints: 117567
1997.50/2002.54 c #Conflicts: 317000 | #Constraints: 118567
1997.50/2002.54 c #Conflicts: 318000 | #Constraints: 119567
1997.50/2002.54 c #Conflicts: 319000 | #Constraints: 120567
1997.50/2002.54 c #Conflicts: 320000 | #Constraints: 121567
1997.50/2002.54 c #Conflicts: 321000 | #Constraints: 122567
1997.50/2002.54 c INPROCESSING
1997.50/2002.54 c GARBAGE COLLECT
1997.50/2002.54 c #Conflicts: 322000 | #Constraints: 112379
1997.50/2002.54 c #Conflicts: 323000 | #Constraints: 113379
1997.50/2002.54 c #Conflicts: 324000 | #Constraints: 114379
1997.50/2002.54 c #Conflicts: 325000 | #Constraints: 115379
1997.50/2002.54 c #Conflicts: 326000 | #Constraints: 116379
1997.50/2002.54 c #Conflicts: 327000 | #Constraints: 117379
1997.50/2002.54 c #Conflicts: 328000 | #Constraints: 118379
1997.50/2002.54 c #Conflicts: 329000 | #Constraints: 119379
1997.50/2002.54 c #Conflicts: 330000 | #Constraints: 120379
1997.50/2002.54 c #Conflicts: 331000 | #Constraints: 121379
1997.50/2002.54 c #Conflicts: 332000 | #Constraints: 122379
1997.50/2002.54 c #Conflicts: 333000 | #Constraints: 123379
1997.50/2002.54 c INPROCESSING
1997.50/2002.54 c GARBAGE COLLECT
1997.50/2002.54 c #Conflicts: 334000 | #Constraints: 112979
1997.50/2002.54 c #Conflicts: 335000 | #Constraints: 113979
1997.50/2002.54 c #Conflicts: 336000 | #Constraints: 114979
1997.50/2002.54 c #Conflicts: 337000 | #Constraints: 115979
1997.50/2002.54 c #Conflicts: 338000 | #Constraints: 116979
1997.50/2002.54 c #Conflicts: 339000 | #Constraints: 117979
1997.50/2002.54 c #Conflicts: 340000 | #Constraints: 118979
1997.50/2002.54 c #Conflicts: 341000 | #Constraints: 119979
1997.50/2002.54 c #Conflicts: 342000 | #Constraints: 120979
1997.50/2002.54 c #Conflicts: 343000 | #Constraints: 121979
1997.50/2002.54 c #Conflicts: 344000 | #Constraints: 122979
1997.50/2002.54 c #Conflicts: 345000 | #Constraints: 123979
1997.50/2002.54 c INPROCESSING
1997.50/2002.54 c GARBAGE COLLECT
1997.50/2002.54 c #Conflicts: 346000 | #Constraints: 113368
1997.50/2002.54 c #Conflicts: 347000 | #Constraints: 114368
1997.50/2002.54 c #Conflicts: 348000 | #Constraints: 115368
1997.50/2002.54 c #Conflicts: 349000 | #Constraints: 116368
1997.50/2002.54 c #Conflicts: 350000 | #Constraints: 117368
1997.50/2002.54 c #Conflicts: 351000 | #Constraints: 118368
1997.50/2002.54 c #Conflicts: 352000 | #Constraints: 119368
1997.50/2002.54 c #Conflicts: 353000 | #Constraints: 120368
1997.50/2002.54 c #Conflicts: 354000 | #Constraints: 121368
1997.50/2002.54 c #Conflicts: 355000 | #Constraints: 122368
1997.50/2002.54 c #Conflicts: 356000 | #Constraints: 123368
1997.50/2002.54 c #Conflicts: 357000 | #Constraints: 124368
1997.50/2002.54 c INPROCESSING
1997.50/2002.54 c GARBAGE COLLECT
1997.50/2002.54 c #Conflicts: 358000 | #Constraints: 113572
1997.50/2002.54 c #Conflicts: 359000 | #Constraints: 114572
1997.50/2002.54 c #Conflicts: 360000 | #Constraints: 115572
1997.50/2002.54 c #Conflicts: 361000 | #Constraints: 116572
1997.50/2002.54 c #Conflicts: 362000 | #Constraints: 117572
1997.50/2002.54 c #Conflicts: 363000 | #Constraints: 118572
1997.50/2002.54 c #Conflicts: 364000 | #Constraints: 119572
1997.50/2002.54 c #Conflicts: 365000 | #Constraints: 120572
1997.50/2002.54 c #Conflicts: 366000 | #Constraints: 121572
1997.50/2002.54 c #Conflicts: 367000 | #Constraints: 122572
1997.50/2002.54 c #Conflicts: 368000 | #Constraints: 123572
1997.50/2002.54 c #Conflicts: 369000 | #Constraints: 124572
1997.50/2002.54 c INPROCESSING
1997.50/2002.54 c GARBAGE COLLECT
1997.50/2002.54 c #Conflicts: 370000 | #Constraints: 113575
1997.50/2002.54 c #Conflicts: 371000 | #Constraints: 114575
1997.50/2002.54 c #Conflicts: 372000 | #Constraints: 115575
1997.50/2002.54 c #Conflicts: 373000 | #Constraints: 116575
1997.50/2002.54 c #Conflicts: 374000 | #Constraints: 117575
1997.50/2002.54 c #Conflicts: 375000 | #Constraints: 118575
1997.50/2002.54 c #Conflicts: 376000 | #Constraints: 119575
1997.50/2002.54 c #Conflicts: 377000 | #Constraints: 120575
1997.50/2002.54 c #Conflicts: 378000 | #Constraints: 121575
1997.50/2002.54 c #Conflicts: 379000 | #Constraints: 122575
2467.25/2473.48 c #Conflicts: 380000 | #Constraints: 123575
2467.25/2473.48 c #Conflicts: 381000 | #Constraints: 124575
2467.25/2473.48 c INPROCESSING
2467.25/2473.48 c GARBAGE COLLECT
2467.25/2473.48 c #Conflicts: 382000 | #Constraints: 113368
2467.25/2473.48 c #Conflicts: 383000 | #Constraints: 114368
2467.25/2473.48 c #Conflicts: 384000 | #Constraints: 115368
2467.25/2473.48 c #Conflicts: 385000 | #Constraints: 116368
2467.25/2473.48 c #Conflicts: 386000 | #Constraints: 117368
2467.25/2473.48 c #Conflicts: 387000 | #Constraints: 118368
2467.25/2473.48 c #Conflicts: 388000 | #Constraints: 119368
2467.25/2473.48 c #Conflicts: 389000 | #Constraints: 120368
2467.25/2473.48 c #Conflicts: 390000 | #Constraints: 121368
2467.25/2473.48 c #Conflicts: 391000 | #Constraints: 122368
2467.25/2473.48 c #Conflicts: 392000 | #Constraints: 123368
2467.25/2473.48 c #Conflicts: 393000 | #Constraints: 124368
2467.25/2473.48 c #Conflicts: 394000 | #Constraints: 125368
2467.25/2473.48 c INPROCESSING
2467.25/2473.48 c GARBAGE COLLECT
2467.25/2473.48 c #Conflicts: 395000 | #Constraints: 113991
2467.25/2473.48 c #Conflicts: 396000 | #Constraints: 114991
2467.25/2473.48 c #Conflicts: 397000 | #Constraints: 115991
2467.25/2473.48 c #Conflicts: 398000 | #Constraints: 116991
2467.25/2473.48 c #Conflicts: 399000 | #Constraints: 117991
2467.25/2473.48 c #Conflicts: 400000 | #Constraints: 118991
2467.25/2473.48 c #Conflicts: 401000 | #Constraints: 119991
2467.25/2473.48 c #Conflicts: 402000 | #Constraints: 120991
2467.25/2473.48 c #Conflicts: 403000 | #Constraints: 121991
2467.25/2473.48 c #Conflicts: 404000 | #Constraints: 122991
2467.25/2473.48 c #Conflicts: 405000 | #Constraints: 123991
2467.25/2473.48 c #Conflicts: 406000 | #Constraints: 124991
2467.25/2473.48 c #Conflicts: 407000 | #Constraints: 125991
2467.25/2473.48 c INPROCESSING
2467.25/2473.48 c GARBAGE COLLECT
2467.25/2473.48 c #Conflicts: 408000 | #Constraints: 114374
2467.25/2473.48 c #Conflicts: 409000 | #Constraints: 115374
2467.25/2473.48 c #Conflicts: 410000 | #Constraints: 116374
2467.25/2473.48 c #Conflicts: 411000 | #Constraints: 117374
2467.25/2473.48 c #Conflicts: 412000 | #Constraints: 118374
2467.25/2473.48 c #Conflicts: 413000 | #Constraints: 119374
2467.25/2473.48 c #Conflicts: 414000 | #Constraints: 120374
2467.25/2473.48 c #Conflicts: 415000 | #Constraints: 121374
2467.25/2473.48 c #Conflicts: 416000 | #Constraints: 122374
2467.25/2473.48 c #Conflicts: 417000 | #Constraints: 123374
2467.25/2473.48 c #Conflicts: 418000 | #Constraints: 124374
2467.25/2473.48 c #Conflicts: 419000 | #Constraints: 125374
2467.25/2473.48 c #Conflicts: 420000 | #Constraints: 126374
2467.25/2473.48 c INPROCESSING
2467.25/2473.48 c GARBAGE COLLECT
2467.25/2473.48 c #Conflicts: 421000 | #Constraints: 114585
2467.25/2473.48 c #Conflicts: 422000 | #Constraints: 115585
2467.25/2473.48 c #Conflicts: 423000 | #Constraints: 116585
2467.25/2473.48 c #Conflicts: 424000 | #Constraints: 117585
2467.25/2473.48 c #Conflicts: 425000 | #Constraints: 118585
2467.25/2473.48 c #Conflicts: 426000 | #Constraints: 119585
2467.25/2473.48 c #Conflicts: 427000 | #Constraints: 120585
2467.25/2473.48 c #Conflicts: 428000 | #Constraints: 121585
2467.25/2473.48 c #Conflicts: 429000 | #Constraints: 122585
2467.25/2473.48 c #Conflicts: 430000 | #Constraints: 123585
2467.25/2473.48 c #Conflicts: 431000 | #Constraints: 124585
2467.25/2473.48 c #Conflicts: 432000 | #Constraints: 125585
2467.25/2473.48 c #Conflicts: 433000 | #Constraints: 126585
2467.25/2473.48 c INPROCESSING
2467.25/2473.48 c GARBAGE COLLECT
2467.25/2473.48 c #Conflicts: 434000 | #Constraints: 114593
2467.25/2473.48 c #Conflicts: 435000 | #Constraints: 115593
2467.25/2473.48 c #Conflicts: 436000 | #Constraints: 116593
2467.25/2473.48 c #Conflicts: 437000 | #Constraints: 117593
2467.25/2473.48 c #Conflicts: 438000 | #Constraints: 118593
2467.25/2473.48 c #Conflicts: 439000 | #Constraints: 119593
2467.25/2473.48 c #Conflicts: 440000 | #Constraints: 120593
2467.25/2473.48 c #Conflicts: 441000 | #Constraints: 121593
2467.25/2473.48 c #Conflicts: 442000 | #Constraints: 122593
2467.25/2473.48 c #Conflicts: 443000 | #Constraints: 123593
2467.25/2473.48 c #Conflicts: 444000 | #Constraints: 124593
2467.25/2473.48 c #Conflicts: 445000 | #Constraints: 125593
2467.25/2473.48 c #Conflicts: 446000 | #Constraints: 126593
2467.25/2473.48 c INPROCESSING
2467.25/2473.48 c GARBAGE COLLECT
2467.25/2473.48 c #Conflicts: 447000 | #Constraints: 114416
2467.25/2473.48 c #Conflicts: 448000 | #Constraints: 115416
2467.25/2473.48 c #Conflicts: 449000 | #Constraints: 116416
2467.25/2473.48 c #Conflicts: 450000 | #Constraints: 117416
2467.25/2473.48 c #Conflicts: 451000 | #Constraints: 118416
2467.25/2473.48 c #Conflicts: 452000 | #Constraints: 119416
2467.25/2473.48 c #Conflicts: 453000 | #Constraints: 120416
2467.25/2473.48 c #Conflicts: 454000 | #Constraints: 121416
3126.41/3134.24 c #Conflicts: 455000 | #Constraints: 122416
3126.41/3134.24 c #Conflicts: 456000 | #Constraints: 123416
3126.41/3134.24 c #Conflicts: 457000 | #Constraints: 124416
3126.41/3134.24 c #Conflicts: 458000 | #Constraints: 125416
3126.41/3134.24 c #Conflicts: 459000 | #Constraints: 126416
3126.41/3134.24 c #Conflicts: 460000 | #Constraints: 127416
3126.41/3134.24 c INPROCESSING
3126.41/3134.24 c GARBAGE COLLECT
3126.41/3134.24 c #Conflicts: 461000 | #Constraints: 115039
3126.41/3134.24 c #Conflicts: 462000 | #Constraints: 116039
3126.41/3134.24 c #Conflicts: 463000 | #Constraints: 117039
3126.41/3134.24 c #Conflicts: 464000 | #Constraints: 118039
3126.41/3134.24 c #Conflicts: 465000 | #Constraints: 119039
3126.41/3134.24 c #Conflicts: 466000 | #Constraints: 120039
3126.41/3134.24 c #Conflicts: 467000 | #Constraints: 121039
3126.41/3134.24 c #Conflicts: 468000 | #Constraints: 122039
3126.41/3134.24 c #Conflicts: 469000 | #Constraints: 123039
3126.41/3134.24 c #Conflicts: 470000 | #Constraints: 124039
3126.41/3134.24 c #Conflicts: 471000 | #Constraints: 125039
3126.41/3134.24 c #Conflicts: 472000 | #Constraints: 126039
3126.41/3134.24 c #Conflicts: 473000 | #Constraints: 127039
3126.41/3134.24 c #Conflicts: 474000 | #Constraints: 128039
3126.41/3134.24 c INPROCESSING
3126.41/3134.24 c GARBAGE COLLECT
3126.41/3134.24 c #Conflicts: 475000 | #Constraints: 115456
3126.41/3134.24 c #Conflicts: 476000 | #Constraints: 116456
3126.41/3134.24 c #Conflicts: 477000 | #Constraints: 117456
3126.41/3134.24 c #Conflicts: 478000 | #Constraints: 118456
3126.41/3134.24 c #Conflicts: 479000 | #Constraints: 119456
3126.41/3134.24 c #Conflicts: 480000 | #Constraints: 120456
3126.41/3134.24 c #Conflicts: 481000 | #Constraints: 121456
3126.41/3134.24 c #Conflicts: 482000 | #Constraints: 122456
3126.41/3134.24 c #Conflicts: 483000 | #Constraints: 123456
3126.41/3134.24 c #Conflicts: 484000 | #Constraints: 124456
3126.41/3134.24 c #Conflicts: 485000 | #Constraints: 125456
3126.41/3134.24 c #Conflicts: 486000 | #Constraints: 126456
3126.41/3134.24 c #Conflicts: 487000 | #Constraints: 127456
3126.41/3134.24 c #Conflicts: 488000 | #Constraints: 128456
3126.41/3134.24 c INPROCESSING
3126.41/3134.24 c GARBAGE COLLECT
3126.41/3134.24 c #Conflicts: 489000 | #Constraints: 115644
3126.41/3134.24 c #Conflicts: 490000 | #Constraints: 116644
3126.41/3134.24 c #Conflicts: 491000 | #Constraints: 117644
3126.41/3134.24 c #Conflicts: 492000 | #Constraints: 118644
3126.41/3134.24 c #Conflicts: 493000 | #Constraints: 119644
3126.41/3134.24 c #Conflicts: 494000 | #Constraints: 120644
3126.41/3134.24 c #Conflicts: 495000 | #Constraints: 121644
3126.41/3134.24 c #Conflicts: 496000 | #Constraints: 122644
3126.41/3134.24 c #Conflicts: 497000 | #Constraints: 123644
3126.41/3134.24 c #Conflicts: 498000 | #Constraints: 124644
3126.41/3134.24 c #Conflicts: 499000 | #Constraints: 125644
3126.41/3134.24 c #Conflicts: 500000 | #Constraints: 126644
3126.41/3134.24 c #Conflicts: 501000 | #Constraints: 127644
3126.41/3134.24 c #Conflicts: 502000 | #Constraints: 128644
3126.41/3134.24 c INPROCESSING
3126.41/3134.24 c GARBAGE COLLECT
3126.41/3134.24 c #Conflicts: 503000 | #Constraints: 115625
3126.41/3134.24 c #Conflicts: 504000 | #Constraints: 116625
3126.41/3134.24 c #Conflicts: 505000 | #Constraints: 117625
3126.41/3134.24 c #Conflicts: 506000 | #Constraints: 118625
3126.41/3134.24 c #Conflicts: 507000 | #Constraints: 119625
3126.41/3134.24 c #Conflicts: 508000 | #Constraints: 120625
3126.41/3134.24 c #Conflicts: 509000 | #Constraints: 121625
3126.41/3134.24 c #Conflicts: 510000 | #Constraints: 122625
3126.41/3134.24 c #Conflicts: 511000 | #Constraints: 123625
3126.41/3134.24 c #Conflicts: 512000 | #Constraints: 124625
3126.41/3134.24 c #Conflicts: 513000 | #Constraints: 125625
3126.41/3134.24 c #Conflicts: 514000 | #Constraints: 126625
3126.41/3134.24 c #Conflicts: 515000 | #Constraints: 127625
3126.41/3134.24 c #Conflicts: 516000 | #Constraints: 128625
3126.41/3134.24 c INPROCESSING
3126.41/3134.24 c GARBAGE COLLECT
3126.41/3134.24 c #Conflicts: 517000 | #Constraints: 115406
3126.41/3134.24 c #Conflicts: 518000 | #Constraints: 116406
3126.41/3134.24 c #Conflicts: 519000 | #Constraints: 117406
3126.41/3134.24 c #Conflicts: 520000 | #Constraints: 118406
3126.41/3134.24 c #Conflicts: 521000 | #Constraints: 119406
3126.41/3134.24 c #Conflicts: 522000 | #Constraints: 120406
3126.41/3134.24 c #Conflicts: 523000 | #Constraints: 121406
3126.41/3134.24 c #Conflicts: 524000 | #Constraints: 122406
3126.41/3134.24 c #Conflicts: 525000 | #Constraints: 123406
3126.41/3134.24 c #Conflicts: 526000 | #Constraints: 124406
3126.41/3134.24 c #Conflicts: 527000 | #Constraints: 125406
3126.41/3134.24 c #Conflicts: 528000 | #Constraints: 126406
3126.41/3134.24 c #Conflicts: 529000 | #Constraints: 127406
3126.41/3134.24 c #Conflicts: 530000 | #Constraints: 128406
3600.00/3609.00 c #Conflicts: 531000 | #Constraints: 129406
3600.00/3609.00 c INPROCESSING
3600.00/3609.00 c GARBAGE COLLECT
3600.00/3609.00 c #Conflicts: 532000 | #Constraints: 116022
3600.00/3609.00 c #Conflicts: 533000 | #Constraints: 117022
3600.00/3609.00 c #Conflicts: 534000 | #Constraints: 118022
3600.00/3609.00 c #Conflicts: 535000 | #Constraints: 119022
3600.00/3609.00 c #Conflicts: 536000 | #Constraints: 120022
3600.00/3609.00 c #Conflicts: 537000 | #Constraints: 121022
3600.00/3609.00 c #Conflicts: 538000 | #Constraints: 122022
3600.00/3609.00 c #Conflicts: 539000 | #Constraints: 123022
3600.00/3609.00 c #Conflicts: 540000 | #Constraints: 124022
3600.00/3609.00 c #Conflicts: 541000 | #Constraints: 125022
3600.00/3609.00 c #Conflicts: 542000 | #Constraints: 126022
3600.00/3609.00 c #Conflicts: 543000 | #Constraints: 127022
3600.00/3609.00 c #Conflicts: 544000 | #Constraints: 128022
3600.00/3609.00 c #Conflicts: 545000 | #Constraints: 129022
3600.00/3609.00 c #Conflicts: 546000 | #Constraints: 130022
3600.00/3609.00 c INPROCESSING
3600.00/3609.00 c GARBAGE COLLECT
3600.00/3609.00 c #Conflicts: 547000 | #Constraints: 116411
3600.00/3609.00 c #Conflicts: 548000 | #Constraints: 117411
3600.00/3609.00 c #Conflicts: 549000 | #Constraints: 118411
3600.00/3609.00 c #Conflicts: 550000 | #Constraints: 119411
3600.00/3609.00 c #Conflicts: 551000 | #Constraints: 120411
3600.00/3609.00 c #Conflicts: 552000 | #Constraints: 121411
3600.00/3609.00 c #Conflicts: 553000 | #Constraints: 122411
3600.00/3609.00 c #Conflicts: 554000 | #Constraints: 123411
3600.00/3609.00 c #Conflicts: 555000 | #Constraints: 124411
3600.00/3609.00 c #Conflicts: 556000 | #Constraints: 125411
3600.00/3609.00 c #Conflicts: 557000 | #Constraints: 126411
3600.00/3609.00 c #Conflicts: 558000 | #Constraints: 127411
3600.00/3609.00 c #Conflicts: 559000 | #Constraints: 128411
3600.00/3609.00 c #Conflicts: 560000 | #Constraints: 129411
3600.00/3609.00 c #Conflicts: 561000 | #Constraints: 130411
3600.00/3609.00 c INPROCESSING
3600.00/3609.00 c GARBAGE COLLECT
3600.00/3609.00 c #Conflicts: 562000 | #Constraints: 116584
3600.00/3609.00 c #Conflicts: 563000 | #Constraints: 117584
3600.00/3609.00 c #Conflicts: 564000 | #Constraints: 118584
3600.00/3609.00 c #Conflicts: 565000 | #Constraints: 119584
3600.00/3609.00 c #Conflicts: 566000 | #Constraints: 120584
3600.00/3609.00 c #Conflicts: 567000 | #Constraints: 121584
3600.00/3609.00 c #Conflicts: 568000 | #Constraints: 122584
3600.00/3609.00 c #Conflicts: 569000 | #Constraints: 123584
3600.00/3609.00 c #Conflicts: 570000 | #Constraints: 124584
3600.00/3609.00 c #Conflicts: 571000 | #Constraints: 125584
3600.00/3609.00 c #Conflicts: 572000 | #Constraints: 126584
3600.00/3609.00 c #Conflicts: 573000 | #Constraints: 127584
3600.00/3609.00 c #Conflicts: 574000 | #Constraints: 128584
3600.00/3609.00 c #Conflicts: 575000 | #Constraints: 129584
3600.00/3609.00 c #Conflicts: 576000 | #Constraints: 130584
3600.00/3609.00 c INPROCESSING
3600.00/3609.00 c GARBAGE COLLECT
3600.00/3609.00 c #Conflicts: 577000 | #Constraints: 116588
3600.00/3609.00 c #Conflicts: 578000 | #Constraints: 117588
3600.00/3609.00 c #Conflicts: 579000 | #Constraints: 118588
3600.00/3609.00 c #Conflicts: 580000 | #Constraints: 119588
3600.00/3609.00 c #Conflicts: 581000 | #Constraints: 120588
3600.00/3609.00 c #Conflicts: 582000 | #Constraints: 121588
3600.00/3609.00 c #Conflicts: 583000 | #Constraints: 122588
3600.00/3609.00 c #Conflicts: 584000 | #Constraints: 123588
3600.00/3609.00 c #Conflicts: 585000 | #Constraints: 124588
3600.00/3609.00 c #Conflicts: 586000 | #Constraints: 125588
3600.00/3609.00 c #Conflicts: 587000 | #Constraints: 126588
3600.00/3609.00 c #Conflicts: 588000 | #Constraints: 127588
3600.00/3609.00 c #Conflicts: 589000 | #Constraints: 128588
3600.00/3609.00 c #Conflicts: 590000 | #Constraints: 129588
3600.00/3609.00 c #Conflicts: 591000 | #Constraints: 130588
3600.00/3609.00 c INPROCESSING
3600.00/3609.00 c GARBAGE COLLECT
3600.00/3609.00 c #Conflicts: 592000 | #Constraints: 116381
3600.00/3609.00 c #Conflicts: 593000 | #Constraints: 117381
3600.00/3609.00 c Program interrupted by user.
3600.00/3609.00 c cpu time 3593.61 s
3600.00/3609.00 c deterministic time 898705511231 8.99e+11
3600.00/3609.00 c optimization time 57.0413 s
3600.00/3609.00 c total solve time 3536.38 s
3600.00/3609.00 c core-guided solve time 3536.38 s
3600.00/3609.00 c propagation time 2692.79 s
3600.00/3609.00 c conflict analysis time 822.866 s
3600.00/3609.00 c propagations 299672745
3600.00/3609.00 c resolve steps 7987217
3600.00/3609.00 c decisions 4585866
3600.00/3609.00 c conflicts 593187
3600.00/3609.00 c restarts 1275
3600.00/3609.00 c inprocessing phases 68
3600.00/3609.00 c input clauses 100676
3600.00/3609.00 c input cardinalities 4
3600.00/3609.00 c input general constraints 82
3600.00/3609.00 c input average constraint length 3.97
3600.00/3609.00 c input average constraint degree 611.50
3600.00/3609.00 c learned clauses 291648
3600.00/3609.00 c learned cardinalities 10
3600.00/3609.00 c learned general constraints 301539
3600.00/3609.00 c learned average constraint length 2335.90
3600.00/3609.00 c learned average constraint degree 325035629.85
3600.00/3609.00 c watched constraints 282560
3600.00/3609.00 c counting constraints 19061
3600.00/3609.00 c gcd simplifications 96236
3600.00/3609.00 c detected cardinalities 10
3600.00/3609.00 c weakened non-implied lits 555899331
3600.00/3609.00 c weakened non-implying lits 2083703
3600.00/3609.00 c original variables 4356
3600.00/3609.00 c clausal propagations 77458111
3600.00/3609.00 c cardinality propagations 50
3600.00/3609.00 c watched propagations 65797565
3600.00/3609.00 c counting propagations 154990482
3600.00/3609.00 c watch lookups 6816400222
3600.00/3609.00 c watch backjump lookups 5193498742
3600.00/3609.00 c watch checks 823359974196
3600.00/3609.00 c propagation checks 56730541176
3600.00/3609.00 c constraint additions 5995990189
3600.00/3609.00 c trail pops 304848094
3600.00/3609.00 c formula constraints 100680
3600.00/3609.00 c learned constraints 593197
3600.00/3609.00 c bound constraints 38
3600.00/3609.00 c core-guided constraints 44
3600.00/3609.00 c encountered formula constraints 6832678
3600.00/3609.00 c encountered learned constraints 1746143
3600.00/3609.00 c encountered bound constraints 1564
3600.00/3609.00 c encountered core-guided constraints 19
3600.00/3609.00 c LP total time 0 s
3600.00/3609.00 c LP solve time 0 s
3600.00/3609.00 c LP constraints added 0
3600.00/3609.00 c LP constraints removed 0
3600.00/3609.00 c LP pivots internal 0
3600.00/3609.00 c LP pivots root 0
3600.00/3609.00 c LP calls 0
3600.00/3609.00 c LP optimalities 0
3600.00/3609.00 c LP no pivot count 0
3600.00/3609.00 c LP infeasibilities 0
3600.00/3609.00 c LP valid Farkas constraints 0
3600.00/3609.00 c LP learned Farkas constraints 0
3600.00/3609.00 c LP basis resets 0
3600.00/3609.00 c LP cycling count 0
3600.00/3609.00 c LP singular count 0
3600.00/3609.00 c LP no primal count 0
3600.00/3609.00 c LP no farkas count 0
3600.00/3609.00 c LP other issue count 0
3600.00/3609.00 c LP Gomory cuts 0
3600.00/3609.00 c LP learned cuts 0
3600.00/3609.00 c LP deleted cuts 0
3600.00/3609.00 c LP encountered Gomory constraints 0
3600.00/3609.00 c LP encountered Farkas constraints 0
3600.00/3609.00 c LP encountered learned Farkas constraints 0
3600.00/3609.00 c CG auxiliary variables introduced 22
3600.00/3609.00 c CG solutions found 13
3600.00/3609.00 c CG cores constructed 23
3600.00/3609.00 c CG core cardinality constraints returned 0
3600.00/3609.00 c CG unit cores 0
3600.00/3609.00 c CG single cores 12
3600.00/3609.00 c CG blocks removed during cardinality reduction 126
3600.00/3609.00 c CG first core best 0
3600.00/3609.00 c CG decision core best 0
3600.00/3609.00 c CG core reduction tie 11
3600.00/3609.00 c CG core degree average 1.00
3600.00/3609.00 c CG core slack average 1.00
3600.00/3609.00 c CG exhausted 0
3600.00/3609.00 c CG exhaust time 50.7555 s
3600.00/3609.00 c CG trimmed 0
3600.00/3609.00 c CG trim time 0.441123 s
3600.00/3609.00 c CG minimized 0
3600.00/3609.00 c CG minimize time 0 s
3600.00/3609.00 c CG am1 prop time 0.727698 s
3600.00/3609.00 c CG # am1s reformulated 0
3600.00/3609.00 c CG lower bound derived from am1s 0
3600.00/3609.00 c CG # clausal cores 6
3600.00/3609.00 c CG # cardinality cores 0
3600.00/3609.00 c CG # pb cores 28
3600.00/3609.00 c CG # pb reforms 18
3600.00/3609.00 c CG # cores discarded because of pb reform 0
3600.00/3609.00 d LOWERBOUND -291480
3600.00/3609.00 d NCORES 23
3600.00/3609.00 d NPBCORES 28
3600.00/3609.00 d NPBREFORM 18
3600.00/3609.00 d NTRIMMED 0
3600.00/3609.00 d NEXHAUSTED 0
3600.00/3609.00 d NAM1S 0
3600.00/3609.00 d AM1LB 0
3600.00/3609.00 o -16559
3600.00/3609.00 s SATISFIABLE
3600.00/3609.00 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 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 x2217 x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 x2237 x2238 x2239 x2240 x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 x2260 x2261 x2262 x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 x2303 x2304 x2305 x2306 x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 x2325 x2326 x2327 x2328 x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 x2348 x2349 x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2743 x2744 x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 x2764 x2765 x2766 x2767 x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 x2787 x2788 x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 x2809 x2810 x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 x3224 x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 x3267 x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330 x4331 -x4332 -x4333 x4334 x4335 x4336 -x4337 -x4338 x4339 -x4340 x4341 -x4342 -x4343 -x4344 x4345 x4346 -x4347 -x4348 x4349 x4350 x4351 x4352 x4353 -x4354 -x4355 -x4356
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: 63665 MiB (62533 MiB free)
memory of node 1: 64507 MiB (55432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502504-1751427834/watcher-4502504-1751427834 -o /tmp/evaluation-result-4502504-1751427834/solver-4502504-1751427834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64435 --watchdog 3760 pb-oll-rs HOME/instance-4502504-1751427834.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=64811, runsolver pid=64808
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.05 4.11 4.08 5/263 64812
/proc/meminfo: memFree=120797128/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=22800 memory=9016 CPUtime=0.09 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 2339 0 0 0 7 2 0 0 20 0 1 0 58461171 23347200 2254 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 5700 2254 1120 243 0 1949 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22800 KiB
Current children cumulated memory: 9016 KiB
[startup+0.205523 s]*
/proc/loadavg: 4.05 4.11 4.08 5/263 64812
/proc/meminfo: memFree=120833092/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=23856 memory=11960 CPUtime=0.19 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 3124 0 0 0 14 5 0 0 20 0 1 0 58461171 24428544 2990 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 5964 2990 1120 243 0 2213 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23856 KiB
Current children cumulated memory: 11960 KiB
[startup+0.305415 s]*
/proc/loadavg: 3.96 4.09 4.07 3/259 64812
/proc/meminfo: memFree=122974368/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=29036 memory=15884 CPUtime=0.3 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 4136 0 0 0 23 7 0 0 20 0 1 0 58461171 29732864 3971 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 7259 3971 1312 243 0 3508 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29036 KiB
Current children cumulated memory: 15884 KiB
[startup+0.700138 s]
/proc/loadavg: 3.96 4.09 4.07 5/260 64838
/proc/meminfo: memFree=122988160/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=36964 memory=25428 CPUtime=0.68 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 6015 0 0 0 61 7 0 0 20 0 1 0 58461171 37851136 6357 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 9241 6357 1312 243 0 5490 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36964 KiB
Current children cumulated memory: 25428 KiB
[startup+1.50013 s]
/proc/loadavg: 3.96 4.09 4.07 5/258 64872
/proc/meminfo: memFree=126521452/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=63324 memory=43292 CPUtime=1.48 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 8957 0 0 0 139 9 0 0 20 0 1 0 58461171 64843776 10823 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 15831 10823 1312 243 0 12080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 43292 KiB
[startup+3.10586 s]
/proc/loadavg: 3.96 4.09 4.07 4/262 64955
/proc/meminfo: memFree=126446320/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=94472 memory=67952 CPUtime=3.08 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 12573 0 0 0 296 12 0 0 20 0 1 0 58461171 96739328 16988 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 23618 16988 1312 243 0 19867 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 94472 KiB
Current children cumulated memory: 67952 KiB
[startup+6.30017 s]
/proc/loadavg: 4.04 4.11 4.08 5/264 64993
/proc/meminfo: memFree=126396788/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=108860 memory=93272 CPUtime=6.26 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 16331 0 0 0 613 13 0 0 20 0 1 0 58461171 111472640 23318 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 27215 23318 1312 243 0 23464 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108860 KiB
Current children cumulated memory: 93272 KiB
[startup+12.7001 s]
/proc/loadavg: 4.04 4.11 4.07 5/264 65038
/proc/meminfo: memFree=126327008/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=153912 memory=131052 CPUtime=12.64 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 21247 0 0 0 1246 18 0 0 20 0 1 0 58461171 157605888 32763 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 38478 32763 1312 243 0 34727 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 153912 KiB
Current children cumulated memory: 131052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.10 4.07 5/265 65039
/proc/meminfo: memFree=126234488/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=238240 memory=191752 CPUtime=25.42 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 30396 0 0 0 2517 25 0 0 20 0 1 0 58461171 243957760 47938 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 59560 47938 1312 243 0 55809 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 238240 KiB
Current children cumulated memory: 191752 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 65039
/proc/meminfo: memFree=126136788/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=251260 memory=219972 CPUtime=50.94 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 35041 0 0 0 5056 38 0 0 20 0 1 0 58461171 257290240 54993 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 62815 54993 1312 243 0 59064 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 251260 KiB
Current children cumulated memory: 219972 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/265 65041
/proc/meminfo: memFree=126032312/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=256832 memory=245376 CPUtime=102.01 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 37978 0 0 0 10151 50 0 0 20 0 1 0 58461171 262995968 61344 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 64208 61344 1312 243 0 60457 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 256832 KiB
Current children cumulated memory: 245376 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/266 65044
/proc/meminfo: memFree=125935752/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=385384 memory=300012 CPUtime=161.86 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 46774 0 0 0 16117 69 0 0 20 0 1 0 58461171 394633216 75003 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 96346 75003 1312 243 0 92595 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 385384 KiB
Current children cumulated memory: 300012 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/266 65046
/proc/meminfo: memFree=125881532/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=400368 memory=325792 CPUtime=221.72 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 51501 0 0 0 22087 85 0 0 20 0 1 0 58461171 409976832 81448 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 100092 81448 1312 243 0 96341 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 400368 KiB
Current children cumulated memory: 325792 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/265 65052
/proc/meminfo: memFree=125853000/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=400156 memory=325596 CPUtime=281.58 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 52782 0 0 0 28063 95 0 0 20 0 1 0 58461171 409759744 81399 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 100039 81399 1312 243 0 96288 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 400156 KiB
Current children cumulated memory: 325596 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 65054
/proc/meminfo: memFree=125783036/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=406744 memory=331196 CPUtime=341.43 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 56052 0 0 0 34030 113 0 0 20 0 1 0 58461171 416505856 82799 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 101686 82799 1312 243 0 97935 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 406744 KiB
Current children cumulated memory: 331196 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/264 65056
/proc/meminfo: memFree=125767380/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=422720 memory=344900 CPUtime=401.29 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 60763 0 0 0 39999 130 0 0 20 0 1 0 58461171 432865280 86225 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 105680 86225 1312 243 0 101929 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 422720 KiB
Current children cumulated memory: 344900 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/263 65148
/proc/meminfo: memFree=125454660/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=422852 memory=345148 CPUtime=461.13 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 62697 0 0 0 45965 148 0 0 20 0 1 0 58461171 433000448 86287 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 105713 86287 1312 243 0 101962 0
Current children cumulated CPU time: 461.13 s
################
# More data... #
################
Current children cumulated memory: 555288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/262 65274
/proc/meminfo: memFree=122733796/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=607672 memory=559488 CPUtime=2855.19 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 97666 0 0 0 284981 538 0 0 20 0 1 0 58461171 622256128 139872 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 151918 139872 1312 243 0 148167 0
Current children cumulated CPU time: 2855.19 s
Current children cumulated vsize: 607672 KiB
Current children cumulated memory: 559488 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.18 4.11 5/263 65279
/proc/meminfo: memFree=122665896/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=607672 memory=559488 CPUtime=2915.04 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 97666 0 0 0 290960 544 0 0 20 0 1 0 58461171 622256128 139872 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 151918 139872 1312 243 0 148167 0
Current children cumulated CPU time: 2915.04 s
Current children cumulated vsize: 607672 KiB
Current children cumulated memory: 559488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/263 65281
/proc/meminfo: memFree=122656916/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=608052 memory=559860 CPUtime=2974.88 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 98493 0 0 0 296938 550 0 0 20 0 1 0 58461171 622645248 139965 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152013 139965 1312 243 0 148262 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 608052 KiB
Current children cumulated memory: 559860 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/264 65284
/proc/meminfo: memFree=122601796/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=608052 memory=559860 CPUtime=3034.74 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 98493 0 0 0 302919 555 0 0 20 0 1 0 58461171 622645248 139965 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152013 139965 1312 243 0 148262 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 608052 KiB
Current children cumulated memory: 559860 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 65286
/proc/meminfo: memFree=122530092/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=608116 memory=559868 CPUtime=3094.6 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 99141 0 0 0 308892 568 0 0 20 0 1 0 58461171 622710784 139967 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152029 139967 1312 243 0 148278 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 608116 KiB
Current children cumulated memory: 559868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 65288
/proc/meminfo: memFree=122489564/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=608244 memory=560060 CPUtime=3154.44 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 99804 0 0 0 314866 578 0 0 20 0 1 0 58461171 622841856 140015 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152061 140015 1312 243 0 148310 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 608244 KiB
Current children cumulated memory: 560060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 65290
/proc/meminfo: memFree=122453488/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=608308 memory=560124 CPUtime=3214.29 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 100435 0 0 0 320843 586 0 0 20 0 1 0 58461171 622907392 140031 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152077 140031 1312 243 0 148326 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 608308 KiB
Current children cumulated memory: 560124 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 65297
/proc/meminfo: memFree=122415864/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=608308 memory=560124 CPUtime=3274.14 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 100435 0 0 0 326820 594 0 0 20 0 1 0 58461171 622907392 140031 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152077 140031 1312 243 0 148326 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 608308 KiB
Current children cumulated memory: 560124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/264 65299
/proc/meminfo: memFree=122376116/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=609400 memory=560636 CPUtime=3333.98 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 100589 0 0 0 332800 598 0 0 20 0 1 0 58461171 624025600 140159 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 152350 140159 1312 243 0 148599 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 609400 KiB
Current children cumulated memory: 560636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 65302
/proc/meminfo: memFree=122268792/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=843460 memory=608320 CPUtime=3393.82 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 104336 0 0 0 338778 604 0 0 20 0 1 0 58461171 863703040 152080 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 210865 152080 1312 243 0 207114 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 843460 KiB
Current children cumulated memory: 608320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/264 65304
/proc/meminfo: memFree=122199488/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=846536 memory=614416 CPUtime=3453.67 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 105576 0 0 0 344751 616 0 0 20 0 1 0 58461171 866852864 153604 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 211634 153604 1312 243 0 207883 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 846536 KiB
Current children cumulated memory: 614416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 65308
/proc/meminfo: memFree=122166868/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=849224 memory=616284 CPUtime=3513.52 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 106668 0 0 0 350724 628 0 0 20 0 1 0 58461171 869605376 154071 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 212306 154071 1312 243 0 208555 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 849224 KiB
Current children cumulated memory: 616284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 65310
/proc/meminfo: memFree=122166180/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=849224 memory=616284 CPUtime=3573.37 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 106668 0 0 0 356701 636 0 0 20 0 1 0 58461171 869605376 154071 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 212306 154071 1312 243 0 208555 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 849224 KiB
Current children cumulated memory: 616284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.10 4.13 4.09 5/264 65310
/proc/meminfo: memFree=122167440/131249996 swapFree=33010684/33010684
[pid=64811] ppid=64808 vsize=849224 memory=616288 CPUtime=3600 cores=4,6
/proc/64811/stat : 64811 (pb-oll-rs) R 64808 64811 64424 0 -1 4194304 107256 0 0 0 359360 640 0 0 20 0 1 0 58461171 869605376 154072 18446744073709551615 4218880 5211445 140726667586288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25018368 140726667590044 140726667590121 140726667590121 140726667595723 0
/proc/64811/statm: 212306 154072 1312 243 0 208555 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 849224 KiB
Current children cumulated memory: 616288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 64811 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.61 s, system=6.41016 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.02
CPU user time (s): 3593.61
CPU system time (s): 6.41016
CPU usage (%): 99.7509
Max. virtual memory (cumulated for all children) (KiB): 851824
Max. memory (cumulated for all children) (KiB): 618512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.61
system time used= 6.41016
maximum resident set size= 618588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107272
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= 206
involuntary context switches= 1749
# summary of solver processes directly reported to runsolver:
# pid: 64811
# total CPU time (s): 3600.02
# total CPU user time (s): 3593.61
# total CPU system time (s): 6.41016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6974 second user time and 15.4279 second system time
The end
Begin job on nodeC017 at 2025-07-02 05:43:54
IDJOB=4502504
IDBENCH=155347
IDSOLVER=3345
FILE ID=nodeC017/4502504-1751427834
RUNJOBID= nodeC017-1751424222-64435
SLURM_JOB_ID= 9598356
Free space on /tmp= 432884 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502504-1751427834/watcher-4502504-1751427834 -o /tmp/evaluation-result-4502504-1751427834/solver-4502504-1751427834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64435 --watchdog 3760 pb-oll-rs HOME/instance-4502504-1751427834.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=1833394414
nodeC017 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.065
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.12
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.056
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.12
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 : 3598.203
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.12
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 : 3700.000
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.12
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.070
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.12
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.004
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.12
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 : 3511.461
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.12
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 : 3601.439
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 120797096 kB
MemAvailable: 123980008 kB
Buffers: 2380 kB
Cached: 3952380 kB
SwapCached: 0 kB
Active: 6157096 kB
Inactive: 3635056 kB
Active(anon): 5855484 kB
Inactive(anon): 12 kB
Active(file): 301612 kB
Inactive(file): 3635044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4332 kB
Writeback: 44 kB
AnonPages: 5836888 kB
Mapped: 107528 kB
Shmem: 18080 kB
KReclaimable: 170592 kB
Slab: 260064 kB
SReclaimable: 170592 kB
SUnreclaim: 89472 kB
KernelStack: 4208 kB
PageTables: 14996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6631628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4325376 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432852 MiB
End job on nodeC017 at 2025-07-02 06:44:03