0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] solving
0.00/0.05 c #variables 4318 #constraints 15120
0.00/0.05 c SMALL=int, LARGE=long long
0.00/0.05 c bounds - >= 5 @ 0.024604
0.00/0.05 c stratification level: 0
0.08/0.10 c bounds - >= 6 @ 0.075467
0.08/0.10 c bounds - >= 7 @ 0.075566
0.08/0.10 c bounds - >= 8 @ 0.075937
0.08/0.10 c bounds - >= 9 @ 0.076322
0.08/0.10 c bounds - >= 10 @ 0.076698
0.08/0.10 c bounds - >= 11 @ 0.077355
0.08/0.10 c finalizing WCE round: reformulating cores
2.68/2.76 c #Conflicts: 1000 | #Constraints: 16135
2.68/2.76 c #Conflicts: 2000 | #Constraints: 17137
2.68/2.76 c INPROCESSING
2.68/2.76 c GARBAGE COLLECT
2.68/2.76 c #Conflicts: 3000 | #Constraints: 17135
2.68/2.76 c #Conflicts: 4000 | #Constraints: 18137
2.68/2.76 c INPROCESSING
2.68/2.76 c GARBAGE COLLECT
2.68/2.76 c #Conflicts: 5000 | #Constraints: 17547
2.68/2.76 c bounds 25 >= 11 @ 2.51141
2.68/2.76 c bounds 25 >= 12 @ 2.54237
2.68/2.76 c bounds 25 >= 13 @ 2.62881
2.68/2.76 c finalizing WCE round: reformulating cores
261.51/262.38 c #Conflicts: 6000 | #Constraints: 18567
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 7000 | #Constraints: 17561
261.51/262.38 c bounds 24 >= 13 @ 3.75794
261.51/262.38 c bounds 23 >= 14 @ 3.82439
261.51/262.38 c #Conflicts: 8000 | #Constraints: 18566
261.51/262.38 c #Conflicts: 9000 | #Constraints: 19566
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 10000 | #Constraints: 18283
261.51/262.38 c bounds 23 >= 15 @ 10.8378
261.51/262.38 c #Conflicts: 11000 | #Constraints: 19299
261.51/262.38 c #Conflicts: 12000 | #Constraints: 20299
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 13000 | #Constraints: 18763
261.51/262.38 c #Conflicts: 14000 | #Constraints: 19763
261.51/262.38 c #Conflicts: 15000 | #Constraints: 20763
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 16000 | #Constraints: 19016
261.51/262.38 c #Conflicts: 17000 | #Constraints: 20016
261.51/262.38 c #Conflicts: 18000 | #Constraints: 21016
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 19000 | #Constraints: 19091
261.51/262.38 c #Conflicts: 20000 | #Constraints: 20091
261.51/262.38 c #Conflicts: 21000 | #Constraints: 21091
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 22000 | #Constraints: 18891
261.51/262.38 c #Conflicts: 23000 | #Constraints: 19891
261.51/262.38 c #Conflicts: 24000 | #Constraints: 20891
261.51/262.38 c #Conflicts: 25000 | #Constraints: 21891
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 26000 | #Constraints: 19503
261.51/262.38 c #Conflicts: 27000 | #Constraints: 20503
261.51/262.38 c #Conflicts: 28000 | #Constraints: 21503
261.51/262.38 c #Conflicts: 29000 | #Constraints: 22503
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 30000 | #Constraints: 19925
261.51/262.38 c #Conflicts: 31000 | #Constraints: 20925
261.51/262.38 c #Conflicts: 32000 | #Constraints: 21925
261.51/262.38 c #Conflicts: 33000 | #Constraints: 22925
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 34000 | #Constraints: 20158
261.51/262.38 c #Conflicts: 35000 | #Constraints: 21158
261.51/262.38 c #Conflicts: 36000 | #Constraints: 22158
261.51/262.38 c #Conflicts: 37000 | #Constraints: 23158
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 38000 | #Constraints: 20220
261.51/262.38 c #Conflicts: 39000 | #Constraints: 21220
261.51/262.38 c #Conflicts: 40000 | #Constraints: 22220
261.51/262.38 c #Conflicts: 41000 | #Constraints: 23220
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 42000 | #Constraints: 20048
261.51/262.38 c #Conflicts: 43000 | #Constraints: 21048
261.51/262.38 c #Conflicts: 44000 | #Constraints: 22048
261.51/262.38 c #Conflicts: 45000 | #Constraints: 23048
261.51/262.38 c #Conflicts: 46000 | #Constraints: 24048
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 47000 | #Constraints: 20656
261.51/262.38 c #Conflicts: 48000 | #Constraints: 21656
261.51/262.38 c #Conflicts: 49000 | #Constraints: 22656
261.51/262.38 c #Conflicts: 50000 | #Constraints: 23656
261.51/262.38 c #Conflicts: 51000 | #Constraints: 24656
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 52000 | #Constraints: 21032
261.51/262.38 c #Conflicts: 53000 | #Constraints: 22032
261.51/262.38 c #Conflicts: 54000 | #Constraints: 23032
261.51/262.38 c #Conflicts: 55000 | #Constraints: 24032
261.51/262.38 c #Conflicts: 56000 | #Constraints: 25032
261.51/262.38 c INPROCESSING
261.51/262.38 c GARBAGE COLLECT
261.51/262.38 c #Conflicts: 57000 | #Constraints: 21283
261.51/262.38 c #Conflicts: 58000 | #Constraints: 22283
261.51/262.38 c #Conflicts: 59000 | #Constraints: 23283
261.51/262.38 c bounds 23 >= 16 @ 257.335
261.51/262.38 c #Conflicts: 60000 | #Constraints: 24308
261.51/262.38 c finalizing WCE round: reformulating cores
327.22/328.28 c #Conflicts: 61000 | #Constraints: 25311
327.22/328.28 c INPROCESSING
327.22/328.28 c GARBAGE COLLECT
327.22/328.28 c #Conflicts: 62000 | #Constraints: 21265
327.22/328.28 c bounds 22 >= 16 @ 264.555
327.22/328.28 c #Conflicts: 63000 | #Constraints: 22265
327.22/328.28 c #Conflicts: 64000 | #Constraints: 23265
327.22/328.28 c #Conflicts: 65000 | #Constraints: 24265
327.22/328.28 c #Conflicts: 66000 | #Constraints: 25265
327.22/328.28 c INPROCESSING
327.22/328.28 c GARBAGE COLLECT
327.22/328.28 c #Conflicts: 67000 | #Constraints: 21080
327.22/328.28 c #Conflicts: 68000 | #Constraints: 22080
327.22/328.28 c #Conflicts: 69000 | #Constraints: 23080
327.22/328.28 c #Conflicts: 70000 | #Constraints: 24080
327.22/328.28 c bounds 22 >= 17 @ 314.655
327.22/328.28 c #Conflicts: 71000 | #Constraints: 25099
327.22/328.28 c #Conflicts: 72000 | #Constraints: 26099
327.22/328.28 c INPROCESSING
327.22/328.28 c GARBAGE COLLECT
327.22/328.28 c #Conflicts: 73000 | #Constraints: 21692
327.22/328.28 c finalizing WCE round: reformulating cores
891.37/893.98 c bounds 19 >= 17 @ 327.749
891.37/893.98 c #Conflicts: 74000 | #Constraints: 22695
891.37/893.98 c #Conflicts: 75000 | #Constraints: 23695
891.37/893.98 c #Conflicts: 76000 | #Constraints: 24695
891.37/893.98 c #Conflicts: 77000 | #Constraints: 25695
891.37/893.98 c #Conflicts: 78000 | #Constraints: 26695
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 79000 | #Constraints: 22111
891.37/893.98 c #Conflicts: 80000 | #Constraints: 23111
891.37/893.98 c #Conflicts: 81000 | #Constraints: 24111
891.37/893.98 c #Conflicts: 82000 | #Constraints: 25111
891.37/893.98 c #Conflicts: 83000 | #Constraints: 26111
891.37/893.98 c #Conflicts: 84000 | #Constraints: 27111
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 85000 | #Constraints: 22217
891.37/893.98 c #Conflicts: 86000 | #Constraints: 23217
891.37/893.98 c #Conflicts: 87000 | #Constraints: 24217
891.37/893.98 c #Conflicts: 88000 | #Constraints: 25217
891.37/893.98 c #Conflicts: 89000 | #Constraints: 26217
891.37/893.98 c #Conflicts: 90000 | #Constraints: 27217
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 91000 | #Constraints: 22268
891.37/893.98 c #Conflicts: 92000 | #Constraints: 23268
891.37/893.98 c #Conflicts: 93000 | #Constraints: 24268
891.37/893.98 c #Conflicts: 94000 | #Constraints: 25268
891.37/893.98 c #Conflicts: 95000 | #Constraints: 26268
891.37/893.98 c #Conflicts: 96000 | #Constraints: 27268
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 97000 | #Constraints: 22180
891.37/893.98 c #Conflicts: 98000 | #Constraints: 23180
891.37/893.98 c #Conflicts: 99000 | #Constraints: 24180
891.37/893.98 c #Conflicts: 100000 | #Constraints: 25180
891.37/893.98 c #Conflicts: 101000 | #Constraints: 26180
891.37/893.98 c #Conflicts: 102000 | #Constraints: 27180
891.37/893.98 c #Conflicts: 103000 | #Constraints: 28180
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 104000 | #Constraints: 22791
891.37/893.98 c #Conflicts: 105000 | #Constraints: 23791
891.37/893.98 c #Conflicts: 106000 | #Constraints: 24791
891.37/893.98 c #Conflicts: 107000 | #Constraints: 25791
891.37/893.98 c #Conflicts: 108000 | #Constraints: 26791
891.37/893.98 c #Conflicts: 109000 | #Constraints: 27791
891.37/893.98 c #Conflicts: 110000 | #Constraints: 28791
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 111000 | #Constraints: 23156
891.37/893.98 c #Conflicts: 112000 | #Constraints: 24156
891.37/893.98 c #Conflicts: 113000 | #Constraints: 25156
891.37/893.98 c #Conflicts: 114000 | #Constraints: 26156
891.37/893.98 c #Conflicts: 115000 | #Constraints: 27156
891.37/893.98 c #Conflicts: 116000 | #Constraints: 28156
891.37/893.98 c #Conflicts: 117000 | #Constraints: 29156
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 118000 | #Constraints: 23345
891.37/893.98 c #Conflicts: 119000 | #Constraints: 24345
891.37/893.98 c #Conflicts: 120000 | #Constraints: 25345
891.37/893.98 c #Conflicts: 121000 | #Constraints: 26345
891.37/893.98 c #Conflicts: 122000 | #Constraints: 27345
891.37/893.98 c #Conflicts: 123000 | #Constraints: 28345
891.37/893.98 c #Conflicts: 124000 | #Constraints: 29345
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 125000 | #Constraints: 23378
891.37/893.98 c #Conflicts: 126000 | #Constraints: 24378
891.37/893.98 c #Conflicts: 127000 | #Constraints: 25378
891.37/893.98 c #Conflicts: 128000 | #Constraints: 26378
891.37/893.98 c #Conflicts: 129000 | #Constraints: 27378
891.37/893.98 c #Conflicts: 130000 | #Constraints: 28378
891.37/893.98 c #Conflicts: 131000 | #Constraints: 29378
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 132000 | #Constraints: 23159
891.37/893.98 c #Conflicts: 133000 | #Constraints: 24159
891.37/893.98 c #Conflicts: 134000 | #Constraints: 25159
891.37/893.98 c #Conflicts: 135000 | #Constraints: 26159
891.37/893.98 c #Conflicts: 136000 | #Constraints: 27159
891.37/893.98 c #Conflicts: 137000 | #Constraints: 28159
891.37/893.98 c #Conflicts: 138000 | #Constraints: 29159
891.37/893.98 c #Conflicts: 139000 | #Constraints: 30159
891.37/893.98 c INPROCESSING
891.37/893.98 c GARBAGE COLLECT
891.37/893.98 c #Conflicts: 140000 | #Constraints: 23755
891.37/893.98 c #Conflicts: 141000 | #Constraints: 24755
891.37/893.98 c #Conflicts: 142000 | #Constraints: 25755
891.37/893.98 c #Conflicts: 143000 | #Constraints: 26755
891.37/893.98 c #Conflicts: 144000 | #Constraints: 27755
891.37/893.98 c #Conflicts: 145000 | #Constraints: 28755
1623.42/1627.92 c #Conflicts: 146000 | #Constraints: 29755
1623.42/1627.92 c #Conflicts: 147000 | #Constraints: 30755
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 148000 | #Constraints: 24312
1623.42/1627.92 c #Conflicts: 149000 | #Constraints: 25312
1623.42/1627.92 c #Conflicts: 150000 | #Constraints: 26312
1623.42/1627.92 c #Conflicts: 151000 | #Constraints: 27312
1623.42/1627.92 c #Conflicts: 152000 | #Constraints: 28312
1623.42/1627.92 c #Conflicts: 153000 | #Constraints: 29312
1623.42/1627.92 c #Conflicts: 154000 | #Constraints: 30312
1623.42/1627.92 c #Conflicts: 155000 | #Constraints: 31312
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 156000 | #Constraints: 24554
1623.42/1627.92 c #Conflicts: 157000 | #Constraints: 25554
1623.42/1627.92 c #Conflicts: 158000 | #Constraints: 26554
1623.42/1627.92 c #Conflicts: 159000 | #Constraints: 27554
1623.42/1627.92 c #Conflicts: 160000 | #Constraints: 28554
1623.42/1627.92 c #Conflicts: 161000 | #Constraints: 29554
1623.42/1627.92 c #Conflicts: 162000 | #Constraints: 30554
1623.42/1627.92 c #Conflicts: 163000 | #Constraints: 31554
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 164000 | #Constraints: 24480
1623.42/1627.92 c #Conflicts: 165000 | #Constraints: 25480
1623.42/1627.92 c #Conflicts: 166000 | #Constraints: 26480
1623.42/1627.92 c #Conflicts: 167000 | #Constraints: 27480
1623.42/1627.92 c #Conflicts: 168000 | #Constraints: 28480
1623.42/1627.92 c #Conflicts: 169000 | #Constraints: 29480
1623.42/1627.92 c #Conflicts: 170000 | #Constraints: 30480
1623.42/1627.92 c #Conflicts: 171000 | #Constraints: 31480
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 172000 | #Constraints: 24348
1623.42/1627.92 c #Conflicts: 173000 | #Constraints: 25348
1623.42/1627.92 c #Conflicts: 174000 | #Constraints: 26348
1623.42/1627.92 c #Conflicts: 175000 | #Constraints: 27348
1623.42/1627.92 c #Conflicts: 176000 | #Constraints: 28348
1623.42/1627.92 c #Conflicts: 177000 | #Constraints: 29348
1623.42/1627.92 c #Conflicts: 178000 | #Constraints: 30348
1623.42/1627.92 c #Conflicts: 179000 | #Constraints: 31348
1623.42/1627.92 c #Conflicts: 180000 | #Constraints: 32348
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 181000 | #Constraints: 24876
1623.42/1627.92 c #Conflicts: 182000 | #Constraints: 25876
1623.42/1627.92 c #Conflicts: 183000 | #Constraints: 26876
1623.42/1627.92 c #Conflicts: 184000 | #Constraints: 27876
1623.42/1627.92 c #Conflicts: 185000 | #Constraints: 28876
1623.42/1627.92 c #Conflicts: 186000 | #Constraints: 29876
1623.42/1627.92 c #Conflicts: 187000 | #Constraints: 30876
1623.42/1627.92 c #Conflicts: 188000 | #Constraints: 31876
1623.42/1627.92 c #Conflicts: 189000 | #Constraints: 32876
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 190000 | #Constraints: 25231
1623.42/1627.92 c #Conflicts: 191000 | #Constraints: 26231
1623.42/1627.92 c #Conflicts: 192000 | #Constraints: 27231
1623.42/1627.92 c #Conflicts: 193000 | #Constraints: 28231
1623.42/1627.92 c #Conflicts: 194000 | #Constraints: 29231
1623.42/1627.92 c #Conflicts: 195000 | #Constraints: 30231
1623.42/1627.92 c #Conflicts: 196000 | #Constraints: 31231
1623.42/1627.92 c #Conflicts: 197000 | #Constraints: 32231
1623.42/1627.92 c #Conflicts: 198000 | #Constraints: 33231
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 199000 | #Constraints: 25516
1623.42/1627.92 c #Conflicts: 200000 | #Constraints: 26516
1623.42/1627.92 c #Conflicts: 201000 | #Constraints: 27516
1623.42/1627.92 c #Conflicts: 202000 | #Constraints: 28516
1623.42/1627.92 c #Conflicts: 203000 | #Constraints: 29516
1623.42/1627.92 c #Conflicts: 204000 | #Constraints: 30516
1623.42/1627.92 c #Conflicts: 205000 | #Constraints: 31516
1623.42/1627.92 c #Conflicts: 206000 | #Constraints: 32516
1623.42/1627.92 c #Conflicts: 207000 | #Constraints: 33516
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 208000 | #Constraints: 25456
1623.42/1627.92 c #Conflicts: 209000 | #Constraints: 26456
1623.42/1627.92 c #Conflicts: 210000 | #Constraints: 27456
1623.42/1627.92 c #Conflicts: 211000 | #Constraints: 28456
1623.42/1627.92 c #Conflicts: 212000 | #Constraints: 29456
1623.42/1627.92 c #Conflicts: 213000 | #Constraints: 30456
1623.42/1627.92 c #Conflicts: 214000 | #Constraints: 31456
1623.42/1627.92 c #Conflicts: 215000 | #Constraints: 32456
1623.42/1627.92 c #Conflicts: 216000 | #Constraints: 33456
1623.42/1627.92 c INPROCESSING
1623.42/1627.92 c GARBAGE COLLECT
1623.42/1627.92 c #Conflicts: 217000 | #Constraints: 25498
1623.42/1627.92 c #Conflicts: 218000 | #Constraints: 26498
2015.29/2020.86 c #Conflicts: 219000 | #Constraints: 27498
2015.29/2020.86 c #Conflicts: 220000 | #Constraints: 28498
2015.29/2020.86 c #Conflicts: 221000 | #Constraints: 29498
2015.29/2020.86 c #Conflicts: 222000 | #Constraints: 30498
2015.29/2020.86 c #Conflicts: 223000 | #Constraints: 31498
2015.29/2020.86 c #Conflicts: 224000 | #Constraints: 32498
2015.29/2020.86 c #Conflicts: 225000 | #Constraints: 33498
2015.29/2020.86 c #Conflicts: 226000 | #Constraints: 34498
2015.29/2020.86 c INPROCESSING
2015.29/2020.86 c GARBAGE COLLECT
2015.29/2020.86 c #Conflicts: 227000 | #Constraints: 26086
2015.29/2020.86 c #Conflicts: 228000 | #Constraints: 27086
2015.29/2020.86 c #Conflicts: 229000 | #Constraints: 28086
2015.29/2020.86 c #Conflicts: 230000 | #Constraints: 29086
2015.29/2020.86 c #Conflicts: 231000 | #Constraints: 30086
2015.29/2020.86 c #Conflicts: 232000 | #Constraints: 31086
2015.29/2020.86 c #Conflicts: 233000 | #Constraints: 32086
2015.29/2020.86 c #Conflicts: 234000 | #Constraints: 33086
2015.29/2020.86 c #Conflicts: 235000 | #Constraints: 34086
2015.29/2020.86 c #Conflicts: 236000 | #Constraints: 35086
2015.29/2020.86 c INPROCESSING
2015.29/2020.86 c GARBAGE COLLECT
2015.29/2020.86 c #Conflicts: 237000 | #Constraints: 26533
2015.29/2020.86 c #Conflicts: 238000 | #Constraints: 27533
2015.29/2020.86 c #Conflicts: 239000 | #Constraints: 28533
2015.29/2020.86 c #Conflicts: 240000 | #Constraints: 29533
2015.29/2020.86 c #Conflicts: 241000 | #Constraints: 30533
2015.29/2020.86 c #Conflicts: 242000 | #Constraints: 31533
2015.29/2020.86 c #Conflicts: 243000 | #Constraints: 32533
2015.29/2020.86 c #Conflicts: 244000 | #Constraints: 33533
2015.29/2020.86 c #Conflicts: 245000 | #Constraints: 34533
2015.29/2020.86 c #Conflicts: 246000 | #Constraints: 35533
2015.29/2020.86 c INPROCESSING
2015.29/2020.86 c GARBAGE COLLECT
2015.29/2020.86 c #Conflicts: 247000 | #Constraints: 26658
2015.29/2020.86 c #Conflicts: 248000 | #Constraints: 27658
2015.29/2020.86 c #Conflicts: 249000 | #Constraints: 28658
2015.29/2020.86 c #Conflicts: 250000 | #Constraints: 29658
2015.29/2020.86 c #Conflicts: 251000 | #Constraints: 30658
2015.29/2020.86 c #Conflicts: 252000 | #Constraints: 31658
2015.29/2020.86 c #Conflicts: 253000 | #Constraints: 32658
2015.29/2020.86 c #Conflicts: 254000 | #Constraints: 33658
2015.29/2020.86 c #Conflicts: 255000 | #Constraints: 34658
2015.29/2020.86 c bounds 19 >= 18 @ 1983.74
2015.29/2020.86 c #Conflicts: 256000 | #Constraints: 35689
2015.29/2020.86 c INPROCESSING
2015.29/2020.86 c GARBAGE COLLECT
2015.29/2020.86 c #Conflicts: 257000 | #Constraints: 26568
2015.29/2020.86 c #Conflicts: 258000 | #Constraints: 27568
2015.29/2020.86 c finalizing WCE round: reformulating cores
2015.29/2020.88 c bounds 18 >= 18 @ 2008.94
2015.29/2020.88 d SOLVEDBY oll
2015.29/2020.88 c cpu time 2008.94 s
2015.29/2020.88 c deterministic time 227853689483 2.28e+11
2015.29/2020.88 c optimization time 10.6629 s
2015.29/2020.88 c total solve time 1998.26 s
2015.29/2020.88 c core-guided solve time 1998.26 s
2015.29/2020.88 c propagation time 1529.01 s
2015.29/2020.88 c conflict analysis time 464.614 s
2015.29/2020.88 c propagations 247149324
2015.29/2020.88 c resolve steps 26123355
2015.29/2020.88 c decisions 5636771
2015.29/2020.88 c conflicts 258981
2015.29/2020.88 c restarts 612
2015.29/2020.88 c inprocessing phases 42
2015.29/2020.88 c input clauses 15155
2015.29/2020.88 c input cardinalities 65
2015.29/2020.88 c input general constraints 47
2015.29/2020.88 c input average constraint length 3.44
2015.29/2020.88 c input average constraint degree 1.39
2015.29/2020.88 c learned clauses 68947
2015.29/2020.88 c learned cardinalities 1260
2015.29/2020.88 c learned general constraints 188776
2015.29/2020.88 c learned average constraint length 860.15
2015.29/2020.88 c learned average constraint degree 23807450.13
2015.29/2020.88 c watched constraints 146672
2015.29/2020.88 c counting constraints 42151
2015.29/2020.88 c gcd simplifications 1235
2015.29/2020.88 c detected cardinalities 2
2015.29/2020.88 c weakened non-implied lits 7513037
2015.29/2020.88 c weakened non-implying lits 36713
2015.29/2020.88 c original variables 4318
2015.29/2020.88 c clausal propagations 194769856
2015.29/2020.88 c cardinality propagations 387421
2015.29/2020.88 c watched propagations 6506746
2015.29/2020.88 c counting propagations 45118499
2015.29/2020.88 c watch lookups 35472324248
2015.29/2020.88 c watch backjump lookups 31098637171
2015.29/2020.88 c watch checks 147635616007
2015.29/2020.88 c propagation checks 12205401119
2015.29/2020.88 c constraint additions 935879773
2015.29/2020.88 c trail pops 253045069
2015.29/2020.88 c formula constraints 15120
2015.29/2020.88 c learned constraints 258983
2015.29/2020.88 c bound constraints 18
2015.29/2020.88 c core-guided constraints 129
2015.29/2020.88 c encountered formula constraints 21227932
2015.29/2020.88 c encountered learned constraints 5098356
2015.29/2020.88 c encountered bound constraints 95
2015.29/2020.88 c encountered core-guided constraints 55952
2015.29/2020.88 c LP total time 0 s
2015.29/2020.88 c LP solve time 0 s
2015.29/2020.88 c LP constraints added 0
2015.29/2020.88 c LP constraints removed 0
2015.29/2020.88 c LP pivots internal 0
2015.29/2020.88 c LP pivots root 0
2015.29/2020.88 c LP calls 0
2015.29/2020.88 c LP optimalities 0
2015.29/2020.88 c LP no pivot count 0
2015.29/2020.88 c LP infeasibilities 0
2015.29/2020.88 c LP valid Farkas constraints 0
2015.29/2020.88 c LP learned Farkas constraints 0
2015.29/2020.88 c LP basis resets 0
2015.29/2020.88 c LP cycling count 0
2015.29/2020.88 c LP singular count 0
2015.29/2020.88 c LP no primal count 0
2015.29/2020.88 c LP no farkas count 0
2015.29/2020.88 c LP other issue count 0
2015.29/2020.88 c LP Gomory cuts 0
2015.29/2020.88 c LP learned cuts 0
2015.29/2020.88 c LP deleted cuts 0
2015.29/2020.88 c LP encountered Gomory constraints 0
2015.29/2020.88 c LP encountered Farkas constraints 0
2015.29/2020.88 c LP encountered learned Farkas constraints 0
2015.29/2020.88 c CG auxiliary variables introduced 47
2015.29/2020.88 c CG solutions found 5
2015.29/2020.88 c CG cores constructed 12
2015.29/2020.88 c CG core cardinality constraints returned 0
2015.29/2020.88 c CG unit cores 0
2015.29/2020.88 c CG single cores 12
2015.29/2020.88 c CG blocks removed during cardinality reduction 0
2015.29/2020.88 c CG first core best 0
2015.29/2020.88 c CG decision core best 0
2015.29/2020.88 c CG core reduction tie 0
2015.29/2020.88 c CG core degree average 1.00
2015.29/2020.88 c CG core slack average 42.25
2015.29/2020.88 c CG exhausted 1
2015.29/2020.88 c CG exhaust time 10.6413 s
2015.29/2020.88 c CG trimmed 1
2015.29/2020.88 c CG trim time 0.006106 s
2015.29/2020.88 c CG minimized 0
2015.29/2020.88 c CG minimize time 0 s
2015.29/2020.88 c CG am1 prop time 0.006554 s
2015.29/2020.88 c CG # am1s reformulated 0
2015.29/2020.88 c CG lower bound derived from am1s 0
2015.29/2020.88 c CG # clausal cores 12
2015.29/2020.88 c CG # cardinality cores 0
2015.29/2020.88 c CG # pb cores 0
2015.29/2020.88 c CG # pb reforms 0
2015.29/2020.88 c CG # cores discarded because of pb reform 0
2015.29/2020.88 d LOWERBOUND 18
2015.29/2020.88 d NCORES 12
2015.29/2020.88 d NPBCORES 0
2015.29/2020.88 d NPBREFORM 0
2015.29/2020.88 d NTRIMMED 1
2015.29/2020.88 d NEXHAUSTED 1
2015.29/2020.88 d NAM1S 0
2015.29/2020.88 d AM1LB 0
2015.29/2020.88 o 18
2015.29/2020.88 s OPTIMUM FOUND
2015.29/2020.88 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: 63708 MiB (63025 MiB free)
memory of node 1: 64465 MiB (63968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497694-1751402793/watcher-4497694-1751402793 -o /tmp/evaluation-result-4497694-1751402793/solver-4497694-1751402793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58040 --watchdog 3760 pb-oll-rs HOME/instance-4497694-1751402793.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58454, runsolver pid=58445
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.15 4.10 4.02 5/264 58469
/proc/meminfo: memFree=130006792/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=22096 memory=8192 CPUtime=0.08 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 1041 0 0 0 7 1 0 0 20 0 1 0 55957177 22626304 2048 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 5524 2048 1312 243 0 1773 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22096 KiB
Current children cumulated memory: 8192 KiB
[startup+0.205312 s]*
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=130000692/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=23820 memory=12196 CPUtime=0.19 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 1561 0 0 0 17 2 0 0 20 0 1 0 55957177 24391680 3049 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 5955 3049 1312 243 0 2204 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23820 KiB
Current children cumulated memory: 12196 KiB
[startup+0.304915 s]*
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129991492/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=25140 memory=13476 CPUtime=0.29 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 1874 0 0 0 27 2 0 0 20 0 1 0 55957177 25743360 3369 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 6285 3369 1312 243 0 2534 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25140 KiB
Current children cumulated memory: 13476 KiB
[startup+0.700142 s]
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129989476/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=30288 memory=19140 CPUtime=0.68 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 2785 0 0 0 65 3 0 0 20 0 1 0 55957177 31014912 4785 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 7572 4785 1312 243 0 3821 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30288 KiB
Current children cumulated memory: 19140 KiB
[startup+1.50013 s]
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129965788/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=30716 memory=20292 CPUtime=1.48 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 3093 0 0 0 144 4 0 0 20 0 1 0 55957177 31453184 5073 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 7679 5073 1312 243 0 3928 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30716 KiB
Current children cumulated memory: 20292 KiB
[startup+3.10525 s]
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129924600/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=39828 memory=27632 CPUtime=3.08 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 4495 0 0 0 301 7 0 0 20 0 1 0 55957177 40783872 6908 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 9957 6908 1312 243 0 6206 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 27632 KiB
[startup+6.30016 s]
/proc/loadavg: 4.20 4.11 4.03 5/264 58469
/proc/meminfo: memFree=129882712/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=50608 memory=37188 CPUtime=6.26 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 5916 0 0 0 615 11 0 0 20 0 1 0 55957177 51822592 9297 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 12652 9297 1312 243 0 8901 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 50608 KiB
Current children cumulated memory: 37188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.03 5/264 58469
/proc/meminfo: memFree=129826852/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=66124 memory=44340 CPUtime=12.64 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 7252 0 0 0 1245 19 0 0 20 0 1 0 55957177 67710976 11085 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 16531 11085 1312 243 0 12780 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66124 KiB
Current children cumulated memory: 44340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 58469
/proc/meminfo: memFree=129706320/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=72772 memory=52976 CPUtime=25.41 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 8950 0 0 0 2510 31 0 0 20 0 1 0 55957177 74518528 13244 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 18193 13244 1312 243 0 14442 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72772 KiB
Current children cumulated memory: 52976 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.13 4.04 5/264 58470
/proc/meminfo: memFree=129612352/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=101620 memory=72460 CPUtime=50.94 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 11853 0 0 0 5046 48 0 0 20 0 1 0 55957177 104058880 18115 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 25405 18115 1312 243 0 21654 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 72460 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/264 58471
/proc/meminfo: memFree=129525100/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=106856 memory=83792 CPUtime=101.98 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 13236 0 0 0 10125 73 0 0 20 0 1 0 55957177 109420544 20948 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 26714 20948 1312 243 0 22963 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 106856 KiB
Current children cumulated memory: 83792 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 58473
/proc/meminfo: memFree=129365780/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=110992 memory=87504 CPUtime=161.81 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 14261 0 0 0 16067 114 0 0 20 0 1 0 55957177 113655808 21876 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 27748 21876 1312 243 0 23997 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 110992 KiB
Current children cumulated memory: 87504 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/265 58480
/proc/meminfo: memFree=129277616/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=112960 memory=89680 CPUtime=221.63 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 14871 0 0 0 22017 146 0 0 20 0 1 0 55957177 115671040 22420 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 28240 22420 1312 243 0 24489 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 112960 KiB
Current children cumulated memory: 89680 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/265 58483
/proc/meminfo: memFree=129228368/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=116776 memory=94556 CPUtime=281.45 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 15662 0 0 0 27967 178 0 0 20 0 1 0 55957177 119578624 23639 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 29194 23639 1312 243 0 25443 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 116776 KiB
Current children cumulated memory: 94556 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/265 58486
/proc/meminfo: memFree=129170920/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=118908 memory=96124 CPUtime=341.27 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 16241 0 0 0 33923 204 0 0 20 0 1 0 55957177 121761792 24031 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 29727 24031 1312 243 0 25976 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 118908 KiB
Current children cumulated memory: 96124 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/265 58488
/proc/meminfo: memFree=129123244/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=120656 memory=99804 CPUtime=401.1 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 16877 0 0 0 39879 231 0 0 20 0 1 0 55957177 123551744 24951 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 30164 24951 1312 243 0 26413 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 120656 KiB
Current children cumulated memory: 99804 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/265 58492
/proc/meminfo: memFree=129005088/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=121312 memory=104548 CPUtime=460.91 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 17158 0 0 0 45836 255 0 0 20 0 1 0 55957177 124223488 26137 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 30328 26137 1312 243 0 26577 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.08 5/263 58557
/proc/meminfo: memFree=128227424/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=175208 memory=158668 CPUtime=1597.88 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 23854 0 0 0 159232 556 0 0 20 0 1 0 55957177 179412992 39667 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 43802 39667 1312 243 0 40051 0
Current children cumulated CPU time: 1597.88 s
Current children cumulated vsize: 175208 KiB
Current children cumulated memory: 158668 KiB
[startup+1662.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/263 58561
/proc/meminfo: memFree=128184188/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=175816 memory=159136 CPUtime=1657.73 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 24093 0 0 0 165201 572 0 0 20 0 1 0 55957177 180035584 39784 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 43954 39784 1312 243 0 40203 0
Current children cumulated CPU time: 1657.73 s
Current children cumulated vsize: 175816 KiB
Current children cumulated memory: 159136 KiB
[startup+1722.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/263 58564
/proc/meminfo: memFree=128203688/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=177864 memory=160476 CPUtime=1717.57 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 24552 0 0 0 171173 584 0 0 20 0 1 0 55957177 182132736 40119 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 44466 40119 1312 243 0 40715 0
Current children cumulated CPU time: 1717.57 s
Current children cumulated vsize: 177864 KiB
Current children cumulated memory: 160476 KiB
[startup+1782.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/263 58566
/proc/meminfo: memFree=128203816/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=177864 memory=160476 CPUtime=1777.41 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 24552 0 0 0 177144 597 0 0 20 0 1 0 55957177 182132736 40119 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 44466 40119 1312 243 0 40715 0
Current children cumulated CPU time: 1777.41 s
Current children cumulated vsize: 177864 KiB
Current children cumulated memory: 160476 KiB
[startup+1842.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/263 58568
/proc/meminfo: memFree=128194748/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=178620 memory=161000 CPUtime=1837.25 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 24808 0 0 0 183116 609 0 0 20 0 1 0 55957177 182906880 40250 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 44655 40250 1312 243 0 40904 0
Current children cumulated CPU time: 1837.25 s
Current children cumulated vsize: 178620 KiB
Current children cumulated memory: 161000 KiB
[startup+1902.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 58570
/proc/meminfo: memFree=128186804/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=178776 memory=161000 CPUtime=1897.1 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 24832 0 0 0 189089 621 0 0 20 0 1 0 55957177 183066624 40250 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 44694 40250 1312 243 0 40943 0
Current children cumulated CPU time: 1897.1 s
Current children cumulated vsize: 178776 KiB
Current children cumulated memory: 161000 KiB
[startup+1962.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 58572
/proc/meminfo: memFree=128185672/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=180380 memory=162112 CPUtime=1956.94 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25197 0 0 0 195062 632 0 0 20 0 1 0 55957177 184709120 40528 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45095 40528 1312 243 0 41344 0
Current children cumulated CPU time: 1956.94 s
Current children cumulated vsize: 180380 KiB
Current children cumulated memory: 162112 KiB
[startup+2020.88 s]
# the end of solver process 58454 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2008.94 s, system=6.43527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1971.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 58572
/proc/meminfo: memFree=128185672/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=180380 memory=162112 CPUtime=1965.82 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25197 0 0 0 195948 634 0 0 20 0 1 0 55957177 184709120 40528 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45095 40528 1312 243 0 41344 0
Current children cumulated CPU time: 1965.82 s
Current children cumulated vsize: 180380 KiB
Current children cumulated memory: 162112 KiB
[startup+1996.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 58579
/proc/meminfo: memFree=128144516/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=180568 memory=162112 CPUtime=1991.35 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25208 0 0 0 198497 638 0 0 20 0 1 0 55957177 184901632 40528 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45142 40528 1312 243 0 41391 0
Current children cumulated CPU time: 1991.35 s
Current children cumulated vsize: 180568 KiB
Current children cumulated memory: 162112 KiB
[startup+2009.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 58579
/proc/meminfo: memFree=128135696/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=180920 memory=162368 CPUtime=2004.12 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25273 0 0 0 199773 639 0 0 20 0 1 0 55957177 185262080 40592 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45230 40592 1312 243 0 41479 0
Current children cumulated CPU time: 2004.12 s
Current children cumulated vsize: 180920 KiB
Current children cumulated memory: 162368 KiB
[startup+2016 s]*
/proc/loadavg: 4.13 4.09 4.09 5/264 58580
/proc/meminfo: memFree=128130876/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=181052 memory=162600 CPUtime=2010.5 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25430 0 0 0 200409 641 0 0 20 0 1 0 55957177 185397248 40650 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45263 40650 1312 243 0 41512 0
Current children cumulated CPU time: 2010.5 s
Current children cumulated vsize: 181052 KiB
Current children cumulated memory: 162600 KiB
[startup+2019.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 58580
/proc/meminfo: memFree=128126844/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=181052 memory=162600 CPUtime=2013.69 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25430 0 0 0 200727 642 0 0 20 0 1 0 55957177 185397248 40650 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45263 40650 1312 243 0 41512 0
Current children cumulated CPU time: 2013.69 s
Current children cumulated vsize: 181052 KiB
Current children cumulated memory: 162600 KiB
[startup+2020 s]*
/proc/loadavg: 4.13 4.09 4.09 5/264 58580
/proc/meminfo: memFree=128126844/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=181052 memory=162600 CPUtime=2014.49 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25430 0 0 0 200807 642 0 0 20 0 1 0 55957177 185397248 40650 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45263 40650 1312 243 0 41512 0
Current children cumulated CPU time: 2014.49 s
Current children cumulated vsize: 181052 KiB
Current children cumulated memory: 162600 KiB
[startup+2020.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 58580
/proc/meminfo: memFree=128126844/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=181052 memory=162600 CPUtime=2014.89 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25430 0 0 0 200846 643 0 0 20 0 1 0 55957177 185397248 40650 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45263 40650 1312 243 0 41512 0
Current children cumulated CPU time: 2014.89 s
Current children cumulated vsize: 181052 KiB
Current children cumulated memory: 162600 KiB
[startup+2020.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 58580
/proc/meminfo: memFree=128126844/131249996 swapFree=33005272/33010684
[pid=58454] ppid=58445 vsize=181052 memory=162600 CPUtime=2015.29 cores=0,2
/proc/58454/stat : 58454 (pb-oll-rs) R 58445 58454 58030 0 -1 4194304 25430 0 0 0 200886 643 0 0 20 0 1 0 55957177 185397248 40650 18446744073709551615 4218880 5211445 140726211799248 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 21254144 140726211803548 140726211803625 140726211803625 140726211809227 0
/proc/58454/statm: 45263 40650 1312 243 0 41512 0
Current children cumulated CPU time: 2015.29 s
Current children cumulated vsize: 181052 KiB
Current children cumulated memory: 162600 KiB
Child status: 0
Real time (s): 2020.88
CPU time (s): 2015.38
CPU user time (s): 2008.94
CPU system time (s): 6.43527
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 181624
Max. memory (cumulated for all children) (KiB): 163008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2008.94
system time used= 6.43527
maximum resident set size= 163008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25444
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= 133
involuntary context switches= 4445
# summary of solver processes directly reported to runsolver:
# pid: 58454
# total CPU time (s): 2015.38
# total CPU user time (s): 2008.94
# total CPU system time (s): 6.43527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66542 second user time and 8.96768 second system time
The end
Begin job on nodeC023 at 2025-07-01 22:46:33
IDJOB=4497694
IDBENCH=148191
IDSOLVER=3345
FILE ID=nodeC023/4497694-1751402793
RUNJOBID= nodeC023-1751399181-58040
SLURM_JOB_ID= 9598285
Free space on /tmp= 433056 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4497694-1751402793/watcher-4497694-1751402793 -o /tmp/evaluation-result-4497694-1751402793/solver-4497694-1751402793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58040 --watchdog 3760 pb-oll-rs HOME/instance-4497694-1751402793.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1130387360
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.959
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3603.946
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.464
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.890
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3627.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.296
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130039168 kB
MemAvailable: 129773392 kB
Buffers: 1328 kB
Cached: 532448 kB
SwapCached: 408 kB
Active: 262704 kB
Inactive: 364332 kB
Active(anon): 52052 kB
Inactive(anon): 54636 kB
Active(file): 210652 kB
Inactive(file): 309696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13480 kB
Writeback: 108 kB
AnonPages: 95976 kB
Mapped: 98800 kB
Shmem: 13400 kB
KReclaimable: 106228 kB
Slab: 194568 kB
SReclaimable: 106228 kB
SUnreclaim: 88340 kB
KernelStack: 4240 kB
PageTables: 3012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 359684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC023 at 2025-07-01 23:20:14