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.04 c [STEP] solving
0.00/0.04 c #variables 4318 #constraints 15120
0.00/0.04 c SMALL=int, LARGE=long long
0.00/0.04 c bounds - >= 5 @ 0.029176
0.00/0.04 c stratification level: 0
0.00/0.08 c bounds - >= 6 @ 0.069825
0.00/0.08 c bounds - >= 7 @ 0.070931
0.00/0.08 c bounds - >= 8 @ 0.07131
0.00/0.08 c bounds - >= 9 @ 0.07133
0.00/0.08 c bounds - >= 10 @ 0.07133
0.00/0.08 c bounds - >= 11 @ 0.071441
0.00/0.08 c finalizing WCE round: reformulating cores
2.38/2.44 c #Conflicts: 1000 | #Constraints: 16135
2.38/2.44 c #Conflicts: 2000 | #Constraints: 17137
2.38/2.44 c INPROCESSING
2.38/2.44 c GARBAGE COLLECT
2.38/2.44 c #Conflicts: 3000 | #Constraints: 17135
2.38/2.44 c #Conflicts: 4000 | #Constraints: 18137
2.38/2.44 c INPROCESSING
2.38/2.44 c GARBAGE COLLECT
2.38/2.44 c #Conflicts: 5000 | #Constraints: 17547
2.38/2.44 c bounds 25 >= 11 @ 2.21518
2.38/2.44 c bounds 25 >= 12 @ 2.23981
2.38/2.44 c bounds 25 >= 13 @ 2.31677
2.38/2.44 c finalizing WCE round: reformulating cores
238.03/238.68 c #Conflicts: 6000 | #Constraints: 18567
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 7000 | #Constraints: 17561
238.03/238.68 c bounds 24 >= 13 @ 3.30865
238.03/238.68 c bounds 23 >= 14 @ 3.36823
238.03/238.68 c #Conflicts: 8000 | #Constraints: 18566
238.03/238.68 c #Conflicts: 9000 | #Constraints: 19566
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 10000 | #Constraints: 18283
238.03/238.68 c bounds 23 >= 15 @ 9.52733
238.03/238.68 c #Conflicts: 11000 | #Constraints: 19299
238.03/238.68 c #Conflicts: 12000 | #Constraints: 20299
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 13000 | #Constraints: 18763
238.03/238.68 c #Conflicts: 14000 | #Constraints: 19763
238.03/238.68 c #Conflicts: 15000 | #Constraints: 20763
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 16000 | #Constraints: 19016
238.03/238.68 c #Conflicts: 17000 | #Constraints: 20016
238.03/238.68 c #Conflicts: 18000 | #Constraints: 21016
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 19000 | #Constraints: 19091
238.03/238.68 c #Conflicts: 20000 | #Constraints: 20091
238.03/238.68 c #Conflicts: 21000 | #Constraints: 21091
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 22000 | #Constraints: 18891
238.03/238.68 c #Conflicts: 23000 | #Constraints: 19891
238.03/238.68 c #Conflicts: 24000 | #Constraints: 20891
238.03/238.68 c #Conflicts: 25000 | #Constraints: 21891
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 26000 | #Constraints: 19503
238.03/238.68 c #Conflicts: 27000 | #Constraints: 20503
238.03/238.68 c #Conflicts: 28000 | #Constraints: 21503
238.03/238.68 c #Conflicts: 29000 | #Constraints: 22503
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 30000 | #Constraints: 19925
238.03/238.68 c #Conflicts: 31000 | #Constraints: 20925
238.03/238.68 c #Conflicts: 32000 | #Constraints: 21925
238.03/238.68 c #Conflicts: 33000 | #Constraints: 22925
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 34000 | #Constraints: 20158
238.03/238.68 c #Conflicts: 35000 | #Constraints: 21158
238.03/238.68 c #Conflicts: 36000 | #Constraints: 22158
238.03/238.68 c #Conflicts: 37000 | #Constraints: 23158
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 38000 | #Constraints: 20220
238.03/238.68 c #Conflicts: 39000 | #Constraints: 21220
238.03/238.68 c #Conflicts: 40000 | #Constraints: 22220
238.03/238.68 c #Conflicts: 41000 | #Constraints: 23220
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 42000 | #Constraints: 20048
238.03/238.68 c #Conflicts: 43000 | #Constraints: 21048
238.03/238.68 c #Conflicts: 44000 | #Constraints: 22048
238.03/238.68 c #Conflicts: 45000 | #Constraints: 23048
238.03/238.68 c #Conflicts: 46000 | #Constraints: 24048
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 47000 | #Constraints: 20656
238.03/238.68 c #Conflicts: 48000 | #Constraints: 21656
238.03/238.68 c #Conflicts: 49000 | #Constraints: 22656
238.03/238.68 c #Conflicts: 50000 | #Constraints: 23656
238.03/238.68 c #Conflicts: 51000 | #Constraints: 24656
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 52000 | #Constraints: 21032
238.03/238.68 c #Conflicts: 53000 | #Constraints: 22032
238.03/238.68 c #Conflicts: 54000 | #Constraints: 23032
238.03/238.68 c #Conflicts: 55000 | #Constraints: 24032
238.03/238.68 c #Conflicts: 56000 | #Constraints: 25032
238.03/238.68 c INPROCESSING
238.03/238.68 c GARBAGE COLLECT
238.03/238.68 c #Conflicts: 57000 | #Constraints: 21283
238.03/238.68 c #Conflicts: 58000 | #Constraints: 22283
238.03/238.68 c #Conflicts: 59000 | #Constraints: 23283
238.03/238.68 c bounds 23 >= 16 @ 233.939
238.03/238.68 c #Conflicts: 60000 | #Constraints: 24308
238.03/238.68 c finalizing WCE round: reformulating cores
297.99/298.72 c #Conflicts: 61000 | #Constraints: 25311
297.99/298.72 c INPROCESSING
297.99/298.72 c GARBAGE COLLECT
297.99/298.72 c #Conflicts: 62000 | #Constraints: 21265
297.99/298.72 c bounds 22 >= 16 @ 240.661
297.99/298.72 c #Conflicts: 63000 | #Constraints: 22265
297.99/298.72 c #Conflicts: 64000 | #Constraints: 23265
297.99/298.72 c #Conflicts: 65000 | #Constraints: 24265
297.99/298.72 c #Conflicts: 66000 | #Constraints: 25265
297.99/298.72 c INPROCESSING
297.99/298.72 c GARBAGE COLLECT
297.99/298.72 c #Conflicts: 67000 | #Constraints: 21080
297.99/298.72 c #Conflicts: 68000 | #Constraints: 22080
297.99/298.72 c #Conflicts: 69000 | #Constraints: 23080
297.99/298.72 c #Conflicts: 70000 | #Constraints: 24080
297.99/298.72 c bounds 22 >= 17 @ 286.167
297.99/298.72 c #Conflicts: 71000 | #Constraints: 25099
297.99/298.72 c #Conflicts: 72000 | #Constraints: 26099
297.99/298.72 c INPROCESSING
297.99/298.72 c GARBAGE COLLECT
297.99/298.72 c #Conflicts: 73000 | #Constraints: 21692
297.99/298.72 c finalizing WCE round: reformulating cores
813.33/815.30 c bounds 19 >= 17 @ 298.17
813.33/815.30 c #Conflicts: 74000 | #Constraints: 22695
813.33/815.30 c #Conflicts: 75000 | #Constraints: 23695
813.33/815.30 c #Conflicts: 76000 | #Constraints: 24695
813.33/815.30 c #Conflicts: 77000 | #Constraints: 25695
813.33/815.30 c #Conflicts: 78000 | #Constraints: 26695
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 79000 | #Constraints: 22111
813.33/815.30 c #Conflicts: 80000 | #Constraints: 23111
813.33/815.30 c #Conflicts: 81000 | #Constraints: 24111
813.33/815.30 c #Conflicts: 82000 | #Constraints: 25111
813.33/815.30 c #Conflicts: 83000 | #Constraints: 26111
813.33/815.30 c #Conflicts: 84000 | #Constraints: 27111
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 85000 | #Constraints: 22217
813.33/815.30 c #Conflicts: 86000 | #Constraints: 23217
813.33/815.30 c #Conflicts: 87000 | #Constraints: 24217
813.33/815.30 c #Conflicts: 88000 | #Constraints: 25217
813.33/815.30 c #Conflicts: 89000 | #Constraints: 26217
813.33/815.30 c #Conflicts: 90000 | #Constraints: 27217
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 91000 | #Constraints: 22268
813.33/815.30 c #Conflicts: 92000 | #Constraints: 23268
813.33/815.30 c #Conflicts: 93000 | #Constraints: 24268
813.33/815.30 c #Conflicts: 94000 | #Constraints: 25268
813.33/815.30 c #Conflicts: 95000 | #Constraints: 26268
813.33/815.30 c #Conflicts: 96000 | #Constraints: 27268
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 97000 | #Constraints: 22180
813.33/815.30 c #Conflicts: 98000 | #Constraints: 23180
813.33/815.30 c #Conflicts: 99000 | #Constraints: 24180
813.33/815.30 c #Conflicts: 100000 | #Constraints: 25180
813.33/815.30 c #Conflicts: 101000 | #Constraints: 26180
813.33/815.30 c #Conflicts: 102000 | #Constraints: 27180
813.33/815.30 c #Conflicts: 103000 | #Constraints: 28180
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 104000 | #Constraints: 22791
813.33/815.30 c #Conflicts: 105000 | #Constraints: 23791
813.33/815.30 c #Conflicts: 106000 | #Constraints: 24791
813.33/815.30 c #Conflicts: 107000 | #Constraints: 25791
813.33/815.30 c #Conflicts: 108000 | #Constraints: 26791
813.33/815.30 c #Conflicts: 109000 | #Constraints: 27791
813.33/815.30 c #Conflicts: 110000 | #Constraints: 28791
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 111000 | #Constraints: 23156
813.33/815.30 c #Conflicts: 112000 | #Constraints: 24156
813.33/815.30 c #Conflicts: 113000 | #Constraints: 25156
813.33/815.30 c #Conflicts: 114000 | #Constraints: 26156
813.33/815.30 c #Conflicts: 115000 | #Constraints: 27156
813.33/815.30 c #Conflicts: 116000 | #Constraints: 28156
813.33/815.30 c #Conflicts: 117000 | #Constraints: 29156
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 118000 | #Constraints: 23345
813.33/815.30 c #Conflicts: 119000 | #Constraints: 24345
813.33/815.30 c #Conflicts: 120000 | #Constraints: 25345
813.33/815.30 c #Conflicts: 121000 | #Constraints: 26345
813.33/815.30 c #Conflicts: 122000 | #Constraints: 27345
813.33/815.30 c #Conflicts: 123000 | #Constraints: 28345
813.33/815.30 c #Conflicts: 124000 | #Constraints: 29345
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 125000 | #Constraints: 23378
813.33/815.30 c #Conflicts: 126000 | #Constraints: 24378
813.33/815.30 c #Conflicts: 127000 | #Constraints: 25378
813.33/815.30 c #Conflicts: 128000 | #Constraints: 26378
813.33/815.30 c #Conflicts: 129000 | #Constraints: 27378
813.33/815.30 c #Conflicts: 130000 | #Constraints: 28378
813.33/815.30 c #Conflicts: 131000 | #Constraints: 29378
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 132000 | #Constraints: 23159
813.33/815.30 c #Conflicts: 133000 | #Constraints: 24159
813.33/815.30 c #Conflicts: 134000 | #Constraints: 25159
813.33/815.30 c #Conflicts: 135000 | #Constraints: 26159
813.33/815.30 c #Conflicts: 136000 | #Constraints: 27159
813.33/815.30 c #Conflicts: 137000 | #Constraints: 28159
813.33/815.30 c #Conflicts: 138000 | #Constraints: 29159
813.33/815.30 c #Conflicts: 139000 | #Constraints: 30159
813.33/815.30 c INPROCESSING
813.33/815.30 c GARBAGE COLLECT
813.33/815.30 c #Conflicts: 140000 | #Constraints: 23755
813.33/815.30 c #Conflicts: 141000 | #Constraints: 24755
813.33/815.30 c #Conflicts: 142000 | #Constraints: 25755
813.33/815.30 c #Conflicts: 143000 | #Constraints: 26755
813.33/815.30 c #Conflicts: 144000 | #Constraints: 27755
813.33/815.30 c #Conflicts: 145000 | #Constraints: 28755
1514.31/1518.06 c #Conflicts: 146000 | #Constraints: 29755
1514.31/1518.06 c #Conflicts: 147000 | #Constraints: 30755
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 148000 | #Constraints: 24312
1514.31/1518.06 c #Conflicts: 149000 | #Constraints: 25312
1514.31/1518.06 c #Conflicts: 150000 | #Constraints: 26312
1514.31/1518.06 c #Conflicts: 151000 | #Constraints: 27312
1514.31/1518.06 c #Conflicts: 152000 | #Constraints: 28312
1514.31/1518.06 c #Conflicts: 153000 | #Constraints: 29312
1514.31/1518.06 c #Conflicts: 154000 | #Constraints: 30312
1514.31/1518.06 c #Conflicts: 155000 | #Constraints: 31312
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 156000 | #Constraints: 24554
1514.31/1518.06 c #Conflicts: 157000 | #Constraints: 25554
1514.31/1518.06 c #Conflicts: 158000 | #Constraints: 26554
1514.31/1518.06 c #Conflicts: 159000 | #Constraints: 27554
1514.31/1518.06 c #Conflicts: 160000 | #Constraints: 28554
1514.31/1518.06 c #Conflicts: 161000 | #Constraints: 29554
1514.31/1518.06 c #Conflicts: 162000 | #Constraints: 30554
1514.31/1518.06 c #Conflicts: 163000 | #Constraints: 31554
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 164000 | #Constraints: 24480
1514.31/1518.06 c #Conflicts: 165000 | #Constraints: 25480
1514.31/1518.06 c #Conflicts: 166000 | #Constraints: 26480
1514.31/1518.06 c #Conflicts: 167000 | #Constraints: 27480
1514.31/1518.06 c #Conflicts: 168000 | #Constraints: 28480
1514.31/1518.06 c #Conflicts: 169000 | #Constraints: 29480
1514.31/1518.06 c #Conflicts: 170000 | #Constraints: 30480
1514.31/1518.06 c #Conflicts: 171000 | #Constraints: 31480
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 172000 | #Constraints: 24348
1514.31/1518.06 c #Conflicts: 173000 | #Constraints: 25348
1514.31/1518.06 c #Conflicts: 174000 | #Constraints: 26348
1514.31/1518.06 c #Conflicts: 175000 | #Constraints: 27348
1514.31/1518.06 c #Conflicts: 176000 | #Constraints: 28348
1514.31/1518.06 c #Conflicts: 177000 | #Constraints: 29348
1514.31/1518.06 c #Conflicts: 178000 | #Constraints: 30348
1514.31/1518.06 c #Conflicts: 179000 | #Constraints: 31348
1514.31/1518.06 c #Conflicts: 180000 | #Constraints: 32348
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 181000 | #Constraints: 24876
1514.31/1518.06 c #Conflicts: 182000 | #Constraints: 25876
1514.31/1518.06 c #Conflicts: 183000 | #Constraints: 26876
1514.31/1518.06 c #Conflicts: 184000 | #Constraints: 27876
1514.31/1518.06 c #Conflicts: 185000 | #Constraints: 28876
1514.31/1518.06 c #Conflicts: 186000 | #Constraints: 29876
1514.31/1518.06 c #Conflicts: 187000 | #Constraints: 30876
1514.31/1518.06 c #Conflicts: 188000 | #Constraints: 31876
1514.31/1518.06 c #Conflicts: 189000 | #Constraints: 32876
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 190000 | #Constraints: 25231
1514.31/1518.06 c #Conflicts: 191000 | #Constraints: 26231
1514.31/1518.06 c #Conflicts: 192000 | #Constraints: 27231
1514.31/1518.06 c #Conflicts: 193000 | #Constraints: 28231
1514.31/1518.06 c #Conflicts: 194000 | #Constraints: 29231
1514.31/1518.06 c #Conflicts: 195000 | #Constraints: 30231
1514.31/1518.06 c #Conflicts: 196000 | #Constraints: 31231
1514.31/1518.06 c #Conflicts: 197000 | #Constraints: 32231
1514.31/1518.06 c #Conflicts: 198000 | #Constraints: 33231
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 199000 | #Constraints: 25516
1514.31/1518.06 c #Conflicts: 200000 | #Constraints: 26516
1514.31/1518.06 c #Conflicts: 201000 | #Constraints: 27516
1514.31/1518.06 c #Conflicts: 202000 | #Constraints: 28516
1514.31/1518.06 c #Conflicts: 203000 | #Constraints: 29516
1514.31/1518.06 c #Conflicts: 204000 | #Constraints: 30516
1514.31/1518.06 c #Conflicts: 205000 | #Constraints: 31516
1514.31/1518.06 c #Conflicts: 206000 | #Constraints: 32516
1514.31/1518.06 c #Conflicts: 207000 | #Constraints: 33516
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 208000 | #Constraints: 25456
1514.31/1518.06 c #Conflicts: 209000 | #Constraints: 26456
1514.31/1518.06 c #Conflicts: 210000 | #Constraints: 27456
1514.31/1518.06 c #Conflicts: 211000 | #Constraints: 28456
1514.31/1518.06 c #Conflicts: 212000 | #Constraints: 29456
1514.31/1518.06 c #Conflicts: 213000 | #Constraints: 30456
1514.31/1518.06 c #Conflicts: 214000 | #Constraints: 31456
1514.31/1518.06 c #Conflicts: 215000 | #Constraints: 32456
1514.31/1518.06 c #Conflicts: 216000 | #Constraints: 33456
1514.31/1518.06 c INPROCESSING
1514.31/1518.06 c GARBAGE COLLECT
1514.31/1518.06 c #Conflicts: 217000 | #Constraints: 25498
1514.31/1518.06 c #Conflicts: 218000 | #Constraints: 26498
1866.32/1870.80 c #Conflicts: 219000 | #Constraints: 27498
1866.32/1870.80 c #Conflicts: 220000 | #Constraints: 28498
1866.32/1870.80 c #Conflicts: 221000 | #Constraints: 29498
1866.32/1870.80 c #Conflicts: 222000 | #Constraints: 30498
1866.32/1870.80 c #Conflicts: 223000 | #Constraints: 31498
1866.32/1870.80 c #Conflicts: 224000 | #Constraints: 32498
1866.32/1870.80 c #Conflicts: 225000 | #Constraints: 33498
1866.32/1870.80 c #Conflicts: 226000 | #Constraints: 34498
1866.32/1870.80 c INPROCESSING
1866.32/1870.80 c GARBAGE COLLECT
1866.32/1870.80 c #Conflicts: 227000 | #Constraints: 26086
1866.32/1870.80 c #Conflicts: 228000 | #Constraints: 27086
1866.32/1870.80 c #Conflicts: 229000 | #Constraints: 28086
1866.32/1870.80 c #Conflicts: 230000 | #Constraints: 29086
1866.32/1870.80 c #Conflicts: 231000 | #Constraints: 30086
1866.32/1870.80 c #Conflicts: 232000 | #Constraints: 31086
1866.32/1870.80 c #Conflicts: 233000 | #Constraints: 32086
1866.32/1870.80 c #Conflicts: 234000 | #Constraints: 33086
1866.32/1870.80 c #Conflicts: 235000 | #Constraints: 34086
1866.32/1870.80 c #Conflicts: 236000 | #Constraints: 35086
1866.32/1870.80 c INPROCESSING
1866.32/1870.80 c GARBAGE COLLECT
1866.32/1870.80 c #Conflicts: 237000 | #Constraints: 26533
1866.32/1870.80 c #Conflicts: 238000 | #Constraints: 27533
1866.32/1870.80 c #Conflicts: 239000 | #Constraints: 28533
1866.32/1870.80 c #Conflicts: 240000 | #Constraints: 29533
1866.32/1870.80 c #Conflicts: 241000 | #Constraints: 30533
1866.32/1870.80 c #Conflicts: 242000 | #Constraints: 31533
1866.32/1870.80 c #Conflicts: 243000 | #Constraints: 32533
1866.32/1870.80 c #Conflicts: 244000 | #Constraints: 33533
1866.32/1870.80 c #Conflicts: 245000 | #Constraints: 34533
1866.32/1870.80 c #Conflicts: 246000 | #Constraints: 35533
1866.32/1870.80 c INPROCESSING
1866.32/1870.80 c GARBAGE COLLECT
1866.32/1870.80 c #Conflicts: 247000 | #Constraints: 26658
1866.32/1870.80 c #Conflicts: 248000 | #Constraints: 27658
1866.32/1870.80 c #Conflicts: 249000 | #Constraints: 28658
1866.32/1870.80 c #Conflicts: 250000 | #Constraints: 29658
1866.32/1870.80 c #Conflicts: 251000 | #Constraints: 30658
1866.32/1870.80 c #Conflicts: 252000 | #Constraints: 31658
1866.32/1870.80 c #Conflicts: 253000 | #Constraints: 32658
1866.32/1870.80 c #Conflicts: 254000 | #Constraints: 33658
1866.32/1870.80 c #Conflicts: 255000 | #Constraints: 34658
1866.32/1870.80 c bounds 19 >= 18 @ 1836.18
1866.32/1870.80 c #Conflicts: 256000 | #Constraints: 35689
1866.32/1870.80 c INPROCESSING
1866.32/1870.80 c GARBAGE COLLECT
1866.32/1870.80 c #Conflicts: 257000 | #Constraints: 26568
1866.32/1870.80 c #Conflicts: 258000 | #Constraints: 27568
1866.32/1870.80 c finalizing WCE round: reformulating cores
1866.32/1870.81 c bounds 18 >= 18 @ 1859.16
1866.32/1870.81 d SOLVEDBY oll
1866.32/1870.81 c cpu time 1859.16 s
1866.32/1870.81 c deterministic time 227853689483 2.28e+11
1866.32/1870.81 c optimization time 9.73764 s
1866.32/1870.81 c total solve time 1849.39 s
1866.32/1870.81 c core-guided solve time 1849.39 s
1866.32/1870.81 c propagation time 1457.49 s
1866.32/1870.81 c conflict analysis time 386.45 s
1866.32/1870.81 c propagations 247149324
1866.32/1870.81 c resolve steps 26123355
1866.32/1870.81 c decisions 5636771
1866.32/1870.81 c conflicts 258981
1866.32/1870.81 c restarts 612
1866.32/1870.81 c inprocessing phases 42
1866.32/1870.81 c input clauses 15155
1866.32/1870.81 c input cardinalities 65
1866.32/1870.81 c input general constraints 47
1866.32/1870.81 c input average constraint length 3.44
1866.32/1870.81 c input average constraint degree 1.39
1866.32/1870.81 c learned clauses 68947
1866.32/1870.81 c learned cardinalities 1260
1866.32/1870.81 c learned general constraints 188776
1866.32/1870.81 c learned average constraint length 860.15
1866.32/1870.81 c learned average constraint degree 23807450.13
1866.32/1870.81 c watched constraints 146672
1866.32/1870.81 c counting constraints 42151
1866.32/1870.81 c gcd simplifications 1235
1866.32/1870.81 c detected cardinalities 2
1866.32/1870.81 c weakened non-implied lits 7513037
1866.32/1870.81 c weakened non-implying lits 36713
1866.32/1870.81 c original variables 4318
1866.32/1870.81 c clausal propagations 194769856
1866.32/1870.81 c cardinality propagations 387421
1866.32/1870.81 c watched propagations 6506746
1866.32/1870.81 c counting propagations 45118499
1866.32/1870.81 c watch lookups 35472324248
1866.32/1870.81 c watch backjump lookups 31098637171
1866.32/1870.81 c watch checks 147635616007
1866.32/1870.81 c propagation checks 12205401119
1866.32/1870.81 c constraint additions 935879773
1866.32/1870.81 c trail pops 253045069
1866.32/1870.81 c formula constraints 15120
1866.32/1870.81 c learned constraints 258983
1866.32/1870.81 c bound constraints 18
1866.32/1870.81 c core-guided constraints 129
1866.32/1870.81 c encountered formula constraints 21227932
1866.32/1870.81 c encountered learned constraints 5098356
1866.32/1870.81 c encountered bound constraints 95
1866.32/1870.81 c encountered core-guided constraints 55952
1866.32/1870.81 c LP total time 0 s
1866.32/1870.81 c LP solve time 0 s
1866.32/1870.81 c LP constraints added 0
1866.32/1870.81 c LP constraints removed 0
1866.32/1870.81 c LP pivots internal 0
1866.32/1870.81 c LP pivots root 0
1866.32/1870.81 c LP calls 0
1866.32/1870.81 c LP optimalities 0
1866.32/1870.81 c LP no pivot count 0
1866.32/1870.81 c LP infeasibilities 0
1866.32/1870.81 c LP valid Farkas constraints 0
1866.32/1870.81 c LP learned Farkas constraints 0
1866.32/1870.81 c LP basis resets 0
1866.32/1870.81 c LP cycling count 0
1866.32/1870.81 c LP singular count 0
1866.32/1870.81 c LP no primal count 0
1866.32/1870.81 c LP no farkas count 0
1866.32/1870.81 c LP other issue count 0
1866.32/1870.81 c LP Gomory cuts 0
1866.32/1870.81 c LP learned cuts 0
1866.32/1870.81 c LP deleted cuts 0
1866.32/1870.81 c LP encountered Gomory constraints 0
1866.32/1870.81 c LP encountered Farkas constraints 0
1866.32/1870.81 c LP encountered learned Farkas constraints 0
1866.32/1870.81 c CG auxiliary variables introduced 47
1866.32/1870.81 c CG solutions found 5
1866.32/1870.81 c CG cores constructed 12
1866.32/1870.81 c CG core cardinality constraints returned 0
1866.32/1870.81 c CG unit cores 0
1866.32/1870.81 c CG single cores 12
1866.32/1870.81 c CG blocks removed during cardinality reduction 0
1866.32/1870.81 c CG first core best 0
1866.32/1870.81 c CG decision core best 0
1866.32/1870.81 c CG core reduction tie 0
1866.32/1870.81 c CG core degree average 1.00
1866.32/1870.81 c CG core slack average 42.25
1866.32/1870.81 c CG exhausted 1
1866.32/1870.81 c CG exhaust time 9.71634 s
1866.32/1870.81 c CG trimmed 1
1866.32/1870.81 c CG trim time 0.005893 s
1866.32/1870.81 c CG minimized 0
1866.32/1870.81 c CG minimize time 0 s
1866.32/1870.81 c CG am1 prop time 0.006513 s
1866.32/1870.81 c CG # am1s reformulated 0
1866.32/1870.81 c CG lower bound derived from am1s 0
1866.32/1870.81 c CG # clausal cores 12
1866.32/1870.81 c CG # cardinality cores 0
1866.32/1870.81 c CG # pb cores 0
1866.32/1870.81 c CG # pb reforms 0
1866.32/1870.81 c CG # cores discarded because of pb reform 0
1866.32/1870.81 d LOWERBOUND 18
1866.32/1870.81 d NCORES 12
1866.32/1870.81 d NPBCORES 0
1866.32/1870.81 d NPBREFORM 0
1866.32/1870.81 d NTRIMMED 1
1866.32/1870.81 d NEXHAUSTED 1
1866.32/1870.81 d NAM1S 0
1866.32/1870.81 d AM1LB 0
1866.32/1870.81 o 18
1866.32/1870.81 s OPTIMUM FOUND
1866.32/1870.81 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
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: 63968 MiB (61497 MiB free)
memory of node 1: 64473 MiB (63351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454404-1721472475/watcher-4454404-1721472475 -o /tmp/evaluation-result-4454404-1721472475/solver-4454404-1721472475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064389 --watchdog 3760 pb-oll-rs HOME/instance-4454404-1721472475.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
solver pid=1064432, runsolver pid=1064425
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127821528/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=41732 memory=9072 CPUtime=0.09 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 1123 0 0 0 8 1 0 0 20 0 1 0 199413682 42733568 2268 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 10433 2268 1375 291 0 1967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41732 KiB
Current children cumulated memory: 9072 KiB
[startup+0.20597 s]*
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127792752/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=42920 memory=12964 CPUtime=0.2 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 1568 0 0 0 18 2 0 0 20 0 1 0 199413682 43950080 3241 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 10730 3241 1375 291 0 2264 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 12964 KiB
[startup+0.305151 s]*
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127788932/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=44112 memory=14020 CPUtime=0.3 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 1866 0 0 0 28 2 0 0 20 0 1 0 199413682 45170688 3505 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 11028 3505 1375 291 0 2562 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44112 KiB
Current children cumulated memory: 14020 KiB
[startup+0.700169 s]
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127773220/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=49132 memory=19524 CPUtime=0.69 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 2678 0 0 0 66 3 0 0 20 0 1 0 199413682 50311168 4881 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 12283 4881 1375 291 0 3817 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49132 KiB
Current children cumulated memory: 19524 KiB
[startup+1.50017 s]
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127739792/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=55652 memory=22460 CPUtime=1.48 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 3420 0 0 0 144 4 0 0 20 0 1 0 199413682 56987648 5615 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 13913 5615 1436 291 0 5447 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55652 KiB
Current children cumulated memory: 22460 KiB
[startup+3.10584 s]
/proc/loadavg: 1.43 1.20 1.70 6/255 1064451
/proc/meminfo: memFree=127694292/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=58732 memory=28488 CPUtime=3.08 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 4478 0 0 0 301 7 0 0 20 0 1 0 199413682 60141568 7122 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 14683 7122 1436 291 0 6217 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58732 KiB
Current children cumulated memory: 28488 KiB
[startup+6.30017 s]
/proc/loadavg: 1.43 1.20 1.70 6/255 1064451
/proc/meminfo: memFree=127665160/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=69892 memory=39888 CPUtime=6.28 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 5851 0 0 0 617 11 0 0 20 0 1 0 199413682 71569408 9972 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 17473 9972 1436 291 0 9007 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 69892 KiB
Current children cumulated memory: 39888 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 1.30 1.72 6/255 1064453
/proc/meminfo: memFree=127624940/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=84988 memory=44700 CPUtime=12.66 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 7092 0 0 0 1245 21 0 0 20 0 1 0 199413682 87027712 11175 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 21247 11175 1436 291 0 12781 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 84988 KiB
Current children cumulated memory: 44700 KiB
[startup+25.5002 s]
/proc/loadavg: 2.24 1.40 1.75 6/255 1064454
/proc/meminfo: memFree=127544656/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=92016 memory=53064 CPUtime=25.43 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 8751 0 0 0 2508 35 0 0 20 0 1 0 199413682 94224384 13266 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 23004 13266 1436 291 0 14538 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 92016 KiB
Current children cumulated memory: 53064 KiB
[startup+51.1059 s]
/proc/loadavg: 2.84 1.61 1.81 6/255 1064459
/proc/meminfo: memFree=127493456/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=120440 memory=71492 CPUtime=50.98 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 11363 0 0 0 5043 55 0 0 20 0 1 0 199413682 123330560 17873 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 30110 17873 1436 291 0 21644 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 120440 KiB
Current children cumulated memory: 71492 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.05 1.95 6/255 1064467
/proc/meminfo: memFree=127378616/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=126520 memory=84072 CPUtime=102.05 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 13122 0 0 0 10118 87 0 0 20 0 1 0 199413682 129556480 21018 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 31630 21018 1436 291 0 23164 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 126520 KiB
Current children cumulated memory: 84072 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.42 2.09 6/256 1064481
/proc/meminfo: memFree=127289600/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=131500 memory=88720 CPUtime=161.91 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 14378 0 0 0 16060 131 0 0 20 0 1 0 199413682 134656000 22180 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 32875 22180 1436 291 0 24409 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 131500 KiB
Current children cumulated memory: 88720 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.73 2.22 6/256 1064492
/proc/meminfo: memFree=127211180/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=133152 memory=90088 CPUtime=221.77 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 15735 0 0 0 22008 169 0 0 20 0 1 0 199413682 136347648 22522 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 33288 22522 1436 291 0 24822 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 133152 KiB
Current children cumulated memory: 90088 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.99 2.34 6/256 1064503
/proc/meminfo: memFree=127147252/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=137384 memory=95308 CPUtime=281.62 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 16640 0 0 0 27964 198 0 0 20 0 1 0 199413682 140681216 23827 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 34346 23827 1436 291 0 25880 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 137384 KiB
Current children cumulated memory: 95308 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.16 2.44 6/256 1064514
/proc/meminfo: memFree=127121592/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=138940 memory=96636 CPUtime=341.48 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 17232 0 0 0 33914 234 0 0 20 0 1 0 199413682 142274560 24159 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 34735 24159 1436 291 0 26269 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 138940 KiB
Current children cumulated memory: 96636 KiB
[startup+402.3 s]
/proc/loadavg: 4.82 3.51 2.60 6/256 1064525
/proc/meminfo: memFree=127028196/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=139816 memory=100312 CPUtime=401.33 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 17637 0 0 0 39876 257 0 0 20 0 1 0 199413682 143171584 25078 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 34954 25078 1436 291 0 26488 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 139816 KiB
Current children cumulated memory: 100312 KiB
[startup+462.3 s]
/proc/loadavg: 4.56 3.67 2.72 6/254 1064921
/proc/meminfo: memFree=127073832/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=143788 memory=108556 CPUtime=461.17 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 18567 0 0 0 45831 286 0 0 20 0 1 0 199413682 147238912 27139 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 35947 27139 1436 291 0 27481 0
################
# More data... #
################
/proc/loadavg: 4.06 4.09 3.69 6/257 1065288
/proc/meminfo: memFree=126416936/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=194132 memory=160200 CPUtime=1478.69 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 25234 0 0 0 147237 632 0 0 20 0 1 0 199413682 198791168 40050 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 48533 40050 1436 291 0 40067 0
Current children cumulated CPU time: 1478.69 s
Current children cumulated vsize: 194132 KiB
Current children cumulated memory: 160200 KiB
[startup+1542.3 s]
/proc/loadavg: 4.12 4.10 3.73 6/256 1065299
/proc/meminfo: memFree=126402524/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=194744 memory=160632 CPUtime=1538.56 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 25524 0 0 0 153209 647 0 0 20 0 1 0 199413682 199417856 40158 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 48686 40158 1436 291 0 40220 0
Current children cumulated CPU time: 1538.56 s
Current children cumulated vsize: 194744 KiB
Current children cumulated memory: 160632 KiB
[startup+1602.3 s]
/proc/loadavg: 4.10 4.09 3.75 6/256 1065311
/proc/meminfo: memFree=126372516/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=196756 memory=161908 CPUtime=1598.42 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 26050 0 0 0 159183 659 0 0 20 0 1 0 199413682 201478144 40477 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49189 40477 1436 291 0 40723 0
Current children cumulated CPU time: 1598.42 s
Current children cumulated vsize: 196756 KiB
Current children cumulated memory: 161908 KiB
[startup+1662.3 s]
/proc/loadavg: 4.11 4.09 3.77 6/254 1065321
/proc/meminfo: memFree=126357724/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=196756 memory=161908 CPUtime=1658.29 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 26116 0 0 0 165158 671 0 0 20 0 1 0 199413682 201478144 40477 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49189 40477 1436 291 0 40723 0
Current children cumulated CPU time: 1658.29 s
Current children cumulated vsize: 196756 KiB
Current children cumulated memory: 161908 KiB
[startup+1722.3 s]
/proc/loadavg: 4.16 4.10 3.80 6/254 1065331
/proc/meminfo: memFree=126349564/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=197368 memory=162356 CPUtime=1718.16 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 26412 0 0 0 171129 687 0 0 20 0 1 0 199413682 202104832 40589 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49342 40589 1436 291 0 40876 0
Current children cumulated CPU time: 1718.16 s
Current children cumulated vsize: 197368 KiB
Current children cumulated memory: 162356 KiB
[startup+1782.3 s]
/proc/loadavg: 4.10 4.10 3.82 6/254 1065343
/proc/meminfo: memFree=126333568/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199132 memory=163476 CPUtime=1778.01 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 26889 0 0 0 177105 696 0 0 20 0 1 0 199413682 203911168 40869 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49783 40869 1436 291 0 41317 0
Current children cumulated CPU time: 1778.01 s
Current children cumulated vsize: 199132 KiB
Current children cumulated memory: 163476 KiB
[startup+1842.3 s]
/proc/loadavg: 4.07 4.09 3.84 6/254 1065353
/proc/meminfo: memFree=126310608/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199132 memory=163476 CPUtime=1837.89 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 26956 0 0 0 183078 711 0 0 20 0 1 0 199413682 203911168 40869 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49783 40869 1436 291 0 41317 0
Current children cumulated CPU time: 1837.89 s
Current children cumulated vsize: 199132 KiB
Current children cumulated memory: 163476 KiB
[startup+1870.82 s]
# the end of solver process 1064432 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1859.16 s, system=7.19694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 4.06 4.09 3.84 6/254 1065353
/proc/meminfo: memFree=126310644/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199132 memory=163476 CPUtime=1838.78 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 26957 0 0 0 183167 711 0 0 20 0 1 0 199413682 203911168 40869 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49783 40869 1436 291 0 41317 0
Current children cumulated CPU time: 1838.78 s
Current children cumulated vsize: 199132 KiB
Current children cumulated memory: 163476 KiB
[startup+1856 s]*
/proc/loadavg: 4.05 4.09 3.84 6/254 1065355
/proc/meminfo: memFree=126308236/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199540 memory=163476 CPUtime=1851.56 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27011 0 0 0 184442 714 0 0 20 0 1 0 199413682 204328960 40869 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49885 40869 1436 291 0 41419 0
Current children cumulated CPU time: 1851.56 s
Current children cumulated vsize: 199540 KiB
Current children cumulated memory: 163476 KiB
[startup+1862.4 s]
/proc/loadavg: 4.05 4.08 3.84 6/254 1065357
/proc/meminfo: memFree=126306920/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199772 memory=163944 CPUtime=1857.94 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27199 0 0 0 185079 715 0 0 20 0 1 0 199413682 204566528 40986 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49943 40986 1436 291 0 41477 0
Current children cumulated CPU time: 1857.94 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 163944 KiB
[startup+1865.6 s]
/proc/loadavg: 4.05 4.08 3.84 6/254 1065357
/proc/meminfo: memFree=126306396/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199772 memory=163944 CPUtime=1861.13 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27199 0 0 0 185396 717 0 0 20 0 1 0 199413682 204566528 40986 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49943 40986 1436 291 0 41477 0
Current children cumulated CPU time: 1861.13 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 163944 KiB
[startup+1868.8 s]
/proc/loadavg: 4.20 4.12 3.86 6/254 1065357
/proc/meminfo: memFree=126306108/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199772 memory=163944 CPUtime=1864.32 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27199 0 0 0 185714 718 0 0 20 0 1 0 199413682 204566528 40986 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49943 40986 1436 291 0 41477 0
Current children cumulated CPU time: 1864.32 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 163944 KiB
[startup+1869.6 s]
/proc/loadavg: 4.20 4.12 3.86 6/254 1065357
/proc/meminfo: memFree=126305584/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199772 memory=163944 CPUtime=1865.12 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27199 0 0 0 185794 718 0 0 20 0 1 0 199413682 204566528 40986 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49943 40986 1436 291 0 41477 0
Current children cumulated CPU time: 1865.12 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 163944 KiB
[startup+1870.4 s]
/proc/loadavg: 4.20 4.12 3.86 6/254 1065359
/proc/meminfo: memFree=126305464/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199772 memory=163944 CPUtime=1865.93 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27199 0 0 0 185874 719 0 0 20 0 1 0 199413682 204566528 40986 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49943 40986 1436 291 0 41477 0
Current children cumulated CPU time: 1865.93 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 163944 KiB
[startup+1870.8 s]
/proc/loadavg: 4.20 4.12 3.86 6/254 1065359
/proc/meminfo: memFree=126305464/131524600 swapFree=131071996/131071996
[pid=1064432] ppid=1064425 vsize=199772 memory=163944 CPUtime=1866.32 cores=4,6
/proc/1064432/stat : 1064432 (pb-oll-rs) R 1064425 1064432 1064378 0 -1 4194304 27199 0 0 0 185913 719 0 0 20 0 1 0 199413682 204566528 40986 134679101440 4194304 5384485 140730764740432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30027776 140730764747797 140730764747874 140730764747874 140730764754891 0
/proc/1064432/statm: 49943 40986 1436 291 0 41477 0
Current children cumulated CPU time: 1866.32 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 163944 KiB
Child status: 0
Real time (s): 1870.82
CPU time (s): 1866.35
CPU user time (s): 1859.16
CPU system time (s): 7.19694
CPU usage (%): 99.7612
Max. virtual memory (cumulated for all children) (KiB): 199772
Max. memory (cumulated for all children) (KiB): 163944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1859.16
system time used= 7.19694
maximum resident set size= 164240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27213
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= 72
involuntary context switches= 1159
# summary of solver processes directly reported to runsolver:
# pid: 1064432
# total CPU time (s): 1866.35
# total CPU user time (s): 1859.16
# total CPU system time (s): 7.19694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7492 second user time and 8.9377 second system time
The end
Begin job on nodeC026 at 2024-07-20 12:48:08
IDJOB=4454404
IDBENCH=148191
IDSOLVER=3082
FILE ID=nodeC026/4454404-1721472475
RUNJOBID= nodeC026-1721472488-1064389
SLURM_JOB_ID= 7545743
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454404-1721472475/watcher-4454404-1721472475 -o /tmp/evaluation-result-4454404-1721472475/solver-4454404-1721472475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064389 --watchdog 3760 pb-oll-rs HOME/instance-4454404-1721472475.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=67582838
nodeC026.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 : 0xb00002a
cpu MHz : 3199.023
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3441.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3633.282
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3549.820
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3496.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3543.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.505
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3480.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127852696 kB
MemAvailable: 129709012 kB
Buffers: 607376 kB
Cached: 2079256 kB
SwapCached: 0 kB
Active: 1132316 kB
Inactive: 1894760 kB
Active(anon): 1464 kB
Inactive(anon): 385244 kB
Active(file): 1130852 kB
Inactive(file): 1509516 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8996 kB
Writeback: 0 kB
AnonPages: 337620 kB
Mapped: 107536 kB
Shmem: 45912 kB
KReclaimable: 111544 kB
Slab: 225800 kB
SReclaimable: 111544 kB
SUnreclaim: 114256 kB
KernelStack: 3888 kB
PageTables: 9336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 642644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 283348 kB
DirectMap2M: 33044480 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC026 at 2024-07-20 13:19:19