0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.21/0.25 c [STEP] solving
0.21/0.25 c #variables 3296 #constraints 6384
0.21/0.25 c SMALL=int, LARGE=long long
0.21/0.25 c bounds - >= 91 @ 0.229034
0.21/0.25 c stratification level: 0
42.64/42.83 c #Conflicts: 1000 | #Constraints: 7383
42.64/42.83 c #Conflicts: 2000 | #Constraints: 8383
42.64/42.83 c INPROCESSING
42.64/42.83 c #Conflicts: 3000 | #Constraints: 8395
42.64/42.83 c #Conflicts: 4000 | #Constraints: 9395
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 5000 | #Constraints: 8807
42.64/42.83 c #Conflicts: 6000 | #Constraints: 9807
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 7000 | #Constraints: 8814
42.64/42.83 c #Conflicts: 8000 | #Constraints: 9814
42.64/42.83 c #Conflicts: 9000 | #Constraints: 10814
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 10000 | #Constraints: 9523
42.64/42.83 c #Conflicts: 11000 | #Constraints: 10523
42.64/42.83 c #Conflicts: 12000 | #Constraints: 11523
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 13000 | #Constraints: 9982
42.64/42.83 c #Conflicts: 14000 | #Constraints: 10982
42.64/42.83 c #Conflicts: 15000 | #Constraints: 11982
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 16000 | #Constraints: 10208
42.64/42.83 c #Conflicts: 17000 | #Constraints: 11208
42.64/42.83 c #Conflicts: 18000 | #Constraints: 12208
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 19000 | #Constraints: 10227
42.64/42.83 c #Conflicts: 20000 | #Constraints: 11227
42.64/42.83 c #Conflicts: 21000 | #Constraints: 12227
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 22000 | #Constraints: 10029
42.64/42.83 c #Conflicts: 23000 | #Constraints: 11029
42.64/42.83 c #Conflicts: 24000 | #Constraints: 12029
42.64/42.83 c #Conflicts: 25000 | #Constraints: 13029
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 26000 | #Constraints: 10639
42.64/42.83 c #Conflicts: 27000 | #Constraints: 11639
42.64/42.83 c #Conflicts: 28000 | #Constraints: 12639
42.64/42.83 c #Conflicts: 29000 | #Constraints: 13639
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 30000 | #Constraints: 11051
42.64/42.83 c #Conflicts: 31000 | #Constraints: 12051
42.64/42.83 c #Conflicts: 32000 | #Constraints: 13051
42.64/42.83 c #Conflicts: 33000 | #Constraints: 14051
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 34000 | #Constraints: 11242
42.64/42.83 c #Conflicts: 35000 | #Constraints: 12242
42.64/42.83 c #Conflicts: 36000 | #Constraints: 13242
42.64/42.83 c #Conflicts: 37000 | #Constraints: 14242
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 38000 | #Constraints: 11243
42.64/42.83 c #Conflicts: 39000 | #Constraints: 12243
42.64/42.83 c #Conflicts: 40000 | #Constraints: 13243
42.64/42.83 c #Conflicts: 41000 | #Constraints: 14243
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 42000 | #Constraints: 11052
42.64/42.83 c #Conflicts: 43000 | #Constraints: 12052
42.64/42.83 c #Conflicts: 44000 | #Constraints: 13052
42.64/42.83 c #Conflicts: 45000 | #Constraints: 14052
42.64/42.83 c #Conflicts: 46000 | #Constraints: 15052
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 47000 | #Constraints: 11656
42.64/42.83 c #Conflicts: 48000 | #Constraints: 12656
42.64/42.83 c #Conflicts: 49000 | #Constraints: 13656
42.64/42.83 c #Conflicts: 50000 | #Constraints: 14656
42.64/42.83 c #Conflicts: 51000 | #Constraints: 15656
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 52000 | #Constraints: 12064
42.64/42.83 c #Conflicts: 53000 | #Constraints: 13064
42.64/42.83 c #Conflicts: 54000 | #Constraints: 14064
42.64/42.83 c #Conflicts: 55000 | #Constraints: 15064
42.64/42.83 c #Conflicts: 56000 | #Constraints: 16064
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 57000 | #Constraints: 12262
42.64/42.83 c #Conflicts: 58000 | #Constraints: 13262
42.64/42.83 c #Conflicts: 59000 | #Constraints: 14262
42.64/42.83 c #Conflicts: 60000 | #Constraints: 15262
42.64/42.83 c #Conflicts: 61000 | #Constraints: 16262
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 62000 | #Constraints: 12258
42.64/42.83 c #Conflicts: 63000 | #Constraints: 13258
42.64/42.83 c #Conflicts: 64000 | #Constraints: 14258
42.64/42.83 c #Conflicts: 65000 | #Constraints: 15258
42.64/42.83 c #Conflicts: 66000 | #Constraints: 16258
42.64/42.83 c INPROCESSING
42.64/42.83 c GARBAGE COLLECT
42.64/42.83 c #Conflicts: 67000 | #Constraints: 12056
42.64/42.83 c #Conflicts: 68000 | #Constraints: 13056
108.03/108.46 c #Conflicts: 69000 | #Constraints: 14056
108.03/108.46 c #Conflicts: 70000 | #Constraints: 15056
108.03/108.46 c #Conflicts: 71000 | #Constraints: 16056
108.03/108.46 c #Conflicts: 72000 | #Constraints: 17056
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 73000 | #Constraints: 12658
108.03/108.46 c #Conflicts: 74000 | #Constraints: 13658
108.03/108.46 c #Conflicts: 75000 | #Constraints: 14658
108.03/108.46 c #Conflicts: 76000 | #Constraints: 15658
108.03/108.46 c #Conflicts: 77000 | #Constraints: 16658
108.03/108.46 c #Conflicts: 78000 | #Constraints: 17658
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 79000 | #Constraints: 13067
108.03/108.46 c #Conflicts: 80000 | #Constraints: 14067
108.03/108.46 c #Conflicts: 81000 | #Constraints: 15067
108.03/108.46 c #Conflicts: 82000 | #Constraints: 16067
108.03/108.46 c #Conflicts: 83000 | #Constraints: 17067
108.03/108.46 c #Conflicts: 84000 | #Constraints: 18067
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 85000 | #Constraints: 13260
108.03/108.46 c #Conflicts: 86000 | #Constraints: 14260
108.03/108.46 c #Conflicts: 87000 | #Constraints: 15260
108.03/108.46 c #Conflicts: 88000 | #Constraints: 16260
108.03/108.46 c #Conflicts: 89000 | #Constraints: 17260
108.03/108.46 c #Conflicts: 90000 | #Constraints: 18260
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 91000 | #Constraints: 13261
108.03/108.46 c #Conflicts: 92000 | #Constraints: 14261
108.03/108.46 c #Conflicts: 93000 | #Constraints: 15261
108.03/108.46 c #Conflicts: 94000 | #Constraints: 16261
108.03/108.46 c #Conflicts: 95000 | #Constraints: 17261
108.03/108.46 c #Conflicts: 96000 | #Constraints: 18261
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 97000 | #Constraints: 13077
108.03/108.46 c #Conflicts: 98000 | #Constraints: 14077
108.03/108.46 c #Conflicts: 99000 | #Constraints: 15077
108.03/108.46 c #Conflicts: 100000 | #Constraints: 16077
108.03/108.46 c #Conflicts: 101000 | #Constraints: 17077
108.03/108.46 c #Conflicts: 102000 | #Constraints: 18077
108.03/108.46 c #Conflicts: 103000 | #Constraints: 19077
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 104000 | #Constraints: 13695
108.03/108.46 c #Conflicts: 105000 | #Constraints: 14695
108.03/108.46 c #Conflicts: 106000 | #Constraints: 15695
108.03/108.46 c #Conflicts: 107000 | #Constraints: 16695
108.03/108.46 c #Conflicts: 108000 | #Constraints: 17695
108.03/108.46 c #Conflicts: 109000 | #Constraints: 18695
108.03/108.46 c #Conflicts: 110000 | #Constraints: 19695
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 111000 | #Constraints: 14089
108.03/108.46 c #Conflicts: 112000 | #Constraints: 15089
108.03/108.46 c #Conflicts: 113000 | #Constraints: 16089
108.03/108.46 c #Conflicts: 114000 | #Constraints: 17089
108.03/108.46 c #Conflicts: 115000 | #Constraints: 18089
108.03/108.46 c #Conflicts: 116000 | #Constraints: 19089
108.03/108.46 c #Conflicts: 117000 | #Constraints: 20089
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 118000 | #Constraints: 14295
108.03/108.46 c #Conflicts: 119000 | #Constraints: 15295
108.03/108.46 c #Conflicts: 120000 | #Constraints: 16295
108.03/108.46 c #Conflicts: 121000 | #Constraints: 17295
108.03/108.46 c #Conflicts: 122000 | #Constraints: 18295
108.03/108.46 c #Conflicts: 123000 | #Constraints: 19295
108.03/108.46 c #Conflicts: 124000 | #Constraints: 20295
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 125000 | #Constraints: 14292
108.03/108.46 c #Conflicts: 126000 | #Constraints: 15292
108.03/108.46 c #Conflicts: 127000 | #Constraints: 16292
108.03/108.46 c #Conflicts: 128000 | #Constraints: 17292
108.03/108.46 c #Conflicts: 129000 | #Constraints: 18292
108.03/108.46 c #Conflicts: 130000 | #Constraints: 19292
108.03/108.46 c #Conflicts: 131000 | #Constraints: 20292
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 132000 | #Constraints: 14081
108.03/108.46 c #Conflicts: 133000 | #Constraints: 15081
108.03/108.46 c #Conflicts: 134000 | #Constraints: 16081
108.03/108.46 c #Conflicts: 135000 | #Constraints: 17081
108.03/108.46 c #Conflicts: 136000 | #Constraints: 18081
108.03/108.46 c #Conflicts: 137000 | #Constraints: 19081
108.03/108.46 c #Conflicts: 138000 | #Constraints: 20081
108.03/108.46 c #Conflicts: 139000 | #Constraints: 21081
108.03/108.46 c INPROCESSING
108.03/108.46 c GARBAGE COLLECT
108.03/108.46 c #Conflicts: 140000 | #Constraints: 14668
189.56/190.22 c #Conflicts: 141000 | #Constraints: 15668
189.56/190.22 c #Conflicts: 142000 | #Constraints: 16668
189.56/190.22 c #Conflicts: 143000 | #Constraints: 17668
189.56/190.22 c #Conflicts: 144000 | #Constraints: 18668
189.56/190.22 c #Conflicts: 145000 | #Constraints: 19668
189.56/190.22 c #Conflicts: 146000 | #Constraints: 20668
189.56/190.22 c #Conflicts: 147000 | #Constraints: 21668
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 148000 | #Constraints: 15072
189.56/190.22 c #Conflicts: 149000 | #Constraints: 16072
189.56/190.22 c #Conflicts: 150000 | #Constraints: 17072
189.56/190.22 c #Conflicts: 151000 | #Constraints: 18072
189.56/190.22 c #Conflicts: 152000 | #Constraints: 19072
189.56/190.22 c #Conflicts: 153000 | #Constraints: 20072
189.56/190.22 c #Conflicts: 154000 | #Constraints: 21072
189.56/190.22 c #Conflicts: 155000 | #Constraints: 22072
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 156000 | #Constraints: 15280
189.56/190.22 c #Conflicts: 157000 | #Constraints: 16280
189.56/190.22 c #Conflicts: 158000 | #Constraints: 17280
189.56/190.22 c #Conflicts: 159000 | #Constraints: 18280
189.56/190.22 c #Conflicts: 160000 | #Constraints: 19280
189.56/190.22 c #Conflicts: 161000 | #Constraints: 20280
189.56/190.22 c #Conflicts: 162000 | #Constraints: 21280
189.56/190.22 c #Conflicts: 163000 | #Constraints: 22280
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 164000 | #Constraints: 15291
189.56/190.22 c #Conflicts: 165000 | #Constraints: 16291
189.56/190.22 c #Conflicts: 166000 | #Constraints: 17291
189.56/190.22 c #Conflicts: 167000 | #Constraints: 18291
189.56/190.22 c #Conflicts: 168000 | #Constraints: 19291
189.56/190.22 c #Conflicts: 169000 | #Constraints: 20291
189.56/190.22 c #Conflicts: 170000 | #Constraints: 21291
189.56/190.22 c #Conflicts: 171000 | #Constraints: 22291
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 172000 | #Constraints: 15083
189.56/190.22 c #Conflicts: 173000 | #Constraints: 16083
189.56/190.22 c #Conflicts: 174000 | #Constraints: 17083
189.56/190.22 c #Conflicts: 175000 | #Constraints: 18083
189.56/190.22 c #Conflicts: 176000 | #Constraints: 19083
189.56/190.22 c #Conflicts: 177000 | #Constraints: 20083
189.56/190.22 c #Conflicts: 178000 | #Constraints: 21083
189.56/190.22 c #Conflicts: 179000 | #Constraints: 22083
189.56/190.22 c #Conflicts: 180000 | #Constraints: 23083
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 181000 | #Constraints: 15677
189.56/190.22 c #Conflicts: 182000 | #Constraints: 16677
189.56/190.22 c #Conflicts: 183000 | #Constraints: 17677
189.56/190.22 c #Conflicts: 184000 | #Constraints: 18677
189.56/190.22 c #Conflicts: 185000 | #Constraints: 19677
189.56/190.22 c #Conflicts: 186000 | #Constraints: 20677
189.56/190.22 c #Conflicts: 187000 | #Constraints: 21677
189.56/190.22 c #Conflicts: 188000 | #Constraints: 22677
189.56/190.22 c #Conflicts: 189000 | #Constraints: 23677
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 190000 | #Constraints: 16072
189.56/190.22 c #Conflicts: 191000 | #Constraints: 17072
189.56/190.22 c #Conflicts: 192000 | #Constraints: 18072
189.56/190.22 c #Conflicts: 193000 | #Constraints: 19072
189.56/190.22 c #Conflicts: 194000 | #Constraints: 20072
189.56/190.22 c #Conflicts: 195000 | #Constraints: 21072
189.56/190.22 c #Conflicts: 196000 | #Constraints: 22072
189.56/190.22 c #Conflicts: 197000 | #Constraints: 23072
189.56/190.22 c #Conflicts: 198000 | #Constraints: 24072
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 199000 | #Constraints: 16289
189.56/190.22 c #Conflicts: 200000 | #Constraints: 17289
189.56/190.22 c #Conflicts: 201000 | #Constraints: 18289
189.56/190.22 c #Conflicts: 202000 | #Constraints: 19289
189.56/190.22 c #Conflicts: 203000 | #Constraints: 20289
189.56/190.22 c #Conflicts: 204000 | #Constraints: 21289
189.56/190.22 c #Conflicts: 205000 | #Constraints: 22289
189.56/190.22 c #Conflicts: 206000 | #Constraints: 23289
189.56/190.22 c #Conflicts: 207000 | #Constraints: 24289
189.56/190.22 c INPROCESSING
189.56/190.22 c GARBAGE COLLECT
189.56/190.22 c #Conflicts: 208000 | #Constraints: 16287
189.56/190.22 c #Conflicts: 209000 | #Constraints: 17287
189.56/190.22 c #Conflicts: 210000 | #Constraints: 18287
189.56/190.22 c #Conflicts: 211000 | #Constraints: 19287
189.56/190.22 c #Conflicts: 212000 | #Constraints: 20287
189.56/190.22 c #Conflicts: 213000 | #Constraints: 21287
189.56/190.22 c #Conflicts: 214000 | #Constraints: 22287
284.06/285.05 c #Conflicts: 215000 | #Constraints: 23287
284.06/285.05 c #Conflicts: 216000 | #Constraints: 24287
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 217000 | #Constraints: 16088
284.06/285.05 c #Conflicts: 218000 | #Constraints: 17088
284.06/285.05 c #Conflicts: 219000 | #Constraints: 18088
284.06/285.05 c #Conflicts: 220000 | #Constraints: 19088
284.06/285.05 c #Conflicts: 221000 | #Constraints: 20088
284.06/285.05 c #Conflicts: 222000 | #Constraints: 21088
284.06/285.05 c #Conflicts: 223000 | #Constraints: 22088
284.06/285.05 c #Conflicts: 224000 | #Constraints: 23088
284.06/285.05 c #Conflicts: 225000 | #Constraints: 24088
284.06/285.05 c #Conflicts: 226000 | #Constraints: 25088
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 227000 | #Constraints: 16680
284.06/285.05 c #Conflicts: 228000 | #Constraints: 17680
284.06/285.05 c #Conflicts: 229000 | #Constraints: 18680
284.06/285.05 c #Conflicts: 230000 | #Constraints: 19680
284.06/285.05 c #Conflicts: 231000 | #Constraints: 20680
284.06/285.05 c #Conflicts: 232000 | #Constraints: 21680
284.06/285.05 c #Conflicts: 233000 | #Constraints: 22680
284.06/285.05 c #Conflicts: 234000 | #Constraints: 23680
284.06/285.05 c #Conflicts: 235000 | #Constraints: 24680
284.06/285.05 c #Conflicts: 236000 | #Constraints: 25680
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 237000 | #Constraints: 17106
284.06/285.05 c #Conflicts: 238000 | #Constraints: 18106
284.06/285.05 c #Conflicts: 239000 | #Constraints: 19106
284.06/285.05 c #Conflicts: 240000 | #Constraints: 20106
284.06/285.05 c #Conflicts: 241000 | #Constraints: 21106
284.06/285.05 c #Conflicts: 242000 | #Constraints: 22106
284.06/285.05 c #Conflicts: 243000 | #Constraints: 23106
284.06/285.05 c #Conflicts: 244000 | #Constraints: 24106
284.06/285.05 c #Conflicts: 245000 | #Constraints: 25106
284.06/285.05 c #Conflicts: 246000 | #Constraints: 26106
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 247000 | #Constraints: 17305
284.06/285.05 c #Conflicts: 248000 | #Constraints: 18305
284.06/285.05 c #Conflicts: 249000 | #Constraints: 19305
284.06/285.05 c #Conflicts: 250000 | #Constraints: 20305
284.06/285.05 c #Conflicts: 251000 | #Constraints: 21305
284.06/285.05 c #Conflicts: 252000 | #Constraints: 22305
284.06/285.05 c #Conflicts: 253000 | #Constraints: 23305
284.06/285.05 c #Conflicts: 254000 | #Constraints: 24305
284.06/285.05 c #Conflicts: 255000 | #Constraints: 25305
284.06/285.05 c #Conflicts: 256000 | #Constraints: 26305
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 257000 | #Constraints: 17286
284.06/285.05 c #Conflicts: 258000 | #Constraints: 18286
284.06/285.05 c #Conflicts: 259000 | #Constraints: 19286
284.06/285.05 c #Conflicts: 260000 | #Constraints: 20286
284.06/285.05 c #Conflicts: 261000 | #Constraints: 21286
284.06/285.05 c #Conflicts: 262000 | #Constraints: 22286
284.06/285.05 c #Conflicts: 263000 | #Constraints: 23286
284.06/285.05 c #Conflicts: 264000 | #Constraints: 24286
284.06/285.05 c #Conflicts: 265000 | #Constraints: 25286
284.06/285.05 c #Conflicts: 266000 | #Constraints: 26286
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 267000 | #Constraints: 17085
284.06/285.05 c #Conflicts: 268000 | #Constraints: 18085
284.06/285.05 c #Conflicts: 269000 | #Constraints: 19085
284.06/285.05 c #Conflicts: 270000 | #Constraints: 20085
284.06/285.05 c #Conflicts: 271000 | #Constraints: 21085
284.06/285.05 c #Conflicts: 272000 | #Constraints: 22085
284.06/285.05 c #Conflicts: 273000 | #Constraints: 23085
284.06/285.05 c #Conflicts: 274000 | #Constraints: 24085
284.06/285.05 c #Conflicts: 275000 | #Constraints: 25085
284.06/285.05 c #Conflicts: 276000 | #Constraints: 26085
284.06/285.05 c #Conflicts: 277000 | #Constraints: 27085
284.06/285.05 c INPROCESSING
284.06/285.05 c GARBAGE COLLECT
284.06/285.05 c #Conflicts: 278000 | #Constraints: 17705
284.06/285.05 c #Conflicts: 279000 | #Constraints: 18705
284.06/285.05 c #Conflicts: 280000 | #Constraints: 19705
284.06/285.05 c #Conflicts: 281000 | #Constraints: 20705
284.06/285.05 c #Conflicts: 282000 | #Constraints: 21705
284.06/285.05 c #Conflicts: 283000 | #Constraints: 22705
284.06/285.05 c #Conflicts: 284000 | #Constraints: 23705
284.06/285.05 c #Conflicts: 285000 | #Constraints: 24705
284.06/285.05 c #Conflicts: 286000 | #Constraints: 25705
284.06/285.05 c #Conflicts: 287000 | #Constraints: 26705
284.06/285.05 c #Conflicts: 288000 | #Constraints: 27705
385.72/387.06 c INPROCESSING
385.72/387.06 c GARBAGE COLLECT
385.72/387.06 c #Conflicts: 289000 | #Constraints: 18098
385.72/387.06 c #Conflicts: 290000 | #Constraints: 19098
385.72/387.06 c #Conflicts: 291000 | #Constraints: 20098
385.72/387.06 c #Conflicts: 292000 | #Constraints: 21098
385.72/387.06 c #Conflicts: 293000 | #Constraints: 22098
385.72/387.06 c #Conflicts: 294000 | #Constraints: 23098
385.72/387.06 c #Conflicts: 295000 | #Constraints: 24098
385.72/387.06 c #Conflicts: 296000 | #Constraints: 25098
385.72/387.06 c #Conflicts: 297000 | #Constraints: 26098
385.72/387.06 c #Conflicts: 298000 | #Constraints: 27098
385.72/387.06 c #Conflicts: 299000 | #Constraints: 28098
385.72/387.06 c INPROCESSING
385.72/387.06 c GARBAGE COLLECT
385.72/387.06 c #Conflicts: 300000 | #Constraints: 18301
385.72/387.06 c #Conflicts: 301000 | #Constraints: 19301
385.72/387.06 c #Conflicts: 302000 | #Constraints: 20301
385.72/387.06 c #Conflicts: 303000 | #Constraints: 21301
385.72/387.06 c #Conflicts: 304000 | #Constraints: 22301
385.72/387.06 c #Conflicts: 305000 | #Constraints: 23301
385.72/387.06 c #Conflicts: 306000 | #Constraints: 24301
385.72/387.06 c #Conflicts: 307000 | #Constraints: 25301
385.72/387.06 c #Conflicts: 308000 | #Constraints: 26301
385.72/387.06 c #Conflicts: 309000 | #Constraints: 27301
385.72/387.06 c #Conflicts: 310000 | #Constraints: 28301
385.72/387.06 c INPROCESSING
385.72/387.06 c GARBAGE COLLECT
385.72/387.06 c #Conflicts: 311000 | #Constraints: 18306
385.72/387.06 c #Conflicts: 312000 | #Constraints: 19306
385.72/387.06 c #Conflicts: 313000 | #Constraints: 20306
385.72/387.06 c #Conflicts: 314000 | #Constraints: 21306
385.72/387.06 c #Conflicts: 315000 | #Constraints: 22306
385.72/387.06 c #Conflicts: 316000 | #Constraints: 23306
385.72/387.06 c #Conflicts: 317000 | #Constraints: 24306
385.72/387.06 c #Conflicts: 318000 | #Constraints: 25306
385.72/387.06 c #Conflicts: 319000 | #Constraints: 26306
385.72/387.06 c #Conflicts: 320000 | #Constraints: 27306
385.72/387.06 c #Conflicts: 321000 | #Constraints: 28306
385.72/387.06 c INPROCESSING
385.72/387.06 c GARBAGE COLLECT
385.72/387.06 c #Conflicts: 322000 | #Constraints: 18119
385.72/387.06 c #Conflicts: 323000 | #Constraints: 19119
385.72/387.06 c #Conflicts: 324000 | #Constraints: 20119
385.72/387.06 c #Conflicts: 325000 | #Constraints: 21119
385.72/387.07 c #Conflicts: 326000 | #Constraints: 22119
385.72/387.07 c #Conflicts: 327000 | #Constraints: 23119
385.72/387.07 c #Conflicts: 328000 | #Constraints: 24119
385.72/387.07 c #Conflicts: 329000 | #Constraints: 25119
385.72/387.07 c #Conflicts: 330000 | #Constraints: 26119
385.72/387.07 c #Conflicts: 331000 | #Constraints: 27119
385.72/387.07 c #Conflicts: 332000 | #Constraints: 28119
385.72/387.07 c #Conflicts: 333000 | #Constraints: 29119
385.72/387.07 c INPROCESSING
385.72/387.07 c GARBAGE COLLECT
385.72/387.07 c #Conflicts: 334000 | #Constraints: 18702
385.72/387.07 c #Conflicts: 335000 | #Constraints: 19702
385.72/387.07 c #Conflicts: 336000 | #Constraints: 20702
385.72/387.07 c #Conflicts: 337000 | #Constraints: 21702
385.72/387.07 c #Conflicts: 338000 | #Constraints: 22702
385.72/387.07 c #Conflicts: 339000 | #Constraints: 23702
385.72/387.07 c #Conflicts: 340000 | #Constraints: 24702
385.72/387.07 c #Conflicts: 341000 | #Constraints: 25702
385.72/387.07 c #Conflicts: 342000 | #Constraints: 26702
385.72/387.07 c #Conflicts: 343000 | #Constraints: 27702
385.72/387.07 c #Conflicts: 344000 | #Constraints: 28702
385.72/387.07 c #Conflicts: 345000 | #Constraints: 29702
385.72/387.07 c INPROCESSING
385.72/387.07 c GARBAGE COLLECT
385.72/387.07 c #Conflicts: 346000 | #Constraints: 19088
385.72/387.07 c #Conflicts: 347000 | #Constraints: 20088
385.72/387.07 c #Conflicts: 348000 | #Constraints: 21088
385.72/387.07 c #Conflicts: 349000 | #Constraints: 22088
385.72/387.07 c #Conflicts: 350000 | #Constraints: 23088
385.72/387.07 c #Conflicts: 351000 | #Constraints: 24088
385.72/387.07 c #Conflicts: 352000 | #Constraints: 25088
385.72/387.07 c #Conflicts: 353000 | #Constraints: 26088
385.72/387.07 c #Conflicts: 354000 | #Constraints: 27088
385.72/387.07 c #Conflicts: 355000 | #Constraints: 28088
385.72/387.07 c #Conflicts: 356000 | #Constraints: 29088
385.72/387.07 c #Conflicts: 357000 | #Constraints: 30088
385.72/387.07 c INPROCESSING
385.72/387.07 c GARBAGE COLLECT
385.72/387.07 c #Conflicts: 358000 | #Constraints: 19291
385.72/387.07 c #Conflicts: 359000 | #Constraints: 20291
385.72/387.07 c #Conflicts: 360000 | #Constraints: 21291
385.72/387.07 c #Conflicts: 361000 | #Constraints: 22291
385.72/387.07 c #Conflicts: 362000 | #Constraints: 23291
502.72/504.40 c #Conflicts: 363000 | #Constraints: 24291
502.72/504.40 c #Conflicts: 364000 | #Constraints: 25291
502.72/504.40 c #Conflicts: 365000 | #Constraints: 26291
502.72/504.40 c #Conflicts: 366000 | #Constraints: 27291
502.72/504.40 c #Conflicts: 367000 | #Constraints: 28291
502.72/504.40 c #Conflicts: 368000 | #Constraints: 29291
502.72/504.40 c #Conflicts: 369000 | #Constraints: 30291
502.72/504.40 c INPROCESSING
502.72/504.40 c GARBAGE COLLECT
502.72/504.40 c #Conflicts: 370000 | #Constraints: 19294
502.72/504.40 c #Conflicts: 371000 | #Constraints: 20294
502.72/504.40 c #Conflicts: 372000 | #Constraints: 21294
502.72/504.40 c #Conflicts: 373000 | #Constraints: 22294
502.72/504.40 c #Conflicts: 374000 | #Constraints: 23294
502.72/504.40 c #Conflicts: 375000 | #Constraints: 24294
502.72/504.40 c #Conflicts: 376000 | #Constraints: 25294
502.72/504.40 c #Conflicts: 377000 | #Constraints: 26294
502.72/504.40 c #Conflicts: 378000 | #Constraints: 27294
502.72/504.40 c #Conflicts: 379000 | #Constraints: 28294
502.72/504.40 c #Conflicts: 380000 | #Constraints: 29294
502.72/504.40 c #Conflicts: 381000 | #Constraints: 30294
502.72/504.40 c INPROCESSING
502.72/504.40 c GARBAGE COLLECT
502.72/504.40 c #Conflicts: 382000 | #Constraints: 19097
502.72/504.40 c #Conflicts: 383000 | #Constraints: 20097
502.72/504.40 c #Conflicts: 384000 | #Constraints: 21097
502.72/504.40 c #Conflicts: 385000 | #Constraints: 22097
502.72/504.40 c #Conflicts: 386000 | #Constraints: 23097
502.72/504.40 c #Conflicts: 387000 | #Constraints: 24097
502.72/504.40 c #Conflicts: 388000 | #Constraints: 25097
502.72/504.40 c #Conflicts: 389000 | #Constraints: 26097
502.72/504.40 c #Conflicts: 390000 | #Constraints: 27097
502.72/504.40 c #Conflicts: 391000 | #Constraints: 28097
502.72/504.40 c #Conflicts: 392000 | #Constraints: 29097
502.72/504.40 c #Conflicts: 393000 | #Constraints: 30097
502.72/504.40 c #Conflicts: 394000 | #Constraints: 31097
502.72/504.40 c INPROCESSING
502.72/504.40 c GARBAGE COLLECT
502.72/504.40 c #Conflicts: 395000 | #Constraints: 19690
502.72/504.40 c #Conflicts: 396000 | #Constraints: 20690
502.72/504.40 c #Conflicts: 397000 | #Constraints: 21690
502.72/504.40 c #Conflicts: 398000 | #Constraints: 22690
502.72/504.40 c #Conflicts: 399000 | #Constraints: 23690
502.72/504.40 c #Conflicts: 400000 | #Constraints: 24690
502.72/504.40 c #Conflicts: 401000 | #Constraints: 25690
502.72/504.40 c #Conflicts: 402000 | #Constraints: 26690
502.72/504.40 c #Conflicts: 403000 | #Constraints: 27690
502.72/504.40 c #Conflicts: 404000 | #Constraints: 28690
502.72/504.40 c #Conflicts: 405000 | #Constraints: 29690
502.72/504.40 c #Conflicts: 406000 | #Constraints: 30690
502.72/504.40 c #Conflicts: 407000 | #Constraints: 31690
502.72/504.40 c INPROCESSING
502.72/504.40 c GARBAGE COLLECT
502.72/504.40 c #Conflicts: 408000 | #Constraints: 20095
502.72/504.40 c #Conflicts: 409000 | #Constraints: 21095
502.72/504.40 c #Conflicts: 410000 | #Constraints: 22095
502.72/504.40 c #Conflicts: 411000 | #Constraints: 23095
502.72/504.40 c #Conflicts: 412000 | #Constraints: 24095
502.72/504.40 c #Conflicts: 413000 | #Constraints: 25095
502.72/504.40 c #Conflicts: 414000 | #Constraints: 26095
502.72/504.40 c #Conflicts: 415000 | #Constraints: 27095
502.72/504.40 c #Conflicts: 416000 | #Constraints: 28095
502.72/504.40 c #Conflicts: 417000 | #Constraints: 29095
502.72/504.40 c #Conflicts: 418000 | #Constraints: 30095
502.72/504.40 c #Conflicts: 419000 | #Constraints: 31095
502.72/504.40 c #Conflicts: 420000 | #Constraints: 32095
502.72/504.40 c INPROCESSING
502.72/504.40 c GARBAGE COLLECT
502.72/504.40 c #Conflicts: 421000 | #Constraints: 20289
502.72/504.40 c #Conflicts: 422000 | #Constraints: 21289
502.72/504.40 c #Conflicts: 423000 | #Constraints: 22289
502.72/504.40 c #Conflicts: 424000 | #Constraints: 23289
502.72/504.40 c #Conflicts: 425000 | #Constraints: 24289
502.72/504.40 c #Conflicts: 426000 | #Constraints: 25289
502.72/504.40 c #Conflicts: 427000 | #Constraints: 26289
502.72/504.40 c #Conflicts: 428000 | #Constraints: 27289
502.72/504.40 c #Conflicts: 429000 | #Constraints: 28289
502.72/504.40 c #Conflicts: 430000 | #Constraints: 29289
502.72/504.40 c #Conflicts: 431000 | #Constraints: 30289
502.72/504.40 c #Conflicts: 432000 | #Constraints: 31289
502.72/504.40 c #Conflicts: 433000 | #Constraints: 32289
502.72/504.40 c INPROCESSING
502.72/504.40 c GARBAGE COLLECT
502.72/504.40 c #Conflicts: 434000 | #Constraints: 20306
502.72/504.40 c #Conflicts: 435000 | #Constraints: 21306
502.72/504.40 c #Conflicts: 436000 | #Constraints: 22306
502.72/504.40 c #Conflicts: 437000 | #Constraints: 23306
628.80/630.94 c #Conflicts: 438000 | #Constraints: 24306
628.80/630.94 c #Conflicts: 439000 | #Constraints: 25306
628.80/630.94 c #Conflicts: 440000 | #Constraints: 26306
628.80/630.94 c #Conflicts: 441000 | #Constraints: 27306
628.80/630.94 c #Conflicts: 442000 | #Constraints: 28306
628.80/630.94 c #Conflicts: 443000 | #Constraints: 29306
628.80/630.94 c #Conflicts: 444000 | #Constraints: 30306
628.80/630.94 c #Conflicts: 445000 | #Constraints: 31306
628.80/630.94 c #Conflicts: 446000 | #Constraints: 32306
628.80/630.94 c INPROCESSING
628.80/630.94 c GARBAGE COLLECT
628.80/630.94 c #Conflicts: 447000 | #Constraints: 20090
628.80/630.94 c #Conflicts: 448000 | #Constraints: 21090
628.80/630.94 c #Conflicts: 449000 | #Constraints: 22090
628.80/630.94 c #Conflicts: 450000 | #Constraints: 23090
628.80/630.94 c #Conflicts: 451000 | #Constraints: 24090
628.80/630.94 c #Conflicts: 452000 | #Constraints: 25090
628.80/630.94 c #Conflicts: 453000 | #Constraints: 26090
628.80/630.94 c #Conflicts: 454000 | #Constraints: 27090
628.80/630.94 c #Conflicts: 455000 | #Constraints: 28090
628.80/630.94 c #Conflicts: 456000 | #Constraints: 29090
628.80/630.94 c #Conflicts: 457000 | #Constraints: 30090
628.80/630.94 c #Conflicts: 458000 | #Constraints: 31090
628.80/630.94 c #Conflicts: 459000 | #Constraints: 32090
628.80/630.94 c #Conflicts: 460000 | #Constraints: 33090
628.80/630.94 c INPROCESSING
628.80/630.94 c GARBAGE COLLECT
628.80/630.94 c #Conflicts: 461000 | #Constraints: 20705
628.80/630.94 c #Conflicts: 462000 | #Constraints: 21705
628.80/630.94 c #Conflicts: 463000 | #Constraints: 22705
628.80/630.94 c #Conflicts: 464000 | #Constraints: 23705
628.80/630.94 c #Conflicts: 465000 | #Constraints: 24705
628.80/630.94 c #Conflicts: 466000 | #Constraints: 25705
628.80/630.94 c #Conflicts: 467000 | #Constraints: 26705
628.80/630.94 c #Conflicts: 468000 | #Constraints: 27705
628.80/630.94 c #Conflicts: 469000 | #Constraints: 28705
628.80/630.94 c #Conflicts: 470000 | #Constraints: 29705
628.80/630.94 c #Conflicts: 471000 | #Constraints: 30705
628.80/630.94 c #Conflicts: 472000 | #Constraints: 31705
628.80/630.94 c #Conflicts: 473000 | #Constraints: 32705
628.80/630.94 c #Conflicts: 474000 | #Constraints: 33705
628.80/630.94 c INPROCESSING
628.80/630.94 c GARBAGE COLLECT
628.80/630.94 c #Conflicts: 475000 | #Constraints: 21127
628.80/630.94 c #Conflicts: 476000 | #Constraints: 22127
628.80/630.94 c #Conflicts: 477000 | #Constraints: 23127
628.80/630.94 c #Conflicts: 478000 | #Constraints: 24127
628.80/630.94 c #Conflicts: 479000 | #Constraints: 25127
628.80/630.94 c #Conflicts: 480000 | #Constraints: 26127
628.80/630.94 c #Conflicts: 481000 | #Constraints: 27127
628.80/630.94 c #Conflicts: 482000 | #Constraints: 28127
628.80/630.94 c #Conflicts: 483000 | #Constraints: 29127
628.80/630.94 c #Conflicts: 484000 | #Constraints: 30127
628.80/630.94 c #Conflicts: 485000 | #Constraints: 31127
628.80/630.94 c #Conflicts: 486000 | #Constraints: 32127
628.80/630.94 c #Conflicts: 487000 | #Constraints: 33127
628.80/630.94 c #Conflicts: 488000 | #Constraints: 34127
628.80/630.94 c INPROCESSING
628.80/630.94 c GARBAGE COLLECT
628.80/630.94 c #Conflicts: 489000 | #Constraints: 21317
628.80/630.94 c #Conflicts: 490000 | #Constraints: 22317
628.80/630.94 c #Conflicts: 491000 | #Constraints: 23317
628.80/630.94 c #Conflicts: 492000 | #Constraints: 24317
628.80/630.94 c #Conflicts: 493000 | #Constraints: 25317
628.80/630.94 c #Conflicts: 494000 | #Constraints: 26317
628.80/630.94 c #Conflicts: 495000 | #Constraints: 27317
628.80/630.94 c #Conflicts: 496000 | #Constraints: 28317
628.80/630.94 c #Conflicts: 497000 | #Constraints: 29317
628.80/630.94 c #Conflicts: 498000 | #Constraints: 30317
628.80/630.94 c #Conflicts: 499000 | #Constraints: 31317
628.80/630.94 c #Conflicts: 500000 | #Constraints: 32317
628.80/630.94 c #Conflicts: 501000 | #Constraints: 33317
628.80/630.94 c #Conflicts: 502000 | #Constraints: 34317
628.80/630.94 c INPROCESSING
628.80/630.94 c GARBAGE COLLECT
628.80/630.94 c #Conflicts: 503000 | #Constraints: 21304
628.80/630.94 c #Conflicts: 504000 | #Constraints: 22304
628.80/630.94 c #Conflicts: 505000 | #Constraints: 23304
628.80/630.94 c #Conflicts: 506000 | #Constraints: 24304
628.80/630.94 c #Conflicts: 507000 | #Constraints: 25304
628.80/630.94 c #Conflicts: 508000 | #Constraints: 26304
628.80/630.94 c #Conflicts: 509000 | #Constraints: 27304
628.80/630.94 c #Conflicts: 510000 | #Constraints: 28304
628.80/630.94 c #Conflicts: 511000 | #Constraints: 29304
628.80/630.94 c #Conflicts: 512000 | #Constraints: 30304
628.80/630.94 c #Conflicts: 513000 | #Constraints: 31304
766.55/769.14 c #Conflicts: 514000 | #Constraints: 32304
766.55/769.14 c #Conflicts: 515000 | #Constraints: 33304
766.55/769.14 c #Conflicts: 516000 | #Constraints: 34304
766.55/769.14 c INPROCESSING
766.55/769.14 c GARBAGE COLLECT
766.55/769.14 c #Conflicts: 517000 | #Constraints: 21121
766.55/769.14 c #Conflicts: 518000 | #Constraints: 22121
766.55/769.14 c #Conflicts: 519000 | #Constraints: 23121
766.55/769.14 c #Conflicts: 520000 | #Constraints: 24121
766.55/769.14 c #Conflicts: 521000 | #Constraints: 25121
766.55/769.14 c #Conflicts: 522000 | #Constraints: 26121
766.55/769.14 c #Conflicts: 523000 | #Constraints: 27121
766.55/769.14 c #Conflicts: 524000 | #Constraints: 28121
766.55/769.14 c #Conflicts: 525000 | #Constraints: 29121
766.55/769.14 c #Conflicts: 526000 | #Constraints: 30121
766.55/769.14 c #Conflicts: 527000 | #Constraints: 31121
766.55/769.14 c #Conflicts: 528000 | #Constraints: 32121
766.55/769.14 c #Conflicts: 529000 | #Constraints: 33121
766.55/769.14 c #Conflicts: 530000 | #Constraints: 34121
766.55/769.14 c #Conflicts: 531000 | #Constraints: 35121
766.55/769.14 c INPROCESSING
766.55/769.14 c GARBAGE COLLECT
766.55/769.14 c #Conflicts: 532000 | #Constraints: 21722
766.55/769.14 c #Conflicts: 533000 | #Constraints: 22722
766.55/769.14 c #Conflicts: 534000 | #Constraints: 23722
766.55/769.14 c #Conflicts: 535000 | #Constraints: 24722
766.55/769.14 c #Conflicts: 536000 | #Constraints: 25722
766.55/769.14 c #Conflicts: 537000 | #Constraints: 26722
766.55/769.14 c #Conflicts: 538000 | #Constraints: 27722
766.55/769.14 c #Conflicts: 539000 | #Constraints: 28722
766.55/769.14 c #Conflicts: 540000 | #Constraints: 29722
766.55/769.14 c #Conflicts: 541000 | #Constraints: 30722
766.55/769.14 c #Conflicts: 542000 | #Constraints: 31722
766.55/769.14 c #Conflicts: 543000 | #Constraints: 32722
766.55/769.14 c #Conflicts: 544000 | #Constraints: 33722
766.55/769.14 c #Conflicts: 545000 | #Constraints: 34722
766.55/769.14 c #Conflicts: 546000 | #Constraints: 35722
766.55/769.14 c INPROCESSING
766.55/769.14 c GARBAGE COLLECT
766.55/769.14 c #Conflicts: 547000 | #Constraints: 22132
766.55/769.14 c #Conflicts: 548000 | #Constraints: 23132
766.55/769.14 c #Conflicts: 549000 | #Constraints: 24132
766.55/769.14 c #Conflicts: 550000 | #Constraints: 25132
766.55/769.14 c #Conflicts: 551000 | #Constraints: 26132
766.55/769.14 c #Conflicts: 552000 | #Constraints: 27132
766.55/769.14 c #Conflicts: 553000 | #Constraints: 28132
766.55/769.14 c #Conflicts: 554000 | #Constraints: 29132
766.55/769.14 c #Conflicts: 555000 | #Constraints: 30132
766.55/769.14 c #Conflicts: 556000 | #Constraints: 31132
766.55/769.14 c #Conflicts: 557000 | #Constraints: 32132
766.55/769.14 c #Conflicts: 558000 | #Constraints: 33132
766.55/769.14 c #Conflicts: 559000 | #Constraints: 34132
766.55/769.14 c #Conflicts: 560000 | #Constraints: 35132
766.55/769.14 c #Conflicts: 561000 | #Constraints: 36132
766.55/769.14 c INPROCESSING
766.55/769.14 c GARBAGE COLLECT
766.55/769.14 c #Conflicts: 562000 | #Constraints: 22317
766.55/769.14 c #Conflicts: 563000 | #Constraints: 23317
766.55/769.14 c #Conflicts: 564000 | #Constraints: 24317
766.55/769.14 c #Conflicts: 565000 | #Constraints: 25317
766.55/769.14 c #Conflicts: 566000 | #Constraints: 26317
766.55/769.14 c #Conflicts: 567000 | #Constraints: 27317
766.55/769.14 c #Conflicts: 568000 | #Constraints: 28317
766.55/769.14 c #Conflicts: 569000 | #Constraints: 29317
766.55/769.14 c #Conflicts: 570000 | #Constraints: 30317
766.55/769.14 c #Conflicts: 571000 | #Constraints: 31317
766.55/769.14 c #Conflicts: 572000 | #Constraints: 32317
766.55/769.14 c #Conflicts: 573000 | #Constraints: 33317
766.55/769.14 c #Conflicts: 574000 | #Constraints: 34317
766.55/769.14 c #Conflicts: 575000 | #Constraints: 35317
766.55/769.14 c #Conflicts: 576000 | #Constraints: 36317
766.55/769.14 c INPROCESSING
766.55/769.14 c GARBAGE COLLECT
766.55/769.14 c #Conflicts: 577000 | #Constraints: 22308
766.55/769.14 c #Conflicts: 578000 | #Constraints: 23308
766.55/769.14 c #Conflicts: 579000 | #Constraints: 24308
766.55/769.14 c #Conflicts: 580000 | #Constraints: 25308
766.55/769.14 c #Conflicts: 581000 | #Constraints: 26308
766.55/769.14 c #Conflicts: 582000 | #Constraints: 27308
766.55/769.14 c #Conflicts: 583000 | #Constraints: 28308
766.55/769.14 c #Conflicts: 584000 | #Constraints: 29308
766.55/769.14 c #Conflicts: 585000 | #Constraints: 30308
766.55/769.14 c #Conflicts: 586000 | #Constraints: 31308
766.55/769.14 c #Conflicts: 587000 | #Constraints: 32308
766.55/769.14 c #Conflicts: 588000 | #Constraints: 33308
1028.15/1031.67 c #Conflicts: 589000 | #Constraints: 34308
1028.15/1031.67 c #Conflicts: 590000 | #Constraints: 35308
1028.15/1031.67 c #Conflicts: 591000 | #Constraints: 36308
1028.15/1031.67 c INPROCESSING
1028.15/1031.67 c GARBAGE COLLECT
1028.15/1031.67 c #Conflicts: 592000 | #Constraints: 22102
1028.15/1031.67 c #Conflicts: 593000 | #Constraints: 23102
1028.15/1031.67 c #Conflicts: 594000 | #Constraints: 24102
1028.15/1031.67 c #Conflicts: 595000 | #Constraints: 25102
1028.15/1031.67 c #Conflicts: 596000 | #Constraints: 26102
1028.15/1031.67 c #Conflicts: 597000 | #Constraints: 27102
1028.15/1031.67 c #Conflicts: 598000 | #Constraints: 28102
1028.15/1031.67 c #Conflicts: 599000 | #Constraints: 29102
1028.15/1031.67 c #Conflicts: 600000 | #Constraints: 30102
1028.15/1031.67 c #Conflicts: 601000 | #Constraints: 31102
1028.15/1031.67 c #Conflicts: 602000 | #Constraints: 32102
1028.15/1031.67 c #Conflicts: 603000 | #Constraints: 33102
1028.15/1031.67 c #Conflicts: 604000 | #Constraints: 34102
1028.15/1031.67 c #Conflicts: 605000 | #Constraints: 35102
1028.15/1031.67 c #Conflicts: 606000 | #Constraints: 36102
1028.15/1031.67 c #Conflicts: 607000 | #Constraints: 37102
1028.15/1031.67 c INPROCESSING
1028.15/1031.67 c GARBAGE COLLECT
1028.15/1031.67 c #Conflicts: 608000 | #Constraints: 22701
1028.15/1031.67 c #Conflicts: 609000 | #Constraints: 23701
1028.15/1031.67 c #Conflicts: 610000 | #Constraints: 24701
1028.15/1031.67 c #Conflicts: 611000 | #Constraints: 25701
1028.15/1031.67 c #Conflicts: 612000 | #Constraints: 26701
1028.15/1031.67 c #Conflicts: 613000 | #Constraints: 27701
1028.15/1031.67 c #Conflicts: 614000 | #Constraints: 28701
1028.15/1031.67 c #Conflicts: 615000 | #Constraints: 29701
1028.15/1031.67 c #Conflicts: 616000 | #Constraints: 30701
1028.15/1031.67 c #Conflicts: 617000 | #Constraints: 31701
1028.15/1031.67 c #Conflicts: 618000 | #Constraints: 32701
1028.15/1031.67 c #Conflicts: 619000 | #Constraints: 33701
1028.15/1031.67 c #Conflicts: 620000 | #Constraints: 34701
1028.15/1031.67 c #Conflicts: 621000 | #Constraints: 35701
1028.15/1031.67 c #Conflicts: 622000 | #Constraints: 36701
1028.15/1031.67 c #Conflicts: 623000 | #Constraints: 37701
1028.15/1031.67 c #Conflicts: 624000 | #Constraints: 38701
1028.15/1031.67 c #Conflicts: 625000 | #Constraints: 39701
1028.15/1031.67 c #Conflicts: 626000 | #Constraints: 40701
1028.15/1031.67 c #Conflicts: 627000 | #Constraints: 41701
1028.15/1031.67 c #Conflicts: 628000 | #Constraints: 42701
1028.15/1031.67 c #Conflicts: 629000 | #Constraints: 43701
1028.15/1031.67 c #Conflicts: 630000 | #Constraints: 44701
1028.15/1031.67 c #Conflicts: 631000 | #Constraints: 45701
1028.15/1031.67 c #Conflicts: 632000 | #Constraints: 46701
1028.15/1031.67 c #Conflicts: 633000 | #Constraints: 47701
1028.15/1031.67 c #Conflicts: 634000 | #Constraints: 48701
1028.15/1031.67 c #Conflicts: 635000 | #Constraints: 49701
1028.15/1031.67 c #Conflicts: 636000 | #Constraints: 50701
1028.15/1031.67 c #Conflicts: 637000 | #Constraints: 51701
1028.15/1031.67 c #Conflicts: 638000 | #Constraints: 52701
1028.15/1031.67 c #Conflicts: 639000 | #Constraints: 53701
1028.15/1031.67 c #Conflicts: 640000 | #Constraints: 54701
1028.15/1031.67 c #Conflicts: 641000 | #Constraints: 55701
1028.15/1031.67 c #Conflicts: 642000 | #Constraints: 56701
1028.15/1031.67 c #Conflicts: 643000 | #Constraints: 57701
1028.15/1031.67 c #Conflicts: 644000 | #Constraints: 58701
1028.15/1031.67 c #Conflicts: 645000 | #Constraints: 59701
1028.15/1031.67 c #Conflicts: 646000 | #Constraints: 60701
1028.15/1031.67 c #Conflicts: 647000 | #Constraints: 61701
1028.15/1031.67 c #Conflicts: 648000 | #Constraints: 62701
1028.15/1031.67 c #Conflicts: 649000 | #Constraints: 63701
1028.15/1031.67 c #Conflicts: 650000 | #Constraints: 64701
1028.15/1031.67 c #Conflicts: 651000 | #Constraints: 65701
1028.15/1031.67 c #Conflicts: 652000 | #Constraints: 66701
1028.15/1031.67 c #Conflicts: 653000 | #Constraints: 67701
1028.15/1031.67 c #Conflicts: 654000 | #Constraints: 68701
1028.15/1031.67 c #Conflicts: 655000 | #Constraints: 69701
1028.15/1031.67 c #Conflicts: 656000 | #Constraints: 70701
1028.15/1031.67 c #Conflicts: 657000 | #Constraints: 71701
1028.15/1031.67 c #Conflicts: 658000 | #Constraints: 72701
1028.15/1031.67 c #Conflicts: 659000 | #Constraints: 73701
1028.15/1031.67 c #Conflicts: 660000 | #Constraints: 74701
1028.15/1031.67 c #Conflicts: 661000 | #Constraints: 75701
1028.15/1031.67 c #Conflicts: 662000 | #Constraints: 76701
1028.15/1031.67 c #Conflicts: 663000 | #Constraints: 77701
1028.15/1031.67 c #Conflicts: 664000 | #Constraints: 78701
1028.15/1031.67 c #Conflicts: 665000 | #Constraints: 79701
1028.15/1031.67 c #Conflicts: 666000 | #Constraints: 80701
1397.10/1401.84 c #Conflicts: 667000 | #Constraints: 81701
1397.10/1401.84 c #Conflicts: 668000 | #Constraints: 82701
1397.10/1401.84 c #Conflicts: 669000 | #Constraints: 83701
1397.10/1401.84 c #Conflicts: 670000 | #Constraints: 84701
1397.10/1401.84 c #Conflicts: 671000 | #Constraints: 85701
1397.10/1401.84 c #Conflicts: 672000 | #Constraints: 86701
1397.10/1401.84 c #Conflicts: 673000 | #Constraints: 87701
1397.10/1401.84 c #Conflicts: 674000 | #Constraints: 88701
1397.10/1401.84 c #Conflicts: 675000 | #Constraints: 89701
1397.10/1401.84 c #Conflicts: 676000 | #Constraints: 90701
1397.10/1401.84 c #Conflicts: 677000 | #Constraints: 91701
1397.10/1401.84 c #Conflicts: 678000 | #Constraints: 92701
1397.10/1401.84 c #Conflicts: 679000 | #Constraints: 93701
1397.10/1401.84 c #Conflicts: 680000 | #Constraints: 94701
1397.10/1401.84 c #Conflicts: 681000 | #Constraints: 95701
1397.10/1401.84 c #Conflicts: 682000 | #Constraints: 96701
1397.10/1401.84 c #Conflicts: 683000 | #Constraints: 97701
1397.10/1401.84 c #Conflicts: 684000 | #Constraints: 98701
1397.10/1401.84 c #Conflicts: 685000 | #Constraints: 99701
1397.10/1401.84 c #Conflicts: 686000 | #Constraints: 100701
1397.10/1401.84 c INPROCESSING
1397.10/1401.84 c GARBAGE COLLECT
1397.10/1401.84 c #Conflicts: 687000 | #Constraints: 54664
1397.10/1401.84 c #Conflicts: 688000 | #Constraints: 55664
1397.10/1401.84 c #Conflicts: 689000 | #Constraints: 56664
1397.10/1401.84 c #Conflicts: 690000 | #Constraints: 57664
1397.10/1401.84 c #Conflicts: 691000 | #Constraints: 58664
1397.10/1401.84 c #Conflicts: 692000 | #Constraints: 59664
1397.10/1401.84 c #Conflicts: 693000 | #Constraints: 60664
1397.10/1401.84 c #Conflicts: 694000 | #Constraints: 61664
1397.10/1401.84 c #Conflicts: 695000 | #Constraints: 62664
1397.10/1401.84 c #Conflicts: 696000 | #Constraints: 63664
1397.10/1401.84 c #Conflicts: 697000 | #Constraints: 64664
1397.10/1401.84 c #Conflicts: 698000 | #Constraints: 65664
1397.10/1401.84 c #Conflicts: 699000 | #Constraints: 66664
1397.10/1401.84 c #Conflicts: 700000 | #Constraints: 67664
1397.10/1401.84 c #Conflicts: 701000 | #Constraints: 68664
1397.10/1401.84 c #Conflicts: 702000 | #Constraints: 69664
1397.10/1401.84 c INPROCESSING
1397.10/1401.84 c GARBAGE COLLECT
1397.10/1401.84 c #Conflicts: 703000 | #Constraints: 38676
1397.10/1401.84 c #Conflicts: 704000 | #Constraints: 39676
1397.10/1401.84 c #Conflicts: 705000 | #Constraints: 40676
1397.10/1401.84 c #Conflicts: 706000 | #Constraints: 41676
1397.10/1401.84 c #Conflicts: 707000 | #Constraints: 42676
1397.10/1401.84 c #Conflicts: 708000 | #Constraints: 43676
1397.10/1401.84 c #Conflicts: 709000 | #Constraints: 44676
1397.10/1401.84 c #Conflicts: 710000 | #Constraints: 45676
1397.10/1401.84 c #Conflicts: 711000 | #Constraints: 46676
1397.10/1401.84 c #Conflicts: 712000 | #Constraints: 47676
1397.10/1401.84 c #Conflicts: 713000 | #Constraints: 48676
1397.10/1401.84 c #Conflicts: 714000 | #Constraints: 49676
1397.10/1401.84 c #Conflicts: 715000 | #Constraints: 50676
1397.10/1401.84 c #Conflicts: 716000 | #Constraints: 51676
1397.10/1401.84 c #Conflicts: 717000 | #Constraints: 52676
1397.10/1401.84 c #Conflicts: 718000 | #Constraints: 53676
1397.10/1401.84 c #Conflicts: 719000 | #Constraints: 54676
1397.10/1401.84 c #Conflicts: 720000 | #Constraints: 55676
1397.10/1401.84 c INPROCESSING
1397.10/1401.84 c GARBAGE COLLECT
1397.10/1401.84 c #Conflicts: 721000 | #Constraints: 32109
1397.10/1401.84 c #Conflicts: 722000 | #Constraints: 33109
1397.10/1401.84 c #Conflicts: 723000 | #Constraints: 34109
1397.10/1401.84 c #Conflicts: 724000 | #Constraints: 35109
1397.10/1401.84 c #Conflicts: 725000 | #Constraints: 36109
1397.10/1401.84 c #Conflicts: 726000 | #Constraints: 37109
1397.10/1401.84 c #Conflicts: 727000 | #Constraints: 38109
1397.10/1401.84 c #Conflicts: 728000 | #Constraints: 39109
1397.10/1401.84 c #Conflicts: 729000 | #Constraints: 40109
1397.10/1401.84 c #Conflicts: 730000 | #Constraints: 41109
1397.10/1401.84 c #Conflicts: 731000 | #Constraints: 42109
1397.10/1401.84 c #Conflicts: 732000 | #Constraints: 43109
1397.10/1401.84 c #Conflicts: 733000 | #Constraints: 44109
1397.10/1401.84 c #Conflicts: 734000 | #Constraints: 45109
1397.10/1401.84 c #Conflicts: 735000 | #Constraints: 46109
1397.10/1401.84 c #Conflicts: 736000 | #Constraints: 47109
1397.10/1401.84 c #Conflicts: 737000 | #Constraints: 48109
1397.10/1401.84 c INPROCESSING
1397.10/1401.84 c GARBAGE COLLECT
1397.10/1401.84 c #Conflicts: 738000 | #Constraints: 28173
1397.10/1401.84 c #Conflicts: 739000 | #Constraints: 29173
1397.10/1401.84 c #Conflicts: 740000 | #Constraints: 30173
1397.10/1401.84 c #Conflicts: 741000 | #Constraints: 31173
1397.10/1401.84 c #Conflicts: 742000 | #Constraints: 32173
1655.44/1661.08 c #Conflicts: 743000 | #Constraints: 33173
1655.44/1661.08 c #Conflicts: 744000 | #Constraints: 34173
1655.44/1661.08 c #Conflicts: 745000 | #Constraints: 35173
1655.44/1661.08 c #Conflicts: 746000 | #Constraints: 36173
1655.44/1661.08 c #Conflicts: 747000 | #Constraints: 37173
1655.44/1661.08 c #Conflicts: 748000 | #Constraints: 38173
1655.44/1661.08 c #Conflicts: 749000 | #Constraints: 39173
1655.44/1661.08 c #Conflicts: 750000 | #Constraints: 40173
1655.44/1661.08 c #Conflicts: 751000 | #Constraints: 41173
1655.44/1661.08 c #Conflicts: 752000 | #Constraints: 42173
1655.44/1661.08 c #Conflicts: 753000 | #Constraints: 43173
1655.44/1661.08 c #Conflicts: 754000 | #Constraints: 44173
1655.44/1661.08 c INPROCESSING
1655.44/1661.08 c GARBAGE COLLECT
1655.44/1661.08 c #Conflicts: 755000 | #Constraints: 25944
1655.44/1661.08 c #Conflicts: 756000 | #Constraints: 26944
1655.44/1661.08 c #Conflicts: 757000 | #Constraints: 27944
1655.44/1661.08 c #Conflicts: 758000 | #Constraints: 28944
1655.44/1661.08 c #Conflicts: 759000 | #Constraints: 29944
1655.44/1661.08 c #Conflicts: 760000 | #Constraints: 30944
1655.44/1661.08 c #Conflicts: 761000 | #Constraints: 31944
1655.44/1661.08 c #Conflicts: 762000 | #Constraints: 32944
1655.44/1661.08 c #Conflicts: 763000 | #Constraints: 33944
1655.44/1661.08 c #Conflicts: 764000 | #Constraints: 34944
1655.44/1661.08 c #Conflicts: 765000 | #Constraints: 35944
1655.44/1661.08 c #Conflicts: 766000 | #Constraints: 36944
1655.44/1661.08 c #Conflicts: 767000 | #Constraints: 37944
1655.44/1661.08 c #Conflicts: 768000 | #Constraints: 38944
1655.44/1661.08 c #Conflicts: 769000 | #Constraints: 39944
1655.44/1661.08 c #Conflicts: 770000 | #Constraints: 40944
1655.44/1661.08 c #Conflicts: 771000 | #Constraints: 41944
1655.44/1661.08 c #Conflicts: 772000 | #Constraints: 42944
1655.44/1661.08 c INPROCESSING
1655.44/1661.08 c GARBAGE COLLECT
1655.44/1661.08 c #Conflicts: 773000 | #Constraints: 25479
1655.44/1661.08 c #Conflicts: 774000 | #Constraints: 26479
1655.44/1661.08 c #Conflicts: 775000 | #Constraints: 27479
1655.44/1661.08 c #Conflicts: 776000 | #Constraints: 28479
1655.44/1661.08 c #Conflicts: 777000 | #Constraints: 29479
1655.44/1661.08 c #Conflicts: 778000 | #Constraints: 30479
1655.44/1661.08 c #Conflicts: 779000 | #Constraints: 31479
1655.44/1661.08 c #Conflicts: 780000 | #Constraints: 32479
1655.44/1661.08 c #Conflicts: 781000 | #Constraints: 33479
1655.44/1661.08 c #Conflicts: 782000 | #Constraints: 34479
1655.44/1661.08 c #Conflicts: 783000 | #Constraints: 35479
1655.44/1661.08 c #Conflicts: 784000 | #Constraints: 36479
1655.44/1661.08 c #Conflicts: 785000 | #Constraints: 37479
1655.44/1661.08 c #Conflicts: 786000 | #Constraints: 38479
1655.44/1661.08 c #Conflicts: 787000 | #Constraints: 39479
1655.44/1661.08 c #Conflicts: 788000 | #Constraints: 40479
1655.44/1661.08 c #Conflicts: 789000 | #Constraints: 41479
1655.44/1661.08 c #Conflicts: 790000 | #Constraints: 42479
1655.44/1661.08 c #Conflicts: 791000 | #Constraints: 43479
1655.44/1661.08 c #Conflicts: 792000 | #Constraints: 44479
1655.44/1661.08 c #Conflicts: 793000 | #Constraints: 45479
1655.44/1661.08 c #Conflicts: 794000 | #Constraints: 46479
1655.44/1661.08 c #Conflicts: 795000 | #Constraints: 47479
1655.44/1661.08 c #Conflicts: 796000 | #Constraints: 48479
1655.44/1661.08 c #Conflicts: 797000 | #Constraints: 49479
1655.44/1661.08 c #Conflicts: 798000 | #Constraints: 50479
1655.44/1661.08 c #Conflicts: 799000 | #Constraints: 51479
1655.44/1661.08 c #Conflicts: 800000 | #Constraints: 52479
1655.44/1661.08 c #Conflicts: 801000 | #Constraints: 53479
1655.44/1661.08 c #Conflicts: 802000 | #Constraints: 54479
1655.44/1661.08 c #Conflicts: 803000 | #Constraints: 55479
1655.44/1661.08 c #Conflicts: 804000 | #Constraints: 56479
1655.44/1661.08 c #Conflicts: 805000 | #Constraints: 57479
1655.44/1661.08 c #Conflicts: 806000 | #Constraints: 58479
1655.44/1661.08 c #Conflicts: 807000 | #Constraints: 59479
1655.44/1661.08 c #Conflicts: 808000 | #Constraints: 60479
1655.44/1661.08 c #Conflicts: 809000 | #Constraints: 61479
1655.44/1661.08 c #Conflicts: 810000 | #Constraints: 62479
1655.44/1661.08 c #Conflicts: 811000 | #Constraints: 63479
1655.44/1661.08 c #Conflicts: 812000 | #Constraints: 64479
1655.44/1661.08 c #Conflicts: 813000 | #Constraints: 65479
1655.44/1661.08 c #Conflicts: 814000 | #Constraints: 66479
1655.44/1661.08 c #Conflicts: 815000 | #Constraints: 67479
1655.44/1661.08 c #Conflicts: 816000 | #Constraints: 68479
1655.44/1661.08 c #Conflicts: 817000 | #Constraints: 69479
1655.44/1661.08 c #Conflicts: 818000 | #Constraints: 70479
1655.44/1661.08 c #Conflicts: 819000 | #Constraints: 71479
1655.44/1661.08 c #Conflicts: 820000 | #Constraints: 72479
2155.94/2163.23 c #Conflicts: 821000 | #Constraints: 73479
2155.94/2163.23 c #Conflicts: 822000 | #Constraints: 74479
2155.94/2163.23 c #Conflicts: 823000 | #Constraints: 75479
2155.94/2163.23 c #Conflicts: 824000 | #Constraints: 76479
2155.94/2163.23 c #Conflicts: 825000 | #Constraints: 77479
2155.94/2163.23 c #Conflicts: 826000 | #Constraints: 78479
2155.94/2163.23 c #Conflicts: 827000 | #Constraints: 79479
2155.94/2163.23 c #Conflicts: 828000 | #Constraints: 80479
2155.94/2163.23 c #Conflicts: 829000 | #Constraints: 81479
2155.94/2163.23 c #Conflicts: 830000 | #Constraints: 82479
2155.94/2163.23 c #Conflicts: 831000 | #Constraints: 83479
2155.94/2163.23 c #Conflicts: 832000 | #Constraints: 84479
2155.94/2163.23 c #Conflicts: 833000 | #Constraints: 85479
2155.94/2163.23 c #Conflicts: 834000 | #Constraints: 86479
2155.94/2163.23 c #Conflicts: 835000 | #Constraints: 87479
2155.94/2163.23 c #Conflicts: 836000 | #Constraints: 88479
2155.94/2163.23 c #Conflicts: 837000 | #Constraints: 89479
2155.94/2163.23 c #Conflicts: 838000 | #Constraints: 90479
2155.94/2163.23 c #Conflicts: 839000 | #Constraints: 91479
2155.94/2163.23 c #Conflicts: 840000 | #Constraints: 92479
2155.94/2163.23 c #Conflicts: 841000 | #Constraints: 93479
2155.94/2163.23 c #Conflicts: 842000 | #Constraints: 94479
2155.94/2163.23 c #Conflicts: 843000 | #Constraints: 95479
2155.94/2163.23 c #Conflicts: 844000 | #Constraints: 96479
2155.94/2163.23 c #Conflicts: 845000 | #Constraints: 97479
2155.94/2163.23 c #Conflicts: 846000 | #Constraints: 98479
2155.94/2163.23 c #Conflicts: 847000 | #Constraints: 99479
2155.94/2163.23 c #Conflicts: 848000 | #Constraints: 100479
2155.94/2163.23 c #Conflicts: 849000 | #Constraints: 101479
2155.94/2163.23 c #Conflicts: 850000 | #Constraints: 102479
2155.94/2163.23 c #Conflicts: 851000 | #Constraints: 103479
2155.94/2163.23 c #Conflicts: 852000 | #Constraints: 104479
2155.94/2163.23 c #Conflicts: 853000 | #Constraints: 105479
2155.94/2163.23 c #Conflicts: 854000 | #Constraints: 106479
2155.94/2163.23 c #Conflicts: 855000 | #Constraints: 107479
2155.94/2163.23 c #Conflicts: 856000 | #Constraints: 108479
2155.94/2163.23 c #Conflicts: 857000 | #Constraints: 109479
2155.94/2163.23 c #Conflicts: 858000 | #Constraints: 110479
2155.94/2163.23 c INPROCESSING
2155.94/2163.23 c GARBAGE COLLECT
2155.94/2163.23 c #Conflicts: 859000 | #Constraints: 59139
2155.94/2163.23 c #Conflicts: 860000 | #Constraints: 60139
2155.94/2163.23 c #Conflicts: 861000 | #Constraints: 61139
2155.94/2163.23 c #Conflicts: 862000 | #Constraints: 62139
2155.94/2163.23 c #Conflicts: 863000 | #Constraints: 63139
2155.94/2163.23 c #Conflicts: 864000 | #Constraints: 64139
2155.94/2163.23 c #Conflicts: 865000 | #Constraints: 65139
2155.94/2163.23 c #Conflicts: 866000 | #Constraints: 66139
2155.94/2163.23 c #Conflicts: 867000 | #Constraints: 67139
2155.94/2163.23 c #Conflicts: 868000 | #Constraints: 68139
2155.94/2163.23 c #Conflicts: 869000 | #Constraints: 69139
2155.94/2163.23 c #Conflicts: 870000 | #Constraints: 70139
2155.94/2163.23 c #Conflicts: 871000 | #Constraints: 71139
2155.94/2163.23 c #Conflicts: 872000 | #Constraints: 72139
2155.94/2163.23 c #Conflicts: 873000 | #Constraints: 73139
2155.94/2163.23 c #Conflicts: 874000 | #Constraints: 74139
2155.94/2163.23 c #Conflicts: 875000 | #Constraints: 75139
2155.94/2163.23 c #Conflicts: 876000 | #Constraints: 76139
2155.94/2163.23 c #Conflicts: 877000 | #Constraints: 77139
2155.94/2163.23 c INPROCESSING
2155.94/2163.23 c GARBAGE COLLECT
2155.94/2163.23 c #Conflicts: 878000 | #Constraints: 42487
2155.94/2163.23 c #Conflicts: 879000 | #Constraints: 43487
2155.94/2163.23 c #Conflicts: 880000 | #Constraints: 44487
2155.94/2163.23 c #Conflicts: 881000 | #Constraints: 45487
2155.94/2163.23 c #Conflicts: 882000 | #Constraints: 46487
2155.94/2163.23 c #Conflicts: 883000 | #Constraints: 47487
2155.94/2163.23 c #Conflicts: 884000 | #Constraints: 48487
2155.94/2163.23 c #Conflicts: 885000 | #Constraints: 49487
2155.94/2163.23 c #Conflicts: 886000 | #Constraints: 50487
2155.94/2163.23 c #Conflicts: 887000 | #Constraints: 51487
2155.94/2163.23 c #Conflicts: 888000 | #Constraints: 52487
2155.94/2163.23 c #Conflicts: 889000 | #Constraints: 53487
2155.94/2163.23 c #Conflicts: 890000 | #Constraints: 54487
2155.94/2163.23 c #Conflicts: 891000 | #Constraints: 55487
2155.94/2163.23 c #Conflicts: 892000 | #Constraints: 56487
2155.94/2163.23 c #Conflicts: 893000 | #Constraints: 57487
2155.94/2163.23 c #Conflicts: 894000 | #Constraints: 58487
2155.94/2163.23 c #Conflicts: 895000 | #Constraints: 59487
2155.94/2163.23 c #Conflicts: 896000 | #Constraints: 60487
2155.94/2163.23 c #Conflicts: 897000 | #Constraints: 61487
2442.28/2450.58 c INPROCESSING
2442.28/2450.58 c GARBAGE COLLECT
2442.28/2450.58 c #Conflicts: 898000 | #Constraints: 35023
2442.28/2450.58 c #Conflicts: 899000 | #Constraints: 36023
2442.28/2450.58 c #Conflicts: 900000 | #Constraints: 37023
2442.28/2450.58 c #Conflicts: 901000 | #Constraints: 38023
2442.28/2450.58 c #Conflicts: 902000 | #Constraints: 39023
2442.28/2450.58 c #Conflicts: 903000 | #Constraints: 40023
2442.28/2450.58 c #Conflicts: 904000 | #Constraints: 41023
2442.28/2450.58 c #Conflicts: 905000 | #Constraints: 42023
2442.28/2450.58 c #Conflicts: 906000 | #Constraints: 43023
2442.28/2450.58 c #Conflicts: 907000 | #Constraints: 44023
2442.28/2450.58 c #Conflicts: 908000 | #Constraints: 45023
2442.28/2450.58 c #Conflicts: 909000 | #Constraints: 46023
2442.28/2450.58 c #Conflicts: 910000 | #Constraints: 47023
2442.28/2450.58 c #Conflicts: 911000 | #Constraints: 48023
2442.28/2450.58 c #Conflicts: 912000 | #Constraints: 49023
2442.28/2450.58 c #Conflicts: 913000 | #Constraints: 50023
2442.28/2450.58 c #Conflicts: 914000 | #Constraints: 51023
2442.28/2450.58 c #Conflicts: 915000 | #Constraints: 52023
2442.28/2450.58 c #Conflicts: 916000 | #Constraints: 53023
2442.28/2450.58 c INPROCESSING
2442.28/2450.58 c GARBAGE COLLECT
2442.28/2450.58 c #Conflicts: 917000 | #Constraints: 30593
2442.28/2450.58 c #Conflicts: 918000 | #Constraints: 31593
2442.28/2450.58 c #Conflicts: 919000 | #Constraints: 32593
2442.28/2450.58 c #Conflicts: 920000 | #Constraints: 33593
2442.28/2450.58 c #Conflicts: 921000 | #Constraints: 34593
2442.28/2450.58 c #Conflicts: 922000 | #Constraints: 35593
2442.28/2450.58 c #Conflicts: 923000 | #Constraints: 36593
2442.28/2450.58 c #Conflicts: 924000 | #Constraints: 37593
2442.28/2450.58 c #Conflicts: 925000 | #Constraints: 38593
2442.28/2450.58 c #Conflicts: 926000 | #Constraints: 39593
2442.28/2450.58 c #Conflicts: 927000 | #Constraints: 40593
2442.28/2450.58 c #Conflicts: 928000 | #Constraints: 41593
2442.28/2450.58 c #Conflicts: 929000 | #Constraints: 42593
2442.28/2450.58 c #Conflicts: 930000 | #Constraints: 43593
2442.28/2450.58 c #Conflicts: 931000 | #Constraints: 44593
2442.28/2450.58 c #Conflicts: 932000 | #Constraints: 45593
2442.28/2450.58 c #Conflicts: 933000 | #Constraints: 46593
2442.28/2450.58 c #Conflicts: 934000 | #Constraints: 47593
2442.28/2450.58 c #Conflicts: 935000 | #Constraints: 48593
2442.28/2450.58 c #Conflicts: 936000 | #Constraints: 49593
2442.28/2450.58 c INPROCESSING
2442.28/2450.58 c GARBAGE COLLECT
2442.28/2450.58 c #Conflicts: 937000 | #Constraints: 29074
2442.28/2450.58 c #Conflicts: 938000 | #Constraints: 30074
2442.28/2450.58 c #Conflicts: 939000 | #Constraints: 31074
2442.28/2450.58 c #Conflicts: 940000 | #Constraints: 32074
2442.28/2450.58 c #Conflicts: 941000 | #Constraints: 33074
2442.28/2450.58 c #Conflicts: 942000 | #Constraints: 34074
2442.28/2450.58 c #Conflicts: 943000 | #Constraints: 35074
2442.28/2450.58 c #Conflicts: 944000 | #Constraints: 36074
2442.28/2450.58 c #Conflicts: 945000 | #Constraints: 37074
2442.28/2450.58 c #Conflicts: 946000 | #Constraints: 38074
2442.28/2450.58 c #Conflicts: 947000 | #Constraints: 39074
2442.28/2450.58 c #Conflicts: 948000 | #Constraints: 40074
2442.28/2450.58 c #Conflicts: 949000 | #Constraints: 41074
2442.28/2450.58 c #Conflicts: 950000 | #Constraints: 42074
2442.28/2450.58 c #Conflicts: 951000 | #Constraints: 43074
2442.28/2450.58 c #Conflicts: 952000 | #Constraints: 44074
2442.28/2450.58 c #Conflicts: 953000 | #Constraints: 45074
2442.28/2450.58 c #Conflicts: 954000 | #Constraints: 46074
2442.28/2450.58 c #Conflicts: 955000 | #Constraints: 47074
2442.28/2450.58 c #Conflicts: 956000 | #Constraints: 48074
2442.28/2450.58 c #Conflicts: 957000 | #Constraints: 49074
2442.28/2450.58 c #Conflicts: 958000 | #Constraints: 50074
2442.28/2450.58 c #Conflicts: 959000 | #Constraints: 51074
2442.28/2450.58 c #Conflicts: 960000 | #Constraints: 52074
2442.28/2450.58 c #Conflicts: 961000 | #Constraints: 53074
2442.28/2450.58 c #Conflicts: 962000 | #Constraints: 54074
2442.28/2450.58 c #Conflicts: 963000 | #Constraints: 55074
2442.28/2450.58 c #Conflicts: 964000 | #Constraints: 56074
2442.28/2450.58 c #Conflicts: 965000 | #Constraints: 57074
2442.28/2450.58 c #Conflicts: 966000 | #Constraints: 58074
2442.28/2450.58 c #Conflicts: 967000 | #Constraints: 59074
2442.28/2450.58 c #Conflicts: 968000 | #Constraints: 60074
2442.28/2450.58 c #Conflicts: 969000 | #Constraints: 61074
2442.28/2450.58 c #Conflicts: 970000 | #Constraints: 62074
2442.28/2450.58 c #Conflicts: 971000 | #Constraints: 63074
2442.28/2450.58 c #Conflicts: 972000 | #Constraints: 64074
2442.28/2450.58 c #Conflicts: 973000 | #Constraints: 65074
2442.28/2450.58 c #Conflicts: 974000 | #Constraints: 66074
3041.85/3052.06 c #Conflicts: 975000 | #Constraints: 67074
3041.85/3052.06 c #Conflicts: 976000 | #Constraints: 68074
3041.85/3052.06 c #Conflicts: 977000 | #Constraints: 69074
3041.85/3052.06 c #Conflicts: 978000 | #Constraints: 70074
3041.85/3052.06 c #Conflicts: 979000 | #Constraints: 71074
3041.85/3052.06 c #Conflicts: 980000 | #Constraints: 72074
3041.85/3052.06 c #Conflicts: 981000 | #Constraints: 73074
3041.85/3052.06 c #Conflicts: 982000 | #Constraints: 74074
3041.85/3052.06 c #Conflicts: 983000 | #Constraints: 75074
3041.85/3052.06 c #Conflicts: 984000 | #Constraints: 76074
3041.85/3052.06 c #Conflicts: 985000 | #Constraints: 77074
3041.85/3052.06 c #Conflicts: 986000 | #Constraints: 78074
3041.85/3052.06 c #Conflicts: 987000 | #Constraints: 79074
3041.85/3052.06 c #Conflicts: 988000 | #Constraints: 80074
3041.85/3052.06 c #Conflicts: 989000 | #Constraints: 81074
3041.85/3052.06 c #Conflicts: 990000 | #Constraints: 82074
3041.85/3052.06 c #Conflicts: 991000 | #Constraints: 83074
3041.85/3052.06 c #Conflicts: 992000 | #Constraints: 84074
3041.85/3052.06 c #Conflicts: 993000 | #Constraints: 85074
3041.85/3052.06 c #Conflicts: 994000 | #Constraints: 86074
3041.85/3052.06 c #Conflicts: 995000 | #Constraints: 87074
3041.85/3052.06 c #Conflicts: 996000 | #Constraints: 88074
3041.85/3052.06 c #Conflicts: 997000 | #Constraints: 89074
3041.85/3052.06 c #Conflicts: 998000 | #Constraints: 90074
3041.85/3052.06 c #Conflicts: 999000 | #Constraints: 91074
3041.85/3052.06 c #Conflicts: 1000000 | #Constraints: 92074
3041.85/3052.06 c #Conflicts: 1001000 | #Constraints: 93074
3041.85/3052.06 c #Conflicts: 1002000 | #Constraints: 94074
3041.85/3052.06 c #Conflicts: 1003000 | #Constraints: 95074
3041.85/3052.06 c #Conflicts: 1004000 | #Constraints: 96074
3041.85/3052.06 c #Conflicts: 1005000 | #Constraints: 97074
3041.85/3052.06 c #Conflicts: 1006000 | #Constraints: 98074
3041.85/3052.06 c #Conflicts: 1007000 | #Constraints: 99074
3041.85/3052.06 c #Conflicts: 1008000 | #Constraints: 100074
3041.85/3052.06 c #Conflicts: 1009000 | #Constraints: 101074
3041.85/3052.06 c #Conflicts: 1010000 | #Constraints: 102074
3041.85/3052.06 c #Conflicts: 1011000 | #Constraints: 103074
3041.85/3052.06 c #Conflicts: 1012000 | #Constraints: 104074
3041.85/3052.06 c #Conflicts: 1013000 | #Constraints: 105074
3041.85/3052.06 c #Conflicts: 1014000 | #Constraints: 106074
3041.85/3052.06 c #Conflicts: 1015000 | #Constraints: 107074
3041.85/3052.06 c #Conflicts: 1016000 | #Constraints: 108074
3041.85/3052.06 c #Conflicts: 1017000 | #Constraints: 109074
3041.85/3052.06 c #Conflicts: 1018000 | #Constraints: 110074
3041.85/3052.06 c #Conflicts: 1019000 | #Constraints: 111074
3041.85/3052.06 c #Conflicts: 1020000 | #Constraints: 112074
3041.85/3052.06 c #Conflicts: 1021000 | #Constraints: 113074
3041.85/3052.06 c #Conflicts: 1022000 | #Constraints: 114074
3041.85/3052.06 c #Conflicts: 1023000 | #Constraints: 115074
3041.85/3052.06 c #Conflicts: 1024000 | #Constraints: 116074
3041.85/3052.06 c #Conflicts: 1025000 | #Constraints: 117074
3041.85/3052.06 c #Conflicts: 1026000 | #Constraints: 118074
3041.85/3052.06 c #Conflicts: 1027000 | #Constraints: 119074
3041.85/3052.06 c #Conflicts: 1028000 | #Constraints: 120074
3041.85/3052.06 c INPROCESSING
3041.85/3052.06 c GARBAGE COLLECT
3041.85/3052.06 c #Conflicts: 1029000 | #Constraints: 64020
3041.85/3052.06 c #Conflicts: 1030000 | #Constraints: 65020
3041.85/3052.06 c #Conflicts: 1031000 | #Constraints: 66020
3041.85/3052.06 c #Conflicts: 1032000 | #Constraints: 67020
3041.85/3052.06 c #Conflicts: 1033000 | #Constraints: 68020
3041.85/3052.06 c #Conflicts: 1034000 | #Constraints: 69020
3041.85/3052.06 c #Conflicts: 1035000 | #Constraints: 70020
3041.85/3052.06 c #Conflicts: 1036000 | #Constraints: 71020
3041.85/3052.06 c #Conflicts: 1037000 | #Constraints: 72020
3041.85/3052.06 c #Conflicts: 1038000 | #Constraints: 73020
3041.85/3052.06 c #Conflicts: 1039000 | #Constraints: 74020
3041.85/3052.06 c #Conflicts: 1040000 | #Constraints: 75020
3041.85/3052.06 c #Conflicts: 1041000 | #Constraints: 76020
3041.85/3052.06 c #Conflicts: 1042000 | #Constraints: 77020
3041.85/3052.06 c #Conflicts: 1043000 | #Constraints: 78020
3041.85/3052.06 c #Conflicts: 1044000 | #Constraints: 79020
3041.85/3052.06 c #Conflicts: 1045000 | #Constraints: 80020
3041.85/3052.06 c #Conflicts: 1046000 | #Constraints: 81020
3041.85/3052.06 c #Conflicts: 1047000 | #Constraints: 82020
3041.85/3052.06 c #Conflicts: 1048000 | #Constraints: 83020
3041.85/3052.06 c #Conflicts: 1049000 | #Constraints: 84020
3041.85/3052.06 c INPROCESSING
3041.85/3052.06 c GARBAGE COLLECT
3041.85/3052.06 c #Conflicts: 1050000 | #Constraints: 46001
3041.85/3052.06 c #Conflicts: 1051000 | #Constraints: 47001
3041.85/3052.06 c #Conflicts: 1052000 | #Constraints: 48001
3367.38/3378.62 c #Conflicts: 1053000 | #Constraints: 49001
3367.38/3378.62 c #Conflicts: 1054000 | #Constraints: 50001
3367.38/3378.62 c #Conflicts: 1055000 | #Constraints: 51001
3367.38/3378.62 c #Conflicts: 1056000 | #Constraints: 52001
3367.38/3378.62 c #Conflicts: 1057000 | #Constraints: 53001
3367.38/3378.62 c #Conflicts: 1058000 | #Constraints: 54001
3367.38/3378.62 c #Conflicts: 1059000 | #Constraints: 55001
3367.38/3378.62 c #Conflicts: 1060000 | #Constraints: 56001
3367.38/3378.62 c #Conflicts: 1061000 | #Constraints: 57001
3367.38/3378.62 c #Conflicts: 1062000 | #Constraints: 58001
3367.38/3378.62 c #Conflicts: 1063000 | #Constraints: 59001
3367.38/3378.62 c #Conflicts: 1064000 | #Constraints: 60001
3367.38/3378.62 c #Conflicts: 1065000 | #Constraints: 61001
3367.38/3378.62 c #Conflicts: 1066000 | #Constraints: 62001
3367.38/3378.62 c #Conflicts: 1067000 | #Constraints: 63001
3367.38/3378.62 c #Conflicts: 1068000 | #Constraints: 64001
3367.38/3378.62 c #Conflicts: 1069000 | #Constraints: 65001
3367.38/3378.62 c #Conflicts: 1070000 | #Constraints: 66001
3367.38/3378.62 c INPROCESSING
3367.38/3378.62 c GARBAGE COLLECT
3367.38/3378.62 c #Conflicts: 1071000 | #Constraints: 36919
3367.38/3378.62 c #Conflicts: 1072000 | #Constraints: 37919
3367.38/3378.62 c #Conflicts: 1073000 | #Constraints: 38919
3367.38/3378.62 c #Conflicts: 1074000 | #Constraints: 39919
3367.38/3378.62 c #Conflicts: 1075000 | #Constraints: 40919
3367.38/3378.62 c #Conflicts: 1076000 | #Constraints: 41919
3367.38/3378.62 c #Conflicts: 1077000 | #Constraints: 42919
3367.38/3378.62 c #Conflicts: 1078000 | #Constraints: 43919
3367.38/3378.62 c #Conflicts: 1079000 | #Constraints: 44919
3367.38/3378.62 c #Conflicts: 1080000 | #Constraints: 45919
3367.38/3378.62 c #Conflicts: 1081000 | #Constraints: 46919
3367.38/3378.62 c #Conflicts: 1082000 | #Constraints: 47919
3367.38/3378.62 c #Conflicts: 1083000 | #Constraints: 48919
3367.38/3378.62 c #Conflicts: 1084000 | #Constraints: 49919
3367.38/3378.62 c #Conflicts: 1085000 | #Constraints: 50919
3367.38/3378.62 c #Conflicts: 1086000 | #Constraints: 51919
3367.38/3378.62 c #Conflicts: 1087000 | #Constraints: 52919
3367.38/3378.62 c #Conflicts: 1088000 | #Constraints: 53919
3367.38/3378.62 c #Conflicts: 1089000 | #Constraints: 54919
3367.38/3378.62 c #Conflicts: 1090000 | #Constraints: 55919
3367.38/3378.62 c #Conflicts: 1091000 | #Constraints: 56919
3367.38/3378.62 c #Conflicts: 1092000 | #Constraints: 57919
3367.38/3378.62 c INPROCESSING
3367.38/3378.62 c GARBAGE COLLECT
3367.38/3378.62 c #Conflicts: 1093000 | #Constraints: 33236
3367.38/3378.62 c #Conflicts: 1094000 | #Constraints: 34236
3367.38/3378.62 c #Conflicts: 1095000 | #Constraints: 35236
3367.38/3378.62 c #Conflicts: 1096000 | #Constraints: 36236
3367.38/3378.62 c #Conflicts: 1097000 | #Constraints: 37236
3367.38/3378.62 c #Conflicts: 1098000 | #Constraints: 38236
3367.38/3378.62 c #Conflicts: 1099000 | #Constraints: 39236
3367.38/3378.62 c #Conflicts: 1100000 | #Constraints: 40236
3367.38/3378.62 c #Conflicts: 1101000 | #Constraints: 41236
3367.38/3378.62 c #Conflicts: 1102000 | #Constraints: 42236
3367.38/3378.62 c #Conflicts: 1103000 | #Constraints: 43236
3367.38/3378.62 c #Conflicts: 1104000 | #Constraints: 44236
3367.38/3378.62 c #Conflicts: 1105000 | #Constraints: 45236
3367.38/3378.62 c #Conflicts: 1106000 | #Constraints: 46236
3367.38/3378.62 c #Conflicts: 1107000 | #Constraints: 47236
3367.38/3378.62 c #Conflicts: 1108000 | #Constraints: 48236
3367.38/3378.62 c #Conflicts: 1109000 | #Constraints: 49236
3367.38/3378.62 c #Conflicts: 1110000 | #Constraints: 50236
3367.38/3378.62 c #Conflicts: 1111000 | #Constraints: 51236
3367.38/3378.62 c #Conflicts: 1112000 | #Constraints: 52236
3367.38/3378.62 c #Conflicts: 1113000 | #Constraints: 53236
3367.38/3378.62 c INPROCESSING
3367.38/3378.62 c GARBAGE COLLECT
3367.38/3378.62 c #Conflicts: 1114000 | #Constraints: 30625
3367.38/3378.62 c #Conflicts: 1115000 | #Constraints: 31625
3367.38/3378.62 c #Conflicts: 1116000 | #Constraints: 32625
3367.38/3378.62 c #Conflicts: 1117000 | #Constraints: 33625
3367.38/3378.62 c #Conflicts: 1118000 | #Constraints: 34625
3367.38/3378.62 c #Conflicts: 1119000 | #Constraints: 35625
3367.38/3378.62 c #Conflicts: 1120000 | #Constraints: 36625
3367.38/3378.62 c #Conflicts: 1121000 | #Constraints: 37625
3367.38/3378.62 c #Conflicts: 1122000 | #Constraints: 38625
3367.38/3378.62 c #Conflicts: 1123000 | #Constraints: 39625
3367.38/3378.62 c #Conflicts: 1124000 | #Constraints: 40625
3367.38/3378.62 c #Conflicts: 1125000 | #Constraints: 41625
3367.38/3378.62 c #Conflicts: 1126000 | #Constraints: 42625
3367.38/3378.62 c #Conflicts: 1127000 | #Constraints: 43625
3367.38/3378.62 c #Conflicts: 1128000 | #Constraints: 44625
3600.01/3612.01 c #Conflicts: 1129000 | #Constraints: 45625
3600.01/3612.01 c #Conflicts: 1130000 | #Constraints: 46625
3600.01/3612.01 c #Conflicts: 1131000 | #Constraints: 47625
3600.01/3612.01 c #Conflicts: 1132000 | #Constraints: 48625
3600.01/3612.01 c #Conflicts: 1133000 | #Constraints: 49625
3600.01/3612.01 c #Conflicts: 1134000 | #Constraints: 50625
3600.01/3612.01 c #Conflicts: 1135000 | #Constraints: 51625
3600.01/3612.01 c #Conflicts: 1136000 | #Constraints: 52625
3600.01/3612.01 c #Conflicts: 1137000 | #Constraints: 53625
3600.01/3612.01 c #Conflicts: 1138000 | #Constraints: 54625
3600.01/3612.01 c #Conflicts: 1139000 | #Constraints: 55625
3600.01/3612.01 c #Conflicts: 1140000 | #Constraints: 56625
3600.01/3612.01 c #Conflicts: 1141000 | #Constraints: 57625
3600.01/3612.01 c #Conflicts: 1142000 | #Constraints: 58625
3600.01/3612.01 c #Conflicts: 1143000 | #Constraints: 59625
3600.01/3612.01 c #Conflicts: 1144000 | #Constraints: 60625
3600.01/3612.01 c #Conflicts: 1145000 | #Constraints: 61625
3600.01/3612.01 c #Conflicts: 1146000 | #Constraints: 62625
3600.01/3612.01 c #Conflicts: 1147000 | #Constraints: 63625
3600.01/3612.01 c #Conflicts: 1148000 | #Constraints: 64625
3600.01/3612.01 c #Conflicts: 1149000 | #Constraints: 65625
3600.01/3612.01 c #Conflicts: 1150000 | #Constraints: 66625
3600.01/3612.01 c #Conflicts: 1151000 | #Constraints: 67625
3600.01/3612.01 c #Conflicts: 1152000 | #Constraints: 68625
3600.01/3612.01 c #Conflicts: 1153000 | #Constraints: 69625
3600.01/3612.01 c #Conflicts: 1154000 | #Constraints: 70625
3600.01/3612.01 c #Conflicts: 1155000 | #Constraints: 71625
3600.01/3612.01 c #Conflicts: 1156000 | #Constraints: 72625
3600.01/3612.01 c #Conflicts: 1157000 | #Constraints: 73625
3600.01/3612.01 c #Conflicts: 1158000 | #Constraints: 74625
3600.01/3612.01 c #Conflicts: 1159000 | #Constraints: 75625
3600.01/3612.01 c #Conflicts: 1160000 | #Constraints: 76625
3600.01/3612.01 c #Conflicts: 1161000 | #Constraints: 77625
3600.01/3612.01 c #Conflicts: 1162000 | #Constraints: 78625
3600.01/3612.01 c #Conflicts: 1163000 | #Constraints: 79625
3600.01/3612.01 c #Conflicts: 1164000 | #Constraints: 80625
3600.01/3612.01 c #Conflicts: 1165000 | #Constraints: 81625
3600.01/3612.01 c #Conflicts: 1166000 | #Constraints: 82625
3600.01/3612.01 c #Conflicts: 1167000 | #Constraints: 83625
3600.01/3612.01 c #Conflicts: 1168000 | #Constraints: 84625
3600.01/3612.01 c #Conflicts: 1169000 | #Constraints: 85625
3600.01/3612.01 c #Conflicts: 1170000 | #Constraints: 86625
3600.01/3612.01 c #Conflicts: 1171000 | #Constraints: 87625
3600.01/3612.01 c Program interrupted by user.
3600.01/3612.01 c cpu time 3585.79 s
3600.01/3612.01 c deterministic time 348802082246 3.49e+11
3600.01/3612.01 c optimization time 274.13 s
3600.01/3612.01 c total solve time 3311.43 s
3600.01/3612.01 c core-guided solve time 3311.43 s
3600.01/3612.01 c propagation time 3445.32 s
3600.01/3612.01 c conflict analysis time 119.096 s
3600.01/3612.01 c propagations 640752056
3600.01/3612.01 c resolve steps 4503056
3600.01/3612.01 c decisions 7117693
3600.01/3612.01 c conflicts 1171454
3600.01/3612.01 c restarts 2173
3600.01/3612.01 c inprocessing phases 85
3600.01/3612.01 c input clauses 1
3600.01/3612.01 c input cardinalities 0
3600.01/3612.01 c input general constraints 6383
3600.01/3612.01 c input average constraint length 29.25
3600.01/3612.01 c input average constraint degree 444.55
3600.01/3612.01 c learned clauses 358286
3600.01/3612.01 c learned cardinalities 1
3600.01/3612.01 c learned general constraints 813166
3600.01/3612.01 c learned average constraint length 40.97
3600.01/3612.01 c learned average constraint degree 602863.85
3600.01/3612.01 c watched constraints 817763
3600.01/3612.01 c counting constraints 1786
3600.01/3612.01 c gcd simplifications 11712
3600.01/3612.01 c detected cardinalities 1
3600.01/3612.01 c weakened non-implied lits 4618989
3600.01/3612.01 c weakened non-implying lits 1337
3600.01/3612.01 c original variables 3296
3600.01/3612.01 c clausal propagations 544054
3600.01/3612.01 c cardinality propagations 0
3600.01/3612.01 c watched propagations 622341917
3600.01/3612.01 c counting propagations 17214775
3600.01/3612.01 c watch lookups 68058366224
3600.01/3612.01 c watch backjump lookups 65070310218
3600.01/3612.01 c watch checks 123635440572
3600.01/3612.01 c propagation checks 90577068066
3600.01/3612.01 c constraint additions 163987833
3600.01/3612.01 c trail pops 649039583
3600.01/3612.01 c formula constraints 6384
3600.01/3612.01 c learned constraints 1171453
3600.01/3612.01 c bound constraints 0
3600.01/3612.01 c core-guided constraints 0
3600.01/3612.01 c encountered formula constraints 4340013
3600.01/3612.01 c encountered learned constraints 1334497
3600.01/3612.01 c encountered bound constraints 0
3600.01/3612.01 c encountered core-guided constraints 0
3600.01/3612.01 c LP total time 0 s
3600.01/3612.01 c LP solve time 0 s
3600.01/3612.01 c LP constraints added 0
3600.01/3612.01 c LP constraints removed 0
3600.01/3612.01 c LP pivots internal 0
3600.01/3612.01 c LP pivots root 0
3600.01/3612.01 c LP calls 0
3600.01/3612.01 c LP optimalities 0
3600.01/3612.01 c LP no pivot count 0
3600.01/3612.01 c LP infeasibilities 0
3600.01/3612.01 c LP valid Farkas constraints 0
3600.01/3612.01 c LP learned Farkas constraints 0
3600.01/3612.01 c LP basis resets 0
3600.01/3612.01 c LP cycling count 0
3600.01/3612.01 c LP singular count 0
3600.01/3612.01 c LP no primal count 0
3600.01/3612.01 c LP no farkas count 0
3600.01/3612.01 c LP other issue count 0
3600.01/3612.01 c LP Gomory cuts 0
3600.01/3612.01 c LP learned cuts 0
3600.01/3612.01 c LP deleted cuts 0
3600.01/3612.01 c LP encountered Gomory constraints 0
3600.01/3612.01 c LP encountered Farkas constraints 0
3600.01/3612.01 c LP encountered learned Farkas constraints 0
3600.01/3612.01 c CG auxiliary variables introduced 0
3600.01/3612.01 c CG solutions found 0
3600.01/3612.01 c CG cores constructed 0
3600.01/3612.01 c CG core cardinality constraints returned 0
3600.01/3612.01 c CG unit cores 0
3600.01/3612.01 c CG single cores 0
3600.01/3612.01 c CG blocks removed during cardinality reduction 0
3600.01/3612.01 c CG first core best 0
3600.01/3612.01 c CG decision core best 0
3600.01/3612.01 c CG core reduction tie 0
3600.01/3612.01 c CG core degree average 0.00
3600.01/3612.01 c CG core slack average 0.00
3600.01/3612.01 c CG exhausted 0
3600.01/3612.01 c CG exhaust time 0 s
3600.01/3612.01 c CG trimmed 0
3600.01/3612.01 c CG trim time 0 s
3600.01/3612.01 c CG minimized 0
3600.01/3612.01 c CG minimize time 0 s
3600.01/3612.01 c CG am1 prop time 0.000496 s
3600.01/3612.01 c CG # am1s reformulated 0
3600.01/3612.01 c CG lower bound derived from am1s 0
3600.01/3612.01 c CG # clausal cores 0
3600.01/3612.01 c CG # cardinality cores 0
3600.01/3612.01 c CG # pb cores 0
3600.01/3612.01 c CG # pb reforms 0
3600.01/3612.01 c CG # cores discarded because of pb reform 0
3600.01/3612.01 d LOWERBOUND 0
3600.01/3612.01 d NCORES 0
3600.01/3612.01 d NPBCORES 0
3600.01/3612.01 d NPBREFORM 0
3600.01/3612.01 d NTRIMMED 0
3600.01/3612.01 d NEXHAUSTED 0
3600.01/3612.01 d NAM1S 0
3600.01/3612.01 d AM1LB 0
3600.01/3612.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: 64059 MiB (62003 MiB free)
memory of node 1: 64510 MiB (62185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435882-1721106208/watcher-4435882-1721106208 -o /tmp/evaluation-result-4435882-1721106208/solver-4435882-1721106208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829784 --watchdog 3760 pb-oll-rs HOME/instance-4435882-1721106208.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=832376, runsolver pid=832373
[startup+0.100262 s]*
/proc/loadavg: 4.10 4.11 4.09 5/242 832377
/proc/meminfo: memFree=127166636/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=39648 memory=6452 CPUtime=0.09 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 643 0 0 0 9 0 0 0 20 0 1 0 162776939 40599552 1613 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 9912 1613 1166 291 0 1446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39648 KiB
Current children cumulated memory: 6452 KiB
[startup+0.21281 s]*
/proc/loadavg: 4.10 4.11 4.09 5/242 832377
/proc/meminfo: memFree=127161984/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=39916 memory=9552 CPUtime=0.21 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 912 0 0 0 20 1 0 0 20 0 1 0 162776939 40873984 2388 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 9979 2388 1166 291 0 1513 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39916 KiB
Current children cumulated memory: 9552 KiB
[startup+0.312586 s]*
/proc/loadavg: 4.10 4.11 4.09 5/242 832377
/proc/meminfo: memFree=127155116/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=41672 memory=12108 CPUtime=0.3 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 1367 0 0 0 29 1 0 0 20 0 1 0 162776939 42672128 3027 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 10418 3027 1356 291 0 1952 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41672 KiB
Current children cumulated memory: 12108 KiB
[startup+0.700286 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 832377
/proc/meminfo: memFree=127154644/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=41672 memory=12108 CPUtime=0.68 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 1369 0 0 0 65 3 0 0 20 0 1 0 162776939 42672128 3027 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 10418 3027 1356 291 0 1952 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41672 KiB
Current children cumulated memory: 12108 KiB
[startup+1.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 832377
/proc/meminfo: memFree=127154308/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=42536 memory=12900 CPUtime=1.48 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 1544 0 0 0 143 5 0 0 20 0 1 0 162776939 43556864 3225 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 10634 3225 1356 291 0 2168 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42536 KiB
Current children cumulated memory: 12900 KiB
[startup+3.1123 s]
/proc/loadavg: 4.17 4.12 4.10 5/242 832377
/proc/meminfo: memFree=127144200/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=43128 memory=13864 CPUtime=3.09 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 1730 0 0 0 301 8 0 0 20 0 1 0 162776939 44163072 3466 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 10782 3466 1414 291 0 2316 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43128 KiB
Current children cumulated memory: 13864 KiB
[startup+6.30028 s]
/proc/loadavg: 4.17 4.12 4.10 5/242 832378
/proc/meminfo: memFree=127138564/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=43428 memory=14372 CPUtime=6.26 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 1857 0 0 0 613 13 0 0 20 0 1 0 162776939 44470272 3593 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 10857 3593 1414 291 0 2391 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43428 KiB
Current children cumulated memory: 14372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.10 5/242 832378
/proc/meminfo: memFree=127086312/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=43912 memory=14816 CPUtime=12.64 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 1981 0 0 0 1241 23 0 0 20 0 1 0 162776939 44965888 3704 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 10978 3704 1414 291 0 2512 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 43912 KiB
Current children cumulated memory: 14816 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 832380
/proc/meminfo: memFree=126985692/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=47840 memory=16548 CPUtime=25.4 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 2529 0 0 0 2500 40 0 0 20 0 1 0 162776939 48988160 4137 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 11960 4137 1414 291 0 3494 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 47840 KiB
Current children cumulated memory: 16548 KiB
[startup+51.1123 s]
/proc/loadavg: 4.23 4.14 4.10 5/242 832430
/proc/meminfo: memFree=126399904/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=48752 memory=19792 CPUtime=50.92 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 3092 0 0 0 5025 67 0 0 20 0 1 0 162776939 49922048 4948 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 12188 4948 1414 291 0 3722 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 48752 KiB
Current children cumulated memory: 19792 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/243 832441
/proc/meminfo: memFree=126106256/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=49756 memory=20824 CPUtime=101.95 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 3611 0 0 0 10080 115 0 0 20 0 1 0 162776939 50950144 5206 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 12439 5206 1414 291 0 3973 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 20824 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/242 832452
/proc/meminfo: memFree=125857968/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=55724 memory=22924 CPUtime=161.75 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 4337 0 0 0 16006 169 0 0 20 0 1 0 162776939 57061376 5731 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 13931 5731 1414 291 0 5465 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 55724 KiB
Current children cumulated memory: 22924 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 832462
/proc/meminfo: memFree=125556200/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=56724 memory=26412 CPUtime=221.55 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 4846 0 0 0 21932 223 0 0 20 0 1 0 162776939 58085376 6603 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 14181 6603 1414 291 0 5715 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 56724 KiB
Current children cumulated memory: 26412 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/242 832472
/proc/meminfo: memFree=125435768/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=57076 memory=26796 CPUtime=281.36 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 5064 0 0 0 27865 271 0 0 20 0 1 0 162776939 58445824 6699 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 14269 6699 1414 291 0 5803 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 57076 KiB
Current children cumulated memory: 26796 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/242 832483
/proc/meminfo: memFree=125334224/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=57536 memory=27280 CPUtime=341.16 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 5300 0 0 0 33793 323 0 0 20 0 1 0 162776939 58916864 6820 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 14384 6820 1414 291 0 5918 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 57536 KiB
Current children cumulated memory: 27280 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/244 832498
/proc/meminfo: memFree=125256192/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=58376 memory=28032 CPUtime=400.96 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 5604 0 0 0 39728 368 0 0 20 0 1 0 162776939 59777024 7008 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 14594 7008 1414 291 0 6128 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 58376 KiB
Current children cumulated memory: 28032 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 832508
/proc/meminfo: memFree=125075992/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=58832 memory=28504 CPUtime=460.75 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 5808 0 0 0 45664 411 0 0 20 0 1 0 162776939 60243968 7126 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 14708 7126 1414 291 0 6242 0
################
# More data... #
################
Current children cumulated memory: 76396 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/244 833556
/proc/meminfo: memFree=122548456/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=123760 memory=79988 CPUtime=2852.75 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 14349 0 0 0 284061 1214 0 0 20 0 1 0 162776939 126730240 19997 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 30940 19997 1414 291 0 22474 0
Current children cumulated CPU time: 2852.75 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 79988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/244 833566
/proc/meminfo: memFree=122546812/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=123760 memory=80348 CPUtime=2912.55 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 14740 0 0 0 290027 1228 0 0 20 0 1 0 162776939 126730240 20087 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 30940 20087 1414 291 0 22474 0
Current children cumulated CPU time: 2912.55 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 80348 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/244 833577
/proc/meminfo: memFree=122546504/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=123760 memory=80348 CPUtime=2972.37 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 14742 0 0 0 295997 1240 0 0 20 0 1 0 162776939 126730240 20087 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 30940 20087 1414 291 0 22474 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 80348 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/246 833591
/proc/meminfo: memFree=122545968/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=123760 memory=80356 CPUtime=3032.17 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15032 0 0 0 301966 1251 0 0 20 0 1 0 162776939 126730240 20089 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 30940 20089 1414 291 0 22474 0
Current children cumulated CPU time: 3032.17 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 80356 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/244 833985
/proc/meminfo: memFree=122545044/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=123760 memory=80356 CPUtime=3091.98 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15032 0 0 0 307930 1268 0 0 20 0 1 0 162776939 126730240 20089 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 30940 20089 1414 291 0 22474 0
Current children cumulated CPU time: 3091.98 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 80356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 833997
/proc/meminfo: memFree=122544912/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3151.78 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15134 0 0 0 313897 1281 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3151.78 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/244 834007
/proc/meminfo: memFree=122544408/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3211.58 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15134 0 0 0 319857 1301 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3211.58 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/246 834187
/proc/meminfo: memFree=122543324/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3271.39 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15148 0 0 0 325817 1322 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3271.39 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/244 834198
/proc/meminfo: memFree=122543120/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3331.2 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15148 0 0 0 331777 1343 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/244 834210
/proc/meminfo: memFree=122524360/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3391.01 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15148 0 0 0 337731 1370 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3391.01 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.18 4.18 5/243 834231
/proc/meminfo: memFree=122524100/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3450.82 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15149 0 0 0 343693 1389 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3450.82 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/243 834241
/proc/meminfo: memFree=122523796/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3510.62 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15151 0 0 0 349661 1401 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3510.62 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/243 834297
/proc/meminfo: memFree=127716244/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=80612 CPUtime=3570.42 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15155 0 0 0 355626 1416 0 0 20 0 1 0 162776939 127332352 20153 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 20153 1414 291 0 22621 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 80612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.08 4.13 4.16 5/243 834348
/proc/meminfo: memFree=128691956/131655788 swapFree=131071996/131071996
[pid=832376] ppid=832373 vsize=124348 memory=86340 CPUtime=3600.01 cores=0,2
/proc/832376/stat : 832376 (pb-oll-rs) R 832373 832376 829774 0 -1 4194304 15188 0 0 0 358578 1423 0 0 20 0 1 0 162776939 127332352 21585 134679101440 4194304 5384005 140722260838624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25260032 140722260845591 140722260845668 140722260845668 140722260852683 0
/proc/832376/statm: 31087 21585 1414 291 0 22621 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 86340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 832376 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.79 s, system=14.2399 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.03
CPU user time (s): 3585.79
CPU system time (s): 14.2399
CPU usage (%): 99.6682
Max. virtual memory (cumulated for all children) (KiB): 125084
Max. memory (cumulated for all children) (KiB): 86340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.79
system time used= 14.2399
maximum resident set size= 86340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 25200
# summary of solver processes directly reported to runsolver:
# pid: 832376
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.79
# total CPU system time (s): 14.2399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7164 second user time and 34.3818 second system time
The end
Begin job on nodeC003 at 2024-07-16 07:03:40
IDJOB=4435882
IDBENCH=147690
IDSOLVER=3067
FILE ID=nodeC003/4435882-1721106208
RUNJOBID= nodeC003-1721102552-829784
SLURM_JOB_ID= 7505615
Free space on /tmp= 723772 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435882-1721106208/watcher-4435882-1721106208 -o /tmp/evaluation-result-4435882-1721106208/solver-4435882-1721106208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829784 --watchdog 3760 pb-oll-rs HOME/instance-4435882-1721106208.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=466253082
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.222
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3504.661
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.231
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.339
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3631.449
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3571.272
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.228
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.331
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127170068 kB
MemAvailable: 128150264 kB
Buffers: 405116 kB
Cached: 1408796 kB
SwapCached: 0 kB
Active: 627260 kB
Inactive: 3314228 kB
Active(anon): 1468 kB
Inactive(anon): 2163488 kB
Active(file): 625792 kB
Inactive(file): 1150740 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5584 kB
Writeback: 36 kB
AnonPages: 2127288 kB
Mapped: 107960 kB
Shmem: 37704 kB
KReclaimable: 87392 kB
Slab: 183180 kB
SReclaimable: 87392 kB
SUnreclaim: 95788 kB
KernelStack: 3900 kB
PageTables: 14036 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2759164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 477184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228168 kB
DirectMap2M: 14356480 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC003 at 2024-07-16 08:03:53