0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.20/0.27 c [STEP] solving
0.20/0.27 c #variables 3296 #constraints 6384
0.20/0.27 c SMALL=int, LARGE=long long
0.20/0.27 c bounds - >= 91 @ 0.236723
0.20/0.27 c stratification level: 0
42.63/42.84 c #Conflicts: 1000 | #Constraints: 7383
42.63/42.84 c #Conflicts: 2000 | #Constraints: 8383
42.63/42.84 c INPROCESSING
42.63/42.84 c #Conflicts: 3000 | #Constraints: 8395
42.63/42.84 c #Conflicts: 4000 | #Constraints: 9395
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 5000 | #Constraints: 8807
42.63/42.84 c #Conflicts: 6000 | #Constraints: 9807
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 7000 | #Constraints: 8814
42.63/42.84 c #Conflicts: 8000 | #Constraints: 9814
42.63/42.84 c #Conflicts: 9000 | #Constraints: 10814
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 10000 | #Constraints: 9523
42.63/42.84 c #Conflicts: 11000 | #Constraints: 10523
42.63/42.84 c #Conflicts: 12000 | #Constraints: 11523
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 13000 | #Constraints: 9982
42.63/42.84 c #Conflicts: 14000 | #Constraints: 10982
42.63/42.84 c #Conflicts: 15000 | #Constraints: 11982
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 16000 | #Constraints: 10208
42.63/42.84 c #Conflicts: 17000 | #Constraints: 11208
42.63/42.84 c #Conflicts: 18000 | #Constraints: 12208
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 19000 | #Constraints: 10227
42.63/42.84 c #Conflicts: 20000 | #Constraints: 11227
42.63/42.84 c #Conflicts: 21000 | #Constraints: 12227
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 22000 | #Constraints: 10029
42.63/42.84 c #Conflicts: 23000 | #Constraints: 11029
42.63/42.84 c #Conflicts: 24000 | #Constraints: 12029
42.63/42.84 c #Conflicts: 25000 | #Constraints: 13029
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 26000 | #Constraints: 10639
42.63/42.84 c #Conflicts: 27000 | #Constraints: 11639
42.63/42.84 c #Conflicts: 28000 | #Constraints: 12639
42.63/42.84 c #Conflicts: 29000 | #Constraints: 13639
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 30000 | #Constraints: 11051
42.63/42.84 c #Conflicts: 31000 | #Constraints: 12051
42.63/42.84 c #Conflicts: 32000 | #Constraints: 13051
42.63/42.84 c #Conflicts: 33000 | #Constraints: 14051
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 34000 | #Constraints: 11242
42.63/42.84 c #Conflicts: 35000 | #Constraints: 12242
42.63/42.84 c #Conflicts: 36000 | #Constraints: 13242
42.63/42.84 c #Conflicts: 37000 | #Constraints: 14242
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 38000 | #Constraints: 11243
42.63/42.84 c #Conflicts: 39000 | #Constraints: 12243
42.63/42.84 c #Conflicts: 40000 | #Constraints: 13243
42.63/42.84 c #Conflicts: 41000 | #Constraints: 14243
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 42000 | #Constraints: 11052
42.63/42.84 c #Conflicts: 43000 | #Constraints: 12052
42.63/42.84 c #Conflicts: 44000 | #Constraints: 13052
42.63/42.84 c #Conflicts: 45000 | #Constraints: 14052
42.63/42.84 c #Conflicts: 46000 | #Constraints: 15052
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 47000 | #Constraints: 11656
42.63/42.84 c #Conflicts: 48000 | #Constraints: 12656
42.63/42.84 c #Conflicts: 49000 | #Constraints: 13656
42.63/42.84 c #Conflicts: 50000 | #Constraints: 14656
42.63/42.84 c #Conflicts: 51000 | #Constraints: 15656
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 52000 | #Constraints: 12064
42.63/42.84 c #Conflicts: 53000 | #Constraints: 13064
42.63/42.84 c #Conflicts: 54000 | #Constraints: 14064
42.63/42.84 c #Conflicts: 55000 | #Constraints: 15064
42.63/42.84 c #Conflicts: 56000 | #Constraints: 16064
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 57000 | #Constraints: 12262
42.63/42.84 c #Conflicts: 58000 | #Constraints: 13262
42.63/42.84 c #Conflicts: 59000 | #Constraints: 14262
42.63/42.84 c #Conflicts: 60000 | #Constraints: 15262
42.63/42.84 c #Conflicts: 61000 | #Constraints: 16262
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 62000 | #Constraints: 12258
42.63/42.84 c #Conflicts: 63000 | #Constraints: 13258
42.63/42.84 c #Conflicts: 64000 | #Constraints: 14258
42.63/42.84 c #Conflicts: 65000 | #Constraints: 15258
42.63/42.84 c #Conflicts: 66000 | #Constraints: 16258
42.63/42.84 c INPROCESSING
42.63/42.84 c GARBAGE COLLECT
42.63/42.84 c #Conflicts: 67000 | #Constraints: 12056
42.63/42.84 c #Conflicts: 68000 | #Constraints: 13056
110.33/110.74 c #Conflicts: 69000 | #Constraints: 14056
110.33/110.74 c #Conflicts: 70000 | #Constraints: 15056
110.33/110.74 c #Conflicts: 71000 | #Constraints: 16056
110.33/110.74 c #Conflicts: 72000 | #Constraints: 17056
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 73000 | #Constraints: 12658
110.33/110.74 c #Conflicts: 74000 | #Constraints: 13658
110.33/110.74 c #Conflicts: 75000 | #Constraints: 14658
110.33/110.74 c #Conflicts: 76000 | #Constraints: 15658
110.33/110.74 c #Conflicts: 77000 | #Constraints: 16658
110.33/110.74 c #Conflicts: 78000 | #Constraints: 17658
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 79000 | #Constraints: 13067
110.33/110.74 c #Conflicts: 80000 | #Constraints: 14067
110.33/110.74 c #Conflicts: 81000 | #Constraints: 15067
110.33/110.74 c #Conflicts: 82000 | #Constraints: 16067
110.33/110.74 c #Conflicts: 83000 | #Constraints: 17067
110.33/110.74 c #Conflicts: 84000 | #Constraints: 18067
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 85000 | #Constraints: 13260
110.33/110.74 c #Conflicts: 86000 | #Constraints: 14260
110.33/110.74 c #Conflicts: 87000 | #Constraints: 15260
110.33/110.74 c #Conflicts: 88000 | #Constraints: 16260
110.33/110.74 c #Conflicts: 89000 | #Constraints: 17260
110.33/110.74 c #Conflicts: 90000 | #Constraints: 18260
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 91000 | #Constraints: 13261
110.33/110.74 c #Conflicts: 92000 | #Constraints: 14261
110.33/110.74 c #Conflicts: 93000 | #Constraints: 15261
110.33/110.74 c #Conflicts: 94000 | #Constraints: 16261
110.33/110.74 c #Conflicts: 95000 | #Constraints: 17261
110.33/110.74 c #Conflicts: 96000 | #Constraints: 18261
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 97000 | #Constraints: 13077
110.33/110.74 c #Conflicts: 98000 | #Constraints: 14077
110.33/110.74 c #Conflicts: 99000 | #Constraints: 15077
110.33/110.74 c #Conflicts: 100000 | #Constraints: 16077
110.33/110.74 c #Conflicts: 101000 | #Constraints: 17077
110.33/110.74 c #Conflicts: 102000 | #Constraints: 18077
110.33/110.74 c #Conflicts: 103000 | #Constraints: 19077
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 104000 | #Constraints: 13695
110.33/110.74 c #Conflicts: 105000 | #Constraints: 14695
110.33/110.74 c #Conflicts: 106000 | #Constraints: 15695
110.33/110.74 c #Conflicts: 107000 | #Constraints: 16695
110.33/110.74 c #Conflicts: 108000 | #Constraints: 17695
110.33/110.74 c #Conflicts: 109000 | #Constraints: 18695
110.33/110.74 c #Conflicts: 110000 | #Constraints: 19695
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 111000 | #Constraints: 14089
110.33/110.74 c #Conflicts: 112000 | #Constraints: 15089
110.33/110.74 c #Conflicts: 113000 | #Constraints: 16089
110.33/110.74 c #Conflicts: 114000 | #Constraints: 17089
110.33/110.74 c #Conflicts: 115000 | #Constraints: 18089
110.33/110.74 c #Conflicts: 116000 | #Constraints: 19089
110.33/110.74 c #Conflicts: 117000 | #Constraints: 20089
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 118000 | #Constraints: 14295
110.33/110.74 c #Conflicts: 119000 | #Constraints: 15295
110.33/110.74 c #Conflicts: 120000 | #Constraints: 16295
110.33/110.74 c #Conflicts: 121000 | #Constraints: 17295
110.33/110.74 c #Conflicts: 122000 | #Constraints: 18295
110.33/110.74 c #Conflicts: 123000 | #Constraints: 19295
110.33/110.74 c #Conflicts: 124000 | #Constraints: 20295
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 125000 | #Constraints: 14292
110.33/110.74 c #Conflicts: 126000 | #Constraints: 15292
110.33/110.74 c #Conflicts: 127000 | #Constraints: 16292
110.33/110.74 c #Conflicts: 128000 | #Constraints: 17292
110.33/110.74 c #Conflicts: 129000 | #Constraints: 18292
110.33/110.74 c #Conflicts: 130000 | #Constraints: 19292
110.33/110.74 c #Conflicts: 131000 | #Constraints: 20292
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 132000 | #Constraints: 14081
110.33/110.74 c #Conflicts: 133000 | #Constraints: 15081
110.33/110.74 c #Conflicts: 134000 | #Constraints: 16081
110.33/110.74 c #Conflicts: 135000 | #Constraints: 17081
110.33/110.74 c #Conflicts: 136000 | #Constraints: 18081
110.33/110.74 c #Conflicts: 137000 | #Constraints: 19081
110.33/110.74 c #Conflicts: 138000 | #Constraints: 20081
110.33/110.74 c #Conflicts: 139000 | #Constraints: 21081
110.33/110.74 c INPROCESSING
110.33/110.74 c GARBAGE COLLECT
110.33/110.74 c #Conflicts: 140000 | #Constraints: 14668
194.90/195.57 c #Conflicts: 141000 | #Constraints: 15668
194.90/195.57 c #Conflicts: 142000 | #Constraints: 16668
194.90/195.57 c #Conflicts: 143000 | #Constraints: 17668
194.90/195.57 c #Conflicts: 144000 | #Constraints: 18668
194.90/195.57 c #Conflicts: 145000 | #Constraints: 19668
194.90/195.57 c #Conflicts: 146000 | #Constraints: 20668
194.90/195.57 c #Conflicts: 147000 | #Constraints: 21668
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 148000 | #Constraints: 15072
194.90/195.57 c #Conflicts: 149000 | #Constraints: 16072
194.90/195.57 c #Conflicts: 150000 | #Constraints: 17072
194.90/195.57 c #Conflicts: 151000 | #Constraints: 18072
194.90/195.57 c #Conflicts: 152000 | #Constraints: 19072
194.90/195.57 c #Conflicts: 153000 | #Constraints: 20072
194.90/195.57 c #Conflicts: 154000 | #Constraints: 21072
194.90/195.57 c #Conflicts: 155000 | #Constraints: 22072
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 156000 | #Constraints: 15280
194.90/195.57 c #Conflicts: 157000 | #Constraints: 16280
194.90/195.57 c #Conflicts: 158000 | #Constraints: 17280
194.90/195.57 c #Conflicts: 159000 | #Constraints: 18280
194.90/195.57 c #Conflicts: 160000 | #Constraints: 19280
194.90/195.57 c #Conflicts: 161000 | #Constraints: 20280
194.90/195.57 c #Conflicts: 162000 | #Constraints: 21280
194.90/195.57 c #Conflicts: 163000 | #Constraints: 22280
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 164000 | #Constraints: 15291
194.90/195.57 c #Conflicts: 165000 | #Constraints: 16291
194.90/195.57 c #Conflicts: 166000 | #Constraints: 17291
194.90/195.57 c #Conflicts: 167000 | #Constraints: 18291
194.90/195.57 c #Conflicts: 168000 | #Constraints: 19291
194.90/195.57 c #Conflicts: 169000 | #Constraints: 20291
194.90/195.57 c #Conflicts: 170000 | #Constraints: 21291
194.90/195.57 c #Conflicts: 171000 | #Constraints: 22291
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 172000 | #Constraints: 15083
194.90/195.57 c #Conflicts: 173000 | #Constraints: 16083
194.90/195.57 c #Conflicts: 174000 | #Constraints: 17083
194.90/195.57 c #Conflicts: 175000 | #Constraints: 18083
194.90/195.57 c #Conflicts: 176000 | #Constraints: 19083
194.90/195.57 c #Conflicts: 177000 | #Constraints: 20083
194.90/195.57 c #Conflicts: 178000 | #Constraints: 21083
194.90/195.57 c #Conflicts: 179000 | #Constraints: 22083
194.90/195.57 c #Conflicts: 180000 | #Constraints: 23083
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 181000 | #Constraints: 15677
194.90/195.57 c #Conflicts: 182000 | #Constraints: 16677
194.90/195.57 c #Conflicts: 183000 | #Constraints: 17677
194.90/195.57 c #Conflicts: 184000 | #Constraints: 18677
194.90/195.57 c #Conflicts: 185000 | #Constraints: 19677
194.90/195.57 c #Conflicts: 186000 | #Constraints: 20677
194.90/195.57 c #Conflicts: 187000 | #Constraints: 21677
194.90/195.57 c #Conflicts: 188000 | #Constraints: 22677
194.90/195.57 c #Conflicts: 189000 | #Constraints: 23677
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 190000 | #Constraints: 16072
194.90/195.57 c #Conflicts: 191000 | #Constraints: 17072
194.90/195.57 c #Conflicts: 192000 | #Constraints: 18072
194.90/195.57 c #Conflicts: 193000 | #Constraints: 19072
194.90/195.57 c #Conflicts: 194000 | #Constraints: 20072
194.90/195.57 c #Conflicts: 195000 | #Constraints: 21072
194.90/195.57 c #Conflicts: 196000 | #Constraints: 22072
194.90/195.57 c #Conflicts: 197000 | #Constraints: 23072
194.90/195.57 c #Conflicts: 198000 | #Constraints: 24072
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 199000 | #Constraints: 16289
194.90/195.57 c #Conflicts: 200000 | #Constraints: 17289
194.90/195.57 c #Conflicts: 201000 | #Constraints: 18289
194.90/195.57 c #Conflicts: 202000 | #Constraints: 19289
194.90/195.57 c #Conflicts: 203000 | #Constraints: 20289
194.90/195.57 c #Conflicts: 204000 | #Constraints: 21289
194.90/195.57 c #Conflicts: 205000 | #Constraints: 22289
194.90/195.57 c #Conflicts: 206000 | #Constraints: 23289
194.90/195.57 c #Conflicts: 207000 | #Constraints: 24289
194.90/195.57 c INPROCESSING
194.90/195.57 c GARBAGE COLLECT
194.90/195.57 c #Conflicts: 208000 | #Constraints: 16287
194.90/195.57 c #Conflicts: 209000 | #Constraints: 17287
194.90/195.57 c #Conflicts: 210000 | #Constraints: 18287
194.90/195.57 c #Conflicts: 211000 | #Constraints: 19287
194.90/195.57 c #Conflicts: 212000 | #Constraints: 20287
194.90/195.57 c #Conflicts: 213000 | #Constraints: 21287
194.90/195.57 c #Conflicts: 214000 | #Constraints: 22287
295.09/296.01 c #Conflicts: 215000 | #Constraints: 23287
295.09/296.01 c #Conflicts: 216000 | #Constraints: 24287
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 217000 | #Constraints: 16088
295.09/296.01 c #Conflicts: 218000 | #Constraints: 17088
295.09/296.01 c #Conflicts: 219000 | #Constraints: 18088
295.09/296.01 c #Conflicts: 220000 | #Constraints: 19088
295.09/296.01 c #Conflicts: 221000 | #Constraints: 20088
295.09/296.01 c #Conflicts: 222000 | #Constraints: 21088
295.09/296.01 c #Conflicts: 223000 | #Constraints: 22088
295.09/296.01 c #Conflicts: 224000 | #Constraints: 23088
295.09/296.01 c #Conflicts: 225000 | #Constraints: 24088
295.09/296.01 c #Conflicts: 226000 | #Constraints: 25088
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 227000 | #Constraints: 16680
295.09/296.01 c #Conflicts: 228000 | #Constraints: 17680
295.09/296.01 c #Conflicts: 229000 | #Constraints: 18680
295.09/296.01 c #Conflicts: 230000 | #Constraints: 19680
295.09/296.01 c #Conflicts: 231000 | #Constraints: 20680
295.09/296.01 c #Conflicts: 232000 | #Constraints: 21680
295.09/296.01 c #Conflicts: 233000 | #Constraints: 22680
295.09/296.01 c #Conflicts: 234000 | #Constraints: 23680
295.09/296.01 c #Conflicts: 235000 | #Constraints: 24680
295.09/296.01 c #Conflicts: 236000 | #Constraints: 25680
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 237000 | #Constraints: 17106
295.09/296.01 c #Conflicts: 238000 | #Constraints: 18106
295.09/296.01 c #Conflicts: 239000 | #Constraints: 19106
295.09/296.01 c #Conflicts: 240000 | #Constraints: 20106
295.09/296.01 c #Conflicts: 241000 | #Constraints: 21106
295.09/296.01 c #Conflicts: 242000 | #Constraints: 22106
295.09/296.01 c #Conflicts: 243000 | #Constraints: 23106
295.09/296.01 c #Conflicts: 244000 | #Constraints: 24106
295.09/296.01 c #Conflicts: 245000 | #Constraints: 25106
295.09/296.01 c #Conflicts: 246000 | #Constraints: 26106
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 247000 | #Constraints: 17305
295.09/296.01 c #Conflicts: 248000 | #Constraints: 18305
295.09/296.01 c #Conflicts: 249000 | #Constraints: 19305
295.09/296.01 c #Conflicts: 250000 | #Constraints: 20305
295.09/296.01 c #Conflicts: 251000 | #Constraints: 21305
295.09/296.01 c #Conflicts: 252000 | #Constraints: 22305
295.09/296.01 c #Conflicts: 253000 | #Constraints: 23305
295.09/296.01 c #Conflicts: 254000 | #Constraints: 24305
295.09/296.01 c #Conflicts: 255000 | #Constraints: 25305
295.09/296.01 c #Conflicts: 256000 | #Constraints: 26305
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 257000 | #Constraints: 17286
295.09/296.01 c #Conflicts: 258000 | #Constraints: 18286
295.09/296.01 c #Conflicts: 259000 | #Constraints: 19286
295.09/296.01 c #Conflicts: 260000 | #Constraints: 20286
295.09/296.01 c #Conflicts: 261000 | #Constraints: 21286
295.09/296.01 c #Conflicts: 262000 | #Constraints: 22286
295.09/296.01 c #Conflicts: 263000 | #Constraints: 23286
295.09/296.01 c #Conflicts: 264000 | #Constraints: 24286
295.09/296.01 c #Conflicts: 265000 | #Constraints: 25286
295.09/296.01 c #Conflicts: 266000 | #Constraints: 26286
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 267000 | #Constraints: 17085
295.09/296.01 c #Conflicts: 268000 | #Constraints: 18085
295.09/296.01 c #Conflicts: 269000 | #Constraints: 19085
295.09/296.01 c #Conflicts: 270000 | #Constraints: 20085
295.09/296.01 c #Conflicts: 271000 | #Constraints: 21085
295.09/296.01 c #Conflicts: 272000 | #Constraints: 22085
295.09/296.01 c #Conflicts: 273000 | #Constraints: 23085
295.09/296.01 c #Conflicts: 274000 | #Constraints: 24085
295.09/296.01 c #Conflicts: 275000 | #Constraints: 25085
295.09/296.01 c #Conflicts: 276000 | #Constraints: 26085
295.09/296.01 c #Conflicts: 277000 | #Constraints: 27085
295.09/296.01 c INPROCESSING
295.09/296.01 c GARBAGE COLLECT
295.09/296.01 c #Conflicts: 278000 | #Constraints: 17705
295.09/296.01 c #Conflicts: 279000 | #Constraints: 18705
295.09/296.01 c #Conflicts: 280000 | #Constraints: 19705
295.09/296.01 c #Conflicts: 281000 | #Constraints: 20705
295.09/296.01 c #Conflicts: 282000 | #Constraints: 21705
295.09/296.01 c #Conflicts: 283000 | #Constraints: 22705
295.09/296.01 c #Conflicts: 284000 | #Constraints: 23705
295.09/296.01 c #Conflicts: 285000 | #Constraints: 24705
295.09/296.01 c #Conflicts: 286000 | #Constraints: 25705
295.09/296.01 c #Conflicts: 287000 | #Constraints: 26705
295.09/296.01 c #Conflicts: 288000 | #Constraints: 27705
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 289000 | #Constraints: 18098
399.66/400.94 c #Conflicts: 290000 | #Constraints: 19098
399.66/400.94 c #Conflicts: 291000 | #Constraints: 20098
399.66/400.94 c #Conflicts: 292000 | #Constraints: 21098
399.66/400.94 c #Conflicts: 293000 | #Constraints: 22098
399.66/400.94 c #Conflicts: 294000 | #Constraints: 23098
399.66/400.94 c #Conflicts: 295000 | #Constraints: 24098
399.66/400.94 c #Conflicts: 296000 | #Constraints: 25098
399.66/400.94 c #Conflicts: 297000 | #Constraints: 26098
399.66/400.94 c #Conflicts: 298000 | #Constraints: 27098
399.66/400.94 c #Conflicts: 299000 | #Constraints: 28098
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 300000 | #Constraints: 18301
399.66/400.94 c #Conflicts: 301000 | #Constraints: 19301
399.66/400.94 c #Conflicts: 302000 | #Constraints: 20301
399.66/400.94 c #Conflicts: 303000 | #Constraints: 21301
399.66/400.94 c #Conflicts: 304000 | #Constraints: 22301
399.66/400.94 c #Conflicts: 305000 | #Constraints: 23301
399.66/400.94 c #Conflicts: 306000 | #Constraints: 24301
399.66/400.94 c #Conflicts: 307000 | #Constraints: 25301
399.66/400.94 c #Conflicts: 308000 | #Constraints: 26301
399.66/400.94 c #Conflicts: 309000 | #Constraints: 27301
399.66/400.94 c #Conflicts: 310000 | #Constraints: 28301
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 311000 | #Constraints: 18306
399.66/400.94 c #Conflicts: 312000 | #Constraints: 19306
399.66/400.94 c #Conflicts: 313000 | #Constraints: 20306
399.66/400.94 c #Conflicts: 314000 | #Constraints: 21306
399.66/400.94 c #Conflicts: 315000 | #Constraints: 22306
399.66/400.94 c #Conflicts: 316000 | #Constraints: 23306
399.66/400.94 c #Conflicts: 317000 | #Constraints: 24306
399.66/400.94 c #Conflicts: 318000 | #Constraints: 25306
399.66/400.94 c #Conflicts: 319000 | #Constraints: 26306
399.66/400.94 c #Conflicts: 320000 | #Constraints: 27306
399.66/400.94 c #Conflicts: 321000 | #Constraints: 28306
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 322000 | #Constraints: 18119
399.66/400.94 c #Conflicts: 323000 | #Constraints: 19119
399.66/400.94 c #Conflicts: 324000 | #Constraints: 20119
399.66/400.94 c #Conflicts: 325000 | #Constraints: 21119
399.66/400.94 c #Conflicts: 326000 | #Constraints: 22119
399.66/400.94 c #Conflicts: 327000 | #Constraints: 23119
399.66/400.94 c #Conflicts: 328000 | #Constraints: 24119
399.66/400.94 c #Conflicts: 329000 | #Constraints: 25119
399.66/400.94 c #Conflicts: 330000 | #Constraints: 26119
399.66/400.94 c #Conflicts: 331000 | #Constraints: 27119
399.66/400.94 c #Conflicts: 332000 | #Constraints: 28119
399.66/400.94 c #Conflicts: 333000 | #Constraints: 29119
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 334000 | #Constraints: 18702
399.66/400.94 c #Conflicts: 335000 | #Constraints: 19702
399.66/400.94 c #Conflicts: 336000 | #Constraints: 20702
399.66/400.94 c #Conflicts: 337000 | #Constraints: 21702
399.66/400.94 c #Conflicts: 338000 | #Constraints: 22702
399.66/400.94 c #Conflicts: 339000 | #Constraints: 23702
399.66/400.94 c #Conflicts: 340000 | #Constraints: 24702
399.66/400.94 c #Conflicts: 341000 | #Constraints: 25702
399.66/400.94 c #Conflicts: 342000 | #Constraints: 26702
399.66/400.94 c #Conflicts: 343000 | #Constraints: 27702
399.66/400.94 c #Conflicts: 344000 | #Constraints: 28702
399.66/400.94 c #Conflicts: 345000 | #Constraints: 29702
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 346000 | #Constraints: 19088
399.66/400.94 c #Conflicts: 347000 | #Constraints: 20088
399.66/400.94 c #Conflicts: 348000 | #Constraints: 21088
399.66/400.94 c #Conflicts: 349000 | #Constraints: 22088
399.66/400.94 c #Conflicts: 350000 | #Constraints: 23088
399.66/400.94 c #Conflicts: 351000 | #Constraints: 24088
399.66/400.94 c #Conflicts: 352000 | #Constraints: 25088
399.66/400.94 c #Conflicts: 353000 | #Constraints: 26088
399.66/400.94 c #Conflicts: 354000 | #Constraints: 27088
399.66/400.94 c #Conflicts: 355000 | #Constraints: 28088
399.66/400.94 c #Conflicts: 356000 | #Constraints: 29088
399.66/400.94 c #Conflicts: 357000 | #Constraints: 30088
399.66/400.94 c INPROCESSING
399.66/400.94 c GARBAGE COLLECT
399.66/400.94 c #Conflicts: 358000 | #Constraints: 19291
399.66/400.94 c #Conflicts: 359000 | #Constraints: 20291
399.66/400.94 c #Conflicts: 360000 | #Constraints: 21291
399.66/400.94 c #Conflicts: 361000 | #Constraints: 22291
399.66/400.94 c #Conflicts: 362000 | #Constraints: 23291
521.61/523.22 c #Conflicts: 363000 | #Constraints: 24291
521.61/523.22 c #Conflicts: 364000 | #Constraints: 25291
521.61/523.22 c #Conflicts: 365000 | #Constraints: 26291
521.61/523.22 c #Conflicts: 366000 | #Constraints: 27291
521.61/523.22 c #Conflicts: 367000 | #Constraints: 28291
521.61/523.22 c #Conflicts: 368000 | #Constraints: 29291
521.61/523.22 c #Conflicts: 369000 | #Constraints: 30291
521.61/523.22 c INPROCESSING
521.61/523.22 c GARBAGE COLLECT
521.61/523.22 c #Conflicts: 370000 | #Constraints: 19294
521.61/523.22 c #Conflicts: 371000 | #Constraints: 20294
521.61/523.22 c #Conflicts: 372000 | #Constraints: 21294
521.61/523.22 c #Conflicts: 373000 | #Constraints: 22294
521.61/523.22 c #Conflicts: 374000 | #Constraints: 23294
521.61/523.22 c #Conflicts: 375000 | #Constraints: 24294
521.61/523.22 c #Conflicts: 376000 | #Constraints: 25294
521.61/523.22 c #Conflicts: 377000 | #Constraints: 26294
521.61/523.22 c #Conflicts: 378000 | #Constraints: 27294
521.61/523.22 c #Conflicts: 379000 | #Constraints: 28294
521.61/523.22 c #Conflicts: 380000 | #Constraints: 29294
521.61/523.22 c #Conflicts: 381000 | #Constraints: 30294
521.61/523.22 c INPROCESSING
521.61/523.22 c GARBAGE COLLECT
521.61/523.22 c #Conflicts: 382000 | #Constraints: 19097
521.61/523.22 c #Conflicts: 383000 | #Constraints: 20097
521.61/523.22 c #Conflicts: 384000 | #Constraints: 21097
521.61/523.22 c #Conflicts: 385000 | #Constraints: 22097
521.61/523.22 c #Conflicts: 386000 | #Constraints: 23097
521.61/523.22 c #Conflicts: 387000 | #Constraints: 24097
521.61/523.22 c #Conflicts: 388000 | #Constraints: 25097
521.61/523.22 c #Conflicts: 389000 | #Constraints: 26097
521.61/523.22 c #Conflicts: 390000 | #Constraints: 27097
521.61/523.22 c #Conflicts: 391000 | #Constraints: 28097
521.61/523.22 c #Conflicts: 392000 | #Constraints: 29097
521.61/523.22 c #Conflicts: 393000 | #Constraints: 30097
521.61/523.22 c #Conflicts: 394000 | #Constraints: 31097
521.61/523.22 c INPROCESSING
521.61/523.22 c GARBAGE COLLECT
521.61/523.22 c #Conflicts: 395000 | #Constraints: 19690
521.61/523.22 c #Conflicts: 396000 | #Constraints: 20690
521.61/523.22 c #Conflicts: 397000 | #Constraints: 21690
521.61/523.22 c #Conflicts: 398000 | #Constraints: 22690
521.61/523.22 c #Conflicts: 399000 | #Constraints: 23690
521.61/523.22 c #Conflicts: 400000 | #Constraints: 24690
521.61/523.22 c #Conflicts: 401000 | #Constraints: 25690
521.61/523.22 c #Conflicts: 402000 | #Constraints: 26690
521.61/523.22 c #Conflicts: 403000 | #Constraints: 27690
521.61/523.22 c #Conflicts: 404000 | #Constraints: 28690
521.61/523.22 c #Conflicts: 405000 | #Constraints: 29690
521.61/523.22 c #Conflicts: 406000 | #Constraints: 30690
521.61/523.22 c #Conflicts: 407000 | #Constraints: 31690
521.61/523.22 c INPROCESSING
521.61/523.22 c GARBAGE COLLECT
521.61/523.22 c #Conflicts: 408000 | #Constraints: 20095
521.61/523.22 c #Conflicts: 409000 | #Constraints: 21095
521.61/523.22 c #Conflicts: 410000 | #Constraints: 22095
521.61/523.22 c #Conflicts: 411000 | #Constraints: 23095
521.61/523.22 c #Conflicts: 412000 | #Constraints: 24095
521.61/523.22 c #Conflicts: 413000 | #Constraints: 25095
521.61/523.22 c #Conflicts: 414000 | #Constraints: 26095
521.61/523.22 c #Conflicts: 415000 | #Constraints: 27095
521.61/523.22 c #Conflicts: 416000 | #Constraints: 28095
521.61/523.22 c #Conflicts: 417000 | #Constraints: 29095
521.61/523.22 c #Conflicts: 418000 | #Constraints: 30095
521.61/523.22 c #Conflicts: 419000 | #Constraints: 31095
521.61/523.22 c #Conflicts: 420000 | #Constraints: 32095
521.61/523.22 c INPROCESSING
521.61/523.22 c GARBAGE COLLECT
521.61/523.22 c #Conflicts: 421000 | #Constraints: 20289
521.61/523.22 c #Conflicts: 422000 | #Constraints: 21289
521.61/523.22 c #Conflicts: 423000 | #Constraints: 22289
521.61/523.22 c #Conflicts: 424000 | #Constraints: 23289
521.61/523.22 c #Conflicts: 425000 | #Constraints: 24289
521.61/523.22 c #Conflicts: 426000 | #Constraints: 25289
521.61/523.22 c #Conflicts: 427000 | #Constraints: 26289
521.61/523.22 c #Conflicts: 428000 | #Constraints: 27289
521.61/523.22 c #Conflicts: 429000 | #Constraints: 28289
521.61/523.22 c #Conflicts: 430000 | #Constraints: 29289
521.61/523.22 c #Conflicts: 431000 | #Constraints: 30289
521.61/523.22 c #Conflicts: 432000 | #Constraints: 31289
521.61/523.22 c #Conflicts: 433000 | #Constraints: 32289
521.61/523.22 c INPROCESSING
521.61/523.22 c GARBAGE COLLECT
521.61/523.22 c #Conflicts: 434000 | #Constraints: 20306
521.61/523.22 c #Conflicts: 435000 | #Constraints: 21306
521.61/523.22 c #Conflicts: 436000 | #Constraints: 22306
521.61/523.22 c #Conflicts: 437000 | #Constraints: 23306
653.96/655.91 c #Conflicts: 438000 | #Constraints: 24306
653.96/655.91 c #Conflicts: 439000 | #Constraints: 25306
653.96/655.91 c #Conflicts: 440000 | #Constraints: 26306
653.96/655.91 c #Conflicts: 441000 | #Constraints: 27306
653.96/655.91 c #Conflicts: 442000 | #Constraints: 28306
653.96/655.91 c #Conflicts: 443000 | #Constraints: 29306
653.96/655.91 c #Conflicts: 444000 | #Constraints: 30306
653.96/655.91 c #Conflicts: 445000 | #Constraints: 31306
653.96/655.91 c #Conflicts: 446000 | #Constraints: 32306
653.96/655.91 c INPROCESSING
653.96/655.91 c GARBAGE COLLECT
653.96/655.91 c #Conflicts: 447000 | #Constraints: 20090
653.96/655.91 c #Conflicts: 448000 | #Constraints: 21090
653.96/655.91 c #Conflicts: 449000 | #Constraints: 22090
653.96/655.91 c #Conflicts: 450000 | #Constraints: 23090
653.96/655.91 c #Conflicts: 451000 | #Constraints: 24090
653.96/655.91 c #Conflicts: 452000 | #Constraints: 25090
653.96/655.91 c #Conflicts: 453000 | #Constraints: 26090
653.96/655.91 c #Conflicts: 454000 | #Constraints: 27090
653.96/655.91 c #Conflicts: 455000 | #Constraints: 28090
653.96/655.91 c #Conflicts: 456000 | #Constraints: 29090
653.96/655.91 c #Conflicts: 457000 | #Constraints: 30090
653.96/655.91 c #Conflicts: 458000 | #Constraints: 31090
653.96/655.91 c #Conflicts: 459000 | #Constraints: 32090
653.96/655.91 c #Conflicts: 460000 | #Constraints: 33090
653.96/655.91 c INPROCESSING
653.96/655.91 c GARBAGE COLLECT
653.96/655.91 c #Conflicts: 461000 | #Constraints: 20705
653.96/655.91 c #Conflicts: 462000 | #Constraints: 21705
653.96/655.91 c #Conflicts: 463000 | #Constraints: 22705
653.96/655.91 c #Conflicts: 464000 | #Constraints: 23705
653.96/655.91 c #Conflicts: 465000 | #Constraints: 24705
653.96/655.91 c #Conflicts: 466000 | #Constraints: 25705
653.96/655.91 c #Conflicts: 467000 | #Constraints: 26705
653.96/655.91 c #Conflicts: 468000 | #Constraints: 27705
653.96/655.91 c #Conflicts: 469000 | #Constraints: 28705
653.96/655.91 c #Conflicts: 470000 | #Constraints: 29705
653.96/655.91 c #Conflicts: 471000 | #Constraints: 30705
653.96/655.91 c #Conflicts: 472000 | #Constraints: 31705
653.96/655.91 c #Conflicts: 473000 | #Constraints: 32705
653.96/655.91 c #Conflicts: 474000 | #Constraints: 33705
653.96/655.91 c INPROCESSING
653.96/655.91 c GARBAGE COLLECT
653.96/655.91 c #Conflicts: 475000 | #Constraints: 21127
653.96/655.91 c #Conflicts: 476000 | #Constraints: 22127
653.96/655.91 c #Conflicts: 477000 | #Constraints: 23127
653.96/655.91 c #Conflicts: 478000 | #Constraints: 24127
653.96/655.91 c #Conflicts: 479000 | #Constraints: 25127
653.96/655.91 c #Conflicts: 480000 | #Constraints: 26127
653.96/655.91 c #Conflicts: 481000 | #Constraints: 27127
653.96/655.91 c #Conflicts: 482000 | #Constraints: 28127
653.96/655.91 c #Conflicts: 483000 | #Constraints: 29127
653.96/655.91 c #Conflicts: 484000 | #Constraints: 30127
653.96/655.91 c #Conflicts: 485000 | #Constraints: 31127
653.96/655.91 c #Conflicts: 486000 | #Constraints: 32127
653.96/655.91 c #Conflicts: 487000 | #Constraints: 33127
653.96/655.91 c #Conflicts: 488000 | #Constraints: 34127
653.96/655.91 c INPROCESSING
653.96/655.91 c GARBAGE COLLECT
653.96/655.91 c #Conflicts: 489000 | #Constraints: 21317
653.96/655.91 c #Conflicts: 490000 | #Constraints: 22317
653.96/655.91 c #Conflicts: 491000 | #Constraints: 23317
653.96/655.91 c #Conflicts: 492000 | #Constraints: 24317
653.96/655.91 c #Conflicts: 493000 | #Constraints: 25317
653.96/655.91 c #Conflicts: 494000 | #Constraints: 26317
653.96/655.91 c #Conflicts: 495000 | #Constraints: 27317
653.96/655.91 c #Conflicts: 496000 | #Constraints: 28317
653.96/655.91 c #Conflicts: 497000 | #Constraints: 29317
653.96/655.91 c #Conflicts: 498000 | #Constraints: 30317
653.96/655.91 c #Conflicts: 499000 | #Constraints: 31317
653.96/655.91 c #Conflicts: 500000 | #Constraints: 32317
653.96/655.91 c #Conflicts: 501000 | #Constraints: 33317
653.96/655.91 c #Conflicts: 502000 | #Constraints: 34317
653.96/655.91 c INPROCESSING
653.96/655.91 c GARBAGE COLLECT
653.96/655.91 c #Conflicts: 503000 | #Constraints: 21304
653.96/655.91 c #Conflicts: 504000 | #Constraints: 22304
653.96/655.91 c #Conflicts: 505000 | #Constraints: 23304
653.96/655.91 c #Conflicts: 506000 | #Constraints: 24304
653.96/655.91 c #Conflicts: 507000 | #Constraints: 25304
653.96/655.91 c #Conflicts: 508000 | #Constraints: 26304
653.96/655.91 c #Conflicts: 509000 | #Constraints: 27304
653.96/655.91 c #Conflicts: 510000 | #Constraints: 28304
653.96/655.91 c #Conflicts: 511000 | #Constraints: 29304
653.96/655.91 c #Conflicts: 512000 | #Constraints: 30304
653.96/655.91 c #Conflicts: 513000 | #Constraints: 31304
797.87/800.20 c #Conflicts: 514000 | #Constraints: 32304
797.87/800.20 c #Conflicts: 515000 | #Constraints: 33304
797.87/800.20 c #Conflicts: 516000 | #Constraints: 34304
797.87/800.20 c INPROCESSING
797.87/800.20 c GARBAGE COLLECT
797.87/800.20 c #Conflicts: 517000 | #Constraints: 21121
797.87/800.20 c #Conflicts: 518000 | #Constraints: 22121
797.87/800.20 c #Conflicts: 519000 | #Constraints: 23121
797.87/800.20 c #Conflicts: 520000 | #Constraints: 24121
797.87/800.20 c #Conflicts: 521000 | #Constraints: 25121
797.87/800.20 c #Conflicts: 522000 | #Constraints: 26121
797.87/800.20 c #Conflicts: 523000 | #Constraints: 27121
797.87/800.20 c #Conflicts: 524000 | #Constraints: 28121
797.87/800.20 c #Conflicts: 525000 | #Constraints: 29121
797.87/800.20 c #Conflicts: 526000 | #Constraints: 30121
797.87/800.20 c #Conflicts: 527000 | #Constraints: 31121
797.87/800.20 c #Conflicts: 528000 | #Constraints: 32121
797.87/800.20 c #Conflicts: 529000 | #Constraints: 33121
797.87/800.20 c #Conflicts: 530000 | #Constraints: 34121
797.87/800.20 c #Conflicts: 531000 | #Constraints: 35121
797.87/800.20 c INPROCESSING
797.87/800.20 c GARBAGE COLLECT
797.87/800.20 c #Conflicts: 532000 | #Constraints: 21722
797.87/800.20 c #Conflicts: 533000 | #Constraints: 22722
797.87/800.20 c #Conflicts: 534000 | #Constraints: 23722
797.87/800.20 c #Conflicts: 535000 | #Constraints: 24722
797.87/800.20 c #Conflicts: 536000 | #Constraints: 25722
797.87/800.20 c #Conflicts: 537000 | #Constraints: 26722
797.87/800.20 c #Conflicts: 538000 | #Constraints: 27722
797.87/800.20 c #Conflicts: 539000 | #Constraints: 28722
797.87/800.20 c #Conflicts: 540000 | #Constraints: 29722
797.87/800.20 c #Conflicts: 541000 | #Constraints: 30722
797.87/800.20 c #Conflicts: 542000 | #Constraints: 31722
797.87/800.20 c #Conflicts: 543000 | #Constraints: 32722
797.87/800.20 c #Conflicts: 544000 | #Constraints: 33722
797.87/800.20 c #Conflicts: 545000 | #Constraints: 34722
797.87/800.20 c #Conflicts: 546000 | #Constraints: 35722
797.87/800.20 c INPROCESSING
797.87/800.20 c GARBAGE COLLECT
797.87/800.20 c #Conflicts: 547000 | #Constraints: 22132
797.87/800.20 c #Conflicts: 548000 | #Constraints: 23132
797.87/800.20 c #Conflicts: 549000 | #Constraints: 24132
797.87/800.20 c #Conflicts: 550000 | #Constraints: 25132
797.87/800.20 c #Conflicts: 551000 | #Constraints: 26132
797.87/800.20 c #Conflicts: 552000 | #Constraints: 27132
797.87/800.20 c #Conflicts: 553000 | #Constraints: 28132
797.87/800.20 c #Conflicts: 554000 | #Constraints: 29132
797.87/800.20 c #Conflicts: 555000 | #Constraints: 30132
797.87/800.20 c #Conflicts: 556000 | #Constraints: 31132
797.87/800.20 c #Conflicts: 557000 | #Constraints: 32132
797.87/800.20 c #Conflicts: 558000 | #Constraints: 33132
797.87/800.20 c #Conflicts: 559000 | #Constraints: 34132
797.87/800.20 c #Conflicts: 560000 | #Constraints: 35132
797.87/800.20 c #Conflicts: 561000 | #Constraints: 36132
797.87/800.20 c INPROCESSING
797.87/800.20 c GARBAGE COLLECT
797.87/800.20 c #Conflicts: 562000 | #Constraints: 22317
797.87/800.20 c #Conflicts: 563000 | #Constraints: 23317
797.87/800.20 c #Conflicts: 564000 | #Constraints: 24317
797.87/800.20 c #Conflicts: 565000 | #Constraints: 25317
797.87/800.20 c #Conflicts: 566000 | #Constraints: 26317
797.87/800.20 c #Conflicts: 567000 | #Constraints: 27317
797.87/800.20 c #Conflicts: 568000 | #Constraints: 28317
797.87/800.20 c #Conflicts: 569000 | #Constraints: 29317
797.87/800.20 c #Conflicts: 570000 | #Constraints: 30317
797.87/800.20 c #Conflicts: 571000 | #Constraints: 31317
797.87/800.20 c #Conflicts: 572000 | #Constraints: 32317
797.87/800.20 c #Conflicts: 573000 | #Constraints: 33317
797.87/800.20 c #Conflicts: 574000 | #Constraints: 34317
797.87/800.20 c #Conflicts: 575000 | #Constraints: 35317
797.87/800.20 c #Conflicts: 576000 | #Constraints: 36317
797.87/800.20 c INPROCESSING
797.87/800.20 c GARBAGE COLLECT
797.87/800.20 c #Conflicts: 577000 | #Constraints: 22308
797.87/800.20 c #Conflicts: 578000 | #Constraints: 23308
797.87/800.20 c #Conflicts: 579000 | #Constraints: 24308
797.87/800.20 c #Conflicts: 580000 | #Constraints: 25308
797.87/800.20 c #Conflicts: 581000 | #Constraints: 26308
797.87/800.20 c #Conflicts: 582000 | #Constraints: 27308
797.87/800.20 c #Conflicts: 583000 | #Constraints: 28308
797.87/800.20 c #Conflicts: 584000 | #Constraints: 29308
797.87/800.20 c #Conflicts: 585000 | #Constraints: 30308
797.87/800.20 c #Conflicts: 586000 | #Constraints: 31308
797.87/800.20 c #Conflicts: 587000 | #Constraints: 32308
797.87/800.20 c #Conflicts: 588000 | #Constraints: 33308
1071.82/1074.93 c #Conflicts: 589000 | #Constraints: 34308
1071.82/1074.93 c #Conflicts: 590000 | #Constraints: 35308
1071.82/1074.93 c #Conflicts: 591000 | #Constraints: 36308
1071.82/1074.93 c INPROCESSING
1071.82/1074.93 c GARBAGE COLLECT
1071.82/1074.93 c #Conflicts: 592000 | #Constraints: 22102
1071.82/1074.93 c #Conflicts: 593000 | #Constraints: 23102
1071.82/1074.93 c #Conflicts: 594000 | #Constraints: 24102
1071.82/1074.93 c #Conflicts: 595000 | #Constraints: 25102
1071.82/1074.93 c #Conflicts: 596000 | #Constraints: 26102
1071.82/1074.93 c #Conflicts: 597000 | #Constraints: 27102
1071.82/1074.93 c #Conflicts: 598000 | #Constraints: 28102
1071.82/1074.93 c #Conflicts: 599000 | #Constraints: 29102
1071.82/1074.93 c #Conflicts: 600000 | #Constraints: 30102
1071.82/1074.93 c #Conflicts: 601000 | #Constraints: 31102
1071.82/1074.93 c #Conflicts: 602000 | #Constraints: 32102
1071.82/1074.93 c #Conflicts: 603000 | #Constraints: 33102
1071.82/1074.93 c #Conflicts: 604000 | #Constraints: 34102
1071.82/1074.93 c #Conflicts: 605000 | #Constraints: 35102
1071.82/1074.93 c #Conflicts: 606000 | #Constraints: 36102
1071.82/1074.93 c #Conflicts: 607000 | #Constraints: 37102
1071.82/1074.93 c INPROCESSING
1071.82/1074.93 c GARBAGE COLLECT
1071.82/1074.93 c #Conflicts: 608000 | #Constraints: 22701
1071.82/1074.93 c #Conflicts: 609000 | #Constraints: 23701
1071.82/1074.93 c #Conflicts: 610000 | #Constraints: 24701
1071.82/1074.93 c #Conflicts: 611000 | #Constraints: 25701
1071.82/1074.93 c #Conflicts: 612000 | #Constraints: 26701
1071.82/1074.93 c #Conflicts: 613000 | #Constraints: 27701
1071.82/1074.93 c #Conflicts: 614000 | #Constraints: 28701
1071.82/1074.93 c #Conflicts: 615000 | #Constraints: 29701
1071.82/1074.93 c #Conflicts: 616000 | #Constraints: 30701
1071.82/1074.93 c #Conflicts: 617000 | #Constraints: 31701
1071.82/1074.93 c #Conflicts: 618000 | #Constraints: 32701
1071.82/1074.93 c #Conflicts: 619000 | #Constraints: 33701
1071.82/1074.93 c #Conflicts: 620000 | #Constraints: 34701
1071.82/1074.93 c #Conflicts: 621000 | #Constraints: 35701
1071.82/1074.93 c #Conflicts: 622000 | #Constraints: 36701
1071.82/1074.93 c #Conflicts: 623000 | #Constraints: 37701
1071.82/1074.93 c #Conflicts: 624000 | #Constraints: 38701
1071.82/1074.93 c #Conflicts: 625000 | #Constraints: 39701
1071.82/1074.93 c #Conflicts: 626000 | #Constraints: 40701
1071.82/1074.93 c #Conflicts: 627000 | #Constraints: 41701
1071.82/1074.93 c #Conflicts: 628000 | #Constraints: 42701
1071.82/1074.93 c #Conflicts: 629000 | #Constraints: 43701
1071.82/1074.93 c #Conflicts: 630000 | #Constraints: 44701
1071.82/1074.93 c #Conflicts: 631000 | #Constraints: 45701
1071.82/1074.93 c #Conflicts: 632000 | #Constraints: 46701
1071.82/1074.93 c #Conflicts: 633000 | #Constraints: 47701
1071.82/1074.93 c #Conflicts: 634000 | #Constraints: 48701
1071.82/1074.93 c #Conflicts: 635000 | #Constraints: 49701
1071.82/1074.93 c #Conflicts: 636000 | #Constraints: 50701
1071.82/1074.93 c #Conflicts: 637000 | #Constraints: 51701
1071.82/1074.93 c #Conflicts: 638000 | #Constraints: 52701
1071.82/1074.93 c #Conflicts: 639000 | #Constraints: 53701
1071.82/1074.93 c #Conflicts: 640000 | #Constraints: 54701
1071.82/1074.93 c #Conflicts: 641000 | #Constraints: 55701
1071.82/1074.93 c #Conflicts: 642000 | #Constraints: 56701
1071.82/1074.93 c #Conflicts: 643000 | #Constraints: 57701
1071.82/1074.93 c #Conflicts: 644000 | #Constraints: 58701
1071.82/1074.93 c #Conflicts: 645000 | #Constraints: 59701
1071.82/1074.93 c #Conflicts: 646000 | #Constraints: 60701
1071.82/1074.93 c #Conflicts: 647000 | #Constraints: 61701
1071.82/1074.93 c #Conflicts: 648000 | #Constraints: 62701
1071.82/1074.93 c #Conflicts: 649000 | #Constraints: 63701
1071.82/1074.93 c #Conflicts: 650000 | #Constraints: 64701
1071.82/1074.93 c #Conflicts: 651000 | #Constraints: 65701
1071.82/1074.93 c #Conflicts: 652000 | #Constraints: 66701
1071.82/1074.93 c #Conflicts: 653000 | #Constraints: 67701
1071.82/1074.93 c #Conflicts: 654000 | #Constraints: 68701
1071.82/1074.93 c #Conflicts: 655000 | #Constraints: 69701
1071.82/1074.93 c #Conflicts: 656000 | #Constraints: 70701
1071.82/1074.93 c #Conflicts: 657000 | #Constraints: 71701
1071.82/1074.93 c #Conflicts: 658000 | #Constraints: 72701
1071.82/1074.93 c #Conflicts: 659000 | #Constraints: 73701
1071.82/1074.93 c #Conflicts: 660000 | #Constraints: 74701
1071.82/1074.93 c #Conflicts: 661000 | #Constraints: 75701
1071.82/1074.93 c #Conflicts: 662000 | #Constraints: 76701
1071.82/1074.93 c #Conflicts: 663000 | #Constraints: 77701
1071.82/1074.93 c #Conflicts: 664000 | #Constraints: 78701
1071.82/1074.93 c #Conflicts: 665000 | #Constraints: 79701
1071.82/1074.93 c #Conflicts: 666000 | #Constraints: 80701
1444.30/1448.40 c #Conflicts: 667000 | #Constraints: 81701
1444.30/1448.40 c #Conflicts: 668000 | #Constraints: 82701
1444.30/1448.40 c #Conflicts: 669000 | #Constraints: 83701
1444.30/1448.40 c #Conflicts: 670000 | #Constraints: 84701
1444.30/1448.40 c #Conflicts: 671000 | #Constraints: 85701
1444.30/1448.40 c #Conflicts: 672000 | #Constraints: 86701
1444.30/1448.40 c #Conflicts: 673000 | #Constraints: 87701
1444.30/1448.40 c #Conflicts: 674000 | #Constraints: 88701
1444.30/1448.40 c #Conflicts: 675000 | #Constraints: 89701
1444.30/1448.40 c #Conflicts: 676000 | #Constraints: 90701
1444.30/1448.40 c #Conflicts: 677000 | #Constraints: 91701
1444.30/1448.40 c #Conflicts: 678000 | #Constraints: 92701
1444.30/1448.40 c #Conflicts: 679000 | #Constraints: 93701
1444.30/1448.40 c #Conflicts: 680000 | #Constraints: 94701
1444.30/1448.40 c #Conflicts: 681000 | #Constraints: 95701
1444.30/1448.40 c #Conflicts: 682000 | #Constraints: 96701
1444.30/1448.40 c #Conflicts: 683000 | #Constraints: 97701
1444.30/1448.40 c #Conflicts: 684000 | #Constraints: 98701
1444.30/1448.40 c #Conflicts: 685000 | #Constraints: 99701
1444.30/1448.40 c #Conflicts: 686000 | #Constraints: 100701
1444.30/1448.41 c INPROCESSING
1444.30/1448.41 c GARBAGE COLLECT
1444.30/1448.41 c #Conflicts: 687000 | #Constraints: 54664
1444.30/1448.41 c #Conflicts: 688000 | #Constraints: 55664
1444.30/1448.41 c #Conflicts: 689000 | #Constraints: 56664
1444.30/1448.41 c #Conflicts: 690000 | #Constraints: 57664
1444.30/1448.41 c #Conflicts: 691000 | #Constraints: 58664
1444.30/1448.41 c #Conflicts: 692000 | #Constraints: 59664
1444.30/1448.41 c #Conflicts: 693000 | #Constraints: 60664
1444.30/1448.41 c #Conflicts: 694000 | #Constraints: 61664
1444.30/1448.41 c #Conflicts: 695000 | #Constraints: 62664
1444.30/1448.41 c #Conflicts: 696000 | #Constraints: 63664
1444.30/1448.41 c #Conflicts: 697000 | #Constraints: 64664
1444.30/1448.41 c #Conflicts: 698000 | #Constraints: 65664
1444.30/1448.41 c #Conflicts: 699000 | #Constraints: 66664
1444.30/1448.41 c #Conflicts: 700000 | #Constraints: 67664
1444.30/1448.41 c #Conflicts: 701000 | #Constraints: 68664
1444.30/1448.41 c #Conflicts: 702000 | #Constraints: 69664
1444.30/1448.41 c INPROCESSING
1444.30/1448.41 c GARBAGE COLLECT
1444.30/1448.41 c #Conflicts: 703000 | #Constraints: 38676
1444.30/1448.41 c #Conflicts: 704000 | #Constraints: 39676
1444.30/1448.41 c #Conflicts: 705000 | #Constraints: 40676
1444.30/1448.41 c #Conflicts: 706000 | #Constraints: 41676
1444.30/1448.41 c #Conflicts: 707000 | #Constraints: 42676
1444.30/1448.41 c #Conflicts: 708000 | #Constraints: 43676
1444.30/1448.41 c #Conflicts: 709000 | #Constraints: 44676
1444.30/1448.41 c #Conflicts: 710000 | #Constraints: 45676
1444.30/1448.41 c #Conflicts: 711000 | #Constraints: 46676
1444.30/1448.41 c #Conflicts: 712000 | #Constraints: 47676
1444.30/1448.41 c #Conflicts: 713000 | #Constraints: 48676
1444.30/1448.41 c #Conflicts: 714000 | #Constraints: 49676
1444.30/1448.41 c #Conflicts: 715000 | #Constraints: 50676
1444.30/1448.41 c #Conflicts: 716000 | #Constraints: 51676
1444.30/1448.41 c #Conflicts: 717000 | #Constraints: 52676
1444.30/1448.41 c #Conflicts: 718000 | #Constraints: 53676
1444.30/1448.41 c #Conflicts: 719000 | #Constraints: 54676
1444.30/1448.41 c #Conflicts: 720000 | #Constraints: 55676
1444.30/1448.41 c INPROCESSING
1444.30/1448.41 c GARBAGE COLLECT
1444.30/1448.41 c #Conflicts: 721000 | #Constraints: 32109
1444.30/1448.41 c #Conflicts: 722000 | #Constraints: 33109
1444.30/1448.41 c #Conflicts: 723000 | #Constraints: 34109
1444.30/1448.41 c #Conflicts: 724000 | #Constraints: 35109
1444.30/1448.41 c #Conflicts: 725000 | #Constraints: 36109
1444.30/1448.41 c #Conflicts: 726000 | #Constraints: 37109
1444.30/1448.41 c #Conflicts: 727000 | #Constraints: 38109
1444.30/1448.41 c #Conflicts: 728000 | #Constraints: 39109
1444.30/1448.41 c #Conflicts: 729000 | #Constraints: 40109
1444.30/1448.41 c #Conflicts: 730000 | #Constraints: 41109
1444.30/1448.41 c #Conflicts: 731000 | #Constraints: 42109
1444.30/1448.41 c #Conflicts: 732000 | #Constraints: 43109
1444.30/1448.41 c #Conflicts: 733000 | #Constraints: 44109
1444.30/1448.41 c #Conflicts: 734000 | #Constraints: 45109
1444.30/1448.41 c #Conflicts: 735000 | #Constraints: 46109
1444.30/1448.41 c #Conflicts: 736000 | #Constraints: 47109
1444.30/1448.41 c #Conflicts: 737000 | #Constraints: 48109
1444.30/1448.41 c INPROCESSING
1444.30/1448.41 c GARBAGE COLLECT
1444.30/1448.41 c #Conflicts: 738000 | #Constraints: 28173
1444.30/1448.41 c #Conflicts: 739000 | #Constraints: 29173
1444.30/1448.41 c #Conflicts: 740000 | #Constraints: 30173
1444.30/1448.41 c #Conflicts: 741000 | #Constraints: 31173
1444.30/1448.41 c #Conflicts: 742000 | #Constraints: 32173
1709.18/1714.16 c #Conflicts: 743000 | #Constraints: 33173
1709.18/1714.16 c #Conflicts: 744000 | #Constraints: 34173
1709.18/1714.16 c #Conflicts: 745000 | #Constraints: 35173
1709.18/1714.16 c #Conflicts: 746000 | #Constraints: 36173
1709.18/1714.16 c #Conflicts: 747000 | #Constraints: 37173
1709.18/1714.16 c #Conflicts: 748000 | #Constraints: 38173
1709.18/1714.16 c #Conflicts: 749000 | #Constraints: 39173
1709.18/1714.16 c #Conflicts: 750000 | #Constraints: 40173
1709.18/1714.16 c #Conflicts: 751000 | #Constraints: 41173
1709.18/1714.16 c #Conflicts: 752000 | #Constraints: 42173
1709.18/1714.16 c #Conflicts: 753000 | #Constraints: 43173
1709.18/1714.16 c #Conflicts: 754000 | #Constraints: 44173
1709.18/1714.16 c INPROCESSING
1709.18/1714.16 c GARBAGE COLLECT
1709.18/1714.16 c #Conflicts: 755000 | #Constraints: 25944
1709.18/1714.16 c #Conflicts: 756000 | #Constraints: 26944
1709.18/1714.16 c #Conflicts: 757000 | #Constraints: 27944
1709.18/1714.16 c #Conflicts: 758000 | #Constraints: 28944
1709.18/1714.16 c #Conflicts: 759000 | #Constraints: 29944
1709.18/1714.16 c #Conflicts: 760000 | #Constraints: 30944
1709.18/1714.16 c #Conflicts: 761000 | #Constraints: 31944
1709.18/1714.16 c #Conflicts: 762000 | #Constraints: 32944
1709.18/1714.16 c #Conflicts: 763000 | #Constraints: 33944
1709.18/1714.16 c #Conflicts: 764000 | #Constraints: 34944
1709.18/1714.16 c #Conflicts: 765000 | #Constraints: 35944
1709.18/1714.16 c #Conflicts: 766000 | #Constraints: 36944
1709.18/1714.16 c #Conflicts: 767000 | #Constraints: 37944
1709.18/1714.16 c #Conflicts: 768000 | #Constraints: 38944
1709.18/1714.16 c #Conflicts: 769000 | #Constraints: 39944
1709.18/1714.16 c #Conflicts: 770000 | #Constraints: 40944
1709.18/1714.16 c #Conflicts: 771000 | #Constraints: 41944
1709.18/1714.16 c #Conflicts: 772000 | #Constraints: 42944
1709.18/1714.16 c INPROCESSING
1709.18/1714.16 c GARBAGE COLLECT
1709.18/1714.16 c #Conflicts: 773000 | #Constraints: 25479
1709.18/1714.16 c #Conflicts: 774000 | #Constraints: 26479
1709.18/1714.16 c #Conflicts: 775000 | #Constraints: 27479
1709.18/1714.16 c #Conflicts: 776000 | #Constraints: 28479
1709.18/1714.16 c #Conflicts: 777000 | #Constraints: 29479
1709.18/1714.16 c #Conflicts: 778000 | #Constraints: 30479
1709.18/1714.16 c #Conflicts: 779000 | #Constraints: 31479
1709.18/1714.16 c #Conflicts: 780000 | #Constraints: 32479
1709.18/1714.16 c #Conflicts: 781000 | #Constraints: 33479
1709.18/1714.16 c #Conflicts: 782000 | #Constraints: 34479
1709.18/1714.16 c #Conflicts: 783000 | #Constraints: 35479
1709.18/1714.16 c #Conflicts: 784000 | #Constraints: 36479
1709.18/1714.16 c #Conflicts: 785000 | #Constraints: 37479
1709.18/1714.16 c #Conflicts: 786000 | #Constraints: 38479
1709.18/1714.16 c #Conflicts: 787000 | #Constraints: 39479
1709.18/1714.16 c #Conflicts: 788000 | #Constraints: 40479
1709.18/1714.16 c #Conflicts: 789000 | #Constraints: 41479
1709.18/1714.16 c #Conflicts: 790000 | #Constraints: 42479
1709.18/1714.16 c #Conflicts: 791000 | #Constraints: 43479
1709.18/1714.16 c #Conflicts: 792000 | #Constraints: 44479
1709.18/1714.16 c #Conflicts: 793000 | #Constraints: 45479
1709.18/1714.16 c #Conflicts: 794000 | #Constraints: 46479
1709.18/1714.16 c #Conflicts: 795000 | #Constraints: 47479
1709.18/1714.16 c #Conflicts: 796000 | #Constraints: 48479
1709.18/1714.16 c #Conflicts: 797000 | #Constraints: 49479
1709.18/1714.16 c #Conflicts: 798000 | #Constraints: 50479
1709.18/1714.16 c #Conflicts: 799000 | #Constraints: 51479
1709.18/1714.16 c #Conflicts: 800000 | #Constraints: 52479
1709.18/1714.16 c #Conflicts: 801000 | #Constraints: 53479
1709.18/1714.16 c #Conflicts: 802000 | #Constraints: 54479
1709.18/1714.16 c #Conflicts: 803000 | #Constraints: 55479
1709.18/1714.16 c #Conflicts: 804000 | #Constraints: 56479
1709.18/1714.16 c #Conflicts: 805000 | #Constraints: 57479
1709.18/1714.16 c #Conflicts: 806000 | #Constraints: 58479
1709.18/1714.16 c #Conflicts: 807000 | #Constraints: 59479
1709.18/1714.16 c #Conflicts: 808000 | #Constraints: 60479
1709.18/1714.16 c #Conflicts: 809000 | #Constraints: 61479
1709.18/1714.16 c #Conflicts: 810000 | #Constraints: 62479
1709.18/1714.16 c #Conflicts: 811000 | #Constraints: 63479
1709.18/1714.16 c #Conflicts: 812000 | #Constraints: 64479
1709.18/1714.16 c #Conflicts: 813000 | #Constraints: 65479
1709.18/1714.16 c #Conflicts: 814000 | #Constraints: 66479
1709.18/1714.16 c #Conflicts: 815000 | #Constraints: 67479
1709.18/1714.16 c #Conflicts: 816000 | #Constraints: 68479
1709.18/1714.16 c #Conflicts: 817000 | #Constraints: 69479
1709.18/1714.16 c #Conflicts: 818000 | #Constraints: 70479
1709.18/1714.16 c #Conflicts: 819000 | #Constraints: 71479
1709.18/1714.16 c #Conflicts: 820000 | #Constraints: 72479
2214.79/2221.31 c #Conflicts: 821000 | #Constraints: 73479
2214.79/2221.31 c #Conflicts: 822000 | #Constraints: 74479
2214.79/2221.31 c #Conflicts: 823000 | #Constraints: 75479
2214.79/2221.31 c #Conflicts: 824000 | #Constraints: 76479
2214.79/2221.31 c #Conflicts: 825000 | #Constraints: 77479
2214.79/2221.31 c #Conflicts: 826000 | #Constraints: 78479
2214.79/2221.31 c #Conflicts: 827000 | #Constraints: 79479
2214.79/2221.31 c #Conflicts: 828000 | #Constraints: 80479
2214.79/2221.31 c #Conflicts: 829000 | #Constraints: 81479
2214.79/2221.31 c #Conflicts: 830000 | #Constraints: 82479
2214.79/2221.31 c #Conflicts: 831000 | #Constraints: 83479
2214.79/2221.31 c #Conflicts: 832000 | #Constraints: 84479
2214.79/2221.31 c #Conflicts: 833000 | #Constraints: 85479
2214.79/2221.31 c #Conflicts: 834000 | #Constraints: 86479
2214.79/2221.31 c #Conflicts: 835000 | #Constraints: 87479
2214.79/2221.31 c #Conflicts: 836000 | #Constraints: 88479
2214.79/2221.31 c #Conflicts: 837000 | #Constraints: 89479
2214.79/2221.31 c #Conflicts: 838000 | #Constraints: 90479
2214.79/2221.31 c #Conflicts: 839000 | #Constraints: 91479
2214.79/2221.31 c #Conflicts: 840000 | #Constraints: 92479
2214.79/2221.31 c #Conflicts: 841000 | #Constraints: 93479
2214.79/2221.31 c #Conflicts: 842000 | #Constraints: 94479
2214.79/2221.31 c #Conflicts: 843000 | #Constraints: 95479
2214.79/2221.31 c #Conflicts: 844000 | #Constraints: 96479
2214.79/2221.31 c #Conflicts: 845000 | #Constraints: 97479
2214.79/2221.31 c #Conflicts: 846000 | #Constraints: 98479
2214.79/2221.31 c #Conflicts: 847000 | #Constraints: 99479
2214.79/2221.31 c #Conflicts: 848000 | #Constraints: 100479
2214.79/2221.31 c #Conflicts: 849000 | #Constraints: 101479
2214.79/2221.31 c #Conflicts: 850000 | #Constraints: 102479
2214.79/2221.31 c #Conflicts: 851000 | #Constraints: 103479
2214.79/2221.31 c #Conflicts: 852000 | #Constraints: 104479
2214.79/2221.31 c #Conflicts: 853000 | #Constraints: 105479
2214.79/2221.31 c #Conflicts: 854000 | #Constraints: 106479
2214.79/2221.31 c #Conflicts: 855000 | #Constraints: 107479
2214.79/2221.31 c #Conflicts: 856000 | #Constraints: 108479
2214.79/2221.31 c #Conflicts: 857000 | #Constraints: 109479
2214.79/2221.31 c #Conflicts: 858000 | #Constraints: 110479
2214.79/2221.31 c INPROCESSING
2214.79/2221.31 c GARBAGE COLLECT
2214.79/2221.31 c #Conflicts: 859000 | #Constraints: 59139
2214.79/2221.31 c #Conflicts: 860000 | #Constraints: 60139
2214.79/2221.31 c #Conflicts: 861000 | #Constraints: 61139
2214.79/2221.31 c #Conflicts: 862000 | #Constraints: 62139
2214.79/2221.31 c #Conflicts: 863000 | #Constraints: 63139
2214.79/2221.31 c #Conflicts: 864000 | #Constraints: 64139
2214.79/2221.31 c #Conflicts: 865000 | #Constraints: 65139
2214.79/2221.31 c #Conflicts: 866000 | #Constraints: 66139
2214.79/2221.31 c #Conflicts: 867000 | #Constraints: 67139
2214.79/2221.31 c #Conflicts: 868000 | #Constraints: 68139
2214.79/2221.31 c #Conflicts: 869000 | #Constraints: 69139
2214.79/2221.31 c #Conflicts: 870000 | #Constraints: 70139
2214.79/2221.31 c #Conflicts: 871000 | #Constraints: 71139
2214.79/2221.31 c #Conflicts: 872000 | #Constraints: 72139
2214.79/2221.31 c #Conflicts: 873000 | #Constraints: 73139
2214.79/2221.31 c #Conflicts: 874000 | #Constraints: 74139
2214.79/2221.31 c #Conflicts: 875000 | #Constraints: 75139
2214.79/2221.31 c #Conflicts: 876000 | #Constraints: 76139
2214.79/2221.31 c #Conflicts: 877000 | #Constraints: 77139
2214.79/2221.31 c INPROCESSING
2214.79/2221.31 c GARBAGE COLLECT
2214.79/2221.31 c #Conflicts: 878000 | #Constraints: 42487
2214.79/2221.31 c #Conflicts: 879000 | #Constraints: 43487
2214.79/2221.31 c #Conflicts: 880000 | #Constraints: 44487
2214.79/2221.31 c #Conflicts: 881000 | #Constraints: 45487
2214.79/2221.31 c #Conflicts: 882000 | #Constraints: 46487
2214.79/2221.31 c #Conflicts: 883000 | #Constraints: 47487
2214.79/2221.31 c #Conflicts: 884000 | #Constraints: 48487
2214.79/2221.31 c #Conflicts: 885000 | #Constraints: 49487
2214.79/2221.31 c #Conflicts: 886000 | #Constraints: 50487
2214.79/2221.31 c #Conflicts: 887000 | #Constraints: 51487
2214.79/2221.31 c #Conflicts: 888000 | #Constraints: 52487
2214.79/2221.31 c #Conflicts: 889000 | #Constraints: 53487
2214.79/2221.31 c #Conflicts: 890000 | #Constraints: 54487
2214.79/2221.31 c #Conflicts: 891000 | #Constraints: 55487
2214.79/2221.31 c #Conflicts: 892000 | #Constraints: 56487
2214.79/2221.31 c #Conflicts: 893000 | #Constraints: 57487
2214.79/2221.31 c #Conflicts: 894000 | #Constraints: 58487
2214.79/2221.31 c #Conflicts: 895000 | #Constraints: 59487
2214.79/2221.31 c #Conflicts: 896000 | #Constraints: 60487
2214.79/2221.31 c #Conflicts: 897000 | #Constraints: 61487
2510.36/2517.80 c INPROCESSING
2510.36/2517.80 c GARBAGE COLLECT
2510.36/2517.80 c #Conflicts: 898000 | #Constraints: 35023
2510.36/2517.80 c #Conflicts: 899000 | #Constraints: 36023
2510.36/2517.80 c #Conflicts: 900000 | #Constraints: 37023
2510.36/2517.80 c #Conflicts: 901000 | #Constraints: 38023
2510.36/2517.80 c #Conflicts: 902000 | #Constraints: 39023
2510.36/2517.80 c #Conflicts: 903000 | #Constraints: 40023
2510.36/2517.80 c #Conflicts: 904000 | #Constraints: 41023
2510.36/2517.80 c #Conflicts: 905000 | #Constraints: 42023
2510.36/2517.80 c #Conflicts: 906000 | #Constraints: 43023
2510.36/2517.80 c #Conflicts: 907000 | #Constraints: 44023
2510.36/2517.80 c #Conflicts: 908000 | #Constraints: 45023
2510.36/2517.80 c #Conflicts: 909000 | #Constraints: 46023
2510.36/2517.80 c #Conflicts: 910000 | #Constraints: 47023
2510.36/2517.80 c #Conflicts: 911000 | #Constraints: 48023
2510.36/2517.80 c #Conflicts: 912000 | #Constraints: 49023
2510.36/2517.80 c #Conflicts: 913000 | #Constraints: 50023
2510.36/2517.80 c #Conflicts: 914000 | #Constraints: 51023
2510.36/2517.80 c #Conflicts: 915000 | #Constraints: 52023
2510.36/2517.80 c #Conflicts: 916000 | #Constraints: 53023
2510.36/2517.80 c INPROCESSING
2510.36/2517.80 c GARBAGE COLLECT
2510.36/2517.80 c #Conflicts: 917000 | #Constraints: 30593
2510.36/2517.80 c #Conflicts: 918000 | #Constraints: 31593
2510.36/2517.80 c #Conflicts: 919000 | #Constraints: 32593
2510.36/2517.80 c #Conflicts: 920000 | #Constraints: 33593
2510.36/2517.80 c #Conflicts: 921000 | #Constraints: 34593
2510.36/2517.80 c #Conflicts: 922000 | #Constraints: 35593
2510.36/2517.80 c #Conflicts: 923000 | #Constraints: 36593
2510.36/2517.80 c #Conflicts: 924000 | #Constraints: 37593
2510.36/2517.80 c #Conflicts: 925000 | #Constraints: 38593
2510.36/2517.80 c #Conflicts: 926000 | #Constraints: 39593
2510.36/2517.80 c #Conflicts: 927000 | #Constraints: 40593
2510.36/2517.80 c #Conflicts: 928000 | #Constraints: 41593
2510.36/2517.80 c #Conflicts: 929000 | #Constraints: 42593
2510.36/2517.80 c #Conflicts: 930000 | #Constraints: 43593
2510.36/2517.80 c #Conflicts: 931000 | #Constraints: 44593
2510.36/2517.80 c #Conflicts: 932000 | #Constraints: 45593
2510.36/2517.80 c #Conflicts: 933000 | #Constraints: 46593
2510.36/2517.80 c #Conflicts: 934000 | #Constraints: 47593
2510.36/2517.80 c #Conflicts: 935000 | #Constraints: 48593
2510.36/2517.80 c #Conflicts: 936000 | #Constraints: 49593
2510.36/2517.80 c INPROCESSING
2510.36/2517.80 c GARBAGE COLLECT
2510.36/2517.80 c #Conflicts: 937000 | #Constraints: 29074
2510.36/2517.80 c #Conflicts: 938000 | #Constraints: 30074
2510.36/2517.80 c #Conflicts: 939000 | #Constraints: 31074
2510.36/2517.80 c #Conflicts: 940000 | #Constraints: 32074
2510.36/2517.80 c #Conflicts: 941000 | #Constraints: 33074
2510.36/2517.80 c #Conflicts: 942000 | #Constraints: 34074
2510.36/2517.80 c #Conflicts: 943000 | #Constraints: 35074
2510.36/2517.80 c #Conflicts: 944000 | #Constraints: 36074
2510.36/2517.80 c #Conflicts: 945000 | #Constraints: 37074
2510.36/2517.80 c #Conflicts: 946000 | #Constraints: 38074
2510.36/2517.80 c #Conflicts: 947000 | #Constraints: 39074
2510.36/2517.80 c #Conflicts: 948000 | #Constraints: 40074
2510.36/2517.80 c #Conflicts: 949000 | #Constraints: 41074
2510.36/2517.80 c #Conflicts: 950000 | #Constraints: 42074
2510.36/2517.80 c #Conflicts: 951000 | #Constraints: 43074
2510.36/2517.80 c #Conflicts: 952000 | #Constraints: 44074
2510.36/2517.80 c #Conflicts: 953000 | #Constraints: 45074
2510.36/2517.80 c #Conflicts: 954000 | #Constraints: 46074
2510.36/2517.80 c #Conflicts: 955000 | #Constraints: 47074
2510.36/2517.80 c #Conflicts: 956000 | #Constraints: 48074
2510.36/2517.80 c #Conflicts: 957000 | #Constraints: 49074
2510.36/2517.80 c #Conflicts: 958000 | #Constraints: 50074
2510.36/2517.80 c #Conflicts: 959000 | #Constraints: 51074
2510.36/2517.80 c #Conflicts: 960000 | #Constraints: 52074
2510.36/2517.80 c #Conflicts: 961000 | #Constraints: 53074
2510.36/2517.80 c #Conflicts: 962000 | #Constraints: 54074
2510.36/2517.80 c #Conflicts: 963000 | #Constraints: 55074
2510.36/2517.80 c #Conflicts: 964000 | #Constraints: 56074
2510.36/2517.80 c #Conflicts: 965000 | #Constraints: 57074
2510.36/2517.80 c #Conflicts: 966000 | #Constraints: 58074
2510.36/2517.80 c #Conflicts: 967000 | #Constraints: 59074
2510.36/2517.80 c #Conflicts: 968000 | #Constraints: 60074
2510.36/2517.80 c #Conflicts: 969000 | #Constraints: 61074
2510.36/2517.80 c #Conflicts: 970000 | #Constraints: 62074
2510.36/2517.80 c #Conflicts: 971000 | #Constraints: 63074
2510.36/2517.80 c #Conflicts: 972000 | #Constraints: 64074
2510.36/2517.80 c #Conflicts: 973000 | #Constraints: 65074
2510.36/2517.80 c #Conflicts: 974000 | #Constraints: 66074
3107.34/3116.64 c #Conflicts: 975000 | #Constraints: 67074
3107.34/3116.64 c #Conflicts: 976000 | #Constraints: 68074
3107.34/3116.64 c #Conflicts: 977000 | #Constraints: 69074
3107.34/3116.64 c #Conflicts: 978000 | #Constraints: 70074
3107.34/3116.64 c #Conflicts: 979000 | #Constraints: 71074
3107.34/3116.64 c #Conflicts: 980000 | #Constraints: 72074
3107.34/3116.64 c #Conflicts: 981000 | #Constraints: 73074
3107.34/3116.64 c #Conflicts: 982000 | #Constraints: 74074
3107.34/3116.64 c #Conflicts: 983000 | #Constraints: 75074
3107.34/3116.64 c #Conflicts: 984000 | #Constraints: 76074
3107.34/3116.64 c #Conflicts: 985000 | #Constraints: 77074
3107.34/3116.64 c #Conflicts: 986000 | #Constraints: 78074
3107.34/3116.64 c #Conflicts: 987000 | #Constraints: 79074
3107.34/3116.64 c #Conflicts: 988000 | #Constraints: 80074
3107.34/3116.64 c #Conflicts: 989000 | #Constraints: 81074
3107.34/3116.64 c #Conflicts: 990000 | #Constraints: 82074
3107.34/3116.64 c #Conflicts: 991000 | #Constraints: 83074
3107.34/3116.64 c #Conflicts: 992000 | #Constraints: 84074
3107.34/3116.64 c #Conflicts: 993000 | #Constraints: 85074
3107.34/3116.64 c #Conflicts: 994000 | #Constraints: 86074
3107.34/3116.64 c #Conflicts: 995000 | #Constraints: 87074
3107.34/3116.64 c #Conflicts: 996000 | #Constraints: 88074
3107.34/3116.64 c #Conflicts: 997000 | #Constraints: 89074
3107.34/3116.64 c #Conflicts: 998000 | #Constraints: 90074
3107.34/3116.64 c #Conflicts: 999000 | #Constraints: 91074
3107.34/3116.64 c #Conflicts: 1000000 | #Constraints: 92074
3107.34/3116.64 c #Conflicts: 1001000 | #Constraints: 93074
3107.34/3116.64 c #Conflicts: 1002000 | #Constraints: 94074
3107.34/3116.64 c #Conflicts: 1003000 | #Constraints: 95074
3107.34/3116.64 c #Conflicts: 1004000 | #Constraints: 96074
3107.34/3116.64 c #Conflicts: 1005000 | #Constraints: 97074
3107.34/3116.64 c #Conflicts: 1006000 | #Constraints: 98074
3107.34/3116.64 c #Conflicts: 1007000 | #Constraints: 99074
3107.34/3116.64 c #Conflicts: 1008000 | #Constraints: 100074
3107.34/3116.64 c #Conflicts: 1009000 | #Constraints: 101074
3107.34/3116.64 c #Conflicts: 1010000 | #Constraints: 102074
3107.34/3116.64 c #Conflicts: 1011000 | #Constraints: 103074
3107.34/3116.64 c #Conflicts: 1012000 | #Constraints: 104074
3107.34/3116.64 c #Conflicts: 1013000 | #Constraints: 105074
3107.34/3116.64 c #Conflicts: 1014000 | #Constraints: 106074
3107.34/3116.64 c #Conflicts: 1015000 | #Constraints: 107074
3107.34/3116.64 c #Conflicts: 1016000 | #Constraints: 108074
3107.34/3116.64 c #Conflicts: 1017000 | #Constraints: 109074
3107.34/3116.64 c #Conflicts: 1018000 | #Constraints: 110074
3107.34/3116.64 c #Conflicts: 1019000 | #Constraints: 111074
3107.34/3116.64 c #Conflicts: 1020000 | #Constraints: 112074
3107.34/3116.64 c #Conflicts: 1021000 | #Constraints: 113074
3107.34/3116.64 c #Conflicts: 1022000 | #Constraints: 114074
3107.34/3116.64 c #Conflicts: 1023000 | #Constraints: 115074
3107.34/3116.64 c #Conflicts: 1024000 | #Constraints: 116074
3107.34/3116.64 c #Conflicts: 1025000 | #Constraints: 117074
3107.34/3116.64 c #Conflicts: 1026000 | #Constraints: 118074
3107.34/3116.64 c #Conflicts: 1027000 | #Constraints: 119074
3107.34/3116.64 c #Conflicts: 1028000 | #Constraints: 120074
3107.34/3116.64 c INPROCESSING
3107.34/3116.64 c GARBAGE COLLECT
3107.34/3116.64 c #Conflicts: 1029000 | #Constraints: 64020
3107.34/3116.64 c #Conflicts: 1030000 | #Constraints: 65020
3107.34/3116.64 c #Conflicts: 1031000 | #Constraints: 66020
3107.34/3116.64 c #Conflicts: 1032000 | #Constraints: 67020
3107.34/3116.64 c #Conflicts: 1033000 | #Constraints: 68020
3107.34/3116.64 c #Conflicts: 1034000 | #Constraints: 69020
3107.34/3116.64 c #Conflicts: 1035000 | #Constraints: 70020
3107.34/3116.64 c #Conflicts: 1036000 | #Constraints: 71020
3107.34/3116.64 c #Conflicts: 1037000 | #Constraints: 72020
3107.34/3116.64 c #Conflicts: 1038000 | #Constraints: 73020
3107.34/3116.64 c #Conflicts: 1039000 | #Constraints: 74020
3107.34/3116.64 c #Conflicts: 1040000 | #Constraints: 75020
3107.34/3116.64 c #Conflicts: 1041000 | #Constraints: 76020
3107.34/3116.64 c #Conflicts: 1042000 | #Constraints: 77020
3107.34/3116.64 c #Conflicts: 1043000 | #Constraints: 78020
3107.34/3116.64 c #Conflicts: 1044000 | #Constraints: 79020
3107.34/3116.64 c #Conflicts: 1045000 | #Constraints: 80020
3107.34/3116.64 c #Conflicts: 1046000 | #Constraints: 81020
3107.34/3116.64 c #Conflicts: 1047000 | #Constraints: 82020
3107.34/3116.64 c #Conflicts: 1048000 | #Constraints: 83020
3107.34/3116.64 c #Conflicts: 1049000 | #Constraints: 84020
3107.34/3116.64 c INPROCESSING
3107.34/3116.64 c GARBAGE COLLECT
3107.34/3116.64 c #Conflicts: 1050000 | #Constraints: 46001
3107.34/3116.64 c #Conflicts: 1051000 | #Constraints: 47001
3107.34/3116.64 c #Conflicts: 1052000 | #Constraints: 48001
3439.64/3449.83 c #Conflicts: 1053000 | #Constraints: 49001
3439.64/3449.83 c #Conflicts: 1054000 | #Constraints: 50001
3439.64/3449.83 c #Conflicts: 1055000 | #Constraints: 51001
3439.64/3449.83 c #Conflicts: 1056000 | #Constraints: 52001
3439.64/3449.83 c #Conflicts: 1057000 | #Constraints: 53001
3439.64/3449.83 c #Conflicts: 1058000 | #Constraints: 54001
3439.64/3449.83 c #Conflicts: 1059000 | #Constraints: 55001
3439.64/3449.83 c #Conflicts: 1060000 | #Constraints: 56001
3439.64/3449.83 c #Conflicts: 1061000 | #Constraints: 57001
3439.64/3449.83 c #Conflicts: 1062000 | #Constraints: 58001
3439.64/3449.83 c #Conflicts: 1063000 | #Constraints: 59001
3439.64/3449.83 c #Conflicts: 1064000 | #Constraints: 60001
3439.64/3449.83 c #Conflicts: 1065000 | #Constraints: 61001
3439.64/3449.83 c #Conflicts: 1066000 | #Constraints: 62001
3439.64/3449.83 c #Conflicts: 1067000 | #Constraints: 63001
3439.64/3449.83 c #Conflicts: 1068000 | #Constraints: 64001
3439.64/3449.83 c #Conflicts: 1069000 | #Constraints: 65001
3439.64/3449.83 c #Conflicts: 1070000 | #Constraints: 66001
3439.64/3449.83 c INPROCESSING
3439.64/3449.83 c GARBAGE COLLECT
3439.64/3449.83 c #Conflicts: 1071000 | #Constraints: 36919
3439.64/3449.83 c #Conflicts: 1072000 | #Constraints: 37919
3439.64/3449.83 c #Conflicts: 1073000 | #Constraints: 38919
3439.64/3449.83 c #Conflicts: 1074000 | #Constraints: 39919
3439.64/3449.83 c #Conflicts: 1075000 | #Constraints: 40919
3439.64/3449.83 c #Conflicts: 1076000 | #Constraints: 41919
3439.64/3449.83 c #Conflicts: 1077000 | #Constraints: 42919
3439.64/3449.83 c #Conflicts: 1078000 | #Constraints: 43919
3439.64/3449.83 c #Conflicts: 1079000 | #Constraints: 44919
3439.64/3449.83 c #Conflicts: 1080000 | #Constraints: 45919
3439.64/3449.83 c #Conflicts: 1081000 | #Constraints: 46919
3439.64/3449.83 c #Conflicts: 1082000 | #Constraints: 47919
3439.64/3449.83 c #Conflicts: 1083000 | #Constraints: 48919
3439.64/3449.83 c #Conflicts: 1084000 | #Constraints: 49919
3439.64/3449.83 c #Conflicts: 1085000 | #Constraints: 50919
3439.64/3449.83 c #Conflicts: 1086000 | #Constraints: 51919
3439.64/3449.83 c #Conflicts: 1087000 | #Constraints: 52919
3439.64/3449.83 c #Conflicts: 1088000 | #Constraints: 53919
3439.64/3449.83 c #Conflicts: 1089000 | #Constraints: 54919
3439.64/3449.83 c #Conflicts: 1090000 | #Constraints: 55919
3439.64/3449.83 c #Conflicts: 1091000 | #Constraints: 56919
3439.64/3449.83 c #Conflicts: 1092000 | #Constraints: 57919
3439.64/3449.83 c INPROCESSING
3439.64/3449.83 c GARBAGE COLLECT
3439.64/3449.83 c #Conflicts: 1093000 | #Constraints: 33236
3439.64/3449.83 c #Conflicts: 1094000 | #Constraints: 34236
3439.64/3449.83 c #Conflicts: 1095000 | #Constraints: 35236
3439.64/3449.83 c #Conflicts: 1096000 | #Constraints: 36236
3439.64/3449.83 c #Conflicts: 1097000 | #Constraints: 37236
3439.64/3449.83 c #Conflicts: 1098000 | #Constraints: 38236
3439.64/3449.83 c #Conflicts: 1099000 | #Constraints: 39236
3439.64/3449.83 c #Conflicts: 1100000 | #Constraints: 40236
3439.64/3449.83 c #Conflicts: 1101000 | #Constraints: 41236
3439.64/3449.83 c #Conflicts: 1102000 | #Constraints: 42236
3439.64/3449.83 c #Conflicts: 1103000 | #Constraints: 43236
3439.64/3449.83 c #Conflicts: 1104000 | #Constraints: 44236
3439.64/3449.83 c #Conflicts: 1105000 | #Constraints: 45236
3439.64/3449.83 c #Conflicts: 1106000 | #Constraints: 46236
3439.64/3449.83 c #Conflicts: 1107000 | #Constraints: 47236
3439.64/3449.83 c #Conflicts: 1108000 | #Constraints: 48236
3439.64/3449.83 c #Conflicts: 1109000 | #Constraints: 49236
3439.64/3449.83 c #Conflicts: 1110000 | #Constraints: 50236
3439.64/3449.83 c #Conflicts: 1111000 | #Constraints: 51236
3439.64/3449.83 c #Conflicts: 1112000 | #Constraints: 52236
3439.64/3449.83 c #Conflicts: 1113000 | #Constraints: 53236
3439.64/3449.83 c INPROCESSING
3439.64/3449.83 c GARBAGE COLLECT
3439.64/3449.83 c #Conflicts: 1114000 | #Constraints: 30625
3439.64/3449.83 c #Conflicts: 1115000 | #Constraints: 31625
3439.64/3449.83 c #Conflicts: 1116000 | #Constraints: 32625
3439.64/3449.83 c #Conflicts: 1117000 | #Constraints: 33625
3439.64/3449.83 c #Conflicts: 1118000 | #Constraints: 34625
3439.64/3449.83 c #Conflicts: 1119000 | #Constraints: 35625
3439.64/3449.83 c #Conflicts: 1120000 | #Constraints: 36625
3439.64/3449.83 c #Conflicts: 1121000 | #Constraints: 37625
3439.64/3449.83 c #Conflicts: 1122000 | #Constraints: 38625
3439.64/3449.83 c #Conflicts: 1123000 | #Constraints: 39625
3439.64/3449.83 c #Conflicts: 1124000 | #Constraints: 40625
3439.64/3449.83 c #Conflicts: 1125000 | #Constraints: 41625
3439.64/3449.83 c #Conflicts: 1126000 | #Constraints: 42625
3439.64/3449.83 c #Conflicts: 1127000 | #Constraints: 43625
3439.64/3449.83 c #Conflicts: 1128000 | #Constraints: 44625
3600.02/3610.60 c #Conflicts: 1129000 | #Constraints: 45625
3600.02/3610.60 c #Conflicts: 1130000 | #Constraints: 46625
3600.02/3610.60 c #Conflicts: 1131000 | #Constraints: 47625
3600.02/3610.60 c #Conflicts: 1132000 | #Constraints: 48625
3600.02/3610.60 c #Conflicts: 1133000 | #Constraints: 49625
3600.02/3610.60 c #Conflicts: 1134000 | #Constraints: 50625
3600.02/3610.60 c #Conflicts: 1135000 | #Constraints: 51625
3600.02/3610.60 c #Conflicts: 1136000 | #Constraints: 52625
3600.02/3610.60 c #Conflicts: 1137000 | #Constraints: 53625
3600.02/3610.60 c #Conflicts: 1138000 | #Constraints: 54625
3600.02/3610.60 c #Conflicts: 1139000 | #Constraints: 55625
3600.02/3610.60 c #Conflicts: 1140000 | #Constraints: 56625
3600.02/3610.60 c #Conflicts: 1141000 | #Constraints: 57625
3600.02/3610.60 c #Conflicts: 1142000 | #Constraints: 58625
3600.02/3610.60 c #Conflicts: 1143000 | #Constraints: 59625
3600.02/3610.60 c #Conflicts: 1144000 | #Constraints: 60625
3600.02/3610.60 c #Conflicts: 1145000 | #Constraints: 61625
3600.02/3610.60 c #Conflicts: 1146000 | #Constraints: 62625
3600.02/3610.60 c #Conflicts: 1147000 | #Constraints: 63625
3600.02/3610.60 c #Conflicts: 1148000 | #Constraints: 64625
3600.02/3610.60 c #Conflicts: 1149000 | #Constraints: 65625
3600.02/3610.60 c #Conflicts: 1150000 | #Constraints: 66625
3600.02/3610.60 c #Conflicts: 1151000 | #Constraints: 67625
3600.02/3610.60 c #Conflicts: 1152000 | #Constraints: 68625
3600.02/3610.60 c #Conflicts: 1153000 | #Constraints: 69625
3600.02/3610.60 c #Conflicts: 1154000 | #Constraints: 70625
3600.02/3610.60 c #Conflicts: 1155000 | #Constraints: 71625
3600.02/3610.60 c #Conflicts: 1156000 | #Constraints: 72625
3600.02/3610.60 c #Conflicts: 1157000 | #Constraints: 73625
3600.02/3610.60 c #Conflicts: 1158000 | #Constraints: 74625
3600.02/3610.60 c #Conflicts: 1159000 | #Constraints: 75625
3600.02/3610.60 c Program interrupted by user.
3600.02/3610.60 c cpu time 3589.96 s
3600.02/3610.60 c deterministic time 342260315809 3.42e+11
3600.02/3610.60 c optimization time 203.836 s
3600.02/3610.60 c total solve time 3385.89 s
3600.02/3610.60 c core-guided solve time 3385.89 s
3600.02/3610.60 c propagation time 3447.74 s
3600.02/3610.60 c conflict analysis time 123.222 s
3600.02/3610.60 c propagations 634254554
3600.02/3610.60 c resolve steps 4455588
3600.02/3610.60 c decisions 7044552
3600.02/3610.60 c conflicts 1159426
3600.02/3610.60 c restarts 2169
3600.02/3610.60 c inprocessing phases 85
3600.02/3610.60 c input clauses 1
3600.02/3610.60 c input cardinalities 0
3600.02/3610.60 c input general constraints 6383
3600.02/3610.60 c input average constraint length 29.25
3600.02/3610.60 c input average constraint degree 444.55
3600.02/3610.60 c learned clauses 354847
3600.02/3610.60 c learned cardinalities 1
3600.02/3610.60 c learned general constraints 804578
3600.02/3610.60 c learned average constraint length 40.97
3600.02/3610.60 c learned average constraint degree 600916.40
3600.02/3610.60 c watched constraints 809190
3600.02/3610.60 c counting constraints 1771
3600.02/3610.60 c gcd simplifications 11581
3600.02/3610.60 c detected cardinalities 1
3600.02/3610.60 c weakened non-implied lits 4572931
3600.02/3610.60 c weakened non-implying lits 1313
3600.02/3610.60 c original variables 3296
3600.02/3610.60 c clausal propagations 536961
3600.02/3610.60 c cardinality propagations 0
3600.02/3610.60 c watched propagations 616023161
3600.02/3610.60 c counting propagations 17049580
3600.02/3610.60 c watch lookups 66830173311
3600.02/3610.60 c watch backjump lookups 63909968673
3600.02/3610.60 c watch checks 121049111782
3600.02/3610.60 c propagation checks 89025043173
3600.02/3610.60 c constraint additions 162263060
3600.02/3610.60 c trail pops 642456703
3600.02/3610.60 c formula constraints 6384
3600.02/3610.60 c learned constraints 1159426
3600.02/3610.60 c bound constraints 0
3600.02/3610.60 c core-guided constraints 0
3600.02/3610.60 c encountered formula constraints 4296513
3600.02/3610.60 c encountered learned constraints 1318501
3600.02/3610.60 c encountered bound constraints 0
3600.02/3610.60 c encountered core-guided constraints 0
3600.02/3610.60 c LP total time 0 s
3600.02/3610.60 c LP solve time 0 s
3600.02/3610.60 c LP constraints added 0
3600.02/3610.60 c LP constraints removed 0
3600.02/3610.60 c LP pivots internal 0
3600.02/3610.60 c LP pivots root 0
3600.02/3610.60 c LP calls 0
3600.02/3610.60 c LP optimalities 0
3600.02/3610.60 c LP no pivot count 0
3600.02/3610.60 c LP infeasibilities 0
3600.02/3610.60 c LP valid Farkas constraints 0
3600.02/3610.60 c LP learned Farkas constraints 0
3600.02/3610.60 c LP basis resets 0
3600.02/3610.60 c LP cycling count 0
3600.02/3610.60 c LP singular count 0
3600.02/3610.60 c LP no primal count 0
3600.02/3610.60 c LP no farkas count 0
3600.02/3610.60 c LP other issue count 0
3600.02/3610.60 c LP Gomory cuts 0
3600.02/3610.60 c LP learned cuts 0
3600.02/3610.60 c LP deleted cuts 0
3600.02/3610.60 c LP encountered Gomory constraints 0
3600.02/3610.60 c LP encountered Farkas constraints 0
3600.02/3610.60 c LP encountered learned Farkas constraints 0
3600.02/3610.60 c CG auxiliary variables introduced 0
3600.02/3610.60 c CG solutions found 0
3600.02/3610.60 c CG cores constructed 0
3600.02/3610.60 c CG core cardinality constraints returned 0
3600.02/3610.60 c CG unit cores 0
3600.02/3610.60 c CG single cores 0
3600.02/3610.60 c CG blocks removed during cardinality reduction 0
3600.02/3610.60 c CG first core best 0
3600.02/3610.60 c CG decision core best 0
3600.02/3610.60 c CG core reduction tie 0
3600.02/3610.60 c CG core degree average 0.00
3600.02/3610.60 c CG core slack average 0.00
3600.02/3610.60 c CG exhausted 0
3600.02/3610.60 c CG exhaust time 0 s
3600.02/3610.60 c CG trimmed 0
3600.02/3610.60 c CG trim time 0 s
3600.02/3610.60 c CG minimized 0
3600.02/3610.60 c CG minimize time 0 s
3600.02/3610.60 c CG am1 prop time 0.000445 s
3600.02/3610.60 c CG # am1s reformulated 0
3600.02/3610.60 c CG lower bound derived from am1s 0
3600.02/3610.60 c CG # clausal cores 0
3600.02/3610.60 c CG # cardinality cores 0
3600.02/3610.60 c CG # pb cores 0
3600.02/3610.60 c CG # pb reforms 0
3600.02/3610.60 c CG # cores discarded because of pb reform 0
3600.02/3610.60 d LOWERBOUND 0
3600.02/3610.60 d NCORES 0
3600.02/3610.60 d NPBCORES 0
3600.02/3610.60 d NPBREFORM 0
3600.02/3610.60 d NTRIMMED 0
3600.02/3610.60 d NEXHAUSTED 0
3600.02/3610.60 d NAM1S 0
3600.02/3610.60 d AM1LB 0
3600.02/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63215 MiB free)
memory of node 1: 64465 MiB (63844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491204-1751383219/watcher-4491204-1751383219 -o /tmp/evaluation-result-4491204-1751383219/solver-4491204-1751383219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48629 --watchdog 3760 pb-oll-rs HOME/instance-4491204-1751383219.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48776, runsolver pid=48773
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.09 1.86 2.45 4/247 48777
/proc/meminfo: memFree=130101228/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=20812 memory=8140 CPUtime=0.09 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 535 0 0 0 9 0 0 0 20 0 1 0 54000731 21311488 2035 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 5203 2035 1152 243 0 1452 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20812 KiB
Current children cumulated memory: 8140 KiB
[startup+0.212898 s]*
/proc/loadavg: 1.09 1.86 2.45 5/246 48785
/proc/meminfo: memFree=130100024/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=21080 memory=8268 CPUtime=0.2 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 598 0 0 0 19 1 0 0 20 0 1 0 54000731 21585920 2067 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 5270 2067 1152 243 0 1519 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21080 KiB
Current children cumulated memory: 8268 KiB
[startup+0.312861 s]*
/proc/loadavg: 1.09 1.86 2.45 5/249 48791
/proc/meminfo: memFree=130098164/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=22848 memory=10828 CPUtime=0.29 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 1056 0 0 0 28 1 0 0 20 0 1 0 54000731 23396352 2707 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 5712 2707 1344 243 0 1961 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22848 KiB
Current children cumulated memory: 10828 KiB
[startup+0.700224 s]
/proc/loadavg: 1.09 1.86 2.45 4/247 48797
/proc/meminfo: memFree=130097196/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=22848 memory=10956 CPUtime=0.66 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 1068 0 0 0 63 3 0 0 20 0 1 0 54000731 23396352 2739 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 5712 2739 1344 243 0 1961 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 22848 KiB
Current children cumulated memory: 10956 KiB
[startup+1.5003 s]
/proc/loadavg: 1.40 1.92 2.46 4/248 48817
/proc/meminfo: memFree=130090372/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=23712 memory=13612 CPUtime=1.45 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 1218 0 0 0 140 5 0 0 20 0 1 0 54000731 24281088 3403 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 5928 3403 1344 243 0 2177 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 23712 KiB
Current children cumulated memory: 13612 KiB
[startup+3.11281 s]
/proc/loadavg: 1.40 1.92 2.46 6/246 48908
/proc/meminfo: memFree=130076712/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=24272 memory=14252 CPUtime=3.04 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 1384 0 0 0 293 11 0 0 20 0 1 0 54000731 24854528 3563 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 6068 3563 1344 243 0 2317 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 24272 KiB
Current children cumulated memory: 14252 KiB
[startup+6.30029 s]
/proc/loadavg: 1.61 1.95 2.47 5/250 48912
/proc/meminfo: memFree=130060936/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=24540 memory=14764 CPUtime=6.22 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 1529 0 0 0 607 15 0 0 20 0 1 0 54000731 25128960 3691 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 6135 3691 1344 243 0 2384 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 24540 KiB
Current children cumulated memory: 14764 KiB
[startup+12.7003 s]
/proc/loadavg: 1.80 1.98 2.48 5/250 48912
/proc/meminfo: memFree=130044448/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=25024 memory=15148 CPUtime=12.61 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 1649 0 0 0 1238 23 0 0 20 0 1 0 54000731 25624576 3787 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 6256 3787 1344 243 0 2505 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 25024 KiB
Current children cumulated memory: 15148 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.05 2.50 5/250 48913
/proc/meminfo: memFree=130027256/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=28856 memory=16172 CPUtime=25.38 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 2006 0 0 0 2501 37 0 0 20 0 1 0 54000731 29548544 4043 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 7214 4043 1344 243 0 3463 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 28856 KiB
Current children cumulated memory: 16172 KiB
[startup+51.1131 s]
/proc/loadavg: 2.95 2.26 2.55 5/251 48914
/proc/meminfo: memFree=129964860/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=29700 memory=17924 CPUtime=50.92 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 2687 0 0 0 5031 61 0 0 20 0 1 0 54000731 30412800 4481 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 7425 4481 1344 243 0 3674 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 29700 KiB
Current children cumulated memory: 17924 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.54 2.63 5/251 48961
/proc/meminfo: memFree=130037100/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=30928 memory=20356 CPUtime=101.95 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 3581 0 0 0 10090 105 0 0 20 0 1 0 54000731 31670272 5089 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 7732 5089 1344 243 0 3981 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 30928 KiB
Current children cumulated memory: 20356 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.81 2.72 5/251 48963
/proc/meminfo: memFree=130008916/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=36768 memory=22404 CPUtime=161.8 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 4253 0 0 0 16030 150 0 0 20 0 1 0 54000731 37650432 5601 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 9192 5601 1344 243 0 5441 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 36768 KiB
Current children cumulated memory: 22404 KiB
[startup+222.3 s]
/proc/loadavg: 4.55 3.19 2.86 5/252 48968
/proc/meminfo: memFree=130034912/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=37656 memory=23940 CPUtime=221.62 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 4787 0 0 0 21969 193 0 0 20 0 1 0 54000731 38559744 5985 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 9414 5985 1344 243 0 5663 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 37656 KiB
Current children cumulated memory: 23940 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 3.41 2.96 5/252 48974
/proc/meminfo: memFree=130009124/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=38316 memory=25348 CPUtime=281.42 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 5238 0 0 0 27908 234 0 0 20 0 1 0 54000731 39235584 6337 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 9579 6337 1344 243 0 5828 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 38316 KiB
Current children cumulated memory: 25348 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 3.55 3.04 5/252 48976
/proc/meminfo: memFree=130001640/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=38772 memory=27936 CPUtime=341.25 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 5431 0 0 0 33858 267 0 0 20 0 1 0 54000731 39702528 6984 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 9693 6984 1344 243 0 5942 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 38772 KiB
Current children cumulated memory: 27936 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.66 3.11 5/250 48978
/proc/meminfo: memFree=130008800/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=39100 memory=28320 CPUtime=401.06 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 5637 0 0 0 39808 298 0 0 20 0 1 0 54000731 40038400 7080 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 9775 7080 1344 243 0 6024 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 39100 KiB
Current children cumulated memory: 28320 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.74 3.17 5/251 48981
/proc/meminfo: memFree=130000280/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=39944 memory=29084 CPUtime=460.87 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 5896 0 0 0 45758 329 0 0 20 0 1 0 54000731 40902656 7271 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 9986 7271 1344 243 0 6235 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
Current children cumulated memory: 77764 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/250 49103
/proc/meminfo: memFree=129878784/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=102632 memory=78276 CPUtime=2853.8 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 14081 0 0 0 284507 873 0 0 20 0 1 0 54000731 105095168 19569 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 25658 19569 1344 243 0 21907 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 102632 KiB
Current children cumulated memory: 78276 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/250 49105
/proc/meminfo: memFree=129872696/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=103912 memory=81044 CPUtime=2913.6 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 14277 0 0 0 290482 878 0 0 20 0 1 0 54000731 106405888 20261 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 25978 20261 1344 243 0 22227 0
Current children cumulated CPU time: 2913.6 s
Current children cumulated vsize: 103912 KiB
Current children cumulated memory: 81044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/249 49107
/proc/meminfo: memFree=129864368/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=104424 memory=83636 CPUtime=2973.42 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 14705 0 0 0 296454 888 0 0 20 0 1 0 54000731 106930176 20909 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26106 20909 1344 243 0 22355 0
Current children cumulated CPU time: 2973.42 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 83636 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/249 49109
/proc/meminfo: memFree=129865084/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=104424 memory=85044 CPUtime=3033.24 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 14707 0 0 0 302428 896 0 0 20 0 1 0 54000731 106930176 21261 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26106 21261 1344 243 0 22355 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 85044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/249 49111
/proc/meminfo: memFree=129866480/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=104424 memory=85044 CPUtime=3093.08 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 14707 0 0 0 308404 904 0 0 20 0 1 0 54000731 106930176 21261 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26106 21261 1344 243 0 22355 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 85044 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/249 49113
/proc/meminfo: memFree=129869732/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=104424 memory=85044 CPUtime=3152.92 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15018 0 0 0 314377 915 0 0 20 0 1 0 54000731 106930176 21261 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26106 21261 1344 243 0 22355 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 85044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.05 5/250 49118
/proc/meminfo: memFree=129870060/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=104424 memory=85044 CPUtime=3212.75 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15020 0 0 0 320351 924 0 0 20 0 1 0 54000731 106930176 21261 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26106 21261 1344 243 0 22355 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 85044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/250 49124
/proc/meminfo: memFree=129865520/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=85428 CPUtime=3272.6 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15121 0 0 0 326323 937 0 0 20 0 1 0 54000731 107532288 21357 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21357 1344 243 0 22502 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 85428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/251 49127
/proc/meminfo: memFree=129863324/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=86324 CPUtime=3332.43 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15135 0 0 0 332294 949 0 0 20 0 1 0 54000731 107532288 21581 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21581 1344 243 0 22502 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/251 49129
/proc/meminfo: memFree=129866072/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=86324 CPUtime=3392.27 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15135 0 0 0 338265 962 0 0 20 0 1 0 54000731 107532288 21581 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21581 1344 243 0 22502 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/251 49131
/proc/meminfo: memFree=129867012/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=86324 CPUtime=3452.11 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15135 0 0 0 344232 979 0 0 20 0 1 0 54000731 107532288 21581 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21581 1344 243 0 22502 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/251 49133
/proc/meminfo: memFree=129865008/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=86324 CPUtime=3511.95 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15135 0 0 0 350204 991 0 0 20 0 1 0 54000731 107532288 21581 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21581 1344 243 0 22502 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/251 49135
/proc/meminfo: memFree=129860208/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=86324 CPUtime=3571.79 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15136 0 0 0 356177 1002 0 0 20 0 1 0 54000731 107532288 21581 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21581 1344 243 0 22502 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.09 4.09 4.06 4/248 49145
/proc/meminfo: memFree=129957112/131382120 swapFree=33010416/33010684
[pid=48776] ppid=48773 vsize=105012 memory=86324 CPUtime=3600.02 cores=1,3
/proc/48776/stat : 48776 (pb-oll-rs) R 48773 48776 48617 0 -1 4194304 15136 0 0 0 358996 1006 0 0 20 0 1 0 54000731 107532288 21581 18446744073709551615 4218880 5211445 140729487138688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 18903040 140729487145372 140729487145449 140729487145449 140729487151051 0
/proc/48776/statm: 26253 21581 1344 243 0 22502 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 48776 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.97 s, system=10.0637 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.6
CPU time (s): 3600.03
CPU user time (s): 3589.97
CPU system time (s): 10.0637
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 105888
Max. memory (cumulated for all children) (KiB): 86324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.97
system time used= 10.0637
maximum resident set size= 86580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15150
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= 112
involuntary context switches= 1743
# summary of solver processes directly reported to runsolver:
# pid: 48776
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.97
# total CPU system time (s): 10.0637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0099 second user time and 37.7655 second system time
The end
Begin job on nodeC002 at 2025-07-01 17:20:19
IDJOB=4491204
IDBENCH=147690
IDSOLVER=3345
FILE ID=nodeC002/4491204-1751383219
RUNJOBID= nodeC002-1751383217-48629
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4491204-1751383219/watcher-4491204-1751383219 -o /tmp/evaluation-result-4491204-1751383219/solver-4491204-1751383219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48629 --watchdog 3760 pb-oll-rs HOME/instance-4491204-1751383219.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=577065719
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2993.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1197.229
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.373
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.527
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 2993.098
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.511
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1183.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130108676 kB
MemAvailable: 129896676 kB
Buffers: 2128 kB
Cached: 597040 kB
SwapCached: 28 kB
Active: 423120 kB
Inactive: 294452 kB
Active(anon): 129940 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 288048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8340 kB
Writeback: 0 kB
AnonPages: 121616 kB
Mapped: 105556 kB
Shmem: 17932 kB
KReclaimable: 92800 kB
Slab: 176868 kB
SReclaimable: 92800 kB
SUnreclaim: 84068 kB
KernelStack: 4112 kB
PageTables: 3228 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 445708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC002 at 2025-07-01 18:20:30