0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.10/0.19 c [STEP] preprocessing with Papilo
0.20/0.28 c [STEP] solving with SCIP
299.39/300.38 c [STEP] preprocessing done, loading into solver
299.39/300.39 c [STEP] solving
299.39/300.39 c #variables 8416 #constraints 770
353.04/354.19 c #Conflicts: 1000 | #Constraints: 1769
353.04/354.19 c #Conflicts: 2000 | #Constraints: 2769
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 3000 | #Constraints: 2781
353.04/354.19 c #Conflicts: 4000 | #Constraints: 3781
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 5000 | #Constraints: 3197
353.04/354.19 c #Conflicts: 6000 | #Constraints: 4197
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 7000 | #Constraints: 3201
353.04/354.19 c #Conflicts: 8000 | #Constraints: 4201
353.04/354.19 c #Conflicts: 9000 | #Constraints: 5201
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 10000 | #Constraints: 3897
353.04/354.19 c #Conflicts: 11000 | #Constraints: 4897
353.04/354.19 c #Conflicts: 12000 | #Constraints: 5897
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 13000 | #Constraints: 4347
353.04/354.19 c #Conflicts: 14000 | #Constraints: 5347
353.04/354.19 c #Conflicts: 15000 | #Constraints: 6347
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 16000 | #Constraints: 4570
353.04/354.19 c #Conflicts: 17000 | #Constraints: 5570
353.04/354.19 c #Conflicts: 18000 | #Constraints: 6570
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 19000 | #Constraints: 4599
353.04/354.19 c #Conflicts: 20000 | #Constraints: 5599
353.04/354.19 c #Conflicts: 21000 | #Constraints: 6599
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 22000 | #Constraints: 4402
353.04/354.19 c #Conflicts: 23000 | #Constraints: 5402
353.04/354.19 c #Conflicts: 24000 | #Constraints: 6402
353.04/354.19 c #Conflicts: 25000 | #Constraints: 7402
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 26000 | #Constraints: 5002
353.04/354.19 c #Conflicts: 27000 | #Constraints: 6002
353.04/354.19 c #Conflicts: 28000 | #Constraints: 7002
353.04/354.19 c #Conflicts: 29000 | #Constraints: 8002
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 30000 | #Constraints: 5395
353.04/354.19 c #Conflicts: 31000 | #Constraints: 6395
353.04/354.19 c #Conflicts: 32000 | #Constraints: 7395
353.04/354.19 c #Conflicts: 33000 | #Constraints: 8395
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 34000 | #Constraints: 5596
353.04/354.19 c #Conflicts: 35000 | #Constraints: 6596
353.04/354.19 c #Conflicts: 36000 | #Constraints: 7596
353.04/354.19 c #Conflicts: 37000 | #Constraints: 8596
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 38000 | #Constraints: 5609
353.04/354.19 c #Conflicts: 39000 | #Constraints: 6609
353.04/354.19 c #Conflicts: 40000 | #Constraints: 7609
353.04/354.19 c #Conflicts: 41000 | #Constraints: 8609
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 42000 | #Constraints: 5444
353.04/354.19 c #Conflicts: 43000 | #Constraints: 6444
353.04/354.19 c #Conflicts: 44000 | #Constraints: 7444
353.04/354.19 c #Conflicts: 45000 | #Constraints: 8444
353.04/354.19 c #Conflicts: 46000 | #Constraints: 9444
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 47000 | #Constraints: 6025
353.04/354.19 c #Conflicts: 48000 | #Constraints: 7025
353.04/354.19 c #Conflicts: 49000 | #Constraints: 8025
353.04/354.19 c #Conflicts: 50000 | #Constraints: 9025
353.04/354.19 c #Conflicts: 51000 | #Constraints: 10025
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 52000 | #Constraints: 6415
353.04/354.19 c #Conflicts: 53000 | #Constraints: 7415
353.04/354.19 c #Conflicts: 54000 | #Constraints: 8415
353.04/354.19 c #Conflicts: 55000 | #Constraints: 9415
353.04/354.19 c #Conflicts: 56000 | #Constraints: 10415
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 57000 | #Constraints: 6603
353.04/354.19 c #Conflicts: 58000 | #Constraints: 7603
353.04/354.19 c #Conflicts: 59000 | #Constraints: 8603
353.04/354.19 c #Conflicts: 60000 | #Constraints: 9603
353.04/354.19 c #Conflicts: 61000 | #Constraints: 10603
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 62000 | #Constraints: 6602
353.04/354.19 c #Conflicts: 63000 | #Constraints: 7602
353.04/354.19 c #Conflicts: 64000 | #Constraints: 8602
353.04/354.19 c #Conflicts: 65000 | #Constraints: 9602
353.04/354.19 c #Conflicts: 66000 | #Constraints: 10602
353.04/354.19 c INPROCESSING
353.04/354.19 c GARBAGE COLLECT
353.04/354.19 c #Conflicts: 67000 | #Constraints: 6411
353.04/354.19 c #Conflicts: 68000 | #Constraints: 7411
454.81/456.25 c #Conflicts: 69000 | #Constraints: 8411
454.81/456.25 c #Conflicts: 70000 | #Constraints: 9411
454.81/456.25 c #Conflicts: 71000 | #Constraints: 10411
454.81/456.25 c #Conflicts: 72000 | #Constraints: 11411
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 73000 | #Constraints: 6998
454.81/456.25 c #Conflicts: 74000 | #Constraints: 7998
454.81/456.25 c #Conflicts: 75000 | #Constraints: 8998
454.81/456.25 c #Conflicts: 76000 | #Constraints: 9998
454.81/456.25 c #Conflicts: 77000 | #Constraints: 10998
454.81/456.25 c #Conflicts: 78000 | #Constraints: 11998
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 79000 | #Constraints: 7399
454.81/456.25 c #Conflicts: 80000 | #Constraints: 8399
454.81/456.25 c #Conflicts: 81000 | #Constraints: 9399
454.81/456.25 c #Conflicts: 82000 | #Constraints: 10399
454.81/456.25 c #Conflicts: 83000 | #Constraints: 11399
454.81/456.25 c #Conflicts: 84000 | #Constraints: 12399
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 85000 | #Constraints: 7617
454.81/456.25 c #Conflicts: 86000 | #Constraints: 8617
454.81/456.25 c #Conflicts: 87000 | #Constraints: 9617
454.81/456.25 c #Conflicts: 88000 | #Constraints: 10617
454.81/456.25 c #Conflicts: 89000 | #Constraints: 11617
454.81/456.25 c #Conflicts: 90000 | #Constraints: 12617
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 91000 | #Constraints: 7610
454.81/456.25 c #Conflicts: 92000 | #Constraints: 8610
454.81/456.25 c #Conflicts: 93000 | #Constraints: 9610
454.81/456.25 c #Conflicts: 94000 | #Constraints: 10610
454.81/456.25 c #Conflicts: 95000 | #Constraints: 11610
454.81/456.25 c #Conflicts: 96000 | #Constraints: 12610
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 97000 | #Constraints: 7435
454.81/456.25 c #Conflicts: 98000 | #Constraints: 8435
454.81/456.25 c #Conflicts: 99000 | #Constraints: 9435
454.81/456.25 c #Conflicts: 100000 | #Constraints: 10435
454.81/456.25 c #Conflicts: 101000 | #Constraints: 11435
454.81/456.25 c #Conflicts: 102000 | #Constraints: 12435
454.81/456.25 c #Conflicts: 103000 | #Constraints: 13435
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 104000 | #Constraints: 8015
454.81/456.25 c #Conflicts: 105000 | #Constraints: 9015
454.81/456.25 c #Conflicts: 106000 | #Constraints: 10015
454.81/456.25 c #Conflicts: 107000 | #Constraints: 11015
454.81/456.25 c #Conflicts: 108000 | #Constraints: 12015
454.81/456.25 c #Conflicts: 109000 | #Constraints: 13015
454.81/456.25 c #Conflicts: 110000 | #Constraints: 14015
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 111000 | #Constraints: 8415
454.81/456.25 c #Conflicts: 112000 | #Constraints: 9415
454.81/456.25 c #Conflicts: 113000 | #Constraints: 10415
454.81/456.25 c #Conflicts: 114000 | #Constraints: 11415
454.81/456.25 c #Conflicts: 115000 | #Constraints: 12415
454.81/456.25 c #Conflicts: 116000 | #Constraints: 13415
454.81/456.25 c #Conflicts: 117000 | #Constraints: 14415
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 118000 | #Constraints: 8608
454.81/456.25 c #Conflicts: 119000 | #Constraints: 9608
454.81/456.25 c #Conflicts: 120000 | #Constraints: 10608
454.81/456.25 c #Conflicts: 121000 | #Constraints: 11608
454.81/456.25 c #Conflicts: 122000 | #Constraints: 12608
454.81/456.25 c #Conflicts: 123000 | #Constraints: 13608
454.81/456.25 c #Conflicts: 124000 | #Constraints: 14608
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 125000 | #Constraints: 8604
454.81/456.25 c #Conflicts: 126000 | #Constraints: 9604
454.81/456.25 c #Conflicts: 127000 | #Constraints: 10604
454.81/456.25 c #Conflicts: 128000 | #Constraints: 11604
454.81/456.25 c #Conflicts: 129000 | #Constraints: 12604
454.81/456.25 c #Conflicts: 130000 | #Constraints: 13604
454.81/456.25 c #Conflicts: 131000 | #Constraints: 14604
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 132000 | #Constraints: 8398
454.81/456.25 c #Conflicts: 133000 | #Constraints: 9398
454.81/456.25 c #Conflicts: 134000 | #Constraints: 10398
454.81/456.25 c #Conflicts: 135000 | #Constraints: 11398
454.81/456.25 c #Conflicts: 136000 | #Constraints: 12398
454.81/456.25 c #Conflicts: 137000 | #Constraints: 13398
454.81/456.25 c #Conflicts: 138000 | #Constraints: 14398
454.81/456.25 c #Conflicts: 139000 | #Constraints: 15398
454.81/456.25 c INPROCESSING
454.81/456.25 c GARBAGE COLLECT
454.81/456.25 c #Conflicts: 140000 | #Constraints: 9019
600.36/602.23 c #Conflicts: 141000 | #Constraints: 10019
600.36/602.23 c #Conflicts: 142000 | #Constraints: 11019
600.36/602.23 c #Conflicts: 143000 | #Constraints: 12019
600.36/602.23 c #Conflicts: 144000 | #Constraints: 13019
600.36/602.23 c #Conflicts: 145000 | #Constraints: 14019
600.36/602.23 c #Conflicts: 146000 | #Constraints: 15019
600.36/602.23 c #Conflicts: 147000 | #Constraints: 16019
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 148000 | #Constraints: 9430
600.36/602.23 c #Conflicts: 149000 | #Constraints: 10430
600.36/602.23 c #Conflicts: 150000 | #Constraints: 11430
600.36/602.23 c #Conflicts: 151000 | #Constraints: 12430
600.36/602.23 c #Conflicts: 152000 | #Constraints: 13430
600.36/602.23 c #Conflicts: 153000 | #Constraints: 14430
600.36/602.23 c #Conflicts: 154000 | #Constraints: 15430
600.36/602.23 c #Conflicts: 155000 | #Constraints: 16430
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 156000 | #Constraints: 9621
600.36/602.23 c #Conflicts: 157000 | #Constraints: 10621
600.36/602.23 c #Conflicts: 158000 | #Constraints: 11621
600.36/602.23 c #Conflicts: 159000 | #Constraints: 12621
600.36/602.23 c #Conflicts: 160000 | #Constraints: 13621
600.36/602.23 c #Conflicts: 161000 | #Constraints: 14621
600.36/602.23 c #Conflicts: 162000 | #Constraints: 15621
600.36/602.23 c #Conflicts: 163000 | #Constraints: 16621
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 164000 | #Constraints: 9640
600.36/602.23 c #Conflicts: 165000 | #Constraints: 10640
600.36/602.23 c #Conflicts: 166000 | #Constraints: 11640
600.36/602.23 c #Conflicts: 167000 | #Constraints: 12640
600.36/602.23 c #Conflicts: 168000 | #Constraints: 13640
600.36/602.23 c #Conflicts: 169000 | #Constraints: 14640
600.36/602.23 c #Conflicts: 170000 | #Constraints: 15640
600.36/602.23 c #Conflicts: 171000 | #Constraints: 16640
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 172000 | #Constraints: 9420
600.36/602.23 c #Conflicts: 173000 | #Constraints: 10420
600.36/602.23 c #Conflicts: 174000 | #Constraints: 11420
600.36/602.23 c #Conflicts: 175000 | #Constraints: 12420
600.36/602.23 c #Conflicts: 176000 | #Constraints: 13420
600.36/602.23 c #Conflicts: 177000 | #Constraints: 14420
600.36/602.23 c #Conflicts: 178000 | #Constraints: 15420
600.36/602.23 c #Conflicts: 179000 | #Constraints: 16420
600.36/602.23 c #Conflicts: 180000 | #Constraints: 17420
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 181000 | #Constraints: 10019
600.36/602.23 c #Conflicts: 182000 | #Constraints: 11019
600.36/602.23 c #Conflicts: 183000 | #Constraints: 12019
600.36/602.23 c #Conflicts: 184000 | #Constraints: 13019
600.36/602.23 c #Conflicts: 185000 | #Constraints: 14019
600.36/602.23 c #Conflicts: 186000 | #Constraints: 15019
600.36/602.23 c #Conflicts: 187000 | #Constraints: 16019
600.36/602.23 c #Conflicts: 188000 | #Constraints: 17019
600.36/602.23 c #Conflicts: 189000 | #Constraints: 18019
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 190000 | #Constraints: 10429
600.36/602.23 c #Conflicts: 191000 | #Constraints: 11429
600.36/602.23 c #Conflicts: 192000 | #Constraints: 12429
600.36/602.23 c #Conflicts: 193000 | #Constraints: 13429
600.36/602.23 c #Conflicts: 194000 | #Constraints: 14429
600.36/602.23 c #Conflicts: 195000 | #Constraints: 15429
600.36/602.23 c #Conflicts: 196000 | #Constraints: 16429
600.36/602.23 c #Conflicts: 197000 | #Constraints: 17429
600.36/602.23 c #Conflicts: 198000 | #Constraints: 18429
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 199000 | #Constraints: 10671
600.36/602.23 c #Conflicts: 200000 | #Constraints: 11671
600.36/602.23 c #Conflicts: 201000 | #Constraints: 12671
600.36/602.23 c #Conflicts: 202000 | #Constraints: 13671
600.36/602.23 c #Conflicts: 203000 | #Constraints: 14671
600.36/602.23 c #Conflicts: 204000 | #Constraints: 15671
600.36/602.23 c #Conflicts: 205000 | #Constraints: 16671
600.36/602.23 c #Conflicts: 206000 | #Constraints: 17671
600.36/602.23 c #Conflicts: 207000 | #Constraints: 18671
600.36/602.23 c INPROCESSING
600.36/602.23 c GARBAGE COLLECT
600.36/602.23 c #Conflicts: 208000 | #Constraints: 10665
600.36/602.23 c #Conflicts: 209000 | #Constraints: 11665
600.36/602.23 c #Conflicts: 210000 | #Constraints: 12665
600.36/602.23 c #Conflicts: 211000 | #Constraints: 13665
600.36/602.23 c #Conflicts: 212000 | #Constraints: 14665
600.36/602.23 c #Conflicts: 213000 | #Constraints: 15665
732.83/735.14 c #Conflicts: 214000 | #Constraints: 16665
732.83/735.14 c #Conflicts: 215000 | #Constraints: 17665
732.83/735.14 c #Conflicts: 216000 | #Constraints: 18665
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 217000 | #Constraints: 10549
732.83/735.14 c #Conflicts: 218000 | #Constraints: 11549
732.83/735.14 c #Conflicts: 219000 | #Constraints: 12549
732.83/735.14 c #Conflicts: 220000 | #Constraints: 13549
732.83/735.14 c #Conflicts: 221000 | #Constraints: 14549
732.83/735.14 c #Conflicts: 222000 | #Constraints: 15549
732.83/735.14 c #Conflicts: 223000 | #Constraints: 16549
732.83/735.14 c #Conflicts: 224000 | #Constraints: 17549
732.83/735.14 c #Conflicts: 225000 | #Constraints: 18549
732.83/735.14 c #Conflicts: 226000 | #Constraints: 19549
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 227000 | #Constraints: 11148
732.83/735.14 c #Conflicts: 228000 | #Constraints: 12148
732.83/735.14 c #Conflicts: 229000 | #Constraints: 13148
732.83/735.14 c #Conflicts: 230000 | #Constraints: 14148
732.83/735.14 c #Conflicts: 231000 | #Constraints: 15148
732.83/735.14 c #Conflicts: 232000 | #Constraints: 16148
732.83/735.14 c #Conflicts: 233000 | #Constraints: 17148
732.83/735.14 c #Conflicts: 234000 | #Constraints: 18148
732.83/735.14 c #Conflicts: 235000 | #Constraints: 19148
732.83/735.14 c #Conflicts: 236000 | #Constraints: 20148
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 237000 | #Constraints: 11482
732.83/735.14 c #Conflicts: 238000 | #Constraints: 12482
732.83/735.14 c #Conflicts: 239000 | #Constraints: 13482
732.83/735.14 c #Conflicts: 240000 | #Constraints: 14482
732.83/735.14 c #Conflicts: 241000 | #Constraints: 15482
732.83/735.14 c #Conflicts: 242000 | #Constraints: 16482
732.83/735.14 c #Conflicts: 243000 | #Constraints: 17482
732.83/735.14 c #Conflicts: 244000 | #Constraints: 18482
732.83/735.14 c #Conflicts: 245000 | #Constraints: 19482
732.83/735.14 c #Conflicts: 246000 | #Constraints: 20482
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 247000 | #Constraints: 11670
732.83/735.14 c #Conflicts: 248000 | #Constraints: 12670
732.83/735.14 c #Conflicts: 249000 | #Constraints: 13670
732.83/735.14 c #Conflicts: 250000 | #Constraints: 14670
732.83/735.14 c #Conflicts: 251000 | #Constraints: 15670
732.83/735.14 c #Conflicts: 252000 | #Constraints: 16670
732.83/735.14 c #Conflicts: 253000 | #Constraints: 17670
732.83/735.14 c #Conflicts: 254000 | #Constraints: 18670
732.83/735.14 c #Conflicts: 255000 | #Constraints: 19670
732.83/735.14 c #Conflicts: 256000 | #Constraints: 20670
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 257000 | #Constraints: 11638
732.83/735.14 c #Conflicts: 258000 | #Constraints: 12638
732.83/735.14 c #Conflicts: 259000 | #Constraints: 13638
732.83/735.14 c #Conflicts: 260000 | #Constraints: 14638
732.83/735.14 c #Conflicts: 261000 | #Constraints: 15638
732.83/735.14 c #Conflicts: 262000 | #Constraints: 16638
732.83/735.14 c #Conflicts: 263000 | #Constraints: 17638
732.83/735.14 c #Conflicts: 264000 | #Constraints: 18638
732.83/735.14 c #Conflicts: 265000 | #Constraints: 19638
732.83/735.14 c #Conflicts: 266000 | #Constraints: 20638
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 267000 | #Constraints: 11431
732.83/735.14 c #Conflicts: 268000 | #Constraints: 12431
732.83/735.14 c #Conflicts: 269000 | #Constraints: 13431
732.83/735.14 c #Conflicts: 270000 | #Constraints: 14431
732.83/735.14 c #Conflicts: 271000 | #Constraints: 15431
732.83/735.14 c #Conflicts: 272000 | #Constraints: 16431
732.83/735.14 c #Conflicts: 273000 | #Constraints: 17431
732.83/735.14 c #Conflicts: 274000 | #Constraints: 18431
732.83/735.14 c #Conflicts: 275000 | #Constraints: 19431
732.83/735.14 c #Conflicts: 276000 | #Constraints: 20431
732.83/735.14 c #Conflicts: 277000 | #Constraints: 21431
732.83/735.14 c INPROCESSING
732.83/735.14 c GARBAGE COLLECT
732.83/735.14 c #Conflicts: 278000 | #Constraints: 12016
732.83/735.14 c #Conflicts: 279000 | #Constraints: 13016
732.83/735.14 c #Conflicts: 280000 | #Constraints: 14016
732.83/735.14 c #Conflicts: 281000 | #Constraints: 15016
732.83/735.14 c #Conflicts: 282000 | #Constraints: 16016
732.83/735.14 c #Conflicts: 283000 | #Constraints: 17016
732.83/735.14 c #Conflicts: 284000 | #Constraints: 18016
732.83/735.14 c #Conflicts: 285000 | #Constraints: 19016
732.83/735.14 c #Conflicts: 286000 | #Constraints: 20016
732.83/735.14 c #Conflicts: 287000 | #Constraints: 21016
732.83/735.14 c #Conflicts: 288000 | #Constraints: 22016
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 289000 | #Constraints: 12415
825.12/827.73 c #Conflicts: 290000 | #Constraints: 13415
825.12/827.73 c #Conflicts: 291000 | #Constraints: 14415
825.12/827.73 c #Conflicts: 292000 | #Constraints: 15415
825.12/827.73 c #Conflicts: 293000 | #Constraints: 16415
825.12/827.73 c #Conflicts: 294000 | #Constraints: 17415
825.12/827.73 c #Conflicts: 295000 | #Constraints: 18415
825.12/827.73 c #Conflicts: 296000 | #Constraints: 19415
825.12/827.73 c #Conflicts: 297000 | #Constraints: 20415
825.12/827.73 c #Conflicts: 298000 | #Constraints: 21415
825.12/827.73 c #Conflicts: 299000 | #Constraints: 22415
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 300000 | #Constraints: 12607
825.12/827.73 c #Conflicts: 301000 | #Constraints: 13607
825.12/827.73 c #Conflicts: 302000 | #Constraints: 14607
825.12/827.73 c #Conflicts: 303000 | #Constraints: 15607
825.12/827.73 c #Conflicts: 304000 | #Constraints: 16607
825.12/827.73 c #Conflicts: 305000 | #Constraints: 17607
825.12/827.73 c #Conflicts: 306000 | #Constraints: 18607
825.12/827.73 c #Conflicts: 307000 | #Constraints: 19607
825.12/827.73 c #Conflicts: 308000 | #Constraints: 20607
825.12/827.73 c #Conflicts: 309000 | #Constraints: 21607
825.12/827.73 c #Conflicts: 310000 | #Constraints: 22607
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 311000 | #Constraints: 12616
825.12/827.73 c #Conflicts: 312000 | #Constraints: 13616
825.12/827.73 c #Conflicts: 313000 | #Constraints: 14616
825.12/827.73 c #Conflicts: 314000 | #Constraints: 15616
825.12/827.73 c #Conflicts: 315000 | #Constraints: 16616
825.12/827.73 c #Conflicts: 316000 | #Constraints: 17616
825.12/827.73 c #Conflicts: 317000 | #Constraints: 18616
825.12/827.73 c #Conflicts: 318000 | #Constraints: 19616
825.12/827.73 c #Conflicts: 319000 | #Constraints: 20616
825.12/827.73 c #Conflicts: 320000 | #Constraints: 21616
825.12/827.73 c #Conflicts: 321000 | #Constraints: 22616
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 322000 | #Constraints: 12432
825.12/827.73 c #Conflicts: 323000 | #Constraints: 13432
825.12/827.73 c #Conflicts: 324000 | #Constraints: 14432
825.12/827.73 c #Conflicts: 325000 | #Constraints: 15432
825.12/827.73 c #Conflicts: 326000 | #Constraints: 16432
825.12/827.73 c #Conflicts: 327000 | #Constraints: 17432
825.12/827.73 c #Conflicts: 328000 | #Constraints: 18432
825.12/827.73 c #Conflicts: 329000 | #Constraints: 19432
825.12/827.73 c #Conflicts: 330000 | #Constraints: 20432
825.12/827.73 c #Conflicts: 331000 | #Constraints: 21432
825.12/827.73 c #Conflicts: 332000 | #Constraints: 22432
825.12/827.73 c #Conflicts: 333000 | #Constraints: 23432
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 334000 | #Constraints: 13022
825.12/827.73 c #Conflicts: 335000 | #Constraints: 14022
825.12/827.73 c #Conflicts: 336000 | #Constraints: 15022
825.12/827.73 c #Conflicts: 337000 | #Constraints: 16022
825.12/827.73 c #Conflicts: 338000 | #Constraints: 17022
825.12/827.73 c #Conflicts: 339000 | #Constraints: 18022
825.12/827.73 c #Conflicts: 340000 | #Constraints: 19022
825.12/827.73 c #Conflicts: 341000 | #Constraints: 20022
825.12/827.73 c #Conflicts: 342000 | #Constraints: 21022
825.12/827.73 c #Conflicts: 343000 | #Constraints: 22022
825.12/827.73 c #Conflicts: 344000 | #Constraints: 23022
825.12/827.73 c #Conflicts: 345000 | #Constraints: 24022
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 346000 | #Constraints: 13412
825.12/827.73 c #Conflicts: 347000 | #Constraints: 14412
825.12/827.73 c #Conflicts: 348000 | #Constraints: 15412
825.12/827.73 c #Conflicts: 349000 | #Constraints: 16412
825.12/827.73 c #Conflicts: 350000 | #Constraints: 17412
825.12/827.73 c #Conflicts: 351000 | #Constraints: 18412
825.12/827.73 c #Conflicts: 352000 | #Constraints: 19412
825.12/827.73 c #Conflicts: 353000 | #Constraints: 20412
825.12/827.73 c #Conflicts: 354000 | #Constraints: 21412
825.12/827.73 c #Conflicts: 355000 | #Constraints: 22412
825.12/827.73 c #Conflicts: 356000 | #Constraints: 23412
825.12/827.73 c #Conflicts: 357000 | #Constraints: 24412
825.12/827.73 c INPROCESSING
825.12/827.73 c GARBAGE COLLECT
825.12/827.73 c #Conflicts: 358000 | #Constraints: 13605
825.12/827.73 c #Conflicts: 359000 | #Constraints: 14605
825.12/827.73 c #Conflicts: 360000 | #Constraints: 15605
825.12/827.73 c #Conflicts: 361000 | #Constraints: 16605
825.12/827.73 c #Conflicts: 362000 | #Constraints: 17605
1060.58/1063.80 c #Conflicts: 363000 | #Constraints: 18605
1060.58/1063.80 c #Conflicts: 364000 | #Constraints: 19605
1060.58/1063.80 c #Conflicts: 365000 | #Constraints: 20605
1060.58/1063.80 c #Conflicts: 366000 | #Constraints: 21605
1060.58/1063.80 c #Conflicts: 367000 | #Constraints: 22605
1060.58/1063.80 c #Conflicts: 368000 | #Constraints: 23605
1060.58/1063.80 c #Conflicts: 369000 | #Constraints: 24605
1060.58/1063.80 c INPROCESSING
1060.58/1063.80 c GARBAGE COLLECT
1060.58/1063.80 c #Conflicts: 370000 | #Constraints: 13620
1060.58/1063.80 c #Conflicts: 371000 | #Constraints: 14620
1060.58/1063.80 c #Conflicts: 372000 | #Constraints: 15620
1060.58/1063.80 c #Conflicts: 373000 | #Constraints: 16620
1060.58/1063.80 c #Conflicts: 374000 | #Constraints: 17620
1060.58/1063.80 c #Conflicts: 375000 | #Constraints: 18620
1060.58/1063.80 c #Conflicts: 376000 | #Constraints: 19620
1060.58/1063.80 c #Conflicts: 377000 | #Constraints: 20620
1060.58/1063.80 c #Conflicts: 378000 | #Constraints: 21620
1060.58/1063.80 c #Conflicts: 379000 | #Constraints: 22620
1060.58/1063.80 c #Conflicts: 380000 | #Constraints: 23620
1060.58/1063.80 c #Conflicts: 381000 | #Constraints: 24620
1060.58/1063.80 c INPROCESSING
1060.58/1063.80 c GARBAGE COLLECT
1060.58/1063.80 c #Conflicts: 382000 | #Constraints: 13419
1060.58/1063.80 c #Conflicts: 383000 | #Constraints: 14419
1060.58/1063.80 c #Conflicts: 384000 | #Constraints: 15419
1060.58/1063.80 c #Conflicts: 385000 | #Constraints: 16419
1060.58/1063.80 c #Conflicts: 386000 | #Constraints: 17419
1060.58/1063.80 c #Conflicts: 387000 | #Constraints: 18419
1060.58/1063.80 c #Conflicts: 388000 | #Constraints: 19419
1060.58/1063.80 c #Conflicts: 389000 | #Constraints: 20419
1060.58/1063.80 c #Conflicts: 390000 | #Constraints: 21419
1060.58/1063.80 c #Conflicts: 391000 | #Constraints: 22419
1060.58/1063.80 c #Conflicts: 392000 | #Constraints: 23419
1060.58/1063.80 c #Conflicts: 393000 | #Constraints: 24419
1060.58/1063.80 c #Conflicts: 394000 | #Constraints: 25419
1060.58/1063.80 c INPROCESSING
1060.58/1063.80 c GARBAGE COLLECT
1060.58/1063.80 c #Conflicts: 395000 | #Constraints: 14019
1060.58/1063.80 c #Conflicts: 396000 | #Constraints: 15019
1060.58/1063.80 c #Conflicts: 397000 | #Constraints: 16019
1060.58/1063.80 c #Conflicts: 398000 | #Constraints: 17019
1060.58/1063.80 c #Conflicts: 399000 | #Constraints: 18019
1060.58/1063.80 c #Conflicts: 400000 | #Constraints: 19019
1060.58/1063.80 c #Conflicts: 401000 | #Constraints: 20019
1060.58/1063.80 c #Conflicts: 402000 | #Constraints: 21019
1060.58/1063.80 c #Conflicts: 403000 | #Constraints: 22019
1060.58/1063.80 c #Conflicts: 404000 | #Constraints: 23019
1060.58/1063.80 c #Conflicts: 405000 | #Constraints: 24019
1060.58/1063.80 c #Conflicts: 406000 | #Constraints: 25019
1060.58/1063.80 c #Conflicts: 407000 | #Constraints: 26019
1060.58/1063.80 c INPROCESSING
1060.58/1063.80 c GARBAGE COLLECT
1060.58/1063.80 c #Conflicts: 408000 | #Constraints: 14416
1060.58/1063.80 c #Conflicts: 409000 | #Constraints: 15416
1060.58/1063.80 c #Conflicts: 410000 | #Constraints: 16416
1060.58/1063.80 c #Conflicts: 411000 | #Constraints: 17416
1060.58/1063.80 c #Conflicts: 412000 | #Constraints: 18416
1060.58/1063.80 c #Conflicts: 413000 | #Constraints: 19416
1060.58/1063.80 c #Conflicts: 414000 | #Constraints: 20416
1060.58/1063.80 c #Conflicts: 415000 | #Constraints: 21416
1060.58/1063.80 c #Conflicts: 416000 | #Constraints: 22416
1060.58/1063.80 c #Conflicts: 417000 | #Constraints: 23416
1060.58/1063.80 c #Conflicts: 418000 | #Constraints: 24416
1060.58/1063.80 c #Conflicts: 419000 | #Constraints: 25416
1060.58/1063.80 c #Conflicts: 420000 | #Constraints: 26416
1060.58/1063.80 c INPROCESSING
1060.58/1063.80 c GARBAGE COLLECT
1060.58/1063.80 c #Conflicts: 421000 | #Constraints: 14644
1060.58/1063.80 c #Conflicts: 422000 | #Constraints: 15644
1060.58/1063.80 c #Conflicts: 423000 | #Constraints: 16644
1060.58/1063.80 c #Conflicts: 424000 | #Constraints: 17644
1060.58/1063.80 c #Conflicts: 425000 | #Constraints: 18644
1060.58/1063.80 c #Conflicts: 426000 | #Constraints: 19644
1060.58/1063.80 c #Conflicts: 427000 | #Constraints: 20644
1060.58/1063.80 c #Conflicts: 428000 | #Constraints: 21644
1060.58/1063.80 c #Conflicts: 429000 | #Constraints: 22644
1060.58/1063.80 c #Conflicts: 430000 | #Constraints: 23644
1060.58/1063.80 c #Conflicts: 431000 | #Constraints: 24644
1060.58/1063.80 c #Conflicts: 432000 | #Constraints: 25644
1060.58/1063.80 c #Conflicts: 433000 | #Constraints: 26644
1060.58/1063.80 c INPROCESSING
1060.58/1063.80 c GARBAGE COLLECT
1060.58/1063.80 c #Conflicts: 434000 | #Constraints: 14669
1060.58/1063.80 c #Conflicts: 435000 | #Constraints: 15669
1060.58/1063.80 c #Conflicts: 436000 | #Constraints: 16669
1060.58/1063.80 c #Conflicts: 437000 | #Constraints: 17669
1587.36/1592.03 c #Conflicts: 438000 | #Constraints: 18669
1587.36/1592.03 c #Conflicts: 439000 | #Constraints: 19669
1587.36/1592.03 c #Conflicts: 440000 | #Constraints: 20669
1587.36/1592.03 c #Conflicts: 441000 | #Constraints: 21669
1587.36/1592.03 c #Conflicts: 442000 | #Constraints: 22669
1587.36/1592.03 c #Conflicts: 443000 | #Constraints: 23669
1587.36/1592.03 c #Conflicts: 444000 | #Constraints: 24669
1587.36/1592.03 c #Conflicts: 445000 | #Constraints: 25669
1587.36/1592.03 c #Conflicts: 446000 | #Constraints: 26669
1587.36/1592.03 c INPROCESSING
1587.36/1592.03 c GARBAGE COLLECT
1587.36/1592.03 c #Conflicts: 447000 | #Constraints: 14455
1587.36/1592.03 c #Conflicts: 448000 | #Constraints: 15455
1587.36/1592.03 c #Conflicts: 449000 | #Constraints: 16455
1587.36/1592.03 c #Conflicts: 450000 | #Constraints: 17455
1587.36/1592.03 c #Conflicts: 451000 | #Constraints: 18455
1587.36/1592.03 c #Conflicts: 452000 | #Constraints: 19455
1587.36/1592.03 c #Conflicts: 453000 | #Constraints: 20455
1587.36/1592.03 c #Conflicts: 454000 | #Constraints: 21455
1587.36/1592.03 c #Conflicts: 455000 | #Constraints: 22455
1587.36/1592.03 c #Conflicts: 456000 | #Constraints: 23455
1587.36/1592.03 c #Conflicts: 457000 | #Constraints: 24455
1587.36/1592.03 c #Conflicts: 458000 | #Constraints: 25455
1587.36/1592.03 c #Conflicts: 459000 | #Constraints: 26455
1587.36/1592.03 c #Conflicts: 460000 | #Constraints: 27455
1587.36/1592.03 c INPROCESSING
1587.36/1592.03 c GARBAGE COLLECT
1587.36/1592.03 c #Conflicts: 461000 | #Constraints: 15043
1587.36/1592.03 c #Conflicts: 462000 | #Constraints: 16043
1587.36/1592.03 c #Conflicts: 463000 | #Constraints: 17043
1587.36/1592.03 c #Conflicts: 464000 | #Constraints: 18043
1587.36/1592.03 c #Conflicts: 465000 | #Constraints: 19043
1587.36/1592.03 c #Conflicts: 466000 | #Constraints: 20043
1587.36/1592.03 c #Conflicts: 467000 | #Constraints: 21043
1587.36/1592.03 c #Conflicts: 468000 | #Constraints: 22043
1587.36/1592.03 c #Conflicts: 469000 | #Constraints: 23043
1587.36/1592.03 c #Conflicts: 470000 | #Constraints: 24043
1587.36/1592.03 c #Conflicts: 471000 | #Constraints: 25043
1587.36/1592.03 c #Conflicts: 472000 | #Constraints: 26043
1587.36/1592.03 c #Conflicts: 473000 | #Constraints: 27043
1587.36/1592.03 c #Conflicts: 474000 | #Constraints: 28043
1587.36/1592.03 c INPROCESSING
1587.36/1592.03 c GARBAGE COLLECT
1587.36/1592.03 c #Conflicts: 475000 | #Constraints: 15463
1587.36/1592.03 c #Conflicts: 476000 | #Constraints: 16463
1587.36/1592.03 c #Conflicts: 477000 | #Constraints: 17463
1587.36/1592.03 c #Conflicts: 478000 | #Constraints: 18463
1587.36/1592.03 c #Conflicts: 479000 | #Constraints: 19463
1587.36/1592.03 c #Conflicts: 480000 | #Constraints: 20463
1587.36/1592.03 c #Conflicts: 481000 | #Constraints: 21463
1587.36/1592.03 c #Conflicts: 482000 | #Constraints: 22463
1587.36/1592.03 c #Conflicts: 483000 | #Constraints: 23463
1587.36/1592.03 c #Conflicts: 484000 | #Constraints: 24463
1587.36/1592.03 c #Conflicts: 485000 | #Constraints: 25463
1587.36/1592.03 c #Conflicts: 486000 | #Constraints: 26463
1587.36/1592.03 c #Conflicts: 487000 | #Constraints: 27463
1587.36/1592.03 c #Conflicts: 488000 | #Constraints: 28463
1587.36/1592.03 c INPROCESSING
1587.36/1592.03 c GARBAGE COLLECT
1587.36/1592.03 c #Conflicts: 489000 | #Constraints: 15665
1587.36/1592.03 c #Conflicts: 490000 | #Constraints: 16665
1587.36/1592.03 c #Conflicts: 491000 | #Constraints: 17665
1587.36/1592.03 c #Conflicts: 492000 | #Constraints: 18665
1587.36/1592.03 c #Conflicts: 493000 | #Constraints: 19665
1587.36/1592.03 c #Conflicts: 494000 | #Constraints: 20665
1587.36/1592.03 c #Conflicts: 495000 | #Constraints: 21665
1587.36/1592.03 c #Conflicts: 496000 | #Constraints: 22665
1587.36/1592.03 c #Conflicts: 497000 | #Constraints: 23665
1587.36/1592.03 c #Conflicts: 498000 | #Constraints: 24665
1587.36/1592.03 c #Conflicts: 499000 | #Constraints: 25665
1587.36/1592.03 c #Conflicts: 500000 | #Constraints: 26665
1587.36/1592.03 c #Conflicts: 501000 | #Constraints: 27665
1587.36/1592.03 c #Conflicts: 502000 | #Constraints: 28665
1587.36/1592.03 c INPROCESSING
1587.36/1592.03 c GARBAGE COLLECT
1587.36/1592.03 c #Conflicts: 503000 | #Constraints: 15697
1587.36/1592.03 c #Conflicts: 504000 | #Constraints: 16697
1587.36/1592.03 c #Conflicts: 505000 | #Constraints: 17697
1587.36/1592.03 c #Conflicts: 506000 | #Constraints: 18697
1587.36/1592.03 c #Conflicts: 507000 | #Constraints: 19697
1587.36/1592.03 c #Conflicts: 508000 | #Constraints: 20697
1587.36/1592.03 c #Conflicts: 509000 | #Constraints: 21697
1587.36/1592.03 c #Conflicts: 510000 | #Constraints: 22697
1587.36/1592.03 c #Conflicts: 511000 | #Constraints: 23697
1587.36/1592.03 c #Conflicts: 512000 | #Constraints: 24697
1587.36/1592.03 c #Conflicts: 513000 | #Constraints: 25697
1735.72/1740.86 c #Conflicts: 514000 | #Constraints: 26697
1735.72/1740.86 c #Conflicts: 515000 | #Constraints: 27697
1735.72/1740.86 c #Conflicts: 516000 | #Constraints: 28697
1735.72/1740.86 c INPROCESSING
1735.72/1740.86 c GARBAGE COLLECT
1735.72/1740.86 c #Conflicts: 517000 | #Constraints: 15447
1735.72/1740.86 c #Conflicts: 518000 | #Constraints: 16447
1735.72/1740.86 c #Conflicts: 519000 | #Constraints: 17447
1735.72/1740.86 c #Conflicts: 520000 | #Constraints: 18447
1735.72/1740.86 c #Conflicts: 521000 | #Constraints: 19447
1735.72/1740.86 c #Conflicts: 522000 | #Constraints: 20447
1735.72/1740.86 c #Conflicts: 523000 | #Constraints: 21447
1735.72/1740.86 c #Conflicts: 524000 | #Constraints: 22447
1735.72/1740.86 c #Conflicts: 525000 | #Constraints: 23447
1735.72/1740.86 c #Conflicts: 526000 | #Constraints: 24447
1735.72/1740.86 c #Conflicts: 527000 | #Constraints: 25447
1735.72/1740.86 c #Conflicts: 528000 | #Constraints: 26447
1735.72/1740.86 c #Conflicts: 529000 | #Constraints: 27447
1735.72/1740.86 c #Conflicts: 530000 | #Constraints: 28447
1735.72/1740.86 c #Conflicts: 531000 | #Constraints: 29447
1735.72/1740.86 c INPROCESSING
1735.72/1740.86 c GARBAGE COLLECT
1735.72/1740.86 c #Conflicts: 532000 | #Constraints: 16034
1735.72/1740.86 c #Conflicts: 533000 | #Constraints: 17034
1735.72/1740.86 c #Conflicts: 534000 | #Constraints: 18034
1735.72/1740.86 c #Conflicts: 535000 | #Constraints: 19034
1735.72/1740.86 c #Conflicts: 536000 | #Constraints: 20034
1735.72/1740.86 c #Conflicts: 537000 | #Constraints: 21034
1735.72/1740.86 c #Conflicts: 538000 | #Constraints: 22034
1735.72/1740.86 c #Conflicts: 539000 | #Constraints: 23034
1735.72/1740.86 c #Conflicts: 540000 | #Constraints: 24034
1735.72/1740.86 c #Conflicts: 541000 | #Constraints: 25034
1735.72/1740.86 c #Conflicts: 542000 | #Constraints: 26034
1735.72/1740.86 c #Conflicts: 543000 | #Constraints: 27034
1735.72/1740.86 c #Conflicts: 544000 | #Constraints: 28034
1735.72/1740.86 c #Conflicts: 545000 | #Constraints: 29034
1735.72/1740.86 c #Conflicts: 546000 | #Constraints: 30034
1735.72/1740.86 c INPROCESSING
1735.72/1740.86 c GARBAGE COLLECT
1735.72/1740.86 c #Conflicts: 547000 | #Constraints: 16432
1735.72/1740.86 c #Conflicts: 548000 | #Constraints: 17432
1735.72/1740.86 c #Conflicts: 549000 | #Constraints: 18432
1735.72/1740.86 c #Conflicts: 550000 | #Constraints: 19432
1735.72/1740.86 c #Conflicts: 551000 | #Constraints: 20432
1735.72/1740.86 c #Conflicts: 552000 | #Constraints: 21432
1735.72/1740.86 c #Conflicts: 553000 | #Constraints: 22432
1735.72/1740.86 c #Conflicts: 554000 | #Constraints: 23432
1735.72/1740.86 c #Conflicts: 555000 | #Constraints: 24432
1735.72/1740.86 c #Conflicts: 556000 | #Constraints: 25432
1735.72/1740.86 c #Conflicts: 557000 | #Constraints: 26432
1735.72/1740.86 c #Conflicts: 558000 | #Constraints: 27432
1735.72/1740.86 c #Conflicts: 559000 | #Constraints: 28432
1735.72/1740.86 c #Conflicts: 560000 | #Constraints: 29432
1735.72/1740.86 c #Conflicts: 561000 | #Constraints: 30432
1735.72/1740.86 c INPROCESSING
1735.72/1740.86 c GARBAGE COLLECT
1735.72/1740.86 c #Conflicts: 562000 | #Constraints: 16623
1735.72/1740.86 c #Conflicts: 563000 | #Constraints: 17623
1735.72/1740.86 c #Conflicts: 564000 | #Constraints: 18623
1735.72/1740.86 c #Conflicts: 565000 | #Constraints: 19623
1735.72/1740.86 c #Conflicts: 566000 | #Constraints: 20623
1735.72/1740.86 c #Conflicts: 567000 | #Constraints: 21623
1735.72/1740.86 c #Conflicts: 568000 | #Constraints: 22623
1735.72/1740.86 c #Conflicts: 569000 | #Constraints: 23623
1735.72/1740.86 c #Conflicts: 570000 | #Constraints: 24623
1735.72/1740.86 c #Conflicts: 571000 | #Constraints: 25623
1735.72/1740.86 c #Conflicts: 572000 | #Constraints: 26623
1735.72/1740.86 c #Conflicts: 573000 | #Constraints: 27623
1735.72/1740.86 c #Conflicts: 574000 | #Constraints: 28623
1735.72/1740.86 c #Conflicts: 575000 | #Constraints: 29623
1735.72/1740.86 c #Conflicts: 576000 | #Constraints: 30623
1735.72/1740.86 c INPROCESSING
1735.72/1740.86 c GARBAGE COLLECT
1735.72/1740.86 c #Conflicts: 577000 | #Constraints: 16652
1735.72/1740.86 c #Conflicts: 578000 | #Constraints: 17652
1735.72/1740.86 c #Conflicts: 579000 | #Constraints: 18652
1735.72/1740.86 c #Conflicts: 580000 | #Constraints: 19652
1735.72/1740.86 c #Conflicts: 581000 | #Constraints: 20652
1735.72/1740.86 c #Conflicts: 582000 | #Constraints: 21652
1735.72/1740.86 c #Conflicts: 583000 | #Constraints: 22652
1735.72/1740.86 c #Conflicts: 584000 | #Constraints: 23652
1735.72/1740.86 c #Conflicts: 585000 | #Constraints: 24652
1735.72/1740.86 c #Conflicts: 586000 | #Constraints: 25652
1735.72/1740.86 c #Conflicts: 587000 | #Constraints: 26652
1735.72/1740.86 c #Conflicts: 588000 | #Constraints: 27652
1865.45/1870.96 c #Conflicts: 589000 | #Constraints: 28652
1865.45/1870.96 c #Conflicts: 590000 | #Constraints: 29652
1865.45/1870.96 c #Conflicts: 591000 | #Constraints: 30652
1865.45/1870.96 c INPROCESSING
1865.45/1870.96 c GARBAGE COLLECT
1865.45/1870.96 c #Conflicts: 592000 | #Constraints: 16435
1865.45/1870.96 c #Conflicts: 593000 | #Constraints: 17435
1865.45/1870.96 c #Conflicts: 594000 | #Constraints: 18435
1865.45/1870.96 c #Conflicts: 595000 | #Constraints: 19435
1865.45/1870.96 c #Conflicts: 596000 | #Constraints: 20435
1865.45/1870.96 c #Conflicts: 597000 | #Constraints: 21435
1865.45/1870.96 c #Conflicts: 598000 | #Constraints: 22435
1865.45/1870.96 c #Conflicts: 599000 | #Constraints: 23435
1865.45/1870.96 c #Conflicts: 600000 | #Constraints: 24435
1865.45/1870.96 c #Conflicts: 601000 | #Constraints: 25435
1865.45/1870.96 c #Conflicts: 602000 | #Constraints: 26435
1865.45/1870.96 c #Conflicts: 603000 | #Constraints: 27435
1865.45/1870.96 c #Conflicts: 604000 | #Constraints: 28435
1865.45/1870.96 c #Conflicts: 605000 | #Constraints: 29435
1865.45/1870.96 c #Conflicts: 606000 | #Constraints: 30435
1865.45/1870.96 c #Conflicts: 607000 | #Constraints: 31435
1865.45/1870.96 c INPROCESSING
1865.45/1870.96 c GARBAGE COLLECT
1865.45/1870.96 c #Conflicts: 608000 | #Constraints: 17050
1865.45/1870.96 c #Conflicts: 609000 | #Constraints: 18050
1865.45/1870.96 c #Conflicts: 610000 | #Constraints: 19050
1865.45/1870.96 c #Conflicts: 611000 | #Constraints: 20050
1865.45/1870.96 c #Conflicts: 612000 | #Constraints: 21050
1865.45/1870.96 c #Conflicts: 613000 | #Constraints: 22050
1865.45/1870.96 c #Conflicts: 614000 | #Constraints: 23050
1865.45/1870.96 c #Conflicts: 615000 | #Constraints: 24050
1865.45/1870.96 c #Conflicts: 616000 | #Constraints: 25050
1865.45/1870.96 c #Conflicts: 617000 | #Constraints: 26050
1865.45/1870.96 c #Conflicts: 618000 | #Constraints: 27050
1865.45/1870.96 c #Conflicts: 619000 | #Constraints: 28050
1865.45/1870.96 c #Conflicts: 620000 | #Constraints: 29050
1865.45/1870.96 c #Conflicts: 621000 | #Constraints: 30050
1865.45/1870.96 c #Conflicts: 622000 | #Constraints: 31050
1865.45/1870.96 c #Conflicts: 623000 | #Constraints: 32050
1865.45/1870.96 c INPROCESSING
1865.45/1870.96 c GARBAGE COLLECT
1865.45/1870.96 c #Conflicts: 624000 | #Constraints: 17425
1865.45/1870.96 c #Conflicts: 625000 | #Constraints: 18425
1865.45/1870.96 c #Conflicts: 626000 | #Constraints: 19425
1865.45/1870.96 c #Conflicts: 627000 | #Constraints: 20425
1865.45/1870.96 c #Conflicts: 628000 | #Constraints: 21425
1865.45/1870.96 c #Conflicts: 629000 | #Constraints: 22425
1865.45/1870.96 c #Conflicts: 630000 | #Constraints: 23425
1865.45/1870.96 c #Conflicts: 631000 | #Constraints: 24425
1865.45/1870.96 c #Conflicts: 632000 | #Constraints: 25425
1865.45/1870.96 c #Conflicts: 633000 | #Constraints: 26425
1865.45/1870.96 c #Conflicts: 634000 | #Constraints: 27425
1865.45/1870.96 c #Conflicts: 635000 | #Constraints: 28425
1865.45/1870.96 c #Conflicts: 636000 | #Constraints: 29425
1865.45/1870.96 c #Conflicts: 637000 | #Constraints: 30425
1865.45/1870.96 c #Conflicts: 638000 | #Constraints: 31425
1865.45/1870.96 c #Conflicts: 639000 | #Constraints: 32425
1865.45/1870.96 c INPROCESSING
1865.45/1870.96 c GARBAGE COLLECT
1865.45/1870.96 c #Conflicts: 640000 | #Constraints: 17612
1865.45/1870.96 c #Conflicts: 641000 | #Constraints: 18612
1865.45/1870.96 c #Conflicts: 642000 | #Constraints: 19612
1865.45/1870.96 c #Conflicts: 643000 | #Constraints: 20612
1865.45/1870.96 c #Conflicts: 644000 | #Constraints: 21612
1865.45/1870.96 c #Conflicts: 645000 | #Constraints: 22612
1865.45/1870.96 c #Conflicts: 646000 | #Constraints: 23612
1865.45/1870.96 c #Conflicts: 647000 | #Constraints: 24612
1865.45/1870.96 c #Conflicts: 648000 | #Constraints: 25612
1865.45/1870.96 c #Conflicts: 649000 | #Constraints: 26612
1865.45/1870.96 c #Conflicts: 650000 | #Constraints: 27612
1865.45/1870.96 c #Conflicts: 651000 | #Constraints: 28612
1865.45/1870.96 c #Conflicts: 652000 | #Constraints: 29612
1865.45/1870.96 c #Conflicts: 653000 | #Constraints: 30612
1865.45/1870.96 c #Conflicts: 654000 | #Constraints: 31612
1865.45/1870.96 c #Conflicts: 655000 | #Constraints: 32612
1865.45/1870.96 c INPROCESSING
1865.45/1870.96 c GARBAGE COLLECT
1865.45/1870.96 c #Conflicts: 656000 | #Constraints: 17617
1865.45/1870.96 c #Conflicts: 657000 | #Constraints: 18617
1865.45/1870.96 c #Conflicts: 658000 | #Constraints: 19617
1865.45/1870.96 c #Conflicts: 659000 | #Constraints: 20617
1865.45/1870.96 c #Conflicts: 660000 | #Constraints: 21617
1865.45/1870.96 c #Conflicts: 661000 | #Constraints: 22617
1865.45/1870.96 c #Conflicts: 662000 | #Constraints: 23617
1865.45/1870.96 c #Conflicts: 663000 | #Constraints: 24617
1865.45/1870.96 c #Conflicts: 664000 | #Constraints: 25617
2161.09/2167.41 c #Conflicts: 665000 | #Constraints: 26617
2161.09/2167.41 c #Conflicts: 666000 | #Constraints: 27617
2161.09/2167.41 c #Conflicts: 667000 | #Constraints: 28617
2161.09/2167.41 c #Conflicts: 668000 | #Constraints: 29617
2161.09/2167.41 c #Conflicts: 669000 | #Constraints: 30617
2161.09/2167.41 c #Conflicts: 670000 | #Constraints: 31617
2161.09/2167.41 c #Conflicts: 671000 | #Constraints: 32617
2161.09/2167.41 c INPROCESSING
2161.09/2167.41 c GARBAGE COLLECT
2161.09/2167.41 c #Conflicts: 672000 | #Constraints: 17408
2161.09/2167.41 c #Conflicts: 673000 | #Constraints: 18408
2161.09/2167.41 c #Conflicts: 674000 | #Constraints: 19408
2161.09/2167.41 c #Conflicts: 675000 | #Constraints: 20408
2161.09/2167.41 c #Conflicts: 676000 | #Constraints: 21408
2161.09/2167.41 c #Conflicts: 677000 | #Constraints: 22408
2161.09/2167.41 c #Conflicts: 678000 | #Constraints: 23408
2161.09/2167.41 c #Conflicts: 679000 | #Constraints: 24408
2161.09/2167.41 c #Conflicts: 680000 | #Constraints: 25408
2161.09/2167.41 c #Conflicts: 681000 | #Constraints: 26408
2161.09/2167.41 c #Conflicts: 682000 | #Constraints: 27408
2161.09/2167.41 c #Conflicts: 683000 | #Constraints: 28408
2161.09/2167.41 c #Conflicts: 684000 | #Constraints: 29408
2161.09/2167.41 c #Conflicts: 685000 | #Constraints: 30408
2161.09/2167.41 c #Conflicts: 686000 | #Constraints: 31408
2161.09/2167.41 c #Conflicts: 687000 | #Constraints: 32408
2161.09/2167.41 c #Conflicts: 688000 | #Constraints: 33408
2161.09/2167.41 c INPROCESSING
2161.09/2167.41 c GARBAGE COLLECT
2161.09/2167.41 c #Conflicts: 689000 | #Constraints: 18009
2161.09/2167.41 c #Conflicts: 690000 | #Constraints: 19009
2161.09/2167.41 c #Conflicts: 691000 | #Constraints: 20009
2161.09/2167.41 c #Conflicts: 692000 | #Constraints: 21009
2161.09/2167.41 c #Conflicts: 693000 | #Constraints: 22009
2161.09/2167.41 c #Conflicts: 694000 | #Constraints: 23009
2161.09/2167.41 c #Conflicts: 695000 | #Constraints: 24009
2161.09/2167.41 c #Conflicts: 696000 | #Constraints: 25009
2161.09/2167.41 c #Conflicts: 697000 | #Constraints: 26009
2161.09/2167.41 c #Conflicts: 698000 | #Constraints: 27009
2161.09/2167.41 c #Conflicts: 699000 | #Constraints: 28009
2161.09/2167.41 c #Conflicts: 700000 | #Constraints: 29009
2161.09/2167.41 c #Conflicts: 701000 | #Constraints: 30009
2161.09/2167.41 c #Conflicts: 702000 | #Constraints: 31009
2161.09/2167.41 c #Conflicts: 703000 | #Constraints: 32009
2161.09/2167.41 c #Conflicts: 704000 | #Constraints: 33009
2161.09/2167.41 c #Conflicts: 705000 | #Constraints: 34009
2161.09/2167.41 c INPROCESSING
2161.09/2167.41 c GARBAGE COLLECT
2161.09/2167.41 c #Conflicts: 706000 | #Constraints: 18410
2161.09/2167.41 c #Conflicts: 707000 | #Constraints: 19410
2161.09/2167.41 c #Conflicts: 708000 | #Constraints: 20410
2161.09/2167.41 c #Conflicts: 709000 | #Constraints: 21410
2161.09/2167.41 c #Conflicts: 710000 | #Constraints: 22410
2161.09/2167.41 c #Conflicts: 711000 | #Constraints: 23410
2161.09/2167.41 c #Conflicts: 712000 | #Constraints: 24410
2161.09/2167.41 c #Conflicts: 713000 | #Constraints: 25410
2161.09/2167.41 c #Conflicts: 714000 | #Constraints: 26410
2161.09/2167.41 c #Conflicts: 715000 | #Constraints: 27410
2161.09/2167.41 c #Conflicts: 716000 | #Constraints: 28410
2161.09/2167.41 c #Conflicts: 717000 | #Constraints: 29410
2161.09/2167.41 c #Conflicts: 718000 | #Constraints: 30410
2161.09/2167.41 c #Conflicts: 719000 | #Constraints: 31410
2161.09/2167.41 c #Conflicts: 720000 | #Constraints: 32410
2161.09/2167.41 c #Conflicts: 721000 | #Constraints: 33410
2161.09/2167.41 c #Conflicts: 722000 | #Constraints: 34410
2161.09/2167.41 c INPROCESSING
2161.09/2167.41 c GARBAGE COLLECT
2161.09/2167.41 c #Conflicts: 723000 | #Constraints: 18636
2161.09/2167.41 c #Conflicts: 724000 | #Constraints: 19636
2161.09/2167.41 c #Conflicts: 725000 | #Constraints: 20636
2161.09/2167.41 c #Conflicts: 726000 | #Constraints: 21636
2161.09/2167.41 c #Conflicts: 727000 | #Constraints: 22636
2161.09/2167.41 c #Conflicts: 728000 | #Constraints: 23636
2161.09/2167.41 c #Conflicts: 729000 | #Constraints: 24636
2161.09/2167.41 c #Conflicts: 730000 | #Constraints: 25636
2161.09/2167.41 c #Conflicts: 731000 | #Constraints: 26636
2161.09/2167.41 c #Conflicts: 732000 | #Constraints: 27636
2161.09/2167.41 c #Conflicts: 733000 | #Constraints: 28636
2161.09/2167.41 c #Conflicts: 734000 | #Constraints: 29636
2161.09/2167.41 c #Conflicts: 735000 | #Constraints: 30636
2161.09/2167.41 c #Conflicts: 736000 | #Constraints: 31636
2161.09/2167.41 c #Conflicts: 737000 | #Constraints: 32636
2161.09/2167.41 c #Conflicts: 738000 | #Constraints: 33636
2161.09/2167.41 c #Conflicts: 739000 | #Constraints: 34636
2161.09/2167.41 c INPROCESSING
2161.09/2167.41 c GARBAGE COLLECT
2330.53/2337.40 c #Conflicts: 740000 | #Constraints: 18635
2330.53/2337.40 c #Conflicts: 741000 | #Constraints: 19635
2330.53/2337.40 c #Conflicts: 742000 | #Constraints: 20635
2330.53/2337.40 c #Conflicts: 743000 | #Constraints: 21635
2330.53/2337.40 c #Conflicts: 744000 | #Constraints: 22635
2330.53/2337.40 c #Conflicts: 745000 | #Constraints: 23635
2330.53/2337.40 c #Conflicts: 746000 | #Constraints: 24635
2330.53/2337.40 c #Conflicts: 747000 | #Constraints: 25635
2330.53/2337.40 c #Conflicts: 748000 | #Constraints: 26635
2330.53/2337.40 c #Conflicts: 749000 | #Constraints: 27635
2330.53/2337.40 c #Conflicts: 750000 | #Constraints: 28635
2330.53/2337.40 c #Conflicts: 751000 | #Constraints: 29635
2330.53/2337.40 c #Conflicts: 752000 | #Constraints: 30635
2330.53/2337.40 c #Conflicts: 753000 | #Constraints: 31635
2330.53/2337.40 c #Conflicts: 754000 | #Constraints: 32635
2330.53/2337.40 c #Conflicts: 755000 | #Constraints: 33635
2330.53/2337.40 c #Conflicts: 756000 | #Constraints: 34635
2330.53/2337.40 c INPROCESSING
2330.53/2337.40 c GARBAGE COLLECT
2330.53/2337.40 c #Conflicts: 757000 | #Constraints: 18423
2330.53/2337.40 c #Conflicts: 758000 | #Constraints: 19423
2330.53/2337.40 c #Conflicts: 759000 | #Constraints: 20423
2330.53/2337.40 c #Conflicts: 760000 | #Constraints: 21423
2330.53/2337.40 c #Conflicts: 761000 | #Constraints: 22423
2330.53/2337.40 c #Conflicts: 762000 | #Constraints: 23423
2330.53/2337.40 c #Conflicts: 763000 | #Constraints: 24423
2330.53/2337.40 c #Conflicts: 764000 | #Constraints: 25423
2330.53/2337.40 c #Conflicts: 765000 | #Constraints: 26423
2330.53/2337.40 c #Conflicts: 766000 | #Constraints: 27423
2330.53/2337.40 c #Conflicts: 767000 | #Constraints: 28423
2330.53/2337.40 c #Conflicts: 768000 | #Constraints: 29423
2330.53/2337.40 c #Conflicts: 769000 | #Constraints: 30423
2330.53/2337.40 c #Conflicts: 770000 | #Constraints: 31423
2330.53/2337.40 c #Conflicts: 771000 | #Constraints: 32423
2330.53/2337.40 c #Conflicts: 772000 | #Constraints: 33423
2330.53/2337.40 c #Conflicts: 773000 | #Constraints: 34423
2330.53/2337.40 c #Conflicts: 774000 | #Constraints: 35423
2330.53/2337.40 c INPROCESSING
2330.53/2337.40 c GARBAGE COLLECT
2330.53/2337.40 c #Conflicts: 775000 | #Constraints: 19029
2330.53/2337.40 c #Conflicts: 776000 | #Constraints: 20029
2330.53/2337.40 c #Conflicts: 777000 | #Constraints: 21029
2330.53/2337.40 c #Conflicts: 778000 | #Constraints: 22029
2330.53/2337.40 c #Conflicts: 779000 | #Constraints: 23029
2330.53/2337.40 c #Conflicts: 780000 | #Constraints: 24029
2330.53/2337.40 c #Conflicts: 781000 | #Constraints: 25029
2330.53/2337.40 c #Conflicts: 782000 | #Constraints: 26029
2330.53/2337.40 c #Conflicts: 783000 | #Constraints: 27029
2330.53/2337.40 c #Conflicts: 784000 | #Constraints: 28029
2330.53/2337.40 c #Conflicts: 785000 | #Constraints: 29029
2330.53/2337.40 c #Conflicts: 786000 | #Constraints: 30029
2330.53/2337.40 c #Conflicts: 787000 | #Constraints: 31029
2330.53/2337.40 c #Conflicts: 788000 | #Constraints: 32029
2330.53/2337.40 c #Conflicts: 789000 | #Constraints: 33029
2330.53/2337.40 c #Conflicts: 790000 | #Constraints: 34029
2330.53/2337.40 c #Conflicts: 791000 | #Constraints: 35029
2330.53/2337.40 c #Conflicts: 792000 | #Constraints: 36029
2330.53/2337.40 c INPROCESSING
2330.53/2337.40 c GARBAGE COLLECT
2330.53/2337.40 c #Conflicts: 793000 | #Constraints: 19422
2330.53/2337.40 c #Conflicts: 794000 | #Constraints: 20422
2330.53/2337.40 c #Conflicts: 795000 | #Constraints: 21422
2330.53/2337.40 c #Conflicts: 796000 | #Constraints: 22422
2330.53/2337.40 c #Conflicts: 797000 | #Constraints: 23422
2330.53/2337.40 c #Conflicts: 798000 | #Constraints: 24422
2330.53/2337.40 c #Conflicts: 799000 | #Constraints: 25422
2330.53/2337.40 c #Conflicts: 800000 | #Constraints: 26422
2330.53/2337.40 c #Conflicts: 801000 | #Constraints: 27422
2330.53/2337.40 c #Conflicts: 802000 | #Constraints: 28422
2330.53/2337.40 c #Conflicts: 803000 | #Constraints: 29422
2330.53/2337.40 c #Conflicts: 804000 | #Constraints: 30422
2330.53/2337.40 c #Conflicts: 805000 | #Constraints: 31422
2330.53/2337.40 c #Conflicts: 806000 | #Constraints: 32422
2330.53/2337.40 c #Conflicts: 807000 | #Constraints: 33422
2330.53/2337.40 c #Conflicts: 808000 | #Constraints: 34422
2330.53/2337.40 c #Conflicts: 809000 | #Constraints: 35422
2330.53/2337.40 c #Conflicts: 810000 | #Constraints: 36422
2330.53/2337.40 c INPROCESSING
2330.53/2337.40 c GARBAGE COLLECT
2330.53/2337.40 c #Conflicts: 811000 | #Constraints: 19620
2330.53/2337.40 c #Conflicts: 812000 | #Constraints: 20620
2330.53/2337.40 c #Conflicts: 813000 | #Constraints: 21620
2330.53/2337.40 c #Conflicts: 814000 | #Constraints: 22620
2330.53/2337.40 c #Conflicts: 815000 | #Constraints: 23620
2330.53/2337.40 c #Conflicts: 816000 | #Constraints: 24620
2485.09/2492.47 c #Conflicts: 817000 | #Constraints: 25620
2485.09/2492.47 c #Conflicts: 818000 | #Constraints: 26620
2485.09/2492.47 c #Conflicts: 819000 | #Constraints: 27620
2485.09/2492.47 c #Conflicts: 820000 | #Constraints: 28620
2485.09/2492.47 c #Conflicts: 821000 | #Constraints: 29620
2485.09/2492.47 c #Conflicts: 822000 | #Constraints: 30620
2485.09/2492.47 c #Conflicts: 823000 | #Constraints: 31620
2485.09/2492.47 c #Conflicts: 824000 | #Constraints: 32620
2485.09/2492.47 c #Conflicts: 825000 | #Constraints: 33620
2485.09/2492.47 c #Conflicts: 826000 | #Constraints: 34620
2485.09/2492.47 c #Conflicts: 827000 | #Constraints: 35620
2485.09/2492.47 c #Conflicts: 828000 | #Constraints: 36620
2485.09/2492.47 c INPROCESSING
2485.09/2492.47 c GARBAGE COLLECT
2485.09/2492.47 c #Conflicts: 829000 | #Constraints: 19633
2485.09/2492.47 c #Conflicts: 830000 | #Constraints: 20633
2485.09/2492.47 c #Conflicts: 831000 | #Constraints: 21633
2485.09/2492.47 c #Conflicts: 832000 | #Constraints: 22633
2485.09/2492.47 c #Conflicts: 833000 | #Constraints: 23633
2485.09/2492.47 c #Conflicts: 834000 | #Constraints: 24633
2485.09/2492.47 c #Conflicts: 835000 | #Constraints: 25633
2485.09/2492.47 c #Conflicts: 836000 | #Constraints: 26633
2485.09/2492.47 c #Conflicts: 837000 | #Constraints: 27633
2485.09/2492.47 c #Conflicts: 838000 | #Constraints: 28633
2485.09/2492.47 c #Conflicts: 839000 | #Constraints: 29633
2485.09/2492.47 c #Conflicts: 840000 | #Constraints: 30633
2485.09/2492.47 c #Conflicts: 841000 | #Constraints: 31633
2485.09/2492.47 c #Conflicts: 842000 | #Constraints: 32633
2485.09/2492.47 c #Conflicts: 843000 | #Constraints: 33633
2485.09/2492.47 c #Conflicts: 844000 | #Constraints: 34633
2485.09/2492.47 c #Conflicts: 845000 | #Constraints: 35633
2485.09/2492.47 c #Conflicts: 846000 | #Constraints: 36633
2485.09/2492.47 c INPROCESSING
2485.09/2492.47 c GARBAGE COLLECT
2485.09/2492.47 c #Conflicts: 847000 | #Constraints: 19422
2485.09/2492.47 c #Conflicts: 848000 | #Constraints: 20422
2485.09/2492.47 c #Conflicts: 849000 | #Constraints: 21422
2485.09/2492.47 c #Conflicts: 850000 | #Constraints: 22422
2485.09/2492.47 c #Conflicts: 851000 | #Constraints: 23422
2485.09/2492.47 c #Conflicts: 852000 | #Constraints: 24422
2485.09/2492.47 c #Conflicts: 853000 | #Constraints: 25422
2485.09/2492.47 c #Conflicts: 854000 | #Constraints: 26422
2485.09/2492.47 c #Conflicts: 855000 | #Constraints: 27422
2485.09/2492.47 c #Conflicts: 856000 | #Constraints: 28422
2485.09/2492.47 c #Conflicts: 857000 | #Constraints: 29422
2485.09/2492.47 c #Conflicts: 858000 | #Constraints: 30422
2485.09/2492.47 c #Conflicts: 859000 | #Constraints: 31422
2485.09/2492.47 c #Conflicts: 860000 | #Constraints: 32422
2485.09/2492.47 c #Conflicts: 861000 | #Constraints: 33422
2485.09/2492.47 c #Conflicts: 862000 | #Constraints: 34422
2485.09/2492.47 c #Conflicts: 863000 | #Constraints: 35422
2485.09/2492.47 c #Conflicts: 864000 | #Constraints: 36422
2485.09/2492.47 c #Conflicts: 865000 | #Constraints: 37422
2485.09/2492.47 c INPROCESSING
2485.09/2492.47 c GARBAGE COLLECT
2485.09/2492.47 c #Conflicts: 866000 | #Constraints: 20020
2485.09/2492.47 c #Conflicts: 867000 | #Constraints: 21020
2485.09/2492.47 c #Conflicts: 868000 | #Constraints: 22020
2485.09/2492.47 c #Conflicts: 869000 | #Constraints: 23020
2485.09/2492.47 c #Conflicts: 870000 | #Constraints: 24020
2485.09/2492.47 c #Conflicts: 871000 | #Constraints: 25020
2485.09/2492.47 c #Conflicts: 872000 | #Constraints: 26020
2485.09/2492.47 c #Conflicts: 873000 | #Constraints: 27020
2485.09/2492.47 c #Conflicts: 874000 | #Constraints: 28020
2485.09/2492.47 c #Conflicts: 875000 | #Constraints: 29020
2485.09/2492.47 c #Conflicts: 876000 | #Constraints: 30020
2485.09/2492.47 c #Conflicts: 877000 | #Constraints: 31020
2485.09/2492.47 c #Conflicts: 878000 | #Constraints: 32020
2485.09/2492.47 c #Conflicts: 879000 | #Constraints: 33020
2485.09/2492.47 c #Conflicts: 880000 | #Constraints: 34020
2485.09/2492.47 c #Conflicts: 881000 | #Constraints: 35020
2485.09/2492.47 c #Conflicts: 882000 | #Constraints: 36020
2485.09/2492.47 c #Conflicts: 883000 | #Constraints: 37020
2485.09/2492.47 c #Conflicts: 884000 | #Constraints: 38020
2485.09/2492.47 c INPROCESSING
2485.09/2492.47 c GARBAGE COLLECT
2485.09/2492.47 c #Conflicts: 885000 | #Constraints: 20419
2485.09/2492.47 c #Conflicts: 886000 | #Constraints: 21419
2485.09/2492.47 c #Conflicts: 887000 | #Constraints: 22419
2485.09/2492.47 c #Conflicts: 888000 | #Constraints: 23419
2485.09/2492.47 c #Conflicts: 889000 | #Constraints: 24419
2485.09/2492.47 c #Conflicts: 890000 | #Constraints: 25419
2485.09/2492.47 c #Conflicts: 891000 | #Constraints: 26419
2485.09/2492.47 c #Conflicts: 892000 | #Constraints: 27419
2741.76/2749.86 c #Conflicts: 893000 | #Constraints: 28419
2741.76/2749.86 c #Conflicts: 894000 | #Constraints: 29419
2741.76/2749.86 c #Conflicts: 895000 | #Constraints: 30419
2741.76/2749.86 c #Conflicts: 896000 | #Constraints: 31419
2741.76/2749.86 c #Conflicts: 897000 | #Constraints: 32419
2741.76/2749.86 c #Conflicts: 898000 | #Constraints: 33419
2741.76/2749.86 c #Conflicts: 899000 | #Constraints: 34419
2741.76/2749.86 c #Conflicts: 900000 | #Constraints: 35419
2741.76/2749.86 c #Conflicts: 901000 | #Constraints: 36419
2741.76/2749.86 c #Conflicts: 902000 | #Constraints: 37419
2741.76/2749.86 c #Conflicts: 903000 | #Constraints: 38419
2741.76/2749.86 c INPROCESSING
2741.76/2749.86 c GARBAGE COLLECT
2741.76/2749.86 c #Conflicts: 904000 | #Constraints: 20611
2741.76/2749.86 c #Conflicts: 905000 | #Constraints: 21611
2741.76/2749.86 c #Conflicts: 906000 | #Constraints: 22611
2741.76/2749.86 c #Conflicts: 907000 | #Constraints: 23611
2741.76/2749.86 c #Conflicts: 908000 | #Constraints: 24611
2741.76/2749.86 c #Conflicts: 909000 | #Constraints: 25611
2741.76/2749.86 c #Conflicts: 910000 | #Constraints: 26611
2741.76/2749.86 c #Conflicts: 911000 | #Constraints: 27611
2741.76/2749.86 c #Conflicts: 912000 | #Constraints: 28611
2741.76/2749.86 c #Conflicts: 913000 | #Constraints: 29611
2741.76/2749.86 c #Conflicts: 914000 | #Constraints: 30611
2741.76/2749.86 c #Conflicts: 915000 | #Constraints: 31611
2741.76/2749.86 c #Conflicts: 916000 | #Constraints: 32611
2741.76/2749.86 c #Conflicts: 917000 | #Constraints: 33611
2741.76/2749.86 c #Conflicts: 918000 | #Constraints: 34611
2741.76/2749.86 c #Conflicts: 919000 | #Constraints: 35611
2741.76/2749.86 c #Conflicts: 920000 | #Constraints: 36611
2741.76/2749.86 c #Conflicts: 921000 | #Constraints: 37611
2741.76/2749.86 c #Conflicts: 922000 | #Constraints: 38611
2741.76/2749.86 c INPROCESSING
2741.76/2749.86 c GARBAGE COLLECT
2741.76/2749.86 c #Conflicts: 923000 | #Constraints: 20598
2741.76/2749.86 c #Conflicts: 924000 | #Constraints: 21598
2741.76/2749.86 c #Conflicts: 925000 | #Constraints: 22598
2741.76/2749.86 c #Conflicts: 926000 | #Constraints: 23598
2741.76/2749.86 c #Conflicts: 927000 | #Constraints: 24598
2741.76/2749.86 c #Conflicts: 928000 | #Constraints: 25598
2741.76/2749.86 c #Conflicts: 929000 | #Constraints: 26598
2741.76/2749.86 c #Conflicts: 930000 | #Constraints: 27598
2741.76/2749.86 c #Conflicts: 931000 | #Constraints: 28598
2741.76/2749.86 c #Conflicts: 932000 | #Constraints: 29598
2741.76/2749.86 c #Conflicts: 933000 | #Constraints: 30598
2741.76/2749.86 c #Conflicts: 934000 | #Constraints: 31598
2741.76/2749.86 c #Conflicts: 935000 | #Constraints: 32598
2741.76/2749.86 c #Conflicts: 936000 | #Constraints: 33598
2741.76/2749.86 c #Conflicts: 937000 | #Constraints: 34598
2741.76/2749.86 c #Conflicts: 938000 | #Constraints: 35598
2741.76/2749.86 c #Conflicts: 939000 | #Constraints: 36598
2741.76/2749.86 c #Conflicts: 940000 | #Constraints: 37598
2741.76/2749.86 c #Conflicts: 941000 | #Constraints: 38598
2741.76/2749.86 c INPROCESSING
2741.76/2749.86 c GARBAGE COLLECT
2741.76/2749.86 c #Conflicts: 942000 | #Constraints: 20422
2741.76/2749.86 c #Conflicts: 943000 | #Constraints: 21422
2741.76/2749.86 c #Conflicts: 944000 | #Constraints: 22422
2741.76/2749.86 c #Conflicts: 945000 | #Constraints: 23422
2741.76/2749.86 c #Conflicts: 946000 | #Constraints: 24422
2741.76/2749.86 c #Conflicts: 947000 | #Constraints: 25422
2741.76/2749.86 c #Conflicts: 948000 | #Constraints: 26422
2741.76/2749.86 c #Conflicts: 949000 | #Constraints: 27422
2741.76/2749.86 c #Conflicts: 950000 | #Constraints: 28422
2741.76/2749.86 c #Conflicts: 951000 | #Constraints: 29422
2741.76/2749.86 c #Conflicts: 952000 | #Constraints: 30422
2741.76/2749.86 c #Conflicts: 953000 | #Constraints: 31422
2741.76/2749.86 c #Conflicts: 954000 | #Constraints: 32422
2741.76/2749.86 c #Conflicts: 955000 | #Constraints: 33422
2741.76/2749.86 c #Conflicts: 956000 | #Constraints: 34422
2741.76/2749.86 c #Conflicts: 957000 | #Constraints: 35422
2741.76/2749.86 c #Conflicts: 958000 | #Constraints: 36422
2741.76/2749.86 c #Conflicts: 959000 | #Constraints: 37422
2741.76/2749.86 c #Conflicts: 960000 | #Constraints: 38422
2741.76/2749.86 c #Conflicts: 961000 | #Constraints: 39422
2741.76/2749.86 c INPROCESSING
2741.76/2749.86 c GARBAGE COLLECT
2741.76/2749.86 c #Conflicts: 962000 | #Constraints: 21068
2741.76/2749.86 c #Conflicts: 963000 | #Constraints: 22068
2741.76/2749.86 c #Conflicts: 964000 | #Constraints: 23068
2741.76/2749.86 c #Conflicts: 965000 | #Constraints: 24068
2741.76/2749.86 c #Conflicts: 966000 | #Constraints: 25068
2741.76/2749.86 c #Conflicts: 967000 | #Constraints: 26068
2741.76/2749.86 c #Conflicts: 968000 | #Constraints: 27068
3216.63/3226.02 c #Conflicts: 969000 | #Constraints: 28068
3216.63/3226.02 c #Conflicts: 970000 | #Constraints: 29068
3216.63/3226.02 c #Conflicts: 971000 | #Constraints: 30068
3216.63/3226.02 c #Conflicts: 972000 | #Constraints: 31068
3216.63/3226.02 c #Conflicts: 973000 | #Constraints: 32068
3216.63/3226.02 c #Conflicts: 974000 | #Constraints: 33068
3216.63/3226.02 c #Conflicts: 975000 | #Constraints: 34068
3216.63/3226.02 c #Conflicts: 976000 | #Constraints: 35068
3216.63/3226.02 c #Conflicts: 977000 | #Constraints: 36068
3216.63/3226.02 c #Conflicts: 978000 | #Constraints: 37068
3216.63/3226.02 c #Conflicts: 979000 | #Constraints: 38068
3216.63/3226.02 c #Conflicts: 980000 | #Constraints: 39068
3216.63/3226.02 c #Conflicts: 981000 | #Constraints: 40068
3216.63/3226.02 c INPROCESSING
3216.63/3226.02 c GARBAGE COLLECT
3216.63/3226.02 c #Conflicts: 982000 | #Constraints: 21463
3216.63/3226.02 c #Conflicts: 983000 | #Constraints: 22463
3216.63/3226.02 c #Conflicts: 984000 | #Constraints: 23463
3216.63/3226.02 c #Conflicts: 985000 | #Constraints: 24463
3216.63/3226.02 c #Conflicts: 986000 | #Constraints: 25463
3216.63/3226.02 c #Conflicts: 987000 | #Constraints: 26463
3216.63/3226.02 c #Conflicts: 988000 | #Constraints: 27463
3216.63/3226.02 c #Conflicts: 989000 | #Constraints: 28463
3216.63/3226.02 c #Conflicts: 990000 | #Constraints: 29463
3216.63/3226.02 c #Conflicts: 991000 | #Constraints: 30463
3216.63/3226.02 c #Conflicts: 992000 | #Constraints: 31463
3216.63/3226.02 c #Conflicts: 993000 | #Constraints: 32463
3216.63/3226.02 c #Conflicts: 994000 | #Constraints: 33463
3216.63/3226.02 c #Conflicts: 995000 | #Constraints: 34463
3216.63/3226.02 c #Conflicts: 996000 | #Constraints: 35463
3216.63/3226.02 c #Conflicts: 997000 | #Constraints: 36463
3216.63/3226.02 c #Conflicts: 998000 | #Constraints: 37463
3216.63/3226.02 c #Conflicts: 999000 | #Constraints: 38463
3216.63/3226.02 c #Conflicts: 1000000 | #Constraints: 39463
3216.63/3226.02 c #Conflicts: 1001000 | #Constraints: 40463
3216.63/3226.02 c INPROCESSING
3216.63/3226.02 c GARBAGE COLLECT
3216.63/3226.02 c #Conflicts: 1002000 | #Constraints: 21656
3216.63/3226.02 c #Conflicts: 1003000 | #Constraints: 22656
3216.63/3226.02 c #Conflicts: 1004000 | #Constraints: 23656
3216.63/3226.02 c #Conflicts: 1005000 | #Constraints: 24656
3216.63/3226.02 c #Conflicts: 1006000 | #Constraints: 25656
3216.63/3226.02 c #Conflicts: 1007000 | #Constraints: 26656
3216.63/3226.02 c #Conflicts: 1008000 | #Constraints: 27656
3216.63/3226.02 c #Conflicts: 1009000 | #Constraints: 28656
3216.63/3226.02 c #Conflicts: 1010000 | #Constraints: 29656
3216.63/3226.02 c #Conflicts: 1011000 | #Constraints: 30656
3216.63/3226.02 c #Conflicts: 1012000 | #Constraints: 31656
3216.63/3226.02 c #Conflicts: 1013000 | #Constraints: 32656
3216.63/3226.02 c #Conflicts: 1014000 | #Constraints: 33656
3216.63/3226.02 c #Conflicts: 1015000 | #Constraints: 34656
3216.63/3226.02 c #Conflicts: 1016000 | #Constraints: 35656
3216.63/3226.02 c #Conflicts: 1017000 | #Constraints: 36656
3216.63/3226.02 c #Conflicts: 1018000 | #Constraints: 37656
3216.63/3226.02 c #Conflicts: 1019000 | #Constraints: 38656
3216.63/3226.02 c #Conflicts: 1020000 | #Constraints: 39656
3216.63/3226.02 c #Conflicts: 1021000 | #Constraints: 40656
3216.63/3226.02 c INPROCESSING
3216.63/3226.02 c GARBAGE COLLECT
3216.63/3226.02 c #Conflicts: 1022000 | #Constraints: 21648
3216.63/3226.02 c #Conflicts: 1023000 | #Constraints: 22648
3216.63/3226.02 c #Conflicts: 1024000 | #Constraints: 23648
3216.63/3226.02 c #Conflicts: 1025000 | #Constraints: 24648
3216.63/3226.02 c #Conflicts: 1026000 | #Constraints: 25648
3216.63/3226.02 c #Conflicts: 1027000 | #Constraints: 26648
3216.63/3226.02 c #Conflicts: 1028000 | #Constraints: 27648
3216.63/3226.02 c #Conflicts: 1029000 | #Constraints: 28648
3216.63/3226.02 c #Conflicts: 1030000 | #Constraints: 29648
3216.63/3226.02 c #Conflicts: 1031000 | #Constraints: 30648
3216.63/3226.02 c #Conflicts: 1032000 | #Constraints: 31648
3216.63/3226.02 c #Conflicts: 1033000 | #Constraints: 32648
3216.63/3226.02 c #Conflicts: 1034000 | #Constraints: 33648
3216.63/3226.02 c #Conflicts: 1035000 | #Constraints: 34648
3216.63/3226.02 c #Conflicts: 1036000 | #Constraints: 35648
3216.63/3226.02 c #Conflicts: 1037000 | #Constraints: 36648
3216.63/3226.02 c #Conflicts: 1038000 | #Constraints: 37648
3216.63/3226.02 c #Conflicts: 1039000 | #Constraints: 38648
3216.63/3226.02 c #Conflicts: 1040000 | #Constraints: 39648
3216.63/3226.02 c #Conflicts: 1041000 | #Constraints: 40648
3216.63/3226.02 c INPROCESSING
3216.63/3226.02 c GARBAGE COLLECT
3216.63/3226.02 c #Conflicts: 1042000 | #Constraints: 21463
3216.63/3226.02 c #Conflicts: 1043000 | #Constraints: 22463
3216.63/3226.02 c #Conflicts: 1044000 | #Constraints: 23463
3581.03/3591.75 c #Conflicts: 1045000 | #Constraints: 24463
3581.03/3591.75 c #Conflicts: 1046000 | #Constraints: 25463
3581.03/3591.75 c #Conflicts: 1047000 | #Constraints: 26463
3581.03/3591.75 c #Conflicts: 1048000 | #Constraints: 27463
3581.03/3591.75 c #Conflicts: 1049000 | #Constraints: 28463
3581.03/3591.75 c #Conflicts: 1050000 | #Constraints: 29463
3581.03/3591.75 c #Conflicts: 1051000 | #Constraints: 30463
3581.03/3591.75 c #Conflicts: 1052000 | #Constraints: 31463
3581.03/3591.75 c #Conflicts: 1053000 | #Constraints: 32463
3581.03/3591.75 c #Conflicts: 1054000 | #Constraints: 33463
3581.03/3591.75 c #Conflicts: 1055000 | #Constraints: 34463
3581.03/3591.75 c #Conflicts: 1056000 | #Constraints: 35463
3581.03/3591.75 c #Conflicts: 1057000 | #Constraints: 36463
3581.03/3591.75 c #Conflicts: 1058000 | #Constraints: 37463
3581.03/3591.75 c #Conflicts: 1059000 | #Constraints: 38463
3581.03/3591.75 c #Conflicts: 1060000 | #Constraints: 39463
3581.03/3591.75 c #Conflicts: 1061000 | #Constraints: 40463
3581.03/3591.75 c #Conflicts: 1062000 | #Constraints: 41463
3581.03/3591.75 c INPROCESSING
3581.03/3591.75 c GARBAGE COLLECT
3581.03/3591.75 c #Conflicts: 1063000 | #Constraints: 22080
3581.03/3591.75 c #Conflicts: 1064000 | #Constraints: 23080
3581.03/3591.75 c #Conflicts: 1065000 | #Constraints: 24080
3581.03/3591.75 c #Conflicts: 1066000 | #Constraints: 25080
3581.03/3591.75 c #Conflicts: 1067000 | #Constraints: 26080
3581.03/3591.75 c #Conflicts: 1068000 | #Constraints: 27080
3581.03/3591.75 c #Conflicts: 1069000 | #Constraints: 28080
3581.03/3591.75 c #Conflicts: 1070000 | #Constraints: 29080
3581.03/3591.75 c #Conflicts: 1071000 | #Constraints: 30080
3581.03/3591.75 c #Conflicts: 1072000 | #Constraints: 31080
3581.03/3591.75 c #Conflicts: 1073000 | #Constraints: 32080
3581.03/3591.75 c #Conflicts: 1074000 | #Constraints: 33080
3581.03/3591.75 c #Conflicts: 1075000 | #Constraints: 34080
3581.03/3591.75 c #Conflicts: 1076000 | #Constraints: 35080
3581.03/3591.75 c #Conflicts: 1077000 | #Constraints: 36080
3581.03/3591.75 c #Conflicts: 1078000 | #Constraints: 37080
3581.03/3591.75 c #Conflicts: 1079000 | #Constraints: 38080
3581.03/3591.75 c #Conflicts: 1080000 | #Constraints: 39080
3581.03/3591.75 c #Conflicts: 1081000 | #Constraints: 40080
3581.03/3591.75 c #Conflicts: 1082000 | #Constraints: 41080
3581.03/3591.75 c #Conflicts: 1083000 | #Constraints: 42080
3581.03/3591.75 c INPROCESSING
3581.03/3591.75 c GARBAGE COLLECT
3581.03/3591.75 c #Conflicts: 1084000 | #Constraints: 22476
3581.03/3591.75 c #Conflicts: 1085000 | #Constraints: 23476
3581.03/3591.75 c #Conflicts: 1086000 | #Constraints: 24476
3581.03/3591.75 c #Conflicts: 1087000 | #Constraints: 25476
3581.03/3591.75 c #Conflicts: 1088000 | #Constraints: 26476
3581.03/3591.75 c #Conflicts: 1089000 | #Constraints: 27476
3581.03/3591.75 c #Conflicts: 1090000 | #Constraints: 28476
3581.03/3591.75 c #Conflicts: 1091000 | #Constraints: 29476
3581.03/3591.75 c #Conflicts: 1092000 | #Constraints: 30476
3581.03/3591.75 c #Conflicts: 1093000 | #Constraints: 31476
3581.03/3591.75 c #Conflicts: 1094000 | #Constraints: 32476
3581.03/3591.75 c #Conflicts: 1095000 | #Constraints: 33476
3581.03/3591.75 c #Conflicts: 1096000 | #Constraints: 34476
3581.03/3591.75 c #Conflicts: 1097000 | #Constraints: 35476
3581.03/3591.75 c #Conflicts: 1098000 | #Constraints: 36476
3581.03/3591.75 c #Conflicts: 1099000 | #Constraints: 37476
3581.03/3591.75 c #Conflicts: 1100000 | #Constraints: 38476
3581.03/3591.75 c #Conflicts: 1101000 | #Constraints: 39476
3581.03/3591.75 c #Conflicts: 1102000 | #Constraints: 40476
3581.03/3591.75 c #Conflicts: 1103000 | #Constraints: 41476
3581.03/3591.75 c #Conflicts: 1104000 | #Constraints: 42476
3581.03/3591.75 c INPROCESSING
3581.03/3591.75 c GARBAGE COLLECT
3581.03/3591.75 c #Conflicts: 1105000 | #Constraints: 22678
3581.03/3591.75 c #Conflicts: 1106000 | #Constraints: 23678
3581.03/3591.75 c #Conflicts: 1107000 | #Constraints: 24678
3581.03/3591.75 c #Conflicts: 1108000 | #Constraints: 25678
3581.03/3591.75 c #Conflicts: 1109000 | #Constraints: 26678
3581.03/3591.75 c #Conflicts: 1110000 | #Constraints: 27678
3581.03/3591.75 c #Conflicts: 1111000 | #Constraints: 28678
3581.03/3591.75 c #Conflicts: 1112000 | #Constraints: 29678
3581.03/3591.75 c #Conflicts: 1113000 | #Constraints: 30678
3581.03/3591.75 c #Conflicts: 1114000 | #Constraints: 31678
3581.03/3591.75 c #Conflicts: 1115000 | #Constraints: 32678
3581.03/3591.75 c #Conflicts: 1116000 | #Constraints: 33678
3581.03/3591.75 c #Conflicts: 1117000 | #Constraints: 34678
3581.03/3591.75 c #Conflicts: 1118000 | #Constraints: 35678
3581.03/3591.75 c #Conflicts: 1119000 | #Constraints: 36678
3581.03/3591.75 c #Conflicts: 1120000 | #Constraints: 37678
3581.03/3591.75 c #Conflicts: 1121000 | #Constraints: 38678
3600.06/3610.80 c #Conflicts: 1122000 | #Constraints: 39678
3600.06/3610.80 c #Conflicts: 1123000 | #Constraints: 40678
3600.06/3610.80 c #Conflicts: 1124000 | #Constraints: 41678
3600.06/3610.80 c Program interrupted by user.
3600.06/3610.80 c cpu time 3587.53 s
3600.06/3610.80 c deterministic time 759141260600 7.59e+11
3600.06/3610.80 c optimization time 63.6812 s
3600.06/3610.80 c total solve time 3224.59 s
3600.06/3610.80 c core-guided solve time 0 s
3600.06/3610.80 c propagation time 2670.09 s
3600.06/3610.80 c conflict analysis time 544.003 s
3600.06/3610.80 c propagations 456936860
3600.06/3610.80 c resolve steps 9742782
3600.06/3610.80 c decisions 10203146
3600.06/3610.80 c conflicts 1124051
3600.06/3610.80 c restarts 2046
3600.06/3610.80 c inprocessing phases 96
3600.06/3610.80 c input clauses 97
3600.06/3610.80 c input cardinalities 97
3600.06/3610.80 c input general constraints 576
3600.06/3610.80 c input average constraint length 94.42
3600.06/3610.80 c input average constraint degree 845.01
3600.06/3610.80 c learned clauses 117885
3600.06/3610.80 c learned cardinalities 16359
3600.06/3610.80 c learned general constraints 989807
3600.06/3610.80 c learned average constraint length 857.12
3600.06/3610.80 c learned average constraint degree 71497413.64
3600.06/3610.80 c watched constraints 776226
3600.06/3610.80 c counting constraints 214157
3600.06/3610.80 c gcd simplifications 77407
3600.06/3610.80 c detected cardinalities 382
3600.06/3610.80 c weakened non-implied lits 126838718
3600.06/3610.80 c weakened non-implying lits 105933
3600.06/3610.80 c original variables 8424
3600.06/3610.80 c clausal propagations 1484109
3600.06/3610.80 c cardinality propagations 8847904
3600.06/3610.80 c watched propagations 23753551
3600.06/3610.80 c counting propagations 420766790
3600.06/3610.80 c watch lookups 26030208554
3600.06/3610.80 c watch backjump lookups 23495582703
3600.06/3610.80 c watch checks 605259901731
3600.06/3610.80 c propagation checks 99739931878
3600.06/3610.80 c constraint additions 3680235986
3600.06/3610.80 c trail pops 468259741
3600.06/3610.80 c formula constraints 770
3600.06/3610.80 c learned constraints 1124051
3600.06/3610.80 c bound constraints 0
3600.06/3610.80 c core-guided constraints 0
3600.06/3610.80 c encountered formula constraints 5546633
3600.06/3610.80 c encountered learned constraints 5320200
3600.06/3610.80 c encountered bound constraints 0
3600.06/3610.80 c encountered core-guided constraints 0
3600.06/3610.80 c LP total time 0 s
3600.06/3610.80 c LP solve time 0 s
3600.06/3610.80 c LP constraints added 0
3600.06/3610.80 c LP constraints removed 0
3600.06/3610.80 c LP pivots internal 0
3600.06/3610.80 c LP pivots root 0
3600.06/3610.80 c LP calls 0
3600.06/3610.80 c LP optimalities 0
3600.06/3610.80 c LP no pivot count 0
3600.06/3610.80 c LP infeasibilities 0
3600.06/3610.80 c LP valid Farkas constraints 0
3600.06/3610.80 c LP learned Farkas constraints 0
3600.06/3610.80 c LP basis resets 0
3600.06/3610.80 c LP cycling count 0
3600.06/3610.80 c LP singular count 0
3600.06/3610.80 c LP no primal count 0
3600.06/3610.80 c LP no farkas count 0
3600.06/3610.80 c LP other issue count 0
3600.06/3610.80 c LP Gomory cuts 0
3600.06/3610.80 c LP learned cuts 0
3600.06/3610.80 c LP deleted cuts 0
3600.06/3610.80 c LP encountered Gomory constraints 0
3600.06/3610.80 c LP encountered Farkas constraints 0
3600.06/3610.80 c LP encountered learned Farkas constraints 0
3600.06/3610.80 c CG auxiliary variables introduced 0
3600.06/3610.80 c CG solutions found 0
3600.06/3610.80 c CG cores constructed 0
3600.06/3610.80 c CG core cardinality constraints returned 0
3600.06/3610.80 c CG unit cores 0
3600.06/3610.80 c CG single cores 0
3600.06/3610.80 c CG blocks removed during cardinality reduction 0
3600.06/3610.80 c CG first core best 0
3600.06/3610.80 c CG decision core best 0
3600.06/3610.80 c CG core reduction tie 0
3600.06/3610.80 c CG core degree average 0.00
3600.06/3610.80 c CG core slack average 0.00
3600.06/3610.80 c CG exhausted 0
3600.06/3610.80 c CG exhaust time 0 s
3600.06/3610.80 c CG trimmed 0
3600.06/3610.80 c CG trim time 0 s
3600.06/3610.80 c CG minimized 0
3600.06/3610.80 c CG minimize time 0 s
3600.06/3610.80 c CG am1 prop time 0 s
3600.06/3610.80 c CG # am1s reformulated 0
3600.06/3610.80 c CG lower bound derived from am1s 0
3600.06/3610.80 c CG # clausal cores 0
3600.06/3610.80 c CG # cardinality cores 0
3600.06/3610.80 c CG # pb cores 0
3600.06/3610.80 c CG # pb reforms 0
3600.06/3610.80 c CG # cores discarded because of pb reform 0
3600.06/3610.80 d LOWERBOUND 0
3600.06/3610.80 d NCORES 0
3600.06/3610.80 d NPBCORES 0
3600.06/3610.80 d NPBREFORM 0
3600.06/3610.80 d NTRIMMED 0
3600.06/3610.80 d NEXHAUSTED 0
3600.06/3610.80 d NAM1S 0
3600.06/3610.80 d AM1LB 0
3600.06/3610.80 c [Papilo Statistics]
3600.06/3610.80 c prepro time 0.0840108s
3600.06/3610.80 c # tsx applied 18
3600.06/3610.80 c # tsx conflicts 0
3600.06/3610.80 c # bound changes 9
3600.06/3610.80 c # side changes 0
3600.06/3610.80 c # coef changes 0
3600.06/3610.80 c # rounds 2
3600.06/3610.80 c # deted vars 9
3600.06/3610.80 c # deted constrs 8416
3600.06/3610.80 c # consecutive rounds of only bound changes 0
3600.06/3610.80 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: 63837 MiB (61443 MiB free)
memory of node 1: 64465 MiB (62982 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529067-1752259146/watcher-4529067-1752259146 -o /tmp/evaluation-result-4529067-1752259146/solver-4529067-1752259146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113060 --watchdog 3760 mixed-bag HOME/instance-4529067-1752259146.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=113609, runsolver pid=113606
[startup+0.100065 s]*
/proc/loadavg: 4.13 3.00 2.28 5/257 113610
/proc/meminfo: memFree=127412804/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=83676 memory=13048 CPUtime=0.1 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 1880 0 0 0 9 1 0 0 20 0 1 0 141593682 85684224 3262 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 20919 3262 2144 2834 0 3671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83676 KiB
Current children cumulated memory: 13048 KiB
[startup+0.213045 s]*
/proc/loadavg: 4.13 3.00 2.28 5/257 113610
/proc/meminfo: memFree=127412312/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=105996 memory=27120 CPUtime=0.2 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 5303 0 0 0 18 2 0 0 20 0 1 0 141593682 108539904 6780 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 26499 6780 2272 2834 0 8704 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 105996 KiB
Current children cumulated memory: 27120 KiB
[startup+0.313394 s]*
/proc/loadavg: 4.13 3.00 2.28 5/257 113610
/proc/meminfo: memFree=127404120/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=123068 memory=50800 CPUtime=0.3 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 9675 0 0 0 27 3 0 0 20 0 1 0 141593682 126021632 12700 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 30767 12700 3904 2834 0 12972 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123068 KiB
Current children cumulated memory: 50800 KiB
[startup+0.70031 s]
/proc/loadavg: 4.13 3.00 2.28 5/257 113610
/proc/meminfo: memFree=127404120/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=148548 memory=74856 CPUtime=0.67 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 15094 0 0 0 62 5 0 0 20 0 1 0 141593682 152113152 18714 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 37137 18714 4000 2834 0 19342 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 148548 KiB
Current children cumulated memory: 74856 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 3.00 2.28 5/256 113610
/proc/meminfo: memFree=127404120/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=199644 memory=110492 CPUtime=1.47 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 23579 0 0 0 141 6 0 0 20 0 1 0 141593682 204435456 27623 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 49911 27623 4064 2834 0 32116 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 199644 KiB
Current children cumulated memory: 110492 KiB
[startup+3.11274 s]
/proc/loadavg: 4.12 3.02 2.29 5/256 113610
/proc/meminfo: memFree=127463472/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=249708 memory=161948 CPUtime=3.08 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 36453 0 0 0 300 8 0 0 20 0 1 0 141593682 255700992 40487 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 62427 40487 4064 2834 0 44632 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 249708 KiB
Current children cumulated memory: 161948 KiB
[startup+6.30034 s]
/proc/loadavg: 4.12 3.02 2.29 5/256 113610
/proc/meminfo: memFree=127480828/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=254220 memory=166428 CPUtime=6.26 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 37567 0 0 0 617 9 0 0 20 0 1 0 141593682 260321280 41607 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 63555 41607 4064 2834 0 45760 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 254220 KiB
Current children cumulated memory: 166428 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 3.05 2.30 5/254 113610
/proc/meminfo: memFree=127452884/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=341832 memory=252236 CPUtime=12.64 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 59603 0 0 0 1251 13 0 0 20 0 1 0 141593682 350035968 63059 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 85458 63059 4288 2834 0 67663 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 341832 KiB
Current children cumulated memory: 252236 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 3.09 2.32 5/254 113610
/proc/meminfo: memFree=127541524/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=382852 memory=294816 CPUtime=25.4 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 81703 0 0 0 2523 17 0 0 20 0 1 0 141593682 392040448 73704 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 95713 73704 4288 2834 0 77918 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 382852 KiB
Current children cumulated memory: 294816 KiB
[startup+51.113 s]
/proc/loadavg: 4.06 3.16 2.37 5/254 113611
/proc/meminfo: memFree=127695780/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=394168 memory=306136 CPUtime=50.94 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 92451 0 0 0 5075 19 0 0 20 0 1 0 141593682 403628032 76534 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 98542 76534 4288 2834 0 80747 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 394168 KiB
Current children cumulated memory: 306136 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 3.34 2.48 5/254 113613
/proc/meminfo: memFree=127903876/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=394540 memory=306524 CPUtime=101.98 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 98420 0 0 0 10178 20 0 0 20 0 1 0 141593682 404008960 76631 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 98635 76631 4288 2834 0 80840 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 394540 KiB
Current children cumulated memory: 306524 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.47 2.58 5/253 113615
/proc/meminfo: memFree=127798600/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=429868 memory=339684 CPUtime=161.8 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 110145 0 0 0 16158 22 0 0 20 0 1 0 141593682 440184832 84921 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 107467 84921 4288 2834 0 89672 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 429868 KiB
Current children cumulated memory: 339684 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.60 2.68 5/252 113617
/proc/meminfo: memFree=127800852/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=429868 memory=339812 CPUtime=221.62 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 110169 0 0 0 22140 22 0 0 20 0 1 0 141593682 440184832 84953 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 107467 84953 4288 2834 0 89672 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 429868 KiB
Current children cumulated memory: 339812 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.68 2.77 5/249 113619
/proc/meminfo: memFree=127798008/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=427148 memory=338772 CPUtime=281.44 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 110589 0 0 0 28122 22 0 0 20 0 1 0 141593682 437399552 84693 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 106787 84693 4288 2834 0 88992 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 427148 KiB
Current children cumulated memory: 338772 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.77 2.86 5/249 113620
/proc/meminfo: memFree=127756440/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=441472 memory=365796 CPUtime=341.27 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 112627 0 0 0 34052 75 0 0 20 0 1 0 141593682 452067328 91449 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 110368 91449 4384 2834 0 92573 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 441472 KiB
Current children cumulated memory: 365796 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.83 2.94 5/250 113625
/proc/meminfo: memFree=127698036/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=472292 memory=392648 CPUtime=401.08 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 113236 0 0 0 39981 127 0 0 20 0 1 0 141593682 483627008 98162 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 118073 98162 4384 2834 0 100278 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 472292 KiB
Current children cumulated memory: 392648 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.88 3.01 5/250 113627
/proc/meminfo: memFree=127634520/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=522380 memory=410356 CPUtime=460.9 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 113548 0 0 0 45904 186 0 0 20 0 1 0 141593682 534917120 102589 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 130595 102589 4384 2834 0 112800 0
Current children cumulated CPU time: 460.9 s
################
# More data... #
################
Current children cumulated memory: 689804 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/251 113749
/proc/meminfo: memFree=127075664/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=862680 memory=691212 CPUtime=2853.94 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 139632 0 0 0 284272 1122 0 0 20 0 1 0 141593682 883384320 172803 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 215670 172803 4384 2834 0 197875 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 862680 KiB
Current children cumulated memory: 691212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/251 113754
/proc/meminfo: memFree=127071508/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=868348 memory=694924 CPUtime=2913.78 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 140570 0 0 0 290244 1134 0 0 20 0 1 0 141593682 889188352 173731 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 217087 173731 4384 2834 0 199292 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 868348 KiB
Current children cumulated memory: 694924 KiB
[startup+2982.3 s]
/proc/loadavg: 4.38 4.15 4.04 5/251 113756
/proc/meminfo: memFree=127062936/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=876480 memory=701324 CPUtime=2973.61 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 142165 0 0 0 296222 1139 0 0 20 0 1 0 141593682 897515520 175331 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 219120 175331 4384 2834 0 201325 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 876480 KiB
Current children cumulated memory: 701324 KiB
[startup+3042.3 s]
/proc/loadavg: 4.68 4.29 4.10 5/249 113758
/proc/meminfo: memFree=127018512/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=879616 memory=708068 CPUtime=3033.43 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 142824 0 0 0 302195 1148 0 0 20 0 1 0 141593682 900726784 177017 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 219904 177017 4384 2834 0 202109 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 879616 KiB
Current children cumulated memory: 708068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.51 4.30 4.11 5/249 113760
/proc/meminfo: memFree=126993988/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=879616 memory=708068 CPUtime=3093.26 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 142824 0 0 0 308171 1155 0 0 20 0 1 0 141593682 900726784 177017 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 219904 177017 4384 2834 0 202109 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 879616 KiB
Current children cumulated memory: 708068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.72 4.41 4.16 5/249 113762
/proc/meminfo: memFree=126994092/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=880960 memory=708836 CPUtime=3153.09 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 143027 0 0 0 314151 1158 0 0 20 0 1 0 141593682 902103040 177209 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 220240 177209 4384 2834 0 202445 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 880960 KiB
Current children cumulated memory: 708836 KiB
[startup+3222.3 s]
/proc/loadavg: 5.44 4.66 4.26 5/249 113764
/proc/meminfo: memFree=126993816/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=883648 memory=710884 CPUtime=3212.92 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 143512 0 0 0 320117 1175 0 0 20 0 1 0 141593682 904855552 177721 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 220912 177721 4384 2834 0 203117 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 883648 KiB
Current children cumulated memory: 710884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.80 4.64 4.28 5/249 113766
/proc/meminfo: memFree=126993964/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=886208 memory=712932 CPUtime=3272.74 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 144045 0 0 0 326085 1189 0 0 20 0 1 0 141593682 907476992 178233 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 221552 178233 4384 2834 0 203757 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 886208 KiB
Current children cumulated memory: 712932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.54 4.27 5/250 114399
/proc/meminfo: memFree=125993600/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=889420 memory=715748 CPUtime=3332.55 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 144746 0 0 0 332052 1203 0 0 20 0 1 0 141593682 910766080 178937 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 222355 178937 4384 2834 0 204560 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 889420 KiB
Current children cumulated memory: 715748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.49 4.27 5/251 114404
/proc/meminfo: memFree=124648172/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=892224 memory=717796 CPUtime=3392.32 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 145253 0 0 0 338023 1209 0 0 20 0 1 0 141593682 913637376 179449 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 223056 179449 4384 2834 0 205261 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 892224 KiB
Current children cumulated memory: 717796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.41 4.25 5/251 114406
/proc/meminfo: memFree=124565004/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=898768 memory=723044 CPUtime=3452.11 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 146569 0 0 0 343993 1218 0 0 20 0 1 0 141593682 920338432 180761 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 224692 180761 4384 2834 0 206897 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 898768 KiB
Current children cumulated memory: 723044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.37 4.25 5/251 114412
/proc/meminfo: memFree=124553800/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=898768 memory=723044 CPUtime=3511.89 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 146699 0 0 0 349957 1232 0 0 20 0 1 0 141593682 920338432 180761 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 224692 180761 4384 2834 0 206897 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 898768 KiB
Current children cumulated memory: 723044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.31 4.24 5/251 114414
/proc/meminfo: memFree=124533088/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=900436 memory=724324 CPUtime=3571.66 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 147151 0 0 0 355918 1248 0 0 20 0 1 0 141593682 922046464 181081 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 225109 181081 4384 2834 0 207314 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 900436 KiB
Current children cumulated memory: 724324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.15 4.30 4.23 5/251 114415
/proc/meminfo: memFree=124520928/131382120 swapFree=33010160/33010684
[pid=113609] ppid=113606 vsize=900436 memory=729700 CPUtime=3600.06 cores=0,2
/proc/113609/stat : 113609 (mixed-bag) R 113606 113609 113047 0 -1 4194304 147189 0 0 0 358753 1253 0 0 20 0 1 0 141593682 922046464 182425 18446744073709551615 4235264 15840557 140721867435936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 42283008 140721867442586 140721867442663 140721867442663 140721867448267 0
/proc/113609/statm: 225109 182425 4384 2834 0 207314 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 900436 KiB
Current children cumulated memory: 729700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 113609 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.54 s, system=12.541 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.08
CPU user time (s): 3587.54
CPU system time (s): 12.541
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 900436
Max. memory (cumulated for all children) (KiB): 729700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.54
system time used= 12.541
maximum resident set size= 730212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147218
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= 236
involuntary context switches= 7964
# summary of solver processes directly reported to runsolver:
# pid: 113609
# total CPU time (s): 3600.08
# total CPU user time (s): 3587.54
# total CPU system time (s): 12.541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.275 second user time and 35.1207 second system time
The end
Begin job on nodeC008 at 2025-07-11 20:39:06
IDJOB=4529067
IDBENCH=148768
IDSOLVER=3386
FILE ID=nodeC008/4529067-1752259146
RUNJOBID= nodeC008-1752258848-113060
SLURM_JOB_ID= 9682616
Free space on /tmp= 432580 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529067-1752259146/watcher-4529067-1752259146 -o /tmp/evaluation-result-4529067-1752259146/solver-4529067-1752259146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113060 --watchdog 3760 mixed-bag HOME/instance-4529067-1752259146.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1054402314
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.492
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.343
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.655
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.500
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.619
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.450
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127396532 kB
MemAvailable: 127996948 kB
Buffers: 2128 kB
Cached: 1392056 kB
SwapCached: 16 kB
Active: 1567528 kB
Inactive: 809080 kB
Active(anon): 966596 kB
Inactive(anon): 33748 kB
Active(file): 600932 kB
Inactive(file): 775332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16284 kB
Writeback: 0 kB
AnonPages: 983584 kB
Mapped: 138892 kB
Shmem: 17920 kB
KReclaimable: 127556 kB
Slab: 215856 kB
SReclaimable: 127556 kB
SUnreclaim: 88300 kB
KernelStack: 4144 kB
PageTables: 5396 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1458712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 335872 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432540 MiB
End job on nodeC008 at 2025-07-11 21:39:17