0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.10/0.12 c [STEP] preprocessing with Papilo
0.10/0.18 c [STEP] solving with SCIP
299.09/300.28 c [STEP] preprocessing done, loading into solver
299.09/300.29 c [STEP] solving
299.09/300.29 c #variables 1288 #constraints 2430
299.09/300.29 c SMALL=int, LARGE=long long
299.09/300.29 d SCIPUB 98
299.09/300.29 c bounds - >= 0 @ 298.888
299.09/300.29 c stratification level: 0
324.23/325.48 c bounds - >= 1 @ 298.889
324.23/325.48 c bounds - >= 4 @ 298.889
324.23/325.48 c bounds - >= 5 @ 298.889
324.23/325.48 c bounds - >= 8 @ 298.889
324.23/325.48 c bounds - >= 16 @ 298.892
324.23/325.48 c #Conflicts: 1000 | #Constraints: 3435
324.23/325.48 c #Conflicts: 2000 | #Constraints: 4435
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 3000 | #Constraints: 4448
324.23/325.48 c #Conflicts: 4000 | #Constraints: 5448
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 5000 | #Constraints: 4860
324.23/325.48 c #Conflicts: 6000 | #Constraints: 5860
324.23/325.48 c bounds - >= 32 @ 300.503
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 7000 | #Constraints: 4862
324.23/325.48 c #Conflicts: 8000 | #Constraints: 5862
324.23/325.48 c #Conflicts: 9000 | #Constraints: 6862
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 10000 | #Constraints: 5564
324.23/325.48 c #Conflicts: 11000 | #Constraints: 6564
324.23/325.48 c #Conflicts: 12000 | #Constraints: 7564
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 13000 | #Constraints: 6017
324.23/325.48 c #Conflicts: 14000 | #Constraints: 7017
324.23/325.48 c #Conflicts: 15000 | #Constraints: 8017
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 16000 | #Constraints: 6243
324.23/325.48 c #Conflicts: 17000 | #Constraints: 7243
324.23/325.48 c #Conflicts: 18000 | #Constraints: 8243
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 19000 | #Constraints: 6262
324.23/325.48 c #Conflicts: 20000 | #Constraints: 7262
324.23/325.48 c #Conflicts: 21000 | #Constraints: 8262
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 22000 | #Constraints: 6076
324.23/325.48 c #Conflicts: 23000 | #Constraints: 7076
324.23/325.48 c #Conflicts: 24000 | #Constraints: 8076
324.23/325.48 c #Conflicts: 25000 | #Constraints: 9076
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 26000 | #Constraints: 6681
324.23/325.48 c #Conflicts: 27000 | #Constraints: 7681
324.23/325.48 c #Conflicts: 28000 | #Constraints: 8681
324.23/325.48 c #Conflicts: 29000 | #Constraints: 9681
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 30000 | #Constraints: 7095
324.23/325.48 c #Conflicts: 31000 | #Constraints: 8095
324.23/325.48 c #Conflicts: 32000 | #Constraints: 9095
324.23/325.48 c #Conflicts: 33000 | #Constraints: 10095
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 34000 | #Constraints: 7290
324.23/325.48 c #Conflicts: 35000 | #Constraints: 8290
324.23/325.48 c #Conflicts: 36000 | #Constraints: 9290
324.23/325.48 c #Conflicts: 37000 | #Constraints: 10290
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 38000 | #Constraints: 7288
324.23/325.48 c #Conflicts: 39000 | #Constraints: 8288
324.23/325.48 c #Conflicts: 40000 | #Constraints: 9288
324.23/325.48 c #Conflicts: 41000 | #Constraints: 10288
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 42000 | #Constraints: 7083
324.23/325.48 c #Conflicts: 43000 | #Constraints: 8083
324.23/325.48 c #Conflicts: 44000 | #Constraints: 9083
324.23/325.48 c #Conflicts: 45000 | #Constraints: 10083
324.23/325.48 c #Conflicts: 46000 | #Constraints: 11083
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 47000 | #Constraints: 7687
324.23/325.48 c #Conflicts: 48000 | #Constraints: 8687
324.23/325.48 c #Conflicts: 49000 | #Constraints: 9687
324.23/325.48 c #Conflicts: 50000 | #Constraints: 10687
324.23/325.48 c #Conflicts: 51000 | #Constraints: 11687
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 52000 | #Constraints: 8090
324.23/325.48 c #Conflicts: 53000 | #Constraints: 9090
324.23/325.48 c #Conflicts: 54000 | #Constraints: 10090
324.23/325.48 c #Conflicts: 55000 | #Constraints: 11090
324.23/325.48 c #Conflicts: 56000 | #Constraints: 12090
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 57000 | #Constraints: 8295
324.23/325.48 c #Conflicts: 58000 | #Constraints: 9295
324.23/325.48 c #Conflicts: 59000 | #Constraints: 10295
324.23/325.48 c #Conflicts: 60000 | #Constraints: 11295
324.23/325.48 c #Conflicts: 61000 | #Constraints: 12295
324.23/325.48 c INPROCESSING
324.23/325.48 c GARBAGE COLLECT
324.23/325.48 c #Conflicts: 62000 | #Constraints: 8286
324.23/325.48 c #Conflicts: 63000 | #Constraints: 9286
324.23/325.48 c #Conflicts: 64000 | #Constraints: 10286
324.23/325.48 c #Conflicts: 65000 | #Constraints: 11286
369.51/370.87 c #Conflicts: 66000 | #Constraints: 12286
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 67000 | #Constraints: 8079
369.51/370.87 c #Conflicts: 68000 | #Constraints: 9079
369.51/370.87 c #Conflicts: 69000 | #Constraints: 10079
369.51/370.87 c #Conflicts: 70000 | #Constraints: 11079
369.51/370.87 c #Conflicts: 71000 | #Constraints: 12079
369.51/370.87 c #Conflicts: 72000 | #Constraints: 13079
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 73000 | #Constraints: 8677
369.51/370.87 c #Conflicts: 74000 | #Constraints: 9677
369.51/370.87 c #Conflicts: 75000 | #Constraints: 10677
369.51/370.87 c #Conflicts: 76000 | #Constraints: 11677
369.51/370.87 c #Conflicts: 77000 | #Constraints: 12677
369.51/370.87 c #Conflicts: 78000 | #Constraints: 13677
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 79000 | #Constraints: 9087
369.51/370.87 c #Conflicts: 80000 | #Constraints: 10087
369.51/370.87 c #Conflicts: 81000 | #Constraints: 11087
369.51/370.87 c #Conflicts: 82000 | #Constraints: 12087
369.51/370.87 c #Conflicts: 83000 | #Constraints: 13087
369.51/370.87 c #Conflicts: 84000 | #Constraints: 14087
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 85000 | #Constraints: 9287
369.51/370.87 c #Conflicts: 86000 | #Constraints: 10287
369.51/370.87 c #Conflicts: 87000 | #Constraints: 11287
369.51/370.87 c #Conflicts: 88000 | #Constraints: 12287
369.51/370.87 c #Conflicts: 89000 | #Constraints: 13287
369.51/370.87 c #Conflicts: 90000 | #Constraints: 14287
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 91000 | #Constraints: 9295
369.51/370.87 c #Conflicts: 92000 | #Constraints: 10295
369.51/370.87 c #Conflicts: 93000 | #Constraints: 11295
369.51/370.87 c #Conflicts: 94000 | #Constraints: 12295
369.51/370.87 c #Conflicts: 95000 | #Constraints: 13295
369.51/370.87 c #Conflicts: 96000 | #Constraints: 14295
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 97000 | #Constraints: 9090
369.51/370.87 c #Conflicts: 98000 | #Constraints: 10090
369.51/370.87 c #Conflicts: 99000 | #Constraints: 11090
369.51/370.87 c #Conflicts: 100000 | #Constraints: 12090
369.51/370.87 c #Conflicts: 101000 | #Constraints: 13090
369.51/370.87 c #Conflicts: 102000 | #Constraints: 14090
369.51/370.87 c #Conflicts: 103000 | #Constraints: 15090
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 104000 | #Constraints: 9687
369.51/370.87 c #Conflicts: 105000 | #Constraints: 10687
369.51/370.87 c #Conflicts: 106000 | #Constraints: 11687
369.51/370.87 c #Conflicts: 107000 | #Constraints: 12687
369.51/370.87 c #Conflicts: 108000 | #Constraints: 13687
369.51/370.87 c #Conflicts: 109000 | #Constraints: 14687
369.51/370.87 c #Conflicts: 110000 | #Constraints: 15687
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 111000 | #Constraints: 10080
369.51/370.87 c #Conflicts: 112000 | #Constraints: 11080
369.51/370.87 c #Conflicts: 113000 | #Constraints: 12080
369.51/370.87 c #Conflicts: 114000 | #Constraints: 13080
369.51/370.87 c #Conflicts: 115000 | #Constraints: 14080
369.51/370.87 c #Conflicts: 116000 | #Constraints: 15080
369.51/370.87 c #Conflicts: 117000 | #Constraints: 16080
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 118000 | #Constraints: 10282
369.51/370.87 c #Conflicts: 119000 | #Constraints: 11282
369.51/370.87 c #Conflicts: 120000 | #Constraints: 12282
369.51/370.87 c #Conflicts: 121000 | #Constraints: 13282
369.51/370.87 c #Conflicts: 122000 | #Constraints: 14282
369.51/370.87 c #Conflicts: 123000 | #Constraints: 15282
369.51/370.87 c #Conflicts: 124000 | #Constraints: 16282
369.51/370.87 c INPROCESSING
369.51/370.87 c GARBAGE COLLECT
369.51/370.87 c #Conflicts: 125000 | #Constraints: 10289
369.51/370.87 c #Conflicts: 126000 | #Constraints: 11289
369.51/370.87 c #Conflicts: 127000 | #Constraints: 12289
369.51/370.87 c #Conflicts: 128000 | #Constraints: 13289
369.51/370.87 c #Conflicts: 129000 | #Constraints: 14289
369.51/370.87 c #Conflicts: 130000 | #Constraints: 15289
369.51/370.87 c #Conflicts: 131000 | #Constraints: 16289
369.51/370.87 c #Conflicts: 132000 | #Constraints: 17289
369.51/370.87 c #Conflicts: 133000 | #Constraints: 18289
369.51/370.87 c #Conflicts: 134000 | #Constraints: 19289
369.51/370.87 c #Conflicts: 135000 | #Constraints: 20289
369.51/370.87 c #Conflicts: 136000 | #Constraints: 21289
369.51/370.87 c #Conflicts: 137000 | #Constraints: 22289
369.51/370.87 c #Conflicts: 138000 | #Constraints: 23289
461.53/463.19 c #Conflicts: 139000 | #Constraints: 24289
461.53/463.19 c #Conflicts: 140000 | #Constraints: 25289
461.53/463.19 c #Conflicts: 141000 | #Constraints: 26289
461.53/463.19 c #Conflicts: 142000 | #Constraints: 27289
461.53/463.19 c #Conflicts: 143000 | #Constraints: 28289
461.53/463.19 c #Conflicts: 144000 | #Constraints: 29289
461.53/463.19 c #Conflicts: 145000 | #Constraints: 30289
461.53/463.19 c #Conflicts: 146000 | #Constraints: 31289
461.53/463.19 c #Conflicts: 147000 | #Constraints: 32289
461.53/463.19 c #Conflicts: 148000 | #Constraints: 33289
461.53/463.19 c #Conflicts: 149000 | #Constraints: 34289
461.53/463.19 c #Conflicts: 150000 | #Constraints: 35289
461.53/463.19 c #Conflicts: 151000 | #Constraints: 36289
461.53/463.19 c #Conflicts: 152000 | #Constraints: 37289
461.53/463.19 c #Conflicts: 153000 | #Constraints: 38289
461.53/463.19 c #Conflicts: 154000 | #Constraints: 39289
461.53/463.19 c #Conflicts: 155000 | #Constraints: 40289
461.53/463.19 c #Conflicts: 156000 | #Constraints: 41289
461.53/463.19 c INPROCESSING
461.53/463.19 c GARBAGE COLLECT
461.53/463.19 c #Conflicts: 157000 | #Constraints: 22510
461.53/463.19 c #Conflicts: 158000 | #Constraints: 23510
461.53/463.19 c #Conflicts: 159000 | #Constraints: 24510
461.53/463.19 c #Conflicts: 160000 | #Constraints: 25510
461.53/463.19 c #Conflicts: 161000 | #Constraints: 26510
461.53/463.19 c #Conflicts: 162000 | #Constraints: 27510
461.53/463.19 c #Conflicts: 163000 | #Constraints: 28510
461.53/463.19 c #Conflicts: 164000 | #Constraints: 29510
461.53/463.19 c #Conflicts: 165000 | #Constraints: 30510
461.53/463.19 c INPROCESSING
461.53/463.19 c GARBAGE COLLECT
461.53/463.19 c #Conflicts: 166000 | #Constraints: 17363
461.53/463.19 c #Conflicts: 167000 | #Constraints: 18363
461.53/463.19 c #Conflicts: 168000 | #Constraints: 19363
461.53/463.19 c #Conflicts: 169000 | #Constraints: 20363
461.53/463.19 c #Conflicts: 170000 | #Constraints: 21363
461.53/463.19 c #Conflicts: 171000 | #Constraints: 22363
461.53/463.19 c #Conflicts: 172000 | #Constraints: 23363
461.53/463.19 c #Conflicts: 173000 | #Constraints: 24363
461.53/463.19 c #Conflicts: 174000 | #Constraints: 25363
461.53/463.19 c INPROCESSING
461.53/463.19 c GARBAGE COLLECT
461.53/463.19 c #Conflicts: 175000 | #Constraints: 14936
461.53/463.19 c #Conflicts: 176000 | #Constraints: 15936
461.53/463.19 c #Conflicts: 177000 | #Constraints: 16936
461.53/463.19 c #Conflicts: 178000 | #Constraints: 17936
461.53/463.19 c #Conflicts: 179000 | #Constraints: 18936
461.53/463.19 c #Conflicts: 180000 | #Constraints: 19936
461.53/463.19 c #Conflicts: 181000 | #Constraints: 20936
461.53/463.19 c #Conflicts: 182000 | #Constraints: 21936
461.53/463.19 c INPROCESSING
461.53/463.19 c GARBAGE COLLECT
461.53/463.19 c #Conflicts: 183000 | #Constraints: 12767
461.53/463.19 c #Conflicts: 184000 | #Constraints: 13767
461.53/463.19 c #Conflicts: 185000 | #Constraints: 14767
461.53/463.19 c #Conflicts: 186000 | #Constraints: 15767
461.53/463.19 c #Conflicts: 187000 | #Constraints: 16767
461.53/463.19 c #Conflicts: 188000 | #Constraints: 17767
461.53/463.19 c #Conflicts: 189000 | #Constraints: 18767
461.53/463.19 c #Conflicts: 190000 | #Constraints: 19767
461.53/463.19 c #Conflicts: 191000 | #Constraints: 20767
461.53/463.19 c #Conflicts: 192000 | #Constraints: 21767
461.53/463.19 c INPROCESSING
461.53/463.19 c GARBAGE COLLECT
461.53/463.19 c #Conflicts: 193000 | #Constraints: 13132
461.53/463.19 c #Conflicts: 194000 | #Constraints: 14132
461.53/463.19 c #Conflicts: 195000 | #Constraints: 15132
461.53/463.19 c #Conflicts: 196000 | #Constraints: 16132
461.53/463.19 c #Conflicts: 197000 | #Constraints: 17132
461.53/463.19 c #Conflicts: 198000 | #Constraints: 18132
461.53/463.19 c #Conflicts: 199000 | #Constraints: 19132
461.53/463.19 c #Conflicts: 200000 | #Constraints: 20132
461.53/463.19 c #Conflicts: 201000 | #Constraints: 21132
461.53/463.19 c #Conflicts: 202000 | #Constraints: 22132
461.53/463.19 c #Conflicts: 203000 | #Constraints: 23132
461.53/463.19 c #Conflicts: 204000 | #Constraints: 24132
461.53/463.19 c #Conflicts: 205000 | #Constraints: 25132
461.53/463.19 c #Conflicts: 206000 | #Constraints: 26132
461.53/463.19 c #Conflicts: 207000 | #Constraints: 27132
461.53/463.19 c #Conflicts: 208000 | #Constraints: 28132
461.53/463.19 c #Conflicts: 209000 | #Constraints: 29132
461.53/463.19 c #Conflicts: 210000 | #Constraints: 30132
461.53/463.19 c #Conflicts: 211000 | #Constraints: 31132
461.53/463.19 c #Conflicts: 212000 | #Constraints: 32132
461.53/463.19 c #Conflicts: 213000 | #Constraints: 33132
596.00/598.06 c #Conflicts: 214000 | #Constraints: 34132
596.00/598.06 c #Conflicts: 215000 | #Constraints: 35132
596.00/598.06 c #Conflicts: 216000 | #Constraints: 36132
596.00/598.06 c #Conflicts: 217000 | #Constraints: 37132
596.00/598.06 c #Conflicts: 218000 | #Constraints: 38132
596.00/598.06 c #Conflicts: 219000 | #Constraints: 39132
596.00/598.06 c #Conflicts: 220000 | #Constraints: 40132
596.00/598.06 c #Conflicts: 221000 | #Constraints: 41132
596.00/598.06 c #Conflicts: 222000 | #Constraints: 42132
596.00/598.06 c #Conflicts: 223000 | #Constraints: 43132
596.00/598.06 c #Conflicts: 224000 | #Constraints: 44132
596.00/598.06 c #Conflicts: 225000 | #Constraints: 45132
596.00/598.06 c #Conflicts: 226000 | #Constraints: 46132
596.00/598.06 c #Conflicts: 227000 | #Constraints: 47132
596.00/598.06 c #Conflicts: 228000 | #Constraints: 48132
596.00/598.06 c #Conflicts: 229000 | #Constraints: 49132
596.00/598.06 c #Conflicts: 230000 | #Constraints: 50132
596.00/598.06 c #Conflicts: 231000 | #Constraints: 51132
596.00/598.06 c INPROCESSING
596.00/598.06 c GARBAGE COLLECT
596.00/598.06 c #Conflicts: 232000 | #Constraints: 27830
596.00/598.06 c #Conflicts: 233000 | #Constraints: 28830
596.00/598.06 c #Conflicts: 234000 | #Constraints: 29830
596.00/598.06 c #Conflicts: 235000 | #Constraints: 30830
596.00/598.06 c #Conflicts: 236000 | #Constraints: 31830
596.00/598.06 c #Conflicts: 237000 | #Constraints: 32830
596.00/598.06 c #Conflicts: 238000 | #Constraints: 33830
596.00/598.06 c #Conflicts: 239000 | #Constraints: 34830
596.00/598.06 c #Conflicts: 240000 | #Constraints: 35830
596.00/598.06 c #Conflicts: 241000 | #Constraints: 36830
596.00/598.06 c INPROCESSING
596.00/598.06 c GARBAGE COLLECT
596.00/598.06 c #Conflicts: 242000 | #Constraints: 20471
596.00/598.06 c #Conflicts: 243000 | #Constraints: 21471
596.00/598.06 c #Conflicts: 244000 | #Constraints: 22471
596.00/598.06 c #Conflicts: 245000 | #Constraints: 23471
596.00/598.06 c #Conflicts: 246000 | #Constraints: 24471
596.00/598.06 c #Conflicts: 247000 | #Constraints: 25471
596.00/598.06 c #Conflicts: 248000 | #Constraints: 26471
596.00/598.06 c #Conflicts: 249000 | #Constraints: 27471
596.00/598.06 c #Conflicts: 250000 | #Constraints: 28471
596.00/598.06 c #Conflicts: 251000 | #Constraints: 29471
596.00/598.06 c #Conflicts: 252000 | #Constraints: 30471
596.00/598.06 c INPROCESSING
596.00/598.06 c GARBAGE COLLECT
596.00/598.06 c #Conflicts: 253000 | #Constraints: 17494
596.00/598.06 c #Conflicts: 254000 | #Constraints: 18494
596.00/598.06 c #Conflicts: 255000 | #Constraints: 19494
596.00/598.06 c #Conflicts: 256000 | #Constraints: 20494
596.00/598.06 c #Conflicts: 257000 | #Constraints: 21494
596.00/598.06 c #Conflicts: 258000 | #Constraints: 22494
596.00/598.06 c #Conflicts: 259000 | #Constraints: 23494
596.00/598.06 c #Conflicts: 260000 | #Constraints: 24494
596.00/598.06 c #Conflicts: 261000 | #Constraints: 25494
596.00/598.06 c #Conflicts: 262000 | #Constraints: 26494
596.00/598.06 c INPROCESSING
596.00/598.06 c GARBAGE COLLECT
596.00/598.06 c #Conflicts: 263000 | #Constraints: 15094
596.00/598.06 c #Conflicts: 264000 | #Constraints: 16094
596.00/598.06 c #Conflicts: 265000 | #Constraints: 17094
596.00/598.06 c #Conflicts: 266000 | #Constraints: 18094
596.00/598.06 c #Conflicts: 267000 | #Constraints: 19094
596.00/598.06 c #Conflicts: 268000 | #Constraints: 20094
596.00/598.06 c #Conflicts: 269000 | #Constraints: 21094
596.00/598.06 c #Conflicts: 270000 | #Constraints: 22094
596.00/598.06 c #Conflicts: 271000 | #Constraints: 23094
596.00/598.06 c #Conflicts: 272000 | #Constraints: 24094
596.00/598.06 c #Conflicts: 273000 | #Constraints: 25094
596.00/598.06 c #Conflicts: 274000 | #Constraints: 26094
596.00/598.06 c #Conflicts: 275000 | #Constraints: 27094
596.00/598.06 c #Conflicts: 276000 | #Constraints: 28094
596.00/598.06 c #Conflicts: 277000 | #Constraints: 29094
596.00/598.06 c #Conflicts: 278000 | #Constraints: 30094
596.00/598.06 c #Conflicts: 279000 | #Constraints: 31094
596.00/598.06 c #Conflicts: 280000 | #Constraints: 32094
596.00/598.06 c #Conflicts: 281000 | #Constraints: 33094
596.00/598.06 c #Conflicts: 282000 | #Constraints: 34094
596.00/598.06 c #Conflicts: 283000 | #Constraints: 35094
596.00/598.06 c #Conflicts: 284000 | #Constraints: 36094
596.00/598.06 c #Conflicts: 285000 | #Constraints: 37094
596.00/598.06 c #Conflicts: 286000 | #Constraints: 38094
596.00/598.06 c #Conflicts: 287000 | #Constraints: 39094
596.00/598.06 c #Conflicts: 288000 | #Constraints: 40094
596.00/598.06 c #Conflicts: 289000 | #Constraints: 41094
596.00/598.06 c #Conflicts: 290000 | #Constraints: 42094
764.34/766.97 c #Conflicts: 291000 | #Constraints: 43094
764.34/766.97 c #Conflicts: 292000 | #Constraints: 44094
764.34/766.97 c #Conflicts: 293000 | #Constraints: 45094
764.34/766.97 c #Conflicts: 294000 | #Constraints: 46094
764.34/766.97 c #Conflicts: 295000 | #Constraints: 47094
764.34/766.97 c #Conflicts: 296000 | #Constraints: 48094
764.34/766.97 c #Conflicts: 297000 | #Constraints: 49094
764.34/766.97 c #Conflicts: 298000 | #Constraints: 50094
764.34/766.97 c #Conflicts: 299000 | #Constraints: 51094
764.34/766.97 c #Conflicts: 300000 | #Constraints: 52094
764.34/766.97 c #Conflicts: 301000 | #Constraints: 53094
764.34/766.97 c #Conflicts: 302000 | #Constraints: 54094
764.34/766.97 c #Conflicts: 303000 | #Constraints: 55094
764.34/766.97 c #Conflicts: 304000 | #Constraints: 56094
764.34/766.97 c #Conflicts: 305000 | #Constraints: 57094
764.34/766.97 c #Conflicts: 306000 | #Constraints: 58094
764.34/766.97 c #Conflicts: 307000 | #Constraints: 59094
764.34/766.97 c INPROCESSING
764.34/766.97 c GARBAGE COLLECT
764.34/766.97 c #Conflicts: 308000 | #Constraints: 31762
764.34/766.97 c #Conflicts: 309000 | #Constraints: 32762
764.34/766.97 c #Conflicts: 310000 | #Constraints: 33762
764.34/766.97 c #Conflicts: 311000 | #Constraints: 34762
764.34/766.97 c #Conflicts: 312000 | #Constraints: 35762
764.34/766.97 c #Conflicts: 313000 | #Constraints: 36762
764.34/766.97 c #Conflicts: 314000 | #Constraints: 37762
764.34/766.97 c #Conflicts: 315000 | #Constraints: 38762
764.34/766.97 c #Conflicts: 316000 | #Constraints: 39762
764.34/766.97 c #Conflicts: 317000 | #Constraints: 40762
764.34/766.97 c #Conflicts: 318000 | #Constraints: 41762
764.34/766.97 c #Conflicts: 319000 | #Constraints: 42762
764.34/766.97 c INPROCESSING
764.34/766.97 c GARBAGE COLLECT
764.34/766.97 c #Conflicts: 320000 | #Constraints: 23550
764.34/766.97 c #Conflicts: 321000 | #Constraints: 24550
764.34/766.97 c #Conflicts: 322000 | #Constraints: 25550
764.34/766.97 c #Conflicts: 323000 | #Constraints: 26550
764.34/766.97 c #Conflicts: 324000 | #Constraints: 27550
764.34/766.97 c #Conflicts: 325000 | #Constraints: 28550
764.34/766.97 c #Conflicts: 326000 | #Constraints: 29550
764.34/766.97 c #Conflicts: 327000 | #Constraints: 30550
764.34/766.97 c #Conflicts: 328000 | #Constraints: 31550
764.34/766.97 c #Conflicts: 329000 | #Constraints: 32550
764.34/766.97 c #Conflicts: 330000 | #Constraints: 33550
764.34/766.97 c #Conflicts: 331000 | #Constraints: 34550
764.34/766.97 c INPROCESSING
764.34/766.97 c GARBAGE COLLECT
764.34/766.97 c #Conflicts: 332000 | #Constraints: 19280
764.34/766.97 c #Conflicts: 333000 | #Constraints: 20280
764.34/766.97 c #Conflicts: 334000 | #Constraints: 21280
764.34/766.97 c #Conflicts: 335000 | #Constraints: 22280
764.34/766.97 c #Conflicts: 336000 | #Constraints: 23280
764.34/766.97 c #Conflicts: 337000 | #Constraints: 24280
764.34/766.97 c #Conflicts: 338000 | #Constraints: 25280
764.34/766.97 c #Conflicts: 339000 | #Constraints: 26280
764.34/766.97 c #Conflicts: 340000 | #Constraints: 27280
764.34/766.97 c #Conflicts: 341000 | #Constraints: 28280
764.34/766.97 c #Conflicts: 342000 | #Constraints: 29280
764.34/766.97 c #Conflicts: 343000 | #Constraints: 30280
764.34/766.97 c #Conflicts: 344000 | #Constraints: 31280
764.34/766.97 c INPROCESSING
764.34/766.97 c GARBAGE COLLECT
764.34/766.97 c #Conflicts: 345000 | #Constraints: 17890
764.34/766.97 c #Conflicts: 346000 | #Constraints: 18890
764.34/766.97 c #Conflicts: 347000 | #Constraints: 19890
764.34/766.97 c #Conflicts: 348000 | #Constraints: 20890
764.34/766.97 c #Conflicts: 349000 | #Constraints: 21890
764.34/766.97 c #Conflicts: 350000 | #Constraints: 22890
764.34/766.97 c #Conflicts: 351000 | #Constraints: 23890
764.34/766.97 c #Conflicts: 352000 | #Constraints: 24890
764.34/766.97 c #Conflicts: 353000 | #Constraints: 25890
764.34/766.97 c #Conflicts: 354000 | #Constraints: 26890
764.34/766.97 c #Conflicts: 355000 | #Constraints: 27890
764.34/766.97 c #Conflicts: 356000 | #Constraints: 28890
764.34/766.97 c #Conflicts: 357000 | #Constraints: 29890
764.34/766.97 c #Conflicts: 358000 | #Constraints: 30890
764.34/766.97 c #Conflicts: 359000 | #Constraints: 31890
764.34/766.97 c #Conflicts: 360000 | #Constraints: 32890
764.34/766.97 c #Conflicts: 361000 | #Constraints: 33890
764.34/766.97 c #Conflicts: 362000 | #Constraints: 34890
764.34/766.97 c #Conflicts: 363000 | #Constraints: 35890
764.34/766.97 c #Conflicts: 364000 | #Constraints: 36890
764.34/766.97 c #Conflicts: 365000 | #Constraints: 37890
764.34/766.97 c #Conflicts: 366000 | #Constraints: 38890
978.54/981.84 c #Conflicts: 367000 | #Constraints: 39890
978.54/981.84 c #Conflicts: 368000 | #Constraints: 40890
978.54/981.84 c #Conflicts: 369000 | #Constraints: 41890
978.54/981.84 c #Conflicts: 370000 | #Constraints: 42890
978.54/981.84 c #Conflicts: 371000 | #Constraints: 43890
978.54/981.84 c #Conflicts: 372000 | #Constraints: 44890
978.54/981.84 c #Conflicts: 373000 | #Constraints: 45890
978.54/981.84 c #Conflicts: 374000 | #Constraints: 46890
978.54/981.84 c #Conflicts: 375000 | #Constraints: 47890
978.54/981.84 c #Conflicts: 376000 | #Constraints: 48890
978.54/981.84 c #Conflicts: 377000 | #Constraints: 49890
978.54/981.84 c #Conflicts: 378000 | #Constraints: 50890
978.54/981.84 c #Conflicts: 379000 | #Constraints: 51890
978.54/981.84 c #Conflicts: 380000 | #Constraints: 52890
978.54/981.84 c #Conflicts: 381000 | #Constraints: 53890
978.54/981.84 c #Conflicts: 382000 | #Constraints: 54890
978.54/981.84 c #Conflicts: 383000 | #Constraints: 55890
978.54/981.84 c #Conflicts: 384000 | #Constraints: 56890
978.54/981.84 c #Conflicts: 385000 | #Constraints: 57890
978.54/981.84 c #Conflicts: 386000 | #Constraints: 58890
978.54/981.84 c #Conflicts: 387000 | #Constraints: 59890
978.54/981.84 c #Conflicts: 388000 | #Constraints: 60890
978.54/981.84 c #Conflicts: 389000 | #Constraints: 61890
978.54/981.84 c #Conflicts: 390000 | #Constraints: 62890
978.54/981.84 c #Conflicts: 391000 | #Constraints: 63890
978.54/981.84 c #Conflicts: 392000 | #Constraints: 64890
978.54/981.84 c #Conflicts: 393000 | #Constraints: 65890
978.54/981.84 c INPROCESSING
978.54/981.84 c GARBAGE COLLECT
978.54/981.84 c #Conflicts: 394000 | #Constraints: 34913
978.54/981.84 c #Conflicts: 395000 | #Constraints: 35913
978.54/981.84 c #Conflicts: 396000 | #Constraints: 36913
978.54/981.84 c #Conflicts: 397000 | #Constraints: 37913
978.54/981.84 c #Conflicts: 398000 | #Constraints: 38913
978.54/981.84 c #Conflicts: 399000 | #Constraints: 39913
978.54/981.84 c #Conflicts: 400000 | #Constraints: 40913
978.54/981.84 c #Conflicts: 401000 | #Constraints: 41913
978.54/981.84 c #Conflicts: 402000 | #Constraints: 42913
978.54/981.84 c #Conflicts: 403000 | #Constraints: 43913
978.54/981.84 c #Conflicts: 404000 | #Constraints: 44913
978.54/981.84 c #Conflicts: 405000 | #Constraints: 45913
978.54/981.84 c #Conflicts: 406000 | #Constraints: 46913
978.54/981.84 c #Conflicts: 407000 | #Constraints: 47913
978.54/981.84 c INPROCESSING
978.54/981.84 c GARBAGE COLLECT
978.54/981.84 c #Conflicts: 408000 | #Constraints: 26047
978.54/981.84 c #Conflicts: 409000 | #Constraints: 27047
978.54/981.84 c #Conflicts: 410000 | #Constraints: 28047
978.54/981.84 c #Conflicts: 411000 | #Constraints: 29047
978.54/981.84 c #Conflicts: 412000 | #Constraints: 30047
978.54/981.84 c #Conflicts: 413000 | #Constraints: 31047
978.54/981.84 c #Conflicts: 414000 | #Constraints: 32047
978.54/981.84 c #Conflicts: 415000 | #Constraints: 33047
978.54/981.84 c #Conflicts: 416000 | #Constraints: 34047
978.54/981.84 c #Conflicts: 417000 | #Constraints: 35047
978.54/981.84 c #Conflicts: 418000 | #Constraints: 36047
978.54/981.84 c #Conflicts: 419000 | #Constraints: 37047
978.54/981.84 c #Conflicts: 420000 | #Constraints: 38047
978.54/981.84 c #Conflicts: 421000 | #Constraints: 39047
978.54/981.84 c INPROCESSING
978.54/981.84 c GARBAGE COLLECT
978.54/981.84 c #Conflicts: 422000 | #Constraints: 21595
978.54/981.84 c #Conflicts: 423000 | #Constraints: 22595
978.54/981.84 c #Conflicts: 424000 | #Constraints: 23595
978.54/981.84 c #Conflicts: 425000 | #Constraints: 24595
978.54/981.84 c #Conflicts: 426000 | #Constraints: 25595
978.54/981.84 c #Conflicts: 427000 | #Constraints: 26595
978.54/981.84 c #Conflicts: 428000 | #Constraints: 27595
978.54/981.84 c #Conflicts: 429000 | #Constraints: 28595
978.54/981.84 c #Conflicts: 430000 | #Constraints: 29595
978.54/981.84 c #Conflicts: 431000 | #Constraints: 30595
978.54/981.84 c #Conflicts: 432000 | #Constraints: 31595
978.54/981.84 c #Conflicts: 433000 | #Constraints: 32595
978.54/981.84 c #Conflicts: 434000 | #Constraints: 33595
978.54/981.84 c #Conflicts: 435000 | #Constraints: 34595
978.54/981.84 c INPROCESSING
978.54/981.84 c GARBAGE COLLECT
978.54/981.84 c #Conflicts: 436000 | #Constraints: 19246
978.54/981.84 c #Conflicts: 437000 | #Constraints: 20246
978.54/981.84 c #Conflicts: 438000 | #Constraints: 21246
978.54/981.84 c #Conflicts: 439000 | #Constraints: 22246
978.54/981.84 c #Conflicts: 440000 | #Constraints: 23246
978.54/981.84 c #Conflicts: 441000 | #Constraints: 24246
978.54/981.84 c #Conflicts: 442000 | #Constraints: 25246
1238.27/1242.41 c #Conflicts: 443000 | #Constraints: 26246
1238.27/1242.41 c #Conflicts: 444000 | #Constraints: 27246
1238.27/1242.41 c #Conflicts: 445000 | #Constraints: 28246
1238.27/1242.41 c #Conflicts: 446000 | #Constraints: 29246
1238.27/1242.41 c #Conflicts: 447000 | #Constraints: 30246
1238.27/1242.41 c #Conflicts: 448000 | #Constraints: 31246
1238.27/1242.41 c #Conflicts: 449000 | #Constraints: 32246
1238.27/1242.41 c #Conflicts: 450000 | #Constraints: 33246
1238.27/1242.41 c #Conflicts: 451000 | #Constraints: 34246
1238.27/1242.41 c #Conflicts: 452000 | #Constraints: 35246
1238.27/1242.41 c #Conflicts: 453000 | #Constraints: 36246
1238.27/1242.41 c #Conflicts: 454000 | #Constraints: 37246
1238.27/1242.41 c #Conflicts: 455000 | #Constraints: 38246
1238.27/1242.41 c #Conflicts: 456000 | #Constraints: 39246
1238.27/1242.41 c #Conflicts: 457000 | #Constraints: 40246
1238.27/1242.41 c #Conflicts: 458000 | #Constraints: 41246
1238.27/1242.41 c #Conflicts: 459000 | #Constraints: 42246
1238.27/1242.41 c #Conflicts: 460000 | #Constraints: 43246
1238.27/1242.41 c #Conflicts: 461000 | #Constraints: 44246
1238.27/1242.41 c #Conflicts: 462000 | #Constraints: 45246
1238.27/1242.41 c #Conflicts: 463000 | #Constraints: 46246
1238.27/1242.41 c #Conflicts: 464000 | #Constraints: 47246
1238.27/1242.41 c #Conflicts: 465000 | #Constraints: 48246
1238.27/1242.41 c #Conflicts: 466000 | #Constraints: 49246
1238.27/1242.41 c #Conflicts: 467000 | #Constraints: 50246
1238.27/1242.41 c #Conflicts: 468000 | #Constraints: 51246
1238.27/1242.41 c #Conflicts: 469000 | #Constraints: 52246
1238.27/1242.41 c #Conflicts: 470000 | #Constraints: 53246
1238.27/1242.41 c #Conflicts: 471000 | #Constraints: 54246
1238.27/1242.41 c #Conflicts: 472000 | #Constraints: 55246
1238.27/1242.41 c #Conflicts: 473000 | #Constraints: 56246
1238.27/1242.41 c #Conflicts: 474000 | #Constraints: 57246
1238.27/1242.41 c #Conflicts: 475000 | #Constraints: 58246
1238.27/1242.41 c #Conflicts: 476000 | #Constraints: 59246
1238.27/1242.41 c #Conflicts: 477000 | #Constraints: 60246
1238.27/1242.41 c #Conflicts: 478000 | #Constraints: 61246
1238.27/1242.41 c #Conflicts: 479000 | #Constraints: 62246
1238.27/1242.41 c #Conflicts: 480000 | #Constraints: 63246
1238.27/1242.41 c #Conflicts: 481000 | #Constraints: 64246
1238.27/1242.41 c #Conflicts: 482000 | #Constraints: 65246
1238.27/1242.41 c #Conflicts: 483000 | #Constraints: 66246
1238.27/1242.41 c #Conflicts: 484000 | #Constraints: 67246
1238.27/1242.41 c #Conflicts: 485000 | #Constraints: 68246
1238.27/1242.41 c #Conflicts: 486000 | #Constraints: 69246
1238.27/1242.41 c #Conflicts: 487000 | #Constraints: 70246
1238.27/1242.41 c #Conflicts: 488000 | #Constraints: 71246
1238.27/1242.41 c #Conflicts: 489000 | #Constraints: 72246
1238.27/1242.41 c #Conflicts: 490000 | #Constraints: 73246
1238.27/1242.41 c INPROCESSING
1238.27/1242.41 c GARBAGE COLLECT
1238.27/1242.41 c #Conflicts: 491000 | #Constraints: 38637
1238.27/1242.41 c #Conflicts: 492000 | #Constraints: 39637
1238.27/1242.41 c #Conflicts: 493000 | #Constraints: 40637
1238.27/1242.41 c #Conflicts: 494000 | #Constraints: 41637
1238.27/1242.41 c #Conflicts: 495000 | #Constraints: 42637
1238.27/1242.41 c #Conflicts: 496000 | #Constraints: 43637
1238.27/1242.41 c #Conflicts: 497000 | #Constraints: 44637
1238.27/1242.41 c #Conflicts: 498000 | #Constraints: 45637
1238.27/1242.41 c #Conflicts: 499000 | #Constraints: 46637
1238.27/1242.41 c #Conflicts: 500000 | #Constraints: 47637
1238.27/1242.41 c #Conflicts: 501000 | #Constraints: 48637
1238.27/1242.41 c #Conflicts: 502000 | #Constraints: 49637
1238.27/1242.41 c #Conflicts: 503000 | #Constraints: 50637
1238.27/1242.41 c #Conflicts: 504000 | #Constraints: 51637
1238.27/1242.41 c #Conflicts: 505000 | #Constraints: 52637
1238.27/1242.41 c #Conflicts: 506000 | #Constraints: 53637
1238.27/1242.41 c INPROCESSING
1238.27/1242.41 c GARBAGE COLLECT
1238.27/1242.41 c #Conflicts: 507000 | #Constraints: 29093
1238.27/1242.41 c #Conflicts: 508000 | #Constraints: 30093
1238.27/1242.41 c #Conflicts: 509000 | #Constraints: 31093
1238.27/1242.41 c #Conflicts: 510000 | #Constraints: 32093
1238.27/1242.41 c #Conflicts: 511000 | #Constraints: 33093
1238.27/1242.41 c #Conflicts: 512000 | #Constraints: 34093
1238.27/1242.41 c #Conflicts: 513000 | #Constraints: 35093
1238.27/1242.41 c #Conflicts: 514000 | #Constraints: 36093
1238.27/1242.41 c #Conflicts: 515000 | #Constraints: 37093
1238.27/1242.41 c #Conflicts: 516000 | #Constraints: 38093
1238.27/1242.41 c #Conflicts: 517000 | #Constraints: 39093
1238.27/1242.41 c #Conflicts: 518000 | #Constraints: 40093
1238.27/1242.41 c #Conflicts: 519000 | #Constraints: 41093
1238.27/1242.41 c #Conflicts: 520000 | #Constraints: 42093
1544.51/1549.75 c #Conflicts: 521000 | #Constraints: 43093
1544.51/1549.75 c INPROCESSING
1544.51/1549.75 c GARBAGE COLLECT
1544.51/1549.75 c #Conflicts: 522000 | #Constraints: 23465
1544.51/1549.75 c #Conflicts: 523000 | #Constraints: 24465
1544.51/1549.75 c #Conflicts: 524000 | #Constraints: 25465
1544.51/1549.75 c #Conflicts: 525000 | #Constraints: 26465
1544.51/1549.75 c #Conflicts: 526000 | #Constraints: 27465
1544.51/1549.75 c #Conflicts: 527000 | #Constraints: 28465
1544.51/1549.75 c #Conflicts: 528000 | #Constraints: 29465
1544.51/1549.75 c #Conflicts: 529000 | #Constraints: 30465
1544.51/1549.75 c #Conflicts: 530000 | #Constraints: 31465
1544.51/1549.75 c #Conflicts: 531000 | #Constraints: 32465
1544.51/1549.75 c #Conflicts: 532000 | #Constraints: 33465
1544.51/1549.75 c #Conflicts: 533000 | #Constraints: 34465
1544.51/1549.75 c #Conflicts: 534000 | #Constraints: 35465
1544.51/1549.75 c #Conflicts: 535000 | #Constraints: 36465
1544.51/1549.75 c #Conflicts: 536000 | #Constraints: 37465
1544.51/1549.75 c #Conflicts: 537000 | #Constraints: 38465
1544.51/1549.75 c #Conflicts: 538000 | #Constraints: 39465
1544.51/1549.75 c #Conflicts: 539000 | #Constraints: 40465
1544.51/1549.75 c #Conflicts: 540000 | #Constraints: 41465
1544.51/1549.75 c #Conflicts: 541000 | #Constraints: 42465
1544.51/1549.75 c #Conflicts: 542000 | #Constraints: 43465
1544.51/1549.75 c #Conflicts: 543000 | #Constraints: 44465
1544.51/1549.75 c #Conflicts: 544000 | #Constraints: 45465
1544.51/1549.75 c #Conflicts: 545000 | #Constraints: 46465
1544.51/1549.75 c #Conflicts: 546000 | #Constraints: 47465
1544.51/1549.75 c #Conflicts: 547000 | #Constraints: 48465
1544.51/1549.75 c #Conflicts: 548000 | #Constraints: 49465
1544.51/1549.75 c #Conflicts: 549000 | #Constraints: 50465
1544.51/1549.75 c #Conflicts: 550000 | #Constraints: 51465
1544.51/1549.75 c #Conflicts: 551000 | #Constraints: 52465
1544.51/1549.75 c #Conflicts: 552000 | #Constraints: 53465
1544.51/1549.75 c #Conflicts: 553000 | #Constraints: 54465
1544.51/1549.75 c #Conflicts: 554000 | #Constraints: 55465
1544.51/1549.75 c #Conflicts: 555000 | #Constraints: 56465
1544.51/1549.75 c #Conflicts: 556000 | #Constraints: 57465
1544.51/1549.75 c #Conflicts: 557000 | #Constraints: 58465
1544.51/1549.75 c #Conflicts: 558000 | #Constraints: 59465
1544.51/1549.75 c #Conflicts: 559000 | #Constraints: 60465
1544.51/1549.75 c #Conflicts: 560000 | #Constraints: 61465
1544.51/1549.75 c #Conflicts: 561000 | #Constraints: 62465
1544.51/1549.75 c #Conflicts: 562000 | #Constraints: 63465
1544.51/1549.75 c #Conflicts: 563000 | #Constraints: 64465
1544.51/1549.75 c #Conflicts: 564000 | #Constraints: 65465
1544.51/1549.75 c #Conflicts: 565000 | #Constraints: 66465
1544.51/1549.75 c #Conflicts: 566000 | #Constraints: 67465
1544.51/1549.75 c #Conflicts: 567000 | #Constraints: 68465
1544.51/1549.75 c #Conflicts: 568000 | #Constraints: 69465
1544.51/1549.75 c #Conflicts: 569000 | #Constraints: 70465
1544.51/1549.75 c #Conflicts: 570000 | #Constraints: 71465
1544.51/1549.75 c #Conflicts: 571000 | #Constraints: 72465
1544.51/1549.75 c #Conflicts: 572000 | #Constraints: 73465
1544.51/1549.75 c #Conflicts: 573000 | #Constraints: 74465
1544.51/1549.75 c #Conflicts: 574000 | #Constraints: 75465
1544.51/1549.75 c #Conflicts: 575000 | #Constraints: 76465
1544.51/1549.75 c #Conflicts: 576000 | #Constraints: 77465
1544.51/1549.75 c #Conflicts: 577000 | #Constraints: 78465
1544.51/1549.75 c #Conflicts: 578000 | #Constraints: 79465
1544.51/1549.75 c #Conflicts: 579000 | #Constraints: 80465
1544.51/1549.75 c #Conflicts: 580000 | #Constraints: 81465
1544.51/1549.75 c INPROCESSING
1544.51/1549.75 c GARBAGE COLLECT
1544.51/1549.75 c #Conflicts: 581000 | #Constraints: 42601
1544.51/1549.75 c #Conflicts: 582000 | #Constraints: 43601
1544.51/1549.75 c #Conflicts: 583000 | #Constraints: 44601
1544.51/1549.75 c #Conflicts: 584000 | #Constraints: 45601
1544.51/1549.75 c #Conflicts: 585000 | #Constraints: 46601
1544.51/1549.75 c #Conflicts: 586000 | #Constraints: 47601
1544.51/1549.75 c #Conflicts: 587000 | #Constraints: 48601
1544.51/1549.75 c #Conflicts: 588000 | #Constraints: 49601
1544.51/1549.75 c #Conflicts: 589000 | #Constraints: 50601
1544.51/1549.75 c #Conflicts: 590000 | #Constraints: 51601
1544.51/1549.75 c #Conflicts: 591000 | #Constraints: 52601
1544.51/1549.75 c #Conflicts: 592000 | #Constraints: 53601
1544.51/1549.75 c #Conflicts: 593000 | #Constraints: 54601
1544.51/1549.75 c #Conflicts: 594000 | #Constraints: 55601
1544.51/1549.75 c #Conflicts: 595000 | #Constraints: 56601
1544.51/1549.75 c #Conflicts: 596000 | #Constraints: 57601
1544.51/1549.75 c #Conflicts: 597000 | #Constraints: 58601
1867.10/1873.41 c INPROCESSING
1867.10/1873.41 c GARBAGE COLLECT
1867.10/1873.41 c #Conflicts: 598000 | #Constraints: 31171
1867.10/1873.41 c #Conflicts: 599000 | #Constraints: 32171
1867.10/1873.41 c #Conflicts: 600000 | #Constraints: 33171
1867.10/1873.41 c #Conflicts: 601000 | #Constraints: 34171
1867.10/1873.41 c #Conflicts: 602000 | #Constraints: 35171
1867.10/1873.41 c #Conflicts: 603000 | #Constraints: 36171
1867.10/1873.41 c #Conflicts: 604000 | #Constraints: 37171
1867.10/1873.41 c #Conflicts: 605000 | #Constraints: 38171
1867.10/1873.41 c #Conflicts: 606000 | #Constraints: 39171
1867.10/1873.41 c #Conflicts: 607000 | #Constraints: 40171
1867.10/1873.41 c #Conflicts: 608000 | #Constraints: 41171
1867.10/1873.41 c #Conflicts: 609000 | #Constraints: 42171
1867.10/1873.41 c #Conflicts: 610000 | #Constraints: 43171
1867.10/1873.41 c #Conflicts: 611000 | #Constraints: 44171
1867.10/1873.41 c #Conflicts: 612000 | #Constraints: 45171
1867.10/1873.41 c #Conflicts: 613000 | #Constraints: 46171
1867.10/1873.41 c #Conflicts: 614000 | #Constraints: 47171
1867.10/1873.41 c #Conflicts: 615000 | #Constraints: 48171
1867.10/1873.41 c INPROCESSING
1867.10/1873.41 c GARBAGE COLLECT
1867.10/1873.41 c #Conflicts: 616000 | #Constraints: 26339
1867.10/1873.41 c #Conflicts: 617000 | #Constraints: 27339
1867.10/1873.41 c #Conflicts: 618000 | #Constraints: 28339
1867.10/1873.41 c #Conflicts: 619000 | #Constraints: 29339
1867.10/1873.41 c #Conflicts: 620000 | #Constraints: 30339
1867.10/1873.41 c #Conflicts: 621000 | #Constraints: 31339
1867.10/1873.41 c #Conflicts: 622000 | #Constraints: 32339
1867.10/1873.41 c #Conflicts: 623000 | #Constraints: 33339
1867.10/1873.41 c #Conflicts: 624000 | #Constraints: 34339
1867.10/1873.41 c #Conflicts: 625000 | #Constraints: 35339
1867.10/1873.41 c #Conflicts: 626000 | #Constraints: 36339
1867.10/1873.41 c #Conflicts: 627000 | #Constraints: 37339
1867.10/1873.41 c #Conflicts: 628000 | #Constraints: 38339
1867.10/1873.41 c #Conflicts: 629000 | #Constraints: 39339
1867.10/1873.41 c #Conflicts: 630000 | #Constraints: 40339
1867.10/1873.41 c #Conflicts: 631000 | #Constraints: 41339
1867.10/1873.41 c #Conflicts: 632000 | #Constraints: 42339
1867.10/1873.41 c #Conflicts: 633000 | #Constraints: 43339
1867.10/1873.41 c #Conflicts: 634000 | #Constraints: 44339
1867.10/1873.41 c #Conflicts: 635000 | #Constraints: 45339
1867.10/1873.41 c #Conflicts: 636000 | #Constraints: 46339
1867.10/1873.41 c #Conflicts: 637000 | #Constraints: 47339
1867.10/1873.41 c #Conflicts: 638000 | #Constraints: 48339
1867.10/1873.41 c #Conflicts: 639000 | #Constraints: 49339
1867.10/1873.41 c #Conflicts: 640000 | #Constraints: 50339
1867.10/1873.41 c #Conflicts: 641000 | #Constraints: 51339
1867.10/1873.41 c #Conflicts: 642000 | #Constraints: 52339
1867.10/1873.41 c #Conflicts: 643000 | #Constraints: 53339
1867.10/1873.41 c #Conflicts: 644000 | #Constraints: 54339
1867.10/1873.41 c #Conflicts: 645000 | #Constraints: 55339
1867.10/1873.41 c #Conflicts: 646000 | #Constraints: 56339
1867.10/1873.41 c #Conflicts: 647000 | #Constraints: 57339
1867.10/1873.41 c #Conflicts: 648000 | #Constraints: 58339
1867.10/1873.41 c #Conflicts: 649000 | #Constraints: 59339
1867.10/1873.41 c #Conflicts: 650000 | #Constraints: 60339
1867.10/1873.41 c #Conflicts: 651000 | #Constraints: 61339
1867.10/1873.41 c #Conflicts: 652000 | #Constraints: 62339
1867.10/1873.41 c #Conflicts: 653000 | #Constraints: 63339
1867.10/1873.41 c #Conflicts: 654000 | #Constraints: 64339
1867.10/1873.41 c #Conflicts: 655000 | #Constraints: 65339
1867.10/1873.41 c #Conflicts: 656000 | #Constraints: 66339
1867.10/1873.41 c #Conflicts: 657000 | #Constraints: 67339
1867.10/1873.41 c #Conflicts: 658000 | #Constraints: 68339
1867.10/1873.41 c #Conflicts: 659000 | #Constraints: 69339
1867.10/1873.41 c #Conflicts: 660000 | #Constraints: 70339
1867.10/1873.41 c #Conflicts: 661000 | #Constraints: 71339
1867.10/1873.41 c #Conflicts: 662000 | #Constraints: 72339
1867.10/1873.41 c #Conflicts: 663000 | #Constraints: 73339
1867.10/1873.41 c #Conflicts: 664000 | #Constraints: 74339
1867.10/1873.41 c #Conflicts: 665000 | #Constraints: 75339
1867.10/1873.41 c #Conflicts: 666000 | #Constraints: 76339
1867.10/1873.41 c #Conflicts: 667000 | #Constraints: 77339
1867.10/1873.41 c #Conflicts: 668000 | #Constraints: 78339
1867.10/1873.41 c #Conflicts: 669000 | #Constraints: 79339
1867.10/1873.41 c #Conflicts: 670000 | #Constraints: 80339
1867.10/1873.41 c #Conflicts: 671000 | #Constraints: 81339
1867.10/1873.41 c #Conflicts: 672000 | #Constraints: 82339
1867.10/1873.41 c #Conflicts: 673000 | #Constraints: 83339
1867.10/1873.41 c #Conflicts: 674000 | #Constraints: 84339
1867.10/1873.41 c #Conflicts: 675000 | #Constraints: 85339
2197.59/2205.01 c #Conflicts: 676000 | #Constraints: 86339
2197.59/2205.01 c #Conflicts: 677000 | #Constraints: 87339
2197.59/2205.01 c #Conflicts: 678000 | #Constraints: 88339
2197.59/2205.01 c INPROCESSING
2197.59/2205.01 c GARBAGE COLLECT
2197.59/2205.01 c #Conflicts: 679000 | #Constraints: 46296
2197.59/2205.01 c #Conflicts: 680000 | #Constraints: 47296
2197.59/2205.01 c #Conflicts: 681000 | #Constraints: 48296
2197.59/2205.01 c #Conflicts: 682000 | #Constraints: 49296
2197.59/2205.01 c #Conflicts: 683000 | #Constraints: 50296
2197.59/2205.01 c #Conflicts: 684000 | #Constraints: 51296
2197.59/2205.01 c #Conflicts: 685000 | #Constraints: 52296
2197.59/2205.01 c #Conflicts: 686000 | #Constraints: 53296
2197.59/2205.01 c #Conflicts: 687000 | #Constraints: 54296
2197.59/2205.01 c #Conflicts: 688000 | #Constraints: 55296
2197.59/2205.01 c #Conflicts: 689000 | #Constraints: 56296
2197.59/2205.01 c #Conflicts: 690000 | #Constraints: 57296
2197.59/2205.01 c #Conflicts: 691000 | #Constraints: 58296
2197.59/2205.01 c #Conflicts: 692000 | #Constraints: 59296
2197.59/2205.01 c #Conflicts: 693000 | #Constraints: 60296
2197.59/2205.01 c #Conflicts: 694000 | #Constraints: 61296
2197.59/2205.01 c #Conflicts: 695000 | #Constraints: 62296
2197.59/2205.01 c #Conflicts: 696000 | #Constraints: 63296
2197.59/2205.01 c INPROCESSING
2197.59/2205.01 c GARBAGE COLLECT
2197.59/2205.01 c #Conflicts: 697000 | #Constraints: 33519
2197.59/2205.01 c #Conflicts: 698000 | #Constraints: 34519
2197.59/2205.01 c #Conflicts: 699000 | #Constraints: 35519
2197.59/2205.01 c #Conflicts: 700000 | #Constraints: 36519
2197.59/2205.01 c #Conflicts: 701000 | #Constraints: 37519
2197.59/2205.01 c #Conflicts: 702000 | #Constraints: 38519
2197.59/2205.01 c #Conflicts: 703000 | #Constraints: 39519
2197.59/2205.01 c #Conflicts: 704000 | #Constraints: 40519
2197.59/2205.01 c #Conflicts: 705000 | #Constraints: 41519
2197.59/2205.01 c #Conflicts: 706000 | #Constraints: 42519
2197.59/2205.01 c #Conflicts: 707000 | #Constraints: 43519
2197.59/2205.01 c #Conflicts: 708000 | #Constraints: 44519
2197.59/2205.01 c #Conflicts: 709000 | #Constraints: 45519
2197.59/2205.01 c #Conflicts: 710000 | #Constraints: 46519
2197.59/2205.01 c #Conflicts: 711000 | #Constraints: 47519
2197.59/2205.01 c #Conflicts: 712000 | #Constraints: 48519
2197.59/2205.01 c #Conflicts: 713000 | #Constraints: 49519
2197.59/2205.01 c #Conflicts: 714000 | #Constraints: 50519
2197.59/2205.01 c #Conflicts: 715000 | #Constraints: 51519
2197.59/2205.01 c INPROCESSING
2197.59/2205.01 c GARBAGE COLLECT
2197.59/2205.01 c #Conflicts: 716000 | #Constraints: 27768
2197.59/2205.01 c #Conflicts: 717000 | #Constraints: 28768
2197.59/2205.01 c #Conflicts: 718000 | #Constraints: 29768
2197.59/2205.01 c #Conflicts: 719000 | #Constraints: 30768
2197.59/2205.01 c #Conflicts: 720000 | #Constraints: 31768
2197.59/2205.01 c #Conflicts: 721000 | #Constraints: 32768
2197.59/2205.01 c #Conflicts: 722000 | #Constraints: 33768
2197.59/2205.01 c #Conflicts: 723000 | #Constraints: 34768
2197.59/2205.01 c #Conflicts: 724000 | #Constraints: 35768
2197.59/2205.01 c #Conflicts: 725000 | #Constraints: 36768
2197.59/2205.01 c #Conflicts: 726000 | #Constraints: 37768
2197.59/2205.01 c #Conflicts: 727000 | #Constraints: 38768
2197.59/2205.01 c #Conflicts: 728000 | #Constraints: 39768
2197.59/2205.01 c #Conflicts: 729000 | #Constraints: 40768
2197.59/2205.01 c #Conflicts: 730000 | #Constraints: 41768
2197.59/2205.01 c #Conflicts: 731000 | #Constraints: 42768
2197.59/2205.01 c #Conflicts: 732000 | #Constraints: 43768
2197.59/2205.01 c #Conflicts: 733000 | #Constraints: 44768
2197.59/2205.01 c #Conflicts: 734000 | #Constraints: 45768
2197.59/2205.01 c #Conflicts: 735000 | #Constraints: 46768
2197.59/2205.01 c #Conflicts: 736000 | #Constraints: 47768
2197.59/2205.01 c #Conflicts: 737000 | #Constraints: 48768
2197.59/2205.01 c #Conflicts: 738000 | #Constraints: 49768
2197.59/2205.01 c #Conflicts: 739000 | #Constraints: 50768
2197.59/2205.01 c #Conflicts: 740000 | #Constraints: 51768
2197.59/2205.01 c #Conflicts: 741000 | #Constraints: 52768
2197.59/2205.01 c #Conflicts: 742000 | #Constraints: 53768
2197.59/2205.01 c #Conflicts: 743000 | #Constraints: 54768
2197.59/2205.01 c #Conflicts: 744000 | #Constraints: 55768
2197.59/2205.01 c #Conflicts: 745000 | #Constraints: 56768
2197.59/2205.01 c #Conflicts: 746000 | #Constraints: 57768
2197.59/2205.01 c #Conflicts: 747000 | #Constraints: 58768
2197.59/2205.01 c #Conflicts: 748000 | #Constraints: 59768
2197.59/2205.01 c #Conflicts: 749000 | #Constraints: 60768
2197.59/2205.01 c #Conflicts: 750000 | #Constraints: 61768
2197.59/2205.01 c #Conflicts: 751000 | #Constraints: 62768
2197.59/2205.01 c #Conflicts: 752000 | #Constraints: 63768
2612.69/2621.50 c #Conflicts: 753000 | #Constraints: 64768
2612.69/2621.50 c #Conflicts: 754000 | #Constraints: 65768
2612.69/2621.50 c #Conflicts: 755000 | #Constraints: 66768
2612.69/2621.50 c #Conflicts: 756000 | #Constraints: 67768
2612.69/2621.50 c #Conflicts: 757000 | #Constraints: 68768
2612.69/2621.50 c #Conflicts: 758000 | #Constraints: 69768
2612.69/2621.50 c #Conflicts: 759000 | #Constraints: 70768
2612.69/2621.50 c #Conflicts: 760000 | #Constraints: 71768
2612.69/2621.50 c #Conflicts: 761000 | #Constraints: 72768
2612.69/2621.50 c #Conflicts: 762000 | #Constraints: 73768
2612.69/2621.50 c #Conflicts: 763000 | #Constraints: 74768
2612.69/2621.50 c #Conflicts: 764000 | #Constraints: 75768
2612.69/2621.50 c #Conflicts: 765000 | #Constraints: 76768
2612.69/2621.50 c #Conflicts: 766000 | #Constraints: 77768
2612.69/2621.50 c #Conflicts: 767000 | #Constraints: 78768
2612.69/2621.50 c #Conflicts: 768000 | #Constraints: 79768
2612.69/2621.50 c #Conflicts: 769000 | #Constraints: 80768
2612.69/2621.50 c #Conflicts: 770000 | #Constraints: 81768
2612.69/2621.50 c #Conflicts: 771000 | #Constraints: 82768
2612.69/2621.50 c #Conflicts: 772000 | #Constraints: 83768
2612.69/2621.50 c #Conflicts: 773000 | #Constraints: 84768
2612.69/2621.50 c #Conflicts: 774000 | #Constraints: 85768
2612.69/2621.50 c #Conflicts: 775000 | #Constraints: 86768
2612.69/2621.50 c #Conflicts: 776000 | #Constraints: 87768
2612.69/2621.50 c #Conflicts: 777000 | #Constraints: 88768
2612.69/2621.50 c #Conflicts: 778000 | #Constraints: 89768
2612.69/2621.50 c #Conflicts: 779000 | #Constraints: 90768
2612.69/2621.50 c #Conflicts: 780000 | #Constraints: 91768
2612.69/2621.50 c #Conflicts: 781000 | #Constraints: 92768
2612.69/2621.50 c #Conflicts: 782000 | #Constraints: 93768
2612.69/2621.50 c #Conflicts: 783000 | #Constraints: 94768
2612.69/2621.50 c INPROCESSING
2612.69/2621.50 c GARBAGE COLLECT
2612.69/2621.50 c #Conflicts: 784000 | #Constraints: 49666
2612.69/2621.50 c #Conflicts: 785000 | #Constraints: 50666
2612.69/2621.50 c #Conflicts: 786000 | #Constraints: 51666
2612.69/2621.50 c #Conflicts: 787000 | #Constraints: 52666
2612.69/2621.50 c #Conflicts: 788000 | #Constraints: 53666
2612.69/2621.50 c #Conflicts: 789000 | #Constraints: 54666
2612.69/2621.50 c #Conflicts: 790000 | #Constraints: 55666
2612.69/2621.50 c #Conflicts: 791000 | #Constraints: 56666
2612.69/2621.50 c #Conflicts: 792000 | #Constraints: 57666
2612.69/2621.50 c #Conflicts: 793000 | #Constraints: 58666
2612.69/2621.50 c #Conflicts: 794000 | #Constraints: 59666
2612.69/2621.50 c #Conflicts: 795000 | #Constraints: 60666
2612.69/2621.50 c #Conflicts: 796000 | #Constraints: 61666
2612.69/2621.50 c #Conflicts: 797000 | #Constraints: 62666
2612.69/2621.50 c #Conflicts: 798000 | #Constraints: 63666
2612.69/2621.50 c #Conflicts: 799000 | #Constraints: 64666
2612.69/2621.50 c #Conflicts: 800000 | #Constraints: 65666
2612.69/2621.50 c #Conflicts: 801000 | #Constraints: 66666
2612.69/2621.50 c #Conflicts: 802000 | #Constraints: 67666
2612.69/2621.50 c #Conflicts: 803000 | #Constraints: 68666
2612.69/2621.50 c INPROCESSING
2612.69/2621.50 c GARBAGE COLLECT
2612.69/2621.50 c #Conflicts: 804000 | #Constraints: 36611
2612.69/2621.50 c #Conflicts: 805000 | #Constraints: 37611
2612.69/2621.50 c #Conflicts: 806000 | #Constraints: 38611
2612.69/2621.50 c #Conflicts: 807000 | #Constraints: 39611
2612.69/2621.50 c #Conflicts: 808000 | #Constraints: 40611
2612.69/2621.50 c #Conflicts: 809000 | #Constraints: 41611
2612.69/2621.50 c #Conflicts: 810000 | #Constraints: 42611
2612.69/2621.50 c #Conflicts: 811000 | #Constraints: 43611
2612.69/2621.50 c #Conflicts: 812000 | #Constraints: 44611
2612.69/2621.50 c #Conflicts: 813000 | #Constraints: 45611
2612.69/2621.50 c #Conflicts: 814000 | #Constraints: 46611
2612.69/2621.50 c #Conflicts: 815000 | #Constraints: 47611
2612.69/2621.50 c #Conflicts: 816000 | #Constraints: 48611
2612.69/2621.50 c #Conflicts: 817000 | #Constraints: 49611
2612.69/2621.50 c #Conflicts: 818000 | #Constraints: 50611
2612.69/2621.50 c #Conflicts: 819000 | #Constraints: 51611
2612.69/2621.50 c #Conflicts: 820000 | #Constraints: 52611
2612.69/2621.50 c #Conflicts: 821000 | #Constraints: 53611
2612.69/2621.50 c #Conflicts: 822000 | #Constraints: 54611
2612.69/2621.50 c #Conflicts: 823000 | #Constraints: 55611
2612.69/2621.50 c INPROCESSING
2612.69/2621.50 c GARBAGE COLLECT
2612.69/2621.50 c #Conflicts: 824000 | #Constraints: 29964
2612.69/2621.50 c #Conflicts: 825000 | #Constraints: 30964
2612.69/2621.50 c #Conflicts: 826000 | #Constraints: 31964
2612.69/2621.50 c #Conflicts: 827000 | #Constraints: 32964
2612.69/2621.50 c #Conflicts: 828000 | #Constraints: 33964
3069.59/3080.01 c #Conflicts: 829000 | #Constraints: 34964
3069.59/3080.01 c #Conflicts: 830000 | #Constraints: 35964
3069.59/3080.01 c #Conflicts: 831000 | #Constraints: 36964
3069.59/3080.01 c #Conflicts: 832000 | #Constraints: 37964
3069.59/3080.01 c #Conflicts: 833000 | #Constraints: 38964
3069.59/3080.01 c #Conflicts: 834000 | #Constraints: 39964
3069.59/3080.01 c #Conflicts: 835000 | #Constraints: 40964
3069.59/3080.01 c #Conflicts: 836000 | #Constraints: 41964
3069.59/3080.01 c #Conflicts: 837000 | #Constraints: 42964
3069.59/3080.01 c #Conflicts: 838000 | #Constraints: 43964
3069.59/3080.01 c #Conflicts: 839000 | #Constraints: 44964
3069.59/3080.01 c #Conflicts: 840000 | #Constraints: 45964
3069.59/3080.01 c #Conflicts: 841000 | #Constraints: 46964
3069.59/3080.01 c #Conflicts: 842000 | #Constraints: 47964
3069.59/3080.01 c #Conflicts: 843000 | #Constraints: 48964
3069.59/3080.01 c #Conflicts: 844000 | #Constraints: 49964
3069.59/3080.01 c #Conflicts: 845000 | #Constraints: 50964
3069.59/3080.01 c #Conflicts: 846000 | #Constraints: 51964
3069.59/3080.01 c #Conflicts: 847000 | #Constraints: 52964
3069.59/3080.01 c #Conflicts: 848000 | #Constraints: 53964
3069.59/3080.01 c #Conflicts: 849000 | #Constraints: 54964
3069.59/3080.01 c #Conflicts: 850000 | #Constraints: 55964
3069.59/3080.01 c #Conflicts: 851000 | #Constraints: 56964
3069.59/3080.01 c #Conflicts: 852000 | #Constraints: 57964
3069.59/3080.01 c #Conflicts: 853000 | #Constraints: 58964
3069.59/3080.01 c #Conflicts: 854000 | #Constraints: 59964
3069.59/3080.01 c #Conflicts: 855000 | #Constraints: 60964
3069.59/3080.01 c #Conflicts: 856000 | #Constraints: 61964
3069.59/3080.01 c #Conflicts: 857000 | #Constraints: 62964
3069.59/3080.01 c #Conflicts: 858000 | #Constraints: 63964
3069.59/3080.01 c #Conflicts: 859000 | #Constraints: 64964
3069.59/3080.01 c #Conflicts: 860000 | #Constraints: 65964
3069.59/3080.01 c #Conflicts: 861000 | #Constraints: 66964
3069.59/3080.01 c #Conflicts: 862000 | #Constraints: 67964
3069.59/3080.01 c #Conflicts: 863000 | #Constraints: 68964
3069.59/3080.01 c #Conflicts: 864000 | #Constraints: 69964
3069.59/3080.01 c #Conflicts: 865000 | #Constraints: 70964
3069.59/3080.01 c #Conflicts: 866000 | #Constraints: 71964
3069.59/3080.01 c #Conflicts: 867000 | #Constraints: 72964
3069.59/3080.01 c #Conflicts: 868000 | #Constraints: 73964
3069.59/3080.01 c #Conflicts: 869000 | #Constraints: 74964
3069.59/3080.01 c #Conflicts: 870000 | #Constraints: 75964
3069.59/3080.01 c #Conflicts: 871000 | #Constraints: 76964
3069.59/3080.01 c #Conflicts: 872000 | #Constraints: 77964
3069.59/3080.01 c #Conflicts: 873000 | #Constraints: 78964
3069.59/3080.01 c #Conflicts: 874000 | #Constraints: 79964
3069.59/3080.01 c #Conflicts: 875000 | #Constraints: 80964
3069.59/3080.01 c #Conflicts: 876000 | #Constraints: 81964
3069.59/3080.01 c #Conflicts: 877000 | #Constraints: 82964
3069.59/3080.01 c #Conflicts: 878000 | #Constraints: 83964
3069.59/3080.01 c #Conflicts: 879000 | #Constraints: 84964
3069.59/3080.01 c #Conflicts: 880000 | #Constraints: 85964
3069.59/3080.01 c #Conflicts: 881000 | #Constraints: 86964
3069.59/3080.01 c #Conflicts: 882000 | #Constraints: 87964
3069.59/3080.01 c #Conflicts: 883000 | #Constraints: 88964
3069.59/3080.01 c #Conflicts: 884000 | #Constraints: 89964
3069.59/3080.01 c #Conflicts: 885000 | #Constraints: 90964
3069.59/3080.01 c #Conflicts: 886000 | #Constraints: 91964
3069.59/3080.01 c #Conflicts: 887000 | #Constraints: 92964
3069.59/3080.01 c #Conflicts: 888000 | #Constraints: 93964
3069.59/3080.01 c #Conflicts: 889000 | #Constraints: 94964
3069.59/3080.01 c #Conflicts: 890000 | #Constraints: 95964
3069.59/3080.01 c #Conflicts: 891000 | #Constraints: 96964
3069.59/3080.01 c #Conflicts: 892000 | #Constraints: 97964
3069.59/3080.01 c #Conflicts: 893000 | #Constraints: 98964
3069.59/3080.01 c #Conflicts: 894000 | #Constraints: 99964
3069.59/3080.01 c INPROCESSING
3069.59/3080.01 c GARBAGE COLLECT
3069.59/3080.01 c #Conflicts: 895000 | #Constraints: 51828
3069.59/3080.01 c #Conflicts: 896000 | #Constraints: 52828
3069.59/3080.01 c #Conflicts: 897000 | #Constraints: 53828
3069.59/3080.01 c #Conflicts: 898000 | #Constraints: 54828
3069.59/3080.01 c #Conflicts: 899000 | #Constraints: 55828
3069.59/3080.01 c #Conflicts: 900000 | #Constraints: 56828
3069.59/3080.01 c #Conflicts: 901000 | #Constraints: 57828
3069.59/3080.01 c #Conflicts: 902000 | #Constraints: 58828
3069.59/3080.01 c #Conflicts: 903000 | #Constraints: 59828
3069.59/3080.01 c #Conflicts: 904000 | #Constraints: 60828
3069.59/3080.01 c #Conflicts: 905000 | #Constraints: 61828
3069.59/3080.01 c #Conflicts: 906000 | #Constraints: 62828
3069.59/3080.01 c #Conflicts: 907000 | #Constraints: 63828
3468.57/3480.20 c #Conflicts: 908000 | #Constraints: 64828
3468.57/3480.20 c #Conflicts: 909000 | #Constraints: 65828
3468.57/3480.20 c #Conflicts: 910000 | #Constraints: 66828
3468.57/3480.20 c #Conflicts: 911000 | #Constraints: 67828
3468.57/3480.20 c #Conflicts: 912000 | #Constraints: 68828
3468.57/3480.20 c #Conflicts: 913000 | #Constraints: 69828
3468.57/3480.20 c #Conflicts: 914000 | #Constraints: 70828
3468.57/3480.20 c #Conflicts: 915000 | #Constraints: 71828
3468.57/3480.20 c #Conflicts: 916000 | #Constraints: 72828
3468.57/3480.20 c INPROCESSING
3468.57/3480.20 c GARBAGE COLLECT
3468.57/3480.20 c #Conflicts: 917000 | #Constraints: 38480
3468.57/3480.20 c #Conflicts: 918000 | #Constraints: 39480
3468.57/3480.20 c #Conflicts: 919000 | #Constraints: 40480
3468.57/3480.20 c #Conflicts: 920000 | #Constraints: 41480
3468.57/3480.20 c #Conflicts: 921000 | #Constraints: 42480
3468.57/3480.20 c #Conflicts: 922000 | #Constraints: 43480
3468.57/3480.20 c #Conflicts: 923000 | #Constraints: 44480
3468.57/3480.20 c #Conflicts: 924000 | #Constraints: 45480
3468.57/3480.20 c #Conflicts: 925000 | #Constraints: 46480
3468.57/3480.20 c #Conflicts: 926000 | #Constraints: 47480
3468.57/3480.20 c #Conflicts: 927000 | #Constraints: 48480
3468.57/3480.20 c #Conflicts: 928000 | #Constraints: 49480
3468.57/3480.20 c #Conflicts: 929000 | #Constraints: 50480
3468.57/3480.20 c #Conflicts: 930000 | #Constraints: 51480
3468.57/3480.20 c #Conflicts: 931000 | #Constraints: 52480
3468.57/3480.20 c #Conflicts: 932000 | #Constraints: 53480
3468.57/3480.20 c #Conflicts: 933000 | #Constraints: 54480
3468.57/3480.20 c #Conflicts: 934000 | #Constraints: 55480
3468.57/3480.20 c #Conflicts: 935000 | #Constraints: 56480
3468.57/3480.20 c #Conflicts: 936000 | #Constraints: 57480
3468.57/3480.20 c #Conflicts: 937000 | #Constraints: 58480
3468.57/3480.20 c #Conflicts: 938000 | #Constraints: 59480
3468.57/3480.20 c INPROCESSING
3468.57/3480.20 c GARBAGE COLLECT
3468.57/3480.20 c #Conflicts: 939000 | #Constraints: 31965
3468.57/3480.20 c #Conflicts: 940000 | #Constraints: 32965
3468.57/3480.20 c #Conflicts: 941000 | #Constraints: 33965
3468.57/3480.20 c #Conflicts: 942000 | #Constraints: 34965
3468.57/3480.20 c #Conflicts: 943000 | #Constraints: 35965
3468.57/3480.20 c #Conflicts: 944000 | #Constraints: 36965
3468.57/3480.20 c #Conflicts: 945000 | #Constraints: 37965
3468.57/3480.20 c #Conflicts: 946000 | #Constraints: 38965
3468.57/3480.20 c #Conflicts: 947000 | #Constraints: 39965
3468.57/3480.20 c #Conflicts: 948000 | #Constraints: 40965
3468.57/3480.20 c #Conflicts: 949000 | #Constraints: 41965
3468.57/3480.20 c #Conflicts: 950000 | #Constraints: 42965
3468.57/3480.20 c #Conflicts: 951000 | #Constraints: 43965
3468.57/3480.20 c #Conflicts: 952000 | #Constraints: 44965
3468.57/3480.20 c #Conflicts: 953000 | #Constraints: 45965
3468.57/3480.20 c #Conflicts: 954000 | #Constraints: 46965
3468.57/3480.20 c #Conflicts: 955000 | #Constraints: 47965
3468.57/3480.20 c #Conflicts: 956000 | #Constraints: 48965
3468.57/3480.20 c #Conflicts: 957000 | #Constraints: 49965
3468.57/3480.20 c #Conflicts: 958000 | #Constraints: 50965
3468.57/3480.20 c #Conflicts: 959000 | #Constraints: 51965
3468.57/3480.20 c #Conflicts: 960000 | #Constraints: 52965
3468.57/3480.20 c #Conflicts: 961000 | #Constraints: 53965
3468.57/3480.20 c #Conflicts: 962000 | #Constraints: 54965
3468.57/3480.20 c #Conflicts: 963000 | #Constraints: 55965
3468.57/3480.20 c #Conflicts: 964000 | #Constraints: 56965
3468.57/3480.20 c #Conflicts: 965000 | #Constraints: 57965
3468.57/3480.20 c #Conflicts: 966000 | #Constraints: 58965
3468.57/3480.20 c #Conflicts: 967000 | #Constraints: 59965
3468.57/3480.20 c #Conflicts: 968000 | #Constraints: 60965
3468.57/3480.20 c #Conflicts: 969000 | #Constraints: 61965
3468.57/3480.20 c #Conflicts: 970000 | #Constraints: 62965
3468.57/3480.20 c #Conflicts: 971000 | #Constraints: 63965
3468.57/3480.20 c #Conflicts: 972000 | #Constraints: 64965
3468.57/3480.20 c #Conflicts: 973000 | #Constraints: 65965
3468.57/3480.20 c #Conflicts: 974000 | #Constraints: 66965
3468.57/3480.20 c #Conflicts: 975000 | #Constraints: 67965
3468.57/3480.20 c #Conflicts: 976000 | #Constraints: 68965
3468.57/3480.20 c #Conflicts: 977000 | #Constraints: 69965
3468.57/3480.20 c #Conflicts: 978000 | #Constraints: 70965
3468.57/3480.20 c #Conflicts: 979000 | #Constraints: 71965
3468.57/3480.20 c #Conflicts: 980000 | #Constraints: 72965
3468.57/3480.20 c #Conflicts: 981000 | #Constraints: 73965
3468.57/3480.20 c #Conflicts: 982000 | #Constraints: 74965
3468.57/3480.20 c #Conflicts: 983000 | #Constraints: 75965
3468.57/3480.20 c #Conflicts: 984000 | #Constraints: 76965
3600.05/3612.11 c #Conflicts: 985000 | #Constraints: 77965
3600.05/3612.11 c #Conflicts: 986000 | #Constraints: 78965
3600.05/3612.11 c #Conflicts: 987000 | #Constraints: 79965
3600.05/3612.11 c #Conflicts: 988000 | #Constraints: 80965
3600.05/3612.11 c #Conflicts: 989000 | #Constraints: 81965
3600.05/3612.11 c #Conflicts: 990000 | #Constraints: 82965
3600.05/3612.11 c #Conflicts: 991000 | #Constraints: 83965
3600.05/3612.11 c #Conflicts: 992000 | #Constraints: 84965
3600.05/3612.11 c #Conflicts: 993000 | #Constraints: 85965
3600.05/3612.11 c #Conflicts: 994000 | #Constraints: 86965
3600.05/3612.11 c #Conflicts: 995000 | #Constraints: 87965
3600.05/3612.11 c #Conflicts: 996000 | #Constraints: 88965
3600.05/3612.11 c #Conflicts: 997000 | #Constraints: 89965
3600.05/3612.11 c #Conflicts: 998000 | #Constraints: 90965
3600.05/3612.11 c #Conflicts: 999000 | #Constraints: 91965
3600.05/3612.11 c #Conflicts: 1000000 | #Constraints: 92965
3600.05/3612.11 c #Conflicts: 1001000 | #Constraints: 93965
3600.05/3612.11 c Program interrupted by user.
3600.05/3612.11 c cpu time 3591.01 s
3600.05/3612.11 c deterministic time 284048200148 2.84e+11
3600.05/3612.11 c optimization time 357.28 s
3600.05/3612.11 c total solve time 2934.85 s
3600.05/3612.11 c core-guided solve time 2934.85 s
3600.05/3612.11 c propagation time 3111.24 s
3600.05/3612.11 c conflict analysis time 166.781 s
3600.05/3612.11 c propagations 235486066
3600.05/3612.11 c resolve steps 4499698
3600.05/3612.11 c decisions 4347791
3600.05/3612.11 c conflicts 1001673
3600.05/3612.11 c restarts 2045
3600.05/3612.11 c inprocessing phases 59
3600.05/3612.11 c input clauses 1
3600.05/3612.11 c input cardinalities 0
3600.05/3612.11 c input general constraints 2436
3600.05/3612.11 c input average constraint length 25.40
3600.05/3612.11 c input average constraint degree 233.72
3600.05/3612.11 c learned clauses 293137
3600.05/3612.11 c learned cardinalities 5
3600.05/3612.11 c learned general constraints 708531
3600.05/3612.11 c learned average constraint length 35.09
3600.05/3612.11 c learned average constraint degree 691814.29
3600.05/3612.11 c watched constraints 707425
3600.05/3612.11 c counting constraints 3542
3600.05/3612.11 c gcd simplifications 5459
3600.05/3612.11 c detected cardinalities 5
3600.05/3612.11 c weakened non-implied lits 3323304
3600.05/3612.11 c weakened non-implying lits 1174
3600.05/3612.11 c original variables 1287
3600.05/3612.11 c clausal propagations 572164
3600.05/3612.11 c cardinality propagations 17
3600.05/3612.11 c watched propagations 230500976
3600.05/3612.11 c counting propagations 3863322
3600.05/3612.11 c watch lookups 54377643166
3600.05/3612.11 c watch backjump lookups 51002803268
3600.05/3612.11 c watch checks 107948675083
3600.05/3612.11 c propagation checks 70098482042
3600.05/3612.11 c constraint additions 139928027
3600.05/3612.11 c trail pops 240834704
3600.05/3612.11 c formula constraints 2430
3600.05/3612.11 c learned constraints 1001673
3600.05/3612.11 c bound constraints 7
3600.05/3612.11 c core-guided constraints 0
3600.05/3612.11 c encountered formula constraints 3840224
3600.05/3612.11 c encountered learned constraints 1661147
3600.05/3612.11 c encountered bound constraints 0
3600.05/3612.11 c encountered core-guided constraints 0
3600.05/3612.11 c LP total time 0 s
3600.05/3612.11 c LP solve time 0 s
3600.05/3612.11 c LP constraints added 0
3600.05/3612.11 c LP constraints removed 0
3600.05/3612.11 c LP pivots internal 0
3600.05/3612.11 c LP pivots root 0
3600.05/3612.11 c LP calls 0
3600.05/3612.11 c LP optimalities 0
3600.05/3612.11 c LP no pivot count 0
3600.05/3612.11 c LP infeasibilities 0
3600.05/3612.11 c LP valid Farkas constraints 0
3600.05/3612.11 c LP learned Farkas constraints 0
3600.05/3612.11 c LP basis resets 0
3600.05/3612.11 c LP cycling count 0
3600.05/3612.11 c LP singular count 0
3600.05/3612.11 c LP no primal count 0
3600.05/3612.11 c LP no farkas count 0
3600.05/3612.11 c LP other issue count 0
3600.05/3612.11 c LP Gomory cuts 0
3600.05/3612.11 c LP learned cuts 0
3600.05/3612.11 c LP deleted cuts 0
3600.05/3612.11 c LP encountered Gomory constraints 0
3600.05/3612.11 c LP encountered Farkas constraints 0
3600.05/3612.11 c LP encountered learned Farkas constraints 0
3600.05/3612.11 c CG auxiliary variables introduced 0
3600.05/3612.11 c CG solutions found 0
3600.05/3612.11 c CG cores constructed 6
3600.05/3612.11 c CG core cardinality constraints returned 0
3600.05/3612.11 c CG unit cores 0
3600.05/3612.11 c CG single cores 6
3600.05/3612.11 c CG blocks removed during cardinality reduction 1
3600.05/3612.11 c CG first core best 0
3600.05/3612.11 c CG decision core best 0
3600.05/3612.11 c CG core reduction tie 0
3600.05/3612.11 c CG core degree average 1.00
3600.05/3612.11 c CG core slack average 3.33
3600.05/3612.11 c CG exhausted 0
3600.05/3612.11 c CG exhaust time 0 s
3600.05/3612.11 c CG trimmed 0
3600.05/3612.11 c CG trim time 0.000209 s
3600.05/3612.11 c CG minimized 0
3600.05/3612.11 c CG minimize time 0 s
3600.05/3612.11 c CG am1 prop time 0.000188 s
3600.05/3612.11 c CG # am1s reformulated 0
3600.05/3612.11 c CG lower bound derived from am1s 0
3600.05/3612.11 c CG # clausal cores 5
3600.05/3612.11 c CG # cardinality cores 0
3600.05/3612.11 c CG # pb cores 1
3600.05/3612.11 c CG # pb reforms 0
3600.05/3612.11 c CG # cores discarded because of pb reform 0
3600.05/3612.11 d LOWERBOUND 32
3600.05/3612.11 d NCORES 6
3600.05/3612.11 d NPBCORES 1
3600.05/3612.11 d NPBREFORM 0
3600.05/3612.11 d NTRIMMED 0
3600.05/3612.11 d NEXHAUSTED 0
3600.05/3612.11 d NAM1S 0
3600.05/3612.11 d AM1LB 0
3600.05/3612.11 c [Papilo Statistics]
3600.05/3612.11 c prepro time 0.0561229s
3600.05/3612.11 c # tsx applied 1210
3600.05/3612.11 c # tsx conflicts 0
3600.05/3612.11 c # bound changes 0
3600.05/3612.11 c # side changes 1210
3600.05/3612.11 c # coef changes 0
3600.05/3612.11 c # rounds 2
3600.05/3612.11 c # deted vars 0
3600.05/3612.11 c # deted constrs 1210
3600.05/3612.11 c # consecutive rounds of only bound changes 0
3600.05/3612.11 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: 63794 MiB (57444 MiB free)
memory of node 1: 64507 MiB (62968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528946-1752257842/watcher-4528946-1752257842 -o /tmp/evaluation-result-4528946-1752257842/solver-4528946-1752257842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117007 --watchdog 3760 mixed-bag HOME/instance-4528946-1752257842.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=117465, runsolver pid=117462
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=123302500/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=83372 memory=13200 CPUtime=0.1 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 1936 0 0 0 9 1 0 0 20 0 1 0 141463980 85372928 3300 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 20843 3300 2144 2834 0 3595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83372 KiB
Current children cumulated memory: 13200 KiB
[startup+0.213542 s]*
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=123266332/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=111676 memory=37792 CPUtime=0.2 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 6852 0 0 0 18 2 0 0 20 0 1 0 141463980 114356224 9448 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 27919 9448 4000 2834 0 10124 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111676 KiB
Current children cumulated memory: 37792 KiB
[startup+0.31353 s]*
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=123213720/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=114996 memory=41888 CPUtime=0.31 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 7870 0 0 0 28 3 0 0 20 0 1 0 141463980 117755904 10472 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 28749 10472 4032 2834 0 10954 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 114996 KiB
Current children cumulated memory: 41888 KiB
[startup+0.700267 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=123190536/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=151428 memory=74144 CPUtime=0.68 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 15794 0 0 0 63 5 0 0 20 0 1 0 141463980 155062272 18536 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 37857 18536 4256 2834 0 20062 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151428 KiB
Current children cumulated memory: 74144 KiB
[startup+1.50034 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=123089736/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=182784 memory=103712 CPUtime=1.48 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 23191 0 0 0 141 7 0 0 20 0 1 0 141463980 187170816 25928 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 45696 25928 4256 2834 0 27901 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182784 KiB
Current children cumulated memory: 103712 KiB
[startup+3.11295 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=122759108/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=198072 memory=120332 CPUtime=3.08 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 27929 0 0 0 300 8 0 0 20 0 1 0 141463980 202825728 30083 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 49518 30083 4256 2834 0 31723 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 198072 KiB
Current children cumulated memory: 120332 KiB
[startup+6.30033 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 117466
/proc/meminfo: memFree=122749444/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=205348 memory=127376 CPUtime=6.26 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 33035 0 0 0 617 9 0 0 20 0 1 0 141463980 210276352 31844 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 51337 31844 4256 2834 0 33542 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 205348 KiB
Current children cumulated memory: 127376 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122644884/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=206356 memory=128528 CPUtime=12.61 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 33306 0 0 0 1248 13 0 0 20 0 1 0 141463980 211308544 32132 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 51589 32132 4256 2834 0 33794 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 206356 KiB
Current children cumulated memory: 128528 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117516
/proc/meminfo: memFree=122446080/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=219820 memory=142380 CPUtime=25.37 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 37572 0 0 0 2524 13 0 0 20 0 1 0 141463980 225095680 35595 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 54955 35595 4256 2834 0 37160 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 219820 KiB
Current children cumulated memory: 142380 KiB
[startup+51.1129 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 117517
/proc/meminfo: memFree=122381820/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=232736 memory=154668 CPUtime=50.9 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 40682 0 0 0 5076 14 0 0 20 0 1 0 141463980 238321664 38667 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 58184 38667 4256 2834 0 40389 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 232736 KiB
Current children cumulated memory: 154668 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 117518
/proc/meminfo: memFree=122317324/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=287368 memory=208300 CPUtime=101.91 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 54419 0 0 0 10173 18 0 0 20 0 1 0 141463980 294264832 52075 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 71842 52075 4256 2834 0 54047 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 287368 KiB
Current children cumulated memory: 208300 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 117520
/proc/meminfo: memFree=122225348/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=332976 memory=254068 CPUtime=161.69 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 68983 0 0 0 16148 21 0 0 20 0 1 0 141463980 340967424 63517 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 83244 63517 4256 2834 0 65449 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 332976 KiB
Current children cumulated memory: 254068 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 117523
/proc/meminfo: memFree=122181268/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=353816 memory=273632 CPUtime=221.48 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 85849 0 0 0 22122 26 0 0 20 0 1 0 141463980 362307584 68408 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 88454 68408 4256 2834 0 70659 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 353816 KiB
Current children cumulated memory: 273632 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 117526
/proc/meminfo: memFree=122049176/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=403360 memory=322888 CPUtime=281.26 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 104520 0 0 0 28097 29 0 0 20 0 1 0 141463980 413040640 80722 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 100840 80722 4256 2834 0 83045 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 403360 KiB
Current children cumulated memory: 322888 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 117528
/proc/meminfo: memFree=122014872/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=393736 memory=321060 CPUtime=341.09 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 106959 0 0 0 34027 82 0 0 20 0 1 0 141463980 403185664 80265 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 98434 80265 4416 2834 0 80639 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 393736 KiB
Current children cumulated memory: 321060 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117531
/proc/meminfo: memFree=122010568/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=408056 memory=328572 CPUtime=400.91 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 107825 0 0 0 39966 125 0 0 20 0 1 0 141463980 417849344 82143 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 102014 82143 4416 2834 0 84219 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 408056 KiB
Current children cumulated memory: 328572 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117533
/proc/meminfo: memFree=122014192/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=408056 memory=328572 CPUtime=460.72 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 107825 0 0 0 45909 163 0 0 20 0 1 0 141463980 417849344 82143 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 102014 82143 4416 2834 0 84219 0
Current children cumulated CPU time: 460.72 s
################
# More data... #
################
Current children cumulated memory: 354928 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/250 117708
/proc/meminfo: memFree=124723748/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=354928 CPUtime=2912.5 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 108803 0 0 0 290464 786 0 0 20 0 1 0 141463980 429805568 88732 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 88732 4416 2834 0 87138 0
Current children cumulated CPU time: 2912.5 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 354928 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 117713
/proc/meminfo: memFree=124723796/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=354928 CPUtime=2972.31 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 108819 0 0 0 296437 794 0 0 20 0 1 0 141463980 429805568 88732 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 88732 4416 2834 0 87138 0
Current children cumulated CPU time: 2972.31 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 354928 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/251 117719
/proc/meminfo: memFree=124723820/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3032.11 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109179 0 0 0 302408 803 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3032.11 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/251 117721
/proc/meminfo: memFree=124711716/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3091.91 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109181 0 0 0 308379 812 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3091.91 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/251 117723
/proc/meminfo: memFree=124711744/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3151.72 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109209 0 0 0 314349 823 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3151.72 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/250 117725
/proc/meminfo: memFree=124707664/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3211.52 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109209 0 0 0 320318 834 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3211.52 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/250 117727
/proc/meminfo: memFree=124711820/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3271.32 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109209 0 0 0 326287 845 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3271.32 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.67 4.29 4.16 5/250 117729
/proc/meminfo: memFree=124718772/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3331.13 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109209 0 0 0 332252 861 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3331.13 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.25 4.15 5/251 117732
/proc/meminfo: memFree=124726604/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3390.93 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109209 0 0 0 338219 874 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.22 4.14 5/251 117734
/proc/meminfo: memFree=124726376/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3450.73 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109209 0 0 0 344190 883 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.19 4.14 5/251 117736
/proc/meminfo: memFree=124726392/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3510.53 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109211 0 0 0 350162 891 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3510.53 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.17 4.13 5/251 117740
/proc/meminfo: memFree=124726464/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3570.33 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109212 0 0 0 356134 899 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.11 4.17 4.13 5/247 117775
/proc/meminfo: memFree=125464936/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3600.05 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109212 0 0 0 359101 904 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 117465 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.02 s, system=9.04443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.11 4.17 4.13 5/247 117775
/proc/meminfo: memFree=125464936/131382112 swapFree=33010160/33010684
[pid=117465] ppid=117462 vsize=419732 memory=356080 CPUtime=3600.05 cores=5,7
/proc/117465/stat : 117465 (mixed-bag) R 117462 117465 116989 0 -1 4194304 109212 0 0 0 359101 904 0 0 20 0 1 0 141463980 429805568 89020 18446744073709551615 4235264 15840557 140723562951808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32382976 140723562957210 140723562957287 140723562957287 140723562962891 0
/proc/117465/statm: 104933 89020 4416 2834 0 87138 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 419732 KiB
Current children cumulated memory: 356080 KiB
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.07
CPU user time (s): 3591.02
CPU system time (s): 9.04443
CPU usage (%): 99.6664
Max. virtual memory (cumulated for all children) (KiB): 419732
Max. memory (cumulated for all children) (KiB): 356080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.02
system time used= 9.04443
maximum resident set size= 357104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146
involuntary context switches= 1371
# summary of solver processes directly reported to runsolver:
# pid: 117465
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.02
# total CPU system time (s): 9.04443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7062 second user time and 35.8886 second system time
The end
Begin job on nodeC009 at 2025-07-11 20:17:22
IDJOB=4528946
IDBENCH=147623
IDSOLVER=3386
FILE ID=nodeC009/4528946-1752257842
RUNJOBID= nodeC009-1752254228-117007
SLURM_JOB_ID= 9682591
Free space on /tmp= 431172 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528946-1752257842/watcher-4528946-1752257842 -o /tmp/evaluation-result-4528946-1752257842/solver-4528946-1752257842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117007 --watchdog 3760 mixed-bag HOME/instance-4528946-1752257842.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987
RANDOM SEED=1648746282
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 1795.845
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.529
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.431
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 1995.392
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123302704 kB
MemAvailable: 126279624 kB
Buffers: 2144 kB
Cached: 3707892 kB
SwapCached: 24 kB
Active: 4317252 kB
Inactive: 3024988 kB
Active(anon): 3645968 kB
Inactive(anon): 4180 kB
Active(file): 671284 kB
Inactive(file): 3020808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 53280 kB
Writeback: 0 kB
AnonPages: 3634104 kB
Mapped: 130904 kB
Shmem: 17936 kB
KReclaimable: 248528 kB
Slab: 338924 kB
SReclaimable: 248528 kB
SUnreclaim: 90396 kB
KernelStack: 4032 kB
PageTables: 10312 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4345260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2596864 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431148 MiB
End job on nodeC009 at 2025-07-11 21:17:34