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.001071
0.00/0.00 c stratification level: 332
0.00/0.00 c bounds -333 >= -41467 @ 0.001617
0.00/0.00 c stratification level: 273
0.00/0.01 c bounds -333 >= -30058 @ 0.003938
0.00/0.01 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds -347 >= -30058 @ 0.00476
0.00/0.01 c bounds -348 >= -30058 @ 0.005145
0.00/0.01 c stratification level: 266
0.00/0.03 c bounds -348 >= -28140 @ 0.005965
0.00/0.03 c finalizing WCE round: reformulating cores
1.78/1.87 c bounds -349 >= -28140 @ 0.418209
1.78/1.87 c #Conflicts: 1000 | #Constraints: 1033
1.78/1.87 c #Conflicts: 2000 | #Constraints: 2033
1.78/1.87 c INPROCESSING
1.78/1.87 c GARBAGE COLLECT
1.78/1.87 c bounds -350 >= -28140 @ 1.81478
1.78/1.87 c stratification level: 265
131.93/132.31 c #Conflicts: 3000 | #Constraints: 2034
131.93/132.31 c #Conflicts: 4000 | #Constraints: 3034
131.93/132.31 c INPROCESSING
131.93/132.31 c GARBAGE COLLECT
131.93/132.31 c #Conflicts: 5000 | #Constraints: 2437
131.93/132.31 c #Conflicts: 6000 | #Constraints: 3437
131.93/132.31 c INPROCESSING
131.93/132.31 c GARBAGE COLLECT
131.93/132.31 c #Conflicts: 7000 | #Constraints: 2436
131.93/132.31 c #Conflicts: 8000 | #Constraints: 3436
131.93/132.31 c #Conflicts: 9000 | #Constraints: 4436
131.93/132.31 c INPROCESSING
131.93/132.31 c GARBAGE COLLECT
131.93/132.31 c #Conflicts: 10000 | #Constraints: 3198
131.93/132.31 c #Conflicts: 11000 | #Constraints: 4198
131.93/132.31 c #Conflicts: 12000 | #Constraints: 5198
131.93/132.31 c #Conflicts: 13000 | #Constraints: 6198
131.93/132.31 c #Conflicts: 14000 | #Constraints: 7198
131.93/132.31 c #Conflicts: 15000 | #Constraints: 8198
131.93/132.31 c #Conflicts: 16000 | #Constraints: 9198
131.93/132.31 c INPROCESSING
131.93/132.31 c GARBAGE COLLECT
131.93/132.31 c #Conflicts: 17000 | #Constraints: 5372
131.93/132.31 c #Conflicts: 18000 | #Constraints: 6372
131.93/132.31 c #Conflicts: 19000 | #Constraints: 7372
131.93/132.31 c #Conflicts: 20000 | #Constraints: 8372
131.93/132.31 c INPROCESSING
131.93/132.31 c GARBAGE COLLECT
131.93/132.31 c #Conflicts: 21000 | #Constraints: 5658
131.93/132.31 c #Conflicts: 22000 | #Constraints: 6658
131.93/132.31 c #Conflicts: 23000 | #Constraints: 7658
131.93/132.31 c #Conflicts: 24000 | #Constraints: 8658
131.93/132.31 c #Conflicts: 25000 | #Constraints: 9658
131.93/132.31 c #Conflicts: 26000 | #Constraints: 10658
131.93/132.31 c #Conflicts: 27000 | #Constraints: 11658
131.93/132.31 c #Conflicts: 28000 | #Constraints: 12658
131.93/132.31 c #Conflicts: 29000 | #Constraints: 13658
131.93/132.31 c #Conflicts: 30000 | #Constraints: 14658
131.93/132.31 c INPROCESSING
131.93/132.31 c GARBAGE COLLECT
131.93/132.31 c #Conflicts: 31000 | #Constraints: 7999
131.93/132.31 c #Conflicts: 32000 | #Constraints: 8999
131.93/132.31 c #Conflicts: 33000 | #Constraints: 9999
131.93/132.31 c #Conflicts: 34000 | #Constraints: 10999
131.93/132.31 c #Conflicts: 35000 | #Constraints: 11999
131.93/132.31 c #Conflicts: 36000 | #Constraints: 12999
131.93/132.31 c #Conflicts: 37000 | #Constraints: 13999
131.93/132.31 c bounds -350 >= -26989 @ 128.076
131.93/132.31 c #Conflicts: 38000 | #Constraints: 15001
131.93/132.31 c bounds -351 >= -26969 @ 131.417
131.93/132.31 c stratification level: 264
131.93/132.34 c bounds -351 >= -26701 @ 131.433
131.93/132.34 c finalizing WCE round: reformulating cores
139.22/139.66 c #Conflicts: 39000 | #Constraints: 16008
139.22/139.66 c bounds -352 >= -26701 @ 138.668
139.22/139.66 c bounds -353 >= -26701 @ 138.713
139.22/139.66 c stratification level: 262
169.13/169.66 c bounds -353 >= -26175 @ 143.424
169.13/169.66 c #Conflicts: 40000 | #Constraints: 17013
169.13/169.66 c #Conflicts: 41000 | #Constraints: 18013
169.13/169.66 c #Conflicts: 42000 | #Constraints: 19013
169.13/169.66 c #Conflicts: 43000 | #Constraints: 20013
169.13/169.66 c INPROCESSING
169.13/169.66 c GARBAGE COLLECT
169.13/169.66 c #Conflicts: 44000 | #Constraints: 11213
169.13/169.66 c finalizing WCE round: reformulating cores
540.14/541.61 c #Conflicts: 45000 | #Constraints: 12216
540.14/541.61 c bounds -354 >= -26175 @ 172.976
540.14/541.61 c #Conflicts: 46000 | #Constraints: 13216
540.14/541.61 c #Conflicts: 47000 | #Constraints: 14216
540.14/541.61 c #Conflicts: 48000 | #Constraints: 15216
540.14/541.61 c #Conflicts: 49000 | #Constraints: 16216
540.14/541.61 c #Conflicts: 50000 | #Constraints: 17216
540.14/541.61 c #Conflicts: 51000 | #Constraints: 18216
540.14/541.61 c #Conflicts: 52000 | #Constraints: 19216
540.14/541.61 c #Conflicts: 53000 | #Constraints: 20216
540.14/541.61 c #Conflicts: 54000 | #Constraints: 21216
540.14/541.61 c #Conflicts: 55000 | #Constraints: 22216
540.14/541.61 c #Conflicts: 56000 | #Constraints: 23216
540.14/541.61 c #Conflicts: 57000 | #Constraints: 24216
540.14/541.61 c INPROCESSING
540.14/541.61 c GARBAGE COLLECT
540.14/541.61 c #Conflicts: 58000 | #Constraints: 12834
540.14/541.61 c #Conflicts: 59000 | #Constraints: 13834
540.14/541.61 c #Conflicts: 60000 | #Constraints: 14834
540.14/541.61 c #Conflicts: 61000 | #Constraints: 15834
540.14/541.61 c #Conflicts: 62000 | #Constraints: 16834
540.14/541.61 c #Conflicts: 63000 | #Constraints: 17834
540.14/541.61 c #Conflicts: 64000 | #Constraints: 18834
540.14/541.61 c #Conflicts: 65000 | #Constraints: 19834
540.14/541.61 c INPROCESSING
540.14/541.61 c GARBAGE COLLECT
540.14/541.61 c #Conflicts: 66000 | #Constraints: 11604
540.14/541.61 c #Conflicts: 67000 | #Constraints: 12604
540.14/541.61 c #Conflicts: 68000 | #Constraints: 13604
540.14/541.61 c #Conflicts: 69000 | #Constraints: 14604
540.14/541.61 c #Conflicts: 70000 | #Constraints: 15604
540.14/541.61 c #Conflicts: 71000 | #Constraints: 16604
540.14/541.61 c #Conflicts: 72000 | #Constraints: 17604
540.14/541.61 c #Conflicts: 73000 | #Constraints: 18604
540.14/541.61 c #Conflicts: 74000 | #Constraints: 19604
540.14/541.61 c #Conflicts: 75000 | #Constraints: 20604
540.14/541.61 c #Conflicts: 76000 | #Constraints: 21604
540.14/541.61 c #Conflicts: 77000 | #Constraints: 22604
540.14/541.61 c #Conflicts: 78000 | #Constraints: 23604
540.14/541.61 c #Conflicts: 79000 | #Constraints: 24604
540.14/541.61 c #Conflicts: 80000 | #Constraints: 25604
540.14/541.61 c #Conflicts: 81000 | #Constraints: 26604
540.14/541.61 c #Conflicts: 82000 | #Constraints: 27604
540.14/541.61 c INPROCESSING
540.14/541.61 c GARBAGE COLLECT
540.14/541.61 c #Conflicts: 83000 | #Constraints: 14582
540.14/541.61 c #Conflicts: 84000 | #Constraints: 15582
540.14/541.61 c #Conflicts: 85000 | #Constraints: 16582
540.14/541.61 c #Conflicts: 86000 | #Constraints: 17582
540.14/541.61 c #Conflicts: 87000 | #Constraints: 18582
540.14/541.61 c #Conflicts: 88000 | #Constraints: 19582
540.14/541.61 c #Conflicts: 89000 | #Constraints: 20582
540.14/541.61 c #Conflicts: 90000 | #Constraints: 21582
540.14/541.61 c #Conflicts: 91000 | #Constraints: 22582
540.14/541.61 c INPROCESSING
540.14/541.61 c GARBAGE COLLECT
540.14/541.61 c #Conflicts: 92000 | #Constraints: 12227
540.14/541.61 c #Conflicts: 93000 | #Constraints: 13227
540.14/541.61 c #Conflicts: 94000 | #Constraints: 14227
540.14/541.61 c #Conflicts: 95000 | #Constraints: 15227
540.14/541.61 c #Conflicts: 96000 | #Constraints: 16227
540.14/541.61 c #Conflicts: 97000 | #Constraints: 17227
540.14/541.61 c #Conflicts: 98000 | #Constraints: 18227
540.14/541.61 c #Conflicts: 99000 | #Constraints: 19227
540.14/541.61 c #Conflicts: 100000 | #Constraints: 20227
540.14/541.61 c INPROCESSING
540.14/541.61 c GARBAGE COLLECT
540.14/541.61 c #Conflicts: 101000 | #Constraints: 11511
540.14/541.61 c #Conflicts: 102000 | #Constraints: 12511
540.14/541.61 c #Conflicts: 103000 | #Constraints: 13511
540.14/541.61 c #Conflicts: 104000 | #Constraints: 14511
540.14/541.61 c #Conflicts: 105000 | #Constraints: 15511
540.14/541.61 c #Conflicts: 106000 | #Constraints: 16511
540.14/541.61 c #Conflicts: 107000 | #Constraints: 17511
540.14/541.61 c #Conflicts: 108000 | #Constraints: 18511
540.14/541.61 c #Conflicts: 109000 | #Constraints: 19511
540.14/541.61 c #Conflicts: 110000 | #Constraints: 20511
540.14/541.61 c #Conflicts: 111000 | #Constraints: 21511
540.14/541.61 c #Conflicts: 112000 | #Constraints: 22511
540.14/541.61 c #Conflicts: 113000 | #Constraints: 23511
540.14/541.61 c #Conflicts: 114000 | #Constraints: 24511
540.14/541.61 c #Conflicts: 115000 | #Constraints: 25511
540.14/541.61 c #Conflicts: 116000 | #Constraints: 26511
540.14/541.61 c #Conflicts: 117000 | #Constraints: 27511
540.14/541.61 c #Conflicts: 118000 | #Constraints: 28511
540.14/541.61 c #Conflicts: 119000 | #Constraints: 29511
920.51/923.04 c #Conflicts: 120000 | #Constraints: 30511
920.51/923.04 c #Conflicts: 121000 | #Constraints: 31511
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 122000 | #Constraints: 16379
920.51/923.04 c #Conflicts: 123000 | #Constraints: 17379
920.51/923.04 c #Conflicts: 124000 | #Constraints: 18379
920.51/923.04 c #Conflicts: 125000 | #Constraints: 19379
920.51/923.04 c #Conflicts: 126000 | #Constraints: 20379
920.51/923.04 c #Conflicts: 127000 | #Constraints: 21379
920.51/923.04 c #Conflicts: 128000 | #Constraints: 22379
920.51/923.04 c #Conflicts: 129000 | #Constraints: 23379
920.51/923.04 c #Conflicts: 130000 | #Constraints: 24379
920.51/923.04 c #Conflicts: 131000 | #Constraints: 25379
920.51/923.04 c #Conflicts: 132000 | #Constraints: 26379
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 133000 | #Constraints: 14216
920.51/923.04 c #Conflicts: 134000 | #Constraints: 15216
920.51/923.04 c #Conflicts: 135000 | #Constraints: 16216
920.51/923.04 c #Conflicts: 136000 | #Constraints: 17216
920.51/923.04 c #Conflicts: 137000 | #Constraints: 18216
920.51/923.04 c #Conflicts: 138000 | #Constraints: 19216
920.51/923.04 c #Conflicts: 139000 | #Constraints: 20216
920.51/923.04 c #Conflicts: 140000 | #Constraints: 21216
920.51/923.04 c #Conflicts: 141000 | #Constraints: 22216
920.51/923.04 c #Conflicts: 142000 | #Constraints: 23216
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 143000 | #Constraints: 12436
920.51/923.04 c #Conflicts: 144000 | #Constraints: 13436
920.51/923.04 c #Conflicts: 145000 | #Constraints: 14436
920.51/923.04 c #Conflicts: 146000 | #Constraints: 15436
920.51/923.04 c #Conflicts: 147000 | #Constraints: 16436
920.51/923.04 c #Conflicts: 148000 | #Constraints: 17436
920.51/923.04 c #Conflicts: 149000 | #Constraints: 18436
920.51/923.04 c #Conflicts: 150000 | #Constraints: 19436
920.51/923.04 c #Conflicts: 151000 | #Constraints: 20436
920.51/923.04 c #Conflicts: 152000 | #Constraints: 21436
920.51/923.04 c #Conflicts: 153000 | #Constraints: 22436
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 154000 | #Constraints: 12258
920.51/923.04 c #Conflicts: 155000 | #Constraints: 13258
920.51/923.04 c #Conflicts: 156000 | #Constraints: 14258
920.51/923.04 c #Conflicts: 157000 | #Constraints: 15258
920.51/923.04 c #Conflicts: 158000 | #Constraints: 16258
920.51/923.04 c #Conflicts: 159000 | #Constraints: 17258
920.51/923.04 c #Conflicts: 160000 | #Constraints: 18258
920.51/923.04 c #Conflicts: 161000 | #Constraints: 19258
920.51/923.04 c #Conflicts: 162000 | #Constraints: 20258
920.51/923.04 c #Conflicts: 163000 | #Constraints: 21258
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 164000 | #Constraints: 11257
920.51/923.04 c #Conflicts: 165000 | #Constraints: 12257
920.51/923.04 c #Conflicts: 166000 | #Constraints: 13257
920.51/923.04 c #Conflicts: 167000 | #Constraints: 14257
920.51/923.04 c #Conflicts: 168000 | #Constraints: 15257
920.51/923.04 c #Conflicts: 169000 | #Constraints: 16257
920.51/923.04 c #Conflicts: 170000 | #Constraints: 17257
920.51/923.04 c #Conflicts: 171000 | #Constraints: 18257
920.51/923.04 c #Conflicts: 172000 | #Constraints: 19257
920.51/923.04 c #Conflicts: 173000 | #Constraints: 20257
920.51/923.04 c #Conflicts: 174000 | #Constraints: 21257
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 175000 | #Constraints: 11253
920.51/923.04 c #Conflicts: 176000 | #Constraints: 12253
920.51/923.04 c #Conflicts: 177000 | #Constraints: 13253
920.51/923.04 c #Conflicts: 178000 | #Constraints: 14253
920.51/923.04 c #Conflicts: 179000 | #Constraints: 15253
920.51/923.04 c #Conflicts: 180000 | #Constraints: 16253
920.51/923.04 c #Conflicts: 181000 | #Constraints: 17253
920.51/923.04 c #Conflicts: 182000 | #Constraints: 18253
920.51/923.04 c #Conflicts: 183000 | #Constraints: 19253
920.51/923.04 c #Conflicts: 184000 | #Constraints: 20253
920.51/923.04 c #Conflicts: 185000 | #Constraints: 21253
920.51/923.04 c #Conflicts: 186000 | #Constraints: 22253
920.51/923.04 c INPROCESSING
920.51/923.04 c GARBAGE COLLECT
920.51/923.04 c #Conflicts: 187000 | #Constraints: 12155
920.51/923.04 c #Conflicts: 188000 | #Constraints: 13155
920.51/923.04 c #Conflicts: 189000 | #Constraints: 14155
920.51/923.04 c #Conflicts: 190000 | #Constraints: 15155
920.51/923.04 c #Conflicts: 191000 | #Constraints: 16155
920.51/923.04 c #Conflicts: 192000 | #Constraints: 17155
920.51/923.04 c #Conflicts: 193000 | #Constraints: 18155
920.51/923.04 c #Conflicts: 194000 | #Constraints: 19155
1282.81/1286.47 c #Conflicts: 195000 | #Constraints: 20155
1282.81/1286.47 c #Conflicts: 196000 | #Constraints: 21155
1282.81/1286.47 c #Conflicts: 197000 | #Constraints: 22155
1282.81/1286.47 c INPROCESSING
1282.81/1286.47 c GARBAGE COLLECT
1282.81/1286.47 c #Conflicts: 198000 | #Constraints: 11903
1282.81/1286.47 c #Conflicts: 199000 | #Constraints: 12903
1282.81/1286.47 c #Conflicts: 200000 | #Constraints: 13903
1282.81/1286.47 c #Conflicts: 201000 | #Constraints: 14903
1282.81/1286.47 c #Conflicts: 202000 | #Constraints: 15903
1282.81/1286.47 c #Conflicts: 203000 | #Constraints: 16903
1282.81/1286.47 c #Conflicts: 204000 | #Constraints: 17903
1282.81/1286.47 c #Conflicts: 205000 | #Constraints: 18903
1282.81/1286.47 c #Conflicts: 206000 | #Constraints: 19903
1282.81/1286.47 c #Conflicts: 207000 | #Constraints: 20903
1282.81/1286.47 c #Conflicts: 208000 | #Constraints: 21903
1282.81/1286.47 c #Conflicts: 209000 | #Constraints: 22903
1282.81/1286.47 c INPROCESSING
1282.81/1286.47 c GARBAGE COLLECT
1282.81/1286.47 c #Conflicts: 210000 | #Constraints: 12486
1282.81/1286.47 c #Conflicts: 211000 | #Constraints: 13486
1282.81/1286.47 c #Conflicts: 212000 | #Constraints: 14486
1282.81/1286.47 c #Conflicts: 213000 | #Constraints: 15486
1282.81/1286.47 c #Conflicts: 214000 | #Constraints: 16486
1282.81/1286.47 c #Conflicts: 215000 | #Constraints: 17486
1282.81/1286.47 c #Conflicts: 216000 | #Constraints: 18486
1282.81/1286.47 c #Conflicts: 217000 | #Constraints: 19486
1282.81/1286.47 c #Conflicts: 218000 | #Constraints: 20486
1282.81/1286.47 c #Conflicts: 219000 | #Constraints: 21486
1282.81/1286.47 c #Conflicts: 220000 | #Constraints: 22486
1282.81/1286.47 c INPROCESSING
1282.81/1286.47 c GARBAGE COLLECT
1282.81/1286.47 c #Conflicts: 221000 | #Constraints: 11872
1282.81/1286.47 c #Conflicts: 222000 | #Constraints: 12872
1282.81/1286.47 c #Conflicts: 223000 | #Constraints: 13872
1282.81/1286.47 c #Conflicts: 224000 | #Constraints: 14872
1282.81/1286.47 c #Conflicts: 225000 | #Constraints: 15872
1282.81/1286.47 c #Conflicts: 226000 | #Constraints: 16872
1282.81/1286.47 c #Conflicts: 227000 | #Constraints: 17872
1282.81/1286.47 c #Conflicts: 228000 | #Constraints: 18872
1282.81/1286.47 c #Conflicts: 229000 | #Constraints: 19872
1282.81/1286.47 c #Conflicts: 230000 | #Constraints: 20872
1282.81/1286.47 c #Conflicts: 231000 | #Constraints: 21872
1282.81/1286.47 c #Conflicts: 232000 | #Constraints: 22872
1282.81/1286.47 c INPROCESSING
1282.81/1286.47 c GARBAGE COLLECT
1282.81/1286.47 c #Conflicts: 233000 | #Constraints: 12070
1282.81/1286.47 c #Conflicts: 234000 | #Constraints: 13070
1282.81/1286.47 c #Conflicts: 235000 | #Constraints: 14070
1282.81/1286.47 c #Conflicts: 236000 | #Constraints: 15070
1282.81/1286.47 c #Conflicts: 237000 | #Constraints: 16070
1282.81/1286.47 c #Conflicts: 238000 | #Constraints: 17070
1282.81/1286.47 c #Conflicts: 239000 | #Constraints: 18070
1282.81/1286.47 c #Conflicts: 240000 | #Constraints: 19070
1282.81/1286.47 c #Conflicts: 241000 | #Constraints: 20070
1282.81/1286.47 c #Conflicts: 242000 | #Constraints: 21070
1282.81/1286.47 c #Conflicts: 243000 | #Constraints: 22070
1282.81/1286.47 c #Conflicts: 244000 | #Constraints: 23070
1282.81/1286.47 c #Conflicts: 245000 | #Constraints: 24070
1282.81/1286.47 c INPROCESSING
1282.81/1286.47 c GARBAGE COLLECT
1282.81/1286.47 c #Conflicts: 246000 | #Constraints: 13074
1282.81/1286.47 c #Conflicts: 247000 | #Constraints: 14074
1282.81/1286.47 c #Conflicts: 248000 | #Constraints: 15074
1282.81/1286.47 c #Conflicts: 249000 | #Constraints: 16074
1282.81/1286.47 c #Conflicts: 250000 | #Constraints: 17074
1282.81/1286.47 c #Conflicts: 251000 | #Constraints: 18074
1282.81/1286.47 c #Conflicts: 252000 | #Constraints: 19074
1282.81/1286.47 c #Conflicts: 253000 | #Constraints: 20074
1282.81/1286.47 c #Conflicts: 254000 | #Constraints: 21074
1282.81/1286.47 c #Conflicts: 255000 | #Constraints: 22074
1282.81/1286.47 c #Conflicts: 256000 | #Constraints: 23074
1282.81/1286.47 c #Conflicts: 257000 | #Constraints: 24074
1282.81/1286.47 c INPROCESSING
1282.81/1286.47 c GARBAGE COLLECT
1282.81/1286.47 c #Conflicts: 258000 | #Constraints: 12867
1282.81/1286.47 c #Conflicts: 259000 | #Constraints: 13867
1282.81/1286.47 c #Conflicts: 260000 | #Constraints: 14867
1282.81/1286.47 c #Conflicts: 261000 | #Constraints: 15867
1282.81/1286.47 c #Conflicts: 262000 | #Constraints: 16867
1282.81/1286.47 c #Conflicts: 263000 | #Constraints: 17867
1282.81/1286.47 c #Conflicts: 264000 | #Constraints: 18867
1282.81/1286.47 c #Conflicts: 265000 | #Constraints: 19867
1282.81/1286.47 c #Conflicts: 266000 | #Constraints: 20867
1282.81/1286.47 c #Conflicts: 267000 | #Constraints: 21867
1282.81/1286.47 c #Conflicts: 268000 | #Constraints: 22867
1282.81/1286.47 c #Conflicts: 269000 | #Constraints: 23867
1714.11/1719.08 c #Conflicts: 270000 | #Constraints: 24867
1714.11/1719.08 c INPROCESSING
1714.11/1719.08 c GARBAGE COLLECT
1714.11/1719.08 c #Conflicts: 271000 | #Constraints: 13469
1714.11/1719.08 c #Conflicts: 272000 | #Constraints: 14469
1714.11/1719.08 c #Conflicts: 273000 | #Constraints: 15469
1714.11/1719.08 c #Conflicts: 274000 | #Constraints: 16469
1714.11/1719.08 c #Conflicts: 275000 | #Constraints: 17469
1714.11/1719.08 c #Conflicts: 276000 | #Constraints: 18469
1714.11/1719.08 c #Conflicts: 277000 | #Constraints: 19469
1714.11/1719.08 c #Conflicts: 278000 | #Constraints: 20469
1714.11/1719.08 c #Conflicts: 279000 | #Constraints: 21469
1714.11/1719.08 c #Conflicts: 280000 | #Constraints: 22469
1714.11/1719.08 c #Conflicts: 281000 | #Constraints: 23469
1714.11/1719.08 c #Conflicts: 282000 | #Constraints: 24469
1714.11/1719.08 c INPROCESSING
1714.11/1719.08 c GARBAGE COLLECT
1714.11/1719.08 c #Conflicts: 283000 | #Constraints: 12861
1714.11/1719.08 c #Conflicts: 284000 | #Constraints: 13861
1714.11/1719.08 c #Conflicts: 285000 | #Constraints: 14861
1714.11/1719.08 c #Conflicts: 286000 | #Constraints: 15861
1714.11/1719.08 c #Conflicts: 287000 | #Constraints: 16861
1714.11/1719.08 c #Conflicts: 288000 | #Constraints: 17861
1714.11/1719.08 c #Conflicts: 289000 | #Constraints: 18861
1714.11/1719.08 c #Conflicts: 290000 | #Constraints: 19861
1714.11/1719.08 c #Conflicts: 291000 | #Constraints: 20861
1714.11/1719.08 c #Conflicts: 292000 | #Constraints: 21861
1714.11/1719.08 c #Conflicts: 293000 | #Constraints: 22861
1714.11/1719.08 c #Conflicts: 294000 | #Constraints: 23861
1714.11/1719.08 c #Conflicts: 295000 | #Constraints: 24861
1714.11/1719.08 c INPROCESSING
1714.11/1719.08 c GARBAGE COLLECT
1714.11/1719.08 c #Conflicts: 296000 | #Constraints: 13059
1714.11/1719.08 c #Conflicts: 297000 | #Constraints: 14059
1714.11/1719.08 c #Conflicts: 298000 | #Constraints: 15059
1714.11/1719.08 c #Conflicts: 299000 | #Constraints: 16059
1714.11/1719.08 c #Conflicts: 300000 | #Constraints: 17059
1714.11/1719.08 c #Conflicts: 301000 | #Constraints: 18059
1714.11/1719.08 c #Conflicts: 302000 | #Constraints: 19059
1714.11/1719.08 c #Conflicts: 303000 | #Constraints: 20059
1714.11/1719.08 c #Conflicts: 304000 | #Constraints: 21059
1714.11/1719.08 c #Conflicts: 305000 | #Constraints: 22059
1714.11/1719.08 c #Conflicts: 306000 | #Constraints: 23059
1714.11/1719.08 c #Conflicts: 307000 | #Constraints: 24059
1714.11/1719.08 c #Conflicts: 308000 | #Constraints: 25059
1714.11/1719.08 c #Conflicts: 309000 | #Constraints: 26059
1714.11/1719.08 c INPROCESSING
1714.11/1719.08 c GARBAGE COLLECT
1714.11/1719.08 c #Conflicts: 310000 | #Constraints: 14056
1714.11/1719.08 c #Conflicts: 311000 | #Constraints: 15056
1714.11/1719.08 c #Conflicts: 312000 | #Constraints: 16056
1714.11/1719.08 c #Conflicts: 313000 | #Constraints: 17056
1714.11/1719.08 c #Conflicts: 314000 | #Constraints: 18056
1714.11/1719.08 c #Conflicts: 315000 | #Constraints: 19056
1714.11/1719.08 c #Conflicts: 316000 | #Constraints: 20056
1714.11/1719.08 c #Conflicts: 317000 | #Constraints: 21056
1714.11/1719.08 c #Conflicts: 318000 | #Constraints: 22056
1714.11/1719.08 c #Conflicts: 319000 | #Constraints: 23056
1714.11/1719.08 c #Conflicts: 320000 | #Constraints: 24056
1714.11/1719.08 c #Conflicts: 321000 | #Constraints: 25056
1714.11/1719.08 c #Conflicts: 322000 | #Constraints: 26056
1714.11/1719.08 c INPROCESSING
1714.11/1719.08 c GARBAGE COLLECT
1714.11/1719.08 c #Conflicts: 323000 | #Constraints: 13856
1714.11/1719.08 c #Conflicts: 324000 | #Constraints: 14856
1714.11/1719.08 c #Conflicts: 325000 | #Constraints: 15856
1714.11/1719.08 c #Conflicts: 326000 | #Constraints: 16856
1714.11/1719.08 c #Conflicts: 327000 | #Constraints: 17856
1714.11/1719.08 c #Conflicts: 328000 | #Constraints: 18856
1714.11/1719.08 c #Conflicts: 329000 | #Constraints: 19856
1714.11/1719.08 c #Conflicts: 330000 | #Constraints: 20856
1714.11/1719.08 c #Conflicts: 331000 | #Constraints: 21856
1714.11/1719.08 c #Conflicts: 332000 | #Constraints: 22856
1714.11/1719.08 c #Conflicts: 333000 | #Constraints: 23856
1714.11/1719.08 c #Conflicts: 334000 | #Constraints: 24856
1714.11/1719.08 c #Conflicts: 335000 | #Constraints: 25856
1714.11/1719.08 c #Conflicts: 336000 | #Constraints: 26856
1714.11/1719.08 c INPROCESSING
1714.11/1719.08 c GARBAGE COLLECT
1714.11/1719.08 c #Conflicts: 337000 | #Constraints: 14462
1714.11/1719.08 c #Conflicts: 338000 | #Constraints: 15462
1714.11/1719.08 c #Conflicts: 339000 | #Constraints: 16462
1714.11/1719.08 c #Conflicts: 340000 | #Constraints: 17462
1714.11/1719.08 c #Conflicts: 341000 | #Constraints: 18462
1714.11/1719.08 c #Conflicts: 342000 | #Constraints: 19462
1714.11/1719.08 c #Conflicts: 343000 | #Constraints: 20462
1714.11/1719.08 c #Conflicts: 344000 | #Constraints: 21462
2221.28/2227.73 c #Conflicts: 345000 | #Constraints: 22462
2221.28/2227.73 c #Conflicts: 346000 | #Constraints: 23462
2221.28/2227.73 c #Conflicts: 347000 | #Constraints: 24462
2221.28/2227.73 c #Conflicts: 348000 | #Constraints: 25462
2221.28/2227.73 c #Conflicts: 349000 | #Constraints: 26462
2221.28/2227.73 c INPROCESSING
2221.28/2227.73 c GARBAGE COLLECT
2221.28/2227.73 c #Conflicts: 350000 | #Constraints: 13860
2221.28/2227.73 c #Conflicts: 351000 | #Constraints: 14860
2221.28/2227.73 c #Conflicts: 352000 | #Constraints: 15860
2221.28/2227.73 c #Conflicts: 353000 | #Constraints: 16860
2221.28/2227.73 c #Conflicts: 354000 | #Constraints: 17860
2221.28/2227.73 c #Conflicts: 355000 | #Constraints: 18860
2221.28/2227.73 c #Conflicts: 356000 | #Constraints: 19860
2221.28/2227.73 c #Conflicts: 357000 | #Constraints: 20860
2221.28/2227.73 c #Conflicts: 358000 | #Constraints: 21860
2221.28/2227.73 c #Conflicts: 359000 | #Constraints: 22860
2221.28/2227.73 c #Conflicts: 360000 | #Constraints: 23860
2221.28/2227.73 c #Conflicts: 361000 | #Constraints: 24860
2221.28/2227.73 c #Conflicts: 362000 | #Constraints: 25860
2221.28/2227.73 c #Conflicts: 363000 | #Constraints: 26860
2221.28/2227.73 c INPROCESSING
2221.28/2227.73 c GARBAGE COLLECT
2221.28/2227.73 c #Conflicts: 364000 | #Constraints: 14063
2221.28/2227.73 c #Conflicts: 365000 | #Constraints: 15063
2221.28/2227.73 c #Conflicts: 366000 | #Constraints: 16063
2221.28/2227.73 c #Conflicts: 367000 | #Constraints: 17063
2221.28/2227.73 c #Conflicts: 368000 | #Constraints: 18063
2221.28/2227.73 c #Conflicts: 369000 | #Constraints: 19063
2221.28/2227.73 c #Conflicts: 370000 | #Constraints: 20063
2221.28/2227.73 c #Conflicts: 371000 | #Constraints: 21063
2221.28/2227.73 c #Conflicts: 372000 | #Constraints: 22063
2221.28/2227.73 c #Conflicts: 373000 | #Constraints: 23063
2221.28/2227.73 c #Conflicts: 374000 | #Constraints: 24063
2221.28/2227.73 c #Conflicts: 375000 | #Constraints: 25063
2221.28/2227.73 c #Conflicts: 376000 | #Constraints: 26063
2221.28/2227.73 c #Conflicts: 377000 | #Constraints: 27063
2221.28/2227.73 c #Conflicts: 378000 | #Constraints: 28063
2221.28/2227.73 c INPROCESSING
2221.28/2227.73 c GARBAGE COLLECT
2221.28/2227.73 c #Conflicts: 379000 | #Constraints: 15060
2221.28/2227.73 c #Conflicts: 380000 | #Constraints: 16060
2221.28/2227.73 c #Conflicts: 381000 | #Constraints: 17060
2221.28/2227.73 c #Conflicts: 382000 | #Constraints: 18060
2221.28/2227.73 c #Conflicts: 383000 | #Constraints: 19060
2221.28/2227.73 c #Conflicts: 384000 | #Constraints: 20060
2221.28/2227.73 c #Conflicts: 385000 | #Constraints: 21060
2221.28/2227.73 c #Conflicts: 386000 | #Constraints: 22060
2221.28/2227.73 c #Conflicts: 387000 | #Constraints: 23060
2221.28/2227.73 c #Conflicts: 388000 | #Constraints: 24060
2221.28/2227.73 c #Conflicts: 389000 | #Constraints: 25060
2221.28/2227.73 c #Conflicts: 390000 | #Constraints: 26060
2221.28/2227.73 c #Conflicts: 391000 | #Constraints: 27060
2221.28/2227.73 c #Conflicts: 392000 | #Constraints: 28060
2221.28/2227.73 c INPROCESSING
2221.28/2227.73 c GARBAGE COLLECT
2221.28/2227.73 c #Conflicts: 393000 | #Constraints: 14860
2221.28/2227.73 c #Conflicts: 394000 | #Constraints: 15860
2221.28/2227.73 c #Conflicts: 395000 | #Constraints: 16860
2221.28/2227.73 c #Conflicts: 396000 | #Constraints: 17860
2221.28/2227.73 c #Conflicts: 397000 | #Constraints: 18860
2221.28/2227.73 c #Conflicts: 398000 | #Constraints: 19860
2221.28/2227.73 c #Conflicts: 399000 | #Constraints: 20860
2221.28/2227.73 c #Conflicts: 400000 | #Constraints: 21860
2221.28/2227.73 c #Conflicts: 401000 | #Constraints: 22860
2221.28/2227.73 c #Conflicts: 402000 | #Constraints: 23860
2221.28/2227.73 c #Conflicts: 403000 | #Constraints: 24860
2221.28/2227.73 c #Conflicts: 404000 | #Constraints: 25860
2221.28/2227.73 c #Conflicts: 405000 | #Constraints: 26860
2221.28/2227.73 c #Conflicts: 406000 | #Constraints: 27860
2221.28/2227.73 c #Conflicts: 407000 | #Constraints: 28860
2221.28/2227.73 c INPROCESSING
2221.28/2227.73 c GARBAGE COLLECT
2221.28/2227.73 c #Conflicts: 408000 | #Constraints: 15464
2221.28/2227.73 c #Conflicts: 409000 | #Constraints: 16464
2221.28/2227.73 c #Conflicts: 410000 | #Constraints: 17464
2221.28/2227.73 c #Conflicts: 411000 | #Constraints: 18464
2221.28/2227.73 c #Conflicts: 412000 | #Constraints: 19464
2221.28/2227.73 c #Conflicts: 413000 | #Constraints: 20464
2221.28/2227.73 c #Conflicts: 414000 | #Constraints: 21464
2221.28/2227.73 c #Conflicts: 415000 | #Constraints: 22464
2221.28/2227.73 c #Conflicts: 416000 | #Constraints: 23464
2221.28/2227.73 c #Conflicts: 417000 | #Constraints: 24464
2221.28/2227.73 c #Conflicts: 418000 | #Constraints: 25464
2221.28/2227.73 c #Conflicts: 419000 | #Constraints: 26464
2756.62/2764.61 c #Conflicts: 420000 | #Constraints: 27464
2756.62/2764.61 c #Conflicts: 421000 | #Constraints: 28464
2756.62/2764.61 c INPROCESSING
2756.62/2764.61 c GARBAGE COLLECT
2756.62/2764.61 c #Conflicts: 422000 | #Constraints: 14862
2756.62/2764.61 c #Conflicts: 423000 | #Constraints: 15862
2756.62/2764.61 c #Conflicts: 424000 | #Constraints: 16862
2756.62/2764.61 c #Conflicts: 425000 | #Constraints: 17862
2756.62/2764.61 c #Conflicts: 426000 | #Constraints: 18862
2756.62/2764.61 c #Conflicts: 427000 | #Constraints: 19862
2756.62/2764.61 c #Conflicts: 428000 | #Constraints: 20862
2756.62/2764.61 c #Conflicts: 429000 | #Constraints: 21862
2756.62/2764.61 c #Conflicts: 430000 | #Constraints: 22862
2756.62/2764.61 c #Conflicts: 431000 | #Constraints: 23862
2756.62/2764.61 c #Conflicts: 432000 | #Constraints: 24862
2756.62/2764.61 c #Conflicts: 433000 | #Constraints: 25862
2756.62/2764.61 c #Conflicts: 434000 | #Constraints: 26862
2756.62/2764.61 c #Conflicts: 435000 | #Constraints: 27862
2756.62/2764.61 c #Conflicts: 436000 | #Constraints: 28862
2756.62/2764.61 c INPROCESSING
2756.62/2764.61 c GARBAGE COLLECT
2756.62/2764.61 c #Conflicts: 437000 | #Constraints: 15059
2756.62/2764.61 c #Conflicts: 438000 | #Constraints: 16059
2756.62/2764.62 c #Conflicts: 439000 | #Constraints: 17059
2756.62/2764.62 c #Conflicts: 440000 | #Constraints: 18059
2756.62/2764.62 c #Conflicts: 441000 | #Constraints: 19059
2756.62/2764.62 c #Conflicts: 442000 | #Constraints: 20059
2756.62/2764.62 c #Conflicts: 443000 | #Constraints: 21059
2756.62/2764.62 c #Conflicts: 444000 | #Constraints: 22059
2756.62/2764.62 c #Conflicts: 445000 | #Constraints: 23059
2756.62/2764.62 c #Conflicts: 446000 | #Constraints: 24059
2756.62/2764.62 c #Conflicts: 447000 | #Constraints: 25059
2756.62/2764.62 c #Conflicts: 448000 | #Constraints: 26059
2756.62/2764.62 c #Conflicts: 449000 | #Constraints: 27059
2756.62/2764.62 c #Conflicts: 450000 | #Constraints: 28059
2756.62/2764.62 c #Conflicts: 451000 | #Constraints: 29059
2756.62/2764.62 c #Conflicts: 452000 | #Constraints: 30059
2756.62/2764.62 c INPROCESSING
2756.62/2764.62 c GARBAGE COLLECT
2756.62/2764.62 c #Conflicts: 453000 | #Constraints: 16058
2756.62/2764.62 c #Conflicts: 454000 | #Constraints: 17058
2756.62/2764.62 c #Conflicts: 455000 | #Constraints: 18058
2756.62/2764.62 c #Conflicts: 456000 | #Constraints: 19058
2756.62/2764.62 c #Conflicts: 457000 | #Constraints: 20058
2756.62/2764.62 c #Conflicts: 458000 | #Constraints: 21058
2756.62/2764.62 c #Conflicts: 459000 | #Constraints: 22058
2756.62/2764.62 c #Conflicts: 460000 | #Constraints: 23058
2756.62/2764.62 c #Conflicts: 461000 | #Constraints: 24058
2756.62/2764.62 c #Conflicts: 462000 | #Constraints: 25058
2756.62/2764.62 c #Conflicts: 463000 | #Constraints: 26058
2756.62/2764.62 c #Conflicts: 464000 | #Constraints: 27058
2756.62/2764.62 c #Conflicts: 465000 | #Constraints: 28058
2756.62/2764.62 c #Conflicts: 466000 | #Constraints: 29058
2756.62/2764.62 c #Conflicts: 467000 | #Constraints: 30058
2756.62/2764.62 c INPROCESSING
2756.62/2764.62 c GARBAGE COLLECT
2756.62/2764.62 c #Conflicts: 468000 | #Constraints: 15855
2756.62/2764.62 c #Conflicts: 469000 | #Constraints: 16855
2756.62/2764.62 c #Conflicts: 470000 | #Constraints: 17855
2756.62/2764.62 c #Conflicts: 471000 | #Constraints: 18855
2756.62/2764.62 c #Conflicts: 472000 | #Constraints: 19855
2756.62/2764.62 c #Conflicts: 473000 | #Constraints: 20855
2756.62/2764.62 c #Conflicts: 474000 | #Constraints: 21855
2756.62/2764.62 c #Conflicts: 475000 | #Constraints: 22855
2756.62/2764.62 c #Conflicts: 476000 | #Constraints: 23855
2756.62/2764.62 c #Conflicts: 477000 | #Constraints: 24855
2756.62/2764.62 c #Conflicts: 478000 | #Constraints: 25855
2756.62/2764.62 c #Conflicts: 479000 | #Constraints: 26855
2756.62/2764.62 c #Conflicts: 480000 | #Constraints: 27855
2756.62/2764.62 c #Conflicts: 481000 | #Constraints: 28855
2756.62/2764.62 c #Conflicts: 482000 | #Constraints: 29855
2756.62/2764.62 c #Conflicts: 483000 | #Constraints: 30855
2756.62/2764.62 c INPROCESSING
2756.62/2764.62 c GARBAGE COLLECT
2756.62/2764.62 c #Conflicts: 484000 | #Constraints: 16453
2756.62/2764.62 c #Conflicts: 485000 | #Constraints: 17453
2756.62/2764.62 c #Conflicts: 486000 | #Constraints: 18453
2756.62/2764.62 c #Conflicts: 487000 | #Constraints: 19453
2756.62/2764.62 c #Conflicts: 488000 | #Constraints: 20453
2756.62/2764.62 c #Conflicts: 489000 | #Constraints: 21453
2756.62/2764.62 c #Conflicts: 490000 | #Constraints: 22453
2756.62/2764.62 c #Conflicts: 491000 | #Constraints: 23453
2756.62/2764.62 c #Conflicts: 492000 | #Constraints: 24453
2756.62/2764.62 c #Conflicts: 493000 | #Constraints: 25453
2756.62/2764.62 c #Conflicts: 494000 | #Constraints: 26453
2756.62/2764.62 c #Conflicts: 495000 | #Constraints: 27453
3364.14/3374.08 c #Conflicts: 496000 | #Constraints: 28453
3364.14/3374.08 c #Conflicts: 497000 | #Constraints: 29453
3364.14/3374.08 c #Conflicts: 498000 | #Constraints: 30453
3364.14/3374.08 c INPROCESSING
3364.14/3374.08 c GARBAGE COLLECT
3364.14/3374.08 c #Conflicts: 499000 | #Constraints: 15860
3364.14/3374.08 c #Conflicts: 500000 | #Constraints: 16860
3364.14/3374.08 c #Conflicts: 501000 | #Constraints: 17860
3364.14/3374.08 c #Conflicts: 502000 | #Constraints: 18860
3364.14/3374.08 c #Conflicts: 503000 | #Constraints: 19860
3364.14/3374.08 c #Conflicts: 504000 | #Constraints: 20860
3364.14/3374.08 c #Conflicts: 505000 | #Constraints: 21860
3364.14/3374.08 c #Conflicts: 506000 | #Constraints: 22860
3364.14/3374.08 c #Conflicts: 507000 | #Constraints: 23860
3364.14/3374.08 c #Conflicts: 508000 | #Constraints: 24860
3364.14/3374.08 c #Conflicts: 509000 | #Constraints: 25860
3364.14/3374.08 c #Conflicts: 510000 | #Constraints: 26860
3364.14/3374.08 c #Conflicts: 511000 | #Constraints: 27860
3364.14/3374.08 c #Conflicts: 512000 | #Constraints: 28860
3364.14/3374.08 c #Conflicts: 513000 | #Constraints: 29860
3364.14/3374.08 c #Conflicts: 514000 | #Constraints: 30860
3364.14/3374.08 c INPROCESSING
3364.14/3374.08 c GARBAGE COLLECT
3364.14/3374.08 c #Conflicts: 515000 | #Constraints: 16057
3364.14/3374.08 c #Conflicts: 516000 | #Constraints: 17057
3364.14/3374.08 c #Conflicts: 517000 | #Constraints: 18057
3364.14/3374.08 c #Conflicts: 518000 | #Constraints: 19057
3364.14/3374.08 c #Conflicts: 519000 | #Constraints: 20057
3364.14/3374.08 c #Conflicts: 520000 | #Constraints: 21057
3364.14/3374.08 c #Conflicts: 521000 | #Constraints: 22057
3364.14/3374.08 c #Conflicts: 522000 | #Constraints: 23057
3364.14/3374.08 c #Conflicts: 523000 | #Constraints: 24057
3364.14/3374.08 c #Conflicts: 524000 | #Constraints: 25057
3364.14/3374.08 c #Conflicts: 525000 | #Constraints: 26057
3364.14/3374.08 c #Conflicts: 526000 | #Constraints: 27057
3364.14/3374.08 c #Conflicts: 527000 | #Constraints: 28057
3364.14/3374.08 c #Conflicts: 528000 | #Constraints: 29057
3364.14/3374.08 c #Conflicts: 529000 | #Constraints: 30057
3364.14/3374.08 c #Conflicts: 530000 | #Constraints: 31057
3364.14/3374.08 c #Conflicts: 531000 | #Constraints: 32057
3364.14/3374.08 c INPROCESSING
3364.14/3374.08 c GARBAGE COLLECT
3364.14/3374.08 c #Conflicts: 532000 | #Constraints: 17069
3364.14/3374.08 c #Conflicts: 533000 | #Constraints: 18069
3364.14/3374.08 c #Conflicts: 534000 | #Constraints: 19069
3364.14/3374.08 c #Conflicts: 535000 | #Constraints: 20069
3364.14/3374.08 c #Conflicts: 536000 | #Constraints: 21069
3364.14/3374.08 c #Conflicts: 537000 | #Constraints: 22069
3364.14/3374.08 c #Conflicts: 538000 | #Constraints: 23069
3364.14/3374.08 c #Conflicts: 539000 | #Constraints: 24069
3364.14/3374.08 c #Conflicts: 540000 | #Constraints: 25069
3364.14/3374.08 c #Conflicts: 541000 | #Constraints: 26069
3364.14/3374.08 c #Conflicts: 542000 | #Constraints: 27069
3364.14/3374.08 c #Conflicts: 543000 | #Constraints: 28069
3364.14/3374.08 c #Conflicts: 544000 | #Constraints: 29069
3364.14/3374.08 c #Conflicts: 545000 | #Constraints: 30069
3364.14/3374.08 c #Conflicts: 546000 | #Constraints: 31069
3364.14/3374.08 c #Conflicts: 547000 | #Constraints: 32069
3364.14/3374.08 c INPROCESSING
3364.14/3374.08 c GARBAGE COLLECT
3364.14/3374.08 c #Conflicts: 548000 | #Constraints: 16863
3364.14/3374.08 c #Conflicts: 549000 | #Constraints: 17863
3364.14/3374.08 c #Conflicts: 550000 | #Constraints: 18863
3364.14/3374.08 c #Conflicts: 551000 | #Constraints: 19863
3364.14/3374.08 c #Conflicts: 552000 | #Constraints: 20863
3364.14/3374.08 c #Conflicts: 553000 | #Constraints: 21863
3364.14/3374.08 c #Conflicts: 554000 | #Constraints: 22863
3364.14/3374.08 c #Conflicts: 555000 | #Constraints: 23863
3364.14/3374.08 c #Conflicts: 556000 | #Constraints: 24863
3364.14/3374.08 c #Conflicts: 557000 | #Constraints: 25863
3364.14/3374.08 c #Conflicts: 558000 | #Constraints: 26863
3364.14/3374.08 c #Conflicts: 559000 | #Constraints: 27863
3364.14/3374.08 c #Conflicts: 560000 | #Constraints: 28863
3364.14/3374.08 c #Conflicts: 561000 | #Constraints: 29863
3364.14/3374.08 c #Conflicts: 562000 | #Constraints: 30863
3364.14/3374.08 c #Conflicts: 563000 | #Constraints: 31863
3364.14/3374.08 c #Conflicts: 564000 | #Constraints: 32863
3364.14/3374.08 c INPROCESSING
3364.14/3374.08 c GARBAGE COLLECT
3364.14/3374.08 c #Conflicts: 565000 | #Constraints: 17460
3364.14/3374.08 c #Conflicts: 566000 | #Constraints: 18460
3364.14/3374.08 c #Conflicts: 567000 | #Constraints: 19460
3364.14/3374.08 c #Conflicts: 568000 | #Constraints: 20460
3364.14/3374.08 c #Conflicts: 569000 | #Constraints: 21460
3364.14/3374.08 c #Conflicts: 570000 | #Constraints: 22460
3600.05/3610.70 c #Conflicts: 571000 | #Constraints: 23460
3600.05/3610.70 c #Conflicts: 572000 | #Constraints: 24460
3600.05/3610.70 c #Conflicts: 573000 | #Constraints: 25460
3600.05/3610.70 c #Conflicts: 574000 | #Constraints: 26460
3600.05/3610.70 c #Conflicts: 575000 | #Constraints: 27460
3600.05/3610.70 c #Conflicts: 576000 | #Constraints: 28460
3600.05/3610.70 c #Conflicts: 577000 | #Constraints: 29460
3600.05/3610.70 c #Conflicts: 578000 | #Constraints: 30460
3600.05/3610.70 c #Conflicts: 579000 | #Constraints: 31460
3600.05/3610.70 c #Conflicts: 580000 | #Constraints: 32460
3600.05/3610.70 c INPROCESSING
3600.05/3610.70 c GARBAGE COLLECT
3600.05/3610.70 c #Conflicts: 581000 | #Constraints: 16860
3600.05/3610.70 c #Conflicts: 582000 | #Constraints: 17860
3600.05/3610.70 c #Conflicts: 583000 | #Constraints: 18860
3600.05/3610.70 c #Conflicts: 584000 | #Constraints: 19860
3600.05/3610.70 c #Conflicts: 585000 | #Constraints: 20860
3600.05/3610.70 c #Conflicts: 586000 | #Constraints: 21860
3600.05/3610.70 c #Conflicts: 587000 | #Constraints: 22860
3600.05/3610.70 c #Conflicts: 588000 | #Constraints: 23860
3600.05/3610.70 c #Conflicts: 589000 | #Constraints: 24860
3600.05/3610.70 c #Conflicts: 590000 | #Constraints: 25860
3600.05/3610.70 c #Conflicts: 591000 | #Constraints: 26860
3600.05/3610.70 c #Conflicts: 592000 | #Constraints: 27860
3600.05/3610.70 c #Conflicts: 593000 | #Constraints: 28860
3600.05/3610.70 c #Conflicts: 594000 | #Constraints: 29860
3600.05/3610.70 c #Conflicts: 595000 | #Constraints: 30860
3600.05/3610.70 c Program interrupted by user.
3600.05/3610.70 c cpu time 3595.04 s
3600.05/3610.70 c deterministic time 782259228283 7.82e+11
3600.05/3610.70 c optimization time 142.901 s
3600.05/3610.70 c total solve time 3452.14 s
3600.05/3610.70 c core-guided solve time 3452.14 s
3600.05/3610.70 c propagation time 3401.33 s
3600.05/3610.70 c conflict analysis time 179.093 s
3600.05/3610.70 c propagations 5720806
3600.05/3610.70 c resolve steps 2322709
3600.05/3610.70 c decisions 1461990
3600.05/3610.70 c conflicts 595818
3600.05/3610.70 c restarts 1276
3600.05/3610.70 c inprocessing phases 48
3600.05/3610.70 c input clauses 30
3600.05/3610.70 c input cardinalities 1
3600.05/3610.70 c input general constraints 22
3600.05/3610.70 c input average constraint length 84.36
3600.05/3610.70 c input average constraint degree 3505.36
3600.05/3610.70 c learned clauses 144298
3600.05/3610.70 c learned cardinalities 198
3600.05/3610.70 c learned general constraints 451321
3600.05/3610.70 c learned average constraint length 194.22
3600.05/3610.70 c learned average constraint degree 504461.49
3600.05/3610.70 c watched constraints 159913
3600.05/3610.70 c counting constraints 291430
3600.05/3610.70 c gcd simplifications 93794
3600.05/3610.70 c detected cardinalities 133
3600.05/3610.70 c weakened non-implied lits 14388320
3600.05/3610.70 c weakened non-implying lits 280119
3600.05/3610.70 c original variables 250
3600.05/3610.70 c clausal propagations 177887
3600.05/3610.70 c cardinality propagations 2267
3600.05/3610.70 c watched propagations 2265099
3600.05/3610.70 c counting propagations 2785105
3600.05/3610.70 c watch lookups 20764845222
3600.05/3610.70 c watch backjump lookups 20418860298
3600.05/3610.70 c watch checks 34991187655
3600.05/3610.70 c propagation checks 705432309459
3600.05/3610.70 c constraint additions 637064510
3600.05/3610.70 c trail pops 7778342
3600.05/3610.70 c formula constraints 1
3600.05/3610.70 c learned constraints 595817
3600.05/3610.70 c bound constraints 15
3600.05/3610.70 c core-guided constraints 37
3600.05/3610.70 c encountered formula constraints 377746
3600.05/3610.70 c encountered learned constraints 2060447
3600.05/3610.70 c encountered bound constraints 479181
3600.05/3610.70 c encountered core-guided constraints 1153
3600.05/3610.70 c LP total time 0 s
3600.05/3610.70 c LP solve time 0 s
3600.05/3610.70 c LP constraints added 0
3600.05/3610.70 c LP constraints removed 0
3600.05/3610.70 c LP pivots internal 0
3600.05/3610.70 c LP pivots root 0
3600.05/3610.70 c LP calls 0
3600.05/3610.70 c LP optimalities 0
3600.05/3610.70 c LP no pivot count 0
3600.05/3610.70 c LP infeasibilities 0
3600.05/3610.70 c LP valid Farkas constraints 0
3600.05/3610.70 c LP learned Farkas constraints 0
3600.05/3610.70 c LP basis resets 0
3600.05/3610.70 c LP cycling count 0
3600.05/3610.70 c LP singular count 0
3600.05/3610.70 c LP no primal count 0
3600.05/3610.70 c LP no farkas count 0
3600.05/3610.70 c LP other issue count 0
3600.05/3610.70 c LP Gomory cuts 0
3600.05/3610.70 c LP learned cuts 0
3600.05/3610.70 c LP deleted cuts 0
3600.05/3610.70 c LP encountered Gomory constraints 0
3600.05/3610.70 c LP encountered Farkas constraints 0
3600.05/3610.70 c LP encountered learned Farkas constraints 0
3600.05/3610.70 c CG auxiliary variables introduced 33
3600.05/3610.70 c CG solutions found 9
3600.05/3610.70 c CG cores constructed 5
3600.05/3610.70 c CG core cardinality constraints returned 0
3600.05/3610.70 c CG unit cores 1
3600.05/3610.70 c CG single cores 4
3600.05/3610.70 c CG blocks removed during cardinality reduction 0
3600.05/3610.70 c CG first core best 0
3600.05/3610.70 c CG decision core best 0
3600.05/3610.70 c CG core reduction tie 0
3600.05/3610.70 c CG core degree average 1.00
3600.05/3610.70 c CG core slack average 1.25
3600.05/3610.70 c CG exhausted 0
3600.05/3610.70 c CG exhaust time 12.0323 s
3600.05/3610.70 c CG trimmed 0
3600.05/3610.70 c CG trim time 0.003886 s
3600.05/3610.70 c CG minimized 0
3600.05/3610.70 c CG minimize time 0 s
3600.05/3610.70 c CG am1 prop time 0.017154 s
3600.05/3610.70 c CG # am1s reformulated 28
3600.05/3610.70 c CG lower bound derived from am1s 15628
3600.05/3610.70 c CG # clausal cores 4
3600.05/3610.70 c CG # cardinality cores 0
3600.05/3610.70 c CG # pb cores 0
3600.05/3610.70 c CG # pb reforms 3
3600.05/3610.70 c CG # cores discarded because of pb reform 0
3600.05/3610.70 d LOWERBOUND -26175
3600.05/3610.70 d NCORES 5
3600.05/3610.70 d NPBCORES 0
3600.05/3610.70 d NPBREFORM 3
3600.05/3610.70 d NTRIMMED 0
3600.05/3610.70 d NEXHAUSTED 0
3600.05/3610.70 d NAM1S 28
3600.05/3610.70 d AM1LB 15628
3600.05/3610.70 o -354
3600.05/3610.70 s SATISFIABLE
3600.05/3610.70 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: 64059 MiB (57363 MiB free)
memory of node 1: 64510 MiB (54401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457488-1721865124/watcher-4457488-1721865124 -o /tmp/evaluation-result-4457488-1721865124/solver-4457488-1721865124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256777 --watchdog 3760 pb-oll-rs HOME/instance-4457488-1721865124.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=256831, runsolver pid=256822
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 0.07 0.08 0.09 4/241 256841
/proc/meminfo: memFree=114434604/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=39580 memory=8928 CPUtime=0.11 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 539 0 1 0 10 1 0 0 20 0 1 0 22501782 40529920 2232 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 9895 2232 1351 291 0 1429 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 8928 KiB
[startup+0.215502 s]*
/proc/loadavg: 0.07 0.08 0.09 4/238 256849
/proc/meminfo: memFree=114431924/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=40108 memory=9452 CPUtime=0.21 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 663 0 1 0 20 1 0 0 20 0 1 0 22501782 41070592 2363 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 10027 2363 1351 291 0 1561 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 9452 KiB
[startup+0.314285 s]*
/proc/loadavg: 0.07 0.08 0.09 5/238 256849
/proc/meminfo: memFree=114428860/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=40108 memory=9452 CPUtime=0.31 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 680 0 1 0 30 1 0 0 20 0 1 0 22501782 41070592 2363 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 10027 2363 1351 291 0 1561 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 9452 KiB
[startup+0.700289 s]
/proc/loadavg: 0.07 0.08 0.09 4/235 256863
/proc/meminfo: memFree=114434656/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=41184 memory=10508 CPUtime=0.69 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 944 0 1 0 67 2 0 0 20 0 1 0 22501782 42172416 2627 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 10296 2627 1351 291 0 1830 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 10508 KiB
[startup+1.50027 s]
/proc/loadavg: 0.07 0.08 0.09 5/243 256933
/proc/meminfo: memFree=114424592/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=43040 memory=12884 CPUtime=1.48 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 1531 0 1 0 145 3 0 0 20 0 1 0 22501782 44072960 3221 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 10760 3221 1351 291 0 2294 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 12884 KiB
[startup+3.1134 s]
/proc/loadavg: 0.38 0.14 0.11 5/243 256933
/proc/meminfo: memFree=114323284/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=49828 memory=18448 CPUtime=3.09 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 2885 0 1 0 303 6 0 0 20 0 1 0 22501782 51023872 4612 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 12457 4612 1415 291 0 3991 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49828 KiB
Current children cumulated memory: 18448 KiB
[startup+6.30028 s]
/proc/loadavg: 0.38 0.14 0.11 5/243 256933
/proc/meminfo: memFree=114215880/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=55368 memory=21656 CPUtime=6.27 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 3685 0 1 0 616 11 0 0 20 0 1 0 22501782 56696832 5414 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 13842 5414 1415 291 0 5376 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55368 KiB
Current children cumulated memory: 21656 KiB
[startup+12.7003 s]
/proc/loadavg: 0.75 0.23 0.13 5/243 256935
/proc/meminfo: memFree=114056212/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=56040 memory=26600 CPUtime=12.65 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 4385 0 1 0 1247 18 0 0 20 0 1 0 22501782 57384960 6650 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 14010 6650 1415 291 0 5544 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 56040 KiB
Current children cumulated memory: 26600 KiB
[startup+25.5003 s]
/proc/loadavg: 1.54 0.43 0.20 5/243 256936
/proc/meminfo: memFree=113888892/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=71224 memory=39644 CPUtime=25.42 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 6676 0 1 0 2517 25 0 0 20 0 1 0 22501782 72933376 9911 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 17806 9911 1415 291 0 9340 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71224 KiB
Current children cumulated memory: 39644 KiB
[startup+51.1137 s]
/proc/loadavg: 2.44 0.73 0.31 5/243 256941
/proc/meminfo: memFree=113672936/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=71992 memory=40932 CPUtime=50.96 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 6972 0 1 0 5062 34 0 0 20 0 1 0 22501782 73719808 10233 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 17998 10233 1415 291 0 9532 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 71992 KiB
Current children cumulated memory: 40932 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.25 0.51 5/243 256949
/proc/meminfo: memFree=113428816/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=99772 memory=62736 CPUtime=102.02 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 10403 0 1 0 10154 48 0 0 20 0 1 0 22501782 102166528 15684 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 24943 15684 1415 291 0 16477 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 99772 KiB
Current children cumulated memory: 62736 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.78 0.74 5/243 256959
/proc/meminfo: memFree=113152460/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=120444 memory=73196 CPUtime=161.85 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 12039 0 1 0 16124 61 0 0 20 0 1 0 22501782 123334656 18299 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 30111 18299 1415 291 0 21645 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 120444 KiB
Current children cumulated memory: 73196 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.23 0.96 5/242 257353
/proc/meminfo: memFree=113094772/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=121472 memory=77692 CPUtime=221.69 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 12350 0 1 0 22095 74 0 0 20 0 1 0 22501782 124387328 19423 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 30368 19423 1415 291 0 21902 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 121472 KiB
Current children cumulated memory: 77692 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 2.60 1.17 5/242 257363
/proc/meminfo: memFree=112954892/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=124860 memory=81164 CPUtime=281.52 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 13062 0 1 0 28068 84 0 0 20 0 1 0 22501782 127856640 20291 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 31215 20291 1415 291 0 22749 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 81164 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.87 1.36 5/240 257373
/proc/meminfo: memFree=112901552/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=134020 memory=84440 CPUtime=341.37 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 15011 0 1 0 34042 95 0 0 20 0 1 0 22501782 137236480 21110 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 33505 21110 1415 291 0 25039 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 134020 KiB
Current children cumulated memory: 84440 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.13 1.54 5/244 257556
/proc/meminfo: memFree=112883836/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=137376 memory=90168 CPUtime=401.2 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 15804 0 1 0 40017 103 0 0 20 0 1 0 22501782 140673024 22542 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 34344 22542 1415 291 0 25878 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 137376 KiB
Current children cumulated memory: 90168 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.31 1.70 5/244 257566
/proc/meminfo: memFree=112858984/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=138016 memory=90588 CPUtime=461.05 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 15996 0 1 0 45990 115 0 0 20 0 1 0 22501782 141328384 22647 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 34504 22647 1415 291 0 26038 0
################
# More data... #
################
Current children cumulated memory: 113968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.19 4.01 5/244 258646
/proc/meminfo: memFree=111429064/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=150140 memory=114324 CPUtime=2913.86 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 20965 0 1 0 290973 413 0 0 20 0 1 0 22501782 153743360 28581 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 37535 28581 1415 291 0 29069 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 150140 KiB
Current children cumulated memory: 114324 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.17 4.01 5/241 258657
/proc/meminfo: memFree=111413812/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=150140 memory=114400 CPUtime=2973.69 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21010 0 1 0 296950 419 0 0 20 0 1 0 22501782 153743360 28600 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 37535 28600 1415 291 0 29069 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 150140 KiB
Current children cumulated memory: 114400 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.02 5/241 258668
/proc/meminfo: memFree=111391268/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182640 memory=118472 CPUtime=3033.52 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21707 0 1 0 302926 426 0 0 20 0 1 0 22501782 187023360 29618 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45660 29618 1415 291 0 37194 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.15 4.02 5/241 258678
/proc/meminfo: memFree=111390332/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182640 memory=118472 CPUtime=3093.32 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21737 0 1 0 308899 433 0 0 20 0 1 0 22501782 187023360 29618 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45660 29618 1415 291 0 37194 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118472 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.03 5/241 258689
/proc/meminfo: memFree=111391156/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182640 memory=118472 CPUtime=3153.12 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21759 0 1 0 314871 441 0 0 20 0 1 0 22501782 187023360 29618 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45660 29618 1415 291 0 37194 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118472 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.02 5/239 258700
/proc/meminfo: memFree=111367148/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182640 memory=118528 CPUtime=3212.93 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21780 0 1 0 320845 448 0 0 20 0 1 0 22501782 187023360 29632 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45660 29632 1415 291 0 37194 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118528 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/239 258710
/proc/meminfo: memFree=111353384/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182640 memory=118528 CPUtime=3272.73 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21800 0 1 0 326817 456 0 0 20 0 1 0 22501782 187023360 29632 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45660 29632 1415 291 0 37194 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 118528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/239 258720
/proc/meminfo: memFree=111335860/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182768 memory=118396 CPUtime=3332.53 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21855 0 1 0 332790 463 0 0 20 0 1 0 22501782 187154432 29599 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45692 29599 1415 291 0 37226 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 182768 KiB
Current children cumulated memory: 118396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/239 258730
/proc/meminfo: memFree=111317256/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=182768 memory=118532 CPUtime=3392.33 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21875 0 1 0 338760 473 0 0 20 0 1 0 22501782 187154432 29633 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45692 29633 1415 291 0 37226 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 182768 KiB
Current children cumulated memory: 118532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/238 258741
/proc/meminfo: memFree=111307280/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=183156 memory=118664 CPUtime=3452.13 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 21976 0 1 0 344734 479 0 0 20 0 1 0 22501782 187551744 29666 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45789 29666 1415 291 0 37323 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 183156 KiB
Current children cumulated memory: 118664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/242 258757
/proc/meminfo: memFree=111294444/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=183416 memory=121152 CPUtime=3511.94 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 22133 0 1 0 350705 489 0 0 20 0 1 0 22501782 187817984 30288 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45854 30288 1415 291 0 37388 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/242 258768
/proc/meminfo: memFree=111093876/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=183416 memory=121312 CPUtime=3571.74 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 22153 0 1 0 356677 497 0 0 20 0 1 0 22501782 187817984 30328 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45854 30328 1415 291 0 37388 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.12 4.12 4.04 5/242 258820
/proc/meminfo: memFree=112316440/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=183416 memory=121312 CPUtime=3600.05 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 22155 0 1 0 359504 501 0 0 20 0 1 0 22501782 187817984 30328 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45854 30328 1415 291 0 37388 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 256831 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.05 s, system=5.01207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.12 4.12 4.04 5/242 258820
/proc/meminfo: memFree=112316440/131655788 swapFree=131061124/131071996
[pid=256831] ppid=256822 vsize=183416 memory=121312 CPUtime=3600.05 cores=4,6
/proc/256831/stat : 256831 (pb-oll-rs) R 256822 256831 256766 0 -1 4194304 22155 0 1 0 359504 501 0 0 20 0 1 0 22501782 187817984 30328 134679101440 4194304 5384005 140727374835680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6422528 140727374840859 140727374840936 140727374840936 140727374847947 0
/proc/256831/statm: 45854 30328 1415 291 0 37388 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 121312 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.06
CPU user time (s): 3595.05
CPU system time (s): 5.01207
CPU usage (%): 99.7052
Max. virtual memory (cumulated for all children) (KiB): 183416
Max. memory (cumulated for all children) (KiB): 121312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.05
system time used= 5.01207
maximum resident set size= 121488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22171
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 1806
# summary of solver processes directly reported to runsolver:
# pid: 256831
# total CPU time (s): 3600.06
# total CPU user time (s): 3595.05
# total CPU system time (s): 5.01207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9759 second user time and 37.8601 second system time
The end
Begin job on nodeC005 at 2024-07-25 01:52:04
IDJOB=4457488
IDBENCH=176371
IDSOLVER=3067
FILE ID=nodeC005/4457488-1721865124
RUNJOBID= nodeC005-1721865124-256777
SLURM_JOB_ID= 8089204
Free space on /tmp= 723784 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4457488-1721865124/watcher-4457488-1721865124 -o /tmp/evaluation-result-4457488-1721865124/solver-4457488-1721865124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256777 --watchdog 3760 pb-oll-rs HOME/instance-4457488-1721865124.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ca7653980f86b2f84ce865c198a6840
RANDOM SEED=2074671129
nodeC005.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 : 0xb00001f
cpu MHz : 1197.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.117
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114449372 kB
MemAvailable: 129964628 kB
Buffers: 276900 kB
Cached: 16013912 kB
SwapCached: 620 kB
Active: 2529440 kB
Inactive: 14020084 kB
Active(anon): 1500 kB
Inactive(anon): 310492 kB
Active(file): 2527940 kB
Inactive(file): 13709592 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061124 kB
Dirty: 8116 kB
Writeback: 8 kB
AnonPages: 258276 kB
Mapped: 117988 kB
Shmem: 53264 kB
KReclaimable: 235512 kB
Slab: 346172 kB
SReclaimable: 235512 kB
SUnreclaim: 110660 kB
KernelStack: 3584 kB
PageTables: 9396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 625972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 406344 kB
DirectMap2M: 45635584 kB
DirectMap1G: 90177536 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 02:52:15