0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 250 #constraints 1
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -42465 @ 0
0.00/0.00 c stratification level: 332
0.00/0.00 c bounds -333 >= -41467 @ 0
0.00/0.00 c stratification level: 273
0.00/0.00 c bounds -333 >= -30058 @ 0.000832
0.00/0.00 c finalizing WCE round: reformulating cores
0.00/0.00 c bounds -347 >= -30058 @ 0.00114
0.00/0.00 c bounds -348 >= -30058 @ 0.001286
0.00/0.00 c stratification level: 266
0.00/0.01 c bounds -348 >= -28140 @ 0.001578
0.00/0.01 c finalizing WCE round: reformulating cores
0.89/0.94 c bounds -349 >= -28140 @ 0.144257
0.89/0.94 c #Conflicts: 1000 | #Constraints: 1033
0.89/0.94 c #Conflicts: 2000 | #Constraints: 2033
0.89/0.94 c INPROCESSING
0.89/0.94 c GARBAGE COLLECT
0.89/0.94 c bounds -350 >= -28140 @ 0.913176
0.89/0.94 c stratification level: 265
124.86/125.24 c #Conflicts: 3000 | #Constraints: 2034
124.86/125.24 c #Conflicts: 4000 | #Constraints: 3034
124.86/125.24 c INPROCESSING
124.86/125.24 c GARBAGE COLLECT
124.86/125.24 c #Conflicts: 5000 | #Constraints: 2437
124.86/125.24 c #Conflicts: 6000 | #Constraints: 3437
124.86/125.24 c INPROCESSING
124.86/125.24 c GARBAGE COLLECT
124.86/125.24 c #Conflicts: 7000 | #Constraints: 2436
124.86/125.24 c #Conflicts: 8000 | #Constraints: 3436
124.86/125.24 c #Conflicts: 9000 | #Constraints: 4436
124.86/125.24 c INPROCESSING
124.86/125.24 c GARBAGE COLLECT
124.86/125.24 c #Conflicts: 10000 | #Constraints: 3198
124.86/125.24 c #Conflicts: 11000 | #Constraints: 4198
124.86/125.24 c #Conflicts: 12000 | #Constraints: 5198
124.86/125.24 c #Conflicts: 13000 | #Constraints: 6198
124.86/125.24 c #Conflicts: 14000 | #Constraints: 7198
124.86/125.24 c #Conflicts: 15000 | #Constraints: 8198
124.86/125.24 c #Conflicts: 16000 | #Constraints: 9198
124.86/125.24 c INPROCESSING
124.86/125.24 c GARBAGE COLLECT
124.86/125.24 c #Conflicts: 17000 | #Constraints: 5372
124.86/125.24 c #Conflicts: 18000 | #Constraints: 6372
124.86/125.24 c #Conflicts: 19000 | #Constraints: 7372
124.86/125.24 c #Conflicts: 20000 | #Constraints: 8372
124.86/125.24 c INPROCESSING
124.86/125.24 c GARBAGE COLLECT
124.86/125.24 c #Conflicts: 21000 | #Constraints: 5658
124.86/125.24 c #Conflicts: 22000 | #Constraints: 6658
124.86/125.24 c #Conflicts: 23000 | #Constraints: 7658
124.86/125.24 c #Conflicts: 24000 | #Constraints: 8658
124.86/125.24 c #Conflicts: 25000 | #Constraints: 9658
124.86/125.24 c #Conflicts: 26000 | #Constraints: 10658
124.86/125.24 c #Conflicts: 27000 | #Constraints: 11658
124.86/125.24 c #Conflicts: 28000 | #Constraints: 12658
124.86/125.24 c #Conflicts: 29000 | #Constraints: 13658
124.86/125.24 c #Conflicts: 30000 | #Constraints: 14658
124.86/125.24 c INPROCESSING
124.86/125.24 c GARBAGE COLLECT
124.86/125.24 c #Conflicts: 31000 | #Constraints: 7999
124.86/125.24 c #Conflicts: 32000 | #Constraints: 8999
124.86/125.24 c #Conflicts: 33000 | #Constraints: 9999
124.86/125.24 c #Conflicts: 34000 | #Constraints: 10999
124.86/125.24 c #Conflicts: 35000 | #Constraints: 11999
124.86/125.24 c #Conflicts: 36000 | #Constraints: 12999
124.86/125.24 c #Conflicts: 37000 | #Constraints: 13999
124.86/125.24 c bounds -350 >= -26989 @ 121.185
124.86/125.24 c #Conflicts: 38000 | #Constraints: 15001
124.86/125.24 c bounds -351 >= -26969 @ 124.398
124.86/125.24 c stratification level: 264
124.86/125.27 c bounds -351 >= -26701 @ 124.413
124.86/125.27 c finalizing WCE round: reformulating cores
131.95/132.31 c #Conflicts: 39000 | #Constraints: 16008
131.95/132.31 c bounds -352 >= -26701 @ 131.382
131.95/132.31 c bounds -353 >= -26701 @ 131.425
131.95/132.31 c stratification level: 262
160.76/161.23 c bounds -353 >= -26175 @ 135.943
160.76/161.23 c #Conflicts: 40000 | #Constraints: 17013
160.76/161.23 c #Conflicts: 41000 | #Constraints: 18013
160.76/161.23 c #Conflicts: 42000 | #Constraints: 19013
160.76/161.23 c #Conflicts: 43000 | #Constraints: 20013
160.76/161.23 c INPROCESSING
160.76/161.23 c GARBAGE COLLECT
160.76/161.23 c #Conflicts: 44000 | #Constraints: 11213
160.76/161.23 c finalizing WCE round: reformulating cores
517.42/518.94 c #Conflicts: 45000 | #Constraints: 12216
517.42/518.94 c bounds -354 >= -26175 @ 164.417
517.42/518.94 c #Conflicts: 46000 | #Constraints: 13216
517.42/518.94 c #Conflicts: 47000 | #Constraints: 14216
517.42/518.94 c #Conflicts: 48000 | #Constraints: 15216
517.42/518.94 c #Conflicts: 49000 | #Constraints: 16216
517.42/518.94 c #Conflicts: 50000 | #Constraints: 17216
517.42/518.94 c #Conflicts: 51000 | #Constraints: 18216
517.42/518.94 c #Conflicts: 52000 | #Constraints: 19216
517.42/518.94 c #Conflicts: 53000 | #Constraints: 20216
517.42/518.94 c #Conflicts: 54000 | #Constraints: 21216
517.42/518.94 c #Conflicts: 55000 | #Constraints: 22216
517.42/518.94 c #Conflicts: 56000 | #Constraints: 23216
517.42/518.94 c #Conflicts: 57000 | #Constraints: 24216
517.42/518.94 c INPROCESSING
517.42/518.94 c GARBAGE COLLECT
517.42/518.94 c #Conflicts: 58000 | #Constraints: 12834
517.42/518.94 c #Conflicts: 59000 | #Constraints: 13834
517.42/518.94 c #Conflicts: 60000 | #Constraints: 14834
517.42/518.94 c #Conflicts: 61000 | #Constraints: 15834
517.42/518.94 c #Conflicts: 62000 | #Constraints: 16834
517.42/518.94 c #Conflicts: 63000 | #Constraints: 17834
517.42/518.94 c #Conflicts: 64000 | #Constraints: 18834
517.42/518.94 c #Conflicts: 65000 | #Constraints: 19834
517.42/518.94 c INPROCESSING
517.42/518.94 c GARBAGE COLLECT
517.42/518.94 c #Conflicts: 66000 | #Constraints: 11604
517.42/518.94 c #Conflicts: 67000 | #Constraints: 12604
517.42/518.94 c #Conflicts: 68000 | #Constraints: 13604
517.42/518.94 c #Conflicts: 69000 | #Constraints: 14604
517.42/518.94 c #Conflicts: 70000 | #Constraints: 15604
517.42/518.94 c #Conflicts: 71000 | #Constraints: 16604
517.42/518.94 c #Conflicts: 72000 | #Constraints: 17604
517.42/518.94 c #Conflicts: 73000 | #Constraints: 18604
517.42/518.94 c #Conflicts: 74000 | #Constraints: 19604
517.42/518.94 c #Conflicts: 75000 | #Constraints: 20604
517.42/518.94 c #Conflicts: 76000 | #Constraints: 21604
517.42/518.94 c #Conflicts: 77000 | #Constraints: 22604
517.42/518.94 c #Conflicts: 78000 | #Constraints: 23604
517.42/518.94 c #Conflicts: 79000 | #Constraints: 24604
517.42/518.94 c #Conflicts: 80000 | #Constraints: 25604
517.42/518.94 c #Conflicts: 81000 | #Constraints: 26604
517.42/518.94 c #Conflicts: 82000 | #Constraints: 27604
517.42/518.94 c INPROCESSING
517.42/518.94 c GARBAGE COLLECT
517.42/518.94 c #Conflicts: 83000 | #Constraints: 14582
517.42/518.94 c #Conflicts: 84000 | #Constraints: 15582
517.42/518.94 c #Conflicts: 85000 | #Constraints: 16582
517.42/518.94 c #Conflicts: 86000 | #Constraints: 17582
517.42/518.94 c #Conflicts: 87000 | #Constraints: 18582
517.42/518.94 c #Conflicts: 88000 | #Constraints: 19582
517.42/518.94 c #Conflicts: 89000 | #Constraints: 20582
517.42/518.94 c #Conflicts: 90000 | #Constraints: 21582
517.42/518.94 c #Conflicts: 91000 | #Constraints: 22582
517.42/518.94 c INPROCESSING
517.42/518.94 c GARBAGE COLLECT
517.42/518.94 c #Conflicts: 92000 | #Constraints: 12227
517.42/518.94 c #Conflicts: 93000 | #Constraints: 13227
517.42/518.94 c #Conflicts: 94000 | #Constraints: 14227
517.42/518.94 c #Conflicts: 95000 | #Constraints: 15227
517.42/518.94 c #Conflicts: 96000 | #Constraints: 16227
517.42/518.94 c #Conflicts: 97000 | #Constraints: 17227
517.42/518.94 c #Conflicts: 98000 | #Constraints: 18227
517.42/518.94 c #Conflicts: 99000 | #Constraints: 19227
517.42/518.94 c #Conflicts: 100000 | #Constraints: 20227
517.42/518.94 c INPROCESSING
517.42/518.94 c GARBAGE COLLECT
517.42/518.94 c #Conflicts: 101000 | #Constraints: 11511
517.42/518.94 c #Conflicts: 102000 | #Constraints: 12511
517.42/518.94 c #Conflicts: 103000 | #Constraints: 13511
517.42/518.94 c #Conflicts: 104000 | #Constraints: 14511
517.42/518.94 c #Conflicts: 105000 | #Constraints: 15511
517.42/518.94 c #Conflicts: 106000 | #Constraints: 16511
517.42/518.94 c #Conflicts: 107000 | #Constraints: 17511
517.42/518.94 c #Conflicts: 108000 | #Constraints: 18511
517.42/518.94 c #Conflicts: 109000 | #Constraints: 19511
517.42/518.94 c #Conflicts: 110000 | #Constraints: 20511
517.42/518.94 c #Conflicts: 111000 | #Constraints: 21511
517.42/518.94 c #Conflicts: 112000 | #Constraints: 22511
517.42/518.94 c #Conflicts: 113000 | #Constraints: 23511
517.42/518.94 c #Conflicts: 114000 | #Constraints: 24511
517.42/518.94 c #Conflicts: 115000 | #Constraints: 25511
517.42/518.94 c #Conflicts: 116000 | #Constraints: 26511
517.42/518.94 c #Conflicts: 117000 | #Constraints: 27511
517.42/518.94 c #Conflicts: 118000 | #Constraints: 28511
517.42/518.94 c #Conflicts: 119000 | #Constraints: 29511
884.76/887.36 c #Conflicts: 120000 | #Constraints: 30511
884.76/887.36 c #Conflicts: 121000 | #Constraints: 31511
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 122000 | #Constraints: 16379
884.76/887.36 c #Conflicts: 123000 | #Constraints: 17379
884.76/887.36 c #Conflicts: 124000 | #Constraints: 18379
884.76/887.36 c #Conflicts: 125000 | #Constraints: 19379
884.76/887.36 c #Conflicts: 126000 | #Constraints: 20379
884.76/887.36 c #Conflicts: 127000 | #Constraints: 21379
884.76/887.36 c #Conflicts: 128000 | #Constraints: 22379
884.76/887.36 c #Conflicts: 129000 | #Constraints: 23379
884.76/887.36 c #Conflicts: 130000 | #Constraints: 24379
884.76/887.36 c #Conflicts: 131000 | #Constraints: 25379
884.76/887.36 c #Conflicts: 132000 | #Constraints: 26379
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 133000 | #Constraints: 14216
884.76/887.36 c #Conflicts: 134000 | #Constraints: 15216
884.76/887.36 c #Conflicts: 135000 | #Constraints: 16216
884.76/887.36 c #Conflicts: 136000 | #Constraints: 17216
884.76/887.36 c #Conflicts: 137000 | #Constraints: 18216
884.76/887.36 c #Conflicts: 138000 | #Constraints: 19216
884.76/887.36 c #Conflicts: 139000 | #Constraints: 20216
884.76/887.36 c #Conflicts: 140000 | #Constraints: 21216
884.76/887.36 c #Conflicts: 141000 | #Constraints: 22216
884.76/887.36 c #Conflicts: 142000 | #Constraints: 23216
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 143000 | #Constraints: 12436
884.76/887.36 c #Conflicts: 144000 | #Constraints: 13436
884.76/887.36 c #Conflicts: 145000 | #Constraints: 14436
884.76/887.36 c #Conflicts: 146000 | #Constraints: 15436
884.76/887.36 c #Conflicts: 147000 | #Constraints: 16436
884.76/887.36 c #Conflicts: 148000 | #Constraints: 17436
884.76/887.36 c #Conflicts: 149000 | #Constraints: 18436
884.76/887.36 c #Conflicts: 150000 | #Constraints: 19436
884.76/887.36 c #Conflicts: 151000 | #Constraints: 20436
884.76/887.36 c #Conflicts: 152000 | #Constraints: 21436
884.76/887.36 c #Conflicts: 153000 | #Constraints: 22436
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 154000 | #Constraints: 12258
884.76/887.36 c #Conflicts: 155000 | #Constraints: 13258
884.76/887.36 c #Conflicts: 156000 | #Constraints: 14258
884.76/887.36 c #Conflicts: 157000 | #Constraints: 15258
884.76/887.36 c #Conflicts: 158000 | #Constraints: 16258
884.76/887.36 c #Conflicts: 159000 | #Constraints: 17258
884.76/887.36 c #Conflicts: 160000 | #Constraints: 18258
884.76/887.36 c #Conflicts: 161000 | #Constraints: 19258
884.76/887.36 c #Conflicts: 162000 | #Constraints: 20258
884.76/887.36 c #Conflicts: 163000 | #Constraints: 21258
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 164000 | #Constraints: 11257
884.76/887.36 c #Conflicts: 165000 | #Constraints: 12257
884.76/887.36 c #Conflicts: 166000 | #Constraints: 13257
884.76/887.36 c #Conflicts: 167000 | #Constraints: 14257
884.76/887.36 c #Conflicts: 168000 | #Constraints: 15257
884.76/887.36 c #Conflicts: 169000 | #Constraints: 16257
884.76/887.36 c #Conflicts: 170000 | #Constraints: 17257
884.76/887.36 c #Conflicts: 171000 | #Constraints: 18257
884.76/887.36 c #Conflicts: 172000 | #Constraints: 19257
884.76/887.36 c #Conflicts: 173000 | #Constraints: 20257
884.76/887.36 c #Conflicts: 174000 | #Constraints: 21257
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 175000 | #Constraints: 11253
884.76/887.36 c #Conflicts: 176000 | #Constraints: 12253
884.76/887.36 c #Conflicts: 177000 | #Constraints: 13253
884.76/887.36 c #Conflicts: 178000 | #Constraints: 14253
884.76/887.36 c #Conflicts: 179000 | #Constraints: 15253
884.76/887.36 c #Conflicts: 180000 | #Constraints: 16253
884.76/887.36 c #Conflicts: 181000 | #Constraints: 17253
884.76/887.36 c #Conflicts: 182000 | #Constraints: 18253
884.76/887.36 c #Conflicts: 183000 | #Constraints: 19253
884.76/887.36 c #Conflicts: 184000 | #Constraints: 20253
884.76/887.36 c #Conflicts: 185000 | #Constraints: 21253
884.76/887.36 c #Conflicts: 186000 | #Constraints: 22253
884.76/887.36 c INPROCESSING
884.76/887.36 c GARBAGE COLLECT
884.76/887.36 c #Conflicts: 187000 | #Constraints: 12155
884.76/887.36 c #Conflicts: 188000 | #Constraints: 13155
884.76/887.36 c #Conflicts: 189000 | #Constraints: 14155
884.76/887.36 c #Conflicts: 190000 | #Constraints: 15155
884.76/887.36 c #Conflicts: 191000 | #Constraints: 16155
884.76/887.36 c #Conflicts: 192000 | #Constraints: 17155
884.76/887.36 c #Conflicts: 193000 | #Constraints: 18155
884.76/887.36 c #Conflicts: 194000 | #Constraints: 19155
1232.17/1235.71 c #Conflicts: 195000 | #Constraints: 20155
1232.17/1235.71 c #Conflicts: 196000 | #Constraints: 21155
1232.17/1235.71 c #Conflicts: 197000 | #Constraints: 22155
1232.17/1235.71 c INPROCESSING
1232.17/1235.71 c GARBAGE COLLECT
1232.17/1235.71 c #Conflicts: 198000 | #Constraints: 11903
1232.17/1235.71 c #Conflicts: 199000 | #Constraints: 12903
1232.17/1235.71 c #Conflicts: 200000 | #Constraints: 13903
1232.17/1235.71 c #Conflicts: 201000 | #Constraints: 14903
1232.17/1235.71 c #Conflicts: 202000 | #Constraints: 15903
1232.17/1235.71 c #Conflicts: 203000 | #Constraints: 16903
1232.17/1235.71 c #Conflicts: 204000 | #Constraints: 17903
1232.17/1235.71 c #Conflicts: 205000 | #Constraints: 18903
1232.17/1235.71 c #Conflicts: 206000 | #Constraints: 19903
1232.17/1235.71 c #Conflicts: 207000 | #Constraints: 20903
1232.17/1235.71 c #Conflicts: 208000 | #Constraints: 21903
1232.17/1235.71 c #Conflicts: 209000 | #Constraints: 22903
1232.17/1235.71 c INPROCESSING
1232.17/1235.71 c GARBAGE COLLECT
1232.17/1235.71 c #Conflicts: 210000 | #Constraints: 12486
1232.17/1235.71 c #Conflicts: 211000 | #Constraints: 13486
1232.17/1235.71 c #Conflicts: 212000 | #Constraints: 14486
1232.17/1235.71 c #Conflicts: 213000 | #Constraints: 15486
1232.17/1235.71 c #Conflicts: 214000 | #Constraints: 16486
1232.17/1235.71 c #Conflicts: 215000 | #Constraints: 17486
1232.17/1235.71 c #Conflicts: 216000 | #Constraints: 18486
1232.17/1235.71 c #Conflicts: 217000 | #Constraints: 19486
1232.17/1235.71 c #Conflicts: 218000 | #Constraints: 20486
1232.17/1235.71 c #Conflicts: 219000 | #Constraints: 21486
1232.17/1235.71 c #Conflicts: 220000 | #Constraints: 22486
1232.17/1235.71 c INPROCESSING
1232.17/1235.71 c GARBAGE COLLECT
1232.17/1235.71 c #Conflicts: 221000 | #Constraints: 11872
1232.17/1235.71 c #Conflicts: 222000 | #Constraints: 12872
1232.17/1235.71 c #Conflicts: 223000 | #Constraints: 13872
1232.17/1235.71 c #Conflicts: 224000 | #Constraints: 14872
1232.17/1235.71 c #Conflicts: 225000 | #Constraints: 15872
1232.17/1235.71 c #Conflicts: 226000 | #Constraints: 16872
1232.17/1235.71 c #Conflicts: 227000 | #Constraints: 17872
1232.17/1235.71 c #Conflicts: 228000 | #Constraints: 18872
1232.17/1235.71 c #Conflicts: 229000 | #Constraints: 19872
1232.17/1235.71 c #Conflicts: 230000 | #Constraints: 20872
1232.17/1235.71 c #Conflicts: 231000 | #Constraints: 21872
1232.17/1235.71 c #Conflicts: 232000 | #Constraints: 22872
1232.17/1235.71 c INPROCESSING
1232.17/1235.71 c GARBAGE COLLECT
1232.17/1235.71 c #Conflicts: 233000 | #Constraints: 12070
1232.17/1235.71 c #Conflicts: 234000 | #Constraints: 13070
1232.17/1235.71 c #Conflicts: 235000 | #Constraints: 14070
1232.17/1235.71 c #Conflicts: 236000 | #Constraints: 15070
1232.17/1235.71 c #Conflicts: 237000 | #Constraints: 16070
1232.17/1235.71 c #Conflicts: 238000 | #Constraints: 17070
1232.17/1235.71 c #Conflicts: 239000 | #Constraints: 18070
1232.17/1235.71 c #Conflicts: 240000 | #Constraints: 19070
1232.17/1235.71 c #Conflicts: 241000 | #Constraints: 20070
1232.17/1235.71 c #Conflicts: 242000 | #Constraints: 21070
1232.17/1235.71 c #Conflicts: 243000 | #Constraints: 22070
1232.17/1235.71 c #Conflicts: 244000 | #Constraints: 23070
1232.17/1235.71 c #Conflicts: 245000 | #Constraints: 24070
1232.17/1235.71 c INPROCESSING
1232.17/1235.71 c GARBAGE COLLECT
1232.17/1235.71 c #Conflicts: 246000 | #Constraints: 13074
1232.17/1235.71 c #Conflicts: 247000 | #Constraints: 14074
1232.17/1235.71 c #Conflicts: 248000 | #Constraints: 15074
1232.17/1235.71 c #Conflicts: 249000 | #Constraints: 16074
1232.17/1235.71 c #Conflicts: 250000 | #Constraints: 17074
1232.17/1235.71 c #Conflicts: 251000 | #Constraints: 18074
1232.17/1235.71 c #Conflicts: 252000 | #Constraints: 19074
1232.17/1235.71 c #Conflicts: 253000 | #Constraints: 20074
1232.17/1235.71 c #Conflicts: 254000 | #Constraints: 21074
1232.17/1235.71 c #Conflicts: 255000 | #Constraints: 22074
1232.17/1235.71 c #Conflicts: 256000 | #Constraints: 23074
1232.17/1235.71 c #Conflicts: 257000 | #Constraints: 24074
1232.17/1235.71 c INPROCESSING
1232.17/1235.71 c GARBAGE COLLECT
1232.17/1235.71 c #Conflicts: 258000 | #Constraints: 12867
1232.17/1235.71 c #Conflicts: 259000 | #Constraints: 13867
1232.17/1235.71 c #Conflicts: 260000 | #Constraints: 14867
1232.17/1235.71 c #Conflicts: 261000 | #Constraints: 15867
1232.17/1235.71 c #Conflicts: 262000 | #Constraints: 16867
1232.17/1235.71 c #Conflicts: 263000 | #Constraints: 17867
1232.17/1235.71 c #Conflicts: 264000 | #Constraints: 18867
1232.17/1235.71 c #Conflicts: 265000 | #Constraints: 19867
1232.17/1235.71 c #Conflicts: 266000 | #Constraints: 20867
1232.17/1235.71 c #Conflicts: 267000 | #Constraints: 21867
1232.17/1235.71 c #Conflicts: 268000 | #Constraints: 22867
1232.17/1235.71 c #Conflicts: 269000 | #Constraints: 23867
1649.72/1654.59 c #Conflicts: 270000 | #Constraints: 24867
1649.72/1654.59 c INPROCESSING
1649.72/1654.59 c GARBAGE COLLECT
1649.72/1654.59 c #Conflicts: 271000 | #Constraints: 13469
1649.72/1654.59 c #Conflicts: 272000 | #Constraints: 14469
1649.72/1654.59 c #Conflicts: 273000 | #Constraints: 15469
1649.72/1654.59 c #Conflicts: 274000 | #Constraints: 16469
1649.72/1654.59 c #Conflicts: 275000 | #Constraints: 17469
1649.72/1654.59 c #Conflicts: 276000 | #Constraints: 18469
1649.72/1654.59 c #Conflicts: 277000 | #Constraints: 19469
1649.72/1654.59 c #Conflicts: 278000 | #Constraints: 20469
1649.72/1654.59 c #Conflicts: 279000 | #Constraints: 21469
1649.72/1654.59 c #Conflicts: 280000 | #Constraints: 22469
1649.72/1654.59 c #Conflicts: 281000 | #Constraints: 23469
1649.72/1654.59 c #Conflicts: 282000 | #Constraints: 24469
1649.72/1654.59 c INPROCESSING
1649.72/1654.59 c GARBAGE COLLECT
1649.72/1654.59 c #Conflicts: 283000 | #Constraints: 12861
1649.72/1654.59 c #Conflicts: 284000 | #Constraints: 13861
1649.72/1654.59 c #Conflicts: 285000 | #Constraints: 14861
1649.72/1654.59 c #Conflicts: 286000 | #Constraints: 15861
1649.72/1654.59 c #Conflicts: 287000 | #Constraints: 16861
1649.72/1654.59 c #Conflicts: 288000 | #Constraints: 17861
1649.72/1654.59 c #Conflicts: 289000 | #Constraints: 18861
1649.72/1654.59 c #Conflicts: 290000 | #Constraints: 19861
1649.72/1654.59 c #Conflicts: 291000 | #Constraints: 20861
1649.72/1654.59 c #Conflicts: 292000 | #Constraints: 21861
1649.72/1654.59 c #Conflicts: 293000 | #Constraints: 22861
1649.72/1654.59 c #Conflicts: 294000 | #Constraints: 23861
1649.72/1654.59 c #Conflicts: 295000 | #Constraints: 24861
1649.72/1654.59 c INPROCESSING
1649.72/1654.59 c GARBAGE COLLECT
1649.72/1654.59 c #Conflicts: 296000 | #Constraints: 13059
1649.72/1654.59 c #Conflicts: 297000 | #Constraints: 14059
1649.72/1654.59 c #Conflicts: 298000 | #Constraints: 15059
1649.72/1654.59 c #Conflicts: 299000 | #Constraints: 16059
1649.72/1654.59 c #Conflicts: 300000 | #Constraints: 17059
1649.72/1654.59 c #Conflicts: 301000 | #Constraints: 18059
1649.72/1654.59 c #Conflicts: 302000 | #Constraints: 19059
1649.72/1654.59 c #Conflicts: 303000 | #Constraints: 20059
1649.72/1654.59 c #Conflicts: 304000 | #Constraints: 21059
1649.72/1654.59 c #Conflicts: 305000 | #Constraints: 22059
1649.72/1654.59 c #Conflicts: 306000 | #Constraints: 23059
1649.72/1654.59 c #Conflicts: 307000 | #Constraints: 24059
1649.72/1654.59 c #Conflicts: 308000 | #Constraints: 25059
1649.72/1654.59 c #Conflicts: 309000 | #Constraints: 26059
1649.72/1654.59 c INPROCESSING
1649.72/1654.59 c GARBAGE COLLECT
1649.72/1654.59 c #Conflicts: 310000 | #Constraints: 14056
1649.72/1654.59 c #Conflicts: 311000 | #Constraints: 15056
1649.72/1654.59 c #Conflicts: 312000 | #Constraints: 16056
1649.72/1654.59 c #Conflicts: 313000 | #Constraints: 17056
1649.72/1654.59 c #Conflicts: 314000 | #Constraints: 18056
1649.72/1654.59 c #Conflicts: 315000 | #Constraints: 19056
1649.72/1654.59 c #Conflicts: 316000 | #Constraints: 20056
1649.72/1654.59 c #Conflicts: 317000 | #Constraints: 21056
1649.72/1654.59 c #Conflicts: 318000 | #Constraints: 22056
1649.72/1654.59 c #Conflicts: 319000 | #Constraints: 23056
1649.72/1654.59 c #Conflicts: 320000 | #Constraints: 24056
1649.72/1654.59 c #Conflicts: 321000 | #Constraints: 25056
1649.72/1654.59 c #Conflicts: 322000 | #Constraints: 26056
1649.72/1654.59 c INPROCESSING
1649.72/1654.59 c GARBAGE COLLECT
1649.72/1654.59 c #Conflicts: 323000 | #Constraints: 13856
1649.72/1654.59 c #Conflicts: 324000 | #Constraints: 14856
1649.72/1654.59 c #Conflicts: 325000 | #Constraints: 15856
1649.72/1654.59 c #Conflicts: 326000 | #Constraints: 16856
1649.72/1654.59 c #Conflicts: 327000 | #Constraints: 17856
1649.72/1654.59 c #Conflicts: 328000 | #Constraints: 18856
1649.72/1654.59 c #Conflicts: 329000 | #Constraints: 19856
1649.72/1654.59 c #Conflicts: 330000 | #Constraints: 20856
1649.72/1654.59 c #Conflicts: 331000 | #Constraints: 21856
1649.72/1654.59 c #Conflicts: 332000 | #Constraints: 22856
1649.72/1654.59 c #Conflicts: 333000 | #Constraints: 23856
1649.72/1654.59 c #Conflicts: 334000 | #Constraints: 24856
1649.72/1654.59 c #Conflicts: 335000 | #Constraints: 25856
1649.72/1654.59 c #Conflicts: 336000 | #Constraints: 26856
1649.72/1654.59 c INPROCESSING
1649.72/1654.59 c GARBAGE COLLECT
1649.72/1654.59 c #Conflicts: 337000 | #Constraints: 14462
1649.72/1654.59 c #Conflicts: 338000 | #Constraints: 15462
1649.72/1654.59 c #Conflicts: 339000 | #Constraints: 16462
1649.72/1654.59 c #Conflicts: 340000 | #Constraints: 17462
1649.72/1654.59 c #Conflicts: 341000 | #Constraints: 18462
1649.72/1654.59 c #Conflicts: 342000 | #Constraints: 19462
1649.72/1654.59 c #Conflicts: 343000 | #Constraints: 20462
1649.72/1654.59 c #Conflicts: 344000 | #Constraints: 21462
2143.18/2149.58 c #Conflicts: 345000 | #Constraints: 22462
2143.18/2149.58 c #Conflicts: 346000 | #Constraints: 23462
2143.18/2149.58 c #Conflicts: 347000 | #Constraints: 24462
2143.18/2149.58 c #Conflicts: 348000 | #Constraints: 25462
2143.18/2149.58 c #Conflicts: 349000 | #Constraints: 26462
2143.18/2149.58 c INPROCESSING
2143.18/2149.58 c GARBAGE COLLECT
2143.18/2149.58 c #Conflicts: 350000 | #Constraints: 13860
2143.18/2149.58 c #Conflicts: 351000 | #Constraints: 14860
2143.18/2149.58 c #Conflicts: 352000 | #Constraints: 15860
2143.18/2149.58 c #Conflicts: 353000 | #Constraints: 16860
2143.18/2149.58 c #Conflicts: 354000 | #Constraints: 17860
2143.18/2149.58 c #Conflicts: 355000 | #Constraints: 18860
2143.18/2149.58 c #Conflicts: 356000 | #Constraints: 19860
2143.18/2149.58 c #Conflicts: 357000 | #Constraints: 20860
2143.18/2149.58 c #Conflicts: 358000 | #Constraints: 21860
2143.18/2149.58 c #Conflicts: 359000 | #Constraints: 22860
2143.18/2149.58 c #Conflicts: 360000 | #Constraints: 23860
2143.18/2149.58 c #Conflicts: 361000 | #Constraints: 24860
2143.18/2149.58 c #Conflicts: 362000 | #Constraints: 25860
2143.18/2149.58 c #Conflicts: 363000 | #Constraints: 26860
2143.18/2149.58 c INPROCESSING
2143.18/2149.58 c GARBAGE COLLECT
2143.18/2149.58 c #Conflicts: 364000 | #Constraints: 14063
2143.18/2149.58 c #Conflicts: 365000 | #Constraints: 15063
2143.18/2149.58 c #Conflicts: 366000 | #Constraints: 16063
2143.18/2149.58 c #Conflicts: 367000 | #Constraints: 17063
2143.18/2149.58 c #Conflicts: 368000 | #Constraints: 18063
2143.18/2149.58 c #Conflicts: 369000 | #Constraints: 19063
2143.18/2149.58 c #Conflicts: 370000 | #Constraints: 20063
2143.18/2149.58 c #Conflicts: 371000 | #Constraints: 21063
2143.18/2149.58 c #Conflicts: 372000 | #Constraints: 22063
2143.18/2149.58 c #Conflicts: 373000 | #Constraints: 23063
2143.18/2149.58 c #Conflicts: 374000 | #Constraints: 24063
2143.18/2149.58 c #Conflicts: 375000 | #Constraints: 25063
2143.18/2149.58 c #Conflicts: 376000 | #Constraints: 26063
2143.18/2149.58 c #Conflicts: 377000 | #Constraints: 27063
2143.18/2149.58 c #Conflicts: 378000 | #Constraints: 28063
2143.18/2149.58 c INPROCESSING
2143.18/2149.58 c GARBAGE COLLECT
2143.18/2149.58 c #Conflicts: 379000 | #Constraints: 15060
2143.18/2149.58 c #Conflicts: 380000 | #Constraints: 16060
2143.18/2149.58 c #Conflicts: 381000 | #Constraints: 17060
2143.18/2149.58 c #Conflicts: 382000 | #Constraints: 18060
2143.18/2149.58 c #Conflicts: 383000 | #Constraints: 19060
2143.18/2149.58 c #Conflicts: 384000 | #Constraints: 20060
2143.18/2149.58 c #Conflicts: 385000 | #Constraints: 21060
2143.18/2149.58 c #Conflicts: 386000 | #Constraints: 22060
2143.18/2149.58 c #Conflicts: 387000 | #Constraints: 23060
2143.18/2149.58 c #Conflicts: 388000 | #Constraints: 24060
2143.18/2149.58 c #Conflicts: 389000 | #Constraints: 25060
2143.18/2149.58 c #Conflicts: 390000 | #Constraints: 26060
2143.18/2149.58 c #Conflicts: 391000 | #Constraints: 27060
2143.18/2149.58 c #Conflicts: 392000 | #Constraints: 28060
2143.18/2149.58 c INPROCESSING
2143.18/2149.58 c GARBAGE COLLECT
2143.18/2149.58 c #Conflicts: 393000 | #Constraints: 14860
2143.18/2149.58 c #Conflicts: 394000 | #Constraints: 15860
2143.18/2149.58 c #Conflicts: 395000 | #Constraints: 16860
2143.18/2149.58 c #Conflicts: 396000 | #Constraints: 17860
2143.18/2149.58 c #Conflicts: 397000 | #Constraints: 18860
2143.18/2149.58 c #Conflicts: 398000 | #Constraints: 19860
2143.18/2149.58 c #Conflicts: 399000 | #Constraints: 20860
2143.18/2149.58 c #Conflicts: 400000 | #Constraints: 21860
2143.18/2149.58 c #Conflicts: 401000 | #Constraints: 22860
2143.18/2149.58 c #Conflicts: 402000 | #Constraints: 23860
2143.18/2149.58 c #Conflicts: 403000 | #Constraints: 24860
2143.18/2149.58 c #Conflicts: 404000 | #Constraints: 25860
2143.18/2149.58 c #Conflicts: 405000 | #Constraints: 26860
2143.18/2149.58 c #Conflicts: 406000 | #Constraints: 27860
2143.18/2149.58 c #Conflicts: 407000 | #Constraints: 28860
2143.18/2149.58 c INPROCESSING
2143.18/2149.58 c GARBAGE COLLECT
2143.18/2149.58 c #Conflicts: 408000 | #Constraints: 15464
2143.18/2149.58 c #Conflicts: 409000 | #Constraints: 16464
2143.18/2149.58 c #Conflicts: 410000 | #Constraints: 17464
2143.18/2149.58 c #Conflicts: 411000 | #Constraints: 18464
2143.18/2149.58 c #Conflicts: 412000 | #Constraints: 19464
2143.18/2149.58 c #Conflicts: 413000 | #Constraints: 20464
2143.18/2149.58 c #Conflicts: 414000 | #Constraints: 21464
2143.18/2149.58 c #Conflicts: 415000 | #Constraints: 22464
2143.18/2149.58 c #Conflicts: 416000 | #Constraints: 23464
2143.18/2149.58 c #Conflicts: 417000 | #Constraints: 24464
2143.18/2149.58 c #Conflicts: 418000 | #Constraints: 25464
2143.18/2149.58 c #Conflicts: 419000 | #Constraints: 26464
2658.23/2666.14 c #Conflicts: 420000 | #Constraints: 27464
2658.23/2666.14 c #Conflicts: 421000 | #Constraints: 28464
2658.23/2666.14 c INPROCESSING
2658.23/2666.14 c GARBAGE COLLECT
2658.23/2666.14 c #Conflicts: 422000 | #Constraints: 14862
2658.23/2666.14 c #Conflicts: 423000 | #Constraints: 15862
2658.23/2666.14 c #Conflicts: 424000 | #Constraints: 16862
2658.23/2666.14 c #Conflicts: 425000 | #Constraints: 17862
2658.23/2666.14 c #Conflicts: 426000 | #Constraints: 18862
2658.23/2666.14 c #Conflicts: 427000 | #Constraints: 19862
2658.23/2666.14 c #Conflicts: 428000 | #Constraints: 20862
2658.23/2666.14 c #Conflicts: 429000 | #Constraints: 21862
2658.23/2666.14 c #Conflicts: 430000 | #Constraints: 22862
2658.23/2666.14 c #Conflicts: 431000 | #Constraints: 23862
2658.23/2666.14 c #Conflicts: 432000 | #Constraints: 24862
2658.23/2666.14 c #Conflicts: 433000 | #Constraints: 25862
2658.23/2666.14 c #Conflicts: 434000 | #Constraints: 26862
2658.23/2666.14 c #Conflicts: 435000 | #Constraints: 27862
2658.23/2666.14 c #Conflicts: 436000 | #Constraints: 28862
2658.23/2666.14 c INPROCESSING
2658.23/2666.14 c GARBAGE COLLECT
2658.23/2666.14 c #Conflicts: 437000 | #Constraints: 15059
2658.23/2666.14 c #Conflicts: 438000 | #Constraints: 16059
2658.23/2666.14 c #Conflicts: 439000 | #Constraints: 17059
2658.23/2666.14 c #Conflicts: 440000 | #Constraints: 18059
2658.23/2666.14 c #Conflicts: 441000 | #Constraints: 19059
2658.23/2666.14 c #Conflicts: 442000 | #Constraints: 20059
2658.23/2666.14 c #Conflicts: 443000 | #Constraints: 21059
2658.23/2666.14 c #Conflicts: 444000 | #Constraints: 22059
2658.23/2666.14 c #Conflicts: 445000 | #Constraints: 23059
2658.23/2666.14 c #Conflicts: 446000 | #Constraints: 24059
2658.23/2666.14 c #Conflicts: 447000 | #Constraints: 25059
2658.23/2666.14 c #Conflicts: 448000 | #Constraints: 26059
2658.23/2666.14 c #Conflicts: 449000 | #Constraints: 27059
2658.23/2666.14 c #Conflicts: 450000 | #Constraints: 28059
2658.23/2666.14 c #Conflicts: 451000 | #Constraints: 29059
2658.23/2666.14 c #Conflicts: 452000 | #Constraints: 30059
2658.23/2666.14 c INPROCESSING
2658.23/2666.14 c GARBAGE COLLECT
2658.23/2666.14 c #Conflicts: 453000 | #Constraints: 16058
2658.23/2666.14 c #Conflicts: 454000 | #Constraints: 17058
2658.23/2666.14 c #Conflicts: 455000 | #Constraints: 18058
2658.23/2666.14 c #Conflicts: 456000 | #Constraints: 19058
2658.23/2666.14 c #Conflicts: 457000 | #Constraints: 20058
2658.23/2666.14 c #Conflicts: 458000 | #Constraints: 21058
2658.23/2666.14 c #Conflicts: 459000 | #Constraints: 22058
2658.23/2666.14 c #Conflicts: 460000 | #Constraints: 23058
2658.23/2666.14 c #Conflicts: 461000 | #Constraints: 24058
2658.23/2666.14 c #Conflicts: 462000 | #Constraints: 25058
2658.23/2666.14 c #Conflicts: 463000 | #Constraints: 26058
2658.23/2666.14 c #Conflicts: 464000 | #Constraints: 27058
2658.23/2666.14 c #Conflicts: 465000 | #Constraints: 28058
2658.23/2666.14 c #Conflicts: 466000 | #Constraints: 29058
2658.23/2666.14 c #Conflicts: 467000 | #Constraints: 30058
2658.23/2666.14 c INPROCESSING
2658.23/2666.14 c GARBAGE COLLECT
2658.23/2666.14 c #Conflicts: 468000 | #Constraints: 15855
2658.23/2666.14 c #Conflicts: 469000 | #Constraints: 16855
2658.23/2666.14 c #Conflicts: 470000 | #Constraints: 17855
2658.23/2666.14 c #Conflicts: 471000 | #Constraints: 18855
2658.23/2666.14 c #Conflicts: 472000 | #Constraints: 19855
2658.23/2666.14 c #Conflicts: 473000 | #Constraints: 20855
2658.23/2666.14 c #Conflicts: 474000 | #Constraints: 21855
2658.23/2666.14 c #Conflicts: 475000 | #Constraints: 22855
2658.23/2666.14 c #Conflicts: 476000 | #Constraints: 23855
2658.23/2666.14 c #Conflicts: 477000 | #Constraints: 24855
2658.23/2666.14 c #Conflicts: 478000 | #Constraints: 25855
2658.23/2666.14 c #Conflicts: 479000 | #Constraints: 26855
2658.23/2666.14 c #Conflicts: 480000 | #Constraints: 27855
2658.23/2666.14 c #Conflicts: 481000 | #Constraints: 28855
2658.23/2666.14 c #Conflicts: 482000 | #Constraints: 29855
2658.23/2666.14 c #Conflicts: 483000 | #Constraints: 30855
2658.23/2666.14 c INPROCESSING
2658.23/2666.14 c GARBAGE COLLECT
2658.23/2666.14 c #Conflicts: 484000 | #Constraints: 16453
2658.23/2666.14 c #Conflicts: 485000 | #Constraints: 17453
2658.23/2666.14 c #Conflicts: 486000 | #Constraints: 18453
2658.23/2666.14 c #Conflicts: 487000 | #Constraints: 19453
2658.23/2666.14 c #Conflicts: 488000 | #Constraints: 20453
2658.23/2666.14 c #Conflicts: 489000 | #Constraints: 21453
2658.23/2666.14 c #Conflicts: 490000 | #Constraints: 22453
2658.23/2666.14 c #Conflicts: 491000 | #Constraints: 23453
2658.23/2666.14 c #Conflicts: 492000 | #Constraints: 24453
2658.23/2666.14 c #Conflicts: 493000 | #Constraints: 25453
2658.23/2666.14 c #Conflicts: 494000 | #Constraints: 26453
2658.23/2666.14 c #Conflicts: 495000 | #Constraints: 27453
3257.62/3267.52 c #Conflicts: 496000 | #Constraints: 28453
3257.62/3267.52 c #Conflicts: 497000 | #Constraints: 29453
3257.62/3267.52 c #Conflicts: 498000 | #Constraints: 30453
3257.62/3267.52 c INPROCESSING
3257.62/3267.52 c GARBAGE COLLECT
3257.62/3267.52 c #Conflicts: 499000 | #Constraints: 15860
3257.62/3267.52 c #Conflicts: 500000 | #Constraints: 16860
3257.62/3267.52 c #Conflicts: 501000 | #Constraints: 17860
3257.62/3267.52 c #Conflicts: 502000 | #Constraints: 18860
3257.62/3267.52 c #Conflicts: 503000 | #Constraints: 19860
3257.62/3267.52 c #Conflicts: 504000 | #Constraints: 20860
3257.62/3267.52 c #Conflicts: 505000 | #Constraints: 21860
3257.62/3267.52 c #Conflicts: 506000 | #Constraints: 22860
3257.62/3267.52 c #Conflicts: 507000 | #Constraints: 23860
3257.62/3267.52 c #Conflicts: 508000 | #Constraints: 24860
3257.62/3267.52 c #Conflicts: 509000 | #Constraints: 25860
3257.62/3267.52 c #Conflicts: 510000 | #Constraints: 26860
3257.62/3267.52 c #Conflicts: 511000 | #Constraints: 27860
3257.62/3267.52 c #Conflicts: 512000 | #Constraints: 28860
3257.62/3267.52 c #Conflicts: 513000 | #Constraints: 29860
3257.62/3267.52 c #Conflicts: 514000 | #Constraints: 30860
3257.62/3267.52 c INPROCESSING
3257.62/3267.52 c GARBAGE COLLECT
3257.62/3267.52 c #Conflicts: 515000 | #Constraints: 16057
3257.62/3267.52 c #Conflicts: 516000 | #Constraints: 17057
3257.62/3267.52 c #Conflicts: 517000 | #Constraints: 18057
3257.62/3267.52 c #Conflicts: 518000 | #Constraints: 19057
3257.62/3267.52 c #Conflicts: 519000 | #Constraints: 20057
3257.62/3267.52 c #Conflicts: 520000 | #Constraints: 21057
3257.62/3267.52 c #Conflicts: 521000 | #Constraints: 22057
3257.62/3267.52 c #Conflicts: 522000 | #Constraints: 23057
3257.62/3267.52 c #Conflicts: 523000 | #Constraints: 24057
3257.62/3267.52 c #Conflicts: 524000 | #Constraints: 25057
3257.62/3267.52 c #Conflicts: 525000 | #Constraints: 26057
3257.62/3267.52 c #Conflicts: 526000 | #Constraints: 27057
3257.62/3267.52 c #Conflicts: 527000 | #Constraints: 28057
3257.62/3267.52 c #Conflicts: 528000 | #Constraints: 29057
3257.62/3267.52 c #Conflicts: 529000 | #Constraints: 30057
3257.62/3267.52 c #Conflicts: 530000 | #Constraints: 31057
3257.62/3267.52 c #Conflicts: 531000 | #Constraints: 32057
3257.62/3267.52 c INPROCESSING
3257.62/3267.52 c GARBAGE COLLECT
3257.62/3267.52 c #Conflicts: 532000 | #Constraints: 17069
3257.62/3267.52 c #Conflicts: 533000 | #Constraints: 18069
3257.62/3267.52 c #Conflicts: 534000 | #Constraints: 19069
3257.62/3267.52 c #Conflicts: 535000 | #Constraints: 20069
3257.62/3267.52 c #Conflicts: 536000 | #Constraints: 21069
3257.62/3267.52 c #Conflicts: 537000 | #Constraints: 22069
3257.62/3267.52 c #Conflicts: 538000 | #Constraints: 23069
3257.62/3267.52 c #Conflicts: 539000 | #Constraints: 24069
3257.62/3267.52 c #Conflicts: 540000 | #Constraints: 25069
3257.62/3267.52 c #Conflicts: 541000 | #Constraints: 26069
3257.62/3267.52 c #Conflicts: 542000 | #Constraints: 27069
3257.62/3267.52 c #Conflicts: 543000 | #Constraints: 28069
3257.62/3267.52 c #Conflicts: 544000 | #Constraints: 29069
3257.62/3267.52 c #Conflicts: 545000 | #Constraints: 30069
3257.62/3267.52 c #Conflicts: 546000 | #Constraints: 31069
3257.62/3267.52 c #Conflicts: 547000 | #Constraints: 32069
3257.62/3267.52 c INPROCESSING
3257.62/3267.52 c GARBAGE COLLECT
3257.62/3267.52 c #Conflicts: 548000 | #Constraints: 16863
3257.62/3267.52 c #Conflicts: 549000 | #Constraints: 17863
3257.62/3267.52 c #Conflicts: 550000 | #Constraints: 18863
3257.62/3267.52 c #Conflicts: 551000 | #Constraints: 19863
3257.62/3267.52 c #Conflicts: 552000 | #Constraints: 20863
3257.62/3267.52 c #Conflicts: 553000 | #Constraints: 21863
3257.62/3267.52 c #Conflicts: 554000 | #Constraints: 22863
3257.62/3267.52 c #Conflicts: 555000 | #Constraints: 23863
3257.62/3267.52 c #Conflicts: 556000 | #Constraints: 24863
3257.62/3267.52 c #Conflicts: 557000 | #Constraints: 25863
3257.62/3267.52 c #Conflicts: 558000 | #Constraints: 26863
3257.62/3267.52 c #Conflicts: 559000 | #Constraints: 27863
3257.62/3267.52 c #Conflicts: 560000 | #Constraints: 28863
3257.62/3267.52 c #Conflicts: 561000 | #Constraints: 29863
3257.62/3267.52 c #Conflicts: 562000 | #Constraints: 30863
3257.62/3267.52 c #Conflicts: 563000 | #Constraints: 31863
3257.62/3267.52 c #Conflicts: 564000 | #Constraints: 32863
3257.62/3267.52 c INPROCESSING
3257.62/3267.52 c GARBAGE COLLECT
3257.62/3267.52 c #Conflicts: 565000 | #Constraints: 17460
3257.62/3267.52 c #Conflicts: 566000 | #Constraints: 18460
3257.62/3267.52 c #Conflicts: 567000 | #Constraints: 19460
3257.62/3267.52 c #Conflicts: 568000 | #Constraints: 20460
3257.62/3267.52 c #Conflicts: 569000 | #Constraints: 21460
3257.62/3267.52 c #Conflicts: 570000 | #Constraints: 22460
3600.08/3611.10 c #Conflicts: 571000 | #Constraints: 23460
3600.08/3611.10 c #Conflicts: 572000 | #Constraints: 24460
3600.08/3611.10 c #Conflicts: 573000 | #Constraints: 25460
3600.08/3611.10 c #Conflicts: 574000 | #Constraints: 26460
3600.08/3611.10 c #Conflicts: 575000 | #Constraints: 27460
3600.08/3611.10 c #Conflicts: 576000 | #Constraints: 28460
3600.08/3611.10 c #Conflicts: 577000 | #Constraints: 29460
3600.08/3611.10 c #Conflicts: 578000 | #Constraints: 30460
3600.08/3611.10 c #Conflicts: 579000 | #Constraints: 31460
3600.08/3611.10 c #Conflicts: 580000 | #Constraints: 32460
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 581000 | #Constraints: 16860
3600.08/3611.10 c #Conflicts: 582000 | #Constraints: 17860
3600.08/3611.10 c #Conflicts: 583000 | #Constraints: 18860
3600.08/3611.10 c #Conflicts: 584000 | #Constraints: 19860
3600.08/3611.10 c #Conflicts: 585000 | #Constraints: 20860
3600.08/3611.10 c #Conflicts: 586000 | #Constraints: 21860
3600.08/3611.10 c #Conflicts: 587000 | #Constraints: 22860
3600.08/3611.10 c #Conflicts: 588000 | #Constraints: 23860
3600.08/3611.10 c #Conflicts: 589000 | #Constraints: 24860
3600.08/3611.10 c #Conflicts: 590000 | #Constraints: 25860
3600.08/3611.10 c #Conflicts: 591000 | #Constraints: 26860
3600.08/3611.10 c #Conflicts: 592000 | #Constraints: 27860
3600.08/3611.10 c #Conflicts: 593000 | #Constraints: 28860
3600.08/3611.10 c #Conflicts: 594000 | #Constraints: 29860
3600.08/3611.10 c #Conflicts: 595000 | #Constraints: 30860
3600.08/3611.10 c #Conflicts: 596000 | #Constraints: 31860
3600.08/3611.10 c #Conflicts: 597000 | #Constraints: 32860
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 598000 | #Constraints: 17057
3600.08/3611.10 c #Conflicts: 599000 | #Constraints: 18057
3600.08/3611.10 c #Conflicts: 600000 | #Constraints: 19057
3600.08/3611.10 c #Conflicts: 601000 | #Constraints: 20057
3600.08/3611.10 c #Conflicts: 602000 | #Constraints: 21057
3600.08/3611.10 c #Conflicts: 603000 | #Constraints: 22057
3600.08/3611.10 c #Conflicts: 604000 | #Constraints: 23057
3600.08/3611.10 c #Conflicts: 605000 | #Constraints: 24057
3600.08/3611.10 c #Conflicts: 606000 | #Constraints: 25057
3600.08/3611.10 c #Conflicts: 607000 | #Constraints: 26057
3600.08/3611.10 c #Conflicts: 608000 | #Constraints: 27057
3600.08/3611.10 c #Conflicts: 609000 | #Constraints: 28057
3600.08/3611.10 c #Conflicts: 610000 | #Constraints: 29057
3600.08/3611.10 c Program interrupted by user.
3600.08/3611.10 c cpu time 3594.58 s
3600.08/3611.10 c deterministic time 807955036636 8.08e+11
3600.08/3611.10 c optimization time 110.721 s
3600.08/3611.10 c total solve time 3483.86 s
3600.08/3611.10 c core-guided solve time 3483.86 s
3600.08/3611.10 c propagation time 3400.2 s
3600.08/3611.10 c conflict analysis time 179.32 s
3600.08/3611.10 c propagations 5849828
3600.08/3611.10 c resolve steps 2380663
3600.08/3611.10 c decisions 1487071
3600.08/3611.10 c conflicts 610693
3600.08/3611.10 c restarts 1277
3600.08/3611.10 c inprocessing phases 49
3600.08/3611.10 c input clauses 30
3600.08/3611.10 c input cardinalities 1
3600.08/3611.10 c input general constraints 22
3600.08/3611.10 c input average constraint length 84.36
3600.08/3611.10 c input average constraint degree 3505.36
3600.08/3611.10 c learned clauses 147439
3600.08/3611.10 c learned cardinalities 198
3600.08/3611.10 c learned general constraints 463056
3600.08/3611.10 c learned average constraint length 194.18
3600.08/3611.10 c learned average constraint degree 494044.38
3600.08/3611.10 c watched constraints 163949
3600.08/3611.10 c counting constraints 299129
3600.08/3611.10 c gcd simplifications 95965
3600.08/3611.10 c detected cardinalities 133
3600.08/3611.10 c weakened non-implied lits 14768408
3600.08/3611.10 c weakened non-implying lits 286731
3600.08/3611.10 c original variables 250
3600.08/3611.10 c clausal propagations 179713
3600.08/3611.10 c cardinality propagations 2273
3600.08/3611.10 c watched propagations 2319881
3600.08/3611.10 c counting propagations 2845351
3600.08/3611.10 c watch lookups 21366863065
3600.08/3611.10 c watch backjump lookups 21012837520
3600.08/3611.10 c watch checks 36036007561
3600.08/3611.10 c propagation checks 728871094603
3600.08/3611.10 c constraint additions 652949669
3600.08/3611.10 c trail pops 7947318
3600.08/3611.10 c formula constraints 1
3600.08/3611.10 c learned constraints 610693
3600.08/3611.10 c bound constraints 15
3600.08/3611.10 c core-guided constraints 37
3600.08/3611.10 c encountered formula constraints 385867
3600.08/3611.10 c encountered learned constraints 2110941
3600.08/3611.10 c encountered bound constraints 493395
3600.08/3611.10 c encountered core-guided constraints 1153
3600.08/3611.10 c LP total time 0 s
3600.08/3611.10 c LP solve time 0 s
3600.08/3611.10 c LP constraints added 0
3600.08/3611.10 c LP constraints removed 0
3600.08/3611.10 c LP pivots internal 0
3600.08/3611.10 c LP pivots root 0
3600.08/3611.10 c LP calls 0
3600.08/3611.10 c LP optimalities 0
3600.08/3611.10 c LP no pivot count 0
3600.08/3611.10 c LP infeasibilities 0
3600.08/3611.10 c LP valid Farkas constraints 0
3600.08/3611.10 c LP learned Farkas constraints 0
3600.08/3611.10 c LP basis resets 0
3600.08/3611.10 c LP cycling count 0
3600.08/3611.10 c LP singular count 0
3600.08/3611.10 c LP no primal count 0
3600.08/3611.10 c LP no farkas count 0
3600.08/3611.10 c LP other issue count 0
3600.08/3611.10 c LP Gomory cuts 0
3600.08/3611.10 c LP learned cuts 0
3600.08/3611.10 c LP deleted cuts 0
3600.08/3611.10 c LP encountered Gomory constraints 0
3600.08/3611.10 c LP encountered Farkas constraints 0
3600.08/3611.10 c LP encountered learned Farkas constraints 0
3600.08/3611.10 c CG auxiliary variables introduced 33
3600.08/3611.10 c CG solutions found 9
3600.08/3611.10 c CG cores constructed 5
3600.08/3611.10 c CG core cardinality constraints returned 0
3600.08/3611.10 c CG unit cores 1
3600.08/3611.10 c CG single cores 4
3600.08/3611.10 c CG blocks removed during cardinality reduction 0
3600.08/3611.10 c CG first core best 0
3600.08/3611.10 c CG decision core best 0
3600.08/3611.10 c CG core reduction tie 0
3600.08/3611.10 c CG core degree average 1.00
3600.08/3611.10 c CG core slack average 1.25
3600.08/3611.10 c CG exhausted 0
3600.08/3611.10 c CG exhaust time 11.3273 s
3600.08/3611.10 c CG trimmed 0
3600.08/3611.10 c CG trim time 0.00366 s
3600.08/3611.10 c CG minimized 0
3600.08/3611.10 c CG minimize time 0 s
3600.08/3611.10 c CG am1 prop time 0.016206 s
3600.08/3611.10 c CG # am1s reformulated 28
3600.08/3611.10 c CG lower bound derived from am1s 15628
3600.08/3611.10 c CG # clausal cores 4
3600.08/3611.10 c CG # cardinality cores 0
3600.08/3611.10 c CG # pb cores 0
3600.08/3611.10 c CG # pb reforms 3
3600.08/3611.10 c CG # cores discarded because of pb reform 0
3600.08/3611.10 d LOWERBOUND -26175
3600.08/3611.10 d NCORES 5
3600.08/3611.10 d NPBCORES 0
3600.08/3611.10 d NPBREFORM 3
3600.08/3611.10 d NTRIMMED 0
3600.08/3611.10 d NEXHAUSTED 0
3600.08/3611.10 d NAM1S 28
3600.08/3611.10 d AM1LB 15628
3600.08/3611.10 o -354
3600.08/3611.10 s SATISFIABLE
3600.08/3611.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
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: 63931 MiB (61533 MiB free)
memory of node 1: 64510 MiB (62119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457502-1721875931/watcher-4457502-1721875931 -o /tmp/evaluation-result-4457502-1721875931/solver-4457502-1721875931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217938 --watchdog 3760 pb-oll-rs HOME/instance-4457502-1721875931.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=217991, runsolver pid=217980
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 3.43 3.96 4.04 4/257 217999
/proc/meminfo: memFree=126602472/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=40108 memory=9608 CPUtime=0.09 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 724 0 0 0 9 0 0 0 20 0 1 0 24121670 41070592 2402 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 10027 2402 1377 291 0 1561 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 9608 KiB
[startup+0.206918 s]*
/proc/loadavg: 3.43 3.96 4.04 5/252 218007
/proc/meminfo: memFree=126606808/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=41048 memory=10664 CPUtime=0.2 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 965 0 0 0 19 1 0 0 20 0 1 0 24121670 42033152 2666 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 10262 2666 1377 291 0 1796 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41048 KiB
Current children cumulated memory: 10664 KiB
[startup+0.305965 s]*
/proc/loadavg: 3.43 3.96 4.04 4/253 218027
/proc/meminfo: memFree=126605468/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=41320 memory=10984 CPUtime=0.3 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 1008 0 0 0 29 1 0 0 20 0 1 0 24121670 42311680 2746 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 10330 2746 1392 291 0 1864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41320 KiB
Current children cumulated memory: 10984 KiB
[startup+0.700161 s]
/proc/loadavg: 3.43 3.96 4.04 6/256 218085
/proc/meminfo: memFree=126599548/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=43184 memory=13096 CPUtime=0.69 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 1568 0 0 0 67 2 0 0 20 0 1 0 24121670 44220416 3274 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 10796 3274 1392 291 0 2330 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43184 KiB
Current children cumulated memory: 13096 KiB
[startup+1.50016 s]
/proc/loadavg: 3.43 3.96 4.04 5/259 218091
/proc/meminfo: memFree=126549396/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=46484 memory=15444 CPUtime=1.48 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 2086 0 0 0 145 3 0 0 20 0 1 0 24121670 47599616 3861 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 11621 3861 1455 291 0 3155 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46484 KiB
Current children cumulated memory: 15444 KiB
[startup+3.10586 s]
/proc/loadavg: 3.47 3.96 4.04 5/259 218093
/proc/meminfo: memFree=126416616/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=50468 memory=19136 CPUtime=3.09 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 3026 0 0 0 304 5 0 0 20 0 1 0 24121670 51679232 4784 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 12617 4784 1455 291 0 4151 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50468 KiB
Current children cumulated memory: 19136 KiB
[startup+6.30022 s]
/proc/loadavg: 3.47 3.96 4.04 5/259 218093
/proc/meminfo: memFree=126327052/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=55368 memory=22080 CPUtime=6.27 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 3765 0 0 0 619 8 0 0 20 0 1 0 24121670 56696832 5520 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 13842 5520 1455 291 0 5376 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55368 KiB
Current children cumulated memory: 22080 KiB
[startup+12.7002 s]
/proc/loadavg: 3.55 3.96 4.04 5/259 218095
/proc/meminfo: memFree=126213812/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=61932 memory=30456 CPUtime=12.65 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 5346 0 0 0 1252 13 0 0 20 0 1 0 24121670 63418368 7614 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 15483 7614 1455 291 0 7017 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61932 KiB
Current children cumulated memory: 30456 KiB
[startup+25.5002 s]
/proc/loadavg: 3.70 3.98 4.05 5/259 218096
/proc/meminfo: memFree=126045660/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=71416 memory=40324 CPUtime=25.42 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 6800 0 0 0 2521 21 0 0 20 0 1 0 24121670 73129984 10081 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 17854 10081 1455 291 0 9388 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71416 KiB
Current children cumulated memory: 40324 KiB
[startup+51.1064 s]
/proc/loadavg: 3.80 3.98 4.04 5/259 218099
/proc/meminfo: memFree=125837736/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=71992 memory=41344 CPUtime=50.96 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 7076 0 0 0 5066 30 0 0 20 0 1 0 24121670 73719808 10336 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 17998 10336 1455 291 0 9532 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 71992 KiB
Current children cumulated memory: 41344 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.02 4.05 5/259 218109
/proc/meminfo: memFree=125588004/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=99772 memory=63152 CPUtime=102.02 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 10452 0 0 0 10156 46 0 0 20 0 1 0 24121670 102166528 15788 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 24943 15788 1455 291 0 16477 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 99772 KiB
Current children cumulated memory: 63152 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.05 5/259 218122
/proc/meminfo: memFree=125308220/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=120444 memory=73536 CPUtime=161.86 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 12090 0 0 0 16124 62 0 0 20 0 1 0 24121670 123334656 18384 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 30111 18384 1455 291 0 21645 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 120444 KiB
Current children cumulated memory: 73536 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.05 4.06 5/261 218516
/proc/meminfo: memFree=125215568/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=124860 memory=79196 CPUtime=221.68 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 13052 0 0 0 22093 75 0 0 20 0 1 0 24121670 127856640 19799 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 31215 19799 1455 291 0 22749 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 79196 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.07 4.06 5/257 218526
/proc/meminfo: memFree=125117708/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=124860 memory=79452 CPUtime=281.51 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 13112 0 0 0 28065 86 0 0 20 0 1 0 24121670 127856640 19863 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 31215 19863 1455 291 0 22749 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 79452 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.09 4.07 5/256 218537
/proc/meminfo: memFree=125057588/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=136860 memory=90248 CPUtime=341.33 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 15759 0 0 0 34036 97 0 0 20 0 1 0 24121670 140144640 22562 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 34215 22562 1455 291 0 25749 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 136860 KiB
Current children cumulated memory: 90248 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.10 4.07 5/258 218717
/proc/meminfo: memFree=125052584/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=138016 memory=90928 CPUtime=401.15 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 16043 0 0 0 40008 107 0 0 20 0 1 0 24121670 141328384 22732 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 34504 22732 1455 291 0 26038 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 138016 KiB
Current children cumulated memory: 90928 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/259 218728
/proc/meminfo: memFree=125019952/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=138016 memory=90996 CPUtime=460.98 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 16057 0 0 0 45977 121 0 0 20 0 1 0 24121670 141328384 22749 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 34504 22749 1455 291 0 26038 0
################
# More data... #
################
Current children cumulated memory: 114356 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/258 219815
/proc/meminfo: memFree=123646504/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=150656 memory=114452 CPUtime=2913.61 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21144 0 0 0 290910 451 0 0 20 0 1 0 24121670 154271744 28613 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 37664 28613 1455 291 0 29198 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 150656 KiB
Current children cumulated memory: 114452 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/258 219828
/proc/meminfo: memFree=123638492/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=182640 memory=118512 CPUtime=2973.4 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21814 0 0 0 296880 460 0 0 20 0 1 0 24121670 187023360 29628 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45660 29628 1455 291 0 37194 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/258 219838
/proc/meminfo: memFree=123637260/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=182640 memory=118744 CPUtime=3033.2 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21835 0 0 0 302851 469 0 0 20 0 1 0 24121670 187023360 29686 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45660 29686 1455 291 0 37194 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/257 219848
/proc/meminfo: memFree=123633912/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=182640 memory=118744 CPUtime=3092.99 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21860 0 0 0 308820 479 0 0 20 0 1 0 24121670 187023360 29686 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45660 29686 1455 291 0 37194 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/257 219859
/proc/meminfo: memFree=123605404/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=182640 memory=118744 CPUtime=3152.78 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21881 0 0 0 314791 487 0 0 20 0 1 0 24121670 187023360 29686 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45660 29686 1455 291 0 37194 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/257 219869
/proc/meminfo: memFree=123590256/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=182768 memory=118624 CPUtime=3212.57 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21938 0 0 0 320763 494 0 0 20 0 1 0 24121670 187154432 29656 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45692 29656 1455 291 0 37226 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 182768 KiB
Current children cumulated memory: 118624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/254 219880
/proc/meminfo: memFree=123567400/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=182768 memory=118624 CPUtime=3272.37 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 21959 0 0 0 326733 504 0 0 20 0 1 0 24121670 187154432 29656 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45692 29656 1455 291 0 37226 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 182768 KiB
Current children cumulated memory: 118624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/254 219890
/proc/meminfo: memFree=123554104/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183156 memory=118896 CPUtime=3332.17 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22047 0 0 0 332705 512 0 0 20 0 1 0 24121670 187551744 29724 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45789 29724 1455 291 0 37323 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 183156 KiB
Current children cumulated memory: 118896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/254 219900
/proc/meminfo: memFree=123540720/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183416 memory=121376 CPUtime=3391.96 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22220 0 0 0 338675 521 0 0 20 0 1 0 24121670 187817984 30344 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45854 30344 1455 291 0 37388 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/255 219913
/proc/meminfo: memFree=123523056/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183416 memory=121376 CPUtime=3451.76 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22241 0 0 0 344646 530 0 0 20 0 1 0 24121670 187817984 30344 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45854 30344 1455 291 0 37388 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/257 219928
/proc/meminfo: memFree=123384948/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183416 memory=121544 CPUtime=3511.56 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22296 0 0 0 350620 536 0 0 20 0 1 0 24121670 187817984 30386 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45854 30386 1455 291 0 37388 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/257 219939
/proc/meminfo: memFree=123285008/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183416 memory=121672 CPUtime=3571.37 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22317 0 0 0 356591 546 0 0 20 0 1 0 24121670 187817984 30418 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45854 30418 1455 291 0 37388 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.16 4.15 4.16 5/257 219989
/proc/meminfo: memFree=124276352/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183416 memory=121672 CPUtime=3600.08 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22338 0 0 0 359458 550 0 0 20 0 1 0 24121670 187817984 30418 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45854 30418 1455 291 0 37388 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 217991 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.58 s, system=5.5079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.16 4.15 4.16 5/257 219989
/proc/meminfo: memFree=124276352/131524600 swapFree=131056028/131071996
[pid=217991] ppid=217980 vsize=183416 memory=121672 CPUtime=3600.08 cores=5,7
/proc/217991/stat : 217991 (pb-oll-rs) R 217980 217991 217925 0 -1 4194304 22338 0 0 0 359458 550 0 0 20 0 1 0 24121670 187817984 30418 134679101440 4194304 5384485 140728384478288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 22790144 140728384484375 140728384484452 140728384484452 140728384491467 0
/proc/217991/statm: 45854 30418 1455 291 0 37388 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121672 KiB
Child status: 0
Real time (s): 3611.11
CPU time (s): 3600.09
CPU user time (s): 3594.58
CPU system time (s): 5.5079
CPU usage (%): 99.6948
Max. virtual memory (cumulated for all children) (KiB): 183416
Max. memory (cumulated for all children) (KiB): 121672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.58
system time used= 5.5079
maximum resident set size= 121836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22354
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= 25
involuntary context switches= 1576
# summary of solver processes directly reported to runsolver:
# pid: 217991
# total CPU time (s): 3600.09
# total CPU user time (s): 3594.58
# total CPU system time (s): 5.5079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09686 second user time and 18.9344 second system time
The end
Begin job on nodeC016 at 2024-07-25 04:52:11
IDJOB=4457502
IDBENCH=176371
IDSOLVER=3082
FILE ID=nodeC016/4457502-1721875931
RUNJOBID= nodeC016-1721875931-217938
SLURM_JOB_ID= 8089230
Free space on /tmp= 890084 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457502-1721875931/watcher-4457502-1721875931 -o /tmp/evaluation-result-4457502-1721875931/solver-4457502-1721875931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217938 --watchdog 3760 pb-oll-rs HOME/instance-4457502-1721875931.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ca7653980f86b2f84ce865c198a6840
RANDOM SEED=2095475731
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3311.071
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3472.725
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3460.143
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3692.607
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3847.703
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3762.556
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3607.948
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3612.492
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126621332 kB
MemAvailable: 129592780 kB
Buffers: 287224 kB
Cached: 3366772 kB
SwapCached: 284 kB
Active: 2322456 kB
Inactive: 1685876 kB
Active(anon): 2320 kB
Inactive(anon): 405116 kB
Active(file): 2320136 kB
Inactive(file): 1280760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 8264 kB
Writeback: 16 kB
AnonPages: 354812 kB
Mapped: 102868 kB
Shmem: 52400 kB
KReclaimable: 420396 kB
Slab: 540932 kB
SReclaimable: 420396 kB
SUnreclaim: 120536 kB
KernelStack: 3828 kB
PageTables: 9636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 823100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 373460 kB
DirectMap2M: 42391552 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-25 05:52:23