0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.10/0.18 c [STEP] preprocessing with Papilo
0.21/0.28 c [STEP] solving with SCIP
299.52/300.38 c [STEP] preprocessing done, loading into solver
299.52/300.39 c [STEP] solving
299.52/300.39 c #variables 8416 #constraints 770
351.80/352.76 c #Conflicts: 1000 | #Constraints: 1769
351.80/352.76 c #Conflicts: 2000 | #Constraints: 2769
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 3000 | #Constraints: 2781
351.80/352.76 c #Conflicts: 4000 | #Constraints: 3781
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 5000 | #Constraints: 3197
351.80/352.76 c #Conflicts: 6000 | #Constraints: 4197
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 7000 | #Constraints: 3201
351.80/352.76 c #Conflicts: 8000 | #Constraints: 4201
351.80/352.76 c #Conflicts: 9000 | #Constraints: 5201
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 10000 | #Constraints: 3897
351.80/352.76 c #Conflicts: 11000 | #Constraints: 4897
351.80/352.76 c #Conflicts: 12000 | #Constraints: 5897
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 13000 | #Constraints: 4347
351.80/352.76 c #Conflicts: 14000 | #Constraints: 5347
351.80/352.76 c #Conflicts: 15000 | #Constraints: 6347
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 16000 | #Constraints: 4570
351.80/352.76 c #Conflicts: 17000 | #Constraints: 5570
351.80/352.76 c #Conflicts: 18000 | #Constraints: 6570
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 19000 | #Constraints: 4599
351.80/352.76 c #Conflicts: 20000 | #Constraints: 5599
351.80/352.76 c #Conflicts: 21000 | #Constraints: 6599
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 22000 | #Constraints: 4402
351.80/352.76 c #Conflicts: 23000 | #Constraints: 5402
351.80/352.76 c #Conflicts: 24000 | #Constraints: 6402
351.80/352.76 c #Conflicts: 25000 | #Constraints: 7402
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 26000 | #Constraints: 5002
351.80/352.76 c #Conflicts: 27000 | #Constraints: 6002
351.80/352.76 c #Conflicts: 28000 | #Constraints: 7002
351.80/352.76 c #Conflicts: 29000 | #Constraints: 8002
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 30000 | #Constraints: 5395
351.80/352.76 c #Conflicts: 31000 | #Constraints: 6395
351.80/352.76 c #Conflicts: 32000 | #Constraints: 7395
351.80/352.76 c #Conflicts: 33000 | #Constraints: 8395
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 34000 | #Constraints: 5596
351.80/352.76 c #Conflicts: 35000 | #Constraints: 6596
351.80/352.76 c #Conflicts: 36000 | #Constraints: 7596
351.80/352.76 c #Conflicts: 37000 | #Constraints: 8596
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 38000 | #Constraints: 5609
351.80/352.76 c #Conflicts: 39000 | #Constraints: 6609
351.80/352.76 c #Conflicts: 40000 | #Constraints: 7609
351.80/352.76 c #Conflicts: 41000 | #Constraints: 8609
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 42000 | #Constraints: 5444
351.80/352.76 c #Conflicts: 43000 | #Constraints: 6444
351.80/352.76 c #Conflicts: 44000 | #Constraints: 7444
351.80/352.76 c #Conflicts: 45000 | #Constraints: 8444
351.80/352.76 c #Conflicts: 46000 | #Constraints: 9444
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 47000 | #Constraints: 6025
351.80/352.76 c #Conflicts: 48000 | #Constraints: 7025
351.80/352.76 c #Conflicts: 49000 | #Constraints: 8025
351.80/352.76 c #Conflicts: 50000 | #Constraints: 9025
351.80/352.76 c #Conflicts: 51000 | #Constraints: 10025
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 52000 | #Constraints: 6415
351.80/352.76 c #Conflicts: 53000 | #Constraints: 7415
351.80/352.76 c #Conflicts: 54000 | #Constraints: 8415
351.80/352.76 c #Conflicts: 55000 | #Constraints: 9415
351.80/352.76 c #Conflicts: 56000 | #Constraints: 10415
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 57000 | #Constraints: 6603
351.80/352.76 c #Conflicts: 58000 | #Constraints: 7603
351.80/352.76 c #Conflicts: 59000 | #Constraints: 8603
351.80/352.76 c #Conflicts: 60000 | #Constraints: 9603
351.80/352.76 c #Conflicts: 61000 | #Constraints: 10603
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 62000 | #Constraints: 6602
351.80/352.76 c #Conflicts: 63000 | #Constraints: 7602
351.80/352.76 c #Conflicts: 64000 | #Constraints: 8602
351.80/352.76 c #Conflicts: 65000 | #Constraints: 9602
351.80/352.76 c #Conflicts: 66000 | #Constraints: 10602
351.80/352.76 c INPROCESSING
351.80/352.76 c GARBAGE COLLECT
351.80/352.76 c #Conflicts: 67000 | #Constraints: 6411
351.80/352.76 c #Conflicts: 68000 | #Constraints: 7411
452.25/453.45 c #Conflicts: 69000 | #Constraints: 8411
452.25/453.45 c #Conflicts: 70000 | #Constraints: 9411
452.25/453.45 c #Conflicts: 71000 | #Constraints: 10411
452.25/453.45 c #Conflicts: 72000 | #Constraints: 11411
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 73000 | #Constraints: 6998
452.25/453.45 c #Conflicts: 74000 | #Constraints: 7998
452.25/453.45 c #Conflicts: 75000 | #Constraints: 8998
452.25/453.45 c #Conflicts: 76000 | #Constraints: 9998
452.25/453.45 c #Conflicts: 77000 | #Constraints: 10998
452.25/453.45 c #Conflicts: 78000 | #Constraints: 11998
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 79000 | #Constraints: 7399
452.25/453.45 c #Conflicts: 80000 | #Constraints: 8399
452.25/453.45 c #Conflicts: 81000 | #Constraints: 9399
452.25/453.45 c #Conflicts: 82000 | #Constraints: 10399
452.25/453.45 c #Conflicts: 83000 | #Constraints: 11399
452.25/453.45 c #Conflicts: 84000 | #Constraints: 12399
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 85000 | #Constraints: 7617
452.25/453.45 c #Conflicts: 86000 | #Constraints: 8617
452.25/453.45 c #Conflicts: 87000 | #Constraints: 9617
452.25/453.45 c #Conflicts: 88000 | #Constraints: 10617
452.25/453.45 c #Conflicts: 89000 | #Constraints: 11617
452.25/453.45 c #Conflicts: 90000 | #Constraints: 12617
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 91000 | #Constraints: 7610
452.25/453.45 c #Conflicts: 92000 | #Constraints: 8610
452.25/453.45 c #Conflicts: 93000 | #Constraints: 9610
452.25/453.45 c #Conflicts: 94000 | #Constraints: 10610
452.25/453.45 c #Conflicts: 95000 | #Constraints: 11610
452.25/453.45 c #Conflicts: 96000 | #Constraints: 12610
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 97000 | #Constraints: 7435
452.25/453.45 c #Conflicts: 98000 | #Constraints: 8435
452.25/453.45 c #Conflicts: 99000 | #Constraints: 9435
452.25/453.45 c #Conflicts: 100000 | #Constraints: 10435
452.25/453.45 c #Conflicts: 101000 | #Constraints: 11435
452.25/453.45 c #Conflicts: 102000 | #Constraints: 12435
452.25/453.45 c #Conflicts: 103000 | #Constraints: 13435
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 104000 | #Constraints: 8015
452.25/453.45 c #Conflicts: 105000 | #Constraints: 9015
452.25/453.45 c #Conflicts: 106000 | #Constraints: 10015
452.25/453.45 c #Conflicts: 107000 | #Constraints: 11015
452.25/453.45 c #Conflicts: 108000 | #Constraints: 12015
452.25/453.45 c #Conflicts: 109000 | #Constraints: 13015
452.25/453.45 c #Conflicts: 110000 | #Constraints: 14015
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 111000 | #Constraints: 8415
452.25/453.45 c #Conflicts: 112000 | #Constraints: 9415
452.25/453.45 c #Conflicts: 113000 | #Constraints: 10415
452.25/453.45 c #Conflicts: 114000 | #Constraints: 11415
452.25/453.45 c #Conflicts: 115000 | #Constraints: 12415
452.25/453.45 c #Conflicts: 116000 | #Constraints: 13415
452.25/453.45 c #Conflicts: 117000 | #Constraints: 14415
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 118000 | #Constraints: 8608
452.25/453.45 c #Conflicts: 119000 | #Constraints: 9608
452.25/453.45 c #Conflicts: 120000 | #Constraints: 10608
452.25/453.45 c #Conflicts: 121000 | #Constraints: 11608
452.25/453.45 c #Conflicts: 122000 | #Constraints: 12608
452.25/453.45 c #Conflicts: 123000 | #Constraints: 13608
452.25/453.45 c #Conflicts: 124000 | #Constraints: 14608
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 125000 | #Constraints: 8604
452.25/453.45 c #Conflicts: 126000 | #Constraints: 9604
452.25/453.45 c #Conflicts: 127000 | #Constraints: 10604
452.25/453.45 c #Conflicts: 128000 | #Constraints: 11604
452.25/453.45 c #Conflicts: 129000 | #Constraints: 12604
452.25/453.45 c #Conflicts: 130000 | #Constraints: 13604
452.25/453.45 c #Conflicts: 131000 | #Constraints: 14604
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 132000 | #Constraints: 8398
452.25/453.45 c #Conflicts: 133000 | #Constraints: 9398
452.25/453.45 c #Conflicts: 134000 | #Constraints: 10398
452.25/453.45 c #Conflicts: 135000 | #Constraints: 11398
452.25/453.45 c #Conflicts: 136000 | #Constraints: 12398
452.25/453.45 c #Conflicts: 137000 | #Constraints: 13398
452.25/453.45 c #Conflicts: 138000 | #Constraints: 14398
452.25/453.45 c #Conflicts: 139000 | #Constraints: 15398
452.25/453.45 c INPROCESSING
452.25/453.45 c GARBAGE COLLECT
452.25/453.45 c #Conflicts: 140000 | #Constraints: 9019
596.79/598.30 c #Conflicts: 141000 | #Constraints: 10019
596.79/598.30 c #Conflicts: 142000 | #Constraints: 11019
596.79/598.30 c #Conflicts: 143000 | #Constraints: 12019
596.79/598.30 c #Conflicts: 144000 | #Constraints: 13019
596.79/598.30 c #Conflicts: 145000 | #Constraints: 14019
596.79/598.30 c #Conflicts: 146000 | #Constraints: 15019
596.79/598.30 c #Conflicts: 147000 | #Constraints: 16019
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 148000 | #Constraints: 9430
596.79/598.30 c #Conflicts: 149000 | #Constraints: 10430
596.79/598.30 c #Conflicts: 150000 | #Constraints: 11430
596.79/598.30 c #Conflicts: 151000 | #Constraints: 12430
596.79/598.30 c #Conflicts: 152000 | #Constraints: 13430
596.79/598.30 c #Conflicts: 153000 | #Constraints: 14430
596.79/598.30 c #Conflicts: 154000 | #Constraints: 15430
596.79/598.30 c #Conflicts: 155000 | #Constraints: 16430
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 156000 | #Constraints: 9621
596.79/598.30 c #Conflicts: 157000 | #Constraints: 10621
596.79/598.30 c #Conflicts: 158000 | #Constraints: 11621
596.79/598.30 c #Conflicts: 159000 | #Constraints: 12621
596.79/598.30 c #Conflicts: 160000 | #Constraints: 13621
596.79/598.30 c #Conflicts: 161000 | #Constraints: 14621
596.79/598.30 c #Conflicts: 162000 | #Constraints: 15621
596.79/598.30 c #Conflicts: 163000 | #Constraints: 16621
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 164000 | #Constraints: 9640
596.79/598.30 c #Conflicts: 165000 | #Constraints: 10640
596.79/598.30 c #Conflicts: 166000 | #Constraints: 11640
596.79/598.30 c #Conflicts: 167000 | #Constraints: 12640
596.79/598.30 c #Conflicts: 168000 | #Constraints: 13640
596.79/598.30 c #Conflicts: 169000 | #Constraints: 14640
596.79/598.30 c #Conflicts: 170000 | #Constraints: 15640
596.79/598.30 c #Conflicts: 171000 | #Constraints: 16640
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 172000 | #Constraints: 9420
596.79/598.30 c #Conflicts: 173000 | #Constraints: 10420
596.79/598.30 c #Conflicts: 174000 | #Constraints: 11420
596.79/598.30 c #Conflicts: 175000 | #Constraints: 12420
596.79/598.30 c #Conflicts: 176000 | #Constraints: 13420
596.79/598.30 c #Conflicts: 177000 | #Constraints: 14420
596.79/598.30 c #Conflicts: 178000 | #Constraints: 15420
596.79/598.30 c #Conflicts: 179000 | #Constraints: 16420
596.79/598.30 c #Conflicts: 180000 | #Constraints: 17420
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 181000 | #Constraints: 10019
596.79/598.30 c #Conflicts: 182000 | #Constraints: 11019
596.79/598.30 c #Conflicts: 183000 | #Constraints: 12019
596.79/598.30 c #Conflicts: 184000 | #Constraints: 13019
596.79/598.30 c #Conflicts: 185000 | #Constraints: 14019
596.79/598.30 c #Conflicts: 186000 | #Constraints: 15019
596.79/598.30 c #Conflicts: 187000 | #Constraints: 16019
596.79/598.30 c #Conflicts: 188000 | #Constraints: 17019
596.79/598.30 c #Conflicts: 189000 | #Constraints: 18019
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 190000 | #Constraints: 10429
596.79/598.30 c #Conflicts: 191000 | #Constraints: 11429
596.79/598.30 c #Conflicts: 192000 | #Constraints: 12429
596.79/598.30 c #Conflicts: 193000 | #Constraints: 13429
596.79/598.30 c #Conflicts: 194000 | #Constraints: 14429
596.79/598.30 c #Conflicts: 195000 | #Constraints: 15429
596.79/598.30 c #Conflicts: 196000 | #Constraints: 16429
596.79/598.30 c #Conflicts: 197000 | #Constraints: 17429
596.79/598.30 c #Conflicts: 198000 | #Constraints: 18429
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 199000 | #Constraints: 10671
596.79/598.30 c #Conflicts: 200000 | #Constraints: 11671
596.79/598.30 c #Conflicts: 201000 | #Constraints: 12671
596.79/598.30 c #Conflicts: 202000 | #Constraints: 13671
596.79/598.30 c #Conflicts: 203000 | #Constraints: 14671
596.79/598.30 c #Conflicts: 204000 | #Constraints: 15671
596.79/598.30 c #Conflicts: 205000 | #Constraints: 16671
596.79/598.30 c #Conflicts: 206000 | #Constraints: 17671
596.79/598.30 c #Conflicts: 207000 | #Constraints: 18671
596.79/598.30 c INPROCESSING
596.79/598.30 c GARBAGE COLLECT
596.79/598.30 c #Conflicts: 208000 | #Constraints: 10665
596.79/598.30 c #Conflicts: 209000 | #Constraints: 11665
596.79/598.30 c #Conflicts: 210000 | #Constraints: 12665
596.79/598.30 c #Conflicts: 211000 | #Constraints: 13665
596.79/598.30 c #Conflicts: 212000 | #Constraints: 14665
596.79/598.30 c #Conflicts: 213000 | #Constraints: 15665
729.25/731.11 c #Conflicts: 214000 | #Constraints: 16665
729.25/731.11 c #Conflicts: 215000 | #Constraints: 17665
729.25/731.11 c #Conflicts: 216000 | #Constraints: 18665
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 217000 | #Constraints: 10549
729.25/731.11 c #Conflicts: 218000 | #Constraints: 11549
729.25/731.11 c #Conflicts: 219000 | #Constraints: 12549
729.25/731.11 c #Conflicts: 220000 | #Constraints: 13549
729.25/731.11 c #Conflicts: 221000 | #Constraints: 14549
729.25/731.11 c #Conflicts: 222000 | #Constraints: 15549
729.25/731.11 c #Conflicts: 223000 | #Constraints: 16549
729.25/731.11 c #Conflicts: 224000 | #Constraints: 17549
729.25/731.11 c #Conflicts: 225000 | #Constraints: 18549
729.25/731.11 c #Conflicts: 226000 | #Constraints: 19549
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 227000 | #Constraints: 11148
729.25/731.11 c #Conflicts: 228000 | #Constraints: 12148
729.25/731.11 c #Conflicts: 229000 | #Constraints: 13148
729.25/731.11 c #Conflicts: 230000 | #Constraints: 14148
729.25/731.11 c #Conflicts: 231000 | #Constraints: 15148
729.25/731.11 c #Conflicts: 232000 | #Constraints: 16148
729.25/731.11 c #Conflicts: 233000 | #Constraints: 17148
729.25/731.11 c #Conflicts: 234000 | #Constraints: 18148
729.25/731.11 c #Conflicts: 235000 | #Constraints: 19148
729.25/731.11 c #Conflicts: 236000 | #Constraints: 20148
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 237000 | #Constraints: 11482
729.25/731.11 c #Conflicts: 238000 | #Constraints: 12482
729.25/731.11 c #Conflicts: 239000 | #Constraints: 13482
729.25/731.11 c #Conflicts: 240000 | #Constraints: 14482
729.25/731.11 c #Conflicts: 241000 | #Constraints: 15482
729.25/731.11 c #Conflicts: 242000 | #Constraints: 16482
729.25/731.11 c #Conflicts: 243000 | #Constraints: 17482
729.25/731.11 c #Conflicts: 244000 | #Constraints: 18482
729.25/731.11 c #Conflicts: 245000 | #Constraints: 19482
729.25/731.11 c #Conflicts: 246000 | #Constraints: 20482
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 247000 | #Constraints: 11670
729.25/731.11 c #Conflicts: 248000 | #Constraints: 12670
729.25/731.11 c #Conflicts: 249000 | #Constraints: 13670
729.25/731.11 c #Conflicts: 250000 | #Constraints: 14670
729.25/731.11 c #Conflicts: 251000 | #Constraints: 15670
729.25/731.11 c #Conflicts: 252000 | #Constraints: 16670
729.25/731.11 c #Conflicts: 253000 | #Constraints: 17670
729.25/731.11 c #Conflicts: 254000 | #Constraints: 18670
729.25/731.11 c #Conflicts: 255000 | #Constraints: 19670
729.25/731.11 c #Conflicts: 256000 | #Constraints: 20670
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 257000 | #Constraints: 11638
729.25/731.11 c #Conflicts: 258000 | #Constraints: 12638
729.25/731.11 c #Conflicts: 259000 | #Constraints: 13638
729.25/731.11 c #Conflicts: 260000 | #Constraints: 14638
729.25/731.11 c #Conflicts: 261000 | #Constraints: 15638
729.25/731.11 c #Conflicts: 262000 | #Constraints: 16638
729.25/731.11 c #Conflicts: 263000 | #Constraints: 17638
729.25/731.11 c #Conflicts: 264000 | #Constraints: 18638
729.25/731.11 c #Conflicts: 265000 | #Constraints: 19638
729.25/731.11 c #Conflicts: 266000 | #Constraints: 20638
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 267000 | #Constraints: 11431
729.25/731.11 c #Conflicts: 268000 | #Constraints: 12431
729.25/731.11 c #Conflicts: 269000 | #Constraints: 13431
729.25/731.11 c #Conflicts: 270000 | #Constraints: 14431
729.25/731.11 c #Conflicts: 271000 | #Constraints: 15431
729.25/731.11 c #Conflicts: 272000 | #Constraints: 16431
729.25/731.11 c #Conflicts: 273000 | #Constraints: 17431
729.25/731.11 c #Conflicts: 274000 | #Constraints: 18431
729.25/731.11 c #Conflicts: 275000 | #Constraints: 19431
729.25/731.11 c #Conflicts: 276000 | #Constraints: 20431
729.25/731.11 c #Conflicts: 277000 | #Constraints: 21431
729.25/731.11 c INPROCESSING
729.25/731.11 c GARBAGE COLLECT
729.25/731.11 c #Conflicts: 278000 | #Constraints: 12016
729.25/731.11 c #Conflicts: 279000 | #Constraints: 13016
729.25/731.11 c #Conflicts: 280000 | #Constraints: 14016
729.25/731.11 c #Conflicts: 281000 | #Constraints: 15016
729.25/731.11 c #Conflicts: 282000 | #Constraints: 16016
729.25/731.11 c #Conflicts: 283000 | #Constraints: 17016
729.25/731.11 c #Conflicts: 284000 | #Constraints: 18016
729.25/731.11 c #Conflicts: 285000 | #Constraints: 19016
729.25/731.11 c #Conflicts: 286000 | #Constraints: 20016
729.25/731.11 c #Conflicts: 287000 | #Constraints: 21016
729.25/731.11 c #Conflicts: 288000 | #Constraints: 22016
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 289000 | #Constraints: 12415
823.37/825.53 c #Conflicts: 290000 | #Constraints: 13415
823.37/825.53 c #Conflicts: 291000 | #Constraints: 14415
823.37/825.53 c #Conflicts: 292000 | #Constraints: 15415
823.37/825.53 c #Conflicts: 293000 | #Constraints: 16415
823.37/825.53 c #Conflicts: 294000 | #Constraints: 17415
823.37/825.53 c #Conflicts: 295000 | #Constraints: 18415
823.37/825.53 c #Conflicts: 296000 | #Constraints: 19415
823.37/825.53 c #Conflicts: 297000 | #Constraints: 20415
823.37/825.53 c #Conflicts: 298000 | #Constraints: 21415
823.37/825.53 c #Conflicts: 299000 | #Constraints: 22415
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 300000 | #Constraints: 12607
823.37/825.53 c #Conflicts: 301000 | #Constraints: 13607
823.37/825.53 c #Conflicts: 302000 | #Constraints: 14607
823.37/825.53 c #Conflicts: 303000 | #Constraints: 15607
823.37/825.53 c #Conflicts: 304000 | #Constraints: 16607
823.37/825.53 c #Conflicts: 305000 | #Constraints: 17607
823.37/825.53 c #Conflicts: 306000 | #Constraints: 18607
823.37/825.53 c #Conflicts: 307000 | #Constraints: 19607
823.37/825.53 c #Conflicts: 308000 | #Constraints: 20607
823.37/825.53 c #Conflicts: 309000 | #Constraints: 21607
823.37/825.53 c #Conflicts: 310000 | #Constraints: 22607
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 311000 | #Constraints: 12616
823.37/825.53 c #Conflicts: 312000 | #Constraints: 13616
823.37/825.53 c #Conflicts: 313000 | #Constraints: 14616
823.37/825.53 c #Conflicts: 314000 | #Constraints: 15616
823.37/825.53 c #Conflicts: 315000 | #Constraints: 16616
823.37/825.53 c #Conflicts: 316000 | #Constraints: 17616
823.37/825.53 c #Conflicts: 317000 | #Constraints: 18616
823.37/825.53 c #Conflicts: 318000 | #Constraints: 19616
823.37/825.53 c #Conflicts: 319000 | #Constraints: 20616
823.37/825.53 c #Conflicts: 320000 | #Constraints: 21616
823.37/825.53 c #Conflicts: 321000 | #Constraints: 22616
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 322000 | #Constraints: 12432
823.37/825.53 c #Conflicts: 323000 | #Constraints: 13432
823.37/825.53 c #Conflicts: 324000 | #Constraints: 14432
823.37/825.53 c #Conflicts: 325000 | #Constraints: 15432
823.37/825.53 c #Conflicts: 326000 | #Constraints: 16432
823.37/825.53 c #Conflicts: 327000 | #Constraints: 17432
823.37/825.53 c #Conflicts: 328000 | #Constraints: 18432
823.37/825.53 c #Conflicts: 329000 | #Constraints: 19432
823.37/825.53 c #Conflicts: 330000 | #Constraints: 20432
823.37/825.53 c #Conflicts: 331000 | #Constraints: 21432
823.37/825.53 c #Conflicts: 332000 | #Constraints: 22432
823.37/825.53 c #Conflicts: 333000 | #Constraints: 23432
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 334000 | #Constraints: 13022
823.37/825.53 c #Conflicts: 335000 | #Constraints: 14022
823.37/825.53 c #Conflicts: 336000 | #Constraints: 15022
823.37/825.53 c #Conflicts: 337000 | #Constraints: 16022
823.37/825.53 c #Conflicts: 338000 | #Constraints: 17022
823.37/825.53 c #Conflicts: 339000 | #Constraints: 18022
823.37/825.53 c #Conflicts: 340000 | #Constraints: 19022
823.37/825.53 c #Conflicts: 341000 | #Constraints: 20022
823.37/825.53 c #Conflicts: 342000 | #Constraints: 21022
823.37/825.53 c #Conflicts: 343000 | #Constraints: 22022
823.37/825.53 c #Conflicts: 344000 | #Constraints: 23022
823.37/825.53 c #Conflicts: 345000 | #Constraints: 24022
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 346000 | #Constraints: 13412
823.37/825.53 c #Conflicts: 347000 | #Constraints: 14412
823.37/825.53 c #Conflicts: 348000 | #Constraints: 15412
823.37/825.53 c #Conflicts: 349000 | #Constraints: 16412
823.37/825.53 c #Conflicts: 350000 | #Constraints: 17412
823.37/825.53 c #Conflicts: 351000 | #Constraints: 18412
823.37/825.53 c #Conflicts: 352000 | #Constraints: 19412
823.37/825.53 c #Conflicts: 353000 | #Constraints: 20412
823.37/825.53 c #Conflicts: 354000 | #Constraints: 21412
823.37/825.53 c #Conflicts: 355000 | #Constraints: 22412
823.37/825.53 c #Conflicts: 356000 | #Constraints: 23412
823.37/825.53 c #Conflicts: 357000 | #Constraints: 24412
823.37/825.53 c INPROCESSING
823.37/825.53 c GARBAGE COLLECT
823.37/825.53 c #Conflicts: 358000 | #Constraints: 13605
823.37/825.53 c #Conflicts: 359000 | #Constraints: 14605
823.37/825.53 c #Conflicts: 360000 | #Constraints: 15605
823.37/825.53 c #Conflicts: 361000 | #Constraints: 16605
823.37/825.53 c #Conflicts: 362000 | #Constraints: 17605
1060.16/1062.93 c #Conflicts: 363000 | #Constraints: 18605
1060.16/1062.93 c #Conflicts: 364000 | #Constraints: 19605
1060.16/1062.93 c #Conflicts: 365000 | #Constraints: 20605
1060.16/1062.93 c #Conflicts: 366000 | #Constraints: 21605
1060.16/1062.93 c #Conflicts: 367000 | #Constraints: 22605
1060.16/1062.93 c #Conflicts: 368000 | #Constraints: 23605
1060.16/1062.93 c #Conflicts: 369000 | #Constraints: 24605
1060.16/1062.93 c INPROCESSING
1060.16/1062.93 c GARBAGE COLLECT
1060.16/1062.93 c #Conflicts: 370000 | #Constraints: 13620
1060.16/1062.93 c #Conflicts: 371000 | #Constraints: 14620
1060.16/1062.93 c #Conflicts: 372000 | #Constraints: 15620
1060.16/1062.93 c #Conflicts: 373000 | #Constraints: 16620
1060.16/1062.93 c #Conflicts: 374000 | #Constraints: 17620
1060.16/1062.93 c #Conflicts: 375000 | #Constraints: 18620
1060.16/1062.93 c #Conflicts: 376000 | #Constraints: 19620
1060.16/1062.93 c #Conflicts: 377000 | #Constraints: 20620
1060.16/1062.93 c #Conflicts: 378000 | #Constraints: 21620
1060.16/1062.93 c #Conflicts: 379000 | #Constraints: 22620
1060.16/1062.93 c #Conflicts: 380000 | #Constraints: 23620
1060.16/1062.93 c #Conflicts: 381000 | #Constraints: 24620
1060.16/1062.93 c INPROCESSING
1060.16/1062.93 c GARBAGE COLLECT
1060.16/1062.93 c #Conflicts: 382000 | #Constraints: 13419
1060.16/1062.93 c #Conflicts: 383000 | #Constraints: 14419
1060.16/1062.93 c #Conflicts: 384000 | #Constraints: 15419
1060.16/1062.93 c #Conflicts: 385000 | #Constraints: 16419
1060.16/1062.93 c #Conflicts: 386000 | #Constraints: 17419
1060.16/1062.93 c #Conflicts: 387000 | #Constraints: 18419
1060.16/1062.93 c #Conflicts: 388000 | #Constraints: 19419
1060.16/1062.93 c #Conflicts: 389000 | #Constraints: 20419
1060.16/1062.93 c #Conflicts: 390000 | #Constraints: 21419
1060.16/1062.93 c #Conflicts: 391000 | #Constraints: 22419
1060.16/1062.93 c #Conflicts: 392000 | #Constraints: 23419
1060.16/1062.93 c #Conflicts: 393000 | #Constraints: 24419
1060.16/1062.93 c #Conflicts: 394000 | #Constraints: 25419
1060.16/1062.93 c INPROCESSING
1060.16/1062.93 c GARBAGE COLLECT
1060.16/1062.93 c #Conflicts: 395000 | #Constraints: 14019
1060.16/1062.93 c #Conflicts: 396000 | #Constraints: 15019
1060.16/1062.93 c #Conflicts: 397000 | #Constraints: 16019
1060.16/1062.93 c #Conflicts: 398000 | #Constraints: 17019
1060.16/1062.93 c #Conflicts: 399000 | #Constraints: 18019
1060.16/1062.93 c #Conflicts: 400000 | #Constraints: 19019
1060.16/1062.93 c #Conflicts: 401000 | #Constraints: 20019
1060.16/1062.93 c #Conflicts: 402000 | #Constraints: 21019
1060.16/1062.93 c #Conflicts: 403000 | #Constraints: 22019
1060.16/1062.93 c #Conflicts: 404000 | #Constraints: 23019
1060.16/1062.93 c #Conflicts: 405000 | #Constraints: 24019
1060.16/1062.93 c #Conflicts: 406000 | #Constraints: 25019
1060.16/1062.93 c #Conflicts: 407000 | #Constraints: 26019
1060.16/1062.93 c INPROCESSING
1060.16/1062.93 c GARBAGE COLLECT
1060.16/1062.93 c #Conflicts: 408000 | #Constraints: 14416
1060.16/1062.93 c #Conflicts: 409000 | #Constraints: 15416
1060.16/1062.93 c #Conflicts: 410000 | #Constraints: 16416
1060.16/1062.93 c #Conflicts: 411000 | #Constraints: 17416
1060.16/1062.93 c #Conflicts: 412000 | #Constraints: 18416
1060.16/1062.93 c #Conflicts: 413000 | #Constraints: 19416
1060.16/1062.93 c #Conflicts: 414000 | #Constraints: 20416
1060.16/1062.93 c #Conflicts: 415000 | #Constraints: 21416
1060.16/1062.93 c #Conflicts: 416000 | #Constraints: 22416
1060.16/1062.93 c #Conflicts: 417000 | #Constraints: 23416
1060.16/1062.93 c #Conflicts: 418000 | #Constraints: 24416
1060.16/1062.93 c #Conflicts: 419000 | #Constraints: 25416
1060.16/1062.93 c #Conflicts: 420000 | #Constraints: 26416
1060.16/1062.93 c INPROCESSING
1060.16/1062.93 c GARBAGE COLLECT
1060.16/1062.93 c #Conflicts: 421000 | #Constraints: 14644
1060.16/1062.93 c #Conflicts: 422000 | #Constraints: 15644
1060.16/1062.93 c #Conflicts: 423000 | #Constraints: 16644
1060.16/1062.93 c #Conflicts: 424000 | #Constraints: 17644
1060.16/1062.93 c #Conflicts: 425000 | #Constraints: 18644
1060.16/1062.93 c #Conflicts: 426000 | #Constraints: 19644
1060.16/1062.93 c #Conflicts: 427000 | #Constraints: 20644
1060.16/1062.93 c #Conflicts: 428000 | #Constraints: 21644
1060.16/1062.93 c #Conflicts: 429000 | #Constraints: 22644
1060.16/1062.93 c #Conflicts: 430000 | #Constraints: 23644
1060.16/1062.93 c #Conflicts: 431000 | #Constraints: 24644
1060.16/1062.93 c #Conflicts: 432000 | #Constraints: 25644
1060.16/1062.93 c #Conflicts: 433000 | #Constraints: 26644
1060.16/1062.93 c INPROCESSING
1060.16/1062.93 c GARBAGE COLLECT
1060.16/1062.93 c #Conflicts: 434000 | #Constraints: 14669
1060.16/1062.93 c #Conflicts: 435000 | #Constraints: 15669
1060.16/1062.93 c #Conflicts: 436000 | #Constraints: 16669
1060.16/1062.93 c #Conflicts: 437000 | #Constraints: 17669
1596.59/1600.89 c #Conflicts: 438000 | #Constraints: 18669
1596.59/1600.89 c #Conflicts: 439000 | #Constraints: 19669
1596.59/1600.89 c #Conflicts: 440000 | #Constraints: 20669
1596.59/1600.89 c #Conflicts: 441000 | #Constraints: 21669
1596.59/1600.89 c #Conflicts: 442000 | #Constraints: 22669
1596.59/1600.89 c #Conflicts: 443000 | #Constraints: 23669
1596.59/1600.89 c #Conflicts: 444000 | #Constraints: 24669
1596.59/1600.89 c #Conflicts: 445000 | #Constraints: 25669
1596.59/1600.89 c #Conflicts: 446000 | #Constraints: 26669
1596.59/1600.89 c INPROCESSING
1596.59/1600.89 c GARBAGE COLLECT
1596.59/1600.89 c #Conflicts: 447000 | #Constraints: 14455
1596.59/1600.89 c #Conflicts: 448000 | #Constraints: 15455
1596.59/1600.89 c #Conflicts: 449000 | #Constraints: 16455
1596.59/1600.89 c #Conflicts: 450000 | #Constraints: 17455
1596.59/1600.89 c #Conflicts: 451000 | #Constraints: 18455
1596.59/1600.89 c #Conflicts: 452000 | #Constraints: 19455
1596.59/1600.89 c #Conflicts: 453000 | #Constraints: 20455
1596.59/1600.89 c #Conflicts: 454000 | #Constraints: 21455
1596.59/1600.89 c #Conflicts: 455000 | #Constraints: 22455
1596.59/1600.89 c #Conflicts: 456000 | #Constraints: 23455
1596.59/1600.89 c #Conflicts: 457000 | #Constraints: 24455
1596.59/1600.89 c #Conflicts: 458000 | #Constraints: 25455
1596.59/1600.89 c #Conflicts: 459000 | #Constraints: 26455
1596.59/1600.89 c #Conflicts: 460000 | #Constraints: 27455
1596.59/1600.89 c INPROCESSING
1596.59/1600.89 c GARBAGE COLLECT
1596.59/1600.89 c #Conflicts: 461000 | #Constraints: 15043
1596.59/1600.89 c #Conflicts: 462000 | #Constraints: 16043
1596.59/1600.89 c #Conflicts: 463000 | #Constraints: 17043
1596.59/1600.89 c #Conflicts: 464000 | #Constraints: 18043
1596.59/1600.89 c #Conflicts: 465000 | #Constraints: 19043
1596.59/1600.89 c #Conflicts: 466000 | #Constraints: 20043
1596.59/1600.89 c #Conflicts: 467000 | #Constraints: 21043
1596.59/1600.89 c #Conflicts: 468000 | #Constraints: 22043
1596.59/1600.89 c #Conflicts: 469000 | #Constraints: 23043
1596.59/1600.89 c #Conflicts: 470000 | #Constraints: 24043
1596.59/1600.89 c #Conflicts: 471000 | #Constraints: 25043
1596.59/1600.89 c #Conflicts: 472000 | #Constraints: 26043
1596.59/1600.89 c #Conflicts: 473000 | #Constraints: 27043
1596.59/1600.89 c #Conflicts: 474000 | #Constraints: 28043
1596.59/1600.89 c INPROCESSING
1596.59/1600.89 c GARBAGE COLLECT
1596.59/1600.89 c #Conflicts: 475000 | #Constraints: 15463
1596.59/1600.89 c #Conflicts: 476000 | #Constraints: 16463
1596.59/1600.89 c #Conflicts: 477000 | #Constraints: 17463
1596.59/1600.89 c #Conflicts: 478000 | #Constraints: 18463
1596.59/1600.89 c #Conflicts: 479000 | #Constraints: 19463
1596.59/1600.89 c #Conflicts: 480000 | #Constraints: 20463
1596.59/1600.89 c #Conflicts: 481000 | #Constraints: 21463
1596.59/1600.89 c #Conflicts: 482000 | #Constraints: 22463
1596.59/1600.89 c #Conflicts: 483000 | #Constraints: 23463
1596.59/1600.89 c #Conflicts: 484000 | #Constraints: 24463
1596.59/1600.89 c #Conflicts: 485000 | #Constraints: 25463
1596.59/1600.89 c #Conflicts: 486000 | #Constraints: 26463
1596.59/1600.89 c #Conflicts: 487000 | #Constraints: 27463
1596.59/1600.89 c #Conflicts: 488000 | #Constraints: 28463
1596.59/1600.89 c INPROCESSING
1596.59/1600.89 c GARBAGE COLLECT
1596.59/1600.89 c #Conflicts: 489000 | #Constraints: 15665
1596.59/1600.89 c #Conflicts: 490000 | #Constraints: 16665
1596.59/1600.89 c #Conflicts: 491000 | #Constraints: 17665
1596.59/1600.89 c #Conflicts: 492000 | #Constraints: 18665
1596.59/1600.89 c #Conflicts: 493000 | #Constraints: 19665
1596.59/1600.89 c #Conflicts: 494000 | #Constraints: 20665
1596.59/1600.89 c #Conflicts: 495000 | #Constraints: 21665
1596.59/1600.89 c #Conflicts: 496000 | #Constraints: 22665
1596.59/1600.89 c #Conflicts: 497000 | #Constraints: 23665
1596.59/1600.89 c #Conflicts: 498000 | #Constraints: 24665
1596.59/1600.89 c #Conflicts: 499000 | #Constraints: 25665
1596.59/1600.89 c #Conflicts: 500000 | #Constraints: 26665
1596.59/1600.89 c #Conflicts: 501000 | #Constraints: 27665
1596.59/1600.89 c #Conflicts: 502000 | #Constraints: 28665
1596.59/1600.89 c INPROCESSING
1596.59/1600.89 c GARBAGE COLLECT
1596.59/1600.89 c #Conflicts: 503000 | #Constraints: 15697
1596.59/1600.89 c #Conflicts: 504000 | #Constraints: 16697
1596.59/1600.89 c #Conflicts: 505000 | #Constraints: 17697
1596.59/1600.89 c #Conflicts: 506000 | #Constraints: 18697
1596.59/1600.89 c #Conflicts: 507000 | #Constraints: 19697
1596.59/1600.89 c #Conflicts: 508000 | #Constraints: 20697
1596.59/1600.89 c #Conflicts: 509000 | #Constraints: 21697
1596.59/1600.89 c #Conflicts: 510000 | #Constraints: 22697
1596.59/1600.89 c #Conflicts: 511000 | #Constraints: 23697
1596.59/1600.89 c #Conflicts: 512000 | #Constraints: 24697
1596.59/1600.89 c #Conflicts: 513000 | #Constraints: 25697
1744.68/1749.39 c #Conflicts: 514000 | #Constraints: 26697
1744.68/1749.39 c #Conflicts: 515000 | #Constraints: 27697
1744.68/1749.39 c #Conflicts: 516000 | #Constraints: 28697
1744.68/1749.39 c INPROCESSING
1744.68/1749.39 c GARBAGE COLLECT
1744.68/1749.39 c #Conflicts: 517000 | #Constraints: 15447
1744.68/1749.39 c #Conflicts: 518000 | #Constraints: 16447
1744.68/1749.39 c #Conflicts: 519000 | #Constraints: 17447
1744.68/1749.39 c #Conflicts: 520000 | #Constraints: 18447
1744.68/1749.39 c #Conflicts: 521000 | #Constraints: 19447
1744.68/1749.39 c #Conflicts: 522000 | #Constraints: 20447
1744.68/1749.39 c #Conflicts: 523000 | #Constraints: 21447
1744.68/1749.39 c #Conflicts: 524000 | #Constraints: 22447
1744.68/1749.39 c #Conflicts: 525000 | #Constraints: 23447
1744.68/1749.39 c #Conflicts: 526000 | #Constraints: 24447
1744.68/1749.39 c #Conflicts: 527000 | #Constraints: 25447
1744.68/1749.39 c #Conflicts: 528000 | #Constraints: 26447
1744.68/1749.39 c #Conflicts: 529000 | #Constraints: 27447
1744.68/1749.39 c #Conflicts: 530000 | #Constraints: 28447
1744.68/1749.39 c #Conflicts: 531000 | #Constraints: 29447
1744.68/1749.39 c INPROCESSING
1744.68/1749.39 c GARBAGE COLLECT
1744.68/1749.39 c #Conflicts: 532000 | #Constraints: 16034
1744.68/1749.39 c #Conflicts: 533000 | #Constraints: 17034
1744.68/1749.39 c #Conflicts: 534000 | #Constraints: 18034
1744.68/1749.39 c #Conflicts: 535000 | #Constraints: 19034
1744.68/1749.39 c #Conflicts: 536000 | #Constraints: 20034
1744.68/1749.39 c #Conflicts: 537000 | #Constraints: 21034
1744.68/1749.39 c #Conflicts: 538000 | #Constraints: 22034
1744.68/1749.39 c #Conflicts: 539000 | #Constraints: 23034
1744.68/1749.39 c #Conflicts: 540000 | #Constraints: 24034
1744.68/1749.39 c #Conflicts: 541000 | #Constraints: 25034
1744.68/1749.39 c #Conflicts: 542000 | #Constraints: 26034
1744.68/1749.39 c #Conflicts: 543000 | #Constraints: 27034
1744.68/1749.39 c #Conflicts: 544000 | #Constraints: 28034
1744.68/1749.39 c #Conflicts: 545000 | #Constraints: 29034
1744.68/1749.39 c #Conflicts: 546000 | #Constraints: 30034
1744.68/1749.39 c INPROCESSING
1744.68/1749.39 c GARBAGE COLLECT
1744.68/1749.39 c #Conflicts: 547000 | #Constraints: 16432
1744.68/1749.39 c #Conflicts: 548000 | #Constraints: 17432
1744.68/1749.39 c #Conflicts: 549000 | #Constraints: 18432
1744.68/1749.39 c #Conflicts: 550000 | #Constraints: 19432
1744.68/1749.39 c #Conflicts: 551000 | #Constraints: 20432
1744.68/1749.39 c #Conflicts: 552000 | #Constraints: 21432
1744.68/1749.39 c #Conflicts: 553000 | #Constraints: 22432
1744.68/1749.39 c #Conflicts: 554000 | #Constraints: 23432
1744.68/1749.39 c #Conflicts: 555000 | #Constraints: 24432
1744.68/1749.39 c #Conflicts: 556000 | #Constraints: 25432
1744.68/1749.39 c #Conflicts: 557000 | #Constraints: 26432
1744.68/1749.39 c #Conflicts: 558000 | #Constraints: 27432
1744.68/1749.39 c #Conflicts: 559000 | #Constraints: 28432
1744.68/1749.39 c #Conflicts: 560000 | #Constraints: 29432
1744.68/1749.39 c #Conflicts: 561000 | #Constraints: 30432
1744.68/1749.39 c INPROCESSING
1744.68/1749.39 c GARBAGE COLLECT
1744.68/1749.39 c #Conflicts: 562000 | #Constraints: 16623
1744.68/1749.39 c #Conflicts: 563000 | #Constraints: 17623
1744.68/1749.39 c #Conflicts: 564000 | #Constraints: 18623
1744.68/1749.39 c #Conflicts: 565000 | #Constraints: 19623
1744.68/1749.39 c #Conflicts: 566000 | #Constraints: 20623
1744.68/1749.39 c #Conflicts: 567000 | #Constraints: 21623
1744.68/1749.39 c #Conflicts: 568000 | #Constraints: 22623
1744.68/1749.39 c #Conflicts: 569000 | #Constraints: 23623
1744.68/1749.39 c #Conflicts: 570000 | #Constraints: 24623
1744.68/1749.39 c #Conflicts: 571000 | #Constraints: 25623
1744.68/1749.39 c #Conflicts: 572000 | #Constraints: 26623
1744.68/1749.39 c #Conflicts: 573000 | #Constraints: 27623
1744.68/1749.39 c #Conflicts: 574000 | #Constraints: 28623
1744.68/1749.39 c #Conflicts: 575000 | #Constraints: 29623
1744.68/1749.39 c #Conflicts: 576000 | #Constraints: 30623
1744.68/1749.39 c INPROCESSING
1744.68/1749.39 c GARBAGE COLLECT
1744.68/1749.39 c #Conflicts: 577000 | #Constraints: 16652
1744.68/1749.39 c #Conflicts: 578000 | #Constraints: 17652
1744.68/1749.39 c #Conflicts: 579000 | #Constraints: 18652
1744.68/1749.39 c #Conflicts: 580000 | #Constraints: 19652
1744.68/1749.39 c #Conflicts: 581000 | #Constraints: 20652
1744.68/1749.39 c #Conflicts: 582000 | #Constraints: 21652
1744.68/1749.39 c #Conflicts: 583000 | #Constraints: 22652
1744.68/1749.39 c #Conflicts: 584000 | #Constraints: 23652
1744.68/1749.39 c #Conflicts: 585000 | #Constraints: 24652
1744.68/1749.39 c #Conflicts: 586000 | #Constraints: 25652
1744.68/1749.39 c #Conflicts: 587000 | #Constraints: 26652
1744.68/1749.39 c #Conflicts: 588000 | #Constraints: 27652
1876.23/1881.25 c #Conflicts: 589000 | #Constraints: 28652
1876.23/1881.25 c #Conflicts: 590000 | #Constraints: 29652
1876.23/1881.25 c #Conflicts: 591000 | #Constraints: 30652
1876.23/1881.25 c INPROCESSING
1876.23/1881.25 c GARBAGE COLLECT
1876.23/1881.25 c #Conflicts: 592000 | #Constraints: 16435
1876.23/1881.25 c #Conflicts: 593000 | #Constraints: 17435
1876.23/1881.25 c #Conflicts: 594000 | #Constraints: 18435
1876.23/1881.25 c #Conflicts: 595000 | #Constraints: 19435
1876.23/1881.25 c #Conflicts: 596000 | #Constraints: 20435
1876.23/1881.25 c #Conflicts: 597000 | #Constraints: 21435
1876.23/1881.25 c #Conflicts: 598000 | #Constraints: 22435
1876.23/1881.25 c #Conflicts: 599000 | #Constraints: 23435
1876.23/1881.25 c #Conflicts: 600000 | #Constraints: 24435
1876.23/1881.25 c #Conflicts: 601000 | #Constraints: 25435
1876.23/1881.25 c #Conflicts: 602000 | #Constraints: 26435
1876.23/1881.25 c #Conflicts: 603000 | #Constraints: 27435
1876.23/1881.25 c #Conflicts: 604000 | #Constraints: 28435
1876.23/1881.25 c #Conflicts: 605000 | #Constraints: 29435
1876.23/1881.25 c #Conflicts: 606000 | #Constraints: 30435
1876.23/1881.25 c #Conflicts: 607000 | #Constraints: 31435
1876.23/1881.25 c INPROCESSING
1876.23/1881.25 c GARBAGE COLLECT
1876.23/1881.25 c #Conflicts: 608000 | #Constraints: 17050
1876.23/1881.25 c #Conflicts: 609000 | #Constraints: 18050
1876.23/1881.25 c #Conflicts: 610000 | #Constraints: 19050
1876.23/1881.25 c #Conflicts: 611000 | #Constraints: 20050
1876.23/1881.25 c #Conflicts: 612000 | #Constraints: 21050
1876.23/1881.25 c #Conflicts: 613000 | #Constraints: 22050
1876.23/1881.25 c #Conflicts: 614000 | #Constraints: 23050
1876.23/1881.25 c #Conflicts: 615000 | #Constraints: 24050
1876.23/1881.25 c #Conflicts: 616000 | #Constraints: 25050
1876.23/1881.25 c #Conflicts: 617000 | #Constraints: 26050
1876.23/1881.25 c #Conflicts: 618000 | #Constraints: 27050
1876.23/1881.25 c #Conflicts: 619000 | #Constraints: 28050
1876.23/1881.25 c #Conflicts: 620000 | #Constraints: 29050
1876.23/1881.25 c #Conflicts: 621000 | #Constraints: 30050
1876.23/1881.25 c #Conflicts: 622000 | #Constraints: 31050
1876.23/1881.25 c #Conflicts: 623000 | #Constraints: 32050
1876.23/1881.25 c INPROCESSING
1876.23/1881.25 c GARBAGE COLLECT
1876.23/1881.25 c #Conflicts: 624000 | #Constraints: 17425
1876.23/1881.25 c #Conflicts: 625000 | #Constraints: 18425
1876.23/1881.25 c #Conflicts: 626000 | #Constraints: 19425
1876.23/1881.25 c #Conflicts: 627000 | #Constraints: 20425
1876.23/1881.25 c #Conflicts: 628000 | #Constraints: 21425
1876.23/1881.25 c #Conflicts: 629000 | #Constraints: 22425
1876.23/1881.25 c #Conflicts: 630000 | #Constraints: 23425
1876.23/1881.25 c #Conflicts: 631000 | #Constraints: 24425
1876.23/1881.25 c #Conflicts: 632000 | #Constraints: 25425
1876.23/1881.25 c #Conflicts: 633000 | #Constraints: 26425
1876.23/1881.25 c #Conflicts: 634000 | #Constraints: 27425
1876.23/1881.25 c #Conflicts: 635000 | #Constraints: 28425
1876.23/1881.25 c #Conflicts: 636000 | #Constraints: 29425
1876.23/1881.25 c #Conflicts: 637000 | #Constraints: 30425
1876.23/1881.25 c #Conflicts: 638000 | #Constraints: 31425
1876.23/1881.25 c #Conflicts: 639000 | #Constraints: 32425
1876.23/1881.25 c INPROCESSING
1876.23/1881.25 c GARBAGE COLLECT
1876.23/1881.25 c #Conflicts: 640000 | #Constraints: 17612
1876.23/1881.25 c #Conflicts: 641000 | #Constraints: 18612
1876.23/1881.25 c #Conflicts: 642000 | #Constraints: 19612
1876.23/1881.25 c #Conflicts: 643000 | #Constraints: 20612
1876.23/1881.25 c #Conflicts: 644000 | #Constraints: 21612
1876.23/1881.25 c #Conflicts: 645000 | #Constraints: 22612
1876.23/1881.25 c #Conflicts: 646000 | #Constraints: 23612
1876.23/1881.25 c #Conflicts: 647000 | #Constraints: 24612
1876.23/1881.25 c #Conflicts: 648000 | #Constraints: 25612
1876.23/1881.25 c #Conflicts: 649000 | #Constraints: 26612
1876.23/1881.25 c #Conflicts: 650000 | #Constraints: 27612
1876.23/1881.25 c #Conflicts: 651000 | #Constraints: 28612
1876.23/1881.25 c #Conflicts: 652000 | #Constraints: 29612
1876.23/1881.25 c #Conflicts: 653000 | #Constraints: 30612
1876.23/1881.25 c #Conflicts: 654000 | #Constraints: 31612
1876.23/1881.25 c #Conflicts: 655000 | #Constraints: 32612
1876.23/1881.25 c INPROCESSING
1876.23/1881.25 c GARBAGE COLLECT
1876.23/1881.25 c #Conflicts: 656000 | #Constraints: 17617
1876.23/1881.25 c #Conflicts: 657000 | #Constraints: 18617
1876.23/1881.25 c #Conflicts: 658000 | #Constraints: 19617
1876.23/1881.25 c #Conflicts: 659000 | #Constraints: 20617
1876.23/1881.25 c #Conflicts: 660000 | #Constraints: 21617
1876.23/1881.25 c #Conflicts: 661000 | #Constraints: 22617
1876.23/1881.25 c #Conflicts: 662000 | #Constraints: 23617
1876.23/1881.25 c #Conflicts: 663000 | #Constraints: 24617
1876.23/1881.25 c #Conflicts: 664000 | #Constraints: 25617
2174.03/2179.81 c #Conflicts: 665000 | #Constraints: 26617
2174.03/2179.81 c #Conflicts: 666000 | #Constraints: 27617
2174.03/2179.81 c #Conflicts: 667000 | #Constraints: 28617
2174.03/2179.81 c #Conflicts: 668000 | #Constraints: 29617
2174.03/2179.81 c #Conflicts: 669000 | #Constraints: 30617
2174.03/2179.81 c #Conflicts: 670000 | #Constraints: 31617
2174.03/2179.81 c #Conflicts: 671000 | #Constraints: 32617
2174.03/2179.81 c INPROCESSING
2174.03/2179.81 c GARBAGE COLLECT
2174.03/2179.81 c #Conflicts: 672000 | #Constraints: 17408
2174.03/2179.81 c #Conflicts: 673000 | #Constraints: 18408
2174.03/2179.81 c #Conflicts: 674000 | #Constraints: 19408
2174.03/2179.81 c #Conflicts: 675000 | #Constraints: 20408
2174.03/2179.81 c #Conflicts: 676000 | #Constraints: 21408
2174.03/2179.81 c #Conflicts: 677000 | #Constraints: 22408
2174.03/2179.81 c #Conflicts: 678000 | #Constraints: 23408
2174.03/2179.81 c #Conflicts: 679000 | #Constraints: 24408
2174.03/2179.81 c #Conflicts: 680000 | #Constraints: 25408
2174.03/2179.81 c #Conflicts: 681000 | #Constraints: 26408
2174.03/2179.81 c #Conflicts: 682000 | #Constraints: 27408
2174.03/2179.81 c #Conflicts: 683000 | #Constraints: 28408
2174.03/2179.81 c #Conflicts: 684000 | #Constraints: 29408
2174.03/2179.81 c #Conflicts: 685000 | #Constraints: 30408
2174.03/2179.81 c #Conflicts: 686000 | #Constraints: 31408
2174.03/2179.81 c #Conflicts: 687000 | #Constraints: 32408
2174.03/2179.81 c #Conflicts: 688000 | #Constraints: 33408
2174.03/2179.81 c INPROCESSING
2174.03/2179.81 c GARBAGE COLLECT
2174.03/2179.81 c #Conflicts: 689000 | #Constraints: 18009
2174.03/2179.81 c #Conflicts: 690000 | #Constraints: 19009
2174.03/2179.81 c #Conflicts: 691000 | #Constraints: 20009
2174.03/2179.81 c #Conflicts: 692000 | #Constraints: 21009
2174.03/2179.81 c #Conflicts: 693000 | #Constraints: 22009
2174.03/2179.81 c #Conflicts: 694000 | #Constraints: 23009
2174.03/2179.81 c #Conflicts: 695000 | #Constraints: 24009
2174.03/2179.81 c #Conflicts: 696000 | #Constraints: 25009
2174.03/2179.81 c #Conflicts: 697000 | #Constraints: 26009
2174.03/2179.81 c #Conflicts: 698000 | #Constraints: 27009
2174.03/2179.81 c #Conflicts: 699000 | #Constraints: 28009
2174.03/2179.81 c #Conflicts: 700000 | #Constraints: 29009
2174.03/2179.81 c #Conflicts: 701000 | #Constraints: 30009
2174.03/2179.81 c #Conflicts: 702000 | #Constraints: 31009
2174.03/2179.81 c #Conflicts: 703000 | #Constraints: 32009
2174.03/2179.81 c #Conflicts: 704000 | #Constraints: 33009
2174.03/2179.81 c #Conflicts: 705000 | #Constraints: 34009
2174.03/2179.81 c INPROCESSING
2174.03/2179.81 c GARBAGE COLLECT
2174.03/2179.81 c #Conflicts: 706000 | #Constraints: 18410
2174.03/2179.81 c #Conflicts: 707000 | #Constraints: 19410
2174.03/2179.81 c #Conflicts: 708000 | #Constraints: 20410
2174.03/2179.81 c #Conflicts: 709000 | #Constraints: 21410
2174.03/2179.81 c #Conflicts: 710000 | #Constraints: 22410
2174.03/2179.81 c #Conflicts: 711000 | #Constraints: 23410
2174.03/2179.81 c #Conflicts: 712000 | #Constraints: 24410
2174.03/2179.81 c #Conflicts: 713000 | #Constraints: 25410
2174.03/2179.81 c #Conflicts: 714000 | #Constraints: 26410
2174.03/2179.81 c #Conflicts: 715000 | #Constraints: 27410
2174.03/2179.81 c #Conflicts: 716000 | #Constraints: 28410
2174.03/2179.81 c #Conflicts: 717000 | #Constraints: 29410
2174.03/2179.81 c #Conflicts: 718000 | #Constraints: 30410
2174.03/2179.81 c #Conflicts: 719000 | #Constraints: 31410
2174.03/2179.81 c #Conflicts: 720000 | #Constraints: 32410
2174.03/2179.81 c #Conflicts: 721000 | #Constraints: 33410
2174.03/2179.81 c #Conflicts: 722000 | #Constraints: 34410
2174.03/2179.81 c INPROCESSING
2174.03/2179.81 c GARBAGE COLLECT
2174.03/2179.81 c #Conflicts: 723000 | #Constraints: 18636
2174.03/2179.81 c #Conflicts: 724000 | #Constraints: 19636
2174.03/2179.81 c #Conflicts: 725000 | #Constraints: 20636
2174.03/2179.81 c #Conflicts: 726000 | #Constraints: 21636
2174.03/2179.81 c #Conflicts: 727000 | #Constraints: 22636
2174.03/2179.81 c #Conflicts: 728000 | #Constraints: 23636
2174.03/2179.81 c #Conflicts: 729000 | #Constraints: 24636
2174.03/2179.81 c #Conflicts: 730000 | #Constraints: 25636
2174.03/2179.81 c #Conflicts: 731000 | #Constraints: 26636
2174.03/2179.81 c #Conflicts: 732000 | #Constraints: 27636
2174.03/2179.81 c #Conflicts: 733000 | #Constraints: 28636
2174.03/2179.81 c #Conflicts: 734000 | #Constraints: 29636
2174.03/2179.81 c #Conflicts: 735000 | #Constraints: 30636
2174.03/2179.81 c #Conflicts: 736000 | #Constraints: 31636
2174.03/2179.81 c #Conflicts: 737000 | #Constraints: 32636
2174.03/2179.81 c #Conflicts: 738000 | #Constraints: 33636
2174.03/2179.81 c #Conflicts: 739000 | #Constraints: 34636
2174.03/2179.81 c INPROCESSING
2174.03/2179.81 c GARBAGE COLLECT
2327.45/2333.62 c #Conflicts: 740000 | #Constraints: 18635
2327.45/2333.62 c #Conflicts: 741000 | #Constraints: 19635
2327.45/2333.62 c #Conflicts: 742000 | #Constraints: 20635
2327.45/2333.62 c #Conflicts: 743000 | #Constraints: 21635
2327.45/2333.62 c #Conflicts: 744000 | #Constraints: 22635
2327.45/2333.62 c #Conflicts: 745000 | #Constraints: 23635
2327.45/2333.62 c #Conflicts: 746000 | #Constraints: 24635
2327.45/2333.62 c #Conflicts: 747000 | #Constraints: 25635
2327.45/2333.62 c #Conflicts: 748000 | #Constraints: 26635
2327.45/2333.62 c #Conflicts: 749000 | #Constraints: 27635
2327.45/2333.62 c #Conflicts: 750000 | #Constraints: 28635
2327.45/2333.62 c #Conflicts: 751000 | #Constraints: 29635
2327.45/2333.62 c #Conflicts: 752000 | #Constraints: 30635
2327.45/2333.62 c #Conflicts: 753000 | #Constraints: 31635
2327.45/2333.62 c #Conflicts: 754000 | #Constraints: 32635
2327.45/2333.62 c #Conflicts: 755000 | #Constraints: 33635
2327.45/2333.62 c #Conflicts: 756000 | #Constraints: 34635
2327.45/2333.62 c INPROCESSING
2327.45/2333.62 c GARBAGE COLLECT
2327.45/2333.62 c #Conflicts: 757000 | #Constraints: 18423
2327.45/2333.62 c #Conflicts: 758000 | #Constraints: 19423
2327.45/2333.62 c #Conflicts: 759000 | #Constraints: 20423
2327.45/2333.62 c #Conflicts: 760000 | #Constraints: 21423
2327.45/2333.62 c #Conflicts: 761000 | #Constraints: 22423
2327.45/2333.62 c #Conflicts: 762000 | #Constraints: 23423
2327.45/2333.62 c #Conflicts: 763000 | #Constraints: 24423
2327.45/2333.62 c #Conflicts: 764000 | #Constraints: 25423
2327.45/2333.62 c #Conflicts: 765000 | #Constraints: 26423
2327.45/2333.62 c #Conflicts: 766000 | #Constraints: 27423
2327.45/2333.62 c #Conflicts: 767000 | #Constraints: 28423
2327.45/2333.62 c #Conflicts: 768000 | #Constraints: 29423
2327.45/2333.62 c #Conflicts: 769000 | #Constraints: 30423
2327.45/2333.62 c #Conflicts: 770000 | #Constraints: 31423
2327.45/2333.62 c #Conflicts: 771000 | #Constraints: 32423
2327.45/2333.62 c #Conflicts: 772000 | #Constraints: 33423
2327.45/2333.62 c #Conflicts: 773000 | #Constraints: 34423
2327.45/2333.62 c #Conflicts: 774000 | #Constraints: 35423
2327.45/2333.62 c INPROCESSING
2327.45/2333.62 c GARBAGE COLLECT
2327.45/2333.62 c #Conflicts: 775000 | #Constraints: 19029
2327.45/2333.62 c #Conflicts: 776000 | #Constraints: 20029
2327.45/2333.62 c #Conflicts: 777000 | #Constraints: 21029
2327.45/2333.62 c #Conflicts: 778000 | #Constraints: 22029
2327.45/2333.62 c #Conflicts: 779000 | #Constraints: 23029
2327.45/2333.62 c #Conflicts: 780000 | #Constraints: 24029
2327.45/2333.62 c #Conflicts: 781000 | #Constraints: 25029
2327.45/2333.62 c #Conflicts: 782000 | #Constraints: 26029
2327.45/2333.62 c #Conflicts: 783000 | #Constraints: 27029
2327.45/2333.62 c #Conflicts: 784000 | #Constraints: 28029
2327.45/2333.62 c #Conflicts: 785000 | #Constraints: 29029
2327.45/2333.62 c #Conflicts: 786000 | #Constraints: 30029
2327.45/2333.62 c #Conflicts: 787000 | #Constraints: 31029
2327.45/2333.62 c #Conflicts: 788000 | #Constraints: 32029
2327.45/2333.62 c #Conflicts: 789000 | #Constraints: 33029
2327.45/2333.62 c #Conflicts: 790000 | #Constraints: 34029
2327.45/2333.62 c #Conflicts: 791000 | #Constraints: 35029
2327.45/2333.62 c #Conflicts: 792000 | #Constraints: 36029
2327.45/2333.62 c INPROCESSING
2327.45/2333.62 c GARBAGE COLLECT
2327.45/2333.62 c #Conflicts: 793000 | #Constraints: 19422
2327.45/2333.62 c #Conflicts: 794000 | #Constraints: 20422
2327.45/2333.62 c #Conflicts: 795000 | #Constraints: 21422
2327.45/2333.62 c #Conflicts: 796000 | #Constraints: 22422
2327.45/2333.62 c #Conflicts: 797000 | #Constraints: 23422
2327.45/2333.62 c #Conflicts: 798000 | #Constraints: 24422
2327.45/2333.62 c #Conflicts: 799000 | #Constraints: 25422
2327.45/2333.62 c #Conflicts: 800000 | #Constraints: 26422
2327.45/2333.62 c #Conflicts: 801000 | #Constraints: 27422
2327.45/2333.62 c #Conflicts: 802000 | #Constraints: 28422
2327.45/2333.62 c #Conflicts: 803000 | #Constraints: 29422
2327.45/2333.62 c #Conflicts: 804000 | #Constraints: 30422
2327.45/2333.62 c #Conflicts: 805000 | #Constraints: 31422
2327.45/2333.62 c #Conflicts: 806000 | #Constraints: 32422
2327.45/2333.62 c #Conflicts: 807000 | #Constraints: 33422
2327.45/2333.62 c #Conflicts: 808000 | #Constraints: 34422
2327.45/2333.62 c #Conflicts: 809000 | #Constraints: 35422
2327.45/2333.62 c #Conflicts: 810000 | #Constraints: 36422
2327.45/2333.62 c INPROCESSING
2327.45/2333.62 c GARBAGE COLLECT
2327.45/2333.62 c #Conflicts: 811000 | #Constraints: 19620
2327.45/2333.62 c #Conflicts: 812000 | #Constraints: 20620
2327.45/2333.62 c #Conflicts: 813000 | #Constraints: 21620
2327.45/2333.62 c #Conflicts: 814000 | #Constraints: 22620
2327.45/2333.62 c #Conflicts: 815000 | #Constraints: 23620
2327.45/2333.62 c #Conflicts: 816000 | #Constraints: 24620
2482.99/2489.53 c #Conflicts: 817000 | #Constraints: 25620
2482.99/2489.53 c #Conflicts: 818000 | #Constraints: 26620
2482.99/2489.53 c #Conflicts: 819000 | #Constraints: 27620
2482.99/2489.53 c #Conflicts: 820000 | #Constraints: 28620
2482.99/2489.53 c #Conflicts: 821000 | #Constraints: 29620
2482.99/2489.53 c #Conflicts: 822000 | #Constraints: 30620
2482.99/2489.53 c #Conflicts: 823000 | #Constraints: 31620
2482.99/2489.53 c #Conflicts: 824000 | #Constraints: 32620
2482.99/2489.53 c #Conflicts: 825000 | #Constraints: 33620
2482.99/2489.53 c #Conflicts: 826000 | #Constraints: 34620
2482.99/2489.53 c #Conflicts: 827000 | #Constraints: 35620
2482.99/2489.53 c #Conflicts: 828000 | #Constraints: 36620
2482.99/2489.53 c INPROCESSING
2482.99/2489.53 c GARBAGE COLLECT
2482.99/2489.53 c #Conflicts: 829000 | #Constraints: 19633
2482.99/2489.53 c #Conflicts: 830000 | #Constraints: 20633
2482.99/2489.53 c #Conflicts: 831000 | #Constraints: 21633
2482.99/2489.53 c #Conflicts: 832000 | #Constraints: 22633
2482.99/2489.53 c #Conflicts: 833000 | #Constraints: 23633
2482.99/2489.53 c #Conflicts: 834000 | #Constraints: 24633
2482.99/2489.53 c #Conflicts: 835000 | #Constraints: 25633
2482.99/2489.53 c #Conflicts: 836000 | #Constraints: 26633
2482.99/2489.53 c #Conflicts: 837000 | #Constraints: 27633
2482.99/2489.53 c #Conflicts: 838000 | #Constraints: 28633
2482.99/2489.53 c #Conflicts: 839000 | #Constraints: 29633
2482.99/2489.53 c #Conflicts: 840000 | #Constraints: 30633
2482.99/2489.53 c #Conflicts: 841000 | #Constraints: 31633
2482.99/2489.53 c #Conflicts: 842000 | #Constraints: 32633
2482.99/2489.53 c #Conflicts: 843000 | #Constraints: 33633
2482.99/2489.53 c #Conflicts: 844000 | #Constraints: 34633
2482.99/2489.53 c #Conflicts: 845000 | #Constraints: 35633
2482.99/2489.53 c #Conflicts: 846000 | #Constraints: 36633
2482.99/2489.53 c INPROCESSING
2482.99/2489.53 c GARBAGE COLLECT
2482.99/2489.53 c #Conflicts: 847000 | #Constraints: 19422
2482.99/2489.53 c #Conflicts: 848000 | #Constraints: 20422
2482.99/2489.53 c #Conflicts: 849000 | #Constraints: 21422
2482.99/2489.53 c #Conflicts: 850000 | #Constraints: 22422
2482.99/2489.53 c #Conflicts: 851000 | #Constraints: 23422
2482.99/2489.53 c #Conflicts: 852000 | #Constraints: 24422
2482.99/2489.53 c #Conflicts: 853000 | #Constraints: 25422
2482.99/2489.53 c #Conflicts: 854000 | #Constraints: 26422
2482.99/2489.53 c #Conflicts: 855000 | #Constraints: 27422
2482.99/2489.53 c #Conflicts: 856000 | #Constraints: 28422
2482.99/2489.53 c #Conflicts: 857000 | #Constraints: 29422
2482.99/2489.53 c #Conflicts: 858000 | #Constraints: 30422
2482.99/2489.53 c #Conflicts: 859000 | #Constraints: 31422
2482.99/2489.53 c #Conflicts: 860000 | #Constraints: 32422
2482.99/2489.53 c #Conflicts: 861000 | #Constraints: 33422
2482.99/2489.53 c #Conflicts: 862000 | #Constraints: 34422
2482.99/2489.53 c #Conflicts: 863000 | #Constraints: 35422
2482.99/2489.53 c #Conflicts: 864000 | #Constraints: 36422
2482.99/2489.53 c #Conflicts: 865000 | #Constraints: 37422
2482.99/2489.53 c INPROCESSING
2482.99/2489.53 c GARBAGE COLLECT
2482.99/2489.53 c #Conflicts: 866000 | #Constraints: 20020
2482.99/2489.53 c #Conflicts: 867000 | #Constraints: 21020
2482.99/2489.53 c #Conflicts: 868000 | #Constraints: 22020
2482.99/2489.53 c #Conflicts: 869000 | #Constraints: 23020
2482.99/2489.53 c #Conflicts: 870000 | #Constraints: 24020
2482.99/2489.53 c #Conflicts: 871000 | #Constraints: 25020
2482.99/2489.53 c #Conflicts: 872000 | #Constraints: 26020
2482.99/2489.53 c #Conflicts: 873000 | #Constraints: 27020
2482.99/2489.53 c #Conflicts: 874000 | #Constraints: 28020
2482.99/2489.53 c #Conflicts: 875000 | #Constraints: 29020
2482.99/2489.53 c #Conflicts: 876000 | #Constraints: 30020
2482.99/2489.53 c #Conflicts: 877000 | #Constraints: 31020
2482.99/2489.53 c #Conflicts: 878000 | #Constraints: 32020
2482.99/2489.53 c #Conflicts: 879000 | #Constraints: 33020
2482.99/2489.53 c #Conflicts: 880000 | #Constraints: 34020
2482.99/2489.53 c #Conflicts: 881000 | #Constraints: 35020
2482.99/2489.53 c #Conflicts: 882000 | #Constraints: 36020
2482.99/2489.53 c #Conflicts: 883000 | #Constraints: 37020
2482.99/2489.53 c #Conflicts: 884000 | #Constraints: 38020
2482.99/2489.53 c INPROCESSING
2482.99/2489.53 c GARBAGE COLLECT
2482.99/2489.53 c #Conflicts: 885000 | #Constraints: 20419
2482.99/2489.53 c #Conflicts: 886000 | #Constraints: 21419
2482.99/2489.53 c #Conflicts: 887000 | #Constraints: 22419
2482.99/2489.53 c #Conflicts: 888000 | #Constraints: 23419
2482.99/2489.53 c #Conflicts: 889000 | #Constraints: 24419
2482.99/2489.53 c #Conflicts: 890000 | #Constraints: 25419
2482.99/2489.53 c #Conflicts: 891000 | #Constraints: 26419
2482.99/2489.53 c #Conflicts: 892000 | #Constraints: 27419
2743.00/2750.19 c #Conflicts: 893000 | #Constraints: 28419
2743.00/2750.19 c #Conflicts: 894000 | #Constraints: 29419
2743.00/2750.19 c #Conflicts: 895000 | #Constraints: 30419
2743.00/2750.19 c #Conflicts: 896000 | #Constraints: 31419
2743.00/2750.19 c #Conflicts: 897000 | #Constraints: 32419
2743.00/2750.19 c #Conflicts: 898000 | #Constraints: 33419
2743.00/2750.19 c #Conflicts: 899000 | #Constraints: 34419
2743.00/2750.19 c #Conflicts: 900000 | #Constraints: 35419
2743.00/2750.19 c #Conflicts: 901000 | #Constraints: 36419
2743.00/2750.19 c #Conflicts: 902000 | #Constraints: 37419
2743.00/2750.19 c #Conflicts: 903000 | #Constraints: 38419
2743.00/2750.19 c INPROCESSING
2743.00/2750.19 c GARBAGE COLLECT
2743.00/2750.19 c #Conflicts: 904000 | #Constraints: 20611
2743.00/2750.19 c #Conflicts: 905000 | #Constraints: 21611
2743.00/2750.19 c #Conflicts: 906000 | #Constraints: 22611
2743.00/2750.19 c #Conflicts: 907000 | #Constraints: 23611
2743.00/2750.19 c #Conflicts: 908000 | #Constraints: 24611
2743.00/2750.19 c #Conflicts: 909000 | #Constraints: 25611
2743.00/2750.19 c #Conflicts: 910000 | #Constraints: 26611
2743.00/2750.19 c #Conflicts: 911000 | #Constraints: 27611
2743.00/2750.19 c #Conflicts: 912000 | #Constraints: 28611
2743.00/2750.19 c #Conflicts: 913000 | #Constraints: 29611
2743.00/2750.19 c #Conflicts: 914000 | #Constraints: 30611
2743.00/2750.19 c #Conflicts: 915000 | #Constraints: 31611
2743.00/2750.19 c #Conflicts: 916000 | #Constraints: 32611
2743.00/2750.19 c #Conflicts: 917000 | #Constraints: 33611
2743.00/2750.19 c #Conflicts: 918000 | #Constraints: 34611
2743.00/2750.19 c #Conflicts: 919000 | #Constraints: 35611
2743.00/2750.19 c #Conflicts: 920000 | #Constraints: 36611
2743.00/2750.19 c #Conflicts: 921000 | #Constraints: 37611
2743.00/2750.19 c #Conflicts: 922000 | #Constraints: 38611
2743.00/2750.19 c INPROCESSING
2743.00/2750.19 c GARBAGE COLLECT
2743.00/2750.19 c #Conflicts: 923000 | #Constraints: 20598
2743.00/2750.19 c #Conflicts: 924000 | #Constraints: 21598
2743.00/2750.19 c #Conflicts: 925000 | #Constraints: 22598
2743.00/2750.19 c #Conflicts: 926000 | #Constraints: 23598
2743.00/2750.19 c #Conflicts: 927000 | #Constraints: 24598
2743.00/2750.19 c #Conflicts: 928000 | #Constraints: 25598
2743.00/2750.19 c #Conflicts: 929000 | #Constraints: 26598
2743.00/2750.19 c #Conflicts: 930000 | #Constraints: 27598
2743.00/2750.19 c #Conflicts: 931000 | #Constraints: 28598
2743.00/2750.19 c #Conflicts: 932000 | #Constraints: 29598
2743.00/2750.19 c #Conflicts: 933000 | #Constraints: 30598
2743.00/2750.19 c #Conflicts: 934000 | #Constraints: 31598
2743.00/2750.19 c #Conflicts: 935000 | #Constraints: 32598
2743.00/2750.19 c #Conflicts: 936000 | #Constraints: 33598
2743.00/2750.19 c #Conflicts: 937000 | #Constraints: 34598
2743.00/2750.19 c #Conflicts: 938000 | #Constraints: 35598
2743.00/2750.19 c #Conflicts: 939000 | #Constraints: 36598
2743.00/2750.19 c #Conflicts: 940000 | #Constraints: 37598
2743.00/2750.19 c #Conflicts: 941000 | #Constraints: 38598
2743.00/2750.19 c INPROCESSING
2743.00/2750.19 c GARBAGE COLLECT
2743.00/2750.19 c #Conflicts: 942000 | #Constraints: 20422
2743.00/2750.19 c #Conflicts: 943000 | #Constraints: 21422
2743.00/2750.19 c #Conflicts: 944000 | #Constraints: 22422
2743.00/2750.19 c #Conflicts: 945000 | #Constraints: 23422
2743.00/2750.19 c #Conflicts: 946000 | #Constraints: 24422
2743.00/2750.19 c #Conflicts: 947000 | #Constraints: 25422
2743.00/2750.19 c #Conflicts: 948000 | #Constraints: 26422
2743.00/2750.19 c #Conflicts: 949000 | #Constraints: 27422
2743.00/2750.19 c #Conflicts: 950000 | #Constraints: 28422
2743.00/2750.19 c #Conflicts: 951000 | #Constraints: 29422
2743.00/2750.19 c #Conflicts: 952000 | #Constraints: 30422
2743.00/2750.19 c #Conflicts: 953000 | #Constraints: 31422
2743.00/2750.19 c #Conflicts: 954000 | #Constraints: 32422
2743.00/2750.19 c #Conflicts: 955000 | #Constraints: 33422
2743.00/2750.19 c #Conflicts: 956000 | #Constraints: 34422
2743.00/2750.19 c #Conflicts: 957000 | #Constraints: 35422
2743.00/2750.19 c #Conflicts: 958000 | #Constraints: 36422
2743.00/2750.19 c #Conflicts: 959000 | #Constraints: 37422
2743.00/2750.19 c #Conflicts: 960000 | #Constraints: 38422
2743.00/2750.19 c #Conflicts: 961000 | #Constraints: 39422
2743.00/2750.19 c INPROCESSING
2743.00/2750.19 c GARBAGE COLLECT
2743.00/2750.19 c #Conflicts: 962000 | #Constraints: 21068
2743.00/2750.19 c #Conflicts: 963000 | #Constraints: 22068
2743.00/2750.19 c #Conflicts: 964000 | #Constraints: 23068
2743.00/2750.19 c #Conflicts: 965000 | #Constraints: 24068
2743.00/2750.19 c #Conflicts: 966000 | #Constraints: 25068
2743.00/2750.19 c #Conflicts: 967000 | #Constraints: 26068
2743.00/2750.19 c #Conflicts: 968000 | #Constraints: 27068
3220.99/3229.20 c #Conflicts: 969000 | #Constraints: 28068
3220.99/3229.20 c #Conflicts: 970000 | #Constraints: 29068
3220.99/3229.20 c #Conflicts: 971000 | #Constraints: 30068
3220.99/3229.20 c #Conflicts: 972000 | #Constraints: 31068
3220.99/3229.20 c #Conflicts: 973000 | #Constraints: 32068
3220.99/3229.20 c #Conflicts: 974000 | #Constraints: 33068
3220.99/3229.20 c #Conflicts: 975000 | #Constraints: 34068
3220.99/3229.20 c #Conflicts: 976000 | #Constraints: 35068
3220.99/3229.20 c #Conflicts: 977000 | #Constraints: 36068
3220.99/3229.20 c #Conflicts: 978000 | #Constraints: 37068
3220.99/3229.20 c #Conflicts: 979000 | #Constraints: 38068
3220.99/3229.20 c #Conflicts: 980000 | #Constraints: 39068
3220.99/3229.20 c #Conflicts: 981000 | #Constraints: 40068
3220.99/3229.20 c INPROCESSING
3220.99/3229.20 c GARBAGE COLLECT
3220.99/3229.20 c #Conflicts: 982000 | #Constraints: 21463
3220.99/3229.20 c #Conflicts: 983000 | #Constraints: 22463
3220.99/3229.20 c #Conflicts: 984000 | #Constraints: 23463
3220.99/3229.20 c #Conflicts: 985000 | #Constraints: 24463
3220.99/3229.20 c #Conflicts: 986000 | #Constraints: 25463
3220.99/3229.20 c #Conflicts: 987000 | #Constraints: 26463
3220.99/3229.20 c #Conflicts: 988000 | #Constraints: 27463
3220.99/3229.20 c #Conflicts: 989000 | #Constraints: 28463
3220.99/3229.20 c #Conflicts: 990000 | #Constraints: 29463
3220.99/3229.20 c #Conflicts: 991000 | #Constraints: 30463
3220.99/3229.20 c #Conflicts: 992000 | #Constraints: 31463
3220.99/3229.20 c #Conflicts: 993000 | #Constraints: 32463
3220.99/3229.20 c #Conflicts: 994000 | #Constraints: 33463
3220.99/3229.20 c #Conflicts: 995000 | #Constraints: 34463
3220.99/3229.20 c #Conflicts: 996000 | #Constraints: 35463
3220.99/3229.20 c #Conflicts: 997000 | #Constraints: 36463
3220.99/3229.20 c #Conflicts: 998000 | #Constraints: 37463
3220.99/3229.20 c #Conflicts: 999000 | #Constraints: 38463
3220.99/3229.20 c #Conflicts: 1000000 | #Constraints: 39463
3220.99/3229.20 c #Conflicts: 1001000 | #Constraints: 40463
3220.99/3229.20 c INPROCESSING
3220.99/3229.20 c GARBAGE COLLECT
3220.99/3229.20 c #Conflicts: 1002000 | #Constraints: 21656
3220.99/3229.20 c #Conflicts: 1003000 | #Constraints: 22656
3220.99/3229.20 c #Conflicts: 1004000 | #Constraints: 23656
3220.99/3229.20 c #Conflicts: 1005000 | #Constraints: 24656
3220.99/3229.20 c #Conflicts: 1006000 | #Constraints: 25656
3220.99/3229.20 c #Conflicts: 1007000 | #Constraints: 26656
3220.99/3229.20 c #Conflicts: 1008000 | #Constraints: 27656
3220.99/3229.20 c #Conflicts: 1009000 | #Constraints: 28656
3220.99/3229.20 c #Conflicts: 1010000 | #Constraints: 29656
3220.99/3229.20 c #Conflicts: 1011000 | #Constraints: 30656
3220.99/3229.20 c #Conflicts: 1012000 | #Constraints: 31656
3220.99/3229.20 c #Conflicts: 1013000 | #Constraints: 32656
3220.99/3229.20 c #Conflicts: 1014000 | #Constraints: 33656
3220.99/3229.20 c #Conflicts: 1015000 | #Constraints: 34656
3220.99/3229.20 c #Conflicts: 1016000 | #Constraints: 35656
3220.99/3229.20 c #Conflicts: 1017000 | #Constraints: 36656
3220.99/3229.20 c #Conflicts: 1018000 | #Constraints: 37656
3220.99/3229.20 c #Conflicts: 1019000 | #Constraints: 38656
3220.99/3229.20 c #Conflicts: 1020000 | #Constraints: 39656
3220.99/3229.20 c #Conflicts: 1021000 | #Constraints: 40656
3220.99/3229.20 c INPROCESSING
3220.99/3229.20 c GARBAGE COLLECT
3220.99/3229.20 c #Conflicts: 1022000 | #Constraints: 21648
3220.99/3229.20 c #Conflicts: 1023000 | #Constraints: 22648
3220.99/3229.20 c #Conflicts: 1024000 | #Constraints: 23648
3220.99/3229.20 c #Conflicts: 1025000 | #Constraints: 24648
3220.99/3229.20 c #Conflicts: 1026000 | #Constraints: 25648
3220.99/3229.20 c #Conflicts: 1027000 | #Constraints: 26648
3220.99/3229.20 c #Conflicts: 1028000 | #Constraints: 27648
3220.99/3229.20 c #Conflicts: 1029000 | #Constraints: 28648
3220.99/3229.20 c #Conflicts: 1030000 | #Constraints: 29648
3220.99/3229.20 c #Conflicts: 1031000 | #Constraints: 30648
3220.99/3229.20 c #Conflicts: 1032000 | #Constraints: 31648
3220.99/3229.20 c #Conflicts: 1033000 | #Constraints: 32648
3220.99/3229.20 c #Conflicts: 1034000 | #Constraints: 33648
3220.99/3229.20 c #Conflicts: 1035000 | #Constraints: 34648
3220.99/3229.20 c #Conflicts: 1036000 | #Constraints: 35648
3220.99/3229.20 c #Conflicts: 1037000 | #Constraints: 36648
3220.99/3229.20 c #Conflicts: 1038000 | #Constraints: 37648
3220.99/3229.20 c #Conflicts: 1039000 | #Constraints: 38648
3220.99/3229.20 c #Conflicts: 1040000 | #Constraints: 39648
3220.99/3229.20 c #Conflicts: 1041000 | #Constraints: 40648
3220.99/3229.20 c INPROCESSING
3220.99/3229.20 c GARBAGE COLLECT
3220.99/3229.20 c #Conflicts: 1042000 | #Constraints: 21463
3220.99/3229.20 c #Conflicts: 1043000 | #Constraints: 22463
3220.99/3229.20 c #Conflicts: 1044000 | #Constraints: 23463
3578.86/3587.90 c #Conflicts: 1045000 | #Constraints: 24463
3578.86/3587.90 c #Conflicts: 1046000 | #Constraints: 25463
3578.86/3587.90 c #Conflicts: 1047000 | #Constraints: 26463
3578.86/3587.90 c #Conflicts: 1048000 | #Constraints: 27463
3578.86/3587.90 c #Conflicts: 1049000 | #Constraints: 28463
3578.86/3587.90 c #Conflicts: 1050000 | #Constraints: 29463
3578.86/3587.90 c #Conflicts: 1051000 | #Constraints: 30463
3578.86/3587.90 c #Conflicts: 1052000 | #Constraints: 31463
3578.86/3587.90 c #Conflicts: 1053000 | #Constraints: 32463
3578.86/3587.90 c #Conflicts: 1054000 | #Constraints: 33463
3578.86/3587.90 c #Conflicts: 1055000 | #Constraints: 34463
3578.86/3587.90 c #Conflicts: 1056000 | #Constraints: 35463
3578.86/3587.90 c #Conflicts: 1057000 | #Constraints: 36463
3578.86/3587.90 c #Conflicts: 1058000 | #Constraints: 37463
3578.86/3587.90 c #Conflicts: 1059000 | #Constraints: 38463
3578.86/3587.90 c #Conflicts: 1060000 | #Constraints: 39463
3578.86/3587.90 c #Conflicts: 1061000 | #Constraints: 40463
3578.86/3587.90 c #Conflicts: 1062000 | #Constraints: 41463
3578.86/3587.90 c INPROCESSING
3578.86/3587.90 c GARBAGE COLLECT
3578.86/3587.90 c #Conflicts: 1063000 | #Constraints: 22080
3578.86/3587.90 c #Conflicts: 1064000 | #Constraints: 23080
3578.86/3587.90 c #Conflicts: 1065000 | #Constraints: 24080
3578.86/3587.90 c #Conflicts: 1066000 | #Constraints: 25080
3578.86/3587.90 c #Conflicts: 1067000 | #Constraints: 26080
3578.86/3587.90 c #Conflicts: 1068000 | #Constraints: 27080
3578.86/3587.90 c #Conflicts: 1069000 | #Constraints: 28080
3578.86/3587.90 c #Conflicts: 1070000 | #Constraints: 29080
3578.86/3587.90 c #Conflicts: 1071000 | #Constraints: 30080
3578.86/3587.90 c #Conflicts: 1072000 | #Constraints: 31080
3578.86/3587.90 c #Conflicts: 1073000 | #Constraints: 32080
3578.86/3587.90 c #Conflicts: 1074000 | #Constraints: 33080
3578.86/3587.90 c #Conflicts: 1075000 | #Constraints: 34080
3578.86/3587.90 c #Conflicts: 1076000 | #Constraints: 35080
3578.86/3587.90 c #Conflicts: 1077000 | #Constraints: 36080
3578.86/3587.90 c #Conflicts: 1078000 | #Constraints: 37080
3578.86/3587.90 c #Conflicts: 1079000 | #Constraints: 38080
3578.86/3587.90 c #Conflicts: 1080000 | #Constraints: 39080
3578.86/3587.90 c #Conflicts: 1081000 | #Constraints: 40080
3578.86/3587.90 c #Conflicts: 1082000 | #Constraints: 41080
3578.86/3587.90 c #Conflicts: 1083000 | #Constraints: 42080
3578.86/3587.90 c INPROCESSING
3578.86/3587.90 c GARBAGE COLLECT
3578.86/3587.90 c #Conflicts: 1084000 | #Constraints: 22476
3578.86/3587.90 c #Conflicts: 1085000 | #Constraints: 23476
3578.86/3587.90 c #Conflicts: 1086000 | #Constraints: 24476
3578.86/3587.90 c #Conflicts: 1087000 | #Constraints: 25476
3578.86/3587.90 c #Conflicts: 1088000 | #Constraints: 26476
3578.86/3587.90 c #Conflicts: 1089000 | #Constraints: 27476
3578.86/3587.90 c #Conflicts: 1090000 | #Constraints: 28476
3578.86/3587.90 c #Conflicts: 1091000 | #Constraints: 29476
3578.86/3587.90 c #Conflicts: 1092000 | #Constraints: 30476
3578.86/3587.90 c #Conflicts: 1093000 | #Constraints: 31476
3578.86/3587.90 c #Conflicts: 1094000 | #Constraints: 32476
3578.86/3587.90 c #Conflicts: 1095000 | #Constraints: 33476
3578.86/3587.90 c #Conflicts: 1096000 | #Constraints: 34476
3578.86/3587.90 c #Conflicts: 1097000 | #Constraints: 35476
3578.86/3587.90 c #Conflicts: 1098000 | #Constraints: 36476
3578.86/3587.90 c #Conflicts: 1099000 | #Constraints: 37476
3578.86/3587.90 c #Conflicts: 1100000 | #Constraints: 38476
3578.86/3587.90 c #Conflicts: 1101000 | #Constraints: 39476
3578.86/3587.90 c #Conflicts: 1102000 | #Constraints: 40476
3578.86/3587.90 c #Conflicts: 1103000 | #Constraints: 41476
3578.86/3587.90 c #Conflicts: 1104000 | #Constraints: 42476
3578.86/3587.90 c INPROCESSING
3578.86/3587.90 c GARBAGE COLLECT
3578.86/3587.90 c #Conflicts: 1105000 | #Constraints: 22678
3578.86/3587.90 c #Conflicts: 1106000 | #Constraints: 23678
3578.86/3587.90 c #Conflicts: 1107000 | #Constraints: 24678
3578.86/3587.90 c #Conflicts: 1108000 | #Constraints: 25678
3578.86/3587.90 c #Conflicts: 1109000 | #Constraints: 26678
3578.86/3587.90 c #Conflicts: 1110000 | #Constraints: 27678
3578.86/3587.90 c #Conflicts: 1111000 | #Constraints: 28678
3578.86/3587.90 c #Conflicts: 1112000 | #Constraints: 29678
3578.86/3587.90 c #Conflicts: 1113000 | #Constraints: 30678
3578.86/3587.90 c #Conflicts: 1114000 | #Constraints: 31678
3578.86/3587.90 c #Conflicts: 1115000 | #Constraints: 32678
3578.86/3587.90 c #Conflicts: 1116000 | #Constraints: 33678
3578.86/3587.90 c #Conflicts: 1117000 | #Constraints: 34678
3578.86/3587.90 c #Conflicts: 1118000 | #Constraints: 35678
3578.86/3587.90 c #Conflicts: 1119000 | #Constraints: 36678
3578.86/3587.90 c #Conflicts: 1120000 | #Constraints: 37678
3578.86/3587.90 c #Conflicts: 1121000 | #Constraints: 38678
3600.02/3609.11 c #Conflicts: 1122000 | #Constraints: 39678
3600.02/3609.11 c #Conflicts: 1123000 | #Constraints: 40678
3600.02/3609.11 c #Conflicts: 1124000 | #Constraints: 41678
3600.02/3609.11 c Program interrupted by user.
3600.02/3609.11 c cpu time 3586.62 s
3600.02/3609.11 c deterministic time 760092415498 7.60e+11
3600.02/3609.11 c optimization time 62.4729 s
3600.02/3609.11 c total solve time 3224.77 s
3600.02/3609.11 c core-guided solve time 0 s
3600.02/3609.11 c propagation time 2681.3 s
3600.02/3609.11 c conflict analysis time 532.101 s
3600.02/3609.11 c propagations 457106256
3600.02/3609.11 c resolve steps 9746908
3600.02/3609.11 c decisions 10205115
3600.02/3609.11 c conflicts 1124570
3600.02/3609.11 c restarts 2046
3600.02/3609.11 c inprocessing phases 96
3600.02/3609.11 c input clauses 97
3600.02/3609.11 c input cardinalities 97
3600.02/3609.11 c input general constraints 576
3600.02/3609.11 c input average constraint length 94.42
3600.02/3609.11 c input average constraint degree 845.01
3600.02/3609.11 c learned clauses 117920
3600.02/3609.11 c learned cardinalities 16359
3600.02/3609.11 c learned general constraints 990290
3600.02/3609.11 c learned average constraint length 857.07
3600.02/3609.11 c learned average constraint degree 71477666.72
3600.02/3609.11 c watched constraints 776691
3600.02/3609.11 c counting constraints 214175
3600.02/3609.11 c gcd simplifications 77415
3600.02/3609.11 c detected cardinalities 382
3600.02/3609.11 c weakened non-implied lits 126907497
3600.02/3609.11 c weakened non-implying lits 105982
3600.02/3609.11 c original variables 8424
3600.02/3609.11 c clausal propagations 1484698
3600.02/3609.11 c cardinality propagations 8852224
3600.02/3609.11 c watched propagations 23761872
3600.02/3609.11 c counting propagations 420922653
3600.02/3609.11 c watch lookups 26049741725
3600.02/3609.11 c watch backjump lookups 23510801782
3600.02/3609.11 c watch checks 606126299708
3600.02/3609.11 c propagation checks 99787624244
3600.02/3609.11 c constraint additions 3682205408
3600.02/3609.11 c trail pops 468431259
3600.02/3609.11 c formula constraints 770
3600.02/3609.11 c learned constraints 1124569
3600.02/3609.11 c bound constraints 0
3600.02/3609.11 c core-guided constraints 0
3600.02/3609.11 c encountered formula constraints 5547911
3600.02/3609.11 c encountered learned constraints 5323567
3600.02/3609.11 c encountered bound constraints 0
3600.02/3609.11 c encountered core-guided constraints 0
3600.02/3609.11 c LP total time 0 s
3600.02/3609.11 c LP solve time 0 s
3600.02/3609.11 c LP constraints added 0
3600.02/3609.11 c LP constraints removed 0
3600.02/3609.11 c LP pivots internal 0
3600.02/3609.11 c LP pivots root 0
3600.02/3609.11 c LP calls 0
3600.02/3609.11 c LP optimalities 0
3600.02/3609.11 c LP no pivot count 0
3600.02/3609.11 c LP infeasibilities 0
3600.02/3609.11 c LP valid Farkas constraints 0
3600.02/3609.11 c LP learned Farkas constraints 0
3600.02/3609.11 c LP basis resets 0
3600.02/3609.11 c LP cycling count 0
3600.02/3609.11 c LP singular count 0
3600.02/3609.11 c LP no primal count 0
3600.02/3609.11 c LP no farkas count 0
3600.02/3609.11 c LP other issue count 0
3600.02/3609.11 c LP Gomory cuts 0
3600.02/3609.11 c LP learned cuts 0
3600.02/3609.11 c LP deleted cuts 0
3600.02/3609.11 c LP encountered Gomory constraints 0
3600.02/3609.11 c LP encountered Farkas constraints 0
3600.02/3609.11 c LP encountered learned Farkas constraints 0
3600.02/3609.11 c CG auxiliary variables introduced 0
3600.02/3609.11 c CG solutions found 0
3600.02/3609.11 c CG cores constructed 0
3600.02/3609.11 c CG core cardinality constraints returned 0
3600.02/3609.11 c CG unit cores 0
3600.02/3609.11 c CG single cores 0
3600.02/3609.11 c CG blocks removed during cardinality reduction 0
3600.02/3609.11 c CG first core best 0
3600.02/3609.11 c CG decision core best 0
3600.02/3609.11 c CG core reduction tie 0
3600.02/3609.11 c CG core degree average 0.00
3600.02/3609.11 c CG core slack average 0.00
3600.02/3609.11 c CG exhausted 0
3600.02/3609.11 c CG exhaust time 0 s
3600.02/3609.11 c CG trimmed 0
3600.02/3609.11 c CG trim time 0 s
3600.02/3609.11 c CG minimized 0
3600.02/3609.11 c CG minimize time 0 s
3600.02/3609.11 c CG am1 prop time 0 s
3600.02/3609.11 c CG # am1s reformulated 0
3600.02/3609.11 c CG lower bound derived from am1s 0
3600.02/3609.11 c CG # clausal cores 0
3600.02/3609.11 c CG # cardinality cores 0
3600.02/3609.11 c CG # pb cores 0
3600.02/3609.11 c CG # pb reforms 0
3600.02/3609.11 c CG # cores discarded because of pb reform 0
3600.02/3609.11 d LOWERBOUND 0
3600.02/3609.11 d NCORES 0
3600.02/3609.11 d NPBCORES 0
3600.02/3609.11 d NPBREFORM 0
3600.02/3609.11 d NTRIMMED 0
3600.02/3609.11 d NEXHAUSTED 0
3600.02/3609.11 d NAM1S 0
3600.02/3609.11 d AM1LB 0
3600.02/3609.11 c [Papilo Statistics]
3600.02/3609.11 c prepro time 0.0941525s
3600.02/3609.11 c # tsx applied 18
3600.02/3609.11 c # tsx conflicts 0
3600.02/3609.11 c # bound changes 9
3600.02/3609.11 c # side changes 0
3600.02/3609.11 c # coef changes 0
3600.02/3609.11 c # rounds 2
3600.02/3609.11 c # deted vars 9
3600.02/3609.11 c # deted constrs 8416
3600.02/3609.11 c # consecutive rounds of only bound changes 0
3600.02/3609.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62466 MiB free)
memory of node 1: 64473 MiB (59693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454863-1721472128/watcher-4454863-1721472128 -o /tmp/evaluation-result-4454863-1721472128/solver-4454863-1721472128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081700 --watchdog 3760 mixed-bag HOME/instance-4454863-1721472128.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1082178, runsolver pid=1082175
[startup+0.100741 s]*
/proc/loadavg: 1.89 1.29 1.71 5/244 1082179
/proc/meminfo: memFree=125080720/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=77440 memory=11460 CPUtime=0.1 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 1851 0 0 0 9 1 0 0 20 0 1 0 199368644 79298560 2865 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 19360 2865 1704 3002 0 3648 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77440 KiB
Current children cumulated memory: 11460 KiB
[startup+0.212931 s]*
/proc/loadavg: 1.89 1.29 1.71 5/244 1082179
/proc/meminfo: memFree=125061016/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=99852 memory=24712 CPUtime=0.21 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 5112 0 0 0 19 2 0 0 20 0 1 0 199368644 102248448 6178 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 24963 6178 1811 3002 0 8712 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 99852 KiB
Current children cumulated memory: 24712 KiB
[startup+0.313264 s]*
/proc/loadavg: 1.89 1.29 1.71 5/244 1082179
/proc/meminfo: memFree=125039236/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=118196 memory=50900 CPUtime=0.31 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 9815 0 0 0 28 3 0 0 20 0 1 0 199368644 121032704 12725 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 29549 12725 3727 3002 0 13298 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 118196 KiB
Current children cumulated memory: 50900 KiB
[startup+0.700328 s]
/proc/loadavg: 1.89 1.29 1.71 5/244 1082179
/proc/meminfo: memFree=125006060/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=142284 memory=72944 CPUtime=0.68 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 16998 0 0 0 63 5 0 0 20 0 1 0 199368644 145698816 18236 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 35571 18236 3839 3002 0 19320 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142284 KiB
Current children cumulated memory: 72944 KiB
[startup+1.50026 s]
/proc/loadavg: 1.89 1.29 1.71 5/244 1082180
/proc/meminfo: memFree=124945548/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=193496 memory=109124 CPUtime=1.48 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 25588 0 0 0 140 8 0 0 20 0 1 0 199368644 198139904 27281 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 48374 27281 3871 3002 0 32123 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 193496 KiB
Current children cumulated memory: 109124 KiB
[startup+3.1134 s]
/proc/loadavg: 2.06 1.33 1.72 5/244 1082180
/proc/meminfo: memFree=123548692/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=243516 memory=160604 CPUtime=3.09 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 38482 0 0 0 299 10 0 0 20 0 1 0 199368644 249360384 40151 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 60879 40151 3878 3002 0 44628 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 243516 KiB
Current children cumulated memory: 160604 KiB
[startup+6.30032 s]
/proc/loadavg: 2.06 1.33 1.72 5/244 1082180
/proc/meminfo: memFree=122562036/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=248064 memory=165076 CPUtime=6.27 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 39567 0 0 0 617 10 0 0 20 0 1 0 199368644 254017536 41269 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 62016 41269 3878 3002 0 45765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 248064 KiB
Current children cumulated memory: 165076 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 1.38 1.74 5/244 1082182
/proc/meminfo: memFree=119243180/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=336924 memory=252944 CPUtime=12.66 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 62142 0 0 0 1252 14 0 0 20 0 1 0 199368644 345010176 63236 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 84231 63236 4105 3002 0 67980 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 336924 KiB
Current children cumulated memory: 252944 KiB
[startup+25.5003 s]
/proc/loadavg: 2.77 1.54 1.78 5/244 1082183
/proc/meminfo: memFree=112334580/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=387056 memory=302780 CPUtime=25.42 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 84408 0 0 0 2525 17 0 0 20 0 1 0 199368644 396345344 75695 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 96764 75695 4105 3002 0 80513 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 387056 KiB
Current children cumulated memory: 302780 KiB
[startup+51.1129 s]
/proc/loadavg: 3.19 1.74 1.84 5/247 1082244
/proc/meminfo: memFree=125804828/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=398556 memory=314584 CPUtime=50.97 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 89616 0 0 0 5078 19 0 0 20 0 1 0 199368644 408121344 78646 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 99639 78646 4105 3002 0 83388 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 398556 KiB
Current children cumulated memory: 314584 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 2.11 1.97 5/247 1082298
/proc/meminfo: memFree=125773632/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=398556 memory=314968 CPUtime=102.02 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 90327 0 0 0 10183 19 0 0 20 0 1 0 199368644 408121344 78742 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 99639 78742 4105 3002 0 83388 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 398556 KiB
Current children cumulated memory: 314968 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.47 2.10 5/247 1082310
/proc/meminfo: memFree=125759196/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=410784 memory=326792 CPUtime=161.87 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 93405 0 0 0 16167 20 0 0 20 0 1 0 199368644 420642816 81698 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 102696 81698 4105 3002 0 86445 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 410784 KiB
Current children cumulated memory: 326792 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 2.78 2.23 5/245 1082320
/proc/meminfo: memFree=125667368/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=488176 memory=401052 CPUtime=221.72 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 113891 0 0 0 22149 23 0 0 20 0 1 0 199368644 499892224 100263 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 122044 100263 4105 3002 0 105793 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 488176 KiB
Current children cumulated memory: 401052 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.02 2.35 5/245 1082330
/proc/meminfo: memFree=125637236/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=488176 memory=401144 CPUtime=281.57 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 113990 0 0 0 28133 24 0 0 20 0 1 0 199368644 499892224 100286 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 122044 100286 4105 3002 0 105793 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 488176 KiB
Current children cumulated memory: 401144 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.22 2.46 5/246 1082345
/proc/meminfo: memFree=125502808/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=502500 memory=429108 CPUtime=341.42 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 116911 0 0 0 34060 82 0 0 20 0 1 0 199368644 514560000 107277 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 125625 107277 4153 3002 0 109374 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 502500 KiB
Current children cumulated memory: 429108 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.38 2.57 5/244 1082356
/proc/meminfo: memFree=125432760/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=533320 memory=456592 CPUtime=401.28 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 117893 0 0 0 39997 131 0 0 20 0 1 0 199368644 546119680 114148 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 133330 114148 4153 3002 0 117079 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 533320 KiB
Current children cumulated memory: 456592 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 3.55 2.68 5/244 1082366
/proc/meminfo: memFree=125392084/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=583408 memory=474188 CPUtime=461.13 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 118770 0 0 0 45915 198 0 0 20 0 1 0 199368644 597409792 118547 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 145852 118547 4153 3002 0 129601 0
################
# More data... #
################
Current children cumulated memory: 681232 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.12 4.03 5/245 1083989
/proc/meminfo: memFree=124785468/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=861320 memory=684608 CPUtime=2914.8 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 139044 0 0 0 290269 1211 0 0 20 0 1 0 199368644 881991680 171152 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 215330 171152 4153 3002 0 199079 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 861320 KiB
Current children cumulated memory: 684608 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.02 5/245 1083999
/proc/meminfo: memFree=124774968/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=870024 memory=691556 CPUtime=2974.66 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 141099 0 0 0 296248 1218 0 0 20 0 1 0 199368644 890904576 172889 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 217506 172889 4153 3002 0 201255 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 870024 KiB
Current children cumulated memory: 691556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.03 5/245 1084010
/proc/meminfo: memFree=124767664/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=873288 memory=696568 CPUtime=3034.51 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 141998 0 0 0 302224 1227 0 0 20 0 1 0 199368644 894246912 174142 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 218322 174142 4153 3002 0 202071 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 873288 KiB
Current children cumulated memory: 696568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/244 1084020
/proc/meminfo: memFree=124735868/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=873288 memory=696568 CPUtime=3094.38 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 142162 0 0 0 308203 1235 0 0 20 0 1 0 199368644 894246912 174142 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 218322 174142 4153 3002 0 202071 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 873288 KiB
Current children cumulated memory: 696568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.16 4.05 5/244 1084031
/proc/meminfo: memFree=124736936/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=873992 memory=696876 CPUtime=3154.24 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 142612 0 0 0 314183 1241 0 0 20 0 1 0 199368644 894967808 174219 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 218498 174219 4153 3002 0 202247 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 873992 KiB
Current children cumulated memory: 696876 KiB
[startup+3222.3 s]
/proc/loadavg: 5.28 4.45 4.16 5/241 1084043
/proc/meminfo: memFree=124733016/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=876168 memory=700604 CPUtime=3214.11 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 143263 0 0 0 320150 1261 0 0 20 0 1 0 199368644 897196032 175151 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 219042 175151 4153 3002 0 202791 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 876168 KiB
Current children cumulated memory: 700604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.75 4.47 4.18 5/241 1084053
/proc/meminfo: memFree=124730676/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=878860 memory=702632 CPUtime=3273.96 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 143924 0 0 0 326120 1276 0 0 20 0 1 0 199368644 899952640 175658 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 219715 175658 4153 3002 0 203464 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 878860 KiB
Current children cumulated memory: 702632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.41 4.18 5/241 1084063
/proc/meminfo: memFree=124726796/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=882600 memory=705684 CPUtime=3333.83 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 144866 0 0 0 332093 1290 0 0 20 0 1 0 199368644 903782400 176421 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 220650 176421 4153 3002 0 204399 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 882600 KiB
Current children cumulated memory: 705684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.35 4.17 5/241 1084073
/proc/meminfo: memFree=124724576/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=885388 memory=707572 CPUtime=3393.69 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 145599 0 0 0 338073 1296 0 0 20 0 1 0 199368644 906637312 176893 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 221347 176893 4153 3002 0 205096 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 885388 KiB
Current children cumulated memory: 707572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.30 4.17 5/243 1084088
/proc/meminfo: memFree=124719632/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=891020 memory=712124 CPUtime=3453.55 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 146957 0 0 0 344052 1303 0 0 20 0 1 0 199368644 912404480 178031 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 222755 178031 4153 3002 0 206504 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 891020 KiB
Current children cumulated memory: 712124 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.27 4.17 5/243 1084098
/proc/meminfo: memFree=124718668/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=891804 memory=712916 CPUtime=3513.42 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 147286 0 0 0 350023 1319 0 0 20 0 1 0 199368644 913207296 178229 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 222951 178229 4153 3002 0 206700 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 891804 KiB
Current children cumulated memory: 712916 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.24 4.16 5/243 1084108
/proc/meminfo: memFree=124716276/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=893468 memory=714176 CPUtime=3573.28 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 147740 0 0 0 355993 1335 0 0 20 0 1 0 199368644 914911232 178544 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 223367 178544 4153 3002 0 207116 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 893468 KiB
Current children cumulated memory: 714176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.06 4.21 4.16 5/244 1084204
/proc/meminfo: memFree=119764480/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=893900 memory=714448 CPUtime=3600.02 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 148055 0 0 0 358662 1340 0 0 20 0 1 0 199368644 915353600 178612 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 223475 178612 4153 3002 0 207224 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 893900 KiB
Current children cumulated memory: 714448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 1082178 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.63 s, system=13.415 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.06 4.21 4.16 5/244 1084204
/proc/meminfo: memFree=119764480/131655788 swapFree=131071996/131071996
[pid=1082178] ppid=1082175 vsize=893900 memory=714448 CPUtime=3600.02 cores=4,6
/proc/1082178/stat : 1082178 (mixed-bag) R 1082175 1082178 1081689 0 -1 4194304 148055 0 0 0 358662 1340 0 0 20 0 1 0 199368644 915353600 178612 134679101440 4194304 16488053 140729314196032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29507584 140729314202645 140729314202722 140729314202722 140729314209739 0
/proc/1082178/statm: 223475 178612 4153 3002 0 207224 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 893900 KiB
Current children cumulated memory: 714448 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.04
CPU user time (s): 3586.63
CPU system time (s): 13.415
CPU usage (%): 99.7484
Max. virtual memory (cumulated for all children) (KiB): 893900
Max. memory (cumulated for all children) (KiB): 714448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.63
system time used= 13.415
maximum resident set size= 714448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148083
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= 148
involuntary context switches= 2743
# summary of solver processes directly reported to runsolver:
# pid: 1082178
# total CPU time (s): 3600.04
# total CPU user time (s): 3586.63
# total CPU system time (s): 13.415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2555 second user time and 36.3547 second system time
The end
Begin job on nodeC004 at 2024-07-20 12:42:20
IDJOB=4454863
IDBENCH=148768
IDSOLVER=3083
FILE ID=nodeC004/4454863-1721472128
RUNJOBID= nodeC004-1721472122-1081700
SLURM_JOB_ID= 7545741
Free space on /tmp= 723484 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454863-1721472128/watcher-4454863-1721472128 -o /tmp/evaluation-result-4454863-1721472128/solver-4454863-1721472128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081700 --watchdog 3760 mixed-bag HOME/instance-4454863-1721472128.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=639499171
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.377
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.353
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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.338
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.335
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 1197.311
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.980
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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.318
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.542
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125096116 kB
MemAvailable: 127974660 kB
Buffers: 576956 kB
Cached: 3119216 kB
SwapCached: 0 kB
Active: 1491840 kB
Inactive: 4444856 kB
Active(anon): 3344 kB
Inactive(anon): 2283076 kB
Active(file): 1488496 kB
Inactive(file): 2161780 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 322840 kB
Writeback: 0 kB
AnonPages: 2240316 kB
Mapped: 131772 kB
Shmem: 45892 kB
KReclaimable: 136936 kB
Slab: 245428 kB
SReclaimable: 136936 kB
SUnreclaim: 108492 kB
KernelStack: 3872 kB
PageTables: 14064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2919612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1114112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 29016064 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723524 MiB
End job on nodeC004 at 2024-07-20 13:42:30