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 540 #constraints 4626
0.00/0.05 c SMALL=int, LARGE=long long
0.00/0.05 c bounds - >= 0 @ 0.033183
0.00/0.05 c stratification level: 2
0.68/0.75 c bounds - >= 2 @ 0.034437
0.68/0.75 c bounds - >= 4 @ 0.034723
0.68/0.75 c bounds - >= 6 @ 0.035007
0.68/0.75 c bounds - >= 8 @ 0.035165
0.68/0.75 c bounds - >= 10 @ 0.035165
0.68/0.75 c bounds - >= 12 @ 0.035165
0.68/0.75 c #Conflicts: 1000 | #Constraints: 5637
0.68/0.75 c #Conflicts: 2000 | #Constraints: 6637
0.68/0.75 c INPROCESSING
0.68/0.75 c GARBAGE COLLECT
0.68/0.75 c #Conflicts: 3000 | #Constraints: 6642
0.68/0.75 c bounds - >= 14 @ 0.6881
0.68/0.75 c finalizing WCE round: reformulating cores
28.20/28.38 c #Conflicts: 4000 | #Constraints: 7646
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 5000 | #Constraints: 7051
28.20/28.38 c #Conflicts: 6000 | #Constraints: 8060
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 7000 | #Constraints: 7067
28.20/28.38 c #Conflicts: 8000 | #Constraints: 8069
28.20/28.38 c bounds 70 >= 14 @ 1.55987
28.20/28.38 c bounds 70 >= 16 @ 1.5832
28.20/28.38 c bounds 70 >= 18 @ 1.61141
28.20/28.38 c #Conflicts: 9000 | #Constraints: 9092
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 10000 | #Constraints: 7790
28.20/28.38 c #Conflicts: 11000 | #Constraints: 8790
28.20/28.38 c #Conflicts: 12000 | #Constraints: 9790
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 13000 | #Constraints: 8248
28.20/28.38 c #Conflicts: 14000 | #Constraints: 9248
28.20/28.38 c #Conflicts: 15000 | #Constraints: 10248
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 16000 | #Constraints: 8477
28.20/28.38 c #Conflicts: 17000 | #Constraints: 9477
28.20/28.38 c #Conflicts: 18000 | #Constraints: 10477
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 19000 | #Constraints: 8497
28.20/28.38 c #Conflicts: 20000 | #Constraints: 9497
28.20/28.38 c #Conflicts: 21000 | #Constraints: 10497
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 22000 | #Constraints: 8314
28.20/28.38 c #Conflicts: 23000 | #Constraints: 9314
28.20/28.38 c #Conflicts: 24000 | #Constraints: 10314
28.20/28.38 c #Conflicts: 25000 | #Constraints: 11314
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 26000 | #Constraints: 8925
28.20/28.38 c #Conflicts: 27000 | #Constraints: 9925
28.20/28.38 c #Conflicts: 28000 | #Constraints: 10925
28.20/28.38 c #Conflicts: 29000 | #Constraints: 11925
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 30000 | #Constraints: 9325
28.20/28.38 c #Conflicts: 31000 | #Constraints: 10325
28.20/28.38 c #Conflicts: 32000 | #Constraints: 11325
28.20/28.38 c #Conflicts: 33000 | #Constraints: 12325
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 34000 | #Constraints: 9528
28.20/28.38 c #Conflicts: 35000 | #Constraints: 10528
28.20/28.38 c #Conflicts: 36000 | #Constraints: 11528
28.20/28.38 c #Conflicts: 37000 | #Constraints: 12528
28.20/28.38 c #Conflicts: 38000 | #Constraints: 13528
28.20/28.38 c #Conflicts: 39000 | #Constraints: 14528
28.20/28.38 c #Conflicts: 40000 | #Constraints: 15528
28.20/28.38 c #Conflicts: 41000 | #Constraints: 16528
28.20/28.38 c #Conflicts: 42000 | #Constraints: 17528
28.20/28.38 c #Conflicts: 43000 | #Constraints: 18528
28.20/28.38 c #Conflicts: 44000 | #Constraints: 19528
28.20/28.38 c #Conflicts: 45000 | #Constraints: 20528
28.20/28.38 c #Conflicts: 46000 | #Constraints: 21528
28.20/28.38 c #Conflicts: 47000 | #Constraints: 22528
28.20/28.38 c #Conflicts: 48000 | #Constraints: 23528
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 49000 | #Constraints: 15135
28.20/28.38 c #Conflicts: 50000 | #Constraints: 16135
28.20/28.38 c #Conflicts: 51000 | #Constraints: 17135
28.20/28.38 c #Conflicts: 52000 | #Constraints: 18135
28.20/28.38 c #Conflicts: 53000 | #Constraints: 19135
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 54000 | #Constraints: 12790
28.20/28.38 c #Conflicts: 55000 | #Constraints: 13790
28.20/28.38 c #Conflicts: 56000 | #Constraints: 14790
28.20/28.38 c #Conflicts: 57000 | #Constraints: 15790
28.20/28.38 c #Conflicts: 58000 | #Constraints: 16790
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 59000 | #Constraints: 11368
28.20/28.38 c #Conflicts: 60000 | #Constraints: 12368
28.20/28.38 c #Conflicts: 61000 | #Constraints: 13368
28.20/28.38 c #Conflicts: 62000 | #Constraints: 14368
28.20/28.38 c #Conflicts: 63000 | #Constraints: 15368
28.20/28.38 c #Conflicts: 64000 | #Constraints: 16368
28.20/28.38 c INPROCESSING
28.20/28.38 c GARBAGE COLLECT
28.20/28.38 c #Conflicts: 65000 | #Constraints: 11309
28.20/28.38 c #Conflicts: 66000 | #Constraints: 12309
28.20/28.38 c #Conflicts: 67000 | #Constraints: 13309
28.20/28.38 c #Conflicts: 68000 | #Constraints: 14309
28.20/28.38 c #Conflicts: 69000 | #Constraints: 15309
28.20/28.38 c #Conflicts: 70000 | #Constraints: 16309
28.20/28.38 c #Conflicts: 71000 | #Constraints: 17309
28.20/28.38 c #Conflicts: 72000 | #Constraints: 18309
104.10/104.47 c #Conflicts: 73000 | #Constraints: 19309
104.10/104.47 c #Conflicts: 74000 | #Constraints: 20309
104.10/104.47 c #Conflicts: 75000 | #Constraints: 21309
104.10/104.47 c #Conflicts: 76000 | #Constraints: 22309
104.10/104.47 c #Conflicts: 77000 | #Constraints: 23309
104.10/104.47 c #Conflicts: 78000 | #Constraints: 24309
104.10/104.47 c #Conflicts: 79000 | #Constraints: 25309
104.10/104.47 c #Conflicts: 80000 | #Constraints: 26309
104.10/104.47 c #Conflicts: 81000 | #Constraints: 27309
104.10/104.47 c #Conflicts: 82000 | #Constraints: 28309
104.10/104.47 c #Conflicts: 83000 | #Constraints: 29309
104.10/104.47 c #Conflicts: 84000 | #Constraints: 30309
104.10/104.47 c INPROCESSING
104.10/104.47 c GARBAGE COLLECT
104.10/104.47 c #Conflicts: 85000 | #Constraints: 18135
104.10/104.47 c #Conflicts: 86000 | #Constraints: 19135
104.10/104.47 c #Conflicts: 87000 | #Constraints: 20135
104.10/104.47 c #Conflicts: 88000 | #Constraints: 21135
104.10/104.47 c #Conflicts: 89000 | #Constraints: 22135
104.10/104.47 c #Conflicts: 90000 | #Constraints: 23135
104.10/104.47 c #Conflicts: 91000 | #Constraints: 24135
104.10/104.47 c INPROCESSING
104.10/104.47 c GARBAGE COLLECT
104.10/104.47 c #Conflicts: 92000 | #Constraints: 15050
104.10/104.47 c #Conflicts: 93000 | #Constraints: 16050
104.10/104.47 c #Conflicts: 94000 | #Constraints: 17050
104.10/104.47 c #Conflicts: 95000 | #Constraints: 18050
104.10/104.47 c #Conflicts: 96000 | #Constraints: 19050
104.10/104.47 c #Conflicts: 97000 | #Constraints: 20050
104.10/104.47 c #Conflicts: 98000 | #Constraints: 21050
104.10/104.47 c #Conflicts: 99000 | #Constraints: 22050
104.10/104.47 c INPROCESSING
104.10/104.47 c GARBAGE COLLECT
104.10/104.47 c #Conflicts: 100000 | #Constraints: 14408
104.10/104.47 c #Conflicts: 101000 | #Constraints: 15408
104.10/104.47 c #Conflicts: 102000 | #Constraints: 16408
104.10/104.47 c #Conflicts: 103000 | #Constraints: 17408
104.10/104.47 c #Conflicts: 104000 | #Constraints: 18408
104.10/104.47 c #Conflicts: 105000 | #Constraints: 19408
104.10/104.47 c #Conflicts: 106000 | #Constraints: 20408
104.10/104.47 c INPROCESSING
104.10/104.47 c GARBAGE COLLECT
104.10/104.47 c #Conflicts: 107000 | #Constraints: 13381
104.10/104.47 c #Conflicts: 108000 | #Constraints: 14381
104.10/104.47 c #Conflicts: 109000 | #Constraints: 15381
104.10/104.47 c #Conflicts: 110000 | #Constraints: 16381
104.10/104.47 c #Conflicts: 111000 | #Constraints: 17381
104.10/104.47 c #Conflicts: 112000 | #Constraints: 18381
104.10/104.47 c #Conflicts: 113000 | #Constraints: 19381
104.10/104.47 c #Conflicts: 114000 | #Constraints: 20381
104.10/104.47 c #Conflicts: 115000 | #Constraints: 21381
104.10/104.47 c #Conflicts: 116000 | #Constraints: 22381
104.10/104.47 c #Conflicts: 117000 | #Constraints: 23381
104.10/104.47 c #Conflicts: 118000 | #Constraints: 24381
104.10/104.47 c #Conflicts: 119000 | #Constraints: 25381
104.10/104.47 c #Conflicts: 120000 | #Constraints: 26381
104.10/104.47 c #Conflicts: 121000 | #Constraints: 27381
104.10/104.47 c #Conflicts: 122000 | #Constraints: 28381
104.10/104.47 c #Conflicts: 123000 | #Constraints: 29381
104.10/104.47 c #Conflicts: 124000 | #Constraints: 30381
104.10/104.47 c #Conflicts: 125000 | #Constraints: 31381
104.10/104.47 c #Conflicts: 126000 | #Constraints: 32381
104.10/104.47 c #Conflicts: 127000 | #Constraints: 33381
104.10/104.47 c #Conflicts: 128000 | #Constraints: 34381
104.10/104.47 c #Conflicts: 129000 | #Constraints: 35381
104.10/104.47 c #Conflicts: 130000 | #Constraints: 36381
104.10/104.47 c #Conflicts: 131000 | #Constraints: 37381
104.10/104.47 c #Conflicts: 132000 | #Constraints: 38381
104.10/104.47 c INPROCESSING
104.10/104.47 c GARBAGE COLLECT
104.10/104.47 c #Conflicts: 133000 | #Constraints: 22577
104.10/104.47 c #Conflicts: 134000 | #Constraints: 23577
104.10/104.47 c #Conflicts: 135000 | #Constraints: 24577
104.10/104.47 c #Conflicts: 136000 | #Constraints: 25577
104.10/104.47 c #Conflicts: 137000 | #Constraints: 26577
104.10/104.47 c #Conflicts: 138000 | #Constraints: 27577
104.10/104.47 c #Conflicts: 139000 | #Constraints: 28577
104.10/104.47 c #Conflicts: 140000 | #Constraints: 29577
104.10/104.47 c INPROCESSING
104.10/104.47 c GARBAGE COLLECT
104.10/104.47 c #Conflicts: 141000 | #Constraints: 17814
104.10/104.47 c #Conflicts: 142000 | #Constraints: 18814
104.10/104.47 c #Conflicts: 143000 | #Constraints: 19814
104.10/104.47 c #Conflicts: 144000 | #Constraints: 20814
104.10/104.47 c #Conflicts: 145000 | #Constraints: 21814
104.10/104.47 c #Conflicts: 146000 | #Constraints: 22814
104.10/104.47 c #Conflicts: 147000 | #Constraints: 23814
222.55/223.26 c #Conflicts: 148000 | #Constraints: 24814
222.55/223.26 c #Conflicts: 149000 | #Constraints: 25814
222.55/223.26 c INPROCESSING
222.55/223.26 c GARBAGE COLLECT
222.55/223.26 c #Conflicts: 150000 | #Constraints: 15987
222.55/223.26 c #Conflicts: 151000 | #Constraints: 16987
222.55/223.26 c #Conflicts: 152000 | #Constraints: 17987
222.55/223.26 c #Conflicts: 153000 | #Constraints: 18987
222.55/223.26 c #Conflicts: 154000 | #Constraints: 19987
222.55/223.26 c #Conflicts: 155000 | #Constraints: 20987
222.55/223.26 c #Conflicts: 156000 | #Constraints: 21987
222.55/223.26 c #Conflicts: 157000 | #Constraints: 22987
222.55/223.26 c #Conflicts: 158000 | #Constraints: 23987
222.55/223.26 c INPROCESSING
222.55/223.26 c GARBAGE COLLECT
222.55/223.26 c #Conflicts: 159000 | #Constraints: 15037
222.55/223.26 c #Conflicts: 160000 | #Constraints: 16037
222.55/223.26 c #Conflicts: 161000 | #Constraints: 17037
222.55/223.26 c #Conflicts: 162000 | #Constraints: 18037
222.55/223.26 c #Conflicts: 163000 | #Constraints: 19037
222.55/223.26 c #Conflicts: 164000 | #Constraints: 20037
222.55/223.26 c #Conflicts: 165000 | #Constraints: 21037
222.55/223.26 c #Conflicts: 166000 | #Constraints: 22037
222.55/223.26 c #Conflicts: 167000 | #Constraints: 23037
222.55/223.26 c #Conflicts: 168000 | #Constraints: 24037
222.55/223.26 c #Conflicts: 169000 | #Constraints: 25037
222.55/223.26 c #Conflicts: 170000 | #Constraints: 26037
222.55/223.26 c #Conflicts: 171000 | #Constraints: 27037
222.55/223.26 c #Conflicts: 172000 | #Constraints: 28037
222.55/223.26 c #Conflicts: 173000 | #Constraints: 29037
222.55/223.26 c #Conflicts: 174000 | #Constraints: 30037
222.55/223.26 c #Conflicts: 175000 | #Constraints: 31037
222.55/223.26 c #Conflicts: 176000 | #Constraints: 32037
222.55/223.26 c #Conflicts: 177000 | #Constraints: 33037
222.55/223.26 c #Conflicts: 178000 | #Constraints: 34037
222.55/223.26 c #Conflicts: 179000 | #Constraints: 35037
222.55/223.26 c #Conflicts: 180000 | #Constraints: 36037
222.55/223.26 c #Conflicts: 181000 | #Constraints: 37037
222.55/223.26 c #Conflicts: 182000 | #Constraints: 38037
222.55/223.26 c #Conflicts: 183000 | #Constraints: 39037
222.55/223.26 c #Conflicts: 184000 | #Constraints: 40037
222.55/223.26 c #Conflicts: 185000 | #Constraints: 41037
222.55/223.26 c #Conflicts: 186000 | #Constraints: 42037
222.55/223.26 c #Conflicts: 187000 | #Constraints: 43037
222.55/223.26 c #Conflicts: 188000 | #Constraints: 44037
222.55/223.26 c #Conflicts: 189000 | #Constraints: 45037
222.55/223.26 c INPROCESSING
222.55/223.26 c GARBAGE COLLECT
222.55/223.26 c #Conflicts: 190000 | #Constraints: 25608
222.55/223.26 c #Conflicts: 191000 | #Constraints: 26608
222.55/223.26 c #Conflicts: 192000 | #Constraints: 27608
222.55/223.26 c #Conflicts: 193000 | #Constraints: 28608
222.55/223.26 c #Conflicts: 194000 | #Constraints: 29608
222.55/223.26 c #Conflicts: 195000 | #Constraints: 30608
222.55/223.26 c #Conflicts: 196000 | #Constraints: 31608
222.55/223.26 c #Conflicts: 197000 | #Constraints: 32608
222.55/223.26 c #Conflicts: 198000 | #Constraints: 33608
222.55/223.26 c #Conflicts: 199000 | #Constraints: 34608
222.55/223.26 c #Conflicts: 200000 | #Constraints: 35608
222.55/223.26 c INPROCESSING
222.55/223.26 c GARBAGE COLLECT
222.55/223.26 c #Conflicts: 201000 | #Constraints: 21192
222.55/223.26 c #Conflicts: 202000 | #Constraints: 22192
222.55/223.26 c #Conflicts: 203000 | #Constraints: 23192
222.55/223.26 c #Conflicts: 204000 | #Constraints: 24192
222.55/223.26 c #Conflicts: 205000 | #Constraints: 25192
222.55/223.26 c #Conflicts: 206000 | #Constraints: 26192
222.55/223.26 c #Conflicts: 207000 | #Constraints: 27192
222.55/223.26 c #Conflicts: 208000 | #Constraints: 28192
222.55/223.26 c #Conflicts: 209000 | #Constraints: 29192
222.55/223.26 c #Conflicts: 210000 | #Constraints: 30192
222.55/223.26 c INPROCESSING
222.55/223.26 c GARBAGE COLLECT
222.55/223.26 c #Conflicts: 211000 | #Constraints: 18180
222.55/223.26 c #Conflicts: 212000 | #Constraints: 19180
222.55/223.26 c #Conflicts: 213000 | #Constraints: 20180
222.55/223.26 c #Conflicts: 214000 | #Constraints: 21180
222.55/223.26 c #Conflicts: 215000 | #Constraints: 22180
222.55/223.26 c #Conflicts: 216000 | #Constraints: 23180
222.55/223.26 c #Conflicts: 217000 | #Constraints: 24180
222.55/223.26 c #Conflicts: 218000 | #Constraints: 25180
222.55/223.26 c #Conflicts: 219000 | #Constraints: 26180
222.55/223.26 c #Conflicts: 220000 | #Constraints: 27180
222.55/223.26 c #Conflicts: 221000 | #Constraints: 28180
222.55/223.26 c INPROCESSING
222.55/223.26 c GARBAGE COLLECT
222.55/223.26 c #Conflicts: 222000 | #Constraints: 17289
415.80/417.03 c #Conflicts: 223000 | #Constraints: 18289
415.80/417.03 c #Conflicts: 224000 | #Constraints: 19289
415.80/417.03 c #Conflicts: 225000 | #Constraints: 20289
415.80/417.03 c #Conflicts: 226000 | #Constraints: 21289
415.80/417.03 c #Conflicts: 227000 | #Constraints: 22289
415.80/417.03 c #Conflicts: 228000 | #Constraints: 23289
415.80/417.03 c #Conflicts: 229000 | #Constraints: 24289
415.80/417.03 c #Conflicts: 230000 | #Constraints: 25289
415.80/417.03 c #Conflicts: 231000 | #Constraints: 26289
415.80/417.03 c #Conflicts: 232000 | #Constraints: 27289
415.80/417.03 c #Conflicts: 233000 | #Constraints: 28289
415.80/417.03 c #Conflicts: 234000 | #Constraints: 29289
415.80/417.03 c #Conflicts: 235000 | #Constraints: 30289
415.80/417.03 c #Conflicts: 236000 | #Constraints: 31289
415.80/417.03 c #Conflicts: 237000 | #Constraints: 32289
415.80/417.03 c #Conflicts: 238000 | #Constraints: 33289
415.80/417.03 c #Conflicts: 239000 | #Constraints: 34289
415.80/417.03 c #Conflicts: 240000 | #Constraints: 35289
415.80/417.03 c #Conflicts: 241000 | #Constraints: 36289
415.80/417.03 c #Conflicts: 242000 | #Constraints: 37289
415.80/417.03 c #Conflicts: 243000 | #Constraints: 38289
415.80/417.03 c #Conflicts: 244000 | #Constraints: 39289
415.80/417.03 c #Conflicts: 245000 | #Constraints: 40289
415.80/417.03 c #Conflicts: 246000 | #Constraints: 41289
415.80/417.03 c #Conflicts: 247000 | #Constraints: 42289
415.80/417.03 c #Conflicts: 248000 | #Constraints: 43289
415.80/417.03 c #Conflicts: 249000 | #Constraints: 44289
415.80/417.03 c #Conflicts: 250000 | #Constraints: 45289
415.80/417.03 c #Conflicts: 251000 | #Constraints: 46289
415.80/417.03 c #Conflicts: 252000 | #Constraints: 47289
415.80/417.03 c #Conflicts: 253000 | #Constraints: 48289
415.80/417.03 c #Conflicts: 254000 | #Constraints: 49289
415.80/417.03 c #Conflicts: 255000 | #Constraints: 50289
415.80/417.03 c #Conflicts: 256000 | #Constraints: 51289
415.80/417.03 c #Conflicts: 257000 | #Constraints: 52289
415.80/417.03 c INPROCESSING
415.80/417.03 c GARBAGE COLLECT
415.80/417.03 c #Conflicts: 258000 | #Constraints: 29227
415.80/417.03 c #Conflicts: 259000 | #Constraints: 30227
415.80/417.03 c #Conflicts: 260000 | #Constraints: 31227
415.80/417.03 c #Conflicts: 261000 | #Constraints: 32227
415.80/417.03 c #Conflicts: 262000 | #Constraints: 33227
415.80/417.03 c #Conflicts: 263000 | #Constraints: 34227
415.80/417.03 c #Conflicts: 264000 | #Constraints: 35227
415.80/417.03 c #Conflicts: 265000 | #Constraints: 36227
415.80/417.03 c #Conflicts: 266000 | #Constraints: 37227
415.80/417.03 c #Conflicts: 267000 | #Constraints: 38227
415.80/417.03 c #Conflicts: 268000 | #Constraints: 39227
415.80/417.03 c #Conflicts: 269000 | #Constraints: 40227
415.80/417.03 c INPROCESSING
415.80/417.03 c GARBAGE COLLECT
415.80/417.03 c #Conflicts: 270000 | #Constraints: 23157
415.80/417.03 c #Conflicts: 271000 | #Constraints: 24157
415.80/417.03 c #Conflicts: 272000 | #Constraints: 25157
415.80/417.03 c #Conflicts: 273000 | #Constraints: 26157
415.80/417.03 c #Conflicts: 274000 | #Constraints: 27157
415.80/417.03 c #Conflicts: 275000 | #Constraints: 28157
415.80/417.03 c #Conflicts: 276000 | #Constraints: 29157
415.80/417.03 c #Conflicts: 277000 | #Constraints: 30157
415.80/417.03 c #Conflicts: 278000 | #Constraints: 31157
415.80/417.03 c #Conflicts: 279000 | #Constraints: 32157
415.80/417.03 c #Conflicts: 280000 | #Constraints: 33157
415.80/417.03 c #Conflicts: 281000 | #Constraints: 34157
415.80/417.03 c #Conflicts: 282000 | #Constraints: 35157
415.80/417.03 c INPROCESSING
415.80/417.03 c GARBAGE COLLECT
415.80/417.03 c #Conflicts: 283000 | #Constraints: 20973
415.80/417.03 c #Conflicts: 284000 | #Constraints: 21973
415.80/417.03 c #Conflicts: 285000 | #Constraints: 22973
415.80/417.03 c #Conflicts: 286000 | #Constraints: 23973
415.80/417.03 c #Conflicts: 287000 | #Constraints: 24973
415.80/417.03 c #Conflicts: 288000 | #Constraints: 25973
415.80/417.03 c #Conflicts: 289000 | #Constraints: 26973
415.80/417.03 c #Conflicts: 290000 | #Constraints: 27973
415.80/417.03 c #Conflicts: 291000 | #Constraints: 28973
415.80/417.03 c #Conflicts: 292000 | #Constraints: 29973
415.80/417.03 c #Conflicts: 293000 | #Constraints: 30973
415.80/417.03 c #Conflicts: 294000 | #Constraints: 31973
415.80/417.03 c INPROCESSING
415.80/417.03 c GARBAGE COLLECT
415.80/417.03 c #Conflicts: 295000 | #Constraints: 19134
415.80/417.03 c #Conflicts: 296000 | #Constraints: 20134
415.80/417.03 c #Conflicts: 297000 | #Constraints: 21134
415.80/417.03 c #Conflicts: 298000 | #Constraints: 22134
703.21/705.27 c #Conflicts: 299000 | #Constraints: 23134
703.21/705.27 c #Conflicts: 300000 | #Constraints: 24134
703.21/705.27 c #Conflicts: 301000 | #Constraints: 25134
703.21/705.27 c #Conflicts: 302000 | #Constraints: 26134
703.21/705.27 c #Conflicts: 303000 | #Constraints: 27134
703.21/705.27 c #Conflicts: 304000 | #Constraints: 28134
703.21/705.27 c #Conflicts: 305000 | #Constraints: 29134
703.21/705.27 c #Conflicts: 306000 | #Constraints: 30134
703.21/705.27 c #Conflicts: 307000 | #Constraints: 31134
703.21/705.27 c #Conflicts: 308000 | #Constraints: 32134
703.21/705.27 c #Conflicts: 309000 | #Constraints: 33134
703.21/705.27 c #Conflicts: 310000 | #Constraints: 34134
703.21/705.27 c #Conflicts: 311000 | #Constraints: 35134
703.21/705.27 c #Conflicts: 312000 | #Constraints: 36134
703.21/705.27 c #Conflicts: 313000 | #Constraints: 37134
703.21/705.27 c #Conflicts: 314000 | #Constraints: 38134
703.21/705.27 c #Conflicts: 315000 | #Constraints: 39134
703.21/705.27 c #Conflicts: 316000 | #Constraints: 40134
703.21/705.27 c #Conflicts: 317000 | #Constraints: 41134
703.21/705.27 c #Conflicts: 318000 | #Constraints: 42134
703.21/705.27 c #Conflicts: 319000 | #Constraints: 43134
703.21/705.27 c #Conflicts: 320000 | #Constraints: 44134
703.21/705.27 c #Conflicts: 321000 | #Constraints: 45134
703.21/705.27 c #Conflicts: 322000 | #Constraints: 46134
703.21/705.27 c #Conflicts: 323000 | #Constraints: 47134
703.21/705.27 c #Conflicts: 324000 | #Constraints: 48134
703.21/705.27 c #Conflicts: 325000 | #Constraints: 49134
703.21/705.27 c #Conflicts: 326000 | #Constraints: 50134
703.21/705.27 c #Conflicts: 327000 | #Constraints: 51134
703.21/705.27 c #Conflicts: 328000 | #Constraints: 52134
703.21/705.27 c #Conflicts: 329000 | #Constraints: 53134
703.21/705.27 c #Conflicts: 330000 | #Constraints: 54134
703.21/705.27 c #Conflicts: 331000 | #Constraints: 55134
703.21/705.27 c #Conflicts: 332000 | #Constraints: 56134
703.21/705.27 c #Conflicts: 333000 | #Constraints: 57134
703.21/705.27 c #Conflicts: 334000 | #Constraints: 58134
703.21/705.27 c #Conflicts: 335000 | #Constraints: 59134
703.21/705.27 c #Conflicts: 336000 | #Constraints: 60134
703.21/705.27 c INPROCESSING
703.21/705.27 c GARBAGE COLLECT
703.21/705.27 c #Conflicts: 337000 | #Constraints: 33448
703.21/705.27 c #Conflicts: 338000 | #Constraints: 34448
703.21/705.27 c #Conflicts: 339000 | #Constraints: 35448
703.21/705.27 c #Conflicts: 340000 | #Constraints: 36448
703.21/705.27 c #Conflicts: 341000 | #Constraints: 37448
703.21/705.27 c #Conflicts: 342000 | #Constraints: 38448
703.21/705.27 c #Conflicts: 343000 | #Constraints: 39448
703.21/705.27 c #Conflicts: 344000 | #Constraints: 40448
703.21/705.27 c #Conflicts: 345000 | #Constraints: 41448
703.21/705.27 c #Conflicts: 346000 | #Constraints: 42448
703.21/705.27 c #Conflicts: 347000 | #Constraints: 43448
703.21/705.27 c #Conflicts: 348000 | #Constraints: 44448
703.21/705.27 c #Conflicts: 349000 | #Constraints: 45448
703.21/705.27 c INPROCESSING
703.21/705.27 c GARBAGE COLLECT
703.21/705.27 c #Conflicts: 350000 | #Constraints: 25703
703.21/705.27 c #Conflicts: 351000 | #Constraints: 26703
703.21/705.27 c #Conflicts: 352000 | #Constraints: 27703
703.21/705.27 c #Conflicts: 353000 | #Constraints: 28703
703.21/705.27 c #Conflicts: 354000 | #Constraints: 29703
703.21/705.27 c #Conflicts: 355000 | #Constraints: 30703
703.21/705.27 c #Conflicts: 356000 | #Constraints: 31703
703.21/705.27 c #Conflicts: 357000 | #Constraints: 32703
703.21/705.27 c #Conflicts: 358000 | #Constraints: 33703
703.21/705.27 c #Conflicts: 359000 | #Constraints: 34703
703.21/705.27 c #Conflicts: 360000 | #Constraints: 35703
703.21/705.27 c #Conflicts: 361000 | #Constraints: 36703
703.21/705.27 c #Conflicts: 362000 | #Constraints: 37703
703.21/705.27 c #Conflicts: 363000 | #Constraints: 38703
703.21/705.27 c INPROCESSING
703.21/705.27 c GARBAGE COLLECT
703.21/705.27 c #Conflicts: 364000 | #Constraints: 22355
703.21/705.27 c #Conflicts: 365000 | #Constraints: 23355
703.21/705.27 c #Conflicts: 366000 | #Constraints: 24355
703.21/705.27 c #Conflicts: 367000 | #Constraints: 25355
703.21/705.27 c #Conflicts: 368000 | #Constraints: 26355
703.21/705.27 c #Conflicts: 369000 | #Constraints: 27355
703.21/705.27 c #Conflicts: 370000 | #Constraints: 28355
703.21/705.27 c #Conflicts: 371000 | #Constraints: 29355
703.21/705.27 c #Conflicts: 372000 | #Constraints: 30355
703.21/705.27 c #Conflicts: 373000 | #Constraints: 31355
703.21/705.27 c #Conflicts: 374000 | #Constraints: 32355
703.21/705.27 c #Conflicts: 375000 | #Constraints: 33355
1050.18/1053.13 c #Conflicts: 376000 | #Constraints: 34355
1050.18/1053.13 c #Conflicts: 377000 | #Constraints: 35355
1050.18/1053.13 c #Conflicts: 378000 | #Constraints: 36355
1050.18/1053.13 c INPROCESSING
1050.18/1053.13 c GARBAGE COLLECT
1050.18/1053.13 c #Conflicts: 379000 | #Constraints: 21914
1050.18/1053.13 c #Conflicts: 380000 | #Constraints: 22914
1050.18/1053.13 c #Conflicts: 381000 | #Constraints: 23914
1050.18/1053.13 c #Conflicts: 382000 | #Constraints: 24914
1050.18/1053.13 c #Conflicts: 383000 | #Constraints: 25914
1050.18/1053.13 c #Conflicts: 384000 | #Constraints: 26914
1050.18/1053.13 c #Conflicts: 385000 | #Constraints: 27914
1050.18/1053.13 c #Conflicts: 386000 | #Constraints: 28914
1050.18/1053.13 c #Conflicts: 387000 | #Constraints: 29914
1050.18/1053.13 c #Conflicts: 388000 | #Constraints: 30914
1050.18/1053.13 c #Conflicts: 389000 | #Constraints: 31914
1050.18/1053.13 c #Conflicts: 390000 | #Constraints: 32914
1050.18/1053.13 c #Conflicts: 391000 | #Constraints: 33914
1050.18/1053.13 c #Conflicts: 392000 | #Constraints: 34914
1050.18/1053.13 c #Conflicts: 393000 | #Constraints: 35914
1050.18/1053.13 c #Conflicts: 394000 | #Constraints: 36914
1050.18/1053.13 c #Conflicts: 395000 | #Constraints: 37914
1050.18/1053.13 c #Conflicts: 396000 | #Constraints: 38914
1050.18/1053.13 c #Conflicts: 397000 | #Constraints: 39914
1050.18/1053.13 c #Conflicts: 398000 | #Constraints: 40914
1050.18/1053.13 c #Conflicts: 399000 | #Constraints: 41914
1050.18/1053.13 c #Conflicts: 400000 | #Constraints: 42914
1050.18/1053.13 c #Conflicts: 401000 | #Constraints: 43914
1050.18/1053.13 c #Conflicts: 402000 | #Constraints: 44914
1050.18/1053.13 c #Conflicts: 403000 | #Constraints: 45914
1050.18/1053.13 c #Conflicts: 404000 | #Constraints: 46914
1050.18/1053.13 c #Conflicts: 405000 | #Constraints: 47914
1050.18/1053.13 c #Conflicts: 406000 | #Constraints: 48914
1050.18/1053.13 c #Conflicts: 407000 | #Constraints: 49914
1050.18/1053.13 c #Conflicts: 408000 | #Constraints: 50914
1050.18/1053.13 c #Conflicts: 409000 | #Constraints: 51914
1050.18/1053.13 c #Conflicts: 410000 | #Constraints: 52914
1050.18/1053.13 c #Conflicts: 411000 | #Constraints: 53914
1050.18/1053.13 c #Conflicts: 412000 | #Constraints: 54914
1050.18/1053.13 c #Conflicts: 413000 | #Constraints: 55914
1050.18/1053.13 c #Conflicts: 414000 | #Constraints: 56914
1050.18/1053.13 c #Conflicts: 415000 | #Constraints: 57914
1050.18/1053.13 c #Conflicts: 416000 | #Constraints: 58914
1050.18/1053.13 c #Conflicts: 417000 | #Constraints: 59914
1050.18/1053.13 c #Conflicts: 418000 | #Constraints: 60914
1050.18/1053.13 c #Conflicts: 419000 | #Constraints: 61914
1050.18/1053.13 c #Conflicts: 420000 | #Constraints: 62914
1050.18/1053.13 c #Conflicts: 421000 | #Constraints: 63914
1050.18/1053.13 c #Conflicts: 422000 | #Constraints: 64914
1050.18/1053.13 c #Conflicts: 423000 | #Constraints: 65914
1050.18/1053.13 c #Conflicts: 424000 | #Constraints: 66914
1050.18/1053.13 c INPROCESSING
1050.18/1053.13 c GARBAGE COLLECT
1050.18/1053.13 c #Conflicts: 425000 | #Constraints: 36458
1050.18/1053.13 c #Conflicts: 426000 | #Constraints: 37458
1050.18/1053.13 c #Conflicts: 427000 | #Constraints: 38458
1050.18/1053.13 c #Conflicts: 428000 | #Constraints: 39458
1050.18/1053.13 c #Conflicts: 429000 | #Constraints: 40458
1050.18/1053.13 c #Conflicts: 430000 | #Constraints: 41458
1050.18/1053.13 c #Conflicts: 431000 | #Constraints: 42458
1050.18/1053.13 c #Conflicts: 432000 | #Constraints: 43458
1050.18/1053.13 c #Conflicts: 433000 | #Constraints: 44458
1050.18/1053.13 c #Conflicts: 434000 | #Constraints: 45458
1050.18/1053.13 c #Conflicts: 435000 | #Constraints: 46458
1050.18/1053.13 c #Conflicts: 436000 | #Constraints: 47458
1050.18/1053.13 c #Conflicts: 437000 | #Constraints: 48458
1050.18/1053.13 c #Conflicts: 438000 | #Constraints: 49458
1050.18/1053.13 c #Conflicts: 439000 | #Constraints: 50458
1050.18/1053.13 c #Conflicts: 440000 | #Constraints: 51458
1050.18/1053.13 c INPROCESSING
1050.18/1053.13 c GARBAGE COLLECT
1050.18/1053.13 c #Conflicts: 441000 | #Constraints: 28983
1050.18/1053.13 c #Conflicts: 442000 | #Constraints: 29983
1050.18/1053.13 c #Conflicts: 443000 | #Constraints: 30983
1050.18/1053.13 c #Conflicts: 444000 | #Constraints: 31983
1050.18/1053.13 c #Conflicts: 445000 | #Constraints: 32983
1050.18/1053.13 c #Conflicts: 446000 | #Constraints: 33983
1050.18/1053.13 c #Conflicts: 447000 | #Constraints: 34983
1050.18/1053.13 c #Conflicts: 448000 | #Constraints: 35983
1050.18/1053.13 c #Conflicts: 449000 | #Constraints: 36983
1050.18/1053.13 c #Conflicts: 450000 | #Constraints: 37983
1050.18/1053.13 c #Conflicts: 451000 | #Constraints: 38983
1050.18/1053.13 c #Conflicts: 452000 | #Constraints: 39983
1491.14/1495.46 c #Conflicts: 453000 | #Constraints: 40983
1491.14/1495.46 c #Conflicts: 454000 | #Constraints: 41983
1491.14/1495.46 c #Conflicts: 455000 | #Constraints: 42983
1491.14/1495.46 c #Conflicts: 456000 | #Constraints: 43983
1491.14/1495.46 c INPROCESSING
1491.14/1495.46 c GARBAGE COLLECT
1491.14/1495.46 c #Conflicts: 457000 | #Constraints: 25383
1491.14/1495.46 c #Conflicts: 458000 | #Constraints: 26383
1491.14/1495.46 c #Conflicts: 459000 | #Constraints: 27383
1491.14/1495.46 c #Conflicts: 460000 | #Constraints: 28383
1491.14/1495.46 c #Conflicts: 461000 | #Constraints: 29383
1491.14/1495.46 c #Conflicts: 462000 | #Constraints: 30383
1491.14/1495.46 c #Conflicts: 463000 | #Constraints: 31383
1491.14/1495.46 c #Conflicts: 464000 | #Constraints: 32383
1491.14/1495.46 c #Conflicts: 465000 | #Constraints: 33383
1491.14/1495.46 c #Conflicts: 466000 | #Constraints: 34383
1491.14/1495.46 c #Conflicts: 467000 | #Constraints: 35383
1491.14/1495.46 c #Conflicts: 468000 | #Constraints: 36383
1491.14/1495.46 c #Conflicts: 469000 | #Constraints: 37383
1491.14/1495.46 c #Conflicts: 470000 | #Constraints: 38383
1491.14/1495.46 c #Conflicts: 471000 | #Constraints: 39383
1491.14/1495.46 c #Conflicts: 472000 | #Constraints: 40383
1491.14/1495.46 c #Conflicts: 473000 | #Constraints: 41383
1491.14/1495.46 c #Conflicts: 474000 | #Constraints: 42383
1491.14/1495.46 c #Conflicts: 475000 | #Constraints: 43383
1491.14/1495.46 c #Conflicts: 476000 | #Constraints: 44383
1491.14/1495.46 c #Conflicts: 477000 | #Constraints: 45383
1491.14/1495.46 c #Conflicts: 478000 | #Constraints: 46383
1491.14/1495.46 c #Conflicts: 479000 | #Constraints: 47383
1491.14/1495.46 c #Conflicts: 480000 | #Constraints: 48383
1491.14/1495.46 c #Conflicts: 481000 | #Constraints: 49383
1491.14/1495.46 c #Conflicts: 482000 | #Constraints: 50383
1491.14/1495.46 c #Conflicts: 483000 | #Constraints: 51383
1491.14/1495.46 c #Conflicts: 484000 | #Constraints: 52383
1491.14/1495.46 c #Conflicts: 485000 | #Constraints: 53383
1491.14/1495.46 c #Conflicts: 486000 | #Constraints: 54383
1491.14/1495.46 c #Conflicts: 487000 | #Constraints: 55383
1491.14/1495.46 c #Conflicts: 488000 | #Constraints: 56383
1491.14/1495.46 c #Conflicts: 489000 | #Constraints: 57383
1491.14/1495.46 c #Conflicts: 490000 | #Constraints: 58383
1491.14/1495.46 c #Conflicts: 491000 | #Constraints: 59383
1491.14/1495.46 c #Conflicts: 492000 | #Constraints: 60383
1491.14/1495.46 c #Conflicts: 493000 | #Constraints: 61383
1491.14/1495.46 c #Conflicts: 494000 | #Constraints: 62383
1491.14/1495.46 c #Conflicts: 495000 | #Constraints: 63383
1491.14/1495.46 c #Conflicts: 496000 | #Constraints: 64383
1491.14/1495.46 c #Conflicts: 497000 | #Constraints: 65383
1491.14/1495.46 c #Conflicts: 498000 | #Constraints: 66383
1491.14/1495.46 c #Conflicts: 499000 | #Constraints: 67383
1491.14/1495.46 c #Conflicts: 500000 | #Constraints: 68383
1491.14/1495.46 c #Conflicts: 501000 | #Constraints: 69383
1491.14/1495.46 c #Conflicts: 502000 | #Constraints: 70383
1491.14/1495.46 c #Conflicts: 503000 | #Constraints: 71383
1491.14/1495.46 c #Conflicts: 504000 | #Constraints: 72383
1491.14/1495.46 c #Conflicts: 505000 | #Constraints: 73383
1491.14/1495.46 c #Conflicts: 506000 | #Constraints: 74383
1491.14/1495.46 c #Conflicts: 507000 | #Constraints: 75383
1491.14/1495.46 c INPROCESSING
1491.14/1495.46 c GARBAGE COLLECT
1491.14/1495.46 c #Conflicts: 508000 | #Constraints: 41081
1491.14/1495.46 c #Conflicts: 509000 | #Constraints: 42081
1491.14/1495.46 c #Conflicts: 510000 | #Constraints: 43081
1491.14/1495.46 c #Conflicts: 511000 | #Constraints: 44081
1491.14/1495.46 c #Conflicts: 512000 | #Constraints: 45081
1491.14/1495.46 c #Conflicts: 513000 | #Constraints: 46081
1491.14/1495.46 c #Conflicts: 514000 | #Constraints: 47081
1491.14/1495.46 c #Conflicts: 515000 | #Constraints: 48081
1491.14/1495.46 c #Conflicts: 516000 | #Constraints: 49081
1491.14/1495.46 c #Conflicts: 517000 | #Constraints: 50081
1491.14/1495.46 c #Conflicts: 518000 | #Constraints: 51081
1491.14/1495.46 c #Conflicts: 519000 | #Constraints: 52081
1491.14/1495.46 c #Conflicts: 520000 | #Constraints: 53081
1491.14/1495.46 c #Conflicts: 521000 | #Constraints: 54081
1491.14/1495.46 c #Conflicts: 522000 | #Constraints: 55081
1491.14/1495.46 c #Conflicts: 523000 | #Constraints: 56081
1491.14/1495.46 c #Conflicts: 524000 | #Constraints: 57081
1491.14/1495.46 c INPROCESSING
1491.14/1495.46 c GARBAGE COLLECT
1491.14/1495.46 c #Conflicts: 525000 | #Constraints: 31934
1491.14/1495.46 c #Conflicts: 526000 | #Constraints: 32934
1491.14/1495.46 c #Conflicts: 527000 | #Constraints: 33934
1491.14/1495.46 c #Conflicts: 528000 | #Constraints: 34934
1491.14/1495.46 c #Conflicts: 529000 | #Constraints: 35934
2004.25/2009.93 c #Conflicts: 530000 | #Constraints: 36934
2004.25/2009.93 c #Conflicts: 531000 | #Constraints: 37934
2004.25/2009.93 c #Conflicts: 532000 | #Constraints: 38934
2004.25/2009.93 c #Conflicts: 533000 | #Constraints: 39934
2004.25/2009.93 c #Conflicts: 534000 | #Constraints: 40934
2004.25/2009.93 c #Conflicts: 535000 | #Constraints: 41934
2004.25/2009.93 c #Conflicts: 536000 | #Constraints: 42934
2004.25/2009.93 c #Conflicts: 537000 | #Constraints: 43934
2004.25/2009.93 c #Conflicts: 538000 | #Constraints: 44934
2004.25/2009.93 c #Conflicts: 539000 | #Constraints: 45934
2004.25/2009.93 c #Conflicts: 540000 | #Constraints: 46934
2004.25/2009.93 c #Conflicts: 541000 | #Constraints: 47934
2004.25/2009.93 c INPROCESSING
2004.25/2009.93 c GARBAGE COLLECT
2004.25/2009.93 c #Conflicts: 542000 | #Constraints: 27261
2004.25/2009.93 c #Conflicts: 543000 | #Constraints: 28261
2004.25/2009.93 c #Conflicts: 544000 | #Constraints: 29261
2004.25/2009.93 c #Conflicts: 545000 | #Constraints: 30261
2004.25/2009.93 c #Conflicts: 546000 | #Constraints: 31261
2004.25/2009.93 c #Conflicts: 547000 | #Constraints: 32261
2004.25/2009.93 c #Conflicts: 548000 | #Constraints: 33261
2004.25/2009.93 c #Conflicts: 549000 | #Constraints: 34261
2004.25/2009.93 c #Conflicts: 550000 | #Constraints: 35261
2004.25/2009.93 c #Conflicts: 551000 | #Constraints: 36261
2004.25/2009.93 c #Conflicts: 552000 | #Constraints: 37261
2004.25/2009.93 c #Conflicts: 553000 | #Constraints: 38261
2004.25/2009.93 c #Conflicts: 554000 | #Constraints: 39261
2004.25/2009.93 c #Conflicts: 555000 | #Constraints: 40261
2004.25/2009.93 c #Conflicts: 556000 | #Constraints: 41261
2004.25/2009.93 c #Conflicts: 557000 | #Constraints: 42261
2004.25/2009.93 c #Conflicts: 558000 | #Constraints: 43261
2004.25/2009.93 c #Conflicts: 559000 | #Constraints: 44261
2004.25/2009.93 c #Conflicts: 560000 | #Constraints: 45261
2004.25/2009.93 c #Conflicts: 561000 | #Constraints: 46261
2004.25/2009.93 c #Conflicts: 562000 | #Constraints: 47261
2004.25/2009.93 c #Conflicts: 563000 | #Constraints: 48261
2004.25/2009.93 c #Conflicts: 564000 | #Constraints: 49261
2004.25/2009.93 c #Conflicts: 565000 | #Constraints: 50261
2004.25/2009.93 c #Conflicts: 566000 | #Constraints: 51261
2004.25/2009.93 c #Conflicts: 567000 | #Constraints: 52261
2004.25/2009.93 c #Conflicts: 568000 | #Constraints: 53261
2004.25/2009.93 c #Conflicts: 569000 | #Constraints: 54261
2004.25/2009.93 c #Conflicts: 570000 | #Constraints: 55261
2004.25/2009.93 c #Conflicts: 571000 | #Constraints: 56261
2004.25/2009.93 c #Conflicts: 572000 | #Constraints: 57261
2004.25/2009.93 c #Conflicts: 573000 | #Constraints: 58261
2004.25/2009.93 c #Conflicts: 574000 | #Constraints: 59261
2004.25/2009.93 c #Conflicts: 575000 | #Constraints: 60261
2004.25/2009.93 c #Conflicts: 576000 | #Constraints: 61261
2004.25/2009.93 c #Conflicts: 577000 | #Constraints: 62261
2004.25/2009.93 c #Conflicts: 578000 | #Constraints: 63261
2004.25/2009.93 c #Conflicts: 579000 | #Constraints: 64261
2004.25/2009.93 c #Conflicts: 580000 | #Constraints: 65261
2004.25/2009.93 c #Conflicts: 581000 | #Constraints: 66261
2004.25/2009.93 c #Conflicts: 582000 | #Constraints: 67261
2004.25/2009.93 c #Conflicts: 583000 | #Constraints: 68261
2004.25/2009.93 c #Conflicts: 584000 | #Constraints: 69261
2004.25/2009.93 c #Conflicts: 585000 | #Constraints: 70261
2004.25/2009.93 c #Conflicts: 586000 | #Constraints: 71261
2004.25/2009.93 c #Conflicts: 587000 | #Constraints: 72261
2004.25/2009.93 c #Conflicts: 588000 | #Constraints: 73261
2004.25/2009.93 c #Conflicts: 589000 | #Constraints: 74261
2004.25/2009.93 c #Conflicts: 590000 | #Constraints: 75261
2004.25/2009.93 c #Conflicts: 591000 | #Constraints: 76261
2004.25/2009.93 c #Conflicts: 592000 | #Constraints: 77261
2004.25/2009.93 c #Conflicts: 593000 | #Constraints: 78261
2004.25/2009.93 c #Conflicts: 594000 | #Constraints: 79261
2004.25/2009.93 c #Conflicts: 595000 | #Constraints: 80261
2004.25/2009.93 c #Conflicts: 596000 | #Constraints: 81261
2004.25/2009.93 c INPROCESSING
2004.25/2009.93 c GARBAGE COLLECT
2004.25/2009.93 c #Conflicts: 597000 | #Constraints: 43836
2004.25/2009.93 c #Conflicts: 598000 | #Constraints: 44836
2004.25/2009.93 c #Conflicts: 599000 | #Constraints: 45836
2004.25/2009.93 c #Conflicts: 600000 | #Constraints: 46836
2004.25/2009.93 c #Conflicts: 601000 | #Constraints: 47836
2004.25/2009.93 c #Conflicts: 602000 | #Constraints: 48836
2004.25/2009.93 c #Conflicts: 603000 | #Constraints: 49836
2004.25/2009.93 c #Conflicts: 604000 | #Constraints: 50836
2004.25/2009.93 c #Conflicts: 605000 | #Constraints: 51836
2004.25/2009.93 c #Conflicts: 606000 | #Constraints: 52836
2590.98/2598.29 c #Conflicts: 607000 | #Constraints: 53836
2590.98/2598.29 c #Conflicts: 608000 | #Constraints: 54836
2590.98/2598.29 c #Conflicts: 609000 | #Constraints: 55836
2590.98/2598.29 c #Conflicts: 610000 | #Constraints: 56836
2590.98/2598.29 c #Conflicts: 611000 | #Constraints: 57836
2590.98/2598.29 c #Conflicts: 612000 | #Constraints: 58836
2590.98/2598.29 c #Conflicts: 613000 | #Constraints: 59836
2590.98/2598.29 c #Conflicts: 614000 | #Constraints: 60836
2590.98/2598.29 c INPROCESSING
2590.98/2598.29 c GARBAGE COLLECT
2590.98/2598.29 c #Conflicts: 615000 | #Constraints: 33364
2590.98/2598.29 c #Conflicts: 616000 | #Constraints: 34364
2590.98/2598.29 c #Conflicts: 617000 | #Constraints: 35364
2590.98/2598.29 c #Conflicts: 618000 | #Constraints: 36364
2590.98/2598.29 c #Conflicts: 619000 | #Constraints: 37364
2590.98/2598.29 c #Conflicts: 620000 | #Constraints: 38364
2590.98/2598.29 c #Conflicts: 621000 | #Constraints: 39364
2590.98/2598.29 c #Conflicts: 622000 | #Constraints: 40364
2590.98/2598.29 c #Conflicts: 623000 | #Constraints: 41364
2590.98/2598.29 c #Conflicts: 624000 | #Constraints: 42364
2590.98/2598.29 c #Conflicts: 625000 | #Constraints: 43364
2590.98/2598.29 c #Conflicts: 626000 | #Constraints: 44364
2590.98/2598.29 c #Conflicts: 627000 | #Constraints: 45364
2590.98/2598.29 c #Conflicts: 628000 | #Constraints: 46364
2590.98/2598.29 c #Conflicts: 629000 | #Constraints: 47364
2590.98/2598.29 c #Conflicts: 630000 | #Constraints: 48364
2590.98/2598.29 c #Conflicts: 631000 | #Constraints: 49364
2590.98/2598.29 c #Conflicts: 632000 | #Constraints: 50364
2590.98/2598.29 c #Conflicts: 633000 | #Constraints: 51364
2590.98/2598.29 c INPROCESSING
2590.98/2598.29 c GARBAGE COLLECT
2590.98/2598.29 c #Conflicts: 634000 | #Constraints: 28780
2590.98/2598.29 c #Conflicts: 635000 | #Constraints: 29780
2590.98/2598.29 c #Conflicts: 636000 | #Constraints: 30780
2590.98/2598.29 c #Conflicts: 637000 | #Constraints: 31780
2590.98/2598.29 c #Conflicts: 638000 | #Constraints: 32780
2590.98/2598.29 c #Conflicts: 639000 | #Constraints: 33780
2590.98/2598.29 c #Conflicts: 640000 | #Constraints: 34780
2590.98/2598.29 c #Conflicts: 641000 | #Constraints: 35780
2590.98/2598.29 c #Conflicts: 642000 | #Constraints: 36780
2590.98/2598.29 c #Conflicts: 643000 | #Constraints: 37780
2590.98/2598.29 c #Conflicts: 644000 | #Constraints: 38780
2590.98/2598.29 c #Conflicts: 645000 | #Constraints: 39780
2590.98/2598.29 c #Conflicts: 646000 | #Constraints: 40780
2590.98/2598.29 c #Conflicts: 647000 | #Constraints: 41780
2590.98/2598.29 c #Conflicts: 648000 | #Constraints: 42780
2590.98/2598.29 c #Conflicts: 649000 | #Constraints: 43780
2590.98/2598.29 c #Conflicts: 650000 | #Constraints: 44780
2590.98/2598.29 c #Conflicts: 651000 | #Constraints: 45780
2590.98/2598.29 c #Conflicts: 652000 | #Constraints: 46780
2590.98/2598.29 c #Conflicts: 653000 | #Constraints: 47780
2590.98/2598.29 c #Conflicts: 654000 | #Constraints: 48780
2590.98/2598.29 c #Conflicts: 655000 | #Constraints: 49780
2590.98/2598.29 c #Conflicts: 656000 | #Constraints: 50780
2590.98/2598.29 c #Conflicts: 657000 | #Constraints: 51780
2590.98/2598.29 c #Conflicts: 658000 | #Constraints: 52780
2590.98/2598.29 c #Conflicts: 659000 | #Constraints: 53780
2590.98/2598.29 c #Conflicts: 660000 | #Constraints: 54780
2590.98/2598.29 c #Conflicts: 661000 | #Constraints: 55780
2590.98/2598.29 c #Conflicts: 662000 | #Constraints: 56780
2590.98/2598.29 c #Conflicts: 663000 | #Constraints: 57780
2590.98/2598.29 c #Conflicts: 664000 | #Constraints: 58780
2590.98/2598.29 c #Conflicts: 665000 | #Constraints: 59780
2590.98/2598.29 c #Conflicts: 666000 | #Constraints: 60780
2590.98/2598.29 c #Conflicts: 667000 | #Constraints: 61780
2590.98/2598.29 c #Conflicts: 668000 | #Constraints: 62780
2590.98/2598.29 c #Conflicts: 669000 | #Constraints: 63780
2590.98/2598.29 c #Conflicts: 670000 | #Constraints: 64780
2590.98/2598.29 c #Conflicts: 671000 | #Constraints: 65780
2590.98/2598.29 c #Conflicts: 672000 | #Constraints: 66780
2590.98/2598.29 c #Conflicts: 673000 | #Constraints: 67780
2590.98/2598.29 c #Conflicts: 674000 | #Constraints: 68780
2590.98/2598.29 c #Conflicts: 675000 | #Constraints: 69780
2590.98/2598.29 c #Conflicts: 676000 | #Constraints: 70780
2590.98/2598.29 c #Conflicts: 677000 | #Constraints: 71780
2590.98/2598.29 c #Conflicts: 678000 | #Constraints: 72780
2590.98/2598.29 c #Conflicts: 679000 | #Constraints: 73780
2590.98/2598.29 c #Conflicts: 680000 | #Constraints: 74780
2590.98/2598.29 c #Conflicts: 681000 | #Constraints: 75780
2590.98/2598.29 c #Conflicts: 682000 | #Constraints: 76780
2590.98/2598.29 c #Conflicts: 683000 | #Constraints: 77780
2590.98/2598.29 c #Conflicts: 684000 | #Constraints: 78780
3260.56/3269.78 c #Conflicts: 685000 | #Constraints: 79780
3260.56/3269.78 c #Conflicts: 686000 | #Constraints: 80780
3260.56/3269.78 c #Conflicts: 687000 | #Constraints: 81780
3260.56/3269.78 c #Conflicts: 688000 | #Constraints: 82780
3260.56/3269.78 c #Conflicts: 689000 | #Constraints: 83780
3260.56/3269.78 c #Conflicts: 690000 | #Constraints: 84780
3260.56/3269.78 c #Conflicts: 691000 | #Constraints: 85780
3260.56/3269.78 c #Conflicts: 692000 | #Constraints: 86780
3260.56/3269.78 c #Conflicts: 693000 | #Constraints: 87780
3260.56/3269.78 c INPROCESSING
3260.56/3269.78 c GARBAGE COLLECT
3260.56/3269.78 c #Conflicts: 694000 | #Constraints: 47280
3260.56/3269.78 c #Conflicts: 695000 | #Constraints: 48280
3260.56/3269.78 c #Conflicts: 696000 | #Constraints: 49280
3260.56/3269.78 c #Conflicts: 697000 | #Constraints: 50280
3260.56/3269.78 c #Conflicts: 698000 | #Constraints: 51280
3260.56/3269.78 c #Conflicts: 699000 | #Constraints: 52280
3260.56/3269.78 c #Conflicts: 700000 | #Constraints: 53280
3260.56/3269.78 c #Conflicts: 701000 | #Constraints: 54280
3260.56/3269.78 c #Conflicts: 702000 | #Constraints: 55280
3260.56/3269.78 c #Conflicts: 703000 | #Constraints: 56280
3260.56/3269.78 c #Conflicts: 704000 | #Constraints: 57280
3260.56/3269.78 c #Conflicts: 705000 | #Constraints: 58280
3260.56/3269.78 c #Conflicts: 706000 | #Constraints: 59280
3260.56/3269.78 c #Conflicts: 707000 | #Constraints: 60280
3260.56/3269.78 c #Conflicts: 708000 | #Constraints: 61280
3260.56/3269.78 c #Conflicts: 709000 | #Constraints: 62280
3260.56/3269.78 c #Conflicts: 710000 | #Constraints: 63280
3260.56/3269.78 c #Conflicts: 711000 | #Constraints: 64280
3260.56/3269.78 c #Conflicts: 712000 | #Constraints: 65280
3260.56/3269.78 c #Conflicts: 713000 | #Constraints: 66280
3260.56/3269.78 c INPROCESSING
3260.56/3269.78 c GARBAGE COLLECT
3260.56/3269.78 c #Conflicts: 714000 | #Constraints: 36548
3260.56/3269.78 c #Conflicts: 715000 | #Constraints: 37548
3260.56/3269.78 c #Conflicts: 716000 | #Constraints: 38548
3260.56/3269.78 c #Conflicts: 717000 | #Constraints: 39548
3260.56/3269.78 c #Conflicts: 718000 | #Constraints: 40548
3260.56/3269.78 c #Conflicts: 719000 | #Constraints: 41548
3260.56/3269.78 c #Conflicts: 720000 | #Constraints: 42548
3260.56/3269.78 c #Conflicts: 721000 | #Constraints: 43548
3260.56/3269.78 c #Conflicts: 722000 | #Constraints: 44548
3260.56/3269.78 c #Conflicts: 723000 | #Constraints: 45548
3260.56/3269.78 c #Conflicts: 724000 | #Constraints: 46548
3260.56/3269.78 c #Conflicts: 725000 | #Constraints: 47548
3260.56/3269.78 c #Conflicts: 726000 | #Constraints: 48548
3260.56/3269.78 c #Conflicts: 727000 | #Constraints: 49548
3260.56/3269.78 c #Conflicts: 728000 | #Constraints: 50548
3260.56/3269.78 c #Conflicts: 729000 | #Constraints: 51548
3260.56/3269.78 c #Conflicts: 730000 | #Constraints: 52548
3260.56/3269.78 c #Conflicts: 731000 | #Constraints: 53548
3260.56/3269.78 c #Conflicts: 732000 | #Constraints: 54548
3260.56/3269.78 c #Conflicts: 733000 | #Constraints: 55548
3260.56/3269.78 c INPROCESSING
3260.56/3269.78 c GARBAGE COLLECT
3260.56/3269.78 c #Conflicts: 734000 | #Constraints: 31079
3260.56/3269.78 c #Conflicts: 735000 | #Constraints: 32079
3260.56/3269.78 c #Conflicts: 736000 | #Constraints: 33079
3260.56/3269.78 c #Conflicts: 737000 | #Constraints: 34079
3260.56/3269.78 c #Conflicts: 738000 | #Constraints: 35079
3260.56/3269.78 c #Conflicts: 739000 | #Constraints: 36079
3260.56/3269.78 c #Conflicts: 740000 | #Constraints: 37079
3260.56/3269.78 c #Conflicts: 741000 | #Constraints: 38079
3260.56/3269.78 c #Conflicts: 742000 | #Constraints: 39079
3260.56/3269.78 c #Conflicts: 743000 | #Constraints: 40079
3260.56/3269.78 c #Conflicts: 744000 | #Constraints: 41079
3260.56/3269.78 c #Conflicts: 745000 | #Constraints: 42079
3260.56/3269.78 c #Conflicts: 746000 | #Constraints: 43079
3260.56/3269.78 c #Conflicts: 747000 | #Constraints: 44079
3260.56/3269.78 c #Conflicts: 748000 | #Constraints: 45079
3260.56/3269.78 c #Conflicts: 749000 | #Constraints: 46079
3260.56/3269.78 c #Conflicts: 750000 | #Constraints: 47079
3260.56/3269.78 c #Conflicts: 751000 | #Constraints: 48079
3260.56/3269.78 c #Conflicts: 752000 | #Constraints: 49079
3260.56/3269.78 c #Conflicts: 753000 | #Constraints: 50079
3260.56/3269.78 c #Conflicts: 754000 | #Constraints: 51079
3260.56/3269.78 c #Conflicts: 755000 | #Constraints: 52079
3260.56/3269.78 c #Conflicts: 756000 | #Constraints: 53079
3260.56/3269.78 c #Conflicts: 757000 | #Constraints: 54079
3260.56/3269.78 c #Conflicts: 758000 | #Constraints: 55079
3260.56/3269.78 c #Conflicts: 759000 | #Constraints: 56079
3260.56/3269.78 c #Conflicts: 760000 | #Constraints: 57079
3600.01/3610.11 c #Conflicts: 761000 | #Constraints: 58079
3600.01/3610.11 c #Conflicts: 762000 | #Constraints: 59079
3600.01/3610.11 c #Conflicts: 763000 | #Constraints: 60079
3600.01/3610.11 c #Conflicts: 764000 | #Constraints: 61079
3600.01/3610.11 c #Conflicts: 765000 | #Constraints: 62079
3600.01/3610.11 c #Conflicts: 766000 | #Constraints: 63079
3600.01/3610.11 c #Conflicts: 767000 | #Constraints: 64079
3600.01/3610.11 c #Conflicts: 768000 | #Constraints: 65079
3600.01/3610.11 c #Conflicts: 769000 | #Constraints: 66079
3600.01/3610.11 c #Conflicts: 770000 | #Constraints: 67079
3600.01/3610.11 c #Conflicts: 771000 | #Constraints: 68079
3600.01/3610.11 c #Conflicts: 772000 | #Constraints: 69079
3600.01/3610.11 c #Conflicts: 773000 | #Constraints: 70079
3600.01/3610.11 c #Conflicts: 774000 | #Constraints: 71079
3600.01/3610.11 c #Conflicts: 775000 | #Constraints: 72079
3600.01/3610.11 c #Conflicts: 776000 | #Constraints: 73079
3600.01/3610.11 c #Conflicts: 777000 | #Constraints: 74079
3600.01/3610.11 c #Conflicts: 778000 | #Constraints: 75079
3600.01/3610.11 c #Conflicts: 779000 | #Constraints: 76079
3600.01/3610.11 c #Conflicts: 780000 | #Constraints: 77079
3600.01/3610.11 c #Conflicts: 781000 | #Constraints: 78079
3600.01/3610.11 c #Conflicts: 782000 | #Constraints: 79079
3600.01/3610.11 c #Conflicts: 783000 | #Constraints: 80079
3600.01/3610.11 c #Conflicts: 784000 | #Constraints: 81079
3600.01/3610.11 c #Conflicts: 785000 | #Constraints: 82079
3600.01/3610.11 c #Conflicts: 786000 | #Constraints: 83079
3600.01/3610.11 c #Conflicts: 787000 | #Constraints: 84079
3600.01/3610.11 c #Conflicts: 788000 | #Constraints: 85079
3600.01/3610.11 c #Conflicts: 789000 | #Constraints: 86079
3600.01/3610.11 c Program interrupted by user.
3600.01/3610.11 c cpu time 3593.55 s
3600.01/3610.11 c deterministic time 258385393246 2.58e+11
3600.01/3610.11 c optimization time 522.759 s
3600.01/3610.11 c total solve time 3070.76 s
3600.01/3610.11 c core-guided solve time 3070.76 s
3600.01/3610.11 c propagation time 2980.61 s
3600.01/3610.11 c conflict analysis time 596.6 s
3600.01/3610.11 c propagations 113209249
3600.01/3610.11 c resolve steps 17402745
3600.01/3610.11 c decisions 3546234
3600.01/3610.11 c conflicts 789917
3600.01/3610.11 c restarts 1672
3600.01/3610.11 c inprocessing phases 47
3600.01/3610.11 c input clauses 2689
3600.01/3610.11 c input cardinalities 278
3600.01/3610.11 c input general constraints 1708
3600.01/3610.11 c input average constraint length 5.35
3600.01/3610.11 c input average constraint degree 3.11
3600.01/3610.11 c learned clauses 586893
3600.01/3610.11 c learned cardinalities 3703
3600.01/3610.11 c learned general constraints 199326
3600.01/3610.11 c learned average constraint length 89.59
3600.01/3610.11 c learned average constraint degree 6871.02
3600.01/3610.11 c watched constraints 142780
3600.01/3610.11 c counting constraints 58254
3600.01/3610.11 c gcd simplifications 944
3600.01/3610.11 c detected cardinalities 6
3600.01/3610.11 c weakened non-implied lits 13018509
3600.01/3610.11 c weakened non-implying lits 4107
3600.01/3610.11 c original variables 540
3600.01/3610.11 c clausal propagations 52167844
3600.01/3610.11 c cardinality propagations 40567869
3600.01/3610.11 c watched propagations 5794458
3600.01/3610.11 c counting propagations 14071033
3600.01/3610.11 c watch lookups 84693786130
3600.01/3610.11 c watch backjump lookups 79598445912
3600.01/3610.11 c watch checks 81943947210
3600.01/3610.11 c propagation checks 11641699831
3600.01/3610.11 c constraint additions 273213510
3600.01/3610.11 c trail pops 117545169
3600.01/3610.11 c formula constraints 4626
3600.01/3610.11 c learned constraints 789922
3600.01/3610.11 c bound constraints 14
3600.01/3610.11 c core-guided constraints 35
3600.01/3610.11 c encountered formula constraints 8813179
3600.01/3610.11 c encountered learned constraints 9365177
3600.01/3610.11 c encountered bound constraints 830
3600.01/3610.11 c encountered core-guided constraints 13476
3600.01/3610.11 c LP total time 0 s
3600.01/3610.11 c LP solve time 0 s
3600.01/3610.11 c LP constraints added 0
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 0
3600.01/3610.11 c LP pivots root 0
3600.01/3610.11 c LP calls 0
3600.01/3610.11 c LP optimalities 0
3600.01/3610.11 c LP no pivot count 0
3600.01/3610.11 c LP infeasibilities 0
3600.01/3610.11 c LP valid Farkas constraints 0
3600.01/3610.11 c LP learned Farkas constraints 0
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 0
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 0
3600.01/3610.11 c LP encountered learned Farkas constraints 0
3600.01/3610.11 c CG auxiliary variables introduced 14
3600.01/3610.11 c CG solutions found 1
3600.01/3610.11 c CG cores constructed 9
3600.01/3610.11 c CG core cardinality constraints returned 0
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 9
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 0
3600.01/3610.11 c CG core degree average 1.00
3600.01/3610.11 c CG core slack average 11.67
3600.01/3610.11 c CG exhausted 0
3600.01/3610.11 c CG exhaust time 0.862818 s
3600.01/3610.11 c CG trimmed 0
3600.01/3610.11 c CG trim time 0.000278 s
3600.01/3610.11 c CG minimized 0
3600.01/3610.11 c CG minimize time 0 s
3600.01/3610.11 c CG am1 prop time 0.000615 s
3600.01/3610.11 c CG # am1s reformulated 0
3600.01/3610.11 c CG lower bound derived from am1s 0
3600.01/3610.11 c CG # clausal cores 9
3600.01/3610.11 c CG # cardinality cores 0
3600.01/3610.11 c CG # pb cores 0
3600.01/3610.11 c CG # pb reforms 0
3600.01/3610.11 c CG # cores discarded because of pb reform 0
3600.01/3610.11 d LOWERBOUND 18
3600.01/3610.11 d NCORES 9
3600.01/3610.11 d NPBCORES 0
3600.01/3610.11 d NPBREFORM 0
3600.01/3610.11 d NTRIMMED 0
3600.01/3610.11 d NEXHAUSTED 0
3600.01/3610.11 d NAM1S 0
3600.01/3610.11 d AM1LB 0
3600.01/3610.11 o 70
3600.01/3610.11 s SATISFIABLE
3600.01/3610.11 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 x467 -x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 x499 -x500 x501 x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540
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: 63837 MiB (63258 MiB free)
memory of node 1: 64465 MiB (63866 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486420-1751319855/watcher-4486420-1751319855 -o /tmp/evaluation-result-4486420-1751319855/solver-4486420-1751319855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40718 --watchdog 3760 pb-oll-rs HOME/instance-4486420-1751319855.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=41564, runsolver pid=41561
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130175528/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=20476 memory=6784 CPUtime=0.1 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 517 0 0 0 8 2 0 0 20 0 1 0 47664655 20967424 1696 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5119 1696 1376 243 0 1368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20476 KiB
Current children cumulated memory: 6784 KiB
[startup+0.213037 s]*
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130175528/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=20476 memory=6912 CPUtime=0.21 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 580 0 0 0 19 2 0 0 20 0 1 0 47664655 20967424 1728 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5119 1728 1376 243 0 1368 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20476 KiB
Current children cumulated memory: 6912 KiB
[startup+0.312941 s]*
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130174692/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=20604 memory=7168 CPUtime=0.3 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 634 0 0 0 28 2 0 0 20 0 1 0 47664655 21098496 1792 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5151 1792 1376 243 0 1400 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20604 KiB
Current children cumulated memory: 7168 KiB
[startup+0.700224 s]
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130174692/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=20748 memory=7680 CPUtime=0.68 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 759 0 0 0 64 4 0 0 20 0 1 0 47664655 21245952 1920 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5187 1920 1376 243 0 1436 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 7680 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130174692/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=21372 memory=10508 CPUtime=1.47 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 966 0 0 0 141 6 0 0 20 0 1 0 47664655 21884928 2627 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5343 2627 1376 243 0 1592 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 21372 KiB
Current children cumulated memory: 10508 KiB
[startup+3.11281 s]
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130167888/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=22404 memory=11532 CPUtime=3.09 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 1230 0 0 0 296 13 0 0 20 0 1 0 47664655 22941696 2883 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5601 2883 1376 243 0 1850 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 11532 KiB
[startup+6.30028 s]
/proc/loadavg: 4.09 4.14 4.18 5/252 41565
/proc/meminfo: memFree=130167888/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=23448 memory=12556 CPUtime=6.27 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 1521 0 0 0 607 20 0 0 20 0 1 0 47664655 24010752 3139 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 5862 3139 1376 243 0 2111 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23448 KiB
Current children cumulated memory: 12556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.18 5/252 41565
/proc/meminfo: memFree=130158564/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=29180 memory=18572 CPUtime=12.65 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 3084 0 0 0 1237 28 0 0 20 0 1 0 47664655 29880320 4643 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 7295 4643 1376 243 0 3544 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 29180 KiB
Current children cumulated memory: 18572 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.13 4.18 5/252 41565
/proc/meminfo: memFree=130133148/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=34300 memory=22336 CPUtime=25.41 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 3666 0 0 0 2500 41 0 0 20 0 1 0 47664655 35123200 5584 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 8575 5584 1376 243 0 4824 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 34300 KiB
Current children cumulated memory: 22336 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.14 4.18 5/252 41566
/proc/meminfo: memFree=130103564/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=45476 memory=29724 CPUtime=50.95 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 5072 0 0 0 5037 58 0 0 20 0 1 0 47664655 46567424 7431 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 11369 7431 1376 243 0 7618 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 45476 KiB
Current children cumulated memory: 29724 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/252 41568
/proc/meminfo: memFree=130068580/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=48100 memory=34164 CPUtime=102 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 5904 0 0 0 10107 93 0 0 20 0 1 0 47664655 49254400 8541 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 12025 8541 1376 243 0 8274 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 48100 KiB
Current children cumulated memory: 34164 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/252 41570
/proc/meminfo: memFree=130028100/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=63532 memory=40720 CPUtime=161.83 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 6887 0 0 0 16065 118 0 0 20 0 1 0 47664655 65056768 10180 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 15883 10180 1376 243 0 12132 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 63532 KiB
Current children cumulated memory: 40720 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.16 5/252 41572
/proc/meminfo: memFree=129993988/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=65196 memory=44324 CPUtime=221.65 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 7447 0 0 0 22021 144 0 0 20 0 1 0 47664655 66760704 11081 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 16299 11081 1376 243 0 12548 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 65196 KiB
Current children cumulated memory: 44324 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/252 41574
/proc/meminfo: memFree=129950120/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=66476 memory=45476 CPUtime=281.48 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 7724 0 0 0 27980 168 0 0 20 0 1 0 47664655 68071424 11369 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 16619 11369 1376 243 0 12868 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 66476 KiB
Current children cumulated memory: 45476 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/250 41576
/proc/meminfo: memFree=129907788/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=69068 memory=51960 CPUtime=341.3 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 8464 0 0 0 33945 185 0 0 20 0 1 0 47664655 70725632 12990 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 17267 12990 1376 243 0 13516 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 69068 KiB
Current children cumulated memory: 51960 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/250 41579
/proc/meminfo: memFree=129889932/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=69308 memory=52172 CPUtime=401.13 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 8642 0 0 0 39909 204 0 0 20 0 1 0 47664655 70971392 13043 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 17327 13043 1376 243 0 13576 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 69308 KiB
Current children cumulated memory: 52172 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/250 41581
/proc/meminfo: memFree=129893724/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=69308 memory=54476 CPUtime=460.95 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 8653 0 0 0 45873 222 0 0 20 0 1 0 47664655 70971392 13619 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 17327 13619 1376 243 0 13576 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 100132 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/249 41721
/proc/meminfo: memFree=129478220/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101028 CPUtime=2914.16 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15671 0 0 0 290847 569 0 0 20 0 1 0 47664655 114966528 25257 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25257 1376 243 0 24317 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101028 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 41726
/proc/meminfo: memFree=129474736/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101028 CPUtime=2973.98 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15671 0 0 0 296821 577 0 0 20 0 1 0 47664655 114966528 25257 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25257 1376 243 0 24317 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101028 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 41732
/proc/meminfo: memFree=129472132/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101028 CPUtime=3033.82 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15671 0 0 0 302798 584 0 0 20 0 1 0 47664655 114966528 25257 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25257 1376 243 0 24317 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101028 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 41733
/proc/meminfo: memFree=129472180/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3093.66 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15699 0 0 0 308774 592 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 41735
/proc/meminfo: memFree=129467084/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3153.48 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15699 0 0 0 314749 599 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 41737
/proc/meminfo: memFree=129466100/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3213.31 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15699 0 0 0 320723 608 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 41739
/proc/meminfo: memFree=129458508/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3273.13 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15721 0 0 0 326698 615 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 41741
/proc/meminfo: memFree=129449552/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3332.95 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15739 0 0 0 332674 621 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 41743
/proc/meminfo: memFree=129443684/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3392.78 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15741 0 0 0 338652 626 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 41745
/proc/meminfo: memFree=129375476/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3452.62 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15742 0 0 0 344629 633 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 41747
/proc/meminfo: memFree=129367780/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112272 memory=101156 CPUtime=3512.45 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15744 0 0 0 350608 637 0 0 20 0 1 0 47664655 114966528 25289 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28068 25289 1376 243 0 24317 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 112272 KiB
Current children cumulated memory: 101156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 41751
/proc/meminfo: memFree=129367068/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=112672 memory=101412 CPUtime=3572.29 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 15818 0 0 0 356586 643 0 0 20 0 1 0 47664655 115376128 25353 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 28168 25353 1376 243 0 24417 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 112672 KiB
Current children cumulated memory: 101412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 41939
/proc/meminfo: memFree=130138904/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=148356 memory=105124 CPUtime=3600.01 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 16740 0 0 0 359355 646 0 0 20 0 1 0 47664655 151916544 26281 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 37089 26281 1376 243 0 33338 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 148356 KiB
Current children cumulated memory: 105124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 41564 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.56 s, system=6.47174 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 41939
/proc/meminfo: memFree=130138904/131382120 swapFree=33010160/33010684
[pid=41564] ppid=41561 vsize=148356 memory=105124 CPUtime=3600.01 cores=0,2
/proc/41564/stat : 41564 (pb-oll-rs) R 41561 41564 40708 0 -1 4194304 16740 0 0 0 359355 646 0 0 20 0 1 0 47664655 151916544 26281 18446744073709551615 4218880 5211445 140727306763888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10432512 140727306766748 140727306766825 140727306766825 140727306772427 0
/proc/41564/statm: 37089 26281 1376 243 0 33338 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 148356 KiB
Current children cumulated memory: 105124 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.03
CPU user time (s): 3593.56
CPU system time (s): 6.47174
CPU usage (%): 99.7205
Max. virtual memory (cumulated for all children) (KiB): 148356
Max. memory (cumulated for all children) (KiB): 105124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.56
system time used= 6.47174
maximum resident set size= 105380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16755
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= 111
involuntary context switches= 7943
# summary of solver processes directly reported to runsolver:
# pid: 41564
# total CPU time (s): 3600.03
# total CPU user time (s): 3593.56
# total CPU system time (s): 6.47174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7303 second user time and 35.5463 second system time
The end
Begin job on nodeC008 at 2025-06-30 23:44:15
IDJOB=4486420
IDBENCH=147020
IDSOLVER=3345
FILE ID=nodeC008/4486420-1751319855
RUNJOBID= nodeC008-1751316235-40718
SLURM_JOB_ID= 9594335
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486420-1751319855/watcher-4486420-1751319855 -o /tmp/evaluation-result-4486420-1751319855/solver-4486420-1751319855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40718 --watchdog 3760 pb-oll-rs HOME/instance-4486420-1751319855.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=173089058
nodeC008 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 : 0xb00001f
cpu MHz : 1197.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.314
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.234
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.264
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.865
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130175624 kB
MemAvailable: 129897500 kB
Buffers: 2144 kB
Cached: 532080 kB
SwapCached: 16 kB
Active: 335816 kB
Inactive: 314760 kB
Active(anon): 97636 kB
Inactive(anon): 36640 kB
Active(file): 238180 kB
Inactive(file): 278120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12052 kB
Writeback: 28 kB
AnonPages: 119496 kB
Mapped: 107068 kB
Shmem: 17920 kB
KReclaimable: 90408 kB
Slab: 172076 kB
SReclaimable: 90408 kB
SUnreclaim: 81668 kB
KernelStack: 4080 kB
PageTables: 3124 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 448848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC008 at 2025-07-01 00:44:26