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.029072
0.00/0.03 c stratification level: 0
0.10/0.21 c bounds - >= 1 @ 0.060297
0.10/0.21 c bounds - >= 2 @ 0.061838
0.10/0.21 c bounds - >= 3 @ 0.064332
0.10/0.21 c bounds - >= 4 @ 0.06767
0.10/0.21 c bounds - >= 5 @ 0.06881
0.10/0.21 c bounds - >= 6 @ 0.06978
0.10/0.21 c bounds - >= 7 @ 0.069782
0.10/0.21 c bounds - >= 8 @ 0.07078
0.10/0.21 c bounds - >= 9 @ 0.07103
0.10/0.21 c bounds - >= 10 @ 0.072561
0.10/0.21 c bounds - >= 11 @ 0.073775
0.10/0.21 c bounds - >= 12 @ 0.074189
0.10/0.21 c bounds - >= 13 @ 0.075077
0.10/0.21 c bounds - >= 14 @ 0.076026
0.10/0.21 c bounds - >= 15 @ 0.077017
0.10/0.21 c bounds - >= 16 @ 0.078997
0.10/0.21 c bounds - >= 17 @ 0.079764
0.10/0.21 c bounds - >= 18 @ 0.080018
0.10/0.21 c bounds - >= 19 @ 0.080764
0.10/0.21 c bounds - >= 20 @ 0.080765
0.10/0.21 c bounds - >= 21 @ 0.083462
0.10/0.21 c bounds - >= 22 @ 0.085091
0.10/0.21 c bounds - >= 23 @ 0.086731
0.10/0.21 c bounds - >= 24 @ 0.087751
0.10/0.21 c bounds - >= 25 @ 0.087996
0.10/0.21 c bounds - >= 26 @ 0.089745
0.10/0.21 c bounds - >= 27 @ 0.090748
0.10/0.21 c bounds - >= 28 @ 0.090749
0.10/0.21 c bounds - >= 29 @ 0.091081
0.10/0.21 c bounds - >= 30 @ 0.092892
0.10/0.21 c bounds - >= 31 @ 0.093991
0.10/0.21 c bounds - >= 32 @ 0.096157
0.10/0.21 c bounds - >= 33 @ 0.096743
0.10/0.21 c bounds - >= 34 @ 0.096982
0.10/0.21 c bounds - >= 35 @ 0.098739
0.10/0.21 c bounds - >= 36 @ 0.099069
0.10/0.21 c bounds - >= 37 @ 0.100789
0.10/0.21 c bounds - >= 38 @ 0.10373
0.10/0.21 c bounds - >= 39 @ 0.106721
0.10/0.21 c finalizing WCE round: reformulating cores
425.14/426.33 c #Conflicts: 1000 | #Constraints: 1583
425.14/426.33 c #Conflicts: 2000 | #Constraints: 2589
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 3000 | #Constraints: 2575
425.14/426.33 c #Conflicts: 4000 | #Constraints: 3580
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 5000 | #Constraints: 2987
425.14/426.33 c #Conflicts: 6000 | #Constraints: 3989
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 7000 | #Constraints: 2999
425.14/426.33 c #Conflicts: 8000 | #Constraints: 4001
425.14/426.33 c #Conflicts: 9000 | #Constraints: 5005
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 10000 | #Constraints: 3701
425.14/426.33 c #Conflicts: 11000 | #Constraints: 4703
425.14/426.33 c #Conflicts: 12000 | #Constraints: 5705
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 13000 | #Constraints: 4162
425.14/426.33 c #Conflicts: 14000 | #Constraints: 5164
425.14/426.33 c #Conflicts: 15000 | #Constraints: 6166
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 16000 | #Constraints: 4395
425.14/426.33 c #Conflicts: 17000 | #Constraints: 5397
425.14/426.33 c #Conflicts: 18000 | #Constraints: 6399
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c bounds 73 >= 39 @ 30.5382
425.14/426.33 c bounds 73 >= 40 @ 30.5464
425.14/426.33 c bounds 73 >= 41 @ 30.5506
425.14/426.33 c bounds 73 >= 42 @ 30.5524
425.14/426.33 c bounds 73 >= 43 @ 30.5542
425.14/426.33 c bounds 73 >= 44 @ 30.5569
425.14/426.33 c bounds 73 >= 45 @ 30.5594
425.14/426.33 c bounds 73 >= 46 @ 30.5692
425.14/426.33 c bounds 73 >= 47 @ 30.5758
425.14/426.33 c bounds 73 >= 48 @ 30.5818
425.14/426.33 c #Conflicts: 19000 | #Constraints: 4474
425.14/426.33 c bounds 73 >= 49 @ 30.6718
425.14/426.33 c #Conflicts: 20000 | #Constraints: 5524
425.14/426.33 c #Conflicts: 21000 | #Constraints: 6524
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 22000 | #Constraints: 4296
425.14/426.33 c #Conflicts: 23000 | #Constraints: 5296
425.14/426.33 c #Conflicts: 24000 | #Constraints: 6296
425.14/426.33 c #Conflicts: 25000 | #Constraints: 7296
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 26000 | #Constraints: 4884
425.14/426.33 c #Conflicts: 27000 | #Constraints: 5884
425.14/426.33 c #Conflicts: 28000 | #Constraints: 6884
425.14/426.33 c #Conflicts: 29000 | #Constraints: 7884
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 30000 | #Constraints: 5276
425.14/426.33 c #Conflicts: 31000 | #Constraints: 6276
425.14/426.33 c #Conflicts: 32000 | #Constraints: 7276
425.14/426.33 c #Conflicts: 33000 | #Constraints: 8276
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 34000 | #Constraints: 5478
425.14/426.33 c #Conflicts: 35000 | #Constraints: 6478
425.14/426.33 c #Conflicts: 36000 | #Constraints: 7478
425.14/426.33 c #Conflicts: 37000 | #Constraints: 8478
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 38000 | #Constraints: 5478
425.14/426.33 c #Conflicts: 39000 | #Constraints: 6478
425.14/426.33 c #Conflicts: 40000 | #Constraints: 7478
425.14/426.33 c #Conflicts: 41000 | #Constraints: 8478
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 42000 | #Constraints: 5278
425.14/426.33 c #Conflicts: 43000 | #Constraints: 6278
425.14/426.33 c #Conflicts: 44000 | #Constraints: 7278
425.14/426.33 c #Conflicts: 45000 | #Constraints: 8278
425.14/426.33 c #Conflicts: 46000 | #Constraints: 9278
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 47000 | #Constraints: 5876
425.14/426.33 c #Conflicts: 48000 | #Constraints: 6876
425.14/426.33 c #Conflicts: 49000 | #Constraints: 7876
425.14/426.33 c #Conflicts: 50000 | #Constraints: 8876
425.14/426.33 c #Conflicts: 51000 | #Constraints: 9876
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 52000 | #Constraints: 6275
425.14/426.33 c #Conflicts: 53000 | #Constraints: 7275
425.14/426.33 c #Conflicts: 54000 | #Constraints: 8275
425.14/426.33 c #Conflicts: 55000 | #Constraints: 9275
425.14/426.33 c #Conflicts: 56000 | #Constraints: 10275
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 57000 | #Constraints: 6476
425.14/426.33 c #Conflicts: 58000 | #Constraints: 7476
425.14/426.33 c #Conflicts: 59000 | #Constraints: 8476
425.14/426.33 c #Conflicts: 60000 | #Constraints: 9476
425.14/426.33 c #Conflicts: 61000 | #Constraints: 10476
425.14/426.33 c INPROCESSING
425.14/426.33 c GARBAGE COLLECT
425.14/426.33 c #Conflicts: 62000 | #Constraints: 6466
425.14/426.33 c #Conflicts: 63000 | #Constraints: 7466
1563.93/1567.97 c #Conflicts: 64000 | #Constraints: 8466
1563.93/1567.97 c #Conflicts: 65000 | #Constraints: 9466
1563.93/1567.97 c #Conflicts: 66000 | #Constraints: 10466
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 67000 | #Constraints: 6279
1563.93/1567.97 c #Conflicts: 68000 | #Constraints: 7279
1563.93/1567.97 c #Conflicts: 69000 | #Constraints: 8279
1563.93/1567.97 c #Conflicts: 70000 | #Constraints: 9279
1563.93/1567.97 c #Conflicts: 71000 | #Constraints: 10279
1563.93/1567.97 c #Conflicts: 72000 | #Constraints: 11279
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 73000 | #Constraints: 6878
1563.93/1567.97 c #Conflicts: 74000 | #Constraints: 7878
1563.93/1567.97 c #Conflicts: 75000 | #Constraints: 8878
1563.93/1567.97 c #Conflicts: 76000 | #Constraints: 9878
1563.93/1567.97 c #Conflicts: 77000 | #Constraints: 10878
1563.93/1567.97 c #Conflicts: 78000 | #Constraints: 11878
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 79000 | #Constraints: 7281
1563.93/1567.97 c #Conflicts: 80000 | #Constraints: 8281
1563.93/1567.97 c #Conflicts: 81000 | #Constraints: 9281
1563.93/1567.97 c #Conflicts: 82000 | #Constraints: 10281
1563.93/1567.97 c #Conflicts: 83000 | #Constraints: 11281
1563.93/1567.97 c #Conflicts: 84000 | #Constraints: 12281
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 85000 | #Constraints: 7483
1563.93/1567.97 c #Conflicts: 86000 | #Constraints: 8483
1563.93/1567.97 c #Conflicts: 87000 | #Constraints: 9483
1563.93/1567.97 c #Conflicts: 88000 | #Constraints: 10483
1563.93/1567.97 c #Conflicts: 89000 | #Constraints: 11483
1563.93/1567.97 c #Conflicts: 90000 | #Constraints: 12483
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 91000 | #Constraints: 7485
1563.93/1567.97 c #Conflicts: 92000 | #Constraints: 8485
1563.93/1567.97 c #Conflicts: 93000 | #Constraints: 9485
1563.93/1567.97 c #Conflicts: 94000 | #Constraints: 10485
1563.93/1567.97 c #Conflicts: 95000 | #Constraints: 11485
1563.93/1567.97 c #Conflicts: 96000 | #Constraints: 12485
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 97000 | #Constraints: 7286
1563.93/1567.97 c #Conflicts: 98000 | #Constraints: 8286
1563.93/1567.97 c #Conflicts: 99000 | #Constraints: 9286
1563.93/1567.97 c #Conflicts: 100000 | #Constraints: 10286
1563.93/1567.97 c #Conflicts: 101000 | #Constraints: 11286
1563.93/1567.97 c #Conflicts: 102000 | #Constraints: 12286
1563.93/1567.97 c #Conflicts: 103000 | #Constraints: 13286
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 104000 | #Constraints: 7882
1563.93/1567.97 c #Conflicts: 105000 | #Constraints: 8882
1563.93/1567.97 c #Conflicts: 106000 | #Constraints: 9882
1563.93/1567.97 c #Conflicts: 107000 | #Constraints: 10882
1563.93/1567.97 c #Conflicts: 108000 | #Constraints: 11882
1563.93/1567.97 c #Conflicts: 109000 | #Constraints: 12882
1563.93/1567.97 c #Conflicts: 110000 | #Constraints: 13882
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 111000 | #Constraints: 8285
1563.93/1567.97 c #Conflicts: 112000 | #Constraints: 9285
1563.93/1567.97 c #Conflicts: 113000 | #Constraints: 10285
1563.93/1567.97 c #Conflicts: 114000 | #Constraints: 11285
1563.93/1567.97 c #Conflicts: 115000 | #Constraints: 12285
1563.93/1567.97 c #Conflicts: 116000 | #Constraints: 13285
1563.93/1567.97 c #Conflicts: 117000 | #Constraints: 14285
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 118000 | #Constraints: 8488
1563.93/1567.97 c #Conflicts: 119000 | #Constraints: 9488
1563.93/1567.97 c #Conflicts: 120000 | #Constraints: 10488
1563.93/1567.97 c #Conflicts: 121000 | #Constraints: 11488
1563.93/1567.97 c #Conflicts: 122000 | #Constraints: 12488
1563.93/1567.97 c #Conflicts: 123000 | #Constraints: 13488
1563.93/1567.97 c #Conflicts: 124000 | #Constraints: 14488
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 125000 | #Constraints: 8475
1563.93/1567.97 c #Conflicts: 126000 | #Constraints: 9475
1563.93/1567.97 c #Conflicts: 127000 | #Constraints: 10475
1563.93/1567.97 c #Conflicts: 128000 | #Constraints: 11475
1563.93/1567.97 c #Conflicts: 129000 | #Constraints: 12475
1563.93/1567.97 c #Conflicts: 130000 | #Constraints: 13475
1563.93/1567.97 c #Conflicts: 131000 | #Constraints: 14475
1563.93/1567.97 c INPROCESSING
1563.93/1567.97 c GARBAGE COLLECT
1563.93/1567.97 c #Conflicts: 132000 | #Constraints: 8279
1563.93/1567.97 c #Conflicts: 133000 | #Constraints: 9279
1563.93/1567.97 c #Conflicts: 134000 | #Constraints: 10279
3432.46/3441.05 c #Conflicts: 135000 | #Constraints: 11279
3432.46/3441.05 c #Conflicts: 136000 | #Constraints: 12279
3432.46/3441.05 c #Conflicts: 137000 | #Constraints: 13279
3432.46/3441.05 c #Conflicts: 138000 | #Constraints: 14279
3432.46/3441.05 c #Conflicts: 139000 | #Constraints: 15279
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 140000 | #Constraints: 8881
3432.46/3441.05 c #Conflicts: 141000 | #Constraints: 9881
3432.46/3441.05 c #Conflicts: 142000 | #Constraints: 10881
3432.46/3441.05 c #Conflicts: 143000 | #Constraints: 11881
3432.46/3441.05 c #Conflicts: 144000 | #Constraints: 12881
3432.46/3441.05 c #Conflicts: 145000 | #Constraints: 13881
3432.46/3441.05 c #Conflicts: 146000 | #Constraints: 14881
3432.46/3441.05 c #Conflicts: 147000 | #Constraints: 15881
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 148000 | #Constraints: 9287
3432.46/3441.05 c #Conflicts: 149000 | #Constraints: 10287
3432.46/3441.05 c #Conflicts: 150000 | #Constraints: 11287
3432.46/3441.05 c #Conflicts: 151000 | #Constraints: 12287
3432.46/3441.05 c #Conflicts: 152000 | #Constraints: 13287
3432.46/3441.05 c #Conflicts: 153000 | #Constraints: 14287
3432.46/3441.05 c #Conflicts: 154000 | #Constraints: 15287
3432.46/3441.05 c #Conflicts: 155000 | #Constraints: 16287
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 156000 | #Constraints: 9491
3432.46/3441.05 c #Conflicts: 157000 | #Constraints: 10491
3432.46/3441.05 c #Conflicts: 158000 | #Constraints: 11491
3432.46/3441.05 c #Conflicts: 159000 | #Constraints: 12491
3432.46/3441.05 c #Conflicts: 160000 | #Constraints: 13491
3432.46/3441.05 c #Conflicts: 161000 | #Constraints: 14491
3432.46/3441.05 c #Conflicts: 162000 | #Constraints: 15491
3432.46/3441.05 c #Conflicts: 163000 | #Constraints: 16491
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 164000 | #Constraints: 9486
3432.46/3441.05 c #Conflicts: 165000 | #Constraints: 10486
3432.46/3441.05 c #Conflicts: 166000 | #Constraints: 11486
3432.46/3441.05 c #Conflicts: 167000 | #Constraints: 12486
3432.46/3441.05 c #Conflicts: 168000 | #Constraints: 13486
3432.46/3441.05 c #Conflicts: 169000 | #Constraints: 14486
3432.46/3441.05 c #Conflicts: 170000 | #Constraints: 15486
3432.46/3441.05 c #Conflicts: 171000 | #Constraints: 16486
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 172000 | #Constraints: 9287
3432.46/3441.05 c #Conflicts: 173000 | #Constraints: 10287
3432.46/3441.05 c #Conflicts: 174000 | #Constraints: 11287
3432.46/3441.05 c #Conflicts: 175000 | #Constraints: 12287
3432.46/3441.05 c #Conflicts: 176000 | #Constraints: 13287
3432.46/3441.05 c #Conflicts: 177000 | #Constraints: 14287
3432.46/3441.05 c #Conflicts: 178000 | #Constraints: 15287
3432.46/3441.05 c #Conflicts: 179000 | #Constraints: 16287
3432.46/3441.05 c #Conflicts: 180000 | #Constraints: 17287
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 181000 | #Constraints: 9894
3432.46/3441.05 c #Conflicts: 182000 | #Constraints: 10894
3432.46/3441.05 c #Conflicts: 183000 | #Constraints: 11894
3432.46/3441.05 c #Conflicts: 184000 | #Constraints: 12894
3432.46/3441.05 c #Conflicts: 185000 | #Constraints: 13894
3432.46/3441.05 c #Conflicts: 186000 | #Constraints: 14894
3432.46/3441.05 c #Conflicts: 187000 | #Constraints: 15894
3432.46/3441.05 c #Conflicts: 188000 | #Constraints: 16894
3432.46/3441.05 c #Conflicts: 189000 | #Constraints: 17894
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 190000 | #Constraints: 10293
3432.46/3441.05 c #Conflicts: 191000 | #Constraints: 11293
3432.46/3441.05 c #Conflicts: 192000 | #Constraints: 12293
3432.46/3441.05 c #Conflicts: 193000 | #Constraints: 13293
3432.46/3441.05 c #Conflicts: 194000 | #Constraints: 14293
3432.46/3441.05 c #Conflicts: 195000 | #Constraints: 15293
3432.46/3441.05 c #Conflicts: 196000 | #Constraints: 16293
3432.46/3441.05 c #Conflicts: 197000 | #Constraints: 17293
3432.46/3441.05 c #Conflicts: 198000 | #Constraints: 18293
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3432.46/3441.05 c #Conflicts: 199000 | #Constraints: 10488
3432.46/3441.05 c #Conflicts: 200000 | #Constraints: 11488
3432.46/3441.05 c #Conflicts: 201000 | #Constraints: 12488
3432.46/3441.05 c #Conflicts: 202000 | #Constraints: 13488
3432.46/3441.05 c #Conflicts: 203000 | #Constraints: 14488
3432.46/3441.05 c #Conflicts: 204000 | #Constraints: 15488
3432.46/3441.05 c #Conflicts: 205000 | #Constraints: 16488
3432.46/3441.05 c #Conflicts: 206000 | #Constraints: 17488
3432.46/3441.05 c #Conflicts: 207000 | #Constraints: 18488
3432.46/3441.05 c INPROCESSING
3432.46/3441.05 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 208000 | #Constraints: 10490
3600.08/3609.11 c #Conflicts: 209000 | #Constraints: 11490
3600.08/3609.11 c #Conflicts: 210000 | #Constraints: 12490
3600.08/3609.11 c #Conflicts: 211000 | #Constraints: 13490
3600.08/3609.11 c #Conflicts: 212000 | #Constraints: 14490
3600.08/3609.11 c #Conflicts: 213000 | #Constraints: 15490
3600.08/3609.11 c Program interrupted by user.
3600.08/3609.11 c cpu time 3465.54 s
3600.08/3609.11 c deterministic time 146534199841 1.47e+11
3600.08/3609.11 c optimization time 192.181 s
3600.08/3609.11 c total solve time 3273.33 s
3600.08/3609.11 c core-guided solve time 3273.33 s
3600.08/3609.11 c propagation time 3160.61 s
3600.08/3609.11 c conflict analysis time 149.255 s
3600.08/3609.11 c propagations 136357504
3600.08/3609.11 c resolve steps 564449
3600.08/3609.11 c decisions 171881850
3600.08/3609.11 c conflicts 213518
3600.08/3609.11 c restarts 510
3600.08/3609.11 c inprocessing phases 37
3600.08/3609.11 c input clauses 542
3600.08/3609.11 c input cardinalities 140
3600.08/3609.11 c input general constraints 71
3600.08/3609.11 c input average constraint length 475.23
3600.08/3609.11 c input average constraint degree 133.63
3600.08/3609.11 c learned clauses 3106
3600.08/3609.11 c learned cardinalities 5344
3600.08/3609.11 c learned general constraints 205070
3600.08/3609.11 c learned average constraint length 3878.80
3600.08/3609.11 c learned average constraint degree 2148927.39
3600.08/3609.11 c watched constraints 1368
3600.08/3609.11 c counting constraints 203773
3600.08/3609.11 c gcd simplifications 159
3600.08/3609.11 c detected cardinalities 134
3600.08/3609.11 c weakened non-implied lits 13072085
3600.08/3609.11 c weakened non-implying lits 338
3600.08/3609.11 c original variables 4676
3600.08/3609.11 c clausal propagations 1479594
3600.08/3609.11 c cardinality propagations 2310828
3600.08/3609.11 c watched propagations 1127913
3600.08/3609.11 c counting propagations 130050804
3600.08/3609.11 c watch lookups 56346519611
3600.08/3609.11 c watch backjump lookups 56325666516
3600.08/3609.11 c watch checks 609651762
3600.08/3609.11 c propagation checks 30935323162
3600.08/3609.11 c constraint additions 1700349320
3600.08/3609.11 c trail pops 308450115
3600.08/3609.11 c formula constraints 509
3600.08/3609.11 c learned constraints 213520
3600.08/3609.11 c bound constraints 70
3600.08/3609.11 c core-guided constraints 174
3600.08/3609.11 c encountered formula constraints 217524
3600.08/3609.11 c encountered learned constraints 508438
3600.08/3609.11 c encountered bound constraints 36
3600.08/3609.11 c encountered core-guided constraints 51969
3600.08/3609.11 c LP total time 0 s
3600.08/3609.11 c LP solve time 0 s
3600.08/3609.11 c LP constraints added 0
3600.08/3609.11 c LP constraints removed 0
3600.08/3609.11 c LP pivots internal 0
3600.08/3609.11 c LP pivots root 0
3600.08/3609.11 c LP calls 0
3600.08/3609.11 c LP optimalities 0
3600.08/3609.11 c LP no pivot count 0
3600.08/3609.11 c LP infeasibilities 0
3600.08/3609.11 c LP valid Farkas constraints 0
3600.08/3609.11 c LP learned Farkas constraints 0
3600.08/3609.11 c LP basis resets 0
3600.08/3609.11 c LP cycling count 0
3600.08/3609.11 c LP singular count 0
3600.08/3609.11 c LP no primal count 0
3600.08/3609.11 c LP no farkas count 0
3600.08/3609.11 c LP other issue count 0
3600.08/3609.11 c LP Gomory cuts 0
3600.08/3609.11 c LP learned cuts 0
3600.08/3609.11 c LP deleted cuts 0
3600.08/3609.11 c LP encountered Gomory constraints 0
3600.08/3609.11 c LP encountered Farkas constraints 0
3600.08/3609.11 c LP encountered learned Farkas constraints 0
3600.08/3609.11 c CG auxiliary variables introduced 71
3600.08/3609.11 c CG solutions found 1
3600.08/3609.11 c CG cores constructed 49
3600.08/3609.11 c CG core cardinality constraints returned 0
3600.08/3609.11 c CG unit cores 0
3600.08/3609.11 c CG single cores 49
3600.08/3609.11 c CG blocks removed during cardinality reduction 0
3600.08/3609.11 c CG first core best 0
3600.08/3609.11 c CG decision core best 0
3600.08/3609.11 c CG core reduction tie 0
3600.08/3609.11 c CG core degree average 1.00
3600.08/3609.11 c CG core slack average 47.80
3600.08/3609.11 c CG exhausted 0
3600.08/3609.11 c CG exhaust time 30.3491 s
3600.08/3609.11 c CG trimmed 0
3600.08/3609.11 c CG trim time 0.003877 s
3600.08/3609.11 c CG minimized 0
3600.08/3609.11 c CG minimize time 0 s
3600.08/3609.11 c CG am1 prop time 0.014366 s
3600.08/3609.11 c CG # am1s reformulated 0
3600.08/3609.11 c CG lower bound derived from am1s 0
3600.08/3609.11 c CG # clausal cores 49
3600.08/3609.11 c CG # cardinality cores 0
3600.08/3609.11 c CG # pb cores 0
3600.08/3609.11 c CG # pb reforms 0
3600.08/3609.11 c CG # cores discarded because of pb reform 0
3600.08/3609.11 d LOWERBOUND 49
3600.08/3609.11 d NCORES 49
3600.08/3609.11 d NPBCORES 0
3600.08/3609.11 d NPBREFORM 0
3600.08/3609.11 d NTRIMMED 0
3600.08/3609.11 d NEXHAUSTED 0
3600.08/3609.11 d NAM1S 0
3600.08/3609.11 d AM1LB 0
3600.08/3609.11 o 73
3600.08/3609.11 s SATISFIABLE
3600.08/3609.11 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 (63259 MiB free)
memory of node 1: 64510 MiB (63332 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435826-1721079993/watcher-4435826-1721079993 -o /tmp/evaluation-result-4435826-1721079993/solver-4435826-1721079993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721076346-816033 --watchdog 3760 pb-oll-rs HOME/instance-4435826-1721079993.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=819032, runsolver pid=819029
[startup+0.100711 s]*
/proc/loadavg: 4.15 4.25 4.13 5/241 819033
/proc/meminfo: memFree=129627456/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=41108 memory=8292 CPUtime=0.1 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 1063 0 0 0 7 3 0 0 20 0 1 0 160158598 42094592 2073 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 10277 2073 1357 291 0 1811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 8292 KiB
[startup+0.212977 s]*
/proc/loadavg: 4.15 4.25 4.13 6/241 819033
/proc/meminfo: memFree=129624680/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=42164 memory=11128 CPUtime=0.2 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 1277 0 0 0 11 9 0 0 20 0 1 0 160158598 43175936 2782 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 10541 2782 1357 291 0 2075 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 11128 KiB
[startup+0.312689 s]*
/proc/loadavg: 4.15 4.25 4.13 5/241 819033
/proc/meminfo: memFree=129621544/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=45988 memory=15148 CPUtime=0.31 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 2236 0 0 0 20 11 0 0 20 0 1 0 160158598 47091712 3787 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 11497 3787 1373 291 0 3031 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45988 KiB
Current children cumulated memory: 15148 KiB
[startup+0.7003 s]
/proc/loadavg: 4.15 4.25 4.13 5/241 819033
/proc/meminfo: memFree=129613004/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=62960 memory=32892 CPUtime=0.69 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 6721 0 0 0 53 16 0 0 20 0 1 0 160158598 64471040 8223 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 15740 8223 1373 291 0 7274 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62960 KiB
Current children cumulated memory: 32892 KiB
[startup+1.50028 s]
/proc/loadavg: 4.15 4.25 4.13 5/241 819033
/proc/meminfo: memFree=129595724/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=94508 memory=64984 CPUtime=1.48 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 13213 0 0 0 125 23 0 0 20 0 1 0 160158598 96776192 16246 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 23627 16246 1373 291 0 15161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94508 KiB
Current children cumulated memory: 64984 KiB
[startup+3.11283 s]
/proc/loadavg: 4.15 4.25 4.13 5/241 819033
/proc/meminfo: memFree=129510472/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=163268 memory=125764 CPUtime=3.09 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 23769 0 0 0 276 33 0 0 20 0 1 0 160158598 167186432 31441 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 40817 31441 1373 291 0 32351 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 163268 KiB
Current children cumulated memory: 125764 KiB
[startup+6.30029 s]
/proc/loadavg: 4.22 4.26 4.14 5/241 819035
/proc/meminfo: memFree=129427968/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=265180 memory=205440 CPUtime=6.26 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 38559 0 0 0 551 75 0 0 20 0 1 0 160158598 271544320 51360 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 66295 51360 1433 291 0 57829 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 265180 KiB
Current children cumulated memory: 205440 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.26 4.14 5/241 819035
/proc/meminfo: memFree=129374092/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=323112 memory=267840 CPUtime=12.65 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 43928 0 0 0 1097 168 0 0 20 0 1 0 160158598 330866688 66960 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 80778 66960 1433 291 0 72312 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 323112 KiB
Current children cumulated memory: 267840 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.24 4.13 5/241 819036
/proc/meminfo: memFree=129232692/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=528368 memory=391480 CPUtime=25.42 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 65712 0 0 0 2217 325 0 0 20 0 1 0 160158598 541048832 97870 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 132092 97870 1433 291 0 123626 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 528368 KiB
Current children cumulated memory: 391480 KiB
[startup+51.113 s]
/proc/loadavg: 4.23 4.25 4.14 5/241 819041
/proc/meminfo: memFree=129152124/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=547572 memory=454104 CPUtime=50.97 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 72713 0 0 0 4522 575 0 0 20 0 1 0 160158598 560713728 113526 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 136893 113526 1433 291 0 128427 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 547572 KiB
Current children cumulated memory: 454104 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.23 4.14 5/241 819141
/proc/meminfo: memFree=128656836/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=691676 memory=527644 CPUtime=102.01 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 80327 0 0 0 9200 1001 0 0 20 0 1 0 160158598 708276224 131911 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 172919 131911 1433 291 0 164453 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 691676 KiB
Current children cumulated memory: 527644 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.20 4.13 5/241 819152
/proc/meminfo: memFree=128147544/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=694172 memory=560856 CPUtime=161.85 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 83162 0 0 0 14795 1390 0 0 20 0 1 0 160158598 710832128 140214 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 173543 140214 1433 291 0 165077 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 694172 KiB
Current children cumulated memory: 560856 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/241 819162
/proc/meminfo: memFree=127873392/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=870000 memory=679784 CPUtime=221.68 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 108081 0 0 0 20409 1759 0 0 20 0 1 0 160158598 890880000 169946 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 217500 169946 1433 291 0 209034 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 870000 KiB
Current children cumulated memory: 679784 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/243 819176
/proc/meminfo: memFree=127731672/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=909172 memory=747176 CPUtime=281.53 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 114651 0 0 0 26067 2086 0 0 20 0 1 0 160158598 930992128 186794 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 227293 186794 1433 291 0 218827 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 909172 KiB
Current children cumulated memory: 747176 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/243 819187
/proc/meminfo: memFree=127586904/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=942200 memory=821436 CPUtime=341.36 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 120022 0 0 0 31741 2395 0 0 20 0 1 0 160158598 964812800 205359 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 235550 205359 1433 291 0 227084 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 942200 KiB
Current children cumulated memory: 821436 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/243 819197
/proc/meminfo: memFree=127432640/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=952956 memory=875776 CPUtime=401.2 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 121841 0 0 0 37407 2713 0 0 20 0 1 0 160158598 975826944 218944 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 238239 218944 1433 291 0 229773 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 952956 KiB
Current children cumulated memory: 875776 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/243 819208
/proc/meminfo: memFree=127410796/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=956028 memory=888140 CPUtime=461.03 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 122683 0 0 0 43036 3067 0 0 20 0 1 0 160158598 978972672 222035 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 239007 222035 1433 291 0 230541 0
################
# More data... #
################
Current children cumulated memory: 1259352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/244 821358
/proc/meminfo: memFree=124990892/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1548192 memory=1304912 CPUtime=2915.06 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 194008 0 0 0 279973 11533 0 0 20 0 1 0 160158598 1585348608 326228 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 387048 326228 1433 291 0 378582 0
Current children cumulated CPU time: 2915.06 s
Current children cumulated vsize: 1548192 KiB
Current children cumulated memory: 1304912 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/242 821370
/proc/meminfo: memFree=124874540/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1565604 memory=1319092 CPUtime=2974.91 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 196774 0 0 0 285728 11763 0 0 20 0 1 0 160158598 1603178496 329773 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 391401 329773 1433 291 0 382935 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 1565604 KiB
Current children cumulated memory: 1319092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/242 821380
/proc/meminfo: memFree=124873488/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1565604 memory=1319092 CPUtime=3034.76 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 197220 0 0 0 291561 11915 0 0 20 0 1 0 160158598 1603178496 329773 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 391401 329773 1433 291 0 382935 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 1565604 KiB
Current children cumulated memory: 1319092 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/242 821390
/proc/meminfo: memFree=124866476/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1565604 memory=1319092 CPUtime=3094.62 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 197695 0 0 0 297401 12061 0 0 20 0 1 0 160158598 1603178496 329773 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 391401 329773 1433 291 0 382935 0
Current children cumulated CPU time: 3094.62 s
Current children cumulated vsize: 1565604 KiB
Current children cumulated memory: 1319092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/242 821401
/proc/meminfo: memFree=124865588/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1565604 memory=1319524 CPUtime=3154.46 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 198196 0 0 0 303253 12193 0 0 20 0 1 0 160158598 1603178496 329881 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 391401 329881 1433 291 0 382935 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 1565604 KiB
Current children cumulated memory: 1319524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/242 821411
/proc/meminfo: memFree=124827252/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1593508 memory=1348848 CPUtime=3214.31 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 203337 0 0 0 309063 12368 0 0 20 0 1 0 160158598 1631752192 337212 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 398377 337212 1433 291 0 389911 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1348848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.16 5/244 821425
/proc/meminfo: memFree=124784896/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1593508 memory=1370444 CPUtime=3274.15 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 203687 0 0 0 314867 12548 0 0 20 0 1 0 160158598 1631752192 342611 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 398377 342611 1433 291 0 389911 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1370444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/243 821437
/proc/meminfo: memFree=124688724/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1593508 memory=1415180 CPUtime=3334 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 204225 0 0 0 320693 12707 0 0 20 0 1 0 160158598 1631752192 353795 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 398377 353795 1433 291 0 389911 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1415180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/243 821447
/proc/meminfo: memFree=124632764/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1593508 memory=1460180 CPUtime=3393.85 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 204817 0 0 0 326524 12861 0 0 20 0 1 0 160158598 1631752192 365045 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 398377 365045 1433 291 0 389911 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 1593508 KiB
Current children cumulated memory: 1460180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/243 821458
/proc/meminfo: memFree=124291820/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1634984 memory=1535136 CPUtime=3453.7 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 211375 0 0 0 332341 13029 0 0 20 0 1 0 160158598 1674223616 383784 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 408746 383784 1433 291 0 400280 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1535136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/243 821468
/proc/meminfo: memFree=124232808/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1634984 memory=1580704 CPUtime=3513.54 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 211979 0 0 0 338128 13226 0 0 20 0 1 0 160158598 1674223616 395176 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 408746 395176 1433 291 0 400280 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1580704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/241 821570
/proc/meminfo: memFree=124554040/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1634984 memory=1584672 CPUtime=3573.36 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 212618 0 0 0 343931 13405 0 0 20 0 1 0 160158598 1674223616 396168 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 408746 396168 1433 291 0 400280 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1584672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.11 4.13 4.14 5/241 821575
/proc/meminfo: memFree=124436376/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1634984 memory=1584672 CPUtime=3600.08 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 212824 0 0 0 346553 13455 0 0 20 0 1 0 160158598 1674223616 396168 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 408746 396168 1433 291 0 400280 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1584672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 819032 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3465.54 s, system=134.566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.11 4.13 4.14 5/241 821575
/proc/meminfo: memFree=124436376/131655788 swapFree=131071996/131071996
[pid=819032] ppid=819029 vsize=1634984 memory=1584672 CPUtime=3600.08 cores=4,6
/proc/819032/stat : 819032 (pb-oll-rs) R 819029 819032 816022 0 -1 4194304 212824 0 0 0 346553 13455 0 0 20 0 1 0 160158598 1674223616 396168 134679101440 4194304 5384005 140734152140544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18968576 140734152143895 140734152143972 140734152143972 140734152150987 0
/proc/819032/statm: 408746 396168 1433 291 0 400280 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1584672 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.11
CPU user time (s): 3465.54
CPU system time (s): 134.566
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 1634984
Max. memory (cumulated for all children) (KiB): 1584672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3465.54
system time used= 134.566
maximum resident set size= 1584672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212842
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= 286
involuntary context switches= 2054
# summary of solver processes directly reported to runsolver:
# pid: 819032
# total CPU time (s): 3600.11
# total CPU user time (s): 3465.54
# total CPU system time (s): 134.566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7425 second user time and 36.387 second system time
The end
Begin job on nodeC010 at 2024-07-15 23:46:45
IDJOB=4435826
IDBENCH=147201
IDSOLVER=3067
FILE ID=nodeC010/4435826-1721079993
RUNJOBID= nodeC010-1721076346-816033
SLURM_JOB_ID= 7505551
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435826-1721079993/watcher-4435826-1721079993 -o /tmp/evaluation-result-4435826-1721079993/solver-4435826-1721079993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721076346-816033 --watchdog 3760 pb-oll-rs HOME/instance-4435826-1721079993.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=475581578
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 : 3654.202
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 : 3658.847
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.354
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.285
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.774
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.343
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.179
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.315
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: 129630796 kB
MemAvailable: 129863908 kB
Buffers: 384176 kB
Cached: 692356 kB
SwapCached: 0 kB
Active: 695024 kB
Inactive: 812144 kB
Active(anon): 1456 kB
Inactive(anon): 466600 kB
Active(file): 693568 kB
Inactive(file): 345544 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4876 kB
Writeback: 0 kB
AnonPages: 428392 kB
Mapped: 107836 kB
Shmem: 37704 kB
KReclaimable: 68064 kB
Slab: 160840 kB
SReclaimable: 68064 kB
SUnreclaim: 92776 kB
KernelStack: 3920 kB
PageTables: 10288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 782720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC010 at 2024-07-16 00:46:54