0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.29/300.18 c [STEP] preprocessing done, loading into solver
299.29/300.19 c [STEP] solving
299.29/300.19 c #variables 8416 #constraints 770
349.85/350.87 c #Conflicts: 1000 | #Constraints: 1769
349.85/350.87 c #Conflicts: 2000 | #Constraints: 2769
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 3000 | #Constraints: 2781
349.85/350.87 c #Conflicts: 4000 | #Constraints: 3781
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 5000 | #Constraints: 3197
349.85/350.87 c #Conflicts: 6000 | #Constraints: 4197
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 7000 | #Constraints: 3201
349.85/350.87 c #Conflicts: 8000 | #Constraints: 4201
349.85/350.87 c #Conflicts: 9000 | #Constraints: 5201
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 10000 | #Constraints: 3897
349.85/350.87 c #Conflicts: 11000 | #Constraints: 4897
349.85/350.87 c #Conflicts: 12000 | #Constraints: 5897
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 13000 | #Constraints: 4347
349.85/350.87 c #Conflicts: 14000 | #Constraints: 5347
349.85/350.87 c #Conflicts: 15000 | #Constraints: 6347
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 16000 | #Constraints: 4570
349.85/350.87 c #Conflicts: 17000 | #Constraints: 5570
349.85/350.87 c #Conflicts: 18000 | #Constraints: 6570
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 19000 | #Constraints: 4599
349.85/350.87 c #Conflicts: 20000 | #Constraints: 5599
349.85/350.87 c #Conflicts: 21000 | #Constraints: 6599
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 22000 | #Constraints: 4402
349.85/350.87 c #Conflicts: 23000 | #Constraints: 5402
349.85/350.87 c #Conflicts: 24000 | #Constraints: 6402
349.85/350.87 c #Conflicts: 25000 | #Constraints: 7402
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 26000 | #Constraints: 5002
349.85/350.87 c #Conflicts: 27000 | #Constraints: 6002
349.85/350.87 c #Conflicts: 28000 | #Constraints: 7002
349.85/350.87 c #Conflicts: 29000 | #Constraints: 8002
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 30000 | #Constraints: 5395
349.85/350.87 c #Conflicts: 31000 | #Constraints: 6395
349.85/350.87 c #Conflicts: 32000 | #Constraints: 7395
349.85/350.87 c #Conflicts: 33000 | #Constraints: 8395
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 34000 | #Constraints: 5596
349.85/350.87 c #Conflicts: 35000 | #Constraints: 6596
349.85/350.87 c #Conflicts: 36000 | #Constraints: 7596
349.85/350.87 c #Conflicts: 37000 | #Constraints: 8596
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 38000 | #Constraints: 5609
349.85/350.87 c #Conflicts: 39000 | #Constraints: 6609
349.85/350.87 c #Conflicts: 40000 | #Constraints: 7609
349.85/350.87 c #Conflicts: 41000 | #Constraints: 8609
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 42000 | #Constraints: 5444
349.85/350.87 c #Conflicts: 43000 | #Constraints: 6444
349.85/350.87 c #Conflicts: 44000 | #Constraints: 7444
349.85/350.87 c #Conflicts: 45000 | #Constraints: 8444
349.85/350.87 c #Conflicts: 46000 | #Constraints: 9444
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 47000 | #Constraints: 6025
349.85/350.87 c #Conflicts: 48000 | #Constraints: 7025
349.85/350.87 c #Conflicts: 49000 | #Constraints: 8025
349.85/350.87 c #Conflicts: 50000 | #Constraints: 9025
349.85/350.87 c #Conflicts: 51000 | #Constraints: 10025
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 52000 | #Constraints: 6415
349.85/350.87 c #Conflicts: 53000 | #Constraints: 7415
349.85/350.87 c #Conflicts: 54000 | #Constraints: 8415
349.85/350.87 c #Conflicts: 55000 | #Constraints: 9415
349.85/350.87 c #Conflicts: 56000 | #Constraints: 10415
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 57000 | #Constraints: 6603
349.85/350.87 c #Conflicts: 58000 | #Constraints: 7603
349.85/350.87 c #Conflicts: 59000 | #Constraints: 8603
349.85/350.87 c #Conflicts: 60000 | #Constraints: 9603
349.85/350.87 c #Conflicts: 61000 | #Constraints: 10603
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 62000 | #Constraints: 6602
349.85/350.87 c #Conflicts: 63000 | #Constraints: 7602
349.85/350.87 c #Conflicts: 64000 | #Constraints: 8602
349.85/350.87 c #Conflicts: 65000 | #Constraints: 9602
349.85/350.87 c #Conflicts: 66000 | #Constraints: 10602
349.85/350.87 c INPROCESSING
349.85/350.87 c GARBAGE COLLECT
349.85/350.87 c #Conflicts: 67000 | #Constraints: 6411
349.85/350.87 c #Conflicts: 68000 | #Constraints: 7411
444.31/445.57 c #Conflicts: 69000 | #Constraints: 8411
444.31/445.57 c #Conflicts: 70000 | #Constraints: 9411
444.31/445.57 c #Conflicts: 71000 | #Constraints: 10411
444.31/445.57 c #Conflicts: 72000 | #Constraints: 11411
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 73000 | #Constraints: 6998
444.31/445.57 c #Conflicts: 74000 | #Constraints: 7998
444.31/445.57 c #Conflicts: 75000 | #Constraints: 8998
444.31/445.57 c #Conflicts: 76000 | #Constraints: 9998
444.31/445.57 c #Conflicts: 77000 | #Constraints: 10998
444.31/445.57 c #Conflicts: 78000 | #Constraints: 11998
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 79000 | #Constraints: 7399
444.31/445.57 c #Conflicts: 80000 | #Constraints: 8399
444.31/445.57 c #Conflicts: 81000 | #Constraints: 9399
444.31/445.57 c #Conflicts: 82000 | #Constraints: 10399
444.31/445.57 c #Conflicts: 83000 | #Constraints: 11399
444.31/445.57 c #Conflicts: 84000 | #Constraints: 12399
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 85000 | #Constraints: 7617
444.31/445.57 c #Conflicts: 86000 | #Constraints: 8617
444.31/445.57 c #Conflicts: 87000 | #Constraints: 9617
444.31/445.57 c #Conflicts: 88000 | #Constraints: 10617
444.31/445.57 c #Conflicts: 89000 | #Constraints: 11617
444.31/445.57 c #Conflicts: 90000 | #Constraints: 12617
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 91000 | #Constraints: 7610
444.31/445.57 c #Conflicts: 92000 | #Constraints: 8610
444.31/445.57 c #Conflicts: 93000 | #Constraints: 9610
444.31/445.57 c #Conflicts: 94000 | #Constraints: 10610
444.31/445.57 c #Conflicts: 95000 | #Constraints: 11610
444.31/445.57 c #Conflicts: 96000 | #Constraints: 12610
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 97000 | #Constraints: 7435
444.31/445.57 c #Conflicts: 98000 | #Constraints: 8435
444.31/445.57 c #Conflicts: 99000 | #Constraints: 9435
444.31/445.57 c #Conflicts: 100000 | #Constraints: 10435
444.31/445.57 c #Conflicts: 101000 | #Constraints: 11435
444.31/445.57 c #Conflicts: 102000 | #Constraints: 12435
444.31/445.57 c #Conflicts: 103000 | #Constraints: 13435
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 104000 | #Constraints: 8015
444.31/445.57 c #Conflicts: 105000 | #Constraints: 9015
444.31/445.57 c #Conflicts: 106000 | #Constraints: 10015
444.31/445.57 c #Conflicts: 107000 | #Constraints: 11015
444.31/445.57 c #Conflicts: 108000 | #Constraints: 12015
444.31/445.57 c #Conflicts: 109000 | #Constraints: 13015
444.31/445.57 c #Conflicts: 110000 | #Constraints: 14015
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 111000 | #Constraints: 8415
444.31/445.57 c #Conflicts: 112000 | #Constraints: 9415
444.31/445.57 c #Conflicts: 113000 | #Constraints: 10415
444.31/445.57 c #Conflicts: 114000 | #Constraints: 11415
444.31/445.57 c #Conflicts: 115000 | #Constraints: 12415
444.31/445.57 c #Conflicts: 116000 | #Constraints: 13415
444.31/445.57 c #Conflicts: 117000 | #Constraints: 14415
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 118000 | #Constraints: 8608
444.31/445.57 c #Conflicts: 119000 | #Constraints: 9608
444.31/445.57 c #Conflicts: 120000 | #Constraints: 10608
444.31/445.57 c #Conflicts: 121000 | #Constraints: 11608
444.31/445.57 c #Conflicts: 122000 | #Constraints: 12608
444.31/445.57 c #Conflicts: 123000 | #Constraints: 13608
444.31/445.57 c #Conflicts: 124000 | #Constraints: 14608
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 125000 | #Constraints: 8604
444.31/445.57 c #Conflicts: 126000 | #Constraints: 9604
444.31/445.57 c #Conflicts: 127000 | #Constraints: 10604
444.31/445.57 c #Conflicts: 128000 | #Constraints: 11604
444.31/445.57 c #Conflicts: 129000 | #Constraints: 12604
444.31/445.57 c #Conflicts: 130000 | #Constraints: 13604
444.31/445.57 c #Conflicts: 131000 | #Constraints: 14604
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 132000 | #Constraints: 8398
444.31/445.57 c #Conflicts: 133000 | #Constraints: 9398
444.31/445.57 c #Conflicts: 134000 | #Constraints: 10398
444.31/445.57 c #Conflicts: 135000 | #Constraints: 11398
444.31/445.57 c #Conflicts: 136000 | #Constraints: 12398
444.31/445.57 c #Conflicts: 137000 | #Constraints: 13398
444.31/445.57 c #Conflicts: 138000 | #Constraints: 14398
444.31/445.57 c #Conflicts: 139000 | #Constraints: 15398
444.31/445.57 c INPROCESSING
444.31/445.57 c GARBAGE COLLECT
444.31/445.57 c #Conflicts: 140000 | #Constraints: 9019
582.25/583.83 c #Conflicts: 141000 | #Constraints: 10019
582.25/583.83 c #Conflicts: 142000 | #Constraints: 11019
582.25/583.83 c #Conflicts: 143000 | #Constraints: 12019
582.25/583.83 c #Conflicts: 144000 | #Constraints: 13019
582.25/583.83 c #Conflicts: 145000 | #Constraints: 14019
582.25/583.83 c #Conflicts: 146000 | #Constraints: 15019
582.25/583.83 c #Conflicts: 147000 | #Constraints: 16019
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 148000 | #Constraints: 9430
582.25/583.83 c #Conflicts: 149000 | #Constraints: 10430
582.25/583.83 c #Conflicts: 150000 | #Constraints: 11430
582.25/583.83 c #Conflicts: 151000 | #Constraints: 12430
582.25/583.83 c #Conflicts: 152000 | #Constraints: 13430
582.25/583.83 c #Conflicts: 153000 | #Constraints: 14430
582.25/583.83 c #Conflicts: 154000 | #Constraints: 15430
582.25/583.83 c #Conflicts: 155000 | #Constraints: 16430
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 156000 | #Constraints: 9621
582.25/583.83 c #Conflicts: 157000 | #Constraints: 10621
582.25/583.83 c #Conflicts: 158000 | #Constraints: 11621
582.25/583.83 c #Conflicts: 159000 | #Constraints: 12621
582.25/583.83 c #Conflicts: 160000 | #Constraints: 13621
582.25/583.83 c #Conflicts: 161000 | #Constraints: 14621
582.25/583.83 c #Conflicts: 162000 | #Constraints: 15621
582.25/583.83 c #Conflicts: 163000 | #Constraints: 16621
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 164000 | #Constraints: 9640
582.25/583.83 c #Conflicts: 165000 | #Constraints: 10640
582.25/583.83 c #Conflicts: 166000 | #Constraints: 11640
582.25/583.83 c #Conflicts: 167000 | #Constraints: 12640
582.25/583.83 c #Conflicts: 168000 | #Constraints: 13640
582.25/583.83 c #Conflicts: 169000 | #Constraints: 14640
582.25/583.83 c #Conflicts: 170000 | #Constraints: 15640
582.25/583.83 c #Conflicts: 171000 | #Constraints: 16640
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 172000 | #Constraints: 9420
582.25/583.83 c #Conflicts: 173000 | #Constraints: 10420
582.25/583.83 c #Conflicts: 174000 | #Constraints: 11420
582.25/583.83 c #Conflicts: 175000 | #Constraints: 12420
582.25/583.83 c #Conflicts: 176000 | #Constraints: 13420
582.25/583.83 c #Conflicts: 177000 | #Constraints: 14420
582.25/583.83 c #Conflicts: 178000 | #Constraints: 15420
582.25/583.83 c #Conflicts: 179000 | #Constraints: 16420
582.25/583.83 c #Conflicts: 180000 | #Constraints: 17420
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 181000 | #Constraints: 10019
582.25/583.83 c #Conflicts: 182000 | #Constraints: 11019
582.25/583.83 c #Conflicts: 183000 | #Constraints: 12019
582.25/583.83 c #Conflicts: 184000 | #Constraints: 13019
582.25/583.83 c #Conflicts: 185000 | #Constraints: 14019
582.25/583.83 c #Conflicts: 186000 | #Constraints: 15019
582.25/583.83 c #Conflicts: 187000 | #Constraints: 16019
582.25/583.83 c #Conflicts: 188000 | #Constraints: 17019
582.25/583.83 c #Conflicts: 189000 | #Constraints: 18019
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 190000 | #Constraints: 10429
582.25/583.83 c #Conflicts: 191000 | #Constraints: 11429
582.25/583.83 c #Conflicts: 192000 | #Constraints: 12429
582.25/583.83 c #Conflicts: 193000 | #Constraints: 13429
582.25/583.83 c #Conflicts: 194000 | #Constraints: 14429
582.25/583.83 c #Conflicts: 195000 | #Constraints: 15429
582.25/583.83 c #Conflicts: 196000 | #Constraints: 16429
582.25/583.83 c #Conflicts: 197000 | #Constraints: 17429
582.25/583.83 c #Conflicts: 198000 | #Constraints: 18429
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 199000 | #Constraints: 10671
582.25/583.83 c #Conflicts: 200000 | #Constraints: 11671
582.25/583.83 c #Conflicts: 201000 | #Constraints: 12671
582.25/583.83 c #Conflicts: 202000 | #Constraints: 13671
582.25/583.83 c #Conflicts: 203000 | #Constraints: 14671
582.25/583.83 c #Conflicts: 204000 | #Constraints: 15671
582.25/583.83 c #Conflicts: 205000 | #Constraints: 16671
582.25/583.83 c #Conflicts: 206000 | #Constraints: 17671
582.25/583.83 c #Conflicts: 207000 | #Constraints: 18671
582.25/583.83 c INPROCESSING
582.25/583.83 c GARBAGE COLLECT
582.25/583.83 c #Conflicts: 208000 | #Constraints: 10665
582.25/583.83 c #Conflicts: 209000 | #Constraints: 11665
582.25/583.83 c #Conflicts: 210000 | #Constraints: 12665
582.25/583.83 c #Conflicts: 211000 | #Constraints: 13665
582.25/583.83 c #Conflicts: 212000 | #Constraints: 14665
582.25/583.83 c #Conflicts: 213000 | #Constraints: 15665
710.32/712.23 c #Conflicts: 214000 | #Constraints: 16665
710.32/712.23 c #Conflicts: 215000 | #Constraints: 17665
710.32/712.23 c #Conflicts: 216000 | #Constraints: 18665
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 217000 | #Constraints: 10549
710.32/712.23 c #Conflicts: 218000 | #Constraints: 11549
710.32/712.23 c #Conflicts: 219000 | #Constraints: 12549
710.32/712.23 c #Conflicts: 220000 | #Constraints: 13549
710.32/712.23 c #Conflicts: 221000 | #Constraints: 14549
710.32/712.23 c #Conflicts: 222000 | #Constraints: 15549
710.32/712.23 c #Conflicts: 223000 | #Constraints: 16549
710.32/712.23 c #Conflicts: 224000 | #Constraints: 17549
710.32/712.23 c #Conflicts: 225000 | #Constraints: 18549
710.32/712.23 c #Conflicts: 226000 | #Constraints: 19549
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 227000 | #Constraints: 11148
710.32/712.23 c #Conflicts: 228000 | #Constraints: 12148
710.32/712.23 c #Conflicts: 229000 | #Constraints: 13148
710.32/712.23 c #Conflicts: 230000 | #Constraints: 14148
710.32/712.23 c #Conflicts: 231000 | #Constraints: 15148
710.32/712.23 c #Conflicts: 232000 | #Constraints: 16148
710.32/712.23 c #Conflicts: 233000 | #Constraints: 17148
710.32/712.23 c #Conflicts: 234000 | #Constraints: 18148
710.32/712.23 c #Conflicts: 235000 | #Constraints: 19148
710.32/712.23 c #Conflicts: 236000 | #Constraints: 20148
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 237000 | #Constraints: 11482
710.32/712.23 c #Conflicts: 238000 | #Constraints: 12482
710.32/712.23 c #Conflicts: 239000 | #Constraints: 13482
710.32/712.23 c #Conflicts: 240000 | #Constraints: 14482
710.32/712.23 c #Conflicts: 241000 | #Constraints: 15482
710.32/712.23 c #Conflicts: 242000 | #Constraints: 16482
710.32/712.23 c #Conflicts: 243000 | #Constraints: 17482
710.32/712.23 c #Conflicts: 244000 | #Constraints: 18482
710.32/712.23 c #Conflicts: 245000 | #Constraints: 19482
710.32/712.23 c #Conflicts: 246000 | #Constraints: 20482
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 247000 | #Constraints: 11670
710.32/712.23 c #Conflicts: 248000 | #Constraints: 12670
710.32/712.23 c #Conflicts: 249000 | #Constraints: 13670
710.32/712.23 c #Conflicts: 250000 | #Constraints: 14670
710.32/712.23 c #Conflicts: 251000 | #Constraints: 15670
710.32/712.23 c #Conflicts: 252000 | #Constraints: 16670
710.32/712.23 c #Conflicts: 253000 | #Constraints: 17670
710.32/712.23 c #Conflicts: 254000 | #Constraints: 18670
710.32/712.23 c #Conflicts: 255000 | #Constraints: 19670
710.32/712.23 c #Conflicts: 256000 | #Constraints: 20670
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 257000 | #Constraints: 11638
710.32/712.23 c #Conflicts: 258000 | #Constraints: 12638
710.32/712.23 c #Conflicts: 259000 | #Constraints: 13638
710.32/712.23 c #Conflicts: 260000 | #Constraints: 14638
710.32/712.23 c #Conflicts: 261000 | #Constraints: 15638
710.32/712.23 c #Conflicts: 262000 | #Constraints: 16638
710.32/712.23 c #Conflicts: 263000 | #Constraints: 17638
710.32/712.23 c #Conflicts: 264000 | #Constraints: 18638
710.32/712.23 c #Conflicts: 265000 | #Constraints: 19638
710.32/712.23 c #Conflicts: 266000 | #Constraints: 20638
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 267000 | #Constraints: 11431
710.32/712.23 c #Conflicts: 268000 | #Constraints: 12431
710.32/712.23 c #Conflicts: 269000 | #Constraints: 13431
710.32/712.23 c #Conflicts: 270000 | #Constraints: 14431
710.32/712.23 c #Conflicts: 271000 | #Constraints: 15431
710.32/712.23 c #Conflicts: 272000 | #Constraints: 16431
710.32/712.23 c #Conflicts: 273000 | #Constraints: 17431
710.32/712.23 c #Conflicts: 274000 | #Constraints: 18431
710.32/712.23 c #Conflicts: 275000 | #Constraints: 19431
710.32/712.23 c #Conflicts: 276000 | #Constraints: 20431
710.32/712.23 c #Conflicts: 277000 | #Constraints: 21431
710.32/712.23 c INPROCESSING
710.32/712.23 c GARBAGE COLLECT
710.32/712.23 c #Conflicts: 278000 | #Constraints: 12016
710.32/712.23 c #Conflicts: 279000 | #Constraints: 13016
710.32/712.23 c #Conflicts: 280000 | #Constraints: 14016
710.32/712.23 c #Conflicts: 281000 | #Constraints: 15016
710.32/712.23 c #Conflicts: 282000 | #Constraints: 16016
710.32/712.23 c #Conflicts: 283000 | #Constraints: 17016
710.32/712.23 c #Conflicts: 284000 | #Constraints: 18016
710.32/712.23 c #Conflicts: 285000 | #Constraints: 19016
710.32/712.23 c #Conflicts: 286000 | #Constraints: 20016
710.32/712.23 c #Conflicts: 287000 | #Constraints: 21016
710.32/712.23 c #Conflicts: 288000 | #Constraints: 22016
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 289000 | #Constraints: 12415
805.37/807.50 c #Conflicts: 290000 | #Constraints: 13415
805.37/807.50 c #Conflicts: 291000 | #Constraints: 14415
805.37/807.50 c #Conflicts: 292000 | #Constraints: 15415
805.37/807.50 c #Conflicts: 293000 | #Constraints: 16415
805.37/807.50 c #Conflicts: 294000 | #Constraints: 17415
805.37/807.50 c #Conflicts: 295000 | #Constraints: 18415
805.37/807.50 c #Conflicts: 296000 | #Constraints: 19415
805.37/807.50 c #Conflicts: 297000 | #Constraints: 20415
805.37/807.50 c #Conflicts: 298000 | #Constraints: 21415
805.37/807.50 c #Conflicts: 299000 | #Constraints: 22415
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 300000 | #Constraints: 12607
805.37/807.50 c #Conflicts: 301000 | #Constraints: 13607
805.37/807.50 c #Conflicts: 302000 | #Constraints: 14607
805.37/807.50 c #Conflicts: 303000 | #Constraints: 15607
805.37/807.50 c #Conflicts: 304000 | #Constraints: 16607
805.37/807.50 c #Conflicts: 305000 | #Constraints: 17607
805.37/807.50 c #Conflicts: 306000 | #Constraints: 18607
805.37/807.50 c #Conflicts: 307000 | #Constraints: 19607
805.37/807.50 c #Conflicts: 308000 | #Constraints: 20607
805.37/807.50 c #Conflicts: 309000 | #Constraints: 21607
805.37/807.50 c #Conflicts: 310000 | #Constraints: 22607
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 311000 | #Constraints: 12616
805.37/807.50 c #Conflicts: 312000 | #Constraints: 13616
805.37/807.50 c #Conflicts: 313000 | #Constraints: 14616
805.37/807.50 c #Conflicts: 314000 | #Constraints: 15616
805.37/807.50 c #Conflicts: 315000 | #Constraints: 16616
805.37/807.50 c #Conflicts: 316000 | #Constraints: 17616
805.37/807.50 c #Conflicts: 317000 | #Constraints: 18616
805.37/807.50 c #Conflicts: 318000 | #Constraints: 19616
805.37/807.50 c #Conflicts: 319000 | #Constraints: 20616
805.37/807.50 c #Conflicts: 320000 | #Constraints: 21616
805.37/807.50 c #Conflicts: 321000 | #Constraints: 22616
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 322000 | #Constraints: 12432
805.37/807.50 c #Conflicts: 323000 | #Constraints: 13432
805.37/807.50 c #Conflicts: 324000 | #Constraints: 14432
805.37/807.50 c #Conflicts: 325000 | #Constraints: 15432
805.37/807.50 c #Conflicts: 326000 | #Constraints: 16432
805.37/807.50 c #Conflicts: 327000 | #Constraints: 17432
805.37/807.50 c #Conflicts: 328000 | #Constraints: 18432
805.37/807.50 c #Conflicts: 329000 | #Constraints: 19432
805.37/807.50 c #Conflicts: 330000 | #Constraints: 20432
805.37/807.50 c #Conflicts: 331000 | #Constraints: 21432
805.37/807.50 c #Conflicts: 332000 | #Constraints: 22432
805.37/807.50 c #Conflicts: 333000 | #Constraints: 23432
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 334000 | #Constraints: 13022
805.37/807.50 c #Conflicts: 335000 | #Constraints: 14022
805.37/807.50 c #Conflicts: 336000 | #Constraints: 15022
805.37/807.50 c #Conflicts: 337000 | #Constraints: 16022
805.37/807.50 c #Conflicts: 338000 | #Constraints: 17022
805.37/807.50 c #Conflicts: 339000 | #Constraints: 18022
805.37/807.50 c #Conflicts: 340000 | #Constraints: 19022
805.37/807.50 c #Conflicts: 341000 | #Constraints: 20022
805.37/807.50 c #Conflicts: 342000 | #Constraints: 21022
805.37/807.50 c #Conflicts: 343000 | #Constraints: 22022
805.37/807.50 c #Conflicts: 344000 | #Constraints: 23022
805.37/807.50 c #Conflicts: 345000 | #Constraints: 24022
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 346000 | #Constraints: 13412
805.37/807.50 c #Conflicts: 347000 | #Constraints: 14412
805.37/807.50 c #Conflicts: 348000 | #Constraints: 15412
805.37/807.50 c #Conflicts: 349000 | #Constraints: 16412
805.37/807.50 c #Conflicts: 350000 | #Constraints: 17412
805.37/807.50 c #Conflicts: 351000 | #Constraints: 18412
805.37/807.50 c #Conflicts: 352000 | #Constraints: 19412
805.37/807.50 c #Conflicts: 353000 | #Constraints: 20412
805.37/807.50 c #Conflicts: 354000 | #Constraints: 21412
805.37/807.50 c #Conflicts: 355000 | #Constraints: 22412
805.37/807.50 c #Conflicts: 356000 | #Constraints: 23412
805.37/807.50 c #Conflicts: 357000 | #Constraints: 24412
805.37/807.50 c INPROCESSING
805.37/807.50 c GARBAGE COLLECT
805.37/807.50 c #Conflicts: 358000 | #Constraints: 13605
805.37/807.50 c #Conflicts: 359000 | #Constraints: 14605
805.37/807.50 c #Conflicts: 360000 | #Constraints: 15605
805.37/807.50 c #Conflicts: 361000 | #Constraints: 16605
805.37/807.50 c #Conflicts: 362000 | #Constraints: 17605
1044.53/1047.33 c #Conflicts: 363000 | #Constraints: 18605
1044.53/1047.33 c #Conflicts: 364000 | #Constraints: 19605
1044.53/1047.33 c #Conflicts: 365000 | #Constraints: 20605
1044.53/1047.33 c #Conflicts: 366000 | #Constraints: 21605
1044.53/1047.33 c #Conflicts: 367000 | #Constraints: 22605
1044.53/1047.33 c #Conflicts: 368000 | #Constraints: 23605
1044.53/1047.33 c #Conflicts: 369000 | #Constraints: 24605
1044.53/1047.33 c INPROCESSING
1044.53/1047.33 c GARBAGE COLLECT
1044.53/1047.33 c #Conflicts: 370000 | #Constraints: 13620
1044.53/1047.33 c #Conflicts: 371000 | #Constraints: 14620
1044.53/1047.33 c #Conflicts: 372000 | #Constraints: 15620
1044.53/1047.33 c #Conflicts: 373000 | #Constraints: 16620
1044.53/1047.33 c #Conflicts: 374000 | #Constraints: 17620
1044.53/1047.33 c #Conflicts: 375000 | #Constraints: 18620
1044.53/1047.33 c #Conflicts: 376000 | #Constraints: 19620
1044.53/1047.33 c #Conflicts: 377000 | #Constraints: 20620
1044.53/1047.33 c #Conflicts: 378000 | #Constraints: 21620
1044.53/1047.33 c #Conflicts: 379000 | #Constraints: 22620
1044.53/1047.33 c #Conflicts: 380000 | #Constraints: 23620
1044.53/1047.33 c #Conflicts: 381000 | #Constraints: 24620
1044.53/1047.33 c INPROCESSING
1044.53/1047.33 c GARBAGE COLLECT
1044.53/1047.33 c #Conflicts: 382000 | #Constraints: 13419
1044.53/1047.33 c #Conflicts: 383000 | #Constraints: 14419
1044.53/1047.33 c #Conflicts: 384000 | #Constraints: 15419
1044.53/1047.33 c #Conflicts: 385000 | #Constraints: 16419
1044.53/1047.33 c #Conflicts: 386000 | #Constraints: 17419
1044.53/1047.33 c #Conflicts: 387000 | #Constraints: 18419
1044.53/1047.33 c #Conflicts: 388000 | #Constraints: 19419
1044.53/1047.33 c #Conflicts: 389000 | #Constraints: 20419
1044.53/1047.33 c #Conflicts: 390000 | #Constraints: 21419
1044.53/1047.33 c #Conflicts: 391000 | #Constraints: 22419
1044.53/1047.33 c #Conflicts: 392000 | #Constraints: 23419
1044.53/1047.33 c #Conflicts: 393000 | #Constraints: 24419
1044.53/1047.33 c #Conflicts: 394000 | #Constraints: 25419
1044.53/1047.33 c INPROCESSING
1044.53/1047.33 c GARBAGE COLLECT
1044.53/1047.33 c #Conflicts: 395000 | #Constraints: 14019
1044.53/1047.33 c #Conflicts: 396000 | #Constraints: 15019
1044.53/1047.33 c #Conflicts: 397000 | #Constraints: 16019
1044.53/1047.33 c #Conflicts: 398000 | #Constraints: 17019
1044.53/1047.33 c #Conflicts: 399000 | #Constraints: 18019
1044.53/1047.33 c #Conflicts: 400000 | #Constraints: 19019
1044.53/1047.33 c #Conflicts: 401000 | #Constraints: 20019
1044.53/1047.33 c #Conflicts: 402000 | #Constraints: 21019
1044.53/1047.33 c #Conflicts: 403000 | #Constraints: 22019
1044.53/1047.33 c #Conflicts: 404000 | #Constraints: 23019
1044.53/1047.33 c #Conflicts: 405000 | #Constraints: 24019
1044.53/1047.33 c #Conflicts: 406000 | #Constraints: 25019
1044.53/1047.33 c #Conflicts: 407000 | #Constraints: 26019
1044.53/1047.33 c INPROCESSING
1044.53/1047.33 c GARBAGE COLLECT
1044.53/1047.33 c #Conflicts: 408000 | #Constraints: 14416
1044.53/1047.33 c #Conflicts: 409000 | #Constraints: 15416
1044.53/1047.33 c #Conflicts: 410000 | #Constraints: 16416
1044.53/1047.33 c #Conflicts: 411000 | #Constraints: 17416
1044.53/1047.33 c #Conflicts: 412000 | #Constraints: 18416
1044.53/1047.33 c #Conflicts: 413000 | #Constraints: 19416
1044.53/1047.33 c #Conflicts: 414000 | #Constraints: 20416
1044.53/1047.33 c #Conflicts: 415000 | #Constraints: 21416
1044.53/1047.33 c #Conflicts: 416000 | #Constraints: 22416
1044.53/1047.33 c #Conflicts: 417000 | #Constraints: 23416
1044.53/1047.33 c #Conflicts: 418000 | #Constraints: 24416
1044.53/1047.33 c #Conflicts: 419000 | #Constraints: 25416
1044.53/1047.33 c #Conflicts: 420000 | #Constraints: 26416
1044.53/1047.33 c INPROCESSING
1044.53/1047.33 c GARBAGE COLLECT
1044.53/1047.33 c #Conflicts: 421000 | #Constraints: 14644
1044.53/1047.33 c #Conflicts: 422000 | #Constraints: 15644
1044.53/1047.33 c #Conflicts: 423000 | #Constraints: 16644
1044.53/1047.33 c #Conflicts: 424000 | #Constraints: 17644
1044.53/1047.33 c #Conflicts: 425000 | #Constraints: 18644
1044.53/1047.33 c #Conflicts: 426000 | #Constraints: 19644
1044.53/1047.33 c #Conflicts: 427000 | #Constraints: 20644
1044.53/1047.33 c #Conflicts: 428000 | #Constraints: 21644
1044.53/1047.33 c #Conflicts: 429000 | #Constraints: 22644
1044.53/1047.33 c #Conflicts: 430000 | #Constraints: 23644
1044.53/1047.33 c #Conflicts: 431000 | #Constraints: 24644
1044.53/1047.33 c #Conflicts: 432000 | #Constraints: 25644
1044.53/1047.33 c #Conflicts: 433000 | #Constraints: 26644
1044.53/1047.33 c INPROCESSING
1044.53/1047.33 c GARBAGE COLLECT
1044.53/1047.33 c #Conflicts: 434000 | #Constraints: 14669
1044.53/1047.33 c #Conflicts: 435000 | #Constraints: 15669
1044.53/1047.33 c #Conflicts: 436000 | #Constraints: 16669
1044.53/1047.33 c #Conflicts: 437000 | #Constraints: 17669
1561.21/1565.31 c #Conflicts: 438000 | #Constraints: 18669
1561.21/1565.31 c #Conflicts: 439000 | #Constraints: 19669
1561.21/1565.31 c #Conflicts: 440000 | #Constraints: 20669
1561.21/1565.31 c #Conflicts: 441000 | #Constraints: 21669
1561.21/1565.31 c #Conflicts: 442000 | #Constraints: 22669
1561.21/1565.31 c #Conflicts: 443000 | #Constraints: 23669
1561.21/1565.31 c #Conflicts: 444000 | #Constraints: 24669
1561.21/1565.31 c #Conflicts: 445000 | #Constraints: 25669
1561.21/1565.31 c #Conflicts: 446000 | #Constraints: 26669
1561.21/1565.31 c INPROCESSING
1561.21/1565.31 c GARBAGE COLLECT
1561.21/1565.31 c #Conflicts: 447000 | #Constraints: 14455
1561.21/1565.31 c #Conflicts: 448000 | #Constraints: 15455
1561.21/1565.31 c #Conflicts: 449000 | #Constraints: 16455
1561.21/1565.31 c #Conflicts: 450000 | #Constraints: 17455
1561.21/1565.31 c #Conflicts: 451000 | #Constraints: 18455
1561.21/1565.31 c #Conflicts: 452000 | #Constraints: 19455
1561.21/1565.31 c #Conflicts: 453000 | #Constraints: 20455
1561.21/1565.31 c #Conflicts: 454000 | #Constraints: 21455
1561.21/1565.31 c #Conflicts: 455000 | #Constraints: 22455
1561.21/1565.31 c #Conflicts: 456000 | #Constraints: 23455
1561.21/1565.31 c #Conflicts: 457000 | #Constraints: 24455
1561.21/1565.31 c #Conflicts: 458000 | #Constraints: 25455
1561.21/1565.31 c #Conflicts: 459000 | #Constraints: 26455
1561.21/1565.31 c #Conflicts: 460000 | #Constraints: 27455
1561.21/1565.31 c INPROCESSING
1561.21/1565.31 c GARBAGE COLLECT
1561.21/1565.31 c #Conflicts: 461000 | #Constraints: 15043
1561.21/1565.31 c #Conflicts: 462000 | #Constraints: 16043
1561.21/1565.31 c #Conflicts: 463000 | #Constraints: 17043
1561.21/1565.31 c #Conflicts: 464000 | #Constraints: 18043
1561.21/1565.31 c #Conflicts: 465000 | #Constraints: 19043
1561.21/1565.31 c #Conflicts: 466000 | #Constraints: 20043
1561.21/1565.31 c #Conflicts: 467000 | #Constraints: 21043
1561.21/1565.31 c #Conflicts: 468000 | #Constraints: 22043
1561.21/1565.31 c #Conflicts: 469000 | #Constraints: 23043
1561.21/1565.31 c #Conflicts: 470000 | #Constraints: 24043
1561.21/1565.31 c #Conflicts: 471000 | #Constraints: 25043
1561.21/1565.31 c #Conflicts: 472000 | #Constraints: 26043
1561.21/1565.31 c #Conflicts: 473000 | #Constraints: 27043
1561.21/1565.31 c #Conflicts: 474000 | #Constraints: 28043
1561.21/1565.31 c INPROCESSING
1561.21/1565.31 c GARBAGE COLLECT
1561.21/1565.31 c #Conflicts: 475000 | #Constraints: 15463
1561.21/1565.31 c #Conflicts: 476000 | #Constraints: 16463
1561.21/1565.31 c #Conflicts: 477000 | #Constraints: 17463
1561.21/1565.31 c #Conflicts: 478000 | #Constraints: 18463
1561.21/1565.31 c #Conflicts: 479000 | #Constraints: 19463
1561.21/1565.31 c #Conflicts: 480000 | #Constraints: 20463
1561.21/1565.31 c #Conflicts: 481000 | #Constraints: 21463
1561.21/1565.31 c #Conflicts: 482000 | #Constraints: 22463
1561.21/1565.31 c #Conflicts: 483000 | #Constraints: 23463
1561.21/1565.31 c #Conflicts: 484000 | #Constraints: 24463
1561.21/1565.31 c #Conflicts: 485000 | #Constraints: 25463
1561.21/1565.31 c #Conflicts: 486000 | #Constraints: 26463
1561.21/1565.31 c #Conflicts: 487000 | #Constraints: 27463
1561.21/1565.31 c #Conflicts: 488000 | #Constraints: 28463
1561.21/1565.31 c INPROCESSING
1561.21/1565.31 c GARBAGE COLLECT
1561.21/1565.31 c #Conflicts: 489000 | #Constraints: 15665
1561.21/1565.31 c #Conflicts: 490000 | #Constraints: 16665
1561.21/1565.31 c #Conflicts: 491000 | #Constraints: 17665
1561.21/1565.31 c #Conflicts: 492000 | #Constraints: 18665
1561.21/1565.31 c #Conflicts: 493000 | #Constraints: 19665
1561.21/1565.31 c #Conflicts: 494000 | #Constraints: 20665
1561.21/1565.31 c #Conflicts: 495000 | #Constraints: 21665
1561.21/1565.31 c #Conflicts: 496000 | #Constraints: 22665
1561.21/1565.31 c #Conflicts: 497000 | #Constraints: 23665
1561.21/1565.31 c #Conflicts: 498000 | #Constraints: 24665
1561.21/1565.31 c #Conflicts: 499000 | #Constraints: 25665
1561.21/1565.31 c #Conflicts: 500000 | #Constraints: 26665
1561.21/1565.31 c #Conflicts: 501000 | #Constraints: 27665
1561.21/1565.31 c #Conflicts: 502000 | #Constraints: 28665
1561.21/1565.31 c INPROCESSING
1561.21/1565.31 c GARBAGE COLLECT
1561.21/1565.31 c #Conflicts: 503000 | #Constraints: 15697
1561.21/1565.31 c #Conflicts: 504000 | #Constraints: 16697
1561.21/1565.31 c #Conflicts: 505000 | #Constraints: 17697
1561.21/1565.31 c #Conflicts: 506000 | #Constraints: 18697
1561.21/1565.31 c #Conflicts: 507000 | #Constraints: 19697
1561.21/1565.31 c #Conflicts: 508000 | #Constraints: 20697
1561.21/1565.31 c #Conflicts: 509000 | #Constraints: 21697
1561.21/1565.31 c #Conflicts: 510000 | #Constraints: 22697
1561.21/1565.31 c #Conflicts: 511000 | #Constraints: 23697
1561.21/1565.31 c #Conflicts: 512000 | #Constraints: 24697
1561.21/1565.31 c #Conflicts: 513000 | #Constraints: 25697
1704.56/1709.10 c #Conflicts: 514000 | #Constraints: 26697
1704.56/1709.10 c #Conflicts: 515000 | #Constraints: 27697
1704.56/1709.10 c #Conflicts: 516000 | #Constraints: 28697
1704.56/1709.10 c INPROCESSING
1704.56/1709.10 c GARBAGE COLLECT
1704.56/1709.10 c #Conflicts: 517000 | #Constraints: 15447
1704.56/1709.10 c #Conflicts: 518000 | #Constraints: 16447
1704.56/1709.10 c #Conflicts: 519000 | #Constraints: 17447
1704.56/1709.10 c #Conflicts: 520000 | #Constraints: 18447
1704.56/1709.10 c #Conflicts: 521000 | #Constraints: 19447
1704.56/1709.10 c #Conflicts: 522000 | #Constraints: 20447
1704.56/1709.10 c #Conflicts: 523000 | #Constraints: 21447
1704.56/1709.10 c #Conflicts: 524000 | #Constraints: 22447
1704.56/1709.10 c #Conflicts: 525000 | #Constraints: 23447
1704.56/1709.10 c #Conflicts: 526000 | #Constraints: 24447
1704.56/1709.10 c #Conflicts: 527000 | #Constraints: 25447
1704.56/1709.10 c #Conflicts: 528000 | #Constraints: 26447
1704.56/1709.10 c #Conflicts: 529000 | #Constraints: 27447
1704.56/1709.10 c #Conflicts: 530000 | #Constraints: 28447
1704.56/1709.10 c #Conflicts: 531000 | #Constraints: 29447
1704.56/1709.10 c INPROCESSING
1704.56/1709.10 c GARBAGE COLLECT
1704.56/1709.10 c #Conflicts: 532000 | #Constraints: 16034
1704.56/1709.10 c #Conflicts: 533000 | #Constraints: 17034
1704.56/1709.10 c #Conflicts: 534000 | #Constraints: 18034
1704.56/1709.10 c #Conflicts: 535000 | #Constraints: 19034
1704.56/1709.10 c #Conflicts: 536000 | #Constraints: 20034
1704.56/1709.10 c #Conflicts: 537000 | #Constraints: 21034
1704.56/1709.10 c #Conflicts: 538000 | #Constraints: 22034
1704.56/1709.10 c #Conflicts: 539000 | #Constraints: 23034
1704.56/1709.10 c #Conflicts: 540000 | #Constraints: 24034
1704.56/1709.10 c #Conflicts: 541000 | #Constraints: 25034
1704.56/1709.10 c #Conflicts: 542000 | #Constraints: 26034
1704.56/1709.10 c #Conflicts: 543000 | #Constraints: 27034
1704.56/1709.10 c #Conflicts: 544000 | #Constraints: 28034
1704.56/1709.10 c #Conflicts: 545000 | #Constraints: 29034
1704.56/1709.10 c #Conflicts: 546000 | #Constraints: 30034
1704.56/1709.10 c INPROCESSING
1704.56/1709.10 c GARBAGE COLLECT
1704.56/1709.10 c #Conflicts: 547000 | #Constraints: 16432
1704.56/1709.10 c #Conflicts: 548000 | #Constraints: 17432
1704.56/1709.10 c #Conflicts: 549000 | #Constraints: 18432
1704.56/1709.10 c #Conflicts: 550000 | #Constraints: 19432
1704.56/1709.10 c #Conflicts: 551000 | #Constraints: 20432
1704.56/1709.10 c #Conflicts: 552000 | #Constraints: 21432
1704.56/1709.10 c #Conflicts: 553000 | #Constraints: 22432
1704.56/1709.10 c #Conflicts: 554000 | #Constraints: 23432
1704.56/1709.10 c #Conflicts: 555000 | #Constraints: 24432
1704.56/1709.10 c #Conflicts: 556000 | #Constraints: 25432
1704.56/1709.10 c #Conflicts: 557000 | #Constraints: 26432
1704.56/1709.10 c #Conflicts: 558000 | #Constraints: 27432
1704.56/1709.10 c #Conflicts: 559000 | #Constraints: 28432
1704.56/1709.10 c #Conflicts: 560000 | #Constraints: 29432
1704.56/1709.10 c #Conflicts: 561000 | #Constraints: 30432
1704.56/1709.10 c INPROCESSING
1704.56/1709.10 c GARBAGE COLLECT
1704.56/1709.10 c #Conflicts: 562000 | #Constraints: 16623
1704.56/1709.10 c #Conflicts: 563000 | #Constraints: 17623
1704.56/1709.10 c #Conflicts: 564000 | #Constraints: 18623
1704.56/1709.10 c #Conflicts: 565000 | #Constraints: 19623
1704.56/1709.10 c #Conflicts: 566000 | #Constraints: 20623
1704.56/1709.10 c #Conflicts: 567000 | #Constraints: 21623
1704.56/1709.10 c #Conflicts: 568000 | #Constraints: 22623
1704.56/1709.10 c #Conflicts: 569000 | #Constraints: 23623
1704.56/1709.10 c #Conflicts: 570000 | #Constraints: 24623
1704.56/1709.10 c #Conflicts: 571000 | #Constraints: 25623
1704.56/1709.10 c #Conflicts: 572000 | #Constraints: 26623
1704.56/1709.10 c #Conflicts: 573000 | #Constraints: 27623
1704.56/1709.10 c #Conflicts: 574000 | #Constraints: 28623
1704.56/1709.10 c #Conflicts: 575000 | #Constraints: 29623
1704.56/1709.10 c #Conflicts: 576000 | #Constraints: 30623
1704.56/1709.10 c INPROCESSING
1704.56/1709.10 c GARBAGE COLLECT
1704.56/1709.10 c #Conflicts: 577000 | #Constraints: 16652
1704.56/1709.10 c #Conflicts: 578000 | #Constraints: 17652
1704.56/1709.10 c #Conflicts: 579000 | #Constraints: 18652
1704.56/1709.10 c #Conflicts: 580000 | #Constraints: 19652
1704.56/1709.10 c #Conflicts: 581000 | #Constraints: 20652
1704.56/1709.10 c #Conflicts: 582000 | #Constraints: 21652
1704.56/1709.10 c #Conflicts: 583000 | #Constraints: 22652
1704.56/1709.10 c #Conflicts: 584000 | #Constraints: 23652
1704.56/1709.10 c #Conflicts: 585000 | #Constraints: 24652
1704.56/1709.10 c #Conflicts: 586000 | #Constraints: 25652
1704.56/1709.10 c #Conflicts: 587000 | #Constraints: 26652
1704.56/1709.10 c #Conflicts: 588000 | #Constraints: 27652
1831.73/1836.56 c #Conflicts: 589000 | #Constraints: 28652
1831.73/1836.56 c #Conflicts: 590000 | #Constraints: 29652
1831.73/1836.56 c #Conflicts: 591000 | #Constraints: 30652
1831.73/1836.56 c INPROCESSING
1831.73/1836.56 c GARBAGE COLLECT
1831.73/1836.56 c #Conflicts: 592000 | #Constraints: 16435
1831.73/1836.56 c #Conflicts: 593000 | #Constraints: 17435
1831.73/1836.56 c #Conflicts: 594000 | #Constraints: 18435
1831.73/1836.56 c #Conflicts: 595000 | #Constraints: 19435
1831.73/1836.56 c #Conflicts: 596000 | #Constraints: 20435
1831.73/1836.56 c #Conflicts: 597000 | #Constraints: 21435
1831.73/1836.56 c #Conflicts: 598000 | #Constraints: 22435
1831.73/1836.56 c #Conflicts: 599000 | #Constraints: 23435
1831.73/1836.56 c #Conflicts: 600000 | #Constraints: 24435
1831.73/1836.56 c #Conflicts: 601000 | #Constraints: 25435
1831.73/1836.56 c #Conflicts: 602000 | #Constraints: 26435
1831.73/1836.56 c #Conflicts: 603000 | #Constraints: 27435
1831.73/1836.56 c #Conflicts: 604000 | #Constraints: 28435
1831.73/1836.56 c #Conflicts: 605000 | #Constraints: 29435
1831.73/1836.56 c #Conflicts: 606000 | #Constraints: 30435
1831.73/1836.56 c #Conflicts: 607000 | #Constraints: 31435
1831.73/1836.56 c INPROCESSING
1831.73/1836.56 c GARBAGE COLLECT
1831.73/1836.56 c #Conflicts: 608000 | #Constraints: 17050
1831.73/1836.56 c #Conflicts: 609000 | #Constraints: 18050
1831.73/1836.56 c #Conflicts: 610000 | #Constraints: 19050
1831.73/1836.56 c #Conflicts: 611000 | #Constraints: 20050
1831.73/1836.56 c #Conflicts: 612000 | #Constraints: 21050
1831.73/1836.56 c #Conflicts: 613000 | #Constraints: 22050
1831.73/1836.56 c #Conflicts: 614000 | #Constraints: 23050
1831.73/1836.56 c #Conflicts: 615000 | #Constraints: 24050
1831.73/1836.56 c #Conflicts: 616000 | #Constraints: 25050
1831.73/1836.56 c #Conflicts: 617000 | #Constraints: 26050
1831.73/1836.56 c #Conflicts: 618000 | #Constraints: 27050
1831.73/1836.56 c #Conflicts: 619000 | #Constraints: 28050
1831.73/1836.56 c #Conflicts: 620000 | #Constraints: 29050
1831.73/1836.56 c #Conflicts: 621000 | #Constraints: 30050
1831.73/1836.56 c #Conflicts: 622000 | #Constraints: 31050
1831.73/1836.56 c #Conflicts: 623000 | #Constraints: 32050
1831.73/1836.56 c INPROCESSING
1831.73/1836.56 c GARBAGE COLLECT
1831.73/1836.56 c #Conflicts: 624000 | #Constraints: 17425
1831.73/1836.56 c #Conflicts: 625000 | #Constraints: 18425
1831.73/1836.56 c #Conflicts: 626000 | #Constraints: 19425
1831.73/1836.56 c #Conflicts: 627000 | #Constraints: 20425
1831.73/1836.56 c #Conflicts: 628000 | #Constraints: 21425
1831.73/1836.56 c #Conflicts: 629000 | #Constraints: 22425
1831.73/1836.56 c #Conflicts: 630000 | #Constraints: 23425
1831.73/1836.56 c #Conflicts: 631000 | #Constraints: 24425
1831.73/1836.56 c #Conflicts: 632000 | #Constraints: 25425
1831.73/1836.56 c #Conflicts: 633000 | #Constraints: 26425
1831.73/1836.56 c #Conflicts: 634000 | #Constraints: 27425
1831.73/1836.56 c #Conflicts: 635000 | #Constraints: 28425
1831.73/1836.56 c #Conflicts: 636000 | #Constraints: 29425
1831.73/1836.56 c #Conflicts: 637000 | #Constraints: 30425
1831.73/1836.56 c #Conflicts: 638000 | #Constraints: 31425
1831.73/1836.56 c #Conflicts: 639000 | #Constraints: 32425
1831.73/1836.56 c INPROCESSING
1831.73/1836.56 c GARBAGE COLLECT
1831.73/1836.56 c #Conflicts: 640000 | #Constraints: 17612
1831.73/1836.56 c #Conflicts: 641000 | #Constraints: 18612
1831.73/1836.56 c #Conflicts: 642000 | #Constraints: 19612
1831.73/1836.56 c #Conflicts: 643000 | #Constraints: 20612
1831.73/1836.56 c #Conflicts: 644000 | #Constraints: 21612
1831.73/1836.56 c #Conflicts: 645000 | #Constraints: 22612
1831.73/1836.56 c #Conflicts: 646000 | #Constraints: 23612
1831.73/1836.56 c #Conflicts: 647000 | #Constraints: 24612
1831.73/1836.56 c #Conflicts: 648000 | #Constraints: 25612
1831.73/1836.56 c #Conflicts: 649000 | #Constraints: 26612
1831.73/1836.56 c #Conflicts: 650000 | #Constraints: 27612
1831.73/1836.56 c #Conflicts: 651000 | #Constraints: 28612
1831.73/1836.56 c #Conflicts: 652000 | #Constraints: 29612
1831.73/1836.56 c #Conflicts: 653000 | #Constraints: 30612
1831.73/1836.56 c #Conflicts: 654000 | #Constraints: 31612
1831.73/1836.56 c #Conflicts: 655000 | #Constraints: 32612
1831.73/1836.56 c INPROCESSING
1831.73/1836.56 c GARBAGE COLLECT
1831.73/1836.56 c #Conflicts: 656000 | #Constraints: 17617
1831.73/1836.56 c #Conflicts: 657000 | #Constraints: 18617
1831.73/1836.56 c #Conflicts: 658000 | #Constraints: 19617
1831.73/1836.56 c #Conflicts: 659000 | #Constraints: 20617
1831.73/1836.56 c #Conflicts: 660000 | #Constraints: 21617
1831.73/1836.56 c #Conflicts: 661000 | #Constraints: 22617
1831.73/1836.56 c #Conflicts: 662000 | #Constraints: 23617
1831.73/1836.56 c #Conflicts: 663000 | #Constraints: 24617
1831.73/1836.56 c #Conflicts: 664000 | #Constraints: 25617
2118.28/2123.89 c #Conflicts: 665000 | #Constraints: 26617
2118.28/2123.89 c #Conflicts: 666000 | #Constraints: 27617
2118.28/2123.89 c #Conflicts: 667000 | #Constraints: 28617
2118.28/2123.89 c #Conflicts: 668000 | #Constraints: 29617
2118.28/2123.89 c #Conflicts: 669000 | #Constraints: 30617
2118.28/2123.89 c #Conflicts: 670000 | #Constraints: 31617
2118.28/2123.89 c #Conflicts: 671000 | #Constraints: 32617
2118.28/2123.89 c INPROCESSING
2118.28/2123.89 c GARBAGE COLLECT
2118.28/2123.89 c #Conflicts: 672000 | #Constraints: 17408
2118.28/2123.89 c #Conflicts: 673000 | #Constraints: 18408
2118.28/2123.89 c #Conflicts: 674000 | #Constraints: 19408
2118.28/2123.89 c #Conflicts: 675000 | #Constraints: 20408
2118.28/2123.89 c #Conflicts: 676000 | #Constraints: 21408
2118.28/2123.89 c #Conflicts: 677000 | #Constraints: 22408
2118.28/2123.89 c #Conflicts: 678000 | #Constraints: 23408
2118.28/2123.89 c #Conflicts: 679000 | #Constraints: 24408
2118.28/2123.89 c #Conflicts: 680000 | #Constraints: 25408
2118.28/2123.89 c #Conflicts: 681000 | #Constraints: 26408
2118.28/2123.89 c #Conflicts: 682000 | #Constraints: 27408
2118.28/2123.89 c #Conflicts: 683000 | #Constraints: 28408
2118.28/2123.89 c #Conflicts: 684000 | #Constraints: 29408
2118.28/2123.89 c #Conflicts: 685000 | #Constraints: 30408
2118.28/2123.89 c #Conflicts: 686000 | #Constraints: 31408
2118.28/2123.89 c #Conflicts: 687000 | #Constraints: 32408
2118.28/2123.89 c #Conflicts: 688000 | #Constraints: 33408
2118.28/2123.89 c INPROCESSING
2118.28/2123.89 c GARBAGE COLLECT
2118.28/2123.89 c #Conflicts: 689000 | #Constraints: 18009
2118.28/2123.89 c #Conflicts: 690000 | #Constraints: 19009
2118.28/2123.89 c #Conflicts: 691000 | #Constraints: 20009
2118.28/2123.89 c #Conflicts: 692000 | #Constraints: 21009
2118.28/2123.89 c #Conflicts: 693000 | #Constraints: 22009
2118.28/2123.89 c #Conflicts: 694000 | #Constraints: 23009
2118.28/2123.89 c #Conflicts: 695000 | #Constraints: 24009
2118.28/2123.89 c #Conflicts: 696000 | #Constraints: 25009
2118.28/2123.89 c #Conflicts: 697000 | #Constraints: 26009
2118.28/2123.89 c #Conflicts: 698000 | #Constraints: 27009
2118.28/2123.89 c #Conflicts: 699000 | #Constraints: 28009
2118.28/2123.89 c #Conflicts: 700000 | #Constraints: 29009
2118.28/2123.89 c #Conflicts: 701000 | #Constraints: 30009
2118.28/2123.89 c #Conflicts: 702000 | #Constraints: 31009
2118.28/2123.89 c #Conflicts: 703000 | #Constraints: 32009
2118.28/2123.89 c #Conflicts: 704000 | #Constraints: 33009
2118.28/2123.89 c #Conflicts: 705000 | #Constraints: 34009
2118.28/2123.89 c INPROCESSING
2118.28/2123.89 c GARBAGE COLLECT
2118.28/2123.89 c #Conflicts: 706000 | #Constraints: 18410
2118.28/2123.89 c #Conflicts: 707000 | #Constraints: 19410
2118.28/2123.89 c #Conflicts: 708000 | #Constraints: 20410
2118.28/2123.89 c #Conflicts: 709000 | #Constraints: 21410
2118.28/2123.89 c #Conflicts: 710000 | #Constraints: 22410
2118.28/2123.89 c #Conflicts: 711000 | #Constraints: 23410
2118.28/2123.89 c #Conflicts: 712000 | #Constraints: 24410
2118.28/2123.89 c #Conflicts: 713000 | #Constraints: 25410
2118.28/2123.89 c #Conflicts: 714000 | #Constraints: 26410
2118.28/2123.89 c #Conflicts: 715000 | #Constraints: 27410
2118.28/2123.89 c #Conflicts: 716000 | #Constraints: 28410
2118.28/2123.89 c #Conflicts: 717000 | #Constraints: 29410
2118.28/2123.89 c #Conflicts: 718000 | #Constraints: 30410
2118.28/2123.89 c #Conflicts: 719000 | #Constraints: 31410
2118.28/2123.89 c #Conflicts: 720000 | #Constraints: 32410
2118.28/2123.89 c #Conflicts: 721000 | #Constraints: 33410
2118.28/2123.89 c #Conflicts: 722000 | #Constraints: 34410
2118.28/2123.89 c INPROCESSING
2118.28/2123.89 c GARBAGE COLLECT
2118.28/2123.89 c #Conflicts: 723000 | #Constraints: 18636
2118.28/2123.89 c #Conflicts: 724000 | #Constraints: 19636
2118.28/2123.89 c #Conflicts: 725000 | #Constraints: 20636
2118.28/2123.89 c #Conflicts: 726000 | #Constraints: 21636
2118.28/2123.89 c #Conflicts: 727000 | #Constraints: 22636
2118.28/2123.89 c #Conflicts: 728000 | #Constraints: 23636
2118.28/2123.89 c #Conflicts: 729000 | #Constraints: 24636
2118.28/2123.89 c #Conflicts: 730000 | #Constraints: 25636
2118.28/2123.89 c #Conflicts: 731000 | #Constraints: 26636
2118.28/2123.89 c #Conflicts: 732000 | #Constraints: 27636
2118.28/2123.89 c #Conflicts: 733000 | #Constraints: 28636
2118.28/2123.89 c #Conflicts: 734000 | #Constraints: 29636
2118.28/2123.89 c #Conflicts: 735000 | #Constraints: 30636
2118.28/2123.89 c #Conflicts: 736000 | #Constraints: 31636
2118.28/2123.89 c #Conflicts: 737000 | #Constraints: 32636
2118.28/2123.89 c #Conflicts: 738000 | #Constraints: 33636
2118.28/2123.89 c #Conflicts: 739000 | #Constraints: 34636
2118.28/2123.89 c INPROCESSING
2118.28/2123.89 c GARBAGE COLLECT
2284.91/2290.90 c #Conflicts: 740000 | #Constraints: 18635
2284.91/2290.90 c #Conflicts: 741000 | #Constraints: 19635
2284.91/2290.90 c #Conflicts: 742000 | #Constraints: 20635
2284.91/2290.90 c #Conflicts: 743000 | #Constraints: 21635
2284.91/2290.90 c #Conflicts: 744000 | #Constraints: 22635
2284.91/2290.90 c #Conflicts: 745000 | #Constraints: 23635
2284.91/2290.90 c #Conflicts: 746000 | #Constraints: 24635
2284.91/2290.90 c #Conflicts: 747000 | #Constraints: 25635
2284.91/2290.90 c #Conflicts: 748000 | #Constraints: 26635
2284.91/2290.90 c #Conflicts: 749000 | #Constraints: 27635
2284.91/2290.90 c #Conflicts: 750000 | #Constraints: 28635
2284.91/2290.90 c #Conflicts: 751000 | #Constraints: 29635
2284.91/2290.90 c #Conflicts: 752000 | #Constraints: 30635
2284.91/2290.90 c #Conflicts: 753000 | #Constraints: 31635
2284.91/2290.90 c #Conflicts: 754000 | #Constraints: 32635
2284.91/2290.90 c #Conflicts: 755000 | #Constraints: 33635
2284.91/2290.90 c #Conflicts: 756000 | #Constraints: 34635
2284.91/2290.90 c INPROCESSING
2284.91/2290.90 c GARBAGE COLLECT
2284.91/2290.90 c #Conflicts: 757000 | #Constraints: 18423
2284.91/2290.90 c #Conflicts: 758000 | #Constraints: 19423
2284.91/2290.90 c #Conflicts: 759000 | #Constraints: 20423
2284.91/2290.90 c #Conflicts: 760000 | #Constraints: 21423
2284.91/2290.90 c #Conflicts: 761000 | #Constraints: 22423
2284.91/2290.90 c #Conflicts: 762000 | #Constraints: 23423
2284.91/2290.90 c #Conflicts: 763000 | #Constraints: 24423
2284.91/2290.90 c #Conflicts: 764000 | #Constraints: 25423
2284.91/2290.90 c #Conflicts: 765000 | #Constraints: 26423
2284.91/2290.90 c #Conflicts: 766000 | #Constraints: 27423
2284.91/2290.90 c #Conflicts: 767000 | #Constraints: 28423
2284.91/2290.90 c #Conflicts: 768000 | #Constraints: 29423
2284.91/2290.90 c #Conflicts: 769000 | #Constraints: 30423
2284.91/2290.90 c #Conflicts: 770000 | #Constraints: 31423
2284.91/2290.90 c #Conflicts: 771000 | #Constraints: 32423
2284.91/2290.90 c #Conflicts: 772000 | #Constraints: 33423
2284.91/2290.90 c #Conflicts: 773000 | #Constraints: 34423
2284.91/2290.90 c #Conflicts: 774000 | #Constraints: 35423
2284.91/2290.90 c INPROCESSING
2284.91/2290.90 c GARBAGE COLLECT
2284.91/2290.90 c #Conflicts: 775000 | #Constraints: 19029
2284.91/2290.90 c #Conflicts: 776000 | #Constraints: 20029
2284.91/2290.90 c #Conflicts: 777000 | #Constraints: 21029
2284.91/2290.90 c #Conflicts: 778000 | #Constraints: 22029
2284.91/2290.90 c #Conflicts: 779000 | #Constraints: 23029
2284.91/2290.90 c #Conflicts: 780000 | #Constraints: 24029
2284.91/2290.90 c #Conflicts: 781000 | #Constraints: 25029
2284.91/2290.90 c #Conflicts: 782000 | #Constraints: 26029
2284.91/2290.90 c #Conflicts: 783000 | #Constraints: 27029
2284.91/2290.90 c #Conflicts: 784000 | #Constraints: 28029
2284.91/2290.90 c #Conflicts: 785000 | #Constraints: 29029
2284.91/2290.90 c #Conflicts: 786000 | #Constraints: 30029
2284.91/2290.90 c #Conflicts: 787000 | #Constraints: 31029
2284.91/2290.90 c #Conflicts: 788000 | #Constraints: 32029
2284.91/2290.90 c #Conflicts: 789000 | #Constraints: 33029
2284.91/2290.90 c #Conflicts: 790000 | #Constraints: 34029
2284.91/2290.90 c #Conflicts: 791000 | #Constraints: 35029
2284.91/2290.90 c #Conflicts: 792000 | #Constraints: 36029
2284.91/2290.90 c INPROCESSING
2284.91/2290.90 c GARBAGE COLLECT
2284.91/2290.90 c #Conflicts: 793000 | #Constraints: 19422
2284.91/2290.90 c #Conflicts: 794000 | #Constraints: 20422
2284.91/2290.90 c #Conflicts: 795000 | #Constraints: 21422
2284.91/2290.90 c #Conflicts: 796000 | #Constraints: 22422
2284.91/2290.90 c #Conflicts: 797000 | #Constraints: 23422
2284.91/2290.90 c #Conflicts: 798000 | #Constraints: 24422
2284.91/2290.90 c #Conflicts: 799000 | #Constraints: 25422
2284.91/2290.90 c #Conflicts: 800000 | #Constraints: 26422
2284.91/2290.90 c #Conflicts: 801000 | #Constraints: 27422
2284.91/2290.90 c #Conflicts: 802000 | #Constraints: 28422
2284.91/2290.90 c #Conflicts: 803000 | #Constraints: 29422
2284.91/2290.90 c #Conflicts: 804000 | #Constraints: 30422
2284.91/2290.90 c #Conflicts: 805000 | #Constraints: 31422
2284.91/2290.90 c #Conflicts: 806000 | #Constraints: 32422
2284.91/2290.90 c #Conflicts: 807000 | #Constraints: 33422
2284.91/2290.90 c #Conflicts: 808000 | #Constraints: 34422
2284.91/2290.90 c #Conflicts: 809000 | #Constraints: 35422
2284.91/2290.90 c #Conflicts: 810000 | #Constraints: 36422
2284.91/2290.90 c INPROCESSING
2284.91/2290.90 c GARBAGE COLLECT
2284.91/2290.90 c #Conflicts: 811000 | #Constraints: 19620
2284.91/2290.90 c #Conflicts: 812000 | #Constraints: 20620
2284.91/2290.90 c #Conflicts: 813000 | #Constraints: 21620
2284.91/2290.90 c #Conflicts: 814000 | #Constraints: 22620
2284.91/2290.90 c #Conflicts: 815000 | #Constraints: 23620
2284.91/2290.90 c #Conflicts: 816000 | #Constraints: 24620
2448.36/2454.84 c #Conflicts: 817000 | #Constraints: 25620
2448.36/2454.84 c #Conflicts: 818000 | #Constraints: 26620
2448.36/2454.84 c #Conflicts: 819000 | #Constraints: 27620
2448.36/2454.84 c #Conflicts: 820000 | #Constraints: 28620
2448.36/2454.84 c #Conflicts: 821000 | #Constraints: 29620
2448.36/2454.84 c #Conflicts: 822000 | #Constraints: 30620
2448.36/2454.84 c #Conflicts: 823000 | #Constraints: 31620
2448.36/2454.84 c #Conflicts: 824000 | #Constraints: 32620
2448.36/2454.84 c #Conflicts: 825000 | #Constraints: 33620
2448.36/2454.84 c #Conflicts: 826000 | #Constraints: 34620
2448.36/2454.84 c #Conflicts: 827000 | #Constraints: 35620
2448.36/2454.84 c #Conflicts: 828000 | #Constraints: 36620
2448.36/2454.84 c INPROCESSING
2448.36/2454.84 c GARBAGE COLLECT
2448.36/2454.84 c #Conflicts: 829000 | #Constraints: 19633
2448.36/2454.84 c #Conflicts: 830000 | #Constraints: 20633
2448.36/2454.84 c #Conflicts: 831000 | #Constraints: 21633
2448.36/2454.84 c #Conflicts: 832000 | #Constraints: 22633
2448.36/2454.84 c #Conflicts: 833000 | #Constraints: 23633
2448.36/2454.84 c #Conflicts: 834000 | #Constraints: 24633
2448.36/2454.84 c #Conflicts: 835000 | #Constraints: 25633
2448.36/2454.84 c #Conflicts: 836000 | #Constraints: 26633
2448.36/2454.84 c #Conflicts: 837000 | #Constraints: 27633
2448.36/2454.84 c #Conflicts: 838000 | #Constraints: 28633
2448.36/2454.84 c #Conflicts: 839000 | #Constraints: 29633
2448.36/2454.84 c #Conflicts: 840000 | #Constraints: 30633
2448.36/2454.84 c #Conflicts: 841000 | #Constraints: 31633
2448.36/2454.84 c #Conflicts: 842000 | #Constraints: 32633
2448.36/2454.84 c #Conflicts: 843000 | #Constraints: 33633
2448.36/2454.84 c #Conflicts: 844000 | #Constraints: 34633
2448.36/2454.84 c #Conflicts: 845000 | #Constraints: 35633
2448.36/2454.84 c #Conflicts: 846000 | #Constraints: 36633
2448.36/2454.84 c INPROCESSING
2448.36/2454.84 c GARBAGE COLLECT
2448.36/2454.84 c #Conflicts: 847000 | #Constraints: 19422
2448.36/2454.84 c #Conflicts: 848000 | #Constraints: 20422
2448.36/2454.84 c #Conflicts: 849000 | #Constraints: 21422
2448.36/2454.84 c #Conflicts: 850000 | #Constraints: 22422
2448.36/2454.84 c #Conflicts: 851000 | #Constraints: 23422
2448.36/2454.84 c #Conflicts: 852000 | #Constraints: 24422
2448.36/2454.84 c #Conflicts: 853000 | #Constraints: 25422
2448.36/2454.84 c #Conflicts: 854000 | #Constraints: 26422
2448.36/2454.84 c #Conflicts: 855000 | #Constraints: 27422
2448.36/2454.84 c #Conflicts: 856000 | #Constraints: 28422
2448.36/2454.84 c #Conflicts: 857000 | #Constraints: 29422
2448.36/2454.84 c #Conflicts: 858000 | #Constraints: 30422
2448.36/2454.84 c #Conflicts: 859000 | #Constraints: 31422
2448.36/2454.84 c #Conflicts: 860000 | #Constraints: 32422
2448.36/2454.84 c #Conflicts: 861000 | #Constraints: 33422
2448.36/2454.84 c #Conflicts: 862000 | #Constraints: 34422
2448.36/2454.84 c #Conflicts: 863000 | #Constraints: 35422
2448.36/2454.84 c #Conflicts: 864000 | #Constraints: 36422
2448.36/2454.84 c #Conflicts: 865000 | #Constraints: 37422
2448.36/2454.84 c INPROCESSING
2448.36/2454.84 c GARBAGE COLLECT
2448.36/2454.84 c #Conflicts: 866000 | #Constraints: 20020
2448.36/2454.84 c #Conflicts: 867000 | #Constraints: 21020
2448.36/2454.84 c #Conflicts: 868000 | #Constraints: 22020
2448.36/2454.84 c #Conflicts: 869000 | #Constraints: 23020
2448.36/2454.84 c #Conflicts: 870000 | #Constraints: 24020
2448.36/2454.84 c #Conflicts: 871000 | #Constraints: 25020
2448.36/2454.84 c #Conflicts: 872000 | #Constraints: 26020
2448.36/2454.84 c #Conflicts: 873000 | #Constraints: 27020
2448.36/2454.84 c #Conflicts: 874000 | #Constraints: 28020
2448.36/2454.84 c #Conflicts: 875000 | #Constraints: 29020
2448.36/2454.84 c #Conflicts: 876000 | #Constraints: 30020
2448.36/2454.84 c #Conflicts: 877000 | #Constraints: 31020
2448.36/2454.84 c #Conflicts: 878000 | #Constraints: 32020
2448.36/2454.84 c #Conflicts: 879000 | #Constraints: 33020
2448.36/2454.84 c #Conflicts: 880000 | #Constraints: 34020
2448.36/2454.84 c #Conflicts: 881000 | #Constraints: 35020
2448.36/2454.84 c #Conflicts: 882000 | #Constraints: 36020
2448.36/2454.84 c #Conflicts: 883000 | #Constraints: 37020
2448.36/2454.84 c #Conflicts: 884000 | #Constraints: 38020
2448.36/2454.84 c INPROCESSING
2448.36/2454.84 c GARBAGE COLLECT
2448.36/2454.84 c #Conflicts: 885000 | #Constraints: 20419
2448.36/2454.84 c #Conflicts: 886000 | #Constraints: 21419
2448.36/2454.84 c #Conflicts: 887000 | #Constraints: 22419
2448.36/2454.84 c #Conflicts: 888000 | #Constraints: 23419
2448.36/2454.84 c #Conflicts: 889000 | #Constraints: 24419
2448.36/2454.84 c #Conflicts: 890000 | #Constraints: 25419
2448.36/2454.84 c #Conflicts: 891000 | #Constraints: 26419
2448.36/2454.84 c #Conflicts: 892000 | #Constraints: 27419
2718.49/2725.73 c #Conflicts: 893000 | #Constraints: 28419
2718.49/2725.73 c #Conflicts: 894000 | #Constraints: 29419
2718.49/2725.73 c #Conflicts: 895000 | #Constraints: 30419
2718.49/2725.73 c #Conflicts: 896000 | #Constraints: 31419
2718.49/2725.73 c #Conflicts: 897000 | #Constraints: 32419
2718.49/2725.73 c #Conflicts: 898000 | #Constraints: 33419
2718.49/2725.73 c #Conflicts: 899000 | #Constraints: 34419
2718.49/2725.73 c #Conflicts: 900000 | #Constraints: 35419
2718.49/2725.73 c #Conflicts: 901000 | #Constraints: 36419
2718.49/2725.73 c #Conflicts: 902000 | #Constraints: 37419
2718.49/2725.73 c #Conflicts: 903000 | #Constraints: 38419
2718.49/2725.73 c INPROCESSING
2718.49/2725.73 c GARBAGE COLLECT
2718.49/2725.73 c #Conflicts: 904000 | #Constraints: 20611
2718.49/2725.73 c #Conflicts: 905000 | #Constraints: 21611
2718.49/2725.73 c #Conflicts: 906000 | #Constraints: 22611
2718.49/2725.73 c #Conflicts: 907000 | #Constraints: 23611
2718.49/2725.73 c #Conflicts: 908000 | #Constraints: 24611
2718.49/2725.73 c #Conflicts: 909000 | #Constraints: 25611
2718.49/2725.73 c #Conflicts: 910000 | #Constraints: 26611
2718.49/2725.73 c #Conflicts: 911000 | #Constraints: 27611
2718.49/2725.73 c #Conflicts: 912000 | #Constraints: 28611
2718.49/2725.73 c #Conflicts: 913000 | #Constraints: 29611
2718.49/2725.73 c #Conflicts: 914000 | #Constraints: 30611
2718.49/2725.73 c #Conflicts: 915000 | #Constraints: 31611
2718.49/2725.73 c #Conflicts: 916000 | #Constraints: 32611
2718.49/2725.73 c #Conflicts: 917000 | #Constraints: 33611
2718.49/2725.73 c #Conflicts: 918000 | #Constraints: 34611
2718.49/2725.73 c #Conflicts: 919000 | #Constraints: 35611
2718.49/2725.73 c #Conflicts: 920000 | #Constraints: 36611
2718.49/2725.73 c #Conflicts: 921000 | #Constraints: 37611
2718.49/2725.73 c #Conflicts: 922000 | #Constraints: 38611
2718.49/2725.73 c INPROCESSING
2718.49/2725.73 c GARBAGE COLLECT
2718.49/2725.73 c #Conflicts: 923000 | #Constraints: 20598
2718.49/2725.73 c #Conflicts: 924000 | #Constraints: 21598
2718.49/2725.73 c #Conflicts: 925000 | #Constraints: 22598
2718.49/2725.73 c #Conflicts: 926000 | #Constraints: 23598
2718.49/2725.73 c #Conflicts: 927000 | #Constraints: 24598
2718.49/2725.73 c #Conflicts: 928000 | #Constraints: 25598
2718.49/2725.73 c #Conflicts: 929000 | #Constraints: 26598
2718.49/2725.73 c #Conflicts: 930000 | #Constraints: 27598
2718.49/2725.73 c #Conflicts: 931000 | #Constraints: 28598
2718.49/2725.73 c #Conflicts: 932000 | #Constraints: 29598
2718.49/2725.73 c #Conflicts: 933000 | #Constraints: 30598
2718.49/2725.73 c #Conflicts: 934000 | #Constraints: 31598
2718.49/2725.73 c #Conflicts: 935000 | #Constraints: 32598
2718.49/2725.73 c #Conflicts: 936000 | #Constraints: 33598
2718.49/2725.73 c #Conflicts: 937000 | #Constraints: 34598
2718.49/2725.73 c #Conflicts: 938000 | #Constraints: 35598
2718.49/2725.73 c #Conflicts: 939000 | #Constraints: 36598
2718.49/2725.73 c #Conflicts: 940000 | #Constraints: 37598
2718.49/2725.73 c #Conflicts: 941000 | #Constraints: 38598
2718.49/2725.73 c INPROCESSING
2718.49/2725.73 c GARBAGE COLLECT
2718.49/2725.73 c #Conflicts: 942000 | #Constraints: 20422
2718.49/2725.73 c #Conflicts: 943000 | #Constraints: 21422
2718.49/2725.73 c #Conflicts: 944000 | #Constraints: 22422
2718.49/2725.73 c #Conflicts: 945000 | #Constraints: 23422
2718.49/2725.73 c #Conflicts: 946000 | #Constraints: 24422
2718.49/2725.73 c #Conflicts: 947000 | #Constraints: 25422
2718.49/2725.73 c #Conflicts: 948000 | #Constraints: 26422
2718.49/2725.73 c #Conflicts: 949000 | #Constraints: 27422
2718.49/2725.73 c #Conflicts: 950000 | #Constraints: 28422
2718.49/2725.73 c #Conflicts: 951000 | #Constraints: 29422
2718.49/2725.73 c #Conflicts: 952000 | #Constraints: 30422
2718.49/2725.73 c #Conflicts: 953000 | #Constraints: 31422
2718.49/2725.73 c #Conflicts: 954000 | #Constraints: 32422
2718.49/2725.73 c #Conflicts: 955000 | #Constraints: 33422
2718.49/2725.73 c #Conflicts: 956000 | #Constraints: 34422
2718.49/2725.73 c #Conflicts: 957000 | #Constraints: 35422
2718.49/2725.73 c #Conflicts: 958000 | #Constraints: 36422
2718.49/2725.73 c #Conflicts: 959000 | #Constraints: 37422
2718.49/2725.73 c #Conflicts: 960000 | #Constraints: 38422
2718.49/2725.73 c #Conflicts: 961000 | #Constraints: 39422
2718.49/2725.73 c INPROCESSING
2718.49/2725.73 c GARBAGE COLLECT
2718.49/2725.73 c #Conflicts: 962000 | #Constraints: 21068
2718.49/2725.73 c #Conflicts: 963000 | #Constraints: 22068
2718.49/2725.73 c #Conflicts: 964000 | #Constraints: 23068
2718.49/2725.73 c #Conflicts: 965000 | #Constraints: 24068
2718.49/2725.73 c #Conflicts: 966000 | #Constraints: 25068
2718.49/2725.73 c #Conflicts: 967000 | #Constraints: 26068
2718.49/2725.73 c #Conflicts: 968000 | #Constraints: 27068
3197.03/3205.63 c #Conflicts: 969000 | #Constraints: 28068
3197.03/3205.63 c #Conflicts: 970000 | #Constraints: 29068
3197.03/3205.63 c #Conflicts: 971000 | #Constraints: 30068
3197.03/3205.63 c #Conflicts: 972000 | #Constraints: 31068
3197.03/3205.63 c #Conflicts: 973000 | #Constraints: 32068
3197.03/3205.63 c #Conflicts: 974000 | #Constraints: 33068
3197.03/3205.63 c #Conflicts: 975000 | #Constraints: 34068
3197.03/3205.63 c #Conflicts: 976000 | #Constraints: 35068
3197.03/3205.63 c #Conflicts: 977000 | #Constraints: 36068
3197.03/3205.63 c #Conflicts: 978000 | #Constraints: 37068
3197.03/3205.63 c #Conflicts: 979000 | #Constraints: 38068
3197.03/3205.63 c #Conflicts: 980000 | #Constraints: 39068
3197.03/3205.63 c #Conflicts: 981000 | #Constraints: 40068
3197.03/3205.63 c INPROCESSING
3197.03/3205.63 c GARBAGE COLLECT
3197.03/3205.63 c #Conflicts: 982000 | #Constraints: 21463
3197.03/3205.63 c #Conflicts: 983000 | #Constraints: 22463
3197.03/3205.63 c #Conflicts: 984000 | #Constraints: 23463
3197.03/3205.63 c #Conflicts: 985000 | #Constraints: 24463
3197.03/3205.63 c #Conflicts: 986000 | #Constraints: 25463
3197.03/3205.63 c #Conflicts: 987000 | #Constraints: 26463
3197.03/3205.63 c #Conflicts: 988000 | #Constraints: 27463
3197.03/3205.63 c #Conflicts: 989000 | #Constraints: 28463
3197.03/3205.63 c #Conflicts: 990000 | #Constraints: 29463
3197.03/3205.63 c #Conflicts: 991000 | #Constraints: 30463
3197.03/3205.63 c #Conflicts: 992000 | #Constraints: 31463
3197.03/3205.63 c #Conflicts: 993000 | #Constraints: 32463
3197.03/3205.63 c #Conflicts: 994000 | #Constraints: 33463
3197.03/3205.63 c #Conflicts: 995000 | #Constraints: 34463
3197.03/3205.63 c #Conflicts: 996000 | #Constraints: 35463
3197.03/3205.63 c #Conflicts: 997000 | #Constraints: 36463
3197.03/3205.63 c #Conflicts: 998000 | #Constraints: 37463
3197.03/3205.63 c #Conflicts: 999000 | #Constraints: 38463
3197.03/3205.63 c #Conflicts: 1000000 | #Constraints: 39463
3197.03/3205.63 c #Conflicts: 1001000 | #Constraints: 40463
3197.03/3205.63 c INPROCESSING
3197.03/3205.63 c GARBAGE COLLECT
3197.03/3205.63 c #Conflicts: 1002000 | #Constraints: 21656
3197.03/3205.63 c #Conflicts: 1003000 | #Constraints: 22656
3197.03/3205.63 c #Conflicts: 1004000 | #Constraints: 23656
3197.03/3205.63 c #Conflicts: 1005000 | #Constraints: 24656
3197.03/3205.63 c #Conflicts: 1006000 | #Constraints: 25656
3197.03/3205.63 c #Conflicts: 1007000 | #Constraints: 26656
3197.03/3205.63 c #Conflicts: 1008000 | #Constraints: 27656
3197.03/3205.63 c #Conflicts: 1009000 | #Constraints: 28656
3197.03/3205.63 c #Conflicts: 1010000 | #Constraints: 29656
3197.03/3205.63 c #Conflicts: 1011000 | #Constraints: 30656
3197.03/3205.63 c #Conflicts: 1012000 | #Constraints: 31656
3197.03/3205.63 c #Conflicts: 1013000 | #Constraints: 32656
3197.03/3205.63 c #Conflicts: 1014000 | #Constraints: 33656
3197.03/3205.63 c #Conflicts: 1015000 | #Constraints: 34656
3197.03/3205.63 c #Conflicts: 1016000 | #Constraints: 35656
3197.03/3205.63 c #Conflicts: 1017000 | #Constraints: 36656
3197.03/3205.63 c #Conflicts: 1018000 | #Constraints: 37656
3197.03/3205.63 c #Conflicts: 1019000 | #Constraints: 38656
3197.03/3205.63 c #Conflicts: 1020000 | #Constraints: 39656
3197.03/3205.63 c #Conflicts: 1021000 | #Constraints: 40656
3197.03/3205.63 c INPROCESSING
3197.03/3205.63 c GARBAGE COLLECT
3197.03/3205.63 c #Conflicts: 1022000 | #Constraints: 21648
3197.03/3205.63 c #Conflicts: 1023000 | #Constraints: 22648
3197.03/3205.63 c #Conflicts: 1024000 | #Constraints: 23648
3197.03/3205.63 c #Conflicts: 1025000 | #Constraints: 24648
3197.03/3205.63 c #Conflicts: 1026000 | #Constraints: 25648
3197.03/3205.63 c #Conflicts: 1027000 | #Constraints: 26648
3197.03/3205.63 c #Conflicts: 1028000 | #Constraints: 27648
3197.03/3205.63 c #Conflicts: 1029000 | #Constraints: 28648
3197.03/3205.63 c #Conflicts: 1030000 | #Constraints: 29648
3197.03/3205.63 c #Conflicts: 1031000 | #Constraints: 30648
3197.03/3205.63 c #Conflicts: 1032000 | #Constraints: 31648
3197.03/3205.63 c #Conflicts: 1033000 | #Constraints: 32648
3197.03/3205.63 c #Conflicts: 1034000 | #Constraints: 33648
3197.03/3205.63 c #Conflicts: 1035000 | #Constraints: 34648
3197.03/3205.63 c #Conflicts: 1036000 | #Constraints: 35648
3197.03/3205.63 c #Conflicts: 1037000 | #Constraints: 36648
3197.03/3205.63 c #Conflicts: 1038000 | #Constraints: 37648
3197.03/3205.63 c #Conflicts: 1039000 | #Constraints: 38648
3197.03/3205.63 c #Conflicts: 1040000 | #Constraints: 39648
3197.03/3205.63 c #Conflicts: 1041000 | #Constraints: 40648
3197.03/3205.63 c INPROCESSING
3197.03/3205.63 c GARBAGE COLLECT
3197.03/3205.63 c #Conflicts: 1042000 | #Constraints: 21463
3197.03/3205.63 c #Conflicts: 1043000 | #Constraints: 22463
3197.03/3205.63 c #Conflicts: 1044000 | #Constraints: 23463
3547.22/3556.74 c #Conflicts: 1045000 | #Constraints: 24463
3547.22/3556.74 c #Conflicts: 1046000 | #Constraints: 25463
3547.22/3556.74 c #Conflicts: 1047000 | #Constraints: 26463
3547.22/3556.74 c #Conflicts: 1048000 | #Constraints: 27463
3547.22/3556.74 c #Conflicts: 1049000 | #Constraints: 28463
3547.22/3556.74 c #Conflicts: 1050000 | #Constraints: 29463
3547.22/3556.74 c #Conflicts: 1051000 | #Constraints: 30463
3547.22/3556.74 c #Conflicts: 1052000 | #Constraints: 31463
3547.22/3556.74 c #Conflicts: 1053000 | #Constraints: 32463
3547.22/3556.74 c #Conflicts: 1054000 | #Constraints: 33463
3547.22/3556.74 c #Conflicts: 1055000 | #Constraints: 34463
3547.22/3556.74 c #Conflicts: 1056000 | #Constraints: 35463
3547.22/3556.74 c #Conflicts: 1057000 | #Constraints: 36463
3547.22/3556.74 c #Conflicts: 1058000 | #Constraints: 37463
3547.22/3556.74 c #Conflicts: 1059000 | #Constraints: 38463
3547.22/3556.74 c #Conflicts: 1060000 | #Constraints: 39463
3547.22/3556.74 c #Conflicts: 1061000 | #Constraints: 40463
3547.22/3556.74 c #Conflicts: 1062000 | #Constraints: 41463
3547.22/3556.74 c INPROCESSING
3547.22/3556.74 c GARBAGE COLLECT
3547.22/3556.74 c #Conflicts: 1063000 | #Constraints: 22080
3547.22/3556.74 c #Conflicts: 1064000 | #Constraints: 23080
3547.22/3556.74 c #Conflicts: 1065000 | #Constraints: 24080
3547.22/3556.74 c #Conflicts: 1066000 | #Constraints: 25080
3547.22/3556.74 c #Conflicts: 1067000 | #Constraints: 26080
3547.22/3556.74 c #Conflicts: 1068000 | #Constraints: 27080
3547.22/3556.74 c #Conflicts: 1069000 | #Constraints: 28080
3547.22/3556.74 c #Conflicts: 1070000 | #Constraints: 29080
3547.22/3556.74 c #Conflicts: 1071000 | #Constraints: 30080
3547.22/3556.74 c #Conflicts: 1072000 | #Constraints: 31080
3547.22/3556.74 c #Conflicts: 1073000 | #Constraints: 32080
3547.22/3556.74 c #Conflicts: 1074000 | #Constraints: 33080
3547.22/3556.74 c #Conflicts: 1075000 | #Constraints: 34080
3547.22/3556.74 c #Conflicts: 1076000 | #Constraints: 35080
3547.22/3556.74 c #Conflicts: 1077000 | #Constraints: 36080
3547.22/3556.74 c #Conflicts: 1078000 | #Constraints: 37080
3547.22/3556.74 c #Conflicts: 1079000 | #Constraints: 38080
3547.22/3556.74 c #Conflicts: 1080000 | #Constraints: 39080
3547.22/3556.74 c #Conflicts: 1081000 | #Constraints: 40080
3547.22/3556.74 c #Conflicts: 1082000 | #Constraints: 41080
3547.22/3556.74 c #Conflicts: 1083000 | #Constraints: 42080
3547.22/3556.74 c INPROCESSING
3547.22/3556.74 c GARBAGE COLLECT
3547.22/3556.74 c #Conflicts: 1084000 | #Constraints: 22476
3547.22/3556.74 c #Conflicts: 1085000 | #Constraints: 23476
3547.22/3556.74 c #Conflicts: 1086000 | #Constraints: 24476
3547.22/3556.74 c #Conflicts: 1087000 | #Constraints: 25476
3547.22/3556.74 c #Conflicts: 1088000 | #Constraints: 26476
3547.22/3556.74 c #Conflicts: 1089000 | #Constraints: 27476
3547.22/3556.74 c #Conflicts: 1090000 | #Constraints: 28476
3547.22/3556.74 c #Conflicts: 1091000 | #Constraints: 29476
3547.22/3556.74 c #Conflicts: 1092000 | #Constraints: 30476
3547.22/3556.74 c #Conflicts: 1093000 | #Constraints: 31476
3547.22/3556.74 c #Conflicts: 1094000 | #Constraints: 32476
3547.22/3556.74 c #Conflicts: 1095000 | #Constraints: 33476
3547.22/3556.74 c #Conflicts: 1096000 | #Constraints: 34476
3547.22/3556.74 c #Conflicts: 1097000 | #Constraints: 35476
3547.22/3556.74 c #Conflicts: 1098000 | #Constraints: 36476
3547.22/3556.74 c #Conflicts: 1099000 | #Constraints: 37476
3547.22/3556.74 c #Conflicts: 1100000 | #Constraints: 38476
3547.22/3556.74 c #Conflicts: 1101000 | #Constraints: 39476
3547.22/3556.74 c #Conflicts: 1102000 | #Constraints: 40476
3547.22/3556.74 c #Conflicts: 1103000 | #Constraints: 41476
3547.22/3556.74 c #Conflicts: 1104000 | #Constraints: 42476
3547.22/3556.74 c INPROCESSING
3547.22/3556.74 c GARBAGE COLLECT
3547.22/3556.74 c #Conflicts: 1105000 | #Constraints: 22678
3547.22/3556.74 c #Conflicts: 1106000 | #Constraints: 23678
3547.22/3556.74 c #Conflicts: 1107000 | #Constraints: 24678
3547.22/3556.74 c #Conflicts: 1108000 | #Constraints: 25678
3547.22/3556.74 c #Conflicts: 1109000 | #Constraints: 26678
3547.22/3556.74 c #Conflicts: 1110000 | #Constraints: 27678
3547.22/3556.74 c #Conflicts: 1111000 | #Constraints: 28678
3547.22/3556.74 c #Conflicts: 1112000 | #Constraints: 29678
3547.22/3556.74 c #Conflicts: 1113000 | #Constraints: 30678
3547.22/3556.74 c #Conflicts: 1114000 | #Constraints: 31678
3547.22/3556.74 c #Conflicts: 1115000 | #Constraints: 32678
3547.22/3556.74 c #Conflicts: 1116000 | #Constraints: 33678
3547.22/3556.74 c #Conflicts: 1117000 | #Constraints: 34678
3547.22/3556.74 c #Conflicts: 1118000 | #Constraints: 35678
3547.22/3556.74 c #Conflicts: 1119000 | #Constraints: 36678
3547.22/3556.74 c #Conflicts: 1120000 | #Constraints: 37678
3547.22/3556.74 c #Conflicts: 1121000 | #Constraints: 38678
3600.09/3609.70 c #Conflicts: 1122000 | #Constraints: 39678
3600.09/3609.70 c #Conflicts: 1123000 | #Constraints: 40678
3600.09/3609.70 c #Conflicts: 1124000 | #Constraints: 41678
3600.09/3609.70 c #Conflicts: 1125000 | #Constraints: 42678
3600.09/3609.70 c INPROCESSING
3600.09/3609.70 c GARBAGE COLLECT
3600.09/3609.70 c #Conflicts: 1126000 | #Constraints: 22701
3600.09/3609.70 c #Conflicts: 1127000 | #Constraints: 23701
3600.09/3609.70 c #Conflicts: 1128000 | #Constraints: 24701
3600.09/3609.70 c #Conflicts: 1129000 | #Constraints: 25701
3600.09/3609.70 c #Conflicts: 1130000 | #Constraints: 26701
3600.09/3609.70 c #Conflicts: 1131000 | #Constraints: 27701
3600.09/3609.70 c #Conflicts: 1132000 | #Constraints: 28701
3600.09/3609.70 c #Conflicts: 1133000 | #Constraints: 29701
3600.09/3609.70 c #Conflicts: 1134000 | #Constraints: 30701
3600.09/3609.70 c #Conflicts: 1135000 | #Constraints: 31701
3600.09/3609.70 c #Conflicts: 1136000 | #Constraints: 32701
3600.09/3609.70 c #Conflicts: 1137000 | #Constraints: 33701
3600.09/3609.70 c #Conflicts: 1138000 | #Constraints: 34701
3600.09/3609.70 c #Conflicts: 1139000 | #Constraints: 35701
3600.09/3609.70 c #Conflicts: 1140000 | #Constraints: 36701
3600.09/3609.70 c #Conflicts: 1141000 | #Constraints: 37701
3600.09/3609.70 c #Conflicts: 1142000 | #Constraints: 38701
3600.09/3609.70 c Program interrupted by user.
3600.09/3609.70 c cpu time 3586.44 s
3600.09/3609.70 c deterministic time 765293593982 7.65e+11
3600.09/3609.70 c optimization time 25.9303 s
3600.09/3609.70 c total solve time 3261.36 s
3600.09/3609.70 c core-guided solve time 0 s
3600.09/3609.70 c propagation time 2670.4 s
3600.09/3609.70 c conflict analysis time 541.575 s
3600.09/3609.70 c propagations 465164829
3600.09/3609.70 c resolve steps 9875747
3600.09/3609.70 c decisions 10401396
3600.09/3609.70 c conflicts 1142129
3600.09/3609.70 c restarts 2108
3600.09/3609.70 c inprocessing phases 97
3600.09/3609.70 c input clauses 97
3600.09/3609.70 c input cardinalities 97
3600.09/3609.70 c input general constraints 576
3600.09/3609.70 c input average constraint length 94.42
3600.09/3609.70 c input average constraint degree 845.01
3600.09/3609.70 c learned clauses 119935
3600.09/3609.70 c learned cardinalities 16770
3600.09/3609.70 c learned general constraints 1005423
3600.09/3609.70 c learned average constraint length 854.09
3600.09/3609.70 c learned average constraint degree 70663285.19
3600.09/3609.70 c watched constraints 787934
3600.09/3609.70 c counting constraints 218065
3600.09/3609.70 c gcd simplifications 78722
3600.09/3609.70 c detected cardinalities 397
3600.09/3609.70 c weakened non-implied lits 128828175
3600.09/3609.70 c weakened non-implying lits 107944
3600.09/3609.70 c original variables 8424
3600.09/3609.70 c clausal propagations 1511075
3600.09/3609.70 c cardinality propagations 8993433
3600.09/3609.70 c watched propagations 24023020
3600.09/3609.70 c counting propagations 428512722
3600.09/3609.70 c watch lookups 26497240532
3600.09/3609.70 c watch backjump lookups 23927284231
3600.09/3609.70 c watch checks 609631496647
3600.09/3609.70 c propagation checks 100567024009
3600.09/3609.70 c constraint additions 3718281057
3600.09/3609.70 c trail pops 476701280
3600.09/3609.70 c formula constraints 770
3600.09/3609.70 c learned constraints 1142128
3600.09/3609.70 c bound constraints 0
3600.09/3609.70 c core-guided constraints 0
3600.09/3609.70 c encountered formula constraints 5635813
3600.09/3609.70 c encountered learned constraints 5382063
3600.09/3609.70 c encountered bound constraints 0
3600.09/3609.70 c encountered core-guided constraints 0
3600.09/3609.70 c LP total time 0 s
3600.09/3609.70 c LP solve time 0 s
3600.09/3609.70 c LP constraints added 0
3600.09/3609.70 c LP constraints removed 0
3600.09/3609.70 c LP pivots internal 0
3600.09/3609.70 c LP pivots root 0
3600.09/3609.70 c LP calls 0
3600.09/3609.70 c LP optimalities 0
3600.09/3609.70 c LP no pivot count 0
3600.09/3609.70 c LP infeasibilities 0
3600.09/3609.70 c LP valid Farkas constraints 0
3600.09/3609.70 c LP learned Farkas constraints 0
3600.09/3609.70 c LP basis resets 0
3600.09/3609.70 c LP cycling count 0
3600.09/3609.70 c LP singular count 0
3600.09/3609.70 c LP no primal count 0
3600.09/3609.70 c LP no farkas count 0
3600.09/3609.70 c LP other issue count 0
3600.09/3609.70 c LP Gomory cuts 0
3600.09/3609.70 c LP learned cuts 0
3600.09/3609.70 c LP deleted cuts 0
3600.09/3609.70 c LP encountered Gomory constraints 0
3600.09/3609.70 c LP encountered Farkas constraints 0
3600.09/3609.70 c LP encountered learned Farkas constraints 0
3600.09/3609.70 c CG auxiliary variables introduced 0
3600.09/3609.70 c CG solutions found 0
3600.09/3609.70 c CG cores constructed 0
3600.09/3609.70 c CG core cardinality constraints returned 0
3600.09/3609.70 c CG unit cores 0
3600.09/3609.70 c CG single cores 0
3600.09/3609.70 c CG blocks removed during cardinality reduction 0
3600.09/3609.70 c CG first core best 0
3600.09/3609.70 c CG decision core best 0
3600.09/3609.70 c CG core reduction tie 0
3600.09/3609.70 c CG core degree average 0.00
3600.09/3609.70 c CG core slack average 0.00
3600.09/3609.70 c CG exhausted 0
3600.09/3609.70 c CG exhaust time 0 s
3600.09/3609.70 c CG trimmed 0
3600.09/3609.70 c CG trim time 0 s
3600.09/3609.70 c CG minimized 0
3600.09/3609.70 c CG minimize time 0 s
3600.09/3609.70 c CG am1 prop time 0 s
3600.09/3609.70 c CG # am1s reformulated 0
3600.09/3609.70 c CG lower bound derived from am1s 0
3600.09/3609.70 c CG # clausal cores 0
3600.09/3609.70 c CG # cardinality cores 0
3600.09/3609.70 c CG # pb cores 0
3600.09/3609.70 c CG # pb reforms 0
3600.09/3609.70 c CG # cores discarded because of pb reform 0
3600.09/3609.70 d LOWERBOUND 0
3600.09/3609.70 d NCORES 0
3600.09/3609.70 d NPBCORES 0
3600.09/3609.70 d NPBREFORM 0
3600.09/3609.70 d NTRIMMED 0
3600.09/3609.70 d NEXHAUSTED 0
3600.09/3609.70 d NAM1S 0
3600.09/3609.70 d AM1LB 0
3600.09/3609.70 c [Papilo Statistics]
3600.09/3609.70 c prepro time 0.0320969s
3600.09/3609.70 c # tsx applied 18
3600.09/3609.70 c # tsx conflicts 0
3600.09/3609.70 c # bound changes 9
3600.09/3609.70 c # side changes 0
3600.09/3609.70 c # coef changes 0
3600.09/3609.70 c # rounds 2
3600.09/3609.70 c # deted vars 9
3600.09/3609.70 c # deted constrs 8416
3600.09/3609.70 c # consecutive rounds of only bound changes 0
3600.09/3609.70 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: 63931 MiB (57965 MiB free)
memory of node 1: 64510 MiB (60808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435605-1721107935/watcher-4435605-1721107935 -o /tmp/evaluation-result-4435605-1721107935/solver-4435605-1721107935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834479 --watchdog 3760 mixed-bag HOME/instance-4435605-1721107935.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=838546, runsolver pid=838543
[startup+0.109326 s]*
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=121585232/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=115920 memory=47648 CPUtime=0.1 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 9114 0 0 0 9 1 0 0 20 0 1 0 162953693 118702080 11912 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 28980 11912 3650 3002 0 12731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115920 KiB
Current children cumulated memory: 47648 KiB
[startup+0.205981 s]*
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=121561308/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=133628 memory=64472 CPUtime=0.2 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 14937 0 0 0 18 2 0 0 20 0 1 0 162953693 136835072 16118 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 33407 16118 3778 3002 0 17158 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 133628 KiB
Current children cumulated memory: 64472 KiB
[startup+0.30591 s]*
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=121544944/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=150336 memory=78708 CPUtime=0.29 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 18060 0 0 0 27 2 0 0 20 0 1 0 162953693 153944064 19677 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 37584 19677 3810 3002 0 21335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 150336 KiB
Current children cumulated memory: 78708 KiB
[startup+0.700221 s]
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=121508192/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=192468 memory=108320 CPUtime=0.69 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 25423 0 0 0 66 3 0 0 20 0 1 0 162953693 197087232 27080 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 48117 27080 3826 3002 0 31868 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192468 KiB
Current children cumulated memory: 108320 KiB
[startup+1.50023 s]
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=121468544/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=202664 memory=118088 CPUtime=1.48 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 27874 0 0 0 145 3 0 0 20 0 1 0 162953693 207527936 29522 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 50666 29522 3826 3002 0 34417 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 202664 KiB
Current children cumulated memory: 118088 KiB
[startup+3.1058 s]
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=121253272/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=247032 memory=163800 CPUtime=3.09 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 39284 0 0 0 304 5 0 0 20 0 1 0 162953693 252960768 40950 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 61758 40950 3837 3002 0 45509 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 247032 KiB
Current children cumulated memory: 163800 KiB
[startup+6.30023 s]
/proc/loadavg: 3.97 4.08 4.08 5/259 838547
/proc/meminfo: memFree=118771488/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=248056 memory=164840 CPUtime=6.27 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 39544 0 0 0 622 5 0 0 20 0 1 0 162953693 254009344 41210 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 62014 41210 3837 3002 0 45765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 248056 KiB
Current children cumulated memory: 164840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.08 5/259 838549
/proc/meminfo: memFree=116737688/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=338812 memory=254300 CPUtime=12.65 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 62522 0 0 0 1256 9 0 0 20 0 1 0 162953693 346943488 63575 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 84703 63575 4060 3002 0 68454 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 338812 KiB
Current children cumulated memory: 254300 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 838550
/proc/meminfo: memFree=109791596/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=387048 memory=302820 CPUtime=25.42 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 84438 0 0 0 2529 13 0 0 20 0 1 0 162953693 396337152 75705 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 96762 75705 4060 3002 0 80513 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 387048 KiB
Current children cumulated memory: 302820 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 838609
/proc/meminfo: memFree=122295332/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=398548 memory=314360 CPUtime=50.95 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 89596 0 0 0 5081 14 0 0 20 0 1 0 162953693 408113152 78590 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 99637 78590 4060 3002 0 83388 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 398548 KiB
Current children cumulated memory: 314360 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/259 838665
/proc/meminfo: memFree=122261520/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=398548 memory=314620 CPUtime=102.01 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 89642 0 0 0 10185 16 0 0 20 0 1 0 162953693 408113152 78655 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 99637 78655 4060 3002 0 83388 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 398548 KiB
Current children cumulated memory: 314620 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 838676
/proc/meminfo: memFree=122248580/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=411192 memory=326764 CPUtime=161.85 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 92687 0 0 0 16166 19 0 0 20 0 1 0 162953693 421060608 81691 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 102798 81691 4060 3002 0 86549 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 411192 KiB
Current children cumulated memory: 326764 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 838687
/proc/meminfo: memFree=122157896/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=488168 memory=400828 CPUtime=221.69 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 113225 0 0 0 22146 23 0 0 20 0 1 0 162953693 499884032 100207 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 122042 100207 4060 3002 0 105793 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 488168 KiB
Current children cumulated memory: 400828 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 838697
/proc/meminfo: memFree=122150756/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=488168 memory=400828 CPUtime=281.53 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 113280 0 0 0 28129 24 0 0 20 0 1 0 162953693 499884032 100207 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 122042 100207 4060 3002 0 105793 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 488168 KiB
Current children cumulated memory: 400828 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 838708
/proc/meminfo: memFree=122054740/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=502492 memory=429052 CPUtime=341.37 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 116059 0 0 0 34053 84 0 0 20 0 1 0 162953693 514551808 107263 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 125623 107263 4124 3002 0 109374 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 502492 KiB
Current children cumulated memory: 429052 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 838720
/proc/meminfo: memFree=121973484/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=583400 memory=466952 CPUtime=401.22 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 116912 0 0 0 39986 136 0 0 20 0 1 0 162953693 597401600 116738 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 145850 116738 4124 3002 0 129601 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 583400 KiB
Current children cumulated memory: 466952 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/257 838734
/proc/meminfo: memFree=121930728/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=583400 memory=473888 CPUtime=461.06 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 117118 0 0 0 45891 215 0 0 20 0 1 0 162953693 597401600 118472 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 145850 118472 4124 3002 0 129601 0
################
# More data... #
################
Current children cumulated memory: 671384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 839850
/proc/meminfo: memFree=122203352/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=862784 memory=696316 CPUtime=2914.52 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 138681 0 0 0 290228 1224 0 0 20 0 1 0 162953693 883490816 174079 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 215696 174079 4124 3002 0 199447 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 862784 KiB
Current children cumulated memory: 696316 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 839861
/proc/meminfo: memFree=122136780/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=872768 memory=705056 CPUtime=2974.31 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 140667 0 0 0 296201 1230 0 0 20 0 1 0 162953693 893714432 176264 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 218192 176264 4124 3002 0 201943 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 872768 KiB
Current children cumulated memory: 705056 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 839871
/proc/meminfo: memFree=122118856/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=873472 memory=705844 CPUtime=3034.16 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 140969 0 0 0 302175 1241 0 0 20 0 1 0 162953693 894435328 176461 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 218368 176461 4124 3002 0 202119 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 873472 KiB
Current children cumulated memory: 705844 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 839883
/proc/meminfo: memFree=122117736/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=873472 memory=705844 CPUtime=3094 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 141160 0 0 0 308153 1247 0 0 20 0 1 0 162953693 894435328 176461 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 218368 176461 4124 3002 0 202119 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 873472 KiB
Current children cumulated memory: 705844 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 840277
/proc/meminfo: memFree=122100976/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=875468 memory=709392 CPUtime=3153.84 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 141817 0 0 0 314126 1258 0 0 20 0 1 0 162953693 896479232 177348 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 218867 177348 4124 3002 0 202618 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 875468 KiB
Current children cumulated memory: 709392 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 840287
/proc/meminfo: memFree=122096792/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=878284 memory=711432 CPUtime=3213.68 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 142588 0 0 0 320093 1275 0 0 20 0 1 0 162953693 899362816 177858 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 219571 177858 4124 3002 0 203322 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 878284 KiB
Current children cumulated memory: 711432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.49 4.21 4.13 5/256 840297
/proc/meminfo: memFree=122094896/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=881668 memory=713672 CPUtime=3273.53 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 143377 0 0 0 326067 1286 0 0 20 0 1 0 162953693 902828032 178418 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 220417 178418 4124 3002 0 204168 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 881668 KiB
Current children cumulated memory: 713672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/256 840477
/proc/meminfo: memFree=122090184/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=883140 memory=715032 CPUtime=3333.38 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 143824 0 0 0 332040 1298 0 0 20 0 1 0 162953693 904335360 178758 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 220785 178758 4124 3002 0 204536 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 883140 KiB
Current children cumulated memory: 715032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 840488
/proc/meminfo: memFree=122085496/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=887748 memory=718296 CPUtime=3393.22 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 144918 0 0 0 338019 1303 0 0 20 0 1 0 162953693 909053952 179574 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 221937 179574 4124 3002 0 205688 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 887748 KiB
Current children cumulated memory: 718296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/257 840556
/proc/meminfo: memFree=122040396/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=891860 memory=721812 CPUtime=3453.07 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 146031 0 0 0 343987 1320 0 0 20 0 1 0 162953693 913264640 180453 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 222965 180453 4124 3002 0 206716 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 891860 KiB
Current children cumulated memory: 721812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/257 840568
/proc/meminfo: memFree=122007076/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=893652 memory=723144 CPUtime=3512.9 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 146538 0 0 0 349960 1330 0 0 20 0 1 0 162953693 915099648 180786 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 223413 180786 4124 3002 0 207164 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 893652 KiB
Current children cumulated memory: 723144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 840578
/proc/meminfo: memFree=122005600/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=894468 memory=723624 CPUtime=3572.75 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 146830 0 0 0 355929 1346 0 0 20 0 1 0 162953693 915935232 180906 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 223617 180906 4124 3002 0 207368 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 894468 KiB
Current children cumulated memory: 723624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.27 4.18 4.12 5/258 840630
/proc/meminfo: memFree=122239184/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=895384 memory=724492 CPUtime=3600.09 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 147159 0 0 0 358644 1365 0 0 20 0 1 0 162953693 916873216 181123 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 223846 181123 4124 3002 0 207597 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 895384 KiB
Current children cumulated memory: 724492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 838546 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.45 s, system=13.655 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.27 4.18 4.12 5/258 840630
/proc/meminfo: memFree=122239184/131524600 swapFree=131071996/131071996
[pid=838546] ppid=838543 vsize=895384 memory=724492 CPUtime=3600.09 cores=5,7
/proc/838546/stat : 838546 (mixed-bag) R 838543 838546 834466 0 -1 4194304 147159 0 0 0 358644 1365 0 0 20 0 1 0 162953693 916873216 181123 134679101440 4194304 16487941 140721028601072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46264320 140721028609047 140721028609124 140721028609124 140721028616139 0
/proc/838546/statm: 223846 181123 4124 3002 0 207597 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 895384 KiB
Current children cumulated memory: 724492 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.1
CPU user time (s): 3586.45
CPU system time (s): 13.655
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 895384
Max. memory (cumulated for all children) (KiB): 724492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.45
system time used= 13.655
maximum resident set size= 724492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147181
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= 151
involuntary context switches= 3395
# summary of solver processes directly reported to runsolver:
# pid: 838546
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.45
# total CPU system time (s): 13.655
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80744 second user time and 16.9094 second system time
The end
Begin job on nodeC015 at 2024-07-16 07:32:27
IDJOB=4435605
IDBENCH=148768
IDSOLVER=3066
FILE ID=nodeC015/4435605-1721107935
RUNJOBID= nodeC015-1721104319-834479
SLURM_JOB_ID= 7505624
Free space on /tmp= 889784 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435605-1721107935/watcher-4435605-1721107935 -o /tmp/evaluation-result-4435605-1721107935/solver-4435605-1721107935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834479 --watchdog 3760 mixed-bag HOME/instance-4435605-1721107935.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=245063839
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.339
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3670.596
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.921
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3600.035
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3670.314
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3668.894
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.022
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3667.270
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121624536 kB
MemAvailable: 127310760 kB
Buffers: 382892 kB
Cached: 6128088 kB
SwapCached: 0 kB
Active: 1400064 kB
Inactive: 7874700 kB
Active(anon): 1548 kB
Inactive(anon): 2799932 kB
Active(file): 1398516 kB
Inactive(file): 5074768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 306208 kB
Writeback: 36 kB
AnonPages: 2762048 kB
Mapped: 128844 kB
Shmem: 37720 kB
KReclaimable: 105176 kB
Slab: 212976 kB
SReclaimable: 105176 kB
SUnreclaim: 107800 kB
KernelStack: 4080 kB
PageTables: 14740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3315220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62624 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1771520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228052 kB
DirectMap2M: 33099776 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC015 at 2024-07-16 08:32:37