0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 124 #constraints 1676
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.004531
0.00/0.01 c stratification level: 0
0.00/0.04 c #Conflicts: 1000 | #Constraints: 2675
0.00/0.04 c bounds - >= 1 @ 0.028896
0.00/0.04 c finalizing WCE round: reformulating cores
4.77/4.83 c #Conflicts: 2000 | #Constraints: 3679
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c bounds 5 >= 1 @ 0.058309
4.77/4.83 c #Conflicts: 3000 | #Constraints: 3690
4.77/4.83 c #Conflicts: 4000 | #Constraints: 4690
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 5000 | #Constraints: 4096
4.77/4.83 c #Conflicts: 6000 | #Constraints: 5096
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 7000 | #Constraints: 4099
4.77/4.83 c #Conflicts: 8000 | #Constraints: 5099
4.77/4.83 c #Conflicts: 9000 | #Constraints: 6099
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 10000 | #Constraints: 4801
4.77/4.83 c #Conflicts: 11000 | #Constraints: 5801
4.77/4.83 c #Conflicts: 12000 | #Constraints: 6801
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 13000 | #Constraints: 5250
4.77/4.83 c #Conflicts: 14000 | #Constraints: 6250
4.77/4.83 c #Conflicts: 15000 | #Constraints: 7250
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 16000 | #Constraints: 5477
4.77/4.83 c #Conflicts: 17000 | #Constraints: 6477
4.77/4.83 c #Conflicts: 18000 | #Constraints: 7477
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 19000 | #Constraints: 5495
4.77/4.83 c #Conflicts: 20000 | #Constraints: 6495
4.77/4.83 c #Conflicts: 21000 | #Constraints: 7495
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 22000 | #Constraints: 5300
4.77/4.83 c #Conflicts: 23000 | #Constraints: 6300
4.77/4.83 c #Conflicts: 24000 | #Constraints: 7300
4.77/4.83 c #Conflicts: 25000 | #Constraints: 8300
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 26000 | #Constraints: 5900
4.77/4.83 c #Conflicts: 27000 | #Constraints: 6900
4.77/4.83 c #Conflicts: 28000 | #Constraints: 7900
4.77/4.83 c #Conflicts: 29000 | #Constraints: 8900
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 30000 | #Constraints: 6307
4.77/4.83 c #Conflicts: 31000 | #Constraints: 7307
4.77/4.83 c #Conflicts: 32000 | #Constraints: 8307
4.77/4.83 c #Conflicts: 33000 | #Constraints: 9307
4.77/4.83 c bounds 5 >= 2 @ 1.9234
4.77/4.83 c #Conflicts: 34000 | #Constraints: 10310
4.77/4.83 c #Conflicts: 35000 | #Constraints: 11310
4.77/4.83 c #Conflicts: 36000 | #Constraints: 12310
4.77/4.83 c #Conflicts: 37000 | #Constraints: 13310
4.77/4.83 c #Conflicts: 38000 | #Constraints: 14310
4.77/4.83 c #Conflicts: 39000 | #Constraints: 15310
4.77/4.83 c #Conflicts: 40000 | #Constraints: 16310
4.77/4.83 c #Conflicts: 41000 | #Constraints: 17310
4.77/4.83 c #Conflicts: 42000 | #Constraints: 18310
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 43000 | #Constraints: 9185
4.77/4.83 c #Conflicts: 44000 | #Constraints: 10185
4.77/4.83 c #Conflicts: 45000 | #Constraints: 11185
4.77/4.83 c #Conflicts: 46000 | #Constraints: 12185
4.77/4.83 c #Conflicts: 47000 | #Constraints: 13185
4.77/4.83 c #Conflicts: 48000 | #Constraints: 14185
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 49000 | #Constraints: 8950
4.77/4.83 c #Conflicts: 50000 | #Constraints: 9950
4.77/4.83 c #Conflicts: 51000 | #Constraints: 10950
4.77/4.83 c #Conflicts: 52000 | #Constraints: 11950
4.77/4.83 c #Conflicts: 53000 | #Constraints: 12950
4.77/4.83 c INPROCESSING
4.77/4.83 c GARBAGE COLLECT
4.77/4.83 c #Conflicts: 54000 | #Constraints: 8177
4.77/4.83 c #Conflicts: 55000 | #Constraints: 9177
4.77/4.83 c #Conflicts: 56000 | #Constraints: 10177
4.77/4.83 c #Conflicts: 57000 | #Constraints: 11177
4.77/4.83 c #Conflicts: 58000 | #Constraints: 12177
4.77/4.83 c #Conflicts: 59000 | #Constraints: 13177
4.77/4.83 c #Conflicts: 60000 | #Constraints: 14177
4.77/4.83 c #Conflicts: 61000 | #Constraints: 15177
4.77/4.83 c #Conflicts: 62000 | #Constraints: 16177
4.77/4.83 c #Conflicts: 63000 | #Constraints: 17177
4.77/4.83 c #Conflicts: 64000 | #Constraints: 18177
4.77/4.83 c #Conflicts: 65000 | #Constraints: 19177
4.77/4.83 c #Conflicts: 66000 | #Constraints: 20177
4.77/4.83 c #Conflicts: 67000 | #Constraints: 21177
4.77/4.83 c #Conflicts: 68000 | #Constraints: 22177
4.77/4.83 c #Conflicts: 69000 | #Constraints: 23177
4.77/4.83 c #Conflicts: 70000 | #Constraints: 24177
4.77/4.83 c #Conflicts: 71000 | #Constraints: 25177
11.06/11.16 c INPROCESSING
11.06/11.16 c GARBAGE COLLECT
11.06/11.16 c #Conflicts: 72000 | #Constraints: 14242
11.06/11.16 c #Conflicts: 73000 | #Constraints: 15242
11.06/11.16 c #Conflicts: 74000 | #Constraints: 16242
11.06/11.16 c #Conflicts: 75000 | #Constraints: 17242
11.06/11.16 c #Conflicts: 76000 | #Constraints: 18242
11.06/11.16 c #Conflicts: 77000 | #Constraints: 19242
11.06/11.16 c #Conflicts: 78000 | #Constraints: 20242
11.06/11.16 c INPROCESSING
11.06/11.16 c GARBAGE COLLECT
11.06/11.16 c #Conflicts: 79000 | #Constraints: 11978
11.06/11.16 c #Conflicts: 80000 | #Constraints: 12978
11.06/11.16 c #Conflicts: 81000 | #Constraints: 13978
11.06/11.16 c #Conflicts: 82000 | #Constraints: 14978
11.06/11.16 c #Conflicts: 83000 | #Constraints: 15978
11.06/11.16 c #Conflicts: 84000 | #Constraints: 16978
11.06/11.16 c #Conflicts: 85000 | #Constraints: 17978
11.06/11.16 c #Conflicts: 86000 | #Constraints: 18978
11.06/11.16 c #Conflicts: 87000 | #Constraints: 19978
11.06/11.16 c #Conflicts: 88000 | #Constraints: 20978
11.06/11.16 c #Conflicts: 89000 | #Constraints: 21978
11.06/11.16 c #Conflicts: 90000 | #Constraints: 22978
11.06/11.16 c #Conflicts: 91000 | #Constraints: 23978
11.06/11.16 c #Conflicts: 92000 | #Constraints: 24978
11.06/11.16 c #Conflicts: 93000 | #Constraints: 25978
11.06/11.16 c #Conflicts: 94000 | #Constraints: 26978
11.06/11.16 c #Conflicts: 95000 | #Constraints: 27978
11.06/11.16 c #Conflicts: 96000 | #Constraints: 28978
11.06/11.16 c #Conflicts: 97000 | #Constraints: 29978
11.06/11.16 c #Conflicts: 98000 | #Constraints: 30978
11.06/11.16 c #Conflicts: 99000 | #Constraints: 31978
11.06/11.16 c INPROCESSING
11.06/11.16 c GARBAGE COLLECT
11.06/11.16 c #Conflicts: 100000 | #Constraints: 17751
11.06/11.16 c #Conflicts: 101000 | #Constraints: 18751
11.06/11.16 c #Conflicts: 102000 | #Constraints: 19751
11.06/11.16 c #Conflicts: 103000 | #Constraints: 20751
11.06/11.16 c #Conflicts: 104000 | #Constraints: 21751
11.06/11.16 c #Conflicts: 105000 | #Constraints: 22751
11.06/11.16 c #Conflicts: 106000 | #Constraints: 23751
11.06/11.16 c #Conflicts: 107000 | #Constraints: 24751
11.06/11.16 c INPROCESSING
11.06/11.16 c GARBAGE COLLECT
11.06/11.16 c #Conflicts: 108000 | #Constraints: 14184
11.06/11.16 c #Conflicts: 109000 | #Constraints: 15184
11.06/11.16 c #Conflicts: 110000 | #Constraints: 16184
11.06/11.16 c #Conflicts: 111000 | #Constraints: 17184
11.06/11.16 c #Conflicts: 112000 | #Constraints: 18184
11.06/11.16 c #Conflicts: 113000 | #Constraints: 19184
11.06/11.16 c #Conflicts: 114000 | #Constraints: 20184
11.06/11.16 c #Conflicts: 115000 | #Constraints: 21184
11.06/11.16 c #Conflicts: 116000 | #Constraints: 22184
11.06/11.16 c #Conflicts: 117000 | #Constraints: 23184
11.06/11.16 c #Conflicts: 118000 | #Constraints: 24184
11.06/11.16 c #Conflicts: 119000 | #Constraints: 25184
11.06/11.16 c #Conflicts: 120000 | #Constraints: 26184
11.06/11.16 c #Conflicts: 121000 | #Constraints: 27184
11.06/11.16 c #Conflicts: 122000 | #Constraints: 28184
11.06/11.16 c #Conflicts: 123000 | #Constraints: 29184
11.06/11.16 c #Conflicts: 124000 | #Constraints: 30184
11.06/11.16 c #Conflicts: 125000 | #Constraints: 31184
11.06/11.16 c #Conflicts: 126000 | #Constraints: 32184
11.06/11.16 c #Conflicts: 127000 | #Constraints: 33184
11.06/11.16 c #Conflicts: 128000 | #Constraints: 34184
11.06/11.16 c #Conflicts: 129000 | #Constraints: 35184
11.06/11.16 c #Conflicts: 130000 | #Constraints: 36184
11.06/11.16 c #Conflicts: 131000 | #Constraints: 37184
11.06/11.16 c INPROCESSING
11.06/11.16 c GARBAGE COLLECT
11.06/11.16 c #Conflicts: 132000 | #Constraints: 20251
11.06/11.16 c #Conflicts: 133000 | #Constraints: 21251
11.06/11.16 c #Conflicts: 134000 | #Constraints: 22251
11.06/11.16 c #Conflicts: 135000 | #Constraints: 23251
11.06/11.16 c #Conflicts: 136000 | #Constraints: 24251
11.06/11.16 c #Conflicts: 137000 | #Constraints: 25251
11.06/11.16 c #Conflicts: 138000 | #Constraints: 26251
11.06/11.16 c #Conflicts: 139000 | #Constraints: 27251
11.06/11.16 c #Conflicts: 140000 | #Constraints: 28251
11.06/11.16 c INPROCESSING
11.06/11.16 c GARBAGE COLLECT
11.06/11.16 c #Conflicts: 141000 | #Constraints: 15687
11.06/11.16 c #Conflicts: 142000 | #Constraints: 16687
11.06/11.16 c #Conflicts: 143000 | #Constraints: 17687
11.06/11.16 c #Conflicts: 144000 | #Constraints: 18687
11.06/11.16 c #Conflicts: 145000 | #Constraints: 19687
11.06/11.16 c #Conflicts: 146000 | #Constraints: 20687
16.35/16.45 c #Conflicts: 147000 | #Constraints: 21687
16.35/16.45 c #Conflicts: 148000 | #Constraints: 22687
16.35/16.45 c #Conflicts: 149000 | #Constraints: 23687
16.35/16.45 c #Conflicts: 150000 | #Constraints: 24687
16.35/16.45 c #Conflicts: 151000 | #Constraints: 25687
16.35/16.45 c #Conflicts: 152000 | #Constraints: 26687
16.35/16.45 c #Conflicts: 153000 | #Constraints: 27687
16.35/16.45 c #Conflicts: 154000 | #Constraints: 28687
16.35/16.45 c #Conflicts: 155000 | #Constraints: 29687
16.35/16.45 c #Conflicts: 156000 | #Constraints: 30687
16.35/16.45 c #Conflicts: 157000 | #Constraints: 31687
16.35/16.45 c bounds 5 >= 3 @ 12.0485
16.35/16.45 c #Conflicts: 158000 | #Constraints: 32690
16.35/16.45 c #Conflicts: 159000 | #Constraints: 33690
16.35/16.45 c #Conflicts: 160000 | #Constraints: 34690
16.35/16.45 c #Conflicts: 161000 | #Constraints: 35690
16.35/16.45 c #Conflicts: 162000 | #Constraints: 36690
16.35/16.45 c #Conflicts: 163000 | #Constraints: 37690
16.35/16.45 c #Conflicts: 164000 | #Constraints: 38690
16.35/16.45 c #Conflicts: 165000 | #Constraints: 39690
16.35/16.45 c #Conflicts: 166000 | #Constraints: 40690
16.35/16.45 c #Conflicts: 167000 | #Constraints: 41690
16.35/16.45 c #Conflicts: 168000 | #Constraints: 42690
16.35/16.45 c INPROCESSING
16.35/16.45 c GARBAGE COLLECT
16.35/16.45 c #Conflicts: 169000 | #Constraints: 18415
16.35/16.45 c #Conflicts: 170000 | #Constraints: 19415
16.35/16.45 c #Conflicts: 171000 | #Constraints: 20415
16.35/16.45 c #Conflicts: 172000 | #Constraints: 21415
16.35/16.45 c #Conflicts: 173000 | #Constraints: 22415
16.35/16.45 c #Conflicts: 174000 | #Constraints: 23415
16.35/16.45 c #Conflicts: 175000 | #Constraints: 24415
16.35/16.45 c #Conflicts: 176000 | #Constraints: 25415
16.35/16.45 c #Conflicts: 177000 | #Constraints: 26415
16.35/16.45 c #Conflicts: 178000 | #Constraints: 27415
16.35/16.45 c #Conflicts: 179000 | #Constraints: 28415
16.35/16.45 c #Conflicts: 180000 | #Constraints: 29415
16.35/16.45 c #Conflicts: 181000 | #Constraints: 30415
16.35/16.45 c #Conflicts: 182000 | #Constraints: 31415
16.35/16.45 c #Conflicts: 183000 | #Constraints: 32415
16.35/16.45 c #Conflicts: 184000 | #Constraints: 33415
16.35/16.45 c #Conflicts: 185000 | #Constraints: 34415
16.35/16.45 c #Conflicts: 186000 | #Constraints: 35415
16.35/16.45 c #Conflicts: 187000 | #Constraints: 36415
16.35/16.45 c #Conflicts: 188000 | #Constraints: 37415
16.35/16.45 c #Conflicts: 189000 | #Constraints: 38415
16.35/16.45 c #Conflicts: 190000 | #Constraints: 39415
16.35/16.45 c #Conflicts: 191000 | #Constraints: 40415
16.35/16.45 c #Conflicts: 192000 | #Constraints: 41415
16.35/16.45 c #Conflicts: 193000 | #Constraints: 42415
16.35/16.45 c #Conflicts: 194000 | #Constraints: 43415
16.35/16.45 c #Conflicts: 195000 | #Constraints: 44415
16.35/16.45 c #Conflicts: 196000 | #Constraints: 45415
16.35/16.45 c #Conflicts: 197000 | #Constraints: 46415
16.35/16.45 c INPROCESSING
16.35/16.45 c GARBAGE COLLECT
16.35/16.45 c #Conflicts: 198000 | #Constraints: 24871
16.35/16.45 c #Conflicts: 199000 | #Constraints: 25871
16.35/16.45 c #Conflicts: 200000 | #Constraints: 26871
16.35/16.45 c #Conflicts: 201000 | #Constraints: 27871
16.35/16.45 c #Conflicts: 202000 | #Constraints: 28871
16.35/16.45 c #Conflicts: 203000 | #Constraints: 29871
16.35/16.45 c #Conflicts: 204000 | #Constraints: 30871
16.35/16.45 c #Conflicts: 205000 | #Constraints: 31871
16.35/16.45 c #Conflicts: 206000 | #Constraints: 32871
16.35/16.45 c #Conflicts: 207000 | #Constraints: 33871
16.35/16.45 c #Conflicts: 208000 | #Constraints: 34871
16.35/16.45 c #Conflicts: 209000 | #Constraints: 35871
16.35/16.45 c INPROCESSING
16.35/16.45 c GARBAGE COLLECT
16.35/16.45 c #Conflicts: 210000 | #Constraints: 19795
16.35/16.45 c #Conflicts: 211000 | #Constraints: 20795
16.35/16.45 c #Conflicts: 212000 | #Constraints: 21795
16.35/16.45 c #Conflicts: 213000 | #Constraints: 22795
16.35/16.45 c #Conflicts: 214000 | #Constraints: 23795
16.35/16.45 c #Conflicts: 215000 | #Constraints: 24795
16.35/16.45 c #Conflicts: 216000 | #Constraints: 25795
16.35/16.45 c #Conflicts: 217000 | #Constraints: 26795
16.35/16.45 c #Conflicts: 218000 | #Constraints: 27795
16.35/16.45 c #Conflicts: 219000 | #Constraints: 28795
16.35/16.45 c #Conflicts: 220000 | #Constraints: 29795
16.35/16.45 c #Conflicts: 221000 | #Constraints: 30795
16.35/16.45 c #Conflicts: 222000 | #Constraints: 31795
20.74/20.89 c #Conflicts: 223000 | #Constraints: 32795
20.74/20.89 c #Conflicts: 224000 | #Constraints: 33795
20.74/20.89 c #Conflicts: 225000 | #Constraints: 34795
20.74/20.89 c #Conflicts: 226000 | #Constraints: 35795
20.74/20.89 c #Conflicts: 227000 | #Constraints: 36795
20.74/20.89 c #Conflicts: 228000 | #Constraints: 37795
20.74/20.89 c #Conflicts: 229000 | #Constraints: 38795
20.74/20.89 c #Conflicts: 230000 | #Constraints: 39795
20.74/20.89 c #Conflicts: 231000 | #Constraints: 40795
20.74/20.89 c #Conflicts: 232000 | #Constraints: 41795
20.74/20.89 c #Conflicts: 233000 | #Constraints: 42795
20.74/20.89 c #Conflicts: 234000 | #Constraints: 43795
20.74/20.89 c #Conflicts: 235000 | #Constraints: 44795
20.74/20.89 c #Conflicts: 236000 | #Constraints: 45795
20.74/20.89 c #Conflicts: 237000 | #Constraints: 46795
20.74/20.89 c #Conflicts: 238000 | #Constraints: 47795
20.74/20.89 c #Conflicts: 239000 | #Constraints: 48795
20.74/20.89 c #Conflicts: 240000 | #Constraints: 49795
20.74/20.89 c #Conflicts: 241000 | #Constraints: 50795
20.74/20.89 c INPROCESSING
20.74/20.89 c GARBAGE COLLECT
20.74/20.89 c #Conflicts: 242000 | #Constraints: 27010
20.74/20.89 c #Conflicts: 243000 | #Constraints: 28010
20.74/20.89 c #Conflicts: 244000 | #Constraints: 29010
20.74/20.89 c #Conflicts: 245000 | #Constraints: 30010
20.74/20.89 c #Conflicts: 246000 | #Constraints: 31010
20.74/20.89 c #Conflicts: 247000 | #Constraints: 32010
20.74/20.89 c #Conflicts: 248000 | #Constraints: 33010
20.74/20.89 c #Conflicts: 249000 | #Constraints: 34010
20.74/20.89 c #Conflicts: 250000 | #Constraints: 35010
20.74/20.89 c #Conflicts: 251000 | #Constraints: 36010
20.74/20.89 c #Conflicts: 252000 | #Constraints: 37010
20.74/20.89 c #Conflicts: 253000 | #Constraints: 38010
20.74/20.89 c #Conflicts: 254000 | #Constraints: 39010
20.74/20.89 c INPROCESSING
20.74/20.89 c GARBAGE COLLECT
20.74/20.89 c #Conflicts: 255000 | #Constraints: 21164
20.74/20.89 c #Conflicts: 256000 | #Constraints: 22164
20.74/20.89 c #Conflicts: 257000 | #Constraints: 23164
20.74/20.89 c #Conflicts: 258000 | #Constraints: 24164
20.74/20.89 c #Conflicts: 259000 | #Constraints: 25164
20.74/20.89 c #Conflicts: 260000 | #Constraints: 26164
20.74/20.89 c #Conflicts: 261000 | #Constraints: 27164
20.74/20.89 c #Conflicts: 262000 | #Constraints: 28164
20.74/20.89 c #Conflicts: 263000 | #Constraints: 29164
20.74/20.89 c #Conflicts: 264000 | #Constraints: 30164
20.74/20.89 c #Conflicts: 265000 | #Constraints: 31164
20.74/20.89 c #Conflicts: 266000 | #Constraints: 32164
20.74/20.89 c #Conflicts: 267000 | #Constraints: 33164
20.74/20.89 c #Conflicts: 268000 | #Constraints: 34164
20.74/20.89 c #Conflicts: 269000 | #Constraints: 35164
20.74/20.89 c #Conflicts: 270000 | #Constraints: 36164
20.74/20.89 c #Conflicts: 271000 | #Constraints: 37164
20.74/20.89 c #Conflicts: 272000 | #Constraints: 38164
20.74/20.89 c #Conflicts: 273000 | #Constraints: 39164
20.74/20.89 c #Conflicts: 274000 | #Constraints: 40164
20.74/20.89 c #Conflicts: 275000 | #Constraints: 41164
20.74/20.89 c #Conflicts: 276000 | #Constraints: 42164
20.74/20.89 c #Conflicts: 277000 | #Constraints: 43164
20.74/20.89 c #Conflicts: 278000 | #Constraints: 44164
20.74/20.89 c #Conflicts: 279000 | #Constraints: 45164
20.74/20.89 c #Conflicts: 280000 | #Constraints: 46164
20.74/20.89 c #Conflicts: 281000 | #Constraints: 47164
20.74/20.89 c #Conflicts: 282000 | #Constraints: 48164
20.74/20.89 c #Conflicts: 283000 | #Constraints: 49164
20.74/20.89 c #Conflicts: 284000 | #Constraints: 50164
20.74/20.89 c #Conflicts: 285000 | #Constraints: 51164
20.74/20.89 c #Conflicts: 286000 | #Constraints: 52164
20.74/20.89 c #Conflicts: 287000 | #Constraints: 53164
20.74/20.89 c #Conflicts: 288000 | #Constraints: 54164
20.74/20.89 c #Conflicts: 289000 | #Constraints: 55164
20.74/20.89 c #Conflicts: 290000 | #Constraints: 56164
20.74/20.89 c INPROCESSING
20.74/20.89 c GARBAGE COLLECT
20.74/20.89 c #Conflicts: 291000 | #Constraints: 29948
20.74/20.89 c #Conflicts: 292000 | #Constraints: 30948
20.74/20.89 c #Conflicts: 293000 | #Constraints: 31948
20.74/20.89 c #Conflicts: 294000 | #Constraints: 32948
20.74/20.89 c #Conflicts: 295000 | #Constraints: 33948
20.74/20.89 c #Conflicts: 296000 | #Constraints: 34948
20.74/20.89 c #Conflicts: 297000 | #Constraints: 35948
20.74/20.89 c #Conflicts: 298000 | #Constraints: 36948
20.74/20.89 c #Conflicts: 299000 | #Constraints: 37948
25.43/25.57 c #Conflicts: 300000 | #Constraints: 38948
25.43/25.57 c #Conflicts: 301000 | #Constraints: 39948
25.43/25.57 c #Conflicts: 302000 | #Constraints: 40948
25.43/25.57 c #Conflicts: 303000 | #Constraints: 41948
25.43/25.57 c #Conflicts: 304000 | #Constraints: 42948
25.43/25.57 c INPROCESSING
25.43/25.57 c GARBAGE COLLECT
25.43/25.57 c #Conflicts: 305000 | #Constraints: 23238
25.43/25.57 c #Conflicts: 306000 | #Constraints: 24238
25.43/25.57 c #Conflicts: 307000 | #Constraints: 25238
25.43/25.57 c #Conflicts: 308000 | #Constraints: 26238
25.43/25.57 c #Conflicts: 309000 | #Constraints: 27238
25.43/25.57 c #Conflicts: 310000 | #Constraints: 28238
25.43/25.57 c #Conflicts: 311000 | #Constraints: 29238
25.43/25.57 c #Conflicts: 312000 | #Constraints: 30238
25.43/25.57 c #Conflicts: 313000 | #Constraints: 31238
25.43/25.57 c #Conflicts: 314000 | #Constraints: 32238
25.43/25.57 c #Conflicts: 315000 | #Constraints: 33238
25.43/25.57 c #Conflicts: 316000 | #Constraints: 34238
25.43/25.57 c #Conflicts: 317000 | #Constraints: 35238
25.43/25.57 c #Conflicts: 318000 | #Constraints: 36238
25.43/25.57 c #Conflicts: 319000 | #Constraints: 37238
25.43/25.57 c #Conflicts: 320000 | #Constraints: 38238
25.43/25.57 c #Conflicts: 321000 | #Constraints: 39238
25.43/25.57 c #Conflicts: 322000 | #Constraints: 40238
25.43/25.57 c #Conflicts: 323000 | #Constraints: 41238
25.43/25.57 c #Conflicts: 324000 | #Constraints: 42238
25.43/25.57 c #Conflicts: 325000 | #Constraints: 43238
25.43/25.57 c #Conflicts: 326000 | #Constraints: 44238
25.43/25.57 c #Conflicts: 327000 | #Constraints: 45238
25.43/25.57 c #Conflicts: 328000 | #Constraints: 46238
25.43/25.57 c #Conflicts: 329000 | #Constraints: 47238
25.43/25.57 c #Conflicts: 330000 | #Constraints: 48238
25.43/25.57 c #Conflicts: 331000 | #Constraints: 49238
25.43/25.57 c #Conflicts: 332000 | #Constraints: 50238
25.43/25.57 c #Conflicts: 333000 | #Constraints: 51238
25.43/25.57 c #Conflicts: 334000 | #Constraints: 52238
25.43/25.57 c #Conflicts: 335000 | #Constraints: 53238
25.43/25.57 c #Conflicts: 336000 | #Constraints: 54238
25.43/25.57 c #Conflicts: 337000 | #Constraints: 55238
25.43/25.57 c #Conflicts: 338000 | #Constraints: 56238
25.43/25.57 c #Conflicts: 339000 | #Constraints: 57238
25.43/25.57 c #Conflicts: 340000 | #Constraints: 58238
25.43/25.57 c #Conflicts: 341000 | #Constraints: 59238
25.43/25.57 c #Conflicts: 342000 | #Constraints: 60238
25.43/25.57 c INPROCESSING
25.43/25.57 c GARBAGE COLLECT
25.43/25.57 c #Conflicts: 343000 | #Constraints: 31532
25.43/25.57 c #Conflicts: 344000 | #Constraints: 32532
25.43/25.57 c #Conflicts: 345000 | #Constraints: 33532
25.43/25.57 c #Conflicts: 346000 | #Constraints: 34532
25.43/25.57 c #Conflicts: 347000 | #Constraints: 35532
25.43/25.57 c #Conflicts: 348000 | #Constraints: 36532
25.43/25.57 c #Conflicts: 349000 | #Constraints: 37532
25.43/25.57 c #Conflicts: 350000 | #Constraints: 38532
25.43/25.57 c #Conflicts: 351000 | #Constraints: 39532
25.43/25.57 c #Conflicts: 352000 | #Constraints: 40532
25.43/25.57 c #Conflicts: 353000 | #Constraints: 41532
25.43/25.57 c #Conflicts: 354000 | #Constraints: 42532
25.43/25.57 c #Conflicts: 355000 | #Constraints: 43532
25.43/25.57 c #Conflicts: 356000 | #Constraints: 44532
25.43/25.57 c #Conflicts: 357000 | #Constraints: 45532
25.43/25.57 c #Conflicts: 358000 | #Constraints: 46532
25.43/25.57 c INPROCESSING
25.43/25.57 c GARBAGE COLLECT
25.43/25.57 c #Conflicts: 359000 | #Constraints: 24927
25.43/25.57 c #Conflicts: 360000 | #Constraints: 25927
25.43/25.57 c #Conflicts: 361000 | #Constraints: 26927
25.43/25.57 c #Conflicts: 362000 | #Constraints: 27927
25.43/25.57 c #Conflicts: 363000 | #Constraints: 28927
25.43/25.57 c #Conflicts: 364000 | #Constraints: 29927
25.43/25.57 c #Conflicts: 365000 | #Constraints: 30927
25.43/25.57 c #Conflicts: 366000 | #Constraints: 31927
25.43/25.57 c #Conflicts: 367000 | #Constraints: 32927
25.43/25.57 c #Conflicts: 368000 | #Constraints: 33927
25.43/25.57 c #Conflicts: 369000 | #Constraints: 34927
25.43/25.57 c #Conflicts: 370000 | #Constraints: 35927
25.43/25.57 c #Conflicts: 371000 | #Constraints: 36927
25.43/25.57 c #Conflicts: 372000 | #Constraints: 37927
25.43/25.57 c #Conflicts: 373000 | #Constraints: 38927
25.43/25.57 c #Conflicts: 374000 | #Constraints: 39927
25.43/25.57 c #Conflicts: 375000 | #Constraints: 40927
25.43/25.57 c #Conflicts: 376000 | #Constraints: 41927
31.61/31.71 c #Conflicts: 377000 | #Constraints: 42927
31.61/31.71 c #Conflicts: 378000 | #Constraints: 43927
31.61/31.71 c #Conflicts: 379000 | #Constraints: 44927
31.61/31.71 c #Conflicts: 380000 | #Constraints: 45927
31.61/31.71 c #Conflicts: 381000 | #Constraints: 46927
31.61/31.71 c #Conflicts: 382000 | #Constraints: 47927
31.61/31.71 c #Conflicts: 383000 | #Constraints: 48927
31.61/31.71 c #Conflicts: 384000 | #Constraints: 49927
31.61/31.71 c #Conflicts: 385000 | #Constraints: 50927
31.61/31.71 c #Conflicts: 386000 | #Constraints: 51927
31.61/31.71 c #Conflicts: 387000 | #Constraints: 52927
31.61/31.71 c #Conflicts: 388000 | #Constraints: 53927
31.61/31.71 c #Conflicts: 389000 | #Constraints: 54927
31.61/31.71 c #Conflicts: 390000 | #Constraints: 55927
31.61/31.71 c #Conflicts: 391000 | #Constraints: 56927
31.61/31.71 c #Conflicts: 392000 | #Constraints: 57927
31.61/31.71 c #Conflicts: 393000 | #Constraints: 58927
31.61/31.71 c #Conflicts: 394000 | #Constraints: 59927
31.61/31.71 c #Conflicts: 395000 | #Constraints: 60927
31.61/31.71 c #Conflicts: 396000 | #Constraints: 61927
31.61/31.71 c #Conflicts: 397000 | #Constraints: 62927
31.61/31.71 c #Conflicts: 398000 | #Constraints: 63927
31.61/31.71 c #Conflicts: 399000 | #Constraints: 64927
31.61/31.71 c #Conflicts: 400000 | #Constraints: 65927
31.61/31.71 c INPROCESSING
31.61/31.71 c GARBAGE COLLECT
31.61/31.71 c #Conflicts: 401000 | #Constraints: 34726
31.61/31.71 c #Conflicts: 402000 | #Constraints: 35726
31.61/31.71 c #Conflicts: 403000 | #Constraints: 36726
31.61/31.71 c #Conflicts: 404000 | #Constraints: 37726
31.61/31.71 c #Conflicts: 405000 | #Constraints: 38726
31.61/31.71 c #Conflicts: 406000 | #Constraints: 39726
31.61/31.71 c #Conflicts: 407000 | #Constraints: 40726
31.61/31.71 c #Conflicts: 408000 | #Constraints: 41726
31.61/31.71 c #Conflicts: 409000 | #Constraints: 42726
31.61/31.71 c #Conflicts: 410000 | #Constraints: 43726
31.61/31.71 c #Conflicts: 411000 | #Constraints: 44726
31.61/31.71 c #Conflicts: 412000 | #Constraints: 45726
31.61/31.71 c #Conflicts: 413000 | #Constraints: 46726
31.61/31.71 c #Conflicts: 414000 | #Constraints: 47726
31.61/31.71 c #Conflicts: 415000 | #Constraints: 48726
31.61/31.71 c #Conflicts: 416000 | #Constraints: 49726
31.61/31.71 c #Conflicts: 417000 | #Constraints: 50726
31.61/31.71 c INPROCESSING
31.61/31.71 c GARBAGE COLLECT
31.61/31.71 c #Conflicts: 418000 | #Constraints: 27226
31.61/31.71 c #Conflicts: 419000 | #Constraints: 28226
31.61/31.71 c #Conflicts: 420000 | #Constraints: 29226
31.61/31.71 c #Conflicts: 421000 | #Constraints: 30226
31.61/31.71 c #Conflicts: 422000 | #Constraints: 31226
31.61/31.71 c #Conflicts: 423000 | #Constraints: 32226
31.61/31.71 c #Conflicts: 424000 | #Constraints: 33226
31.61/31.71 c #Conflicts: 425000 | #Constraints: 34226
31.61/31.71 c #Conflicts: 426000 | #Constraints: 35226
31.61/31.71 c #Conflicts: 427000 | #Constraints: 36226
31.61/31.71 c #Conflicts: 428000 | #Constraints: 37226
31.61/31.71 c #Conflicts: 429000 | #Constraints: 38226
31.61/31.71 c #Conflicts: 430000 | #Constraints: 39226
31.61/31.71 c #Conflicts: 431000 | #Constraints: 40226
31.61/31.71 c #Conflicts: 432000 | #Constraints: 41226
31.61/31.71 c #Conflicts: 433000 | #Constraints: 42226
31.61/31.71 c #Conflicts: 434000 | #Constraints: 43226
31.61/31.71 c #Conflicts: 435000 | #Constraints: 44226
31.61/31.71 c #Conflicts: 436000 | #Constraints: 45226
31.61/31.71 c #Conflicts: 437000 | #Constraints: 46226
31.61/31.71 c #Conflicts: 438000 | #Constraints: 47226
31.61/31.71 c #Conflicts: 439000 | #Constraints: 48226
31.61/31.71 c #Conflicts: 440000 | #Constraints: 49226
31.61/31.71 c #Conflicts: 441000 | #Constraints: 50226
31.61/31.71 c #Conflicts: 442000 | #Constraints: 51226
31.61/31.71 c #Conflicts: 443000 | #Constraints: 52226
31.61/31.71 c #Conflicts: 444000 | #Constraints: 53226
31.61/31.71 c #Conflicts: 445000 | #Constraints: 54226
31.61/31.71 c #Conflicts: 446000 | #Constraints: 55226
31.61/31.71 c #Conflicts: 447000 | #Constraints: 56226
31.61/31.71 c #Conflicts: 448000 | #Constraints: 57226
31.61/31.71 c #Conflicts: 449000 | #Constraints: 58226
31.61/31.71 c #Conflicts: 450000 | #Constraints: 59226
31.61/31.71 c #Conflicts: 451000 | #Constraints: 60226
31.61/31.71 c #Conflicts: 452000 | #Constraints: 61226
31.61/31.71 c #Conflicts: 453000 | #Constraints: 62226
31.61/31.71 c #Conflicts: 454000 | #Constraints: 63226
36.91/37.09 c #Conflicts: 455000 | #Constraints: 64226
36.91/37.09 c #Conflicts: 456000 | #Constraints: 65226
36.91/37.09 c #Conflicts: 457000 | #Constraints: 66226
36.91/37.09 c #Conflicts: 458000 | #Constraints: 67226
36.91/37.09 c #Conflicts: 459000 | #Constraints: 68226
36.91/37.09 c #Conflicts: 460000 | #Constraints: 69226
36.91/37.09 c #Conflicts: 461000 | #Constraints: 70226
36.91/37.09 c INPROCESSING
36.91/37.09 c GARBAGE COLLECT
36.91/37.09 c #Conflicts: 462000 | #Constraints: 36534
36.91/37.09 c #Conflicts: 463000 | #Constraints: 37534
36.91/37.09 c #Conflicts: 464000 | #Constraints: 38534
36.91/37.09 c #Conflicts: 465000 | #Constraints: 39534
36.91/37.09 c #Conflicts: 466000 | #Constraints: 40534
36.91/37.09 c #Conflicts: 467000 | #Constraints: 41534
36.91/37.09 c #Conflicts: 468000 | #Constraints: 42534
36.91/37.09 c #Conflicts: 469000 | #Constraints: 43534
36.91/37.09 c #Conflicts: 470000 | #Constraints: 44534
36.91/37.09 c #Conflicts: 471000 | #Constraints: 45534
36.91/37.09 c #Conflicts: 472000 | #Constraints: 46534
36.91/37.09 c #Conflicts: 473000 | #Constraints: 47534
36.91/37.09 c #Conflicts: 474000 | #Constraints: 48534
36.91/37.09 c #Conflicts: 475000 | #Constraints: 49534
36.91/37.09 c #Conflicts: 476000 | #Constraints: 50534
36.91/37.09 c #Conflicts: 477000 | #Constraints: 51534
36.91/37.09 c #Conflicts: 478000 | #Constraints: 52534
36.91/37.09 c #Conflicts: 479000 | #Constraints: 53534
36.91/37.09 c #Conflicts: 480000 | #Constraints: 54534
36.91/37.09 c #Conflicts: 481000 | #Constraints: 55534
36.91/37.09 c #Conflicts: 482000 | #Constraints: 56534
36.91/37.09 c #Conflicts: 483000 | #Constraints: 57534
36.91/37.09 c #Conflicts: 484000 | #Constraints: 58534
36.91/37.09 c #Conflicts: 485000 | #Constraints: 59534
36.91/37.09 c #Conflicts: 486000 | #Constraints: 60534
36.91/37.09 c bounds 5 >= 4 @ 33.1526
36.91/37.09 c #Conflicts: 487000 | #Constraints: 61537
36.91/37.09 c #Conflicts: 488000 | #Constraints: 62537
36.91/37.09 c #Conflicts: 489000 | #Constraints: 63537
36.91/37.09 c #Conflicts: 490000 | #Constraints: 64537
36.91/37.09 c #Conflicts: 491000 | #Constraints: 65537
36.91/37.09 c #Conflicts: 492000 | #Constraints: 66537
36.91/37.09 c #Conflicts: 493000 | #Constraints: 67537
36.91/37.09 c #Conflicts: 494000 | #Constraints: 68537
36.91/37.09 c #Conflicts: 495000 | #Constraints: 69537
36.91/37.09 c #Conflicts: 496000 | #Constraints: 70537
36.91/37.09 c #Conflicts: 497000 | #Constraints: 71537
36.91/37.09 c #Conflicts: 498000 | #Constraints: 72537
36.91/37.09 c #Conflicts: 499000 | #Constraints: 73537
36.91/37.09 c #Conflicts: 500000 | #Constraints: 74537
36.91/37.09 c #Conflicts: 501000 | #Constraints: 75537
36.91/37.09 c #Conflicts: 502000 | #Constraints: 76537
36.91/37.09 c #Conflicts: 503000 | #Constraints: 77537
36.91/37.09 c #Conflicts: 504000 | #Constraints: 78537
36.91/37.09 c #Conflicts: 505000 | #Constraints: 79537
36.91/37.09 c #Conflicts: 506000 | #Constraints: 80537
36.91/37.09 c #Conflicts: 507000 | #Constraints: 81537
36.91/37.09 c #Conflicts: 508000 | #Constraints: 82537
36.91/37.09 c INPROCESSING
36.91/37.09 c GARBAGE COLLECT
36.91/37.09 c #Conflicts: 509000 | #Constraints: 35088
36.91/37.09 c #Conflicts: 510000 | #Constraints: 36088
36.91/37.09 c #Conflicts: 511000 | #Constraints: 37088
36.91/37.09 c #Conflicts: 512000 | #Constraints: 38088
36.91/37.09 c #Conflicts: 513000 | #Constraints: 39088
36.91/37.09 c #Conflicts: 514000 | #Constraints: 40088
36.91/37.09 c #Conflicts: 515000 | #Constraints: 41088
36.91/37.09 c #Conflicts: 516000 | #Constraints: 42088
36.91/37.09 c #Conflicts: 517000 | #Constraints: 43088
36.91/37.09 c #Conflicts: 518000 | #Constraints: 44088
36.91/37.09 c #Conflicts: 519000 | #Constraints: 45088
36.91/37.09 c #Conflicts: 520000 | #Constraints: 46088
36.91/37.09 c #Conflicts: 521000 | #Constraints: 47088
36.91/37.09 c #Conflicts: 522000 | #Constraints: 48088
36.91/37.09 c #Conflicts: 523000 | #Constraints: 49088
36.91/37.09 c #Conflicts: 524000 | #Constraints: 50088
36.91/37.09 c #Conflicts: 525000 | #Constraints: 51088
36.91/37.09 c #Conflicts: 526000 | #Constraints: 52088
36.91/37.09 c #Conflicts: 527000 | #Constraints: 53088
36.91/37.09 c #Conflicts: 528000 | #Constraints: 54088
36.91/37.09 c #Conflicts: 529000 | #Constraints: 55088
36.91/37.09 c #Conflicts: 530000 | #Constraints: 56088
36.91/37.09 c #Conflicts: 531000 | #Constraints: 57088
40.30/40.42 c #Conflicts: 532000 | #Constraints: 58088
40.30/40.42 c #Conflicts: 533000 | #Constraints: 59088
40.30/40.42 c #Conflicts: 534000 | #Constraints: 60088
40.30/40.42 c #Conflicts: 535000 | #Constraints: 61088
40.30/40.42 c #Conflicts: 536000 | #Constraints: 62088
40.30/40.42 c #Conflicts: 537000 | #Constraints: 63088
40.30/40.42 c #Conflicts: 538000 | #Constraints: 64088
40.30/40.42 c #Conflicts: 539000 | #Constraints: 65088
40.30/40.42 c #Conflicts: 540000 | #Constraints: 66088
40.30/40.42 c #Conflicts: 541000 | #Constraints: 67088
40.30/40.42 c #Conflicts: 542000 | #Constraints: 68088
40.30/40.42 c #Conflicts: 543000 | #Constraints: 69088
40.30/40.42 c #Conflicts: 544000 | #Constraints: 70088
40.30/40.42 c #Conflicts: 545000 | #Constraints: 71088
40.30/40.42 c #Conflicts: 546000 | #Constraints: 72088
40.30/40.42 c #Conflicts: 547000 | #Constraints: 73088
40.30/40.42 c #Conflicts: 548000 | #Constraints: 74088
40.30/40.42 c #Conflicts: 549000 | #Constraints: 75088
40.30/40.42 c #Conflicts: 550000 | #Constraints: 76088
40.30/40.42 c #Conflicts: 551000 | #Constraints: 77088
40.30/40.42 c #Conflicts: 552000 | #Constraints: 78088
40.30/40.42 c #Conflicts: 553000 | #Constraints: 79088
40.30/40.42 c #Conflicts: 554000 | #Constraints: 80088
40.30/40.42 c #Conflicts: 555000 | #Constraints: 81088
40.30/40.42 c #Conflicts: 556000 | #Constraints: 82088
40.30/40.42 c #Conflicts: 557000 | #Constraints: 83088
40.30/40.42 c INPROCESSING
40.30/40.42 c GARBAGE COLLECT
40.30/40.42 c #Conflicts: 558000 | #Constraints: 43062
40.30/40.42 c #Conflicts: 559000 | #Constraints: 44062
40.30/40.42 c #Conflicts: 560000 | #Constraints: 45062
40.30/40.42 c #Conflicts: 561000 | #Constraints: 46062
40.30/40.42 c #Conflicts: 562000 | #Constraints: 47062
40.30/40.42 c #Conflicts: 563000 | #Constraints: 48062
40.30/40.42 c #Conflicts: 564000 | #Constraints: 49062
40.30/40.42 c #Conflicts: 565000 | #Constraints: 50062
40.30/40.42 c #Conflicts: 566000 | #Constraints: 51062
40.30/40.42 c #Conflicts: 567000 | #Constraints: 52062
40.30/40.42 c #Conflicts: 568000 | #Constraints: 53062
40.30/40.42 c #Conflicts: 569000 | #Constraints: 54062
40.30/40.42 c #Conflicts: 570000 | #Constraints: 55062
40.30/40.42 c #Conflicts: 571000 | #Constraints: 56062
40.30/40.42 c #Conflicts: 572000 | #Constraints: 57062
40.30/40.42 c #Conflicts: 573000 | #Constraints: 58062
40.30/40.42 c #Conflicts: 574000 | #Constraints: 59062
40.30/40.42 c #Conflicts: 575000 | #Constraints: 60062
40.30/40.42 c #Conflicts: 576000 | #Constraints: 61062
40.30/40.42 c #Conflicts: 577000 | #Constraints: 62062
40.30/40.42 c #Conflicts: 578000 | #Constraints: 63062
40.30/40.42 c INPROCESSING
40.30/40.42 c GARBAGE COLLECT
40.30/40.42 c #Conflicts: 579000 | #Constraints: 33398
40.30/40.42 c #Conflicts: 580000 | #Constraints: 34398
40.30/40.42 c #Conflicts: 581000 | #Constraints: 35398
40.30/40.42 c #Conflicts: 582000 | #Constraints: 36398
40.30/40.42 c #Conflicts: 583000 | #Constraints: 37398
40.30/40.42 c #Conflicts: 584000 | #Constraints: 38398
40.30/40.42 c #Conflicts: 585000 | #Constraints: 39398
40.30/40.42 c #Conflicts: 586000 | #Constraints: 40398
40.30/40.42 c #Conflicts: 587000 | #Constraints: 41398
40.30/40.42 c #Conflicts: 588000 | #Constraints: 42398
40.30/40.42 c #Conflicts: 589000 | #Constraints: 43398
40.30/40.42 c #Conflicts: 590000 | #Constraints: 44398
40.30/40.42 c #Conflicts: 591000 | #Constraints: 45398
40.30/40.42 c #Conflicts: 592000 | #Constraints: 46398
40.30/40.42 c #Conflicts: 593000 | #Constraints: 47398
40.30/40.42 c #Conflicts: 594000 | #Constraints: 48398
40.30/40.42 c #Conflicts: 595000 | #Constraints: 49398
40.30/40.42 c #Conflicts: 596000 | #Constraints: 50398
40.30/40.42 c #Conflicts: 597000 | #Constraints: 51398
40.30/40.42 c #Conflicts: 598000 | #Constraints: 52398
40.30/40.42 c #Conflicts: 599000 | #Constraints: 53398
40.30/40.42 c #Conflicts: 600000 | #Constraints: 54398
40.30/40.42 c #Conflicts: 601000 | #Constraints: 55398
40.30/40.42 c #Conflicts: 602000 | #Constraints: 56398
40.30/40.42 c #Conflicts: 603000 | #Constraints: 57398
40.30/40.42 c #Conflicts: 604000 | #Constraints: 58398
40.30/40.42 c #Conflicts: 605000 | #Constraints: 59398
40.30/40.42 c #Conflicts: 606000 | #Constraints: 60398
40.30/40.42 c #Conflicts: 607000 | #Constraints: 61398
40.30/40.42 c #Conflicts: 608000 | #Constraints: 62398
43.89/44.09 c #Conflicts: 609000 | #Constraints: 63398
43.89/44.09 c #Conflicts: 610000 | #Constraints: 64398
43.89/44.09 c #Conflicts: 611000 | #Constraints: 65398
43.89/44.09 c #Conflicts: 612000 | #Constraints: 66398
43.89/44.09 c #Conflicts: 613000 | #Constraints: 67398
43.89/44.09 c #Conflicts: 614000 | #Constraints: 68398
43.89/44.09 c #Conflicts: 615000 | #Constraints: 69398
43.89/44.09 c #Conflicts: 616000 | #Constraints: 70398
43.89/44.09 c #Conflicts: 617000 | #Constraints: 71398
43.89/44.09 c #Conflicts: 618000 | #Constraints: 72398
43.89/44.09 c #Conflicts: 619000 | #Constraints: 73398
43.89/44.09 c #Conflicts: 620000 | #Constraints: 74398
43.89/44.09 c #Conflicts: 621000 | #Constraints: 75398
43.89/44.09 c #Conflicts: 622000 | #Constraints: 76398
43.89/44.09 c #Conflicts: 623000 | #Constraints: 77398
43.89/44.09 c #Conflicts: 624000 | #Constraints: 78398
43.89/44.09 c #Conflicts: 625000 | #Constraints: 79398
43.89/44.09 c #Conflicts: 626000 | #Constraints: 80398
43.89/44.09 c #Conflicts: 627000 | #Constraints: 81398
43.89/44.09 c #Conflicts: 628000 | #Constraints: 82398
43.89/44.09 c #Conflicts: 629000 | #Constraints: 83398
43.89/44.09 c #Conflicts: 630000 | #Constraints: 84398
43.89/44.09 c INPROCESSING
43.89/44.09 c GARBAGE COLLECT
43.89/44.09 c #Conflicts: 631000 | #Constraints: 44066
43.89/44.09 c #Conflicts: 632000 | #Constraints: 45066
43.89/44.09 c #Conflicts: 633000 | #Constraints: 46066
43.89/44.09 c #Conflicts: 634000 | #Constraints: 47066
43.89/44.09 c #Conflicts: 635000 | #Constraints: 48066
43.89/44.09 c #Conflicts: 636000 | #Constraints: 49066
43.89/44.09 c #Conflicts: 637000 | #Constraints: 50066
43.89/44.09 c #Conflicts: 638000 | #Constraints: 51066
43.89/44.09 c #Conflicts: 639000 | #Constraints: 52066
43.89/44.09 c #Conflicts: 640000 | #Constraints: 53066
43.89/44.09 c #Conflicts: 641000 | #Constraints: 54066
43.89/44.09 c #Conflicts: 642000 | #Constraints: 55066
43.89/44.09 c #Conflicts: 643000 | #Constraints: 56066
43.89/44.09 c #Conflicts: 644000 | #Constraints: 57066
43.89/44.09 c #Conflicts: 645000 | #Constraints: 58066
43.89/44.09 c #Conflicts: 646000 | #Constraints: 59066
43.89/44.09 c #Conflicts: 647000 | #Constraints: 60066
43.89/44.09 c #Conflicts: 648000 | #Constraints: 61066
43.89/44.09 c #Conflicts: 649000 | #Constraints: 62066
43.89/44.09 c #Conflicts: 650000 | #Constraints: 63066
43.89/44.09 c #Conflicts: 651000 | #Constraints: 64066
43.89/44.09 c INPROCESSING
43.89/44.09 c GARBAGE COLLECT
43.89/44.09 c #Conflicts: 652000 | #Constraints: 33599
43.89/44.09 c #Conflicts: 653000 | #Constraints: 34599
43.89/44.09 c #Conflicts: 654000 | #Constraints: 35599
43.89/44.09 c #Conflicts: 655000 | #Constraints: 36599
43.89/44.09 c #Conflicts: 656000 | #Constraints: 37599
43.89/44.09 c #Conflicts: 657000 | #Constraints: 38599
43.89/44.09 c #Conflicts: 658000 | #Constraints: 39599
43.89/44.09 c #Conflicts: 659000 | #Constraints: 40599
43.89/44.09 c #Conflicts: 660000 | #Constraints: 41599
43.89/44.09 c #Conflicts: 661000 | #Constraints: 42599
43.89/44.09 c #Conflicts: 662000 | #Constraints: 43599
43.89/44.09 c #Conflicts: 663000 | #Constraints: 44599
43.89/44.09 c #Conflicts: 664000 | #Constraints: 45599
43.89/44.09 c #Conflicts: 665000 | #Constraints: 46599
43.89/44.09 c #Conflicts: 666000 | #Constraints: 47599
43.89/44.09 c #Conflicts: 667000 | #Constraints: 48599
43.89/44.09 c #Conflicts: 668000 | #Constraints: 49599
43.89/44.09 c #Conflicts: 669000 | #Constraints: 50599
43.89/44.09 c #Conflicts: 670000 | #Constraints: 51599
43.89/44.09 c #Conflicts: 671000 | #Constraints: 52599
43.89/44.09 c #Conflicts: 672000 | #Constraints: 53599
43.89/44.09 c #Conflicts: 673000 | #Constraints: 54599
43.89/44.09 c #Conflicts: 674000 | #Constraints: 55599
43.89/44.09 c #Conflicts: 675000 | #Constraints: 56599
43.89/44.09 c #Conflicts: 676000 | #Constraints: 57599
43.89/44.09 c #Conflicts: 677000 | #Constraints: 58599
43.89/44.09 c #Conflicts: 678000 | #Constraints: 59599
43.89/44.09 c #Conflicts: 679000 | #Constraints: 60599
43.89/44.09 c #Conflicts: 680000 | #Constraints: 61599
43.89/44.09 c #Conflicts: 681000 | #Constraints: 62599
43.89/44.09 c #Conflicts: 682000 | #Constraints: 63599
43.89/44.09 c #Conflicts: 683000 | #Constraints: 64599
43.89/44.09 c #Conflicts: 684000 | #Constraints: 65599
43.89/44.09 c #Conflicts: 685000 | #Constraints: 66599
43.89/44.09 c #Conflicts: 686000 | #Constraints: 67599
47.68/47.84 c #Conflicts: 687000 | #Constraints: 68599
47.68/47.84 c #Conflicts: 688000 | #Constraints: 69599
47.68/47.84 c #Conflicts: 689000 | #Constraints: 70599
47.68/47.84 c #Conflicts: 690000 | #Constraints: 71599
47.68/47.84 c #Conflicts: 691000 | #Constraints: 72599
47.68/47.84 c #Conflicts: 692000 | #Constraints: 73599
47.68/47.84 c #Conflicts: 693000 | #Constraints: 74599
47.68/47.84 c #Conflicts: 694000 | #Constraints: 75599
47.68/47.84 c #Conflicts: 695000 | #Constraints: 76599
47.68/47.84 c #Conflicts: 696000 | #Constraints: 77599
47.68/47.84 c #Conflicts: 697000 | #Constraints: 78599
47.68/47.84 c #Conflicts: 698000 | #Constraints: 79599
47.68/47.84 c #Conflicts: 699000 | #Constraints: 80599
47.68/47.84 c #Conflicts: 700000 | #Constraints: 81599
47.68/47.84 c #Conflicts: 701000 | #Constraints: 82599
47.68/47.84 c #Conflicts: 702000 | #Constraints: 83599
47.68/47.84 c #Conflicts: 703000 | #Constraints: 84599
47.68/47.84 c #Conflicts: 704000 | #Constraints: 85599
47.68/47.84 c #Conflicts: 705000 | #Constraints: 86599
47.68/47.84 c #Conflicts: 706000 | #Constraints: 87599
47.68/47.84 c INPROCESSING
47.68/47.84 c GARBAGE COLLECT
47.68/47.84 c #Conflicts: 707000 | #Constraints: 45317
47.68/47.84 c #Conflicts: 708000 | #Constraints: 46317
47.68/47.84 c #Conflicts: 709000 | #Constraints: 47317
47.68/47.84 c #Conflicts: 710000 | #Constraints: 48317
47.68/47.84 c #Conflicts: 711000 | #Constraints: 49317
47.68/47.84 c #Conflicts: 712000 | #Constraints: 50317
47.68/47.84 c #Conflicts: 713000 | #Constraints: 51317
47.68/47.84 c #Conflicts: 714000 | #Constraints: 52317
47.68/47.84 c #Conflicts: 715000 | #Constraints: 53317
47.68/47.84 c #Conflicts: 716000 | #Constraints: 54317
47.68/47.84 c #Conflicts: 717000 | #Constraints: 55317
47.68/47.84 c #Conflicts: 718000 | #Constraints: 56317
47.68/47.84 c #Conflicts: 719000 | #Constraints: 57317
47.68/47.84 c #Conflicts: 720000 | #Constraints: 58317
47.68/47.84 c #Conflicts: 721000 | #Constraints: 59317
47.68/47.84 c #Conflicts: 722000 | #Constraints: 60317
47.68/47.84 c #Conflicts: 723000 | #Constraints: 61317
47.68/47.84 c #Conflicts: 724000 | #Constraints: 62317
47.68/47.84 c #Conflicts: 725000 | #Constraints: 63317
47.68/47.84 c #Conflicts: 726000 | #Constraints: 64317
47.68/47.84 c #Conflicts: 727000 | #Constraints: 65317
47.68/47.84 c #Conflicts: 728000 | #Constraints: 66317
47.68/47.84 c #Conflicts: 729000 | #Constraints: 67317
47.68/47.84 c INPROCESSING
47.68/47.84 c GARBAGE COLLECT
47.68/47.84 c #Conflicts: 730000 | #Constraints: 35227
47.68/47.84 c #Conflicts: 731000 | #Constraints: 36227
47.68/47.84 c #Conflicts: 732000 | #Constraints: 37227
47.68/47.84 c #Conflicts: 733000 | #Constraints: 38227
47.68/47.84 c #Conflicts: 734000 | #Constraints: 39227
47.68/47.84 c #Conflicts: 735000 | #Constraints: 40227
47.68/47.84 c #Conflicts: 736000 | #Constraints: 41227
47.68/47.84 c #Conflicts: 737000 | #Constraints: 42227
47.68/47.84 c #Conflicts: 738000 | #Constraints: 43227
47.68/47.84 c #Conflicts: 739000 | #Constraints: 44227
47.68/47.84 c #Conflicts: 740000 | #Constraints: 45227
47.68/47.84 c #Conflicts: 741000 | #Constraints: 46227
47.68/47.84 c #Conflicts: 742000 | #Constraints: 47227
47.68/47.84 c #Conflicts: 743000 | #Constraints: 48227
47.68/47.84 c #Conflicts: 744000 | #Constraints: 49227
47.68/47.84 c #Conflicts: 745000 | #Constraints: 50227
47.68/47.84 c #Conflicts: 746000 | #Constraints: 51227
47.68/47.84 c #Conflicts: 747000 | #Constraints: 52227
47.68/47.84 c #Conflicts: 748000 | #Constraints: 53227
47.68/47.84 c #Conflicts: 749000 | #Constraints: 54227
47.68/47.84 c #Conflicts: 750000 | #Constraints: 55227
47.68/47.84 c #Conflicts: 751000 | #Constraints: 56227
47.68/47.84 c #Conflicts: 752000 | #Constraints: 57227
47.68/47.84 c #Conflicts: 753000 | #Constraints: 58227
47.68/47.84 c #Conflicts: 754000 | #Constraints: 59227
47.68/47.84 c #Conflicts: 755000 | #Constraints: 60227
47.68/47.84 c #Conflicts: 756000 | #Constraints: 61227
47.68/47.84 c #Conflicts: 757000 | #Constraints: 62227
47.68/47.84 c #Conflicts: 758000 | #Constraints: 63227
47.68/47.84 c #Conflicts: 759000 | #Constraints: 64227
47.68/47.84 c #Conflicts: 760000 | #Constraints: 65227
47.68/47.84 c #Conflicts: 761000 | #Constraints: 66227
47.68/47.84 c #Conflicts: 762000 | #Constraints: 67227
47.68/47.84 c #Conflicts: 763000 | #Constraints: 68227
51.57/51.72 c #Conflicts: 764000 | #Constraints: 69227
51.57/51.72 c #Conflicts: 765000 | #Constraints: 70227
51.57/51.72 c #Conflicts: 766000 | #Constraints: 71227
51.57/51.72 c #Conflicts: 767000 | #Constraints: 72227
51.57/51.72 c #Conflicts: 768000 | #Constraints: 73227
51.57/51.72 c #Conflicts: 769000 | #Constraints: 74227
51.57/51.72 c #Conflicts: 770000 | #Constraints: 75227
51.57/51.72 c #Conflicts: 771000 | #Constraints: 76227
51.57/51.72 c #Conflicts: 772000 | #Constraints: 77227
51.57/51.72 c #Conflicts: 773000 | #Constraints: 78227
51.57/51.72 c #Conflicts: 774000 | #Constraints: 79227
51.57/51.72 c #Conflicts: 775000 | #Constraints: 80227
51.57/51.72 c #Conflicts: 776000 | #Constraints: 81227
51.57/51.72 c #Conflicts: 777000 | #Constraints: 82227
51.57/51.72 c #Conflicts: 778000 | #Constraints: 83227
51.57/51.72 c #Conflicts: 779000 | #Constraints: 84227
51.57/51.72 c #Conflicts: 780000 | #Constraints: 85227
51.57/51.72 c #Conflicts: 781000 | #Constraints: 86227
51.57/51.72 c #Conflicts: 782000 | #Constraints: 87227
51.57/51.72 c #Conflicts: 783000 | #Constraints: 88227
51.57/51.72 c #Conflicts: 784000 | #Constraints: 89227
51.57/51.72 c #Conflicts: 785000 | #Constraints: 90227
51.57/51.72 c #Conflicts: 786000 | #Constraints: 91227
51.57/51.72 c #Conflicts: 787000 | #Constraints: 92227
51.57/51.72 c INPROCESSING
51.57/51.72 c GARBAGE COLLECT
51.57/51.72 c #Conflicts: 788000 | #Constraints: 47583
51.57/51.72 c #Conflicts: 789000 | #Constraints: 48583
51.57/51.72 c #Conflicts: 790000 | #Constraints: 49583
51.57/51.72 c #Conflicts: 791000 | #Constraints: 50583
51.57/51.72 c #Conflicts: 792000 | #Constraints: 51583
51.57/51.72 c #Conflicts: 793000 | #Constraints: 52583
51.57/51.72 c #Conflicts: 794000 | #Constraints: 53583
51.57/51.72 c #Conflicts: 795000 | #Constraints: 54583
51.57/51.72 c #Conflicts: 796000 | #Constraints: 55583
51.57/51.72 c #Conflicts: 797000 | #Constraints: 56583
51.57/51.72 c #Conflicts: 798000 | #Constraints: 57583
51.57/51.72 c #Conflicts: 799000 | #Constraints: 58583
51.57/51.72 c #Conflicts: 800000 | #Constraints: 59583
51.57/51.72 c #Conflicts: 801000 | #Constraints: 60583
51.57/51.72 c #Conflicts: 802000 | #Constraints: 61583
51.57/51.73 c #Conflicts: 803000 | #Constraints: 62583
51.57/51.73 c #Conflicts: 804000 | #Constraints: 63583
51.57/51.73 c #Conflicts: 805000 | #Constraints: 64583
51.57/51.73 c #Conflicts: 806000 | #Constraints: 65583
51.57/51.73 c #Conflicts: 807000 | #Constraints: 66583
51.57/51.73 c #Conflicts: 808000 | #Constraints: 67583
51.57/51.73 c #Conflicts: 809000 | #Constraints: 68583
51.57/51.73 c #Conflicts: 810000 | #Constraints: 69583
51.57/51.73 c #Conflicts: 811000 | #Constraints: 70583
51.57/51.73 c #Conflicts: 812000 | #Constraints: 71583
51.57/51.73 c INPROCESSING
51.57/51.73 c GARBAGE COLLECT
51.57/51.73 c #Conflicts: 813000 | #Constraints: 37654
51.57/51.73 c #Conflicts: 814000 | #Constraints: 38654
51.57/51.73 c #Conflicts: 815000 | #Constraints: 39654
51.57/51.73 c #Conflicts: 816000 | #Constraints: 40654
51.57/51.73 c #Conflicts: 817000 | #Constraints: 41654
51.57/51.73 c #Conflicts: 818000 | #Constraints: 42654
51.57/51.73 c #Conflicts: 819000 | #Constraints: 43654
51.57/51.73 c #Conflicts: 820000 | #Constraints: 44654
51.57/51.73 c #Conflicts: 821000 | #Constraints: 45654
51.57/51.73 c #Conflicts: 822000 | #Constraints: 46654
51.57/51.73 c #Conflicts: 823000 | #Constraints: 47654
51.57/51.73 c #Conflicts: 824000 | #Constraints: 48654
51.57/51.73 c #Conflicts: 825000 | #Constraints: 49654
51.57/51.73 c #Conflicts: 826000 | #Constraints: 50654
51.57/51.73 c #Conflicts: 827000 | #Constraints: 51654
51.57/51.73 c #Conflicts: 828000 | #Constraints: 52654
51.57/51.73 c #Conflicts: 829000 | #Constraints: 53654
51.57/51.73 c #Conflicts: 830000 | #Constraints: 54654
51.57/51.73 c #Conflicts: 831000 | #Constraints: 55654
51.57/51.73 c #Conflicts: 832000 | #Constraints: 56654
51.57/51.73 c #Conflicts: 833000 | #Constraints: 57654
51.57/51.73 c #Conflicts: 834000 | #Constraints: 58654
51.57/51.73 c #Conflicts: 835000 | #Constraints: 59654
51.57/51.73 c #Conflicts: 836000 | #Constraints: 60654
51.57/51.73 c #Conflicts: 837000 | #Constraints: 61654
51.57/51.73 c #Conflicts: 838000 | #Constraints: 62654
51.57/51.73 c #Conflicts: 839000 | #Constraints: 63654
51.57/51.73 c #Conflicts: 840000 | #Constraints: 64654
51.57/51.73 c #Conflicts: 841000 | #Constraints: 65654
55.66/55.80 c #Conflicts: 842000 | #Constraints: 66654
55.66/55.80 c #Conflicts: 843000 | #Constraints: 67654
55.66/55.80 c #Conflicts: 844000 | #Constraints: 68654
55.66/55.80 c #Conflicts: 845000 | #Constraints: 69654
55.66/55.80 c #Conflicts: 846000 | #Constraints: 70654
55.66/55.80 c #Conflicts: 847000 | #Constraints: 71654
55.66/55.80 c #Conflicts: 848000 | #Constraints: 72654
55.66/55.80 c #Conflicts: 849000 | #Constraints: 73654
55.66/55.80 c #Conflicts: 850000 | #Constraints: 74654
55.66/55.80 c #Conflicts: 851000 | #Constraints: 75654
55.66/55.80 c #Conflicts: 852000 | #Constraints: 76654
55.66/55.80 c #Conflicts: 853000 | #Constraints: 77654
55.66/55.80 c #Conflicts: 854000 | #Constraints: 78654
55.66/55.80 c #Conflicts: 855000 | #Constraints: 79654
55.66/55.80 c #Conflicts: 856000 | #Constraints: 80654
55.66/55.80 c #Conflicts: 857000 | #Constraints: 81654
55.66/55.80 c #Conflicts: 858000 | #Constraints: 82654
55.66/55.80 c #Conflicts: 859000 | #Constraints: 83654
55.66/55.80 c #Conflicts: 860000 | #Constraints: 84654
55.66/55.80 c #Conflicts: 861000 | #Constraints: 85654
55.66/55.80 c #Conflicts: 862000 | #Constraints: 86654
55.66/55.80 c #Conflicts: 863000 | #Constraints: 87654
55.66/55.80 c #Conflicts: 864000 | #Constraints: 88654
55.66/55.80 c #Conflicts: 865000 | #Constraints: 89654
55.66/55.80 c #Conflicts: 866000 | #Constraints: 90654
55.66/55.80 c #Conflicts: 867000 | #Constraints: 91654
55.66/55.80 c #Conflicts: 868000 | #Constraints: 92654
55.66/55.80 c #Conflicts: 869000 | #Constraints: 93654
55.66/55.80 c #Conflicts: 870000 | #Constraints: 94654
55.66/55.80 c #Conflicts: 871000 | #Constraints: 95654
55.66/55.80 c #Conflicts: 872000 | #Constraints: 96654
55.66/55.80 c #Conflicts: 873000 | #Constraints: 97654
55.66/55.80 c INPROCESSING
55.66/55.80 c GARBAGE COLLECT
55.66/55.80 c #Conflicts: 874000 | #Constraints: 50540
55.66/55.80 c #Conflicts: 875000 | #Constraints: 51540
55.66/55.80 c #Conflicts: 876000 | #Constraints: 52540
55.66/55.80 c #Conflicts: 877000 | #Constraints: 53540
55.66/55.80 c #Conflicts: 878000 | #Constraints: 54540
55.66/55.80 c #Conflicts: 879000 | #Constraints: 55540
55.66/55.80 c #Conflicts: 880000 | #Constraints: 56540
55.66/55.80 c #Conflicts: 881000 | #Constraints: 57540
55.66/55.80 c #Conflicts: 882000 | #Constraints: 58540
55.66/55.80 c #Conflicts: 883000 | #Constraints: 59540
55.66/55.80 c #Conflicts: 884000 | #Constraints: 60540
55.66/55.80 c #Conflicts: 885000 | #Constraints: 61540
55.66/55.80 c #Conflicts: 886000 | #Constraints: 62540
55.66/55.80 c #Conflicts: 887000 | #Constraints: 63540
55.66/55.80 c #Conflicts: 888000 | #Constraints: 64540
55.66/55.80 c #Conflicts: 889000 | #Constraints: 65540
55.66/55.80 c #Conflicts: 890000 | #Constraints: 66540
55.66/55.80 c #Conflicts: 891000 | #Constraints: 67540
55.66/55.80 c #Conflicts: 892000 | #Constraints: 68540
55.66/55.80 c #Conflicts: 893000 | #Constraints: 69540
55.66/55.80 c #Conflicts: 894000 | #Constraints: 70540
55.66/55.80 c #Conflicts: 895000 | #Constraints: 71540
55.66/55.80 c #Conflicts: 896000 | #Constraints: 72540
55.66/55.80 c #Conflicts: 897000 | #Constraints: 73540
55.66/55.80 c #Conflicts: 898000 | #Constraints: 74540
55.66/55.80 c INPROCESSING
55.66/55.80 c GARBAGE COLLECT
55.66/55.80 c #Conflicts: 899000 | #Constraints: 38731
55.66/55.80 c #Conflicts: 900000 | #Constraints: 39731
55.66/55.80 c #Conflicts: 901000 | #Constraints: 40731
55.66/55.80 c #Conflicts: 902000 | #Constraints: 41731
55.66/55.80 c #Conflicts: 903000 | #Constraints: 42731
55.66/55.80 c #Conflicts: 904000 | #Constraints: 43731
55.66/55.80 c #Conflicts: 905000 | #Constraints: 44731
55.66/55.80 c #Conflicts: 906000 | #Constraints: 45731
55.66/55.80 c #Conflicts: 907000 | #Constraints: 46731
55.66/55.80 c #Conflicts: 908000 | #Constraints: 47731
55.66/55.80 c #Conflicts: 909000 | #Constraints: 48731
55.66/55.80 c #Conflicts: 910000 | #Constraints: 49731
55.66/55.80 c #Conflicts: 911000 | #Constraints: 50731
55.66/55.80 c #Conflicts: 912000 | #Constraints: 51731
55.66/55.80 c #Conflicts: 913000 | #Constraints: 52731
55.66/55.80 c #Conflicts: 914000 | #Constraints: 53731
55.66/55.80 c #Conflicts: 915000 | #Constraints: 54731
55.66/55.80 c #Conflicts: 916000 | #Constraints: 55731
55.66/55.80 c #Conflicts: 917000 | #Constraints: 56731
55.66/55.80 c #Conflicts: 918000 | #Constraints: 57731
60.05/60.27 c #Conflicts: 919000 | #Constraints: 58731
60.05/60.27 c #Conflicts: 920000 | #Constraints: 59731
60.05/60.27 c #Conflicts: 921000 | #Constraints: 60731
60.05/60.27 c #Conflicts: 922000 | #Constraints: 61731
60.05/60.27 c #Conflicts: 923000 | #Constraints: 62731
60.05/60.27 c #Conflicts: 924000 | #Constraints: 63731
60.05/60.27 c #Conflicts: 925000 | #Constraints: 64731
60.05/60.27 c #Conflicts: 926000 | #Constraints: 65731
60.05/60.27 c #Conflicts: 927000 | #Constraints: 66731
60.05/60.27 c #Conflicts: 928000 | #Constraints: 67731
60.05/60.27 c #Conflicts: 929000 | #Constraints: 68731
60.05/60.27 c #Conflicts: 930000 | #Constraints: 69731
60.05/60.27 c #Conflicts: 931000 | #Constraints: 70731
60.05/60.27 c #Conflicts: 932000 | #Constraints: 71731
60.05/60.27 c #Conflicts: 933000 | #Constraints: 72731
60.05/60.27 c #Conflicts: 934000 | #Constraints: 73731
60.05/60.27 c #Conflicts: 935000 | #Constraints: 74731
60.05/60.27 c #Conflicts: 936000 | #Constraints: 75731
60.05/60.27 c #Conflicts: 937000 | #Constraints: 76731
60.05/60.27 c #Conflicts: 938000 | #Constraints: 77731
60.05/60.27 c #Conflicts: 939000 | #Constraints: 78731
60.05/60.27 c #Conflicts: 940000 | #Constraints: 79731
60.05/60.27 c #Conflicts: 941000 | #Constraints: 80731
60.05/60.27 c #Conflicts: 942000 | #Constraints: 81731
60.05/60.27 c #Conflicts: 943000 | #Constraints: 82731
60.05/60.27 c #Conflicts: 944000 | #Constraints: 83731
60.05/60.27 c #Conflicts: 945000 | #Constraints: 84731
60.05/60.27 c #Conflicts: 946000 | #Constraints: 85731
60.05/60.27 c #Conflicts: 947000 | #Constraints: 86731
60.05/60.27 c #Conflicts: 948000 | #Constraints: 87731
60.05/60.27 c #Conflicts: 949000 | #Constraints: 88731
60.05/60.27 c #Conflicts: 950000 | #Constraints: 89731
60.05/60.27 c #Conflicts: 951000 | #Constraints: 90731
60.05/60.27 c #Conflicts: 952000 | #Constraints: 91731
60.05/60.27 c #Conflicts: 953000 | #Constraints: 92731
60.05/60.27 c #Conflicts: 954000 | #Constraints: 93731
60.05/60.27 c #Conflicts: 955000 | #Constraints: 94731
60.05/60.27 c #Conflicts: 956000 | #Constraints: 95731
60.05/60.27 c #Conflicts: 957000 | #Constraints: 96731
60.05/60.27 c #Conflicts: 958000 | #Constraints: 97731
60.05/60.27 c #Conflicts: 959000 | #Constraints: 98731
60.05/60.27 c #Conflicts: 960000 | #Constraints: 99731
60.05/60.27 c #Conflicts: 961000 | #Constraints: 100731
60.05/60.27 c #Conflicts: 962000 | #Constraints: 101731
60.05/60.27 c #Conflicts: 963000 | #Constraints: 102731
60.05/60.27 c INPROCESSING
60.05/60.27 c GARBAGE COLLECT
60.05/60.27 c #Conflicts: 964000 | #Constraints: 53131
60.05/60.27 c #Conflicts: 965000 | #Constraints: 54131
60.05/60.27 c #Conflicts: 966000 | #Constraints: 55131
60.05/60.27 c #Conflicts: 967000 | #Constraints: 56131
60.05/60.27 c #Conflicts: 968000 | #Constraints: 57131
60.05/60.27 c #Conflicts: 969000 | #Constraints: 58131
60.05/60.27 c #Conflicts: 970000 | #Constraints: 59131
60.05/60.27 c #Conflicts: 971000 | #Constraints: 60131
60.05/60.27 c #Conflicts: 972000 | #Constraints: 61131
60.05/60.27 c #Conflicts: 973000 | #Constraints: 62131
60.05/60.27 c #Conflicts: 974000 | #Constraints: 63131
60.05/60.27 c #Conflicts: 975000 | #Constraints: 64131
60.05/60.27 c #Conflicts: 976000 | #Constraints: 65131
60.05/60.27 c #Conflicts: 977000 | #Constraints: 66131
60.05/60.27 c #Conflicts: 978000 | #Constraints: 67131
60.05/60.27 c #Conflicts: 979000 | #Constraints: 68131
60.05/60.27 c #Conflicts: 980000 | #Constraints: 69131
60.05/60.27 c #Conflicts: 981000 | #Constraints: 70131
60.05/60.27 c #Conflicts: 982000 | #Constraints: 71131
60.05/60.27 c #Conflicts: 983000 | #Constraints: 72131
60.05/60.27 c #Conflicts: 984000 | #Constraints: 73131
60.05/60.27 c #Conflicts: 985000 | #Constraints: 74131
60.05/60.27 c #Conflicts: 986000 | #Constraints: 75131
60.05/60.27 c #Conflicts: 987000 | #Constraints: 76131
60.05/60.27 c #Conflicts: 988000 | #Constraints: 77131
60.05/60.27 c #Conflicts: 989000 | #Constraints: 78131
60.05/60.27 c #Conflicts: 990000 | #Constraints: 79131
60.05/60.27 c INPROCESSING
60.05/60.27 c GARBAGE COLLECT
60.05/60.27 c #Conflicts: 991000 | #Constraints: 41430
60.05/60.27 c #Conflicts: 992000 | #Constraints: 42430
60.05/60.27 c #Conflicts: 993000 | #Constraints: 43430
60.05/60.27 c #Conflicts: 994000 | #Constraints: 44430
60.05/60.27 c #Conflicts: 995000 | #Constraints: 45430
60.05/60.27 c #Conflicts: 996000 | #Constraints: 46430
64.64/64.85 c #Conflicts: 997000 | #Constraints: 47430
64.64/64.85 c #Conflicts: 998000 | #Constraints: 48430
64.64/64.85 c #Conflicts: 999000 | #Constraints: 49430
64.64/64.85 c #Conflicts: 1000000 | #Constraints: 50430
64.64/64.85 c #Conflicts: 1001000 | #Constraints: 51430
64.64/64.85 c #Conflicts: 1002000 | #Constraints: 52430
64.64/64.85 c #Conflicts: 1003000 | #Constraints: 53430
64.64/64.85 c #Conflicts: 1004000 | #Constraints: 54430
64.64/64.85 c #Conflicts: 1005000 | #Constraints: 55430
64.64/64.85 c #Conflicts: 1006000 | #Constraints: 56430
64.64/64.85 c #Conflicts: 1007000 | #Constraints: 57430
64.64/64.85 c #Conflicts: 1008000 | #Constraints: 58430
64.64/64.85 c #Conflicts: 1009000 | #Constraints: 59430
64.64/64.85 c #Conflicts: 1010000 | #Constraints: 60430
64.64/64.85 c #Conflicts: 1011000 | #Constraints: 61430
64.64/64.85 c #Conflicts: 1012000 | #Constraints: 62430
64.64/64.85 c #Conflicts: 1013000 | #Constraints: 63430
64.64/64.85 c #Conflicts: 1014000 | #Constraints: 64430
64.64/64.85 c #Conflicts: 1015000 | #Constraints: 65430
64.64/64.85 c #Conflicts: 1016000 | #Constraints: 66430
64.64/64.85 c #Conflicts: 1017000 | #Constraints: 67430
64.64/64.85 c #Conflicts: 1018000 | #Constraints: 68430
64.64/64.85 c #Conflicts: 1019000 | #Constraints: 69430
64.64/64.85 c #Conflicts: 1020000 | #Constraints: 70430
64.64/64.85 c #Conflicts: 1021000 | #Constraints: 71430
64.64/64.85 c #Conflicts: 1022000 | #Constraints: 72430
64.64/64.85 c #Conflicts: 1023000 | #Constraints: 73430
64.64/64.85 c #Conflicts: 1024000 | #Constraints: 74430
64.64/64.85 c #Conflicts: 1025000 | #Constraints: 75430
64.64/64.85 c #Conflicts: 1026000 | #Constraints: 76430
64.64/64.85 c #Conflicts: 1027000 | #Constraints: 77430
64.64/64.85 c #Conflicts: 1028000 | #Constraints: 78430
64.64/64.85 c #Conflicts: 1029000 | #Constraints: 79430
64.64/64.85 c #Conflicts: 1030000 | #Constraints: 80430
64.64/64.85 c #Conflicts: 1031000 | #Constraints: 81430
64.64/64.85 c #Conflicts: 1032000 | #Constraints: 82430
64.64/64.85 c #Conflicts: 1033000 | #Constraints: 83430
64.64/64.85 c #Conflicts: 1034000 | #Constraints: 84430
64.64/64.85 c #Conflicts: 1035000 | #Constraints: 85430
64.64/64.85 c #Conflicts: 1036000 | #Constraints: 86430
64.64/64.85 c #Conflicts: 1037000 | #Constraints: 87430
64.64/64.85 c #Conflicts: 1038000 | #Constraints: 88430
64.64/64.85 c #Conflicts: 1039000 | #Constraints: 89430
64.64/64.85 c #Conflicts: 1040000 | #Constraints: 90430
64.64/64.85 c #Conflicts: 1041000 | #Constraints: 91430
64.64/64.85 c #Conflicts: 1042000 | #Constraints: 92430
64.64/64.85 c #Conflicts: 1043000 | #Constraints: 93430
64.64/64.85 c #Conflicts: 1044000 | #Constraints: 94430
64.64/64.85 c #Conflicts: 1045000 | #Constraints: 95430
64.64/64.85 c #Conflicts: 1046000 | #Constraints: 96430
64.64/64.85 c #Conflicts: 1047000 | #Constraints: 97430
64.64/64.85 c #Conflicts: 1048000 | #Constraints: 98430
64.64/64.85 c #Conflicts: 1049000 | #Constraints: 99430
64.64/64.85 c #Conflicts: 1050000 | #Constraints: 100430
64.64/64.85 c #Conflicts: 1051000 | #Constraints: 101430
64.64/64.85 c #Conflicts: 1052000 | #Constraints: 102430
64.64/64.85 c #Conflicts: 1053000 | #Constraints: 103430
64.64/64.85 c #Conflicts: 1054000 | #Constraints: 104430
64.64/64.85 c #Conflicts: 1055000 | #Constraints: 105430
64.64/64.85 c #Conflicts: 1056000 | #Constraints: 106430
64.64/64.85 c #Conflicts: 1057000 | #Constraints: 107430
64.64/64.85 c INPROCESSING
64.64/64.85 c GARBAGE COLLECT
64.64/64.85 c #Conflicts: 1058000 | #Constraints: 55327
64.64/64.85 c #Conflicts: 1059000 | #Constraints: 56327
64.64/64.85 c #Conflicts: 1060000 | #Constraints: 57327
64.64/64.85 c #Conflicts: 1061000 | #Constraints: 58327
64.64/64.85 c #Conflicts: 1062000 | #Constraints: 59327
64.64/64.85 c #Conflicts: 1063000 | #Constraints: 60327
64.64/64.85 c #Conflicts: 1064000 | #Constraints: 61327
64.64/64.85 c #Conflicts: 1065000 | #Constraints: 62327
64.64/64.85 c #Conflicts: 1066000 | #Constraints: 63327
64.64/64.85 c #Conflicts: 1067000 | #Constraints: 64327
64.64/64.85 c #Conflicts: 1068000 | #Constraints: 65327
64.64/64.85 c #Conflicts: 1069000 | #Constraints: 66327
64.64/64.85 c #Conflicts: 1070000 | #Constraints: 67327
64.64/64.85 c #Conflicts: 1071000 | #Constraints: 68327
64.64/64.85 c #Conflicts: 1072000 | #Constraints: 69327
64.64/64.85 c #Conflicts: 1073000 | #Constraints: 70327
64.64/64.85 c #Conflicts: 1074000 | #Constraints: 71327
69.73/69.95 c #Conflicts: 1075000 | #Constraints: 72327
69.73/69.95 c #Conflicts: 1076000 | #Constraints: 73327
69.73/69.95 c #Conflicts: 1077000 | #Constraints: 74327
69.73/69.95 c #Conflicts: 1078000 | #Constraints: 75327
69.73/69.95 c #Conflicts: 1079000 | #Constraints: 76327
69.73/69.95 c #Conflicts: 1080000 | #Constraints: 77327
69.73/69.95 c #Conflicts: 1081000 | #Constraints: 78327
69.73/69.95 c #Conflicts: 1082000 | #Constraints: 79327
69.73/69.95 c #Conflicts: 1083000 | #Constraints: 80327
69.73/69.95 c #Conflicts: 1084000 | #Constraints: 81327
69.73/69.95 c #Conflicts: 1085000 | #Constraints: 82327
69.73/69.95 c INPROCESSING
69.73/69.95 c GARBAGE COLLECT
69.73/69.95 c #Conflicts: 1086000 | #Constraints: 42732
69.73/69.95 c #Conflicts: 1087000 | #Constraints: 43732
69.73/69.95 c #Conflicts: 1088000 | #Constraints: 44732
69.73/69.95 c #Conflicts: 1089000 | #Constraints: 45732
69.73/69.95 c #Conflicts: 1090000 | #Constraints: 46732
69.73/69.95 c #Conflicts: 1091000 | #Constraints: 47732
69.73/69.95 c #Conflicts: 1092000 | #Constraints: 48732
69.73/69.95 c #Conflicts: 1093000 | #Constraints: 49732
69.73/69.95 c #Conflicts: 1094000 | #Constraints: 50732
69.73/69.95 c #Conflicts: 1095000 | #Constraints: 51732
69.73/69.95 c #Conflicts: 1096000 | #Constraints: 52732
69.73/69.95 c #Conflicts: 1097000 | #Constraints: 53732
69.73/69.95 c #Conflicts: 1098000 | #Constraints: 54732
69.73/69.95 c #Conflicts: 1099000 | #Constraints: 55732
69.73/69.95 c #Conflicts: 1100000 | #Constraints: 56732
69.73/69.95 c #Conflicts: 1101000 | #Constraints: 57732
69.73/69.95 c #Conflicts: 1102000 | #Constraints: 58732
69.73/69.95 c #Conflicts: 1103000 | #Constraints: 59732
69.73/69.95 c #Conflicts: 1104000 | #Constraints: 60732
69.73/69.95 c #Conflicts: 1105000 | #Constraints: 61732
69.73/69.95 c #Conflicts: 1106000 | #Constraints: 62732
69.73/69.95 c #Conflicts: 1107000 | #Constraints: 63732
69.73/69.95 c #Conflicts: 1108000 | #Constraints: 64732
69.73/69.95 c #Conflicts: 1109000 | #Constraints: 65732
69.73/69.95 c #Conflicts: 1110000 | #Constraints: 66732
69.73/69.95 c #Conflicts: 1111000 | #Constraints: 67732
69.73/69.95 c #Conflicts: 1112000 | #Constraints: 68732
69.73/69.95 c #Conflicts: 1113000 | #Constraints: 69732
69.73/69.95 c #Conflicts: 1114000 | #Constraints: 70732
69.73/69.95 c #Conflicts: 1115000 | #Constraints: 71732
69.73/69.95 c #Conflicts: 1116000 | #Constraints: 72732
69.73/69.95 c #Conflicts: 1117000 | #Constraints: 73732
69.73/69.95 c #Conflicts: 1118000 | #Constraints: 74732
69.73/69.95 c #Conflicts: 1119000 | #Constraints: 75732
69.73/69.95 c #Conflicts: 1120000 | #Constraints: 76732
69.73/69.95 c #Conflicts: 1121000 | #Constraints: 77732
69.73/69.95 c #Conflicts: 1122000 | #Constraints: 78732
69.73/69.95 c #Conflicts: 1123000 | #Constraints: 79732
69.73/69.95 c #Conflicts: 1124000 | #Constraints: 80732
69.73/69.95 c #Conflicts: 1125000 | #Constraints: 81732
69.73/69.95 c #Conflicts: 1126000 | #Constraints: 82732
69.73/69.95 c #Conflicts: 1127000 | #Constraints: 83732
69.73/69.95 c #Conflicts: 1128000 | #Constraints: 84732
69.73/69.95 c #Conflicts: 1129000 | #Constraints: 85732
69.73/69.95 c #Conflicts: 1130000 | #Constraints: 86732
69.73/69.95 c #Conflicts: 1131000 | #Constraints: 87732
69.73/69.95 c #Conflicts: 1132000 | #Constraints: 88732
69.73/69.95 c #Conflicts: 1133000 | #Constraints: 89732
69.73/69.95 c #Conflicts: 1134000 | #Constraints: 90732
69.73/69.95 c #Conflicts: 1135000 | #Constraints: 91732
69.73/69.95 c #Conflicts: 1136000 | #Constraints: 92732
69.73/69.95 c #Conflicts: 1137000 | #Constraints: 93732
69.73/69.95 c #Conflicts: 1138000 | #Constraints: 94732
69.73/69.95 c #Conflicts: 1139000 | #Constraints: 95732
69.73/69.95 c #Conflicts: 1140000 | #Constraints: 96732
69.73/69.95 c #Conflicts: 1141000 | #Constraints: 97732
69.73/69.95 c #Conflicts: 1142000 | #Constraints: 98732
69.73/69.95 c #Conflicts: 1143000 | #Constraints: 99732
69.73/69.95 c #Conflicts: 1144000 | #Constraints: 100732
69.73/69.95 c #Conflicts: 1145000 | #Constraints: 101732
69.73/69.95 c #Conflicts: 1146000 | #Constraints: 102732
69.73/69.95 c #Conflicts: 1147000 | #Constraints: 103732
69.73/69.95 c #Conflicts: 1148000 | #Constraints: 104732
69.73/69.95 c #Conflicts: 1149000 | #Constraints: 105732
69.73/69.95 c #Conflicts: 1150000 | #Constraints: 106732
69.73/69.95 c #Conflicts: 1151000 | #Constraints: 107732
69.73/69.95 c #Conflicts: 1152000 | #Constraints: 108732
73.93/74.16 c #Conflicts: 1153000 | #Constraints: 109732
73.93/74.16 c #Conflicts: 1154000 | #Constraints: 110732
73.93/74.16 c #Conflicts: 1155000 | #Constraints: 111732
73.93/74.16 c #Conflicts: 1156000 | #Constraints: 112732
73.93/74.16 c INPROCESSING
73.93/74.16 c GARBAGE COLLECT
73.93/74.16 c #Conflicts: 1157000 | #Constraints: 58133
73.93/74.16 c #Conflicts: 1158000 | #Constraints: 59133
73.93/74.16 c #Conflicts: 1159000 | #Constraints: 60133
73.93/74.16 c #Conflicts: 1160000 | #Constraints: 61133
73.93/74.16 c #Conflicts: 1161000 | #Constraints: 62133
73.93/74.16 c #Conflicts: 1162000 | #Constraints: 63133
73.93/74.16 c #Conflicts: 1163000 | #Constraints: 64133
73.93/74.16 c #Conflicts: 1164000 | #Constraints: 65133
73.93/74.16 c #Conflicts: 1165000 | #Constraints: 66133
73.93/74.16 c #Conflicts: 1166000 | #Constraints: 67133
73.93/74.16 c #Conflicts: 1167000 | #Constraints: 68133
73.93/74.16 c #Conflicts: 1168000 | #Constraints: 69133
73.93/74.16 c #Conflicts: 1169000 | #Constraints: 70133
73.93/74.16 c #Conflicts: 1170000 | #Constraints: 71133
73.93/74.16 c #Conflicts: 1171000 | #Constraints: 72133
73.93/74.16 c #Conflicts: 1172000 | #Constraints: 73133
73.93/74.16 c #Conflicts: 1173000 | #Constraints: 74133
73.93/74.16 c #Conflicts: 1174000 | #Constraints: 75133
73.93/74.16 c #Conflicts: 1175000 | #Constraints: 76133
73.93/74.16 c #Conflicts: 1176000 | #Constraints: 77133
73.93/74.16 c #Conflicts: 1177000 | #Constraints: 78133
73.93/74.16 c #Conflicts: 1178000 | #Constraints: 79133
73.93/74.16 c #Conflicts: 1179000 | #Constraints: 80133
73.93/74.16 c #Conflicts: 1180000 | #Constraints: 81133
73.93/74.16 c #Conflicts: 1181000 | #Constraints: 82133
73.93/74.16 c #Conflicts: 1182000 | #Constraints: 83133
73.93/74.16 c #Conflicts: 1183000 | #Constraints: 84133
73.93/74.16 c #Conflicts: 1184000 | #Constraints: 85133
73.93/74.16 c #Conflicts: 1185000 | #Constraints: 86133
73.93/74.16 c INPROCESSING
73.93/74.16 c GARBAGE COLLECT
73.93/74.16 c #Conflicts: 1186000 | #Constraints: 44628
73.93/74.16 c #Conflicts: 1187000 | #Constraints: 45628
73.93/74.16 c #Conflicts: 1188000 | #Constraints: 46628
73.93/74.16 c #Conflicts: 1189000 | #Constraints: 47628
73.93/74.16 c #Conflicts: 1190000 | #Constraints: 48628
73.93/74.16 c #Conflicts: 1191000 | #Constraints: 49628
73.93/74.16 c #Conflicts: 1192000 | #Constraints: 50628
73.93/74.16 c #Conflicts: 1193000 | #Constraints: 51628
73.93/74.16 c #Conflicts: 1194000 | #Constraints: 52628
73.93/74.16 c #Conflicts: 1195000 | #Constraints: 53628
73.93/74.16 c #Conflicts: 1196000 | #Constraints: 54628
73.93/74.16 c #Conflicts: 1197000 | #Constraints: 55628
73.93/74.16 c #Conflicts: 1198000 | #Constraints: 56628
73.93/74.16 c #Conflicts: 1199000 | #Constraints: 57628
73.93/74.16 c #Conflicts: 1200000 | #Constraints: 58628
73.93/74.16 c #Conflicts: 1201000 | #Constraints: 59628
73.93/74.16 c #Conflicts: 1202000 | #Constraints: 60628
73.93/74.16 c #Conflicts: 1203000 | #Constraints: 61628
73.93/74.16 c #Conflicts: 1204000 | #Constraints: 62628
73.93/74.16 c #Conflicts: 1205000 | #Constraints: 63628
73.93/74.16 c #Conflicts: 1206000 | #Constraints: 64628
73.93/74.16 c #Conflicts: 1207000 | #Constraints: 65628
73.93/74.16 c #Conflicts: 1208000 | #Constraints: 66628
73.93/74.16 c #Conflicts: 1209000 | #Constraints: 67628
73.93/74.16 c #Conflicts: 1210000 | #Constraints: 68628
73.93/74.16 c #Conflicts: 1211000 | #Constraints: 69628
73.93/74.16 c #Conflicts: 1212000 | #Constraints: 70628
73.93/74.16 c #Conflicts: 1213000 | #Constraints: 71628
73.93/74.16 c #Conflicts: 1214000 | #Constraints: 72628
73.93/74.16 c #Conflicts: 1215000 | #Constraints: 73628
73.93/74.16 c #Conflicts: 1216000 | #Constraints: 74628
73.93/74.16 c #Conflicts: 1217000 | #Constraints: 75628
73.93/74.16 c #Conflicts: 1218000 | #Constraints: 76628
73.93/74.16 c #Conflicts: 1219000 | #Constraints: 77628
73.93/74.16 c #Conflicts: 1220000 | #Constraints: 78628
73.93/74.16 c #Conflicts: 1221000 | #Constraints: 79628
73.93/74.16 c #Conflicts: 1222000 | #Constraints: 80628
73.93/74.16 c #Conflicts: 1223000 | #Constraints: 81628
73.93/74.16 c #Conflicts: 1224000 | #Constraints: 82628
73.93/74.16 c #Conflicts: 1225000 | #Constraints: 83628
73.93/74.16 c #Conflicts: 1226000 | #Constraints: 84628
73.93/74.16 c #Conflicts: 1227000 | #Constraints: 85628
73.93/74.16 c #Conflicts: 1228000 | #Constraints: 86628
73.93/74.16 c #Conflicts: 1229000 | #Constraints: 87628
80.00/80.23 c #Conflicts: 1230000 | #Constraints: 88628
80.00/80.23 c #Conflicts: 1231000 | #Constraints: 89628
80.00/80.23 c #Conflicts: 1232000 | #Constraints: 90628
80.00/80.23 c #Conflicts: 1233000 | #Constraints: 91628
80.00/80.23 c #Conflicts: 1234000 | #Constraints: 92628
80.00/80.23 c #Conflicts: 1235000 | #Constraints: 93628
80.00/80.23 c #Conflicts: 1236000 | #Constraints: 94628
80.00/80.23 c #Conflicts: 1237000 | #Constraints: 95628
80.00/80.23 c #Conflicts: 1238000 | #Constraints: 96628
80.00/80.23 c #Conflicts: 1239000 | #Constraints: 97628
80.00/80.23 c #Conflicts: 1240000 | #Constraints: 98628
80.00/80.23 c #Conflicts: 1241000 | #Constraints: 99628
80.00/80.23 c #Conflicts: 1242000 | #Constraints: 100628
80.00/80.23 c #Conflicts: 1243000 | #Constraints: 101628
80.00/80.23 c #Conflicts: 1244000 | #Constraints: 102628
80.00/80.23 c #Conflicts: 1245000 | #Constraints: 103628
80.00/80.23 c #Conflicts: 1246000 | #Constraints: 104628
80.00/80.23 c #Conflicts: 1247000 | #Constraints: 105628
80.00/80.23 c #Conflicts: 1248000 | #Constraints: 106628
80.00/80.23 c #Conflicts: 1249000 | #Constraints: 107628
80.00/80.23 c #Conflicts: 1250000 | #Constraints: 108628
80.00/80.23 c #Conflicts: 1251000 | #Constraints: 109628
80.00/80.23 c #Conflicts: 1252000 | #Constraints: 110628
80.00/80.23 c #Conflicts: 1253000 | #Constraints: 111628
80.00/80.23 c #Conflicts: 1254000 | #Constraints: 112628
80.00/80.23 c #Conflicts: 1255000 | #Constraints: 113628
80.00/80.23 c #Conflicts: 1256000 | #Constraints: 114628
80.00/80.23 c #Conflicts: 1257000 | #Constraints: 115628
80.00/80.23 c #Conflicts: 1258000 | #Constraints: 116628
80.00/80.23 c #Conflicts: 1259000 | #Constraints: 117628
80.00/80.23 c INPROCESSING
80.00/80.23 c GARBAGE COLLECT
80.00/80.23 c #Conflicts: 1260000 | #Constraints: 60527
80.00/80.23 c #Conflicts: 1261000 | #Constraints: 61527
80.00/80.23 c #Conflicts: 1262000 | #Constraints: 62527
80.00/80.23 c #Conflicts: 1263000 | #Constraints: 63527
80.00/80.23 c #Conflicts: 1264000 | #Constraints: 64527
80.00/80.23 c #Conflicts: 1265000 | #Constraints: 65527
80.00/80.23 c #Conflicts: 1266000 | #Constraints: 66527
80.00/80.23 c #Conflicts: 1267000 | #Constraints: 67527
80.00/80.23 c #Conflicts: 1268000 | #Constraints: 68527
80.00/80.23 c #Conflicts: 1269000 | #Constraints: 69527
80.00/80.23 c #Conflicts: 1270000 | #Constraints: 70527
80.00/80.23 c #Conflicts: 1271000 | #Constraints: 71527
80.00/80.23 c #Conflicts: 1272000 | #Constraints: 72527
80.00/80.23 c #Conflicts: 1273000 | #Constraints: 73527
80.00/80.23 c #Conflicts: 1274000 | #Constraints: 74527
80.00/80.23 c #Conflicts: 1275000 | #Constraints: 75527
80.00/80.23 c #Conflicts: 1276000 | #Constraints: 76527
80.00/80.23 c #Conflicts: 1277000 | #Constraints: 77527
80.00/80.23 c #Conflicts: 1278000 | #Constraints: 78527
80.00/80.23 c #Conflicts: 1279000 | #Constraints: 79527
80.00/80.23 c #Conflicts: 1280000 | #Constraints: 80527
80.00/80.23 c #Conflicts: 1281000 | #Constraints: 81527
80.00/80.23 c #Conflicts: 1282000 | #Constraints: 82527
80.00/80.23 c #Conflicts: 1283000 | #Constraints: 83527
80.00/80.23 c #Conflicts: 1284000 | #Constraints: 84527
80.00/80.23 c #Conflicts: 1285000 | #Constraints: 85527
80.00/80.23 c #Conflicts: 1286000 | #Constraints: 86527
80.00/80.23 c #Conflicts: 1287000 | #Constraints: 87527
80.00/80.23 c #Conflicts: 1288000 | #Constraints: 88527
80.00/80.23 c #Conflicts: 1289000 | #Constraints: 89527
80.00/80.23 c #Conflicts: 1290000 | #Constraints: 90527
80.00/80.23 c #Conflicts: 1291000 | #Constraints: 91527
80.00/80.23 c #Conflicts: 1292000 | #Constraints: 92527
80.00/80.23 c #Conflicts: 1293000 | #Constraints: 93527
80.00/80.23 c #Conflicts: 1294000 | #Constraints: 94527
80.00/80.23 c #Conflicts: 1295000 | #Constraints: 95527
80.00/80.23 c #Conflicts: 1296000 | #Constraints: 96527
80.00/80.23 c #Conflicts: 1297000 | #Constraints: 97527
80.00/80.23 c #Conflicts: 1298000 | #Constraints: 98527
80.00/80.23 c #Conflicts: 1299000 | #Constraints: 99527
80.00/80.23 c #Conflicts: 1300000 | #Constraints: 100527
80.00/80.23 c #Conflicts: 1301000 | #Constraints: 101527
80.00/80.23 c #Conflicts: 1302000 | #Constraints: 102527
80.00/80.23 c #Conflicts: 1303000 | #Constraints: 103527
80.00/80.23 c #Conflicts: 1304000 | #Constraints: 104527
80.00/80.23 c #Conflicts: 1305000 | #Constraints: 105527
80.00/80.23 c #Conflicts: 1306000 | #Constraints: 106527
80.00/80.23 c #Conflicts: 1307000 | #Constraints: 107527
82.90/83.13 c #Conflicts: 1308000 | #Constraints: 108527
82.90/83.13 c #Conflicts: 1309000 | #Constraints: 109527
82.90/83.13 c #Conflicts: 1310000 | #Constraints: 110527
82.90/83.13 c #Conflicts: 1311000 | #Constraints: 111527
82.90/83.13 c #Conflicts: 1312000 | #Constraints: 112527
82.90/83.13 c #Conflicts: 1313000 | #Constraints: 113527
82.90/83.13 c #Conflicts: 1314000 | #Constraints: 114527
82.90/83.13 c #Conflicts: 1315000 | #Constraints: 115527
82.90/83.13 c #Conflicts: 1316000 | #Constraints: 116527
82.90/83.13 c #Conflicts: 1317000 | #Constraints: 117527
82.90/83.13 c #Conflicts: 1318000 | #Constraints: 118527
82.90/83.13 c #Conflicts: 1319000 | #Constraints: 119527
82.90/83.13 c #Conflicts: 1320000 | #Constraints: 120527
82.90/83.13 c #Conflicts: 1321000 | #Constraints: 121527
82.90/83.13 c #Conflicts: 1322000 | #Constraints: 122527
82.90/83.13 c #Conflicts: 1323000 | #Constraints: 123527
82.90/83.13 c #Conflicts: 1324000 | #Constraints: 124527
82.90/83.13 c #Conflicts: 1325000 | #Constraints: 125527
82.90/83.13 c #Conflicts: 1326000 | #Constraints: 126527
82.90/83.13 c #Conflicts: 1327000 | #Constraints: 127527
82.90/83.13 c #Conflicts: 1328000 | #Constraints: 128527
82.90/83.13 c #Conflicts: 1329000 | #Constraints: 129527
82.90/83.13 c #Conflicts: 1330000 | #Constraints: 130527
82.90/83.13 c bounds 5 >= 5 @ 79.1269
82.90/83.13 d SOLVEDBY oll
82.90/83.13 c cpu time 79.1269 s
82.90/83.13 c deterministic time 8079018007 8.08e+09
82.90/83.13 c optimization time 0.028505 s
82.90/83.13 c total solve time 79.0939 s
82.90/83.13 c core-guided solve time 79.0939 s
82.90/83.13 c propagation time 61.5375 s
82.90/83.13 c conflict analysis time 12.8291 s
82.90/83.13 c propagations 22693219
82.90/83.13 c resolve steps 7451340
82.90/83.13 c decisions 2690811
82.90/83.13 c conflicts 1330589
82.90/83.13 c restarts 2556
82.90/83.13 c inprocessing phases 49
82.90/83.13 c input clauses 1669
82.90/83.13 c input cardinalities 18
82.90/83.13 c input general constraints 3
82.90/83.13 c input average constraint length 3.10
82.90/83.13 c input average constraint degree 1.05
82.90/83.13 c learned clauses 1240410
82.90/83.13 c learned cardinalities 4721
82.90/83.13 c learned general constraints 85458
82.90/83.13 c learned average constraint length 27.50
82.90/83.13 c learned average constraint degree 2.03
82.90/83.13 c watched constraints 81876
82.90/83.13 c counting constraints 3585
82.90/83.13 c gcd simplifications 280
82.90/83.13 c detected cardinalities 40
82.90/83.13 c weakened non-implied lits 3221080
82.90/83.13 c weakened non-implying lits 287
82.90/83.13 c original variables 124
82.90/83.13 c clausal propagations 12135101
82.90/83.13 c cardinality propagations 5526340
82.90/83.13 c watched propagations 2534229
82.90/83.13 c counting propagations 1171438
82.90/83.13 c watch lookups 1182623602
82.90/83.13 c watch backjump lookups 247665146
82.90/83.13 c watch checks 6247997175
82.90/83.13 c propagation checks 240202031
82.90/83.13 c constraint additions 108431407
82.90/83.13 c trail pops 26714615
82.90/83.13 c formula constraints 1676
82.90/83.13 c learned constraints 1330589
82.90/83.13 c bound constraints 6
82.90/83.13 c core-guided constraints 8
82.90/83.13 c encountered formula constraints 3980300
82.90/83.13 c encountered learned constraints 4757629
82.90/83.13 c encountered bound constraints 19860
82.90/83.13 c encountered core-guided constraints 24140
82.90/83.13 c LP total time 0 s
82.90/83.13 c LP solve time 0 s
82.90/83.13 c LP constraints added 0
82.90/83.13 c LP constraints removed 0
82.90/83.13 c LP pivots internal 0
82.90/83.13 c LP pivots root 0
82.90/83.13 c LP calls 0
82.90/83.13 c LP optimalities 0
82.90/83.13 c LP no pivot count 0
82.90/83.13 c LP infeasibilities 0
82.90/83.13 c LP valid Farkas constraints 0
82.90/83.13 c LP learned Farkas constraints 0
82.90/83.13 c LP basis resets 0
82.90/83.13 c LP cycling count 0
82.90/83.13 c LP singular count 0
82.90/83.13 c LP no primal count 0
82.90/83.13 c LP no farkas count 0
82.90/83.13 c LP other issue count 0
82.90/83.13 c LP Gomory cuts 0
82.90/83.13 c LP learned cuts 0
82.90/83.13 c LP deleted cuts 0
82.90/83.13 c LP encountered Gomory constraints 0
82.90/83.13 c LP encountered Farkas constraints 0
82.90/83.13 c LP encountered learned Farkas constraints 0
82.90/83.13 c CG auxiliary variables introduced 4
82.90/83.13 c CG solutions found 1
82.90/83.13 c CG cores constructed 5
82.90/83.13 c CG core cardinality constraints returned 0
82.90/83.13 c CG unit cores 4
82.90/83.13 c CG single cores 1
82.90/83.13 c CG blocks removed during cardinality reduction 0
82.90/83.13 c CG first core best 0
82.90/83.13 c CG decision core best 0
82.90/83.13 c CG core reduction tie 0
82.90/83.13 c CG core degree average 1.00
82.90/83.13 c CG core slack average 7.00
82.90/83.13 c CG exhausted 0
82.90/83.13 c CG exhaust time 0.027845 s
82.90/83.13 c CG trimmed 0
82.90/83.13 c CG trim time 2.9e-05 s
82.90/83.13 c CG minimized 0
82.90/83.13 c CG minimize time 0 s
82.90/83.13 c CG am1 prop time 3e-05 s
82.90/83.13 c CG # am1s reformulated 0
82.90/83.13 c CG lower bound derived from am1s 0
82.90/83.13 c CG # clausal cores 1
82.90/83.13 c CG # cardinality cores 0
82.90/83.13 c CG # pb cores 0
82.90/83.13 c CG # pb reforms 0
82.90/83.13 c CG # cores discarded because of pb reform 0
82.90/83.13 d LOWERBOUND 5
82.90/83.13 d NCORES 5
82.90/83.13 d NPBCORES 0
82.90/83.13 d NPBREFORM 0
82.90/83.13 d NTRIMMED 0
82.90/83.13 d NEXHAUSTED 0
82.90/83.13 d NAM1S 0
82.90/83.13 d AM1LB 0
82.90/83.13 o 5
82.90/83.13 s OPTIMUM FOUND
82.90/83.13 v x1 x2 x3 x4 x5 x6 -x7 -x8 -x9 -x10 -x11 x12 x13 -x14 x15 x16 -x17 -x18 -x19 -x20 x21 x22 -x23 x24 -x25 -x26 -x27 x28 -x29 x30 x31 x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 x124
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: 63708 MiB (62285 MiB free)
memory of node 1: 64465 MiB (63545 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517762-1751534714/watcher-4517762-1751534714 -o /tmp/evaluation-result-4517762-1751534714/solver-4517762-1751534714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76847 --watchdog 3760 pb-oll-rs HOME/instance-4517762-1751534714.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77697, runsolver pid=77694
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.10 4.15 4.14 5/265 77698
/proc/meminfo: memFree=128850308/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=20292 memory=6656 CPUtime=0.09 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 511 0 0 0 8 1 0 0 20 0 1 0 69148859 20779008 1664 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5073 1664 1376 243 0 1322 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20292 KiB
Current children cumulated memory: 6656 KiB
[startup+0.205497 s]*
/proc/loadavg: 4.10 4.15 4.14 5/265 77698
/proc/meminfo: memFree=128850308/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=20560 memory=7040 CPUtime=0.2 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 606 0 0 0 18 2 0 0 20 0 1 0 69148859 21053440 1760 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5140 1760 1376 243 0 1389 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20560 KiB
Current children cumulated memory: 7040 KiB
[startup+0.305257 s]*
/proc/loadavg: 4.10 4.15 4.14 5/265 77698
/proc/meminfo: memFree=128850308/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=20692 memory=7296 CPUtime=0.29 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 669 0 0 0 27 2 0 0 20 0 1 0 69148859 21188608 1824 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5173 1824 1376 243 0 1422 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20692 KiB
Current children cumulated memory: 7296 KiB
[startup+0.700107 s]
/proc/loadavg: 4.10 4.15 4.14 5/265 77698
/proc/meminfo: memFree=128850308/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=20848 memory=7552 CPUtime=0.69 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 732 0 0 0 65 4 0 0 20 0 1 0 69148859 21348352 1888 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5212 1888 1376 243 0 1461 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20848 KiB
Current children cumulated memory: 7552 KiB
[startup+1.50011 s]
/proc/loadavg: 4.10 4.15 4.14 5/265 77698
/proc/meminfo: memFree=128850308/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=21008 memory=7936 CPUtime=1.48 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 838 0 0 0 140 8 0 0 20 0 1 0 69148859 21512192 1984 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5252 1984 1376 243 0 1501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21008 KiB
Current children cumulated memory: 7936 KiB
[startup+3.10539 s]
/proc/loadavg: 4.10 4.15 4.14 5/265 77698
/proc/meminfo: memFree=128850372/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=21876 memory=10904 CPUtime=3.08 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 1120 0 0 0 294 14 0 0 20 0 1 0 69148859 22401024 2726 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5469 2726 1376 243 0 1718 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21876 KiB
Current children cumulated memory: 10904 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.14 4.14 5/265 77698
/proc/meminfo: memFree=128848608/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=22952 memory=12304 CPUtime=6.28 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 1564 0 0 0 602 26 0 0 20 0 1 0 69148859 23502848 3076 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 5738 3076 1376 243 0 1987 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 22952 KiB
Current children cumulated memory: 12304 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.14 4.14 5/265 77698
/proc/meminfo: memFree=128845844/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=27008 memory=14684 CPUtime=12.66 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 2331 0 0 0 1221 45 0 0 20 0 1 0 69148859 27656192 3671 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 6752 3671 1376 243 0 3001 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 27008 KiB
Current children cumulated memory: 14684 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.15 4.14 5/265 77699
/proc/meminfo: memFree=128838040/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=34352 memory=20096 CPUtime=25.43 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 4062 0 0 0 2438 105 0 0 20 0 1 0 69148859 35176448 5024 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 8588 5024 1376 243 0 4837 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34352 KiB
Current children cumulated memory: 20096 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.14 4.13 5/265 77699
/proc/meminfo: memFree=128814980/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=40032 memory=28652 CPUtime=50.97 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 6649 0 0 0 4860 237 0 0 20 0 1 0 69148859 40992768 7163 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 10008 7163 1376 243 0 6257 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 40032 KiB
Current children cumulated memory: 28652 KiB
[startup+83.1404 s]
# the end of solver process 77697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=79.1301 s, system=3.81753 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.09 4.14 4.13 5/265 77699
/proc/meminfo: memFree=128814980/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=40032 memory=28652 CPUtime=51.07 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 6649 0 0 0 4869 238 0 0 20 0 1 0 69148859 40992768 7163 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 10008 7163 1376 243 0 6257 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 40032 KiB
Current children cumulated memory: 28652 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.08 4.13 4.13 5/264 77700
/proc/meminfo: memFree=128809592/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=47972 memory=32792 CPUtime=63.85 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 7510 0 0 0 6085 300 0 0 20 0 1 0 69148859 49123328 8198 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 11993 8198 1376 243 0 8242 0
Current children cumulated CPU time: 63.85 s
Current children cumulated vsize: 47972 KiB
Current children cumulated memory: 32792 KiB
[startup+76.8001 s]
/proc/loadavg: 4.06 4.13 4.13 5/264 77700
/proc/meminfo: memFree=128801484/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=48948 memory=33764 CPUtime=76.61 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8109 0 0 0 7303 358 0 0 20 0 1 0 69148859 50122752 8441 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12237 8441 1376 243 0 8486 0
Current children cumulated CPU time: 76.61 s
Current children cumulated vsize: 48948 KiB
Current children cumulated memory: 33764 KiB
[startup+80.0002 s]*
/proc/loadavg: 4.05 4.12 4.13 5/264 77700
/proc/meminfo: memFree=128800728/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=49340 memory=34208 CPUtime=79.81 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8570 0 0 0 7607 374 0 0 20 0 1 0 69148859 50524160 8552 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12335 8552 1376 243 0 8584 0
Current children cumulated CPU time: 79.81 s
Current children cumulated vsize: 49340 KiB
Current children cumulated memory: 34208 KiB
[startup+81.6001 s]
/proc/loadavg: 4.05 4.12 4.13 5/264 77700
/proc/meminfo: memFree=128800488/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=49340 memory=34208 CPUtime=81.4 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8571 0 0 0 7762 378 0 0 20 0 1 0 69148859 50524160 8552 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12335 8552 1376 243 0 8584 0
Current children cumulated CPU time: 81.4 s
Current children cumulated vsize: 49340 KiB
Current children cumulated memory: 34208 KiB
[startup+82.4001 s]
/proc/loadavg: 4.05 4.12 4.13 5/264 77700
/proc/meminfo: memFree=128799732/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=49340 memory=34208 CPUtime=82.2 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8571 0 0 0 7840 380 0 0 20 0 1 0 69148859 50524160 8552 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12335 8552 1376 243 0 8584 0
Current children cumulated CPU time: 82.2 s
Current children cumulated vsize: 49340 KiB
Current children cumulated memory: 34208 KiB
[startup+82.8001 s]
/proc/loadavg: 4.05 4.12 4.13 5/264 77700
/proc/meminfo: memFree=128799732/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=49516 memory=34208 CPUtime=82.59 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8580 0 0 0 7879 380 0 0 20 0 1 0 69148859 50704384 8552 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12379 8552 1376 243 0 8628 0
Current children cumulated CPU time: 82.59 s
Current children cumulated vsize: 49516 KiB
Current children cumulated memory: 34208 KiB
[startup+83.0002 s]*
/proc/loadavg: 4.05 4.12 4.13 5/264 77700
/proc/meminfo: memFree=128799732/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=49516 memory=36296 CPUtime=82.8 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8581 0 0 0 7899 381 0 0 20 0 1 0 69148859 50704384 9074 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12379 9074 1376 243 0 8628 0
Current children cumulated CPU time: 82.8 s
Current children cumulated vsize: 49516 KiB
Current children cumulated memory: 36296 KiB
[startup+83.1054 s]
/proc/loadavg: 4.05 4.12 4.13 5/264 77700
/proc/meminfo: memFree=128799732/131249996 swapFree=33006296/33010684
[pid=77697] ppid=77694 vsize=49516 memory=36296 CPUtime=82.9 cores=4,6
/proc/77697/stat : 77697 (pb-oll-rs) R 77694 77697 76836 0 -1 4194304 8598 0 0 0 7909 381 0 0 20 0 1 0 69148859 50704384 9074 18446744073709551615 4218880 5211445 140731771948144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 29859840 140731771955612 140731771955689 140731771955689 140731771961291 0
/proc/77697/statm: 12379 9074 1376 243 0 8628 0
Current children cumulated CPU time: 82.9 s
Current children cumulated vsize: 49516 KiB
Current children cumulated memory: 36296 KiB
Child status: 0
Real time (s): 83.1405
CPU time (s): 82.9477
CPU user time (s): 79.1301
CPU system time (s): 3.81753
CPU usage (%): 99.7681
Max. virtual memory (cumulated for all children) (KiB): 50180
Max. memory (cumulated for all children) (KiB): 36296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.1302
system time used= 3.81753
maximum resident set size= 36680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8609
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= 82
involuntary context switches= 132
# summary of solver processes directly reported to runsolver:
# pid: 77697
# total CPU time (s): 82.9477
# total CPU user time (s): 79.1301
# total CPU system time (s): 3.81753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147497 second user time and 0.383217 second system time
The end
Begin job on nodeC015 at 2025-07-03 11:25:14
IDJOB=4517762
IDBENCH=176184
IDSOLVER=3345
FILE ID=nodeC015/4517762-1751534714
RUNJOBID= nodeC015-1751530924-76847
SLURM_JOB_ID= 9598673
Free space on /tmp= 432364 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517762-1751534714/watcher-4517762-1751534714 -o /tmp/evaluation-result-4517762-1751534714/solver-4517762-1751534714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76847 --watchdog 3760 pb-oll-rs HOME/instance-4517762-1751534714.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 970aa3d1f1d45876cf8a11b4225544dc
RANDOM SEED=626531382
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.101
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.641
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.071
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3816.346
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.572
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128850548 kB
MemAvailable: 129463572 kB
Buffers: 1508 kB
Cached: 1396632 kB
SwapCached: 3880 kB
Active: 593736 kB
Inactive: 1158776 kB
Active(anon): 319720 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1109968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1624 kB
Writeback: 0 kB
AnonPages: 349800 kB
Mapped: 104060 kB
Shmem: 14152 kB
KReclaimable: 136560 kB
Slab: 226824 kB
SReclaimable: 136560 kB
SUnreclaim: 90264 kB
KernelStack: 4288 kB
PageTables: 3692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 722212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432364 MiB
End job on nodeC015 at 2025-07-03 11:26:37