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.02 c [STEP] solving
0.00/0.02 c #variables 1835 #constraints 2149
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= -120 @ 0.008947
0.00/0.02 c stratification level: 0
0.00/0.08 c bounds - >= -119 @ 0.009473
0.00/0.08 c bounds - >= -118 @ 0.011414
0.00/0.08 c bounds - >= -117 @ 0.012496
0.00/0.08 c bounds - >= -116 @ 0.013463
0.00/0.08 c bounds - >= -115 @ 0.017154
0.00/0.08 c bounds - >= -114 @ 0.018189
0.00/0.08 c bounds - >= -113 @ 0.019843
0.00/0.08 c bounds - >= -112 @ 0.020833
0.00/0.08 c bounds - >= -111 @ 0.028917
0.00/0.08 c bounds - >= -110 @ 0.032138
0.00/0.08 c bounds - >= -109 @ 0.037529
0.00/0.08 c bounds - >= -108 @ 0.049944
0.00/0.08 c finalizing WCE round: reformulating cores
50.64/50.84 c #Conflicts: 1000 | #Constraints: 3163
50.64/50.84 c #Conflicts: 2000 | #Constraints: 4165
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c bounds -21 >= -117 @ 0.327024
50.64/50.84 c #Conflicts: 3000 | #Constraints: 4232
50.64/50.84 c #Conflicts: 4000 | #Constraints: 5236
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 5000 | #Constraints: 4653
50.64/50.84 c bounds -21 >= -112 @ 0.996658
50.64/50.84 c #Conflicts: 6000 | #Constraints: 5658
50.64/50.84 c bounds -21 >= -112 @ 1.04263
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 7000 | #Constraints: 4676
50.64/50.84 c bounds -21 >= -109 @ 1.35461
50.64/50.84 c bounds -21 >= -109 @ 1.38154
50.64/50.84 c bounds -21 >= -109 @ 1.48422
50.64/50.84 c #Conflicts: 8000 | #Constraints: 5687
50.64/50.84 c #Conflicts: 9000 | #Constraints: 6692
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 10000 | #Constraints: 5386
50.64/50.84 c bounds -23 >= -102 @ 2.15266
50.64/50.84 c bounds -23 >= -101 @ 2.35223
50.64/50.84 c #Conflicts: 11000 | #Constraints: 6392
50.64/50.84 c bounds -23 >= -100 @ 2.35462
50.64/50.84 c bounds -23 >= -99 @ 2.36619
50.64/50.84 c bounds -23 >= -98 @ 2.5959
50.64/50.84 c #Conflicts: 12000 | #Constraints: 7458
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 13000 | #Constraints: 5922
50.64/50.84 c #Conflicts: 14000 | #Constraints: 6922
50.64/50.84 c #Conflicts: 15000 | #Constraints: 7922
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 16000 | #Constraints: 6171
50.64/50.84 c #Conflicts: 17000 | #Constraints: 7171
50.64/50.84 c #Conflicts: 18000 | #Constraints: 8171
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 19000 | #Constraints: 6202
50.64/50.84 c bounds -23 >= -97 @ 5.76574
50.64/50.84 c #Conflicts: 20000 | #Constraints: 7233
50.64/50.84 c #Conflicts: 21000 | #Constraints: 8233
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 22000 | #Constraints: 6061
50.64/50.84 c #Conflicts: 23000 | #Constraints: 7061
50.64/50.84 c #Conflicts: 24000 | #Constraints: 8061
50.64/50.84 c #Conflicts: 25000 | #Constraints: 9061
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 26000 | #Constraints: 6674
50.64/50.84 c bounds -23 >= -96 @ 8.97118
50.64/50.84 c #Conflicts: 27000 | #Constraints: 7699
50.64/50.84 c #Conflicts: 28000 | #Constraints: 8699
50.64/50.84 c #Conflicts: 29000 | #Constraints: 9699
50.64/50.84 c #Conflicts: 30000 | #Constraints: 10699
50.64/50.84 c #Conflicts: 31000 | #Constraints: 11699
50.64/50.84 c #Conflicts: 32000 | #Constraints: 12699
50.64/50.84 c #Conflicts: 33000 | #Constraints: 13699
50.64/50.84 c #Conflicts: 34000 | #Constraints: 14699
50.64/50.84 c #Conflicts: 35000 | #Constraints: 15699
50.64/50.84 c #Conflicts: 36000 | #Constraints: 16699
50.64/50.84 c #Conflicts: 37000 | #Constraints: 17699
50.64/50.84 c #Conflicts: 38000 | #Constraints: 18699
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 39000 | #Constraints: 11620
50.64/50.84 c #Conflicts: 40000 | #Constraints: 12620
50.64/50.84 c #Conflicts: 41000 | #Constraints: 13620
50.64/50.84 c #Conflicts: 42000 | #Constraints: 14620
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 43000 | #Constraints: 9142
50.64/50.84 c #Conflicts: 44000 | #Constraints: 10142
50.64/50.84 c #Conflicts: 45000 | #Constraints: 11142
50.64/50.84 c #Conflicts: 46000 | #Constraints: 12142
50.64/50.84 c #Conflicts: 47000 | #Constraints: 13142
50.64/50.84 c #Conflicts: 48000 | #Constraints: 14142
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 49000 | #Constraints: 9339
50.64/50.84 c #Conflicts: 50000 | #Constraints: 10339
50.64/50.84 c #Conflicts: 51000 | #Constraints: 11339
50.64/50.84 c #Conflicts: 52000 | #Constraints: 12339
50.64/50.84 c #Conflicts: 53000 | #Constraints: 13339
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 54000 | #Constraints: 8791
50.64/50.84 c #Conflicts: 55000 | #Constraints: 9791
50.64/50.84 c #Conflicts: 56000 | #Constraints: 10791
50.64/50.84 c #Conflicts: 57000 | #Constraints: 11791
50.64/50.84 c #Conflicts: 58000 | #Constraints: 12791
50.64/50.84 c INPROCESSING
50.64/50.84 c GARBAGE COLLECT
50.64/50.84 c #Conflicts: 59000 | #Constraints: 8271
50.64/50.84 c #Conflicts: 60000 | #Constraints: 9271
50.64/50.84 c #Conflicts: 61000 | #Constraints: 10271
50.64/50.84 c #Conflicts: 62000 | #Constraints: 11271
50.64/50.84 c #Conflicts: 63000 | #Constraints: 12271
229.55/230.20 c #Conflicts: 64000 | #Constraints: 13271
229.55/230.20 c #Conflicts: 65000 | #Constraints: 14271
229.55/230.20 c #Conflicts: 66000 | #Constraints: 15271
229.55/230.20 c #Conflicts: 67000 | #Constraints: 16271
229.55/230.20 c #Conflicts: 68000 | #Constraints: 17271
229.55/230.20 c #Conflicts: 69000 | #Constraints: 18271
229.55/230.20 c #Conflicts: 70000 | #Constraints: 19271
229.55/230.20 c #Conflicts: 71000 | #Constraints: 20271
229.55/230.20 c #Conflicts: 72000 | #Constraints: 21271
229.55/230.20 c #Conflicts: 73000 | #Constraints: 22271
229.55/230.20 c #Conflicts: 74000 | #Constraints: 23271
229.55/230.20 c #Conflicts: 75000 | #Constraints: 24271
229.55/230.20 c bounds -23 >= -95 @ 81.6617
229.55/230.20 c #Conflicts: 76000 | #Constraints: 25296
229.55/230.20 c #Conflicts: 77000 | #Constraints: 26296
229.55/230.20 c #Conflicts: 78000 | #Constraints: 27296
229.55/230.20 c INPROCESSING
229.55/230.20 c GARBAGE COLLECT
229.55/230.20 c #Conflicts: 79000 | #Constraints: 15924
229.55/230.20 c #Conflicts: 80000 | #Constraints: 16924
229.55/230.20 c #Conflicts: 81000 | #Constraints: 17924
229.55/230.20 c #Conflicts: 82000 | #Constraints: 18924
229.55/230.20 c #Conflicts: 83000 | #Constraints: 19924
229.55/230.20 c #Conflicts: 84000 | #Constraints: 20924
229.55/230.20 c INPROCESSING
229.55/230.20 c GARBAGE COLLECT
229.55/230.20 c #Conflicts: 85000 | #Constraints: 12347
229.55/230.20 c #Conflicts: 86000 | #Constraints: 13347
229.55/230.20 c #Conflicts: 87000 | #Constraints: 14347
229.55/230.20 c #Conflicts: 88000 | #Constraints: 15347
229.55/230.20 c #Conflicts: 89000 | #Constraints: 16347
229.55/230.20 c #Conflicts: 90000 | #Constraints: 17347
229.55/230.20 c #Conflicts: 91000 | #Constraints: 18347
229.55/230.20 c INPROCESSING
229.55/230.20 c GARBAGE COLLECT
229.55/230.20 c #Conflicts: 92000 | #Constraints: 11085
229.55/230.20 c #Conflicts: 93000 | #Constraints: 12085
229.55/230.20 c #Conflicts: 94000 | #Constraints: 13085
229.55/230.20 c #Conflicts: 95000 | #Constraints: 14085
229.55/230.20 c #Conflicts: 96000 | #Constraints: 15085
229.55/230.20 c #Conflicts: 97000 | #Constraints: 16085
229.55/230.20 c #Conflicts: 98000 | #Constraints: 17085
229.55/230.20 c #Conflicts: 99000 | #Constraints: 18085
229.55/230.20 c INPROCESSING
229.55/230.20 c GARBAGE COLLECT
229.55/230.20 c #Conflicts: 100000 | #Constraints: 11342
229.55/230.20 c #Conflicts: 101000 | #Constraints: 12342
229.55/230.20 c #Conflicts: 102000 | #Constraints: 13342
229.55/230.20 c #Conflicts: 103000 | #Constraints: 14342
229.55/230.20 c #Conflicts: 104000 | #Constraints: 15342
229.55/230.20 c #Conflicts: 105000 | #Constraints: 16342
229.55/230.20 c #Conflicts: 106000 | #Constraints: 17342
229.55/230.20 c #Conflicts: 107000 | #Constraints: 18342
229.55/230.20 c #Conflicts: 108000 | #Constraints: 19342
229.55/230.20 c #Conflicts: 109000 | #Constraints: 20342
229.55/230.20 c #Conflicts: 110000 | #Constraints: 21342
229.55/230.20 c #Conflicts: 111000 | #Constraints: 22342
229.55/230.20 c #Conflicts: 112000 | #Constraints: 23342
229.55/230.20 c #Conflicts: 113000 | #Constraints: 24342
229.55/230.20 c #Conflicts: 114000 | #Constraints: 25342
229.55/230.20 c #Conflicts: 115000 | #Constraints: 26342
229.55/230.20 c #Conflicts: 116000 | #Constraints: 27342
229.55/230.20 c #Conflicts: 117000 | #Constraints: 28342
229.55/230.20 c #Conflicts: 118000 | #Constraints: 29342
229.55/230.20 c #Conflicts: 119000 | #Constraints: 30342
229.55/230.20 c #Conflicts: 120000 | #Constraints: 31342
229.55/230.20 c #Conflicts: 121000 | #Constraints: 32342
229.55/230.20 c #Conflicts: 122000 | #Constraints: 33342
229.55/230.20 c #Conflicts: 123000 | #Constraints: 34342
229.55/230.20 c INPROCESSING
229.55/230.20 c GARBAGE COLLECT
229.55/230.20 c #Conflicts: 124000 | #Constraints: 19203
229.55/230.20 c #Conflicts: 125000 | #Constraints: 20203
229.55/230.20 c #Conflicts: 126000 | #Constraints: 21203
229.55/230.20 c #Conflicts: 127000 | #Constraints: 22203
229.55/230.20 c #Conflicts: 128000 | #Constraints: 23203
229.55/230.20 c #Conflicts: 129000 | #Constraints: 24203
229.55/230.20 c #Conflicts: 130000 | #Constraints: 25203
229.55/230.20 c #Conflicts: 131000 | #Constraints: 26203
229.55/230.20 c #Conflicts: 132000 | #Constraints: 27203
229.55/230.20 c INPROCESSING
229.55/230.20 c GARBAGE COLLECT
229.55/230.20 c #Conflicts: 133000 | #Constraints: 15897
229.55/230.20 c #Conflicts: 134000 | #Constraints: 16897
229.55/230.20 c #Conflicts: 135000 | #Constraints: 17897
229.55/230.20 c #Conflicts: 136000 | #Constraints: 18897
229.55/230.20 c #Conflicts: 137000 | #Constraints: 19897
508.86/510.38 c #Conflicts: 138000 | #Constraints: 20897
508.86/510.38 c #Conflicts: 139000 | #Constraints: 21897
508.86/510.38 c #Conflicts: 140000 | #Constraints: 22897
508.86/510.38 c INPROCESSING
508.86/510.38 c GARBAGE COLLECT
508.86/510.38 c #Conflicts: 141000 | #Constraints: 13389
508.86/510.38 c #Conflicts: 142000 | #Constraints: 14389
508.86/510.38 c #Conflicts: 143000 | #Constraints: 15389
508.86/510.38 c #Conflicts: 144000 | #Constraints: 16389
508.86/510.38 c #Conflicts: 145000 | #Constraints: 17389
508.86/510.38 c #Conflicts: 146000 | #Constraints: 18389
508.86/510.38 c #Conflicts: 147000 | #Constraints: 19389
508.86/510.38 c #Conflicts: 148000 | #Constraints: 20389
508.86/510.38 c #Conflicts: 149000 | #Constraints: 21389
508.86/510.38 c INPROCESSING
508.86/510.38 c GARBAGE COLLECT
508.86/510.38 c #Conflicts: 150000 | #Constraints: 12703
508.86/510.38 c #Conflicts: 151000 | #Constraints: 13703
508.86/510.38 c #Conflicts: 152000 | #Constraints: 14703
508.86/510.38 c #Conflicts: 153000 | #Constraints: 15703
508.86/510.38 c #Conflicts: 154000 | #Constraints: 16703
508.86/510.38 c #Conflicts: 155000 | #Constraints: 17703
508.86/510.38 c #Conflicts: 156000 | #Constraints: 18703
508.86/510.38 c #Conflicts: 157000 | #Constraints: 19703
508.86/510.38 c #Conflicts: 158000 | #Constraints: 20703
508.86/510.38 c INPROCESSING
508.86/510.38 c GARBAGE COLLECT
508.86/510.38 c #Conflicts: 159000 | #Constraints: 12305
508.86/510.38 c #Conflicts: 160000 | #Constraints: 13305
508.86/510.38 c #Conflicts: 161000 | #Constraints: 14305
508.86/510.38 c #Conflicts: 162000 | #Constraints: 15305
508.86/510.38 c #Conflicts: 163000 | #Constraints: 16305
508.86/510.38 c #Conflicts: 164000 | #Constraints: 17305
508.86/510.38 c #Conflicts: 165000 | #Constraints: 18305
508.86/510.38 c #Conflicts: 166000 | #Constraints: 19305
508.86/510.38 c #Conflicts: 167000 | #Constraints: 20305
508.86/510.38 c #Conflicts: 168000 | #Constraints: 21305
508.86/510.38 c #Conflicts: 169000 | #Constraints: 22305
508.86/510.38 c #Conflicts: 170000 | #Constraints: 23305
508.86/510.38 c #Conflicts: 171000 | #Constraints: 24305
508.86/510.38 c #Conflicts: 172000 | #Constraints: 25305
508.86/510.38 c #Conflicts: 173000 | #Constraints: 26305
508.86/510.38 c #Conflicts: 174000 | #Constraints: 27305
508.86/510.38 c #Conflicts: 175000 | #Constraints: 28305
508.86/510.38 c #Conflicts: 176000 | #Constraints: 29305
508.86/510.38 c #Conflicts: 177000 | #Constraints: 30305
508.86/510.38 c #Conflicts: 178000 | #Constraints: 31305
508.86/510.38 c #Conflicts: 179000 | #Constraints: 32305
508.86/510.38 c #Conflicts: 180000 | #Constraints: 33305
508.86/510.38 c #Conflicts: 181000 | #Constraints: 34305
508.86/510.38 c #Conflicts: 182000 | #Constraints: 35305
508.86/510.38 c #Conflicts: 183000 | #Constraints: 36305
508.86/510.38 c #Conflicts: 184000 | #Constraints: 37305
508.86/510.38 c #Conflicts: 185000 | #Constraints: 38305
508.86/510.38 c #Conflicts: 186000 | #Constraints: 39305
508.86/510.38 c #Conflicts: 187000 | #Constraints: 40305
508.86/510.38 c #Conflicts: 188000 | #Constraints: 41305
508.86/510.38 c #Conflicts: 189000 | #Constraints: 42305
508.86/510.38 c INPROCESSING
508.86/510.38 c GARBAGE COLLECT
508.86/510.38 c #Conflicts: 190000 | #Constraints: 23171
508.86/510.38 c #Conflicts: 191000 | #Constraints: 24171
508.86/510.38 c #Conflicts: 192000 | #Constraints: 25171
508.86/510.38 c #Conflicts: 193000 | #Constraints: 26171
508.86/510.38 c #Conflicts: 194000 | #Constraints: 27171
508.86/510.38 c #Conflicts: 195000 | #Constraints: 28171
508.86/510.38 c #Conflicts: 196000 | #Constraints: 29171
508.86/510.38 c #Conflicts: 197000 | #Constraints: 30171
508.86/510.38 c #Conflicts: 198000 | #Constraints: 31171
508.86/510.38 c #Conflicts: 199000 | #Constraints: 32171
508.86/510.38 c #Conflicts: 200000 | #Constraints: 33171
508.86/510.38 c INPROCESSING
508.86/510.38 c GARBAGE COLLECT
508.86/510.38 c #Conflicts: 201000 | #Constraints: 18900
508.86/510.38 c #Conflicts: 202000 | #Constraints: 19900
508.86/510.38 c #Conflicts: 203000 | #Constraints: 20900
508.86/510.38 c #Conflicts: 204000 | #Constraints: 21900
508.86/510.38 c #Conflicts: 205000 | #Constraints: 22900
508.86/510.38 c #Conflicts: 206000 | #Constraints: 23900
508.86/510.38 c #Conflicts: 207000 | #Constraints: 24900
508.86/510.38 c #Conflicts: 208000 | #Constraints: 25900
508.86/510.38 c #Conflicts: 209000 | #Constraints: 26900
508.86/510.38 c #Conflicts: 210000 | #Constraints: 27900
508.86/510.38 c INPROCESSING
508.86/510.38 c GARBAGE COLLECT
508.86/510.38 c #Conflicts: 211000 | #Constraints: 15954
508.86/510.38 c #Conflicts: 212000 | #Constraints: 16954
893.16/895.76 c #Conflicts: 213000 | #Constraints: 17954
893.16/895.76 c #Conflicts: 214000 | #Constraints: 18954
893.16/895.76 c #Conflicts: 215000 | #Constraints: 19954
893.16/895.76 c #Conflicts: 216000 | #Constraints: 20954
893.16/895.76 c #Conflicts: 217000 | #Constraints: 21954
893.16/895.76 c #Conflicts: 218000 | #Constraints: 22954
893.16/895.76 c #Conflicts: 219000 | #Constraints: 23954
893.16/895.76 c #Conflicts: 220000 | #Constraints: 24954
893.16/895.76 c #Conflicts: 221000 | #Constraints: 25954
893.16/895.76 c INPROCESSING
893.16/895.76 c GARBAGE COLLECT
893.16/895.76 c #Conflicts: 222000 | #Constraints: 15086
893.16/895.76 c #Conflicts: 223000 | #Constraints: 16086
893.16/895.76 c #Conflicts: 224000 | #Constraints: 17086
893.16/895.76 c #Conflicts: 225000 | #Constraints: 18086
893.16/895.76 c #Conflicts: 226000 | #Constraints: 19086
893.16/895.76 c #Conflicts: 227000 | #Constraints: 20086
893.16/895.76 c #Conflicts: 228000 | #Constraints: 21086
893.16/895.76 c #Conflicts: 229000 | #Constraints: 22086
893.16/895.76 c #Conflicts: 230000 | #Constraints: 23086
893.16/895.76 c #Conflicts: 231000 | #Constraints: 24086
893.16/895.76 c #Conflicts: 232000 | #Constraints: 25086
893.16/895.76 c INPROCESSING
893.16/895.76 c GARBAGE COLLECT
893.16/895.76 c #Conflicts: 233000 | #Constraints: 14648
893.16/895.76 c #Conflicts: 234000 | #Constraints: 15648
893.16/895.76 c #Conflicts: 235000 | #Constraints: 16648
893.16/895.76 c #Conflicts: 236000 | #Constraints: 17648
893.16/895.76 c #Conflicts: 237000 | #Constraints: 18648
893.16/895.76 c #Conflicts: 238000 | #Constraints: 19648
893.16/895.76 c #Conflicts: 239000 | #Constraints: 20648
893.16/895.76 c #Conflicts: 240000 | #Constraints: 21648
893.16/895.76 c #Conflicts: 241000 | #Constraints: 22648
893.16/895.76 c #Conflicts: 242000 | #Constraints: 23648
893.16/895.76 c #Conflicts: 243000 | #Constraints: 24648
893.16/895.76 c #Conflicts: 244000 | #Constraints: 25648
893.16/895.76 c #Conflicts: 245000 | #Constraints: 26648
893.16/895.76 c #Conflicts: 246000 | #Constraints: 27648
893.16/895.76 c #Conflicts: 247000 | #Constraints: 28648
893.16/895.76 c #Conflicts: 248000 | #Constraints: 29648
893.16/895.76 c #Conflicts: 249000 | #Constraints: 30648
893.16/895.76 c #Conflicts: 250000 | #Constraints: 31648
893.16/895.76 c #Conflicts: 251000 | #Constraints: 32648
893.16/895.76 c #Conflicts: 252000 | #Constraints: 33648
893.16/895.76 c #Conflicts: 253000 | #Constraints: 34648
893.16/895.76 c #Conflicts: 254000 | #Constraints: 35648
893.16/895.76 c #Conflicts: 255000 | #Constraints: 36648
893.16/895.76 c #Conflicts: 256000 | #Constraints: 37648
893.16/895.76 c #Conflicts: 257000 | #Constraints: 38648
893.16/895.76 c #Conflicts: 258000 | #Constraints: 39648
893.16/895.76 c #Conflicts: 259000 | #Constraints: 40648
893.16/895.76 c #Conflicts: 260000 | #Constraints: 41648
893.16/895.76 c #Conflicts: 261000 | #Constraints: 42648
893.16/895.76 c #Conflicts: 262000 | #Constraints: 43648
893.16/895.76 c #Conflicts: 263000 | #Constraints: 44648
893.16/895.76 c #Conflicts: 264000 | #Constraints: 45648
893.16/895.76 c #Conflicts: 265000 | #Constraints: 46648
893.16/895.76 c #Conflicts: 266000 | #Constraints: 47648
893.16/895.76 c #Conflicts: 267000 | #Constraints: 48648
893.16/895.76 c #Conflicts: 268000 | #Constraints: 49648
893.16/895.76 c #Conflicts: 269000 | #Constraints: 50648
893.16/895.76 c INPROCESSING
893.16/895.76 c GARBAGE COLLECT
893.16/895.76 c #Conflicts: 270000 | #Constraints: 27305
893.16/895.76 c #Conflicts: 271000 | #Constraints: 28305
893.16/895.76 c #Conflicts: 272000 | #Constraints: 29305
893.16/895.76 c #Conflicts: 273000 | #Constraints: 30305
893.16/895.76 c #Conflicts: 274000 | #Constraints: 31305
893.16/895.76 c #Conflicts: 275000 | #Constraints: 32305
893.16/895.76 c #Conflicts: 276000 | #Constraints: 33305
893.16/895.76 c #Conflicts: 277000 | #Constraints: 34305
893.16/895.76 c #Conflicts: 278000 | #Constraints: 35305
893.16/895.76 c #Conflicts: 279000 | #Constraints: 36305
893.16/895.76 c #Conflicts: 280000 | #Constraints: 37305
893.16/895.76 c #Conflicts: 281000 | #Constraints: 38305
893.16/895.76 c #Conflicts: 282000 | #Constraints: 39305
893.16/895.76 c INPROCESSING
893.16/895.76 c GARBAGE COLLECT
893.16/895.76 c #Conflicts: 283000 | #Constraints: 21951
893.16/895.76 c #Conflicts: 284000 | #Constraints: 22951
893.16/895.76 c #Conflicts: 285000 | #Constraints: 23951
893.16/895.76 c #Conflicts: 286000 | #Constraints: 24951
893.16/895.76 c #Conflicts: 287000 | #Constraints: 25951
893.16/895.76 c #Conflicts: 288000 | #Constraints: 26951
1350.62/1354.50 c #Conflicts: 289000 | #Constraints: 27951
1350.62/1354.50 c #Conflicts: 290000 | #Constraints: 28951
1350.62/1354.50 c #Conflicts: 291000 | #Constraints: 29951
1350.62/1354.50 c #Conflicts: 292000 | #Constraints: 30951
1350.62/1354.50 c #Conflicts: 293000 | #Constraints: 31951
1350.62/1354.50 c #Conflicts: 294000 | #Constraints: 32951
1350.62/1354.50 c INPROCESSING
1350.62/1354.50 c GARBAGE COLLECT
1350.62/1354.50 c #Conflicts: 295000 | #Constraints: 18563
1350.62/1354.50 c #Conflicts: 296000 | #Constraints: 19563
1350.62/1354.50 c #Conflicts: 297000 | #Constraints: 20563
1350.62/1354.50 c #Conflicts: 298000 | #Constraints: 21563
1350.62/1354.50 c #Conflicts: 299000 | #Constraints: 22563
1350.62/1354.50 c #Conflicts: 300000 | #Constraints: 23563
1350.62/1354.50 c #Conflicts: 301000 | #Constraints: 24563
1350.62/1354.50 c #Conflicts: 302000 | #Constraints: 25563
1350.62/1354.50 c #Conflicts: 303000 | #Constraints: 26563
1350.62/1354.50 c #Conflicts: 304000 | #Constraints: 27563
1350.62/1354.50 c #Conflicts: 305000 | #Constraints: 28563
1350.62/1354.50 c #Conflicts: 306000 | #Constraints: 29563
1350.62/1354.50 c #Conflicts: 307000 | #Constraints: 30563
1350.62/1354.50 c INPROCESSING
1350.62/1354.50 c GARBAGE COLLECT
1350.62/1354.50 c #Conflicts: 308000 | #Constraints: 17518
1350.62/1354.50 c #Conflicts: 309000 | #Constraints: 18518
1350.62/1354.50 c #Conflicts: 310000 | #Constraints: 19518
1350.62/1354.50 c #Conflicts: 311000 | #Constraints: 20518
1350.62/1354.50 c #Conflicts: 312000 | #Constraints: 21518
1350.62/1354.50 c #Conflicts: 313000 | #Constraints: 22518
1350.62/1354.50 c #Conflicts: 314000 | #Constraints: 23518
1350.62/1354.50 c #Conflicts: 315000 | #Constraints: 24518
1350.62/1354.50 c #Conflicts: 316000 | #Constraints: 25518
1350.62/1354.50 c #Conflicts: 317000 | #Constraints: 26518
1350.62/1354.50 c #Conflicts: 318000 | #Constraints: 27518
1350.62/1354.50 c #Conflicts: 319000 | #Constraints: 28518
1350.62/1354.50 c #Conflicts: 320000 | #Constraints: 29518
1350.62/1354.50 c INPROCESSING
1350.62/1354.50 c GARBAGE COLLECT
1350.62/1354.50 c #Conflicts: 321000 | #Constraints: 17047
1350.62/1354.50 c #Conflicts: 322000 | #Constraints: 18047
1350.62/1354.50 c #Conflicts: 323000 | #Constraints: 19047
1350.62/1354.50 c #Conflicts: 324000 | #Constraints: 20047
1350.62/1354.50 c #Conflicts: 325000 | #Constraints: 21047
1350.62/1354.50 c #Conflicts: 326000 | #Constraints: 22047
1350.62/1354.50 c #Conflicts: 327000 | #Constraints: 23047
1350.62/1354.50 c #Conflicts: 328000 | #Constraints: 24047
1350.62/1354.50 c #Conflicts: 329000 | #Constraints: 25047
1350.62/1354.50 c #Conflicts: 330000 | #Constraints: 26047
1350.62/1354.50 c #Conflicts: 331000 | #Constraints: 27047
1350.62/1354.50 c #Conflicts: 332000 | #Constraints: 28047
1350.62/1354.50 c #Conflicts: 333000 | #Constraints: 29047
1350.62/1354.50 c #Conflicts: 334000 | #Constraints: 30047
1350.62/1354.50 c #Conflicts: 335000 | #Constraints: 31047
1350.62/1354.50 c #Conflicts: 336000 | #Constraints: 32047
1350.62/1354.50 c #Conflicts: 337000 | #Constraints: 33047
1350.62/1354.50 c #Conflicts: 338000 | #Constraints: 34047
1350.62/1354.50 c #Conflicts: 339000 | #Constraints: 35047
1350.62/1354.50 c #Conflicts: 340000 | #Constraints: 36047
1350.62/1354.50 c #Conflicts: 341000 | #Constraints: 37047
1350.62/1354.50 c #Conflicts: 342000 | #Constraints: 38047
1350.62/1354.50 c #Conflicts: 343000 | #Constraints: 39047
1350.62/1354.50 c #Conflicts: 344000 | #Constraints: 40047
1350.62/1354.50 c #Conflicts: 345000 | #Constraints: 41047
1350.62/1354.50 c #Conflicts: 346000 | #Constraints: 42047
1350.62/1354.50 c #Conflicts: 347000 | #Constraints: 43047
1350.62/1354.50 c #Conflicts: 348000 | #Constraints: 44047
1350.62/1354.50 c #Conflicts: 349000 | #Constraints: 45047
1350.62/1354.50 c #Conflicts: 350000 | #Constraints: 46047
1350.62/1354.50 c #Conflicts: 351000 | #Constraints: 47047
1350.62/1354.50 c #Conflicts: 352000 | #Constraints: 48047
1350.62/1354.50 c #Conflicts: 353000 | #Constraints: 49047
1350.62/1354.50 c #Conflicts: 354000 | #Constraints: 50047
1350.62/1354.50 c #Conflicts: 355000 | #Constraints: 51047
1350.62/1354.50 c #Conflicts: 356000 | #Constraints: 52047
1350.62/1354.50 c #Conflicts: 357000 | #Constraints: 53047
1350.62/1354.50 c #Conflicts: 358000 | #Constraints: 54047
1350.62/1354.50 c #Conflicts: 359000 | #Constraints: 55047
1350.62/1354.50 c #Conflicts: 360000 | #Constraints: 56047
1350.62/1354.50 c #Conflicts: 361000 | #Constraints: 57047
1350.62/1354.50 c #Conflicts: 362000 | #Constraints: 58047
1350.62/1354.50 c #Conflicts: 363000 | #Constraints: 59047
1350.62/1354.50 c INPROCESSING
1350.62/1354.50 c GARBAGE COLLECT
1350.62/1354.50 c #Conflicts: 364000 | #Constraints: 31474
1693.13/1697.95 c #Conflicts: 365000 | #Constraints: 32474
1693.13/1697.95 c #Conflicts: 366000 | #Constraints: 33474
1693.13/1697.95 c #Conflicts: 367000 | #Constraints: 34474
1693.13/1697.95 c #Conflicts: 368000 | #Constraints: 35474
1693.13/1697.95 c #Conflicts: 369000 | #Constraints: 36474
1693.13/1697.95 c #Conflicts: 370000 | #Constraints: 37474
1693.13/1697.95 c #Conflicts: 371000 | #Constraints: 38474
1693.13/1697.95 c #Conflicts: 372000 | #Constraints: 39474
1693.13/1697.95 c #Conflicts: 373000 | #Constraints: 40474
1693.13/1697.95 c #Conflicts: 374000 | #Constraints: 41474
1693.13/1697.95 c #Conflicts: 375000 | #Constraints: 42474
1693.13/1697.95 c #Conflicts: 376000 | #Constraints: 43474
1693.13/1697.95 c #Conflicts: 377000 | #Constraints: 44474
1693.13/1697.95 c #Conflicts: 378000 | #Constraints: 45474
1693.13/1697.95 c INPROCESSING
1693.13/1697.95 c GARBAGE COLLECT
1693.13/1697.95 c #Conflicts: 379000 | #Constraints: 25061
1693.13/1697.95 c #Conflicts: 380000 | #Constraints: 26061
1693.13/1697.95 c #Conflicts: 381000 | #Constraints: 27061
1693.13/1697.95 c #Conflicts: 382000 | #Constraints: 28061
1693.13/1697.95 c #Conflicts: 383000 | #Constraints: 29061
1693.13/1697.95 c #Conflicts: 384000 | #Constraints: 30061
1693.13/1697.95 c #Conflicts: 385000 | #Constraints: 31061
1693.13/1697.95 c #Conflicts: 386000 | #Constraints: 32061
1693.13/1697.95 c #Conflicts: 387000 | #Constraints: 33061
1693.13/1697.95 c #Conflicts: 388000 | #Constraints: 34061
1693.13/1697.95 c #Conflicts: 389000 | #Constraints: 35061
1693.13/1697.95 c #Conflicts: 390000 | #Constraints: 36061
1693.13/1697.95 c #Conflicts: 391000 | #Constraints: 37061
1693.13/1697.95 c #Conflicts: 392000 | #Constraints: 38061
1693.13/1697.95 c INPROCESSING
1693.13/1697.95 c GARBAGE COLLECT
1693.13/1697.95 c #Conflicts: 393000 | #Constraints: 21159
1693.13/1697.95 c #Conflicts: 394000 | #Constraints: 22159
1693.13/1697.95 c #Conflicts: 395000 | #Constraints: 23159
1693.13/1697.95 c #Conflicts: 396000 | #Constraints: 24159
1693.13/1697.95 c #Conflicts: 397000 | #Constraints: 25159
1693.13/1697.95 c #Conflicts: 398000 | #Constraints: 26159
1693.13/1697.95 c #Conflicts: 399000 | #Constraints: 27159
1693.13/1697.95 c #Conflicts: 400000 | #Constraints: 28159
1693.13/1697.95 c #Conflicts: 401000 | #Constraints: 29159
1693.13/1697.95 c #Conflicts: 402000 | #Constraints: 30159
1693.13/1697.95 c #Conflicts: 403000 | #Constraints: 31159
1693.13/1697.95 c #Conflicts: 404000 | #Constraints: 32159
1693.13/1697.95 c #Conflicts: 405000 | #Constraints: 33159
1693.13/1697.95 c #Conflicts: 406000 | #Constraints: 34159
1693.13/1697.95 c #Conflicts: 407000 | #Constraints: 35159
1693.13/1697.95 c INPROCESSING
1693.13/1697.95 c GARBAGE COLLECT
1693.13/1697.95 c #Conflicts: 408000 | #Constraints: 19943
1693.13/1697.95 c #Conflicts: 409000 | #Constraints: 20943
1693.13/1697.95 c #Conflicts: 410000 | #Constraints: 21943
1693.13/1697.95 c #Conflicts: 411000 | #Constraints: 22943
1693.13/1697.95 c #Conflicts: 412000 | #Constraints: 23943
1693.13/1697.95 c #Conflicts: 413000 | #Constraints: 24943
1693.13/1697.95 c #Conflicts: 414000 | #Constraints: 25943
1693.13/1697.95 c #Conflicts: 415000 | #Constraints: 26943
1693.13/1697.95 c #Conflicts: 416000 | #Constraints: 27943
1693.13/1697.95 c #Conflicts: 417000 | #Constraints: 28943
1693.13/1697.95 c #Conflicts: 418000 | #Constraints: 29943
1693.13/1697.95 c #Conflicts: 419000 | #Constraints: 30943
1693.13/1697.95 c #Conflicts: 420000 | #Constraints: 31943
1693.13/1697.95 c #Conflicts: 421000 | #Constraints: 32943
1693.13/1697.95 c INPROCESSING
1693.13/1697.95 c GARBAGE COLLECT
1693.13/1697.95 c #Conflicts: 422000 | #Constraints: 18395
1693.13/1697.95 c #Conflicts: 423000 | #Constraints: 19395
1693.13/1697.95 c #Conflicts: 424000 | #Constraints: 20395
1693.13/1697.95 c #Conflicts: 425000 | #Constraints: 21395
1693.13/1697.95 c #Conflicts: 426000 | #Constraints: 22395
1693.13/1697.95 c #Conflicts: 427000 | #Constraints: 23395
1693.13/1697.95 c #Conflicts: 428000 | #Constraints: 24395
1693.13/1697.95 c #Conflicts: 429000 | #Constraints: 25395
1693.13/1697.95 c #Conflicts: 430000 | #Constraints: 26395
1693.13/1697.95 c #Conflicts: 431000 | #Constraints: 27395
1693.13/1697.95 c #Conflicts: 432000 | #Constraints: 28395
1693.13/1697.95 c #Conflicts: 433000 | #Constraints: 29395
1693.13/1697.95 c #Conflicts: 434000 | #Constraints: 30395
1693.13/1697.95 c #Conflicts: 435000 | #Constraints: 31395
1693.13/1697.95 c #Conflicts: 436000 | #Constraints: 32395
1693.13/1697.95 c #Conflicts: 437000 | #Constraints: 33395
1693.13/1697.95 c #Conflicts: 438000 | #Constraints: 34395
1693.13/1697.95 c #Conflicts: 439000 | #Constraints: 35395
1693.13/1697.95 c #Conflicts: 440000 | #Constraints: 36395
1693.13/1697.95 c #Conflicts: 441000 | #Constraints: 37395
2277.85/2284.22 c #Conflicts: 442000 | #Constraints: 38395
2277.85/2284.22 c #Conflicts: 443000 | #Constraints: 39395
2277.85/2284.22 c #Conflicts: 444000 | #Constraints: 40395
2277.85/2284.22 c #Conflicts: 445000 | #Constraints: 41395
2277.85/2284.22 c #Conflicts: 446000 | #Constraints: 42395
2277.85/2284.22 c #Conflicts: 447000 | #Constraints: 43395
2277.85/2284.22 c #Conflicts: 448000 | #Constraints: 44395
2277.85/2284.22 c #Conflicts: 449000 | #Constraints: 45395
2277.85/2284.22 c #Conflicts: 450000 | #Constraints: 46395
2277.85/2284.22 c #Conflicts: 451000 | #Constraints: 47395
2277.85/2284.22 c #Conflicts: 452000 | #Constraints: 48395
2277.85/2284.22 c #Conflicts: 453000 | #Constraints: 49395
2277.85/2284.22 c #Conflicts: 454000 | #Constraints: 50395
2277.85/2284.22 c #Conflicts: 455000 | #Constraints: 51395
2277.85/2284.22 c #Conflicts: 456000 | #Constraints: 52395
2277.85/2284.22 c #Conflicts: 457000 | #Constraints: 53395
2277.85/2284.22 c #Conflicts: 458000 | #Constraints: 54395
2277.85/2284.22 c #Conflicts: 459000 | #Constraints: 55395
2277.85/2284.22 c #Conflicts: 460000 | #Constraints: 56395
2277.85/2284.22 c #Conflicts: 461000 | #Constraints: 57395
2277.85/2284.22 c #Conflicts: 462000 | #Constraints: 58395
2277.85/2284.22 c #Conflicts: 463000 | #Constraints: 59395
2277.85/2284.22 c #Conflicts: 464000 | #Constraints: 60395
2277.85/2284.22 c #Conflicts: 465000 | #Constraints: 61395
2277.85/2284.22 c #Conflicts: 466000 | #Constraints: 62395
2277.85/2284.22 c #Conflicts: 467000 | #Constraints: 63395
2277.85/2284.22 c #Conflicts: 468000 | #Constraints: 64395
2277.85/2284.22 c #Conflicts: 469000 | #Constraints: 65395
2277.85/2284.22 c #Conflicts: 470000 | #Constraints: 66395
2277.85/2284.22 c #Conflicts: 471000 | #Constraints: 67395
2277.85/2284.22 c INPROCESSING
2277.85/2284.22 c GARBAGE COLLECT
2277.85/2284.22 c #Conflicts: 472000 | #Constraints: 35610
2277.85/2284.22 c #Conflicts: 473000 | #Constraints: 36610
2277.85/2284.22 c #Conflicts: 474000 | #Constraints: 37610
2277.85/2284.22 c #Conflicts: 475000 | #Constraints: 38610
2277.85/2284.22 c #Conflicts: 476000 | #Constraints: 39610
2277.85/2284.22 c #Conflicts: 477000 | #Constraints: 40610
2277.85/2284.22 c #Conflicts: 478000 | #Constraints: 41610
2277.85/2284.22 c #Conflicts: 479000 | #Constraints: 42610
2277.85/2284.22 c #Conflicts: 480000 | #Constraints: 43610
2277.85/2284.22 c #Conflicts: 481000 | #Constraints: 44610
2277.85/2284.22 c #Conflicts: 482000 | #Constraints: 45610
2277.85/2284.22 c #Conflicts: 483000 | #Constraints: 46610
2277.85/2284.22 c #Conflicts: 484000 | #Constraints: 47610
2277.85/2284.22 c #Conflicts: 485000 | #Constraints: 48610
2277.85/2284.22 c #Conflicts: 486000 | #Constraints: 49610
2277.85/2284.22 c #Conflicts: 487000 | #Constraints: 50610
2277.85/2284.22 c #Conflicts: 488000 | #Constraints: 51610
2277.85/2284.22 c INPROCESSING
2277.85/2284.22 c GARBAGE COLLECT
2277.85/2284.22 c #Conflicts: 489000 | #Constraints: 28138
2277.85/2284.22 c #Conflicts: 490000 | #Constraints: 29138
2277.85/2284.22 c #Conflicts: 491000 | #Constraints: 30138
2277.85/2284.22 c #Conflicts: 492000 | #Constraints: 31138
2277.85/2284.22 c #Conflicts: 493000 | #Constraints: 32138
2277.85/2284.22 c #Conflicts: 494000 | #Constraints: 33138
2277.85/2284.22 c #Conflicts: 495000 | #Constraints: 34138
2277.85/2284.22 c #Conflicts: 496000 | #Constraints: 35138
2277.85/2284.22 c #Conflicts: 497000 | #Constraints: 36138
2277.85/2284.22 c #Conflicts: 498000 | #Constraints: 37138
2277.85/2284.22 c #Conflicts: 499000 | #Constraints: 38138
2277.85/2284.22 c #Conflicts: 500000 | #Constraints: 39138
2277.85/2284.22 c #Conflicts: 501000 | #Constraints: 40138
2277.85/2284.22 c #Conflicts: 502000 | #Constraints: 41138
2277.85/2284.22 c #Conflicts: 503000 | #Constraints: 42138
2277.85/2284.22 c #Conflicts: 504000 | #Constraints: 43138
2277.85/2284.22 c INPROCESSING
2277.85/2284.22 c GARBAGE COLLECT
2277.85/2284.22 c #Conflicts: 505000 | #Constraints: 23759
2277.85/2284.22 c #Conflicts: 506000 | #Constraints: 24759
2277.85/2284.22 c #Conflicts: 507000 | #Constraints: 25759
2277.85/2284.22 c #Conflicts: 508000 | #Constraints: 26759
2277.85/2284.22 c #Conflicts: 509000 | #Constraints: 27759
2277.85/2284.22 c #Conflicts: 510000 | #Constraints: 28759
2277.85/2284.22 c #Conflicts: 511000 | #Constraints: 29759
2277.85/2284.22 c #Conflicts: 512000 | #Constraints: 30759
2277.85/2284.22 c #Conflicts: 513000 | #Constraints: 31759
2277.85/2284.22 c #Conflicts: 514000 | #Constraints: 32759
2277.85/2284.22 c #Conflicts: 515000 | #Constraints: 33759
2277.85/2284.22 c #Conflicts: 516000 | #Constraints: 34759
2277.85/2284.22 c #Conflicts: 517000 | #Constraints: 35759
2277.85/2284.22 c #Conflicts: 518000 | #Constraints: 36759
2925.89/2934.04 c #Conflicts: 519000 | #Constraints: 37759
2925.89/2934.04 c #Conflicts: 520000 | #Constraints: 38759
2925.89/2934.04 c INPROCESSING
2925.89/2934.04 c GARBAGE COLLECT
2925.89/2934.04 c #Conflicts: 521000 | #Constraints: 21321
2925.89/2934.04 c #Conflicts: 522000 | #Constraints: 22321
2925.89/2934.04 c #Conflicts: 523000 | #Constraints: 23321
2925.89/2934.04 c #Conflicts: 524000 | #Constraints: 24321
2925.89/2934.04 c #Conflicts: 525000 | #Constraints: 25321
2925.89/2934.04 c #Conflicts: 526000 | #Constraints: 26321
2925.89/2934.04 c #Conflicts: 527000 | #Constraints: 27321
2925.89/2934.04 c #Conflicts: 528000 | #Constraints: 28321
2925.89/2934.04 c #Conflicts: 529000 | #Constraints: 29321
2925.89/2934.04 c #Conflicts: 530000 | #Constraints: 30321
2925.89/2934.04 c #Conflicts: 531000 | #Constraints: 31321
2925.89/2934.04 c #Conflicts: 532000 | #Constraints: 32321
2925.89/2934.04 c #Conflicts: 533000 | #Constraints: 33321
2925.89/2934.04 c #Conflicts: 534000 | #Constraints: 34321
2925.89/2934.04 c #Conflicts: 535000 | #Constraints: 35321
2925.89/2934.04 c #Conflicts: 536000 | #Constraints: 36321
2925.89/2934.04 c #Conflicts: 537000 | #Constraints: 37321
2925.89/2934.04 c INPROCESSING
2925.89/2934.04 c GARBAGE COLLECT
2925.89/2934.04 c #Conflicts: 538000 | #Constraints: 20762
2925.89/2934.04 c #Conflicts: 539000 | #Constraints: 21762
2925.89/2934.04 c #Conflicts: 540000 | #Constraints: 22762
2925.89/2934.04 c #Conflicts: 541000 | #Constraints: 23762
2925.89/2934.04 c #Conflicts: 542000 | #Constraints: 24762
2925.89/2934.04 c #Conflicts: 543000 | #Constraints: 25762
2925.89/2934.04 c #Conflicts: 544000 | #Constraints: 26762
2925.89/2934.04 c #Conflicts: 545000 | #Constraints: 27762
2925.89/2934.04 c #Conflicts: 546000 | #Constraints: 28762
2925.89/2934.04 c #Conflicts: 547000 | #Constraints: 29762
2925.89/2934.04 c #Conflicts: 548000 | #Constraints: 30762
2925.89/2934.04 c #Conflicts: 549000 | #Constraints: 31762
2925.89/2934.04 c #Conflicts: 550000 | #Constraints: 32762
2925.89/2934.04 c #Conflicts: 551000 | #Constraints: 33762
2925.89/2934.04 c #Conflicts: 552000 | #Constraints: 34762
2925.89/2934.04 c #Conflicts: 553000 | #Constraints: 35762
2925.89/2934.04 c #Conflicts: 554000 | #Constraints: 36762
2925.89/2934.04 c #Conflicts: 555000 | #Constraints: 37762
2925.89/2934.04 c #Conflicts: 556000 | #Constraints: 38762
2925.89/2934.04 c #Conflicts: 557000 | #Constraints: 39762
2925.89/2934.04 c #Conflicts: 558000 | #Constraints: 40762
2925.89/2934.04 c #Conflicts: 559000 | #Constraints: 41762
2925.89/2934.04 c #Conflicts: 560000 | #Constraints: 42762
2925.89/2934.04 c #Conflicts: 561000 | #Constraints: 43762
2925.89/2934.04 c #Conflicts: 562000 | #Constraints: 44762
2925.89/2934.04 c #Conflicts: 563000 | #Constraints: 45762
2925.89/2934.04 c #Conflicts: 564000 | #Constraints: 46762
2925.89/2934.04 c #Conflicts: 565000 | #Constraints: 47762
2925.89/2934.04 c #Conflicts: 566000 | #Constraints: 48762
2925.89/2934.04 c #Conflicts: 567000 | #Constraints: 49762
2925.89/2934.04 c #Conflicts: 568000 | #Constraints: 50762
2925.89/2934.04 c #Conflicts: 569000 | #Constraints: 51762
2925.89/2934.04 c #Conflicts: 570000 | #Constraints: 52762
2925.89/2934.04 c #Conflicts: 571000 | #Constraints: 53762
2925.89/2934.04 c #Conflicts: 572000 | #Constraints: 54762
2925.89/2934.04 c #Conflicts: 573000 | #Constraints: 55762
2925.89/2934.04 c #Conflicts: 574000 | #Constraints: 56762
2925.89/2934.04 c #Conflicts: 575000 | #Constraints: 57762
2925.89/2934.04 c #Conflicts: 576000 | #Constraints: 58762
2925.89/2934.04 c #Conflicts: 577000 | #Constraints: 59762
2925.89/2934.04 c #Conflicts: 578000 | #Constraints: 60762
2925.89/2934.04 c #Conflicts: 579000 | #Constraints: 61762
2925.89/2934.04 c #Conflicts: 580000 | #Constraints: 62762
2925.89/2934.04 c #Conflicts: 581000 | #Constraints: 63762
2925.89/2934.04 c #Conflicts: 582000 | #Constraints: 64762
2925.89/2934.04 c #Conflicts: 583000 | #Constraints: 65762
2925.89/2934.04 c #Conflicts: 584000 | #Constraints: 66762
2925.89/2934.04 c #Conflicts: 585000 | #Constraints: 67762
2925.89/2934.04 c #Conflicts: 586000 | #Constraints: 68762
2925.89/2934.04 c #Conflicts: 587000 | #Constraints: 69762
2925.89/2934.04 c #Conflicts: 588000 | #Constraints: 70762
2925.89/2934.04 c #Conflicts: 589000 | #Constraints: 71762
2925.89/2934.04 c #Conflicts: 590000 | #Constraints: 72762
2925.89/2934.04 c #Conflicts: 591000 | #Constraints: 73762
2925.89/2934.04 c #Conflicts: 592000 | #Constraints: 74762
2925.89/2934.04 c #Conflicts: 593000 | #Constraints: 75762
2925.89/2934.04 c #Conflicts: 594000 | #Constraints: 76762
2925.89/2934.04 c INPROCESSING
2925.89/2934.04 c GARBAGE COLLECT
3472.10/3481.82 c #Conflicts: 595000 | #Constraints: 40724
3472.10/3481.82 c #Conflicts: 596000 | #Constraints: 41724
3472.10/3481.82 c #Conflicts: 597000 | #Constraints: 42724
3472.10/3481.82 c #Conflicts: 598000 | #Constraints: 43724
3472.10/3481.82 c #Conflicts: 599000 | #Constraints: 44724
3472.10/3481.82 c #Conflicts: 600000 | #Constraints: 45724
3472.10/3481.82 c #Conflicts: 601000 | #Constraints: 46724
3472.10/3481.82 c #Conflicts: 602000 | #Constraints: 47724
3472.10/3481.82 c #Conflicts: 603000 | #Constraints: 48724
3472.10/3481.82 c #Conflicts: 604000 | #Constraints: 49724
3472.10/3481.82 c #Conflicts: 605000 | #Constraints: 50724
3472.10/3481.82 c #Conflicts: 606000 | #Constraints: 51724
3472.10/3481.82 c #Conflicts: 607000 | #Constraints: 52724
3472.10/3481.82 c #Conflicts: 608000 | #Constraints: 53724
3472.10/3481.82 c #Conflicts: 609000 | #Constraints: 54724
3472.10/3481.82 c #Conflicts: 610000 | #Constraints: 55724
3472.10/3481.82 c #Conflicts: 611000 | #Constraints: 56724
3472.10/3481.82 c #Conflicts: 612000 | #Constraints: 57724
3472.10/3481.82 c INPROCESSING
3472.10/3481.82 c GARBAGE COLLECT
3472.10/3481.82 c #Conflicts: 613000 | #Constraints: 31226
3472.10/3481.82 c #Conflicts: 614000 | #Constraints: 32226
3472.10/3481.82 c #Conflicts: 615000 | #Constraints: 33226
3472.10/3481.82 c #Conflicts: 616000 | #Constraints: 34226
3472.10/3481.82 c #Conflicts: 617000 | #Constraints: 35226
3472.10/3481.82 c #Conflicts: 618000 | #Constraints: 36226
3472.10/3481.82 c #Conflicts: 619000 | #Constraints: 37226
3472.10/3481.82 c #Conflicts: 620000 | #Constraints: 38226
3472.10/3481.82 c #Conflicts: 621000 | #Constraints: 39226
3472.10/3481.82 c #Conflicts: 622000 | #Constraints: 40226
3472.10/3481.82 c #Conflicts: 623000 | #Constraints: 41226
3472.10/3481.82 c #Conflicts: 624000 | #Constraints: 42226
3472.10/3481.82 c #Conflicts: 625000 | #Constraints: 43226
3472.10/3481.82 c #Conflicts: 626000 | #Constraints: 44226
3472.10/3481.82 c #Conflicts: 627000 | #Constraints: 45226
3472.10/3481.82 c #Conflicts: 628000 | #Constraints: 46226
3472.10/3481.82 c #Conflicts: 629000 | #Constraints: 47226
3472.10/3481.82 c #Conflicts: 630000 | #Constraints: 48226
3472.10/3481.82 c INPROCESSING
3472.10/3481.82 c GARBAGE COLLECT
3472.10/3481.82 c #Conflicts: 631000 | #Constraints: 26374
3472.10/3481.82 c #Conflicts: 632000 | #Constraints: 27374
3472.10/3481.82 c #Conflicts: 633000 | #Constraints: 28374
3472.10/3481.82 c #Conflicts: 634000 | #Constraints: 29374
3472.10/3481.82 c #Conflicts: 635000 | #Constraints: 30374
3472.10/3481.82 c #Conflicts: 636000 | #Constraints: 31374
3472.10/3481.82 c #Conflicts: 637000 | #Constraints: 32374
3472.10/3481.82 c #Conflicts: 638000 | #Constraints: 33374
3472.10/3481.82 c #Conflicts: 639000 | #Constraints: 34374
3472.10/3481.82 c #Conflicts: 640000 | #Constraints: 35374
3472.10/3481.82 c #Conflicts: 641000 | #Constraints: 36374
3472.10/3481.82 c #Conflicts: 642000 | #Constraints: 37374
3472.10/3481.82 c #Conflicts: 643000 | #Constraints: 38374
3472.10/3481.82 c #Conflicts: 644000 | #Constraints: 39374
3472.10/3481.82 c #Conflicts: 645000 | #Constraints: 40374
3472.10/3481.82 c #Conflicts: 646000 | #Constraints: 41374
3472.10/3481.82 c #Conflicts: 647000 | #Constraints: 42374
3472.10/3481.82 c #Conflicts: 648000 | #Constraints: 43374
3472.10/3481.82 c INPROCESSING
3472.10/3481.82 c GARBAGE COLLECT
3472.10/3481.82 c #Conflicts: 649000 | #Constraints: 23705
3472.10/3481.82 c #Conflicts: 650000 | #Constraints: 24705
3472.10/3481.82 c #Conflicts: 651000 | #Constraints: 25705
3472.10/3481.82 c #Conflicts: 652000 | #Constraints: 26705
3472.10/3481.82 c #Conflicts: 653000 | #Constraints: 27705
3472.10/3481.82 c #Conflicts: 654000 | #Constraints: 28705
3472.10/3481.82 c #Conflicts: 655000 | #Constraints: 29705
3472.10/3481.82 c #Conflicts: 656000 | #Constraints: 30705
3472.10/3481.82 c #Conflicts: 657000 | #Constraints: 31705
3472.10/3481.82 c #Conflicts: 658000 | #Constraints: 32705
3472.10/3481.82 c #Conflicts: 659000 | #Constraints: 33705
3472.10/3481.82 c #Conflicts: 660000 | #Constraints: 34705
3472.10/3481.82 c #Conflicts: 661000 | #Constraints: 35705
3472.10/3481.82 c #Conflicts: 662000 | #Constraints: 36705
3472.10/3481.82 c #Conflicts: 663000 | #Constraints: 37705
3472.10/3481.82 c #Conflicts: 664000 | #Constraints: 38705
3472.10/3481.82 c #Conflicts: 665000 | #Constraints: 39705
3472.10/3481.82 c #Conflicts: 666000 | #Constraints: 40705
3472.10/3481.82 c #Conflicts: 667000 | #Constraints: 41705
3472.10/3481.82 c INPROCESSING
3472.10/3481.82 c GARBAGE COLLECT
3472.10/3481.82 c #Conflicts: 668000 | #Constraints: 23123
3472.10/3481.82 c #Conflicts: 669000 | #Constraints: 24123
3472.10/3481.82 c #Conflicts: 670000 | #Constraints: 25123
3472.10/3481.82 c #Conflicts: 671000 | #Constraints: 26123
3600.03/3610.11 c #Conflicts: 672000 | #Constraints: 27123
3600.03/3610.11 c #Conflicts: 673000 | #Constraints: 28123
3600.03/3610.11 c #Conflicts: 674000 | #Constraints: 29123
3600.03/3610.11 c #Conflicts: 675000 | #Constraints: 30123
3600.03/3610.11 c #Conflicts: 676000 | #Constraints: 31123
3600.03/3610.11 c #Conflicts: 677000 | #Constraints: 32123
3600.03/3610.11 c #Conflicts: 678000 | #Constraints: 33123
3600.03/3610.11 c #Conflicts: 679000 | #Constraints: 34123
3600.03/3610.11 c #Conflicts: 680000 | #Constraints: 35123
3600.03/3610.11 c #Conflicts: 681000 | #Constraints: 36123
3600.03/3610.11 c #Conflicts: 682000 | #Constraints: 37123
3600.03/3610.11 c #Conflicts: 683000 | #Constraints: 38123
3600.03/3610.11 c #Conflicts: 684000 | #Constraints: 39123
3600.03/3610.11 c #Conflicts: 685000 | #Constraints: 40123
3600.03/3610.11 c #Conflicts: 686000 | #Constraints: 41123
3600.03/3610.11 c #Conflicts: 687000 | #Constraints: 42123
3600.03/3610.11 c #Conflicts: 688000 | #Constraints: 43123
3600.03/3610.11 c #Conflicts: 689000 | #Constraints: 44123
3600.03/3610.11 c #Conflicts: 690000 | #Constraints: 45123
3600.03/3610.11 c #Conflicts: 691000 | #Constraints: 46123
3600.03/3610.11 c Program interrupted by user.
3600.03/3610.11 c cpu time 3591.82 s
3600.03/3610.11 c deterministic time 389498905306 3.89e+11
3600.03/3610.11 c optimization time 140.628 s
3600.03/3610.11 c total solve time 3451.19 s
3600.03/3610.11 c core-guided solve time 3451.19 s
3600.03/3610.11 c propagation time 3037.56 s
3600.03/3610.11 c conflict analysis time 533.076 s
3600.03/3610.11 c propagations 263722633
3600.03/3610.11 c resolve steps 21056561
3600.03/3610.11 c decisions 5370716
3600.03/3610.11 c conflicts 691242
3600.03/3610.11 c restarts 1520
3600.03/3610.11 c inprocessing phases 48
3600.03/3610.11 c input clauses 1996
3600.03/3610.11 c input cardinalities 299
3600.03/3610.11 c input general constraints 62
3600.03/3610.11 c input average constraint length 13.40
3600.03/3610.11 c input average constraint degree 5.21
3600.03/3610.11 c learned clauses 295187
3600.03/3610.11 c learned cardinalities 12161
3600.03/3610.11 c learned general constraints 383893
3600.03/3610.11 c learned average constraint length 302.72
3600.03/3610.11 c learned average constraint degree 8938079.43
3600.03/3610.11 c watched constraints 312697
3600.03/3610.11 c counting constraints 71258
3600.03/3610.11 c gcd simplifications 2975
3600.03/3610.11 c detected cardinalities 49
3600.03/3610.11 c weakened non-implied lits 48298353
3600.03/3610.11 c weakened non-implying lits 88100
3600.03/3610.11 c original variables 1835
3600.03/3610.11 c clausal propagations 84229403
3600.03/3610.11 c cardinality propagations 108603795
3600.03/3610.11 c watched propagations 18431866
3600.03/3610.11 c counting propagations 51686149
3600.03/3610.11 c watch lookups 59488451724
3600.03/3610.11 c watch backjump lookups 51408648433
3600.03/3610.11 c watch checks 263650390279
3600.03/3610.11 c propagation checks 13545170877
3600.03/3610.11 c constraint additions 867367171
3600.03/3610.11 c trail pops 269783472
3600.03/3610.11 c formula constraints 2149
3600.03/3610.11 c learned constraints 691241
3600.03/3610.11 c bound constraints 22
3600.03/3610.11 c core-guided constraints 186
3600.03/3610.11 c encountered formula constraints 9405304
3600.03/3610.11 c encountered learned constraints 12325364
3600.03/3610.11 c encountered bound constraints 303
3600.03/3610.11 c encountered core-guided constraints 16832
3600.03/3610.11 c LP total time 0 s
3600.03/3610.11 c LP solve time 0 s
3600.03/3610.11 c LP constraints added 0
3600.03/3610.11 c LP constraints removed 0
3600.03/3610.11 c LP pivots internal 0
3600.03/3610.11 c LP pivots root 0
3600.03/3610.11 c LP calls 0
3600.03/3610.11 c LP optimalities 0
3600.03/3610.11 c LP no pivot count 0
3600.03/3610.11 c LP infeasibilities 0
3600.03/3610.11 c LP valid Farkas constraints 0
3600.03/3610.11 c LP learned Farkas constraints 0
3600.03/3610.11 c LP basis resets 0
3600.03/3610.11 c LP cycling count 0
3600.03/3610.11 c LP singular count 0
3600.03/3610.11 c LP no primal count 0
3600.03/3610.11 c LP no farkas count 0
3600.03/3610.11 c LP other issue count 0
3600.03/3610.11 c LP Gomory cuts 0
3600.03/3610.11 c LP learned cuts 0
3600.03/3610.11 c LP deleted cuts 0
3600.03/3610.11 c LP encountered Gomory constraints 0
3600.03/3610.11 c LP encountered Farkas constraints 0
3600.03/3610.11 c LP encountered learned Farkas constraints 0
3600.03/3610.11 c CG auxiliary variables introduced 66
3600.03/3610.11 c CG solutions found 1
3600.03/3610.11 c CG cores constructed 18
3600.03/3610.11 c CG core cardinality constraints returned 0
3600.03/3610.11 c CG unit cores 0
3600.03/3610.11 c CG single cores 18
3600.03/3610.11 c CG blocks removed during cardinality reduction 0
3600.03/3610.11 c CG first core best 0
3600.03/3610.11 c CG decision core best 0
3600.03/3610.11 c CG core reduction tie 0
3600.03/3610.11 c CG core degree average 1.00
3600.03/3610.11 c CG core slack average 8.44
3600.03/3610.11 c CG exhausted 7
3600.03/3610.11 c CG exhaust time 2.29567 s
3600.03/3610.11 c CG trimmed 3
3600.03/3610.11 c CG trim time 0.001833 s
3600.03/3610.11 c CG minimized 0
3600.03/3610.11 c CG minimize time 0 s
3600.03/3610.11 c CG am1 prop time 0.000204 s
3600.03/3610.11 c CG # am1s reformulated 0
3600.03/3610.11 c CG lower bound derived from am1s 0
3600.03/3610.11 c CG # clausal cores 17
3600.03/3610.11 c CG # cardinality cores 0
3600.03/3610.11 c CG # pb cores 1
3600.03/3610.11 c CG # pb reforms 0
3600.03/3610.11 c CG # cores discarded because of pb reform 0
3600.03/3610.11 d LOWERBOUND -95
3600.03/3610.11 d NCORES 18
3600.03/3610.11 d NPBCORES 1
3600.03/3610.11 d NPBREFORM 0
3600.03/3610.11 d NTRIMMED 3
3600.03/3610.11 d NEXHAUSTED 7
3600.03/3610.11 d NAM1S 0
3600.03/3610.11 d AM1LB 0
3600.03/3610.11 o -23
3600.03/3610.11 s SATISFIABLE
3600.03/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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835
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: 63665 MiB (62786 MiB free)
memory of node 1: 64507 MiB (60741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502412-1751424224/watcher-4502412-1751424224 -o /tmp/evaluation-result-4502412-1751424224/solver-4502412-1751424224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64434 --watchdog 3760 pb-oll-rs HOME/instance-4502412-1751424224.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64572, runsolver pid=64568
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 1.08 1.11 1.09 5/262 64579
/proc/meminfo: memFree=126487260/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=21280 memory=9064 CPUtime=0.08 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 660 0 0 0 7 1 0 0 20 0 1 0 58100186 21790720 2266 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 5320 2266 1312 243 0 1569 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21280 KiB
Current children cumulated memory: 9064 KiB
[startup+0.205477 s]*
/proc/loadavg: 1.08 1.11 1.09 5/264 64584
/proc/meminfo: memFree=126485308/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=21668 memory=9448 CPUtime=0.19 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 757 0 0 0 17 2 0 0 20 0 1 0 58100186 22188032 2362 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 5417 2362 1312 243 0 1666 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21668 KiB
Current children cumulated memory: 9448 KiB
[startup+0.304622 s]*
/proc/loadavg: 1.08 1.11 1.09 5/264 64584
/proc/meminfo: memFree=126481212/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=22056 memory=9832 CPUtime=0.29 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 854 0 0 0 27 2 0 0 20 0 1 0 58100186 22585344 2458 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 5514 2458 1312 243 0 1763 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22056 KiB
Current children cumulated memory: 9832 KiB
[startup+0.700108 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 64584
/proc/meminfo: memFree=126481212/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=23860 memory=13780 CPUtime=0.68 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 1305 0 0 0 65 3 0 0 20 0 1 0 58100186 24432640 3445 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 5965 3445 1312 243 0 2214 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23860 KiB
Current children cumulated memory: 13780 KiB
[startup+1.5001 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 64584
/proc/meminfo: memFree=126438580/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=25176 memory=15060 CPUtime=1.47 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 1627 0 0 0 142 5 0 0 20 0 1 0 58100186 25780224 3765 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 6294 3765 1312 243 0 2543 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 25176 KiB
Current children cumulated memory: 15060 KiB
[startup+3.10526 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 64584
/proc/meminfo: memFree=126328652/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=30432 memory=18388 CPUtime=3.08 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 2476 0 0 0 298 10 0 0 20 0 1 0 58100186 31162368 4597 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 7608 4597 1312 243 0 3857 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 30432 KiB
Current children cumulated memory: 18388 KiB
[startup+6.30013 s]
/proc/loadavg: 1.39 1.17 1.11 5/264 64584
/proc/meminfo: memFree=126147228/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=33576 memory=22868 CPUtime=6.26 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 3609 0 0 0 610 16 0 0 20 0 1 0 58100186 34381824 5717 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 8394 5717 1312 243 0 4643 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 33576 KiB
Current children cumulated memory: 22868 KiB
[startup+12.7001 s]
/proc/loadavg: 1.60 1.22 1.12 5/264 64584
/proc/meminfo: memFree=125809296/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=42220 memory=31292 CPUtime=12.65 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 5224 0 0 0 1238 27 0 0 20 0 1 0 58100186 43233280 7823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 10555 7823 1312 243 0 6804 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42220 KiB
Current children cumulated memory: 31292 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.35 1.17 5/264 64584
/proc/meminfo: memFree=125476624/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=71372 memory=54200 CPUtime=25.41 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 8933 0 0 0 2506 35 0 0 20 0 1 0 58100186 73084928 13550 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 17843 13550 1312 243 0 14092 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 54200 KiB
[startup+51.1054 s]
/proc/loadavg: 2.85 1.58 1.25 5/264 64585
/proc/meminfo: memFree=125184480/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=71656 memory=54328 CPUtime=50.94 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 9018 0 0 0 5035 59 0 0 20 0 1 0 58100186 73375744 13582 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 17914 13582 1312 243 0 14163 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 71656 KiB
Current children cumulated memory: 54328 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.96 1.40 5/264 64586
/proc/meminfo: memFree=124502072/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=106848 memory=86920 CPUtime=102 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 13098 0 0 0 10107 93 0 0 20 0 1 0 58100186 109412352 21730 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 26712 21730 1312 243 0 22961 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 106848 KiB
Current children cumulated memory: 86920 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.35 1.57 5/265 64589
/proc/meminfo: memFree=124179820/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=113220 memory=92160 CPUtime=161.84 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 14536 0 0 0 16059 125 0 0 20 0 1 0 58100186 115937280 23040 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 28305 23040 1312 243 0 24554 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 113220 KiB
Current children cumulated memory: 92160 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.68 1.73 5/265 64591
/proc/meminfo: memFree=123801036/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=150956 memory=106440 CPUtime=221.67 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 16164 0 0 0 22024 143 0 0 20 0 1 0 58100186 154578944 26610 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 37739 26610 1312 243 0 33988 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 150956 KiB
Current children cumulated memory: 106440 KiB
[startup+282.3 s]
/proc/loadavg: 4.37 3.03 1.92 5/266 64598
/proc/meminfo: memFree=123646068/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=150924 memory=106440 CPUtime=281.51 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 16247 0 0 0 27978 173 0 0 20 0 1 0 58100186 154546176 26610 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 37731 26610 1312 243 0 33980 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 150924 KiB
Current children cumulated memory: 106440 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.21 2.05 5/264 64600
/proc/meminfo: memFree=123249524/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=152236 memory=107464 CPUtime=341.34 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 16560 0 0 0 33943 191 0 0 20 0 1 0 58100186 155889664 26866 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 38059 26866 1312 243 0 34308 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 152236 KiB
Current children cumulated memory: 107464 KiB
[startup+402.3 s]
/proc/loadavg: 4.48 3.48 2.22 5/264 64602
/proc/meminfo: memFree=123113256/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=161520 memory=127648 CPUtime=401.17 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 18521 0 0 0 39913 204 0 0 20 0 1 0 58100186 165396480 31912 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 40380 31912 1312 243 0 36629 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 161520 KiB
Current children cumulated memory: 127648 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.59 2.33 5/263 64604
/proc/meminfo: memFree=122934916/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=164464 memory=136340 CPUtime=460.99 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 19318 0 0 0 45882 217 0 0 20 0 1 0 58100186 168411136 34085 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 41116 34085 1312 243 0 37365 0
################
# More data... #
################
Current children cumulated memory: 254684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/264 64734
/proc/meminfo: memFree=119209228/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=356600 memory=264728 CPUtime=2914.21 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 32997 0 0 0 290738 683 0 0 20 0 1 0 58100186 365158400 66182 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89150 66182 1312 243 0 85399 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 356600 KiB
Current children cumulated memory: 264728 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/263 64736
/proc/meminfo: memFree=119173936/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267288 CPUtime=2974.04 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33305 0 0 0 296713 691 0 0 20 0 1 0 58100186 365617152 66822 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66822 1312 243 0 85511 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/264 64740
/proc/meminfo: memFree=119135800/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267288 CPUtime=3033.87 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33306 0 0 0 302688 699 0 0 20 0 1 0 58100186 365617152 66822 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66822 1312 243 0 85511 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267288 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/264 64742
/proc/meminfo: memFree=119006732/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267288 CPUtime=3093.69 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33306 0 0 0 308661 708 0 0 20 0 1 0 58100186 365617152 66822 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66822 1312 243 0 85511 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.35 4.20 4.06 5/264 64744
/proc/meminfo: memFree=119018044/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3153.52 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33465 0 0 0 314633 719 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.06 5/264 64746
/proc/meminfo: memFree=118998844/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3213.35 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33465 0 0 0 320603 732 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.19 4.07 5/265 64753
/proc/meminfo: memFree=118966228/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3273.17 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33611 0 0 0 326573 744 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.07 5/263 64755
/proc/meminfo: memFree=118803420/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3333 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33611 0 0 0 332541 759 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.08 5/263 64757
/proc/meminfo: memFree=118714108/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3392.83 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33750 0 0 0 338510 773 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.08 5/263 64759
/proc/meminfo: memFree=118714244/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3452.65 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33750 0 0 0 344477 788 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.08 5/263 64763
/proc/meminfo: memFree=118716140/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3512.48 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33886 0 0 0 350441 807 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.08 5/263 64765
/proc/meminfo: memFree=118731644/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3572.32 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33886 0 0 0 356415 817 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.05 4.11 4.08 5/263 64812
/proc/meminfo: memFree=120797128/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3600.03 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33886 0 0 0 359181 822 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 64572 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.83 s, system=8.23346 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.05 4.11 4.08 5/263 64812
/proc/meminfo: memFree=120797128/131249996 swapFree=33010684/33010684
[pid=64572] ppid=64568 vsize=357048 memory=267292 CPUtime=3600.03 cores=0,2
/proc/64572/stat : 64572 (pb-oll-rs) R 64568 64572 64424 0 -1 4194304 33886 0 0 0 359181 822 0 0 20 0 1 0 58100186 365617152 66823 18446744073709551615 4218880 5211445 140733981788448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37318656 140733981796764 140733981796841 140733981796841 140733981802443 0
/proc/64572/statm: 89262 66823 1312 243 0 85511 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 357048 KiB
Current children cumulated memory: 267292 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.06
CPU user time (s): 3591.83
CPU system time (s): 8.23346
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 357988
Max. memory (cumulated for all children) (KiB): 267916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.83
system time used= 8.23346
maximum resident set size= 267928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33901
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= 151
involuntary context switches= 4747
# summary of solver processes directly reported to runsolver:
# pid: 64572
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.83
# total CPU system time (s): 8.23346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54865 second user time and 15.7073 second system time
The end
Begin job on nodeC017 at 2025-07-02 04:43:44
IDJOB=4502412
IDBENCH=155330
IDSOLVER=3345
FILE ID=nodeC017/4502412-1751424224
RUNJOBID= nodeC017-1751424222-64434
SLURM_JOB_ID= 9598356
Free space on /tmp= 432888 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502412-1751424224/watcher-4502412-1751424224 -o /tmp/evaluation-result-4502412-1751424224/solver-4502412-1751424224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64434 --watchdog 3760 pb-oll-rs HOME/instance-4502412-1751424224.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab
RANDOM SEED=1833394414
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.862
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3703.012
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.408
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.226
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.050
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.757
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.439
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126492360 kB
MemAvailable: 129665668 kB
Buffers: 2380 kB
Cached: 3942792 kB
SwapCached: 0 kB
Active: 450196 kB
Inactive: 3625472 kB
Active(anon): 148584 kB
Inactive(anon): 12 kB
Active(file): 301612 kB
Inactive(file): 3625460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21612 kB
Writeback: 0 kB
AnonPages: 133872 kB
Mapped: 105976 kB
Shmem: 18080 kB
KReclaimable: 170548 kB
Slab: 260420 kB
SReclaimable: 170548 kB
SUnreclaim: 89872 kB
KernelStack: 4240 kB
PageTables: 3140 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 448392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC017 at 2025-07-02 05:43:55