0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.08 c #variables 2726 #constraints 4391
0.00/0.08 c objective is ce32
0.00/0.10 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.10 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.056815
0.00/0.11 c GLOBAL bounds - >= 0 @ 0.059415
159.80/160.20 c #Conflicts: 1000 | #Constraints: 5391
159.80/160.20 c #Conflicts: 2000 | #Constraints: 6391
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 3000 | #Constraints: 6411
159.80/160.20 c #Conflicts: 4000 | #Constraints: 7411
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 5000 | #Constraints: 6823
159.80/160.20 c #Conflicts: 6000 | #Constraints: 7823
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 7000 | #Constraints: 6830
159.80/160.20 c #Conflicts: 8000 | #Constraints: 7830
159.80/160.20 c #Conflicts: 9000 | #Constraints: 8830
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 10000 | #Constraints: 7537
159.80/160.20 c #Conflicts: 11000 | #Constraints: 8537
159.80/160.20 c #Conflicts: 12000 | #Constraints: 9537
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 13000 | #Constraints: 7990
159.80/160.20 c #Conflicts: 14000 | #Constraints: 8990
159.80/160.20 c #Conflicts: 15000 | #Constraints: 9990
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 16000 | #Constraints: 8218
159.80/160.20 c #Conflicts: 17000 | #Constraints: 9218
159.80/160.20 c #Conflicts: 18000 | #Constraints: 10218
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 19000 | #Constraints: 8230
159.80/160.20 c #Conflicts: 20000 | #Constraints: 9230
159.80/160.20 c #Conflicts: 21000 | #Constraints: 10230
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 22000 | #Constraints: 8037
159.80/160.20 c #Conflicts: 23000 | #Constraints: 9037
159.80/160.20 c #Conflicts: 24000 | #Constraints: 10037
159.80/160.20 c #Conflicts: 25000 | #Constraints: 11037
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 26000 | #Constraints: 8641
159.80/160.20 c #Conflicts: 27000 | #Constraints: 9641
159.80/160.20 c #Conflicts: 28000 | #Constraints: 10641
159.80/160.20 c #Conflicts: 29000 | #Constraints: 11641
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 30000 | #Constraints: 9041
159.80/160.20 c #Conflicts: 31000 | #Constraints: 10041
159.80/160.20 c #Conflicts: 32000 | #Constraints: 11041
159.80/160.20 c #Conflicts: 33000 | #Constraints: 12041
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 34000 | #Constraints: 9243
159.80/160.20 c #Conflicts: 35000 | #Constraints: 10243
159.80/160.20 c #Conflicts: 36000 | #Constraints: 11243
159.80/160.20 c #Conflicts: 37000 | #Constraints: 12243
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 38000 | #Constraints: 9243
159.80/160.20 c #Conflicts: 39000 | #Constraints: 10243
159.80/160.20 c #Conflicts: 40000 | #Constraints: 11243
159.80/160.20 c #Conflicts: 41000 | #Constraints: 12243
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 42000 | #Constraints: 9045
159.80/160.20 c #Conflicts: 43000 | #Constraints: 10045
159.80/160.20 c #Conflicts: 44000 | #Constraints: 11045
159.80/160.20 c #Conflicts: 45000 | #Constraints: 12045
159.80/160.20 c #Conflicts: 46000 | #Constraints: 13045
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 47000 | #Constraints: 9643
159.80/160.20 c #Conflicts: 48000 | #Constraints: 10643
159.80/160.20 c #Conflicts: 49000 | #Constraints: 11643
159.80/160.20 c #Conflicts: 50000 | #Constraints: 12643
159.80/160.20 c #Conflicts: 51000 | #Constraints: 13643
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 52000 | #Constraints: 10046
159.80/160.20 c #Conflicts: 53000 | #Constraints: 11046
159.80/160.20 c #Conflicts: 54000 | #Constraints: 12046
159.80/160.20 c #Conflicts: 55000 | #Constraints: 13046
159.80/160.20 c #Conflicts: 56000 | #Constraints: 14046
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 57000 | #Constraints: 10243
159.80/160.20 c #Conflicts: 58000 | #Constraints: 11243
159.80/160.20 c #Conflicts: 59000 | #Constraints: 12243
159.80/160.20 c #Conflicts: 60000 | #Constraints: 13243
159.80/160.20 c #Conflicts: 61000 | #Constraints: 14243
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 62000 | #Constraints: 10242
159.80/160.20 c #Conflicts: 63000 | #Constraints: 11242
159.80/160.20 c #Conflicts: 64000 | #Constraints: 12242
159.80/160.20 c #Conflicts: 65000 | #Constraints: 13242
159.80/160.20 c #Conflicts: 66000 | #Constraints: 14242
159.80/160.20 c INPROCESSING
159.80/160.20 c GARBAGE COLLECT
159.80/160.20 c #Conflicts: 67000 | #Constraints: 10044
159.80/160.20 c #Conflicts: 68000 | #Constraints: 11044
327.51/328.38 c #Conflicts: 69000 | #Constraints: 12044
327.51/328.38 c #Conflicts: 70000 | #Constraints: 13044
327.51/328.38 c #Conflicts: 71000 | #Constraints: 14044
327.51/328.38 c #Conflicts: 72000 | #Constraints: 15044
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 73000 | #Constraints: 10645
327.51/328.38 c #Conflicts: 74000 | #Constraints: 11645
327.51/328.38 c #Conflicts: 75000 | #Constraints: 12645
327.51/328.38 c #Conflicts: 76000 | #Constraints: 13645
327.51/328.38 c #Conflicts: 77000 | #Constraints: 14645
327.51/328.38 c #Conflicts: 78000 | #Constraints: 15645
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 79000 | #Constraints: 11045
327.51/328.38 c #Conflicts: 80000 | #Constraints: 12045
327.51/328.38 c #Conflicts: 81000 | #Constraints: 13045
327.51/328.38 c #Conflicts: 82000 | #Constraints: 14045
327.51/328.38 c #Conflicts: 83000 | #Constraints: 15045
327.51/328.38 c #Conflicts: 84000 | #Constraints: 16045
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 85000 | #Constraints: 11244
327.51/328.38 c #Conflicts: 86000 | #Constraints: 12244
327.51/328.38 c #Conflicts: 87000 | #Constraints: 13244
327.51/328.38 c #Conflicts: 88000 | #Constraints: 14244
327.51/328.38 c #Conflicts: 89000 | #Constraints: 15244
327.51/328.38 c #Conflicts: 90000 | #Constraints: 16244
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 91000 | #Constraints: 11244
327.51/328.38 c #Conflicts: 92000 | #Constraints: 12244
327.51/328.38 c #Conflicts: 93000 | #Constraints: 13244
327.51/328.38 c #Conflicts: 94000 | #Constraints: 14244
327.51/328.38 c #Conflicts: 95000 | #Constraints: 15244
327.51/328.38 c #Conflicts: 96000 | #Constraints: 16244
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 97000 | #Constraints: 11045
327.51/328.38 c #Conflicts: 98000 | #Constraints: 12045
327.51/328.38 c #Conflicts: 99000 | #Constraints: 13045
327.51/328.38 c #Conflicts: 100000 | #Constraints: 14045
327.51/328.38 c #Conflicts: 101000 | #Constraints: 15045
327.51/328.38 c #Conflicts: 102000 | #Constraints: 16045
327.51/328.38 c #Conflicts: 103000 | #Constraints: 17045
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 104000 | #Constraints: 11644
327.51/328.38 c #Conflicts: 105000 | #Constraints: 12644
327.51/328.38 c #Conflicts: 106000 | #Constraints: 13644
327.51/328.38 c #Conflicts: 107000 | #Constraints: 14644
327.51/328.38 c #Conflicts: 108000 | #Constraints: 15644
327.51/328.38 c #Conflicts: 109000 | #Constraints: 16644
327.51/328.38 c #Conflicts: 110000 | #Constraints: 17644
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 111000 | #Constraints: 12045
327.51/328.38 c #Conflicts: 112000 | #Constraints: 13045
327.51/328.38 c #Conflicts: 113000 | #Constraints: 14045
327.51/328.38 c #Conflicts: 114000 | #Constraints: 15045
327.51/328.38 c #Conflicts: 115000 | #Constraints: 16045
327.51/328.38 c #Conflicts: 116000 | #Constraints: 17045
327.51/328.38 c #Conflicts: 117000 | #Constraints: 18045
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 118000 | #Constraints: 12245
327.51/328.38 c #Conflicts: 119000 | #Constraints: 13245
327.51/328.38 c #Conflicts: 120000 | #Constraints: 14245
327.51/328.38 c #Conflicts: 121000 | #Constraints: 15245
327.51/328.38 c #Conflicts: 122000 | #Constraints: 16245
327.51/328.38 c #Conflicts: 123000 | #Constraints: 17245
327.51/328.38 c #Conflicts: 124000 | #Constraints: 18245
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 125000 | #Constraints: 12245
327.51/328.38 c #Conflicts: 126000 | #Constraints: 13245
327.51/328.38 c #Conflicts: 127000 | #Constraints: 14245
327.51/328.38 c #Conflicts: 128000 | #Constraints: 15245
327.51/328.38 c #Conflicts: 129000 | #Constraints: 16245
327.51/328.38 c #Conflicts: 130000 | #Constraints: 17245
327.51/328.38 c #Conflicts: 131000 | #Constraints: 18245
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 132000 | #Constraints: 12045
327.51/328.38 c #Conflicts: 133000 | #Constraints: 13045
327.51/328.38 c #Conflicts: 134000 | #Constraints: 14045
327.51/328.38 c #Conflicts: 135000 | #Constraints: 15045
327.51/328.38 c #Conflicts: 136000 | #Constraints: 16045
327.51/328.38 c #Conflicts: 137000 | #Constraints: 17045
327.51/328.38 c #Conflicts: 138000 | #Constraints: 18045
327.51/328.38 c #Conflicts: 139000 | #Constraints: 19045
327.51/328.38 c INPROCESSING
327.51/328.38 c GARBAGE COLLECT
327.51/328.38 c #Conflicts: 140000 | #Constraints: 12647
498.42/499.69 c #Conflicts: 141000 | #Constraints: 13647
498.42/499.69 c #Conflicts: 142000 | #Constraints: 14647
498.42/499.69 c #Conflicts: 143000 | #Constraints: 15647
498.42/499.69 c #Conflicts: 144000 | #Constraints: 16647
498.42/499.69 c #Conflicts: 145000 | #Constraints: 17647
498.42/499.69 c #Conflicts: 146000 | #Constraints: 18647
498.42/499.69 c #Conflicts: 147000 | #Constraints: 19647
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 148000 | #Constraints: 13049
498.42/499.69 c #Conflicts: 149000 | #Constraints: 14049
498.42/499.69 c #Conflicts: 150000 | #Constraints: 15049
498.42/499.69 c #Conflicts: 151000 | #Constraints: 16049
498.42/499.69 c #Conflicts: 152000 | #Constraints: 17049
498.42/499.69 c #Conflicts: 153000 | #Constraints: 18049
498.42/499.69 c #Conflicts: 154000 | #Constraints: 19049
498.42/499.69 c #Conflicts: 155000 | #Constraints: 20049
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 156000 | #Constraints: 13249
498.42/499.69 c #Conflicts: 157000 | #Constraints: 14249
498.42/499.69 c #Conflicts: 158000 | #Constraints: 15249
498.42/499.69 c #Conflicts: 159000 | #Constraints: 16249
498.42/499.69 c #Conflicts: 160000 | #Constraints: 17249
498.42/499.69 c #Conflicts: 161000 | #Constraints: 18249
498.42/499.69 c #Conflicts: 162000 | #Constraints: 19249
498.42/499.69 c #Conflicts: 163000 | #Constraints: 20249
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 164000 | #Constraints: 13248
498.42/499.69 c #Conflicts: 165000 | #Constraints: 14248
498.42/499.69 c #Conflicts: 166000 | #Constraints: 15248
498.42/499.69 c #Conflicts: 167000 | #Constraints: 16248
498.42/499.69 c #Conflicts: 168000 | #Constraints: 17248
498.42/499.69 c #Conflicts: 169000 | #Constraints: 18248
498.42/499.69 c #Conflicts: 170000 | #Constraints: 19248
498.42/499.69 c #Conflicts: 171000 | #Constraints: 20248
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 172000 | #Constraints: 13047
498.42/499.69 c #Conflicts: 173000 | #Constraints: 14047
498.42/499.69 c #Conflicts: 174000 | #Constraints: 15047
498.42/499.69 c #Conflicts: 175000 | #Constraints: 16047
498.42/499.69 c #Conflicts: 176000 | #Constraints: 17047
498.42/499.69 c #Conflicts: 177000 | #Constraints: 18047
498.42/499.69 c #Conflicts: 178000 | #Constraints: 19047
498.42/499.69 c #Conflicts: 179000 | #Constraints: 20047
498.42/499.69 c #Conflicts: 180000 | #Constraints: 21047
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 181000 | #Constraints: 13645
498.42/499.69 c #Conflicts: 182000 | #Constraints: 14645
498.42/499.69 c #Conflicts: 183000 | #Constraints: 15645
498.42/499.69 c #Conflicts: 184000 | #Constraints: 16645
498.42/499.69 c #Conflicts: 185000 | #Constraints: 17645
498.42/499.69 c #Conflicts: 186000 | #Constraints: 18645
498.42/499.69 c #Conflicts: 187000 | #Constraints: 19645
498.42/499.69 c #Conflicts: 188000 | #Constraints: 20645
498.42/499.69 c #Conflicts: 189000 | #Constraints: 21645
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 190000 | #Constraints: 14045
498.42/499.69 c #Conflicts: 191000 | #Constraints: 15045
498.42/499.69 c #Conflicts: 192000 | #Constraints: 16045
498.42/499.69 c #Conflicts: 193000 | #Constraints: 17045
498.42/499.69 c #Conflicts: 194000 | #Constraints: 18045
498.42/499.69 c #Conflicts: 195000 | #Constraints: 19045
498.42/499.69 c #Conflicts: 196000 | #Constraints: 20045
498.42/499.69 c #Conflicts: 197000 | #Constraints: 21045
498.42/499.69 c #Conflicts: 198000 | #Constraints: 22045
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 199000 | #Constraints: 14247
498.42/499.69 c #Conflicts: 200000 | #Constraints: 15247
498.42/499.69 c #Conflicts: 201000 | #Constraints: 16247
498.42/499.69 c #Conflicts: 202000 | #Constraints: 17247
498.42/499.69 c #Conflicts: 203000 | #Constraints: 18247
498.42/499.69 c #Conflicts: 204000 | #Constraints: 19247
498.42/499.69 c #Conflicts: 205000 | #Constraints: 20247
498.42/499.69 c #Conflicts: 206000 | #Constraints: 21247
498.42/499.69 c #Conflicts: 207000 | #Constraints: 22247
498.42/499.69 c INPROCESSING
498.42/499.69 c GARBAGE COLLECT
498.42/499.69 c #Conflicts: 208000 | #Constraints: 14247
498.42/499.69 c #Conflicts: 209000 | #Constraints: 15247
498.42/499.69 c #Conflicts: 210000 | #Constraints: 16247
498.42/499.69 c #Conflicts: 211000 | #Constraints: 17247
498.42/499.69 c #Conflicts: 212000 | #Constraints: 18247
498.42/499.69 c #Conflicts: 213000 | #Constraints: 19247
671.86/673.54 c #Conflicts: 214000 | #Constraints: 20247
671.86/673.54 c #Conflicts: 215000 | #Constraints: 21247
671.86/673.54 c #Conflicts: 216000 | #Constraints: 22247
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 217000 | #Constraints: 14048
671.86/673.54 c #Conflicts: 218000 | #Constraints: 15048
671.86/673.54 c #Conflicts: 219000 | #Constraints: 16048
671.86/673.54 c #Conflicts: 220000 | #Constraints: 17048
671.86/673.54 c #Conflicts: 221000 | #Constraints: 18048
671.86/673.54 c #Conflicts: 222000 | #Constraints: 19048
671.86/673.54 c #Conflicts: 223000 | #Constraints: 20048
671.86/673.54 c #Conflicts: 224000 | #Constraints: 21048
671.86/673.54 c #Conflicts: 225000 | #Constraints: 22048
671.86/673.54 c #Conflicts: 226000 | #Constraints: 23048
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 227000 | #Constraints: 14652
671.86/673.54 c #Conflicts: 228000 | #Constraints: 15652
671.86/673.54 c #Conflicts: 229000 | #Constraints: 16652
671.86/673.54 c #Conflicts: 230000 | #Constraints: 17652
671.86/673.54 c #Conflicts: 231000 | #Constraints: 18652
671.86/673.54 c #Conflicts: 232000 | #Constraints: 19652
671.86/673.54 c #Conflicts: 233000 | #Constraints: 20652
671.86/673.54 c #Conflicts: 234000 | #Constraints: 21652
671.86/673.54 c #Conflicts: 235000 | #Constraints: 22652
671.86/673.54 c #Conflicts: 236000 | #Constraints: 23652
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 237000 | #Constraints: 15050
671.86/673.54 c #Conflicts: 238000 | #Constraints: 16050
671.86/673.54 c #Conflicts: 239000 | #Constraints: 17050
671.86/673.54 c #Conflicts: 240000 | #Constraints: 18050
671.86/673.54 c #Conflicts: 241000 | #Constraints: 19050
671.86/673.54 c #Conflicts: 242000 | #Constraints: 20050
671.86/673.54 c #Conflicts: 243000 | #Constraints: 21050
671.86/673.54 c #Conflicts: 244000 | #Constraints: 22050
671.86/673.54 c #Conflicts: 245000 | #Constraints: 23050
671.86/673.54 c #Conflicts: 246000 | #Constraints: 24050
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 247000 | #Constraints: 15249
671.86/673.54 c #Conflicts: 248000 | #Constraints: 16249
671.86/673.54 c #Conflicts: 249000 | #Constraints: 17249
671.86/673.54 c #Conflicts: 250000 | #Constraints: 18249
671.86/673.54 c #Conflicts: 251000 | #Constraints: 19249
671.86/673.54 c #Conflicts: 252000 | #Constraints: 20249
671.86/673.54 c #Conflicts: 253000 | #Constraints: 21249
671.86/673.54 c #Conflicts: 254000 | #Constraints: 22249
671.86/673.54 c #Conflicts: 255000 | #Constraints: 23249
671.86/673.54 c #Conflicts: 256000 | #Constraints: 24249
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 257000 | #Constraints: 15247
671.86/673.54 c #Conflicts: 258000 | #Constraints: 16247
671.86/673.54 c #Conflicts: 259000 | #Constraints: 17247
671.86/673.54 c #Conflicts: 260000 | #Constraints: 18247
671.86/673.54 c #Conflicts: 261000 | #Constraints: 19247
671.86/673.54 c #Conflicts: 262000 | #Constraints: 20247
671.86/673.54 c #Conflicts: 263000 | #Constraints: 21247
671.86/673.54 c #Conflicts: 264000 | #Constraints: 22247
671.86/673.54 c #Conflicts: 265000 | #Constraints: 23247
671.86/673.54 c #Conflicts: 266000 | #Constraints: 24247
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 267000 | #Constraints: 15046
671.86/673.54 c #Conflicts: 268000 | #Constraints: 16046
671.86/673.54 c #Conflicts: 269000 | #Constraints: 17046
671.86/673.54 c #Conflicts: 270000 | #Constraints: 18046
671.86/673.54 c #Conflicts: 271000 | #Constraints: 19046
671.86/673.54 c #Conflicts: 272000 | #Constraints: 20046
671.86/673.54 c #Conflicts: 273000 | #Constraints: 21046
671.86/673.54 c #Conflicts: 274000 | #Constraints: 22046
671.86/673.54 c #Conflicts: 275000 | #Constraints: 23046
671.86/673.54 c #Conflicts: 276000 | #Constraints: 24046
671.86/673.54 c #Conflicts: 277000 | #Constraints: 25046
671.86/673.54 c INPROCESSING
671.86/673.54 c GARBAGE COLLECT
671.86/673.54 c #Conflicts: 278000 | #Constraints: 15646
671.86/673.54 c #Conflicts: 279000 | #Constraints: 16646
671.86/673.54 c #Conflicts: 280000 | #Constraints: 17646
671.86/673.54 c #Conflicts: 281000 | #Constraints: 18646
671.86/673.54 c #Conflicts: 282000 | #Constraints: 19646
671.86/673.54 c #Conflicts: 283000 | #Constraints: 20646
671.86/673.54 c #Conflicts: 284000 | #Constraints: 21646
671.86/673.54 c #Conflicts: 285000 | #Constraints: 22646
671.86/673.54 c #Conflicts: 286000 | #Constraints: 23646
671.86/673.54 c #Conflicts: 287000 | #Constraints: 24646
671.86/673.54 c #Conflicts: 288000 | #Constraints: 25646
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 289000 | #Constraints: 16045
845.73/847.88 c #Conflicts: 290000 | #Constraints: 17045
845.73/847.88 c #Conflicts: 291000 | #Constraints: 18045
845.73/847.88 c #Conflicts: 292000 | #Constraints: 19045
845.73/847.88 c #Conflicts: 293000 | #Constraints: 20045
845.73/847.88 c #Conflicts: 294000 | #Constraints: 21045
845.73/847.88 c #Conflicts: 295000 | #Constraints: 22045
845.73/847.88 c #Conflicts: 296000 | #Constraints: 23045
845.73/847.88 c #Conflicts: 297000 | #Constraints: 24045
845.73/847.88 c #Conflicts: 298000 | #Constraints: 25045
845.73/847.88 c #Conflicts: 299000 | #Constraints: 26045
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 300000 | #Constraints: 16247
845.73/847.88 c #Conflicts: 301000 | #Constraints: 17247
845.73/847.88 c #Conflicts: 302000 | #Constraints: 18247
845.73/847.88 c #Conflicts: 303000 | #Constraints: 19247
845.73/847.88 c #Conflicts: 304000 | #Constraints: 20247
845.73/847.88 c #Conflicts: 305000 | #Constraints: 21247
845.73/847.88 c #Conflicts: 306000 | #Constraints: 22247
845.73/847.88 c #Conflicts: 307000 | #Constraints: 23247
845.73/847.88 c #Conflicts: 308000 | #Constraints: 24247
845.73/847.88 c #Conflicts: 309000 | #Constraints: 25247
845.73/847.88 c #Conflicts: 310000 | #Constraints: 26247
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 311000 | #Constraints: 16247
845.73/847.88 c #Conflicts: 312000 | #Constraints: 17247
845.73/847.88 c #Conflicts: 313000 | #Constraints: 18247
845.73/847.88 c #Conflicts: 314000 | #Constraints: 19247
845.73/847.88 c #Conflicts: 315000 | #Constraints: 20247
845.73/847.88 c #Conflicts: 316000 | #Constraints: 21247
845.73/847.88 c #Conflicts: 317000 | #Constraints: 22247
845.73/847.88 c #Conflicts: 318000 | #Constraints: 23247
845.73/847.88 c #Conflicts: 319000 | #Constraints: 24247
845.73/847.88 c #Conflicts: 320000 | #Constraints: 25247
845.73/847.88 c #Conflicts: 321000 | #Constraints: 26247
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 322000 | #Constraints: 16049
845.73/847.88 c #Conflicts: 323000 | #Constraints: 17049
845.73/847.88 c #Conflicts: 324000 | #Constraints: 18049
845.73/847.88 c #Conflicts: 325000 | #Constraints: 19049
845.73/847.88 c #Conflicts: 326000 | #Constraints: 20049
845.73/847.88 c #Conflicts: 327000 | #Constraints: 21049
845.73/847.88 c #Conflicts: 328000 | #Constraints: 22049
845.73/847.88 c #Conflicts: 329000 | #Constraints: 23049
845.73/847.88 c #Conflicts: 330000 | #Constraints: 24049
845.73/847.88 c #Conflicts: 331000 | #Constraints: 25049
845.73/847.88 c #Conflicts: 332000 | #Constraints: 26049
845.73/847.88 c #Conflicts: 333000 | #Constraints: 27049
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 334000 | #Constraints: 16647
845.73/847.88 c #Conflicts: 335000 | #Constraints: 17647
845.73/847.88 c #Conflicts: 336000 | #Constraints: 18647
845.73/847.88 c #Conflicts: 337000 | #Constraints: 19647
845.73/847.88 c #Conflicts: 338000 | #Constraints: 20647
845.73/847.88 c #Conflicts: 339000 | #Constraints: 21647
845.73/847.88 c #Conflicts: 340000 | #Constraints: 22647
845.73/847.88 c #Conflicts: 341000 | #Constraints: 23647
845.73/847.88 c #Conflicts: 342000 | #Constraints: 24647
845.73/847.88 c #Conflicts: 343000 | #Constraints: 25647
845.73/847.88 c #Conflicts: 344000 | #Constraints: 26647
845.73/847.88 c #Conflicts: 345000 | #Constraints: 27647
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 346000 | #Constraints: 17048
845.73/847.88 c #Conflicts: 347000 | #Constraints: 18048
845.73/847.88 c #Conflicts: 348000 | #Constraints: 19048
845.73/847.88 c #Conflicts: 349000 | #Constraints: 20048
845.73/847.88 c #Conflicts: 350000 | #Constraints: 21048
845.73/847.88 c #Conflicts: 351000 | #Constraints: 22048
845.73/847.88 c #Conflicts: 352000 | #Constraints: 23048
845.73/847.88 c #Conflicts: 353000 | #Constraints: 24048
845.73/847.88 c #Conflicts: 354000 | #Constraints: 25048
845.73/847.88 c #Conflicts: 355000 | #Constraints: 26048
845.73/847.88 c #Conflicts: 356000 | #Constraints: 27048
845.73/847.88 c #Conflicts: 357000 | #Constraints: 28048
845.73/847.88 c INPROCESSING
845.73/847.88 c GARBAGE COLLECT
845.73/847.88 c #Conflicts: 358000 | #Constraints: 17246
845.73/847.88 c #Conflicts: 359000 | #Constraints: 18246
845.73/847.88 c #Conflicts: 360000 | #Constraints: 19246
845.73/847.88 c #Conflicts: 361000 | #Constraints: 20246
845.73/847.88 c #Conflicts: 362000 | #Constraints: 21246
1024.41/1026.95 c #Conflicts: 363000 | #Constraints: 22246
1024.41/1026.95 c #Conflicts: 364000 | #Constraints: 23246
1024.41/1026.95 c #Conflicts: 365000 | #Constraints: 24246
1024.41/1026.95 c #Conflicts: 366000 | #Constraints: 25246
1024.41/1026.95 c #Conflicts: 367000 | #Constraints: 26246
1024.41/1026.95 c #Conflicts: 368000 | #Constraints: 27246
1024.41/1026.95 c #Conflicts: 369000 | #Constraints: 28246
1024.41/1026.95 c INPROCESSING
1024.41/1026.95 c GARBAGE COLLECT
1024.41/1026.95 c #Conflicts: 370000 | #Constraints: 17247
1024.41/1026.95 c #Conflicts: 371000 | #Constraints: 18247
1024.41/1026.95 c #Conflicts: 372000 | #Constraints: 19247
1024.41/1026.95 c #Conflicts: 373000 | #Constraints: 20247
1024.41/1026.95 c #Conflicts: 374000 | #Constraints: 21247
1024.41/1026.95 c #Conflicts: 375000 | #Constraints: 22247
1024.41/1026.95 c #Conflicts: 376000 | #Constraints: 23247
1024.41/1026.95 c #Conflicts: 377000 | #Constraints: 24247
1024.41/1026.95 c #Conflicts: 378000 | #Constraints: 25247
1024.41/1026.95 c #Conflicts: 379000 | #Constraints: 26247
1024.41/1026.95 c #Conflicts: 380000 | #Constraints: 27247
1024.41/1026.95 c #Conflicts: 381000 | #Constraints: 28247
1024.41/1026.95 c INPROCESSING
1024.41/1026.95 c GARBAGE COLLECT
1024.41/1026.95 c #Conflicts: 382000 | #Constraints: 17045
1024.41/1026.95 c #Conflicts: 383000 | #Constraints: 18045
1024.41/1026.95 c #Conflicts: 384000 | #Constraints: 19045
1024.41/1026.95 c #Conflicts: 385000 | #Constraints: 20045
1024.41/1026.95 c #Conflicts: 386000 | #Constraints: 21045
1024.41/1026.95 c #Conflicts: 387000 | #Constraints: 22045
1024.41/1026.95 c #Conflicts: 388000 | #Constraints: 23045
1024.41/1026.95 c #Conflicts: 389000 | #Constraints: 24045
1024.41/1026.95 c #Conflicts: 390000 | #Constraints: 25045
1024.41/1026.95 c #Conflicts: 391000 | #Constraints: 26045
1024.41/1026.95 c #Conflicts: 392000 | #Constraints: 27045
1024.41/1026.95 c #Conflicts: 393000 | #Constraints: 28045
1024.41/1026.95 c #Conflicts: 394000 | #Constraints: 29045
1024.41/1026.95 c INPROCESSING
1024.41/1026.95 c GARBAGE COLLECT
1024.41/1026.95 c #Conflicts: 395000 | #Constraints: 17645
1024.41/1026.95 c #Conflicts: 396000 | #Constraints: 18645
1024.41/1026.95 c #Conflicts: 397000 | #Constraints: 19645
1024.41/1026.95 c #Conflicts: 398000 | #Constraints: 20645
1024.41/1026.95 c #Conflicts: 399000 | #Constraints: 21645
1024.41/1026.95 c #Conflicts: 400000 | #Constraints: 22645
1024.41/1026.95 c #Conflicts: 401000 | #Constraints: 23645
1024.41/1026.95 c #Conflicts: 402000 | #Constraints: 24645
1024.41/1026.95 c #Conflicts: 403000 | #Constraints: 25645
1024.41/1026.95 c #Conflicts: 404000 | #Constraints: 26645
1024.41/1026.95 c #Conflicts: 405000 | #Constraints: 27645
1024.41/1026.95 c #Conflicts: 406000 | #Constraints: 28645
1024.41/1026.95 c #Conflicts: 407000 | #Constraints: 29645
1024.41/1026.95 c INPROCESSING
1024.41/1026.95 c GARBAGE COLLECT
1024.41/1026.95 c #Conflicts: 408000 | #Constraints: 18047
1024.41/1026.95 c #Conflicts: 409000 | #Constraints: 19047
1024.41/1026.95 c #Conflicts: 410000 | #Constraints: 20047
1024.41/1026.95 c #Conflicts: 411000 | #Constraints: 21047
1024.41/1026.95 c #Conflicts: 412000 | #Constraints: 22047
1024.41/1026.95 c #Conflicts: 413000 | #Constraints: 23047
1024.41/1026.95 c #Conflicts: 414000 | #Constraints: 24047
1024.41/1026.95 c #Conflicts: 415000 | #Constraints: 25047
1024.41/1026.95 c #Conflicts: 416000 | #Constraints: 26047
1024.41/1026.95 c #Conflicts: 417000 | #Constraints: 27047
1024.41/1026.95 c #Conflicts: 418000 | #Constraints: 28047
1024.41/1026.95 c #Conflicts: 419000 | #Constraints: 29047
1024.41/1026.95 c #Conflicts: 420000 | #Constraints: 30047
1024.41/1026.95 c INPROCESSING
1024.41/1026.95 c GARBAGE COLLECT
1024.41/1026.95 c #Conflicts: 421000 | #Constraints: 18248
1024.41/1026.95 c #Conflicts: 422000 | #Constraints: 19248
1024.41/1026.95 c #Conflicts: 423000 | #Constraints: 20248
1024.41/1026.95 c #Conflicts: 424000 | #Constraints: 21248
1024.41/1026.95 c #Conflicts: 425000 | #Constraints: 22248
1024.41/1026.95 c #Conflicts: 426000 | #Constraints: 23248
1024.41/1026.95 c #Conflicts: 427000 | #Constraints: 24248
1024.41/1026.95 c #Conflicts: 428000 | #Constraints: 25248
1024.41/1026.95 c #Conflicts: 429000 | #Constraints: 26248
1024.41/1026.95 c #Conflicts: 430000 | #Constraints: 27248
1024.41/1026.95 c #Conflicts: 431000 | #Constraints: 28248
1024.41/1026.95 c #Conflicts: 432000 | #Constraints: 29248
1024.41/1026.95 c #Conflicts: 433000 | #Constraints: 30248
1024.41/1026.95 c INPROCESSING
1024.41/1026.95 c GARBAGE COLLECT
1024.41/1026.95 c #Conflicts: 434000 | #Constraints: 18250
1024.41/1026.95 c #Conflicts: 435000 | #Constraints: 19250
1024.41/1026.95 c #Conflicts: 436000 | #Constraints: 20250
1024.41/1026.95 c #Conflicts: 437000 | #Constraints: 21250
1196.13/1199.07 c #Conflicts: 438000 | #Constraints: 22250
1196.13/1199.07 c #Conflicts: 439000 | #Constraints: 23250
1196.13/1199.07 c #Conflicts: 440000 | #Constraints: 24250
1196.13/1199.07 c #Conflicts: 441000 | #Constraints: 25250
1196.13/1199.07 c #Conflicts: 442000 | #Constraints: 26250
1196.13/1199.07 c #Conflicts: 443000 | #Constraints: 27250
1196.13/1199.07 c #Conflicts: 444000 | #Constraints: 28250
1196.13/1199.07 c #Conflicts: 445000 | #Constraints: 29250
1196.13/1199.07 c #Conflicts: 446000 | #Constraints: 30250
1196.13/1199.07 c INPROCESSING
1196.13/1199.07 c GARBAGE COLLECT
1196.13/1199.07 c #Conflicts: 447000 | #Constraints: 18049
1196.13/1199.07 c #Conflicts: 448000 | #Constraints: 19049
1196.13/1199.07 c #Conflicts: 449000 | #Constraints: 20049
1196.13/1199.07 c #Conflicts: 450000 | #Constraints: 21049
1196.13/1199.07 c #Conflicts: 451000 | #Constraints: 22049
1196.13/1199.07 c #Conflicts: 452000 | #Constraints: 23049
1196.13/1199.07 c #Conflicts: 453000 | #Constraints: 24049
1196.13/1199.07 c #Conflicts: 454000 | #Constraints: 25049
1196.13/1199.07 c #Conflicts: 455000 | #Constraints: 26049
1196.13/1199.07 c #Conflicts: 456000 | #Constraints: 27049
1196.13/1199.07 c #Conflicts: 457000 | #Constraints: 28049
1196.13/1199.07 c #Conflicts: 458000 | #Constraints: 29049
1196.13/1199.07 c #Conflicts: 459000 | #Constraints: 30049
1196.13/1199.07 c #Conflicts: 460000 | #Constraints: 31049
1196.13/1199.07 c INPROCESSING
1196.13/1199.07 c GARBAGE COLLECT
1196.13/1199.07 c #Conflicts: 461000 | #Constraints: 18651
1196.13/1199.07 c #Conflicts: 462000 | #Constraints: 19651
1196.13/1199.07 c #Conflicts: 463000 | #Constraints: 20651
1196.13/1199.07 c #Conflicts: 464000 | #Constraints: 21651
1196.13/1199.07 c #Conflicts: 465000 | #Constraints: 22651
1196.13/1199.07 c #Conflicts: 466000 | #Constraints: 23651
1196.13/1199.07 c #Conflicts: 467000 | #Constraints: 24651
1196.13/1199.07 c #Conflicts: 468000 | #Constraints: 25651
1196.13/1199.07 c #Conflicts: 469000 | #Constraints: 26651
1196.13/1199.07 c #Conflicts: 470000 | #Constraints: 27651
1196.13/1199.07 c #Conflicts: 471000 | #Constraints: 28651
1196.13/1199.07 c #Conflicts: 472000 | #Constraints: 29651
1196.13/1199.07 c #Conflicts: 473000 | #Constraints: 30651
1196.13/1199.07 c #Conflicts: 474000 | #Constraints: 31651
1196.13/1199.07 c INPROCESSING
1196.13/1199.07 c GARBAGE COLLECT
1196.13/1199.07 c #Conflicts: 475000 | #Constraints: 19052
1196.13/1199.07 c #Conflicts: 476000 | #Constraints: 20052
1196.13/1199.07 c #Conflicts: 477000 | #Constraints: 21052
1196.13/1199.07 c #Conflicts: 478000 | #Constraints: 22052
1196.13/1199.07 c #Conflicts: 479000 | #Constraints: 23052
1196.13/1199.07 c #Conflicts: 480000 | #Constraints: 24052
1196.13/1199.07 c #Conflicts: 481000 | #Constraints: 25052
1196.13/1199.07 c #Conflicts: 482000 | #Constraints: 26052
1196.13/1199.07 c #Conflicts: 483000 | #Constraints: 27052
1196.13/1199.07 c #Conflicts: 484000 | #Constraints: 28052
1196.13/1199.07 c #Conflicts: 485000 | #Constraints: 29052
1196.13/1199.07 c #Conflicts: 486000 | #Constraints: 30052
1196.13/1199.07 c #Conflicts: 487000 | #Constraints: 31052
1196.13/1199.07 c #Conflicts: 488000 | #Constraints: 32052
1196.13/1199.07 c INPROCESSING
1196.13/1199.07 c GARBAGE COLLECT
1196.13/1199.07 c #Conflicts: 489000 | #Constraints: 19251
1196.13/1199.07 c #Conflicts: 490000 | #Constraints: 20251
1196.13/1199.07 c #Conflicts: 491000 | #Constraints: 21251
1196.13/1199.07 c #Conflicts: 492000 | #Constraints: 22251
1196.13/1199.07 c #Conflicts: 493000 | #Constraints: 23251
1196.13/1199.07 c #Conflicts: 494000 | #Constraints: 24251
1196.13/1199.07 c #Conflicts: 495000 | #Constraints: 25251
1196.13/1199.07 c #Conflicts: 496000 | #Constraints: 26251
1196.13/1199.07 c #Conflicts: 497000 | #Constraints: 27251
1196.13/1199.07 c #Conflicts: 498000 | #Constraints: 28251
1196.13/1199.07 c #Conflicts: 499000 | #Constraints: 29251
1196.13/1199.07 c #Conflicts: 500000 | #Constraints: 30251
1196.13/1199.07 c #Conflicts: 501000 | #Constraints: 31251
1196.13/1199.07 c #Conflicts: 502000 | #Constraints: 32251
1196.13/1199.07 c INPROCESSING
1196.13/1199.07 c GARBAGE COLLECT
1196.13/1199.07 c #Conflicts: 503000 | #Constraints: 19249
1196.13/1199.07 c #Conflicts: 504000 | #Constraints: 20249
1196.13/1199.07 c #Conflicts: 505000 | #Constraints: 21249
1196.13/1199.07 c #Conflicts: 506000 | #Constraints: 22249
1196.13/1199.07 c #Conflicts: 507000 | #Constraints: 23249
1196.13/1199.07 c #Conflicts: 508000 | #Constraints: 24249
1196.13/1199.07 c #Conflicts: 509000 | #Constraints: 25249
1196.13/1199.07 c #Conflicts: 510000 | #Constraints: 26249
1196.13/1199.07 c #Conflicts: 511000 | #Constraints: 27249
1196.13/1199.07 c #Conflicts: 512000 | #Constraints: 28249
1196.13/1199.07 c #Conflicts: 513000 | #Constraints: 29249
1375.29/1378.61 c #Conflicts: 514000 | #Constraints: 30249
1375.29/1378.61 c #Conflicts: 515000 | #Constraints: 31249
1375.29/1378.61 c #Conflicts: 516000 | #Constraints: 32249
1375.29/1378.61 c INPROCESSING
1375.29/1378.61 c GARBAGE COLLECT
1375.29/1378.61 c #Conflicts: 517000 | #Constraints: 19046
1375.29/1378.61 c #Conflicts: 518000 | #Constraints: 20046
1375.29/1378.61 c #Conflicts: 519000 | #Constraints: 21046
1375.29/1378.61 c #Conflicts: 520000 | #Constraints: 22046
1375.29/1378.61 c #Conflicts: 521000 | #Constraints: 23046
1375.29/1378.61 c #Conflicts: 522000 | #Constraints: 24046
1375.29/1378.61 c #Conflicts: 523000 | #Constraints: 25046
1375.29/1378.61 c #Conflicts: 524000 | #Constraints: 26046
1375.29/1378.61 c #Conflicts: 525000 | #Constraints: 27046
1375.29/1378.61 c #Conflicts: 526000 | #Constraints: 28046
1375.29/1378.61 c #Conflicts: 527000 | #Constraints: 29046
1375.29/1378.61 c #Conflicts: 528000 | #Constraints: 30046
1375.29/1378.61 c #Conflicts: 529000 | #Constraints: 31046
1375.29/1378.61 c #Conflicts: 530000 | #Constraints: 32046
1375.29/1378.61 c #Conflicts: 531000 | #Constraints: 33046
1375.29/1378.61 c INPROCESSING
1375.29/1378.61 c GARBAGE COLLECT
1375.29/1378.61 c #Conflicts: 532000 | #Constraints: 19647
1375.29/1378.61 c #Conflicts: 533000 | #Constraints: 20647
1375.29/1378.61 c #Conflicts: 534000 | #Constraints: 21647
1375.29/1378.61 c #Conflicts: 535000 | #Constraints: 22647
1375.29/1378.61 c #Conflicts: 536000 | #Constraints: 23647
1375.29/1378.61 c #Conflicts: 537000 | #Constraints: 24647
1375.29/1378.61 c #Conflicts: 538000 | #Constraints: 25647
1375.29/1378.61 c #Conflicts: 539000 | #Constraints: 26647
1375.29/1378.61 c #Conflicts: 540000 | #Constraints: 27647
1375.29/1378.61 c #Conflicts: 541000 | #Constraints: 28647
1375.29/1378.61 c #Conflicts: 542000 | #Constraints: 29647
1375.29/1378.61 c #Conflicts: 543000 | #Constraints: 30647
1375.29/1378.61 c #Conflicts: 544000 | #Constraints: 31647
1375.29/1378.61 c #Conflicts: 545000 | #Constraints: 32647
1375.29/1378.61 c #Conflicts: 546000 | #Constraints: 33647
1375.29/1378.61 c INPROCESSING
1375.29/1378.61 c GARBAGE COLLECT
1375.29/1378.61 c #Conflicts: 547000 | #Constraints: 20046
1375.29/1378.61 c #Conflicts: 548000 | #Constraints: 21046
1375.29/1378.61 c #Conflicts: 549000 | #Constraints: 22046
1375.29/1378.61 c #Conflicts: 550000 | #Constraints: 23046
1375.29/1378.61 c #Conflicts: 551000 | #Constraints: 24046
1375.29/1378.61 c #Conflicts: 552000 | #Constraints: 25046
1375.29/1378.61 c #Conflicts: 553000 | #Constraints: 26046
1375.29/1378.61 c #Conflicts: 554000 | #Constraints: 27046
1375.29/1378.61 c #Conflicts: 555000 | #Constraints: 28046
1375.29/1378.61 c #Conflicts: 556000 | #Constraints: 29046
1375.29/1378.61 c #Conflicts: 557000 | #Constraints: 30046
1375.29/1378.61 c #Conflicts: 558000 | #Constraints: 31046
1375.29/1378.61 c #Conflicts: 559000 | #Constraints: 32046
1375.29/1378.61 c #Conflicts: 560000 | #Constraints: 33046
1375.29/1378.61 c #Conflicts: 561000 | #Constraints: 34046
1375.29/1378.61 c INPROCESSING
1375.29/1378.61 c GARBAGE COLLECT
1375.29/1378.61 c #Conflicts: 562000 | #Constraints: 20247
1375.29/1378.61 c #Conflicts: 563000 | #Constraints: 21247
1375.29/1378.61 c #Conflicts: 564000 | #Constraints: 22247
1375.29/1378.61 c #Conflicts: 565000 | #Constraints: 23247
1375.29/1378.61 c #Conflicts: 566000 | #Constraints: 24247
1375.29/1378.61 c #Conflicts: 567000 | #Constraints: 25247
1375.29/1378.61 c #Conflicts: 568000 | #Constraints: 26247
1375.29/1378.61 c #Conflicts: 569000 | #Constraints: 27247
1375.29/1378.61 c #Conflicts: 570000 | #Constraints: 28247
1375.29/1378.61 c #Conflicts: 571000 | #Constraints: 29247
1375.29/1378.61 c #Conflicts: 572000 | #Constraints: 30247
1375.29/1378.61 c #Conflicts: 573000 | #Constraints: 31247
1375.29/1378.61 c #Conflicts: 574000 | #Constraints: 32247
1375.29/1378.61 c #Conflicts: 575000 | #Constraints: 33247
1375.29/1378.61 c #Conflicts: 576000 | #Constraints: 34247
1375.29/1378.61 c INPROCESSING
1375.29/1378.61 c GARBAGE COLLECT
1375.29/1378.61 c #Conflicts: 577000 | #Constraints: 20250
1375.29/1378.61 c #Conflicts: 578000 | #Constraints: 21250
1375.29/1378.61 c #Conflicts: 579000 | #Constraints: 22250
1375.29/1378.61 c #Conflicts: 580000 | #Constraints: 23250
1375.29/1378.61 c #Conflicts: 581000 | #Constraints: 24250
1375.29/1378.61 c #Conflicts: 582000 | #Constraints: 25250
1375.29/1378.61 c #Conflicts: 583000 | #Constraints: 26250
1375.29/1378.61 c #Conflicts: 584000 | #Constraints: 27250
1375.29/1378.61 c #Conflicts: 585000 | #Constraints: 28250
1375.29/1378.61 c #Conflicts: 586000 | #Constraints: 29250
1375.29/1378.61 c #Conflicts: 587000 | #Constraints: 30250
1375.29/1378.61 c #Conflicts: 588000 | #Constraints: 31250
1555.06/1558.84 c #Conflicts: 589000 | #Constraints: 32250
1555.06/1558.84 c #Conflicts: 590000 | #Constraints: 33250
1555.06/1558.84 c #Conflicts: 591000 | #Constraints: 34250
1555.06/1558.84 c INPROCESSING
1555.06/1558.84 c GARBAGE COLLECT
1555.06/1558.84 c #Conflicts: 592000 | #Constraints: 20052
1555.06/1558.84 c #Conflicts: 593000 | #Constraints: 21052
1555.06/1558.84 c #Conflicts: 594000 | #Constraints: 22052
1555.06/1558.84 c #Conflicts: 595000 | #Constraints: 23052
1555.06/1558.84 c #Conflicts: 596000 | #Constraints: 24052
1555.06/1558.84 c #Conflicts: 597000 | #Constraints: 25052
1555.06/1558.84 c #Conflicts: 598000 | #Constraints: 26052
1555.06/1558.84 c #Conflicts: 599000 | #Constraints: 27052
1555.06/1558.84 c #Conflicts: 600000 | #Constraints: 28052
1555.06/1558.84 c #Conflicts: 601000 | #Constraints: 29052
1555.06/1558.84 c #Conflicts: 602000 | #Constraints: 30052
1555.06/1558.84 c #Conflicts: 603000 | #Constraints: 31052
1555.06/1558.84 c #Conflicts: 604000 | #Constraints: 32052
1555.06/1558.84 c #Conflicts: 605000 | #Constraints: 33052
1555.06/1558.84 c #Conflicts: 606000 | #Constraints: 34052
1555.06/1558.84 c #Conflicts: 607000 | #Constraints: 35052
1555.06/1558.84 c INPROCESSING
1555.06/1558.84 c GARBAGE COLLECT
1555.06/1558.84 c #Conflicts: 608000 | #Constraints: 20649
1555.06/1558.84 c #Conflicts: 609000 | #Constraints: 21649
1555.06/1558.84 c #Conflicts: 610000 | #Constraints: 22649
1555.06/1558.84 c #Conflicts: 611000 | #Constraints: 23649
1555.06/1558.84 c #Conflicts: 612000 | #Constraints: 24649
1555.06/1558.84 c #Conflicts: 613000 | #Constraints: 25649
1555.06/1558.84 c #Conflicts: 614000 | #Constraints: 26649
1555.06/1558.84 c #Conflicts: 615000 | #Constraints: 27649
1555.06/1558.84 c #Conflicts: 616000 | #Constraints: 28649
1555.06/1558.84 c #Conflicts: 617000 | #Constraints: 29649
1555.06/1558.84 c #Conflicts: 618000 | #Constraints: 30649
1555.06/1558.84 c #Conflicts: 619000 | #Constraints: 31649
1555.06/1558.84 c #Conflicts: 620000 | #Constraints: 32649
1555.06/1558.84 c #Conflicts: 621000 | #Constraints: 33649
1555.06/1558.84 c #Conflicts: 622000 | #Constraints: 34649
1555.06/1558.84 c #Conflicts: 623000 | #Constraints: 35649
1555.06/1558.84 c INPROCESSING
1555.06/1558.84 c GARBAGE COLLECT
1555.06/1558.84 c #Conflicts: 624000 | #Constraints: 21049
1555.06/1558.84 c #Conflicts: 625000 | #Constraints: 22049
1555.06/1558.84 c #Conflicts: 626000 | #Constraints: 23049
1555.06/1558.84 c #Conflicts: 627000 | #Constraints: 24049
1555.06/1558.84 c #Conflicts: 628000 | #Constraints: 25049
1555.06/1558.84 c #Conflicts: 629000 | #Constraints: 26049
1555.06/1558.84 c #Conflicts: 630000 | #Constraints: 27049
1555.06/1558.84 c #Conflicts: 631000 | #Constraints: 28049
1555.06/1558.84 c #Conflicts: 632000 | #Constraints: 29049
1555.06/1558.84 c #Conflicts: 633000 | #Constraints: 30049
1555.06/1558.84 c #Conflicts: 634000 | #Constraints: 31049
1555.06/1558.84 c #Conflicts: 635000 | #Constraints: 32049
1555.06/1558.84 c #Conflicts: 636000 | #Constraints: 33049
1555.06/1558.84 c #Conflicts: 637000 | #Constraints: 34049
1555.06/1558.84 c #Conflicts: 638000 | #Constraints: 35049
1555.06/1558.84 c #Conflicts: 639000 | #Constraints: 36049
1555.06/1558.84 c INPROCESSING
1555.06/1558.84 c GARBAGE COLLECT
1555.06/1558.84 c #Conflicts: 640000 | #Constraints: 21248
1555.06/1558.84 c #Conflicts: 641000 | #Constraints: 22248
1555.06/1558.84 c #Conflicts: 642000 | #Constraints: 23248
1555.06/1558.84 c #Conflicts: 643000 | #Constraints: 24248
1555.06/1558.84 c #Conflicts: 644000 | #Constraints: 25248
1555.06/1558.84 c #Conflicts: 645000 | #Constraints: 26248
1555.06/1558.84 c #Conflicts: 646000 | #Constraints: 27248
1555.06/1558.84 c #Conflicts: 647000 | #Constraints: 28248
1555.06/1558.84 c #Conflicts: 648000 | #Constraints: 29248
1555.06/1558.84 c #Conflicts: 649000 | #Constraints: 30248
1555.06/1558.84 c #Conflicts: 650000 | #Constraints: 31248
1555.06/1558.84 c #Conflicts: 651000 | #Constraints: 32248
1555.06/1558.84 c #Conflicts: 652000 | #Constraints: 33248
1555.06/1558.84 c #Conflicts: 653000 | #Constraints: 34248
1555.06/1558.84 c #Conflicts: 654000 | #Constraints: 35248
1555.06/1558.84 c #Conflicts: 655000 | #Constraints: 36248
1555.06/1558.84 c INPROCESSING
1555.06/1558.84 c GARBAGE COLLECT
1555.06/1558.84 c #Conflicts: 656000 | #Constraints: 21251
1555.06/1558.84 c #Conflicts: 657000 | #Constraints: 22251
1555.06/1558.84 c #Conflicts: 658000 | #Constraints: 23251
1555.06/1558.84 c #Conflicts: 659000 | #Constraints: 24251
1555.06/1558.84 c #Conflicts: 660000 | #Constraints: 25251
1555.06/1558.84 c #Conflicts: 661000 | #Constraints: 26251
1555.06/1558.84 c #Conflicts: 662000 | #Constraints: 27251
1555.06/1558.84 c #Conflicts: 663000 | #Constraints: 28251
1555.06/1558.84 c #Conflicts: 664000 | #Constraints: 29251
1729.34/1733.53 c #Conflicts: 665000 | #Constraints: 30251
1729.34/1733.53 c #Conflicts: 666000 | #Constraints: 31251
1729.34/1733.53 c #Conflicts: 667000 | #Constraints: 32251
1729.34/1733.53 c #Conflicts: 668000 | #Constraints: 33251
1729.34/1733.53 c #Conflicts: 669000 | #Constraints: 34251
1729.34/1733.53 c #Conflicts: 670000 | #Constraints: 35251
1729.34/1733.53 c #Conflicts: 671000 | #Constraints: 36251
1729.34/1733.53 c INPROCESSING
1729.34/1733.53 c GARBAGE COLLECT
1729.34/1733.53 c #Conflicts: 672000 | #Constraints: 21048
1729.34/1733.53 c #Conflicts: 673000 | #Constraints: 22048
1729.34/1733.53 c #Conflicts: 674000 | #Constraints: 23048
1729.34/1733.53 c #Conflicts: 675000 | #Constraints: 24048
1729.34/1733.53 c #Conflicts: 676000 | #Constraints: 25048
1729.34/1733.53 c #Conflicts: 677000 | #Constraints: 26048
1729.34/1733.53 c #Conflicts: 678000 | #Constraints: 27048
1729.34/1733.53 c #Conflicts: 679000 | #Constraints: 28048
1729.34/1733.53 c #Conflicts: 680000 | #Constraints: 29048
1729.34/1733.53 c #Conflicts: 681000 | #Constraints: 30048
1729.34/1733.53 c #Conflicts: 682000 | #Constraints: 31048
1729.34/1733.53 c #Conflicts: 683000 | #Constraints: 32048
1729.34/1733.53 c #Conflicts: 684000 | #Constraints: 33048
1729.34/1733.53 c #Conflicts: 685000 | #Constraints: 34048
1729.34/1733.53 c #Conflicts: 686000 | #Constraints: 35048
1729.34/1733.53 c #Conflicts: 687000 | #Constraints: 36048
1729.34/1733.53 c #Conflicts: 688000 | #Constraints: 37048
1729.34/1733.53 c INPROCESSING
1729.34/1733.53 c GARBAGE COLLECT
1729.34/1733.53 c #Conflicts: 689000 | #Constraints: 21647
1729.34/1733.53 c #Conflicts: 690000 | #Constraints: 22647
1729.34/1733.53 c #Conflicts: 691000 | #Constraints: 23647
1729.34/1733.53 c #Conflicts: 692000 | #Constraints: 24647
1729.34/1733.53 c #Conflicts: 693000 | #Constraints: 25647
1729.34/1733.53 c #Conflicts: 694000 | #Constraints: 26647
1729.34/1733.53 c #Conflicts: 695000 | #Constraints: 27647
1729.34/1733.53 c #Conflicts: 696000 | #Constraints: 28647
1729.34/1733.53 c #Conflicts: 697000 | #Constraints: 29647
1729.34/1733.53 c #Conflicts: 698000 | #Constraints: 30647
1729.34/1733.53 c #Conflicts: 699000 | #Constraints: 31647
1729.34/1733.53 c #Conflicts: 700000 | #Constraints: 32647
1729.34/1733.53 c #Conflicts: 701000 | #Constraints: 33647
1729.34/1733.53 c #Conflicts: 702000 | #Constraints: 34647
1729.34/1733.53 c #Conflicts: 703000 | #Constraints: 35647
1729.34/1733.53 c #Conflicts: 704000 | #Constraints: 36647
1729.34/1733.53 c #Conflicts: 705000 | #Constraints: 37647
1729.34/1733.53 c INPROCESSING
1729.34/1733.53 c GARBAGE COLLECT
1729.34/1733.53 c #Conflicts: 706000 | #Constraints: 22047
1729.34/1733.53 c #Conflicts: 707000 | #Constraints: 23047
1729.34/1733.53 c #Conflicts: 708000 | #Constraints: 24047
1729.34/1733.53 c #Conflicts: 709000 | #Constraints: 25047
1729.34/1733.53 c #Conflicts: 710000 | #Constraints: 26047
1729.34/1733.53 c #Conflicts: 711000 | #Constraints: 27047
1729.34/1733.53 c #Conflicts: 712000 | #Constraints: 28047
1729.34/1733.53 c #Conflicts: 713000 | #Constraints: 29047
1729.34/1733.53 c #Conflicts: 714000 | #Constraints: 30047
1729.34/1733.53 c #Conflicts: 715000 | #Constraints: 31047
1729.34/1733.53 c #Conflicts: 716000 | #Constraints: 32047
1729.34/1733.53 c #Conflicts: 717000 | #Constraints: 33047
1729.34/1733.53 c #Conflicts: 718000 | #Constraints: 34047
1729.34/1733.53 c #Conflicts: 719000 | #Constraints: 35047
1729.34/1733.53 c #Conflicts: 720000 | #Constraints: 36047
1729.34/1733.53 c #Conflicts: 721000 | #Constraints: 37047
1729.34/1733.53 c #Conflicts: 722000 | #Constraints: 38047
1729.34/1733.53 c INPROCESSING
1729.34/1733.53 c GARBAGE COLLECT
1729.34/1733.53 c #Conflicts: 723000 | #Constraints: 22249
1729.34/1733.53 c #Conflicts: 724000 | #Constraints: 23249
1729.34/1733.53 c #Conflicts: 725000 | #Constraints: 24249
1729.34/1733.53 c #Conflicts: 726000 | #Constraints: 25249
1729.34/1733.53 c #Conflicts: 727000 | #Constraints: 26249
1729.34/1733.53 c #Conflicts: 728000 | #Constraints: 27249
1729.34/1733.53 c #Conflicts: 729000 | #Constraints: 28249
1729.34/1733.53 c #Conflicts: 730000 | #Constraints: 29249
1729.34/1733.53 c #Conflicts: 731000 | #Constraints: 30249
1729.34/1733.53 c #Conflicts: 732000 | #Constraints: 31249
1729.34/1733.53 c #Conflicts: 733000 | #Constraints: 32249
1729.34/1733.53 c #Conflicts: 734000 | #Constraints: 33249
1729.34/1733.53 c #Conflicts: 735000 | #Constraints: 34249
1729.34/1733.53 c #Conflicts: 736000 | #Constraints: 35249
1729.34/1733.53 c #Conflicts: 737000 | #Constraints: 36249
1729.34/1733.53 c #Conflicts: 738000 | #Constraints: 37249
1729.34/1733.53 c #Conflicts: 739000 | #Constraints: 38249
1729.34/1733.53 c INPROCESSING
1729.34/1733.53 c GARBAGE COLLECT
1908.60/1913.21 c #Conflicts: 740000 | #Constraints: 22250
1908.60/1913.21 c #Conflicts: 741000 | #Constraints: 23250
1908.60/1913.21 c #Conflicts: 742000 | #Constraints: 24250
1908.60/1913.21 c #Conflicts: 743000 | #Constraints: 25250
1908.60/1913.21 c #Conflicts: 744000 | #Constraints: 26250
1908.60/1913.21 c #Conflicts: 745000 | #Constraints: 27250
1908.60/1913.21 c #Conflicts: 746000 | #Constraints: 28250
1908.60/1913.21 c #Conflicts: 747000 | #Constraints: 29250
1908.60/1913.21 c #Conflicts: 748000 | #Constraints: 30250
1908.60/1913.21 c #Conflicts: 749000 | #Constraints: 31250
1908.60/1913.21 c #Conflicts: 750000 | #Constraints: 32250
1908.60/1913.21 c #Conflicts: 751000 | #Constraints: 33250
1908.60/1913.21 c #Conflicts: 752000 | #Constraints: 34250
1908.60/1913.21 c #Conflicts: 753000 | #Constraints: 35250
1908.60/1913.21 c #Conflicts: 754000 | #Constraints: 36250
1908.60/1913.21 c #Conflicts: 755000 | #Constraints: 37250
1908.60/1913.21 c #Conflicts: 756000 | #Constraints: 38250
1908.60/1913.21 c INPROCESSING
1908.60/1913.21 c GARBAGE COLLECT
1908.60/1913.21 c #Conflicts: 757000 | #Constraints: 22050
1908.60/1913.21 c #Conflicts: 758000 | #Constraints: 23050
1908.60/1913.21 c #Conflicts: 759000 | #Constraints: 24050
1908.60/1913.21 c #Conflicts: 760000 | #Constraints: 25050
1908.60/1913.21 c #Conflicts: 761000 | #Constraints: 26050
1908.60/1913.21 c #Conflicts: 762000 | #Constraints: 27050
1908.60/1913.21 c #Conflicts: 763000 | #Constraints: 28050
1908.60/1913.21 c #Conflicts: 764000 | #Constraints: 29050
1908.60/1913.21 c #Conflicts: 765000 | #Constraints: 30050
1908.60/1913.21 c #Conflicts: 766000 | #Constraints: 31050
1908.60/1913.21 c #Conflicts: 767000 | #Constraints: 32050
1908.60/1913.21 c #Conflicts: 768000 | #Constraints: 33050
1908.60/1913.21 c #Conflicts: 769000 | #Constraints: 34050
1908.60/1913.21 c #Conflicts: 770000 | #Constraints: 35050
1908.60/1913.21 c #Conflicts: 771000 | #Constraints: 36050
1908.60/1913.21 c #Conflicts: 772000 | #Constraints: 37050
1908.60/1913.21 c #Conflicts: 773000 | #Constraints: 38050
1908.60/1913.21 c #Conflicts: 774000 | #Constraints: 39050
1908.60/1913.21 c INPROCESSING
1908.60/1913.21 c GARBAGE COLLECT
1908.60/1913.21 c #Conflicts: 775000 | #Constraints: 22649
1908.60/1913.21 c #Conflicts: 776000 | #Constraints: 23649
1908.60/1913.21 c #Conflicts: 777000 | #Constraints: 24649
1908.60/1913.21 c #Conflicts: 778000 | #Constraints: 25649
1908.60/1913.21 c #Conflicts: 779000 | #Constraints: 26649
1908.60/1913.21 c #Conflicts: 780000 | #Constraints: 27649
1908.60/1913.21 c #Conflicts: 781000 | #Constraints: 28649
1908.60/1913.21 c #Conflicts: 782000 | #Constraints: 29649
1908.60/1913.21 c #Conflicts: 783000 | #Constraints: 30649
1908.60/1913.21 c #Conflicts: 784000 | #Constraints: 31649
1908.60/1913.21 c #Conflicts: 785000 | #Constraints: 32649
1908.60/1913.21 c #Conflicts: 786000 | #Constraints: 33649
1908.60/1913.21 c #Conflicts: 787000 | #Constraints: 34649
1908.60/1913.21 c #Conflicts: 788000 | #Constraints: 35649
1908.60/1913.21 c #Conflicts: 789000 | #Constraints: 36649
1908.60/1913.21 c #Conflicts: 790000 | #Constraints: 37649
1908.60/1913.21 c #Conflicts: 791000 | #Constraints: 38649
1908.60/1913.21 c #Conflicts: 792000 | #Constraints: 39649
1908.60/1913.21 c INPROCESSING
1908.60/1913.21 c GARBAGE COLLECT
1908.60/1913.21 c #Conflicts: 793000 | #Constraints: 23049
1908.60/1913.21 c #Conflicts: 794000 | #Constraints: 24049
1908.60/1913.21 c #Conflicts: 795000 | #Constraints: 25049
1908.60/1913.21 c #Conflicts: 796000 | #Constraints: 26049
1908.60/1913.21 c #Conflicts: 797000 | #Constraints: 27049
1908.60/1913.21 c #Conflicts: 798000 | #Constraints: 28049
1908.60/1913.21 c #Conflicts: 799000 | #Constraints: 29049
1908.60/1913.21 c #Conflicts: 800000 | #Constraints: 30049
1908.60/1913.21 c #Conflicts: 801000 | #Constraints: 31049
1908.60/1913.21 c #Conflicts: 802000 | #Constraints: 32049
1908.60/1913.21 c #Conflicts: 803000 | #Constraints: 33049
1908.60/1913.21 c #Conflicts: 804000 | #Constraints: 34049
1908.60/1913.21 c #Conflicts: 805000 | #Constraints: 35049
1908.60/1913.21 c #Conflicts: 806000 | #Constraints: 36049
1908.60/1913.21 c #Conflicts: 807000 | #Constraints: 37049
1908.60/1913.21 c #Conflicts: 808000 | #Constraints: 38049
1908.60/1913.21 c #Conflicts: 809000 | #Constraints: 39049
1908.60/1913.21 c #Conflicts: 810000 | #Constraints: 40049
1908.60/1913.21 c INPROCESSING
1908.60/1913.21 c GARBAGE COLLECT
1908.60/1913.21 c #Conflicts: 811000 | #Constraints: 23252
1908.60/1913.21 c #Conflicts: 812000 | #Constraints: 24252
1908.60/1913.21 c #Conflicts: 813000 | #Constraints: 25252
1908.60/1913.21 c #Conflicts: 814000 | #Constraints: 26252
1908.60/1913.21 c #Conflicts: 815000 | #Constraints: 27252
1908.60/1913.21 c #Conflicts: 816000 | #Constraints: 28252
2086.61/2091.70 c #Conflicts: 817000 | #Constraints: 29252
2086.61/2091.70 c #Conflicts: 818000 | #Constraints: 30252
2086.61/2091.70 c #Conflicts: 819000 | #Constraints: 31252
2086.61/2091.70 c #Conflicts: 820000 | #Constraints: 32252
2086.61/2091.70 c #Conflicts: 821000 | #Constraints: 33252
2086.61/2091.70 c #Conflicts: 822000 | #Constraints: 34252
2086.61/2091.70 c #Conflicts: 823000 | #Constraints: 35252
2086.61/2091.70 c #Conflicts: 824000 | #Constraints: 36252
2086.61/2091.70 c #Conflicts: 825000 | #Constraints: 37252
2086.61/2091.70 c #Conflicts: 826000 | #Constraints: 38252
2086.61/2091.70 c #Conflicts: 827000 | #Constraints: 39252
2086.61/2091.70 c #Conflicts: 828000 | #Constraints: 40252
2086.61/2091.70 c INPROCESSING
2086.61/2091.70 c GARBAGE COLLECT
2086.61/2091.70 c #Conflicts: 829000 | #Constraints: 23251
2086.61/2091.70 c #Conflicts: 830000 | #Constraints: 24251
2086.61/2091.70 c #Conflicts: 831000 | #Constraints: 25251
2086.61/2091.70 c #Conflicts: 832000 | #Constraints: 26251
2086.61/2091.70 c #Conflicts: 833000 | #Constraints: 27251
2086.61/2091.70 c #Conflicts: 834000 | #Constraints: 28251
2086.61/2091.70 c #Conflicts: 835000 | #Constraints: 29251
2086.61/2091.70 c #Conflicts: 836000 | #Constraints: 30251
2086.61/2091.70 c #Conflicts: 837000 | #Constraints: 31251
2086.61/2091.70 c #Conflicts: 838000 | #Constraints: 32251
2086.61/2091.70 c #Conflicts: 839000 | #Constraints: 33251
2086.61/2091.70 c #Conflicts: 840000 | #Constraints: 34251
2086.61/2091.70 c #Conflicts: 841000 | #Constraints: 35251
2086.61/2091.70 c #Conflicts: 842000 | #Constraints: 36251
2086.61/2091.70 c #Conflicts: 843000 | #Constraints: 37251
2086.61/2091.70 c #Conflicts: 844000 | #Constraints: 38251
2086.61/2091.70 c #Conflicts: 845000 | #Constraints: 39251
2086.61/2091.70 c #Conflicts: 846000 | #Constraints: 40251
2086.61/2091.70 c INPROCESSING
2086.61/2091.70 c GARBAGE COLLECT
2086.61/2091.70 c #Conflicts: 847000 | #Constraints: 23051
2086.61/2091.70 c #Conflicts: 848000 | #Constraints: 24051
2086.61/2091.70 c #Conflicts: 849000 | #Constraints: 25051
2086.61/2091.70 c #Conflicts: 850000 | #Constraints: 26051
2086.61/2091.70 c #Conflicts: 851000 | #Constraints: 27051
2086.61/2091.70 c #Conflicts: 852000 | #Constraints: 28051
2086.61/2091.70 c #Conflicts: 853000 | #Constraints: 29051
2086.61/2091.70 c #Conflicts: 854000 | #Constraints: 30051
2086.61/2091.70 c #Conflicts: 855000 | #Constraints: 31051
2086.61/2091.70 c #Conflicts: 856000 | #Constraints: 32051
2086.61/2091.70 c #Conflicts: 857000 | #Constraints: 33051
2086.61/2091.70 c #Conflicts: 858000 | #Constraints: 34051
2086.61/2091.70 c #Conflicts: 859000 | #Constraints: 35051
2086.61/2091.70 c #Conflicts: 860000 | #Constraints: 36051
2086.61/2091.70 c #Conflicts: 861000 | #Constraints: 37051
2086.61/2091.70 c #Conflicts: 862000 | #Constraints: 38051
2086.61/2091.70 c #Conflicts: 863000 | #Constraints: 39051
2086.61/2091.70 c #Conflicts: 864000 | #Constraints: 40051
2086.61/2091.70 c #Conflicts: 865000 | #Constraints: 41051
2086.61/2091.70 c INPROCESSING
2086.61/2091.70 c GARBAGE COLLECT
2086.61/2091.70 c #Conflicts: 866000 | #Constraints: 23650
2086.61/2091.70 c #Conflicts: 867000 | #Constraints: 24650
2086.61/2091.70 c #Conflicts: 868000 | #Constraints: 25650
2086.61/2091.70 c #Conflicts: 869000 | #Constraints: 26650
2086.61/2091.70 c #Conflicts: 870000 | #Constraints: 27650
2086.61/2091.70 c #Conflicts: 871000 | #Constraints: 28650
2086.61/2091.70 c #Conflicts: 872000 | #Constraints: 29650
2086.61/2091.70 c #Conflicts: 873000 | #Constraints: 30650
2086.61/2091.70 c #Conflicts: 874000 | #Constraints: 31650
2086.61/2091.70 c #Conflicts: 875000 | #Constraints: 32650
2086.61/2091.70 c #Conflicts: 876000 | #Constraints: 33650
2086.61/2091.70 c #Conflicts: 877000 | #Constraints: 34650
2086.61/2091.70 c #Conflicts: 878000 | #Constraints: 35650
2086.61/2091.70 c #Conflicts: 879000 | #Constraints: 36650
2086.61/2091.70 c #Conflicts: 880000 | #Constraints: 37650
2086.61/2091.70 c #Conflicts: 881000 | #Constraints: 38650
2086.61/2091.70 c #Conflicts: 882000 | #Constraints: 39650
2086.61/2091.70 c #Conflicts: 883000 | #Constraints: 40650
2086.61/2091.70 c #Conflicts: 884000 | #Constraints: 41650
2086.61/2091.70 c INPROCESSING
2086.61/2091.70 c GARBAGE COLLECT
2086.61/2091.70 c #Conflicts: 885000 | #Constraints: 24051
2086.61/2091.70 c #Conflicts: 886000 | #Constraints: 25051
2086.61/2091.70 c #Conflicts: 887000 | #Constraints: 26051
2086.61/2091.70 c #Conflicts: 888000 | #Constraints: 27051
2086.61/2091.70 c #Conflicts: 889000 | #Constraints: 28051
2086.61/2091.70 c #Conflicts: 890000 | #Constraints: 29051
2086.61/2091.70 c #Conflicts: 891000 | #Constraints: 30051
2086.61/2091.70 c #Conflicts: 892000 | #Constraints: 31051
2262.26/2267.80 c #Conflicts: 893000 | #Constraints: 32051
2262.26/2267.80 c #Conflicts: 894000 | #Constraints: 33051
2262.26/2267.80 c #Conflicts: 895000 | #Constraints: 34051
2262.26/2267.80 c #Conflicts: 896000 | #Constraints: 35051
2262.26/2267.80 c #Conflicts: 897000 | #Constraints: 36051
2262.26/2267.80 c #Conflicts: 898000 | #Constraints: 37051
2262.26/2267.80 c #Conflicts: 899000 | #Constraints: 38051
2262.26/2267.80 c #Conflicts: 900000 | #Constraints: 39051
2262.26/2267.80 c #Conflicts: 901000 | #Constraints: 40051
2262.26/2267.80 c #Conflicts: 902000 | #Constraints: 41051
2262.26/2267.80 c #Conflicts: 903000 | #Constraints: 42051
2262.26/2267.80 c INPROCESSING
2262.26/2267.80 c GARBAGE COLLECT
2262.26/2267.80 c #Conflicts: 904000 | #Constraints: 24252
2262.26/2267.80 c #Conflicts: 905000 | #Constraints: 25252
2262.26/2267.80 c #Conflicts: 906000 | #Constraints: 26252
2262.26/2267.80 c #Conflicts: 907000 | #Constraints: 27252
2262.26/2267.80 c #Conflicts: 908000 | #Constraints: 28252
2262.26/2267.80 c #Conflicts: 909000 | #Constraints: 29252
2262.26/2267.80 c #Conflicts: 910000 | #Constraints: 30252
2262.26/2267.80 c #Conflicts: 911000 | #Constraints: 31252
2262.26/2267.80 c #Conflicts: 912000 | #Constraints: 32252
2262.26/2267.80 c #Conflicts: 913000 | #Constraints: 33252
2262.26/2267.80 c #Conflicts: 914000 | #Constraints: 34252
2262.26/2267.80 c #Conflicts: 915000 | #Constraints: 35252
2262.26/2267.80 c #Conflicts: 916000 | #Constraints: 36252
2262.26/2267.80 c #Conflicts: 917000 | #Constraints: 37252
2262.26/2267.80 c #Conflicts: 918000 | #Constraints: 38252
2262.26/2267.80 c #Conflicts: 919000 | #Constraints: 39252
2262.26/2267.80 c #Conflicts: 920000 | #Constraints: 40252
2262.26/2267.80 c #Conflicts: 921000 | #Constraints: 41252
2262.26/2267.80 c #Conflicts: 922000 | #Constraints: 42252
2262.26/2267.80 c INPROCESSING
2262.26/2267.80 c GARBAGE COLLECT
2262.26/2267.80 c #Conflicts: 923000 | #Constraints: 24253
2262.26/2267.80 c #Conflicts: 924000 | #Constraints: 25253
2262.26/2267.80 c #Conflicts: 925000 | #Constraints: 26253
2262.26/2267.80 c #Conflicts: 926000 | #Constraints: 27253
2262.26/2267.80 c #Conflicts: 927000 | #Constraints: 28253
2262.26/2267.80 c #Conflicts: 928000 | #Constraints: 29253
2262.26/2267.80 c #Conflicts: 929000 | #Constraints: 30253
2262.26/2267.80 c #Conflicts: 930000 | #Constraints: 31253
2262.26/2267.80 c #Conflicts: 931000 | #Constraints: 32253
2262.26/2267.80 c #Conflicts: 932000 | #Constraints: 33253
2262.26/2267.80 c #Conflicts: 933000 | #Constraints: 34253
2262.26/2267.80 c #Conflicts: 934000 | #Constraints: 35253
2262.26/2267.80 c #Conflicts: 935000 | #Constraints: 36253
2262.26/2267.80 c #Conflicts: 936000 | #Constraints: 37253
2262.26/2267.80 c #Conflicts: 937000 | #Constraints: 38253
2262.26/2267.80 c #Conflicts: 938000 | #Constraints: 39253
2262.26/2267.80 c #Conflicts: 939000 | #Constraints: 40253
2262.26/2267.80 c #Conflicts: 940000 | #Constraints: 41253
2262.26/2267.80 c #Conflicts: 941000 | #Constraints: 42253
2262.26/2267.80 c INPROCESSING
2262.26/2267.80 c GARBAGE COLLECT
2262.26/2267.80 c #Conflicts: 942000 | #Constraints: 24053
2262.26/2267.80 c #Conflicts: 943000 | #Constraints: 25053
2262.26/2267.80 c #Conflicts: 944000 | #Constraints: 26053
2262.26/2267.80 c #Conflicts: 945000 | #Constraints: 27053
2262.26/2267.80 c #Conflicts: 946000 | #Constraints: 28053
2262.26/2267.80 c #Conflicts: 947000 | #Constraints: 29053
2262.26/2267.80 c #Conflicts: 948000 | #Constraints: 30053
2262.26/2267.80 c #Conflicts: 949000 | #Constraints: 31053
2262.26/2267.80 c #Conflicts: 950000 | #Constraints: 32053
2262.26/2267.80 c #Conflicts: 951000 | #Constraints: 33053
2262.26/2267.80 c #Conflicts: 952000 | #Constraints: 34053
2262.26/2267.80 c #Conflicts: 953000 | #Constraints: 35053
2262.26/2267.80 c #Conflicts: 954000 | #Constraints: 36053
2262.26/2267.80 c #Conflicts: 955000 | #Constraints: 37053
2262.26/2267.80 c #Conflicts: 956000 | #Constraints: 38053
2262.26/2267.80 c #Conflicts: 957000 | #Constraints: 39053
2262.26/2267.80 c #Conflicts: 958000 | #Constraints: 40053
2262.26/2267.80 c #Conflicts: 959000 | #Constraints: 41053
2262.26/2267.80 c #Conflicts: 960000 | #Constraints: 42053
2262.26/2267.80 c #Conflicts: 961000 | #Constraints: 43053
2262.26/2267.80 c INPROCESSING
2262.26/2267.80 c GARBAGE COLLECT
2262.26/2267.80 c #Conflicts: 962000 | #Constraints: 24655
2262.26/2267.80 c #Conflicts: 963000 | #Constraints: 25655
2262.26/2267.80 c #Conflicts: 964000 | #Constraints: 26655
2262.26/2267.80 c #Conflicts: 965000 | #Constraints: 27655
2262.26/2267.80 c #Conflicts: 966000 | #Constraints: 28655
2262.26/2267.80 c #Conflicts: 967000 | #Constraints: 29655
2262.26/2267.80 c #Conflicts: 968000 | #Constraints: 30655
2439.76/2445.71 c #Conflicts: 969000 | #Constraints: 31655
2439.76/2445.71 c #Conflicts: 970000 | #Constraints: 32655
2439.76/2445.71 c #Conflicts: 971000 | #Constraints: 33655
2439.76/2445.71 c #Conflicts: 972000 | #Constraints: 34655
2439.76/2445.71 c #Conflicts: 973000 | #Constraints: 35655
2439.76/2445.71 c #Conflicts: 974000 | #Constraints: 36655
2439.76/2445.71 c #Conflicts: 975000 | #Constraints: 37655
2439.76/2445.71 c #Conflicts: 976000 | #Constraints: 38655
2439.76/2445.71 c #Conflicts: 977000 | #Constraints: 39655
2439.76/2445.71 c #Conflicts: 978000 | #Constraints: 40655
2439.76/2445.71 c #Conflicts: 979000 | #Constraints: 41655
2439.76/2445.71 c #Conflicts: 980000 | #Constraints: 42655
2439.76/2445.71 c #Conflicts: 981000 | #Constraints: 43655
2439.76/2445.71 c INPROCESSING
2439.76/2445.71 c GARBAGE COLLECT
2439.76/2445.71 c #Conflicts: 982000 | #Constraints: 25054
2439.76/2445.71 c #Conflicts: 983000 | #Constraints: 26054
2439.76/2445.71 c #Conflicts: 984000 | #Constraints: 27054
2439.76/2445.71 c #Conflicts: 985000 | #Constraints: 28054
2439.76/2445.71 c #Conflicts: 986000 | #Constraints: 29054
2439.76/2445.71 c #Conflicts: 987000 | #Constraints: 30054
2439.76/2445.71 c #Conflicts: 988000 | #Constraints: 31054
2439.76/2445.71 c #Conflicts: 989000 | #Constraints: 32054
2439.76/2445.71 c #Conflicts: 990000 | #Constraints: 33054
2439.76/2445.71 c #Conflicts: 991000 | #Constraints: 34054
2439.76/2445.71 c #Conflicts: 992000 | #Constraints: 35054
2439.76/2445.71 c #Conflicts: 993000 | #Constraints: 36054
2439.76/2445.71 c #Conflicts: 994000 | #Constraints: 37054
2439.76/2445.71 c #Conflicts: 995000 | #Constraints: 38054
2439.76/2445.71 c #Conflicts: 996000 | #Constraints: 39054
2439.76/2445.71 c #Conflicts: 997000 | #Constraints: 40054
2439.76/2445.71 c #Conflicts: 998000 | #Constraints: 41054
2439.76/2445.71 c #Conflicts: 999000 | #Constraints: 42054
2439.76/2445.71 c #Conflicts: 1000000 | #Constraints: 43054
2439.76/2445.71 c #Conflicts: 1001000 | #Constraints: 44054
2439.76/2445.71 c INPROCESSING
2439.76/2445.71 c GARBAGE COLLECT
2439.76/2445.71 c #Conflicts: 1002000 | #Constraints: 25254
2439.76/2445.71 c #Conflicts: 1003000 | #Constraints: 26254
2439.76/2445.71 c #Conflicts: 1004000 | #Constraints: 27254
2439.76/2445.71 c #Conflicts: 1005000 | #Constraints: 28254
2439.76/2445.71 c #Conflicts: 1006000 | #Constraints: 29254
2439.76/2445.71 c #Conflicts: 1007000 | #Constraints: 30254
2439.76/2445.71 c #Conflicts: 1008000 | #Constraints: 31254
2439.76/2445.71 c #Conflicts: 1009000 | #Constraints: 32254
2439.76/2445.71 c #Conflicts: 1010000 | #Constraints: 33254
2439.76/2445.71 c #Conflicts: 1011000 | #Constraints: 34254
2439.76/2445.71 c #Conflicts: 1012000 | #Constraints: 35254
2439.76/2445.71 c #Conflicts: 1013000 | #Constraints: 36254
2439.76/2445.71 c #Conflicts: 1014000 | #Constraints: 37254
2439.76/2445.71 c #Conflicts: 1015000 | #Constraints: 38254
2439.76/2445.71 c #Conflicts: 1016000 | #Constraints: 39254
2439.76/2445.71 c #Conflicts: 1017000 | #Constraints: 40254
2439.76/2445.71 c #Conflicts: 1018000 | #Constraints: 41254
2439.76/2445.71 c #Conflicts: 1019000 | #Constraints: 42254
2439.76/2445.71 c #Conflicts: 1020000 | #Constraints: 43254
2439.76/2445.71 c #Conflicts: 1021000 | #Constraints: 44254
2439.76/2445.71 c INPROCESSING
2439.76/2445.71 c GARBAGE COLLECT
2439.76/2445.71 c #Conflicts: 1022000 | #Constraints: 25254
2439.76/2445.71 c #Conflicts: 1023000 | #Constraints: 26254
2439.76/2445.71 c #Conflicts: 1024000 | #Constraints: 27254
2439.76/2445.71 c #Conflicts: 1025000 | #Constraints: 28254
2439.76/2445.71 c #Conflicts: 1026000 | #Constraints: 29254
2439.76/2445.71 c #Conflicts: 1027000 | #Constraints: 30254
2439.76/2445.71 c #Conflicts: 1028000 | #Constraints: 31254
2439.76/2445.71 c #Conflicts: 1029000 | #Constraints: 32254
2439.76/2445.71 c #Conflicts: 1030000 | #Constraints: 33254
2439.76/2445.71 c #Conflicts: 1031000 | #Constraints: 34254
2439.76/2445.71 c #Conflicts: 1032000 | #Constraints: 35254
2439.76/2445.71 c #Conflicts: 1033000 | #Constraints: 36254
2439.76/2445.71 c #Conflicts: 1034000 | #Constraints: 37254
2439.76/2445.71 c #Conflicts: 1035000 | #Constraints: 38254
2439.76/2445.71 c #Conflicts: 1036000 | #Constraints: 39254
2439.76/2445.71 c #Conflicts: 1037000 | #Constraints: 40254
2439.76/2445.71 c #Conflicts: 1038000 | #Constraints: 41254
2439.76/2445.71 c #Conflicts: 1039000 | #Constraints: 42254
2439.76/2445.71 c #Conflicts: 1040000 | #Constraints: 43254
2439.76/2445.71 c #Conflicts: 1041000 | #Constraints: 44254
2439.76/2445.71 c INPROCESSING
2439.76/2445.71 c GARBAGE COLLECT
2439.76/2445.71 c #Conflicts: 1042000 | #Constraints: 25054
2439.76/2445.71 c #Conflicts: 1043000 | #Constraints: 26054
2439.76/2445.71 c #Conflicts: 1044000 | #Constraints: 27054
2608.95/2615.37 c #Conflicts: 1045000 | #Constraints: 28054
2608.95/2615.37 c #Conflicts: 1046000 | #Constraints: 29054
2608.95/2615.37 c #Conflicts: 1047000 | #Constraints: 30054
2608.95/2615.37 c #Conflicts: 1048000 | #Constraints: 31054
2608.95/2615.37 c #Conflicts: 1049000 | #Constraints: 32054
2608.95/2615.37 c #Conflicts: 1050000 | #Constraints: 33054
2608.95/2615.37 c #Conflicts: 1051000 | #Constraints: 34054
2608.95/2615.37 c #Conflicts: 1052000 | #Constraints: 35054
2608.95/2615.37 c #Conflicts: 1053000 | #Constraints: 36054
2608.95/2615.37 c #Conflicts: 1054000 | #Constraints: 37054
2608.95/2615.37 c #Conflicts: 1055000 | #Constraints: 38054
2608.95/2615.37 c #Conflicts: 1056000 | #Constraints: 39054
2608.95/2615.37 c #Conflicts: 1057000 | #Constraints: 40054
2608.95/2615.37 c #Conflicts: 1058000 | #Constraints: 41054
2608.95/2615.37 c #Conflicts: 1059000 | #Constraints: 42054
2608.95/2615.37 c #Conflicts: 1060000 | #Constraints: 43054
2608.95/2615.37 c #Conflicts: 1061000 | #Constraints: 44054
2608.95/2615.37 c #Conflicts: 1062000 | #Constraints: 45054
2608.95/2615.37 c INPROCESSING
2608.95/2615.37 c GARBAGE COLLECT
2608.95/2615.37 c #Conflicts: 1063000 | #Constraints: 25653
2608.95/2615.37 c #Conflicts: 1064000 | #Constraints: 26653
2608.95/2615.37 c #Conflicts: 1065000 | #Constraints: 27653
2608.95/2615.37 c #Conflicts: 1066000 | #Constraints: 28653
2608.95/2615.37 c #Conflicts: 1067000 | #Constraints: 29653
2608.95/2615.37 c #Conflicts: 1068000 | #Constraints: 30653
2608.95/2615.37 c #Conflicts: 1069000 | #Constraints: 31653
2608.95/2615.37 c #Conflicts: 1070000 | #Constraints: 32653
2608.95/2615.37 c #Conflicts: 1071000 | #Constraints: 33653
2608.95/2615.37 c #Conflicts: 1072000 | #Constraints: 34653
2608.95/2615.37 c #Conflicts: 1073000 | #Constraints: 35653
2608.95/2615.37 c #Conflicts: 1074000 | #Constraints: 36653
2608.95/2615.37 c #Conflicts: 1075000 | #Constraints: 37653
2608.95/2615.37 c #Conflicts: 1076000 | #Constraints: 38653
2608.95/2615.37 c #Conflicts: 1077000 | #Constraints: 39653
2608.95/2615.37 c #Conflicts: 1078000 | #Constraints: 40653
2608.95/2615.37 c #Conflicts: 1079000 | #Constraints: 41653
2608.95/2615.37 c #Conflicts: 1080000 | #Constraints: 42653
2608.95/2615.37 c #Conflicts: 1081000 | #Constraints: 43653
2608.95/2615.37 c #Conflicts: 1082000 | #Constraints: 44653
2608.95/2615.37 c #Conflicts: 1083000 | #Constraints: 45653
2608.95/2615.37 c INPROCESSING
2608.95/2615.37 c GARBAGE COLLECT
2608.95/2615.37 c #Conflicts: 1084000 | #Constraints: 26054
2608.95/2615.37 c #Conflicts: 1085000 | #Constraints: 27054
2608.95/2615.37 c #Conflicts: 1086000 | #Constraints: 28054
2608.95/2615.37 c #Conflicts: 1087000 | #Constraints: 29054
2608.95/2615.37 c #Conflicts: 1088000 | #Constraints: 30054
2608.95/2615.37 c #Conflicts: 1089000 | #Constraints: 31054
2608.95/2615.37 c #Conflicts: 1090000 | #Constraints: 32054
2608.95/2615.37 c #Conflicts: 1091000 | #Constraints: 33054
2608.95/2615.37 c #Conflicts: 1092000 | #Constraints: 34054
2608.95/2615.37 c #Conflicts: 1093000 | #Constraints: 35054
2608.95/2615.37 c #Conflicts: 1094000 | #Constraints: 36054
2608.95/2615.37 c #Conflicts: 1095000 | #Constraints: 37054
2608.95/2615.37 c #Conflicts: 1096000 | #Constraints: 38054
2608.95/2615.37 c #Conflicts: 1097000 | #Constraints: 39054
2608.95/2615.37 c #Conflicts: 1098000 | #Constraints: 40054
2608.95/2615.37 c #Conflicts: 1099000 | #Constraints: 41054
2608.95/2615.37 c #Conflicts: 1100000 | #Constraints: 42054
2608.95/2615.37 c #Conflicts: 1101000 | #Constraints: 43054
2608.95/2615.37 c #Conflicts: 1102000 | #Constraints: 44054
2608.95/2615.37 c #Conflicts: 1103000 | #Constraints: 45054
2608.95/2615.37 c #Conflicts: 1104000 | #Constraints: 46054
2608.95/2615.37 c INPROCESSING
2608.95/2615.37 c GARBAGE COLLECT
2608.95/2615.37 c #Conflicts: 1105000 | #Constraints: 26255
2608.95/2615.37 c #Conflicts: 1106000 | #Constraints: 27255
2608.95/2615.37 c #Conflicts: 1107000 | #Constraints: 28255
2608.95/2615.37 c #Conflicts: 1108000 | #Constraints: 29255
2608.95/2615.37 c #Conflicts: 1109000 | #Constraints: 30255
2608.95/2615.37 c #Conflicts: 1110000 | #Constraints: 31255
2608.95/2615.37 c #Conflicts: 1111000 | #Constraints: 32255
2608.95/2615.37 c #Conflicts: 1112000 | #Constraints: 33255
2608.95/2615.37 c #Conflicts: 1113000 | #Constraints: 34255
2608.95/2615.37 c #Conflicts: 1114000 | #Constraints: 35255
2608.95/2615.37 c #Conflicts: 1115000 | #Constraints: 36255
2608.95/2615.37 c #Conflicts: 1116000 | #Constraints: 37255
2608.95/2615.37 c #Conflicts: 1117000 | #Constraints: 38255
2608.95/2615.37 c #Conflicts: 1118000 | #Constraints: 39255
2608.95/2615.37 c #Conflicts: 1119000 | #Constraints: 40255
2608.95/2615.37 c #Conflicts: 1120000 | #Constraints: 41255
2608.95/2615.37 c #Conflicts: 1121000 | #Constraints: 42255
2786.33/2793.16 c #Conflicts: 1122000 | #Constraints: 43255
2786.33/2793.16 c #Conflicts: 1123000 | #Constraints: 44255
2786.33/2793.16 c #Conflicts: 1124000 | #Constraints: 45255
2786.33/2793.16 c #Conflicts: 1125000 | #Constraints: 46255
2786.33/2793.16 c INPROCESSING
2786.33/2793.16 c GARBAGE COLLECT
2786.33/2793.16 c #Conflicts: 1126000 | #Constraints: 26252
2786.33/2793.16 c #Conflicts: 1127000 | #Constraints: 27252
2786.33/2793.16 c #Conflicts: 1128000 | #Constraints: 28252
2786.33/2793.16 c #Conflicts: 1129000 | #Constraints: 29252
2786.33/2793.16 c #Conflicts: 1130000 | #Constraints: 30252
2786.33/2793.16 c #Conflicts: 1131000 | #Constraints: 31252
2786.33/2793.16 c #Conflicts: 1132000 | #Constraints: 32252
2786.33/2793.16 c #Conflicts: 1133000 | #Constraints: 33252
2786.33/2793.16 c #Conflicts: 1134000 | #Constraints: 34252
2786.33/2793.16 c #Conflicts: 1135000 | #Constraints: 35252
2786.33/2793.16 c #Conflicts: 1136000 | #Constraints: 36252
2786.33/2793.16 c #Conflicts: 1137000 | #Constraints: 37252
2786.33/2793.16 c #Conflicts: 1138000 | #Constraints: 38252
2786.33/2793.16 c #Conflicts: 1139000 | #Constraints: 39252
2786.33/2793.16 c #Conflicts: 1140000 | #Constraints: 40252
2786.33/2793.16 c #Conflicts: 1141000 | #Constraints: 41252
2786.33/2793.16 c #Conflicts: 1142000 | #Constraints: 42252
2786.33/2793.16 c #Conflicts: 1143000 | #Constraints: 43252
2786.33/2793.16 c #Conflicts: 1144000 | #Constraints: 44252
2786.33/2793.16 c #Conflicts: 1145000 | #Constraints: 45252
2786.33/2793.16 c #Conflicts: 1146000 | #Constraints: 46252
2786.33/2793.16 c INPROCESSING
2786.33/2793.16 c GARBAGE COLLECT
2786.33/2793.16 c #Conflicts: 1147000 | #Constraints: 26051
2786.33/2793.16 c #Conflicts: 1148000 | #Constraints: 27051
2786.33/2793.16 c #Conflicts: 1149000 | #Constraints: 28051
2786.33/2793.16 c #Conflicts: 1150000 | #Constraints: 29051
2786.33/2793.16 c #Conflicts: 1151000 | #Constraints: 30051
2786.33/2793.16 c #Conflicts: 1152000 | #Constraints: 31051
2786.33/2793.16 c #Conflicts: 1153000 | #Constraints: 32051
2786.33/2793.16 c #Conflicts: 1154000 | #Constraints: 33051
2786.33/2793.16 c #Conflicts: 1155000 | #Constraints: 34051
2786.33/2793.16 c #Conflicts: 1156000 | #Constraints: 35051
2786.33/2793.16 c #Conflicts: 1157000 | #Constraints: 36051
2786.33/2793.16 c #Conflicts: 1158000 | #Constraints: 37051
2786.33/2793.16 c #Conflicts: 1159000 | #Constraints: 38051
2786.33/2793.16 c #Conflicts: 1160000 | #Constraints: 39051
2786.33/2793.16 c #Conflicts: 1161000 | #Constraints: 40051
2786.33/2793.16 c #Conflicts: 1162000 | #Constraints: 41051
2786.33/2793.16 c #Conflicts: 1163000 | #Constraints: 42051
2786.33/2793.16 c #Conflicts: 1164000 | #Constraints: 43051
2786.33/2793.16 c #Conflicts: 1165000 | #Constraints: 44051
2786.33/2793.16 c #Conflicts: 1166000 | #Constraints: 45051
2786.33/2793.16 c #Conflicts: 1167000 | #Constraints: 46051
2786.33/2793.16 c #Conflicts: 1168000 | #Constraints: 47051
2786.33/2793.16 c INPROCESSING
2786.33/2793.16 c GARBAGE COLLECT
2786.33/2793.16 c #Conflicts: 1169000 | #Constraints: 26649
2786.33/2793.16 c #Conflicts: 1170000 | #Constraints: 27649
2786.33/2793.16 c #Conflicts: 1171000 | #Constraints: 28649
2786.33/2793.16 c #Conflicts: 1172000 | #Constraints: 29649
2786.33/2793.16 c #Conflicts: 1173000 | #Constraints: 30649
2786.33/2793.16 c #Conflicts: 1174000 | #Constraints: 31649
2786.33/2793.16 c #Conflicts: 1175000 | #Constraints: 32649
2786.33/2793.16 c #Conflicts: 1176000 | #Constraints: 33649
2786.33/2793.16 c #Conflicts: 1177000 | #Constraints: 34649
2786.33/2793.16 c #Conflicts: 1178000 | #Constraints: 35649
2786.33/2793.16 c #Conflicts: 1179000 | #Constraints: 36649
2786.33/2793.16 c #Conflicts: 1180000 | #Constraints: 37649
2786.33/2793.16 c #Conflicts: 1181000 | #Constraints: 38649
2786.33/2793.16 c #Conflicts: 1182000 | #Constraints: 39649
2786.33/2793.16 c #Conflicts: 1183000 | #Constraints: 40649
2786.33/2793.16 c #Conflicts: 1184000 | #Constraints: 41649
2786.33/2793.16 c #Conflicts: 1185000 | #Constraints: 42649
2786.33/2793.16 c #Conflicts: 1186000 | #Constraints: 43649
2786.33/2793.16 c #Conflicts: 1187000 | #Constraints: 44649
2786.33/2793.16 c #Conflicts: 1188000 | #Constraints: 45649
2786.33/2793.16 c #Conflicts: 1189000 | #Constraints: 46649
2786.33/2793.16 c #Conflicts: 1190000 | #Constraints: 47649
2786.33/2793.16 c INPROCESSING
2786.33/2793.16 c GARBAGE COLLECT
2786.33/2793.16 c #Conflicts: 1191000 | #Constraints: 27051
2786.33/2793.16 c #Conflicts: 1192000 | #Constraints: 28051
2786.33/2793.16 c #Conflicts: 1193000 | #Constraints: 29051
2786.33/2793.16 c #Conflicts: 1194000 | #Constraints: 30051
2786.33/2793.16 c #Conflicts: 1195000 | #Constraints: 31051
2786.33/2793.16 c #Conflicts: 1196000 | #Constraints: 32051
2786.33/2793.16 c #Conflicts: 1197000 | #Constraints: 33051
2962.40/2969.69 c #Conflicts: 1198000 | #Constraints: 34051
2962.40/2969.69 c #Conflicts: 1199000 | #Constraints: 35051
2962.40/2969.69 c #Conflicts: 1200000 | #Constraints: 36051
2962.40/2969.69 c #Conflicts: 1201000 | #Constraints: 37051
2962.40/2969.69 c #Conflicts: 1202000 | #Constraints: 38051
2962.40/2969.69 c #Conflicts: 1203000 | #Constraints: 39051
2962.40/2969.69 c #Conflicts: 1204000 | #Constraints: 40051
2962.40/2969.69 c #Conflicts: 1205000 | #Constraints: 41051
2962.40/2969.69 c #Conflicts: 1206000 | #Constraints: 42051
2962.40/2969.69 c #Conflicts: 1207000 | #Constraints: 43051
2962.40/2969.69 c #Conflicts: 1208000 | #Constraints: 44051
2962.40/2969.69 c #Conflicts: 1209000 | #Constraints: 45051
2962.40/2969.69 c #Conflicts: 1210000 | #Constraints: 46051
2962.40/2969.69 c #Conflicts: 1211000 | #Constraints: 47051
2962.40/2969.69 c #Conflicts: 1212000 | #Constraints: 48051
2962.40/2969.69 c INPROCESSING
2962.40/2969.69 c GARBAGE COLLECT
2962.40/2969.69 c #Conflicts: 1213000 | #Constraints: 27253
2962.40/2969.69 c #Conflicts: 1214000 | #Constraints: 28253
2962.40/2969.69 c #Conflicts: 1215000 | #Constraints: 29253
2962.40/2969.69 c #Conflicts: 1216000 | #Constraints: 30253
2962.40/2969.69 c #Conflicts: 1217000 | #Constraints: 31253
2962.40/2969.69 c #Conflicts: 1218000 | #Constraints: 32253
2962.40/2969.69 c #Conflicts: 1219000 | #Constraints: 33253
2962.40/2969.69 c #Conflicts: 1220000 | #Constraints: 34253
2962.40/2969.69 c #Conflicts: 1221000 | #Constraints: 35253
2962.40/2969.69 c #Conflicts: 1222000 | #Constraints: 36253
2962.40/2969.69 c #Conflicts: 1223000 | #Constraints: 37253
2962.40/2969.69 c #Conflicts: 1224000 | #Constraints: 38253
2962.40/2969.69 c #Conflicts: 1225000 | #Constraints: 39253
2962.40/2969.69 c #Conflicts: 1226000 | #Constraints: 40253
2962.40/2969.69 c #Conflicts: 1227000 | #Constraints: 41253
2962.40/2969.69 c #Conflicts: 1228000 | #Constraints: 42253
2962.40/2969.69 c #Conflicts: 1229000 | #Constraints: 43253
2962.40/2969.69 c #Conflicts: 1230000 | #Constraints: 44253
2962.40/2969.69 c #Conflicts: 1231000 | #Constraints: 45253
2962.40/2969.69 c #Conflicts: 1232000 | #Constraints: 46253
2962.40/2969.69 c #Conflicts: 1233000 | #Constraints: 47253
2962.40/2969.69 c #Conflicts: 1234000 | #Constraints: 48253
2962.40/2969.69 c INPROCESSING
2962.40/2969.69 c GARBAGE COLLECT
2962.40/2969.69 c #Conflicts: 1235000 | #Constraints: 27255
2962.40/2969.69 c #Conflicts: 1236000 | #Constraints: 28255
2962.40/2969.69 c #Conflicts: 1237000 | #Constraints: 29255
2962.40/2969.69 c #Conflicts: 1238000 | #Constraints: 30255
2962.40/2969.69 c #Conflicts: 1239000 | #Constraints: 31255
2962.40/2969.69 c #Conflicts: 1240000 | #Constraints: 32255
2962.40/2969.69 c #Conflicts: 1241000 | #Constraints: 33255
2962.40/2969.69 c #Conflicts: 1242000 | #Constraints: 34255
2962.40/2969.69 c #Conflicts: 1243000 | #Constraints: 35255
2962.40/2969.69 c #Conflicts: 1244000 | #Constraints: 36255
2962.40/2969.69 c #Conflicts: 1245000 | #Constraints: 37255
2962.40/2969.69 c #Conflicts: 1246000 | #Constraints: 38255
2962.40/2969.69 c #Conflicts: 1247000 | #Constraints: 39255
2962.40/2969.69 c #Conflicts: 1248000 | #Constraints: 40255
2962.40/2969.69 c #Conflicts: 1249000 | #Constraints: 41255
2962.40/2969.69 c #Conflicts: 1250000 | #Constraints: 42255
2962.40/2969.69 c #Conflicts: 1251000 | #Constraints: 43255
2962.40/2969.69 c #Conflicts: 1252000 | #Constraints: 44255
2962.40/2969.69 c #Conflicts: 1253000 | #Constraints: 45255
2962.40/2969.69 c #Conflicts: 1254000 | #Constraints: 46255
2962.40/2969.69 c #Conflicts: 1255000 | #Constraints: 47255
2962.40/2969.69 c #Conflicts: 1256000 | #Constraints: 48255
2962.40/2969.69 c INPROCESSING
2962.40/2969.69 c GARBAGE COLLECT
2962.40/2969.69 c #Conflicts: 1257000 | #Constraints: 27050
2962.40/2969.69 c #Conflicts: 1258000 | #Constraints: 28050
2962.40/2969.69 c #Conflicts: 1259000 | #Constraints: 29050
2962.40/2969.69 c #Conflicts: 1260000 | #Constraints: 30050
2962.40/2969.69 c #Conflicts: 1261000 | #Constraints: 31050
2962.40/2969.69 c #Conflicts: 1262000 | #Constraints: 32050
2962.40/2969.69 c #Conflicts: 1263000 | #Constraints: 33050
2962.40/2969.69 c #Conflicts: 1264000 | #Constraints: 34050
2962.40/2969.69 c #Conflicts: 1265000 | #Constraints: 35050
2962.40/2969.69 c #Conflicts: 1266000 | #Constraints: 36050
2962.40/2969.69 c #Conflicts: 1267000 | #Constraints: 37050
2962.40/2969.69 c #Conflicts: 1268000 | #Constraints: 38050
2962.40/2969.69 c #Conflicts: 1269000 | #Constraints: 39050
2962.40/2969.69 c #Conflicts: 1270000 | #Constraints: 40050
2962.40/2969.69 c #Conflicts: 1271000 | #Constraints: 41050
2962.40/2969.69 c #Conflicts: 1272000 | #Constraints: 42050
2962.40/2969.69 c #Conflicts: 1273000 | #Constraints: 43050
2962.40/2969.69 c #Conflicts: 1274000 | #Constraints: 44050
3141.72/3149.40 c #Conflicts: 1275000 | #Constraints: 45050
3141.72/3149.40 c #Conflicts: 1276000 | #Constraints: 46050
3141.72/3149.40 c #Conflicts: 1277000 | #Constraints: 47050
3141.72/3149.40 c #Conflicts: 1278000 | #Constraints: 48050
3141.72/3149.40 c #Conflicts: 1279000 | #Constraints: 49050
3141.72/3149.40 c INPROCESSING
3141.72/3149.40 c GARBAGE COLLECT
3141.72/3149.40 c #Conflicts: 1280000 | #Constraints: 27653
3141.72/3149.40 c #Conflicts: 1281000 | #Constraints: 28653
3141.72/3149.40 c #Conflicts: 1282000 | #Constraints: 29653
3141.72/3149.40 c #Conflicts: 1283000 | #Constraints: 30653
3141.72/3149.40 c #Conflicts: 1284000 | #Constraints: 31653
3141.72/3149.40 c #Conflicts: 1285000 | #Constraints: 32653
3141.72/3149.40 c #Conflicts: 1286000 | #Constraints: 33653
3141.72/3149.40 c #Conflicts: 1287000 | #Constraints: 34653
3141.72/3149.40 c #Conflicts: 1288000 | #Constraints: 35653
3141.72/3149.40 c #Conflicts: 1289000 | #Constraints: 36653
3141.72/3149.40 c #Conflicts: 1290000 | #Constraints: 37653
3141.72/3149.40 c #Conflicts: 1291000 | #Constraints: 38653
3141.72/3149.40 c #Conflicts: 1292000 | #Constraints: 39653
3141.72/3149.40 c #Conflicts: 1293000 | #Constraints: 40653
3141.72/3149.40 c #Conflicts: 1294000 | #Constraints: 41653
3141.72/3149.40 c #Conflicts: 1295000 | #Constraints: 42653
3141.72/3149.40 c #Conflicts: 1296000 | #Constraints: 43653
3141.72/3149.40 c #Conflicts: 1297000 | #Constraints: 44653
3141.72/3149.40 c #Conflicts: 1298000 | #Constraints: 45653
3141.72/3149.40 c #Conflicts: 1299000 | #Constraints: 46653
3141.72/3149.40 c #Conflicts: 1300000 | #Constraints: 47653
3141.72/3149.40 c #Conflicts: 1301000 | #Constraints: 48653
3141.72/3149.40 c #Conflicts: 1302000 | #Constraints: 49653
3141.72/3149.40 c INPROCESSING
3141.72/3149.40 c GARBAGE COLLECT
3141.72/3149.40 c #Conflicts: 1303000 | #Constraints: 28053
3141.72/3149.40 c #Conflicts: 1304000 | #Constraints: 29053
3141.72/3149.40 c #Conflicts: 1305000 | #Constraints: 30053
3141.72/3149.40 c #Conflicts: 1306000 | #Constraints: 31053
3141.72/3149.40 c #Conflicts: 1307000 | #Constraints: 32053
3141.72/3149.40 c #Conflicts: 1308000 | #Constraints: 33053
3141.72/3149.40 c #Conflicts: 1309000 | #Constraints: 34053
3141.72/3149.40 c #Conflicts: 1310000 | #Constraints: 35053
3141.72/3149.40 c #Conflicts: 1311000 | #Constraints: 36053
3141.72/3149.40 c #Conflicts: 1312000 | #Constraints: 37053
3141.72/3149.40 c #Conflicts: 1313000 | #Constraints: 38053
3141.72/3149.40 c #Conflicts: 1314000 | #Constraints: 39053
3141.72/3149.40 c #Conflicts: 1315000 | #Constraints: 40053
3141.72/3149.40 c #Conflicts: 1316000 | #Constraints: 41053
3141.72/3149.40 c #Conflicts: 1317000 | #Constraints: 42053
3141.72/3149.40 c #Conflicts: 1318000 | #Constraints: 43053
3141.72/3149.40 c #Conflicts: 1319000 | #Constraints: 44053
3141.72/3149.40 c #Conflicts: 1320000 | #Constraints: 45053
3141.72/3149.40 c #Conflicts: 1321000 | #Constraints: 46053
3141.72/3149.40 c #Conflicts: 1322000 | #Constraints: 47053
3141.72/3149.40 c #Conflicts: 1323000 | #Constraints: 48053
3141.72/3149.40 c #Conflicts: 1324000 | #Constraints: 49053
3141.72/3149.40 c #Conflicts: 1325000 | #Constraints: 50053
3141.72/3149.40 c INPROCESSING
3141.72/3149.40 c GARBAGE COLLECT
3141.72/3149.40 c #Conflicts: 1326000 | #Constraints: 28254
3141.72/3149.40 c #Conflicts: 1327000 | #Constraints: 29254
3141.72/3149.40 c #Conflicts: 1328000 | #Constraints: 30254
3141.72/3149.40 c #Conflicts: 1329000 | #Constraints: 31254
3141.72/3149.40 c #Conflicts: 1330000 | #Constraints: 32254
3141.72/3149.40 c #Conflicts: 1331000 | #Constraints: 33254
3141.72/3149.40 c #Conflicts: 1332000 | #Constraints: 34254
3141.72/3149.40 c #Conflicts: 1333000 | #Constraints: 35254
3141.72/3149.40 c #Conflicts: 1334000 | #Constraints: 36254
3141.72/3149.40 c #Conflicts: 1335000 | #Constraints: 37254
3141.72/3149.40 c #Conflicts: 1336000 | #Constraints: 38254
3141.72/3149.40 c #Conflicts: 1337000 | #Constraints: 39254
3141.72/3149.40 c #Conflicts: 1338000 | #Constraints: 40254
3141.72/3149.40 c #Conflicts: 1339000 | #Constraints: 41254
3141.72/3149.40 c #Conflicts: 1340000 | #Constraints: 42254
3141.72/3149.40 c #Conflicts: 1341000 | #Constraints: 43254
3141.72/3149.40 c #Conflicts: 1342000 | #Constraints: 44254
3141.72/3149.40 c #Conflicts: 1343000 | #Constraints: 45254
3141.72/3149.40 c #Conflicts: 1344000 | #Constraints: 46254
3141.72/3149.40 c #Conflicts: 1345000 | #Constraints: 47254
3141.72/3149.40 c #Conflicts: 1346000 | #Constraints: 48254
3141.72/3149.40 c #Conflicts: 1347000 | #Constraints: 49254
3141.72/3149.40 c #Conflicts: 1348000 | #Constraints: 50254
3141.72/3149.40 c INPROCESSING
3141.72/3149.40 c GARBAGE COLLECT
3141.72/3149.40 c #Conflicts: 1349000 | #Constraints: 28255
3141.72/3149.40 c #Conflicts: 1350000 | #Constraints: 29255
3320.41/3328.66 c #Conflicts: 1351000 | #Constraints: 30255
3320.41/3328.66 c #Conflicts: 1352000 | #Constraints: 31255
3320.41/3328.66 c #Conflicts: 1353000 | #Constraints: 32255
3320.41/3328.66 c #Conflicts: 1354000 | #Constraints: 33255
3320.41/3328.66 c #Conflicts: 1355000 | #Constraints: 34255
3320.41/3328.66 c #Conflicts: 1356000 | #Constraints: 35255
3320.41/3328.66 c #Conflicts: 1357000 | #Constraints: 36255
3320.41/3328.66 c #Conflicts: 1358000 | #Constraints: 37255
3320.41/3328.66 c #Conflicts: 1359000 | #Constraints: 38255
3320.41/3328.66 c #Conflicts: 1360000 | #Constraints: 39255
3320.41/3328.66 c #Conflicts: 1361000 | #Constraints: 40255
3320.41/3328.66 c #Conflicts: 1362000 | #Constraints: 41255
3320.41/3328.66 c #Conflicts: 1363000 | #Constraints: 42255
3320.41/3328.66 c #Conflicts: 1364000 | #Constraints: 43255
3320.41/3328.66 c #Conflicts: 1365000 | #Constraints: 44255
3320.41/3328.66 c #Conflicts: 1366000 | #Constraints: 45255
3320.41/3328.66 c #Conflicts: 1367000 | #Constraints: 46255
3320.41/3328.66 c #Conflicts: 1368000 | #Constraints: 47255
3320.41/3328.66 c #Conflicts: 1369000 | #Constraints: 48255
3320.41/3328.66 c #Conflicts: 1370000 | #Constraints: 49255
3320.41/3328.66 c #Conflicts: 1371000 | #Constraints: 50255
3320.41/3328.66 c INPROCESSING
3320.41/3328.66 c GARBAGE COLLECT
3320.41/3328.66 c #Conflicts: 1372000 | #Constraints: 28056
3320.41/3328.66 c #Conflicts: 1373000 | #Constraints: 29056
3320.41/3328.66 c #Conflicts: 1374000 | #Constraints: 30056
3320.41/3328.66 c #Conflicts: 1375000 | #Constraints: 31056
3320.41/3328.66 c #Conflicts: 1376000 | #Constraints: 32056
3320.41/3328.66 c #Conflicts: 1377000 | #Constraints: 33056
3320.41/3328.66 c #Conflicts: 1378000 | #Constraints: 34056
3320.41/3328.66 c #Conflicts: 1379000 | #Constraints: 35056
3320.41/3328.66 c #Conflicts: 1380000 | #Constraints: 36056
3320.41/3328.66 c #Conflicts: 1381000 | #Constraints: 37056
3320.41/3328.66 c #Conflicts: 1382000 | #Constraints: 38056
3320.41/3328.66 c #Conflicts: 1383000 | #Constraints: 39056
3320.41/3328.66 c #Conflicts: 1384000 | #Constraints: 40056
3320.41/3328.66 c #Conflicts: 1385000 | #Constraints: 41056
3320.41/3328.66 c #Conflicts: 1386000 | #Constraints: 42056
3320.41/3328.66 c #Conflicts: 1387000 | #Constraints: 43056
3320.41/3328.66 c #Conflicts: 1388000 | #Constraints: 44056
3320.41/3328.66 c #Conflicts: 1389000 | #Constraints: 45056
3320.41/3328.66 c #Conflicts: 1390000 | #Constraints: 46056
3320.41/3328.66 c #Conflicts: 1391000 | #Constraints: 47056
3320.41/3328.66 c #Conflicts: 1392000 | #Constraints: 48056
3320.41/3328.66 c #Conflicts: 1393000 | #Constraints: 49056
3320.41/3328.66 c #Conflicts: 1394000 | #Constraints: 50056
3320.41/3328.66 c #Conflicts: 1395000 | #Constraints: 51056
3320.41/3328.66 c INPROCESSING
3320.41/3328.66 c GARBAGE COLLECT
3320.41/3328.66 c #Conflicts: 1396000 | #Constraints: 28656
3320.41/3328.66 c #Conflicts: 1397000 | #Constraints: 29656
3320.41/3328.66 c #Conflicts: 1398000 | #Constraints: 30656
3320.41/3328.66 c #Conflicts: 1399000 | #Constraints: 31656
3320.41/3328.66 c #Conflicts: 1400000 | #Constraints: 32656
3320.41/3328.66 c #Conflicts: 1401000 | #Constraints: 33656
3320.41/3328.66 c #Conflicts: 1402000 | #Constraints: 34656
3320.41/3328.66 c #Conflicts: 1403000 | #Constraints: 35656
3320.41/3328.66 c #Conflicts: 1404000 | #Constraints: 36656
3320.41/3328.66 c #Conflicts: 1405000 | #Constraints: 37656
3320.41/3328.66 c #Conflicts: 1406000 | #Constraints: 38656
3320.41/3328.66 c #Conflicts: 1407000 | #Constraints: 39656
3320.41/3328.66 c #Conflicts: 1408000 | #Constraints: 40656
3320.41/3328.66 c #Conflicts: 1409000 | #Constraints: 41656
3320.41/3328.66 c #Conflicts: 1410000 | #Constraints: 42656
3320.41/3328.66 c #Conflicts: 1411000 | #Constraints: 43656
3320.41/3328.66 c #Conflicts: 1412000 | #Constraints: 44656
3320.41/3328.66 c #Conflicts: 1413000 | #Constraints: 45656
3320.41/3328.66 c #Conflicts: 1414000 | #Constraints: 46656
3320.41/3328.66 c #Conflicts: 1415000 | #Constraints: 47656
3320.41/3328.66 c #Conflicts: 1416000 | #Constraints: 48656
3320.41/3328.66 c #Conflicts: 1417000 | #Constraints: 49656
3320.41/3328.66 c #Conflicts: 1418000 | #Constraints: 50656
3320.41/3328.66 c #Conflicts: 1419000 | #Constraints: 51656
3320.41/3328.66 c INPROCESSING
3320.41/3328.66 c GARBAGE COLLECT
3320.41/3328.66 c #Conflicts: 1420000 | #Constraints: 29053
3320.41/3328.66 c #Conflicts: 1421000 | #Constraints: 30053
3320.41/3328.66 c #Conflicts: 1422000 | #Constraints: 31053
3320.41/3328.66 c #Conflicts: 1423000 | #Constraints: 32053
3320.41/3328.66 c #Conflicts: 1424000 | #Constraints: 33053
3320.41/3328.66 c #Conflicts: 1425000 | #Constraints: 34053
3320.41/3328.66 c #Conflicts: 1426000 | #Constraints: 35053
3320.41/3328.66 c #Conflicts: 1427000 | #Constraints: 36053
3500.10/3508.85 c #Conflicts: 1428000 | #Constraints: 37053
3500.10/3508.85 c #Conflicts: 1429000 | #Constraints: 38053
3500.10/3508.85 c #Conflicts: 1430000 | #Constraints: 39053
3500.10/3508.85 c #Conflicts: 1431000 | #Constraints: 40053
3500.10/3508.85 c #Conflicts: 1432000 | #Constraints: 41053
3500.10/3508.85 c #Conflicts: 1433000 | #Constraints: 42053
3500.10/3508.85 c #Conflicts: 1434000 | #Constraints: 43053
3500.10/3508.85 c #Conflicts: 1435000 | #Constraints: 44053
3500.10/3508.85 c #Conflicts: 1436000 | #Constraints: 45053
3500.10/3508.85 c #Conflicts: 1437000 | #Constraints: 46053
3500.10/3508.85 c #Conflicts: 1438000 | #Constraints: 47053
3500.10/3508.85 c #Conflicts: 1439000 | #Constraints: 48053
3500.10/3508.85 c #Conflicts: 1440000 | #Constraints: 49053
3500.10/3508.85 c #Conflicts: 1441000 | #Constraints: 50053
3500.10/3508.85 c #Conflicts: 1442000 | #Constraints: 51053
3500.10/3508.85 c #Conflicts: 1443000 | #Constraints: 52053
3500.10/3508.85 c INPROCESSING
3500.10/3508.85 c GARBAGE COLLECT
3500.10/3508.85 c #Conflicts: 1444000 | #Constraints: 29252
3500.10/3508.85 c #Conflicts: 1445000 | #Constraints: 30252
3500.10/3508.85 c #Conflicts: 1446000 | #Constraints: 31252
3500.10/3508.85 c #Conflicts: 1447000 | #Constraints: 32252
3500.10/3508.85 c #Conflicts: 1448000 | #Constraints: 33252
3500.10/3508.85 c #Conflicts: 1449000 | #Constraints: 34252
3500.10/3508.85 c #Conflicts: 1450000 | #Constraints: 35252
3500.10/3508.85 c #Conflicts: 1451000 | #Constraints: 36252
3500.10/3508.85 c #Conflicts: 1452000 | #Constraints: 37252
3500.10/3508.85 c #Conflicts: 1453000 | #Constraints: 38252
3500.10/3508.85 c #Conflicts: 1454000 | #Constraints: 39252
3500.10/3508.85 c #Conflicts: 1455000 | #Constraints: 40252
3500.10/3508.85 c #Conflicts: 1456000 | #Constraints: 41252
3500.10/3508.85 c #Conflicts: 1457000 | #Constraints: 42252
3500.10/3508.85 c #Conflicts: 1458000 | #Constraints: 43252
3500.10/3508.85 c #Conflicts: 1459000 | #Constraints: 44252
3500.10/3508.85 c #Conflicts: 1460000 | #Constraints: 45252
3500.10/3508.85 c #Conflicts: 1461000 | #Constraints: 46252
3500.10/3508.85 c #Conflicts: 1462000 | #Constraints: 47252
3500.10/3508.85 c #Conflicts: 1463000 | #Constraints: 48252
3500.10/3508.85 c #Conflicts: 1464000 | #Constraints: 49252
3500.10/3508.85 c #Conflicts: 1465000 | #Constraints: 50252
3500.10/3508.85 c #Conflicts: 1466000 | #Constraints: 51252
3500.10/3508.85 c #Conflicts: 1467000 | #Constraints: 52252
3500.10/3508.85 c INPROCESSING
3500.10/3508.85 c GARBAGE COLLECT
3500.10/3508.85 c #Conflicts: 1468000 | #Constraints: 29254
3500.10/3508.85 c #Conflicts: 1469000 | #Constraints: 30254
3500.10/3508.85 c #Conflicts: 1470000 | #Constraints: 31254
3500.10/3508.85 c #Conflicts: 1471000 | #Constraints: 32254
3500.10/3508.85 c #Conflicts: 1472000 | #Constraints: 33254
3500.10/3508.85 c #Conflicts: 1473000 | #Constraints: 34254
3500.10/3508.85 c #Conflicts: 1474000 | #Constraints: 35254
3500.10/3508.85 c #Conflicts: 1475000 | #Constraints: 36254
3500.10/3508.85 c #Conflicts: 1476000 | #Constraints: 37254
3500.10/3508.85 c #Conflicts: 1477000 | #Constraints: 38254
3500.10/3508.85 c #Conflicts: 1478000 | #Constraints: 39254
3500.10/3508.85 c #Conflicts: 1479000 | #Constraints: 40254
3500.10/3508.85 c #Conflicts: 1480000 | #Constraints: 41254
3500.10/3508.85 c #Conflicts: 1481000 | #Constraints: 42254
3500.10/3508.85 c #Conflicts: 1482000 | #Constraints: 43254
3500.10/3508.85 c #Conflicts: 1483000 | #Constraints: 44254
3500.10/3508.85 c #Conflicts: 1484000 | #Constraints: 45254
3500.10/3508.85 c #Conflicts: 1485000 | #Constraints: 46254
3500.10/3508.85 c #Conflicts: 1486000 | #Constraints: 47254
3500.10/3508.85 c #Conflicts: 1487000 | #Constraints: 48254
3500.10/3508.85 c #Conflicts: 1488000 | #Constraints: 49254
3500.10/3508.85 c #Conflicts: 1489000 | #Constraints: 50254
3500.10/3508.85 c #Conflicts: 1490000 | #Constraints: 51254
3500.10/3508.85 c #Conflicts: 1491000 | #Constraints: 52254
3500.10/3508.85 c INPROCESSING
3500.10/3508.85 c GARBAGE COLLECT
3500.10/3508.85 c #Conflicts: 1492000 | #Constraints: 29054
3500.10/3508.85 c #Conflicts: 1493000 | #Constraints: 30054
3500.10/3508.85 c #Conflicts: 1494000 | #Constraints: 31054
3500.10/3508.85 c #Conflicts: 1495000 | #Constraints: 32054
3500.10/3508.85 c #Conflicts: 1496000 | #Constraints: 33054
3500.10/3508.85 c #Conflicts: 1497000 | #Constraints: 34054
3500.10/3508.85 c #Conflicts: 1498000 | #Constraints: 35054
3500.10/3508.85 c #Conflicts: 1499000 | #Constraints: 36054
3500.10/3508.85 c #Conflicts: 1500000 | #Constraints: 37054
3500.10/3508.85 c #Conflicts: 1501000 | #Constraints: 38054
3500.10/3508.85 c #Conflicts: 1502000 | #Constraints: 39054
3500.10/3508.85 c #Conflicts: 1503000 | #Constraints: 40054
3500.10/3508.85 c #Conflicts: 1504000 | #Constraints: 41054
3600.01/3609.01 c #Conflicts: 1505000 | #Constraints: 42054
3600.01/3609.01 c #Conflicts: 1506000 | #Constraints: 43054
3600.01/3609.01 c #Conflicts: 1507000 | #Constraints: 44054
3600.01/3609.01 c #Conflicts: 1508000 | #Constraints: 45054
3600.01/3609.01 c #Conflicts: 1509000 | #Constraints: 46054
3600.01/3609.01 c #Conflicts: 1510000 | #Constraints: 47054
3600.01/3609.01 c #Conflicts: 1511000 | #Constraints: 48054
3600.01/3609.01 c #Conflicts: 1512000 | #Constraints: 49054
3600.01/3609.01 c #Conflicts: 1513000 | #Constraints: 50054
3600.01/3609.01 c #Conflicts: 1514000 | #Constraints: 51054
3600.01/3609.01 c #Conflicts: 1515000 | #Constraints: 52054
3600.01/3609.01 c #Conflicts: 1516000 | #Constraints: 53054
3600.01/3609.01 c INPROCESSING
3600.01/3609.01 c GARBAGE COLLECT
3600.01/3609.01 c #Conflicts: 1517000 | #Constraints: 29655
3600.01/3609.01 c #Conflicts: 1518000 | #Constraints: 30655
3600.01/3609.01 c #Conflicts: 1519000 | #Constraints: 31655
3600.01/3609.01 c #Conflicts: 1520000 | #Constraints: 32655
3600.01/3609.01 c #Conflicts: 1521000 | #Constraints: 33655
3600.01/3609.01 c #Conflicts: 1522000 | #Constraints: 34655
3600.01/3609.01 c #Conflicts: 1523000 | #Constraints: 35655
3600.01/3609.01 c #Conflicts: 1524000 | #Constraints: 36655
3600.01/3609.01 c #Conflicts: 1525000 | #Constraints: 37655
3600.01/3609.01 c #Conflicts: 1526000 | #Constraints: 38655
3600.01/3609.01 c #Conflicts: 1527000 | #Constraints: 39655
3600.01/3609.01 c #Conflicts: 1528000 | #Constraints: 40655
3600.01/3609.01 c #Conflicts: 1529000 | #Constraints: 41655
3600.01/3609.01 c #Conflicts: 1530000 | #Constraints: 42655
3600.01/3609.01 c #Conflicts: 1531000 | #Constraints: 43655
3600.01/3609.01 c #Conflicts: 1532000 | #Constraints: 44655
3600.01/3609.01 c #Conflicts: 1533000 | #Constraints: 45655
3600.01/3609.01 c #Conflicts: 1534000 | #Constraints: 46655
3600.01/3609.01 c #Conflicts: 1535000 | #Constraints: 47655
3600.01/3609.01 c #Conflicts: 1536000 | #Constraints: 48655
3600.01/3609.01 c #Conflicts: 1537000 | #Constraints: 49655
3600.01/3609.01 c #Conflicts: 1538000 | #Constraints: 50655
3600.01/3609.01 c #Conflicts: 1539000 | #Constraints: 51655
3600.01/3609.01 c #Conflicts: 1540000 | #Constraints: 52655
3600.01/3609.01 c #Conflicts: 1541000 | #Constraints: 53655
3600.01/3609.01 c INPROCESSING
3600.01/3609.01 c GARBAGE COLLECT
3600.01/3609.01 c #Conflicts: 1542000 | #Constraints: 30054
3600.01/3609.01 c #Conflicts: 1543000 | #Constraints: 31054
3600.01/3609.01 c #Conflicts: 1544000 | #Constraints: 32054
3600.01/3609.01 c #Conflicts: 1545000 | #Constraints: 33054
3600.01/3609.01 c #Conflicts: 1546000 | #Constraints: 34054
3600.01/3609.01 c cpu time 3594.6 s
3600.01/3609.01 c deterministic time 826 8.26e+02
3600.01/3609.01 c optimization time 3594.56 s
3600.01/3609.01 c total solve time 0 s
3600.01/3609.01 c core-guided solve time 0 s
3600.01/3609.01 c propagation time 0.003458 s
3600.01/3609.01 c conflict analysis time 0 s
3600.01/3609.01 c propagations 264
3600.01/3609.01 c resolve steps 0
3600.01/3609.01 c decisions 0
3600.01/3609.01 c conflicts 0
3600.01/3609.01 c restarts 0
3600.01/3609.01 c inprocessing phases 0
3600.01/3609.01 c garbage collections 0 ,( -nan )
3600.01/3609.01 c input clauses 4391 ,( 100.00 )
3600.01/3609.01 c input cardinalities 0 ,( 0.00 )
3600.01/3609.01 c input general constraints 0 ,( 0.00 )
3600.01/3609.01 c input average constraint length 2.16
3600.01/3609.01 c input average constraint degree 1.00
3600.01/3609.01 c learned clauses 0 ,( 0.00 )
3600.01/3609.01 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.01 c learned general constraints 0 ,( 0.00 )
3600.01/3609.01 c learned average constraint length 0.00
3600.01/3609.01 c learned average constraint degree 0.00
3600.01/3609.01 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.01 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3609.01 c watched constraints 0 ,( -nan )
3600.01/3609.01 c counting constraints 0 ,( -nan )
3600.01/3609.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 267 , 0 , 0 ,( 0 , 0 )
3600.01/3609.01 c gcd simplifications 0
3600.01/3609.01 c detected cardinalities 0
3600.01/3609.01 c weakened non-implied lits 0
3600.01/3609.01 c weakened non-implying lits 0
3600.01/3609.01 c original variables 2726
3600.01/3609.01 c clausal propagations 196
3600.01/3609.01 c cardinality propagations 0
3600.01/3609.01 c watched propagations 0
3600.01/3609.01 c counting propagations 0
3600.01/3609.01 c watch lookups 267
3600.01/3609.01 c watch backjump lookups 0
3600.01/3609.01 c watch checks 98
3600.01/3609.01 c propagation checks 196
3600.01/3609.01 c constraint additions 0
3600.01/3609.01 c trail pops 0
3600.01/3609.01 c formula constraints 4391
3600.01/3609.01 c learned constraints 0
3600.01/3609.01 c bound constraints 0
3600.01/3609.01 c core-guided constraints 0
3600.01/3609.01 c encountered formula constraints 0
3600.01/3609.01 c encountered learned constraints 0
3600.01/3609.01 c encountered bound constraints 0
3600.01/3609.01 c encountered core-guided constraints 0
3600.01/3609.01 c LP total time 0 s
3600.01/3609.01 c LP solve time 0 s
3600.01/3609.01 c LP constraints added 0
3600.01/3609.01 c LP constraints removed 0
3600.01/3609.01 c LP pivots internal 0
3600.01/3609.01 c LP pivots root 0
3600.01/3609.01 c LP calls 0
3600.01/3609.01 c LP optimalities 0
3600.01/3609.01 c LP no pivot count 0
3600.01/3609.01 c LP infeasibilities 0
3600.01/3609.01 c LP valid Farkas constraints 0
3600.01/3609.01 c LP learned Farkas constraints 0
3600.01/3609.01 c LP basis resets 0
3600.01/3609.01 c LP cycling count 0
3600.01/3609.01 c LP singular count 0
3600.01/3609.01 c LP no primal count 0
3600.01/3609.01 c LP no farkas count 0
3600.01/3609.01 c LP other issue count 0
3600.01/3609.01 c LP Gomory cuts 0
3600.01/3609.01 c LP learned cuts 0
3600.01/3609.01 c LP deleted cuts 0
3600.01/3609.01 c LP encountered Gomory constraints 0
3600.01/3609.01 c LP encountered Farkas constraints 0
3600.01/3609.01 c LP encountered learned Farkas constraints 0
3600.01/3609.01 c CG auxiliary variables introduced 0
3600.01/3609.01 c CG solutions found 0
3600.01/3609.01 c CG cores constructed 0
3600.01/3609.01 c CG core cardinality constraints returned 0
3600.01/3609.01 c CG unit cores 0
3600.01/3609.01 c CG single cores 0
3600.01/3609.01 c CG blocks removed during cardinality reduction 0
3600.01/3609.01 c CG first core best 0
3600.01/3609.01 c CG decision core best 0
3600.01/3609.01 c CG core reduction tie 0
3600.01/3609.01 c CG core degree average 0.00
3600.01/3609.01 c CG core slack average 0.00
3600.01/3609.01 c CG core upper bound improvements 0
3600.01/3609.01 c STR number of successful calls 0
3600.01/3609.01 c STR number of unsuccessful calls 0
3600.01/3609.01 c STR number of inconclusive calls 0
3600.01/3609.01 c STR number of successful attempts 0
3600.01/3609.01 c STR number of unsuccessful attempts 0
3600.01/3609.01 c STR number of inconclusive attempts 0
3600.01/3609.01 c STR average degree increase per successful call inf
3600.01/3609.01 c STR average degree increase per successful attempt inf
3600.01/3609.01 c STR total number of conflicts for successful attempts 0
3600.01/3609.01 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.01 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.01 c STR average number of conflicts per successful attempt inf
3600.01/3609.01 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.01 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.01 c AVG.sumWPerc -nan
3600.01/3609.01 c bigint constraints 0
3600.01/3609.01 s UNKNOWN
3600.01/3609.01 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62983 MiB free)
memory of node 1: 64507 MiB (63780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487022-1751328783/watcher-4487022-1751328783 -o /tmp/evaluation-result-4487022-1751328783/solver-4487022-1751328783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43194 --watchdog 3760 run-opt.sh HOME/instance-4487022-1751328783.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43532, runsolver pid=43529
[startup+0.100069 s]*
/proc/loadavg: 1.42 1.61 2.66 5/255 43534
/proc/meminfo: memFree=129805832/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=68800 memory=18688 CPUtime=0.08 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 3158 0 0 0 6 2 0 0 20 0 1 0 48558056 70451200 4672 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 17200 4672 2336 1147 0 4627 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 21760 KiB
[startup+0.213201 s]*
/proc/loadavg: 1.42 1.61 2.66 5/255 43534
/proc/meminfo: memFree=129805832/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=68800 memory=18816 CPUtime=0.19 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 3199 0 0 0 17 2 0 0 20 0 1 0 48558056 70451200 4704 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 17200 4704 2336 1147 0 4627 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 21888 KiB
[startup+0.313149 s]*
/proc/loadavg: 1.42 1.61 2.66 5/255 43534
/proc/meminfo: memFree=129805832/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=68800 memory=18944 CPUtime=0.29 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 3221 0 0 0 27 2 0 0 20 0 1 0 48558056 70451200 4736 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 17200 4736 2336 1147 0 4627 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 22016 KiB
[startup+0.700353 s]
/proc/loadavg: 1.42 1.61 2.66 5/255 43534
/proc/meminfo: memFree=129805832/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=68800 memory=19328 CPUtime=0.67 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 3307 0 0 0 65 2 0 0 20 0 1 0 48558056 70451200 4832 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 17200 4832 2368 1147 0 4627 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 22400 KiB
[startup+1.50037 s]
/proc/loadavg: 1.42 1.61 2.66 5/255 43534
/proc/meminfo: memFree=129803060/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=69724 memory=23168 CPUtime=1.46 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 3766 0 0 0 144 2 0 0 20 0 1 0 48558056 71397376 5792 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 17431 5792 2368 1147 0 4858 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 26240 KiB
[startup+3.1128 s]
/proc/loadavg: 1.63 1.65 2.67 5/255 43534
/proc/meminfo: memFree=129800100/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=72724 memory=26500 CPUtime=3.08 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 4076 0 0 0 305 3 0 0 20 0 1 0 48558056 74469376 6625 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 18181 6625 2368 1147 0 5608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76916 KiB
Current children cumulated memory: 29572 KiB
[startup+6.30036 s]
/proc/loadavg: 1.63 1.65 2.67 5/255 43534
/proc/meminfo: memFree=129800132/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=78276 memory=30888 CPUtime=6.25 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 4653 0 0 0 622 3 0 0 20 0 1 0 48558056 80154624 7722 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 19569 7722 2368 1147 0 6996 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 82468 KiB
Current children cumulated memory: 33960 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 1.73 2.69 5/255 43534
/proc/meminfo: memFree=129799884/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=85616 memory=35148 CPUtime=12.64 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 5209 0 0 0 1259 5 0 0 20 0 1 0 48558056 87670784 8787 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 21404 8787 2368 1147 0 8831 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89808 KiB
Current children cumulated memory: 38220 KiB
[startup+25.5004 s]
/proc/loadavg: 2.30 1.80 2.70 5/255 43535
/proc/meminfo: memFree=129786328/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=97440 memory=41200 CPUtime=25.41 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 5693 0 0 0 2534 7 0 0 20 0 1 0 48558056 99778560 10300 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 24360 10300 2368 1147 0 11787 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 44272 KiB
[startup+51.1125 s]
/proc/loadavg: 3.01 2.01 2.75 5/255 43535
/proc/meminfo: memFree=129751792/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=97760 memory=49608 CPUtime=50.96 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 5772 0 0 0 5085 11 0 0 20 0 1 0 48558056 100106240 12402 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 24440 12402 2368 1147 0 11867 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 101952 KiB
Current children cumulated memory: 52680 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.36 2.83 5/257 43539
/proc/meminfo: memFree=129700508/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=117228 memory=58252 CPUtime=102.03 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 6399 0 0 0 10186 17 0 0 20 0 1 0 48558056 120041472 14563 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 29307 14563 2368 1147 0 16734 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 121420 KiB
Current children cumulated memory: 61324 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.68 2.91 5/257 43541
/proc/meminfo: memFree=129666204/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=117564 memory=68792 CPUtime=161.9 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 6499 0 0 0 16164 26 0 0 20 0 1 0 48558056 120385536 17198 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 29391 17198 2368 1147 0 16818 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 121756 KiB
Current children cumulated memory: 71864 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.94 2.99 5/257 43543
/proc/meminfo: memFree=129650148/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=149120 memory=73768 CPUtime=221.76 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 7241 0 0 0 22140 36 0 0 20 0 1 0 48558056 152698880 18442 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 37280 18442 2368 1147 0 24707 0
Current children cumulated CPU time: 221.76 s
################
# More data... #
################
/proc/loadavg: 4.51 4.23 4.13 5/255 44252
/proc/meminfo: memFree=128546036/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=292568 memory=227948 CPUtime=3034.92 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 11793 0 0 0 303031 461 0 0 20 0 1 0 48558056 299589632 56987 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73142 56987 2368 1147 0 60569 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 296760 KiB
Current children cumulated memory: 231020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.59 4.32 4.17 5/255 44254
/proc/meminfo: memFree=128540884/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=292704 memory=230004 CPUtime=3094.75 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 11824 0 0 0 309005 470 0 0 20 0 1 0 48558056 299728896 57501 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73176 57501 2368 1147 0 60603 0
Current children cumulated CPU time: 3094.75 s
Current children cumulated vsize: 296896 KiB
Current children cumulated memory: 233076 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.28 4.16 5/254 44256
/proc/meminfo: memFree=128533552/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=292704 memory=230132 CPUtime=3154.58 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 11842 0 0 0 314980 478 0 0 20 0 1 0 48558056 299728896 57533 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73176 57533 2368 1147 0 60603 0
Current children cumulated CPU time: 3154.58 s
Current children cumulated vsize: 296896 KiB
Current children cumulated memory: 233204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.26 4.16 5/254 44258
/proc/meminfo: memFree=128538492/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=292704 memory=232244 CPUtime=3214.41 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 11864 0 0 0 320954 487 0 0 20 0 1 0 48558056 299728896 58061 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73176 58061 2368 1147 0 60603 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 296896 KiB
Current children cumulated memory: 235316 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.16 5/255 44263
/proc/meminfo: memFree=128533720/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=292908 memory=236372 CPUtime=3274.24 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12390 0 0 0 326928 496 0 0 20 0 1 0 48558056 299937792 59093 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73227 59093 2368 1147 0 60654 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 297100 KiB
Current children cumulated memory: 239444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/255 44265
/proc/meminfo: memFree=128538768/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=292908 memory=238520 CPUtime=3334.07 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12408 0 0 0 332903 504 0 0 20 0 1 0 48558056 299937792 59630 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73227 59630 2368 1147 0 60654 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 297100 KiB
Current children cumulated memory: 241592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.15 5/255 44271
/proc/meminfo: memFree=128533416/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=293052 memory=240636 CPUtime=3393.9 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12428 0 0 0 338876 514 0 0 20 0 1 0 48558056 300085248 60159 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73263 60159 2368 1147 0 60690 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 297244 KiB
Current children cumulated memory: 243708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/256 44274
/proc/meminfo: memFree=128511948/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=293280 memory=240892 CPUtime=3453.73 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12485 0 0 0 344852 521 0 0 20 0 1 0 48558056 300318720 60223 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73320 60223 2368 1147 0 60747 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 297472 KiB
Current children cumulated memory: 243964 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/256 44276
/proc/meminfo: memFree=128513060/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=293280 memory=242988 CPUtime=3513.56 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12509 0 0 0 350826 530 0 0 20 0 1 0 48558056 300318720 60747 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73320 60747 2368 1147 0 60747 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 297472 KiB
Current children cumulated memory: 246060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/256 44278
/proc/meminfo: memFree=128495712/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=293280 memory=245128 CPUtime=3573.39 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12519 0 0 0 356801 538 0 0 20 0 1 0 48558056 300318720 61282 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73320 61282 2368 1147 0 60747 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 297472 KiB
Current children cumulated memory: 248200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.08 4.14 4.14 5/256 44416
/proc/meminfo: memFree=129085304/131382112 swapFree=33010684/33010684
[pid=43532] ppid=43529 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/43532/stat : 43532 (run-opt.sh) S 43529 43532 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48558055 4292608 768 18446744073709551615 94025566924800 94025567819333 140729786340080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94025568058384 94025568106128 94025591672832 140729786345837 140729786345960 140729786345960 140729786351562 0
/proc/43532/statm: 1048 768 704 219 0 110 0
[pid=43534] ppid=43532 vsize=293280 memory=247212 CPUtime=3600.01 cores=0,2
/proc/43534/stat : 43534 (roundingsat) R 43532 43532 43184 0 -1 4194304 12520 0 0 0 359459 542 0 0 20 0 1 0 48558056 300318720 61803 18446744073709551615 4227072 8923433 140723663562720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28065792 140723663567266 140723663567400 140723663567400 140723663572970 0
/proc/43534/statm: 73320 61803 2368 1147 0 60747 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 297472 KiB
Current children cumulated memory: 250284 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.02 s]
# the end of solver process 43532 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.6 s, system=5.43519 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.02
CPU time (s): 3600.04
CPU user time (s): 3594.6
CPU system time (s): 5.43519
CPU usage (%): 99.7512
Max. virtual memory (cumulated for all children) (KiB): 297472
Max. memory (cumulated for all children) (KiB): 250284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.6
system time used= 5.43519
maximum resident set size= 247468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12758
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= 158
involuntary context switches= 7922
# summary of solver processes directly reported to runsolver:
# pid: 43532
# total CPU time (s): 3600.04
# total CPU user time (s): 3594.6
# total CPU system time (s): 5.43519
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0833 second user time and 33.9066 second system time
The end
Begin job on nodeC012 at 2025-07-01 02:13:03
IDJOB=4487022
IDBENCH=147179
IDSOLVER=3350
FILE ID=nodeC012/4487022-1751328783
RUNJOBID= nodeC012-1751328774-43194
SLURM_JOB_ID= 9594375
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487022-1751328783/watcher-4487022-1751328783 -o /tmp/evaluation-result-4487022-1751328783/solver-4487022-1751328783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43194 --watchdog 3760 run-opt.sh HOME/instance-4487022-1751328783.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b60d282f6d94cb463dd26171dfefd6b
RANDOM SEED=627212813
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.560
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3691.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.155
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3691.259
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129805752 kB
MemAvailable: 129796348 kB
Buffers: 3280 kB
Cached: 799044 kB
SwapCached: 0 kB
Active: 532740 kB
Inactive: 488632 kB
Active(anon): 237016 kB
Inactive(anon): 0 kB
Active(file): 295724 kB
Inactive(file): 488632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31884 kB
Writeback: 0 kB
AnonPages: 222204 kB
Mapped: 115812 kB
Shmem: 17960 kB
KReclaimable: 91352 kB
Slab: 174244 kB
SReclaimable: 91352 kB
SUnreclaim: 82892 kB
KernelStack: 4096 kB
PageTables: 3596 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 597340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 63488 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC012 at 2025-07-01 03:13:13