0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.08 c [STEP] preprocessing with Papilo
0.08/0.11 c [STEP] solving with SCIP
299.25/300.21 c [STEP] preprocessing done, loading into solver
299.25/300.22 c [STEP] solving
299.25/300.22 c #variables 8416 #constraints 770
352.19/353.32 c #Conflicts: 1000 | #Constraints: 1769
352.19/353.32 c #Conflicts: 2000 | #Constraints: 2769
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 3000 | #Constraints: 2781
352.19/353.32 c #Conflicts: 4000 | #Constraints: 3781
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 5000 | #Constraints: 3197
352.19/353.32 c #Conflicts: 6000 | #Constraints: 4197
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 7000 | #Constraints: 3201
352.19/353.32 c #Conflicts: 8000 | #Constraints: 4201
352.19/353.32 c #Conflicts: 9000 | #Constraints: 5201
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 10000 | #Constraints: 3897
352.19/353.32 c #Conflicts: 11000 | #Constraints: 4897
352.19/353.32 c #Conflicts: 12000 | #Constraints: 5897
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 13000 | #Constraints: 4347
352.19/353.32 c #Conflicts: 14000 | #Constraints: 5347
352.19/353.32 c #Conflicts: 15000 | #Constraints: 6347
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 16000 | #Constraints: 4570
352.19/353.32 c #Conflicts: 17000 | #Constraints: 5570
352.19/353.32 c #Conflicts: 18000 | #Constraints: 6570
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 19000 | #Constraints: 4599
352.19/353.32 c #Conflicts: 20000 | #Constraints: 5599
352.19/353.32 c #Conflicts: 21000 | #Constraints: 6599
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 22000 | #Constraints: 4402
352.19/353.32 c #Conflicts: 23000 | #Constraints: 5402
352.19/353.32 c #Conflicts: 24000 | #Constraints: 6402
352.19/353.32 c #Conflicts: 25000 | #Constraints: 7402
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 26000 | #Constraints: 5002
352.19/353.32 c #Conflicts: 27000 | #Constraints: 6002
352.19/353.32 c #Conflicts: 28000 | #Constraints: 7002
352.19/353.32 c #Conflicts: 29000 | #Constraints: 8002
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 30000 | #Constraints: 5395
352.19/353.32 c #Conflicts: 31000 | #Constraints: 6395
352.19/353.32 c #Conflicts: 32000 | #Constraints: 7395
352.19/353.32 c #Conflicts: 33000 | #Constraints: 8395
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 34000 | #Constraints: 5596
352.19/353.32 c #Conflicts: 35000 | #Constraints: 6596
352.19/353.32 c #Conflicts: 36000 | #Constraints: 7596
352.19/353.32 c #Conflicts: 37000 | #Constraints: 8596
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 38000 | #Constraints: 5609
352.19/353.32 c #Conflicts: 39000 | #Constraints: 6609
352.19/353.32 c #Conflicts: 40000 | #Constraints: 7609
352.19/353.32 c #Conflicts: 41000 | #Constraints: 8609
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 42000 | #Constraints: 5444
352.19/353.32 c #Conflicts: 43000 | #Constraints: 6444
352.19/353.32 c #Conflicts: 44000 | #Constraints: 7444
352.19/353.32 c #Conflicts: 45000 | #Constraints: 8444
352.19/353.32 c #Conflicts: 46000 | #Constraints: 9444
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 47000 | #Constraints: 6025
352.19/353.32 c #Conflicts: 48000 | #Constraints: 7025
352.19/353.32 c #Conflicts: 49000 | #Constraints: 8025
352.19/353.32 c #Conflicts: 50000 | #Constraints: 9025
352.19/353.32 c #Conflicts: 51000 | #Constraints: 10025
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 52000 | #Constraints: 6415
352.19/353.32 c #Conflicts: 53000 | #Constraints: 7415
352.19/353.32 c #Conflicts: 54000 | #Constraints: 8415
352.19/353.32 c #Conflicts: 55000 | #Constraints: 9415
352.19/353.32 c #Conflicts: 56000 | #Constraints: 10415
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 57000 | #Constraints: 6603
352.19/353.32 c #Conflicts: 58000 | #Constraints: 7603
352.19/353.32 c #Conflicts: 59000 | #Constraints: 8603
352.19/353.32 c #Conflicts: 60000 | #Constraints: 9603
352.19/353.32 c #Conflicts: 61000 | #Constraints: 10603
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 62000 | #Constraints: 6602
352.19/353.32 c #Conflicts: 63000 | #Constraints: 7602
352.19/353.32 c #Conflicts: 64000 | #Constraints: 8602
352.19/353.32 c #Conflicts: 65000 | #Constraints: 9602
352.19/353.32 c #Conflicts: 66000 | #Constraints: 10602
352.19/353.32 c INPROCESSING
352.19/353.32 c GARBAGE COLLECT
352.19/353.32 c #Conflicts: 67000 | #Constraints: 6411
352.19/353.32 c #Conflicts: 68000 | #Constraints: 7411
451.09/452.53 c #Conflicts: 69000 | #Constraints: 8411
451.09/452.53 c #Conflicts: 70000 | #Constraints: 9411
451.09/452.53 c #Conflicts: 71000 | #Constraints: 10411
451.09/452.53 c #Conflicts: 72000 | #Constraints: 11411
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 73000 | #Constraints: 6998
451.09/452.53 c #Conflicts: 74000 | #Constraints: 7998
451.09/452.53 c #Conflicts: 75000 | #Constraints: 8998
451.09/452.53 c #Conflicts: 76000 | #Constraints: 9998
451.09/452.53 c #Conflicts: 77000 | #Constraints: 10998
451.09/452.53 c #Conflicts: 78000 | #Constraints: 11998
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 79000 | #Constraints: 7399
451.09/452.53 c #Conflicts: 80000 | #Constraints: 8399
451.09/452.53 c #Conflicts: 81000 | #Constraints: 9399
451.09/452.53 c #Conflicts: 82000 | #Constraints: 10399
451.09/452.53 c #Conflicts: 83000 | #Constraints: 11399
451.09/452.53 c #Conflicts: 84000 | #Constraints: 12399
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 85000 | #Constraints: 7617
451.09/452.53 c #Conflicts: 86000 | #Constraints: 8617
451.09/452.53 c #Conflicts: 87000 | #Constraints: 9617
451.09/452.53 c #Conflicts: 88000 | #Constraints: 10617
451.09/452.53 c #Conflicts: 89000 | #Constraints: 11617
451.09/452.53 c #Conflicts: 90000 | #Constraints: 12617
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 91000 | #Constraints: 7610
451.09/452.53 c #Conflicts: 92000 | #Constraints: 8610
451.09/452.53 c #Conflicts: 93000 | #Constraints: 9610
451.09/452.53 c #Conflicts: 94000 | #Constraints: 10610
451.09/452.53 c #Conflicts: 95000 | #Constraints: 11610
451.09/452.53 c #Conflicts: 96000 | #Constraints: 12610
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 97000 | #Constraints: 7435
451.09/452.53 c #Conflicts: 98000 | #Constraints: 8435
451.09/452.53 c #Conflicts: 99000 | #Constraints: 9435
451.09/452.53 c #Conflicts: 100000 | #Constraints: 10435
451.09/452.53 c #Conflicts: 101000 | #Constraints: 11435
451.09/452.53 c #Conflicts: 102000 | #Constraints: 12435
451.09/452.53 c #Conflicts: 103000 | #Constraints: 13435
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 104000 | #Constraints: 8015
451.09/452.53 c #Conflicts: 105000 | #Constraints: 9015
451.09/452.53 c #Conflicts: 106000 | #Constraints: 10015
451.09/452.53 c #Conflicts: 107000 | #Constraints: 11015
451.09/452.53 c #Conflicts: 108000 | #Constraints: 12015
451.09/452.53 c #Conflicts: 109000 | #Constraints: 13015
451.09/452.53 c #Conflicts: 110000 | #Constraints: 14015
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 111000 | #Constraints: 8415
451.09/452.53 c #Conflicts: 112000 | #Constraints: 9415
451.09/452.53 c #Conflicts: 113000 | #Constraints: 10415
451.09/452.53 c #Conflicts: 114000 | #Constraints: 11415
451.09/452.53 c #Conflicts: 115000 | #Constraints: 12415
451.09/452.53 c #Conflicts: 116000 | #Constraints: 13415
451.09/452.53 c #Conflicts: 117000 | #Constraints: 14415
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 118000 | #Constraints: 8608
451.09/452.53 c #Conflicts: 119000 | #Constraints: 9608
451.09/452.53 c #Conflicts: 120000 | #Constraints: 10608
451.09/452.53 c #Conflicts: 121000 | #Constraints: 11608
451.09/452.53 c #Conflicts: 122000 | #Constraints: 12608
451.09/452.53 c #Conflicts: 123000 | #Constraints: 13608
451.09/452.53 c #Conflicts: 124000 | #Constraints: 14608
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 125000 | #Constraints: 8604
451.09/452.53 c #Conflicts: 126000 | #Constraints: 9604
451.09/452.53 c #Conflicts: 127000 | #Constraints: 10604
451.09/452.53 c #Conflicts: 128000 | #Constraints: 11604
451.09/452.53 c #Conflicts: 129000 | #Constraints: 12604
451.09/452.53 c #Conflicts: 130000 | #Constraints: 13604
451.09/452.53 c #Conflicts: 131000 | #Constraints: 14604
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 132000 | #Constraints: 8398
451.09/452.53 c #Conflicts: 133000 | #Constraints: 9398
451.09/452.53 c #Conflicts: 134000 | #Constraints: 10398
451.09/452.53 c #Conflicts: 135000 | #Constraints: 11398
451.09/452.53 c #Conflicts: 136000 | #Constraints: 12398
451.09/452.53 c #Conflicts: 137000 | #Constraints: 13398
451.09/452.53 c #Conflicts: 138000 | #Constraints: 14398
451.09/452.53 c #Conflicts: 139000 | #Constraints: 15398
451.09/452.53 c INPROCESSING
451.09/452.53 c GARBAGE COLLECT
451.09/452.53 c #Conflicts: 140000 | #Constraints: 9019
590.66/592.58 c #Conflicts: 141000 | #Constraints: 10019
590.66/592.58 c #Conflicts: 142000 | #Constraints: 11019
590.66/592.58 c #Conflicts: 143000 | #Constraints: 12019
590.66/592.58 c #Conflicts: 144000 | #Constraints: 13019
590.66/592.58 c #Conflicts: 145000 | #Constraints: 14019
590.66/592.58 c #Conflicts: 146000 | #Constraints: 15019
590.66/592.58 c #Conflicts: 147000 | #Constraints: 16019
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 148000 | #Constraints: 9430
590.66/592.58 c #Conflicts: 149000 | #Constraints: 10430
590.66/592.58 c #Conflicts: 150000 | #Constraints: 11430
590.66/592.58 c #Conflicts: 151000 | #Constraints: 12430
590.66/592.58 c #Conflicts: 152000 | #Constraints: 13430
590.66/592.58 c #Conflicts: 153000 | #Constraints: 14430
590.66/592.58 c #Conflicts: 154000 | #Constraints: 15430
590.66/592.58 c #Conflicts: 155000 | #Constraints: 16430
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 156000 | #Constraints: 9621
590.66/592.58 c #Conflicts: 157000 | #Constraints: 10621
590.66/592.58 c #Conflicts: 158000 | #Constraints: 11621
590.66/592.58 c #Conflicts: 159000 | #Constraints: 12621
590.66/592.58 c #Conflicts: 160000 | #Constraints: 13621
590.66/592.58 c #Conflicts: 161000 | #Constraints: 14621
590.66/592.58 c #Conflicts: 162000 | #Constraints: 15621
590.66/592.58 c #Conflicts: 163000 | #Constraints: 16621
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 164000 | #Constraints: 9640
590.66/592.58 c #Conflicts: 165000 | #Constraints: 10640
590.66/592.58 c #Conflicts: 166000 | #Constraints: 11640
590.66/592.58 c #Conflicts: 167000 | #Constraints: 12640
590.66/592.58 c #Conflicts: 168000 | #Constraints: 13640
590.66/592.58 c #Conflicts: 169000 | #Constraints: 14640
590.66/592.58 c #Conflicts: 170000 | #Constraints: 15640
590.66/592.58 c #Conflicts: 171000 | #Constraints: 16640
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 172000 | #Constraints: 9420
590.66/592.58 c #Conflicts: 173000 | #Constraints: 10420
590.66/592.58 c #Conflicts: 174000 | #Constraints: 11420
590.66/592.58 c #Conflicts: 175000 | #Constraints: 12420
590.66/592.58 c #Conflicts: 176000 | #Constraints: 13420
590.66/592.58 c #Conflicts: 177000 | #Constraints: 14420
590.66/592.58 c #Conflicts: 178000 | #Constraints: 15420
590.66/592.58 c #Conflicts: 179000 | #Constraints: 16420
590.66/592.58 c #Conflicts: 180000 | #Constraints: 17420
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 181000 | #Constraints: 10019
590.66/592.58 c #Conflicts: 182000 | #Constraints: 11019
590.66/592.58 c #Conflicts: 183000 | #Constraints: 12019
590.66/592.58 c #Conflicts: 184000 | #Constraints: 13019
590.66/592.58 c #Conflicts: 185000 | #Constraints: 14019
590.66/592.58 c #Conflicts: 186000 | #Constraints: 15019
590.66/592.58 c #Conflicts: 187000 | #Constraints: 16019
590.66/592.58 c #Conflicts: 188000 | #Constraints: 17019
590.66/592.58 c #Conflicts: 189000 | #Constraints: 18019
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 190000 | #Constraints: 10429
590.66/592.58 c #Conflicts: 191000 | #Constraints: 11429
590.66/592.58 c #Conflicts: 192000 | #Constraints: 12429
590.66/592.58 c #Conflicts: 193000 | #Constraints: 13429
590.66/592.58 c #Conflicts: 194000 | #Constraints: 14429
590.66/592.58 c #Conflicts: 195000 | #Constraints: 15429
590.66/592.58 c #Conflicts: 196000 | #Constraints: 16429
590.66/592.58 c #Conflicts: 197000 | #Constraints: 17429
590.66/592.58 c #Conflicts: 198000 | #Constraints: 18429
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 199000 | #Constraints: 10671
590.66/592.58 c #Conflicts: 200000 | #Constraints: 11671
590.66/592.58 c #Conflicts: 201000 | #Constraints: 12671
590.66/592.58 c #Conflicts: 202000 | #Constraints: 13671
590.66/592.58 c #Conflicts: 203000 | #Constraints: 14671
590.66/592.58 c #Conflicts: 204000 | #Constraints: 15671
590.66/592.58 c #Conflicts: 205000 | #Constraints: 16671
590.66/592.58 c #Conflicts: 206000 | #Constraints: 17671
590.66/592.58 c #Conflicts: 207000 | #Constraints: 18671
590.66/592.58 c INPROCESSING
590.66/592.58 c GARBAGE COLLECT
590.66/592.58 c #Conflicts: 208000 | #Constraints: 10665
590.66/592.58 c #Conflicts: 209000 | #Constraints: 11665
590.66/592.58 c #Conflicts: 210000 | #Constraints: 12665
590.66/592.58 c #Conflicts: 211000 | #Constraints: 13665
590.66/592.58 c #Conflicts: 212000 | #Constraints: 14665
590.66/592.58 c #Conflicts: 213000 | #Constraints: 15665
714.59/716.80 c #Conflicts: 214000 | #Constraints: 16665
714.59/716.80 c #Conflicts: 215000 | #Constraints: 17665
714.59/716.80 c #Conflicts: 216000 | #Constraints: 18665
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 217000 | #Constraints: 10549
714.59/716.80 c #Conflicts: 218000 | #Constraints: 11549
714.59/716.80 c #Conflicts: 219000 | #Constraints: 12549
714.59/716.80 c #Conflicts: 220000 | #Constraints: 13549
714.59/716.80 c #Conflicts: 221000 | #Constraints: 14549
714.59/716.80 c #Conflicts: 222000 | #Constraints: 15549
714.59/716.80 c #Conflicts: 223000 | #Constraints: 16549
714.59/716.80 c #Conflicts: 224000 | #Constraints: 17549
714.59/716.80 c #Conflicts: 225000 | #Constraints: 18549
714.59/716.80 c #Conflicts: 226000 | #Constraints: 19549
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 227000 | #Constraints: 11148
714.59/716.80 c #Conflicts: 228000 | #Constraints: 12148
714.59/716.80 c #Conflicts: 229000 | #Constraints: 13148
714.59/716.80 c #Conflicts: 230000 | #Constraints: 14148
714.59/716.80 c #Conflicts: 231000 | #Constraints: 15148
714.59/716.80 c #Conflicts: 232000 | #Constraints: 16148
714.59/716.80 c #Conflicts: 233000 | #Constraints: 17148
714.59/716.80 c #Conflicts: 234000 | #Constraints: 18148
714.59/716.80 c #Conflicts: 235000 | #Constraints: 19148
714.59/716.80 c #Conflicts: 236000 | #Constraints: 20148
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 237000 | #Constraints: 11482
714.59/716.80 c #Conflicts: 238000 | #Constraints: 12482
714.59/716.80 c #Conflicts: 239000 | #Constraints: 13482
714.59/716.80 c #Conflicts: 240000 | #Constraints: 14482
714.59/716.80 c #Conflicts: 241000 | #Constraints: 15482
714.59/716.80 c #Conflicts: 242000 | #Constraints: 16482
714.59/716.80 c #Conflicts: 243000 | #Constraints: 17482
714.59/716.80 c #Conflicts: 244000 | #Constraints: 18482
714.59/716.80 c #Conflicts: 245000 | #Constraints: 19482
714.59/716.80 c #Conflicts: 246000 | #Constraints: 20482
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 247000 | #Constraints: 11670
714.59/716.80 c #Conflicts: 248000 | #Constraints: 12670
714.59/716.80 c #Conflicts: 249000 | #Constraints: 13670
714.59/716.80 c #Conflicts: 250000 | #Constraints: 14670
714.59/716.80 c #Conflicts: 251000 | #Constraints: 15670
714.59/716.80 c #Conflicts: 252000 | #Constraints: 16670
714.59/716.80 c #Conflicts: 253000 | #Constraints: 17670
714.59/716.80 c #Conflicts: 254000 | #Constraints: 18670
714.59/716.80 c #Conflicts: 255000 | #Constraints: 19670
714.59/716.80 c #Conflicts: 256000 | #Constraints: 20670
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 257000 | #Constraints: 11638
714.59/716.80 c #Conflicts: 258000 | #Constraints: 12638
714.59/716.80 c #Conflicts: 259000 | #Constraints: 13638
714.59/716.80 c #Conflicts: 260000 | #Constraints: 14638
714.59/716.80 c #Conflicts: 261000 | #Constraints: 15638
714.59/716.80 c #Conflicts: 262000 | #Constraints: 16638
714.59/716.80 c #Conflicts: 263000 | #Constraints: 17638
714.59/716.80 c #Conflicts: 264000 | #Constraints: 18638
714.59/716.80 c #Conflicts: 265000 | #Constraints: 19638
714.59/716.80 c #Conflicts: 266000 | #Constraints: 20638
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 267000 | #Constraints: 11431
714.59/716.80 c #Conflicts: 268000 | #Constraints: 12431
714.59/716.80 c #Conflicts: 269000 | #Constraints: 13431
714.59/716.80 c #Conflicts: 270000 | #Constraints: 14431
714.59/716.80 c #Conflicts: 271000 | #Constraints: 15431
714.59/716.80 c #Conflicts: 272000 | #Constraints: 16431
714.59/716.80 c #Conflicts: 273000 | #Constraints: 17431
714.59/716.80 c #Conflicts: 274000 | #Constraints: 18431
714.59/716.80 c #Conflicts: 275000 | #Constraints: 19431
714.59/716.80 c #Conflicts: 276000 | #Constraints: 20431
714.59/716.80 c #Conflicts: 277000 | #Constraints: 21431
714.59/716.80 c INPROCESSING
714.59/716.80 c GARBAGE COLLECT
714.59/716.80 c #Conflicts: 278000 | #Constraints: 12016
714.59/716.80 c #Conflicts: 279000 | #Constraints: 13016
714.59/716.80 c #Conflicts: 280000 | #Constraints: 14016
714.59/716.80 c #Conflicts: 281000 | #Constraints: 15016
714.59/716.80 c #Conflicts: 282000 | #Constraints: 16016
714.59/716.80 c #Conflicts: 283000 | #Constraints: 17016
714.59/716.80 c #Conflicts: 284000 | #Constraints: 18016
714.59/716.80 c #Conflicts: 285000 | #Constraints: 19016
714.59/716.80 c #Conflicts: 286000 | #Constraints: 20016
714.59/716.80 c #Conflicts: 287000 | #Constraints: 21016
714.59/716.80 c #Conflicts: 288000 | #Constraints: 22016
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 289000 | #Constraints: 12415
802.74/805.23 c #Conflicts: 290000 | #Constraints: 13415
802.74/805.23 c #Conflicts: 291000 | #Constraints: 14415
802.74/805.23 c #Conflicts: 292000 | #Constraints: 15415
802.74/805.23 c #Conflicts: 293000 | #Constraints: 16415
802.74/805.23 c #Conflicts: 294000 | #Constraints: 17415
802.74/805.23 c #Conflicts: 295000 | #Constraints: 18415
802.74/805.23 c #Conflicts: 296000 | #Constraints: 19415
802.74/805.23 c #Conflicts: 297000 | #Constraints: 20415
802.74/805.23 c #Conflicts: 298000 | #Constraints: 21415
802.74/805.23 c #Conflicts: 299000 | #Constraints: 22415
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 300000 | #Constraints: 12607
802.74/805.23 c #Conflicts: 301000 | #Constraints: 13607
802.74/805.23 c #Conflicts: 302000 | #Constraints: 14607
802.74/805.23 c #Conflicts: 303000 | #Constraints: 15607
802.74/805.23 c #Conflicts: 304000 | #Constraints: 16607
802.74/805.23 c #Conflicts: 305000 | #Constraints: 17607
802.74/805.23 c #Conflicts: 306000 | #Constraints: 18607
802.74/805.23 c #Conflicts: 307000 | #Constraints: 19607
802.74/805.23 c #Conflicts: 308000 | #Constraints: 20607
802.74/805.23 c #Conflicts: 309000 | #Constraints: 21607
802.74/805.23 c #Conflicts: 310000 | #Constraints: 22607
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 311000 | #Constraints: 12616
802.74/805.23 c #Conflicts: 312000 | #Constraints: 13616
802.74/805.23 c #Conflicts: 313000 | #Constraints: 14616
802.74/805.23 c #Conflicts: 314000 | #Constraints: 15616
802.74/805.23 c #Conflicts: 315000 | #Constraints: 16616
802.74/805.23 c #Conflicts: 316000 | #Constraints: 17616
802.74/805.23 c #Conflicts: 317000 | #Constraints: 18616
802.74/805.23 c #Conflicts: 318000 | #Constraints: 19616
802.74/805.23 c #Conflicts: 319000 | #Constraints: 20616
802.74/805.23 c #Conflicts: 320000 | #Constraints: 21616
802.74/805.23 c #Conflicts: 321000 | #Constraints: 22616
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 322000 | #Constraints: 12432
802.74/805.23 c #Conflicts: 323000 | #Constraints: 13432
802.74/805.23 c #Conflicts: 324000 | #Constraints: 14432
802.74/805.23 c #Conflicts: 325000 | #Constraints: 15432
802.74/805.23 c #Conflicts: 326000 | #Constraints: 16432
802.74/805.23 c #Conflicts: 327000 | #Constraints: 17432
802.74/805.23 c #Conflicts: 328000 | #Constraints: 18432
802.74/805.23 c #Conflicts: 329000 | #Constraints: 19432
802.74/805.23 c #Conflicts: 330000 | #Constraints: 20432
802.74/805.23 c #Conflicts: 331000 | #Constraints: 21432
802.74/805.23 c #Conflicts: 332000 | #Constraints: 22432
802.74/805.23 c #Conflicts: 333000 | #Constraints: 23432
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 334000 | #Constraints: 13022
802.74/805.23 c #Conflicts: 335000 | #Constraints: 14022
802.74/805.23 c #Conflicts: 336000 | #Constraints: 15022
802.74/805.23 c #Conflicts: 337000 | #Constraints: 16022
802.74/805.23 c #Conflicts: 338000 | #Constraints: 17022
802.74/805.23 c #Conflicts: 339000 | #Constraints: 18022
802.74/805.23 c #Conflicts: 340000 | #Constraints: 19022
802.74/805.23 c #Conflicts: 341000 | #Constraints: 20022
802.74/805.23 c #Conflicts: 342000 | #Constraints: 21022
802.74/805.23 c #Conflicts: 343000 | #Constraints: 22022
802.74/805.23 c #Conflicts: 344000 | #Constraints: 23022
802.74/805.23 c #Conflicts: 345000 | #Constraints: 24022
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 346000 | #Constraints: 13412
802.74/805.23 c #Conflicts: 347000 | #Constraints: 14412
802.74/805.23 c #Conflicts: 348000 | #Constraints: 15412
802.74/805.23 c #Conflicts: 349000 | #Constraints: 16412
802.74/805.23 c #Conflicts: 350000 | #Constraints: 17412
802.74/805.23 c #Conflicts: 351000 | #Constraints: 18412
802.74/805.23 c #Conflicts: 352000 | #Constraints: 19412
802.74/805.23 c #Conflicts: 353000 | #Constraints: 20412
802.74/805.23 c #Conflicts: 354000 | #Constraints: 21412
802.74/805.23 c #Conflicts: 355000 | #Constraints: 22412
802.74/805.23 c #Conflicts: 356000 | #Constraints: 23412
802.74/805.23 c #Conflicts: 357000 | #Constraints: 24412
802.74/805.23 c INPROCESSING
802.74/805.23 c GARBAGE COLLECT
802.74/805.23 c #Conflicts: 358000 | #Constraints: 13605
802.74/805.23 c #Conflicts: 359000 | #Constraints: 14605
802.74/805.23 c #Conflicts: 360000 | #Constraints: 15605
802.74/805.23 c #Conflicts: 361000 | #Constraints: 16605
802.74/805.23 c #Conflicts: 362000 | #Constraints: 17605
1029.30/1032.42 c #Conflicts: 363000 | #Constraints: 18605
1029.30/1032.42 c #Conflicts: 364000 | #Constraints: 19605
1029.30/1032.42 c #Conflicts: 365000 | #Constraints: 20605
1029.30/1032.42 c #Conflicts: 366000 | #Constraints: 21605
1029.30/1032.42 c #Conflicts: 367000 | #Constraints: 22605
1029.30/1032.42 c #Conflicts: 368000 | #Constraints: 23605
1029.30/1032.42 c #Conflicts: 369000 | #Constraints: 24605
1029.30/1032.42 c INPROCESSING
1029.30/1032.42 c GARBAGE COLLECT
1029.30/1032.42 c #Conflicts: 370000 | #Constraints: 13620
1029.30/1032.42 c #Conflicts: 371000 | #Constraints: 14620
1029.30/1032.42 c #Conflicts: 372000 | #Constraints: 15620
1029.30/1032.42 c #Conflicts: 373000 | #Constraints: 16620
1029.30/1032.42 c #Conflicts: 374000 | #Constraints: 17620
1029.30/1032.42 c #Conflicts: 375000 | #Constraints: 18620
1029.30/1032.42 c #Conflicts: 376000 | #Constraints: 19620
1029.30/1032.42 c #Conflicts: 377000 | #Constraints: 20620
1029.30/1032.42 c #Conflicts: 378000 | #Constraints: 21620
1029.30/1032.42 c #Conflicts: 379000 | #Constraints: 22620
1029.30/1032.42 c #Conflicts: 380000 | #Constraints: 23620
1029.30/1032.42 c #Conflicts: 381000 | #Constraints: 24620
1029.30/1032.42 c INPROCESSING
1029.30/1032.42 c GARBAGE COLLECT
1029.30/1032.42 c #Conflicts: 382000 | #Constraints: 13419
1029.30/1032.42 c #Conflicts: 383000 | #Constraints: 14419
1029.30/1032.42 c #Conflicts: 384000 | #Constraints: 15419
1029.30/1032.42 c #Conflicts: 385000 | #Constraints: 16419
1029.30/1032.42 c #Conflicts: 386000 | #Constraints: 17419
1029.30/1032.42 c #Conflicts: 387000 | #Constraints: 18419
1029.30/1032.42 c #Conflicts: 388000 | #Constraints: 19419
1029.30/1032.42 c #Conflicts: 389000 | #Constraints: 20419
1029.30/1032.42 c #Conflicts: 390000 | #Constraints: 21419
1029.30/1032.42 c #Conflicts: 391000 | #Constraints: 22419
1029.30/1032.42 c #Conflicts: 392000 | #Constraints: 23419
1029.30/1032.42 c #Conflicts: 393000 | #Constraints: 24419
1029.30/1032.42 c #Conflicts: 394000 | #Constraints: 25419
1029.30/1032.42 c INPROCESSING
1029.30/1032.42 c GARBAGE COLLECT
1029.30/1032.42 c #Conflicts: 395000 | #Constraints: 14019
1029.30/1032.42 c #Conflicts: 396000 | #Constraints: 15019
1029.30/1032.42 c #Conflicts: 397000 | #Constraints: 16019
1029.30/1032.42 c #Conflicts: 398000 | #Constraints: 17019
1029.30/1032.42 c #Conflicts: 399000 | #Constraints: 18019
1029.30/1032.42 c #Conflicts: 400000 | #Constraints: 19019
1029.30/1032.42 c #Conflicts: 401000 | #Constraints: 20019
1029.30/1032.42 c #Conflicts: 402000 | #Constraints: 21019
1029.30/1032.42 c #Conflicts: 403000 | #Constraints: 22019
1029.30/1032.42 c #Conflicts: 404000 | #Constraints: 23019
1029.30/1032.42 c #Conflicts: 405000 | #Constraints: 24019
1029.30/1032.42 c #Conflicts: 406000 | #Constraints: 25019
1029.30/1032.42 c #Conflicts: 407000 | #Constraints: 26019
1029.30/1032.42 c INPROCESSING
1029.30/1032.42 c GARBAGE COLLECT
1029.30/1032.42 c #Conflicts: 408000 | #Constraints: 14416
1029.30/1032.42 c #Conflicts: 409000 | #Constraints: 15416
1029.30/1032.42 c #Conflicts: 410000 | #Constraints: 16416
1029.30/1032.42 c #Conflicts: 411000 | #Constraints: 17416
1029.30/1032.42 c #Conflicts: 412000 | #Constraints: 18416
1029.30/1032.42 c #Conflicts: 413000 | #Constraints: 19416
1029.30/1032.42 c #Conflicts: 414000 | #Constraints: 20416
1029.30/1032.42 c #Conflicts: 415000 | #Constraints: 21416
1029.30/1032.42 c #Conflicts: 416000 | #Constraints: 22416
1029.30/1032.42 c #Conflicts: 417000 | #Constraints: 23416
1029.30/1032.42 c #Conflicts: 418000 | #Constraints: 24416
1029.30/1032.42 c #Conflicts: 419000 | #Constraints: 25416
1029.30/1032.42 c #Conflicts: 420000 | #Constraints: 26416
1029.30/1032.42 c INPROCESSING
1029.30/1032.42 c GARBAGE COLLECT
1029.30/1032.42 c #Conflicts: 421000 | #Constraints: 14644
1029.30/1032.42 c #Conflicts: 422000 | #Constraints: 15644
1029.30/1032.42 c #Conflicts: 423000 | #Constraints: 16644
1029.30/1032.42 c #Conflicts: 424000 | #Constraints: 17644
1029.30/1032.42 c #Conflicts: 425000 | #Constraints: 18644
1029.30/1032.42 c #Conflicts: 426000 | #Constraints: 19644
1029.30/1032.42 c #Conflicts: 427000 | #Constraints: 20644
1029.30/1032.42 c #Conflicts: 428000 | #Constraints: 21644
1029.30/1032.42 c #Conflicts: 429000 | #Constraints: 22644
1029.30/1032.42 c #Conflicts: 430000 | #Constraints: 23644
1029.30/1032.42 c #Conflicts: 431000 | #Constraints: 24644
1029.30/1032.42 c #Conflicts: 432000 | #Constraints: 25644
1029.30/1032.42 c #Conflicts: 433000 | #Constraints: 26644
1029.30/1032.42 c INPROCESSING
1029.30/1032.42 c GARBAGE COLLECT
1029.30/1032.42 c #Conflicts: 434000 | #Constraints: 14669
1029.30/1032.42 c #Conflicts: 435000 | #Constraints: 15669
1029.30/1032.42 c #Conflicts: 436000 | #Constraints: 16669
1029.30/1032.42 c #Conflicts: 437000 | #Constraints: 17669
1533.52/1538.08 c #Conflicts: 438000 | #Constraints: 18669
1533.52/1538.08 c #Conflicts: 439000 | #Constraints: 19669
1533.52/1538.08 c #Conflicts: 440000 | #Constraints: 20669
1533.52/1538.08 c #Conflicts: 441000 | #Constraints: 21669
1533.52/1538.08 c #Conflicts: 442000 | #Constraints: 22669
1533.52/1538.08 c #Conflicts: 443000 | #Constraints: 23669
1533.52/1538.08 c #Conflicts: 444000 | #Constraints: 24669
1533.52/1538.08 c #Conflicts: 445000 | #Constraints: 25669
1533.52/1538.08 c #Conflicts: 446000 | #Constraints: 26669
1533.52/1538.08 c INPROCESSING
1533.52/1538.08 c GARBAGE COLLECT
1533.52/1538.08 c #Conflicts: 447000 | #Constraints: 14455
1533.52/1538.08 c #Conflicts: 448000 | #Constraints: 15455
1533.52/1538.08 c #Conflicts: 449000 | #Constraints: 16455
1533.52/1538.08 c #Conflicts: 450000 | #Constraints: 17455
1533.52/1538.08 c #Conflicts: 451000 | #Constraints: 18455
1533.52/1538.08 c #Conflicts: 452000 | #Constraints: 19455
1533.52/1538.08 c #Conflicts: 453000 | #Constraints: 20455
1533.52/1538.08 c #Conflicts: 454000 | #Constraints: 21455
1533.52/1538.08 c #Conflicts: 455000 | #Constraints: 22455
1533.52/1538.08 c #Conflicts: 456000 | #Constraints: 23455
1533.52/1538.08 c #Conflicts: 457000 | #Constraints: 24455
1533.52/1538.08 c #Conflicts: 458000 | #Constraints: 25455
1533.52/1538.08 c #Conflicts: 459000 | #Constraints: 26455
1533.52/1538.08 c #Conflicts: 460000 | #Constraints: 27455
1533.52/1538.08 c INPROCESSING
1533.52/1538.08 c GARBAGE COLLECT
1533.52/1538.08 c #Conflicts: 461000 | #Constraints: 15043
1533.52/1538.08 c #Conflicts: 462000 | #Constraints: 16043
1533.52/1538.08 c #Conflicts: 463000 | #Constraints: 17043
1533.52/1538.08 c #Conflicts: 464000 | #Constraints: 18043
1533.52/1538.08 c #Conflicts: 465000 | #Constraints: 19043
1533.52/1538.08 c #Conflicts: 466000 | #Constraints: 20043
1533.52/1538.08 c #Conflicts: 467000 | #Constraints: 21043
1533.52/1538.08 c #Conflicts: 468000 | #Constraints: 22043
1533.52/1538.08 c #Conflicts: 469000 | #Constraints: 23043
1533.52/1538.08 c #Conflicts: 470000 | #Constraints: 24043
1533.52/1538.08 c #Conflicts: 471000 | #Constraints: 25043
1533.52/1538.08 c #Conflicts: 472000 | #Constraints: 26043
1533.52/1538.08 c #Conflicts: 473000 | #Constraints: 27043
1533.52/1538.08 c #Conflicts: 474000 | #Constraints: 28043
1533.52/1538.08 c INPROCESSING
1533.52/1538.08 c GARBAGE COLLECT
1533.52/1538.08 c #Conflicts: 475000 | #Constraints: 15463
1533.52/1538.08 c #Conflicts: 476000 | #Constraints: 16463
1533.52/1538.08 c #Conflicts: 477000 | #Constraints: 17463
1533.52/1538.08 c #Conflicts: 478000 | #Constraints: 18463
1533.52/1538.08 c #Conflicts: 479000 | #Constraints: 19463
1533.52/1538.08 c #Conflicts: 480000 | #Constraints: 20463
1533.52/1538.08 c #Conflicts: 481000 | #Constraints: 21463
1533.52/1538.08 c #Conflicts: 482000 | #Constraints: 22463
1533.52/1538.08 c #Conflicts: 483000 | #Constraints: 23463
1533.52/1538.08 c #Conflicts: 484000 | #Constraints: 24463
1533.52/1538.08 c #Conflicts: 485000 | #Constraints: 25463
1533.52/1538.08 c #Conflicts: 486000 | #Constraints: 26463
1533.52/1538.08 c #Conflicts: 487000 | #Constraints: 27463
1533.52/1538.08 c #Conflicts: 488000 | #Constraints: 28463
1533.52/1538.08 c INPROCESSING
1533.52/1538.08 c GARBAGE COLLECT
1533.52/1538.08 c #Conflicts: 489000 | #Constraints: 15665
1533.52/1538.08 c #Conflicts: 490000 | #Constraints: 16665
1533.52/1538.08 c #Conflicts: 491000 | #Constraints: 17665
1533.52/1538.08 c #Conflicts: 492000 | #Constraints: 18665
1533.52/1538.08 c #Conflicts: 493000 | #Constraints: 19665
1533.52/1538.08 c #Conflicts: 494000 | #Constraints: 20665
1533.52/1538.08 c #Conflicts: 495000 | #Constraints: 21665
1533.52/1538.08 c #Conflicts: 496000 | #Constraints: 22665
1533.52/1538.08 c #Conflicts: 497000 | #Constraints: 23665
1533.52/1538.08 c #Conflicts: 498000 | #Constraints: 24665
1533.52/1538.08 c #Conflicts: 499000 | #Constraints: 25665
1533.52/1538.08 c #Conflicts: 500000 | #Constraints: 26665
1533.52/1538.08 c #Conflicts: 501000 | #Constraints: 27665
1533.52/1538.08 c #Conflicts: 502000 | #Constraints: 28665
1533.52/1538.08 c INPROCESSING
1533.52/1538.08 c GARBAGE COLLECT
1533.52/1538.08 c #Conflicts: 503000 | #Constraints: 15697
1533.52/1538.08 c #Conflicts: 504000 | #Constraints: 16697
1533.52/1538.08 c #Conflicts: 505000 | #Constraints: 17697
1533.52/1538.08 c #Conflicts: 506000 | #Constraints: 18697
1533.52/1538.08 c #Conflicts: 507000 | #Constraints: 19697
1533.52/1538.08 c #Conflicts: 508000 | #Constraints: 20697
1533.52/1538.08 c #Conflicts: 509000 | #Constraints: 21697
1533.52/1538.08 c #Conflicts: 510000 | #Constraints: 22697
1533.52/1538.08 c #Conflicts: 511000 | #Constraints: 23697
1533.52/1538.08 c #Conflicts: 512000 | #Constraints: 24697
1533.52/1538.08 c #Conflicts: 513000 | #Constraints: 25697
1676.82/1681.72 c #Conflicts: 514000 | #Constraints: 26697
1676.82/1681.72 c #Conflicts: 515000 | #Constraints: 27697
1676.82/1681.72 c #Conflicts: 516000 | #Constraints: 28697
1676.82/1681.72 c INPROCESSING
1676.82/1681.72 c GARBAGE COLLECT
1676.82/1681.72 c #Conflicts: 517000 | #Constraints: 15447
1676.82/1681.72 c #Conflicts: 518000 | #Constraints: 16447
1676.82/1681.72 c #Conflicts: 519000 | #Constraints: 17447
1676.82/1681.72 c #Conflicts: 520000 | #Constraints: 18447
1676.82/1681.72 c #Conflicts: 521000 | #Constraints: 19447
1676.82/1681.72 c #Conflicts: 522000 | #Constraints: 20447
1676.82/1681.72 c #Conflicts: 523000 | #Constraints: 21447
1676.82/1681.72 c #Conflicts: 524000 | #Constraints: 22447
1676.82/1681.72 c #Conflicts: 525000 | #Constraints: 23447
1676.82/1681.72 c #Conflicts: 526000 | #Constraints: 24447
1676.82/1681.72 c #Conflicts: 527000 | #Constraints: 25447
1676.82/1681.72 c #Conflicts: 528000 | #Constraints: 26447
1676.82/1681.72 c #Conflicts: 529000 | #Constraints: 27447
1676.82/1681.72 c #Conflicts: 530000 | #Constraints: 28447
1676.82/1681.72 c #Conflicts: 531000 | #Constraints: 29447
1676.82/1681.72 c INPROCESSING
1676.82/1681.72 c GARBAGE COLLECT
1676.82/1681.72 c #Conflicts: 532000 | #Constraints: 16034
1676.82/1681.72 c #Conflicts: 533000 | #Constraints: 17034
1676.82/1681.72 c #Conflicts: 534000 | #Constraints: 18034
1676.82/1681.72 c #Conflicts: 535000 | #Constraints: 19034
1676.82/1681.72 c #Conflicts: 536000 | #Constraints: 20034
1676.82/1681.72 c #Conflicts: 537000 | #Constraints: 21034
1676.82/1681.72 c #Conflicts: 538000 | #Constraints: 22034
1676.82/1681.72 c #Conflicts: 539000 | #Constraints: 23034
1676.82/1681.72 c #Conflicts: 540000 | #Constraints: 24034
1676.82/1681.72 c #Conflicts: 541000 | #Constraints: 25034
1676.82/1681.72 c #Conflicts: 542000 | #Constraints: 26034
1676.82/1681.72 c #Conflicts: 543000 | #Constraints: 27034
1676.82/1681.72 c #Conflicts: 544000 | #Constraints: 28034
1676.82/1681.72 c #Conflicts: 545000 | #Constraints: 29034
1676.82/1681.72 c #Conflicts: 546000 | #Constraints: 30034
1676.82/1681.72 c INPROCESSING
1676.82/1681.72 c GARBAGE COLLECT
1676.82/1681.72 c #Conflicts: 547000 | #Constraints: 16432
1676.82/1681.72 c #Conflicts: 548000 | #Constraints: 17432
1676.82/1681.72 c #Conflicts: 549000 | #Constraints: 18432
1676.82/1681.72 c #Conflicts: 550000 | #Constraints: 19432
1676.82/1681.72 c #Conflicts: 551000 | #Constraints: 20432
1676.82/1681.72 c #Conflicts: 552000 | #Constraints: 21432
1676.82/1681.72 c #Conflicts: 553000 | #Constraints: 22432
1676.82/1681.72 c #Conflicts: 554000 | #Constraints: 23432
1676.82/1681.72 c #Conflicts: 555000 | #Constraints: 24432
1676.82/1681.72 c #Conflicts: 556000 | #Constraints: 25432
1676.82/1681.72 c #Conflicts: 557000 | #Constraints: 26432
1676.82/1681.72 c #Conflicts: 558000 | #Constraints: 27432
1676.82/1681.72 c #Conflicts: 559000 | #Constraints: 28432
1676.82/1681.72 c #Conflicts: 560000 | #Constraints: 29432
1676.82/1681.72 c #Conflicts: 561000 | #Constraints: 30432
1676.82/1681.72 c INPROCESSING
1676.82/1681.72 c GARBAGE COLLECT
1676.82/1681.72 c #Conflicts: 562000 | #Constraints: 16623
1676.82/1681.72 c #Conflicts: 563000 | #Constraints: 17623
1676.82/1681.72 c #Conflicts: 564000 | #Constraints: 18623
1676.82/1681.72 c #Conflicts: 565000 | #Constraints: 19623
1676.82/1681.72 c #Conflicts: 566000 | #Constraints: 20623
1676.82/1681.72 c #Conflicts: 567000 | #Constraints: 21623
1676.82/1681.72 c #Conflicts: 568000 | #Constraints: 22623
1676.82/1681.72 c #Conflicts: 569000 | #Constraints: 23623
1676.82/1681.72 c #Conflicts: 570000 | #Constraints: 24623
1676.82/1681.72 c #Conflicts: 571000 | #Constraints: 25623
1676.82/1681.72 c #Conflicts: 572000 | #Constraints: 26623
1676.82/1681.72 c #Conflicts: 573000 | #Constraints: 27623
1676.82/1681.72 c #Conflicts: 574000 | #Constraints: 28623
1676.82/1681.72 c #Conflicts: 575000 | #Constraints: 29623
1676.82/1681.72 c #Conflicts: 576000 | #Constraints: 30623
1676.82/1681.72 c INPROCESSING
1676.82/1681.72 c GARBAGE COLLECT
1676.82/1681.72 c #Conflicts: 577000 | #Constraints: 16652
1676.82/1681.72 c #Conflicts: 578000 | #Constraints: 17652
1676.82/1681.72 c #Conflicts: 579000 | #Constraints: 18652
1676.82/1681.72 c #Conflicts: 580000 | #Constraints: 19652
1676.82/1681.72 c #Conflicts: 581000 | #Constraints: 20652
1676.82/1681.72 c #Conflicts: 582000 | #Constraints: 21652
1676.82/1681.72 c #Conflicts: 583000 | #Constraints: 22652
1676.82/1681.72 c #Conflicts: 584000 | #Constraints: 23652
1676.82/1681.72 c #Conflicts: 585000 | #Constraints: 24652
1676.82/1681.72 c #Conflicts: 586000 | #Constraints: 25652
1676.82/1681.72 c #Conflicts: 587000 | #Constraints: 26652
1676.82/1681.72 c #Conflicts: 588000 | #Constraints: 27652
1803.47/1808.76 c #Conflicts: 589000 | #Constraints: 28652
1803.47/1808.76 c #Conflicts: 590000 | #Constraints: 29652
1803.47/1808.76 c #Conflicts: 591000 | #Constraints: 30652
1803.47/1808.76 c INPROCESSING
1803.47/1808.76 c GARBAGE COLLECT
1803.47/1808.76 c #Conflicts: 592000 | #Constraints: 16435
1803.47/1808.76 c #Conflicts: 593000 | #Constraints: 17435
1803.47/1808.76 c #Conflicts: 594000 | #Constraints: 18435
1803.47/1808.76 c #Conflicts: 595000 | #Constraints: 19435
1803.47/1808.76 c #Conflicts: 596000 | #Constraints: 20435
1803.47/1808.76 c #Conflicts: 597000 | #Constraints: 21435
1803.47/1808.76 c #Conflicts: 598000 | #Constraints: 22435
1803.47/1808.76 c #Conflicts: 599000 | #Constraints: 23435
1803.47/1808.76 c #Conflicts: 600000 | #Constraints: 24435
1803.47/1808.76 c #Conflicts: 601000 | #Constraints: 25435
1803.47/1808.76 c #Conflicts: 602000 | #Constraints: 26435
1803.47/1808.76 c #Conflicts: 603000 | #Constraints: 27435
1803.47/1808.76 c #Conflicts: 604000 | #Constraints: 28435
1803.47/1808.76 c #Conflicts: 605000 | #Constraints: 29435
1803.47/1808.76 c #Conflicts: 606000 | #Constraints: 30435
1803.47/1808.76 c #Conflicts: 607000 | #Constraints: 31435
1803.47/1808.76 c INPROCESSING
1803.47/1808.76 c GARBAGE COLLECT
1803.47/1808.76 c #Conflicts: 608000 | #Constraints: 17050
1803.47/1808.76 c #Conflicts: 609000 | #Constraints: 18050
1803.47/1808.76 c #Conflicts: 610000 | #Constraints: 19050
1803.47/1808.76 c #Conflicts: 611000 | #Constraints: 20050
1803.47/1808.76 c #Conflicts: 612000 | #Constraints: 21050
1803.47/1808.76 c #Conflicts: 613000 | #Constraints: 22050
1803.47/1808.76 c #Conflicts: 614000 | #Constraints: 23050
1803.47/1808.76 c #Conflicts: 615000 | #Constraints: 24050
1803.47/1808.76 c #Conflicts: 616000 | #Constraints: 25050
1803.47/1808.76 c #Conflicts: 617000 | #Constraints: 26050
1803.47/1808.76 c #Conflicts: 618000 | #Constraints: 27050
1803.47/1808.76 c #Conflicts: 619000 | #Constraints: 28050
1803.47/1808.76 c #Conflicts: 620000 | #Constraints: 29050
1803.47/1808.76 c #Conflicts: 621000 | #Constraints: 30050
1803.47/1808.76 c #Conflicts: 622000 | #Constraints: 31050
1803.47/1808.76 c #Conflicts: 623000 | #Constraints: 32050
1803.47/1808.76 c INPROCESSING
1803.47/1808.76 c GARBAGE COLLECT
1803.47/1808.76 c #Conflicts: 624000 | #Constraints: 17425
1803.47/1808.76 c #Conflicts: 625000 | #Constraints: 18425
1803.47/1808.76 c #Conflicts: 626000 | #Constraints: 19425
1803.47/1808.76 c #Conflicts: 627000 | #Constraints: 20425
1803.47/1808.76 c #Conflicts: 628000 | #Constraints: 21425
1803.47/1808.76 c #Conflicts: 629000 | #Constraints: 22425
1803.47/1808.76 c #Conflicts: 630000 | #Constraints: 23425
1803.47/1808.76 c #Conflicts: 631000 | #Constraints: 24425
1803.47/1808.76 c #Conflicts: 632000 | #Constraints: 25425
1803.47/1808.76 c #Conflicts: 633000 | #Constraints: 26425
1803.47/1808.76 c #Conflicts: 634000 | #Constraints: 27425
1803.47/1808.76 c #Conflicts: 635000 | #Constraints: 28425
1803.47/1808.76 c #Conflicts: 636000 | #Constraints: 29425
1803.47/1808.76 c #Conflicts: 637000 | #Constraints: 30425
1803.47/1808.76 c #Conflicts: 638000 | #Constraints: 31425
1803.47/1808.76 c #Conflicts: 639000 | #Constraints: 32425
1803.47/1808.76 c INPROCESSING
1803.47/1808.76 c GARBAGE COLLECT
1803.47/1808.76 c #Conflicts: 640000 | #Constraints: 17612
1803.47/1808.76 c #Conflicts: 641000 | #Constraints: 18612
1803.47/1808.76 c #Conflicts: 642000 | #Constraints: 19612
1803.47/1808.76 c #Conflicts: 643000 | #Constraints: 20612
1803.47/1808.76 c #Conflicts: 644000 | #Constraints: 21612
1803.47/1808.76 c #Conflicts: 645000 | #Constraints: 22612
1803.47/1808.76 c #Conflicts: 646000 | #Constraints: 23612
1803.47/1808.76 c #Conflicts: 647000 | #Constraints: 24612
1803.47/1808.76 c #Conflicts: 648000 | #Constraints: 25612
1803.47/1808.76 c #Conflicts: 649000 | #Constraints: 26612
1803.47/1808.76 c #Conflicts: 650000 | #Constraints: 27612
1803.47/1808.76 c #Conflicts: 651000 | #Constraints: 28612
1803.47/1808.76 c #Conflicts: 652000 | #Constraints: 29612
1803.47/1808.76 c #Conflicts: 653000 | #Constraints: 30612
1803.47/1808.76 c #Conflicts: 654000 | #Constraints: 31612
1803.47/1808.76 c #Conflicts: 655000 | #Constraints: 32612
1803.47/1808.76 c INPROCESSING
1803.47/1808.76 c GARBAGE COLLECT
1803.47/1808.76 c #Conflicts: 656000 | #Constraints: 17617
1803.47/1808.76 c #Conflicts: 657000 | #Constraints: 18617
1803.47/1808.76 c #Conflicts: 658000 | #Constraints: 19617
1803.47/1808.76 c #Conflicts: 659000 | #Constraints: 20617
1803.47/1808.76 c #Conflicts: 660000 | #Constraints: 21617
1803.47/1808.76 c #Conflicts: 661000 | #Constraints: 22617
1803.47/1808.76 c #Conflicts: 662000 | #Constraints: 23617
1803.47/1808.76 c #Conflicts: 663000 | #Constraints: 24617
1803.47/1808.76 c #Conflicts: 664000 | #Constraints: 25617
2087.48/2093.53 c #Conflicts: 665000 | #Constraints: 26617
2087.48/2093.53 c #Conflicts: 666000 | #Constraints: 27617
2087.48/2093.53 c #Conflicts: 667000 | #Constraints: 28617
2087.48/2093.53 c #Conflicts: 668000 | #Constraints: 29617
2087.48/2093.53 c #Conflicts: 669000 | #Constraints: 30617
2087.48/2093.53 c #Conflicts: 670000 | #Constraints: 31617
2087.48/2093.53 c #Conflicts: 671000 | #Constraints: 32617
2087.48/2093.53 c INPROCESSING
2087.48/2093.53 c GARBAGE COLLECT
2087.48/2093.53 c #Conflicts: 672000 | #Constraints: 17408
2087.48/2093.53 c #Conflicts: 673000 | #Constraints: 18408
2087.48/2093.53 c #Conflicts: 674000 | #Constraints: 19408
2087.48/2093.53 c #Conflicts: 675000 | #Constraints: 20408
2087.48/2093.53 c #Conflicts: 676000 | #Constraints: 21408
2087.48/2093.53 c #Conflicts: 677000 | #Constraints: 22408
2087.48/2093.53 c #Conflicts: 678000 | #Constraints: 23408
2087.48/2093.53 c #Conflicts: 679000 | #Constraints: 24408
2087.48/2093.53 c #Conflicts: 680000 | #Constraints: 25408
2087.48/2093.53 c #Conflicts: 681000 | #Constraints: 26408
2087.48/2093.53 c #Conflicts: 682000 | #Constraints: 27408
2087.48/2093.53 c #Conflicts: 683000 | #Constraints: 28408
2087.48/2093.53 c #Conflicts: 684000 | #Constraints: 29408
2087.48/2093.53 c #Conflicts: 685000 | #Constraints: 30408
2087.48/2093.53 c #Conflicts: 686000 | #Constraints: 31408
2087.48/2093.53 c #Conflicts: 687000 | #Constraints: 32408
2087.48/2093.53 c #Conflicts: 688000 | #Constraints: 33408
2087.48/2093.53 c INPROCESSING
2087.48/2093.53 c GARBAGE COLLECT
2087.48/2093.53 c #Conflicts: 689000 | #Constraints: 18009
2087.48/2093.53 c #Conflicts: 690000 | #Constraints: 19009
2087.48/2093.53 c #Conflicts: 691000 | #Constraints: 20009
2087.48/2093.53 c #Conflicts: 692000 | #Constraints: 21009
2087.48/2093.53 c #Conflicts: 693000 | #Constraints: 22009
2087.48/2093.53 c #Conflicts: 694000 | #Constraints: 23009
2087.48/2093.53 c #Conflicts: 695000 | #Constraints: 24009
2087.48/2093.53 c #Conflicts: 696000 | #Constraints: 25009
2087.48/2093.53 c #Conflicts: 697000 | #Constraints: 26009
2087.48/2093.53 c #Conflicts: 698000 | #Constraints: 27009
2087.48/2093.53 c #Conflicts: 699000 | #Constraints: 28009
2087.48/2093.53 c #Conflicts: 700000 | #Constraints: 29009
2087.48/2093.53 c #Conflicts: 701000 | #Constraints: 30009
2087.48/2093.53 c #Conflicts: 702000 | #Constraints: 31009
2087.48/2093.53 c #Conflicts: 703000 | #Constraints: 32009
2087.48/2093.53 c #Conflicts: 704000 | #Constraints: 33009
2087.48/2093.53 c #Conflicts: 705000 | #Constraints: 34009
2087.48/2093.53 c INPROCESSING
2087.48/2093.53 c GARBAGE COLLECT
2087.48/2093.53 c #Conflicts: 706000 | #Constraints: 18410
2087.48/2093.53 c #Conflicts: 707000 | #Constraints: 19410
2087.48/2093.53 c #Conflicts: 708000 | #Constraints: 20410
2087.48/2093.53 c #Conflicts: 709000 | #Constraints: 21410
2087.48/2093.53 c #Conflicts: 710000 | #Constraints: 22410
2087.48/2093.53 c #Conflicts: 711000 | #Constraints: 23410
2087.48/2093.53 c #Conflicts: 712000 | #Constraints: 24410
2087.48/2093.53 c #Conflicts: 713000 | #Constraints: 25410
2087.48/2093.53 c #Conflicts: 714000 | #Constraints: 26410
2087.48/2093.53 c #Conflicts: 715000 | #Constraints: 27410
2087.48/2093.53 c #Conflicts: 716000 | #Constraints: 28410
2087.48/2093.53 c #Conflicts: 717000 | #Constraints: 29410
2087.48/2093.53 c #Conflicts: 718000 | #Constraints: 30410
2087.48/2093.53 c #Conflicts: 719000 | #Constraints: 31410
2087.48/2093.53 c #Conflicts: 720000 | #Constraints: 32410
2087.48/2093.53 c #Conflicts: 721000 | #Constraints: 33410
2087.48/2093.53 c #Conflicts: 722000 | #Constraints: 34410
2087.48/2093.53 c INPROCESSING
2087.48/2093.53 c GARBAGE COLLECT
2087.48/2093.53 c #Conflicts: 723000 | #Constraints: 18636
2087.48/2093.53 c #Conflicts: 724000 | #Constraints: 19636
2087.48/2093.53 c #Conflicts: 725000 | #Constraints: 20636
2087.48/2093.53 c #Conflicts: 726000 | #Constraints: 21636
2087.48/2093.53 c #Conflicts: 727000 | #Constraints: 22636
2087.48/2093.53 c #Conflicts: 728000 | #Constraints: 23636
2087.48/2093.53 c #Conflicts: 729000 | #Constraints: 24636
2087.48/2093.53 c #Conflicts: 730000 | #Constraints: 25636
2087.48/2093.53 c #Conflicts: 731000 | #Constraints: 26636
2087.48/2093.53 c #Conflicts: 732000 | #Constraints: 27636
2087.48/2093.53 c #Conflicts: 733000 | #Constraints: 28636
2087.48/2093.53 c #Conflicts: 734000 | #Constraints: 29636
2087.48/2093.53 c #Conflicts: 735000 | #Constraints: 30636
2087.48/2093.53 c #Conflicts: 736000 | #Constraints: 31636
2087.48/2093.53 c #Conflicts: 737000 | #Constraints: 32636
2087.48/2093.53 c #Conflicts: 738000 | #Constraints: 33636
2087.48/2093.53 c #Conflicts: 739000 | #Constraints: 34636
2087.48/2093.53 c INPROCESSING
2087.48/2093.53 c GARBAGE COLLECT
2254.31/2260.82 c #Conflicts: 740000 | #Constraints: 18635
2254.31/2260.82 c #Conflicts: 741000 | #Constraints: 19635
2254.31/2260.82 c #Conflicts: 742000 | #Constraints: 20635
2254.31/2260.82 c #Conflicts: 743000 | #Constraints: 21635
2254.31/2260.82 c #Conflicts: 744000 | #Constraints: 22635
2254.31/2260.82 c #Conflicts: 745000 | #Constraints: 23635
2254.31/2260.82 c #Conflicts: 746000 | #Constraints: 24635
2254.31/2260.82 c #Conflicts: 747000 | #Constraints: 25635
2254.31/2260.82 c #Conflicts: 748000 | #Constraints: 26635
2254.31/2260.82 c #Conflicts: 749000 | #Constraints: 27635
2254.31/2260.82 c #Conflicts: 750000 | #Constraints: 28635
2254.31/2260.82 c #Conflicts: 751000 | #Constraints: 29635
2254.31/2260.82 c #Conflicts: 752000 | #Constraints: 30635
2254.31/2260.82 c #Conflicts: 753000 | #Constraints: 31635
2254.31/2260.82 c #Conflicts: 754000 | #Constraints: 32635
2254.31/2260.82 c #Conflicts: 755000 | #Constraints: 33635
2254.31/2260.82 c #Conflicts: 756000 | #Constraints: 34635
2254.31/2260.82 c INPROCESSING
2254.31/2260.82 c GARBAGE COLLECT
2254.31/2260.82 c #Conflicts: 757000 | #Constraints: 18423
2254.31/2260.82 c #Conflicts: 758000 | #Constraints: 19423
2254.31/2260.82 c #Conflicts: 759000 | #Constraints: 20423
2254.31/2260.82 c #Conflicts: 760000 | #Constraints: 21423
2254.31/2260.82 c #Conflicts: 761000 | #Constraints: 22423
2254.31/2260.82 c #Conflicts: 762000 | #Constraints: 23423
2254.31/2260.82 c #Conflicts: 763000 | #Constraints: 24423
2254.31/2260.82 c #Conflicts: 764000 | #Constraints: 25423
2254.31/2260.82 c #Conflicts: 765000 | #Constraints: 26423
2254.31/2260.82 c #Conflicts: 766000 | #Constraints: 27423
2254.31/2260.82 c #Conflicts: 767000 | #Constraints: 28423
2254.31/2260.82 c #Conflicts: 768000 | #Constraints: 29423
2254.31/2260.82 c #Conflicts: 769000 | #Constraints: 30423
2254.31/2260.82 c #Conflicts: 770000 | #Constraints: 31423
2254.31/2260.82 c #Conflicts: 771000 | #Constraints: 32423
2254.31/2260.82 c #Conflicts: 772000 | #Constraints: 33423
2254.31/2260.82 c #Conflicts: 773000 | #Constraints: 34423
2254.31/2260.82 c #Conflicts: 774000 | #Constraints: 35423
2254.31/2260.82 c INPROCESSING
2254.31/2260.82 c GARBAGE COLLECT
2254.31/2260.82 c #Conflicts: 775000 | #Constraints: 19029
2254.31/2260.82 c #Conflicts: 776000 | #Constraints: 20029
2254.31/2260.82 c #Conflicts: 777000 | #Constraints: 21029
2254.31/2260.82 c #Conflicts: 778000 | #Constraints: 22029
2254.31/2260.82 c #Conflicts: 779000 | #Constraints: 23029
2254.31/2260.82 c #Conflicts: 780000 | #Constraints: 24029
2254.31/2260.82 c #Conflicts: 781000 | #Constraints: 25029
2254.31/2260.82 c #Conflicts: 782000 | #Constraints: 26029
2254.31/2260.82 c #Conflicts: 783000 | #Constraints: 27029
2254.31/2260.82 c #Conflicts: 784000 | #Constraints: 28029
2254.31/2260.82 c #Conflicts: 785000 | #Constraints: 29029
2254.31/2260.82 c #Conflicts: 786000 | #Constraints: 30029
2254.31/2260.82 c #Conflicts: 787000 | #Constraints: 31029
2254.31/2260.82 c #Conflicts: 788000 | #Constraints: 32029
2254.31/2260.82 c #Conflicts: 789000 | #Constraints: 33029
2254.31/2260.82 c #Conflicts: 790000 | #Constraints: 34029
2254.31/2260.82 c #Conflicts: 791000 | #Constraints: 35029
2254.31/2260.82 c #Conflicts: 792000 | #Constraints: 36029
2254.31/2260.82 c INPROCESSING
2254.31/2260.82 c GARBAGE COLLECT
2254.31/2260.82 c #Conflicts: 793000 | #Constraints: 19422
2254.31/2260.82 c #Conflicts: 794000 | #Constraints: 20422
2254.31/2260.82 c #Conflicts: 795000 | #Constraints: 21422
2254.31/2260.82 c #Conflicts: 796000 | #Constraints: 22422
2254.31/2260.82 c #Conflicts: 797000 | #Constraints: 23422
2254.31/2260.82 c #Conflicts: 798000 | #Constraints: 24422
2254.31/2260.82 c #Conflicts: 799000 | #Constraints: 25422
2254.31/2260.82 c #Conflicts: 800000 | #Constraints: 26422
2254.31/2260.82 c #Conflicts: 801000 | #Constraints: 27422
2254.31/2260.82 c #Conflicts: 802000 | #Constraints: 28422
2254.31/2260.82 c #Conflicts: 803000 | #Constraints: 29422
2254.31/2260.82 c #Conflicts: 804000 | #Constraints: 30422
2254.31/2260.82 c #Conflicts: 805000 | #Constraints: 31422
2254.31/2260.82 c #Conflicts: 806000 | #Constraints: 32422
2254.31/2260.82 c #Conflicts: 807000 | #Constraints: 33422
2254.31/2260.82 c #Conflicts: 808000 | #Constraints: 34422
2254.31/2260.82 c #Conflicts: 809000 | #Constraints: 35422
2254.31/2260.82 c #Conflicts: 810000 | #Constraints: 36422
2254.31/2260.82 c INPROCESSING
2254.31/2260.82 c GARBAGE COLLECT
2254.31/2260.82 c #Conflicts: 811000 | #Constraints: 19620
2254.31/2260.82 c #Conflicts: 812000 | #Constraints: 20620
2254.31/2260.82 c #Conflicts: 813000 | #Constraints: 21620
2254.31/2260.82 c #Conflicts: 814000 | #Constraints: 22620
2254.31/2260.82 c #Conflicts: 815000 | #Constraints: 23620
2254.31/2260.82 c #Conflicts: 816000 | #Constraints: 24620
2417.16/2424.12 c #Conflicts: 817000 | #Constraints: 25620
2417.16/2424.12 c #Conflicts: 818000 | #Constraints: 26620
2417.16/2424.12 c #Conflicts: 819000 | #Constraints: 27620
2417.16/2424.12 c #Conflicts: 820000 | #Constraints: 28620
2417.16/2424.12 c #Conflicts: 821000 | #Constraints: 29620
2417.16/2424.12 c #Conflicts: 822000 | #Constraints: 30620
2417.16/2424.12 c #Conflicts: 823000 | #Constraints: 31620
2417.16/2424.12 c #Conflicts: 824000 | #Constraints: 32620
2417.16/2424.12 c #Conflicts: 825000 | #Constraints: 33620
2417.16/2424.12 c #Conflicts: 826000 | #Constraints: 34620
2417.16/2424.12 c #Conflicts: 827000 | #Constraints: 35620
2417.16/2424.12 c #Conflicts: 828000 | #Constraints: 36620
2417.16/2424.12 c INPROCESSING
2417.16/2424.12 c GARBAGE COLLECT
2417.16/2424.12 c #Conflicts: 829000 | #Constraints: 19633
2417.16/2424.12 c #Conflicts: 830000 | #Constraints: 20633
2417.16/2424.12 c #Conflicts: 831000 | #Constraints: 21633
2417.16/2424.12 c #Conflicts: 832000 | #Constraints: 22633
2417.16/2424.12 c #Conflicts: 833000 | #Constraints: 23633
2417.16/2424.12 c #Conflicts: 834000 | #Constraints: 24633
2417.16/2424.12 c #Conflicts: 835000 | #Constraints: 25633
2417.16/2424.12 c #Conflicts: 836000 | #Constraints: 26633
2417.16/2424.12 c #Conflicts: 837000 | #Constraints: 27633
2417.16/2424.12 c #Conflicts: 838000 | #Constraints: 28633
2417.16/2424.12 c #Conflicts: 839000 | #Constraints: 29633
2417.16/2424.12 c #Conflicts: 840000 | #Constraints: 30633
2417.16/2424.12 c #Conflicts: 841000 | #Constraints: 31633
2417.16/2424.12 c #Conflicts: 842000 | #Constraints: 32633
2417.16/2424.12 c #Conflicts: 843000 | #Constraints: 33633
2417.16/2424.12 c #Conflicts: 844000 | #Constraints: 34633
2417.16/2424.12 c #Conflicts: 845000 | #Constraints: 35633
2417.16/2424.12 c #Conflicts: 846000 | #Constraints: 36633
2417.16/2424.12 c INPROCESSING
2417.16/2424.12 c GARBAGE COLLECT
2417.16/2424.12 c #Conflicts: 847000 | #Constraints: 19422
2417.16/2424.12 c #Conflicts: 848000 | #Constraints: 20422
2417.16/2424.12 c #Conflicts: 849000 | #Constraints: 21422
2417.16/2424.12 c #Conflicts: 850000 | #Constraints: 22422
2417.16/2424.12 c #Conflicts: 851000 | #Constraints: 23422
2417.16/2424.12 c #Conflicts: 852000 | #Constraints: 24422
2417.16/2424.12 c #Conflicts: 853000 | #Constraints: 25422
2417.16/2424.12 c #Conflicts: 854000 | #Constraints: 26422
2417.16/2424.13 c #Conflicts: 855000 | #Constraints: 27422
2417.16/2424.13 c #Conflicts: 856000 | #Constraints: 28422
2417.16/2424.13 c #Conflicts: 857000 | #Constraints: 29422
2417.16/2424.13 c #Conflicts: 858000 | #Constraints: 30422
2417.16/2424.13 c #Conflicts: 859000 | #Constraints: 31422
2417.16/2424.13 c #Conflicts: 860000 | #Constraints: 32422
2417.16/2424.13 c #Conflicts: 861000 | #Constraints: 33422
2417.16/2424.13 c #Conflicts: 862000 | #Constraints: 34422
2417.16/2424.13 c #Conflicts: 863000 | #Constraints: 35422
2417.16/2424.13 c #Conflicts: 864000 | #Constraints: 36422
2417.16/2424.13 c #Conflicts: 865000 | #Constraints: 37422
2417.16/2424.13 c INPROCESSING
2417.16/2424.13 c GARBAGE COLLECT
2417.16/2424.13 c #Conflicts: 866000 | #Constraints: 20020
2417.16/2424.13 c #Conflicts: 867000 | #Constraints: 21020
2417.16/2424.13 c #Conflicts: 868000 | #Constraints: 22020
2417.16/2424.13 c #Conflicts: 869000 | #Constraints: 23020
2417.16/2424.13 c #Conflicts: 870000 | #Constraints: 24020
2417.16/2424.13 c #Conflicts: 871000 | #Constraints: 25020
2417.16/2424.13 c #Conflicts: 872000 | #Constraints: 26020
2417.16/2424.13 c #Conflicts: 873000 | #Constraints: 27020
2417.16/2424.13 c #Conflicts: 874000 | #Constraints: 28020
2417.16/2424.13 c #Conflicts: 875000 | #Constraints: 29020
2417.16/2424.13 c #Conflicts: 876000 | #Constraints: 30020
2417.16/2424.13 c #Conflicts: 877000 | #Constraints: 31020
2417.16/2424.13 c #Conflicts: 878000 | #Constraints: 32020
2417.16/2424.13 c #Conflicts: 879000 | #Constraints: 33020
2417.16/2424.13 c #Conflicts: 880000 | #Constraints: 34020
2417.16/2424.13 c #Conflicts: 881000 | #Constraints: 35020
2417.16/2424.13 c #Conflicts: 882000 | #Constraints: 36020
2417.16/2424.13 c #Conflicts: 883000 | #Constraints: 37020
2417.16/2424.13 c #Conflicts: 884000 | #Constraints: 38020
2417.16/2424.13 c INPROCESSING
2417.16/2424.13 c GARBAGE COLLECT
2417.16/2424.13 c #Conflicts: 885000 | #Constraints: 20419
2417.16/2424.13 c #Conflicts: 886000 | #Constraints: 21419
2417.16/2424.13 c #Conflicts: 887000 | #Constraints: 22419
2417.16/2424.13 c #Conflicts: 888000 | #Constraints: 23419
2417.16/2424.13 c #Conflicts: 889000 | #Constraints: 24419
2417.16/2424.13 c #Conflicts: 890000 | #Constraints: 25419
2417.16/2424.13 c #Conflicts: 891000 | #Constraints: 26419
2417.16/2424.13 c #Conflicts: 892000 | #Constraints: 27419
2685.00/2692.70 c #Conflicts: 893000 | #Constraints: 28419
2685.00/2692.70 c #Conflicts: 894000 | #Constraints: 29419
2685.00/2692.70 c #Conflicts: 895000 | #Constraints: 30419
2685.00/2692.70 c #Conflicts: 896000 | #Constraints: 31419
2685.00/2692.70 c #Conflicts: 897000 | #Constraints: 32419
2685.00/2692.70 c #Conflicts: 898000 | #Constraints: 33419
2685.00/2692.70 c #Conflicts: 899000 | #Constraints: 34419
2685.00/2692.70 c #Conflicts: 900000 | #Constraints: 35419
2685.00/2692.70 c #Conflicts: 901000 | #Constraints: 36419
2685.00/2692.70 c #Conflicts: 902000 | #Constraints: 37419
2685.00/2692.70 c #Conflicts: 903000 | #Constraints: 38419
2685.00/2692.70 c INPROCESSING
2685.00/2692.70 c GARBAGE COLLECT
2685.00/2692.70 c #Conflicts: 904000 | #Constraints: 20611
2685.00/2692.70 c #Conflicts: 905000 | #Constraints: 21611
2685.00/2692.70 c #Conflicts: 906000 | #Constraints: 22611
2685.00/2692.70 c #Conflicts: 907000 | #Constraints: 23611
2685.00/2692.70 c #Conflicts: 908000 | #Constraints: 24611
2685.00/2692.70 c #Conflicts: 909000 | #Constraints: 25611
2685.00/2692.70 c #Conflicts: 910000 | #Constraints: 26611
2685.00/2692.70 c #Conflicts: 911000 | #Constraints: 27611
2685.00/2692.70 c #Conflicts: 912000 | #Constraints: 28611
2685.00/2692.70 c #Conflicts: 913000 | #Constraints: 29611
2685.00/2692.70 c #Conflicts: 914000 | #Constraints: 30611
2685.00/2692.70 c #Conflicts: 915000 | #Constraints: 31611
2685.00/2692.70 c #Conflicts: 916000 | #Constraints: 32611
2685.00/2692.70 c #Conflicts: 917000 | #Constraints: 33611
2685.00/2692.70 c #Conflicts: 918000 | #Constraints: 34611
2685.00/2692.70 c #Conflicts: 919000 | #Constraints: 35611
2685.00/2692.70 c #Conflicts: 920000 | #Constraints: 36611
2685.00/2692.70 c #Conflicts: 921000 | #Constraints: 37611
2685.00/2692.70 c #Conflicts: 922000 | #Constraints: 38611
2685.00/2692.70 c INPROCESSING
2685.00/2692.70 c GARBAGE COLLECT
2685.00/2692.70 c #Conflicts: 923000 | #Constraints: 20598
2685.00/2692.70 c #Conflicts: 924000 | #Constraints: 21598
2685.00/2692.70 c #Conflicts: 925000 | #Constraints: 22598
2685.00/2692.70 c #Conflicts: 926000 | #Constraints: 23598
2685.00/2692.70 c #Conflicts: 927000 | #Constraints: 24598
2685.00/2692.70 c #Conflicts: 928000 | #Constraints: 25598
2685.00/2692.70 c #Conflicts: 929000 | #Constraints: 26598
2685.00/2692.70 c #Conflicts: 930000 | #Constraints: 27598
2685.00/2692.70 c #Conflicts: 931000 | #Constraints: 28598
2685.00/2692.70 c #Conflicts: 932000 | #Constraints: 29598
2685.00/2692.70 c #Conflicts: 933000 | #Constraints: 30598
2685.00/2692.70 c #Conflicts: 934000 | #Constraints: 31598
2685.00/2692.70 c #Conflicts: 935000 | #Constraints: 32598
2685.00/2692.70 c #Conflicts: 936000 | #Constraints: 33598
2685.00/2692.70 c #Conflicts: 937000 | #Constraints: 34598
2685.00/2692.70 c #Conflicts: 938000 | #Constraints: 35598
2685.00/2692.70 c #Conflicts: 939000 | #Constraints: 36598
2685.00/2692.70 c #Conflicts: 940000 | #Constraints: 37598
2685.00/2692.70 c #Conflicts: 941000 | #Constraints: 38598
2685.00/2692.70 c INPROCESSING
2685.00/2692.70 c GARBAGE COLLECT
2685.00/2692.70 c #Conflicts: 942000 | #Constraints: 20422
2685.00/2692.70 c #Conflicts: 943000 | #Constraints: 21422
2685.00/2692.70 c #Conflicts: 944000 | #Constraints: 22422
2685.00/2692.70 c #Conflicts: 945000 | #Constraints: 23422
2685.00/2692.70 c #Conflicts: 946000 | #Constraints: 24422
2685.00/2692.70 c #Conflicts: 947000 | #Constraints: 25422
2685.00/2692.70 c #Conflicts: 948000 | #Constraints: 26422
2685.00/2692.70 c #Conflicts: 949000 | #Constraints: 27422
2685.00/2692.70 c #Conflicts: 950000 | #Constraints: 28422
2685.00/2692.70 c #Conflicts: 951000 | #Constraints: 29422
2685.00/2692.70 c #Conflicts: 952000 | #Constraints: 30422
2685.00/2692.70 c #Conflicts: 953000 | #Constraints: 31422
2685.00/2692.70 c #Conflicts: 954000 | #Constraints: 32422
2685.00/2692.70 c #Conflicts: 955000 | #Constraints: 33422
2685.00/2692.70 c #Conflicts: 956000 | #Constraints: 34422
2685.00/2692.70 c #Conflicts: 957000 | #Constraints: 35422
2685.00/2692.70 c #Conflicts: 958000 | #Constraints: 36422
2685.00/2692.70 c #Conflicts: 959000 | #Constraints: 37422
2685.00/2692.70 c #Conflicts: 960000 | #Constraints: 38422
2685.00/2692.70 c #Conflicts: 961000 | #Constraints: 39422
2685.00/2692.70 c INPROCESSING
2685.00/2692.70 c GARBAGE COLLECT
2685.00/2692.70 c #Conflicts: 962000 | #Constraints: 21068
2685.00/2692.70 c #Conflicts: 963000 | #Constraints: 22068
2685.00/2692.70 c #Conflicts: 964000 | #Constraints: 23068
2685.00/2692.70 c #Conflicts: 965000 | #Constraints: 24068
2685.00/2692.70 c #Conflicts: 966000 | #Constraints: 25068
2685.00/2692.70 c #Conflicts: 967000 | #Constraints: 26068
2685.00/2692.70 c #Conflicts: 968000 | #Constraints: 27068
3183.28/3192.48 c #Conflicts: 969000 | #Constraints: 28068
3183.28/3192.48 c #Conflicts: 970000 | #Constraints: 29068
3183.28/3192.48 c #Conflicts: 971000 | #Constraints: 30068
3183.28/3192.48 c #Conflicts: 972000 | #Constraints: 31068
3183.28/3192.48 c #Conflicts: 973000 | #Constraints: 32068
3183.28/3192.48 c #Conflicts: 974000 | #Constraints: 33068
3183.28/3192.48 c #Conflicts: 975000 | #Constraints: 34068
3183.28/3192.48 c #Conflicts: 976000 | #Constraints: 35068
3183.28/3192.48 c #Conflicts: 977000 | #Constraints: 36068
3183.28/3192.48 c #Conflicts: 978000 | #Constraints: 37068
3183.28/3192.48 c #Conflicts: 979000 | #Constraints: 38068
3183.28/3192.48 c #Conflicts: 980000 | #Constraints: 39068
3183.28/3192.48 c #Conflicts: 981000 | #Constraints: 40068
3183.28/3192.48 c INPROCESSING
3183.28/3192.48 c GARBAGE COLLECT
3183.28/3192.48 c #Conflicts: 982000 | #Constraints: 21463
3183.28/3192.48 c #Conflicts: 983000 | #Constraints: 22463
3183.28/3192.48 c #Conflicts: 984000 | #Constraints: 23463
3183.28/3192.48 c #Conflicts: 985000 | #Constraints: 24463
3183.28/3192.48 c #Conflicts: 986000 | #Constraints: 25463
3183.28/3192.48 c #Conflicts: 987000 | #Constraints: 26463
3183.28/3192.48 c #Conflicts: 988000 | #Constraints: 27463
3183.28/3192.48 c #Conflicts: 989000 | #Constraints: 28463
3183.28/3192.48 c #Conflicts: 990000 | #Constraints: 29463
3183.28/3192.48 c #Conflicts: 991000 | #Constraints: 30463
3183.28/3192.48 c #Conflicts: 992000 | #Constraints: 31463
3183.28/3192.48 c #Conflicts: 993000 | #Constraints: 32463
3183.28/3192.48 c #Conflicts: 994000 | #Constraints: 33463
3183.28/3192.48 c #Conflicts: 995000 | #Constraints: 34463
3183.28/3192.48 c #Conflicts: 996000 | #Constraints: 35463
3183.28/3192.48 c #Conflicts: 997000 | #Constraints: 36463
3183.28/3192.48 c #Conflicts: 998000 | #Constraints: 37463
3183.28/3192.48 c #Conflicts: 999000 | #Constraints: 38463
3183.28/3192.48 c #Conflicts: 1000000 | #Constraints: 39463
3183.28/3192.48 c #Conflicts: 1001000 | #Constraints: 40463
3183.28/3192.48 c INPROCESSING
3183.28/3192.48 c GARBAGE COLLECT
3183.28/3192.48 c #Conflicts: 1002000 | #Constraints: 21656
3183.28/3192.48 c #Conflicts: 1003000 | #Constraints: 22656
3183.28/3192.48 c #Conflicts: 1004000 | #Constraints: 23656
3183.28/3192.48 c #Conflicts: 1005000 | #Constraints: 24656
3183.28/3192.48 c #Conflicts: 1006000 | #Constraints: 25656
3183.28/3192.48 c #Conflicts: 1007000 | #Constraints: 26656
3183.28/3192.48 c #Conflicts: 1008000 | #Constraints: 27656
3183.28/3192.48 c #Conflicts: 1009000 | #Constraints: 28656
3183.28/3192.48 c #Conflicts: 1010000 | #Constraints: 29656
3183.28/3192.48 c #Conflicts: 1011000 | #Constraints: 30656
3183.28/3192.48 c #Conflicts: 1012000 | #Constraints: 31656
3183.28/3192.48 c #Conflicts: 1013000 | #Constraints: 32656
3183.28/3192.48 c #Conflicts: 1014000 | #Constraints: 33656
3183.28/3192.48 c #Conflicts: 1015000 | #Constraints: 34656
3183.28/3192.48 c #Conflicts: 1016000 | #Constraints: 35656
3183.28/3192.48 c #Conflicts: 1017000 | #Constraints: 36656
3183.28/3192.48 c #Conflicts: 1018000 | #Constraints: 37656
3183.28/3192.48 c #Conflicts: 1019000 | #Constraints: 38656
3183.28/3192.48 c #Conflicts: 1020000 | #Constraints: 39656
3183.28/3192.48 c #Conflicts: 1021000 | #Constraints: 40656
3183.28/3192.48 c INPROCESSING
3183.28/3192.48 c GARBAGE COLLECT
3183.28/3192.48 c #Conflicts: 1022000 | #Constraints: 21648
3183.28/3192.48 c #Conflicts: 1023000 | #Constraints: 22648
3183.28/3192.48 c #Conflicts: 1024000 | #Constraints: 23648
3183.28/3192.48 c #Conflicts: 1025000 | #Constraints: 24648
3183.28/3192.48 c #Conflicts: 1026000 | #Constraints: 25648
3183.28/3192.48 c #Conflicts: 1027000 | #Constraints: 26648
3183.28/3192.48 c #Conflicts: 1028000 | #Constraints: 27648
3183.28/3192.48 c #Conflicts: 1029000 | #Constraints: 28648
3183.28/3192.48 c #Conflicts: 1030000 | #Constraints: 29648
3183.28/3192.48 c #Conflicts: 1031000 | #Constraints: 30648
3183.28/3192.48 c #Conflicts: 1032000 | #Constraints: 31648
3183.28/3192.48 c #Conflicts: 1033000 | #Constraints: 32648
3183.28/3192.48 c #Conflicts: 1034000 | #Constraints: 33648
3183.28/3192.48 c #Conflicts: 1035000 | #Constraints: 34648
3183.28/3192.48 c #Conflicts: 1036000 | #Constraints: 35648
3183.28/3192.48 c #Conflicts: 1037000 | #Constraints: 36648
3183.28/3192.48 c #Conflicts: 1038000 | #Constraints: 37648
3183.28/3192.48 c #Conflicts: 1039000 | #Constraints: 38648
3183.28/3192.48 c #Conflicts: 1040000 | #Constraints: 39648
3183.28/3192.48 c #Conflicts: 1041000 | #Constraints: 40648
3183.28/3192.48 c INPROCESSING
3183.28/3192.48 c GARBAGE COLLECT
3183.28/3192.48 c #Conflicts: 1042000 | #Constraints: 21463
3183.28/3192.48 c #Conflicts: 1043000 | #Constraints: 22463
3183.28/3192.48 c #Conflicts: 1044000 | #Constraints: 23463
3541.70/3551.91 c #Conflicts: 1045000 | #Constraints: 24463
3541.70/3551.91 c #Conflicts: 1046000 | #Constraints: 25463
3541.70/3551.91 c #Conflicts: 1047000 | #Constraints: 26463
3541.70/3551.91 c #Conflicts: 1048000 | #Constraints: 27463
3541.70/3551.91 c #Conflicts: 1049000 | #Constraints: 28463
3541.70/3551.91 c #Conflicts: 1050000 | #Constraints: 29463
3541.70/3551.91 c #Conflicts: 1051000 | #Constraints: 30463
3541.70/3551.91 c #Conflicts: 1052000 | #Constraints: 31463
3541.70/3551.91 c #Conflicts: 1053000 | #Constraints: 32463
3541.70/3551.91 c #Conflicts: 1054000 | #Constraints: 33463
3541.70/3551.91 c #Conflicts: 1055000 | #Constraints: 34463
3541.70/3551.91 c #Conflicts: 1056000 | #Constraints: 35463
3541.70/3551.91 c #Conflicts: 1057000 | #Constraints: 36463
3541.70/3551.91 c #Conflicts: 1058000 | #Constraints: 37463
3541.70/3551.91 c #Conflicts: 1059000 | #Constraints: 38463
3541.70/3551.91 c #Conflicts: 1060000 | #Constraints: 39463
3541.70/3551.91 c #Conflicts: 1061000 | #Constraints: 40463
3541.70/3551.91 c #Conflicts: 1062000 | #Constraints: 41463
3541.70/3551.91 c INPROCESSING
3541.70/3551.91 c GARBAGE COLLECT
3541.70/3551.91 c #Conflicts: 1063000 | #Constraints: 22080
3541.70/3551.91 c #Conflicts: 1064000 | #Constraints: 23080
3541.70/3551.91 c #Conflicts: 1065000 | #Constraints: 24080
3541.70/3551.91 c #Conflicts: 1066000 | #Constraints: 25080
3541.70/3551.91 c #Conflicts: 1067000 | #Constraints: 26080
3541.70/3551.91 c #Conflicts: 1068000 | #Constraints: 27080
3541.70/3551.91 c #Conflicts: 1069000 | #Constraints: 28080
3541.70/3551.91 c #Conflicts: 1070000 | #Constraints: 29080
3541.70/3551.91 c #Conflicts: 1071000 | #Constraints: 30080
3541.70/3551.91 c #Conflicts: 1072000 | #Constraints: 31080
3541.70/3551.91 c #Conflicts: 1073000 | #Constraints: 32080
3541.70/3551.91 c #Conflicts: 1074000 | #Constraints: 33080
3541.70/3551.91 c #Conflicts: 1075000 | #Constraints: 34080
3541.70/3551.91 c #Conflicts: 1076000 | #Constraints: 35080
3541.70/3551.91 c #Conflicts: 1077000 | #Constraints: 36080
3541.70/3551.91 c #Conflicts: 1078000 | #Constraints: 37080
3541.70/3551.91 c #Conflicts: 1079000 | #Constraints: 38080
3541.70/3551.91 c #Conflicts: 1080000 | #Constraints: 39080
3541.70/3551.91 c #Conflicts: 1081000 | #Constraints: 40080
3541.70/3551.91 c #Conflicts: 1082000 | #Constraints: 41080
3541.70/3551.91 c #Conflicts: 1083000 | #Constraints: 42080
3541.70/3551.91 c INPROCESSING
3541.70/3551.91 c GARBAGE COLLECT
3541.70/3551.91 c #Conflicts: 1084000 | #Constraints: 22476
3541.70/3551.91 c #Conflicts: 1085000 | #Constraints: 23476
3541.70/3551.91 c #Conflicts: 1086000 | #Constraints: 24476
3541.70/3551.91 c #Conflicts: 1087000 | #Constraints: 25476
3541.70/3551.91 c #Conflicts: 1088000 | #Constraints: 26476
3541.70/3551.91 c #Conflicts: 1089000 | #Constraints: 27476
3541.70/3551.91 c #Conflicts: 1090000 | #Constraints: 28476
3541.70/3551.91 c #Conflicts: 1091000 | #Constraints: 29476
3541.70/3551.91 c #Conflicts: 1092000 | #Constraints: 30476
3541.70/3551.91 c #Conflicts: 1093000 | #Constraints: 31476
3541.70/3551.91 c #Conflicts: 1094000 | #Constraints: 32476
3541.70/3551.91 c #Conflicts: 1095000 | #Constraints: 33476
3541.70/3551.91 c #Conflicts: 1096000 | #Constraints: 34476
3541.70/3551.91 c #Conflicts: 1097000 | #Constraints: 35476
3541.70/3551.91 c #Conflicts: 1098000 | #Constraints: 36476
3541.70/3551.91 c #Conflicts: 1099000 | #Constraints: 37476
3541.70/3551.91 c #Conflicts: 1100000 | #Constraints: 38476
3541.70/3551.91 c #Conflicts: 1101000 | #Constraints: 39476
3541.70/3551.91 c #Conflicts: 1102000 | #Constraints: 40476
3541.70/3551.91 c #Conflicts: 1103000 | #Constraints: 41476
3541.70/3551.91 c #Conflicts: 1104000 | #Constraints: 42476
3541.70/3551.91 c INPROCESSING
3541.70/3551.91 c GARBAGE COLLECT
3541.70/3551.91 c #Conflicts: 1105000 | #Constraints: 22678
3541.70/3551.91 c #Conflicts: 1106000 | #Constraints: 23678
3541.70/3551.91 c #Conflicts: 1107000 | #Constraints: 24678
3541.70/3551.91 c #Conflicts: 1108000 | #Constraints: 25678
3541.70/3551.91 c #Conflicts: 1109000 | #Constraints: 26678
3541.70/3551.91 c #Conflicts: 1110000 | #Constraints: 27678
3541.70/3551.91 c #Conflicts: 1111000 | #Constraints: 28678
3541.70/3551.91 c #Conflicts: 1112000 | #Constraints: 29678
3541.70/3551.91 c #Conflicts: 1113000 | #Constraints: 30678
3541.70/3551.91 c #Conflicts: 1114000 | #Constraints: 31678
3541.70/3551.91 c #Conflicts: 1115000 | #Constraints: 32678
3541.70/3551.91 c #Conflicts: 1116000 | #Constraints: 33678
3541.70/3551.91 c #Conflicts: 1117000 | #Constraints: 34678
3541.70/3551.91 c #Conflicts: 1118000 | #Constraints: 35678
3541.70/3551.91 c #Conflicts: 1119000 | #Constraints: 36678
3541.70/3551.91 c #Conflicts: 1120000 | #Constraints: 37678
3541.70/3551.91 c #Conflicts: 1121000 | #Constraints: 38678
3600.03/3610.40 c #Conflicts: 1122000 | #Constraints: 39678
3600.03/3610.40 c #Conflicts: 1123000 | #Constraints: 40678
3600.03/3610.40 c #Conflicts: 1124000 | #Constraints: 41678
3600.03/3610.40 c #Conflicts: 1125000 | #Constraints: 42678
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 1126000 | #Constraints: 22701
3600.03/3610.40 c #Conflicts: 1127000 | #Constraints: 23701
3600.03/3610.40 c #Conflicts: 1128000 | #Constraints: 24701
3600.03/3610.40 c #Conflicts: 1129000 | #Constraints: 25701
3600.03/3610.40 c #Conflicts: 1130000 | #Constraints: 26701
3600.03/3610.40 c #Conflicts: 1131000 | #Constraints: 27701
3600.03/3610.40 c #Conflicts: 1132000 | #Constraints: 28701
3600.03/3610.40 c #Conflicts: 1133000 | #Constraints: 29701
3600.03/3610.40 c #Conflicts: 1134000 | #Constraints: 30701
3600.03/3610.40 c #Conflicts: 1135000 | #Constraints: 31701
3600.03/3610.40 c #Conflicts: 1136000 | #Constraints: 32701
3600.03/3610.40 c #Conflicts: 1137000 | #Constraints: 33701
3600.03/3610.40 c #Conflicts: 1138000 | #Constraints: 34701
3600.03/3610.40 c #Conflicts: 1139000 | #Constraints: 35701
3600.03/3610.40 c #Conflicts: 1140000 | #Constraints: 36701
3600.03/3610.40 c #Conflicts: 1141000 | #Constraints: 37701
3600.03/3610.40 c #Conflicts: 1142000 | #Constraints: 38701
3600.03/3610.40 c #Conflicts: 1143000 | #Constraints: 39701
3600.03/3610.40 c #Conflicts: 1144000 | #Constraints: 40701
3600.03/3610.40 c #Conflicts: 1145000 | #Constraints: 41701
3600.03/3610.40 c Program interrupted by user.
3600.03/3610.40 c cpu time 3587.15 s
3600.03/3610.40 c deterministic time 766981711064 7.67e+11
3600.03/3610.40 c optimization time 32.1095 s
3600.03/3610.40 c total solve time 3255.98 s
3600.03/3610.40 c core-guided solve time 0 s
3600.03/3610.40 c propagation time 2665.97 s
3600.03/3610.40 c conflict analysis time 547.555 s
3600.03/3610.40 c propagations 466105232
3600.03/3610.40 c resolve steps 9893193
3600.03/3610.40 c decisions 10424949
3600.03/3610.40 c conflicts 1145674
3600.03/3610.40 c restarts 2109
3600.03/3610.40 c inprocessing phases 97
3600.03/3610.40 c input clauses 97
3600.03/3610.40 c input cardinalities 97
3600.03/3610.40 c input general constraints 576
3600.03/3610.40 c input average constraint length 94.42
3600.03/3610.40 c input average constraint degree 845.01
3600.03/3610.40 c learned clauses 120620
3600.03/3610.40 c learned cardinalities 16783
3600.03/3610.40 c learned general constraints 1008270
3600.03/3610.40 c learned average constraint length 854.32
3600.03/3610.40 c learned average constraint degree 70467534.14
3600.03/3610.40 c watched constraints 790423
3600.03/3610.40 c counting constraints 218423
3600.03/3610.40 c gcd simplifications 78974
3600.03/3610.40 c detected cardinalities 399
3600.03/3610.40 c weakened non-implied lits 129132173
3600.03/3610.40 c weakened non-implying lits 108276
3600.03/3610.40 c original variables 8424
3600.03/3610.40 c clausal propagations 1514237
3600.03/3610.40 c cardinality propagations 9025753
3600.03/3610.40 c watched propagations 24088344
3600.03/3610.40 c counting propagations 429345157
3600.03/3610.40 c watch lookups 26580891932
3600.03/3610.40 c watch backjump lookups 23997647518
3600.03/3610.40 c watch checks 610959412931
3600.03/3610.40 c propagation checks 100762520224
3600.03/3610.40 c constraint additions 3727038165
3600.03/3610.40 c trail pops 477670112
3600.03/3610.40 c formula constraints 770
3600.03/3610.40 c learned constraints 1145673
3600.03/3610.40 c bound constraints 0
3600.03/3610.40 c core-guided constraints 0
3600.03/3610.40 c encountered formula constraints 5647064
3600.03/3610.40 c encountered learned constraints 5391803
3600.03/3610.40 c encountered bound constraints 0
3600.03/3610.40 c encountered core-guided constraints 0
3600.03/3610.40 c LP total time 0 s
3600.03/3610.40 c LP solve time 0 s
3600.03/3610.40 c LP constraints added 0
3600.03/3610.40 c LP constraints removed 0
3600.03/3610.40 c LP pivots internal 0
3600.03/3610.40 c LP pivots root 0
3600.03/3610.40 c LP calls 0
3600.03/3610.40 c LP optimalities 0
3600.03/3610.40 c LP no pivot count 0
3600.03/3610.40 c LP infeasibilities 0
3600.03/3610.40 c LP valid Farkas constraints 0
3600.03/3610.40 c LP learned Farkas constraints 0
3600.03/3610.40 c LP basis resets 0
3600.03/3610.40 c LP cycling count 0
3600.03/3610.40 c LP singular count 0
3600.03/3610.40 c LP no primal count 0
3600.03/3610.40 c LP no farkas count 0
3600.03/3610.40 c LP other issue count 0
3600.03/3610.40 c LP Gomory cuts 0
3600.03/3610.40 c LP learned cuts 0
3600.03/3610.40 c LP deleted cuts 0
3600.03/3610.40 c LP encountered Gomory constraints 0
3600.03/3610.40 c LP encountered Farkas constraints 0
3600.03/3610.40 c LP encountered learned Farkas constraints 0
3600.03/3610.40 c CG auxiliary variables introduced 0
3600.03/3610.40 c CG solutions found 0
3600.03/3610.40 c CG cores constructed 0
3600.03/3610.40 c CG core cardinality constraints returned 0
3600.03/3610.40 c CG unit cores 0
3600.03/3610.40 c CG single cores 0
3600.03/3610.40 c CG blocks removed during cardinality reduction 0
3600.03/3610.40 c CG first core best 0
3600.03/3610.40 c CG decision core best 0
3600.03/3610.40 c CG core reduction tie 0
3600.03/3610.40 c CG core degree average 0.00
3600.03/3610.40 c CG core slack average 0.00
3600.03/3610.40 c CG exhausted 0
3600.03/3610.40 c CG exhaust time 0 s
3600.03/3610.40 c CG trimmed 0
3600.03/3610.40 c CG trim time 0 s
3600.03/3610.40 c CG minimized 0
3600.03/3610.40 c CG minimize time 0 s
3600.03/3610.40 c CG am1 prop time 0 s
3600.03/3610.40 c CG # am1s reformulated 0
3600.03/3610.40 c CG lower bound derived from am1s 0
3600.03/3610.40 c CG # clausal cores 0
3600.03/3610.40 c CG # cardinality cores 0
3600.03/3610.40 c CG # pb cores 0
3600.03/3610.40 c CG # pb reforms 0
3600.03/3610.40 c CG # cores discarded because of pb reform 0
3600.03/3610.40 d LOWERBOUND 0
3600.03/3610.40 d NCORES 0
3600.03/3610.40 d NPBCORES 0
3600.03/3610.40 d NPBREFORM 0
3600.03/3610.40 d NTRIMMED 0
3600.03/3610.40 d NEXHAUSTED 0
3600.03/3610.40 d NAM1S 0
3600.03/3610.40 d AM1LB 0
3600.03/3610.40 c [Papilo Statistics]
3600.03/3610.40 c prepro time 0.0309127s
3600.03/3610.40 c # tsx applied 18
3600.03/3610.40 c # tsx conflicts 0
3600.03/3610.40 c # bound changes 9
3600.03/3610.40 c # side changes 0
3600.03/3610.40 c # coef changes 0
3600.03/3610.40 c # rounds 2
3600.03/3610.40 c # deted vars 9
3600.03/3610.40 c # deted constrs 8416
3600.03/3610.40 c # consecutive rounds of only bound changes 0
3600.03/3610.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50481 MiB free)
memory of node 1: 64465 MiB (55103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498973-1751401310/watcher-4498973-1751401310 -o /tmp/evaluation-result-4498973-1751401310/solver-4498973-1751401310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55038 --watchdog 3760 mixed-bag HOME/instance-4498973-1751401310.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55935, runsolver pid=55932
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.23 4.18 4.14 5/268 55936
/proc/meminfo: memFree=108102644/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=108120 memory=27928 CPUtime=0.08 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 5449 0 0 0 7 1 0 0 20 0 1 0 55809609 110714880 6982 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 27030 6982 2304 2842 0 8724 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 108120 KiB
Current children cumulated memory: 27928 KiB
[startup+0.205605 s]*
/proc/loadavg: 4.23 4.18 4.14 5/268 55936
/proc/meminfo: memFree=108064340/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=145100 memory=70040 CPUtime=0.19 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 14366 0 0 0 16 3 0 0 20 0 1 0 55809609 148582400 17510 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 36275 17510 4032 2842 0 17969 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 145100 KiB
Current children cumulated memory: 70040 KiB
[startup+0.305552 s]*
/proc/loadavg: 4.23 4.18 4.14 5/268 55936
/proc/meminfo: memFree=108062576/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=150892 memory=75408 CPUtime=0.29 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 17388 0 0 0 26 3 0 0 20 0 1 0 55809609 154513408 18852 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 37723 18852 4064 2842 0 19417 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 150892 KiB
Current children cumulated memory: 75408 KiB
[startup+0.700162 s]
/proc/loadavg: 4.23 4.18 4.14 5/268 55936
/proc/meminfo: memFree=108033344/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=199728 memory=109716 CPUtime=0.67 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 25568 0 0 0 64 3 0 0 20 0 1 0 55809609 204521472 27429 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 49932 27429 4096 2842 0 31626 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 199728 KiB
Current children cumulated memory: 109716 KiB
[startup+1.50016 s]
/proc/loadavg: 4.21 4.18 4.14 5/268 55936
/proc/meminfo: memFree=108026016/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=208904 memory=118420 CPUtime=1.48 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 27730 0 0 0 144 4 0 0 20 0 1 0 55809609 213917696 29605 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 52226 29605 4096 2842 0 33920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 118420 KiB
[startup+3.10545 s]
/proc/loadavg: 4.21 4.18 4.14 5/267 55936
/proc/meminfo: memFree=107957844/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=253824 memory=164756 CPUtime=3.07 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 39320 0 0 0 301 6 0 0 20 0 1 0 55809609 259915776 41189 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 63456 41189 4096 2842 0 45150 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 253824 KiB
Current children cumulated memory: 164756 KiB
[startup+6.30016 s]
/proc/loadavg: 4.19 4.17 4.14 5/267 55936
/proc/meminfo: memFree=107974956/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=256336 memory=167188 CPUtime=6.26 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 39934 0 0 0 619 7 0 0 20 0 1 0 55809609 262488064 41797 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 64084 41797 4096 2842 0 45778 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 256336 KiB
Current children cumulated memory: 167188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.17 4.14 5/267 55936
/proc/meminfo: memFree=107928780/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=340824 memory=250504 CPUtime=12.64 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 61435 0 0 0 1254 10 0 0 20 0 1 0 55809609 349003776 62626 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 85206 62626 4256 2842 0 66900 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 340824 KiB
Current children cumulated memory: 250504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.17 4.14 5/267 55936
/proc/meminfo: memFree=107974140/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=395228 memory=304804 CPUtime=25.4 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 83492 0 0 0 2526 14 0 0 20 0 1 0 55809609 404713472 76201 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 98807 76201 4256 2842 0 80501 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 395228 KiB
Current children cumulated memory: 304804 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.15 4.13 5/267 55937
/proc/meminfo: memFree=108129592/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=406824 memory=316276 CPUtime=50.93 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 88609 0 0 0 5078 15 0 0 20 0 1 0 55809609 416587776 79069 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 101706 79069 4256 2842 0 83400 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 406824 KiB
Current children cumulated memory: 316276 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/265 55938
/proc/meminfo: memFree=108250448/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=406824 memory=316532 CPUtime=101.96 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 88677 0 0 0 10181 15 0 0 20 0 1 0 55809609 416587776 79133 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 101706 79133 4256 2842 0 83400 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 406824 KiB
Current children cumulated memory: 316532 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/265 55940
/proc/meminfo: memFree=108199436/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=418660 memory=327924 CPUtime=161.77 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 91527 0 0 0 16161 16 0 0 20 0 1 0 55809609 428707840 81981 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 104665 81981 4256 2842 0 86359 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 418660 KiB
Current children cumulated memory: 327924 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/265 55942
/proc/meminfo: memFree=108076188/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=496444 memory=402672 CPUtime=221.58 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 111823 0 0 0 22138 20 0 0 20 0 1 0 55809609 508358656 100668 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 124111 100668 4256 2842 0 105805 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 496444 KiB
Current children cumulated memory: 402672 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.11 4.11 5/264 55944
/proc/meminfo: memFree=108064124/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=496444 memory=402928 CPUtime=281.4 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 111885 0 0 0 28119 21 0 0 20 0 1 0 55809609 508358656 100732 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 124111 100732 4256 2842 0 105805 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 496444 KiB
Current children cumulated memory: 402928 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 55953
/proc/meminfo: memFree=108015272/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=510768 memory=429576 CPUtime=341.23 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 114972 0 0 0 34051 72 0 0 20 0 1 0 55809609 523026432 107394 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 127692 107394 4352 2842 0 109386 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 510768 KiB
Current children cumulated memory: 429576 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/263 55955
/proc/meminfo: memFree=107980404/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=541588 memory=456372 CPUtime=401.05 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 115552 0 0 0 39986 119 0 0 20 0 1 0 55809609 554586112 114093 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 135397 114093 4352 2842 0 117091 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 541588 KiB
Current children cumulated memory: 456372 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/263 55957
/proc/meminfo: memFree=107913384/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=591676 memory=478080 CPUtime=460.85 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 115965 0 0 0 45904 181 0 0 20 0 1 0 55809609 605876224 119520 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 147919 119520 4352 2842 0 129613 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 682988 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 56080
/proc/meminfo: memFree=107484396/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=868756 memory=685676 CPUtime=2854.12 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 127816 0 0 0 284288 1124 0 0 20 0 1 0 55809609 889606144 171419 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 217189 171419 4352 2842 0 198883 0
Current children cumulated CPU time: 2854.12 s
Current children cumulated vsize: 868756 KiB
Current children cumulated memory: 685676 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56082
/proc/meminfo: memFree=107484492/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=876180 memory=691692 CPUtime=2913.95 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 129346 0 0 0 290263 1132 0 0 20 0 1 0 55809609 897208320 172923 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 219045 172923 4352 2842 0 200739 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 876180 KiB
Current children cumulated memory: 691692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 56086
/proc/meminfo: memFree=107428280/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=881624 memory=698216 CPUtime=2973.78 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 130452 0 0 0 296235 1143 0 0 20 0 1 0 55809609 902782976 174554 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 220406 174554 4352 2842 0 202100 0
Current children cumulated CPU time: 2973.78 s
Current children cumulated vsize: 881624 KiB
Current children cumulated memory: 698216 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 56088
/proc/meminfo: memFree=107427400/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=881624 memory=698216 CPUtime=3033.61 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 130452 0 0 0 302208 1153 0 0 20 0 1 0 55809609 902782976 174554 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 220406 174554 4352 2842 0 202100 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 881624 KiB
Current children cumulated memory: 698216 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 56090
/proc/meminfo: memFree=107427504/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=881944 memory=698344 CPUtime=3093.44 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 130499 0 0 0 308185 1159 0 0 20 0 1 0 55809609 903110656 174586 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 220486 174586 4352 2842 0 202180 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 881944 KiB
Current children cumulated memory: 698344 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 56092
/proc/meminfo: memFree=107427376/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=883328 memory=699496 CPUtime=3153.27 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 130770 0 0 0 314151 1176 0 0 20 0 1 0 55809609 904527872 174874 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 220832 174874 4352 2842 0 202526 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 883328 KiB
Current children cumulated memory: 699496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 56094
/proc/meminfo: memFree=107427488/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=886308 memory=701544 CPUtime=3213.1 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 131301 0 0 0 320118 1192 0 0 20 0 1 0 55809609 907579392 175386 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 221577 175386 4352 2842 0 203271 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 886308 KiB
Current children cumulated memory: 701544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.34 4.17 4.12 5/262 56096
/proc/meminfo: memFree=107419292/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=891064 memory=705512 CPUtime=3272.93 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 132297 0 0 0 326089 1204 0 0 20 0 1 0 55809609 912449536 176378 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 222766 176378 4352 2842 0 204460 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 891064 KiB
Current children cumulated memory: 705512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 56326
/proc/meminfo: memFree=108438692/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=891800 memory=706024 CPUtime=3332.76 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 132414 0 0 0 332062 1214 0 0 20 0 1 0 55809609 913203200 176506 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 222950 176506 4352 2842 0 204644 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 891800 KiB
Current children cumulated memory: 706024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 56333
/proc/meminfo: memFree=108397504/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=895896 memory=709096 CPUtime=3392.57 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 133184 0 0 0 338037 1220 0 0 20 0 1 0 55809609 917397504 177274 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 223974 177274 4352 2842 0 205668 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 895896 KiB
Current children cumulated memory: 709096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/265 56335
/proc/meminfo: memFree=108325336/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=900008 memory=717288 CPUtime=3452.39 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 134058 0 0 0 344000 1239 0 0 20 0 1 0 55809609 921608192 179322 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 225002 179322 4352 2842 0 206696 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 900008 KiB
Current children cumulated memory: 717288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 56337
/proc/meminfo: memFree=108285088/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=901800 memory=733800 CPUtime=3512.2 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 134412 0 0 0 349968 1252 0 0 20 0 1 0 55809609 923443200 183450 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 225450 183450 4352 2842 0 207144 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 901800 KiB
Current children cumulated memory: 733800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 56351
/proc/meminfo: memFree=108267804/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=903212 memory=734824 CPUtime=3572 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 134727 0 0 0 355932 1268 0 0 20 0 1 0 55809609 924889088 183706 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 225803 183706 4352 2842 0 207497 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 903212 KiB
Current children cumulated memory: 734824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.14 4.12 4.10 5/265 56398
/proc/meminfo: memFree=108521544/131249988 swapFree=33010416/33010684
[pid=55935] ppid=55932 vsize=903212 memory=734824 CPUtime=3600.03 cores=5,7
/proc/55935/stat : 55935 (mixed-bag) R 55932 55935 55025 0 -1 4194304 134727 0 0 0 358715 1288 0 0 20 0 1 0 55809609 924889088 183706 18446744073709551615 4235264 15874749 140736056327360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 47878144 140736056334748 140736056334825 140736056334825 140736056340427 0
/proc/55935/statm: 225803 183706 4352 2842 0 207497 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 903212 KiB
Current children cumulated memory: 734824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 55935 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.16 s, system=12.8853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.04
CPU user time (s): 3587.16
CPU system time (s): 12.8853
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 903212
Max. memory (cumulated for all children) (KiB): 734824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.16
system time used= 12.8853
maximum resident set size= 735336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134756
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= 244
involuntary context switches= 20551
# summary of solver processes directly reported to runsolver:
# pid: 55935
# total CPU time (s): 3600.04
# total CPU user time (s): 3587.16
# total CPU system time (s): 12.8853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5665 second user time and 15.8565 second system time
The end
Begin job on nodeC031 at 2025-07-01 22:21:51
IDJOB=4498973
IDBENCH=148768
IDSOLVER=3340
FILE ID=nodeC031/4498973-1751401310
RUNJOBID= nodeC031-1751397381-55038
SLURM_JOB_ID= 9598276
Free space on /tmp= 432672 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498973-1751401310/watcher-4498973-1751401310 -o /tmp/evaluation-result-4498973-1751401310/solver-4498973-1751401310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55038 --watchdog 3760 mixed-bag HOME/instance-4498973-1751401310.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=678449441
nodeC031 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.911
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.78
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.918
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.78
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 : 3596.602
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.78
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 : 3632.409
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.78
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.886
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.78
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.869
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.78
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 : 3535.651
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.78
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 : 3661.832
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108119928 kB
MemAvailable: 128075592 kB
Buffers: 2128 kB
Cached: 20642024 kB
SwapCached: 12 kB
Active: 1466276 kB
Inactive: 20236092 kB
Active(anon): 1065796 kB
Inactive(anon): 10472 kB
Active(file): 400480 kB
Inactive(file): 20225620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16380 kB
Writeback: 0 kB
AnonPages: 1057328 kB
Mapped: 139424 kB
Shmem: 18052 kB
KReclaimable: 337608 kB
Slab: 428936 kB
SReclaimable: 337608 kB
SUnreclaim: 91328 kB
KernelStack: 4320 kB
PageTables: 5492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1513992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 489472 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC031 at 2025-07-01 23:22:01