0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.12 c #variables 17850 #constraints 18152
109.97/110.30 c #Conflicts: 1000 | #Constraints: 19151
109.97/110.30 c #Conflicts: 2000 | #Constraints: 20151
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 3000 | #Constraints: 19395
109.97/110.30 c #Conflicts: 4000 | #Constraints: 20395
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 5000 | #Constraints: 19885
109.97/110.30 c #Conflicts: 6000 | #Constraints: 20885
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 7000 | #Constraints: 19966
109.97/110.30 c #Conflicts: 8000 | #Constraints: 20966
109.97/110.30 c #Conflicts: 9000 | #Constraints: 21966
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 10000 | #Constraints: 20709
109.97/110.30 c #Conflicts: 11000 | #Constraints: 21709
109.97/110.30 c #Conflicts: 12000 | #Constraints: 22709
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 13000 | #Constraints: 21237
109.97/110.30 c #Conflicts: 14000 | #Constraints: 22237
109.97/110.30 c #Conflicts: 15000 | #Constraints: 23237
109.97/110.30 c #Conflicts: 16000 | #Constraints: 24237
109.97/110.30 c #Conflicts: 17000 | #Constraints: 25237
109.97/110.30 c #Conflicts: 18000 | #Constraints: 26237
109.97/110.30 c #Conflicts: 19000 | #Constraints: 27237
109.97/110.30 c #Conflicts: 20000 | #Constraints: 28237
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 21000 | #Constraints: 23900
109.97/110.30 c #Conflicts: 22000 | #Constraints: 24900
109.97/110.30 c #Conflicts: 23000 | #Constraints: 25900
109.97/110.30 c #Conflicts: 24000 | #Constraints: 26900
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 25000 | #Constraints: 23219
109.97/110.30 c #Conflicts: 26000 | #Constraints: 24219
109.97/110.30 c #Conflicts: 27000 | #Constraints: 25219
109.97/110.30 c #Conflicts: 28000 | #Constraints: 26219
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 29000 | #Constraints: 22755
109.97/110.30 c #Conflicts: 30000 | #Constraints: 23755
109.97/110.30 c #Conflicts: 31000 | #Constraints: 24755
109.97/110.30 c #Conflicts: 32000 | #Constraints: 25755
109.97/110.30 c #Conflicts: 33000 | #Constraints: 26755
109.97/110.30 c #Conflicts: 34000 | #Constraints: 27755
109.97/110.30 c #Conflicts: 35000 | #Constraints: 28755
109.97/110.30 c #Conflicts: 36000 | #Constraints: 29755
109.97/110.30 c #Conflicts: 37000 | #Constraints: 30755
109.97/110.30 c #Conflicts: 38000 | #Constraints: 31755
109.97/110.30 c #Conflicts: 39000 | #Constraints: 32755
109.97/110.30 c #Conflicts: 40000 | #Constraints: 33755
109.97/110.30 c #Conflicts: 41000 | #Constraints: 34755
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 42000 | #Constraints: 27239
109.97/110.30 c #Conflicts: 43000 | #Constraints: 28239
109.97/110.30 c #Conflicts: 44000 | #Constraints: 29239
109.97/110.30 c #Conflicts: 45000 | #Constraints: 30239
109.97/110.30 c #Conflicts: 46000 | #Constraints: 31239
109.97/110.30 c #Conflicts: 47000 | #Constraints: 32239
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 48000 | #Constraints: 26297
109.97/110.30 c #Conflicts: 49000 | #Constraints: 27297
109.97/110.30 c #Conflicts: 50000 | #Constraints: 28297
109.97/110.30 c #Conflicts: 51000 | #Constraints: 29297
109.97/110.30 c #Conflicts: 52000 | #Constraints: 30297
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 53000 | #Constraints: 25381
109.97/110.30 c #Conflicts: 54000 | #Constraints: 26381
109.97/110.30 c #Conflicts: 55000 | #Constraints: 27381
109.97/110.30 c #Conflicts: 56000 | #Constraints: 28381
109.97/110.30 c #Conflicts: 57000 | #Constraints: 29381
109.97/110.30 c #Conflicts: 58000 | #Constraints: 30381
109.97/110.30 c #Conflicts: 59000 | #Constraints: 31381
109.97/110.30 c #Conflicts: 60000 | #Constraints: 32381
109.97/110.30 c #Conflicts: 61000 | #Constraints: 33381
109.97/110.30 c #Conflicts: 62000 | #Constraints: 34381
109.97/110.30 c #Conflicts: 63000 | #Constraints: 35381
109.97/110.30 c #Conflicts: 64000 | #Constraints: 36381
109.97/110.30 c #Conflicts: 65000 | #Constraints: 37381
109.97/110.30 c #Conflicts: 66000 | #Constraints: 38381
109.97/110.30 c #Conflicts: 67000 | #Constraints: 39381
109.97/110.30 c #Conflicts: 68000 | #Constraints: 40381
109.97/110.30 c #Conflicts: 69000 | #Constraints: 41381
109.97/110.30 c INPROCESSING
109.97/110.30 c GARBAGE COLLECT
109.97/110.30 c #Conflicts: 70000 | #Constraints: 30597
109.97/110.30 c #Conflicts: 71000 | #Constraints: 31597
109.97/110.30 c #Conflicts: 72000 | #Constraints: 32597
228.16/228.87 c #Conflicts: 73000 | #Constraints: 33597
228.16/228.87 c #Conflicts: 74000 | #Constraints: 34597
228.16/228.87 c #Conflicts: 75000 | #Constraints: 35597
228.16/228.87 c #Conflicts: 76000 | #Constraints: 36597
228.16/228.87 c INPROCESSING
228.16/228.87 c GARBAGE COLLECT
228.16/228.87 c #Conflicts: 77000 | #Constraints: 28162
228.16/228.87 c #Conflicts: 78000 | #Constraints: 29162
228.16/228.87 c #Conflicts: 79000 | #Constraints: 30162
228.16/228.87 c #Conflicts: 80000 | #Constraints: 31162
228.16/228.87 c #Conflicts: 81000 | #Constraints: 32162
228.16/228.87 c #Conflicts: 82000 | #Constraints: 33162
228.16/228.87 c #Conflicts: 83000 | #Constraints: 34162
228.16/228.87 c #Conflicts: 84000 | #Constraints: 35162
228.16/228.87 c #Conflicts: 85000 | #Constraints: 36162
228.16/228.87 c #Conflicts: 86000 | #Constraints: 37162
228.16/228.87 c #Conflicts: 87000 | #Constraints: 38162
228.16/228.87 c #Conflicts: 88000 | #Constraints: 39162
228.16/228.87 c #Conflicts: 89000 | #Constraints: 40162
228.16/228.87 c #Conflicts: 90000 | #Constraints: 41162
228.16/228.87 c #Conflicts: 91000 | #Constraints: 42162
228.16/228.87 c #Conflicts: 92000 | #Constraints: 43162
228.16/228.87 c #Conflicts: 93000 | #Constraints: 44162
228.16/228.87 c #Conflicts: 94000 | #Constraints: 45162
228.16/228.87 c #Conflicts: 95000 | #Constraints: 46162
228.16/228.87 c #Conflicts: 96000 | #Constraints: 47162
228.16/228.87 c INPROCESSING
228.16/228.87 c GARBAGE COLLECT
228.16/228.87 c #Conflicts: 97000 | #Constraints: 33637
228.16/228.87 c #Conflicts: 98000 | #Constraints: 34637
228.16/228.87 c #Conflicts: 99000 | #Constraints: 35637
228.16/228.87 c #Conflicts: 100000 | #Constraints: 36637
228.16/228.87 c #Conflicts: 101000 | #Constraints: 37637
228.16/228.87 c #Conflicts: 102000 | #Constraints: 38637
228.16/228.87 c #Conflicts: 103000 | #Constraints: 39637
228.16/228.87 c #Conflicts: 104000 | #Constraints: 40637
228.16/228.87 c #Conflicts: 105000 | #Constraints: 41637
228.16/228.87 c INPROCESSING
228.16/228.87 c GARBAGE COLLECT
228.16/228.87 c #Conflicts: 106000 | #Constraints: 31149
228.16/228.87 c #Conflicts: 107000 | #Constraints: 32149
228.16/228.87 c #Conflicts: 108000 | #Constraints: 33149
228.16/228.87 c #Conflicts: 109000 | #Constraints: 34149
228.16/228.87 c #Conflicts: 110000 | #Constraints: 35149
228.16/228.87 c #Conflicts: 111000 | #Constraints: 36149
228.16/228.87 c #Conflicts: 112000 | #Constraints: 37149
228.16/228.87 c #Conflicts: 113000 | #Constraints: 38149
228.16/228.87 c #Conflicts: 114000 | #Constraints: 39149
228.16/228.87 c #Conflicts: 115000 | #Constraints: 40149
228.16/228.87 c #Conflicts: 116000 | #Constraints: 41149
228.16/228.87 c #Conflicts: 117000 | #Constraints: 42149
228.16/228.87 c #Conflicts: 118000 | #Constraints: 43149
228.16/228.87 c #Conflicts: 119000 | #Constraints: 44149
228.16/228.87 c #Conflicts: 120000 | #Constraints: 45149
228.16/228.87 c #Conflicts: 121000 | #Constraints: 46149
228.16/228.87 c #Conflicts: 122000 | #Constraints: 47149
228.16/228.87 c #Conflicts: 123000 | #Constraints: 48149
228.16/228.87 c #Conflicts: 124000 | #Constraints: 49149
228.16/228.87 c #Conflicts: 125000 | #Constraints: 50149
228.16/228.87 c #Conflicts: 126000 | #Constraints: 51149
228.16/228.87 c #Conflicts: 127000 | #Constraints: 52149
228.16/228.87 c #Conflicts: 128000 | #Constraints: 53149
228.16/228.87 c INPROCESSING
228.16/228.87 c GARBAGE COLLECT
228.16/228.87 c #Conflicts: 129000 | #Constraints: 37005
228.16/228.87 c #Conflicts: 130000 | #Constraints: 38005
228.16/228.87 c #Conflicts: 131000 | #Constraints: 39005
228.16/228.87 c #Conflicts: 132000 | #Constraints: 40005
228.16/228.87 c #Conflicts: 133000 | #Constraints: 41005
228.16/228.87 c #Conflicts: 134000 | #Constraints: 42005
228.16/228.87 c #Conflicts: 135000 | #Constraints: 43005
228.16/228.87 c #Conflicts: 136000 | #Constraints: 44005
228.16/228.87 c #Conflicts: 137000 | #Constraints: 45005
228.16/228.87 c INPROCESSING
228.16/228.87 c GARBAGE COLLECT
228.16/228.87 c #Conflicts: 138000 | #Constraints: 32711
228.16/228.87 c #Conflicts: 139000 | #Constraints: 33711
228.16/228.87 c #Conflicts: 140000 | #Constraints: 34711
228.16/228.87 c #Conflicts: 141000 | #Constraints: 35711
228.16/228.87 c #Conflicts: 142000 | #Constraints: 36711
228.16/228.87 c #Conflicts: 143000 | #Constraints: 37711
228.16/228.87 c #Conflicts: 144000 | #Constraints: 38711
228.16/228.87 c #Conflicts: 145000 | #Constraints: 39711
228.16/228.87 c #Conflicts: 146000 | #Constraints: 40711
228.16/228.87 c #Conflicts: 147000 | #Constraints: 41711
360.34/361.32 c #Conflicts: 148000 | #Constraints: 42711
360.34/361.32 c #Conflicts: 149000 | #Constraints: 43711
360.34/361.32 c #Conflicts: 150000 | #Constraints: 44711
360.34/361.32 c #Conflicts: 151000 | #Constraints: 45711
360.34/361.32 c #Conflicts: 152000 | #Constraints: 46711
360.34/361.32 c #Conflicts: 153000 | #Constraints: 47711
360.34/361.32 c #Conflicts: 154000 | #Constraints: 48711
360.34/361.32 c #Conflicts: 155000 | #Constraints: 49711
360.34/361.32 c #Conflicts: 156000 | #Constraints: 50711
360.34/361.32 c #Conflicts: 157000 | #Constraints: 51711
360.34/361.32 c #Conflicts: 158000 | #Constraints: 52711
360.34/361.32 c #Conflicts: 159000 | #Constraints: 53711
360.34/361.32 c #Conflicts: 160000 | #Constraints: 54711
360.34/361.32 c #Conflicts: 161000 | #Constraints: 55711
360.34/361.32 c #Conflicts: 162000 | #Constraints: 56711
360.34/361.32 c #Conflicts: 163000 | #Constraints: 57711
360.34/361.32 c INPROCESSING
360.34/361.32 c GARBAGE COLLECT
360.34/361.32 c #Conflicts: 164000 | #Constraints: 39013
360.34/361.32 c #Conflicts: 165000 | #Constraints: 40013
360.34/361.32 c #Conflicts: 166000 | #Constraints: 41013
360.34/361.32 c #Conflicts: 167000 | #Constraints: 42013
360.34/361.32 c #Conflicts: 168000 | #Constraints: 43013
360.34/361.32 c #Conflicts: 169000 | #Constraints: 44013
360.34/361.32 c #Conflicts: 170000 | #Constraints: 45013
360.34/361.32 c #Conflicts: 171000 | #Constraints: 46013
360.34/361.32 c #Conflicts: 172000 | #Constraints: 47013
360.34/361.32 c #Conflicts: 173000 | #Constraints: 48013
360.34/361.32 c #Conflicts: 174000 | #Constraints: 49013
360.34/361.32 c INPROCESSING
360.34/361.32 c GARBAGE COLLECT
360.34/361.32 c #Conflicts: 175000 | #Constraints: 34972
360.34/361.32 c #Conflicts: 176000 | #Constraints: 35972
360.34/361.32 c #Conflicts: 177000 | #Constraints: 36972
360.34/361.32 c #Conflicts: 178000 | #Constraints: 37972
360.34/361.32 c #Conflicts: 179000 | #Constraints: 38972
360.34/361.32 c #Conflicts: 180000 | #Constraints: 39972
360.34/361.32 c #Conflicts: 181000 | #Constraints: 40972
360.34/361.32 c #Conflicts: 182000 | #Constraints: 41972
360.34/361.32 c #Conflicts: 183000 | #Constraints: 42972
360.34/361.32 c #Conflicts: 184000 | #Constraints: 43972
360.34/361.32 c #Conflicts: 185000 | #Constraints: 44972
360.34/361.32 c #Conflicts: 186000 | #Constraints: 45972
360.34/361.32 c #Conflicts: 187000 | #Constraints: 46972
360.34/361.32 c #Conflicts: 188000 | #Constraints: 47972
360.34/361.32 c #Conflicts: 189000 | #Constraints: 48972
360.34/361.32 c #Conflicts: 190000 | #Constraints: 49972
360.34/361.32 c #Conflicts: 191000 | #Constraints: 50972
360.34/361.32 c #Conflicts: 192000 | #Constraints: 51972
360.34/361.32 c #Conflicts: 193000 | #Constraints: 52972
360.34/361.32 c #Conflicts: 194000 | #Constraints: 53972
360.34/361.32 c #Conflicts: 195000 | #Constraints: 54972
360.34/361.32 c #Conflicts: 196000 | #Constraints: 55972
360.34/361.32 c #Conflicts: 197000 | #Constraints: 56972
360.34/361.32 c #Conflicts: 198000 | #Constraints: 57972
360.34/361.32 c #Conflicts: 199000 | #Constraints: 58972
360.34/361.32 c #Conflicts: 200000 | #Constraints: 59972
360.34/361.32 c #Conflicts: 201000 | #Constraints: 60972
360.34/361.32 c #Conflicts: 202000 | #Constraints: 61972
360.34/361.32 c #Conflicts: 203000 | #Constraints: 62972
360.34/361.32 c #Conflicts: 204000 | #Constraints: 63972
360.34/361.32 c INPROCESSING
360.34/361.32 c GARBAGE COLLECT
360.34/361.32 c #Conflicts: 205000 | #Constraints: 42661
360.34/361.32 c #Conflicts: 206000 | #Constraints: 43661
360.34/361.32 c #Conflicts: 207000 | #Constraints: 44661
360.34/361.32 c #Conflicts: 208000 | #Constraints: 45661
360.34/361.32 c #Conflicts: 209000 | #Constraints: 46661
360.34/361.32 c #Conflicts: 210000 | #Constraints: 47661
360.34/361.32 c #Conflicts: 211000 | #Constraints: 48661
360.34/361.32 c #Conflicts: 212000 | #Constraints: 49661
360.34/361.32 c #Conflicts: 213000 | #Constraints: 50661
360.34/361.32 c #Conflicts: 214000 | #Constraints: 51661
360.34/361.32 c #Conflicts: 215000 | #Constraints: 52661
360.34/361.32 c #Conflicts: 216000 | #Constraints: 53661
360.34/361.32 c INPROCESSING
360.34/361.32 c GARBAGE COLLECT
360.34/361.32 c rational objective 150
431.38/432.57 c #Conflicts: 217000 | #Constraints: 37301
431.38/432.57 c #Conflicts: 218000 | #Constraints: 38301
431.38/432.57 c #Conflicts: 219000 | #Constraints: 39301
431.38/432.57 c #Conflicts: 220000 | #Constraints: 40301
431.38/432.57 c #Conflicts: 221000 | #Constraints: 41301
431.38/432.57 c #Conflicts: 222000 | #Constraints: 42301
431.38/432.57 c #Conflicts: 223000 | #Constraints: 43301
431.38/432.57 c #Conflicts: 224000 | #Constraints: 44301
431.38/432.57 c #Conflicts: 225000 | #Constraints: 45301
431.38/432.57 c #Conflicts: 226000 | #Constraints: 46301
431.38/432.57 c #Conflicts: 227000 | #Constraints: 47301
431.38/432.57 c #Conflicts: 228000 | #Constraints: 48301
431.38/432.57 c #Conflicts: 229000 | #Constraints: 49301
431.38/432.57 c #Conflicts: 230000 | #Constraints: 50301
431.38/432.57 c #Conflicts: 231000 | #Constraints: 51301
431.38/432.57 c #Conflicts: 232000 | #Constraints: 52301
431.38/432.57 c #Conflicts: 233000 | #Constraints: 53301
431.38/432.57 c #Conflicts: 234000 | #Constraints: 54301
431.38/432.57 c #Conflicts: 235000 | #Constraints: 55301
431.38/432.57 c #Conflicts: 236000 | #Constraints: 56301
431.38/432.57 c #Conflicts: 237000 | #Constraints: 57301
431.38/432.57 c #Conflicts: 238000 | #Constraints: 58301
431.38/432.57 c #Conflicts: 239000 | #Constraints: 59301
431.38/432.57 c #Conflicts: 240000 | #Constraints: 60301
431.38/432.57 c #Conflicts: 241000 | #Constraints: 61301
431.38/432.57 c #Conflicts: 242000 | #Constraints: 62301
431.38/432.57 c #Conflicts: 243000 | #Constraints: 63301
431.38/432.57 c #Conflicts: 244000 | #Constraints: 64301
431.38/432.57 c #Conflicts: 245000 | #Constraints: 65301
431.38/432.57 c #Conflicts: 246000 | #Constraints: 66301
431.38/432.57 c #Conflicts: 247000 | #Constraints: 67301
431.38/432.57 c #Conflicts: 248000 | #Constraints: 68301
431.38/432.57 c INPROCESSING
431.38/432.57 c GARBAGE COLLECT
431.38/432.57 c rational objective 150
572.94/574.46 c #Conflicts: 249000 | #Constraints: 44434
572.94/574.46 c #Conflicts: 250000 | #Constraints: 45434
572.94/574.46 c #Conflicts: 251000 | #Constraints: 46434
572.94/574.46 c #Conflicts: 252000 | #Constraints: 47434
572.94/574.46 c #Conflicts: 253000 | #Constraints: 48434
572.94/574.46 c #Conflicts: 254000 | #Constraints: 49434
572.94/574.46 c #Conflicts: 255000 | #Constraints: 50434
572.94/574.46 c #Conflicts: 256000 | #Constraints: 51435
572.94/574.46 c #Conflicts: 257000 | #Constraints: 52435
572.94/574.46 c #Conflicts: 258000 | #Constraints: 53435
572.94/574.46 c #Conflicts: 259000 | #Constraints: 54435
572.94/574.46 c #Conflicts: 260000 | #Constraints: 55435
572.94/574.46 c #Conflicts: 261000 | #Constraints: 56435
572.94/574.46 c #Conflicts: 262000 | #Constraints: 57435
572.94/574.46 c INPROCESSING
572.94/574.46 c GARBAGE COLLECT
572.94/574.46 c #Conflicts: 263000 | #Constraints: 39636
572.94/574.46 c #Conflicts: 264000 | #Constraints: 40636
572.94/574.46 c #Conflicts: 265000 | #Constraints: 41636
572.94/574.46 c #Conflicts: 266000 | #Constraints: 42636
572.94/574.46 c #Conflicts: 267000 | #Constraints: 43636
572.94/574.46 c #Conflicts: 268000 | #Constraints: 44636
572.94/574.46 c #Conflicts: 269000 | #Constraints: 45636
572.94/574.46 c #Conflicts: 270000 | #Constraints: 46636
572.94/574.46 c #Conflicts: 271000 | #Constraints: 47636
572.94/574.46 c #Conflicts: 272000 | #Constraints: 48636
572.94/574.46 c #Conflicts: 273000 | #Constraints: 49636
572.94/574.46 c #Conflicts: 274000 | #Constraints: 50636
572.94/574.46 c #Conflicts: 275000 | #Constraints: 51636
572.94/574.46 c #Conflicts: 276000 | #Constraints: 52636
572.94/574.46 c #Conflicts: 277000 | #Constraints: 53636
572.94/574.46 c #Conflicts: 278000 | #Constraints: 54636
572.94/574.46 c #Conflicts: 279000 | #Constraints: 55637
572.94/574.46 c #Conflicts: 280000 | #Constraints: 56637
572.94/574.46 c #Conflicts: 281000 | #Constraints: 57637
572.94/574.46 c #Conflicts: 282000 | #Constraints: 58637
572.94/574.46 c #Conflicts: 283000 | #Constraints: 59637
572.94/574.46 c #Conflicts: 284000 | #Constraints: 60637
572.94/574.46 c #Conflicts: 285000 | #Constraints: 61637
572.94/574.46 c #Conflicts: 286000 | #Constraints: 62637
572.94/574.46 c #Conflicts: 287000 | #Constraints: 63637
572.94/574.46 c #Conflicts: 288000 | #Constraints: 64637
572.94/574.46 c #Conflicts: 289000 | #Constraints: 65637
572.94/574.46 c #Conflicts: 290000 | #Constraints: 66638
572.94/574.46 c #Conflicts: 291000 | #Constraints: 67638
572.94/574.46 c #Conflicts: 292000 | #Constraints: 68638
572.94/574.46 c #Conflicts: 293000 | #Constraints: 69638
572.94/574.46 c #Conflicts: 294000 | #Constraints: 70638
572.94/574.46 c #Conflicts: 295000 | #Constraints: 71638
572.94/574.46 c #Conflicts: 296000 | #Constraints: 72638
572.94/574.46 c #Conflicts: 297000 | #Constraints: 73638
572.94/574.46 c INPROCESSING
572.94/574.46 c GARBAGE COLLECT
572.94/574.46 c #Conflicts: 298000 | #Constraints: 47231
572.94/574.46 c #Conflicts: 299000 | #Constraints: 48231
572.94/574.46 c #Conflicts: 300000 | #Constraints: 49231
572.94/574.46 c #Conflicts: 301000 | #Constraints: 50231
572.94/574.46 c #Conflicts: 302000 | #Constraints: 51232
572.94/574.46 c #Conflicts: 303000 | #Constraints: 52232
572.94/574.46 c #Conflicts: 304000 | #Constraints: 53232
572.94/574.46 c #Conflicts: 305000 | #Constraints: 54232
572.94/574.46 c #Conflicts: 306000 | #Constraints: 55232
572.94/574.46 c #Conflicts: 307000 | #Constraints: 56232
572.94/574.46 c #Conflicts: 308000 | #Constraints: 57232
572.94/574.46 c #Conflicts: 309000 | #Constraints: 58232
572.94/574.46 c #Conflicts: 310000 | #Constraints: 59232
572.94/574.46 c #Conflicts: 311000 | #Constraints: 60232
572.94/574.46 c #Conflicts: 312000 | #Constraints: 61232
572.94/574.46 c INPROCESSING
572.94/574.46 c GARBAGE COLLECT
572.94/574.46 c #Conflicts: 313000 | #Constraints: 41637
572.94/574.46 c #Conflicts: 314000 | #Constraints: 42637
572.94/574.46 c #Conflicts: 315000 | #Constraints: 43637
572.94/574.46 c #Conflicts: 316000 | #Constraints: 44637
572.94/574.46 c #Conflicts: 317000 | #Constraints: 45637
572.94/574.46 c #Conflicts: 318000 | #Constraints: 46637
572.94/574.46 c #Conflicts: 319000 | #Constraints: 47637
572.94/574.46 c #Conflicts: 320000 | #Constraints: 48637
572.94/574.46 c #Conflicts: 321000 | #Constraints: 49637
572.94/574.46 c #Conflicts: 322000 | #Constraints: 50637
572.94/574.46 c #Conflicts: 323000 | #Constraints: 51637
572.94/574.46 c #Conflicts: 324000 | #Constraints: 52637
572.94/574.46 c #Conflicts: 325000 | #Constraints: 53637
737.04/738.92 c #Conflicts: 326000 | #Constraints: 54637
737.04/738.92 c #Conflicts: 327000 | #Constraints: 55637
737.04/738.92 c #Conflicts: 328000 | #Constraints: 56637
737.04/738.92 c #Conflicts: 329000 | #Constraints: 57637
737.04/738.92 c #Conflicts: 330000 | #Constraints: 58637
737.04/738.92 c #Conflicts: 331000 | #Constraints: 59637
737.04/738.92 c #Conflicts: 332000 | #Constraints: 60637
737.04/738.92 c #Conflicts: 333000 | #Constraints: 61637
737.04/738.92 c #Conflicts: 334000 | #Constraints: 62637
737.04/738.92 c #Conflicts: 335000 | #Constraints: 63637
737.04/738.92 c #Conflicts: 336000 | #Constraints: 64637
737.04/738.92 c #Conflicts: 337000 | #Constraints: 65637
737.04/738.92 c #Conflicts: 338000 | #Constraints: 66637
737.04/738.92 c #Conflicts: 339000 | #Constraints: 67637
737.04/738.92 c #Conflicts: 340000 | #Constraints: 68637
737.04/738.92 c #Conflicts: 341000 | #Constraints: 69637
737.04/738.92 c #Conflicts: 342000 | #Constraints: 70637
737.04/738.92 c #Conflicts: 343000 | #Constraints: 71637
737.04/738.92 c #Conflicts: 344000 | #Constraints: 72637
737.04/738.92 c #Conflicts: 345000 | #Constraints: 73637
737.04/738.92 c #Conflicts: 346000 | #Constraints: 74637
737.04/738.92 c #Conflicts: 347000 | #Constraints: 75637
737.04/738.92 c #Conflicts: 348000 | #Constraints: 76637
737.04/738.92 c #Conflicts: 349000 | #Constraints: 77637
737.04/738.92 c #Conflicts: 350000 | #Constraints: 78637
737.04/738.92 c #Conflicts: 351000 | #Constraints: 79637
737.04/738.92 c INPROCESSING
737.04/738.92 c GARBAGE COLLECT
737.04/738.92 c #Conflicts: 352000 | #Constraints: 50659
737.04/738.92 c #Conflicts: 353000 | #Constraints: 51659
737.04/738.92 c #Conflicts: 354000 | #Constraints: 52659
737.04/738.92 c #Conflicts: 355000 | #Constraints: 53659
737.04/738.92 c #Conflicts: 356000 | #Constraints: 54659
737.04/738.92 c #Conflicts: 357000 | #Constraints: 55659
737.04/738.92 c #Conflicts: 358000 | #Constraints: 56659
737.04/738.92 c #Conflicts: 359000 | #Constraints: 57659
737.04/738.92 c #Conflicts: 360000 | #Constraints: 58659
737.04/738.92 c #Conflicts: 361000 | #Constraints: 59659
737.04/738.92 c #Conflicts: 362000 | #Constraints: 60659
737.04/738.92 c #Conflicts: 363000 | #Constraints: 61659
737.04/738.92 c #Conflicts: 364000 | #Constraints: 62659
737.04/738.92 c #Conflicts: 365000 | #Constraints: 63659
737.04/738.92 c #Conflicts: 366000 | #Constraints: 64659
737.04/738.92 c #Conflicts: 367000 | #Constraints: 65659
737.04/738.92 c INPROCESSING
737.04/738.92 c GARBAGE COLLECT
737.04/738.92 c #Conflicts: 368000 | #Constraints: 44213
737.04/738.92 c #Conflicts: 369000 | #Constraints: 45213
737.04/738.92 c #Conflicts: 370000 | #Constraints: 46213
737.04/738.92 c #Conflicts: 371000 | #Constraints: 47213
737.04/738.92 c #Conflicts: 372000 | #Constraints: 48213
737.04/738.92 c #Conflicts: 373000 | #Constraints: 49213
737.04/738.92 c #Conflicts: 374000 | #Constraints: 50213
737.04/738.92 c #Conflicts: 375000 | #Constraints: 51213
737.04/738.92 c #Conflicts: 376000 | #Constraints: 52213
737.04/738.92 c #Conflicts: 377000 | #Constraints: 53213
737.04/738.92 c #Conflicts: 378000 | #Constraints: 54213
737.04/738.92 c #Conflicts: 379000 | #Constraints: 55213
737.04/738.92 c #Conflicts: 380000 | #Constraints: 56213
737.04/738.92 c #Conflicts: 381000 | #Constraints: 57213
737.04/738.92 c #Conflicts: 382000 | #Constraints: 58213
737.04/738.92 c #Conflicts: 383000 | #Constraints: 59213
737.04/738.92 c #Conflicts: 384000 | #Constraints: 60213
737.04/738.92 c #Conflicts: 385000 | #Constraints: 61213
737.04/738.92 c #Conflicts: 386000 | #Constraints: 62213
737.04/738.92 c #Conflicts: 387000 | #Constraints: 63213
737.04/738.92 c #Conflicts: 388000 | #Constraints: 64213
737.04/738.92 c #Conflicts: 389000 | #Constraints: 65213
737.04/738.92 c #Conflicts: 390000 | #Constraints: 66213
737.04/738.92 c #Conflicts: 391000 | #Constraints: 67213
737.04/738.92 c #Conflicts: 392000 | #Constraints: 68213
737.04/738.92 c #Conflicts: 393000 | #Constraints: 69213
737.04/738.92 c #Conflicts: 394000 | #Constraints: 70213
737.04/738.92 c #Conflicts: 395000 | #Constraints: 71213
737.04/738.92 c #Conflicts: 396000 | #Constraints: 72213
737.04/738.92 c #Conflicts: 397000 | #Constraints: 73213
737.04/738.92 c #Conflicts: 398000 | #Constraints: 74213
737.04/738.92 c #Conflicts: 399000 | #Constraints: 75213
737.04/738.92 c #Conflicts: 400000 | #Constraints: 76213
737.04/738.92 c #Conflicts: 401000 | #Constraints: 77213
737.04/738.92 c #Conflicts: 402000 | #Constraints: 78213
737.04/738.92 c #Conflicts: 403000 | #Constraints: 79213
899.66/901.96 c #Conflicts: 404000 | #Constraints: 80213
899.66/901.96 c #Conflicts: 405000 | #Constraints: 81213
899.66/901.96 c #Conflicts: 406000 | #Constraints: 82213
899.66/901.96 c #Conflicts: 407000 | #Constraints: 83213
899.66/901.96 c #Conflicts: 408000 | #Constraints: 84213
899.66/901.96 c INPROCESSING
899.66/901.96 c GARBAGE COLLECT
899.66/901.96 c #Conflicts: 409000 | #Constraints: 52531
899.66/901.96 c #Conflicts: 410000 | #Constraints: 53531
899.66/901.96 c #Conflicts: 411000 | #Constraints: 54531
899.66/901.96 c #Conflicts: 412000 | #Constraints: 55531
899.66/901.96 c #Conflicts: 413000 | #Constraints: 56531
899.66/901.96 c #Conflicts: 414000 | #Constraints: 57531
899.66/901.96 c #Conflicts: 415000 | #Constraints: 58531
899.66/901.96 c #Conflicts: 416000 | #Constraints: 59531
899.66/901.96 c #Conflicts: 417000 | #Constraints: 60531
899.66/901.96 c #Conflicts: 418000 | #Constraints: 61531
899.66/901.96 c #Conflicts: 419000 | #Constraints: 62531
899.66/901.96 c #Conflicts: 420000 | #Constraints: 63531
899.66/901.96 c #Conflicts: 421000 | #Constraints: 64531
899.66/901.96 c #Conflicts: 422000 | #Constraints: 65531
899.66/901.96 c #Conflicts: 423000 | #Constraints: 66531
899.66/901.96 c #Conflicts: 424000 | #Constraints: 67531
899.66/901.96 c #Conflicts: 425000 | #Constraints: 68531
899.66/901.96 c #Conflicts: 426000 | #Constraints: 69531
899.66/901.96 c INPROCESSING
899.66/901.96 c GARBAGE COLLECT
899.66/901.96 c #Conflicts: 427000 | #Constraints: 46791
899.66/901.96 c #Conflicts: 428000 | #Constraints: 47791
899.66/901.96 c #Conflicts: 429000 | #Constraints: 48791
899.66/901.96 c #Conflicts: 430000 | #Constraints: 49791
899.66/901.96 c #Conflicts: 431000 | #Constraints: 50791
899.66/901.96 c #Conflicts: 432000 | #Constraints: 51791
899.66/901.96 c #Conflicts: 433000 | #Constraints: 52791
899.66/901.96 c #Conflicts: 434000 | #Constraints: 53791
899.66/901.96 c #Conflicts: 435000 | #Constraints: 54791
899.66/901.96 c #Conflicts: 436000 | #Constraints: 55791
899.66/901.96 c #Conflicts: 437000 | #Constraints: 56791
899.66/901.96 c #Conflicts: 438000 | #Constraints: 57791
899.66/901.96 c #Conflicts: 439000 | #Constraints: 58791
899.66/901.96 c #Conflicts: 440000 | #Constraints: 59791
899.66/901.96 c #Conflicts: 441000 | #Constraints: 60792
899.66/901.96 c #Conflicts: 442000 | #Constraints: 61792
899.66/901.96 c #Conflicts: 443000 | #Constraints: 62792
899.66/901.96 c #Conflicts: 444000 | #Constraints: 63792
899.66/901.96 c #Conflicts: 445000 | #Constraints: 64792
899.66/901.96 c #Conflicts: 446000 | #Constraints: 65792
899.66/901.96 c #Conflicts: 447000 | #Constraints: 66792
899.66/901.96 c #Conflicts: 448000 | #Constraints: 67792
899.66/901.96 c #Conflicts: 449000 | #Constraints: 68792
899.66/901.96 c #Conflicts: 450000 | #Constraints: 69792
899.66/901.96 c #Conflicts: 451000 | #Constraints: 70792
899.66/901.96 c #Conflicts: 452000 | #Constraints: 71792
899.66/901.96 c #Conflicts: 453000 | #Constraints: 72792
899.66/901.96 c #Conflicts: 454000 | #Constraints: 73792
899.66/901.96 c #Conflicts: 455000 | #Constraints: 74792
899.66/901.96 c #Conflicts: 456000 | #Constraints: 75792
899.66/901.96 c #Conflicts: 457000 | #Constraints: 76792
899.66/901.96 c #Conflicts: 458000 | #Constraints: 77792
899.66/901.96 c #Conflicts: 459000 | #Constraints: 78792
899.66/901.96 c #Conflicts: 460000 | #Constraints: 79792
899.66/901.96 c #Conflicts: 461000 | #Constraints: 80792
899.66/901.96 c #Conflicts: 462000 | #Constraints: 81792
899.66/901.96 c #Conflicts: 463000 | #Constraints: 82792
899.66/901.96 c #Conflicts: 464000 | #Constraints: 83792
899.66/901.96 c #Conflicts: 465000 | #Constraints: 84792
899.66/901.96 c #Conflicts: 466000 | #Constraints: 85792
899.66/901.96 c #Conflicts: 467000 | #Constraints: 86792
899.66/901.96 c #Conflicts: 468000 | #Constraints: 87792
899.66/901.96 c #Conflicts: 469000 | #Constraints: 88792
899.66/901.96 c #Conflicts: 470000 | #Constraints: 89792
899.66/901.96 c #Conflicts: 471000 | #Constraints: 90792
899.66/901.96 c INPROCESSING
899.66/901.96 c GARBAGE COLLECT
899.66/901.96 c #Conflicts: 472000 | #Constraints: 56229
899.66/901.96 c #Conflicts: 473000 | #Constraints: 57229
899.66/901.96 c #Conflicts: 474000 | #Constraints: 58229
899.66/901.96 c #Conflicts: 475000 | #Constraints: 59229
899.66/901.96 c #Conflicts: 476000 | #Constraints: 60229
899.66/901.96 c #Conflicts: 477000 | #Constraints: 61229
899.66/901.96 c #Conflicts: 478000 | #Constraints: 62229
899.66/901.96 c #Conflicts: 479000 | #Constraints: 63229
899.66/901.96 c #Conflicts: 480000 | #Constraints: 64229
1067.56/1070.25 c #Conflicts: 481000 | #Constraints: 65229
1067.56/1070.25 c #Conflicts: 482000 | #Constraints: 66229
1067.56/1070.25 c #Conflicts: 483000 | #Constraints: 67229
1067.56/1070.25 c #Conflicts: 484000 | #Constraints: 68229
1067.56/1070.25 c #Conflicts: 485000 | #Constraints: 69229
1067.56/1070.25 c #Conflicts: 486000 | #Constraints: 70229
1067.56/1070.25 c #Conflicts: 487000 | #Constraints: 71229
1067.56/1070.25 c #Conflicts: 488000 | #Constraints: 72229
1067.56/1070.25 c #Conflicts: 489000 | #Constraints: 73229
1067.56/1070.25 c INPROCESSING
1067.56/1070.25 c GARBAGE COLLECT
1067.56/1070.25 c #Conflicts: 490000 | #Constraints: 48267
1067.56/1070.25 c #Conflicts: 491000 | #Constraints: 49267
1067.56/1070.25 c #Conflicts: 492000 | #Constraints: 50267
1067.56/1070.25 c #Conflicts: 493000 | #Constraints: 51267
1067.56/1070.25 c #Conflicts: 494000 | #Constraints: 52267
1067.56/1070.25 c #Conflicts: 495000 | #Constraints: 53267
1067.56/1070.25 c #Conflicts: 496000 | #Constraints: 54267
1067.56/1070.25 c #Conflicts: 497000 | #Constraints: 55267
1067.56/1070.25 c #Conflicts: 498000 | #Constraints: 56267
1067.56/1070.25 c #Conflicts: 499000 | #Constraints: 57267
1067.56/1070.25 c #Conflicts: 500000 | #Constraints: 58267
1067.56/1070.25 c #Conflicts: 501000 | #Constraints: 59267
1067.56/1070.25 c #Conflicts: 502000 | #Constraints: 60267
1067.56/1070.25 c #Conflicts: 503000 | #Constraints: 61267
1067.56/1070.25 c #Conflicts: 504000 | #Constraints: 62267
1067.56/1070.25 c #Conflicts: 505000 | #Constraints: 63267
1067.56/1070.25 c #Conflicts: 506000 | #Constraints: 64267
1067.56/1070.25 c #Conflicts: 507000 | #Constraints: 65267
1067.56/1070.25 c #Conflicts: 508000 | #Constraints: 66267
1067.56/1070.25 c #Conflicts: 509000 | #Constraints: 67267
1067.56/1070.25 c #Conflicts: 510000 | #Constraints: 68267
1067.56/1070.25 c #Conflicts: 511000 | #Constraints: 69267
1067.56/1070.25 c #Conflicts: 512000 | #Constraints: 70267
1067.56/1070.25 c #Conflicts: 513000 | #Constraints: 71267
1067.56/1070.25 c #Conflicts: 514000 | #Constraints: 72267
1067.56/1070.25 c #Conflicts: 515000 | #Constraints: 73267
1067.56/1070.25 c #Conflicts: 516000 | #Constraints: 74267
1067.56/1070.25 c #Conflicts: 517000 | #Constraints: 75267
1067.56/1070.25 c #Conflicts: 518000 | #Constraints: 76267
1067.56/1070.25 c #Conflicts: 519000 | #Constraints: 77267
1067.56/1070.25 c #Conflicts: 520000 | #Constraints: 78267
1067.56/1070.25 c #Conflicts: 521000 | #Constraints: 79267
1067.56/1070.25 c #Conflicts: 522000 | #Constraints: 80267
1067.56/1070.25 c #Conflicts: 523000 | #Constraints: 81267
1067.56/1070.25 c #Conflicts: 524000 | #Constraints: 82267
1067.56/1070.25 c #Conflicts: 525000 | #Constraints: 83267
1067.56/1070.25 c #Conflicts: 526000 | #Constraints: 84267
1067.56/1070.25 c #Conflicts: 527000 | #Constraints: 85267
1067.56/1070.25 c #Conflicts: 528000 | #Constraints: 86267
1067.56/1070.25 c #Conflicts: 529000 | #Constraints: 87267
1067.56/1070.25 c #Conflicts: 530000 | #Constraints: 88267
1067.56/1070.25 c #Conflicts: 531000 | #Constraints: 89267
1067.56/1070.25 c #Conflicts: 532000 | #Constraints: 90267
1067.56/1070.25 c #Conflicts: 533000 | #Constraints: 91267
1067.56/1070.25 c #Conflicts: 534000 | #Constraints: 92267
1067.56/1070.25 c #Conflicts: 535000 | #Constraints: 93267
1067.56/1070.25 c #Conflicts: 536000 | #Constraints: 94267
1067.56/1070.25 c #Conflicts: 537000 | #Constraints: 95267
1067.56/1070.25 c INPROCESSING
1067.56/1070.25 c GARBAGE COLLECT
1067.56/1070.25 c #Conflicts: 538000 | #Constraints: 58284
1067.56/1070.25 c #Conflicts: 539000 | #Constraints: 59284
1067.56/1070.25 c #Conflicts: 540000 | #Constraints: 60284
1067.56/1070.25 c #Conflicts: 541000 | #Constraints: 61284
1067.56/1070.25 c #Conflicts: 542000 | #Constraints: 62284
1067.56/1070.25 c #Conflicts: 543000 | #Constraints: 63284
1067.56/1070.25 c #Conflicts: 544000 | #Constraints: 64284
1067.56/1070.25 c #Conflicts: 545000 | #Constraints: 65284
1067.56/1070.25 c #Conflicts: 546000 | #Constraints: 66284
1067.56/1070.25 c #Conflicts: 547000 | #Constraints: 67284
1067.56/1070.25 c #Conflicts: 548000 | #Constraints: 68284
1067.56/1070.25 c #Conflicts: 549000 | #Constraints: 69284
1067.56/1070.25 c #Conflicts: 550000 | #Constraints: 70284
1067.56/1070.25 c #Conflicts: 551000 | #Constraints: 71284
1067.56/1070.25 c #Conflicts: 552000 | #Constraints: 72284
1067.56/1070.25 c #Conflicts: 553000 | #Constraints: 73284
1067.56/1070.25 c #Conflicts: 554000 | #Constraints: 74284
1067.56/1070.25 c #Conflicts: 555000 | #Constraints: 75284
1067.56/1070.25 c #Conflicts: 556000 | #Constraints: 76284
1067.56/1070.25 c #Conflicts: 557000 | #Constraints: 77284
1239.75/1242.81 c INPROCESSING
1239.75/1242.81 c GARBAGE COLLECT
1239.75/1242.81 c #Conflicts: 558000 | #Constraints: 50919
1239.75/1242.81 c #Conflicts: 559000 | #Constraints: 51919
1239.75/1242.81 c #Conflicts: 560000 | #Constraints: 52919
1239.75/1242.81 c #Conflicts: 561000 | #Constraints: 53919
1239.75/1242.81 c #Conflicts: 562000 | #Constraints: 54919
1239.75/1242.81 c #Conflicts: 563000 | #Constraints: 55919
1239.75/1242.81 c #Conflicts: 564000 | #Constraints: 56919
1239.75/1242.81 c #Conflicts: 565000 | #Constraints: 57919
1239.75/1242.81 c #Conflicts: 566000 | #Constraints: 58919
1239.75/1242.81 c #Conflicts: 567000 | #Constraints: 59919
1239.75/1242.81 c #Conflicts: 568000 | #Constraints: 60919
1239.75/1242.81 c #Conflicts: 569000 | #Constraints: 61919
1239.75/1242.81 c #Conflicts: 570000 | #Constraints: 62919
1239.75/1242.81 c #Conflicts: 571000 | #Constraints: 63919
1239.75/1242.81 c #Conflicts: 572000 | #Constraints: 64919
1239.75/1242.81 c #Conflicts: 573000 | #Constraints: 65919
1239.75/1242.81 c #Conflicts: 574000 | #Constraints: 66919
1239.75/1242.81 c #Conflicts: 575000 | #Constraints: 67919
1239.75/1242.81 c #Conflicts: 576000 | #Constraints: 68919
1239.75/1242.81 c #Conflicts: 577000 | #Constraints: 69919
1239.75/1242.81 c #Conflicts: 578000 | #Constraints: 70919
1239.75/1242.81 c #Conflicts: 579000 | #Constraints: 71919
1239.75/1242.81 c #Conflicts: 580000 | #Constraints: 72919
1239.75/1242.81 c #Conflicts: 581000 | #Constraints: 73919
1239.75/1242.81 c #Conflicts: 582000 | #Constraints: 74919
1239.75/1242.81 c #Conflicts: 583000 | #Constraints: 75919
1239.75/1242.81 c #Conflicts: 584000 | #Constraints: 76919
1239.75/1242.81 c #Conflicts: 585000 | #Constraints: 77919
1239.75/1242.81 c #Conflicts: 586000 | #Constraints: 78919
1239.75/1242.81 c #Conflicts: 587000 | #Constraints: 79919
1239.75/1242.81 c #Conflicts: 588000 | #Constraints: 80919
1239.75/1242.81 c #Conflicts: 589000 | #Constraints: 81920
1239.75/1242.81 c #Conflicts: 590000 | #Constraints: 82920
1239.75/1242.81 c #Conflicts: 591000 | #Constraints: 83920
1239.75/1242.81 c #Conflicts: 592000 | #Constraints: 84920
1239.75/1242.81 c #Conflicts: 593000 | #Constraints: 85920
1239.75/1242.81 c #Conflicts: 594000 | #Constraints: 86920
1239.75/1242.81 c #Conflicts: 595000 | #Constraints: 87920
1239.75/1242.81 c #Conflicts: 596000 | #Constraints: 88920
1239.75/1242.81 c #Conflicts: 597000 | #Constraints: 89920
1239.75/1242.81 c #Conflicts: 598000 | #Constraints: 90920
1239.75/1242.81 c #Conflicts: 599000 | #Constraints: 91920
1239.75/1242.81 c #Conflicts: 600000 | #Constraints: 92920
1239.75/1242.81 c #Conflicts: 601000 | #Constraints: 93920
1239.75/1242.81 c #Conflicts: 602000 | #Constraints: 94920
1239.75/1242.81 c #Conflicts: 603000 | #Constraints: 95920
1239.75/1242.81 c #Conflicts: 604000 | #Constraints: 96920
1239.75/1242.81 c #Conflicts: 605000 | #Constraints: 97920
1239.75/1242.81 c #Conflicts: 606000 | #Constraints: 98920
1239.75/1242.81 c #Conflicts: 607000 | #Constraints: 99920
1239.75/1242.81 c #Conflicts: 608000 | #Constraints: 100920
1239.75/1242.81 c INPROCESSING
1239.75/1242.81 c GARBAGE COLLECT
1239.75/1242.81 c #Conflicts: 609000 | #Constraints: 61175
1239.75/1242.81 c #Conflicts: 610000 | #Constraints: 62175
1239.75/1242.81 c #Conflicts: 611000 | #Constraints: 63175
1239.75/1242.81 c #Conflicts: 612000 | #Constraints: 64175
1239.75/1242.81 c #Conflicts: 613000 | #Constraints: 65175
1239.75/1242.81 c #Conflicts: 614000 | #Constraints: 66175
1239.75/1242.81 c #Conflicts: 615000 | #Constraints: 67175
1239.75/1242.81 c #Conflicts: 616000 | #Constraints: 68175
1239.75/1242.81 c #Conflicts: 617000 | #Constraints: 69175
1239.75/1242.81 c #Conflicts: 618000 | #Constraints: 70175
1239.75/1242.81 c #Conflicts: 619000 | #Constraints: 71175
1239.75/1242.81 c #Conflicts: 620000 | #Constraints: 72175
1239.75/1242.81 c #Conflicts: 621000 | #Constraints: 73175
1239.75/1242.81 c #Conflicts: 622000 | #Constraints: 74175
1239.75/1242.81 c #Conflicts: 623000 | #Constraints: 75175
1239.75/1242.81 c #Conflicts: 624000 | #Constraints: 76175
1239.75/1242.81 c #Conflicts: 625000 | #Constraints: 77175
1239.75/1242.81 c #Conflicts: 626000 | #Constraints: 78175
1239.75/1242.81 c #Conflicts: 627000 | #Constraints: 79175
1239.75/1242.81 c #Conflicts: 628000 | #Constraints: 80175
1239.75/1242.81 c #Conflicts: 629000 | #Constraints: 81175
1239.75/1242.81 c #Conflicts: 630000 | #Constraints: 82175
1239.75/1242.81 c INPROCESSING
1239.75/1242.81 c GARBAGE COLLECT
1239.75/1242.81 c #Conflicts: 631000 | #Constraints: 53886
1239.75/1242.81 c #Conflicts: 632000 | #Constraints: 54886
1239.75/1242.81 c #Conflicts: 633000 | #Constraints: 55886
1239.75/1242.81 c #Conflicts: 634000 | #Constraints: 56886
1497.12/1500.86 c #Conflicts: 635000 | #Constraints: 57886
1497.12/1500.86 c #Conflicts: 636000 | #Constraints: 58886
1497.12/1500.86 c #Conflicts: 637000 | #Constraints: 59886
1497.12/1500.86 c #Conflicts: 638000 | #Constraints: 60886
1497.12/1500.86 c #Conflicts: 639000 | #Constraints: 61886
1497.12/1500.86 c #Conflicts: 640000 | #Constraints: 62886
1497.12/1500.86 c #Conflicts: 641000 | #Constraints: 63886
1497.12/1500.86 c #Conflicts: 642000 | #Constraints: 64886
1497.12/1500.86 c #Conflicts: 643000 | #Constraints: 65886
1497.12/1500.86 c #Conflicts: 644000 | #Constraints: 66886
1497.12/1500.86 c #Conflicts: 645000 | #Constraints: 67886
1497.12/1500.86 c #Conflicts: 646000 | #Constraints: 68886
1497.12/1500.86 c #Conflicts: 647000 | #Constraints: 69886
1497.12/1500.86 c #Conflicts: 648000 | #Constraints: 70886
1497.12/1500.86 c #Conflicts: 649000 | #Constraints: 71886
1497.12/1500.86 c #Conflicts: 650000 | #Constraints: 72886
1497.12/1500.86 c #Conflicts: 651000 | #Constraints: 73886
1497.12/1500.86 c #Conflicts: 652000 | #Constraints: 74886
1497.12/1500.86 c #Conflicts: 653000 | #Constraints: 75886
1497.12/1500.86 c #Conflicts: 654000 | #Constraints: 76886
1497.12/1500.86 c #Conflicts: 655000 | #Constraints: 77886
1497.12/1500.86 c #Conflicts: 656000 | #Constraints: 78886
1497.12/1500.86 c #Conflicts: 657000 | #Constraints: 79886
1497.12/1500.86 c #Conflicts: 658000 | #Constraints: 80886
1497.12/1500.86 c #Conflicts: 659000 | #Constraints: 81886
1497.12/1500.86 c #Conflicts: 660000 | #Constraints: 82886
1497.12/1500.86 c #Conflicts: 661000 | #Constraints: 83886
1497.12/1500.86 c #Conflicts: 662000 | #Constraints: 84886
1497.12/1500.86 c #Conflicts: 663000 | #Constraints: 85886
1497.12/1500.86 c #Conflicts: 664000 | #Constraints: 86886
1497.12/1500.86 c #Conflicts: 665000 | #Constraints: 87886
1497.12/1500.86 c #Conflicts: 666000 | #Constraints: 88886
1497.12/1500.86 c #Conflicts: 667000 | #Constraints: 89886
1497.12/1500.86 c #Conflicts: 668000 | #Constraints: 90886
1497.12/1500.86 c #Conflicts: 669000 | #Constraints: 91886
1497.12/1500.86 c #Conflicts: 670000 | #Constraints: 92886
1497.12/1500.86 c #Conflicts: 671000 | #Constraints: 93886
1497.12/1500.86 c #Conflicts: 672000 | #Constraints: 94886
1497.12/1500.86 c #Conflicts: 673000 | #Constraints: 95886
1497.12/1500.86 c #Conflicts: 674000 | #Constraints: 96886
1497.12/1500.86 c #Conflicts: 675000 | #Constraints: 97886
1497.12/1500.86 c #Conflicts: 676000 | #Constraints: 98886
1497.12/1500.86 c #Conflicts: 677000 | #Constraints: 99886
1497.12/1500.86 c #Conflicts: 678000 | #Constraints: 100886
1497.12/1500.86 c #Conflicts: 679000 | #Constraints: 101886
1497.12/1500.86 c #Conflicts: 680000 | #Constraints: 102886
1497.12/1500.86 c #Conflicts: 681000 | #Constraints: 103886
1497.12/1500.86 c #Conflicts: 682000 | #Constraints: 104886
1497.12/1500.86 c #Conflicts: 683000 | #Constraints: 105886
1497.12/1500.86 c #Conflicts: 684000 | #Constraints: 106886
1497.12/1500.86 c INPROCESSING
1497.12/1500.86 c GARBAGE COLLECT
1497.12/1500.86 c #Conflicts: 685000 | #Constraints: 64487
1497.12/1500.86 c #Conflicts: 686000 | #Constraints: 65487
1497.12/1500.86 c #Conflicts: 687000 | #Constraints: 66487
1497.12/1500.86 c #Conflicts: 688000 | #Constraints: 67487
1497.12/1500.86 c #Conflicts: 689000 | #Constraints: 68487
1497.12/1500.86 c #Conflicts: 690000 | #Constraints: 69487
1497.12/1500.86 c #Conflicts: 691000 | #Constraints: 70487
1497.12/1500.86 c #Conflicts: 692000 | #Constraints: 71487
1497.12/1500.86 c #Conflicts: 693000 | #Constraints: 72487
1497.12/1500.86 c #Conflicts: 694000 | #Constraints: 73487
1497.12/1500.86 c #Conflicts: 695000 | #Constraints: 74487
1497.12/1500.86 c #Conflicts: 696000 | #Constraints: 75487
1497.12/1500.86 c #Conflicts: 697000 | #Constraints: 76487
1497.12/1500.86 c #Conflicts: 698000 | #Constraints: 77487
1497.12/1500.86 c #Conflicts: 699000 | #Constraints: 78487
1497.12/1500.86 c #Conflicts: 700000 | #Constraints: 79487
1497.12/1500.86 c #Conflicts: 701000 | #Constraints: 80487
1497.12/1500.86 c #Conflicts: 702000 | #Constraints: 81487
1497.12/1500.86 c #Conflicts: 703000 | #Constraints: 82487
1497.12/1500.86 c #Conflicts: 704000 | #Constraints: 83487
1497.12/1500.86 c #Conflicts: 705000 | #Constraints: 84487
1497.12/1500.86 c #Conflicts: 706000 | #Constraints: 85487
1497.12/1500.86 c INPROCESSING
1497.12/1500.86 c GARBAGE COLLECT
1497.12/1500.86 c #Conflicts: 707000 | #Constraints: 55769
1497.12/1500.86 c #Conflicts: 708000 | #Constraints: 56769
1497.12/1500.86 c #Conflicts: 709000 | #Constraints: 57769
1497.12/1500.86 c #Conflicts: 710000 | #Constraints: 58769
1497.12/1500.86 c #Conflicts: 711000 | #Constraints: 59769
1497.12/1500.86 c #Conflicts: 712000 | #Constraints: 60769
1711.48/1715.70 c #Conflicts: 713000 | #Constraints: 61769
1711.48/1715.70 c #Conflicts: 714000 | #Constraints: 62769
1711.48/1715.70 c #Conflicts: 715000 | #Constraints: 63769
1711.48/1715.70 c #Conflicts: 716000 | #Constraints: 64769
1711.48/1715.70 c #Conflicts: 717000 | #Constraints: 65769
1711.48/1715.70 c #Conflicts: 718000 | #Constraints: 66769
1711.48/1715.70 c #Conflicts: 719000 | #Constraints: 67769
1711.48/1715.70 c #Conflicts: 720000 | #Constraints: 68769
1711.48/1715.70 c #Conflicts: 721000 | #Constraints: 69769
1711.48/1715.70 c #Conflicts: 722000 | #Constraints: 70769
1711.48/1715.70 c #Conflicts: 723000 | #Constraints: 71770
1711.48/1715.70 c #Conflicts: 724000 | #Constraints: 72770
1711.48/1715.70 c #Conflicts: 725000 | #Constraints: 73770
1711.48/1715.70 c #Conflicts: 726000 | #Constraints: 74770
1711.48/1715.70 c #Conflicts: 727000 | #Constraints: 75770
1711.48/1715.70 c #Conflicts: 728000 | #Constraints: 76770
1711.48/1715.70 c #Conflicts: 729000 | #Constraints: 77770
1711.48/1715.70 c #Conflicts: 730000 | #Constraints: 78770
1711.48/1715.70 c #Conflicts: 731000 | #Constraints: 79770
1711.48/1715.70 c #Conflicts: 732000 | #Constraints: 80770
1711.48/1715.70 c #Conflicts: 733000 | #Constraints: 81770
1711.48/1715.70 c #Conflicts: 734000 | #Constraints: 82770
1711.48/1715.70 c #Conflicts: 735000 | #Constraints: 83770
1711.48/1715.70 c #Conflicts: 736000 | #Constraints: 84770
1711.48/1715.70 c #Conflicts: 737000 | #Constraints: 85770
1711.48/1715.70 c #Conflicts: 738000 | #Constraints: 86770
1711.48/1715.70 c #Conflicts: 739000 | #Constraints: 87770
1711.48/1715.70 c #Conflicts: 740000 | #Constraints: 88770
1711.48/1715.70 c #Conflicts: 741000 | #Constraints: 89770
1711.48/1715.70 c #Conflicts: 742000 | #Constraints: 90770
1711.48/1715.70 c #Conflicts: 743000 | #Constraints: 91770
1711.48/1715.70 c #Conflicts: 744000 | #Constraints: 92770
1711.48/1715.70 c #Conflicts: 745000 | #Constraints: 93770
1711.48/1715.70 c #Conflicts: 746000 | #Constraints: 94770
1711.48/1715.70 c #Conflicts: 747000 | #Constraints: 95770
1711.48/1715.70 c #Conflicts: 748000 | #Constraints: 96770
1711.48/1715.70 c #Conflicts: 749000 | #Constraints: 97770
1711.48/1715.70 c #Conflicts: 750000 | #Constraints: 98770
1711.48/1715.70 c #Conflicts: 751000 | #Constraints: 99770
1711.48/1715.70 c #Conflicts: 752000 | #Constraints: 100770
1711.48/1715.70 c #Conflicts: 753000 | #Constraints: 101770
1711.48/1715.70 c #Conflicts: 754000 | #Constraints: 102770
1711.48/1715.70 c #Conflicts: 755000 | #Constraints: 103770
1711.48/1715.70 c #Conflicts: 756000 | #Constraints: 104770
1711.48/1715.70 c #Conflicts: 757000 | #Constraints: 105770
1711.48/1715.70 c #Conflicts: 758000 | #Constraints: 106770
1711.48/1715.70 c #Conflicts: 759000 | #Constraints: 107770
1711.48/1715.70 c #Conflicts: 760000 | #Constraints: 108770
1711.48/1715.70 c #Conflicts: 761000 | #Constraints: 109770
1711.48/1715.70 c #Conflicts: 762000 | #Constraints: 110770
1711.48/1715.70 c #Conflicts: 763000 | #Constraints: 111770
1711.48/1715.70 c INPROCESSING
1711.48/1715.70 c GARBAGE COLLECT
1711.48/1715.70 c #Conflicts: 764000 | #Constraints: 66463
1711.48/1715.70 c #Conflicts: 765000 | #Constraints: 67463
1711.48/1715.70 c #Conflicts: 766000 | #Constraints: 68463
1711.48/1715.70 c #Conflicts: 767000 | #Constraints: 69463
1711.48/1715.70 c #Conflicts: 768000 | #Constraints: 70463
1711.48/1715.70 c #Conflicts: 769000 | #Constraints: 71463
1711.48/1715.70 c #Conflicts: 770000 | #Constraints: 72463
1711.48/1715.70 c #Conflicts: 771000 | #Constraints: 73463
1711.48/1715.70 c #Conflicts: 772000 | #Constraints: 74463
1711.48/1715.70 c #Conflicts: 773000 | #Constraints: 75463
1711.48/1715.70 c #Conflicts: 774000 | #Constraints: 76463
1711.48/1715.70 c #Conflicts: 775000 | #Constraints: 77463
1711.48/1715.70 c #Conflicts: 776000 | #Constraints: 78463
1711.48/1715.70 c #Conflicts: 777000 | #Constraints: 79463
1711.48/1715.70 c #Conflicts: 778000 | #Constraints: 80463
1711.48/1715.70 c #Conflicts: 779000 | #Constraints: 81463
1711.48/1715.70 c #Conflicts: 780000 | #Constraints: 82463
1711.48/1715.70 c #Conflicts: 781000 | #Constraints: 83463
1711.48/1715.70 c #Conflicts: 782000 | #Constraints: 84463
1711.48/1715.70 c #Conflicts: 783000 | #Constraints: 85463
1711.48/1715.70 c #Conflicts: 784000 | #Constraints: 86463
1711.48/1715.70 c #Conflicts: 785000 | #Constraints: 87463
1711.48/1715.70 c #Conflicts: 786000 | #Constraints: 88463
1711.48/1715.70 c #Conflicts: 787000 | #Constraints: 89463
1711.48/1715.70 c INPROCESSING
1711.48/1715.70 c GARBAGE COLLECT
1711.48/1715.70 c #Conflicts: 788000 | #Constraints: 57838
1711.48/1715.70 c #Conflicts: 789000 | #Constraints: 58838
1893.95/1898.61 c #Conflicts: 790000 | #Constraints: 59838
1893.95/1898.61 c #Conflicts: 791000 | #Constraints: 60838
1893.95/1898.61 c #Conflicts: 792000 | #Constraints: 61838
1893.95/1898.61 c #Conflicts: 793000 | #Constraints: 62838
1893.95/1898.61 c #Conflicts: 794000 | #Constraints: 63838
1893.95/1898.61 c #Conflicts: 795000 | #Constraints: 64838
1893.95/1898.61 c #Conflicts: 796000 | #Constraints: 65838
1893.95/1898.61 c #Conflicts: 797000 | #Constraints: 66838
1893.95/1898.61 c #Conflicts: 798000 | #Constraints: 67838
1893.95/1898.61 c #Conflicts: 799000 | #Constraints: 68838
1893.95/1898.61 c #Conflicts: 800000 | #Constraints: 69838
1893.95/1898.61 c #Conflicts: 801000 | #Constraints: 70838
1893.95/1898.61 c #Conflicts: 802000 | #Constraints: 71838
1893.95/1898.61 c #Conflicts: 803000 | #Constraints: 72838
1893.95/1898.61 c #Conflicts: 804000 | #Constraints: 73838
1893.95/1898.61 c #Conflicts: 805000 | #Constraints: 74838
1893.95/1898.61 c #Conflicts: 806000 | #Constraints: 75838
1893.95/1898.61 c #Conflicts: 807000 | #Constraints: 76838
1893.95/1898.61 c #Conflicts: 808000 | #Constraints: 77838
1893.95/1898.61 c #Conflicts: 809000 | #Constraints: 78838
1893.95/1898.61 c #Conflicts: 810000 | #Constraints: 79838
1893.95/1898.61 c #Conflicts: 811000 | #Constraints: 80838
1893.95/1898.61 c #Conflicts: 812000 | #Constraints: 81838
1893.95/1898.61 c #Conflicts: 813000 | #Constraints: 82838
1893.95/1898.61 c #Conflicts: 814000 | #Constraints: 83838
1893.95/1898.61 c #Conflicts: 815000 | #Constraints: 84838
1893.95/1898.61 c #Conflicts: 816000 | #Constraints: 85838
1893.95/1898.61 c #Conflicts: 817000 | #Constraints: 86838
1893.95/1898.61 c #Conflicts: 818000 | #Constraints: 87838
1893.95/1898.61 c #Conflicts: 819000 | #Constraints: 88838
1893.95/1898.61 c #Conflicts: 820000 | #Constraints: 89838
1893.95/1898.61 c #Conflicts: 821000 | #Constraints: 90838
1893.95/1898.61 c #Conflicts: 822000 | #Constraints: 91838
1893.95/1898.61 c #Conflicts: 823000 | #Constraints: 92838
1893.95/1898.61 c #Conflicts: 824000 | #Constraints: 93838
1893.95/1898.61 c #Conflicts: 825000 | #Constraints: 94838
1893.95/1898.61 c #Conflicts: 826000 | #Constraints: 95838
1893.95/1898.61 c #Conflicts: 827000 | #Constraints: 96838
1893.95/1898.61 c #Conflicts: 828000 | #Constraints: 97838
1893.95/1898.61 c #Conflicts: 829000 | #Constraints: 98838
1893.95/1898.61 c #Conflicts: 830000 | #Constraints: 99838
1893.95/1898.61 c #Conflicts: 831000 | #Constraints: 100838
1893.95/1898.61 c #Conflicts: 832000 | #Constraints: 101838
1893.95/1898.61 c #Conflicts: 833000 | #Constraints: 102838
1893.95/1898.61 c #Conflicts: 834000 | #Constraints: 103838
1893.95/1898.61 c #Conflicts: 835000 | #Constraints: 104838
1893.95/1898.61 c #Conflicts: 836000 | #Constraints: 105838
1893.95/1898.61 c #Conflicts: 837000 | #Constraints: 106838
1893.95/1898.61 c #Conflicts: 838000 | #Constraints: 107838
1893.95/1898.61 c #Conflicts: 839000 | #Constraints: 108838
1893.95/1898.61 c #Conflicts: 840000 | #Constraints: 109838
1893.95/1898.61 c #Conflicts: 841000 | #Constraints: 110838
1893.95/1898.61 c #Conflicts: 842000 | #Constraints: 111838
1893.95/1898.61 c #Conflicts: 843000 | #Constraints: 112838
1893.95/1898.61 c #Conflicts: 844000 | #Constraints: 113838
1893.95/1898.61 c #Conflicts: 845000 | #Constraints: 114838
1893.95/1898.61 c #Conflicts: 846000 | #Constraints: 115838
1893.95/1898.61 c #Conflicts: 847000 | #Constraints: 116838
1893.95/1898.61 c #Conflicts: 848000 | #Constraints: 117838
1893.95/1898.61 c INPROCESSING
1893.95/1898.61 c GARBAGE COLLECT
1893.95/1898.61 c #Conflicts: 849000 | #Constraints: 69917
1893.95/1898.61 c #Conflicts: 850000 | #Constraints: 70917
1893.95/1898.61 c #Conflicts: 851000 | #Constraints: 71917
1893.95/1898.61 c #Conflicts: 852000 | #Constraints: 72917
1893.95/1898.61 c #Conflicts: 853000 | #Constraints: 73917
1893.95/1898.61 c #Conflicts: 854000 | #Constraints: 74917
1893.95/1898.61 c #Conflicts: 855000 | #Constraints: 75917
1893.95/1898.61 c #Conflicts: 856000 | #Constraints: 76917
1893.95/1898.61 c #Conflicts: 857000 | #Constraints: 77917
1893.95/1898.61 c #Conflicts: 858000 | #Constraints: 78917
1893.95/1898.61 c #Conflicts: 859000 | #Constraints: 79917
1893.95/1898.61 c #Conflicts: 860000 | #Constraints: 80917
1893.95/1898.61 c #Conflicts: 861000 | #Constraints: 81917
1893.95/1898.61 c #Conflicts: 862000 | #Constraints: 82917
1893.95/1898.61 c #Conflicts: 863000 | #Constraints: 83917
1893.95/1898.61 c #Conflicts: 864000 | #Constraints: 84917
1893.95/1898.61 c #Conflicts: 865000 | #Constraints: 85917
1893.95/1898.61 c #Conflicts: 866000 | #Constraints: 86917
1893.95/1898.61 c #Conflicts: 867000 | #Constraints: 87917
2105.77/2110.97 c #Conflicts: 868000 | #Constraints: 88917
2105.77/2110.97 c #Conflicts: 869000 | #Constraints: 89917
2105.77/2110.97 c #Conflicts: 870000 | #Constraints: 90917
2105.77/2110.97 c #Conflicts: 871000 | #Constraints: 91917
2105.77/2110.97 c #Conflicts: 872000 | #Constraints: 92917
2105.77/2110.97 c #Conflicts: 873000 | #Constraints: 93917
2105.77/2110.97 c INPROCESSING
2105.77/2110.97 c GARBAGE COLLECT
2105.77/2110.97 c #Conflicts: 874000 | #Constraints: 60657
2105.77/2110.97 c #Conflicts: 875000 | #Constraints: 61657
2105.77/2110.97 c #Conflicts: 876000 | #Constraints: 62657
2105.77/2110.97 c #Conflicts: 877000 | #Constraints: 63657
2105.77/2110.97 c #Conflicts: 878000 | #Constraints: 64657
2105.77/2110.97 c #Conflicts: 879000 | #Constraints: 65657
2105.77/2110.97 c #Conflicts: 880000 | #Constraints: 66657
2105.77/2110.97 c #Conflicts: 881000 | #Constraints: 67657
2105.77/2110.97 c #Conflicts: 882000 | #Constraints: 68657
2105.77/2110.97 c #Conflicts: 883000 | #Constraints: 69657
2105.77/2110.97 c #Conflicts: 884000 | #Constraints: 70657
2105.77/2110.97 c #Conflicts: 885000 | #Constraints: 71657
2105.77/2110.97 c #Conflicts: 886000 | #Constraints: 72657
2105.77/2110.97 c #Conflicts: 887000 | #Constraints: 73657
2105.77/2110.97 c #Conflicts: 888000 | #Constraints: 74657
2105.77/2110.97 c #Conflicts: 889000 | #Constraints: 75658
2105.77/2110.97 c #Conflicts: 890000 | #Constraints: 76658
2105.77/2110.97 c #Conflicts: 891000 | #Constraints: 77658
2105.77/2110.97 c #Conflicts: 892000 | #Constraints: 78658
2105.77/2110.97 c #Conflicts: 893000 | #Constraints: 79658
2105.77/2110.97 c #Conflicts: 894000 | #Constraints: 80658
2105.77/2110.97 c #Conflicts: 895000 | #Constraints: 81658
2105.77/2110.97 c #Conflicts: 896000 | #Constraints: 82658
2105.77/2110.97 c #Conflicts: 897000 | #Constraints: 83658
2105.77/2110.97 c #Conflicts: 898000 | #Constraints: 84658
2105.77/2110.97 c #Conflicts: 899000 | #Constraints: 85658
2105.77/2110.97 c #Conflicts: 900000 | #Constraints: 86658
2105.77/2110.97 c #Conflicts: 901000 | #Constraints: 87658
2105.77/2110.97 c #Conflicts: 902000 | #Constraints: 88658
2105.77/2110.97 c #Conflicts: 903000 | #Constraints: 89658
2105.77/2110.97 c #Conflicts: 904000 | #Constraints: 90658
2105.77/2110.97 c #Conflicts: 905000 | #Constraints: 91658
2105.77/2110.97 c #Conflicts: 906000 | #Constraints: 92658
2105.77/2110.97 c #Conflicts: 907000 | #Constraints: 93658
2105.77/2110.97 c #Conflicts: 908000 | #Constraints: 94658
2105.77/2110.97 c #Conflicts: 909000 | #Constraints: 95658
2105.77/2110.97 c #Conflicts: 910000 | #Constraints: 96658
2105.77/2110.97 c #Conflicts: 911000 | #Constraints: 97658
2105.77/2110.97 c #Conflicts: 912000 | #Constraints: 98658
2105.77/2110.97 c #Conflicts: 913000 | #Constraints: 99658
2105.77/2110.97 c #Conflicts: 914000 | #Constraints: 100658
2105.77/2110.97 c #Conflicts: 915000 | #Constraints: 101658
2105.77/2110.97 c #Conflicts: 916000 | #Constraints: 102658
2105.77/2110.97 c #Conflicts: 917000 | #Constraints: 103658
2105.77/2110.97 c #Conflicts: 918000 | #Constraints: 104658
2105.77/2110.97 c #Conflicts: 919000 | #Constraints: 105658
2105.77/2110.97 c #Conflicts: 920000 | #Constraints: 106658
2105.77/2110.97 c #Conflicts: 921000 | #Constraints: 107658
2105.77/2110.97 c #Conflicts: 922000 | #Constraints: 108658
2105.77/2110.97 c #Conflicts: 923000 | #Constraints: 109658
2105.77/2110.97 c #Conflicts: 924000 | #Constraints: 110658
2105.77/2110.97 c #Conflicts: 925000 | #Constraints: 111658
2105.77/2110.97 c #Conflicts: 926000 | #Constraints: 112658
2105.77/2110.97 c #Conflicts: 927000 | #Constraints: 113658
2105.77/2110.97 c #Conflicts: 928000 | #Constraints: 114658
2105.77/2110.97 c #Conflicts: 929000 | #Constraints: 115658
2105.77/2110.97 c #Conflicts: 930000 | #Constraints: 116658
2105.77/2110.97 c #Conflicts: 931000 | #Constraints: 117658
2105.77/2110.97 c #Conflicts: 932000 | #Constraints: 118658
2105.77/2110.97 c #Conflicts: 933000 | #Constraints: 119658
2105.77/2110.97 c #Conflicts: 934000 | #Constraints: 120658
2105.77/2110.97 c #Conflicts: 935000 | #Constraints: 121658
2105.77/2110.97 c #Conflicts: 936000 | #Constraints: 122658
2105.77/2110.97 c INPROCESSING
2105.77/2110.97 c GARBAGE COLLECT
2105.77/2110.97 c #Conflicts: 937000 | #Constraints: 72156
2105.77/2110.97 c #Conflicts: 938000 | #Constraints: 73156
2105.77/2110.97 c #Conflicts: 939000 | #Constraints: 74156
2105.77/2110.97 c #Conflicts: 940000 | #Constraints: 75156
2105.77/2110.97 c #Conflicts: 941000 | #Constraints: 76156
2105.77/2110.97 c #Conflicts: 942000 | #Constraints: 77156
2105.77/2110.97 c #Conflicts: 943000 | #Constraints: 78156
2105.77/2110.97 c #Conflicts: 944000 | #Constraints: 79156
2105.77/2110.97 c #Conflicts: 945000 | #Constraints: 80156
2332.25/2337.99 c #Conflicts: 946000 | #Constraints: 81156
2332.25/2337.99 c #Conflicts: 947000 | #Constraints: 82156
2332.25/2337.99 c #Conflicts: 948000 | #Constraints: 83156
2332.25/2337.99 c #Conflicts: 949000 | #Constraints: 84156
2332.25/2337.99 c #Conflicts: 950000 | #Constraints: 85156
2332.25/2337.99 c #Conflicts: 951000 | #Constraints: 86156
2332.25/2337.99 c #Conflicts: 952000 | #Constraints: 87156
2332.25/2337.99 c #Conflicts: 953000 | #Constraints: 88156
2332.25/2337.99 c #Conflicts: 954000 | #Constraints: 89156
2332.25/2337.99 c #Conflicts: 955000 | #Constraints: 90156
2332.25/2337.99 c #Conflicts: 956000 | #Constraints: 91156
2332.25/2337.99 c #Conflicts: 957000 | #Constraints: 92156
2332.25/2337.99 c #Conflicts: 958000 | #Constraints: 93156
2332.25/2337.99 c #Conflicts: 959000 | #Constraints: 94156
2332.25/2337.99 c #Conflicts: 960000 | #Constraints: 95156
2332.25/2337.99 c #Conflicts: 961000 | #Constraints: 96156
2332.25/2337.99 c #Conflicts: 962000 | #Constraints: 97156
2332.25/2337.99 c #Conflicts: 963000 | #Constraints: 98156
2332.25/2337.99 c INPROCESSING
2332.25/2337.99 c GARBAGE COLLECT
2332.25/2337.99 c #Conflicts: 964000 | #Constraints: 62950
2332.25/2337.99 c #Conflicts: 965000 | #Constraints: 63950
2332.25/2337.99 c #Conflicts: 966000 | #Constraints: 64950
2332.25/2337.99 c #Conflicts: 967000 | #Constraints: 65950
2332.25/2337.99 c #Conflicts: 968000 | #Constraints: 66950
2332.25/2337.99 c #Conflicts: 969000 | #Constraints: 67950
2332.25/2337.99 c #Conflicts: 970000 | #Constraints: 68950
2332.25/2337.99 c #Conflicts: 971000 | #Constraints: 69950
2332.25/2337.99 c #Conflicts: 972000 | #Constraints: 70950
2332.25/2337.99 c #Conflicts: 973000 | #Constraints: 71950
2332.25/2337.99 c #Conflicts: 974000 | #Constraints: 72950
2332.25/2337.99 c #Conflicts: 975000 | #Constraints: 73950
2332.25/2337.99 c #Conflicts: 976000 | #Constraints: 74950
2332.25/2337.99 c #Conflicts: 977000 | #Constraints: 75950
2332.25/2337.99 c #Conflicts: 978000 | #Constraints: 76950
2332.25/2337.99 c #Conflicts: 979000 | #Constraints: 77950
2332.25/2337.99 c #Conflicts: 980000 | #Constraints: 78950
2332.25/2337.99 c #Conflicts: 981000 | #Constraints: 79950
2332.25/2337.99 c #Conflicts: 982000 | #Constraints: 80950
2332.25/2337.99 c #Conflicts: 983000 | #Constraints: 81950
2332.25/2337.99 c #Conflicts: 984000 | #Constraints: 82950
2332.25/2337.99 c #Conflicts: 985000 | #Constraints: 83950
2332.25/2337.99 c #Conflicts: 986000 | #Constraints: 84950
2332.25/2337.99 c #Conflicts: 987000 | #Constraints: 85950
2332.25/2337.99 c #Conflicts: 988000 | #Constraints: 86950
2332.25/2337.99 c #Conflicts: 989000 | #Constraints: 87950
2332.25/2337.99 c #Conflicts: 990000 | #Constraints: 88950
2332.25/2337.99 c #Conflicts: 991000 | #Constraints: 89950
2332.25/2337.99 c #Conflicts: 992000 | #Constraints: 90950
2332.25/2337.99 c #Conflicts: 993000 | #Constraints: 91950
2332.25/2337.99 c #Conflicts: 994000 | #Constraints: 92950
2332.25/2337.99 c #Conflicts: 995000 | #Constraints: 93950
2332.25/2337.99 c #Conflicts: 996000 | #Constraints: 94950
2332.25/2337.99 c #Conflicts: 997000 | #Constraints: 95950
2332.25/2337.99 c #Conflicts: 998000 | #Constraints: 96950
2332.25/2337.99 c #Conflicts: 999000 | #Constraints: 97950
2332.25/2337.99 c #Conflicts: 1000000 | #Constraints: 98950
2332.25/2337.99 c #Conflicts: 1001000 | #Constraints: 99950
2332.25/2337.99 c #Conflicts: 1002000 | #Constraints: 100950
2332.25/2337.99 c #Conflicts: 1003000 | #Constraints: 101950
2332.25/2337.99 c #Conflicts: 1004000 | #Constraints: 102950
2332.25/2337.99 c #Conflicts: 1005000 | #Constraints: 103950
2332.25/2337.99 c #Conflicts: 1006000 | #Constraints: 104950
2332.25/2337.99 c #Conflicts: 1007000 | #Constraints: 105950
2332.25/2337.99 c #Conflicts: 1008000 | #Constraints: 106950
2332.25/2337.99 c #Conflicts: 1009000 | #Constraints: 107950
2332.25/2337.99 c #Conflicts: 1010000 | #Constraints: 108950
2332.25/2337.99 c #Conflicts: 1011000 | #Constraints: 109950
2332.25/2337.99 c #Conflicts: 1012000 | #Constraints: 110950
2332.25/2337.99 c #Conflicts: 1013000 | #Constraints: 111950
2332.25/2337.99 c #Conflicts: 1014000 | #Constraints: 112950
2332.25/2337.99 c #Conflicts: 1015000 | #Constraints: 113950
2332.25/2337.99 c #Conflicts: 1016000 | #Constraints: 114950
2332.25/2337.99 c #Conflicts: 1017000 | #Constraints: 115950
2332.25/2337.99 c #Conflicts: 1018000 | #Constraints: 116950
2332.25/2337.99 c #Conflicts: 1019000 | #Constraints: 117950
2332.25/2337.99 c #Conflicts: 1020000 | #Constraints: 118950
2332.25/2337.99 c #Conflicts: 1021000 | #Constraints: 119950
2332.25/2337.99 c #Conflicts: 1022000 | #Constraints: 120950
2332.25/2337.99 c #Conflicts: 1023000 | #Constraints: 121950
2569.81/2576.04 c #Conflicts: 1024000 | #Constraints: 122950
2569.81/2576.04 c #Conflicts: 1025000 | #Constraints: 123950
2569.81/2576.04 c #Conflicts: 1026000 | #Constraints: 124950
2569.81/2576.04 c #Conflicts: 1027000 | #Constraints: 125950
2569.81/2576.04 c #Conflicts: 1028000 | #Constraints: 126950
2569.81/2576.04 c #Conflicts: 1029000 | #Constraints: 127950
2569.81/2576.04 c INPROCESSING
2569.81/2576.04 c GARBAGE COLLECT
2569.81/2576.04 c #Conflicts: 1030000 | #Constraints: 74787
2569.81/2576.04 c #Conflicts: 1031000 | #Constraints: 75787
2569.81/2576.04 c #Conflicts: 1032000 | #Constraints: 76787
2569.81/2576.04 c #Conflicts: 1033000 | #Constraints: 77787
2569.81/2576.04 c #Conflicts: 1034000 | #Constraints: 78787
2569.81/2576.04 c #Conflicts: 1035000 | #Constraints: 79787
2569.81/2576.04 c #Conflicts: 1036000 | #Constraints: 80787
2569.81/2576.04 c #Conflicts: 1037000 | #Constraints: 81787
2569.81/2576.04 c #Conflicts: 1038000 | #Constraints: 82787
2569.81/2576.04 c #Conflicts: 1039000 | #Constraints: 83787
2569.81/2576.04 c #Conflicts: 1040000 | #Constraints: 84787
2569.81/2576.04 c #Conflicts: 1041000 | #Constraints: 85787
2569.81/2576.04 c #Conflicts: 1042000 | #Constraints: 86787
2569.81/2576.04 c #Conflicts: 1043000 | #Constraints: 87787
2569.81/2576.04 c #Conflicts: 1044000 | #Constraints: 88787
2569.81/2576.04 c #Conflicts: 1045000 | #Constraints: 89787
2569.81/2576.04 c #Conflicts: 1046000 | #Constraints: 90787
2569.81/2576.04 c #Conflicts: 1047000 | #Constraints: 91787
2569.81/2576.04 c #Conflicts: 1048000 | #Constraints: 92787
2569.81/2576.04 c #Conflicts: 1049000 | #Constraints: 93787
2569.81/2576.04 c #Conflicts: 1050000 | #Constraints: 94787
2569.81/2576.04 c #Conflicts: 1051000 | #Constraints: 95787
2569.81/2576.04 c #Conflicts: 1052000 | #Constraints: 96787
2569.81/2576.04 c #Conflicts: 1053000 | #Constraints: 97787
2569.81/2576.04 c #Conflicts: 1054000 | #Constraints: 98787
2569.81/2576.04 c #Conflicts: 1055000 | #Constraints: 99787
2569.81/2576.04 c #Conflicts: 1056000 | #Constraints: 100788
2569.81/2576.04 c #Conflicts: 1057000 | #Constraints: 101788
2569.81/2576.04 c INPROCESSING
2569.81/2576.04 c GARBAGE COLLECT
2569.81/2576.04 c #Conflicts: 1058000 | #Constraints: 64153
2569.81/2576.04 c #Conflicts: 1059000 | #Constraints: 65153
2569.81/2576.04 c #Conflicts: 1060000 | #Constraints: 66153
2569.81/2576.04 c #Conflicts: 1061000 | #Constraints: 67153
2569.81/2576.04 c #Conflicts: 1062000 | #Constraints: 68153
2569.81/2576.04 c #Conflicts: 1063000 | #Constraints: 69153
2569.81/2576.04 c #Conflicts: 1064000 | #Constraints: 70153
2569.81/2576.04 c #Conflicts: 1065000 | #Constraints: 71153
2569.81/2576.04 c #Conflicts: 1066000 | #Constraints: 72153
2569.81/2576.04 c #Conflicts: 1067000 | #Constraints: 73153
2569.81/2576.04 c #Conflicts: 1068000 | #Constraints: 74153
2569.81/2576.04 c #Conflicts: 1069000 | #Constraints: 75153
2569.81/2576.04 c #Conflicts: 1070000 | #Constraints: 76153
2569.81/2576.04 c #Conflicts: 1071000 | #Constraints: 77153
2569.81/2576.04 c #Conflicts: 1072000 | #Constraints: 78153
2569.81/2576.04 c #Conflicts: 1073000 | #Constraints: 79153
2569.81/2576.04 c #Conflicts: 1074000 | #Constraints: 80153
2569.81/2576.04 c #Conflicts: 1075000 | #Constraints: 81153
2569.81/2576.04 c #Conflicts: 1076000 | #Constraints: 82153
2569.81/2576.04 c #Conflicts: 1077000 | #Constraints: 83153
2569.81/2576.04 c #Conflicts: 1078000 | #Constraints: 84153
2569.81/2576.04 c #Conflicts: 1079000 | #Constraints: 85153
2569.81/2576.04 c #Conflicts: 1080000 | #Constraints: 86153
2569.81/2576.04 c #Conflicts: 1081000 | #Constraints: 87153
2569.81/2576.04 c #Conflicts: 1082000 | #Constraints: 88153
2569.81/2576.04 c #Conflicts: 1083000 | #Constraints: 89153
2569.81/2576.04 c #Conflicts: 1084000 | #Constraints: 90153
2569.81/2576.04 c #Conflicts: 1085000 | #Constraints: 91153
2569.81/2576.04 c #Conflicts: 1086000 | #Constraints: 92153
2569.81/2576.04 c #Conflicts: 1087000 | #Constraints: 93153
2569.81/2576.04 c #Conflicts: 1088000 | #Constraints: 94153
2569.81/2576.04 c #Conflicts: 1089000 | #Constraints: 95153
2569.81/2576.04 c #Conflicts: 1090000 | #Constraints: 96153
2569.81/2576.04 c #Conflicts: 1091000 | #Constraints: 97153
2569.81/2576.04 c #Conflicts: 1092000 | #Constraints: 98153
2569.81/2576.04 c #Conflicts: 1093000 | #Constraints: 99153
2569.81/2576.04 c #Conflicts: 1094000 | #Constraints: 100153
2569.81/2576.04 c #Conflicts: 1095000 | #Constraints: 101153
2569.81/2576.04 c #Conflicts: 1096000 | #Constraints: 102153
2569.81/2576.04 c #Conflicts: 1097000 | #Constraints: 103153
2569.81/2576.04 c #Conflicts: 1098000 | #Constraints: 104153
2569.81/2576.04 c #Conflicts: 1099000 | #Constraints: 105153
2569.81/2576.04 c #Conflicts: 1100000 | #Constraints: 106153
2912.49/2919.51 c #Conflicts: 1101000 | #Constraints: 107153
2912.49/2919.51 c #Conflicts: 1102000 | #Constraints: 108153
2912.49/2919.51 c #Conflicts: 1103000 | #Constraints: 109153
2912.49/2919.51 c #Conflicts: 1104000 | #Constraints: 110153
2912.49/2919.51 c #Conflicts: 1105000 | #Constraints: 111153
2912.49/2919.51 c #Conflicts: 1106000 | #Constraints: 112153
2912.49/2919.51 c #Conflicts: 1107000 | #Constraints: 113153
2912.49/2919.51 c #Conflicts: 1108000 | #Constraints: 114153
2912.49/2919.51 c #Conflicts: 1109000 | #Constraints: 115153
2912.49/2919.51 c #Conflicts: 1110000 | #Constraints: 116153
2912.49/2919.51 c #Conflicts: 1111000 | #Constraints: 117153
2912.49/2919.51 c #Conflicts: 1112000 | #Constraints: 118153
2912.49/2919.51 c #Conflicts: 1113000 | #Constraints: 119153
2912.49/2919.51 c #Conflicts: 1114000 | #Constraints: 120153
2912.49/2919.51 c #Conflicts: 1115000 | #Constraints: 121153
2912.49/2919.51 c #Conflicts: 1116000 | #Constraints: 122153
2912.49/2919.51 c #Conflicts: 1117000 | #Constraints: 123153
2912.49/2919.51 c #Conflicts: 1118000 | #Constraints: 124153
2912.49/2919.51 c #Conflicts: 1119000 | #Constraints: 125153
2912.49/2919.51 c #Conflicts: 1120000 | #Constraints: 126153
2912.49/2919.51 c #Conflicts: 1121000 | #Constraints: 127153
2912.49/2919.51 c #Conflicts: 1122000 | #Constraints: 128153
2912.49/2919.51 c #Conflicts: 1123000 | #Constraints: 129153
2912.49/2919.51 c #Conflicts: 1124000 | #Constraints: 130153
2912.49/2919.51 c #Conflicts: 1125000 | #Constraints: 131153
2912.49/2919.51 c #Conflicts: 1126000 | #Constraints: 132153
2912.49/2919.51 c #Conflicts: 1127000 | #Constraints: 133153
2912.49/2919.51 c INPROCESSING
2912.49/2919.51 c GARBAGE COLLECT
2912.49/2919.51 c #Conflicts: 1128000 | #Constraints: 77752
2912.49/2919.51 c #Conflicts: 1129000 | #Constraints: 78752
2912.49/2919.51 c #Conflicts: 1130000 | #Constraints: 79752
2912.49/2919.51 c #Conflicts: 1131000 | #Constraints: 80752
2912.49/2919.51 c #Conflicts: 1132000 | #Constraints: 81752
2912.49/2919.51 c #Conflicts: 1133000 | #Constraints: 82752
2912.49/2919.51 c #Conflicts: 1134000 | #Constraints: 83752
2912.49/2919.51 c #Conflicts: 1135000 | #Constraints: 84752
2912.49/2919.51 c #Conflicts: 1136000 | #Constraints: 85752
2912.49/2919.51 c #Conflicts: 1137000 | #Constraints: 86752
2912.49/2919.51 c #Conflicts: 1138000 | #Constraints: 87752
2912.49/2919.51 c #Conflicts: 1139000 | #Constraints: 88752
2912.49/2919.51 c #Conflicts: 1140000 | #Constraints: 89752
2912.49/2919.51 c #Conflicts: 1141000 | #Constraints: 90752
2912.49/2919.51 c #Conflicts: 1142000 | #Constraints: 91752
2912.49/2919.51 c #Conflicts: 1143000 | #Constraints: 92752
2912.49/2919.51 c #Conflicts: 1144000 | #Constraints: 93752
2912.49/2919.51 c #Conflicts: 1145000 | #Constraints: 94753
2912.49/2919.51 c #Conflicts: 1146000 | #Constraints: 95753
2912.49/2919.51 c #Conflicts: 1147000 | #Constraints: 96753
2912.49/2919.51 c #Conflicts: 1148000 | #Constraints: 97753
2912.49/2919.51 c #Conflicts: 1149000 | #Constraints: 98753
2912.49/2919.51 c #Conflicts: 1150000 | #Constraints: 99753
2912.49/2919.51 c #Conflicts: 1151000 | #Constraints: 100753
2912.49/2919.51 c #Conflicts: 1152000 | #Constraints: 101753
2912.49/2919.51 c #Conflicts: 1153000 | #Constraints: 102753
2912.49/2919.51 c #Conflicts: 1154000 | #Constraints: 103753
2912.49/2919.51 c #Conflicts: 1155000 | #Constraints: 104753
2912.49/2919.51 c #Conflicts: 1156000 | #Constraints: 105753
2912.49/2919.51 c INPROCESSING
2912.49/2919.51 c GARBAGE COLLECT
2912.49/2919.51 c #Conflicts: 1157000 | #Constraints: 66274
2912.49/2919.51 c #Conflicts: 1158000 | #Constraints: 67274
2912.49/2919.51 c #Conflicts: 1159000 | #Constraints: 68274
2912.49/2919.51 c #Conflicts: 1160000 | #Constraints: 69274
2912.49/2919.51 c #Conflicts: 1161000 | #Constraints: 70274
2912.49/2919.51 c #Conflicts: 1162000 | #Constraints: 71274
2912.49/2919.51 c #Conflicts: 1163000 | #Constraints: 72274
2912.49/2919.51 c #Conflicts: 1164000 | #Constraints: 73274
2912.49/2919.51 c #Conflicts: 1165000 | #Constraints: 74274
2912.49/2919.51 c #Conflicts: 1166000 | #Constraints: 75274
2912.49/2919.51 c #Conflicts: 1167000 | #Constraints: 76274
2912.49/2919.51 c #Conflicts: 1168000 | #Constraints: 77274
2912.49/2919.51 c #Conflicts: 1169000 | #Constraints: 78274
2912.49/2919.51 c #Conflicts: 1170000 | #Constraints: 79274
2912.49/2919.51 c #Conflicts: 1171000 | #Constraints: 80274
2912.49/2919.51 c #Conflicts: 1172000 | #Constraints: 81274
2912.49/2919.51 c #Conflicts: 1173000 | #Constraints: 82274
2912.49/2919.51 c #Conflicts: 1174000 | #Constraints: 83274
2912.49/2919.51 c #Conflicts: 1175000 | #Constraints: 84274
2912.49/2919.51 c #Conflicts: 1176000 | #Constraints: 85274
2912.49/2919.51 c #Conflicts: 1177000 | #Constraints: 86274
2912.49/2919.51 c #Conflicts: 1178000 | #Constraints: 87274
3146.31/3153.95 c #Conflicts: 1179000 | #Constraints: 88274
3146.31/3153.95 c #Conflicts: 1180000 | #Constraints: 89274
3146.31/3153.95 c #Conflicts: 1181000 | #Constraints: 90274
3146.31/3153.95 c #Conflicts: 1182000 | #Constraints: 91274
3146.31/3153.95 c #Conflicts: 1183000 | #Constraints: 92274
3146.31/3153.95 c #Conflicts: 1184000 | #Constraints: 93274
3146.31/3153.95 c #Conflicts: 1185000 | #Constraints: 94274
3146.31/3153.95 c #Conflicts: 1186000 | #Constraints: 95274
3146.31/3153.95 c #Conflicts: 1187000 | #Constraints: 96274
3146.31/3153.95 c #Conflicts: 1188000 | #Constraints: 97274
3146.31/3153.95 c #Conflicts: 1189000 | #Constraints: 98274
3146.31/3153.95 c #Conflicts: 1190000 | #Constraints: 99274
3146.31/3153.95 c #Conflicts: 1191000 | #Constraints: 100274
3146.31/3153.95 c #Conflicts: 1192000 | #Constraints: 101274
3146.31/3153.95 c #Conflicts: 1193000 | #Constraints: 102274
3146.31/3153.95 c #Conflicts: 1194000 | #Constraints: 103274
3146.31/3153.95 c #Conflicts: 1195000 | #Constraints: 104274
3146.31/3153.95 c #Conflicts: 1196000 | #Constraints: 105274
3146.31/3153.95 c #Conflicts: 1197000 | #Constraints: 106274
3146.31/3153.95 c #Conflicts: 1198000 | #Constraints: 107274
3146.31/3153.95 c #Conflicts: 1199000 | #Constraints: 108274
3146.31/3153.95 c #Conflicts: 1200000 | #Constraints: 109274
3146.31/3153.95 c #Conflicts: 1201000 | #Constraints: 110274
3146.31/3153.95 c #Conflicts: 1202000 | #Constraints: 111274
3146.31/3153.95 c #Conflicts: 1203000 | #Constraints: 112274
3146.31/3153.95 c #Conflicts: 1204000 | #Constraints: 113274
3146.31/3153.95 c #Conflicts: 1205000 | #Constraints: 114274
3146.31/3153.95 c #Conflicts: 1206000 | #Constraints: 115274
3146.31/3153.95 c #Conflicts: 1207000 | #Constraints: 116274
3146.31/3153.95 c #Conflicts: 1208000 | #Constraints: 117274
3146.31/3153.95 c #Conflicts: 1209000 | #Constraints: 118274
3146.31/3153.95 c #Conflicts: 1210000 | #Constraints: 119274
3146.31/3153.95 c #Conflicts: 1211000 | #Constraints: 120274
3146.31/3153.95 c #Conflicts: 1212000 | #Constraints: 121274
3146.31/3153.95 c #Conflicts: 1213000 | #Constraints: 122274
3146.31/3153.95 c #Conflicts: 1214000 | #Constraints: 123274
3146.31/3153.95 c #Conflicts: 1215000 | #Constraints: 124274
3146.31/3153.95 c #Conflicts: 1216000 | #Constraints: 125274
3146.31/3153.95 c #Conflicts: 1217000 | #Constraints: 126274
3146.31/3153.95 c #Conflicts: 1218000 | #Constraints: 127274
3146.31/3153.95 c #Conflicts: 1219000 | #Constraints: 128274
3146.31/3153.95 c #Conflicts: 1220000 | #Constraints: 129274
3146.31/3153.95 c #Conflicts: 1221000 | #Constraints: 130274
3146.31/3153.95 c #Conflicts: 1222000 | #Constraints: 131274
3146.31/3153.95 c #Conflicts: 1223000 | #Constraints: 132274
3146.31/3153.95 c #Conflicts: 1224000 | #Constraints: 133274
3146.31/3153.95 c #Conflicts: 1225000 | #Constraints: 134274
3146.31/3153.95 c #Conflicts: 1226000 | #Constraints: 135274
3146.31/3153.95 c #Conflicts: 1227000 | #Constraints: 136274
3146.31/3153.95 c #Conflicts: 1228000 | #Constraints: 137274
3146.31/3153.95 c INPROCESSING
3146.31/3153.95 c GARBAGE COLLECT
3146.31/3153.95 c #Conflicts: 1229000 | #Constraints: 79578
3146.31/3153.95 c #Conflicts: 1230000 | #Constraints: 80578
3146.31/3153.95 c #Conflicts: 1231000 | #Constraints: 81578
3146.31/3153.95 c #Conflicts: 1232000 | #Constraints: 82578
3146.31/3153.95 c #Conflicts: 1233000 | #Constraints: 83578
3146.31/3153.95 c #Conflicts: 1234000 | #Constraints: 84578
3146.31/3153.95 c #Conflicts: 1235000 | #Constraints: 85578
3146.31/3153.95 c #Conflicts: 1236000 | #Constraints: 86578
3146.31/3153.95 c #Conflicts: 1237000 | #Constraints: 87578
3146.31/3153.95 c #Conflicts: 1238000 | #Constraints: 88578
3146.31/3153.95 c #Conflicts: 1239000 | #Constraints: 89578
3146.31/3153.95 c #Conflicts: 1240000 | #Constraints: 90578
3146.31/3153.95 c #Conflicts: 1241000 | #Constraints: 91578
3146.31/3153.95 c #Conflicts: 1242000 | #Constraints: 92578
3146.31/3153.95 c #Conflicts: 1243000 | #Constraints: 93578
3146.31/3153.95 c #Conflicts: 1244000 | #Constraints: 94578
3146.31/3153.95 c #Conflicts: 1245000 | #Constraints: 95578
3146.31/3153.95 c #Conflicts: 1246000 | #Constraints: 96578
3146.31/3153.95 c #Conflicts: 1247000 | #Constraints: 97578
3146.31/3153.95 c #Conflicts: 1248000 | #Constraints: 98578
3146.31/3153.95 c #Conflicts: 1249000 | #Constraints: 99578
3146.31/3153.95 c #Conflicts: 1250000 | #Constraints: 100578
3146.31/3153.95 c #Conflicts: 1251000 | #Constraints: 101578
3146.31/3153.95 c #Conflicts: 1252000 | #Constraints: 102578
3146.31/3153.95 c #Conflicts: 1253000 | #Constraints: 103578
3146.31/3153.95 c #Conflicts: 1254000 | #Constraints: 104578
3146.31/3153.95 c #Conflicts: 1255000 | #Constraints: 105578
3146.31/3153.95 c #Conflicts: 1256000 | #Constraints: 106578
3386.24/3394.45 c #Conflicts: 1257000 | #Constraints: 107578
3386.24/3394.45 c #Conflicts: 1258000 | #Constraints: 108578
3386.24/3394.45 c #Conflicts: 1259000 | #Constraints: 109578
3386.24/3394.45 c INPROCESSING
3386.24/3394.45 c GARBAGE COLLECT
3386.24/3394.45 c #Conflicts: 1260000 | #Constraints: 68679
3386.24/3394.45 c #Conflicts: 1261000 | #Constraints: 69679
3386.24/3394.45 c #Conflicts: 1262000 | #Constraints: 70679
3386.24/3394.45 c #Conflicts: 1263000 | #Constraints: 71679
3386.24/3394.45 c #Conflicts: 1264000 | #Constraints: 72679
3386.24/3394.45 c #Conflicts: 1265000 | #Constraints: 73679
3386.24/3394.45 c #Conflicts: 1266000 | #Constraints: 74679
3386.24/3394.45 c #Conflicts: 1267000 | #Constraints: 75679
3386.24/3394.45 c #Conflicts: 1268000 | #Constraints: 76679
3386.24/3394.45 c #Conflicts: 1269000 | #Constraints: 77679
3386.24/3394.45 c #Conflicts: 1270000 | #Constraints: 78679
3386.24/3394.45 c #Conflicts: 1271000 | #Constraints: 79679
3386.24/3394.45 c #Conflicts: 1272000 | #Constraints: 80679
3386.24/3394.45 c #Conflicts: 1273000 | #Constraints: 81679
3386.24/3394.45 c #Conflicts: 1274000 | #Constraints: 82679
3386.24/3394.45 c #Conflicts: 1275000 | #Constraints: 83679
3386.24/3394.45 c #Conflicts: 1276000 | #Constraints: 84679
3386.24/3394.45 c #Conflicts: 1277000 | #Constraints: 85679
3386.24/3394.45 c #Conflicts: 1278000 | #Constraints: 86679
3386.24/3394.45 c #Conflicts: 1279000 | #Constraints: 87679
3386.24/3394.45 c #Conflicts: 1280000 | #Constraints: 88679
3386.24/3394.45 c #Conflicts: 1281000 | #Constraints: 89679
3386.24/3394.45 c #Conflicts: 1282000 | #Constraints: 90679
3386.24/3394.45 c #Conflicts: 1283000 | #Constraints: 91679
3386.24/3394.45 c #Conflicts: 1284000 | #Constraints: 92679
3386.24/3394.45 c #Conflicts: 1285000 | #Constraints: 93679
3386.24/3394.45 c #Conflicts: 1286000 | #Constraints: 94679
3386.24/3394.45 c #Conflicts: 1287000 | #Constraints: 95679
3386.24/3394.45 c #Conflicts: 1288000 | #Constraints: 96679
3386.24/3394.45 c #Conflicts: 1289000 | #Constraints: 97679
3386.24/3394.45 c #Conflicts: 1290000 | #Constraints: 98679
3386.24/3394.45 c #Conflicts: 1291000 | #Constraints: 99679
3386.24/3394.45 c #Conflicts: 1292000 | #Constraints: 100679
3386.24/3394.45 c #Conflicts: 1293000 | #Constraints: 101679
3386.24/3394.45 c #Conflicts: 1294000 | #Constraints: 102679
3386.24/3394.45 c #Conflicts: 1295000 | #Constraints: 103679
3386.24/3394.45 c #Conflicts: 1296000 | #Constraints: 104679
3386.24/3394.45 c #Conflicts: 1297000 | #Constraints: 105679
3386.24/3394.45 c #Conflicts: 1298000 | #Constraints: 106679
3386.24/3394.45 c #Conflicts: 1299000 | #Constraints: 107679
3386.24/3394.45 c #Conflicts: 1300000 | #Constraints: 108680
3386.24/3394.45 c #Conflicts: 1301000 | #Constraints: 109680
3386.24/3394.45 c #Conflicts: 1302000 | #Constraints: 110680
3386.24/3394.45 c #Conflicts: 1303000 | #Constraints: 111680
3386.24/3394.45 c #Conflicts: 1304000 | #Constraints: 112680
3386.24/3394.45 c #Conflicts: 1305000 | #Constraints: 113680
3386.24/3394.45 c #Conflicts: 1306000 | #Constraints: 114680
3386.24/3394.45 c #Conflicts: 1307000 | #Constraints: 115680
3386.24/3394.45 c #Conflicts: 1308000 | #Constraints: 116680
3386.24/3394.45 c #Conflicts: 1309000 | #Constraints: 117680
3386.24/3394.45 c #Conflicts: 1310000 | #Constraints: 118680
3386.24/3394.45 c #Conflicts: 1311000 | #Constraints: 119680
3386.24/3394.45 c #Conflicts: 1312000 | #Constraints: 120680
3386.24/3394.45 c #Conflicts: 1313000 | #Constraints: 121680
3386.24/3394.45 c #Conflicts: 1314000 | #Constraints: 122680
3386.24/3394.45 c #Conflicts: 1315000 | #Constraints: 123680
3386.24/3394.45 c #Conflicts: 1316000 | #Constraints: 124680
3386.24/3394.45 c #Conflicts: 1317000 | #Constraints: 125680
3386.24/3394.45 c #Conflicts: 1318000 | #Constraints: 126680
3386.24/3394.45 c #Conflicts: 1319000 | #Constraints: 127680
3386.24/3394.45 c #Conflicts: 1320000 | #Constraints: 128680
3386.24/3394.45 c #Conflicts: 1321000 | #Constraints: 129680
3386.24/3394.45 c #Conflicts: 1322000 | #Constraints: 130680
3386.24/3394.45 c #Conflicts: 1323000 | #Constraints: 131680
3386.24/3394.45 c #Conflicts: 1324000 | #Constraints: 132680
3386.24/3394.45 c #Conflicts: 1325000 | #Constraints: 133680
3386.24/3394.45 c #Conflicts: 1326000 | #Constraints: 134680
3386.24/3394.45 c #Conflicts: 1327000 | #Constraints: 135680
3386.24/3394.45 c #Conflicts: 1328000 | #Constraints: 136680
3386.24/3394.45 c #Conflicts: 1329000 | #Constraints: 137680
3386.24/3394.45 c #Conflicts: 1330000 | #Constraints: 138680
3386.24/3394.45 c #Conflicts: 1331000 | #Constraints: 139680
3386.24/3394.45 c #Conflicts: 1332000 | #Constraints: 140680
3386.24/3394.45 c #Conflicts: 1333000 | #Constraints: 141680
3386.24/3394.45 c #Conflicts: 1334000 | #Constraints: 142680
3445.01/3453.35 c #Conflicts: 1335000 | #Constraints: 143680
3445.01/3453.35 c INPROCESSING
3445.01/3453.35 c GARBAGE COLLECT
3445.01/3453.35 c rational objective 150
3600.04/3608.70 c #Conflicts: 1336000 | #Constraints: 83067
3600.04/3608.70 c #Conflicts: 1337000 | #Constraints: 84067
3600.04/3608.70 c #Conflicts: 1338000 | #Constraints: 85067
3600.04/3608.70 c #Conflicts: 1339000 | #Constraints: 86067
3600.04/3608.70 c #Conflicts: 1340000 | #Constraints: 87067
3600.04/3608.70 c #Conflicts: 1341000 | #Constraints: 88067
3600.04/3608.70 c #Conflicts: 1342000 | #Constraints: 89067
3600.04/3608.70 c #Conflicts: 1343000 | #Constraints: 90067
3600.04/3608.70 c #Conflicts: 1344000 | #Constraints: 91067
3600.04/3608.70 c #Conflicts: 1345000 | #Constraints: 92067
3600.04/3608.70 c #Conflicts: 1346000 | #Constraints: 93067
3600.04/3608.70 c #Conflicts: 1347000 | #Constraints: 94067
3600.04/3608.70 c #Conflicts: 1348000 | #Constraints: 95067
3600.04/3608.70 c #Conflicts: 1349000 | #Constraints: 96067
3600.04/3608.70 c #Conflicts: 1350000 | #Constraints: 97067
3600.04/3608.70 c #Conflicts: 1351000 | #Constraints: 98067
3600.04/3608.70 c #Conflicts: 1352000 | #Constraints: 99067
3600.04/3608.70 c #Conflicts: 1353000 | #Constraints: 100067
3600.04/3608.70 c #Conflicts: 1354000 | #Constraints: 101067
3600.04/3608.70 c #Conflicts: 1355000 | #Constraints: 102067
3600.04/3608.70 c #Conflicts: 1356000 | #Constraints: 103067
3600.04/3608.70 c #Conflicts: 1357000 | #Constraints: 104067
3600.04/3608.70 c #Conflicts: 1358000 | #Constraints: 105067
3600.04/3608.70 c #Conflicts: 1359000 | #Constraints: 106067
3600.04/3608.70 c #Conflicts: 1360000 | #Constraints: 107067
3600.04/3608.70 c #Conflicts: 1361000 | #Constraints: 108067
3600.04/3608.70 c #Conflicts: 1362000 | #Constraints: 109067
3600.04/3608.70 c #Conflicts: 1363000 | #Constraints: 110067
3600.04/3608.70 c #Conflicts: 1364000 | #Constraints: 111067
3600.04/3608.70 c #Conflicts: 1365000 | #Constraints: 112067
3600.04/3608.70 c #Conflicts: 1366000 | #Constraints: 113067
3600.04/3608.70 c INPROCESSING
3600.04/3608.70 c GARBAGE COLLECT
3600.04/3608.70 c #Conflicts: 1367000 | #Constraints: 70209
3600.04/3608.70 c #Conflicts: 1368000 | #Constraints: 71209
3600.04/3608.70 c #Conflicts: 1369000 | #Constraints: 72209
3600.04/3608.70 c #Conflicts: 1370000 | #Constraints: 73209
3600.04/3608.70 c #Conflicts: 1371000 | #Constraints: 74209
3600.04/3608.70 c #Conflicts: 1372000 | #Constraints: 75209
3600.04/3608.70 c #Conflicts: 1373000 | #Constraints: 76209
3600.04/3608.70 c #Conflicts: 1374000 | #Constraints: 77209
3600.04/3608.70 c #Conflicts: 1375000 | #Constraints: 78209
3600.04/3608.70 c #Conflicts: 1376000 | #Constraints: 79209
3600.04/3608.70 c #Conflicts: 1377000 | #Constraints: 80209
3600.04/3608.70 c #Conflicts: 1378000 | #Constraints: 81209
3600.04/3608.70 c #Conflicts: 1379000 | #Constraints: 82209
3600.04/3608.70 c #Conflicts: 1380000 | #Constraints: 83209
3600.04/3608.70 c #Conflicts: 1381000 | #Constraints: 84209
3600.04/3608.70 c #Conflicts: 1382000 | #Constraints: 85209
3600.04/3608.70 c #Conflicts: 1383000 | #Constraints: 86209
3600.04/3608.70 c #Conflicts: 1384000 | #Constraints: 87209
3600.04/3608.70 c #Conflicts: 1385000 | #Constraints: 88209
3600.04/3608.70 c #Conflicts: 1386000 | #Constraints: 89209
3600.04/3608.70 c #Conflicts: 1387000 | #Constraints: 90209
3600.04/3608.70 c #Conflicts: 1388000 | #Constraints: 91209
3600.04/3608.70 c #Conflicts: 1389000 | #Constraints: 92209
3600.04/3608.70 c #Conflicts: 1390000 | #Constraints: 93209
3600.04/3608.70 c #Conflicts: 1391000 | #Constraints: 94209
3600.04/3608.70 c #Conflicts: 1392000 | #Constraints: 95209
3600.04/3608.70 c cpu time 3575.35 s
3600.04/3608.70 c deterministic time 236535499166 2.37e+11
3600.04/3608.70 c optimization time 46.609 s
3600.04/3608.70 c total solve time 3528.67 s
3600.04/3608.70 c core-guided solve time 0 s
3600.04/3608.70 c propagation time 1733.35 s
3600.04/3608.70 c conflict analysis time 1442.41 s
3600.04/3608.70 c propagations 1378314886
3600.04/3608.70 c resolve steps 94844572
3600.04/3608.70 c decisions 25220853
3600.04/3608.70 c conflicts 1392068
3600.04/3608.70 c restarts 2680
3600.04/3608.70 c inprocessing phases 51
3600.04/3608.70 c garbage collections 51 ,( 100.00 )
3600.04/3608.70 c input clauses 18002 ,( 99.17 )
3600.04/3608.70 c input cardinalities 150 ,( 0.83 )
3600.04/3608.70 c input general constraints 0 ,( 0.00 )
3600.04/3608.70 c input average constraint length 6.43
3600.04/3608.70 c input average constraint degree 1.97
3600.04/3608.70 c learned clauses 1033210 ,( 74.22 )
3600.04/3608.70 c learned cardinalities 40897 ,( 2.94 )
3600.04/3608.70 c learned general constraints 317974 ,( 22.84 )
3600.04/3608.70 c learned average constraint length 771.53
3600.04/3608.70 c learned average constraint degree 45788773.32
3600.04/3608.70 c watched CF 32, 64, 128, Arb: 84895 , 0 , 0 , 0
3600.04/3608.70 c counting CF 32, 64, 128, Arb: 233079 , 0 , 0 , 0
3600.04/3608.70 c watched constraints 84895 ,( 26.70 )
3600.04/3608.70 c counting constraints 233079 ,( 73.30 )
3600.04/3608.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1300363857 , 623653123 , 2709248964 ,( 84248034 , 2625000930 )
3600.04/3608.70 c gcd simplifications 889
3600.04/3608.70 c detected cardinalities 5327
3600.04/3608.70 c weakened non-implied lits 407226439
3600.04/3608.70 c weakened non-implying lits 219800
3600.04/3608.70 c original variables 17850
3600.04/3608.70 c clausal propagations 627626469
3600.04/3608.70 c cardinality propagations 502197949
3600.04/3608.70 c watched propagations 5496677
3600.04/3608.70 c counting propagations 230964018
3600.04/3608.70 c watch lookups 88221223828
3600.04/3608.70 c watch backjump lookups 0
3600.04/3608.70 c watch checks 33443580930
3600.04/3608.70 c propagation checks 107035757569
3600.04/3608.70 c constraint additions 5026174279
3600.04/3608.70 c trail pops 1404913704
3600.04/3608.70 c formula constraints 18152
3600.04/3608.70 c learned constraints 1392056
3600.04/3608.70 c bound constraints 0
3600.04/3608.70 c core-guided constraints 0
3600.04/3608.70 c encountered formula constraints 62642367
3600.04/3608.70 c encountered learned constraints 33592943
3600.04/3608.70 c encountered bound constraints 0
3600.04/3608.70 c encountered core-guided constraints 0
3600.04/3608.70 c LP total time 367.868 s
3600.04/3608.70 c LP solve time 358.14 s
3600.04/3608.70 c LP constraints added 18493
3600.04/3608.70 c LP constraints removed 68
3600.04/3608.70 c LP pivots internal 143437
3600.04/3608.70 c LP pivots root 169679
3600.04/3608.70 c LP calls 22
3600.04/3608.70 c LP optimalities 4
3600.04/3608.70 c LP no pivot count 0
3600.04/3608.70 c LP infeasibilities 11
3600.04/3608.70 c LP valid Farkas constraints 11
3600.04/3608.70 c LP learned Farkas constraints 11
3600.04/3608.70 c LP basis resets 0
3600.04/3608.70 c LP cycling count 0
3600.04/3608.70 c LP singular count 0
3600.04/3608.70 c LP no primal count 0
3600.04/3608.70 c LP no farkas count 0
3600.04/3608.70 c LP other issue count 0
3600.04/3608.70 c LP Gomory cuts 3
3600.04/3608.70 c LP learned cuts 601
3600.04/3608.70 c LP deleted cuts 300
3600.04/3608.70 c LP encountered Gomory constraints 0
3600.04/3608.70 c LP encountered Farkas constraints 1315
3600.04/3608.70 c LP encountered learned Farkas constraints 4
3600.04/3608.70 c CG auxiliary variables introduced 0
3600.04/3608.70 c CG solutions found 0
3600.04/3608.70 c CG cores constructed 0
3600.04/3608.70 c CG core cardinality constraints returned 0
3600.04/3608.70 c CG unit cores 0
3600.04/3608.70 c CG single cores 0
3600.04/3608.70 c CG blocks removed during cardinality reduction 0
3600.04/3608.70 c CG first core best 0
3600.04/3608.70 c CG decision core best 0
3600.04/3608.70 c CG core reduction tie 0
3600.04/3608.70 c CG core degree average 0.00
3600.04/3608.70 c CG core slack average 0.00
3600.04/3608.70 c CG core upper bound improvements 0
3600.04/3608.70 c STR number of successful calls 0
3600.04/3608.70 c STR number of unsuccessful calls 0
3600.04/3608.70 c STR number of inconclusive calls 0
3600.04/3608.70 c STR number of successful attempts 0
3600.04/3608.70 c STR number of unsuccessful attempts 0
3600.04/3608.70 c STR number of inconclusive attempts 0
3600.04/3608.70 c STR average degree increase per successful call inf
3600.04/3608.70 c STR average degree increase per successful attempt inf
3600.04/3608.70 c STR total number of conflicts for successful attempts 0
3600.04/3608.70 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3608.70 c STR total number of conflicts for inconclusive attempts 0
3600.04/3608.70 c STR average number of conflicts per successful attempt inf
3600.04/3608.70 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3608.70 c STR average number of conflicts per inconclusive attempt inf
3600.04/3608.70 c AVG.sumWPerc 65.14
3600.04/3608.70 c bigint constraints 0
3600.04/3608.70 s UNKNOWN
3600.04/3608.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62712 MiB free)
memory of node 1: 64507 MiB (61387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507086-1751175490/watcher-4507086-1751175490 -o /tmp/evaluation-result-4507086-1751175490/solver-4507086-1751175490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18972 --watchdog 3760 run-dec-ls.sh HOME/instance-4507086-1751175490.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19935, runsolver pid=19927
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=127042604/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=83664 memory=36896 CPUtime=0.09 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 7018 0 0 0 6 3 0 0 20 0 1 0 33228893 85671936 9224 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 20916 9224 2272 1147 0 8343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87856 KiB
Current children cumulated memory: 39840 KiB
[startup+0.205807 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126970332/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=110056 memory=55480 CPUtime=0.19 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 10922 0 0 0 15 4 0 0 20 0 1 0 33228893 112697344 13870 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 27514 13870 2272 1147 0 14941 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 114248 KiB
Current children cumulated memory: 58424 KiB
[startup+0.305155 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126967560/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=111472 memory=57656 CPUtime=0.29 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 11416 0 0 0 25 4 0 0 20 0 1 0 33228893 114147328 14414 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 27868 14414 2304 1147 0 15295 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115664 KiB
Current children cumulated memory: 60600 KiB
[startup+0.700154 s]
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126966552/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=111472 memory=57656 CPUtime=0.68 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 11416 0 0 0 64 4 0 0 20 0 1 0 33228893 114147328 14414 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 27868 14414 2304 1147 0 15295 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115664 KiB
Current children cumulated memory: 60600 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.10 4.10 5/266 19937
/proc/meminfo: memFree=127515416/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=111472 memory=57656 CPUtime=1.48 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 11416 0 0 0 144 4 0 0 20 0 1 0 33228893 114147328 14414 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 27868 14414 2304 1147 0 15295 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115664 KiB
Current children cumulated memory: 60600 KiB
[startup+3.105 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 19983
/proc/meminfo: memFree=128209536/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=113912 memory=60728 CPUtime=3.08 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 12160 0 0 0 302 6 0 0 20 0 1 0 33228893 116645888 15182 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 28478 15182 2336 1147 0 15905 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118104 KiB
Current children cumulated memory: 63672 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129518712/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=121732 memory=69132 CPUtime=6.27 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 13721 0 0 0 613 14 0 0 20 0 1 0 33228893 124653568 17283 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 30433 17283 2368 1147 0 17860 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125924 KiB
Current children cumulated memory: 72076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129490012/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=128696 memory=77580 CPUtime=12.65 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 15858 0 0 0 1238 27 0 0 20 0 1 0 33228893 131784704 19395 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 32174 19395 2368 1147 0 19601 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 132888 KiB
Current children cumulated memory: 80524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.10 5/267 20030
/proc/meminfo: memFree=129402828/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=153932 memory=101388 CPUtime=25.42 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 20255 0 0 0 2488 54 0 0 20 0 1 0 33228893 157626368 25347 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 38483 25347 2368 1147 0 25910 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 158124 KiB
Current children cumulated memory: 104332 KiB
[startup+51.1051 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129297300/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=181756 memory=129232 CPUtime=50.95 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 24666 0 0 0 5000 95 0 0 20 0 1 0 33228893 186118144 32308 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 45439 32308 2368 1147 0 32866 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 185948 KiB
Current children cumulated memory: 132176 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 20032
/proc/meminfo: memFree=129087448/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=220296 memory=151848 CPUtime=101.99 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 29883 0 0 0 10039 160 0 0 20 0 1 0 33228893 225583104 37962 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 55074 37962 2368 1147 0 42501 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 224488 KiB
Current children cumulated memory: 154792 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 20039
/proc/meminfo: memFree=128937480/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=279476 memory=222552 CPUtime=161.83 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 37377 0 0 0 15956 227 0 0 20 0 1 0 33228893 286183424 55638 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 69869 55638 2368 1147 0 57296 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 283668 KiB
Current children cumulated memory: 225496 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 20041
/proc/meminfo: memFree=128729300/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=287648 memory=232792 CPUtime=221.68 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 39481 0 0 0 21853 315 0 0 20 0 1 0 33228893 294551552 58198 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 71912 58198 2368 1147 0 59339 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/19937/statm: 300737 253689 2368 1147 0 288164 0
Current children cumulated CPU time: 3094.84 s
Current children cumulated vsize: 1207140 KiB
Current children cumulated memory: 1017700 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/267 20185
/proc/meminfo: memFree=124913496/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1202948 memory=1015396 CPUtime=3154.7 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 146970 0 0 0 313250 2220 0 0 20 0 1 0 33228893 1231818752 253849 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 300737 253849 2368 1147 0 288164 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 1207140 KiB
Current children cumulated memory: 1018340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/267 20187
/proc/meminfo: memFree=124897228/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1203968 memory=1016420 CPUtime=3214.56 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 147225 0 0 0 319182 2274 0 0 20 0 1 0 33228893 1232863232 254105 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 300992 254105 2368 1147 0 288419 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 1208160 KiB
Current children cumulated memory: 1019364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/268 20192
/proc/meminfo: memFree=124889564/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1206768 memory=1018212 CPUtime=3274.41 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 147687 0 0 0 325125 2316 0 0 20 0 1 0 33228893 1235730432 254553 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 301692 254553 2368 1147 0 289119 0
Current children cumulated CPU time: 3274.41 s
Current children cumulated vsize: 1210960 KiB
Current children cumulated memory: 1021156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/267 20194
/proc/meminfo: memFree=124889196/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1206768 memory=1018852 CPUtime=3334.27 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 147849 0 0 0 331083 2344 0 0 20 0 1 0 33228893 1235730432 254713 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 301692 254713 2368 1147 0 289119 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 1210960 KiB
Current children cumulated memory: 1021796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 20196
/proc/meminfo: memFree=124889068/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1211904 memory=1023972 CPUtime=3394.13 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 149126 0 0 0 337054 2359 0 0 20 0 1 0 33228893 1240989696 255993 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 302976 255993 2368 1147 0 290403 0
Current children cumulated CPU time: 3394.13 s
Current children cumulated vsize: 1216096 KiB
Current children cumulated memory: 1026916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 20199
/proc/meminfo: memFree=124873940/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1213324 memory=1025508 CPUtime=3453.98 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 149531 0 0 0 343014 2384 0 0 20 0 1 0 33228893 1242443776 256377 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 303331 256377 2368 1147 0 290758 0
Current children cumulated CPU time: 3453.98 s
Current children cumulated vsize: 1217516 KiB
Current children cumulated memory: 1028452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 20201
/proc/meminfo: memFree=124872836/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1213324 memory=1025508 CPUtime=3513.84 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 149538 0 0 0 348978 2406 0 0 20 0 1 0 33228893 1242443776 256377 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 303331 256377 2368 1147 0 290758 0
Current children cumulated CPU time: 3513.84 s
Current children cumulated vsize: 1217516 KiB
Current children cumulated memory: 1028452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 20206
/proc/meminfo: memFree=124886832/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1218520 memory=1030244 CPUtime=3573.7 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 150706 0 0 0 354924 2446 0 0 20 0 1 0 33228893 1247764480 257561 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 304630 257561 2368 1147 0 292057 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 1222712 KiB
Current children cumulated memory: 1033188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 20206
/proc/meminfo: memFree=124878776/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1218520 memory=1030244 CPUtime=3600.04 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 150706 0 0 0 357535 2469 0 0 20 0 1 0 33228893 1247764480 257561 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 304630 257561 2368 1147 0 292057 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1222712 KiB
Current children cumulated memory: 1033188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 19935 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001927 s
[startup+3608.72 s]
# the end of solver process 19937 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.36 s, system=24.7086 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 20206
/proc/meminfo: memFree=124878776/131250000 swapFree=33010684/33010684
[pid=19935] ppid=19927 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19935/stat : 19935 (run-dec-ls.sh) S 19927 19935 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228892 4292608 736 18446744073709551615 94707798388736 94707799283269 140728478160384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707799522320 94707799570064 94707800952832 140728478169447 140728478169573 140728478169573 140728478175175 0
/proc/19935/statm: 1048 736 672 219 0 110 0
[pid=19937] ppid=19935 vsize=1218520 memory=1030244 CPUtime=3600.04 cores=4,6
/proc/19937/stat : 19937 (roundingsat) R 19935 19935 18961 0 -1 4194304 150706 0 0 0 357535 2469 0 0 20 0 1 0 33228893 1247764480 257561 18446744073709551615 4227072 8923433 140721023301280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33652736 140721023310240 140721023310376 140721023310376 140721023315946 0
/proc/19937/statm: 304630 257561 2368 1147 0 292057 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1222712 KiB
Current children cumulated memory: 1033188 KiB
Child status: 2
Real time (s): 3608.72
CPU time (s): 3600.07
CPU user time (s): 3575.36
CPU system time (s): 24.7086
CPU usage (%): 99.7603
Max. virtual memory (cumulated for all children) (KiB): 1222712
Max. memory (cumulated for all children) (KiB): 1033188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.36
system time used= 24.7086
maximum resident set size= 1030628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150933
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= 286
involuntary context switches= 3973
# summary of solver processes directly reported to runsolver:
# pid: 19935,19937
# total CPU time (s): 3600.07
# total CPU user time (s): 3575.36
# total CPU system time (s): 24.7086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59447 second user time and 15.0013 second system time
The end
Begin job on nodeC027 at 2025-06-29 07:38:10
IDJOB=4507086
IDBENCH=158322
IDSOLVER=3353
FILE ID=nodeC027/4507086-1751175490
RUNJOBID= nodeC027-1751168266-18972
SLURM_JOB_ID= 9587510
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507086-1751175490/watcher-4507086-1751175490 -o /tmp/evaluation-result-4507086-1751175490/solver-4507086-1751175490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18972 --watchdog 3760 run-dec-ls.sh HOME/instance-4507086-1751175490.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=1524088532
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.641
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.798
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.636
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.637
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.663
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.862
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127083188 kB
MemAvailable: 127113020 kB
Buffers: 3280 kB
Cached: 835672 kB
SwapCached: 0 kB
Active: 2978428 kB
Inactive: 581740 kB
Active(anon): 2739340 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 581740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16652 kB
Writeback: 0 kB
AnonPages: 2722928 kB
Mapped: 112504 kB
Shmem: 18068 kB
KReclaimable: 96088 kB
Slab: 181440 kB
SReclaimable: 96088 kB
SUnreclaim: 85352 kB
KernelStack: 4240 kB
PageTables: 8580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3461660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1832960 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC027 at 2025-06-29 08:38:19