0.00/0.12 c RoundingSat 2
0.00/0.12 c branch
0.00/0.12 c commit
0.00/0.12 c with Papilo
0.00/0.12 c with SCIP
0.00/0.12 c [STEP] parsing instance
0.08/0.30 c [STEP] preprocessing with Papilo
0.33/0.54 c [STEP] solving with SCIP
299.64/300.75 c [STEP] preprocessing done, loading into solver
299.74/300.80 c [STEP] solving
299.74/300.80 c #variables 22318 #constraints 22691
299.74/300.80 c SMALL=int, LARGE=long long
299.74/300.81 d SCIPUB -57314
299.74/300.81 c bounds - >= -1213494 @ 299.49
299.74/300.81 c stratification level: 6765
496.58/498.11 c bounds - >= -206462 @ 299.497
496.58/498.11 c #Conflicts: 1000 | #Constraints: 23692
496.58/498.11 c bounds - >= -199697 @ 303.325
496.58/498.11 c #Conflicts: 2000 | #Constraints: 24693
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 3000 | #Constraints: 23193
496.58/498.11 c #Conflicts: 4000 | #Constraints: 24193
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 5000 | #Constraints: 23604
496.58/498.11 c #Conflicts: 6000 | #Constraints: 24604
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 7000 | #Constraints: 23626
496.58/498.11 c #Conflicts: 8000 | #Constraints: 24626
496.58/498.11 c #Conflicts: 9000 | #Constraints: 25626
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 10000 | #Constraints: 24354
496.58/498.11 c #Conflicts: 11000 | #Constraints: 25354
496.58/498.11 c #Conflicts: 12000 | #Constraints: 26354
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 13000 | #Constraints: 24817
496.58/498.11 c #Conflicts: 14000 | #Constraints: 25817
496.58/498.11 c #Conflicts: 15000 | #Constraints: 26817
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 16000 | #Constraints: 25058
496.58/498.11 c #Conflicts: 17000 | #Constraints: 26058
496.58/498.11 c #Conflicts: 18000 | #Constraints: 27058
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 19000 | #Constraints: 25033
496.58/498.11 c #Conflicts: 20000 | #Constraints: 26033
496.58/498.11 c #Conflicts: 21000 | #Constraints: 27033
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 22000 | #Constraints: 24847
496.58/498.11 c #Conflicts: 23000 | #Constraints: 25847
496.58/498.11 c #Conflicts: 24000 | #Constraints: 26847
496.58/498.11 c #Conflicts: 25000 | #Constraints: 27847
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 26000 | #Constraints: 25476
496.58/498.11 c #Conflicts: 27000 | #Constraints: 26476
496.58/498.11 c #Conflicts: 28000 | #Constraints: 27476
496.58/498.11 c #Conflicts: 29000 | #Constraints: 28476
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 30000 | #Constraints: 25878
496.58/498.11 c #Conflicts: 31000 | #Constraints: 26878
496.58/498.11 c #Conflicts: 32000 | #Constraints: 27878
496.58/498.11 c #Conflicts: 33000 | #Constraints: 28878
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 34000 | #Constraints: 26079
496.58/498.11 c #Conflicts: 35000 | #Constraints: 27079
496.58/498.11 c #Conflicts: 36000 | #Constraints: 28079
496.58/498.11 c #Conflicts: 37000 | #Constraints: 29079
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 38000 | #Constraints: 26087
496.58/498.11 c #Conflicts: 39000 | #Constraints: 27087
496.58/498.11 c #Conflicts: 40000 | #Constraints: 28087
496.58/498.11 c #Conflicts: 41000 | #Constraints: 29087
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 42000 | #Constraints: 25927
496.58/498.11 c #Conflicts: 43000 | #Constraints: 26927
496.58/498.11 c #Conflicts: 44000 | #Constraints: 27927
496.58/498.11 c #Conflicts: 45000 | #Constraints: 28927
496.58/498.11 c #Conflicts: 46000 | #Constraints: 29927
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 47000 | #Constraints: 26523
496.58/498.11 c #Conflicts: 48000 | #Constraints: 27523
496.58/498.11 c #Conflicts: 49000 | #Constraints: 28523
496.58/498.11 c #Conflicts: 50000 | #Constraints: 29523
496.58/498.11 c #Conflicts: 51000 | #Constraints: 30523
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 52000 | #Constraints: 26939
496.58/498.11 c #Conflicts: 53000 | #Constraints: 27939
496.58/498.11 c #Conflicts: 54000 | #Constraints: 28939
496.58/498.11 c #Conflicts: 55000 | #Constraints: 29939
496.58/498.11 c #Conflicts: 56000 | #Constraints: 30939
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 57000 | #Constraints: 27147
496.58/498.11 c #Conflicts: 58000 | #Constraints: 28147
496.58/498.11 c #Conflicts: 59000 | #Constraints: 29147
496.58/498.11 c #Conflicts: 60000 | #Constraints: 30147
496.58/498.11 c #Conflicts: 61000 | #Constraints: 31147
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 62000 | #Constraints: 27146
496.58/498.11 c #Conflicts: 63000 | #Constraints: 28146
496.58/498.11 c #Conflicts: 64000 | #Constraints: 29146
496.58/498.11 c #Conflicts: 65000 | #Constraints: 30146
496.58/498.11 c #Conflicts: 66000 | #Constraints: 31146
496.58/498.11 c INPROCESSING
496.58/498.11 c GARBAGE COLLECT
496.58/498.11 c #Conflicts: 67000 | #Constraints: 26982
744.35/746.59 c #Conflicts: 68000 | #Constraints: 27982
744.35/746.59 c #Conflicts: 69000 | #Constraints: 28982
744.35/746.59 c #Conflicts: 70000 | #Constraints: 29982
744.35/746.59 c #Conflicts: 71000 | #Constraints: 30982
744.35/746.59 c #Conflicts: 72000 | #Constraints: 31982
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 73000 | #Constraints: 27603
744.35/746.59 c #Conflicts: 74000 | #Constraints: 28603
744.35/746.59 c #Conflicts: 75000 | #Constraints: 29603
744.35/746.59 c #Conflicts: 76000 | #Constraints: 30603
744.35/746.59 c #Conflicts: 77000 | #Constraints: 31603
744.35/746.59 c #Conflicts: 78000 | #Constraints: 32603
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 79000 | #Constraints: 27992
744.35/746.59 c #Conflicts: 80000 | #Constraints: 28992
744.35/746.59 c #Conflicts: 81000 | #Constraints: 29992
744.35/746.59 c #Conflicts: 82000 | #Constraints: 30992
744.35/746.59 c #Conflicts: 83000 | #Constraints: 31992
744.35/746.59 c #Conflicts: 84000 | #Constraints: 32992
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 85000 | #Constraints: 28195
744.35/746.59 c #Conflicts: 86000 | #Constraints: 29195
744.35/746.59 c #Conflicts: 87000 | #Constraints: 30195
744.35/746.59 c #Conflicts: 88000 | #Constraints: 31195
744.35/746.59 c #Conflicts: 89000 | #Constraints: 32195
744.35/746.59 c #Conflicts: 90000 | #Constraints: 33195
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 91000 | #Constraints: 28216
744.35/746.59 c #Conflicts: 92000 | #Constraints: 29216
744.35/746.59 c #Conflicts: 93000 | #Constraints: 30216
744.35/746.59 c #Conflicts: 94000 | #Constraints: 31216
744.35/746.59 c #Conflicts: 95000 | #Constraints: 32216
744.35/746.59 c #Conflicts: 96000 | #Constraints: 33216
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 97000 | #Constraints: 27431
744.35/746.59 c #Conflicts: 98000 | #Constraints: 28431
744.35/746.59 c #Conflicts: 99000 | #Constraints: 29431
744.35/746.59 c #Conflicts: 100000 | #Constraints: 30431
744.35/746.59 c #Conflicts: 101000 | #Constraints: 31431
744.35/746.59 c #Conflicts: 102000 | #Constraints: 32431
744.35/746.59 c #Conflicts: 103000 | #Constraints: 33431
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 104000 | #Constraints: 28327
744.35/746.59 c #Conflicts: 105000 | #Constraints: 29327
744.35/746.59 c #Conflicts: 106000 | #Constraints: 30327
744.35/746.59 c #Conflicts: 107000 | #Constraints: 31327
744.35/746.59 c #Conflicts: 108000 | #Constraints: 32327
744.35/746.59 c #Conflicts: 109000 | #Constraints: 33327
744.35/746.59 c #Conflicts: 110000 | #Constraints: 34327
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 111000 | #Constraints: 28897
744.35/746.59 c #Conflicts: 112000 | #Constraints: 29897
744.35/746.59 c #Conflicts: 113000 | #Constraints: 30897
744.35/746.59 c #Conflicts: 114000 | #Constraints: 31897
744.35/746.59 c #Conflicts: 115000 | #Constraints: 32897
744.35/746.59 c #Conflicts: 116000 | #Constraints: 33897
744.35/746.59 c #Conflicts: 117000 | #Constraints: 34897
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 118000 | #Constraints: 29164
744.35/746.59 c #Conflicts: 119000 | #Constraints: 30164
744.35/746.59 c #Conflicts: 120000 | #Constraints: 31164
744.35/746.59 c #Conflicts: 121000 | #Constraints: 32164
744.35/746.59 c #Conflicts: 122000 | #Constraints: 33164
744.35/746.59 c #Conflicts: 123000 | #Constraints: 34164
744.35/746.59 c #Conflicts: 124000 | #Constraints: 35164
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 125000 | #Constraints: 29202
744.35/746.59 c #Conflicts: 126000 | #Constraints: 30202
744.35/746.59 c #Conflicts: 127000 | #Constraints: 31202
744.35/746.59 c #Conflicts: 128000 | #Constraints: 32202
744.35/746.59 c #Conflicts: 129000 | #Constraints: 33202
744.35/746.59 c #Conflicts: 130000 | #Constraints: 34202
744.35/746.59 c #Conflicts: 131000 | #Constraints: 35202
744.35/746.59 c INPROCESSING
744.35/746.59 c GARBAGE COLLECT
744.35/746.59 c #Conflicts: 132000 | #Constraints: 28986
744.35/746.59 c #Conflicts: 133000 | #Constraints: 29986
744.35/746.59 c #Conflicts: 134000 | #Constraints: 30986
744.35/746.59 c #Conflicts: 135000 | #Constraints: 31986
744.35/746.59 c #Conflicts: 136000 | #Constraints: 32986
744.35/746.59 c #Conflicts: 137000 | #Constraints: 33986
744.35/746.59 c #Conflicts: 138000 | #Constraints: 34986
744.35/746.59 c #Conflicts: 139000 | #Constraints: 35986
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 140000 | #Constraints: 29660
1057.18/1060.12 c #Conflicts: 141000 | #Constraints: 30660
1057.18/1060.12 c #Conflicts: 142000 | #Constraints: 31660
1057.18/1060.12 c #Conflicts: 143000 | #Constraints: 32660
1057.18/1060.12 c #Conflicts: 144000 | #Constraints: 33660
1057.18/1060.12 c #Conflicts: 145000 | #Constraints: 34660
1057.18/1060.12 c #Conflicts: 146000 | #Constraints: 35660
1057.18/1060.12 c #Conflicts: 147000 | #Constraints: 36660
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 148000 | #Constraints: 30103
1057.18/1060.12 c #Conflicts: 149000 | #Constraints: 31103
1057.18/1060.12 c #Conflicts: 150000 | #Constraints: 32103
1057.18/1060.12 c #Conflicts: 151000 | #Constraints: 33103
1057.18/1060.12 c #Conflicts: 152000 | #Constraints: 34103
1057.18/1060.12 c #Conflicts: 153000 | #Constraints: 35103
1057.18/1060.12 c #Conflicts: 154000 | #Constraints: 36103
1057.18/1060.12 c #Conflicts: 155000 | #Constraints: 37103
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 156000 | #Constraints: 30294
1057.18/1060.12 c #Conflicts: 157000 | #Constraints: 31294
1057.18/1060.12 c #Conflicts: 158000 | #Constraints: 32294
1057.18/1060.12 c #Conflicts: 159000 | #Constraints: 33294
1057.18/1060.12 c #Conflicts: 160000 | #Constraints: 34294
1057.18/1060.12 c #Conflicts: 161000 | #Constraints: 35294
1057.18/1060.12 c #Conflicts: 162000 | #Constraints: 36294
1057.18/1060.12 c #Conflicts: 163000 | #Constraints: 37294
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 164000 | #Constraints: 30276
1057.18/1060.12 c #Conflicts: 165000 | #Constraints: 31276
1057.18/1060.12 c #Conflicts: 166000 | #Constraints: 32276
1057.18/1060.12 c #Conflicts: 167000 | #Constraints: 33276
1057.18/1060.12 c #Conflicts: 168000 | #Constraints: 34276
1057.18/1060.12 c #Conflicts: 169000 | #Constraints: 35276
1057.18/1060.12 c #Conflicts: 170000 | #Constraints: 36276
1057.18/1060.12 c #Conflicts: 171000 | #Constraints: 37276
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 172000 | #Constraints: 30106
1057.18/1060.12 c #Conflicts: 173000 | #Constraints: 31106
1057.18/1060.12 c #Conflicts: 174000 | #Constraints: 32106
1057.18/1060.12 c #Conflicts: 175000 | #Constraints: 33106
1057.18/1060.12 c #Conflicts: 176000 | #Constraints: 34106
1057.18/1060.12 c #Conflicts: 177000 | #Constraints: 35106
1057.18/1060.12 c #Conflicts: 178000 | #Constraints: 36106
1057.18/1060.12 c #Conflicts: 179000 | #Constraints: 37106
1057.18/1060.12 c #Conflicts: 180000 | #Constraints: 38106
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 181000 | #Constraints: 30713
1057.18/1060.12 c #Conflicts: 182000 | #Constraints: 31713
1057.18/1060.12 c #Conflicts: 183000 | #Constraints: 32713
1057.18/1060.12 c #Conflicts: 184000 | #Constraints: 33713
1057.18/1060.12 c #Conflicts: 185000 | #Constraints: 34713
1057.18/1060.12 c #Conflicts: 186000 | #Constraints: 35713
1057.18/1060.12 c #Conflicts: 187000 | #Constraints: 36713
1057.18/1060.12 c #Conflicts: 188000 | #Constraints: 37713
1057.18/1060.12 c #Conflicts: 189000 | #Constraints: 38713
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 190000 | #Constraints: 31134
1057.18/1060.12 c #Conflicts: 191000 | #Constraints: 32134
1057.18/1060.12 c #Conflicts: 192000 | #Constraints: 33134
1057.18/1060.12 c #Conflicts: 193000 | #Constraints: 34134
1057.18/1060.12 c #Conflicts: 194000 | #Constraints: 35134
1057.18/1060.12 c #Conflicts: 195000 | #Constraints: 36134
1057.18/1060.12 c #Conflicts: 196000 | #Constraints: 37134
1057.18/1060.12 c #Conflicts: 197000 | #Constraints: 38134
1057.18/1060.12 c #Conflicts: 198000 | #Constraints: 39134
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 199000 | #Constraints: 31352
1057.18/1060.12 c #Conflicts: 200000 | #Constraints: 32352
1057.18/1060.12 c #Conflicts: 201000 | #Constraints: 33352
1057.18/1060.12 c #Conflicts: 202000 | #Constraints: 34352
1057.18/1060.12 c #Conflicts: 203000 | #Constraints: 35352
1057.18/1060.12 c #Conflicts: 204000 | #Constraints: 36352
1057.18/1060.12 c #Conflicts: 205000 | #Constraints: 37352
1057.18/1060.12 c #Conflicts: 206000 | #Constraints: 38352
1057.18/1060.12 c #Conflicts: 207000 | #Constraints: 39352
1057.18/1060.12 c INPROCESSING
1057.18/1060.12 c GARBAGE COLLECT
1057.18/1060.12 c #Conflicts: 208000 | #Constraints: 31312
1057.18/1060.12 c #Conflicts: 209000 | #Constraints: 32312
1057.18/1060.12 c #Conflicts: 210000 | #Constraints: 33312
1057.18/1060.12 c #Conflicts: 211000 | #Constraints: 34312
1057.18/1060.12 c #Conflicts: 212000 | #Constraints: 35312
1424.35/1428.22 c #Conflicts: 213000 | #Constraints: 36312
1424.35/1428.22 c #Conflicts: 214000 | #Constraints: 37312
1424.35/1428.22 c #Conflicts: 215000 | #Constraints: 38312
1424.35/1428.22 c #Conflicts: 216000 | #Constraints: 39312
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 217000 | #Constraints: 31119
1424.35/1428.22 c #Conflicts: 218000 | #Constraints: 32119
1424.35/1428.22 c #Conflicts: 219000 | #Constraints: 33119
1424.35/1428.22 c #Conflicts: 220000 | #Constraints: 34119
1424.35/1428.22 c #Conflicts: 221000 | #Constraints: 35119
1424.35/1428.22 c #Conflicts: 222000 | #Constraints: 36119
1424.35/1428.22 c #Conflicts: 223000 | #Constraints: 37119
1424.35/1428.22 c #Conflicts: 224000 | #Constraints: 38119
1424.35/1428.22 c #Conflicts: 225000 | #Constraints: 39119
1424.35/1428.22 c #Conflicts: 226000 | #Constraints: 40119
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 227000 | #Constraints: 31709
1424.35/1428.22 c #Conflicts: 228000 | #Constraints: 32709
1424.35/1428.22 c #Conflicts: 229000 | #Constraints: 33709
1424.35/1428.22 c #Conflicts: 230000 | #Constraints: 34709
1424.35/1428.22 c #Conflicts: 231000 | #Constraints: 35709
1424.35/1428.22 c #Conflicts: 232000 | #Constraints: 36709
1424.35/1428.22 c #Conflicts: 233000 | #Constraints: 37709
1424.35/1428.22 c #Conflicts: 234000 | #Constraints: 38709
1424.35/1428.22 c #Conflicts: 235000 | #Constraints: 39709
1424.35/1428.22 c #Conflicts: 236000 | #Constraints: 40709
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 237000 | #Constraints: 32142
1424.35/1428.22 c #Conflicts: 238000 | #Constraints: 33142
1424.35/1428.22 c #Conflicts: 239000 | #Constraints: 34142
1424.35/1428.22 c #Conflicts: 240000 | #Constraints: 35142
1424.35/1428.22 c #Conflicts: 241000 | #Constraints: 36142
1424.35/1428.22 c #Conflicts: 242000 | #Constraints: 37142
1424.35/1428.22 c #Conflicts: 243000 | #Constraints: 38142
1424.35/1428.22 c #Conflicts: 244000 | #Constraints: 39142
1424.35/1428.22 c #Conflicts: 245000 | #Constraints: 40142
1424.35/1428.22 c #Conflicts: 246000 | #Constraints: 41142
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 247000 | #Constraints: 32360
1424.35/1428.22 c #Conflicts: 248000 | #Constraints: 33360
1424.35/1428.22 c #Conflicts: 249000 | #Constraints: 34360
1424.35/1428.22 c #Conflicts: 250000 | #Constraints: 35360
1424.35/1428.22 c #Conflicts: 251000 | #Constraints: 36360
1424.35/1428.22 c #Conflicts: 252000 | #Constraints: 37360
1424.35/1428.22 c #Conflicts: 253000 | #Constraints: 38360
1424.35/1428.22 c #Conflicts: 254000 | #Constraints: 39360
1424.35/1428.22 c #Conflicts: 255000 | #Constraints: 40360
1424.35/1428.22 c #Conflicts: 256000 | #Constraints: 41360
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 257000 | #Constraints: 32331
1424.35/1428.22 c #Conflicts: 258000 | #Constraints: 33331
1424.35/1428.22 c #Conflicts: 259000 | #Constraints: 34331
1424.35/1428.22 c #Conflicts: 260000 | #Constraints: 35331
1424.35/1428.22 c #Conflicts: 261000 | #Constraints: 36331
1424.35/1428.22 c #Conflicts: 262000 | #Constraints: 37331
1424.35/1428.22 c #Conflicts: 263000 | #Constraints: 38331
1424.35/1428.22 c #Conflicts: 264000 | #Constraints: 39331
1424.35/1428.22 c #Conflicts: 265000 | #Constraints: 40331
1424.35/1428.22 c #Conflicts: 266000 | #Constraints: 41331
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 267000 | #Constraints: 32133
1424.35/1428.22 c #Conflicts: 268000 | #Constraints: 33133
1424.35/1428.22 c #Conflicts: 269000 | #Constraints: 34133
1424.35/1428.22 c #Conflicts: 270000 | #Constraints: 35133
1424.35/1428.22 c #Conflicts: 271000 | #Constraints: 36133
1424.35/1428.22 c #Conflicts: 272000 | #Constraints: 37133
1424.35/1428.22 c #Conflicts: 273000 | #Constraints: 38133
1424.35/1428.22 c #Conflicts: 274000 | #Constraints: 39133
1424.35/1428.22 c #Conflicts: 275000 | #Constraints: 40133
1424.35/1428.22 c #Conflicts: 276000 | #Constraints: 41133
1424.35/1428.22 c #Conflicts: 277000 | #Constraints: 42133
1424.35/1428.22 c INPROCESSING
1424.35/1428.22 c GARBAGE COLLECT
1424.35/1428.22 c #Conflicts: 278000 | #Constraints: 32730
1424.35/1428.22 c #Conflicts: 279000 | #Constraints: 33730
1424.35/1428.22 c #Conflicts: 280000 | #Constraints: 34730
1424.35/1428.22 c #Conflicts: 281000 | #Constraints: 35730
1424.35/1428.22 c #Conflicts: 282000 | #Constraints: 36730
1424.35/1428.22 c #Conflicts: 283000 | #Constraints: 37730
1424.35/1428.22 c #Conflicts: 284000 | #Constraints: 38730
1424.35/1428.22 c #Conflicts: 285000 | #Constraints: 39730
1424.35/1428.22 c #Conflicts: 286000 | #Constraints: 40730
1810.39/1815.24 c #Conflicts: 287000 | #Constraints: 41730
1810.39/1815.24 c #Conflicts: 288000 | #Constraints: 42730
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 289000 | #Constraints: 32835
1810.39/1815.24 c #Conflicts: 290000 | #Constraints: 33835
1810.39/1815.24 c #Conflicts: 291000 | #Constraints: 34835
1810.39/1815.24 c #Conflicts: 292000 | #Constraints: 35835
1810.39/1815.24 c #Conflicts: 293000 | #Constraints: 36835
1810.39/1815.24 c #Conflicts: 294000 | #Constraints: 37835
1810.39/1815.24 c #Conflicts: 295000 | #Constraints: 38835
1810.39/1815.24 c #Conflicts: 296000 | #Constraints: 39835
1810.39/1815.24 c #Conflicts: 297000 | #Constraints: 40835
1810.39/1815.24 c #Conflicts: 298000 | #Constraints: 41835
1810.39/1815.24 c #Conflicts: 299000 | #Constraints: 42835
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 300000 | #Constraints: 33050
1810.39/1815.24 c #Conflicts: 301000 | #Constraints: 34050
1810.39/1815.24 c #Conflicts: 302000 | #Constraints: 35050
1810.39/1815.24 c #Conflicts: 303000 | #Constraints: 36050
1810.39/1815.24 c #Conflicts: 304000 | #Constraints: 37050
1810.39/1815.24 c #Conflicts: 305000 | #Constraints: 38050
1810.39/1815.24 c #Conflicts: 306000 | #Constraints: 39050
1810.39/1815.24 c #Conflicts: 307000 | #Constraints: 40050
1810.39/1815.24 c #Conflicts: 308000 | #Constraints: 41050
1810.39/1815.24 c #Conflicts: 309000 | #Constraints: 42050
1810.39/1815.24 c #Conflicts: 310000 | #Constraints: 43050
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 311000 | #Constraints: 33034
1810.39/1815.24 c #Conflicts: 312000 | #Constraints: 34034
1810.39/1815.24 c #Conflicts: 313000 | #Constraints: 35034
1810.39/1815.24 c #Conflicts: 314000 | #Constraints: 36034
1810.39/1815.24 c #Conflicts: 315000 | #Constraints: 37034
1810.39/1815.24 c #Conflicts: 316000 | #Constraints: 38034
1810.39/1815.24 c #Conflicts: 317000 | #Constraints: 39034
1810.39/1815.24 c #Conflicts: 318000 | #Constraints: 40034
1810.39/1815.24 c #Conflicts: 319000 | #Constraints: 41034
1810.39/1815.24 c #Conflicts: 320000 | #Constraints: 42034
1810.39/1815.24 c #Conflicts: 321000 | #Constraints: 43034
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 322000 | #Constraints: 32841
1810.39/1815.24 c #Conflicts: 323000 | #Constraints: 33841
1810.39/1815.24 c #Conflicts: 324000 | #Constraints: 34841
1810.39/1815.24 c #Conflicts: 325000 | #Constraints: 35841
1810.39/1815.24 c #Conflicts: 326000 | #Constraints: 36841
1810.39/1815.24 c #Conflicts: 327000 | #Constraints: 37841
1810.39/1815.24 c #Conflicts: 328000 | #Constraints: 38841
1810.39/1815.24 c #Conflicts: 329000 | #Constraints: 39841
1810.39/1815.24 c #Conflicts: 330000 | #Constraints: 40841
1810.39/1815.24 c #Conflicts: 331000 | #Constraints: 41841
1810.39/1815.24 c #Conflicts: 332000 | #Constraints: 42841
1810.39/1815.24 c #Conflicts: 333000 | #Constraints: 43841
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 334000 | #Constraints: 33487
1810.39/1815.24 c #Conflicts: 335000 | #Constraints: 34487
1810.39/1815.24 c #Conflicts: 336000 | #Constraints: 35487
1810.39/1815.24 c #Conflicts: 337000 | #Constraints: 36487
1810.39/1815.24 c #Conflicts: 338000 | #Constraints: 37487
1810.39/1815.24 c #Conflicts: 339000 | #Constraints: 38487
1810.39/1815.24 c #Conflicts: 340000 | #Constraints: 39487
1810.39/1815.24 c #Conflicts: 341000 | #Constraints: 40487
1810.39/1815.24 c #Conflicts: 342000 | #Constraints: 41487
1810.39/1815.24 c #Conflicts: 343000 | #Constraints: 42487
1810.39/1815.24 c #Conflicts: 344000 | #Constraints: 43487
1810.39/1815.24 c #Conflicts: 345000 | #Constraints: 44487
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 346000 | #Constraints: 33934
1810.39/1815.24 c #Conflicts: 347000 | #Constraints: 34934
1810.39/1815.24 c #Conflicts: 348000 | #Constraints: 35934
1810.39/1815.24 c #Conflicts: 349000 | #Constraints: 36934
1810.39/1815.24 c #Conflicts: 350000 | #Constraints: 37934
1810.39/1815.24 c #Conflicts: 351000 | #Constraints: 38934
1810.39/1815.24 c #Conflicts: 352000 | #Constraints: 39934
1810.39/1815.24 c #Conflicts: 353000 | #Constraints: 40934
1810.39/1815.24 c #Conflicts: 354000 | #Constraints: 41934
1810.39/1815.24 c #Conflicts: 355000 | #Constraints: 42934
1810.39/1815.24 c #Conflicts: 356000 | #Constraints: 43934
1810.39/1815.24 c #Conflicts: 357000 | #Constraints: 44934
1810.39/1815.24 c INPROCESSING
1810.39/1815.24 c GARBAGE COLLECT
1810.39/1815.24 c #Conflicts: 358000 | #Constraints: 34099
1810.39/1815.24 c #Conflicts: 359000 | #Constraints: 35099
1810.39/1815.24 c #Conflicts: 360000 | #Constraints: 36099
1810.39/1815.24 c #Conflicts: 361000 | #Constraints: 37099
2224.34/2230.22 c #Conflicts: 362000 | #Constraints: 38099
2224.34/2230.22 c #Conflicts: 363000 | #Constraints: 39099
2224.34/2230.22 c #Conflicts: 364000 | #Constraints: 40099
2224.34/2230.22 c #Conflicts: 365000 | #Constraints: 41099
2224.34/2230.22 c #Conflicts: 366000 | #Constraints: 42099
2224.34/2230.22 c #Conflicts: 367000 | #Constraints: 43099
2224.34/2230.22 c #Conflicts: 368000 | #Constraints: 44099
2224.34/2230.22 c #Conflicts: 369000 | #Constraints: 45099
2224.34/2230.22 c INPROCESSING
2224.34/2230.22 c GARBAGE COLLECT
2224.34/2230.22 c #Conflicts: 370000 | #Constraints: 34112
2224.34/2230.22 c #Conflicts: 371000 | #Constraints: 35112
2224.34/2230.22 c #Conflicts: 372000 | #Constraints: 36112
2224.34/2230.22 c #Conflicts: 373000 | #Constraints: 37112
2224.34/2230.22 c #Conflicts: 374000 | #Constraints: 38112
2224.34/2230.22 c #Conflicts: 375000 | #Constraints: 39112
2224.34/2230.22 c #Conflicts: 376000 | #Constraints: 40112
2224.34/2230.22 c #Conflicts: 377000 | #Constraints: 41112
2224.34/2230.22 c #Conflicts: 378000 | #Constraints: 42112
2224.34/2230.22 c #Conflicts: 379000 | #Constraints: 43112
2224.34/2230.22 c #Conflicts: 380000 | #Constraints: 44112
2224.34/2230.22 c #Conflicts: 381000 | #Constraints: 45112
2224.34/2230.22 c INPROCESSING
2224.34/2230.22 c GARBAGE COLLECT
2224.34/2230.22 c #Conflicts: 382000 | #Constraints: 33899
2224.34/2230.22 c #Conflicts: 383000 | #Constraints: 34899
2224.34/2230.22 c #Conflicts: 384000 | #Constraints: 35899
2224.34/2230.22 c #Conflicts: 385000 | #Constraints: 36899
2224.34/2230.22 c #Conflicts: 386000 | #Constraints: 37899
2224.34/2230.22 c #Conflicts: 387000 | #Constraints: 38899
2224.34/2230.22 c #Conflicts: 388000 | #Constraints: 39899
2224.34/2230.22 c #Conflicts: 389000 | #Constraints: 40899
2224.34/2230.22 c #Conflicts: 390000 | #Constraints: 41899
2224.34/2230.22 c #Conflicts: 391000 | #Constraints: 42899
2224.34/2230.22 c #Conflicts: 392000 | #Constraints: 43899
2224.34/2230.22 c #Conflicts: 393000 | #Constraints: 44899
2224.34/2230.22 c #Conflicts: 394000 | #Constraints: 45899
2224.34/2230.22 c INPROCESSING
2224.34/2230.22 c GARBAGE COLLECT
2224.34/2230.22 c #Conflicts: 395000 | #Constraints: 34494
2224.34/2230.22 c #Conflicts: 396000 | #Constraints: 35494
2224.34/2230.22 c #Conflicts: 397000 | #Constraints: 36494
2224.34/2230.22 c #Conflicts: 398000 | #Constraints: 37494
2224.34/2230.22 c #Conflicts: 399000 | #Constraints: 38494
2224.34/2230.22 c #Conflicts: 400000 | #Constraints: 39494
2224.34/2230.22 c #Conflicts: 401000 | #Constraints: 40494
2224.34/2230.22 c #Conflicts: 402000 | #Constraints: 41494
2224.34/2230.22 c #Conflicts: 403000 | #Constraints: 42494
2224.34/2230.22 c #Conflicts: 404000 | #Constraints: 43494
2224.34/2230.22 c #Conflicts: 405000 | #Constraints: 44494
2224.34/2230.22 c #Conflicts: 406000 | #Constraints: 45494
2224.34/2230.22 c #Conflicts: 407000 | #Constraints: 46494
2224.34/2230.22 c INPROCESSING
2224.34/2230.22 c GARBAGE COLLECT
2224.34/2230.22 c #Conflicts: 408000 | #Constraints: 34920
2224.34/2230.22 c #Conflicts: 409000 | #Constraints: 35920
2224.34/2230.22 c #Conflicts: 410000 | #Constraints: 36920
2224.34/2230.22 c #Conflicts: 411000 | #Constraints: 37920
2224.34/2230.22 c #Conflicts: 412000 | #Constraints: 38920
2224.34/2230.22 c #Conflicts: 413000 | #Constraints: 39920
2224.34/2230.22 c #Conflicts: 414000 | #Constraints: 40920
2224.34/2230.22 c #Conflicts: 415000 | #Constraints: 41920
2224.34/2230.22 c #Conflicts: 416000 | #Constraints: 42920
2224.34/2230.22 c #Conflicts: 417000 | #Constraints: 43920
2224.34/2230.22 c #Conflicts: 418000 | #Constraints: 44920
2224.34/2230.22 c #Conflicts: 419000 | #Constraints: 45920
2224.34/2230.22 c #Conflicts: 420000 | #Constraints: 46920
2224.34/2230.22 c INPROCESSING
2224.34/2230.22 c GARBAGE COLLECT
2224.34/2230.22 c #Conflicts: 421000 | #Constraints: 35144
2224.34/2230.22 c #Conflicts: 422000 | #Constraints: 36144
2224.34/2230.22 c #Conflicts: 423000 | #Constraints: 37144
2224.34/2230.22 c #Conflicts: 424000 | #Constraints: 38144
2224.34/2230.22 c #Conflicts: 425000 | #Constraints: 39144
2224.34/2230.22 c #Conflicts: 426000 | #Constraints: 40144
2224.34/2230.22 c #Conflicts: 427000 | #Constraints: 41144
2224.34/2230.22 c #Conflicts: 428000 | #Constraints: 42144
2224.34/2230.22 c #Conflicts: 429000 | #Constraints: 43144
2224.34/2230.22 c #Conflicts: 430000 | #Constraints: 44144
2224.34/2230.22 c #Conflicts: 431000 | #Constraints: 45144
2224.34/2230.22 c #Conflicts: 432000 | #Constraints: 46144
2224.34/2230.22 c #Conflicts: 433000 | #Constraints: 47144
2224.34/2230.22 c INPROCESSING
2224.34/2230.22 c GARBAGE COLLECT
2224.34/2230.22 c #Conflicts: 434000 | #Constraints: 35161
2224.34/2230.22 c #Conflicts: 435000 | #Constraints: 36161
2224.34/2230.22 c #Conflicts: 436000 | #Constraints: 37161
2734.18/2741.30 c #Conflicts: 437000 | #Constraints: 38161
2734.18/2741.30 c #Conflicts: 438000 | #Constraints: 39161
2734.18/2741.30 c #Conflicts: 439000 | #Constraints: 40161
2734.18/2741.30 c #Conflicts: 440000 | #Constraints: 41161
2734.18/2741.30 c #Conflicts: 441000 | #Constraints: 42161
2734.18/2741.30 c #Conflicts: 442000 | #Constraints: 43161
2734.18/2741.30 c #Conflicts: 443000 | #Constraints: 44161
2734.18/2741.30 c #Conflicts: 444000 | #Constraints: 45161
2734.18/2741.30 c #Conflicts: 445000 | #Constraints: 46161
2734.18/2741.30 c #Conflicts: 446000 | #Constraints: 47161
2734.18/2741.30 c INPROCESSING
2734.18/2741.30 c GARBAGE COLLECT
2734.18/2741.30 c #Conflicts: 447000 | #Constraints: 34962
2734.18/2741.30 c #Conflicts: 448000 | #Constraints: 35962
2734.18/2741.30 c #Conflicts: 449000 | #Constraints: 36962
2734.18/2741.30 c #Conflicts: 450000 | #Constraints: 37962
2734.18/2741.30 c #Conflicts: 451000 | #Constraints: 38962
2734.18/2741.30 c #Conflicts: 452000 | #Constraints: 39962
2734.18/2741.30 c #Conflicts: 453000 | #Constraints: 40962
2734.18/2741.30 c #Conflicts: 454000 | #Constraints: 41962
2734.18/2741.30 c #Conflicts: 455000 | #Constraints: 42962
2734.18/2741.30 c #Conflicts: 456000 | #Constraints: 43962
2734.18/2741.30 c #Conflicts: 457000 | #Constraints: 44962
2734.18/2741.30 c #Conflicts: 458000 | #Constraints: 45962
2734.18/2741.30 c #Conflicts: 459000 | #Constraints: 46962
2734.18/2741.30 c #Conflicts: 460000 | #Constraints: 47962
2734.18/2741.30 c INPROCESSING
2734.18/2741.30 c GARBAGE COLLECT
2734.18/2741.30 c #Conflicts: 461000 | #Constraints: 35572
2734.18/2741.30 c #Conflicts: 462000 | #Constraints: 36572
2734.18/2741.30 c #Conflicts: 463000 | #Constraints: 37572
2734.18/2741.30 c #Conflicts: 464000 | #Constraints: 38572
2734.18/2741.30 c #Conflicts: 465000 | #Constraints: 39572
2734.18/2741.30 c #Conflicts: 466000 | #Constraints: 40572
2734.18/2741.30 c #Conflicts: 467000 | #Constraints: 41572
2734.18/2741.30 c #Conflicts: 468000 | #Constraints: 42572
2734.18/2741.30 c #Conflicts: 469000 | #Constraints: 43572
2734.18/2741.30 c #Conflicts: 470000 | #Constraints: 44572
2734.18/2741.30 c #Conflicts: 471000 | #Constraints: 45572
2734.18/2741.30 c #Conflicts: 472000 | #Constraints: 46572
2734.18/2741.30 c #Conflicts: 473000 | #Constraints: 47572
2734.18/2741.30 c #Conflicts: 474000 | #Constraints: 48572
2734.18/2741.30 c INPROCESSING
2734.18/2741.30 c GARBAGE COLLECT
2734.18/2741.30 c #Conflicts: 475000 | #Constraints: 35952
2734.18/2741.30 c #Conflicts: 476000 | #Constraints: 36952
2734.18/2741.30 c #Conflicts: 477000 | #Constraints: 37952
2734.18/2741.30 c #Conflicts: 478000 | #Constraints: 38952
2734.18/2741.30 c #Conflicts: 479000 | #Constraints: 39952
2734.18/2741.30 c #Conflicts: 480000 | #Constraints: 40952
2734.18/2741.30 c #Conflicts: 481000 | #Constraints: 41952
2734.18/2741.30 c #Conflicts: 482000 | #Constraints: 42952
2734.18/2741.30 c #Conflicts: 483000 | #Constraints: 43952
2734.18/2741.30 c #Conflicts: 484000 | #Constraints: 44952
2734.18/2741.30 c #Conflicts: 485000 | #Constraints: 45952
2734.18/2741.30 c #Conflicts: 486000 | #Constraints: 46952
2734.18/2741.30 c #Conflicts: 487000 | #Constraints: 47952
2734.18/2741.30 c #Conflicts: 488000 | #Constraints: 48952
2734.18/2741.30 c INPROCESSING
2734.18/2741.30 c GARBAGE COLLECT
2734.18/2741.30 c #Conflicts: 489000 | #Constraints: 36148
2734.18/2741.30 c #Conflicts: 490000 | #Constraints: 37148
2734.18/2741.30 c #Conflicts: 491000 | #Constraints: 38148
2734.18/2741.30 c #Conflicts: 492000 | #Constraints: 39148
2734.18/2741.30 c #Conflicts: 493000 | #Constraints: 40148
2734.18/2741.30 c #Conflicts: 494000 | #Constraints: 41148
2734.18/2741.30 c #Conflicts: 495000 | #Constraints: 42148
2734.18/2741.30 c #Conflicts: 496000 | #Constraints: 43148
2734.18/2741.30 c #Conflicts: 497000 | #Constraints: 44148
2734.18/2741.30 c #Conflicts: 498000 | #Constraints: 45148
2734.18/2741.30 c #Conflicts: 499000 | #Constraints: 46148
2734.18/2741.30 c #Conflicts: 500000 | #Constraints: 47148
2734.18/2741.30 c #Conflicts: 501000 | #Constraints: 48148
2734.18/2741.30 c #Conflicts: 502000 | #Constraints: 49148
2734.18/2741.30 c INPROCESSING
2734.18/2741.30 c GARBAGE COLLECT
2734.18/2741.30 c #Conflicts: 503000 | #Constraints: 36156
2734.18/2741.30 c #Conflicts: 504000 | #Constraints: 37156
2734.18/2741.30 c #Conflicts: 505000 | #Constraints: 38156
2734.18/2741.30 c #Conflicts: 506000 | #Constraints: 39156
2734.18/2741.30 c #Conflicts: 507000 | #Constraints: 40156
2734.18/2741.30 c #Conflicts: 508000 | #Constraints: 41156
2734.18/2741.30 c #Conflicts: 509000 | #Constraints: 42156
2734.18/2741.30 c #Conflicts: 510000 | #Constraints: 43156
2734.18/2741.30 c #Conflicts: 511000 | #Constraints: 44156
3199.19/3207.54 c #Conflicts: 512000 | #Constraints: 45156
3199.19/3207.54 c #Conflicts: 513000 | #Constraints: 46156
3199.19/3207.54 c #Conflicts: 514000 | #Constraints: 47156
3199.19/3207.54 c #Conflicts: 515000 | #Constraints: 48156
3199.19/3207.54 c #Conflicts: 516000 | #Constraints: 49156
3199.19/3207.54 c INPROCESSING
3199.19/3207.54 c GARBAGE COLLECT
3199.19/3207.54 c #Conflicts: 517000 | #Constraints: 35902
3199.19/3207.54 c #Conflicts: 518000 | #Constraints: 36902
3199.19/3207.54 c #Conflicts: 519000 | #Constraints: 37902
3199.19/3207.54 c #Conflicts: 520000 | #Constraints: 38902
3199.19/3207.54 c #Conflicts: 521000 | #Constraints: 39902
3199.19/3207.54 c #Conflicts: 522000 | #Constraints: 40902
3199.19/3207.54 c #Conflicts: 523000 | #Constraints: 41902
3199.19/3207.54 c #Conflicts: 524000 | #Constraints: 42902
3199.19/3207.54 c #Conflicts: 525000 | #Constraints: 43902
3199.19/3207.54 c #Conflicts: 526000 | #Constraints: 44902
3199.19/3207.54 c #Conflicts: 527000 | #Constraints: 45902
3199.19/3207.54 c #Conflicts: 528000 | #Constraints: 46902
3199.19/3207.54 c #Conflicts: 529000 | #Constraints: 47902
3199.19/3207.54 c #Conflicts: 530000 | #Constraints: 48902
3199.19/3207.54 c #Conflicts: 531000 | #Constraints: 49902
3199.19/3207.54 c INPROCESSING
3199.19/3207.54 c GARBAGE COLLECT
3199.19/3207.54 c #Conflicts: 532000 | #Constraints: 36565
3199.19/3207.54 c #Conflicts: 533000 | #Constraints: 37565
3199.19/3207.54 c #Conflicts: 534000 | #Constraints: 38565
3199.19/3207.54 c #Conflicts: 535000 | #Constraints: 39565
3199.19/3207.54 c #Conflicts: 536000 | #Constraints: 40565
3199.19/3207.54 c #Conflicts: 537000 | #Constraints: 41565
3199.19/3207.54 c #Conflicts: 538000 | #Constraints: 42565
3199.19/3207.54 c #Conflicts: 539000 | #Constraints: 43565
3199.19/3207.54 c #Conflicts: 540000 | #Constraints: 44565
3199.19/3207.54 c #Conflicts: 541000 | #Constraints: 45565
3199.19/3207.54 c #Conflicts: 542000 | #Constraints: 46565
3199.19/3207.54 c #Conflicts: 543000 | #Constraints: 47565
3199.19/3207.54 c #Conflicts: 544000 | #Constraints: 48565
3199.19/3207.54 c #Conflicts: 545000 | #Constraints: 49565
3199.19/3207.54 c #Conflicts: 546000 | #Constraints: 50565
3199.19/3207.54 c INPROCESSING
3199.19/3207.54 c GARBAGE COLLECT
3199.19/3207.54 c #Conflicts: 547000 | #Constraints: 36948
3199.19/3207.54 c #Conflicts: 548000 | #Constraints: 37948
3199.19/3207.54 c #Conflicts: 549000 | #Constraints: 38948
3199.19/3207.54 c #Conflicts: 550000 | #Constraints: 39948
3199.19/3207.54 c #Conflicts: 551000 | #Constraints: 40948
3199.19/3207.54 c #Conflicts: 552000 | #Constraints: 41948
3199.19/3207.54 c #Conflicts: 553000 | #Constraints: 42948
3199.19/3207.54 c #Conflicts: 554000 | #Constraints: 43948
3199.19/3207.54 c #Conflicts: 555000 | #Constraints: 44948
3199.19/3207.54 c #Conflicts: 556000 | #Constraints: 45948
3199.19/3207.54 c #Conflicts: 557000 | #Constraints: 46948
3199.19/3207.54 c #Conflicts: 558000 | #Constraints: 47948
3199.19/3207.54 c #Conflicts: 559000 | #Constraints: 48948
3199.19/3207.54 c #Conflicts: 560000 | #Constraints: 49948
3199.19/3207.54 c #Conflicts: 561000 | #Constraints: 50948
3199.19/3207.54 c INPROCESSING
3199.19/3207.54 c GARBAGE COLLECT
3199.19/3207.54 c #Conflicts: 562000 | #Constraints: 37153
3199.19/3207.54 c #Conflicts: 563000 | #Constraints: 38153
3199.19/3207.54 c #Conflicts: 564000 | #Constraints: 39153
3199.19/3207.54 c #Conflicts: 565000 | #Constraints: 40153
3199.19/3207.54 c #Conflicts: 566000 | #Constraints: 41153
3199.19/3207.54 c #Conflicts: 567000 | #Constraints: 42153
3199.19/3207.54 c #Conflicts: 568000 | #Constraints: 43153
3199.19/3207.54 c #Conflicts: 569000 | #Constraints: 44153
3199.19/3207.54 c #Conflicts: 570000 | #Constraints: 45153
3199.19/3207.54 c #Conflicts: 571000 | #Constraints: 46153
3199.19/3207.54 c #Conflicts: 572000 | #Constraints: 47153
3199.19/3207.54 c #Conflicts: 573000 | #Constraints: 48153
3199.19/3207.54 c #Conflicts: 574000 | #Constraints: 49153
3199.19/3207.54 c #Conflicts: 575000 | #Constraints: 50153
3199.19/3207.54 c #Conflicts: 576000 | #Constraints: 51153
3199.19/3207.54 c INPROCESSING
3199.19/3207.54 c GARBAGE COLLECT
3199.19/3207.54 c #Conflicts: 577000 | #Constraints: 37158
3199.19/3207.54 c #Conflicts: 578000 | #Constraints: 38158
3199.19/3207.54 c #Conflicts: 579000 | #Constraints: 39158
3199.19/3207.54 c #Conflicts: 580000 | #Constraints: 40158
3199.19/3207.54 c #Conflicts: 581000 | #Constraints: 41158
3199.19/3207.54 c #Conflicts: 582000 | #Constraints: 42158
3199.19/3207.54 c #Conflicts: 583000 | #Constraints: 43158
3199.19/3207.54 c #Conflicts: 584000 | #Constraints: 44158
3199.19/3207.54 c #Conflicts: 585000 | #Constraints: 45158
3199.19/3207.54 c #Conflicts: 586000 | #Constraints: 46158
3199.19/3207.54 c #Conflicts: 587000 | #Constraints: 47158
3600.07/3609.40 c #Conflicts: 588000 | #Constraints: 48158
3600.07/3609.40 c #Conflicts: 589000 | #Constraints: 49158
3600.07/3609.40 c #Conflicts: 590000 | #Constraints: 50158
3600.07/3609.40 c #Conflicts: 591000 | #Constraints: 51158
3600.07/3609.40 c INPROCESSING
3600.07/3609.40 c GARBAGE COLLECT
3600.07/3609.40 c #Conflicts: 592000 | #Constraints: 36975
3600.07/3609.40 c #Conflicts: 593000 | #Constraints: 37975
3600.07/3609.40 c #Conflicts: 594000 | #Constraints: 38975
3600.07/3609.40 c #Conflicts: 595000 | #Constraints: 39975
3600.07/3609.40 c #Conflicts: 596000 | #Constraints: 40975
3600.07/3609.40 c #Conflicts: 597000 | #Constraints: 41975
3600.07/3609.40 c #Conflicts: 598000 | #Constraints: 42975
3600.07/3609.40 c #Conflicts: 599000 | #Constraints: 43975
3600.07/3609.40 c #Conflicts: 600000 | #Constraints: 44975
3600.07/3609.40 c #Conflicts: 601000 | #Constraints: 45975
3600.07/3609.40 c #Conflicts: 602000 | #Constraints: 46975
3600.07/3609.40 c #Conflicts: 603000 | #Constraints: 47975
3600.07/3609.40 c #Conflicts: 604000 | #Constraints: 48975
3600.07/3609.40 c #Conflicts: 605000 | #Constraints: 49975
3600.07/3609.40 c #Conflicts: 606000 | #Constraints: 50975
3600.07/3609.40 c #Conflicts: 607000 | #Constraints: 51975
3600.07/3609.40 c INPROCESSING
3600.07/3609.40 c GARBAGE COLLECT
3600.07/3609.40 c #Conflicts: 608000 | #Constraints: 37631
3600.07/3609.40 c #Conflicts: 609000 | #Constraints: 38631
3600.07/3609.40 c #Conflicts: 610000 | #Constraints: 39631
3600.07/3609.40 c #Conflicts: 611000 | #Constraints: 40631
3600.07/3609.40 c #Conflicts: 612000 | #Constraints: 41631
3600.07/3609.40 c #Conflicts: 613000 | #Constraints: 42631
3600.07/3609.40 c #Conflicts: 614000 | #Constraints: 43631
3600.07/3609.40 c #Conflicts: 615000 | #Constraints: 44631
3600.07/3609.40 c #Conflicts: 616000 | #Constraints: 45631
3600.07/3609.40 c #Conflicts: 617000 | #Constraints: 46631
3600.07/3609.40 c #Conflicts: 618000 | #Constraints: 47631
3600.07/3609.40 c #Conflicts: 619000 | #Constraints: 48631
3600.07/3609.40 c #Conflicts: 620000 | #Constraints: 49631
3600.07/3609.40 c #Conflicts: 621000 | #Constraints: 50631
3600.07/3609.40 c #Conflicts: 622000 | #Constraints: 51631
3600.07/3609.40 c #Conflicts: 623000 | #Constraints: 52631
3600.07/3609.40 c INPROCESSING
3600.07/3609.40 c GARBAGE COLLECT
3600.07/3609.40 c #Conflicts: 624000 | #Constraints: 38031
3600.07/3609.40 c #Conflicts: 625000 | #Constraints: 39031
3600.07/3609.40 c #Conflicts: 626000 | #Constraints: 40031
3600.07/3609.40 c #Conflicts: 627000 | #Constraints: 41031
3600.07/3609.40 c #Conflicts: 628000 | #Constraints: 42031
3600.07/3609.40 c #Conflicts: 629000 | #Constraints: 43031
3600.07/3609.40 c #Conflicts: 630000 | #Constraints: 44031
3600.07/3609.40 c #Conflicts: 631000 | #Constraints: 45031
3600.07/3609.40 c #Conflicts: 632000 | #Constraints: 46031
3600.07/3609.40 c #Conflicts: 633000 | #Constraints: 47031
3600.07/3609.40 c #Conflicts: 634000 | #Constraints: 48031
3600.07/3609.40 c #Conflicts: 635000 | #Constraints: 49031
3600.07/3609.40 c #Conflicts: 636000 | #Constraints: 50031
3600.07/3609.40 c #Conflicts: 637000 | #Constraints: 51031
3600.07/3609.40 c #Conflicts: 638000 | #Constraints: 52031
3600.07/3609.40 c #Conflicts: 639000 | #Constraints: 53031
3600.07/3609.40 c INPROCESSING
3600.07/3609.40 c GARBAGE COLLECT
3600.07/3609.40 c #Conflicts: 640000 | #Constraints: 38198
3600.07/3609.40 c #Conflicts: 641000 | #Constraints: 39198
3600.07/3609.40 c #Conflicts: 642000 | #Constraints: 40198
3600.07/3609.40 c #Conflicts: 643000 | #Constraints: 41198
3600.07/3609.40 c #Conflicts: 644000 | #Constraints: 42198
3600.07/3609.40 c #Conflicts: 645000 | #Constraints: 43198
3600.07/3609.40 c #Conflicts: 646000 | #Constraints: 44198
3600.07/3609.40 c #Conflicts: 647000 | #Constraints: 45198
3600.07/3609.40 c #Conflicts: 648000 | #Constraints: 46198
3600.07/3609.40 c #Conflicts: 649000 | #Constraints: 47198
3600.07/3609.40 c #Conflicts: 650000 | #Constraints: 48198
3600.07/3609.40 c Program interrupted by user.
3600.07/3609.40 c cpu time 3591.98 s
3600.07/3609.40 c deterministic time 286008309718 2.86e+11
3600.07/3609.40 c optimization time 62.3833 s
3600.07/3609.40 c total solve time 3230.1 s
3600.07/3609.40 c core-guided solve time 3230.1 s
3600.07/3609.40 c propagation time 1323.92 s
3600.07/3609.40 c conflict analysis time 1873.85 s
3600.07/3609.40 c propagations 822183316
3600.07/3609.40 c resolve steps 34286289
3600.07/3609.40 c decisions 6072655
3600.07/3609.40 c conflicts 650176
3600.07/3609.40 c restarts 1402
3600.07/3609.40 c inprocessing phases 71
3600.07/3609.40 c input clauses 22382
3600.07/3609.40 c input cardinalities 308
3600.07/3609.40 c input general constraints 4
3600.07/3609.40 c input average constraint length 5.59
3600.07/3609.40 c input average constraint degree 94.06
3600.07/3609.40 c learned clauses 320913
3600.07/3609.40 c learned cardinalities 7927
3600.07/3609.40 c learned general constraints 321335
3600.07/3609.40 c learned average constraint length 2346.32
3600.07/3609.40 c learned average constraint degree 58132757.98
3600.07/3609.40 c watched constraints 195837
3600.07/3609.40 c counting constraints 125502
3600.07/3609.40 c gcd simplifications 21527
3600.07/3609.40 c detected cardinalities 201
3600.07/3609.40 c weakened non-implied lits 833606266
3600.07/3609.40 c weakened non-implying lits 795777
3600.07/3609.40 c original variables 40937
3600.07/3609.40 c clausal propagations 462887225
3600.07/3609.40 c cardinality propagations 222365427
3600.07/3609.40 c watched propagations 18766408
3600.07/3609.40 c counting propagations 116010850
3600.07/3609.40 c watch lookups 22839173906
3600.07/3609.40 c watch backjump lookups 20993434158
3600.07/3609.40 c watch checks 163675927288
3600.07/3609.40 c propagation checks 70142724262
3600.07/3609.40 c constraint additions 6699908568
3600.07/3609.40 c trail pops 828885564
3600.07/3609.40 c formula constraints 22691
3600.07/3609.40 c learned constraints 650175
3600.07/3609.40 c bound constraints 3
3600.07/3609.40 c core-guided constraints 0
3600.07/3609.40 c encountered formula constraints 26168676
3600.07/3609.40 c encountered learned constraints 8764621
3600.07/3609.40 c encountered bound constraints 3168
3600.07/3609.40 c encountered core-guided constraints 0
3600.07/3609.40 c LP total time 0 s
3600.07/3609.40 c LP solve time 0 s
3600.07/3609.40 c LP constraints added 0
3600.07/3609.40 c LP constraints removed 0
3600.07/3609.40 c LP pivots internal 0
3600.07/3609.40 c LP pivots root 0
3600.07/3609.40 c LP calls 0
3600.07/3609.40 c LP optimalities 0
3600.07/3609.40 c LP no pivot count 0
3600.07/3609.40 c LP infeasibilities 0
3600.07/3609.40 c LP valid Farkas constraints 0
3600.07/3609.40 c LP learned Farkas constraints 0
3600.07/3609.40 c LP basis resets 0
3600.07/3609.40 c LP cycling count 0
3600.07/3609.40 c LP singular count 0
3600.07/3609.40 c LP no primal count 0
3600.07/3609.40 c LP no farkas count 0
3600.07/3609.40 c LP other issue count 0
3600.07/3609.40 c LP Gomory cuts 0
3600.07/3609.40 c LP learned cuts 0
3600.07/3609.40 c LP deleted cuts 0
3600.07/3609.40 c LP encountered Gomory constraints 0
3600.07/3609.40 c LP encountered Farkas constraints 0
3600.07/3609.40 c LP encountered learned Farkas constraints 0
3600.07/3609.40 c CG auxiliary variables introduced 0
3600.07/3609.40 c CG solutions found 0
3600.07/3609.40 c CG cores constructed 2
3600.07/3609.40 c CG core cardinality constraints returned 1
3600.07/3609.40 c CG unit cores 0
3600.07/3609.40 c CG single cores 2
3600.07/3609.40 c CG blocks removed during cardinality reduction 10
3600.07/3609.40 c CG first core best 0
3600.07/3609.40 c CG decision core best 0
3600.07/3609.40 c CG core reduction tie 0
3600.07/3609.40 c CG core degree average 46.50
3600.07/3609.40 c CG core slack average 7.00
3600.07/3609.40 c CG exhausted 0
3600.07/3609.40 c CG exhaust time 0 s
3600.07/3609.40 c CG trimmed 0
3600.07/3609.40 c CG trim time 0.001952 s
3600.07/3609.40 c CG minimized 0
3600.07/3609.40 c CG minimize time 0 s
3600.07/3609.40 c CG am1 prop time 0.000245 s
3600.07/3609.40 c CG # am1s reformulated 0
3600.07/3609.40 c CG lower bound derived from am1s 0
3600.07/3609.40 c CG # clausal cores 1
3600.07/3609.40 c CG # cardinality cores 0
3600.07/3609.40 c CG # pb cores 1
3600.07/3609.40 c CG # pb reforms 0
3600.07/3609.40 c CG # cores discarded because of pb reform 0
3600.07/3609.40 d LOWERBOUND -199697
3600.07/3609.40 d NCORES 2
3600.07/3609.40 d NPBCORES 1
3600.07/3609.40 d NPBREFORM 0
3600.07/3609.40 d NTRIMMED 0
3600.07/3609.40 d NEXHAUSTED 0
3600.07/3609.40 d NAM1S 0
3600.07/3609.40 d AM1LB 0
3600.07/3609.40 c [Papilo Statistics]
3600.07/3609.40 c prepro time 0.193714s
3600.07/3609.40 c # tsx applied 15769
3600.07/3609.40 c # tsx conflicts 0
3600.07/3609.40 c # bound changes 18618
3600.07/3609.40 c # side changes 554
3600.07/3609.40 c # coef changes 9
3600.07/3609.40 c # rounds 6
3600.07/3609.40 c # deted vars 18620
3600.07/3609.40 c # deted constrs 19053
3600.07/3609.40 c # consecutive rounds of only bound changes 0
3600.07/3609.45 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61825 MiB free)
memory of node 1: 64465 MiB (63447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505759-1751491800/watcher-4505759-1751491800 -o /tmp/evaluation-result-4505759-1751491800/solver-4505759-1751491800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63923 --watchdog 3760 mixed-bag HOME/instance-4505759-1751491800.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63967, runsolver pid=63959
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.70 2.11 3.20 1/266 63982
/proc/meminfo: memFree=128279572/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=76740 memory=6272 CPUtime=0 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) D 63959 63967 63907 0 -1 4194304 370 0 7 0 0 0 0 0 20 0 1 0 64857583 78581760 1568 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 19185 1568 1440 2842 0 1418 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 76740 KiB
Current children cumulated memory: 6272 KiB
[startup+0.205165 s]*
/proc/loadavg: 0.70 2.11 3.20 5/266 63982
/proc/meminfo: memFree=128087456/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=95664 memory=22448 CPUtime=0.08 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 4216 0 9 0 7 1 0 0 20 0 1 0 64857583 97959936 5612 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 23916 5612 2144 2842 0 6149 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 95664 KiB
Current children cumulated memory: 22448 KiB
[startup+0.305496 s]*
/proc/loadavg: 0.70 2.11 3.20 5/266 63982
/proc/meminfo: memFree=128015632/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=121068 memory=48368 CPUtime=0.17 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) D 63959 63967 63907 0 -1 4194304 9159 0 9 0 15 2 0 0 20 0 1 0 64857583 123973632 12092 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 30267 12092 2144 2842 0 12500 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 121068 KiB
Current children cumulated memory: 48368 KiB
[startup+0.700194 s]
/proc/loadavg: 0.70 2.11 3.20 5/266 63982
/proc/meminfo: memFree=127931332/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=229284 memory=152932 CPUtime=0.51 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 33881 0 11 0 45 6 0 0 20 0 1 0 64857583 234786816 38233 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 57321 38233 4032 2842 0 39015 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 229284 KiB
Current children cumulated memory: 152932 KiB
[startup+1.5002 s]
/proc/loadavg: 0.70 2.11 3.20 5/266 63982
/proc/meminfo: memFree=127600312/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=315692 memory=236692 CPUtime=1.3 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 51377 0 11 0 120 10 0 0 20 0 1 0 64857583 323268608 59173 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 78923 59173 4064 2842 0 60617 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 315692 KiB
Current children cumulated memory: 236692 KiB
[startup+3.10546 s]
/proc/loadavg: 0.70 2.11 3.20 5/266 63982
/proc/meminfo: memFree=126640524/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=319624 memory=240148 CPUtime=2.9 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 52274 0 11 0 280 10 0 0 20 0 1 0 64857583 327294976 60037 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 79906 60037 4064 2842 0 61600 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 319624 KiB
Current children cumulated memory: 240148 KiB
[startup+6.30017 s]
/proc/loadavg: 1.05 2.16 3.21 5/266 63982
/proc/meminfo: memFree=126607968/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=321316 memory=241812 CPUtime=6.09 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 52703 0 11 0 599 10 0 0 20 0 1 0 64857583 329027584 60453 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 80329 60453 4064 2842 0 62023 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 321316 KiB
Current children cumulated memory: 241812 KiB
[startup+12.7002 s]
/proc/loadavg: 1.29 2.19 3.22 5/266 63983
/proc/meminfo: memFree=123890424/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=323108 memory=243604 CPUtime=12.47 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 53164 0 11 0 1237 10 0 0 20 0 1 0 64857583 330862592 60901 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 80777 60901 4064 2842 0 62471 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 323108 KiB
Current children cumulated memory: 243604 KiB
[startup+25.5002 s]
/proc/loadavg: 1.89 2.28 3.23 5/266 63983
/proc/meminfo: memFree=122938632/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=690392 memory=538872 CPUtime=25.23 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 110822 0 11 0 2503 20 0 0 20 0 1 0 64857583 706961408 134718 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 172598 134718 4256 2842 0 154292 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 690392 KiB
Current children cumulated memory: 538872 KiB
[startup+51.1054 s]
/proc/loadavg: 2.69 2.43 3.26 5/266 63983
/proc/meminfo: memFree=122896076/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=747664 memory=583032 CPUtime=50.77 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 121918 0 11 0 5055 22 0 0 20 0 1 0 64857583 765607936 145758 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 186916 145758 4256 2842 0 168610 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 747664 KiB
Current children cumulated memory: 583032 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 2.68 3.30 5/266 63985
/proc/meminfo: memFree=122114596/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=752412 memory=586744 CPUtime=101.81 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 122844 0 11 0 10159 22 0 0 20 0 1 0 64857583 770469888 146686 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 188103 146686 4256 2842 0 169797 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 752412 KiB
Current children cumulated memory: 586744 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.94 3.35 5/265 63987
/proc/meminfo: memFree=120719656/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=752412 memory=587128 CPUtime=161.63 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 122943 0 11 0 16141 22 0 0 20 0 1 0 64857583 770469888 146782 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 188103 146782 4256 2842 0 169797 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 752412 KiB
Current children cumulated memory: 587128 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.16 3.40 5/266 63992
/proc/meminfo: memFree=120548644/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=814624 memory=649336 CPUtime=221.47 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 138488 0 11 0 22122 25 0 0 20 0 1 0 64857583 834174976 162334 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 203656 162334 4256 2842 0 185350 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 814624 KiB
Current children cumulated memory: 649336 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.33 3.45 5/266 63995
/proc/meminfo: memFree=120501300/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=814624 memory=649720 CPUtime=281.29 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 138674 0 11 0 28104 25 0 0 20 0 1 0 64857583 834174976 162430 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 203656 162430 4256 2842 0 185350 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 814624 KiB
Current children cumulated memory: 649720 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 3.46 3.49 5/266 63997
/proc/meminfo: memFree=118852840/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=752464 memory=606668 CPUtime=341.14 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 142228 0 11 0 34046 68 0 0 20 0 1 0 64857583 770523136 151667 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 188116 151667 4416 2842 0 169810 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 752464 KiB
Current children cumulated memory: 606668 KiB
[startup+402.3 s]
/proc/loadavg: 4.51 3.68 3.56 5/265 63999
/proc/meminfo: memFree=113551748/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=752464 memory=619344 CPUtime=401 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 142331 0 11 0 40003 97 0 0 20 0 1 0 64857583 770523136 154836 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 188116 154836 4416 2842 0 169810 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 752464 KiB
Current children cumulated memory: 619344 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 3.76 3.60 5/265 64001
/proc/meminfo: memFree=111939688/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=802552 memory=633168 CPUtime=460.85 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 143247 0 11 0 45965 120 0 0 20 0 1 0 64857583 821813248 158292 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 200638 158292 4416 2842 0 182332 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 937604 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/265 64150
/proc/meminfo: memFree=99602844/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=2854.86 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 284812 674 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 2854.86 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/265 64153
/proc/meminfo: memFree=99602680/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=2914.72 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 290787 685 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/265 64155
/proc/meminfo: memFree=99306768/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=2974.56 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 296760 696 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/266 64162
/proc/meminfo: memFree=98794944/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3034.41 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 302735 706 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/265 64164
/proc/meminfo: memFree=98794448/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3094.26 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 308708 718 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/264 64166
/proc/meminfo: memFree=98794360/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3154.1 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 314679 731 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/265 64172
/proc/meminfo: memFree=98759192/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3213.95 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 320654 741 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/265 64174
/proc/meminfo: memFree=98742944/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3273.8 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 326629 751 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/265 64176
/proc/meminfo: memFree=98743064/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3333.64 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 332602 762 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.11 4.08 5/264 64178
/proc/meminfo: memFree=98686420/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3393.49 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 338575 774 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/265 64181
/proc/meminfo: memFree=98544248/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3453.35 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 344551 784 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/264 64183
/proc/meminfo: memFree=98543300/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3513.19 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 350527 792 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 64186
/proc/meminfo: memFree=98544152/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3573.04 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 356500 804 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64193
/proc/meminfo: memFree=98527420/131250000 swapFree=33007332/33010684
[pid=63967] ppid=63959 vsize=1231124 memory=937604 CPUtime=3600.07 cores=4,6
/proc/63967/stat : 63967 (mixed-bag) R 63959 63967 63907 0 -1 4194304 151007 0 11 0 359197 810 0 0 20 0 1 0 64857583 1260670976 234401 18446744073709551615 4235264 15874749 140728185710112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 24551424 140728185715100 140728185715177 140728185715177 140728185720779 0
/proc/63967/statm: 307781 234401 4416 2842 0 289475 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1231124 KiB
Current children cumulated memory: 937604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.48 s]
# the end of solver process 63967 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.98 s, system=8.12641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.48
CPU time (s): 3600.11
CPU user time (s): 3591.98
CPU system time (s): 8.12641
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 1231124
Max. memory (cumulated for all children) (KiB): 937604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.98
system time used= 8.12641
maximum resident set size= 938628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151032
page faults= 12
swaps= 0
block input operations= 1608
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193
involuntary context switches= 1358
# summary of solver processes directly reported to runsolver:
# pid: 63967
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.98
# total CPU system time (s): 8.12641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16288 second user time and 15.3121 second system time
The end
Begin job on nodeC019 at 2025-07-02 23:30:00
IDJOB=4505759
IDBENCH=157116
IDSOLVER=3340
FILE ID=nodeC019/4505759-1751491800
RUNJOBID= nodeC019-1751491800-63923
SLURM_JOB_ID= 9598556
Free space on /tmp= 431736 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505759-1751491800/watcher-4505759-1751491800 -o /tmp/evaluation-result-4505759-1751491800/solver-4505759-1751491800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63923 --watchdog 3760 mixed-bag HOME/instance-4505759-1751491800.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ce0e5255050970e8cd3d266b8837be5
RANDOM SEED=1217985912
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.887
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.616
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3581.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.418
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128288048 kB
MemAvailable: 129741084 kB
Buffers: 904 kB
Cached: 2257116 kB
SwapCached: 440 kB
Active: 210844 kB
Inactive: 2112868 kB
Active(anon): 53140 kB
Inactive(anon): 27772 kB
Active(file): 157704 kB
Inactive(file): 2085096 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 112000 kB
Writeback: 12 kB
AnonPages: 68356 kB
Mapped: 103180 kB
Shmem: 15192 kB
KReclaimable: 98948 kB
Slab: 186952 kB
SReclaimable: 98948 kB
SUnreclaim: 88004 kB
KernelStack: 4048 kB
PageTables: 2816 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431616 MiB
End job on nodeC019 at 2025-07-03 00:30:10