0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 4676 #constraints 509
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 0 @ 0.029129
0.00/0.03 c stratification level: 0
0.31/0.37 c bounds - >= 1 @ 0.062922
0.31/0.37 c bounds - >= 2 @ 0.064555
0.31/0.37 c bounds - >= 3 @ 0.066339
0.31/0.37 c bounds - >= 4 @ 0.068809
0.31/0.37 c bounds - >= 5 @ 0.069313
0.31/0.37 c bounds - >= 6 @ 0.071745
0.31/0.37 c bounds - >= 7 @ 0.073201
0.31/0.37 c bounds - >= 8 @ 0.074418
0.31/0.37 c bounds - >= 9 @ 0.07637
0.31/0.37 c bounds - >= 10 @ 0.078335
0.31/0.37 c bounds - >= 11 @ 0.08117
0.31/0.37 c bounds - >= 12 @ 0.085664
0.31/0.37 c bounds - >= 13 @ 0.0893
0.31/0.37 c bounds - >= 14 @ 0.090649
0.31/0.37 c bounds - >= 15 @ 0.093287
0.31/0.37 c bounds - >= 16 @ 0.097334
0.31/0.37 c bounds - >= 17 @ 0.099571
0.31/0.37 c bounds - >= 18 @ 0.102485
0.31/0.37 c bounds - >= 19 @ 0.105335
0.31/0.37 c bounds - >= 20 @ 0.108338
0.31/0.37 c bounds - >= 21 @ 0.111554
0.31/0.37 c bounds - >= 22 @ 0.114886
0.31/0.37 c bounds - >= 23 @ 0.116035
0.31/0.37 c bounds - >= 24 @ 0.117511
0.31/0.37 c bounds - >= 25 @ 0.119918
0.31/0.37 c bounds - >= 26 @ 0.124985
0.31/0.37 c bounds - >= 27 @ 0.129124
0.31/0.37 c bounds - >= 28 @ 0.132158
0.31/0.37 c bounds - >= 29 @ 0.137139
0.31/0.37 c bounds - >= 30 @ 0.141378
0.31/0.37 c bounds - >= 31 @ 0.145119
0.31/0.37 c bounds - >= 32 @ 0.149562
0.31/0.37 c bounds - >= 33 @ 0.154389
0.31/0.37 c bounds - >= 34 @ 0.157327
0.31/0.37 c bounds - >= 35 @ 0.159872
0.31/0.37 c bounds - >= 36 @ 0.162834
0.31/0.37 c bounds - >= 37 @ 0.165223
0.31/0.37 c bounds - >= 38 @ 0.167974
0.31/0.37 c bounds - >= 39 @ 0.171265
0.31/0.37 c finalizing WCE round: reformulating cores
389.84/390.94 c #Conflicts: 1000 | #Constraints: 1583
389.84/390.94 c #Conflicts: 2000 | #Constraints: 2589
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 3000 | #Constraints: 2575
389.84/390.94 c #Conflicts: 4000 | #Constraints: 3580
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 5000 | #Constraints: 2987
389.84/390.94 c #Conflicts: 6000 | #Constraints: 3989
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 7000 | #Constraints: 2999
389.84/390.94 c #Conflicts: 8000 | #Constraints: 4001
389.84/390.94 c #Conflicts: 9000 | #Constraints: 5005
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 10000 | #Constraints: 3701
389.84/390.94 c #Conflicts: 11000 | #Constraints: 4703
389.84/390.94 c #Conflicts: 12000 | #Constraints: 5705
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 13000 | #Constraints: 4162
389.84/390.94 c #Conflicts: 14000 | #Constraints: 5164
389.84/390.94 c #Conflicts: 15000 | #Constraints: 6166
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 16000 | #Constraints: 4395
389.84/390.94 c #Conflicts: 17000 | #Constraints: 5397
389.84/390.94 c #Conflicts: 18000 | #Constraints: 6399
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c bounds 73 >= 39 @ 29.986
389.84/390.94 c bounds 73 >= 40 @ 29.992
389.84/390.94 c bounds 73 >= 41 @ 29.994
389.84/390.94 c bounds 73 >= 42 @ 29.9958
389.84/390.94 c bounds 73 >= 43 @ 29.9965
389.84/390.94 c bounds 73 >= 44 @ 30.0001
389.84/390.94 c bounds 73 >= 45 @ 30.0037
389.84/390.94 c bounds 73 >= 46 @ 30.012
389.84/390.94 c bounds 73 >= 47 @ 30.0192
389.84/390.94 c bounds 73 >= 48 @ 30.0248
389.84/390.94 c #Conflicts: 19000 | #Constraints: 4474
389.84/390.94 c bounds 73 >= 49 @ 30.11
389.84/390.94 c #Conflicts: 20000 | #Constraints: 5524
389.84/390.94 c #Conflicts: 21000 | #Constraints: 6524
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 22000 | #Constraints: 4296
389.84/390.94 c #Conflicts: 23000 | #Constraints: 5296
389.84/390.94 c #Conflicts: 24000 | #Constraints: 6296
389.84/390.94 c #Conflicts: 25000 | #Constraints: 7296
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 26000 | #Constraints: 4884
389.84/390.94 c #Conflicts: 27000 | #Constraints: 5884
389.84/390.94 c #Conflicts: 28000 | #Constraints: 6884
389.84/390.94 c #Conflicts: 29000 | #Constraints: 7884
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 30000 | #Constraints: 5276
389.84/390.94 c #Conflicts: 31000 | #Constraints: 6276
389.84/390.94 c #Conflicts: 32000 | #Constraints: 7276
389.84/390.94 c #Conflicts: 33000 | #Constraints: 8276
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 34000 | #Constraints: 5478
389.84/390.94 c #Conflicts: 35000 | #Constraints: 6478
389.84/390.94 c #Conflicts: 36000 | #Constraints: 7478
389.84/390.94 c #Conflicts: 37000 | #Constraints: 8478
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 38000 | #Constraints: 5478
389.84/390.94 c #Conflicts: 39000 | #Constraints: 6478
389.84/390.94 c #Conflicts: 40000 | #Constraints: 7478
389.84/390.94 c #Conflicts: 41000 | #Constraints: 8478
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 42000 | #Constraints: 5278
389.84/390.94 c #Conflicts: 43000 | #Constraints: 6278
389.84/390.94 c #Conflicts: 44000 | #Constraints: 7278
389.84/390.94 c #Conflicts: 45000 | #Constraints: 8278
389.84/390.94 c #Conflicts: 46000 | #Constraints: 9278
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 47000 | #Constraints: 5876
389.84/390.94 c #Conflicts: 48000 | #Constraints: 6876
389.84/390.94 c #Conflicts: 49000 | #Constraints: 7876
389.84/390.94 c #Conflicts: 50000 | #Constraints: 8876
389.84/390.94 c #Conflicts: 51000 | #Constraints: 9876
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 52000 | #Constraints: 6275
389.84/390.94 c #Conflicts: 53000 | #Constraints: 7275
389.84/390.94 c #Conflicts: 54000 | #Constraints: 8275
389.84/390.94 c #Conflicts: 55000 | #Constraints: 9275
389.84/390.94 c #Conflicts: 56000 | #Constraints: 10275
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 57000 | #Constraints: 6476
389.84/390.94 c #Conflicts: 58000 | #Constraints: 7476
389.84/390.94 c #Conflicts: 59000 | #Constraints: 8476
389.84/390.94 c #Conflicts: 60000 | #Constraints: 9476
389.84/390.94 c #Conflicts: 61000 | #Constraints: 10476
389.84/390.94 c INPROCESSING
389.84/390.94 c GARBAGE COLLECT
389.84/390.94 c #Conflicts: 62000 | #Constraints: 6466
389.84/390.94 c #Conflicts: 63000 | #Constraints: 7466
1488.93/1492.70 c #Conflicts: 64000 | #Constraints: 8466
1488.93/1492.70 c #Conflicts: 65000 | #Constraints: 9466
1488.93/1492.70 c #Conflicts: 66000 | #Constraints: 10466
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 67000 | #Constraints: 6279
1488.93/1492.70 c #Conflicts: 68000 | #Constraints: 7279
1488.93/1492.70 c #Conflicts: 69000 | #Constraints: 8279
1488.93/1492.70 c #Conflicts: 70000 | #Constraints: 9279
1488.93/1492.70 c #Conflicts: 71000 | #Constraints: 10279
1488.93/1492.70 c #Conflicts: 72000 | #Constraints: 11279
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 73000 | #Constraints: 6878
1488.93/1492.70 c #Conflicts: 74000 | #Constraints: 7878
1488.93/1492.70 c #Conflicts: 75000 | #Constraints: 8878
1488.93/1492.70 c #Conflicts: 76000 | #Constraints: 9878
1488.93/1492.70 c #Conflicts: 77000 | #Constraints: 10878
1488.93/1492.70 c #Conflicts: 78000 | #Constraints: 11878
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 79000 | #Constraints: 7281
1488.93/1492.70 c #Conflicts: 80000 | #Constraints: 8281
1488.93/1492.70 c #Conflicts: 81000 | #Constraints: 9281
1488.93/1492.70 c #Conflicts: 82000 | #Constraints: 10281
1488.93/1492.70 c #Conflicts: 83000 | #Constraints: 11281
1488.93/1492.70 c #Conflicts: 84000 | #Constraints: 12281
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 85000 | #Constraints: 7483
1488.93/1492.70 c #Conflicts: 86000 | #Constraints: 8483
1488.93/1492.70 c #Conflicts: 87000 | #Constraints: 9483
1488.93/1492.70 c #Conflicts: 88000 | #Constraints: 10483
1488.93/1492.70 c #Conflicts: 89000 | #Constraints: 11483
1488.93/1492.70 c #Conflicts: 90000 | #Constraints: 12483
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 91000 | #Constraints: 7485
1488.93/1492.70 c #Conflicts: 92000 | #Constraints: 8485
1488.93/1492.70 c #Conflicts: 93000 | #Constraints: 9485
1488.93/1492.70 c #Conflicts: 94000 | #Constraints: 10485
1488.93/1492.70 c #Conflicts: 95000 | #Constraints: 11485
1488.93/1492.70 c #Conflicts: 96000 | #Constraints: 12485
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 97000 | #Constraints: 7286
1488.93/1492.70 c #Conflicts: 98000 | #Constraints: 8286
1488.93/1492.70 c #Conflicts: 99000 | #Constraints: 9286
1488.93/1492.70 c #Conflicts: 100000 | #Constraints: 10286
1488.93/1492.70 c #Conflicts: 101000 | #Constraints: 11286
1488.93/1492.70 c #Conflicts: 102000 | #Constraints: 12286
1488.93/1492.70 c #Conflicts: 103000 | #Constraints: 13286
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 104000 | #Constraints: 7882
1488.93/1492.70 c #Conflicts: 105000 | #Constraints: 8882
1488.93/1492.70 c #Conflicts: 106000 | #Constraints: 9882
1488.93/1492.70 c #Conflicts: 107000 | #Constraints: 10882
1488.93/1492.70 c #Conflicts: 108000 | #Constraints: 11882
1488.93/1492.70 c #Conflicts: 109000 | #Constraints: 12882
1488.93/1492.70 c #Conflicts: 110000 | #Constraints: 13882
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 111000 | #Constraints: 8285
1488.93/1492.70 c #Conflicts: 112000 | #Constraints: 9285
1488.93/1492.70 c #Conflicts: 113000 | #Constraints: 10285
1488.93/1492.70 c #Conflicts: 114000 | #Constraints: 11285
1488.93/1492.70 c #Conflicts: 115000 | #Constraints: 12285
1488.93/1492.70 c #Conflicts: 116000 | #Constraints: 13285
1488.93/1492.70 c #Conflicts: 117000 | #Constraints: 14285
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 118000 | #Constraints: 8488
1488.93/1492.70 c #Conflicts: 119000 | #Constraints: 9488
1488.93/1492.70 c #Conflicts: 120000 | #Constraints: 10488
1488.93/1492.70 c #Conflicts: 121000 | #Constraints: 11488
1488.93/1492.70 c #Conflicts: 122000 | #Constraints: 12488
1488.93/1492.70 c #Conflicts: 123000 | #Constraints: 13488
1488.93/1492.70 c #Conflicts: 124000 | #Constraints: 14488
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 125000 | #Constraints: 8475
1488.93/1492.70 c #Conflicts: 126000 | #Constraints: 9475
1488.93/1492.70 c #Conflicts: 127000 | #Constraints: 10475
1488.93/1492.70 c #Conflicts: 128000 | #Constraints: 11475
1488.93/1492.70 c #Conflicts: 129000 | #Constraints: 12475
1488.93/1492.70 c #Conflicts: 130000 | #Constraints: 13475
1488.93/1492.70 c #Conflicts: 131000 | #Constraints: 14475
1488.93/1492.70 c INPROCESSING
1488.93/1492.70 c GARBAGE COLLECT
1488.93/1492.70 c #Conflicts: 132000 | #Constraints: 8279
1488.93/1492.70 c #Conflicts: 133000 | #Constraints: 9279
1488.93/1492.70 c #Conflicts: 134000 | #Constraints: 10279
3307.46/3315.60 c #Conflicts: 135000 | #Constraints: 11279
3307.46/3315.60 c #Conflicts: 136000 | #Constraints: 12279
3307.46/3315.60 c #Conflicts: 137000 | #Constraints: 13279
3307.46/3315.60 c #Conflicts: 138000 | #Constraints: 14279
3307.46/3315.60 c #Conflicts: 139000 | #Constraints: 15279
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 140000 | #Constraints: 8881
3307.46/3315.60 c #Conflicts: 141000 | #Constraints: 9881
3307.46/3315.60 c #Conflicts: 142000 | #Constraints: 10881
3307.46/3315.60 c #Conflicts: 143000 | #Constraints: 11881
3307.46/3315.60 c #Conflicts: 144000 | #Constraints: 12881
3307.46/3315.60 c #Conflicts: 145000 | #Constraints: 13881
3307.46/3315.60 c #Conflicts: 146000 | #Constraints: 14881
3307.46/3315.60 c #Conflicts: 147000 | #Constraints: 15881
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 148000 | #Constraints: 9287
3307.46/3315.60 c #Conflicts: 149000 | #Constraints: 10287
3307.46/3315.60 c #Conflicts: 150000 | #Constraints: 11287
3307.46/3315.60 c #Conflicts: 151000 | #Constraints: 12287
3307.46/3315.60 c #Conflicts: 152000 | #Constraints: 13287
3307.46/3315.60 c #Conflicts: 153000 | #Constraints: 14287
3307.46/3315.60 c #Conflicts: 154000 | #Constraints: 15287
3307.46/3315.60 c #Conflicts: 155000 | #Constraints: 16287
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 156000 | #Constraints: 9491
3307.46/3315.60 c #Conflicts: 157000 | #Constraints: 10491
3307.46/3315.60 c #Conflicts: 158000 | #Constraints: 11491
3307.46/3315.60 c #Conflicts: 159000 | #Constraints: 12491
3307.46/3315.60 c #Conflicts: 160000 | #Constraints: 13491
3307.46/3315.60 c #Conflicts: 161000 | #Constraints: 14491
3307.46/3315.60 c #Conflicts: 162000 | #Constraints: 15491
3307.46/3315.60 c #Conflicts: 163000 | #Constraints: 16491
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 164000 | #Constraints: 9486
3307.46/3315.60 c #Conflicts: 165000 | #Constraints: 10486
3307.46/3315.60 c #Conflicts: 166000 | #Constraints: 11486
3307.46/3315.60 c #Conflicts: 167000 | #Constraints: 12486
3307.46/3315.60 c #Conflicts: 168000 | #Constraints: 13486
3307.46/3315.60 c #Conflicts: 169000 | #Constraints: 14486
3307.46/3315.60 c #Conflicts: 170000 | #Constraints: 15486
3307.46/3315.60 c #Conflicts: 171000 | #Constraints: 16486
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 172000 | #Constraints: 9287
3307.46/3315.60 c #Conflicts: 173000 | #Constraints: 10287
3307.46/3315.60 c #Conflicts: 174000 | #Constraints: 11287
3307.46/3315.60 c #Conflicts: 175000 | #Constraints: 12287
3307.46/3315.60 c #Conflicts: 176000 | #Constraints: 13287
3307.46/3315.60 c #Conflicts: 177000 | #Constraints: 14287
3307.46/3315.60 c #Conflicts: 178000 | #Constraints: 15287
3307.46/3315.60 c #Conflicts: 179000 | #Constraints: 16287
3307.46/3315.60 c #Conflicts: 180000 | #Constraints: 17287
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 181000 | #Constraints: 9894
3307.46/3315.60 c #Conflicts: 182000 | #Constraints: 10894
3307.46/3315.60 c #Conflicts: 183000 | #Constraints: 11894
3307.46/3315.60 c #Conflicts: 184000 | #Constraints: 12894
3307.46/3315.60 c #Conflicts: 185000 | #Constraints: 13894
3307.46/3315.60 c #Conflicts: 186000 | #Constraints: 14894
3307.46/3315.60 c #Conflicts: 187000 | #Constraints: 15894
3307.46/3315.60 c #Conflicts: 188000 | #Constraints: 16894
3307.46/3315.60 c #Conflicts: 189000 | #Constraints: 17894
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 190000 | #Constraints: 10293
3307.46/3315.60 c #Conflicts: 191000 | #Constraints: 11293
3307.46/3315.60 c #Conflicts: 192000 | #Constraints: 12293
3307.46/3315.60 c #Conflicts: 193000 | #Constraints: 13293
3307.46/3315.60 c #Conflicts: 194000 | #Constraints: 14293
3307.46/3315.60 c #Conflicts: 195000 | #Constraints: 15293
3307.46/3315.60 c #Conflicts: 196000 | #Constraints: 16293
3307.46/3315.60 c #Conflicts: 197000 | #Constraints: 17293
3307.46/3315.60 c #Conflicts: 198000 | #Constraints: 18293
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 199000 | #Constraints: 10488
3307.46/3315.60 c #Conflicts: 200000 | #Constraints: 11488
3307.46/3315.60 c #Conflicts: 201000 | #Constraints: 12488
3307.46/3315.60 c #Conflicts: 202000 | #Constraints: 13488
3307.46/3315.60 c #Conflicts: 203000 | #Constraints: 14488
3307.46/3315.60 c #Conflicts: 204000 | #Constraints: 15488
3307.46/3315.60 c #Conflicts: 205000 | #Constraints: 16488
3307.46/3315.60 c #Conflicts: 206000 | #Constraints: 17488
3307.46/3315.60 c #Conflicts: 207000 | #Constraints: 18488
3307.46/3315.60 c INPROCESSING
3307.46/3315.60 c GARBAGE COLLECT
3307.46/3315.60 c #Conflicts: 208000 | #Constraints: 10490
3600.05/3608.90 c #Conflicts: 209000 | #Constraints: 11490
3600.05/3608.90 c #Conflicts: 210000 | #Constraints: 12490
3600.05/3608.90 c #Conflicts: 211000 | #Constraints: 13490
3600.05/3608.90 c #Conflicts: 212000 | #Constraints: 14490
3600.05/3608.90 c #Conflicts: 213000 | #Constraints: 15490
3600.05/3608.90 c #Conflicts: 214000 | #Constraints: 16490
3600.05/3608.90 c #Conflicts: 215000 | #Constraints: 17490
3600.05/3608.90 c #Conflicts: 216000 | #Constraints: 18490
3600.05/3608.90 c INPROCESSING
3600.05/3608.90 c GARBAGE COLLECT
3600.05/3608.90 c #Conflicts: 217000 | #Constraints: 10297
3600.05/3608.90 c #Conflicts: 218000 | #Constraints: 11297
3600.05/3608.90 c Program interrupted by user.
3600.05/3608.90 c cpu time 3463.35 s
3600.05/3608.90 c deterministic time 151868817596 1.52e+11
3600.05/3608.90 c optimization time 61.1867 s
3600.05/3608.90 c total solve time 3402.13 s
3600.05/3608.90 c core-guided solve time 3402.13 s
3600.05/3608.90 c propagation time 3157.71 s
3600.05/3608.90 c conflict analysis time 148.795 s
3600.05/3608.90 c propagations 139952389
3600.05/3608.90 c resolve steps 577838
3600.05/3608.90 c decisions 176167920
3600.05/3608.90 c conflicts 218232
3600.05/3608.90 c restarts 510
3600.05/3608.90 c inprocessing phases 38
3600.05/3608.90 c input clauses 542
3600.05/3608.90 c input cardinalities 140
3600.05/3608.90 c input general constraints 71
3600.05/3608.90 c input average constraint length 475.23
3600.05/3608.90 c input average constraint degree 133.63
3600.05/3608.90 c learned clauses 3113
3600.05/3608.90 c learned cardinalities 5344
3600.05/3608.90 c learned general constraints 209777
3600.05/3608.90 c learned average constraint length 3879.20
3600.05/3608.90 c learned average constraint degree 2110409.50
3600.05/3608.90 c watched constraints 1392
3600.05/3608.90 c counting constraints 208456
3600.05/3608.90 c gcd simplifications 160
3600.05/3608.90 c detected cardinalities 134
3600.05/3608.90 c weakened non-implied lits 13100158
3600.05/3608.90 c weakened non-implying lits 338
3600.05/3608.90 c original variables 4676
3600.05/3608.90 c clausal propagations 1526793
3600.05/3608.90 c cardinality propagations 2333867
3600.05/3608.90 c watched propagations 1166324
3600.05/3608.90 c counting propagations 133536716
3600.05/3608.90 c watch lookups 58696348866
3600.05/3608.90 c watch backjump lookups 58675443926
3600.05/3608.90 c watch checks 628258250
3600.05/3608.90 c propagation checks 31497015854
3600.05/3608.90 c constraint additions 1739294203
3600.05/3608.90 c trail pops 316336187
3600.05/3608.90 c formula constraints 509
3600.05/3608.90 c learned constraints 218234
3600.05/3608.90 c bound constraints 70
3600.05/3608.90 c core-guided constraints 174
3600.05/3608.90 c encountered formula constraints 222552
3600.05/3608.90 c encountered learned constraints 520470
3600.05/3608.90 c encountered bound constraints 36
3600.05/3608.90 c encountered core-guided constraints 53012
3600.05/3608.90 c LP total time 0 s
3600.05/3608.90 c LP solve time 0 s
3600.05/3608.90 c LP constraints added 0
3600.05/3608.90 c LP constraints removed 0
3600.05/3608.90 c LP pivots internal 0
3600.05/3608.90 c LP pivots root 0
3600.05/3608.90 c LP calls 0
3600.05/3608.90 c LP optimalities 0
3600.05/3608.90 c LP no pivot count 0
3600.05/3608.90 c LP infeasibilities 0
3600.05/3608.90 c LP valid Farkas constraints 0
3600.05/3608.90 c LP learned Farkas constraints 0
3600.05/3608.90 c LP basis resets 0
3600.05/3608.90 c LP cycling count 0
3600.05/3608.90 c LP singular count 0
3600.05/3608.90 c LP no primal count 0
3600.05/3608.90 c LP no farkas count 0
3600.05/3608.90 c LP other issue count 0
3600.05/3608.90 c LP Gomory cuts 0
3600.05/3608.90 c LP learned cuts 0
3600.05/3608.90 c LP deleted cuts 0
3600.05/3608.90 c LP encountered Gomory constraints 0
3600.05/3608.90 c LP encountered Farkas constraints 0
3600.05/3608.90 c LP encountered learned Farkas constraints 0
3600.05/3608.91 c CG auxiliary variables introduced 71
3600.05/3608.91 c CG solutions found 1
3600.05/3608.91 c CG cores constructed 49
3600.05/3608.91 c CG core cardinality constraints returned 0
3600.05/3608.91 c CG unit cores 0
3600.05/3608.91 c CG single cores 49
3600.05/3608.91 c CG blocks removed during cardinality reduction 0
3600.05/3608.91 c CG first core best 0
3600.05/3608.91 c CG decision core best 0
3600.05/3608.91 c CG core reduction tie 0
3600.05/3608.91 c CG core degree average 1.00
3600.05/3608.91 c CG core slack average 47.80
3600.05/3608.91 c CG exhausted 0
3600.05/3608.91 c CG exhaust time 29.7343 s
3600.05/3608.91 c CG trimmed 0
3600.05/3608.91 c CG trim time 0.004536 s
3600.05/3608.91 c CG minimized 0
3600.05/3608.91 c CG minimize time 0 s
3600.05/3608.91 c CG am1 prop time 0.015221 s
3600.05/3608.91 c CG # am1s reformulated 0
3600.05/3608.91 c CG lower bound derived from am1s 0
3600.05/3608.91 c CG # clausal cores 49
3600.05/3608.91 c CG # cardinality cores 0
3600.05/3608.91 c CG # pb cores 0
3600.05/3608.91 c CG # pb reforms 0
3600.05/3608.91 c CG # cores discarded because of pb reform 0
3600.05/3608.91 d LOWERBOUND 49
3600.05/3608.91 d NCORES 49
3600.05/3608.91 d NPBCORES 0
3600.05/3608.91 d NPBREFORM 0
3600.05/3608.91 d NTRIMMED 0
3600.05/3608.91 d NEXHAUSTED 0
3600.05/3608.91 d NAM1S 0
3600.05/3608.91 d AM1LB 0
3600.05/3608.91 o 73
3600.05/3608.91 s SATISFIABLE
3600.05/3608.91 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 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61498 MiB free)
memory of node 1: 64510 MiB (60052 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454268-1721466605/watcher-4454268-1721466605 -o /tmp/evaluation-result-4454268-1721466605/solver-4454268-1721466605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045262 --watchdog 3760 pb-oll-rs HOME/instance-4454268-1721466605.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1046019, runsolver pid=1046016
[startup+0.100511 s]*
/proc/loadavg: 3.90 4.07 4.12 5/242 1046020
/proc/meminfo: memFree=124465688/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=41108 memory=8312 CPUtime=0.1 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 1051 0 0 0 7 3 0 0 20 0 1 0 198819640 42094592 2078 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 10277 2078 1362 291 0 1811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 8312 KiB
[startup+0.211853 s]*
/proc/loadavg: 3.90 4.07 4.12 5/242 1046020
/proc/meminfo: memFree=124465016/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=41108 memory=8576 CPUtime=0.21 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 1145 0 0 0 12 9 0 0 20 0 1 0 198819640 42094592 2144 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 10277 2144 1362 291 0 1811 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 8576 KiB
[startup+0.311691 s]*
/proc/loadavg: 3.90 4.07 4.12 5/242 1046020
/proc/meminfo: memFree=124464820/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=41108 memory=8840 CPUtime=0.31 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 1196 0 0 0 16 15 0 0 20 0 1 0 198819640 42094592 2210 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 10277 2210 1362 291 0 1811 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 8840 KiB
[startup+0.700257 s]
/proc/loadavg: 3.90 4.07 4.12 5/242 1046020
/proc/meminfo: memFree=124458860/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=51720 memory=22296 CPUtime=0.69 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 4041 0 0 0 45 24 0 0 20 0 1 0 198819640 52961280 5574 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 12930 5574 1378 291 0 4464 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51720 KiB
Current children cumulated memory: 22296 KiB
[startup+1.50028 s]
/proc/loadavg: 3.90 4.07 4.12 5/242 1046020
/proc/meminfo: memFree=124435668/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=93944 memory=64148 CPUtime=1.48 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 11970 0 0 0 116 32 0 0 20 0 1 0 198819640 96198656 16037 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 23486 16037 1378 291 0 15020 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93944 KiB
Current children cumulated memory: 64148 KiB
[startup+3.11237 s]
/proc/loadavg: 3.91 4.07 4.12 5/242 1046020
/proc/meminfo: memFree=124348520/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=163136 memory=124616 CPUtime=3.08 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 22469 0 0 0 267 41 0 0 20 0 1 0 198819640 167051264 31154 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 40784 31154 1378 291 0 32318 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 163136 KiB
Current children cumulated memory: 124616 KiB
[startup+6.30025 s]
/proc/loadavg: 3.91 4.07 4.12 6/242 1046021
/proc/meminfo: memFree=124264588/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=265180 memory=204492 CPUtime=6.27 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 37275 0 0 0 543 84 0 0 20 0 1 0 198819640 271544320 51123 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 66295 51123 1440 291 0 57829 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 265180 KiB
Current children cumulated memory: 204492 KiB
[startup+12.7003 s]
/proc/loadavg: 3.92 4.06 4.12 5/242 1046021
/proc/meminfo: memFree=124212700/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=323112 memory=266648 CPUtime=12.66 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 42615 0 0 0 1087 179 0 0 20 0 1 0 198819640 330866688 66662 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 80778 66662 1440 291 0 72312 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 323112 KiB
Current children cumulated memory: 266648 KiB
[startup+25.5003 s]
/proc/loadavg: 3.94 4.06 4.12 5/244 1046027
/proc/meminfo: memFree=124070124/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=528560 memory=396388 CPUtime=25.42 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 64883 0 0 0 2205 337 0 0 20 0 1 0 198819640 541245440 99097 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 132140 99097 1440 291 0 123674 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 528560 KiB
Current children cumulated memory: 396388 KiB
[startup+51.1126 s]
/proc/loadavg: 4.04 4.07 4.12 5/244 1046031
/proc/meminfo: memFree=123991192/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=547572 memory=455116 CPUtime=50.97 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 71437 0 0 0 4512 585 0 0 20 0 1 0 198819640 560713728 113779 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 136893 113779 1440 291 0 128427 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 547572 KiB
Current children cumulated memory: 455116 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.12 5/244 1046132
/proc/meminfo: memFree=123495816/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=691676 memory=529272 CPUtime=102.02 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 79609 0 0 0 9170 1032 0 0 20 0 1 0 198819640 708276224 132318 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 172919 132318 1440 291 0 164453 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 691676 KiB
Current children cumulated memory: 529272 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.11 6/244 1046143
/proc/meminfo: memFree=122976504/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=694364 memory=567336 CPUtime=161.85 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 82577 0 0 0 14729 1456 0 0 20 0 1 0 198819640 711028736 141834 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 173591 141834 1440 291 0 165125 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 694364 KiB
Current children cumulated memory: 567336 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.10 5/244 1046153
/proc/meminfo: memFree=122726536/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=870000 memory=677756 CPUtime=221.68 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 107166 0 0 0 20330 1838 0 0 20 0 1 0 198819640 890880000 169439 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 217500 169439 1440 291 0 209034 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 870000 KiB
Current children cumulated memory: 677756 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.07 4.10 5/244 1046164
/proc/meminfo: memFree=122575212/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=909172 memory=729028 CPUtime=281.52 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 114161 0 0 0 25967 2185 0 0 20 0 1 0 198819640 930992128 182257 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 227293 182257 1440 291 0 218827 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 909172 KiB
Current children cumulated memory: 729028 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/241 1046175
/proc/meminfo: memFree=122406792/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=942200 memory=804080 CPUtime=341.37 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 120174 0 0 0 31608 2529 0 0 20 0 1 0 198819640 964812800 201020 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 235550 201020 1440 291 0 227084 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 942200 KiB
Current children cumulated memory: 804080 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.10 4.10 5/242 1046186
/proc/meminfo: memFree=122286236/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=956028 memory=856280 CPUtime=401.21 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 122865 0 0 0 37251 2870 0 0 20 0 1 0 198819640 978972672 214070 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 239007 214070 1440 291 0 230541 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 956028 KiB
Current children cumulated memory: 856280 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/242 1046196
/proc/meminfo: memFree=122227492/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=961916 memory=900888 CPUtime=461.05 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 123968 0 0 0 42893 3212 0 0 20 0 1 0 198819640 985001984 225222 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 240479 225222 1440 291 0 232013 0
################
# More data... #
################
Current children cumulated memory: 1318964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.63 4.27 4.14 5/246 1047806
/proc/meminfo: memFree=120948104/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1565604 memory=1318964 CPUtime=2915.08 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 195750 0 0 0 279687 11821 0 0 20 0 1 0 198819640 1603178496 329741 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 391401 329741 1440 291 0 382935 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 1565604 KiB
Current children cumulated memory: 1318964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.49 4.31 4.17 5/246 1047817
/proc/meminfo: memFree=120943676/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1565604 memory=1318964 CPUtime=2974.94 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 196114 0 0 0 285523 11971 0 0 20 0 1 0 198819640 1603178496 329741 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 391401 329741 1440 291 0 382935 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 1565604 KiB
Current children cumulated memory: 1318964 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.27 4.16 5/244 1047829
/proc/meminfo: memFree=120915516/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1590180 memory=1344072 CPUtime=3034.8 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 200876 0 0 0 291381 12099 0 0 20 0 1 0 198819640 1628344320 336018 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 397545 336018 1440 291 0 389079 0
Current children cumulated CPU time: 3034.8 s
Current children cumulated vsize: 1590180 KiB
Current children cumulated memory: 1344072 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/245 1047851
/proc/meminfo: memFree=120897452/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1593508 memory=1348672 CPUtime=3094.66 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 201905 0 0 0 297162 12304 0 0 20 0 1 0 198819640 1631752192 337168 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 398377 337168 1440 291 0 389911 0
Current children cumulated CPU time: 3094.66 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1348672 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/245 1047862
/proc/meminfo: memFree=120896556/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1593508 memory=1348672 CPUtime=3154.52 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 202249 0 0 0 302972 12480 0 0 20 0 1 0 198819640 1631752192 337168 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 398377 337168 1440 291 0 389911 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1348672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/243 1047872
/proc/meminfo: memFree=120888988/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1593508 memory=1348672 CPUtime=3214.38 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 202650 0 0 0 308801 12637 0 0 20 0 1 0 198819640 1631752192 337168 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 398377 337168 1440 291 0 389911 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1348672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/243 1047883
/proc/meminfo: memFree=120885936/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1597092 memory=1351012 CPUtime=3274.24 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 203659 0 0 0 314647 12777 0 0 20 0 1 0 198819640 1635422208 337753 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 399273 337753 1440 291 0 390807 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 1597092 KiB
Current children cumulated memory: 1351012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/242 1047894
/proc/meminfo: memFree=120557220/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1634984 memory=1416468 CPUtime=3334.1 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 210487 0 0 0 320434 12976 0 0 20 0 1 0 198819640 1674223616 354117 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 408746 354117 1440 291 0 400280 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1416468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/242 1047904
/proc/meminfo: memFree=120513644/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1634984 memory=1452660 CPUtime=3393.96 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 211004 0 0 0 326227 13169 0 0 20 0 1 0 198819640 1674223616 363165 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 408746 363165 1440 291 0 400280 0
Current children cumulated CPU time: 3393.96 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1452660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/241 1047914
/proc/meminfo: memFree=120451260/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1634984 memory=1496260 CPUtime=3453.82 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 211570 0 0 0 332061 13321 0 0 20 0 1 0 198819640 1674223616 374065 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 408746 374065 1440 291 0 400280 0
Current children cumulated CPU time: 3453.82 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1496260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.11 4.12 5/241 1047924
/proc/meminfo: memFree=120370508/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1634984 memory=1540300 CPUtime=3513.66 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 212161 0 0 0 337917 13449 0 0 20 0 1 0 198819640 1674223616 385075 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 408746 385075 1440 291 0 400280 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1540300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/237 1047970
/proc/meminfo: memFree=120450448/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1651112 memory=1602716 CPUtime=3573.53 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 214868 0 0 0 343774 13579 0 0 20 0 1 0 198819640 1690738688 400679 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 412778 400679 1440 291 0 404312 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 1651112 KiB
Current children cumulated memory: 1602716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.08 4.11 4.12 5/241 1048031
/proc/meminfo: memFree=120500128/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1651112 memory=1607764 CPUtime=3600.05 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 215017 0 0 0 346333 13672 0 0 20 0 1 0 198819640 1690738688 401941 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 412778 401941 1440 291 0 404312 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1651112 KiB
Current children cumulated memory: 1607764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.92 s]
# the end of solver process 1046019 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3463.35 s, system=136.731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.08 4.11 4.12 5/241 1048031
/proc/meminfo: memFree=120500128/131655788 swapFree=131071996/131071996
[pid=1046019] ppid=1046016 vsize=1651112 memory=1607764 CPUtime=3600.05 cores=4,6
/proc/1046019/stat : 1046019 (pb-oll-rs) R 1046016 1046019 1045251 0 -1 4194304 215017 0 0 0 346333 13672 0 0 20 0 1 0 198819640 1690738688 401941 134679101440 4194304 5384485 140731846205088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11169792 140731846206485 140731846206562 140731846206562 140731846213579 0
/proc/1046019/statm: 412778 401941 1440 291 0 404312 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1651112 KiB
Current children cumulated memory: 1607764 KiB
Child status: 0
Real time (s): 3608.92
CPU time (s): 3600.08
CPU user time (s): 3463.35
CPU system time (s): 136.731
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 1651112
Max. memory (cumulated for all children) (KiB): 1607764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3463.35
system time used= 136.731
maximum resident set size= 1607764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215032
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= 204
involuntary context switches= 2124
# summary of solver processes directly reported to runsolver:
# pid: 1046019
# total CPU time (s): 3600.08
# total CPU user time (s): 3463.35
# total CPU system time (s): 136.731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0077 second user time and 35.0175 second system time
The end
Begin job on nodeC010 at 2024-07-20 11:10:15
IDJOB=4454268
IDBENCH=147201
IDSOLVER=3082
FILE ID=nodeC010/4454268-1721466605
RUNJOBID= nodeC010-1721466587-1045262
SLURM_JOB_ID= 7545719
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454268-1721466605/watcher-4454268-1721466605 -o /tmp/evaluation-result-4454268-1721466605/solver-4454268-1721466605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045262 --watchdog 3760 pb-oll-rs HOME/instance-4454268-1721466605.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=529644955
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.002
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.299
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.381
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.177
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.332
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124468952 kB
MemAvailable: 129747968 kB
Buffers: 547780 kB
Cached: 5517712 kB
SwapCached: 0 kB
Active: 1079300 kB
Inactive: 5421420 kB
Active(anon): 1472 kB
Inactive(anon): 479372 kB
Active(file): 1077828 kB
Inactive(file): 4942048 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9152 kB
Writeback: 4 kB
AnonPages: 435040 kB
Mapped: 111900 kB
Shmem: 45896 kB
KReclaimable: 198344 kB
Slab: 314208 kB
SReclaimable: 198344 kB
SUnreclaim: 115864 kB
KernelStack: 3884 kB
PageTables: 10200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 851172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC010 at 2024-07-20 12:10:24