0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c [STEP] parsing instance
0.07/0.12 c [STEP] solving
0.07/0.12 c #variables 15725 #constraints 33136
0.07/0.12 c SMALL=int, LARGE=long long
0.07/0.12 c bounds - >= -25 @ 0.077198
0.07/0.12 c stratification level: 109215352
37.26/37.41 c #Conflicts: 1000 | #Constraints: 34135
37.26/37.41 c #Conflicts: 2000 | #Constraints: 35135
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 3000 | #Constraints: 35140
37.26/37.41 c #Conflicts: 4000 | #Constraints: 36140
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 5000 | #Constraints: 35543
37.26/37.41 c #Conflicts: 6000 | #Constraints: 36543
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 7000 | #Constraints: 35544
37.26/37.41 c #Conflicts: 8000 | #Constraints: 36544
37.26/37.41 c #Conflicts: 9000 | #Constraints: 37544
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 10000 | #Constraints: 36247
37.26/37.41 c #Conflicts: 11000 | #Constraints: 37247
37.26/37.41 c #Conflicts: 12000 | #Constraints: 38247
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 13000 | #Constraints: 36700
37.26/37.41 c #Conflicts: 14000 | #Constraints: 37700
37.26/37.41 c #Conflicts: 15000 | #Constraints: 38700
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 16000 | #Constraints: 36928
37.26/37.41 c #Conflicts: 17000 | #Constraints: 37928
37.26/37.41 c #Conflicts: 18000 | #Constraints: 38928
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 19000 | #Constraints: 36942
37.26/37.41 c #Conflicts: 20000 | #Constraints: 37942
37.26/37.41 c #Conflicts: 21000 | #Constraints: 38942
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 22000 | #Constraints: 36748
37.26/37.41 c #Conflicts: 23000 | #Constraints: 37748
37.26/37.41 c #Conflicts: 24000 | #Constraints: 38748
37.26/37.41 c #Conflicts: 25000 | #Constraints: 39748
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 26000 | #Constraints: 37356
37.26/37.41 c #Conflicts: 27000 | #Constraints: 38356
37.26/37.41 c #Conflicts: 28000 | #Constraints: 39356
37.26/37.41 c #Conflicts: 29000 | #Constraints: 40356
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 30000 | #Constraints: 37761
37.26/37.41 c #Conflicts: 31000 | #Constraints: 38761
37.26/37.41 c #Conflicts: 32000 | #Constraints: 39761
37.26/37.41 c #Conflicts: 33000 | #Constraints: 40761
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 34000 | #Constraints: 37960
37.26/37.41 c #Conflicts: 35000 | #Constraints: 38960
37.26/37.41 c #Conflicts: 36000 | #Constraints: 39960
37.26/37.41 c #Conflicts: 37000 | #Constraints: 40960
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 38000 | #Constraints: 37961
37.26/37.41 c #Conflicts: 39000 | #Constraints: 38961
37.26/37.41 c #Conflicts: 40000 | #Constraints: 39961
37.26/37.41 c #Conflicts: 41000 | #Constraints: 40961
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 42000 | #Constraints: 37770
37.26/37.41 c #Conflicts: 43000 | #Constraints: 38770
37.26/37.41 c #Conflicts: 44000 | #Constraints: 39770
37.26/37.41 c #Conflicts: 45000 | #Constraints: 40770
37.26/37.41 c #Conflicts: 46000 | #Constraints: 41770
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 47000 | #Constraints: 38358
37.26/37.41 c #Conflicts: 48000 | #Constraints: 39358
37.26/37.41 c #Conflicts: 49000 | #Constraints: 40358
37.26/37.41 c #Conflicts: 50000 | #Constraints: 41358
37.26/37.41 c #Conflicts: 51000 | #Constraints: 42358
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 52000 | #Constraints: 38758
37.26/37.41 c #Conflicts: 53000 | #Constraints: 39758
37.26/37.41 c #Conflicts: 54000 | #Constraints: 40758
37.26/37.41 c #Conflicts: 55000 | #Constraints: 41758
37.26/37.41 c #Conflicts: 56000 | #Constraints: 42758
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 57000 | #Constraints: 38961
37.26/37.41 c #Conflicts: 58000 | #Constraints: 39961
37.26/37.41 c #Conflicts: 59000 | #Constraints: 40961
37.26/37.41 c #Conflicts: 60000 | #Constraints: 41961
37.26/37.41 c #Conflicts: 61000 | #Constraints: 42961
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 62000 | #Constraints: 38957
37.26/37.41 c #Conflicts: 63000 | #Constraints: 39957
37.26/37.41 c #Conflicts: 64000 | #Constraints: 40957
37.26/37.41 c #Conflicts: 65000 | #Constraints: 41957
37.26/37.41 c #Conflicts: 66000 | #Constraints: 42957
37.26/37.41 c INPROCESSING
37.26/37.41 c GARBAGE COLLECT
37.26/37.41 c #Conflicts: 67000 | #Constraints: 38768
37.26/37.41 c #Conflicts: 68000 | #Constraints: 39768
109.35/109.77 c #Conflicts: 69000 | #Constraints: 40768
109.35/109.77 c #Conflicts: 70000 | #Constraints: 41768
109.35/109.77 c #Conflicts: 71000 | #Constraints: 42768
109.35/109.77 c #Conflicts: 72000 | #Constraints: 43768
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 73000 | #Constraints: 39364
109.35/109.77 c #Conflicts: 74000 | #Constraints: 40364
109.35/109.77 c #Conflicts: 75000 | #Constraints: 41364
109.35/109.77 c #Conflicts: 76000 | #Constraints: 42364
109.35/109.77 c #Conflicts: 77000 | #Constraints: 43364
109.35/109.77 c #Conflicts: 78000 | #Constraints: 44364
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 79000 | #Constraints: 39767
109.35/109.77 c #Conflicts: 80000 | #Constraints: 40767
109.35/109.77 c #Conflicts: 81000 | #Constraints: 41767
109.35/109.77 c #Conflicts: 82000 | #Constraints: 42767
109.35/109.77 c #Conflicts: 83000 | #Constraints: 43767
109.35/109.77 c #Conflicts: 84000 | #Constraints: 44767
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 85000 | #Constraints: 39962
109.35/109.77 c #Conflicts: 86000 | #Constraints: 40962
109.35/109.77 c #Conflicts: 87000 | #Constraints: 41962
109.35/109.77 c #Conflicts: 88000 | #Constraints: 42962
109.35/109.77 c #Conflicts: 89000 | #Constraints: 43962
109.35/109.77 c #Conflicts: 90000 | #Constraints: 44962
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 91000 | #Constraints: 39965
109.35/109.77 c #Conflicts: 92000 | #Constraints: 40965
109.35/109.77 c #Conflicts: 93000 | #Constraints: 41965
109.35/109.77 c #Conflicts: 94000 | #Constraints: 42965
109.35/109.77 c #Conflicts: 95000 | #Constraints: 43965
109.35/109.77 c #Conflicts: 96000 | #Constraints: 44965
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 97000 | #Constraints: 39769
109.35/109.77 c #Conflicts: 98000 | #Constraints: 40769
109.35/109.77 c #Conflicts: 99000 | #Constraints: 41769
109.35/109.77 c #Conflicts: 100000 | #Constraints: 42769
109.35/109.77 c #Conflicts: 101000 | #Constraints: 43769
109.35/109.77 c #Conflicts: 102000 | #Constraints: 44769
109.35/109.77 c #Conflicts: 103000 | #Constraints: 45769
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 104000 | #Constraints: 40373
109.35/109.77 c #Conflicts: 105000 | #Constraints: 41373
109.35/109.77 c #Conflicts: 106000 | #Constraints: 42373
109.35/109.77 c #Conflicts: 107000 | #Constraints: 43373
109.35/109.77 c #Conflicts: 108000 | #Constraints: 44373
109.35/109.77 c #Conflicts: 109000 | #Constraints: 45373
109.35/109.77 c #Conflicts: 110000 | #Constraints: 46373
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 111000 | #Constraints: 40771
109.35/109.77 c #Conflicts: 112000 | #Constraints: 41771
109.35/109.77 c #Conflicts: 113000 | #Constraints: 42771
109.35/109.77 c #Conflicts: 114000 | #Constraints: 43771
109.35/109.77 c #Conflicts: 115000 | #Constraints: 44771
109.35/109.77 c #Conflicts: 116000 | #Constraints: 45771
109.35/109.77 c #Conflicts: 117000 | #Constraints: 46771
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 118000 | #Constraints: 40962
109.35/109.77 c #Conflicts: 119000 | #Constraints: 41962
109.35/109.77 c #Conflicts: 120000 | #Constraints: 42962
109.35/109.77 c #Conflicts: 121000 | #Constraints: 43962
109.35/109.77 c #Conflicts: 122000 | #Constraints: 44962
109.35/109.77 c #Conflicts: 123000 | #Constraints: 45962
109.35/109.77 c #Conflicts: 124000 | #Constraints: 46962
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 125000 | #Constraints: 40964
109.35/109.77 c #Conflicts: 126000 | #Constraints: 41964
109.35/109.77 c #Conflicts: 127000 | #Constraints: 42964
109.35/109.77 c #Conflicts: 128000 | #Constraints: 43964
109.35/109.77 c #Conflicts: 129000 | #Constraints: 44964
109.35/109.77 c #Conflicts: 130000 | #Constraints: 45964
109.35/109.77 c #Conflicts: 131000 | #Constraints: 46964
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 132000 | #Constraints: 40770
109.35/109.77 c #Conflicts: 133000 | #Constraints: 41770
109.35/109.77 c #Conflicts: 134000 | #Constraints: 42770
109.35/109.77 c #Conflicts: 135000 | #Constraints: 43770
109.35/109.77 c #Conflicts: 136000 | #Constraints: 44770
109.35/109.77 c #Conflicts: 137000 | #Constraints: 45770
109.35/109.77 c #Conflicts: 138000 | #Constraints: 46770
109.35/109.77 c #Conflicts: 139000 | #Constraints: 47770
109.35/109.77 c INPROCESSING
109.35/109.77 c GARBAGE COLLECT
109.35/109.77 c #Conflicts: 140000 | #Constraints: 41378
199.01/199.68 c #Conflicts: 141000 | #Constraints: 42378
199.01/199.68 c #Conflicts: 142000 | #Constraints: 43378
199.01/199.68 c #Conflicts: 143000 | #Constraints: 44378
199.01/199.68 c #Conflicts: 144000 | #Constraints: 45378
199.01/199.68 c #Conflicts: 145000 | #Constraints: 46378
199.01/199.68 c #Conflicts: 146000 | #Constraints: 47378
199.01/199.68 c #Conflicts: 147000 | #Constraints: 48378
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 148000 | #Constraints: 41785
199.01/199.68 c #Conflicts: 149000 | #Constraints: 42785
199.01/199.68 c #Conflicts: 150000 | #Constraints: 43785
199.01/199.68 c #Conflicts: 151000 | #Constraints: 44785
199.01/199.68 c #Conflicts: 152000 | #Constraints: 45785
199.01/199.68 c #Conflicts: 153000 | #Constraints: 46785
199.01/199.68 c #Conflicts: 154000 | #Constraints: 47785
199.01/199.68 c #Conflicts: 155000 | #Constraints: 48785
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 156000 | #Constraints: 41990
199.01/199.68 c #Conflicts: 157000 | #Constraints: 42990
199.01/199.68 c #Conflicts: 158000 | #Constraints: 43990
199.01/199.68 c #Conflicts: 159000 | #Constraints: 44990
199.01/199.68 c #Conflicts: 160000 | #Constraints: 45990
199.01/199.68 c #Conflicts: 161000 | #Constraints: 46990
199.01/199.68 c #Conflicts: 162000 | #Constraints: 47990
199.01/199.68 c #Conflicts: 163000 | #Constraints: 48990
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 164000 | #Constraints: 41984
199.01/199.68 c #Conflicts: 165000 | #Constraints: 42984
199.01/199.68 c #Conflicts: 166000 | #Constraints: 43984
199.01/199.68 c #Conflicts: 167000 | #Constraints: 44984
199.01/199.68 c #Conflicts: 168000 | #Constraints: 45984
199.01/199.68 c #Conflicts: 169000 | #Constraints: 46984
199.01/199.68 c #Conflicts: 170000 | #Constraints: 47984
199.01/199.68 c #Conflicts: 171000 | #Constraints: 48984
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 172000 | #Constraints: 41786
199.01/199.68 c #Conflicts: 173000 | #Constraints: 42786
199.01/199.68 c #Conflicts: 174000 | #Constraints: 43786
199.01/199.68 c #Conflicts: 175000 | #Constraints: 44786
199.01/199.68 c #Conflicts: 176000 | #Constraints: 45786
199.01/199.68 c #Conflicts: 177000 | #Constraints: 46786
199.01/199.68 c #Conflicts: 178000 | #Constraints: 47786
199.01/199.68 c #Conflicts: 179000 | #Constraints: 48786
199.01/199.68 c #Conflicts: 180000 | #Constraints: 49786
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 181000 | #Constraints: 42383
199.01/199.68 c #Conflicts: 182000 | #Constraints: 43383
199.01/199.68 c #Conflicts: 183000 | #Constraints: 44383
199.01/199.68 c #Conflicts: 184000 | #Constraints: 45383
199.01/199.68 c #Conflicts: 185000 | #Constraints: 46383
199.01/199.68 c #Conflicts: 186000 | #Constraints: 47383
199.01/199.68 c #Conflicts: 187000 | #Constraints: 48383
199.01/199.68 c #Conflicts: 188000 | #Constraints: 49383
199.01/199.68 c #Conflicts: 189000 | #Constraints: 50383
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 190000 | #Constraints: 42780
199.01/199.68 c #Conflicts: 191000 | #Constraints: 43780
199.01/199.68 c #Conflicts: 192000 | #Constraints: 44780
199.01/199.68 c #Conflicts: 193000 | #Constraints: 45780
199.01/199.68 c #Conflicts: 194000 | #Constraints: 46780
199.01/199.68 c #Conflicts: 195000 | #Constraints: 47780
199.01/199.68 c #Conflicts: 196000 | #Constraints: 48780
199.01/199.68 c #Conflicts: 197000 | #Constraints: 49780
199.01/199.68 c #Conflicts: 198000 | #Constraints: 50780
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 199000 | #Constraints: 42977
199.01/199.68 c #Conflicts: 200000 | #Constraints: 43977
199.01/199.68 c #Conflicts: 201000 | #Constraints: 44977
199.01/199.68 c #Conflicts: 202000 | #Constraints: 45977
199.01/199.68 c #Conflicts: 203000 | #Constraints: 46977
199.01/199.68 c #Conflicts: 204000 | #Constraints: 47977
199.01/199.68 c #Conflicts: 205000 | #Constraints: 48977
199.01/199.68 c #Conflicts: 206000 | #Constraints: 49977
199.01/199.68 c #Conflicts: 207000 | #Constraints: 50977
199.01/199.68 c INPROCESSING
199.01/199.68 c GARBAGE COLLECT
199.01/199.68 c #Conflicts: 208000 | #Constraints: 42981
199.01/199.68 c #Conflicts: 209000 | #Constraints: 43981
199.01/199.68 c #Conflicts: 210000 | #Constraints: 44981
199.01/199.68 c #Conflicts: 211000 | #Constraints: 45981
199.01/199.68 c #Conflicts: 212000 | #Constraints: 46981
199.01/199.68 c #Conflicts: 213000 | #Constraints: 47981
324.36/325.38 c #Conflicts: 214000 | #Constraints: 48981
324.36/325.38 c #Conflicts: 215000 | #Constraints: 49981
324.36/325.38 c #Conflicts: 216000 | #Constraints: 50981
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 217000 | #Constraints: 42784
324.36/325.38 c #Conflicts: 218000 | #Constraints: 43784
324.36/325.38 c #Conflicts: 219000 | #Constraints: 44784
324.36/325.38 c #Conflicts: 220000 | #Constraints: 45784
324.36/325.38 c #Conflicts: 221000 | #Constraints: 46784
324.36/325.38 c #Conflicts: 222000 | #Constraints: 47784
324.36/325.38 c #Conflicts: 223000 | #Constraints: 48784
324.36/325.38 c #Conflicts: 224000 | #Constraints: 49784
324.36/325.38 c #Conflicts: 225000 | #Constraints: 50784
324.36/325.38 c #Conflicts: 226000 | #Constraints: 51784
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 227000 | #Constraints: 43377
324.36/325.38 c #Conflicts: 228000 | #Constraints: 44377
324.36/325.38 c #Conflicts: 229000 | #Constraints: 45377
324.36/325.38 c #Conflicts: 230000 | #Constraints: 46377
324.36/325.38 c #Conflicts: 231000 | #Constraints: 47377
324.36/325.38 c #Conflicts: 232000 | #Constraints: 48377
324.36/325.38 c #Conflicts: 233000 | #Constraints: 49377
324.36/325.38 c #Conflicts: 234000 | #Constraints: 50377
324.36/325.38 c #Conflicts: 235000 | #Constraints: 51377
324.36/325.38 c #Conflicts: 236000 | #Constraints: 52377
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 237000 | #Constraints: 43789
324.36/325.38 c #Conflicts: 238000 | #Constraints: 44789
324.36/325.38 c #Conflicts: 239000 | #Constraints: 45789
324.36/325.38 c #Conflicts: 240000 | #Constraints: 46789
324.36/325.38 c #Conflicts: 241000 | #Constraints: 47789
324.36/325.38 c #Conflicts: 242000 | #Constraints: 48789
324.36/325.38 c #Conflicts: 243000 | #Constraints: 49789
324.36/325.38 c #Conflicts: 244000 | #Constraints: 50789
324.36/325.38 c #Conflicts: 245000 | #Constraints: 51789
324.36/325.38 c #Conflicts: 246000 | #Constraints: 52789
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 247000 | #Constraints: 43987
324.36/325.38 c #Conflicts: 248000 | #Constraints: 44987
324.36/325.38 c #Conflicts: 249000 | #Constraints: 45987
324.36/325.38 c #Conflicts: 250000 | #Constraints: 46987
324.36/325.38 c #Conflicts: 251000 | #Constraints: 47987
324.36/325.38 c #Conflicts: 252000 | #Constraints: 48987
324.36/325.38 c #Conflicts: 253000 | #Constraints: 49987
324.36/325.38 c #Conflicts: 254000 | #Constraints: 50987
324.36/325.38 c #Conflicts: 255000 | #Constraints: 51987
324.36/325.38 c #Conflicts: 256000 | #Constraints: 52987
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 257000 | #Constraints: 43976
324.36/325.38 c #Conflicts: 258000 | #Constraints: 44976
324.36/325.38 c #Conflicts: 259000 | #Constraints: 45976
324.36/325.38 c #Conflicts: 260000 | #Constraints: 46976
324.36/325.38 c #Conflicts: 261000 | #Constraints: 47976
324.36/325.38 c #Conflicts: 262000 | #Constraints: 48976
324.36/325.38 c #Conflicts: 263000 | #Constraints: 49976
324.36/325.38 c #Conflicts: 264000 | #Constraints: 50976
324.36/325.38 c #Conflicts: 265000 | #Constraints: 51976
324.36/325.38 c #Conflicts: 266000 | #Constraints: 52976
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 267000 | #Constraints: 43785
324.36/325.38 c #Conflicts: 268000 | #Constraints: 44785
324.36/325.38 c #Conflicts: 269000 | #Constraints: 45785
324.36/325.38 c #Conflicts: 270000 | #Constraints: 46785
324.36/325.38 c #Conflicts: 271000 | #Constraints: 47785
324.36/325.38 c #Conflicts: 272000 | #Constraints: 48785
324.36/325.38 c #Conflicts: 273000 | #Constraints: 49785
324.36/325.38 c #Conflicts: 274000 | #Constraints: 50785
324.36/325.38 c #Conflicts: 275000 | #Constraints: 51785
324.36/325.38 c #Conflicts: 276000 | #Constraints: 52785
324.36/325.38 c #Conflicts: 277000 | #Constraints: 53785
324.36/325.38 c INPROCESSING
324.36/325.38 c GARBAGE COLLECT
324.36/325.38 c #Conflicts: 278000 | #Constraints: 44405
324.36/325.38 c #Conflicts: 279000 | #Constraints: 45405
324.36/325.38 c #Conflicts: 280000 | #Constraints: 46405
324.36/325.38 c #Conflicts: 281000 | #Constraints: 47405
324.36/325.38 c #Conflicts: 282000 | #Constraints: 48405
324.36/325.38 c #Conflicts: 283000 | #Constraints: 49405
324.36/325.38 c #Conflicts: 284000 | #Constraints: 50405
324.36/325.38 c #Conflicts: 285000 | #Constraints: 51405
324.36/325.38 c #Conflicts: 286000 | #Constraints: 52405
324.36/325.38 c #Conflicts: 287000 | #Constraints: 53405
324.36/325.38 c #Conflicts: 288000 | #Constraints: 54405
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 289000 | #Constraints: 44796
466.67/468.07 c #Conflicts: 290000 | #Constraints: 45796
466.67/468.07 c #Conflicts: 291000 | #Constraints: 46796
466.67/468.07 c #Conflicts: 292000 | #Constraints: 47796
466.67/468.07 c #Conflicts: 293000 | #Constraints: 48796
466.67/468.07 c #Conflicts: 294000 | #Constraints: 49796
466.67/468.07 c #Conflicts: 295000 | #Constraints: 50796
466.67/468.07 c #Conflicts: 296000 | #Constraints: 51796
466.67/468.07 c #Conflicts: 297000 | #Constraints: 52796
466.67/468.07 c #Conflicts: 298000 | #Constraints: 53796
466.67/468.07 c #Conflicts: 299000 | #Constraints: 54796
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 300000 | #Constraints: 44992
466.67/468.07 c #Conflicts: 301000 | #Constraints: 45992
466.67/468.07 c #Conflicts: 302000 | #Constraints: 46992
466.67/468.07 c #Conflicts: 303000 | #Constraints: 47992
466.67/468.07 c #Conflicts: 304000 | #Constraints: 48992
466.67/468.07 c #Conflicts: 305000 | #Constraints: 49992
466.67/468.07 c #Conflicts: 306000 | #Constraints: 50992
466.67/468.07 c #Conflicts: 307000 | #Constraints: 51992
466.67/468.07 c #Conflicts: 308000 | #Constraints: 52992
466.67/468.07 c #Conflicts: 309000 | #Constraints: 53992
466.67/468.07 c #Conflicts: 310000 | #Constraints: 54992
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 311000 | #Constraints: 44995
466.67/468.07 c #Conflicts: 312000 | #Constraints: 45995
466.67/468.07 c #Conflicts: 313000 | #Constraints: 46995
466.67/468.07 c #Conflicts: 314000 | #Constraints: 47995
466.67/468.07 c #Conflicts: 315000 | #Constraints: 48995
466.67/468.07 c #Conflicts: 316000 | #Constraints: 49995
466.67/468.07 c #Conflicts: 317000 | #Constraints: 50995
466.67/468.07 c #Conflicts: 318000 | #Constraints: 51995
466.67/468.07 c #Conflicts: 319000 | #Constraints: 52995
466.67/468.07 c #Conflicts: 320000 | #Constraints: 53995
466.67/468.07 c #Conflicts: 321000 | #Constraints: 54995
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 322000 | #Constraints: 44787
466.67/468.07 c #Conflicts: 323000 | #Constraints: 45787
466.67/468.07 c #Conflicts: 324000 | #Constraints: 46787
466.67/468.07 c #Conflicts: 325000 | #Constraints: 47787
466.67/468.07 c #Conflicts: 326000 | #Constraints: 48787
466.67/468.07 c #Conflicts: 327000 | #Constraints: 49787
466.67/468.07 c #Conflicts: 328000 | #Constraints: 50787
466.67/468.07 c #Conflicts: 329000 | #Constraints: 51787
466.67/468.07 c #Conflicts: 330000 | #Constraints: 52787
466.67/468.07 c #Conflicts: 331000 | #Constraints: 53787
466.67/468.07 c #Conflicts: 332000 | #Constraints: 54787
466.67/468.07 c #Conflicts: 333000 | #Constraints: 55787
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 334000 | #Constraints: 45383
466.67/468.07 c #Conflicts: 335000 | #Constraints: 46383
466.67/468.07 c #Conflicts: 336000 | #Constraints: 47383
466.67/468.07 c #Conflicts: 337000 | #Constraints: 48383
466.67/468.07 c #Conflicts: 338000 | #Constraints: 49383
466.67/468.07 c #Conflicts: 339000 | #Constraints: 50383
466.67/468.07 c #Conflicts: 340000 | #Constraints: 51383
466.67/468.07 c #Conflicts: 341000 | #Constraints: 52383
466.67/468.07 c #Conflicts: 342000 | #Constraints: 53383
466.67/468.07 c #Conflicts: 343000 | #Constraints: 54383
466.67/468.07 c #Conflicts: 344000 | #Constraints: 55383
466.67/468.07 c #Conflicts: 345000 | #Constraints: 56383
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 346000 | #Constraints: 45780
466.67/468.07 c #Conflicts: 347000 | #Constraints: 46780
466.67/468.07 c #Conflicts: 348000 | #Constraints: 47780
466.67/468.07 c #Conflicts: 349000 | #Constraints: 48780
466.67/468.07 c #Conflicts: 350000 | #Constraints: 49780
466.67/468.07 c #Conflicts: 351000 | #Constraints: 50780
466.67/468.07 c #Conflicts: 352000 | #Constraints: 51780
466.67/468.07 c #Conflicts: 353000 | #Constraints: 52780
466.67/468.07 c #Conflicts: 354000 | #Constraints: 53780
466.67/468.07 c #Conflicts: 355000 | #Constraints: 54780
466.67/468.07 c #Conflicts: 356000 | #Constraints: 55780
466.67/468.07 c #Conflicts: 357000 | #Constraints: 56780
466.67/468.07 c INPROCESSING
466.67/468.07 c GARBAGE COLLECT
466.67/468.07 c #Conflicts: 358000 | #Constraints: 45988
466.67/468.07 c #Conflicts: 359000 | #Constraints: 46988
466.67/468.07 c #Conflicts: 360000 | #Constraints: 47988
466.67/468.07 c #Conflicts: 361000 | #Constraints: 48988
466.67/468.07 c #Conflicts: 362000 | #Constraints: 49988
632.30/634.16 c #Conflicts: 363000 | #Constraints: 50988
632.30/634.16 c #Conflicts: 364000 | #Constraints: 51988
632.30/634.16 c #Conflicts: 365000 | #Constraints: 52988
632.30/634.16 c #Conflicts: 366000 | #Constraints: 53988
632.30/634.16 c #Conflicts: 367000 | #Constraints: 54988
632.30/634.16 c #Conflicts: 368000 | #Constraints: 55988
632.30/634.16 c #Conflicts: 369000 | #Constraints: 56988
632.30/634.16 c INPROCESSING
632.30/634.16 c GARBAGE COLLECT
632.30/634.16 c #Conflicts: 370000 | #Constraints: 45989
632.30/634.16 c #Conflicts: 371000 | #Constraints: 46989
632.30/634.16 c #Conflicts: 372000 | #Constraints: 47989
632.30/634.16 c #Conflicts: 373000 | #Constraints: 48989
632.30/634.16 c #Conflicts: 374000 | #Constraints: 49989
632.30/634.16 c #Conflicts: 375000 | #Constraints: 50989
632.30/634.16 c #Conflicts: 376000 | #Constraints: 51989
632.30/634.16 c #Conflicts: 377000 | #Constraints: 52989
632.30/634.16 c #Conflicts: 378000 | #Constraints: 53989
632.30/634.16 c #Conflicts: 379000 | #Constraints: 54989
632.30/634.16 c #Conflicts: 380000 | #Constraints: 55989
632.30/634.16 c #Conflicts: 381000 | #Constraints: 56989
632.30/634.16 c INPROCESSING
632.30/634.16 c GARBAGE COLLECT
632.30/634.16 c #Conflicts: 382000 | #Constraints: 45791
632.30/634.16 c #Conflicts: 383000 | #Constraints: 46791
632.30/634.16 c #Conflicts: 384000 | #Constraints: 47791
632.30/634.16 c #Conflicts: 385000 | #Constraints: 48791
632.30/634.16 c #Conflicts: 386000 | #Constraints: 49791
632.30/634.16 c #Conflicts: 387000 | #Constraints: 50791
632.30/634.16 c #Conflicts: 388000 | #Constraints: 51791
632.30/634.16 c #Conflicts: 389000 | #Constraints: 52791
632.30/634.16 c #Conflicts: 390000 | #Constraints: 53791
632.30/634.16 c #Conflicts: 391000 | #Constraints: 54791
632.30/634.16 c #Conflicts: 392000 | #Constraints: 55791
632.30/634.16 c #Conflicts: 393000 | #Constraints: 56791
632.30/634.16 c #Conflicts: 394000 | #Constraints: 57791
632.30/634.16 c INPROCESSING
632.30/634.16 c GARBAGE COLLECT
632.30/634.16 c #Conflicts: 395000 | #Constraints: 46384
632.30/634.16 c #Conflicts: 396000 | #Constraints: 47384
632.30/634.16 c #Conflicts: 397000 | #Constraints: 48384
632.30/634.16 c #Conflicts: 398000 | #Constraints: 49384
632.30/634.16 c #Conflicts: 399000 | #Constraints: 50384
632.30/634.16 c #Conflicts: 400000 | #Constraints: 51384
632.30/634.16 c #Conflicts: 401000 | #Constraints: 52384
632.30/634.16 c #Conflicts: 402000 | #Constraints: 53384
632.30/634.16 c #Conflicts: 403000 | #Constraints: 54384
632.30/634.16 c #Conflicts: 404000 | #Constraints: 55384
632.30/634.16 c #Conflicts: 405000 | #Constraints: 56384
632.30/634.16 c #Conflicts: 406000 | #Constraints: 57384
632.30/634.16 c #Conflicts: 407000 | #Constraints: 58384
632.30/634.16 c INPROCESSING
632.30/634.16 c GARBAGE COLLECT
632.30/634.16 c #Conflicts: 408000 | #Constraints: 46783
632.30/634.16 c #Conflicts: 409000 | #Constraints: 47783
632.30/634.16 c #Conflicts: 410000 | #Constraints: 48783
632.30/634.16 c #Conflicts: 411000 | #Constraints: 49783
632.30/634.16 c #Conflicts: 412000 | #Constraints: 50783
632.30/634.16 c #Conflicts: 413000 | #Constraints: 51783
632.30/634.16 c #Conflicts: 414000 | #Constraints: 52783
632.30/634.16 c #Conflicts: 415000 | #Constraints: 53783
632.30/634.16 c #Conflicts: 416000 | #Constraints: 54783
632.30/634.16 c #Conflicts: 417000 | #Constraints: 55783
632.30/634.16 c #Conflicts: 418000 | #Constraints: 56783
632.30/634.16 c #Conflicts: 419000 | #Constraints: 57783
632.30/634.16 c #Conflicts: 420000 | #Constraints: 58783
632.30/634.16 c INPROCESSING
632.30/634.16 c GARBAGE COLLECT
632.30/634.16 c #Conflicts: 421000 | #Constraints: 46997
632.30/634.16 c #Conflicts: 422000 | #Constraints: 47997
632.30/634.16 c #Conflicts: 423000 | #Constraints: 48997
632.30/634.16 c #Conflicts: 424000 | #Constraints: 49997
632.30/634.16 c #Conflicts: 425000 | #Constraints: 50997
632.30/634.16 c #Conflicts: 426000 | #Constraints: 51997
632.30/634.16 c #Conflicts: 427000 | #Constraints: 52997
632.30/634.16 c #Conflicts: 428000 | #Constraints: 53997
632.30/634.16 c #Conflicts: 429000 | #Constraints: 54997
632.30/634.16 c #Conflicts: 430000 | #Constraints: 55997
632.30/634.16 c #Conflicts: 431000 | #Constraints: 56997
632.30/634.16 c #Conflicts: 432000 | #Constraints: 57997
632.30/634.16 c #Conflicts: 433000 | #Constraints: 58997
632.30/634.16 c INPROCESSING
632.30/634.16 c GARBAGE COLLECT
632.30/634.16 c #Conflicts: 434000 | #Constraints: 47006
632.30/634.16 c #Conflicts: 435000 | #Constraints: 48006
632.30/634.16 c #Conflicts: 436000 | #Constraints: 49006
632.30/634.16 c #Conflicts: 437000 | #Constraints: 50006
808.52/810.81 c #Conflicts: 438000 | #Constraints: 51006
808.52/810.81 c #Conflicts: 439000 | #Constraints: 52006
808.52/810.81 c #Conflicts: 440000 | #Constraints: 53006
808.52/810.81 c #Conflicts: 441000 | #Constraints: 54006
808.52/810.81 c #Conflicts: 442000 | #Constraints: 55006
808.52/810.81 c #Conflicts: 443000 | #Constraints: 56006
808.52/810.81 c #Conflicts: 444000 | #Constraints: 57006
808.52/810.81 c #Conflicts: 445000 | #Constraints: 58006
808.52/810.81 c #Conflicts: 446000 | #Constraints: 59006
808.52/810.81 c INPROCESSING
808.52/810.81 c GARBAGE COLLECT
808.52/810.81 c #Conflicts: 447000 | #Constraints: 46796
808.52/810.81 c #Conflicts: 448000 | #Constraints: 47796
808.52/810.81 c #Conflicts: 449000 | #Constraints: 48796
808.52/810.81 c #Conflicts: 450000 | #Constraints: 49796
808.52/810.81 c #Conflicts: 451000 | #Constraints: 50796
808.52/810.81 c #Conflicts: 452000 | #Constraints: 51796
808.52/810.81 c #Conflicts: 453000 | #Constraints: 52796
808.52/810.81 c #Conflicts: 454000 | #Constraints: 53796
808.52/810.81 c #Conflicts: 455000 | #Constraints: 54796
808.52/810.81 c #Conflicts: 456000 | #Constraints: 55796
808.52/810.81 c #Conflicts: 457000 | #Constraints: 56796
808.52/810.81 c #Conflicts: 458000 | #Constraints: 57796
808.52/810.81 c #Conflicts: 459000 | #Constraints: 58796
808.52/810.81 c #Conflicts: 460000 | #Constraints: 59796
808.52/810.81 c INPROCESSING
808.52/810.81 c GARBAGE COLLECT
808.52/810.81 c #Conflicts: 461000 | #Constraints: 47390
808.52/810.81 c #Conflicts: 462000 | #Constraints: 48390
808.52/810.81 c #Conflicts: 463000 | #Constraints: 49390
808.52/810.81 c #Conflicts: 464000 | #Constraints: 50390
808.52/810.81 c #Conflicts: 465000 | #Constraints: 51390
808.52/810.81 c #Conflicts: 466000 | #Constraints: 52390
808.52/810.81 c #Conflicts: 467000 | #Constraints: 53390
808.52/810.81 c #Conflicts: 468000 | #Constraints: 54390
808.52/810.81 c #Conflicts: 469000 | #Constraints: 55390
808.52/810.81 c #Conflicts: 470000 | #Constraints: 56390
808.52/810.81 c #Conflicts: 471000 | #Constraints: 57390
808.52/810.81 c #Conflicts: 472000 | #Constraints: 58390
808.52/810.81 c #Conflicts: 473000 | #Constraints: 59390
808.52/810.81 c #Conflicts: 474000 | #Constraints: 60390
808.52/810.81 c INPROCESSING
808.52/810.81 c GARBAGE COLLECT
808.52/810.81 c #Conflicts: 475000 | #Constraints: 47790
808.52/810.81 c #Conflicts: 476000 | #Constraints: 48790
808.52/810.81 c #Conflicts: 477000 | #Constraints: 49790
808.52/810.81 c #Conflicts: 478000 | #Constraints: 50790
808.52/810.81 c #Conflicts: 479000 | #Constraints: 51790
808.52/810.81 c #Conflicts: 480000 | #Constraints: 52790
808.52/810.81 c #Conflicts: 481000 | #Constraints: 53790
808.52/810.81 c #Conflicts: 482000 | #Constraints: 54790
808.52/810.81 c #Conflicts: 483000 | #Constraints: 55790
808.52/810.81 c #Conflicts: 484000 | #Constraints: 56790
808.52/810.81 c #Conflicts: 485000 | #Constraints: 57790
808.52/810.81 c #Conflicts: 486000 | #Constraints: 58790
808.52/810.81 c #Conflicts: 487000 | #Constraints: 59790
808.52/810.81 c #Conflicts: 488000 | #Constraints: 60790
808.52/810.81 c INPROCESSING
808.52/810.81 c GARBAGE COLLECT
808.52/810.81 c #Conflicts: 489000 | #Constraints: 47993
808.52/810.81 c #Conflicts: 490000 | #Constraints: 48993
808.52/810.81 c #Conflicts: 491000 | #Constraints: 49993
808.52/810.81 c #Conflicts: 492000 | #Constraints: 50993
808.52/810.81 c #Conflicts: 493000 | #Constraints: 51993
808.52/810.81 c #Conflicts: 494000 | #Constraints: 52993
808.52/810.81 c #Conflicts: 495000 | #Constraints: 53993
808.52/810.81 c #Conflicts: 496000 | #Constraints: 54993
808.52/810.81 c #Conflicts: 497000 | #Constraints: 55993
808.52/810.81 c #Conflicts: 498000 | #Constraints: 56993
808.52/810.81 c #Conflicts: 499000 | #Constraints: 57993
808.52/810.81 c #Conflicts: 500000 | #Constraints: 58993
808.52/810.81 c #Conflicts: 501000 | #Constraints: 59993
808.52/810.81 c #Conflicts: 502000 | #Constraints: 60993
808.52/810.81 c INPROCESSING
808.52/810.81 c GARBAGE COLLECT
808.52/810.81 c #Conflicts: 503000 | #Constraints: 48010
808.52/810.81 c #Conflicts: 504000 | #Constraints: 49010
808.52/810.81 c #Conflicts: 505000 | #Constraints: 50010
808.52/810.81 c #Conflicts: 506000 | #Constraints: 51010
808.52/810.81 c #Conflicts: 507000 | #Constraints: 52010
808.52/810.81 c #Conflicts: 508000 | #Constraints: 53010
808.52/810.81 c #Conflicts: 509000 | #Constraints: 54010
808.52/810.81 c #Conflicts: 510000 | #Constraints: 55010
808.52/810.81 c #Conflicts: 511000 | #Constraints: 56010
808.52/810.81 c #Conflicts: 512000 | #Constraints: 57010
808.52/810.81 c #Conflicts: 513000 | #Constraints: 58010
1008.66/1011.52 c #Conflicts: 514000 | #Constraints: 59010
1008.66/1011.52 c #Conflicts: 515000 | #Constraints: 60010
1008.66/1011.52 c #Conflicts: 516000 | #Constraints: 61010
1008.66/1011.52 c INPROCESSING
1008.66/1011.52 c GARBAGE COLLECT
1008.66/1011.52 c #Conflicts: 517000 | #Constraints: 47779
1008.66/1011.52 c #Conflicts: 518000 | #Constraints: 48779
1008.66/1011.52 c #Conflicts: 519000 | #Constraints: 49779
1008.66/1011.52 c #Conflicts: 520000 | #Constraints: 50779
1008.66/1011.52 c #Conflicts: 521000 | #Constraints: 51779
1008.66/1011.52 c #Conflicts: 522000 | #Constraints: 52779
1008.66/1011.52 c #Conflicts: 523000 | #Constraints: 53779
1008.66/1011.52 c #Conflicts: 524000 | #Constraints: 54779
1008.66/1011.52 c #Conflicts: 525000 | #Constraints: 55779
1008.66/1011.52 c #Conflicts: 526000 | #Constraints: 56779
1008.66/1011.52 c #Conflicts: 527000 | #Constraints: 57779
1008.66/1011.52 c #Conflicts: 528000 | #Constraints: 58779
1008.66/1011.52 c #Conflicts: 529000 | #Constraints: 59779
1008.66/1011.52 c #Conflicts: 530000 | #Constraints: 60779
1008.66/1011.52 c #Conflicts: 531000 | #Constraints: 61779
1008.66/1011.52 c INPROCESSING
1008.66/1011.52 c GARBAGE COLLECT
1008.66/1011.52 c #Conflicts: 532000 | #Constraints: 48393
1008.66/1011.52 c #Conflicts: 533000 | #Constraints: 49393
1008.66/1011.52 c #Conflicts: 534000 | #Constraints: 50393
1008.66/1011.52 c #Conflicts: 535000 | #Constraints: 51393
1008.66/1011.52 c #Conflicts: 536000 | #Constraints: 52393
1008.66/1011.52 c #Conflicts: 537000 | #Constraints: 53393
1008.66/1011.52 c #Conflicts: 538000 | #Constraints: 54393
1008.66/1011.52 c #Conflicts: 539000 | #Constraints: 55393
1008.66/1011.52 c #Conflicts: 540000 | #Constraints: 56393
1008.66/1011.52 c #Conflicts: 541000 | #Constraints: 57393
1008.66/1011.52 c #Conflicts: 542000 | #Constraints: 58393
1008.66/1011.52 c #Conflicts: 543000 | #Constraints: 59393
1008.66/1011.52 c #Conflicts: 544000 | #Constraints: 60393
1008.66/1011.52 c #Conflicts: 545000 | #Constraints: 61393
1008.66/1011.52 c #Conflicts: 546000 | #Constraints: 62393
1008.66/1011.52 c INPROCESSING
1008.66/1011.52 c GARBAGE COLLECT
1008.66/1011.52 c #Conflicts: 547000 | #Constraints: 48797
1008.66/1011.52 c #Conflicts: 548000 | #Constraints: 49797
1008.66/1011.52 c #Conflicts: 549000 | #Constraints: 50797
1008.66/1011.52 c #Conflicts: 550000 | #Constraints: 51797
1008.66/1011.52 c #Conflicts: 551000 | #Constraints: 52797
1008.66/1011.52 c #Conflicts: 552000 | #Constraints: 53797
1008.66/1011.52 c #Conflicts: 553000 | #Constraints: 54797
1008.66/1011.52 c #Conflicts: 554000 | #Constraints: 55797
1008.66/1011.52 c #Conflicts: 555000 | #Constraints: 56797
1008.66/1011.52 c #Conflicts: 556000 | #Constraints: 57797
1008.66/1011.52 c #Conflicts: 557000 | #Constraints: 58797
1008.66/1011.52 c #Conflicts: 558000 | #Constraints: 59797
1008.66/1011.52 c #Conflicts: 559000 | #Constraints: 60797
1008.66/1011.52 c #Conflicts: 560000 | #Constraints: 61797
1008.66/1011.52 c #Conflicts: 561000 | #Constraints: 62797
1008.66/1011.52 c INPROCESSING
1008.66/1011.52 c GARBAGE COLLECT
1008.66/1011.52 c #Conflicts: 562000 | #Constraints: 48992
1008.66/1011.52 c #Conflicts: 563000 | #Constraints: 49992
1008.66/1011.52 c #Conflicts: 564000 | #Constraints: 50992
1008.66/1011.52 c #Conflicts: 565000 | #Constraints: 51992
1008.66/1011.52 c #Conflicts: 566000 | #Constraints: 52992
1008.66/1011.52 c #Conflicts: 567000 | #Constraints: 53992
1008.66/1011.52 c #Conflicts: 568000 | #Constraints: 54992
1008.66/1011.52 c #Conflicts: 569000 | #Constraints: 55992
1008.66/1011.52 c #Conflicts: 570000 | #Constraints: 56992
1008.66/1011.52 c #Conflicts: 571000 | #Constraints: 57992
1008.66/1011.52 c #Conflicts: 572000 | #Constraints: 58992
1008.66/1011.52 c #Conflicts: 573000 | #Constraints: 59992
1008.66/1011.52 c #Conflicts: 574000 | #Constraints: 60992
1008.66/1011.52 c #Conflicts: 575000 | #Constraints: 61992
1008.66/1011.52 c #Conflicts: 576000 | #Constraints: 62992
1008.66/1011.52 c INPROCESSING
1008.66/1011.52 c GARBAGE COLLECT
1008.66/1011.52 c #Conflicts: 577000 | #Constraints: 48989
1008.66/1011.52 c #Conflicts: 578000 | #Constraints: 49989
1008.66/1011.52 c #Conflicts: 579000 | #Constraints: 50989
1008.66/1011.52 c #Conflicts: 580000 | #Constraints: 51989
1008.66/1011.52 c #Conflicts: 581000 | #Constraints: 52989
1008.66/1011.52 c #Conflicts: 582000 | #Constraints: 53989
1008.66/1011.52 c #Conflicts: 583000 | #Constraints: 54989
1008.66/1011.52 c #Conflicts: 584000 | #Constraints: 55989
1008.66/1011.52 c #Conflicts: 585000 | #Constraints: 56989
1008.66/1011.52 c #Conflicts: 586000 | #Constraints: 57989
1008.66/1011.52 c #Conflicts: 587000 | #Constraints: 58989
1008.66/1011.52 c #Conflicts: 588000 | #Constraints: 59989
1218.98/1222.49 c #Conflicts: 589000 | #Constraints: 60989
1218.98/1222.49 c #Conflicts: 590000 | #Constraints: 61989
1218.98/1222.49 c #Conflicts: 591000 | #Constraints: 62989
1218.98/1222.49 c INPROCESSING
1218.98/1222.49 c GARBAGE COLLECT
1218.98/1222.49 c #Conflicts: 592000 | #Constraints: 48784
1218.98/1222.49 c #Conflicts: 593000 | #Constraints: 49784
1218.98/1222.49 c #Conflicts: 594000 | #Constraints: 50784
1218.98/1222.49 c #Conflicts: 595000 | #Constraints: 51784
1218.98/1222.49 c #Conflicts: 596000 | #Constraints: 52784
1218.98/1222.49 c #Conflicts: 597000 | #Constraints: 53784
1218.98/1222.49 c #Conflicts: 598000 | #Constraints: 54784
1218.98/1222.49 c #Conflicts: 599000 | #Constraints: 55784
1218.98/1222.49 c #Conflicts: 600000 | #Constraints: 56784
1218.98/1222.49 c #Conflicts: 601000 | #Constraints: 57784
1218.98/1222.49 c #Conflicts: 602000 | #Constraints: 58784
1218.98/1222.49 c #Conflicts: 603000 | #Constraints: 59784
1218.98/1222.49 c #Conflicts: 604000 | #Constraints: 60784
1218.98/1222.49 c #Conflicts: 605000 | #Constraints: 61784
1218.98/1222.49 c #Conflicts: 606000 | #Constraints: 62784
1218.98/1222.49 c #Conflicts: 607000 | #Constraints: 63784
1218.98/1222.49 c INPROCESSING
1218.98/1222.49 c GARBAGE COLLECT
1218.98/1222.49 c #Conflicts: 608000 | #Constraints: 49388
1218.98/1222.49 c #Conflicts: 609000 | #Constraints: 50388
1218.98/1222.49 c #Conflicts: 610000 | #Constraints: 51388
1218.98/1222.49 c #Conflicts: 611000 | #Constraints: 52388
1218.98/1222.49 c #Conflicts: 612000 | #Constraints: 53388
1218.98/1222.49 c #Conflicts: 613000 | #Constraints: 54388
1218.98/1222.49 c #Conflicts: 614000 | #Constraints: 55388
1218.98/1222.49 c #Conflicts: 615000 | #Constraints: 56388
1218.98/1222.49 c #Conflicts: 616000 | #Constraints: 57388
1218.98/1222.49 c #Conflicts: 617000 | #Constraints: 58388
1218.98/1222.49 c #Conflicts: 618000 | #Constraints: 59388
1218.98/1222.49 c #Conflicts: 619000 | #Constraints: 60388
1218.98/1222.49 c #Conflicts: 620000 | #Constraints: 61388
1218.98/1222.49 c #Conflicts: 621000 | #Constraints: 62388
1218.98/1222.49 c #Conflicts: 622000 | #Constraints: 63388
1218.98/1222.49 c #Conflicts: 623000 | #Constraints: 64388
1218.98/1222.49 c INPROCESSING
1218.98/1222.49 c GARBAGE COLLECT
1218.98/1222.49 c #Conflicts: 624000 | #Constraints: 49783
1218.98/1222.49 c #Conflicts: 625000 | #Constraints: 50783
1218.98/1222.49 c #Conflicts: 626000 | #Constraints: 51783
1218.98/1222.49 c #Conflicts: 627000 | #Constraints: 52783
1218.98/1222.49 c #Conflicts: 628000 | #Constraints: 53783
1218.98/1222.49 c #Conflicts: 629000 | #Constraints: 54783
1218.98/1222.49 c #Conflicts: 630000 | #Constraints: 55783
1218.98/1222.49 c #Conflicts: 631000 | #Constraints: 56783
1218.98/1222.49 c #Conflicts: 632000 | #Constraints: 57783
1218.98/1222.49 c #Conflicts: 633000 | #Constraints: 58783
1218.98/1222.49 c #Conflicts: 634000 | #Constraints: 59783
1218.98/1222.49 c #Conflicts: 635000 | #Constraints: 60783
1218.98/1222.49 c #Conflicts: 636000 | #Constraints: 61783
1218.98/1222.49 c #Conflicts: 637000 | #Constraints: 62783
1218.98/1222.49 c #Conflicts: 638000 | #Constraints: 63783
1218.98/1222.49 c #Conflicts: 639000 | #Constraints: 64783
1218.98/1222.49 c INPROCESSING
1218.98/1222.49 c GARBAGE COLLECT
1218.98/1222.49 c #Conflicts: 640000 | #Constraints: 49979
1218.98/1222.49 c #Conflicts: 641000 | #Constraints: 50979
1218.98/1222.49 c #Conflicts: 642000 | #Constraints: 51979
1218.98/1222.49 c #Conflicts: 643000 | #Constraints: 52979
1218.98/1222.49 c #Conflicts: 644000 | #Constraints: 53979
1218.98/1222.49 c #Conflicts: 645000 | #Constraints: 54979
1218.98/1222.49 c #Conflicts: 646000 | #Constraints: 55979
1218.98/1222.49 c #Conflicts: 647000 | #Constraints: 56979
1218.98/1222.49 c #Conflicts: 648000 | #Constraints: 57979
1218.98/1222.49 c #Conflicts: 649000 | #Constraints: 58979
1218.98/1222.49 c #Conflicts: 650000 | #Constraints: 59979
1218.98/1222.49 c #Conflicts: 651000 | #Constraints: 60979
1218.98/1222.49 c #Conflicts: 652000 | #Constraints: 61979
1218.98/1222.49 c #Conflicts: 653000 | #Constraints: 62979
1218.98/1222.49 c #Conflicts: 654000 | #Constraints: 63979
1218.98/1222.49 c #Conflicts: 655000 | #Constraints: 64979
1218.98/1222.49 c INPROCESSING
1218.98/1222.49 c GARBAGE COLLECT
1218.98/1222.49 c #Conflicts: 656000 | #Constraints: 50009
1218.98/1222.49 c #Conflicts: 657000 | #Constraints: 51009
1218.98/1222.49 c #Conflicts: 658000 | #Constraints: 52009
1218.98/1222.49 c #Conflicts: 659000 | #Constraints: 53009
1218.98/1222.49 c #Conflicts: 660000 | #Constraints: 54009
1218.98/1222.49 c #Conflicts: 661000 | #Constraints: 55009
1218.98/1222.49 c #Conflicts: 662000 | #Constraints: 56009
1218.98/1222.49 c #Conflicts: 663000 | #Constraints: 57009
1218.98/1222.49 c #Conflicts: 664000 | #Constraints: 58009
1447.55/1451.64 c #Conflicts: 665000 | #Constraints: 59009
1447.55/1451.64 c #Conflicts: 666000 | #Constraints: 60009
1447.55/1451.64 c #Conflicts: 667000 | #Constraints: 61009
1447.55/1451.64 c #Conflicts: 668000 | #Constraints: 62009
1447.55/1451.64 c #Conflicts: 669000 | #Constraints: 63009
1447.55/1451.64 c #Conflicts: 670000 | #Constraints: 64009
1447.55/1451.64 c #Conflicts: 671000 | #Constraints: 65009
1447.55/1451.64 c INPROCESSING
1447.55/1451.64 c GARBAGE COLLECT
1447.55/1451.64 c #Conflicts: 672000 | #Constraints: 49789
1447.55/1451.64 c #Conflicts: 673000 | #Constraints: 50789
1447.55/1451.64 c #Conflicts: 674000 | #Constraints: 51789
1447.55/1451.64 c #Conflicts: 675000 | #Constraints: 52789
1447.55/1451.64 c #Conflicts: 676000 | #Constraints: 53789
1447.55/1451.64 c #Conflicts: 677000 | #Constraints: 54789
1447.55/1451.64 c #Conflicts: 678000 | #Constraints: 55789
1447.55/1451.64 c #Conflicts: 679000 | #Constraints: 56789
1447.55/1451.64 c #Conflicts: 680000 | #Constraints: 57789
1447.55/1451.64 c #Conflicts: 681000 | #Constraints: 58789
1447.55/1451.64 c #Conflicts: 682000 | #Constraints: 59789
1447.55/1451.64 c #Conflicts: 683000 | #Constraints: 60789
1447.55/1451.64 c #Conflicts: 684000 | #Constraints: 61789
1447.55/1451.64 c #Conflicts: 685000 | #Constraints: 62789
1447.55/1451.64 c #Conflicts: 686000 | #Constraints: 63789
1447.55/1451.64 c #Conflicts: 687000 | #Constraints: 64789
1447.55/1451.64 c #Conflicts: 688000 | #Constraints: 65789
1447.55/1451.64 c INPROCESSING
1447.55/1451.64 c GARBAGE COLLECT
1447.55/1451.64 c #Conflicts: 689000 | #Constraints: 50378
1447.55/1451.64 c #Conflicts: 690000 | #Constraints: 51378
1447.55/1451.64 c #Conflicts: 691000 | #Constraints: 52378
1447.55/1451.64 c #Conflicts: 692000 | #Constraints: 53378
1447.55/1451.64 c #Conflicts: 693000 | #Constraints: 54378
1447.55/1451.64 c #Conflicts: 694000 | #Constraints: 55378
1447.55/1451.64 c #Conflicts: 695000 | #Constraints: 56378
1447.55/1451.64 c #Conflicts: 696000 | #Constraints: 57378
1447.55/1451.64 c #Conflicts: 697000 | #Constraints: 58378
1447.55/1451.64 c #Conflicts: 698000 | #Constraints: 59378
1447.55/1451.64 c #Conflicts: 699000 | #Constraints: 60378
1447.55/1451.64 c #Conflicts: 700000 | #Constraints: 61378
1447.55/1451.64 c #Conflicts: 701000 | #Constraints: 62378
1447.55/1451.64 c #Conflicts: 702000 | #Constraints: 63378
1447.55/1451.64 c #Conflicts: 703000 | #Constraints: 64378
1447.55/1451.64 c #Conflicts: 704000 | #Constraints: 65378
1447.55/1451.64 c #Conflicts: 705000 | #Constraints: 66378
1447.55/1451.64 c INPROCESSING
1447.55/1451.64 c GARBAGE COLLECT
1447.55/1451.64 c #Conflicts: 706000 | #Constraints: 50797
1447.55/1451.64 c #Conflicts: 707000 | #Constraints: 51797
1447.55/1451.64 c #Conflicts: 708000 | #Constraints: 52797
1447.55/1451.64 c #Conflicts: 709000 | #Constraints: 53797
1447.55/1451.64 c #Conflicts: 710000 | #Constraints: 54797
1447.55/1451.64 c #Conflicts: 711000 | #Constraints: 55797
1447.55/1451.64 c #Conflicts: 712000 | #Constraints: 56797
1447.55/1451.64 c #Conflicts: 713000 | #Constraints: 57797
1447.55/1451.64 c #Conflicts: 714000 | #Constraints: 58797
1447.55/1451.64 c #Conflicts: 715000 | #Constraints: 59797
1447.55/1451.64 c #Conflicts: 716000 | #Constraints: 60797
1447.55/1451.64 c #Conflicts: 717000 | #Constraints: 61797
1447.55/1451.64 c #Conflicts: 718000 | #Constraints: 62797
1447.55/1451.64 c #Conflicts: 719000 | #Constraints: 63797
1447.55/1451.64 c #Conflicts: 720000 | #Constraints: 64797
1447.55/1451.64 c #Conflicts: 721000 | #Constraints: 65797
1447.55/1451.64 c #Conflicts: 722000 | #Constraints: 66797
1447.55/1451.64 c INPROCESSING
1447.55/1451.64 c GARBAGE COLLECT
1447.55/1451.64 c #Conflicts: 723000 | #Constraints: 50989
1447.55/1451.64 c #Conflicts: 724000 | #Constraints: 51989
1447.55/1451.64 c #Conflicts: 725000 | #Constraints: 52989
1447.55/1451.64 c #Conflicts: 726000 | #Constraints: 53989
1447.55/1451.64 c #Conflicts: 727000 | #Constraints: 54989
1447.55/1451.64 c #Conflicts: 728000 | #Constraints: 55989
1447.55/1451.64 c #Conflicts: 729000 | #Constraints: 56989
1447.55/1451.64 c #Conflicts: 730000 | #Constraints: 57989
1447.55/1451.64 c #Conflicts: 731000 | #Constraints: 58989
1447.55/1451.64 c #Conflicts: 732000 | #Constraints: 59989
1447.55/1451.64 c #Conflicts: 733000 | #Constraints: 60989
1447.55/1451.64 c #Conflicts: 734000 | #Constraints: 61989
1447.55/1451.64 c #Conflicts: 735000 | #Constraints: 62989
1447.55/1451.64 c #Conflicts: 736000 | #Constraints: 63989
1447.55/1451.64 c #Conflicts: 737000 | #Constraints: 64989
1447.55/1451.64 c #Conflicts: 738000 | #Constraints: 65989
1447.55/1451.64 c #Conflicts: 739000 | #Constraints: 66989
1447.55/1451.64 c INPROCESSING
1447.55/1451.64 c GARBAGE COLLECT
1694.06/1698.83 c #Conflicts: 740000 | #Constraints: 50995
1694.06/1698.83 c #Conflicts: 741000 | #Constraints: 51995
1694.06/1698.83 c #Conflicts: 742000 | #Constraints: 52995
1694.06/1698.83 c #Conflicts: 743000 | #Constraints: 53995
1694.06/1698.83 c #Conflicts: 744000 | #Constraints: 54995
1694.06/1698.83 c #Conflicts: 745000 | #Constraints: 55995
1694.06/1698.83 c #Conflicts: 746000 | #Constraints: 56995
1694.06/1698.83 c #Conflicts: 747000 | #Constraints: 57995
1694.06/1698.83 c #Conflicts: 748000 | #Constraints: 58995
1694.06/1698.83 c #Conflicts: 749000 | #Constraints: 59995
1694.06/1698.83 c #Conflicts: 750000 | #Constraints: 60995
1694.06/1698.83 c #Conflicts: 751000 | #Constraints: 61995
1694.06/1698.83 c #Conflicts: 752000 | #Constraints: 62995
1694.06/1698.83 c #Conflicts: 753000 | #Constraints: 63995
1694.06/1698.83 c #Conflicts: 754000 | #Constraints: 64995
1694.06/1698.83 c #Conflicts: 755000 | #Constraints: 65995
1694.06/1698.83 c #Conflicts: 756000 | #Constraints: 66995
1694.06/1698.83 c INPROCESSING
1694.06/1698.83 c GARBAGE COLLECT
1694.06/1698.83 c #Conflicts: 757000 | #Constraints: 50802
1694.06/1698.83 c #Conflicts: 758000 | #Constraints: 51802
1694.06/1698.83 c #Conflicts: 759000 | #Constraints: 52802
1694.06/1698.83 c #Conflicts: 760000 | #Constraints: 53802
1694.06/1698.83 c #Conflicts: 761000 | #Constraints: 54802
1694.06/1698.83 c #Conflicts: 762000 | #Constraints: 55802
1694.06/1698.83 c #Conflicts: 763000 | #Constraints: 56802
1694.06/1698.83 c #Conflicts: 764000 | #Constraints: 57802
1694.06/1698.83 c #Conflicts: 765000 | #Constraints: 58802
1694.06/1698.83 c #Conflicts: 766000 | #Constraints: 59802
1694.06/1698.83 c #Conflicts: 767000 | #Constraints: 60802
1694.06/1698.83 c #Conflicts: 768000 | #Constraints: 61802
1694.06/1698.83 c #Conflicts: 769000 | #Constraints: 62802
1694.06/1698.83 c #Conflicts: 770000 | #Constraints: 63802
1694.06/1698.83 c #Conflicts: 771000 | #Constraints: 64802
1694.06/1698.83 c #Conflicts: 772000 | #Constraints: 65802
1694.06/1698.83 c #Conflicts: 773000 | #Constraints: 66802
1694.06/1698.83 c #Conflicts: 774000 | #Constraints: 67802
1694.06/1698.83 c INPROCESSING
1694.06/1698.83 c GARBAGE COLLECT
1694.06/1698.83 c #Conflicts: 775000 | #Constraints: 51392
1694.06/1698.83 c #Conflicts: 776000 | #Constraints: 52392
1694.06/1698.83 c #Conflicts: 777000 | #Constraints: 53392
1694.06/1698.83 c #Conflicts: 778000 | #Constraints: 54392
1694.06/1698.83 c #Conflicts: 779000 | #Constraints: 55392
1694.06/1698.83 c #Conflicts: 780000 | #Constraints: 56392
1694.06/1698.83 c #Conflicts: 781000 | #Constraints: 57392
1694.06/1698.83 c #Conflicts: 782000 | #Constraints: 58392
1694.06/1698.83 c #Conflicts: 783000 | #Constraints: 59392
1694.06/1698.83 c #Conflicts: 784000 | #Constraints: 60392
1694.06/1698.83 c #Conflicts: 785000 | #Constraints: 61392
1694.06/1698.83 c #Conflicts: 786000 | #Constraints: 62392
1694.06/1698.83 c #Conflicts: 787000 | #Constraints: 63392
1694.06/1698.83 c #Conflicts: 788000 | #Constraints: 64392
1694.06/1698.83 c #Conflicts: 789000 | #Constraints: 65392
1694.06/1698.83 c #Conflicts: 790000 | #Constraints: 66392
1694.06/1698.83 c #Conflicts: 791000 | #Constraints: 67392
1694.06/1698.83 c #Conflicts: 792000 | #Constraints: 68392
1694.06/1698.83 c INPROCESSING
1694.06/1698.83 c GARBAGE COLLECT
1694.06/1698.83 c #Conflicts: 793000 | #Constraints: 51815
1694.06/1698.83 c #Conflicts: 794000 | #Constraints: 52815
1694.06/1698.83 c #Conflicts: 795000 | #Constraints: 53815
1694.06/1698.83 c #Conflicts: 796000 | #Constraints: 54815
1694.06/1698.83 c #Conflicts: 797000 | #Constraints: 55815
1694.06/1698.83 c #Conflicts: 798000 | #Constraints: 56815
1694.06/1698.83 c #Conflicts: 799000 | #Constraints: 57815
1694.06/1698.83 c #Conflicts: 800000 | #Constraints: 58815
1694.06/1698.83 c #Conflicts: 801000 | #Constraints: 59815
1694.06/1698.83 c #Conflicts: 802000 | #Constraints: 60815
1694.06/1698.83 c #Conflicts: 803000 | #Constraints: 61815
1694.06/1698.83 c #Conflicts: 804000 | #Constraints: 62815
1694.06/1698.83 c #Conflicts: 805000 | #Constraints: 63815
1694.06/1698.83 c #Conflicts: 806000 | #Constraints: 64815
1694.06/1698.83 c #Conflicts: 807000 | #Constraints: 65815
1694.06/1698.83 c #Conflicts: 808000 | #Constraints: 66815
1694.06/1698.83 c #Conflicts: 809000 | #Constraints: 67815
1694.06/1698.83 c #Conflicts: 810000 | #Constraints: 68815
1694.06/1698.83 c INPROCESSING
1694.06/1698.83 c GARBAGE COLLECT
1694.06/1698.83 c #Conflicts: 811000 | #Constraints: 51998
1694.06/1698.83 c #Conflicts: 812000 | #Constraints: 52998
1694.06/1698.83 c #Conflicts: 813000 | #Constraints: 53998
1694.06/1698.83 c #Conflicts: 814000 | #Constraints: 54998
1694.06/1698.83 c #Conflicts: 815000 | #Constraints: 55998
1694.06/1698.83 c #Conflicts: 816000 | #Constraints: 56998
1963.42/1968.97 c #Conflicts: 817000 | #Constraints: 57998
1963.42/1968.97 c #Conflicts: 818000 | #Constraints: 58998
1963.42/1968.97 c #Conflicts: 819000 | #Constraints: 59998
1963.42/1968.97 c #Conflicts: 820000 | #Constraints: 60998
1963.42/1968.97 c #Conflicts: 821000 | #Constraints: 61998
1963.42/1968.97 c #Conflicts: 822000 | #Constraints: 62998
1963.42/1968.97 c #Conflicts: 823000 | #Constraints: 63998
1963.42/1968.97 c #Conflicts: 824000 | #Constraints: 64998
1963.42/1968.97 c #Conflicts: 825000 | #Constraints: 65998
1963.42/1968.97 c #Conflicts: 826000 | #Constraints: 66998
1963.42/1968.97 c #Conflicts: 827000 | #Constraints: 67998
1963.42/1968.97 c #Conflicts: 828000 | #Constraints: 68998
1963.42/1968.97 c INPROCESSING
1963.42/1968.97 c GARBAGE COLLECT
1963.42/1968.97 c #Conflicts: 829000 | #Constraints: 51992
1963.42/1968.97 c #Conflicts: 830000 | #Constraints: 52992
1963.42/1968.97 c #Conflicts: 831000 | #Constraints: 53992
1963.42/1968.97 c #Conflicts: 832000 | #Constraints: 54992
1963.42/1968.97 c #Conflicts: 833000 | #Constraints: 55992
1963.42/1968.97 c #Conflicts: 834000 | #Constraints: 56992
1963.42/1968.97 c #Conflicts: 835000 | #Constraints: 57992
1963.42/1968.97 c #Conflicts: 836000 | #Constraints: 58992
1963.42/1968.97 c #Conflicts: 837000 | #Constraints: 59992
1963.42/1968.97 c #Conflicts: 838000 | #Constraints: 60992
1963.42/1968.97 c #Conflicts: 839000 | #Constraints: 61992
1963.42/1968.97 c #Conflicts: 840000 | #Constraints: 62992
1963.42/1968.97 c #Conflicts: 841000 | #Constraints: 63992
1963.42/1968.97 c #Conflicts: 842000 | #Constraints: 64992
1963.42/1968.97 c #Conflicts: 843000 | #Constraints: 65992
1963.42/1968.97 c #Conflicts: 844000 | #Constraints: 66992
1963.42/1968.97 c #Conflicts: 845000 | #Constraints: 67992
1963.42/1968.97 c #Conflicts: 846000 | #Constraints: 68992
1963.42/1968.97 c INPROCESSING
1963.42/1968.97 c GARBAGE COLLECT
1963.42/1968.97 c #Conflicts: 847000 | #Constraints: 51834
1963.42/1968.97 c #Conflicts: 848000 | #Constraints: 52834
1963.42/1968.97 c #Conflicts: 849000 | #Constraints: 53834
1963.42/1968.97 c #Conflicts: 850000 | #Constraints: 54834
1963.42/1968.97 c #Conflicts: 851000 | #Constraints: 55834
1963.42/1968.97 c #Conflicts: 852000 | #Constraints: 56834
1963.42/1968.97 c #Conflicts: 853000 | #Constraints: 57834
1963.42/1968.97 c #Conflicts: 854000 | #Constraints: 58834
1963.42/1968.97 c #Conflicts: 855000 | #Constraints: 59834
1963.42/1968.97 c #Conflicts: 856000 | #Constraints: 60834
1963.42/1968.97 c #Conflicts: 857000 | #Constraints: 61834
1963.42/1968.97 c #Conflicts: 858000 | #Constraints: 62834
1963.42/1968.97 c #Conflicts: 859000 | #Constraints: 63834
1963.42/1968.97 c #Conflicts: 860000 | #Constraints: 64834
1963.42/1968.97 c #Conflicts: 861000 | #Constraints: 65834
1963.42/1968.97 c #Conflicts: 862000 | #Constraints: 66834
1963.42/1968.97 c #Conflicts: 863000 | #Constraints: 67834
1963.42/1968.97 c #Conflicts: 864000 | #Constraints: 68834
1963.42/1968.97 c #Conflicts: 865000 | #Constraints: 69834
1963.42/1968.97 c INPROCESSING
1963.42/1968.97 c GARBAGE COLLECT
1963.42/1968.97 c #Conflicts: 866000 | #Constraints: 52406
1963.42/1968.97 c #Conflicts: 867000 | #Constraints: 53406
1963.42/1968.97 c #Conflicts: 868000 | #Constraints: 54406
1963.42/1968.97 c #Conflicts: 869000 | #Constraints: 55406
1963.42/1968.97 c #Conflicts: 870000 | #Constraints: 56406
1963.42/1968.97 c #Conflicts: 871000 | #Constraints: 57406
1963.42/1968.97 c #Conflicts: 872000 | #Constraints: 58406
1963.42/1968.97 c #Conflicts: 873000 | #Constraints: 59406
1963.42/1968.97 c #Conflicts: 874000 | #Constraints: 60406
1963.42/1968.97 c #Conflicts: 875000 | #Constraints: 61406
1963.42/1968.97 c #Conflicts: 876000 | #Constraints: 62406
1963.42/1968.97 c #Conflicts: 877000 | #Constraints: 63406
1963.42/1968.97 c #Conflicts: 878000 | #Constraints: 64406
1963.42/1968.97 c #Conflicts: 879000 | #Constraints: 65406
1963.42/1968.97 c #Conflicts: 880000 | #Constraints: 66406
1963.42/1968.97 c #Conflicts: 881000 | #Constraints: 67406
1963.42/1968.97 c #Conflicts: 882000 | #Constraints: 68406
1963.42/1968.97 c #Conflicts: 883000 | #Constraints: 69406
1963.42/1968.97 c #Conflicts: 884000 | #Constraints: 70406
1963.42/1968.97 c INPROCESSING
1963.42/1968.97 c GARBAGE COLLECT
1963.42/1968.97 c #Conflicts: 885000 | #Constraints: 52795
1963.42/1968.97 c #Conflicts: 886000 | #Constraints: 53795
1963.42/1968.97 c #Conflicts: 887000 | #Constraints: 54795
1963.42/1968.97 c #Conflicts: 888000 | #Constraints: 55795
1963.42/1968.97 c #Conflicts: 889000 | #Constraints: 56795
1963.42/1968.97 c #Conflicts: 890000 | #Constraints: 57795
1963.42/1968.97 c #Conflicts: 891000 | #Constraints: 58795
1963.42/1968.97 c #Conflicts: 892000 | #Constraints: 59795
2236.06/2242.31 c #Conflicts: 893000 | #Constraints: 60795
2236.06/2242.31 c #Conflicts: 894000 | #Constraints: 61795
2236.06/2242.31 c #Conflicts: 895000 | #Constraints: 62795
2236.06/2242.31 c #Conflicts: 896000 | #Constraints: 63795
2236.06/2242.31 c #Conflicts: 897000 | #Constraints: 64795
2236.06/2242.31 c #Conflicts: 898000 | #Constraints: 65795
2236.06/2242.31 c #Conflicts: 899000 | #Constraints: 66795
2236.06/2242.31 c #Conflicts: 900000 | #Constraints: 67795
2236.06/2242.31 c #Conflicts: 901000 | #Constraints: 68795
2236.06/2242.31 c #Conflicts: 902000 | #Constraints: 69795
2236.06/2242.31 c #Conflicts: 903000 | #Constraints: 70795
2236.06/2242.31 c INPROCESSING
2236.06/2242.31 c GARBAGE COLLECT
2236.06/2242.31 c #Conflicts: 904000 | #Constraints: 52980
2236.06/2242.31 c #Conflicts: 905000 | #Constraints: 53980
2236.06/2242.31 c #Conflicts: 906000 | #Constraints: 54980
2236.06/2242.31 c #Conflicts: 907000 | #Constraints: 55980
2236.06/2242.31 c #Conflicts: 908000 | #Constraints: 56980
2236.06/2242.31 c #Conflicts: 909000 | #Constraints: 57980
2236.06/2242.31 c #Conflicts: 910000 | #Constraints: 58980
2236.06/2242.31 c #Conflicts: 911000 | #Constraints: 59980
2236.06/2242.31 c #Conflicts: 912000 | #Constraints: 60980
2236.06/2242.31 c #Conflicts: 913000 | #Constraints: 61980
2236.06/2242.31 c #Conflicts: 914000 | #Constraints: 62980
2236.06/2242.31 c #Conflicts: 915000 | #Constraints: 63980
2236.06/2242.31 c #Conflicts: 916000 | #Constraints: 64980
2236.06/2242.31 c #Conflicts: 917000 | #Constraints: 65980
2236.06/2242.31 c #Conflicts: 918000 | #Constraints: 66980
2236.06/2242.31 c #Conflicts: 919000 | #Constraints: 67980
2236.06/2242.31 c #Conflicts: 920000 | #Constraints: 68980
2236.06/2242.31 c #Conflicts: 921000 | #Constraints: 69980
2236.06/2242.31 c #Conflicts: 922000 | #Constraints: 70980
2236.06/2242.31 c INPROCESSING
2236.06/2242.31 c GARBAGE COLLECT
2236.06/2242.31 c #Conflicts: 923000 | #Constraints: 52980
2236.06/2242.31 c #Conflicts: 924000 | #Constraints: 53980
2236.06/2242.31 c #Conflicts: 925000 | #Constraints: 54980
2236.06/2242.31 c #Conflicts: 926000 | #Constraints: 55980
2236.06/2242.31 c #Conflicts: 927000 | #Constraints: 56980
2236.06/2242.31 c #Conflicts: 928000 | #Constraints: 57980
2236.06/2242.31 c #Conflicts: 929000 | #Constraints: 58980
2236.06/2242.31 c #Conflicts: 930000 | #Constraints: 59980
2236.06/2242.31 c #Conflicts: 931000 | #Constraints: 60980
2236.06/2242.31 c #Conflicts: 932000 | #Constraints: 61980
2236.06/2242.31 c #Conflicts: 933000 | #Constraints: 62980
2236.06/2242.31 c #Conflicts: 934000 | #Constraints: 63980
2236.06/2242.31 c #Conflicts: 935000 | #Constraints: 64980
2236.06/2242.31 c #Conflicts: 936000 | #Constraints: 65980
2236.06/2242.31 c #Conflicts: 937000 | #Constraints: 66980
2236.06/2242.31 c #Conflicts: 938000 | #Constraints: 67980
2236.06/2242.31 c #Conflicts: 939000 | #Constraints: 68980
2236.06/2242.31 c #Conflicts: 940000 | #Constraints: 69980
2236.06/2242.31 c #Conflicts: 941000 | #Constraints: 70980
2236.06/2242.31 c INPROCESSING
2236.06/2242.31 c GARBAGE COLLECT
2236.06/2242.31 c #Conflicts: 942000 | #Constraints: 52800
2236.06/2242.31 c #Conflicts: 943000 | #Constraints: 53800
2236.06/2242.31 c #Conflicts: 944000 | #Constraints: 54800
2236.06/2242.31 c #Conflicts: 945000 | #Constraints: 55800
2236.06/2242.31 c #Conflicts: 946000 | #Constraints: 56800
2236.06/2242.31 c #Conflicts: 947000 | #Constraints: 57800
2236.06/2242.31 c #Conflicts: 948000 | #Constraints: 58800
2236.06/2242.31 c #Conflicts: 949000 | #Constraints: 59800
2236.06/2242.31 c #Conflicts: 950000 | #Constraints: 60800
2236.06/2242.31 c #Conflicts: 951000 | #Constraints: 61800
2236.06/2242.31 c #Conflicts: 952000 | #Constraints: 62800
2236.06/2242.31 c #Conflicts: 953000 | #Constraints: 63800
2236.06/2242.31 c #Conflicts: 954000 | #Constraints: 64800
2236.06/2242.31 c #Conflicts: 955000 | #Constraints: 65800
2236.06/2242.31 c #Conflicts: 956000 | #Constraints: 66800
2236.06/2242.31 c #Conflicts: 957000 | #Constraints: 67800
2236.06/2242.31 c #Conflicts: 958000 | #Constraints: 68800
2236.06/2242.31 c #Conflicts: 959000 | #Constraints: 69800
2236.06/2242.31 c #Conflicts: 960000 | #Constraints: 70800
2236.06/2242.31 c #Conflicts: 961000 | #Constraints: 71800
2236.06/2242.31 c INPROCESSING
2236.06/2242.31 c GARBAGE COLLECT
2236.06/2242.31 c #Conflicts: 962000 | #Constraints: 53404
2236.06/2242.31 c #Conflicts: 963000 | #Constraints: 54404
2236.06/2242.31 c #Conflicts: 964000 | #Constraints: 55404
2236.06/2242.31 c #Conflicts: 965000 | #Constraints: 56404
2236.06/2242.31 c #Conflicts: 966000 | #Constraints: 57404
2236.06/2242.31 c #Conflicts: 967000 | #Constraints: 58404
2236.06/2242.31 c #Conflicts: 968000 | #Constraints: 59404
2524.85/2531.92 c #Conflicts: 969000 | #Constraints: 60404
2524.85/2531.92 c #Conflicts: 970000 | #Constraints: 61404
2524.85/2531.92 c #Conflicts: 971000 | #Constraints: 62404
2524.85/2531.92 c #Conflicts: 972000 | #Constraints: 63404
2524.85/2531.92 c #Conflicts: 973000 | #Constraints: 64404
2524.85/2531.92 c #Conflicts: 974000 | #Constraints: 65404
2524.85/2531.92 c #Conflicts: 975000 | #Constraints: 66404
2524.85/2531.92 c #Conflicts: 976000 | #Constraints: 67404
2524.85/2531.92 c #Conflicts: 977000 | #Constraints: 68404
2524.85/2531.92 c #Conflicts: 978000 | #Constraints: 69404
2524.85/2531.92 c #Conflicts: 979000 | #Constraints: 70404
2524.85/2531.92 c #Conflicts: 980000 | #Constraints: 71404
2524.85/2531.92 c #Conflicts: 981000 | #Constraints: 72404
2524.85/2531.92 c INPROCESSING
2524.85/2531.92 c GARBAGE COLLECT
2524.85/2531.92 c #Conflicts: 982000 | #Constraints: 53811
2524.85/2531.92 c #Conflicts: 983000 | #Constraints: 54811
2524.85/2531.92 c #Conflicts: 984000 | #Constraints: 55811
2524.85/2531.92 c #Conflicts: 985000 | #Constraints: 56811
2524.85/2531.92 c #Conflicts: 986000 | #Constraints: 57811
2524.85/2531.92 c #Conflicts: 987000 | #Constraints: 58811
2524.85/2531.92 c #Conflicts: 988000 | #Constraints: 59811
2524.85/2531.92 c #Conflicts: 989000 | #Constraints: 60811
2524.85/2531.92 c #Conflicts: 990000 | #Constraints: 61811
2524.85/2531.92 c #Conflicts: 991000 | #Constraints: 62811
2524.85/2531.92 c #Conflicts: 992000 | #Constraints: 63811
2524.85/2531.92 c #Conflicts: 993000 | #Constraints: 64811
2524.85/2531.92 c #Conflicts: 994000 | #Constraints: 65811
2524.85/2531.92 c #Conflicts: 995000 | #Constraints: 66811
2524.85/2531.92 c #Conflicts: 996000 | #Constraints: 67811
2524.85/2531.92 c #Conflicts: 997000 | #Constraints: 68811
2524.85/2531.92 c #Conflicts: 998000 | #Constraints: 69811
2524.85/2531.92 c #Conflicts: 999000 | #Constraints: 70811
2524.85/2531.92 c #Conflicts: 1000000 | #Constraints: 71811
2524.85/2531.92 c #Conflicts: 1001000 | #Constraints: 72811
2524.85/2531.92 c INPROCESSING
2524.85/2531.92 c GARBAGE COLLECT
2524.85/2531.92 c #Conflicts: 1002000 | #Constraints: 54003
2524.85/2531.92 c #Conflicts: 1003000 | #Constraints: 55003
2524.85/2531.92 c #Conflicts: 1004000 | #Constraints: 56003
2524.85/2531.92 c #Conflicts: 1005000 | #Constraints: 57003
2524.85/2531.92 c #Conflicts: 1006000 | #Constraints: 58003
2524.85/2531.92 c #Conflicts: 1007000 | #Constraints: 59003
2524.85/2531.92 c #Conflicts: 1008000 | #Constraints: 60003
2524.85/2531.92 c #Conflicts: 1009000 | #Constraints: 61003
2524.85/2531.92 c #Conflicts: 1010000 | #Constraints: 62003
2524.85/2531.92 c #Conflicts: 1011000 | #Constraints: 63003
2524.85/2531.92 c #Conflicts: 1012000 | #Constraints: 64003
2524.85/2531.92 c #Conflicts: 1013000 | #Constraints: 65003
2524.85/2531.92 c #Conflicts: 1014000 | #Constraints: 66003
2524.85/2531.92 c #Conflicts: 1015000 | #Constraints: 67003
2524.85/2531.92 c #Conflicts: 1016000 | #Constraints: 68003
2524.85/2531.92 c #Conflicts: 1017000 | #Constraints: 69003
2524.85/2531.92 c #Conflicts: 1018000 | #Constraints: 70003
2524.85/2531.92 c #Conflicts: 1019000 | #Constraints: 71003
2524.85/2531.92 c #Conflicts: 1020000 | #Constraints: 72003
2524.85/2531.92 c #Conflicts: 1021000 | #Constraints: 73003
2524.85/2531.92 c INPROCESSING
2524.85/2531.92 c GARBAGE COLLECT
2524.85/2531.92 c #Conflicts: 1022000 | #Constraints: 54019
2524.85/2531.92 c #Conflicts: 1023000 | #Constraints: 55019
2524.85/2531.92 c #Conflicts: 1024000 | #Constraints: 56019
2524.85/2531.92 c #Conflicts: 1025000 | #Constraints: 57019
2524.85/2531.92 c #Conflicts: 1026000 | #Constraints: 58019
2524.85/2531.92 c #Conflicts: 1027000 | #Constraints: 59019
2524.85/2531.92 c #Conflicts: 1028000 | #Constraints: 60019
2524.85/2531.92 c #Conflicts: 1029000 | #Constraints: 61019
2524.85/2531.92 c #Conflicts: 1030000 | #Constraints: 62019
2524.85/2531.92 c #Conflicts: 1031000 | #Constraints: 63019
2524.85/2531.92 c #Conflicts: 1032000 | #Constraints: 64019
2524.85/2531.92 c #Conflicts: 1033000 | #Constraints: 65019
2524.85/2531.92 c #Conflicts: 1034000 | #Constraints: 66019
2524.85/2531.92 c #Conflicts: 1035000 | #Constraints: 67019
2524.85/2531.92 c #Conflicts: 1036000 | #Constraints: 68019
2524.85/2531.92 c #Conflicts: 1037000 | #Constraints: 69019
2524.85/2531.92 c #Conflicts: 1038000 | #Constraints: 70019
2524.85/2531.92 c #Conflicts: 1039000 | #Constraints: 71019
2524.85/2531.92 c #Conflicts: 1040000 | #Constraints: 72019
2524.85/2531.92 c #Conflicts: 1041000 | #Constraints: 73019
2524.85/2531.92 c INPROCESSING
2524.85/2531.92 c GARBAGE COLLECT
2524.85/2531.92 c #Conflicts: 1042000 | #Constraints: 53827
2524.85/2531.92 c #Conflicts: 1043000 | #Constraints: 54827
2524.85/2531.92 c #Conflicts: 1044000 | #Constraints: 55827
2807.27/2815.19 c #Conflicts: 1045000 | #Constraints: 56827
2807.27/2815.19 c #Conflicts: 1046000 | #Constraints: 57827
2807.27/2815.19 c #Conflicts: 1047000 | #Constraints: 58827
2807.27/2815.19 c #Conflicts: 1048000 | #Constraints: 59827
2807.27/2815.19 c #Conflicts: 1049000 | #Constraints: 60827
2807.27/2815.19 c #Conflicts: 1050000 | #Constraints: 61827
2807.27/2815.19 c #Conflicts: 1051000 | #Constraints: 62827
2807.27/2815.19 c #Conflicts: 1052000 | #Constraints: 63827
2807.27/2815.19 c #Conflicts: 1053000 | #Constraints: 64827
2807.27/2815.19 c #Conflicts: 1054000 | #Constraints: 65827
2807.27/2815.19 c #Conflicts: 1055000 | #Constraints: 66827
2807.27/2815.19 c #Conflicts: 1056000 | #Constraints: 67827
2807.27/2815.19 c #Conflicts: 1057000 | #Constraints: 68827
2807.27/2815.19 c #Conflicts: 1058000 | #Constraints: 69827
2807.27/2815.19 c #Conflicts: 1059000 | #Constraints: 70827
2807.27/2815.19 c #Conflicts: 1060000 | #Constraints: 71827
2807.27/2815.19 c #Conflicts: 1061000 | #Constraints: 72827
2807.27/2815.19 c #Conflicts: 1062000 | #Constraints: 73827
2807.27/2815.19 c INPROCESSING
2807.27/2815.19 c GARBAGE COLLECT
2807.27/2815.19 c #Conflicts: 1063000 | #Constraints: 54408
2807.27/2815.19 c #Conflicts: 1064000 | #Constraints: 55408
2807.27/2815.19 c #Conflicts: 1065000 | #Constraints: 56408
2807.27/2815.19 c #Conflicts: 1066000 | #Constraints: 57408
2807.27/2815.19 c #Conflicts: 1067000 | #Constraints: 58408
2807.27/2815.19 c #Conflicts: 1068000 | #Constraints: 59408
2807.27/2815.19 c #Conflicts: 1069000 | #Constraints: 60408
2807.27/2815.19 c #Conflicts: 1070000 | #Constraints: 61408
2807.27/2815.19 c #Conflicts: 1071000 | #Constraints: 62408
2807.27/2815.19 c #Conflicts: 1072000 | #Constraints: 63408
2807.27/2815.19 c #Conflicts: 1073000 | #Constraints: 64408
2807.27/2815.19 c #Conflicts: 1074000 | #Constraints: 65408
2807.27/2815.19 c #Conflicts: 1075000 | #Constraints: 66408
2807.27/2815.19 c #Conflicts: 1076000 | #Constraints: 67408
2807.27/2815.19 c #Conflicts: 1077000 | #Constraints: 68408
2807.27/2815.19 c #Conflicts: 1078000 | #Constraints: 69408
2807.27/2815.19 c #Conflicts: 1079000 | #Constraints: 70408
2807.27/2815.19 c #Conflicts: 1080000 | #Constraints: 71408
2807.27/2815.19 c #Conflicts: 1081000 | #Constraints: 72408
2807.27/2815.19 c #Conflicts: 1082000 | #Constraints: 73408
2807.27/2815.19 c #Conflicts: 1083000 | #Constraints: 74408
2807.27/2815.19 c INPROCESSING
2807.27/2815.19 c GARBAGE COLLECT
2807.27/2815.19 c #Conflicts: 1084000 | #Constraints: 54817
2807.27/2815.19 c #Conflicts: 1085000 | #Constraints: 55817
2807.27/2815.19 c #Conflicts: 1086000 | #Constraints: 56817
2807.27/2815.19 c #Conflicts: 1087000 | #Constraints: 57817
2807.27/2815.19 c #Conflicts: 1088000 | #Constraints: 58817
2807.27/2815.19 c #Conflicts: 1089000 | #Constraints: 59817
2807.27/2815.19 c #Conflicts: 1090000 | #Constraints: 60817
2807.27/2815.19 c #Conflicts: 1091000 | #Constraints: 61817
2807.27/2815.19 c #Conflicts: 1092000 | #Constraints: 62817
2807.27/2815.19 c #Conflicts: 1093000 | #Constraints: 63817
2807.27/2815.19 c #Conflicts: 1094000 | #Constraints: 64817
2807.27/2815.19 c #Conflicts: 1095000 | #Constraints: 65817
2807.27/2815.19 c #Conflicts: 1096000 | #Constraints: 66817
2807.27/2815.19 c #Conflicts: 1097000 | #Constraints: 67817
2807.27/2815.19 c #Conflicts: 1098000 | #Constraints: 68817
2807.27/2815.19 c #Conflicts: 1099000 | #Constraints: 69817
2807.27/2815.19 c #Conflicts: 1100000 | #Constraints: 70817
2807.27/2815.19 c #Conflicts: 1101000 | #Constraints: 71817
2807.27/2815.19 c #Conflicts: 1102000 | #Constraints: 72817
2807.27/2815.19 c #Conflicts: 1103000 | #Constraints: 73817
2807.27/2815.19 c #Conflicts: 1104000 | #Constraints: 74817
2807.27/2815.19 c INPROCESSING
2807.27/2815.19 c GARBAGE COLLECT
2807.27/2815.19 c #Conflicts: 1105000 | #Constraints: 55012
2807.27/2815.19 c #Conflicts: 1106000 | #Constraints: 56012
2807.27/2815.19 c #Conflicts: 1107000 | #Constraints: 57012
2807.27/2815.19 c #Conflicts: 1108000 | #Constraints: 58012
2807.27/2815.19 c #Conflicts: 1109000 | #Constraints: 59012
2807.27/2815.19 c #Conflicts: 1110000 | #Constraints: 60012
2807.27/2815.19 c #Conflicts: 1111000 | #Constraints: 61012
2807.27/2815.19 c #Conflicts: 1112000 | #Constraints: 62012
2807.27/2815.19 c #Conflicts: 1113000 | #Constraints: 63012
2807.27/2815.19 c #Conflicts: 1114000 | #Constraints: 64012
2807.27/2815.19 c #Conflicts: 1115000 | #Constraints: 65012
2807.27/2815.19 c #Conflicts: 1116000 | #Constraints: 66012
2807.27/2815.19 c #Conflicts: 1117000 | #Constraints: 67012
2807.27/2815.19 c #Conflicts: 1118000 | #Constraints: 68012
2807.27/2815.19 c #Conflicts: 1119000 | #Constraints: 69012
2807.27/2815.19 c #Conflicts: 1120000 | #Constraints: 70012
2807.27/2815.19 c #Conflicts: 1121000 | #Constraints: 71012
3097.76/3106.43 c #Conflicts: 1122000 | #Constraints: 72012
3097.76/3106.43 c #Conflicts: 1123000 | #Constraints: 73012
3097.76/3106.43 c #Conflicts: 1124000 | #Constraints: 74012
3097.76/3106.43 c #Conflicts: 1125000 | #Constraints: 75012
3097.76/3106.43 c INPROCESSING
3097.76/3106.43 c GARBAGE COLLECT
3097.76/3106.43 c #Conflicts: 1126000 | #Constraints: 55010
3097.76/3106.43 c #Conflicts: 1127000 | #Constraints: 56010
3097.76/3106.43 c #Conflicts: 1128000 | #Constraints: 57010
3097.76/3106.43 c #Conflicts: 1129000 | #Constraints: 58010
3097.76/3106.43 c #Conflicts: 1130000 | #Constraints: 59010
3097.76/3106.43 c #Conflicts: 1131000 | #Constraints: 60010
3097.76/3106.43 c #Conflicts: 1132000 | #Constraints: 61010
3097.76/3106.43 c #Conflicts: 1133000 | #Constraints: 62010
3097.76/3106.43 c #Conflicts: 1134000 | #Constraints: 63010
3097.76/3106.43 c #Conflicts: 1135000 | #Constraints: 64010
3097.76/3106.43 c #Conflicts: 1136000 | #Constraints: 65010
3097.76/3106.43 c #Conflicts: 1137000 | #Constraints: 66010
3097.76/3106.43 c #Conflicts: 1138000 | #Constraints: 67010
3097.76/3106.43 c #Conflicts: 1139000 | #Constraints: 68010
3097.76/3106.43 c #Conflicts: 1140000 | #Constraints: 69010
3097.76/3106.43 c #Conflicts: 1141000 | #Constraints: 70010
3097.76/3106.43 c #Conflicts: 1142000 | #Constraints: 71010
3097.76/3106.43 c #Conflicts: 1143000 | #Constraints: 72010
3097.76/3106.43 c #Conflicts: 1144000 | #Constraints: 73010
3097.76/3106.43 c #Conflicts: 1145000 | #Constraints: 74010
3097.76/3106.43 c #Conflicts: 1146000 | #Constraints: 75010
3097.76/3106.43 c INPROCESSING
3097.76/3106.43 c GARBAGE COLLECT
3097.76/3106.43 c #Conflicts: 1147000 | #Constraints: 54797
3097.76/3106.43 c #Conflicts: 1148000 | #Constraints: 55797
3097.76/3106.43 c #Conflicts: 1149000 | #Constraints: 56797
3097.76/3106.43 c #Conflicts: 1150000 | #Constraints: 57797
3097.76/3106.43 c #Conflicts: 1151000 | #Constraints: 58797
3097.76/3106.43 c #Conflicts: 1152000 | #Constraints: 59797
3097.76/3106.43 c #Conflicts: 1153000 | #Constraints: 60797
3097.76/3106.43 c #Conflicts: 1154000 | #Constraints: 61797
3097.76/3106.43 c #Conflicts: 1155000 | #Constraints: 62797
3097.76/3106.43 c #Conflicts: 1156000 | #Constraints: 63797
3097.76/3106.43 c #Conflicts: 1157000 | #Constraints: 64797
3097.76/3106.43 c #Conflicts: 1158000 | #Constraints: 65797
3097.76/3106.43 c #Conflicts: 1159000 | #Constraints: 66797
3097.76/3106.43 c #Conflicts: 1160000 | #Constraints: 67797
3097.76/3106.43 c #Conflicts: 1161000 | #Constraints: 68797
3097.76/3106.43 c #Conflicts: 1162000 | #Constraints: 69797
3097.76/3106.43 c #Conflicts: 1163000 | #Constraints: 70797
3097.76/3106.43 c #Conflicts: 1164000 | #Constraints: 71797
3097.76/3106.43 c #Conflicts: 1165000 | #Constraints: 72797
3097.76/3106.43 c #Conflicts: 1166000 | #Constraints: 73797
3097.76/3106.43 c #Conflicts: 1167000 | #Constraints: 74797
3097.76/3106.43 c #Conflicts: 1168000 | #Constraints: 75797
3097.76/3106.43 c INPROCESSING
3097.76/3106.43 c GARBAGE COLLECT
3097.76/3106.43 c #Conflicts: 1169000 | #Constraints: 55402
3097.76/3106.43 c #Conflicts: 1170000 | #Constraints: 56402
3097.76/3106.43 c #Conflicts: 1171000 | #Constraints: 57402
3097.76/3106.43 c #Conflicts: 1172000 | #Constraints: 58402
3097.76/3106.43 c #Conflicts: 1173000 | #Constraints: 59402
3097.76/3106.43 c #Conflicts: 1174000 | #Constraints: 60402
3097.76/3106.43 c #Conflicts: 1175000 | #Constraints: 61402
3097.76/3106.43 c #Conflicts: 1176000 | #Constraints: 62402
3097.76/3106.43 c #Conflicts: 1177000 | #Constraints: 63402
3097.76/3106.43 c #Conflicts: 1178000 | #Constraints: 64402
3097.76/3106.43 c #Conflicts: 1179000 | #Constraints: 65402
3097.76/3106.43 c #Conflicts: 1180000 | #Constraints: 66402
3097.76/3106.43 c #Conflicts: 1181000 | #Constraints: 67402
3097.76/3106.43 c #Conflicts: 1182000 | #Constraints: 68402
3097.76/3106.43 c #Conflicts: 1183000 | #Constraints: 69402
3097.76/3106.43 c #Conflicts: 1184000 | #Constraints: 70402
3097.76/3106.43 c #Conflicts: 1185000 | #Constraints: 71402
3097.76/3106.43 c #Conflicts: 1186000 | #Constraints: 72402
3097.76/3106.43 c #Conflicts: 1187000 | #Constraints: 73402
3097.76/3106.43 c #Conflicts: 1188000 | #Constraints: 74402
3097.76/3106.43 c #Conflicts: 1189000 | #Constraints: 75402
3097.76/3106.43 c #Conflicts: 1190000 | #Constraints: 76402
3097.76/3106.43 c INPROCESSING
3097.76/3106.43 c GARBAGE COLLECT
3097.76/3106.43 c #Conflicts: 1191000 | #Constraints: 55805
3097.76/3106.43 c #Conflicts: 1192000 | #Constraints: 56805
3097.76/3106.43 c #Conflicts: 1193000 | #Constraints: 57805
3097.76/3106.43 c #Conflicts: 1194000 | #Constraints: 58805
3097.76/3106.43 c #Conflicts: 1195000 | #Constraints: 59805
3097.76/3106.43 c #Conflicts: 1196000 | #Constraints: 60805
3097.76/3106.43 c #Conflicts: 1197000 | #Constraints: 61805
3409.81/3419.32 c #Conflicts: 1198000 | #Constraints: 62805
3409.81/3419.32 c #Conflicts: 1199000 | #Constraints: 63805
3409.81/3419.32 c #Conflicts: 1200000 | #Constraints: 64805
3409.81/3419.32 c #Conflicts: 1201000 | #Constraints: 65805
3409.81/3419.32 c #Conflicts: 1202000 | #Constraints: 66805
3409.81/3419.32 c #Conflicts: 1203000 | #Constraints: 67805
3409.81/3419.32 c #Conflicts: 1204000 | #Constraints: 68805
3409.81/3419.32 c #Conflicts: 1205000 | #Constraints: 69805
3409.81/3419.32 c #Conflicts: 1206000 | #Constraints: 70805
3409.81/3419.32 c #Conflicts: 1207000 | #Constraints: 71805
3409.81/3419.32 c #Conflicts: 1208000 | #Constraints: 72805
3409.81/3419.32 c #Conflicts: 1209000 | #Constraints: 73805
3409.81/3419.32 c #Conflicts: 1210000 | #Constraints: 74805
3409.81/3419.32 c #Conflicts: 1211000 | #Constraints: 75805
3409.81/3419.32 c #Conflicts: 1212000 | #Constraints: 76805
3409.81/3419.32 c INPROCESSING
3409.81/3419.32 c GARBAGE COLLECT
3409.81/3419.32 c #Conflicts: 1213000 | #Constraints: 55998
3409.81/3419.32 c #Conflicts: 1214000 | #Constraints: 56998
3409.81/3419.32 c #Conflicts: 1215000 | #Constraints: 57998
3409.81/3419.32 c #Conflicts: 1216000 | #Constraints: 58998
3409.81/3419.32 c #Conflicts: 1217000 | #Constraints: 59998
3409.81/3419.32 c #Conflicts: 1218000 | #Constraints: 60998
3409.81/3419.32 c #Conflicts: 1219000 | #Constraints: 61998
3409.81/3419.32 c #Conflicts: 1220000 | #Constraints: 62998
3409.81/3419.32 c #Conflicts: 1221000 | #Constraints: 63998
3409.81/3419.32 c #Conflicts: 1222000 | #Constraints: 64998
3409.81/3419.32 c #Conflicts: 1223000 | #Constraints: 65998
3409.81/3419.32 c #Conflicts: 1224000 | #Constraints: 66998
3409.81/3419.32 c #Conflicts: 1225000 | #Constraints: 67998
3409.81/3419.32 c #Conflicts: 1226000 | #Constraints: 68998
3409.81/3419.32 c #Conflicts: 1227000 | #Constraints: 69998
3409.81/3419.32 c #Conflicts: 1228000 | #Constraints: 70998
3409.81/3419.32 c #Conflicts: 1229000 | #Constraints: 71998
3409.81/3419.32 c #Conflicts: 1230000 | #Constraints: 72998
3409.81/3419.32 c #Conflicts: 1231000 | #Constraints: 73998
3409.81/3419.32 c #Conflicts: 1232000 | #Constraints: 74998
3409.81/3419.32 c #Conflicts: 1233000 | #Constraints: 75998
3409.81/3419.32 c #Conflicts: 1234000 | #Constraints: 76998
3409.81/3419.32 c INPROCESSING
3409.81/3419.32 c GARBAGE COLLECT
3409.81/3419.32 c #Conflicts: 1235000 | #Constraints: 55995
3409.81/3419.32 c #Conflicts: 1236000 | #Constraints: 56995
3409.81/3419.32 c #Conflicts: 1237000 | #Constraints: 57995
3409.81/3419.32 c #Conflicts: 1238000 | #Constraints: 58995
3409.81/3419.32 c #Conflicts: 1239000 | #Constraints: 59995
3409.81/3419.32 c #Conflicts: 1240000 | #Constraints: 60995
3409.81/3419.32 c #Conflicts: 1241000 | #Constraints: 61995
3409.81/3419.32 c #Conflicts: 1242000 | #Constraints: 62995
3409.81/3419.32 c #Conflicts: 1243000 | #Constraints: 63995
3409.81/3419.32 c #Conflicts: 1244000 | #Constraints: 64995
3409.81/3419.32 c #Conflicts: 1245000 | #Constraints: 65995
3409.81/3419.32 c #Conflicts: 1246000 | #Constraints: 66995
3409.81/3419.32 c #Conflicts: 1247000 | #Constraints: 67995
3409.81/3419.32 c #Conflicts: 1248000 | #Constraints: 68995
3409.81/3419.32 c #Conflicts: 1249000 | #Constraints: 69995
3409.81/3419.32 c #Conflicts: 1250000 | #Constraints: 70995
3409.81/3419.32 c #Conflicts: 1251000 | #Constraints: 71995
3409.81/3419.32 c #Conflicts: 1252000 | #Constraints: 72995
3409.81/3419.32 c #Conflicts: 1253000 | #Constraints: 73995
3409.81/3419.32 c #Conflicts: 1254000 | #Constraints: 74995
3409.81/3419.32 c #Conflicts: 1255000 | #Constraints: 75995
3409.81/3419.32 c #Conflicts: 1256000 | #Constraints: 76995
3409.81/3419.32 c INPROCESSING
3409.81/3419.32 c GARBAGE COLLECT
3409.81/3419.32 c #Conflicts: 1257000 | #Constraints: 55785
3409.81/3419.32 c #Conflicts: 1258000 | #Constraints: 56785
3409.81/3419.32 c #Conflicts: 1259000 | #Constraints: 57785
3409.81/3419.32 c #Conflicts: 1260000 | #Constraints: 58785
3409.81/3419.32 c #Conflicts: 1261000 | #Constraints: 59785
3409.81/3419.32 c #Conflicts: 1262000 | #Constraints: 60785
3409.81/3419.32 c #Conflicts: 1263000 | #Constraints: 61785
3409.81/3419.32 c #Conflicts: 1264000 | #Constraints: 62785
3409.81/3419.32 c #Conflicts: 1265000 | #Constraints: 63785
3409.81/3419.32 c #Conflicts: 1266000 | #Constraints: 64785
3409.81/3419.32 c #Conflicts: 1267000 | #Constraints: 65785
3409.81/3419.32 c #Conflicts: 1268000 | #Constraints: 66785
3409.81/3419.32 c #Conflicts: 1269000 | #Constraints: 67785
3409.81/3419.32 c #Conflicts: 1270000 | #Constraints: 68785
3409.81/3419.32 c #Conflicts: 1271000 | #Constraints: 69785
3409.81/3419.32 c #Conflicts: 1272000 | #Constraints: 70785
3409.81/3419.32 c #Conflicts: 1273000 | #Constraints: 71785
3409.81/3419.32 c #Conflicts: 1274000 | #Constraints: 72785
3600.01/3610.01 c #Conflicts: 1275000 | #Constraints: 73785
3600.01/3610.01 c #Conflicts: 1276000 | #Constraints: 74785
3600.01/3610.01 c #Conflicts: 1277000 | #Constraints: 75785
3600.01/3610.01 c #Conflicts: 1278000 | #Constraints: 76785
3600.01/3610.01 c #Conflicts: 1279000 | #Constraints: 77785
3600.01/3610.01 c INPROCESSING
3600.01/3610.01 c GARBAGE COLLECT
3600.01/3610.01 c #Conflicts: 1280000 | #Constraints: 56386
3600.01/3610.01 c #Conflicts: 1281000 | #Constraints: 57386
3600.01/3610.01 c #Conflicts: 1282000 | #Constraints: 58386
3600.01/3610.01 c #Conflicts: 1283000 | #Constraints: 59386
3600.01/3610.01 c #Conflicts: 1284000 | #Constraints: 60386
3600.01/3610.01 c #Conflicts: 1285000 | #Constraints: 61386
3600.01/3610.01 c #Conflicts: 1286000 | #Constraints: 62386
3600.01/3610.01 c #Conflicts: 1287000 | #Constraints: 63386
3600.01/3610.01 c #Conflicts: 1288000 | #Constraints: 64386
3600.01/3610.01 c #Conflicts: 1289000 | #Constraints: 65386
3600.01/3610.01 c #Conflicts: 1290000 | #Constraints: 66386
3600.01/3610.01 c #Conflicts: 1291000 | #Constraints: 67386
3600.01/3610.01 c #Conflicts: 1292000 | #Constraints: 68386
3600.01/3610.01 c #Conflicts: 1293000 | #Constraints: 69386
3600.01/3610.01 c #Conflicts: 1294000 | #Constraints: 70386
3600.01/3610.01 c #Conflicts: 1295000 | #Constraints: 71386
3600.01/3610.01 c #Conflicts: 1296000 | #Constraints: 72386
3600.01/3610.01 c #Conflicts: 1297000 | #Constraints: 73386
3600.01/3610.01 c #Conflicts: 1298000 | #Constraints: 74386
3600.01/3610.01 c #Conflicts: 1299000 | #Constraints: 75386
3600.01/3610.01 c #Conflicts: 1300000 | #Constraints: 76386
3600.01/3610.01 c #Conflicts: 1301000 | #Constraints: 77386
3600.01/3610.01 c #Conflicts: 1302000 | #Constraints: 78386
3600.01/3610.01 c INPROCESSING
3600.01/3610.01 c GARBAGE COLLECT
3600.01/3610.01 c #Conflicts: 1303000 | #Constraints: 56783
3600.01/3610.01 c #Conflicts: 1304000 | #Constraints: 57783
3600.01/3610.01 c #Conflicts: 1305000 | #Constraints: 58783
3600.01/3610.01 c #Conflicts: 1306000 | #Constraints: 59783
3600.01/3610.01 c #Conflicts: 1307000 | #Constraints: 60783
3600.01/3610.01 c #Conflicts: 1308000 | #Constraints: 61783
3600.01/3610.01 c #Conflicts: 1309000 | #Constraints: 62783
3600.01/3610.01 c #Conflicts: 1310000 | #Constraints: 63783
3600.01/3610.01 c #Conflicts: 1311000 | #Constraints: 64783
3600.01/3610.01 c #Conflicts: 1312000 | #Constraints: 65783
3600.01/3610.01 c #Conflicts: 1313000 | #Constraints: 66783
3600.01/3610.01 c #Conflicts: 1314000 | #Constraints: 67783
3600.01/3610.01 c #Conflicts: 1315000 | #Constraints: 68783
3600.01/3610.01 c #Conflicts: 1316000 | #Constraints: 69783
3600.01/3610.01 c #Conflicts: 1317000 | #Constraints: 70783
3600.01/3610.01 c Program interrupted by user.
3600.01/3610.01 c cpu time 3591.15 s
3600.01/3610.01 c deterministic time 442811250213 4.43e+11
3600.01/3610.01 c optimization time 67.9829 s
3600.01/3610.01 c total solve time 3523.09 s
3600.01/3610.01 c core-guided solve time 3523.09 s
3600.01/3610.01 c propagation time 3392.95 s
3600.01/3610.01 c conflict analysis time 175.304 s
3600.01/3610.01 c propagations 1456696029
3600.01/3610.01 c resolve steps 18269760
3600.01/3610.01 c decisions 4813678
3600.01/3610.01 c conflicts 1317952
3600.01/3610.01 c restarts 2555
3600.01/3610.01 c inprocessing phases 105
3600.01/3610.01 c input clauses 18351
3600.01/3610.01 c input cardinalities 10
3600.01/3610.01 c input general constraints 14775
3600.01/3610.01 c input average constraint length 3.78
3600.01/3610.01 c input average constraint degree 1.89
3600.01/3610.01 c learned clauses 388025
3600.01/3610.01 c learned cardinalities 2791
3600.01/3610.01 c learned general constraints 927135
3600.01/3610.01 c learned average constraint length 234.48
3600.01/3610.01 c learned average constraint degree 59.26
3600.01/3610.01 c watched constraints 912123
3600.01/3610.01 c counting constraints 29787
3600.01/3610.01 c gcd simplifications 7614
3600.01/3610.01 c detected cardinalities 186
3600.01/3610.01 c weakened non-implied lits 22003727
3600.01/3610.01 c weakened non-implying lits 10726
3600.01/3610.01 c original variables 15725
3600.01/3610.01 c clausal propagations 106140028
3600.01/3610.01 c cardinality propagations 9069829
3600.01/3610.01 c watched propagations 23623837
3600.01/3610.01 c counting propagations 1313784769
3600.01/3610.01 c watch lookups 29429099514
3600.01/3610.01 c watch backjump lookups 6314678317
3600.01/3610.01 c watch checks 394147343567
3600.01/3610.01 c propagation checks 9405515805
3600.01/3610.01 c constraint additions 590288228
3600.01/3610.01 c trail pops 1462815074
3600.01/3610.01 c formula constraints 33136
3600.01/3610.01 c learned constraints 1317951
3600.01/3610.01 c bound constraints 0
3600.01/3610.01 c core-guided constraints 0
3600.01/3610.01 c encountered formula constraints 13228587
3600.01/3610.01 c encountered learned constraints 6359125
3600.01/3610.01 c encountered bound constraints 0
3600.01/3610.01 c encountered core-guided constraints 0
3600.01/3610.01 c LP total time 0 s
3600.01/3610.01 c LP solve time 0 s
3600.01/3610.01 c LP constraints added 0
3600.01/3610.01 c LP constraints removed 0
3600.01/3610.01 c LP pivots internal 0
3600.01/3610.01 c LP pivots root 0
3600.01/3610.01 c LP calls 0
3600.01/3610.01 c LP optimalities 0
3600.01/3610.01 c LP no pivot count 0
3600.01/3610.01 c LP infeasibilities 0
3600.01/3610.01 c LP valid Farkas constraints 0
3600.01/3610.01 c LP learned Farkas constraints 0
3600.01/3610.01 c LP basis resets 0
3600.01/3610.01 c LP cycling count 0
3600.01/3610.01 c LP singular count 0
3600.01/3610.01 c LP no primal count 0
3600.01/3610.01 c LP no farkas count 0
3600.01/3610.01 c LP other issue count 0
3600.01/3610.01 c LP Gomory cuts 0
3600.01/3610.01 c LP learned cuts 0
3600.01/3610.01 c LP deleted cuts 0
3600.01/3610.01 c LP encountered Gomory constraints 0
3600.01/3610.01 c LP encountered Farkas constraints 0
3600.01/3610.01 c LP encountered learned Farkas constraints 0
3600.01/3610.01 c CG auxiliary variables introduced 0
3600.01/3610.01 c CG solutions found 0
3600.01/3610.01 c CG cores constructed 0
3600.01/3610.01 c CG core cardinality constraints returned 0
3600.01/3610.01 c CG unit cores 0
3600.01/3610.01 c CG single cores 0
3600.01/3610.01 c CG blocks removed during cardinality reduction 0
3600.01/3610.01 c CG first core best 0
3600.01/3610.01 c CG decision core best 0
3600.01/3610.01 c CG core reduction tie 0
3600.01/3610.01 c CG core degree average 0.00
3600.01/3610.01 c CG core slack average 0.00
3600.01/3610.01 c CG exhausted 0
3600.01/3610.01 c CG exhaust time 0 s
3600.01/3610.01 c CG trimmed 0
3600.01/3610.01 c CG trim time 0 s
3600.01/3610.01 c CG minimized 0
3600.01/3610.01 c CG minimize time 0 s
3600.01/3610.01 c CG am1 prop time 9.1e-05 s
3600.01/3610.01 c CG # am1s reformulated 0
3600.01/3610.01 c CG lower bound derived from am1s 0
3600.01/3610.01 c CG # clausal cores 0
3600.01/3610.01 c CG # cardinality cores 0
3600.01/3610.01 c CG # pb cores 0
3600.01/3610.01 c CG # pb reforms 0
3600.01/3610.01 c CG # cores discarded because of pb reform 0
3600.01/3610.01 d LOWERBOUND 0
3600.01/3610.01 d NCORES 0
3600.01/3610.01 d NPBCORES 0
3600.01/3610.01 d NPBREFORM 0
3600.01/3610.01 d NTRIMMED 0
3600.01/3610.01 d NEXHAUSTED 0
3600.01/3610.01 d NAM1S 0
3600.01/3610.01 d AM1LB 0
3600.01/3610.01 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60977 MiB free)
memory of node 1: 64507 MiB (62593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504982-1751454109/watcher-4504982-1751454109 -o /tmp/evaluation-result-4504982-1751454109/solver-4504982-1751454109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751454109-64507 --watchdog 3760 pb-oll-rs HOME/instance-4504982-1751454109.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=64541, runsolver pid=64535
[startup+0.100067 s]*
/proc/loadavg: 1.04 1.70 2.44 5/259 64556
/proc/meminfo: memFree=126503548/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=24212 memory=12292 CPUtime=0.07 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 1715 0 1 0 6 1 0 0 20 0 1 0 61088599 24793088 3073 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 6053 3073 1120 243 0 2302 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 24212 KiB
Current children cumulated memory: 12292 KiB
[startup+0.205511 s]*
/proc/loadavg: 1.04 1.70 2.44 4/260 64562
/proc/meminfo: memFree=126485340/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=25956 memory=14596 CPUtime=0.17 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 2169 0 1 0 15 2 0 0 20 0 1 0 61088599 26578944 3649 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 6489 3649 1312 243 0 2738 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 25956 KiB
Current children cumulated memory: 14596 KiB
[startup+0.304719 s]*
/proc/loadavg: 1.04 1.70 2.44 5/264 64566
/proc/meminfo: memFree=126396248/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=26484 memory=15364 CPUtime=0.28 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 2349 0 1 0 25 3 0 0 20 0 1 0 61088599 27119616 3841 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 6621 3841 1312 243 0 2870 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26484 KiB
Current children cumulated memory: 15364 KiB
[startup+0.700151 s]
/proc/loadavg: 1.04 1.70 2.44 5/264 64566
/proc/meminfo: memFree=126385412/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=30680 memory=20508 CPUtime=0.66 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 3114 0 1 0 62 4 0 0 20 0 1 0 61088599 31416320 5127 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 7670 5127 1312 243 0 3919 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 30680 KiB
Current children cumulated memory: 20508 KiB
[startup+1.50015 s]
/proc/loadavg: 1.04 1.70 2.44 5/264 64566
/proc/meminfo: memFree=126340656/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=33172 memory=22892 CPUtime=1.46 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 3834 0 1 0 141 5 0 0 20 0 1 0 61088599 33968128 5723 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 8293 5723 1312 243 0 4542 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 22892 KiB
[startup+3.10528 s]
/proc/loadavg: 1.28 1.74 2.44 5/264 64566
/proc/meminfo: memFree=126166276/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=38916 memory=27512 CPUtime=3.06 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 4486 0 1 0 299 7 0 0 20 0 1 0 61088599 39849984 6878 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 9729 6878 1312 243 0 5978 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 38916 KiB
Current children cumulated memory: 27512 KiB
[startup+6.30016 s]
/proc/loadavg: 1.28 1.74 2.44 5/264 64566
/proc/meminfo: memFree=125904228/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=41952 memory=30584 CPUtime=6.25 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 5268 0 1 0 615 10 0 0 20 0 1 0 61088599 42958848 7646 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 10488 7646 1312 243 0 6737 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 41952 KiB
Current children cumulated memory: 30584 KiB
[startup+12.7001 s]
/proc/loadavg: 1.70 1.81 2.46 5/264 64566
/proc/meminfo: memFree=125584480/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=51060 memory=33528 CPUtime=12.63 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 6002 0 1 0 1246 17 0 0 20 0 1 0 61088599 52285440 8382 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 12765 8382 1312 243 0 9014 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 51060 KiB
Current children cumulated memory: 33528 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 1.89 2.48 5/264 64566
/proc/meminfo: memFree=124875064/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=55624 memory=43156 CPUtime=25.4 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 7367 0 1 0 2511 29 0 0 20 0 1 0 61088599 56958976 10789 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 13906 10789 1312 243 0 10155 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 55624 KiB
Current children cumulated memory: 43156 KiB
[startup+51.1054 s]
/proc/loadavg: 2.79 2.07 2.53 5/264 64567
/proc/meminfo: memFree=123979084/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=59216 memory=47992 CPUtime=50.93 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 8794 0 1 0 5044 49 0 0 20 0 1 0 61088599 60637184 11998 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 14804 11998 1312 243 0 11053 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 59216 KiB
Current children cumulated memory: 47992 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.42 2.62 5/266 64575
/proc/meminfo: memFree=122769032/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=77192 memory=60056 CPUtime=101.98 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 11106 0 1 0 10120 78 0 0 20 0 1 0 61088599 79044608 15014 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 19298 15014 1312 243 0 15547 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 77192 KiB
Current children cumulated memory: 60056 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.72 2.71 5/265 64577
/proc/meminfo: memFree=121637616/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=81520 memory=68688 CPUtime=161.8 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 12649 0 1 0 16077 103 0 0 20 0 1 0 61088599 83476480 17172 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 20380 17172 1312 243 0 16629 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 81520 KiB
Current children cumulated memory: 68688 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.99 2.81 5/265 64580
/proc/meminfo: memFree=120886720/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=104908 memory=76244 CPUtime=221.64 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 15102 0 1 0 22036 128 0 0 20 0 1 0 61088599 107425792 19061 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 26227 19061 1312 243 0 22476 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 104908 KiB
Current children cumulated memory: 76244 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.19 2.89 5/265 64582
/proc/meminfo: memFree=120348576/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=108392 memory=80668 CPUtime=281.47 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 16532 0 1 0 27997 150 0 0 20 0 1 0 61088599 110993408 20167 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 27098 20167 1312 243 0 23347 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 108392 KiB
Current children cumulated memory: 80668 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.37 2.97 5/265 64584
/proc/meminfo: memFree=120031548/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=110696 memory=82420 CPUtime=341.31 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 17830 0 1 0 33961 170 0 0 20 0 1 0 61088599 113352704 20605 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 27674 20605 1312 243 0 23923 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 110696 KiB
Current children cumulated memory: 82420 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.50 3.04 5/263 64585
/proc/meminfo: memFree=119002656/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=113748 memory=89032 CPUtime=401.14 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 19271 0 1 0 39925 189 0 0 20 0 1 0 61088599 116477952 22258 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 28437 22258 1312 243 0 24686 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 113748 KiB
Current children cumulated memory: 89032 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.63 3.12 5/263 64587
/proc/meminfo: memFree=118989684/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=115160 memory=90396 CPUtime=460.98 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 20459 0 1 0 45889 209 0 0 20 0 1 0 61088599 117923840 22599 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 28790 22599 1312 243 0 25039 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 144864 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 64707
/proc/meminfo: memFree=112482684/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=180100 memory=145828 CPUtime=2854.33 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 42300 0 1 0 284686 747 0 0 20 0 1 0 61088599 184422400 36457 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45025 36457 1312 243 0 41274 0
Current children cumulated CPU time: 2854.33 s
Current children cumulated vsize: 180100 KiB
Current children cumulated memory: 145828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.09 4.01 5/265 64713
/proc/meminfo: memFree=112478880/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=180868 memory=146304 CPUtime=2914.17 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 42755 0 1 0 290658 759 0 0 20 0 1 0 61088599 185208832 36576 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45217 36576 1312 243 0 41466 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 180868 KiB
Current children cumulated memory: 146304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/265 64714
/proc/meminfo: memFree=112478764/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=180868 memory=146304 CPUtime=2974 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 42755 0 1 0 296630 770 0 0 20 0 1 0 61088599 185208832 36576 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45217 36576 1312 243 0 41466 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 180868 KiB
Current children cumulated memory: 146304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 64716
/proc/meminfo: memFree=112470492/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=180996 memory=146476 CPUtime=3033.84 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 43135 0 1 0 302602 782 0 0 20 0 1 0 61088599 185339904 36619 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45249 36619 1312 243 0 41498 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 180996 KiB
Current children cumulated memory: 146476 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/265 64722
/proc/meminfo: memFree=112470068/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=181380 memory=148844 CPUtime=3093.67 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 43548 0 1 0 308575 792 0 0 20 0 1 0 61088599 185733120 37211 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45345 37211 1312 243 0 41594 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 181380 KiB
Current children cumulated memory: 148844 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 64724
/proc/meminfo: memFree=112470404/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=181892 memory=148972 CPUtime=3153.51 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 43606 0 1 0 314547 804 0 0 20 0 1 0 61088599 186257408 37243 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45473 37243 1312 243 0 41722 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 181892 KiB
Current children cumulated memory: 148972 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 64727
/proc/meminfo: memFree=112461976/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=181892 memory=149196 CPUtime=3213.35 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 43976 0 1 0 320520 815 0 0 20 0 1 0 61088599 186257408 37299 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45473 37299 1312 243 0 41722 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 181892 KiB
Current children cumulated memory: 149196 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 64729
/proc/meminfo: memFree=112457260/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=182660 memory=149776 CPUtime=3273.18 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 44458 0 1 0 326490 828 0 0 20 0 1 0 61088599 187043840 37444 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45665 37444 1312 243 0 41914 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 182660 KiB
Current children cumulated memory: 149776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 64731
/proc/meminfo: memFree=112404380/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=182916 memory=149776 CPUtime=3333.02 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 44503 0 1 0 332465 837 0 0 20 0 1 0 61088599 187305984 37444 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45729 37444 1312 243 0 41978 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 182916 KiB
Current children cumulated memory: 149776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 64733
/proc/meminfo: memFree=112401708/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=183172 memory=152268 CPUtime=3392.85 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 44924 0 1 0 338437 848 0 0 20 0 1 0 61088599 187568128 38067 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45793 38067 1312 243 0 42042 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 183172 KiB
Current children cumulated memory: 152268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 64735
/proc/meminfo: memFree=112400964/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=183556 memory=152580 CPUtime=3452.7 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 45261 0 1 0 344410 860 0 0 20 0 1 0 61088599 187961344 38145 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45889 38145 1312 243 0 42138 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 183556 KiB
Current children cumulated memory: 152580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 64740
/proc/meminfo: memFree=112378672/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=183556 memory=152580 CPUtime=3512.54 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 45266 0 1 0 350382 872 0 0 20 0 1 0 61088599 187961344 38145 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45889 38145 1312 243 0 42138 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 183556 KiB
Current children cumulated memory: 152580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/264 64754
/proc/meminfo: memFree=112362744/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=183940 memory=152912 CPUtime=3572.38 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 45685 0 1 0 356354 884 0 0 20 0 1 0 61088599 188354560 38228 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45985 38228 1312 243 0 42234 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 183940 KiB
Current children cumulated memory: 152912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.08 4.09 4.02 4/255 64764
/proc/meminfo: memFree=117659076/131249996 swapFree=33010160/33010684
[pid=64541] ppid=64535 vsize=183940 memory=152912 CPUtime=3600.01 cores=0,2
/proc/64541/stat : 64541 (pb-oll-rs) R 64535 64541 64497 0 -1 4194304 45687 0 1 0 359114 887 0 0 20 0 1 0 61088599 188354560 38228 18446744073709551615 4218880 5211445 140721581573168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34762752 140721581578652 140721581578729 140721581578729 140721581584331 0
/proc/64541/statm: 45985 38228 1312 243 0 42234 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 183940 KiB
Current children cumulated memory: 152912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 64541 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.15 s, system=8.87919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.03
CPU user time (s): 3591.15
CPU system time (s): 8.87919
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 185556
Max. memory (cumulated for all children) (KiB): 154244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.15
system time used= 8.87919
maximum resident set size= 154244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45702
page faults= 1
swaps= 0
block input operations= 16
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109
involuntary context switches= 4676
# summary of solver processes directly reported to runsolver:
# pid: 64541
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.15
# total CPU system time (s): 8.87919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67269 second user time and 15.4441 second system time
The end
Begin job on nodeC021 at 2025-07-02 13:01:49
IDJOB=4504982
IDBENCH=155719
IDSOLVER=3345
FILE ID=nodeC021/4504982-1751454109
RUNJOBID= nodeC021-1751454109-64507
SLURM_JOB_ID= 9598445
Free space on /tmp= 431508 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504982-1751454109/watcher-4504982-1751454109 -o /tmp/evaluation-result-4504982-1751454109/solver-4504982-1751454109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751454109-64507 --watchdog 3760 pb-oll-rs HOME/instance-4504982-1751454109.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9beff3f3155855feaa4c9645b72566dc
RANDOM SEED=815939480
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3580.524
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.479
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.770
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.771
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3562.878
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.768
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.789
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126531644 kB
MemAvailable: 129653252 kB
Buffers: 2128 kB
Cached: 3860280 kB
SwapCached: 20 kB
Active: 573344 kB
Inactive: 3381644 kB
Active(anon): 99696 kB
Inactive(anon): 10924 kB
Active(file): 473648 kB
Inactive(file): 3370720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28844 kB
Writeback: 0 kB
AnonPages: 95796 kB
Mapped: 103824 kB
Shmem: 18040 kB
KReclaimable: 232556 kB
Slab: 324264 kB
SReclaimable: 232556 kB
SUnreclaim: 91708 kB
KernelStack: 4064 kB
PageTables: 2968 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 366092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431452 MiB
End job on nodeC021 at 2025-07-02 14:01:59